Re: Cactus Rules

[Jon Awbrey <jawbrey@ATT.NET>]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

CR.  Note 24

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Here is a set of representative cactus graphs
for the 256 propositions on three variables.

To make some cactus graphs easier to draw in Ascii,
I will occasionally be forced to "stretch a point",
drawing the root node "@" as @=@, @=@=@, and so on,
and the regular nodes "o" as o=o, o=o=o, and so on.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

CR.  Cactus Graphs -- Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

o-------------------o         o-------------------o
|                   |         |                   |
|         o         |         |                   |
|         |         |         |                   |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|        ( )        |         |                   |
o-------------------o         o-------------------o
|        q_0        |         |       q_255       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p q r       |
|                   |         |       o o o       |
|       p q r       |         |        \|/        |
|       o o o       |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p)(q)(r)     |         |    ((p)(q)(r))    |
o-------------------o         o-------------------o
|        q_1        |         |       q_254       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   q       |
|                   |         |       o   o       |
|       p   q       |         |        \ /        |
|       o   o       |         |         o r       |
|        \ /        |         |         |         |
|         @ r       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p)(q) r      |         |    ((p)(q) r)     |
o-------------------o         o-------------------o
|        q_2        |         |       q_253       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   q       |
|                   |         |       o   o       |
|       p   q       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p) (q)      |         |     ((p) (q))     |
o-------------------o         o-------------------o
|        q_3        |         |       q_252       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   r       |
|                   |         |       o   o       |
|       p   r       |         |        \ /        |
|       o   o       |         |         o q       |
|        \ /        |         |         |         |
|         @ q       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p) q (r)     |         |    ((p) q (r))    |
o-------------------o         o-------------------o
|        q_4        |         |       q_251       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   r       |
|                   |         |       o   o       |
|       p   r       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p) (r)      |         |     ((p) (r))     |
o-------------------o         o-------------------o
|        q_5        |         |       q_250       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p q r       |
|                   |         |       o o-o       |
|       p q r       |         |        \|/        |
|       o o-o       |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p)(q, r)     |         |    ((p)(q, r))    |
o-------------------o         o-------------------o
|        q_6        |         |       q_249       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p  q r      |
|                   |         |       o   o       |
|       p  q r      |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p) (q r)     |         |    ((p) (q r))    |
o-------------------o         o-------------------o
|        q_7        |         |       q_248       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         p         |
|                   |         |         o         |
|         p         |         |         |         |
|         o         |         |         o q r     |
|         |         |         |         |         |
|         @ q r     |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p) q r      |         |     ((p) q r)     |
o-------------------o         o-------------------o
|        q_8        |         |       q_247       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         q   r     |
|                   |         |         o---o     |
|         q   r     |         |       p  \ /      |
|         o---o     |         |       o   o       |
|       p  \ /      |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p)((q, r))    |         |   ((p)((q, r)))   |
o-------------------o         o-------------------o
|        q_9        |         |       q_246       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         p         |
|                   |         |         o         |
|         p         |         |         |         |
|         o         |         |         o r       |
|         |         |         |         |         |
|         @ r       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       (p) r       |         |      ((p) r)      |
o-------------------o         o-------------------o
|        q_10       |         |       q_245       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           r       |
|                   |         |           o       |
|           r       |         |       p   |       |
|           o       |         |       o   o q     |
|       p   |       |         |        \ /        |
|       o   o q     |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p) (q (r))    |         |   ((p) (q (r)))   |
o-------------------o         o-------------------o
|        q_11       |         |       q_244       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         p         |
|                   |         |         o         |
|         p         |         |         |         |
|         o         |         |         o q       |
|         |         |         |         |         |
|         @ q       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       (p) q       |         |      ((p) q)      |
o-------------------o         o-------------------o
|        q_12       |         |       q_243       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           q       |
|                   |         |           o       |
|           q       |         |       p   |       |
|           o       |         |       o   o r     |
|       p   |       |         |        \ /        |
|       o   o r     |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p) ((q) r)    |         |   ((p) ((q) r))   |
o-------------------o         o-------------------o
|        q_13       |         |       q_242       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         q   r     |
|                   |         |         o   o     |
|         q   r     |         |       p  \ /      |
|         o   o     |         |       o   o       |
|       p  \ /      |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p)((q)(r))    |         |   ((p)((q)(r)))   |
o-------------------o         o-------------------o
|        q_14       |         |       q_241       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p         |         |                   |
|         o         |         |                   |
|         |         |         |         p         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|        (p)        |         |         p         |
o-------------------o         o-------------------o
|        q_15       |         |       q_240       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       q   r       |
|                   |         |       o   o       |
|       q   r       |         |        \ /        |
|       o   o       |         |       p o         |
|        \ /        |         |         |         |
|       p @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      p (q)(r)     |         |     (p (q)(r))    |
o-------------------o         o-------------------o
|        q_16       |         |       q_239       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       q   r       |
|                   |         |       o   o       |
|       q   r       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (q) (r)      |         |     ((q) (r))     |
o-------------------o         o-------------------o
|        q_17       |         |       q_238       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p r q       |
|                   |         |       o-o o       |
|       p r q       |         |        \|/        |
|       o-o o       |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p, r)(q)     |         |    ((p, r)(q))    |
o-------------------o         o-------------------o
|        q_18       |         |       q_237       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |      p r  q       |
|                   |         |       o   o       |
|      p r  q       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p r) (q)     |         |    ((p r) (q))    |
o-------------------o         o-------------------o
|        q_19       |         |       q_236       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p q r       |
|                   |         |       o-o o       |
|       p q r       |         |        \|/        |
|       o-o o       |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p, q)(r)     |         |    ((p, q)(r))    |
o-------------------o         o-------------------o
|        q_20       |         |       q_235       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |      p q  r       |
|                   |         |       o   o       |
|      p q  r       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p q) (r)     |         |    ((p q) (r))    |
o-------------------o         o-------------------o
|        q_21       |         |       q_234       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p q r       |
|                   |         |       o o o       |
|       p q r       |         |       | | |       |
|       o o o       |         |       o-o-o       |
|       | | |       |         |        \ /        |
|       o-o-o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p),(q),(r))   |         |  (((p),(q),(r)))  |
o-------------------o         o-------------------o
|        q_22       |         |       q_233       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |          p q r    |
|                   |         |          o o o    |
|          p q r    |         |    p q r | | |    |
|          o o o    |         |    o o o o-o-o    |
|    p q r | | |    |         |     \|/   \ /     |
|    o o o o-o-o    |         |      o-----o      |
|     \|/   \ /     |         |       \   /       |
|      o-----o      |         |        \ /        |
|       \   /       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|  ( (p) (q) (r)    |         | (( (p) (q) (r)    |
|  ,((p),(q),(r)))  |         |  ,((p),(q),(r)))) |
o-------------------o         o-------------------o
|        q_23       |         |       q_232       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |      p q p r      |
|                   |         |      o-o o-o      |
|      p q p r      |         |       \| |/       |
|      o-o o-o      |         |        o=o        |
|       \| |/       |         |         |         |
|        @=@        |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, q) (p, r)   |         |  ((p, q) (p, r))  |
o-------------------o         o-------------------o
|        q_24       |         |       q_231       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p q r     |         |                   |
|         o o o     |         |                   |
|         | | |     |         |         p q r     |
|         o-o-o     |         |         o o o     |
|       p  \ /      |         |         | | |     |
|       o---o       |         |         o-o-o     |
|        \ /        |         |       p  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((      p         |         |  (      p         |
|  ,((p),(q),(r)))) |         |  ,((p),(q),(r)))  |
o-------------------o         o-------------------o
|        q_25       |         |       q_230       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           r       |
|                   |         |           o       |
|           r       |         |       p r |       |
|           o       |         |       o-o o q     |
|       p r |       |         |        \|/        |
|       o-o o q     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, r)(q (r))   |         |  ((p, r)(q (r)))  |
o-------------------o         o-------------------o
|        q_26       |         |       q_229       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p q q r    |         |                   |
|        o-o o-o    |         |                   |
|    p q  \| |/     |         |        p q q r    |
|      o---o=o      |         |        o-o o-o    |
|       \   /       |         |    p q  \| |/     |
|        \ /        |         |      o---o=o      |
|         o         |         |       \   /       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (( p      q       |         |  ( p      q       |
|  ,(p, q) (q, r))) |         |  ,(p, q) (q, r))  |
o-------------------o         o-------------------o
|        q_27       |         |       q_228       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           q       |
|                   |         |           o       |
|           q       |         |       p q |       |
|           o       |         |       o-o o r     |
|       p q |       |         |        \|/        |
|       o-o o r     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, q)((q) r)   |         |  ((p, q)((q) r))  |
o-------------------o         o-------------------o
|        q_28       |         |       q_227       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p r q r    |         |                   |
|        o-o o-o    |         |                   |
|    p r  \| |/     |         |        p r q r    |
|      o---o=o      |         |        o-o o-o    |
|       \   /       |         |    p r  \| |/     |
|        \ /        |         |      o---o=o      |
|         o         |         |       \   /       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (( p      r       |         |  ( p      r       |
|  ,(p, r) (q, r))) |         |  ,(p, r) (q, r))  |
o-------------------o         o-------------------o
|        q_29       |         |       q_226       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         q   r     |         |                   |
|         o   o     |         |                   |
|       p  \ /      |         |         q   r     |
|       o---o       |         |         o   o     |
|        \ /        |         |       p  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p, (q) (r)))  |         |    (p, (q) (r))   |
o-------------------o         o-------------------o
|        q_30       |         |       q_225       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       q   r       |         |                   |
|       o   o       |         |                   |
|        \ /        |         |       q   r       |
|         o         |         |       o   o       |
|         |         |         |        \ /        |
|       p o         |         |         o         |
|         |         |         |         |         |
|         @         |         |       p @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p ((q)(r)))   |         |     p ((q)(r))    |
o-------------------o         o-------------------o
|        q_31       |         |       q_224       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         q         |
|                   |         |         o         |
|         q         |         |         |         |
|         o         |         |       p o r       |
|         |         |         |         |         |
|       p @ r       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      p (q) r      |         |     (p (q) r)     |
o-------------------o         o-------------------o
|        q_32       |         |       q_223       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |     p   r         |
|                   |         |     o---o         |
|     p   r         |         |      \ /  q       |
|     o---o         |         |       o   o       |
|      \ /  q       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p, r))(q)    |         |   (((p, r))(q))   |
o-------------------o         o-------------------o
|        q_33       |         |       q_222       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         q         |
|                   |         |         o         |
|         q         |         |         |         |
|         o         |         |         o r       |
|         |         |         |         |         |
|         @ r       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       (q) r       |         |      ((q) r)      |
o-------------------o         o-------------------o
|        q_34       |         |       q_221       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       r           |
|                   |         |       o           |
|       r           |         |       |   q       |
|       o           |         |     p o   o       |
|       |   q       |         |        \ /        |
|     p o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p (r))(q)    |         |    ((p (r))(q))   |
o-------------------o         o-------------------o
|        q_35       |         |       q_220       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |      p q q r      |
|                   |         |      o-o o-o      |
|      p q q r      |         |       \| |/       |
|      o-o o-o      |         |        o=o        |
|       \| |/       |         |         |         |
|        @=@        |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, q) (q, r)   |         |  ((p, q) (q, r))  |
o-------------------o         o-------------------o
|        q_36       |         |       q_219       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p q r     |         |                   |
|         o o o     |         |                   |
|         | | |     |         |         p q r     |
|         o-o-o     |         |         o o o     |
|       q  \ /      |         |         | | |     |
|       o---o       |         |         o-o-o     |
|        \ /        |         |       q  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((      q         |         |  (      q         |
|  ,((p),(q),(r)))) |         |  ,((p),(q),(r)))  |
o-------------------o         o-------------------o
|        q_37       |         |       q_218       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           r       |
|                   |         |           o       |
|           r       |         |       q r |       |
|           o       |         |       o-o o p     |
|       q r |       |         |        \|/        |
|       o-o o p     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (q, r)(p (r))   |         |  ((q, r)(p (r)))  |
o-------------------o         o-------------------o
|        q_38       |         |       q_217       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p q p r    |         |                   |
|        o-o o-o    |         |                   |
|    p q  \| |/     |         |        p q p r    |
|      o---o=o      |         |        o-o o-o    |
|       \   /       |         |    p q  \| |/     |
|        \ /        |         |      o---o=o      |
|         o         |         |       \   /       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (( p      q       |         |  ( p      q       |
|  ,(p, q) (p, r))) |         |  ,(p, q) (p, r))  |
o-------------------o         o-------------------o
|        q_39       |         |       q_216       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   q       |
|                   |         |       o---o       |
|       p   q       |         |        \ /        |
|       o---o       |         |         o r       |
|        \ /        |         |         |         |
|         @ r       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p, q) r      |         |    ((p, q) r)     |
o-------------------o         o-------------------o
|        q_40       |         |       q_215       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p q         |
|                   |         |       o o         |
|       p q         |         |       | | r       |
|       o o         |         |       o-o-o       |
|       | | r       |         |        \ /        |
|       o-o-o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p),(q), r )   |         |  (((p),(q), r ))  |
o-------------------o         o-------------------o
|       q_41        |         |       q_214       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |        p q        |
|                   |         |         o         |
|        p q        |         |         |         |
|         o         |         |         o r       |
|         |         |         |         |         |
|         @ r       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p q) r      |         |     ((p q) r)     |
o-------------------o         o-------------------o
|        q_42       |         |       q_213       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |          p q      |
|                   |         |          o o      |
|          p q      |         |    p q   | | r    |
|          o o      |         |    o o   o-o-o    |
|    p q   | | r    |         |     \|    \ /     |
|    o o   o-o-o    |         |    r o-----o      |
|     \|    \ /     |         |       \   /       |
|    r o-----o      |         |        \ /        |
|       \   /       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|  ( (p) (q)  r     |         | (( (p) (q)  r     |
|  ,((p),(q), r ))  |         |  ,((p),(q), r ))) |
o-------------------o         o-------------------o
|        q_43       |         |       q_212       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           r       |
|                   |         |           o       |
|           r       |         |       p q |       |
|           o       |         |       o-o o p     |
|       p q |       |         |        \|/        |
|       o-o o p     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, q)(p (r))   |         |  ((p, q)(p (r)))  |
o-------------------o         o-------------------o
|        q_44       |         |       q_211       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|           q       |         |                   |
|           o       |         |                   |
|       p   |       |         |           q       |
|       o---o r     |         |           o       |
|        \ /        |         |       p   |       |
|         o         |         |       o---o r     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p, (q) r))    |         |    (p, (q) r)     |
o-------------------o         o-------------------o
|        q_45       |         |       q_210       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p   q       |         |                   |
|       o   o       |         |                   |
|       |   |       |         |       p   q       |
|     q o   o r     |         |       o   o       |
|        \ /        |         |       |   |       |
|         o         |         |     q o   o r     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (((p) q) ((q) r)) |         |  ((p) q) ((q) r)  |
o-------------------o         o-------------------o
|        q_46       |         |       q_209       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         q         |         |                   |
|         o         |         |                   |
|         |         |         |         q         |
|         o r       |         |         o         |
|         |         |         |         |         |
|       p o         |         |         o r       |
|         |         |         |         |         |
|         @         |         |       p @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p ((q) r))    |         |     p ((q) r)     |
o-------------------o         o-------------------o
|        q_47       |         |       q_208       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         q         |
|                   |         |         o         |
|         q         |         |         |         |
|         o         |         |       p o         |
|         |         |         |         |         |
|       p @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       p (q)       |         |      (p (q))      |
o-------------------o         o-------------------o
|        q_48       |         |       q_207       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p           |
|                   |         |       o           |
|       p           |         |       |   q       |
|       o           |         |     r o   o       |
|       |   q       |         |        \ /        |
|     r o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p) r) (q)    |         |   (((p) r) (q))   |
o-------------------o         o-------------------o
|        q_49       |         |       q_206       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |     p   r         |
|                   |         |     o   o         |
|     p   r         |         |      \ /  q       |
|     o   o         |         |       o   o       |
|      \ /  q       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p) (r)) (q)   |         |  (((p) (r)) (q))  |
o-------------------o         o-------------------o
|        q_50       |         |       q_205       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         q         |         |                   |
|         o         |         |                   |
|         |         |         |         q         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|        (q)        |         |         q         |
o-------------------o         o-------------------o
|        q_51       |         |       q_204       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           p       |
|                   |         |           o       |
|           p       |         |       p q |       |
|           o       |         |       o-o o r     |
|       p q |       |         |        \|/        |
|       o-o o r     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, q)((p) r)   |         |  ((p, q)((p) r))  |
o-------------------o         o-------------------o
|        q_52       |         |       q_203       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p r q r    |         |                   |
|        o-o o-o    |         |                   |
|    q r  \| |/     |         |        p r q r    |
|      o---o=o      |         |        o-o o-o    |
|       \   /       |         |    q r  \| |/     |
|        \ /        |         |      o---o=o      |
|         o         |         |       \   /       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (( q      r       |         |  ( q      r       |
|  ,(p, r) (q, r))) |         |  ,(p, r) (q, r))  |
o-------------------o         o-------------------o
|        q_53       |         |       q_202       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p   r     |         |                   |
|         o   o     |         |                   |
|       q  \ /      |         |         p   r     |
|       o---o       |         |         o   o     |
|        \ /        |         |       q  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((q, (p)(r)))   |         |    (q, (p)(r))    |
o-------------------o         o-------------------o
|        q_54       |         |       q_201       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p   r       |         |                   |
|       o   o       |         |                   |
|        \ /        |         |       p   r       |
|         o         |         |       o   o       |
|         |         |         |        \ /        |
|         o q       |         |         o         |
|         |         |         |         |         |
|         @         |         |         @ q       |
|                   |         |                   |
o-------------------o         o-------------------o
|   (((p)(r)) q)    |         |    ((p)(r)) q     |
o-------------------o         o-------------------o
|        q_55       |         |       q_200       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           r       |
|                   |         |           o       |
|           r       |         |       p q |       |
|           o       |         |       o-o o q     |
|       p q |       |         |        \|/        |
|       o-o o q     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, q)(q (r))   |         |  ((p, q)(q (r)))  |
o-------------------o         o-------------------o
|        q_56       |         |       q_199       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|           p       |         |                   |
|           o       |         |                   |
|       q   |       |         |           p       |
|       o---o r     |         |           o       |
|        \ /        |         |       q   |       |
|         o         |         |       o---o r     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((q, (p) r))    |         |    (q, (p) r)     |
o-------------------o         o-------------------o
|        q_57       |         |       q_198       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       q   p       |         |                   |
|       o   o       |         |                   |
|       |   |       |         |       q   p       |
|     p o   o r     |         |       o   o       |
|        \ /        |         |       |   |       |
|         o         |         |     p o   o r     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((p (q)) ((p) r)) |         |  (p (q)) ((p) r)  |
o-------------------o         o-------------------o
|        q_58       |         |       q_197       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p         |         |                   |
|         o         |         |                   |
|         |         |         |         p         |
|         o r       |         |         o         |
|         |         |         |         |         |
|         o q       |         |         o r       |
|         |         |         |         |         |
|         @         |         |         @ q       |
|                   |         |                   |
o-------------------o         o-------------------o
|    (((p) r) q)    |         |     ((p) r) q     |
o-------------------o         o-------------------o
|        q_59       |         |       q_196       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   q       |
|                   |         |       o---o       |
|       p   q       |         |        \ /        |
|       o---o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p , q)      |         |     ((p , q))     |
o-------------------o         o-------------------o
|       q_60        |         |       q_195       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p q r     |         |                   |
|         o-o-o     |         |                   |
|       r  \ /      |         |         p q r     |
|       o---o       |         |         o-o-o     |
|        \ /        |         |       r  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((r, (p, q, r ))) |         |  (r, (p, q, r ))  |
o-------------------o         o-------------------o
|        q_61       |         |       q_194       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|     p   q   p     |         |                   |
|     o---o   o     |         |                   |
|      \ /   /      |         |     p   q   p     |
|       o   o r     |         |     o---o   o     |
|        \ /        |         |      \ /   /      |
|         o         |         |       o   o r     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (((p, q))((p) r)) |         |  ((p, q))((p) r)  |
o-------------------o         o-------------------o
|        q_62       |         |       q_193       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p q        |         |                   |
|         o         |         |                   |
|         |         |         |        p q        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       (p q)       |         |        p q        |
o-------------------o         o-------------------o
|        q_63       |         |       q_192       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         r         |
|                   |         |         o         |
|         r         |         |         |         |
|         o         |         |     p q o         |
|         |         |         |         |         |
|     p q @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     p q (r)       |         |    (p q (r))      |
o-------------------o         o-------------------o
|        q_64       |         |       q_191       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |     p   q         |
|                   |         |     o---o         |
|     p   q         |         |      \ /  r       |
|     o---o         |         |       o   o       |
|      \ /  r       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p, q))(r)    |         |   (((p, q))(r))   |
o-------------------o         o-------------------o
|        q_65       |         |       q_190       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |      p r q r      |
|                   |         |      o-o o-o      |
|      p r q r      |         |       \| |/       |
|      o-o o-o      |         |        o=o        |
|       \| |/       |         |         |         |
|        @=@        |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, r) (q, r)   |         |  ((p, r) (q, r))  |
o-------------------o         o-------------------o
|        q_66       |         |       q_189       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p q r     |         |                   |
|         o o o     |         |                   |
|         | | |     |         |         p q r     |
|         o-o-o     |         |         o o o     |
|       r  \ /      |         |         | | |     |
|       o---o       |         |         o-o-o     |
|        \ /        |         |       r  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((      r         |         |  (      r         |
|  ,((p),(q),(r)))) |         |  ,((p),(q),(r)))  |
o-------------------o         o-------------------o
|        q_67       |         |       q_188       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         r         |
|                   |         |         o         |
|         r         |         |         |         |
|         o         |         |       q o         |
|         |         |         |         |         |
|       q @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       q (r)       |         |      (q (r))      |
o-------------------o         o-------------------o
|        q_68       |         |       q_187       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       q           |
|                   |         |       o           |
|       q           |         |       |   r       |
|       o           |         |     p o   o       |
|       |   r       |         |        \ /        |
|     p o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p (q))(r)    |         |    ((p (q))(r))   |
o-------------------o         o-------------------o
|        q_69       |         |       q_186       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           q       |
|                   |         |           o       |
|           q       |         |       q r |       |
|           o       |         |       o-o o p     |
|       q r |       |         |        \|/        |
|       o-o o p     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (q, r)(p (q))   |         |  ((q, r)(p (q)))  |
o-------------------o         o-------------------o
|        q_70       |         |       q_185       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p q p r    |         |                   |
|        o-o o-o    |         |                   |
|    p r  \| |/     |         |        p q p r    |
|      o---o=o      |         |        o-o o-o    |
|       \   /       |         |    p r  \| |/     |
|        \ /        |         |      o---o=o      |
|         o         |         |       \   /       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (( p      r       |         |  ( p      r       |
|  ,(p, q) (p, r))) |         |  ,(p, q) (p, r))  |
o-------------------o         o-------------------o
|        q_71       |         |       q_184       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   r       |
|                   |         |       o---o       |
|       p   r       |         |        \ /        |
|       o---o       |         |         o q       |
|        \ /        |         |         |         |
|         @ q       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p, r) q      |         |    ((p, r) q)     |
o-------------------o         o-------------------o
|        q_72       |         |       q_183       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   r       |
|                   |         |       o   o       |
|       p   r       |         |       | q |       |
|       o   o       |         |       o-o-o       |
|       | q |       |         |        \ /        |
|       o-o-o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p), q ,(r))   |         |  (((p), q ,(r)))  |
o-------------------o         o-------------------o
|       q_73        |         |       q_182       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           q       |
|                   |         |           o       |
|           q       |         |       p r |       |
|           o       |         |       o-o o p     |
|       p r |       |         |        \|/        |
|       o-o o p     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, r)(p (q))   |         |  ((p, r)(p (q)))  |
o-------------------o         o-------------------o
|        q_74       |         |       q_181       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|           r       |         |                   |
|           o       |         |                   |
|       p   |       |         |           r       |
|       o---o q     |         |           o       |
|        \ /        |         |       p   |       |
|         o         |         |       o---o q     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p, q (r)))   |         |     (p, q (r))    |
o-------------------o         o-------------------o
|        q_75       |         |       q_180       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |        p r        |
|                   |         |         o         |
|        p r        |         |         |         |
|         o         |         |         o q       |
|         |         |         |         |         |
|         @ q       |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p r) q      |         |     ((p r) q)     |
o-------------------o         o-------------------o
|        q_76       |         |       q_179       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |          p   r    |
|                   |         |          o   o    |
|          p   r    |         |    p r   | q |    |
|          o   o    |         |    o o   o-o-o    |
|    p r   | q |    |         |     \|    \ /     |
|    o o   o-o-o    |         |    q o-----o      |
|     \|    \ /     |         |       \   /       |
|    q o-----o      |         |        \ /        |
|       \   /       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|  ( (p)  q  (r)    |         | (( (p)  q  (r)    |
|  ,((p), q ,(r)))  |         |  ,((p), q ,(r)))) |
o-------------------o         o-------------------o
|        q_77       |         |       q_178       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p   r       |         |                   |
|       o   o       |         |                   |
|       |   |       |         |       p   r       |
|     r o   o q     |         |       o   o       |
|        \ /        |         |       |   |       |
|         o         |         |     r o   o q     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (((p) r) (q (r))) |         |  ((p) r) (q (r))  |
o-------------------o         o-------------------o
|        q_78       |         |       q_177       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         r         |         |                   |
|         o         |         |                   |
|         |         |         |         r         |
|       q o         |         |         o         |
|         |         |         |         |         |
|       p o         |         |       q o         |
|         |         |         |         |         |
|         @         |         |       p @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p (q (r)))    |         |     p (q (r))     |
o-------------------o         o-------------------o
|        q_79       |         |       q_176       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         r         |
|                   |         |         o         |
|         r         |         |         |         |
|         o         |         |       p o         |
|         |         |         |         |         |
|       p @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       p (r)       |         |      (p (r))      |
o-------------------o         o-------------------o
|        q_80       |         |       q_175       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p           |
|                   |         |       o           |
|       p           |         |       |   r       |
|       o           |         |     q o   o       |
|       |   r       |         |        \ /        |
|     q o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p) q)(r)     |         |   (((p) q)(r))    |
o-------------------o         o-------------------o
|        q_81       |         |       q_174       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           p       |
|                   |         |           o       |
|           p       |         |       p r |       |
|           o       |         |       o-o o q     |
|       p r |       |         |        \|/        |
|       o-o o q     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, r)((p) q)   |         |  ((p, r)((p) q))  |
o-------------------o         o-------------------o
|        q_82       |         |       q_173       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p q q r    |         |                   |
|        o-o o-o    |         |                   |
|    q r  \| |/     |         |        p q q r    |
|      o---o=o      |         |        o-o o-o    |
|       \   /       |         |    q r  \| |/     |
|        \ /        |         |      o---o=o      |
|         o         |         |       \   /       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (( q      r       |         |  ( q      r       |
|  ,(p, q) (q, r))) |         |  ,(p, q) (q, r))  |
o-------------------o         o-------------------o
|        q_83       |         |       q_172       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |     p   q         |
|                   |         |     o   o         |
|     p   q         |         |      \ /  r       |
|     o   o         |         |       o   o       |
|      \ /  r       |         |        \ /        |
|       o   o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p)(q))(r)    |         |   (((p)(q))(r))   |
o-------------------o         o-------------------o
|        q_84       |         |       q_171       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         r         |         |                   |
|         o         |         |                   |
|         |         |         |         r         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|        (r)        |         |         r         |
o-------------------o         o-------------------o
|        q_85       |         |       q_170       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p   q     |         |                   |
|         o   o     |         |                   |
|       r  \ /      |         |         p   q     |
|       o---o       |         |         o   o     |
|        \ /        |         |       r  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((r, (p)(q)))   |         |    (r, (p)(q))    |
o-------------------o         o-------------------o
|        q_86       |         |       q_169       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p   q       |         |                   |
|       o   o       |         |                   |
|        \ /        |         |       p   q       |
|         o         |         |       o   o       |
|         |         |         |        \ /        |
|         o r       |         |         o         |
|         |         |         |         |         |
|         @         |         |         @ r       |
|                   |         |                   |
o-------------------o         o-------------------o
|   (((p)(q)) r)    |         |    ((p)(q)) r     |
o-------------------o         o-------------------o
|        q_87       |         |       q_168       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           q       |
|                   |         |           o       |
|           q       |         |       p r |       |
|           o       |         |       o-o o r     |
|       p r |       |         |        \|/        |
|       o-o o r     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (p, r)((q) r)   |         |  ((p, r)((q) r))  |
o-------------------o         o-------------------o
|        q_88       |         |       q_167       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|           p       |         |                   |
|           o       |         |                   |
|       r   |       |         |           p       |
|       o---o q     |         |           o       |
|        \ /        |         |       r   |       |
|         o         |         |       o---o q     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((r, (p) q))    |         |    (r, (p) q)     |
o-------------------o         o-------------------o
|        q_89       |         |       q_166       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p   r       |
|                   |         |       o---o       |
|       p   r       |         |        \ /        |
|       o---o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p , r)      |         |     ((p , r))     |
o-------------------o         o-------------------o
|        q_90       |         |       q_165       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p q r     |         |                   |
|         o-o-o     |         |                   |
|       q  \ /      |         |         p q r     |
|       o---o       |         |         o-o-o     |
|        \ /        |         |       q  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((q, (p, q, r)))  |         |  (q, (p, q, r))   |
o-------------------o         o-------------------o
|        q_91       |         |       q_164       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       r   p       |         |                   |
|       o   o       |         |                   |
|       |   |       |         |       r   p       |
|     p o   o q     |         |       o   o       |
|        \ /        |         |       |   |       |
|         o         |         |     p o   o q     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((p (r)) ((p) q)) |         |  (p (r)) ((p) q)  |
o-------------------o         o-------------------o
|        q_92       |         |       q_163       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p         |         |                   |
|         o         |         |                   |
|         |         |         |         p         |
|         o q       |         |         o         |
|         |         |         |         |         |
|         o r       |         |         o q       |
|         |         |         |         |         |
|         @         |         |         @ r       |
|                   |         |                   |
o-------------------o         o-------------------o
|    (((p) q) r)    |         |     ((p) q) r     |
o-------------------o         o-------------------o
|        q_93       |         |       q_162       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|     p   r   p     |         |                   |
|     o---o   o     |         |                   |
|      \ /   /      |         |     p   r   p     |
|       o   o q     |         |     o---o   o     |
|        \ /        |         |      \ /   /      |
|         o         |         |       o   o q     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (((p, r))((p) q)) |         |  ((p, r))((p) q)  |
o-------------------o         o-------------------o
|        q_94       |         |       q_161       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        p r        |         |                   |
|         o         |         |                   |
|         |         |         |        p r        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       (p r)       |         |        p r        |
o-------------------o         o-------------------o
|        q_95       |         |       q_160       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       q   r       |
|                   |         |       o---o       |
|       q   r       |         |        \ /        |
|       o---o       |         |       p o         |
|        \ /        |         |         |         |
|       p @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      p (q, r)     |         |     (p (q, r))    |
o-------------------o         o-------------------o
|        q_96       |         |       q_159       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |         q r       |
|                   |         |         o o       |
|         q r       |         |       p | |       |
|         o o       |         |       o-o-o       |
|       p | |       |         |        \ /        |
|       o-o-o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p, (q),(r))   |         |   ((p, (q),(r)))  |
o-------------------o         o-------------------o
|        q_97       |         |       q_158       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           p       |
|                   |         |           o       |
|           p       |         |       q r |       |
|           o       |         |       o-o o q     |
|       q r |       |         |        \|/        |
|       o-o o q     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (q, r)((p) q)   |         |  ((q, r)((p) q))  |
o-------------------o         o-------------------o
|        q_98       |         |       q_157       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|           r       |         |                   |
|           o       |         |                   |
|       q   |       |         |           r       |
|       o---o p     |         |           o       |
|        \ /        |         |       q   |       |
|         o         |         |       o---o p     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((q, p (r)))   |         |     (q, p (r))    |
o-------------------o         o-------------------o
|        q_99       |         |       q_156       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |           p       |
|                   |         |           o       |
|           p       |         |       q r |       |
|           o       |         |       o-o o r     |
|       q r |       |         |        \|/        |
|       o-o o r     |         |         o         |
|        \|/        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   (q, r)((p) r)   |         |  ((q, r)((p) r))  |
o-------------------o         o-------------------o
|       q_100       |         |       q_155       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|           q       |         |                   |
|           o       |         |                   |
|       r   |       |         |           q       |
|       o---o p     |         |           o       |
|        \ /        |         |       r   |       |
|         o         |         |       o---o p     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((r, p (q)))   |         |     (r, p (q))    |
o-------------------o         o-------------------o
|       q_101       |         |       q_154       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       q   r       |
|                   |         |       o---o       |
|       q   r       |         |        \ /        |
|       o---o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (q , r)      |         |     ((q , r))     |
o-------------------o         o-------------------o
|       q_102       |         |       q_153       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         p q r     |         |                   |
|         o-o-o     |         |                   |
|       p  \ /      |         |         p q r     |
|       o---o       |         |         o-o-o     |
|        \ /        |         |       p  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((p, (p, q, r)))  |         |  (p, (p, q, r))   |
o-------------------o         o-------------------o
|       q_103       |         |       q_152       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |       p q r       |
|                   |         |       o-o-o       |
|       p q r       |         |        \ /        |
|       o-o-o       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|     (p, q, r)     |         |    ((p, q, r))    |
o-------------------o         o-------------------o
|       q_104       |         |       q_151       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         q   r     |         |                   |
|         o---o     |         |                   |
|       p  \ /      |         |         q   r     |
|       o---o       |         |         o---o     |
|        \ /        |         |       p  \ /      |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p, (q, r)))   |         |    (p, (q, r))    |
o-------------------o         o-------------------o
|       q_105       |         |       q_150       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|          p q      |         |                   |
|           o       |         |                   |
|       r   |       |         |          p q      |
|       o---o       |         |           o       |
|        \ /        |         |       r   |       |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((r, (p q)))    |         |    (r, (p q))     |
o-------------------o         o-------------------o
|       q_106       |         |       q_149       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|           r       |         |                   |
|           o       |         |                   |
|       p q |       |         |           r       |
|       o-o-o       |         |           o       |
|        \ /        |         |       p q |       |
|         o         |         |       o-o-o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p, q, (r)))  |         |     (p, q, (r))   |
o-------------------o         o-------------------o
|       q_107       |         |       q_148       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|          p r      |         |                   |
|           o       |         |                   |
|       q   |       |         |          p r      |
|       o---o       |         |           o       |
|        \ /        |         |       q   |       |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((q, (p r)))    |         |    (q, (p r))     |
o-------------------o         o-------------------o
|       q_108       |         |       q_147       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         q         |         |                   |
|         o         |         |                   |
|       p | r       |         |         q         |
|       o-o-o       |         |         o         |
|        \ /        |         |       p | r       |
|         o         |         |       o-o-o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p, (q), r))   |         |    (p, (q), r)    |
o-------------------o         o-------------------o
|       q_109       |         |       q_146       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|     p   q   r     |         |                   |
|     o   o---o     |         |                   |
|      \   \ /      |         |     p   q   r     |
|     q o   o       |         |     o   o---o     |
|        \ /        |         |      \   \ /      |
|         o         |         |     q o   o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (((p) q)((q, r))) |         |  ((p) q)((q, r))  |
o-------------------o         o-------------------o
|       q_110       |         |       q_145       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       q   r       |         |                   |
|       o---o       |         |                   |
|        \ /        |         |       q   r       |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|       p o         |         |         o         |
|         |         |         |         |         |
|         @         |         |       p @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    (p ((q, r)))   |         |     p ((q, r))    |
o-------------------o         o-------------------o
|       q_111       |         |       q_144       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |        q r        |
|                   |         |         o         |
|        q r        |         |         |         |
|         o         |         |       p o         |
|         |         |         |         |         |
|       p @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      p (q r)      |         |     (p (q r))     |
o-------------------o         o-------------------o
|       q_112       |         |       q_143       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|                   |         |            q r    |
|                   |         |            o o    |
|            q r    |         |    q r   p | |    |
|            o o    |         |    o o   o-o-o    |
|    q r   p | |    |         |     \|    \ /     |
|    o o   o-o-o    |         |    p o-----o      |
|     \|    \ /     |         |       \   /       |
|    p o-----o      |         |        \ /        |
|       \   /       |         |         o         |
|        \ /        |         |         |         |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|  (  p  (q) (r)    |         | ((  p  (q) (r)    |
|  ,( p ,(q),(r)))  |         |  ,( p ,(q),(r)))) |
o-------------------o         o-------------------o
|       q_113       |         |       q_142       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       r   q       |         |                   |
|       o   o       |         |                   |
|       |   |       |         |       r   q       |
|     p o   o r     |         |       o   o       |
|        \ /        |         |       |   |       |
|         o         |         |     p o   o r     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((p (r)) (r (q))) |         |  (p (r)) (r (q))  |
o-------------------o         o-------------------o
|       q_114       |         |       q_141       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         r         |         |                   |
|         o         |         |                   |
|         |         |         |         r         |
|       p o         |         |         o         |
|         |         |         |         |         |
|       q o         |         |       p o         |
|         |         |         |         |         |
|         @         |         |       q @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p (r)) q)    |         |     (p (r)) q     |
o-------------------o         o-------------------o
|       q_115       |         |       q_140       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       q   r       |         |                   |
|       o   o       |         |                   |
|       |   |       |         |       q   r       |
|     p o   o q     |         |       o   o       |
|        \ /        |         |       |   |       |
|         o         |         |     p o   o q     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((p (q)) (q (r))) |         |  (p (q)) (q (r))  |
o-------------------o         o-------------------o
|       q_116       |         |       q_139       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|         q         |         |                   |
|         o         |         |                   |
|         |         |         |         q         |
|       p o         |         |         o         |
|         |         |         |         |         |
|       r o         |         |       p o         |
|         |         |         |         |         |
|         @         |         |       r @         |
|                   |         |                   |
o-------------------o         o-------------------o
|    ((p (q)) r)    |         |     (p (q)) r     |
o-------------------o         o-------------------o
|       q_117       |         |       q_138       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|     q   q   r     |         |                   |
|     o   o---o     |         |                   |
|      \   \ /      |         |     q   q   r     |
|     p o   o       |         |     o   o---o     |
|        \ /        |         |      \   \ /      |
|         o         |         |     p o   o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((p (q))((q, r))) |         |  (p (q))((q, r))  |
o-------------------o         o-------------------o
|       q_118       |         |       q_137       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|        q r        |         |                   |
|         o         |         |                   |
|         |         |         |        q r        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|       (q r)       |         |        q r        |
o-------------------o         o-------------------o
|       q_119       |         |       q_136       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|          q r      |         |                   |
|           o       |         |                   |
|       p   |       |         |          q r      |
|       o---o       |         |           o       |
|        \ /        |         |       p   |       |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|   ((p, (q r)))    |         |    (p, (q r))     |
o-------------------o         o-------------------o
|       q_120       |         |       q_135       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p           |         |                   |
|       o           |         |                   |
|       | q r       |         |       p           |
|       o-o-o       |         |       o           |
|        \ /        |         |       | q r       |
|         o         |         |       o-o-o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|  (((p), q, r))    |         |   ((p), q, r)     |
o-------------------o         o-------------------o
|       q_121       |         |       q_134       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|     q   p   r     |         |                   |
|     o   o---o     |         |                   |
|      \   \ /      |         |     q   p   r     |
|     p o   o       |         |     o   o---o     |
|        \ /        |         |      \   \ /      |
|         o         |         |     p o   o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| ((p (q))((p, r))) |         |  (p (q))((p, r))  |
o-------------------o         o-------------------o
|       q_122       |         |       q_133       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p   r       |         |                   |
|       o---o       |         |                   |
|        \ /        |         |       p   r       |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         o q       |         |         o         |
|         |         |         |         |         |
|         @         |         |         @ q       |
|                   |         |                   |
o-------------------o         o-------------------o
|   (((p, r)) q)    |         |    ((p, r)) q     |
o-------------------o         o-------------------o
|       q_123       |         |       q_132       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|     p   q   r     |         |                   |
|     o---o   o     |         |                   |
|      \ /   /      |         |     p   q   r     |
|       o   o p     |         |     o---o   o     |
|        \ /        |         |      \ /   /      |
|         o         |         |       o   o p     |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (((p, q))(p (r))) |         |  ((p, q))(p (r))  |
o-------------------o         o-------------------o
|       q_124       |         |       q_131       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p   q       |         |                   |
|       o---o       |         |                   |
|        \ /        |         |       p   q       |
|         o         |         |       o---o       |
|         |         |         |        \ /        |
|         o r       |         |         o         |
|         |         |         |         |         |
|         @         |         |         @ r       |
|                   |         |                   |
o-------------------o         o-------------------o
|   (((p, q)) r)    |         |    ((p, q)) r     |
o-------------------o         o-------------------o
|       q_125       |         |       q_130       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|     p q   q r     |         |                   |
|     o-o   o-o     |         |                   |
|      \|   |/      |         |     p q   q r     |
|       o   o       |         |     o-o   o-o     |
|        \ /        |         |      \|   |/      |
|         o         |         |       o   o       |
|         |         |         |        \ /        |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
| (((p,q)) ((q,r))) |         |  ((p,q)) ((q,r))  |
o-------------------o         o-------------------o
|       q_126       |         |       q_129       |
o-------------------o         o-------------------o

o-------------------o         o-------------------o
|                   |         |                   |
|       p q r       |         |                   |
|         o         |         |                   |
|         |         |         |       p q r       |
|         @         |         |         @         |
|                   |         |                   |
o-------------------o         o-------------------o
|      (p q r)      |         |       p q r       |
o-------------------o         o-------------------o
|       q_127       |         |       q_128       |
o-------------------o         o-------------------o

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o