Datum

a35e111e67b6ae…afe057cdfe

a35e111e67b6aec3708ea16424479992ff1e0533d8dd69bef80d44afe057cdfe

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f480fbde43ef244fdc26d00d58708b3ebf0d6db3aeedc8d404c3bcd9

1

Constr 0

0

Constr 0

0

Constr 0

0

#87b1bc53cffe8507d09ab7e50426d8048547f817fba9dbc159c0287f

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

10306447

1

256666680373

4

1999597

5

3000000