Datum

d63a6fa73787e1…eb4cf9b17f

d63a6fa73787e1c7e473cfb5bcbe963800127bce207d06fb59b665eb4cf9b17f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f8cc89a34a4c71115ed96f1ff2f378a252ebd89d07159937d16f38fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#5aafb047f1ca3a00d6911865bc85939c64a3f0d0795328d518b20068

1

Constr 0

0

Constr 0

0

#f8cc89a34a4c71115ed96f1ff2f378a252ebd89d07159937d16f38fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#5aafb047f1ca3a00d6911865bc85939c64a3f0d0795328d518b20068

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000