﻿// WARNING: This .txt file is generated from the corresponding .tt file. DO NOT edit this .txt directly.

:: {r8:r8, qr8:r8?, i8:i8, qi8:i8?, s:s}

"*** Two operator chain with =."
(r8 @= 3r  @=  5r, r8 @= 3r  $=  5r)
(r8 @= 3r  @<  5r, r8 @= 3r  $<  5r)
(r8 @= 3r  @<= 5r, r8 @= 3r  $<= 5r)
(r8 @= 3r  @>  5r, r8 @= 3r  $>  5r)
(r8 @= 3r  @>= 5r, r8 @= 3r  $>= 5r)
(r8 @= 3r !@=  5r, r8 @= 3r !$=  5r)
(r8 @= 3r !@<  5r, r8 @= 3r !$<  5r)
(r8 @= 3r !@<= 5r, r8 @= 3r !$<= 5r)
(r8 @= 3r !@>  5r, r8 @= 3r !$>  5r)
(r8 @= 3r !@>= 5r, r8 @= 3r !$>= 5r)
// REVIEW: Could reduce some of these.
(3r @= r8  @=  5r, 3r @= r8  $=  5r)
(3r @= r8  @<  5r, 3r @= r8  $<  5r)
(3r @= r8  @<= 5r, 3r @= r8  $<= 5r)
(3r @= r8  @>  5r, 3r @= r8  $>  5r)
(3r @= r8  @>= 5r, 3r @= r8  $>= 5r)
(3r @= r8 !@=  5r, 3r @= r8 !$=  5r)
(3r @= r8 !@<  5r, 3r @= r8 !$<  5r)
(3r @= r8 !@<= 5r, 3r @= r8 !$<= 5r)
(3r @= r8 !@>  5r, 3r @= r8 !$>  5r)
(3r @= r8 !@>= 5r, 3r @= r8 !$>= 5r)

(r8 @= 3r  @=  null, r8 @= 3r  $=  null)
(r8 @= 3r  @<  null, r8 @= 3r  $<  null)
(r8 @= 3r  @<= null, r8 @= 3r  $<= null)
(r8 @= 3r  @>  null, r8 @= 3r  $>  null)
(r8 @= 3r  @>= null, r8 @= 3r  $>= null)
(r8 @= 3r !@=  null, r8 @= 3r !$=  null)
(r8 @= 3r !@<  null, r8 @= 3r !$<  null)
(r8 @= 3r !@<= null, r8 @= 3r !$<= null)
(r8 @= 3r !@>  null, r8 @= 3r !$>  null)
(r8 @= 3r !@>= null, r8 @= 3r !$>= null)
(r8 @= null  @=  5r, r8 @= null  $=  5r)
(r8 @= null  @<  5r, r8 @= null  $<  5r)
(r8 @= null  @<= 5r, r8 @= null  $<= 5r)
(r8 @= null  @>  5r, r8 @= null  $>  5r)
(r8 @= null  @>= 5r, r8 @= null  $>= 5r)
(r8 @= null !@=  5r, r8 @= null !$=  5r)
(r8 @= null !@<  5r, r8 @= null !$<  5r)
(r8 @= null !@<= 5r, r8 @= null !$<= 5r)
(r8 @= null !@>  5r, r8 @= null !$>  5r)
(r8 @= null !@>= 5r, r8 @= null !$>= 5r)
(r8 @= null  @=  null, r8 @= null  $=  null)
(r8 @= null  @<  null, r8 @= null  $<  null)
(r8 @= null  @<= null, r8 @= null  $<= null)
(r8 @= null  @>  null, r8 @= null  $>  null)
(r8 @= null  @>= null, r8 @= null  $>= null)
(r8 @= null !@=  null, r8 @= null !$=  null)
(r8 @= null !@<  null, r8 @= null !$<  null)
(r8 @= null !@<= null, r8 @= null !$<= null)
(r8 @= null !@>  null, r8 @= null !$>  null)
(r8 @= null !@>= null, r8 @= null !$>= null)

(qr8 @= 3r  @=  5r, qr8 @= 3r  $=  5r)
(qr8 @= 3r  @<  5r, qr8 @= 3r  $<  5r)
(qr8 @= 3r  @<= 5r, qr8 @= 3r  $<= 5r)
(qr8 @= 3r  @>  5r, qr8 @= 3r  $>  5r)
(qr8 @= 3r  @>= 5r, qr8 @= 3r  $>= 5r)
(qr8 @= 3r !@=  5r, qr8 @= 3r !$=  5r)
(qr8 @= 3r !@<  5r, qr8 @= 3r !$<  5r)
(qr8 @= 3r !@<= 5r, qr8 @= 3r !$<= 5r)
(qr8 @= 3r !@>  5r, qr8 @= 3r !$>  5r)
(qr8 @= 3r !@>= 5r, qr8 @= 3r !$>= 5r)
// REVIEW: Could reduce some of these.
(3r @= qr8  @=  5r, 3r @= qr8  $=  5r)
(3r @= qr8  @<  5r, 3r @= qr8  $<  5r)
(3r @= qr8  @<= 5r, 3r @= qr8  $<= 5r)
(3r @= qr8  @>  5r, 3r @= qr8  $>  5r)
(3r @= qr8  @>= 5r, 3r @= qr8  $>= 5r)
(3r @= qr8 !@=  5r, 3r @= qr8 !$=  5r)
(3r @= qr8 !@<  5r, 3r @= qr8 !$<  5r)
(3r @= qr8 !@<= 5r, 3r @= qr8 !$<= 5r)
(3r @= qr8 !@>  5r, 3r @= qr8 !$>  5r)
(3r @= qr8 !@>= 5r, 3r @= qr8 !$>= 5r)

