Datum

94eae127fa093c…628c6ccc0f

94eae127fa093ce6c8d0397bea91ff34e818d65fa211a537efb570628c6ccc0f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1344c6719d8058b88f756f2ee293581dab8214b388113a46e95cb2e8

1

Constr 0

0

Constr 0

0

Constr 0

0

#f95268c89636b3aee9c4a284e36a458329642618ee77042befa706ee

1

Constr 0

0

Constr 0

0

#1344c6719d8058b88f756f2ee293581dab8214b388113a46e95cb2e8

1

Constr 0

0

Constr 0

0

Constr 0

0

#f95268c89636b3aee9c4a284e36a458329642618ee77042befa706ee

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

3601010

4

2000000

5

2000000