Datum
74b38b52bcb2e5…9431dce509
74b38b52bcb2e58b5e3e9e1d3dc5b3e962eb813cc64ea37a4644fb9431dce509
Datum
Constr 0
0
#2a80b4009eb62c7157979c73b551d837fc1130dbb6f7638815793891
1
List [3]
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}
#""
→ 8400000
1
Constr 0
0
Constr 0
0
Constr 0
0
#082fd11f536d0a4d08baa6dc117783fa63c8d7bb5feaeca79ed46c21
1
Constr 0
0
Constr 0
0
Constr 0
0
#002c7f543d1124d0ac7c629c437df19fb88c7a75201906b058a00124
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 54600000
2
Constr 0
0
Constr 0
0
Constr 0
0
#2a80b4009eb62c7157979c73b551d837fc1130dbb6f7638815793891
1
Constr 0
0
Constr 0
0
Constr 0
0
#5d0fdb7ee2a2e04916623c073e2ee1a27be8ded9e68e9eb5c0b191f3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 357000000