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.
h :- not v42n3,not v42n2,not v42n1.
h :- not v43n3,not v43n2,not v43n1.
h :- not v44n3,not v44n2,not v44n1.
h :- not v45n3,not v45n2,not v45n1.
h :- not v46n3,not v46n2,not v46n1.
h :- not v47n3,not v47n2,not v47n1.
h :- not v48n3,not v48n2,not v48n1.
h :- not v49n3,not v49n2,not v49n1.
h :- not v50n3,not v50n2,not v50n1.
h :- not v51n3,not v51n2,not v51n1.
h :- not v52n3,not v52n2,not v52n1.
h :- not v53n3,not v53n2,not v53n1.
h :- not v54n3,not v54n2,not v54n1.
h :- not v55n3,not v55n2,not v55n1.
h :- not v56n3,not v56n2,not v56n1.
h :- not v57n3,not v57n2,not v57n1.
h :- not v58n3,not v58n2,not v58n1.
h :- not v59n3,not v59n2,not v59n1.
h :- not v60n3,not v60n2,not v60n1.
h :- not v61n3,not v61n2,not v61n1.
h :- not v62n3,not v62n2,not v62n1.
h :- not v63n3,not v63n2,not v63n1.
h :- not v64n3,not v64n2,not v64n1.
h :- not v65n3,not v65n2,not v65n1.
h :- not v66n3,not v66n2,not v66n1.
h :- not v67n3,not v67n2,not v67n1.
h :- not v68n3,not v68n2,not v68n1.
h :- not v69n3,not v69n2,not v69n1.
h :- not v70n3,not v70n2,not v70n1.
h :- not v71n3,not v71n2,not v71n1.
h :- not v72n3,not v72n2,not v72n1.
h :- not v73n3,not v73n2,not v73n1.
h :- not v74n3,not v74n2,not v74n1.
h :- not v75n3,not v75n2,not v75n1.
h :- not v76n3,not v76n2,not v76n1.
h :- not v77n3,not v77n2,not v77n1.
h :- not v78n3,not v78n2,not v78n1.
h :- not v79n3,not v79n2,not v79n1.
h :- not v80n3,not v80n2,not v80n1.
h :- not v81n3,not v81n2,not v81n1.
h :- not v82n3,not v82n2,not v82n1.
h :- not v83n3,not v83n2,not v83n1.
h :- not v84n3,not v84n2,not v84n1.
h :- not v85n3,not v85n2,not v85n1.
h :- not v86n3,not v86n2,not v86n1.
h :- not v87n3,not v87n2,not v87n1.
h :- not v88n3,not v88n2,not v88n1.
h :- not v89n3,not v89n2,not v89n1.
h :- not v90n3,not v90n2,not v90n1.
h :- not v91n3,not v91n2,not v91n1.
h :- not v92n3,not v92n2,not v92n1.
h :- not v93n3,not v93n2,not v93n1.
h :- not v94n3,not v94n2,not v94n1.
h :- not v95n3,not v95n2,not v95n1.
h :- not v96n3,not v96n2,not v96n1.
h :- not v97n3,not v97n2,not v97n1.
h :- not v98n3,not v98n2,not v98n1.
h :- not v99n3,not v99n2,not v99n1.
h :- not v100n3,not v100n2,not v100n1.
h :- not v101n3,not v101n2,not v101n1.
h :- not v102n3,not v102n2,not v102n1.
h :- not v103n3,not v103n2,not v103n1.
h :- not v104n3,not v104n2,not v104n1.
h :- not v105n3,not v105n2,not v105n1.
h :- not v106n3,not v106n2,not v106n1.
h :- not v107n3,not v107n2,not v107n1.
h :- not v108n3,not v108n2,not v108n1.
h :- not v109n3,not v109n2,not v109n1.
h :- not v110n3,not v110n2,not v110n1.
h :- not v111n3,not v111n2,not v111n1.
h :- not v112n3,not v112n2,not v112n1.
h :- not v113n3,not v113n2,not v113n1.
h :- not v114n3,not v114n2,not v114n1.
h :- not v115n3,not v115n2,not v115n1.
h :- not v116n3,not v116n2,not v116n1.
h :- not v117n3,not v117n2,not v117n1.
h :- not v118n3,not v118n2,not v118n1.
h :- not v119n3,not v119n2,not v119n1.
h :- not v120n3,not v120n2,not v120n1.
h :- not v121n3,not v121n2,not v121n1.
h :- not v122n3,not v122n2,not v122n1.
h :- not v123n3,not v123n2,not v123n1.
h :- not v124n3,not v124n2,not v124n1.
h :- not v125n3,not v125n2,not v125n1.
h :- not v126n3,not v126n2,not v126n1.
h :- not v127n3,not v127n2,not v127n1.
h :- not v128n3,not v128n2,not v128n1.
h :- not v129n3,not v129n2,not v129n1.
h :- not v130n3,not v130n2,not v130n1.
h :- not v131n3,not v131n2,not v131n1.
h :- not v132n3,not v132n2,not v132n1.
h :- not v133n3,not v133n2,not v133n1.
h :- not v134n3,not v134n2,not v134n1.
h :- not v135n3,not v135n2,not v135n1.
h :- not v136n3,not v136n2,not v136n1.
h :- not v137n3,not v137n2,not v137n1.
h :- not v138n3,not v138n2,not v138n1.
h :- not v139n3,not v139n2,not v139n1.
h :- not v140n3,not v140n2,not v140n1.
h :- not v141n3,not v141n2,not v141n1.
h :- not v142n3,not v142n2,not v142n1.
h :- not v143n3,not v143n2,not v143n1.
h :- not v144n3,not v144n2,not v144n1.
h :- not v145n3,not v145n2,not v145n1.
h :- not v146n3,not v146n2,not v146n1.
h :- not v147n3,not v147n2,not v147n1.
h :- not v148n3,not v148n2,not v148n1.
h :- not v149n3,not v149n2,not v149n1.
h :- not v150n3,not v150n2,not v150n1.
h :- not v151n3,not v151n2,not v151n1.
h :- not v152n3,not v152n2,not v152n1.
h :- not v153n3,not v153n2,not v153n1.
h :- not v154n3,not v154n2,not v154n1.
h :- not v155n3,not v155n2,not v155n1.
h :- not v156n3,not v156n2,not v156n1.
h :- not v157n3,not v157n2,not v157n1.
h :- not v158n3,not v158n2,not v158n1.
h :- not v159n3,not v159n2,not v159n1.
h :- not v160n3,not v160n2,not v160n1.
h :- not v161n3,not v161n2,not v161n1.
h :- not v162n3,not v162n2,not v162n1.
h :- not v163n3,not v163n2,not v163n1.
h :- not v164n3,not v164n2,not v164n1.
h :- not v165n3,not v165n2,not v165n1.
h :- not v166n3,not v166n2,not v166n1.
h :- not v167n3,not v167n2,not v167n1.
h :- not v168n3,not v168n2,not v168n1.
h :- not v169n3,not v169n2,not v169n1.
h :- not v170n3,not v170n2,not v170n1.
h :- not v171n3,not v171n2,not v171n1.
h :- not v172n3,not v172n2,not v172n1.
h :- not v173n3,not v173n2,not v173n1.
h :- not v174n3,not v174n2,not v174n1.
h :- not v175n3,not v175n2,not v175n1.
h :- not v176n3,not v176n2,not v176n1.
h :- not v177n3,not v177n2,not v177n1.
h :- not v178n3,not v178n2,not v178n1.
h :- not v179n3,not v179n2,not v179n1.
h :- not v180n3,not v180n2,not v180n1.
h :- not v181n3,not v181n2,not v181n1.
h :- not v182n3,not v182n2,not v182n1.
h :- not v183n3,not v183n2,not v183n1.
h :- not v184n3,not v184n2,not v184n1.
h :- not v185n3,not v185n2,not v185n1.
h :- not v186n3,not v186n2,not v186n1.
h :- not v187n3,not v187n2,not v187n1.
h :- not v188n3,not v188n2,not v188n1.
h :- not v189n3,not v189n2,not v189n1.
h :- not v190n3,not v190n2,not v190n1.
h :- not v191n3,not v191n2,not v191n1.
h :- not v192n3,not v192n2,not v192n1.
h :- not v193n3,not v193n2,not v193n1.
h :- not v194n3,not v194n2,not v194n1.
h :- not v195n3,not v195n2,not v195n1.
h :- not v196n3,not v196n2,not v196n1.
h :- not v197n3,not v197n2,not v197n1.
h :- not v198n3,not v198n2,not v198n1.
h :- not v199n3,not v199n2,not v199n1.
h :- not v200n3,not v200n2,not v200n1.
h :- not v201n3,not v201n2,not v201n1.
v2n1 :- not v24n1,not v120n1,not v78n1,not v175n1,not v2n3,not v2n2.
v2n2 :- not v24n2,not v120n2,not v78n2,not v175n2,not v2n3,not v2n1.
v2n3 :- not v24n3,not v120n3,not v78n3,not v175n3,not v2n2,not v2n1.
v3n1 :- not v59n1,not v62n1,not v29n1,not v40n1,not v58n1,not v137n1,not v63n1,not v3n3,not v3n2.
v3n2 :- not v59n2,not v62n2,not v29n2,not v40n2,not v58n2,not v137n2,not v63n2,not v3n3,not v3n1.
v3n3 :- not v59n3,not v62n3,not v29n3,not v40n3,not v58n3,not v137n3,not v63n3,not v3n2,not v3n1.
v4n1 :- not v118n1,not v60n1,not v104n1,not v109n1,not v174n1,not v4n3,not v4n2.
v4n2 :- not v118n2,not v60n2,not v104n2,not v109n2,not v174n2,not v4n3,not v4n1.
v4n3 :- not v118n3,not v60n3,not v104n3,not v109n3,not v174n3,not v4n2,not v4n1.
v5n1 :- not v111n1,not v38n1,not v94n1,not v126n1,not v138n1,not v149n1,not v5n3,not v5n2.
v5n2 :- not v111n2,not v38n2,not v94n2,not v126n2,not v138n2,not v149n2,not v5n3,not v5n1.
v5n3 :- not v111n3,not v38n3,not v94n3,not v126n3,not v138n3,not v149n3,not v5n2,not v5n1.
v6n1 :- not v41n1,not v54n1,not v156n1,not v178n1,not v201n1,not v6n3,not v6n2.
v6n2 :- not v41n2,not v54n2,not v156n2,not v178n2,not v201n2,not v6n3,not v6n1.
v6n3 :- not v41n3,not v54n3,not v156n3,not v178n3,not v201n3,not v6n2,not v6n1.
v7n1 :- not v84n1,not v99n1,not v26n1,not v186n1,not v7n3,not v7n2.
v7n2 :- not v84n2,not v99n2,not v26n2,not v186n2,not v7n3,not v7n1.
v7n3 :- not v84n3,not v99n3,not v26n3,not v186n3,not v7n2,not v7n1.
v8n1 :- not v85n1,not v62n1,not v72n1,not v198n1,not v106n1,not v197n1,not v124n1,not v8n3,not v8n2.
v8n2 :- not v85n2,not v62n2,not v72n2,not v198n2,not v106n2,not v197n2,not v124n2,not v8n3,not v8n1.
v8n3 :- not v85n3,not v62n3,not v72n3,not v198n3,not v106n3,not v197n3,not v124n3,not v8n2,not v8n1.
v9n1 :- not v64n1,not v16n1,not v138n1,not v136n1,not v9n3,not v9n2.
v9n2 :- not v64n2,not v16n2,not v138n2,not v136n2,not v9n3,not v9n1.
v9n3 :- not v64n3,not v16n3,not v138n3,not v136n3,not v9n2,not v9n1.
v10n1 :- not v75n1,not v53n1,not v157n1,not v115n1,not v10n3,not v10n2.
v10n2 :- not v75n2,not v53n2,not v157n2,not v115n2,not v10n3,not v10n1.
v10n3 :- not v75n3,not v53n3,not v157n3,not v115n3,not v10n2,not v10n1.
v11n1 :- not v181n1,not v25n1,not v155n1,not v162n1,not v69n1,not v144n1,not v158n1,not v11n3,not v11n2.
v11n2 :- not v181n2,not v25n2,not v155n2,not v162n2,not v69n2,not v144n2,not v158n2,not v11n3,not v11n1.
v11n3 :- not v181n3,not v25n3,not v155n3,not v162n3,not v69n3,not v144n3,not v158n3,not v11n2,not v11n1.
v12n1 :- not v152n1,not v130n1,not v142n1,not v171n1,not v12n3,not v12n2.
v12n2 :- not v152n2,not v130n2,not v142n2,not v171n2,not v12n3,not v12n1.
v12n3 :- not v152n3,not v130n3,not v142n3,not v171n3,not v12n2,not v12n1.
v13n1 :- not v106n1,not v147n1,not v39n1,not v123n1,not v196n1,not v105n1,not v169n1,not v187n1,not v13n3,not v13n2.
v13n2 :- not v106n2,not v147n2,not v39n2,not v123n2,not v196n2,not v105n2,not v169n2,not v187n2,not v13n3,not v13n1.
v13n3 :- not v106n3,not v147n3,not v39n3,not v123n3,not v196n3,not v105n3,not v169n3,not v187n3,not v13n2,not v13n1.
v14n1 :- not v44n1,not v37n1,not v172n1,not v79n1,not v164n1,not v154n1,not v163n1,not v191n1,not v173n1,not v14n3,not v14n2.
v14n2 :- not v44n2,not v37n2,not v172n2,not v79n2,not v164n2,not v154n2,not v163n2,not v191n2,not v173n2,not v14n3,not v14n1.
v14n3 :- not v44n3,not v37n3,not v172n3,not v79n3,not v164n3,not v154n3,not v163n3,not v191n3,not v173n3,not v14n2,not v14n1.
v15n1 :- not v46n1,not v136n1,not v25n1,not v43n1,not v181n1,not v15n3,not v15n2.
v15n2 :- not v46n2,not v136n2,not v25n2,not v43n2,not v181n2,not v15n3,not v15n1.
v15n3 :- not v46n3,not v136n3,not v25n3,not v43n3,not v181n3,not v15n2,not v15n1.
v16n1 :- not v9n1,not v17n1,not v64n1,not v93n1,not v138n1,not v144n1,not v16n3,not v16n2.
v16n2 :- not v9n2,not v17n2,not v64n2,not v93n2,not v138n2,not v144n2,not v16n3,not v16n1.
v16n3 :- not v9n3,not v17n3,not v64n3,not v93n3,not v138n3,not v144n3,not v16n2,not v16n1.
v17n1 :- not v16n1,not v19n1,not v84n1,not v93n1,not v103n1,not v159n1,not v165n1,not v194n1,not v17n3,not v17n2.
v17n2 :- not v16n2,not v19n2,not v84n2,not v93n2,not v103n2,not v159n2,not v165n2,not v194n2,not v17n3,not v17n1.
v17n3 :- not v16n3,not v19n3,not v84n3,not v93n3,not v103n3,not v159n3,not v165n3,not v194n3,not v17n2,not v17n1.
v18n1 :- not v27n1,not v81n1,not v200n1,not v50n1,not v112n1,not v131n1,not v167n1,not v18n3,not v18n2.
v18n2 :- not v27n2,not v81n2,not v200n2,not v50n2,not v112n2,not v131n2,not v167n2,not v18n3,not v18n1.
v18n3 :- not v27n3,not v81n3,not v200n3,not v50n3,not v112n3,not v131n3,not v167n3,not v18n2,not v18n1.
v19n1 :- not v194n1,not v17n1,not v47n1,not v76n1,not v103n1,not v188n1,not v19n3,not v19n2.
v19n2 :- not v194n2,not v17n2,not v47n2,not v76n2,not v103n2,not v188n2,not v19n3,not v19n1.
v19n3 :- not v194n3,not v17n3,not v47n3,not v76n3,not v103n3,not v188n3,not v19n2,not v19n1.
v20n1 :- not v121n1,not v180n1,not v86n1,not v114n1,not v117n1,not v153n1,not v20n3,not v20n2.
v20n2 :- not v121n2,not v180n2,not v86n2,not v114n2,not v117n2,not v153n2,not v20n3,not v20n1.
v20n3 :- not v121n3,not v180n3,not v86n3,not v114n3,not v117n3,not v153n3,not v20n2,not v20n1.
v21n1 :- not v52n1,not v107n1,not v54n1,not v168n1,not v130n1,not v134n1,not v160n1,not v21n3,not v21n2.
v21n2 :- not v52n2,not v107n2,not v54n2,not v168n2,not v130n2,not v134n2,not v160n2,not v21n3,not v21n1.
v21n3 :- not v52n3,not v107n3,not v54n3,not v168n3,not v130n3,not v134n3,not v160n3,not v21n2,not v21n1.
v22n1 :- not v32n1,not v190n1,not v117n1,not v177n1,not v180n1,not v22n3,not v22n2.
v22n2 :- not v32n2,not v190n2,not v117n2,not v177n2,not v180n2,not v22n3,not v22n1.
v22n3 :- not v32n3,not v190n3,not v117n3,not v177n3,not v180n3,not v22n2,not v22n1.
v23n1 :- not v83n1,not v34n1,not v70n1,not v199n1,not v23n3,not v23n2.
v23n2 :- not v83n2,not v34n2,not v70n2,not v199n2,not v23n3,not v23n1.
v23n3 :- not v83n3,not v34n3,not v70n3,not v199n3,not v23n2,not v23n1.
v24n1 :- not v78n1,not v95n1,not v87n1,not v2n1,not v108n1,not v91n1,not v175n1,not v24n3,not v24n2.
v24n2 :- not v78n2,not v95n2,not v87n2,not v2n2,not v108n2,not v91n2,not v175n2,not v24n3,not v24n1.
v24n3 :- not v78n3,not v95n3,not v87n3,not v2n3,not v108n3,not v91n3,not v175n3,not v24n2,not v24n1.
v25n1 :- not v43n1,not v15n1,not v11n1,not v155n1,not v181n1,not v25n3,not v25n2.
v25n2 :- not v43n2,not v15n2,not v11n2,not v155n2,not v181n2,not v25n3,not v25n1.
v25n3 :- not v43n3,not v15n3,not v11n3,not v155n3,not v181n3,not v25n2,not v25n1.
v26n1 :- not v7n1,not v192n1,not v84n1,not v99n1,not v26n3,not v26n2.
v26n2 :- not v7n2,not v192n2,not v84n2,not v99n2,not v26n3,not v26n1.
v26n3 :- not v7n3,not v192n3,not v84n3,not v99n3,not v26n2,not v26n1.
v27n1 :- not v18n1,not v50n1,not v97n1,not v112n1,not v27n3,not v27n2.
v27n2 :- not v18n2,not v50n2,not v97n2,not v112n2,not v27n3,not v27n1.
v27n3 :- not v18n3,not v50n3,not v97n3,not v112n3,not v27n2,not v27n1.
v28n1 :- not v113n1,not v37n1,not v61n1,not v65n1,not v195n1,not v28n3,not v28n2.
v28n2 :- not v113n2,not v37n2,not v61n2,not v65n2,not v195n2,not v28n3,not v28n1.
v28n3 :- not v113n3,not v37n3,not v61n3,not v65n3,not v195n3,not v28n2,not v28n1.
v29n1 :- not v40n1,not v3n1,not v59n1,not v89n1,not v140n1,not v162n1,not v29n3,not v29n2.
v29n2 :- not v40n2,not v3n2,not v59n2,not v89n2,not v140n2,not v162n2,not v29n3,not v29n1.
v29n3 :- not v40n3,not v3n3,not v59n3,not v89n3,not v140n3,not v162n3,not v29n2,not v29n1.
v30n1 :- not v85n1,not v196n1,not v33n1,not v49n1,not v51n1,not v72n1,not v30n3,not v30n2.
v30n2 :- not v85n2,not v196n2,not v33n2,not v49n2,not v51n2,not v72n2,not v30n3,not v30n1.
v30n3 :- not v85n3,not v196n3,not v33n3,not v49n3,not v51n3,not v72n3,not v30n2,not v30n1.
v31n1 :- not v98n1,not v112n1,not v121n1,not v86n1,not v92n1,not v97n1,not v31n3,not v31n2.
v31n2 :- not v98n2,not v112n2,not v121n2,not v86n2,not v92n2,not v97n2,not v31n3,not v31n1.
v31n3 :- not v98n3,not v112n3,not v121n3,not v86n3,not v92n3,not v97n3,not v31n2,not v31n1.
v32n1 :- not v34n1,not v22n1,not v199n1,not v180n1,not v48n1,not v177n1,not v32n3,not v32n2.
v32n2 :- not v34n2,not v22n2,not v199n2,not v180n2,not v48n2,not v177n2,not v32n3,not v32n1.
v32n3 :- not v34n3,not v22n3,not v199n3,not v180n3,not v48n3,not v177n3,not v32n2,not v32n1.
v33n1 :- not v30n1,not v51n1,not v62n1,not v63n1,not v65n1,not v85n1,not v113n1,not v189n1,not v33n3,not v33n2.
v33n2 :- not v30n2,not v51n2,not v62n2,not v63n2,not v65n2,not v85n2,not v113n2,not v189n2,not v33n3,not v33n1.
v33n3 :- not v30n3,not v51n3,not v62n3,not v63n3,not v65n3,not v85n3,not v113n3,not v189n3,not v33n2,not v33n1.
v34n1 :- not v32n1,not v23n1,not v177n1,not v199n1,not v102n1,not v70n1,not v34n3,not v34n2.
v34n2 :- not v32n2,not v23n2,not v177n2,not v199n2,not v102n2,not v70n2,not v34n3,not v34n1.
v34n3 :- not v32n3,not v23n3,not v177n3,not v199n3,not v102n3,not v70n3,not v34n2,not v34n1.
v35n1 :- not v190n1,not v79n1,not v145n1,not v172n1,not v35n3,not v35n2.
v35n2 :- not v190n2,not v79n2,not v145n2,not v172n2,not v35n3,not v35n1.
v35n3 :- not v190n3,not v79n3,not v145n3,not v172n3,not v35n2,not v35n1.
v36n1 :- not v38n1,not v167n1,not v94n1,not v119n1,not v131n1,not v36n3,not v36n2.
v36n2 :- not v38n2,not v167n2,not v94n2,not v119n2,not v131n2,not v36n3,not v36n1.
v36n3 :- not v38n3,not v167n3,not v94n3,not v119n3,not v131n3,not v36n2,not v36n1.
v37n1 :- not v61n1,not v41n1,not v28n1,not v14n1,not v44n1,not v195n1,not v163n1,not v37n3,not v37n2.
v37n2 :- not v61n2,not v41n2,not v28n2,not v14n2,not v44n2,not v195n2,not v163n2,not v37n3,not v37n1.
v37n3 :- not v61n3,not v41n3,not v28n3,not v14n3,not v44n3,not v195n3,not v163n3,not v37n2,not v37n1.
v38n1 :- not v36n1,not v119n1,not v94n1,not v111n1,not v5n1,not v142n1,not v38n3,not v38n2.
v38n2 :- not v36n2,not v119n2,not v94n2,not v111n2,not v5n2,not v142n2,not v38n3,not v38n1.
v38n3 :- not v36n3,not v119n3,not v94n3,not v111n3,not v5n3,not v142n3,not v38n2,not v38n1.
v39n1 :- not v13n1,not v72n1,not v106n1,not v196n1,not v39n3,not v39n2.
v39n2 :- not v13n2,not v72n2,not v106n2,not v196n2,not v39n3,not v39n1.
v39n3 :- not v13n3,not v72n3,not v106n3,not v196n3,not v39n2,not v39n1.
v40n1 :- not v29n1,not v3n1,not v140n1,not v47n1,not v90n1,not v137n1,not v40n3,not v40n2.
v40n2 :- not v29n2,not v3n2,not v140n2,not v47n2,not v90n2,not v137n2,not v40n3,not v40n1.
v40n3 :- not v29n3,not v3n3,not v140n3,not v47n3,not v90n3,not v137n3,not v40n2,not v40n1.
v41n1 :- not v37n1,not v61n1,not v6n1,not v163n1,not v52n1,not v116n1,not v54n1,not v156n1,not v41n3,not v41n2.
v41n2 :- not v37n2,not v61n2,not v6n2,not v163n2,not v52n2,not v116n2,not v54n2,not v156n2,not v41n3,not v41n1.
v41n3 :- not v37n3,not v61n3,not v6n3,not v163n3,not v52n3,not v116n3,not v54n3,not v156n3,not v41n2,not v41n1.
v42n1 :- not v132n1,not v100n1,not v135n1,not v147n1,not v197n1,not v183n1,not v42n3,not v42n2.
v42n2 :- not v132n2,not v100n2,not v135n2,not v147n2,not v197n2,not v183n2,not v42n3,not v42n1.
v42n3 :- not v132n3,not v100n3,not v135n3,not v147n3,not v197n3,not v183n3,not v42n2,not v42n1.
v43n1 :- not v25n1,not v125n1,not v71n1,not v15n1,not v46n1,not v96n1,not v155n1,not v43n3,not v43n2.
v43n2 :- not v25n2,not v125n2,not v71n2,not v15n2,not v46n2,not v96n2,not v155n2,not v43n3,not v43n1.
v43n3 :- not v25n3,not v125n3,not v71n3,not v15n3,not v46n3,not v96n3,not v155n3,not v43n2,not v43n1.
v44n1 :- not v172n1,not v14n1,not v37n1,not v195n1,not v44n3,not v44n2.
v44n2 :- not v172n2,not v14n2,not v37n2,not v195n2,not v44n3,not v44n1.
v44n3 :- not v172n3,not v14n3,not v37n3,not v195n3,not v44n2,not v44n1.
v45n1 :- not v105n1,not v108n1,not v123n1,not v135n1,not v176n1,not v192n1,not v45n3,not v45n2.
v45n2 :- not v105n2,not v108n2,not v123n2,not v135n2,not v176n2,not v192n2,not v45n3,not v45n1.
v45n3 :- not v105n3,not v108n3,not v123n3,not v135n3,not v176n3,not v192n3,not v45n2,not v45n1.
v46n1 :- not v15n1,not v43n1,not v71n1,not v136n1,not v161n1,not v46n3,not v46n2.
v46n2 :- not v15n2,not v43n2,not v71n2,not v136n2,not v161n2,not v46n3,not v46n1.
v46n3 :- not v15n3,not v43n3,not v71n3,not v136n3,not v161n3,not v46n2,not v46n1.
v47n1 :- not v137n1,not v103n1,not v76n1,not v19n1,not v40n1,not v90n1,not v47n3,not v47n2.
v47n2 :- not v137n2,not v103n2,not v76n2,not v19n2,not v40n2,not v90n2,not v47n3,not v47n1.
v47n3 :- not v137n3,not v103n3,not v76n3,not v19n3,not v40n3,not v90n3,not v47n2,not v47n1.
v48n1 :- not v83n1,not v32n1,not v121n1,not v153n1,not v180n1,not v199n1,not v48n3,not v48n2.
v48n2 :- not v83n2,not v32n2,not v121n2,not v153n2,not v180n2,not v199n2,not v48n3,not v48n1.
v48n3 :- not v83n3,not v32n3,not v121n3,not v153n3,not v180n3,not v199n3,not v48n2,not v48n1.
v49n1 :- not v51n1,not v172n1,not v30n1,not v118n1,not v141n1,not v145n1,not v182n1,not v196n1,not v49n3,not v49n2.
v49n2 :- not v51n2,not v172n2,not v30n2,not v118n2,not v141n2,not v145n2,not v182n2,not v196n2,not v49n3,not v49n1.
v49n3 :- not v51n3,not v172n3,not v30n3,not v118n3,not v141n3,not v145n3,not v182n3,not v196n3,not v49n2,not v49n1.
v50n1 :- not v18n1,not v27n1,not v81n1,not v92n1,not v149n1,not v97n1,not v120n1,not v50n3,not v50n2.
v50n2 :- not v18n2,not v27n2,not v81n2,not v92n2,not v149n2,not v97n2,not v120n2,not v50n3,not v50n1.
v50n3 :- not v18n3,not v27n3,not v81n3,not v92n3,not v149n3,not v97n3,not v120n3,not v50n2,not v50n1.
v51n1 :- not v49n1,not v33n1,not v30n1,not v172n1,not v189n1,not v51n3,not v51n2.
v51n2 :- not v49n2,not v33n2,not v30n2,not v172n2,not v189n2,not v51n3,not v51n1.
v51n3 :- not v49n3,not v33n3,not v30n3,not v172n3,not v189n3,not v51n2,not v51n1.
v52n1 :- not v134n1,not v54n1,not v21n1,not v41n1,not v164n1,not v116n1,not v52n3,not v52n2.
v52n2 :- not v134n2,not v54n2,not v21n2,not v41n2,not v164n2,not v116n2,not v52n3,not v52n1.
v52n3 :- not v134n3,not v54n3,not v21n3,not v41n3,not v164n3,not v116n3,not v52n2,not v52n1.
v53n1 :- not v10n1,not v111n1,not v115n1,not v67n1,not v75n1,not v122n1,not v151n1,not v53n3,not v53n2.
v53n2 :- not v10n2,not v111n2,not v115n2,not v67n2,not v75n2,not v122n2,not v151n2,not v53n3,not v53n1.
v53n3 :- not v10n3,not v111n3,not v115n3,not v67n3,not v75n3,not v122n3,not v151n3,not v53n2,not v53n1.
v54n1 :- not v52n1,not v6n1,not v41n1,not v21n1,not v168n1,not v201n1,not v54n3,not v54n2.
v54n2 :- not v52n2,not v6n2,not v41n2,not v21n2,not v168n2,not v201n2,not v54n3,not v54n1.
v54n3 :- not v52n3,not v6n3,not v41n3,not v21n3,not v168n3,not v201n3,not v54n2,not v54n1.
v55n1 :- not v101n1,not v96n1,not v122n1,not v125n1,not v55n3,not v55n2.
v55n2 :- not v101n2,not v96n2,not v122n2,not v125n2,not v55n3,not v55n1.
v55n3 :- not v101n3,not v96n3,not v122n3,not v125n3,not v55n2,not v55n1.
v56n1 :- not v176n1,not v77n1,not v74n1,not v109n1,not v141n1,not v169n1,not v56n3,not v56n2.
v56n2 :- not v176n2,not v77n2,not v74n2,not v109n2,not v141n2,not v169n2,not v56n3,not v56n1.
v56n3 :- not v176n3,not v77n3,not v74n3,not v109n3,not v141n3,not v169n3,not v56n2,not v56n1.
v57n1 :- not v138n1,not v75n1,not v126n1,not v157n1,not v179n1,not v57n3,not v57n2.
v57n2 :- not v138n2,not v75n2,not v126n2,not v157n2,not v179n2,not v57n3,not v57n1.
v57n3 :- not v138n3,not v75n3,not v126n3,not v157n3,not v179n3,not v57n2,not v57n1.
v58n1 :- not v59n1,not v65n1,not v178n1,not v3n1,not v63n1,not v166n1,not v156n1,not v58n3,not v58n2.
v58n2 :- not v59n2,not v65n2,not v178n2,not v3n2,not v63n2,not v166n2,not v156n2,not v58n3,not v58n1.
v58n3 :- not v59n3,not v65n3,not v178n3,not v3n3,not v63n3,not v166n3,not v156n3,not v58n2,not v58n1.
v59n1 :- not v3n1,not v58n1,not v29n1,not v139n1,not v162n1,not v73n1,not v178n1,not v59n3,not v59n2.
v59n2 :- not v3n2,not v58n2,not v29n2,not v139n2,not v162n2,not v73n2,not v178n2,not v59n3,not v59n1.
v59n3 :- not v3n3,not v58n3,not v29n3,not v139n3,not v162n3,not v73n3,not v178n3,not v59n2,not v59n1.
v60n1 :- not v109n1,not v77n1,not v4n1,not v104n1,not v74n1,not v148n1,not v60n3,not v60n2.
v60n2 :- not v109n2,not v77n2,not v4n2,not v104n2,not v74n2,not v148n2,not v60n3,not v60n1.
v60n3 :- not v109n3,not v77n3,not v4n3,not v104n3,not v74n3,not v148n3,not v60n2,not v60n1.
v61n1 :- not v37n1,not v41n1,not v28n1,not v65n1,not v156n1,not v166n1,not v61n3,not v61n2.
v61n2 :- not v37n2,not v41n2,not v28n2,not v65n2,not v156n2,not v166n2,not v61n3,not v61n1.
v61n3 :- not v37n3,not v41n3,not v28n3,not v65n3,not v156n3,not v166n3,not v61n2,not v61n1.
v62n1 :- not v3n1,not v63n1,not v198n1,not v33n1,not v8n1,not v85n1,not v137n1,not v62n3,not v62n2.
v62n2 :- not v3n2,not v63n2,not v198n2,not v33n2,not v8n2,not v85n2,not v137n2,not v62n3,not v62n1.
v62n3 :- not v3n3,not v63n3,not v198n3,not v33n3,not v8n3,not v85n3,not v137n3,not v62n2,not v62n1.
v63n1 :- not v62n1,not v58n1,not v3n1,not v33n1,not v65n1,not v63n3,not v63n2.
v63n2 :- not v62n2,not v58n2,not v3n2,not v33n2,not v65n2,not v63n3,not v63n1.
v63n3 :- not v62n3,not v58n3,not v3n3,not v33n3,not v65n3,not v63n2,not v63n1.
v64n1 :- not v9n1,not v16n1,not v136n1,not v144n1,not v64n3,not v64n2.
v64n2 :- not v9n2,not v16n2,not v136n2,not v144n2,not v64n3,not v64n1.
v64n3 :- not v9n3,not v16n3,not v136n3,not v144n3,not v64n2,not v64n1.
v65n1 :- not v58n1,not v113n1,not v33n1,not v61n1,not v63n1,not v28n1,not v166n1,not v65n3,not v65n2.
v65n2 :- not v58n2,not v113n2,not v33n2,not v61n2,not v63n2,not v28n2,not v166n2,not v65n3,not v65n1.
v65n3 :- not v58n3,not v113n3,not v33n3,not v61n3,not v63n3,not v28n3,not v166n3,not v65n2,not v65n1.
v66n1 :- not v201n1,not v101n1,not v139n1,not v143n1,not v178n1,not v66n3,not v66n2.
v66n2 :- not v201n2,not v101n2,not v139n2,not v143n2,not v178n2,not v66n3,not v66n1.
v66n3 :- not v201n3,not v101n3,not v139n3,not v143n3,not v178n3,not v66n2,not v66n1.
v67n1 :- not v130n1,not v146n1,not v171n1,not v53n1,not v111n1,not v151n1,not v107n1,not v67n3,not v67n2.
v67n2 :- not v130n2,not v146n2,not v171n2,not v53n2,not v111n2,not v151n2,not v107n2,not v67n3,not v67n1.
v67n3 :- not v130n3,not v146n3,not v171n3,not v53n3,not v111n3,not v151n3,not v107n3,not v67n2,not v67n1.
v68n1 :- not v80n1,not v102n1,not v91n1,not v104n1,not v118n1,not v174n1,not v68n3,not v68n2.
v68n2 :- not v80n2,not v102n2,not v91n2,not v104n2,not v118n2,not v174n2,not v68n3,not v68n1.
v68n3 :- not v80n3,not v102n3,not v91n3,not v104n3,not v118n3,not v174n3,not v68n2,not v68n1.
v69n1 :- not v11n1,not v185n1,not v129n1,not v144n1,not v158n1,not v69n3,not v69n2.
v69n2 :- not v11n2,not v185n2,not v129n2,not v144n2,not v158n2,not v69n3,not v69n1.
v69n3 :- not v11n3,not v185n3,not v129n3,not v144n3,not v158n3,not v69n2,not v69n1.
v70n1 :- not v92n1,not v23n1,not v34n1,not v83n1,not v120n1,not v95n1,not v102n1,not v175n1,not v70n3,not v70n2.
v70n2 :- not v92n2,not v23n2,not v34n2,not v83n2,not v120n2,not v95n2,not v102n2,not v175n2,not v70n3,not v70n1.
v70n3 :- not v92n3,not v23n3,not v34n3,not v83n3,not v120n3,not v95n3,not v102n3,not v175n3,not v70n2,not v70n1.
v71n1 :- not v43n1,not v46n1,not v96n1,not v161n1,not v71n3,not v71n2.
v71n2 :- not v43n2,not v46n2,not v96n2,not v161n2,not v71n3,not v71n1.
v71n3 :- not v43n3,not v46n3,not v96n3,not v161n3,not v71n2,not v71n1.
v72n1 :- not v196n1,not v106n1,not v8n1,not v39n1,not v30n1,not v85n1,not v72n3,not v72n2.
v72n2 :- not v196n2,not v106n2,not v8n2,not v39n2,not v30n2,not v85n2,not v72n3,not v72n1.
v72n3 :- not v196n3,not v106n3,not v8n3,not v39n3,not v30n3,not v85n3,not v72n2,not v72n1.
v73n1 :- not v162n1,not v59n1,not v125n1,not v139n1,not v155n1,not v73n3,not v73n2.
v73n2 :- not v162n2,not v59n2,not v125n2,not v139n2,not v155n2,not v73n3,not v73n1.
v73n3 :- not v162n3,not v59n3,not v125n3,not v139n3,not v155n3,not v73n2,not v73n1.
v74n1 :- not v109n1,not v77n1,not v60n1,not v56n1,not v74n3,not v74n2.
v74n2 :- not v109n2,not v77n2,not v60n2,not v56n2,not v74n3,not v74n1.
v74n3 :- not v109n3,not v77n3,not v60n3,not v56n3,not v74n2,not v74n1.
v75n1 :- not v126n1,not v10n1,not v111n1,not v53n1,not v57n1,not v157n1,not v75n3,not v75n2.
v75n2 :- not v126n2,not v10n2,not v111n2,not v53n2,not v57n2,not v157n2,not v75n3,not v75n1.
v75n3 :- not v126n3,not v10n3,not v111n3,not v53n3,not v57n3,not v157n3,not v75n2,not v75n1.
v76n1 :- not v47n1,not v19n1,not v132n1,not v137n1,not v188n1,not v198n1,not v76n3,not v76n2.
v76n2 :- not v47n2,not v19n2,not v132n2,not v137n2,not v188n2,not v198n2,not v76n3,not v76n1.
v76n3 :- not v47n3,not v19n3,not v132n3,not v137n3,not v188n3,not v198n3,not v76n2,not v76n1.
v77n1 :- not v60n1,not v74n1,not v56n1,not v108n1,not v148n1,not v176n1,not v77n3,not v77n2.
v77n2 :- not v60n2,not v74n2,not v56n2,not v108n2,not v148n2,not v176n2,not v77n3,not v77n1.
v77n3 :- not v60n3,not v74n3,not v56n3,not v108n3,not v148n3,not v176n3,not v77n2,not v77n1.
v78n1 :- not v24n1,not v2n1,not v87n1,not v120n1,not v78n3,not v78n2.
v78n2 :- not v24n2,not v2n2,not v87n2,not v120n2,not v78n3,not v78n1.
v78n3 :- not v24n3,not v2n3,not v87n3,not v120n3,not v78n2,not v78n1.
v79n1 :- not v172n1,not v14n1,not v35n1,not v117n1,not v190n1,not v191n1,not v79n3,not v79n2.
v79n2 :- not v172n2,not v14n2,not v35n2,not v117n2,not v190n2,not v191n2,not v79n3,not v79n1.
v79n3 :- not v172n3,not v14n3,not v35n3,not v117n3,not v190n3,not v191n3,not v79n2,not v79n1.
v80n1 :- not v190n1,not v68n1,not v102n1,not v118n1,not v177n1,not v182n1,not v80n3,not v80n2.
v80n2 :- not v190n2,not v68n2,not v102n2,not v118n2,not v177n2,not v182n2,not v80n3,not v80n1.
v80n3 :- not v190n3,not v68n3,not v102n3,not v118n3,not v177n3,not v182n3,not v80n2,not v80n1.
v81n1 :- not v18n1,not v94n1,not v50n1,not v149n1,not v131n1,not v81n3,not v81n2.
v81n2 :- not v18n2,not v94n2,not v50n2,not v149n2,not v131n2,not v81n3,not v81n1.
v81n3 :- not v18n3,not v94n3,not v50n3,not v149n3,not v131n3,not v81n2,not v81n1.
v82n1 :- not v89n1,not v140n1,not v127n1,not v128n1,not v158n1,not v82n3,not v82n2.
v82n2 :- not v89n2,not v140n2,not v127n2,not v128n2,not v158n2,not v82n3,not v82n1.
v82n3 :- not v89n3,not v140n3,not v127n3,not v128n3,not v158n3,not v82n2,not v82n1.
v83n1 :- not v23n1,not v121n1,not v48n1,not v92n1,not v70n1,not v199n1,not v83n3,not v83n2.
v83n2 :- not v23n2,not v121n2,not v48n2,not v92n2,not v70n2,not v199n2,not v83n3,not v83n1.
v83n3 :- not v23n3,not v121n3,not v48n3,not v92n3,not v70n3,not v199n3,not v83n2,not v83n1.
v84n1 :- not v7n1,not v186n1,not v17n1,not v26n1,not v133n1,not v159n1,not v192n1,not v84n3,not v84n2.
v84n2 :- not v7n2,not v186n2,not v17n2,not v26n2,not v133n2,not v159n2,not v192n2,not v84n3,not v84n1.
v84n3 :- not v7n3,not v186n3,not v17n3,not v26n3,not v133n3,not v159n3,not v192n3,not v84n2,not v84n1.
v85n1 :- not v30n1,not v8n1,not v33n1,not v62n1,not v72n1,not v85n3,not v85n2.
v85n2 :- not v30n2,not v8n2,not v33n2,not v62n2,not v72n2,not v85n3,not v85n1.
v85n3 :- not v30n3,not v8n3,not v33n3,not v62n3,not v72n3,not v85n2,not v85n1.
v86n1 :- not v150n1,not v20n1,not v31n1,not v98n1,not v114n1,not v121n1,not v154n1,not v86n3,not v86n2.
v86n2 :- not v150n2,not v20n2,not v31n2,not v98n2,not v114n2,not v121n2,not v154n2,not v86n3,not v86n1.
v86n3 :- not v150n3,not v20n3,not v31n3,not v98n3,not v114n3,not v121n3,not v154n3,not v86n2,not v86n1.
v87n1 :- not v24n1,not v78n1,not v108n1,not v149n1,not v120n1,not v87n3,not v87n2.
v87n2 :- not v24n2,not v78n2,not v108n2,not v149n2,not v120n2,not v87n3,not v87n1.
v87n3 :- not v24n3,not v78n3,not v108n3,not v149n3,not v120n3,not v87n2,not v87n1.
v88n1 :- not v99n1,not v100n1,not v132n1,not v184n1,not v192n1,not v186n1,not v88n3,not v88n2.
v88n2 :- not v99n2,not v100n2,not v132n2,not v184n2,not v192n2,not v186n2,not v88n3,not v88n1.
v88n3 :- not v99n3,not v100n3,not v132n3,not v184n3,not v192n3,not v186n3,not v88n2,not v88n1.
v89n1 :- not v158n1,not v29n1,not v82n1,not v140n1,not v162n1,not v89n3,not v89n2.
v89n2 :- not v158n2,not v29n2,not v82n2,not v140n2,not v162n2,not v89n3,not v89n1.
v89n3 :- not v158n3,not v29n3,not v82n3,not v140n3,not v162n3,not v89n2,not v89n1.
v90n1 :- not v40n1,not v47n1,not v103n1,not v127n1,not v140n1,not v90n3,not v90n2.
v90n2 :- not v40n2,not v47n2,not v103n2,not v127n2,not v140n2,not v90n3,not v90n1.
v90n3 :- not v40n3,not v47n3,not v103n3,not v127n3,not v140n3,not v90n2,not v90n1.
v91n1 :- not v102n1,not v104n1,not v148n1,not v108n1,not v24n1,not v68n1,not v95n1,not v91n3,not v91n2.
v91n2 :- not v102n2,not v104n2,not v148n2,not v108n2,not v24n2,not v68n2,not v95n2,not v91n3,not v91n1.
v91n3 :- not v102n3,not v104n3,not v148n3,not v108n3,not v24n3,not v68n3,not v95n3,not v91n2,not v91n1.
v92n1 :- not v70n1,not v97n1,not v83n1,not v120n1,not v31n1,not v50n1,not v121n1,not v92n3,not v92n2.
v92n2 :- not v70n2,not v97n2,not v83n2,not v120n2,not v31n2,not v50n2,not v121n2,not v92n3,not v92n1.
v92n3 :- not v70n3,not v97n3,not v83n3,not v120n3,not v31n3,not v50n3,not v121n3,not v92n2,not v92n1.
v93n1 :- not v158n1,not v17n1,not v16n1,not v127n1,not v129n1,not v144n1,not v165n1,not v185n1,not v93n3,not v93n2.
v93n2 :- not v158n2,not v17n2,not v16n2,not v127n2,not v129n2,not v144n2,not v165n2,not v185n2,not v93n3,not v93n1.
v93n3 :- not v158n3,not v17n3,not v16n3,not v127n3,not v129n3,not v144n3,not v165n3,not v185n3,not v93n2,not v93n1.
v94n1 :- not v38n1,not v81n1,not v131n1,not v36n1,not v5n1,not v149n1,not v94n3,not v94n2.
v94n2 :- not v38n2,not v81n2,not v131n2,not v36n2,not v5n2,not v149n2,not v94n3,not v94n1.
v94n3 :- not v38n3,not v81n3,not v131n3,not v36n3,not v5n3,not v149n3,not v94n2,not v94n1.
v95n1 :- not v24n1,not v70n1,not v91n1,not v102n1,not v175n1,not v95n3,not v95n2.
v95n2 :- not v24n2,not v70n2,not v91n2,not v102n2,not v175n2,not v95n3,not v95n1.
v95n3 :- not v24n3,not v70n3,not v91n3,not v102n3,not v175n3,not v95n2,not v95n1.
v96n1 :- not v125n1,not v43n1,not v122n1,not v71n1,not v55n1,not v161n1,not v115n1,not v96n3,not v96n2.
v96n2 :- not v125n2,not v43n2,not v122n2,not v71n2,not v55n2,not v161n2,not v115n2,not v96n3,not v96n1.
v96n3 :- not v125n3,not v43n3,not v122n3,not v71n3,not v55n3,not v161n3,not v115n3,not v96n2,not v96n1.
v97n1 :- not v92n1,not v27n1,not v31n1,not v50n1,not v112n1,not v97n3,not v97n2.
v97n2 :- not v92n2,not v27n2,not v31n2,not v50n2,not v112n2,not v97n3,not v97n1.
v97n3 :- not v92n3,not v27n3,not v31n3,not v50n3,not v112n3,not v97n2,not v97n1.
v98n1 :- not v31n1,not v86n1,not v112n1,not v150n1,not v164n1,not v200n1,not v98n3,not v98n2.
v98n2 :- not v31n2,not v86n2,not v112n2,not v150n2,not v164n2,not v200n2,not v98n3,not v98n1.
v98n3 :- not v31n3,not v86n3,not v112n3,not v150n3,not v164n3,not v200n3,not v98n2,not v98n1.
v99n1 :- not v7n1,not v192n1,not v26n1,not v88n1,not v186n1,not v99n3,not v99n2.
v99n2 :- not v7n2,not v192n2,not v26n2,not v88n2,not v186n2,not v99n3,not v99n1.
v99n3 :- not v7n3,not v192n3,not v26n3,not v88n3,not v186n3,not v99n2,not v99n1.
v100n1 :- not v184n1,not v132n1,not v42n1,not v88n1,not v135n1,not v100n3,not v100n2.
v100n2 :- not v184n2,not v132n2,not v42n2,not v88n2,not v135n2,not v100n3,not v100n1.
v100n3 :- not v184n3,not v132n3,not v42n3,not v88n3,not v135n3,not v100n2,not v100n1.
v101n1 :- not v168n1,not v55n1,not v125n1,not v66n1,not v122n1,not v110n1,not v139n1,not v143n1,not v101n3,not v101n2.
v101n2 :- not v168n2,not v55n2,not v125n2,not v66n2,not v122n2,not v110n2,not v139n2,not v143n2,not v101n3,not v101n1.
v101n3 :- not v168n3,not v55n3,not v125n3,not v66n3,not v122n3,not v110n3,not v139n3,not v143n3,not v101n2,not v101n1.
v102n1 :- not v91n1,not v34n1,not v177n1,not v68n1,not v80n1,not v95n1,not v70n1,not v102n3,not v102n2.
v102n2 :- not v91n2,not v34n2,not v177n2,not v68n2,not v80n2,not v95n2,not v70n2,not v102n3,not v102n1.
v102n3 :- not v91n3,not v34n3,not v177n3,not v68n3,not v80n3,not v95n3,not v70n3,not v102n2,not v102n1.
v103n1 :- not v47n1,not v19n1,not v17n1,not v90n1,not v127n1,not v165n1,not v103n3,not v103n2.
v103n2 :- not v47n2,not v19n2,not v17n2,not v90n2,not v127n2,not v165n2,not v103n3,not v103n1.
v103n3 :- not v47n3,not v19n3,not v17n3,not v90n3,not v127n3,not v165n3,not v103n2,not v103n1.
v104n1 :- not v91n1,not v60n1,not v68n1,not v4n1,not v148n1,not v174n1,not v104n3,not v104n2.
v104n2 :- not v91n2,not v60n2,not v68n2,not v4n2,not v148n2,not v174n2,not v104n3,not v104n1.
v104n3 :- not v91n3,not v60n3,not v68n3,not v4n3,not v148n3,not v174n3,not v104n2,not v104n1.
v105n1 :- not v13n1,not v45n1,not v176n1,not v123n1,not v187n1,not v170n1,not v105n3,not v105n2.
v105n2 :- not v13n2,not v45n2,not v176n2,not v123n2,not v187n2,not v170n2,not v105n3,not v105n1.
v105n3 :- not v13n3,not v45n3,not v176n3,not v123n3,not v187n3,not v170n3,not v105n2,not v105n1.
v106n1 :- not v13n1,not v72n1,not v39n1,not v8n1,not v147n1,not v193n1,not v197n1,not v106n3,not v106n2.
v106n2 :- not v13n2,not v72n2,not v39n2,not v8n2,not v147n2,not v193n2,not v197n2,not v106n3,not v106n1.
v106n3 :- not v13n3,not v72n3,not v39n3,not v8n3,not v147n3,not v193n3,not v197n3,not v106n2,not v106n1.
v107n1 :- not v21n1,not v130n1,not v67n1,not v151n1,not v168n1,not v107n3,not v107n2.
v107n2 :- not v21n2,not v130n2,not v67n2,not v151n2,not v168n2,not v107n3,not v107n1.
v107n3 :- not v21n3,not v130n3,not v67n3,not v151n3,not v168n3,not v107n2,not v107n1.
v108n1 :- not v77n1,not v91n1,not v24n1,not v87n1,not v45n1,not v148n1,not v176n1,not v108n3,not v108n2.
v108n2 :- not v77n2,not v91n2,not v24n2,not v87n2,not v45n2,not v148n2,not v176n2,not v108n3,not v108n1.
v108n3 :- not v77n3,not v91n3,not v24n3,not v87n3,not v45n3,not v148n3,not v176n3,not v108n2,not v108n1.
v109n1 :- not v60n1,not v118n1,not v74n1,not v141n1,not v56n1,not v4n1,not v109n3,not v109n2.
v109n2 :- not v60n2,not v118n2,not v74n2,not v141n2,not v56n2,not v4n2,not v109n3,not v109n1.
v109n3 :- not v60n3,not v118n3,not v74n3,not v141n3,not v56n3,not v4n3,not v109n2,not v109n1.
v110n1 :- not v122n1,not v101n1,not v151n1,not v168n1,not v110n3,not v110n2.
v110n2 :- not v122n2,not v101n2,not v151n2,not v168n2,not v110n3,not v110n1.
v110n3 :- not v122n3,not v101n3,not v151n3,not v168n3,not v110n2,not v110n1.
v111n1 :- not v5n1,not v38n1,not v53n1,not v75n1,not v67n1,not v126n1,not v142n1,not v146n1,not v111n3,not v111n2.
v111n2 :- not v5n2,not v38n2,not v53n2,not v75n2,not v67n2,not v126n2,not v142n2,not v146n2,not v111n3,not v111n1.
v111n3 :- not v5n3,not v38n3,not v53n3,not v75n3,not v67n3,not v126n3,not v142n3,not v146n3,not v111n2,not v111n1.
v112n1 :- not v31n1,not v18n1,not v97n1,not v27n1,not v98n1,not v200n1,not v112n3,not v112n2.
v112n2 :- not v31n2,not v18n2,not v97n2,not v27n2,not v98n2,not v200n2,not v112n3,not v112n1.
v112n3 :- not v31n3,not v18n3,not v97n3,not v27n3,not v98n3,not v200n3,not v112n2,not v112n1.
v113n1 :- not v28n1,not v65n1,not v33n1,not v172n1,not v189n1,not v195n1,not v113n3,not v113n2.
v113n2 :- not v28n2,not v65n2,not v33n2,not v172n2,not v189n2,not v195n2,not v113n3,not v113n1.
v113n3 :- not v28n3,not v65n3,not v33n3,not v172n3,not v189n3,not v195n3,not v113n2,not v113n1.
v114n1 :- not v117n1,not v20n1,not v86n1,not v154n1,not v173n1,not v191n1,not v114n3,not v114n2.
v114n2 :- not v117n2,not v20n2,not v86n2,not v154n2,not v173n2,not v191n2,not v114n3,not v114n1.
v114n3 :- not v117n3,not v20n3,not v86n3,not v154n3,not v173n3,not v191n3,not v114n2,not v114n1.
v115n1 :- not v179n1,not v161n1,not v53n1,not v10n1,not v96n1,not v122n1,not v157n1,not v115n3,not v115n2.
v115n2 :- not v179n2,not v161n2,not v53n2,not v10n2,not v96n2,not v122n2,not v157n2,not v115n3,not v115n1.
v115n3 :- not v179n3,not v161n3,not v53n3,not v10n3,not v96n3,not v122n3,not v157n3,not v115n2,not v115n1.
v116n1 :- not v41n1,not v52n1,not v163n1,not v164n1,not v116n3,not v116n2.
v116n2 :- not v41n2,not v52n2,not v163n2,not v164n2,not v116n3,not v116n1.
v116n3 :- not v41n3,not v52n3,not v163n3,not v164n3,not v116n2,not v116n1.
v117n1 :- not v191n1,not v114n1,not v22n1,not v20n1,not v79n1,not v180n1,not v190n1,not v117n3,not v117n2.
v117n2 :- not v191n2,not v114n2,not v22n2,not v20n2,not v79n2,not v180n2,not v190n2,not v117n3,not v117n1.
v117n3 :- not v191n3,not v114n3,not v22n3,not v20n3,not v79n3,not v180n3,not v190n3,not v117n2,not v117n1.
v118n1 :- not v141n1,not v4n1,not v109n1,not v174n1,not v49n1,not v68n1,not v80n1,not v182n1,not v118n3,not v118n2.
v118n2 :- not v141n2,not v4n2,not v109n2,not v174n2,not v49n2,not v68n2,not v80n2,not v182n2,not v118n3,not v118n1.
v118n3 :- not v141n3,not v4n3,not v109n3,not v174n3,not v49n3,not v68n3,not v80n3,not v182n3,not v118n2,not v118n1.
v119n1 :- not v38n1,not v142n1,not v36n1,not v152n1,not v160n1,not v167n1,not v119n3,not v119n2.
v119n2 :- not v38n2,not v142n2,not v36n2,not v152n2,not v160n2,not v167n2,not v119n3,not v119n1.
v119n3 :- not v38n3,not v142n3,not v36n3,not v152n3,not v160n3,not v167n3,not v119n2,not v119n1.
v120n1 :- not v2n1,not v149n1,not v175n1,not v70n1,not v92n1,not v78n1,not v50n1,not v87n1,not v120n3,not v120n2.
v120n2 :- not v2n2,not v149n2,not v175n2,not v70n2,not v92n2,not v78n2,not v50n2,not v87n2,not v120n3,not v120n1.
v120n3 :- not v2n3,not v149n3,not v175n3,not v70n3,not v92n3,not v78n3,not v50n3,not v87n3,not v120n2,not v120n1.
v121n1 :- not v20n1,not v83n1,not v31n1,not v48n1,not v92n1,not v86n1,not v153n1,not v121n3,not v121n2.
v121n2 :- not v20n2,not v83n2,not v31n2,not v48n2,not v92n2,not v86n2,not v153n2,not v121n3,not v121n1.
v121n3 :- not v20n3,not v83n3,not v31n3,not v48n3,not v92n3,not v86n3,not v153n3,not v121n2,not v121n1.
v122n1 :- not v110n1,not v96n1,not v101n1,not v151n1,not v53n1,not v115n1,not v55n1,not v122n3,not v122n2.
v122n2 :- not v110n2,not v96n2,not v101n2,not v151n2,not v53n2,not v115n2,not v55n2,not v122n3,not v122n1.
v122n3 :- not v110n3,not v96n3,not v101n3,not v151n3,not v53n3,not v115n3,not v55n3,not v122n2,not v122n1.
v123n1 :- not v135n1,not v13n1,not v147n1,not v45n1,not v105n1,not v123n3,not v123n2.
v123n2 :- not v135n2,not v13n2,not v147n2,not v45n2,not v105n2,not v123n3,not v123n1.
v123n3 :- not v135n3,not v13n3,not v147n3,not v45n3,not v105n3,not v123n2,not v123n1.
v124n1 :- not v132n1,not v8n1,not v197n1,not v198n1,not v124n3,not v124n2.
v124n2 :- not v132n2,not v8n2,not v197n2,not v198n2,not v124n3,not v124n1.
v124n3 :- not v132n3,not v8n3,not v197n3,not v198n3,not v124n2,not v124n1.
v125n1 :- not v43n1,not v96n1,not v101n1,not v155n1,not v55n1,not v73n1,not v139n1,not v125n3,not v125n2.
v125n2 :- not v43n2,not v96n2,not v101n2,not v155n2,not v55n2,not v73n2,not v139n2,not v125n3,not v125n1.
v125n3 :- not v43n3,not v96n3,not v101n3,not v155n3,not v55n3,not v73n3,not v139n3,not v125n2,not v125n1.
v126n1 :- not v75n1,not v5n1,not v57n1,not v111n1,not v138n1,not v126n3,not v126n2.
v126n2 :- not v75n2,not v5n2,not v57n2,not v111n2,not v138n2,not v126n3,not v126n1.
v126n3 :- not v75n3,not v5n3,not v57n3,not v111n3,not v138n3,not v126n2,not v126n1.
v127n1 :- not v165n1,not v158n1,not v90n1,not v93n1,not v103n1,not v82n1,not v140n1,not v128n1,not v127n3,not v127n2.
v127n2 :- not v165n2,not v158n2,not v90n2,not v93n2,not v103n2,not v82n2,not v140n2,not v128n2,not v127n3,not v127n1.
v127n3 :- not v165n3,not v158n3,not v90n3,not v93n3,not v103n3,not v82n3,not v140n3,not v128n3,not v127n2,not v127n1.
v128n1 :- not v82n1,not v127n1,not v140n1,not v128n3,not v128n2.
v128n2 :- not v82n2,not v127n2,not v140n2,not v128n3,not v128n1.
v128n3 :- not v82n3,not v127n3,not v140n3,not v128n2,not v128n1.
v129n1 :- not v69n1,not v93n1,not v158n1,not v185n1,not v129n3,not v129n2.
v129n2 :- not v69n2,not v93n2,not v158n2,not v185n2,not v129n3,not v129n1.
v129n3 :- not v69n3,not v93n3,not v158n3,not v185n3,not v129n2,not v129n1.
v130n1 :- not v67n1,not v107n1,not v21n1,not v12n1,not v160n1,not v152n1,not v171n1,not v130n3,not v130n2.
v130n2 :- not v67n2,not v107n2,not v21n2,not v12n2,not v160n2,not v152n2,not v171n2,not v130n3,not v130n1.
v130n3 :- not v67n3,not v107n3,not v21n3,not v12n3,not v160n3,not v152n3,not v171n3,not v130n2,not v130n1.
v131n1 :- not v167n1,not v94n1,not v18n1,not v81n1,not v36n1,not v131n3,not v131n2.
v131n2 :- not v167n2,not v94n2,not v18n2,not v81n2,not v36n2,not v131n3,not v131n1.
v131n3 :- not v167n3,not v94n3,not v18n3,not v81n3,not v36n3,not v131n2,not v131n1.
v132n1 :- not v188n1,not v124n1,not v197n1,not v42n1,not v100n1,not v198n1,not v76n1,not v186n1,not v88n1,not v159n1,not v133n1,not v132n3,not v132n2.
v132n2 :- not v188n2,not v124n2,not v197n2,not v42n2,not v100n2,not v198n2,not v76n2,not v186n2,not v88n2,not v159n2,not v133n2,not v132n3,not v132n1.
v132n3 :- not v188n3,not v124n3,not v197n3,not v42n3,not v100n3,not v198n3,not v76n3,not v186n3,not v88n3,not v159n3,not v133n3,not v132n2,not v132n1.
v133n1 :- not v84n1,not v132n1,not v159n1,not v186n1,not v133n3,not v133n2.
v133n2 :- not v84n2,not v132n2,not v159n2,not v186n2,not v133n3,not v133n1.
v133n3 :- not v84n3,not v132n3,not v159n3,not v186n3,not v133n2,not v133n1.
v134n1 :- not v52n1,not v167n1,not v160n1,not v21n1,not v164n1,not v200n1,not v134n3,not v134n2.
v134n2 :- not v52n2,not v167n2,not v160n2,not v21n2,not v164n2,not v200n2,not v134n3,not v134n1.
v134n3 :- not v52n3,not v167n3,not v160n3,not v21n3,not v164n3,not v200n3,not v134n2,not v134n1.
v135n1 :- not v123n1,not v192n1,not v42n1,not v100n1,not v45n1,not v147n1,not v184n1,not v135n3,not v135n2.
v135n2 :- not v123n2,not v192n2,not v42n2,not v100n2,not v45n2,not v147n2,not v184n2,not v135n3,not v135n1.
v135n3 :- not v123n3,not v192n3,not v42n3,not v100n3,not v45n3,not v147n3,not v184n3,not v135n2,not v135n1.
v136n1 :- not v161n1,not v15n1,not v181n1,not v144n1,not v138n1,not v46n1,not v9n1,not v64n1,not v136n3,not v136n2.
v136n2 :- not v161n2,not v15n2,not v181n2,not v144n2,not v138n2,not v46n2,not v9n2,not v64n2,not v136n3,not v136n1.
v136n3 :- not v161n3,not v15n3,not v181n3,not v144n3,not v138n3,not v46n3,not v9n3,not v64n3,not v136n2,not v136n1.
v137n1 :- not v47n1,not v3n1,not v62n1,not v40n1,not v76n1,not v198n1,not v137n3,not v137n2.
v137n2 :- not v47n2,not v3n2,not v62n2,not v40n2,not v76n2,not v198n2,not v137n3,not v137n1.
v137n3 :- not v47n3,not v3n3,not v62n3,not v40n3,not v76n3,not v198n3,not v137n2,not v137n1.
v138n1 :- not v161n1,not v57n1,not v136n1,not v5n1,not v9n1,not v16n1,not v126n1,not v179n1,not v138n3,not v138n2.
v138n2 :- not v161n2,not v57n2,not v136n2,not v5n2,not v9n2,not v16n2,not v126n2,not v179n2,not v138n3,not v138n1.
v138n3 :- not v161n3,not v57n3,not v136n3,not v5n3,not v9n3,not v16n3,not v126n3,not v179n3,not v138n2,not v138n1.
v139n1 :- not v59n1,not v178n1,not v101n1,not v66n1,not v125n1,not v73n1,not v139n3,not v139n2.
v139n2 :- not v59n2,not v178n2,not v101n2,not v66n2,not v125n2,not v73n2,not v139n3,not v139n1.
v139n3 :- not v59n3,not v178n3,not v101n3,not v66n3,not v125n3,not v73n3,not v139n2,not v139n1.
v140n1 :- not v40n1,not v29n1,not v82n1,not v127n1,not v89n1,not v128n1,not v90n1,not v140n3,not v140n2.
v140n2 :- not v40n2,not v29n2,not v82n2,not v127n2,not v89n2,not v128n2,not v90n2,not v140n3,not v140n1.
v140n3 :- not v40n3,not v29n3,not v82n3,not v127n3,not v89n3,not v128n3,not v90n3,not v140n2,not v140n1.
v141n1 :- not v118n1,not v109n1,not v49n1,not v56n1,not v169n1,not v196n1,not v141n3,not v141n2.
v141n2 :- not v118n2,not v109n2,not v49n2,not v56n2,not v169n2,not v196n2,not v141n3,not v141n1.
v141n3 :- not v118n3,not v109n3,not v49n3,not v56n3,not v169n3,not v196n3,not v141n2,not v141n1.
v142n1 :- not v119n1,not v152n1,not v12n1,not v38n1,not v111n1,not v171n1,not v146n1,not v142n3,not v142n2.
v142n2 :- not v119n2,not v152n2,not v12n2,not v38n2,not v111n2,not v171n2,not v146n2,not v142n3,not v142n1.
v142n3 :- not v119n3,not v152n3,not v12n3,not v38n3,not v111n3,not v171n3,not v146n3,not v142n2,not v142n1.
v143n1 :- not v168n1,not v101n1,not v66n1,not v201n1,not v143n3,not v143n2.
v143n2 :- not v168n2,not v101n2,not v66n2,not v201n2,not v143n3,not v143n1.
v143n3 :- not v168n3,not v101n3,not v66n3,not v201n3,not v143n2,not v143n1.
v144n1 :- not v136n1,not v11n1,not v69n1,not v16n1,not v93n1,not v64n1,not v181n1,not v185n1,not v144n3,not v144n2.
v144n2 :- not v136n2,not v11n2,not v69n2,not v16n2,not v93n2,not v64n2,not v181n2,not v185n2,not v144n3,not v144n1.
v144n3 :- not v136n3,not v11n3,not v69n3,not v16n3,not v93n3,not v64n3,not v181n3,not v185n3,not v144n2,not v144n1.
v145n1 :- not v190n1,not v172n1,not v35n1,not v49n1,not v182n1,not v145n3,not v145n2.
v145n2 :- not v190n2,not v172n2,not v35n2,not v49n2,not v182n2,not v145n3,not v145n1.
v145n3 :- not v190n3,not v172n3,not v35n3,not v49n3,not v182n3,not v145n2,not v145n1.
v146n1 :- not v67n1,not v142n1,not v111n1,not v171n1,not v146n3,not v146n2.
v146n2 :- not v67n2,not v142n2,not v111n2,not v171n2,not v146n3,not v146n1.
v146n3 :- not v67n3,not v142n3,not v111n3,not v171n3,not v146n2,not v146n1.
v147n1 :- not v13n1,not v193n1,not v123n1,not v106n1,not v42n1,not v135n1,not v183n1,not v147n3,not v147n2.
v147n2 :- not v13n2,not v193n2,not v123n2,not v106n2,not v42n2,not v135n2,not v183n2,not v147n3,not v147n1.
v147n3 :- not v13n3,not v193n3,not v123n3,not v106n3,not v42n3,not v135n3,not v183n3,not v147n2,not v147n1.
v148n1 :- not v91n1,not v60n1,not v104n1,not v77n1,not v108n1,not v148n3,not v148n2.
v148n2 :- not v91n2,not v60n2,not v104n2,not v77n2,not v108n2,not v148n3,not v148n1.
v148n3 :- not v91n3,not v60n3,not v104n3,not v77n3,not v108n3,not v148n2,not v148n1.
v149n1 :- not v120n1,not v50n1,not v81n1,not v87n1,not v5n1,not v94n1,not v149n3,not v149n2.
v149n2 :- not v120n2,not v50n2,not v81n2,not v87n2,not v5n2,not v94n2,not v149n3,not v149n1.
v149n3 :- not v120n3,not v50n3,not v81n3,not v87n3,not v5n3,not v94n3,not v149n2,not v149n1.
v150n1 :- not v86n1,not v164n1,not v98n1,not v154n1,not v150n3,not v150n2.
v150n2 :- not v86n2,not v164n2,not v98n2,not v154n2,not v150n3,not v150n1.
v150n3 :- not v86n3,not v164n3,not v98n3,not v154n3,not v150n2,not v150n1.
v151n1 :- not v67n1,not v122n1,not v168n1,not v53n1,not v110n1,not v107n1,not v151n3,not v151n2.
v151n2 :- not v67n2,not v122n2,not v168n2,not v53n2,not v110n2,not v107n2,not v151n3,not v151n1.
v151n3 :- not v67n3,not v122n3,not v168n3,not v53n3,not v110n3,not v107n3,not v151n2,not v151n1.
v152n1 :- not v12n1,not v142n1,not v119n1,not v130n1,not v160n1,not v152n3,not v152n2.
v152n2 :- not v12n2,not v142n2,not v119n2,not v130n2,not v160n2,not v152n3,not v152n1.
v152n3 :- not v12n3,not v142n3,not v119n3,not v130n3,not v160n3,not v152n2,not v152n1.
v153n1 :- not v180n1,not v20n1,not v48n1,not v121n1,not v153n3,not v153n2.
v153n2 :- not v180n2,not v20n2,not v48n2,not v121n2,not v153n3,not v153n1.
v153n3 :- not v180n3,not v20n3,not v48n3,not v121n3,not v153n2,not v153n1.
v154n1 :- not v164n1,not v173n1,not v86n1,not v114n1,not v150n1,not v14n1,not v154n3,not v154n2.
v154n2 :- not v164n2,not v173n2,not v86n2,not v114n2,not v150n2,not v14n2,not v154n3,not v154n1.
v154n3 :- not v164n3,not v173n3,not v86n3,not v114n3,not v150n3,not v14n3,not v154n2,not v154n1.
v155n1 :- not v11n1,not v125n1,not v25n1,not v73n1,not v43n1,not v162n1,not v155n3,not v155n2.
v155n2 :- not v11n2,not v125n2,not v25n2,not v73n2,not v43n2,not v162n2,not v155n3,not v155n1.
v155n3 :- not v11n3,not v125n3,not v25n3,not v73n3,not v43n3,not v162n3,not v155n2,not v155n1.
v156n1 :- not v178n1,not v41n1,not v6n1,not v58n1,not v61n1,not v166n1,not v156n3,not v156n2.
v156n2 :- not v178n2,not v41n2,not v6n2,not v58n2,not v61n2,not v166n2,not v156n3,not v156n1.
v156n3 :- not v178n3,not v41n3,not v6n3,not v58n3,not v61n3,not v166n3,not v156n2,not v156n1.
v157n1 :- not v10n1,not v57n1,not v115n1,not v75n1,not v179n1,not v157n3,not v157n2.
v157n2 :- not v10n2,not v57n2,not v115n2,not v75n2,not v179n2,not v157n3,not v157n1.
v157n3 :- not v10n3,not v57n3,not v115n3,not v75n3,not v179n3,not v157n2,not v157n1.
v158n1 :- not v162n1,not v93n1,not v127n1,not v89n1,not v11n1,not v82n1,not v69n1,not v129n1,not v158n3,not v158n2.
v158n2 :- not v162n2,not v93n2,not v127n2,not v89n2,not v11n2,not v82n2,not v69n2,not v129n2,not v158n3,not v158n1.
v158n3 :- not v162n3,not v93n3,not v127n3,not v89n3,not v11n3,not v82n3,not v69n3,not v129n3,not v158n2,not v158n1.
v159n1 :- not v132n1,not v17n1,not v84n1,not v133n1,not v188n1,not v194n1,not v159n3,not v159n2.
v159n2 :- not v132n2,not v17n2,not v84n2,not v133n2,not v188n2,not v194n2,not v159n3,not v159n1.
v159n3 :- not v132n3,not v17n3,not v84n3,not v133n3,not v188n3,not v194n3,not v159n2,not v159n1.
v160n1 :- not v134n1,not v130n1,not v21n1,not v119n1,not v152n1,not v167n1,not v160n3,not v160n2.
v160n2 :- not v134n2,not v130n2,not v21n2,not v119n2,not v152n2,not v167n2,not v160n3,not v160n1.
v160n3 :- not v134n3,not v130n3,not v21n3,not v119n3,not v152n3,not v167n3,not v160n2,not v160n1.
v161n1 :- not v136n1,not v138n1,not v115n1,not v96n1,not v46n1,not v71n1,not v179n1,not v161n3,not v161n2.
v161n2 :- not v136n2,not v138n2,not v115n2,not v96n2,not v46n2,not v71n2,not v179n2,not v161n3,not v161n1.
v161n3 :- not v136n3,not v138n3,not v115n3,not v96n3,not v46n3,not v71n3,not v179n3,not v161n2,not v161n1.
v162n1 :- not v158n1,not v73n1,not v11n1,not v59n1,not v29n1,not v155n1,not v89n1,not v162n3,not v162n2.
v162n2 :- not v158n2,not v73n2,not v11n2,not v59n2,not v29n2,not v155n2,not v89n2,not v162n3,not v162n1.
v162n3 :- not v158n3,not v73n3,not v11n3,not v59n3,not v29n3,not v155n3,not v89n3,not v162n2,not v162n1.
v163n1 :- not v41n1,not v164n1,not v37n1,not v14n1,not v116n1,not v163n3,not v163n2.
v163n2 :- not v41n2,not v164n2,not v37n2,not v14n2,not v116n2,not v163n3,not v163n1.
v163n3 :- not v41n3,not v164n3,not v37n3,not v14n3,not v116n3,not v163n2,not v163n1.
v164n1 :- not v154n1,not v52n1,not v14n1,not v150n1,not v200n1,not v163n1,not v116n1,not v98n1,not v134n1,not v164n3,not v164n2.
v164n2 :- not v154n2,not v52n2,not v14n2,not v150n2,not v200n2,not v163n2,not v116n2,not v98n2,not v134n2,not v164n3,not v164n1.
v164n3 :- not v154n3,not v52n3,not v14n3,not v150n3,not v200n3,not v163n3,not v116n3,not v98n3,not v134n3,not v164n2,not v164n1.
v165n1 :- not v127n1,not v93n1,not v17n1,not v103n1,not v165n3,not v165n2.
v165n2 :- not v127n2,not v93n2,not v17n2,not v103n2,not v165n3,not v165n1.
v165n3 :- not v127n3,not v93n3,not v17n3,not v103n3,not v165n2,not v165n1.
v166n1 :- not v58n1,not v65n1,not v61n1,not v156n1,not v166n3,not v166n2.
v166n2 :- not v58n2,not v65n2,not v61n2,not v156n2,not v166n3,not v166n1.
v166n3 :- not v58n3,not v65n3,not v61n3,not v156n3,not v166n2,not v166n1.
v167n1 :- not v36n1,not v134n1,not v131n1,not v200n1,not v18n1,not v119n1,not v160n1,not v167n3,not v167n2.
v167n2 :- not v36n2,not v134n2,not v131n2,not v200n2,not v18n2,not v119n2,not v160n2,not v167n3,not v167n1.
v167n3 :- not v36n3,not v134n3,not v131n3,not v200n3,not v18n3,not v119n3,not v160n3,not v167n2,not v167n1.
v168n1 :- not v101n1,not v21n1,not v143n1,not v151n1,not v201n1,not v54n1,not v107n1,not v110n1,not v168n3,not v168n2.
v168n2 :- not v101n2,not v21n2,not v143n2,not v151n2,not v201n2,not v54n2,not v107n2,not v110n2,not v168n3,not v168n1.
v168n3 :- not v101n3,not v21n3,not v143n3,not v151n3,not v201n3,not v54n3,not v107n3,not v110n3,not v168n2,not v168n1.
v169n1 :- not v196n1,not v13n1,not v56n1,not v141n1,not v176n1,not v187n1,not v169n3,not v169n2.
v169n2 :- not v196n2,not v13n2,not v56n2,not v141n2,not v176n2,not v187n2,not v169n3,not v169n1.
v169n3 :- not v196n3,not v13n3,not v56n3,not v141n3,not v176n3,not v187n3,not v169n2,not v169n1.
v170n1 :- not v176n1,not v105n1,not v187n1,not v170n3,not v170n2.
v170n2 :- not v176n2,not v105n2,not v187n2,not v170n3,not v170n1.
v170n3 :- not v176n3,not v105n3,not v187n3,not v170n2,not v170n1.
v171n1 :- not v67n1,not v142n1,not v130n1,not v12n1,not v146n1,not v171n3,not v171n2.
v171n2 :- not v67n2,not v142n2,not v130n2,not v12n2,not v146n2,not v171n3,not v171n1.
v171n3 :- not v67n3,not v142n3,not v130n3,not v12n3,not v146n3,not v171n2,not v171n1.
v172n1 :- not v44n1,not v79n1,not v14n1,not v49n1,not v145n1,not v195n1,not v35n1,not v113n1,not v51n1,not v189n1,not v172n3,not v172n2.
v172n2 :- not v44n2,not v79n2,not v14n2,not v49n2,not v145n2,not v195n2,not v35n2,not v113n2,not v51n2,not v189n2,not v172n3,not v172n1.
v172n3 :- not v44n3,not v79n3,not v14n3,not v49n3,not v145n3,not v195n3,not v35n3,not v113n3,not v51n3,not v189n3,not v172n2,not v172n1.
v173n1 :- not v154n1,not v114n1,not v14n1,not v191n1,not v173n3,not v173n2.
v173n2 :- not v154n2,not v114n2,not v14n2,not v191n2,not v173n3,not v173n1.
v173n3 :- not v154n3,not v114n3,not v14n3,not v191n3,not v173n2,not v173n1.
v174n1 :- not v118n1,not v68n1,not v4n1,not v104n1,not v174n3,not v174n2.
v174n2 :- not v118n2,not v68n2,not v4n2,not v104n2,not v174n3,not v174n1.
v174n3 :- not v118n3,not v68n3,not v4n3,not v104n3,not v174n2,not v174n1.
v175n1 :- not v120n1,not v24n1,not v2n1,not v70n1,not v95n1,not v175n3,not v175n2.
v175n2 :- not v120n2,not v24n2,not v2n2,not v70n2,not v95n2,not v175n3,not v175n1.
v175n3 :- not v120n3,not v24n3,not v2n3,not v70n3,not v95n3,not v175n2,not v175n1.
v176n1 :- not v187n1,not v56n1,not v170n1,not v105n1,not v169n1,not v77n1,not v45n1,not v108n1,not v176n3,not v176n2.
v176n2 :- not v187n2,not v56n2,not v170n2,not v105n2,not v169n2,not v77n2,not v45n2,not v108n2,not v176n3,not v176n1.
v176n3 :- not v187n3,not v56n3,not v170n3,not v105n3,not v169n3,not v77n3,not v45n3,not v108n3,not v176n2,not v176n1.
v177n1 :- not v190n1,not v34n1,not v102n1,not v32n1,not v22n1,not v80n1,not v177n3,not v177n2.
v177n2 :- not v190n2,not v34n2,not v102n2,not v32n2,not v22n2,not v80n2,not v177n3,not v177n1.
v177n3 :- not v190n3,not v34n3,not v102n3,not v32n3,not v22n3,not v80n3,not v177n2,not v177n1.
v178n1 :- not v201n1,not v58n1,not v156n1,not v139n1,not v6n1,not v66n1,not v59n1,not v178n3,not v178n2.
v178n2 :- not v201n2,not v58n2,not v156n2,not v139n2,not v6n2,not v66n2,not v59n2,not v178n3,not v178n1.
v178n3 :- not v201n3,not v58n3,not v156n3,not v139n3,not v6n3,not v66n3,not v59n3,not v178n2,not v178n1.
v179n1 :- not v115n1,not v138n1,not v157n1,not v57n1,not v161n1,not v179n3,not v179n2.
v179n2 :- not v115n2,not v138n2,not v157n2,not v57n2,not v161n2,not v179n3,not v179n1.
v179n3 :- not v115n3,not v138n3,not v157n3,not v57n3,not v161n3,not v179n2,not v179n1.
v180n1 :- not v20n1,not v32n1,not v153n1,not v48n1,not v117n1,not v22n1,not v180n3,not v180n2.
v180n2 :- not v20n2,not v32n2,not v153n2,not v48n2,not v117n2,not v22n2,not v180n3,not v180n1.
v180n3 :- not v20n3,not v32n3,not v153n3,not v48n3,not v117n3,not v22n3,not v180n2,not v180n1.
v181n1 :- not v11n1,not v136n1,not v25n1,not v15n1,not v144n1,not v181n3,not v181n2.
v181n2 :- not v11n2,not v136n2,not v25n2,not v15n2,not v144n2,not v181n3,not v181n1.
v181n3 :- not v11n3,not v136n3,not v25n3,not v15n3,not v144n3,not v181n2,not v181n1.
v182n1 :- not v49n1,not v80n1,not v145n1,not v118n1,not v190n1,not v182n3,not v182n2.
v182n2 :- not v49n2,not v80n2,not v145n2,not v118n2,not v190n2,not v182n3,not v182n1.
v182n3 :- not v49n3,not v80n3,not v145n3,not v118n3,not v190n3,not v182n2,not v182n1.
v183n1 :- not v42n1,not v147n1,not v193n1,not v197n1,not v183n3,not v183n2.
v183n2 :- not v42n2,not v147n2,not v193n2,not v197n2,not v183n3,not v183n1.
v183n3 :- not v42n3,not v147n3,not v193n3,not v197n3,not v183n2,not v183n1.
v184n1 :- not v100n1,not v192n1,not v88n1,not v135n1,not v184n3,not v184n2.
v184n2 :- not v100n2,not v192n2,not v88n2,not v135n2,not v184n3,not v184n1.
v184n3 :- not v100n3,not v192n3,not v88n3,not v135n3,not v184n2,not v184n1.
v185n1 :- not v69n1,not v129n1,not v144n1,not v93n1,not v185n3,not v185n2.
v185n2 :- not v69n2,not v129n2,not v144n2,not v93n2,not v185n3,not v185n1.
v185n3 :- not v69n3,not v129n3,not v144n3,not v93n3,not v185n2,not v185n1.
v186n1 :- not v84n1,not v7n1,not v132n1,not v99n1,not v88n1,not v133n1,not v186n3,not v186n2.
v186n2 :- not v84n2,not v7n2,not v132n2,not v99n2,not v88n2,not v133n2,not v186n3,not v186n1.
v186n3 :- not v84n3,not v7n3,not v132n3,not v99n3,not v88n3,not v133n3,not v186n2,not v186n1.
v187n1 :- not v176n1,not v105n1,not v169n1,not v13n1,not v170n1,not v187n3,not v187n2.
v187n2 :- not v176n2,not v105n2,not v169n2,not v13n2,not v170n2,not v187n3,not v187n1.
v187n3 :- not v176n3,not v105n3,not v169n3,not v13n3,not v170n3,not v187n2,not v187n1.
v188n1 :- not v132n1,not v76n1,not v19n1,not v159n1,not v194n1,not v188n3,not v188n2.
v188n2 :- not v132n2,not v76n2,not v19n2,not v159n2,not v194n2,not v188n3,not v188n1.
v188n3 :- not v132n3,not v76n3,not v19n3,not v159n3,not v194n3,not v188n2,not v188n1.
v189n1 :- not v33n1,not v51n1,not v172n1,not v113n1,not v189n3,not v189n2.
v189n2 :- not v33n2,not v51n2,not v172n2,not v113n2,not v189n3,not v189n1.
v189n3 :- not v33n3,not v51n3,not v172n3,not v113n3,not v189n2,not v189n1.
v190n1 :- not v35n1,not v145n1,not v177n1,not v22n1,not v80n1,not v79n1,not v182n1,not v117n1,not v190n3,not v190n2.
v190n2 :- not v35n2,not v145n2,not v177n2,not v22n2,not v80n2,not v79n2,not v182n2,not v117n2,not v190n3,not v190n1.
v190n3 :- not v35n3,not v145n3,not v177n3,not v22n3,not v80n3,not v79n3,not v182n3,not v117n3,not v190n2,not v190n1.
v191n1 :- not v117n1,not v14n1,not v79n1,not v114n1,not v173n1,not v191n3,not v191n2.
v191n2 :- not v117n2,not v14n2,not v79n2,not v114n2,not v173n2,not v191n3,not v191n1.
v191n3 :- not v117n3,not v14n3,not v79n3,not v114n3,not v173n3,not v191n2,not v191n1.
v192n1 :- not v99n1,not v26n1,not v184n1,not v135n1,not v88n1,not v45n1,not v84n1,not v192n3,not v192n2.
v192n2 :- not v99n2,not v26n2,not v184n2,not v135n2,not v88n2,not v45n2,not v84n2,not v192n3,not v192n1.
v192n3 :- not v99n3,not v26n3,not v184n3,not v135n3,not v88n3,not v45n3,not v84n3,not v192n2,not v192n1.
v193n1 :- not v147n1,not v106n1,not v183n1,not v197n1,not v193n3,not v193n2.
v193n2 :- not v147n2,not v106n2,not v183n2,not v197n2,not v193n3,not v193n1.
v193n3 :- not v147n3,not v106n3,not v183n3,not v197n3,not v193n2,not v193n1.
v194n1 :- not v19n1,not v17n1,not v159n1,not v188n1,not v194n3,not v194n2.
v194n2 :- not v19n2,not v17n2,not v159n2,not v188n2,not v194n3,not v194n1.
v194n3 :- not v19n3,not v17n3,not v159n3,not v188n3,not v194n2,not v194n1.
v195n1 :- not v37n1,not v172n1,not v28n1,not v113n1,not v44n1,not v195n3,not v195n2.
v195n2 :- not v37n2,not v172n2,not v28n2,not v113n2,not v44n2,not v195n3,not v195n1.
v195n3 :- not v37n3,not v172n3,not v28n3,not v113n3,not v44n3,not v195n2,not v195n1.
v196n1 :- not v30n1,not v72n1,not v13n1,not v169n1,not v49n1,not v39n1,not v141n1,not v196n3,not v196n2.
v196n2 :- not v30n2,not v72n2,not v13n2,not v169n2,not v49n2,not v39n2,not v141n2,not v196n3,not v196n1.
v196n3 :- not v30n3,not v72n3,not v13n3,not v169n3,not v49n3,not v39n3,not v141n3,not v196n2,not v196n1.
v197n1 :- not v132n1,not v8n1,not v42n1,not v106n1,not v183n1,not v193n1,not v124n1,not v197n3,not v197n2.
v197n2 :- not v132n2,not v8n2,not v42n2,not v106n2,not v183n2,not v193n2,not v124n2,not v197n3,not v197n1.
v197n3 :- not v132n3,not v8n3,not v42n3,not v106n3,not v183n3,not v193n3,not v124n3,not v197n2,not v197n1.
v198n1 :- not v62n1,not v8n1,not v132n1,not v124n1,not v137n1,not v76n1,not v198n3,not v198n2.
v198n2 :- not v62n2,not v8n2,not v132n2,not v124n2,not v137n2,not v76n2,not v198n3,not v198n1.
v198n3 :- not v62n3,not v8n3,not v132n3,not v124n3,not v137n3,not v76n3,not v198n2,not v198n1.
v199n1 :- not v32n1,not v34n1,not v48n1,not v23n1,not v83n1,not v199n3,not v199n2.
v199n2 :- not v32n2,not v34n2,not v48n2,not v23n2,not v83n2,not v199n3,not v199n1.
v199n3 :- not v32n3,not v34n3,not v48n3,not v23n3,not v83n3,not v199n2,not v199n1.
v200n1 :- not v18n1,not v164n1,not v167n1,not v112n1,not v134n1,not v98n1,not v200n3,not v200n2.
v200n2 :- not v18n2,not v164n2,not v167n2,not v112n2,not v134n2,not v98n2,not v200n3,not v200n1.
v200n3 :- not v18n3,not v164n3,not v167n3,not v112n3,not v134n3,not v98n3,not v200n2,not v200n1.
v201n1 :- not v178n1,not v66n1,not v168n1,not v6n1,not v54n1,not v143n1,not v201n3,not v201n2.
v201n2 :- not v178n2,not v66n2,not v168n2,not v6n2,not v54n2,not v143n2,not v201n3,not v201n1.
v201n3 :- not v178n3,not v66n3,not v168n3,not v6n3,not v54n3,not v143n3,not v201n2,not v201n1.
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.
s :- v42n1.
s :- v42n2.
s :- v42n3.
s :- v43n1.
s :- v43n2.
s :- v43n3.
s :- v44n1.
s :- v44n2.
s :- v44n3.
s :- v45n1.
s :- v45n2.
s :- v45n3.
s :- v46n1.
s :- v46n2.
s :- v46n3.
s :- v47n1.
s :- v47n2.
s :- v47n3.
s :- v48n1.
s :- v48n2.
s :- v48n3.
s :- v49n1.
s :- v49n2.
s :- v49n3.
s :- v50n1.
s :- v50n2.
s :- v50n3.
s :- v51n1.
s :- v51n2.
s :- v51n3.
s :- v52n1.
s :- v52n2.
s :- v52n3.
s :- v53n1.
s :- v53n2.
s :- v53n3.
s :- v54n1.
s :- v54n2.
s :- v54n3.
s :- v55n1.
s :- v55n2.
s :- v55n3.
s :- v56n1.
s :- v56n2.
s :- v56n3.
s :- v57n1.
s :- v57n2.
s :- v57n3.
s :- v58n1.
s :- v58n2.
s :- v58n3.
s :- v59n1.
s :- v59n2.
s :- v59n3.
s :- v60n1.
s :- v60n2.
s :- v60n3.
s :- v61n1.
s :- v61n2.
s :- v61n3.
s :- v62n1.
s :- v62n2.
s :- v62n3.
s :- v63n1.
s :- v63n2.
s :- v63n3.
s :- v64n1.
s :- v64n2.
s :- v64n3.
s :- v65n1.
s :- v65n2.
s :- v65n3.
s :- v66n1.
s :- v66n2.
s :- v66n3.
s :- v67n1.
s :- v67n2.
s :- v67n3.
s :- v68n1.
s :- v68n2.
s :- v68n3.
s :- v69n1.
s :- v69n2.
s :- v69n3.
s :- v70n1.
s :- v70n2.
s :- v70n3.
s :- v71n1.
s :- v71n2.
s :- v71n3.
s :- v72n1.
s :- v72n2.
s :- v72n3.
s :- v73n1.
s :- v73n2.
s :- v73n3.
s :- v74n1.
s :- v74n2.
s :- v74n3.
s :- v75n1.
s :- v75n2.
s :- v75n3.
s :- v76n1.
s :- v76n2.
s :- v76n3.
s :- v77n1.
s :- v77n2.
s :- v77n3.
s :- v78n1.
s :- v78n2.
s :- v78n3.
s :- v79n1.
s :- v79n2.
s :- v79n3.
s :- v80n1.
s :- v80n2.
s :- v80n3.
s :- v81n1.
s :- v81n2.
s :- v81n3.
s :- v82n1.
s :- v82n2.
s :- v82n3.
s :- v83n1.
s :- v83n2.
s :- v83n3.
s :- v84n1.
s :- v84n2.
s :- v84n3.
s :- v85n1.
s :- v85n2.
s :- v85n3.
s :- v86n1.
s :- v86n2.
s :- v86n3.
s :- v87n1.
s :- v87n2.
s :- v87n3.
s :- v88n1.
s :- v88n2.
s :- v88n3.
s :- v89n1.
s :- v89n2.
s :- v89n3.
s :- v90n1.
s :- v90n2.
s :- v90n3.
s :- v91n1.
s :- v91n2.
s :- v91n3.
s :- v92n1.
s :- v92n2.
s :- v92n3.
s :- v93n1.
s :- v93n2.
s :- v93n3.
s :- v94n1.
s :- v94n2.
s :- v94n3.
s :- v95n1.
s :- v95n2.
s :- v95n3.
s :- v96n1.
s :- v96n2.
s :- v96n3.
s :- v97n1.
s :- v97n2.
s :- v97n3.
s :- v98n1.
s :- v98n2.
s :- v98n3.
s :- v99n1.
s :- v99n2.
s :- v99n3.
s :- v100n1.
s :- v100n2.
s :- v100n3.
s :- v101n1.
s :- v101n2.
s :- v101n3.
s :- v102n1.
s :- v102n2.
s :- v102n3.
s :- v103n1.
s :- v103n2.
s :- v103n3.
s :- v104n1.
s :- v104n2.
s :- v104n3.
s :- v105n1.
s :- v105n2.
s :- v105n3.
s :- v106n1.
s :- v106n2.
s :- v106n3.
s :- v107n1.
s :- v107n2.
s :- v107n3.
s :- v108n1.
s :- v108n2.
s :- v108n3.
s :- v109n1.
s :- v109n2.
s :- v109n3.
s :- v110n1.
s :- v110n2.
s :- v110n3.
s :- v111n1.
s :- v111n2.
s :- v111n3.
s :- v112n1.
s :- v112n2.
s :- v112n3.
s :- v113n1.
s :- v113n2.
s :- v113n3.
s :- v114n1.
s :- v114n2.
s :- v114n3.
s :- v115n1.
s :- v115n2.
s :- v115n3.
s :- v116n1.
s :- v116n2.
s :- v116n3.
s :- v117n1.
s :- v117n2.
s :- v117n3.
s :- v118n1.
s :- v118n2.
s :- v118n3.
s :- v119n1.
s :- v119n2.
s :- v119n3.
s :- v120n1.
s :- v120n2.
s :- v120n3.
s :- v121n1.
s :- v121n2.
s :- v121n3.
s :- v122n1.
s :- v122n2.
s :- v122n3.
s :- v123n1.
s :- v123n2.
s :- v123n3.
s :- v124n1.
s :- v124n2.
s :- v124n3.
s :- v125n1.
s :- v125n2.
s :- v125n3.
s :- v126n1.
s :- v126n2.
s :- v126n3.
s :- v127n1.
s :- v127n2.
s :- v127n3.
s :- v128n1.
s :- v128n2.
s :- v128n3.
s :- v129n1.
s :- v129n2.
s :- v129n3.
s :- v130n1.
s :- v130n2.
s :- v130n3.
s :- v131n1.
s :- v131n2.
s :- v131n3.
s :- v132n1.
s :- v132n2.
s :- v132n3.
s :- v133n1.
s :- v133n2.
s :- v133n3.
s :- v134n1.
s :- v134n2.
s :- v134n3.
s :- v135n1.
s :- v135n2.
s :- v135n3.
s :- v136n1.
s :- v136n2.
s :- v136n3.
s :- v137n1.
s :- v137n2.
s :- v137n3.
s :- v138n1.
s :- v138n2.
s :- v138n3.
s :- v139n1.
s :- v139n2.
s :- v139n3.
s :- v140n1.
s :- v140n2.
s :- v140n3.
s :- v141n1.
s :- v141n2.
s :- v141n3.
s :- v142n1.
s :- v142n2.
s :- v142n3.
s :- v143n1.
s :- v143n2.
s :- v143n3.
s :- v144n1.
s :- v144n2.
s :- v144n3.
s :- v145n1.
s :- v145n2.
s :- v145n3.
s :- v146n1.
s :- v146n2.
s :- v146n3.
s :- v147n1.
s :- v147n2.
s :- v147n3.
s :- v148n1.
s :- v148n2.
s :- v148n3.
s :- v149n1.
s :- v149n2.
s :- v149n3.
s :- v150n1.
s :- v150n2.
s :- v150n3.
s :- v151n1.
s :- v151n2.
s :- v151n3.
s :- v152n1.
s :- v152n2.
s :- v152n3.
s :- v153n1.
s :- v153n2.
s :- v153n3.
s :- v154n1.
s :- v154n2.
s :- v154n3.
s :- v155n1.
s :- v155n2.
s :- v155n3.
s :- v156n1.
s :- v156n2.
s :- v156n3.
s :- v157n1.
s :- v157n2.
s :- v157n3.
s :- v158n1.
s :- v158n2.
s :- v158n3.
s :- v159n1.
s :- v159n2.
s :- v159n3.
s :- v160n1.
s :- v160n2.
s :- v160n3.
s :- v161n1.
s :- v161n2.
s :- v161n3.
s :- v162n1.
s :- v162n2.
s :- v162n3.
s :- v163n1.
s :- v163n2.
s :- v163n3.
s :- v164n1.
s :- v164n2.
s :- v164n3.
s :- v165n1.
s :- v165n2.
s :- v165n3.
s :- v166n1.
s :- v166n2.
s :- v166n3.
s :- v167n1.
s :- v167n2.
s :- v167n3.
s :- v168n1.
s :- v168n2.
s :- v168n3.
s :- v169n1.
s :- v169n2.
s :- v169n3.
s :- v170n1.
s :- v170n2.
s :- v170n3.
s :- v171n1.
s :- v171n2.
s :- v171n3.
s :- v172n1.
s :- v172n2.
s :- v172n3.
s :- v173n1.
s :- v173n2.
s :- v173n3.
s :- v174n1.
s :- v174n2.
s :- v174n3.
s :- v175n1.
s :- v175n2.
s :- v175n3.
s :- v176n1.
s :- v176n2.
s :- v176n3.
s :- v177n1.
s :- v177n2.
s :- v177n3.
s :- v178n1.
s :- v178n2.
s :- v178n3.
s :- v179n1.
s :- v179n2.
s :- v179n3.
s :- v180n1.
s :- v180n2.
s :- v180n3.
s :- v181n1.
s :- v181n2.
s :- v181n3.
s :- v182n1.
s :- v182n2.
s :- v182n3.
s :- v183n1.
s :- v183n2.
s :- v183n3.
s :- v184n1.
s :- v184n2.
s :- v184n3.
s :- v185n1.
s :- v185n2.
s :- v185n3.
s :- v186n1.
s :- v186n2.
s :- v186n3.
s :- v187n1.
s :- v187n2.
s :- v187n3.
s :- v188n1.
s :- v188n2.
s :- v188n3.
s :- v189n1.
s :- v189n2.
s :- v189n3.
s :- v190n1.
s :- v190n2.
s :- v190n3.
s :- v191n1.
s :- v191n2.
s :- v191n3.
s :- v192n1.
s :- v192n2.
s :- v192n3.
s :- v193n1.
s :- v193n2.
s :- v193n3.
s :- v194n1.
s :- v194n2.
s :- v194n3.
s :- v195n1.
s :- v195n2.
s :- v195n3.
s :- v196n1.
s :- v196n2.
s :- v196n3.
s :- v197n1.
s :- v197n2.
s :- v197n3.
s :- v198n1.
s :- v198n2.
s :- v198n3.
s :- v199n1.
s :- v199n2.
s :- v199n3.
s :- v200n1.
s :- v200n2.
s :- v200n3.
s :- v201n1.
s :- v201n2.
s :- v201n3.
