CREATE TABLE v0 (v1 NUMERIC NOT NULL UNIQUE CHECK (CASE v1 WHEN 3 THEN v1 ELSE -1 END != 0));
INSERT INTO v0 (v1) VALUES (18);
CREATE VIEW v2 AS SELECT v1 FROM v0 GROUP BY v1;
INSERT INTO v0 WITH v0 AS (SELECT * FROM v2 AS v6 NATURAL JOIN v0 NATURAL JOIN v2 AS v7 NATURAL JOIN v2 AS v8) SELECT DISTINCT v1 * -128 = 30 FROM v0 NATURAL JOIN v0 AS v5 NATURAL JOIN v2 AS v3 NATURAL JOIN v0 AS v4 ORDER BY v1, v1 DESC, v1, v1;
