Datum

dcddc0dcf935ea…5cd9d3e002

dcddc0dcf935ea506a8057cbabf38b5600ac7c51294c4e9312391f5cd9d3e002

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#7ef7f96c34ba9bd85666ff39b2b7645c82d1ff73962f34d42ea6cbf0

1

Constr 0

0

Constr 0

0

Constr 0

0

#38d9374615b147c7d31a68cfd804735b8a640667249d49502d2edb48

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

1466737907