Datum
9ebc60a258e7da…975e1b690d
9ebc60a258e7daa5f7fc6cea78e8dd9ba077ad0fe4e6c642be9d07975e1b690d
Datum
Constr 0
0
#436ca987be11549933eeff2cc07851ac69fab622238480f5504a1084
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#741cc40972a189dda37ed3336f21c09017bf2ec50f8b9075d353dd8c
1
Constr 0
0
Constr 0
0
Constr 0
0
#d187009dac4c5ab67f6fe149d2dcb2c51e78f0e169f95fe3c7c449a2
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5000000
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}
#""
→ 2000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#436ca987be11549933eeff2cc07851ac69fab622238480f5504a1084
1
Constr 0
0
Constr 0
0
Constr 0
0
#271a38b07fb70157f55a5753f767cd08d24244f16a94b9f9a987a0b3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 93000000