cnf(eq0,axiom,(yisaw(amphibian115) = wateranimal0)).

cnf(eq1,axiom,(yisal(amphibian176) = landanimal167)).

cnf(eq2,axiom,(yisal(amphibian3) = landanimal161)).

cnf(eq3,axiom,(yisaw(amphibian118) = wateranimal193)).

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

cnf(eq5,axiom,(yisaw(amphibian4) = wateranimal119)).

cnf(eq6,axiom,(yisal(amphibian106) = landanimal128)).

cnf(eq7,axiom,(yisaw(amphibian181) = wateranimal12)).

cnf(eq8,axiom,(yisal(amphibian165) = landanimal174)).

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

cnf(eq10,axiom,(yisaw(amphibian11) = wateranimal124)).

cnf(eq11,axiom,(yisaw(amphibian137) = wateranimal171)).

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

cnf(eq13,axiom,(yisal(amphibian138) = landanimal137)).

cnf(eq14,axiom,(yisaw(amphibian134) = wateranimal186)).

cnf(eq15,axiom,(yisal(amphibian65) = landanimal153)).

cnf(eq16,axiom,(yisal(amphibian107) = landanimal22)).

cnf(eq17,axiom,(yisal(amphibian124) = landanimal135)).

cnf(eq18,axiom,(yisal(amphibian196) = landanimal162)).

cnf(eq19,axiom,(yisal(amphibian113) = landanimal43)).

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

cnf(eq21,axiom,(yisaw(amphibian120) = wateranimal146)).

cnf(eq22,axiom,(yisaw(amphibian191) = wateranimal96)).

cnf(eq23,axiom,(yisaw(amphibian189) = wateranimal14)).

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

cnf(eq25,axiom,(yisal(amphibian20) = landanimal175)).

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

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

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

cnf(eq29,axiom,(yisal(amphibian184) = landanimal69)).

cnf(eq30,axiom,(yisal(amphibian193) = landanimal62)).

cnf(eq31,axiom,(yisal(amphibian111) = landanimal150)).

cnf(eq32,axiom,(yisal(amphibian122) = landanimal143)).

cnf(eq33,axiom,(yisaw(amphibian165) = wateranimal40)).

cnf(eq34,axiom,(yisal(amphibian45) = landanimal180)).

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

cnf(eq36,axiom,(yisaw(amphibian93) = wateranimal189)).

cnf(eq37,axiom,(yisaw(amphibian68) = wateranimal125)).

cnf(eq38,axiom,(yisaw(amphibian2) = wateranimal115)).

cnf(eq39,axiom,(yisaw(amphibian81) = wateranimal108)).

cnf(eq40,axiom,(yisal(amphibian174) = landanimal93)).

cnf(eq41,axiom,(yisaw(amphibian76) = wateranimal113)).

cnf(eq42,axiom,(yisaw(amphibian53) = wateranimal131)).

cnf(eq43,axiom,(yisaw(amphibian172) = wateranimal121)).

cnf(eq44,axiom,(yisal(amphibian72) = landanimal178)).

cnf(eq45,axiom,(yisaw(amphibian102) = wateranimal38)).

cnf(eq46,axiom,(yisaw(amphibian145) = wateranimal19)).

cnf(eq47,axiom,(yisal(amphibian21) = landanimal130)).

cnf(eq48,axiom,(yisal(amphibian145) = landanimal151)).

cnf(eq49,axiom,(yisal(amphibian95) = landanimal115)).

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

cnf(eq51,axiom,(yisal(amphibian180) = landanimal38)).

cnf(eq52,axiom,(yisal(amphibian177) = landanimal134)).

cnf(eq53,axiom,(yisal(amphibian132) = landanimal53)).

cnf(eq54,axiom,(yisaw(amphibian196) = wateranimal186)).

cnf(eq55,axiom,(yisaw(amphibian176) = wateranimal98)).

cnf(eq56,axiom,(yisaw(amphibian88) = wateranimal139)).

cnf(eq57,axiom,(yisaw(amphibian124) = wateranimal50)).

cnf(eq58,axiom,(yisal(amphibian170) = landanimal79)).

cnf(eq59,axiom,(yisal(amphibian33) = landanimal118)).

cnf(eq60,axiom,(yisaw(amphibian127) = wateranimal169)).

