Datum

1625b0f8eec7f6…22812a56ef

1625b0f8eec7f63def5d5ef9e6c92e1d3cb7ccf9e2e51841730a3c22812a56ef

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0bedf61a6928b9bcf9701ce4b874b5b36e40166574b534860358d7ef

1

Constr 0

0

Constr 0

0

Constr 0

0

#ff5235201c3ab56ca181f7fca6b9e347aa2bb804e972292f2b513aa5

1

Constr 0

0

Constr 0

0

#ca5d9e971ba87ce0ce333a464a8f7c1c6650b8a6a28c4dcce53b566d

1

Constr 0

0

Constr 0

0

Constr 0

0

#28b8c1adbefb8692970a8a473d45c30da47faa716c7026b0ed362a76

2

Constr 1 []

3

Constr 3

0

959782910

1

349350831

4

1664562

5

4000000