Datum

1ef9d48dd545b2…d8dd6dc8bd

1ef9d48dd545b2be22884d0cec18eccabd0cd6d4519fba962636add8dd6dc8bd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1694dae07989aee24371c976b8f4f99ae2e939b9275c7e3b7d2f47e7

1

Constr 0

0

Constr 0

0

Constr 0

0

#19dfaaae393a522dc4bfdb3851d9fdcb1598c306a704f9398a49d860

1

Constr 0

0

Constr 0

0

#1694dae07989aee24371c976b8f4f99ae2e939b9275c7e3b7d2f47e7

1

Constr 0

0

Constr 0

0

Constr 0

0

#19dfaaae393a522dc4bfdb3851d9fdcb1598c306a704f9398a49d860

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000