cnf(eq167,axiom,(yisall(yisal(V)) = yisaww(yisaw(V)))).

cnf(eq0,axiom,(yisal(amphibian86) = landanimal41)).

cnf(eq1,axiom,(yisaw(amphibian99) = wateranimal34)).

cnf(eq2,axiom,(yisaw(amphibian66) = wateranimal49)).

cnf(eq3,axiom,(yisaw(amphibian79) = wateranimal40)).

cnf(eq4,axiom,(yisal(amphibian15) = landanimal45)).

cnf(eq5,axiom,(yisaw(amphibian10) = wateranimal43)).

cnf(eq6,axiom,(yisal(amphibian91) = landanimal1)).

cnf(eq7,axiom,(yisal(amphibian83) = landanimal90)).

cnf(eq8,axiom,(yisal(amphibian34) = landanimal18)).

cnf(eq9,axiom,(yisal(amphibian63) = landanimal62)).

cnf(eq10,axiom,(yisaw(amphibian60) = wateranimal71)).

cnf(eq11,axiom,(yisaw(amphibian63) = wateranimal84)).

cnf(eq12,axiom,(yisaw(amphibian58) = wateranimal86)).

cnf(eq13,axiom,(yisaw(amphibian29) = wateranimal43)).

cnf(eq14,axiom,(yisaw(amphibian2) = wateranimal15)).

cnf(eq15,axiom,(yisal(amphibian54) = landanimal63)).

cnf(eq16,axiom,(yisal(amphibian75) = landanimal93)).

cnf(eq17,axiom,(yisaw(amphibian65) = wateranimal28)).

cnf(eq18,axiom,(yisaw(amphibian51) = wateranimal19)).

cnf(eq19,axiom,(yisal(amphibian0) = landanimal48)).

cnf(eq20,axiom,(yisaw(amphibian83) = wateranimal33)).

cnf(eq21,axiom,(yisal(amphibian37) = landanimal80)).

cnf(eq22,axiom,(yisaw(amphibian61) = wateranimal30)).

cnf(eq23,axiom,(yisaw(amphibian33) = wateranimal51)).

cnf(eq24,axiom,(yisal(amphibian60) = landanimal34)).

cnf(eq25,axiom,(yisaw(amphibian27) = wateranimal7)).

cnf(eq26,axiom,(yisal(amphibian74) = landanimal41)).

cnf(eq27,axiom,(yisaw(amphibian14) = wateranimal92)).

cnf(eq28,axiom,(yisal(amphibian44) = landanimal41)).

cnf(eq29,axiom,(yisaw(amphibian53) = wateranimal31)).

cnf(eq30,axiom,(yisal(amphibian13) = landanimal82)).

cnf(eq31,axiom,(yisaw(amphibian55) = wateranimal30)).

cnf(eq32,axiom,(yisaw(amphibian12) = wateranimal52)).

cnf(eq33,axiom,(yisaw(amphibian68) = wateranimal25)).

cnf(eq34,axiom,(yisaw(amphibian75) = wateranimal86)).

cnf(eq35,axiom,(yisal(amphibian93) = landanimal12)).

cnf(eq36,axiom,(yisaw(amphibian1) = wateranimal29)).

cnf(eq37,axiom,(yisal(amphibian25) = landanimal77)).

cnf(eq38,axiom,(yisal(amphibian70) = landanimal11)).

cnf(eq39,axiom,(yisaw(amphibian23) = wateranimal74)).

cnf(eq40,axiom,(yisal(amphibian61) = landanimal65)).

cnf(eq41,axiom,(yisal(amphibian84) = landanimal6)).

cnf(eq42,axiom,(yisal(amphibian29) = landanimal47)).

cnf(eq43,axiom,(yisaw(amphibian78) = wateranimal16)).

cnf(eq44,axiom,(yisal(amphibian95) = landanimal15)).

cnf(eq45,axiom,(yisaw(amphibian21) = wateranimal55)).

cnf(eq46,axiom,(yisaw(amphibian35) = wateranimal38)).

cnf(eq47,axiom,(yisaw(amphibian43) = wateranimal89)).

cnf(eq48,axiom,(yisal(amphibian47) = landanimal23)).

