Datum
d0264d4a7ab06a…3e40ca4cac
d0264d4a7ab06aa12e330d35df6cc43b4a85dbdbf32b633519d7153e40ca4cac
Datum
Constr 0
0
#8b45fa6cd9419ce1ac771abac95d10626dc9e7429e6d23a04f2abf98
1
List [2]
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}
#""
→ 1000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#8b45fa6cd9419ce1ac771abac95d10626dc9e7429e6d23a04f2abf98
1
Constr 0
0
Constr 0
0
Constr 0
0
#ceec3ade1e783e82148ee69c32f067779f58171c70ae723b7d91d947
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 17000000