Datum
8add3360a8f735…a7ffd07aa7
8add3360a8f73538a7b0cd81cf1f541944d09d8a2bce7d1cfb85cda7ffd07aa7
Datum
Constr 0
0
#26e641d8ab26625ed1a538556723d3799475feb44291ecaa5efb107c
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#43355f7e3b8050f92e66ecbc2ac3346e4b5b8fb422e9dc79373e0d99
1
Constr 0
0
Constr 0
0
Constr 0
0
#305d1135725402d23d99acb49ff61543760226a62b54bb7bbb1dc87a
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 15000000
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}
#""
→ 3000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#26e641d8ab26625ed1a538556723d3799475feb44291ecaa5efb107c
1
Constr 0
0
Constr 0
0
Constr 0
0
#edd94d3336444ae121fce4103857e733093b8a2be944135d5ad6d9a3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 132000000