--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com Thu Mar 31 19:02:42 1994 --* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123) --* id AA25977; Thu, 31 Mar 1994 19:02:42 -0500 --* X-External-Networks: yes --* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with BSMTP id 4213; Thu, 31 Mar 94 19:02:17 EST --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id --* for asbugs@watson; Thu, 31 Mar 94 19:02:14 -0500 --* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0" --* id 3423; Thu, 31 Mar 1994 19:02:07 EST --* Received: from galois.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3) --* with TCP; Thu, 31 Mar 94 19:02:01 EST --* Received: by galois.watson.ibm.com (AIX 3.2/UCB 5.64/4.03) --* id AA13202; Thu, 31 Mar 1994 19:01:42 -0500 --* Date: Thu, 31 Mar 1994 19:01:42 -0500 --* From: iglio@galois.watson.ibm.com --* Message-Id: <9404010001.AA13202@galois.watson.ibm.com> --* To: asbugs@watson.ibm.com --* Subject: [6] inliner bug with MFmt (interpreter crash) [gbtest1.asf][v34-5] --@ Fixed by: PAB Mon May 30 19:41:31 EDT 1994 --@ Tested by: gbtest1.as --@ Summary: fixed by other changes -- look for MFmt; the wrong number is 7; it should be 23 (generBaseFn is the -- function called (Unit (DFmt (DDecl (Decl Clos "ASgbtest1" Foam -1 4) (Decl Clos "noOperation" Foam -1 4) (Decl Clos "ASruntime" Foam -1 4) (Decl Word "ASsinteger" Foam -1 4) (Decl Word "sinteger_SingleInteger_872570421" Foam -1 4) (Decl Clos "domainHash!" Foam -1 4) (Decl Clos "lazyGetExport!" Foam -1 4) (Decl Clos "lazyForceImport" Foam -1 4) (Decl Word "ASdirprod" Foam -1 4) (Decl Clos "dirprod_HomogeneousDirectProduct_540338925" Foam -1 4) (Decl Word "ASinteger" Foam -1 4) (Decl Word "integer_Integer_615846796" Foam -1 4) (Decl Word "ASpoly" Foam -1 4) (Decl Clos "poly_Polynomial_786274756" Foam -1 4) (Decl Word "ASlist" Foam -1 4) (Decl Clos "list_List_549960633" Foam -1 4) (Decl Word "ASoutport" Foam -1 4) (Decl Word "outport_OutPort_307137525" Foam -1 4) (Decl Word "ASstring" Foam -1 4) (Decl Word "string_String_515873051" Foam -1 4) (Decl Word "ASgb" Foam -1 4) (Decl Clos "gb_GroebnerPackage_659155338" Foam -1 4) (Decl Clos "domainGetExport!" Foam -1 4) (Decl Clos "lazyForceImport" Foam -1 4) (Decl Clos "fputs" C 8 4) (Decl Clos "printNewLine" Other 10 4) (Decl Clos "printBInt" Other 10 4)) (DDecl (Decl Prog "ASgbtest1" Foam -1 4) (Decl Prog "lazyFnGetter" Foam -1 4) (Decl Prog "lazyGetter" Foam -1 4) (Decl Prog "lazyGetter2" Foam -1 4) (Decl Prog "lazyFnGetter" Foam -1 4) (Decl Prog "lazyGetter" Foam -1 4) (Decl Prog "generBaseFn" Foam -1 4) (Decl Prog "generDone?" Foam -1 4) (Decl Prog "generStepper" Foam -1 4) (Decl Prog "generValue" Foam -1 4) (Decl Prog "generBound" Foam -1 4)) (DDecl) (DDecl) (DDecl) (DDecl) (DDecl (Decl Word "domain" Foam -1 4) (Decl SInt "name" Foam -1 4) (Decl SInt "type" Foam -1 4) (Decl Bool "flag" Foam -1 4) (Decl Clos "self" Foam -1 4)) (DDecl (Decl Word "Literal" Foam -1 4) (Decl Word "Exit" Foam -1 4) (Decl Clos "->" Foam -1 4) (Decl Word "Boolean" Foam -1 4) (Decl Clos "Segment" Foam -1 4) (Decl Word "SingleInteger" Foam -1 4) (Decl Word "Integer" Foam -1 4) (Decl Word "String" Foam -1 4) (Decl Clos "List" Foam -1 4) (Decl Word "OutPort" Foam -1 4) (Decl Word "print" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "string" Foam -1 4) (Decl Clos "Polynomial" Foam -1 4) (Decl Clos "HomogeneousDirectProduct" Foam -1 4) (Decl Clos "GroebnerPackage" Foam -1 4) (Decl Word "1" Foam -1 4) (Decl Clos "integer" Foam -1 4) (Decl Clos "integer" Foam -1 4) (Decl Clos "unitVector" Foam -1 4) (Decl Clos "*" Foam -1 4) (Decl Clos "+" Foam -1 4) (Decl Clos "-" Foam -1 4) (Decl Clos "*" Foam -1 4) (Decl Clos "var" Foam -1 4) (Decl Clos "^" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "bracket" Foam -1 4) (Decl Clos "groebner" Foam -1 4) (Decl Clos "groebner" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4)) (DDecl (Decl Clos "apply" Foam -1 4) (Decl Clos "quo" Foam -1 4) (Decl Clos "primitivePart" Foam -1 4) (Decl Clos "content" Foam -1 4) (Decl Clos "^" Foam -1 4) (Decl Clos "fmecg" Foam -1 4) (Decl Clos "monicDivide" Foam -1 4) (Decl Clos "*" Foam -1 4) (Decl Clos "*" Foam -1 4) (Decl Clos "*" Foam -1 4) (Decl Clos "*" Foam -1 4) (Decl Clos "-" Foam -1 4) (Decl Clos "-" Foam -1 4) (Decl Clos "+" Foam -1 4) (Decl Clos "+" Foam -1 4) (Decl Clos "~=" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "monomial" Foam -1 4) (Decl Clos "reductum" Foam -1 4) (Decl Clos "leadingCoefficient" Foam -1 4) (Decl Clos "degree" Foam -1 4) (Decl Clos "zero?" Foam -1 4) (Decl Word "sample" Foam -1 4) (Decl Clos "var" Foam -1 4) (Decl Word "1" Foam -1 4) (Decl Word "0" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "~=" Foam -1 4) (Decl Clos "#" Foam -1 4) (Decl Clos "empty?" Foam -1 4) (Decl Clos "generator" Foam -1 4) (Decl Clos "bracket" Foam -1 4) (Decl Clos "test" Foam -1 4) (Decl Word "nil" Foam -1 4) (Decl Clos "cons" Foam -1 4) (Decl Clos "first" Foam -1 4) (Decl Clos "rest" Foam -1 4) (Decl Clos "reverse" Foam -1 4) (Decl Clos "reverse!" Foam -1 4) (Decl Clos "concat!" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "bracket" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "~=" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Word "1" Foam -1 4) (Decl Clos "*" Foam -1 4) (Decl Word "0" Foam -1 4) (Decl Clos "+" Foam -1 4) (Decl Clos "-" Foam -1 4) (Decl Clos "-" Foam -1 4) (Decl Clos "gcd" Foam -1 4) (Decl Clos "quo" Foam -1 4) (Decl Clos "rem" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos ">" Foam -1 4) (Decl Clos "<" Foam -1 4) (Decl Word "0" Foam -1 4) (Decl Clos "+" Foam -1 4) (Decl Clos "-" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4)) (DDecl) (DDecl (Decl Word "first" Foam -1 4) (Decl Word "rest" Foam -1 4)) (DDecl (Decl Clos "bracket" Foam -1 4) (Decl Clos "bracket" Foam -1 4) (Decl Clos "tails" Foam -1 4) (Decl Clos "generator" Foam -1 4) (Decl Clos "test" Foam -1 4) (Decl Clos "~=" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "member?" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "reduce" Foam -1 4) (Decl Clos "concat" Foam -1 4) (Decl Clos "concat!" Foam -1 4) (Decl Clos "reverse!" Foam -1 4) (Decl Clos "reverse" Foam -1 4) (Decl Clos "copy" Foam -1 4) (Decl Clos "last" Foam -1 4) (Decl Clos "tail" Foam -1 4) (Decl Clos "setRest!" Foam -1 4) (Decl Clos "setFirst!" Foam -1 4) (Decl Clos "rest" Foam -1 4) (Decl Clos "rest" Foam -1 4) (Decl Clos "first" Foam -1 4) (Decl Clos "map" Foam -1 4) (Decl Clos "map" Foam -1 4) (Decl Clos "list" Foam -1 4) (Decl Clos "list" Foam -1 4) (Decl Clos "cons" Foam -1 4) (Decl Clos "empty" Foam -1 4) (Decl Clos "#" Foam -1 4) (Decl Clos "empty?" Foam -1 4) (Decl Clos "rec" Foam -1 4) (Decl Word "P" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "~=" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl Word "dom" Foam -1 4)) (DDecl) (DDecl) (DDecl (Decl Clos "groebner" Foam -1 4) (Decl Clos "groebner" Foam -1 4) (Decl Clos "groebner" Foam -1 4) (Decl Clos "degreeOrder" Foam -1 4) (Decl Clos "normalForm" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Word "0" Foam -1 4) (Decl Clos "degree" Foam -1 4) (Decl Clos "<" Foam -1 4) (Decl Clos "sort" Foam -1 4) (Decl Clos "redPol" Foam -1 4) (Decl Clos "gbasis" Foam -1 4) (Decl Clos "minGbasis" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "generator" Foam -1 4) (Decl Clos "bracket" Foam -1 4) (Decl Clos "bracket" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4)) (DDecl) (DDecl) (DDecl (Decl Word "GcdDomain" Foam -1 4) (Decl Word "BasicType" Foam -1 4) (Decl Word "SingleInteger" Foam -1 4) (Decl Word "Integer" Foam -1 4) (Decl Clos "List" Foam -1 4) (Decl Clos "ListSort" Foam -1 4) (Decl Word "OutPort" Foam -1 4) (Decl Word "print" Foam -1 4) (Decl Word "ExponentCategory" Foam -1 4) (Decl Clos "max" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Clos "max" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Clos "ClosedSegment" Foam -1 4)) (DDecl) (DDecl) (DDecl) (DDecl) (DDecl (Decl Word "expon" Foam -1 4) (Decl Word "coef" Foam -1 4)) (DDecl (Decl Clos "done?" Foam -1 4) (Decl Clos "value" Foam -1 4) (Decl Clos "step!" Foam -1 4) (Decl Clos "bound" Foam -1 4)) (DDecl) (DDecl) (DDecl (Decl Clos "~=" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "bracket" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "~=" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Word "0" Foam -1 4) (Decl Clos "=" Foam -1 4) (Decl Clos "~=" Foam -1 4) (Decl Clos "apply" Foam -1 4) (Decl Word "1" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl Word "dom" Foam -1 4) (Decl Word "dom" Foam -1 4)) (DDecl (Decl Rec "l" Foam -1 10)) (DDecl (Decl Bool "done" Foam -1 4) (Decl SInt "place" Foam -1 4) (Decl Word "value" Foam -1 4))) (DDef (Def (Const 0 ASgbtest1) (Prog 0 382 NOp 0 0 (DDecl) (DDecl (Decl Rec "l2" Foam -1 10) (Decl Word "f2" Foam -1 4) (Decl Word "f1" Foam -1 4) (Decl Rec "base" Foam -1 10) (Decl Rec "l1" Foam -1 10) (Decl Word "q2" Foam -1 4) (Decl Word "q1" Foam -1 4) (Decl Word "p2" Foam -1 4) (Decl Word "p1" Foam -1 4) (Decl Word "y" Foam -1 4) (Decl Word "x" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl Arr "" Foam -1 8) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl Arr "" Foam -1 8) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl SInt "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 8) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 8) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 8) (Decl Arr "" Foam -1 8) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 1) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 1) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 1) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 8) (Decl Word "" Foam -1 4) (Decl Arr "" Foam -1 8) (Decl Arr "" Foam -1 8) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 22) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Env "" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Rec "" Foam -1 22) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Word "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Bool "" Foam -1 4) (Decl Rec "" Foam -1 10) (Decl Rec "" Foam -1 10) (Decl Word "" Foam -1 4) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl Word "Pol" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Clos "" Foam -1 4) (Decl Word "x" Foam -1 4) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl Word "c" Foam -1 4) (Decl Word "x" Foam -1 4) (Decl Word "a" Foam -1 4) (Decl Rec "u" Foam -1 22) (Decl Word "Pol" Foam -1 4) (Decl Word "x" Foam -1 4) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl SInt "size" Foam -1 4) (Decl Arr "values" Foam -1 8) (Decl Word "value" Foam -1 4) (Decl Word "value" Foam -1 4) (Decl Word "value" Foam -1 4) (Decl Rec "l" Foam -1 10) (Decl Word "value" Foam -1 4) (Decl Rec "l" Foam -1 10) (Decl Word "value" Foam -1 4)) (DFluid) (DEnv 7) (Seq (CCall NOp (Glo 2 ASruntime)) (Set (Glo 0 ASgbtest1) (Glo 1 noOperation)) (CCall Word (Glo 3 ASsinteger)) (Def (Lex 0 5 SingleInteger) (Glo 4 sinteger_SingleInteger_872570421)) (Def (Lex 0 30 dom) (Lex 0 5 SingleInteger)) (Def (Lex 0 16 \1) (CCall Word (Glo 6 lazyGetExport!) (Lex 0 30 dom) (SInt 200090) (SInt 142471813))) (Def (Lex 0 17 integer) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 30 dom) (SInt 477900237) (SInt 475196805))) (CCall Word (Glo 8 ASdirprod)) (Def (Lex 0 14 HomogeneousDirectProduct) (Glo 9 dirprod_HomogeneousDirectProduct_540338925)) (Def (Lex 0 31 dom) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))) (Set (Loc 11) (SInt 955983687)) (Label 0) (Def (Lex 0 19 unitVector) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 31 dom) (SInt 295914317) (BCall SIntPlusMod (Loc 11) (SInt 974156096) (SInt 1073741789)))) (CCall Word (Glo 10 ASinteger)) (Def (Lex 0 6 Integer) (Glo 11 integer_Integer_615846796)) (CCall Word (Glo 12 ASpoly)) (Def (Lex 0 13 Polynomial) (Glo 13 poly_Polynomial_786274756)) (Def (Lex 0 32 dom) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Set (Loc 12) (SInt 955983687)) (Label 1) (Set (Loc 14) (SInt 955983687)) (Label 3) (Set (Loc 13) (BCall SIntPlusMod (Loc 14) (SInt 66014016) (SInt 1073741789))) (Label 2) (Def (Lex 0 24 var) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 32 dom) (SInt 318003076) (BCall SIntPlusMod (Loc 13) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 12) (SInt 74075968) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (Set (Loc 61) (CCall Word (Lex 0 19 unitVector) (Cast Word (SInt 1)))) (Set (Loc 160) (RNew 22)) (Set (RElt 22 (Loc 160) 0) (Loc 61)) (Set (RElt 22 (Loc 160) 1) (Cast Word (BInt 1))) (Set (Loc 161) (RNew 10)) (Set (RElt 10 (Loc 161) 0) (Loc 160)) (Set (RElt 10 (Loc 161) 1) (Cast Word (Nil))) (Set (Loc 10 x) (Loc 161)) (Set (Loc 62) (CCall Word (Lex 0 19 unitVector) (Cast Word (SInt 2)))) (Set (Loc 162) (RNew 22)) (Set (RElt 22 (Loc 162) 0) (Loc 62)) (Set (RElt 22 (Loc 162) 1) (Cast Word (BInt 1))) (Set (Loc 163) (RNew 10)) (Set (RElt 10 (Loc 163) 0) (Loc 162)) (Set (RElt 10 (Loc 163) 1) (Cast Word (Nil))) (Set (Loc 9 y) (Loc 163)) (Set (Loc 16) (SInt 955983687)) (Label 5) (Set (Loc 15) (BCall SIntPlusMod (Loc 16) (SInt 66014016) (SInt 1073741789))) (Label 4) (Set (Loc 18) (SInt 955983687)) (Label 7) (Set (Loc 17) (BCall SIntPlusMod (Loc 18) (SInt 66014016) (SInt 1073741789))) (Label 6) (Set (Loc 20) (SInt 955983687)) (Label 9) (Set (Loc 19) (BCall SIntPlusMod (Loc 20) (SInt 66014016) (SInt 1073741789))) (Label 8) (Def (Lex 0 21 +) (OCall Clos (Const 1 lazyFnGetter) (Env 0) (Lex 0 32 dom) (SInt 200084) (BCall SIntPlusMod (Loc 19) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 17) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 15) (SInt 74075968) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (Set (Loc 8 p1) (CCall Word (Lex 0 21 +) (Loc 10 x) (Loc 9 y))) (Set (Loc 22) (SInt 955983687)) (Label 11) (Set (Loc 21) (BCall SIntPlusMod (Loc 22) (SInt 66014016) (SInt 1073741789))) (Label 10) (Set (Loc 24) (SInt 955983687)) (Label 13) (Set (Loc 23) (BCall SIntPlusMod (Loc 24) (SInt 66014016) (SInt 1073741789))) (Label 12) (Set (Loc 26) (SInt 955983687)) (Label 15) (Set (Loc 25) (BCall SIntPlusMod (Loc 26) (SInt 66014016) (SInt 1073741789))) (Label 14) (Def (Lex 0 22 -) (OCall Clos (Const 1 lazyFnGetter) (Env 0) (Lex 0 32 dom) (SInt 200086) (BCall SIntPlusMod (Loc 25) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 23) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 21) (SInt 74075968) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (Set (Loc 7 p2) (CCall Word (Lex 0 22 -) (Loc 10 x) (Loc 9 y))) (Set (Loc 28) (SInt 955983687)) (Label 17) (Set (Loc 27) (BCall SIntPlusMod (Loc 28) (SInt 66014016) (SInt 1073741789))) (Label 16) (Set (Loc 30) (SInt 955983687)) (Label 19) (Set (Loc 29) (BCall SIntPlusMod (Loc 30) (SInt 66014016) (SInt 1073741789))) (Label 18) (Set (Loc 32) (SInt 955983687)) (Label 21) (Set (Loc 31) (BCall SIntPlusMod (Loc 32) (SInt 66014016) (SInt 1073741789))) (Label 20) (Def (Lex 0 20 *) (OCall Clos (Const 1 lazyFnGetter) (Env 0) (Lex 0 32 dom) (SInt 200083) (BCall SIntPlusMod (Loc 31) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 29) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 27) (SInt 74075968) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (Set (Loc 6 q1) (CCall Word (Lex 0 20 *) (Loc 8 p1) (Loc 7 p2))) (Set (Loc 5 q2) (CCall Word (Lex 0 20 *) (Loc 8 p1) (Loc 8 p1))) (Set (Loc 33) (ANew Word (SInt 2))) (Set (Loc 377 size) (SInt 2)) (Set (Loc 378 values) (Loc 33)) (Set (AElt Word (SInt 0) (Loc 33)) (Loc 6 q1)) (Set (AElt Word (SInt 1) (Loc 33)) (Loc 5 q2)) (CCall Word (Glo 14 ASlist)) (Def (Lex 0 8 List) (Glo 15 list_List_549960633)) (Def (Lex 0 33 dom) (CCall Word (Lex 0 8 List) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Set (Loc 36) (SInt 955983687)) (Label 24) (Set (Loc 35) (BCall SIntPlusMod (Loc 36) (SInt 66014016) (SInt 1073741789))) (Label 23) (Set (Loc 34) (BCall SIntPlusMod (Loc 35) (SInt 638488576) (SInt 1073741789))) (Label 22) (Def (Lex 0 27 bracket) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 33 dom) (SInt 44638651) (BCall SIntPlusMod (Loc 34) (SInt 262034880) (SInt 1073741789)))) (Set (Loc 63) (Cast Word (Nil))) (Set (Loc 67) (Cast Word (Bool 0))) (Set (Loc 68) (Cast Word (Loc 377 size))) (Set (Loc 69) (Cast Word (SInt 1))) (Set (Loc 70) (Cast Word (SInt 1))) (Set (Loc 75) (Loc 67)) (Set (Loc 76) (Loc 68)) (Set (Loc 77) (Loc 69)) (Set (Loc 78) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 70))))) (Set (Loc 73) (Loc 76)) (Set (Loc 72) (Loc 77)) (Set (Loc 71) (Loc 78)) (If (Loc 75) 74) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 71)))) 76) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 71)) (SInt 0))) 75) (Label 73) (Set (Loc 74) (Loc 66)) (Set (Loc 4 l1) (Loc 63)) (CCall Word (Glo 16 ASoutport)) (Def (Lex 0 9 OutPort) (Glo 17 outport_OutPort_307137525)) (Def (Lex 0 34 dom) (Lex 0 9 OutPort)) (Def (Lex 0 11 apply) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 34 dom) (SInt 306472243) (SInt 70949855))) (Set (Loc 39) (SInt 955983687)) (Label 27) (Set (Loc 38) (BCall SIntPlusMod (Loc 39) (SInt 66014016) (SInt 1073741789))) (Label 26) (Set (Loc 37) (BCall SIntPlusMod (Loc 38) (SInt 638488576) (SInt 1073741789))) (Label 25) (Def (Lex 0 26 apply) (OCall Clos (Const 1 lazyFnGetter) (Env 0) (Lex 0 33 dom) (SInt 306472243) (BCall SIntPlusMod (SInt 968858812) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 37) (SInt 175832832) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (Def (Lex 0 10 print) (CCall Word (Glo 6 lazyGetExport!) (Lex 0 34 dom) (SInt 828947258) (SInt 968858812))) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (Lex 0 26 apply))))) 83) (CCall NOp (Cast Clos (EInfo (CEnv (Lex 0 26 apply))))) (Label 83) (Set (Loc 84) (CCall Word (Glo 7 lazyForceImport) (Lex 0 10 print))) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 4 l1)))) 82) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40) (Loc 84)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 152) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 152) (Set (Loc 164) (RElt 10 (Loc 4 l1) 0)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 164)))) 252) (Label 246) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 164)))) 153) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 250) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 250) (Set (Loc 321) (Loc 84)) (Set (Loc 319) (RElt 10 (Loc 164) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 319) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 313) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 319) 1)) (BInt 1))) 248) (PCall Other NOp (Glo 26 printBInt) (Loc 321) (Cast BInt (RElt 22 (Loc 319) 1))) (Set (Loc 320) (Loc 321)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 320)) (Label 249) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 321)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 321) (RElt 22 (Loc 319) 0)) (Label 251) (Set (Loc 164) (RElt 10 (Loc 164) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 164))))) 151) (Goto 246) (Label 151) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 84)) (Goto 246) (Label 248) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 321)) (Goto 249) (Label 313) (PCall Other NOp (Glo 26 printBInt) (Loc 321) (Cast BInt (RElt 22 (Loc 319) 1))) (Set (Loc 321) (Loc 321)) (Goto 251) (Label 153) (Set (Loc 82) (RElt 10 (Loc 4 l1) 1)) (Label 81) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 82)))) 80) (Set (Loc 81) (RElt 10 (Loc 82) 0)) (Set (Loc 83) (Loc 81)) (Set (Loc 80) (Loc 83)) (PCall C Word (Glo 24 fputs) (Arr Char 44 32) (Loc 84)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 155) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 155) (Set (Loc 165) (Loc 80)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 165)))) 259) (Label 253) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 165)))) 156) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 257) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 257) (Set (Loc 324) (Loc 84)) (Set (Loc 322) (RElt 10 (Loc 165) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 322) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 316) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 322) 1)) (BInt 1))) 255) (PCall Other NOp (Glo 26 printBInt) (Loc 324) (Cast BInt (RElt 22 (Loc 322) 1))) (Set (Loc 323) (Loc 324)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 323)) (Label 256) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 324)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 324) (RElt 22 (Loc 322) 0)) (Label 258) (Set (Loc 165) (RElt 10 (Loc 165) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 165))))) 154) (Goto 253) (Label 154) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 84)) (Goto 253) (Label 255) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 324)) (Goto 256) (Label 316) (PCall Other NOp (Glo 26 printBInt) (Loc 324) (Cast BInt (RElt 22 (Loc 322) 1))) (Set (Loc 324) (Loc 324)) (Goto 258) (Label 156) (Set (Loc 82) (RElt 10 (Loc 82) 1)) (Goto 81) (Label 259) (PCall Other NOp (Glo 26 printBInt) (Loc 84) (BInt 0)) (Goto 156) (Label 80) (Set (Loc 83) (Loc 81)) (PCall C Word (Glo 24 fputs) (Arr Char 41) (Loc 84)) (Set (Loc 79) (Loc 84)) (Label 84) (PCall Other NOp (Glo 25 printNewLine) (Loc 79)) (CCall Word (Glo 18 ASstring)) (Def (Lex 0 7 String) (Glo 19 string_String_515873051)) (Def (Lex 0 35 dom) (Lex 0 7 String)) (Def (Lex 0 12 string) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 35 dom) (SInt 585283853) (SInt 917967853))) (CCall Word (Glo 20 ASgb)) (Def (Lex 0 15 GroebnerPackage) (Glo 21 gb_GroebnerPackage_659155338)) (Def (Lex 0 36 dom) (CCall Word (Lex 0 15 GroebnerPackage) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Set (Loc 42) (SInt 955983687)) (Label 30) (Set (Loc 41) (BCall SIntPlusMod (Loc 42) (SInt 66014016) (SInt 1073741789))) (Label 29) (Set (Loc 40) (BCall SIntPlusMod (Loc 41) (SInt 638488576) (SInt 1073741789))) (Label 28) (Set (Loc 45) (SInt 955983687)) (Label 33) (Set (Loc 44) (BCall SIntPlusMod (Loc 45) (SInt 66014016) (SInt 1073741789))) (Label 32) (Set (Loc 43) (BCall SIntPlusMod (Loc 44) (SInt 638488576) (SInt 1073741789))) (Label 31) (Def (Lex 0 29 groebner) (OCall Clos (Const 1 lazyFnGetter) (Env 0) (Lex 0 36 dom) (SInt 1058062236) (BCall SIntPlusMod (Loc 43) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (SInt 585242861) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 40) (SInt 74075968) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (Lex 0 29 groebner))))) 107) (CCall NOp (Cast Clos (EInfo (CEnv (Lex 0 29 groebner))))) (Label 107) (Set (Loc 114) (Arr Char 105 110 102 111)) (Set (Loc 381 Pol) (Loc 4 l1)) (Set (Loc 86) (ANew Word (SInt 0))) (Set (Loc 386 size) (SInt 0)) (Set (Loc 387 values) (Loc 86)) (Set (Loc 166) (Cast Word (Nil))) (Set (Loc 170) (Cast Word (Bool 0))) (Set (Loc 171) (Cast Word (Loc 386 size))) (Set (Loc 172) (Cast Word (SInt 1))) (Set (Loc 173) (Cast Word (SInt 1))) (Set (Loc 178) (Loc 170)) (Set (Loc 179) (Loc 171)) (Set (Loc 180) (Loc 172)) (Set (Loc 181) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 173))))) (Set (Loc 176) (Loc 179)) (Set (Loc 175) (Loc 180)) (Set (Loc 174) (Loc 181)) (If (Loc 178) 158) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 174)))) 160) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 174)) (SInt 0))) 159) (Label 157) (Set (Loc 177) (Loc 169)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =))))) 168) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =))))) (Label 168) (Set (Loc 184) (Loc 381 Pol)) (Set (Loc 185) (Loc 166)) (Label 161) (Set (Loc 182) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 184)))) 163) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 185)))) 163) (Label 164) (If (BCall BoolNot (Cast Bool (Loc 182))) 162) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=))))) 260) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=))))) (Label 260) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) 324) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) (Label 324) (Set (Loc 352) (RElt 10 (Loc 184) 0)) (Set (Loc 353) (RElt 10 (Loc 185) 0)) (Label 317) (Set (Loc 350) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 352)))) 319) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 353)))) 319) (Label 320) (If (BCall BoolNot (Cast Bool (Loc 350))) 318) (If (CCall Word (EElt 11 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=)) 0 34 ~=) (RElt 10 (Loc 352) 0) (RElt 10 (Loc 353) 0)) 321) (Set (Loc 352) (RElt 10 (Loc 352) 1)) (Set (Loc 353) (RElt 10 (Loc 353) 1)) (Goto 317) (Label 321) (Set (Loc 354) (Cast Word (Bool 0))) (Label 325) (If (Cast Word (BCall BoolNot (Cast Bool (Loc 354)))) 165) (Set (Loc 184) (RElt 10 (Loc 184) 1)) (Set (Loc 185) (RElt 10 (Loc 185) 1)) (Goto 161) (Label 165) (Set (Loc 186) (Cast Word (Bool 0))) (Label 169) (If (Loc 186) 91) (Set (Loc 188) (Cast Word (Nil))) (Set (Loc 189) (Loc 188)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 14 generator))))) 326) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 14 generator))))) (Label 326) (Set (Loc 355) (PushEnv 27 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 14 generator)))) (Set (EElt 27 (Loc 355) 0 0 l) (Loc 381 Pol)) (Set (Loc 356) (Clos (Loc 355) (Const 6 generBaseFn))) (Set (Values (Loc 326) (Loc 327) (Loc 328) (Loc 329)) (MFmt 7 (CCall NOp (Loc 356)))) (Set (Loc 382) (Loc 326)) (Set (Loc 383) (Loc 327)) (Set (Loc 384) (Loc 328)) (Label 262) (CCall NOp (Loc 383)) (If (CCall Bool (Loc 382)) 263) (Set (Loc 385 x) (CCall Word (Loc 384))) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 5 =))))) 327) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 5 =))))) (Label 327) (Set (Loc 357) (CCall Word (Glo 23 lazyForceImport) (EElt 14 (CEnv (Lex 0 29 groebner)) 0 6 \0))) (If (BCall BoolNot (CCall Word (EElt 8 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 5 =)) 0 26 =) (Loc 385 x) (Loc 357))) 261) (Goto 262) (Label 261) (Set (Loc 325) (Loc 385 x)) (Set (Loc 406 value) (Loc 325)) (Set (Loc 190) (Loc 406 value)) (Set (Loc 187) (Loc 188)) (Set (Loc 191) (RNew 10)) (Set (RElt 10 (Loc 191) 0) (Loc 190)) (Set (RElt 10 (Loc 191) 1) (Cast Word (Nil))) (Set (Loc 188) (Loc 191)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 187)))) 170) (Set (RElt 10 (Loc 187) 1) (Loc 188)) (Goto 262) (Label 170) (Set (Loc 189) (Loc 188)) (Goto 262) (Label 263) (Set (Loc 406 value) (Loc 325)) (Set (Loc 381 Pol) (Loc 189)) (Set (Loc 88) (ANew Word (SInt 0))) (Set (Loc 388 size) (SInt 0)) (Set (Loc 389 values) (Loc 88)) (Set (Loc 192) (Cast Word (Nil))) (Set (Loc 196) (Cast Word (Bool 0))) (Set (Loc 197) (Cast Word (Loc 388 size))) (Set (Loc 198) (Cast Word (SInt 1))) (Set (Loc 199) (Cast Word (SInt 1))) (Set (Loc 204) (Loc 196)) (Set (Loc 205) (Loc 197)) (Set (Loc 206) (Loc 198)) (Set (Loc 207) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 199))))) (Set (Loc 202) (Loc 205)) (Set (Loc 201) (Loc 206)) (Set (Loc 200) (Loc 207)) (If (Loc 204) 173) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 200)))) 175) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 200)) (SInt 0))) 174) (Label 172) (Set (Loc 203) (Loc 195)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =))))) 183) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =))))) (Label 183) (Set (Loc 210) (Loc 381 Pol)) (Set (Loc 211) (Loc 192)) (Label 176) (Set (Loc 208) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 210)))) 178) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 211)))) 178) (Label 179) (If (BCall BoolNot (Cast Bool (Loc 208))) 177) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=))))) 264) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=))))) (Label 264) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) 335) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) (Label 335) (Set (Loc 360) (RElt 10 (Loc 210) 0)) (Set (Loc 361) (RElt 10 (Loc 211) 0)) (Label 328) (Set (Loc 358) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 360)))) 330) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 361)))) 330) (Label 331) (If (BCall BoolNot (Cast Bool (Loc 358))) 329) (If (CCall Word (EElt 11 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 29 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=)) 0 34 ~=) (RElt 10 (Loc 360) 0) (RElt 10 (Loc 361) 0)) 332) (Set (Loc 360) (RElt 10 (Loc 360) 1)) (Set (Loc 361) (RElt 10 (Loc 361) 1)) (Goto 328) (Label 332) (Set (Loc 362) (Cast Word (Bool 0))) (Label 336) (If (Cast Word (BCall BoolNot (Cast Bool (Loc 362)))) 180) (Set (Loc 210) (RElt 10 (Loc 210) 1)) (Set (Loc 211) (RElt 10 (Loc 211) 1)) (Goto 176) (Label 180) (Set (Loc 212) (Cast Word (Bool 0))) (Label 184) (If (Loc 212) 93) (Set (Loc 99) (Arr Char 114 101 100 99 114 105 116)) (Set (Loc 98) (Cast Word (SInt 1))) (Set (Loc 96) (Loc 98)) (Set (Loc 95) (Loc 96)) (Set (Loc 97) (Loc 95)) (Label 100) (Set (Loc 94) (Loc 97)) (Set (Loc 93) (Cast Word (AElt Char (BCall SIntMinus (Cast SInt (Loc 94)) (SInt 1)) (Loc 114)))) (If (Cast Word (BCall CharEQ (Cast Char (Loc 93)) (Char 0))) 99) (If (Cast Word (BCall CharNE (Cast Char (Loc 93)) (AElt Char (BCall SIntMinus (Cast SInt (Loc 94)) (SInt 1)) (Loc 99)))) 98) (Set (Loc 96) (Cast Word (BCall SIntPlus (Cast SInt (Loc 96)) (SInt 1)))) (Set (Loc 95) (Loc 96)) (Set (Loc 97) (Loc 95)) (Goto 100) (Label 98) (Set (Loc 100) (Cast Word (Bool 0))) (Label 101) (If (Loc 100) 95) (Set (Loc 107) (Arr Char 105 110 102 111)) (Set (Loc 106) (Cast Word (SInt 1))) (Set (Loc 104) (Loc 106)) (Set (Loc 103) (Loc 104)) (Set (Loc 105) (Loc 103)) (Label 104) (Set (Loc 102) (Loc 105)) (Set (Loc 101) (Cast Word (AElt Char (BCall SIntMinus (Cast SInt (Loc 102)) (SInt 1)) (Loc 114)))) (If (Cast Word (BCall CharEQ (Cast Char (Loc 101)) (Char 0))) 103) (If (Cast Word (BCall CharNE (Cast Char (Loc 101)) (AElt Char (BCall SIntMinus (Cast SInt (Loc 102)) (SInt 1)) (Loc 107)))) 102) (Set (Loc 104) (Cast Word (BCall SIntPlus (Cast SInt (Loc 104)) (SInt 1)))) (Set (Loc 103) (Loc 104)) (Set (Loc 105) (Loc 103)) (Goto 104) (Label 102) (Set (Loc 108) (Cast Word (Bool 0))) (Label 105) (If (Loc 108) 106) (Set (Loc 109) (CCall Word (Glo 23 lazyForceImport) (EElt 17 (CEnv (Lex 0 29 groebner)) 3 7 print))) (PCall C Word (Glo 24 fputs) (Arr Char 32 32 32) (Loc 109)) (PCall Other NOp (Glo 25 printNewLine) (Loc 109)) (Set (Loc 110) (CCall Word (Glo 23 lazyForceImport) (EElt 17 (CEnv (Lex 0 29 groebner)) 3 7 print))) (PCall C Word (Glo 24 fputs) (Arr Char 87 65 82 78 73 78 71 58 32 111 112 116 105 111 110 115 32 97 114 101 32 45 32 114 101 100 99 114 105 116 32 97 110 100 47 111 114 32 105 110 102 111 32 45 32) (Loc 110)) (PCall Other NOp (Glo 25 printNewLine) (Loc 110)) (Set (Loc 111) (CCall Word (Glo 23 lazyForceImport) (EElt 17 (CEnv (Lex 0 29 groebner)) 3 7 print))) (PCall C Word (Glo 24 fputs) (Arr Char 32 32 32 32 32 32 32 32 32 121 111 117 32 100 105 100 110 39 116 32 116 121 112 101 32 116 104 101 109 32 99 111 114 114 101 99 116) (Loc 111)) (PCall Other NOp (Glo 25 printNewLine) (Loc 111)) (Set (Loc 112) (CCall Word (Glo 23 lazyForceImport) (EElt 17 (CEnv (Lex 0 29 groebner)) 3 7 print))) (PCall C Word (Glo 24 fputs) (Arr Char 32 32 32 32 32 32 32 32 32 112 108 101 97 115 101 32 116 114 121 32 97 103 97 105 110) (Loc 112)) (PCall Other NOp (Glo 25 printNewLine) (Loc 112)) (Set (Loc 113) (CCall Word (Glo 23 lazyForceImport) (EElt 17 (CEnv (Lex 0 29 groebner)) 3 7 print))) (PCall C Word (Glo 24 fputs) (Arr Char 32 32 32) (Loc 113)) (PCall Other NOp (Glo 25 printNewLine) (Loc 113)) (Set (Loc 91) (ANew Word (SInt 0))) (Set (Loc 390 size) (SInt 0)) (Set (Loc 391 values) (Loc 91)) (Set (Loc 213) (Cast Word (Nil))) (Set (Loc 217) (Cast Word (Bool 0))) (Set (Loc 218) (Cast Word (Loc 390 size))) (Set (Loc 219) (Cast Word (SInt 1))) (Set (Loc 220) (Cast Word (SInt 1))) (Set (Loc 225) (Loc 217)) (Set (Loc 226) (Loc 218)) (Set (Loc 227) (Loc 219)) (Set (Loc 228) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 220))))) (Set (Loc 223) (Loc 226)) (Set (Loc 222) (Loc 227)) (Set (Loc 221) (Loc 228)) (If (Loc 225) 186) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 221)))) 188) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 221)) (SInt 0))) 187) (Label 185) (Set (Loc 224) (Loc 216)) (Set (Loc 90) (Loc 213)) (Label 97) (Set (Loc 89) (Loc 90)) (Label 96) (Set (Loc 87) (Loc 89)) (Label 94) (Set (Loc 85) (Loc 87)) (Label 92) (Set (Loc 115) (Loc 85)) (Set (Loc 3 base) (Loc 115)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (Lex 0 26 apply))))) 111) (CCall NOp (Cast Clos (EInfo (CEnv (Lex 0 26 apply))))) (Label 111) (Set (Loc 121) (CCall Word (Glo 7 lazyForceImport) (Lex 0 10 print))) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 3 base)))) 110) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40) (Loc 121)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 194) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 194) (Set (Loc 245) (RElt 10 (Loc 3 base) 0)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 245)))) 271) (Label 265) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 245)))) 195) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 269) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 269) (Set (Loc 332) (Loc 121)) (Set (Loc 330) (RElt 10 (Loc 245) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 330) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 339) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 330) 1)) (BInt 1))) 267) (PCall Other NOp (Glo 26 printBInt) (Loc 332) (Cast BInt (RElt 22 (Loc 330) 1))) (Set (Loc 331) (Loc 332)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 331)) (Label 268) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 332)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 332) (RElt 22 (Loc 330) 0)) (Label 270) (Set (Loc 245) (RElt 10 (Loc 245) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 245))))) 193) (Goto 265) (Label 193) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 121)) (Goto 265) (Label 267) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 332)) (Goto 268) (Label 339) (PCall Other NOp (Glo 26 printBInt) (Loc 332) (Cast BInt (RElt 22 (Loc 330) 1))) (Set (Loc 332) (Loc 332)) (Goto 270) (Label 195) (Set (Loc 119) (RElt 10 (Loc 3 base) 1)) (Label 109) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 119)))) 108) (Set (Loc 118) (RElt 10 (Loc 119) 0)) (Set (Loc 120) (Loc 118)) (Set (Loc 117) (Loc 120)) (PCall C Word (Glo 24 fputs) (Arr Char 44 32) (Loc 121)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 197) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 197) (Set (Loc 246) (Loc 117)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 246)))) 278) (Label 272) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 246)))) 198) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 276) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 276) (Set (Loc 335) (Loc 121)) (Set (Loc 333) (RElt 10 (Loc 246) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 333) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 342) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 333) 1)) (BInt 1))) 274) (PCall Other NOp (Glo 26 printBInt) (Loc 335) (Cast BInt (RElt 22 (Loc 333) 1))) (Set (Loc 334) (Loc 335)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 334)) (Label 275) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 335)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 335) (RElt 22 (Loc 333) 0)) (Label 277) (Set (Loc 246) (RElt 10 (Loc 246) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 246))))) 196) (Goto 272) (Label 196) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 121)) (Goto 272) (Label 274) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 335)) (Goto 275) (Label 342) (PCall Other NOp (Glo 26 printBInt) (Loc 335) (Cast BInt (RElt 22 (Loc 333) 1))) (Set (Loc 335) (Loc 335)) (Goto 277) (Label 198) (Set (Loc 119) (RElt 10 (Loc 119) 1)) (Goto 109) (Label 278) (PCall Other NOp (Glo 26 printBInt) (Loc 121) (BInt 0)) (Goto 198) (Label 108) (Set (Loc 120) (Loc 118)) (PCall C Word (Glo 24 fputs) (Arr Char 41) (Loc 121)) (Set (Loc 116) (Loc 121)) (Label 112) (PCall Other NOp (Glo 25 printNewLine) (Loc 116)) (Set (Loc 47) (SInt 955983687)) (Label 35) (Set (Loc 46) (BCall SIntPlusMod (Loc 47) (SInt 66014016) (SInt 1073741789))) (Label 34) (Set (Loc 49) (SInt 955983687)) (Label 37) (Set (Loc 48) (BCall SIntPlusMod (Loc 49) (SInt 66014016) (SInt 1073741789))) (Label 36) (Def (Lex 0 25 ^) (OCall Clos (Const 1 lazyFnGetter) (Env 0) (Lex 0 32 dom) (SInt 200135) (BCall SIntPlusMod (Loc 48) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (SInt 142471813) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 46) (SInt 74075968) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (Def (Lex 0 37 dom) (Lex 0 6 Integer)) (Def (Lex 0 18 integer) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 37 dom) (SInt 477900237) (SInt 816933037))) (Set (Loc 51) (SInt 955983687)) (Label 39) (Set (Loc 50) (BCall SIntPlusMod (Loc 51) (SInt 66014016) (SInt 1073741789))) (Label 38) (Set (Loc 53) (SInt 955983687)) (Label 41) (Set (Loc 52) (BCall SIntPlusMod (Loc 53) (SInt 66014016) (SInt 1073741789))) (Label 40) (Def (Lex 0 23 *) (OCall Clos (Const 1 lazyFnGetter) (Env 0) (Lex 0 32 dom) (SInt 200083) (BCall SIntPlusMod (Loc 52) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 50) (SInt 296696640) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (Lex 0 23 *))))) 125) (CCall NOp (Cast Clos (EInfo (CEnv (Lex 0 23 *))))) (Label 125) (Set (Loc 124) (CCall Word (Lex 0 25 ^) (Loc 10 x) (Cast Word (SInt 2)))) (Set (Loc 394 c) (Cast Word (BInt 3))) (Set (Loc 395 x) (Loc 124)) (If (Cast Word (BCall BIntEQ (Cast BInt (Loc 394 c)) (BInt 0))) 121) (If (Cast Word (BCall BIntEQ (Cast BInt (Loc 394 c)) (BInt 1))) 123) (Set (Loc 248) (Cast Word (Nil))) (Set (Loc 249) (Loc 248)) (Label 343) (Set (Loc 409 l) (Loc 395 x)) (Label 346) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 409 l)))) 344) (Set (Loc 363) (RElt 10 (Loc 409 l) 0)) (Set (Loc 410 value) (Loc 363)) (Set (Loc 397 u) (Loc 410 value)) (Set (Loc 396 a) (Cast Word (BCall BIntTimes (Cast BInt (Loc 394 c)) (Cast BInt (RElt 22 (Loc 397 u) 1))))) (If (Cast Word (BCall BIntNE (Cast BInt (Loc 396 a)) (BInt 0))) 279) (Label 345) (Set (Loc 409 l) (RElt 10 (Loc 409 l) 1)) (Goto 346) (Label 279) (Set (Loc 364) (RNew 22)) (Set (RElt 22 (Loc 364) 0) (RElt 22 (Loc 397 u) 0)) (Set (RElt 22 (Loc 364) 1) (Loc 396 a)) (Set (Loc 336) (Loc 364)) (Set (Loc 407 value) (Loc 336)) (Set (Loc 250) (Loc 407 value)) (Set (Loc 247) (Loc 248)) (Set (Loc 251) (RNew 10)) (Set (RElt 10 (Loc 251) 0) (Loc 250)) (Set (RElt 10 (Loc 251) 1) (Cast Word (Nil))) (Set (Loc 248) (Loc 251)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 247)))) 200) (Set (RElt 10 (Loc 247) 1) (Loc 248)) (Goto 345) (Label 200) (Set (Loc 249) (Loc 248)) (Goto 345) (Label 344) (Set (Loc 410 value) (Loc 363)) (Set (Loc 407 value) (Loc 336)) (Set (Loc 123) (Loc 249)) (Label 124) (Set (Loc 122) (Loc 123)) (Label 122) (Set (Loc 125) (Loc 122)) (Set (Loc 2 f1) (CCall Word (Lex 0 21 +) (CCall Word (Lex 0 22 -) (CCall Word (Lex 0 25 ^) (Loc 10 x) (Cast Word (SInt 4))) (CCall Word (Lex 0 20 *) (Loc 125) (CCall Word (Lex 0 25 ^) (Loc 9 y) (Cast Word (SInt 2))))) (CCall Word (Lex 0 25 ^) (Loc 9 y) (Cast Word (SInt 4))))) (Set (Loc 1 f2) (CCall Word (Lex 0 22 -) (CCall Word (Lex 0 20 *) (Loc 10 x) (CCall Word (Lex 0 25 ^) (Loc 9 y) (Cast Word (SInt 3)))) (CCall Word (Lex 0 20 *) (CCall Word (Lex 0 25 ^) (Loc 10 x) (Cast Word (SInt 3))) (Loc 9 y)))) (Set (Loc 54) (ANew Word (SInt 2))) (Set (Loc 379 size) (SInt 2)) (Set (Loc 380 values) (Loc 54)) (Set (AElt Word (SInt 0) (Loc 54)) (Loc 2 f1)) (Set (AElt Word (SInt 1) (Loc 54)) (Loc 1 f2)) (Set (Loc 126) (Cast Word (Nil))) (Set (Loc 130) (Cast Word (Bool 0))) (Set (Loc 131) (Cast Word (Loc 379 size))) (Set (Loc 132) (Cast Word (SInt 1))) (Set (Loc 133) (Cast Word (SInt 1))) (Set (Loc 138) (Loc 130)) (Set (Loc 139) (Loc 131)) (Set (Loc 140) (Loc 132)) (Set (Loc 141) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 133))))) (Set (Loc 136) (Loc 139)) (Set (Loc 135) (Loc 140)) (Set (Loc 134) (Loc 141)) (If (Loc 138) 127) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 134)))) 129) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 134)) (SInt 0))) 128) (Label 126) (Set (Loc 137) (Loc 129)) (Set (Loc 0 l2) (Loc 126)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (Lex 0 26 apply))))) 133) (CCall NOp (Cast Clos (EInfo (CEnv (Lex 0 26 apply))))) (Label 133) (Set (Loc 147) (CCall Word (Glo 7 lazyForceImport) (Lex 0 10 print))) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 0 l2)))) 132) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40) (Loc 147)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 203) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 203) (Set (Loc 252) (RElt 10 (Loc 0 l2) 0)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 252)))) 286) (Label 280) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 252)))) 204) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 284) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 284) (Set (Loc 339) (Loc 147)) (Set (Loc 337) (RElt 10 (Loc 252) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 337) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 349) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 337) 1)) (BInt 1))) 282) (PCall Other NOp (Glo 26 printBInt) (Loc 339) (Cast BInt (RElt 22 (Loc 337) 1))) (Set (Loc 338) (Loc 339)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 338)) (Label 283) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 339)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 339) (RElt 22 (Loc 337) 0)) (Label 285) (Set (Loc 252) (RElt 10 (Loc 252) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 252))))) 202) (Goto 280) (Label 202) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 147)) (Goto 280) (Label 282) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 339)) (Goto 283) (Label 349) (PCall Other NOp (Glo 26 printBInt) (Loc 339) (Cast BInt (RElt 22 (Loc 337) 1))) (Set (Loc 339) (Loc 339)) (Goto 285) (Label 204) (Set (Loc 145) (RElt 10 (Loc 0 l2) 1)) (Label 131) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 145)))) 130) (Set (Loc 144) (RElt 10 (Loc 145) 0)) (Set (Loc 146) (Loc 144)) (Set (Loc 143) (Loc 146)) (PCall C Word (Glo 24 fputs) (Arr Char 44 32) (Loc 147)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 206) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 206) (Set (Loc 253) (Loc 143)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 253)))) 293) (Label 287) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 253)))) 207) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 291) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 291) (Set (Loc 342) (Loc 147)) (Set (Loc 340) (RElt 10 (Loc 253) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 340) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 352) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 340) 1)) (BInt 1))) 289) (PCall Other NOp (Glo 26 printBInt) (Loc 342) (Cast BInt (RElt 22 (Loc 340) 1))) (Set (Loc 341) (Loc 342)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 341)) (Label 290) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 342)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 342) (RElt 22 (Loc 340) 0)) (Label 292) (Set (Loc 253) (RElt 10 (Loc 253) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 253))))) 205) (Goto 287) (Label 205) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 147)) (Goto 287) (Label 289) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 342)) (Goto 290) (Label 352) (PCall Other NOp (Glo 26 printBInt) (Loc 342) (Cast BInt (RElt 22 (Loc 340) 1))) (Set (Loc 342) (Loc 342)) (Goto 292) (Label 207) (Set (Loc 145) (RElt 10 (Loc 145) 1)) (Goto 131) (Label 293) (PCall Other NOp (Glo 26 printBInt) (Loc 147) (BInt 0)) (Goto 207) (Label 130) (Set (Loc 146) (Loc 144)) (PCall C Word (Glo 24 fputs) (Arr Char 41) (Loc 147)) (Set (Loc 142) (Loc 147)) (Label 134) (PCall Other NOp (Glo 25 printNewLine) (Loc 142)) (Set (Loc 57) (SInt 955983687)) (Label 44) (Set (Loc 56) (BCall SIntPlusMod (Loc 57) (SInt 66014016) (SInt 1073741789))) (Label 43) (Set (Loc 55) (BCall SIntPlusMod (Loc 56) (SInt 638488576) (SInt 1073741789))) (Label 42) (Set (Loc 60) (SInt 955983687)) (Label 47) (Set (Loc 59) (BCall SIntPlusMod (Loc 60) (SInt 66014016) (SInt 1073741789))) (Label 46) (Set (Loc 58) (BCall SIntPlusMod (Loc 59) (SInt 638488576) (SInt 1073741789))) (Label 45) (Def (Lex 0 28 groebner) (OCall Clos (Const 4 lazyFnGetter) (Env 0) (Lex 0 36 dom) (SInt 1058062236) (BCall SIntPlusMod (Loc 58) (BCall SIntShift (BCall SIntAnd (BCall SIntPlusMod (Loc 55) (SInt 74075968) (SInt 1073741789)) (SInt 16777215)) (SInt 6)) (SInt 1073741789)))) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (Lex 0 28 groebner))))) 145) (CCall NOp (Cast Clos (EInfo (CEnv (Lex 0 28 groebner))))) (Label 145) (Set (Loc 398 Pol) (Loc 0 l2)) (Set (Loc 149) (ANew Word (SInt 0))) (Set (Loc 400 size) (SInt 0)) (Set (Loc 401 values) (Loc 149)) (Set (Loc 254) (Cast Word (Nil))) (Set (Loc 258) (Cast Word (Bool 0))) (Set (Loc 259) (Cast Word (Loc 400 size))) (Set (Loc 260) (Cast Word (SInt 1))) (Set (Loc 261) (Cast Word (SInt 1))) (Set (Loc 266) (Loc 258)) (Set (Loc 267) (Loc 259)) (Set (Loc 268) (Loc 260)) (Set (Loc 269) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 261))))) (Set (Loc 264) (Loc 267)) (Set (Loc 263) (Loc 268)) (Set (Loc 262) (Loc 269)) (If (Loc 266) 209) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 262)))) 211) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 262)) (SInt 0))) 210) (Label 208) (Set (Loc 265) (Loc 257)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =))))) 219) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =))))) (Label 219) (Set (Loc 272) (Loc 398 Pol)) (Set (Loc 273) (Loc 254)) (Label 212) (Set (Loc 270) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 272)))) 214) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 273)))) 214) (Label 215) (If (BCall BoolNot (Cast Bool (Loc 270))) 213) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=))))) 294) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=))))) (Label 294) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) 360) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) (Label 360) (Set (Loc 367) (RElt 10 (Loc 272) 0)) (Set (Loc 368) (RElt 10 (Loc 273) 0)) (Label 353) (Set (Loc 365) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 367)))) 355) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 368)))) 355) (Label 356) (If (BCall BoolNot (Cast Bool (Loc 365))) 354) (If (CCall Word (EElt 11 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=)) 0 34 ~=) (RElt 10 (Loc 367) 0) (RElt 10 (Loc 368) 0)) 357) (Set (Loc 367) (RElt 10 (Loc 367) 1)) (Set (Loc 368) (RElt 10 (Loc 368) 1)) (Goto 353) (Label 357) (Set (Loc 369) (Cast Word (Bool 0))) (Label 361) (If (Cast Word (BCall BoolNot (Cast Bool (Loc 369)))) 216) (Set (Loc 272) (RElt 10 (Loc 272) 1)) (Set (Loc 273) (RElt 10 (Loc 273) 1)) (Goto 212) (Label 216) (Set (Loc 274) (Cast Word (Bool 0))) (Label 220) (If (Loc 274) 141) (Set (Loc 276) (Cast Word (Nil))) (Set (Loc 277) (Loc 276)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 14 generator))))) 362) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 14 generator))))) (Label 362) (Set (Loc 411 l) (Loc 398 Pol)) (Label 365) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 411 l)))) 363) (Set (Loc 370) (RElt 10 (Loc 411 l) 0)) (Set (Loc 412 value) (Loc 370)) (Set (Loc 399 x) (Loc 412 value)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 5 =))))) 366) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 5 =))))) (Label 366) (Set (Loc 371) (CCall Word (Glo 23 lazyForceImport) (EElt 14 (CEnv (Lex 0 28 groebner)) 0 6 \0))) (If (BCall BoolNot (CCall Word (EElt 8 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 5 =)) 0 26 =) (Loc 399 x) (Loc 371))) 295) (Label 364) (Set (Loc 411 l) (RElt 10 (Loc 411 l) 1)) (Goto 365) (Label 295) (Set (Loc 343) (Loc 399 x)) (Set (Loc 408 value) (Loc 343)) (Set (Loc 278) (Loc 408 value)) (Set (Loc 275) (Loc 276)) (Set (Loc 279) (RNew 10)) (Set (RElt 10 (Loc 279) 0) (Loc 278)) (Set (RElt 10 (Loc 279) 1) (Cast Word (Nil))) (Set (Loc 276) (Loc 279)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 275)))) 221) (Set (RElt 10 (Loc 275) 1) (Loc 276)) (Goto 364) (Label 221) (Set (Loc 277) (Loc 276)) (Goto 364) (Label 363) (Set (Loc 412 value) (Loc 370)) (Set (Loc 408 value) (Loc 343)) (Set (Loc 398 Pol) (Loc 277)) (Set (Loc 151) (ANew Word (SInt 0))) (Set (Loc 402 size) (SInt 0)) (Set (Loc 403 values) (Loc 151)) (Set (Loc 280) (Cast Word (Nil))) (Set (Loc 284) (Cast Word (Bool 0))) (Set (Loc 285) (Cast Word (Loc 402 size))) (Set (Loc 286) (Cast Word (SInt 1))) (Set (Loc 287) (Cast Word (SInt 1))) (Set (Loc 292) (Loc 284)) (Set (Loc 293) (Loc 285)) (Set (Loc 294) (Loc 286)) (Set (Loc 295) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 287))))) (Set (Loc 290) (Loc 293)) (Set (Loc 289) (Loc 294)) (Set (Loc 288) (Loc 295)) (If (Loc 292) 224) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 288)))) 226) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 288)) (SInt 0))) 225) (Label 223) (Set (Loc 291) (Loc 283)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =))))) 234) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =))))) (Label 234) (Set (Loc 298) (Loc 398 Pol)) (Set (Loc 299) (Loc 280)) (Label 227) (Set (Loc 296) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 298)))) 229) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 299)))) 229) (Label 230) (If (BCall BoolNot (Cast Bool (Loc 296))) 228) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=))))) 296) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=))))) (Label 296) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) 374) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=))))) (Label 374) (Set (Loc 374) (RElt 10 (Loc 298) 0)) (Set (Loc 375) (RElt 10 (Loc 299) 0)) (Label 367) (Set (Loc 372) (Bool 1)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 374)))) 369) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 375)))) 369) (Label 370) (If (BCall BoolNot (Cast Bool (Loc 372))) 368) (If (CCall Word (EElt 11 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (EElt 14 (CEnv (Lex 0 28 groebner)) 0 13 =)) 0 34 ~=)) 0 27 ~=)) 0 34 ~=) (RElt 10 (Loc 374) 0) (RElt 10 (Loc 375) 0)) 371) (Set (Loc 374) (RElt 10 (Loc 374) 1)) (Set (Loc 375) (RElt 10 (Loc 375) 1)) (Goto 367) (Label 371) (Set (Loc 376) (Cast Word (Bool 0))) (Label 375) (If (Cast Word (BCall BoolNot (Cast Bool (Loc 376)))) 231) (Set (Loc 298) (RElt 10 (Loc 298) 1)) (Set (Loc 299) (RElt 10 (Loc 299) 1)) (Goto 227) (Label 231) (Set (Loc 300) (Cast Word (Bool 0))) (Label 235) (If (Loc 300) 143) (Set (Loc 150) (CCall Word (EElt 14 (CEnv (Lex 0 28 groebner)) 0 12 minGbasis) (CCall Word (EElt 14 (CEnv (Lex 0 28 groebner)) 0 9 sort) (EElt 14 (CEnv (Lex 0 28 groebner)) 0 3 degreeOrder) (CCall Word (EElt 14 (CEnv (Lex 0 28 groebner)) 0 11 gbasis) (Loc 398 Pol) (Cast Word (BInt 0)) (Cast Word (BInt 0)))))) (Label 144) (Set (Loc 148) (Loc 150)) (Label 142) (Set (Loc 153) (Loc 148)) (Set (Loc 3 base) (Loc 153)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (Lex 0 26 apply))))) 149) (CCall NOp (Cast Clos (EInfo (CEnv (Lex 0 26 apply))))) (Label 149) (Set (Loc 159) (CCall Word (Glo 7 lazyForceImport) (Lex 0 10 print))) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 3 base)))) 148) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40) (Loc 159)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 241) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 241) (Set (Loc 317) (RElt 10 (Loc 3 base) 0)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 317)))) 303) (Label 297) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 317)))) 242) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 301) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 301) (Set (Loc 346) (Loc 159)) (Set (Loc 344) (RElt 10 (Loc 317) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 344) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 378) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 344) 1)) (BInt 1))) 299) (PCall Other NOp (Glo 26 printBInt) (Loc 346) (Cast BInt (RElt 22 (Loc 344) 1))) (Set (Loc 345) (Loc 346)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 345)) (Label 300) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 346)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 346) (RElt 22 (Loc 344) 0)) (Label 302) (Set (Loc 317) (RElt 10 (Loc 317) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 317))))) 240) (Goto 297) (Label 240) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 159)) (Goto 297) (Label 299) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 346)) (Goto 300) (Label 378) (PCall Other NOp (Glo 26 printBInt) (Loc 346) (Cast BInt (RElt 22 (Loc 344) 1))) (Set (Loc 346) (Loc 346)) (Goto 302) (Label 242) (Set (Loc 157) (RElt 10 (Loc 3 base) 1)) (Label 147) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 157)))) 146) (Set (Loc 156) (RElt 10 (Loc 157) 0)) (Set (Loc 158) (Loc 156)) (Set (Loc 155) (Loc 158)) (PCall C Word (Glo 24 fputs) (Arr Char 44 32) (Loc 159)) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) 244) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply))))) (Label 244) (Set (Loc 318) (Loc 155)) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 318)))) 310) (Label 304) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 318)))) 245) (If (BCall PtrIsNil (Cast Ptr (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) 308) (CCall NOp (Cast Clos (EInfo (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply))))) (Label 308) (Set (Loc 349) (Loc 159)) (Set (Loc 347) (RElt 10 (Loc 318) 0)) (If (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 6 =) (RElt 22 (Loc 347) 0) (CCall Word (Glo 23 lazyForceImport) (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 9 \0))) 381) (If (Cast Word (BCall BIntEQ (Cast BInt (RElt 22 (Loc 347) 1)) (BInt 1))) 306) (PCall Other NOp (Glo 26 printBInt) (Loc 349) (Cast BInt (RElt 22 (Loc 347) 1))) (Set (Loc 348) (Loc 349)) (PCall C Word (Glo 24 fputs) (Arr Char 42 88) (Loc 348)) (Label 307) (PCall C Word (Glo 24 fputs) (Arr Char 94) (Loc 349)) (CCall Word (EElt 26 (CEnv (EElt 8 (CEnv (EElt 11 (CEnv (Lex 0 26 apply)) 0 35 apply)) 0 40 apply)) 0 8 apply) (Loc 349) (RElt 22 (Loc 347) 0)) (Label 309) (Set (Loc 318) (RElt 10 (Loc 318) 1)) (If (BCall BoolNot (Cast Word (BCall PtrIsNil (Cast Ptr (Loc 318))))) 243) (Goto 304) (Label 243) (PCall C Word (Glo 24 fputs) (Arr Char 32 43 32) (Loc 159)) (Goto 304) (Label 306) (PCall C Word (Glo 24 fputs) (Arr Char 88) (Loc 349)) (Goto 307) (Label 381) (PCall Other NOp (Glo 26 printBInt) (Loc 349) (Cast BInt (RElt 22 (Loc 347) 1))) (Set (Loc 349) (Loc 349)) (Goto 309) (Label 245) (Set (Loc 157) (RElt 10 (Loc 157) 1)) (Goto 147) (Label 310) (PCall Other NOp (Glo 26 printBInt) (Loc 159) (BInt 0)) (Goto 245) (Label 146) (Set (Loc 158) (Loc 156)) (PCall C Word (Glo 24 fputs) (Arr Char 41) (Loc 159)) (Set (Loc 154) (Loc 159)) (Label 150) (PCall Other NOp (Glo 25 printNewLine) (Loc 154)) (Return (Nil)) (Label 303) (PCall Other NOp (Glo 26 printBInt) (Loc 159) (BInt 0)) (Goto 242) (Label 148) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40 41) (Loc 159)) (Set (Loc 154) (Loc 159)) (Goto 150) (Label 143) (Set (Loc 152) (ANew Word (SInt 1))) (Set (Loc 404 size) (SInt 1)) (Set (Loc 405 values) (Loc 152)) (Set (AElt Word (SInt 0) (Loc 152)) (CCall Word (Glo 23 lazyForceImport) (EElt 14 (CEnv (Lex 0 28 groebner)) 0 6 \0))) (Set (Loc 301) (Cast Word (Nil))) (Set (Loc 305) (Cast Word (Bool 0))) (Set (Loc 306) (Cast Word (Loc 404 size))) (Set (Loc 307) (Cast Word (SInt 1))) (Set (Loc 308) (Cast Word (SInt 1))) (Set (Loc 313) (Loc 305)) (Set (Loc 314) (Loc 306)) (Set (Loc 315) (Loc 307)) (Set (Loc 316) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 308))))) (Set (Loc 311) (Loc 314)) (Set (Loc 310) (Loc 315)) (Set (Loc 309) (Loc 316)) (If (Loc 313) 237) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 309)))) 239) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 309)) (SInt 0))) 238) (Label 236) (Set (Loc 312) (Loc 304)) (Set (Loc 150) (Loc 301)) (Goto 144) (Label 238) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 310)) (Cast SInt (Loc 311)))) 236) (Set (Loc 304) (Loc 311)) (Set (Loc 312) (Loc 304)) (Set (Loc 302) (Loc 312)) (Set (Loc 303) (RNew 10)) (Set (RElt 10 (Loc 303) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 302))) (Loc 405 values))) (Set (RElt 10 (Loc 303) 1) (Loc 301)) (Set (Loc 301) (Loc 303)) (Set (Loc 311) (Cast Word (BCall SIntPlus (Cast SInt (Loc 311)) (Cast SInt (Loc 309))))) (Goto 238) (Label 239) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 311)) (Cast SInt (Loc 310)))) 236) (Set (Loc 304) (Loc 311)) (Set (Loc 312) (Loc 304)) (Set (Loc 302) (Loc 312)) (Set (Loc 303) (RNew 10)) (Set (RElt 10 (Loc 303) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 302))) (Loc 405 values))) (Set (RElt 10 (Loc 303) 1) (Loc 301)) (Set (Loc 301) (Loc 303)) (Set (Loc 311) (Cast Word (BCall SIntPlus (Cast SInt (Loc 311)) (Cast SInt (Loc 309))))) (Goto 239) (Label 237) (Set (Loc 304) (Loc 311)) (Set (Loc 312) (Loc 304)) (Set (Loc 302) (Loc 312)) (Set (Loc 303) (RNew 10)) (Set (RElt 10 (Loc 303) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 302))) (Loc 405 values))) (Set (RElt 10 (Loc 303) 1) (Loc 301)) (Set (Loc 301) (Loc 303)) (Set (Loc 311) (Cast Word (BCall SIntPlus (Cast SInt (Loc 311)) (Cast SInt (Loc 309))))) (Goto 237) (Label 368) (Set (Loc 373) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 374)))) 372) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 375)))) 372) (Label 373) (Set (Loc 376) (Loc 373)) (Goto 375) (Label 372) (Set (Loc 373) (Bool 0)) (Goto 373) (Label 369) (Set (Loc 372) (Bool 0)) (Goto 370) (Label 228) (Set (Loc 297) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 298)))) 232) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 299)))) 232) (Label 233) (Set (Loc 300) (Loc 297)) (Goto 235) (Label 232) (Set (Loc 297) (Bool 0)) (Goto 233) (Label 229) (Set (Loc 296) (Bool 0)) (Goto 230) (Label 225) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 289)) (Cast SInt (Loc 290)))) 223) (Set (Loc 283) (Loc 290)) (Set (Loc 291) (Loc 283)) (Set (Loc 281) (Loc 291)) (Set (Loc 282) (RNew 10)) (Set (RElt 10 (Loc 282) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 281))) (Loc 403 values))) (Set (RElt 10 (Loc 282) 1) (Loc 280)) (Set (Loc 280) (Loc 282)) (Set (Loc 290) (Cast Word (BCall SIntPlus (Cast SInt (Loc 290)) (Cast SInt (Loc 288))))) (Goto 225) (Label 226) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 290)) (Cast SInt (Loc 289)))) 223) (Set (Loc 283) (Loc 290)) (Set (Loc 291) (Loc 283)) (Set (Loc 281) (Loc 291)) (Set (Loc 282) (RNew 10)) (Set (RElt 10 (Loc 282) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 281))) (Loc 403 values))) (Set (RElt 10 (Loc 282) 1) (Loc 280)) (Set (Loc 280) (Loc 282)) (Set (Loc 290) (Cast Word (BCall SIntPlus (Cast SInt (Loc 290)) (Cast SInt (Loc 288))))) (Goto 226) (Label 224) (Set (Loc 283) (Loc 290)) (Set (Loc 291) (Loc 283)) (Set (Loc 281) (Loc 291)) (Set (Loc 282) (RNew 10)) (Set (RElt 10 (Loc 282) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 281))) (Loc 403 values))) (Set (RElt 10 (Loc 282) 1) (Loc 280)) (Set (Loc 280) (Loc 282)) (Set (Loc 290) (Cast Word (BCall SIntPlus (Cast SInt (Loc 290)) (Cast SInt (Loc 288))))) (Goto 224) (Label 141) (Set (Loc 148) (Loc 398 Pol)) (Goto 142) (Label 354) (Set (Loc 366) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 367)))) 358) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 368)))) 358) (Label 359) (Set (Loc 369) (Loc 366)) (Goto 361) (Label 358) (Set (Loc 366) (Bool 0)) (Goto 359) (Label 355) (Set (Loc 365) (Bool 0)) (Goto 356) (Label 213) (Set (Loc 271) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 272)))) 217) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 273)))) 217) (Label 218) (Set (Loc 274) (Loc 271)) (Goto 220) (Label 217) (Set (Loc 271) (Bool 0)) (Goto 218) (Label 214) (Set (Loc 270) (Bool 0)) (Goto 215) (Label 210) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 263)) (Cast SInt (Loc 264)))) 208) (Set (Loc 257) (Loc 264)) (Set (Loc 265) (Loc 257)) (Set (Loc 255) (Loc 265)) (Set (Loc 256) (RNew 10)) (Set (RElt 10 (Loc 256) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 255))) (Loc 401 values))) (Set (RElt 10 (Loc 256) 1) (Loc 254)) (Set (Loc 254) (Loc 256)) (Set (Loc 264) (Cast Word (BCall SIntPlus (Cast SInt (Loc 264)) (Cast SInt (Loc 262))))) (Goto 210) (Label 211) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 264)) (Cast SInt (Loc 263)))) 208) (Set (Loc 257) (Loc 264)) (Set (Loc 265) (Loc 257)) (Set (Loc 255) (Loc 265)) (Set (Loc 256) (RNew 10)) (Set (RElt 10 (Loc 256) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 255))) (Loc 401 values))) (Set (RElt 10 (Loc 256) 1) (Loc 254)) (Set (Loc 254) (Loc 256)) (Set (Loc 264) (Cast Word (BCall SIntPlus (Cast SInt (Loc 264)) (Cast SInt (Loc 262))))) (Goto 211) (Label 209) (Set (Loc 257) (Loc 264)) (Set (Loc 265) (Loc 257)) (Set (Loc 255) (Loc 265)) (Set (Loc 256) (RNew 10)) (Set (RElt 10 (Loc 256) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 255))) (Loc 401 values))) (Set (RElt 10 (Loc 256) 1) (Loc 254)) (Set (Loc 254) (Loc 256)) (Set (Loc 264) (Cast Word (BCall SIntPlus (Cast SInt (Loc 264)) (Cast SInt (Loc 262))))) (Goto 209) (Label 138) (Set (Loc 60) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 47) (Label 139) (Set (Loc 59) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 46) (Label 140) (Set (Loc 58) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 8 List) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))))) (Goto 45) (Label 135) (Set (Loc 57) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 44) (Label 136) (Set (Loc 56) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 43) (Label 137) (Set (Loc 55) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 8 List) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))))) (Goto 42) (Label 286) (PCall Other NOp (Glo 26 printBInt) (Loc 147) (BInt 0)) (Goto 204) (Label 132) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40 41) (Loc 147)) (Set (Loc 142) (Loc 147)) (Goto 134) (Label 128) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 135)) (Cast SInt (Loc 136)))) 126) (Set (Loc 129) (Loc 136)) (Set (Loc 137) (Loc 129)) (Set (Loc 127) (Loc 137)) (Set (Loc 128) (RNew 10)) (Set (RElt 10 (Loc 128) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 127))) (Loc 380 values))) (Set (RElt 10 (Loc 128) 1) (Loc 126)) (Set (Loc 126) (Loc 128)) (Set (Loc 136) (Cast Word (BCall SIntPlus (Cast SInt (Loc 136)) (Cast SInt (Loc 134))))) (Goto 128) (Label 129) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 136)) (Cast SInt (Loc 135)))) 126) (Set (Loc 129) (Loc 136)) (Set (Loc 137) (Loc 129)) (Set (Loc 127) (Loc 137)) (Set (Loc 128) (RNew 10)) (Set (RElt 10 (Loc 128) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 127))) (Loc 380 values))) (Set (RElt 10 (Loc 128) 1) (Loc 126)) (Set (Loc 126) (Loc 128)) (Set (Loc 136) (Cast Word (BCall SIntPlus (Cast SInt (Loc 136)) (Cast SInt (Loc 134))))) (Goto 129) (Label 127) (Set (Loc 129) (Loc 136)) (Set (Loc 137) (Loc 129)) (Set (Loc 127) (Loc 137)) (Set (Loc 128) (RNew 10)) (Set (RElt 10 (Loc 128) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 127))) (Loc 380 values))) (Set (RElt 10 (Loc 128) 1) (Loc 126)) (Set (Loc 126) (Loc 128)) (Set (Loc 136) (Cast Word (BCall SIntPlus (Cast SInt (Loc 136)) (Cast SInt (Loc 134))))) (Goto 127) (Label 123) (Set (Loc 123) (Loc 395 x)) (Goto 124) (Label 121) (Set (Loc 122) (EElt 8 (CEnv (Lex 0 23 *)) 0 25 \0)) (Goto 122) (Label 119) (Set (Loc 53) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 41) (Label 120) (Set (Loc 52) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 40) (Label 117) (Set (Loc 51) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 39) (Label 118) (Set (Loc 50) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 38) (Label 115) (Set (Loc 49) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 37) (Label 116) (Set (Loc 48) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 36) (Label 113) (Set (Loc 47) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 35) (Label 114) (Set (Loc 46) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 34) (Label 271) (PCall Other NOp (Glo 26 printBInt) (Loc 121) (BInt 0)) (Goto 195) (Label 110) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40 41) (Loc 121)) (Set (Loc 116) (Loc 121)) (Goto 112) (Label 187) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 222)) (Cast SInt (Loc 223)))) 185) (Set (Loc 216) (Loc 223)) (Set (Loc 224) (Loc 216)) (Set (Loc 214) (Loc 224)) (Set (Loc 215) (RNew 10)) (Set (RElt 10 (Loc 215) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 214))) (Loc 391 values))) (Set (RElt 10 (Loc 215) 1) (Loc 213)) (Set (Loc 213) (Loc 215)) (Set (Loc 223) (Cast Word (BCall SIntPlus (Cast SInt (Loc 223)) (Cast SInt (Loc 221))))) (Goto 187) (Label 188) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 223)) (Cast SInt (Loc 222)))) 185) (Set (Loc 216) (Loc 223)) (Set (Loc 224) (Loc 216)) (Set (Loc 214) (Loc 224)) (Set (Loc 215) (RNew 10)) (Set (RElt 10 (Loc 215) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 214))) (Loc 391 values))) (Set (RElt 10 (Loc 215) 1) (Loc 213)) (Set (Loc 213) (Loc 215)) (Set (Loc 223) (Cast Word (BCall SIntPlus (Cast SInt (Loc 223)) (Cast SInt (Loc 221))))) (Goto 188) (Label 186) (Set (Loc 216) (Loc 223)) (Set (Loc 224) (Loc 216)) (Set (Loc 214) (Loc 224)) (Set (Loc 215) (RNew 10)) (Set (RElt 10 (Loc 215) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 214))) (Loc 391 values))) (Set (RElt 10 (Loc 215) 1) (Loc 213)) (Set (Loc 213) (Loc 215)) (Set (Loc 223) (Cast Word (BCall SIntPlus (Cast SInt (Loc 223)) (Cast SInt (Loc 221))))) (Goto 186) (Label 106) (Set (Loc 90) (CCall Word (EElt 14 (CEnv (Lex 0 29 groebner)) 0 12 minGbasis) (CCall Word (EElt 14 (CEnv (Lex 0 29 groebner)) 0 9 sort) (EElt 14 (CEnv (Lex 0 29 groebner)) 0 3 degreeOrder) (CCall Word (EElt 14 (CEnv (Lex 0 29 groebner)) 0 11 gbasis) (Loc 381 Pol) (Cast Word (BInt 2)) (Cast Word (BInt 1)))))) (Goto 97) (Label 103) (Set (Loc 108) (Cast Word (BCall CharEQ (AElt Char (BCall SIntMinus (Cast SInt (Loc 102)) (SInt 1)) (Loc 107)) (Cast Char (Loc 101))))) (Goto 105) (Label 95) (Set (Loc 89) (CCall Word (EElt 14 (CEnv (Lex 0 29 groebner)) 0 12 minGbasis) (CCall Word (EElt 14 (CEnv (Lex 0 29 groebner)) 0 9 sort) (EElt 14 (CEnv (Lex 0 29 groebner)) 0 3 degreeOrder) (CCall Word (EElt 14 (CEnv (Lex 0 29 groebner)) 0 11 gbasis) (Loc 381 Pol) (Cast Word (BInt 1)) (Cast Word (BInt 0)))))) (Goto 96) (Label 99) (Set (Loc 100) (Cast Word (BCall CharEQ (AElt Char (BCall SIntMinus (Cast SInt (Loc 94)) (SInt 1)) (Loc 99)) (Cast Char (Loc 93))))) (Goto 101) (Label 93) (Set (Loc 92) (ANew Word (SInt 1))) (Set (Loc 392 size) (SInt 1)) (Set (Loc 393 values) (Loc 92)) (Set (AElt Word (SInt 0) (Loc 92)) (CCall Word (Glo 23 lazyForceImport) (EElt 14 (CEnv (Lex 0 29 groebner)) 0 6 \0))) (Set (Loc 229) (Cast Word (Nil))) (Set (Loc 233) (Cast Word (Bool 0))) (Set (Loc 234) (Cast Word (Loc 392 size))) (Set (Loc 235) (Cast Word (SInt 1))) (Set (Loc 236) (Cast Word (SInt 1))) (Set (Loc 241) (Loc 233)) (Set (Loc 242) (Loc 234)) (Set (Loc 243) (Loc 235)) (Set (Loc 244) (Cast Word (BCall SIntTimes (SInt -1) (Cast SInt (Loc 236))))) (Set (Loc 239) (Loc 242)) (Set (Loc 238) (Loc 243)) (Set (Loc 237) (Loc 244)) (If (Loc 241) 190) (If (Cast Word (BCall SIntLE (SInt 0) (Cast SInt (Loc 237)))) 192) (If (Cast Word (BCall SIntLT (Cast SInt (Loc 237)) (SInt 0))) 191) (Label 189) (Set (Loc 240) (Loc 232)) (Set (Loc 87) (Loc 229)) (Goto 94) (Label 191) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 238)) (Cast SInt (Loc 239)))) 189) (Set (Loc 232) (Loc 239)) (Set (Loc 240) (Loc 232)) (Set (Loc 230) (Loc 240)) (Set (Loc 231) (RNew 10)) (Set (RElt 10 (Loc 231) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 230))) (Loc 393 values))) (Set (RElt 10 (Loc 231) 1) (Loc 229)) (Set (Loc 229) (Loc 231)) (Set (Loc 239) (Cast Word (BCall SIntPlus (Cast SInt (Loc 239)) (Cast SInt (Loc 237))))) (Goto 191) (Label 192) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 239)) (Cast SInt (Loc 238)))) 189) (Set (Loc 232) (Loc 239)) (Set (Loc 240) (Loc 232)) (Set (Loc 230) (Loc 240)) (Set (Loc 231) (RNew 10)) (Set (RElt 10 (Loc 231) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 230))) (Loc 393 values))) (Set (RElt 10 (Loc 231) 1) (Loc 229)) (Set (Loc 229) (Loc 231)) (Set (Loc 239) (Cast Word (BCall SIntPlus (Cast SInt (Loc 239)) (Cast SInt (Loc 237))))) (Goto 192) (Label 190) (Set (Loc 232) (Loc 239)) (Set (Loc 240) (Loc 232)) (Set (Loc 230) (Loc 240)) (Set (Loc 231) (RNew 10)) (Set (RElt 10 (Loc 231) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 230))) (Loc 393 values))) (Set (RElt 10 (Loc 231) 1) (Loc 229)) (Set (Loc 229) (Loc 231)) (Set (Loc 239) (Cast Word (BCall SIntPlus (Cast SInt (Loc 239)) (Cast SInt (Loc 237))))) (Goto 190) (Label 329) (Set (Loc 359) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 360)))) 333) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 361)))) 333) (Label 334) (Set (Loc 362) (Loc 359)) (Goto 336) (Label 333) (Set (Loc 359) (Bool 0)) (Goto 334) (Label 330) (Set (Loc 358) (Bool 0)) (Goto 331) (Label 177) (Set (Loc 209) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 210)))) 181) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 211)))) 181) (Label 182) (Set (Loc 212) (Loc 209)) (Goto 184) (Label 181) (Set (Loc 209) (Bool 0)) (Goto 182) (Label 178) (Set (Loc 208) (Bool 0)) (Goto 179) (Label 174) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 201)) (Cast SInt (Loc 202)))) 172) (Set (Loc 195) (Loc 202)) (Set (Loc 203) (Loc 195)) (Set (Loc 193) (Loc 203)) (Set (Loc 194) (RNew 10)) (Set (RElt 10 (Loc 194) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 193))) (Loc 389 values))) (Set (RElt 10 (Loc 194) 1) (Loc 192)) (Set (Loc 192) (Loc 194)) (Set (Loc 202) (Cast Word (BCall SIntPlus (Cast SInt (Loc 202)) (Cast SInt (Loc 200))))) (Goto 174) (Label 175) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 202)) (Cast SInt (Loc 201)))) 172) (Set (Loc 195) (Loc 202)) (Set (Loc 203) (Loc 195)) (Set (Loc 193) (Loc 203)) (Set (Loc 194) (RNew 10)) (Set (RElt 10 (Loc 194) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 193))) (Loc 389 values))) (Set (RElt 10 (Loc 194) 1) (Loc 192)) (Set (Loc 192) (Loc 194)) (Set (Loc 202) (Cast Word (BCall SIntPlus (Cast SInt (Loc 202)) (Cast SInt (Loc 200))))) (Goto 175) (Label 173) (Set (Loc 195) (Loc 202)) (Set (Loc 203) (Loc 195)) (Set (Loc 193) (Loc 203)) (Set (Loc 194) (RNew 10)) (Set (RElt 10 (Loc 194) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 193))) (Loc 389 values))) (Set (RElt 10 (Loc 194) 1) (Loc 192)) (Set (Loc 192) (Loc 194)) (Set (Loc 202) (Cast Word (BCall SIntPlus (Cast SInt (Loc 202)) (Cast SInt (Loc 200))))) (Goto 173) (Label 91) (Set (Loc 85) (Loc 381 Pol)) (Goto 92) (Label 318) (Set (Loc 351) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 352)))) 322) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 353)))) 322) (Label 323) (Set (Loc 354) (Loc 351)) (Goto 325) (Label 322) (Set (Loc 351) (Bool 0)) (Goto 323) (Label 319) (Set (Loc 350) (Bool 0)) (Goto 320) (Label 162) (Set (Loc 183) (Bool 1)) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 184)))) 166) (If (BCall BoolNot (BCall PtrIsNil (Cast Ptr (Loc 185)))) 166) (Label 167) (Set (Loc 186) (Loc 183)) (Goto 169) (Label 166) (Set (Loc 183) (Bool 0)) (Goto 167) (Label 163) (Set (Loc 182) (Bool 0)) (Goto 164) (Label 159) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 175)) (Cast SInt (Loc 176)))) 157) (Set (Loc 169) (Loc 176)) (Set (Loc 177) (Loc 169)) (Set (Loc 167) (Loc 177)) (Set (Loc 168) (RNew 10)) (Set (RElt 10 (Loc 168) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 167))) (Loc 387 values))) (Set (RElt 10 (Loc 168) 1) (Loc 166)) (Set (Loc 166) (Loc 168)) (Set (Loc 176) (Cast Word (BCall SIntPlus (Cast SInt (Loc 176)) (Cast SInt (Loc 174))))) (Goto 159) (Label 160) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 176)) (Cast SInt (Loc 175)))) 157) (Set (Loc 169) (Loc 176)) (Set (Loc 177) (Loc 169)) (Set (Loc 167) (Loc 177)) (Set (Loc 168) (RNew 10)) (Set (RElt 10 (Loc 168) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 167))) (Loc 387 values))) (Set (RElt 10 (Loc 168) 1) (Loc 166)) (Set (Loc 166) (Loc 168)) (Set (Loc 176) (Cast Word (BCall SIntPlus (Cast SInt (Loc 176)) (Cast SInt (Loc 174))))) (Goto 160) (Label 158) (Set (Loc 169) (Loc 176)) (Set (Loc 177) (Loc 169)) (Set (Loc 167) (Loc 177)) (Set (Loc 168) (RNew 10)) (Set (RElt 10 (Loc 168) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 167))) (Loc 387 values))) (Set (RElt 10 (Loc 168) 1) (Loc 166)) (Set (Loc 166) (Loc 168)) (Set (Loc 176) (Cast Word (BCall SIntPlus (Cast SInt (Loc 176)) (Cast SInt (Loc 174))))) (Goto 158) (Label 88) (Set (Loc 45) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 33) (Label 89) (Set (Loc 44) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 32) (Label 90) (Set (Loc 43) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 8 List) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))))) (Goto 31) (Label 85) (Set (Loc 42) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 30) (Label 86) (Set (Loc 41) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 29) (Label 87) (Set (Loc 40) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 8 List) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))))) (Goto 28) (Label 252) (PCall Other NOp (Glo 26 printBInt) (Loc 84) (BInt 0)) (Goto 153) (Label 82) (PCall C Word (Glo 24 fputs) (Arr Char 108 105 115 116 40 41) (Loc 84)) (Set (Loc 79) (Loc 84)) (Goto 84) (Label 77) (Set (Loc 39) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 27) (Label 78) (Set (Loc 38) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 26) (Label 79) (Set (Loc 37) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 8 List) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))))) (Goto 25) (Label 75) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 72)) (Cast SInt (Loc 73)))) 73) (Set (Loc 66) (Loc 73)) (Set (Loc 74) (Loc 66)) (Set (Loc 64) (Loc 74)) (Set (Loc 65) (RNew 10)) (Set (RElt 10 (Loc 65) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 64))) (Loc 378 values))) (Set (RElt 10 (Loc 65) 1) (Loc 63)) (Set (Loc 63) (Loc 65)) (Set (Loc 73) (Cast Word (BCall SIntPlus (Cast SInt (Loc 73)) (Cast SInt (Loc 71))))) (Goto 75) (Label 76) (If (BCall BoolNot (BCall SIntLE (Cast SInt (Loc 73)) (Cast SInt (Loc 72)))) 73) (Set (Loc 66) (Loc 73)) (Set (Loc 74) (Loc 66)) (Set (Loc 64) (Loc 74)) (Set (Loc 65) (RNew 10)) (Set (RElt 10 (Loc 65) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 64))) (Loc 378 values))) (Set (RElt 10 (Loc 65) 1) (Loc 63)) (Set (Loc 63) (Loc 65)) (Set (Loc 73) (Cast Word (BCall SIntPlus (Cast SInt (Loc 73)) (Cast SInt (Loc 71))))) (Goto 76) (Label 74) (Set (Loc 66) (Loc 73)) (Set (Loc 74) (Loc 66)) (Set (Loc 64) (Loc 74)) (Set (Loc 65) (RNew 10)) (Set (RElt 10 (Loc 65) 0) (AElt Word (BCall SIntPrev (Cast SInt (Loc 64))) (Loc 378 values))) (Set (RElt 10 (Loc 65) 1) (Loc 63)) (Set (Loc 63) (Loc 65)) (Set (Loc 73) (Cast Word (BCall SIntPlus (Cast SInt (Loc 73)) (Cast SInt (Loc 71))))) (Goto 74) (Label 70) (Set (Loc 36) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 24) (Label 71) (Set (Loc 35) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 23) (Label 72) (Set (Loc 34) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 8 List) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))))) (Goto 22) (Label 68) (Set (Loc 32) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 21) (Label 69) (Set (Loc 31) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 20) (Label 66) (Set (Loc 30) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 19) (Label 67) (Set (Loc 29) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 18) (Label 64) (Set (Loc 28) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 17) (Label 65) (Set (Loc 27) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 16) (Label 62) (Set (Loc 26) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 15) (Label 63) (Set (Loc 25) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 14) (Label 60) (Set (Loc 24) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 13) (Label 61) (Set (Loc 23) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 12) (Label 58) (Set (Loc 22) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 11) (Label 59) (Set (Loc 21) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 10) (Label 56) (Set (Loc 20) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 9) (Label 57) (Set (Loc 19) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 8) (Label 54) (Set (Loc 18) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 7) (Label 55) (Set (Loc 17) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 6) (Label 52) (Set (Loc 16) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 5) (Label 53) (Set (Loc 15) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 4) (Label 50) (Set (Loc 14) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 3) (Label 51) (Set (Loc 13) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 13 Polynomial) (Lex 0 6 Integer) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2)))))) (Goto 2) (Label 49) (Set (Loc 12) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 1) (Label 48) (Set (Loc 11) (CCall SInt (Glo 5 domainHash!) (CCall Word (Lex 0 14 HomogeneousDirectProduct) (Cast Word (SInt 2))))) (Goto 0)))) (Def (Const 1 lazyFnGetter) (Prog 0 0 Clos 0 8 (DDecl (Decl Word "domain" Foam -1 4) (Decl Word "name" Foam -1 4) (Decl Word "type" Foam -1 4)) (DDecl) (DFluid) (DEnv 6 7) (Seq (Def (Lex 0 0 domain) (Par 0 domain)) (Def (Lex 0 1 name) (Par 1 name)) (Def (Lex 0 2 type) (Par 2 type)) (Set (Lex 0 3 flag) (Bool 0)) (Set (Lex 0 4 self) (Clos (Env 0) (Const 2 lazyGetter))) (Set (EInfo (Env 0)) (Clos (Env 0) (Const 3 lazyGetter2))) (Return (Lex 0 4 self))))) (Def (Const 2 lazyGetter) (Prog 0 1 Word 0 2 (DDecl (Decl Word "a" Foam -1 4) (Decl Word "b" Foam -1 4)) (DDecl (Decl Clos "" Foam -1 4)) (DFluid) (DEnv 4 6 7) (Seq (If (Lex 1 3 flag) 0) (Set (Loc 0) (CCall Word (Glo 22 domainGetExport!) (Lex 1 0 domain) (Lex 1 1 name) (Lex 1 2 type))) (Set (Lex 1 3 flag) (Bool 1)) (Set (CEnv (Lex 1 4 self)) (CEnv (Loc 0))) (Set (CProg (Lex 1 4 self)) (CProg (Loc 0))) (Label 0) (Return (CCall Word (Lex 1 4 self) (Par 0 a) (Par 1 b)))))) (Def (Const 3 lazyGetter2) (Prog 0 1 NOp 0 10 (DDecl) (DDecl (Decl Clos "" Foam -1 4)) (DFluid) (DEnv 4 6 7) (Seq (If (Lex 1 3 flag) 0) (Set (Loc 0) (CCall Word (Glo 22 domainGetExport!) (Lex 1 0 domain) (Lex 1 1 name) (Lex 1 2 type))) (Set (Lex 1 3 flag) (Bool 1)) (Set (CEnv (Lex 1 4 self)) (CEnv (Loc 0))) (Set (CProg (Lex 1 4 self)) (CProg (Loc 0))) (Set (EInfo (Env 1)) (Nil)) (Label 0) (Return (Values))))) (Def (Const 4 lazyFnGetter) (Prog 0 0 Clos 0 8 (DDecl (Decl Word "domain" Foam -1 4) (Decl Word "name" Foam -1 4) (Decl Word "type" Foam -1 4)) (DDecl) (DFluid) (DEnv 6 7) (Seq (Def (Lex 0 0 domain) (Par 0 domain)) (Def (Lex 0 1 name) (Par 1 name)) (Def (Lex 0 2 type) (Par 2 type)) (Set (Lex 0 3 flag) (Bool 0)) (Set (Lex 0 4 self) (Clos (Env 0) (Const 5 lazyGetter))) (Set (EInfo (Env 0)) (Clos (Env 0) (Const 3 lazyGetter2))) (Return (Lex 0 4 self))))) (Def (Const 5 lazyGetter) (Prog 0 1 Word 0 2 (DDecl (Decl Word "a" Foam -1 4)) (DDecl (Decl Clos "" Foam -1 4)) (DFluid) (DEnv 4 6 7) (Seq (If (Lex 1 3 flag) 0) (Set (Loc 0) (CCall Word (Glo 22 domainGetExport!) (Lex 1 0 domain) (Lex 1 1 name) (Lex 1 2 type))) (Set (Lex 1 3 flag) (Bool 1)) (Set (CEnv (Lex 1 4 self)) (CEnv (Loc 0))) (Set (CProg (Lex 1 4 self)) (CProg (Loc 0))) (Label 0) (Return (CCall Word (Lex 1 4 self) (Par 0 a)))))) (Def (Const 6 generBaseFn) (Prog 0 0 NOp 23 17 (DDecl) (DDecl) (DFluid) (DEnv 28 27 0 4 4 4) (Seq (Set (Lex 0 1 place) (SInt 0)) (Return (Values (Clos (Env 0) (Const 7 generDone?)) (Clos (Env 0) (Const 8 generStepper)) (Clos (Env 0) (Const 9 generValue)) (Clos (Env 0) (Const 10 generBound))))))) (Def (Const 7 generDone?) (Prog 0 0 Bool 0 2 (DDecl) (DDecl) (DFluid) (DEnv 4 28 4 4 4 4 4) (Seq (Return (Lex 1 0 done))))) (Def (Const 8 generStepper) (Prog 0 5 NOp 0 19 (DDecl) (DDecl (Decl Word "" Foam -1 4)) (DFluid) (DEnv 4 28 27 11 4 4 4) (Seq (Select (Lex 1 1 place) 0 3) (Label 0) (Set (Lex 1 0 done) (Bool 0)) (Label 4) (If (Cast Word (BCall PtrIsNil (Cast Ptr (Lex 2 0 l)))) 2) (Set (Lex 1 1 place) (SInt 1)) (Set (Loc 0) (RElt 10 (Lex 2 0 l) 0)) (Label 1) (Set (Lex 1 2 value) (Loc 0)) (Return (Nil)) (Label 2) (Set (Lex 1 0 done) (Bool 1)) (Goto 1) (Label 3) (Set (Lex 2 0 l) (RElt 10 (Lex 2 0 l) 1)) (Goto 4)))) (Def (Const 9 generValue) (Prog 0 0 Clos 0 2 (DDecl) (DDecl) (DFluid) (DEnv 4 28 27 0 4 4 4) (Seq (Return (Lex 1 2 value))))) (Def (Const 10 generBound) (Prog 0 0 SInt 0 2 (DDecl) (DDecl) (DFluid) (DEnv 4 28 27 0 4 4 4) (Seq (Return (SInt -1))))) (Def (Glo 0 ASgbtest1) (Clos (Env 0) (Const 0 ASgbtest1)))))