((#\0
  #2A(((:CURVE-Q4 (= =) (< >) (> <) (= =)) ((:S :S) (= =) (< <) (> <) (= <))
       (NIL (< <) (< =) (> <) (< <)) ((:E :S) (< >) (< >) (> =) (< <)))
      (((:S :S) (= =) (< >) (> >) (= >)) (:CURVE-Q1 (= =) (< <) (> >) (= =))
       ((:E :S) (< <) (< =) (> =) (< >)) (NIL (< >) (< >) (> >) (< >)))
      ((NIL (> >) (< >) (> =) (> >)) ((:S :E) (> >) (< =) (> =) (> <))
       (:CURVE-Q2 (= =) (< >) (> <) (= =)) ((:E :E) (= >) (< >) (> >) (= >)))
      (((:S :E) (> <) (< =) (> <) (> >)) (NIL (> <) (< <) (> <) (> <))
       ((:E :E) (= <) (< <) (> <) (= <)) (:CURVE-Q3 (= =) (< =) (> =) (= =)))))
 (#\0
  #2A(((:CURVE-Q4 (= =) (< >) (> <) (= =)) ((:S :S) (= >) (< =) (> =) (= <))
       ((:E :S) (< >) (< =) (= =) (< <)))
      (((:S :S) (= <) (< =) (> =) (= >)) (:CURVE-Q1 (= =) (< <) (> >) (= =))
       ((:E :E) (< =) (< <) (> >) (= =)))
      (((:S :E) (> <) (= =) (> =) (> >)) ((:E :E) (> =) (< <) (> >) (= =))
       (:CURVE-Q3 (= =) (< <) (> >) (= =)))))
 (#\1
  #2A(((:DIA101 (= =) (< =) (> =) (= =)) ((:S :S) (= =) (< >) (> <) (> >)))
      (((:S :S) (= =) (< >) (> <) (< <)) (:DIA146 (= =) (< >) (> <) (= =)))))
 (#\1
  #2A(((:VER (= =) (< =) (> =) (= =)) ((:S :S) (= =) (< >) (> =) (> >))
       ((:E :M) (< >) (< <) (= >) (= <)))
      (((:S :S) (= =) (< =) (> <) (< <)) (:DIA146 (= =) (< >) (> <) (= =))
       (NIL (< >) (< <) (< >) (< <)))
      (((:M :E) (> <) (= <) (> >) (= >)) (NIL (> <) (> <) (> >) (> >))
       (:HOR (= =) (= <) (= >) (= =)))))
 (#\1
  #2A(((:DIA135 (= =) (< >) (> <) (= =)) ((:S :S) (= =) (< =) (> <) (< <)))
      (((:S :S) (= =) (< >) (> =) (> >)) (:VER (= =) (< =) (> =) (= =)))))
 (#\1
  #2A(((:CURVE-Q1 (= =) (< =) (> =) (= =)) ((:E :M) (< =) (< <) (= >) (= <)))
      (((:S :E) (> =) (= <) (> >) (= >)) (:HOR (= =) (= <) (= >) (= =)))))
 (#\2
  #2A(((:CURVE-Q1 (= =) (< <) (> >) (= =)) ((:S :S) (= <) (< >) (> >) (> >))
       ((:E :S) (< <) (< =) (> =) (< >)) (NIL (< =) (< <) (< >) (< <)))
      (((:E :S) (= >) (< <) (> <) (< <)) (:CURVE-Q2 (= =) (< >) (> <) (= =))
       (NIL (< <) (< >) (= <) (< =)) (NIL (< >) (< <) (< =) (< <)))
      (((:S :E) (> >) (< =) (> =) (> <)) (NIL (> >) (= >) (> <) (> =))
       (:CURVE-Q2 (= =) (< >) (> <) (= =)) ((:E :S) (< >) (< <) (= =) (= <)))
      ((NIL (> =) (> <) (> >) (> >)) (NIL (> <) (> =) (> >) (> >))
       ((:S :E) (> <) (= =) (> >) (= >)) (:HOR (= =) (= <) (= >) (= =)))))
 (#\2
  #2A(((:CURVE-Q1 (= =) (< <) (> >) (= =)) ((:E :S) (< <) (< >) (> =) (< >))
       (NIL (< >) (< <) (< >) (< <)))
      (((:S :E) (> >) (< =) (> <) (> <)) (:CURVE-Q2 (= =) (< >) (> <) (= =))
       ((:E :S) (< >) (< <) (= =) (= <)))
      ((NIL (> <) (> <) (> >) (> >)) ((:S :E) (> <) (= =) (> >) (= >))
       (:HOR (= =) (= <) (= >) (= =)))))
 (#\3
  #2A(((:HOR (= =) (= <) (= >) (= =)) ((:E :S) (= <) (< <) (< =) (< >))
       (NIL (< <) (< <) (< >) (< >)) (NIL (< <) (< <) (< =) (< >))
       (NIL (< <) (< <) (< >) (< >)))
      (((:S :E) (= >) (> =) (> >) (> <)) (:CURVE-Q2 (= =) (< >) (> <) (= =))
       ((:E :E) (< >) (< >) (> <) (> <)) (NIL (< =) (< >) (< <) (< =))
       (NIL (< >) (< >) (< >) (< <)))
      ((NIL (> >) (> <) (> >) (> <)) ((:E :E) (> <) (< >) (> <) (< >))
       (:CURVE-Q3 (= =) (= <) (= >) (= =)) ((:E :S) (< <) (< >) (< <) (< >))
       (NIL (< >) (< <) (< >) (< <)))
      ((NIL (> >) (> =) (> >) (> <)) (NIL (> =) (> >) (> <) (> =))
       ((:S :E) (> >) (> >) (> <) (> <)) (:CURVE-Q2 (= =) (< >) (> <) (= =))
       ((:E :E) (< >) (< >) (> >) (= <)))
      ((NIL (> >) (> <) (> >) (> <)) (NIL (> <) (> <) (> <) (> >))
       (NIL (> <) (> <) (> >) (> >)) ((:E :E) (> <) (< <) (> <) (= >))
       (:CURVE-Q1 (= =) (< <) (> >) (= =)))))
 (#\3
  #2A(((:DIA168 (= =) (= >) (= <) (= =)) ((:S :S) (= =) (< >) (= <) (< =))
       (NIL (< >) (< <) (< <) (< <)))
      (((:S :S) (= =) (= >) (> <) (> =)) (:CURVE-Q2 (= =) (< >) (> <) (= =))
       ((:M :E) (< >) (< <) (> <) (> <)))
      ((NIL (> <) (> >) (> >) (> >)) ((:E :M) (> <) (< >) (> >) (< >))
       (:DIA011 (= =) (< <) (> >) (= =)))))
 (#\4
  #2A(((:CURVE-Q3 (= =) (< <) (> >) (= =)) (NIL (= <) (< <) (> <) (< <))
       ((:E :E) (= <) (< =) (> <) (= >)))
      ((NIL (= >) (< >) (> >) (> >)) (:VER (= =) (< =) (> =) (= =))
       ((:S :S) (= =) (< >) (> =) (> >)))
      (((:E :E) (= >) (< >) (> =) (= <)) ((:S :S) (= =) (< =) (> <) (< <))
       (:CURVE-Q2 (= =) (< >) (> <) (= =)))))
 (#\4
  #2A(((:CURVE-Q4 (= =) (< >) (> <) (= =)) ((:S :S) (= =) (< <) (> <) (< <))
       ((:E :S) (< >) (< <) (= =) (= <)))
      (((:S :S) (= =) (< >) (> >) (> >)) (:VER (= =) (< =) (> =) (= =))
       ((:M :M) (< >) (< <) (> >) (> <)))
      (((:S :E) (> <) (= =) (> >) (= >)) ((:M :M) (> <) (< <) (> >) (< >))
       (:HOR (= =) (= <) (= >) (= =)))))
 (#\5
  #2A(((:VER (= =) (< =) (> =) (= =)) ((:S :S) (= =) (= <) (> =) (> <))
       ((:E :S) (< =) (< <) (= =) (< <)) (NIL (< <) (< =) (< <) (< =)))
      (((:S :S) (= =) (< =) (= >) (< >)) (:HOR (= =) (= <) (= >) (= =))
       (NIL (< =) (< <) (< >) (< =)) (NIL (< <) (< =) (< =) (< >)))
      (((:S :E) (> =) (= =) (> >) (> >)) (NIL (> =) (> <) (> >) (> =))
       (:CURVE-Q1 (= =) (< <) (> >) (= =)) ((:E :S) (< <) (< =) (= =) (= >)))
      ((NIL (> >) (> >) (> =) (> =)) (NIL (> >) (> =) (> =) (> <))
       ((:S :E) (> >) (= =) (> =) (= <)) (:DIA168 (= =) (= >) (= <) (= =)))))
 (#\6
  #2A(((:CURVE-Q4 (= =) (< >) (> <) (= =)) ((:E :S) (< >) (< =) (> =) (> <))
       (NIL (< =) (< =) (> <) (< <)) ((:E :S) (< >) (< =) (= =) (< <)))
      (((:S :M) (> <) (< =) (> =) (< >)) (:HOR (= =) (= <) (= >) (= =))
       ((:E :S) (= <) (< <) (= =) (< =)) (NIL (< =) (< <) (< >) (< =)))
      ((NIL (> =) (< >) (> =) (> >)) ((:S :E) (= >) (= =) (> >) (> =))
       (:VER (= =) (< =) (> =) (= =)) ((:E :E) (< >) (< =) (> >) (= =)))
      (((:S :E) (> <) (= =) (> =) (> >)) (NIL (> =) (> <) (> >) (> =))
       ((:E :E) (> <) (< <) (> =) (= =)) (:CURVE-Q3 (= =) (< <) (> >) (= =)))))
 (#\7
  #2A(((:HOR (= =) (= <) (= >) (= =)) ((:E :S) (= <) (< =) (= =) (< >)))
      (((:S :E) (= >) (= =) (> =) (> <)) (:DIA123 (= =) (< >) (> <) (= =)))))
 (#\7
  #2A(((:HOR (= =) (= <) (= >) (= =)) ((:E :S) (= <) (< <) (= =) (< >))
       (NIL (< <) (< =) (< =) (< >)))
      (((:S :E) (= >) (= =) (> >) (> <)) (:DIA123 (= =) (< >) (> <) (= =))
       ((:M :M) (< =) (< >) (> <) (> >)))
      ((NIL (> >) (> =) (> =) (> <)) ((:M :M) (> =) (< >) (> <) (< <))
       (:DIA168 (= =) (= >) (= <) (= =)))))
 (#\7
  #2A(((:DIA011 (= =) (< <) (> >) (= =)) ((:E :S) (= <) (< <) (> =) (< >)))
      (((:S :E) (= >) (< =) (> >) (> <)) (:DIA112 (= =) (< >) (> <) (= =)))))
 (#\8
  #2A(((:CURVE-Q1 (= =) (= <) (= >) (= =)) ((:S :S) (= =) (< <) (= >) (< <))
       ((:E :S) (= <) (< =) (= =) (< >)) (NIL (< <) (< <) (< <) (< =))
       (NIL (< =) (< <) (< >) (< =)))
      (((:S :S) (= =) (= <) (> >) (> >)) (:CURVE-Q3 (= =) (< <) (> >) (= =))
       ((:M :M) (= <) (< =) (> =) (= >)) ((:E :S) (< <) (< <) (= =) (< =))
       (NIL (< =) (< <) (= >) (< =)))
      (((:S :E) (= >) (= =) (> =) (> <)) ((:M :M) (= >) (< =) (> =) (= <))
       (:DIA135 (= =) (< >) (> <) (= =)) (NIL (< =) (< =) (> <) (< <))
       ((:E :S) (< >) (< =) (= =) (< <)))
      ((NIL (> >) (> >) (> >) (> =)) ((:S :E) (> >) (= =) (> >) (> =))
       (NIL (> =) (< >) (> =) (> >)) (:CURVE-Q2 (= =) (< =) (> =) (= =))
       ((:E :E) (= >) (< =) (> >) (= =)))
      ((NIL (> =) (> <) (> >) (> =)) (NIL (> =) (= <) (> >) (> =))
       ((:S :E) (> <) (= =) (> =) (> >)) ((:E :E) (= <) (< <) (> =) (= =))
       (:CURVE-Q3 (= =) (< <) (> >) (= =)))))
 (#\8
  #2A(((:CURVE-Q1 (= =) (< <) (> >) (= =)) ((:S :S) (= <) (< >) (> >) (< >))
       (NIL (< >) (< <) (= >) (< =)) ((:E :S) (< <) (< <) (= =) (< =))
       (NIL (< =) (< <) (< >) (< =)))
      (((:S :S) (= >) (< <) (> <) (> <)) (:CURVE-Q4 (= =) (< >) (> <) (= =))
       ((:E :S) (< >) (< <) (> =) (< <)) (NIL (< <) (< <) (> <) (< <))
       (NIL (< >) (< <) (< <) (< <)))
      ((NIL (> <) (= <) (> >) (> =)) ((:S :E) (> <) (< =) (> >) (> >))
       (:CURVE-Q3 (= =) (< <) (> >) (= =)) ((:E :E) (= <) (< <) (> =) (= =))
       ((:M :S) (< =) (< <) (> >) (> =)))
      (((:S :E) (> >) (= =) (> >) (> =)) (NIL (> >) (< >) (> >) (> >))
       ((:E :E) (= >) (< =) (> >) (= =)) (:CURVE-Q2 (= =) (< =) (> =) (= =))
       ((:M :E) (< >) (< =) (> >) (> =)))
      ((NIL (> =) (> <) (> >) (> =)) (NIL (> <) (> >) (> >) (> >))
       ((:S :M) (> =) (< <) (> >) (< =)) ((:E :M) (> <) (< <) (> =) (< =))
       (:HOR (= =) (= <) (= >) (= =)))))
 (#\9
  #2A(((:CURVE-Q4 (= =) (= >) (= <) (= =)) ((:S :S) (= =) (< =) (= <) (< <))
       ((:E :S) (= >) (< =) (= =) (< <)) (NIL (< >) (< =) (< =) (< <)))
      (((:S :S) (= =) (= >) (> =) (> >)) (:CURVE-Q2 (= =) (< =) (> =) (= =))
       ((:M :E) (= >) (< =) (> >) (> =)) ((:E :E) (< >) (< >) (= >) (< =)))
      (((:S :E) (= <) (= =) (> =) (> >)) ((:E :M) (= <) (< <) (> =) (< =))
       (:CURVE-Q3 (= =) (< <) (> >) (= =)) (NIL (< =) (< <) (< >) (< =)))
      ((NIL (> <) (> =) (> =) (> >)) ((:E :E) (> <) (= <) (> <) (> =))
       (NIL (> =) (> <) (> >) (> =)) (:CURVE-Q3 (= =) (< <) (> >) (= =)))))
 (#\9
  #2A(((:CURVE-Q2 (= =) (= >) (= <) (= =)) (NIL (= =) (< >) (= <) (< <))
       ((:E :S) (= >) (< <) (= =) (< <)))
      ((NIL (= =) (= >) (> <) (> >)) (:CURVE-Q2 (= =) (< >) (> <) (= =))
       ((:E :E) (= >) (< =) (> >) (> <)))
      (((:S :E) (= <) (= =) (> >) (> >)) ((:E :E) (= <) (< <) (> =) (< >))
       (:CURVE-Q3 (= =) (< <) (> >) (= =))))))