Datum
3bd302ead98dbb…d9320e7763
3bd302ead98dbb0bb6f7b984d5a53fb06857a05151f073fe45fd29d9320e7763
Datum
Constr 0
0
#62903a1708b5566aae6a8895ddac6d141f3848661692c1c8764ef64a
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#7614873bc2cfab31b30645e94adaab6ddfe03edffa4616e879b9575a
1
Constr 0
0
Constr 0
0
Constr 0
0
#5ab05d1e9d937a96a5cc2cfd005f5ace538bc4b051c7ce4f454ce8d1
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 56250000
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}
#""
→ 15000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#62903a1708b5566aae6a8895ddac6d141f3848661692c1c8764ef64a
1
Constr 0
0
Constr 0
0
Constr 0
0
#629c2f4eefef4da238b45def7064a1b6c62e53f9afeb54a149a93157
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 678750000