Datum

a8d700fd5edace…bd6a8b28fe

a8d700fd5edace63b3908039e666eaee726b2a75818ceb34135abdbd6a8b28fe

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3d2f418cb8fbae748355ff49af4b4ff9d5ea9e7299d532dc7e7bd68f

1

Constr 0

0

Constr 0

0

Constr 0

0

#9d700b3012959beaacd865b13b3a7bd9994e838747f5945916f5f053

1

Constr 0

0

Constr 0

0

#3d2f418cb8fbae748355ff49af4b4ff9d5ea9e7299d532dc7e7bd68f

1

Constr 0

0

Constr 0

0

Constr 0

0

#9d700b3012959beaacd865b13b3a7bd9994e838747f5945916f5f053

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

285581020

4

2000000

5

2000000