Datum
0c012fb4a1f4a8…4988f42d15
0c012fb4a1f4a8430f968f5aafeb51fb5f045400a507c582f89dc34988f42d15
Datum
Constr 0
0
#2c32205eb59ef0c3ea410526b469a766a4d8b5cfb8d25b0a0e7c0073
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#edf522a7bee9b583cdc8f394ca020afa57814eaa5c4beb559325447a
1
Constr 0
0
Constr 0
0
Constr 0
0
#4253422736e04df947d2aa541db1c8204bfcdff5b3038f385ba8ea8e
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5600000
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}
#""
→ 4480000
2
Constr 0
0
Constr 0
0
Constr 0
0
#2c32205eb59ef0c3ea410526b469a766a4d8b5cfb8d25b0a0e7c0073
1
Constr 0
0
Constr 0
0
Constr 0
0
#0d0185ced5c00de822c830d24e32ad7623ab9e888eafa2e31733f760
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 213920000