-- Test start at Mon Apr 17 10:35:12 PDT 2006
COMMENT printed from loaded on 04-17-06, 10:35:12

NAME prelude
COMMENT file /mnt/hda9/antoy/programs/java/code-sergio/home/lib/prelude.txt
COMPILED true
TIME 1145201866

TYPE "()" 0 public

CONSTRUCTOR "()" 0 0 2 public :: "prelude"."()"

TYPE "[]" 1 public

CONSTRUCTOR "[]" 0 0 2 public :: "prelude"."[]"(0)

CONSTRUCTOR ":" 0 2 3 right 5 public :: ->(0,->("prelude"."[]"(0),"prelude"."[]"(0)))

TYPE "(,)" 2 public

CONSTRUCTOR "(,)" 0 2 2 public :: ->(0,->(1,"prelude"."(,)"(0,1)))

TYPE "(,,)" 3 public

CONSTRUCTOR "(,,)" 0 3 2 public :: ->(0,->(1,->(2,"prelude"."(,,)"(0,1,2))))

TYPE "(,,,)" 4 public

CONSTRUCTOR "(,,,)" 0 4 2 public :: ->(0,->(1,->(2,->(3,"prelude"."(,,,)"(0,1,2,3)))))

TYPE "(,,,,)" 5 public

CONSTRUCTOR "(,,,,)" 0 5 2 public :: ->(0,->(1,->(2,->(3,->(4,"prelude"."(,,,,)"(0,1,2,3,4))))))

TYPE "(,,,,,)" 6 public

CONSTRUCTOR "(,,,,,)" 0 6 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,"prelude"."(,,,,,)"(0,1,2,3,4,5)))))))

TYPE "(,,,,,,)" 7 public

CONSTRUCTOR "(,,,,,,)" 0 7 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,"prelude"."(,,,,,,)"(0,1,2,3,4,5,6))))))))

TYPE "(,,,,,,,)" 8 public

CONSTRUCTOR "(,,,,,,,)" 0 8 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,"prelude"."(,,,,,,,)"(0,1,2,3,4,5,6,7)))))))))

TYPE "(,,,,,,,,)" 9 public

CONSTRUCTOR "(,,,,,,,,)" 0 9 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,->(8,"prelude"."(,,,,,,,,)"(0,1,2,3,4,5,6,7,8))))))))))

TYPE "(,,,,,,,,,)" 10 public

CONSTRUCTOR "(,,,,,,,,,)" 0 10 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,->(8,->(9,"prelude"."(,,,,,,,,,)"(0,1,2,3,4,5,6,7,8,9)))))))))))

TYPE "(,,,,,,,,,,)" 11 public

CONSTRUCTOR "(,,,,,,,,,,)" 0 11 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,->(8,->(9,->(10,"prelude"."(,,,,,,,,,,)"(0,1,2,3,4,5,6,7,8,9,10))))))))))))

TYPE "(,,,,,,,,,,,)" 12 public

CONSTRUCTOR "(,,,,,,,,,,,)" 0 12 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,->(8,->(9,->(10,->(11,"prelude"."(,,,,,,,,,,,)"(0,1,2,3,4,5,6,7,8,9,10,11)))))))))))))

TYPE "(,,,,,,,,,,,,)" 13 public

CONSTRUCTOR "(,,,,,,,,,,,,)" 0 13 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,->(8,->(9,->(10,->(11,->(12,"prelude"."(,,,,,,,,,,,,)"(0,1,2,3,4,5,6,7,8,9,10,11,12))))))))))))))

TYPE "(,,,,,,,,,,,,,)" 14 public

CONSTRUCTOR "(,,,,,,,,,,,,,)" 0 14 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,->(8,->(9,->(10,->(11,->(12,->(13,"prelude"."(,,,,,,,,,,,,,)"(0,1,2,3,4,5,6,7,8,9,10,11,12,13)))))))))))))))

TYPE "(,,,,,,,,,,,,,,)" 15 public

CONSTRUCTOR "(,,,,,,,,,,,,,,)" 0 15 2 public :: ->(0,->(1,->(2,->(3,->(4,->(5,->(6,->(7,->(8,->(9,->(10,->(11,->(12,->(13,->(14,"prelude"."(,,,,,,,,,,,,,,)"(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14))))))))))))))))

TYPE "Ordering" 0 public

CONSTRUCTOR "LT" 0 0 2 public :: "prelude"."Ordering"

CONSTRUCTOR "EQ" 0 0 3 public :: "prelude"."Ordering"

CONSTRUCTOR "GT" 0 0 4 public :: "prelude"."Ordering"

TYPE "Maybe" 1 public

CONSTRUCTOR "Nothing" 0 0 2 public :: "prelude"."Maybe"(0)

CONSTRUCTOR "Just" 0 1 3 public :: ->(0,"prelude"."Maybe"(0))

TYPE "Either" 2 public

CONSTRUCTOR "Left" 0 1 2 public :: ->(0,"prelude"."Either"(0,1))

CONSTRUCTOR "Right" 0 1 3 public :: ->(0,"prelude"."Either"(1,0))

TYPE "Int" 0 public

TYPE "Float" 0 public

TYPE "Char" 0 public

TYPE "Success" 0 public

TYPE "IO" 1 public

TYPE "Bool" 0 public

CONSTRUCTOR "True" 0 0 2 public :: "prelude"."Bool"

CONSTRUCTOR "False" 0 0 3 public :: "prelude"."Bool"

OPERATION "." 0 2 right 9 public :: ->(->(0,1),->(->(2,0),->(2,1)))
{
 Load 1
 Push
 Load 0
 Push
 MakePartial 2  ".._#lambda2" "prelude"
 Pop
 Replace
}

OPERATION ".._#lambda2" 0 3 private :: ->(->(0,1),->(->(2,0),->(2,1)))
{
 Load 2
 Push
 Load 1
 Push
 MakeTerm "apply" "prelude"
 Load 0
 Push
 MakeTerm "apply" "prelude"
 Pop
 Replace
}

OPERATION "id" 0 1 public :: ->(0,0)
{
 Load 0
 Replace
}

OPERATION "const" 0 2 public :: ->(0,->(1,0))
{
 Load 0
 Replace
}

OPERATION "curry" 0 3 public :: ->(->("prelude"."(,)"(0,1),2),->(0,->(1,2)))
{
 Load 2
 Push
 Load 1
 Push
 MakeTerm "(,)" "prelude"
 Load 0
 Push
 MakeTerm "apply" "prelude"
 Pop
 Replace
}

OPERATION "uncurry" 0 2 public :: ->(->(0,->(1,2)),->("prelude"."(,)"(0,1),2))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 1 1
   Push
   Load 1 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   MakeTerm "apply" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "flip" 0 3 public :: ->(->(0,->(1,2)),->(1,->(0,2)))
{
 Load 1
 Push
 Load 2
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 MakeTerm "apply" "prelude"
 Pop
 Replace
}

OPERATION "until" 0 3 public :: ->(->(0,"prelude"."Bool"),->(->(0,0),->(0,0)))
{
 Load 2
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 Load 1
 Push
 Load 0
 Push
 Load 2
 Push
 MakeTerm "#ORCASE_0" "prelude"
 Pop
 Replace
}

