Datum

b60f244eeea8ea…b75d48ac78

b60f244eeea8ea74d90a3723670f5bcb91b6a9acd8fe8dd2ce6336b75d48ac78

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#52f0560e8417ee7cd33fc2ed8900e01c172644b9cf1d2009704d2c98

1

Constr 0

0

Constr 0

0

Constr 0

0

#eb217d70c27286d5e95b3e5e4fb1eb5b959c1c825dcdcfe4da82b9c3

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

65118978

1

293427997

4

1995328

5

4000000