Datum
39c0dc8b57e20a…cc68afa74f
39c0dc8b57e20abf45807b58dcf89912bc2de00102b0ca82a5e5c8cc68afa74f
Datum
Constr 0
0
#88f779c261a57466115116a7500acdd002870ac5d7344b3e6b06b8fb
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}
#""
→ 6000000
1
Constr 0
0
Constr 0
0
Constr 0
0
#88f779c261a57466115116a7500acdd002870ac5d7344b3e6b06b8fb
1
Constr 0
0
Constr 0
0
Constr 0
0
#e0a38b295c0b9f49449c89ae55734839c53d8edd912b14e09f1c32ee
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 294000000