Datum

ac0ee6b3ab32e3…eed1c479ad

ac0ee6b3ab32e39a962fa58f072e90b9441c5259e7b2fd5f86d245eed1c479ad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#48b0743ae3cb7f03a705cc0283e31fee0bde1fada52fca0985980c5a

1

Constr 0

0

Constr 0

0

Constr 0

0

#c23f34dd3b664cd2990a0a93358cbe756b5d5453cef1443bf6e3d6f0

1

Constr 0

0

Constr 0

0

#48b0743ae3cb7f03a705cc0283e31fee0bde1fada52fca0985980c5a

1

Constr 0

0

Constr 0

0

Constr 0

0

#c23f34dd3b664cd2990a0a93358cbe756b5d5453cef1443bf6e3d6f0

2

Constr 1 []

3

Constr 3

0

17195463867

1

324749150762

4

1979604

5

2000000