Datum
10d3d7f6bcbd1f…b99a87c5c4
10d3d7f6bcbd1f288afe07079f9ccb786a4f0843372174eefdf7efb99a87c5c4
Datum
Constr 0
0
#5cbe8058187af4d6b159ccff306789297ce94d4c32383831a7b7874f
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#fc5531c59fdfe3728f5bbc2134169fbe7e9d6c6070f700bc5ae1d723
1
Constr 0
0
Constr 0
0
Constr 0
0
#f08b03bd8cef84901880c2cf049be3688c3b396351f1cf7adf02dd84
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 70000000
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}
#""
→ 20000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#5cbe8058187af4d6b159ccff306789297ce94d4c32383831a7b7874f
1
Constr 0
0
Constr 0
0
Constr 0
0
#8aa0af3d2a3a5ac12d3bcf6f4b3b77d85a46cccf4758148e4e5dc631
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 910000000