cnf(eq61,axiom,(yisaw(amphibian128) = wateranimal128)).

cnf(eq62,axiom,(yisaw(amphibian122) = wateranimal19)).

cnf(eq63,axiom,(yisal(amphibian134) = landanimal174)).

cnf(eq64,axiom,(yisaw(amphibian152) = wateranimal151)).

cnf(eq65,axiom,(yisaw(amphibian150) = wateranimal15)).

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

cnf(eq67,axiom,(yisal(amphibian181) = landanimal59)).

cnf(eq68,axiom,(yisal(amphibian125) = landanimal16)).

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

cnf(eq70,axiom,(yisaw(amphibian157) = wateranimal111)).

cnf(eq71,axiom,(yisaw(amphibian77) = wateranimal158)).

cnf(eq72,axiom,(yisaw(amphibian0) = wateranimal160)).

cnf(eq73,axiom,(yisaw(amphibian166) = wateranimal27)).

cnf(eq74,axiom,(yisal(amphibian143) = landanimal180)).

cnf(eq75,axiom,(yisaw(amphibian133) = wateranimal123)).

cnf(eq76,axiom,(yisaw(amphibian188) = wateranimal6)).

cnf(eq77,axiom,(yisal(amphibian162) = landanimal124)).

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

cnf(eq79,axiom,(yisal(amphibian88) = landanimal191)).

cnf(eq80,axiom,(yisal(amphibian140) = landanimal182)).

cnf(eq81,axiom,(yisal(amphibian101) = landanimal148)).

cnf(eq82,axiom,(yisaw(amphibian80) = wateranimal155)).

cnf(eq83,axiom,(yisaw(amphibian97) = wateranimal153)).

cnf(eq84,axiom,(yisaw(amphibian104) = wateranimal173)).

cnf(eq85,axiom,(yisal(amphibian189) = landanimal16)).

cnf(eq86,axiom,(yisaw(amphibian100) = wateranimal115)).

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

cnf(eq88,axiom,(yisal(amphibian155) = landanimal188)).

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

cnf(eq90,axiom,(yisal(amphibian16) = landanimal187)).

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

cnf(eq92,axiom,(yisaw(amphibian193) = wateranimal161)).

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

cnf(eq94,axiom,(yisal(amphibian163) = landanimal135)).

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

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

cnf(eq97,axiom,(yisal(amphibian99) = landanimal178)).

cnf(eq98,axiom,(yisaw(amphibian170) = wateranimal18)).

cnf(eq99,axiom,(yisaw(amphibian155) = wateranimal170)).

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

cnf(eq101,axiom,(yisal(amphibian46) = landanimal114)).

cnf(eq102,axiom,(yisal(amphibian133) = landanimal92)).

cnf(eq103,axiom,(yisal(amphibian40) = landanimal173)).

cnf(eq104,axiom,(yisal(amphibian109) = landanimal90)).

cnf(eq105,axiom,(yisaw(amphibian143) = wateranimal11)).

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

cnf(eq107,axiom,(yisal(amphibian119) = landanimal120)).

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

cnf(eq109,axiom,(yisal(amphibian141) = landanimal158)).

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

cnf(eq111,axiom,(yisal(amphibian37) = landanimal180)).

cnf(eq112,axiom,(yisal(amphibian154) = landanimal18)).

cnf(eq113,axiom,(yisaw(amphibian15) = wateranimal145)).

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

cnf(eq115,axiom,(yisaw(amphibian131) = wateranimal124)).

cnf(eq116,axiom,(yisal(amphibian100) = landanimal182)).

cnf(eq117,axiom,(yisal(amphibian86) = landanimal141)).

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

cnf(eq119,axiom,(yisal(amphibian78) = landanimal158)).

cnf(eq120,axiom,(yisal(amphibian168) = landanimal126)).

cnf(eq121,axiom,(yisaw(amphibian129) = wateranimal96)).

cnf(eq122,axiom,(yisal(amphibian47) = landanimal123)).

cnf(eq123,axiom,(yisal(amphibian83) = landanimal190)).

cnf(eq124,axiom,(yisal(amphibian198) = landanimal11)).

cnf(eq125,axiom,(yisal(amphibian197) = landanimal87)).

