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.
v28 :- not v28.
v29 :- not v29.
v30 :- not v30.
v31 :- not v31.
v2.
v2v31 :- not v20v31,not v14v31,not v23v31,not v5v31,not v27v31,not v2v23,not v2v24,not v31v2.
v31 :- v2v31,v2.
v2v24 :- not v23v24,not v13v24,not v4v24,not v26v24,not v2v23,not v2v31,not v24v2.
v24 :- v2v24,v2.
v2v23 :- not v24v23,not v22v23,not v4v23,not v20v23,not v31v23,not v2v24,not v2v31,not v23v2.
v23 :- v2v23,v2.
v3v29 :- not v15v29,not v17v29,not v10v29,not v25v29,not v6v29,not v11v29,not v19v29,not v3v6,not v3v8,not v3v19,not v3v30,not v3v28,not v29v3.
v29 :- v3v29,v3.
v3v28 :- not v6v28,not v14v28,not v30v28,not v3v6,not v3v8,not v3v19,not v3v30,not v3v29,not v28v3.
v28 :- v3v28,v3.
v3v30 :- not v22v30,not v14v30,not v13v30,not v4v30,not v28v30,not v8v30,not v3v6,not v3v8,not v3v19,not v3v28,not v3v29,not v30v3.
v30 :- v3v30,v3.
v3v19 :- not v7v19,not v17v19,not v8v19,not v29v19,not v3v6,not v3v8,not v3v30,not v3v28,not v3v29,not v19v3.
v19 :- v3v19,v3.
v3v8 :- not v7v8,not v13v8,not v19v8,not v30v8,not v3v6,not v3v19,not v3v30,not v3v28,not v3v29,not v8v3.
v8 :- v3v8,v3.
v3v6 :- not v28v6,not v21v6,not v10v6,not v14v6,not v29v6,not v3v8,not v3v19,not v3v30,not v3v28,not v3v29,not v6v3.
v6 :- v3v6,v3.
v4v30 :- not v22v30,not v14v30,not v13v30,not v3v30,not v28v30,not v8v30,not v4v24,not v4v13,not v4v22,not v4v23,not v30v4.
v30 :- v4v30,v4.
v4v23 :- not v24v23,not v22v23,not v2v23,not v20v23,not v31v23,not v4v24,not v4v13,not v4v22,not v4v30,not v23v4.
v23 :- v4v23,v4.
v4v22 :- not v30v22,not v14v22,not v23v22,not v20v22,not v4v24,not v4v13,not v4v23,not v4v30,not v22v4.
v22 :- v4v22,v4.
v4v13 :- not v24v13,not v30v13,not v8v13,not v7v13,not v26v13,not v4v24,not v4v22,not v4v23,not v4v30,not v13v4.
v13 :- v4v13,v4.
v4v24 :- not v23v24,not v13v24,not v2v24,not v26v24,not v4v13,not v4v22,not v4v23,not v4v30,not v24v4.
v24 :- v4v24,v4.
v5v31 :- not v20v31,not v14v31,not v2v31,not v23v31,not v27v31,not v5v9,not v5v12,not v5v18,not v5v27,not v31v5.
v31 :- v5v31,v5.
v5v27 :- not v18v27,not v14v27,not v31v27,not v5v9,not v5v12,not v5v18,not v5v31,not v27v5.
v27 :- v5v27,v5.
v5v18 :- not v12v18,not v27v18,not v14v18,not v21v18,not v5v9,not v5v12,not v5v27,not v5v31,not v18v5.
v18 :- v5v18,v5.
v5v12 :- not v9v12,not v10v12,not v18v12,not v21v12,not v5v9,not v5v18,not v5v27,not v5v31,not v12v5.
v12 :- v5v12,v5.
v5v9 :- not v12v9,not v10v9,not v15v9,not v16v9,not v5v12,not v5v18,not v5v27,not v5v31,not v9v5.
v9 :- v5v9,v5.
v6v29 :- not v15v29,not v17v29,not v10v29,not v25v29,not v11v29,not v19v29,not v3v29,not v6v28,not v6v3,not v6v21,not v6v10,not v6v14,not v29v6.
v29 :- v6v29,v6.
v6v14 :- not v30v14,not v22v14,not v18v14,not v27v14,not v20v14,not v21v14,not v31v14,not v28v14,not v6v28,not v6v3,not v6v21,not v6v10,not v6v29,not v14v6.
v14 :- v6v14,v6.
v6v10 :- not v29v10,not v9v10,not v12v10,not v21v10,not v15v10,not v6v28,not v6v3,not v6v21,not v6v14,not v6v29,not v10v6.
v10 :- v6v10,v6.
v6v21 :- not v10v21,not v12v21,not v14v21,not v18v21,not v6v28,not v6v3,not v6v10,not v6v14,not v6v29,not v21v6.
v21 :- v6v21,v6.
v6v3 :- not v8v3,not v19v3,not v30v3,not v28v3,not v29v3,not v6v28,not v6v21,not v6v10,not v6v14,not v6v29,not v3v6.
v3 :- v6v3,v6.
v6v28 :- not v14v28,not v3v28,not v30v28,not v6v3,not v6v21,not v6v10,not v6v14,not v6v29,not v28v6.
v28 :- v6v28,v6.
v7v26 :- not v17v26,not v13v26,not v24v26,not v7v8,not v7v19,not v7v13,not v7v17,not v26v7.
v26 :- v7v26,v7.
v7v17 :- not v29v17,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 v30v13,not v4v13,not v8v13,not v26v13,not v7v8,not v7v19,not v7v17,not v7v26,not v13v7.
v13 :- v7v13,v7.
v7v19 :- not v3v19,not v17v19,not v8v19,not v29v19,not v7v8,not v7v13,not v7v17,not v7v26,not v19v7.
v19 :- v7v19,v7.
v7v8 :- not v3v8,not v13v8,not v19v8,not v30v8,not v7v19,not v7v13,not v7v17,not v7v26,not v8v7.
v8 :- v7v8,v7.
v8v30 :- not v22v30,not v14v30,not v13v30,not v3v30,not v4v30,not v28v30,not v8v3,not v8v7,not v8v13,not v8v19,not v30v8.
v30 :- v8v30,v8.
v8v19 :- not v7v19,not v3v19,not v17v19,not v29v19,not v8v3,not v8v7,not v8v13,not v8v30,not v19v8.
v19 :- v8v19,v8.
v8v13 :- not v24v13,not v30v13,not v4v13,not v7v13,not v26v13,not v8v3,not v8v7,not v8v19,not v8v30,not v13v8.
v13 :- v8v13,v8.
v8v7 :- not v19v7,not v13v7,not v17v7,not v26v7,not v8v3,not v8v13,not v8v19,not v8v30,not v7v8.
v7 :- v8v7,v8.
v8v3 :- not v6v3,not v19v3,not v30v3,not v28v3,not v29v3,not v8v7,not v8v13,not v8v19,not v8v30,not v3v8.
v3 :- v8v3,v8.
v9v16 :- not v11v16,not v15v16,not v17v16,not v9v5,not v9v12,not v9v10,not v9v15,not v16v9.
v16 :- v9v16,v9.
v9v15 :- not v29v15,not v16v15,not v10v15,not v11v15,not v25v15,not v9v5,not v9v12,not v9v10,not v9v16,not v15v9.
v15 :- v9v15,v9.
v9v10 :- not v29v10,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 v31v5,not v9v12,not v9v10,not v9v15,not v9v16,not v5v9.
v5 :- v9v5,v9.
v10v15 :- not v29v15,not v16v15,not v9v15,not v11v15,not v25v15,not v10v29,not v10v9,not v10v6,not v10v12,not v10v21,not v15v10.
v15 :- v10v15,v10.
v10v21 :- not v6v21,not v12v21,not v14v21,not v18v21,not v10v29,not v10v9,not v10v6,not v10v12,not v10v15,not v21v10.
v21 :- v10v21,v10.
v10v12 :- not v9v12,not v5v12,not v18v12,not v21v12,not v10v29,not v10v9,not v10v6,not v10v21,not v10v15,not v12v10.
v12 :- v10v12,v10.
v10v6 :- not v28v6,not v3v6,not v21v6,not v14v6,not v29v6,not v10v29,not v10v9,not v10v12,not v10v21,not v10v15,not v6v10.
v6 :- v10v6,v10.
v10v9 :- not v5v9,not v12v9,not v15v9,not v16v9,not v10v29,not v10v6,not v10v12,not v10v21,not v10v15,not v9v10.
v9 :- v10v9,v10.
v10v29 :- not v15v29,not v17v29,not v25v29,not v6v29,not v11v29,not v19v29,not v3v29,not v10v9,not v10v6,not v10v12,not v10v21,not v10v15,not v29v10.
v29 :- v10v29,v10.
v11v29 :- not v15v29,not v17v29,not v10v29,not v25v29,not v6v29,not v19v29,not v3v29,not v11v16,not v11v15,not v11v17,not v11v25,not v29v11.
v29 :- v11v29,v11.
v11v25 :- not v29v25,not v15v25,not v11v16,not v11v15,not v11v17,not v11v29,not v25v11.
v25 :- v11v25,v11.
v11v17 :- not v29v17,not v26v17,not v7v17,not v16v17,not v19v17,not v11v16,not v11v15,not v11v25,not v11v29,not v17v11.
v17 :- v11v17,v11.
v11v15 :- not v29v15,not v16v15,not v10v15,not v9v15,not v25v15,not v11v16,not v11v17,not v11v25,not v11v29,not v15v11.
v15 :- v11v15,v11.
v11v16 :- not v15v16,not v9v16,not v17v16,not v11v15,not v11v17,not v11v25,not v11v29,not v16v11.
v16 :- v11v16,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 v29v10,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 v31v5,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 v13v30,not v13v4,not v13v8,not v13v7,not v26v13.
v26 :- v13v26,v13.
v13v7 :- not v8v7,not v19v7,not v17v7,not v26v7,not v13v24,not v13v30,not v13v4,not v13v8,not v13v26,not v7v13.
v7 :- v13v7,v13.
v13v8 :- not v3v8,not v7v8,not v19v8,not v30v8,not v13v24,not v13v30,not v13v4,not v13v7,not v13v26,not v8v13.
v8 :- v13v8,v13.
v13v4 :- not v24v4,not v22v4,not v23v4,not v30v4,not v13v24,not v13v30,not v13v8,not v13v7,not v13v26,not v4v13.
v4 :- v13v4,v13.
v13v30 :- not v22v30,not v14v30,not v3v30,not v4v30,not v28v30,not v8v30,not v13v24,not v13v4,not v13v8,not v13v7,not v13v26,not v30v13.
v30 :- v13v30,v13.
v13v24 :- not v23v24,not v4v24,not v2v24,not v26v24,not v13v30,not v13v4,not v13v8,not v13v7,not v13v26,not v24v13.
v24 :- v13v24,v13.
v14v28 :- not v6v28,not v3v28,not v30v28,not v14v30,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v14v31,not v28v14.
v28 :- v14v28,v14.
v14v31 :- not v20v31,not v2v31,not v23v31,not v5v31,not v27v31,not v14v30,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v14v28,not v31v14.
v31 :- v14v31,v14.
v14v21 :- not v6v21,not v10v21,not v12v21,not v18v21,not v14v30,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v14v31,not v14v28,not v21v14.
v21 :- v14v21,v14.
v14v20 :- not v31v20,not v22v20,not v23v20,not v14v30,not v14v22,not v14v6,not v14v18,not v14v27,not v14v21,not v14v31,not v14v28,not v20v14.
v20 :- v14v20,v14.
v14v27 :- not v18v27,not v5v27,not v31v27,not v14v30,not v14v22,not v14v6,not v14v18,not v14v20,not v14v21,not v14v31,not v14v28,not v27v14.
v27 :- v14v27,v14.
v14v18 :- not v12v18,not v27v18,not v5v18,not v21v18,not v14v30,not v14v22,not v14v6,not v14v27,not v14v20,not v14v21,not v14v31,not v14v28,not v18v14.
v18 :- v14v18,v14.
v14v6 :- not v28v6,not v3v6,not v21v6,not v10v6,not v29v6,not v14v30,not v14v22,not v14v18,not v14v27,not v14v20,not v14v21,not v14v31,not v14v28,not v6v14.
v6 :- v14v6,v14.
v14v22 :- not v30v22,not v23v22,not v4v22,not v20v22,not v14v30,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v14v31,not v14v28,not v22v14.
v22 :- v14v22,v14.
v14v30 :- not v22v30,not v13v30,not v3v30,not v4v30,not v28v30,not v8v30,not v14v22,not v14v6,not v14v18,not v14v27,not v14v20,not v14v21,not v14v31,not v14v28,not v30v14.
v30 :- v14v30,v14.
v15v25 :- not v29v25,not v11v25,not v15v29,not v15v16,not v15v10,not v15v9,not v15v11,not v25v15.
v25 :- v15v25,v15.
v15v11 :- not v16v11,not v17v11,not v25v11,not v29v11,not v15v29,not v15v16,not v15v10,not v15v9,not v15v25,not v11v15.
v11 :- v15v11,v15.
v15v9 :- not v5v9,not v12v9,not v10v9,not v16v9,not v15v29,not v15v16,not v15v10,not v15v11,not v15v25,not v9v15.
v9 :- v15v9,v15.
v15v10 :- not v29v10,not v9v10,not v6v10,not v12v10,not v21v10,not v15v29,not v15v16,not v15v9,not v15v11,not v15v25,not v10v15.
v10 :- v15v10,v15.
v15v16 :- not v11v16,not v9v16,not v17v16,not v15v29,not v15v10,not v15v9,not v15v11,not v15v25,not v16v15.
v16 :- v15v16,v15.
v15v29 :- not v17v29,not v10v29,not v25v29,not v6v29,not v11v29,not v19v29,not v3v29,not v15v16,not v15v10,not v15v9,not v15v11,not v15v25,not v29v15.
v29 :- v15v29,v15.
v16v17 :- not v29v17,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 v29v15,not v10v15,not v9v15,not v11v15,not v25v15,not v16v11,not v16v9,not v16v17,not v15v16.
v15 :- v16v15,v16.
v16v11 :- not v15v11,not v17v11,not v25v11,not v29v11,not v16v15,not v16v9,not v16v17,not v11v16.
v11 :- v16v11,v16.
v17v19 :- not v7v19,not v3v19,not v8v19,not v29v19,not v17v29,not v17v26,not v17v11,not v17v7,not v17v16,not v19v17.
v19 :- v17v19,v17.
v17v16 :- not v11v16,not v15v16,not v9v16,not v17v29,not v17v26,not v17v11,not v17v7,not v17v19,not v16v17.
v16 :- v17v16,v17.
v17v7 :- not v8v7,not v19v7,not v13v7,not v26v7,not v17v29,not v17v26,not v17v11,not v17v16,not v17v19,not v7v17.
v7 :- v17v7,v17.
v17v11 :- not v16v11,not v15v11,not v25v11,not v29v11,not v17v29,not v17v26,not v17v7,not v17v16,not v17v19,not v11v17.
v11 :- v17v11,v17.
v17v26 :- not v13v26,not v24v26,not v7v26,not v17v29,not v17v11,not v17v7,not v17v16,not v17v19,not v26v17.
v26 :- v17v26,v17.
v17v29 :- not v15v29,not v10v29,not v25v29,not v6v29,not v11v29,not v19v29,not v3v29,not v17v26,not v17v11,not v17v7,not v17v16,not v17v19,not v29v17.
v29 :- v17v29,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 v30v14,not v22v14,not v6v14,not v27v14,not v20v14,not v21v14,not v31v14,not v28v14,not v18v12,not v18v27,not v18v5,not v18v21,not v14v18.
v14 :- v18v14,v18.
v18v5 :- not v9v5,not v12v5,not v27v5,not v31v5,not v18v12,not v18v27,not v18v14,not v18v21,not v5v18.
v5 :- v18v5,v18.
v18v27 :- not v14v27,not v5v27,not v31v27,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.
v19v29 :- not v15v29,not v17v29,not v10v29,not v25v29,not v6v29,not v11v29,not v3v29,not v19v7,not v19v3,not v19v17,not v19v8,not v29v19.
v29 :- v19v29,v19.
v19v8 :- not v3v8,not v7v8,not v13v8,not v30v8,not v19v7,not v19v3,not v19v17,not v19v29,not v8v19.
v8 :- v19v8,v19.
v19v17 :- not v29v17,not v26v17,not v11v17,not v7v17,not v16v17,not v19v7,not v19v3,not v19v8,not v19v29,not v17v19.
v17 :- v19v17,v19.
v19v3 :- not v6v3,not v8v3,not v30v3,not v28v3,not v29v3,not v19v7,not v19v17,not v19v8,not v19v29,not v3v19.
v3 :- v19v3,v19.
v19v7 :- not v8v7,not v13v7,not v17v7,not v26v7,not v19v3,not v19v17,not v19v8,not v19v29,not v7v19.
v7 :- v19v7,v19.
v20v23 :- not v24v23,not v22v23,not v4v23,not v2v23,not v31v23,not v20v31,not v20v14,not v20v22,not v23v20.
v23 :- v20v23,v20.
v20v22 :- not v30v22,not v14v22,not v23v22,not v4v22,not v20v31,not v20v14,not v20v23,not v22v20.
v22 :- v20v22,v20.
v20v14 :- not v30v14,not v22v14,not v6v14,not v18v14,not v27v14,not v21v14,not v31v14,not v28v14,not v20v31,not v20v22,not v20v23,not v14v20.
v14 :- v20v14,v20.
v20v31 :- not v14v31,not v2v31,not v23v31,not v5v31,not v27v31,not v20v14,not v20v22,not v20v23,not v31v20.
v31 :- v20v31,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 v30v14,not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v31v14,not v28v14,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 v29v10,not v9v10,not v6v10,not v12v10,not v15v10,not v21v6,not v21v12,not v21v14,not v21v18,not v10v21.
v10 :- v21v10,v21.
v21v6 :- not v28v6,not v3v6,not v10v6,not v14v6,not v29v6,not v21v10,not v21v12,not v21v14,not v21v18,not v6v21.
v6 :- v21v6,v21.
v22v20 :- not v31v20,not v14v20,not v23v20,not v22v30,not v22v14,not v22v23,not v22v4,not v20v22.
v20 :- v22v20,v22.
v22v4 :- not v24v4,not v13v4,not v23v4,not v30v4,not v22v30,not v22v14,not v22v23,not v22v20,not v4v22.
v4 :- v22v4,v22.
v22v23 :- not v24v23,not v4v23,not v2v23,not v20v23,not v31v23,not v22v30,not v22v14,not v22v4,not v22v20,not v23v22.
v23 :- v22v23,v22.
v22v14 :- not v30v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v31v14,not v28v14,not v22v30,not v22v23,not v22v4,not v22v20,not v14v22.
v14 :- v22v14,v22.
v22v30 :- not v14v30,not v13v30,not v3v30,not v4v30,not v28v30,not v8v30,not v22v14,not v22v23,not v22v4,not v22v20,not v30v22.
v30 :- v22v30,v22.
v23v31 :- not v20v31,not v14v31,not v2v31,not v5v31,not v27v31,not v23v24,not v23v22,not v23v4,not v23v2,not v23v20,not v31v23.
v31 :- v23v31,v23.
v23v20 :- not v31v20,not v14v20,not v22v20,not v23v24,not v23v22,not v23v4,not v23v2,not v23v31,not v20v23.
v20 :- v23v20,v23.
v23v2 :- not v24v2,not v31v2,not v23v24,not v23v22,not v23v4,not v23v20,not v23v31,not v2v23.
v1 :- v23v2,v23.
v23v4 :- not v24v4,not v13v4,not v22v4,not v30v4,not v23v24,not v23v22,not v23v2,not v23v20,not v23v31,not v4v23.
v4 :- v23v4,v23.
v23v22 :- not v30v22,not v14v22,not v4v22,not v20v22,not v23v24,not v23v4,not v23v2,not v23v20,not v23v31,not v22v23.
v22 :- v23v22,v23.
v23v24 :- not v13v24,not v4v24,not v2v24,not v26v24,not v23v22,not v23v4,not v23v2,not v23v20,not v23v31,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 v31v2,not v24v23,not v24v13,not v24v4,not v24v26,not v2v24.
v1 :- v24v2,v24.
v24v4 :- not v13v4,not v22v4,not v23v4,not v30v4,not v24v23,not v24v13,not v24v2,not v24v26,not v4v24.
v4 :- v24v4,v24.
v24v13 :- not v30v13,not v4v13,not v8v13,not v7v13,not v26v13,not v24v23,not v24v4,not v24v2,not v24v26,not v13v24.
v13 :- v24v13,v24.
v24v23 :- not v22v23,not v4v23,not v2v23,not v20v23,not v31v23,not v24v13,not v24v4,not v24v2,not v24v26,not v23v24.
v23 :- v24v23,v24.
v25v11 :- not v16v11,not v15v11,not v17v11,not v29v11,not v25v29,not v25v15,not v11v25.
v11 :- v25v11,v25.
v25v15 :- not v29v15,not v16v15,not v10v15,not v9v15,not v11v15,not v25v29,not v25v11,not v15v25.
v15 :- v25v15,v25.
v25v29 :- not v15v29,not v17v29,not v10v29,not v6v29,not v11v29,not v19v29,not v3v29,not v25v15,not v25v11,not v29v25.
v29 :- v25v29,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 v30v13,not v4v13,not v8v13,not v7v13,not v26v17,not v26v24,not v26v7,not v13v26.
v13 :- v26v13,v26.
v26v17 :- not v29v17,not v11v17,not v7v17,not v16v17,not v19v17,not v26v13,not v26v24,not v26v7,not v17v26.
v17 :- v26v17,v26.
v27v31 :- not v20v31,not v14v31,not v2v31,not v23v31,not v5v31,not v27v18,not v27v14,not v27v5,not v31v27.
v31 :- v27v31,v27.
v27v5 :- not v9v5,not v12v5,not v18v5,not v31v5,not v27v18,not v27v14,not v27v31,not v5v27.
v5 :- v27v5,v27.
v27v14 :- not v30v14,not v22v14,not v6v14,not v18v14,not v20v14,not v21v14,not v31v14,not v28v14,not v27v18,not v27v5,not v27v31,not v14v27.
v14 :- v27v14,v27.
v27v18 :- not v12v18,not v5v18,not v14v18,not v21v18,not v27v14,not v27v5,not v27v31,not v18v27.
v18 :- v27v18,v27.
v28v30 :- not v22v30,not v14v30,not v13v30,not v3v30,not v4v30,not v8v30,not v28v6,not v28v14,not v28v3,not v30v28.
v30 :- v28v30,v28.
v28v3 :- not v6v3,not v8v3,not v19v3,not v30v3,not v29v3,not v28v6,not v28v14,not v28v30,not v3v28.
v3 :- v28v3,v28.
v28v14 :- not v30v14,not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v31v14,not v28v6,not v28v3,not v28v30,not v14v28.
v14 :- v28v14,v28.
v28v6 :- not v3v6,not v21v6,not v10v6,not v14v6,not v29v6,not v28v14,not v28v3,not v28v30,not v6v28.
v6 :- v28v6,v28.
v29v3 :- not v6v3,not v8v3,not v19v3,not v30v3,not v28v3,not v29v15,not v29v17,not v29v10,not v29v25,not v29v6,not v29v11,not v29v19,not v3v29.
v3 :- v29v3,v29.
v29v19 :- not v7v19,not v3v19,not v17v19,not v8v19,not v29v15,not v29v17,not v29v10,not v29v25,not v29v6,not v29v11,not v29v3,not v19v29.
v19 :- v29v19,v29.
v29v11 :- not v16v11,not v15v11,not v17v11,not v25v11,not v29v15,not v29v17,not v29v10,not v29v25,not v29v6,not v29v19,not v29v3,not v11v29.
v11 :- v29v11,v29.
v29v6 :- not v28v6,not v3v6,not v21v6,not v10v6,not v14v6,not v29v15,not v29v17,not v29v10,not v29v25,not v29v11,not v29v19,not v29v3,not v6v29.
v6 :- v29v6,v29.
v29v25 :- not v15v25,not v11v25,not v29v15,not v29v17,not v29v10,not v29v6,not v29v11,not v29v19,not v29v3,not v25v29.
v25 :- v29v25,v29.
v29v10 :- not v9v10,not v6v10,not v12v10,not v21v10,not v15v10,not v29v15,not v29v17,not v29v25,not v29v6,not v29v11,not v29v19,not v29v3,not v10v29.
v10 :- v29v10,v29.
v29v17 :- not v26v17,not v11v17,not v7v17,not v16v17,not v19v17,not v29v15,not v29v10,not v29v25,not v29v6,not v29v11,not v29v19,not v29v3,not v17v29.
v17 :- v29v17,v29.
v29v15 :- not v16v15,not v10v15,not v9v15,not v11v15,not v25v15,not v29v17,not v29v10,not v29v25,not v29v6,not v29v11,not v29v19,not v29v3,not v15v29.
v15 :- v29v15,v29.
v30v8 :- not v3v8,not v7v8,not v13v8,not v19v8,not v30v22,not v30v14,not v30v13,not v30v3,not v30v4,not v30v28,not v8v30.
v8 :- v30v8,v30.
v30v28 :- not v6v28,not v14v28,not v3v28,not v30v22,not v30v14,not v30v13,not v30v3,not v30v4,not v30v8,not v28v30.
v28 :- v30v28,v30.
v30v4 :- not v24v4,not v13v4,not v22v4,not v23v4,not v30v22,not v30v14,not v30v13,not v30v3,not v30v28,not v30v8,not v4v30.
v4 :- v30v4,v30.
v30v3 :- not v6v3,not v8v3,not v19v3,not v28v3,not v29v3,not v30v22,not v30v14,not v30v13,not v30v4,not v30v28,not v30v8,not v3v30.
v3 :- v30v3,v30.
v30v13 :- not v24v13,not v4v13,not v8v13,not v7v13,not v26v13,not v30v22,not v30v14,not v30v3,not v30v4,not v30v28,not v30v8,not v13v30.
v13 :- v30v13,v30.
v30v14 :- not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v31v14,not v28v14,not v30v22,not v30v13,not v30v3,not v30v4,not v30v28,not v30v8,not v14v30.
v14 :- v30v14,v30.
v30v22 :- not v14v22,not v23v22,not v4v22,not v20v22,not v30v14,not v30v13,not v30v3,not v30v4,not v30v28,not v30v8,not v22v30.
v22 :- v30v22,v30.
v31v27 :- not v18v27,not v14v27,not v5v27,not v31v20,not v31v14,not v31v2,not v31v23,not v31v5,not v27v31.
v27 :- v31v27,v31.
v31v5 :- not v9v5,not v12v5,not v18v5,not v27v5,not v31v20,not v31v14,not v31v2,not v31v23,not v31v27,not v5v31.
v5 :- v31v5,v31.
v31v23 :- not v24v23,not v22v23,not v4v23,not v2v23,not v20v23,not v31v20,not v31v14,not v31v2,not v31v5,not v31v27,not v23v31.
v23 :- v31v23,v31.
v31v2 :- not v23v2,not v24v2,not v31v20,not v31v14,not v31v23,not v31v5,not v31v27,not v2v31.
v1 :- v31v2,v31.
v31v14 :- not v30v14,not v22v14,not v6v14,not v18v14,not v27v14,not v20v14,not v21v14,not v28v14,not v31v20,not v31v2,not v31v23,not v31v5,not v31v27,not v14v31.
v14 :- v31v14,v31.
v31v20 :- not v14v20,not v22v20,not v23v20,not v31v14,not v31v2,not v31v23,not v31v5,not v31v27,not v20v31.
v20 :- v31v20,v31.
s :- v1.