OPERATION "$" 0 2 right 0 public :: ->(->(0,1),->(0,1))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 Pop
 Replace
}

OPERATION "ensureSpine" 0 1 public :: ->("prelude"."[]"(0),"prelude"."[]"(0))
{
 Load 0
 Push
 MakeTerm "ensureNotFree" "prelude"
 MakeTerm "ensureSpine.ensureList.20" "prelude"
 Pop
 Replace
}

OPERATION "ensureSpine.ensureList.20" 0 1 private :: ->("prelude"."[]"(0),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Push
   MakeTerm "ensureSpine" "prelude"
   Load 0 0
   Push
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "$!" 0 2 right 0 public :: ->(->(0,1),->(0,1))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 Load 1
 Push
 MakeTerm "seq" "prelude"
 Pop
 Replace
}

OPERATION "failed" 0 0 public :: 0
{
 MakeAnon
 MakeInt 2
 MakeInt 1
 MakeTerm "=:=" "prelude"
 MakeTerm "cond" "prelude"
 Pop
 Replace
}

OPERATION "&&" 0 2 right 3 public :: ->("prelude"."Bool",->("prelude"."Bool","prelude"."Bool"))
{
 Load 0
 Branch
 {
  {
   MakeTerm "False" "prelude"
   MakeTerm "True" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 1
   Replace
  }
  {
   MakeTerm "False" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "||" 0 2 right 2 public :: ->("prelude"."Bool",->("prelude"."Bool","prelude"."Bool"))
{
 Load 0
 Branch
 {
  {
   MakeTerm "False" "prelude"
   MakeTerm "True" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "True" "prelude"
   Pop
   Replace
  }
  {
   Load 1
   Replace
  }
 }
}

OPERATION "not" 0 1 public :: ->("prelude"."Bool","prelude"."Bool")
{
 Load 0
 Branch
 {
  {
   MakeTerm "False" "prelude"
   MakeTerm "True" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "False" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "True" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "otherwise" 0 0 public :: "prelude"."Bool"
{
 MakeTerm "True" "prelude"
 Pop
 Replace
}

OPERATION "if_then_else" 0 3 public :: ->("prelude"."Bool",->(0,->(0,0)))
{
 Load 0
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 1
   Replace
  }
  {
   Load 2
   Replace
  }
 }
}

OPERATION "/=" 0 2 nonassoc 4 public :: ->(0,->(0,"prelude"."Bool"))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm "==" "prelude"
 MakeTerm "not" "prelude"
 Pop
 Replace
}

OPERATION "fst" 0 1 public :: ->("prelude"."(,)"(0,1),0)
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "snd" 0 1 public :: ->("prelude"."(,)"(0,1),1)
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "head" 0 1 public :: ->("prelude"."[]"(0),0)
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "tail" 0 1 public :: ->("prelude"."[]"(0),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "null" 0 1 public :: ->("prelude"."[]"(0),"prelude"."Bool")
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "True" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "False" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "++" 0 2 right 5 public :: ->("prelude"."[]"(0),->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 1
   Replace
  }
  {
   Load 1
   Push
   Load 0 1
   Push
   MakeTerm "++" "prelude"
   Load 0 0
   Push
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "length" 0 1 public :: ->("prelude"."[]"(0),"prelude"."Int")
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeInt 0
   Pop
   Replace
  }
  {
   Load 0 1
   Push
   MakeTerm "length" "prelude"
   MakeInt 1
   MakeTerm "+" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "!!" 0 2 left 9 public :: ->("prelude"."[]"(0),->("prelude"."Int",0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Fail
  }
  {
   MakeInt 0
   Load 1
   Push
   MakeTerm "==" "prelude"
   Load 0 1
   Push
   Load 1
   Push
   Load 0 0
   Push
   MakeTerm "#ORCASE_1" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "map" 0 2 public :: ->(->(0,1),->("prelude"."[]"(0),"prelude"."[]"(1)))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1 1
   Push
   Load 0
   Push
   MakeTerm "map" "prelude"
   Load 1 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "foldl" 0 3 public :: ->(->(0,->(1,0)),->(0,->("prelude"."[]"(1),0)))
{
 Load 2
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 1
   Replace
  }
  {
   Load 2 1
   Push
   Load 2 0
   Push
   Load 1
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   MakeTerm "apply" "prelude"
   Load 0
   Push
   MakeTerm "foldl" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "foldl1" 0 2 public :: ->(->(0,->(0,0)),->("prelude"."[]"(0),0))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Fail
  }
  {
   Load 1 1
   Push
   Load 1 0
   Push
   Load 0
   Push
   MakeTerm "foldl" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "foldr" 0 3 public :: ->(->(0,->(1,1)),->(1,->("prelude"."[]"(0),1)))
{
 Load 2
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 1
   Replace
  }
  {
   Load 2 1
   Push
   Load 1
   Push
   Load 0
   Push
   MakeTerm "foldr" "prelude"
   Load 2 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   MakeTerm "apply" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "foldr1" 0 2 public :: ->(->(0,->(0,0)),->("prelude"."[]"(0),0))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Fail
  }
  {
   Load 1 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     Load 1 0
     Replace
    }
    {
     Load 1 1 1
     Push
     Load 1 1 0
     Push
     MakeTerm ":" "prelude"
     Load 0
     Push
     MakeTerm "foldr1" "prelude"
     Load 1 0
     Push
     Load 0
     Push
     MakeTerm "apply" "prelude"
     MakeTerm "apply" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "filter" 0 2 public :: ->(->(0,"prelude"."Bool"),->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   Load 1 1
   Push
   Load 0
   Push
   Load 1 0
   Push
   MakeTerm "#ORCASE_2" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "zip" 0 2 public :: ->("prelude"."[]"(0),->("prelude"."[]"(1),"prelude"."[]"("prelude"."(,)"(0,1))))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Pop
     Replace
    }
    {
     Load 1 1
     Push
     Load 0 1
     Push
     MakeTerm "zip" "prelude"
     Load 1 0
     Push
     Load 0 0
     Push
     MakeTerm "(,)" "prelude"
     MakeTerm ":" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "zip3" 0 3 public :: ->("prelude"."[]"(0),->("prelude"."[]"(1),->("prelude"."[]"(2),"prelude"."[]"("prelude"."(,,)"(0,1,2)))))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Pop
     Replace
    }
    {
     Load 2
     Branch
     {
      {
       MakeAnon
       MakeAnon
       MakeTerm ":" "prelude"
       MakeTerm "[]" "prelude"
       Narrow
      }
      {
       Fail
      }
      {
       MakeTerm "[]" "prelude"
       Pop
       Replace
      }
      {
       Load 2 1
       Push
       Load 1 1
       Push
       Load 0 1
       Push
       MakeTerm "zip3" "prelude"
       Load 2 0
       Push
       Load 1 0
       Push
       Load 0 0
       Push
       MakeTerm "(,,)" "prelude"
       MakeTerm ":" "prelude"
       Pop
       Replace
      }
     }
    }
   }
  }
 }
}

OPERATION "zipWith" 0 3 public :: ->(->(0,->(1,2)),->("prelude"."[]"(0),->("prelude"."[]"(1),"prelude"."[]"(2))))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 2
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Pop
     Replace
    }
    {
     Load 2 1
     Push
     Load 1 1
     Push
     Load 0
     Push
     MakeTerm "zipWith" "prelude"
     Load 2 0
     Push
     Load 1 0
     Push
     Load 0
     Push
     MakeTerm "apply" "prelude"
     MakeTerm "apply" "prelude"
     MakeTerm ":" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "zipWith3" 0 4 public :: ->(->(0,->(1,->(2,3))),->("prelude"."[]"(0),->("prelude"."[]"(1),->("prelude"."[]"(2),"prelude"."[]"(3)))))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 2
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Pop
     Replace
    }
    {
     Load 3
     Branch
     {
      {
       MakeAnon
       MakeAnon
       MakeTerm ":" "prelude"
       MakeTerm "[]" "prelude"
       Narrow
      }
      {
       Fail
      }
      {
       MakeTerm "[]" "prelude"
       Pop
       Replace
      }
      {
       Load 3 1
       Push
       Load 2 1
       Push
       Load 1 1
       Push
       Load 0
       Push
       MakeTerm "zipWith3" "prelude"
       Load 3 0
       Push
       Load 2 0
       Push
       Load 1 0
       Push
       Load 0
       Push
       MakeTerm "apply" "prelude"
       MakeTerm "apply" "prelude"
       MakeTerm "apply" "prelude"
       MakeTerm ":" "prelude"
       Pop
       Replace
      }
     }
    }
   }
  }
 }
}

