Datum

f93c235669d2df…d42772f7f2

f93c235669d2dfcdc62592afce1ec9814bb6fcc6fd86d18e803849d42772f7f2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ad57e9a3ff59c5ba9da95c9c67913454f4be48ee597fe4d83ac0bcb7

1

Constr 0

0

Constr 0

0

Constr 0

0

#c11ac32cceb85a5716aeb30ef698e55b7fdaed65b16182806b231ab2

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

463859

1

5457034

4

1771283

5

4000000