Datum

dde643c20e8871…e2dfe132d3

dde643c20e8871604c19621ed8a13e646f6d3c6cfa19bf400b7335e2dfe132d3

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c1e7ee0f09586603019e0876f4bff91369f2703d3e724f98a7ab48a4

1

Constr 0

0

Constr 0

0

Constr 0

0

#f6b1ba16be089b9ed056e84785874589e1a2aa55f52c0736a7056094

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

347000000

2

Constr 0

0

239459281