Datum

ef0744b762fd57…02b0782d7d

ef0744b762fd5734333f35a802f89dbc77ae3aed91c2d5443fe07602b0782d7d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#19b534e47359f7f889fff8eb0a8b036b8c66ed146c9e8fda276150cd

1

Constr 0

0

Constr 0

0

Constr 0

0

#153f50f38ff6b431ce5884020ae0488b33fe05b72249985cece1fe57

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

34767425

1

64584576759

4

1994060

5

3000000