colorof node Cons CN cl N name adjs xs colorof[Ite][True][Ite] !EQ name node node Cons CN cl N name adjs xs eqColorList Cons Yellow cs1 Cons NoColor cs2 and False eqColorList cs1 cs2 eqColorList Cons Yellow cs1 Cons Yellow cs2 and True eqColorList cs1 cs2 eqColorList Cons Yellow cs1 Cons Blue cs2 and False eqColorList cs1 cs2 eqColorList Cons Yellow cs1 Cons Red cs2 and False eqColorList cs1 cs2 eqColorList Cons Blue cs1 Cons NoColor cs2 and False eqColorList cs1 cs2 eqColorList Cons Blue cs1 Cons Yellow cs2 and False eqColorList cs1 cs2 eqColorList Cons Blue cs1 Cons Blue cs2 and True eqColorList cs1 cs2 eqColorList Cons Blue cs1 Cons Red cs2 and False eqColorList cs1 cs2 eqColorList Cons Red cs1 Cons NoColor cs2 and False eqColorList cs1 cs2 eqColorList Cons Red cs1 Cons Yellow cs2 and False eqColorList cs1 cs2 eqColorList Cons Red cs1 Cons Blue cs2 and False eqColorList cs1 cs2 eqColorList Cons Red cs1 Cons Red cs2 and True eqColorList cs1 cs2 eqColorList Cons NoColor cs1 Cons b cs2 and False eqColorList cs1 cs2 revapp Cons x xs rest revapp xs Cons x rest revapp Nil rest rest possible color Cons x xs colorednodes possible[Ite][True][Ite] eqColor color colorof x colorednodes color Cons x xs colorednodes possible color Nil colorednodes True colorrest cs ncs colorednodes Cons x xs colorednoderest cs ncs x colorednodes Cons x xs colorrest cs ncs colorednodes Nil colorednodes colorof node Nil NoColor colornode Cons x xs N n ns colorednodes colornode[Ite][True][Ite] possible x ns colorednodes Cons x xs N n ns colorednodes colornode Nil node colorednodes NotPossible colorednoderest cs Cons x xs N n ns colorednodes rest colorednoderest[Ite][True][Ite] possible x ns colorednodes cs Cons x xs N n ns colorednodes rest colorednoderest cs Nil node colorednodes rest Nil graphcolour Cons x xs cs reverse colorrest cs cs Cons colornode cs x Nil Nil xs eqColorList Cons c1 cs1 Nil False eqColorList Nil Cons c2 cs2 False eqColorList Nil Nil True eqColor Yellow NoColor False eqColor Yellow Yellow True eqColor Yellow Blue False eqColor Yellow Red False eqColor Blue NoColor False eqColor Blue Yellow False eqColor Blue Blue True eqColor Blue Red False eqColor Red NoColor False eqColor Red Yellow False eqColor Red Blue False eqColor Red Red True notEmpty Cons x xs True notEmpty Nil False getNodeName N name adjs name getNodeFromCN CN cl n n getColorListFromCN CN cl n cl getAdjs N n ns ns eqColor NoColor b False reverse xs revapp xs Nil and False False False and True False False and False True False and True True True !EQ S x S y !EQ x y !EQ 0 S y False !EQ S x 0 False !EQ 0 0 True colorof[Ite][True][Ite] True node Cons CN Cons x xs n xs' x possible[Ite][True][Ite] False color Cons x xs colorednodes possible color xs colorednodes colorof[Ite][True][Ite] False node Cons x xs colorof node xs colornode[Ite][True][Ite] False Cons x xs node colorednodes colornode xs node colorednodes colorednoderest[Ite][True][Ite] False cs Cons x xs node colorednodes rest colorednoderest cs xs node colorednodes rest colorednoderest[Ite][True][Ite] True cs ncs node colorednodes Cons x xs colorednoderest[Ite][True][Ite][True][Let] cs ncs node colorednodes Cons x xs colorrest cs cs Cons CN ncs node colorednodes xs possible[Ite][True][Ite] True color adjs colorednodes False colornode[Ite][True][Ite] True cs node colorednodes CN cs node colorrest 4 getNodeName 1 True 0 getAdjs 1 NoColor 0 possible 3 eqColor 2 colorednoderest 5 colornode[Ite][True][Ite] 4 CN 2 !EQ 2 reverse 1 Blue 0 Cons 2 colornode 3 NotPossible 0 eqColorList 2 graphcolour 2 possible[Ite][True][Ite] 4 getNodeFromCN 1 False 0 Red 0 colorof 2 N 2 Nil 0 colorof[Ite][True][Ite] 3 and 2 Yellow 0 colorednoderest[Ite][True][Ite][True][Let] 6 getColorListFromCN 1 S 1 0 0 notEmpty 1 revapp 2 colorednoderest[Ite][True][Ite] 6 INNERMOST