Datum
a5a3c1ecabf64b…fbbd942a5f
a5a3c1ecabf64b3564c81220608da5e654121cc01145bb5db5afbdfbbd942a5f
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#13a9d66f5952851ac6c92f545ba60771f01c1e6db1a1cb355a7cd882
1
Constr 0
0
Constr 0
0
Constr 0
0
#86e1ee1c4b3d1bc30c5076d0d28c4388b14ad320cece175b9a42ddfb
1
Constr 0
0
Constr 0
0
#13a9d66f5952851ac6c92f545ba60771f01c1e6db1a1cb355a7cd882
1
Constr 0
0
Constr 0
0
Constr 0
0
#86e1ee1c4b3d1bc30c5076d0d28c4388b14ad320cece175b9a42ddfb
2
Constr 1 []
3
Constr 3
0
6421301
1
446874456
4
1999857
5
2000000