Datum
22cde7e65d8cef…8f9c84eb57
22cde7e65d8ceff4de2d5d33ab18358802ed4913349f1faac5a01c8f9c84eb57
Datum
Constr 0
0
#b2c0f0f3a0ced214027a0fc2f831b18b69aa1942cdb7bfe217ff6a66
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#01a241dad562d18c859814d3df8564453c1404de34e374bc0678294f
1
Constr 0
0
Constr 0
0
Constr 0
0
#9e6d514f424be2c0cbd45108d23a1f06a32bdddca4037815f9466fc1
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 30000000
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}
#""
→ 12000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#b2c0f0f3a0ced214027a0fc2f831b18b69aa1942cdb7bfe217ff6a66
1
Constr 0
0
Constr 0
0
Constr 0
0
#1ff01ab98c588cab4f0f604da58c400517fd91149f974d24b937c9f5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 558000000