Datum
962817edceda90…869f2c6547
962817edceda90e04d5dc3750b46e73c5f9bc91c55fc4e165ef42b869f2c6547
Datum
Constr 0
0
Constr 0
0
Constr 0
0
Constr 0
0
#01b3e85661e0f22501966a669f44b74943fe541aac0b9ff5683e92a7
1
Constr 0
0
Constr 0
0
Constr 0
0
#e4adcd5a09cfabf56fb3249fe66b1f08a0c9ec0438ecccf78d54722b
1
List [1]
0
#01b3e85661e0f22501966a669f44b74943fe541aac0b9ff5683e92a7
2
Constr 0 []
3
Constr 1 []
4
Constr 0
0
Constr 0
0
Constr 0
0
#cfd1e9d74d5a4478fad9fa50d13b5941cedfd2b30cc0919af065a425
1
Constr 0
0
Constr 0
0
Constr 0
0
#fa529d6742f47a7176fccea0192aa131458340af1c76f00289c393f9
5
Constr 0
0
Constr 0
0
Constr 0
0
#06049ba256177bcea4437b4dc46bed6b0c8038379e5609d9bcb24daf
1
Constr 0
0
Constr 0
0
Constr 0
0
#fa50a68d9b8f7fbe70f0482266b5b1a99a7301edf897fd7b6ed338f7
6
0
7
Map {1}
#""
→ Map {1}
#""
→ 244178350
8
Map {1}
#""
→ Map {1}
#""
→ 2800000
9
Map {1}
#""
→ Map {1}
#""
→ 28000000