**** New globals: {i8:i8, qi8:i8?, qr8:r8?, r8:r8, s:s}

> "*** Two operator chain with =."
"*** Two operator chain with =." : s
Binder : "*** Two operator chain with =."
###
> (r8 @= 3r  @=  5r, r8 @= 3r  $=  5r)
(r8 @= 3 @= 5, r8 @= 3 $= 5) : (b, b)
Binder : (r8 @= 3 @= 5, r8 @= 3 $= 5)
Reducer: (false, false)
###
> (r8 @= 3r  @<  5r, r8 @= 3r  $<  5r)
(r8 @= 3 @< 5, r8 @= 3 $< 5) : (b, b)
Binder : (r8 @= 3 @< 5, r8 @= 3 $< 5)
Reducer: (r8 @= 3, r8 @= 3)
###
> (r8 @= 3r  @<= 5r, r8 @= 3r  $<= 5r)
(r8 @= 3 @<= 5, r8 @= 3 $<= 5) : (b, b)
Binder : (r8 @= 3 @<= 5, r8 @= 3 $<= 5)
Reducer: (r8 @= 3, r8 @= 3)
###
> (r8 @= 3r  @>  5r, r8 @= 3r  $>  5r)
(r8 @= 3 @> 5, r8 @= 3 $> 5) : (b, b)
Binder : (r8 @= 3 @> 5, r8 @= 3 $> 5)
Reducer: (false, false)
###
> (r8 @= 3r  @>= 5r, r8 @= 3r  $>= 5r)
(r8 @= 3 @>= 5, r8 @= 3 $>= 5) : (b, b)
Binder : (r8 @= 3 @>= 5, r8 @= 3 $>= 5)
Reducer: (false, false)
###
> (r8 @= 3r !@=  5r, r8 @= 3r !$=  5r)
(r8 @= 3 !@= 5, r8 @= 3 !$= 5) : (b, b)
Binder : (r8 @= 3 !@= 5, r8 @= 3 !$= 5)
Reducer: (r8 @= 3, r8 @= 3)
###
> (r8 @= 3r !@<  5r, r8 @= 3r !$<  5r)
(r8 @= 3 !@< 5, r8 @= 3 !$< 5) : (b, b)
Binder : (r8 @= 3 @>= 5, r8 @= 3 !$< 5)
Reducer: (false, false)
###
> (r8 @= 3r !@<= 5r, r8 @= 3r !$<= 5r)
(r8 @= 3 !@<= 5, r8 @= 3 !$<= 5) : (b, b)
Binder : (r8 @= 3 @> 5, r8 @= 3 !$<= 5)
Reducer: (false, false)
###
> (r8 @= 3r !@>  5r, r8 @= 3r !$>  5r)
(r8 @= 3 !@> 5, r8 @= 3 !$> 5) : (b, b)
Binder : (r8 @= 3 @<= 5, r8 @= 3 !$> 5)
Reducer: (r8 @= 3, r8 @= 3)
###
> (r8 @= 3r !@>= 5r, r8 @= 3r !$>= 5r)
(r8 @= 3 !@>= 5, r8 @= 3 !$>= 5) : (b, b)
Binder : (r8 @= 3 @< 5, r8 @= 3 !$>= 5)
Reducer: (r8 @= 3, r8 @= 3)
###
> (3r @= r8  @=  5r, 3r @= r8  $=  5r)
(3 @= r8 @= 5, 3 @= r8 $= 5) : (b, b)
Binder : (3 @= r8 @= 5, 3 @= r8 $= 5)
###
> (3r @= r8  @<  5r, 3r @= r8  $<  5r)
(3 @= r8 @< 5, 3 @= r8 $< 5) : (b, b)
Binder : (3 @= r8 @< 5, 3 @= r8 $< 5)
###
> (3r @= r8  @<= 5r, 3r @= r8  $<= 5r)
(3 @= r8 @<= 5, 3 @= r8 $<= 5) : (b, b)
Binder : (3 @= r8 @<= 5, 3 @= r8 $<= 5)
###
> (3r @= r8  @>  5r, 3r @= r8  $>  5r)
(3 @= r8 @> 5, 3 @= r8 $> 5) : (b, b)
Binder : (3 @= r8 @> 5, 3 @= r8 $> 5)
###
> (3r @= r8  @>= 5r, 3r @= r8  $>= 5r)
(3 @= r8 @>= 5, 3 @= r8 $>= 5) : (b, b)
Binder : (3 @= r8 @>= 5, 3 @= r8 $>= 5)
###
> (3r @= r8 !@=  5r, 3r @= r8 !$=  5r)
(3 @= r8 !@= 5, 3 @= r8 !$= 5) : (b, b)
Binder : (3 @= r8 !@= 5, 3 @= r8 !$= 5)
###
> (3r @= r8 !@<  5r, 3r @= r8 !$<  5r)
(3 @= r8 !@< 5, 3 @= r8 !$< 5) : (b, b)
Binder : (3 @= r8 @>= 5, 3 @= r8 !$< 5)
###
> (3r @= r8 !@<= 5r, 3r @= r8 !$<= 5r)
(3 @= r8 !@<= 5, 3 @= r8 !$<= 5) : (b, b)
Binder : (3 @= r8 @> 5, 3 @= r8 !$<= 5)
###
> (3r @= r8 !@>  5r, 3r @= r8 !$>  5r)
(3 @= r8 !@> 5, 3 @= r8 !$> 5) : (b, b)
Binder : (3 @= r8 @<= 5, 3 @= r8 !$> 5)
###
> (3r @= r8 !@>= 5r, 3r @= r8 !$>= 5r)
(3 @= r8 !@>= 5, 3 @= r8 !$>= 5) : (b, b)
Binder : (3 @= r8 @< 5, 3 @= r8 !$>= 5)
###
> (r8 @= 3r  @=  null, r8 @= 3r  $=  null)
(r8 @= 3 @= null, r8 @= 3 $= null) : (b, b)
Binder : (r8 @= 3 @= null, r8 @= 3 $= null)
Reducer: (false, false)
###
> (r8 @= 3r  @<  null, r8 @= 3r  $<  null)
(r8 @= 3 @< null, r8 @= 3 $< null) : (b, b)
Binder : (r8 @= 3 @< null, r8 @= 3 $< null)
Reducer: (false, false)
###
> (r8 @= 3r  @<= null, r8 @= 3r  $<= null)
(r8 @= 3 @<= null, r8 @= 3 $<= null) : (b, b)
Binder : (r8 @= 3 @<= null, r8 @= 3 $<= null)
Reducer: (false, false)
###
> (r8 @= 3r  @>  null, r8 @= 3r  $>  null)
(r8 @= 3 @> null, r8 @= 3 $> null) : (b, b)
Binder : (r8 @= 3 @> null, r8 @= 3 $> null)
Reducer: (r8 @= 3, false)
###
> (r8 @= 3r  @>= null, r8 @= 3r  $>= null)
(r8 @= 3 @>= null, r8 @= 3 $>= null) : (b, b)
Binder : (r8 @= 3 @>= null, r8 @= 3 $>= null)
Reducer: (r8 @= 3, false)
###
> (r8 @= 3r !@=  null, r8 @= 3r !$=  null)
(r8 @= 3 !@= null, r8 @= 3 !$= null) : (b, b)
Binder : (r8 @= 3 !@= null, r8 @= 3 !$= null)
Reducer: (r8 @= 3, r8 @= 3)
###
> (r8 @= 3r !@<  null, r8 @= 3r !$<  null)
(r8 @= 3 !@< null, r8 @= 3 !$< null) : (b, b)
Binder : (r8 @= 3 @>= null, r8 @= 3 !$< null)
Reducer: (r8 @= 3, r8 @= 3)
###
> (r8 @= 3r !@<= null, r8 @= 3r !$<= null)
(r8 @= 3 !@<= null, r8 @= 3 !$<= null) : (b, b)
Binder : (r8 @= 3 @> null, r8 @= 3 !$<= null)
Reducer: (r8 @= 3, r8 @= 3)
###
> (r8 @= 3r !@>  null, r8 @= 3r !$>  null)
(r8 @= 3 !@> null, r8 @= 3 !$> null) : (b, b)
Binder : (r8 @= 3 @<= null, r8 @= 3 !$> null)
Reducer: (false, r8 @= 3)
###
> (r8 @= 3r !@>= null, r8 @= 3r !$>= null)
(r8 @= 3 !@>= null, r8 @= 3 !$>= null) : (b, b)
Binder : (r8 @= 3 @< null, r8 @= 3 !$>= null)
Reducer: (false, r8 @= 3)
###
> (r8 @= null  @=  5r, r8 @= null  $=  5r)
(r8 @= null @= 5, r8 @= null $= 5) : (b, b)
Binder : (r8 @= null @= 5, r8 @= null $= 5)
Reducer: (false, false)
###
> (r8 @= null  @<  5r, r8 @= null  $<  5r)
(r8 @= null @< 5, r8 @= null $< 5) : (b, b)
Binder : (r8 @= null @< 5, r8 @= null $< 5)
Reducer: (false, false)
###
> (r8 @= null  @<= 5r, r8 @= null  $<= 5r)
(r8 @= null @<= 5, r8 @= null $<= 5) : (b, b)
Binder : (r8 @= null @<= 5, r8 @= null $<= 5)
Reducer: (false, false)
###
> (r8 @= null  @>  5r, r8 @= null  $>  5r)
(r8 @= null @> 5, r8 @= null $> 5) : (b, b)
Binder : (r8 @= null @> 5, r8 @= null $> 5)
Reducer: (false, false)
###
> (r8 @= null  @>= 5r, r8 @= null  $>= 5r)
(r8 @= null @>= 5, r8 @= null $>= 5) : (b, b)
Binder : (r8 @= null @>= 5, r8 @= null $>= 5)
Reducer: (false, false)
###
> (r8 @= null !@=  5r, r8 @= null !$=  5r)
(r8 @= null !@= 5, r8 @= null !$= 5) : (b, b)
Binder : (r8 @= null !@= 5, r8 @= null !$= 5)
Reducer: (false, false)
###
> (r8 @= null !@<  5r, r8 @= null !$<  5r)
(r8 @= null !@< 5, r8 @= null !$< 5) : (b, b)
Binder : (r8 @= null @>= 5, r8 @= null !$< 5)
Reducer: (false, false)
###
> (r8 @= null !@<= 5r, r8 @= null !$<= 5r)
(r8 @= null !@<= 5, r8 @= null !$<= 5) : (b, b)
Binder : (r8 @= null @> 5, r8 @= null !$<= 5)
Reducer: (false, false)
###
> (r8 @= null !@>  5r, r8 @= null !$>  5r)
(r8 @= null !@> 5, r8 @= null !$> 5) : (b, b)
Binder : (r8 @= null @<= 5, r8 @= null !$> 5)
Reducer: (false, false)
###
> (r8 @= null !@>= 5r, r8 @= null !$>= 5r)
(r8 @= null !@>= 5, r8 @= null !$>= 5) : (b, b)
Binder : (r8 @= null @< 5, r8 @= null !$>= 5)
Reducer: (false, false)
###
> (r8 @= null  @=  null, r8 @= null  $=  null)
(r8 @= null @= null, r8 @= null $= null) : (b, b)
Binder : (r8 @= null @= null, r8 @= null $= null)
Reducer: (false, false)
###
> (r8 @= null  @<  null, r8 @= null  $<  null)
(r8 @= null @< null, r8 @= null $< null) : (b, b)
Binder : (r8 @= null @< null, r8 @= null $< null)
Reducer: (false, false)
###
> (r8 @= null  @<= null, r8 @= null  $<= null)
(r8 @= null @<= null, r8 @= null $<= null) : (b, b)
Binder : (r8 @= null @<= null, r8 @= null $<= null)
Reducer: (false, false)
###
> (r8 @= null  @>  null, r8 @= null  $>  null)
(r8 @= null @> null, r8 @= null $> null) : (b, b)
Binder : (r8 @= null @> null, r8 @= null $> null)
Reducer: (false, false)
###
> (r8 @= null  @>= null, r8 @= null  $>= null)
(r8 @= null @>= null, r8 @= null $>= null) : (b, b)
Binder : (r8 @= null @>= null, r8 @= null $>= null)
Reducer: (false, false)
###
> (r8 @= null !@=  null, r8 @= null !$=  null)
(r8 @= null !@= null, r8 @= null !$= null) : (b, b)
Binder : (r8 @= null !@= null, r8 @= null !$= null)
Reducer: (false, false)
###
> (r8 @= null !@<  null, r8 @= null !$<  null)
(r8 @= null !@< null, r8 @= null !$< null) : (b, b)
Binder : (r8 @= null @>= null, r8 @= null !$< null)
Reducer: (false, false)
###
> (r8 @= null !@<= null, r8 @= null !$<= null)
(r8 @= null !@<= null, r8 @= null !$<= null) : (b, b)
Binder : (r8 @= null @> null, r8 @= null !$<= null)
Reducer: (false, false)
###
> (r8 @= null !@>  null, r8 @= null !$>  null)
(r8 @= null !@> null, r8 @= null !$> null) : (b, b)
Binder : (r8 @= null @<= null, r8 @= null !$> null)
Reducer: (false, false)
###
> (r8 @= null !@>= null, r8 @= null !$>= null)
(r8 @= null !@>= null, r8 @= null !$>= null) : (b, b)
Binder : (r8 @= null @< null, r8 @= null !$>= null)
Reducer: (false, false)
###
> (qr8 @= 3r  @=  5r, qr8 @= 3r  $=  5r)
(qr8 @= 3 @= 5, qr8 @= 3 $= 5) : (b, b)
Binder : (qr8 @= 3 @= 5, qr8 @= 3 $= 5)
Reducer: (false, false)
###
> (qr8 @= 3r  @<  5r, qr8 @= 3r  $<  5r)
(qr8 @= 3 @< 5, qr8 @= 3 $< 5) : (b, b)
Binder : (qr8 @= 3 @< 5, qr8 @= 3 $< 5)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (qr8 @= 3r  @<= 5r, qr8 @= 3r  $<= 5r)
(qr8 @= 3 @<= 5, qr8 @= 3 $<= 5) : (b, b)
Binder : (qr8 @= 3 @<= 5, qr8 @= 3 $<= 5)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (qr8 @= 3r  @>  5r, qr8 @= 3r  $>  5r)
(qr8 @= 3 @> 5, qr8 @= 3 $> 5) : (b, b)
Binder : (qr8 @= 3 @> 5, qr8 @= 3 $> 5)
Reducer: (false, false)
###
> (qr8 @= 3r  @>= 5r, qr8 @= 3r  $>= 5r)
(qr8 @= 3 @>= 5, qr8 @= 3 $>= 5) : (b, b)
Binder : (qr8 @= 3 @>= 5, qr8 @= 3 $>= 5)
Reducer: (false, false)
###
> (qr8 @= 3r !@=  5r, qr8 @= 3r !$=  5r)
(qr8 @= 3 !@= 5, qr8 @= 3 !$= 5) : (b, b)
Binder : (qr8 @= 3 !@= 5, qr8 @= 3 !$= 5)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (qr8 @= 3r !@<  5r, qr8 @= 3r !$<  5r)
(qr8 @= 3 !@< 5, qr8 @= 3 !$< 5) : (b, b)
Binder : (qr8 @= 3 @>= 5, qr8 @= 3 !$< 5)
Reducer: (false, false)
###
> (qr8 @= 3r !@<= 5r, qr8 @= 3r !$<= 5r)
(qr8 @= 3 !@<= 5, qr8 @= 3 !$<= 5) : (b, b)
Binder : (qr8 @= 3 @> 5, qr8 @= 3 !$<= 5)
Reducer: (false, false)
###
> (qr8 @= 3r !@>  5r, qr8 @= 3r !$>  5r)
(qr8 @= 3 !@> 5, qr8 @= 3 !$> 5) : (b, b)
Binder : (qr8 @= 3 @<= 5, qr8 @= 3 !$> 5)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (qr8 @= 3r !@>= 5r, qr8 @= 3r !$>= 5r)
(qr8 @= 3 !@>= 5, qr8 @= 3 !$>= 5) : (b, b)
Binder : (qr8 @= 3 @< 5, qr8 @= 3 !$>= 5)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (3r @= qr8  @=  5r, 3r @= qr8  $=  5r)
(3 @= qr8 @= 5, 3 @= qr8 $= 5) : (b, b)
Binder : (3 @= qr8 @= 5, 3 @= qr8 $= 5)
###
> (3r @= qr8  @<  5r, 3r @= qr8  $<  5r)
(3 @= qr8 @< 5, 3 @= qr8 $< 5) : (b, b)
Binder : (3 @= qr8 @< 5, 3 @= qr8 $< 5)
###
> (3r @= qr8  @<= 5r, 3r @= qr8  $<= 5r)
(3 @= qr8 @<= 5, 3 @= qr8 $<= 5) : (b, b)
Binder : (3 @= qr8 @<= 5, 3 @= qr8 $<= 5)
###
> (3r @= qr8  @>  5r, 3r @= qr8  $>  5r)
(3 @= qr8 @> 5, 3 @= qr8 $> 5) : (b, b)
Binder : (3 @= qr8 @> 5, 3 @= qr8 $> 5)
###
> (3r @= qr8  @>= 5r, 3r @= qr8  $>= 5r)
(3 @= qr8 @>= 5, 3 @= qr8 $>= 5) : (b, b)
Binder : (3 @= qr8 @>= 5, 3 @= qr8 $>= 5)
###
> (3r @= qr8 !@=  5r, 3r @= qr8 !$=  5r)
(3 @= qr8 !@= 5, 3 @= qr8 !$= 5) : (b, b)
Binder : (3 @= qr8 !@= 5, 3 @= qr8 !$= 5)
###
> (3r @= qr8 !@<  5r, 3r @= qr8 !$<  5r)
(3 @= qr8 !@< 5, 3 @= qr8 !$< 5) : (b, b)
Binder : (3 @= qr8 @>= 5, 3 @= qr8 !$< 5)
###
> (3r @= qr8 !@<= 5r, 3r @= qr8 !$<= 5r)
(3 @= qr8 !@<= 5, 3 @= qr8 !$<= 5) : (b, b)
Binder : (3 @= qr8 @> 5, 3 @= qr8 !$<= 5)
###
> (3r @= qr8 !@>  5r, 3r @= qr8 !$>  5r)
(3 @= qr8 !@> 5, 3 @= qr8 !$> 5) : (b, b)
Binder : (3 @= qr8 @<= 5, 3 @= qr8 !$> 5)
###
> (3r @= qr8 !@>= 5r, 3r @= qr8 !$>= 5r)
(3 @= qr8 !@>= 5, 3 @= qr8 !$>= 5) : (b, b)
Binder : (3 @= qr8 @< 5, 3 @= qr8 !$>= 5)
###
> (qr8 @= 3r  @=  null, qr8 @= 3r  $=  null)
(qr8 @= 3 @= null, qr8 @= 3 $= null) : (b, b)
Binder : (qr8 @= 3 @= null, qr8 @= 3 $= null)
Reducer: (false, false)
###
> (qr8 @= 3r  @<  null, qr8 @= 3r  $<  null)
(qr8 @= 3 @< null, qr8 @= 3 $< null) : (b, b)
Binder : (qr8 @= 3 @< null, qr8 @= 3 $< null)
Reducer: (false, false)
###
> (qr8 @= 3r  @<= null, qr8 @= 3r  $<= null)
(qr8 @= 3 @<= null, qr8 @= 3 $<= null) : (b, b)
Binder : (qr8 @= 3 @<= null, qr8 @= 3 $<= null)
Reducer: (false, false)
###
> (qr8 @= 3r  @>  null, qr8 @= 3r  $>  null)
(qr8 @= 3 @> null, qr8 @= 3 $> null) : (b, b)
Binder : (qr8 @= 3 @> null, qr8 @= 3 $> null)
Reducer: (qr8 @= 3, false)
###
> (qr8 @= 3r  @>= null, qr8 @= 3r  $>= null)
(qr8 @= 3 @>= null, qr8 @= 3 $>= null) : (b, b)
Binder : (qr8 @= 3 @>= null, qr8 @= 3 $>= null)
Reducer: (qr8 @= 3, false)
###
> (qr8 @= 3r !@=  null, qr8 @= 3r !$=  null)
(qr8 @= 3 !@= null, qr8 @= 3 !$= null) : (b, b)
Binder : (qr8 @= 3 !@= null, qr8 @= 3 !$= null)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (qr8 @= 3r !@<  null, qr8 @= 3r !$<  null)
(qr8 @= 3 !@< null, qr8 @= 3 !$< null) : (b, b)
Binder : (qr8 @= 3 @>= null, qr8 @= 3 !$< null)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (qr8 @= 3r !@<= null, qr8 @= 3r !$<= null)
(qr8 @= 3 !@<= null, qr8 @= 3 !$<= null) : (b, b)
Binder : (qr8 @= 3 @> null, qr8 @= 3 !$<= null)
Reducer: (qr8 @= 3, qr8 @= 3)
###
> (qr8 @= 3r !@>  null, qr8 @= 3r !$>  null)
(qr8 @= 3 !@> null, qr8 @= 3 !$> null) : (b, b)
Binder : (qr8 @= 3 @<= null, qr8 @= 3 !$> null)
Reducer: (false, qr8 @= 3)
###
> (qr8 @= 3r !@>= null, qr8 @= 3r !$>= null)
(qr8 @= 3 !@>= null, qr8 @= 3 !$>= null) : (b, b)
Binder : (qr8 @= 3 @< null, qr8 @= 3 !$>= null)
Reducer: (false, qr8 @= 3)
###
> (qr8 @= null  @=  5r, qr8 $= null  @=  5r, qr8 @= null  $=  5r)
(qr8 @= null @= 5, qr8 $= null @= 5, qr8 @= null $= 5) : (b, b, b)
Binder : (qr8 @= null @= 5, qr8 $= null @= 5, qr8 @= null $= 5)
Reducer: (false, false, false)
###
> (qr8 @= null  @<  5r, qr8 $= null  @<  5r, qr8 @= null  $<  5r)
(qr8 @= null @< 5, qr8 $= null @< 5, qr8 @= null $< 5) : (b, b, b)
Binder : (qr8 @= null @< 5, qr8 $= null @< 5, qr8 @= null $< 5)
Reducer: (qr8 @= null, false, false)
###
> (qr8 @= null  @<= 5r, qr8 $= null  @<= 5r, qr8 @= null  $<= 5r)
(qr8 @= null @<= 5, qr8 $= null @<= 5, qr8 @= null $<= 5) : (b, b, b)
Binder : (qr8 @= null @<= 5, qr8 $= null @<= 5, qr8 @= null $<= 5)
Reducer: (qr8 @= null, false, false)
###
> (qr8 @= null  @>  5r, qr8 $= null  @>  5r, qr8 @= null  $>  5r)
(qr8 @= null @> 5, qr8 $= null @> 5, qr8 @= null $> 5) : (b, b, b)
Binder : (qr8 @= null @> 5, qr8 $= null @> 5, qr8 @= null $> 5)
Reducer: (false, false, false)
###
> (qr8 @= null  @>= 5r, qr8 $= null  @>= 5r, qr8 @= null  $>= 5r)
(qr8 @= null @>= 5, qr8 $= null @>= 5, qr8 @= null $>= 5) : (b, b, b)
Binder : (qr8 @= null @>= 5, qr8 $= null @>= 5, qr8 @= null $>= 5)
Reducer: (false, false, false)
###
> (qr8 @= null !@=  5r, qr8 $= null !@=  5r, qr8 @= null !$=  5r)
(qr8 @= null !@= 5, qr8 $= null !@= 5, qr8 @= null !$= 5) : (b, b, b)
Binder : (qr8 @= null !@= 5, qr8 $= null !@= 5, qr8 @= null !$= 5)
Reducer: (qr8 @= null, false, qr8 @= null)
###
> (qr8 @= null !@<  5r, qr8 $= null !@<  5r, qr8 @= null !$<  5r)
(qr8 @= null !@< 5, qr8 $= null !@< 5, qr8 @= null !$< 5) : (b, b, b)
Binder : (qr8 @= null @>= 5, qr8 $= null @>= 5, qr8 @= null !$< 5)
Reducer: (false, false, qr8 @= null)
###
> (qr8 @= null !@<= 5r, qr8 $= null !@<= 5r, qr8 @= null !$<= 5r)
(qr8 @= null !@<= 5, qr8 $= null !@<= 5, qr8 @= null !$<= 5) : (b, b, b)
Binder : (qr8 @= null @> 5, qr8 $= null @> 5, qr8 @= null !$<= 5)
Reducer: (false, false, qr8 @= null)
###
> (qr8 @= null !@>  5r, qr8 $= null !@>  5r, qr8 @= null !$>  5r)
(qr8 @= null !@> 5, qr8 $= null !@> 5, qr8 @= null !$> 5) : (b, b, b)
Binder : (qr8 @= null @<= 5, qr8 $= null @<= 5, qr8 @= null !$> 5)
Reducer: (qr8 @= null, false, qr8 @= null)
###
> (qr8 @= null !@>= 5r, qr8 $= null !@>= 5r, qr8 @= null !$>= 5r)
(qr8 @= null !@>= 5, qr8 $= null !@>= 5, qr8 @= null !$>= 5) : (b, b, b)
Binder : (qr8 @= null @< 5, qr8 $= null @< 5, qr8 @= null !$>= 5)
Reducer: (qr8 @= null, false, qr8 @= null)
###
> (qr8 @= null  @=  null, qr8 $= null  @=  null, qr8 @= null  $=  null)
(qr8 @= null @= null, qr8 $= null @= null, qr8 @= null $= null) : (b, b, b)
Binder : (qr8 @= null @= null, qr8 $= null @= null, qr8 @= null $= null)
Reducer: (qr8 @= null, false, false)
###
> (qr8 @= null  @<  null, qr8 $= null  @<  null, qr8 @= null  $<  null)
(qr8 @= null @< null, qr8 $= null @< null, qr8 @= null $< null) : (b, b, b)
Binder : (qr8 @= null @< null, qr8 $= null @< null, qr8 @= null $< null)
Reducer: (false, false, false)
###
> (qr8 @= null  @<= null, qr8 $= null  @<= null, qr8 @= null  $<= null)
(qr8 @= null @<= null, qr8 $= null @<= null, qr8 @= null $<= null) : (b, b, b)
Binder : (qr8 @= null @<= null, qr8 $= null @<= null, qr8 @= null $<= null)
Reducer: (qr8 @= null, false, false)
###
> (qr8 @= null  @>  null, qr8 $= null  @>  null, qr8 @= null  $>  null)
(qr8 @= null @> null, qr8 $= null @> null, qr8 @= null $> null) : (b, b, b)
Binder : (qr8 @= null @> null, qr8 $= null @> null, qr8 @= null $> null)
Reducer: (false, false, false)
###
> (qr8 @= null  @>= null, qr8 $= null  @>= null, qr8 @= null  $>= null)
(qr8 @= null @>= null, qr8 $= null @>= null, qr8 @= null $>= null) : (b, b, b)
Binder : (qr8 @= null @>= null, qr8 $= null @>= null, qr8 @= null $>= null)
Reducer: (qr8 @= null, false, false)
###
> (qr8 @= null !@=  null, qr8 $= null !@=  null, qr8 @= null !$=  null)
(qr8 @= null !@= null, qr8 $= null !@= null, qr8 @= null !$= null) : (b, b, b)
Binder : (qr8 @= null !@= null, qr8 $= null !@= null, qr8 @= null !$= null)
Reducer: (false, false, qr8 @= null)
###
> (qr8 @= null !@<  null, qr8 $= null !@<  null, qr8 @= null !$<  null)
(qr8 @= null !@< null, qr8 $= null !@< null, qr8 @= null !$< null) : (b, b, b)
Binder : (qr8 @= null @>= null, qr8 $= null @>= null, qr8 @= null !$< null)
Reducer: (qr8 @= null, false, qr8 @= null)
###
> (qr8 @= null !@<= null, qr8 $= null !@<= null, qr8 @= null !$<= null)
(qr8 @= null !@<= null, qr8 $= null !@<= null, qr8 @= null !$<= null) : (b, b, b)
Binder : (qr8 @= null @> null, qr8 $= null @> null, qr8 @= null !$<= null)
Reducer: (false, false, qr8 @= null)
###
> (qr8 @= null !@>  null, qr8 $= null !@>  null, qr8 @= null !$>  null)
(qr8 @= null !@> null, qr8 $= null !@> null, qr8 @= null !$> null) : (b, b, b)
Binder : (qr8 @= null @<= null, qr8 $= null @<= null, qr8 @= null !$> null)
Reducer: (qr8 @= null, false, qr8 @= null)
###
> (qr8 @= null !@>= null, qr8 $= null !@>= null, qr8 @= null !$>= null)
(qr8 @= null !@>= null, qr8 $= null !@>= null, qr8 @= null !$>= null) : (b, b, b)
Binder : (qr8 @= null @< null, qr8 $= null @< null, qr8 @= null !$>= null)
Reducer: (false, false, qr8 @= null)
###
> "*** Two operator chain with >."
"*** Two operator chain with >." : s
Binder : "*** Two operator chain with >."
###
> (r8 @> 3r  @=  5r, r8 @> 3r  $=  5r)
(r8 @> 3 @= 5, r8 @> 3 $= 5) : (b, b)
Binder : (r8 @> 3 @= 5, r8 @> 3 $= 5)
Reducer: (false, false)
###
> (r8 @> 3r  @<  5r, r8 @> 3r  $<  5r)
(r8 @> 3 @< 5, r8 @> 3 $< 5) : (b, b)
Binder : (r8 @> 3 @< 5, r8 @> 3 $< 5)
Reducer: (r8 @> 3, r8 @> 3)
###
> (r8 @> 3r  @<= 5r, r8 @> 3r  $<= 5r)
(r8 @> 3 @<= 5, r8 @> 3 $<= 5) : (b, b)
Binder : (r8 @> 3 @<= 5, r8 @> 3 $<= 5)
Reducer: (r8 @> 3, r8 @> 3)
###
> (r8 @> 3r  @>  5r, r8 @> 3r  $>  5r)
(r8 @> 3 @> 5, r8 @> 3 $> 5) : (b, b)
Binder : (r8 @> 3 @> 5, r8 @> 3 $> 5)
Reducer: (false, false)
###
> (r8 @> 3r  @>= 5r, r8 @> 3r  $>= 5r)
(r8 @> 3 @>= 5, r8 @> 3 $>= 5) : (b, b)
Binder : (r8 @> 3 @>= 5, r8 @> 3 $>= 5)
Reducer: (false, false)
###
> (r8 @> 3r !@=  5r, r8 @> 3r !$=  5r)
(r8 @> 3 !@= 5, r8 @> 3 !$= 5) : (b, b)
Binder : (r8 @> 3 !@= 5, r8 @> 3 !$= 5)
Reducer: (r8 @> 3, r8 @> 3)
###
> (r8 @> 3r !@<  5r, r8 @> 3r !$<  5r)
(r8 @> 3 !@< 5, r8 @> 3 !$< 5) : (b, b)
Binder : (r8 @> 3 @>= 5, r8 @> 3 !$< 5)
Reducer: (false, false)
###
> (r8 @> 3r !@<= 5r, r8 @> 3r !$<= 5r)
(r8 @> 3 !@<= 5, r8 @> 3 !$<= 5) : (b, b)
Binder : (r8 @> 3 @> 5, r8 @> 3 !$<= 5)
Reducer: (false, false)
###
> (r8 @> 3r !@>  5r, r8 @> 3r !$>  5r)
(r8 @> 3 !@> 5, r8 @> 3 !$> 5) : (b, b)
Binder : (r8 @> 3 @<= 5, r8 @> 3 !$> 5)
Reducer: (r8 @> 3, r8 @> 3)
###
> (r8 @> 3r !@>= 5r, r8 @> 3r !$>= 5r)
(r8 @> 3 !@>= 5, r8 @> 3 !$>= 5) : (b, b)
Binder : (r8 @> 3 @< 5, r8 @> 3 !$>= 5)
Reducer: (r8 @> 3, r8 @> 3)
###
> (3r @> r8  @=  5r, 3r @> r8  $=  5r)
(3 @> r8 @= 5, 3 @> r8 $= 5) : (b, b)
Binder : (3 @> r8 @= 5, 3 @> r8 $= 5)
###
> (3r @> r8  @<  5r, 3r @> r8  $<  5r)
(3 @> r8 @< 5, 3 @> r8 $< 5) : (b, b)
Binder : (3 @> r8 @< 5, 3 @> r8 $< 5)
###
> (3r @> r8  @<= 5r, 3r @> r8  $<= 5r)
(3 @> r8 @<= 5, 3 @> r8 $<= 5) : (b, b)
Binder : (3 @> r8 @<= 5, 3 @> r8 $<= 5)
###
> (3r @> r8  @>  5r, 3r @> r8  $>  5r)
(3 @> r8 @> 5, 3 @> r8 $> 5) : (b, b)
Binder : (3 @> r8 @> 5, 3 @> r8 $> 5)
###
> (3r @> r8  @>= 5r, 3r @> r8  $>= 5r)
(3 @> r8 @>= 5, 3 @> r8 $>= 5) : (b, b)
Binder : (3 @> r8 @>= 5, 3 @> r8 $>= 5)
###
> (3r @> r8 !@=  5r, 3r @> r8 !$=  5r)
(3 @> r8 !@= 5, 3 @> r8 !$= 5) : (b, b)
Binder : (3 @> r8 !@= 5, 3 @> r8 !$= 5)
###
> (3r @> r8 !@<  5r, 3r @> r8 !$<  5r)
(3 @> r8 !@< 5, 3 @> r8 !$< 5) : (b, b)
Binder : (3 @> r8 @>= 5, 3 @> r8 !$< 5)
###
> (3r @> r8 !@<= 5r, 3r @> r8 !$<= 5r)
(3 @> r8 !@<= 5, 3 @> r8 !$<= 5) : (b, b)
Binder : (3 @> r8 @> 5, 3 @> r8 !$<= 5)
###
> (3r @> r8 !@>  5r, 3r @> r8 !$>  5r)
(3 @> r8 !@> 5, 3 @> r8 !$> 5) : (b, b)
Binder : (3 @> r8 @<= 5, 3 @> r8 !$> 5)
###
> (3r @> r8 !@>= 5r, 3r @> r8 !$>= 5r)
(3 @> r8 !@>= 5, 3 @> r8 !$>= 5) : (b, b)
Binder : (3 @> r8 @< 5, 3 @> r8 !$>= 5)
###
> (r8 @> 3r  @=  null, r8 @> 3r  $=  null)
(r8 @> 3 @= null, r8 @> 3 $= null) : (b, b)
Binder : (r8 @> 3 @= null, r8 @> 3 $= null)
Reducer: (false, false)
###
> (r8 @> 3r  @<  null, r8 @> 3r  $<  null)
(r8 @> 3 @< null, r8 @> 3 $< null) : (b, b)
Binder : (r8 @> 3 @< null, r8 @> 3 $< null)
Reducer: (false, false)
###
> (r8 @> 3r  @<= null, r8 @> 3r  $<= null)
(r8 @> 3 @<= null, r8 @> 3 $<= null) : (b, b)
Binder : (r8 @> 3 @<= null, r8 @> 3 $<= null)
Reducer: (false, false)
###
> (r8 @> 3r  @>  null, r8 @> 3r  $>  null)
(r8 @> 3 @> null, r8 @> 3 $> null) : (b, b)
Binder : (r8 @> 3 @> null, r8 @> 3 $> null)
Reducer: (r8 @> 3, false)
###
> (r8 @> 3r  @>= null, r8 @> 3r  $>= null)
(r8 @> 3 @>= null, r8 @> 3 $>= null) : (b, b)
Binder : (r8 @> 3 @>= null, r8 @> 3 $>= null)
Reducer: (r8 @> 3, false)
###
> (r8 @> 3r !@=  null, r8 @> 3r !$=  null)
(r8 @> 3 !@= null, r8 @> 3 !$= null) : (b, b)
Binder : (r8 @> 3 !@= null, r8 @> 3 !$= null)
Reducer: (r8 @> 3, r8 @> 3)
###
> (r8 @> 3r !@<  null, r8 @> 3r !$<  null)
(r8 @> 3 !@< null, r8 @> 3 !$< null) : (b, b)
Binder : (r8 @> 3 @>= null, r8 @> 3 !$< null)
Reducer: (r8 @> 3, r8 @> 3)
###
> (r8 @> 3r !@<= null, r8 @> 3r !$<= null)
(r8 @> 3 !@<= null, r8 @> 3 !$<= null) : (b, b)
Binder : (r8 @> 3 @> null, r8 @> 3 !$<= null)
Reducer: (r8 @> 3, r8 @> 3)
###
> (r8 @> 3r !@>  null, r8 @> 3r !$>  null)
(r8 @> 3 !@> null, r8 @> 3 !$> null) : (b, b)
Binder : (r8 @> 3 @<= null, r8 @> 3 !$> null)
Reducer: (false, r8 @> 3)
###
> (r8 @> 3r !@>= null, r8 @> 3r !$>= null)
(r8 @> 3 !@>= null, r8 @> 3 !$>= null) : (b, b)
Binder : (r8 @> 3 @< null, r8 @> 3 !$>= null)
Reducer: (false, r8 @> 3)
###
> (r8 @> null  @=  5r, r8 $> null  @=  5r, r8 @> null  $=  5r)
(r8 @> null @= 5, r8 $> null @= 5, r8 @> null $= 5) : (b, b, b)
Binder : (r8 @> null @= 5, r8 $> null @= 5, r8 @> null $= 5)
Reducer: (false, false, false)
###
> (r8 @> null  @<  5r, r8 $> null  @<  5r, r8 @> null  $<  5r)
(r8 @> null @< 5, r8 $> null @< 5, r8 @> null $< 5) : (b, b, b)
Binder : (r8 @> null @< 5, r8 $> null @< 5, r8 @> null $< 5)
Reducer: (true, false, false)
###
> (r8 @> null  @<= 5r, r8 $> null  @<= 5r, r8 @> null  $<= 5r)
(r8 @> null @<= 5, r8 $> null @<= 5, r8 @> null $<= 5) : (b, b, b)
Binder : (r8 @> null @<= 5, r8 $> null @<= 5, r8 @> null $<= 5)
Reducer: (true, false, false)
###
> (r8 @> null  @>  5r, r8 $> null  @>  5r, r8 @> null  $>  5r)
(r8 @> null @> 5, r8 $> null @> 5, r8 @> null $> 5) : (b, b, b)
Binder : (r8 @> null @> 5, r8 $> null @> 5, r8 @> null $> 5)
Reducer: (false, false, false)
###
> (r8 @> null  @>= 5r, r8 $> null  @>= 5r, r8 @> null  $>= 5r)
(r8 @> null @>= 5, r8 $> null @>= 5, r8 @> null $>= 5) : (b, b, b)
Binder : (r8 @> null @>= 5, r8 $> null @>= 5, r8 @> null $>= 5)
Reducer: (false, false, false)
###
> (r8 @> null !@=  5r, r8 $> null !@=  5r, r8 @> null !$=  5r)
(r8 @> null !@= 5, r8 $> null !@= 5, r8 @> null !$= 5) : (b, b, b)
Binder : (r8 @> null !@= 5, r8 $> null !@= 5, r8 @> null !$= 5)
Reducer: (true, false, true)
###
> (r8 @> null !@<  5r, r8 $> null !@<  5r, r8 @> null !$<  5r)
(r8 @> null !@< 5, r8 $> null !@< 5, r8 @> null !$< 5) : (b, b, b)
Binder : (r8 @> null @>= 5, r8 $> null @>= 5, r8 @> null !$< 5)
Reducer: (false, false, true)
###
> (r8 @> null !@<= 5r, r8 $> null !@<= 5r, r8 @> null !$<= 5r)
(r8 @> null !@<= 5, r8 $> null !@<= 5, r8 @> null !$<= 5) : (b, b, b)
Binder : (r8 @> null @> 5, r8 $> null @> 5, r8 @> null !$<= 5)
Reducer: (false, false, true)
###
> (r8 @> null !@>  5r, r8 $> null !@>  5r, r8 @> null !$>  5r)
(r8 @> null !@> 5, r8 $> null !@> 5, r8 @> null !$> 5) : (b, b, b)
Binder : (r8 @> null @<= 5, r8 $> null @<= 5, r8 @> null !$> 5)
Reducer: (true, false, true)
###
> (r8 @> null !@>= 5r, r8 $> null !@>= 5r, r8 @> null !$>= 5r)
(r8 @> null !@>= 5, r8 $> null !@>= 5, r8 @> null !$>= 5) : (b, b, b)
Binder : (r8 @> null @< 5, r8 $> null @< 5, r8 @> null !$>= 5)
Reducer: (true, false, true)
###
> (r8 @> null  @=  null, r8 $> null  @=  null, r8 @> null  $=  null)
(r8 @> null @= null, r8 $> null @= null, r8 @> null $= null) : (b, b, b)
Binder : (r8 @> null @= null, r8 $> null @= null, r8 @> null $= null)
Reducer: (true, false, false)
###
> (r8 @> null  @<  null, r8 $> null  @<  null, r8 @> null  $<  null)
(r8 @> null @< null, r8 $> null @< null, r8 @> null $< null) : (b, b, b)
Binder : (r8 @> null @< null, r8 $> null @< null, r8 @> null $< null)
Reducer: (false, false, false)
###
> (r8 @> null  @<= null, r8 $> null  @<= null, r8 @> null  $<= null)
(r8 @> null @<= null, r8 $> null @<= null, r8 @> null $<= null) : (b, b, b)
Binder : (r8 @> null @<= null, r8 $> null @<= null, r8 @> null $<= null)
Reducer: (true, false, false)
###
> (r8 @> null  @>  null, r8 $> null  @>  null, r8 @> null  $>  null)
(r8 @> null @> null, r8 $> null @> null, r8 @> null $> null) : (b, b, b)
Binder : (r8 @> null @> null, r8 $> null @> null, r8 @> null $> null)
Reducer: (false, false, false)
###
> (r8 @> null  @>= null, r8 $> null  @>= null, r8 @> null  $>= null)
(r8 @> null @>= null, r8 $> null @>= null, r8 @> null $>= null) : (b, b, b)
Binder : (r8 @> null @>= null, r8 $> null @>= null, r8 @> null $>= null)
Reducer: (true, false, false)
###
> (r8 @> null !@=  null, r8 $> null !@=  null, r8 @> null !$=  null)
(r8 @> null !@= null, r8 $> null !@= null, r8 @> null !$= null) : (b, b, b)
Binder : (r8 @> null !@= null, r8 $> null !@= null, r8 @> null !$= null)
Reducer: (false, false, true)
###
> (r8 @> null !@<  null, r8 $> null !@<  null, r8 @> null !$<  null)
(r8 @> null !@< null, r8 $> null !@< null, r8 @> null !$< null) : (b, b, b)
Binder : (r8 @> null @>= null, r8 $> null @>= null, r8 @> null !$< null)
Reducer: (true, false, true)
###
> (r8 @> null !@<= null, r8 $> null !@<= null, r8 @> null !$<= null)
(r8 @> null !@<= null, r8 $> null !@<= null, r8 @> null !$<= null) : (b, b, b)
Binder : (r8 @> null @> null, r8 $> null @> null, r8 @> null !$<= null)
Reducer: (false, false, true)
###
> (r8 @> null !@>  null, r8 $> null !@>  null, r8 @> null !$>  null)
(r8 @> null !@> null, r8 $> null !@> null, r8 @> null !$> null) : (b, b, b)
Binder : (r8 @> null @<= null, r8 $> null @<= null, r8 @> null !$> null)
Reducer: (true, false, true)
###
> (r8 @> null !@>= null, r8 $> null !@>= null, r8 @> null !$>= null)
(r8 @> null !@>= null, r8 $> null !@>= null, r8 @> null !$>= null) : (b, b, b)
Binder : (r8 @> null @< null, r8 $> null @< null, r8 @> null !$>= null)
Reducer: (false, false, true)
###
> (qr8 @> 3r  @=  5r, qr8 @> 3r  $=  5r)
(qr8 @> 3 @= 5, qr8 @> 3 $= 5) : (b, b)
Binder : (qr8 @> 3 @= 5, qr8 @> 3 $= 5)
Reducer: (false, false)
###
> (qr8 @> 3r  @<  5r, qr8 @> 3r  $<  5r)
(qr8 @> 3 @< 5, qr8 @> 3 $< 5) : (b, b)
Binder : (qr8 @> 3 @< 5, qr8 @> 3 $< 5)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (qr8 @> 3r  @<= 5r, qr8 @> 3r  $<= 5r)
(qr8 @> 3 @<= 5, qr8 @> 3 $<= 5) : (b, b)
Binder : (qr8 @> 3 @<= 5, qr8 @> 3 $<= 5)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (qr8 @> 3r  @>  5r, qr8 @> 3r  $>  5r)
(qr8 @> 3 @> 5, qr8 @> 3 $> 5) : (b, b)
Binder : (qr8 @> 3 @> 5, qr8 @> 3 $> 5)
Reducer: (false, false)
###
> (qr8 @> 3r  @>= 5r, qr8 @> 3r  $>= 5r)
(qr8 @> 3 @>= 5, qr8 @> 3 $>= 5) : (b, b)
Binder : (qr8 @> 3 @>= 5, qr8 @> 3 $>= 5)
Reducer: (false, false)
###
> (qr8 @> 3r !@=  5r, qr8 @> 3r !$=  5r)
(qr8 @> 3 !@= 5, qr8 @> 3 !$= 5) : (b, b)
Binder : (qr8 @> 3 !@= 5, qr8 @> 3 !$= 5)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (qr8 @> 3r !@<  5r, qr8 @> 3r !$<  5r)
(qr8 @> 3 !@< 5, qr8 @> 3 !$< 5) : (b, b)
Binder : (qr8 @> 3 @>= 5, qr8 @> 3 !$< 5)
Reducer: (false, false)
###
> (qr8 @> 3r !@<= 5r, qr8 @> 3r !$<= 5r)
(qr8 @> 3 !@<= 5, qr8 @> 3 !$<= 5) : (b, b)
Binder : (qr8 @> 3 @> 5, qr8 @> 3 !$<= 5)
Reducer: (false, false)
###
> (qr8 @> 3r !@>  5r, qr8 @> 3r !$>  5r)
(qr8 @> 3 !@> 5, qr8 @> 3 !$> 5) : (b, b)
Binder : (qr8 @> 3 @<= 5, qr8 @> 3 !$> 5)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (qr8 @> 3r !@>= 5r, qr8 @> 3r !$>= 5r)
(qr8 @> 3 !@>= 5, qr8 @> 3 !$>= 5) : (b, b)
Binder : (qr8 @> 3 @< 5, qr8 @> 3 !$>= 5)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (3r @> qr8  @=  5r, 3r @> qr8  $=  5r)
(3 @> qr8 @= 5, 3 @> qr8 $= 5) : (b, b)
Binder : (3 @> qr8 @= 5, 3 @> qr8 $= 5)
###
> (3r @> qr8  @<  5r, 3r @> qr8  $<  5r)
(3 @> qr8 @< 5, 3 @> qr8 $< 5) : (b, b)
Binder : (3 @> qr8 @< 5, 3 @> qr8 $< 5)
###
> (3r @> qr8  @<= 5r, 3r @> qr8  $<= 5r)
(3 @> qr8 @<= 5, 3 @> qr8 $<= 5) : (b, b)
Binder : (3 @> qr8 @<= 5, 3 @> qr8 $<= 5)
###
> (3r @> qr8  @>  5r, 3r @> qr8  $>  5r)
(3 @> qr8 @> 5, 3 @> qr8 $> 5) : (b, b)
Binder : (3 @> qr8 @> 5, 3 @> qr8 $> 5)
###
> (3r @> qr8  @>= 5r, 3r @> qr8  $>= 5r)
(3 @> qr8 @>= 5, 3 @> qr8 $>= 5) : (b, b)
Binder : (3 @> qr8 @>= 5, 3 @> qr8 $>= 5)
###
> (3r @> qr8 !@=  5r, 3r @> qr8 !$=  5r)
(3 @> qr8 !@= 5, 3 @> qr8 !$= 5) : (b, b)
Binder : (3 @> qr8 !@= 5, 3 @> qr8 !$= 5)
###
> (3r @> qr8 !@<  5r, 3r @> qr8 !$<  5r)
(3 @> qr8 !@< 5, 3 @> qr8 !$< 5) : (b, b)
Binder : (3 @> qr8 @>= 5, 3 @> qr8 !$< 5)
###
> (3r @> qr8 !@<= 5r, 3r @> qr8 !$<= 5r)
(3 @> qr8 !@<= 5, 3 @> qr8 !$<= 5) : (b, b)
Binder : (3 @> qr8 @> 5, 3 @> qr8 !$<= 5)
###
> (3r @> qr8 !@>  5r, 3r @> qr8 !$>  5r)
(3 @> qr8 !@> 5, 3 @> qr8 !$> 5) : (b, b)
Binder : (3 @> qr8 @<= 5, 3 @> qr8 !$> 5)
###
> (3r @> qr8 !@>= 5r, 3r @> qr8 !$>= 5r)
(3 @> qr8 !@>= 5, 3 @> qr8 !$>= 5) : (b, b)
Binder : (3 @> qr8 @< 5, 3 @> qr8 !$>= 5)
###
> (qr8 @> 3r  @=  null, qr8 @> 3r  $=  null)
(qr8 @> 3 @= null, qr8 @> 3 $= null) : (b, b)
Binder : (qr8 @> 3 @= null, qr8 @> 3 $= null)
Reducer: (false, false)
###
> (qr8 @> 3r  @<  null, qr8 @> 3r  $<  null)
(qr8 @> 3 @< null, qr8 @> 3 $< null) : (b, b)
Binder : (qr8 @> 3 @< null, qr8 @> 3 $< null)
Reducer: (false, false)
###
> (qr8 @> 3r  @<= null, qr8 @> 3r  $<= null)
(qr8 @> 3 @<= null, qr8 @> 3 $<= null) : (b, b)
Binder : (qr8 @> 3 @<= null, qr8 @> 3 $<= null)
Reducer: (false, false)
###
> (qr8 @> 3r  @>  null, qr8 @> 3r  $>  null)
(qr8 @> 3 @> null, qr8 @> 3 $> null) : (b, b)
Binder : (qr8 @> 3 @> null, qr8 @> 3 $> null)
Reducer: (qr8 @> 3, false)
###
> (qr8 @> 3r  @>= null, qr8 @> 3r  $>= null)
(qr8 @> 3 @>= null, qr8 @> 3 $>= null) : (b, b)
Binder : (qr8 @> 3 @>= null, qr8 @> 3 $>= null)
Reducer: (qr8 @> 3, false)
###
> (qr8 @> 3r !@=  null, qr8 @> 3r !$=  null)
(qr8 @> 3 !@= null, qr8 @> 3 !$= null) : (b, b)
Binder : (qr8 @> 3 !@= null, qr8 @> 3 !$= null)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (qr8 @> 3r !@<  null, qr8 @> 3r !$<  null)
(qr8 @> 3 !@< null, qr8 @> 3 !$< null) : (b, b)
Binder : (qr8 @> 3 @>= null, qr8 @> 3 !$< null)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (qr8 @> 3r !@<= null, qr8 @> 3r !$<= null)
(qr8 @> 3 !@<= null, qr8 @> 3 !$<= null) : (b, b)
Binder : (qr8 @> 3 @> null, qr8 @> 3 !$<= null)
Reducer: (qr8 @> 3, qr8 @> 3)
###
> (qr8 @> 3r !@>  null, qr8 @> 3r !$>  null)
(qr8 @> 3 !@> null, qr8 @> 3 !$> null) : (b, b)
Binder : (qr8 @> 3 @<= null, qr8 @> 3 !$> null)
Reducer: (false, qr8 @> 3)
###
> (qr8 @> 3r !@>= null, qr8 @> 3r !$>= null)
(qr8 @> 3 !@>= null, qr8 @> 3 !$>= null) : (b, b)
Binder : (qr8 @> 3 @< null, qr8 @> 3 !$>= null)
Reducer: (false, qr8 @> 3)
###
> (qr8 @> null  @=  5r, qr8 $> null  @=  5r, qr8 @> null  $=  5r)
(qr8 @> null @= 5, qr8 $> null @= 5, qr8 @> null $= 5) : (b, b, b)
Binder : (qr8 @> null @= 5, qr8 $> null @= 5, qr8 @> null $= 5)
Reducer: (false, false, false)
###
> (qr8 @> null  @<  5r, qr8 $> null  @<  5r, qr8 @> null  $<  5r)
(qr8 @> null @< 5, qr8 $> null @< 5, qr8 @> null $< 5) : (b, b, b)
Binder : (qr8 @> null @< 5, qr8 $> null @< 5, qr8 @> null $< 5)
Reducer: (qr8 @> null, false, false)
###
> (qr8 @> null  @<= 5r, qr8 $> null  @<= 5r, qr8 @> null  $<= 5r)
(qr8 @> null @<= 5, qr8 $> null @<= 5, qr8 @> null $<= 5) : (b, b, b)
Binder : (qr8 @> null @<= 5, qr8 $> null @<= 5, qr8 @> null $<= 5)
Reducer: (qr8 @> null, false, false)
###
> (qr8 @> null  @>  5r, qr8 $> null  @>  5r, qr8 @> null  $>  5r)
(qr8 @> null @> 5, qr8 $> null @> 5, qr8 @> null $> 5) : (b, b, b)
Binder : (qr8 @> null @> 5, qr8 $> null @> 5, qr8 @> null $> 5)
Reducer: (false, false, false)
###
> (qr8 @> null  @>= 5r, qr8 $> null  @>= 5r, qr8 @> null  $>= 5r)
(qr8 @> null @>= 5, qr8 $> null @>= 5, qr8 @> null $>= 5) : (b, b, b)
Binder : (qr8 @> null @>= 5, qr8 $> null @>= 5, qr8 @> null $>= 5)
Reducer: (false, false, false)
###
> (qr8 @> null !@=  5r, qr8 $> null !@=  5r, qr8 @> null !$=  5r)
(qr8 @> null !@= 5, qr8 $> null !@= 5, qr8 @> null !$= 5) : (b, b, b)
Binder : (qr8 @> null !@= 5, qr8 $> null !@= 5, qr8 @> null !$= 5)
Reducer: (qr8 @> null, false, qr8 @> null)
###
> (qr8 @> null !@<  5r, qr8 $> null !@<  5r, qr8 @> null !$<  5r)
(qr8 @> null !@< 5, qr8 $> null !@< 5, qr8 @> null !$< 5) : (b, b, b)
Binder : (qr8 @> null @>= 5, qr8 $> null @>= 5, qr8 @> null !$< 5)
Reducer: (false, false, qr8 @> null)
###
> (qr8 @> null !@<= 5r, qr8 $> null !@<= 5r, qr8 @> null !$<= 5r)
(qr8 @> null !@<= 5, qr8 $> null !@<= 5, qr8 @> null !$<= 5) : (b, b, b)
Binder : (qr8 @> null @> 5, qr8 $> null @> 5, qr8 @> null !$<= 5)
Reducer: (false, false, qr8 @> null)
###
> (qr8 @> null !@>  5r, qr8 $> null !@>  5r, qr8 @> null !$>  5r)
(qr8 @> null !@> 5, qr8 $> null !@> 5, qr8 @> null !$> 5) : (b, b, b)
Binder : (qr8 @> null @<= 5, qr8 $> null @<= 5, qr8 @> null !$> 5)
Reducer: (qr8 @> null, false, qr8 @> null)
###
> (qr8 @> null !@>= 5r, qr8 $> null !@>= 5r, qr8 @> null !$>= 5r)
(qr8 @> null !@>= 5, qr8 $> null !@>= 5, qr8 @> null !$>= 5) : (b, b, b)
Binder : (qr8 @> null @< 5, qr8 $> null @< 5, qr8 @> null !$>= 5)
Reducer: (qr8 @> null, false, qr8 @> null)
###
> (qr8 @> null  @=  null, qr8 $> null  @=  null, qr8 @> null  $=  null)
(qr8 @> null @= null, qr8 $> null @= null, qr8 @> null $= null) : (b, b, b)
Binder : (qr8 @> null @= null, qr8 $> null @= null, qr8 @> null $= null)
Reducer: (qr8 @> null, false, false)
###
> (qr8 @> null  @<  null, qr8 $> null  @<  null, qr8 @> null  $<  null)
(qr8 @> null @< null, qr8 $> null @< null, qr8 @> null $< null) : (b, b, b)
Binder : (qr8 @> null @< null, qr8 $> null @< null, qr8 @> null $< null)
Reducer: (false, false, false)
###
> (qr8 @> null  @<= null, qr8 $> null  @<= null, qr8 @> null  $<= null)
(qr8 @> null @<= null, qr8 $> null @<= null, qr8 @> null $<= null) : (b, b, b)
Binder : (qr8 @> null @<= null, qr8 $> null @<= null, qr8 @> null $<= null)
Reducer: (qr8 @> null, false, false)
###
> (qr8 @> null  @>  null, qr8 $> null  @>  null, qr8 @> null  $>  null)
(qr8 @> null @> null, qr8 $> null @> null, qr8 @> null $> null) : (b, b, b)
Binder : (qr8 @> null @> null, qr8 $> null @> null, qr8 @> null $> null)
Reducer: (false, false, false)
###
> (qr8 @> null  @>= null, qr8 $> null  @>= null, qr8 @> null  $>= null)
(qr8 @> null @>= null, qr8 $> null @>= null, qr8 @> null $>= null) : (b, b, b)
Binder : (qr8 @> null @>= null, qr8 $> null @>= null, qr8 @> null $>= null)
Reducer: (qr8 @> null, false, false)
###
> (qr8 @> null !@=  null, qr8 $> null !@=  null, qr8 @> null !$=  null)
(qr8 @> null !@= null, qr8 $> null !@= null, qr8 @> null !$= null) : (b, b, b)
Binder : (qr8 @> null !@= null, qr8 $> null !@= null, qr8 @> null !$= null)
Reducer: (false, false, qr8 @> null)
###
> (qr8 @> null !@<  null, qr8 $> null !@<  null, qr8 @> null !$<  null)
(qr8 @> null !@< null, qr8 $> null !@< null, qr8 @> null !$< null) : (b, b, b)
Binder : (qr8 @> null @>= null, qr8 $> null @>= null, qr8 @> null !$< null)
Reducer: (qr8 @> null, false, qr8 @> null)
###
> (qr8 @> null !@<= null, qr8 $> null !@<= null, qr8 @> null !$<= null)
(qr8 @> null !@<= null, qr8 $> null !@<= null, qr8 @> null !$<= null) : (b, b, b)
Binder : (qr8 @> null @> null, qr8 $> null @> null, qr8 @> null !$<= null)
Reducer: (false, false, qr8 @> null)
###
> (qr8 @> null !@>  null, qr8 $> null !@>  null, qr8 @> null !$>  null)
(qr8 @> null !@> null, qr8 $> null !@> null, qr8 @> null !$> null) : (b, b, b)
Binder : (qr8 @> null @<= null, qr8 $> null @<= null, qr8 @> null !$> null)
Reducer: (qr8 @> null, false, qr8 @> null)
###
> (qr8 @> null !@>= null, qr8 $> null !@>= null, qr8 @> null !$>= null)
(qr8 @> null !@>= null, qr8 $> null !@>= null, qr8 @> null !$>= null) : (b, b, b)
Binder : (qr8 @> null @< null, qr8 $> null @< null, qr8 @> null !$>= null)
Reducer: (false, false, qr8 @> null)
###
> "*** Two operator chain with = on the right."
"*** Two operator chain with = on the right." : s
Binder : "*** Two operator chain with = on the right."
###
> (3r  @=  5r @= r8, 3r  $=  5r @= r8)
(3 @= 5 @= r8, 3 $= 5 @= r8) : (b, b)
Binder : (3 @= 5 @= r8, 3 $= 5 @= r8)
Reducer: (false, false)
###
> (3r  @<  5r @= r8, 3r  $<  5r @= r8)
(3 @< 5 @= r8, 3 $< 5 @= r8) : (b, b)
Binder : (3 @< 5 @= r8, 3 $< 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (3r  @<= 5r @= r8, 3r  $<= 5r @= r8)
(3 @<= 5 @= r8, 3 $<= 5 @= r8) : (b, b)
Binder : (3 @<= 5 @= r8, 3 $<= 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (3r  @>  5r @= r8, 3r  $>  5r @= r8)
(3 @> 5 @= r8, 3 $> 5 @= r8) : (b, b)
Binder : (3 @> 5 @= r8, 3 $> 5 @= r8)
Reducer: (false, false)
###
> (3r  @>= 5r @= r8, 3r  $>= 5r @= r8)
(3 @>= 5 @= r8, 3 $>= 5 @= r8) : (b, b)
Binder : (3 @>= 5 @= r8, 3 $>= 5 @= r8)
Reducer: (false, false)
###
> (3r !@=  5r @= r8, 3r !$=  5r @= r8)
(3 !@= 5 @= r8, 3 !$= 5 @= r8) : (b, b)
Binder : (3 !@= 5 @= r8, 3 !$= 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (3r !@<  5r @= r8, 3r !$<  5r @= r8)
(3 !@< 5 @= r8, 3 !$< 5 @= r8) : (b, b)
Binder : (3 @>= 5 @= r8, 3 !$< 5 @= r8)
Reducer: (false, false)
###
> (3r !@<= 5r @= r8, 3r !$<= 5r @= r8)
(3 !@<= 5 @= r8, 3 !$<= 5 @= r8) : (b, b)
Binder : (3 @> 5 @= r8, 3 !$<= 5 @= r8)
Reducer: (false, false)
###
> (3r !@>  5r @= r8, 3r !$>  5r @= r8)
(3 !@> 5 @= r8, 3 !$> 5 @= r8) : (b, b)
Binder : (3 @<= 5 @= r8, 3 !$> 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (3r !@>= 5r @= r8, 3r !$>= 5r @= r8)
(3 !@>= 5 @= r8, 3 !$>= 5 @= r8) : (b, b)
Binder : (3 @< 5 @= r8, 3 !$>= 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (null  @=  5r @= r8, null  $=  5r @= r8)
(null @= 5 @= r8, null $= 5 @= r8) : (b, b)
Binder : (null @= 5 @= r8, null $= 5 @= r8)
Reducer: (false, false)
###
> (null  @<  5r @= r8, null  $<  5r @= r8)
(null @< 5 @= r8, null $< 5 @= r8) : (b, b)
Binder : (null @< 5 @= r8, null $< 5 @= r8)
Reducer: (5 @= r8, false)
###
> (null  @<= 5r @= r8, null  $<= 5r @= r8)
(null @<= 5 @= r8, null $<= 5 @= r8) : (b, b)
Binder : (null @<= 5 @= r8, null $<= 5 @= r8)
Reducer: (5 @= r8, false)
###
> (null  @>  5r @= r8, null  $>  5r @= r8)
(null @> 5 @= r8, null $> 5 @= r8) : (b, b)
Binder : (null @> 5 @= r8, null $> 5 @= r8)
Reducer: (false, false)
###
> (null  @>= 5r @= r8, null  $>= 5r @= r8)
(null @>= 5 @= r8, null $>= 5 @= r8) : (b, b)
Binder : (null @>= 5 @= r8, null $>= 5 @= r8)
Reducer: (false, false)
###
> (null !@=  5r @= r8, null !$=  5r @= r8)
(null !@= 5 @= r8, null !$= 5 @= r8) : (b, b)
Binder : (null !@= 5 @= r8, null !$= 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (null !@<  5r @= r8, null !$<  5r @= r8)
(null !@< 5 @= r8, null !$< 5 @= r8) : (b, b)
Binder : (null @>= 5 @= r8, null !$< 5 @= r8)
Reducer: (false, 5 @= r8)
###
> (null !@<= 5r @= r8, null !$<= 5r @= r8)
(null !@<= 5 @= r8, null !$<= 5 @= r8) : (b, b)
Binder : (null @> 5 @= r8, null !$<= 5 @= r8)
Reducer: (false, 5 @= r8)
###
> (null !@>  5r @= r8, null !$>  5r @= r8)
(null !@> 5 @= r8, null !$> 5 @= r8) : (b, b)
Binder : (null @<= 5 @= r8, null !$> 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (null !@>= 5r @= r8, null !$>= 5r @= r8)
(null !@>= 5 @= r8, null !$>= 5 @= r8) : (b, b)
Binder : (null @< 5 @= r8, null !$>= 5 @= r8)
Reducer: (5 @= r8, 5 @= r8)
###
> (3r  @=  null @= r8, 3r  @=  null $= r8, 3r  $=  null @= r8)
(3 @= null @= r8, 3 @= null $= r8, 3 $= null @= r8) : (b, b, b)
Binder : (3 @= null @= r8, 3 @= null $= r8, 3 $= null @= r8)
Reducer: (false, false, false)
###
> (3r  @<  null @= r8, 3r  @<  null $= r8, 3r  $<  null @= r8)
(3 @< null @= r8, 3 @< null $= r8, 3 $< null @= r8) : (b, b, b)
Binder : (3 @< null @= r8, 3 @< null $= r8, 3 $< null @= r8)
Reducer: (false, false, false)
###
> (3r  @<= null @= r8, 3r  @<= null $= r8, 3r  $<= null @= r8)
(3 @<= null @= r8, 3 @<= null $= r8, 3 $<= null @= r8) : (b, b, b)
Binder : (3 @<= null @= r8, 3 @<= null $= r8, 3 $<= null @= r8)
Reducer: (false, false, false)
###
> (3r  @>  null @= r8, 3r  @>  null $= r8, 3r  $>  null @= r8)
(3 @> null @= r8, 3 @> null $= r8, 3 $> null @= r8) : (b, b, b)
Binder : (3 @> null @= r8, 3 @> null $= r8, 3 $> null @= r8)
Reducer: (false, false, false)
###
> (3r  @>= null @= r8, 3r  @>= null $= r8, 3r  $>= null @= r8)
(3 @>= null @= r8, 3 @>= null $= r8, 3 $>= null @= r8) : (b, b, b)
Binder : (3 @>= null @= r8, 3 @>= null $= r8, 3 $>= null @= r8)
Reducer: (false, false, false)
###
> (3r !@=  null @= r8, 3r !@=  null $= r8, 3r !$=  null @= r8)
(3 !@= null @= r8, 3 !@= null $= r8, 3 !$= null @= r8) : (b, b, b)
Binder : (3 !@= null @= r8, 3 !@= null $= r8, 3 !$= null @= r8)
Reducer: (false, false, false)
###
> (3r !@<  null @= r8, 3r !@<  null $= r8, 3r !$<  null @= r8)
(3 !@< null @= r8, 3 !@< null $= r8, 3 !$< null @= r8) : (b, b, b)
Binder : (3 @>= null @= r8, 3 @>= null $= r8, 3 !$< null @= r8)
Reducer: (false, false, false)
###
> (3r !@<= null @= r8, 3r !@<= null $= r8, 3r !$<= null @= r8)
(3 !@<= null @= r8, 3 !@<= null $= r8, 3 !$<= null @= r8) : (b, b, b)
Binder : (3 @> null @= r8, 3 @> null $= r8, 3 !$<= null @= r8)
Reducer: (false, false, false)
###
> (3r !@>  null @= r8, 3r !@>  null $= r8, 3r !$>  null @= r8)
(3 !@> null @= r8, 3 !@> null $= r8, 3 !$> null @= r8) : (b, b, b)
Binder : (3 @<= null @= r8, 3 @<= null $= r8, 3 !$> null @= r8)
Reducer: (false, false, false)
###
> (3r !@>= null @= r8, 3r !@>= null $= r8, 3r !$>= null @= r8)
(3 !@>= null @= r8, 3 !@>= null $= r8, 3 !$>= null @= r8) : (b, b, b)
Binder : (3 @< null @= r8, 3 @< null $= r8, 3 !$>= null @= r8)
Reducer: (false, false, false)
###
> (null  @=  null @= r8, null  @=  null $= r8, null  $=  null @= r8)
(null @= null @= r8, null @= null $= r8, null $= null @= r8) : (b, b, b)
Binder : (null @= null @= r8, null @= null $= r8, null $= null @= r8)
Reducer: (false, false, false)
###
> (null  @<  null @= r8, null  @<  null $= r8, null  $<  null @= r8)
(null @< null @= r8, null @< null $= r8, null $< null @= r8) : (b, b, b)
Binder : (null @< null @= r8, null @< null $= r8, null $< null @= r8)
Reducer: (false, false, false)
###
> (null  @<= null @= r8, null  @<= null $= r8, null  $<= null @= r8)
(null @<= null @= r8, null @<= null $= r8, null $<= null @= r8) : (b, b, b)
Binder : (null @<= null @= r8, null @<= null $= r8, null $<= null @= r8)
Reducer: (false, false, false)
###
> (null  @>  null @= r8, null  @>  null $= r8, null  $>  null @= r8)
(null @> null @= r8, null @> null $= r8, null $> null @= r8) : (b, b, b)
Binder : (null @> null @= r8, null @> null $= r8, null $> null @= r8)
Reducer: (false, false, false)
###
> (null  @>= null @= r8, null  @>= null $= r8, null  $>= null @= r8)
(null @>= null @= r8, null @>= null $= r8, null $>= null @= r8) : (b, b, b)
Binder : (null @>= null @= r8, null @>= null $= r8, null $>= null @= r8)
Reducer: (false, false, false)
###
> (null !@=  null @= r8, null !@=  null $= r8, null !$=  null @= r8)
(null !@= null @= r8, null !@= null $= r8, null !$= null @= r8) : (b, b, b)
Binder : (null !@= null @= r8, null !@= null $= r8, null !$= null @= r8)
Reducer: (false, false, false)
###
> (null !@<  null @= r8, null !@<  null $= r8, null !$<  null @= r8)
(null !@< null @= r8, null !@< null $= r8, null !$< null @= r8) : (b, b, b)
Binder : (null @>= null @= r8, null @>= null $= r8, null !$< null @= r8)
Reducer: (false, false, false)
###
> (null !@<= null @= r8, null !@<= null $= r8, null !$<= null @= r8)
(null !@<= null @= r8, null !@<= null $= r8, null !$<= null @= r8) : (b, b, b)
Binder : (null @> null @= r8, null @> null $= r8, null !$<= null @= r8)
Reducer: (false, false, false)
###
> (null !@>  null @= r8, null !@>  null $= r8, null !$>  null @= r8)
(null !@> null @= r8, null !@> null $= r8, null !$> null @= r8) : (b, b, b)
Binder : (null @<= null @= r8, null @<= null $= r8, null !$> null @= r8)
Reducer: (false, false, false)
###
> (null !@>= null @= r8, null !@>= null $= r8, null !$>= null @= r8)
(null !@>= null @= r8, null !@>= null $= r8, null !$>= null @= r8) : (b, b, b)
Binder : (null @< null @= r8, null @< null $= r8, null !$>= null @= r8)
Reducer: (false, false, false)
###
> (3r  @=  5r @= qr8, 3r  @=  5r $= qr8, 3r  $=  5r @= qr8)
(3 @= 5 @= qr8, 3 @= 5 $= qr8, 3 $= 5 @= qr8) : (b, b, b)
Binder : (3 @= 5 @= qr8, 3 @= 5 $= qr8, 3 $= 5 @= qr8)
Reducer: (false, false, false)
###
> (3r  @<  5r @= qr8, 3r  @<  5r $= qr8, 3r  $<  5r @= qr8)
(3 @< 5 @= qr8, 3 @< 5 $= qr8, 3 $< 5 @= qr8) : (b, b, b)
Binder : (3 @< 5 @= qr8, 3 @< 5 $= qr8, 3 $< 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (3r  @<= 5r @= qr8, 3r  @<= 5r $= qr8, 3r  $<= 5r @= qr8)
(3 @<= 5 @= qr8, 3 @<= 5 $= qr8, 3 $<= 5 @= qr8) : (b, b, b)
Binder : (3 @<= 5 @= qr8, 3 @<= 5 $= qr8, 3 $<= 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (3r  @>  5r @= qr8, 3r  @>  5r $= qr8, 3r  $>  5r @= qr8)
(3 @> 5 @= qr8, 3 @> 5 $= qr8, 3 $> 5 @= qr8) : (b, b, b)
Binder : (3 @> 5 @= qr8, 3 @> 5 $= qr8, 3 $> 5 @= qr8)
Reducer: (false, false, false)
###
> (3r  @>= 5r @= qr8, 3r  @>= 5r $= qr8, 3r  $>= 5r @= qr8)
(3 @>= 5 @= qr8, 3 @>= 5 $= qr8, 3 $>= 5 @= qr8) : (b, b, b)
Binder : (3 @>= 5 @= qr8, 3 @>= 5 $= qr8, 3 $>= 5 @= qr8)
Reducer: (false, false, false)
###
> (3r !@=  5r @= qr8, 3r !@=  5r $= qr8, 3r !$=  5r @= qr8)
(3 !@= 5 @= qr8, 3 !@= 5 $= qr8, 3 !$= 5 @= qr8) : (b, b, b)
Binder : (3 !@= 5 @= qr8, 3 !@= 5 $= qr8, 3 !$= 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (3r !@<  5r @= qr8, 3r !@<  5r $= qr8, 3r !$<  5r @= qr8)
(3 !@< 5 @= qr8, 3 !@< 5 $= qr8, 3 !$< 5 @= qr8) : (b, b, b)
Binder : (3 @>= 5 @= qr8, 3 @>= 5 $= qr8, 3 !$< 5 @= qr8)
Reducer: (false, false, false)
###
> (3r !@<= 5r @= qr8, 3r !@<= 5r $= qr8, 3r !$<= 5r @= qr8)
(3 !@<= 5 @= qr8, 3 !@<= 5 $= qr8, 3 !$<= 5 @= qr8) : (b, b, b)
Binder : (3 @> 5 @= qr8, 3 @> 5 $= qr8, 3 !$<= 5 @= qr8)
Reducer: (false, false, false)
###
> (3r !@>  5r @= qr8, 3r !@>  5r $= qr8, 3r !$>  5r @= qr8)
(3 !@> 5 @= qr8, 3 !@> 5 $= qr8, 3 !$> 5 @= qr8) : (b, b, b)
Binder : (3 @<= 5 @= qr8, 3 @<= 5 $= qr8, 3 !$> 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (3r !@>= 5r @= qr8, 3r !@>= 5r $= qr8, 3r !$>= 5r @= qr8)
(3 !@>= 5 @= qr8, 3 !@>= 5 $= qr8, 3 !$>= 5 @= qr8) : (b, b, b)
Binder : (3 @< 5 @= qr8, 3 @< 5 $= qr8, 3 !$>= 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (null  @=  5r @= qr8, null  @=  5r $= qr8, null  $=  5r @= qr8)
(null @= 5 @= qr8, null @= 5 $= qr8, null $= 5 @= qr8) : (b, b, b)
Binder : (null @= 5 @= qr8, null @= 5 $= qr8, null $= 5 @= qr8)
Reducer: (false, false, false)
###
> (null  @<  5r @= qr8, null  @<  5r $= qr8, null  $<  5r @= qr8)
(null @< 5 @= qr8, null @< 5 $= qr8, null $< 5 @= qr8) : (b, b, b)
Binder : (null @< 5 @= qr8, null @< 5 $= qr8, null $< 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, false)
###
> (null  @<= 5r @= qr8, null  @<= 5r $= qr8, null  $<= 5r @= qr8)
(null @<= 5 @= qr8, null @<= 5 $= qr8, null $<= 5 @= qr8) : (b, b, b)
Binder : (null @<= 5 @= qr8, null @<= 5 $= qr8, null $<= 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, false)
###
> (null  @>  5r @= qr8, null  @>  5r $= qr8, null  $>  5r @= qr8)
(null @> 5 @= qr8, null @> 5 $= qr8, null $> 5 @= qr8) : (b, b, b)
Binder : (null @> 5 @= qr8, null @> 5 $= qr8, null $> 5 @= qr8)
Reducer: (false, false, false)
###
> (null  @>= 5r @= qr8, null  @>= 5r $= qr8, null  $>= 5r @= qr8)
(null @>= 5 @= qr8, null @>= 5 $= qr8, null $>= 5 @= qr8) : (b, b, b)
Binder : (null @>= 5 @= qr8, null @>= 5 $= qr8, null $>= 5 @= qr8)
Reducer: (false, false, false)
###
> (null !@=  5r @= qr8, null !@=  5r $= qr8, null !$=  5r @= qr8)
(null !@= 5 @= qr8, null !@= 5 $= qr8, null !$= 5 @= qr8) : (b, b, b)
Binder : (null !@= 5 @= qr8, null !@= 5 $= qr8, null !$= 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (null !@<  5r @= qr8, null !@<  5r $= qr8, null !$<  5r @= qr8)
(null !@< 5 @= qr8, null !@< 5 $= qr8, null !$< 5 @= qr8) : (b, b, b)
Binder : (null @>= 5 @= qr8, null @>= 5 $= qr8, null !$< 5 @= qr8)
Reducer: (false, false, 5 @= qr8)
###
> (null !@<= 5r @= qr8, null !@<= 5r $= qr8, null !$<= 5r @= qr8)
(null !@<= 5 @= qr8, null !@<= 5 $= qr8, null !$<= 5 @= qr8) : (b, b, b)
Binder : (null @> 5 @= qr8, null @> 5 $= qr8, null !$<= 5 @= qr8)
Reducer: (false, false, 5 @= qr8)
###
> (null !@>  5r @= qr8, null !@>  5r $= qr8, null !$>  5r @= qr8)
(null !@> 5 @= qr8, null !@> 5 $= qr8, null !$> 5 @= qr8) : (b, b, b)
Binder : (null @<= 5 @= qr8, null @<= 5 $= qr8, null !$> 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (null !@>= 5r @= qr8, null !@>= 5r $= qr8, null !$>= 5r @= qr8)
(null !@>= 5 @= qr8, null !@>= 5 $= qr8, null !$>= 5 @= qr8) : (b, b, b)
Binder : (null @< 5 @= qr8, null @< 5 $= qr8, null !$>= 5 @= qr8)
Reducer: (5 @= qr8, 5 $= qr8, 5 @= qr8)
###
> (3r  @=  null @= qr8, 3r  @=  null $= qr8, 3r  $=  null @= qr8)
(3 @= null @= qr8, 3 @= null $= qr8, 3 $= null @= qr8) : (b, b, b)
Binder : (3 @= null @= qr8, 3 @= null $= qr8, 3 $= null @= qr8)
Reducer: (false, false, false)
###
> (3r  @<  null @= qr8, 3r  @<  null $= qr8, 3r  $<  null @= qr8)
(3 @< null @= qr8, 3 @< null $= qr8, 3 $< null @= qr8) : (b, b, b)
Binder : (3 @< null @= qr8, 3 @< null $= qr8, 3 $< null @= qr8)
Reducer: (false, false, false)
###
> (3r  @<= null @= qr8, 3r  @<= null $= qr8, 3r  $<= null @= qr8)
(3 @<= null @= qr8, 3 @<= null $= qr8, 3 $<= null @= qr8) : (b, b, b)
Binder : (3 @<= null @= qr8, 3 @<= null $= qr8, 3 $<= null @= qr8)
Reducer: (false, false, false)
###
> (3r  @>  null @= qr8, 3r  @>  null $= qr8, 3r  $>  null @= qr8)
(3 @> null @= qr8, 3 @> null $= qr8, 3 $> null @= qr8) : (b, b, b)
Binder : (3 @> null @= qr8, 3 @> null $= qr8, 3 $> null @= qr8)
Reducer: (null @= qr8, false, false)
###
> (3r  @>= null @= qr8, 3r  @>= null $= qr8, 3r  $>= null @= qr8)
(3 @>= null @= qr8, 3 @>= null $= qr8, 3 $>= null @= qr8) : (b, b, b)
Binder : (3 @>= null @= qr8, 3 @>= null $= qr8, 3 $>= null @= qr8)
Reducer: (null @= qr8, false, false)
###
> (3r !@=  null @= qr8, 3r !@=  null $= qr8, 3r !$=  null @= qr8)
(3 !@= null @= qr8, 3 !@= null $= qr8, 3 !$= null @= qr8) : (b, b, b)
Binder : (3 !@= null @= qr8, 3 !@= null $= qr8, 3 !$= null @= qr8)
Reducer: (null @= qr8, false, null @= qr8)
###
> (3r !@<  null @= qr8, 3r !@<  null $= qr8, 3r !$<  null @= qr8)
(3 !@< null @= qr8, 3 !@< null $= qr8, 3 !$< null @= qr8) : (b, b, b)
Binder : (3 @>= null @= qr8, 3 @>= null $= qr8, 3 !$< null @= qr8)
Reducer: (null @= qr8, false, null @= qr8)
###
> (3r !@<= null @= qr8, 3r !@<= null $= qr8, 3r !$<= null @= qr8)
(3 !@<= null @= qr8, 3 !@<= null $= qr8, 3 !$<= null @= qr8) : (b, b, b)
Binder : (3 @> null @= qr8, 3 @> null $= qr8, 3 !$<= null @= qr8)
Reducer: (null @= qr8, false, null @= qr8)
###
> (3r !@>  null @= qr8, 3r !@>  null $= qr8, 3r !$>  null @= qr8)
(3 !@> null @= qr8, 3 !@> null $= qr8, 3 !$> null @= qr8) : (b, b, b)
Binder : (3 @<= null @= qr8, 3 @<= null $= qr8, 3 !$> null @= qr8)
Reducer: (false, false, null @= qr8)
###
> (3r !@>= null @= qr8, 3r !@>= null $= qr8, 3r !$>= null @= qr8)
(3 !@>= null @= qr8, 3 !@>= null $= qr8, 3 !$>= null @= qr8) : (b, b, b)
Binder : (3 @< null @= qr8, 3 @< null $= qr8, 3 !$>= null @= qr8)
Reducer: (false, false, null @= qr8)
###
> (null  @=  null @= qr8, null  @=  null $= qr8, null  $=  null @= qr8)
(null @= null @= qr8, null @= null $= qr8, null $= null @= qr8) : (b, b, b)
Binder : (null @= null @= qr8, null @= null $= qr8, null $= null @= qr8)
Reducer: (null @= qr8, false, false)
###
> (null  @<  null @= qr8, null  @<  null $= qr8, null  $<  null @= qr8)
(null @< null @= qr8, null @< null $= qr8, null $< null @= qr8) : (b, b, b)
Binder : (null @< null @= qr8, null @< null $= qr8, null $< null @= qr8)
Reducer: (false, false, false)
###
> (null  @<= null @= qr8, null  @<= null $= qr8, null  $<= null @= qr8)
(null @<= null @= qr8, null @<= null $= qr8, null $<= null @= qr8) : (b, b, b)
Binder : (null @<= null @= qr8, null @<= null $= qr8, null $<= null @= qr8)
Reducer: (null @= qr8, false, false)
###
> (null  @>  null @= qr8, null  @>  null $= qr8, null  $>  null @= qr8)
(null @> null @= qr8, null @> null $= qr8, null $> null @= qr8) : (b, b, b)
Binder : (null @> null @= qr8, null @> null $= qr8, null $> null @= qr8)
Reducer: (false, false, false)
###
> (null  @>= null @= qr8, null  @>= null $= qr8, null  $>= null @= qr8)
(null @>= null @= qr8, null @>= null $= qr8, null $>= null @= qr8) : (b, b, b)
Binder : (null @>= null @= qr8, null @>= null $= qr8, null $>= null @= qr8)
Reducer: (null @= qr8, false, false)
###
> (null !@=  null @= qr8, null !@=  null $= qr8, null !$=  null @= qr8)
(null !@= null @= qr8, null !@= null $= qr8, null !$= null @= qr8) : (b, b, b)
Binder : (null !@= null @= qr8, null !@= null $= qr8, null !$= null @= qr8)
Reducer: (false, false, null @= qr8)
###
> (null !@<  null @= qr8, null !@<  null $= qr8, null !$<  null @= qr8)
(null !@< null @= qr8, null !@< null $= qr8, null !$< null @= qr8) : (b, b, b)
Binder : (null @>= null @= qr8, null @>= null $= qr8, null !$< null @= qr8)
Reducer: (null @= qr8, false, null @= qr8)
###
> (null !@<= null @= qr8, null !@<= null $= qr8, null !$<= null @= qr8)
(null !@<= null @= qr8, null !@<= null $= qr8, null !$<= null @= qr8) : (b, b, b)
Binder : (null @> null @= qr8, null @> null $= qr8, null !$<= null @= qr8)
Reducer: (false, false, null @= qr8)
###
> (null !@>  null @= qr8, null !@>  null $= qr8, null !$>  null @= qr8)
(null !@> null @= qr8, null !@> null $= qr8, null !$> null @= qr8) : (b, b, b)
Binder : (null @<= null @= qr8, null @<= null $= qr8, null !$> null @= qr8)
Reducer: (null @= qr8, false, null @= qr8)
###
> (null !@>= null @= qr8, null !@>= null $= qr8, null !$>= null @= qr8)
(null !@>= null @= qr8, null !@>= null $= qr8, null !$>= null @= qr8) : (b, b, b)
Binder : (null @< null @= qr8, null @< null $= qr8, null !$>= null @= qr8)
Reducer: (false, false, null @= qr8)
###
> "*** Two operator chain with < on the right."
"*** Two operator chain with < on the right." : s
Binder : "*** Two operator chain with < on the right."
###
> (3r  @=  5r @< r8, 3r  $=  5r @< r8)
(3 @= 5 @< r8, 3 $= 5 @< r8) : (b, b)
Binder : (3 @= 5 @< r8, 3 $= 5 @< r8)
Reducer: (false, false)
###
> (3r  @<  5r @< r8, 3r  $<  5r @< r8)
(3 @< 5 @< r8, 3 $< 5 @< r8) : (b, b)
Binder : (3 @< 5 @< r8, 3 $< 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (3r  @<= 5r @< r8, 3r  $<= 5r @< r8)
(3 @<= 5 @< r8, 3 $<= 5 @< r8) : (b, b)
Binder : (3 @<= 5 @< r8, 3 $<= 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (3r  @>  5r @< r8, 3r  $>  5r @< r8)
(3 @> 5 @< r8, 3 $> 5 @< r8) : (b, b)
Binder : (3 @> 5 @< r8, 3 $> 5 @< r8)
Reducer: (false, false)
###
> (3r  @>= 5r @< r8, 3r  $>= 5r @< r8)
(3 @>= 5 @< r8, 3 $>= 5 @< r8) : (b, b)
Binder : (3 @>= 5 @< r8, 3 $>= 5 @< r8)
Reducer: (false, false)
###
> (3r !@=  5r @< r8, 3r !$=  5r @< r8)
(3 !@= 5 @< r8, 3 !$= 5 @< r8) : (b, b)
Binder : (3 !@= 5 @< r8, 3 !$= 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (3r !@<  5r @< r8, 3r !$<  5r @< r8)
(3 !@< 5 @< r8, 3 !$< 5 @< r8) : (b, b)
Binder : (3 @>= 5 @< r8, 3 !$< 5 @< r8)
Reducer: (false, false)
###
> (3r !@<= 5r @< r8, 3r !$<= 5r @< r8)
(3 !@<= 5 @< r8, 3 !$<= 5 @< r8) : (b, b)
Binder : (3 @> 5 @< r8, 3 !$<= 5 @< r8)
Reducer: (false, false)
###
> (3r !@>  5r @< r8, 3r !$>  5r @< r8)
(3 !@> 5 @< r8, 3 !$> 5 @< r8) : (b, b)
Binder : (3 @<= 5 @< r8, 3 !$> 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (3r !@>= 5r @< r8, 3r !$>= 5r @< r8)
(3 !@>= 5 @< r8, 3 !$>= 5 @< r8) : (b, b)
Binder : (3 @< 5 @< r8, 3 !$>= 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (null  @=  5r @< r8, null  $=  5r @< r8)
(null @= 5 @< r8, null $= 5 @< r8) : (b, b)
Binder : (null @= 5 @< r8, null $= 5 @< r8)
Reducer: (false, false)
###
> (null  @<  5r @< r8, null  $<  5r @< r8)
(null @< 5 @< r8, null $< 5 @< r8) : (b, b)
Binder : (null @< 5 @< r8, null $< 5 @< r8)
Reducer: (5 @< r8, false)
###
> (null  @<= 5r @< r8, null  $<= 5r @< r8)
(null @<= 5 @< r8, null $<= 5 @< r8) : (b, b)
Binder : (null @<= 5 @< r8, null $<= 5 @< r8)
Reducer: (5 @< r8, false)
###
> (null  @>  5r @< r8, null  $>  5r @< r8)
(null @> 5 @< r8, null $> 5 @< r8) : (b, b)
Binder : (null @> 5 @< r8, null $> 5 @< r8)
Reducer: (false, false)
###
> (null  @>= 5r @< r8, null  $>= 5r @< r8)
(null @>= 5 @< r8, null $>= 5 @< r8) : (b, b)
Binder : (null @>= 5 @< r8, null $>= 5 @< r8)
Reducer: (false, false)
###
> (null !@=  5r @< r8, null !$=  5r @< r8)
(null !@= 5 @< r8, null !$= 5 @< r8) : (b, b)
Binder : (null !@= 5 @< r8, null !$= 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (null !@<  5r @< r8, null !$<  5r @< r8)
(null !@< 5 @< r8, null !$< 5 @< r8) : (b, b)
Binder : (null @>= 5 @< r8, null !$< 5 @< r8)
Reducer: (false, 5 @< r8)
###
> (null !@<= 5r @< r8, null !$<= 5r @< r8)
(null !@<= 5 @< r8, null !$<= 5 @< r8) : (b, b)
Binder : (null @> 5 @< r8, null !$<= 5 @< r8)
Reducer: (false, 5 @< r8)
###
> (null !@>  5r @< r8, null !$>  5r @< r8)
(null !@> 5 @< r8, null !$> 5 @< r8) : (b, b)
Binder : (null @<= 5 @< r8, null !$> 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (null !@>= 5r @< r8, null !$>= 5r @< r8)
(null !@>= 5 @< r8, null !$>= 5 @< r8) : (b, b)
Binder : (null @< 5 @< r8, null !$>= 5 @< r8)
Reducer: (5 @< r8, 5 @< r8)
###
> (3r  @=  null @< r8, 3r  @=  null $< r8, 3r  $=  null @< r8)
(3 @= null @< r8, 3 @= null $< r8, 3 $= null @< r8) : (b, b, b)
Binder : (3 @= null @< r8, 3 @= null $< r8, 3 $= null @< r8)
Reducer: (false, false, false)
###
> (3r  @<  null @< r8, 3r  @<  null $< r8, 3r  $<  null @< r8)
(3 @< null @< r8, 3 @< null $< r8, 3 $< null @< r8) : (b, b, b)
Binder : (3 @< null @< r8, 3 @< null $< r8, 3 $< null @< r8)
Reducer: (false, false, false)
###
> (3r  @<= null @< r8, 3r  @<= null $< r8, 3r  $<= null @< r8)
(3 @<= null @< r8, 3 @<= null $< r8, 3 $<= null @< r8) : (b, b, b)
Binder : (3 @<= null @< r8, 3 @<= null $< r8, 3 $<= null @< r8)
Reducer: (false, false, false)
###
> (3r  @>  null @< r8, 3r  @>  null $< r8, 3r  $>  null @< r8)
(3 @> null @< r8, 3 @> null $< r8, 3 $> null @< r8) : (b, b, b)
Binder : (3 @> null @< r8, 3 @> null $< r8, 3 $> null @< r8)
Reducer: (true, false, false)
###
> (3r  @>= null @< r8, 3r  @>= null $< r8, 3r  $>= null @< r8)
(3 @>= null @< r8, 3 @>= null $< r8, 3 $>= null @< r8) : (b, b, b)
Binder : (3 @>= null @< r8, 3 @>= null $< r8, 3 $>= null @< r8)
Reducer: (true, false, false)
###
> (3r !@=  null @< r8, 3r !@=  null $< r8, 3r !$=  null @< r8)
(3 !@= null @< r8, 3 !@= null $< r8, 3 !$= null @< r8) : (b, b, b)
Binder : (3 !@= null @< r8, 3 !@= null $< r8, 3 !$= null @< r8)
Reducer: (true, false, true)
###
> (3r !@<  null @< r8, 3r !@<  null $< r8, 3r !$<  null @< r8)
(3 !@< null @< r8, 3 !@< null $< r8, 3 !$< null @< r8) : (b, b, b)
Binder : (3 @>= null @< r8, 3 @>= null $< r8, 3 !$< null @< r8)
Reducer: (true, false, true)
###
> (3r !@<= null @< r8, 3r !@<= null $< r8, 3r !$<= null @< r8)
(3 !@<= null @< r8, 3 !@<= null $< r8, 3 !$<= null @< r8) : (b, b, b)
Binder : (3 @> null @< r8, 3 @> null $< r8, 3 !$<= null @< r8)
Reducer: (true, false, true)
###
> (3r !@>  null @< r8, 3r !@>  null $< r8, 3r !$>  null @< r8)
(3 !@> null @< r8, 3 !@> null $< r8, 3 !$> null @< r8) : (b, b, b)
Binder : (3 @<= null @< r8, 3 @<= null $< r8, 3 !$> null @< r8)
Reducer: (false, false, true)
###
> (3r !@>= null @< r8, 3r !@>= null $< r8, 3r !$>= null @< r8)
(3 !@>= null @< r8, 3 !@>= null $< r8, 3 !$>= null @< r8) : (b, b, b)
Binder : (3 @< null @< r8, 3 @< null $< r8, 3 !$>= null @< r8)
Reducer: (false, false, true)
###
> (null  @=  null @< r8, null  @=  null $< r8, null  $=  null @< r8)
(null @= null @< r8, null @= null $< r8, null $= null @< r8) : (b, b, b)
Binder : (null @= null @< r8, null @= null $< r8, null $= null @< r8)
Reducer: (true, false, false)
###
> (null  @<  null @< r8, null  @<  null $< r8, null  $<  null @< r8)
(null @< null @< r8, null @< null $< r8, null $< null @< r8) : (b, b, b)
Binder : (null @< null @< r8, null @< null $< r8, null $< null @< r8)
Reducer: (false, false, false)
###
> (null  @<= null @< r8, null  @<= null $< r8, null  $<= null @< r8)
(null @<= null @< r8, null @<= null $< r8, null $<= null @< r8) : (b, b, b)
Binder : (null @<= null @< r8, null @<= null $< r8, null $<= null @< r8)
Reducer: (true, false, false)
###
> (null  @>  null @< r8, null  @>  null $< r8, null  $>  null @< r8)
(null @> null @< r8, null @> null $< r8, null $> null @< r8) : (b, b, b)
Binder : (null @> null @< r8, null @> null $< r8, null $> null @< r8)
Reducer: (false, false, false)
###
> (null  @>= null @< r8, null  @>= null $< r8, null  $>= null @< r8)
(null @>= null @< r8, null @>= null $< r8, null $>= null @< r8) : (b, b, b)
Binder : (null @>= null @< r8, null @>= null $< r8, null $>= null @< r8)
Reducer: (true, false, false)
###
> (null !@=  null @< r8, null !@=  null $< r8, null !$=  null @< r8)
(null !@= null @< r8, null !@= null $< r8, null !$= null @< r8) : (b, b, b)
Binder : (null !@= null @< r8, null !@= null $< r8, null !$= null @< r8)
Reducer: (false, false, true)
###
> (null !@<  null @< r8, null !@<  null $< r8, null !$<  null @< r8)
(null !@< null @< r8, null !@< null $< r8, null !$< null @< r8) : (b, b, b)
Binder : (null @>= null @< r8, null @>= null $< r8, null !$< null @< r8)
Reducer: (true, false, true)
###
> (null !@<= null @< r8, null !@<= null $< r8, null !$<= null @< r8)
(null !@<= null @< r8, null !@<= null $< r8, null !$<= null @< r8) : (b, b, b)
Binder : (null @> null @< r8, null @> null $< r8, null !$<= null @< r8)
Reducer: (false, false, true)
###
> (null !@>  null @< r8, null !@>  null $< r8, null !$>  null @< r8)
(null !@> null @< r8, null !@> null $< r8, null !$> null @< r8) : (b, b, b)
Binder : (null @<= null @< r8, null @<= null $< r8, null !$> null @< r8)
Reducer: (true, false, true)
###
> (null !@>= null @< r8, null !@>= null $< r8, null !$>= null @< r8)
(null !@>= null @< r8, null !@>= null $< r8, null !$>= null @< r8) : (b, b, b)
Binder : (null @< null @< r8, null @< null $< r8, null !$>= null @< r8)
Reducer: (false, false, true)
###
> (3r  @=  5r @< qr8, 3r  @=  5r $< qr8, 3r  $=  5r @< qr8)
(3 @= 5 @< qr8, 3 @= 5 $< qr8, 3 $= 5 @< qr8) : (b, b, b)
Binder : (3 @= 5 @< qr8, 3 @= 5 $< qr8, 3 $= 5 @< qr8)
Reducer: (false, false, false)
###
> (3r  @<  5r @< qr8, 3r  @<  5r $< qr8, 3r  $<  5r @< qr8)
(3 @< 5 @< qr8, 3 @< 5 $< qr8, 3 $< 5 @< qr8) : (b, b, b)
Binder : (3 @< 5 @< qr8, 3 @< 5 $< qr8, 3 $< 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (3r  @<= 5r @< qr8, 3r  @<= 5r $< qr8, 3r  $<= 5r @< qr8)
(3 @<= 5 @< qr8, 3 @<= 5 $< qr8, 3 $<= 5 @< qr8) : (b, b, b)
Binder : (3 @<= 5 @< qr8, 3 @<= 5 $< qr8, 3 $<= 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (3r  @>  5r @< qr8, 3r  @>  5r $< qr8, 3r  $>  5r @< qr8)
(3 @> 5 @< qr8, 3 @> 5 $< qr8, 3 $> 5 @< qr8) : (b, b, b)
Binder : (3 @> 5 @< qr8, 3 @> 5 $< qr8, 3 $> 5 @< qr8)
Reducer: (false, false, false)
###
> (3r  @>= 5r @< qr8, 3r  @>= 5r $< qr8, 3r  $>= 5r @< qr8)
(3 @>= 5 @< qr8, 3 @>= 5 $< qr8, 3 $>= 5 @< qr8) : (b, b, b)
Binder : (3 @>= 5 @< qr8, 3 @>= 5 $< qr8, 3 $>= 5 @< qr8)
Reducer: (false, false, false)
###
> (3r !@=  5r @< qr8, 3r !@=  5r $< qr8, 3r !$=  5r @< qr8)
(3 !@= 5 @< qr8, 3 !@= 5 $< qr8, 3 !$= 5 @< qr8) : (b, b, b)
Binder : (3 !@= 5 @< qr8, 3 !@= 5 $< qr8, 3 !$= 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (3r !@<  5r @< qr8, 3r !@<  5r $< qr8, 3r !$<  5r @< qr8)
(3 !@< 5 @< qr8, 3 !@< 5 $< qr8, 3 !$< 5 @< qr8) : (b, b, b)
Binder : (3 @>= 5 @< qr8, 3 @>= 5 $< qr8, 3 !$< 5 @< qr8)
Reducer: (false, false, false)
###
> (3r !@<= 5r @< qr8, 3r !@<= 5r $< qr8, 3r !$<= 5r @< qr8)
(3 !@<= 5 @< qr8, 3 !@<= 5 $< qr8, 3 !$<= 5 @< qr8) : (b, b, b)
Binder : (3 @> 5 @< qr8, 3 @> 5 $< qr8, 3 !$<= 5 @< qr8)
Reducer: (false, false, false)
###
> (3r !@>  5r @< qr8, 3r !@>  5r $< qr8, 3r !$>  5r @< qr8)
(3 !@> 5 @< qr8, 3 !@> 5 $< qr8, 3 !$> 5 @< qr8) : (b, b, b)
Binder : (3 @<= 5 @< qr8, 3 @<= 5 $< qr8, 3 !$> 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (3r !@>= 5r @< qr8, 3r !@>= 5r $< qr8, 3r !$>= 5r @< qr8)
(3 !@>= 5 @< qr8, 3 !@>= 5 $< qr8, 3 !$>= 5 @< qr8) : (b, b, b)
Binder : (3 @< 5 @< qr8, 3 @< 5 $< qr8, 3 !$>= 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (null  @=  5r @< qr8, null  @=  5r $< qr8, null  $=  5r @< qr8)
(null @= 5 @< qr8, null @= 5 $< qr8, null $= 5 @< qr8) : (b, b, b)
Binder : (null @= 5 @< qr8, null @= 5 $< qr8, null $= 5 @< qr8)
Reducer: (false, false, false)
###
> (null  @<  5r @< qr8, null  @<  5r $< qr8, null  $<  5r @< qr8)
(null @< 5 @< qr8, null @< 5 $< qr8, null $< 5 @< qr8) : (b, b, b)
Binder : (null @< 5 @< qr8, null @< 5 $< qr8, null $< 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, false)
###
> (null  @<= 5r @< qr8, null  @<= 5r $< qr8, null  $<= 5r @< qr8)
(null @<= 5 @< qr8, null @<= 5 $< qr8, null $<= 5 @< qr8) : (b, b, b)
Binder : (null @<= 5 @< qr8, null @<= 5 $< qr8, null $<= 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, false)
###
> (null  @>  5r @< qr8, null  @>  5r $< qr8, null  $>  5r @< qr8)
(null @> 5 @< qr8, null @> 5 $< qr8, null $> 5 @< qr8) : (b, b, b)
Binder : (null @> 5 @< qr8, null @> 5 $< qr8, null $> 5 @< qr8)
Reducer: (false, false, false)
###
> (null  @>= 5r @< qr8, null  @>= 5r $< qr8, null  $>= 5r @< qr8)
(null @>= 5 @< qr8, null @>= 5 $< qr8, null $>= 5 @< qr8) : (b, b, b)
Binder : (null @>= 5 @< qr8, null @>= 5 $< qr8, null $>= 5 @< qr8)
Reducer: (false, false, false)
###
> (null !@=  5r @< qr8, null !@=  5r $< qr8, null !$=  5r @< qr8)
(null !@= 5 @< qr8, null !@= 5 $< qr8, null !$= 5 @< qr8) : (b, b, b)
Binder : (null !@= 5 @< qr8, null !@= 5 $< qr8, null !$= 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (null !@<  5r @< qr8, null !@<  5r $< qr8, null !$<  5r @< qr8)
(null !@< 5 @< qr8, null !@< 5 $< qr8, null !$< 5 @< qr8) : (b, b, b)
Binder : (null @>= 5 @< qr8, null @>= 5 $< qr8, null !$< 5 @< qr8)
Reducer: (false, false, 5 @< qr8)
###
> (null !@<= 5r @< qr8, null !@<= 5r $< qr8, null !$<= 5r @< qr8)
(null !@<= 5 @< qr8, null !@<= 5 $< qr8, null !$<= 5 @< qr8) : (b, b, b)
Binder : (null @> 5 @< qr8, null @> 5 $< qr8, null !$<= 5 @< qr8)
Reducer: (false, false, 5 @< qr8)
###
> (null !@>  5r @< qr8, null !@>  5r $< qr8, null !$>  5r @< qr8)
(null !@> 5 @< qr8, null !@> 5 $< qr8, null !$> 5 @< qr8) : (b, b, b)
Binder : (null @<= 5 @< qr8, null @<= 5 $< qr8, null !$> 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (null !@>= 5r @< qr8, null !@>= 5r $< qr8, null !$>= 5r @< qr8)
(null !@>= 5 @< qr8, null !@>= 5 $< qr8, null !$>= 5 @< qr8) : (b, b, b)
Binder : (null @< 5 @< qr8, null @< 5 $< qr8, null !$>= 5 @< qr8)
Reducer: (5 @< qr8, 5 $< qr8, 5 @< qr8)
###
> (3r  @=  null @< qr8, 3r  @=  null $< qr8, 3r  $=  null @< qr8)
(3 @= null @< qr8, 3 @= null $< qr8, 3 $= null @< qr8) : (b, b, b)
Binder : (3 @= null @< qr8, 3 @= null $< qr8, 3 $= null @< qr8)
Reducer: (false, false, false)
###
> (3r  @<  null @< qr8, 3r  @<  null $< qr8, 3r  $<  null @< qr8)
(3 @< null @< qr8, 3 @< null $< qr8, 3 $< null @< qr8) : (b, b, b)
Binder : (3 @< null @< qr8, 3 @< null $< qr8, 3 $< null @< qr8)
Reducer: (false, false, false)
###
> (3r  @<= null @< qr8, 3r  @<= null $< qr8, 3r  $<= null @< qr8)
(3 @<= null @< qr8, 3 @<= null $< qr8, 3 $<= null @< qr8) : (b, b, b)
Binder : (3 @<= null @< qr8, 3 @<= null $< qr8, 3 $<= null @< qr8)
Reducer: (false, false, false)
###
> (3r  @>  null @< qr8, 3r  @>  null $< qr8, 3r  $>  null @< qr8)
(3 @> null @< qr8, 3 @> null $< qr8, 3 $> null @< qr8) : (b, b, b)
Binder : (3 @> null @< qr8, 3 @> null $< qr8, 3 $> null @< qr8)
Reducer: (null @< qr8, false, false)
###
> (3r  @>= null @< qr8, 3r  @>= null $< qr8, 3r  $>= null @< qr8)
(3 @>= null @< qr8, 3 @>= null $< qr8, 3 $>= null @< qr8) : (b, b, b)
Binder : (3 @>= null @< qr8, 3 @>= null $< qr8, 3 $>= null @< qr8)
Reducer: (null @< qr8, false, false)
###
> (3r !@=  null @< qr8, 3r !@=  null $< qr8, 3r !$=  null @< qr8)
(3 !@= null @< qr8, 3 !@= null $< qr8, 3 !$= null @< qr8) : (b, b, b)
Binder : (3 !@= null @< qr8, 3 !@= null $< qr8, 3 !$= null @< qr8)
Reducer: (null @< qr8, false, null @< qr8)
###
> (3r !@<  null @< qr8, 3r !@<  null $< qr8, 3r !$<  null @< qr8)
(3 !@< null @< qr8, 3 !@< null $< qr8, 3 !$< null @< qr8) : (b, b, b)
Binder : (3 @>= null @< qr8, 3 @>= null $< qr8, 3 !$< null @< qr8)
Reducer: (null @< qr8, false, null @< qr8)
###
> (3r !@<= null @< qr8, 3r !@<= null $< qr8, 3r !$<= null @< qr8)
(3 !@<= null @< qr8, 3 !@<= null $< qr8, 3 !$<= null @< qr8) : (b, b, b)
Binder : (3 @> null @< qr8, 3 @> null $< qr8, 3 !$<= null @< qr8)
Reducer: (null @< qr8, false, null @< qr8)
###
> (3r !@>  null @< qr8, 3r !@>  null $< qr8, 3r !$>  null @< qr8)
(3 !@> null @< qr8, 3 !@> null $< qr8, 3 !$> null @< qr8) : (b, b, b)
Binder : (3 @<= null @< qr8, 3 @<= null $< qr8, 3 !$> null @< qr8)
Reducer: (false, false, null @< qr8)
###
> (3r !@>= null @< qr8, 3r !@>= null $< qr8, 3r !$>= null @< qr8)
(3 !@>= null @< qr8, 3 !@>= null $< qr8, 3 !$>= null @< qr8) : (b, b, b)
Binder : (3 @< null @< qr8, 3 @< null $< qr8, 3 !$>= null @< qr8)
Reducer: (false, false, null @< qr8)
###
> (null  @=  null @< qr8, null  @=  null $< qr8, null  $=  null @< qr8)
(null @= null @< qr8, null @= null $< qr8, null $= null @< qr8) : (b, b, b)
Binder : (null @= null @< qr8, null @= null $< qr8, null $= null @< qr8)
Reducer: (null @< qr8, false, false)
###
> (null  @<  null @< qr8, null  @<  null $< qr8, null  $<  null @< qr8)
(null @< null @< qr8, null @< null $< qr8, null $< null @< qr8) : (b, b, b)
Binder : (null @< null @< qr8, null @< null $< qr8, null $< null @< qr8)
Reducer: (false, false, false)
###
> (null  @<= null @< qr8, null  @<= null $< qr8, null  $<= null @< qr8)
(null @<= null @< qr8, null @<= null $< qr8, null $<= null @< qr8) : (b, b, b)
Binder : (null @<= null @< qr8, null @<= null $< qr8, null $<= null @< qr8)
Reducer: (null @< qr8, false, false)
###
> (null  @>  null @< qr8, null  @>  null $< qr8, null  $>  null @< qr8)
(null @> null @< qr8, null @> null $< qr8, null $> null @< qr8) : (b, b, b)
Binder : (null @> null @< qr8, null @> null $< qr8, null $> null @< qr8)
Reducer: (false, false, false)
###
> (null  @>= null @< qr8, null  @>= null $< qr8, null  $>= null @< qr8)
(null @>= null @< qr8, null @>= null $< qr8, null $>= null @< qr8) : (b, b, b)
Binder : (null @>= null @< qr8, null @>= null $< qr8, null $>= null @< qr8)
Reducer: (null @< qr8, false, false)
###
> (null !@=  null @< qr8, null !@=  null $< qr8, null !$=  null @< qr8)
(null !@= null @< qr8, null !@= null $< qr8, null !$= null @< qr8) : (b, b, b)
Binder : (null !@= null @< qr8, null !@= null $< qr8, null !$= null @< qr8)
Reducer: (false, false, null @< qr8)
###
> (null !@<  null @< qr8, null !@<  null $< qr8, null !$<  null @< qr8)
(null !@< null @< qr8, null !@< null $< qr8, null !$< null @< qr8) : (b, b, b)
Binder : (null @>= null @< qr8, null @>= null $< qr8, null !$< null @< qr8)
Reducer: (null @< qr8, false, null @< qr8)
###
> (null !@<= null @< qr8, null !@<= null $< qr8, null !$<= null @< qr8)
(null !@<= null @< qr8, null !@<= null $< qr8, null !$<= null @< qr8) : (b, b, b)
Binder : (null @> null @< qr8, null @> null $< qr8, null !$<= null @< qr8)
Reducer: (false, false, null @< qr8)
###
> (null !@>  null @< qr8, null !@>  null $< qr8, null !$>  null @< qr8)
(null !@> null @< qr8, null !@> null $< qr8, null !$> null @< qr8) : (b, b, b)
Binder : (null @<= null @< qr8, null @<= null $< qr8, null !$> null @< qr8)
Reducer: (null @< qr8, false, null @< qr8)
###
> (null !@>= null @< qr8, null !@>= null $< qr8, null !$>= null @< qr8)
(null !@>= null @< qr8, null !@>= null $< qr8, null !$>= null @< qr8) : (b, b, b)
Binder : (null @< null @< qr8, null @< null $< qr8, null !$>= null @< qr8)
Reducer: (false, false, null @< qr8)
###
> "*** Two operator chain with !< on the right."
"*** Two operator chain with !< on the right." : s
Binder : "*** Two operator chain with !< on the right."
###
> (3r  @=  5r !@< r8, 3r  $=  5r !@< r8)
(3 @= 5 !@< r8, 3 $= 5 !@< r8) : (b, b)
Binder : (3 @= 5 @>= r8, 3 $= 5 @>= r8)
Reducer: (false, false)
###
> (3r  @<  5r !@< r8, 3r  $<  5r !@< r8)
(3 @< 5 !@< r8, 3 $< 5 !@< r8) : (b, b)
Binder : (3 @< 5 @>= r8, 3 $< 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (3r  @<= 5r !@< r8, 3r  $<= 5r !@< r8)
(3 @<= 5 !@< r8, 3 $<= 5 !@< r8) : (b, b)
Binder : (3 @<= 5 @>= r8, 3 $<= 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (3r  @>  5r !@< r8, 3r  $>  5r !@< r8)
(3 @> 5 !@< r8, 3 $> 5 !@< r8) : (b, b)
Binder : (3 @> 5 @>= r8, 3 $> 5 @>= r8)
Reducer: (false, false)
###
> (3r  @>= 5r !@< r8, 3r  $>= 5r !@< r8)
(3 @>= 5 !@< r8, 3 $>= 5 !@< r8) : (b, b)
Binder : (3 @>= 5 @>= r8, 3 $>= 5 @>= r8)
Reducer: (false, false)
###
> (3r !@=  5r !@< r8, 3r !$=  5r !@< r8)
(3 !@= 5 !@< r8, 3 !$= 5 !@< r8) : (b, b)
Binder : (3 !@= 5 @>= r8, 3 !$= 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (3r !@<  5r !@< r8, 3r !$<  5r !@< r8)
(3 !@< 5 !@< r8, 3 !$< 5 !@< r8) : (b, b)
Binder : (3 @>= 5 @>= r8, 3 !$< 5 @>= r8)
Reducer: (false, false)
###
> (3r !@<= 5r !@< r8, 3r !$<= 5r !@< r8)
(3 !@<= 5 !@< r8, 3 !$<= 5 !@< r8) : (b, b)
Binder : (3 @> 5 @>= r8, 3 !$<= 5 @>= r8)
Reducer: (false, false)
###
> (3r !@>  5r !@< r8, 3r !$>  5r !@< r8)
(3 !@> 5 !@< r8, 3 !$> 5 !@< r8) : (b, b)
Binder : (3 @<= 5 @>= r8, 3 !$> 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (3r !@>= 5r !@< r8, 3r !$>= 5r !@< r8)
(3 !@>= 5 !@< r8, 3 !$>= 5 !@< r8) : (b, b)
Binder : (3 @< 5 @>= r8, 3 !$>= 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (null  @=  5r !@< r8, null  $=  5r !@< r8)
(null @= 5 !@< r8, null $= 5 !@< r8) : (b, b)
Binder : (null @= 5 @>= r8, null $= 5 @>= r8)
Reducer: (false, false)
###
> (null  @<  5r !@< r8, null  $<  5r !@< r8)
(null @< 5 !@< r8, null $< 5 !@< r8) : (b, b)
Binder : (null @< 5 @>= r8, null $< 5 @>= r8)
Reducer: (5 @>= r8, false)
###
> (null  @<= 5r !@< r8, null  $<= 5r !@< r8)
(null @<= 5 !@< r8, null $<= 5 !@< r8) : (b, b)
Binder : (null @<= 5 @>= r8, null $<= 5 @>= r8)
Reducer: (5 @>= r8, false)
###
> (null  @>  5r !@< r8, null  $>  5r !@< r8)
(null @> 5 !@< r8, null $> 5 !@< r8) : (b, b)
Binder : (null @> 5 @>= r8, null $> 5 @>= r8)
Reducer: (false, false)
###
> (null  @>= 5r !@< r8, null  $>= 5r !@< r8)
(null @>= 5 !@< r8, null $>= 5 !@< r8) : (b, b)
Binder : (null @>= 5 @>= r8, null $>= 5 @>= r8)
Reducer: (false, false)
###
> (null !@=  5r !@< r8, null !$=  5r !@< r8)
(null !@= 5 !@< r8, null !$= 5 !@< r8) : (b, b)
Binder : (null !@= 5 @>= r8, null !$= 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (null !@<  5r !@< r8, null !$<  5r !@< r8)
(null !@< 5 !@< r8, null !$< 5 !@< r8) : (b, b)
Binder : (null @>= 5 @>= r8, null !$< 5 @>= r8)
Reducer: (false, 5 @>= r8)
###
> (null !@<= 5r !@< r8, null !$<= 5r !@< r8)
(null !@<= 5 !@< r8, null !$<= 5 !@< r8) : (b, b)
Binder : (null @> 5 @>= r8, null !$<= 5 @>= r8)
Reducer: (false, 5 @>= r8)
###
> (null !@>  5r !@< r8, null !$>  5r !@< r8)
(null !@> 5 !@< r8, null !$> 5 !@< r8) : (b, b)
Binder : (null @<= 5 @>= r8, null !$> 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (null !@>= 5r !@< r8, null !$>= 5r !@< r8)
(null !@>= 5 !@< r8, null !$>= 5 !@< r8) : (b, b)
Binder : (null @< 5 @>= r8, null !$>= 5 @>= r8)
Reducer: (5 @>= r8, 5 @>= r8)
###
> (3r  @=  null @!< r8, 3r  @=  null $!< r8, 3r  $=  null @!< r8)
(3 @= null !@< r8, 3 @= null !$< r8, 3 $= null !@< r8) : (b, b, b)
Binder : (3 @= null @>= r8, 3 @= null !$< r8, 3 $= null @>= r8)
Reducer: (false, false, false)
###
> (3r  @<  null @!< r8, 3r  @<  null $!< r8, 3r  $<  null @!< r8)
(3 @< null !@< r8, 3 @< null !$< r8, 3 $< null !@< r8) : (b, b, b)
Binder : (3 @< null @>= r8, 3 @< null !$< r8, 3 $< null @>= r8)
Reducer: (false, false, false)
###
> (3r  @<= null @!< r8, 3r  @<= null $!< r8, 3r  $<= null @!< r8)
(3 @<= null !@< r8, 3 @<= null !$< r8, 3 $<= null !@< r8) : (b, b, b)
Binder : (3 @<= null @>= r8, 3 @<= null !$< r8, 3 $<= null @>= r8)
Reducer: (false, false, false)
###
> (3r  @>  null @!< r8, 3r  @>  null $!< r8, 3r  $>  null @!< r8)
(3 @> null !@< r8, 3 @> null !$< r8, 3 $> null !@< r8) : (b, b, b)
Binder : (3 @> null @>= r8, 3 @> null !$< r8, 3 $> null @>= r8)
Reducer: (false, true, false)
###
> (3r  @>= null @!< r8, 3r  @>= null $!< r8, 3r  $>= null @!< r8)
(3 @>= null !@< r8, 3 @>= null !$< r8, 3 $>= null !@< r8) : (b, b, b)
Binder : (3 @>= null @>= r8, 3 @>= null !$< r8, 3 $>= null @>= r8)
Reducer: (false, true, false)
###
> (3r !@=  null @!< r8, 3r !@=  null $!< r8, 3r !$=  null @!< r8)
(3 !@= null !@< r8, 3 !@= null !$< r8, 3 !$= null !@< r8) : (b, b, b)
Binder : (3 !@= null @>= r8, 3 !@= null !$< r8, 3 !$= null @>= r8)
Reducer: (false, true, false)
###
> (3r !@<  null @!< r8, 3r !@<  null $!< r8, 3r !$<  null @!< r8)
(3 !@< null !@< r8, 3 !@< null !$< r8, 3 !$< null !@< r8) : (b, b, b)
Binder : (3 @>= null @>= r8, 3 @>= null !$< r8, 3 !$< null @>= r8)
Reducer: (false, true, false)
###
> (3r !@<= null @!< r8, 3r !@<= null $!< r8, 3r !$<= null @!< r8)
(3 !@<= null !@< r8, 3 !@<= null !$< r8, 3 !$<= null !@< r8) : (b, b, b)
Binder : (3 @> null @>= r8, 3 @> null !$< r8, 3 !$<= null @>= r8)
Reducer: (false, true, false)
###
> (3r !@>  null @!< r8, 3r !@>  null $!< r8, 3r !$>  null @!< r8)
(3 !@> null !@< r8, 3 !@> null !$< r8, 3 !$> null !@< r8) : (b, b, b)
Binder : (3 @<= null @>= r8, 3 @<= null !$< r8, 3 !$> null @>= r8)
Reducer: (false, false, false)
###
> (3r !@>= null @!< r8, 3r !@>= null $!< r8, 3r !$>= null @!< r8)
(3 !@>= null !@< r8, 3 !@>= null !$< r8, 3 !$>= null !@< r8) : (b, b, b)
Binder : (3 @< null @>= r8, 3 @< null !$< r8, 3 !$>= null @>= r8)
Reducer: (false, false, false)
###
> (null  @=  null @!< r8, null  @=  null $!< r8, null  $=  null @!< r8)
(null @= null !@< r8, null @= null !$< r8, null $= null !@< r8) : (b, b, b)
Binder : (null @= null @>= r8, null @= null !$< r8, null $= null @>= r8)
Reducer: (false, true, false)
###
> (null  @<  null @!< r8, null  @<  null $!< r8, null  $<  null @!< r8)
(null @< null !@< r8, null @< null !$< r8, null $< null !@< r8) : (b, b, b)
Binder : (null @< null @>= r8, null @< null !$< r8, null $< null @>= r8)
Reducer: (false, false, false)
###
> (null  @<= null @!< r8, null  @<= null $!< r8, null  $<= null @!< r8)
(null @<= null !@< r8, null @<= null !$< r8, null $<= null !@< r8) : (b, b, b)
Binder : (null @<= null @>= r8, null @<= null !$< r8, null $<= null @>= r8)
Reducer: (false, true, false)
###
> (null  @>  null @!< r8, null  @>  null $!< r8, null  $>  null @!< r8)
(null @> null !@< r8, null @> null !$< r8, null $> null !@< r8) : (b, b, b)
Binder : (null @> null @>= r8, null @> null !$< r8, null $> null @>= r8)
Reducer: (false, false, false)
###
> (null  @>= null @!< r8, null  @>= null $!< r8, null  $>= null @!< r8)
(null @>= null !@< r8, null @>= null !$< r8, null $>= null !@< r8) : (b, b, b)
Binder : (null @>= null @>= r8, null @>= null !$< r8, null $>= null @>= r8)
Reducer: (false, true, false)
###
> (null !@=  null @!< r8, null !@=  null $!< r8, null !$=  null @!< r8)
(null !@= null !@< r8, null !@= null !$< r8, null !$= null !@< r8) : (b, b, b)
Binder : (null !@= null @>= r8, null !@= null !$< r8, null !$= null @>= r8)
Reducer: (false, false, false)
###
> (null !@<  null @!< r8, null !@<  null $!< r8, null !$<  null @!< r8)
(null !@< null !@< r8, null !@< null !$< r8, null !$< null !@< r8) : (b, b, b)
Binder : (null @>= null @>= r8, null @>= null !$< r8, null !$< null @>= r8)
Reducer: (false, true, false)
###
> (null !@<= null @!< r8, null !@<= null $!< r8, null !$<= null @!< r8)
(null !@<= null !@< r8, null !@<= null !$< r8, null !$<= null !@< r8) : (b, b, b)
Binder : (null @> null @>= r8, null @> null !$< r8, null !$<= null @>= r8)
Reducer: (false, false, false)
###
> (null !@>  null @!< r8, null !@>  null $!< r8, null !$>  null @!< r8)
(null !@> null !@< r8, null !@> null !$< r8, null !$> null !@< r8) : (b, b, b)
Binder : (null @<= null @>= r8, null @<= null !$< r8, null !$> null @>= r8)
Reducer: (false, true, false)
###
> (null !@>= null @!< r8, null !@>= null $!< r8, null !$>= null @!< r8)
(null !@>= null !@< r8, null !@>= null !$< r8, null !$>= null !@< r8) : (b, b, b)
Binder : (null @< null @>= r8, null @< null !$< r8, null !$>= null @>= r8)
Reducer: (false, false, false)
###
> (3r  @=  5r @!< qr8, 3r  @=  5r $!< qr8, 3r  $=  5r @!< qr8)
(3 @= 5 !@< qr8, 3 @= 5 !$< qr8, 3 $= 5 !@< qr8) : (b, b, b)
Binder : (3 @= 5 @>= qr8, 3 @= 5 !$< qr8, 3 $= 5 @>= qr8)
Reducer: (false, false, false)
###
> (3r  @<  5r @!< qr8, 3r  @<  5r $!< qr8, 3r  $<  5r @!< qr8)
(3 @< 5 !@< qr8, 3 @< 5 !$< qr8, 3 $< 5 !@< qr8) : (b, b, b)
Binder : (3 @< 5 @>= qr8, 3 @< 5 !$< qr8, 3 $< 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (3r  @<= 5r @!< qr8, 3r  @<= 5r $!< qr8, 3r  $<= 5r @!< qr8)
(3 @<= 5 !@< qr8, 3 @<= 5 !$< qr8, 3 $<= 5 !@< qr8) : (b, b, b)
Binder : (3 @<= 5 @>= qr8, 3 @<= 5 !$< qr8, 3 $<= 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (3r  @>  5r @!< qr8, 3r  @>  5r $!< qr8, 3r  $>  5r @!< qr8)
(3 @> 5 !@< qr8, 3 @> 5 !$< qr8, 3 $> 5 !@< qr8) : (b, b, b)
Binder : (3 @> 5 @>= qr8, 3 @> 5 !$< qr8, 3 $> 5 @>= qr8)
Reducer: (false, false, false)
###
> (3r  @>= 5r @!< qr8, 3r  @>= 5r $!< qr8, 3r  $>= 5r @!< qr8)
(3 @>= 5 !@< qr8, 3 @>= 5 !$< qr8, 3 $>= 5 !@< qr8) : (b, b, b)
Binder : (3 @>= 5 @>= qr8, 3 @>= 5 !$< qr8, 3 $>= 5 @>= qr8)
Reducer: (false, false, false)
###
> (3r !@=  5r @!< qr8, 3r !@=  5r $!< qr8, 3r !$=  5r @!< qr8)
(3 !@= 5 !@< qr8, 3 !@= 5 !$< qr8, 3 !$= 5 !@< qr8) : (b, b, b)
Binder : (3 !@= 5 @>= qr8, 3 !@= 5 !$< qr8, 3 !$= 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (3r !@<  5r @!< qr8, 3r !@<  5r $!< qr8, 3r !$<  5r @!< qr8)
(3 !@< 5 !@< qr8, 3 !@< 5 !$< qr8, 3 !$< 5 !@< qr8) : (b, b, b)
Binder : (3 @>= 5 @>= qr8, 3 @>= 5 !$< qr8, 3 !$< 5 @>= qr8)
Reducer: (false, false, false)
###
> (3r !@<= 5r @!< qr8, 3r !@<= 5r $!< qr8, 3r !$<= 5r @!< qr8)
(3 !@<= 5 !@< qr8, 3 !@<= 5 !$< qr8, 3 !$<= 5 !@< qr8) : (b, b, b)
Binder : (3 @> 5 @>= qr8, 3 @> 5 !$< qr8, 3 !$<= 5 @>= qr8)
Reducer: (false, false, false)
###
> (3r !@>  5r @!< qr8, 3r !@>  5r $!< qr8, 3r !$>  5r @!< qr8)
(3 !@> 5 !@< qr8, 3 !@> 5 !$< qr8, 3 !$> 5 !@< qr8) : (b, b, b)
Binder : (3 @<= 5 @>= qr8, 3 @<= 5 !$< qr8, 3 !$> 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (3r !@>= 5r @!< qr8, 3r !@>= 5r $!< qr8, 3r !$>= 5r @!< qr8)
(3 !@>= 5 !@< qr8, 3 !@>= 5 !$< qr8, 3 !$>= 5 !@< qr8) : (b, b, b)
Binder : (3 @< 5 @>= qr8, 3 @< 5 !$< qr8, 3 !$>= 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (null  @=  5r @!< qr8, null  @=  5r $!< qr8, null  $=  5r @!< qr8)
(null @= 5 !@< qr8, null @= 5 !$< qr8, null $= 5 !@< qr8) : (b, b, b)
Binder : (null @= 5 @>= qr8, null @= 5 !$< qr8, null $= 5 @>= qr8)
Reducer: (false, false, false)
###
> (null  @<  5r @!< qr8, null  @<  5r $!< qr8, null  $<  5r @!< qr8)
(null @< 5 !@< qr8, null @< 5 !$< qr8, null $< 5 !@< qr8) : (b, b, b)
Binder : (null @< 5 @>= qr8, null @< 5 !$< qr8, null $< 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, false)
###
> (null  @<= 5r @!< qr8, null  @<= 5r $!< qr8, null  $<= 5r @!< qr8)
(null @<= 5 !@< qr8, null @<= 5 !$< qr8, null $<= 5 !@< qr8) : (b, b, b)
Binder : (null @<= 5 @>= qr8, null @<= 5 !$< qr8, null $<= 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, false)
###
> (null  @>  5r @!< qr8, null  @>  5r $!< qr8, null  $>  5r @!< qr8)
(null @> 5 !@< qr8, null @> 5 !$< qr8, null $> 5 !@< qr8) : (b, b, b)
Binder : (null @> 5 @>= qr8, null @> 5 !$< qr8, null $> 5 @>= qr8)
Reducer: (false, false, false)
###
> (null  @>= 5r @!< qr8, null  @>= 5r $!< qr8, null  $>= 5r @!< qr8)
(null @>= 5 !@< qr8, null @>= 5 !$< qr8, null $>= 5 !@< qr8) : (b, b, b)
Binder : (null @>= 5 @>= qr8, null @>= 5 !$< qr8, null $>= 5 @>= qr8)
Reducer: (false, false, false)
###
> (null !@=  5r @!< qr8, null !@=  5r $!< qr8, null !$=  5r @!< qr8)
(null !@= 5 !@< qr8, null !@= 5 !$< qr8, null !$= 5 !@< qr8) : (b, b, b)
Binder : (null !@= 5 @>= qr8, null !@= 5 !$< qr8, null !$= 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (null !@<  5r @!< qr8, null !@<  5r $!< qr8, null !$<  5r @!< qr8)
(null !@< 5 !@< qr8, null !@< 5 !$< qr8, null !$< 5 !@< qr8) : (b, b, b)
Binder : (null @>= 5 @>= qr8, null @>= 5 !$< qr8, null !$< 5 @>= qr8)
Reducer: (false, false, 5 @>= qr8)
###
> (null !@<= 5r @!< qr8, null !@<= 5r $!< qr8, null !$<= 5r @!< qr8)
(null !@<= 5 !@< qr8, null !@<= 5 !$< qr8, null !$<= 5 !@< qr8) : (b, b, b)
Binder : (null @> 5 @>= qr8, null @> 5 !$< qr8, null !$<= 5 @>= qr8)
Reducer: (false, false, 5 @>= qr8)
###
> (null !@>  5r @!< qr8, null !@>  5r $!< qr8, null !$>  5r @!< qr8)
(null !@> 5 !@< qr8, null !@> 5 !$< qr8, null !$> 5 !@< qr8) : (b, b, b)
Binder : (null @<= 5 @>= qr8, null @<= 5 !$< qr8, null !$> 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (null !@>= 5r @!< qr8, null !@>= 5r $!< qr8, null !$>= 5r @!< qr8)
(null !@>= 5 !@< qr8, null !@>= 5 !$< qr8, null !$>= 5 !@< qr8) : (b, b, b)
Binder : (null @< 5 @>= qr8, null @< 5 !$< qr8, null !$>= 5 @>= qr8)
Reducer: (5 @>= qr8, 5 !$< qr8, 5 @>= qr8)
###
> (3r  @=  null @!< qr8, 3r  @=  null $!< qr8, 3r  $=  null @!< qr8)
(3 @= null !@< qr8, 3 @= null !$< qr8, 3 $= null !@< qr8) : (b, b, b)
Binder : (3 @= null @>= qr8, 3 @= null !$< qr8, 3 $= null @>= qr8)
Reducer: (false, false, false)
###
> (3r  @<  null @!< qr8, 3r  @<  null $!< qr8, 3r  $<  null @!< qr8)
(3 @< null !@< qr8, 3 @< null !$< qr8, 3 $< null !@< qr8) : (b, b, b)
Binder : (3 @< null @>= qr8, 3 @< null !$< qr8, 3 $< null @>= qr8)
Reducer: (false, false, false)
###
> (3r  @<= null @!< qr8, 3r  @<= null $!< qr8, 3r  $<= null @!< qr8)
(3 @<= null !@< qr8, 3 @<= null !$< qr8, 3 $<= null !@< qr8) : (b, b, b)
Binder : (3 @<= null @>= qr8, 3 @<= null !$< qr8, 3 $<= null @>= qr8)
Reducer: (false, false, false)
###
> (3r  @>  null @!< qr8, 3r  @>  null $!< qr8, 3r  $>  null @!< qr8)
(3 @> null !@< qr8, 3 @> null !$< qr8, 3 $> null !@< qr8) : (b, b, b)
Binder : (3 @> null @>= qr8, 3 @> null !$< qr8, 3 $> null @>= qr8)
Reducer: (null @>= qr8, true, false)
###
> (3r  @>= null @!< qr8, 3r  @>= null $!< qr8, 3r  $>= null @!< qr8)
(3 @>= null !@< qr8, 3 @>= null !$< qr8, 3 $>= null !@< qr8) : (b, b, b)
Binder : (3 @>= null @>= qr8, 3 @>= null !$< qr8, 3 $>= null @>= qr8)
Reducer: (null @>= qr8, true, false)
###
> (3r !@=  null @!< qr8, 3r !@=  null $!< qr8, 3r !$=  null @!< qr8)
(3 !@= null !@< qr8, 3 !@= null !$< qr8, 3 !$= null !@< qr8) : (b, b, b)
Binder : (3 !@= null @>= qr8, 3 !@= null !$< qr8, 3 !$= null @>= qr8)
Reducer: (null @>= qr8, true, null @>= qr8)
###
> (3r !@<  null @!< qr8, 3r !@<  null $!< qr8, 3r !$<  null @!< qr8)
(3 !@< null !@< qr8, 3 !@< null !$< qr8, 3 !$< null !@< qr8) : (b, b, b)
Binder : (3 @>= null @>= qr8, 3 @>= null !$< qr8, 3 !$< null @>= qr8)
Reducer: (null @>= qr8, true, null @>= qr8)
###
> (3r !@<= null @!< qr8, 3r !@<= null $!< qr8, 3r !$<= null @!< qr8)
(3 !@<= null !@< qr8, 3 !@<= null !$< qr8, 3 !$<= null !@< qr8) : (b, b, b)
Binder : (3 @> null @>= qr8, 3 @> null !$< qr8, 3 !$<= null @>= qr8)
Reducer: (null @>= qr8, true, null @>= qr8)
###
> (3r !@>  null @!< qr8, 3r !@>  null $!< qr8, 3r !$>  null @!< qr8)
(3 !@> null !@< qr8, 3 !@> null !$< qr8, 3 !$> null !@< qr8) : (b, b, b)
Binder : (3 @<= null @>= qr8, 3 @<= null !$< qr8, 3 !$> null @>= qr8)
Reducer: (false, false, null @>= qr8)
###
> (3r !@>= null @!< qr8, 3r !@>= null $!< qr8, 3r !$>= null @!< qr8)
(3 !@>= null !@< qr8, 3 !@>= null !$< qr8, 3 !$>= null !@< qr8) : (b, b, b)
Binder : (3 @< null @>= qr8, 3 @< null !$< qr8, 3 !$>= null @>= qr8)
Reducer: (false, false, null @>= qr8)
###
> (null  @=  null @!< qr8, null  @=  null $!< qr8, null  $=  null @!< qr8)
(null @= null !@< qr8, null @= null !$< qr8, null $= null !@< qr8) : (b, b, b)
Binder : (null @= null @>= qr8, null @= null !$< qr8, null $= null @>= qr8)
Reducer: (null @>= qr8, true, false)
###
> (null  @<  null @!< qr8, null  @<  null $!< qr8, null  $<  null @!< qr8)
(null @< null !@< qr8, null @< null !$< qr8, null $< null !@< qr8) : (b, b, b)
Binder : (null @< null @>= qr8, null @< null !$< qr8, null $< null @>= qr8)
Reducer: (false, false, false)
###
> (null  @<= null @!< qr8, null  @<= null $!< qr8, null  $<= null @!< qr8)
(null @<= null !@< qr8, null @<= null !$< qr8, null $<= null !@< qr8) : (b, b, b)
Binder : (null @<= null @>= qr8, null @<= null !$< qr8, null $<= null @>= qr8)
Reducer: (null @>= qr8, true, false)
###
> (null  @>  null @!< qr8, null  @>  null $!< qr8, null  $>  null @!< qr8)
(null @> null !@< qr8, null @> null !$< qr8, null $> null !@< qr8) : (b, b, b)
Binder : (null @> null @>= qr8, null @> null !$< qr8, null $> null @>= qr8)
Reducer: (false, false, false)
###
> (null  @>= null @!< qr8, null  @>= null $!< qr8, null  $>= null @!< qr8)
(null @>= null !@< qr8, null @>= null !$< qr8, null $>= null !@< qr8) : (b, b, b)
Binder : (null @>= null @>= qr8, null @>= null !$< qr8, null $>= null @>= qr8)
Reducer: (null @>= qr8, true, false)
###
> (null !@=  null @!< qr8, null !@=  null $!< qr8, null !$=  null @!< qr8)
(null !@= null !@< qr8, null !@= null !$< qr8, null !$= null !@< qr8) : (b, b, b)
Binder : (null !@= null @>= qr8, null !@= null !$< qr8, null !$= null @>= qr8)
Reducer: (false, false, null @>= qr8)
###
> (null !@<  null @!< qr8, null !@<  null $!< qr8, null !$<  null @!< qr8)
(null !@< null !@< qr8, null !@< null !$< qr8, null !$< null !@< qr8) : (b, b, b)
Binder : (null @>= null @>= qr8, null @>= null !$< qr8, null !$< null @>= qr8)
Reducer: (null @>= qr8, true, null @>= qr8)
###
> (null !@<= null @!< qr8, null !@<= null $!< qr8, null !$<= null @!< qr8)
(null !@<= null !@< qr8, null !@<= null !$< qr8, null !$<= null !@< qr8) : (b, b, b)
Binder : (null @> null @>= qr8, null @> null !$< qr8, null !$<= null @>= qr8)
Reducer: (false, false, null @>= qr8)
###
> (null !@>  null @!< qr8, null !@>  null $!< qr8, null !$>  null @!< qr8)
(null !@> null !@< qr8, null !@> null !$< qr8, null !$> null !@< qr8) : (b, b, b)
Binder : (null @<= null @>= qr8, null @<= null !$< qr8, null !$> null @>= qr8)
Reducer: (null @>= qr8, true, null @>= qr8)
###
> (null !@>= null @!< qr8, null !@>= null $!< qr8, null !$>= null @!< qr8)
(null !@>= null !@< qr8, null !@>= null !$< qr8, null !$>= null !@< qr8) : (b, b, b)
Binder : (null @< null @>= qr8, null @< null !$< qr8, null !$>= null @>= qr8)
Reducer: (false, false, null @>= qr8)
###
> "*** Others."
"*** Others." : s
Binder : "*** Others."
###
> qr8 @= 3r  @ = 5r @= r8
qr8 @= 3 @= 5 @= r8 : b
Binder : qr8 @= 3 @= 5 @= r8
Reducer: false
###
> qr8 @= 3r !@ = 5r @= r8
qr8 @= 3 !@= 5 @= r8 : b
Binder : qr8 @= 3 !@= 5 @= r8
Reducer: qr8 @= 3 && 5 @= r8
###
> qr8 @= 3r  @<  5r @= r8
qr8 @= 3 @< 5 @= r8 : b
Binder : qr8 @= 3 @< 5 @= r8
Reducer: qr8 @= 3 && 5 @= r8
###
> qr8 @= 3r  @<= 5r @= r8
qr8 @= 3 @<= 5 @= r8 : b
Binder : qr8 @= 3 @<= 5 @= r8
Reducer: qr8 @= 3 && 5 @= r8
###
> qr8 @= 3r  @>  5r @= r8
qr8 @= 3 @> 5 @= r8 : b
Binder : qr8 @= 3 @> 5 @= r8
Reducer: false
###
> qr8 @= 3r  @>= 5r @= r8
qr8 @= 3 @>= 5 @= r8 : b
Binder : qr8 @= 3 @>= 5 @= r8
Reducer: false
###
> qr8 @= null  @ = 5r @= r8
qr8 @= null @= 5 @= r8 : b
Binder : qr8 @= null @= 5 @= r8
Reducer: false
###
> qr8 @= null !@ = 5r @= r8
qr8 @= null !@= 5 @= r8 : b
Binder : qr8 @= null !@= 5 @= r8
Reducer: qr8 @= null && 5 @= r8
###
> qr8 @= null  @<  5r @= r8
qr8 @= null @< 5 @= r8 : b
Binder : qr8 @= null @< 5 @= r8
Reducer: qr8 @= null && 5 @= r8
###
> qr8 @= null  @<= 5r @= r8
qr8 @= null @<= 5 @= r8 : b
Binder : qr8 @= null @<= 5 @= r8
Reducer: qr8 @= null && 5 @= r8
###
> qr8 @= null  @>  5r @= r8
qr8 @= null @> 5 @= r8 : b
Binder : qr8 @= null @> 5 @= r8
Reducer: false
###
> qr8 @= null  @>= 5r @= r8
qr8 @= null @>= 5 @= r8 : b
Binder : qr8 @= null @>= 5 @= r8
Reducer: false
###
> qr8 @= 3r  @ = null @= r8
qr8 @= 3 @= null @= r8 : b
Binder : qr8 @= 3 @= null @= r8
Reducer: false
###
> qr8 @= 3r !@ = null @= r8
qr8 @= 3 !@= null @= r8 : b
Binder : qr8 @= 3 !@= null @= r8
Reducer: false
###
> qr8 @= 3r  @<  null @= r8
qr8 @= 3 @< null @= r8 : b
Binder : qr8 @= 3 @< null @= r8
Reducer: false
###
> qr8 @= 3r  @<= null @= r8
qr8 @= 3 @<= null @= r8 : b
Binder : qr8 @= 3 @<= null @= r8
Reducer: false
###
> qr8 @= 3r  @>  null @= r8
qr8 @= 3 @> null @= r8 : b
Binder : qr8 @= 3 @> null @= r8
Reducer: false
###
> qr8 @= 3r  @>= null @= r8
qr8 @= 3 @>= null @= r8 : b
Binder : qr8 @= 3 @>= null @= r8
Reducer: false
###
> qr8 @= null  @ = null @= r8
qr8 @= null @= null @= r8 : b
Binder : qr8 @= null @= null @= r8
Reducer: false
###
> qr8 @= null !@ = null @= r8
qr8 @= null !@= null @= r8 : b
Binder : qr8 @= null !@= null @= r8
Reducer: false
###
> qr8 @= null  @<  null @= r8
qr8 @= null @< null @= r8 : b
Binder : qr8 @= null @< null @= r8
Reducer: false
###
> qr8 @= null  @<= null @= r8
qr8 @= null @<= null @= r8 : b
Binder : qr8 @= null @<= null @= r8
Reducer: false
###
> qr8 @= null  @>  null @= r8
qr8 @= null @> null @= r8 : b
Binder : qr8 @= null @> null @= r8
Reducer: false
###
> qr8 @= null  @>= null @= r8
qr8 @= null @>= null @= r8 : b
Binder : qr8 @= null @>= null @= r8
Reducer: false
###
> qr8 @= 3r  @ = 5r !@= r8
qr8 @= 3 @= 5 !@= r8 : b
Binder : qr8 @= 3 @= 5 !@= r8
Reducer: false
###
> qr8 @= 3r !@ = 5r !@= r8
qr8 @= 3 !@= 5 !@= r8 : b
Binder : qr8 @= 3 !@= 5 !@= r8
Reducer: qr8 @= 3 && 5 !@= r8
###
> qr8 @= 3r  @<  5r !@= r8
qr8 @= 3 @< 5 !@= r8 : b
Binder : qr8 @= 3 @< 5 !@= r8
Reducer: qr8 @= 3 && 5 !@= r8
###
> qr8 @= 3r  @<= 5r !@= r8
qr8 @= 3 @<= 5 !@= r8 : b
Binder : qr8 @= 3 @<= 5 !@= r8
Reducer: qr8 @= 3 && 5 !@= r8
###
> qr8 @= 3r  @>  5r !@= r8
qr8 @= 3 @> 5 !@= r8 : b
Binder : qr8 @= 3 @> 5 !@= r8
Reducer: false
###
> qr8 @= 3r  @>= 5r !@= r8
qr8 @= 3 @>= 5 !@= r8 : b
Binder : qr8 @= 3 @>= 5 !@= r8
Reducer: false
###
> qr8 @= null  @ = 5r !@= r8
qr8 @= null @= 5 !@= r8 : b
Binder : qr8 @= null @= 5 !@= r8
Reducer: false
###
> qr8 @= null !@ = 5r !@= r8
qr8 @= null !@= 5 !@= r8 : b
Binder : qr8 @= null !@= 5 !@= r8
Reducer: qr8 @= null && 5 !@= r8
###
> qr8 @= null  @<  5r !@= r8
qr8 @= null @< 5 !@= r8 : b
Binder : qr8 @= null @< 5 !@= r8
Reducer: qr8 @= null && 5 !@= r8
###
> qr8 @= null  @<= 5r !@= r8
qr8 @= null @<= 5 !@= r8 : b
Binder : qr8 @= null @<= 5 !@= r8
Reducer: qr8 @= null && 5 !@= r8
###
> qr8 @= null  @>  5r !@= r8
qr8 @= null @> 5 !@= r8 : b
Binder : qr8 @= null @> 5 !@= r8
Reducer: false
###
> qr8 @= null  @>= 5r !@= r8
qr8 @= null @>= 5 !@= r8 : b
Binder : qr8 @= null @>= 5 !@= r8
Reducer: false
###
> qr8 @= 3r  @ = null !@= r8
qr8 @= 3 @= null !@= r8 : b
Binder : qr8 @= 3 @= null !@= r8
Reducer: false
###
> qr8 @= 3r !@ = null !@= r8
qr8 @= 3 !@= null !@= r8 : b
Binder : qr8 @= 3 !@= null !@= r8
Reducer: qr8 @= 3
###
> qr8 @= 3r  @<  null !@= r8
qr8 @= 3 @< null !@= r8 : b
Binder : qr8 @= 3 @< null !@= r8
Reducer: false
###
> qr8 @= 3r  @<= null !@= r8
qr8 @= 3 @<= null !@= r8 : b
Binder : qr8 @= 3 @<= null !@= r8
Reducer: false
###
> qr8 @= 3r  @>  null !@= r8
qr8 @= 3 @> null !@= r8 : b
Binder : qr8 @= 3 @> null !@= r8
Reducer: qr8 @= 3
###
> qr8 @= 3r  @>= null !@= r8
qr8 @= 3 @>= null !@= r8 : b
Binder : qr8 @= 3 @>= null !@= r8
Reducer: qr8 @= 3
###
> qr8 @= null  @ = null !@= r8
qr8 @= null @= null !@= r8 : b
Binder : qr8 @= null @= null !@= r8
Reducer: qr8 @= null
###
> qr8 @= null !@ = null !@= r8
qr8 @= null !@= null !@= r8 : b
Binder : qr8 @= null !@= null !@= r8
Reducer: false
###
> qr8 @= null  @<  null !@= r8
qr8 @= null @< null !@= r8 : b
Binder : qr8 @= null @< null !@= r8
Reducer: false
###
> qr8 @= null  @<= null !@= r8
qr8 @= null @<= null !@= r8 : b
Binder : qr8 @= null @<= null !@= r8
Reducer: qr8 @= null
###
> qr8 @= null  @>  null !@= r8
qr8 @= null @> null !@= r8 : b
Binder : qr8 @= null @> null !@= r8
Reducer: false
###
> qr8 @= null  @>= null !@= r8
qr8 @= null @>= null !@= r8 : b
Binder : qr8 @= null @>= null !@= r8
Reducer: qr8 @= null
###
> 3r  @ = 5r  @ = 7r
3 @= 5 @= 7 : b
Binder : 3 @= 5 @= 7
Reducer: false
###
> 3r  @ = 5r !@ = 7r
3 @= 5 !@= 7 : b
Binder : 3 @= 5 !@= 7
Reducer: false
###
> 3r  @ = 5r  @<  7r
3 @= 5 @< 7 : b
Binder : 3 @= 5 @< 7
Reducer: false
###
> 3r  @ = 5r  @<= 7r
3 @= 5 @<= 7 : b
Binder : 3 @= 5 @<= 7
Reducer: false
###
> 3r  @ = 5r  @>  7r
3 @= 5 @> 7 : b
Binder : 3 @= 5 @> 7
Reducer: false
###
> 3r  @ = 5r  @>= 7r
3 @= 5 @>= 7 : b
Binder : 3 @= 5 @>= 7
Reducer: false
###
> 3r !@ = 5r  @ = 7r
3 !@= 5 @= 7 : b
Binder : 3 !@= 5 @= 7
Reducer: false
###
> 3r !@ = 5r !@ = 7r
3 !@= 5 !@= 7 : b
Binder : 3 !@= 5 !@= 7
Reducer: true
###
> 3r !@ = 5r  @<  7r
3 !@= 5 @< 7 : b
Binder : 3 !@= 5 @< 7
Reducer: true
###
> 3r !@ = 5r  @<= 7r
3 !@= 5 @<= 7 : b
Binder : 3 !@= 5 @<= 7
Reducer: true
###
> 3r !@ = 5r  @>  7r
3 !@= 5 @> 7 : b
Binder : 3 !@= 5 @> 7
Reducer: false
###
> 3r !@ = 5r  @>= 7r
3 !@= 5 @>= 7 : b
Binder : 3 !@= 5 @>= 7
Reducer: false
###
> 3r  @<  5r  @ = 7r
3 @< 5 @= 7 : b
Binder : 3 @< 5 @= 7
Reducer: false
###
> 3r  @<  5r !@ = 7r
3 @< 5 !@= 7 : b
Binder : 3 @< 5 !@= 7
Reducer: true
###
> 3r  @<  5r  @<  7r
3 @< 5 @< 7 : b
Binder : 3 @< 5 @< 7
Reducer: true
###
> 3r  @<  5r  @<= 7r
3 @< 5 @<= 7 : b
Binder : 3 @< 5 @<= 7
Reducer: true
###
> 3r  @<  5r  @>  7r
3 @< 5 @> 7 : b
Binder : 3 @< 5 @> 7
Reducer: false
###
> 3r  @<  5r  @>= 7r
3 @< 5 @>= 7 : b
Binder : 3 @< 5 @>= 7
Reducer: false
###
> 3r  @<= 5r  @ = 7r
3 @<= 5 @= 7 : b
Binder : 3 @<= 5 @= 7
Reducer: false
###
> 3r  @<= 5r !@ = 7r
3 @<= 5 !@= 7 : b
Binder : 3 @<= 5 !@= 7
Reducer: true
###
> 3r  @<= 5r  @<  7r
3 @<= 5 @< 7 : b
Binder : 3 @<= 5 @< 7
Reducer: true
###
> 3r  @<= 5r  @<= 7r
3 @<= 5 @<= 7 : b
Binder : 3 @<= 5 @<= 7
Reducer: true
###
> 3r  @<= 5r  @>  7r
3 @<= 5 @> 7 : b
Binder : 3 @<= 5 @> 7
Reducer: false
###
> 3r  @<= 5r  @>= 7r
3 @<= 5 @>= 7 : b
Binder : 3 @<= 5 @>= 7
Reducer: false
###
> 3r  @>  5r  @ = 7r
3 @> 5 @= 7 : b
Binder : 3 @> 5 @= 7
Reducer: false
###
> 3r  @>  5r !@ = 7r
3 @> 5 !@= 7 : b
Binder : 3 @> 5 !@= 7
Reducer: false
###
> 3r  @>  5r  @<  7r
3 @> 5 @< 7 : b
Binder : 3 @> 5 @< 7
Reducer: false
###
> 3r  @>  5r  @<= 7r
3 @> 5 @<= 7 : b
Binder : 3 @> 5 @<= 7
Reducer: false
###
> 3r  @>  5r  @>  7r
3 @> 5 @> 7 : b
Binder : 3 @> 5 @> 7
Reducer: false
###
> 3r  @>  5r  @>= 7r
3 @> 5 @>= 7 : b
Binder : 3 @> 5 @>= 7
Reducer: false
###
> 3r  @>= 5r  @ = 7r
3 @>= 5 @= 7 : b
Binder : 3 @>= 5 @= 7
Reducer: false
###
> 3r  @>= 5r !@ = 7r
3 @>= 5 !@= 7 : b
Binder : 3 @>= 5 !@= 7
Reducer: false
###
> 3r  @>= 5r  @<  7r
3 @>= 5 @< 7 : b
Binder : 3 @>= 5 @< 7
Reducer: false
###
> 3r  @>= 5r  @<= 7r
3 @>= 5 @<= 7 : b
Binder : 3 @>= 5 @<= 7
Reducer: false
###
> 3r  @>= 5r  @>  7r
3 @>= 5 @> 7 : b
Binder : 3 @>= 5 @> 7
Reducer: false
###
> 3r  @>= 5r  @>= 7r
3 @>= 5 @>= 7 : b
Binder : 3 @>= 5 @>= 7
Reducer: false
###
> r8 @< 3r  @ = 5r  @ = 7r
r8 @< 3 @= 5 @= 7 : b
Binder : r8 @< 3 @= 5 @= 7
Reducer: false
###
> r8 @< 3r  @ = 5r !@ = 7r
r8 @< 3 @= 5 !@= 7 : b
Binder : r8 @< 3 @= 5 !@= 7
Reducer: false
###
> r8 @< 3r  @ = 5r  @<  7r
r8 @< 3 @= 5 @< 7 : b
Binder : r8 @< 3 @= 5 @< 7
Reducer: false
###
> r8 @< 3r  @ = 5r  @<= 7r
r8 @< 3 @= 5 @<= 7 : b
Binder : r8 @< 3 @= 5 @<= 7
Reducer: false
###
> r8 @< 3r  @ = 5r  @>  7r
r8 @< 3 @= 5 @> 7 : b
Binder : r8 @< 3 @= 5 @> 7
Reducer: false
###
> r8 @< 3r  @ = 5r  @>= 7r
r8 @< 3 @= 5 @>= 7 : b
Binder : r8 @< 3 @= 5 @>= 7
Reducer: false
###
> r8 @< 3r !@ = 5r  @ = 7r
r8 @< 3 !@= 5 @= 7 : b
Binder : r8 @< 3 !@= 5 @= 7
Reducer: false
###
> r8 @< 3r !@ = 5r !@ = 7r
r8 @< 3 !@= 5 !@= 7 : b
Binder : r8 @< 3 !@= 5 !@= 7
Reducer: r8 @< 3
###
> r8 @< 3r !@ = 5r  @<  7r
r8 @< 3 !@= 5 @< 7 : b
Binder : r8 @< 3 !@= 5 @< 7
Reducer: r8 @< 3
###
> r8 @< 3r !@ = 5r  @<= 7r
r8 @< 3 !@= 5 @<= 7 : b
Binder : r8 @< 3 !@= 5 @<= 7
Reducer: r8 @< 3
###
> r8 @< 3r !@ = 5r  @>  7r
r8 @< 3 !@= 5 @> 7 : b
Binder : r8 @< 3 !@= 5 @> 7
Reducer: false
###
> r8 @< 3r !@ = 5r  @>= 7r
r8 @< 3 !@= 5 @>= 7 : b
Binder : r8 @< 3 !@= 5 @>= 7
Reducer: false
###
> r8 @< 3r  @<  5r  @ = 7r
r8 @< 3 @< 5 @= 7 : b
Binder : r8 @< 3 @< 5 @= 7
Reducer: false
###
> r8 @< 3r  @<  5r !@ = 7r
r8 @< 3 @< 5 !@= 7 : b
Binder : r8 @< 3 @< 5 !@= 7
Reducer: r8 @< 3
###
> r8 @< 3r  @<  5r  @<  7r
r8 @< 3 @< 5 @< 7 : b
Binder : r8 @< 3 @< 5 @< 7
Reducer: r8 @< 3
###
> r8 @< 3r  @<  5r  @<= 7r
r8 @< 3 @< 5 @<= 7 : b
Binder : r8 @< 3 @< 5 @<= 7
Reducer: r8 @< 3
###
> r8 @< 3r  @<  5r  @>  7r
r8 @< 3 @< 5 @> 7 : b
Binder : r8 @< 3 @< 5 @> 7
Reducer: false
###
> r8 @< 3r  @<  5r  @>= 7r
r8 @< 3 @< 5 @>= 7 : b
Binder : r8 @< 3 @< 5 @>= 7
Reducer: false
###
> r8 @< 3r  @<= 5r  @ = 7r
r8 @< 3 @<= 5 @= 7 : b
Binder : r8 @< 3 @<= 5 @= 7
Reducer: false
###
> r8 @< 3r  @<= 5r !@ = 7r
r8 @< 3 @<= 5 !@= 7 : b
Binder : r8 @< 3 @<= 5 !@= 7
Reducer: r8 @< 3
###
> r8 @< 3r  @<= 5r  @<  7r
r8 @< 3 @<= 5 @< 7 : b
Binder : r8 @< 3 @<= 5 @< 7
Reducer: r8 @< 3
###
> r8 @< 3r  @<= 5r  @<= 7r
r8 @< 3 @<= 5 @<= 7 : b
Binder : r8 @< 3 @<= 5 @<= 7
Reducer: r8 @< 3
###
> r8 @< 3r  @<= 5r  @>  7r
r8 @< 3 @<= 5 @> 7 : b
Binder : r8 @< 3 @<= 5 @> 7
Reducer: false
###
> r8 @< 3r  @<= 5r  @>= 7r
r8 @< 3 @<= 5 @>= 7 : b
Binder : r8 @< 3 @<= 5 @>= 7
Reducer: false
###
> r8 @< 3r  @>  5r  @ = 7r
r8 @< 3 @> 5 @= 7 : b
Binder : r8 @< 3 @> 5 @= 7
Reducer: false
###
> r8 @< 3r  @>  5r !@ = 7r
r8 @< 3 @> 5 !@= 7 : b
Binder : r8 @< 3 @> 5 !@= 7
Reducer: false
###
> r8 @< 3r  @>  5r  @<  7r
r8 @< 3 @> 5 @< 7 : b
Binder : r8 @< 3 @> 5 @< 7
Reducer: false
###
> r8 @< 3r  @>  5r  @<= 7r
r8 @< 3 @> 5 @<= 7 : b
Binder : r8 @< 3 @> 5 @<= 7
Reducer: false
###
> r8 @< 3r  @>  5r  @>  7r
r8 @< 3 @> 5 @> 7 : b
Binder : r8 @< 3 @> 5 @> 7
Reducer: false
###
> r8 @< 3r  @>  5r  @>= 7r
r8 @< 3 @> 5 @>= 7 : b
Binder : r8 @< 3 @> 5 @>= 7
Reducer: false
###
> r8 @< 3r  @>= 5r  @ = 7r
r8 @< 3 @>= 5 @= 7 : b
Binder : r8 @< 3 @>= 5 @= 7
Reducer: false
###
> r8 @< 3r  @>= 5r !@ = 7r
r8 @< 3 @>= 5 !@= 7 : b
Binder : r8 @< 3 @>= 5 !@= 7
Reducer: false
###
> r8 @< 3r  @>= 5r  @<  7r
r8 @< 3 @>= 5 @< 7 : b
Binder : r8 @< 3 @>= 5 @< 7
Reducer: false
###
> r8 @< 3r  @>= 5r  @<= 7r
r8 @< 3 @>= 5 @<= 7 : b
Binder : r8 @< 3 @>= 5 @<= 7
Reducer: false
###
> r8 @< 3r  @>= 5r  @>  7r
r8 @< 3 @>= 5 @> 7 : b
Binder : r8 @< 3 @>= 5 @> 7
Reducer: false
###
> r8 @< 3r  @>= 5r  @>= 7r
r8 @< 3 @>= 5 @>= 7 : b
Binder : r8 @< 3 @>= 5 @>= 7
Reducer: false
###
> r8 @< 3r  @ = 5r  @ = 7r @< qr8
r8 @< 3 @= 5 @= 7 @< qr8 : b
Binder : r8 @< 3 @= 5 @= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @ = 5r !@ = 7r @< qr8
r8 @< 3 @= 5 !@= 7 @< qr8 : b
Binder : r8 @< 3 @= 5 !@= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @ = 5r  @<  7r @< qr8
r8 @< 3 @= 5 @< 7 @< qr8 : b
Binder : r8 @< 3 @= 5 @< 7 @< qr8
Reducer: false
###
> r8 @< 3r  @ = 5r  @<= 7r @< qr8
r8 @< 3 @= 5 @<= 7 @< qr8 : b
Binder : r8 @< 3 @= 5 @<= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @ = 5r  @>  7r @< qr8
r8 @< 3 @= 5 @> 7 @< qr8 : b
Binder : r8 @< 3 @= 5 @> 7 @< qr8
Reducer: false
###
> r8 @< 3r  @ = 5r  @>= 7r @< qr8
r8 @< 3 @= 5 @>= 7 @< qr8 : b
Binder : r8 @< 3 @= 5 @>= 7 @< qr8
Reducer: false
###
> r8 @< 3r !@ = 5r  @ = 7r @< qr8
r8 @< 3 !@= 5 @= 7 @< qr8 : b
Binder : r8 @< 3 !@= 5 @= 7 @< qr8
Reducer: false
###
> r8 @< 3r !@ = 5r !@ = 7r @< qr8
r8 @< 3 !@= 5 !@= 7 @< qr8 : b
Binder : r8 @< 3 !@= 5 !@= 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r !@ = 5r  @<  7r @< qr8
r8 @< 3 !@= 5 @< 7 @< qr8 : b
Binder : r8 @< 3 !@= 5 @< 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r !@ = 5r  @<= 7r @< qr8
r8 @< 3 !@= 5 @<= 7 @< qr8 : b
Binder : r8 @< 3 !@= 5 @<= 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r !@ = 5r  @>  7r @< qr8
r8 @< 3 !@= 5 @> 7 @< qr8 : b
Binder : r8 @< 3 !@= 5 @> 7 @< qr8
Reducer: false
###
> r8 @< 3r !@ = 5r  @>= 7r @< qr8
r8 @< 3 !@= 5 @>= 7 @< qr8 : b
Binder : r8 @< 3 !@= 5 @>= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @<  5r  @ = 7r @< qr8
r8 @< 3 @< 5 @= 7 @< qr8 : b
Binder : r8 @< 3 @< 5 @= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @<  5r !@ = 7r @< qr8
r8 @< 3 @< 5 !@= 7 @< qr8 : b
Binder : r8 @< 3 @< 5 !@= 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r  @<  5r  @<  7r @< qr8
r8 @< 3 @< 5 @< 7 @< qr8 : b
Binder : r8 @< 3 @< 5 @< 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r  @<  5r  @<= 7r @< qr8
r8 @< 3 @< 5 @<= 7 @< qr8 : b
Binder : r8 @< 3 @< 5 @<= 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r  @<  5r  @>  7r @< qr8
r8 @< 3 @< 5 @> 7 @< qr8 : b
Binder : r8 @< 3 @< 5 @> 7 @< qr8
Reducer: false
###
> r8 @< 3r  @<  5r  @>= 7r @< qr8
r8 @< 3 @< 5 @>= 7 @< qr8 : b
Binder : r8 @< 3 @< 5 @>= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @<= 5r  @ = 7r @< qr8
r8 @< 3 @<= 5 @= 7 @< qr8 : b
Binder : r8 @< 3 @<= 5 @= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @<= 5r !@ = 7r @< qr8
r8 @< 3 @<= 5 !@= 7 @< qr8 : b
Binder : r8 @< 3 @<= 5 !@= 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r  @<= 5r  @<  7r @< qr8
r8 @< 3 @<= 5 @< 7 @< qr8 : b
Binder : r8 @< 3 @<= 5 @< 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r  @<= 5r  @<= 7r @< qr8
r8 @< 3 @<= 5 @<= 7 @< qr8 : b
Binder : r8 @< 3 @<= 5 @<= 7 @< qr8
Reducer: r8 @< 3 && 7 @< qr8
###
> r8 @< 3r  @<= 5r  @>  7r @< qr8
r8 @< 3 @<= 5 @> 7 @< qr8 : b
Binder : r8 @< 3 @<= 5 @> 7 @< qr8
Reducer: false
###
> r8 @< 3r  @<= 5r  @>= 7r @< qr8
r8 @< 3 @<= 5 @>= 7 @< qr8 : b
Binder : r8 @< 3 @<= 5 @>= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>  5r  @ = 7r @< qr8
r8 @< 3 @> 5 @= 7 @< qr8 : b
Binder : r8 @< 3 @> 5 @= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>  5r !@ = 7r @< qr8
r8 @< 3 @> 5 !@= 7 @< qr8 : b
Binder : r8 @< 3 @> 5 !@= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>  5r  @<  7r @< qr8
r8 @< 3 @> 5 @< 7 @< qr8 : b
Binder : r8 @< 3 @> 5 @< 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>  5r  @<= 7r @< qr8
r8 @< 3 @> 5 @<= 7 @< qr8 : b
Binder : r8 @< 3 @> 5 @<= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>  5r  @>  7r @< qr8
r8 @< 3 @> 5 @> 7 @< qr8 : b
Binder : r8 @< 3 @> 5 @> 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>  5r  @>= 7r @< qr8
r8 @< 3 @> 5 @>= 7 @< qr8 : b
Binder : r8 @< 3 @> 5 @>= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>= 5r  @ = 7r @< qr8
r8 @< 3 @>= 5 @= 7 @< qr8 : b
Binder : r8 @< 3 @>= 5 @= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>= 5r !@ = 7r @< qr8
r8 @< 3 @>= 5 !@= 7 @< qr8 : b
Binder : r8 @< 3 @>= 5 !@= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>= 5r  @<  7r @< qr8
r8 @< 3 @>= 5 @< 7 @< qr8 : b
Binder : r8 @< 3 @>= 5 @< 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>= 5r  @<= 7r @< qr8
r8 @< 3 @>= 5 @<= 7 @< qr8 : b
Binder : r8 @< 3 @>= 5 @<= 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>= 5r  @>  7r @< qr8
r8 @< 3 @>= 5 @> 7 @< qr8 : b
Binder : r8 @< 3 @>= 5 @> 7 @< qr8
Reducer: false
###
> r8 @< 3r  @>= 5r  @>= 7r @< qr8
r8 @< 3 @>= 5 @>= 7 @< qr8 : b
Binder : r8 @< 3 @>= 5 @>= 7 @< qr8
Reducer: false
###

**** New globals: {qr8:r8?*, r8:r8*}

> "*** Lifting."
"*** Lifting." : s
Binder : "*** Lifting."
###
> qr8 @= 3r  @ = 5r @= r8
qr8 @= 3 @= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r !@ = 5r @= r8
qr8 @= 3 !@= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 !@= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, *1 @= 3 && 5 @= *2)
###
> qr8 @= 3r  @<  5r @= r8
qr8 @= 3 @< 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @< 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, *1 @= 3 && 5 @= *2)
###
> qr8 @= 3r  @<= 5r @= r8
qr8 @= 3 @<= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @<= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, *1 @= 3 && 5 @= *2)
###
> qr8 @= 3r  @>  5r @= r8
qr8 @= 3 @> 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @> 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r  @>= 5r @= r8
qr8 @= 3 @>= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @>= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null  @ = 5r @= r8
qr8 @= null @= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null !@ = 5r @= r8
qr8 @= null !@= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null !@= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, *1 @= null && 5 @= *2)
###
> qr8 @= null  @<  5r @= r8
qr8 @= null @< 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @< 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, *1 @= null && 5 @= *2)
###
> qr8 @= null  @<= 5r @= r8
qr8 @= null @<= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @<= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, *1 @= null && 5 @= *2)
###
> qr8 @= null  @>  5r @= r8
qr8 @= null @> 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @> 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null  @>= 5r @= r8
qr8 @= null @>= 5 @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @>= 5 @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r  @ = null @= r8
qr8 @= 3 @= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r !@ = null @= r8
qr8 @= 3 !@= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 !@= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r  @<  null @= r8
qr8 @= 3 @< null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @< null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r  @<= null @= r8
qr8 @= 3 @<= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @<= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r  @>  null @= r8
qr8 @= 3 @> null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @> null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= 3r  @>= null @= r8
qr8 @= 3 @>= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= 3 @>= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null  @ = null @= r8
qr8 @= null @= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null !@ = null @= r8
qr8 @= null !@= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null !@= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null  @<  null @= r8
qr8 @= null @< null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @< null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null  @<= null @= r8
qr8 @= null @<= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @<= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null  @>  null @= r8
qr8 @= null @> null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @> null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> qr8 @= null  @>= null @= r8
qr8 @= null @>= null @= r8 : b*
Binder : ForEach(*1: qr8, *2: r8, *1 @= null @>= null @= *2)
Reducer: ForEach(*1: qr8, *2: r8, false)
###
> r8 @< 3r  @ = 5r  @ = 7r
r8 @< 3 @= 5 @= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @= 5 @= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @ = 5r !@ = 7r
r8 @< 3 @= 5 !@= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @= 5 !@= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @ = 5r  @<  7r
r8 @< 3 @= 5 @< 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @= 5 @< 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @ = 5r  @<= 7r
r8 @< 3 @= 5 @<= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @= 5 @<= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @ = 5r  @>  7r
r8 @< 3 @= 5 @> 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @= 5 @> 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @ = 5r  @>= 7r
r8 @< 3 @= 5 @>= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @= 5 @>= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r !@ = 5r  @ = 7r
r8 @< 3 !@= 5 @= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 !@= 5 @= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r !@ = 5r !@ = 7r
r8 @< 3 !@= 5 !@= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 !@= 5 !@= 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r !@ = 5r  @<  7r
r8 @< 3 !@= 5 @< 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 !@= 5 @< 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r !@ = 5r  @<= 7r
r8 @< 3 !@= 5 @<= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 !@= 5 @<= 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r !@ = 5r  @>  7r
r8 @< 3 !@= 5 @> 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 !@= 5 @> 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r !@ = 5r  @>= 7r
r8 @< 3 !@= 5 @>= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 !@= 5 @>= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @<  5r  @ = 7r
r8 @< 3 @< 5 @= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @< 5 @= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @<  5r !@ = 7r
r8 @< 3 @< 5 !@= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @< 5 !@= 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r  @<  5r  @<  7r
r8 @< 3 @< 5 @< 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @< 5 @< 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r  @<  5r  @<= 7r
r8 @< 3 @< 5 @<= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @< 5 @<= 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r  @<  5r  @>  7r
r8 @< 3 @< 5 @> 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @< 5 @> 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @<  5r  @>= 7r
r8 @< 3 @< 5 @>= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @< 5 @>= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @<= 5r  @ = 7r
r8 @< 3 @<= 5 @= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @<= 5 @= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @<= 5r !@ = 7r
r8 @< 3 @<= 5 !@= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @<= 5 !@= 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r  @<= 5r  @<  7r
r8 @< 3 @<= 5 @< 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @<= 5 @< 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r  @<= 5r  @<= 7r
r8 @< 3 @<= 5 @<= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @<= 5 @<= 7)
Reducer: ForEach(*1: r8, *1 @< 3)
###
> r8 @< 3r  @<= 5r  @>  7r
r8 @< 3 @<= 5 @> 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @<= 5 @> 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @<= 5r  @>= 7r
r8 @< 3 @<= 5 @>= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @<= 5 @>= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>  5r  @ = 7r
r8 @< 3 @> 5 @= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @> 5 @= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>  5r !@ = 7r
r8 @< 3 @> 5 !@= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @> 5 !@= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>  5r  @<  7r
r8 @< 3 @> 5 @< 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @> 5 @< 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>  5r  @<= 7r
r8 @< 3 @> 5 @<= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @> 5 @<= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>  5r  @>  7r
r8 @< 3 @> 5 @> 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @> 5 @> 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>  5r  @>= 7r
r8 @< 3 @> 5 @>= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @> 5 @>= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>= 5r  @ = 7r
r8 @< 3 @>= 5 @= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @>= 5 @= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>= 5r !@ = 7r
r8 @< 3 @>= 5 !@= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @>= 5 !@= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>= 5r  @<  7r
r8 @< 3 @>= 5 @< 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @>= 5 @< 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>= 5r  @<= 7r
r8 @< 3 @>= 5 @<= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @>= 5 @<= 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>= 5r  @>  7r
r8 @< 3 @>= 5 @> 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @>= 5 @> 7)
Reducer: ForEach(*1: r8, false)
###
> r8 @< 3r  @>= 5r  @>= 7r
r8 @< 3 @>= 5 @>= 7 : b*
Binder : ForEach(*1: r8, *1 @< 3 @>= 5 @>= 7)
Reducer: ForEach(*1: r8, false)
###
