Datum
badc2cd45aae64…043b3a0ddd
badc2cd45aae64b21ce46e4e7d0164d0d1b1f4df9d38b9a9aebb28043b3a0ddd
Datum
Constr 0
0
#3a8aef6333d9d6df68a7e69e8d477e15a20c84f227de4f737e0e69f1
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7de3444332e4cfc0704d485a295702cb903155ab6b156d918c10d7b3
1
Constr 1 []
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 16000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#70e60f3b5ea7153e0acc7a803e4401d44b8ed1bae1c7baaad1a62a72
1
Constr 0
0
Constr 0
0
Constr 0
0
#1e78aae7c90cc36d624f7b3bb6d86b52696dc84e490f343eba89005f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 8000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#3a8aef6333d9d6df68a7e69e8d477e15a20c84f227de4f737e0e69f1
1
Constr 0
0
Constr 0
0
Constr 0
0
#075d8e3df08a11ebd3201a8bdb81102421fee66c7d34057ffd6cdd82
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 376000000