Datum

8bc0f7b201d0b2…30ca28bd3d

8bc0f7b201d0b2ee1fef338eab891b47fb81fb87d5dc005593d99d30ca28bd3d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2595248d9767cbbe848b9781c593aebe6cee79bc3c7a086bb068fa2a

1

Constr 0

0

Constr 0

0

Constr 0

0

#f80aab0e692d79d7d5621e12afa99b37de716a09368f5cae03bb48e9

1

Constr 0

0

Constr 0

0

#2595248d9767cbbe848b9781c593aebe6cee79bc3c7a086bb068fa2a

1

Constr 0

0

Constr 0

0

Constr 0

0

#f80aab0e692d79d7d5621e12afa99b37de716a09368f5cae03bb48e9

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

686437307

4

2000000

5

2000000