Datum
7f1d628828487e…00d8bd7dce
7f1d628828487ed3a36d38fe1fe38bfcd9df30c03b6033ddd1e47e00d8bd7dce
Datum
Constr 0
0
#84d47fa6406842e66391bd0781e38b503e1773320698b6f2b82d2fef
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#86f24801464ed6848e5a8cfdca9c5755bf056677a45f69bff9a2846a
1
Constr 0
0
Constr 0
0
Constr 0
0
#60633dc1b12945517fa5cdac6c07d6f3e75c723417d5bbdd3e685acb
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 17500000
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}
#""
→ 5000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#84d47fa6406842e66391bd0781e38b503e1773320698b6f2b82d2fef
1
Constr 0
0
Constr 0
0
Constr 0
0
#db29599b5e9db6b7bc761f3e627ec0e36d740f1eb6e4e4d6f66aaf41
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 227500000