OPERATION "unzip" 0 1 public :: ->("prelude"."[]"("prelude"."(,)"(0,1)),"prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(1)))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   MakeTerm "[]" "prelude"
   MakeTerm "(,)" "prelude"
   Pop
   Replace
  }
  {
   Load 0 0
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm "(,)" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     Load 0 1
     Push
     MakeTerm "unzip" "prelude"
     Load 0 0 1
     Push
     Load 0 0 0
     Push
     MakeTerm "#ORCASE_4" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "unzip._#sel2" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(1)),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "unzip._#sel3" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(1)),"prelude"."[]"(1))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "unzip3" 0 1 public :: ->("prelude"."[]"("prelude"."(,,)"(0,1,2)),"prelude"."(,,)"("prelude"."[]"(0),"prelude"."[]"(1),"prelude"."[]"(2)))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   MakeTerm "[]" "prelude"
   MakeTerm "[]" "prelude"
   MakeTerm "(,,)" "prelude"
   Pop
   Replace
  }
  {
   Load 0 0
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeAnon
     MakeTerm "(,,)" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     Load 0 1
     Push
     MakeTerm "unzip3" "prelude"
     Load 0 0 2
     Push
     Load 0 0 1
     Push
     Load 0 0 0
     Push
     MakeTerm "#ORCASE_6" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "unzip3._#sel5" 0 1 private :: ->("prelude"."(,,)"("prelude"."[]"(0),"prelude"."[]"(1),"prelude"."[]"(2)),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeAnon
   MakeTerm "(,,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "unzip3._#sel6" 0 1 private :: ->("prelude"."(,,)"("prelude"."[]"(0),"prelude"."[]"(1),"prelude"."[]"(2)),"prelude"."[]"(1))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeAnon
   MakeTerm "(,,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "unzip3._#sel7" 0 1 private :: ->("prelude"."(,,)"("prelude"."[]"(0),"prelude"."[]"(1),"prelude"."[]"(2)),"prelude"."[]"(2))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeAnon
   MakeTerm "(,,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 2
   Replace
  }
 }
}

OPERATION "concat" 0 1 public :: ->("prelude"."[]"("prelude"."[]"(0)),"prelude"."[]"(0))
{
 Load 0
 Push
 MakeTerm "[]" "prelude"
 MakePartial 0  "++" "prelude"
 MakeTerm "foldr" "prelude"
 Pop
 Replace
}

OPERATION "concatMap" 0 1 public :: ->(->(0,"prelude"."[]"(1)),->("prelude"."[]"(0),"prelude"."[]"(1)))
{
 Load 0
 Push
 MakePartial 1  "map" "prelude"
 MakePartial 0  "concat" "prelude"
 MakeTerm "." "prelude"
 Pop
 Replace
}

OPERATION "iterate" 0 2 public :: ->(->(0,0),->(0,"prelude"."[]"(0)))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 Load 0
 Push
 MakeTerm "iterate" "prelude"
 Load 1
 Push
 MakeTerm ":" "prelude"
 Pop
 Replace
}

OPERATION "repeat" 0 1 public :: ->(0,"prelude"."[]"(0))
{
 Load 0
 Push
 MakeTerm "repeat" "prelude"
 Load 0
 Push
 MakeTerm ":" "prelude"
 Pop
 Replace
}

OPERATION "replicate" 0 2 public :: ->("prelude"."Int",->(0,"prelude"."[]"(0)))
{
 Load 1
 Push
 MakeTerm "repeat" "prelude"
 Load 0
 Push
 MakeTerm "take" "prelude"
 Pop
 Replace
}

OPERATION "take" 0 2 public :: ->("prelude"."Int",->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 MakeInt 0
 Load 0
 Push
 MakeTerm "<=" "prelude"
 Load 1
 Push
 Load 0
 Push
 MakeTerm "#ORCASE_7" "prelude"
 Pop
 Replace
}

OPERATION "take.takep.196" 0 2 private :: ->("prelude"."Int",->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1 1
   Push
   MakeInt 1
   Load 0
   Push
   MakeTerm "-" "prelude"
   MakeTerm "take" "prelude"
   Load 1 0
   Push
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "drop" 0 2 public :: ->("prelude"."Int",->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 MakeInt 0
 Load 0
 Push
 MakeTerm "<=" "prelude"
 Load 0
 Push
 Load 1
 Push
 MakeTerm "#ORCASE_8" "prelude"
 Pop
 Replace
}

OPERATION "drop.dropp.205" 0 2 private :: ->("prelude"."Int",->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1 1
   Push
   MakeInt 1
   Load 0
   Push
   MakeTerm "-" "prelude"
   MakeTerm "drop" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "splitAt" 0 2 public :: ->("prelude"."Int",->("prelude"."[]"(0),"prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0))))
{
 MakeInt 0
 Load 0
 Push
 MakeTerm "<=" "prelude"
 Load 0
 Push
 Load 1
 Push
 MakeTerm "#ORCASE_9" "prelude"
 Pop
 Replace
}

OPERATION "splitAt.splitAtp.215" 0 2 private :: ->("prelude"."Int",->("prelude"."[]"(0),"prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0))))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   MakeTerm "[]" "prelude"
   MakeTerm "(,)" "prelude"
   Pop
   Replace
  }
  {
   Load 1 1
   Push
   MakeInt 1
   Load 0
   Push
   MakeTerm "-" "prelude"
   MakeTerm "splitAt" "prelude"
   Load 1 0
   Push
   MakeTerm "#ORCASE_11" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "splitAt.splitAtp.215._#sel9" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0)),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "splitAt.splitAtp.215._#sel10" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0)),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "takeWhile" 0 2 public :: ->(->(0,"prelude"."Bool"),->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   Load 1 1
   Push
   Load 0
   Push
   Load 1 0
   Push
   MakeTerm "#ORCASE_12" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "dropWhile" 0 2 public :: ->(->(0,"prelude"."Bool"),->("prelude"."[]"(0),"prelude"."[]"(0)))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   Load 1 0
   Push
   Load 1 1
   Push
   Load 0
   Push
   MakeTerm "#ORCASE_13" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "span" 0 2 public :: ->(->(0,"prelude"."Bool"),->("prelude"."[]"(0),"prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0))))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   MakeTerm "[]" "prelude"
   MakeTerm "(,)" "prelude"
   Pop
   Replace
  }
  {
   Load 1 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   Load 1 1
   Push
   Load 0
   Push
   Load 1 0
   Push
   MakeTerm "#ORCASE_14" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "span._#sel12" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0)),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "span._#sel13" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0)),"prelude"."[]"(0))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "break" 0 1 public :: ->(->(0,"prelude"."Bool"),->("prelude"."[]"(0),"prelude"."(,)"("prelude"."[]"(0),"prelude"."[]"(0))))
{
 Load 0
 Push
 MakePartial 0  "not" "prelude"
 MakeTerm "." "prelude"
 MakePartial 1  "span" "prelude"
 Pop
 Replace
}

