Datum
699f2f7ee4694b…c7a4fdf61d
699f2f7ee4694b69ee7defcd55df8cafe950a5663efc9cfcab2be0c7a4fdf61d
Datum
Constr 0
0
#a79c15422d4bc5783a8db74536e85ff5d5c6df4fb91680a284b46581
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 1
0
#e7827d063b754845fdeb28b60b328ada21a7c9d9a272f675462b5f54
1
Constr 0
0
Constr 0
0
Constr 1
0
#e7827d063b754845fdeb28b60b328ada21a7c9d9a272f675462b5f54
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 60000000
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}
#""
→ 20000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#a79c15422d4bc5783a8db74536e85ff5d5c6df4fb91680a284b46581
1
Constr 0
0
Constr 0
0
Constr 0
0
#c705a7c2ff8cf52944fc655af47e1345d0aa2c517b4acecfc119a34f
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 920000000