cnf(eq126,axiom,(yisaw(amphibian140) = wateranimal79)).

cnf(eq127,axiom,(yisaw(amphibian183) = wateranimal180)).

cnf(eq128,axiom,(yisal(amphibian57) = landanimal157)).

cnf(eq129,axiom,(yisal(amphibian120) = landanimal102)).

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

cnf(eq131,axiom,(yisaw(amphibian108) = wateranimal159)).

cnf(eq132,axiom,(yisal(amphibian115) = landanimal126)).

cnf(eq133,axiom,(yisal(amphibian117) = landanimal113)).

cnf(eq134,axiom,(yisal(amphibian123) = landanimal57)).

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

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

cnf(eq137,axiom,(yisal(amphibian114) = landanimal102)).

cnf(eq138,axiom,(yisaw(amphibian30) = wateranimal187)).

cnf(eq139,axiom,(yisal(amphibian161) = landanimal136)).

cnf(eq140,axiom,(yisaw(amphibian130) = wateranimal47)).

cnf(eq141,axiom,(yisal(amphibian139) = landanimal34)).

cnf(eq142,axiom,(yisal(amphibian70) = landanimal111)).

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

cnf(eq144,axiom,(yisal(amphibian194) = landanimal98)).

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

cnf(eq146,axiom,(yisal(amphibian164) = landanimal51)).

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

cnf(eq148,axiom,(yisal(amphibian29) = landanimal147)).

cnf(eq149,axiom,(yisaw(amphibian92) = wateranimal184)).

cnf(eq150,axiom,(yisal(amphibian128) = landanimal135)).

cnf(eq151,axiom,(yisal(amphibian94) = landanimal173)).

cnf(eq152,axiom,(yisal(amphibian169) = landanimal184)).

cnf(eq153,axiom,(yisal(amphibian147) = landanimal164)).

cnf(eq154,axiom,(yisaw(amphibian190) = wateranimal20)).

cnf(eq155,axiom,(yisaw(amphibian161) = wateranimal195)).

cnf(eq156,axiom,(yisal(amphibian158) = landanimal157)).

cnf(eq157,axiom,(yisal(amphibian171) = landanimal68)).

cnf(eq158,axiom,(yisaw(amphibian63) = wateranimal184)).

cnf(eq159,axiom,(yisal(amphibian28) = landanimal137)).

cnf(eq160,axiom,(yisaw(amphibian98) = wateranimal180)).

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

cnf(eq162,axiom,(yisal(amphibian126) = landanimal48)).

cnf(eq163,axiom,(yisal(amphibian146) = landanimal192)).

cnf(eq164,axiom,(yisaw(amphibian139) = wateranimal77)).

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

cnf(eq166,axiom,(yisal(amphibian131) = landanimal189)).

cnf(eq167,axiom,(yisal(amphibian130) = landanimal124)).

cnf(eq168,axiom,(yisal(amphibian50) = landanimal165)).

cnf(eq169,axiom,(yisaw(amphibian99) = wateranimal134)).

cnf(eq170,axiom,(yisaw(amphibian34) = wateranimal158)).

cnf(eq171,axiom,(yisaw(amphibian151) = wateranimal8)).

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

cnf(eq173,axiom,(yisaw(amphibian19) = wateranimal138)).

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

cnf(eq175,axiom,(yisaw(amphibian42) = wateranimal105)).

cnf(eq176,axiom,(yisaw(amphibian21) = wateranimal155)).

cnf(eq177,axiom,(yisal(amphibian60) = landanimal134)).

cnf(eq178,axiom,(yisal(amphibian91) = landanimal101)).

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

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

cnf(eq181,axiom,(yisal(amphibian137) = landanimal57)).

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

cnf(eq183,axiom,(yisaw(amphibian175) = wateranimal122)).

cnf(eq184,axiom,(yisaw(amphibian194) = wateranimal6)).

cnf(eq185,axiom,(yisal(amphibian118) = landanimal48)).

cnf(eq186,axiom,(yisaw(amphibian89) = wateranimal102)).

cnf(eq187,axiom,(yisaw(amphibian168) = wateranimal167)).

cnf(eq188,axiom,(yisaw(amphibian169) = wateranimal52)).

cnf(eq189,axiom,(yisal(amphibian127) = landanimal88)).

