Datum

a648b2aa03e732…53e576e6cd

a648b2aa03e732f3fc53343e061318552496bc69e68b436535b3c453e576e6cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#807613d539c9efc7ce231fb18d01975bd2704a6755501be5db74d24d

1

Constr 0

0

Constr 0

0

Constr 0

0

#1c8b6d8e222e6757e748a2bc940ef5c34e17f17bdd9b34ec7fed1f81

1

Constr 0

0

Constr 0

0

#807613d539c9efc7ce231fb18d01975bd2704a6755501be5db74d24d

1

Constr 0

0

Constr 0

0

Constr 0

0

#1c8b6d8e222e6757e748a2bc940ef5c34e17f17bdd9b34ec7fed1f81

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000