Datum

8dd843d47597a2…ef9b65bcaf

8dd843d47597a2d66a6a26449f9a1702bda317d91f2ce033f61efbef9b65bcaf

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4df2f025841419ef6333c06f6396bf43dade12f7f52c104bcac28e9e

1

Constr 0

0

Constr 0

0

Constr 0

0

#ce37bc370fb27356638856d64e967a8ef346e349c8880504fac79d03

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

84022148

1

13500000000