Datum
2c2fc49ecddd9a…4bd1c903c2
2c2fc49ecddd9afb8c769b92196a149e5516a63661307c4bbe7bbb4bd1c903c2
Datum
Constr 0
0
#73ff21a96444fdeb2250513bd7dbbd45fac34c10bd1cf69c1880b546
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#434107c5cca296272c8fceca32a433f3b5e64b983a1e76fd32df37a8
1
Constr 0
0
Constr 0
0
Constr 0
0
#f371a68113404b62ba64571ebbd2a43bc0471269cd8e2164c9d9a0a3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1000000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#73ff21a96444fdeb2250513bd7dbbd45fac34c10bd1cf69c1880b546
1
Constr 0
0
Constr 0
0
Constr 0
0
#cdf158ad871db8bb0dd728c60d9f50d9e60cbf5fa28bbcba4c81cf43
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 12000000