Datum

f7928cc3eb26a0…73ff61cd04

f7928cc3eb26a0cc7ebcaa6a55c7066301bc386076174d25979eb873ff61cd04

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3ae3a7b9c3da07ddc2f31c8830ab0dcb2783dcae9f8fe8ae6aae92a2

1

Constr 0

0

Constr 0

0

Constr 0

0

#83ae76e1d04c2f8a32fc3d1050ef1cf7fdc71954f16d759fca610d7f

1

Constr 0

0

Constr 0

0

#3ae3a7b9c3da07ddc2f31c8830ab0dcb2783dcae9f8fe8ae6aae92a2

1

Constr 0

0

Constr 0

0

Constr 0

0

#83ae76e1d04c2f8a32fc3d1050ef1cf7fdc71954f16d759fca610d7f

2

Constr 1 []

3

Constr 3

0

565633789

1

221619

4

1999921

5

2000000