Datum
c85ae8e65e2593…38d2edc4be
c85ae8e65e25939dd15b159c5e7e8a730264c94234a804e53a1c2c38d2edc4be
Datum
Constr 0
0
#0051ca55bc620c2a75a9e23dd7c33be9c7b69eb7032c833ca815b0e7
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#94b1c3ec5dcd1b4421558d39d23d40443d787975d33aeda627c7c673
1
Constr 0
0
Constr 0
0
Constr 0
0
#071f040ad1b0556a0414140d0ac3defacf8653d19f853a230c88b541
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1000000000
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}
#""
→ 200000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#0051ca55bc620c2a75a9e23dd7c33be9c7b69eb7032c833ca815b0e7
1
Constr 0
0
Constr 0
0
Constr 0
0
#47fbbaf47efe13a2eef860541521a22cf721356dc4c458227edba915
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 8800000000