Datum

a33b72996c272a…f6a2a7a0bb

a33b72996c272afbd250ea8a2bbb2a9b83c9353a50416acf52a305f6a2a7a0bb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0f32890c93ecd10971fa9f65d07491b39e2a410e623d54a5e6af7888

1

Constr 0

0

Constr 0

0

Constr 0

0

#d35e5ac9b43c340570b77404db09533b02f5430444fa2b8a615d2f22

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

27649148

1

10478

4

1993056

5

4000000