<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/abstr.xsl"?><abstr><astnode id="1068" label="Nodes&lt;Defn&gt;"><location begcolumn="1" begline="1" endcolumn="7" endline="276"/><astnode id="1" label="TypDefn" name="i"><location begcolumn="1" begline="1" endcolumn="11" endline="1"/><astnode id="0" label="AtomType" name="INT"><location begcolumn="9" begline="1" endcolumn="11" endline="1"/></astnode></astnode><astnode id="3" label="TypDefn" name="c"><location begcolumn="1" begline="2" endcolumn="12" endline="2"/><astnode id="2" label="AtomType" name="CHAR"><location begcolumn="9" begline="2" endcolumn="12" endline="2"/></astnode></astnode><astnode id="5" label="TypDefn" name="b"><location begcolumn="1" begline="3" endcolumn="12" endline="3"/><astnode id="4" label="AtomType" name="BOOL"><location begcolumn="9" begline="3" endcolumn="12" endline="3"/></astnode></astnode><astnode id="8" label="TypDefn" name="pi"><location begcolumn="1" begline="4" endcolumn="11" endline="4"/><astnode id="7" label="PtrType"><location begcolumn="10" begline="4" endcolumn="11" endline="4"/><astnode id="6" label="NameType" name="i"><location begcolumn="11" begline="4" endcolumn="11" endline="4"/></astnode></astnode></astnode><astnode id="11" label="TypDefn" name="pb"><location begcolumn="1" begline="5" endcolumn="11" endline="5"/><astnode id="10" label="PtrType"><location begcolumn="10" begline="5" endcolumn="11" endline="5"/><astnode id="9" label="NameType" name="b"><location begcolumn="11" begline="5" endcolumn="11" endline="5"/></astnode></astnode></astnode><astnode id="13" label="VarDefn" name="counter"><location begcolumn="1" begline="7" endcolumn="15" endline="7"/><astnode id="12" label="NameType" name="i"><location begcolumn="15" begline="7" endcolumn="15" endline="7"/></astnode></astnode><astnode id="15" label="VarDefn" name="flag"><location begcolumn="1" begline="8" endcolumn="12" endline="8"/><astnode id="14" label="NameType" name="b"><location begcolumn="12" begline="8" endcolumn="12" endline="8"/></astnode></astnode><astnode id="17" label="VarDefn" name="result"><location begcolumn="1" begline="9" endcolumn="14" endline="9"/><astnode id="16" label="NameType" name="i"><location begcolumn="14" begline="9" endcolumn="14" endline="9"/></astnode></astnode><astnode id="22" label="ExtFunDefn" name="ext_print"><location begcolumn="1" begline="11" endcolumn="24" endline="11"/><astnode id="21" label="Nodes&lt;ParDefn&gt;"><location begcolumn="14" begline="11" endcolumn="20" endline="11"/><astnode id="19" label="ParDefn" name="x"><location begcolumn="15" begline="11" endcolumn="19" endline="11"/><astnode id="18" label="NameType" name="i"><location begcolumn="19" begline="11" endcolumn="19" endline="11"/></astnode></astnode></astnode><astnode id="20" label="NameType" name="i"><location begcolumn="24" begline="11" endcolumn="24" endline="11"/></astnode></astnode><astnode id="25" label="ExtFunDefn" name="ext_read"><location begcolumn="1" begline="12" endcolumn="18" endline="12"/><astnode id="24" label="Nodes&lt;ParDefn&gt;"/><astnode id="23" label="NameType" name="i"><location begcolumn="18" begline="12" endcolumn="18" endline="12"/></astnode></astnode><astnode id="35" label="DefFunDefn" name="is_zero"><location begcolumn="1" begline="14" endcolumn="10" endline="15"/><astnode id="32" label="Nodes&lt;ParDefn&gt;"><location begcolumn="12" begline="14" endcolumn="18" endline="14"/><astnode id="27" label="ParDefn" name="n"><location begcolumn="13" begline="14" endcolumn="17" endline="14"/><astnode id="26" label="NameType" name="i"><location begcolumn="17" begline="14" endcolumn="17" endline="14"/></astnode></astnode></astnode><astnode id="28" label="NameType" name="b"><location begcolumn="22" begline="14" endcolumn="22" endline="14"/></astnode><astnode id="34" label="Exprs"><location begcolumn="5" begline="15" endcolumn="10" endline="15"/><astnode id="33" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="15" endcolumn="10" endline="15"/><astnode id="31" label="BinExpr" name="EQU"><location begcolumn="5" begline="15" endcolumn="10" endline="15"/><astnode id="29" label="NameExpr" name="n"><location begcolumn="5" begline="15" endcolumn="5" endline="15"/></astnode><astnode id="30" label="AtomExpr" name="0"><location begcolumn="10" begline="15" endcolumn="10" endline="15"/></astnode></astnode></astnode></astnode></astnode><astnode id="47" label="DefFunDefn" name="is_even"><location begcolumn="1" begline="17" endcolumn="14" endline="18"/><astnode id="44" label="Nodes&lt;ParDefn&gt;"><location begcolumn="12" begline="17" endcolumn="18" endline="17"/><astnode id="37" label="ParDefn" name="n"><location begcolumn="13" begline="17" endcolumn="17" endline="17"/><astnode id="36" label="NameType" name="i"><location begcolumn="17" begline="17" endcolumn="17" endline="17"/></astnode></astnode></astnode><astnode id="38" label="NameType" name="b"><location begcolumn="22" begline="17" endcolumn="22" endline="17"/></astnode><astnode id="46" label="Exprs"><location begcolumn="5" begline="18" endcolumn="14" endline="18"/><astnode id="45" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="18" endcolumn="14" endline="18"/><astnode id="43" label="BinExpr" name="EQU"><location begcolumn="5" begline="18" endcolumn="14" endline="18"/><astnode id="41" label="BinExpr" name="MOD"><location begcolumn="5" begline="18" endcolumn="9" endline="18"/><astnode id="39" label="NameExpr" name="n"><location begcolumn="5" begline="18" endcolumn="5" endline="18"/></astnode><astnode id="40" label="AtomExpr" name="2"><location begcolumn="9" begline="18" endcolumn="9" endline="18"/></astnode></astnode><astnode id="42" label="AtomExpr" name="0"><location begcolumn="14" begline="18" endcolumn="14" endline="18"/></astnode></astnode></astnode></astnode></astnode><astnode id="66" label="DefFunDefn" name="abs_val"><location begcolumn="1" begline="20" endcolumn="7" endline="25"/><astnode id="63" label="Nodes&lt;ParDefn&gt;"><location begcolumn="12" begline="20" endcolumn="18" endline="20"/><astnode id="49" label="ParDefn" name="n"><location begcolumn="13" begline="20" endcolumn="17" endline="20"/><astnode id="48" label="NameType" name="i"><location begcolumn="17" begline="20" endcolumn="17" endline="20"/></astnode></astnode></astnode><astnode id="50" label="NameType" name="i"><location begcolumn="22" begline="20" endcolumn="22" endline="20"/></astnode><astnode id="65" label="Exprs"><location begcolumn="5" begline="21" endcolumn="7" endline="25"/><astnode id="64" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="21" endcolumn="7" endline="25"/><astnode id="62" label="IfThenElseExpr"><location begcolumn="5" begline="21" endcolumn="7" endline="25"/><astnode id="53" label="BinExpr" name="LTH"><location begcolumn="8" begline="21" endcolumn="12" endline="21"/><astnode id="51" label="NameExpr" name="n"><location begcolumn="8" begline="21" endcolumn="8" endline="21"/></astnode><astnode id="52" label="AtomExpr" name="0"><location begcolumn="12" begline="21" endcolumn="12" endline="21"/></astnode></astnode><astnode id="59" label="Exprs"><location begcolumn="9" begline="22" endcolumn="13" endline="22"/><astnode id="58" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="22" endcolumn="13" endline="22"/><astnode id="56" label="BinExpr" name="SUB"><location begcolumn="9" begline="22" endcolumn="13" endline="22"/><astnode id="54" label="AtomExpr" name="0"><location begcolumn="9" begline="22" endcolumn="9" endline="22"/></astnode><astnode id="55" label="NameExpr" name="n"><location begcolumn="13" begline="22" endcolumn="13" endline="22"/></astnode></astnode></astnode></astnode><astnode id="61" label="Exprs"><location begcolumn="9" begline="24" endcolumn="9" endline="24"/><astnode id="60" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="24" endcolumn="9" endline="24"/><astnode id="57" label="NameExpr" name="n"><location begcolumn="9" begline="24" endcolumn="9" endline="24"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="85" label="DefFunDefn" name="max"><location begcolumn="1" begline="27" endcolumn="7" endline="32"/><astnode id="82" label="Nodes&lt;ParDefn&gt;"><location begcolumn="8" begline="27" endcolumn="21" endline="27"/><astnode id="68" label="ParDefn" name="a"><location begcolumn="9" begline="27" endcolumn="13" endline="27"/><astnode id="67" label="NameType" name="i"><location begcolumn="13" begline="27" endcolumn="13" endline="27"/></astnode></astnode><astnode id="70" label="ParDefn" name="b"><location begcolumn="16" begline="27" endcolumn="20" endline="27"/><astnode id="69" label="NameType" name="i"><location begcolumn="20" begline="27" endcolumn="20" endline="27"/></astnode></astnode></astnode><astnode id="71" label="NameType" name="i"><location begcolumn="25" begline="27" endcolumn="25" endline="27"/></astnode><astnode id="84" label="Exprs"><location begcolumn="5" begline="28" endcolumn="7" endline="32"/><astnode id="83" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="28" endcolumn="7" endline="32"/><astnode id="81" label="IfThenElseExpr"><location begcolumn="5" begline="28" endcolumn="7" endline="32"/><astnode id="74" label="BinExpr" name="GTH"><location begcolumn="8" begline="28" endcolumn="12" endline="28"/><astnode id="72" label="NameExpr" name="a"><location begcolumn="8" begline="28" endcolumn="8" endline="28"/></astnode><astnode id="73" label="NameExpr" name="b"><location begcolumn="12" begline="28" endcolumn="12" endline="28"/></astnode></astnode><astnode id="78" label="Exprs"><location begcolumn="9" begline="29" endcolumn="9" endline="29"/><astnode id="77" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="29" endcolumn="9" endline="29"/><astnode id="75" label="NameExpr" name="a"><location begcolumn="9" begline="29" endcolumn="9" endline="29"/></astnode></astnode></astnode><astnode id="80" label="Exprs"><location begcolumn="9" begline="31" endcolumn="9" endline="31"/><astnode id="79" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="31" endcolumn="9" endline="31"/><astnode id="76" label="NameExpr" name="b"><location begcolumn="9" begline="31" endcolumn="9" endline="31"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="104" label="DefFunDefn" name="min"><location begcolumn="1" begline="34" endcolumn="7" endline="39"/><astnode id="101" label="Nodes&lt;ParDefn&gt;"><location begcolumn="8" begline="34" endcolumn="21" endline="34"/><astnode id="87" label="ParDefn" name="a"><location begcolumn="9" begline="34" endcolumn="13" endline="34"/><astnode id="86" label="NameType" name="i"><location begcolumn="13" begline="34" endcolumn="13" endline="34"/></astnode></astnode><astnode id="89" label="ParDefn" name="b"><location begcolumn="16" begline="34" endcolumn="20" endline="34"/><astnode id="88" label="NameType" name="i"><location begcolumn="20" begline="34" endcolumn="20" endline="34"/></astnode></astnode></astnode><astnode id="90" label="NameType" name="i"><location begcolumn="25" begline="34" endcolumn="25" endline="34"/></astnode><astnode id="103" label="Exprs"><location begcolumn="5" begline="35" endcolumn="7" endline="39"/><astnode id="102" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="35" endcolumn="7" endline="39"/><astnode id="100" label="IfThenElseExpr"><location begcolumn="5" begline="35" endcolumn="7" endline="39"/><astnode id="93" label="BinExpr" name="LTH"><location begcolumn="8" begline="35" endcolumn="12" endline="35"/><astnode id="91" label="NameExpr" name="a"><location begcolumn="8" begline="35" endcolumn="8" endline="35"/></astnode><astnode id="92" label="NameExpr" name="b"><location begcolumn="12" begline="35" endcolumn="12" endline="35"/></astnode></astnode><astnode id="97" label="Exprs"><location begcolumn="9" begline="36" endcolumn="9" endline="36"/><astnode id="96" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="36" endcolumn="9" endline="36"/><astnode id="94" label="NameExpr" name="a"><location begcolumn="9" begline="36" endcolumn="9" endline="36"/></astnode></astnode></astnode><astnode id="99" label="Exprs"><location begcolumn="9" begline="38" endcolumn="9" endline="38"/><astnode id="98" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="38" endcolumn="9" endline="38"/><astnode id="95" label="NameExpr" name="b"><location begcolumn="9" begline="38" endcolumn="9" endline="38"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="132" label="DefFunDefn" name="pow"><location begcolumn="1" begline="41" endcolumn="7" endline="46"/><astnode id="129" label="Nodes&lt;ParDefn&gt;"><location begcolumn="8" begline="41" endcolumn="26" endline="41"/><astnode id="106" label="ParDefn" name="base"><location begcolumn="9" begline="41" endcolumn="16" endline="41"/><astnode id="105" label="NameType" name="i"><location begcolumn="16" begline="41" endcolumn="16" endline="41"/></astnode></astnode><astnode id="108" label="ParDefn" name="exp"><location begcolumn="19" begline="41" endcolumn="25" endline="41"/><astnode id="107" label="NameType" name="i"><location begcolumn="25" begline="41" endcolumn="25" endline="41"/></astnode></astnode></astnode><astnode id="109" label="NameType" name="i"><location begcolumn="30" begline="41" endcolumn="30" endline="41"/></astnode><astnode id="131" label="Exprs"><location begcolumn="5" begline="42" endcolumn="7" endline="46"/><astnode id="130" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="42" endcolumn="7" endline="46"/><astnode id="128" label="IfThenElseExpr"><location begcolumn="5" begline="42" endcolumn="7" endline="46"/><astnode id="113" label="CallExpr"><location begcolumn="8" begline="42" endcolumn="19" endline="42"/><astnode id="110" label="NameExpr" name="is_zero"><location begcolumn="8" begline="42" endcolumn="14" endline="42"/></astnode><astnode id="112" label="Nodes&lt;Expr&gt;"><location begcolumn="15" begline="42" endcolumn="19" endline="42"/><astnode id="111" label="NameExpr" name="exp"><location begcolumn="16" begline="42" endcolumn="18" endline="42"/></astnode></astnode></astnode><astnode id="125" label="Exprs"><location begcolumn="9" begline="43" endcolumn="9" endline="43"/><astnode id="124" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="43" endcolumn="9" endline="43"/><astnode id="114" label="AtomExpr" name="1"><location begcolumn="9" begline="43" endcolumn="9" endline="43"/></astnode></astnode></astnode><astnode id="127" label="Exprs"><location begcolumn="9" begline="45" endcolumn="33" endline="45"/><astnode id="126" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="45" endcolumn="33" endline="45"/><astnode id="123" label="BinExpr" name="MUL"><location begcolumn="9" begline="45" endcolumn="33" endline="45"/><astnode id="115" label="NameExpr" name="base"><location begcolumn="9" begline="45" endcolumn="12" endline="45"/></astnode><astnode id="122" label="CallExpr"><location begcolumn="16" begline="45" endcolumn="33" endline="45"/><astnode id="116" label="NameExpr" name="pow"><location begcolumn="16" begline="45" endcolumn="18" endline="45"/></astnode><astnode id="121" label="Nodes&lt;Expr&gt;"><location begcolumn="19" begline="45" endcolumn="33" endline="45"/><astnode id="117" label="NameExpr" name="base"><location begcolumn="20" begline="45" endcolumn="23" endline="45"/></astnode><astnode id="120" label="BinExpr" name="SUB"><location begcolumn="26" begline="45" endcolumn="32" endline="45"/><astnode id="118" label="NameExpr" name="exp"><location begcolumn="26" begline="45" endcolumn="28" endline="45"/></astnode><astnode id="119" label="AtomExpr" name="1"><location begcolumn="32" begline="45" endcolumn="32" endline="45"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="158" label="DefFunDefn" name="gcd"><location begcolumn="1" begline="48" endcolumn="7" endline="53"/><astnode id="155" label="Nodes&lt;ParDefn&gt;"><location begcolumn="8" begline="48" endcolumn="21" endline="48"/><astnode id="134" label="ParDefn" name="a"><location begcolumn="9" begline="48" endcolumn="13" endline="48"/><astnode id="133" label="NameType" name="i"><location begcolumn="13" begline="48" endcolumn="13" endline="48"/></astnode></astnode><astnode id="136" label="ParDefn" name="b"><location begcolumn="16" begline="48" endcolumn="20" endline="48"/><astnode id="135" label="NameType" name="i"><location begcolumn="20" begline="48" endcolumn="20" endline="48"/></astnode></astnode></astnode><astnode id="137" label="NameType" name="i"><location begcolumn="25" begline="48" endcolumn="25" endline="48"/></astnode><astnode id="157" label="Exprs"><location begcolumn="5" begline="49" endcolumn="7" endline="53"/><astnode id="156" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="49" endcolumn="7" endline="53"/><astnode id="154" label="IfThenElseExpr"><location begcolumn="5" begline="49" endcolumn="7" endline="53"/><astnode id="141" label="CallExpr"><location begcolumn="8" begline="49" endcolumn="17" endline="49"/><astnode id="138" label="NameExpr" name="is_zero"><location begcolumn="8" begline="49" endcolumn="14" endline="49"/></astnode><astnode id="140" label="Nodes&lt;Expr&gt;"><location begcolumn="15" begline="49" endcolumn="17" endline="49"/><astnode id="139" label="NameExpr" name="b"><location begcolumn="16" begline="49" endcolumn="16" endline="49"/></astnode></astnode></astnode><astnode id="151" label="Exprs"><location begcolumn="9" begline="50" endcolumn="9" endline="50"/><astnode id="150" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="50" endcolumn="9" endline="50"/><astnode id="142" label="NameExpr" name="a"><location begcolumn="9" begline="50" endcolumn="9" endline="50"/></astnode></astnode></astnode><astnode id="153" label="Exprs"><location begcolumn="9" begline="52" endcolumn="21" endline="52"/><astnode id="152" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="52" endcolumn="21" endline="52"/><astnode id="149" label="CallExpr"><location begcolumn="9" begline="52" endcolumn="21" endline="52"/><astnode id="143" label="NameExpr" name="gcd"><location begcolumn="9" begline="52" endcolumn="11" endline="52"/></astnode><astnode id="148" label="Nodes&lt;Expr&gt;"><location begcolumn="12" begline="52" endcolumn="21" endline="52"/><astnode id="144" label="NameExpr" name="b"><location begcolumn="13" begline="52" endcolumn="13" endline="52"/></astnode><astnode id="147" label="BinExpr" name="MOD"><location begcolumn="16" begline="52" endcolumn="20" endline="52"/><astnode id="145" label="NameExpr" name="a"><location begcolumn="16" begline="52" endcolumn="16" endline="52"/></astnode><astnode id="146" label="NameExpr" name="b"><location begcolumn="20" begline="52" endcolumn="20" endline="52"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="196" label="DefFunDefn" name="fib"><location begcolumn="1" begline="55" endcolumn="7" endline="64"/><astnode id="193" label="Nodes&lt;ParDefn&gt;"><location begcolumn="8" begline="55" endcolumn="14" endline="55"/><astnode id="160" label="ParDefn" name="n"><location begcolumn="9" begline="55" endcolumn="13" endline="55"/><astnode id="159" label="NameType" name="i"><location begcolumn="13" begline="55" endcolumn="13" endline="55"/></astnode></astnode></astnode><astnode id="161" label="NameType" name="i"><location begcolumn="18" begline="55" endcolumn="18" endline="55"/></astnode><astnode id="195" label="Exprs"><location begcolumn="5" begline="56" endcolumn="7" endline="64"/><astnode id="194" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="56" endcolumn="7" endline="64"/><astnode id="192" label="IfThenElseExpr"><location begcolumn="5" begline="56" endcolumn="7" endline="64"/><astnode id="164" label="BinExpr" name="EQU"><location begcolumn="8" begline="56" endcolumn="13" endline="56"/><astnode id="162" label="NameExpr" name="n"><location begcolumn="8" begline="56" endcolumn="8" endline="56"/></astnode><astnode id="163" label="AtomExpr" name="0"><location begcolumn="13" begline="56" endcolumn="13" endline="56"/></astnode></astnode><astnode id="189" label="Exprs"><location begcolumn="9" begline="57" endcolumn="9" endline="57"/><astnode id="188" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="57" endcolumn="9" endline="57"/><astnode id="165" label="AtomExpr" name="0"><location begcolumn="9" begline="57" endcolumn="9" endline="57"/></astnode></astnode></astnode><astnode id="191" label="Exprs"><location begcolumn="9" begline="59" endcolumn="11" endline="63"/><astnode id="190" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="59" endcolumn="11" endline="63"/><astnode id="187" label="IfThenElseExpr"><location begcolumn="9" begline="59" endcolumn="11" endline="63"/><astnode id="168" label="BinExpr" name="EQU"><location begcolumn="12" begline="59" endcolumn="17" endline="59"/><astnode id="166" label="NameExpr" name="n"><location begcolumn="12" begline="59" endcolumn="12" endline="59"/></astnode><astnode id="167" label="AtomExpr" name="1"><location begcolumn="17" begline="59" endcolumn="17" endline="59"/></astnode></astnode><astnode id="184" label="Exprs"><location begcolumn="13" begline="60" endcolumn="13" endline="60"/><astnode id="183" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="60" endcolumn="13" endline="60"/><astnode id="169" label="AtomExpr" name="1"><location begcolumn="13" begline="60" endcolumn="13" endline="60"/></astnode></astnode></astnode><astnode id="186" label="Exprs"><location begcolumn="13" begline="62" endcolumn="35" endline="62"/><astnode id="185" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="62" endcolumn="35" endline="62"/><astnode id="182" label="BinExpr" name="ADD"><location begcolumn="13" begline="62" endcolumn="35" endline="62"/><astnode id="175" label="CallExpr"><location begcolumn="13" begline="62" endcolumn="22" endline="62"/><astnode id="170" label="NameExpr" name="fib"><location begcolumn="13" begline="62" endcolumn="15" endline="62"/></astnode><astnode id="174" label="Nodes&lt;Expr&gt;"><location begcolumn="16" begline="62" endcolumn="22" endline="62"/><astnode id="173" label="BinExpr" name="SUB"><location begcolumn="17" begline="62" endcolumn="21" endline="62"/><astnode id="171" label="NameExpr" name="n"><location begcolumn="17" begline="62" endcolumn="17" endline="62"/></astnode><astnode id="172" label="AtomExpr" name="1"><location begcolumn="21" begline="62" endcolumn="21" endline="62"/></astnode></astnode></astnode></astnode><astnode id="181" label="CallExpr"><location begcolumn="26" begline="62" endcolumn="35" endline="62"/><astnode id="176" label="NameExpr" name="fib"><location begcolumn="26" begline="62" endcolumn="28" endline="62"/></astnode><astnode id="180" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="62" endcolumn="35" endline="62"/><astnode id="179" label="BinExpr" name="SUB"><location begcolumn="30" begline="62" endcolumn="34" endline="62"/><astnode id="177" label="NameExpr" name="n"><location begcolumn="30" begline="62" endcolumn="30" endline="62"/></astnode><astnode id="178" label="AtomExpr" name="2"><location begcolumn="34" begline="62" endcolumn="34" endline="62"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="221" label="DefFunDefn" name="sum_to"><location begcolumn="1" begline="66" endcolumn="7" endline="71"/><astnode id="218" label="Nodes&lt;ParDefn&gt;"><location begcolumn="11" begline="66" endcolumn="17" endline="66"/><astnode id="198" label="ParDefn" name="n"><location begcolumn="12" begline="66" endcolumn="16" endline="66"/><astnode id="197" label="NameType" name="i"><location begcolumn="16" begline="66" endcolumn="16" endline="66"/></astnode></astnode></astnode><astnode id="199" label="NameType" name="i"><location begcolumn="21" begline="66" endcolumn="21" endline="66"/></astnode><astnode id="220" label="Exprs"><location begcolumn="5" begline="67" endcolumn="7" endline="71"/><astnode id="219" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="67" endcolumn="7" endline="71"/><astnode id="217" label="IfThenElseExpr"><location begcolumn="5" begline="67" endcolumn="7" endline="71"/><astnode id="203" label="CallExpr"><location begcolumn="8" begline="67" endcolumn="17" endline="67"/><astnode id="200" label="NameExpr" name="is_zero"><location begcolumn="8" begline="67" endcolumn="14" endline="67"/></astnode><astnode id="202" label="Nodes&lt;Expr&gt;"><location begcolumn="15" begline="67" endcolumn="17" endline="67"/><astnode id="201" label="NameExpr" name="n"><location begcolumn="16" begline="67" endcolumn="16" endline="67"/></astnode></astnode></astnode><astnode id="214" label="Exprs"><location begcolumn="9" begline="68" endcolumn="9" endline="68"/><astnode id="213" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="68" endcolumn="9" endline="68"/><astnode id="204" label="AtomExpr" name="0"><location begcolumn="9" begline="68" endcolumn="9" endline="68"/></astnode></astnode></astnode><astnode id="216" label="Exprs"><location begcolumn="9" begline="70" endcolumn="25" endline="70"/><astnode id="215" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="70" endcolumn="25" endline="70"/><astnode id="212" label="BinExpr" name="ADD"><location begcolumn="9" begline="70" endcolumn="25" endline="70"/><astnode id="205" label="NameExpr" name="n"><location begcolumn="9" begline="70" endcolumn="9" endline="70"/></astnode><astnode id="211" label="CallExpr"><location begcolumn="13" begline="70" endcolumn="25" endline="70"/><astnode id="206" label="NameExpr" name="sum_to"><location begcolumn="13" begline="70" endcolumn="18" endline="70"/></astnode><astnode id="210" label="Nodes&lt;Expr&gt;"><location begcolumn="19" begline="70" endcolumn="25" endline="70"/><astnode id="209" label="BinExpr" name="SUB"><location begcolumn="20" begline="70" endcolumn="24" endline="70"/><astnode id="207" label="NameExpr" name="n"><location begcolumn="20" begline="70" endcolumn="20" endline="70"/></astnode><astnode id="208" label="AtomExpr" name="1"><location begcolumn="24" begline="70" endcolumn="24" endline="70"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="264" label="DefFunDefn" name="collatz"><location begcolumn="1" begline="73" endcolumn="7" endline="82"/><astnode id="261" label="Nodes&lt;ParDefn&gt;"><location begcolumn="12" begline="73" endcolumn="18" endline="73"/><astnode id="223" label="ParDefn" name="n"><location begcolumn="13" begline="73" endcolumn="17" endline="73"/><astnode id="222" label="NameType" name="i"><location begcolumn="17" begline="73" endcolumn="17" endline="73"/></astnode></astnode></astnode><astnode id="224" label="NameType" name="i"><location begcolumn="22" begline="73" endcolumn="22" endline="73"/></astnode><astnode id="263" label="Exprs"><location begcolumn="5" begline="74" endcolumn="7" endline="82"/><astnode id="262" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="74" endcolumn="7" endline="82"/><astnode id="260" label="IfThenElseExpr"><location begcolumn="5" begline="74" endcolumn="7" endline="82"/><astnode id="227" label="BinExpr" name="EQU"><location begcolumn="8" begline="74" endcolumn="13" endline="74"/><astnode id="225" label="NameExpr" name="n"><location begcolumn="8" begline="74" endcolumn="8" endline="74"/></astnode><astnode id="226" label="AtomExpr" name="1"><location begcolumn="13" begline="74" endcolumn="13" endline="74"/></astnode></astnode><astnode id="257" label="Exprs"><location begcolumn="9" begline="75" endcolumn="9" endline="75"/><astnode id="256" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="75" endcolumn="9" endline="75"/><astnode id="228" label="AtomExpr" name="0"><location begcolumn="9" begline="75" endcolumn="9" endline="75"/></astnode></astnode></astnode><astnode id="259" label="Exprs"><location begcolumn="9" begline="77" endcolumn="11" endline="81"/><astnode id="258" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="77" endcolumn="11" endline="81"/><astnode id="255" label="IfThenElseExpr"><location begcolumn="9" begline="77" endcolumn="11" endline="81"/><astnode id="232" label="CallExpr"><location begcolumn="12" begline="77" endcolumn="21" endline="77"/><astnode id="229" label="NameExpr" name="is_even"><location begcolumn="12" begline="77" endcolumn="18" endline="77"/></astnode><astnode id="231" label="Nodes&lt;Expr&gt;"><location begcolumn="19" begline="77" endcolumn="21" endline="77"/><astnode id="230" label="NameExpr" name="n"><location begcolumn="20" begline="77" endcolumn="20" endline="77"/></astnode></astnode></astnode><astnode id="252" label="Exprs"><location begcolumn="13" begline="78" endcolumn="30" endline="78"/><astnode id="251" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="78" endcolumn="30" endline="78"/><astnode id="240" label="BinExpr" name="ADD"><location begcolumn="13" begline="78" endcolumn="30" endline="78"/><astnode id="233" label="AtomExpr" name="1"><location begcolumn="13" begline="78" endcolumn="13" endline="78"/></astnode><astnode id="239" label="CallExpr"><location begcolumn="17" begline="78" endcolumn="30" endline="78"/><astnode id="234" label="NameExpr" name="collatz"><location begcolumn="17" begline="78" endcolumn="23" endline="78"/></astnode><astnode id="238" label="Nodes&lt;Expr&gt;"><location begcolumn="24" begline="78" endcolumn="30" endline="78"/><astnode id="237" label="BinExpr" name="DIV"><location begcolumn="25" begline="78" endcolumn="29" endline="78"/><astnode id="235" label="NameExpr" name="n"><location begcolumn="25" begline="78" endcolumn="25" endline="78"/></astnode><astnode id="236" label="AtomExpr" name="2"><location begcolumn="29" begline="78" endcolumn="29" endline="78"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="254" label="Exprs"><location begcolumn="13" begline="80" endcolumn="34" endline="80"/><astnode id="253" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="80" endcolumn="34" endline="80"/><astnode id="250" label="BinExpr" name="ADD"><location begcolumn="13" begline="80" endcolumn="34" endline="80"/><astnode id="241" label="AtomExpr" name="1"><location begcolumn="13" begline="80" endcolumn="13" endline="80"/></astnode><astnode id="249" label="CallExpr"><location begcolumn="17" begline="80" endcolumn="34" endline="80"/><astnode id="242" label="NameExpr" name="collatz"><location begcolumn="17" begline="80" endcolumn="23" endline="80"/></astnode><astnode id="248" label="Nodes&lt;Expr&gt;"><location begcolumn="24" begline="80" endcolumn="34" endline="80"/><astnode id="247" label="BinExpr" name="ADD"><location begcolumn="25" begline="80" endcolumn="33" endline="80"/><astnode id="245" label="BinExpr" name="MUL"><location begcolumn="25" begline="80" endcolumn="29" endline="80"/><astnode id="243" label="AtomExpr" name="3"><location begcolumn="25" begline="80" endcolumn="25" endline="80"/></astnode><astnode id="244" label="NameExpr" name="n"><location begcolumn="29" begline="80" endcolumn="29" endline="80"/></astnode></astnode><astnode id="246" label="AtomExpr" name="1"><location begcolumn="33" begline="80" endcolumn="33" endline="80"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="314" label="DefFunDefn" name="ackermann"><location begcolumn="1" begline="84" endcolumn="7" endline="93"/><astnode id="311" label="Nodes&lt;ParDefn&gt;"><location begcolumn="14" begline="84" endcolumn="27" endline="84"/><astnode id="266" label="ParDefn" name="m"><location begcolumn="15" begline="84" endcolumn="19" endline="84"/><astnode id="265" label="NameType" name="i"><location begcolumn="19" begline="84" endcolumn="19" endline="84"/></astnode></astnode><astnode id="268" label="ParDefn" name="n"><location begcolumn="22" begline="84" endcolumn="26" endline="84"/><astnode id="267" label="NameType" name="i"><location begcolumn="26" begline="84" endcolumn="26" endline="84"/></astnode></astnode></astnode><astnode id="269" label="NameType" name="i"><location begcolumn="31" begline="84" endcolumn="31" endline="84"/></astnode><astnode id="313" label="Exprs"><location begcolumn="5" begline="85" endcolumn="7" endline="93"/><astnode id="312" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="85" endcolumn="7" endline="93"/><astnode id="310" label="IfThenElseExpr"><location begcolumn="5" begline="85" endcolumn="7" endline="93"/><astnode id="273" label="CallExpr"><location begcolumn="8" begline="85" endcolumn="17" endline="85"/><astnode id="270" label="NameExpr" name="is_zero"><location begcolumn="8" begline="85" endcolumn="14" endline="85"/></astnode><astnode id="272" label="Nodes&lt;Expr&gt;"><location begcolumn="15" begline="85" endcolumn="17" endline="85"/><astnode id="271" label="NameExpr" name="m"><location begcolumn="16" begline="85" endcolumn="16" endline="85"/></astnode></astnode></astnode><astnode id="307" label="Exprs"><location begcolumn="9" begline="86" endcolumn="13" endline="86"/><astnode id="306" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="86" endcolumn="13" endline="86"/><astnode id="276" label="BinExpr" name="ADD"><location begcolumn="9" begline="86" endcolumn="13" endline="86"/><astnode id="274" label="NameExpr" name="n"><location begcolumn="9" begline="86" endcolumn="9" endline="86"/></astnode><astnode id="275" label="AtomExpr" name="1"><location begcolumn="13" begline="86" endcolumn="13" endline="86"/></astnode></astnode></astnode></astnode><astnode id="309" label="Exprs"><location begcolumn="9" begline="88" endcolumn="11" endline="92"/><astnode id="308" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="88" endcolumn="11" endline="92"/><astnode id="305" label="IfThenElseExpr"><location begcolumn="9" begline="88" endcolumn="11" endline="92"/><astnode id="280" label="CallExpr"><location begcolumn="12" begline="88" endcolumn="21" endline="88"/><astnode id="277" label="NameExpr" name="is_zero"><location begcolumn="12" begline="88" endcolumn="18" endline="88"/></astnode><astnode id="279" label="Nodes&lt;Expr&gt;"><location begcolumn="19" begline="88" endcolumn="21" endline="88"/><astnode id="278" label="NameExpr" name="n"><location begcolumn="20" begline="88" endcolumn="20" endline="88"/></astnode></astnode></astnode><astnode id="302" label="Exprs"><location begcolumn="13" begline="89" endcolumn="31" endline="89"/><astnode id="301" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="89" endcolumn="31" endline="89"/><astnode id="287" label="CallExpr"><location begcolumn="13" begline="89" endcolumn="31" endline="89"/><astnode id="281" label="NameExpr" name="ackermann"><location begcolumn="13" begline="89" endcolumn="21" endline="89"/></astnode><astnode id="286" label="Nodes&lt;Expr&gt;"><location begcolumn="22" begline="89" endcolumn="31" endline="89"/><astnode id="284" label="BinExpr" name="SUB"><location begcolumn="23" begline="89" endcolumn="27" endline="89"/><astnode id="282" label="NameExpr" name="m"><location begcolumn="23" begline="89" endcolumn="23" endline="89"/></astnode><astnode id="283" label="AtomExpr" name="1"><location begcolumn="27" begline="89" endcolumn="27" endline="89"/></astnode></astnode><astnode id="285" label="AtomExpr" name="1"><location begcolumn="30" begline="89" endcolumn="30" endline="89"/></astnode></astnode></astnode></astnode></astnode><astnode id="304" label="Exprs"><location begcolumn="13" begline="91" endcolumn="49" endline="91"/><astnode id="303" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="91" endcolumn="49" endline="91"/><astnode id="300" label="CallExpr"><location begcolumn="13" begline="91" endcolumn="49" endline="91"/><astnode id="288" label="NameExpr" name="ackermann"><location begcolumn="13" begline="91" endcolumn="21" endline="91"/></astnode><astnode id="299" label="Nodes&lt;Expr&gt;"><location begcolumn="22" begline="91" endcolumn="49" endline="91"/><astnode id="291" label="BinExpr" name="SUB"><location begcolumn="23" begline="91" endcolumn="27" endline="91"/><astnode id="289" label="NameExpr" name="m"><location begcolumn="23" begline="91" endcolumn="23" endline="91"/></astnode><astnode id="290" label="AtomExpr" name="1"><location begcolumn="27" begline="91" endcolumn="27" endline="91"/></astnode></astnode><astnode id="298" label="CallExpr"><location begcolumn="30" begline="91" endcolumn="48" endline="91"/><astnode id="292" label="NameExpr" name="ackermann"><location begcolumn="30" begline="91" endcolumn="38" endline="91"/></astnode><astnode id="297" label="Nodes&lt;Expr&gt;"><location begcolumn="39" begline="91" endcolumn="48" endline="91"/><astnode id="293" label="NameExpr" name="m"><location begcolumn="40" begline="91" endcolumn="40" endline="91"/></astnode><astnode id="296" label="BinExpr" name="SUB"><location begcolumn="43" begline="91" endcolumn="47" endline="91"/><astnode id="294" label="NameExpr" name="n"><location begcolumn="43" begline="91" endcolumn="43" endline="91"/></astnode><astnode id="295" label="AtomExpr" name="1"><location begcolumn="47" begline="91" endcolumn="47" endline="91"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="340" label="DefFunDefn" name="digit_sum"><location begcolumn="1" begline="95" endcolumn="7" endline="100"/><astnode id="337" label="Nodes&lt;ParDefn&gt;"><location begcolumn="14" begline="95" endcolumn="20" endline="95"/><astnode id="316" label="ParDefn" name="n"><location begcolumn="15" begline="95" endcolumn="19" endline="95"/><astnode id="315" label="NameType" name="i"><location begcolumn="19" begline="95" endcolumn="19" endline="95"/></astnode></astnode></astnode><astnode id="317" label="NameType" name="i"><location begcolumn="24" begline="95" endcolumn="24" endline="95"/></astnode><astnode id="339" label="Exprs"><location begcolumn="5" begline="96" endcolumn="7" endline="100"/><astnode id="338" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="96" endcolumn="7" endline="100"/><astnode id="336" label="IfThenElseExpr"><location begcolumn="5" begline="96" endcolumn="7" endline="100"/><astnode id="320" label="BinExpr" name="LTH"><location begcolumn="8" begline="96" endcolumn="13" endline="96"/><astnode id="318" label="NameExpr" name="n"><location begcolumn="8" begline="96" endcolumn="8" endline="96"/></astnode><astnode id="319" label="AtomExpr" name="10"><location begcolumn="12" begline="96" endcolumn="13" endline="96"/></astnode></astnode><astnode id="333" label="Exprs"><location begcolumn="9" begline="97" endcolumn="9" endline="97"/><astnode id="332" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="97" endcolumn="9" endline="97"/><astnode id="321" label="NameExpr" name="n"><location begcolumn="9" begline="97" endcolumn="9" endline="97"/></astnode></astnode></astnode><astnode id="335" label="Exprs"><location begcolumn="9" begline="99" endcolumn="34" endline="99"/><astnode id="334" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="99" endcolumn="34" endline="99"/><astnode id="331" label="BinExpr" name="ADD"><location begcolumn="9" begline="99" endcolumn="34" endline="99"/><astnode id="324" label="BinExpr" name="MOD"><location begcolumn="9" begline="99" endcolumn="14" endline="99"/><astnode id="322" label="NameExpr" name="n"><location begcolumn="9" begline="99" endcolumn="9" endline="99"/></astnode><astnode id="323" label="AtomExpr" name="10"><location begcolumn="13" begline="99" endcolumn="14" endline="99"/></astnode></astnode><astnode id="330" label="CallExpr"><location begcolumn="18" begline="99" endcolumn="34" endline="99"/><astnode id="325" label="NameExpr" name="digit_sum"><location begcolumn="18" begline="99" endcolumn="26" endline="99"/></astnode><astnode id="329" label="Nodes&lt;Expr&gt;"><location begcolumn="27" begline="99" endcolumn="34" endline="99"/><astnode id="328" label="BinExpr" name="DIV"><location begcolumn="28" begline="99" endcolumn="33" endline="99"/><astnode id="326" label="NameExpr" name="n"><location begcolumn="28" begline="99" endcolumn="28" endline="99"/></astnode><astnode id="327" label="AtomExpr" name="10"><location begcolumn="32" begline="99" endcolumn="33" endline="99"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="374" label="DefFunDefn" name="is_palindrome"><location begcolumn="1" begline="102" endcolumn="7" endline="107"/><astnode id="371" label="Nodes&lt;ParDefn&gt;"><location begcolumn="18" begline="102" endcolumn="33" endline="102"/><astnode id="342" label="ParDefn" name="n"><location begcolumn="19" begline="102" endcolumn="23" endline="102"/><astnode id="341" label="NameType" name="i"><location begcolumn="23" begline="102" endcolumn="23" endline="102"/></astnode></astnode><astnode id="344" label="ParDefn" name="rev"><location begcolumn="26" begline="102" endcolumn="32" endline="102"/><astnode id="343" label="NameType" name="i"><location begcolumn="32" begline="102" endcolumn="32" endline="102"/></astnode></astnode></astnode><astnode id="345" label="NameType" name="b"><location begcolumn="37" begline="102" endcolumn="37" endline="102"/></astnode><astnode id="373" label="Exprs"><location begcolumn="5" begline="103" endcolumn="7" endline="107"/><astnode id="372" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="103" endcolumn="7" endline="107"/><astnode id="370" label="IfThenElseExpr"><location begcolumn="5" begline="103" endcolumn="7" endline="107"/><astnode id="349" label="CallExpr"><location begcolumn="8" begline="103" endcolumn="17" endline="103"/><astnode id="346" label="NameExpr" name="is_zero"><location begcolumn="8" begline="103" endcolumn="14" endline="103"/></astnode><astnode id="348" label="Nodes&lt;Expr&gt;"><location begcolumn="15" begline="103" endcolumn="17" endline="103"/><astnode id="347" label="NameExpr" name="n"><location begcolumn="16" begline="103" endcolumn="16" endline="103"/></astnode></astnode></astnode><astnode id="367" label="Exprs"><location begcolumn="9" begline="104" endcolumn="16" endline="104"/><astnode id="366" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="104" endcolumn="16" endline="104"/><astnode id="352" label="BinExpr" name="EQU"><location begcolumn="9" begline="104" endcolumn="16" endline="104"/><astnode id="350" label="NameExpr" name="n"><location begcolumn="9" begline="104" endcolumn="9" endline="104"/></astnode><astnode id="351" label="NameExpr" name="rev"><location begcolumn="14" begline="104" endcolumn="16" endline="104"/></astnode></astnode></astnode></astnode><astnode id="369" label="Exprs"><location begcolumn="9" begline="106" endcolumn="48" endline="106"/><astnode id="368" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="106" endcolumn="48" endline="106"/><astnode id="365" label="CallExpr"><location begcolumn="9" begline="106" endcolumn="48" endline="106"/><astnode id="353" label="NameExpr" name="is_palindrome"><location begcolumn="9" begline="106" endcolumn="21" endline="106"/></astnode><astnode id="364" label="Nodes&lt;Expr&gt;"><location begcolumn="22" begline="106" endcolumn="48" endline="106"/><astnode id="356" label="BinExpr" name="DIV"><location begcolumn="23" begline="106" endcolumn="28" endline="106"/><astnode id="354" label="NameExpr" name="n"><location begcolumn="23" begline="106" endcolumn="23" endline="106"/></astnode><astnode id="355" label="AtomExpr" name="10"><location begcolumn="27" begline="106" endcolumn="28" endline="106"/></astnode></astnode><astnode id="363" label="BinExpr" name="ADD"><location begcolumn="31" begline="106" endcolumn="47" endline="106"/><astnode id="359" label="BinExpr" name="MUL"><location begcolumn="31" begline="106" endcolumn="38" endline="106"/><astnode id="357" label="NameExpr" name="rev"><location begcolumn="31" begline="106" endcolumn="33" endline="106"/></astnode><astnode id="358" label="AtomExpr" name="10"><location begcolumn="37" begline="106" endcolumn="38" endline="106"/></astnode></astnode><astnode id="362" label="BinExpr" name="MOD"><location begcolumn="42" begline="106" endcolumn="47" endline="106"/><astnode id="360" label="NameExpr" name="n"><location begcolumn="42" begline="106" endcolumn="42" endline="106"/></astnode><astnode id="361" label="AtomExpr" name="10"><location begcolumn="46" begline="106" endcolumn="47" endline="106"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="401" label="DefFunDefn" name="count_bits"><location begcolumn="1" begline="109" endcolumn="7" endline="114"/><astnode id="398" label="Nodes&lt;ParDefn&gt;"><location begcolumn="15" begline="109" endcolumn="21" endline="109"/><astnode id="376" label="ParDefn" name="n"><location begcolumn="16" begline="109" endcolumn="20" endline="109"/><astnode id="375" label="NameType" name="i"><location begcolumn="20" begline="109" endcolumn="20" endline="109"/></astnode></astnode></astnode><astnode id="377" label="NameType" name="i"><location begcolumn="25" begline="109" endcolumn="25" endline="109"/></astnode><astnode id="400" label="Exprs"><location begcolumn="5" begline="110" endcolumn="7" endline="114"/><astnode id="399" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="110" endcolumn="7" endline="114"/><astnode id="397" label="IfThenElseExpr"><location begcolumn="5" begline="110" endcolumn="7" endline="114"/><astnode id="381" label="CallExpr"><location begcolumn="8" begline="110" endcolumn="17" endline="110"/><astnode id="378" label="NameExpr" name="is_zero"><location begcolumn="8" begline="110" endcolumn="14" endline="110"/></astnode><astnode id="380" label="Nodes&lt;Expr&gt;"><location begcolumn="15" begline="110" endcolumn="17" endline="110"/><astnode id="379" label="NameExpr" name="n"><location begcolumn="16" begline="110" endcolumn="16" endline="110"/></astnode></astnode></astnode><astnode id="394" label="Exprs"><location begcolumn="9" begline="111" endcolumn="9" endline="111"/><astnode id="393" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="111" endcolumn="9" endline="111"/><astnode id="382" label="AtomExpr" name="0"><location begcolumn="9" begline="111" endcolumn="9" endline="111"/></astnode></astnode></astnode><astnode id="396" label="Exprs"><location begcolumn="9" begline="113" endcolumn="33" endline="113"/><astnode id="395" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="113" endcolumn="33" endline="113"/><astnode id="392" label="BinExpr" name="ADD"><location begcolumn="9" begline="113" endcolumn="33" endline="113"/><astnode id="385" label="BinExpr" name="MOD"><location begcolumn="9" begline="113" endcolumn="13" endline="113"/><astnode id="383" label="NameExpr" name="n"><location begcolumn="9" begline="113" endcolumn="9" endline="113"/></astnode><astnode id="384" label="AtomExpr" name="2"><location begcolumn="13" begline="113" endcolumn="13" endline="113"/></astnode></astnode><astnode id="391" label="CallExpr"><location begcolumn="17" begline="113" endcolumn="33" endline="113"/><astnode id="386" label="NameExpr" name="count_bits"><location begcolumn="17" begline="113" endcolumn="26" endline="113"/></astnode><astnode id="390" label="Nodes&lt;Expr&gt;"><location begcolumn="27" begline="113" endcolumn="33" endline="113"/><astnode id="389" label="BinExpr" name="DIV"><location begcolumn="28" begline="113" endcolumn="32" endline="113"/><astnode id="387" label="NameExpr" name="n"><location begcolumn="28" begline="113" endcolumn="28" endline="113"/></astnode><astnode id="388" label="AtomExpr" name="2"><location begcolumn="32" begline="113" endcolumn="32" endline="113"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1067" label="DefFunDefn" name="main"><location begcolumn="1" begline="116" endcolumn="7" endline="276"/><astnode id="1064" label="Nodes&lt;ParDefn&gt;"/><astnode id="402" label="NameType" name="i"><location begcolumn="14" begline="116" endcolumn="14" endline="116"/></astnode><astnode id="1066" label="Exprs"><location begcolumn="5" begline="117" endcolumn="7" endline="276"/><astnode id="1065" label="Nodes&lt;Expr&gt;"><location begcolumn="5" begline="117" endcolumn="7" endline="276"/><astnode id="1063" label="LetExpr"><location begcolumn="5" begline="117" endcolumn="7" endline="276"/><astnode id="1060" label="Nodes&lt;Defn&gt;"><location begcolumn="9" begline="118" endcolumn="29" endline="138"/><astnode id="404" label="VarDefn" name="a"><location begcolumn="9" begline="118" endcolumn="17" endline="118"/><astnode id="403" label="NameType" name="i"><location begcolumn="17" begline="118" endcolumn="17" endline="118"/></astnode></astnode><astnode id="406" label="VarDefn" name="bb"><location begcolumn="9" begline="119" endcolumn="18" endline="119"/><astnode id="405" label="NameType" name="i"><location begcolumn="18" begline="119" endcolumn="18" endline="119"/></astnode></astnode><astnode id="408" label="VarDefn" name="cc"><location begcolumn="9" begline="120" endcolumn="18" endline="120"/><astnode id="407" label="NameType" name="i"><location begcolumn="18" begline="120" endcolumn="18" endline="120"/></astnode></astnode><astnode id="410" label="VarDefn" name="dd"><location begcolumn="9" begline="121" endcolumn="18" endline="121"/><astnode id="409" label="NameType" name="i"><location begcolumn="18" begline="121" endcolumn="18" endline="121"/></astnode></astnode><astnode id="412" label="VarDefn" name="e"><location begcolumn="9" begline="122" endcolumn="17" endline="122"/><astnode id="411" label="NameType" name="i"><location begcolumn="17" begline="122" endcolumn="17" endline="122"/></astnode></astnode><astnode id="414" label="VarDefn" name="f"><location begcolumn="9" begline="123" endcolumn="17" endline="123"/><astnode id="413" label="NameType" name="b"><location begcolumn="17" begline="123" endcolumn="17" endline="123"/></astnode></astnode><astnode id="416" label="VarDefn" name="g"><location begcolumn="9" begline="124" endcolumn="17" endline="124"/><astnode id="415" label="NameType" name="b"><location begcolumn="17" begline="124" endcolumn="17" endline="124"/></astnode></astnode><astnode id="418" label="TypDefn" name="li"><location begcolumn="9" begline="125" endcolumn="18" endline="125"/><astnode id="417" label="NameType" name="i"><location begcolumn="18" begline="125" endcolumn="18" endline="125"/></astnode></astnode><astnode id="420" label="TypDefn" name="lb"><location begcolumn="9" begline="126" endcolumn="18" endline="126"/><astnode id="419" label="NameType" name="b"><location begcolumn="18" begline="126" endcolumn="18" endline="126"/></astnode></astnode><astnode id="439" label="DefFunDefn" name="local_max"><location begcolumn="9" begline="127" endcolumn="15" endline="132"/><astnode id="436" label="Nodes&lt;ParDefn&gt;"><location begcolumn="22" begline="127" endcolumn="37" endline="127"/><astnode id="422" label="ParDefn" name="x"><location begcolumn="23" begline="127" endcolumn="28" endline="127"/><astnode id="421" label="NameType" name="li"><location begcolumn="27" begline="127" endcolumn="28" endline="127"/></astnode></astnode><astnode id="424" label="ParDefn" name="y"><location begcolumn="31" begline="127" endcolumn="36" endline="127"/><astnode id="423" label="NameType" name="li"><location begcolumn="35" begline="127" endcolumn="36" endline="127"/></astnode></astnode></astnode><astnode id="425" label="NameType" name="li"><location begcolumn="41" begline="127" endcolumn="42" endline="127"/></astnode><astnode id="438" label="Exprs"><location begcolumn="13" begline="128" endcolumn="15" endline="132"/><astnode id="437" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="128" endcolumn="15" endline="132"/><astnode id="435" label="IfThenElseExpr"><location begcolumn="13" begline="128" endcolumn="15" endline="132"/><astnode id="428" label="BinExpr" name="GTH"><location begcolumn="16" begline="128" endcolumn="20" endline="128"/><astnode id="426" label="NameExpr" name="x"><location begcolumn="16" begline="128" endcolumn="16" endline="128"/></astnode><astnode id="427" label="NameExpr" name="y"><location begcolumn="20" begline="128" endcolumn="20" endline="128"/></astnode></astnode><astnode id="432" label="Exprs"><location begcolumn="17" begline="129" endcolumn="17" endline="129"/><astnode id="431" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="129" endcolumn="17" endline="129"/><astnode id="429" label="NameExpr" name="x"><location begcolumn="17" begline="129" endcolumn="17" endline="129"/></astnode></astnode></astnode><astnode id="434" label="Exprs"><location begcolumn="17" begline="131" endcolumn="17" endline="131"/><astnode id="433" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="131" endcolumn="17" endline="131"/><astnode id="430" label="NameExpr" name="y"><location begcolumn="17" begline="131" endcolumn="17" endline="131"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="451" label="DefFunDefn" name="local_and"><location begcolumn="9" begline="133" endcolumn="19" endline="134"/><astnode id="448" label="Nodes&lt;ParDefn&gt;"><location begcolumn="22" begline="133" endcolumn="37" endline="133"/><astnode id="441" label="ParDefn" name="x"><location begcolumn="23" begline="133" endcolumn="28" endline="133"/><astnode id="440" label="NameType" name="lb"><location begcolumn="27" begline="133" endcolumn="28" endline="133"/></astnode></astnode><astnode id="443" label="ParDefn" name="y"><location begcolumn="31" begline="133" endcolumn="36" endline="133"/><astnode id="442" label="NameType" name="lb"><location begcolumn="35" begline="133" endcolumn="36" endline="133"/></astnode></astnode></astnode><astnode id="444" label="NameType" name="lb"><location begcolumn="41" begline="133" endcolumn="42" endline="133"/></astnode><astnode id="450" label="Exprs"><location begcolumn="13" begline="134" endcolumn="19" endline="134"/><astnode id="449" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="134" endcolumn="19" endline="134"/><astnode id="447" label="BinExpr" name="AND"><location begcolumn="13" begline="134" endcolumn="19" endline="134"/><astnode id="445" label="NameExpr" name="x"><location begcolumn="13" begline="134" endcolumn="13" endline="134"/></astnode><astnode id="446" label="NameExpr" name="y"><location begcolumn="19" begline="134" endcolumn="19" endline="134"/></astnode></astnode></astnode></astnode></astnode><astnode id="461" label="DefFunDefn" name="triple"><location begcolumn="9" begline="135" endcolumn="17" endline="136"/><astnode id="458" label="Nodes&lt;ParDefn&gt;"><location begcolumn="19" begline="135" endcolumn="26" endline="135"/><astnode id="453" label="ParDefn" name="x"><location begcolumn="20" begline="135" endcolumn="25" endline="135"/><astnode id="452" label="NameType" name="li"><location begcolumn="24" begline="135" endcolumn="25" endline="135"/></astnode></astnode></astnode><astnode id="454" label="NameType" name="li"><location begcolumn="30" begline="135" endcolumn="31" endline="135"/></astnode><astnode id="460" label="Exprs"><location begcolumn="13" begline="136" endcolumn="17" endline="136"/><astnode id="459" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="136" endcolumn="17" endline="136"/><astnode id="457" label="BinExpr" name="MUL"><location begcolumn="13" begline="136" endcolumn="17" endline="136"/><astnode id="455" label="NameExpr" name="x"><location begcolumn="13" begline="136" endcolumn="13" endline="136"/></astnode><astnode id="456" label="AtomExpr" name="3"><location begcolumn="17" begline="136" endcolumn="17" endline="136"/></astnode></astnode></astnode></astnode></astnode><astnode id="475" label="DefFunDefn" name="compose"><location begcolumn="9" begline="137" endcolumn="29" endline="138"/><astnode id="472" label="Nodes&lt;ParDefn&gt;"><location begcolumn="20" begline="137" endcolumn="27" endline="137"/><astnode id="463" label="ParDefn" name="x"><location begcolumn="21" begline="137" endcolumn="26" endline="137"/><astnode id="462" label="NameType" name="li"><location begcolumn="25" begline="137" endcolumn="26" endline="137"/></astnode></astnode></astnode><astnode id="464" label="NameType" name="li"><location begcolumn="31" begline="137" endcolumn="32" endline="137"/></astnode><astnode id="474" label="Exprs"><location begcolumn="13" begline="138" endcolumn="29" endline="138"/><astnode id="473" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="138" endcolumn="29" endline="138"/><astnode id="471" label="CallExpr"><location begcolumn="13" begline="138" endcolumn="29" endline="138"/><astnode id="465" label="NameExpr" name="triple"><location begcolumn="13" begline="138" endcolumn="18" endline="138"/></astnode><astnode id="470" label="Nodes&lt;Expr&gt;"><location begcolumn="19" begline="138" endcolumn="29" endline="138"/><astnode id="469" label="CallExpr"><location begcolumn="20" begline="138" endcolumn="28" endline="138"/><astnode id="466" label="NameExpr" name="triple"><location begcolumn="20" begline="138" endcolumn="25" endline="138"/></astnode><astnode id="468" label="Nodes&lt;Expr&gt;"><location begcolumn="26" begline="138" endcolumn="28" endline="138"/><astnode id="467" label="NameExpr" name="x"><location begcolumn="27" begline="138" endcolumn="27" endline="138"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1062" label="Exprs"><location begcolumn="9" begline="140" endcolumn="11" endline="275"/><astnode id="1061" label="Nodes&lt;Expr&gt;"><location begcolumn="9" begline="140" endcolumn="11" endline="275"/><astnode id="478" label="AsgnExpr"><location begcolumn="9" begline="140" endcolumn="19" endline="140"/><astnode id="476" label="NameExpr" name="counter"><location begcolumn="9" begline="140" endcolumn="15" endline="140"/></astnode><astnode id="477" label="AtomExpr" name="0"><location begcolumn="19" begline="140" endcolumn="19" endline="140"/></astnode></astnode><astnode id="481" label="AsgnExpr"><location begcolumn="9" begline="141" endcolumn="18" endline="141"/><astnode id="479" label="NameExpr" name="result"><location begcolumn="9" begline="141" endcolumn="14" endline="141"/></astnode><astnode id="480" label="AtomExpr" name="0"><location begcolumn="18" begline="141" endcolumn="18" endline="141"/></astnode></astnode><astnode id="484" label="AsgnExpr"><location begcolumn="9" begline="142" endcolumn="19" endline="142"/><astnode id="482" label="NameExpr" name="flag"><location begcolumn="9" begline="142" endcolumn="12" endline="142"/></astnode><astnode id="483" label="AtomExpr" name="true"><location begcolumn="16" begline="142" endcolumn="19" endline="142"/></astnode></astnode><astnode id="490" label="AsgnExpr"><location begcolumn="9" begline="143" endcolumn="19" endline="143"/><astnode id="485" label="NameExpr" name="a"><location begcolumn="9" begline="143" endcolumn="9" endline="143"/></astnode><astnode id="489" label="CallExpr"><location begcolumn="13" begline="143" endcolumn="19" endline="143"/><astnode id="486" label="NameExpr" name="fib"><location begcolumn="13" begline="143" endcolumn="15" endline="143"/></astnode><astnode id="488" label="Nodes&lt;Expr&gt;"><location begcolumn="16" begline="143" endcolumn="19" endline="143"/><astnode id="487" label="AtomExpr" name="10"><location begcolumn="17" begline="143" endcolumn="18" endline="143"/></astnode></astnode></astnode></astnode><astnode id="497" label="AsgnExpr"><location begcolumn="9" begline="144" endcolumn="22" endline="144"/><astnode id="491" label="NameExpr" name="bb"><location begcolumn="9" begline="144" endcolumn="10" endline="144"/></astnode><astnode id="496" label="CallExpr"><location begcolumn="14" begline="144" endcolumn="22" endline="144"/><astnode id="492" label="NameExpr" name="pow"><location begcolumn="14" begline="144" endcolumn="16" endline="144"/></astnode><astnode id="495" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="144" endcolumn="22" endline="144"/><astnode id="493" label="AtomExpr" name="2"><location begcolumn="18" begline="144" endcolumn="18" endline="144"/></astnode><astnode id="494" label="AtomExpr" name="8"><location begcolumn="21" begline="144" endcolumn="21" endline="144"/></astnode></astnode></astnode></astnode><astnode id="504" label="AsgnExpr"><location begcolumn="9" begline="145" endcolumn="23" endline="145"/><astnode id="498" label="NameExpr" name="cc"><location begcolumn="9" begline="145" endcolumn="10" endline="145"/></astnode><astnode id="503" label="CallExpr"><location begcolumn="14" begline="145" endcolumn="23" endline="145"/><astnode id="499" label="NameExpr" name="gcd"><location begcolumn="14" begline="145" endcolumn="16" endline="145"/></astnode><astnode id="502" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="145" endcolumn="23" endline="145"/><astnode id="500" label="NameExpr" name="bb"><location begcolumn="18" begline="145" endcolumn="19" endline="145"/></astnode><astnode id="501" label="NameExpr" name="a"><location begcolumn="22" begline="145" endcolumn="22" endline="145"/></astnode></astnode></astnode></astnode><astnode id="510" label="AsgnExpr"><location begcolumn="9" begline="146" endcolumn="24" endline="146"/><astnode id="505" label="NameExpr" name="dd"><location begcolumn="9" begline="146" endcolumn="10" endline="146"/></astnode><astnode id="509" label="CallExpr"><location begcolumn="14" begline="146" endcolumn="24" endline="146"/><astnode id="506" label="NameExpr" name="sum_to"><location begcolumn="14" begline="146" endcolumn="19" endline="146"/></astnode><astnode id="508" label="Nodes&lt;Expr&gt;"><location begcolumn="20" begline="146" endcolumn="24" endline="146"/><astnode id="507" label="AtomExpr" name="100"><location begcolumn="21" begline="146" endcolumn="23" endline="146"/></astnode></astnode></astnode></astnode><astnode id="516" label="AsgnExpr"><location begcolumn="9" begline="147" endcolumn="23" endline="147"/><astnode id="511" label="NameExpr" name="e"><location begcolumn="9" begline="147" endcolumn="9" endline="147"/></astnode><astnode id="515" label="CallExpr"><location begcolumn="13" begline="147" endcolumn="23" endline="147"/><astnode id="512" label="NameExpr" name="collatz"><location begcolumn="13" begline="147" endcolumn="19" endline="147"/></astnode><astnode id="514" label="Nodes&lt;Expr&gt;"><location begcolumn="20" begline="147" endcolumn="23" endline="147"/><astnode id="513" label="AtomExpr" name="27"><location begcolumn="21" begline="147" endcolumn="22" endline="147"/></astnode></astnode></astnode></astnode><astnode id="522" label="AsgnExpr"><location begcolumn="9" begline="148" endcolumn="22" endline="148"/><astnode id="517" label="NameExpr" name="f"><location begcolumn="9" begline="148" endcolumn="9" endline="148"/></astnode><astnode id="521" label="CallExpr"><location begcolumn="13" begline="148" endcolumn="22" endline="148"/><astnode id="518" label="NameExpr" name="is_even"><location begcolumn="13" begline="148" endcolumn="19" endline="148"/></astnode><astnode id="520" label="Nodes&lt;Expr&gt;"><location begcolumn="20" begline="148" endcolumn="22" endline="148"/><astnode id="519" label="NameExpr" name="a"><location begcolumn="21" begline="148" endcolumn="21" endline="148"/></astnode></astnode></astnode></astnode><astnode id="529" label="AsgnExpr"><location begcolumn="9" begline="149" endcolumn="35" endline="149"/><astnode id="523" label="NameExpr" name="g"><location begcolumn="9" begline="149" endcolumn="9" endline="149"/></astnode><astnode id="528" label="CallExpr"><location begcolumn="13" begline="149" endcolumn="35" endline="149"/><astnode id="524" label="NameExpr" name="is_palindrome"><location begcolumn="13" begline="149" endcolumn="25" endline="149"/></astnode><astnode id="527" label="Nodes&lt;Expr&gt;"><location begcolumn="26" begline="149" endcolumn="35" endline="149"/><astnode id="525" label="AtomExpr" name="12321"><location begcolumn="27" begline="149" endcolumn="31" endline="149"/></astnode><astnode id="526" label="AtomExpr" name="0"><location begcolumn="34" begline="149" endcolumn="34" endline="149"/></astnode></astnode></astnode></astnode><astnode id="536" label="AsgnExpr"><location begcolumn="9" begline="150" endcolumn="33" endline="150"/><astnode id="530" label="NameExpr" name="result"><location begcolumn="9" begline="150" endcolumn="14" endline="150"/></astnode><astnode id="535" label="CallExpr"><location begcolumn="18" begline="150" endcolumn="33" endline="150"/><astnode id="531" label="NameExpr" name="local_max"><location begcolumn="18" begline="150" endcolumn="26" endline="150"/></astnode><astnode id="534" label="Nodes&lt;Expr&gt;"><location begcolumn="27" begline="150" endcolumn="33" endline="150"/><astnode id="532" label="NameExpr" name="a"><location begcolumn="28" begline="150" endcolumn="28" endline="150"/></astnode><astnode id="533" label="NameExpr" name="bb"><location begcolumn="31" begline="150" endcolumn="32" endline="150"/></astnode></astnode></astnode></astnode><astnode id="542" label="AsgnExpr"><location begcolumn="9" begline="151" endcolumn="32" endline="151"/><astnode id="537" label="NameExpr" name="result"><location begcolumn="9" begline="151" endcolumn="14" endline="151"/></astnode><astnode id="541" label="CallExpr"><location begcolumn="18" begline="151" endcolumn="32" endline="151"/><astnode id="538" label="NameExpr" name="compose"><location begcolumn="18" begline="151" endcolumn="24" endline="151"/></astnode><astnode id="540" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="151" endcolumn="32" endline="151"/><astnode id="539" label="NameExpr" name="result"><location begcolumn="26" begline="151" endcolumn="31" endline="151"/></astnode></astnode></astnode></astnode><astnode id="549" label="AsgnExpr"><location begcolumn="9" begline="152" endcolumn="33" endline="152"/><astnode id="543" label="NameExpr" name="counter"><location begcolumn="9" begline="152" endcolumn="15" endline="152"/></astnode><astnode id="548" label="CallExpr"><location begcolumn="19" begline="152" endcolumn="33" endline="152"/><astnode id="544" label="NameExpr" name="ackermann"><location begcolumn="19" begline="152" endcolumn="27" endline="152"/></astnode><astnode id="547" label="Nodes&lt;Expr&gt;"><location begcolumn="28" begline="152" endcolumn="33" endline="152"/><astnode id="545" label="AtomExpr" name="3"><location begcolumn="29" begline="152" endcolumn="29" endline="152"/></astnode><astnode id="546" label="AtomExpr" name="2"><location begcolumn="32" begline="152" endcolumn="32" endline="152"/></astnode></astnode></astnode></astnode><astnode id="1059" label="LetExpr"><location begcolumn="9" begline="153" endcolumn="11" endline="275"/><astnode id="1056" label="Nodes&lt;Defn&gt;"><location begcolumn="13" begline="154" endcolumn="19" endline="174"/><astnode id="551" label="VarDefn" name="shadow_a"><location begcolumn="13" begline="154" endcolumn="28" endline="154"/><astnode id="550" label="NameType" name="i"><location begcolumn="28" begline="154" endcolumn="28" endline="154"/></astnode></astnode><astnode id="553" label="VarDefn" name="shadow_b"><location begcolumn="13" begline="155" endcolumn="28" endline="155"/><astnode id="552" label="NameType" name="i"><location begcolumn="28" begline="155" endcolumn="28" endline="155"/></astnode></astnode><astnode id="555" label="VarDefn" name="shadow_f"><location begcolumn="13" begline="156" endcolumn="28" endline="156"/><astnode id="554" label="NameType" name="b"><location begcolumn="28" begline="156" endcolumn="28" endline="156"/></astnode></astnode><astnode id="557" label="VarDefn" name="counter"><location begcolumn="13" begline="157" endcolumn="27" endline="157"/><astnode id="556" label="NameType" name="i"><location begcolumn="27" begline="157" endcolumn="27" endline="157"/></astnode></astnode><astnode id="559" label="VarDefn" name="result"><location begcolumn="13" begline="158" endcolumn="26" endline="158"/><astnode id="558" label="NameType" name="i"><location begcolumn="26" begline="158" endcolumn="26" endline="158"/></astnode></astnode><astnode id="597" label="DefFunDefn" name="shadow_fib"><location begcolumn="13" begline="159" endcolumn="19" endline="168"/><astnode id="594" label="Nodes&lt;ParDefn&gt;"><location begcolumn="27" begline="159" endcolumn="33" endline="159"/><astnode id="561" label="ParDefn" name="n"><location begcolumn="28" begline="159" endcolumn="32" endline="159"/><astnode id="560" label="NameType" name="i"><location begcolumn="32" begline="159" endcolumn="32" endline="159"/></astnode></astnode></astnode><astnode id="562" label="NameType" name="i"><location begcolumn="37" begline="159" endcolumn="37" endline="159"/></astnode><astnode id="596" label="Exprs"><location begcolumn="17" begline="160" endcolumn="19" endline="168"/><astnode id="595" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="160" endcolumn="19" endline="168"/><astnode id="593" label="IfThenElseExpr"><location begcolumn="17" begline="160" endcolumn="19" endline="168"/><astnode id="565" label="BinExpr" name="EQU"><location begcolumn="20" begline="160" endcolumn="25" endline="160"/><astnode id="563" label="NameExpr" name="n"><location begcolumn="20" begline="160" endcolumn="20" endline="160"/></astnode><astnode id="564" label="AtomExpr" name="0"><location begcolumn="25" begline="160" endcolumn="25" endline="160"/></astnode></astnode><astnode id="590" label="Exprs"><location begcolumn="21" begline="161" endcolumn="21" endline="161"/><astnode id="589" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="161" endcolumn="21" endline="161"/><astnode id="566" label="AtomExpr" name="0"><location begcolumn="21" begline="161" endcolumn="21" endline="161"/></astnode></astnode></astnode><astnode id="592" label="Exprs"><location begcolumn="21" begline="163" endcolumn="23" endline="167"/><astnode id="591" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="163" endcolumn="23" endline="167"/><astnode id="588" label="IfThenElseExpr"><location begcolumn="21" begline="163" endcolumn="23" endline="167"/><astnode id="569" label="BinExpr" name="EQU"><location begcolumn="24" begline="163" endcolumn="29" endline="163"/><astnode id="567" label="NameExpr" name="n"><location begcolumn="24" begline="163" endcolumn="24" endline="163"/></astnode><astnode id="568" label="AtomExpr" name="1"><location begcolumn="29" begline="163" endcolumn="29" endline="163"/></astnode></astnode><astnode id="585" label="Exprs"><location begcolumn="25" begline="164" endcolumn="25" endline="164"/><astnode id="584" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="164" endcolumn="25" endline="164"/><astnode id="570" label="AtomExpr" name="1"><location begcolumn="25" begline="164" endcolumn="25" endline="164"/></astnode></astnode></astnode><astnode id="587" label="Exprs"><location begcolumn="25" begline="166" endcolumn="61" endline="166"/><astnode id="586" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="166" endcolumn="61" endline="166"/><astnode id="583" label="BinExpr" name="ADD"><location begcolumn="25" begline="166" endcolumn="61" endline="166"/><astnode id="576" label="CallExpr"><location begcolumn="25" begline="166" endcolumn="41" endline="166"/><astnode id="571" label="NameExpr" name="shadow_fib"><location begcolumn="25" begline="166" endcolumn="34" endline="166"/></astnode><astnode id="575" label="Nodes&lt;Expr&gt;"><location begcolumn="35" begline="166" endcolumn="41" endline="166"/><astnode id="574" label="BinExpr" name="SUB"><location begcolumn="36" begline="166" endcolumn="40" endline="166"/><astnode id="572" label="NameExpr" name="n"><location begcolumn="36" begline="166" endcolumn="36" endline="166"/></astnode><astnode id="573" label="AtomExpr" name="1"><location begcolumn="40" begline="166" endcolumn="40" endline="166"/></astnode></astnode></astnode></astnode><astnode id="582" label="CallExpr"><location begcolumn="45" begline="166" endcolumn="61" endline="166"/><astnode id="577" label="NameExpr" name="shadow_fib"><location begcolumn="45" begline="166" endcolumn="54" endline="166"/></astnode><astnode id="581" label="Nodes&lt;Expr&gt;"><location begcolumn="55" begline="166" endcolumn="61" endline="166"/><astnode id="580" label="BinExpr" name="SUB"><location begcolumn="56" begline="166" endcolumn="60" endline="166"/><astnode id="578" label="NameExpr" name="n"><location begcolumn="56" begline="166" endcolumn="56" endline="166"/></astnode><astnode id="579" label="AtomExpr" name="2"><location begcolumn="60" begline="166" endcolumn="60" endline="166"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="625" label="DefFunDefn" name="accumulate"><location begcolumn="13" begline="169" endcolumn="19" endline="174"/><astnode id="622" label="Nodes&lt;ParDefn&gt;"><location begcolumn="27" begline="169" endcolumn="42" endline="169"/><astnode id="599" label="ParDefn" name="n"><location begcolumn="28" begline="169" endcolumn="32" endline="169"/><astnode id="598" label="NameType" name="i"><location begcolumn="32" begline="169" endcolumn="32" endline="169"/></astnode></astnode><astnode id="601" label="ParDefn" name="acc"><location begcolumn="35" begline="169" endcolumn="41" endline="169"/><astnode id="600" label="NameType" name="i"><location begcolumn="41" begline="169" endcolumn="41" endline="169"/></astnode></astnode></astnode><astnode id="602" label="NameType" name="i"><location begcolumn="46" begline="169" endcolumn="46" endline="169"/></astnode><astnode id="624" label="Exprs"><location begcolumn="17" begline="170" endcolumn="19" endline="174"/><astnode id="623" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="170" endcolumn="19" endline="174"/><astnode id="621" label="IfThenElseExpr"><location begcolumn="17" begline="170" endcolumn="19" endline="174"/><astnode id="606" label="CallExpr"><location begcolumn="20" begline="170" endcolumn="29" endline="170"/><astnode id="603" label="NameExpr" name="is_zero"><location begcolumn="20" begline="170" endcolumn="26" endline="170"/></astnode><astnode id="605" label="Nodes&lt;Expr&gt;"><location begcolumn="27" begline="170" endcolumn="29" endline="170"/><astnode id="604" label="NameExpr" name="n"><location begcolumn="28" begline="170" endcolumn="28" endline="170"/></astnode></astnode></astnode><astnode id="618" label="Exprs"><location begcolumn="21" begline="171" endcolumn="23" endline="171"/><astnode id="617" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="171" endcolumn="23" endline="171"/><astnode id="607" label="NameExpr" name="acc"><location begcolumn="21" begline="171" endcolumn="23" endline="171"/></astnode></astnode></astnode><astnode id="620" label="Exprs"><location begcolumn="21" begline="173" endcolumn="46" endline="173"/><astnode id="619" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="173" endcolumn="46" endline="173"/><astnode id="616" label="CallExpr"><location begcolumn="21" begline="173" endcolumn="46" endline="173"/><astnode id="608" label="NameExpr" name="accumulate"><location begcolumn="21" begline="173" endcolumn="30" endline="173"/></astnode><astnode id="615" label="Nodes&lt;Expr&gt;"><location begcolumn="31" begline="173" endcolumn="46" endline="173"/><astnode id="611" label="BinExpr" name="SUB"><location begcolumn="32" begline="173" endcolumn="36" endline="173"/><astnode id="609" label="NameExpr" name="n"><location begcolumn="32" begline="173" endcolumn="32" endline="173"/></astnode><astnode id="610" label="AtomExpr" name="1"><location begcolumn="36" begline="173" endcolumn="36" endline="173"/></astnode></astnode><astnode id="614" label="BinExpr" name="ADD"><location begcolumn="39" begline="173" endcolumn="45" endline="173"/><astnode id="612" label="NameExpr" name="acc"><location begcolumn="39" begline="173" endcolumn="41" endline="173"/></astnode><astnode id="613" label="NameExpr" name="n"><location begcolumn="45" begline="173" endcolumn="45" endline="173"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1058" label="Exprs"><location begcolumn="13" begline="176" endcolumn="15" endline="274"/><astnode id="1057" label="Nodes&lt;Expr&gt;"><location begcolumn="13" begline="176" endcolumn="15" endline="274"/><astnode id="631" label="AsgnExpr"><location begcolumn="13" begline="176" endcolumn="37" endline="176"/><astnode id="626" label="NameExpr" name="shadow_a"><location begcolumn="13" begline="176" endcolumn="20" endline="176"/></astnode><astnode id="630" label="CallExpr"><location begcolumn="24" begline="176" endcolumn="37" endline="176"/><astnode id="627" label="NameExpr" name="shadow_fib"><location begcolumn="24" begline="176" endcolumn="33" endline="176"/></astnode><astnode id="629" label="Nodes&lt;Expr&gt;"><location begcolumn="34" begline="176" endcolumn="37" endline="176"/><astnode id="628" label="AtomExpr" name="15"><location begcolumn="35" begline="176" endcolumn="36" endline="176"/></astnode></astnode></astnode></astnode><astnode id="638" label="AsgnExpr"><location begcolumn="13" begline="177" endcolumn="40" endline="177"/><astnode id="632" label="NameExpr" name="shadow_b"><location begcolumn="13" begline="177" endcolumn="20" endline="177"/></astnode><astnode id="637" label="CallExpr"><location begcolumn="24" begline="177" endcolumn="40" endline="177"/><astnode id="633" label="NameExpr" name="accumulate"><location begcolumn="24" begline="177" endcolumn="33" endline="177"/></astnode><astnode id="636" label="Nodes&lt;Expr&gt;"><location begcolumn="34" begline="177" endcolumn="40" endline="177"/><astnode id="634" label="AtomExpr" name="50"><location begcolumn="35" begline="177" endcolumn="36" endline="177"/></astnode><astnode id="635" label="AtomExpr" name="0"><location begcolumn="39" begline="177" endcolumn="39" endline="177"/></astnode></astnode></astnode></astnode><astnode id="645" label="AsgnExpr"><location begcolumn="13" begline="178" endcolumn="38" endline="178"/><astnode id="639" label="NameExpr" name="shadow_f"><location begcolumn="13" begline="178" endcolumn="20" endline="178"/></astnode><astnode id="644" label="CallExpr"><location begcolumn="24" begline="178" endcolumn="38" endline="178"/><astnode id="640" label="NameExpr" name="local_and"><location begcolumn="24" begline="178" endcolumn="32" endline="178"/></astnode><astnode id="643" label="Nodes&lt;Expr&gt;"><location begcolumn="33" begline="178" endcolumn="38" endline="178"/><astnode id="641" label="NameExpr" name="f"><location begcolumn="34" begline="178" endcolumn="34" endline="178"/></astnode><astnode id="642" label="NameExpr" name="g"><location begcolumn="37" begline="178" endcolumn="37" endline="178"/></astnode></astnode></astnode></astnode><astnode id="653" label="AsgnExpr"><location begcolumn="13" begline="179" endcolumn="52" endline="179"/><astnode id="646" label="NameExpr" name="counter"><location begcolumn="13" begline="179" endcolumn="19" endline="179"/></astnode><astnode id="652" label="CallExpr"><location begcolumn="23" begline="179" endcolumn="52" endline="179"/><astnode id="647" label="NameExpr" name="digit_sum"><location begcolumn="23" begline="179" endcolumn="31" endline="179"/></astnode><astnode id="651" label="Nodes&lt;Expr&gt;"><location begcolumn="32" begline="179" endcolumn="52" endline="179"/><astnode id="650" label="BinExpr" name="MUL"><location begcolumn="33" begline="179" endcolumn="51" endline="179"/><astnode id="648" label="NameExpr" name="shadow_a"><location begcolumn="33" begline="179" endcolumn="40" endline="179"/></astnode><astnode id="649" label="NameExpr" name="shadow_b"><location begcolumn="44" begline="179" endcolumn="51" endline="179"/></astnode></astnode></astnode></astnode></astnode><astnode id="660" label="AsgnExpr"><location begcolumn="13" begline="180" endcolumn="44" endline="180"/><astnode id="654" label="NameExpr" name="result"><location begcolumn="13" begline="180" endcolumn="18" endline="180"/></astnode><astnode id="659" label="CallExpr"><location begcolumn="22" begline="180" endcolumn="44" endline="180"/><astnode id="655" label="NameExpr" name="min"><location begcolumn="22" begline="180" endcolumn="24" endline="180"/></astnode><astnode id="658" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="180" endcolumn="44" endline="180"/><astnode id="656" label="NameExpr" name="shadow_a"><location begcolumn="26" begline="180" endcolumn="33" endline="180"/></astnode><astnode id="657" label="NameExpr" name="shadow_b"><location begcolumn="36" begline="180" endcolumn="43" endline="180"/></astnode></astnode></astnode></astnode><astnode id="696" label="WhileExpr"><location begcolumn="13" begline="181" endcolumn="15" endline="188"/><astnode id="663" label="BinExpr" name="GTH"><location begcolumn="19" begline="181" endcolumn="29" endline="181"/><astnode id="661" label="NameExpr" name="counter"><location begcolumn="19" begline="181" endcolumn="25" endline="181"/></astnode><astnode id="662" label="AtomExpr" name="0"><location begcolumn="29" begline="181" endcolumn="29" endline="181"/></astnode></astnode><astnode id="695" label="Exprs"><location begcolumn="17" begline="182" endcolumn="37" endline="187"/><astnode id="694" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="182" endcolumn="37" endline="187"/><astnode id="688" label="IfThenElseExpr"><location begcolumn="17" begline="182" endcolumn="19" endline="186"/><astnode id="667" label="CallExpr"><location begcolumn="20" begline="182" endcolumn="35" endline="182"/><astnode id="664" label="NameExpr" name="is_even"><location begcolumn="20" begline="182" endcolumn="26" endline="182"/></astnode><astnode id="666" label="Nodes&lt;Expr&gt;"><location begcolumn="27" begline="182" endcolumn="35" endline="182"/><astnode id="665" label="NameExpr" name="counter"><location begcolumn="28" begline="182" endcolumn="34" endline="182"/></astnode></astnode></astnode><astnode id="685" label="Exprs"><location begcolumn="21" begline="183" endcolumn="57" endline="183"/><astnode id="684" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="183" endcolumn="57" endline="183"/><astnode id="675" label="AsgnExpr"><location begcolumn="21" begline="183" endcolumn="57" endline="183"/><astnode id="668" label="NameExpr" name="result"><location begcolumn="21" begline="183" endcolumn="26" endline="183"/></astnode><astnode id="674" label="BinExpr" name="ADD"><location begcolumn="30" begline="183" endcolumn="57" endline="183"/><astnode id="669" label="NameExpr" name="result"><location begcolumn="30" begline="183" endcolumn="35" endline="183"/></astnode><astnode id="673" label="CallExpr"><location begcolumn="39" begline="183" endcolumn="57" endline="183"/><astnode id="670" label="NameExpr" name="shadow_fib"><location begcolumn="39" begline="183" endcolumn="48" endline="183"/></astnode><astnode id="672" label="Nodes&lt;Expr&gt;"><location begcolumn="49" begline="183" endcolumn="57" endline="183"/><astnode id="671" label="NameExpr" name="counter"><location begcolumn="50" begline="183" endcolumn="56" endline="183"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="687" label="Exprs"><location begcolumn="21" begline="185" endcolumn="56" endline="185"/><astnode id="686" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="185" endcolumn="56" endline="185"/><astnode id="683" label="AsgnExpr"><location begcolumn="21" begline="185" endcolumn="56" endline="185"/><astnode id="676" label="NameExpr" name="result"><location begcolumn="21" begline="185" endcolumn="26" endline="185"/></astnode><astnode id="682" label="BinExpr" name="SUB"><location begcolumn="30" begline="185" endcolumn="56" endline="185"/><astnode id="677" label="NameExpr" name="result"><location begcolumn="30" begline="185" endcolumn="35" endline="185"/></astnode><astnode id="681" label="CallExpr"><location begcolumn="39" begline="185" endcolumn="56" endline="185"/><astnode id="678" label="NameExpr" name="digit_sum"><location begcolumn="39" begline="185" endcolumn="47" endline="185"/></astnode><astnode id="680" label="Nodes&lt;Expr&gt;"><location begcolumn="48" begline="185" endcolumn="56" endline="185"/><astnode id="679" label="NameExpr" name="counter"><location begcolumn="49" begline="185" endcolumn="55" endline="185"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="693" label="AsgnExpr"><location begcolumn="17" begline="187" endcolumn="37" endline="187"/><astnode id="689" label="NameExpr" name="counter"><location begcolumn="17" begline="187" endcolumn="23" endline="187"/></astnode><astnode id="692" label="BinExpr" name="SUB"><location begcolumn="27" begline="187" endcolumn="37" endline="187"/><astnode id="690" label="NameExpr" name="counter"><location begcolumn="27" begline="187" endcolumn="33" endline="187"/></astnode><astnode id="691" label="AtomExpr" name="1"><location begcolumn="37" begline="187" endcolumn="37" endline="187"/></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1055" label="LetExpr"><location begcolumn="13" begline="189" endcolumn="15" endline="274"/><astnode id="1052" label="Nodes&lt;Defn&gt;"><location begcolumn="17" begline="190" endcolumn="23" endline="216"/><astnode id="698" label="VarDefn" name="deep1"><location begcolumn="17" begline="190" endcolumn="29" endline="190"/><astnode id="697" label="NameType" name="i"><location begcolumn="29" begline="190" endcolumn="29" endline="190"/></astnode></astnode><astnode id="700" label="VarDefn" name="deep2"><location begcolumn="17" begline="191" endcolumn="29" endline="191"/><astnode id="699" label="NameType" name="i"><location begcolumn="29" begline="191" endcolumn="29" endline="191"/></astnode></astnode><astnode id="702" label="VarDefn" name="deep3"><location begcolumn="17" begline="192" endcolumn="29" endline="192"/><astnode id="701" label="NameType" name="b"><location begcolumn="29" begline="192" endcolumn="29" endline="192"/></astnode></astnode><astnode id="704" label="VarDefn" name="deep4"><location begcolumn="17" begline="193" endcolumn="29" endline="193"/><astnode id="703" label="NameType" name="i"><location begcolumn="29" begline="193" endcolumn="29" endline="193"/></astnode></astnode><astnode id="706" label="TypDefn" name="di"><location begcolumn="17" begline="194" endcolumn="26" endline="194"/><astnode id="705" label="NameType" name="i"><location begcolumn="26" begline="194" endcolumn="26" endline="194"/></astnode></astnode><astnode id="734" label="DefFunDefn" name="deep_pow"><location begcolumn="17" begline="195" endcolumn="23" endline="200"/><astnode id="731" label="Nodes&lt;ParDefn&gt;"><location begcolumn="29" begline="195" endcolumn="44" endline="195"/><astnode id="708" label="ParDefn" name="b"><location begcolumn="30" begline="195" endcolumn="35" endline="195"/><astnode id="707" label="NameType" name="di"><location begcolumn="34" begline="195" endcolumn="35" endline="195"/></astnode></astnode><astnode id="710" label="ParDefn" name="e"><location begcolumn="38" begline="195" endcolumn="43" endline="195"/><astnode id="709" label="NameType" name="di"><location begcolumn="42" begline="195" endcolumn="43" endline="195"/></astnode></astnode></astnode><astnode id="711" label="NameType" name="di"><location begcolumn="48" begline="195" endcolumn="49" endline="195"/></astnode><astnode id="733" label="Exprs"><location begcolumn="21" begline="196" endcolumn="23" endline="200"/><astnode id="732" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="196" endcolumn="23" endline="200"/><astnode id="730" label="IfThenElseExpr"><location begcolumn="21" begline="196" endcolumn="23" endline="200"/><astnode id="715" label="CallExpr"><location begcolumn="24" begline="196" endcolumn="33" endline="196"/><astnode id="712" label="NameExpr" name="is_zero"><location begcolumn="24" begline="196" endcolumn="30" endline="196"/></astnode><astnode id="714" label="Nodes&lt;Expr&gt;"><location begcolumn="31" begline="196" endcolumn="33" endline="196"/><astnode id="713" label="NameExpr" name="e"><location begcolumn="32" begline="196" endcolumn="32" endline="196"/></astnode></astnode></astnode><astnode id="727" label="Exprs"><location begcolumn="25" begline="197" endcolumn="25" endline="197"/><astnode id="726" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="197" endcolumn="25" endline="197"/><astnode id="716" label="AtomExpr" name="1"><location begcolumn="25" begline="197" endcolumn="25" endline="197"/></astnode></astnode></astnode><astnode id="729" label="Exprs"><location begcolumn="25" begline="199" endcolumn="46" endline="199"/><astnode id="728" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="199" endcolumn="46" endline="199"/><astnode id="725" label="BinExpr" name="MUL"><location begcolumn="25" begline="199" endcolumn="46" endline="199"/><astnode id="717" label="NameExpr" name="b"><location begcolumn="25" begline="199" endcolumn="25" endline="199"/></astnode><astnode id="724" label="CallExpr"><location begcolumn="29" begline="199" endcolumn="46" endline="199"/><astnode id="718" label="NameExpr" name="deep_pow"><location begcolumn="29" begline="199" endcolumn="36" endline="199"/></astnode><astnode id="723" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="199" endcolumn="46" endline="199"/><astnode id="719" label="NameExpr" name="b"><location begcolumn="38" begline="199" endcolumn="38" endline="199"/></astnode><astnode id="722" label="BinExpr" name="SUB"><location begcolumn="41" begline="199" endcolumn="45" endline="199"/><astnode id="720" label="NameExpr" name="e"><location begcolumn="41" begline="199" endcolumn="41" endline="199"/></astnode><astnode id="721" label="AtomExpr" name="1"><location begcolumn="45" begline="199" endcolumn="45" endline="199"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="777" label="DefFunDefn" name="deep_collatz"><location begcolumn="17" begline="201" endcolumn="23" endline="210"/><astnode id="774" label="Nodes&lt;ParDefn&gt;"><location begcolumn="33" begline="201" endcolumn="40" endline="201"/><astnode id="736" label="ParDefn" name="n"><location begcolumn="34" begline="201" endcolumn="39" endline="201"/><astnode id="735" label="NameType" name="di"><location begcolumn="38" begline="201" endcolumn="39" endline="201"/></astnode></astnode></astnode><astnode id="737" label="NameType" name="di"><location begcolumn="44" begline="201" endcolumn="45" endline="201"/></astnode><astnode id="776" label="Exprs"><location begcolumn="21" begline="202" endcolumn="23" endline="210"/><astnode id="775" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="202" endcolumn="23" endline="210"/><astnode id="773" label="IfThenElseExpr"><location begcolumn="21" begline="202" endcolumn="23" endline="210"/><astnode id="740" label="BinExpr" name="EQU"><location begcolumn="24" begline="202" endcolumn="29" endline="202"/><astnode id="738" label="NameExpr" name="n"><location begcolumn="24" begline="202" endcolumn="24" endline="202"/></astnode><astnode id="739" label="AtomExpr" name="1"><location begcolumn="29" begline="202" endcolumn="29" endline="202"/></astnode></astnode><astnode id="770" label="Exprs"><location begcolumn="25" begline="203" endcolumn="25" endline="203"/><astnode id="769" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="203" endcolumn="25" endline="203"/><astnode id="741" label="AtomExpr" name="0"><location begcolumn="25" begline="203" endcolumn="25" endline="203"/></astnode></astnode></astnode><astnode id="772" label="Exprs"><location begcolumn="25" begline="205" endcolumn="27" endline="209"/><astnode id="771" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="205" endcolumn="27" endline="209"/><astnode id="768" label="IfThenElseExpr"><location begcolumn="25" begline="205" endcolumn="27" endline="209"/><astnode id="745" label="CallExpr"><location begcolumn="28" begline="205" endcolumn="37" endline="205"/><astnode id="742" label="NameExpr" name="is_even"><location begcolumn="28" begline="205" endcolumn="34" endline="205"/></astnode><astnode id="744" label="Nodes&lt;Expr&gt;"><location begcolumn="35" begline="205" endcolumn="37" endline="205"/><astnode id="743" label="NameExpr" name="n"><location begcolumn="36" begline="205" endcolumn="36" endline="205"/></astnode></astnode></astnode><astnode id="765" label="Exprs"><location begcolumn="29" begline="206" endcolumn="51" endline="206"/><astnode id="764" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="206" endcolumn="51" endline="206"/><astnode id="753" label="BinExpr" name="ADD"><location begcolumn="29" begline="206" endcolumn="51" endline="206"/><astnode id="746" label="AtomExpr" name="1"><location begcolumn="29" begline="206" endcolumn="29" endline="206"/></astnode><astnode id="752" label="CallExpr"><location begcolumn="33" begline="206" endcolumn="51" endline="206"/><astnode id="747" label="NameExpr" name="deep_collatz"><location begcolumn="33" begline="206" endcolumn="44" endline="206"/></astnode><astnode id="751" label="Nodes&lt;Expr&gt;"><location begcolumn="45" begline="206" endcolumn="51" endline="206"/><astnode id="750" label="BinExpr" name="DIV"><location begcolumn="46" begline="206" endcolumn="50" endline="206"/><astnode id="748" label="NameExpr" name="n"><location begcolumn="46" begline="206" endcolumn="46" endline="206"/></astnode><astnode id="749" label="AtomExpr" name="2"><location begcolumn="50" begline="206" endcolumn="50" endline="206"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="767" label="Exprs"><location begcolumn="29" begline="208" endcolumn="55" endline="208"/><astnode id="766" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="208" endcolumn="55" endline="208"/><astnode id="763" label="BinExpr" name="ADD"><location begcolumn="29" begline="208" endcolumn="55" endline="208"/><astnode id="754" label="AtomExpr" name="1"><location begcolumn="29" begline="208" endcolumn="29" endline="208"/></astnode><astnode id="762" label="CallExpr"><location begcolumn="33" begline="208" endcolumn="55" endline="208"/><astnode id="755" label="NameExpr" name="deep_collatz"><location begcolumn="33" begline="208" endcolumn="44" endline="208"/></astnode><astnode id="761" label="Nodes&lt;Expr&gt;"><location begcolumn="45" begline="208" endcolumn="55" endline="208"/><astnode id="760" label="BinExpr" name="ADD"><location begcolumn="46" begline="208" endcolumn="54" endline="208"/><astnode id="758" label="BinExpr" name="MUL"><location begcolumn="46" begline="208" endcolumn="50" endline="208"/><astnode id="756" label="AtomExpr" name="3"><location begcolumn="46" begline="208" endcolumn="46" endline="208"/></astnode><astnode id="757" label="NameExpr" name="n"><location begcolumn="50" begline="208" endcolumn="50" endline="208"/></astnode></astnode><astnode id="759" label="AtomExpr" name="1"><location begcolumn="54" begline="208" endcolumn="54" endline="208"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="792" label="DefFunDefn" name="toggle"><location begcolumn="17" begline="211" endcolumn="23" endline="216"/><astnode id="789" label="Nodes&lt;ParDefn&gt;"><location begcolumn="27" begline="211" endcolumn="34" endline="211"/><astnode id="779" label="ParDefn" name="x"><location begcolumn="28" begline="211" endcolumn="33" endline="211"/><astnode id="778" label="NameType" name="lb"><location begcolumn="32" begline="211" endcolumn="33" endline="211"/></astnode></astnode></astnode><astnode id="780" label="NameType" name="lb"><location begcolumn="38" begline="211" endcolumn="39" endline="211"/></astnode><astnode id="791" label="Exprs"><location begcolumn="21" begline="212" endcolumn="23" endline="216"/><astnode id="790" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="212" endcolumn="23" endline="216"/><astnode id="788" label="IfThenElseExpr"><location begcolumn="21" begline="212" endcolumn="23" endline="216"/><astnode id="781" label="NameExpr" name="x"><location begcolumn="24" begline="212" endcolumn="24" endline="212"/></astnode><astnode id="785" label="Exprs"><location begcolumn="25" begline="213" endcolumn="29" endline="213"/><astnode id="784" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="213" endcolumn="29" endline="213"/><astnode id="782" label="AtomExpr" name="false"><location begcolumn="25" begline="213" endcolumn="29" endline="213"/></astnode></astnode></astnode><astnode id="787" label="Exprs"><location begcolumn="25" begline="215" endcolumn="28" endline="215"/><astnode id="786" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="215" endcolumn="28" endline="215"/><astnode id="783" label="AtomExpr" name="true"><location begcolumn="25" begline="215" endcolumn="28" endline="215"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1054" label="Exprs"><location begcolumn="17" begline="218" endcolumn="19" endline="273"/><astnode id="1053" label="Nodes&lt;Expr&gt;"><location begcolumn="17" begline="218" endcolumn="19" endline="273"/><astnode id="801" label="AsgnExpr"><location begcolumn="17" begline="218" endcolumn="49" endline="218"/><astnode id="793" label="NameExpr" name="deep1"><location begcolumn="17" begline="218" endcolumn="21" endline="218"/></astnode><astnode id="800" label="CallExpr"><location begcolumn="25" begline="218" endcolumn="49" endline="218"/><astnode id="794" label="NameExpr" name="deep_pow"><location begcolumn="25" begline="218" endcolumn="32" endline="218"/></astnode><astnode id="799" label="Nodes&lt;Expr&gt;"><location begcolumn="33" begline="218" endcolumn="49" endline="218"/><astnode id="795" label="AtomExpr" name="2"><location begcolumn="34" begline="218" endcolumn="34" endline="218"/></astnode><astnode id="798" label="BinExpr" name="MOD"><location begcolumn="37" begline="218" endcolumn="48" endline="218"/><astnode id="796" label="NameExpr" name="counter"><location begcolumn="37" begline="218" endcolumn="43" endline="218"/></astnode><astnode id="797" label="AtomExpr" name="10"><location begcolumn="47" begline="218" endcolumn="48" endline="218"/></astnode></astnode></astnode></astnode></astnode><astnode id="812" label="AsgnExpr"><location begcolumn="17" begline="219" endcolumn="57" endline="219"/><astnode id="802" label="NameExpr" name="deep2"><location begcolumn="17" begline="219" endcolumn="21" endline="219"/></astnode><astnode id="811" label="CallExpr"><location begcolumn="25" begline="219" endcolumn="57" endline="219"/><astnode id="803" label="NameExpr" name="deep_collatz"><location begcolumn="25" begline="219" endcolumn="36" endline="219"/></astnode><astnode id="810" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="219" endcolumn="57" endline="219"/><astnode id="809" label="BinExpr" name="ADD"><location begcolumn="38" begline="219" endcolumn="56" endline="219"/><astnode id="807" label="CallExpr"><location begcolumn="38" begline="219" endcolumn="52" endline="219"/><astnode id="804" label="NameExpr" name="abs_val"><location begcolumn="38" begline="219" endcolumn="44" endline="219"/></astnode><astnode id="806" label="Nodes&lt;Expr&gt;"><location begcolumn="45" begline="219" endcolumn="52" endline="219"/><astnode id="805" label="NameExpr" name="result"><location begcolumn="46" begline="219" endcolumn="51" endline="219"/></astnode></astnode></astnode><astnode id="808" label="AtomExpr" name="1"><location begcolumn="56" begline="219" endcolumn="56" endline="219"/></astnode></astnode></astnode></astnode></astnode><astnode id="818" label="AsgnExpr"><location begcolumn="17" begline="220" endcolumn="40" endline="220"/><astnode id="813" label="NameExpr" name="deep3"><location begcolumn="17" begline="220" endcolumn="21" endline="220"/></astnode><astnode id="817" label="CallExpr"><location begcolumn="25" begline="220" endcolumn="40" endline="220"/><astnode id="814" label="NameExpr" name="toggle"><location begcolumn="25" begline="220" endcolumn="30" endline="220"/></astnode><astnode id="816" label="Nodes&lt;Expr&gt;"><location begcolumn="31" begline="220" endcolumn="40" endline="220"/><astnode id="815" label="NameExpr" name="shadow_f"><location begcolumn="32" begline="220" endcolumn="39" endline="220"/></astnode></astnode></astnode></astnode><astnode id="825" label="AsgnExpr"><location begcolumn="17" begline="221" endcolumn="41" endline="221"/><astnode id="819" label="NameExpr" name="deep4"><location begcolumn="17" begline="221" endcolumn="21" endline="221"/></astnode><astnode id="824" label="CallExpr"><location begcolumn="25" begline="221" endcolumn="41" endline="221"/><astnode id="820" label="NameExpr" name="max"><location begcolumn="25" begline="221" endcolumn="27" endline="221"/></astnode><astnode id="823" label="Nodes&lt;Expr&gt;"><location begcolumn="28" begline="221" endcolumn="41" endline="221"/><astnode id="821" label="NameExpr" name="deep1"><location begcolumn="29" begline="221" endcolumn="33" endline="221"/></astnode><astnode id="822" label="NameExpr" name="deep2"><location begcolumn="36" begline="221" endcolumn="40" endline="221"/></astnode></astnode></astnode></astnode><astnode id="835" label="AsgnExpr"><location begcolumn="17" begline="222" endcolumn="55" endline="222"/><astnode id="826" label="NameExpr" name="flag"><location begcolumn="17" begline="222" endcolumn="20" endline="222"/></astnode><astnode id="834" label="CallExpr"><location begcolumn="24" begline="222" endcolumn="55" endline="222"/><astnode id="827" label="NameExpr" name="local_and"><location begcolumn="24" begline="222" endcolumn="32" endline="222"/></astnode><astnode id="833" label="Nodes&lt;Expr&gt;"><location begcolumn="33" begline="222" endcolumn="55" endline="222"/><astnode id="828" label="NameExpr" name="deep3"><location begcolumn="34" begline="222" endcolumn="38" endline="222"/></astnode><astnode id="832" label="CallExpr"><location begcolumn="41" begline="222" endcolumn="54" endline="222"/><astnode id="829" label="NameExpr" name="is_even"><location begcolumn="41" begline="222" endcolumn="47" endline="222"/></astnode><astnode id="831" label="Nodes&lt;Expr&gt;"><location begcolumn="48" begline="222" endcolumn="54" endline="222"/><astnode id="830" label="NameExpr" name="deep4"><location begcolumn="49" begline="222" endcolumn="53" endline="222"/></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="893" label="WhileExpr"><location begcolumn="17" begline="223" endcolumn="19" endline="237"/><astnode id="838" label="BinExpr" name="GTH"><location begcolumn="23" begline="223" endcolumn="31" endline="223"/><astnode id="836" label="NameExpr" name="deep4"><location begcolumn="23" begline="223" endcolumn="27" endline="223"/></astnode><astnode id="837" label="AtomExpr" name="0"><location begcolumn="31" begline="223" endcolumn="31" endline="223"/></astnode></astnode><astnode id="892" label="Exprs"><location begcolumn="21" begline="224" endcolumn="23" endline="236"/><astnode id="891" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="224" endcolumn="23" endline="236"/><astnode id="890" label="IfThenElseExpr"><location begcolumn="21" begline="224" endcolumn="23" endline="236"/><astnode id="842" label="CallExpr"><location begcolumn="24" begline="224" endcolumn="37" endline="224"/><astnode id="839" label="NameExpr" name="is_even"><location begcolumn="24" begline="224" endcolumn="30" endline="224"/></astnode><astnode id="841" label="Nodes&lt;Expr&gt;"><location begcolumn="31" begline="224" endcolumn="37" endline="224"/><astnode id="840" label="NameExpr" name="deep4"><location begcolumn="32" begline="224" endcolumn="36" endline="224"/></astnode></astnode></astnode><astnode id="887" label="Exprs"><location begcolumn="25" begline="225" endcolumn="27" endline="229"/><astnode id="886" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="225" endcolumn="27" endline="229"/><astnode id="860" label="IfThenElseExpr"><location begcolumn="25" begline="225" endcolumn="27" endline="229"/><astnode id="845" label="BinExpr" name="GTH"><location begcolumn="28" begline="225" endcolumn="38" endline="225"/><astnode id="843" label="NameExpr" name="deep4"><location begcolumn="28" begline="225" endcolumn="32" endline="225"/></astnode><astnode id="844" label="AtomExpr" name="100"><location begcolumn="36" begline="225" endcolumn="38" endline="225"/></astnode></astnode><astnode id="857" label="Exprs"><location begcolumn="29" begline="226" endcolumn="45" endline="226"/><astnode id="856" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="226" endcolumn="45" endline="226"/><astnode id="850" label="AsgnExpr"><location begcolumn="29" begline="226" endcolumn="45" endline="226"/><astnode id="846" label="NameExpr" name="deep4"><location begcolumn="29" begline="226" endcolumn="33" endline="226"/></astnode><astnode id="849" label="BinExpr" name="DIV"><location begcolumn="37" begline="226" endcolumn="45" endline="226"/><astnode id="847" label="NameExpr" name="deep4"><location begcolumn="37" begline="226" endcolumn="41" endline="226"/></astnode><astnode id="848" label="AtomExpr" name="2"><location begcolumn="45" begline="226" endcolumn="45" endline="226"/></astnode></astnode></astnode></astnode></astnode><astnode id="859" label="Exprs"><location begcolumn="29" begline="228" endcolumn="45" endline="228"/><astnode id="858" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="228" endcolumn="45" endline="228"/><astnode id="855" label="AsgnExpr"><location begcolumn="29" begline="228" endcolumn="45" endline="228"/><astnode id="851" label="NameExpr" name="deep4"><location begcolumn="29" begline="228" endcolumn="33" endline="228"/></astnode><astnode id="854" label="BinExpr" name="SUB"><location begcolumn="37" begline="228" endcolumn="45" endline="228"/><astnode id="852" label="NameExpr" name="deep4"><location begcolumn="37" begline="228" endcolumn="41" endline="228"/></astnode><astnode id="853" label="AtomExpr" name="1"><location begcolumn="45" begline="228" endcolumn="45" endline="228"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="889" label="Exprs"><location begcolumn="25" begline="231" endcolumn="27" endline="235"/><astnode id="888" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="231" endcolumn="27" endline="235"/><astnode id="885" label="IfThenElseExpr"><location begcolumn="25" begline="231" endcolumn="27" endline="235"/><astnode id="866" label="CallExpr"><location begcolumn="28" begline="231" endcolumn="45" endline="231"/><astnode id="861" label="NameExpr" name="is_zero"><location begcolumn="28" begline="231" endcolumn="34" endline="231"/></astnode><astnode id="865" label="Nodes&lt;Expr&gt;"><location begcolumn="35" begline="231" endcolumn="45" endline="231"/><astnode id="864" label="BinExpr" name="MOD"><location begcolumn="36" begline="231" endcolumn="44" endline="231"/><astnode id="862" label="NameExpr" name="deep4"><location begcolumn="36" begline="231" endcolumn="40" endline="231"/></astnode><astnode id="863" label="AtomExpr" name="3"><location begcolumn="44" begline="231" endcolumn="44" endline="231"/></astnode></astnode></astnode></astnode><astnode id="882" label="Exprs"><location begcolumn="29" begline="232" endcolumn="45" endline="232"/><astnode id="881" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="232" endcolumn="45" endline="232"/><astnode id="871" label="AsgnExpr"><location begcolumn="29" begline="232" endcolumn="45" endline="232"/><astnode id="867" label="NameExpr" name="deep4"><location begcolumn="29" begline="232" endcolumn="33" endline="232"/></astnode><astnode id="870" label="BinExpr" name="SUB"><location begcolumn="37" begline="232" endcolumn="45" endline="232"/><astnode id="868" label="NameExpr" name="deep4"><location begcolumn="37" begline="232" endcolumn="41" endline="232"/></astnode><astnode id="869" label="AtomExpr" name="3"><location begcolumn="45" begline="232" endcolumn="45" endline="232"/></astnode></astnode></astnode></astnode></astnode><astnode id="884" label="Exprs"><location begcolumn="29" begline="234" endcolumn="57" endline="234"/><astnode id="883" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="234" endcolumn="57" endline="234"/><astnode id="880" label="AsgnExpr"><location begcolumn="29" begline="234" endcolumn="57" endline="234"/><astnode id="872" label="NameExpr" name="deep4"><location begcolumn="29" begline="234" endcolumn="33" endline="234"/></astnode><astnode id="879" label="BinExpr" name="SUB"><location begcolumn="37" begline="234" endcolumn="57" endline="234"/><astnode id="877" label="BinExpr" name="SUB"><location begcolumn="37" begline="234" endcolumn="53" endline="234"/><astnode id="875" label="BinExpr" name="MUL"><location begcolumn="37" begline="234" endcolumn="45" endline="234"/><astnode id="873" label="NameExpr" name="deep4"><location begcolumn="37" begline="234" endcolumn="41" endline="234"/></astnode><astnode id="874" label="AtomExpr" name="2"><location begcolumn="45" begline="234" endcolumn="45" endline="234"/></astnode></astnode><astnode id="876" label="NameExpr" name="deep4"><location begcolumn="49" begline="234" endcolumn="53" endline="234"/></astnode></astnode><astnode id="878" label="AtomExpr" name="1"><location begcolumn="57" begline="234" endcolumn="57" endline="234"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1051" label="LetExpr"><location begcolumn="17" begline="238" endcolumn="19" endline="273"/><astnode id="1048" label="Nodes&lt;Defn&gt;"><location begcolumn="21" begline="239" endcolumn="27" endline="259"/><astnode id="895" label="VarDefn" name="ultra1"><location begcolumn="21" begline="239" endcolumn="34" endline="239"/><astnode id="894" label="NameType" name="i"><location begcolumn="34" begline="239" endcolumn="34" endline="239"/></astnode></astnode><astnode id="897" label="VarDefn" name="ultra2"><location begcolumn="21" begline="240" endcolumn="34" endline="240"/><astnode id="896" label="NameType" name="b"><location begcolumn="34" begline="240" endcolumn="34" endline="240"/></astnode></astnode><astnode id="899" label="VarDefn" name="ultra3"><location begcolumn="21" begline="241" endcolumn="34" endline="241"/><astnode id="898" label="NameType" name="i"><location begcolumn="34" begline="241" endcolumn="34" endline="241"/></astnode></astnode><astnode id="925" label="DefFunDefn" name="ultra_gcd"><location begcolumn="21" begline="242" endcolumn="27" endline="247"/><astnode id="922" label="Nodes&lt;ParDefn&gt;"><location begcolumn="34" begline="242" endcolumn="47" endline="242"/><astnode id="901" label="ParDefn" name="a"><location begcolumn="35" begline="242" endcolumn="39" endline="242"/><astnode id="900" label="NameType" name="i"><location begcolumn="39" begline="242" endcolumn="39" endline="242"/></astnode></astnode><astnode id="903" label="ParDefn" name="b"><location begcolumn="42" begline="242" endcolumn="46" endline="242"/><astnode id="902" label="NameType" name="i"><location begcolumn="46" begline="242" endcolumn="46" endline="242"/></astnode></astnode></astnode><astnode id="904" label="NameType" name="i"><location begcolumn="51" begline="242" endcolumn="51" endline="242"/></astnode><astnode id="924" label="Exprs"><location begcolumn="25" begline="243" endcolumn="27" endline="247"/><astnode id="923" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="243" endcolumn="27" endline="247"/><astnode id="921" label="IfThenElseExpr"><location begcolumn="25" begline="243" endcolumn="27" endline="247"/><astnode id="908" label="CallExpr"><location begcolumn="28" begline="243" endcolumn="37" endline="243"/><astnode id="905" label="NameExpr" name="is_zero"><location begcolumn="28" begline="243" endcolumn="34" endline="243"/></astnode><astnode id="907" label="Nodes&lt;Expr&gt;"><location begcolumn="35" begline="243" endcolumn="37" endline="243"/><astnode id="906" label="NameExpr" name="b"><location begcolumn="36" begline="243" endcolumn="36" endline="243"/></astnode></astnode></astnode><astnode id="918" label="Exprs"><location begcolumn="29" begline="244" endcolumn="29" endline="244"/><astnode id="917" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="244" endcolumn="29" endline="244"/><astnode id="909" label="NameExpr" name="a"><location begcolumn="29" begline="244" endcolumn="29" endline="244"/></astnode></astnode></astnode><astnode id="920" label="Exprs"><location begcolumn="29" begline="246" endcolumn="47" endline="246"/><astnode id="919" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="246" endcolumn="47" endline="246"/><astnode id="916" label="CallExpr"><location begcolumn="29" begline="246" endcolumn="47" endline="246"/><astnode id="910" label="NameExpr" name="ultra_gcd"><location begcolumn="29" begline="246" endcolumn="37" endline="246"/></astnode><astnode id="915" label="Nodes&lt;Expr&gt;"><location begcolumn="38" begline="246" endcolumn="47" endline="246"/><astnode id="911" label="NameExpr" name="b"><location begcolumn="39" begline="246" endcolumn="39" endline="246"/></astnode><astnode id="914" label="BinExpr" name="MOD"><location begcolumn="42" begline="246" endcolumn="46" endline="246"/><astnode id="912" label="NameExpr" name="a"><location begcolumn="42" begline="246" endcolumn="42" endline="246"/></astnode><astnode id="913" label="NameExpr" name="b"><location begcolumn="46" begline="246" endcolumn="46" endline="246"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="950" label="DefFunDefn" name="ultra_sum"><location begcolumn="21" begline="248" endcolumn="27" endline="253"/><astnode id="947" label="Nodes&lt;ParDefn&gt;"><location begcolumn="34" begline="248" endcolumn="40" endline="248"/><astnode id="927" label="ParDefn" name="n"><location begcolumn="35" begline="248" endcolumn="39" endline="248"/><astnode id="926" label="NameType" name="i"><location begcolumn="39" begline="248" endcolumn="39" endline="248"/></astnode></astnode></astnode><astnode id="928" label="NameType" name="i"><location begcolumn="44" begline="248" endcolumn="44" endline="248"/></astnode><astnode id="949" label="Exprs"><location begcolumn="25" begline="249" endcolumn="27" endline="253"/><astnode id="948" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="249" endcolumn="27" endline="253"/><astnode id="946" label="IfThenElseExpr"><location begcolumn="25" begline="249" endcolumn="27" endline="253"/><astnode id="932" label="CallExpr"><location begcolumn="28" begline="249" endcolumn="37" endline="249"/><astnode id="929" label="NameExpr" name="is_zero"><location begcolumn="28" begline="249" endcolumn="34" endline="249"/></astnode><astnode id="931" label="Nodes&lt;Expr&gt;"><location begcolumn="35" begline="249" endcolumn="37" endline="249"/><astnode id="930" label="NameExpr" name="n"><location begcolumn="36" begline="249" endcolumn="36" endline="249"/></astnode></astnode></astnode><astnode id="943" label="Exprs"><location begcolumn="29" begline="250" endcolumn="29" endline="250"/><astnode id="942" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="250" endcolumn="29" endline="250"/><astnode id="933" label="AtomExpr" name="0"><location begcolumn="29" begline="250" endcolumn="29" endline="250"/></astnode></astnode></astnode><astnode id="945" label="Exprs"><location begcolumn="29" begline="252" endcolumn="48" endline="252"/><astnode id="944" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="252" endcolumn="48" endline="252"/><astnode id="941" label="BinExpr" name="ADD"><location begcolumn="29" begline="252" endcolumn="48" endline="252"/><astnode id="934" label="NameExpr" name="n"><location begcolumn="29" begline="252" endcolumn="29" endline="252"/></astnode><astnode id="940" label="CallExpr"><location begcolumn="33" begline="252" endcolumn="48" endline="252"/><astnode id="935" label="NameExpr" name="ultra_sum"><location begcolumn="33" begline="252" endcolumn="41" endline="252"/></astnode><astnode id="939" label="Nodes&lt;Expr&gt;"><location begcolumn="42" begline="252" endcolumn="48" endline="252"/><astnode id="938" label="BinExpr" name="SUB"><location begcolumn="43" begline="252" endcolumn="47" endline="252"/><astnode id="936" label="NameExpr" name="n"><location begcolumn="43" begline="252" endcolumn="43" endline="252"/></astnode><astnode id="937" label="AtomExpr" name="1"><location begcolumn="47" begline="252" endcolumn="47" endline="252"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="977" label="DefFunDefn" name="ultra_bits"><location begcolumn="21" begline="254" endcolumn="27" endline="259"/><astnode id="974" label="Nodes&lt;ParDefn&gt;"><location begcolumn="35" begline="254" endcolumn="41" endline="254"/><astnode id="952" label="ParDefn" name="n"><location begcolumn="36" begline="254" endcolumn="40" endline="254"/><astnode id="951" label="NameType" name="i"><location begcolumn="40" begline="254" endcolumn="40" endline="254"/></astnode></astnode></astnode><astnode id="953" label="NameType" name="i"><location begcolumn="45" begline="254" endcolumn="45" endline="254"/></astnode><astnode id="976" label="Exprs"><location begcolumn="25" begline="255" endcolumn="27" endline="259"/><astnode id="975" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="255" endcolumn="27" endline="259"/><astnode id="973" label="IfThenElseExpr"><location begcolumn="25" begline="255" endcolumn="27" endline="259"/><astnode id="957" label="CallExpr"><location begcolumn="28" begline="255" endcolumn="37" endline="255"/><astnode id="954" label="NameExpr" name="is_zero"><location begcolumn="28" begline="255" endcolumn="34" endline="255"/></astnode><astnode id="956" label="Nodes&lt;Expr&gt;"><location begcolumn="35" begline="255" endcolumn="37" endline="255"/><astnode id="955" label="NameExpr" name="n"><location begcolumn="36" begline="255" endcolumn="36" endline="255"/></astnode></astnode></astnode><astnode id="970" label="Exprs"><location begcolumn="29" begline="256" endcolumn="29" endline="256"/><astnode id="969" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="256" endcolumn="29" endline="256"/><astnode id="958" label="AtomExpr" name="0"><location begcolumn="29" begline="256" endcolumn="29" endline="256"/></astnode></astnode></astnode><astnode id="972" label="Exprs"><location begcolumn="29" begline="258" endcolumn="53" endline="258"/><astnode id="971" label="Nodes&lt;Expr&gt;"><location begcolumn="29" begline="258" endcolumn="53" endline="258"/><astnode id="968" label="BinExpr" name="ADD"><location begcolumn="29" begline="258" endcolumn="53" endline="258"/><astnode id="961" label="BinExpr" name="MOD"><location begcolumn="29" begline="258" endcolumn="33" endline="258"/><astnode id="959" label="NameExpr" name="n"><location begcolumn="29" begline="258" endcolumn="29" endline="258"/></astnode><astnode id="960" label="AtomExpr" name="2"><location begcolumn="33" begline="258" endcolumn="33" endline="258"/></astnode></astnode><astnode id="967" label="CallExpr"><location begcolumn="37" begline="258" endcolumn="53" endline="258"/><astnode id="962" label="NameExpr" name="ultra_bits"><location begcolumn="37" begline="258" endcolumn="46" endline="258"/></astnode><astnode id="966" label="Nodes&lt;Expr&gt;"><location begcolumn="47" begline="258" endcolumn="53" endline="258"/><astnode id="965" label="BinExpr" name="DIV"><location begcolumn="48" begline="258" endcolumn="52" endline="258"/><astnode id="963" label="NameExpr" name="n"><location begcolumn="48" begline="258" endcolumn="48" endline="258"/></astnode><astnode id="964" label="AtomExpr" name="2"><location begcolumn="52" begline="258" endcolumn="52" endline="258"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1050" label="Exprs"><location begcolumn="21" begline="261" endcolumn="26" endline="272"/><astnode id="1049" label="Nodes&lt;Expr&gt;"><location begcolumn="21" begline="261" endcolumn="26" endline="272"/><astnode id="984" label="AsgnExpr"><location begcolumn="21" begline="261" endcolumn="52" endline="261"/><astnode id="978" label="NameExpr" name="ultra1"><location begcolumn="21" begline="261" endcolumn="26" endline="261"/></astnode><astnode id="983" label="CallExpr"><location begcolumn="30" begline="261" endcolumn="52" endline="261"/><astnode id="979" label="NameExpr" name="ultra_gcd"><location begcolumn="30" begline="261" endcolumn="38" endline="261"/></astnode><astnode id="982" label="Nodes&lt;Expr&gt;"><location begcolumn="39" begline="261" endcolumn="52" endline="261"/><astnode id="980" label="NameExpr" name="deep1"><location begcolumn="40" begline="261" endcolumn="44" endline="261"/></astnode><astnode id="981" label="NameExpr" name="deep2"><location begcolumn="47" begline="261" endcolumn="51" endline="261"/></astnode></astnode></astnode></astnode><astnode id="990" label="AsgnExpr"><location begcolumn="21" begline="262" endcolumn="44" endline="262"/><astnode id="985" label="NameExpr" name="ultra2"><location begcolumn="21" begline="262" endcolumn="26" endline="262"/></astnode><astnode id="989" label="CallExpr"><location begcolumn="30" begline="262" endcolumn="44" endline="262"/><astnode id="986" label="NameExpr" name="is_even"><location begcolumn="30" begline="262" endcolumn="36" endline="262"/></astnode><astnode id="988" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="262" endcolumn="44" endline="262"/><astnode id="987" label="NameExpr" name="ultra1"><location begcolumn="38" begline="262" endcolumn="43" endline="262"/></astnode></astnode></astnode></astnode><astnode id="1001" label="AsgnExpr"><location begcolumn="21" begline="263" endcolumn="66" endline="263"/><astnode id="991" label="NameExpr" name="ultra3"><location begcolumn="21" begline="263" endcolumn="26" endline="263"/></astnode><astnode id="1000" label="CallExpr"><location begcolumn="30" begline="263" endcolumn="66" endline="263"/><astnode id="992" label="NameExpr" name="ultra_sum"><location begcolumn="30" begline="263" endcolumn="38" endline="263"/></astnode><astnode id="999" label="Nodes&lt;Expr&gt;"><location begcolumn="39" begline="263" endcolumn="66" endline="263"/><astnode id="998" label="CallExpr"><location begcolumn="40" begline="263" endcolumn="65" endline="263"/><astnode id="993" label="NameExpr" name="ultra_bits"><location begcolumn="40" begline="263" endcolumn="49" endline="263"/></astnode><astnode id="997" label="Nodes&lt;Expr&gt;"><location begcolumn="50" begline="263" endcolumn="65" endline="263"/><astnode id="996" label="BinExpr" name="ADD"><location begcolumn="51" begline="263" endcolumn="64" endline="263"/><astnode id="994" label="NameExpr" name="deep4"><location begcolumn="51" begline="263" endcolumn="55" endline="263"/></astnode><astnode id="995" label="NameExpr" name="ultra1"><location begcolumn="59" begline="263" endcolumn="64" endline="263"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1009" label="AsgnExpr"><location begcolumn="21" begline="264" endcolumn="57" endline="264"/><astnode id="1002" label="NameExpr" name="counter"><location begcolumn="21" begline="264" endcolumn="27" endline="264"/></astnode><astnode id="1008" label="BinExpr" name="ADD"><location begcolumn="31" begline="264" endcolumn="57" endline="264"/><astnode id="1003" label="NameExpr" name="ultra3"><location begcolumn="31" begline="264" endcolumn="36" endline="264"/></astnode><astnode id="1007" label="CallExpr"><location begcolumn="40" begline="264" endcolumn="57" endline="264"/><astnode id="1004" label="NameExpr" name="count_bits"><location begcolumn="40" begline="264" endcolumn="49" endline="264"/></astnode><astnode id="1006" label="Nodes&lt;Expr&gt;"><location begcolumn="50" begline="264" endcolumn="57" endline="264"/><astnode id="1005" label="NameExpr" name="ultra1"><location begcolumn="51" begline="264" endcolumn="56" endline="264"/></astnode></astnode></astnode></astnode></astnode><astnode id="1015" label="AsgnExpr"><location begcolumn="21" begline="265" endcolumn="47" endline="265"/><astnode id="1010" label="NameExpr" name="result"><location begcolumn="21" begline="265" endcolumn="26" endline="265"/></astnode><astnode id="1014" label="CallExpr"><location begcolumn="30" begline="265" endcolumn="47" endline="265"/><astnode id="1011" label="NameExpr" name="ext_print"><location begcolumn="30" begline="265" endcolumn="38" endline="265"/></astnode><astnode id="1013" label="Nodes&lt;Expr&gt;"><location begcolumn="39" begline="265" endcolumn="47" endline="265"/><astnode id="1012" label="NameExpr" name="counter"><location begcolumn="40" begline="265" endcolumn="46" endline="265"/></astnode></astnode></astnode></astnode><astnode id="1022" label="AsgnExpr"><location begcolumn="21" begline="266" endcolumn="51" endline="266"/><astnode id="1016" label="NameExpr" name="flag"><location begcolumn="21" begline="266" endcolumn="24" endline="266"/></astnode><astnode id="1021" label="CallExpr"><location begcolumn="28" begline="266" endcolumn="51" endline="266"/><astnode id="1017" label="NameExpr" name="local_and"><location begcolumn="28" begline="266" endcolumn="36" endline="266"/></astnode><astnode id="1020" label="Nodes&lt;Expr&gt;"><location begcolumn="37" begline="266" endcolumn="51" endline="266"/><astnode id="1018" label="NameExpr" name="ultra2"><location begcolumn="38" begline="266" endcolumn="43" endline="266"/></astnode><astnode id="1019" label="NameExpr" name="deep3"><location begcolumn="46" begline="266" endcolumn="50" endline="266"/></astnode></astnode></astnode></astnode><astnode id="1042" label="WhileExpr"><location begcolumn="21" begline="267" endcolumn="23" endline="270"/><astnode id="1025" label="BinExpr" name="GTH"><location begcolumn="27" begline="267" endcolumn="36" endline="267"/><astnode id="1023" label="NameExpr" name="ultra3"><location begcolumn="27" begline="267" endcolumn="32" endline="267"/></astnode><astnode id="1024" label="AtomExpr" name="0"><location begcolumn="36" begline="267" endcolumn="36" endline="267"/></astnode></astnode><astnode id="1041" label="Exprs"><location begcolumn="25" begline="268" endcolumn="43" endline="269"/><astnode id="1040" label="Nodes&lt;Expr&gt;"><location begcolumn="25" begline="268" endcolumn="43" endline="269"/><astnode id="1034" label="AsgnExpr"><location begcolumn="25" begline="268" endcolumn="62" endline="268"/><astnode id="1026" label="NameExpr" name="ultra1"><location begcolumn="25" begline="268" endcolumn="30" endline="268"/></astnode><astnode id="1033" label="CallExpr"><location begcolumn="34" begline="268" endcolumn="62" endline="268"/><astnode id="1027" label="NameExpr" name="ultra_gcd"><location begcolumn="34" begline="268" endcolumn="42" endline="268"/></astnode><astnode id="1032" label="Nodes&lt;Expr&gt;"><location begcolumn="43" begline="268" endcolumn="62" endline="268"/><astnode id="1028" label="NameExpr" name="ultra3"><location begcolumn="44" begline="268" endcolumn="49" endline="268"/></astnode><astnode id="1031" label="BinExpr" name="ADD"><location begcolumn="52" begline="268" endcolumn="61" endline="268"/><astnode id="1029" label="NameExpr" name="ultra1"><location begcolumn="52" begline="268" endcolumn="57" endline="268"/></astnode><astnode id="1030" label="AtomExpr" name="1"><location begcolumn="61" begline="268" endcolumn="61" endline="268"/></astnode></astnode></astnode></astnode></astnode><astnode id="1039" label="AsgnExpr"><location begcolumn="25" begline="269" endcolumn="43" endline="269"/><astnode id="1035" label="NameExpr" name="ultra3"><location begcolumn="25" begline="269" endcolumn="30" endline="269"/></astnode><astnode id="1038" label="BinExpr" name="SUB"><location begcolumn="34" begline="269" endcolumn="43" endline="269"/><astnode id="1036" label="NameExpr" name="ultra3"><location begcolumn="34" begline="269" endcolumn="39" endline="269"/></astnode><astnode id="1037" label="AtomExpr" name="1"><location begcolumn="43" begline="269" endcolumn="43" endline="269"/></astnode></astnode></astnode></astnode></astnode></astnode><astnode id="1046" label="CallExpr"><location begcolumn="21" begline="271" endcolumn="37" endline="271"/><astnode id="1043" label="NameExpr" name="ext_print"><location begcolumn="21" begline="271" endcolumn="29" endline="271"/></astnode><astnode id="1045" label="Nodes&lt;Expr&gt;"><location begcolumn="30" begline="271" endcolumn="37" endline="271"/><astnode id="1044" label="NameExpr" name="result"><location begcolumn="31" begline="271" endcolumn="36" endline="271"/></astnode></astnode></astnode><astnode id="1047" label="NameExpr" name="ultra3"><location begcolumn="21" begline="272" endcolumn="26" endline="272"/></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></astnode></abstr>