Datum
4b0621db1233b0…e9c2f292e2
4b0621db1233b0eb0f1b59b53f0b255ed4a6ee323799a255eab2fce9c2f292e2
Datum
Constr 0
0
#b0f6f6c285e1711e5cc0b237539ebd40eed3ef96be5b78aac6c389ce
1
List [3]
0
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}
#""
→ 2000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#466d03eb3e8168fdc82dbf6aacd7f27d35a309f9edbc72667415075e
1
Constr 0
0
Constr 0
0
Constr 0
0
#5df611afb8dab1f85d7339a47dbbb371049442ca10f2d62ec3ccc343
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#b0f6f6c285e1711e5cc0b237539ebd40eed3ef96be5b78aac6c389ce
1
Constr 0
0
Constr 0
0
Constr 0
0
#b20fefcca7a26dbff7d0a14d730e86e58b805bcbe0c22ddc042d4092
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 93000000