Datum
b893f63643b64d…f3fd3bb750
b893f63643b64d0b29fa7f64b6fe9af6f705a2fee830d7cf556deaf3fd3bb750
Datum
Constr 0
0
#4b97f171b4bc49fa4b78d1610b06d502628faa3227b1577e9aabf2f3
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#44d6ed5dcbedb286296b838384d9d3d7f6474ce2d8c0136741c6657f
1
Constr 0
0
Constr 0
0
Constr 0
0
#25955e66be0ea9b1f48358c611cc862406385d689aa43e998510611d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 7000000
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}
#""
→ 1400000
2
Constr 0
0
Constr 0
0
Constr 0
0
#4b97f171b4bc49fa4b78d1610b06d502628faa3227b1577e9aabf2f3
1
Constr 0
0
Constr 0
0
Constr 0
0
#aef106c9a3ed1dd1a0ae4fdba414d10d1cbc6646cd3d2afafea3824c
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 61600000