test/Golden/Grammar/nandlang.opt.dump

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + <*>
   5 | | | + <*>
   6 | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))
   7 | | | | ` def name_29
   8 | | | |   ` <*>
   9 | | | |     + <*>
  10 | | | |     | + <*>
  11 | | | |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))
  12 | | | |     | | ` def name_13
  13 | | | |     | |   ` pure ()
  14 | | | |     | ` def name_12
  15 | | | |     |   ` <|>
  16 | | | |     |     + <*>
  17 | | | |     |     | + <*>
  18 | | | |     |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0)))
  19 | | | |     |     | | ` <|>
  20 | | | |     |     | |   + <*>
  21 | | | |     |     | |   | + <*>
  22 | | | |     |     | |   | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ())) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) ()))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))
  23 | | | |     |     | |   | | ` def name_15
  24 | | | |     |     | |   | |   ` <*>
  25 | | | |     |     | |   | |     + <*>
  26 | | | |     |     | |   | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
  27 | | | |     |     | |   | |     | ` satisfy
  28 | | | |     |     | |   | |     ` ref name_13
  29 | | | |     |     | |   | ` def name_17
  30 | | | |     |     | |   |   ` <|>
  31 | | | |     |     | |   |     + <*>
  32 | | | |     |     | |   |     | + <*>
  33 | | | |     |     | |   |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0)))
  34 | | | |     |     | |   |     | | ` ref name_15
  35 | | | |     |     | |   |     | ` rec name_17
  36 | | | |     |     | |   |     ` pure (\x0 -> x0)
  37 | | | |     |     | |   ` <*>
  38 | | | |     |     | |     + <*>
  39 | | | |     |     | |     | + <*>
  40 | | | |     |     | |     | | + <*>
  41 | | | |     |     | |     | | | + <*>
  42 | | | |     |     | |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))
  43 | | | |     |     | |     | | | | ` try
  44 | | | |     |     | |     | | | |   ` <*>
  45 | | | |     |     | |     | | | |     + <*>
  46 | | | |     |     | |     | | | |     | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) Pure)) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) '/'))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) '/')))
  47 | | | |     |     | |     | | | |     | ` satisfy
  48 | | | |     |     | |     | | | |     ` satisfy
  49 | | | |     |     | |     | | | ` ref name_13
  50 | | | |     |     | |     | | ` def name_20
  51 | | | |     |     | |     | |   ` <|>
  52 | | | |     |     | |     | |     + <*>
  53 | | | |     |     | |     | |     | + <*>
  54 | | | |     |     | |     | |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0)))
  55 | | | |     |     | |     | |     | | ` satisfy
  56 | | | |     |     | |     | |     | ` rec name_20
  57 | | | |     |     | |     | |     ` pure (\x0 -> x0)
  58 | | | |     |     | |     | ` ref name_13
  59 | | | |     |     | |     ` ref name_13
  60 | | | |     |     | ` rec name_12
  61 | | | |     |     ` pure (\x0 -> x0)
  62 | | | |     ` ref name_13
  63 | | | ` ref name_13
  64 | | ` def name_14
  65 | |   ` <|>
  66 | |     + <*>
  67 | |     | + <*>
  68 | |     | | + <*>
  69 | |     | | | + <*>
  70 | |     | | | | + <*>
  71 | |     | | | | | + <*>
  72 | |     | | | | | | + <*>
  73 | |     | | | | | | | + <*>
  74 | |     | | | | | | | | + <*>
  75 | |     | | | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))))))))
  76 | |     | | | | | | | | | ` try
  77 | |     | | | | | | | | |   ` <*>
  78 | |     | | | | | | | | |     + <*>
  79 | |     | | | | | | | | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
  80 | |     | | | | | | | | |     | ` try
  81 | |     | | | | | | | | |     |   ` <*>
  82 | |     | | | | | | | | |     |     + <*>
  83 | |     | | | | | | | | |     |     | + <*>
  84 | |     | | | | | | | | |     |     | | + <*>
  85 | |     | | | | | | | | |     |     | | | + <*>
  86 | |     | | | | | | | | |     |     | | | | + <*>
  87 | |     | | | | | | | | |     |     | | | | | + <*>
  88 | |     | | | | | | | | |     |     | | | | | | + <*>
  89 | |     | | | | | | | | |     |     | | | | | | | + <*>
  90 | |     | | | | | | | | |     |     | | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'n')))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'o'))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'i')))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 't'))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'c')))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'n'))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'u')))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'f'))))))))))
  91 | |     | | | | | | | | |     |     | | | | | | | | ` satisfy
  92 | |     | | | | | | | | |     |     | | | | | | | ` satisfy
  93 | |     | | | | | | | | |     |     | | | | | | ` satisfy
  94 | |     | | | | | | | | |     |     | | | | | ` satisfy
  95 | |     | | | | | | | | |     |     | | | | ` satisfy
  96 | |     | | | | | | | | |     |     | | | ` satisfy
  97 | |     | | | | | | | | |     |     | | ` satisfy
  98 | |     | | | | | | | | |     |     | ` satisfy
  99 | |     | | | | | | | | |     |     ` def name_8
 100 | |     | | | | | | | | |     |       ` pure Pure
 101 | |     | | | | | | | | |     ` def name_5
 102 | |     | | | | | | | | |       ` negLook
 103 | |     | | | | | | | | |         ` satisfy
 104 | |     | | | | | | | | ` ref name_29
 105 | |     | | | | | | | ` def name_3
 106 | |     | | | | | | |   ` <*>
 107 | |     | | | | | | |     + <*>
 108 | |     | | | | | | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 109 | |     | | | | | | |     | ` try
 110 | |     | | | | | | |     |   ` <*>
 111 | |     | | | | | | |     |     + <*>
 112 | |     | | | | | | |     |     | + <*>
 113 | |     | | | | | | |     |     | | + <*>
 114 | |     | | | | | | |     |     | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))
 115 | |     | | | | | | |     |     | | | ` satisfy
 116 | |     | | | | | | |     |     | | ` ref name_13
 117 | |     | | | | | | |     |     | ` def name_27
 118 | |     | | | | | | |     |     |   ` <|>
 119 | |     | | | | | | |     |     |     + <*>
 120 | |     | | | | | | |     |     |     | + <*>
 121 | |     | | | | | | |     |     |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0)))
 122 | |     | | | | | | |     |     |     | | ` satisfy
 123 | |     | | | | | | |     |     |     | ` rec name_27
 124 | |     | | | | | | |     |     |     ` pure (\x0 -> x0)
 125 | |     | | | | | | |     |     ` ref name_13
 126 | |     | | | | | | |     ` ref name_29
 127 | |     | | | | | | ` def name_25
 128 | |     | | | | | |   ` <*>
 129 | |     | | | | | |     + <*>
 130 | |     | | | | | |     | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) '(')
 131 | |     | | | | | |     | ` satisfy
 132 | |     | | | | | |     ` ref name_29
 133 | |     | | | | | ` def name_28
 134 | |     | | | | |   ` <|>
 135 | |     | | | | |     + <*>
 136 | |     | | | | |     | + <*>
 137 | |     | | | | |     | | + <*>
 138 | |     | | | | |     | | | + <*>
 139 | |     | | | | |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) ()))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))
 140 | |     | | | | |     | | | | ` def name_7
 141 | |     | | | | |     | | | |   ` <*>
 142 | |     | | | | |     | | | |     + <*>
 143 | |     | | | | |     | | | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 144 | |     | | | | |     | | | |     | ` ref name_3
 145 | |     | | | | |     | | | |     ` <|>
 146 | |     | | | | |     | | | |       + <*>
 147 | |     | | | | |     | | | |       | + pure (\x0 -> (\x1 -> x0)) ()
 148 | |     | | | | |     | | | |       | ` def name_22
 149 | |     | | | | |     | | | |       |   ` <*>
 150 | |     | | | | |     | | | |       |     + <*>
 151 | |     | | | | |     | | | |       |     | + <*>
 152 | |     | | | | |     | | | |       |     | | + <*>
 153 | |     | | | | |     | | | |       |     | | | + <*>
 154 | |     | | | | |     | | | |       |     | | | | + <*>
 155 | |     | | | | |     | | | |       |     | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) ']'))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ())) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))) (((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) ()))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) '[')))))))))
 156 | |     | | | | |     | | | |       |     | | | | | ` satisfy
 157 | |     | | | | |     | | | |       |     | | | | ` ref name_29
 158 | |     | | | | |     | | | |       |     | | | ` def name_10
 159 | |     | | | | |     | | | |       |     | | |   ` satisfy
 160 | |     | | | | |     | | | |       |     | | ` def name_24
 161 | |     | | | | |     | | | |       |     | |   ` <|>
 162 | |     | | | | |     | | | |       |     | |     + <*>
 163 | |     | | | | |     | | | |       |     | |     | + <*>
 164 | |     | | | | |     | | | |       |     | |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0)))
 165 | |     | | | | |     | | | |       |     | |     | | ` ref name_10
 166 | |     | | | | |     | | | |       |     | |     | ` rec name_24
 167 | |     | | | | |     | | | |       |     | |     ` pure (\x0 -> x0)
 168 | |     | | | | |     | | | |       |     | ` satisfy
 169 | |     | | | | |     | | | |       |     ` ref name_29
 170 | |     | | | | |     | | | |       ` ref name_13
 171 | |     | | | | |     | | | ` ref name_13
 172 | |     | | | | |     | | ` def name_2
 173 | |     | | | | |     | |   ` <|>
 174 | |     | | | | |     | |     + <*>
 175 | |     | | | | |     | |     | + <*>
 176 | |     | | | | |     | |     | | + <*>
 177 | |     | | | | |     | |     | | | + <*>
 178 | |     | | | | |     | |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))
 179 | |     | | | | |     | |     | | | | ` def name_26
 180 | |     | | | | |     | |     | | | |   ` pure (\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0))
 181 | |     | | | | |     | |     | | | ` def name_6
 182 | |     | | | | |     | |     | | |   ` <*>
 183 | |     | | | | |     | |     | | |     + <*>
 184 | |     | | | | |     | |     | | |     | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) ',')
 185 | |     | | | | |     | |     | | |     | ` satisfy
 186 | |     | | | | |     | |     | | |     ` ref name_29
 187 | |     | | | | |     | |     | | ` ref name_7
 188 | |     | | | | |     | |     | ` rec name_2
 189 | |     | | | | |     | |     ` pure (\x0 -> x0)
 190 | |     | | | | |     | ` ref name_13
 191 | |     | | | | |     ` ref name_13
 192 | |     | | | | ` <|>
 193 | |     | | | |   + <*>
 194 | |     | | | |   | + <*>
 195 | |     | | | |   | | + <*>
 196 | |     | | | |   | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) ())))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) ':')))
 197 | |     | | | |   | | | ` satisfy
 198 | |     | | | |   | | ` ref name_29
 199 | |     | | | |   | ` ref name_28
 200 | |     | | | |   ` ref name_13
 201 | |     | | | ` def name_18
 202 | |     | | |   ` <*>
 203 | |     | | |     + <*>
 204 | |     | | |     | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) ')')
 205 | |     | | |     | ` satisfy
 206 | |     | | |     ` ref name_29
 207 | |     | | ` def name_1
 208 | |     | |   ` <*>
 209 | |     | |     + <*>
 210 | |     | |     | + <*>
 211 | |     | |     | | + <*>
 212 | |     | |     | | | + <*>
 213 | |     | |     | | | | + <*>
 214 | |     | |     | | | | | + <*>
 215 | |     | |     | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) '}')))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) '{'))))))))))
 216 | |     | |     | | | | | | ` satisfy
 217 | |     | |     | | | | | ` ref name_29
 218 | |     | |     | | | | ` ref name_13
 219 | |     | |     | | | ` def name_19
 220 | |     | |     | | |   ` <|>
 221 | |     | |     | | |     + <*>
 222 | |     | |     | | |     | + <*>
 223 | |     | |     | | |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0)))
 224 | |     | |     | | |     | | ` <|>
 225 | |     | |     | | |     | |   + <*>
 226 | |     | |     | | |     | |   | + <*>
 227 | |     | |     | | |     | |   | | + <*>
 228 | |     | |     | | |     | |   | | | + <*>
 229 | |     | |     | | |     | |   | | | | + <*>
 230 | |     | |     | | |     | |   | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))
 231 | |     | |     | | |     | |   | | | | | ` try
 232 | |     | |     | | |     | |   | | | | |   ` <*>
 233 | |     | |     | | |     | |   | | | | |     + <*>
 234 | |     | |     | | |     | |   | | | | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 235 | |     | |     | | |     | |   | | | | |     | ` try
 236 | |     | |     | | |     | |   | | | | |     |   ` <*>
 237 | |     | |     | | |     | |   | | | | |     |     + <*>
 238 | |     | |     | | |     | |   | | | | |     |     | + <*>
 239 | |     | |     | | |     | |   | | | | |     |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'f')))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'i'))))
 240 | |     | |     | | |     | |   | | | | |     |     | | ` satisfy
 241 | |     | |     | | |     | |   | | | | |     |     | ` satisfy
 242 | |     | |     | | |     | |   | | | | |     |     ` ref name_8
 243 | |     | |     | | |     | |   | | | | |     ` ref name_5
 244 | |     | |     | | |     | |   | | | | ` ref name_29
 245 | |     | |     | | |     | |   | | | ` def name_4
 246 | |     | |     | | |     | |   | | |   ` <*>
 247 | |     | |     | | |     | |   | | |     + <*>
 248 | |     | |     | | |     | |   | | |     | + <*>
 249 | |     | |     | | |     | |   | | |     | | + <*>
 250 | |     | |     | | |     | |   | | |     | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))
 251 | |     | |     | | |     | |   | | |     | | | ` def name_30
 252 | |     | |     | | |     | |   | | |     | | |   ` <|>
 253 | |     | |     | | |     | |   | | |     | | |     + <*>
 254 | |     | |     | | |     | |   | | |     | | |     | + <*>
 255 | |     | |     | | |     | |   | | |     | | |     | | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 256 | |     | |     | | |     | |   | | |     | | |     | | ` <|>
 257 | |     | |     | | |     | |   | | |     | | |     | |   + <*>
 258 | |     | |     | | |     | |   | | |     | | |     | |   | + pure (\x0 -> (\x1 -> x0)) '0'
 259 | |     | |     | | |     | |   | | |     | | |     | |   | ` satisfy
 260 | |     | |     | | |     | |   | | |     | | |     | |   ` <*>
 261 | |     | |     | | |     | |   | | |     | | |     | |     + pure (\x0 -> (\x1 -> x0)) '1'
 262 | |     | |     | | |     | |   | | |     | | |     | |     ` satisfy
 263 | |     | |     | | |     | |   | | |     | | |     | ` ref name_29
 264 | |     | |     | | |     | |   | | |     | | |     ` <|>
 265 | |     | |     | | |     | |   | | |     | | |       + <*>
 266 | |     | |     | | |     | |   | | |     | | |       | + <*>
 267 | |     | |     | | |     | |   | | |     | | |       | | + <*>
 268 | |     | |     | | |     | |   | | |     | | |       | | | + <*>
 269 | |     | |     | | |     | |   | | |     | | |       | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) '\''))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))) ((\x0 -> (\x1 -> x0)) '\'')))))
 270 | |     | |     | | |     | |   | | |     | | |       | | | | ` satisfy
 271 | |     | |     | | |     | |   | | |     | | |       | | | ` <|>
 272 | |     | |     | | |     | |   | | |     | | |       | | |   + <*>
 273 | |     | |     | | |     | |   | | |     | | |       | | |   | + <*>
 274 | |     | |     | | |     | |   | | |     | | |       | | |   | | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 275 | |     | |     | | |     | |   | | |     | | |       | | |   | | ` satisfy
 276 | |     | |     | | |     | |   | | |     | | |       | | |   | ` ref name_13
 277 | |     | |     | | |     | |   | | |     | | |       | | |   ` <*>
 278 | |     | |     | | |     | |   | | |     | | |       | | |     + <*>
 279 | |     | |     | | |     | |   | | |     | | |       | | |     | + <*>
 280 | |     | |     | | |     | |   | | |     | | |       | | |     | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))) ((\x0 -> (\x1 -> x0)) '\\'))))
 281 | |     | |     | | |     | |   | | |     | | |       | | |     | | ` satisfy
 282 | |     | |     | | |     | |   | | |     | | |       | | |     | ` satisfy
 283 | |     | |     | | |     | |   | | |     | | |       | | |     ` ref name_13
 284 | |     | |     | | |     | |   | | |     | | |       | | ` satisfy
 285 | |     | |     | | |     | |   | | |     | | |       | ` ref name_29
 286 | |     | |     | | |     | |   | | |     | | |       ` <*>
 287 | |     | |     | | |     | |   | | |     | | |         + <*>
 288 | |     | |     | | |     | |   | | |     | | |         | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 289 | |     | |     | | |     | |   | | |     | | |         | ` ref name_3
 290 | |     | |     | | |     | |   | | |     | | |         ` <|>
 291 | |     | |     | | |     | |   | | |     | | |           + <*>
 292 | |     | |     | | |     | |   | | |     | | |           | + pure (\x0 -> (\x1 -> x0)) ()
 293 | |     | |     | | |     | |   | | |     | | |           | ` <|>
 294 | |     | |     | | |     | |   | | |     | | |           |   + <*>
 295 | |     | |     | | |     | |   | | |     | | |           |   | + <*>
 296 | |     | |     | | |     | |   | | |     | | |           |   | | + <*>
 297 | |     | |     | | |     | |   | | |     | | |           |   | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))
 298 | |     | |     | | |     | |   | | |     | | |           |   | | | ` ref name_25
 299 | |     | |     | | |     | |   | | |     | | |           |   | | ` <|>
 300 | |     | |     | | |     | |   | | |     | | |           |   | |   + <*>
 301 | |     | |     | | |     | |   | | |     | | |           |   | |   | + <*>
 302 | |     | |     | | |     | |   | | |     | | |           |   | |   | | + <*>
 303 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | + <*>
 304 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) ()))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))
 305 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | | ` rec name_4
 306 | |     | |     | | |     | |   | | |     | | |           |   | |   | | | ` ref name_13
 307 | |     | |     | | |     | |   | | |     | | |           |   | |   | | ` def name_23
 308 | |     | |     | | |     | |   | | |     | | |           |   | |   | |   ` <|>
 309 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     + <*>
 310 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | + <*>
 311 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | + <*>
 312 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | + <*>
 313 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))
 314 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | | ` ref name_26
 315 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | | ` ref name_6
 316 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | | ` rec name_4
 317 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     | ` rec name_23
 318 | |     | |     | | |     | |   | | |     | | |           |   | |   | |     ` pure (\x0 -> x0)
 319 | |     | |     | | |     | |   | | |     | | |           |   | |   | ` ref name_13
 320 | |     | |     | | |     | |   | | |     | | |           |   | |   ` ref name_13
 321 | |     | |     | | |     | |   | | |     | | |           |   | ` ref name_18
 322 | |     | |     | | |     | |   | | |     | | |           |   ` ref name_22
 323 | |     | |     | | |     | |   | | |     | | |           ` ref name_13
 324 | |     | |     | | |     | |   | | |     | | ` ref name_13
 325 | |     | |     | | |     | |   | | |     | ` def name_16
 326 | |     | |     | | |     | |   | | |     |   ` <|>
 327 | |     | |     | | |     | |   | | |     |     + <*>
 328 | |     | |     | | |     | |   | | |     |     | + <*>
 329 | |     | |     | | |     | |   | | |     |     | | + <*>
 330 | |     | |     | | |     | |   | | |     |     | | | + <*>
 331 | |     | |     | | |     | |   | | |     |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) '!'))))
 332 | |     | |     | | |     | |   | | |     |     | | | | ` satisfy
 333 | |     | |     | | |     | |   | | |     |     | | | ` ref name_29
 334 | |     | |     | | |     | |   | | |     |     | | ` ref name_30
 335 | |     | |     | | |     | |   | | |     |     | ` rec name_16
 336 | |     | |     | | |     | |   | | |     |     ` pure (\x0 -> x0)
 337 | |     | |     | | |     | |   | | |     ` ref name_13
 338 | |     | |     | | |     | |   | | ` rec name_1
 339 | |     | |     | | |     | |   | ` <|>
 340 | |     | |     | | |     | |   |   + <*>
 341 | |     | |     | | |     | |   |   | + <*>
 342 | |     | |     | | |     | |   |   | | + <*>
 343 | |     | |     | | |     | |   |   | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) ())))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))
 344 | |     | |     | | |     | |   |   | | | ` try
 345 | |     | |     | | |     | |   |   | | |   ` <*>
 346 | |     | |     | | |     | |   |   | | |     + <*>
 347 | |     | |     | | |     | |   |   | | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 348 | |     | |     | | |     | |   |   | | |     | ` try
 349 | |     | |     | | |     | |   |   | | |     |   ` <*>
 350 | |     | |     | | |     | |   |   | | |     |     + <*>
 351 | |     | |     | | |     | |   |   | | |     |     | + <*>
 352 | |     | |     | | |     | |   |   | | |     |     | | + <*>
 353 | |     | |     | | |     | |   |   | | |     |     | | | + <*>
 354 | |     | |     | | |     | |   |   | | |     |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'e')))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 's'))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'l')))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'e'))))))
 355 | |     | |     | | |     | |   |   | | |     |     | | | | ` satisfy
 356 | |     | |     | | |     | |   |   | | |     |     | | | ` satisfy
 357 | |     | |     | | |     | |   |   | | |     |     | | ` satisfy
 358 | |     | |     | | |     | |   |   | | |     |     | ` satisfy
 359 | |     | |     | | |     | |   |   | | |     |     ` ref name_8
 360 | |     | |     | | |     | |   |   | | |     ` ref name_5
 361 | |     | |     | | |     | |   |   | | ` ref name_29
 362 | |     | |     | | |     | |   |   | ` rec name_1
 363 | |     | |     | | |     | |   |   ` ref name_13
 364 | |     | |     | | |     | |   ` <|>
 365 | |     | |     | | |     | |     + <*>
 366 | |     | |     | | |     | |     | + <*>
 367 | |     | |     | | |     | |     | | + <*>
 368 | |     | |     | | |     | |     | | | + <*>
 369 | |     | |     | | |     | |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))
 370 | |     | |     | | |     | |     | | | | ` try
 371 | |     | |     | | |     | |     | | | |   ` <*>
 372 | |     | |     | | |     | |     | | | |     + <*>
 373 | |     | |     | | |     | |     | | | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 374 | |     | |     | | |     | |     | | | |     | ` try
 375 | |     | |     | | |     | |     | | | |     |   ` <*>
 376 | |     | |     | | |     | |     | | | |     |     + <*>
 377 | |     | |     | | |     | |     | | | |     |     | + <*>
 378 | |     | |     | | |     | |     | | | |     |     | | + <*>
 379 | |     | |     | | |     | |     | | | |     |     | | | + <*>
 380 | |     | |     | | |     | |     | | | |     |     | | | | + <*>
 381 | |     | |     | | |     | |     | | | |     |     | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'e')))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'l'))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'i')))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'h'))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'w')))))))
 382 | |     | |     | | |     | |     | | | |     |     | | | | | ` satisfy
 383 | |     | |     | | |     | |     | | | |     |     | | | | ` satisfy
 384 | |     | |     | | |     | |     | | | |     |     | | | ` satisfy
 385 | |     | |     | | |     | |     | | | |     |     | | ` satisfy
 386 | |     | |     | | |     | |     | | | |     |     | ` satisfy
 387 | |     | |     | | |     | |     | | | |     |     ` ref name_8
 388 | |     | |     | | |     | |     | | | |     ` ref name_5
 389 | |     | |     | | |     | |     | | | ` ref name_29
 390 | |     | |     | | |     | |     | | ` ref name_4
 391 | |     | |     | | |     | |     | ` rec name_1
 392 | |     | |     | | |     | |     ` <|>
 393 | |     | |     | | |     | |       + try
 394 | |     | |     | | |     | |       | ` <*>
 395 | |     | |     | | |     | |       |   + <*>
 396 | |     | |     | | |     | |       |   | + <*>
 397 | |     | |     | | |     | |       |   | | + <*>
 398 | |     | |     | | |     | |       |   | | | + <*>
 399 | |     | |     | | |     | |       |   | | | | + <*>
 400 | |     | |     | | |     | |       |   | | | | | + <*>
 401 | |     | |     | | |     | |       |   | | | | | | + <*>
 402 | |     | |     | | |     | |       |   | | | | | | | + <*>
 403 | |     | |     | | |     | |       |   | | | | | | | | + <*>
 404 | |     | |     | | |     | |       |   | | | | | | | | | + <*>
 405 | |     | |     | | |     | |       |   | | | | | | | | | | + <*>
 406 | |     | |     | | |     | |       |   | | | | | | | | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) '=')))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1)))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))))))))))))))
 407 | |     | |     | | |     | |       |   | | | | | | | | | | | ` <|>
 408 | |     | |     | | |     | |       |   | | | | | | | | | | |   + <*>
 409 | |     | |     | | |     | |       |   | | | | | | | | | | |   | + <*>
 410 | |     | |     | | |     | |       |   | | | | | | | | | | |   | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) ()))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0))
 411 | |     | |     | | |     | |       |   | | | | | | | | | | |   | | ` try
 412 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |   ` <*>
 413 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     + <*>
 414 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     | + pure (\x0 -> (\x1 -> x0)) (\x0 -> x0)
 415 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     | ` try
 416 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |   ` <*>
 417 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     + <*>
 418 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | + <*>
 419 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | + <*>
 420 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'r')))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'a'))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'v')))))
 421 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | | ` satisfy
 422 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | | ` satisfy
 423 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     | ` satisfy
 424 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     |     ` ref name_8
 425 | |     | |     | | |     | |       |   | | | | | | | | | | |   | |     ` ref name_5
 426 | |     | |     | | |     | |       |   | | | | | | | | | | |   | ` ref name_29
 427 | |     | |     | | |     | |       |   | | | | | | | | | | |   ` ref name_13
 428 | |     | |     | | |     | |       |   | | | | | | | | | | ` ref name_7
 429 | |     | |     | | |     | |       |   | | | | | | | | | ` ref name_13
 430 | |     | |     | | |     | |       |   | | | | | | | | ` def name_11
 431 | |     | |     | | |     | |       |   | | | | | | | |   ` <|>
 432 | |     | |     | | |     | |       |   | | | | | | | |     + <*>
 433 | |     | |     | | |     | |       |   | | | | | | | |     | + <*>
 434 | |     | |     | | |     | |       |   | | | | | | | |     | | + <*>
 435 | |     | |     | | |     | |       |   | | | | | | | |     | | | + <*>
 436 | |     | |     | | |     | |       |   | | | | | | | |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))
 437 | |     | |     | | |     | |       |   | | | | | | | |     | | | | ` ref name_26
 438 | |     | |     | | |     | |       |   | | | | | | | |     | | | ` ref name_6
 439 | |     | |     | | |     | |       |   | | | | | | | |     | | ` ref name_7
 440 | |     | |     | | |     | |       |   | | | | | | | |     | ` rec name_11
 441 | |     | |     | | |     | |       |   | | | | | | | |     ` pure (\x0 -> x0)
 442 | |     | |     | | |     | |       |   | | | | | | | ` ref name_13
 443 | |     | |     | | |     | |       |   | | | | | | ` satisfy
 444 | |     | |     | | |     | |       |   | | | | | ` ref name_29
 445 | |     | |     | | |     | |       |   | | | | ` ref name_4
 446 | |     | |     | | |     | |       |   | | | ` ref name_13
 447 | |     | |     | | |     | |       |   | | ` def name_9
 448 | |     | |     | | |     | |       |   | |   ` <|>
 449 | |     | |     | | |     | |       |   | |     + <*>
 450 | |     | |     | | |     | |       |   | |     | + <*>
 451 | |     | |     | | |     | |       |   | |     | | + <*>
 452 | |     | |     | | |     | |       |   | |     | | | + <*>
 453 | |     | |     | | |     | |       |   | |     | | | | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((flip (\x0 -> (\x1 -> x0 x1))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))
 454 | |     | |     | | |     | |       |   | |     | | | | ` ref name_26
 455 | |     | |     | | |     | |       |   | |     | | | ` ref name_6
 456 | |     | |     | | |     | |       |   | |     | | ` ref name_4
 457 | |     | |     | | |     | |       |   | |     | ` rec name_9
 458 | |     | |     | | |     | |       |   | |     ` pure (\x0 -> x0)
 459 | |     | |     | | |     | |       |   | ` ref name_13
 460 | |     | |     | | |     | |       |   ` def name_21
 461 | |     | |     | | |     | |       |     ` <*>
 462 | |     | |     | | |     | |       |       + <*>
 463 | |     | |     | | |     | |       |       | + pure ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> x0))) ((\x0 -> (\x1 -> x0)) ';')
 464 | |     | |     | | |     | |       |       | ` satisfy
 465 | |     | |     | | |     | |       |       ` ref name_29
 466 | |     | |     | | |     | |       ` <*>
 467 | |     | |     | | |     | |         + <*>
 468 | |     | |     | | |     | |         | + pure (\x0 -> (\x1 -> x0))
 469 | |     | |     | | |     | |         | ` ref name_4
 470 | |     | |     | | |     | |         ` ref name_21
 471 | |     | |     | | |     | ` rec name_19
 472 | |     | |     | | |     ` pure (\x0 -> x0)
 473 | |     | |     | | ` ref name_13
 474 | |     | |     | ` satisfy
 475 | |     | |     ` ref name_29
 476 | |     | ` rec name_14
 477 | |     ` pure (\x0 -> x0)
 478 | ` ref name_13
 479 ` eof