Datum

c7950e7e73d3e2…c850c5852b

c7950e7e73d3e2baadc324b3b34e2ecee2cb94d04e4c874f785f01c850c5852b

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#3a97e02c9da458d5e6acec742108ec8e4a9a72a7cbf2e4a3808de84d

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9ee9e7f0ffe5cc69d4a2c9ec1f8df201e7a25249a4f5126ba9a8dfc

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

15000000000

2

Constr 0

0

25866588