h2 :- not h.
h2 :- not h2.
h :- not v2n3,not v2n2,not v2n1.
h :- not v3n3,not v3n2,not v3n1.
h :- not v4n3,not v4n2,not v4n1.
h :- not v5n3,not v5n2,not v5n1.
h :- not v6n3,not v6n2,not v6n1.
h :- not v7n3,not v7n2,not v7n1.
h :- not v8n3,not v8n2,not v8n1.
h :- not v9n3,not v9n2,not v9n1.
h :- not v10n3,not v10n2,not v10n1.
h :- not v11n3,not v11n2,not v11n1.
h :- not v12n3,not v12n2,not v12n1.
h :- not v13n3,not v13n2,not v13n1.
h :- not v14n3,not v14n2,not v14n1.
h :- not v15n3,not v15n2,not v15n1.
h :- not v16n3,not v16n2,not v16n1.
h :- not v17n3,not v17n2,not v17n1.
h :- not v18n3,not v18n2,not v18n1.
h :- not v19n3,not v19n2,not v19n1.
h :- not v20n3,not v20n2,not v20n1.
h :- not v21n3,not v21n2,not v21n1.
h :- not v22n3,not v22n2,not v22n1.
h :- not v23n3,not v23n2,not v23n1.
h :- not v24n3,not v24n2,not v24n1.
h :- not v25n3,not v25n2,not v25n1.
h :- not v26n3,not v26n2,not v26n1.
h :- not v27n3,not v27n2,not v27n1.
h :- not v28n3,not v28n2,not v28n1.
h :- not v29n3,not v29n2,not v29n1.
h :- not v30n3,not v30n2,not v30n1.
h :- not v31n3,not v31n2,not v31n1.
h :- not v32n3,not v32n2,not v32n1.
h :- not v33n3,not v33n2,not v33n1.
h :- not v34n3,not v34n2,not v34n1.
h :- not v35n3,not v35n2,not v35n1.
h :- not v36n3,not v36n2,not v36n1.
h :- not v37n3,not v37n2,not v37n1.
h :- not v38n3,not v38n2,not v38n1.
h :- not v39n3,not v39n2,not v39n1.
h :- not v40n3,not v40n2,not v40n1.
h :- not v41n3,not v41n2,not v41n1.
v2n1 :- not v4n1,not v3n1,not v2n3,not v2n2.
v2n2 :- not v4n2,not v3n2,not v2n3,not v2n1.
v2n3 :- not v4n3,not v3n3,not v2n2,not v2n1.
v3n1 :- not v5n1,not v2n1,not v3n3,not v3n2.
v3n2 :- not v5n2,not v2n2,not v3n3,not v3n1.
v3n3 :- not v5n3,not v2n3,not v3n2,not v3n1.
v4n1 :- not v6n1,not v5n1,not v2n1,not v4n3,not v4n2.
v4n2 :- not v6n2,not v5n2,not v2n2,not v4n3,not v4n1.
v4n3 :- not v6n3,not v5n3,not v2n3,not v4n2,not v4n1.
v5n1 :- not v7n1,not v4n1,not v3n1,not v5n3,not v5n2.
v5n2 :- not v7n2,not v4n2,not v3n2,not v5n3,not v5n1.
v5n3 :- not v7n3,not v4n3,not v3n3,not v5n2,not v5n1.
v6n1 :- not v8n1,not v7n1,not v4n1,not v6n3,not v6n2.
v6n2 :- not v8n2,not v7n2,not v4n2,not v6n3,not v6n1.
v6n3 :- not v8n3,not v7n3,not v4n3,not v6n2,not v6n1.
v7n1 :- not v9n1,not v6n1,not v5n1,not v7n3,not v7n2.
v7n2 :- not v9n2,not v6n2,not v5n2,not v7n3,not v7n1.
v7n3 :- not v9n3,not v6n3,not v5n3,not v7n2,not v7n1.
v8n1 :- not v10n1,not v9n1,not v6n1,not v8n3,not v8n2.
v8n2 :- not v10n2,not v9n2,not v6n2,not v8n3,not v8n1.
v8n3 :- not v10n3,not v9n3,not v6n3,not v8n2,not v8n1.
v9n1 :- not v11n1,not v8n1,not v7n1,not v9n3,not v9n2.
v9n2 :- not v11n2,not v8n2,not v7n2,not v9n3,not v9n1.
v9n3 :- not v11n3,not v8n3,not v7n3,not v9n2,not v9n1.
v10n1 :- not v12n1,not v11n1,not v8n1,not v10n3,not v10n2.
v10n2 :- not v12n2,not v11n2,not v8n2,not v10n3,not v10n1.
v10n3 :- not v12n3,not v11n3,not v8n3,not v10n2,not v10n1.
v11n1 :- not v13n1,not v10n1,not v9n1,not v11n3,not v11n2.
v11n2 :- not v13n2,not v10n2,not v9n2,not v11n3,not v11n1.
v11n3 :- not v13n3,not v10n3,not v9n3,not v11n2,not v11n1.
v12n1 :- not v14n1,not v13n1,not v10n1,not v12n3,not v12n2.
v12n2 :- not v14n2,not v13n2,not v10n2,not v12n3,not v12n1.
v12n3 :- not v14n3,not v13n3,not v10n3,not v12n2,not v12n1.
v13n1 :- not v15n1,not v12n1,not v11n1,not v13n3,not v13n2.
v13n2 :- not v15n2,not v12n2,not v11n2,not v13n3,not v13n1.
v13n3 :- not v15n3,not v12n3,not v11n3,not v13n2,not v13n1.
v14n1 :- not v16n1,not v15n1,not v12n1,not v14n3,not v14n2.
v14n2 :- not v16n2,not v15n2,not v12n2,not v14n3,not v14n1.
v14n3 :- not v16n3,not v15n3,not v12n3,not v14n2,not v14n1.
v15n1 :- not v17n1,not v14n1,not v13n1,not v15n3,not v15n2.
v15n2 :- not v17n2,not v14n2,not v13n2,not v15n3,not v15n1.
v15n3 :- not v17n3,not v14n3,not v13n3,not v15n2,not v15n1.
v16n1 :- not v18n1,not v17n1,not v14n1,not v16n3,not v16n2.
v16n2 :- not v18n2,not v17n2,not v14n2,not v16n3,not v16n1.
v16n3 :- not v18n3,not v17n3,not v14n3,not v16n2,not v16n1.
v17n1 :- not v19n1,not v16n1,not v15n1,not v17n3,not v17n2.
v17n2 :- not v19n2,not v16n2,not v15n2,not v17n3,not v17n1.
v17n3 :- not v19n3,not v16n3,not v15n3,not v17n2,not v17n1.
v18n1 :- not v20n1,not v19n1,not v16n1,not v18n3,not v18n2.
v18n2 :- not v20n2,not v19n2,not v16n2,not v18n3,not v18n1.
v18n3 :- not v20n3,not v19n3,not v16n3,not v18n2,not v18n1.
v19n1 :- not v21n1,not v18n1,not v17n1,not v19n3,not v19n2.
v19n2 :- not v21n2,not v18n2,not v17n2,not v19n3,not v19n1.
v19n3 :- not v21n3,not v18n3,not v17n3,not v19n2,not v19n1.
v20n1 :- not v22n1,not v21n1,not v18n1,not v20n3,not v20n2.
v20n2 :- not v22n2,not v21n2,not v18n2,not v20n3,not v20n1.
v20n3 :- not v22n3,not v21n3,not v18n3,not v20n2,not v20n1.
v21n1 :- not v23n1,not v20n1,not v19n1,not v21n3,not v21n2.
v21n2 :- not v23n2,not v20n2,not v19n2,not v21n3,not v21n1.
v21n3 :- not v23n3,not v20n3,not v19n3,not v21n2,not v21n1.
v22n1 :- not v24n1,not v23n1,not v20n1,not v22n3,not v22n2.
v22n2 :- not v24n2,not v23n2,not v20n2,not v22n3,not v22n1.
v22n3 :- not v24n3,not v23n3,not v20n3,not v22n2,not v22n1.
v23n1 :- not v25n1,not v22n1,not v21n1,not v23n3,not v23n2.
v23n2 :- not v25n2,not v22n2,not v21n2,not v23n3,not v23n1.
v23n3 :- not v25n3,not v22n3,not v21n3,not v23n2,not v23n1.
v24n1 :- not v26n1,not v25n1,not v22n1,not v24n3,not v24n2.
v24n2 :- not v26n2,not v25n2,not v22n2,not v24n3,not v24n1.
v24n3 :- not v26n3,not v25n3,not v22n3,not v24n2,not v24n1.
v25n1 :- not v27n1,not v24n1,not v23n1,not v25n3,not v25n2.
v25n2 :- not v27n2,not v24n2,not v23n2,not v25n3,not v25n1.
v25n3 :- not v27n3,not v24n3,not v23n3,not v25n2,not v25n1.
v26n1 :- not v28n1,not v27n1,not v24n1,not v26n3,not v26n2.
v26n2 :- not v28n2,not v27n2,not v24n2,not v26n3,not v26n1.
v26n3 :- not v28n3,not v27n3,not v24n3,not v26n2,not v26n1.
v27n1 :- not v29n1,not v26n1,not v25n1,not v27n3,not v27n2.
v27n2 :- not v29n2,not v26n2,not v25n2,not v27n3,not v27n1.
v27n3 :- not v29n3,not v26n3,not v25n3,not v27n2,not v27n1.
v28n1 :- not v30n1,not v29n1,not v26n1,not v28n3,not v28n2.
v28n2 :- not v30n2,not v29n2,not v26n2,not v28n3,not v28n1.
v28n3 :- not v30n3,not v29n3,not v26n3,not v28n2,not v28n1.
v29n1 :- not v31n1,not v28n1,not v27n1,not v29n3,not v29n2.
v29n2 :- not v31n2,not v28n2,not v27n2,not v29n3,not v29n1.
v29n3 :- not v31n3,not v28n3,not v27n3,not v29n2,not v29n1.
v30n1 :- not v32n1,not v31n1,not v28n1,not v30n3,not v30n2.
v30n2 :- not v32n2,not v31n2,not v28n2,not v30n3,not v30n1.
v30n3 :- not v32n3,not v31n3,not v28n3,not v30n2,not v30n1.
v31n1 :- not v33n1,not v30n1,not v29n1,not v31n3,not v31n2.
v31n2 :- not v33n2,not v30n2,not v29n2,not v31n3,not v31n1.
v31n3 :- not v33n3,not v30n3,not v29n3,not v31n2,not v31n1.
v32n1 :- not v34n1,not v33n1,not v30n1,not v32n3,not v32n2.
v32n2 :- not v34n2,not v33n2,not v30n2,not v32n3,not v32n1.
v32n3 :- not v34n3,not v33n3,not v30n3,not v32n2,not v32n1.
v33n1 :- not v35n1,not v32n1,not v31n1,not v33n3,not v33n2.
v33n2 :- not v35n2,not v32n2,not v31n2,not v33n3,not v33n1.
v33n3 :- not v35n3,not v32n3,not v31n3,not v33n2,not v33n1.
v34n1 :- not v36n1,not v35n1,not v32n1,not v34n3,not v34n2.
v34n2 :- not v36n2,not v35n2,not v32n2,not v34n3,not v34n1.
v34n3 :- not v36n3,not v35n3,not v32n3,not v34n2,not v34n1.
v35n1 :- not v37n1,not v34n1,not v33n1,not v35n3,not v35n2.
v35n2 :- not v37n2,not v34n2,not v33n2,not v35n3,not v35n1.
v35n3 :- not v37n3,not v34n3,not v33n3,not v35n2,not v35n1.
v36n1 :- not v38n1,not v37n1,not v34n1,not v36n3,not v36n2.
v36n2 :- not v38n2,not v37n2,not v34n2,not v36n3,not v36n1.
v36n3 :- not v38n3,not v37n3,not v34n3,not v36n2,not v36n1.
v37n1 :- not v39n1,not v36n1,not v35n1,not v37n3,not v37n2.
v37n2 :- not v39n2,not v36n2,not v35n2,not v37n3,not v37n1.
v37n3 :- not v39n3,not v36n3,not v35n3,not v37n2,not v37n1.
v38n1 :- not v40n1,not v39n1,not v36n1,not v38n3,not v38n2.
v38n2 :- not v40n2,not v39n2,not v36n2,not v38n3,not v38n1.
v38n3 :- not v40n3,not v39n3,not v36n3,not v38n2,not v38n1.
v39n1 :- not v41n1,not v38n1,not v37n1,not v39n3,not v39n2.
v39n2 :- not v41n2,not v38n2,not v37n2,not v39n3,not v39n1.
v39n3 :- not v41n3,not v38n3,not v37n3,not v39n2,not v39n1.
v40n1 :- not v41n1,not v38n1,not v40n3,not v40n2.
v40n2 :- not v41n2,not v38n2,not v40n3,not v40n1.
v40n3 :- not v41n3,not v38n3,not v40n2,not v40n1.
v41n1 :- not v40n1,not v39n1,not v41n3,not v41n2.
v41n2 :- not v40n2,not v39n2,not v41n3,not v41n1.
v41n3 :- not v40n3,not v39n3,not v41n2,not v41n1.
s :- h2.
s :- v2n1.
s :- v2n2.
s :- v2n3.
s :- v3n1.
s :- v3n2.
s :- v3n3.
s :- v4n1.
s :- v4n2.
s :- v4n3.
s :- v5n1.
s :- v5n2.
s :- v5n3.
s :- v6n1.
s :- v6n2.
s :- v6n3.
s :- v7n1.
s :- v7n2.
s :- v7n3.
s :- v8n1.
s :- v8n2.
s :- v8n3.
s :- v9n1.
s :- v9n2.
s :- v9n3.
s :- v10n1.
s :- v10n2.
s :- v10n3.
s :- v11n1.
s :- v11n2.
s :- v11n3.
s :- v12n1.
s :- v12n2.
s :- v12n3.
s :- v13n1.
s :- v13n2.
s :- v13n3.
s :- v14n1.
s :- v14n2.
s :- v14n3.
s :- v15n1.
s :- v15n2.
s :- v15n3.
s :- v16n1.
s :- v16n2.
s :- v16n3.
s :- v17n1.
s :- v17n2.
s :- v17n3.
s :- v18n1.
s :- v18n2.
s :- v18n3.
s :- v19n1.
s :- v19n2.
s :- v19n3.
s :- v20n1.
s :- v20n2.
s :- v20n3.
s :- v21n1.
s :- v21n2.
s :- v21n3.
s :- v22n1.
s :- v22n2.
s :- v22n3.
s :- v23n1.
s :- v23n2.
s :- v23n3.
s :- v24n1.
s :- v24n2.
s :- v24n3.
s :- v25n1.
s :- v25n2.
s :- v25n3.
s :- v26n1.
s :- v26n2.
s :- v26n3.
s :- v27n1.
s :- v27n2.
s :- v27n3.
s :- v28n1.
s :- v28n2.
s :- v28n3.
s :- v29n1.
s :- v29n2.
s :- v29n3.
s :- v30n1.
s :- v30n2.
s :- v30n3.
s :- v31n1.
s :- v31n2.
s :- v31n3.
s :- v32n1.
s :- v32n2.
s :- v32n3.
s :- v33n1.
s :- v33n2.
s :- v33n3.
s :- v34n1.
s :- v34n2.
s :- v34n3.
s :- v35n1.
s :- v35n2.
s :- v35n3.
s :- v36n1.
s :- v36n2.
s :- v36n3.
s :- v37n1.
s :- v37n2.
s :- v37n3.
s :- v38n1.
s :- v38n2.
s :- v38n3.
s :- v39n1.
s :- v39n2.
s :- v39n3.
s :- v40n1.
s :- v40n2.
s :- v40n3.
s :- v41n1.
s :- v41n2.
s :- v41n3.
