Datum
f6e2c809bfafd1…8ec2c33606
f6e2c809bfafd12fa3ecc1b06e01390a4336d85dfbc7e88a1d48a98ec2c33606
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#3006b2f9f0d2d9f21e86e6dee179d9f1547a0140d8924b10d256c4cb
1
Constr 0
0
Constr 0
0
Constr 0
0
#1ecb1e7d227ebfc1be9b96c7c7356b5ff97e688fe56deafcffe268e1
1
Constr 0
0
Constr 0
0
#3006b2f9f0d2d9f21e86e6dee179d9f1547a0140d8924b10d256c4cb
1
Constr 0
0
Constr 0
0
Constr 0
0
#1ecb1e7d227ebfc1be9b96c7c7356b5ff97e688fe56deafcffe268e1
2
Constr 1 []
3
Constr 3
0
242752454
1
4244254584
4
1997196
5
2000000