Datum
9732eb62b213bc…e4eec586d4
9732eb62b213bc294ced0d39436a1ac4b32a58a15e9b247bfc2a5ee4eec586d4
Datum
Constr 0
0
#d6f6d2255ea492a4da161304757be291b68a50d278b8c8dc2598005e
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#df8e55e5c9525c9b0e0c35327881c5942bcdd133c94697e509d5bbde
1
Constr 0
0
Constr 0
0
Constr 0
0
#4d2b542a5a7d191dfc6c8bf5d207a61abf570de04a561b43e1cab7cd
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5700000
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}
#""
→ 1140000
2
Constr 0
0
Constr 0
0
Constr 0
0
#d6f6d2255ea492a4da161304757be291b68a50d278b8c8dc2598005e
1
Constr 0
0
Constr 0
0
Constr 0
0
#d573432ab5c1b4ea3f2f70fb8c46d548d9d9525622a0f6c52736c894
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 50160000