cnf(eq49,axiom,(yisal(amphibian68) = landanimal62)).

cnf(eq50,axiom,(yisaw(amphibian48) = wateranimal57)).

cnf(eq51,axiom,(yisal(amphibian38) = landanimal62)).

cnf(eq52,axiom,(yisaw(amphibian17) = wateranimal2)).

cnf(eq53,axiom,(yisal(amphibian33) = landanimal18)).

cnf(eq54,axiom,(yisaw(amphibian22) = wateranimal98)).

cnf(eq55,axiom,(yisal(amphibian76) = landanimal57)).

cnf(eq56,axiom,(yisaw(amphibian36) = wateranimal57)).

cnf(eq57,axiom,(yisaw(amphibian49) = wateranimal5)).

cnf(eq58,axiom,(yisal(amphibian82) = landanimal75)).

cnf(eq59,axiom,(yisaw(amphibian96) = wateranimal13)).

cnf(eq60,axiom,(yisal(amphibian77) = landanimal78)).

cnf(eq61,axiom,(yisaw(amphibian7) = wateranimal95)).

cnf(eq62,axiom,(yisaw(amphibian90) = wateranimal77)).

cnf(eq63,axiom,(yisaw(amphibian18) = wateranimal25)).

cnf(eq64,axiom,(yisaw(amphibian62) = wateranimal86)).

cnf(eq65,axiom,(yisal(amphibian7) = landanimal44)).

cnf(eq66,axiom,(yisaw(amphibian44) = wateranimal1)).

cnf(eq67,axiom,(yisaw(amphibian40) = wateranimal67)).

cnf(eq68,axiom,(yisal(amphibian67) = landanimal10)).

cnf(eq69,axiom,(yisaw(amphibian52) = wateranimal67)).

cnf(eq70,axiom,(yisaw(amphibian6) = wateranimal73)).

cnf(eq71,axiom,(yisaw(amphibian24) = wateranimal12)).

cnf(eq72,axiom,(yisaw(amphibian92) = wateranimal84)).

cnf(eq73,axiom,(yisal(amphibian46) = landanimal14)).

cnf(eq74,axiom,(yisal(amphibian92) = landanimal63)).

cnf(eq75,axiom,(yisaw(amphibian71) = wateranimal71)).

cnf(eq76,axiom,(yisal(amphibian16) = landanimal87)).

cnf(eq77,axiom,(yisal(amphibian79) = landanimal75)).

cnf(eq78,axiom,(yisaw(amphibian42) = wateranimal5)).

cnf(eq79,axiom,(yisal(amphibian17) = landanimal62)).

cnf(eq80,axiom,(yisal(amphibian31) = landanimal58)).

cnf(eq81,axiom,(yisaw(amphibian56) = wateranimal98)).

cnf(eq82,axiom,(yisaw(amphibian30) = wateranimal87)).

cnf(eq83,axiom,(yisaw(amphibian50) = wateranimal36)).

cnf(eq84,axiom,(yisal(amphibian56) = landanimal21)).

cnf(eq85,axiom,(yisaw(amphibian31) = wateranimal5)).

cnf(eq86,axiom,(yisaw(amphibian25) = wateranimal19)).

cnf(eq87,axiom,(yisaw(amphibian64) = wateranimal92)).

cnf(eq88,axiom,(yisal(amphibian99) = landanimal78)).

cnf(eq89,axiom,(yisaw(amphibian97) = wateranimal53)).

cnf(eq90,axiom,(yisaw(amphibian0) = wateranimal60)).

cnf(eq91,axiom,(yisal(amphibian40) = landanimal73)).

cnf(eq92,axiom,(yisaw(amphibian4) = wateranimal19)).

cnf(eq93,axiom,(yisal(amphibian12) = landanimal60)).

cnf(eq94,axiom,(yisal(amphibian57) = landanimal57)).

cnf(eq95,axiom,(yisal(amphibian55) = landanimal25)).

cnf(eq96,axiom,(yisal(amphibian10) = landanimal88)).

cnf(eq97,axiom,(yisal(amphibian88) = landanimal91)).

cnf(eq98,axiom,(yisaw(amphibian59) = wateranimal90)).

