Datum

85b5e87640a22f…ed697d39e0

85b5e87640a22f6081d73ed93addfa4d7e71bfbb2b9e4910d58e8aed697d39e0

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#cd5344a32c770578b800f8243a5e9df79bad37112da751eb2e5e9ce2

1

Constr 0

0

Constr 0

0

Constr 0

0

#3a25a0499f1c9ead9269032ebd08e2db5da30c405ab47469e8fd581d

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

129927319