Datum

ca3e7acfad89d3…b5eda587ff

ca3e7acfad89d3db1e48218df0d35d58a15eee36160a17c2ddd2b6b5eda587ff

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0fe64eade2404016fd06610f4bcbafe7c0ea92e93602d557e0f2a442

1

Constr 0

0

Constr 0

0

Constr 0

0

#50b8d5ee30b9ad05edb88f3183c508ca3f7272118aab4f5c748c11d3

1

Constr 0

0

Constr 0

0

#0fe64eade2404016fd06610f4bcbafe7c0ea92e93602d557e0f2a442

1

Constr 0

0

Constr 0

0

Constr 0

0

#50b8d5ee30b9ad05edb88f3183c508ca3f7272118aab4f5c748c11d3

2

Constr 1 []

3

Constr 3

0

30298309

1

705864521

4

1996710

5

2000000