Datum

cd81e1e1beacef…200d72e38c

cd81e1e1beaceff8c2aa8d1edef49cc49d2f0e8d19576e3003873e200d72e38c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#67bbdb30e2a62de5a86f6fe4b2741bd72b92a5967b2f14453ee3bd38

1

Constr 0

0

Constr 0

0

Constr 0

0

#ae9532ca0363300fb70910f42543298dcacf53ec113d01c7614d49fe

1

Constr 0

0

Constr 0

0

#67bbdb30e2a62de5a86f6fe4b2741bd72b92a5967b2f14453ee3bd38

1

Constr 0

0

Constr 0

0

Constr 0

0

#ae9532ca0363300fb70910f42543298dcacf53ec113d01c7614d49fe

2

Constr 1 []

3

Constr 3

0

145347278

1

4271

4

2000000

5

2000000