decConsNilNilNildecConsNilConsxxsdecConsxxsdecConsConsxxsNildecNildecConsConsx'xs'ConsxxsdecConsxxsisNilNilConsNilNilTrueisNilNilConsNilConsxxsFalseisNilNilConsConsxxsNilFalseisNilNilConsConsx'xs'ConsxxsFalsenestdecNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilnestdecConsxxsnestdecdecConsxxsnumber17nConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilgoalxnestdecxdec1Cons2Nil0isNilNil1True0False0nestdec1number171goal1INNERMOST