OPERATION "lines" 0 1 public :: ->("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."[]"("prelude"."Char")))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Push
   Load 0 0
   Push
   MakeTerm ":" "prelude"
   MakeTerm "lines.splitline.247" "prelude"
   MakeTerm "#ORCASE_16" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "lines.splitline.247" 0 1 private :: ->("prelude"."[]"("prelude"."Char"),"prelude"."(,)"("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   MakeTerm "[]" "prelude"
   MakeTerm "(,)" "prelude"
   Pop
   Replace
  }
  {
   MakeChar 10
   Load 0 0
   Push
   MakeTerm "==" "prelude"
   Load 0 0
   Push
   Load 0 1
   Push
   MakeTerm "#ORCASE_17" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "lines.splitline.247._#sel15" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "lines.splitline.247._#sel16" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "lines._#sel18" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "lines._#sel19" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "unlines" 0 1 public :: ->("prelude"."[]"("prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 Load 0
 Push
 MakeTerm "[]" "prelude"
 MakeChar 10
 MakeTerm ":" "prelude"
 MakePartial 0  "++" "prelude"
 MakePartial 2  "flip" "prelude"
 MakeTerm "concatMap" "prelude"
 MakeTerm "apply" "prelude"
 Pop
 Replace
}

OPERATION "words" 0 1 public :: ->("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."[]"("prelude"."Char")))
{
 Load 0
 Push
 MakePartial 0  "words.isSpace.259" "prelude"
 MakeTerm "dropWhile" "prelude"
 MakeTerm "#ORCASE_19" "prelude"
 Pop
 Replace
}

OPERATION "words.isSpace.259" 0 1 private :: ->("prelude"."Char","prelude"."Bool")
{
 MakeChar 13
 Load 0
 Push
 MakeTerm "==" "prelude"
 MakeChar 10
 Load 0
 Push
 MakeTerm "==" "prelude"
 MakeTerm "||" "prelude"
 MakeChar 9
 Load 0
 Push
 MakeTerm "==" "prelude"
 MakeTerm "||" "prelude"
 MakeChar 32
 Load 0
 Push
 MakeTerm "==" "prelude"
 MakeTerm "||" "prelude"
 Pop
 Replace
}

OPERATION "words._#sel21" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 0
   Replace
  }
 }
}

OPERATION "words._#sel22" 0 1 private :: ->("prelude"."(,)"("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm "(,)" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0 1
   Replace
  }
 }
}

OPERATION "unwords" 0 1 public :: ->("prelude"."[]"("prelude"."[]"("prelude"."Char")),"prelude"."[]"("prelude"."Char"))
{
 MakeTerm "[]" "prelude"
 Load 0
 Push
 MakeTerm "==" "prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_20" "prelude"
 Pop
 Replace
}

OPERATION "unwords._#lambda6" 0 2 private :: ->("prelude"."[]"("prelude"."Char"),->("prelude"."[]"("prelude"."Char"),"prelude"."[]"("prelude"."Char")))
{
 Load 1
 Push
 MakeChar 32
 MakeTerm ":" "prelude"
 Load 0
 Push
 MakeTerm "++" "prelude"
 Pop
 Replace
}

OPERATION "reverse" 0 0 public :: ->("prelude"."[]"(0),"prelude"."[]"(0))
{
 MakeTerm "[]" "prelude"
 MakePartial 0  ":" "prelude"
 MakePartial 1  "flip" "prelude"
 MakePartial 2  "foldl" "prelude"
 Pop
 Replace
}

OPERATION "and" 0 0 public :: ->("prelude"."[]"("prelude"."Bool"),"prelude"."Bool")
{
 MakeTerm "True" "prelude"
 MakePartial 0  "&&" "prelude"
 MakePartial 2  "foldr" "prelude"
 Pop
 Replace
}

OPERATION "or" 0 0 public :: ->("prelude"."[]"("prelude"."Bool"),"prelude"."Bool")
{
 MakeTerm "False" "prelude"
 MakePartial 0  "||" "prelude"
 MakePartial 2  "foldr" "prelude"
 Pop
 Replace
}

OPERATION "any" 0 1 public :: ->(->(0,"prelude"."Bool"),->("prelude"."[]"(0),"prelude"."Bool"))
{
 Load 0
 Push
 MakePartial 1  "map" "prelude"
 MakeTerm "or" "prelude"
 MakeTerm "." "prelude"
 Pop
 Replace
}

OPERATION "all" 0 1 public :: ->(->(0,"prelude"."Bool"),->("prelude"."[]"(0),"prelude"."Bool"))
{
 Load 0
 Push
 MakePartial 1  "map" "prelude"
 MakeTerm "and" "prelude"
 MakeTerm "." "prelude"
 Pop
 Replace
}

OPERATION "elem" 0 1 nonassoc 4 public :: ->(0,->("prelude"."[]"(0),"prelude"."Bool"))
{
 Load 0
 Push
 MakePartial 1  "==" "prelude"
 MakeTerm "any" "prelude"
 Pop
 Replace
}

OPERATION "notElem" 0 1 nonassoc 4 public :: ->(0,->("prelude"."[]"(0),"prelude"."Bool"))
{
 Load 0
 Push
 MakePartial 1  "/=" "prelude"
 MakeTerm "all" "prelude"
 Pop
 Replace
}

OPERATION "lookup" 0 2 public :: ->(0,->("prelude"."[]"("prelude"."(,)"(0,1)),"prelude"."Maybe"(1)))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "Nothing" "prelude"
   Pop
   Replace
  }
  {
   Load 1 0
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm "(,)" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     Load 1 0 0
     Push
     Load 0
     Push
     MakeTerm "==" "prelude"
     Load 1 1
     Push
     Load 0
     Push
     Load 1 0 1
     Push
     MakeTerm "#ORCASE_21" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "enumFrom" 0 1 public :: ->("prelude"."Int","prelude"."[]"("prelude"."Int"))
{
 MakeInt 1
 Load 0
 Push
 MakeTerm "+" "prelude"
 MakeTerm "enumFrom" "prelude"
 Load 0
 Push
 MakeTerm ":" "prelude"
 Pop
 Replace
}

OPERATION "enumFromThen" 0 2 public :: ->("prelude"."Int",->("prelude"."Int","prelude"."[]"("prelude"."Int")))
{
 Load 0
 Push
 Load 0
 Push
 Load 1
 Push
 MakeTerm "-" "prelude"
 MakePartial 1  "+" "prelude"
 MakeTerm "iterate" "prelude"
 Pop
 Replace
}

OPERATION "enumFromTo" 0 2 public :: ->("prelude"."Int",->("prelude"."Int","prelude"."[]"("prelude"."Int")))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm ">" "prelude"
 Load 1
 Push
 Load 0
 Push
 MakeTerm "#ORCASE_22" "prelude"
 Pop
 Replace
}