(qr8 @= 3r  @=  null, qr8 @= 3r  $=  null)
(qr8 @= 3r  @<  null, qr8 @= 3r  $<  null)
(qr8 @= 3r  @<= null, qr8 @= 3r  $<= null)
(qr8 @= 3r  @>  null, qr8 @= 3r  $>  null)
(qr8 @= 3r  @>= null, qr8 @= 3r  $>= null)
(qr8 @= 3r !@=  null, qr8 @= 3r !$=  null)
(qr8 @= 3r !@<  null, qr8 @= 3r !$<  null)
(qr8 @= 3r !@<= null, qr8 @= 3r !$<= null)
(qr8 @= 3r !@>  null, qr8 @= 3r !$>  null)
(qr8 @= 3r !@>= null, qr8 @= 3r !$>= null)
(qr8 @= null  @=  5r, qr8 $= null  @=  5r, qr8 @= null  $=  5r)
(qr8 @= null  @<  5r, qr8 $= null  @<  5r, qr8 @= null  $<  5r)
(qr8 @= null  @<= 5r, qr8 $= null  @<= 5r, qr8 @= null  $<= 5r)
(qr8 @= null  @>  5r, qr8 $= null  @>  5r, qr8 @= null  $>  5r)
(qr8 @= null  @>= 5r, qr8 $= null  @>= 5r, qr8 @= null  $>= 5r)
(qr8 @= null !@=  5r, qr8 $= null !@=  5r, qr8 @= null !$=  5r)
(qr8 @= null !@<  5r, qr8 $= null !@<  5r, qr8 @= null !$<  5r)
(qr8 @= null !@<= 5r, qr8 $= null !@<= 5r, qr8 @= null !$<= 5r)
(qr8 @= null !@>  5r, qr8 $= null !@>  5r, qr8 @= null !$>  5r)
(qr8 @= null !@>= 5r, qr8 $= null !@>= 5r, qr8 @= null !$>= 5r)
(qr8 @= null  @=  null, qr8 $= null  @=  null, qr8 @= null  $=  null)
(qr8 @= null  @<  null, qr8 $= null  @<  null, qr8 @= null  $<  null)
(qr8 @= null  @<= null, qr8 $= null  @<= null, qr8 @= null  $<= null)
(qr8 @= null  @>  null, qr8 $= null  @>  null, qr8 @= null  $>  null)
(qr8 @= null  @>= null, qr8 $= null  @>= null, qr8 @= null  $>= null)
(qr8 @= null !@=  null, qr8 $= null !@=  null, qr8 @= null !$=  null)
(qr8 @= null !@<  null, qr8 $= null !@<  null, qr8 @= null !$<  null)
(qr8 @= null !@<= null, qr8 $= null !@<= null, qr8 @= null !$<= null)
(qr8 @= null !@>  null, qr8 $= null !@>  null, qr8 @= null !$>  null)
(qr8 @= null !@>= null, qr8 $= null !@>= null, qr8 @= null !$>= null)

"*** Two operator chain with >."
(r8 @> 3r  @=  5r, r8 @> 3r  $=  5r)
(r8 @> 3r  @<  5r, r8 @> 3r  $<  5r)
(r8 @> 3r  @<= 5r, r8 @> 3r  $<= 5r)
(r8 @> 3r  @>  5r, r8 @> 3r  $>  5r)
(r8 @> 3r  @>= 5r, r8 @> 3r  $>= 5r)
(r8 @> 3r !@=  5r, r8 @> 3r !$=  5r)
(r8 @> 3r !@<  5r, r8 @> 3r !$<  5r)
(r8 @> 3r !@<= 5r, r8 @> 3r !$<= 5r)
(r8 @> 3r !@>  5r, r8 @> 3r !$>  5r)
(r8 @> 3r !@>= 5r, r8 @> 3r !$>= 5r)
// REVIEW: Could reduce some of these.
(3r @> r8  @=  5r, 3r @> r8  $=  5r)
(3r @> r8  @<  5r, 3r @> r8  $<  5r)
(3r @> r8  @<= 5r, 3r @> r8  $<= 5r)
(3r @> r8  @>  5r, 3r @> r8  $>  5r)
(3r @> r8  @>= 5r, 3r @> r8  $>= 5r)
(3r @> r8 !@=  5r, 3r @> r8 !$=  5r)
(3r @> r8 !@<  5r, 3r @> r8 !$<  5r)
(3r @> r8 !@<= 5r, 3r @> r8 !$<= 5r)
(3r @> r8 !@>  5r, 3r @> r8 !$>  5r)
(3r @> r8 !@>= 5r, 3r @> r8 !$>= 5r)

(r8 @> 3r  @=  null, r8 @> 3r  $=  null)
(r8 @> 3r  @<  null, r8 @> 3r  $<  null)
(r8 @> 3r  @<= null, r8 @> 3r  $<= null)
(r8 @> 3r  @>  null, r8 @> 3r  $>  null)
(r8 @> 3r  @>= null, r8 @> 3r  $>= null)
(r8 @> 3r !@=  null, r8 @> 3r !$=  null)
(r8 @> 3r !@<  null, r8 @> 3r !$<  null)
(r8 @> 3r !@<= null, r8 @> 3r !$<= null)
(r8 @> 3r !@>  null, r8 @> 3r !$>  null)
(r8 @> 3r !@>= null, r8 @> 3r !$>= null)
(r8 @> null  @=  5r, r8 $> null  @=  5r, r8 @> null  $=  5r)
(r8 @> null  @<  5r, r8 $> null  @<  5r, r8 @> null  $<  5r)
(r8 @> null  @<= 5r, r8 $> null  @<= 5r, r8 @> null  $<= 5r)
(r8 @> null  @>  5r, r8 $> null  @>  5r, r8 @> null  $>  5r)
(r8 @> null  @>= 5r, r8 $> null  @>= 5r, r8 @> null  $>= 5r)
(r8 @> null !@=  5r, r8 $> null !@=  5r, r8 @> null !$=  5r)
(r8 @> null !@<  5r, r8 $> null !@<  5r, r8 @> null !$<  5r)
(r8 @> null !@<= 5r, r8 $> null !@<= 5r, r8 @> null !$<= 5r)
(r8 @> null !@>  5r, r8 $> null !@>  5r, r8 @> null !$>  5r)
(r8 @> null !@>= 5r, r8 $> null !@>= 5r, r8 @> null !$>= 5r)
(r8 @> null  @=  null, r8 $> null  @=  null, r8 @> null  $=  null)
(r8 @> null  @<  null, r8 $> null  @<  null, r8 @> null  $<  null)
(r8 @> null  @<= null, r8 $> null  @<= null, r8 @> null  $<= null)
(r8 @> null  @>  null, r8 $> null  @>  null, r8 @> null  $>  null)
(r8 @> null  @>= null, r8 $> null  @>= null, r8 @> null  $>= null)
(r8 @> null !@=  null, r8 $> null !@=  null, r8 @> null !$=  null)
(r8 @> null !@<  null, r8 $> null !@<  null, r8 @> null !$<  null)
(r8 @> null !@<= null, r8 $> null !@<= null, r8 @> null !$<= null)
(r8 @> null !@>  null, r8 $> null !@>  null, r8 @> null !$>  null)
(r8 @> null !@>= null, r8 $> null !@>= null, r8 @> null !$>= null)

