Datum
3581dad7cdee3e…7ac6fd5cd7
3581dad7cdee3e58ff5c41f7ca8f673271f91aee702e1c4d82ca197ac6fd5cd7
Datum
Constr 0
0
#4553b1b5b6c82f1337d11ecb1987b2c822c1a807dceb8c5e924273d7
1
List [2]
0
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
1
Constr 0
0
Constr 0
0
Constr 0
0
#4553b1b5b6c82f1337d11ecb1987b2c822c1a807dceb8c5e924273d7
1
Constr 0
0
Constr 0
0
Constr 0
0
#01bf55d66486bc479a6aad8dcf68a72f23beef4edefe7c9f58b318b3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 19000000