OPERATION "enumFromThenTo" 0 3 public :: ->("prelude"."Int",->("prelude"."Int",->("prelude"."Int","prelude"."[]"("prelude"."Int"))))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm "enumFromThen" "prelude"
 Load 1
 Push
 Load 0
 Push
 Load 2
 Push
 MakePartial 3  "enumFromThenTo.p.297" "prelude"
 MakeTerm "takeWhile" "prelude"
 Pop
 Replace
}

OPERATION "enumFromThenTo.p.297" 0 4 private :: ->("prelude"."Int",->("prelude"."Int",->("prelude"."Int",->("prelude"."Int","prelude"."Bool"))))
{
 Load 1
 Push
 Load 2
 Push
 MakeTerm ">=" "prelude"
 Load 0
 Push
 Load 3
 Push
 MakeTerm "#ORCASE_23" "prelude"
 Pop
 Replace
}

OPERATION "negate" 0 1 public :: ->("prelude"."Int","prelude"."Int")
{
 Load 0
 Push
 MakeInt 0
 MakeTerm "-" "prelude"
 Pop
 Replace
}

OPERATION "&>" 0 2 right 0 public :: ->("prelude"."Success",->(0,0))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm "cond" "prelude"
 Pop
 Replace
}

OPERATION "maybe" 0 3 public :: ->(0,->(->(1,0),->("prelude"."Maybe"(1),0)))
{
 Load 2
 Branch
 {
  {
   MakeAnon
   MakeTerm "Just" "prelude"
   MakeTerm "Nothing" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 0
   Replace
  }
  {
   Load 2 0
   Push
   Load 1
   Push
   MakeTerm "apply" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "either" 0 3 public :: ->(->(0,1),->(->(2,1),->("prelude"."Either"(0,2),1)))
{
 Load 2
 Branch
 {
  {
   MakeAnon
   MakeTerm "Right" "prelude"
   MakeAnon
   MakeTerm "Left" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 2 0
   Push
   Load 0
   Push
   MakeTerm "apply" "prelude"
   Pop
   Replace
  }
  {
   Load 2 0
   Push
   Load 1
   Push
   MakeTerm "apply" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION ">>" 0 2 left 1 public :: ->("prelude"."IO"(0),->("prelude"."IO"(1),"prelude"."IO"(1)))
{
 Load 1
 Push
 MakePartial 1  ">>._#lambda14" "prelude"
 Load 0
 Push
 MakePartial 2  ">>=" "prelude"
 Pop
 Replace
}

OPERATION ">>._#lambda14" 0 2 private :: ->("prelude"."IO"(0),->(1,"prelude"."IO"(0)))
{
 Load 0
 Replace
}

OPERATION "done" 0 0 public :: "prelude"."IO"("prelude"."()")
{
 MakeTerm "()" "prelude"
 MakePartial 1  "return" "prelude"
 Pop
 Replace
}

OPERATION "readFile" 0 1 public :: ->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."[]"("prelude"."Char")))
{
 Load 0
 Push
 MakePartial 1  "readFile" "$IO_aux"
 Load 0
 Push
 MakeTerm "groundNormalForm" "prelude"
 MakeTerm "seq" "prelude"
 Pop
 Replace
}

OPERATION "prim_readFile" 0 1 public :: ->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."[]"("prelude"."Char")))
{
 Load 0
 Push
 MakePartial 1  "readFile" "$IO_aux"
 Pop
 Replace
}

OPERATION "writeFile" 0 2 public :: ->("prelude"."[]"("prelude"."Char"),->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."()")))
{
 Load 1
 Push
 Load 0
 Push
 MakePartial 2  "writeFile" "$IO_aux"
 Load 0
 Push
 MakeTerm "groundNormalForm" "prelude"
 MakeTerm "seq" "prelude"
 Pop
 Replace
}

OPERATION "prim_writeFile" 0 2 public :: ->("prelude"."[]"("prelude"."Char"),->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."()")))
{
 Load 1
 Push
 Load 0
 Push
 MakePartial 2  "writeFile" "$IO_aux"
 Pop
 Replace
}

OPERATION "appendFile" 0 2 public :: ->("prelude"."[]"("prelude"."Char"),->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."()")))
{
 Load 1
 Push
 Load 0
 Push
 MakePartial 2  "appendFile" "$IO_aux"
 Load 0
 Push
 MakeTerm "groundNormalForm" "prelude"
 MakeTerm "seq" "prelude"
 Pop
 Replace
}

OPERATION "prim_appendFile" 0 2 public :: ->("prelude"."[]"("prelude"."Char"),->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."()")))
{
 Load 1
 Push
 Load 0
 Push
 MakePartial 2  "appendFile" "$IO_aux"
 Pop
 Replace
}

OPERATION "putStr" 0 1 public :: ->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."()"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "done" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Push
   MakeTerm "putStr" "prelude"
   Load 0 0
   Push
   MakePartial 1  "putChar" "prelude"
   MakeTerm ">>" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "putStrLn" 0 1 public :: ->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."()"))
{
 MakeChar 10
 MakePartial 1  "putChar" "prelude"
 Load 0
 Push
 MakeTerm "putStr" "prelude"
 MakeTerm ">>" "prelude"
 Pop
 Replace
}

OPERATION "getLine" 0 0 public :: "prelude"."IO"("prelude"."[]"("prelude"."Char"))
{
 MakePartial 0  "getLine._#lambda15" "prelude"
 MakePartial 0  "getChar" "prelude"
 MakePartial 2  ">>=" "prelude"
 Pop
 Replace
}

OPERATION "getLine._#lambda15" 0 1 private :: ->("prelude"."Char","prelude"."IO"("prelude"."[]"("prelude"."Char")))
{
 MakeChar 10
 Load 0
 Push
 MakeTerm "==" "prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_24" "prelude"
 Pop
 Replace
}

OPERATION "getLine._#lambda15._#lambda16" 0 2 private :: ->("prelude"."Char",->("prelude"."[]"("prelude"."Char"),"prelude"."IO"("prelude"."[]"("prelude"."Char"))))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm ":" "prelude"
 MakePartial 1  "return" "prelude"
 Pop
 Replace
}

OPERATION "print" 0 1 public :: ->(0,"prelude"."IO"("prelude"."()"))
{
 Load 0
 Push
 MakeTerm "show" "prelude"
 MakeTerm "putStrLn" "prelude"
 Pop
 Replace
}

OPERATION "doSolve" 0 1 public :: ->("prelude"."Success","prelude"."IO"("prelude"."()"))
{
 MakeTerm "done" "prelude"
 Load 0
 Push
 MakeTerm "cond" "prelude"
 Pop
 Replace
}

