Datum

a64d27c5132fa5…e6e9e19331

a64d27c5132fa5fc6d8d41b7be69fe77f23e315328bc993d5c06a0e6e9e19331

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#645cfcf00646a9c6313e49663b1ebe22bfcd1fcce50d895c4e039c70

1

Constr 0

0

Constr 0

0

Constr 0

0

#c2fa369fe296e3d07dbc81497794697c8e93c20c3f3ecd22a18ff99b

1

Constr 0

0

Constr 0

0

#645cfcf00646a9c6313e49663b1ebe22bfcd1fcce50d895c4e039c70

1

Constr 0

0

Constr 0

0

Constr 0

0

#c2fa369fe296e3d07dbc81497794697c8e93c20c3f3ecd22a18ff99b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000