Datum

9f9f633e3efd7e…df94f60bbf

9f9f633e3efd7e19da88bcd0e5582dc802f2f698eccc6c3b341a72df94f60bbf

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5cbb7f7f38ca31404b473bbd673d7dbd21e63c9175a07dfb9453cf20

1

Constr 0

0

Constr 0

0

Constr 0

0

#8dc0a5850dc0bf3ec4fbbd4e02e9f1df284730ba6bbb1cc98e313b99

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

18599000000

2

Constr 0

0

16857163760