Datum
b5be19dd2bfbb1…d407ee00e2
b5be19dd2bfbb10acf2fcd237015d3b0d52372fd0ecf895d0d013bd407ee00e2
Datum
Constr 0
0
#d2ca2c95752476a665465f4e04eff6e241480c16dc0ac10c79c82a8a
1
List [3]
0
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
1
Constr 0
0
Constr 0
0
Constr 0
0
#365223f6ed4b4784fd1740414c5a148506d8323a25edd8852ea51f27
1
Constr 0
0
Constr 0
0
Constr 0
0
#ffd2311eaa3c4eee9f0cecb88d9cde42f931bc39e47517762e5ed478
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 30000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#d2ca2c95752476a665465f4e04eff6e241480c16dc0ac10c79c82a8a
1
Constr 0
0
Constr 0
0
Constr 0
0
#d2c990689c0b34d0222d87759e277dca50fe371de68eaadda1d506a9
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 264000000