colorofnodeConsCNclNnameadjsxscolorof[Ite][True][Ite]!EQnamenodenodeConsCNclNnameadjsxseqColorListConsYellowcs1ConsNoColorcs2andFalseeqColorListcs1cs2eqColorListConsYellowcs1ConsYellowcs2andTrueeqColorListcs1cs2eqColorListConsYellowcs1ConsBluecs2andFalseeqColorListcs1cs2eqColorListConsYellowcs1ConsRedcs2andFalseeqColorListcs1cs2eqColorListConsBluecs1ConsNoColorcs2andFalseeqColorListcs1cs2eqColorListConsBluecs1ConsYellowcs2andFalseeqColorListcs1cs2eqColorListConsBluecs1ConsBluecs2andTrueeqColorListcs1cs2eqColorListConsBluecs1ConsRedcs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsNoColorcs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsYellowcs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsBluecs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsRedcs2andTrueeqColorListcs1cs2eqColorListConsNoColorcs1Consbcs2andFalseeqColorListcs1cs2revappConsxxsrestrevappxsConsxrestrevappNilrestrestpossiblecolorConsxxscolorednodespossible[Ite][True][Ite]eqColorcolorcolorofxcolorednodescolorConsxxscolorednodespossiblecolorNilcolorednodesTruecolorrestcsncscolorednodesConsxxscolorrest[Ite][True][Let]csncscolorednodesConsxxscolornodencsxcolorednodescolorrestcsncscolorednodesNilcolorednodescolorofnodeNilNoColorcolornodeConsxxsNnnscolorednodescolornode[Ite][True][Ite]possiblexnscolorednodesConsxxsNnnscolorednodescolornodeNilnodecolorednodesNotPossiblegraphcolourConsxxscsreversecolorrestcscsConscolornodecsxNilNilxseqColorListConsc1cs1NilFalseeqColorListNilConsc2cs2FalseeqColorListNilNilTrueeqColorYellowNoColorFalseeqColorYellowYellowTrueeqColorYellowBlueFalseeqColorYellowRedFalseeqColorBlueNoColorFalseeqColorBlueYellowFalseeqColorBlueBlueTrueeqColorBlueRedFalseeqColorRedNoColorFalseeqColorRedYellowFalseeqColorRedBlueFalseeqColorRedRedTruenotEmptyConsxxsTruenotEmptyNilFalseisPossibleCNclnTrueisPossibleNotPossibleFalsegetNodeNameNnameadjsnamegetNodeFromCNCNclnngetColorListFromCNCNclnclgetAdjsNnnsnseqColorNoColorbFalsereversexsrevappxsNilcolorrestthetrickcs1csncscolorednodesrestcolorrestthetrick[Ite]eqColorListcs1ncscs1csncscolorednodesrestandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrue!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00Truecolorof[Ite][True][Ite]TruenodeConsCNConsxxsnxs'xcolorrest[Ite][True][Let]csncscolorednodesrestCNclncolorrest[Ite][True][Let][Ite]TruecsncscolorednodesrestCNclncolorrest[Ite][True][Let]csncscolorednodesrestNotPossiblecolorrest[Ite][True][Let][Ite]FalsecsncscolorednodesrestNotPossiblepossible[Ite][True][Ite]FalsecolorConsxxscolorednodespossiblecolorxscolorednodescolorrestthetrick[Ite]FalseConsxxscsncscolorednodesrestcolorrestthetrickxscsncscolorednodesrestcolorof[Ite][True][Ite]FalsenodeConsxxscolorofnodexscolornode[Ite][True][Ite]FalseConsxxsnodecolorednodescolornodexsnodecolorednodespossible[Ite][True][Ite]TruecoloradjscolorednodesFalsecolorrestthetrick[Ite]Truecs1csncscolorednodesrestcolorrestcscs1colorednodesrestcolornode[Ite][True][Ite]TruecsnodecolorednodesCNcsnodecolorrest4getNodeName1True0getAdjs1NoColor0possible3eqColor2colorrest[Ite][True][Let][Ite]6colornode[Ite][True][Ite]4CN2!EQ2reverse1isPossible1Blue0Cons2colornode3NotPossible0eqColorList2graphcolour2possible[Ite][True][Ite]4getNodeFromCN1False0Red0colorrestthetrick5colorof2N2Nil0colorof[Ite][True][Ite]3and2colorrestthetrick[Ite]6Yellow0getColorListFromCN1colorrest[Ite][True][Let]5S100notEmpty1revapp2INNERMOST