(qr8 @> 3r  @=  5r, qr8 @> 3r  $=  5r)
(qr8 @> 3r  @<  5r, qr8 @> 3r  $<  5r)
(qr8 @> 3r  @<= 5r, qr8 @> 3r  $<= 5r)
(qr8 @> 3r  @>  5r, qr8 @> 3r  $>  5r)
(qr8 @> 3r  @>= 5r, qr8 @> 3r  $>= 5r)
(qr8 @> 3r !@=  5r, qr8 @> 3r !$=  5r)
(qr8 @> 3r !@<  5r, qr8 @> 3r !$<  5r)
(qr8 @> 3r !@<= 5r, qr8 @> 3r !$<= 5r)
(qr8 @> 3r !@>  5r, qr8 @> 3r !$>  5r)
(qr8 @> 3r !@>= 5r, qr8 @> 3r !$>= 5r)
// REVIEW: Could reduce some of these.
(3r @> qr8  @=  5r, 3r @> qr8  $=  5r)
(3r @> qr8  @<  5r, 3r @> qr8  $<  5r)
(3r @> qr8  @<= 5r, 3r @> qr8  $<= 5r)
(3r @> qr8  @>  5r, 3r @> qr8  $>  5r)
(3r @> qr8  @>= 5r, 3r @> qr8  $>= 5r)
(3r @> qr8 !@=  5r, 3r @> qr8 !$=  5r)
(3r @> qr8 !@<  5r, 3r @> qr8 !$<  5r)
(3r @> qr8 !@<= 5r, 3r @> qr8 !$<= 5r)
(3r @> qr8 !@>  5r, 3r @> qr8 !$>  5r)
(3r @> qr8 !@>= 5r, 3r @> qr8 !$>= 5r)

(qr8 @> 3r  @=  null, qr8 @> 3r  $=  null)
(qr8 @> 3r  @<  null, qr8 @> 3r  $<  null)
(qr8 @> 3r  @<= null, qr8 @> 3r  $<= null)
(qr8 @> 3r  @>  null, qr8 @> 3r  $>  null)
(qr8 @> 3r  @>= null, qr8 @> 3r  $>= null)
(qr8 @> 3r !@=  null, qr8 @> 3r !$=  null)
(qr8 @> 3r !@<  null, qr8 @> 3r !$<  null)
(qr8 @> 3r !@<= null, qr8 @> 3r !$<= null)
(qr8 @> 3r !@>  null, qr8 @> 3r !$>  null)
(qr8 @> 3r !@>= null, qr8 @> 3r !$>= null)
(qr8 @> null  @=  5r, qr8 $> null  @=  5r, qr8 @> null  $=  5r)
(qr8 @> null  @<  5r, qr8 $> null  @<  5r, qr8 @> null  $<  5r)
(qr8 @> null  @<= 5r, qr8 $> null  @<= 5r, qr8 @> null  $<= 5r)
(qr8 @> null  @>  5r, qr8 $> null  @>  5r, qr8 @> null  $>  5r)
(qr8 @> null  @>= 5r, qr8 $> null  @>= 5r, qr8 @> null  $>= 5r)
(qr8 @> null !@=  5r, qr8 $> null !@=  5r, qr8 @> null !$=  5r)
(qr8 @> null !@<  5r, qr8 $> null !@<  5r, qr8 @> null !$<  5r)
(qr8 @> null !@<= 5r, qr8 $> null !@<= 5r, qr8 @> null !$<= 5r)
(qr8 @> null !@>  5r, qr8 $> null !@>  5r, qr8 @> null !$>  5r)
(qr8 @> null !@>= 5r, qr8 $> null !@>= 5r, qr8 @> null !$>= 5r)
(qr8 @> null  @=  null, qr8 $> null  @=  null, qr8 @> null  $=  null)
(qr8 @> null  @<  null, qr8 $> null  @<  null, qr8 @> null  $<  null)
(qr8 @> null  @<= null, qr8 $> null  @<= null, qr8 @> null  $<= null)
(qr8 @> null  @>  null, qr8 $> null  @>  null, qr8 @> null  $>  null)
(qr8 @> null  @>= null, qr8 $> null  @>= null, qr8 @> null  $>= null)
(qr8 @> null !@=  null, qr8 $> null !@=  null, qr8 @> null !$=  null)
(qr8 @> null !@<  null, qr8 $> null !@<  null, qr8 @> null !$<  null)
(qr8 @> null !@<= null, qr8 $> null !@<= null, qr8 @> null !$<= null)
(qr8 @> null !@>  null, qr8 $> null !@>  null, qr8 @> null !$>  null)
(qr8 @> null !@>= null, qr8 $> null !@>= null, qr8 @> null !$>= null)

"*** Two operator chain with = on the right."
(3r  @=  5r @= r8, 3r  $=  5r @= r8)
(3r  @<  5r @= r8, 3r  $<  5r @= r8)
(3r  @<= 5r @= r8, 3r  $<= 5r @= r8)
(3r  @>  5r @= r8, 3r  $>  5r @= r8)
(3r  @>= 5r @= r8, 3r  $>= 5r @= r8)
(3r !@=  5r @= r8, 3r !$=  5r @= r8)
(3r !@<  5r @= r8, 3r !$<  5r @= r8)
(3r !@<= 5r @= r8, 3r !$<= 5r @= r8)
(3r !@>  5r @= r8, 3r !$>  5r @= r8)
(3r !@>= 5r @= r8, 3r !$>= 5r @= r8)

