Datum

94048637b700e9…91db40baad

94048637b700e980f9c367b4bf4b67132ad1124d4cdcc7cd1db95191db40baad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1e8e0ddf27c78edd3a3755c6530d3a172a433ad738bc467cfdfb6559

1

Constr 0

0

Constr 0

0

Constr 0

0

#df69cd7aaf50e1ecaad633d7db210525af0ced40186e8a2528f36f15

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

130338968

1

431908410

4

1993147

5

4000000