Datum
e6213d0bbff9ff…cdc8aeeb71
e6213d0bbff9ffb4adbabda1188fe1a6b8e4444599a1561b0b9fb5cdc8aeeb71
Datum
Constr 0
0
#f8023412b2086f2c820c80d86a442bd5668dec969cd304488cbf3359
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#b130828fbe2a3fc2316ceb0398ddf131545f8233982e4313cc1be8af
1
Constr 0
0
Constr 0
0
Constr 0
0
#5bcca5114b370c75db0efcd9f1d3a6e95ea5181bf1230fedccd9d7de
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 20000000
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
#f8023412b2086f2c820c80d86a442bd5668dec969cd304488cbf3359
1
Constr 0
0
Constr 0
0
Constr 0
0
#6c2fce1332180524de79783eba2bf07aaa8bbaf3be2a33556b0b6bc8
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 372000000