@ConsxxsysConsx@xsys@Nilysysgt0ConsxxsNilTruegt0Consx'xs'Consxxsgt0xs'xsgcdNilNilNilgcdNilConsxxsNilgcdConsxxsNilNilgcdConsx'xs'Consxxsgcd[Ite]eqListConsx'xs'ConsxxsConsx'xs'ConsxxslgthConsxxs@ConsNilNillgthxseqListConsxxsConsyysandeqListxyeqListxsyseqListConsxxsNilFalseeqListNilConsyysFalseeqListNilNilTruelgthNilNilgt0NilyFalsemonusxymonus[Ite]eqListlgthyConsNilNilxygoalxygcdxyandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTruemonus[Ite]FalseConsx'xs'Consxxsmonusxs'xsmonus[Ite]TrueConsxxsyxsgcd[Ite]Falsexygcd[False][Ite]gt0xyxygcd[Ite]Truexyxgcd[False][Ite]Falsexygcdxmonusyxgcd[False][Ite]Truexygcdmonusxyylgth1monus[Ite]3True0gcd2Nil0@2monus2and2eqList2gt02Cons2gcd[Ite]3gcd[False][Ite]3goal2False0INNERMOSTFrederiksen_Glenstrup/gcd1.tml.trs