Datum
ca8b87f389263a…ef7205b3d7
ca8b87f389263ab457907edac7185206ab97b61415c4f2a1756ee3ef7205b3d7
Datum
Constr 0
0
#95da35395236b95277b9bf97c81e57e31dd29d1d530f12ca094b9830
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#3a79955c43097a37806380bdbe46776274322b185e96b9ba72ce851f
1
Constr 0
0
Constr 0
0
Constr 0
0
#a607aca327327ed6823bc181b3302ad0ff4f53eacb39fa048a066e07
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1400000
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
#95da35395236b95277b9bf97c81e57e31dd29d1d530f12ca094b9830
1
Constr 0
0
Constr 0
0
Constr 0
0
#834df8f487fcc87959951e9dfb182003479a296db74b16ef28aa90d3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 17600000