(null  @=  5r @= r8, null  $=  5r @= r8)
(null  @<  5r @= r8, null  $<  5r @= r8)
(null  @<= 5r @= r8, null  $<= 5r @= r8)
(null  @>  5r @= r8, null  $>  5r @= r8)
(null  @>= 5r @= r8, null  $>= 5r @= r8)
(null !@=  5r @= r8, null !$=  5r @= r8)
(null !@<  5r @= r8, null !$<  5r @= r8)
(null !@<= 5r @= r8, null !$<= 5r @= r8)
(null !@>  5r @= r8, null !$>  5r @= r8)
(null !@>= 5r @= r8, null !$>= 5r @= r8)
(3r  @=  null @= r8, 3r  @=  null $= r8, 3r  $=  null @= r8)
(3r  @<  null @= r8, 3r  @<  null $= r8, 3r  $<  null @= r8)
(3r  @<= null @= r8, 3r  @<= null $= r8, 3r  $<= null @= r8)
(3r  @>  null @= r8, 3r  @>  null $= r8, 3r  $>  null @= r8)
(3r  @>= null @= r8, 3r  @>= null $= r8, 3r  $>= null @= r8)
(3r !@=  null @= r8, 3r !@=  null $= r8, 3r !$=  null @= r8)
(3r !@<  null @= r8, 3r !@<  null $= r8, 3r !$<  null @= r8)
(3r !@<= null @= r8, 3r !@<= null $= r8, 3r !$<= null @= r8)
(3r !@>  null @= r8, 3r !@>  null $= r8, 3r !$>  null @= r8)
(3r !@>= null @= r8, 3r !@>= null $= r8, 3r !$>= null @= r8)
(null  @=  null @= r8, null  @=  null $= r8, null  $=  null @= r8)
(null  @<  null @= r8, null  @<  null $= r8, null  $<  null @= r8)
(null  @<= null @= r8, null  @<= null $= r8, null  $<= null @= r8)
(null  @>  null @= r8, null  @>  null $= r8, null  $>  null @= r8)
(null  @>= null @= r8, null  @>= null $= r8, null  $>= null @= r8)
(null !@=  null @= r8, null !@=  null $= r8, null !$=  null @= r8)
(null !@<  null @= r8, null !@<  null $= r8, null !$<  null @= r8)
(null !@<= null @= r8, null !@<= null $= r8, null !$<= null @= r8)
(null !@>  null @= r8, null !@>  null $= r8, null !$>  null @= r8)
(null !@>= null @= r8, null !@>= null $= r8, null !$>= null @= r8)

(3r  @=  5r @= qr8, 3r  @=  5r $= qr8, 3r  $=  5r @= qr8)
(3r  @<  5r @= qr8, 3r  @<  5r $= qr8, 3r  $<  5r @= qr8)
(3r  @<= 5r @= qr8, 3r  @<= 5r $= qr8, 3r  $<= 5r @= qr8)
(3r  @>  5r @= qr8, 3r  @>  5r $= qr8, 3r  $>  5r @= qr8)
(3r  @>= 5r @= qr8, 3r  @>= 5r $= qr8, 3r  $>= 5r @= qr8)
(3r !@=  5r @= qr8, 3r !@=  5r $= qr8, 3r !$=  5r @= qr8)
(3r !@<  5r @= qr8, 3r !@<  5r $= qr8, 3r !$<  5r @= qr8)
(3r !@<= 5r @= qr8, 3r !@<= 5r $= qr8, 3r !$<= 5r @= qr8)
(3r !@>  5r @= qr8, 3r !@>  5r $= qr8, 3r !$>  5r @= qr8)
(3r !@>= 5r @= qr8, 3r !@>= 5r $= qr8, 3r !$>= 5r @= qr8)

(null  @=  5r @= qr8, null  @=  5r $= qr8, null  $=  5r @= qr8)
(null  @<  5r @= qr8, null  @<  5r $= qr8, null  $<  5r @= qr8)
(null  @<= 5r @= qr8, null  @<= 5r $= qr8, null  $<= 5r @= qr8)
(null  @>  5r @= qr8, null  @>  5r $= qr8, null  $>  5r @= qr8)
(null  @>= 5r @= qr8, null  @>= 5r $= qr8, null  $>= 5r @= qr8)
(null !@=  5r @= qr8, null !@=  5r $= qr8, null !$=  5r @= qr8)
(null !@<  5r @= qr8, null !@<  5r $= qr8, null !$<  5r @= qr8)
(null !@<= 5r @= qr8, null !@<= 5r $= qr8, null !$<= 5r @= qr8)
(null !@>  5r @= qr8, null !@>  5r $= qr8, null !$>  5r @= qr8)
(null !@>= 5r @= qr8, null !@>= 5r $= qr8, null !$>= 5r @= qr8)
(3r  @=  null @= qr8, 3r  @=  null $= qr8, 3r  $=  null @= qr8)
(3r  @<  null @= qr8, 3r  @<  null $= qr8, 3r  $<  null @= qr8)
(3r  @<= null @= qr8, 3r  @<= null $= qr8, 3r  $<= null @= qr8)
(3r  @>  null @= qr8, 3r  @>  null $= qr8, 3r  $>  null @= qr8)
(3r  @>= null @= qr8, 3r  @>= null $= qr8, 3r  $>= null @= qr8)
(3r !@=  null @= qr8, 3r !@=  null $= qr8, 3r !$=  null @= qr8)
(3r !@<  null @= qr8, 3r !@<  null $= qr8, 3r !$<  null @= qr8)
(3r !@<= null @= qr8, 3r !@<= null $= qr8, 3r !$<= null @= qr8)
(3r !@>  null @= qr8, 3r !@>  null $= qr8, 3r !$>  null @= qr8)
(3r !@>= null @= qr8, 3r !@>= null $= qr8, 3r !$>= null @= qr8)
(null  @=  null @= qr8, null  @=  null $= qr8, null  $=  null @= qr8)
(null  @<  null @= qr8, null  @<  null $= qr8, null  $<  null @= qr8)
(null  @<= null @= qr8, null  @<= null $= qr8, null  $<= null @= qr8)
(null  @>  null @= qr8, null  @>  null $= qr8, null  $>  null @= qr8)
(null  @>= null @= qr8, null  @>= null $= qr8, null  $>= null @= qr8)
(null !@=  null @= qr8, null !@=  null $= qr8, null !$=  null @= qr8)
(null !@<  null @= qr8, null !@<  null $= qr8, null !$<  null @= qr8)
(null !@<= null @= qr8, null !@<= null $= qr8, null !$<= null @= qr8)
(null !@>  null @= qr8, null !@>  null $= qr8, null !$>  null @= qr8)
(null !@>= null @= qr8, null !@>= null $= qr8, null !$>= null @= qr8)

"*** Two operator chain with < on the right."
(3r  @=  5r @< r8, 3r  $=  5r @< r8)
(3r  @<  5r @< r8, 3r  $<  5r @< r8)
(3r  @<= 5r @< r8, 3r  $<= 5r @< r8)
(3r  @>  5r @< r8, 3r  $>  5r @< r8)
(3r  @>= 5r @< r8, 3r  $>= 5r @< r8)
(3r !@=  5r @< r8, 3r !$=  5r @< r8)
(3r !@<  5r @< r8, 3r !$<  5r @< r8)
(3r !@<= 5r @< r8, 3r !$<= 5r @< r8)
(3r !@>  5r @< r8, 3r !$>  5r @< r8)
(3r !@>= 5r @< r8, 3r !$>= 5r @< r8)

