Schemes populated after 6 passes through the Rules. Symmetric(Q,R)? Yes(18) Q='1', R='2' Q='10', R='9' Q='2', R='1' Q='2', R='3' Q='3', R='2' Q='3', R='4' Q='4', R='3' Q='4', R='5' Q='5', R='4' Q='5', R='6' Q='6', R='5' Q='6', R='7' Q='7', R='6' Q='7', R='8' Q='8', R='7' Q='8', R='9' Q='9', R='10' Q='9', R='8' Reflexive(Q,R)? Yes(9) Q='1', R='1' Q='2', R='2' Q='3', R='3' Q='4', R='4' Q='5', R='5' Q='6', R='6' Q='7', R='7' Q='8', R='8' Q='9', R='9' Transitive('1',P)? Yes(9) P='10' P='2' P='3' P='4' P='5' P='6' P='7' P='8' P='9' A('1','2')? Yes(1) Symmetric('2','1')? Yes(1) SymTran(X,Y)? Yes(100) X='1', Y='1' X='1', Y='10' X='1', Y='2' X='1', Y='3' X='1', Y='4' X='1', Y='5' X='1', Y='6' X='1', Y='7' X='1', Y='8' X='1', Y='9' X='10', Y='1' X='10', Y='10' X='10', Y='2' X='10', Y='3' X='10', Y='4' X='10', Y='5' X='10', Y='6' X='10', Y='7' X='10', Y='8' X='10', Y='9' X='2', Y='1' X='2', Y='10' X='2', Y='2' X='2', Y='3' X='2', Y='4' X='2', Y='5' X='2', Y='6' X='2', Y='7' X='2', Y='8' X='2', Y='9' X='3', Y='1' X='3', Y='10' X='3', Y='2' X='3', Y='3' X='3', Y='4' X='3', Y='5' X='3', Y='6' X='3', Y='7' X='3', Y='8' X='3', Y='9' X='4', Y='1' X='4', Y='10' X='4', Y='2' X='4', Y='3' X='4', Y='4' X='4', Y='5' X='4', Y='6' X='4', Y='7' X='4', Y='8' X='4', Y='9' X='5', Y='1' X='5', Y='10' X='5', Y='2' X='5', Y='3' X='5', Y='4' X='5', Y='5' X='5', Y='6' X='5', Y='7' X='5', Y='8' X='5', Y='9' X='6', Y='1' X='6', Y='10' X='6', Y='2' X='6', Y='3' X='6', Y='4' X='6', Y='5' X='6', Y='6' X='6', Y='7' X='6', Y='8' X='6', Y='9' X='7', Y='1' X='7', Y='10' X='7', Y='2' X='7', Y='3' X='7', Y='4' X='7', Y='5' X='7', Y='6' X='7', Y='7' X='7', Y='8' X='7', Y='9' X='8', Y='1' X='8', Y='10' X='8', Y='2' X='8', Y='3' X='8', Y='4' X='8', Y='5' X='8', Y='6' X='8', Y='7' X='8', Y='8' X='8', Y='9' X='9', Y='1' X='9', Y='10' X='9', Y='2' X='9', Y='3' X='9', Y='4' X='9', Y='5' X='9', Y='6' X='9', Y='7' X='9', Y='8' X='9', Y='9'