Datum

e32add80c5aecb…da5c6ec24b

e32add80c5aecb417e80c31e3dcc334ecc7bf338342c356db9f154da5c6ec24b

Datum

Constr 0

0

#07

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#5882a961d3bfc4cf6fba2526077e28a918daa910ae64f8ef57848f52

1

Constr 0

0

Constr 0

0

Constr 0

0

#02fc412c18e610422fa4e16ac33bba305327e472b576e306f399af2b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

594243692

2

Constr 0

0

774703405