(null  @=  5r @< r8, null  $=  5r @< r8)
(null  @<  5r @< r8, null  $<  5r @< r8)
(null  @<= 5r @< r8, null  $<= 5r @< r8)
(null  @>  5r @< r8, null  $>  5r @< r8)
(null  @>= 5r @< r8, null  $>= 5r @< r8)
(null !@=  5r @< r8, null !$=  5r @< r8)
(null !@<  5r @< r8, null !$<  5r @< r8)
(null !@<= 5r @< r8, null !$<= 5r @< r8)
(null !@>  5r @< r8, null !$>  5r @< r8)
(null !@>= 5r @< r8, null !$>= 5r @< r8)
(3r  @=  null @< r8, 3r  @=  null $< r8, 3r  $=  null @< r8)
(3r  @<  null @< r8, 3r  @<  null $< r8, 3r  $<  null @< r8)
(3r  @<= null @< r8, 3r  @<= null $< r8, 3r  $<= null @< r8)
(3r  @>  null @< r8, 3r  @>  null $< r8, 3r  $>  null @< r8)
(3r  @>= null @< r8, 3r  @>= null $< r8, 3r  $>= null @< r8)
(3r !@=  null @< r8, 3r !@=  null $< r8, 3r !$=  null @< r8)
(3r !@<  null @< r8, 3r !@<  null $< r8, 3r !$<  null @< r8)
(3r !@<= null @< r8, 3r !@<= null $< r8, 3r !$<= null @< r8)
(3r !@>  null @< r8, 3r !@>  null $< r8, 3r !$>  null @< r8)
(3r !@>= null @< r8, 3r !@>= null $< r8, 3r !$>= null @< r8)
(null  @=  null @< r8, null  @=  null $< r8, null  $=  null @< r8)
(null  @<  null @< r8, null  @<  null $< r8, null  $<  null @< r8)
(null  @<= null @< r8, null  @<= null $< r8, null  $<= null @< r8)
(null  @>  null @< r8, null  @>  null $< r8, null  $>  null @< r8)
(null  @>= null @< r8, null  @>= null $< r8, null  $>= null @< r8)
(null !@=  null @< r8, null !@=  null $< r8, null !$=  null @< r8)
(null !@<  null @< r8, null !@<  null $< r8, null !$<  null @< r8)
(null !@<= null @< r8, null !@<= null $< r8, null !$<= null @< r8)
(null !@>  null @< r8, null !@>  null $< r8, null !$>  null @< r8)
(null !@>= null @< r8, null !@>= null $< r8, null !$>= null @< r8)

(3r  @=  5r @< qr8, 3r  @=  5r $< qr8, 3r  $=  5r @< qr8)
(3r  @<  5r @< qr8, 3r  @<  5r $< qr8, 3r  $<  5r @< qr8)
(3r  @<= 5r @< qr8, 3r  @<= 5r $< qr8, 3r  $<= 5r @< qr8)
(3r  @>  5r @< qr8, 3r  @>  5r $< qr8, 3r  $>  5r @< qr8)
(3r  @>= 5r @< qr8, 3r  @>= 5r $< qr8, 3r  $>= 5r @< qr8)
(3r !@=  5r @< qr8, 3r !@=  5r $< qr8, 3r !$=  5r @< qr8)
(3r !@<  5r @< qr8, 3r !@<  5r $< qr8, 3r !$<  5r @< qr8)
(3r !@<= 5r @< qr8, 3r !@<= 5r $< qr8, 3r !$<= 5r @< qr8)
(3r !@>  5r @< qr8, 3r !@>  5r $< qr8, 3r !$>  5r @< qr8)
(3r !@>= 5r @< qr8, 3r !@>= 5r $< qr8, 3r !$>= 5r @< qr8)

(null  @=  5r @< qr8, null  @=  5r $< qr8, null  $=  5r @< qr8)
(null  @<  5r @< qr8, null  @<  5r $< qr8, null  $<  5r @< qr8)
(null  @<= 5r @< qr8, null  @<= 5r $< qr8, null  $<= 5r @< qr8)
(null  @>  5r @< qr8, null  @>  5r $< qr8, null  $>  5r @< qr8)
(null  @>= 5r @< qr8, null  @>= 5r $< qr8, null  $>= 5r @< qr8)
(null !@=  5r @< qr8, null !@=  5r $< qr8, null !$=  5r @< qr8)
(null !@<  5r @< qr8, null !@<  5r $< qr8, null !$<  5r @< qr8)
(null !@<= 5r @< qr8, null !@<= 5r $< qr8, null !$<= 5r @< qr8)
(null !@>  5r @< qr8, null !@>  5r $< qr8, null !$>  5r @< qr8)
(null !@>= 5r @< qr8, null !@>= 5r $< qr8, null !$>= 5r @< qr8)
(3r  @=  null @< qr8, 3r  @=  null $< qr8, 3r  $=  null @< qr8)
(3r  @<  null @< qr8, 3r  @<  null $< qr8, 3r  $<  null @< qr8)
(3r  @<= null @< qr8, 3r  @<= null $< qr8, 3r  $<= null @< qr8)
(3r  @>  null @< qr8, 3r  @>  null $< qr8, 3r  $>  null @< qr8)
(3r  @>= null @< qr8, 3r  @>= null $< qr8, 3r  $>= null @< qr8)
(3r !@=  null @< qr8, 3r !@=  null $< qr8, 3r !$=  null @< qr8)
(3r !@<  null @< qr8, 3r !@<  null $< qr8, 3r !$<  null @< qr8)
(3r !@<= null @< qr8, 3r !@<= null $< qr8, 3r !$<= null @< qr8)
(3r !@>  null @< qr8, 3r !@>  null $< qr8, 3r !$>  null @< qr8)
(3r !@>= null @< qr8, 3r !@>= null $< qr8, 3r !$>= null @< qr8)
(null  @=  null @< qr8, null  @=  null $< qr8, null  $=  null @< qr8)
(null  @<  null @< qr8, null  @<  null $< qr8, null  $<  null @< qr8)
(null  @<= null @< qr8, null  @<= null $< qr8, null  $<= null @< qr8)
(null  @>  null @< qr8, null  @>  null $< qr8, null  $>  null @< qr8)
(null  @>= null @< qr8, null  @>= null $< qr8, null  $>= null @< qr8)
(null !@=  null @< qr8, null !@=  null $< qr8, null !$=  null @< qr8)
(null !@<  null @< qr8, null !@<  null $< qr8, null !$<  null @< qr8)
(null !@<= null @< qr8, null !@<= null $< qr8, null !$<= null @< qr8)
(null !@>  null @< qr8, null !@>  null $< qr8, null !$>  null @< qr8)
(null !@>= null @< qr8, null !@>= null $< qr8, null !$>= null @< qr8)

