0:<6>, 1 up to size 1 (using 0 subgraphs) 1:<8>, 2 up to size 2 (using 1 subgraphs) 2:<6>, 3:<8>, 4 up to size 3 (using 3 subgraphs) 4:<24..1>, 5:<4..2>, 6:<4>, 7:<48>, 8:<8>, 9:<8>, 10 up to size 4 (using 9 subgraphs) 10:<4..1>, 11:<4..2>, 12:<2>, 13:<8>, 14:<4>, 15:<12..6>, 16:<4>, 17:<16>, 18:<10>, 19:<8>, 20 up to size 5 (using 19 subgraphs) Finding rules... 0.. 1. 2.. 3. 4 5 6... 7 8. 9.. 10 11.... 12.... 13. 14..... 15.. 16..... 17 18. 19.. Found 36 rules. Trying rule sets of size 1. Here's a size-1 c-r rule set: {0 --(0)-> 2} Here's a size-1 c-r rule set: {0 --(1)-> 15} Here's a size-1 c-r rule set: {2 --(3)-> 0} Here's a size-1 c-r rule set: {2 --(4)-> 15} Here's a size-1 c-r rule set: {3 --(5)-> 13} Here's a size-1 c-r rule set: {6 --(7)-> 6} Here's a size-1 c-r rule set: {9 --(11)-> 9} Here's a size-1 c-r rule set: {12 --(17)-> 2} Here's a size-1 c-r rule set: {14 --(23)-> 14} Here's a size-1 c-r rule set: {15 --(26)-> 0} Here's a size-1 c-r rule set: {15 --(27)-> 2} Here's a size-1 c-r rule set: {16 --(32)-> 16} Here's a size-1 c-r rule set: {18 --(33)-> 18} Here's a size-1 c-r rule set: {19 --(35)-> 19} Trying rule sets of size 2. Here's a size-2 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0} Here's a size-2 c-r rule set: {0 --(0)-> 2, 3 --(5)-> 13} Here's a size-2 c-r rule set: {0 --(1)-> 15, 15 --(26)-> 0} Here's a size-2 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1} Here's a size-2 c-r rule set: {2 --(3)-> 0, 3 --(5)-> 13} Here's a size-2 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9} Here's a size-2 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0} Here's a size-2 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2} Here's a size-2 c-r rule set: {2 --(3)-> 0, 13 --(20)-> 3} Here's a size-2 c-r rule set: {2 --(3)-> 0, 14 --(21)-> 3} Here's a size-2 c-r rule set: {2 --(3)-> 0, 14 --(23)-> 14} Here's a size-2 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0} Here's a size-2 c-r rule set: {2 --(3)-> 0, 15 --(27)-> 2} Here's a size-2 c-r rule set: {2 --(3)-> 0, 16 --(32)-> 16} Here's a size-2 c-r rule set: {2 --(3)-> 0, 18 --(33)-> 18} Here's a size-2 c-r rule set: {2 --(3)-> 0, 19 --(35)-> 19} Here's a size-2 c-r rule set: {2 --(4)-> 15, 3 --(5)-> 13} Here's a size-2 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9} Here's a size-2 c-r rule set: {2 --(4)-> 15, 15 --(26)-> 0} Here's a size-2 c-r rule set: {2 --(4)-> 15, 15 --(27)-> 2} Here's a size-2 c-r rule set: {2 --(4)-> 15, 16 --(32)-> 16} Here's a size-2 c-r rule set: {2 --(4)-> 15, 18 --(33)-> 18} Here's a size-2 c-r rule set: {2 --(4)-> 15, 19 --(35)-> 19} Here's a size-2 c-r rule set: {6 --(7)-> 6, 9 --(11)-> 9} Here's a size-2 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14} Here's a size-2 c-r rule set: {9 --(11)-> 9, 16 --(32)-> 16} Here's a size-2 c-r rule set: {9 --(11)-> 9, 18 --(33)-> 18} Here's a size-2 c-r rule set: {11 --(14)-> 12, 12 --(18)-> 11} Here's a size-2 c-r rule set: {12 --(17)-> 2, 15 --(27)-> 2} Here's a size-2 c-r rule set: {12 --(17)-> 2, 16 --(32)-> 16} Here's a size-2 c-r rule set: {12 --(17)-> 2, 18 --(33)-> 18} Here's a size-2 c-r rule set: {12 --(19)-> 15, 15 --(27)-> 2} Here's a size-2 c-r rule set: {14 --(23)-> 14, 16 --(32)-> 16} Here's a size-2 c-r rule set: {14 --(23)-> 14, 18 --(33)-> 18} Here's a size-2 c-r rule set: {14 --(24)-> 16, 16 --(30)-> 14} Here's a size-2 c-r rule set: {14 --(25)-> 16, 16 --(31)-> 14} Here's a size-2 c-r rule set: {15 --(26)-> 0, 16 --(32)-> 16} Here's a size-2 c-r rule set: {15 --(26)-> 0, 18 --(33)-> 18} Here's a size-2 c-r rule set: {15 --(26)-> 0, 19 --(35)-> 19} Here's a size-2 c-r rule set: {15 --(27)-> 2, 16 --(32)-> 16} Here's a size-2 c-r rule set: {15 --(27)-> 2, 18 --(33)-> 18} Here's a size-2 c-r rule set: {15 --(27)-> 2, 19 --(35)-> 19} Here's a size-2 c-r rule set: {16 --(32)-> 16, 18 --(33)-> 18} Trying rule sets of size 3. Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 3 --(5)-> 13} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(23)-> 14} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 16 --(32)-> 16} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 18 --(33)-> 18} Here's a size-3 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 19 --(35)-> 19} Here's a size-3 c-r rule set: {0 --(0)-> 2, 6 --(6)-> 1, 12 --(17)-> 2} Here's a size-3 c-r rule set: {0 --(1)-> 15, 6 --(7)-> 6, 15 --(26)-> 0} Here's a size-3 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 15 --(26)-> 0} Here's a size-3 c-r rule set: {0 --(1)-> 15, 14 --(23)-> 14, 15 --(26)-> 0} Here's a size-3 c-r rule set: {0 --(1)-> 15, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-3 c-r rule set: {0 --(1)-> 15, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-3 c-r rule set: {0 --(1)-> 15, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-3 c-r rule set: {1 --(2)-> 8, 6 --(7)-> 6, 8 --(9)-> 1} Here's a size-3 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9} Here's a size-3 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14} Here's a size-3 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 16 --(28)-> 3} Here's a size-3 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 16 --(32)-> 16} Here's a size-3 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 18 --(33)-> 18} Here's a size-3 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 19 --(35)-> 19} Here's a size-3 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0} Here's a size-3 c-r rule set: {2 --(3)-> 0, 3 --(5)-> 13, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(3)-> 0, 3 --(5)-> 13, 19 --(35)-> 19} Here's a size-3 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0} Here's a size-3 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9, 14 --(23)-> 14} Here's a size-3 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 12 --(17)-> 2} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 13 --(20)-> 3} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(27)-> 2} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(3)-> 0, 12 --(19)-> 15, 15 --(27)-> 2} Here's a size-3 c-r rule set: {2 --(3)-> 0, 13 --(20)-> 3, 14 --(21)-> 3} Here's a size-3 c-r rule set: {2 --(3)-> 0, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-3 c-r rule set: {2 --(3)-> 0, 13 --(20)-> 3, 15 --(27)-> 2} Here's a size-3 c-r rule set: {2 --(3)-> 0, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(3)-> 0, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-3 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-3 c-r rule set: {2 --(3)-> 0, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(3)-> 0, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(3)-> 0, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-3 c-r rule set: {2 --(3)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 15 --(27)-> 2} Here's a size-3 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(4)-> 15, 14 --(23)-> 14, 15 --(27)-> 2} Here's a size-3 c-r rule set: {2 --(4)-> 15, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(4)-> 15, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(4)-> 15, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-3 c-r rule set: {2 --(4)-> 15, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-3 c-r rule set: {2 --(4)-> 15, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-3 c-r rule set: {2 --(4)-> 15, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-3 c-r rule set: {2 --(4)-> 15, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-3 c-r rule set: {6 --(7)-> 6, 11 --(14)-> 12, 12 --(18)-> 11} Here's a size-3 c-r rule set: {9 --(11)-> 9, 11 --(14)-> 12, 12 --(18)-> 11} Here's a size-3 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-3 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-3 c-r rule set: {9 --(11)-> 9, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-3 c-r rule set: {9 --(11)-> 9, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-3 c-r rule set: {9 --(11)-> 9, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-3 c-r rule set: {11 --(14)-> 12, 12 --(18)-> 11, 18 --(33)-> 18} Here's a size-3 c-r rule set: {12 --(17)-> 2, 12 --(19)-> 15, 15 --(27)-> 2} Here's a size-3 c-r rule set: {12 --(17)-> 2, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-3 c-r rule set: {12 --(17)-> 2, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-3 c-r rule set: {12 --(17)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-3 c-r rule set: {12 --(19)-> 15, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-3 c-r rule set: {12 --(19)-> 15, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-3 c-r rule set: {14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-3 c-r rule set: {14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-3 c-r rule set: {14 --(23)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-3 c-r rule set: {14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-3 c-r rule set: {14 --(24)-> 16, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-3 c-r rule set: {14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-3 c-r rule set: {14 --(25)-> 16, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-3 c-r rule set: {15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-3 c-r rule set: {15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Trying rule sets of size 4. Here's a size-4 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 15 --(26)-> 0} Here's a size-4 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 15 --(27)-> 2} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 3 --(5)-> 13, 12 --(17)-> 2} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 3 --(5)-> 13, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 3 --(5)-> 13, 19 --(35)-> 19} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 12 --(17)-> 2} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 13 --(20)-> 3} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(21)-> 3} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(23)-> 14} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 16 --(32)-> 16} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 19 --(35)-> 19} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(21)-> 3} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(23)-> 14} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 16 --(32)-> 16} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 19 --(35)-> 19} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 14 --(23)-> 14} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 16 --(32)-> 16} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-4 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(0)-> 2, 3 --(5)-> 13, 6 --(6)-> 1, 12 --(17)-> 2} Here's a size-4 c-r rule set: {0 --(0)-> 2, 6 --(6)-> 1, 6 --(7)-> 6, 12 --(17)-> 2} Here's a size-4 c-r rule set: {0 --(0)-> 2, 6 --(6)-> 1, 9 --(11)-> 9, 12 --(17)-> 2} Here's a size-4 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 8 --(9)-> 1, 15 --(26)-> 0} Here's a size-4 c-r rule set: {0 --(1)-> 15, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-4 c-r rule set: {0 --(1)-> 15, 6 --(7)-> 6, 9 --(11)-> 9, 15 --(26)-> 0} Here's a size-4 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 14 --(23)-> 14, 15 --(26)-> 0} Here's a size-4 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-4 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(1)-> 15, 11 --(14)-> 12, 12 --(18)-> 11, 15 --(26)-> 0} Here's a size-4 c-r rule set: {0 --(1)-> 15, 14 --(23)-> 14, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-4 c-r rule set: {0 --(1)-> 15, 14 --(23)-> 14, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-4 c-r rule set: {0 --(1)-> 15, 14 --(24)-> 16, 15 --(26)-> 0, 16 --(30)-> 14} Here's a size-4 c-r rule set: {0 --(1)-> 15, 14 --(25)-> 16, 15 --(26)-> 0, 16 --(31)-> 14} Here's a size-4 c-r rule set: {0 --(1)-> 15, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {1 --(2)-> 8, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(27)-> 2} Here's a size-4 c-r rule set: {1 --(2)-> 8, 6 --(7)-> 6, 8 --(9)-> 1, 9 --(11)-> 9} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 14 --(23)-> 14} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 16 --(28)-> 3} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 16 --(32)-> 16} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 18 --(33)-> 18} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 11 --(14)-> 12, 12 --(18)-> 11} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 16 --(28)-> 3} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 16 --(28)-> 3, 16 --(32)-> 16} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 16 --(28)-> 3, 18 --(33)-> 18} Here's a size-4 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(26)-> 0} Here's a size-4 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 12 --(17)-> 2, 15 --(26)-> 0} Here's a size-4 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-4 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-4 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 12 --(17)-> 2, 15 --(26)-> 0} Here's a size-4 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-4 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 16 --(28)-> 3} Here's a size-4 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-4 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 12 --(17)-> 2, 13 --(20)-> 3} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 12 --(17)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 12 --(17)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 12 --(19)-> 15, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(19)-> 15, 13 --(20)-> 3, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(19)-> 15, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 12 --(19)-> 15, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 13 --(20)-> 3, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(3)-> 0, 14 --(23)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-4 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(3)-> 0, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 14 --(23)-> 14, 15 --(27)-> 2} Here's a size-4 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(4)-> 15, 14 --(23)-> 14, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {2 --(4)-> 15, 14 --(23)-> 14, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(4)-> 15, 14 --(24)-> 16, 15 --(27)-> 2, 16 --(30)-> 14} Here's a size-4 c-r rule set: {2 --(4)-> 15, 14 --(25)-> 16, 15 --(27)-> 2, 16 --(31)-> 14} Here's a size-4 c-r rule set: {2 --(4)-> 15, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {2 --(4)-> 15, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {6 --(7)-> 6, 9 --(11)-> 9, 11 --(14)-> 12, 12 --(18)-> 11} Here's a size-4 c-r rule set: {9 --(11)-> 9, 11 --(14)-> 12, 12 --(18)-> 11, 18 --(33)-> 18} Here's a size-4 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-4 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-4 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {9 --(11)-> 9, 14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-4 c-r rule set: {9 --(11)-> 9, 14 --(24)-> 16, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-4 c-r rule set: {9 --(11)-> 9, 14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-4 c-r rule set: {9 --(11)-> 9, 14 --(25)-> 16, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-4 c-r rule set: {12 --(17)-> 2, 12 --(19)-> 15, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-4 c-r rule set: {12 --(17)-> 2, 12 --(19)-> 15, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-4 c-r rule set: {12 --(17)-> 2, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {12 --(19)-> 15, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-4 c-r rule set: {14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-4 c-r rule set: {14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-4 c-r rule set: {14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-4 c-r rule set: {14 --(24)-> 16, 14 --(25)-> 16, 16 --(30)-> 14, 16 --(31)-> 14} Here's a size-4 c-r rule set: {14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-4 c-r rule set: {14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Trying rule sets of size 5. Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 3 --(5)-> 13, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 9 --(11)-> 9, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 14 --(21)-> 3, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 14 --(23)-> 14, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 0 --(1)-> 15, 2 --(3)-> 0, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 3 --(5)-> 13, 8 --(9)-> 1} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 9 --(11)-> 9} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 12 --(17)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 13 --(20)-> 3} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 14 --(21)-> 3} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 14 --(23)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 16 --(28)-> 3} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 2 --(3)-> 0, 8 --(9)-> 1, 19 --(35)-> 19} Here's a size-5 c-r rule set: {0 --(0)-> 2, 1 --(2)-> 8, 6 --(6)-> 1, 8 --(9)-> 1, 12 --(17)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 3 --(5)-> 13, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 9 --(11)-> 9, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 12 --(17)-> 2, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 13 --(20)-> 3, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 14 --(21)-> 3, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 14 --(23)-> 14, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 2 --(4)-> 15, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 3 --(5)-> 13, 12 --(17)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 3 --(5)-> 13, 12 --(17)-> 2, 19 --(35)-> 19} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 12 --(17)-> 2, 13 --(20)-> 3} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 12 --(17)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 12 --(17)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 13 --(20)-> 3, 14 --(21)-> 3} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 13 --(20)-> 3, 14 --(23)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 13 --(20)-> 3, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 13 --(20)-> 3, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(21)-> 3, 14 --(23)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(21)-> 3, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(21)-> 3, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 9 --(11)-> 9, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3, 19 --(35)-> 19} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 12 --(17)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(21)-> 3, 14 --(23)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(21)-> 3, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(21)-> 3, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 13 --(20)-> 3, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(21)-> 3, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(23)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(24)-> 16, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(0)-> 2, 2 --(3)-> 0, 14 --(25)-> 16, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(0)-> 2, 3 --(5)-> 13, 6 --(6)-> 1, 6 --(7)-> 6, 12 --(17)-> 2} Here's a size-5 c-r rule set: {0 --(0)-> 2, 6 --(6)-> 1, 6 --(7)-> 6, 9 --(11)-> 9, 12 --(17)-> 2} Here's a size-5 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 6 --(7)-> 6, 8 --(9)-> 1, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 8 --(9)-> 1, 15 --(26)-> 0, 16 --(28)-> 3} Here's a size-5 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 8 --(9)-> 1, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 8 --(9)-> 1, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(1)-> 15, 1 --(2)-> 8, 8 --(9)-> 1, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-5 c-r rule set: {0 --(1)-> 15, 2 --(4)-> 15, 9 --(11)-> 9, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(1)-> 15, 2 --(4)-> 15, 14 --(23)-> 14, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {0 --(1)-> 15, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(1)-> 15, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(1)-> 15, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-5 c-r rule set: {0 --(1)-> 15, 6 --(7)-> 6, 11 --(14)-> 12, 12 --(18)-> 11, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 11 --(14)-> 12, 12 --(18)-> 11, 15 --(26)-> 0} Here's a size-5 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 14 --(23)-> 14, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 14 --(23)-> 14, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 14 --(24)-> 16, 15 --(26)-> 0, 16 --(30)-> 14} Here's a size-5 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 14 --(25)-> 16, 15 --(26)-> 0, 16 --(31)-> 14} Here's a size-5 c-r rule set: {0 --(1)-> 15, 9 --(11)-> 9, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(1)-> 15, 11 --(14)-> 12, 12 --(18)-> 11, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(1)-> 15, 14 --(23)-> 14, 14 --(24)-> 16, 15 --(26)-> 0, 16 --(30)-> 14} Here's a size-5 c-r rule set: {0 --(1)-> 15, 14 --(23)-> 14, 14 --(25)-> 16, 15 --(26)-> 0, 16 --(31)-> 14} Here's a size-5 c-r rule set: {0 --(1)-> 15, 14 --(23)-> 14, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(1)-> 15, 14 --(24)-> 16, 15 --(26)-> 0, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(1)-> 15, 14 --(24)-> 16, 15 --(26)-> 0, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {0 --(1)-> 15, 14 --(25)-> 16, 15 --(26)-> 0, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {0 --(1)-> 15, 14 --(25)-> 16, 15 --(26)-> 0, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 2 --(4)-> 15, 8 --(9)-> 1, 9 --(11)-> 9, 15 --(27)-> 2} Here's a size-5 c-r rule set: {1 --(2)-> 8, 2 --(4)-> 15, 8 --(9)-> 1, 14 --(23)-> 14, 15 --(27)-> 2} Here's a size-5 c-r rule set: {1 --(2)-> 8, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(27)-> 2, 16 --(28)-> 3} Here's a size-5 c-r rule set: {1 --(2)-> 8, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {1 --(2)-> 8, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-5 c-r rule set: {1 --(2)-> 8, 6 --(7)-> 6, 8 --(9)-> 1, 11 --(14)-> 12, 12 --(18)-> 11} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 11 --(14)-> 12, 12 --(18)-> 11} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 14 --(23)-> 14, 16 --(28)-> 3} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 14 --(23)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 14 --(23)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 16 --(28)-> 3, 16 --(32)-> 16} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 16 --(28)-> 3, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 9 --(11)-> 9, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 11 --(14)-> 12, 12 --(18)-> 11, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 16 --(28)-> 3, 16 --(32)-> 16} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 16 --(28)-> 3, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(23)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(24)-> 16, 16 --(28)-> 3, 16 --(30)-> 14} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(24)-> 16, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(25)-> 16, 16 --(28)-> 3, 16 --(31)-> 14} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 14 --(25)-> 16, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {1 --(2)-> 8, 8 --(9)-> 1, 16 --(28)-> 3, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 12 --(17)-> 2, 15 --(26)-> 0} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(26)-> 0, 16 --(28)-> 3} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 8 --(9)-> 1, 15 --(26)-> 0, 19 --(35)-> 19} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 12 --(17)-> 2, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 12 --(17)-> 2, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 12 --(17)-> 2, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 12 --(17)-> 2, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 13 --(20)-> 3, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-5 c-r rule set: {2 --(3)-> 0, 2 --(4)-> 15, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 12 --(17)-> 2, 13 --(20)-> 3, 15 --(26)-> 0} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 12 --(17)-> 2, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 12 --(17)-> 2, 15 --(26)-> 0, 16 --(28)-> 3} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 12 --(17)-> 2, 15 --(26)-> 0, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 12 --(17)-> 2, 15 --(26)-> 0, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 13 --(20)-> 3, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 15 --(27)-> 2, 16 --(28)-> 3} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 15 --(27)-> 2, 19 --(35)-> 19} Here's a size-5 c-r rule set: {2 --(3)-> 0, 8 --(9)-> 1, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 9 --(11)-> 9, 14 --(23)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(16)-> 0, 12 --(17)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 12 --(19)-> 15, 13 --(20)-> 3, 15 --(27)-> 2} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 12 --(19)-> 15, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 12 --(19)-> 15, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 13 --(20)-> 3, 15 --(26)-> 0, 15 --(27)-> 2} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(26)-> 0, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(17)-> 2, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 12 --(19)-> 15, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(3)-> 0, 15 --(26)-> 0, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 14 --(23)-> 14, 15 --(27)-> 2, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 14 --(23)-> 14, 15 --(27)-> 2, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 14 --(24)-> 16, 15 --(27)-> 2, 16 --(30)-> 14} Here's a size-5 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 14 --(25)-> 16, 15 --(27)-> 2, 16 --(31)-> 14} Here's a size-5 c-r rule set: {2 --(4)-> 15, 9 --(11)-> 9, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(4)-> 15, 14 --(23)-> 14, 14 --(24)-> 16, 15 --(27)-> 2, 16 --(30)-> 14} Here's a size-5 c-r rule set: {2 --(4)-> 15, 14 --(23)-> 14, 14 --(25)-> 16, 15 --(27)-> 2, 16 --(31)-> 14} Here's a size-5 c-r rule set: {2 --(4)-> 15, 14 --(23)-> 14, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(4)-> 15, 14 --(24)-> 16, 15 --(27)-> 2, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(4)-> 15, 14 --(24)-> 16, 15 --(27)-> 2, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {2 --(4)-> 15, 14 --(25)-> 16, 15 --(27)-> 2, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {2 --(4)-> 15, 14 --(25)-> 16, 15 --(27)-> 2, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {9 --(11)-> 9, 14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14, 18 --(33)-> 18} Here's a size-5 c-r rule set: {9 --(11)-> 9, 14 --(24)-> 16, 14 --(25)-> 16, 16 --(30)-> 14, 16 --(31)-> 14} Here's a size-5 c-r rule set: {9 --(11)-> 9, 14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {9 --(11)-> 9, 14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {12 --(17)-> 2, 12 --(19)-> 15, 15 --(27)-> 2, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {14 --(23)-> 14, 14 --(24)-> 16, 14 --(25)-> 16, 16 --(30)-> 14, 16 --(31)-> 14} Here's a size-5 c-r rule set: {14 --(23)-> 14, 14 --(24)-> 16, 16 --(30)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {14 --(23)-> 14, 14 --(25)-> 16, 16 --(31)-> 14, 16 --(32)-> 16, 18 --(33)-> 18} Here's a size-5 c-r rule set: {14 --(24)-> 16, 14 --(25)-> 16, 16 --(30)-> 14, 16 --(31)-> 14, 16 --(32)-> 16} Here's a size-5 c-r rule set: {14 --(24)-> 16, 14 --(25)-> 16, 16 --(30)-> 14, 16 --(31)-> 14, 18 --(33)-> 18}