Datum

72f32ccf4b5bd0…a5ef0b997c

72f32ccf4b5bd01e8fce92ec330ec572b2d37fea47ee432be982aaa5ef0b997c

Datum

Constr 0

0

#03

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7c3e1e3a1a82c6399809ef3375f29fd9b09b5356687aef4442977e5e

1

Constr 0

0

Constr 0

0

Constr 0

0

#51b1627f326832e8638a3a0a81e04d7e0fbb59877d5e1a51e7fa2ada

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

400000000

2

Constr 0

0

128196195