Datum
40bf924963a44a…a8f6de4bdb
40bf924963a44ab7c2ab84dea08f623d4e046eaa39e7bef8a64807a8f6de4bdb
Datum
Constr 0
0
#bcfb94443b84dac44cbc60d3239511e8c88deb6c806e09161ade1da3
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#145a388914ec50ff85f3c7ab0b2f720a21e2c06ca7894b506ea78672
1
Constr 0
0
Constr 0
0
Constr 0
0
#fc9bca097d98779e90e6af2296090373786555ccf6436f2e032e1806
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1250000
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}
#""
→ 1000000
2
Constr 0
0
Constr 0
0
Constr 0
0
#bcfb94443b84dac44cbc60d3239511e8c88deb6c806e09161ade1da3
1
Constr 0
0
Constr 0
0
Constr 0
0
#9baef17c0bcc8f3c61de10f9e24edd5461918976edf869c7c5718355
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 22750000