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

:: {r8:r8, qr8:r8?, r4:r4, qr4:r4?, i8:i8, qi8:i8?, s:s, b:b, qb:b?, v:v, o:o}

"*** Vacuous and null (errors)."
(v  @=  v, v  $=  v)
(v  @<  v, v  $<  v)
(v  @<= v, v  $<= v)
(v  @>  v, v  $>  v)
(v  @>= v, v  $>= v)
(v !@=  v, v !$=  v)
(v !@<  v, v !$<  v)
(v !@<= v, v !$<= v)
(v !@>  v, v !$>  v)
(v !@>= v, v !$>= v)
(o  @=  o, o  $=  o)
(o  @<  o, o  $<  o)
(o  @<= o, o  $<= o)
(o  @>  o, o  $>  o)
(o  @>= o, o  $>= o)
(o !@=  o, o !$=  o)
(o !@<  o, o !$<  o)
(o !@<= o, o !$<= o)
(o !@>  o, o !$>  o)
(o !@>= o, o !$>= o)

"*** For i8, b, strict treats null differently."
(i8  @=  i8, i8  $=  i8)
(i8  @<  i8, i8  $<  i8)
(i8  @<= i8, i8  $<= i8)
(i8  @>  i8, i8  $>  i8)
(i8  @>= i8, i8  $>= i8)
(i8 !@=  i8, i8 !$=  i8)
(i8 !@<  i8, i8 !$<  i8)
(i8 !@<= i8, i8 !$<= i8)
(i8 !@>  i8, i8 !$>  i8)
(i8 !@>= i8, i8 !$>= i8)
(i8  @=  5, i8  $=  5)
(i8  @<  5, i8  $<  5)
(i8  @<= 5, i8  $<= 5)
(i8  @>  5, i8  $>  5)
(i8  @>= 5, i8  $>= 5)
(i8 !@=  5, i8 !$=  5)
(i8 !@<  5, i8 !$<  5)
(i8 !@<= 5, i8 !$<= 5)
(i8 !@>  5, i8 !$>  5)
(i8 !@>= 5, i8 !$>= 5)
(i8  @=  qi8, i8  $=  qi8)
(i8  @<  qi8, i8  $<  qi8)
(i8  @<= qi8, i8  $<= qi8)
(i8  @>  qi8, i8  $>  qi8)
(i8  @>= qi8, i8  $>= qi8)
(i8 !@=  qi8, i8 !$=  qi8)
(i8 !@<  qi8, i8 !$<  qi8)
(i8 !@<= qi8, i8 !$<= qi8)
(i8 !@>  qi8, i8 !$>  qi8)
(i8 !@>= qi8, i8 !$>= qi8)
(i8  @=  Null(5), i8  $=  Null(5))
(i8  @<  Null(5), i8  $<  Null(5))
(i8  @<= Null(5), i8  $<= Null(5))
(i8  @>  Null(5), i8  $>  Null(5))
(i8  @>= Null(5), i8  $>= Null(5))
(i8 !@=  Null(5), i8 !$=  Null(5))
(i8 !@<  Null(5), i8 !$<  Null(5))
(i8 !@<= Null(5), i8 !$<= Null(5))
(i8 !@>  Null(5), i8 !$>  Null(5))
(i8 !@>= Null(5), i8 !$>= Null(5))
(i8  @=  Opt(5), i8  $=  Opt(5))
(i8  @<  Opt(5), i8  $<  Opt(5))
(i8  @<= Opt(5), i8  $<= Opt(5))
(i8  @>  Opt(5), i8  $>  Opt(5))
(i8  @>= Opt(5), i8  $>= Opt(5))
(i8 !@=  Opt(5), i8 !$=  Opt(5))
(i8 !@<  Opt(5), i8 !$<  Opt(5))
(i8 !@<= Opt(5), i8 !$<= Opt(5))
(i8 !@>  Opt(5), i8 !$>  Opt(5))
(i8 !@>= Opt(5), i8 !$>= Opt(5))
(3  @=  i8, 3  $=  i8)
(3  @<  i8, 3  $<  i8)
(3  @<= i8, 3  $<= i8)
(3  @>  i8, 3  $>  i8)
(3  @>= i8, 3  $>= i8)
(3 !@=  i8, 3 !$=  i8)
(3 !@<  i8, 3 !$<  i8)
(3 !@<= i8, 3 !$<= i8)
(3 !@>  i8, 3 !$>  i8)
(3 !@>= i8, 3 !$>= i8)
(3  @=  5, 3  $=  5)
(3  @<  5, 3  $<  5)
(3  @<= 5, 3  $<= 5)
(3  @>  5, 3  $>  5)
(3  @>= 5, 3  $>= 5)
(3 !@=  5, 3 !$=  5)
(3 !@<  5, 3 !$<  5)
(3 !@<= 5, 3 !$<= 5)
(3 !@>  5, 3 !$>  5)
(3 !@>= 5, 3 !$>= 5)
(3  @=  qi8, 3  $=  qi8)
(3  @<  qi8, 3  $<  qi8)
(3  @<= qi8, 3  $<= qi8)
(3  @>  qi8, 3  $>  qi8)
(3  @>= qi8, 3  $>= qi8)
(3 !@=  qi8, 3 !$=  qi8)
(3 !@<  qi8, 3 !$<  qi8)
(3 !@<= qi8, 3 !$<= qi8)
(3 !@>  qi8, 3 !$>  qi8)
(3 !@>= qi8, 3 !$>= qi8)
(3  @=  Null(5), 3  $=  Null(5))
(3  @<  Null(5), 3  $<  Null(5))
(3  @<= Null(5), 3  $<= Null(5))
(3  @>  Null(5), 3  $>  Null(5))
(3  @>= Null(5), 3  $>= Null(5))
(3 !@=  Null(5), 3 !$=  Null(5))
(3 !@<  Null(5), 3 !$<  Null(5))
(3 !@<= Null(5), 3 !$<= Null(5))
(3 !@>  Null(5), 3 !$>  Null(5))
(3 !@>= Null(5), 3 !$>= Null(5))
(3  @=  Opt(5), 3  $=  Opt(5))
(3  @<  Opt(5), 3  $<  Opt(5))
(3  @<= Opt(5), 3  $<= Opt(5))
(3  @>  Opt(5), 3  $>  Opt(5))
(3  @>= Opt(5), 3  $>= Opt(5))
(3 !@=  Opt(5), 3 !$=  Opt(5))
(3 !@<  Opt(5), 3 !$<  Opt(5))
(3 !@<= Opt(5), 3 !$<= Opt(5))
(3 !@>  Opt(5), 3 !$>  Opt(5))
(3 !@>= Opt(5), 3 !$>= Opt(5))
(qi8  @=  i8, qi8  $=  i8)
(qi8  @<  i8, qi8  $<  i8)
(qi8  @<= i8, qi8  $<= i8)
(qi8  @>  i8, qi8  $>  i8)
(qi8  @>= i8, qi8  $>= i8)
(qi8 !@=  i8, qi8 !$=  i8)
(qi8 !@<  i8, qi8 !$<  i8)
(qi8 !@<= i8, qi8 !$<= i8)
(qi8 !@>  i8, qi8 !$>  i8)
(qi8 !@>= i8, qi8 !$>= i8)
(qi8  @=  5, qi8  $=  5)
(qi8  @<  5, qi8  $<  5)
(qi8  @<= 5, qi8  $<= 5)
(qi8  @>  5, qi8  $>  5)
(qi8  @>= 5, qi8  $>= 5)
(qi8 !@=  5, qi8 !$=  5)
(qi8 !@<  5, qi8 !$<  5)
(qi8 !@<= 5, qi8 !$<= 5)
(qi8 !@>  5, qi8 !$>  5)
(qi8 !@>= 5, qi8 !$>= 5)
(qi8  @=  qi8, qi8  $=  qi8)
(qi8  @<  qi8, qi8  $<  qi8)
(qi8  @<= qi8, qi8  $<= qi8)
(qi8  @>  qi8, qi8  $>  qi8)
(qi8  @>= qi8, qi8  $>= qi8)
(qi8 !@=  qi8, qi8 !$=  qi8)
(qi8 !@<  qi8, qi8 !$<  qi8)
(qi8 !@<= qi8, qi8 !$<= qi8)
(qi8 !@>  qi8, qi8 !$>  qi8)
(qi8 !@>= qi8, qi8 !$>= qi8)
(qi8  @=  Null(5), qi8  $=  Null(5))
(qi8  @<  Null(5), qi8  $<  Null(5))
(qi8  @<= Null(5), qi8  $<= Null(5))
(qi8  @>  Null(5), qi8  $>  Null(5))
(qi8  @>= Null(5), qi8  $>= Null(5))
(qi8 !@=  Null(5), qi8 !$=  Null(5))
(qi8 !@<  Null(5), qi8 !$<  Null(5))
(qi8 !@<= Null(5), qi8 !$<= Null(5))
(qi8 !@>  Null(5), qi8 !$>  Null(5))
(qi8 !@>= Null(5), qi8 !$>= Null(5))
(qi8  @=  Opt(5), qi8  $=  Opt(5))
(qi8  @<  Opt(5), qi8  $<  Opt(5))
(qi8  @<= Opt(5), qi8  $<= Opt(5))
(qi8  @>  Opt(5), qi8  $>  Opt(5))
(qi8  @>= Opt(5), qi8  $>= Opt(5))
(qi8 !@=  Opt(5), qi8 !$=  Opt(5))
(qi8 !@<  Opt(5), qi8 !$<  Opt(5))
(qi8 !@<= Opt(5), qi8 !$<= Opt(5))
(qi8 !@>  Opt(5), qi8 !$>  Opt(5))
(qi8 !@>= Opt(5), qi8 !$>= Opt(5))
(Null(3)  @=  i8, Null(3)  $=  i8)
(Null(3)  @<  i8, Null(3)  $<  i8)
(Null(3)  @<= i8, Null(3)  $<= i8)
(Null(3)  @>  i8, Null(3)  $>  i8)
(Null(3)  @>= i8, Null(3)  $>= i8)
(Null(3) !@=  i8, Null(3) !$=  i8)
(Null(3) !@<  i8, Null(3) !$<  i8)
(Null(3) !@<= i8, Null(3) !$<= i8)
(Null(3) !@>  i8, Null(3) !$>  i8)
(Null(3) !@>= i8, Null(3) !$>= i8)
(Null(3)  @=  5, Null(3)  $=  5)
(Null(3)  @<  5, Null(3)  $<  5)
(Null(3)  @<= 5, Null(3)  $<= 5)
(Null(3)  @>  5, Null(3)  $>  5)
(Null(3)  @>= 5, Null(3)  $>= 5)
(Null(3) !@=  5, Null(3) !$=  5)
(Null(3) !@<  5, Null(3) !$<  5)
(Null(3) !@<= 5, Null(3) !$<= 5)
(Null(3) !@>  5, Null(3) !$>  5)
(Null(3) !@>= 5, Null(3) !$>= 5)
(Null(3)  @=  qi8, Null(3)  $=  qi8)
(Null(3)  @<  qi8, Null(3)  $<  qi8)
(Null(3)  @<= qi8, Null(3)  $<= qi8)
(Null(3)  @>  qi8, Null(3)  $>  qi8)
(Null(3)  @>= qi8, Null(3)  $>= qi8)
(Null(3) !@=  qi8, Null(3) !$=  qi8)
(Null(3) !@<  qi8, Null(3) !$<  qi8)
(Null(3) !@<= qi8, Null(3) !$<= qi8)
(Null(3) !@>  qi8, Null(3) !$>  qi8)
(Null(3) !@>= qi8, Null(3) !$>= qi8)
(Null(3)  @=  Null(5), Null(3)  $=  Null(5))
(Null(3)  @<  Null(5), Null(3)  $<  Null(5))
(Null(3)  @<= Null(5), Null(3)  $<= Null(5))
(Null(3)  @>  Null(5), Null(3)  $>  Null(5))
(Null(3)  @>= Null(5), Null(3)  $>= Null(5))
(Null(3) !@=  Null(5), Null(3) !$=  Null(5))
(Null(3) !@<  Null(5), Null(3) !$<  Null(5))
(Null(3) !@<= Null(5), Null(3) !$<= Null(5))
(Null(3) !@>  Null(5), Null(3) !$>  Null(5))
(Null(3) !@>= Null(5), Null(3) !$>= Null(5))
(Null(3)  @=  Opt(5), Null(3)  $=  Opt(5))
(Null(3)  @<  Opt(5), Null(3)  $<  Opt(5))
(Null(3)  @<= Opt(5), Null(3)  $<= Opt(5))
(Null(3)  @>  Opt(5), Null(3)  $>  Opt(5))
(Null(3)  @>= Opt(5), Null(3)  $>= Opt(5))
(Null(3) !@=  Opt(5), Null(3) !$=  Opt(5))
(Null(3) !@<  Opt(5), Null(3) !$<  Opt(5))
(Null(3) !@<= Opt(5), Null(3) !$<= Opt(5))
(Null(3) !@>  Opt(5), Null(3) !$>  Opt(5))
(Null(3) !@>= Opt(5), Null(3) !$>= Opt(5))
(Opt(3)  @=  i8, Opt(3)  $=  i8)
(Opt(3)  @<  i8, Opt(3)  $<  i8)
(Opt(3)  @<= i8, Opt(3)  $<= i8)
(Opt(3)  @>  i8, Opt(3)  $>  i8)
(Opt(3)  @>= i8, Opt(3)  $>= i8)
(Opt(3) !@=  i8, Opt(3) !$=  i8)
(Opt(3) !@<  i8, Opt(3) !$<  i8)
(Opt(3) !@<= i8, Opt(3) !$<= i8)
(Opt(3) !@>  i8, Opt(3) !$>  i8)
(Opt(3) !@>= i8, Opt(3) !$>= i8)
(Opt(3)  @=  5, Opt(3)  $=  5)
(Opt(3)  @<  5, Opt(3)  $<  5)
(Opt(3)  @<= 5, Opt(3)  $<= 5)
(Opt(3)  @>  5, Opt(3)  $>  5)
(Opt(3)  @>= 5, Opt(3)  $>= 5)
(Opt(3) !@=  5, Opt(3) !$=  5)
(Opt(3) !@<  5, Opt(3) !$<  5)
(Opt(3) !@<= 5, Opt(3) !$<= 5)
(Opt(3) !@>  5, Opt(3) !$>  5)
(Opt(3) !@>= 5, Opt(3) !$>= 5)
(Opt(3)  @=  qi8, Opt(3)  $=  qi8)
(Opt(3)  @<  qi8, Opt(3)  $<  qi8)
(Opt(3)  @<= qi8, Opt(3)  $<= qi8)
(Opt(3)  @>  qi8, Opt(3)  $>  qi8)
(Opt(3)  @>= qi8, Opt(3)  $>= qi8)
(Opt(3) !@=  qi8, Opt(3) !$=  qi8)
(Opt(3) !@<  qi8, Opt(3) !$<  qi8)
(Opt(3) !@<= qi8, Opt(3) !$<= qi8)
(Opt(3) !@>  qi8, Opt(3) !$>  qi8)
(Opt(3) !@>= qi8, Opt(3) !$>= qi8)
(Opt(3)  @=  Null(5), Opt(3)  $=  Null(5))
(Opt(3)  @<  Null(5), Opt(3)  $<  Null(5))
(Opt(3)  @<= Null(5), Opt(3)  $<= Null(5))
(Opt(3)  @>  Null(5), Opt(3)  $>  Null(5))
(Opt(3)  @>= Null(5), Opt(3)  $>= Null(5))
(Opt(3) !@=  Null(5), Opt(3) !$=  Null(5))
(Opt(3) !@<  Null(5), Opt(3) !$<  Null(5))
(Opt(3) !@<= Null(5), Opt(3) !$<= Null(5))
(Opt(3) !@>  Null(5), Opt(3) !$>  Null(5))
(Opt(3) !@>= Null(5), Opt(3) !$>= Null(5))
(Opt(3)  @=  Opt(5), Opt(3)  $=  Opt(5))
(Opt(3)  @<  Opt(5), Opt(3)  $<  Opt(5))
(Opt(3)  @<= Opt(5), Opt(3)  $<= Opt(5))
(Opt(3)  @>  Opt(5), Opt(3)  $>  Opt(5))
(Opt(3)  @>= Opt(5), Opt(3)  $>= Opt(5))
(Opt(3) !@=  Opt(5), Opt(3) !$=  Opt(5))
(Opt(3) !@<  Opt(5), Opt(3) !$<  Opt(5))
(Opt(3) !@<= Opt(5), Opt(3) !$<= Opt(5))
(Opt(3) !@>  Opt(5), Opt(3) !$>  Opt(5))
(Opt(3) !@>= Opt(5), Opt(3) !$>= Opt(5))

