Datum
a9645fcccf674f…4382ec9685
a9645fcccf674f13c02b35a017d7b19e9ecf4e7d5ca85a8b07cb284382ec9685
Datum
Constr 0
0
#702ae41f80b308e1b90b43ddc239fa63a0b2b39c01a132d838499a9b
1
List [3]
0
Constr 0
0
Constr 0
0
Constr 0
0
#ef02c82b677ff87fe69412038f0afa477e0c118d90809b4109c535ac
1
Constr 0
0
Constr 0
0
Constr 0
0
#2eec709f87e341dc0ae9e6a27b0ddb9f6b16faef95300df0492e3651
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 996000
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}
#""
→ 996000
2
Constr 0
0
Constr 0
0
Constr 0
0
#702ae41f80b308e1b90b43ddc239fa63a0b2b39c01a132d838499a9b
1
Constr 0
0
Constr 0
0
Constr 0
0
#29ad9bfbcfef574758d8e2d4596be6a5ac230566ccc285b2ec5b51c9
1
Map {1}
#""
→ Constr 0
0
0
1
Map {1}
#""
→ 4008000