Datum
967bea265d4754…3c8a6fb449
967bea265d4754976be707d4a9aae45128e99c2fdfaff3a2b13f303c8a6fb449
Datum
Constr 0
0
#08a74aa4c4c18743397074d331bef3eb1e890d7fefcb653875da0c69
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}
#""
→ 1500000
1
Constr 0
0
Constr 0
0
Constr 0
0
#6fca3c0b97cb651fc3693a2add1e18aeeca91d784e1ffab7af6e3468
1
Constr 0
0
Constr 0
0
Constr 0
0
#3f9174f2751e74a453e05fcf5c23da72b94f539a9f204e420af50465
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 9000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#08a74aa4c4c18743397074d331bef3eb1e890d7fefcb653875da0c69
1
Constr 0
0
Constr 0
0
Constr 0
0
#09a1f148b5ac5837f833d92cc3e9bb15ef09f17982981381cd2b3148
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 64500000