Datum

fb565d0ed5651a…d7fcb760bb

fb565d0ed5651a0f5634d5d97d75947ee4c2d13d149acacfc946d2d7fcb760bb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#68d60756bb001183185abca7346ca185207fa903bb3a976a9801dd8d

1

Constr 0

0

Constr 0

0

Constr 0

0

#f6cbb1da5eec091ea9edf15c4cba563b82b33cf42d869eb654945c5e

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

121060751

1

144799

4

1882483

5

4000000