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