Datum

4c6feb033b63c5…781e14dde2

4c6feb033b63c558bf91eaa744906cbbd5b652a903d86ac85559af781e14dde2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0a4064bc9d3cb5224ef2ec96bb077978700c71752a086b36b75bdfd0

1

Constr 0

0

Constr 0

0

Constr 0

0

#6a785ab663c694bf6305fb8e11dadcc2a62e4bbf9ed0789d1fc0d285

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

19520705

1

131988365297

4

1926893

5

4000000