test/Golden/Grammar/nandlang.opt.dump

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