Datum
533a6e56b7bb4f…9ee8d440f7
533a6e56b7bb4f1088bdc6b479c2a4e2ba34daf7b6de6405c4f47c9ee8d440f7
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#1c1ade2030940cbbafcd0e722bd0ab46840fb713ff0f57bcbbff0b2d
1
Constr 0
0
Constr 0
0
Constr 0
0
#891cc538d8a012c3dbdd2033cb65fa09fc146679bce94fdd7ecf9350
1
Constr 0
0
Constr 0
0
#1c1ade2030940cbbafcd0e722bd0ab46840fb713ff0f57bcbbff0b2d
1
Constr 0
0
Constr 0
0
Constr 0
0
#891cc538d8a012c3dbdd2033cb65fa09fc146679bce94fdd7ecf9350
2
Constr 1 []
3
Constr 3
0
29846769
1
339058370
4
1997411
5
2000000