cnf(eq190,axiom,(yisaw(amphibian116) = wateranimal152)).

cnf(eq191,axiom,(yisaw(amphibian47) = wateranimal116)).

cnf(eq192,axiom,(yisaw(amphibian160) = wateranimal17)).

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

cnf(eq194,axiom,(yisaw(amphibian126) = wateranimal194)).

cnf(eq195,axiom,(yisal(amphibian135) = landanimal44)).

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

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

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

cnf(eq199,axiom,(yisal(amphibian108) = landanimal74)).

cnf(eq200,axiom,(yisaw(amphibian48) = wateranimal157)).

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

cnf(eq202,axiom,(yisal(amphibian150) = landanimal62)).

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

cnf(eq204,axiom,(yisaw(amphibian35) = wateranimal138)).

cnf(eq205,axiom,(yisal(amphibian166) = landanimal20)).

cnf(eq206,axiom,(yisal(amphibian195) = landanimal15)).

cnf(eq207,axiom,(yisal(amphibian59) = landanimal151)).

cnf(eq208,axiom,(yisal(amphibian23) = landanimal136)).

cnf(eq209,axiom,(yisal(amphibian148) = landanimal116)).

cnf(eq210,axiom,(yisaw(amphibian153) = wateranimal112)).

cnf(eq211,axiom,(yisal(amphibian152) = landanimal136)).

cnf(eq212,axiom,(yisal(amphibian186) = landanimal76)).

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

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

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

cnf(eq216,axiom,(yisaw(amphibian22) = wateranimal198)).

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

cnf(eq218,axiom,(yisaw(amphibian125) = wateranimal94)).

cnf(eq219,axiom,(yisaw(amphibian164) = wateranimal110)).

cnf(eq220,axiom,(yisaw(amphibian149) = wateranimal23)).

cnf(eq221,axiom,(yisal(amphibian105) = landanimal94)).

cnf(eq222,axiom,(yisaw(amphibian156) = wateranimal199)).

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

cnf(eq224,axiom,(yisaw(amphibian110) = wateranimal193)).

cnf(eq225,axiom,(yisaw(amphibian177) = wateranimal107)).

cnf(eq226,axiom,(yisaw(amphibian186) = wateranimal32)).

cnf(eq227,axiom,(yisaw(amphibian182) = wateranimal170)).

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

cnf(eq229,axiom,(yisaw(amphibian119) = wateranimal77)).

cnf(eq230,axiom,(yisaw(amphibian142) = wateranimal5)).

cnf(eq231,axiom,(yisaw(amphibian167) = wateranimal63)).

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

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

cnf(eq234,axiom,(yisaw(amphibian184) = wateranimal154)).

cnf(eq235,axiom,(yisal(amphibian55) = landanimal125)).

cnf(eq236,axiom,(yisaw(amphibian171) = wateranimal123)).

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

cnf(eq238,axiom,(yisal(amphibian67) = landanimal110)).

cnf(eq239,axiom,(yisaw(amphibian109) = wateranimal75)).

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

cnf(eq241,axiom,(yisal(amphibian167) = landanimal127)).

cnf(eq242,axiom,(yisal(amphibian11) = landanimal147)).

cnf(eq243,axiom,(yisaw(amphibian37) = wateranimal126)).

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

cnf(eq245,axiom,(yisal(amphibian49) = landanimal171)).

cnf(eq246,axiom,(yisal(amphibian92) = landanimal163)).

cnf(eq247,axiom,(yisaw(amphibian199) = wateranimal140)).

cnf(eq248,axiom,(yisal(amphibian156) = landanimal18)).

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

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

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

cnf(eq252,axiom,(yisaw(amphibian101) = wateranimal69)).

cnf(eq253,axiom,(yisal(amphibian175) = landanimal156)).

cnf(eq254,axiom,(yisaw(amphibian64) = wateranimal192)).

cnf(eq255,axiom,(yisaw(amphibian10) = wateranimal143)).

cnf(eq256,axiom,(yisaw(amphibian50) = wateranimal136)).

cnf(eq257,axiom,(yisal(amphibian76) = landanimal157)).

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

cnf(eq259,axiom,(yisaw(amphibian147) = wateranimal85)).

