Datum
a62aef17ff5790…e4466fa7fb
a62aef17ff579009dc16b6079f0faae4a79e7991be045fed99de4fe4466fa7fb
Datum
Constr 0
0
Constr 0
0
Constr 0
0
#42f2e21f56a60aa866c22ad4a5b2120065a4ad54ecb75861eda36b07
1
Constr 0
0
Constr 0
0
Constr 0
0
#6996220db472e890711c27d69bc3b3b11768ee332579f6c8d472d21c
1
Constr 0
0
Constr 0
0
#42f2e21f56a60aa866c22ad4a5b2120065a4ad54ecb75861eda36b07
1
Constr 0
0
Constr 0
0
Constr 0
0
#6996220db472e890711c27d69bc3b3b11768ee332579f6c8d472d21c
2
Constr 1 []
3
Constr 2
0
1
4
1998489
5
2000000