Datum

e235f3e802e428…1203bd9140

e235f3e802e4288b7d5dfc7de2d69c83d7a3d100b7c6b82c1dcb301203bd9140

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#6e4113b0ab447e67574a2a795aa0dae9dac01be9c542b73faab90cf7

1

Constr 0

0

Constr 0

0

Constr 0

0

#149c9aef70429bbd75575cd26f20dfbf46ecc8cf00595fca852390ec

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

319637800