Datum
d1a75d24feff82…fc7683b4a6
d1a75d24feff827f78f8b62d81424e328ccda0e69a5ec68f855f93fc7683b4a6
Datum
Constr 0
0
#ae3543410dfa5f420676430749193fc75ddd39a8cf174cb221096108
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#341a583cfcb3a26d1f2e3b273ac0d0982d0160307463a5135a43ad43
1
Constr 0
0
Constr 0
0
Constr 0
0
#03d29e173968bf9fd4f369a92bbd1742b6a0f3bd38aa9077a99deb18
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 175000000
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}
#""
→ 100000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#ae3543410dfa5f420676430749193fc75ddd39a8cf174cb221096108
1
Constr 0
0
Constr 0
0
Constr 0
0
#3b9cac40db80d49a4dad956d06f1286c42aa089cc0ccd34938c1d878
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4725000000