// REVIEW: Some of the below could reduce, using that false is the min and true is the max,
// so b < false is false, b >= false is true, b <= true is true, and b > true is false.
// Moreover, b >= true could reduce to just b.
(b  @=  b, b  $=  b)
(b  @<  b, b  $<  b)
(b  @<= b, b  $<= b)
(b  @>  b, b  $>  b)
(b  @>= b, b  $>= b)
(b !@=  b, b !$=  b)
(b !@<  b, b !$<  b)
(b !@<= b, b !$<= b)
(b !@>  b, b !$>  b)
(b !@>= b, b !$>= b)
(b  @=  false, b  $=  false)
(b  @<  false, b  $<  false)
(b  @<= false, b  $<= false)
(b  @>  false, b  $>  false)
(b  @>= false, b  $>= false)
(b !@=  false, b !$=  false)
(b !@<  false, b !$<  false)
(b !@<= false, b !$<= false)
(b !@>  false, b !$>  false)
(b !@>= false, b !$>= false)
(b  @=  true, b  $=  true)
(b  @<  true, b  $<  true)
(b  @<= true, b  $<= true)
(b  @>  true, b  $>  true)
(b  @>= true, b  $>= true)
(b !@=  true, b !$=  true)
(b !@<  true, b !$<  true)
(b !@<= true, b !$<= true)
(b !@>  true, b !$>  true)
(b !@>= true, b !$>= true)
(b  @=  qb, b  $=  qb)
(b  @<  qb, b  $<  qb)
(b  @<= qb, b  $<= qb)
(b  @>  qb, b  $>  qb)
(b  @>= qb, b  $>= qb)
(b !@=  qb, b !$=  qb)
(b !@<  qb, b !$<  qb)
(b !@<= qb, b !$<= qb)
(b !@>  qb, b !$>  qb)
(b !@>= qb, b !$>= qb)
(b  @=  Null(false), b  $=  Null(false))
(b  @<  Null(false), b  $<  Null(false))
(b  @<= Null(false), b  $<= Null(false))
(b  @>  Null(false), b  $>  Null(false))
(b  @>= Null(false), b  $>= Null(false))
(b !@=  Null(false), b !$=  Null(false))
(b !@<  Null(false), b !$<  Null(false))
(b !@<= Null(false), b !$<= Null(false))
(b !@>  Null(false), b !$>  Null(false))
(b !@>= Null(false), b !$>= Null(false))
(b  @=  Opt(false), b  $=  Opt(false))
(b  @<  Opt(false), b  $<  Opt(false))
(b  @<= Opt(false), b  $<= Opt(false))
(b  @>  Opt(false), b  $>  Opt(false))
(b  @>= Opt(false), b  $>= Opt(false))
(b !@=  Opt(false), b !$=  Opt(false))
(b !@<  Opt(false), b !$<  Opt(false))
(b !@<= Opt(false), b !$<= Opt(false))
(b !@>  Opt(false), b !$>  Opt(false))
(b !@>= Opt(false), b !$>= Opt(false))
(b  @=  Opt(true), b  $=  Opt(true))
(b  @<  Opt(true), b  $<  Opt(true))
(b  @<= Opt(true), b  $<= Opt(true))
(b  @>  Opt(true), b  $>  Opt(true))
(b  @>= Opt(true), b  $>= Opt(true))
(b !@=  Opt(true), b !$=  Opt(true))
(b !@<  Opt(true), b !$<  Opt(true))
(b !@<= Opt(true), b !$<= Opt(true))
(b !@>  Opt(true), b !$>  Opt(true))
(b !@>= Opt(true), b !$>= Opt(true))
(false  @=  b, false  $=  b)
(false  @<  b, false  $<  b)
(false  @<= b, false  $<= b)
(false  @>  b, false  $>  b)
(false  @>= b, false  $>= b)
(false !@=  b, false !$=  b)
(false !@<  b, false !$<  b)
(false !@<= b, false !$<= b)
(false !@>  b, false !$>  b)
(false !@>= b, false !$>= b)
(false  @=  false, false  $=  false)
(false  @<  false, false  $<  false)
(false  @<= false, false  $<= false)
(false  @>  false, false  $>  false)
(false  @>= false, false  $>= false)
(false !@=  false, false !$=  false)
(false !@<  false, false !$<  false)
(false !@<= false, false !$<= false)
(false !@>  false, false !$>  false)
(false !@>= false, false !$>= false)
(false  @=  true, false  $=  true)
(false  @<  true, false  $<  true)
(false  @<= true, false  $<= true)
(false  @>  true, false  $>  true)
(false  @>= true, false  $>= true)
(false !@=  true, false !$=  true)
(false !@<  true, false !$<  true)
(false !@<= true, false !$<= true)
(false !@>  true, false !$>  true)
(false !@>= true, false !$>= true)
(false  @=  qb, false  $=  qb)
(false  @<  qb, false  $<  qb)
(false  @<= qb, false  $<= qb)
(false  @>  qb, false  $>  qb)
(false  @>= qb, false  $>= qb)
(false !@=  qb, false !$=  qb)
(false !@<  qb, false !$<  qb)
(false !@<= qb, false !$<= qb)
(false !@>  qb, false !$>  qb)
(false !@>= qb, false !$>= qb)
(false  @=  Null(false), false  $=  Null(false))
(false  @<  Null(false), false  $<  Null(false))
(false  @<= Null(false), false  $<= Null(false))
(false  @>  Null(false), false  $>  Null(false))
(false  @>= Null(false), false  $>= Null(false))
(false !@=  Null(false), false !$=  Null(false))
(false !@<  Null(false), false !$<  Null(false))
(false !@<= Null(false), false !$<= Null(false))
(false !@>  Null(false), false !$>  Null(false))
(false !@>= Null(false), false !$>= Null(false))
(false  @=  Opt(false), false  $=  Opt(false))
(false  @<  Opt(false), false  $<  Opt(false))
(false  @<= Opt(false), false  $<= Opt(false))
(false  @>  Opt(false), false  $>  Opt(false))
(false  @>= Opt(false), false  $>= Opt(false))
(false !@=  Opt(false), false !$=  Opt(false))
(false !@<  Opt(false), false !$<  Opt(false))
(false !@<= Opt(false), false !$<= Opt(false))
(false !@>  Opt(false), false !$>  Opt(false))
(false !@>= Opt(false), false !$>= Opt(false))
(false  @=  Opt(true), false  $=  Opt(true))
(false  @<  Opt(true), false  $<  Opt(true))
(false  @<= Opt(true), false  $<= Opt(true))
(false  @>  Opt(true), false  $>  Opt(true))
(false  @>= Opt(true), false  $>= Opt(true))
(false !@=  Opt(true), false !$=  Opt(true))
(false !@<  Opt(true), false !$<  Opt(true))
(false !@<= Opt(true), false !$<= Opt(true))
(false !@>  Opt(true), false !$>  Opt(true))
(false !@>= Opt(true), false !$>= Opt(true))
(true  @=  b, true  $=  b)
(true  @<  b, true  $<  b)
(true  @<= b, true  $<= b)
(true  @>  b, true  $>  b)
(true  @>= b, true  $>= b)
(true !@=  b, true !$=  b)
(true !@<  b, true !$<  b)
(true !@<= b, true !$<= b)
(true !@>  b, true !$>  b)
(true !@>= b, true !$>= b)
(true  @=  false, true  $=  false)
(true  @<  false, true  $<  false)
(true  @<= false, true  $<= false)
(true  @>  false, true  $>  false)
(true  @>= false, true  $>= false)
(true !@=  false, true !$=  false)
(true !@<  false, true !$<  false)
(true !@<= false, true !$<= false)
(true !@>  false, true !$>  false)
(true !@>= false, true !$>= false)
(true  @=  true, true  $=  true)
(true  @<  true, true  $<  true)
(true  @<= true, true  $<= true)
(true  @>  true, true  $>  true)
(true  @>= true, true  $>= true)
(true !@=  true, true !$=  true)
(true !@<  true, true !$<  true)
(true !@<= true, true !$<= true)
(true !@>  true, true !$>  true)
(true !@>= true, true !$>= true)
(true  @=  qb, true  $=  qb)
(true  @<  qb, true  $<  qb)
(true  @<= qb, true  $<= qb)
(true  @>  qb, true  $>  qb)
(true  @>= qb, true  $>= qb)
(true !@=  qb, true !$=  qb)
(true !@<  qb, true !$<  qb)
(true !@<= qb, true !$<= qb)
(true !@>  qb, true !$>  qb)
(true !@>= qb, true !$>= qb)
(true  @=  Null(false), true  $=  Null(false))
(true  @<  Null(false), true  $<  Null(false))
(true  @<= Null(false), true  $<= Null(false))
(true  @>  Null(false), true  $>  Null(false))
(true  @>= Null(false), true  $>= Null(false))
(true !@=  Null(false), true !$=  Null(false))
(true !@<  Null(false), true !$<  Null(false))
(true !@<= Null(false), true !$<= Null(false))
(true !@>  Null(false), true !$>  Null(false))
(true !@>= Null(false), true !$>= Null(false))
(true  @=  Opt(false), true  $=  Opt(false))
(true  @<  Opt(false), true  $<  Opt(false))
(true  @<= Opt(false), true  $<= Opt(false))
(true  @>  Opt(false), true  $>  Opt(false))
(true  @>= Opt(false), true  $>= Opt(false))
(true !@=  Opt(false), true !$=  Opt(false))
(true !@<  Opt(false), true !$<  Opt(false))
(true !@<= Opt(false), true !$<= Opt(false))
(true !@>  Opt(false), true !$>  Opt(false))
(true !@>= Opt(false), true !$>= Opt(false))
(true  @=  Opt(true), true  $=  Opt(true))
(true  @<  Opt(true), true  $<  Opt(true))
(true  @<= Opt(true), true  $<= Opt(true))
(true  @>  Opt(true), true  $>  Opt(true))
(true  @>= Opt(true), true  $>= Opt(true))
(true !@=  Opt(true), true !$=  Opt(true))
(true !@<  Opt(true), true !$<  Opt(true))
(true !@<= Opt(true), true !$<= Opt(true))
(true !@>  Opt(true), true !$>  Opt(true))
(true !@>= Opt(true), true !$>= Opt(true))
(qb  @=  b, qb  $=  b)
(qb  @<  b, qb  $<  b)
(qb  @<= b, qb  $<= b)
(qb  @>  b, qb  $>  b)
(qb  @>= b, qb  $>= b)
(qb !@=  b, qb !$=  b)
(qb !@<  b, qb !$<  b)
(qb !@<= b, qb !$<= b)
(qb !@>  b, qb !$>  b)
(qb !@>= b, qb !$>= b)
(qb  @=  false, qb  $=  false)
(qb  @<  false, qb  $<  false)
(qb  @<= false, qb  $<= false)
(qb  @>  false, qb  $>  false)
(qb  @>= false, qb  $>= false)
(qb !@=  false, qb !$=  false)
(qb !@<  false, qb !$<  false)
(qb !@<= false, qb !$<= false)
(qb !@>  false, qb !$>  false)
(qb !@>= false, qb !$>= false)
(qb  @=  true, qb  $=  true)
(qb  @<  true, qb  $<  true)
(qb  @<= true, qb  $<= true)
(qb  @>  true, qb  $>  true)
(qb  @>= true, qb  $>= true)
(qb !@=  true, qb !$=  true)
(qb !@<  true, qb !$<  true)
(qb !@<= true, qb !$<= true)
(qb !@>  true, qb !$>  true)
(qb !@>= true, qb !$>= true)
(qb  @=  qb, qb  $=  qb)
(qb  @<  qb, qb  $<  qb)
(qb  @<= qb, qb  $<= qb)
(qb  @>  qb, qb  $>  qb)
(qb  @>= qb, qb  $>= qb)
(qb !@=  qb, qb !$=  qb)
(qb !@<  qb, qb !$<  qb)
(qb !@<= qb, qb !$<= qb)
(qb !@>  qb, qb !$>  qb)
(qb !@>= qb, qb !$>= qb)
(qb  @=  Null(false), qb  $=  Null(false))
(qb  @<  Null(false), qb  $<  Null(false))
(qb  @<= Null(false), qb  $<= Null(false))
(qb  @>  Null(false), qb  $>  Null(false))
(qb  @>= Null(false), qb  $>= Null(false))
(qb !@=  Null(false), qb !$=  Null(false))
(qb !@<  Null(false), qb !$<  Null(false))
(qb !@<= Null(false), qb !$<= Null(false))
(qb !@>  Null(false), qb !$>  Null(false))
(qb !@>= Null(false), qb !$>= Null(false))
(qb  @=  Opt(false), qb  $=  Opt(false))
(qb  @<  Opt(false), qb  $<  Opt(false))
(qb  @<= Opt(false), qb  $<= Opt(false))
(qb  @>  Opt(false), qb  $>  Opt(false))
(qb  @>= Opt(false), qb  $>= Opt(false))
(qb !@=  Opt(false), qb !$=  Opt(false))
(qb !@<  Opt(false), qb !$<  Opt(false))
(qb !@<= Opt(false), qb !$<= Opt(false))
(qb !@>  Opt(false), qb !$>  Opt(false))
(qb !@>= Opt(false), qb !$>= Opt(false))
(qb  @=  Opt(true), qb  $=  Opt(true))
(qb  @<  Opt(true), qb  $<  Opt(true))
(qb  @<= Opt(true), qb  $<= Opt(true))
(qb  @>  Opt(true), qb  $>  Opt(true))
(qb  @>= Opt(true), qb  $>= Opt(true))
(qb !@=  Opt(true), qb !$=  Opt(true))
(qb !@<  Opt(true), qb !$<  Opt(true))
(qb !@<= Opt(true), qb !$<= Opt(true))
(qb !@>  Opt(true), qb !$>  Opt(true))
(qb !@>= Opt(true), qb !$>= Opt(true))
(Null(false)  @=  b, Null(false)  $=  b)
(Null(false)  @<  b, Null(false)  $<  b)
(Null(false)  @<= b, Null(false)  $<= b)
(Null(false)  @>  b, Null(false)  $>  b)
(Null(false)  @>= b, Null(false)  $>= b)
(Null(false) !@=  b, Null(false) !$=  b)
(Null(false) !@<  b, Null(false) !$<  b)
(Null(false) !@<= b, Null(false) !$<= b)
(Null(false) !@>  b, Null(false) !$>  b)
(Null(false) !@>= b, Null(false) !$>= b)
(Null(false)  @=  false, Null(false)  $=  false)
(Null(false)  @<  false, Null(false)  $<  false)
(Null(false)  @<= false, Null(false)  $<= false)
(Null(false)  @>  false, Null(false)  $>  false)
(Null(false)  @>= false, Null(false)  $>= false)
(Null(false) !@=  false, Null(false) !$=  false)
(Null(false) !@<  false, Null(false) !$<  false)
(Null(false) !@<= false, Null(false) !$<= false)
(Null(false) !@>  false, Null(false) !$>  false)
(Null(false) !@>= false, Null(false) !$>= false)
(Null(false)  @=  true, Null(false)  $=  true)
(Null(false)  @<  true, Null(false)  $<  true)
(Null(false)  @<= true, Null(false)  $<= true)
(Null(false)  @>  true, Null(false)  $>  true)
(Null(false)  @>= true, Null(false)  $>= true)
(Null(false) !@=  true, Null(false) !$=  true)
(Null(false) !@<  true, Null(false) !$<  true)
(Null(false) !@<= true, Null(false) !$<= true)
(Null(false) !@>  true, Null(false) !$>  true)
(Null(false) !@>= true, Null(false) !$>= true)
(Null(false)  @=  qb, Null(false)  $=  qb)
(Null(false)  @<  qb, Null(false)  $<  qb)
(Null(false)  @<= qb, Null(false)  $<= qb)
(Null(false)  @>  qb, Null(false)  $>  qb)
(Null(false)  @>= qb, Null(false)  $>= qb)
(Null(false) !@=  qb, Null(false) !$=  qb)
(Null(false) !@<  qb, Null(false) !$<  qb)
(Null(false) !@<= qb, Null(false) !$<= qb)
(Null(false) !@>  qb, Null(false) !$>  qb)
(Null(false) !@>= qb, Null(false) !$>= qb)
(Null(false)  @=  Null(false), Null(false)  $=  Null(false))
(Null(false)  @<  Null(false), Null(false)  $<  Null(false))
(Null(false)  @<= Null(false), Null(false)  $<= Null(false))
(Null(false)  @>  Null(false), Null(false)  $>  Null(false))
(Null(false)  @>= Null(false), Null(false)  $>= Null(false))
(Null(false) !@=  Null(false), Null(false) !$=  Null(false))
(Null(false) !@<  Null(false), Null(false) !$<  Null(false))
(Null(false) !@<= Null(false), Null(false) !$<= Null(false))
(Null(false) !@>  Null(false), Null(false) !$>  Null(false))
(Null(false) !@>= Null(false), Null(false) !$>= Null(false))
(Null(false)  @=  Opt(false), Null(false)  $=  Opt(false))
(Null(false)  @<  Opt(false), Null(false)  $<  Opt(false))
(Null(false)  @<= Opt(false), Null(false)  $<= Opt(false))
(Null(false)  @>  Opt(false), Null(false)  $>  Opt(false))
(Null(false)  @>= Opt(false), Null(false)  $>= Opt(false))
(Null(false) !@=  Opt(false), Null(false) !$=  Opt(false))
(Null(false) !@<  Opt(false), Null(false) !$<  Opt(false))
(Null(false) !@<= Opt(false), Null(false) !$<= Opt(false))
(Null(false) !@>  Opt(false), Null(false) !$>  Opt(false))
(Null(false) !@>= Opt(false), Null(false) !$>= Opt(false))
(Null(false)  @=  Opt(true), Null(false)  $=  Opt(true))
(Null(false)  @<  Opt(true), Null(false)  $<  Opt(true))
(Null(false)  @<= Opt(true), Null(false)  $<= Opt(true))
(Null(false)  @>  Opt(true), Null(false)  $>  Opt(true))
(Null(false)  @>= Opt(true), Null(false)  $>= Opt(true))
(Null(false) !@=  Opt(true), Null(false) !$=  Opt(true))
(Null(false) !@<  Opt(true), Null(false) !$<  Opt(true))
(Null(false) !@<= Opt(true), Null(false) !$<= Opt(true))
(Null(false) !@>  Opt(true), Null(false) !$>  Opt(true))
(Null(false) !@>= Opt(true), Null(false) !$>= Opt(true))
(Opt(false)  @=  b, Opt(false)  $=  b)
(Opt(false)  @<  b, Opt(false)  $<  b)
(Opt(false)  @<= b, Opt(false)  $<= b)
(Opt(false)  @>  b, Opt(false)  $>  b)
(Opt(false)  @>= b, Opt(false)  $>= b)
(Opt(false) !@=  b, Opt(false) !$=  b)
(Opt(false) !@<  b, Opt(false) !$<  b)
(Opt(false) !@<= b, Opt(false) !$<= b)
(Opt(false) !@>  b, Opt(false) !$>  b)
(Opt(false) !@>= b, Opt(false) !$>= b)
(Opt(false)  @=  false, Opt(false)  $=  false)
(Opt(false)  @<  false, Opt(false)  $<  false)
(Opt(false)  @<= false, Opt(false)  $<= false)
(Opt(false)  @>  false, Opt(false)  $>  false)
(Opt(false)  @>= false, Opt(false)  $>= false)
(Opt(false) !@=  false, Opt(false) !$=  false)
(Opt(false) !@<  false, Opt(false) !$<  false)
(Opt(false) !@<= false, Opt(false) !$<= false)
(Opt(false) !@>  false, Opt(false) !$>  false)
(Opt(false) !@>= false, Opt(false) !$>= false)
(Opt(false)  @=  true, Opt(false)  $=  true)
(Opt(false)  @<  true, Opt(false)  $<  true)
(Opt(false)  @<= true, Opt(false)  $<= true)
(Opt(false)  @>  true, Opt(false)  $>  true)
(Opt(false)  @>= true, Opt(false)  $>= true)
(Opt(false) !@=  true, Opt(false) !$=  true)
(Opt(false) !@<  true, Opt(false) !$<  true)
(Opt(false) !@<= true, Opt(false) !$<= true)
(Opt(false) !@>  true, Opt(false) !$>  true)
(Opt(false) !@>= true, Opt(false) !$>= true)
(Opt(false)  @=  qb, Opt(false)  $=  qb)
(Opt(false)  @<  qb, Opt(false)  $<  qb)
(Opt(false)  @<= qb, Opt(false)  $<= qb)
(Opt(false)  @>  qb, Opt(false)  $>  qb)
(Opt(false)  @>= qb, Opt(false)  $>= qb)
(Opt(false) !@=  qb, Opt(false) !$=  qb)
(Opt(false) !@<  qb, Opt(false) !$<  qb)
(Opt(false) !@<= qb, Opt(false) !$<= qb)
(Opt(false) !@>  qb, Opt(false) !$>  qb)
(Opt(false) !@>= qb, Opt(false) !$>= qb)
(Opt(false)  @=  Null(false), Opt(false)  $=  Null(false))
(Opt(false)  @<  Null(false), Opt(false)  $<  Null(false))
(Opt(false)  @<= Null(false), Opt(false)  $<= Null(false))
(Opt(false)  @>  Null(false), Opt(false)  $>  Null(false))
(Opt(false)  @>= Null(false), Opt(false)  $>= Null(false))
(Opt(false) !@=  Null(false), Opt(false) !$=  Null(false))
(Opt(false) !@<  Null(false), Opt(false) !$<  Null(false))
(Opt(false) !@<= Null(false), Opt(false) !$<= Null(false))
(Opt(false) !@>  Null(false), Opt(false) !$>  Null(false))
(Opt(false) !@>= Null(false), Opt(false) !$>= Null(false))
(Opt(false)  @=  Opt(false), Opt(false)  $=  Opt(false))
(Opt(false)  @<  Opt(false), Opt(false)  $<  Opt(false))
(Opt(false)  @<= Opt(false), Opt(false)  $<= Opt(false))
(Opt(false)  @>  Opt(false), Opt(false)  $>  Opt(false))
(Opt(false)  @>= Opt(false), Opt(false)  $>= Opt(false))
(Opt(false) !@=  Opt(false), Opt(false) !$=  Opt(false))
(Opt(false) !@<  Opt(false), Opt(false) !$<  Opt(false))
(Opt(false) !@<= Opt(false), Opt(false) !$<= Opt(false))
(Opt(false) !@>  Opt(false), Opt(false) !$>  Opt(false))
(Opt(false) !@>= Opt(false), Opt(false) !$>= Opt(false))
(Opt(false)  @=  Opt(true), Opt(false)  $=  Opt(true))
(Opt(false)  @<  Opt(true), Opt(false)  $<  Opt(true))
(Opt(false)  @<= Opt(true), Opt(false)  $<= Opt(true))
(Opt(false)  @>  Opt(true), Opt(false)  $>  Opt(true))
(Opt(false)  @>= Opt(true), Opt(false)  $>= Opt(true))
(Opt(false) !@=  Opt(true), Opt(false) !$=  Opt(true))
(Opt(false) !@<  Opt(true), Opt(false) !$<  Opt(true))
(Opt(false) !@<= Opt(true), Opt(false) !$<= Opt(true))
(Opt(false) !@>  Opt(true), Opt(false) !$>  Opt(true))
(Opt(false) !@>= Opt(true), Opt(false) !$>= Opt(true))
(Opt(true)  @=  b, Opt(true)  $=  b)
(Opt(true)  @<  b, Opt(true)  $<  b)
(Opt(true)  @<= b, Opt(true)  $<= b)
(Opt(true)  @>  b, Opt(true)  $>  b)
(Opt(true)  @>= b, Opt(true)  $>= b)
(Opt(true) !@=  b, Opt(true) !$=  b)
(Opt(true) !@<  b, Opt(true) !$<  b)
(Opt(true) !@<= b, Opt(true) !$<= b)
(Opt(true) !@>  b, Opt(true) !$>  b)
(Opt(true) !@>= b, Opt(true) !$>= b)
(Opt(true)  @=  false, Opt(true)  $=  false)
(Opt(true)  @<  false, Opt(true)  $<  false)
(Opt(true)  @<= false, Opt(true)  $<= false)
(Opt(true)  @>  false, Opt(true)  $>  false)
(Opt(true)  @>= false, Opt(true)  $>= false)
(Opt(true) !@=  false, Opt(true) !$=  false)
(Opt(true) !@<  false, Opt(true) !$<  false)
(Opt(true) !@<= false, Opt(true) !$<= false)
(Opt(true) !@>  false, Opt(true) !$>  false)
(Opt(true) !@>= false, Opt(true) !$>= false)
(Opt(true)  @=  true, Opt(true)  $=  true)
(Opt(true)  @<  true, Opt(true)  $<  true)
(Opt(true)  @<= true, Opt(true)  $<= true)
(Opt(true)  @>  true, Opt(true)  $>  true)
(Opt(true)  @>= true, Opt(true)  $>= true)
(Opt(true) !@=  true, Opt(true) !$=  true)
(Opt(true) !@<  true, Opt(true) !$<  true)
(Opt(true) !@<= true, Opt(true) !$<= true)
(Opt(true) !@>  true, Opt(true) !$>  true)
(Opt(true) !@>= true, Opt(true) !$>= true)
(Opt(true)  @=  qb, Opt(true)  $=  qb)
(Opt(true)  @<  qb, Opt(true)  $<  qb)
(Opt(true)  @<= qb, Opt(true)  $<= qb)
(Opt(true)  @>  qb, Opt(true)  $>  qb)
(Opt(true)  @>= qb, Opt(true)  $>= qb)
(Opt(true) !@=  qb, Opt(true) !$=  qb)
(Opt(true) !@<  qb, Opt(true) !$<  qb)
(Opt(true) !@<= qb, Opt(true) !$<= qb)
(Opt(true) !@>  qb, Opt(true) !$>  qb)
(Opt(true) !@>= qb, Opt(true) !$>= qb)
(Opt(true)  @=  Null(false), Opt(true)  $=  Null(false))
(Opt(true)  @<  Null(false), Opt(true)  $<  Null(false))
(Opt(true)  @<= Null(false), Opt(true)  $<= Null(false))
(Opt(true)  @>  Null(false), Opt(true)  $>  Null(false))
(Opt(true)  @>= Null(false), Opt(true)  $>= Null(false))
(Opt(true) !@=  Null(false), Opt(true) !$=  Null(false))
(Opt(true) !@<  Null(false), Opt(true) !$<  Null(false))
(Opt(true) !@<= Null(false), Opt(true) !$<= Null(false))
(Opt(true) !@>  Null(false), Opt(true) !$>  Null(false))
(Opt(true) !@>= Null(false), Opt(true) !$>= Null(false))
(Opt(true)  @=  Opt(false), Opt(true)  $=  Opt(false))
(Opt(true)  @<  Opt(false), Opt(true)  $<  Opt(false))
(Opt(true)  @<= Opt(false), Opt(true)  $<= Opt(false))
(Opt(true)  @>  Opt(false), Opt(true)  $>  Opt(false))
(Opt(true)  @>= Opt(false), Opt(true)  $>= Opt(false))
(Opt(true) !@=  Opt(false), Opt(true) !$=  Opt(false))
(Opt(true) !@<  Opt(false), Opt(true) !$<  Opt(false))
(Opt(true) !@<= Opt(false), Opt(true) !$<= Opt(false))
(Opt(true) !@>  Opt(false), Opt(true) !$>  Opt(false))
(Opt(true) !@>= Opt(false), Opt(true) !$>= Opt(false))
(Opt(true)  @=  Opt(true), Opt(true)  $=  Opt(true))
(Opt(true)  @<  Opt(true), Opt(true)  $<  Opt(true))
(Opt(true)  @<= Opt(true), Opt(true)  $<= Opt(true))
(Opt(true)  @>  Opt(true), Opt(true)  $>  Opt(true))
(Opt(true)  @>= Opt(true), Opt(true)  $>= Opt(true))
(Opt(true) !@=  Opt(true), Opt(true) !$=  Opt(true))
(Opt(true) !@<  Opt(true), Opt(true) !$<  Opt(true))
(Opt(true) !@<= Opt(true), Opt(true) !$<= Opt(true))
(Opt(true) !@>  Opt(true), Opt(true) !$>  Opt(true))
(Opt(true) !@>= Opt(true), Opt(true) !$>= Opt(true))

