Datum
809f4afa5f60c7…5c8177ff4a
809f4afa5f60c78745e8ecfb1c878bec07ffa2637d6c4181c5629a5c8177ff4a
Datum
Constr 0
0
#f1b46740a9b227ee15a2d68eb1b8da1477850eb457d1d3199ad172da
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#b208f5ae8b99356451a69f948b49246ea5d3d2422ac609a663d38c45
1
Constr 0
0
Constr 0
0
Constr 0
0
#a6af14b49ef863b0ed1db866afefc91b7e3d5c0431d40130bedcd34d
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 15000000
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}
#""
→ 6000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#f1b46740a9b227ee15a2d68eb1b8da1477850eb457d1d3199ad172da
1
Constr 0
0
Constr 0
0
Constr 0
0
#c6c0f4296eb1ca320982e2a9f4e91f3affbeeec55b681e496dc637fa
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 279000000