Datum

c03c7fe0f2edf4…9757c18daa

c03c7fe0f2edf4491d3e45cd51e569842152b24b6df69ea8fde1959757c18daa

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#dcc15a14e15ceac768e0080e565fd1b27bb17a49b35ff651979a7732

1

Constr 0

0

Constr 0

0

Constr 0

0

#6dede13a133932bbe91d9d0429c7810b48bd480ce5e8fc8ffe960bda

1

Constr 0

0

Constr 0

0

#dcc15a14e15ceac768e0080e565fd1b27bb17a49b35ff651979a7732

1

Constr 0

0

Constr 0

0

Constr 0

0

#6dede13a133932bbe91d9d0429c7810b48bd480ce5e8fc8ffe960bda

2

Constr 1 []

3

Constr 3

0

128573097209

1

11217061852

4

2000000

5

2000000