Datum

771e5efb282eac…c6fffd5ea6

771e5efb282eac1c23540abd3e5bdbe49a932b496164f2de9d894dc6fffd5ea6

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ca0e5632aae0135a3dcaca16677b5f7ca6b307555bc76cc676bba389

1

Constr 0

0

Constr 0

0

Constr 0

0

#dec93686769ac2be55deebf564ad5c53b9182b575d05bd5ac3b9d0ce

1

Constr 0

0

Constr 0

0

#ca0e5632aae0135a3dcaca16677b5f7ca6b307555bc76cc676bba389

1

Constr 0

0

Constr 0

0

Constr 0

0

#dec93686769ac2be55deebf564ad5c53b9182b575d05bd5ac3b9d0ce

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

373856254

4

1964273

5

2000000