Datum

08b58f7d4122d8…1c8ffccd38

08b58f7d4122d812ac88b80dbe52fcf8ec8dcae0ebb11a6a58c6061c8ffccd38

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#706ebbacd23af785423b9c2380acc07778b863fe785255a55ed3a6f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#1029facd71f58626a2acfb128d7f19cc9eeb3bcbd306faac67cbe20a

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

100000000

2

Constr 0

0

213738446