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.
v2.
v2v24 :- not v23v24,not v13v24,not v4v24,not v7v24,not v2v5,not v2v23,not v24v2.
v24 :- v2v24,v2.
v2v23 :- not v24v23,not v5v23,not v22v23,not v4v23,not v18v23,not v20v23,not v2v5,not v2v24,not v23v2.
v23 :- v2v23,v2.
v2v5 :- not v9v5,not v12v5,not v23v5,not v18v5,not v2v23,not v2v24,not v5v2.
v5 :- v2v5,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 v20v14,not v21v14,not v3v6,not v3v8,not v3v11,not v3v19,not v3v25,not v14v3.
v14 :- v3v14,v3.
v4v23 :- not v24v23,not v5v23,not v22v23,not v2v23,not v18v23,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 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 v7v24,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 v20v14,not v21v14,not v4v24,not v4v8,not v4v13,not v4v22,not v4v23,not v14v4.
v14 :- v4v14,v4.
v5v18 :- not v12v18,not v14v18,not v20v18,not v21v18,not v23v18,not v5v2,not v5v9,not v5v12,not v5v23,not v18v5.
v18 :- v5v18,v5.
v5v23 :- not v24v23,not v22v23,not v4v23,not v2v23,not v18v23,not v20v23,not v5v2,not v5v9,not v5v12,not v5v18,not v23v5.
v23 :- v5v23,v5.
v5v12 :- not v9v12,not v10v12,not v18v12,not v21v12,not v5v2,not v5v9,not v5v23,not v5v18,not v12v5.
v12 :- v5v12,v5.
v5v9 :- not v12v9,not v10v9,not v15v9,not v16v9,not v5v2,not v5v12,not v5v23,not v5v18,not v9v5.
v9 :- v5v9,v5.
v5v2 :- not v23v2,not v24v2,not v5v9,not v5v12,not v5v23,not v5v18,not v2v5.
v1 :- v5v2,v5.
v6v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v18v14,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.
v7v24 :- not v23v24,not v13v24,not v4v24,not v2v24,not v7v8,not v7v19,not v7v13,not v7v17,not v24v7.
v24 :- v7v24,v7.
v7v17 :- not v11v17,not v16v17,not v19v17,not v7v8,not v7v19,not v7v13,not v7v24,not v17v7.
v17 :- v7v17,v7.
v7v13 :- not v24v13,not v4v13,not v8v13,not v7v8,not v7v19,not v7v17,not v7v24,not v13v7.
v13 :- v7v13,v7.
v7v19 :- not v11v19,not v3v19,not v17v19,not v8v19,not v7v8,not v7v13,not v7v17,not v7v24,not v19v7.
v19 :- v7v19,v7.
v7v8 :- not v14v8,not v3v8,not v4v8,not v13v8,not v19v8,not v7v19,not v7v13,not v7v17,not v7v24,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 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 v24v7,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 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 v2v5,not v12v5,not v23v5,not v18v5,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 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 v5v18,not v14v18,not v20v18,not v21v18,not v23v18,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 v2v5,not v9v5,not v23v5,not v18v5,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.
v13v7 :- not v8v7,not v19v7,not v17v7,not v24v7,not v13v24,not v13v4,not v13v8,not v7v13.
v7 :- v13v7,v13.
v13v8 :- not v14v8,not v3v8,not v7v8,not v4v8,not v19v8,not v13v24,not v13v4,not v13v7,not v8v13.
v8 :- v13v8,v13.
v13v4 :- not v14v4,not v24v4,not v8v4,not v22v4,not v23v4,not v13v24,not v13v8,not v13v7,not v4v13.
v4 :- v13v4,v13.
v13v24 :- not v23v24,not v4v24,not v2v24,not v7v24,not v13v4,not v13v8,not v13v7,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 v14v20,not v21v14.
v21 :- v14v21,v14.
v14v20 :- not v18v20,not v22v20,not v23v20,not v14v3,not v14v8,not v14v4,not v14v22,not v14v6,not v14v18,not v14v21,not v20v14.
v20 :- v14v20,v14.
v14v18 :- not v12v18,not v5v18,not v20v18,not v21v18,not v23v18,not v14v3,not v14v8,not v14v4,not v14v22,not v14v6,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 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 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 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 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 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 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 v17v11,not v17v7,not v17v16,not v19v17.
v19 :- v17v19,v17.
v17v16 :- not v11v16,not v15v16,not v9v16,not v17v11,not v17v7,not v17v19,not v16v17.
v16 :- v17v16,v17.
v17v7 :- not v8v7,not v19v7,not v13v7,not v24v7,not v17v11,not v17v16,not v17v19,not v7v17.
v7 :- v17v7,v17.
v17v11 :- not v19v11,not v16v11,not v3v11,not v15v11,not v25v11,not v17v7,not v17v16,not v17v19,not v11v17.
v11 :- v17v11,v17.
v18v23 :- not v24v23,not v5v23,not v22v23,not v4v23,not v2v23,not v20v23,not v18v12,not v18v5,not v18v14,not v18v20,not v18v21,not v23v18.
v23 :- v18v23,v18.
v18v21 :- not v6v21,not v10v21,not v12v21,not v14v21,not v18v12,not v18v5,not v18v14,not v18v20,not v18v23,not v21v18.
v21 :- v18v21,v18.
v18v20 :- not v14v20,not v22v20,not v23v20,not v18v12,not v18v5,not v18v14,not v18v21,not v18v23,not v20v18.
v20 :- v18v20,v18.
v18v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v6v14,not v20v14,not v21v14,not v18v12,not v18v5,not v18v20,not v18v21,not v18v23,not v14v18.
v14 :- v18v14,v18.
v18v5 :- not v2v5,not v9v5,not v12v5,not v23v5,not v18v12,not v18v14,not v18v20,not v18v21,not v18v23,not v5v18.
v5 :- v18v5,v18.
v18v12 :- not v9v12,not v5v12,not v10v12,not v21v12,not v18v5,not v18v14,not v18v20,not v18v21,not v18v23,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 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 v24v7,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 v5v23,not v22v23,not v4v23,not v2v23,not v18v23,not v20v18,not v20v14,not v20v22,not v23v20.
v23 :- v20v23,v20.
v20v22 :- not v14v22,not v23v22,not v4v22,not v20v18,not v20v14,not v20v23,not v22v20.
v22 :- v20v22,v20.
v20v14 :- not v3v14,not v8v14,not v4v14,not v22v14,not v6v14,not v18v14,not v21v14,not v20v18,not v20v22,not v20v23,not v14v20.
v14 :- v20v14,v20.
v20v18 :- not v12v18,not v5v18,not v14v18,not v21v18,not v23v18,not v20v14,not v20v22,not v20v23,not v18v20.
v18 :- v20v18,v20.
v21v18 :- not v12v18,not v5v18,not v14v18,not v20v18,not v23v18,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 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 v18v20,not v14v20,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 v5v23,not v4v23,not v2v23,not v18v23,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 v20v14,not v21v14,not v22v23,not v22v4,not v22v20,not v14v22.
v14 :- v22v14,v22.
v23v20 :- not v18v20,not v14v20,not v22v20,not v23v24,not v23v5,not v23v22,not v23v4,not v23v2,not v23v18,not v20v23.
v20 :- v23v20,v23.
v23v18 :- not v12v18,not v5v18,not v14v18,not v20v18,not v21v18,not v23v24,not v23v5,not v23v22,not v23v4,not v23v2,not v23v20,not v18v23.
v18 :- v23v18,v23.
v23v2 :- not v5v2,not v24v2,not v23v24,not v23v5,not v23v22,not v23v4,not v23v18,not v23v20,not v2v23.
v1 :- v23v2,v23.
v23v4 :- not v14v4,not v24v4,not v8v4,not v13v4,not v22v4,not v23v24,not v23v5,not v23v22,not v23v2,not v23v18,not v23v20,not v4v23.
v4 :- v23v4,v23.
v23v22 :- not v14v22,not v4v22,not v20v22,not v23v24,not v23v5,not v23v4,not v23v2,not v23v18,not v23v20,not v22v23.
v22 :- v23v22,v23.
v23v5 :- not v2v5,not v9v5,not v12v5,not v18v5,not v23v24,not v23v22,not v23v4,not v23v2,not v23v18,not v23v20,not v5v23.
v5 :- v23v5,v23.
v23v24 :- not v13v24,not v4v24,not v2v24,not v7v24,not v23v5,not v23v22,not v23v4,not v23v2,not v23v18,not v23v20,not v24v23.
v24 :- v23v24,v23.
v24v7 :- not v8v7,not v19v7,not v13v7,not v17v7,not v24v23,not v24v13,not v24v4,not v24v2,not v7v24.
v7 :- v24v7,v24.
v24v2 :- not v5v2,not v23v2,not v24v23,not v24v13,not v24v4,not v24v7,not v2v24.
v1 :- v24v2,v24.
v24v4 :- not v14v4,not v8v4,not v13v4,not v22v4,not v23v4,not v24v23,not v24v13,not v24v2,not v24v7,not v4v24.
v4 :- v24v4,v24.
v24v13 :- not v4v13,not v8v13,not v7v13,not v24v23,not v24v4,not v24v2,not v24v7,not v13v24.
v13 :- v24v13,v24.
v24v23 :- not v5v23,not v22v23,not v4v23,not v2v23,not v18v23,not v20v23,not v24v13,not v24v4,not v24v2,not v24v7,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.
s :- v1.
