Datum

8051c209ed537d…0fcedfe7df

8051c209ed537d633a2c6eaa7e977af302c9746a6f38ff844b48060fcedfe7df

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5ac623c3f4e27c0fa1df625cdd69a41aa24c8dd9e58439e8fa4fbcbb

1

Constr 0

0

Constr 0

0

Constr 0

0

#609448ded7173d4b48fac1f095eafc4f2f15ea33b416f5466680b326

1

Constr 0

0

Constr 0

0

#5ac623c3f4e27c0fa1df625cdd69a41aa24c8dd9e58439e8fa4fbcbb

1

Constr 0

0

Constr 0

0

Constr 0

0

#609448ded7173d4b48fac1f095eafc4f2f15ea33b416f5466680b326

2

Constr 1 []

3

Constr 3

0

23903533072

1

11360493187

4

2000000

5

2000000