
CREATE TABLE S (
   v smallint NOT NULL PRIMARY KEY
   );

INSERT INTO S (v) VALUES (1), (2), (3), (4), (5), (6), (7), (8), (9);

SELECT  c11.v, c12.v, c13.v, c14.v, c15.v, c16.v, c17.v, c18.v, c19.v,
        c21.v, c22.v, c23.v, c24.v, c25.v, c26.v, c27.v, c28.v, c29.v,
        c31.v, c32.v, c33.v, c34.v, c35.v, c36.v, c37.v, c38.v, c39.v,
        c41.v, c42.v, c43.v, c44.v, c45.v, c46.v, c47.v, c48.v, c49.v,
        c51.v, c52.v, c53.v, c54.v, c55.v, c56.v, c57.v, c58.v, c59.v,
        c61.v, c62.v, c63.v, c64.v, c65.v, c66.v, c67.v, c68.v, c69.v,
        c71.v, c72.v, c73.v, c74.v, c75.v, c76.v, c77.v, c78.v, c79.v,
        c81.v, c82.v, c83.v, c84.v, c85.v, c86.v, c87.v, c88.v, c89.v,
        c91.v, c92.v, c93.v, c94.v, c95.v, c96.v, c97.v, c98.v, c99.v
  FROM  S c11, S c12, S c13, S c14, S c15, S c16, S c17, S c18, S c19,
        S c21, S c22, S c23, S c24, S c25, S c26, S c27, S c28, S c29,
        S c31, S c32, S c33, S c34, S c35, S c36, S c37, S c38, S c39,
        S c41, S c42, S c43, S c44, S c45, S c46, S c47, S c48, S c49,
        S c51, S c52, S c53, S c54, S c55, S c56, S c57, S c58, S c59,
        S c61, S c62, S c63, S c64, S c65, S c66, S c67, S c68, S c69,
        S c71, S c72, S c73, S c74, S c75, S c76, S c77, S c78, S c79,
        S c81, S c82, S c83, S c84, S c85, S c86, S c87, S c88, S c89,
        S c91, S c92, S c93, S c94, S c95, S c96, S c97, S c98, S c99
 WHERE  true

        -- Row 1
   AND  c11.v != c12.v
   AND  c11.v != c13.v
   AND  c11.v != c14.v
   AND  c11.v != c15.v
   AND  c11.v != c16.v
   AND  c11.v != c17.v
   AND  c11.v != c18.v
   AND  c11.v != c19.v
   AND  c12.v != c13.v
   AND  c12.v != c14.v
   AND  c12.v != c15.v
   AND  c12.v != c16.v
   AND  c12.v != c17.v
   AND  c12.v != c18.v
   AND  c12.v != c19.v
   AND  c13.v != c14.v
   AND  c13.v != c15.v
   AND  c13.v != c16.v
   AND  c13.v != c17.v
   AND  c13.v != c18.v
   AND  c13.v != c19.v
   AND  c14.v != c15.v
   AND  c14.v != c16.v
   AND  c14.v != c17.v
   AND  c14.v != c18.v
   AND  c14.v != c19.v
   AND  c15.v != c16.v
   AND  c15.v != c17.v
   AND  c15.v != c18.v
   AND  c15.v != c19.v
   AND  c16.v != c17.v
   AND  c16.v != c18.v
   AND  c16.v != c19.v
   AND  c17.v != c18.v
   AND  c17.v != c19.v
   AND  c18.v != c19.v

        -- Row 2
   AND  c21.v != c22.v
   AND  c21.v != c23.v
   AND  c21.v != c24.v
   AND  c21.v != c25.v
   AND  c21.v != c26.v
   AND  c21.v != c27.v
   AND  c21.v != c28.v
   AND  c21.v != c29.v
   AND  c22.v != c23.v
   AND  c22.v != c24.v
   AND  c22.v != c25.v
   AND  c22.v != c26.v
   AND  c22.v != c27.v
   AND  c22.v != c28.v
   AND  c22.v != c29.v
   AND  c23.v != c24.v
   AND  c23.v != c25.v
   AND  c23.v != c26.v
   AND  c23.v != c27.v
   AND  c23.v != c28.v
   AND  c23.v != c29.v
   AND  c24.v != c25.v
   AND  c24.v != c26.v
   AND  c24.v != c27.v
   AND  c24.v != c28.v
   AND  c24.v != c29.v
   AND  c25.v != c26.v
   AND  c25.v != c27.v
   AND  c25.v != c28.v
   AND  c25.v != c29.v
   AND  c26.v != c27.v
   AND  c26.v != c28.v
   AND  c26.v != c29.v
   AND  c27.v != c28.v
   AND  c27.v != c29.v
   AND  c28.v != c29.v

        -- Row 3
   AND  c31.v != c32.v
   AND  c31.v != c33.v
   AND  c31.v != c34.v
   AND  c31.v != c35.v
   AND  c31.v != c36.v
   AND  c31.v != c37.v
   AND  c31.v != c38.v
   AND  c31.v != c39.v
   AND  c32.v != c33.v
   AND  c32.v != c34.v
   AND  c32.v != c35.v
   AND  c32.v != c36.v
   AND  c32.v != c37.v
   AND  c32.v != c38.v
   AND  c32.v != c39.v
   AND  c33.v != c34.v
   AND  c33.v != c35.v
   AND  c33.v != c36.v
   AND  c33.v != c37.v
   AND  c33.v != c38.v
   AND  c33.v != c39.v
   AND  c34.v != c35.v
   AND  c34.v != c36.v
   AND  c34.v != c37.v
   AND  c34.v != c38.v
   AND  c34.v != c39.v
   AND  c35.v != c36.v
   AND  c35.v != c37.v
   AND  c35.v != c38.v
   AND  c35.v != c39.v
   AND  c36.v != c37.v
   AND  c36.v != c38.v
   AND  c36.v != c39.v
   AND  c37.v != c38.v
   AND  c37.v != c39.v
   AND  c38.v != c39.v

        -- Row 4
   AND  c41.v != c42.v
   AND  c41.v != c43.v
   AND  c41.v != c44.v
   AND  c41.v != c45.v
   AND  c41.v != c46.v
   AND  c41.v != c47.v
   AND  c41.v != c48.v
   AND  c41.v != c49.v
   AND  c42.v != c43.v
   AND  c42.v != c44.v
   AND  c42.v != c45.v
   AND  c42.v != c46.v
   AND  c42.v != c47.v
   AND  c42.v != c48.v
   AND  c42.v != c49.v
   AND  c43.v != c44.v
   AND  c43.v != c45.v
   AND  c43.v != c46.v
   AND  c43.v != c47.v
   AND  c43.v != c48.v
   AND  c43.v != c49.v
   AND  c44.v != c45.v
   AND  c44.v != c46.v
   AND  c44.v != c47.v
   AND  c44.v != c48.v
   AND  c44.v != c49.v
   AND  c45.v != c46.v
   AND  c45.v != c47.v
   AND  c45.v != c48.v
   AND  c45.v != c49.v
   AND  c46.v != c47.v
   AND  c46.v != c48.v
   AND  c46.v != c49.v
   AND  c47.v != c48.v
   AND  c47.v != c49.v
   AND  c48.v != c49.v

        -- Row 5
   AND  c51.v != c52.v
   AND  c51.v != c53.v
   AND  c51.v != c54.v
   AND  c51.v != c55.v
   AND  c51.v != c56.v
   AND  c51.v != c57.v
   AND  c51.v != c58.v
   AND  c51.v != c59.v
   AND  c52.v != c53.v
   AND  c52.v != c54.v
   AND  c52.v != c55.v
   AND  c52.v != c56.v
   AND  c52.v != c57.v
   AND  c52.v != c58.v
   AND  c52.v != c59.v
   AND  c53.v != c54.v
   AND  c53.v != c55.v
   AND  c53.v != c56.v
   AND  c53.v != c57.v
   AND  c53.v != c58.v
   AND  c53.v != c59.v
   AND  c54.v != c55.v
   AND  c54.v != c56.v
   AND  c54.v != c57.v
   AND  c54.v != c58.v
   AND  c54.v != c59.v
   AND  c55.v != c56.v
   AND  c55.v != c57.v
   AND  c55.v != c58.v
   AND  c55.v != c59.v
   AND  c56.v != c57.v
   AND  c56.v != c58.v
   AND  c56.v != c59.v
   AND  c57.v != c58.v
   AND  c57.v != c59.v
   AND  c58.v != c59.v

        -- Row 6
   AND  c61.v != c62.v
   AND  c61.v != c63.v
   AND  c61.v != c64.v
   AND  c61.v != c65.v
   AND  c61.v != c66.v
   AND  c61.v != c67.v
   AND  c61.v != c68.v
   AND  c61.v != c69.v
   AND  c62.v != c63.v
   AND  c62.v != c64.v
   AND  c62.v != c65.v
   AND  c62.v != c66.v
   AND  c62.v != c67.v
   AND  c62.v != c68.v
   AND  c62.v != c69.v
   AND  c63.v != c64.v
   AND  c63.v != c65.v
   AND  c63.v != c66.v
   AND  c63.v != c67.v
   AND  c63.v != c68.v
   AND  c63.v != c69.v
   AND  c64.v != c65.v
   AND  c64.v != c66.v
   AND  c64.v != c67.v
   AND  c64.v != c68.v
   AND  c64.v != c69.v
   AND  c65.v != c66.v
   AND  c65.v != c67.v
   AND  c65.v != c68.v
   AND  c65.v != c69.v
   AND  c66.v != c67.v
   AND  c66.v != c68.v
   AND  c66.v != c69.v
   AND  c67.v != c68.v
   AND  c67.v != c69.v
   AND  c68.v != c69.v

        -- Row 7
   AND  c71.v != c72.v
   AND  c71.v != c73.v
   AND  c71.v != c74.v
   AND  c71.v != c75.v
   AND  c71.v != c76.v
   AND  c71.v != c77.v
   AND  c71.v != c78.v
   AND  c71.v != c79.v
   AND  c72.v != c73.v
   AND  c72.v != c74.v
   AND  c72.v != c75.v
   AND  c72.v != c76.v
   AND  c72.v != c77.v
   AND  c72.v != c78.v
   AND  c72.v != c79.v
   AND  c73.v != c74.v
   AND  c73.v != c75.v
   AND  c73.v != c76.v
   AND  c73.v != c77.v
   AND  c73.v != c78.v
   AND  c73.v != c79.v
   AND  c74.v != c75.v
   AND  c74.v != c76.v
   AND  c74.v != c77.v
   AND  c74.v != c78.v
   AND  c74.v != c79.v
   AND  c75.v != c76.v
   AND  c75.v != c77.v
   AND  c75.v != c78.v
   AND  c75.v != c79.v
   AND  c76.v != c77.v
   AND  c76.v != c78.v
   AND  c76.v != c79.v
   AND  c77.v != c78.v
   AND  c77.v != c79.v
   AND  c78.v != c79.v

        -- Row 8
   AND  c81.v != c82.v
   AND  c81.v != c83.v
   AND  c81.v != c84.v
   AND  c81.v != c85.v
   AND  c81.v != c86.v
   AND  c81.v != c87.v
   AND  c81.v != c88.v
   AND  c81.v != c89.v
   AND  c82.v != c83.v
   AND  c82.v != c84.v
   AND  c82.v != c85.v
   AND  c82.v != c86.v
   AND  c82.v != c87.v
   AND  c82.v != c88.v
   AND  c82.v != c89.v
   AND  c83.v != c84.v
   AND  c83.v != c85.v
   AND  c83.v != c86.v
   AND  c83.v != c87.v
   AND  c83.v != c88.v
   AND  c83.v != c89.v
   AND  c84.v != c85.v
   AND  c84.v != c86.v
   AND  c84.v != c87.v
   AND  c84.v != c88.v
   AND  c84.v != c89.v
   AND  c85.v != c86.v
   AND  c85.v != c87.v
   AND  c85.v != c88.v
   AND  c85.v != c89.v
   AND  c86.v != c87.v
   AND  c86.v != c88.v
   AND  c86.v != c89.v
   AND  c87.v != c88.v
   AND  c87.v != c89.v
   AND  c88.v != c89.v

        -- Row 9
   AND  c91.v != c92.v
   AND  c91.v != c93.v
   AND  c91.v != c94.v
   AND  c91.v != c95.v
   AND  c91.v != c96.v
   AND  c91.v != c97.v
   AND  c91.v != c98.v
   AND  c91.v != c99.v
   AND  c92.v != c93.v
   AND  c92.v != c94.v
   AND  c92.v != c95.v
   AND  c92.v != c96.v
   AND  c92.v != c97.v
   AND  c92.v != c98.v
   AND  c92.v != c99.v
   AND  c93.v != c94.v
   AND  c93.v != c95.v
   AND  c93.v != c96.v
   AND  c93.v != c97.v
   AND  c93.v != c98.v
   AND  c93.v != c99.v
   AND  c94.v != c95.v
   AND  c94.v != c96.v
   AND  c94.v != c97.v
   AND  c94.v != c98.v
   AND  c94.v != c99.v
   AND  c95.v != c96.v
   AND  c95.v != c97.v
   AND  c95.v != c98.v
   AND  c95.v != c99.v
   AND  c96.v != c97.v
   AND  c96.v != c98.v
   AND  c96.v != c99.v
   AND  c97.v != c98.v
   AND  c97.v != c99.v
   AND  c98.v != c99.v

        -- Col 1
   AND  c11.v != c21.v
   AND  c11.v != c31.v
   AND  c11.v != c41.v
   AND  c11.v != c51.v
   AND  c11.v != c61.v
   AND  c11.v != c71.v
   AND  c11.v != c81.v
   AND  c11.v != c91.v
   AND  c21.v != c31.v
   AND  c21.v != c41.v
   AND  c21.v != c51.v
   AND  c21.v != c61.v
   AND  c21.v != c71.v
   AND  c21.v != c81.v
   AND  c21.v != c91.v
   AND  c31.v != c41.v
   AND  c31.v != c51.v
   AND  c31.v != c61.v
   AND  c31.v != c71.v
   AND  c31.v != c81.v
   AND  c31.v != c91.v
   AND  c41.v != c51.v
   AND  c41.v != c61.v
   AND  c41.v != c71.v
   AND  c41.v != c81.v
   AND  c41.v != c91.v
   AND  c51.v != c61.v
   AND  c51.v != c71.v
   AND  c51.v != c81.v
   AND  c51.v != c91.v
   AND  c61.v != c71.v
   AND  c61.v != c81.v
   AND  c61.v != c91.v
   AND  c71.v != c81.v
   AND  c71.v != c91.v
   AND  c81.v != c91.v

        -- Col 2
   AND  c12.v != c22.v
   AND  c12.v != c32.v
   AND  c12.v != c42.v
   AND  c12.v != c52.v
   AND  c12.v != c62.v
   AND  c12.v != c72.v
   AND  c12.v != c82.v
   AND  c12.v != c92.v
   AND  c22.v != c32.v
   AND  c22.v != c42.v
   AND  c22.v != c52.v
   AND  c22.v != c62.v
   AND  c22.v != c72.v
   AND  c22.v != c82.v
   AND  c22.v != c92.v
   AND  c32.v != c42.v
   AND  c32.v != c52.v
   AND  c32.v != c62.v
   AND  c32.v != c72.v
   AND  c32.v != c82.v
   AND  c32.v != c92.v
   AND  c42.v != c52.v
   AND  c42.v != c62.v
   AND  c42.v != c72.v
   AND  c42.v != c82.v
   AND  c42.v != c92.v
   AND  c52.v != c62.v
   AND  c52.v != c72.v
   AND  c52.v != c82.v
   AND  c52.v != c92.v
   AND  c62.v != c72.v
   AND  c62.v != c82.v
   AND  c62.v != c92.v
   AND  c72.v != c82.v
   AND  c72.v != c92.v
   AND  c82.v != c92.v

        -- Col 3
   AND  c13.v != c23.v
   AND  c13.v != c33.v
   AND  c13.v != c43.v
   AND  c13.v != c53.v
   AND  c13.v != c63.v
   AND  c13.v != c73.v
   AND  c13.v != c83.v
   AND  c13.v != c93.v
   AND  c23.v != c33.v
   AND  c23.v != c43.v
   AND  c23.v != c53.v
   AND  c23.v != c63.v
   AND  c23.v != c73.v
   AND  c23.v != c83.v
   AND  c23.v != c93.v
   AND  c33.v != c43.v
   AND  c33.v != c53.v
   AND  c33.v != c63.v
   AND  c33.v != c73.v
   AND  c33.v != c83.v
   AND  c33.v != c93.v
   AND  c43.v != c53.v
   AND  c43.v != c63.v
   AND  c43.v != c73.v
   AND  c43.v != c83.v
   AND  c43.v != c93.v
   AND  c53.v != c63.v
   AND  c53.v != c73.v
   AND  c53.v != c83.v
   AND  c53.v != c93.v
   AND  c63.v != c73.v
   AND  c63.v != c83.v
   AND  c63.v != c93.v
   AND  c73.v != c83.v
   AND  c73.v != c93.v
   AND  c83.v != c93.v

        -- Col 4
   AND  c14.v != c24.v
   AND  c14.v != c34.v
   AND  c14.v != c44.v
   AND  c14.v != c54.v
   AND  c14.v != c64.v
   AND  c14.v != c74.v
   AND  c14.v != c84.v
   AND  c14.v != c94.v
   AND  c24.v != c34.v
   AND  c24.v != c44.v
   AND  c24.v != c54.v
   AND  c24.v != c64.v
   AND  c24.v != c74.v
   AND  c24.v != c84.v
   AND  c24.v != c94.v
   AND  c34.v != c44.v
   AND  c34.v != c54.v
   AND  c34.v != c64.v
   AND  c34.v != c74.v
   AND  c34.v != c84.v
   AND  c34.v != c94.v
   AND  c44.v != c54.v
   AND  c44.v != c64.v
   AND  c44.v != c74.v
   AND  c44.v != c84.v
   AND  c44.v != c94.v
   AND  c54.v != c64.v
   AND  c54.v != c74.v
   AND  c54.v != c84.v
   AND  c54.v != c94.v
   AND  c64.v != c74.v
   AND  c64.v != c84.v
   AND  c64.v != c94.v
   AND  c74.v != c84.v
   AND  c74.v != c94.v
   AND  c84.v != c94.v

        -- Col 5
   AND  c15.v != c25.v
   AND  c15.v != c35.v
   AND  c15.v != c45.v
   AND  c15.v != c55.v
   AND  c15.v != c65.v
   AND  c15.v != c75.v
   AND  c15.v != c85.v
   AND  c15.v != c95.v
   AND  c25.v != c35.v
   AND  c25.v != c45.v
   AND  c25.v != c55.v
   AND  c25.v != c65.v
   AND  c25.v != c75.v
   AND  c25.v != c85.v
   AND  c25.v != c95.v
   AND  c35.v != c45.v
   AND  c35.v != c55.v
   AND  c35.v != c65.v
   AND  c35.v != c75.v
   AND  c35.v != c85.v
   AND  c35.v != c95.v
   AND  c45.v != c55.v
   AND  c45.v != c65.v
   AND  c45.v != c75.v
   AND  c45.v != c85.v
   AND  c45.v != c95.v
   AND  c55.v != c65.v
   AND  c55.v != c75.v
   AND  c55.v != c85.v
   AND  c55.v != c95.v
   AND  c65.v != c75.v
   AND  c65.v != c85.v
   AND  c65.v != c95.v
   AND  c75.v != c85.v
   AND  c75.v != c95.v
   AND  c85.v != c95.v

        -- Col 6
   AND  c16.v != c26.v
   AND  c16.v != c36.v
   AND  c16.v != c46.v
   AND  c16.v != c56.v
   AND  c16.v != c66.v
   AND  c16.v != c76.v
   AND  c16.v != c86.v
   AND  c16.v != c96.v
   AND  c26.v != c36.v
   AND  c26.v != c46.v
   AND  c26.v != c56.v
   AND  c26.v != c66.v
   AND  c26.v != c76.v
   AND  c26.v != c86.v
   AND  c26.v != c96.v
   AND  c36.v != c46.v
   AND  c36.v != c56.v
   AND  c36.v != c66.v
   AND  c36.v != c76.v
   AND  c36.v != c86.v
   AND  c36.v != c96.v
   AND  c46.v != c56.v
   AND  c46.v != c66.v
   AND  c46.v != c76.v
   AND  c46.v != c86.v
   AND  c46.v != c96.v
   AND  c56.v != c66.v
   AND  c56.v != c76.v
   AND  c56.v != c86.v
   AND  c56.v != c96.v
   AND  c66.v != c76.v
   AND  c66.v != c86.v
   AND  c66.v != c96.v
   AND  c76.v != c86.v
   AND  c76.v != c96.v
   AND  c86.v != c96.v

        -- Col 7
   AND  c17.v != c27.v
   AND  c17.v != c37.v
   AND  c17.v != c47.v
   AND  c17.v != c57.v
   AND  c17.v != c67.v
   AND  c17.v != c77.v
   AND  c17.v != c87.v
   AND  c17.v != c97.v
   AND  c27.v != c37.v
   AND  c27.v != c47.v
   AND  c27.v != c57.v
   AND  c27.v != c67.v
   AND  c27.v != c77.v
   AND  c27.v != c87.v
   AND  c27.v != c97.v
   AND  c37.v != c47.v
   AND  c37.v != c57.v
   AND  c37.v != c67.v
   AND  c37.v != c77.v
   AND  c37.v != c87.v
   AND  c37.v != c97.v
   AND  c47.v != c57.v
   AND  c47.v != c67.v
   AND  c47.v != c77.v
   AND  c47.v != c87.v
   AND  c47.v != c97.v
   AND  c57.v != c67.v
   AND  c57.v != c77.v
   AND  c57.v != c87.v
   AND  c57.v != c97.v
   AND  c67.v != c77.v
   AND  c67.v != c87.v
   AND  c67.v != c97.v
   AND  c77.v != c87.v
   AND  c77.v != c97.v
   AND  c87.v != c97.v

        -- Col 8
   AND  c18.v != c28.v
   AND  c18.v != c38.v
   AND  c18.v != c48.v
   AND  c18.v != c58.v
   AND  c18.v != c68.v
   AND  c18.v != c78.v
   AND  c18.v != c88.v
   AND  c18.v != c98.v
   AND  c28.v != c38.v
   AND  c28.v != c48.v
   AND  c28.v != c58.v
   AND  c28.v != c68.v
   AND  c28.v != c78.v
   AND  c28.v != c88.v
   AND  c28.v != c98.v
   AND  c38.v != c48.v
   AND  c38.v != c58.v
   AND  c38.v != c68.v
   AND  c38.v != c78.v
   AND  c38.v != c88.v
   AND  c38.v != c98.v
   AND  c48.v != c58.v
   AND  c48.v != c68.v
   AND  c48.v != c78.v
   AND  c48.v != c88.v
   AND  c48.v != c98.v
   AND  c58.v != c68.v
   AND  c58.v != c78.v
   AND  c58.v != c88.v
   AND  c58.v != c98.v
   AND  c68.v != c78.v
   AND  c68.v != c88.v
   AND  c68.v != c98.v
   AND  c78.v != c88.v
   AND  c78.v != c98.v
   AND  c88.v != c98.v

        -- Col 9
   AND  c19.v != c29.v
   AND  c19.v != c39.v
   AND  c19.v != c49.v
   AND  c19.v != c59.v
   AND  c19.v != c69.v
   AND  c19.v != c79.v
   AND  c19.v != c89.v
   AND  c19.v != c99.v
   AND  c29.v != c39.v
   AND  c29.v != c49.v
   AND  c29.v != c59.v
   AND  c29.v != c69.v
   AND  c29.v != c79.v
   AND  c29.v != c89.v
   AND  c29.v != c99.v
   AND  c39.v != c49.v
   AND  c39.v != c59.v
   AND  c39.v != c69.v
   AND  c39.v != c79.v
   AND  c39.v != c89.v
   AND  c39.v != c99.v
   AND  c49.v != c59.v
   AND  c49.v != c69.v
   AND  c49.v != c79.v
   AND  c49.v != c89.v
   AND  c49.v != c99.v
   AND  c59.v != c69.v
   AND  c59.v != c79.v
   AND  c59.v != c89.v
   AND  c59.v != c99.v
   AND  c69.v != c79.v
   AND  c69.v != c89.v
   AND  c69.v != c99.v
   AND  c79.v != c89.v
   AND  c79.v != c99.v
   AND  c89.v != c99.v

        -- Block (1, 1)
   AND  c11.v != c22.v
   AND  c11.v != c23.v
   AND  c11.v != c32.v
   AND  c11.v != c33.v
   AND  c12.v != c21.v
   AND  c12.v != c23.v
   AND  c12.v != c31.v
   AND  c12.v != c33.v
   AND  c13.v != c21.v
   AND  c13.v != c22.v
   AND  c13.v != c31.v
   AND  c13.v != c32.v
   AND  c21.v != c32.v
   AND  c21.v != c33.v
   AND  c22.v != c31.v
   AND  c22.v != c33.v
   AND  c23.v != c31.v
   AND  c23.v != c32.v

        -- Block (1, 4)
   AND  c14.v != c25.v
   AND  c14.v != c26.v
   AND  c14.v != c35.v
   AND  c14.v != c36.v
   AND  c15.v != c24.v
   AND  c15.v != c26.v
   AND  c15.v != c34.v
   AND  c15.v != c36.v
   AND  c16.v != c24.v
   AND  c16.v != c25.v
   AND  c16.v != c34.v
   AND  c16.v != c35.v
   AND  c24.v != c35.v
   AND  c24.v != c36.v
   AND  c25.v != c34.v
   AND  c25.v != c36.v
   AND  c26.v != c34.v
   AND  c26.v != c35.v

        -- Block (1, 7)
   AND  c17.v != c28.v
   AND  c17.v != c29.v
   AND  c17.v != c38.v
   AND  c17.v != c39.v
   AND  c18.v != c27.v
   AND  c18.v != c29.v
   AND  c18.v != c37.v
   AND  c18.v != c39.v
   AND  c19.v != c27.v
   AND  c19.v != c28.v
   AND  c19.v != c37.v
   AND  c19.v != c38.v
   AND  c27.v != c38.v
   AND  c27.v != c39.v
   AND  c28.v != c37.v
   AND  c28.v != c39.v
   AND  c29.v != c37.v
   AND  c29.v != c38.v

        -- Block (4, 1)
   AND  c41.v != c52.v
   AND  c41.v != c53.v
   AND  c41.v != c62.v
   AND  c41.v != c63.v
   AND  c42.v != c51.v
   AND  c42.v != c53.v
   AND  c42.v != c61.v
   AND  c42.v != c63.v
   AND  c43.v != c51.v
   AND  c43.v != c52.v
   AND  c43.v != c61.v
   AND  c43.v != c62.v
   AND  c51.v != c62.v
   AND  c51.v != c63.v
   AND  c52.v != c61.v
   AND  c52.v != c63.v
   AND  c53.v != c61.v
   AND  c53.v != c62.v

        -- Block (4, 4)
   AND  c44.v != c55.v
   AND  c44.v != c56.v
   AND  c44.v != c65.v
   AND  c44.v != c66.v
   AND  c45.v != c54.v
   AND  c45.v != c56.v
   AND  c45.v != c64.v
   AND  c45.v != c66.v
   AND  c46.v != c54.v
   AND  c46.v != c55.v
   AND  c46.v != c64.v
   AND  c46.v != c65.v
   AND  c54.v != c65.v
   AND  c54.v != c66.v
   AND  c55.v != c64.v
   AND  c55.v != c66.v
   AND  c56.v != c64.v
   AND  c56.v != c65.v

        -- Block (4, 7)
   AND  c47.v != c58.v
   AND  c47.v != c59.v
   AND  c47.v != c68.v
   AND  c47.v != c69.v
   AND  c48.v != c57.v
   AND  c48.v != c59.v
   AND  c48.v != c67.v
   AND  c48.v != c69.v
   AND  c49.v != c57.v
   AND  c49.v != c58.v
   AND  c49.v != c67.v
   AND  c49.v != c68.v
   AND  c57.v != c68.v
   AND  c57.v != c69.v
   AND  c58.v != c67.v
   AND  c58.v != c69.v
   AND  c59.v != c67.v
   AND  c59.v != c68.v

        -- Block (7, 1)
   AND  c71.v != c82.v
   AND  c71.v != c83.v
   AND  c71.v != c92.v
   AND  c71.v != c93.v
   AND  c72.v != c81.v
   AND  c72.v != c83.v
   AND  c72.v != c91.v
   AND  c72.v != c93.v
   AND  c73.v != c81.v
   AND  c73.v != c82.v
   AND  c73.v != c91.v
   AND  c73.v != c92.v
   AND  c81.v != c92.v
   AND  c81.v != c93.v
   AND  c82.v != c91.v
   AND  c82.v != c93.v
   AND  c83.v != c91.v
   AND  c83.v != c92.v

        -- Block (7, 4)
   AND  c74.v != c85.v
   AND  c74.v != c86.v
   AND  c74.v != c95.v
   AND  c74.v != c96.v
   AND  c75.v != c84.v
   AND  c75.v != c86.v
   AND  c75.v != c94.v
   AND  c75.v != c96.v
   AND  c76.v != c84.v
   AND  c76.v != c85.v
   AND  c76.v != c94.v
   AND  c76.v != c95.v
   AND  c84.v != c95.v
   AND  c84.v != c96.v
   AND  c85.v != c94.v
   AND  c85.v != c96.v
   AND  c86.v != c94.v
   AND  c86.v != c95.v

        -- Block (7, 7)
   AND  c77.v != c88.v
   AND  c77.v != c89.v
   AND  c77.v != c98.v
   AND  c77.v != c99.v
   AND  c78.v != c87.v
   AND  c78.v != c89.v
   AND  c78.v != c97.v
   AND  c78.v != c99.v
   AND  c79.v != c87.v
   AND  c79.v != c88.v
   AND  c79.v != c97.v
   AND  c79.v != c98.v
   AND  c87.v != c98.v
   AND  c87.v != c99.v
   AND  c88.v != c97.v
   AND  c88.v != c99.v
   AND  c89.v != c97.v
   AND  c89.v != c98.v

        -- Clues
   AND  c13.v = 3
   AND  c15.v = 2
   AND  c19.v = 9
   AND  c22.v = 6
   AND  c23.v = 4
   AND  c25.v = 5
   AND  c28.v = 3
   AND  c29.v = 8
   AND  c33.v = 7
   AND  c38.v = 2
   AND  c43.v = 2
   AND  c44.v = 6
   AND  c45.v = 8
   AND  c46.v = 5
   AND  c49.v = 7
   AND  c51.v = 1
   AND  c56.v = 4
   AND  c58.v = 9
   AND  c65.v = 9
   AND  c67.v = 6
   AND  c71.v = 4
   AND  c76.v = 1
   AND  c86.v = 7
   AND  c87.v = 8
   AND  c89.v = 3
   AND  c92.v = 5
   AND  c93.v = 9
   AND  c94.v = 2
   AND  c98.v = 6
;