OPERATION "sequenceIO" 0 1 public :: ->("prelude"."[]"("prelude"."IO"(0)),"prelude"."IO"("prelude"."[]"(0)))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   MakePartial 1  "return" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Push
   MakePartial 1  "sequenceIO._#lambda17" "prelude"
   Load 0 0
   Push
   MakePartial 2  ">>=" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "sequenceIO._#lambda17" 0 2 private :: ->("prelude"."[]"("prelude"."IO"(0)),->(0,"prelude"."IO"("prelude"."[]"(0))))
{
 Load 1
 Push
 MakePartial 1  "sequenceIO._#lambda17._#lambda18" "prelude"
 Load 0
 Push
 MakeTerm "sequenceIO" "prelude"
 MakePartial 2  ">>=" "prelude"
 Pop
 Replace
}

OPERATION "sequenceIO._#lambda17._#lambda18" 0 2 private :: ->(0,->("prelude"."[]"(0),"prelude"."IO"("prelude"."[]"(0))))
{
 Load 1
 Push
 Load 0
 Push
 MakeTerm ":" "prelude"
 MakePartial 1  "return" "prelude"
 Pop
 Replace
}

OPERATION "sequenceIO_" 0 0 public :: ->("prelude"."[]"("prelude"."IO"(0)),"prelude"."IO"("prelude"."()"))
{
 MakeTerm "done" "prelude"
 MakePartial 0  ">>" "prelude"
 MakePartial 2  "foldr" "prelude"
 Pop
 Replace
}

OPERATION "mapIO" 0 1 public :: ->(->(0,"prelude"."IO"(1)),->("prelude"."[]"(0),"prelude"."IO"("prelude"."[]"(1))))
{
 Load 0
 Push
 MakePartial 1  "map" "prelude"
 MakePartial 0  "sequenceIO" "prelude"
 MakeTerm "." "prelude"
 Pop
 Replace
}

OPERATION "mapIO_" 0 1 public :: ->(->(0,"prelude"."IO"(1)),->("prelude"."[]"(0),"prelude"."IO"("prelude"."()")))
{
 Load 0
 Push
 MakePartial 1  "map" "prelude"
 MakeTerm "sequenceIO_" "prelude"
 MakeTerm "." "prelude"
 Pop
 Replace
}

OPERATION "?" 0 2 right 0 public :: ->(0,->(0,0))
{
 Load 0
 Push
 Load 1
 Push
 Choice
}

OPERATION "inject" 0 2 public :: ->(->(0,"prelude"."Success"),->(->(0,"prelude"."Success"),->(0,"prelude"."Success")))
{
 Load 1
 Push
 Load 0
 Push
 MakePartial 2  "inject._#lambda23" "prelude"
 Pop
 Replace
}

OPERATION "inject._#lambda23" 0 3 private :: ->(->(0,"prelude"."Success"),->(->(0,"prelude"."Success"),->(0,"prelude"."Success")))
{
 Load 2
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 Load 2
 Push
 Load 1
 Push
 MakeTerm "apply" "prelude"
 MakeTerm "&" "prelude"
 Pop
 Replace
}

OPERATION "solveAll" 0 1 public :: ->(->(0,"prelude"."Success"),"prelude"."[]"(->(0,"prelude"."Success")))
{
 Load 0
 Push
 MakeTerm "try" "prelude"
 MakeTerm "solveAll.evalall.391" "prelude"
 Pop
 Replace
}

OPERATION "solveAll.evalall3.391" 0 2 private :: ->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."[]"(->(0,"prelude"."Success"))))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 1
   Push
   MakeTerm "solveAll.evalall2.391" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     Load 1
     Push
     MakeTerm "solveAll.evalall2.391" "prelude"
     Load 0 0
     Push
     MakeTerm ":" "prelude"
     Pop
     Replace
    }
    {
     Load 1
     Push
     Load 0 1 1
     Push
     MakeTerm "++" "prelude"
     Load 0 1 0
     Push
     MakeTerm ":" "prelude"
     Load 0 0
     Push
     MakeTerm "try" "prelude"
     MakeTerm "solveAll.evalall3.391" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "solveAll.evalall2.391" 0 1 private :: ->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."[]"(->(0,"prelude"."Success")))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Push
   Load 0 0
   Push
   MakeTerm "try" "prelude"
   MakeTerm "solveAll.evalall3.391" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "solveAll.evalall.391" 0 1 private :: ->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."[]"(->(0,"prelude"."Success")))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Load 0 0
     Push
     MakeTerm ":" "prelude"
     Pop
     Replace
    }
    {
     Load 0 1 1
     Push
     Load 0 1 0
     Push
     MakeTerm ":" "prelude"
     Load 0 0
     Push
     MakeTerm "try" "prelude"
     MakeTerm "solveAll.evalall3.391" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "solveAll2" 0 1 public :: ->(->(0,"prelude"."Success"),"prelude"."[]"(->(0,"prelude"."Success")))
{
 Load 0
 Push
 MakeTerm "try" "prelude"
 MakeTerm "solveAll2.evalResult.409" "prelude"
 Pop
 Replace
}

OPERATION "solveAll2.evalResult.409" 0 1 private :: ->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."[]"(->(0,"prelude"."Success")))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Load 0 0
     Push
     MakeTerm ":" "prelude"
     Pop
     Replace
    }
    {
     Load 0 1 1
     Push
     Load 0 1 0
     Push
     MakeTerm ":" "prelude"
     Load 0 0
     Push
     MakeTerm ":" "prelude"
     MakePartial 0  "solveAll2" "prelude"
     MakeTerm "concatMap" "prelude"
     MakeTerm "apply" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "once" 0 1 public :: ->(->(0,"prelude"."Success"),->(0,"prelude"."Success"))
{
 Load 0
 Push
 MakeTerm "solveAll" "prelude"
 MakeTerm "head" "prelude"
 Pop
 Replace
}

OPERATION "one._#lambda25" 0 2 private :: ->(->(0,"prelude"."Success"),->(0,"prelude"."Success"))
{
 Load 0
 Push
 MakeTerm "tryone" "prelude"
 Load 1
 Push
 MakeTerm "=:=" "prelude"
 Pop
 Replace
}

OPERATION "condSearch._#lambda26" 0 3 private :: ->(->(0,"prelude"."Success"),->(->(0,"prelude"."Bool"),->(0,"prelude"."Success")))
{
 MakeTerm "True" "prelude"
 Load 2
 Push
 Load 1
 Push
 MakeTerm "apply" "prelude"
 MakeTerm "=:=" "prelude"
 Load 2
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 MakeTerm "&" "prelude"
 Pop
 Replace
}

OPERATION "best" 0 2 public :: ->(->(0,"prelude"."Success"),->(->(0,->(0,"prelude"."Bool")),"prelude"."[]"(->(0,"prelude"."Success"))))
{
 MakeTerm "[]" "prelude"
 Load 0
 Push
 MakeTerm "try" "prelude"
 MakeTerm "[]" "prelude"
 Load 1
 Push
 MakeTerm "best.bestHelp.427" "prelude"
 Pop
 Replace
}

OPERATION "best.constrain.427" 0 3 private :: ->(->(0,->(0,"prelude"."Bool")),->(->(0,"prelude"."Success"),->("prelude"."[]"(->(0,"prelude"."Success")),->(0,"prelude"."Success"))))
{
 Load 2
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 1
   Replace
  }
  {
   Load 2 1
   Branch
   {
    {
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     Load 2 0
     Push
     Load 0
     Push
     MakePartial 2  "best.constrain.427._#lambda29" "prelude"
     Load 1
     Push
     MakeTerm "inject" "prelude"
     Pop
     Replace
    }
    {
     Fail
    }
   }
  }
 }
}

