Datum
991a7f195dbf6e…ad6ea90a17
991a7f195dbf6eef43c4e0cd3b6cf59bf7b40ee3fb2b285f12f03ead6ea90a17
Datum
Constr 0
0
#7a644d13ae40065b1a58bec632d7abe08bf346cf1fb7c022cabc2f7e
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#903f2888fc46f478ed56a136e5cf064d00d4eeebc2abd8f4c2ddb959
1
Constr 0
0
Constr 0
0
Constr 0
0
#03e64750318e596504d504614549c94db1864416ac1ce4c134780ec7
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5000000
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
#7a644d13ae40065b1a58bec632d7abe08bf346cf1fb7c022cabc2f7e
1
Constr 0
0
Constr 0
0
Constr 0
0
#5e4e44e05286b387b749a2feac214bdae8d1d2de55ca609e9f497fb3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 44000000