Datum

56c6b9212a7fdc…1c0e69ec35

56c6b9212a7fdc2524f5cb33ca00567fa2449d67c8f2833feb7dd91c0e69ec35

Datum

Constr 0

0

#11

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5c7671ece86451d3c3b1ea6a1147ec8cae31013d50ca1c7239a1f020

1

Constr 0

0

Constr 0

0

Constr 0

0

#4ea0e2856baa989e413f0cbcabaa7cc99b08d436026193301358ba60

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

9000000000

2

Constr 0

0

704024003