Datum

80fa3f374d6c1d…08ca0939dd

80fa3f374d6c1d8b88cc3ef5c3f81d55edf7cd717cb1160ef0d2cd08ca0939dd

Datum

Constr 0

0

#1d

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d40842f1e1b5bba2e546100ef731d7ac8edab133364fc775c663564b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f2fddda426dcdde6efaef81ee1b1bb8dc12eddf11f079cb7725633c7

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

4240000

2

Constr 0

0

185375953