Datum
c0779e6d064d86…9facdc0116
c0779e6d064d861ab2df98a9e77268c06fa011b044f55d0efc34e59facdc0116
Datum
Constr 0
0
#a79a0a5bb526e59b7fe05912a31b5fde085e635d5152dc19037d2131
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#80fe7dcccde53f1cc084d87ab49bcc736bd17721a28ef43fea51d3dc
1
Constr 0
0
Constr 0
0
Constr 0
0
#fa9e81509d136c8bfc6de508480f9cf225361e644c66d3036f46dbb3
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 5000000
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}
#""
→ 2000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#a79a0a5bb526e59b7fe05912a31b5fde085e635d5152dc19037d2131
1
Constr 0
0
Constr 0
0
Constr 0
0
#b766d40516e0f1bcaae0ee03d1e1897ad7be57a593db5b133c17dfbd
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 93000000