Datum

a7592ec9178d11…8aed7258ff

a7592ec9178d11b8615b2ccdf6aeedfa9d5e09e41d5b0256611e268aed7258ff

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6e44ecbcc06617f090efd5a8c0c06325d154b481f7067f5744e5c6ef

1

Constr 0

0

Constr 0

0

Constr 0

0

#6cd0701b84249a1e9b24f904550089d53ed2769e6a5fe3269f2b4736

1

Constr 0

0

Constr 0

0

#6e44ecbcc06617f090efd5a8c0c06325d154b481f7067f5744e5c6ef

1

Constr 0

0

Constr 0

0

Constr 0

0

#6cd0701b84249a1e9b24f904550089d53ed2769e6a5fe3269f2b4736

2

Constr 1 []

3

Constr 2

0

210764962

4

2000000

5

2000000