cnf(eq260,axiom,(yisaw(amphibian136) = wateranimal95)).

cnf(eq261,axiom,(yisal(amphibian153) = landanimal103)).

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

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

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

cnf(eq265,axiom,(yisal(amphibian159) = landanimal15)).

cnf(eq266,axiom,(yisaw(amphibian180) = wateranimal93)).

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

cnf(eq268,axiom,(yisal(amphibian42) = landanimal152)).

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

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

cnf(eq271,axiom,(yisal(amphibian160) = landanimal175)).

cnf(eq272,axiom,(yisaw(amphibian144) = wateranimal186)).

cnf(eq273,axiom,(yisaw(amphibian121) = wateranimal185)).

cnf(eq274,axiom,(yisaw(amphibian51) = wateranimal119)).

cnf(eq275,axiom,(yisaw(amphibian135) = wateranimal155)).

cnf(eq276,axiom,(yisaw(amphibian105) = wateranimal54)).

cnf(eq277,axiom,(yisaw(amphibian178) = wateranimal149)).

cnf(eq278,axiom,(yisal(amphibian172) = landanimal41)).

cnf(eq279,axiom,(yisal(amphibian129) = landanimal126)).

cnf(eq280,axiom,(yisaw(amphibian192) = wateranimal121)).

cnf(eq281,axiom,(yisal(amphibian185) = landanimal97)).

cnf(eq282,axiom,(yisaw(amphibian197) = wateranimal29)).

cnf(eq283,axiom,(yisal(amphibian157) = landanimal160)).

cnf(eq284,axiom,(yisaw(amphibian82) = wateranimal115)).

cnf(eq285,axiom,(yisaw(amphibian146) = wateranimal26)).

cnf(eq286,axiom,(yisaw(amphibian198) = wateranimal88)).

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

cnf(eq288,axiom,(yisaw(amphibian13) = wateranimal103)).

cnf(eq289,axiom,(yisal(amphibian191) = landanimal128)).

cnf(eq290,axiom,(yisaw(amphibian187) = wateranimal98)).

cnf(eq291,axiom,(yisaw(amphibian123) = wateranimal72)).

cnf(eq292,axiom,(yisal(amphibian102) = landanimal90)).

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

cnf(eq294,axiom,(yisaw(amphibian24) = wateranimal112)).

cnf(eq295,axiom,(yisaw(amphibian195) = wateranimal111)).

cnf(eq296,axiom,(yisaw(amphibian29) = wateranimal143)).

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

cnf(eq298,axiom,(yisaw(amphibian61) = wateranimal130)).

cnf(eq299,axiom,(yisal(amphibian103) = landanimal116)).

cnf(eq300,axiom,(yisaw(amphibian72) = wateranimal177)).

cnf(eq301,axiom,(yisaw(amphibian31) = wateranimal105)).

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

cnf(eq303,axiom,(yisal(amphibian183) = landanimal93)).

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

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

cnf(eq306,axiom,(yisaw(amphibian20) = wateranimal160)).

cnf(eq307,axiom,(yisal(amphibian142) = landanimal52)).

cnf(eq308,axiom,(yisal(amphibian74) = landanimal141)).

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

cnf(eq310,axiom,(yisaw(amphibian62) = wateranimal186)).

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

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

cnf(eq313,axiom,(yisaw(amphibian25) = wateranimal119)).

cnf(eq314,axiom,(yisal(amphibian173) = landanimal186)).

cnf(eq315,axiom,(yisal(amphibian34) = landanimal118)).

cnf(eq316,axiom,(yisaw(amphibian18) = wateranimal125)).

cnf(eq317,axiom,(yisal(amphibian63) = landanimal162)).

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

cnf(eq319,axiom,(yisaw(amphibian163) = wateranimal71)).

cnf(eq320,axiom,(yisal(amphibian54) = landanimal163)).

cnf(eq321,axiom,(yisal(amphibian0) = landanimal148)).

cnf(eq322,axiom,(yisal(amphibian110) = landanimal60)).

cnf(eq323,axiom,(yisaw(amphibian179) = wateranimal62)).

cnf(eq324,axiom,(yisal(amphibian187) = landanimal149)).

cnf(eq325,axiom,(yisal(amphibian179) = landanimal177)).

