Datum

c42e49549fce4f…d255166bba

c42e49549fce4ff8a38d7584115cac126480c823e40f2d8346091dd255166bba

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#40b42cd564f2fc23e9054a49bb67df4dec972b446bb43cb078651b89

1

Constr 0

0

Constr 0

0

Constr 0

0

#44a3bcd8ae715e0e52453ca175a04fa2f31801f8bbac483d53c7a6ca

1

Constr 0

0

Constr 0

0

#40b42cd564f2fc23e9054a49bb67df4dec972b446bb43cb078651b89

1

Constr 0

0

Constr 0

0

Constr 0

0

#44a3bcd8ae715e0e52453ca175a04fa2f31801f8bbac483d53c7a6ca

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

878575930

4

2000000

5

2000000