Datum

7d920279c388b7…ad4aa8098d

7d920279c388b7e7e2db04d993c8068f409eb6d4a37664e7ea4dd9ad4aa8098d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f3f896b5985a2e128c9e5e13d3f8becae513f3cfa90cf266283669fb

1

Constr 0

0

Constr 0

0

Constr 0

0

#a739419c14c4ce573476acff1e409708aa0eceec95ac64238ae4794d

1

Constr 0

0

Constr 0

0

#f3f896b5985a2e128c9e5e13d3f8becae513f3cfa90cf266283669fb

1

Constr 0

0

Constr 0

0

Constr 0

0

#a739419c14c4ce573476acff1e409708aa0eceec95ac64238ae4794d

2

Constr 1 []

3

Constr 3

0

147412850

1

298814

4

2000000

5

2000000