Datum

fdea33ae103f3e…ebc76d1d7e

fdea33ae103f3e159030f1bf9ea46ead861836d435577e2cc82084ebc76d1d7e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#02fe317b0c2c8fabd355e199bcfb3195c0e46e35ba547417fe1d6479

1

Constr 0

0

Constr 0

0

Constr 0

0

#f3b348afa12c9668ddf5009a02f8322b1b93d13ba314acb1a9952da4

1

Constr 0

0

Constr 0

0

#02fe317b0c2c8fabd355e199bcfb3195c0e46e35ba547417fe1d6479

1

Constr 0

0

Constr 0

0

Constr 0

0

#f3b348afa12c9668ddf5009a02f8322b1b93d13ba314acb1a9952da4

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000