Datum

e6d1acebeed795…1c5cebfd63

e6d1acebeed79599444094ffb3908abb89cb8ea7e4a7bc7ea147bd1c5cebfd63

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1e81ba0bd853a6a3affca184520edec79a8caf0a7780ae7ca804c279

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe28f9c59e7d66821f7b48ef817fab165556fdd43d699ad19f70ed58

1

Constr 0

0

Constr 0

0

#1e81ba0bd853a6a3affca184520edec79a8caf0a7780ae7ca804c279

1

Constr 0

0

Constr 0

0

Constr 0

0

#fe28f9c59e7d66821f7b48ef817fab165556fdd43d699ad19f70ed58

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

16838114

4

2000000

5

2000000