cnf(eq326,axiom,(yisaw(amphibian141) = wateranimal0)).

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

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

cnf(eq329,axiom,(yisaw(amphibian114) = wateranimal14)).

cnf(eq330,axiom,(yisaw(amphibian138) = wateranimal184)).

cnf(eq331,axiom,(yisaw(amphibian158) = wateranimal29)).

cnf(eq332,axiom,(yisaw(amphibian162) = wateranimal186)).

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

cnf(eq334,axiom,(yisal(amphibian32) = landanimal117)).

cnf(eq335,axiom,(yisal(amphibian93) = landanimal112)).

cnf(eq336,axiom,(yisaw(amphibian103) = wateranimal160)).

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

cnf(eq338,axiom,(yisal(amphibian178) = landanimal62)).

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

cnf(eq340,axiom,(yisal(amphibian199) = landanimal100)).

cnf(eq341,axiom,(yisal(amphibian75) = landanimal193)).

cnf(eq342,axiom,(yisaw(amphibian185) = wateranimal98)).

cnf(eq343,axiom,(yisaw(amphibian39) = wateranimal135)).

cnf(eq344,axiom,(yisaw(amphibian173) = wateranimal180)).

cnf(eq345,axiom,(yisaw(amphibian113) = wateranimal70)).

cnf(eq346,axiom,(yisaw(amphibian57) = wateranimal197)).

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

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

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

cnf(eq350,axiom,(yisaw(amphibian107) = wateranimal189)).

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

cnf(eq352,axiom,(yisal(amphibian104) = landanimal162)).

cnf(eq353,axiom,(yisaw(amphibian41) = wateranimal117)).

cnf(eq354,axiom,(yisaw(amphibian117) = wateranimal105)).

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

cnf(eq356,axiom,(yisaw(amphibian112) = wateranimal32)).

cnf(eq357,axiom,(yisal(amphibian188) = landanimal126)).

cnf(eq358,axiom,(yisaw(amphibian44) = wateranimal101)).

cnf(eq359,axiom,(yisal(amphibian144) = landanimal38)).

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

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

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

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

cnf(eq364,axiom,(yisal(amphibian121) = landanimal26)).

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

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

cnf(eq367,axiom,(yisal(amphibian9) = landanimal120)).

cnf(eq368,axiom,(yisaw(amphibian159) = wateranimal36)).

cnf(eq369,axiom,(yisal(amphibian149) = landanimal162)).

cnf(eq370,axiom,(yisaw(amphibian43) = wateranimal189)).

cnf(eq371,axiom,(yisal(amphibian151) = landanimal141)).

cnf(eq372,axiom,(yisaw(amphibian106) = wateranimal62)).

cnf(eq373,axiom,(yisaw(amphibian73) = wateranimal116)).

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

cnf(eq375,axiom,(yisaw(amphibian148) = wateranimal17)).

cnf(eq376,axiom,(yisaw(amphibian91) = wateranimal178)).

cnf(eq377,axiom,(yisaw(amphibian174) = wateranimal54)).

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

cnf(eq379,axiom,(yisal(amphibian190) = landanimal123)).

cnf(eq380,axiom,(yisal(amphibian192) = landanimal155)).

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

cnf(eq382,axiom,(yisaw(amphibian154) = wateranimal153)).

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

cnf(eq384,axiom,(yisaw(amphibian70) = wateranimal117)).

cnf(eq385,axiom,(yisal(amphibian182) = landanimal76)).

cnf(eq386,axiom,(yisal(amphibian30) = landanimal188)).

cnf(eq387,axiom,(yisaw(amphibian75) = wateranimal186)).

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

cnf(eq389,axiom,(yisaw(amphibian111) = wateranimal117)).

cnf(eq390,axiom,(yisal(amphibian136) = landanimal46)).

cnf(eq391,axiom,(yisaw(amphibian67) = wateranimal141)).

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

cnf(eq393,axiom,(yisal(amphibian116) = landanimal145)).

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

cnf(eq395,axiom,(yisal(amphibian112) = landanimal72)).

cnf(eq396,axiom,(yisaw(amphibian55) = wateranimal130)).

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

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

cnf(eq399,axiom,(yisaw(amphibian132) = wateranimal43)).

cnf(eq400,axiom,(yisal(amphibian36) = landanimal151)).