p(x,y,z) = (x # (y # (z # z))) # ((y # (y # x)) # z).  % Pixley_1
p(x,y,z) = (x # ((z # z) # y)) # ((y # (y # x)) # z).  % Pixley_2
p(x,y,z) = (x # (y # (y # z))) # ((y # (y # x)) # z).  % Pixley_3
p(x,y,z) = (x # (y # (x # z))) # ((y # (y # x)) # z).  % Pixley_4
p(x,y,z) = (x # (y # (z # z))) # (((x # x) # y) # z).  % Pixley_5
p(x,y,z) = (x # (y # (z # z))) # ((y # (x # x)) # z).  % Pixley_6
p(x,y,z) = (x # ((z # z) # y)) # (((x # x) # y) # z).  % Pixley_7
p(x,y,z) = (x # ((z # z) # y)) # ((y # (x # x)) # z).  % Pixley_8
p(x,y,z) = (x # (y # (y # z))) # (((x # x) # y) # z).  % Pixley_9
p(x,y,z) = (x # (y # (y # z))) # ((y # (x # x)) # z).  % Pixley_10
p(x,y,z) = (x # (y # (x # z))) # (((x # x) # y) # z).  % Pixley_11
p(x,y,z) = (x # (y # (x # z))) # ((y # (x # x)) # z).  % Pixley_12
p(x,y,z) = (x # (y # (z # y))) # ((y # (y # x)) # z).  % Pixley_13
p(x,y,z) = (x # (y # (z # y))) # (((x # x) # y) # z).  % Pixley_14
p(x,y,z) = (x # (y # (z # y))) # ((y # (x # x)) # z).  % Pixley_15
p(x,y,z) = (x # (y # (z # z))) # ((y # (x # y)) # z).  % Pixley_16
p(x,y,z) = (x # (y # (y # z))) # ((y # (x # y)) # z).  % Pixley_17
p(x,y,z) = (x # (y # (x # z))) # ((y # (x # y)) # z).  % Pixley_18
p(x,y,z) = (x # ((z # z) # y)) # ((y # (x # y)) # z).  % Pixley_19
p(x,y,z) = (x # (y # (z # y))) # ((y # (x # y)) # z).  % Pixley_20
p(x,y,z) = ((y # (x # z)) # z) # (x # (y # (z # z))).  % Pixley_21
p(x,y,z) = ((y # (x # z)) # z) # (x # (y # (y # z))).  % Pixley_22
p(x,y,z) = ((y # (x # z)) # z) # (x # (y # (x # z))).  % Pixley_23
p(x,y,z) = ((y # (x # z)) # z) # (x # ((z # z) # y)).  % Pixley_24
p(x,y,z) = ((y # (x # z)) # z) # (x # (y # (z # y))).  % Pixley_25
p(x,y,z) = (x # (y # (z # z))) # ((y # (x # z)) # z).  % Pixley_26
p(x,y,z) = (x # (y # (y # z))) # ((y # (x # z)) # z).  % Pixley_27
p(x,y,z) = (x # (y # (x # z))) # ((y # (x # z)) # z).  % Pixley_28
p(x,y,z) = (x # ((z # z) # y)) # ((y # (x # z)) # z).  % Pixley_29
p(x,y,z) = (x # (y # (z # y))) # ((y # (x # z)) # z).  % Pixley_30