v0.
v29 :- v0,v0v29.
v23 :- v0,v0v23.
v16 :- v0,v0v16.
v11 :- v0,v0v11.
v10 :- v0,v0v10.
v4 :- v0,v0v4.
v21 :- v0,v0v21.
v14 :- v1,v1v14.
v6 :- v1,v1v6.
v2 :- v1,v1v2.
v12 :- v1,v1v12.
v25 :- v2,v2v25.
v7 :- v2,v2v7.
v6 :- v2,v2v6.
v5 :- v2,v2v5.
v14 :- v2,v2v14.
v1 :- v2,v2v1.
v26 :- v3,v3v26.
v23 :- v3,v3v23.
v21 :- v3,v3v21.
v17 :- v3,v3v17.
v13 :- v3,v3v13.
v12 :- v3,v3v12.
v21 :- v4,v4v21.
v18 :- v4,v4v18.
v17 :- v4,v4v17.
v22 :- v4,v4v22.
w0 :- v4,v4v0.
v20 :- v5,v5v20.
v14 :- v5,v5v14.
v8 :- v5,v5v8.
v25 :- v5,v5v25.
v17 :- v5,v5v17.
v2 :- v5,v5v2.
v9 :- v5,v5v9.
v28 :- v6,v6v28.
v12 :- v6,v6v12.
v7 :- v6,v6v7.
v2 :- v6,v6v2.
v24 :- v6,v6v24.
v1 :- v6,v6v1.
v28 :- v7,v7v28.
v25 :- v7,v7v25.
v9 :- v7,v7v9.
v2 :- v7,v7v2.
v6 :- v7,v7v6.
v20 :- v8,v8v20.
v17 :- v8,v8v17.
v19 :- v8,v8v19.
v5 :- v8,v8v5.
v22 :- v8,v8v22.
v25 :- v9,v9v25.
v27 :- v9,v9v27.
v20 :- v9,v9v20.
v19 :- v9,v9v19.
v7 :- v9,v9v7.
v28 :- v9,v9v28.
v5 :- v9,v9v5.
v27 :- v10,v10v27.
v24 :- v10,v10v24.
v12 :- v10,v10v12.
v11 :- v10,v10v11.
w0 :- v10,v10v0.
v16 :- v11,v11v16.
v13 :- v11,v11v13.
w0 :- v11,v11v0.
v10 :- v11,v11v10.
v12 :- v11,v11v12.
v14 :- v12,v12v14.
v10 :- v12,v12v10.
v6 :- v12,v12v6.
v3 :- v12,v12v3.
v13 :- v12,v12v13.
v24 :- v12,v12v24.
v11 :- v12,v12v11.
v17 :- v12,v12v17.
v1 :- v12,v12v1.
v29 :- v13,v13v29.
v16 :- v13,v13v16.
v26 :- v13,v13v26.
v11 :- v13,v13v11.
v3 :- v13,v13v3.
v12 :- v13,v13v12.
v12 :- v14,v14v12.
v1 :- v14,v14v1.
v5 :- v14,v14v5.
v17 :- v14,v14v17.
v2 :- v14,v14v2.
v22 :- v15,v15v22.
v19 :- v15,v15v19.
v18 :- v15,v15v18.
v11 :- v16,v16v11.
v13 :- v16,v16v13.
w0 :- v16,v16v0.
v29 :- v16,v16v29.
v22 :- v17,v17v22.
v21 :- v17,v17v21.
v8 :- v17,v17v8.
v4 :- v17,v17v4.
v3 :- v17,v17v3.
v5 :- v17,v17v5.
v14 :- v17,v17v14.
v12 :- v17,v17v12.
v22 :- v18,v18v22.
v4 :- v18,v18v4.
v15 :- v18,v18v15.
v15 :- v19,v19v15.
v9 :- v19,v19v9.
v22 :- v19,v19v22.
v8 :- v19,v19v8.
v20 :- v19,v19v20.
v9 :- v20,v20v9.
v8 :- v20,v20v8.
v5 :- v20,v20v5.
v19 :- v20,v20v19.
v23 :- v21,v21v23.
v17 :- v21,v21v17.
v4 :- v21,v21v4.
v3 :- v21,v21v3.
w0 :- v21,v21v0.
v15 :- v22,v22v15.
v18 :- v22,v22v18.
v17 :- v22,v22v17.
v19 :- v22,v22v19.
v4 :- v22,v22v4.
v8 :- v22,v22v8.
v29 :- v23,v23v29.
v26 :- v23,v23v26.
v3 :- v23,v23v3.
v21 :- v23,v23v21.
w0 :- v23,v23v0.
v27 :- v24,v24v27.
v28 :- v24,v24v28.
v10 :- v24,v24v10.
v12 :- v24,v24v12.
v6 :- v24,v24v6.
v7 :- v25,v25v7.
v9 :- v25,v25v9.
v2 :- v25,v25v2.
v5 :- v25,v25v5.
v29 :- v26,v26v29.
v3 :- v26,v26v3.
v23 :- v26,v26v23.
v13 :- v26,v26v13.
v28 :- v27,v27v28.
v24 :- v27,v27v24.
v10 :- v27,v27v10.
v9 :- v27,v27v9.
v27 :- v28,v28v27.
v7 :- v28,v28v7.
v6 :- v28,v28v6.
v24 :- v28,v28v24.
v9 :- v28,v28v9.
v26 :- v29,v29v26.
v23 :- v29,v29v23.
w0 :- v29,v29v0.
v13 :- v29,v29v13.
v16 :- v29,v29v16.
v0v29 :- not v29v0,not v26v29,not v23v29,not v16v29,not v13v29,not v0v23,not v0v16,not v0v11,not v0v10,not v0v4,not v0v21.
v0v23 :- not v23v0,not v29v23,not v26v23,not v21v23,not v3v23,not v0v29,not v0v16,not v0v11,not v0v10,not v0v4,not v0v21.
v0v16 :- not v16v0,not v29v16,not v13v16,not v11v16,not v0v29,not v0v23,not v0v11,not v0v10,not v0v4,not v0v21.
v0v11 :- not v11v0,not v16v11,not v13v11,not v12v11,not v10v11,not v0v29,not v0v23,not v0v16,not v0v10,not v0v4,not v0v21.
v0v10 :- not v10v0,not v27v10,not v24v10,not v12v10,not v11v10,not v0v29,not v0v23,not v0v16,not v0v11,not v0v4,not v0v21.
v0v4 :- not v4v0,not v22v4,not v21v4,not v18v4,not v17v4,not v0v29,not v0v23,not v0v16,not v0v11,not v0v10,not v0v21.
v0v21 :- not v21v0,not v23v21,not v17v21,not v4v21,not v3v21,not v0v29,not v0v23,not v0v16,not v0v11,not v0v10,not v0v4.
v1v14 :- not v14v1,not v17v14,not v12v14,not v5v14,not v2v14,not v1v6,not v1v2,not v1v12.
v1v6 :- not v6v1,not v28v6,not v24v6,not v12v6,not v7v6,not v2v6,not v1v14,not v1v2,not v1v12.
v1v2 :- not v2v1,not v25v2,not v14v2,not v7v2,not v6v2,not v5v2,not v1v14,not v1v6,not v1v12.
v1v12 :- not v12v1,not v24v12,not v17v12,not v14v12,not v13v12,not v11v12,not v10v12,not v6v12,not v3v12,not v1v14,not v1v6,not v1v2.
v2v25 :- not v25v2,not v9v25,not v7v25,not v5v25,not v2v7,not v2v6,not v2v5,not v2v14,not v2v1.
v2v7 :- not v7v2,not v28v7,not v25v7,not v9v7,not v6v7,not v2v25,not v2v6,not v2v5,not v2v14,not v2v1.
v2v6 :- not v6v2,not v28v6,not v24v6,not v12v6,not v7v6,not v1v6,not v2v25,not v2v7,not v2v5,not v2v14,not v2v1.
v2v5 :- not v5v2,not v25v5,not v20v5,not v17v5,not v14v5,not v9v5,not v8v5,not v2v25,not v2v7,not v2v6,not v2v14,not v2v1.
v2v14 :- not v14v2,not v17v14,not v12v14,not v5v14,not v1v14,not v2v25,not v2v7,not v2v6,not v2v5,not v2v1.
v2v1 :- not v1v2,not v14v1,not v12v1,not v6v1,not v2v25,not v2v7,not v2v6,not v2v5,not v2v14.
v3v26 :- not v26v3,not v29v26,not v23v26,not v13v26,not v3v23,not v3v21,not v3v17,not v3v13,not v3v12.
v3v23 :- not v23v3,not v29v23,not v26v23,not v21v23,not v0v23,not v3v26,not v3v21,not v3v17,not v3v13,not v3v12.
v3v21 :- not v21v3,not v23v21,not v17v21,not v4v21,not v0v21,not v3v26,not v3v23,not v3v17,not v3v13,not v3v12.
v3v17 :- not v17v3,not v22v17,not v21v17,not v14v17,not v12v17,not v8v17,not v5v17,not v4v17,not v3v26,not v3v23,not v3v21,not v3v13,not v3v12.
v3v13 :- not v13v3,not v29v13,not v26v13,not v16v13,not v12v13,not v11v13,not v3v26,not v3v23,not v3v21,not v3v17,not v3v12.
v3v12 :- not v12v3,not v24v12,not v17v12,not v14v12,not v13v12,not v11v12,not v10v12,not v6v12,not v1v12,not v3v26,not v3v23,not v3v21,not v3v17,not v3v13.
v4v21 :- not v21v4,not v23v21,not v17v21,not v3v21,not v0v21,not v4v18,not v4v17,not v4v22,not v4v0.
v4v18 :- not v18v4,not v22v18,not v15v18,not v4v21,not v4v17,not v4v22,not v4v0.
v4v17 :- not v17v4,not v22v17,not v21v17,not v14v17,not v12v17,not v8v17,not v5v17,not v3v17,not v4v21,not v4v18,not v4v22,not v4v0.
v4v22 :- not v22v4,not v19v22,not v18v22,not v17v22,not v15v22,not v8v22,not v4v21,not v4v18,not v4v17,not v4v0.
v4v0 :- not v0v4,not v29v0,not v23v0,not v21v0,not v16v0,not v11v0,not v10v0,not v4v21,not v4v18,not v4v17,not v4v22.
v5v20 :- not v20v5,not v19v20,not v9v20,not v8v20,not v5v14,not v5v8,not v5v25,not v5v17,not v5v2,not v5v9.
v5v14 :- not v14v5,not v17v14,not v12v14,not v2v14,not v1v14,not v5v20,not v5v8,not v5v25,not v5v17,not v5v2,not v5v9.
v5v8 :- not v8v5,not v22v8,not v20v8,not v19v8,not v17v8,not v5v20,not v5v14,not v5v25,not v5v17,not v5v2,not v5v9.
v5v25 :- not v25v5,not v9v25,not v7v25,not v2v25,not v5v20,not v5v14,not v5v8,not v5v17,not v5v2,not v5v9.
v5v17 :- not v17v5,not v22v17,not v21v17,not v14v17,not v12v17,not v8v17,not v4v17,not v3v17,not v5v20,not v5v14,not v5v8,not v5v25,not v5v2,not v5v9.
v5v2 :- not v2v5,not v25v2,not v14v2,not v7v2,not v6v2,not v1v2,not v5v20,not v5v14,not v5v8,not v5v25,not v5v17,not v5v9.
v5v9 :- not v9v5,not v28v9,not v27v9,not v25v9,not v20v9,not v19v9,not v7v9,not v5v20,not v5v14,not v5v8,not v5v25,not v5v17,not v5v2.
v6v28 :- not v28v6,not v27v28,not v24v28,not v9v28,not v7v28,not v6v12,not v6v7,not v6v2,not v6v24,not v6v1.
v6v12 :- not v12v6,not v24v12,not v17v12,not v14v12,not v13v12,not v11v12,not v10v12,not v3v12,not v1v12,not v6v28,not v6v7,not v6v2,not v6v24,not v6v1.
v6v7 :- not v7v6,not v28v7,not v25v7,not v9v7,not v2v7,not v6v28,not v6v12,not v6v2,not v6v24,not v6v1.
v6v2 :- not v2v6,not v25v2,not v14v2,not v7v2,not v5v2,not v1v2,not v6v28,not v6v12,not v6v7,not v6v24,not v6v1.
v6v24 :- not v24v6,not v28v24,not v27v24,not v12v24,not v10v24,not v6v28,not v6v12,not v6v7,not v6v2,not v6v1.
v6v1 :- not v1v6,not v14v1,not v12v1,not v2v1,not v6v28,not v6v12,not v6v7,not v6v2,not v6v24.
v7v28 :- not v28v7,not v27v28,not v24v28,not v9v28,not v6v28,not v7v25,not v7v9,not v7v2,not v7v6.
v7v25 :- not v25v7,not v9v25,not v5v25,not v2v25,not v7v28,not v7v9,not v7v2,not v7v6.
v7v9 :- not v9v7,not v28v9,not v27v9,not v25v9,not v20v9,not v19v9,not v5v9,not v7v28,not v7v25,not v7v2,not v7v6.
v7v2 :- not v2v7,not v25v2,not v14v2,not v6v2,not v5v2,not v1v2,not v7v28,not v7v25,not v7v9,not v7v6.
v7v6 :- not v6v7,not v28v6,not v24v6,not v12v6,not v2v6,not v1v6,not v7v28,not v7v25,not v7v9,not v7v2.
v8v20 :- not v20v8,not v19v20,not v9v20,not v5v20,not v8v17,not v8v19,not v8v5,not v8v22.
v8v17 :- not v17v8,not v22v17,not v21v17,not v14v17,not v12v17,not v5v17,not v4v17,not v3v17,not v8v20,not v8v19,not v8v5,not v8v22.
v8v19 :- not v19v8,not v22v19,not v20v19,not v15v19,not v9v19,not v8v20,not v8v17,not v8v5,not v8v22.
v8v5 :- not v5v8,not v25v5,not v20v5,not v17v5,not v14v5,not v9v5,not v2v5,not v8v20,not v8v17,not v8v19,not v8v22.
v8v22 :- not v22v8,not v19v22,not v18v22,not v17v22,not v15v22,not v4v22,not v8v20,not v8v17,not v8v19,not v8v5.
v9v25 :- not v25v9,not v7v25,not v5v25,not v2v25,not v9v27,not v9v20,not v9v19,not v9v7,not v9v28,not v9v5.
v9v27 :- not v27v9,not v28v27,not v24v27,not v10v27,not v9v25,not v9v20,not v9v19,not v9v7,not v9v28,not v9v5.
v9v20 :- not v20v9,not v19v20,not v8v20,not v5v20,not v9v25,not v9v27,not v9v19,not v9v7,not v9v28,not v9v5.
v9v19 :- not v19v9,not v22v19,not v20v19,not v15v19,not v8v19,not v9v25,not v9v27,not v9v20,not v9v7,not v9v28,not v9v5.
v9v7 :- not v7v9,not v28v7,not v25v7,not v6v7,not v2v7,not v9v25,not v9v27,not v9v20,not v9v19,not v9v28,not v9v5.
v9v28 :- not v28v9,not v27v28,not v24v28,not v7v28,not v6v28,not v9v25,not v9v27,not v9v20,not v9v19,not v9v7,not v9v5.
v9v5 :- not v5v9,not v25v5,not v20v5,not v17v5,not v14v5,not v8v5,not v2v5,not v9v25,not v9v27,not v9v20,not v9v19,not v9v7,not v9v28.
v10v27 :- not v27v10,not v28v27,not v24v27,not v9v27,not v10v24,not v10v12,not v10v11,not v10v0.
v10v24 :- not v24v10,not v28v24,not v27v24,not v12v24,not v6v24,not v10v27,not v10v12,not v10v11,not v10v0.
v10v12 :- not v12v10,not v24v12,not v17v12,not v14v12,not v13v12,not v11v12,not v6v12,not v3v12,not v1v12,not v10v27,not v10v24,not v10v11,not v10v0.
v10v11 :- not v11v10,not v16v11,not v13v11,not v12v11,not v0v11,not v10v27,not v10v24,not v10v12,not v10v0.
v10v0 :- not v0v10,not v29v0,not v23v0,not v21v0,not v16v0,not v11v0,not v4v0,not v10v27,not v10v24,not v10v12,not v10v11.
v11v16 :- not v16v11,not v29v16,not v13v16,not v0v16,not v11v13,not v11v0,not v11v10,not v11v12.
v11v13 :- not v13v11,not v29v13,not v26v13,not v16v13,not v12v13,not v3v13,not v11v16,not v11v0,not v11v10,not v11v12.
v11v0 :- not v0v11,not v29v0,not v23v0,not v21v0,not v16v0,not v10v0,not v4v0,not v11v16,not v11v13,not v11v10,not v11v12.
v11v10 :- not v10v11,not v27v10,not v24v10,not v12v10,not v0v10,not v11v16,not v11v13,not v11v0,not v11v12.
v11v12 :- not v12v11,not v24v12,not v17v12,not v14v12,not v13v12,not v10v12,not v6v12,not v3v12,not v1v12,not v11v16,not v11v13,not v11v0,not v11v10.
v12v14 :- not v14v12,not v17v14,not v5v14,not v2v14,not v1v14,not v12v10,not v12v6,not v12v3,not v12v13,not v12v24,not v12v11,not v12v17,not v12v1.
v12v10 :- not v10v12,not v27v10,not v24v10,not v11v10,not v0v10,not v12v14,not v12v6,not v12v3,not v12v13,not v12v24,not v12v11,not v12v17,not v12v1.
v12v6 :- not v6v12,not v28v6,not v24v6,not v7v6,not v2v6,not v1v6,not v12v14,not v12v10,not v12v3,not v12v13,not v12v24,not v12v11,not v12v17,not v12v1.
v12v3 :- not v3v12,not v26v3,not v23v3,not v21v3,not v17v3,not v13v3,not v12v14,not v12v10,not v12v6,not v12v13,not v12v24,not v12v11,not v12v17,not v12v1.
v12v13 :- not v13v12,not v29v13,not v26v13,not v16v13,not v11v13,not v3v13,not v12v14,not v12v10,not v12v6,not v12v3,not v12v24,not v12v11,not v12v17,not v12v1.
v12v24 :- not v24v12,not v28v24,not v27v24,not v10v24,not v6v24,not v12v14,not v12v10,not v12v6,not v12v3,not v12v13,not v12v11,not v12v17,not v12v1.
v12v11 :- not v11v12,not v16v11,not v13v11,not v10v11,not v0v11,not v12v14,not v12v10,not v12v6,not v12v3,not v12v13,not v12v24,not v12v17,not v12v1.
v12v17 :- not v17v12,not v22v17,not v21v17,not v14v17,not v8v17,not v5v17,not v4v17,not v3v17,not v12v14,not v12v10,not v12v6,not v12v3,not v12v13,not v12v24,not v12v11,not v12v1.
v12v1 :- not v1v12,not v14v1,not v6v1,not v2v1,not v12v14,not v12v10,not v12v6,not v12v3,not v12v13,not v12v24,not v12v11,not v12v17.
v13v29 :- not v29v13,not v26v29,not v23v29,not v16v29,not v0v29,not v13v16,not v13v26,not v13v11,not v13v3,not v13v12.
v13v16 :- not v16v13,not v29v16,not v11v16,not v0v16,not v13v29,not v13v26,not v13v11,not v13v3,not v13v12.
v13v26 :- not v26v13,not v29v26,not v23v26,not v3v26,not v13v29,not v13v16,not v13v11,not v13v3,not v13v12.
v13v11 :- not v11v13,not v16v11,not v12v11,not v10v11,not v0v11,not v13v29,not v13v16,not v13v26,not v13v3,not v13v12.
v13v3 :- not v3v13,not v26v3,not v23v3,not v21v3,not v17v3,not v12v3,not v13v29,not v13v16,not v13v26,not v13v11,not v13v12.
v13v12 :- not v12v13,not v24v12,not v17v12,not v14v12,not v11v12,not v10v12,not v6v12,not v3v12,not v1v12,not v13v29,not v13v16,not v13v26,not v13v11,not v13v3.
v14v12 :- not v12v14,not v24v12,not v17v12,not v13v12,not v11v12,not v10v12,not v6v12,not v3v12,not v1v12,not v14v1,not v14v5,not v14v17,not v14v2.
v14v1 :- not v1v14,not v12v1,not v6v1,not v2v1,not v14v12,not v14v5,not v14v17,not v14v2.
v14v5 :- not v5v14,not v25v5,not v20v5,not v17v5,not v9v5,not v8v5,not v2v5,not v14v12,not v14v1,not v14v17,not v14v2.
v14v17 :- not v17v14,not v22v17,not v21v17,not v12v17,not v8v17,not v5v17,not v4v17,not v3v17,not v14v12,not v14v1,not v14v5,not v14v2.
v14v2 :- not v2v14,not v25v2,not v7v2,not v6v2,not v5v2,not v1v2,not v14v12,not v14v1,not v14v5,not v14v17.
v15v22 :- not v22v15,not v19v22,not v18v22,not v17v22,not v8v22,not v4v22,not v15v19,not v15v18.
v15v19 :- not v19v15,not v22v19,not v20v19,not v9v19,not v8v19,not v15v22,not v15v18.
v15v18 :- not v18v15,not v22v18,not v4v18,not v15v22,not v15v19.
v16v11 :- not v11v16,not v13v11,not v12v11,not v10v11,not v0v11,not v16v13,not v16v0,not v16v29.
v16v13 :- not v13v16,not v29v13,not v26v13,not v12v13,not v11v13,not v3v13,not v16v11,not v16v0,not v16v29.
v16v0 :- not v0v16,not v29v0,not v23v0,not v21v0,not v11v0,not v10v0,not v4v0,not v16v11,not v16v13,not v16v29.
v16v29 :- not v29v16,not v26v29,not v23v29,not v13v29,not v0v29,not v16v11,not v16v13,not v16v0.
v17v22 :- not v22v17,not v19v22,not v18v22,not v15v22,not v8v22,not v4v22,not v17v21,not v17v8,not v17v4,not v17v3,not v17v5,not v17v14,not v17v12.
v17v21 :- not v21v17,not v23v21,not v4v21,not v3v21,not v0v21,not v17v22,not v17v8,not v17v4,not v17v3,not v17v5,not v17v14,not v17v12.
v17v8 :- not v8v17,not v22v8,not v20v8,not v19v8,not v5v8,not v17v22,not v17v21,not v17v4,not v17v3,not v17v5,not v17v14,not v17v12.
v17v4 :- not v4v17,not v22v4,not v21v4,not v18v4,not v0v4,not v17v22,not v17v21,not v17v8,not v17v3,not v17v5,not v17v14,not v17v12.
v17v3 :- not v3v17,not v26v3,not v23v3,not v21v3,not v13v3,not v12v3,not v17v22,not v17v21,not v17v8,not v17v4,not v17v5,not v17v14,not v17v12.
v17v5 :- not v5v17,not v25v5,not v20v5,not v14v5,not v9v5,not v8v5,not v2v5,not v17v22,not v17v21,not v17v8,not v17v4,not v17v3,not v17v14,not v17v12.
v17v14 :- not v14v17,not v12v14,not v5v14,not v2v14,not v1v14,not v17v22,not v17v21,not v17v8,not v17v4,not v17v3,not v17v5,not v17v12.
v17v12 :- not v12v17,not v24v12,not v14v12,not v13v12,not v11v12,not v10v12,not v6v12,not v3v12,not v1v12,not v17v22,not v17v21,not v17v8,not v17v4,not v17v3,not v17v5,not v17v14.
v18v22 :- not v22v18,not v19v22,not v17v22,not v15v22,not v8v22,not v4v22,not v18v4,not v18v15.
v18v4 :- not v4v18,not v22v4,not v21v4,not v17v4,not v0v4,not v18v22,not v18v15.
v18v15 :- not v15v18,not v22v15,not v19v15,not v18v22,not v18v4.
v19v15 :- not v15v19,not v22v15,not v18v15,not v19v9,not v19v22,not v19v8,not v19v20.
v19v9 :- not v9v19,not v28v9,not v27v9,not v25v9,not v20v9,not v7v9,not v5v9,not v19v15,not v19v22,not v19v8,not v19v20.
v19v22 :- not v22v19,not v18v22,not v17v22,not v15v22,not v8v22,not v4v22,not v19v15,not v19v9,not v19v8,not v19v20.
v19v8 :- not v8v19,not v22v8,not v20v8,not v17v8,not v5v8,not v19v15,not v19v9,not v19v22,not v19v20.
v19v20 :- not v20v19,not v9v20,not v8v20,not v5v20,not v19v15,not v19v9,not v19v22,not v19v8.
v20v9 :- not v9v20,not v28v9,not v27v9,not v25v9,not v19v9,not v7v9,not v5v9,not v20v8,not v20v5,not v20v19.
v20v8 :- not v8v20,not v22v8,not v19v8,not v17v8,not v5v8,not v20v9,not v20v5,not v20v19.
v20v5 :- not v5v20,not v25v5,not v17v5,not v14v5,not v9v5,not v8v5,not v2v5,not v20v9,not v20v8,not v20v19.
v20v19 :- not v19v20,not v22v19,not v15v19,not v9v19,not v8v19,not v20v9,not v20v8,not v20v5.
v21v23 :- not v23v21,not v29v23,not v26v23,not v3v23,not v0v23,not v21v17,not v21v4,not v21v3,not v21v0.
v21v17 :- not v17v21,not v22v17,not v14v17,not v12v17,not v8v17,not v5v17,not v4v17,not v3v17,not v21v23,not v21v4,not v21v3,not v21v0.
v21v4 :- not v4v21,not v22v4,not v18v4,not v17v4,not v0v4,not v21v23,not v21v17,not v21v3,not v21v0.
v21v3 :- not v3v21,not v26v3,not v23v3,not v17v3,not v13v3,not v12v3,not v21v23,not v21v17,not v21v4,not v21v0.
v21v0 :- not v0v21,not v29v0,not v23v0,not v16v0,not v11v0,not v10v0,not v4v0,not v21v23,not v21v17,not v21v4,not v21v3.
v22v15 :- not v15v22,not v19v15,not v18v15,not v22v18,not v22v17,not v22v19,not v22v4,not v22v8.
v22v18 :- not v18v22,not v15v18,not v4v18,not v22v15,not v22v17,not v22v19,not v22v4,not v22v8.
v22v17 :- not v17v22,not v21v17,not v14v17,not v12v17,not v8v17,not v5v17,not v4v17,not v3v17,not v22v15,not v22v18,not v22v19,not v22v4,not v22v8.
v22v19 :- not v19v22,not v20v19,not v15v19,not v9v19,not v8v19,not v22v15,not v22v18,not v22v17,not v22v4,not v22v8.
v22v4 :- not v4v22,not v21v4,not v18v4,not v17v4,not v0v4,not v22v15,not v22v18,not v22v17,not v22v19,not v22v8.
v22v8 :- not v8v22,not v20v8,not v19v8,not v17v8,not v5v8,not v22v15,not v22v18,not v22v17,not v22v19,not v22v4.
v23v29 :- not v29v23,not v26v29,not v16v29,not v13v29,not v0v29,not v23v26,not v23v3,not v23v21,not v23v0.
v23v26 :- not v26v23,not v29v26,not v13v26,not v3v26,not v23v29,not v23v3,not v23v21,not v23v0.
v23v3 :- not v3v23,not v26v3,not v21v3,not v17v3,not v13v3,not v12v3,not v23v29,not v23v26,not v23v21,not v23v0.
v23v21 :- not v21v23,not v17v21,not v4v21,not v3v21,not v0v21,not v23v29,not v23v26,not v23v3,not v23v0.
v23v0 :- not v0v23,not v29v0,not v21v0,not v16v0,not v11v0,not v10v0,not v4v0,not v23v29,not v23v26,not v23v3,not v23v21.
v24v27 :- not v27v24,not v28v27,not v10v27,not v9v27,not v24v28,not v24v10,not v24v12,not v24v6.
v24v28 :- not v28v24,not v27v28,not v9v28,not v7v28,not v6v28,not v24v27,not v24v10,not v24v12,not v24v6.
v24v10 :- not v10v24,not v27v10,not v12v10,not v11v10,not v0v10,not v24v27,not v24v28,not v24v12,not v24v6.
v24v12 :- not v12v24,not v17v12,not v14v12,not v13v12,not v11v12,not v10v12,not v6v12,not v3v12,not v1v12,not v24v27,not v24v28,not v24v10,not v24v6.
v24v6 :- not v6v24,not v28v6,not v12v6,not v7v6,not v2v6,not v1v6,not v24v27,not v24v28,not v24v10,not v24v12.
v25v7 :- not v7v25,not v28v7,not v9v7,not v6v7,not v2v7,not v25v9,not v25v2,not v25v5.
v25v9 :- not v9v25,not v28v9,not v27v9,not v20v9,not v19v9,not v7v9,not v5v9,not v25v7,not v25v2,not v25v5.
v25v2 :- not v2v25,not v14v2,not v7v2,not v6v2,not v5v2,not v1v2,not v25v7,not v25v9,not v25v5.
v25v5 :- not v5v25,not v20v5,not v17v5,not v14v5,not v9v5,not v8v5,not v2v5,not v25v7,not v25v9,not v25v2.
v26v29 :- not v29v26,not v23v29,not v16v29,not v13v29,not v0v29,not v26v3,not v26v23,not v26v13.
v26v3 :- not v3v26,not v23v3,not v21v3,not v17v3,not v13v3,not v12v3,not v26v29,not v26v23,not v26v13.
v26v23 :- not v23v26,not v29v23,not v21v23,not v3v23,not v0v23,not v26v29,not v26v3,not v26v13.
v26v13 :- not v13v26,not v29v13,not v16v13,not v12v13,not v11v13,not v3v13,not v26v29,not v26v3,not v26v23.
v27v28 :- not v28v27,not v24v28,not v9v28,not v7v28,not v6v28,not v27v24,not v27v10,not v27v9.
v27v24 :- not v24v27,not v28v24,not v12v24,not v10v24,not v6v24,not v27v28,not v27v10,not v27v9.
v27v10 :- not v10v27,not v24v10,not v12v10,not v11v10,not v0v10,not v27v28,not v27v24,not v27v9.
v27v9 :- not v9v27,not v28v9,not v25v9,not v20v9,not v19v9,not v7v9,not v5v9,not v27v28,not v27v24,not v27v10.
v28v27 :- not v27v28,not v24v27,not v10v27,not v9v27,not v28v7,not v28v6,not v28v24,not v28v9.
v28v7 :- not v7v28,not v25v7,not v9v7,not v6v7,not v2v7,not v28v27,not v28v6,not v28v24,not v28v9.
v28v6 :- not v6v28,not v24v6,not v12v6,not v7v6,not v2v6,not v1v6,not v28v27,not v28v7,not v28v24,not v28v9.
v28v24 :- not v24v28,not v27v24,not v12v24,not v10v24,not v6v24,not v28v27,not v28v7,not v28v6,not v28v9.
v28v9 :- not v9v28,not v27v9,not v25v9,not v20v9,not v19v9,not v7v9,not v5v9,not v28v27,not v28v7,not v28v6,not v28v24.
v29v26 :- not v26v29,not v23v26,not v13v26,not v3v26,not v29v23,not v29v0,not v29v13,not v29v16.
v29v23 :- not v23v29,not v26v23,not v21v23,not v3v23,not v0v23,not v29v26,not v29v0,not v29v13,not v29v16.
v29v0 :- not v0v29,not v23v0,not v21v0,not v16v0,not v11v0,not v10v0,not v4v0,not v29v26,not v29v23,not v29v13,not v29v16.
v29v13 :- not v13v29,not v26v13,not v16v13,not v12v13,not v11v13,not v3v13,not v29v26,not v29v23,not v29v0,not v29v16.
v29v16 :- not v16v29,not v13v16,not v11v16,not v0v16,not v29v26,not v29v23,not v29v0,not v29v13.
compute { w0, v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13, v14, v15, v16, v17, v18, v19, v20, v21, v22, v23, v24, v25, v26, v27, v28, v29 }
