Datum

a4da78b809b992…badac64cdd

a4da78b809b99232747540f11a5bb8d086c7a375468b4c4dfdcd05badac64cdd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8095ff2493779a0a7197fe1aa69cce805b380b521fa367901c7cac32

1

Constr 0

0

Constr 0

0

Constr 0

0

#f72d41f17a011e1c9c63ee7f8fe99803a972366e29a3ded39b4bb90d

1

Constr 0

0

Constr 0

0

#8095ff2493779a0a7197fe1aa69cce805b380b521fa367901c7cac32

1

Constr 0

0

Constr 0

0

Constr 0

0

#f72d41f17a011e1c9c63ee7f8fe99803a972366e29a3ded39b4bb90d

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000