Datum

a1da572ee1ea79…ff0c606a46

a1da572ee1ea79f7b85b1914935ffa33a3be9a98997b18e0dce4ccff0c606a46

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#079a22b7bbec3302d9294545f49453f016b7ff5d22a728431ba05ded

1

Constr 0

0

Constr 0

0

Constr 0

0

#77d90d8404d83ee0b9956ba857193b7bd0d8548e960e5eba1237a1bc

1

Constr 0

0

Constr 0

0

#079a22b7bbec3302d9294545f49453f016b7ff5d22a728431ba05ded

1

Constr 0

0

Constr 0

0

Constr 0

0

#77d90d8404d83ee0b9956ba857193b7bd0d8548e960e5eba1237a1bc

2

Constr 1 []

3

Constr 2

0

1

4

1927826

5

2000000