"*** For r8 and r4, strict treats NaN and null differently. Reductions handle non-finites."
(r8  @=  r8, r8  $=  r8)
(r8  @<  r8, r8  $<  r8)
(r8  @<= r8, r8  $<= r8)
(r8  @>  r8, r8  $>  r8)
(r8  @>= r8, r8  $>= r8)
(r8 !@=  r8, r8 !$=  r8)
(r8 !@<  r8, r8 !$<  r8)
(r8 !@<= r8, r8 !$<= r8)
(r8 !@>  r8, r8 !$>  r8)
(r8 !@>= r8, r8 !$>= r8)
(r8  @=  5r8, r8  $=  5r8)
(r8  @<  5r8, r8  $<  5r8)
(r8  @<= 5r8, r8  $<= 5r8)
(r8  @>  5r8, r8  $>  5r8)
(r8  @>= 5r8, r8  $>= 5r8)
(r8 !@=  5r8, r8 !$=  5r8)
(r8 !@<  5r8, r8 !$<  5r8)
(r8 !@<= 5r8, r8 !$<= 5r8)
(r8 !@>  5r8, r8 !$>  5r8)
(r8 !@>= 5r8, r8 !$>= 5r8)
(r8  @=  0/0, r8  $=  0/0)
(r8  @<  0/0, r8  $<  0/0)
(r8  @<= 0/0, r8  $<= 0/0)
(r8  @>  0/0, r8  $>  0/0)
(r8  @>= 0/0, r8  $>= 0/0)
(r8 !@=  0/0, r8 !$=  0/0)
(r8 !@<  0/0, r8 !$<  0/0)
(r8 !@<= 0/0, r8 !$<= 0/0)
(r8 !@>  0/0, r8 !$>  0/0)
(r8 !@>= 0/0, r8 !$>= 0/0)
(r8  @=  1/0, r8  $=  1/0)
(r8  @<  1/0, r8  $<  1/0)
(r8  @<= 1/0, r8  $<= 1/0)
(r8  @>  1/0, r8  $>  1/0)
(r8  @>= 1/0, r8  $>= 1/0)
(r8 !@=  1/0, r8 !$=  1/0)
(r8 !@<  1/0, r8 !$<  1/0)
(r8 !@<= 1/0, r8 !$<= 1/0)
(r8 !@>  1/0, r8 !$>  1/0)
(r8 !@>= 1/0, r8 !$>= 1/0)
(r8  @=  -1/0, r8  $=  -1/0)
(r8  @<  -1/0, r8  $<  -1/0)
(r8  @<= -1/0, r8  $<= -1/0)
(r8  @>  -1/0, r8  $>  -1/0)
(r8  @>= -1/0, r8  $>= -1/0)
(r8 !@=  -1/0, r8 !$=  -1/0)
(r8 !@<  -1/0, r8 !$<  -1/0)
(r8 !@<= -1/0, r8 !$<= -1/0)
(r8 !@>  -1/0, r8 !$>  -1/0)
(r8 !@>= -1/0, r8 !$>= -1/0)
(r8  @=  qr8, r8  $=  qr8)
(r8  @<  qr8, r8  $<  qr8)
(r8  @<= qr8, r8  $<= qr8)
(r8  @>  qr8, r8  $>  qr8)
(r8  @>= qr8, r8  $>= qr8)
(r8 !@=  qr8, r8 !$=  qr8)
(r8 !@<  qr8, r8 !$<  qr8)
(r8 !@<= qr8, r8 !$<= qr8)
(r8 !@>  qr8, r8 !$>  qr8)
(r8 !@>= qr8, r8 !$>= qr8)
(r8  @=  Null(5r8), r8  $=  Null(5r8))
(r8  @<  Null(5r8), r8  $<  Null(5r8))
(r8  @<= Null(5r8), r8  $<= Null(5r8))
(r8  @>  Null(5r8), r8  $>  Null(5r8))
(r8  @>= Null(5r8), r8  $>= Null(5r8))
(r8 !@=  Null(5r8), r8 !$=  Null(5r8))
(r8 !@<  Null(5r8), r8 !$<  Null(5r8))
(r8 !@<= Null(5r8), r8 !$<= Null(5r8))
(r8 !@>  Null(5r8), r8 !$>  Null(5r8))
(r8 !@>= Null(5r8), r8 !$>= Null(5r8))
(r8  @=  Opt(5r8), r8  $=  Opt(5r8))
(r8  @<  Opt(5r8), r8  $<  Opt(5r8))
(r8  @<= Opt(5r8), r8  $<= Opt(5r8))
(r8  @>  Opt(5r8), r8  $>  Opt(5r8))
(r8  @>= Opt(5r8), r8  $>= Opt(5r8))
(r8 !@=  Opt(5r8), r8 !$=  Opt(5r8))
(r8 !@<  Opt(5r8), r8 !$<  Opt(5r8))
(r8 !@<= Opt(5r8), r8 !$<= Opt(5r8))
(r8 !@>  Opt(5r8), r8 !$>  Opt(5r8))
(r8 !@>= Opt(5r8), r8 !$>= Opt(5r8))
(3r8  @=  r8, 3r8  $=  r8)
(3r8  @<  r8, 3r8  $<  r8)
(3r8  @<= r8, 3r8  $<= r8)
(3r8  @>  r8, 3r8  $>  r8)
(3r8  @>= r8, 3r8  $>= r8)
(3r8 !@=  r8, 3r8 !$=  r8)
(3r8 !@<  r8, 3r8 !$<  r8)
(3r8 !@<= r8, 3r8 !$<= r8)
(3r8 !@>  r8, 3r8 !$>  r8)
(3r8 !@>= r8, 3r8 !$>= r8)
(3r8  @=  5r8, 3r8  $=  5r8)
(3r8  @<  5r8, 3r8  $<  5r8)
(3r8  @<= 5r8, 3r8  $<= 5r8)
(3r8  @>  5r8, 3r8  $>  5r8)
(3r8  @>= 5r8, 3r8  $>= 5r8)
(3r8 !@=  5r8, 3r8 !$=  5r8)
(3r8 !@<  5r8, 3r8 !$<  5r8)
(3r8 !@<= 5r8, 3r8 !$<= 5r8)
(3r8 !@>  5r8, 3r8 !$>  5r8)
(3r8 !@>= 5r8, 3r8 !$>= 5r8)
(3r8  @=  0/0, 3r8  $=  0/0)
(3r8  @<  0/0, 3r8  $<  0/0)
(3r8  @<= 0/0, 3r8  $<= 0/0)
(3r8  @>  0/0, 3r8  $>  0/0)
(3r8  @>= 0/0, 3r8  $>= 0/0)
(3r8 !@=  0/0, 3r8 !$=  0/0)
(3r8 !@<  0/0, 3r8 !$<  0/0)
(3r8 !@<= 0/0, 3r8 !$<= 0/0)
(3r8 !@>  0/0, 3r8 !$>  0/0)
(3r8 !@>= 0/0, 3r8 !$>= 0/0)
(3r8  @=  1/0, 3r8  $=  1/0)
(3r8  @<  1/0, 3r8  $<  1/0)
(3r8  @<= 1/0, 3r8  $<= 1/0)
(3r8  @>  1/0, 3r8  $>  1/0)
(3r8  @>= 1/0, 3r8  $>= 1/0)
(3r8 !@=  1/0, 3r8 !$=  1/0)
(3r8 !@<  1/0, 3r8 !$<  1/0)
(3r8 !@<= 1/0, 3r8 !$<= 1/0)
(3r8 !@>  1/0, 3r8 !$>  1/0)
(3r8 !@>= 1/0, 3r8 !$>= 1/0)
(3r8  @=  -1/0, 3r8  $=  -1/0)
(3r8  @<  -1/0, 3r8  $<  -1/0)
(3r8  @<= -1/0, 3r8  $<= -1/0)
(3r8  @>  -1/0, 3r8  $>  -1/0)
(3r8  @>= -1/0, 3r8  $>= -1/0)
(3r8 !@=  -1/0, 3r8 !$=  -1/0)
(3r8 !@<  -1/0, 3r8 !$<  -1/0)
(3r8 !@<= -1/0, 3r8 !$<= -1/0)
(3r8 !@>  -1/0, 3r8 !$>  -1/0)
(3r8 !@>= -1/0, 3r8 !$>= -1/0)
(3r8  @=  qr8, 3r8  $=  qr8)
(3r8  @<  qr8, 3r8  $<  qr8)
(3r8  @<= qr8, 3r8  $<= qr8)
(3r8  @>  qr8, 3r8  $>  qr8)
(3r8  @>= qr8, 3r8  $>= qr8)
(3r8 !@=  qr8, 3r8 !$=  qr8)
(3r8 !@<  qr8, 3r8 !$<  qr8)
(3r8 !@<= qr8, 3r8 !$<= qr8)
(3r8 !@>  qr8, 3r8 !$>  qr8)
(3r8 !@>= qr8, 3r8 !$>= qr8)
(3r8  @=  Null(5r8), 3r8  $=  Null(5r8))
(3r8  @<  Null(5r8), 3r8  $<  Null(5r8))
(3r8  @<= Null(5r8), 3r8  $<= Null(5r8))
(3r8  @>  Null(5r8), 3r8  $>  Null(5r8))
(3r8  @>= Null(5r8), 3r8  $>= Null(5r8))
(3r8 !@=  Null(5r8), 3r8 !$=  Null(5r8))
(3r8 !@<  Null(5r8), 3r8 !$<  Null(5r8))
(3r8 !@<= Null(5r8), 3r8 !$<= Null(5r8))
(3r8 !@>  Null(5r8), 3r8 !$>  Null(5r8))
(3r8 !@>= Null(5r8), 3r8 !$>= Null(5r8))
(3r8  @=  Opt(5r8), 3r8  $=  Opt(5r8))
(3r8  @<  Opt(5r8), 3r8  $<  Opt(5r8))
(3r8  @<= Opt(5r8), 3r8  $<= Opt(5r8))
(3r8  @>  Opt(5r8), 3r8  $>  Opt(5r8))
(3r8  @>= Opt(5r8), 3r8  $>= Opt(5r8))
(3r8 !@=  Opt(5r8), 3r8 !$=  Opt(5r8))
(3r8 !@<  Opt(5r8), 3r8 !$<  Opt(5r8))
(3r8 !@<= Opt(5r8), 3r8 !$<= Opt(5r8))
(3r8 !@>  Opt(5r8), 3r8 !$>  Opt(5r8))
(3r8 !@>= Opt(5r8), 3r8 !$>= Opt(5r8))
(0/0  @=  r8, 0/0  $=  r8)
(0/0  @<  r8, 0/0  $<  r8)
(0/0  @<= r8, 0/0  $<= r8)
(0/0  @>  r8, 0/0  $>  r8)
(0/0  @>= r8, 0/0  $>= r8)
(0/0 !@=  r8, 0/0 !$=  r8)
(0/0 !@<  r8, 0/0 !$<  r8)
(0/0 !@<= r8, 0/0 !$<= r8)
(0/0 !@>  r8, 0/0 !$>  r8)
(0/0 !@>= r8, 0/0 !$>= r8)
(0/0  @=  5r8, 0/0  $=  5r8)
(0/0  @<  5r8, 0/0  $<  5r8)
(0/0  @<= 5r8, 0/0  $<= 5r8)
(0/0  @>  5r8, 0/0  $>  5r8)
(0/0  @>= 5r8, 0/0  $>= 5r8)
(0/0 !@=  5r8, 0/0 !$=  5r8)
(0/0 !@<  5r8, 0/0 !$<  5r8)
(0/0 !@<= 5r8, 0/0 !$<= 5r8)
(0/0 !@>  5r8, 0/0 !$>  5r8)
(0/0 !@>= 5r8, 0/0 !$>= 5r8)
(0/0  @=  0/0, 0/0  $=  0/0)
(0/0  @<  0/0, 0/0  $<  0/0)
(0/0  @<= 0/0, 0/0  $<= 0/0)
(0/0  @>  0/0, 0/0  $>  0/0)
(0/0  @>= 0/0, 0/0  $>= 0/0)
(0/0 !@=  0/0, 0/0 !$=  0/0)
(0/0 !@<  0/0, 0/0 !$<  0/0)
(0/0 !@<= 0/0, 0/0 !$<= 0/0)
(0/0 !@>  0/0, 0/0 !$>  0/0)
(0/0 !@>= 0/0, 0/0 !$>= 0/0)
(0/0  @=  1/0, 0/0  $=  1/0)
(0/0  @<  1/0, 0/0  $<  1/0)
(0/0  @<= 1/0, 0/0  $<= 1/0)
(0/0  @>  1/0, 0/0  $>  1/0)
(0/0  @>= 1/0, 0/0  $>= 1/0)
(0/0 !@=  1/0, 0/0 !$=  1/0)
(0/0 !@<  1/0, 0/0 !$<  1/0)
(0/0 !@<= 1/0, 0/0 !$<= 1/0)
(0/0 !@>  1/0, 0/0 !$>  1/0)
(0/0 !@>= 1/0, 0/0 !$>= 1/0)
(0/0  @=  -1/0, 0/0  $=  -1/0)
(0/0  @<  -1/0, 0/0  $<  -1/0)
(0/0  @<= -1/0, 0/0  $<= -1/0)
(0/0  @>  -1/0, 0/0  $>  -1/0)
(0/0  @>= -1/0, 0/0  $>= -1/0)
(0/0 !@=  -1/0, 0/0 !$=  -1/0)
(0/0 !@<  -1/0, 0/0 !$<  -1/0)
(0/0 !@<= -1/0, 0/0 !$<= -1/0)
(0/0 !@>  -1/0, 0/0 !$>  -1/0)
(0/0 !@>= -1/0, 0/0 !$>= -1/0)
(0/0  @=  qr8, 0/0  $=  qr8)
(0/0  @<  qr8, 0/0  $<  qr8)
(0/0  @<= qr8, 0/0  $<= qr8)
(0/0  @>  qr8, 0/0  $>  qr8)
(0/0  @>= qr8, 0/0  $>= qr8)
(0/0 !@=  qr8, 0/0 !$=  qr8)
(0/0 !@<  qr8, 0/0 !$<  qr8)
(0/0 !@<= qr8, 0/0 !$<= qr8)
(0/0 !@>  qr8, 0/0 !$>  qr8)
(0/0 !@>= qr8, 0/0 !$>= qr8)
(0/0  @=  Null(5r8), 0/0  $=  Null(5r8))
(0/0  @<  Null(5r8), 0/0  $<  Null(5r8))
(0/0  @<= Null(5r8), 0/0  $<= Null(5r8))
(0/0  @>  Null(5r8), 0/0  $>  Null(5r8))
(0/0  @>= Null(5r8), 0/0  $>= Null(5r8))
(0/0 !@=  Null(5r8), 0/0 !$=  Null(5r8))
(0/0 !@<  Null(5r8), 0/0 !$<  Null(5r8))
(0/0 !@<= Null(5r8), 0/0 !$<= Null(5r8))
(0/0 !@>  Null(5r8), 0/0 !$>  Null(5r8))
(0/0 !@>= Null(5r8), 0/0 !$>= Null(5r8))
(0/0  @=  Opt(5r8), 0/0  $=  Opt(5r8))
(0/0  @<  Opt(5r8), 0/0  $<  Opt(5r8))
(0/0  @<= Opt(5r8), 0/0  $<= Opt(5r8))
(0/0  @>  Opt(5r8), 0/0  $>  Opt(5r8))
(0/0  @>= Opt(5r8), 0/0  $>= Opt(5r8))
(0/0 !@=  Opt(5r8), 0/0 !$=  Opt(5r8))
(0/0 !@<  Opt(5r8), 0/0 !$<  Opt(5r8))
(0/0 !@<= Opt(5r8), 0/0 !$<= Opt(5r8))
(0/0 !@>  Opt(5r8), 0/0 !$>  Opt(5r8))
(0/0 !@>= Opt(5r8), 0/0 !$>= Opt(5r8))
(1/0  @=  r8, 1/0  $=  r8)
(1/0  @<  r8, 1/0  $<  r8)
(1/0  @<= r8, 1/0  $<= r8)
(1/0  @>  r8, 1/0  $>  r8)
(1/0  @>= r8, 1/0  $>= r8)
(1/0 !@=  r8, 1/0 !$=  r8)
(1/0 !@<  r8, 1/0 !$<  r8)
(1/0 !@<= r8, 1/0 !$<= r8)
(1/0 !@>  r8, 1/0 !$>  r8)
(1/0 !@>= r8, 1/0 !$>= r8)
(1/0  @=  5r8, 1/0  $=  5r8)
(1/0  @<  5r8, 1/0  $<  5r8)
(1/0  @<= 5r8, 1/0  $<= 5r8)
(1/0  @>  5r8, 1/0  $>  5r8)
(1/0  @>= 5r8, 1/0  $>= 5r8)
(1/0 !@=  5r8, 1/0 !$=  5r8)
(1/0 !@<  5r8, 1/0 !$<  5r8)
(1/0 !@<= 5r8, 1/0 !$<= 5r8)
(1/0 !@>  5r8, 1/0 !$>  5r8)
(1/0 !@>= 5r8, 1/0 !$>= 5r8)
(1/0  @=  0/0, 1/0  $=  0/0)
(1/0  @<  0/0, 1/0  $<  0/0)
(1/0  @<= 0/0, 1/0  $<= 0/0)
(1/0  @>  0/0, 1/0  $>  0/0)
(1/0  @>= 0/0, 1/0  $>= 0/0)
(1/0 !@=  0/0, 1/0 !$=  0/0)
(1/0 !@<  0/0, 1/0 !$<  0/0)
(1/0 !@<= 0/0, 1/0 !$<= 0/0)
(1/0 !@>  0/0, 1/0 !$>  0/0)
(1/0 !@>= 0/0, 1/0 !$>= 0/0)
(1/0  @=  1/0, 1/0  $=  1/0)
(1/0  @<  1/0, 1/0  $<  1/0)
(1/0  @<= 1/0, 1/0  $<= 1/0)
(1/0  @>  1/0, 1/0  $>  1/0)
(1/0  @>= 1/0, 1/0  $>= 1/0)
(1/0 !@=  1/0, 1/0 !$=  1/0)
(1/0 !@<  1/0, 1/0 !$<  1/0)
(1/0 !@<= 1/0, 1/0 !$<= 1/0)
(1/0 !@>  1/0, 1/0 !$>  1/0)
(1/0 !@>= 1/0, 1/0 !$>= 1/0)
(1/0  @=  -1/0, 1/0  $=  -1/0)
(1/0  @<  -1/0, 1/0  $<  -1/0)
(1/0  @<= -1/0, 1/0  $<= -1/0)
(1/0  @>  -1/0, 1/0  $>  -1/0)
(1/0  @>= -1/0, 1/0  $>= -1/0)
(1/0 !@=  -1/0, 1/0 !$=  -1/0)
(1/0 !@<  -1/0, 1/0 !$<  -1/0)
(1/0 !@<= -1/0, 1/0 !$<= -1/0)
(1/0 !@>  -1/0, 1/0 !$>  -1/0)
(1/0 !@>= -1/0, 1/0 !$>= -1/0)
(1/0  @=  qr8, 1/0  $=  qr8)
(1/0  @<  qr8, 1/0  $<  qr8)
(1/0  @<= qr8, 1/0  $<= qr8)
(1/0  @>  qr8, 1/0  $>  qr8)
(1/0  @>= qr8, 1/0  $>= qr8)
(1/0 !@=  qr8, 1/0 !$=  qr8)
(1/0 !@<  qr8, 1/0 !$<  qr8)
(1/0 !@<= qr8, 1/0 !$<= qr8)
(1/0 !@>  qr8, 1/0 !$>  qr8)
(1/0 !@>= qr8, 1/0 !$>= qr8)
(1/0  @=  Null(5r8), 1/0  $=  Null(5r8))
(1/0  @<  Null(5r8), 1/0  $<  Null(5r8))
(1/0  @<= Null(5r8), 1/0  $<= Null(5r8))
(1/0  @>  Null(5r8), 1/0  $>  Null(5r8))
(1/0  @>= Null(5r8), 1/0  $>= Null(5r8))
(1/0 !@=  Null(5r8), 1/0 !$=  Null(5r8))
(1/0 !@<  Null(5r8), 1/0 !$<  Null(5r8))
(1/0 !@<= Null(5r8), 1/0 !$<= Null(5r8))
(1/0 !@>  Null(5r8), 1/0 !$>  Null(5r8))
(1/0 !@>= Null(5r8), 1/0 !$>= Null(5r8))
(1/0  @=  Opt(5r8), 1/0  $=  Opt(5r8))
(1/0  @<  Opt(5r8), 1/0  $<  Opt(5r8))
(1/0  @<= Opt(5r8), 1/0  $<= Opt(5r8))
(1/0  @>  Opt(5r8), 1/0  $>  Opt(5r8))
(1/0  @>= Opt(5r8), 1/0  $>= Opt(5r8))
(1/0 !@=  Opt(5r8), 1/0 !$=  Opt(5r8))
(1/0 !@<  Opt(5r8), 1/0 !$<  Opt(5r8))
(1/0 !@<= Opt(5r8), 1/0 !$<= Opt(5r8))
(1/0 !@>  Opt(5r8), 1/0 !$>  Opt(5r8))
(1/0 !@>= Opt(5r8), 1/0 !$>= Opt(5r8))
(-1/0  @=  r8, -1/0  $=  r8)
(-1/0  @<  r8, -1/0  $<  r8)
(-1/0  @<= r8, -1/0  $<= r8)
(-1/0  @>  r8, -1/0  $>  r8)
(-1/0  @>= r8, -1/0  $>= r8)
(-1/0 !@=  r8, -1/0 !$=  r8)
(-1/0 !@<  r8, -1/0 !$<  r8)
(-1/0 !@<= r8, -1/0 !$<= r8)
(-1/0 !@>  r8, -1/0 !$>  r8)
(-1/0 !@>= r8, -1/0 !$>= r8)
(-1/0  @=  5r8, -1/0  $=  5r8)
(-1/0  @<  5r8, -1/0  $<  5r8)
(-1/0  @<= 5r8, -1/0  $<= 5r8)
(-1/0  @>  5r8, -1/0  $>  5r8)
(-1/0  @>= 5r8, -1/0  $>= 5r8)
(-1/0 !@=  5r8, -1/0 !$=  5r8)
(-1/0 !@<  5r8, -1/0 !$<  5r8)
(-1/0 !@<= 5r8, -1/0 !$<= 5r8)
(-1/0 !@>  5r8, -1/0 !$>  5r8)
(-1/0 !@>= 5r8, -1/0 !$>= 5r8)
(-1/0  @=  0/0, -1/0  $=  0/0)
(-1/0  @<  0/0, -1/0  $<  0/0)
(-1/0  @<= 0/0, -1/0  $<= 0/0)
(-1/0  @>  0/0, -1/0  $>  0/0)
(-1/0  @>= 0/0, -1/0  $>= 0/0)
(-1/0 !@=  0/0, -1/0 !$=  0/0)
(-1/0 !@<  0/0, -1/0 !$<  0/0)
(-1/0 !@<= 0/0, -1/0 !$<= 0/0)
(-1/0 !@>  0/0, -1/0 !$>  0/0)
(-1/0 !@>= 0/0, -1/0 !$>= 0/0)
(-1/0  @=  1/0, -1/0  $=  1/0)
(-1/0  @<  1/0, -1/0  $<  1/0)
(-1/0  @<= 1/0, -1/0  $<= 1/0)
(-1/0  @>  1/0, -1/0  $>  1/0)
(-1/0  @>= 1/0, -1/0  $>= 1/0)
(-1/0 !@=  1/0, -1/0 !$=  1/0)
(-1/0 !@<  1/0, -1/0 !$<  1/0)
(-1/0 !@<= 1/0, -1/0 !$<= 1/0)
(-1/0 !@>  1/0, -1/0 !$>  1/0)
(-1/0 !@>= 1/0, -1/0 !$>= 1/0)
(-1/0  @=  -1/0, -1/0  $=  -1/0)
(-1/0  @<  -1/0, -1/0  $<  -1/0)
(-1/0  @<= -1/0, -1/0  $<= -1/0)
(-1/0  @>  -1/0, -1/0  $>  -1/0)
(-1/0  @>= -1/0, -1/0  $>= -1/0)
(-1/0 !@=  -1/0, -1/0 !$=  -1/0)
(-1/0 !@<  -1/0, -1/0 !$<  -1/0)
(-1/0 !@<= -1/0, -1/0 !$<= -1/0)
(-1/0 !@>  -1/0, -1/0 !$>  -1/0)
(-1/0 !@>= -1/0, -1/0 !$>= -1/0)
(-1/0  @=  qr8, -1/0  $=  qr8)
(-1/0  @<  qr8, -1/0  $<  qr8)
(-1/0  @<= qr8, -1/0  $<= qr8)
(-1/0  @>  qr8, -1/0  $>  qr8)
(-1/0  @>= qr8, -1/0  $>= qr8)
(-1/0 !@=  qr8, -1/0 !$=  qr8)
(-1/0 !@<  qr8, -1/0 !$<  qr8)
(-1/0 !@<= qr8, -1/0 !$<= qr8)
(-1/0 !@>  qr8, -1/0 !$>  qr8)
(-1/0 !@>= qr8, -1/0 !$>= qr8)
(-1/0  @=  Null(5r8), -1/0  $=  Null(5r8))
(-1/0  @<  Null(5r8), -1/0  $<  Null(5r8))
(-1/0  @<= Null(5r8), -1/0  $<= Null(5r8))
(-1/0  @>  Null(5r8), -1/0  $>  Null(5r8))
(-1/0  @>= Null(5r8), -1/0  $>= Null(5r8))
(-1/0 !@=  Null(5r8), -1/0 !$=  Null(5r8))
(-1/0 !@<  Null(5r8), -1/0 !$<  Null(5r8))
(-1/0 !@<= Null(5r8), -1/0 !$<= Null(5r8))
(-1/0 !@>  Null(5r8), -1/0 !$>  Null(5r8))
(-1/0 !@>= Null(5r8), -1/0 !$>= Null(5r8))
(-1/0  @=  Opt(5r8), -1/0  $=  Opt(5r8))
(-1/0  @<  Opt(5r8), -1/0  $<  Opt(5r8))
(-1/0  @<= Opt(5r8), -1/0  $<= Opt(5r8))
(-1/0  @>  Opt(5r8), -1/0  $>  Opt(5r8))
(-1/0  @>= Opt(5r8), -1/0  $>= Opt(5r8))
(-1/0 !@=  Opt(5r8), -1/0 !$=  Opt(5r8))
(-1/0 !@<  Opt(5r8), -1/0 !$<  Opt(5r8))
(-1/0 !@<= Opt(5r8), -1/0 !$<= Opt(5r8))
(-1/0 !@>  Opt(5r8), -1/0 !$>  Opt(5r8))
(-1/0 !@>= Opt(5r8), -1/0 !$>= Opt(5r8))
(qr8  @=  r8, qr8  $=  r8)
(qr8  @<  r8, qr8  $<  r8)
(qr8  @<= r8, qr8  $<= r8)
(qr8  @>  r8, qr8  $>  r8)
(qr8  @>= r8, qr8  $>= r8)
(qr8 !@=  r8, qr8 !$=  r8)
(qr8 !@<  r8, qr8 !$<  r8)
(qr8 !@<= r8, qr8 !$<= r8)
(qr8 !@>  r8, qr8 !$>  r8)
(qr8 !@>= r8, qr8 !$>= r8)
(qr8  @=  5r8, qr8  $=  5r8)
(qr8  @<  5r8, qr8  $<  5r8)
(qr8  @<= 5r8, qr8  $<= 5r8)
(qr8  @>  5r8, qr8  $>  5r8)
(qr8  @>= 5r8, qr8  $>= 5r8)
(qr8 !@=  5r8, qr8 !$=  5r8)
(qr8 !@<  5r8, qr8 !$<  5r8)
(qr8 !@<= 5r8, qr8 !$<= 5r8)
(qr8 !@>  5r8, qr8 !$>  5r8)
(qr8 !@>= 5r8, qr8 !$>= 5r8)
(qr8  @=  0/0, qr8  $=  0/0)
(qr8  @<  0/0, qr8  $<  0/0)
(qr8  @<= 0/0, qr8  $<= 0/0)
(qr8  @>  0/0, qr8  $>  0/0)
(qr8  @>= 0/0, qr8  $>= 0/0)
(qr8 !@=  0/0, qr8 !$=  0/0)
(qr8 !@<  0/0, qr8 !$<  0/0)
(qr8 !@<= 0/0, qr8 !$<= 0/0)
(qr8 !@>  0/0, qr8 !$>  0/0)
(qr8 !@>= 0/0, qr8 !$>= 0/0)
(qr8  @=  1/0, qr8  $=  1/0)
(qr8  @<  1/0, qr8  $<  1/0)
(qr8  @<= 1/0, qr8  $<= 1/0)
(qr8  @>  1/0, qr8  $>  1/0)
(qr8  @>= 1/0, qr8  $>= 1/0)
(qr8 !@=  1/0, qr8 !$=  1/0)
(qr8 !@<  1/0, qr8 !$<  1/0)
(qr8 !@<= 1/0, qr8 !$<= 1/0)
(qr8 !@>  1/0, qr8 !$>  1/0)
(qr8 !@>= 1/0, qr8 !$>= 1/0)
(qr8  @=  -1/0, qr8  $=  -1/0)
(qr8  @<  -1/0, qr8  $<  -1/0)
(qr8  @<= -1/0, qr8  $<= -1/0)
(qr8  @>  -1/0, qr8  $>  -1/0)
(qr8  @>= -1/0, qr8  $>= -1/0)
(qr8 !@=  -1/0, qr8 !$=  -1/0)
(qr8 !@<  -1/0, qr8 !$<  -1/0)
(qr8 !@<= -1/0, qr8 !$<= -1/0)
(qr8 !@>  -1/0, qr8 !$>  -1/0)
(qr8 !@>= -1/0, qr8 !$>= -1/0)
(qr8  @=  qr8, qr8  $=  qr8)
(qr8  @<  qr8, qr8  $<  qr8)
(qr8  @<= qr8, qr8  $<= qr8)
(qr8  @>  qr8, qr8  $>  qr8)
(qr8  @>= qr8, qr8  $>= qr8)
(qr8 !@=  qr8, qr8 !$=  qr8)
(qr8 !@<  qr8, qr8 !$<  qr8)
(qr8 !@<= qr8, qr8 !$<= qr8)
(qr8 !@>  qr8, qr8 !$>  qr8)
(qr8 !@>= qr8, qr8 !$>= qr8)
(qr8  @=  Null(5r8), qr8  $=  Null(5r8))
(qr8  @<  Null(5r8), qr8  $<  Null(5r8))
(qr8  @<= Null(5r8), qr8  $<= Null(5r8))
(qr8  @>  Null(5r8), qr8  $>  Null(5r8))
(qr8  @>= Null(5r8), qr8  $>= Null(5r8))
(qr8 !@=  Null(5r8), qr8 !$=  Null(5r8))
(qr8 !@<  Null(5r8), qr8 !$<  Null(5r8))
(qr8 !@<= Null(5r8), qr8 !$<= Null(5r8))
(qr8 !@>  Null(5r8), qr8 !$>  Null(5r8))
(qr8 !@>= Null(5r8), qr8 !$>= Null(5r8))
(qr8  @=  Opt(5r8), qr8  $=  Opt(5r8))
(qr8  @<  Opt(5r8), qr8  $<  Opt(5r8))
(qr8  @<= Opt(5r8), qr8  $<= Opt(5r8))
(qr8  @>  Opt(5r8), qr8  $>  Opt(5r8))
(qr8  @>= Opt(5r8), qr8  $>= Opt(5r8))
(qr8 !@=  Opt(5r8), qr8 !$=  Opt(5r8))
(qr8 !@<  Opt(5r8), qr8 !$<  Opt(5r8))
(qr8 !@<= Opt(5r8), qr8 !$<= Opt(5r8))
(qr8 !@>  Opt(5r8), qr8 !$>  Opt(5r8))
(qr8 !@>= Opt(5r8), qr8 !$>= Opt(5r8))
(Null(3r8)  @=  r8, Null(3r8)  $=  r8)
(Null(3r8)  @<  r8, Null(3r8)  $<  r8)
(Null(3r8)  @<= r8, Null(3r8)  $<= r8)
(Null(3r8)  @>  r8, Null(3r8)  $>  r8)
(Null(3r8)  @>= r8, Null(3r8)  $>= r8)
(Null(3r8) !@=  r8, Null(3r8) !$=  r8)
(Null(3r8) !@<  r8, Null(3r8) !$<  r8)
(Null(3r8) !@<= r8, Null(3r8) !$<= r8)
(Null(3r8) !@>  r8, Null(3r8) !$>  r8)
(Null(3r8) !@>= r8, Null(3r8) !$>= r8)
(Null(3r8)  @=  5r8, Null(3r8)  $=  5r8)
(Null(3r8)  @<  5r8, Null(3r8)  $<  5r8)
(Null(3r8)  @<= 5r8, Null(3r8)  $<= 5r8)
(Null(3r8)  @>  5r8, Null(3r8)  $>  5r8)
(Null(3r8)  @>= 5r8, Null(3r8)  $>= 5r8)
(Null(3r8) !@=  5r8, Null(3r8) !$=  5r8)
(Null(3r8) !@<  5r8, Null(3r8) !$<  5r8)
(Null(3r8) !@<= 5r8, Null(3r8) !$<= 5r8)
(Null(3r8) !@>  5r8, Null(3r8) !$>  5r8)
(Null(3r8) !@>= 5r8, Null(3r8) !$>= 5r8)
(Null(3r8)  @=  0/0, Null(3r8)  $=  0/0)
(Null(3r8)  @<  0/0, Null(3r8)  $<  0/0)
(Null(3r8)  @<= 0/0, Null(3r8)  $<= 0/0)
(Null(3r8)  @>  0/0, Null(3r8)  $>  0/0)
(Null(3r8)  @>= 0/0, Null(3r8)  $>= 0/0)
(Null(3r8) !@=  0/0, Null(3r8) !$=  0/0)
(Null(3r8) !@<  0/0, Null(3r8) !$<  0/0)
(Null(3r8) !@<= 0/0, Null(3r8) !$<= 0/0)
(Null(3r8) !@>  0/0, Null(3r8) !$>  0/0)
(Null(3r8) !@>= 0/0, Null(3r8) !$>= 0/0)
(Null(3r8)  @=  1/0, Null(3r8)  $=  1/0)
(Null(3r8)  @<  1/0, Null(3r8)  $<  1/0)
(Null(3r8)  @<= 1/0, Null(3r8)  $<= 1/0)
(Null(3r8)  @>  1/0, Null(3r8)  $>  1/0)
(Null(3r8)  @>= 1/0, Null(3r8)  $>= 1/0)
(Null(3r8) !@=  1/0, Null(3r8) !$=  1/0)
(Null(3r8) !@<  1/0, Null(3r8) !$<  1/0)
(Null(3r8) !@<= 1/0, Null(3r8) !$<= 1/0)
(Null(3r8) !@>  1/0, Null(3r8) !$>  1/0)
(Null(3r8) !@>= 1/0, Null(3r8) !$>= 1/0)
(Null(3r8)  @=  -1/0, Null(3r8)  $=  -1/0)
(Null(3r8)  @<  -1/0, Null(3r8)  $<  -1/0)
(Null(3r8)  @<= -1/0, Null(3r8)  $<= -1/0)
(Null(3r8)  @>  -1/0, Null(3r8)  $>  -1/0)
(Null(3r8)  @>= -1/0, Null(3r8)  $>= -1/0)
(Null(3r8) !@=  -1/0, Null(3r8) !$=  -1/0)
(Null(3r8) !@<  -1/0, Null(3r8) !$<  -1/0)
(Null(3r8) !@<= -1/0, Null(3r8) !$<= -1/0)
(Null(3r8) !@>  -1/0, Null(3r8) !$>  -1/0)
(Null(3r8) !@>= -1/0, Null(3r8) !$>= -1/0)
(Null(3r8)  @=  qr8, Null(3r8)  $=  qr8)
(Null(3r8)  @<  qr8, Null(3r8)  $<  qr8)
(Null(3r8)  @<= qr8, Null(3r8)  $<= qr8)
(Null(3r8)  @>  qr8, Null(3r8)  $>  qr8)
(Null(3r8)  @>= qr8, Null(3r8)  $>= qr8)
(Null(3r8) !@=  qr8, Null(3r8) !$=  qr8)
(Null(3r8) !@<  qr8, Null(3r8) !$<  qr8)
(Null(3r8) !@<= qr8, Null(3r8) !$<= qr8)
(Null(3r8) !@>  qr8, Null(3r8) !$>  qr8)
(Null(3r8) !@>= qr8, Null(3r8) !$>= qr8)
(Null(3r8)  @=  Null(5r8), Null(3r8)  $=  Null(5r8))
(Null(3r8)  @<  Null(5r8), Null(3r8)  $<  Null(5r8))
(Null(3r8)  @<= Null(5r8), Null(3r8)  $<= Null(5r8))
(Null(3r8)  @>  Null(5r8), Null(3r8)  $>  Null(5r8))
(Null(3r8)  @>= Null(5r8), Null(3r8)  $>= Null(5r8))
(Null(3r8) !@=  Null(5r8), Null(3r8) !$=  Null(5r8))
(Null(3r8) !@<  Null(5r8), Null(3r8) !$<  Null(5r8))
(Null(3r8) !@<= Null(5r8), Null(3r8) !$<= Null(5r8))
(Null(3r8) !@>  Null(5r8), Null(3r8) !$>  Null(5r8))
(Null(3r8) !@>= Null(5r8), Null(3r8) !$>= Null(5r8))
(Null(3r8)  @=  Opt(5r8), Null(3r8)  $=  Opt(5r8))
(Null(3r8)  @<  Opt(5r8), Null(3r8)  $<  Opt(5r8))
(Null(3r8)  @<= Opt(5r8), Null(3r8)  $<= Opt(5r8))
(Null(3r8)  @>  Opt(5r8), Null(3r8)  $>  Opt(5r8))
(Null(3r8)  @>= Opt(5r8), Null(3r8)  $>= Opt(5r8))
(Null(3r8) !@=  Opt(5r8), Null(3r8) !$=  Opt(5r8))
(Null(3r8) !@<  Opt(5r8), Null(3r8) !$<  Opt(5r8))
(Null(3r8) !@<= Opt(5r8), Null(3r8) !$<= Opt(5r8))
(Null(3r8) !@>  Opt(5r8), Null(3r8) !$>  Opt(5r8))
(Null(3r8) !@>= Opt(5r8), Null(3r8) !$>= Opt(5r8))
(Opt(3r8)  @=  r8, Opt(3r8)  $=  r8)
(Opt(3r8)  @<  r8, Opt(3r8)  $<  r8)
(Opt(3r8)  @<= r8, Opt(3r8)  $<= r8)
(Opt(3r8)  @>  r8, Opt(3r8)  $>  r8)
(Opt(3r8)  @>= r8, Opt(3r8)  $>= r8)
(Opt(3r8) !@=  r8, Opt(3r8) !$=  r8)
(Opt(3r8) !@<  r8, Opt(3r8) !$<  r8)
(Opt(3r8) !@<= r8, Opt(3r8) !$<= r8)
(Opt(3r8) !@>  r8, Opt(3r8) !$>  r8)
(Opt(3r8) !@>= r8, Opt(3r8) !$>= r8)
(Opt(3r8)  @=  5r8, Opt(3r8)  $=  5r8)
(Opt(3r8)  @<  5r8, Opt(3r8)  $<  5r8)
(Opt(3r8)  @<= 5r8, Opt(3r8)  $<= 5r8)
(Opt(3r8)  @>  5r8, Opt(3r8)  $>  5r8)
(Opt(3r8)  @>= 5r8, Opt(3r8)  $>= 5r8)
(Opt(3r8) !@=  5r8, Opt(3r8) !$=  5r8)
(Opt(3r8) !@<  5r8, Opt(3r8) !$<  5r8)
(Opt(3r8) !@<= 5r8, Opt(3r8) !$<= 5r8)
(Opt(3r8) !@>  5r8, Opt(3r8) !$>  5r8)
(Opt(3r8) !@>= 5r8, Opt(3r8) !$>= 5r8)
(Opt(3r8)  @=  0/0, Opt(3r8)  $=  0/0)
(Opt(3r8)  @<  0/0, Opt(3r8)  $<  0/0)
(Opt(3r8)  @<= 0/0, Opt(3r8)  $<= 0/0)
(Opt(3r8)  @>  0/0, Opt(3r8)  $>  0/0)
(Opt(3r8)  @>= 0/0, Opt(3r8)  $>= 0/0)
(Opt(3r8) !@=  0/0, Opt(3r8) !$=  0/0)
(Opt(3r8) !@<  0/0, Opt(3r8) !$<  0/0)
(Opt(3r8) !@<= 0/0, Opt(3r8) !$<= 0/0)
(Opt(3r8) !@>  0/0, Opt(3r8) !$>  0/0)
(Opt(3r8) !@>= 0/0, Opt(3r8) !$>= 0/0)
(Opt(3r8)  @=  1/0, Opt(3r8)  $=  1/0)
(Opt(3r8)  @<  1/0, Opt(3r8)  $<  1/0)
(Opt(3r8)  @<= 1/0, Opt(3r8)  $<= 1/0)
(Opt(3r8)  @>  1/0, Opt(3r8)  $>  1/0)
(Opt(3r8)  @>= 1/0, Opt(3r8)  $>= 1/0)
(Opt(3r8) !@=  1/0, Opt(3r8) !$=  1/0)
(Opt(3r8) !@<  1/0, Opt(3r8) !$<  1/0)
(Opt(3r8) !@<= 1/0, Opt(3r8) !$<= 1/0)
(Opt(3r8) !@>  1/0, Opt(3r8) !$>  1/0)
(Opt(3r8) !@>= 1/0, Opt(3r8) !$>= 1/0)
(Opt(3r8)  @=  -1/0, Opt(3r8)  $=  -1/0)
(Opt(3r8)  @<  -1/0, Opt(3r8)  $<  -1/0)
(Opt(3r8)  @<= -1/0, Opt(3r8)  $<= -1/0)
(Opt(3r8)  @>  -1/0, Opt(3r8)  $>  -1/0)
(Opt(3r8)  @>= -1/0, Opt(3r8)  $>= -1/0)
(Opt(3r8) !@=  -1/0, Opt(3r8) !$=  -1/0)
(Opt(3r8) !@<  -1/0, Opt(3r8) !$<  -1/0)
(Opt(3r8) !@<= -1/0, Opt(3r8) !$<= -1/0)
(Opt(3r8) !@>  -1/0, Opt(3r8) !$>  -1/0)
(Opt(3r8) !@>= -1/0, Opt(3r8) !$>= -1/0)
(Opt(3r8)  @=  qr8, Opt(3r8)  $=  qr8)
(Opt(3r8)  @<  qr8, Opt(3r8)  $<  qr8)
(Opt(3r8)  @<= qr8, Opt(3r8)  $<= qr8)
(Opt(3r8)  @>  qr8, Opt(3r8)  $>  qr8)
(Opt(3r8)  @>= qr8, Opt(3r8)  $>= qr8)
(Opt(3r8) !@=  qr8, Opt(3r8) !$=  qr8)
(Opt(3r8) !@<  qr8, Opt(3r8) !$<  qr8)
(Opt(3r8) !@<= qr8, Opt(3r8) !$<= qr8)
(Opt(3r8) !@>  qr8, Opt(3r8) !$>  qr8)
(Opt(3r8) !@>= qr8, Opt(3r8) !$>= qr8)
(Opt(3r8)  @=  Null(5r8), Opt(3r8)  $=  Null(5r8))
(Opt(3r8)  @<  Null(5r8), Opt(3r8)  $<  Null(5r8))
(Opt(3r8)  @<= Null(5r8), Opt(3r8)  $<= Null(5r8))
(Opt(3r8)  @>  Null(5r8), Opt(3r8)  $>  Null(5r8))
(Opt(3r8)  @>= Null(5r8), Opt(3r8)  $>= Null(5r8))
(Opt(3r8) !@=  Null(5r8), Opt(3r8) !$=  Null(5r8))
(Opt(3r8) !@<  Null(5r8), Opt(3r8) !$<  Null(5r8))
(Opt(3r8) !@<= Null(5r8), Opt(3r8) !$<= Null(5r8))
(Opt(3r8) !@>  Null(5r8), Opt(3r8) !$>  Null(5r8))
(Opt(3r8) !@>= Null(5r8), Opt(3r8) !$>= Null(5r8))
(Opt(3r8)  @=  Opt(5r8), Opt(3r8)  $=  Opt(5r8))
(Opt(3r8)  @<  Opt(5r8), Opt(3r8)  $<  Opt(5r8))
(Opt(3r8)  @<= Opt(5r8), Opt(3r8)  $<= Opt(5r8))
(Opt(3r8)  @>  Opt(5r8), Opt(3r8)  $>  Opt(5r8))
(Opt(3r8)  @>= Opt(5r8), Opt(3r8)  $>= Opt(5r8))
(Opt(3r8) !@=  Opt(5r8), Opt(3r8) !$=  Opt(5r8))
(Opt(3r8) !@<  Opt(5r8), Opt(3r8) !$<  Opt(5r8))
(Opt(3r8) !@<= Opt(5r8), Opt(3r8) !$<= Opt(5r8))
(Opt(3r8) !@>  Opt(5r8), Opt(3r8) !$>  Opt(5r8))
(Opt(3r8) !@>= Opt(5r8), Opt(3r8) !$>= Opt(5r8))