"*** Two operator chain with !< on the right."
(3r  @=  5r !@< r8, 3r  $=  5r !@< r8)
(3r  @<  5r !@< r8, 3r  $<  5r !@< r8)
(3r  @<= 5r !@< r8, 3r  $<= 5r !@< r8)
(3r  @>  5r !@< r8, 3r  $>  5r !@< r8)
(3r  @>= 5r !@< r8, 3r  $>= 5r !@< r8)
(3r !@=  5r !@< r8, 3r !$=  5r !@< r8)
(3r !@<  5r !@< r8, 3r !$<  5r !@< r8)
(3r !@<= 5r !@< r8, 3r !$<= 5r !@< r8)
(3r !@>  5r !@< r8, 3r !$>  5r !@< r8)
(3r !@>= 5r !@< r8, 3r !$>= 5r !@< r8)

(null  @=  5r !@< r8, null  $=  5r !@< r8)
(null  @<  5r !@< r8, null  $<  5r !@< r8)
(null  @<= 5r !@< r8, null  $<= 5r !@< r8)
(null  @>  5r !@< r8, null  $>  5r !@< r8)
(null  @>= 5r !@< r8, null  $>= 5r !@< r8)
(null !@=  5r !@< r8, null !$=  5r !@< r8)
(null !@<  5r !@< r8, null !$<  5r !@< r8)
(null !@<= 5r !@< r8, null !$<= 5r !@< r8)
(null !@>  5r !@< r8, null !$>  5r !@< r8)
(null !@>= 5r !@< r8, null !$>= 5r !@< r8)
(3r  @=  null @!< r8, 3r  @=  null $!< r8, 3r  $=  null @!< r8)
(3r  @<  null @!< r8, 3r  @<  null $!< r8, 3r  $<  null @!< r8)
(3r  @<= null @!< r8, 3r  @<= null $!< r8, 3r  $<= null @!< r8)
(3r  @>  null @!< r8, 3r  @>  null $!< r8, 3r  $>  null @!< r8)
(3r  @>= null @!< r8, 3r  @>= null $!< r8, 3r  $>= null @!< r8)
(3r !@=  null @!< r8, 3r !@=  null $!< r8, 3r !$=  null @!< r8)
(3r !@<  null @!< r8, 3r !@<  null $!< r8, 3r !$<  null @!< r8)
(3r !@<= null @!< r8, 3r !@<= null $!< r8, 3r !$<= null @!< r8)
(3r !@>  null @!< r8, 3r !@>  null $!< r8, 3r !$>  null @!< r8)
(3r !@>= null @!< r8, 3r !@>= null $!< r8, 3r !$>= null @!< r8)
(null  @=  null @!< r8, null  @=  null $!< r8, null  $=  null @!< r8)
(null  @<  null @!< r8, null  @<  null $!< r8, null  $<  null @!< r8)
(null  @<= null @!< r8, null  @<= null $!< r8, null  $<= null @!< r8)
(null  @>  null @!< r8, null  @>  null $!< r8, null  $>  null @!< r8)
(null  @>= null @!< r8, null  @>= null $!< r8, null  $>= null @!< r8)
(null !@=  null @!< r8, null !@=  null $!< r8, null !$=  null @!< r8)
(null !@<  null @!< r8, null !@<  null $!< r8, null !$<  null @!< r8)
(null !@<= null @!< r8, null !@<= null $!< r8, null !$<= null @!< r8)
(null !@>  null @!< r8, null !@>  null $!< r8, null !$>  null @!< r8)
(null !@>= null @!< r8, null !@>= null $!< r8, null !$>= null @!< r8)

(3r  @=  5r @!< qr8, 3r  @=  5r $!< qr8, 3r  $=  5r @!< qr8)
(3r  @<  5r @!< qr8, 3r  @<  5r $!< qr8, 3r  $<  5r @!< qr8)
(3r  @<= 5r @!< qr8, 3r  @<= 5r $!< qr8, 3r  $<= 5r @!< qr8)
(3r  @>  5r @!< qr8, 3r  @>  5r $!< qr8, 3r  $>  5r @!< qr8)
(3r  @>= 5r @!< qr8, 3r  @>= 5r $!< qr8, 3r  $>= 5r @!< qr8)
(3r !@=  5r @!< qr8, 3r !@=  5r $!< qr8, 3r !$=  5r @!< qr8)
(3r !@<  5r @!< qr8, 3r !@<  5r $!< qr8, 3r !$<  5r @!< qr8)
(3r !@<= 5r @!< qr8, 3r !@<= 5r $!< qr8, 3r !$<= 5r @!< qr8)
(3r !@>  5r @!< qr8, 3r !@>  5r $!< qr8, 3r !$>  5r @!< qr8)
(3r !@>= 5r @!< qr8, 3r !@>= 5r $!< qr8, 3r !$>= 5r @!< qr8)

