Datum

a78e24429cce5a…85a082fae4

a78e24429cce5a6d8d552fefacbeefebb1329c8d8247e56a88bf7185a082fae4

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#31125667b5534ae54c03e96c715500da880b23d1a17a151016cf40cb

1

Constr 0

0

Constr 0

0

Constr 0

0

#f14a7479914f91bae278024b59e9f0cb454a4c3232c270721af4a840

1

Constr 0

0

Constr 0

0

#31125667b5534ae54c03e96c715500da880b23d1a17a151016cf40cb

1

Constr 0

0

Constr 0

0

Constr 0

0

#f14a7479914f91bae278024b59e9f0cb454a4c3232c270721af4a840

2

Constr 1 []

3

Constr 2

0

1

4

1988313

5

2000000