(r4  @=  r4, r4  $=  r4)
(r4  @<  r4, r4  $<  r4)
(r4  @<= r4, r4  $<= r4)
(r4  @>  r4, r4  $>  r4)
(r4  @>= r4, r4  $>= r4)
(r4 !@=  r4, r4 !$=  r4)
(r4 !@<  r4, r4 !$<  r4)
(r4 !@<= r4, r4 !$<= r4)
(r4 !@>  r4, r4 !$>  r4)
(r4 !@>= r4, r4 !$>= r4)
(r4  @=  5r4, r4  $=  5r4)
(r4  @<  5r4, r4  $<  5r4)
(r4  @<= 5r4, r4  $<= 5r4)
(r4  @>  5r4, r4  $>  5r4)
(r4  @>= 5r4, r4  $>= 5r4)
(r4 !@=  5r4, r4 !$=  5r4)
(r4 !@<  5r4, r4 !$<  5r4)
(r4 !@<= 5r4, r4 !$<= 5r4)
(r4 !@>  5r4, r4 !$>  5r4)
(r4 !@>= 5r4, r4 !$>= 5r4)
(r4  @=  CastR4(0/0), r4  $=  CastR4(0/0))
(r4  @<  CastR4(0/0), r4  $<  CastR4(0/0))
(r4  @<= CastR4(0/0), r4  $<= CastR4(0/0))
(r4  @>  CastR4(0/0), r4  $>  CastR4(0/0))
(r4  @>= CastR4(0/0), r4  $>= CastR4(0/0))
(r4 !@=  CastR4(0/0), r4 !$=  CastR4(0/0))
(r4 !@<  CastR4(0/0), r4 !$<  CastR4(0/0))
(r4 !@<= CastR4(0/0), r4 !$<= CastR4(0/0))
(r4 !@>  CastR4(0/0), r4 !$>  CastR4(0/0))
(r4 !@>= CastR4(0/0), r4 !$>= CastR4(0/0))
(r4  @=  CastR4(1/0), r4  $=  CastR4(1/0))
(r4  @<  CastR4(1/0), r4  $<  CastR4(1/0))
(r4  @<= CastR4(1/0), r4  $<= CastR4(1/0))
(r4  @>  CastR4(1/0), r4  $>  CastR4(1/0))
(r4  @>= CastR4(1/0), r4  $>= CastR4(1/0))
(r4 !@=  CastR4(1/0), r4 !$=  CastR4(1/0))
(r4 !@<  CastR4(1/0), r4 !$<  CastR4(1/0))
(r4 !@<= CastR4(1/0), r4 !$<= CastR4(1/0))
(r4 !@>  CastR4(1/0), r4 !$>  CastR4(1/0))
(r4 !@>= CastR4(1/0), r4 !$>= CastR4(1/0))
(r4  @=  CastR4(-1/0), r4  $=  CastR4(-1/0))
(r4  @<  CastR4(-1/0), r4  $<  CastR4(-1/0))
(r4  @<= CastR4(-1/0), r4  $<= CastR4(-1/0))
(r4  @>  CastR4(-1/0), r4  $>  CastR4(-1/0))
(r4  @>= CastR4(-1/0), r4  $>= CastR4(-1/0))
(r4 !@=  CastR4(-1/0), r4 !$=  CastR4(-1/0))
(r4 !@<  CastR4(-1/0), r4 !$<  CastR4(-1/0))
(r4 !@<= CastR4(-1/0), r4 !$<= CastR4(-1/0))
(r4 !@>  CastR4(-1/0), r4 !$>  CastR4(-1/0))
(r4 !@>= CastR4(-1/0), r4 !$>= CastR4(-1/0))
(r4  @=  qr4, r4  $=  qr4)
(r4  @<  qr4, r4  $<  qr4)
(r4  @<= qr4, r4  $<= qr4)
(r4  @>  qr4, r4  $>  qr4)
(r4  @>= qr4, r4  $>= qr4)
(r4 !@=  qr4, r4 !$=  qr4)
(r4 !@<  qr4, r4 !$<  qr4)
(r4 !@<= qr4, r4 !$<= qr4)
(r4 !@>  qr4, r4 !$>  qr4)
(r4 !@>= qr4, r4 !$>= qr4)
(r4  @=  Null(5r4), r4  $=  Null(5r4))
(r4  @<  Null(5r4), r4  $<  Null(5r4))
(r4  @<= Null(5r4), r4  $<= Null(5r4))
(r4  @>  Null(5r4), r4  $>  Null(5r4))
(r4  @>= Null(5r4), r4  $>= Null(5r4))
(r4 !@=  Null(5r4), r4 !$=  Null(5r4))
(r4 !@<  Null(5r4), r4 !$<  Null(5r4))
(r4 !@<= Null(5r4), r4 !$<= Null(5r4))
(r4 !@>  Null(5r4), r4 !$>  Null(5r4))
(r4 !@>= Null(5r4), r4 !$>= Null(5r4))
(r4  @=  Opt(5r4), r4  $=  Opt(5r4))
(r4  @<  Opt(5r4), r4  $<  Opt(5r4))
(r4  @<= Opt(5r4), r4  $<= Opt(5r4))
(r4  @>  Opt(5r4), r4  $>  Opt(5r4))
(r4  @>= Opt(5r4), r4  $>= Opt(5r4))
(r4 !@=  Opt(5r4), r4 !$=  Opt(5r4))
(r4 !@<  Opt(5r4), r4 !$<  Opt(5r4))
(r4 !@<= Opt(5r4), r4 !$<= Opt(5r4))
(r4 !@>  Opt(5r4), r4 !$>  Opt(5r4))
(r4 !@>= Opt(5r4), r4 !$>= Opt(5r4))
(3r4  @=  r4, 3r4  $=  r4)
(3r4  @<  r4, 3r4  $<  r4)
(3r4  @<= r4, 3r4  $<= r4)
(3r4  @>  r4, 3r4  $>  r4)
(3r4  @>= r4, 3r4  $>= r4)
(3r4 !@=  r4, 3r4 !$=  r4)
(3r4 !@<  r4, 3r4 !$<  r4)
(3r4 !@<= r4, 3r4 !$<= r4)
(3r4 !@>  r4, 3r4 !$>  r4)
(3r4 !@>= r4, 3r4 !$>= r4)
(3r4  @=  5r4, 3r4  $=  5r4)
(3r4  @<  5r4, 3r4  $<  5r4)
(3r4  @<= 5r4, 3r4  $<= 5r4)
(3r4  @>  5r4, 3r4  $>  5r4)
(3r4  @>= 5r4, 3r4  $>= 5r4)
(3r4 !@=  5r4, 3r4 !$=  5r4)
(3r4 !@<  5r4, 3r4 !$<  5r4)
(3r4 !@<= 5r4, 3r4 !$<= 5r4)
(3r4 !@>  5r4, 3r4 !$>  5r4)
(3r4 !@>= 5r4, 3r4 !$>= 5r4)
(3r4  @=  CastR4(0/0), 3r4  $=  CastR4(0/0))
(3r4  @<  CastR4(0/0), 3r4  $<  CastR4(0/0))
(3r4  @<= CastR4(0/0), 3r4  $<= CastR4(0/0))
(3r4  @>  CastR4(0/0), 3r4  $>  CastR4(0/0))
(3r4  @>= CastR4(0/0), 3r4  $>= CastR4(0/0))
(3r4 !@=  CastR4(0/0), 3r4 !$=  CastR4(0/0))
(3r4 !@<  CastR4(0/0), 3r4 !$<  CastR4(0/0))
(3r4 !@<= CastR4(0/0), 3r4 !$<= CastR4(0/0))
(3r4 !@>  CastR4(0/0), 3r4 !$>  CastR4(0/0))
(3r4 !@>= CastR4(0/0), 3r4 !$>= CastR4(0/0))
(3r4  @=  CastR4(1/0), 3r4  $=  CastR4(1/0))
(3r4  @<  CastR4(1/0), 3r4  $<  CastR4(1/0))
(3r4  @<= CastR4(1/0), 3r4  $<= CastR4(1/0))
(3r4  @>  CastR4(1/0), 3r4  $>  CastR4(1/0))
(3r4  @>= CastR4(1/0), 3r4  $>= CastR4(1/0))
(3r4 !@=  CastR4(1/0), 3r4 !$=  CastR4(1/0))
(3r4 !@<  CastR4(1/0), 3r4 !$<  CastR4(1/0))
(3r4 !@<= CastR4(1/0), 3r4 !$<= CastR4(1/0))
(3r4 !@>  CastR4(1/0), 3r4 !$>  CastR4(1/0))
(3r4 !@>= CastR4(1/0), 3r4 !$>= CastR4(1/0))
(3r4  @=  CastR4(-1/0), 3r4  $=  CastR4(-1/0))
(3r4  @<  CastR4(-1/0), 3r4  $<  CastR4(-1/0))
(3r4  @<= CastR4(-1/0), 3r4  $<= CastR4(-1/0))
(3r4  @>  CastR4(-1/0), 3r4  $>  CastR4(-1/0))
(3r4  @>= CastR4(-1/0), 3r4  $>= CastR4(-1/0))
(3r4 !@=  CastR4(-1/0), 3r4 !$=  CastR4(-1/0))
(3r4 !@<  CastR4(-1/0), 3r4 !$<  CastR4(-1/0))
(3r4 !@<= CastR4(-1/0), 3r4 !$<= CastR4(-1/0))
(3r4 !@>  CastR4(-1/0), 3r4 !$>  CastR4(-1/0))
(3r4 !@>= CastR4(-1/0), 3r4 !$>= CastR4(-1/0))
(3r4  @=  qr4, 3r4  $=  qr4)
(3r4  @<  qr4, 3r4  $<  qr4)
(3r4  @<= qr4, 3r4  $<= qr4)
(3r4  @>  qr4, 3r4  $>  qr4)
(3r4  @>= qr4, 3r4  $>= qr4)
(3r4 !@=  qr4, 3r4 !$=  qr4)
(3r4 !@<  qr4, 3r4 !$<  qr4)
(3r4 !@<= qr4, 3r4 !$<= qr4)
(3r4 !@>  qr4, 3r4 !$>  qr4)
(3r4 !@>= qr4, 3r4 !$>= qr4)
(3r4  @=  Null(5r4), 3r4  $=  Null(5r4))
(3r4  @<  Null(5r4), 3r4  $<  Null(5r4))
(3r4  @<= Null(5r4), 3r4  $<= Null(5r4))
(3r4  @>  Null(5r4), 3r4  $>  Null(5r4))
(3r4  @>= Null(5r4), 3r4  $>= Null(5r4))
(3r4 !@=  Null(5r4), 3r4 !$=  Null(5r4))
(3r4 !@<  Null(5r4), 3r4 !$<  Null(5r4))
(3r4 !@<= Null(5r4), 3r4 !$<= Null(5r4))
(3r4 !@>  Null(5r4), 3r4 !$>  Null(5r4))
(3r4 !@>= Null(5r4), 3r4 !$>= Null(5r4))
(3r4  @=  Opt(5r4), 3r4  $=  Opt(5r4))
(3r4  @<  Opt(5r4), 3r4  $<  Opt(5r4))
(3r4  @<= Opt(5r4), 3r4  $<= Opt(5r4))
(3r4  @>  Opt(5r4), 3r4  $>  Opt(5r4))
(3r4  @>= Opt(5r4), 3r4  $>= Opt(5r4))
(3r4 !@=  Opt(5r4), 3r4 !$=  Opt(5r4))
(3r4 !@<  Opt(5r4), 3r4 !$<  Opt(5r4))
(3r4 !@<= Opt(5r4), 3r4 !$<= Opt(5r4))
(3r4 !@>  Opt(5r4), 3r4 !$>  Opt(5r4))
(3r4 !@>= Opt(5r4), 3r4 !$>= Opt(5r4))
(CastR4(0/0)  @=  r4, CastR4(0/0)  $=  r4)
(CastR4(0/0)  @<  r4, CastR4(0/0)  $<  r4)
(CastR4(0/0)  @<= r4, CastR4(0/0)  $<= r4)
(CastR4(0/0)  @>  r4, CastR4(0/0)  $>  r4)
(CastR4(0/0)  @>= r4, CastR4(0/0)  $>= r4)
(CastR4(0/0) !@=  r4, CastR4(0/0) !$=  r4)
(CastR4(0/0) !@<  r4, CastR4(0/0) !$<  r4)
(CastR4(0/0) !@<= r4, CastR4(0/0) !$<= r4)
(CastR4(0/0) !@>  r4, CastR4(0/0) !$>  r4)
(CastR4(0/0) !@>= r4, CastR4(0/0) !$>= r4)
(CastR4(0/0)  @=  5r4, CastR4(0/0)  $=  5r4)
(CastR4(0/0)  @<  5r4, CastR4(0/0)  $<  5r4)
(CastR4(0/0)  @<= 5r4, CastR4(0/0)  $<= 5r4)
(CastR4(0/0)  @>  5r4, CastR4(0/0)  $>  5r4)
(CastR4(0/0)  @>= 5r4, CastR4(0/0)  $>= 5r4)
(CastR4(0/0) !@=  5r4, CastR4(0/0) !$=  5r4)
(CastR4(0/0) !@<  5r4, CastR4(0/0) !$<  5r4)
(CastR4(0/0) !@<= 5r4, CastR4(0/0) !$<= 5r4)
(CastR4(0/0) !@>  5r4, CastR4(0/0) !$>  5r4)
(CastR4(0/0) !@>= 5r4, CastR4(0/0) !$>= 5r4)
(CastR4(0/0)  @=  CastR4(0/0), CastR4(0/0)  $=  CastR4(0/0))
(CastR4(0/0)  @<  CastR4(0/0), CastR4(0/0)  $<  CastR4(0/0))
(CastR4(0/0)  @<= CastR4(0/0), CastR4(0/0)  $<= CastR4(0/0))
(CastR4(0/0)  @>  CastR4(0/0), CastR4(0/0)  $>  CastR4(0/0))
(CastR4(0/0)  @>= CastR4(0/0), CastR4(0/0)  $>= CastR4(0/0))
(CastR4(0/0) !@=  CastR4(0/0), CastR4(0/0) !$=  CastR4(0/0))
(CastR4(0/0) !@<  CastR4(0/0), CastR4(0/0) !$<  CastR4(0/0))
(CastR4(0/0) !@<= CastR4(0/0), CastR4(0/0) !$<= CastR4(0/0))
(CastR4(0/0) !@>  CastR4(0/0), CastR4(0/0) !$>  CastR4(0/0))
(CastR4(0/0) !@>= CastR4(0/0), CastR4(0/0) !$>= CastR4(0/0))
(CastR4(0/0)  @=  CastR4(1/0), CastR4(0/0)  $=  CastR4(1/0))
(CastR4(0/0)  @<  CastR4(1/0), CastR4(0/0)  $<  CastR4(1/0))
(CastR4(0/0)  @<= CastR4(1/0), CastR4(0/0)  $<= CastR4(1/0))
(CastR4(0/0)  @>  CastR4(1/0), CastR4(0/0)  $>  CastR4(1/0))
(CastR4(0/0)  @>= CastR4(1/0), CastR4(0/0)  $>= CastR4(1/0))
(CastR4(0/0) !@=  CastR4(1/0), CastR4(0/0) !$=  CastR4(1/0))
(CastR4(0/0) !@<  CastR4(1/0), CastR4(0/0) !$<  CastR4(1/0))
(CastR4(0/0) !@<= CastR4(1/0), CastR4(0/0) !$<= CastR4(1/0))
(CastR4(0/0) !@>  CastR4(1/0), CastR4(0/0) !$>  CastR4(1/0))
(CastR4(0/0) !@>= CastR4(1/0), CastR4(0/0) !$>= CastR4(1/0))
(CastR4(0/0)  @=  CastR4(-1/0), CastR4(0/0)  $=  CastR4(-1/0))
(CastR4(0/0)  @<  CastR4(-1/0), CastR4(0/0)  $<  CastR4(-1/0))
(CastR4(0/0)  @<= CastR4(-1/0), CastR4(0/0)  $<= CastR4(-1/0))
(CastR4(0/0)  @>  CastR4(-1/0), CastR4(0/0)  $>  CastR4(-1/0))
(CastR4(0/0)  @>= CastR4(-1/0), CastR4(0/0)  $>= CastR4(-1/0))
(CastR4(0/0) !@=  CastR4(-1/0), CastR4(0/0) !$=  CastR4(-1/0))
(CastR4(0/0) !@<  CastR4(-1/0), CastR4(0/0) !$<  CastR4(-1/0))
(CastR4(0/0) !@<= CastR4(-1/0), CastR4(0/0) !$<= CastR4(-1/0))
(CastR4(0/0) !@>  CastR4(-1/0), CastR4(0/0) !$>  CastR4(-1/0))
(CastR4(0/0) !@>= CastR4(-1/0), CastR4(0/0) !$>= CastR4(-1/0))
(CastR4(0/0)  @=  qr4, CastR4(0/0)  $=  qr4)
(CastR4(0/0)  @<  qr4, CastR4(0/0)  $<  qr4)
(CastR4(0/0)  @<= qr4, CastR4(0/0)  $<= qr4)
(CastR4(0/0)  @>  qr4, CastR4(0/0)  $>  qr4)
(CastR4(0/0)  @>= qr4, CastR4(0/0)  $>= qr4)
(CastR4(0/0) !@=  qr4, CastR4(0/0) !$=  qr4)
(CastR4(0/0) !@<  qr4, CastR4(0/0) !$<  qr4)
(CastR4(0/0) !@<= qr4, CastR4(0/0) !$<= qr4)
(CastR4(0/0) !@>  qr4, CastR4(0/0) !$>  qr4)
(CastR4(0/0) !@>= qr4, CastR4(0/0) !$>= qr4)
(CastR4(0/0)  @=  Null(5r4), CastR4(0/0)  $=  Null(5r4))
(CastR4(0/0)  @<  Null(5r4), CastR4(0/0)  $<  Null(5r4))
(CastR4(0/0)  @<= Null(5r4), CastR4(0/0)  $<= Null(5r4))
(CastR4(0/0)  @>  Null(5r4), CastR4(0/0)  $>  Null(5r4))
(CastR4(0/0)  @>= Null(5r4), CastR4(0/0)  $>= Null(5r4))
(CastR4(0/0) !@=  Null(5r4), CastR4(0/0) !$=  Null(5r4))
(CastR4(0/0) !@<  Null(5r4), CastR4(0/0) !$<  Null(5r4))
(CastR4(0/0) !@<= Null(5r4), CastR4(0/0) !$<= Null(5r4))
(CastR4(0/0) !@>  Null(5r4), CastR4(0/0) !$>  Null(5r4))
(CastR4(0/0) !@>= Null(5r4), CastR4(0/0) !$>= Null(5r4))
(CastR4(0/0)  @=  Opt(5r4), CastR4(0/0)  $=  Opt(5r4))
(CastR4(0/0)  @<  Opt(5r4), CastR4(0/0)  $<  Opt(5r4))
(CastR4(0/0)  @<= Opt(5r4), CastR4(0/0)  $<= Opt(5r4))
(CastR4(0/0)  @>  Opt(5r4), CastR4(0/0)  $>  Opt(5r4))
(CastR4(0/0)  @>= Opt(5r4), CastR4(0/0)  $>= Opt(5r4))
(CastR4(0/0) !@=  Opt(5r4), CastR4(0/0) !$=  Opt(5r4))
(CastR4(0/0) !@<  Opt(5r4), CastR4(0/0) !$<  Opt(5r4))
(CastR4(0/0) !@<= Opt(5r4), CastR4(0/0) !$<= Opt(5r4))
(CastR4(0/0) !@>  Opt(5r4), CastR4(0/0) !$>  Opt(5r4))
(CastR4(0/0) !@>= Opt(5r4), CastR4(0/0) !$>= Opt(5r4))
(CastR4(1/0)  @=  r4, CastR4(1/0)  $=  r4)
(CastR4(1/0)  @<  r4, CastR4(1/0)  $<  r4)
(CastR4(1/0)  @<= r4, CastR4(1/0)  $<= r4)
(CastR4(1/0)  @>  r4, CastR4(1/0)  $>  r4)
(CastR4(1/0)  @>= r4, CastR4(1/0)  $>= r4)
(CastR4(1/0) !@=  r4, CastR4(1/0) !$=  r4)
(CastR4(1/0) !@<  r4, CastR4(1/0) !$<  r4)
(CastR4(1/0) !@<= r4, CastR4(1/0) !$<= r4)
(CastR4(1/0) !@>  r4, CastR4(1/0) !$>  r4)
(CastR4(1/0) !@>= r4, CastR4(1/0) !$>= r4)
(CastR4(1/0)  @=  5r4, CastR4(1/0)  $=  5r4)
(CastR4(1/0)  @<  5r4, CastR4(1/0)  $<  5r4)
(CastR4(1/0)  @<= 5r4, CastR4(1/0)  $<= 5r4)
(CastR4(1/0)  @>  5r4, CastR4(1/0)  $>  5r4)
(CastR4(1/0)  @>= 5r4, CastR4(1/0)  $>= 5r4)
(CastR4(1/0) !@=  5r4, CastR4(1/0) !$=  5r4)
(CastR4(1/0) !@<  5r4, CastR4(1/0) !$<  5r4)
(CastR4(1/0) !@<= 5r4, CastR4(1/0) !$<= 5r4)
(CastR4(1/0) !@>  5r4, CastR4(1/0) !$>  5r4)
(CastR4(1/0) !@>= 5r4, CastR4(1/0) !$>= 5r4)
(CastR4(1/0)  @=  CastR4(0/0), CastR4(1/0)  $=  CastR4(0/0))
(CastR4(1/0)  @<  CastR4(0/0), CastR4(1/0)  $<  CastR4(0/0))
(CastR4(1/0)  @<= CastR4(0/0), CastR4(1/0)  $<= CastR4(0/0))
(CastR4(1/0)  @>  CastR4(0/0), CastR4(1/0)  $>  CastR4(0/0))
(CastR4(1/0)  @>= CastR4(0/0), CastR4(1/0)  $>= CastR4(0/0))
(CastR4(1/0) !@=  CastR4(0/0), CastR4(1/0) !$=  CastR4(0/0))
(CastR4(1/0) !@<  CastR4(0/0), CastR4(1/0) !$<  CastR4(0/0))
(CastR4(1/0) !@<= CastR4(0/0), CastR4(1/0) !$<= CastR4(0/0))
(CastR4(1/0) !@>  CastR4(0/0), CastR4(1/0) !$>  CastR4(0/0))
(CastR4(1/0) !@>= CastR4(0/0), CastR4(1/0) !$>= CastR4(0/0))
(CastR4(1/0)  @=  CastR4(1/0), CastR4(1/0)  $=  CastR4(1/0))
(CastR4(1/0)  @<  CastR4(1/0), CastR4(1/0)  $<  CastR4(1/0))
(CastR4(1/0)  @<= CastR4(1/0), CastR4(1/0)  $<= CastR4(1/0))
(CastR4(1/0)  @>  CastR4(1/0), CastR4(1/0)  $>  CastR4(1/0))
(CastR4(1/0)  @>= CastR4(1/0), CastR4(1/0)  $>= CastR4(1/0))
(CastR4(1/0) !@=  CastR4(1/0), CastR4(1/0) !$=  CastR4(1/0))
(CastR4(1/0) !@<  CastR4(1/0), CastR4(1/0) !$<  CastR4(1/0))
(CastR4(1/0) !@<= CastR4(1/0), CastR4(1/0) !$<= CastR4(1/0))
(CastR4(1/0) !@>  CastR4(1/0), CastR4(1/0) !$>  CastR4(1/0))
(CastR4(1/0) !@>= CastR4(1/0), CastR4(1/0) !$>= CastR4(1/0))
(CastR4(1/0)  @=  CastR4(-1/0), CastR4(1/0)  $=  CastR4(-1/0))
(CastR4(1/0)  @<  CastR4(-1/0), CastR4(1/0)  $<  CastR4(-1/0))
(CastR4(1/0)  @<= CastR4(-1/0), CastR4(1/0)  $<= CastR4(-1/0))
(CastR4(1/0)  @>  CastR4(-1/0), CastR4(1/0)  $>  CastR4(-1/0))
(CastR4(1/0)  @>= CastR4(-1/0), CastR4(1/0)  $>= CastR4(-1/0))
(CastR4(1/0) !@=  CastR4(-1/0), CastR4(1/0) !$=  CastR4(-1/0))
(CastR4(1/0) !@<  CastR4(-1/0), CastR4(1/0) !$<  CastR4(-1/0))
(CastR4(1/0) !@<= CastR4(-1/0), CastR4(1/0) !$<= CastR4(-1/0))
(CastR4(1/0) !@>  CastR4(-1/0), CastR4(1/0) !$>  CastR4(-1/0))
(CastR4(1/0) !@>= CastR4(-1/0), CastR4(1/0) !$>= CastR4(-1/0))
(CastR4(1/0)  @=  qr4, CastR4(1/0)  $=  qr4)
(CastR4(1/0)  @<  qr4, CastR4(1/0)  $<  qr4)
(CastR4(1/0)  @<= qr4, CastR4(1/0)  $<= qr4)
(CastR4(1/0)  @>  qr4, CastR4(1/0)  $>  qr4)
(CastR4(1/0)  @>= qr4, CastR4(1/0)  $>= qr4)
(CastR4(1/0) !@=  qr4, CastR4(1/0) !$=  qr4)
(CastR4(1/0) !@<  qr4, CastR4(1/0) !$<  qr4)
(CastR4(1/0) !@<= qr4, CastR4(1/0) !$<= qr4)
(CastR4(1/0) !@>  qr4, CastR4(1/0) !$>  qr4)
(CastR4(1/0) !@>= qr4, CastR4(1/0) !$>= qr4)
(CastR4(1/0)  @=  Null(5r4), CastR4(1/0)  $=  Null(5r4))
(CastR4(1/0)  @<  Null(5r4), CastR4(1/0)  $<  Null(5r4))
(CastR4(1/0)  @<= Null(5r4), CastR4(1/0)  $<= Null(5r4))
(CastR4(1/0)  @>  Null(5r4), CastR4(1/0)  $>  Null(5r4))
(CastR4(1/0)  @>= Null(5r4), CastR4(1/0)  $>= Null(5r4))
(CastR4(1/0) !@=  Null(5r4), CastR4(1/0) !$=  Null(5r4))
(CastR4(1/0) !@<  Null(5r4), CastR4(1/0) !$<  Null(5r4))
(CastR4(1/0) !@<= Null(5r4), CastR4(1/0) !$<= Null(5r4))
(CastR4(1/0) !@>  Null(5r4), CastR4(1/0) !$>  Null(5r4))
(CastR4(1/0) !@>= Null(5r4), CastR4(1/0) !$>= Null(5r4))
(CastR4(1/0)  @=  Opt(5r4), CastR4(1/0)  $=  Opt(5r4))
(CastR4(1/0)  @<  Opt(5r4), CastR4(1/0)  $<  Opt(5r4))
(CastR4(1/0)  @<= Opt(5r4), CastR4(1/0)  $<= Opt(5r4))
(CastR4(1/0)  @>  Opt(5r4), CastR4(1/0)  $>  Opt(5r4))
(CastR4(1/0)  @>= Opt(5r4), CastR4(1/0)  $>= Opt(5r4))
(CastR4(1/0) !@=  Opt(5r4), CastR4(1/0) !$=  Opt(5r4))
(CastR4(1/0) !@<  Opt(5r4), CastR4(1/0) !$<  Opt(5r4))
(CastR4(1/0) !@<= Opt(5r4), CastR4(1/0) !$<= Opt(5r4))
(CastR4(1/0) !@>  Opt(5r4), CastR4(1/0) !$>  Opt(5r4))
(CastR4(1/0) !@>= Opt(5r4), CastR4(1/0) !$>= Opt(5r4))
(CastR4(-1/0)  @=  r4, CastR4(-1/0)  $=  r4)
(CastR4(-1/0)  @<  r4, CastR4(-1/0)  $<  r4)
(CastR4(-1/0)  @<= r4, CastR4(-1/0)  $<= r4)
(CastR4(-1/0)  @>  r4, CastR4(-1/0)  $>  r4)
(CastR4(-1/0)  @>= r4, CastR4(-1/0)  $>= r4)
(CastR4(-1/0) !@=  r4, CastR4(-1/0) !$=  r4)
(CastR4(-1/0) !@<  r4, CastR4(-1/0) !$<  r4)
(CastR4(-1/0) !@<= r4, CastR4(-1/0) !$<= r4)
(CastR4(-1/0) !@>  r4, CastR4(-1/0) !$>  r4)
(CastR4(-1/0) !@>= r4, CastR4(-1/0) !$>= r4)
(CastR4(-1/0)  @=  5r4, CastR4(-1/0)  $=  5r4)
(CastR4(-1/0)  @<  5r4, CastR4(-1/0)  $<  5r4)
(CastR4(-1/0)  @<= 5r4, CastR4(-1/0)  $<= 5r4)
(CastR4(-1/0)  @>  5r4, CastR4(-1/0)  $>  5r4)
(CastR4(-1/0)  @>= 5r4, CastR4(-1/0)  $>= 5r4)
(CastR4(-1/0) !@=  5r4, CastR4(-1/0) !$=  5r4)
(CastR4(-1/0) !@<  5r4, CastR4(-1/0) !$<  5r4)
(CastR4(-1/0) !@<= 5r4, CastR4(-1/0) !$<= 5r4)
(CastR4(-1/0) !@>  5r4, CastR4(-1/0) !$>  5r4)
(CastR4(-1/0) !@>= 5r4, CastR4(-1/0) !$>= 5r4)
(CastR4(-1/0)  @=  CastR4(0/0), CastR4(-1/0)  $=  CastR4(0/0))
(CastR4(-1/0)  @<  CastR4(0/0), CastR4(-1/0)  $<  CastR4(0/0))
(CastR4(-1/0)  @<= CastR4(0/0), CastR4(-1/0)  $<= CastR4(0/0))
(CastR4(-1/0)  @>  CastR4(0/0), CastR4(-1/0)  $>  CastR4(0/0))
(CastR4(-1/0)  @>= CastR4(0/0), CastR4(-1/0)  $>= CastR4(0/0))
(CastR4(-1/0) !@=  CastR4(0/0), CastR4(-1/0) !$=  CastR4(0/0))
(CastR4(-1/0) !@<  CastR4(0/0), CastR4(-1/0) !$<  CastR4(0/0))
(CastR4(-1/0) !@<= CastR4(0/0), CastR4(-1/0) !$<= CastR4(0/0))
(CastR4(-1/0) !@>  CastR4(0/0), CastR4(-1/0) !$>  CastR4(0/0))
(CastR4(-1/0) !@>= CastR4(0/0), CastR4(-1/0) !$>= CastR4(0/0))
(CastR4(-1/0)  @=  CastR4(1/0), CastR4(-1/0)  $=  CastR4(1/0))
(CastR4(-1/0)  @<  CastR4(1/0), CastR4(-1/0)  $<  CastR4(1/0))
(CastR4(-1/0)  @<= CastR4(1/0), CastR4(-1/0)  $<= CastR4(1/0))
(CastR4(-1/0)  @>  CastR4(1/0), CastR4(-1/0)  $>  CastR4(1/0))
(CastR4(-1/0)  @>= CastR4(1/0), CastR4(-1/0)  $>= CastR4(1/0))
(CastR4(-1/0) !@=  CastR4(1/0), CastR4(-1/0) !$=  CastR4(1/0))
(CastR4(-1/0) !@<  CastR4(1/0), CastR4(-1/0) !$<  CastR4(1/0))
(CastR4(-1/0) !@<= CastR4(1/0), CastR4(-1/0) !$<= CastR4(1/0))
(CastR4(-1/0) !@>  CastR4(1/0), CastR4(-1/0) !$>  CastR4(1/0))
(CastR4(-1/0) !@>= CastR4(1/0), CastR4(-1/0) !$>= CastR4(1/0))
(CastR4(-1/0)  @=  CastR4(-1/0), CastR4(-1/0)  $=  CastR4(-1/0))
(CastR4(-1/0)  @<  CastR4(-1/0), CastR4(-1/0)  $<  CastR4(-1/0))
(CastR4(-1/0)  @<= CastR4(-1/0), CastR4(-1/0)  $<= CastR4(-1/0))
(CastR4(-1/0)  @>  CastR4(-1/0), CastR4(-1/0)  $>  CastR4(-1/0))
(CastR4(-1/0)  @>= CastR4(-1/0), CastR4(-1/0)  $>= CastR4(-1/0))
(CastR4(-1/0) !@=  CastR4(-1/0), CastR4(-1/0) !$=  CastR4(-1/0))
(CastR4(-1/0) !@<  CastR4(-1/0), CastR4(-1/0) !$<  CastR4(-1/0))
(CastR4(-1/0) !@<= CastR4(-1/0), CastR4(-1/0) !$<= CastR4(-1/0))
(CastR4(-1/0) !@>  CastR4(-1/0), CastR4(-1/0) !$>  CastR4(-1/0))
(CastR4(-1/0) !@>= CastR4(-1/0), CastR4(-1/0) !$>= CastR4(-1/0))
(CastR4(-1/0)  @=  qr4, CastR4(-1/0)  $=  qr4)
(CastR4(-1/0)  @<  qr4, CastR4(-1/0)  $<  qr4)
(CastR4(-1/0)  @<= qr4, CastR4(-1/0)  $<= qr4)
(CastR4(-1/0)  @>  qr4, CastR4(-1/0)  $>  qr4)
(CastR4(-1/0)  @>= qr4, CastR4(-1/0)  $>= qr4)
(CastR4(-1/0) !@=  qr4, CastR4(-1/0) !$=  qr4)
(CastR4(-1/0) !@<  qr4, CastR4(-1/0) !$<  qr4)
(CastR4(-1/0) !@<= qr4, CastR4(-1/0) !$<= qr4)
(CastR4(-1/0) !@>  qr4, CastR4(-1/0) !$>  qr4)
(CastR4(-1/0) !@>= qr4, CastR4(-1/0) !$>= qr4)
(CastR4(-1/0)  @=  Null(5r4), CastR4(-1/0)  $=  Null(5r4))
(CastR4(-1/0)  @<  Null(5r4), CastR4(-1/0)  $<  Null(5r4))
(CastR4(-1/0)  @<= Null(5r4), CastR4(-1/0)  $<= Null(5r4))
(CastR4(-1/0)  @>  Null(5r4), CastR4(-1/0)  $>  Null(5r4))
(CastR4(-1/0)  @>= Null(5r4), CastR4(-1/0)  $>= Null(5r4))
(CastR4(-1/0) !@=  Null(5r4), CastR4(-1/0) !$=  Null(5r4))
(CastR4(-1/0) !@<  Null(5r4), CastR4(-1/0) !$<  Null(5r4))
(CastR4(-1/0) !@<= Null(5r4), CastR4(-1/0) !$<= Null(5r4))
(CastR4(-1/0) !@>  Null(5r4), CastR4(-1/0) !$>  Null(5r4))
(CastR4(-1/0) !@>= Null(5r4), CastR4(-1/0) !$>= Null(5r4))
(CastR4(-1/0)  @=  Opt(5r4), CastR4(-1/0)  $=  Opt(5r4))
(CastR4(-1/0)  @<  Opt(5r4), CastR4(-1/0)  $<  Opt(5r4))
(CastR4(-1/0)  @<= Opt(5r4), CastR4(-1/0)  $<= Opt(5r4))
(CastR4(-1/0)  @>  Opt(5r4), CastR4(-1/0)  $>  Opt(5r4))
(CastR4(-1/0)  @>= Opt(5r4), CastR4(-1/0)  $>= Opt(5r4))
(CastR4(-1/0) !@=  Opt(5r4), CastR4(-1/0) !$=  Opt(5r4))
(CastR4(-1/0) !@<  Opt(5r4), CastR4(-1/0) !$<  Opt(5r4))
(CastR4(-1/0) !@<= Opt(5r4), CastR4(-1/0) !$<= Opt(5r4))
(CastR4(-1/0) !@>  Opt(5r4), CastR4(-1/0) !$>  Opt(5r4))
(CastR4(-1/0) !@>= Opt(5r4), CastR4(-1/0) !$>= Opt(5r4))
(qr4  @=  r4, qr4  $=  r4)
(qr4  @<  r4, qr4  $<  r4)
(qr4  @<= r4, qr4  $<= r4)
(qr4  @>  r4, qr4  $>  r4)
(qr4  @>= r4, qr4  $>= r4)
(qr4 !@=  r4, qr4 !$=  r4)
(qr4 !@<  r4, qr4 !$<  r4)
(qr4 !@<= r4, qr4 !$<= r4)
(qr4 !@>  r4, qr4 !$>  r4)
(qr4 !@>= r4, qr4 !$>= r4)
(qr4  @=  5r4, qr4  $=  5r4)
(qr4  @<  5r4, qr4  $<  5r4)
(qr4  @<= 5r4, qr4  $<= 5r4)
(qr4  @>  5r4, qr4  $>  5r4)
(qr4  @>= 5r4, qr4  $>= 5r4)
(qr4 !@=  5r4, qr4 !$=  5r4)
(qr4 !@<  5r4, qr4 !$<  5r4)
(qr4 !@<= 5r4, qr4 !$<= 5r4)
(qr4 !@>  5r4, qr4 !$>  5r4)
(qr4 !@>= 5r4, qr4 !$>= 5r4)
(qr4  @=  CastR4(0/0), qr4  $=  CastR4(0/0))
(qr4  @<  CastR4(0/0), qr4  $<  CastR4(0/0))
(qr4  @<= CastR4(0/0), qr4  $<= CastR4(0/0))
(qr4  @>  CastR4(0/0), qr4  $>  CastR4(0/0))
(qr4  @>= CastR4(0/0), qr4  $>= CastR4(0/0))
(qr4 !@=  CastR4(0/0), qr4 !$=  CastR4(0/0))
(qr4 !@<  CastR4(0/0), qr4 !$<  CastR4(0/0))
(qr4 !@<= CastR4(0/0), qr4 !$<= CastR4(0/0))
(qr4 !@>  CastR4(0/0), qr4 !$>  CastR4(0/0))
(qr4 !@>= CastR4(0/0), qr4 !$>= CastR4(0/0))
(qr4  @=  CastR4(1/0), qr4  $=  CastR4(1/0))
(qr4  @<  CastR4(1/0), qr4  $<  CastR4(1/0))
(qr4  @<= CastR4(1/0), qr4  $<= CastR4(1/0))
(qr4  @>  CastR4(1/0), qr4  $>  CastR4(1/0))
(qr4  @>= CastR4(1/0), qr4  $>= CastR4(1/0))
(qr4 !@=  CastR4(1/0), qr4 !$=  CastR4(1/0))
(qr4 !@<  CastR4(1/0), qr4 !$<  CastR4(1/0))
(qr4 !@<= CastR4(1/0), qr4 !$<= CastR4(1/0))
(qr4 !@>  CastR4(1/0), qr4 !$>  CastR4(1/0))
(qr4 !@>= CastR4(1/0), qr4 !$>= CastR4(1/0))
(qr4  @=  CastR4(-1/0), qr4  $=  CastR4(-1/0))
(qr4  @<  CastR4(-1/0), qr4  $<  CastR4(-1/0))
(qr4  @<= CastR4(-1/0), qr4  $<= CastR4(-1/0))
(qr4  @>  CastR4(-1/0), qr4  $>  CastR4(-1/0))
(qr4  @>= CastR4(-1/0), qr4  $>= CastR4(-1/0))
(qr4 !@=  CastR4(-1/0), qr4 !$=  CastR4(-1/0))
(qr4 !@<  CastR4(-1/0), qr4 !$<  CastR4(-1/0))
(qr4 !@<= CastR4(-1/0), qr4 !$<= CastR4(-1/0))
(qr4 !@>  CastR4(-1/0), qr4 !$>  CastR4(-1/0))
(qr4 !@>= CastR4(-1/0), qr4 !$>= CastR4(-1/0))
(qr4  @=  qr4, qr4  $=  qr4)
(qr4  @<  qr4, qr4  $<  qr4)
(qr4  @<= qr4, qr4  $<= qr4)
(qr4  @>  qr4, qr4  $>  qr4)
(qr4  @>= qr4, qr4  $>= qr4)
(qr4 !@=  qr4, qr4 !$=  qr4)
(qr4 !@<  qr4, qr4 !$<  qr4)
(qr4 !@<= qr4, qr4 !$<= qr4)
(qr4 !@>  qr4, qr4 !$>  qr4)
(qr4 !@>= qr4, qr4 !$>= qr4)
(qr4  @=  Null(5r4), qr4  $=  Null(5r4))
(qr4  @<  Null(5r4), qr4  $<  Null(5r4))
(qr4  @<= Null(5r4), qr4  $<= Null(5r4))
(qr4  @>  Null(5r4), qr4  $>  Null(5r4))
(qr4  @>= Null(5r4), qr4  $>= Null(5r4))
(qr4 !@=  Null(5r4), qr4 !$=  Null(5r4))
(qr4 !@<  Null(5r4), qr4 !$<  Null(5r4))
(qr4 !@<= Null(5r4), qr4 !$<= Null(5r4))
(qr4 !@>  Null(5r4), qr4 !$>  Null(5r4))
(qr4 !@>= Null(5r4), qr4 !$>= Null(5r4))
(qr4  @=  Opt(5r4), qr4  $=  Opt(5r4))
(qr4  @<  Opt(5r4), qr4  $<  Opt(5r4))
(qr4  @<= Opt(5r4), qr4  $<= Opt(5r4))
(qr4  @>  Opt(5r4), qr4  $>  Opt(5r4))
(qr4  @>= Opt(5r4), qr4  $>= Opt(5r4))
(qr4 !@=  Opt(5r4), qr4 !$=  Opt(5r4))
(qr4 !@<  Opt(5r4), qr4 !$<  Opt(5r4))
(qr4 !@<= Opt(5r4), qr4 !$<= Opt(5r4))
(qr4 !@>  Opt(5r4), qr4 !$>  Opt(5r4))
(qr4 !@>= Opt(5r4), qr4 !$>= Opt(5r4))
(Null(3r4)  @=  r4, Null(3r4)  $=  r4)
(Null(3r4)  @<  r4, Null(3r4)  $<  r4)
(Null(3r4)  @<= r4, Null(3r4)  $<= r4)
(Null(3r4)  @>  r4, Null(3r4)  $>  r4)
(Null(3r4)  @>= r4, Null(3r4)  $>= r4)
(Null(3r4) !@=  r4, Null(3r4) !$=  r4)
(Null(3r4) !@<  r4, Null(3r4) !$<  r4)
(Null(3r4) !@<= r4, Null(3r4) !$<= r4)
(Null(3r4) !@>  r4, Null(3r4) !$>  r4)
(Null(3r4) !@>= r4, Null(3r4) !$>= r4)
(Null(3r4)  @=  5r4, Null(3r4)  $=  5r4)
(Null(3r4)  @<  5r4, Null(3r4)  $<  5r4)
(Null(3r4)  @<= 5r4, Null(3r4)  $<= 5r4)
(Null(3r4)  @>  5r4, Null(3r4)  $>  5r4)
(Null(3r4)  @>= 5r4, Null(3r4)  $>= 5r4)
(Null(3r4) !@=  5r4, Null(3r4) !$=  5r4)
(Null(3r4) !@<  5r4, Null(3r4) !$<  5r4)
(Null(3r4) !@<= 5r4, Null(3r4) !$<= 5r4)
(Null(3r4) !@>  5r4, Null(3r4) !$>  5r4)
(Null(3r4) !@>= 5r4, Null(3r4) !$>= 5r4)
(Null(3r4)  @=  CastR4(0/0), Null(3r4)  $=  CastR4(0/0))
(Null(3r4)  @<  CastR4(0/0), Null(3r4)  $<  CastR4(0/0))
(Null(3r4)  @<= CastR4(0/0), Null(3r4)  $<= CastR4(0/0))
(Null(3r4)  @>  CastR4(0/0), Null(3r4)  $>  CastR4(0/0))
(Null(3r4)  @>= CastR4(0/0), Null(3r4)  $>= CastR4(0/0))
(Null(3r4) !@=  CastR4(0/0), Null(3r4) !$=  CastR4(0/0))
(Null(3r4) !@<  CastR4(0/0), Null(3r4) !$<  CastR4(0/0))
(Null(3r4) !@<= CastR4(0/0), Null(3r4) !$<= CastR4(0/0))
(Null(3r4) !@>  CastR4(0/0), Null(3r4) !$>  CastR4(0/0))
(Null(3r4) !@>= CastR4(0/0), Null(3r4) !$>= CastR4(0/0))
(Null(3r4)  @=  CastR4(1/0), Null(3r4)  $=  CastR4(1/0))
(Null(3r4)  @<  CastR4(1/0), Null(3r4)  $<  CastR4(1/0))
(Null(3r4)  @<= CastR4(1/0), Null(3r4)  $<= CastR4(1/0))
(Null(3r4)  @>  CastR4(1/0), Null(3r4)  $>  CastR4(1/0))
(Null(3r4)  @>= CastR4(1/0), Null(3r4)  $>= CastR4(1/0))
(Null(3r4) !@=  CastR4(1/0), Null(3r4) !$=  CastR4(1/0))
(Null(3r4) !@<  CastR4(1/0), Null(3r4) !$<  CastR4(1/0))
(Null(3r4) !@<= CastR4(1/0), Null(3r4) !$<= CastR4(1/0))
(Null(3r4) !@>  CastR4(1/0), Null(3r4) !$>  CastR4(1/0))
(Null(3r4) !@>= CastR4(1/0), Null(3r4) !$>= CastR4(1/0))
(Null(3r4)  @=  CastR4(-1/0), Null(3r4)  $=  CastR4(-1/0))
(Null(3r4)  @<  CastR4(-1/0), Null(3r4)  $<  CastR4(-1/0))
(Null(3r4)  @<= CastR4(-1/0), Null(3r4)  $<= CastR4(-1/0))
(Null(3r4)  @>  CastR4(-1/0), Null(3r4)  $>  CastR4(-1/0))
(Null(3r4)  @>= CastR4(-1/0), Null(3r4)  $>= CastR4(-1/0))
(Null(3r4) !@=  CastR4(-1/0), Null(3r4) !$=  CastR4(-1/0))
(Null(3r4) !@<  CastR4(-1/0), Null(3r4) !$<  CastR4(-1/0))
(Null(3r4) !@<= CastR4(-1/0), Null(3r4) !$<= CastR4(-1/0))
(Null(3r4) !@>  CastR4(-1/0), Null(3r4) !$>  CastR4(-1/0))
(Null(3r4) !@>= CastR4(-1/0), Null(3r4) !$>= CastR4(-1/0))
(Null(3r4)  @=  qr4, Null(3r4)  $=  qr4)
(Null(3r4)  @<  qr4, Null(3r4)  $<  qr4)
(Null(3r4)  @<= qr4, Null(3r4)  $<= qr4)
(Null(3r4)  @>  qr4, Null(3r4)  $>  qr4)
(Null(3r4)  @>= qr4, Null(3r4)  $>= qr4)
(Null(3r4) !@=  qr4, Null(3r4) !$=  qr4)
(Null(3r4) !@<  qr4, Null(3r4) !$<  qr4)
(Null(3r4) !@<= qr4, Null(3r4) !$<= qr4)
(Null(3r4) !@>  qr4, Null(3r4) !$>  qr4)
(Null(3r4) !@>= qr4, Null(3r4) !$>= qr4)
(Null(3r4)  @=  Null(5r4), Null(3r4)  $=  Null(5r4))
(Null(3r4)  @<  Null(5r4), Null(3r4)  $<  Null(5r4))
(Null(3r4)  @<= Null(5r4), Null(3r4)  $<= Null(5r4))
(Null(3r4)  @>  Null(5r4), Null(3r4)  $>  Null(5r4))
(Null(3r4)  @>= Null(5r4), Null(3r4)  $>= Null(5r4))
(Null(3r4) !@=  Null(5r4), Null(3r4) !$=  Null(5r4))
(Null(3r4) !@<  Null(5r4), Null(3r4) !$<  Null(5r4))
(Null(3r4) !@<= Null(5r4), Null(3r4) !$<= Null(5r4))
(Null(3r4) !@>  Null(5r4), Null(3r4) !$>  Null(5r4))
(Null(3r4) !@>= Null(5r4), Null(3r4) !$>= Null(5r4))
(Null(3r4)  @=  Opt(5r4), Null(3r4)  $=  Opt(5r4))
(Null(3r4)  @<  Opt(5r4), Null(3r4)  $<  Opt(5r4))
(Null(3r4)  @<= Opt(5r4), Null(3r4)  $<= Opt(5r4))
(Null(3r4)  @>  Opt(5r4), Null(3r4)  $>  Opt(5r4))
(Null(3r4)  @>= Opt(5r4), Null(3r4)  $>= Opt(5r4))
(Null(3r4) !@=  Opt(5r4), Null(3r4) !$=  Opt(5r4))
(Null(3r4) !@<  Opt(5r4), Null(3r4) !$<  Opt(5r4))
(Null(3r4) !@<= Opt(5r4), Null(3r4) !$<= Opt(5r4))
(Null(3r4) !@>  Opt(5r4), Null(3r4) !$>  Opt(5r4))
(Null(3r4) !@>= Opt(5r4), Null(3r4) !$>= Opt(5r4))
(Opt(3r4)  @=  r4, Opt(3r4)  $=  r4)
(Opt(3r4)  @<  r4, Opt(3r4)  $<  r4)
(Opt(3r4)  @<= r4, Opt(3r4)  $<= r4)
(Opt(3r4)  @>  r4, Opt(3r4)  $>  r4)
(Opt(3r4)  @>= r4, Opt(3r4)  $>= r4)
(Opt(3r4) !@=  r4, Opt(3r4) !$=  r4)
(Opt(3r4) !@<  r4, Opt(3r4) !$<  r4)
(Opt(3r4) !@<= r4, Opt(3r4) !$<= r4)
(Opt(3r4) !@>  r4, Opt(3r4) !$>  r4)
(Opt(3r4) !@>= r4, Opt(3r4) !$>= r4)
(Opt(3r4)  @=  5r4, Opt(3r4)  $=  5r4)
(Opt(3r4)  @<  5r4, Opt(3r4)  $<  5r4)
(Opt(3r4)  @<= 5r4, Opt(3r4)  $<= 5r4)
(Opt(3r4)  @>  5r4, Opt(3r4)  $>  5r4)
(Opt(3r4)  @>= 5r4, Opt(3r4)  $>= 5r4)
(Opt(3r4) !@=  5r4, Opt(3r4) !$=  5r4)
(Opt(3r4) !@<  5r4, Opt(3r4) !$<  5r4)
(Opt(3r4) !@<= 5r4, Opt(3r4) !$<= 5r4)
(Opt(3r4) !@>  5r4, Opt(3r4) !$>  5r4)
(Opt(3r4) !@>= 5r4, Opt(3r4) !$>= 5r4)
(Opt(3r4)  @=  CastR4(0/0), Opt(3r4)  $=  CastR4(0/0))
(Opt(3r4)  @<  CastR4(0/0), Opt(3r4)  $<  CastR4(0/0))
(Opt(3r4)  @<= CastR4(0/0), Opt(3r4)  $<= CastR4(0/0))
(Opt(3r4)  @>  CastR4(0/0), Opt(3r4)  $>  CastR4(0/0))
(Opt(3r4)  @>= CastR4(0/0), Opt(3r4)  $>= CastR4(0/0))
(Opt(3r4) !@=  CastR4(0/0), Opt(3r4) !$=  CastR4(0/0))
(Opt(3r4) !@<  CastR4(0/0), Opt(3r4) !$<  CastR4(0/0))
(Opt(3r4) !@<= CastR4(0/0), Opt(3r4) !$<= CastR4(0/0))
(Opt(3r4) !@>  CastR4(0/0), Opt(3r4) !$>  CastR4(0/0))
(Opt(3r4) !@>= CastR4(0/0), Opt(3r4) !$>= CastR4(0/0))
(Opt(3r4)  @=  CastR4(1/0), Opt(3r4)  $=  CastR4(1/0))
(Opt(3r4)  @<  CastR4(1/0), Opt(3r4)  $<  CastR4(1/0))
(Opt(3r4)  @<= CastR4(1/0), Opt(3r4)  $<= CastR4(1/0))
(Opt(3r4)  @>  CastR4(1/0), Opt(3r4)  $>  CastR4(1/0))
(Opt(3r4)  @>= CastR4(1/0), Opt(3r4)  $>= CastR4(1/0))
(Opt(3r4) !@=  CastR4(1/0), Opt(3r4) !$=  CastR4(1/0))
(Opt(3r4) !@<  CastR4(1/0), Opt(3r4) !$<  CastR4(1/0))
(Opt(3r4) !@<= CastR4(1/0), Opt(3r4) !$<= CastR4(1/0))
(Opt(3r4) !@>  CastR4(1/0), Opt(3r4) !$>  CastR4(1/0))
(Opt(3r4) !@>= CastR4(1/0), Opt(3r4) !$>= CastR4(1/0))
(Opt(3r4)  @=  CastR4(-1/0), Opt(3r4)  $=  CastR4(-1/0))
(Opt(3r4)  @<  CastR4(-1/0), Opt(3r4)  $<  CastR4(-1/0))
(Opt(3r4)  @<= CastR4(-1/0), Opt(3r4)  $<= CastR4(-1/0))
(Opt(3r4)  @>  CastR4(-1/0), Opt(3r4)  $>  CastR4(-1/0))
(Opt(3r4)  @>= CastR4(-1/0), Opt(3r4)  $>= CastR4(-1/0))
(Opt(3r4) !@=  CastR4(-1/0), Opt(3r4) !$=  CastR4(-1/0))
(Opt(3r4) !@<  CastR4(-1/0), Opt(3r4) !$<  CastR4(-1/0))
(Opt(3r4) !@<= CastR4(-1/0), Opt(3r4) !$<= CastR4(-1/0))
(Opt(3r4) !@>  CastR4(-1/0), Opt(3r4) !$>  CastR4(-1/0))
(Opt(3r4) !@>= CastR4(-1/0), Opt(3r4) !$>= CastR4(-1/0))
(Opt(3r4)  @=  qr4, Opt(3r4)  $=  qr4)
(Opt(3r4)  @<  qr4, Opt(3r4)  $<  qr4)
(Opt(3r4)  @<= qr4, Opt(3r4)  $<= qr4)
(Opt(3r4)  @>  qr4, Opt(3r4)  $>  qr4)
(Opt(3r4)  @>= qr4, Opt(3r4)  $>= qr4)
(Opt(3r4) !@=  qr4, Opt(3r4) !$=  qr4)
(Opt(3r4) !@<  qr4, Opt(3r4) !$<  qr4)
(Opt(3r4) !@<= qr4, Opt(3r4) !$<= qr4)
(Opt(3r4) !@>  qr4, Opt(3r4) !$>  qr4)
(Opt(3r4) !@>= qr4, Opt(3r4) !$>= qr4)
(Opt(3r4)  @=  Null(5r4), Opt(3r4)  $=  Null(5r4))
(Opt(3r4)  @<  Null(5r4), Opt(3r4)  $<  Null(5r4))
(Opt(3r4)  @<= Null(5r4), Opt(3r4)  $<= Null(5r4))
(Opt(3r4)  @>  Null(5r4), Opt(3r4)  $>  Null(5r4))
(Opt(3r4)  @>= Null(5r4), Opt(3r4)  $>= Null(5r4))
(Opt(3r4) !@=  Null(5r4), Opt(3r4) !$=  Null(5r4))
(Opt(3r4) !@<  Null(5r4), Opt(3r4) !$<  Null(5r4))
(Opt(3r4) !@<= Null(5r4), Opt(3r4) !$<= Null(5r4))
(Opt(3r4) !@>  Null(5r4), Opt(3r4) !$>  Null(5r4))
(Opt(3r4) !@>= Null(5r4), Opt(3r4) !$>= Null(5r4))
(Opt(3r4)  @=  Opt(5r4), Opt(3r4)  $=  Opt(5r4))
(Opt(3r4)  @<  Opt(5r4), Opt(3r4)  $<  Opt(5r4))
(Opt(3r4)  @<= Opt(5r4), Opt(3r4)  $<= Opt(5r4))
(Opt(3r4)  @>  Opt(5r4), Opt(3r4)  $>  Opt(5r4))
(Opt(3r4)  @>= Opt(5r4), Opt(3r4)  $>= Opt(5r4))
(Opt(3r4) !@=  Opt(5r4), Opt(3r4) !$=  Opt(5r4))
(Opt(3r4) !@<  Opt(5r4), Opt(3r4) !$<  Opt(5r4))
(Opt(3r4) !@<= Opt(5r4), Opt(3r4) !$<= Opt(5r4))
(Opt(3r4) !@>  Opt(5r4), Opt(3r4) !$>  Opt(5r4))
(Opt(3r4) !@>= Opt(5r4), Opt(3r4) !$>= Opt(5r4))