OPERATION "best.constrain.427._#lambda29" 0 3 private :: ->(->(0,->(0,"prelude"."Bool")),->(->(0,"prelude"."Success"),->(0,"prelude"."Success")))
{
 StoreVar 1
 MakeTerm "True" "prelude"
 MakeVar 1
 Load 2
 Push
 Load 0
 Push
 MakeTerm "apply" "prelude"
 MakeTerm "apply" "prelude"
 MakeTerm "=:=" "prelude"
 MakeVar 1
 Load 1
 Push
 MakeTerm "apply" "prelude"
 MakeTerm "&" "prelude"
 Pop
 Replace
}

OPERATION "best.bestHelp.427" 0 4 private :: ->(->(0,->(0,"prelude"."Bool")),->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."[]"(->(0,"prelude"."Success"))))))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 2
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     Load 3
     Replace
    }
    {
     Load 3
     Push
     Load 2 1
     Push
     Load 3
     Push
     Load 2 0
     Push
     Load 0
     Push
     MakeTerm "best.constrain.427" "prelude"
     MakeTerm "try" "prelude"
     Load 0
     Push
     MakeTerm "best.evalY.427" "prelude"
     Pop
     Replace
    }
   }
  }
  {
   Load 3
   Push
   Load 2
   Push
   Load 1 1
   Push
   Load 1 0
   Push
   MakeTerm "try" "prelude"
   Load 0
   Push
   MakeTerm "best.evalX.427" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "best.evalY.427" 0 4 private :: ->(->(0,->(0,"prelude"."Bool")),->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."[]"(->(0,"prelude"."Success"))))))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 3
   Push
   Load 2
   Push
   MakeTerm "[]" "prelude"
   Load 0
   Push
   MakeTerm "best.bestHelp.427" "prelude"
   Pop
   Replace
  }
  {
   Load 1 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Load 1 0
     Push
     MakeTerm ":" "prelude"
     Load 2
     Push
     MakeTerm "[]" "prelude"
     Load 0
     Push
     MakeTerm "best.bestHelp.427" "prelude"
     Pop
     Replace
    }
    {
     Load 3
     Push
     Load 2
     Push
     Load 1 1 1
     Push
     Load 1 1 0
     Push
     MakeTerm ":" "prelude"
     Load 1 0
     Push
     MakeTerm ":" "prelude"
     Load 0
     Push
     MakeTerm "best.bestHelp.427" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "best.evalX.427" 0 5 private :: ->(->(0,->(0,"prelude"."Bool")),->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."[]"(->(0,"prelude"."Success")))))))
{
 Load 1
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   Load 4
   Push
   Load 3
   Push
   Load 2
   Push
   Load 0
   Push
   MakeTerm "best.bestHelp.427" "prelude"
   Pop
   Replace
  }
  {
   Load 1 1
   Branch
   {
    {
     MakeAnon
     MakeAnon
     MakeTerm ":" "prelude"
     MakeTerm "[]" "prelude"
     Narrow
    }
    {
     Fail
    }
    {
     MakeTerm "[]" "prelude"
     Load 1 0
     Push
     MakeTerm ":" "prelude"
     Load 3
     Push
     Load 2
     Push
     MakeTerm "++" "prelude"
     MakeTerm "[]" "prelude"
     Load 0
     Push
     MakeTerm "best.bestHelp.427" "prelude"
     Pop
     Replace
    }
    {
     Load 4
     Push
     Load 3
     Push
     Load 2
     Push
     Load 1 1 1
     Push
     Load 1 1 0
     Push
     MakeTerm ":" "prelude"
     Load 1 0
     Push
     MakeTerm ":" "prelude"
     MakeTerm "++" "prelude"
     Load 0
     Push
     MakeTerm "best.bestHelp.427" "prelude"
     Pop
     Replace
    }
   }
  }
 }
}

OPERATION "findall" 0 1 public :: ->(->(0,"prelude"."Success"),"prelude"."[]"(0))
{
 Load 0
 Push
 MakeTerm "solveAll" "prelude"
 MakePartial 0  "unpack" "prelude"
 MakeTerm "map" "prelude"
 Pop
 Replace
}

OPERATION "findfirst" 0 1 public :: ->(->(0,"prelude"."Success"),0)
{
 Load 0
 Push
 MakeTerm "findall" "prelude"
 MakeTerm "head" "prelude"
 Pop
 Replace
}

OPERATION "browse" 0 1 public :: ->(->(0,"prelude"."Success"),"prelude"."IO"("prelude"."()"))
{
 Load 0
 Push
 MakeTerm "unpack" "prelude"
 MakeTerm "show" "prelude"
 MakeTerm "putStr" "prelude"
 Pop
 Replace
}

