Datum

757bd52e72b5b2…2d64c4ad8d

757bd52e72b5b2a91c2456523d95cd3e6231e526914cdc094db60b2d64c4ad8d

Datum

Constr 0

0

#1401

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a6196687b859e9a0139644a2fa1f3945458eb3d96275155fbfb497d2

1

Constr 0

0

Constr 0

0

Constr 0

0

#eec9845e37c559dc2ee4a5bf742717d70f5c925f4f8b397bbe1638e8

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1080000000

2

Constr 0

0

1695634957