"*** For text, strict treats null differently."
(s  @=  s, s  ~@=  s, s  $=  s, s  ~$=  s)
(s  @<  s, s  ~@<  s, s  $<  s, s  ~$<  s)
(s  @<= s, s  ~@<= s, s  $<= s, s  ~$<= s)
(s  @>  s, s  ~@>  s, s  $>  s, s  ~$>  s)
(s  @>= s, s  ~@>= s, s  $>= s, s  ~$>= s)
(s !@=  s, s !~@=  s, s !$=  s, s !~$=  s)
(s !@<  s, s !~@<  s, s !$<  s, s !~$<  s)
(s !@<= s, s !~@<= s, s !$<= s, s !~$<= s)
(s !@>  s, s !~@>  s, s !$>  s, s !~$>  s)
(s !@>= s, s !~@>= s, s !$>= s, s !~$>= s)
(s  @=  "", s  ~@=  "", s  $=  "", s  ~$=  "")
(s  @<  "", s  ~@<  "", s  $<  "", s  ~$<  "")
(s  @<= "", s  ~@<= "", s  $<= "", s  ~$<= "")
(s  @>  "", s  ~@>  "", s  $>  "", s  ~$>  "")
(s  @>= "", s  ~@>= "", s  $>= "", s  ~$>= "")
(s !@=  "", s !~@=  "", s !$=  "", s !~$=  "")
(s !@<  "", s !~@<  "", s !$<  "", s !~$<  "")
(s !@<= "", s !~@<= "", s !$<= "", s !~$<= "")
(s !@>  "", s !~@>  "", s !$>  "", s !~$>  "")
(s !@>= "", s !~@>= "", s !$>= "", s !~$>= "")
(s  @=  "AA", s  ~@=  "AA", s  $=  "AA", s  ~$=  "AA")
(s  @<  "AA", s  ~@<  "AA", s  $<  "AA", s  ~$<  "AA")
(s  @<= "AA", s  ~@<= "AA", s  $<= "AA", s  ~$<= "AA")
(s  @>  "AA", s  ~@>  "AA", s  $>  "AA", s  ~$>  "AA")
(s  @>= "AA", s  ~@>= "AA", s  $>= "AA", s  ~$>= "AA")
(s !@=  "AA", s !~@=  "AA", s !$=  "AA", s !~$=  "AA")
(s !@<  "AA", s !~@<  "AA", s !$<  "AA", s !~$<  "AA")
(s !@<= "AA", s !~@<= "AA", s !$<= "AA", s !~$<= "AA")
(s !@>  "AA", s !~@>  "AA", s !$>  "AA", s !~$>  "AA")
(s !@>= "AA", s !~@>= "AA", s !$>= "AA", s !~$>= "AA")
(s  @=  "aA", s  ~@=  "aA", s  $=  "aA", s  ~$=  "aA")
(s  @<  "aA", s  ~@<  "aA", s  $<  "aA", s  ~$<  "aA")
(s  @<= "aA", s  ~@<= "aA", s  $<= "aA", s  ~$<= "aA")
(s  @>  "aA", s  ~@>  "aA", s  $>  "aA", s  ~$>  "aA")
(s  @>= "aA", s  ~@>= "aA", s  $>= "aA", s  ~$>= "aA")
(s !@=  "aA", s !~@=  "aA", s !$=  "aA", s !~$=  "aA")
(s !@<  "aA", s !~@<  "aA", s !$<  "aA", s !~$<  "aA")
(s !@<= "aA", s !~@<= "aA", s !$<= "aA", s !~$<= "aA")
(s !@>  "aA", s !~@>  "aA", s !$>  "aA", s !~$>  "aA")
(s !@>= "aA", s !~@>= "aA", s !$>= "aA", s !~$>= "aA")
(s  @=  "Aa", s  ~@=  "Aa", s  $=  "Aa", s  ~$=  "Aa")
(s  @<  "Aa", s  ~@<  "Aa", s  $<  "Aa", s  ~$<  "Aa")
(s  @<= "Aa", s  ~@<= "Aa", s  $<= "Aa", s  ~$<= "Aa")
(s  @>  "Aa", s  ~@>  "Aa", s  $>  "Aa", s  ~$>  "Aa")
(s  @>= "Aa", s  ~@>= "Aa", s  $>= "Aa", s  ~$>= "Aa")
(s !@=  "Aa", s !~@=  "Aa", s !$=  "Aa", s !~$=  "Aa")
(s !@<  "Aa", s !~@<  "Aa", s !$<  "Aa", s !~$<  "Aa")
(s !@<= "Aa", s !~@<= "Aa", s !$<= "Aa", s !~$<= "Aa")
(s !@>  "Aa", s !~@>  "Aa", s !$>  "Aa", s !~$>  "Aa")
(s !@>= "Aa", s !~@>= "Aa", s !$>= "Aa", s !~$>= "Aa")
(s  @=  "BB", s  ~@=  "BB", s  $=  "BB", s  ~$=  "BB")
(s  @<  "BB", s  ~@<  "BB", s  $<  "BB", s  ~$<  "BB")
(s  @<= "BB", s  ~@<= "BB", s  $<= "BB", s  ~$<= "BB")
(s  @>  "BB", s  ~@>  "BB", s  $>  "BB", s  ~$>  "BB")
(s  @>= "BB", s  ~@>= "BB", s  $>= "BB", s  ~$>= "BB")
(s !@=  "BB", s !~@=  "BB", s !$=  "BB", s !~$=  "BB")
(s !@<  "BB", s !~@<  "BB", s !$<  "BB", s !~$<  "BB")
(s !@<= "BB", s !~@<= "BB", s !$<= "BB", s !~$<= "BB")
(s !@>  "BB", s !~@>  "BB", s !$>  "BB", s !~$>  "BB")
(s !@>= "BB", s !~@>= "BB", s !$>= "BB", s !~$>= "BB")
(s  @=  Null(""), s  ~@=  Null(""), s  $=  Null(""), s  ~$=  Null(""))
(s  @<  Null(""), s  ~@<  Null(""), s  $<  Null(""), s  ~$<  Null(""))
(s  @<= Null(""), s  ~@<= Null(""), s  $<= Null(""), s  ~$<= Null(""))
(s  @>  Null(""), s  ~@>  Null(""), s  $>  Null(""), s  ~$>  Null(""))
(s  @>= Null(""), s  ~@>= Null(""), s  $>= Null(""), s  ~$>= Null(""))
(s !@=  Null(""), s !~@=  Null(""), s !$=  Null(""), s !~$=  Null(""))
(s !@<  Null(""), s !~@<  Null(""), s !$<  Null(""), s !~$<  Null(""))
(s !@<= Null(""), s !~@<= Null(""), s !$<= Null(""), s !~$<= Null(""))
(s !@>  Null(""), s !~@>  Null(""), s !$>  Null(""), s !~$>  Null(""))
(s !@>= Null(""), s !~@>= Null(""), s !$>= Null(""), s !~$>= Null(""))
(""  @=  s, ""  ~@=  s, ""  $=  s, ""  ~$=  s)
(""  @<  s, ""  ~@<  s, ""  $<  s, ""  ~$<  s)
(""  @<= s, ""  ~@<= s, ""  $<= s, ""  ~$<= s)
(""  @>  s, ""  ~@>  s, ""  $>  s, ""  ~$>  s)
(""  @>= s, ""  ~@>= s, ""  $>= s, ""  ~$>= s)
("" !@=  s, "" !~@=  s, "" !$=  s, "" !~$=  s)
("" !@<  s, "" !~@<  s, "" !$<  s, "" !~$<  s)
("" !@<= s, "" !~@<= s, "" !$<= s, "" !~$<= s)
("" !@>  s, "" !~@>  s, "" !$>  s, "" !~$>  s)
("" !@>= s, "" !~@>= s, "" !$>= s, "" !~$>= s)
(""  @=  "", ""  ~@=  "", ""  $=  "", ""  ~$=  "")
(""  @<  "", ""  ~@<  "", ""  $<  "", ""  ~$<  "")
(""  @<= "", ""  ~@<= "", ""  $<= "", ""  ~$<= "")
(""  @>  "", ""  ~@>  "", ""  $>  "", ""  ~$>  "")
(""  @>= "", ""  ~@>= "", ""  $>= "", ""  ~$>= "")
("" !@=  "", "" !~@=  "", "" !$=  "", "" !~$=  "")
("" !@<  "", "" !~@<  "", "" !$<  "", "" !~$<  "")
("" !@<= "", "" !~@<= "", "" !$<= "", "" !~$<= "")
("" !@>  "", "" !~@>  "", "" !$>  "", "" !~$>  "")
("" !@>= "", "" !~@>= "", "" !$>= "", "" !~$>= "")
(""  @=  "AA", ""  ~@=  "AA", ""  $=  "AA", ""  ~$=  "AA")
(""  @<  "AA", ""  ~@<  "AA", ""  $<  "AA", ""  ~$<  "AA")
(""  @<= "AA", ""  ~@<= "AA", ""  $<= "AA", ""  ~$<= "AA")
(""  @>  "AA", ""  ~@>  "AA", ""  $>  "AA", ""  ~$>  "AA")
(""  @>= "AA", ""  ~@>= "AA", ""  $>= "AA", ""  ~$>= "AA")
("" !@=  "AA", "" !~@=  "AA", "" !$=  "AA", "" !~$=  "AA")
("" !@<  "AA", "" !~@<  "AA", "" !$<  "AA", "" !~$<  "AA")
("" !@<= "AA", "" !~@<= "AA", "" !$<= "AA", "" !~$<= "AA")
("" !@>  "AA", "" !~@>  "AA", "" !$>  "AA", "" !~$>  "AA")
("" !@>= "AA", "" !~@>= "AA", "" !$>= "AA", "" !~$>= "AA")
(""  @=  "aA", ""  ~@=  "aA", ""  $=  "aA", ""  ~$=  "aA")
(""  @<  "aA", ""  ~@<  "aA", ""  $<  "aA", ""  ~$<  "aA")
(""  @<= "aA", ""  ~@<= "aA", ""  $<= "aA", ""  ~$<= "aA")
(""  @>  "aA", ""  ~@>  "aA", ""  $>  "aA", ""  ~$>  "aA")
(""  @>= "aA", ""  ~@>= "aA", ""  $>= "aA", ""  ~$>= "aA")
("" !@=  "aA", "" !~@=  "aA", "" !$=  "aA", "" !~$=  "aA")
("" !@<  "aA", "" !~@<  "aA", "" !$<  "aA", "" !~$<  "aA")
("" !@<= "aA", "" !~@<= "aA", "" !$<= "aA", "" !~$<= "aA")
("" !@>  "aA", "" !~@>  "aA", "" !$>  "aA", "" !~$>  "aA")
("" !@>= "aA", "" !~@>= "aA", "" !$>= "aA", "" !~$>= "aA")
(""  @=  "Aa", ""  ~@=  "Aa", ""  $=  "Aa", ""  ~$=  "Aa")
(""  @<  "Aa", ""  ~@<  "Aa", ""  $<  "Aa", ""  ~$<  "Aa")
(""  @<= "Aa", ""  ~@<= "Aa", ""  $<= "Aa", ""  ~$<= "Aa")
(""  @>  "Aa", ""  ~@>  "Aa", ""  $>  "Aa", ""  ~$>  "Aa")
(""  @>= "Aa", ""  ~@>= "Aa", ""  $>= "Aa", ""  ~$>= "Aa")
("" !@=  "Aa", "" !~@=  "Aa", "" !$=  "Aa", "" !~$=  "Aa")
("" !@<  "Aa", "" !~@<  "Aa", "" !$<  "Aa", "" !~$<  "Aa")
("" !@<= "Aa", "" !~@<= "Aa", "" !$<= "Aa", "" !~$<= "Aa")
("" !@>  "Aa", "" !~@>  "Aa", "" !$>  "Aa", "" !~$>  "Aa")
("" !@>= "Aa", "" !~@>= "Aa", "" !$>= "Aa", "" !~$>= "Aa")
(""  @=  "BB", ""  ~@=  "BB", ""  $=  "BB", ""  ~$=  "BB")
(""  @<  "BB", ""  ~@<  "BB", ""  $<  "BB", ""  ~$<  "BB")
(""  @<= "BB", ""  ~@<= "BB", ""  $<= "BB", ""  ~$<= "BB")
(""  @>  "BB", ""  ~@>  "BB", ""  $>  "BB", ""  ~$>  "BB")
(""  @>= "BB", ""  ~@>= "BB", ""  $>= "BB", ""  ~$>= "BB")
("" !@=  "BB", "" !~@=  "BB", "" !$=  "BB", "" !~$=  "BB")
("" !@<  "BB", "" !~@<  "BB", "" !$<  "BB", "" !~$<  "BB")
("" !@<= "BB", "" !~@<= "BB", "" !$<= "BB", "" !~$<= "BB")
("" !@>  "BB", "" !~@>  "BB", "" !$>  "BB", "" !~$>  "BB")
("" !@>= "BB", "" !~@>= "BB", "" !$>= "BB", "" !~$>= "BB")
(""  @=  Null(""), ""  ~@=  Null(""), ""  $=  Null(""), ""  ~$=  Null(""))
(""  @<  Null(""), ""  ~@<  Null(""), ""  $<  Null(""), ""  ~$<  Null(""))
(""  @<= Null(""), ""  ~@<= Null(""), ""  $<= Null(""), ""  ~$<= Null(""))
(""  @>  Null(""), ""  ~@>  Null(""), ""  $>  Null(""), ""  ~$>  Null(""))
(""  @>= Null(""), ""  ~@>= Null(""), ""  $>= Null(""), ""  ~$>= Null(""))
("" !@=  Null(""), "" !~@=  Null(""), "" !$=  Null(""), "" !~$=  Null(""))
("" !@<  Null(""), "" !~@<  Null(""), "" !$<  Null(""), "" !~$<  Null(""))
("" !@<= Null(""), "" !~@<= Null(""), "" !$<= Null(""), "" !~$<= Null(""))
("" !@>  Null(""), "" !~@>  Null(""), "" !$>  Null(""), "" !~$>  Null(""))
("" !@>= Null(""), "" !~@>= Null(""), "" !$>= Null(""), "" !~$>= Null(""))
("AA"  @=  s, "AA"  ~@=  s, "AA"  $=  s, "AA"  ~$=  s)
("AA"  @<  s, "AA"  ~@<  s, "AA"  $<  s, "AA"  ~$<  s)
("AA"  @<= s, "AA"  ~@<= s, "AA"  $<= s, "AA"  ~$<= s)
("AA"  @>  s, "AA"  ~@>  s, "AA"  $>  s, "AA"  ~$>  s)
("AA"  @>= s, "AA"  ~@>= s, "AA"  $>= s, "AA"  ~$>= s)
("AA" !@=  s, "AA" !~@=  s, "AA" !$=  s, "AA" !~$=  s)
("AA" !@<  s, "AA" !~@<  s, "AA" !$<  s, "AA" !~$<  s)
("AA" !@<= s, "AA" !~@<= s, "AA" !$<= s, "AA" !~$<= s)
("AA" !@>  s, "AA" !~@>  s, "AA" !$>  s, "AA" !~$>  s)
("AA" !@>= s, "AA" !~@>= s, "AA" !$>= s, "AA" !~$>= s)
("AA"  @=  "", "AA"  ~@=  "", "AA"  $=  "", "AA"  ~$=  "")
("AA"  @<  "", "AA"  ~@<  "", "AA"  $<  "", "AA"  ~$<  "")
("AA"  @<= "", "AA"  ~@<= "", "AA"  $<= "", "AA"  ~$<= "")
("AA"  @>  "", "AA"  ~@>  "", "AA"  $>  "", "AA"  ~$>  "")
("AA"  @>= "", "AA"  ~@>= "", "AA"  $>= "", "AA"  ~$>= "")
("AA" !@=  "", "AA" !~@=  "", "AA" !$=  "", "AA" !~$=  "")
("AA" !@<  "", "AA" !~@<  "", "AA" !$<  "", "AA" !~$<  "")
("AA" !@<= "", "AA" !~@<= "", "AA" !$<= "", "AA" !~$<= "")
("AA" !@>  "", "AA" !~@>  "", "AA" !$>  "", "AA" !~$>  "")
("AA" !@>= "", "AA" !~@>= "", "AA" !$>= "", "AA" !~$>= "")
("AA"  @=  "AA", "AA"  ~@=  "AA", "AA"  $=  "AA", "AA"  ~$=  "AA")
("AA"  @<  "AA", "AA"  ~@<  "AA", "AA"  $<  "AA", "AA"  ~$<  "AA")
("AA"  @<= "AA", "AA"  ~@<= "AA", "AA"  $<= "AA", "AA"  ~$<= "AA")
("AA"  @>  "AA", "AA"  ~@>  "AA", "AA"  $>  "AA", "AA"  ~$>  "AA")
("AA"  @>= "AA", "AA"  ~@>= "AA", "AA"  $>= "AA", "AA"  ~$>= "AA")
("AA" !@=  "AA", "AA" !~@=  "AA", "AA" !$=  "AA", "AA" !~$=  "AA")
("AA" !@<  "AA", "AA" !~@<  "AA", "AA" !$<  "AA", "AA" !~$<  "AA")
("AA" !@<= "AA", "AA" !~@<= "AA", "AA" !$<= "AA", "AA" !~$<= "AA")
("AA" !@>  "AA", "AA" !~@>  "AA", "AA" !$>  "AA", "AA" !~$>  "AA")
("AA" !@>= "AA", "AA" !~@>= "AA", "AA" !$>= "AA", "AA" !~$>= "AA")
("AA"  @=  "aA", "AA"  ~@=  "aA", "AA"  $=  "aA", "AA"  ~$=  "aA")
("AA"  @<  "aA", "AA"  ~@<  "aA", "AA"  $<  "aA", "AA"  ~$<  "aA")
("AA"  @<= "aA", "AA"  ~@<= "aA", "AA"  $<= "aA", "AA"  ~$<= "aA")
("AA"  @>  "aA", "AA"  ~@>  "aA", "AA"  $>  "aA", "AA"  ~$>  "aA")
("AA"  @>= "aA", "AA"  ~@>= "aA", "AA"  $>= "aA", "AA"  ~$>= "aA")
("AA" !@=  "aA", "AA" !~@=  "aA", "AA" !$=  "aA", "AA" !~$=  "aA")
("AA" !@<  "aA", "AA" !~@<  "aA", "AA" !$<  "aA", "AA" !~$<  "aA")
("AA" !@<= "aA", "AA" !~@<= "aA", "AA" !$<= "aA", "AA" !~$<= "aA")
("AA" !@>  "aA", "AA" !~@>  "aA", "AA" !$>  "aA", "AA" !~$>  "aA")
("AA" !@>= "aA", "AA" !~@>= "aA", "AA" !$>= "aA", "AA" !~$>= "aA")
("AA"  @=  "Aa", "AA"  ~@=  "Aa", "AA"  $=  "Aa", "AA"  ~$=  "Aa")
("AA"  @<  "Aa", "AA"  ~@<  "Aa", "AA"  $<  "Aa", "AA"  ~$<  "Aa")
("AA"  @<= "Aa", "AA"  ~@<= "Aa", "AA"  $<= "Aa", "AA"  ~$<= "Aa")
("AA"  @>  "Aa", "AA"  ~@>  "Aa", "AA"  $>  "Aa", "AA"  ~$>  "Aa")
("AA"  @>= "Aa", "AA"  ~@>= "Aa", "AA"  $>= "Aa", "AA"  ~$>= "Aa")
("AA" !@=  "Aa", "AA" !~@=  "Aa", "AA" !$=  "Aa", "AA" !~$=  "Aa")
("AA" !@<  "Aa", "AA" !~@<  "Aa", "AA" !$<  "Aa", "AA" !~$<  "Aa")
("AA" !@<= "Aa", "AA" !~@<= "Aa", "AA" !$<= "Aa", "AA" !~$<= "Aa")
("AA" !@>  "Aa", "AA" !~@>  "Aa", "AA" !$>  "Aa", "AA" !~$>  "Aa")
("AA" !@>= "Aa", "AA" !~@>= "Aa", "AA" !$>= "Aa", "AA" !~$>= "Aa")
("AA"  @=  "BB", "AA"  ~@=  "BB", "AA"  $=  "BB", "AA"  ~$=  "BB")
("AA"  @<  "BB", "AA"  ~@<  "BB", "AA"  $<  "BB", "AA"  ~$<  "BB")
("AA"  @<= "BB", "AA"  ~@<= "BB", "AA"  $<= "BB", "AA"  ~$<= "BB")
("AA"  @>  "BB", "AA"  ~@>  "BB", "AA"  $>  "BB", "AA"  ~$>  "BB")
("AA"  @>= "BB", "AA"  ~@>= "BB", "AA"  $>= "BB", "AA"  ~$>= "BB")
("AA" !@=  "BB", "AA" !~@=  "BB", "AA" !$=  "BB", "AA" !~$=  "BB")
("AA" !@<  "BB", "AA" !~@<  "BB", "AA" !$<  "BB", "AA" !~$<  "BB")
("AA" !@<= "BB", "AA" !~@<= "BB", "AA" !$<= "BB", "AA" !~$<= "BB")
("AA" !@>  "BB", "AA" !~@>  "BB", "AA" !$>  "BB", "AA" !~$>  "BB")
("AA" !@>= "BB", "AA" !~@>= "BB", "AA" !$>= "BB", "AA" !~$>= "BB")
("AA"  @=  Null(""), "AA"  ~@=  Null(""), "AA"  $=  Null(""), "AA"  ~$=  Null(""))
("AA"  @<  Null(""), "AA"  ~@<  Null(""), "AA"  $<  Null(""), "AA"  ~$<  Null(""))
("AA"  @<= Null(""), "AA"  ~@<= Null(""), "AA"  $<= Null(""), "AA"  ~$<= Null(""))
("AA"  @>  Null(""), "AA"  ~@>  Null(""), "AA"  $>  Null(""), "AA"  ~$>  Null(""))
("AA"  @>= Null(""), "AA"  ~@>= Null(""), "AA"  $>= Null(""), "AA"  ~$>= Null(""))
("AA" !@=  Null(""), "AA" !~@=  Null(""), "AA" !$=  Null(""), "AA" !~$=  Null(""))
("AA" !@<  Null(""), "AA" !~@<  Null(""), "AA" !$<  Null(""), "AA" !~$<  Null(""))
("AA" !@<= Null(""), "AA" !~@<= Null(""), "AA" !$<= Null(""), "AA" !~$<= Null(""))
("AA" !@>  Null(""), "AA" !~@>  Null(""), "AA" !$>  Null(""), "AA" !~$>  Null(""))
("AA" !@>= Null(""), "AA" !~@>= Null(""), "AA" !$>= Null(""), "AA" !~$>= Null(""))
("aA"  @=  s, "aA"  ~@=  s, "aA"  $=  s, "aA"  ~$=  s)
("aA"  @<  s, "aA"  ~@<  s, "aA"  $<  s, "aA"  ~$<  s)
("aA"  @<= s, "aA"  ~@<= s, "aA"  $<= s, "aA"  ~$<= s)
("aA"  @>  s, "aA"  ~@>  s, "aA"  $>  s, "aA"  ~$>  s)
("aA"  @>= s, "aA"  ~@>= s, "aA"  $>= s, "aA"  ~$>= s)
("aA" !@=  s, "aA" !~@=  s, "aA" !$=  s, "aA" !~$=  s)
("aA" !@<  s, "aA" !~@<  s, "aA" !$<  s, "aA" !~$<  s)
("aA" !@<= s, "aA" !~@<= s, "aA" !$<= s, "aA" !~$<= s)
("aA" !@>  s, "aA" !~@>  s, "aA" !$>  s, "aA" !~$>  s)
("aA" !@>= s, "aA" !~@>= s, "aA" !$>= s, "aA" !~$>= s)
("aA"  @=  "", "aA"  ~@=  "", "aA"  $=  "", "aA"  ~$=  "")
("aA"  @<  "", "aA"  ~@<  "", "aA"  $<  "", "aA"  ~$<  "")
("aA"  @<= "", "aA"  ~@<= "", "aA"  $<= "", "aA"  ~$<= "")
("aA"  @>  "", "aA"  ~@>  "", "aA"  $>  "", "aA"  ~$>  "")
("aA"  @>= "", "aA"  ~@>= "", "aA"  $>= "", "aA"  ~$>= "")
("aA" !@=  "", "aA" !~@=  "", "aA" !$=  "", "aA" !~$=  "")
("aA" !@<  "", "aA" !~@<  "", "aA" !$<  "", "aA" !~$<  "")
("aA" !@<= "", "aA" !~@<= "", "aA" !$<= "", "aA" !~$<= "")
("aA" !@>  "", "aA" !~@>  "", "aA" !$>  "", "aA" !~$>  "")
("aA" !@>= "", "aA" !~@>= "", "aA" !$>= "", "aA" !~$>= "")
("aA"  @=  "AA", "aA"  ~@=  "AA", "aA"  $=  "AA", "aA"  ~$=  "AA")
("aA"  @<  "AA", "aA"  ~@<  "AA", "aA"  $<  "AA", "aA"  ~$<  "AA")
("aA"  @<= "AA", "aA"  ~@<= "AA", "aA"  $<= "AA", "aA"  ~$<= "AA")
("aA"  @>  "AA", "aA"  ~@>  "AA", "aA"  $>  "AA", "aA"  ~$>  "AA")
("aA"  @>= "AA", "aA"  ~@>= "AA", "aA"  $>= "AA", "aA"  ~$>= "AA")
("aA" !@=  "AA", "aA" !~@=  "AA", "aA" !$=  "AA", "aA" !~$=  "AA")
("aA" !@<  "AA", "aA" !~@<  "AA", "aA" !$<  "AA", "aA" !~$<  "AA")
("aA" !@<= "AA", "aA" !~@<= "AA", "aA" !$<= "AA", "aA" !~$<= "AA")
("aA" !@>  "AA", "aA" !~@>  "AA", "aA" !$>  "AA", "aA" !~$>  "AA")
("aA" !@>= "AA", "aA" !~@>= "AA", "aA" !$>= "AA", "aA" !~$>= "AA")
("aA"  @=  "aA", "aA"  ~@=  "aA", "aA"  $=  "aA", "aA"  ~$=  "aA")
("aA"  @<  "aA", "aA"  ~@<  "aA", "aA"  $<  "aA", "aA"  ~$<  "aA")
("aA"  @<= "aA", "aA"  ~@<= "aA", "aA"  $<= "aA", "aA"  ~$<= "aA")
("aA"  @>  "aA", "aA"  ~@>  "aA", "aA"  $>  "aA", "aA"  ~$>  "aA")
("aA"  @>= "aA", "aA"  ~@>= "aA", "aA"  $>= "aA", "aA"  ~$>= "aA")
("aA" !@=  "aA", "aA" !~@=  "aA", "aA" !$=  "aA", "aA" !~$=  "aA")
("aA" !@<  "aA", "aA" !~@<  "aA", "aA" !$<  "aA", "aA" !~$<  "aA")
("aA" !@<= "aA", "aA" !~@<= "aA", "aA" !$<= "aA", "aA" !~$<= "aA")
("aA" !@>  "aA", "aA" !~@>  "aA", "aA" !$>  "aA", "aA" !~$>  "aA")
("aA" !@>= "aA", "aA" !~@>= "aA", "aA" !$>= "aA", "aA" !~$>= "aA")
("aA"  @=  "Aa", "aA"  ~@=  "Aa", "aA"  $=  "Aa", "aA"  ~$=  "Aa")
("aA"  @<  "Aa", "aA"  ~@<  "Aa", "aA"  $<  "Aa", "aA"  ~$<  "Aa")
("aA"  @<= "Aa", "aA"  ~@<= "Aa", "aA"  $<= "Aa", "aA"  ~$<= "Aa")
("aA"  @>  "Aa", "aA"  ~@>  "Aa", "aA"  $>  "Aa", "aA"  ~$>  "Aa")
("aA"  @>= "Aa", "aA"  ~@>= "Aa", "aA"  $>= "Aa", "aA"  ~$>= "Aa")
("aA" !@=  "Aa", "aA" !~@=  "Aa", "aA" !$=  "Aa", "aA" !~$=  "Aa")
("aA" !@<  "Aa", "aA" !~@<  "Aa", "aA" !$<  "Aa", "aA" !~$<  "Aa")
("aA" !@<= "Aa", "aA" !~@<= "Aa", "aA" !$<= "Aa", "aA" !~$<= "Aa")
("aA" !@>  "Aa", "aA" !~@>  "Aa", "aA" !$>  "Aa", "aA" !~$>  "Aa")
("aA" !@>= "Aa", "aA" !~@>= "Aa", "aA" !$>= "Aa", "aA" !~$>= "Aa")
("aA"  @=  "BB", "aA"  ~@=  "BB", "aA"  $=  "BB", "aA"  ~$=  "BB")
("aA"  @<  "BB", "aA"  ~@<  "BB", "aA"  $<  "BB", "aA"  ~$<  "BB")
("aA"  @<= "BB", "aA"  ~@<= "BB", "aA"  $<= "BB", "aA"  ~$<= "BB")
("aA"  @>  "BB", "aA"  ~@>  "BB", "aA"  $>  "BB", "aA"  ~$>  "BB")
("aA"  @>= "BB", "aA"  ~@>= "BB", "aA"  $>= "BB", "aA"  ~$>= "BB")
("aA" !@=  "BB", "aA" !~@=  "BB", "aA" !$=  "BB", "aA" !~$=  "BB")
("aA" !@<  "BB", "aA" !~@<  "BB", "aA" !$<  "BB", "aA" !~$<  "BB")
("aA" !@<= "BB", "aA" !~@<= "BB", "aA" !$<= "BB", "aA" !~$<= "BB")
("aA" !@>  "BB", "aA" !~@>  "BB", "aA" !$>  "BB", "aA" !~$>  "BB")
("aA" !@>= "BB", "aA" !~@>= "BB", "aA" !$>= "BB", "aA" !~$>= "BB")
("aA"  @=  Null(""), "aA"  ~@=  Null(""), "aA"  $=  Null(""), "aA"  ~$=  Null(""))
("aA"  @<  Null(""), "aA"  ~@<  Null(""), "aA"  $<  Null(""), "aA"  ~$<  Null(""))
("aA"  @<= Null(""), "aA"  ~@<= Null(""), "aA"  $<= Null(""), "aA"  ~$<= Null(""))
("aA"  @>  Null(""), "aA"  ~@>  Null(""), "aA"  $>  Null(""), "aA"  ~$>  Null(""))
("aA"  @>= Null(""), "aA"  ~@>= Null(""), "aA"  $>= Null(""), "aA"  ~$>= Null(""))
("aA" !@=  Null(""), "aA" !~@=  Null(""), "aA" !$=  Null(""), "aA" !~$=  Null(""))
("aA" !@<  Null(""), "aA" !~@<  Null(""), "aA" !$<  Null(""), "aA" !~$<  Null(""))
("aA" !@<= Null(""), "aA" !~@<= Null(""), "aA" !$<= Null(""), "aA" !~$<= Null(""))
("aA" !@>  Null(""), "aA" !~@>  Null(""), "aA" !$>  Null(""), "aA" !~$>  Null(""))
("aA" !@>= Null(""), "aA" !~@>= Null(""), "aA" !$>= Null(""), "aA" !~$>= Null(""))
("Aa"  @=  s, "Aa"  ~@=  s, "Aa"  $=  s, "Aa"  ~$=  s)
("Aa"  @<  s, "Aa"  ~@<  s, "Aa"  $<  s, "Aa"  ~$<  s)
("Aa"  @<= s, "Aa"  ~@<= s, "Aa"  $<= s, "Aa"  ~$<= s)
("Aa"  @>  s, "Aa"  ~@>  s, "Aa"  $>  s, "Aa"  ~$>  s)
("Aa"  @>= s, "Aa"  ~@>= s, "Aa"  $>= s, "Aa"  ~$>= s)
("Aa" !@=  s, "Aa" !~@=  s, "Aa" !$=  s, "Aa" !~$=  s)
("Aa" !@<  s, "Aa" !~@<  s, "Aa" !$<  s, "Aa" !~$<  s)
("Aa" !@<= s, "Aa" !~@<= s, "Aa" !$<= s, "Aa" !~$<= s)
("Aa" !@>  s, "Aa" !~@>  s, "Aa" !$>  s, "Aa" !~$>  s)
("Aa" !@>= s, "Aa" !~@>= s, "Aa" !$>= s, "Aa" !~$>= s)
("Aa"  @=  "", "Aa"  ~@=  "", "Aa"  $=  "", "Aa"  ~$=  "")
("Aa"  @<  "", "Aa"  ~@<  "", "Aa"  $<  "", "Aa"  ~$<  "")
("Aa"  @<= "", "Aa"  ~@<= "", "Aa"  $<= "", "Aa"  ~$<= "")
("Aa"  @>  "", "Aa"  ~@>  "", "Aa"  $>  "", "Aa"  ~$>  "")
("Aa"  @>= "", "Aa"  ~@>= "", "Aa"  $>= "", "Aa"  ~$>= "")
("Aa" !@=  "", "Aa" !~@=  "", "Aa" !$=  "", "Aa" !~$=  "")
("Aa" !@<  "", "Aa" !~@<  "", "Aa" !$<  "", "Aa" !~$<  "")
("Aa" !@<= "", "Aa" !~@<= "", "Aa" !$<= "", "Aa" !~$<= "")
("Aa" !@>  "", "Aa" !~@>  "", "Aa" !$>  "", "Aa" !~$>  "")
("Aa" !@>= "", "Aa" !~@>= "", "Aa" !$>= "", "Aa" !~$>= "")
("Aa"  @=  "AA", "Aa"  ~@=  "AA", "Aa"  $=  "AA", "Aa"  ~$=  "AA")
("Aa"  @<  "AA", "Aa"  ~@<  "AA", "Aa"  $<  "AA", "Aa"  ~$<  "AA")
("Aa"  @<= "AA", "Aa"  ~@<= "AA", "Aa"  $<= "AA", "Aa"  ~$<= "AA")
("Aa"  @>  "AA", "Aa"  ~@>  "AA", "Aa"  $>  "AA", "Aa"  ~$>  "AA")
("Aa"  @>= "AA", "Aa"  ~@>= "AA", "Aa"  $>= "AA", "Aa"  ~$>= "AA")
("Aa" !@=  "AA", "Aa" !~@=  "AA", "Aa" !$=  "AA", "Aa" !~$=  "AA")
("Aa" !@<  "AA", "Aa" !~@<  "AA", "Aa" !$<  "AA", "Aa" !~$<  "AA")
("Aa" !@<= "AA", "Aa" !~@<= "AA", "Aa" !$<= "AA", "Aa" !~$<= "AA")
("Aa" !@>  "AA", "Aa" !~@>  "AA", "Aa" !$>  "AA", "Aa" !~$>  "AA")
("Aa" !@>= "AA", "Aa" !~@>= "AA", "Aa" !$>= "AA", "Aa" !~$>= "AA")
("Aa"  @=  "aA", "Aa"  ~@=  "aA", "Aa"  $=  "aA", "Aa"  ~$=  "aA")
("Aa"  @<  "aA", "Aa"  ~@<  "aA", "Aa"  $<  "aA", "Aa"  ~$<  "aA")
("Aa"  @<= "aA", "Aa"  ~@<= "aA", "Aa"  $<= "aA", "Aa"  ~$<= "aA")
("Aa"  @>  "aA", "Aa"  ~@>  "aA", "Aa"  $>  "aA", "Aa"  ~$>  "aA")
("Aa"  @>= "aA", "Aa"  ~@>= "aA", "Aa"  $>= "aA", "Aa"  ~$>= "aA")
("Aa" !@=  "aA", "Aa" !~@=  "aA", "Aa" !$=  "aA", "Aa" !~$=  "aA")
("Aa" !@<  "aA", "Aa" !~@<  "aA", "Aa" !$<  "aA", "Aa" !~$<  "aA")
("Aa" !@<= "aA", "Aa" !~@<= "aA", "Aa" !$<= "aA", "Aa" !~$<= "aA")
("Aa" !@>  "aA", "Aa" !~@>  "aA", "Aa" !$>  "aA", "Aa" !~$>  "aA")
("Aa" !@>= "aA", "Aa" !~@>= "aA", "Aa" !$>= "aA", "Aa" !~$>= "aA")
("Aa"  @=  "Aa", "Aa"  ~@=  "Aa", "Aa"  $=  "Aa", "Aa"  ~$=  "Aa")
("Aa"  @<  "Aa", "Aa"  ~@<  "Aa", "Aa"  $<  "Aa", "Aa"  ~$<  "Aa")
("Aa"  @<= "Aa", "Aa"  ~@<= "Aa", "Aa"  $<= "Aa", "Aa"  ~$<= "Aa")
("Aa"  @>  "Aa", "Aa"  ~@>  "Aa", "Aa"  $>  "Aa", "Aa"  ~$>  "Aa")
("Aa"  @>= "Aa", "Aa"  ~@>= "Aa", "Aa"  $>= "Aa", "Aa"  ~$>= "Aa")
("Aa" !@=  "Aa", "Aa" !~@=  "Aa", "Aa" !$=  "Aa", "Aa" !~$=  "Aa")
("Aa" !@<  "Aa", "Aa" !~@<  "Aa", "Aa" !$<  "Aa", "Aa" !~$<  "Aa")
("Aa" !@<= "Aa", "Aa" !~@<= "Aa", "Aa" !$<= "Aa", "Aa" !~$<= "Aa")
("Aa" !@>  "Aa", "Aa" !~@>  "Aa", "Aa" !$>  "Aa", "Aa" !~$>  "Aa")
("Aa" !@>= "Aa", "Aa" !~@>= "Aa", "Aa" !$>= "Aa", "Aa" !~$>= "Aa")
("Aa"  @=  "BB", "Aa"  ~@=  "BB", "Aa"  $=  "BB", "Aa"  ~$=  "BB")
("Aa"  @<  "BB", "Aa"  ~@<  "BB", "Aa"  $<  "BB", "Aa"  ~$<  "BB")
("Aa"  @<= "BB", "Aa"  ~@<= "BB", "Aa"  $<= "BB", "Aa"  ~$<= "BB")
("Aa"  @>  "BB", "Aa"  ~@>  "BB", "Aa"  $>  "BB", "Aa"  ~$>  "BB")
("Aa"  @>= "BB", "Aa"  ~@>= "BB", "Aa"  $>= "BB", "Aa"  ~$>= "BB")
("Aa" !@=  "BB", "Aa" !~@=  "BB", "Aa" !$=  "BB", "Aa" !~$=  "BB")
("Aa" !@<  "BB", "Aa" !~@<  "BB", "Aa" !$<  "BB", "Aa" !~$<  "BB")
("Aa" !@<= "BB", "Aa" !~@<= "BB", "Aa" !$<= "BB", "Aa" !~$<= "BB")
("Aa" !@>  "BB", "Aa" !~@>  "BB", "Aa" !$>  "BB", "Aa" !~$>  "BB")
("Aa" !@>= "BB", "Aa" !~@>= "BB", "Aa" !$>= "BB", "Aa" !~$>= "BB")
("Aa"  @=  Null(""), "Aa"  ~@=  Null(""), "Aa"  $=  Null(""), "Aa"  ~$=  Null(""))
("Aa"  @<  Null(""), "Aa"  ~@<  Null(""), "Aa"  $<  Null(""), "Aa"  ~$<  Null(""))
("Aa"  @<= Null(""), "Aa"  ~@<= Null(""), "Aa"  $<= Null(""), "Aa"  ~$<= Null(""))
("Aa"  @>  Null(""), "Aa"  ~@>  Null(""), "Aa"  $>  Null(""), "Aa"  ~$>  Null(""))
("Aa"  @>= Null(""), "Aa"  ~@>= Null(""), "Aa"  $>= Null(""), "Aa"  ~$>= Null(""))
("Aa" !@=  Null(""), "Aa" !~@=  Null(""), "Aa" !$=  Null(""), "Aa" !~$=  Null(""))
("Aa" !@<  Null(""), "Aa" !~@<  Null(""), "Aa" !$<  Null(""), "Aa" !~$<  Null(""))
("Aa" !@<= Null(""), "Aa" !~@<= Null(""), "Aa" !$<= Null(""), "Aa" !~$<= Null(""))
("Aa" !@>  Null(""), "Aa" !~@>  Null(""), "Aa" !$>  Null(""), "Aa" !~$>  Null(""))
("Aa" !@>= Null(""), "Aa" !~@>= Null(""), "Aa" !$>= Null(""), "Aa" !~$>= Null(""))
("BB"  @=  s, "BB"  ~@=  s, "BB"  $=  s, "BB"  ~$=  s)
("BB"  @<  s, "BB"  ~@<  s, "BB"  $<  s, "BB"  ~$<  s)
("BB"  @<= s, "BB"  ~@<= s, "BB"  $<= s, "BB"  ~$<= s)
("BB"  @>  s, "BB"  ~@>  s, "BB"  $>  s, "BB"  ~$>  s)
("BB"  @>= s, "BB"  ~@>= s, "BB"  $>= s, "BB"  ~$>= s)
("BB" !@=  s, "BB" !~@=  s, "BB" !$=  s, "BB" !~$=  s)
("BB" !@<  s, "BB" !~@<  s, "BB" !$<  s, "BB" !~$<  s)
("BB" !@<= s, "BB" !~@<= s, "BB" !$<= s, "BB" !~$<= s)
("BB" !@>  s, "BB" !~@>  s, "BB" !$>  s, "BB" !~$>  s)
("BB" !@>= s, "BB" !~@>= s, "BB" !$>= s, "BB" !~$>= s)
("BB"  @=  "", "BB"  ~@=  "", "BB"  $=  "", "BB"  ~$=  "")
("BB"  @<  "", "BB"  ~@<  "", "BB"  $<  "", "BB"  ~$<  "")
("BB"  @<= "", "BB"  ~@<= "", "BB"  $<= "", "BB"  ~$<= "")
("BB"  @>  "", "BB"  ~@>  "", "BB"  $>  "", "BB"  ~$>  "")
("BB"  @>= "", "BB"  ~@>= "", "BB"  $>= "", "BB"  ~$>= "")
("BB" !@=  "", "BB" !~@=  "", "BB" !$=  "", "BB" !~$=  "")
("BB" !@<  "", "BB" !~@<  "", "BB" !$<  "", "BB" !~$<  "")
("BB" !@<= "", "BB" !~@<= "", "BB" !$<= "", "BB" !~$<= "")
("BB" !@>  "", "BB" !~@>  "", "BB" !$>  "", "BB" !~$>  "")
("BB" !@>= "", "BB" !~@>= "", "BB" !$>= "", "BB" !~$>= "")
("BB"  @=  "AA", "BB"  ~@=  "AA", "BB"  $=  "AA", "BB"  ~$=  "AA")
("BB"  @<  "AA", "BB"  ~@<  "AA", "BB"  $<  "AA", "BB"  ~$<  "AA")
("BB"  @<= "AA", "BB"  ~@<= "AA", "BB"  $<= "AA", "BB"  ~$<= "AA")
("BB"  @>  "AA", "BB"  ~@>  "AA", "BB"  $>  "AA", "BB"  ~$>  "AA")
("BB"  @>= "AA", "BB"  ~@>= "AA", "BB"  $>= "AA", "BB"  ~$>= "AA")
("BB" !@=  "AA", "BB" !~@=  "AA", "BB" !$=  "AA", "BB" !~$=  "AA")
("BB" !@<  "AA", "BB" !~@<  "AA", "BB" !$<  "AA", "BB" !~$<  "AA")
("BB" !@<= "AA", "BB" !~@<= "AA", "BB" !$<= "AA", "BB" !~$<= "AA")
("BB" !@>  "AA", "BB" !~@>  "AA", "BB" !$>  "AA", "BB" !~$>  "AA")
("BB" !@>= "AA", "BB" !~@>= "AA", "BB" !$>= "AA", "BB" !~$>= "AA")
("BB"  @=  "aA", "BB"  ~@=  "aA", "BB"  $=  "aA", "BB"  ~$=  "aA")
("BB"  @<  "aA", "BB"  ~@<  "aA", "BB"  $<  "aA", "BB"  ~$<  "aA")
("BB"  @<= "aA", "BB"  ~@<= "aA", "BB"  $<= "aA", "BB"  ~$<= "aA")
("BB"  @>  "aA", "BB"  ~@>  "aA", "BB"  $>  "aA", "BB"  ~$>  "aA")
("BB"  @>= "aA", "BB"  ~@>= "aA", "BB"  $>= "aA", "BB"  ~$>= "aA")
("BB" !@=  "aA", "BB" !~@=  "aA", "BB" !$=  "aA", "BB" !~$=  "aA")
("BB" !@<  "aA", "BB" !~@<  "aA", "BB" !$<  "aA", "BB" !~$<  "aA")
("BB" !@<= "aA", "BB" !~@<= "aA", "BB" !$<= "aA", "BB" !~$<= "aA")
("BB" !@>  "aA", "BB" !~@>  "aA", "BB" !$>  "aA", "BB" !~$>  "aA")
("BB" !@>= "aA", "BB" !~@>= "aA", "BB" !$>= "aA", "BB" !~$>= "aA")
("BB"  @=  "Aa", "BB"  ~@=  "Aa", "BB"  $=  "Aa", "BB"  ~$=  "Aa")
("BB"  @<  "Aa", "BB"  ~@<  "Aa", "BB"  $<  "Aa", "BB"  ~$<  "Aa")
("BB"  @<= "Aa", "BB"  ~@<= "Aa", "BB"  $<= "Aa", "BB"  ~$<= "Aa")
("BB"  @>  "Aa", "BB"  ~@>  "Aa", "BB"  $>  "Aa", "BB"  ~$>  "Aa")
("BB"  @>= "Aa", "BB"  ~@>= "Aa", "BB"  $>= "Aa", "BB"  ~$>= "Aa")
("BB" !@=  "Aa", "BB" !~@=  "Aa", "BB" !$=  "Aa", "BB" !~$=  "Aa")
("BB" !@<  "Aa", "BB" !~@<  "Aa", "BB" !$<  "Aa", "BB" !~$<  "Aa")
("BB" !@<= "Aa", "BB" !~@<= "Aa", "BB" !$<= "Aa", "BB" !~$<= "Aa")
("BB" !@>  "Aa", "BB" !~@>  "Aa", "BB" !$>  "Aa", "BB" !~$>  "Aa")
("BB" !@>= "Aa", "BB" !~@>= "Aa", "BB" !$>= "Aa", "BB" !~$>= "Aa")
("BB"  @=  "BB", "BB"  ~@=  "BB", "BB"  $=  "BB", "BB"  ~$=  "BB")
("BB"  @<  "BB", "BB"  ~@<  "BB", "BB"  $<  "BB", "BB"  ~$<  "BB")
("BB"  @<= "BB", "BB"  ~@<= "BB", "BB"  $<= "BB", "BB"  ~$<= "BB")
("BB"  @>  "BB", "BB"  ~@>  "BB", "BB"  $>  "BB", "BB"  ~$>  "BB")
("BB"  @>= "BB", "BB"  ~@>= "BB", "BB"  $>= "BB", "BB"  ~$>= "BB")
("BB" !@=  "BB", "BB" !~@=  "BB", "BB" !$=  "BB", "BB" !~$=  "BB")
("BB" !@<  "BB", "BB" !~@<  "BB", "BB" !$<  "BB", "BB" !~$<  "BB")
("BB" !@<= "BB", "BB" !~@<= "BB", "BB" !$<= "BB", "BB" !~$<= "BB")
("BB" !@>  "BB", "BB" !~@>  "BB", "BB" !$>  "BB", "BB" !~$>  "BB")
("BB" !@>= "BB", "BB" !~@>= "BB", "BB" !$>= "BB", "BB" !~$>= "BB")
("BB"  @=  Null(""), "BB"  ~@=  Null(""), "BB"  $=  Null(""), "BB"  ~$=  Null(""))
("BB"  @<  Null(""), "BB"  ~@<  Null(""), "BB"  $<  Null(""), "BB"  ~$<  Null(""))
("BB"  @<= Null(""), "BB"  ~@<= Null(""), "BB"  $<= Null(""), "BB"  ~$<= Null(""))
("BB"  @>  Null(""), "BB"  ~@>  Null(""), "BB"  $>  Null(""), "BB"  ~$>  Null(""))
("BB"  @>= Null(""), "BB"  ~@>= Null(""), "BB"  $>= Null(""), "BB"  ~$>= Null(""))
("BB" !@=  Null(""), "BB" !~@=  Null(""), "BB" !$=  Null(""), "BB" !~$=  Null(""))
("BB" !@<  Null(""), "BB" !~@<  Null(""), "BB" !$<  Null(""), "BB" !~$<  Null(""))
("BB" !@<= Null(""), "BB" !~@<= Null(""), "BB" !$<= Null(""), "BB" !~$<= Null(""))
("BB" !@>  Null(""), "BB" !~@>  Null(""), "BB" !$>  Null(""), "BB" !~$>  Null(""))
("BB" !@>= Null(""), "BB" !~@>= Null(""), "BB" !$>= Null(""), "BB" !~$>= Null(""))
(Null("")  @=  s, Null("")  ~@=  s, Null("")  $=  s, Null("")  ~$=  s)
(Null("")  @<  s, Null("")  ~@<  s, Null("")  $<  s, Null("")  ~$<  s)
(Null("")  @<= s, Null("")  ~@<= s, Null("")  $<= s, Null("")  ~$<= s)
(Null("")  @>  s, Null("")  ~@>  s, Null("")  $>  s, Null("")  ~$>  s)
(Null("")  @>= s, Null("")  ~@>= s, Null("")  $>= s, Null("")  ~$>= s)
(Null("") !@=  s, Null("") !~@=  s, Null("") !$=  s, Null("") !~$=  s)
(Null("") !@<  s, Null("") !~@<  s, Null("") !$<  s, Null("") !~$<  s)
(Null("") !@<= s, Null("") !~@<= s, Null("") !$<= s, Null("") !~$<= s)
(Null("") !@>  s, Null("") !~@>  s, Null("") !$>  s, Null("") !~$>  s)
(Null("") !@>= s, Null("") !~@>= s, Null("") !$>= s, Null("") !~$>= s)
(Null("")  @=  "", Null("")  ~@=  "", Null("")  $=  "", Null("")  ~$=  "")
(Null("")  @<  "", Null("")  ~@<  "", Null("")  $<  "", Null("")  ~$<  "")
(Null("")  @<= "", Null("")  ~@<= "", Null("")  $<= "", Null("")  ~$<= "")
(Null("")  @>  "", Null("")  ~@>  "", Null("")  $>  "", Null("")  ~$>  "")
(Null("")  @>= "", Null("")  ~@>= "", Null("")  $>= "", Null("")  ~$>= "")
(Null("") !@=  "", Null("") !~@=  "", Null("") !$=  "", Null("") !~$=  "")
(Null("") !@<  "", Null("") !~@<  "", Null("") !$<  "", Null("") !~$<  "")
(Null("") !@<= "", Null("") !~@<= "", Null("") !$<= "", Null("") !~$<= "")
(Null("") !@>  "", Null("") !~@>  "", Null("") !$>  "", Null("") !~$>  "")
(Null("") !@>= "", Null("") !~@>= "", Null("") !$>= "", Null("") !~$>= "")
(Null("")  @=  "AA", Null("")  ~@=  "AA", Null("")  $=  "AA", Null("")  ~$=  "AA")
(Null("")  @<  "AA", Null("")  ~@<  "AA", Null("")  $<  "AA", Null("")  ~$<  "AA")
(Null("")  @<= "AA", Null("")  ~@<= "AA", Null("")  $<= "AA", Null("")  ~$<= "AA")
(Null("")  @>  "AA", Null("")  ~@>  "AA", Null("")  $>  "AA", Null("")  ~$>  "AA")
(Null("")  @>= "AA", Null("")  ~@>= "AA", Null("")  $>= "AA", Null("")  ~$>= "AA")
(Null("") !@=  "AA", Null("") !~@=  "AA", Null("") !$=  "AA", Null("") !~$=  "AA")
(Null("") !@<  "AA", Null("") !~@<  "AA", Null("") !$<  "AA", Null("") !~$<  "AA")
(Null("") !@<= "AA", Null("") !~@<= "AA", Null("") !$<= "AA", Null("") !~$<= "AA")
(Null("") !@>  "AA", Null("") !~@>  "AA", Null("") !$>  "AA", Null("") !~$>  "AA")
(Null("") !@>= "AA", Null("") !~@>= "AA", Null("") !$>= "AA", Null("") !~$>= "AA")
(Null("")  @=  "aA", Null("")  ~@=  "aA", Null("")  $=  "aA", Null("")  ~$=  "aA")
(Null("")  @<  "aA", Null("")  ~@<  "aA", Null("")  $<  "aA", Null("")  ~$<  "aA")
(Null("")  @<= "aA", Null("")  ~@<= "aA", Null("")  $<= "aA", Null("")  ~$<= "aA")
(Null("")  @>  "aA", Null("")  ~@>  "aA", Null("")  $>  "aA", Null("")  ~$>  "aA")
(Null("")  @>= "aA", Null("")  ~@>= "aA", Null("")  $>= "aA", Null("")  ~$>= "aA")
(Null("") !@=  "aA", Null("") !~@=  "aA", Null("") !$=  "aA", Null("") !~$=  "aA")
(Null("") !@<  "aA", Null("") !~@<  "aA", Null("") !$<  "aA", Null("") !~$<  "aA")
(Null("") !@<= "aA", Null("") !~@<= "aA", Null("") !$<= "aA", Null("") !~$<= "aA")
(Null("") !@>  "aA", Null("") !~@>  "aA", Null("") !$>  "aA", Null("") !~$>  "aA")
(Null("") !@>= "aA", Null("") !~@>= "aA", Null("") !$>= "aA", Null("") !~$>= "aA")
(Null("")  @=  "Aa", Null("")  ~@=  "Aa", Null("")  $=  "Aa", Null("")  ~$=  "Aa")
(Null("")  @<  "Aa", Null("")  ~@<  "Aa", Null("")  $<  "Aa", Null("")  ~$<  "Aa")
(Null("")  @<= "Aa", Null("")  ~@<= "Aa", Null("")  $<= "Aa", Null("")  ~$<= "Aa")
(Null("")  @>  "Aa", Null("")  ~@>  "Aa", Null("")  $>  "Aa", Null("")  ~$>  "Aa")
(Null("")  @>= "Aa", Null("")  ~@>= "Aa", Null("")  $>= "Aa", Null("")  ~$>= "Aa")
(Null("") !@=  "Aa", Null("") !~@=  "Aa", Null("") !$=  "Aa", Null("") !~$=  "Aa")
(Null("") !@<  "Aa", Null("") !~@<  "Aa", Null("") !$<  "Aa", Null("") !~$<  "Aa")
(Null("") !@<= "Aa", Null("") !~@<= "Aa", Null("") !$<= "Aa", Null("") !~$<= "Aa")
(Null("") !@>  "Aa", Null("") !~@>  "Aa", Null("") !$>  "Aa", Null("") !~$>  "Aa")
(Null("") !@>= "Aa", Null("") !~@>= "Aa", Null("") !$>= "Aa", Null("") !~$>= "Aa")
(Null("")  @=  "BB", Null("")  ~@=  "BB", Null("")  $=  "BB", Null("")  ~$=  "BB")
(Null("")  @<  "BB", Null("")  ~@<  "BB", Null("")  $<  "BB", Null("")  ~$<  "BB")
(Null("")  @<= "BB", Null("")  ~@<= "BB", Null("")  $<= "BB", Null("")  ~$<= "BB")
(Null("")  @>  "BB", Null("")  ~@>  "BB", Null("")  $>  "BB", Null("")  ~$>  "BB")
(Null("")  @>= "BB", Null("")  ~@>= "BB", Null("")  $>= "BB", Null("")  ~$>= "BB")
(Null("") !@=  "BB", Null("") !~@=  "BB", Null("") !$=  "BB", Null("") !~$=  "BB")
(Null("") !@<  "BB", Null("") !~@<  "BB", Null("") !$<  "BB", Null("") !~$<  "BB")
(Null("") !@<= "BB", Null("") !~@<= "BB", Null("") !$<= "BB", Null("") !~$<= "BB")
(Null("") !@>  "BB", Null("") !~@>  "BB", Null("") !$>  "BB", Null("") !~$>  "BB")
(Null("") !@>= "BB", Null("") !~@>= "BB", Null("") !$>= "BB", Null("") !~$>= "BB")
(Null("")  @=  Null(""), Null("")  ~@=  Null(""), Null("")  $=  Null(""), Null("")  ~$=  Null(""))
(Null("")  @<  Null(""), Null("")  ~@<  Null(""), Null("")  $<  Null(""), Null("")  ~$<  Null(""))
(Null("")  @<= Null(""), Null("")  ~@<= Null(""), Null("")  $<= Null(""), Null("")  ~$<= Null(""))
(Null("")  @>  Null(""), Null("")  ~@>  Null(""), Null("")  $>  Null(""), Null("")  ~$>  Null(""))
(Null("")  @>= Null(""), Null("")  ~@>= Null(""), Null("")  $>= Null(""), Null("")  ~$>= Null(""))
(Null("") !@=  Null(""), Null("") !~@=  Null(""), Null("") !$=  Null(""), Null("") !~$=  Null(""))
(Null("") !@<  Null(""), Null("") !~@<  Null(""), Null("") !$<  Null(""), Null("") !~$<  Null(""))
(Null("") !@<= Null(""), Null("") !~@<= Null(""), Null("") !$<= Null(""), Null("") !~$<= Null(""))
(Null("") !@>  Null(""), Null("") !~@>  Null(""), Null("") !$>  Null(""), Null("") !~$>  Null(""))
(Null("") !@>= Null(""), Null("") !~@>= Null(""), Null("") !$>= Null(""), Null("") !~$>= Null(""))

