Datum
2d6288b8e67c76…2d38397567
2d6288b8e67c76cfa34adc3aeb793a28b7e54d09cf6e91de0c267d2d38397567
Datum
Constr 0
0
#13b379e4048920951feda00193c037d9373746a6ae327e39b727332b
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}
#""
→ 18000000
1
Constr 0
0
Constr 0
0
Constr 1
0
#4527a430c14b73c7615f55e4bc9a68856bb359b3a659e3b858b491ac
1
Constr 0
0
Constr 0
0
Constr 1
0
#4527a430c14b73c7615f55e4bc9a68856bb359b3a659e3b858b491ac
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 90000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#13b379e4048920951feda00193c037d9373746a6ae327e39b727332b
1
Constr 0
0
Constr 0
0
Constr 0
0
#0522352c96a1d00ce78c5293848d57cfe38c8a423a72c3b03870fec7
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 792000000