Datum
f89c928fbc168c…4ed460a3d3
f89c928fbc168c6bd26f04d24b004f49d9b6dcc33a3d2af500e2b24ed460a3d3
Datum
Constr 0
0
#c755486d58853256946f21075d7f9fe40e9b03f60ed27566b59144c1
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#bf53e8c3f6c945c6451e624edf831588aba6a96c5b563ce24fff9bd5
1
Constr 0
0
Constr 0
0
Constr 0
0
#4b1cf7b271391b5b5c193ccaa0174e10deafdcd3c7a4a11a15e8b0cf
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 3000000
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}
#""
→ 3000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#c755486d58853256946f21075d7f9fe40e9b03f60ed27566b59144c1
1
Constr 0
0
Constr 0
0
Constr 0
0
#b8fc328f0c57b7933fc4473656ad530d1c7dabc7e10f36b64f9d50f5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 144000000