((a0 = "<" & P6) & 
     (a0 = "eq" & P6)
      & 
     (a0 = "--" & P5) & (a0 = "/" & P3)
      & (
     a0 = "<=" & P6) & (a0 = "-"
      & P3)
      & (a0 = "*" & P5) & (
     a0 = "+" & P5)
      & (a0 = "Real"
      & P4) & (a0 = ":" & P5)
      & (
     a0 = "p2" & P3) & (a0 = "p1"
      & P3)
      & (a0 = "E" & P6) & (
     a0 = "=" & P6)
      & (a0 = "=/="
      & P0) & 
     (a0 = "<-" & P0)
      & 
     (a0 = "==" & P0) & 
     (a0 = "->" & P0)
      & (a0 = "v" & P0) & (
     a0 = "&" & P0) & P0)
      & 
     (
     (a0 = "L" & P1) & (a0 = "" & P2)
      & (
     a0 = "E" & P0) & 
     (a0 = "A" & P0) & P0) & (
     (a0 = "--" & P0)
      & (a0 = "*" & P2) & (
     a0 = "+" & P0)
      & (a0 = "=/="
      & P0) & 
     (a0 = "<-" & P4)
      & 
     (a0 = "==" & P0) & 
     (a0 = "->" & P4)
      & (a0 = "v" & P6) & (
     a0 = "&" & P8) & P0) & ((
     a0 = "<" & P0 & P0 & P0) & (
     a0 = "eq" & P0 & P0 & P0) & (
     a0 = "--"
      & P0 & P0 & P0 & P0) & (
     a0 = "/" & P0 & P0 & P0)
      & (
     a0 = "<=" & P0 & P0 & P0) & (
     a0 = "-" & P0 & P0 & P0) & (
     a0 = "*"
      & P0 & P0 & P0 & P0) & (
     a0 = "+"
      & P0 & P0 & P0 & P0) & (
     a0 = "Real" & P0 & P0)
      & (
     a0 = ":"
      & P0 & P0 & P1 & P0) & (
     a0 = "p2" & P0 & P0 & P0) & (
     a0 = "p1" & P0 & P0 & P0) & (
     a0 = "=" & P0 & P0 & P0) & (
     a0 = "E" & P0 & P1 & P0)
      & P0) & ((
     a0 = ""
      & P1 & P0 & P0 & P0) & (
     a0 = "E" & P0 & P0 & P0) & (
     a0 = "A" & P0 & P0 & P0)
      & P0) & (
     a0 = "ordmult"
      & a0 = "ordaddl" & a0 = "ordadd"
      & 
     a0 = "ordtrans" & a0 = "eqbyord"
      & a0 = "totorder" & 
     a0 = "dist"
      & a0 = "minv" & a0 = "mid"
      & a0 = "mcom" & 
     a0 = "mas"
      & a0 = "ainv" & a0 = "aid"
      & a0 = "aas" & 
     a0 = "acom"
      & a0 = "rinv" & a0 = "rminus"
      & 
     a0 = "rtimes" & a0 = "rplus"
      & a0 = "nontriv" & P0)
      & P0
\