Datum

8e6a7d585e88b1…0bb340a772

8e6a7d585e88b127f3eac3352f49fdd0b9ba4530cbffcaafcd36960bb340a772

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4787476560f21f7f25c560280db1015d477a8a89afd632d53efadf91

1

Constr 0

0

Constr 0

0

Constr 0

0

#6c15ba27cd14c32dfc5beae6900b245a9598cb00f610d510466565b1

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

9000000000

2

Constr 0

0

15185825