(null  @=  5r @!< qr8, null  @=  5r $!< qr8, null  $=  5r @!< qr8)
(null  @<  5r @!< qr8, null  @<  5r $!< qr8, null  $<  5r @!< qr8)
(null  @<= 5r @!< qr8, null  @<= 5r $!< qr8, null  $<= 5r @!< qr8)
(null  @>  5r @!< qr8, null  @>  5r $!< qr8, null  $>  5r @!< qr8)
(null  @>= 5r @!< qr8, null  @>= 5r $!< qr8, null  $>= 5r @!< qr8)
(null !@=  5r @!< qr8, null !@=  5r $!< qr8, null !$=  5r @!< qr8)
(null !@<  5r @!< qr8, null !@<  5r $!< qr8, null !$<  5r @!< qr8)
(null !@<= 5r @!< qr8, null !@<= 5r $!< qr8, null !$<= 5r @!< qr8)
(null !@>  5r @!< qr8, null !@>  5r $!< qr8, null !$>  5r @!< qr8)
(null !@>= 5r @!< qr8, null !@>= 5r $!< qr8, null !$>= 5r @!< qr8)
(3r  @=  null @!< qr8, 3r  @=  null $!< qr8, 3r  $=  null @!< qr8)
(3r  @<  null @!< qr8, 3r  @<  null $!< qr8, 3r  $<  null @!< qr8)
(3r  @<= null @!< qr8, 3r  @<= null $!< qr8, 3r  $<= null @!< qr8)
(3r  @>  null @!< qr8, 3r  @>  null $!< qr8, 3r  $>  null @!< qr8)
(3r  @>= null @!< qr8, 3r  @>= null $!< qr8, 3r  $>= null @!< qr8)
(3r !@=  null @!< qr8, 3r !@=  null $!< qr8, 3r !$=  null @!< qr8)
(3r !@<  null @!< qr8, 3r !@<  null $!< qr8, 3r !$<  null @!< qr8)
(3r !@<= null @!< qr8, 3r !@<= null $!< qr8, 3r !$<= null @!< qr8)
(3r !@>  null @!< qr8, 3r !@>  null $!< qr8, 3r !$>  null @!< qr8)
(3r !@>= null @!< qr8, 3r !@>= null $!< qr8, 3r !$>= null @!< qr8)
(null  @=  null @!< qr8, null  @=  null $!< qr8, null  $=  null @!< qr8)
(null  @<  null @!< qr8, null  @<  null $!< qr8, null  $<  null @!< qr8)
(null  @<= null @!< qr8, null  @<= null $!< qr8, null  $<= null @!< qr8)
(null  @>  null @!< qr8, null  @>  null $!< qr8, null  $>  null @!< qr8)
(null  @>= null @!< qr8, null  @>= null $!< qr8, null  $>= null @!< qr8)
(null !@=  null @!< qr8, null !@=  null $!< qr8, null !$=  null @!< qr8)
(null !@<  null @!< qr8, null !@<  null $!< qr8, null !$<  null @!< qr8)
(null !@<= null @!< qr8, null !@<= null $!< qr8, null !$<= null @!< qr8)
(null !@>  null @!< qr8, null !@>  null $!< qr8, null !$>  null @!< qr8)
(null !@>= null @!< qr8, null !@>= null $!< qr8, null !$>= null @!< qr8)

"*** Others."
qr8 @= 3r  @ = 5r @= r8
qr8 @= 3r !@ = 5r @= r8
qr8 @= 3r  @<  5r @= r8
qr8 @= 3r  @<= 5r @= r8
qr8 @= 3r  @>  5r @= r8
qr8 @= 3r  @>= 5r @= r8
qr8 @= null  @ = 5r @= r8
qr8 @= null !@ = 5r @= r8
qr8 @= null  @<  5r @= r8
qr8 @= null  @<= 5r @= r8
qr8 @= null  @>  5r @= r8
qr8 @= null  @>= 5r @= r8
qr8 @= 3r  @ = null @= r8
qr8 @= 3r !@ = null @= r8
qr8 @= 3r  @<  null @= r8
qr8 @= 3r  @<= null @= r8
qr8 @= 3r  @>  null @= r8
qr8 @= 3r  @>= null @= r8
qr8 @= null  @ = null @= r8
qr8 @= null !@ = null @= r8
qr8 @= null  @<  null @= r8
qr8 @= null  @<= null @= r8
qr8 @= null  @>  null @= r8
qr8 @= null  @>= null @= r8

qr8 @= 3r  @ = 5r !@= r8
qr8 @= 3r !@ = 5r !@= r8
qr8 @= 3r  @<  5r !@= r8
qr8 @= 3r  @<= 5r !@= r8
qr8 @= 3r  @>  5r !@= r8
qr8 @= 3r  @>= 5r !@= r8
qr8 @= null  @ = 5r !@= r8
qr8 @= null !@ = 5r !@= r8
qr8 @= null  @<  5r !@= r8
qr8 @= null  @<= 5r !@= r8
qr8 @= null  @>  5r !@= r8
qr8 @= null  @>= 5r !@= r8
qr8 @= 3r  @ = null !@= r8
qr8 @= 3r !@ = null !@= r8
qr8 @= 3r  @<  null !@= r8
qr8 @= 3r  @<= null !@= r8
qr8 @= 3r  @>  null !@= r8
qr8 @= 3r  @>= null !@= r8
qr8 @= null  @ = null !@= r8
qr8 @= null !@ = null !@= r8
qr8 @= null  @<  null !@= r8
qr8 @= null  @<= null !@= r8
qr8 @= null  @>  null !@= r8
qr8 @= null  @>= null !@= r8

3r  @ = 5r  @ = 7r
3r  @ = 5r !@ = 7r
3r  @ = 5r  @<  7r
3r  @ = 5r  @<= 7r
3r  @ = 5r  @>  7r
3r  @ = 5r  @>= 7r
3r !@ = 5r  @ = 7r
3r !@ = 5r !@ = 7r
3r !@ = 5r  @<  7r
3r !@ = 5r  @<= 7r
3r !@ = 5r  @>  7r
3r !@ = 5r  @>= 7r
3r  @<  5r  @ = 7r
3r  @<  5r !@ = 7r
3r  @<  5r  @<  7r
3r  @<  5r  @<= 7r
3r  @<  5r  @>  7r
3r  @<  5r  @>= 7r
3r  @<= 5r  @ = 7r
3r  @<= 5r !@ = 7r
3r  @<= 5r  @<  7r
3r  @<= 5r  @<= 7r
3r  @<= 5r  @>  7r
3r  @<= 5r  @>= 7r
3r  @>  5r  @ = 7r
3r  @>  5r !@ = 7r
3r  @>  5r  @<  7r
3r  @>  5r  @<= 7r
3r  @>  5r  @>  7r
3r  @>  5r  @>= 7r
3r  @>= 5r  @ = 7r
3r  @>= 5r !@ = 7r
3r  @>= 5r  @<  7r
3r  @>= 5r  @<= 7r
3r  @>= 5r  @>  7r
3r  @>= 5r  @>= 7r

r8 @< 3r  @ = 5r  @ = 7r
r8 @< 3r  @ = 5r !@ = 7r
r8 @< 3r  @ = 5r  @<  7r
r8 @< 3r  @ = 5r  @<= 7r
r8 @< 3r  @ = 5r  @>  7r
r8 @< 3r  @ = 5r  @>= 7r
r8 @< 3r !@ = 5r  @ = 7r
r8 @< 3r !@ = 5r !@ = 7r
r8 @< 3r !@ = 5r  @<  7r
r8 @< 3r !@ = 5r  @<= 7r
r8 @< 3r !@ = 5r  @>  7r
r8 @< 3r !@ = 5r  @>= 7r
r8 @< 3r  @<  5r  @ = 7r
r8 @< 3r  @<  5r !@ = 7r
r8 @< 3r  @<  5r  @<  7r
r8 @< 3r  @<  5r  @<= 7r
r8 @< 3r  @<  5r  @>  7r
r8 @< 3r  @<  5r  @>= 7r
r8 @< 3r  @<= 5r  @ = 7r
r8 @< 3r  @<= 5r !@ = 7r
r8 @< 3r  @<= 5r  @<  7r
r8 @< 3r  @<= 5r  @<= 7r
r8 @< 3r  @<= 5r  @>  7r
r8 @< 3r  @<= 5r  @>= 7r
r8 @< 3r  @>  5r  @ = 7r
r8 @< 3r  @>  5r !@ = 7r
r8 @< 3r  @>  5r  @<  7r
r8 @< 3r  @>  5r  @<= 7r
r8 @< 3r  @>  5r  @>  7r
r8 @< 3r  @>  5r  @>= 7r
r8 @< 3r  @>= 5r  @ = 7r
r8 @< 3r  @>= 5r !@ = 7r
r8 @< 3r  @>= 5r  @<  7r
r8 @< 3r  @>= 5r  @<= 7r
r8 @< 3r  @>= 5r  @>  7r
r8 @< 3r  @>= 5r  @>= 7r

