Datum
23c7fc6dfd8e98…d7d411f1c1
23c7fc6dfd8e982e0670d9fe370d70bae5272878a87b88c05a42a0d7d411f1c1
Datum
Constr 0
0
#2bc625b027d6c0e221300239d0976091c442ca3ae067591009756541
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#543ec71eb627606050059d710b25677975b118ebec1c8810d4ff15dd
1
Constr 0
0
Constr 0
0
Constr 0
0
#23fe34d7d7ae740e08438dc65bda385d43ca04f2db77c9b598fc83ba
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000
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}
#""
→ 2400000
2
Constr 0
0
Constr 0
0
Constr 0
0
#2bc625b027d6c0e221300239d0976091c442ca3ae067591009756541
1
Constr 0
0
Constr 0
0
Constr 0
0
#bb0f1afa0dd23d52797afabdf35ce66e320d3d0576b3297ce3b6a714
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 105600000