Datum

9dacd60cee156c…8dfa91b128

9dacd60cee156cde13e59ef82f769ba2ff8bdbf08b90d6d747cca08dfa91b128

Datum

Constr 0

0

#1401

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#807b796ae1c5dc33baa6672549bfad2841506a6dbbafb69afd0f8b56

1

Constr 0

0

Constr 0

0

Constr 0

0

#32fd2b34fde8070e5931e097efd99277e0909ce1f56be6a0ad4d46a8

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

130000000

2

Constr 0

0

154269352