v1 :- not v1.
v3 :- not v3.
v4 :- not v4.
v5 :- not v5.
v6 :- not v6.
v7 :- not v7.
v8 :- not v8.
v9 :- not v9.
v10 :- not v10.
v11 :- not v11.
v12 :- not v12.
v13 :- not v13.
v14 :- not v14.
v15 :- not v15.
v16 :- not v16.
v17 :- not v17.
v18 :- not v18.
v19 :- not v19.
v20 :- not v20.
v21 :- not v21.
v22 :- not v22.
v23 :- not v23.
v24 :- not v24.
v25 :- not v25.
v26 :- not v26.
v27 :- not v27.
v2.
v2v27 :- not v23v27,not v18v27,not v14v27,not v20v27,not v5v27,not v2v23,not v2v24,not v27v2.
v27 :- v2v27,v2.
v2v24 :- not v23v24,not v13v24,not v4v24,not v26v24,not v2v23,not v2v27,not v24v2.
v24 :- v2v24,v2.
v2v23 :- not v24v23,not v27v23,not v22v23,not v4v23,not v20v23,not v2v24,not v2v27,not v23v2.
v23 :- v2v23,v2.
v3v25 :- not v6v25,not v15v25,not v11v25,not v3v14,not v3v6,not v3v8,not v3v11,not v3v19,not v25v3.
v25 :- v3v25,v3.
v3v19 :- not v11v19,not v7v19,not v17v19,not v8v19,not v3v14,not v3v6,not v3v8,not v3v11,not v3v25,not v19v3.
v19 :- v3v19,v3.
v3v11 :- not v19v11,not v16v11,not v15v11,not v17v11,not v25v11,not v3v14,not v3v6,not v3v8,not v3v19,not v3v25,not v11v3.
v11 :- v3v11,v3.
v3v8 :- not v14v8,not v7v8,not v4v8,not v13v8,not v19v8,not v3v14,not v3v6,not v3v11,not v3v19,not v3v25,not v8v3.
v8 :- v3v8,v3.
v3v6 :- not v25v6,not v21v6,not v15v6,not v10v6,not v14v6,not v3v14,not v3v8,not v3v11,not v3v19,not v3v25,not v6v3.
v6 :- v3v6,v3.
v3v14 :- not v8v14,not v4v14,not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v3v6,not v3v8,not v3v11,not v3v19,not v3v25,not v14v3.
v14 :- v3v14,v3.
v4v23 :- not v24v23,not v27v23,not v22v23,not v2v23,not v20v23,not v4v14,not v4v24,not v4v8,not v4v13,not v4v22,not v23v4.
v23 :- v4v23,v4.
v4v22 :- not v14v22,not v23v22,not v20v22,not v4v14,not v4v24,not v4v8,not v4v13,not v4v23,not v22v4.
v22 :- v4v22,v4.
v4v13 :- not v24v13,not v8v13,not v7v13,not v26v13,not v4v14,not v4v24,not v4v8,not v4v22,not v4v23,not v13v4.
v13 :- v4v13,v4.
v4v8 :- not v14v8,not v3v8,not v7v8,not v13v8,not v19v8,not v4v14,not v4v24,not v4v13,not v4v22,not v4v23,not v8v4.
v8 :- v4v8,v4.
v4v24 :- not v23v24,not v13v24,not v2v24,not v26v24,not v4v14,not v4v8,not v4v13,not v4v22,not v4v23,not v24v4.
v24 :- v4v24,v4.
v4v14 :- not v3v14,not v8v14,not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v4v24,not v4v8,not v4v13,not v4v22,not v4v23,not v14v4.
v14 :- v4v14,v4.
v5v27 :- not v23v27,not v18v27,not v14v27,not v20v27,not v2v27,not v5v9,not v5v12,not v5v18,not v27v5.
v27 :- v5v27,v5.
v5v18 :- not v12v18,not v27v18,not v14v18,not v21v18,not v5v9,not v5v12,not v5v27,not v18v5.
v18 :- v5v18,v5.
v5v12 :- not v9v12,not v10v12,not v18v12,not v21v12,not v5v9,not v5v18,not v5v27,not v12v5.
v12 :- v5v12,v5.
v5v9 :- not v12v9,not v10v9,not v15v9,not v16v9,not v5v12,not v5v18,not v5v27,not v9v5.
v9 :- v5v9,v5.
v6v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v18v14,not v27v14,not v20v14,not v21v14,not v6v25,not v6v3,not v6v21,not v6v15,not v6v10,not v14v6.
v14 :- v6v14,v6.
v6v10 :- not v9v10,not v12v10,not v21v10,not v15v10,not v6v25,not v6v3,not v6v21,not v6v15,not v6v14,not v10v6.
v10 :- v6v10,v6.
v6v15 :- not v16v15,not v10v15,not v9v15,not v11v15,not v25v15,not v6v25,not v6v3,not v6v21,not v6v10,not v6v14,not v15v6.
v15 :- v6v15,v6.
v6v21 :- not v10v21,not v12v21,not v14v21,not v18v21,not v6v25,not v6v3,not v6v15,not v6v10,not v6v14,not v21v6.
v21 :- v6v21,v6.
v6v3 :- not v14v3,not v8v3,not v11v3,not v19v3,not v25v3,not v6v25,not v6v21,not v6v15,not v6v10,not v6v14,not v3v6.
v3 :- v6v3,v6.
v6v25 :- not v3v25,not v15v25,not v11v25,not v6v3,not v6v21,not v6v15,not v6v10,not v6v14,not v25v6.
v25 :- v6v25,v6.
v7v26 :- not v17v26,not v13v26,not v24v26,not v7v8,not v7v19,not v7v13,not v7v17,not v26v7.
v26 :- v7v26,v7.
v7v17 :- not v26v17,not v11v17,not v16v17,not v19v17,not v7v8,not v7v19,not v7v13,not v7v26,not v17v7.
v17 :- v7v17,v7.
v7v13 :- not v24v13,not v4v13,not v8v13,not v26v13,not v7v8,not v7v19,not v7v17,not v7v26,not v13v7.
v13 :- v7v13,v7.
v7v19 :- not v11v19,not v3v19,not v17v19,not v8v19,not v7v8,not v7v13,not v7v17,not v7v26,not v19v7.
v19 :- v7v19,v7.
v7v8 :- not v14v8,not v3v8,not v4v8,not v13v8,not v19v8,not v7v19,not v7v13,not v7v17,not v7v26,not v8v7.
v8 :- v7v8,v7.
v8v19 :- not v11v19,not v7v19,not v3v19,not v17v19,not v8v14,not v8v3,not v8v7,not v8v4,not v8v13,not v19v8.
v19 :- v8v19,v8.
v8v13 :- not v24v13,not v4v13,not v7v13,not v26v13,not v8v14,not v8v3,not v8v7,not v8v4,not v8v19,not v13v8.
v13 :- v8v13,v8.
v8v4 :- not v14v4,not v24v4,not v13v4,not v22v4,not v23v4,not v8v14,not v8v3,not v8v7,not v8v13,not v8v19,not v4v8.
v4 :- v8v4,v8.
v8v7 :- not v19v7,not v13v7,not v17v7,not v26v7,not v8v14,not v8v3,not v8v4,not v8v13,not v8v19,not v7v8.
v7 :- v8v7,v8.
v8v3 :- not v14v3,not v6v3,not v11v3,not v19v3,not v25v3,not v8v14,not v8v7,not v8v4,not v8v13,not v8v19,not v3v8.
v3 :- v8v3,v8.
v8v14 :- not v3v14,not v4v14,not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v8v3,not v8v7,not v8v4,not v8v13,not v8v19,not v14v8.
v14 :- v8v14,v8.
v9v16 :- not v11v16,not v15v16,not v17v16,not v9v5,not v9v12,not v9v10,not v9v15,not v16v9.
v16 :- v9v16,v9.
v9v15 :- not v6v15,not v16v15,not v10v15,not v11v15,not v25v15,not v9v5,not v9v12,not v9v10,not v9v16,not v15v9.
v15 :- v9v15,v9.
v9v10 :- not v6v10,not v12v10,not v21v10,not v15v10,not v9v5,not v9v12,not v9v15,not v9v16,not v10v9.
v10 :- v9v10,v9.
v9v12 :- not v5v12,not v10v12,not v18v12,not v21v12,not v9v5,not v9v10,not v9v15,not v9v16,not v12v9.
v12 :- v9v12,v9.
v9v5 :- not v12v5,not v18v5,not v27v5,not v9v12,not v9v10,not v9v15,not v9v16,not v5v9.
v5 :- v9v5,v9.
v10v15 :- not v6v15,not v16v15,not v9v15,not v11v15,not v25v15,not v10v9,not v10v6,not v10v12,not v10v21,not v15v10.
v15 :- v10v15,v10.
v10v21 :- not v6v21,not v12v21,not v14v21,not v18v21,not v10v9,not v10v6,not v10v12,not v10v15,not v21v10.
v21 :- v10v21,v10.
v10v12 :- not v9v12,not v5v12,not v18v12,not v21v12,not v10v9,not v10v6,not v10v21,not v10v15,not v12v10.
v12 :- v10v12,v10.
v10v6 :- not v25v6,not v3v6,not v21v6,not v15v6,not v14v6,not v10v9,not v10v12,not v10v21,not v10v15,not v6v10.
v6 :- v10v6,v10.
v10v9 :- not v5v9,not v12v9,not v15v9,not v16v9,not v10v6,not v10v12,not v10v21,not v10v15,not v9v10.
v9 :- v10v9,v10.
v11v25 :- not v6v25,not v3v25,not v15v25,not v11v19,not v11v16,not v11v3,not v11v15,not v11v17,not v25v11.
v25 :- v11v25,v11.
v11v17 :- not v26v17,not v7v17,not v16v17,not v19v17,not v11v19,not v11v16,not v11v3,not v11v15,not v11v25,not v17v11.
v17 :- v11v17,v11.
v11v15 :- not v6v15,not v16v15,not v10v15,not v9v15,not v25v15,not v11v19,not v11v16,not v11v3,not v11v17,not v11v25,not v15v11.
v15 :- v11v15,v11.
v11v3 :- not v14v3,not v6v3,not v8v3,not v19v3,not v25v3,not v11v19,not v11v16,not v11v15,not v11v17,not v11v25,not v3v11.
v3 :- v11v3,v11.
v11v16 :- not v15v16,not v9v16,not v17v16,not v11v19,not v11v3,not v11v15,not v11v17,not v11v25,not v16v11.
v16 :- v11v16,v11.
v11v19 :- not v7v19,not v3v19,not v17v19,not v8v19,not v11v16,not v11v3,not v11v15,not v11v17,not v11v25,not v19v11.
v19 :- v11v19,v11.
v12v21 :- not v6v21,not v10v21,not v14v21,not v18v21,not v12v9,not v12v5,not v12v10,not v12v18,not v21v12.
v21 :- v12v21,v12.
v12v18 :- not v27v18,not v5v18,not v14v18,not v21v18,not v12v9,not v12v5,not v12v10,not v12v21,not v18v12.
v18 :- v12v18,v12.
v12v10 :- not v9v10,not v6v10,not v21v10,not v15v10,not v12v9,not v12v5,not v12v18,not v12v21,not v10v12.
v10 :- v12v10,v12.
v12v5 :- not v9v5,not v18v5,not v27v5,not v12v9,not v12v10,not v12v18,not v12v21,not v5v12.
v5 :- v12v5,v12.
v12v9 :- not v5v9,not v10v9,not v15v9,not v16v9,not v12v5,not v12v10,not v12v18,not v12v21,not v9v12.
v9 :- v12v9,v12.
v13v26 :- not v17v26,not v24v26,not v7v26,not v13v24,not v13v4,not v13v8,not v13v7,not v26v13.
v26 :- v13v26,v13.
v13v7 :- not v8v7,not v19v7,not v17v7,not v26v7,not v13v24,not v13v4,not v13v8,not v13v26,not v7v13.
v7 :- v13v7,v13.
v13v8 :- not v14v8,not v3v8,not v7v8,not v4v8,not v19v8,not v13v24,not v13v4,not v13v7,not v13v26,not v8v13.
v8 :- v13v8,v13.
v13v4 :- not v14v4,not v24v4,not v8v4,not v22v4,not v23v4,not v13v24,not v13v8,not v13v7,not v13v26,not v4v13.
v4 :- v13v4,v13.
v13v24 :- not v23v24,not v4v24,not v2v24,not v26v24,not v13v4,not v13v8,not v13v7,not v13v26,not v24v13.
v24 :- v13v24,v13.
v14v21 :- not v6v21,not v10v21,not v12v21,not v18v21,not v14v3,not v14v8,not v14v4,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v21v14.
v21 :- v14v21,v14.
v14v20 :- not v22v20,not v27v20,not v23v20,not v14v3,not v14v8,not v14v4,not v14v22,not v14v6,not v14v18,not v14v27,not v14v21,not v20v14.
v20 :- v14v20,v14.
v14v27 :- not v23v27,not v18v27,not v20v27,not v5v27,not v2v27,not v14v3,not v14v8,not v14v4,not v14v22,not v14v6,not v14v18,not v14v20,not v14v21,not v27v14.
v27 :- v14v27,v14.
v14v18 :- not v12v18,not v27v18,not v5v18,not v21v18,not v14v3,not v14v8,not v14v4,not v14v22,not v14v6,not v14v27,not v14v20,not v14v21,not v18v14.
v18 :- v14v18,v14.
v14v6 :- not v25v6,not v3v6,not v21v6,not v15v6,not v10v6,not v14v3,not v14v8,not v14v4,not v14v22,not v14v18,not v14v27,not v14v20,not v14v21,not v6v14.
v6 :- v14v6,v14.
v14v22 :- not v23v22,not v4v22,not v20v22,not v14v3,not v14v8,not v14v4,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v22v14.
v22 :- v14v22,v14.
v14v4 :- not v24v4,not v8v4,not v13v4,not v22v4,not v23v4,not v14v3,not v14v8,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v4v14.
v4 :- v14v4,v14.
v14v8 :- not v3v8,not v7v8,not v4v8,not v13v8,not v19v8,not v14v3,not v14v4,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v8v14.
v8 :- v14v8,v14.
v14v3 :- not v6v3,not v8v3,not v11v3,not v19v3,not v25v3,not v14v8,not v14v4,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v3v14.
v3 :- v14v3,v14.
v15v25 :- not v6v25,not v3v25,not v11v25,not v15v6,not v15v16,not v15v10,not v15v9,not v15v11,not v25v15.
v25 :- v15v25,v15.
v15v11 :- not v19v11,not v16v11,not v3v11,not v17v11,not v25v11,not v15v6,not v15v16,not v15v10,not v15v9,not v15v25,not v11v15.
v11 :- v15v11,v15.
v15v9 :- not v5v9,not v12v9,not v10v9,not v16v9,not v15v6,not v15v16,not v15v10,not v15v11,not v15v25,not v9v15.
v9 :- v15v9,v15.
v15v10 :- not v9v10,not v6v10,not v12v10,not v21v10,not v15v6,not v15v16,not v15v9,not v15v11,not v15v25,not v10v15.
v10 :- v15v10,v15.
v15v16 :- not v11v16,not v9v16,not v17v16,not v15v6,not v15v10,not v15v9,not v15v11,not v15v25,not v16v15.
v16 :- v15v16,v15.
v15v6 :- not v25v6,not v3v6,not v21v6,not v10v6,not v14v6,not v15v16,not v15v10,not v15v9,not v15v11,not v15v25,not v6v15.
v6 :- v15v6,v15.
v16v17 :- not v26v17,not v11v17,not v7v17,not v19v17,not v16v11,not v16v15,not v16v9,not v17v16.
v17 :- v16v17,v16.
v16v9 :- not v5v9,not v12v9,not v10v9,not v15v9,not v16v11,not v16v15,not v16v17,not v9v16.
v9 :- v16v9,v16.
v16v15 :- not v6v15,not v10v15,not v9v15,not v11v15,not v25v15,not v16v11,not v16v9,not v16v17,not v15v16.
v15 :- v16v15,v16.
v16v11 :- not v19v11,not v3v11,not v15v11,not v17v11,not v25v11,not v16v15,not v16v9,not v16v17,not v11v16.
v11 :- v16v11,v16.
v17v19 :- not v11v19,not v7v19,not v3v19,not v8v19,not v17v26,not v17v11,not v17v7,not v17v16,not v19v17.
v19 :- v17v19,v17.
v17v16 :- not v11v16,not v15v16,not v9v16,not v17v26,not v17v11,not v17v7,not v17v19,not v16v17.
v16 :- v17v16,v17.
v17v7 :- not v8v7,not v19v7,not v13v7,not v26v7,not v17v26,not v17v11,not v17v16,not v17v19,not v7v17.
v7 :- v17v7,v17.
v17v11 :- not v19v11,not v16v11,not v3v11,not v15v11,not v25v11,not v17v26,not v17v7,not v17v16,not v17v19,not v11v17.
v11 :- v17v11,v17.
v17v26 :- not v13v26,not v24v26,not v7v26,not v17v11,not v17v7,not v17v16,not v17v19,not v26v17.
v26 :- v17v26,v17.
v18v21 :- not v6v21,not v10v21,not v12v21,not v14v21,not v18v12,not v18v27,not v18v5,not v18v14,not v21v18.
v21 :- v18v21,v18.
v18v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v6v14,not v27v14,not v20v14,not v21v14,not v18v12,not v18v27,not v18v5,not v18v21,not v14v18.
v14 :- v18v14,v18.
v18v5 :- not v9v5,not v12v5,not v27v5,not v18v12,not v18v27,not v18v14,not v18v21,not v5v18.
v5 :- v18v5,v18.
v18v27 :- not v23v27,not v14v27,not v20v27,not v5v27,not v2v27,not v18v12,not v18v5,not v18v14,not v18v21,not v27v18.
v27 :- v18v27,v18.
v18v12 :- not v9v12,not v5v12,not v10v12,not v21v12,not v18v27,not v18v5,not v18v14,not v18v21,not v12v18.
v12 :- v18v12,v18.
v19v8 :- not v14v8,not v3v8,not v7v8,not v4v8,not v13v8,not v19v11,not v19v7,not v19v3,not v19v17,not v8v19.
v8 :- v19v8,v19.
v19v17 :- not v26v17,not v11v17,not v7v17,not v16v17,not v19v11,not v19v7,not v19v3,not v19v8,not v17v19.
v17 :- v19v17,v19.
v19v3 :- not v14v3,not v6v3,not v8v3,not v11v3,not v25v3,not v19v11,not v19v7,not v19v17,not v19v8,not v3v19.
v3 :- v19v3,v19.
v19v7 :- not v8v7,not v13v7,not v17v7,not v26v7,not v19v11,not v19v3,not v19v17,not v19v8,not v7v19.
v7 :- v19v7,v19.
v19v11 :- not v16v11,not v3v11,not v15v11,not v17v11,not v25v11,not v19v7,not v19v3,not v19v17,not v19v8,not v11v19.
v11 :- v19v11,v19.
v20v23 :- not v24v23,not v27v23,not v22v23,not v4v23,not v2v23,not v20v14,not v20v22,not v20v27,not v23v20.
v23 :- v20v23,v20.
v20v27 :- not v23v27,not v18v27,not v14v27,not v5v27,not v2v27,not v20v14,not v20v22,not v20v23,not v27v20.
v27 :- v20v27,v20.
v20v22 :- not v14v22,not v23v22,not v4v22,not v20v14,not v20v27,not v20v23,not v22v20.
v22 :- v20v22,v20.
v20v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v6v14,not v18v14,not v27v14,not v21v14,not v20v22,not v20v27,not v20v23,not v14v20.
v14 :- v20v14,v20.
v21v18 :- not v12v18,not v27v18,not v5v18,not v14v18,not v21v6,not v21v10,not v21v12,not v21v14,not v18v21.
v18 :- v21v18,v21.
v21v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v6,not v21v10,not v21v12,not v21v18,not v14v21.
v14 :- v21v14,v21.
v21v12 :- not v9v12,not v5v12,not v10v12,not v18v12,not v21v6,not v21v10,not v21v14,not v21v18,not v12v21.
v12 :- v21v12,v21.
v21v10 :- not v9v10,not v6v10,not v12v10,not v15v10,not v21v6,not v21v12,not v21v14,not v21v18,not v10v21.
v10 :- v21v10,v21.
v21v6 :- not v25v6,not v3v6,not v15v6,not v10v6,not v14v6,not v21v10,not v21v12,not v21v14,not v21v18,not v6v21.
v6 :- v21v6,v21.
v22v20 :- not v14v20,not v27v20,not v23v20,not v22v14,not v22v23,not v22v4,not v20v22.
v20 :- v22v20,v22.
v22v4 :- not v14v4,not v24v4,not v8v4,not v13v4,not v23v4,not v22v14,not v22v23,not v22v20,not v4v22.
v4 :- v22v4,v22.
v22v23 :- not v24v23,not v27v23,not v4v23,not v2v23,not v20v23,not v22v14,not v22v4,not v22v20,not v23v22.
v23 :- v22v23,v22.
v22v14 :- not v3v14,not v8v14,not v4v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v22v23,not v22v4,not v22v20,not v14v22.
v14 :- v22v14,v22.
v23v20 :- not v14v20,not v22v20,not v27v20,not v23v24,not v23v27,not v23v22,not v23v4,not v23v2,not v20v23.
v20 :- v23v20,v23.
v23v2 :- not v24v2,not v27v2,not v23v24,not v23v27,not v23v22,not v23v4,not v23v20,not v2v23.
v1 :- v23v2,v23.
v23v4 :- not v14v4,not v24v4,not v8v4,not v13v4,not v22v4,not v23v24,not v23v27,not v23v22,not v23v2,not v23v20,not v4v23.
v4 :- v23v4,v23.
v23v22 :- not v14v22,not v4v22,not v20v22,not v23v24,not v23v27,not v23v4,not v23v2,not v23v20,not v22v23.
v22 :- v23v22,v23.
v23v27 :- not v18v27,not v14v27,not v20v27,not v5v27,not v2v27,not v23v24,not v23v22,not v23v4,not v23v2,not v23v20,not v27v23.
v27 :- v23v27,v23.
v23v24 :- not v13v24,not v4v24,not v2v24,not v26v24,not v23v27,not v23v22,not v23v4,not v23v2,not v23v20,not v24v23.
v24 :- v23v24,v23.
v24v26 :- not v17v26,not v13v26,not v7v26,not v24v23,not v24v13,not v24v4,not v24v2,not v26v24.
v26 :- v24v26,v24.
v24v2 :- not v23v2,not v27v2,not v24v23,not v24v13,not v24v4,not v24v26,not v2v24.
v1 :- v24v2,v24.
v24v4 :- not v14v4,not v8v4,not v13v4,not v22v4,not v23v4,not v24v23,not v24v13,not v24v2,not v24v26,not v4v24.
v4 :- v24v4,v24.
v24v13 :- not v4v13,not v8v13,not v7v13,not v26v13,not v24v23,not v24v4,not v24v2,not v24v26,not v13v24.
v13 :- v24v13,v24.
v24v23 :- not v27v23,not v22v23,not v4v23,not v2v23,not v20v23,not v24v13,not v24v4,not v24v2,not v24v26,not v23v24.
v23 :- v24v23,v24.
v25v11 :- not v19v11,not v16v11,not v3v11,not v15v11,not v17v11,not v25v6,not v25v3,not v25v15,not v11v25.
v11 :- v25v11,v25.
v25v15 :- not v6v15,not v16v15,not v10v15,not v9v15,not v11v15,not v25v6,not v25v3,not v25v11,not v15v25.
v15 :- v25v15,v25.
v25v3 :- not v14v3,not v6v3,not v8v3,not v11v3,not v19v3,not v25v6,not v25v15,not v25v11,not v3v25.
v3 :- v25v3,v25.
v25v6 :- not v3v6,not v21v6,not v15v6,not v10v6,not v14v6,not v25v3,not v25v15,not v25v11,not v6v25.
v6 :- v25v6,v25.
v26v7 :- not v8v7,not v19v7,not v13v7,not v17v7,not v26v17,not v26v13,not v26v24,not v7v26.
v7 :- v26v7,v26.
v26v24 :- not v23v24,not v13v24,not v4v24,not v2v24,not v26v17,not v26v13,not v26v7,not v24v26.
v24 :- v26v24,v26.
v26v13 :- not v24v13,not v4v13,not v8v13,not v7v13,not v26v17,not v26v24,not v26v7,not v13v26.
v13 :- v26v13,v26.
v26v17 :- not v11v17,not v7v17,not v16v17,not v19v17,not v26v13,not v26v24,not v26v7,not v17v26.
v17 :- v26v17,v26.
v27v2 :- not v23v2,not v24v2,not v27v23,not v27v18,not v27v14,not v27v20,not v27v5,not v2v27.
v1 :- v27v2,v27.
v27v5 :- not v9v5,not v12v5,not v18v5,not v27v23,not v27v18,not v27v14,not v27v20,not v27v2,not v5v27.
v5 :- v27v5,v27.
v27v20 :- not v14v20,not v22v20,not v23v20,not v27v23,not v27v18,not v27v14,not v27v5,not v27v2,not v20v27.
v20 :- v27v20,v27.
v27v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v6v14,not v18v14,not v20v14,not v21v14,not v27v23,not v27v18,not v27v20,not v27v5,not v27v2,not v14v27.
v14 :- v27v14,v27.
v27v18 :- not v12v18,not v5v18,not v14v18,not v21v18,not v27v23,not v27v14,not v27v20,not v27v5,not v27v2,not v18v27.
v18 :- v27v18,v27.
v27v23 :- not v24v23,not v22v23,not v4v23,not v2v23,not v20v23,not v27v18,not v27v14,not v27v20,not v27v5,not v27v2,not v23v27.
v23 :- v27v23,v27.
s :- v1.