cnf(eq99,axiom,(yisaw(amphibian89) = wateranimal2)).

cnf(eq100,axiom,(yisal(amphibian69) = landanimal59)).

cnf(eq101,axiom,(yisal(amphibian64) = landanimal50)).

cnf(eq102,axiom,(yisaw(amphibian86) = wateranimal78)).

cnf(eq103,axiom,(yisaw(amphibian69) = wateranimal94)).

cnf(eq104,axiom,(yisal(amphibian51) = landanimal53)).

cnf(eq105,axiom,(yisal(amphibian4) = landanimal54)).

cnf(eq106,axiom,(yisaw(amphibian80) = wateranimal55)).

cnf(eq107,axiom,(yisal(amphibian26) = landanimal46)).

cnf(eq108,axiom,(yisaw(amphibian11) = wateranimal24)).

cnf(eq109,axiom,(yisal(amphibian43) = landanimal43)).

cnf(eq110,axiom,(yisal(amphibian24) = landanimal62)).

cnf(eq111,axiom,(yisal(amphibian35) = landanimal72)).

cnf(eq112,axiom,(yisal(amphibian52) = landanimal67)).

cnf(eq113,axiom,(yisaw(amphibian67) = wateranimal41)).

cnf(eq114,axiom,(yisal(amphibian66) = landanimal45)).

cnf(eq115,axiom,(yisaw(amphibian5) = wateranimal77)).

cnf(eq116,axiom,(yisal(amphibian6) = landanimal62)).

cnf(eq117,axiom,(yisaw(amphibian41) = wateranimal17)).

cnf(eq118,axiom,(yisal(amphibian72) = landanimal78)).

cnf(eq119,axiom,(yisal(amphibian87) = landanimal29)).

cnf(eq120,axiom,(yisaw(amphibian57) = wateranimal97)).

cnf(eq121,axiom,(yisaw(amphibian46) = wateranimal68)).

cnf(eq122,axiom,(yisal(amphibian3) = landanimal61)).

cnf(eq123,axiom,(yisaw(amphibian39) = wateranimal35)).

cnf(eq124,axiom,(yisaw(amphibian16) = wateranimal37)).

cnf(eq125,axiom,(yisal(amphibian96) = landanimal91)).

cnf(eq126,axiom,(yisal(amphibian73) = landanimal71)).

cnf(eq127,axiom,(yisaw(amphibian76) = wateranimal13)).

cnf(eq128,axiom,(yisaw(amphibian82) = wateranimal15)).

cnf(eq129,axiom,(yisaw(amphibian28) = wateranimal8)).

cnf(eq130,axiom,(yisaw(amphibian84) = wateranimal41)).

cnf(eq131,axiom,(yisaw(amphibian32) = wateranimal8)).

cnf(eq132,axiom,(yisal(amphibian21) = landanimal30)).

cnf(eq133,axiom,(yisaw(amphibian34) = wateranimal58)).

cnf(eq134,axiom,(yisaw(amphibian91) = wateranimal78)).

cnf(eq135,axiom,(yisaw(amphibian15) = wateranimal45)).

cnf(eq136,axiom,(yisal(amphibian41) = landanimal69)).

cnf(eq137,axiom,(yisaw(amphibian70) = wateranimal17)).

cnf(eq138,axiom,(yisal(amphibian65) = landanimal53)).

cnf(eq139,axiom,(yisal(amphibian42) = landanimal52)).

cnf(eq140,axiom,(yisaw(amphibian37) = wateranimal26)).

cnf(eq141,axiom,(yisaw(amphibian26) = wateranimal16)).

cnf(eq142,axiom,(yisal(amphibian8) = landanimal75)).

cnf(eq143,axiom,(yisal(amphibian20) = landanimal75)).

cnf(eq144,axiom,(yisaw(amphibian73) = wateranimal16)).

cnf(eq145,axiom,(yisal(amphibian9) = landanimal20)).

cnf(eq146,axiom,(yisaw(amphibian77) = wateranimal58)).

cnf(eq147,axiom,(yisal(amphibian11) = landanimal47)).

cnf(eq148,axiom,(yisal(amphibian49) = landanimal71)).

