Datum

ec3d13f2d35c95…19b9933770

ec3d13f2d35c958702ccc1911eb62c2d87ce94546322e0026986be19b9933770

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f32bdf855ea6d98854a7f7d9d3bb89566be62260ab003c42ecad9e0b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7c23836a095dda5f58c7f1eacb27b7002e0136785a71e03eb1af424

1

Constr 0

0

Constr 0

0

#f32bdf855ea6d98854a7f7d9d3bb89566be62260ab003c42ecad9e0b

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7c23836a095dda5f58c7f1eacb27b7002e0136785a71e03eb1af424

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

71567281

4

2000000

5

2000000