Datum

3ad8663769c543…53dcc8ca46

3ad8663769c5430734a3f23ffc3ee8e3bb41aaa8ba1ed48e49efd853dcc8ca46

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#17b20aff00b6cd78f4ac0c68b92d90346171f461a9e6d22aad787dc9

1

Constr 0

0

Constr 0

0

Constr 0

0

#af5d7e46216ae84465dd0fe09c4ddbb129355683c476772cace99c46

1

Constr 0

0

Constr 0

0

#17b20aff00b6cd78f4ac0c68b92d90346171f461a9e6d22aad787dc9

1

Constr 0

0

Constr 0

0

Constr 0

0

#af5d7e46216ae84465dd0fe09c4ddbb129355683c476772cace99c46

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

6205910

4

1997868

5

2000000