colorofnodeConsCNclNnameadjsxscolorof[Ite][True][Ite]!EQnamenodenodeConsCNclNnameadjsxseqColorListConsYellowcs1ConsNoColorcs2andFalseeqColorListcs1cs2eqColorListConsYellowcs1ConsYellowcs2andTrueeqColorListcs1cs2eqColorListConsYellowcs1ConsBluecs2andFalseeqColorListcs1cs2eqColorListConsYellowcs1ConsRedcs2andFalseeqColorListcs1cs2eqColorListConsBluecs1ConsNoColorcs2andFalseeqColorListcs1cs2eqColorListConsBluecs1ConsYellowcs2andFalseeqColorListcs1cs2eqColorListConsBluecs1ConsBluecs2andTrueeqColorListcs1cs2eqColorListConsBluecs1ConsRedcs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsNoColorcs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsYellowcs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsBluecs2andFalseeqColorListcs1cs2eqColorListConsRedcs1ConsRedcs2andTrueeqColorListcs1cs2eqColorListConsNoColorcs1Consbcs2andFalseeqColorListcs1cs2revappConsxxsrestrevappxsConsxrestrevappNilrestrestpossiblecolorConsxxscolorednodespossible[Ite][True][Ite]eqColorcolorcolorofxcolorednodescolorConsxxscolorednodespossiblecolorNilcolorednodesTruecolorrestcsncscolorednodesConsxxscolorednoderestcsncsxcolorednodesConsxxscolorrestcsncscolorednodesNilcolorednodescolorofnodeNilNoColorcolornodeConsxxsNnnscolorednodescolornode[Ite][True][Ite]possiblexnscolorednodesConsxxsNnnscolorednodescolornodeNilnodecolorednodesNotPossiblecolorednoderestcsConsxxsNnnscolorednodesrestcolorednoderest[Ite][True][Ite]possiblexnscolorednodescsConsxxsNnnscolorednodesrestcolorednoderestcsNilnodecolorednodesrestNilgraphcolourConsxxscsreversecolorrestcscsConscolornodecsxNilNilxseqColorListConsc1cs1NilFalseeqColorListNilConsc2cs2FalseeqColorListNilNilTrueeqColorYellowNoColorFalseeqColorYellowYellowTrueeqColorYellowBlueFalseeqColorYellowRedFalseeqColorBlueNoColorFalseeqColorBlueYellowFalseeqColorBlueBlueTrueeqColorBlueRedFalseeqColorRedNoColorFalseeqColorRedYellowFalseeqColorRedBlueFalseeqColorRedRedTruenotEmptyConsxxsTruenotEmptyNilFalsegetNodeNameNnameadjsnamegetNodeFromCNCNclnngetColorListFromCNCNclnclgetAdjsNnnsnseqColorNoColorbFalsereversexsrevappxsNilandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrue!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00Truecolorof[Ite][True][Ite]TruenodeConsCNConsxxsnxs'xpossible[Ite][True][Ite]FalsecolorConsxxscolorednodespossiblecolorxscolorednodescolorof[Ite][True][Ite]FalsenodeConsxxscolorofnodexscolornode[Ite][True][Ite]FalseConsxxsnodecolorednodescolornodexsnodecolorednodescolorednoderest[Ite][True][Ite]FalsecsConsxxsnodecolorednodesrestcolorednoderestcsxsnodecolorednodesrestcolorednoderest[Ite][True][Ite]TruecsncsnodecolorednodesConsxxscolorednoderest[Ite][True][Ite][True][Let]csncsnodecolorednodesConsxxscolorrestcscsConsCNncsnodecolorednodesxspossible[Ite][True][Ite]TruecoloradjscolorednodesFalsecolornode[Ite][True][Ite]TruecsnodecolorednodesCNcsnodecolorrest4getNodeName1True0getAdjs1NoColor0possible3eqColor2colorednoderest5colornode[Ite][True][Ite]4CN2!EQ2reverse1Blue0Cons2colornode3NotPossible0eqColorList2graphcolour2possible[Ite][True][Ite]4getNodeFromCN1False0Red0colorof2N2Nil0colorof[Ite][True][Ite]3and2Yellow0colorednoderest[Ite][True][Ite][True][Let]6getColorListFromCN1S100notEmpty1revapp2colorednoderest[Ite][True][Ite]6INNERMOST