Datum

cecd956e940636…07441edce4

cecd956e94063644d2fd477b30eaae241815a394c68d6bc0cfcbd207441edce4

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2adef4fd779f64aadf77ff9291a0cf436964d4f4ffd38777e326263a

1

Constr 0

0

Constr 0

0

Constr 0

0

#60d3d7f8e35cab21924d73ec9a49231ab36e600ea96e81092e0e3245

1

Constr 0

0

Constr 0

0

#2adef4fd779f64aadf77ff9291a0cf436964d4f4ffd38777e326263a

1

Constr 0

0

Constr 0

0

Constr 0

0

#60d3d7f8e35cab21924d73ec9a49231ab36e600ea96e81092e0e3245

2

Constr 1 []

3

Constr 2

0

1

4

1999999

5

2000000