SELECT * FROM values AS aaaa, values AS aaab, values AS aaba, values AS aabb, values AS aabc, values AS aaca, values AS abab, values AS abba, values AS abbb, values AS abbc, values AS abcb, values AS abcc, values AS acba, values AS acbc, values AS acca, values AS accc, values AS baaa, values AS baac, values AS babb, values AS babc, values AS bacb, values AS bacc, values AS bbba, values AS bbbc, values AS bcaa, values AS bcab, values AS bcba, values AS bcbb, values AS bcca, values AS bccc, values AS caaa, values AS caac, values AS caba, values AS cabc, values AS cbaa, values AS cbab, values AS cbba, values AS cbbb, values AS cbbc, values AS cbcb, values AS ccac, values AS ccba, values AS ccbb, values AS ccbc, values AS cccb, values AS cccc WHERE aaaa.v <> 3 AND aaaa.v <> 9 AND aaaa.v <> baaa.v AND aaaa.v <> 4 AND aaaa.v <> bcaa.v AND aaaa.v <> caaa.v AND aaaa.v <> cbaa.v AND aaaa.v <> 8 AND 3 <> 9 AND 3 <> baaa.v AND 3 <> 4 AND 3 <> bcaa.v AND 3 <> caaa.v AND 3 <> cbaa.v AND 3 <> 8 AND 9 <> baaa.v AND 9 <> 4 AND 9 <> bcaa.v AND 9 <> caaa.v AND 9 <> cbaa.v AND 9 <> 8 AND baaa.v <> 4 AND baaa.v <> bcaa.v AND baaa.v <> caaa.v AND baaa.v <> cbaa.v AND baaa.v <> 8 AND 4 <> bcaa.v AND 4 <> caaa.v AND 4 <> cbaa.v AND 4 <> 8 AND bcaa.v <> caaa.v AND bcaa.v <> cbaa.v AND bcaa.v <> 8 AND caaa.v <> cbaa.v AND caaa.v <> 8 AND cbaa.v <> 8 AND aaab.v <> abab.v AND aaab.v <> 5 AND aaab.v <> 2 AND aaab.v <> 8 AND aaab.v <> bcab.v AND aaab.v <> 7 AND aaab.v <> cbab.v AND aaab.v <> 1 AND abab.v <> 5 AND abab.v <> 2 AND abab.v <> 8 AND abab.v <> bcab.v AND abab.v <> 7 AND abab.v <> cbab.v AND abab.v <> 1 AND 5 <> 2 AND 5 <> 8 AND 5 <> bcab.v AND 5 <> 7 AND 5 <> cbab.v AND 5 <> 1 AND 2 <> 8 AND 2 <> bcab.v AND 2 <> 7 AND 2 <> cbab.v AND 2 <> 1 AND 8 <> bcab.v AND 8 <> 7 AND 8 <> cbab.v AND 8 <> 1 AND bcab.v <> 7 AND bcab.v <> cbab.v AND bcab.v <> 1 AND 7 <> cbab.v AND 7 <> 1 AND cbab.v <> 1 AND 2 <> 8 AND 2 <> 1 AND 2 <> baac.v AND 2 <> 5 AND 2 <> 3 AND 2 <> caac.v AND 2 <> 6 AND 2 <> ccac.v AND 8 <> 1 AND 8 <> baac.v AND 8 <> 5 AND 8 <> 3 AND 8 <> caac.v AND 8 <> 6 AND 8 <> ccac.v AND 1 <> baac.v AND 1 <> 5 AND 1 <> 3 AND 1 <> caac.v AND 1 <> 6 AND 1 <> ccac.v AND baac.v <> 5 AND baac.v <> 3 AND baac.v <> caac.v AND baac.v <> 6 AND baac.v <> ccac.v AND 5 <> 3 AND 5 <> caac.v AND 5 <> 6 AND 5 <> ccac.v AND 3 <> caac.v AND 3 <> 6 AND 3 <> ccac.v AND caac.v <> 6 AND caac.v <> ccac.v AND 6 <> ccac.v AND aaba.v <> abba.v AND aaba.v <> acba.v AND aaba.v <> 8 AND aaba.v <> bbba.v AND aaba.v <> bcba.v AND aaba.v <> caba.v AND aaba.v <> cbba.v AND aaba.v <> ccba.v AND abba.v <> acba.v AND abba.v <> 8 AND abba.v <> bbba.v AND abba.v <> bcba.v AND abba.v <> caba.v AND abba.v <> cbba.v AND abba.v <> ccba.v AND acba.v <> 8 AND acba.v <> bbba.v AND acba.v <> bcba.v AND acba.v <> caba.v AND acba.v <> cbba.v AND acba.v <> ccba.v AND 8 <> bbba.v AND 8 <> bcba.v AND 8 <> caba.v AND 8 <> cbba.v AND 8 <> ccba.v AND bbba.v <> bcba.v AND bbba.v <> caba.v AND bbba.v <> cbba.v AND bbba.v <> ccba.v AND bcba.v <> caba.v AND bcba.v <> cbba.v AND bcba.v <> ccba.v AND caba.v <> cbba.v AND caba.v <> ccba.v AND cbba.v <> ccba.v AND aabb.v <> abbb.v AND aabb.v <> 3 AND aabb.v <> babb.v AND aabb.v <> 6 AND aabb.v <> bcbb.v AND aabb.v <> 4 AND aabb.v <> cbbb.v AND aabb.v <> ccbb.v AND abbb.v <> 3 AND abbb.v <> babb.v AND abbb.v <> 6 AND abbb.v <> bcbb.v AND abbb.v <> 4 AND abbb.v <> cbbb.v AND abbb.v <> ccbb.v AND 3 <> babb.v AND 3 <> 6 AND 3 <> bcbb.v AND 3 <> 4 AND 3 <> cbbb.v AND 3 <> ccbb.v AND babb.v <> 6 AND babb.v <> bcbb.v AND babb.v <> 4 AND babb.v <> cbbb.v AND babb.v <> ccbb.v AND 6 <> bcbb.v AND 6 <> 4 AND 6 <> cbbb.v AND 6 <> ccbb.v AND bcbb.v <> 4 AND bcbb.v <> cbbb.v AND bcbb.v <> ccbb.v AND 4 <> cbbb.v AND 4 <> ccbb.v AND cbbb.v <> ccbb.v AND aabc.v <> abbc.v AND aabc.v <> acbc.v AND aabc.v <> babc.v AND aabc.v <> bbbc.v AND aabc.v <> 4 AND aabc.v <> cabc.v AND aabc.v <> cbbc.v AND aabc.v <> ccbc.v AND abbc.v <> acbc.v AND abbc.v <> babc.v AND abbc.v <> bbbc.v AND abbc.v <> 4 AND abbc.v <> cabc.v AND abbc.v <> cbbc.v AND abbc.v <> ccbc.v AND acbc.v <> babc.v AND acbc.v <> bbbc.v AND acbc.v <> 4 AND acbc.v <> cabc.v AND acbc.v <> cbbc.v AND acbc.v <> ccbc.v AND babc.v <> bbbc.v AND babc.v <> 4 AND babc.v <> cabc.v AND babc.v <> cbbc.v AND babc.v <> ccbc.v AND bbbc.v <> 4 AND bbbc.v <> cabc.v AND bbbc.v <> cbbc.v AND bbbc.v <> ccbc.v AND 4 <> cabc.v AND 4 <> cbbc.v AND 4 <> ccbc.v AND cabc.v <> cbbc.v AND cabc.v <> ccbc.v AND cbbc.v <> ccbc.v AND aaca.v <> 5 AND aaca.v <> acca.v AND aaca.v <> 1 AND aaca.v <> 9 AND aaca.v <> bcca.v AND aaca.v <> 6 AND aaca.v <> 4 AND aaca.v <> 2 AND 5 <> acca.v AND 5 <> 1 AND 5 <> 9 AND 5 <> bcca.v AND 5 <> 6 AND 5 <> 4 AND 5 <> 2 AND acca.v <> 1 AND acca.v <> 9 AND acca.v <> bcca.v AND acca.v <> 6 AND acca.v <> 4 AND acca.v <> 2 AND 1 <> 9 AND 1 <> bcca.v AND 1 <> 6 AND 1 <> 4 AND 1 <> 2 AND 9 <> bcca.v AND 9 <> 6 AND 9 <> 4 AND 9 <> 2 AND bcca.v <> 6 AND bcca.v <> 4 AND bcca.v <> 2 AND 6 <> 4 AND 6 <> 2 AND 4 <> 2 AND 4 <> abcb.v AND 4 <> 2 AND 4 <> bacb.v AND 4 <> 3 AND 4 <> 7 AND 4 <> 8 AND 4 <> cbcb.v AND 4 <> cccb.v AND abcb.v <> 2 AND abcb.v <> bacb.v AND abcb.v <> 3 AND abcb.v <> 7 AND abcb.v <> 8 AND abcb.v <> cbcb.v AND abcb.v <> cccb.v AND 2 <> bacb.v AND 2 <> 3 AND 2 <> 7 AND 2 <> 8 AND 2 <> cbcb.v AND 2 <> cccb.v AND bacb.v <> 3 AND bacb.v <> 7 AND bacb.v <> 8 AND bacb.v <> cbcb.v AND bacb.v <> cccb.v AND 3 <> 7 AND 3 <> 8 AND 3 <> cbcb.v AND 3 <> cccb.v AND 7 <> 8 AND 7 <> cbcb.v AND 7 <> cccb.v AND 8 <> cbcb.v AND 8 <> cccb.v AND cbcb.v <> cccb.v AND 9 <> abcc.v AND 9 <> accc.v AND 9 <> bacc.v AND 9 <> 2 AND 9 <> bccc.v AND 9 <> 5 AND 9 <> 7 AND 9 <> cccc.v AND abcc.v <> accc.v AND abcc.v <> bacc.v AND abcc.v <> 2 AND abcc.v <> bccc.v AND abcc.v <> 5 AND abcc.v <> 7 AND abcc.v <> cccc.v AND accc.v <> bacc.v AND accc.v <> 2 AND accc.v <> bccc.v AND accc.v <> 5 AND accc.v <> 7 AND accc.v <> cccc.v AND bacc.v <> 2 AND bacc.v <> bccc.v AND bacc.v <> 5 AND bacc.v <> 7 AND bacc.v <> cccc.v AND 2 <> bccc.v AND 2 <> 5 AND 2 <> 7 AND 2 <> cccc.v AND bccc.v <> 5 AND bccc.v <> 7 AND bccc.v <> cccc.v AND 5 <> 7 AND 5 <> cccc.v AND 7 <> cccc.v AND aaaa.v <> aaab.v AND aaaa.v <> 2 AND aaaa.v <> aaba.v AND aaaa.v <> aabb.v AND aaaa.v <> aabc.v AND aaaa.v <> aaca.v AND aaaa.v <> 4 AND aaaa.v <> 9 AND aaab.v <> 2 AND aaab.v <> aaba.v AND aaab.v <> aabb.v AND aaab.v <> aabc.v AND aaab.v <> aaca.v AND aaab.v <> 4 AND aaab.v <> 9 AND 2 <> aaba.v AND 2 <> aabb.v AND 2 <> aabc.v AND 2 <> aaca.v AND 2 <> 4 AND 2 <> 9 AND aaba.v <> aabb.v AND aaba.v <> aabc.v AND aaba.v <> aaca.v AND aaba.v <> 4 AND aaba.v <> 9 AND aabb.v <> aabc.v AND aabb.v <> aaca.v AND aabb.v <> 4 AND aabb.v <> 9 AND aabc.v <> aaca.v AND aabc.v <> 4 AND aabc.v <> 9 AND aaca.v <> 4 AND aaca.v <> 9 AND 4 <> 9 AND 3 <> abab.v AND 3 <> 8 AND 3 <> abba.v AND 3 <> abbb.v AND 3 <> abbc.v AND 3 <> 5 AND 3 <> abcb.v AND 3 <> abcc.v AND abab.v <> 8 AND abab.v <> abba.v AND abab.v <> abbb.v AND abab.v <> abbc.v AND abab.v <> 5 AND abab.v <> abcb.v AND abab.v <> abcc.v AND 8 <> abba.v AND 8 <> abbb.v AND 8 <> abbc.v AND 8 <> 5 AND 8 <> abcb.v AND 8 <> abcc.v AND abba.v <> abbb.v AND abba.v <> abbc.v AND abba.v <> 5 AND abba.v <> abcb.v AND abba.v <> abcc.v AND abbb.v <> abbc.v AND abbb.v <> 5 AND abbb.v <> abcb.v AND abbb.v <> abcc.v AND abbc.v <> 5 AND abbc.v <> abcb.v AND abbc.v <> abcc.v AND 5 <> abcb.v AND 5 <> abcc.v AND abcb.v <> abcc.v AND 9 <> 5 AND 9 <> 1 AND 9 <> acba.v AND 9 <> 3 AND 9 <> acbc.v AND 9 <> acca.v AND 9 <> 2 AND 9 <> accc.v AND 5 <> 1 AND 5 <> acba.v AND 5 <> 3 AND 5 <> acbc.v AND 5 <> acca.v AND 5 <> 2 AND 5 <> accc.v AND 1 <> acba.v AND 1 <> 3 AND 1 <> acbc.v AND 1 <> acca.v AND 1 <> 2 AND 1 <> accc.v AND acba.v <> 3 AND acba.v <> acbc.v AND acba.v <> acca.v AND acba.v <> 2 AND acba.v <> accc.v AND 3 <> acbc.v AND 3 <> acca.v AND 3 <> 2 AND 3 <> accc.v AND acbc.v <> acca.v AND acbc.v <> 2 AND acbc.v <> accc.v AND acca.v <> 2 AND acca.v <> accc.v AND 2 <> accc.v AND baaa.v <> 2 AND baaa.v <> baac.v AND baaa.v <> 8 AND baaa.v <> babb.v AND baaa.v <> babc.v AND baaa.v <> 1 AND baaa.v <> bacb.v AND baaa.v <> bacc.v AND 2 <> baac.v AND 2 <> 8 AND 2 <> babb.v AND 2 <> babc.v AND 2 <> 1 AND 2 <> bacb.v AND 2 <> bacc.v AND baac.v <> 8 AND baac.v <> babb.v AND baac.v <> babc.v AND baac.v <> 1 AND baac.v <> bacb.v AND baac.v <> bacc.v AND 8 <> babb.v AND 8 <> babc.v AND 8 <> 1 AND 8 <> bacb.v AND 8 <> bacc.v AND babb.v <> babc.v AND babb.v <> 1 AND babb.v <> bacb.v AND babb.v <> bacc.v AND babc.v <> 1 AND babc.v <> bacb.v AND babc.v <> bacc.v AND 1 <> bacb.v AND 1 <> bacc.v AND bacb.v <> bacc.v AND 4 <> 8 AND 4 <> 5 AND 4 <> bbba.v AND 4 <> 6 AND 4 <> bbbc.v AND 4 <> 9 AND 4 <> 3 AND 4 <> 2 AND 8 <> 5 AND 8 <> bbba.v AND 8 <> 6 AND 8 <> bbbc.v AND 8 <> 9 AND 8 <> 3 AND 8 <> 2 AND 5 <> bbba.v AND 5 <> 6 AND 5 <> bbbc.v AND 5 <> 9 AND 5 <> 3 AND 5 <> 2 AND bbba.v <> 6 AND bbba.v <> bbbc.v AND bbba.v <> 9 AND bbba.v <> 3 AND bbba.v <> 2 AND 6 <> bbbc.v AND 6 <> 9 AND 6 <> 3 AND 6 <> 2 AND bbbc.v <> 9 AND bbbc.v <> 3 AND bbbc.v <> 2 AND 9 <> 3 AND 9 <> 2 AND 3 <> 2 AND bcaa.v <> bcab.v AND bcaa.v <> 3 AND bcaa.v <> bcba.v AND bcaa.v <> bcbb.v AND bcaa.v <> 4 AND bcaa.v <> bcca.v AND bcaa.v <> 7 AND bcaa.v <> bccc.v AND bcab.v <> 3 AND bcab.v <> bcba.v AND bcab.v <> bcbb.v AND bcab.v <> 4 AND bcab.v <> bcca.v AND bcab.v <> 7 AND bcab.v <> bccc.v AND 3 <> bcba.v AND 3 <> bcbb.v AND 3 <> 4 AND 3 <> bcca.v AND 3 <> 7 AND 3 <> bccc.v AND bcba.v <> bcbb.v AND bcba.v <> 4 AND bcba.v <> bcca.v AND bcba.v <> 7 AND bcba.v <> bccc.v AND bcbb.v <> 4 AND bcbb.v <> bcca.v AND bcbb.v <> 7 AND bcbb.v <> bccc.v AND 4 <> bcca.v AND 4 <> 7 AND 4 <> bccc.v AND bcca.v <> 7 AND bcca.v <> bccc.v AND 7 <> bccc.v AND caaa.v <> 7 AND caaa.v <> caac.v AND caaa.v <> caba.v AND caaa.v <> 4 AND caaa.v <> cabc.v AND caaa.v <> 6 AND caaa.v <> 8 AND caaa.v <> 5 AND 7 <> caac.v AND 7 <> caba.v AND 7 <> 4 AND 7 <> cabc.v AND 7 <> 6 AND 7 <> 8 AND 7 <> 5 AND caac.v <> caba.v AND caac.v <> 4 AND caac.v <> cabc.v AND caac.v <> 6 AND caac.v <> 8 AND caac.v <> 5 AND caba.v <> 4 AND caba.v <> cabc.v AND caba.v <> 6 AND caba.v <> 8 AND caba.v <> 5 AND 4 <> cabc.v AND 4 <> 6 AND 4 <> 8 AND 4 <> 5 AND cabc.v <> 6 AND cabc.v <> 8 AND cabc.v <> 5 AND 6 <> 8 AND 6 <> 5 AND 8 <> 5 AND cbaa.v <> cbab.v AND cbaa.v <> 6 AND cbaa.v <> cbba.v AND cbaa.v <> cbbb.v AND cbaa.v <> cbbc.v AND cbaa.v <> 4 AND cbaa.v <> cbcb.v AND cbaa.v <> 7 AND cbab.v <> 6 AND cbab.v <> cbba.v AND cbab.v <> cbbb.v AND cbab.v <> cbbc.v AND cbab.v <> 4 AND cbab.v <> cbcb.v AND cbab.v <> 7 AND 6 <> cbba.v AND 6 <> cbbb.v AND 6 <> cbbc.v AND 6 <> 4 AND 6 <> cbcb.v AND 6 <> 7 AND cbba.v <> cbbb.v AND cbba.v <> cbbc.v AND cbba.v <> 4 AND cbba.v <> cbcb.v AND cbba.v <> 7 AND cbbb.v <> cbbc.v AND cbbb.v <> 4 AND cbbb.v <> cbcb.v AND cbbb.v <> 7 AND cbbc.v <> 4 AND cbbc.v <> cbcb.v AND cbbc.v <> 7 AND 4 <> cbcb.v AND 4 <> 7 AND cbcb.v <> 7 AND 8 <> 1 AND 8 <> ccac.v AND 8 <> ccba.v AND 8 <> ccbb.v AND 8 <> ccbc.v AND 8 <> 2 AND 8 <> cccb.v AND 8 <> cccc.v AND 1 <> ccac.v AND 1 <> ccba.v AND 1 <> ccbb.v AND 1 <> ccbc.v AND 1 <> 2 AND 1 <> cccb.v AND 1 <> cccc.v AND ccac.v <> ccba.v AND ccac.v <> ccbb.v AND ccac.v <> ccbc.v AND ccac.v <> 2 AND ccac.v <> cccb.v AND ccac.v <> cccc.v AND ccba.v <> ccbb.v AND ccba.v <> ccbc.v AND ccba.v <> 2 AND ccba.v <> cccb.v AND ccba.v <> cccc.v AND ccbb.v <> ccbc.v AND ccbb.v <> 2 AND ccbb.v <> cccb.v AND ccbb.v <> cccc.v AND ccbc.v <> 2 AND ccbc.v <> cccb.v AND ccbc.v <> cccc.v AND 2 <> cccb.v AND 2 <> cccc.v AND cccb.v <> cccc.v AND aaaa.v <> aaab.v AND aaaa.v <> 2 AND aaaa.v <> 3 AND aaaa.v <> abab.v AND aaaa.v <> 8 AND aaaa.v <> 9 AND aaaa.v <> 5 AND aaaa.v <> 1 AND aaab.v <> 2 AND aaab.v <> 3 AND aaab.v <> abab.v AND aaab.v <> 8 AND aaab.v <> 9 AND aaab.v <> 5 AND aaab.v <> 1 AND 2 <> 3 AND 2 <> abab.v AND 2 <> 8 AND 2 <> 9 AND 2 <> 5 AND 2 <> 1 AND 3 <> abab.v AND 3 <> 8 AND 3 <> 9 AND 3 <> 5 AND 3 <> 1 AND abab.v <> 8 AND abab.v <> 9 AND abab.v <> 5 AND abab.v <> 1 AND 8 <> 9 AND 8 <> 5 AND 8 <> 1 AND 9 <> 5 AND 9 <> 1 AND 5 <> 1 AND aaba.v <> aabb.v AND aaba.v <> aabc.v AND aaba.v <> abba.v AND aaba.v <> abbb.v AND aaba.v <> abbc.v AND aaba.v <> acba.v AND aaba.v <> 3 AND aaba.v <> acbc.v AND aabb.v <> aabc.v AND aabb.v <> abba.v AND aabb.v <> abbb.v AND aabb.v <> abbc.v AND aabb.v <> acba.v AND aabb.v <> 3 AND aabb.v <> acbc.v AND aabc.v <> abba.v AND aabc.v <> abbb.v AND aabc.v <> abbc.v AND aabc.v <> acba.v AND aabc.v <> 3 AND aabc.v <> acbc.v AND abba.v <> abbb.v AND abba.v <> abbc.v AND abba.v <> acba.v AND abba.v <> 3 AND abba.v <> acbc.v AND abbb.v <> abbc.v AND abbb.v <> acba.v AND abbb.v <> 3 AND abbb.v <> acbc.v AND abbc.v <> acba.v AND abbc.v <> 3 AND abbc.v <> acbc.v AND acba.v <> 3 AND acba.v <> acbc.v AND 3 <> acbc.v AND aaca.v <> 4 AND aaca.v <> 9 AND aaca.v <> 5 AND aaca.v <> abcb.v AND aaca.v <> abcc.v AND aaca.v <> acca.v AND aaca.v <> 2 AND aaca.v <> accc.v AND 4 <> 9 AND 4 <> 5 AND 4 <> abcb.v AND 4 <> abcc.v AND 4 <> acca.v AND 4 <> 2 AND 4 <> accc.v AND 9 <> 5 AND 9 <> abcb.v AND 9 <> abcc.v AND 9 <> acca.v AND 9 <> 2 AND 9 <> accc.v AND 5 <> abcb.v AND 5 <> abcc.v AND 5 <> acca.v AND 5 <> 2 AND 5 <> accc.v AND abcb.v <> abcc.v AND abcb.v <> acca.v AND abcb.v <> 2 AND abcb.v <> accc.v AND abcc.v <> acca.v AND abcc.v <> 2 AND abcc.v <> accc.v AND acca.v <> 2 AND acca.v <> accc.v AND 2 <> accc.v AND baaa.v <> 2 AND baaa.v <> baac.v AND baaa.v <> 4 AND baaa.v <> 8 AND baaa.v <> 5 AND baaa.v <> bcaa.v AND baaa.v <> bcab.v AND baaa.v <> 3 AND 2 <> baac.v AND 2 <> 4 AND 2 <> 8 AND 2 <> 5 AND 2 <> bcaa.v AND 2 <> bcab.v AND 2 <> 3 AND baac.v <> 4 AND baac.v <> 8 AND baac.v <> 5 AND baac.v <> bcaa.v AND baac.v <> bcab.v AND baac.v <> 3 AND 4 <> 8 AND 4 <> 5 AND 4 <> bcaa.v AND 4 <> bcab.v AND 4 <> 3 AND 8 <> 5 AND 8 <> bcaa.v AND 8 <> bcab.v AND 8 <> 3 AND 5 <> bcaa.v AND 5 <> bcab.v AND 5 <> 3 AND bcaa.v <> bcab.v AND bcaa.v <> 3 AND bcab.v <> 3 AND 8 <> babb.v AND 8 <> babc.v AND 8 <> bbba.v AND 8 <> 6 AND 8 <> bbbc.v AND 8 <> bcba.v AND 8 <> bcbb.v AND 8 <> 4 AND babb.v <> babc.v AND babb.v <> bbba.v AND babb.v <> 6 AND babb.v <> bbbc.v AND babb.v <> bcba.v AND babb.v <> bcbb.v AND babb.v <> 4 AND babc.v <> bbba.v AND babc.v <> 6 AND babc.v <> bbbc.v AND babc.v <> bcba.v AND babc.v <> bcbb.v AND babc.v <> 4 AND bbba.v <> 6 AND bbba.v <> bbbc.v AND bbba.v <> bcba.v AND bbba.v <> bcbb.v AND bbba.v <> 4 AND 6 <> bbbc.v AND 6 <> bcba.v AND 6 <> bcbb.v AND 6 <> 4 AND bbbc.v <> bcba.v AND bbbc.v <> bcbb.v AND bbbc.v <> 4 AND bcba.v <> bcbb.v AND bcba.v <> 4 AND bcbb.v <> 4 AND 1 <> bacb.v AND 1 <> bacc.v AND 1 <> 9 AND 1 <> 3 AND 1 <> 2 AND 1 <> bcca.v AND 1 <> 7 AND 1 <> bccc.v AND bacb.v <> bacc.v AND bacb.v <> 9 AND bacb.v <> 3 AND bacb.v <> 2 AND bacb.v <> bcca.v AND bacb.v <> 7 AND bacb.v <> bccc.v AND bacc.v <> 9 AND bacc.v <> 3 AND bacc.v <> 2 AND bacc.v <> bcca.v AND bacc.v <> 7 AND bacc.v <> bccc.v AND 9 <> 3 AND 9 <> 2 AND 9 <> bcca.v AND 9 <> 7 AND 9 <> bccc.v AND 3 <> 2 AND 3 <> bcca.v AND 3 <> 7 AND 3 <> bccc.v AND 2 <> bcca.v AND 2 <> 7 AND 2 <> bccc.v AND bcca.v <> 7 AND bcca.v <> bccc.v AND 7 <> bccc.v AND caaa.v <> 7 AND caaa.v <> caac.v AND caaa.v <> cbaa.v AND caaa.v <> cbab.v AND caaa.v <> 6 AND caaa.v <> 8 AND caaa.v <> 1 AND caaa.v <> ccac.v AND 7 <> caac.v AND 7 <> cbaa.v AND 7 <> cbab.v AND 7 <> 6 AND 7 <> 8 AND 7 <> 1 AND 7 <> ccac.v AND caac.v <> cbaa.v AND caac.v <> cbab.v AND caac.v <> 6 AND caac.v <> 8 AND caac.v <> 1 AND caac.v <> ccac.v AND cbaa.v <> cbab.v AND cbaa.v <> 6 AND cbaa.v <> 8 AND cbaa.v <> 1 AND cbaa.v <> ccac.v AND cbab.v <> 6 AND cbab.v <> 8 AND cbab.v <> 1 AND cbab.v <> ccac.v AND 6 <> 8 AND 6 <> 1 AND 6 <> ccac.v AND 8 <> 1 AND 8 <> ccac.v AND 1 <> ccac.v AND caba.v <> 4 AND caba.v <> cabc.v AND caba.v <> cbba.v AND caba.v <> cbbb.v AND caba.v <> cbbc.v AND caba.v <> ccba.v AND caba.v <> ccbb.v AND caba.v <> ccbc.v AND 4 <> cabc.v AND 4 <> cbba.v AND 4 <> cbbb.v AND 4 <> cbbc.v AND 4 <> ccba.v AND 4 <> ccbb.v AND 4 <> ccbc.v AND cabc.v <> cbba.v AND cabc.v <> cbbb.v AND cabc.v <> cbbc.v AND cabc.v <> ccba.v AND cabc.v <> ccbb.v AND cabc.v <> ccbc.v AND cbba.v <> cbbb.v AND cbba.v <> cbbc.v AND cbba.v <> ccba.v AND cbba.v <> ccbb.v AND cbba.v <> ccbc.v AND cbbb.v <> cbbc.v AND cbbb.v <> ccba.v AND cbbb.v <> ccbb.v AND cbbb.v <> ccbc.v AND cbbc.v <> ccba.v AND cbbc.v <> ccbb.v AND cbbc.v <> ccbc.v AND ccba.v <> ccbb.v AND ccba.v <> ccbc.v AND ccbb.v <> ccbc.v AND 6 <> 8 AND 6 <> 5 AND 6 <> 4 AND 6 <> cbcb.v AND 6 <> 7 AND 6 <> 2 AND 6 <> cccb.v AND 6 <> cccc.v AND 8 <> 5 AND 8 <> 4 AND 8 <> cbcb.v AND 8 <> 7 AND 8 <> 2 AND 8 <> cccb.v AND 8 <> cccc.v AND 5 <> 4 AND 5 <> cbcb.v AND 5 <> 7 AND 5 <> 2 AND 5 <> cccb.v AND 5 <> cccc.v AND 4 <> cbcb.v AND 4 <> 7 AND 4 <> 2 AND 4 <> cccb.v AND 4 <> cccc.v AND cbcb.v <> 7 AND cbcb.v <> 2 AND cbcb.v <> cccb.v AND cbcb.v <> cccc.v AND 7 <> 2 AND 7 <> cccb.v AND 7 <> cccc.v AND 2 <> cccb.v AND 2 <> cccc.v AND cccb.v <> cccc.v
