Datum

0cd95a894dcfd4…a87a7651cf

0cd95a894dcfd4a95c2d1c34ecb8a54b32ad13d1e72a31c2d5b21aa87a7651cf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f2284ddfd23ee840c2ccdb41d14c323d85ac58aa2314745dc24caf31

1

Constr 0

0

Constr 0

0

Constr 0

0

#ac84f6a15edd27699304b6c5d15f0a00cab802bba05f939c1c7b98bb

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

588609

1

11920256

4

1998530

5

4000000