Datum

2f831be8eeeb65…87bb38ce1d

2f831be8eeeb654d2f871a1cbcd9e686ac381b1cdecefe83e9945887bb38ce1d

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#3fcb7f2dab3c9acef2fb3a66f6d819d112c83de8cace2890f5f2de90

1

Constr 0

0

Constr 0

0

Constr 0

0

#7144fb9b7cf86073342ce766ba4ef912289d6f7fc81750fd7af69954

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

60000000

2

Constr 0

0

21627175