Datum

dcd8124f8d59b4…78c50ea47b

dcd8124f8d59b4fee4e71ff1b567480192faa3057d770aafc9fd9578c50ea47b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6d3156743424f083398f738e04bcbdc09ae4b763208671ecc80d9aa0

1

Constr 0

0

Constr 0

0

Constr 0

0

#ff0e3778025a3047e7078cd8fdbd664b6075bcf6e540b4e8ae2ee177

1

Constr 0

0

Constr 0

0

#6d3156743424f083398f738e04bcbdc09ae4b763208671ecc80d9aa0

1

Constr 0

0

Constr 0

0

Constr 0

0

#ff0e3778025a3047e7078cd8fdbd664b6075bcf6e540b4e8ae2ee177

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

402007570

4

2000000

5

2000000