Datum

00d2910a65c963…c2f16db3e5

00d2910a65c963f991c8f8d2481d5a67e8e6a48ba8ae5278df95fcc2f16db3e5

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8fd11afdc2f32fb22b1a2c6e8f2180379b0f4a43b3e0e414c0ad206f

1

Constr 0

0

Constr 0

0

Constr 0

0

#b20dab07b2b0ffc9266b503fcc7689b7371eba3a76da5bf192b3f784

1

Constr 0

0

Constr 0

0

#8fd11afdc2f32fb22b1a2c6e8f2180379b0f4a43b3e0e414c0ad206f

1

Constr 0

0

Constr 0

0

Constr 0

0

#b20dab07b2b0ffc9266b503fcc7689b7371eba3a76da5bf192b3f784

2

Constr 1 []

3

Constr 2

0

1

4

1724966

5

2000000