Datum
db56dc8cf115fb…980d115dea
db56dc8cf115fbf92957ace3fbff9c41d4c0f7a7d3a671c9a01484980d115dea
Datum
Constr 0
0
#79d5e1495565b32110ab86a6818c54319453903db50784d44a204f6c
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#666fca499fa20efb12ba3a241dcaedb7f1fae72dae37e1ddd1bcdf03
1
Constr 0
0
Constr 0
0
Constr 0
0
#f29cd683b316a0d8683c63508a67aa86b631a29510618801d7245587
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 1200000
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}
#""
→ 984000
2
Constr 0
0
Constr 0
0
Constr 0
0
#79d5e1495565b32110ab86a6818c54319453903db50784d44a204f6c
1
Constr 0
0
Constr 0
0
Constr 0
0
#1252d3576c4e5eaf2bd51dc5d0df819fb06f7c340817c277e62624cf
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 21816000