Datum

a6e554f9edce5f…adeafd4535

a6e554f9edce5f34a1a00a712ad6342af9dfbdbdcb1a859ab07920adeafd4535

Datum

Constr 0

0

#1f04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#73dfd201450cfde68abd72442d6c428984cac44221ee00a2b00ce877

1

Constr 0

0

Constr 0

0

Constr 0

0

#10f6407e94ade7b3447e4522af3f14dfaf36213f9702272bc59b1b86

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

128000000

2

Constr 0

0

53501