Datum
3cf3fd02fa035b…bf3e1c041f
3cf3fd02fa035b3f54d7681f6fdd6eaedc764f0cca1424e99b8d3fbf3e1c041f
Datum
Constr 0
0
#b3435e2f904807d8eff389b8bc7eae9a43636beda475f366ee5ea905
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#a5a8c3be252bd6ce935768cacaf863029768e7c7430cc781e1d83f6b
1
Constr 0
0
Constr 0
0
Constr 0
0
#d73c86b0156b24a5160b24acf79035aae2d5a1fa756062e9cd46ae99
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 9000000
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
#b3435e2f904807d8eff389b8bc7eae9a43636beda475f366ee5ea905
1
Constr 0
0
Constr 0
0
Constr 0
0
#b5c6d54914032bb4b27530e8f576f67e6789921c095e254c39fcc2a5
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 285000000