Datum
2dbf9f8b248a69…489dac6193
2dbf9f8b248a6971e689e2ae9c64697facae1d45f88e2c747d7fdf489dac6193
Datum
Constr 0
0
#edb2a8d7e9672684d8faf4e4ffebd851346662c66ed6b18215d54f92
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
#edb2a8d7e9672684d8faf4e4ffebd851346662c66ed6b18215d54f92
1
Constr 0
0
Constr 0
0
Constr 0
0
#9986d3c7506db7f7b3e02ceffb7c73d948726ee3c9f13791ab60742d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 19000000