/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 5->5 }, it remains to prove termination of the 49-rule system { 0 1 0 2 -> 0 0 3 1 2 , 0 1 3 4 -> 0 4 1 0 3 , 0 1 3 4 -> 0 4 1 1 3 , 0 1 3 4 -> 0 4 1 3 1 , 0 2 1 4 -> 0 4 1 2 3 , 0 2 1 4 -> 0 4 1 3 2 , 0 2 1 4 -> 2 0 4 1 4 , 0 2 1 4 -> 5 5 0 4 1 2 , 0 2 1 5 -> 5 0 4 1 2 , 0 2 2 4 -> 0 4 2 2 5 , 0 2 2 4 -> 0 4 2 5 2 , 3 4 0 2 -> 3 0 4 5 2 , 3 4 0 2 -> 3 5 0 4 2 , 0 0 1 4 5 -> 0 4 1 0 3 5 , 0 1 0 2 4 -> 2 0 0 4 1 1 , 0 1 2 3 4 -> 2 0 4 1 0 3 , 0 1 3 3 4 -> 0 0 3 1 3 4 , 0 1 4 0 2 -> 0 4 1 5 0 2 , 0 1 4 1 5 -> 2 5 0 4 1 1 , 0 1 4 3 4 -> 0 4 0 3 1 4 , 0 1 4 3 4 -> 3 0 4 1 5 4 , 0 1 4 3 5 -> 5 4 5 0 3 1 , 0 1 5 0 2 -> 0 0 4 1 2 5 , 0 1 5 1 4 -> 4 5 0 3 1 1 , 0 2 1 4 4 -> 0 4 1 2 4 3 , 0 2 1 4 5 -> 0 4 1 2 5 2 , 0 2 1 5 4 -> 5 0 2 0 4 1 , 0 2 4 1 5 -> 5 0 4 1 5 2 , 0 2 4 3 5 -> 0 4 5 2 5 3 , 0 2 5 1 4 -> 0 0 5 4 1 2 , 3 0 1 3 2 -> 0 3 1 0 3 2 , 3 0 2 1 4 -> 4 0 4 1 3 2 , 3 0 2 1 5 -> 5 3 2 0 4 1 , 3 0 4 0 2 -> 0 3 4 0 4 2 , 3 0 4 0 2 -> 0 4 1 2 0 3 , 3 0 5 1 4 -> 3 0 4 1 1 5 , 3 0 5 1 5 -> 0 4 1 3 5 5 , 3 2 4 1 2 -> 3 1 2 2 5 4 , 3 2 4 1 5 -> 3 1 4 5 2 5 , 3 4 0 1 2 -> 0 4 2 0 3 1 , 3 4 0 1 4 -> 0 4 1 5 3 4 , 3 4 0 1 5 -> 0 4 1 5 5 3 , 3 4 0 2 4 -> 0 3 4 0 4 2 , 3 4 1 2 4 -> 0 4 1 2 4 3 , 3 4 1 3 5 -> 4 3 0 3 1 5 , 3 4 3 0 2 -> 3 3 0 4 1 2 , 3 4 5 0 2 -> 0 3 0 4 2 5 , 3 5 0 2 2 -> 0 3 2 5 2 5 , 3 5 2 1 4 -> 3 5 1 0 4 2 } The system was reversed. After renaming modulo { 2->0, 0->1, 1->2, 3->3, 4->4, 5->5 }, it remains to prove termination of the 49-rule system { 0 1 2 1 -> 0 2 3 1 1 , 4 3 2 1 -> 3 1 2 4 1 , 4 3 2 1 -> 3 2 2 4 1 , 4 3 2 1 -> 2 3 2 4 1 , 4 2 0 1 -> 3 0 2 4 1 , 4 2 0 1 -> 0 3 2 4 1 , 4 2 0 1 -> 4 2 4 1 0 , 4 2 0 1 -> 0 2 4 1 5 5 , 5 2 0 1 -> 0 2 4 1 5 , 4 0 0 1 -> 5 0 0 4 1 , 4 0 0 1 -> 0 5 0 4 1 , 0 1 4 3 -> 0 5 4 1 3 , 0 1 4 3 -> 0 4 1 5 3 , 5 4 2 1 1 -> 5 3 1 2 4 1 , 4 0 1 2 1 -> 2 2 4 1 1 0 , 4 3 0 2 1 -> 3 1 2 4 1 0 , 4 3 3 2 1 -> 4 3 2 3 1 1 , 0 1 4 2 1 -> 0 1 5 2 4 1 , 5 2 4 2 1 -> 2 2 4 1 5 0 , 4 3 4 2 1 -> 4 2 3 1 4 1 , 4 3 4 2 1 -> 4 5 2 4 1 3 , 5 3 4 2 1 -> 2 3 1 5 4 5 , 0 1 5 2 1 -> 5 0 2 4 1 1 , 4 2 5 2 1 -> 2 2 3 1 5 4 , 4 4 2 0 1 -> 3 4 0 2 4 1 , 5 4 2 0 1 -> 0 5 0 2 4 1 , 4 5 2 0 1 -> 2 4 1 0 1 5 , 5 2 4 0 1 -> 0 5 2 4 1 5 , 5 3 4 0 1 -> 3 5 0 5 4 1 , 4 2 5 0 1 -> 0 2 4 5 1 1 , 0 3 2 1 3 -> 0 3 1 2 3 1 , 4 2 0 1 3 -> 0 3 2 4 1 4 , 5 2 0 1 3 -> 2 4 1 0 3 5 , 0 1 4 1 3 -> 0 4 1 4 3 1 , 0 1 4 1 3 -> 3 1 0 2 4 1 , 4 2 5 1 3 -> 5 2 2 4 1 3 , 5 2 5 1 3 -> 5 5 3 2 4 1 , 0 2 4 0 3 -> 4 5 0 0 2 3 , 5 2 4 0 3 -> 5 0 5 4 2 3 , 0 2 1 4 3 -> 2 3 1 0 4 1 , 4 2 1 4 3 -> 4 3 5 2 4 1 , 5 2 1 4 3 -> 3 5 5 2 4 1 , 4 0 1 4 3 -> 0 4 1 4 3 1 , 4 0 2 4 3 -> 3 4 0 2 4 1 , 5 3 2 4 3 -> 5 2 3 1 3 4 , 0 1 3 4 3 -> 0 2 4 1 3 3 , 0 1 5 4 3 -> 5 0 4 1 3 1 , 0 0 1 5 3 -> 5 0 5 0 3 1 , 4 2 0 5 3 -> 0 4 1 2 5 3 } Applying sparse untiling TRFCU(2) [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo { 4->0, 2->1, 0->2, 1->3, 3->4, 5->5 }, it remains to prove termination of the 30-rule system { 0 1 2 3 -> 4 2 1 0 3 , 0 1 2 3 -> 2 4 1 0 3 , 0 1 2 3 -> 0 1 0 3 2 , 0 1 2 3 -> 2 1 0 3 5 5 , 5 1 2 3 -> 2 1 0 3 5 , 0 2 2 3 -> 5 2 2 0 3 , 0 2 2 3 -> 2 5 2 0 3 , 2 3 0 4 -> 2 5 0 3 4 , 2 3 0 4 -> 2 0 3 5 4 , 0 0 1 2 3 -> 4 0 2 1 0 3 , 5 0 1 2 3 -> 2 5 2 1 0 3 , 0 5 1 2 3 -> 1 0 3 2 3 5 , 5 1 0 2 3 -> 2 5 1 0 3 5 , 5 4 0 2 3 -> 4 5 2 5 0 3 , 0 1 5 2 3 -> 2 1 0 5 3 3 , 0 1 2 3 4 -> 2 4 1 0 3 0 , 5 1 2 3 4 -> 1 0 3 2 4 5 , 2 3 0 3 4 -> 2 0 3 0 4 3 , 2 3 0 3 4 -> 4 3 2 1 0 3 , 0 1 5 3 4 -> 5 1 1 0 3 4 , 5 1 5 3 4 -> 5 5 4 1 0 3 , 2 1 0 2 4 -> 0 5 2 2 1 4 , 5 1 0 2 4 -> 5 2 5 0 1 4 , 0 2 3 0 4 -> 2 0 3 0 4 3 , 0 2 1 0 4 -> 4 0 2 1 0 3 , 5 4 1 0 4 -> 5 1 4 3 4 0 , 2 3 4 0 4 -> 2 1 0 3 4 4 , 2 3 5 0 4 -> 5 2 0 3 4 3 , 2 2 3 5 4 -> 5 2 5 2 4 3 , 0 1 2 5 4 -> 2 0 3 1 5 4 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 5: 0 is interpreted by / \ | 1 0 1 0 0 | | 0 1 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | \ / 1 is interpreted by / \ | 1 0 0 0 0 | | 0 1 0 0 0 | | 0 0 0 1 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | \ / 2 is interpreted by / \ | 1 0 0 0 0 | | 0 1 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 1 | | 0 0 0 0 0 | \ / 3 is interpreted by / \ | 1 0 0 0 0 | | 0 1 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | | 0 1 0 0 0 | \ / 4 is interpreted by / \ | 1 0 1 0 0 | | 0 1 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | \ / 5 is interpreted by / \ | 1 0 0 0 0 | | 0 1 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | | 0 0 0 0 0 | \ / After renaming modulo { 5->0, 1->1, 2->2, 3->3, 0->4, 4->5 }, it remains to prove termination of the 23-rule system { 0 1 2 3 -> 2 1 4 3 0 , 4 2 2 3 -> 0 2 2 4 3 , 4 2 2 3 -> 2 0 2 4 3 , 2 3 4 5 -> 2 0 4 3 5 , 2 3 4 5 -> 2 4 3 0 5 , 4 0 1 2 3 -> 1 4 3 2 3 0 , 0 1 4 2 3 -> 2 0 1 4 3 0 , 0 5 4 2 3 -> 5 0 2 0 4 3 , 4 1 0 2 3 -> 2 1 4 0 3 3 , 0 1 2 3 5 -> 1 4 3 2 5 0 , 2 3 4 3 5 -> 2 4 3 4 5 3 , 2 3 4 3 5 -> 5 3 2 1 4 3 , 4 1 0 3 5 -> 0 1 1 4 3 5 , 0 1 0 3 5 -> 0 0 5 1 4 3 , 2 1 4 2 5 -> 4 0 2 2 1 5 , 0 1 4 2 5 -> 0 2 0 4 1 5 , 4 2 3 4 5 -> 2 4 3 4 5 3 , 4 2 1 4 5 -> 5 4 2 1 4 3 , 0 5 1 4 5 -> 0 1 5 3 5 4 , 2 3 5 4 5 -> 2 1 4 3 5 5 , 2 3 0 4 5 -> 0 2 4 3 5 3 , 2 2 3 0 5 -> 0 2 0 2 5 3 , 4 1 2 0 5 -> 2 4 3 1 0 5 } Applying sparse tiling TRFC(2) [Geser/Hofbauer/Waldmann, FSCD 2019]. After renaming modulo { (0,0)->0, (0,1)->1, (1,2)->2, (2,3)->3, (3,0)->4, (0,2)->5, (2,1)->6, (1,4)->7, (4,3)->8, (3,1)->9, (3,2)->10, (3,3)->11, (0,3)->12, (3,4)->13, (0,4)->14, (3,5)->15, (0,5)->16, (3,7)->17, (0,7)->18, (1,0)->19, (2,0)->20, (2,2)->21, (4,0)->22, (4,2)->23, (5,0)->24, (5,2)->25, (6,0)->26, (6,2)->27, (2,4)->28, (4,4)->29, (5,4)->30, (6,4)->31, (4,5)->32, (5,1)->33, (5,3)->34, (5,5)->35, (5,7)->36, (1,1)->37, (4,1)->38, (6,1)->39, (1,5)->40, (2,5)->41, (6,5)->42, (4,7)->43 }, it remains to prove termination of the 1127-rule system { 0 1 2 3 4 -> 5 6 7 8 4 0 , 0 1 2 3 9 -> 5 6 7 8 4 1 , 0 1 2 3 10 -> 5 6 7 8 4 5 , 0 1 2 3 11 -> 5 6 7 8 4 12 , 0 1 2 3 13 -> 5 6 7 8 4 14 , 0 1 2 3 15 -> 5 6 7 8 4 16 , 0 1 2 3 17 -> 5 6 7 8 4 18 , 19 1 2 3 4 -> 2 6 7 8 4 0 , 19 1 2 3 9 -> 2 6 7 8 4 1 , 19 1 2 3 10 -> 2 6 7 8 4 5 , 19 1 2 3 11 -> 2 6 7 8 4 12 , 19 1 2 3 13 -> 2 6 7 8 4 14 , 19 1 2 3 15 -> 2 6 7 8 4 16 , 19 1 2 3 17 -> 2 6 7 8 4 18 , 20 1 2 3 4 -> 21 6 7 8 4 0 , 20 1 2 3 9 -> 21 6 7 8 4 1 , 20 1 2 3 10 -> 21 6 7 8 4 5 , 20 1 2 3 11 -> 21 6 7 8 4 12 , 20 1 2 3 13 -> 21 6 7 8 4 14 , 20 1 2 3 15 -> 21 6 7 8 4 16 , 20 1 2 3 17 -> 21 6 7 8 4 18 , 4 1 2 3 4 -> 10 6 7 8 4 0 , 4 1 2 3 9 -> 10 6 7 8 4 1 , 4 1 2 3 10 -> 10 6 7 8 4 5 , 4 1 2 3 11 -> 10 6 7 8 4 12 , 4 1 2 3 13 -> 10 6 7 8 4 14 , 4 1 2 3 15 -> 10 6 7 8 4 16 , 4 1 2 3 17 -> 10 6 7 8 4 18 , 22 1 2 3 4 -> 23 6 7 8 4 0 , 22 1 2 3 9 -> 23 6 7 8 4 1 , 22 1 2 3 10 -> 23 6 7 8 4 5 , 22 1 2 3 11 -> 23 6 7 8 4 12 , 22 1 2 3 13 -> 23 6 7 8 4 14 , 22 1 2 3 15 -> 23 6 7 8 4 16 , 22 1 2 3 17 -> 23 6 7 8 4 18 , 24 1 2 3 4 -> 25 6 7 8 4 0 , 24 1 2 3 9 -> 25 6 7 8 4 1 , 24 1 2 3 10 -> 25 6 7 8 4 5 , 24 1 2 3 11 -> 25 6 7 8 4 12 , 24 1 2 3 13 -> 25 6 7 8 4 14 , 24 1 2 3 15 -> 25 6 7 8 4 16 , 24 1 2 3 17 -> 25 6 7 8 4 18 , 26 1 2 3 4 -> 27 6 7 8 4 0 , 26 1 2 3 9 -> 27 6 7 8 4 1 , 26 1 2 3 10 -> 27 6 7 8 4 5 , 26 1 2 3 11 -> 27 6 7 8 4 12 , 26 1 2 3 13 -> 27 6 7 8 4 14 , 26 1 2 3 15 -> 27 6 7 8 4 16 , 26 1 2 3 17 -> 27 6 7 8 4 18 , 14 23 21 3 4 -> 0 5 21 28 8 4 , 14 23 21 3 9 -> 0 5 21 28 8 9 , 14 23 21 3 10 -> 0 5 21 28 8 10 , 14 23 21 3 11 -> 0 5 21 28 8 11 , 14 23 21 3 13 -> 0 5 21 28 8 13 , 14 23 21 3 15 -> 0 5 21 28 8 15 , 14 23 21 3 17 -> 0 5 21 28 8 17 , 7 23 21 3 4 -> 19 5 21 28 8 4 , 7 23 21 3 9 -> 19 5 21 28 8 9 , 7 23 21 3 10 -> 19 5 21 28 8 10 , 7 23 21 3 11 -> 19 5 21 28 8 11 , 7 23 21 3 13 -> 19 5 21 28 8 13 , 7 23 21 3 15 -> 19 5 21 28 8 15 , 7 23 21 3 17 -> 19 5 21 28 8 17 , 28 23 21 3 4 -> 20 5 21 28 8 4 , 28 23 21 3 9 -> 20 5 21 28 8 9 , 28 23 21 3 10 -> 20 5 21 28 8 10 , 28 23 21 3 11 -> 20 5 21 28 8 11 , 28 23 21 3 13 -> 20 5 21 28 8 13 , 28 23 21 3 15 -> 20 5 21 28 8 15 , 28 23 21 3 17 -> 20 5 21 28 8 17 , 13 23 21 3 4 -> 4 5 21 28 8 4 , 13 23 21 3 9 -> 4 5 21 28 8 9 , 13 23 21 3 10 -> 4 5 21 28 8 10 , 13 23 21 3 11 -> 4 5 21 28 8 11 , 13 23 21 3 13 -> 4 5 21 28 8 13 , 13 23 21 3 15 -> 4 5 21 28 8 15 , 13 23 21 3 17 -> 4 5 21 28 8 17 , 29 23 21 3 4 -> 22 5 21 28 8 4 , 29 23 21 3 9 -> 22 5 21 28 8 9 , 29 23 21 3 10 -> 22 5 21 28 8 10 , 29 23 21 3 11 -> 22 5 21 28 8 11 , 29 23 21 3 13 -> 22 5 21 28 8 13 , 29 23 21 3 15 -> 22 5 21 28 8 15 , 29 23 21 3 17 -> 22 5 21 28 8 17 , 30 23 21 3 4 -> 24 5 21 28 8 4 , 30 23 21 3 9 -> 24 5 21 28 8 9 , 30 23 21 3 10 -> 24 5 21 28 8 10 , 30 23 21 3 11 -> 24 5 21 28 8 11 , 30 23 21 3 13 -> 24 5 21 28 8 13 , 30 23 21 3 15 -> 24 5 21 28 8 15 , 30 23 21 3 17 -> 24 5 21 28 8 17 , 31 23 21 3 4 -> 26 5 21 28 8 4 , 31 23 21 3 9 -> 26 5 21 28 8 9 , 31 23 21 3 10 -> 26 5 21 28 8 10 , 31 23 21 3 11 -> 26 5 21 28 8 11 , 31 23 21 3 13 -> 26 5 21 28 8 13 , 31 23 21 3 15 -> 26 5 21 28 8 15 , 31 23 21 3 17 -> 26 5 21 28 8 17 , 14 23 21 3 4 -> 5 20 5 28 8 4 , 14 23 21 3 9 -> 5 20 5 28 8 9 , 14 23 21 3 10 -> 5 20 5 28 8 10 , 14 23 21 3 11 -> 5 20 5 28 8 11 , 14 23 21 3 13 -> 5 20 5 28 8 13 , 14 23 21 3 15 -> 5 20 5 28 8 15 , 14 23 21 3 17 -> 5 20 5 28 8 17 , 7 23 21 3 4 -> 2 20 5 28 8 4 , 7 23 21 3 9 -> 2 20 5 28 8 9 , 7 23 21 3 10 -> 2 20 5 28 8 10 , 7 23 21 3 11 -> 2 20 5 28 8 11 , 7 23 21 3 13 -> 2 20 5 28 8 13 , 7 23 21 3 15 -> 2 20 5 28 8 15 , 7 23 21 3 17 -> 2 20 5 28 8 17 , 28 23 21 3 4 -> 21 20 5 28 8 4 , 28 23 21 3 9 -> 21 20 5 28 8 9 , 28 23 21 3 10 -> 21 20 5 28 8 10 , 28 23 21 3 11 -> 21 20 5 28 8 11 , 28 23 21 3 13 -> 21 20 5 28 8 13 , 28 23 21 3 15 -> 21 20 5 28 8 15 , 28 23 21 3 17 -> 21 20 5 28 8 17 , 13 23 21 3 4 -> 10 20 5 28 8 4 , 13 23 21 3 9 -> 10 20 5 28 8 9 , 13 23 21 3 10 -> 10 20 5 28 8 10 , 13 23 21 3 11 -> 10 20 5 28 8 11 , 13 23 21 3 13 -> 10 20 5 28 8 13 , 13 23 21 3 15 -> 10 20 5 28 8 15 , 13 23 21 3 17 -> 10 20 5 28 8 17 , 29 23 21 3 4 -> 23 20 5 28 8 4 , 29 23 21 3 9 -> 23 20 5 28 8 9 , 29 23 21 3 10 -> 23 20 5 28 8 10 , 29 23 21 3 11 -> 23 20 5 28 8 11 , 29 23 21 3 13 -> 23 20 5 28 8 13 , 29 23 21 3 15 -> 23 20 5 28 8 15 , 29 23 21 3 17 -> 23 20 5 28 8 17 , 30 23 21 3 4 -> 25 20 5 28 8 4 , 30 23 21 3 9 -> 25 20 5 28 8 9 , 30 23 21 3 10 -> 25 20 5 28 8 10 , 30 23 21 3 11 -> 25 20 5 28 8 11 , 30 23 21 3 13 -> 25 20 5 28 8 13 , 30 23 21 3 15 -> 25 20 5 28 8 15 , 30 23 21 3 17 -> 25 20 5 28 8 17 , 31 23 21 3 4 -> 27 20 5 28 8 4 , 31 23 21 3 9 -> 27 20 5 28 8 9 , 31 23 21 3 10 -> 27 20 5 28 8 10 , 31 23 21 3 11 -> 27 20 5 28 8 11 , 31 23 21 3 13 -> 27 20 5 28 8 13 , 31 23 21 3 15 -> 27 20 5 28 8 15 , 31 23 21 3 17 -> 27 20 5 28 8 17 , 5 3 13 32 24 -> 5 20 14 8 15 24 , 5 3 13 32 33 -> 5 20 14 8 15 33 , 5 3 13 32 25 -> 5 20 14 8 15 25 , 5 3 13 32 34 -> 5 20 14 8 15 34 , 5 3 13 32 30 -> 5 20 14 8 15 30 , 5 3 13 32 35 -> 5 20 14 8 15 35 , 5 3 13 32 36 -> 5 20 14 8 15 36 , 2 3 13 32 24 -> 2 20 14 8 15 24 , 2 3 13 32 33 -> 2 20 14 8 15 33 , 2 3 13 32 25 -> 2 20 14 8 15 25 , 2 3 13 32 34 -> 2 20 14 8 15 34 , 2 3 13 32 30 -> 2 20 14 8 15 30 , 2 3 13 32 35 -> 2 20 14 8 15 35 , 2 3 13 32 36 -> 2 20 14 8 15 36 , 21 3 13 32 24 -> 21 20 14 8 15 24 , 21 3 13 32 33 -> 21 20 14 8 15 33 , 21 3 13 32 25 -> 21 20 14 8 15 25 , 21 3 13 32 34 -> 21 20 14 8 15 34 , 21 3 13 32 30 -> 21 20 14 8 15 30 , 21 3 13 32 35 -> 21 20 14 8 15 35 , 21 3 13 32 36 -> 21 20 14 8 15 36 , 10 3 13 32 24 -> 10 20 14 8 15 24 , 10 3 13 32 33 -> 10 20 14 8 15 33 , 10 3 13 32 25 -> 10 20 14 8 15 25 , 10 3 13 32 34 -> 10 20 14 8 15 34 , 10 3 13 32 30 -> 10 20 14 8 15 30 , 10 3 13 32 35 -> 10 20 14 8 15 35 , 10 3 13 32 36 -> 10 20 14 8 15 36 , 23 3 13 32 24 -> 23 20 14 8 15 24 , 23 3 13 32 33 -> 23 20 14 8 15 33 , 23 3 13 32 25 -> 23 20 14 8 15 25 , 23 3 13 32 34 -> 23 20 14 8 15 34 , 23 3 13 32 30 -> 23 20 14 8 15 30 , 23 3 13 32 35 -> 23 20 14 8 15 35 , 23 3 13 32 36 -> 23 20 14 8 15 36 , 25 3 13 32 24 -> 25 20 14 8 15 24 , 25 3 13 32 33 -> 25 20 14 8 15 33 , 25 3 13 32 25 -> 25 20 14 8 15 25 , 25 3 13 32 34 -> 25 20 14 8 15 34 , 25 3 13 32 30 -> 25 20 14 8 15 30 , 25 3 13 32 35 -> 25 20 14 8 15 35 , 25 3 13 32 36 -> 25 20 14 8 15 36 , 27 3 13 32 24 -> 27 20 14 8 15 24 , 27 3 13 32 33 -> 27 20 14 8 15 33 , 27 3 13 32 25 -> 27 20 14 8 15 25 , 27 3 13 32 34 -> 27 20 14 8 15 34 , 27 3 13 32 30 -> 27 20 14 8 15 30 , 27 3 13 32 35 -> 27 20 14 8 15 35 , 27 3 13 32 36 -> 27 20 14 8 15 36 , 5 3 13 32 24 -> 5 28 8 4 16 24 , 5 3 13 32 33 -> 5 28 8 4 16 33 , 5 3 13 32 25 -> 5 28 8 4 16 25 , 5 3 13 32 34 -> 5 28 8 4 16 34 , 5 3 13 32 30 -> 5 28 8 4 16 30 , 5 3 13 32 35 -> 5 28 8 4 16 35 , 5 3 13 32 36 -> 5 28 8 4 16 36 , 2 3 13 32 24 -> 2 28 8 4 16 24 , 2 3 13 32 33 -> 2 28 8 4 16 33 , 2 3 13 32 25 -> 2 28 8 4 16 25 , 2 3 13 32 34 -> 2 28 8 4 16 34 , 2 3 13 32 30 -> 2 28 8 4 16 30 , 2 3 13 32 35 -> 2 28 8 4 16 35 , 2 3 13 32 36 -> 2 28 8 4 16 36 , 21 3 13 32 24 -> 21 28 8 4 16 24 , 21 3 13 32 33 -> 21 28 8 4 16 33 , 21 3 13 32 25 -> 21 28 8 4 16 25 , 21 3 13 32 34 -> 21 28 8 4 16 34 , 21 3 13 32 30 -> 21 28 8 4 16 30 , 21 3 13 32 35 -> 21 28 8 4 16 35 , 21 3 13 32 36 -> 21 28 8 4 16 36 , 10 3 13 32 24 -> 10 28 8 4 16 24 , 10 3 13 32 33 -> 10 28 8 4 16 33 , 10 3 13 32 25 -> 10 28 8 4 16 25 , 10 3 13 32 34 -> 10 28 8 4 16 34 , 10 3 13 32 30 -> 10 28 8 4 16 30 , 10 3 13 32 35 -> 10 28 8 4 16 35 , 10 3 13 32 36 -> 10 28 8 4 16 36 , 23 3 13 32 24 -> 23 28 8 4 16 24 , 23 3 13 32 33 -> 23 28 8 4 16 33 , 23 3 13 32 25 -> 23 28 8 4 16 25 , 23 3 13 32 34 -> 23 28 8 4 16 34 , 23 3 13 32 30 -> 23 28 8 4 16 30 , 23 3 13 32 35 -> 23 28 8 4 16 35 , 23 3 13 32 36 -> 23 28 8 4 16 36 , 25 3 13 32 24 -> 25 28 8 4 16 24 , 25 3 13 32 33 -> 25 28 8 4 16 33 , 25 3 13 32 25 -> 25 28 8 4 16 25 , 25 3 13 32 34 -> 25 28 8 4 16 34 , 25 3 13 32 30 -> 25 28 8 4 16 30 , 25 3 13 32 35 -> 25 28 8 4 16 35 , 25 3 13 32 36 -> 25 28 8 4 16 36 , 27 3 13 32 24 -> 27 28 8 4 16 24 , 27 3 13 32 33 -> 27 28 8 4 16 33 , 27 3 13 32 25 -> 27 28 8 4 16 25 , 27 3 13 32 34 -> 27 28 8 4 16 34 , 27 3 13 32 30 -> 27 28 8 4 16 30 , 27 3 13 32 35 -> 27 28 8 4 16 35 , 27 3 13 32 36 -> 27 28 8 4 16 36 , 14 22 1 2 3 4 -> 1 7 8 10 3 4 0 , 14 22 1 2 3 9 -> 1 7 8 10 3 4 1 , 14 22 1 2 3 10 -> 1 7 8 10 3 4 5 , 14 22 1 2 3 11 -> 1 7 8 10 3 4 12 , 14 22 1 2 3 13 -> 1 7 8 10 3 4 14 , 14 22 1 2 3 15 -> 1 7 8 10 3 4 16 , 14 22 1 2 3 17 -> 1 7 8 10 3 4 18 , 7 22 1 2 3 4 -> 37 7 8 10 3 4 0 , 7 22 1 2 3 9 -> 37 7 8 10 3 4 1 , 7 22 1 2 3 10 -> 37 7 8 10 3 4 5 , 7 22 1 2 3 11 -> 37 7 8 10 3 4 12 , 7 22 1 2 3 13 -> 37 7 8 10 3 4 14 , 7 22 1 2 3 15 -> 37 7 8 10 3 4 16 , 7 22 1 2 3 17 -> 37 7 8 10 3 4 18 , 28 22 1 2 3 4 -> 6 7 8 10 3 4 0 , 28 22 1 2 3 9 -> 6 7 8 10 3 4 1 , 28 22 1 2 3 10 -> 6 7 8 10 3 4 5 , 28 22 1 2 3 11 -> 6 7 8 10 3 4 12 , 28 22 1 2 3 13 -> 6 7 8 10 3 4 14 , 28 22 1 2 3 15 -> 6 7 8 10 3 4 16 , 28 22 1 2 3 17 -> 6 7 8 10 3 4 18 , 13 22 1 2 3 4 -> 9 7 8 10 3 4 0 , 13 22 1 2 3 9 -> 9 7 8 10 3 4 1 , 13 22 1 2 3 10 -> 9 7 8 10 3 4 5 , 13 22 1 2 3 11 -> 9 7 8 10 3 4 12 , 13 22 1 2 3 13 -> 9 7 8 10 3 4 14 , 13 22 1 2 3 15 -> 9 7 8 10 3 4 16 , 13 22 1 2 3 17 -> 9 7 8 10 3 4 18 , 29 22 1 2 3 4 -> 38 7 8 10 3 4 0 , 29 22 1 2 3 9 -> 38 7 8 10 3 4 1 , 29 22 1 2 3 10 -> 38 7 8 10 3 4 5 , 29 22 1 2 3 11 -> 38 7 8 10 3 4 12 , 29 22 1 2 3 13 -> 38 7 8 10 3 4 14 , 29 22 1 2 3 15 -> 38 7 8 10 3 4 16 , 29 22 1 2 3 17 -> 38 7 8 10 3 4 18 , 30 22 1 2 3 4 -> 33 7 8 10 3 4 0 , 30 22 1 2 3 9 -> 33 7 8 10 3 4 1 , 30 22 1 2 3 10 -> 33 7 8 10 3 4 5 , 30 22 1 2 3 11 -> 33 7 8 10 3 4 12 , 30 22 1 2 3 13 -> 33 7 8 10 3 4 14 , 30 22 1 2 3 15 -> 33 7 8 10 3 4 16 , 30 22 1 2 3 17 -> 33 7 8 10 3 4 18 , 31 22 1 2 3 4 -> 39 7 8 10 3 4 0 , 31 22 1 2 3 9 -> 39 7 8 10 3 4 1 , 31 22 1 2 3 10 -> 39 7 8 10 3 4 5 , 31 22 1 2 3 11 -> 39 7 8 10 3 4 12 , 31 22 1 2 3 13 -> 39 7 8 10 3 4 14 , 31 22 1 2 3 15 -> 39 7 8 10 3 4 16 , 31 22 1 2 3 17 -> 39 7 8 10 3 4 18 , 0 1 7 23 3 4 -> 5 20 1 7 8 4 0 , 0 1 7 23 3 9 -> 5 20 1 7 8 4 1 , 0 1 7 23 3 10 -> 5 20 1 7 8 4 5 , 0 1 7 23 3 11 -> 5 20 1 7 8 4 12 , 0 1 7 23 3 13 -> 5 20 1 7 8 4 14 , 0 1 7 23 3 15 -> 5 20 1 7 8 4 16 , 0 1 7 23 3 17 -> 5 20 1 7 8 4 18 , 19 1 7 23 3 4 -> 2 20 1 7 8 4 0 , 19 1 7 23 3 9 -> 2 20 1 7 8 4 1 , 19 1 7 23 3 10 -> 2 20 1 7 8 4 5 , 19 1 7 23 3 11 -> 2 20 1 7 8 4 12 , 19 1 7 23 3 13 -> 2 20 1 7 8 4 14 , 19 1 7 23 3 15 -> 2 20 1 7 8 4 16 , 19 1 7 23 3 17 -> 2 20 1 7 8 4 18 , 20 1 7 23 3 4 -> 21 20 1 7 8 4 0 , 20 1 7 23 3 9 -> 21 20 1 7 8 4 1 , 20 1 7 23 3 10 -> 21 20 1 7 8 4 5 , 20 1 7 23 3 11 -> 21 20 1 7 8 4 12 , 20 1 7 23 3 13 -> 21 20 1 7 8 4 14 , 20 1 7 23 3 15 -> 21 20 1 7 8 4 16 , 20 1 7 23 3 17 -> 21 20 1 7 8 4 18 , 4 1 7 23 3 4 -> 10 20 1 7 8 4 0 , 4 1 7 23 3 9 -> 10 20 1 7 8 4 1 , 4 1 7 23 3 10 -> 10 20 1 7 8 4 5 , 4 1 7 23 3 11 -> 10 20 1 7 8 4 12 , 4 1 7 23 3 13 -> 10 20 1 7 8 4 14 , 4 1 7 23 3 15 -> 10 20 1 7 8 4 16 , 4 1 7 23 3 17 -> 10 20 1 7 8 4 18 , 22 1 7 23 3 4 -> 23 20 1 7 8 4 0 , 22 1 7 23 3 9 -> 23 20 1 7 8 4 1 , 22 1 7 23 3 10 -> 23 20 1 7 8 4 5 , 22 1 7 23 3 11 -> 23 20 1 7 8 4 12 , 22 1 7 23 3 13 -> 23 20 1 7 8 4 14 , 22 1 7 23 3 15 -> 23 20 1 7 8 4 16 , 22 1 7 23 3 17 -> 23 20 1 7 8 4 18 , 24 1 7 23 3 4 -> 25 20 1 7 8 4 0 , 24 1 7 23 3 9 -> 25 20 1 7 8 4 1 , 24 1 7 23 3 10 -> 25 20 1 7 8 4 5 , 24 1 7 23 3 11 -> 25 20 1 7 8 4 12 , 24 1 7 23 3 13 -> 25 20 1 7 8 4 14 , 24 1 7 23 3 15 -> 25 20 1 7 8 4 16 , 24 1 7 23 3 17 -> 25 20 1 7 8 4 18 , 26 1 7 23 3 4 -> 27 20 1 7 8 4 0 , 26 1 7 23 3 9 -> 27 20 1 7 8 4 1 , 26 1 7 23 3 10 -> 27 20 1 7 8 4 5 , 26 1 7 23 3 11 -> 27 20 1 7 8 4 12 , 26 1 7 23 3 13 -> 27 20 1 7 8 4 14 , 26 1 7 23 3 15 -> 27 20 1 7 8 4 16 , 26 1 7 23 3 17 -> 27 20 1 7 8 4 18 , 0 16 30 23 3 4 -> 16 24 5 20 14 8 4 , 0 16 30 23 3 9 -> 16 24 5 20 14 8 9 , 0 16 30 23 3 10 -> 16 24 5 20 14 8 10 , 0 16 30 23 3 11 -> 16 24 5 20 14 8 11 , 0 16 30 23 3 13 -> 16 24 5 20 14 8 13 , 0 16 30 23 3 15 -> 16 24 5 20 14 8 15 , 0 16 30 23 3 17 -> 16 24 5 20 14 8 17 , 19 16 30 23 3 4 -> 40 24 5 20 14 8 4 , 19 16 30 23 3 9 -> 40 24 5 20 14 8 9 , 19 16 30 23 3 10 -> 40 24 5 20 14 8 10 , 19 16 30 23 3 11 -> 40 24 5 20 14 8 11 , 19 16 30 23 3 13 -> 40 24 5 20 14 8 13 , 19 16 30 23 3 15 -> 40 24 5 20 14 8 15 , 19 16 30 23 3 17 -> 40 24 5 20 14 8 17 , 20 16 30 23 3 4 -> 41 24 5 20 14 8 4 , 20 16 30 23 3 9 -> 41 24 5 20 14 8 9 , 20 16 30 23 3 10 -> 41 24 5 20 14 8 10 , 20 16 30 23 3 11 -> 41 24 5 20 14 8 11 , 20 16 30 23 3 13 -> 41 24 5 20 14 8 13 , 20 16 30 23 3 15 -> 41 24 5 20 14 8 15 , 20 16 30 23 3 17 -> 41 24 5 20 14 8 17 , 4 16 30 23 3 4 -> 15 24 5 20 14 8 4 , 4 16 30 23 3 9 -> 15 24 5 20 14 8 9 , 4 16 30 23 3 10 -> 15 24 5 20 14 8 10 , 4 16 30 23 3 11 -> 15 24 5 20 14 8 11 , 4 16 30 23 3 13 -> 15 24 5 20 14 8 13 , 4 16 30 23 3 15 -> 15 24 5 20 14 8 15 , 4 16 30 23 3 17 -> 15 24 5 20 14 8 17 , 22 16 30 23 3 4 -> 32 24 5 20 14 8 4 , 22 16 30 23 3 9 -> 32 24 5 20 14 8 9 , 22 16 30 23 3 10 -> 32 24 5 20 14 8 10 , 22 16 30 23 3 11 -> 32 24 5 20 14 8 11 , 22 16 30 23 3 13 -> 32 24 5 20 14 8 13 , 22 16 30 23 3 15 -> 32 24 5 20 14 8 15 , 22 16 30 23 3 17 -> 32 24 5 20 14 8 17 , 24 16 30 23 3 4 -> 35 24 5 20 14 8 4 , 24 16 30 23 3 9 -> 35 24 5 20 14 8 9 , 24 16 30 23 3 10 -> 35 24 5 20 14 8 10 , 24 16 30 23 3 11 -> 35 24 5 20 14 8 11 , 24 16 30 23 3 13 -> 35 24 5 20 14 8 13 , 24 16 30 23 3 15 -> 35 24 5 20 14 8 15 , 24 16 30 23 3 17 -> 35 24 5 20 14 8 17 , 26 16 30 23 3 4 -> 42 24 5 20 14 8 4 , 26 16 30 23 3 9 -> 42 24 5 20 14 8 9 , 26 16 30 23 3 10 -> 42 24 5 20 14 8 10 , 26 16 30 23 3 11 -> 42 24 5 20 14 8 11 , 26 16 30 23 3 13 -> 42 24 5 20 14 8 13 , 26 16 30 23 3 15 -> 42 24 5 20 14 8 15 , 26 16 30 23 3 17 -> 42 24 5 20 14 8 17 , 14 38 19 5 3 4 -> 5 6 7 22 12 11 4 , 14 38 19 5 3 9 -> 5 6 7 22 12 11 9 , 14 38 19 5 3 10 -> 5 6 7 22 12 11 10 , 14 38 19 5 3 11 -> 5 6 7 22 12 11 11 , 14 38 19 5 3 13 -> 5 6 7 22 12 11 13 , 14 38 19 5 3 15 -> 5 6 7 22 12 11 15 , 14 38 19 5 3 17 -> 5 6 7 22 12 11 17 , 7 38 19 5 3 4 -> 2 6 7 22 12 11 4 , 7 38 19 5 3 9 -> 2 6 7 22 12 11 9 , 7 38 19 5 3 10 -> 2 6 7 22 12 11 10 , 7 38 19 5 3 11 -> 2 6 7 22 12 11 11 , 7 38 19 5 3 13 -> 2 6 7 22 12 11 13 , 7 38 19 5 3 15 -> 2 6 7 22 12 11 15 , 7 38 19 5 3 17 -> 2 6 7 22 12 11 17 , 28 38 19 5 3 4 -> 21 6 7 22 12 11 4 , 28 38 19 5 3 9 -> 21 6 7 22 12 11 9 , 28 38 19 5 3 10 -> 21 6 7 22 12 11 10 , 28 38 19 5 3 11 -> 21 6 7 22 12 11 11 , 28 38 19 5 3 13 -> 21 6 7 22 12 11 13 , 28 38 19 5 3 15 -> 21 6 7 22 12 11 15 , 28 38 19 5 3 17 -> 21 6 7 22 12 11 17 , 13 38 19 5 3 4 -> 10 6 7 22 12 11 4 , 13 38 19 5 3 9 -> 10 6 7 22 12 11 9 , 13 38 19 5 3 10 -> 10 6 7 22 12 11 10 , 13 38 19 5 3 11 -> 10 6 7 22 12 11 11 , 13 38 19 5 3 13 -> 10 6 7 22 12 11 13 , 13 38 19 5 3 15 -> 10 6 7 22 12 11 15 , 13 38 19 5 3 17 -> 10 6 7 22 12 11 17 , 29 38 19 5 3 4 -> 23 6 7 22 12 11 4 , 29 38 19 5 3 9 -> 23 6 7 22 12 11 9 , 29 38 19 5 3 10 -> 23 6 7 22 12 11 10 , 29 38 19 5 3 11 -> 23 6 7 22 12 11 11 , 29 38 19 5 3 13 -> 23 6 7 22 12 11 13 , 29 38 19 5 3 15 -> 23 6 7 22 12 11 15 , 29 38 19 5 3 17 -> 23 6 7 22 12 11 17 , 30 38 19 5 3 4 -> 25 6 7 22 12 11 4 , 30 38 19 5 3 9 -> 25 6 7 22 12 11 9 , 30 38 19 5 3 10 -> 25 6 7 22 12 11 10 , 30 38 19 5 3 11 -> 25 6 7 22 12 11 11 , 30 38 19 5 3 13 -> 25 6 7 22 12 11 13 , 30 38 19 5 3 15 -> 25 6 7 22 12 11 15 , 30 38 19 5 3 17 -> 25 6 7 22 12 11 17 , 31 38 19 5 3 4 -> 27 6 7 22 12 11 4 , 31 38 19 5 3 9 -> 27 6 7 22 12 11 9 , 31 38 19 5 3 10 -> 27 6 7 22 12 11 10 , 31 38 19 5 3 11 -> 27 6 7 22 12 11 11 , 31 38 19 5 3 13 -> 27 6 7 22 12 11 13 , 31 38 19 5 3 15 -> 27 6 7 22 12 11 15 , 31 38 19 5 3 17 -> 27 6 7 22 12 11 17 , 0 1 2 3 15 24 -> 1 7 8 10 41 24 0 , 0 1 2 3 15 33 -> 1 7 8 10 41 24 1 , 0 1 2 3 15 25 -> 1 7 8 10 41 24 5 , 0 1 2 3 15 34 -> 1 7 8 10 41 24 12 , 0 1 2 3 15 30 -> 1 7 8 10 41 24 14 , 0 1 2 3 15 35 -> 1 7 8 10 41 24 16 , 0 1 2 3 15 36 -> 1 7 8 10 41 24 18 , 19 1 2 3 15 24 -> 37 7 8 10 41 24 0 , 19 1 2 3 15 33 -> 37 7 8 10 41 24 1 , 19 1 2 3 15 25 -> 37 7 8 10 41 24 5 , 19 1 2 3 15 34 -> 37 7 8 10 41 24 12 , 19 1 2 3 15 30 -> 37 7 8 10 41 24 14 , 19 1 2 3 15 35 -> 37 7 8 10 41 24 16 , 19 1 2 3 15 36 -> 37 7 8 10 41 24 18 , 20 1 2 3 15 24 -> 6 7 8 10 41 24 0 , 20 1 2 3 15 33 -> 6 7 8 10 41 24 1 , 20 1 2 3 15 25 -> 6 7 8 10 41 24 5 , 20 1 2 3 15 34 -> 6 7 8 10 41 24 12 , 20 1 2 3 15 30 -> 6 7 8 10 41 24 14 , 20 1 2 3 15 35 -> 6 7 8 10 41 24 16 , 20 1 2 3 15 36 -> 6 7 8 10 41 24 18 , 4 1 2 3 15 24 -> 9 7 8 10 41 24 0 , 4 1 2 3 15 33 -> 9 7 8 10 41 24 1 , 4 1 2 3 15 25 -> 9 7 8 10 41 24 5 , 4 1 2 3 15 34 -> 9 7 8 10 41 24 12 , 4 1 2 3 15 30 -> 9 7 8 10 41 24 14 , 4 1 2 3 15 35 -> 9 7 8 10 41 24 16 , 4 1 2 3 15 36 -> 9 7 8 10 41 24 18 , 22 1 2 3 15 24 -> 38 7 8 10 41 24 0 , 22 1 2 3 15 33 -> 38 7 8 10 41 24 1 , 22 1 2 3 15 25 -> 38 7 8 10 41 24 5 , 22 1 2 3 15 34 -> 38 7 8 10 41 24 12 , 22 1 2 3 15 30 -> 38 7 8 10 41 24 14 , 22 1 2 3 15 35 -> 38 7 8 10 41 24 16 , 22 1 2 3 15 36 -> 38 7 8 10 41 24 18 , 24 1 2 3 15 24 -> 33 7 8 10 41 24 0 , 24 1 2 3 15 33 -> 33 7 8 10 41 24 1 , 24 1 2 3 15 25 -> 33 7 8 10 41 24 5 , 24 1 2 3 15 34 -> 33 7 8 10 41 24 12 , 24 1 2 3 15 30 -> 33 7 8 10 41 24 14 , 24 1 2 3 15 35 -> 33 7 8 10 41 24 16 , 24 1 2 3 15 36 -> 33 7 8 10 41 24 18 , 26 1 2 3 15 24 -> 39 7 8 10 41 24 0 , 26 1 2 3 15 33 -> 39 7 8 10 41 24 1 , 26 1 2 3 15 25 -> 39 7 8 10 41 24 5 , 26 1 2 3 15 34 -> 39 7 8 10 41 24 12 , 26 1 2 3 15 30 -> 39 7 8 10 41 24 14 , 26 1 2 3 15 35 -> 39 7 8 10 41 24 16 , 26 1 2 3 15 36 -> 39 7 8 10 41 24 18 , 5 3 13 8 15 24 -> 5 28 8 13 32 34 4 , 5 3 13 8 15 33 -> 5 28 8 13 32 34 9 , 5 3 13 8 15 25 -> 5 28 8 13 32 34 10 , 5 3 13 8 15 34 -> 5 28 8 13 32 34 11 , 5 3 13 8 15 30 -> 5 28 8 13 32 34 13 , 5 3 13 8 15 35 -> 5 28 8 13 32 34 15 , 5 3 13 8 15 36 -> 5 28 8 13 32 34 17 , 2 3 13 8 15 24 -> 2 28 8 13 32 34 4 , 2 3 13 8 15 33 -> 2 28 8 13 32 34 9 , 2 3 13 8 15 25 -> 2 28 8 13 32 34 10 , 2 3 13 8 15 34 -> 2 28 8 13 32 34 11 , 2 3 13 8 15 30 -> 2 28 8 13 32 34 13 , 2 3 13 8 15 35 -> 2 28 8 13 32 34 15 , 2 3 13 8 15 36 -> 2 28 8 13 32 34 17 , 21 3 13 8 15 24 -> 21 28 8 13 32 34 4 , 21 3 13 8 15 33 -> 21 28 8 13 32 34 9 , 21 3 13 8 15 25 -> 21 28 8 13 32 34 10 , 21 3 13 8 15 34 -> 21 28 8 13 32 34 11 , 21 3 13 8 15 30 -> 21 28 8 13 32 34 13 , 21 3 13 8 15 35 -> 21 28 8 13 32 34 15 , 21 3 13 8 15 36 -> 21 28 8 13 32 34 17 , 10 3 13 8 15 24 -> 10 28 8 13 32 34 4 , 10 3 13 8 15 33 -> 10 28 8 13 32 34 9 , 10 3 13 8 15 25 -> 10 28 8 13 32 34 10 , 10 3 13 8 15 34 -> 10 28 8 13 32 34 11 , 10 3 13 8 15 30 -> 10 28 8 13 32 34 13 , 10 3 13 8 15 35 -> 10 28 8 13 32 34 15 , 10 3 13 8 15 36 -> 10 28 8 13 32 34 17 , 23 3 13 8 15 24 -> 23 28 8 13 32 34 4 , 23 3 13 8 15 33 -> 23 28 8 13 32 34 9 , 23 3 13 8 15 25 -> 23 28 8 13 32 34 10 , 23 3 13 8 15 34 -> 23 28 8 13 32 34 11 , 23 3 13 8 15 30 -> 23 28 8 13 32 34 13 , 23 3 13 8 15 35 -> 23 28 8 13 32 34 15 , 23 3 13 8 15 36 -> 23 28 8 13 32 34 17 , 25 3 13 8 15 24 -> 25 28 8 13 32 34 4 , 25 3 13 8 15 33 -> 25 28 8 13 32 34 9 , 25 3 13 8 15 25 -> 25 28 8 13 32 34 10 , 25 3 13 8 15 34 -> 25 28 8 13 32 34 11 , 25 3 13 8 15 30 -> 25 28 8 13 32 34 13 , 25 3 13 8 15 35 -> 25 28 8 13 32 34 15 , 25 3 13 8 15 36 -> 25 28 8 13 32 34 17 , 27 3 13 8 15 24 -> 27 28 8 13 32 34 4 , 27 3 13 8 15 33 -> 27 28 8 13 32 34 9 , 27 3 13 8 15 25 -> 27 28 8 13 32 34 10 , 27 3 13 8 15 34 -> 27 28 8 13 32 34 11 , 27 3 13 8 15 30 -> 27 28 8 13 32 34 13 , 27 3 13 8 15 35 -> 27 28 8 13 32 34 15 , 27 3 13 8 15 36 -> 27 28 8 13 32 34 17 , 5 3 13 8 15 24 -> 16 34 10 6 7 8 4 , 5 3 13 8 15 33 -> 16 34 10 6 7 8 9 , 5 3 13 8 15 25 -> 16 34 10 6 7 8 10 , 5 3 13 8 15 34 -> 16 34 10 6 7 8 11 , 5 3 13 8 15 30 -> 16 34 10 6 7 8 13 , 5 3 13 8 15 35 -> 16 34 10 6 7 8 15 , 5 3 13 8 15 36 -> 16 34 10 6 7 8 17 , 2 3 13 8 15 24 -> 40 34 10 6 7 8 4 , 2 3 13 8 15 33 -> 40 34 10 6 7 8 9 , 2 3 13 8 15 25 -> 40 34 10 6 7 8 10 , 2 3 13 8 15 34 -> 40 34 10 6 7 8 11 , 2 3 13 8 15 30 -> 40 34 10 6 7 8 13 , 2 3 13 8 15 35 -> 40 34 10 6 7 8 15 , 2 3 13 8 15 36 -> 40 34 10 6 7 8 17 , 21 3 13 8 15 24 -> 41 34 10 6 7 8 4 , 21 3 13 8 15 33 -> 41 34 10 6 7 8 9 , 21 3 13 8 15 25 -> 41 34 10 6 7 8 10 , 21 3 13 8 15 34 -> 41 34 10 6 7 8 11 , 21 3 13 8 15 30 -> 41 34 10 6 7 8 13 , 21 3 13 8 15 35 -> 41 34 10 6 7 8 15 , 21 3 13 8 15 36 -> 41 34 10 6 7 8 17 , 10 3 13 8 15 24 -> 15 34 10 6 7 8 4 , 10 3 13 8 15 33 -> 15 34 10 6 7 8 9 , 10 3 13 8 15 25 -> 15 34 10 6 7 8 10 , 10 3 13 8 15 34 -> 15 34 10 6 7 8 11 , 10 3 13 8 15 30 -> 15 34 10 6 7 8 13 , 10 3 13 8 15 35 -> 15 34 10 6 7 8 15 , 10 3 13 8 15 36 -> 15 34 10 6 7 8 17 , 23 3 13 8 15 24 -> 32 34 10 6 7 8 4 , 23 3 13 8 15 33 -> 32 34 10 6 7 8 9 , 23 3 13 8 15 25 -> 32 34 10 6 7 8 10 , 23 3 13 8 15 34 -> 32 34 10 6 7 8 11 , 23 3 13 8 15 30 -> 32 34 10 6 7 8 13 , 23 3 13 8 15 35 -> 32 34 10 6 7 8 15 , 23 3 13 8 15 36 -> 32 34 10 6 7 8 17 , 25 3 13 8 15 24 -> 35 34 10 6 7 8 4 , 25 3 13 8 15 33 -> 35 34 10 6 7 8 9 , 25 3 13 8 15 25 -> 35 34 10 6 7 8 10 , 25 3 13 8 15 34 -> 35 34 10 6 7 8 11 , 25 3 13 8 15 30 -> 35 34 10 6 7 8 13 , 25 3 13 8 15 35 -> 35 34 10 6 7 8 15 , 25 3 13 8 15 36 -> 35 34 10 6 7 8 17 , 27 3 13 8 15 24 -> 42 34 10 6 7 8 4 , 27 3 13 8 15 33 -> 42 34 10 6 7 8 9 , 27 3 13 8 15 25 -> 42 34 10 6 7 8 10 , 27 3 13 8 15 34 -> 42 34 10 6 7 8 11 , 27 3 13 8 15 30 -> 42 34 10 6 7 8 13 , 27 3 13 8 15 35 -> 42 34 10 6 7 8 15 , 27 3 13 8 15 36 -> 42 34 10 6 7 8 17 , 14 38 19 12 15 24 -> 0 1 37 7 8 15 24 , 14 38 19 12 15 33 -> 0 1 37 7 8 15 33 , 14 38 19 12 15 25 -> 0 1 37 7 8 15 25 , 14 38 19 12 15 34 -> 0 1 37 7 8 15 34 , 14 38 19 12 15 30 -> 0 1 37 7 8 15 30 , 14 38 19 12 15 35 -> 0 1 37 7 8 15 35 , 14 38 19 12 15 36 -> 0 1 37 7 8 15 36 , 7 38 19 12 15 24 -> 19 1 37 7 8 15 24 , 7 38 19 12 15 33 -> 19 1 37 7 8 15 33 , 7 38 19 12 15 25 -> 19 1 37 7 8 15 25 , 7 38 19 12 15 34 -> 19 1 37 7 8 15 34 , 7 38 19 12 15 30 -> 19 1 37 7 8 15 30 , 7 38 19 12 15 35 -> 19 1 37 7 8 15 35 , 7 38 19 12 15 36 -> 19 1 37 7 8 15 36 , 28 38 19 12 15 24 -> 20 1 37 7 8 15 24 , 28 38 19 12 15 33 -> 20 1 37 7 8 15 33 , 28 38 19 12 15 25 -> 20 1 37 7 8 15 25 , 28 38 19 12 15 34 -> 20 1 37 7 8 15 34 , 28 38 19 12 15 30 -> 20 1 37 7 8 15 30 , 28 38 19 12 15 35 -> 20 1 37 7 8 15 35 , 28 38 19 12 15 36 -> 20 1 37 7 8 15 36 , 13 38 19 12 15 24 -> 4 1 37 7 8 15 24 , 13 38 19 12 15 33 -> 4 1 37 7 8 15 33 , 13 38 19 12 15 25 -> 4 1 37 7 8 15 25 , 13 38 19 12 15 34 -> 4 1 37 7 8 15 34 , 13 38 19 12 15 30 -> 4 1 37 7 8 15 30 , 13 38 19 12 15 35 -> 4 1 37 7 8 15 35 , 13 38 19 12 15 36 -> 4 1 37 7 8 15 36 , 29 38 19 12 15 24 -> 22 1 37 7 8 15 24 , 29 38 19 12 15 33 -> 22 1 37 7 8 15 33 , 29 38 19 12 15 25 -> 22 1 37 7 8 15 25 , 29 38 19 12 15 34 -> 22 1 37 7 8 15 34 , 29 38 19 12 15 30 -> 22 1 37 7 8 15 30 , 29 38 19 12 15 35 -> 22 1 37 7 8 15 35 , 29 38 19 12 15 36 -> 22 1 37 7 8 15 36 , 30 38 19 12 15 24 -> 24 1 37 7 8 15 24 , 30 38 19 12 15 33 -> 24 1 37 7 8 15 33 , 30 38 19 12 15 25 -> 24 1 37 7 8 15 25 , 30 38 19 12 15 34 -> 24 1 37 7 8 15 34 , 30 38 19 12 15 30 -> 24 1 37 7 8 15 30 , 30 38 19 12 15 35 -> 24 1 37 7 8 15 35 , 30 38 19 12 15 36 -> 24 1 37 7 8 15 36 , 31 38 19 12 15 24 -> 26 1 37 7 8 15 24 , 31 38 19 12 15 33 -> 26 1 37 7 8 15 33 , 31 38 19 12 15 25 -> 26 1 37 7 8 15 25 , 31 38 19 12 15 34 -> 26 1 37 7 8 15 34 , 31 38 19 12 15 30 -> 26 1 37 7 8 15 30 , 31 38 19 12 15 35 -> 26 1 37 7 8 15 35 , 31 38 19 12 15 36 -> 26 1 37 7 8 15 36 , 0 1 19 12 15 24 -> 0 0 16 33 7 8 4 , 0 1 19 12 15 33 -> 0 0 16 33 7 8 9 , 0 1 19 12 15 25 -> 0 0 16 33 7 8 10 , 0 1 19 12 15 34 -> 0 0 16 33 7 8 11 , 0 1 19 12 15 30 -> 0 0 16 33 7 8 13 , 0 1 19 12 15 35 -> 0 0 16 33 7 8 15 , 0 1 19 12 15 36 -> 0 0 16 33 7 8 17 , 19 1 19 12 15 24 -> 19 0 16 33 7 8 4 , 19 1 19 12 15 33 -> 19 0 16 33 7 8 9 , 19 1 19 12 15 25 -> 19 0 16 33 7 8 10 , 19 1 19 12 15 34 -> 19 0 16 33 7 8 11 , 19 1 19 12 15 30 -> 19 0 16 33 7 8 13 , 19 1 19 12 15 35 -> 19 0 16 33 7 8 15 , 19 1 19 12 15 36 -> 19 0 16 33 7 8 17 , 20 1 19 12 15 24 -> 20 0 16 33 7 8 4 , 20 1 19 12 15 33 -> 20 0 16 33 7 8 9 , 20 1 19 12 15 25 -> 20 0 16 33 7 8 10 , 20 1 19 12 15 34 -> 20 0 16 33 7 8 11 , 20 1 19 12 15 30 -> 20 0 16 33 7 8 13 , 20 1 19 12 15 35 -> 20 0 16 33 7 8 15 , 20 1 19 12 15 36 -> 20 0 16 33 7 8 17 , 4 1 19 12 15 24 -> 4 0 16 33 7 8 4 , 4 1 19 12 15 33 -> 4 0 16 33 7 8 9 , 4 1 19 12 15 25 -> 4 0 16 33 7 8 10 , 4 1 19 12 15 34 -> 4 0 16 33 7 8 11 , 4 1 19 12 15 30 -> 4 0 16 33 7 8 13 , 4 1 19 12 15 35 -> 4 0 16 33 7 8 15 , 4 1 19 12 15 36 -> 4 0 16 33 7 8 17 , 22 1 19 12 15 24 -> 22 0 16 33 7 8 4 , 22 1 19 12 15 33 -> 22 0 16 33 7 8 9 , 22 1 19 12 15 25 -> 22 0 16 33 7 8 10 , 22 1 19 12 15 34 -> 22 0 16 33 7 8 11 , 22 1 19 12 15 30 -> 22 0 16 33 7 8 13 , 22 1 19 12 15 35 -> 22 0 16 33 7 8 15 , 22 1 19 12 15 36 -> 22 0 16 33 7 8 17 , 24 1 19 12 15 24 -> 24 0 16 33 7 8 4 , 24 1 19 12 15 33 -> 24 0 16 33 7 8 9 , 24 1 19 12 15 25 -> 24 0 16 33 7 8 10 , 24 1 19 12 15 34 -> 24 0 16 33 7 8 11 , 24 1 19 12 15 30 -> 24 0 16 33 7 8 13 , 24 1 19 12 15 35 -> 24 0 16 33 7 8 15 , 24 1 19 12 15 36 -> 24 0 16 33 7 8 17 , 26 1 19 12 15 24 -> 26 0 16 33 7 8 4 , 26 1 19 12 15 33 -> 26 0 16 33 7 8 9 , 26 1 19 12 15 25 -> 26 0 16 33 7 8 10 , 26 1 19 12 15 34 -> 26 0 16 33 7 8 11 , 26 1 19 12 15 30 -> 26 0 16 33 7 8 13 , 26 1 19 12 15 35 -> 26 0 16 33 7 8 15 , 26 1 19 12 15 36 -> 26 0 16 33 7 8 17 , 5 6 7 23 41 24 -> 14 22 5 21 6 40 24 , 5 6 7 23 41 33 -> 14 22 5 21 6 40 33 , 5 6 7 23 41 25 -> 14 22 5 21 6 40 25 , 5 6 7 23 41 34 -> 14 22 5 21 6 40 34 , 5 6 7 23 41 30 -> 14 22 5 21 6 40 30 , 5 6 7 23 41 35 -> 14 22 5 21 6 40 35 , 5 6 7 23 41 36 -> 14 22 5 21 6 40 36 , 2 6 7 23 41 24 -> 7 22 5 21 6 40 24 , 2 6 7 23 41 33 -> 7 22 5 21 6 40 33 , 2 6 7 23 41 25 -> 7 22 5 21 6 40 25 , 2 6 7 23 41 34 -> 7 22 5 21 6 40 34 , 2 6 7 23 41 30 -> 7 22 5 21 6 40 30 , 2 6 7 23 41 35 -> 7 22 5 21 6 40 35 , 2 6 7 23 41 36 -> 7 22 5 21 6 40 36 , 21 6 7 23 41 24 -> 28 22 5 21 6 40 24 , 21 6 7 23 41 33 -> 28 22 5 21 6 40 33 , 21 6 7 23 41 25 -> 28 22 5 21 6 40 25 , 21 6 7 23 41 34 -> 28 22 5 21 6 40 34 , 21 6 7 23 41 30 -> 28 22 5 21 6 40 30 , 21 6 7 23 41 35 -> 28 22 5 21 6 40 35 , 21 6 7 23 41 36 -> 28 22 5 21 6 40 36 , 10 6 7 23 41 24 -> 13 22 5 21 6 40 24 , 10 6 7 23 41 33 -> 13 22 5 21 6 40 33 , 10 6 7 23 41 25 -> 13 22 5 21 6 40 25 , 10 6 7 23 41 34 -> 13 22 5 21 6 40 34 , 10 6 7 23 41 30 -> 13 22 5 21 6 40 30 , 10 6 7 23 41 35 -> 13 22 5 21 6 40 35 , 10 6 7 23 41 36 -> 13 22 5 21 6 40 36 , 23 6 7 23 41 24 -> 29 22 5 21 6 40 24 , 23 6 7 23 41 33 -> 29 22 5 21 6 40 33 , 23 6 7 23 41 25 -> 29 22 5 21 6 40 25 , 23 6 7 23 41 34 -> 29 22 5 21 6 40 34 , 23 6 7 23 41 30 -> 29 22 5 21 6 40 30 , 23 6 7 23 41 35 -> 29 22 5 21 6 40 35 , 23 6 7 23 41 36 -> 29 22 5 21 6 40 36 , 25 6 7 23 41 24 -> 30 22 5 21 6 40 24 , 25 6 7 23 41 33 -> 30 22 5 21 6 40 33 , 25 6 7 23 41 25 -> 30 22 5 21 6 40 25 , 25 6 7 23 41 34 -> 30 22 5 21 6 40 34 , 25 6 7 23 41 30 -> 30 22 5 21 6 40 30 , 25 6 7 23 41 35 -> 30 22 5 21 6 40 35 , 25 6 7 23 41 36 -> 30 22 5 21 6 40 36 , 27 6 7 23 41 24 -> 31 22 5 21 6 40 24 , 27 6 7 23 41 33 -> 31 22 5 21 6 40 33 , 27 6 7 23 41 25 -> 31 22 5 21 6 40 25 , 27 6 7 23 41 34 -> 31 22 5 21 6 40 34 , 27 6 7 23 41 30 -> 31 22 5 21 6 40 30 , 27 6 7 23 41 35 -> 31 22 5 21 6 40 35 , 27 6 7 23 41 36 -> 31 22 5 21 6 40 36 , 0 1 7 23 41 24 -> 0 5 20 14 38 40 24 , 0 1 7 23 41 33 -> 0 5 20 14 38 40 33 , 0 1 7 23 41 25 -> 0 5 20 14 38 40 25 , 0 1 7 23 41 34 -> 0 5 20 14 38 40 34 , 0 1 7 23 41 30 -> 0 5 20 14 38 40 30 , 0 1 7 23 41 35 -> 0 5 20 14 38 40 35 , 0 1 7 23 41 36 -> 0 5 20 14 38 40 36 , 19 1 7 23 41 24 -> 19 5 20 14 38 40 24 , 19 1 7 23 41 33 -> 19 5 20 14 38 40 33 , 19 1 7 23 41 25 -> 19 5 20 14 38 40 25 , 19 1 7 23 41 34 -> 19 5 20 14 38 40 34 , 19 1 7 23 41 30 -> 19 5 20 14 38 40 30 , 19 1 7 23 41 35 -> 19 5 20 14 38 40 35 , 19 1 7 23 41 36 -> 19 5 20 14 38 40 36 , 20 1 7 23 41 24 -> 20 5 20 14 38 40 24 , 20 1 7 23 41 33 -> 20 5 20 14 38 40 33 , 20 1 7 23 41 25 -> 20 5 20 14 38 40 25 , 20 1 7 23 41 34 -> 20 5 20 14 38 40 34 , 20 1 7 23 41 30 -> 20 5 20 14 38 40 30 , 20 1 7 23 41 35 -> 20 5 20 14 38 40 35 , 20 1 7 23 41 36 -> 20 5 20 14 38 40 36 , 4 1 7 23 41 24 -> 4 5 20 14 38 40 24 , 4 1 7 23 41 33 -> 4 5 20 14 38 40 33 , 4 1 7 23 41 25 -> 4 5 20 14 38 40 25 , 4 1 7 23 41 34 -> 4 5 20 14 38 40 34 , 4 1 7 23 41 30 -> 4 5 20 14 38 40 30 , 4 1 7 23 41 35 -> 4 5 20 14 38 40 35 , 4 1 7 23 41 36 -> 4 5 20 14 38 40 36 , 22 1 7 23 41 24 -> 22 5 20 14 38 40 24 , 22 1 7 23 41 33 -> 22 5 20 14 38 40 33 , 22 1 7 23 41 25 -> 22 5 20 14 38 40 25 , 22 1 7 23 41 34 -> 22 5 20 14 38 40 34 , 22 1 7 23 41 30 -> 22 5 20 14 38 40 30 , 22 1 7 23 41 35 -> 22 5 20 14 38 40 35 , 22 1 7 23 41 36 -> 22 5 20 14 38 40 36 , 24 1 7 23 41 24 -> 24 5 20 14 38 40 24 , 24 1 7 23 41 33 -> 24 5 20 14 38 40 33 , 24 1 7 23 41 25 -> 24 5 20 14 38 40 25 , 24 1 7 23 41 34 -> 24 5 20 14 38 40 34 , 24 1 7 23 41 30 -> 24 5 20 14 38 40 30 , 24 1 7 23 41 35 -> 24 5 20 14 38 40 35 , 24 1 7 23 41 36 -> 24 5 20 14 38 40 36 , 26 1 7 23 41 24 -> 26 5 20 14 38 40 24 , 26 1 7 23 41 33 -> 26 5 20 14 38 40 33 , 26 1 7 23 41 25 -> 26 5 20 14 38 40 25 , 26 1 7 23 41 34 -> 26 5 20 14 38 40 34 , 26 1 7 23 41 30 -> 26 5 20 14 38 40 30 , 26 1 7 23 41 35 -> 26 5 20 14 38 40 35 , 26 1 7 23 41 36 -> 26 5 20 14 38 40 36 , 14 23 3 13 32 24 -> 5 28 8 13 32 34 4 , 14 23 3 13 32 33 -> 5 28 8 13 32 34 9 , 14 23 3 13 32 25 -> 5 28 8 13 32 34 10 , 14 23 3 13 32 34 -> 5 28 8 13 32 34 11 , 14 23 3 13 32 30 -> 5 28 8 13 32 34 13 , 14 23 3 13 32 35 -> 5 28 8 13 32 34 15 , 14 23 3 13 32 36 -> 5 28 8 13 32 34 17 , 7 23 3 13 32 24 -> 2 28 8 13 32 34 4 , 7 23 3 13 32 33 -> 2 28 8 13 32 34 9 , 7 23 3 13 32 25 -> 2 28 8 13 32 34 10 , 7 23 3 13 32 34 -> 2 28 8 13 32 34 11 , 7 23 3 13 32 30 -> 2 28 8 13 32 34 13 , 7 23 3 13 32 35 -> 2 28 8 13 32 34 15 , 7 23 3 13 32 36 -> 2 28 8 13 32 34 17 , 28 23 3 13 32 24 -> 21 28 8 13 32 34 4 , 28 23 3 13 32 33 -> 21 28 8 13 32 34 9 , 28 23 3 13 32 25 -> 21 28 8 13 32 34 10 , 28 23 3 13 32 34 -> 21 28 8 13 32 34 11 , 28 23 3 13 32 30 -> 21 28 8 13 32 34 13 , 28 23 3 13 32 35 -> 21 28 8 13 32 34 15 , 28 23 3 13 32 36 -> 21 28 8 13 32 34 17 , 13 23 3 13 32 24 -> 10 28 8 13 32 34 4 , 13 23 3 13 32 33 -> 10 28 8 13 32 34 9 , 13 23 3 13 32 25 -> 10 28 8 13 32 34 10 , 13 23 3 13 32 34 -> 10 28 8 13 32 34 11 , 13 23 3 13 32 30 -> 10 28 8 13 32 34 13 , 13 23 3 13 32 35 -> 10 28 8 13 32 34 15 , 13 23 3 13 32 36 -> 10 28 8 13 32 34 17 , 29 23 3 13 32 24 -> 23 28 8 13 32 34 4 , 29 23 3 13 32 33 -> 23 28 8 13 32 34 9 , 29 23 3 13 32 25 -> 23 28 8 13 32 34 10 , 29 23 3 13 32 34 -> 23 28 8 13 32 34 11 , 29 23 3 13 32 30 -> 23 28 8 13 32 34 13 , 29 23 3 13 32 35 -> 23 28 8 13 32 34 15 , 29 23 3 13 32 36 -> 23 28 8 13 32 34 17 , 30 23 3 13 32 24 -> 25 28 8 13 32 34 4 , 30 23 3 13 32 33 -> 25 28 8 13 32 34 9 , 30 23 3 13 32 25 -> 25 28 8 13 32 34 10 , 30 23 3 13 32 34 -> 25 28 8 13 32 34 11 , 30 23 3 13 32 30 -> 25 28 8 13 32 34 13 , 30 23 3 13 32 35 -> 25 28 8 13 32 34 15 , 30 23 3 13 32 36 -> 25 28 8 13 32 34 17 , 31 23 3 13 32 24 -> 27 28 8 13 32 34 4 , 31 23 3 13 32 33 -> 27 28 8 13 32 34 9 , 31 23 3 13 32 25 -> 27 28 8 13 32 34 10 , 31 23 3 13 32 34 -> 27 28 8 13 32 34 11 , 31 23 3 13 32 30 -> 27 28 8 13 32 34 13 , 31 23 3 13 32 35 -> 27 28 8 13 32 34 15 , 31 23 3 13 32 36 -> 27 28 8 13 32 34 17 , 14 23 6 7 32 24 -> 16 30 23 6 7 8 4 , 14 23 6 7 32 33 -> 16 30 23 6 7 8 9 , 14 23 6 7 32 25 -> 16 30 23 6 7 8 10 , 14 23 6 7 32 34 -> 16 30 23 6 7 8 11 , 14 23 6 7 32 30 -> 16 30 23 6 7 8 13 , 14 23 6 7 32 35 -> 16 30 23 6 7 8 15 , 14 23 6 7 32 36 -> 16 30 23 6 7 8 17 , 7 23 6 7 32 24 -> 40 30 23 6 7 8 4 , 7 23 6 7 32 33 -> 40 30 23 6 7 8 9 , 7 23 6 7 32 25 -> 40 30 23 6 7 8 10 , 7 23 6 7 32 34 -> 40 30 23 6 7 8 11 , 7 23 6 7 32 30 -> 40 30 23 6 7 8 13 , 7 23 6 7 32 35 -> 40 30 23 6 7 8 15 , 7 23 6 7 32 36 -> 40 30 23 6 7 8 17 , 28 23 6 7 32 24 -> 41 30 23 6 7 8 4 , 28 23 6 7 32 33 -> 41 30 23 6 7 8 9 , 28 23 6 7 32 25 -> 41 30 23 6 7 8 10 , 28 23 6 7 32 34 -> 41 30 23 6 7 8 11 , 28 23 6 7 32 30 -> 41 30 23 6 7 8 13 , 28 23 6 7 32 35 -> 41 30 23 6 7 8 15 , 28 23 6 7 32 36 -> 41 30 23 6 7 8 17 , 13 23 6 7 32 24 -> 15 30 23 6 7 8 4 , 13 23 6 7 32 33 -> 15 30 23 6 7 8 9 , 13 23 6 7 32 25 -> 15 30 23 6 7 8 10 , 13 23 6 7 32 34 -> 15 30 23 6 7 8 11 , 13 23 6 7 32 30 -> 15 30 23 6 7 8 13 , 13 23 6 7 32 35 -> 15 30 23 6 7 8 15 , 13 23 6 7 32 36 -> 15 30 23 6 7 8 17 , 29 23 6 7 32 24 -> 32 30 23 6 7 8 4 , 29 23 6 7 32 33 -> 32 30 23 6 7 8 9 , 29 23 6 7 32 25 -> 32 30 23 6 7 8 10 , 29 23 6 7 32 34 -> 32 30 23 6 7 8 11 , 29 23 6 7 32 30 -> 32 30 23 6 7 8 13 , 29 23 6 7 32 35 -> 32 30 23 6 7 8 15 , 29 23 6 7 32 36 -> 32 30 23 6 7 8 17 , 30 23 6 7 32 24 -> 35 30 23 6 7 8 4 , 30 23 6 7 32 33 -> 35 30 23 6 7 8 9 , 30 23 6 7 32 25 -> 35 30 23 6 7 8 10 , 30 23 6 7 32 34 -> 35 30 23 6 7 8 11 , 30 23 6 7 32 30 -> 35 30 23 6 7 8 13 , 30 23 6 7 32 35 -> 35 30 23 6 7 8 15 , 30 23 6 7 32 36 -> 35 30 23 6 7 8 17 , 31 23 6 7 32 24 -> 42 30 23 6 7 8 4 , 31 23 6 7 32 33 -> 42 30 23 6 7 8 9 , 31 23 6 7 32 25 -> 42 30 23 6 7 8 10 , 31 23 6 7 32 34 -> 42 30 23 6 7 8 11 , 31 23 6 7 32 30 -> 42 30 23 6 7 8 13 , 31 23 6 7 32 35 -> 42 30 23 6 7 8 15 , 31 23 6 7 32 36 -> 42 30 23 6 7 8 17 , 0 16 33 7 32 24 -> 0 1 40 34 15 30 22 , 0 16 33 7 32 33 -> 0 1 40 34 15 30 38 , 0 16 33 7 32 25 -> 0 1 40 34 15 30 23 , 0 16 33 7 32 34 -> 0 1 40 34 15 30 8 , 0 16 33 7 32 30 -> 0 1 40 34 15 30 29 , 0 16 33 7 32 35 -> 0 1 40 34 15 30 32 , 0 16 33 7 32 36 -> 0 1 40 34 15 30 43 , 19 16 33 7 32 24 -> 19 1 40 34 15 30 22 , 19 16 33 7 32 33 -> 19 1 40 34 15 30 38 , 19 16 33 7 32 25 -> 19 1 40 34 15 30 23 , 19 16 33 7 32 34 -> 19 1 40 34 15 30 8 , 19 16 33 7 32 30 -> 19 1 40 34 15 30 29 , 19 16 33 7 32 35 -> 19 1 40 34 15 30 32 , 19 16 33 7 32 36 -> 19 1 40 34 15 30 43 , 20 16 33 7 32 24 -> 20 1 40 34 15 30 22 , 20 16 33 7 32 33 -> 20 1 40 34 15 30 38 , 20 16 33 7 32 25 -> 20 1 40 34 15 30 23 , 20 16 33 7 32 34 -> 20 1 40 34 15 30 8 , 20 16 33 7 32 30 -> 20 1 40 34 15 30 29 , 20 16 33 7 32 35 -> 20 1 40 34 15 30 32 , 20 16 33 7 32 36 -> 20 1 40 34 15 30 43 , 4 16 33 7 32 24 -> 4 1 40 34 15 30 22 , 4 16 33 7 32 33 -> 4 1 40 34 15 30 38 , 4 16 33 7 32 25 -> 4 1 40 34 15 30 23 , 4 16 33 7 32 34 -> 4 1 40 34 15 30 8 , 4 16 33 7 32 30 -> 4 1 40 34 15 30 29 , 4 16 33 7 32 35 -> 4 1 40 34 15 30 32 , 4 16 33 7 32 36 -> 4 1 40 34 15 30 43 , 22 16 33 7 32 24 -> 22 1 40 34 15 30 22 , 22 16 33 7 32 33 -> 22 1 40 34 15 30 38 , 22 16 33 7 32 25 -> 22 1 40 34 15 30 23 , 22 16 33 7 32 34 -> 22 1 40 34 15 30 8 , 22 16 33 7 32 30 -> 22 1 40 34 15 30 29 , 22 16 33 7 32 35 -> 22 1 40 34 15 30 32 , 22 16 33 7 32 36 -> 22 1 40 34 15 30 43 , 24 16 33 7 32 24 -> 24 1 40 34 15 30 22 , 24 16 33 7 32 33 -> 24 1 40 34 15 30 38 , 24 16 33 7 32 25 -> 24 1 40 34 15 30 23 , 24 16 33 7 32 34 -> 24 1 40 34 15 30 8 , 24 16 33 7 32 30 -> 24 1 40 34 15 30 29 , 24 16 33 7 32 35 -> 24 1 40 34 15 30 32 , 24 16 33 7 32 36 -> 24 1 40 34 15 30 43 , 26 16 33 7 32 24 -> 26 1 40 34 15 30 22 , 26 16 33 7 32 33 -> 26 1 40 34 15 30 38 , 26 16 33 7 32 25 -> 26 1 40 34 15 30 23 , 26 16 33 7 32 34 -> 26 1 40 34 15 30 8 , 26 16 33 7 32 30 -> 26 1 40 34 15 30 29 , 26 16 33 7 32 35 -> 26 1 40 34 15 30 32 , 26 16 33 7 32 36 -> 26 1 40 34 15 30 43 , 5 3 15 30 32 24 -> 5 6 7 8 15 35 24 , 5 3 15 30 32 33 -> 5 6 7 8 15 35 33 , 5 3 15 30 32 25 -> 5 6 7 8 15 35 25 , 5 3 15 30 32 34 -> 5 6 7 8 15 35 34 , 5 3 15 30 32 30 -> 5 6 7 8 15 35 30 , 5 3 15 30 32 35 -> 5 6 7 8 15 35 35 , 5 3 15 30 32 36 -> 5 6 7 8 15 35 36 , 2 3 15 30 32 24 -> 2 6 7 8 15 35 24 , 2 3 15 30 32 33 -> 2 6 7 8 15 35 33 , 2 3 15 30 32 25 -> 2 6 7 8 15 35 25 , 2 3 15 30 32 34 -> 2 6 7 8 15 35 34 , 2 3 15 30 32 30 -> 2 6 7 8 15 35 30 , 2 3 15 30 32 35 -> 2 6 7 8 15 35 35 , 2 3 15 30 32 36 -> 2 6 7 8 15 35 36 , 21 3 15 30 32 24 -> 21 6 7 8 15 35 24 , 21 3 15 30 32 33 -> 21 6 7 8 15 35 33 , 21 3 15 30 32 25 -> 21 6 7 8 15 35 25 , 21 3 15 30 32 34 -> 21 6 7 8 15 35 34 , 21 3 15 30 32 30 -> 21 6 7 8 15 35 30 , 21 3 15 30 32 35 -> 21 6 7 8 15 35 35 , 21 3 15 30 32 36 -> 21 6 7 8 15 35 36 , 10 3 15 30 32 24 -> 10 6 7 8 15 35 24 , 10 3 15 30 32 33 -> 10 6 7 8 15 35 33 , 10 3 15 30 32 25 -> 10 6 7 8 15 35 25 , 10 3 15 30 32 34 -> 10 6 7 8 15 35 34 , 10 3 15 30 32 30 -> 10 6 7 8 15 35 30 , 10 3 15 30 32 35 -> 10 6 7 8 15 35 35 , 10 3 15 30 32 36 -> 10 6 7 8 15 35 36 , 23 3 15 30 32 24 -> 23 6 7 8 15 35 24 , 23 3 15 30 32 33 -> 23 6 7 8 15 35 33 , 23 3 15 30 32 25 -> 23 6 7 8 15 35 25 , 23 3 15 30 32 34 -> 23 6 7 8 15 35 34 , 23 3 15 30 32 30 -> 23 6 7 8 15 35 30 , 23 3 15 30 32 35 -> 23 6 7 8 15 35 35 , 23 3 15 30 32 36 -> 23 6 7 8 15 35 36 , 25 3 15 30 32 24 -> 25 6 7 8 15 35 24 , 25 3 15 30 32 33 -> 25 6 7 8 15 35 33 , 25 3 15 30 32 25 -> 25 6 7 8 15 35 25 , 25 3 15 30 32 34 -> 25 6 7 8 15 35 34 , 25 3 15 30 32 30 -> 25 6 7 8 15 35 30 , 25 3 15 30 32 35 -> 25 6 7 8 15 35 35 , 25 3 15 30 32 36 -> 25 6 7 8 15 35 36 , 27 3 15 30 32 24 -> 27 6 7 8 15 35 24 , 27 3 15 30 32 33 -> 27 6 7 8 15 35 33 , 27 3 15 30 32 25 -> 27 6 7 8 15 35 25 , 27 3 15 30 32 34 -> 27 6 7 8 15 35 34 , 27 3 15 30 32 30 -> 27 6 7 8 15 35 30 , 27 3 15 30 32 35 -> 27 6 7 8 15 35 35 , 27 3 15 30 32 36 -> 27 6 7 8 15 35 36 , 5 3 4 14 32 24 -> 0 5 28 8 15 34 4 , 5 3 4 14 32 33 -> 0 5 28 8 15 34 9 , 5 3 4 14 32 25 -> 0 5 28 8 15 34 10 , 5 3 4 14 32 34 -> 0 5 28 8 15 34 11 , 5 3 4 14 32 30 -> 0 5 28 8 15 34 13 , 5 3 4 14 32 35 -> 0 5 28 8 15 34 15 , 5 3 4 14 32 36 -> 0 5 28 8 15 34 17 , 2 3 4 14 32 24 -> 19 5 28 8 15 34 4 , 2 3 4 14 32 33 -> 19 5 28 8 15 34 9 , 2 3 4 14 32 25 -> 19 5 28 8 15 34 10 , 2 3 4 14 32 34 -> 19 5 28 8 15 34 11 , 2 3 4 14 32 30 -> 19 5 28 8 15 34 13 , 2 3 4 14 32 35 -> 19 5 28 8 15 34 15 , 2 3 4 14 32 36 -> 19 5 28 8 15 34 17 , 21 3 4 14 32 24 -> 20 5 28 8 15 34 4 , 21 3 4 14 32 33 -> 20 5 28 8 15 34 9 , 21 3 4 14 32 25 -> 20 5 28 8 15 34 10 , 21 3 4 14 32 34 -> 20 5 28 8 15 34 11 , 21 3 4 14 32 30 -> 20 5 28 8 15 34 13 , 21 3 4 14 32 35 -> 20 5 28 8 15 34 15 , 21 3 4 14 32 36 -> 20 5 28 8 15 34 17 , 10 3 4 14 32 24 -> 4 5 28 8 15 34 4 , 10 3 4 14 32 33 -> 4 5 28 8 15 34 9 , 10 3 4 14 32 25 -> 4 5 28 8 15 34 10 , 10 3 4 14 32 34 -> 4 5 28 8 15 34 11 , 10 3 4 14 32 30 -> 4 5 28 8 15 34 13 , 10 3 4 14 32 35 -> 4 5 28 8 15 34 15 , 10 3 4 14 32 36 -> 4 5 28 8 15 34 17 , 23 3 4 14 32 24 -> 22 5 28 8 15 34 4 , 23 3 4 14 32 33 -> 22 5 28 8 15 34 9 , 23 3 4 14 32 25 -> 22 5 28 8 15 34 10 , 23 3 4 14 32 34 -> 22 5 28 8 15 34 11 , 23 3 4 14 32 30 -> 22 5 28 8 15 34 13 , 23 3 4 14 32 35 -> 22 5 28 8 15 34 15 , 23 3 4 14 32 36 -> 22 5 28 8 15 34 17 , 25 3 4 14 32 24 -> 24 5 28 8 15 34 4 , 25 3 4 14 32 33 -> 24 5 28 8 15 34 9 , 25 3 4 14 32 25 -> 24 5 28 8 15 34 10 , 25 3 4 14 32 34 -> 24 5 28 8 15 34 11 , 25 3 4 14 32 30 -> 24 5 28 8 15 34 13 , 25 3 4 14 32 35 -> 24 5 28 8 15 34 15 , 25 3 4 14 32 36 -> 24 5 28 8 15 34 17 , 27 3 4 14 32 24 -> 26 5 28 8 15 34 4 , 27 3 4 14 32 33 -> 26 5 28 8 15 34 9 , 27 3 4 14 32 25 -> 26 5 28 8 15 34 10 , 27 3 4 14 32 34 -> 26 5 28 8 15 34 11 , 27 3 4 14 32 30 -> 26 5 28 8 15 34 13 , 27 3 4 14 32 35 -> 26 5 28 8 15 34 15 , 27 3 4 14 32 36 -> 26 5 28 8 15 34 17 , 5 21 3 4 16 24 -> 0 5 20 5 41 34 4 , 5 21 3 4 16 33 -> 0 5 20 5 41 34 9 , 5 21 3 4 16 25 -> 0 5 20 5 41 34 10 , 5 21 3 4 16 34 -> 0 5 20 5 41 34 11 , 5 21 3 4 16 30 -> 0 5 20 5 41 34 13 , 5 21 3 4 16 35 -> 0 5 20 5 41 34 15 , 5 21 3 4 16 36 -> 0 5 20 5 41 34 17 , 2 21 3 4 16 24 -> 19 5 20 5 41 34 4 , 2 21 3 4 16 33 -> 19 5 20 5 41 34 9 , 2 21 3 4 16 25 -> 19 5 20 5 41 34 10 , 2 21 3 4 16 34 -> 19 5 20 5 41 34 11 , 2 21 3 4 16 30 -> 19 5 20 5 41 34 13 , 2 21 3 4 16 35 -> 19 5 20 5 41 34 15 , 2 21 3 4 16 36 -> 19 5 20 5 41 34 17 , 21 21 3 4 16 24 -> 20 5 20 5 41 34 4 , 21 21 3 4 16 33 -> 20 5 20 5 41 34 9 , 21 21 3 4 16 25 -> 20 5 20 5 41 34 10 , 21 21 3 4 16 34 -> 20 5 20 5 41 34 11 , 21 21 3 4 16 30 -> 20 5 20 5 41 34 13 , 21 21 3 4 16 35 -> 20 5 20 5 41 34 15 , 21 21 3 4 16 36 -> 20 5 20 5 41 34 17 , 10 21 3 4 16 24 -> 4 5 20 5 41 34 4 , 10 21 3 4 16 33 -> 4 5 20 5 41 34 9 , 10 21 3 4 16 25 -> 4 5 20 5 41 34 10 , 10 21 3 4 16 34 -> 4 5 20 5 41 34 11 , 10 21 3 4 16 30 -> 4 5 20 5 41 34 13 , 10 21 3 4 16 35 -> 4 5 20 5 41 34 15 , 10 21 3 4 16 36 -> 4 5 20 5 41 34 17 , 23 21 3 4 16 24 -> 22 5 20 5 41 34 4 , 23 21 3 4 16 33 -> 22 5 20 5 41 34 9 , 23 21 3 4 16 25 -> 22 5 20 5 41 34 10 , 23 21 3 4 16 34 -> 22 5 20 5 41 34 11 , 23 21 3 4 16 30 -> 22 5 20 5 41 34 13 , 23 21 3 4 16 35 -> 22 5 20 5 41 34 15 , 23 21 3 4 16 36 -> 22 5 20 5 41 34 17 , 25 21 3 4 16 24 -> 24 5 20 5 41 34 4 , 25 21 3 4 16 33 -> 24 5 20 5 41 34 9 , 25 21 3 4 16 25 -> 24 5 20 5 41 34 10 , 25 21 3 4 16 34 -> 24 5 20 5 41 34 11 , 25 21 3 4 16 30 -> 24 5 20 5 41 34 13 , 25 21 3 4 16 35 -> 24 5 20 5 41 34 15 , 25 21 3 4 16 36 -> 24 5 20 5 41 34 17 , 27 21 3 4 16 24 -> 26 5 20 5 41 34 4 , 27 21 3 4 16 33 -> 26 5 20 5 41 34 9 , 27 21 3 4 16 25 -> 26 5 20 5 41 34 10 , 27 21 3 4 16 34 -> 26 5 20 5 41 34 11 , 27 21 3 4 16 30 -> 26 5 20 5 41 34 13 , 27 21 3 4 16 35 -> 26 5 20 5 41 34 15 , 27 21 3 4 16 36 -> 26 5 20 5 41 34 17 , 14 38 2 20 16 24 -> 5 28 8 9 19 16 24 , 14 38 2 20 16 33 -> 5 28 8 9 19 16 33 , 14 38 2 20 16 25 -> 5 28 8 9 19 16 25 , 14 38 2 20 16 34 -> 5 28 8 9 19 16 34 , 14 38 2 20 16 30 -> 5 28 8 9 19 16 30 , 14 38 2 20 16 35 -> 5 28 8 9 19 16 35 , 14 38 2 20 16 36 -> 5 28 8 9 19 16 36 , 7 38 2 20 16 24 -> 2 28 8 9 19 16 24 , 7 38 2 20 16 33 -> 2 28 8 9 19 16 33 , 7 38 2 20 16 25 -> 2 28 8 9 19 16 25 , 7 38 2 20 16 34 -> 2 28 8 9 19 16 34 , 7 38 2 20 16 30 -> 2 28 8 9 19 16 30 , 7 38 2 20 16 35 -> 2 28 8 9 19 16 35 , 7 38 2 20 16 36 -> 2 28 8 9 19 16 36 , 28 38 2 20 16 24 -> 21 28 8 9 19 16 24 , 28 38 2 20 16 33 -> 21 28 8 9 19 16 33 , 28 38 2 20 16 25 -> 21 28 8 9 19 16 25 , 28 38 2 20 16 34 -> 21 28 8 9 19 16 34 , 28 38 2 20 16 30 -> 21 28 8 9 19 16 30 , 28 38 2 20 16 35 -> 21 28 8 9 19 16 35 , 28 38 2 20 16 36 -> 21 28 8 9 19 16 36 , 13 38 2 20 16 24 -> 10 28 8 9 19 16 24 , 13 38 2 20 16 33 -> 10 28 8 9 19 16 33 , 13 38 2 20 16 25 -> 10 28 8 9 19 16 25 , 13 38 2 20 16 34 -> 10 28 8 9 19 16 34 , 13 38 2 20 16 30 -> 10 28 8 9 19 16 30 , 13 38 2 20 16 35 -> 10 28 8 9 19 16 35 , 13 38 2 20 16 36 -> 10 28 8 9 19 16 36 , 29 38 2 20 16 24 -> 23 28 8 9 19 16 24 , 29 38 2 20 16 33 -> 23 28 8 9 19 16 33 , 29 38 2 20 16 25 -> 23 28 8 9 19 16 25 , 29 38 2 20 16 34 -> 23 28 8 9 19 16 34 , 29 38 2 20 16 30 -> 23 28 8 9 19 16 30 , 29 38 2 20 16 35 -> 23 28 8 9 19 16 35 , 29 38 2 20 16 36 -> 23 28 8 9 19 16 36 , 30 38 2 20 16 24 -> 25 28 8 9 19 16 24 , 30 38 2 20 16 33 -> 25 28 8 9 19 16 33 , 30 38 2 20 16 25 -> 25 28 8 9 19 16 25 , 30 38 2 20 16 34 -> 25 28 8 9 19 16 34 , 30 38 2 20 16 30 -> 25 28 8 9 19 16 30 , 30 38 2 20 16 35 -> 25 28 8 9 19 16 35 , 30 38 2 20 16 36 -> 25 28 8 9 19 16 36 , 31 38 2 20 16 24 -> 27 28 8 9 19 16 24 , 31 38 2 20 16 33 -> 27 28 8 9 19 16 33 , 31 38 2 20 16 25 -> 27 28 8 9 19 16 25 , 31 38 2 20 16 34 -> 27 28 8 9 19 16 34 , 31 38 2 20 16 30 -> 27 28 8 9 19 16 30 , 31 38 2 20 16 35 -> 27 28 8 9 19 16 35 , 31 38 2 20 16 36 -> 27 28 8 9 19 16 36 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 0 | | 0 1 | \ / 1 is interpreted by / \ | 1 0 | | 0 1 | \ / 2 is interpreted by / \ | 1 0 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 0 | | 0 1 | \ / 5 is interpreted by / \ | 1 0 | | 0 1 | \ / 6 is interpreted by / \ | 1 0 | | 0 1 | \ / 7 is interpreted by / \ | 1 0 | | 0 1 | \ / 8 is interpreted by / \ | 1 0 | | 0 1 | \ / 9 is interpreted by / \ | 1 0 | | 0 1 | \ / 10 is interpreted by / \ | 1 0 | | 0 1 | \ / 11 is interpreted by / \ | 1 0 | | 0 1 | \ / 12 is interpreted by / \ | 1 0 | | 0 1 | \ / 13 is interpreted by / \ | 1 0 | | 0 1 | \ / 14 is interpreted by / \ | 1 0 | | 0 1 | \ / 15 is interpreted by / \ | 1 0 | | 0 1 | \ / 16 is interpreted by / \ | 1 0 | | 0 1 | \ / 17 is interpreted by / \ | 1 0 | | 0 1 | \ / 18 is interpreted by / \ | 1 0 | | 0 1 | \ / 19 is interpreted by / \ | 1 0 | | 0 1 | \ / 20 is interpreted by / \ | 1 0 | | 0 1 | \ / 21 is interpreted by / \ | 1 0 | | 0 1 | \ / 22 is interpreted by / \ | 1 0 | | 0 1 | \ / 23 is interpreted by / \ | 1 0 | | 0 1 | \ / 24 is interpreted by / \ | 1 0 | | 0 1 | \ / 25 is interpreted by / \ | 1 0 | | 0 1 | \ / 26 is interpreted by / \ | 1 0 | | 0 1 | \ / 27 is interpreted by / \ | 1 0 | | 0 1 | \ / 28 is interpreted by / \ | 1 0 | | 0 1 | \ / 29 is interpreted by / \ | 1 0 | | 0 1 | \ / 30 is interpreted by / \ | 1 0 | | 0 1 | \ / 31 is interpreted by / \ | 1 0 | | 0 1 | \ / 32 is interpreted by / \ | 1 0 | | 0 1 | \ / 33 is interpreted by / \ | 1 0 | | 0 1 | \ / 34 is interpreted by / \ | 1 0 | | 0 1 | \ / 35 is interpreted by / \ | 1 0 | | 0 1 | \ / 36 is interpreted by / \ | 1 1 | | 0 1 | \ / 37 is interpreted by / \ | 1 0 | | 0 1 | \ / 38 is interpreted by / \ | 1 0 | | 0 1 | \ / 39 is interpreted by / \ | 1 0 | | 0 1 | \ / 40 is interpreted by / \ | 1 0 | | 0 1 | \ / 41 is interpreted by / \ | 1 0 | | 0 1 | \ / 42 is interpreted by / \ | 1 0 | | 0 1 | \ / 43 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { 14->0, 22->1, 1->2, 2->3, 3->4, 4->5, 7->6, 8->7, 10->8, 0->9, 9->10, 5->11, 11->12, 12->13, 13->14, 15->15, 16->16, 17->17, 18->18, 37->19, 28->20, 6->21, 29->22, 38->23, 30->24, 33->25, 31->26, 39->27, 19->28, 24->29, 25->30, 34->31, 35->32, 36->33, 20->34, 26->35, 23->36, 41->37, 21->38, 40->39, 27->40, 32->41, 42->42 }, it remains to prove termination of the 371-rule system { 0 1 2 3 4 5 -> 2 6 7 8 4 5 9 , 0 1 2 3 4 10 -> 2 6 7 8 4 5 2 , 0 1 2 3 4 8 -> 2 6 7 8 4 5 11 , 0 1 2 3 4 12 -> 2 6 7 8 4 5 13 , 0 1 2 3 4 14 -> 2 6 7 8 4 5 0 , 0 1 2 3 4 15 -> 2 6 7 8 4 5 16 , 0 1 2 3 4 17 -> 2 6 7 8 4 5 18 , 6 1 2 3 4 5 -> 19 6 7 8 4 5 9 , 6 1 2 3 4 10 -> 19 6 7 8 4 5 2 , 6 1 2 3 4 8 -> 19 6 7 8 4 5 11 , 6 1 2 3 4 12 -> 19 6 7 8 4 5 13 , 6 1 2 3 4 14 -> 19 6 7 8 4 5 0 , 6 1 2 3 4 15 -> 19 6 7 8 4 5 16 , 6 1 2 3 4 17 -> 19 6 7 8 4 5 18 , 20 1 2 3 4 5 -> 21 6 7 8 4 5 9 , 20 1 2 3 4 10 -> 21 6 7 8 4 5 2 , 20 1 2 3 4 8 -> 21 6 7 8 4 5 11 , 20 1 2 3 4 12 -> 21 6 7 8 4 5 13 , 20 1 2 3 4 14 -> 21 6 7 8 4 5 0 , 20 1 2 3 4 15 -> 21 6 7 8 4 5 16 , 20 1 2 3 4 17 -> 21 6 7 8 4 5 18 , 14 1 2 3 4 5 -> 10 6 7 8 4 5 9 , 14 1 2 3 4 10 -> 10 6 7 8 4 5 2 , 14 1 2 3 4 8 -> 10 6 7 8 4 5 11 , 14 1 2 3 4 12 -> 10 6 7 8 4 5 13 , 14 1 2 3 4 14 -> 10 6 7 8 4 5 0 , 14 1 2 3 4 15 -> 10 6 7 8 4 5 16 , 14 1 2 3 4 17 -> 10 6 7 8 4 5 18 , 22 1 2 3 4 5 -> 23 6 7 8 4 5 9 , 22 1 2 3 4 10 -> 23 6 7 8 4 5 2 , 22 1 2 3 4 8 -> 23 6 7 8 4 5 11 , 22 1 2 3 4 12 -> 23 6 7 8 4 5 13 , 22 1 2 3 4 14 -> 23 6 7 8 4 5 0 , 22 1 2 3 4 15 -> 23 6 7 8 4 5 16 , 22 1 2 3 4 17 -> 23 6 7 8 4 5 18 , 24 1 2 3 4 5 -> 25 6 7 8 4 5 9 , 24 1 2 3 4 10 -> 25 6 7 8 4 5 2 , 24 1 2 3 4 8 -> 25 6 7 8 4 5 11 , 24 1 2 3 4 12 -> 25 6 7 8 4 5 13 , 24 1 2 3 4 14 -> 25 6 7 8 4 5 0 , 24 1 2 3 4 15 -> 25 6 7 8 4 5 16 , 24 1 2 3 4 17 -> 25 6 7 8 4 5 18 , 26 1 2 3 4 5 -> 27 6 7 8 4 5 9 , 26 1 2 3 4 10 -> 27 6 7 8 4 5 2 , 26 1 2 3 4 8 -> 27 6 7 8 4 5 11 , 26 1 2 3 4 12 -> 27 6 7 8 4 5 13 , 26 1 2 3 4 14 -> 27 6 7 8 4 5 0 , 26 1 2 3 4 15 -> 27 6 7 8 4 5 16 , 26 1 2 3 4 17 -> 27 6 7 8 4 5 18 , 0 23 28 13 15 29 -> 9 2 19 6 7 15 29 , 0 23 28 13 15 25 -> 9 2 19 6 7 15 25 , 0 23 28 13 15 30 -> 9 2 19 6 7 15 30 , 0 23 28 13 15 31 -> 9 2 19 6 7 15 31 , 0 23 28 13 15 24 -> 9 2 19 6 7 15 24 , 0 23 28 13 15 32 -> 9 2 19 6 7 15 32 , 0 23 28 13 15 33 -> 9 2 19 6 7 15 33 , 6 23 28 13 15 29 -> 28 2 19 6 7 15 29 , 6 23 28 13 15 25 -> 28 2 19 6 7 15 25 , 6 23 28 13 15 30 -> 28 2 19 6 7 15 30 , 6 23 28 13 15 31 -> 28 2 19 6 7 15 31 , 6 23 28 13 15 24 -> 28 2 19 6 7 15 24 , 6 23 28 13 15 32 -> 28 2 19 6 7 15 32 , 6 23 28 13 15 33 -> 28 2 19 6 7 15 33 , 20 23 28 13 15 29 -> 34 2 19 6 7 15 29 , 20 23 28 13 15 25 -> 34 2 19 6 7 15 25 , 20 23 28 13 15 30 -> 34 2 19 6 7 15 30 , 20 23 28 13 15 31 -> 34 2 19 6 7 15 31 , 20 23 28 13 15 24 -> 34 2 19 6 7 15 24 , 20 23 28 13 15 32 -> 34 2 19 6 7 15 32 , 20 23 28 13 15 33 -> 34 2 19 6 7 15 33 , 14 23 28 13 15 29 -> 5 2 19 6 7 15 29 , 14 23 28 13 15 25 -> 5 2 19 6 7 15 25 , 14 23 28 13 15 30 -> 5 2 19 6 7 15 30 , 14 23 28 13 15 31 -> 5 2 19 6 7 15 31 , 14 23 28 13 15 24 -> 5 2 19 6 7 15 24 , 14 23 28 13 15 32 -> 5 2 19 6 7 15 32 , 14 23 28 13 15 33 -> 5 2 19 6 7 15 33 , 22 23 28 13 15 29 -> 1 2 19 6 7 15 29 , 22 23 28 13 15 25 -> 1 2 19 6 7 15 25 , 22 23 28 13 15 30 -> 1 2 19 6 7 15 30 , 22 23 28 13 15 31 -> 1 2 19 6 7 15 31 , 22 23 28 13 15 24 -> 1 2 19 6 7 15 24 , 22 23 28 13 15 32 -> 1 2 19 6 7 15 32 , 22 23 28 13 15 33 -> 1 2 19 6 7 15 33 , 24 23 28 13 15 29 -> 29 2 19 6 7 15 29 , 24 23 28 13 15 25 -> 29 2 19 6 7 15 25 , 24 23 28 13 15 30 -> 29 2 19 6 7 15 30 , 24 23 28 13 15 31 -> 29 2 19 6 7 15 31 , 24 23 28 13 15 24 -> 29 2 19 6 7 15 24 , 24 23 28 13 15 32 -> 29 2 19 6 7 15 32 , 24 23 28 13 15 33 -> 29 2 19 6 7 15 33 , 26 23 28 13 15 29 -> 35 2 19 6 7 15 29 , 26 23 28 13 15 25 -> 35 2 19 6 7 15 25 , 26 23 28 13 15 30 -> 35 2 19 6 7 15 30 , 26 23 28 13 15 31 -> 35 2 19 6 7 15 31 , 26 23 28 13 15 24 -> 35 2 19 6 7 15 24 , 26 23 28 13 15 32 -> 35 2 19 6 7 15 32 , 26 23 28 13 15 33 -> 35 2 19 6 7 15 33 , 9 2 28 13 15 29 -> 9 9 16 25 6 7 5 , 9 2 28 13 15 25 -> 9 9 16 25 6 7 10 , 9 2 28 13 15 30 -> 9 9 16 25 6 7 8 , 9 2 28 13 15 31 -> 9 9 16 25 6 7 12 , 9 2 28 13 15 24 -> 9 9 16 25 6 7 14 , 9 2 28 13 15 32 -> 9 9 16 25 6 7 15 , 28 2 28 13 15 29 -> 28 9 16 25 6 7 5 , 28 2 28 13 15 25 -> 28 9 16 25 6 7 10 , 28 2 28 13 15 30 -> 28 9 16 25 6 7 8 , 28 2 28 13 15 31 -> 28 9 16 25 6 7 12 , 28 2 28 13 15 24 -> 28 9 16 25 6 7 14 , 28 2 28 13 15 32 -> 28 9 16 25 6 7 15 , 34 2 28 13 15 29 -> 34 9 16 25 6 7 5 , 34 2 28 13 15 25 -> 34 9 16 25 6 7 10 , 34 2 28 13 15 30 -> 34 9 16 25 6 7 8 , 34 2 28 13 15 31 -> 34 9 16 25 6 7 12 , 34 2 28 13 15 24 -> 34 9 16 25 6 7 14 , 34 2 28 13 15 32 -> 34 9 16 25 6 7 15 , 5 2 28 13 15 29 -> 5 9 16 25 6 7 5 , 5 2 28 13 15 25 -> 5 9 16 25 6 7 10 , 5 2 28 13 15 30 -> 5 9 16 25 6 7 8 , 5 2 28 13 15 31 -> 5 9 16 25 6 7 12 , 5 2 28 13 15 24 -> 5 9 16 25 6 7 14 , 5 2 28 13 15 32 -> 5 9 16 25 6 7 15 , 1 2 28 13 15 29 -> 1 9 16 25 6 7 5 , 1 2 28 13 15 25 -> 1 9 16 25 6 7 10 , 1 2 28 13 15 30 -> 1 9 16 25 6 7 8 , 1 2 28 13 15 31 -> 1 9 16 25 6 7 12 , 1 2 28 13 15 24 -> 1 9 16 25 6 7 14 , 1 2 28 13 15 32 -> 1 9 16 25 6 7 15 , 29 2 28 13 15 29 -> 29 9 16 25 6 7 5 , 29 2 28 13 15 25 -> 29 9 16 25 6 7 10 , 29 2 28 13 15 30 -> 29 9 16 25 6 7 8 , 29 2 28 13 15 31 -> 29 9 16 25 6 7 12 , 29 2 28 13 15 24 -> 29 9 16 25 6 7 14 , 29 2 28 13 15 32 -> 29 9 16 25 6 7 15 , 35 2 28 13 15 29 -> 35 9 16 25 6 7 5 , 35 2 28 13 15 25 -> 35 9 16 25 6 7 10 , 35 2 28 13 15 30 -> 35 9 16 25 6 7 8 , 35 2 28 13 15 31 -> 35 9 16 25 6 7 12 , 35 2 28 13 15 24 -> 35 9 16 25 6 7 14 , 35 2 28 13 15 32 -> 35 9 16 25 6 7 15 , 11 21 6 36 37 29 -> 0 1 11 38 21 39 29 , 11 21 6 36 37 25 -> 0 1 11 38 21 39 25 , 11 21 6 36 37 30 -> 0 1 11 38 21 39 30 , 11 21 6 36 37 31 -> 0 1 11 38 21 39 31 , 11 21 6 36 37 24 -> 0 1 11 38 21 39 24 , 11 21 6 36 37 32 -> 0 1 11 38 21 39 32 , 11 21 6 36 37 33 -> 0 1 11 38 21 39 33 , 3 21 6 36 37 29 -> 6 1 11 38 21 39 29 , 3 21 6 36 37 25 -> 6 1 11 38 21 39 25 , 3 21 6 36 37 30 -> 6 1 11 38 21 39 30 , 3 21 6 36 37 31 -> 6 1 11 38 21 39 31 , 3 21 6 36 37 24 -> 6 1 11 38 21 39 24 , 3 21 6 36 37 32 -> 6 1 11 38 21 39 32 , 3 21 6 36 37 33 -> 6 1 11 38 21 39 33 , 38 21 6 36 37 29 -> 20 1 11 38 21 39 29 , 38 21 6 36 37 25 -> 20 1 11 38 21 39 25 , 38 21 6 36 37 30 -> 20 1 11 38 21 39 30 , 38 21 6 36 37 31 -> 20 1 11 38 21 39 31 , 38 21 6 36 37 24 -> 20 1 11 38 21 39 24 , 38 21 6 36 37 32 -> 20 1 11 38 21 39 32 , 38 21 6 36 37 33 -> 20 1 11 38 21 39 33 , 8 21 6 36 37 29 -> 14 1 11 38 21 39 29 , 8 21 6 36 37 25 -> 14 1 11 38 21 39 25 , 8 21 6 36 37 30 -> 14 1 11 38 21 39 30 , 8 21 6 36 37 31 -> 14 1 11 38 21 39 31 , 8 21 6 36 37 24 -> 14 1 11 38 21 39 24 , 8 21 6 36 37 32 -> 14 1 11 38 21 39 32 , 8 21 6 36 37 33 -> 14 1 11 38 21 39 33 , 36 21 6 36 37 29 -> 22 1 11 38 21 39 29 , 36 21 6 36 37 25 -> 22 1 11 38 21 39 25 , 36 21 6 36 37 30 -> 22 1 11 38 21 39 30 , 36 21 6 36 37 31 -> 22 1 11 38 21 39 31 , 36 21 6 36 37 24 -> 22 1 11 38 21 39 24 , 36 21 6 36 37 32 -> 22 1 11 38 21 39 32 , 36 21 6 36 37 33 -> 22 1 11 38 21 39 33 , 30 21 6 36 37 29 -> 24 1 11 38 21 39 29 , 30 21 6 36 37 25 -> 24 1 11 38 21 39 25 , 30 21 6 36 37 30 -> 24 1 11 38 21 39 30 , 30 21 6 36 37 31 -> 24 1 11 38 21 39 31 , 30 21 6 36 37 24 -> 24 1 11 38 21 39 24 , 30 21 6 36 37 32 -> 24 1 11 38 21 39 32 , 30 21 6 36 37 33 -> 24 1 11 38 21 39 33 , 40 21 6 36 37 29 -> 26 1 11 38 21 39 29 , 40 21 6 36 37 25 -> 26 1 11 38 21 39 25 , 40 21 6 36 37 30 -> 26 1 11 38 21 39 30 , 40 21 6 36 37 31 -> 26 1 11 38 21 39 31 , 40 21 6 36 37 24 -> 26 1 11 38 21 39 24 , 40 21 6 36 37 32 -> 26 1 11 38 21 39 32 , 40 21 6 36 37 33 -> 26 1 11 38 21 39 33 , 9 2 6 36 37 29 -> 9 11 34 0 23 39 29 , 9 2 6 36 37 25 -> 9 11 34 0 23 39 25 , 9 2 6 36 37 30 -> 9 11 34 0 23 39 30 , 9 2 6 36 37 31 -> 9 11 34 0 23 39 31 , 9 2 6 36 37 24 -> 9 11 34 0 23 39 24 , 9 2 6 36 37 32 -> 9 11 34 0 23 39 32 , 9 2 6 36 37 33 -> 9 11 34 0 23 39 33 , 28 2 6 36 37 29 -> 28 11 34 0 23 39 29 , 28 2 6 36 37 25 -> 28 11 34 0 23 39 25 , 28 2 6 36 37 30 -> 28 11 34 0 23 39 30 , 28 2 6 36 37 31 -> 28 11 34 0 23 39 31 , 28 2 6 36 37 24 -> 28 11 34 0 23 39 24 , 28 2 6 36 37 32 -> 28 11 34 0 23 39 32 , 28 2 6 36 37 33 -> 28 11 34 0 23 39 33 , 34 2 6 36 37 29 -> 34 11 34 0 23 39 29 , 34 2 6 36 37 25 -> 34 11 34 0 23 39 25 , 34 2 6 36 37 30 -> 34 11 34 0 23 39 30 , 34 2 6 36 37 31 -> 34 11 34 0 23 39 31 , 34 2 6 36 37 24 -> 34 11 34 0 23 39 24 , 34 2 6 36 37 32 -> 34 11 34 0 23 39 32 , 34 2 6 36 37 33 -> 34 11 34 0 23 39 33 , 5 2 6 36 37 29 -> 5 11 34 0 23 39 29 , 5 2 6 36 37 25 -> 5 11 34 0 23 39 25 , 5 2 6 36 37 30 -> 5 11 34 0 23 39 30 , 5 2 6 36 37 31 -> 5 11 34 0 23 39 31 , 5 2 6 36 37 24 -> 5 11 34 0 23 39 24 , 5 2 6 36 37 32 -> 5 11 34 0 23 39 32 , 5 2 6 36 37 33 -> 5 11 34 0 23 39 33 , 1 2 6 36 37 29 -> 1 11 34 0 23 39 29 , 1 2 6 36 37 25 -> 1 11 34 0 23 39 25 , 1 2 6 36 37 30 -> 1 11 34 0 23 39 30 , 1 2 6 36 37 31 -> 1 11 34 0 23 39 31 , 1 2 6 36 37 24 -> 1 11 34 0 23 39 24 , 1 2 6 36 37 32 -> 1 11 34 0 23 39 32 , 1 2 6 36 37 33 -> 1 11 34 0 23 39 33 , 29 2 6 36 37 29 -> 29 11 34 0 23 39 29 , 29 2 6 36 37 25 -> 29 11 34 0 23 39 25 , 29 2 6 36 37 30 -> 29 11 34 0 23 39 30 , 29 2 6 36 37 31 -> 29 11 34 0 23 39 31 , 29 2 6 36 37 24 -> 29 11 34 0 23 39 24 , 29 2 6 36 37 32 -> 29 11 34 0 23 39 32 , 29 2 6 36 37 33 -> 29 11 34 0 23 39 33 , 35 2 6 36 37 29 -> 35 11 34 0 23 39 29 , 35 2 6 36 37 25 -> 35 11 34 0 23 39 25 , 35 2 6 36 37 30 -> 35 11 34 0 23 39 30 , 35 2 6 36 37 31 -> 35 11 34 0 23 39 31 , 35 2 6 36 37 24 -> 35 11 34 0 23 39 24 , 35 2 6 36 37 32 -> 35 11 34 0 23 39 32 , 35 2 6 36 37 33 -> 35 11 34 0 23 39 33 , 0 36 21 6 41 29 -> 16 24 36 21 6 7 5 , 0 36 21 6 41 25 -> 16 24 36 21 6 7 10 , 0 36 21 6 41 30 -> 16 24 36 21 6 7 8 , 0 36 21 6 41 31 -> 16 24 36 21 6 7 12 , 0 36 21 6 41 24 -> 16 24 36 21 6 7 14 , 0 36 21 6 41 32 -> 16 24 36 21 6 7 15 , 6 36 21 6 41 29 -> 39 24 36 21 6 7 5 , 6 36 21 6 41 25 -> 39 24 36 21 6 7 10 , 6 36 21 6 41 30 -> 39 24 36 21 6 7 8 , 6 36 21 6 41 31 -> 39 24 36 21 6 7 12 , 6 36 21 6 41 24 -> 39 24 36 21 6 7 14 , 6 36 21 6 41 32 -> 39 24 36 21 6 7 15 , 20 36 21 6 41 29 -> 37 24 36 21 6 7 5 , 20 36 21 6 41 25 -> 37 24 36 21 6 7 10 , 20 36 21 6 41 30 -> 37 24 36 21 6 7 8 , 20 36 21 6 41 31 -> 37 24 36 21 6 7 12 , 20 36 21 6 41 24 -> 37 24 36 21 6 7 14 , 20 36 21 6 41 32 -> 37 24 36 21 6 7 15 , 14 36 21 6 41 29 -> 15 24 36 21 6 7 5 , 14 36 21 6 41 25 -> 15 24 36 21 6 7 10 , 14 36 21 6 41 30 -> 15 24 36 21 6 7 8 , 14 36 21 6 41 31 -> 15 24 36 21 6 7 12 , 14 36 21 6 41 24 -> 15 24 36 21 6 7 14 , 14 36 21 6 41 32 -> 15 24 36 21 6 7 15 , 22 36 21 6 41 29 -> 41 24 36 21 6 7 5 , 22 36 21 6 41 25 -> 41 24 36 21 6 7 10 , 22 36 21 6 41 30 -> 41 24 36 21 6 7 8 , 22 36 21 6 41 31 -> 41 24 36 21 6 7 12 , 22 36 21 6 41 24 -> 41 24 36 21 6 7 14 , 22 36 21 6 41 32 -> 41 24 36 21 6 7 15 , 24 36 21 6 41 29 -> 32 24 36 21 6 7 5 , 24 36 21 6 41 25 -> 32 24 36 21 6 7 10 , 24 36 21 6 41 30 -> 32 24 36 21 6 7 8 , 24 36 21 6 41 31 -> 32 24 36 21 6 7 12 , 24 36 21 6 41 24 -> 32 24 36 21 6 7 14 , 24 36 21 6 41 32 -> 32 24 36 21 6 7 15 , 26 36 21 6 41 29 -> 42 24 36 21 6 7 5 , 26 36 21 6 41 25 -> 42 24 36 21 6 7 10 , 26 36 21 6 41 30 -> 42 24 36 21 6 7 8 , 26 36 21 6 41 31 -> 42 24 36 21 6 7 12 , 26 36 21 6 41 24 -> 42 24 36 21 6 7 14 , 26 36 21 6 41 32 -> 42 24 36 21 6 7 15 , 9 16 25 6 41 29 -> 9 2 39 31 15 24 1 , 9 16 25 6 41 25 -> 9 2 39 31 15 24 23 , 9 16 25 6 41 30 -> 9 2 39 31 15 24 36 , 9 16 25 6 41 31 -> 9 2 39 31 15 24 7 , 9 16 25 6 41 24 -> 9 2 39 31 15 24 22 , 9 16 25 6 41 32 -> 9 2 39 31 15 24 41 , 28 16 25 6 41 29 -> 28 2 39 31 15 24 1 , 28 16 25 6 41 25 -> 28 2 39 31 15 24 23 , 28 16 25 6 41 30 -> 28 2 39 31 15 24 36 , 28 16 25 6 41 31 -> 28 2 39 31 15 24 7 , 28 16 25 6 41 24 -> 28 2 39 31 15 24 22 , 28 16 25 6 41 32 -> 28 2 39 31 15 24 41 , 34 16 25 6 41 29 -> 34 2 39 31 15 24 1 , 34 16 25 6 41 25 -> 34 2 39 31 15 24 23 , 34 16 25 6 41 30 -> 34 2 39 31 15 24 36 , 34 16 25 6 41 31 -> 34 2 39 31 15 24 7 , 34 16 25 6 41 24 -> 34 2 39 31 15 24 22 , 34 16 25 6 41 32 -> 34 2 39 31 15 24 41 , 5 16 25 6 41 29 -> 5 2 39 31 15 24 1 , 5 16 25 6 41 25 -> 5 2 39 31 15 24 23 , 5 16 25 6 41 30 -> 5 2 39 31 15 24 36 , 5 16 25 6 41 31 -> 5 2 39 31 15 24 7 , 5 16 25 6 41 24 -> 5 2 39 31 15 24 22 , 5 16 25 6 41 32 -> 5 2 39 31 15 24 41 , 1 16 25 6 41 29 -> 1 2 39 31 15 24 1 , 1 16 25 6 41 25 -> 1 2 39 31 15 24 23 , 1 16 25 6 41 30 -> 1 2 39 31 15 24 36 , 1 16 25 6 41 31 -> 1 2 39 31 15 24 7 , 1 16 25 6 41 24 -> 1 2 39 31 15 24 22 , 1 16 25 6 41 32 -> 1 2 39 31 15 24 41 , 29 16 25 6 41 29 -> 29 2 39 31 15 24 1 , 29 16 25 6 41 25 -> 29 2 39 31 15 24 23 , 29 16 25 6 41 30 -> 29 2 39 31 15 24 36 , 29 16 25 6 41 31 -> 29 2 39 31 15 24 7 , 29 16 25 6 41 24 -> 29 2 39 31 15 24 22 , 29 16 25 6 41 32 -> 29 2 39 31 15 24 41 , 35 16 25 6 41 29 -> 35 2 39 31 15 24 1 , 35 16 25 6 41 25 -> 35 2 39 31 15 24 23 , 35 16 25 6 41 30 -> 35 2 39 31 15 24 36 , 35 16 25 6 41 31 -> 35 2 39 31 15 24 7 , 35 16 25 6 41 24 -> 35 2 39 31 15 24 22 , 35 16 25 6 41 32 -> 35 2 39 31 15 24 41 , 0 23 3 34 16 29 -> 11 20 7 10 28 16 29 , 0 23 3 34 16 25 -> 11 20 7 10 28 16 25 , 0 23 3 34 16 30 -> 11 20 7 10 28 16 30 , 0 23 3 34 16 31 -> 11 20 7 10 28 16 31 , 0 23 3 34 16 24 -> 11 20 7 10 28 16 24 , 0 23 3 34 16 32 -> 11 20 7 10 28 16 32 , 0 23 3 34 16 33 -> 11 20 7 10 28 16 33 , 6 23 3 34 16 29 -> 3 20 7 10 28 16 29 , 6 23 3 34 16 25 -> 3 20 7 10 28 16 25 , 6 23 3 34 16 30 -> 3 20 7 10 28 16 30 , 6 23 3 34 16 31 -> 3 20 7 10 28 16 31 , 6 23 3 34 16 24 -> 3 20 7 10 28 16 24 , 6 23 3 34 16 32 -> 3 20 7 10 28 16 32 , 6 23 3 34 16 33 -> 3 20 7 10 28 16 33 , 20 23 3 34 16 29 -> 38 20 7 10 28 16 29 , 20 23 3 34 16 25 -> 38 20 7 10 28 16 25 , 20 23 3 34 16 30 -> 38 20 7 10 28 16 30 , 20 23 3 34 16 31 -> 38 20 7 10 28 16 31 , 20 23 3 34 16 24 -> 38 20 7 10 28 16 24 , 20 23 3 34 16 32 -> 38 20 7 10 28 16 32 , 20 23 3 34 16 33 -> 38 20 7 10 28 16 33 , 14 23 3 34 16 29 -> 8 20 7 10 28 16 29 , 14 23 3 34 16 25 -> 8 20 7 10 28 16 25 , 14 23 3 34 16 30 -> 8 20 7 10 28 16 30 , 14 23 3 34 16 31 -> 8 20 7 10 28 16 31 , 14 23 3 34 16 24 -> 8 20 7 10 28 16 24 , 14 23 3 34 16 32 -> 8 20 7 10 28 16 32 , 14 23 3 34 16 33 -> 8 20 7 10 28 16 33 , 22 23 3 34 16 29 -> 36 20 7 10 28 16 29 , 22 23 3 34 16 25 -> 36 20 7 10 28 16 25 , 22 23 3 34 16 30 -> 36 20 7 10 28 16 30 , 22 23 3 34 16 31 -> 36 20 7 10 28 16 31 , 22 23 3 34 16 24 -> 36 20 7 10 28 16 24 , 22 23 3 34 16 32 -> 36 20 7 10 28 16 32 , 22 23 3 34 16 33 -> 36 20 7 10 28 16 33 , 24 23 3 34 16 29 -> 30 20 7 10 28 16 29 , 24 23 3 34 16 25 -> 30 20 7 10 28 16 25 , 24 23 3 34 16 30 -> 30 20 7 10 28 16 30 , 24 23 3 34 16 31 -> 30 20 7 10 28 16 31 , 24 23 3 34 16 24 -> 30 20 7 10 28 16 24 , 24 23 3 34 16 32 -> 30 20 7 10 28 16 32 , 24 23 3 34 16 33 -> 30 20 7 10 28 16 33 , 26 23 3 34 16 29 -> 40 20 7 10 28 16 29 , 26 23 3 34 16 25 -> 40 20 7 10 28 16 25 , 26 23 3 34 16 30 -> 40 20 7 10 28 16 30 , 26 23 3 34 16 31 -> 40 20 7 10 28 16 31 , 26 23 3 34 16 24 -> 40 20 7 10 28 16 24 , 26 23 3 34 16 32 -> 40 20 7 10 28 16 32 , 26 23 3 34 16 33 -> 40 20 7 10 28 16 33 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 1 | | 0 1 | \ / 2 is interpreted by / \ | 1 1 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 0 | | 0 1 | \ / 5 is interpreted by / \ | 1 0 | | 0 1 | \ / 6 is interpreted by / \ | 1 1 | | 0 1 | \ / 7 is interpreted by / \ | 1 0 | | 0 1 | \ / 8 is interpreted by / \ | 1 1 | | 0 1 | \ / 9 is interpreted by / \ | 1 0 | | 0 1 | \ / 10 is interpreted by / \ | 1 1 | | 0 1 | \ / 11 is interpreted by / \ | 1 0 | | 0 1 | \ / 12 is interpreted by / \ | 1 1 | | 0 1 | \ / 13 is interpreted by / \ | 1 1 | | 0 1 | \ / 14 is interpreted by / \ | 1 1 | | 0 1 | \ / 15 is interpreted by / \ | 1 1 | | 0 1 | \ / 16 is interpreted by / \ | 1 1 | | 0 1 | \ / 17 is interpreted by / \ | 1 1 | | 0 1 | \ / 18 is interpreted by / \ | 1 0 | | 0 1 | \ / 19 is interpreted by / \ | 1 0 | | 0 1 | \ / 20 is interpreted by / \ | 1 1 | | 0 1 | \ / 21 is interpreted by / \ | 1 0 | | 0 1 | \ / 22 is interpreted by / \ | 1 1 | | 0 1 | \ / 23 is interpreted by / \ | 1 1 | | 0 1 | \ / 24 is interpreted by / \ | 1 1 | | 0 1 | \ / 25 is interpreted by / \ | 1 1 | | 0 1 | \ / 26 is interpreted by / \ | 1 1 | | 0 1 | \ / 27 is interpreted by / \ | 1 0 | | 0 1 | \ / 28 is interpreted by / \ | 1 1 | | 0 1 | \ / 29 is interpreted by / \ | 1 1 | | 0 1 | \ / 30 is interpreted by / \ | 1 1 | | 0 1 | \ / 31 is interpreted by / \ | 1 1 | | 0 1 | \ / 32 is interpreted by / \ | 1 1 | | 0 1 | \ / 33 is interpreted by / \ | 1 0 | | 0 1 | \ / 34 is interpreted by / \ | 1 1 | | 0 1 | \ / 35 is interpreted by / \ | 1 0 | | 0 1 | \ / 36 is interpreted by / \ | 1 1 | | 0 1 | \ / 37 is interpreted by / \ | 1 1 | | 0 1 | \ / 38 is interpreted by / \ | 1 0 | | 0 1 | \ / 39 is interpreted by / \ | 1 0 | | 0 1 | \ / 40 is interpreted by / \ | 1 1 | | 0 1 | \ / 41 is interpreted by / \ | 1 1 | | 0 1 | \ / 42 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { 0->0, 36->1, 21->2, 6->3, 41->4, 25->5, 16->6, 24->7, 7->8, 10->9, 30->10, 8->11, 31->12, 12->13, 14->14, 32->15, 15->16, 20->17, 37->18, 22->19, 9->20, 29->21, 2->22, 39->23, 1->24, 23->25, 28->26, 34->27, 5->28, 35->29, 3->30, 33->31, 26->32, 40->33 }, it remains to prove termination of the 95-rule system { 0 1 2 3 4 5 -> 6 7 1 2 3 8 9 , 0 1 2 3 4 10 -> 6 7 1 2 3 8 11 , 0 1 2 3 4 12 -> 6 7 1 2 3 8 13 , 0 1 2 3 4 7 -> 6 7 1 2 3 8 14 , 0 1 2 3 4 15 -> 6 7 1 2 3 8 16 , 17 1 2 3 4 5 -> 18 7 1 2 3 8 9 , 17 1 2 3 4 10 -> 18 7 1 2 3 8 11 , 17 1 2 3 4 12 -> 18 7 1 2 3 8 13 , 17 1 2 3 4 7 -> 18 7 1 2 3 8 14 , 17 1 2 3 4 15 -> 18 7 1 2 3 8 16 , 14 1 2 3 4 5 -> 16 7 1 2 3 8 9 , 14 1 2 3 4 10 -> 16 7 1 2 3 8 11 , 14 1 2 3 4 12 -> 16 7 1 2 3 8 13 , 14 1 2 3 4 7 -> 16 7 1 2 3 8 14 , 14 1 2 3 4 15 -> 16 7 1 2 3 8 16 , 19 1 2 3 4 5 -> 4 7 1 2 3 8 9 , 19 1 2 3 4 10 -> 4 7 1 2 3 8 11 , 19 1 2 3 4 12 -> 4 7 1 2 3 8 13 , 19 1 2 3 4 7 -> 4 7 1 2 3 8 14 , 19 1 2 3 4 15 -> 4 7 1 2 3 8 16 , 7 1 2 3 4 5 -> 15 7 1 2 3 8 9 , 7 1 2 3 4 10 -> 15 7 1 2 3 8 11 , 7 1 2 3 4 12 -> 15 7 1 2 3 8 13 , 7 1 2 3 4 7 -> 15 7 1 2 3 8 14 , 7 1 2 3 4 15 -> 15 7 1 2 3 8 16 , 20 6 5 3 4 21 -> 20 22 23 12 16 7 24 , 20 6 5 3 4 5 -> 20 22 23 12 16 7 25 , 20 6 5 3 4 10 -> 20 22 23 12 16 7 1 , 20 6 5 3 4 7 -> 20 22 23 12 16 7 19 , 20 6 5 3 4 15 -> 20 22 23 12 16 7 4 , 26 6 5 3 4 21 -> 26 22 23 12 16 7 24 , 26 6 5 3 4 5 -> 26 22 23 12 16 7 25 , 26 6 5 3 4 10 -> 26 22 23 12 16 7 1 , 26 6 5 3 4 7 -> 26 22 23 12 16 7 19 , 26 6 5 3 4 15 -> 26 22 23 12 16 7 4 , 27 6 5 3 4 21 -> 27 22 23 12 16 7 24 , 27 6 5 3 4 5 -> 27 22 23 12 16 7 25 , 27 6 5 3 4 10 -> 27 22 23 12 16 7 1 , 27 6 5 3 4 7 -> 27 22 23 12 16 7 19 , 27 6 5 3 4 15 -> 27 22 23 12 16 7 4 , 28 6 5 3 4 21 -> 28 22 23 12 16 7 24 , 28 6 5 3 4 5 -> 28 22 23 12 16 7 25 , 28 6 5 3 4 10 -> 28 22 23 12 16 7 1 , 28 6 5 3 4 7 -> 28 22 23 12 16 7 19 , 28 6 5 3 4 15 -> 28 22 23 12 16 7 4 , 24 6 5 3 4 21 -> 24 22 23 12 16 7 24 , 24 6 5 3 4 5 -> 24 22 23 12 16 7 25 , 24 6 5 3 4 10 -> 24 22 23 12 16 7 1 , 24 6 5 3 4 7 -> 24 22 23 12 16 7 19 , 24 6 5 3 4 15 -> 24 22 23 12 16 7 4 , 21 6 5 3 4 21 -> 21 22 23 12 16 7 24 , 21 6 5 3 4 5 -> 21 22 23 12 16 7 25 , 21 6 5 3 4 10 -> 21 22 23 12 16 7 1 , 21 6 5 3 4 7 -> 21 22 23 12 16 7 19 , 21 6 5 3 4 15 -> 21 22 23 12 16 7 4 , 29 6 5 3 4 21 -> 29 22 23 12 16 7 24 , 29 6 5 3 4 5 -> 29 22 23 12 16 7 25 , 29 6 5 3 4 10 -> 29 22 23 12 16 7 1 , 29 6 5 3 4 7 -> 29 22 23 12 16 7 19 , 29 6 5 3 4 15 -> 29 22 23 12 16 7 4 , 3 25 30 27 6 21 -> 30 17 8 9 26 6 21 , 3 25 30 27 6 5 -> 30 17 8 9 26 6 5 , 3 25 30 27 6 10 -> 30 17 8 9 26 6 10 , 3 25 30 27 6 12 -> 30 17 8 9 26 6 12 , 3 25 30 27 6 7 -> 30 17 8 9 26 6 7 , 3 25 30 27 6 15 -> 30 17 8 9 26 6 15 , 3 25 30 27 6 31 -> 30 17 8 9 26 6 31 , 14 25 30 27 6 21 -> 11 17 8 9 26 6 21 , 14 25 30 27 6 5 -> 11 17 8 9 26 6 5 , 14 25 30 27 6 10 -> 11 17 8 9 26 6 10 , 14 25 30 27 6 12 -> 11 17 8 9 26 6 12 , 14 25 30 27 6 7 -> 11 17 8 9 26 6 7 , 14 25 30 27 6 15 -> 11 17 8 9 26 6 15 , 14 25 30 27 6 31 -> 11 17 8 9 26 6 31 , 19 25 30 27 6 21 -> 1 17 8 9 26 6 21 , 19 25 30 27 6 5 -> 1 17 8 9 26 6 5 , 19 25 30 27 6 10 -> 1 17 8 9 26 6 10 , 19 25 30 27 6 12 -> 1 17 8 9 26 6 12 , 19 25 30 27 6 7 -> 1 17 8 9 26 6 7 , 19 25 30 27 6 15 -> 1 17 8 9 26 6 15 , 19 25 30 27 6 31 -> 1 17 8 9 26 6 31 , 7 25 30 27 6 21 -> 10 17 8 9 26 6 21 , 7 25 30 27 6 5 -> 10 17 8 9 26 6 5 , 7 25 30 27 6 10 -> 10 17 8 9 26 6 10 , 7 25 30 27 6 12 -> 10 17 8 9 26 6 12 , 7 25 30 27 6 7 -> 10 17 8 9 26 6 7 , 7 25 30 27 6 15 -> 10 17 8 9 26 6 15 , 7 25 30 27 6 31 -> 10 17 8 9 26 6 31 , 32 25 30 27 6 21 -> 33 17 8 9 26 6 21 , 32 25 30 27 6 5 -> 33 17 8 9 26 6 5 , 32 25 30 27 6 10 -> 33 17 8 9 26 6 10 , 32 25 30 27 6 12 -> 33 17 8 9 26 6 12 , 32 25 30 27 6 7 -> 33 17 8 9 26 6 7 , 32 25 30 27 6 15 -> 33 17 8 9 26 6 15 , 32 25 30 27 6 31 -> 33 17 8 9 26 6 31 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 0 | | 0 1 | \ / 2 is interpreted by / \ | 1 0 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 1 | | 0 1 | \ / 5 is interpreted by / \ | 1 1 | | 0 1 | \ / 6 is interpreted by / \ | 1 1 | | 0 1 | \ / 7 is interpreted by / \ | 1 1 | | 0 1 | \ / 8 is interpreted by / \ | 1 0 | | 0 1 | \ / 9 is interpreted by / \ | 1 0 | | 0 1 | \ / 10 is interpreted by / \ | 1 1 | | 0 1 | \ / 11 is interpreted by / \ | 1 0 | | 0 1 | \ / 12 is interpreted by / \ | 1 1 | | 0 1 | \ / 13 is interpreted by / \ | 1 0 | | 0 1 | \ / 14 is interpreted by / \ | 1 1 | | 0 1 | \ / 15 is interpreted by / \ | 1 1 | | 0 1 | \ / 16 is interpreted by / \ | 1 0 | | 0 1 | \ / 17 is interpreted by / \ | 1 1 | | 0 1 | \ / 18 is interpreted by / \ | 1 0 | | 0 1 | \ / 19 is interpreted by / \ | 1 1 | | 0 1 | \ / 20 is interpreted by / \ | 1 0 | | 0 1 | \ / 21 is interpreted by / \ | 1 1 | | 0 1 | \ / 22 is interpreted by / \ | 1 0 | | 0 1 | \ / 23 is interpreted by / \ | 1 0 | | 0 1 | \ / 24 is interpreted by / \ | 1 0 | | 0 1 | \ / 25 is interpreted by / \ | 1 1 | | 0 1 | \ / 26 is interpreted by / \ | 1 0 | | 0 1 | \ / 27 is interpreted by / \ | 1 1 | | 0 1 | \ / 28 is interpreted by / \ | 1 0 | | 0 1 | \ / 29 is interpreted by / \ | 1 0 | | 0 1 | \ / 30 is interpreted by / \ | 1 1 | | 0 1 | \ / 31 is interpreted by / \ | 1 0 | | 0 1 | \ / 32 is interpreted by / \ | 1 1 | | 0 1 | \ / 33 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { 0->0, 1->1, 2->2, 3->3, 4->4, 7->5, 6->6, 8->7, 14->8, 19->9, 15->10 }, it remains to prove termination of the 3-rule system { 0 1 2 3 4 5 -> 6 5 1 2 3 7 8 , 9 1 2 3 4 5 -> 4 5 1 2 3 7 8 , 5 1 2 3 4 5 -> 10 5 1 2 3 7 8 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 1 | | 0 1 | \ / 1 is interpreted by / \ | 1 0 | | 0 1 | \ / 2 is interpreted by / \ | 1 0 | | 0 1 | \ / 3 is interpreted by / \ | 1 0 | | 0 1 | \ / 4 is interpreted by / \ | 1 1 | | 0 1 | \ / 5 is interpreted by / \ | 1 1 | | 0 1 | \ / 6 is interpreted by / \ | 1 0 | | 0 1 | \ / 7 is interpreted by / \ | 1 0 | | 0 1 | \ / 8 is interpreted by / \ | 1 0 | | 0 1 | \ / 9 is interpreted by / \ | 1 1 | | 0 1 | \ / 10 is interpreted by / \ | 1 0 | | 0 1 | \ / After renaming modulo { }, it remains to prove termination of the 0-rule system { } The system is trivially terminating.