r8 @< 3r  @ = 5r  @ = 7r @< qr8
r8 @< 3r  @ = 5r !@ = 7r @< qr8
r8 @< 3r  @ = 5r  @<  7r @< qr8
r8 @< 3r  @ = 5r  @<= 7r @< qr8
r8 @< 3r  @ = 5r  @>  7r @< qr8
r8 @< 3r  @ = 5r  @>= 7r @< qr8
r8 @< 3r !@ = 5r  @ = 7r @< qr8
r8 @< 3r !@ = 5r !@ = 7r @< qr8
r8 @< 3r !@ = 5r  @<  7r @< qr8
r8 @< 3r !@ = 5r  @<= 7r @< qr8
r8 @< 3r !@ = 5r  @>  7r @< qr8
r8 @< 3r !@ = 5r  @>= 7r @< qr8
r8 @< 3r  @<  5r  @ = 7r @< qr8
r8 @< 3r  @<  5r !@ = 7r @< qr8
r8 @< 3r  @<  5r  @<  7r @< qr8
r8 @< 3r  @<  5r  @<= 7r @< qr8
r8 @< 3r  @<  5r  @>  7r @< qr8
r8 @< 3r  @<  5r  @>= 7r @< qr8
r8 @< 3r  @<= 5r  @ = 7r @< qr8
r8 @< 3r  @<= 5r !@ = 7r @< qr8
r8 @< 3r  @<= 5r  @<  7r @< qr8
r8 @< 3r  @<= 5r  @<= 7r @< qr8
r8 @< 3r  @<= 5r  @>  7r @< qr8
r8 @< 3r  @<= 5r  @>= 7r @< qr8
r8 @< 3r  @>  5r  @ = 7r @< qr8
r8 @< 3r  @>  5r !@ = 7r @< qr8
r8 @< 3r  @>  5r  @<  7r @< qr8
r8 @< 3r  @>  5r  @<= 7r @< qr8
r8 @< 3r  @>  5r  @>  7r @< qr8
r8 @< 3r  @>  5r  @>= 7r @< qr8
r8 @< 3r  @>= 5r  @ = 7r @< qr8
r8 @< 3r  @>= 5r !@ = 7r @< qr8
r8 @< 3r  @>= 5r  @<  7r @< qr8
r8 @< 3r  @>= 5r  @<= 7r @< qr8
r8 @< 3r  @>= 5r  @>  7r @< qr8
r8 @< 3r  @>= 5r  @>= 7r @< qr8

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

"*** Lifting."

qr8 @= 3r  @ = 5r @= r8
qr8 @= 3r !@ = 5r @= r8
qr8 @= 3r  @<  5r @= r8
qr8 @= 3r  @<= 5r @= r8
qr8 @= 3r  @>  5r @= r8
qr8 @= 3r  @>= 5r @= r8
qr8 @= null  @ = 5r @= r8
qr8 @= null !@ = 5r @= r8
qr8 @= null  @<  5r @= r8
qr8 @= null  @<= 5r @= r8
qr8 @= null  @>  5r @= r8
qr8 @= null  @>= 5r @= r8
qr8 @= 3r  @ = null @= r8
qr8 @= 3r !@ = null @= r8
qr8 @= 3r  @<  null @= r8
qr8 @= 3r  @<= null @= r8
qr8 @= 3r  @>  null @= r8
qr8 @= 3r  @>= null @= r8
qr8 @= null  @ = null @= r8
qr8 @= null !@ = null @= r8
qr8 @= null  @<  null @= r8
qr8 @= null  @<= null @= r8
qr8 @= null  @>  null @= r8
qr8 @= null  @>= null @= r8

r8 @< 3r  @ = 5r  @ = 7r
r8 @< 3r  @ = 5r !@ = 7r
r8 @< 3r  @ = 5r  @<  7r
r8 @< 3r  @ = 5r  @<= 7r
r8 @< 3r  @ = 5r  @>  7r
r8 @< 3r  @ = 5r  @>= 7r
r8 @< 3r !@ = 5r  @ = 7r
r8 @< 3r !@ = 5r !@ = 7r
r8 @< 3r !@ = 5r  @<  7r
r8 @< 3r !@ = 5r  @<= 7r
r8 @< 3r !@ = 5r  @>  7r
r8 @< 3r !@ = 5r  @>= 7r
r8 @< 3r  @<  5r  @ = 7r
r8 @< 3r  @<  5r !@ = 7r
r8 @< 3r  @<  5r  @<  7r
r8 @< 3r  @<  5r  @<= 7r
r8 @< 3r  @<  5r  @>  7r
r8 @< 3r  @<  5r  @>= 7r
r8 @< 3r  @<= 5r  @ = 7r
r8 @< 3r  @<= 5r !@ = 7r
r8 @< 3r  @<= 5r  @<  7r
r8 @< 3r  @<= 5r  @<= 7r
r8 @< 3r  @<= 5r  @>  7r
r8 @< 3r  @<= 5r  @>= 7r
r8 @< 3r  @>  5r  @ = 7r
r8 @< 3r  @>  5r !@ = 7r
r8 @< 3r  @>  5r  @<  7r
r8 @< 3r  @>  5r  @<= 7r
r8 @< 3r  @>  5r  @>  7r
r8 @< 3r  @>  5r  @>= 7r
r8 @< 3r  @>= 5r  @ = 7r
r8 @< 3r  @>= 5r !@ = 7r
r8 @< 3r  @>= 5r  @<  7r
r8 @< 3r  @>= 5r  @<= 7r
r8 @< 3r  @>= 5r  @>  7r
r8 @< 3r  @>= 5r  @>= 7r

