Datum

0b2e9db1be76e6…cb63d9390d

0b2e9db1be76e656e052a32a834516c4b8737dcab71c31f1e9cc07cb63d9390d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6d7ea1268fe54b3bd2df64654b8217e1d5d92b4d7cc1bb38f2b8dfda

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fdbe8e5a77761aed9b2549cbbfb89cd74d3162841670c443ed95c1f

1

Constr 0

0

Constr 0

0

#6d7ea1268fe54b3bd2df64654b8217e1d5d92b4d7cc1bb38f2b8dfda

1

Constr 0

0

Constr 0

0

Constr 0

0

#3fdbe8e5a77761aed9b2549cbbfb89cd74d3162841670c443ed95c1f

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

893805197

4

2000000

5

2000000