cnf(eq149,axiom,(yisaw(amphibian45) = wateranimal23)).

cnf(eq150,axiom,(yisal(amphibian81) = landanimal29)).

cnf(eq151,axiom,(yisaw(amphibian20) = wateranimal60)).

cnf(eq152,axiom,(yisal(amphibian62) = landanimal4)).

cnf(eq153,axiom,(yisal(amphibian1) = landanimal47)).

cnf(eq154,axiom,(yisaw(amphibian88) = wateranimal39)).

cnf(eq155,axiom,(yisal(amphibian45) = landanimal80)).

cnf(eq156,axiom,(yisaw(amphibian38) = wateranimal97)).

cnf(eq157,axiom,(yisaw(amphibian81) = wateranimal8)).

cnf(eq158,axiom,(yisal(amphibian23) = landanimal36)).

cnf(eq159,axiom,(yisal(amphibian22) = landanimal91)).

cnf(eq160,axiom,(yisaw(amphibian8) = wateranimal84)).

cnf(eq161,axiom,(yisal(amphibian48) = landanimal22)).

cnf(eq162,axiom,(yisal(amphibian50) = landanimal65)).

cnf(eq163,axiom,(yisal(amphibian18) = landanimal53)).

cnf(eq164,axiom,(yisaw(amphibian9) = wateranimal41)).

cnf(eq165,axiom,(yisaw(amphibian72) = wateranimal77)).

cnf(eq166,axiom,(yisal(amphibian94) = landanimal73)).

cnf(eq168,axiom,(yisaw(amphibian95) = wateranimal72)).

cnf(eq169,axiom,(yisal(amphibian39) = landanimal20)).

cnf(eq170,axiom,(yisal(amphibian30) = landanimal88)).

cnf(eq171,axiom,(yisal(amphibian5) = landanimal77)).

cnf(eq172,axiom,(yisal(amphibian2) = landanimal53)).

cnf(eq173,axiom,(yisal(amphibian89) = landanimal81)).

cnf(eq174,axiom,(yisal(amphibian98) = landanimal34)).

cnf(eq175,axiom,(yisaw(amphibian93) = wateranimal89)).

cnf(eq176,axiom,(yisaw(amphibian54) = wateranimal88)).

cnf(eq177,axiom,(yisal(amphibian58) = landanimal41)).

cnf(eq178,axiom,(yisal(amphibian53) = landanimal97)).

cnf(eq179,axiom,(yisal(amphibian32) = landanimal17)).

cnf(eq180,axiom,(yisal(amphibian97) = landanimal2)).

cnf(eq181,axiom,(yisal(amphibian27) = landanimal16)).

cnf(eq182,axiom,(yisal(amphibian85) = landanimal32)).

cnf(eq183,axiom,(yisaw(amphibian74) = wateranimal35)).

cnf(eq184,axiom,(yisaw(amphibian85) = wateranimal98)).

cnf(eq185,axiom,(yisal(amphibian59) = landanimal51)).

cnf(eq186,axiom,(yisal(amphibian71) = landanimal23)).

cnf(eq187,axiom,(yisaw(amphibian47) = wateranimal16)).

cnf(eq188,axiom,(yisal(amphibian19) = landanimal35)).

cnf(eq189,axiom,(yisal(amphibian36) = landanimal51)).

cnf(eq190,axiom,(yisal(amphibian14) = landanimal23)).

cnf(eq191,axiom,(yisaw(amphibian87) = wateranimal67)).

cnf(eq192,axiom,(yisaw(amphibian94) = wateranimal60)).

cnf(eq193,axiom,(yisaw(amphibian13) = wateranimal3)).

cnf(eq194,axiom,(yisaw(amphibian19) = wateranimal38)).

cnf(eq195,axiom,(yisaw(amphibian3) = wateranimal91)).

cnf(eq196,axiom,(yisal(amphibian90) = landanimal81)).

cnf(eq197,axiom,(yisal(amphibian28) = landanimal37)).

cnf(eq198,axiom,(yisaw(amphibian98) = wateranimal80)).

cnf(eq199,axiom,(yisal(amphibian80) = landanimal45)).

cnf(eq200,axiom,(yisal(amphibian78) = landanimal58)).