OPERATION "browseList" 0 1 public :: ->("prelude"."[]"(->(0,"prelude"."Success")),"prelude"."IO"("prelude"."()"))
{
 Load 0
 Branch
 {
  {
   MakeAnon
   MakeAnon
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   Narrow
  }
  {
   Fail
  }
  {
   MakeTerm "done" "prelude"
   Pop
   Replace
  }
  {
   Load 0 1
   Push
   MakeTerm "browseList" "prelude"
   MakeChar 10
   MakePartial 1  "putChar" "prelude"
   Load 0 0
   Push
   MakeTerm "browse" "prelude"
   MakeTerm ">>" "prelude"
   MakeTerm ">>" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "unpack" 0 1 public :: ->(->(0,"prelude"."Success"),0)
{
 StoreVar 1
 MakeVar 1
 MakeVar 1
 Load 0
 Push
 MakeTerm "apply" "prelude"
 MakeTerm "cond" "prelude"
 Pop
 Replace
}

OPERATION "PEVAL" 0 1 public :: ->(0,0)
{
 Load 0
 Replace
}

OPERATION "normalForm" 0 1 public :: ->(0,0)
{
 StoreVar 1
 MakeVar 1
 MakeVar 1
 Load 0
 Push
 MakeTerm "=:=" "prelude"
 MakeTerm "cond" "prelude"
 Pop
 Replace
}

OPERATION "groundNormalForm" 0 1 public :: ->(0,0)
{
 Load 0
 Push
 MakeTerm "normalForm" "prelude"
 MakeTerm "#ORCASE_26" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_0" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 0
   Replace
  }
  {
   Load 0
   Push
   Load 2
   Push
   MakeTerm "apply" "prelude"
   Load 2
   Push
   Load 1
   Push
   MakeTerm "until" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_1" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 0
   Replace
  }
  {
   MakeInt 0
   Load 1
   Push
   MakeTerm ">" "prelude"
   Load 1
   Push
   Load 2
   Push
   MakeTerm "#ORCASE_27" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_2" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 2
   Push
   Load 1
   Push
   MakeTerm "filter" "prelude"
   Load 0
   Push
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
  {
   Load 2
   Push
   Load 1
   Push
   MakeTerm "filter" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_4" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Push
 MakeTerm "unzip._#sel3" "prelude"
 Load 2
 Push
 MakeTerm "unzip._#sel2" "prelude"
 Load 1
 Push
 Load 0
 Push
 MakeTerm "#ORCASE_3" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_3" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Push
 Load 1
 Push
 MakeTerm ":" "prelude"
 Load 2
 Push
 Load 0
 Push
 MakeTerm ":" "prelude"
 MakeTerm "(,)" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_6" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Push
 MakeTerm "unzip3._#sel7" "prelude"
 Load 3
 Push
 MakeTerm "unzip3._#sel6" "prelude"
 Load 3
 Push
 MakeTerm "unzip3._#sel5" "prelude"
 Load 2
 Push
 Load 1
 Push
 Load 0
 Push
 MakeTerm "#ORCASE_5" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_5" 0 6 private :: ->(0,->(1,->(2,->(3,->(4,->(5,6))))))
{
 Load 5
 Push
 Load 2
 Push
 MakeTerm ":" "prelude"
 Load 4
 Push
 Load 1
 Push
 MakeTerm ":" "prelude"
 Load 3
 Push
 Load 0
 Push
 MakeTerm ":" "prelude"
 MakeTerm "(,,)" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_7" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1
   Push
   Load 0
   Push
   MakeTerm "take.takep.196" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_8" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 0
   Replace
  }
  {
   Load 0
   Push
   Load 1
   Push
   MakeTerm "drop.dropp.205" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_9" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 0
   Push
   MakeTerm "[]" "prelude"
   MakeTerm "(,)" "prelude"
   Pop
   Replace
  }
  {
   Load 0
   Push
   Load 1
   Push
   MakeTerm "splitAt.splitAtp.215" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_11" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Push
 MakeTerm "splitAt.splitAtp.215._#sel10" "prelude"
 Load 1
 Push
 MakeTerm "splitAt.splitAtp.215._#sel9" "prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_10" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_10" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Push
 Load 1
 Push
 Load 0
 Push
 MakeTerm ":" "prelude"
 MakeTerm "(,)" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_12" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 2
   Push
   Load 1
   Push
   MakeTerm "takeWhile" "prelude"
   Load 0
   Push
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_13" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 1
   Push
   Load 0
   Push
   MakeTerm "dropWhile" "prelude"
   Pop
   Replace
  }
  {
   Load 1
   Push
   Load 2
   Push
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_14" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 2
   Push
   Load 1
   Push
   MakeTerm "span" "prelude"
   Load 0
   Push
   MakeTerm "#ORCASE_29" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "otherwise" "prelude"
   Load 2
   Push
   Load 0
   Push
   MakeTerm "#ORCASE_30" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_16" 0 1 private :: ->(0,1)
{
 Load 0
 Push
 MakeTerm "lines._#sel19" "prelude"
 Load 0
 Push
 MakeTerm "lines._#sel18" "prelude"
 MakeTerm "#ORCASE_15" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_15" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Push
 MakeTerm "lines" "prelude"
 Load 0
 Push
 MakeTerm ":" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_17" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 0
   Push
   MakeTerm "[]" "prelude"
   MakeTerm "(,)" "prelude"
   Pop
   Replace
  }
  {
   Load 0
   Push
   MakeTerm "lines.splitline.247" "prelude"
   Load 1
   Push
   MakeTerm "#ORCASE_32" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_19" 0 1 private :: ->(0,1)
{
 MakeTerm "[]" "prelude"
 Load 0
 Push
 MakeTerm "==" "prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_18" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_18" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 0
   Push
   MakePartial 0  "words.isSpace.259" "prelude"
   MakeTerm "break" "prelude"
   MakeTerm "apply" "prelude"
   MakeTerm "#ORCASE_34" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_20" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 0
   Push
   MakePartial 0  "unwords._#lambda6" "prelude"
   MakeTerm "foldr1" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_21" 0 4 private :: ->(0,->(1,->(2,->(3,4))))
{
 Load 3
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 0
   Push
   MakeTerm "Just" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "otherwise" "prelude"
   Load 2
   Push
   Load 1
   Push
   MakeTerm "#ORCASE_35" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_22" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   Pop
   Replace
  }
  {
   Load 1
   Push
   MakeInt 1
   Load 0
   Push
   MakeTerm "+" "prelude"
   MakeTerm "enumFromTo" "prelude"
   Load 0
   Push
   MakeTerm ":" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_23" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 1
   Push
   Load 0
   Push
   MakeTerm "<=" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "otherwise" "prelude"
   Load 1
   Push
   Load 0
   Push
   MakeTerm "#ORCASE_36" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_24" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   MakeTerm "[]" "prelude"
   MakePartial 1  "return" "prelude"
   Pop
   Replace
  }
  {
   Load 0
   Push
   MakePartial 1  "getLine._#lambda15._#lambda16" "prelude"
   MakeTerm "getLine" "prelude"
   MakePartial 2  ">>=" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_26" 0 1 private :: ->(0,1)
{
 Load 0
 Push
 Load 0
 Push
 MakeTerm "==" "prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_25" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_25" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 0
   Replace
  }
  {
   MakeTerm "failed" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_27" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   MakeInt 1
   Load 1
   Push
   MakeTerm "-" "prelude"
   Load 0
   Push
   MakeTerm "!!" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "failed" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_29" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Push
 MakeTerm "span._#sel13" "prelude"
 Load 1
 Push
 MakeTerm "span._#sel12" "prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_28" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_28" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Push
 Load 1
 Push
 Load 0
 Push
 MakeTerm ":" "prelude"
 MakeTerm "(,)" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_30" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 1
   Push
   Load 0
   Push
   MakeTerm ":" "prelude"
   MakeTerm "[]" "prelude"
   MakeTerm "(,)" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "failed" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_32" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Push
 MakeTerm "lines.splitline.247._#sel16" "prelude"
 Load 1
 Push
 MakeTerm "lines.splitline.247._#sel15" "prelude"
 Load 0
 Push
 MakeTerm "#ORCASE_31" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_31" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Push
 Load 1
 Push
 Load 0
 Push
 MakeTerm ":" "prelude"
 MakeTerm "(,)" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_34" 0 1 private :: ->(0,1)
{
 Load 0
 Push
 MakeTerm "words._#sel22" "prelude"
 Load 0
 Push
 MakeTerm "words._#sel21" "prelude"
 MakeTerm "#ORCASE_33" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_33" 0 2 private :: ->(0,->(1,2))
{
 Load 1
 Push
 MakeTerm "words" "prelude"
 Load 0
 Push
 MakeTerm ":" "prelude"
 Pop
 Replace
}

OPERATION "#ORCASE_35" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 1
   Push
   Load 0
   Push
   MakeTerm "lookup" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "failed" "prelude"
   Pop
   Replace
  }
 }
}

OPERATION "#ORCASE_36" 0 3 private :: ->(0,->(1,->(2,3)))
{
 Load 2
 Branch
 {
  {
   Residuate
  }
  {
   Fail
  }
  {
   Load 1
   Push
   Load 0
   Push
   MakeTerm ">=" "prelude"
   Pop
   Replace
  }
  {
   MakeTerm "failed" "prelude"
   Pop
   Replace
  }
 }
}

-- Test end at Mon Apr 17 10:35:12 PDT 2006