@ConsxxsysConsx@xsys@Nilysysgt0ConsxxsNilTruegt0Consx'xs'Consxxsgt0xs'xsgcdNilNilNilgcdNilConsxxsNilgcdConsxxsNilNilgcdConsx'xs'Consxxsgcd[Ite][False][Ite]eqListConsx'xs'ConsxxsConsx'xs'ConsxxslgthConsxxs@ConsNilNillgthxseqListConsxxsConsyysandeqListxyeqListxsyseqListConsxxsNilFalseeqListNilConsyysFalseeqListNilNilTruelgthNilNilgt0NilyFalsemonusxymonus[Ite]eqListlgthyConsNilNilxygoalxygcdxyandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTruemonus[Ite]FalseConsx'xs'Consxxsmonusxs'xsmonus[Ite]TrueConsxxsyxsgcd[Ite][False][Ite]Falsexygcd[Ite][False][Ite][False][Ite]gt0xyxygcd[Ite][False][Ite]Truexyxlgth1monus[Ite]3True0gcd[Ite][False][Ite][False][Ite]3gcd2Nil0@2monus2and2eqList2gt02Cons2gcd[Ite][False][Ite]3goal2False0INNERMOST