Datum

9faa05db4455aa…8666e1afd7

9faa05db4455aa7166da0467920fa5eeaf8749c0e1bf85df91638e8666e1afd7

Datum

Constr 0

0

#0d04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#dec2980ed17f7be3d6f60255fffbfe7d4c41e2cdfc33d2753a7c6e13

1

Constr 0

0

Constr 0

0

Constr 0

0

#7d1b89ce9dc501ae2a586ba19eb245862f3ec084165701ef6e3a87a3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

128000000

2

Constr 0

0

96031520