YES After renaming modulo { 2->0, 5->1, 3->2, 0->3, 1->4, 4->5 }, it remains to prove termination of the 14-rule system { 0 1 2 3 -> 4 3 3 4 2 3 5 1 4 0 , 4 2 1 5 2 -> 0 4 5 4 5 3 2 3 4 4 , 1 4 2 1 3 -> 1 4 5 2 3 5 5 1 0 4 , 1 5 5 0 1 -> 5 2 4 4 4 4 1 2 2 1 , 0 0 1 3 1 5 -> 0 4 5 4 2 2 0 0 1 5 , 2 3 1 1 5 2 -> 2 2 3 2 0 2 1 1 4 3 , 2 1 5 2 1 0 -> 0 3 1 0 3 1 0 0 2 0 , 5 5 0 1 1 3 -> 5 5 3 3 2 2 2 0 0 2 , 5 1 2 1 1 3 -> 5 0 0 2 3 0 5 4 4 1 , 1 5 1 4 4 0 -> 1 5 3 2 2 2 2 0 1 1 , 1 1 1 1 1 2 -> 1 1 3 4 5 3 3 1 3 4 , 2 1 3 3 1 5 2 -> 3 4 0 4 4 1 1 0 4 3 , 2 1 5 0 1 0 2 -> 5 3 5 3 3 0 0 2 5 5 , 2 1 5 1 4 5 3 -> 4 4 4 3 3 2 2 4 0 1 } Applying sparse 2-tiling [Hofbauer/Geser/Waldmann, FSCD 2019]. After renaming modulo { (0,0)->0, (0,1)->1, (1,2)->2, (2,3)->3, (3,0)->4, (0,4)->5, (4,3)->6, (3,3)->7, (3,4)->8, (4,2)->9, (3,5)->10, (5,1)->11, (1,4)->12, (4,0)->13, (3,1)->14, (3,2)->15, (0,2)->16, (0,3)->17, (0,5)->18, (3,7)->19, (0,7)->20, (1,0)->21, (2,0)->22, (2,4)->23, (4,4)->24, (5,0)->25, (5,4)->26, (6,0)->27, (6,4)->28, (2,1)->29, (1,5)->30, (5,2)->31, (4,5)->32, (5,3)->33, (4,1)->34, (2,2)->35, (2,5)->36, (2,7)->37, (4,7)->38, (1,3)->39, (5,5)->40, (1,1)->41, (6,1)->42, (1,7)->43, (6,5)->44, (5,7)->45, (6,2)->46, (6,3)->47 }, it remains to prove termination of the 686-rule system { 0 1 2 3 4 -> 5 6 7 8 9 3 10 11 12 13 0 , 0 1 2 3 14 -> 5 6 7 8 9 3 10 11 12 13 1 , 0 1 2 3 15 -> 5 6 7 8 9 3 10 11 12 13 16 , 0 1 2 3 7 -> 5 6 7 8 9 3 10 11 12 13 17 , 0 1 2 3 8 -> 5 6 7 8 9 3 10 11 12 13 5 , 0 1 2 3 10 -> 5 6 7 8 9 3 10 11 12 13 18 , 0 1 2 3 19 -> 5 6 7 8 9 3 10 11 12 13 20 , 21 1 2 3 4 -> 12 6 7 8 9 3 10 11 12 13 0 , 21 1 2 3 14 -> 12 6 7 8 9 3 10 11 12 13 1 , 21 1 2 3 15 -> 12 6 7 8 9 3 10 11 12 13 16 , 21 1 2 3 7 -> 12 6 7 8 9 3 10 11 12 13 17 , 21 1 2 3 8 -> 12 6 7 8 9 3 10 11 12 13 5 , 21 1 2 3 10 -> 12 6 7 8 9 3 10 11 12 13 18 , 21 1 2 3 19 -> 12 6 7 8 9 3 10 11 12 13 20 , 22 1 2 3 4 -> 23 6 7 8 9 3 10 11 12 13 0 , 22 1 2 3 14 -> 23 6 7 8 9 3 10 11 12 13 1 , 22 1 2 3 15 -> 23 6 7 8 9 3 10 11 12 13 16 , 22 1 2 3 7 -> 23 6 7 8 9 3 10 11 12 13 17 , 22 1 2 3 8 -> 23 6 7 8 9 3 10 11 12 13 5 , 22 1 2 3 10 -> 23 6 7 8 9 3 10 11 12 13 18 , 22 1 2 3 19 -> 23 6 7 8 9 3 10 11 12 13 20 , 4 1 2 3 4 -> 8 6 7 8 9 3 10 11 12 13 0 , 4 1 2 3 14 -> 8 6 7 8 9 3 10 11 12 13 1 , 4 1 2 3 15 -> 8 6 7 8 9 3 10 11 12 13 16 , 4 1 2 3 7 -> 8 6 7 8 9 3 10 11 12 13 17 , 4 1 2 3 8 -> 8 6 7 8 9 3 10 11 12 13 5 , 4 1 2 3 10 -> 8 6 7 8 9 3 10 11 12 13 18 , 4 1 2 3 19 -> 8 6 7 8 9 3 10 11 12 13 20 , 13 1 2 3 4 -> 24 6 7 8 9 3 10 11 12 13 0 , 13 1 2 3 14 -> 24 6 7 8 9 3 10 11 12 13 1 , 13 1 2 3 15 -> 24 6 7 8 9 3 10 11 12 13 16 , 13 1 2 3 7 -> 24 6 7 8 9 3 10 11 12 13 17 , 13 1 2 3 8 -> 24 6 7 8 9 3 10 11 12 13 5 , 13 1 2 3 10 -> 24 6 7 8 9 3 10 11 12 13 18 , 13 1 2 3 19 -> 24 6 7 8 9 3 10 11 12 13 20 , 25 1 2 3 4 -> 26 6 7 8 9 3 10 11 12 13 0 , 25 1 2 3 14 -> 26 6 7 8 9 3 10 11 12 13 1 , 25 1 2 3 15 -> 26 6 7 8 9 3 10 11 12 13 16 , 25 1 2 3 7 -> 26 6 7 8 9 3 10 11 12 13 17 , 25 1 2 3 8 -> 26 6 7 8 9 3 10 11 12 13 5 , 25 1 2 3 10 -> 26 6 7 8 9 3 10 11 12 13 18 , 25 1 2 3 19 -> 26 6 7 8 9 3 10 11 12 13 20 , 27 1 2 3 4 -> 28 6 7 8 9 3 10 11 12 13 0 , 27 1 2 3 14 -> 28 6 7 8 9 3 10 11 12 13 1 , 27 1 2 3 15 -> 28 6 7 8 9 3 10 11 12 13 16 , 27 1 2 3 7 -> 28 6 7 8 9 3 10 11 12 13 17 , 27 1 2 3 8 -> 28 6 7 8 9 3 10 11 12 13 5 , 27 1 2 3 10 -> 28 6 7 8 9 3 10 11 12 13 18 , 27 1 2 3 19 -> 28 6 7 8 9 3 10 11 12 13 20 , 5 9 29 30 31 22 -> 0 5 32 26 32 33 15 3 8 24 13 , 5 9 29 30 31 29 -> 0 5 32 26 32 33 15 3 8 24 34 , 5 9 29 30 31 35 -> 0 5 32 26 32 33 15 3 8 24 9 , 5 9 29 30 31 3 -> 0 5 32 26 32 33 15 3 8 24 6 , 5 9 29 30 31 23 -> 0 5 32 26 32 33 15 3 8 24 24 , 5 9 29 30 31 36 -> 0 5 32 26 32 33 15 3 8 24 32 , 5 9 29 30 31 37 -> 0 5 32 26 32 33 15 3 8 24 38 , 12 9 29 30 31 22 -> 21 5 32 26 32 33 15 3 8 24 13 , 12 9 29 30 31 29 -> 21 5 32 26 32 33 15 3 8 24 34 , 12 9 29 30 31 35 -> 21 5 32 26 32 33 15 3 8 24 9 , 12 9 29 30 31 3 -> 21 5 32 26 32 33 15 3 8 24 6 , 12 9 29 30 31 23 -> 21 5 32 26 32 33 15 3 8 24 24 , 12 9 29 30 31 36 -> 21 5 32 26 32 33 15 3 8 24 32 , 12 9 29 30 31 37 -> 21 5 32 26 32 33 15 3 8 24 38 , 23 9 29 30 31 22 -> 22 5 32 26 32 33 15 3 8 24 13 , 23 9 29 30 31 29 -> 22 5 32 26 32 33 15 3 8 24 34 , 23 9 29 30 31 35 -> 22 5 32 26 32 33 15 3 8 24 9 , 23 9 29 30 31 3 -> 22 5 32 26 32 33 15 3 8 24 6 , 23 9 29 30 31 23 -> 22 5 32 26 32 33 15 3 8 24 24 , 23 9 29 30 31 36 -> 22 5 32 26 32 33 15 3 8 24 32 , 23 9 29 30 31 37 -> 22 5 32 26 32 33 15 3 8 24 38 , 8 9 29 30 31 22 -> 4 5 32 26 32 33 15 3 8 24 13 , 8 9 29 30 31 29 -> 4 5 32 26 32 33 15 3 8 24 34 , 8 9 29 30 31 35 -> 4 5 32 26 32 33 15 3 8 24 9 , 8 9 29 30 31 3 -> 4 5 32 26 32 33 15 3 8 24 6 , 8 9 29 30 31 23 -> 4 5 32 26 32 33 15 3 8 24 24 , 8 9 29 30 31 36 -> 4 5 32 26 32 33 15 3 8 24 32 , 8 9 29 30 31 37 -> 4 5 32 26 32 33 15 3 8 24 38 , 24 9 29 30 31 22 -> 13 5 32 26 32 33 15 3 8 24 13 , 24 9 29 30 31 29 -> 13 5 32 26 32 33 15 3 8 24 34 , 24 9 29 30 31 35 -> 13 5 32 26 32 33 15 3 8 24 9 , 24 9 29 30 31 3 -> 13 5 32 26 32 33 15 3 8 24 6 , 24 9 29 30 31 23 -> 13 5 32 26 32 33 15 3 8 24 24 , 24 9 29 30 31 36 -> 13 5 32 26 32 33 15 3 8 24 32 , 24 9 29 30 31 37 -> 13 5 32 26 32 33 15 3 8 24 38 , 26 9 29 30 31 22 -> 25 5 32 26 32 33 15 3 8 24 13 , 26 9 29 30 31 29 -> 25 5 32 26 32 33 15 3 8 24 34 , 26 9 29 30 31 35 -> 25 5 32 26 32 33 15 3 8 24 9 , 26 9 29 30 31 3 -> 25 5 32 26 32 33 15 3 8 24 6 , 26 9 29 30 31 23 -> 25 5 32 26 32 33 15 3 8 24 24 , 26 9 29 30 31 36 -> 25 5 32 26 32 33 15 3 8 24 32 , 26 9 29 30 31 37 -> 25 5 32 26 32 33 15 3 8 24 38 , 28 9 29 30 31 22 -> 27 5 32 26 32 33 15 3 8 24 13 , 28 9 29 30 31 29 -> 27 5 32 26 32 33 15 3 8 24 34 , 28 9 29 30 31 35 -> 27 5 32 26 32 33 15 3 8 24 9 , 28 9 29 30 31 3 -> 27 5 32 26 32 33 15 3 8 24 6 , 28 9 29 30 31 23 -> 27 5 32 26 32 33 15 3 8 24 24 , 28 9 29 30 31 36 -> 27 5 32 26 32 33 15 3 8 24 32 , 28 9 29 30 31 37 -> 27 5 32 26 32 33 15 3 8 24 38 , 1 12 9 29 39 4 -> 1 12 32 31 3 10 40 11 21 5 13 , 1 12 9 29 39 14 -> 1 12 32 31 3 10 40 11 21 5 34 , 1 12 9 29 39 15 -> 1 12 32 31 3 10 40 11 21 5 9 , 1 12 9 29 39 7 -> 1 12 32 31 3 10 40 11 21 5 6 , 1 12 9 29 39 8 -> 1 12 32 31 3 10 40 11 21 5 24 , 1 12 9 29 39 10 -> 1 12 32 31 3 10 40 11 21 5 32 , 1 12 9 29 39 19 -> 1 12 32 31 3 10 40 11 21 5 38 , 41 12 9 29 39 4 -> 41 12 32 31 3 10 40 11 21 5 13 , 41 12 9 29 39 14 -> 41 12 32 31 3 10 40 11 21 5 34 , 41 12 9 29 39 15 -> 41 12 32 31 3 10 40 11 21 5 9 , 41 12 9 29 39 7 -> 41 12 32 31 3 10 40 11 21 5 6 , 41 12 9 29 39 8 -> 41 12 32 31 3 10 40 11 21 5 24 , 41 12 9 29 39 10 -> 41 12 32 31 3 10 40 11 21 5 32 , 41 12 9 29 39 19 -> 41 12 32 31 3 10 40 11 21 5 38 , 29 12 9 29 39 4 -> 29 12 32 31 3 10 40 11 21 5 13 , 29 12 9 29 39 14 -> 29 12 32 31 3 10 40 11 21 5 34 , 29 12 9 29 39 15 -> 29 12 32 31 3 10 40 11 21 5 9 , 29 12 9 29 39 7 -> 29 12 32 31 3 10 40 11 21 5 6 , 29 12 9 29 39 8 -> 29 12 32 31 3 10 40 11 21 5 24 , 29 12 9 29 39 10 -> 29 12 32 31 3 10 40 11 21 5 32 , 29 12 9 29 39 19 -> 29 12 32 31 3 10 40 11 21 5 38 , 14 12 9 29 39 4 -> 14 12 32 31 3 10 40 11 21 5 13 , 14 12 9 29 39 14 -> 14 12 32 31 3 10 40 11 21 5 34 , 14 12 9 29 39 15 -> 14 12 32 31 3 10 40 11 21 5 9 , 14 12 9 29 39 7 -> 14 12 32 31 3 10 40 11 21 5 6 , 14 12 9 29 39 8 -> 14 12 32 31 3 10 40 11 21 5 24 , 14 12 9 29 39 10 -> 14 12 32 31 3 10 40 11 21 5 32 , 14 12 9 29 39 19 -> 14 12 32 31 3 10 40 11 21 5 38 , 34 12 9 29 39 4 -> 34 12 32 31 3 10 40 11 21 5 13 , 34 12 9 29 39 14 -> 34 12 32 31 3 10 40 11 21 5 34 , 34 12 9 29 39 15 -> 34 12 32 31 3 10 40 11 21 5 9 , 34 12 9 29 39 7 -> 34 12 32 31 3 10 40 11 21 5 6 , 34 12 9 29 39 8 -> 34 12 32 31 3 10 40 11 21 5 24 , 34 12 9 29 39 10 -> 34 12 32 31 3 10 40 11 21 5 32 , 34 12 9 29 39 19 -> 34 12 32 31 3 10 40 11 21 5 38 , 11 12 9 29 39 4 -> 11 12 32 31 3 10 40 11 21 5 13 , 11 12 9 29 39 14 -> 11 12 32 31 3 10 40 11 21 5 34 , 11 12 9 29 39 15 -> 11 12 32 31 3 10 40 11 21 5 9 , 11 12 9 29 39 7 -> 11 12 32 31 3 10 40 11 21 5 6 , 11 12 9 29 39 8 -> 11 12 32 31 3 10 40 11 21 5 24 , 11 12 9 29 39 10 -> 11 12 32 31 3 10 40 11 21 5 32 , 11 12 9 29 39 19 -> 11 12 32 31 3 10 40 11 21 5 38 , 42 12 9 29 39 4 -> 42 12 32 31 3 10 40 11 21 5 13 , 42 12 9 29 39 14 -> 42 12 32 31 3 10 40 11 21 5 34 , 42 12 9 29 39 15 -> 42 12 32 31 3 10 40 11 21 5 9 , 42 12 9 29 39 7 -> 42 12 32 31 3 10 40 11 21 5 6 , 42 12 9 29 39 8 -> 42 12 32 31 3 10 40 11 21 5 24 , 42 12 9 29 39 10 -> 42 12 32 31 3 10 40 11 21 5 32 , 42 12 9 29 39 19 -> 42 12 32 31 3 10 40 11 21 5 38 , 1 30 40 25 1 21 -> 18 31 23 24 24 24 34 2 35 29 21 , 1 30 40 25 1 41 -> 18 31 23 24 24 24 34 2 35 29 41 , 1 30 40 25 1 2 -> 18 31 23 24 24 24 34 2 35 29 2 , 1 30 40 25 1 39 -> 18 31 23 24 24 24 34 2 35 29 39 , 1 30 40 25 1 12 -> 18 31 23 24 24 24 34 2 35 29 12 , 1 30 40 25 1 30 -> 18 31 23 24 24 24 34 2 35 29 30 , 1 30 40 25 1 43 -> 18 31 23 24 24 24 34 2 35 29 43 , 41 30 40 25 1 21 -> 30 31 23 24 24 24 34 2 35 29 21 , 41 30 40 25 1 41 -> 30 31 23 24 24 24 34 2 35 29 41 , 41 30 40 25 1 2 -> 30 31 23 24 24 24 34 2 35 29 2 , 41 30 40 25 1 39 -> 30 31 23 24 24 24 34 2 35 29 39 , 41 30 40 25 1 12 -> 30 31 23 24 24 24 34 2 35 29 12 , 41 30 40 25 1 30 -> 30 31 23 24 24 24 34 2 35 29 30 , 41 30 40 25 1 43 -> 30 31 23 24 24 24 34 2 35 29 43 , 29 30 40 25 1 21 -> 36 31 23 24 24 24 34 2 35 29 21 , 29 30 40 25 1 41 -> 36 31 23 24 24 24 34 2 35 29 41 , 29 30 40 25 1 2 -> 36 31 23 24 24 24 34 2 35 29 2 , 29 30 40 25 1 39 -> 36 31 23 24 24 24 34 2 35 29 39 , 29 30 40 25 1 12 -> 36 31 23 24 24 24 34 2 35 29 12 , 29 30 40 25 1 30 -> 36 31 23 24 24 24 34 2 35 29 30 , 29 30 40 25 1 43 -> 36 31 23 24 24 24 34 2 35 29 43 , 14 30 40 25 1 21 -> 10 31 23 24 24 24 34 2 35 29 21 , 14 30 40 25 1 41 -> 10 31 23 24 24 24 34 2 35 29 41 , 14 30 40 25 1 2 -> 10 31 23 24 24 24 34 2 35 29 2 , 14 30 40 25 1 39 -> 10 31 23 24 24 24 34 2 35 29 39 , 14 30 40 25 1 12 -> 10 31 23 24 24 24 34 2 35 29 12 , 14 30 40 25 1 30 -> 10 31 23 24 24 24 34 2 35 29 30 , 14 30 40 25 1 43 -> 10 31 23 24 24 24 34 2 35 29 43 , 34 30 40 25 1 21 -> 32 31 23 24 24 24 34 2 35 29 21 , 34 30 40 25 1 41 -> 32 31 23 24 24 24 34 2 35 29 41 , 34 30 40 25 1 2 -> 32 31 23 24 24 24 34 2 35 29 2 , 34 30 40 25 1 39 -> 32 31 23 24 24 24 34 2 35 29 39 , 34 30 40 25 1 12 -> 32 31 23 24 24 24 34 2 35 29 12 , 34 30 40 25 1 30 -> 32 31 23 24 24 24 34 2 35 29 30 , 34 30 40 25 1 43 -> 32 31 23 24 24 24 34 2 35 29 43 , 11 30 40 25 1 21 -> 40 31 23 24 24 24 34 2 35 29 21 , 11 30 40 25 1 41 -> 40 31 23 24 24 24 34 2 35 29 41 , 11 30 40 25 1 2 -> 40 31 23 24 24 24 34 2 35 29 2 , 11 30 40 25 1 39 -> 40 31 23 24 24 24 34 2 35 29 39 , 11 30 40 25 1 12 -> 40 31 23 24 24 24 34 2 35 29 12 , 11 30 40 25 1 30 -> 40 31 23 24 24 24 34 2 35 29 30 , 11 30 40 25 1 43 -> 40 31 23 24 24 24 34 2 35 29 43 , 42 30 40 25 1 21 -> 44 31 23 24 24 24 34 2 35 29 21 , 42 30 40 25 1 41 -> 44 31 23 24 24 24 34 2 35 29 41 , 42 30 40 25 1 2 -> 44 31 23 24 24 24 34 2 35 29 2 , 42 30 40 25 1 39 -> 44 31 23 24 24 24 34 2 35 29 39 , 42 30 40 25 1 12 -> 44 31 23 24 24 24 34 2 35 29 12 , 42 30 40 25 1 30 -> 44 31 23 24 24 24 34 2 35 29 30 , 42 30 40 25 1 43 -> 44 31 23 24 24 24 34 2 35 29 43 , 0 0 1 39 14 30 25 -> 0 5 32 26 9 35 22 0 1 30 25 , 0 0 1 39 14 30 11 -> 0 5 32 26 9 35 22 0 1 30 11 , 0 0 1 39 14 30 31 -> 0 5 32 26 9 35 22 0 1 30 31 , 0 0 1 39 14 30 33 -> 0 5 32 26 9 35 22 0 1 30 33 , 0 0 1 39 14 30 26 -> 0 5 32 26 9 35 22 0 1 30 26 , 0 0 1 39 14 30 40 -> 0 5 32 26 9 35 22 0 1 30 40 , 0 0 1 39 14 30 45 -> 0 5 32 26 9 35 22 0 1 30 45 , 21 0 1 39 14 30 25 -> 21 5 32 26 9 35 22 0 1 30 25 , 21 0 1 39 14 30 11 -> 21 5 32 26 9 35 22 0 1 30 11 , 21 0 1 39 14 30 31 -> 21 5 32 26 9 35 22 0 1 30 31 , 21 0 1 39 14 30 33 -> 21 5 32 26 9 35 22 0 1 30 33 , 21 0 1 39 14 30 26 -> 21 5 32 26 9 35 22 0 1 30 26 , 21 0 1 39 14 30 40 -> 21 5 32 26 9 35 22 0 1 30 40 , 21 0 1 39 14 30 45 -> 21 5 32 26 9 35 22 0 1 30 45 , 22 0 1 39 14 30 25 -> 22 5 32 26 9 35 22 0 1 30 25 , 22 0 1 39 14 30 11 -> 22 5 32 26 9 35 22 0 1 30 11 , 22 0 1 39 14 30 31 -> 22 5 32 26 9 35 22 0 1 30 31 , 22 0 1 39 14 30 33 -> 22 5 32 26 9 35 22 0 1 30 33 , 22 0 1 39 14 30 26 -> 22 5 32 26 9 35 22 0 1 30 26 , 22 0 1 39 14 30 40 -> 22 5 32 26 9 35 22 0 1 30 40 , 22 0 1 39 14 30 45 -> 22 5 32 26 9 35 22 0 1 30 45 , 4 0 1 39 14 30 25 -> 4 5 32 26 9 35 22 0 1 30 25 , 4 0 1 39 14 30 11 -> 4 5 32 26 9 35 22 0 1 30 11 , 4 0 1 39 14 30 31 -> 4 5 32 26 9 35 22 0 1 30 31 , 4 0 1 39 14 30 33 -> 4 5 32 26 9 35 22 0 1 30 33 , 4 0 1 39 14 30 26 -> 4 5 32 26 9 35 22 0 1 30 26 , 4 0 1 39 14 30 40 -> 4 5 32 26 9 35 22 0 1 30 40 , 4 0 1 39 14 30 45 -> 4 5 32 26 9 35 22 0 1 30 45 , 13 0 1 39 14 30 25 -> 13 5 32 26 9 35 22 0 1 30 25 , 13 0 1 39 14 30 11 -> 13 5 32 26 9 35 22 0 1 30 11 , 13 0 1 39 14 30 31 -> 13 5 32 26 9 35 22 0 1 30 31 , 13 0 1 39 14 30 33 -> 13 5 32 26 9 35 22 0 1 30 33 , 13 0 1 39 14 30 26 -> 13 5 32 26 9 35 22 0 1 30 26 , 13 0 1 39 14 30 40 -> 13 5 32 26 9 35 22 0 1 30 40 , 13 0 1 39 14 30 45 -> 13 5 32 26 9 35 22 0 1 30 45 , 25 0 1 39 14 30 25 -> 25 5 32 26 9 35 22 0 1 30 25 , 25 0 1 39 14 30 11 -> 25 5 32 26 9 35 22 0 1 30 11 , 25 0 1 39 14 30 31 -> 25 5 32 26 9 35 22 0 1 30 31 , 25 0 1 39 14 30 33 -> 25 5 32 26 9 35 22 0 1 30 33 , 25 0 1 39 14 30 26 -> 25 5 32 26 9 35 22 0 1 30 26 , 25 0 1 39 14 30 40 -> 25 5 32 26 9 35 22 0 1 30 40 , 25 0 1 39 14 30 45 -> 25 5 32 26 9 35 22 0 1 30 45 , 27 0 1 39 14 30 25 -> 27 5 32 26 9 35 22 0 1 30 25 , 27 0 1 39 14 30 11 -> 27 5 32 26 9 35 22 0 1 30 11 , 27 0 1 39 14 30 31 -> 27 5 32 26 9 35 22 0 1 30 31 , 27 0 1 39 14 30 33 -> 27 5 32 26 9 35 22 0 1 30 33 , 27 0 1 39 14 30 26 -> 27 5 32 26 9 35 22 0 1 30 26 , 27 0 1 39 14 30 40 -> 27 5 32 26 9 35 22 0 1 30 40 , 27 0 1 39 14 30 45 -> 27 5 32 26 9 35 22 0 1 30 45 , 16 3 14 41 30 31 22 -> 16 35 3 15 22 16 29 41 12 6 4 , 16 3 14 41 30 31 29 -> 16 35 3 15 22 16 29 41 12 6 14 , 16 3 14 41 30 31 35 -> 16 35 3 15 22 16 29 41 12 6 15 , 16 3 14 41 30 31 3 -> 16 35 3 15 22 16 29 41 12 6 7 , 16 3 14 41 30 31 23 -> 16 35 3 15 22 16 29 41 12 6 8 , 16 3 14 41 30 31 36 -> 16 35 3 15 22 16 29 41 12 6 10 , 16 3 14 41 30 31 37 -> 16 35 3 15 22 16 29 41 12 6 19 , 2 3 14 41 30 31 22 -> 2 35 3 15 22 16 29 41 12 6 4 , 2 3 14 41 30 31 29 -> 2 35 3 15 22 16 29 41 12 6 14 , 2 3 14 41 30 31 35 -> 2 35 3 15 22 16 29 41 12 6 15 , 2 3 14 41 30 31 3 -> 2 35 3 15 22 16 29 41 12 6 7 , 2 3 14 41 30 31 23 -> 2 35 3 15 22 16 29 41 12 6 8 , 2 3 14 41 30 31 36 -> 2 35 3 15 22 16 29 41 12 6 10 , 2 3 14 41 30 31 37 -> 2 35 3 15 22 16 29 41 12 6 19 , 35 3 14 41 30 31 22 -> 35 35 3 15 22 16 29 41 12 6 4 , 35 3 14 41 30 31 29 -> 35 35 3 15 22 16 29 41 12 6 14 , 35 3 14 41 30 31 35 -> 35 35 3 15 22 16 29 41 12 6 15 , 35 3 14 41 30 31 3 -> 35 35 3 15 22 16 29 41 12 6 7 , 35 3 14 41 30 31 23 -> 35 35 3 15 22 16 29 41 12 6 8 , 35 3 14 41 30 31 36 -> 35 35 3 15 22 16 29 41 12 6 10 , 35 3 14 41 30 31 37 -> 35 35 3 15 22 16 29 41 12 6 19 , 15 3 14 41 30 31 22 -> 15 35 3 15 22 16 29 41 12 6 4 , 15 3 14 41 30 31 29 -> 15 35 3 15 22 16 29 41 12 6 14 , 15 3 14 41 30 31 35 -> 15 35 3 15 22 16 29 41 12 6 15 , 15 3 14 41 30 31 3 -> 15 35 3 15 22 16 29 41 12 6 7 , 15 3 14 41 30 31 23 -> 15 35 3 15 22 16 29 41 12 6 8 , 15 3 14 41 30 31 36 -> 15 35 3 15 22 16 29 41 12 6 10 , 15 3 14 41 30 31 37 -> 15 35 3 15 22 16 29 41 12 6 19 , 9 3 14 41 30 31 22 -> 9 35 3 15 22 16 29 41 12 6 4 , 9 3 14 41 30 31 29 -> 9 35 3 15 22 16 29 41 12 6 14 , 9 3 14 41 30 31 35 -> 9 35 3 15 22 16 29 41 12 6 15 , 9 3 14 41 30 31 3 -> 9 35 3 15 22 16 29 41 12 6 7 , 9 3 14 41 30 31 23 -> 9 35 3 15 22 16 29 41 12 6 8 , 9 3 14 41 30 31 36 -> 9 35 3 15 22 16 29 41 12 6 10 , 9 3 14 41 30 31 37 -> 9 35 3 15 22 16 29 41 12 6 19 , 31 3 14 41 30 31 22 -> 31 35 3 15 22 16 29 41 12 6 4 , 31 3 14 41 30 31 29 -> 31 35 3 15 22 16 29 41 12 6 14 , 31 3 14 41 30 31 35 -> 31 35 3 15 22 16 29 41 12 6 15 , 31 3 14 41 30 31 3 -> 31 35 3 15 22 16 29 41 12 6 7 , 31 3 14 41 30 31 23 -> 31 35 3 15 22 16 29 41 12 6 8 , 31 3 14 41 30 31 36 -> 31 35 3 15 22 16 29 41 12 6 10 , 31 3 14 41 30 31 37 -> 31 35 3 15 22 16 29 41 12 6 19 , 46 3 14 41 30 31 22 -> 46 35 3 15 22 16 29 41 12 6 4 , 46 3 14 41 30 31 29 -> 46 35 3 15 22 16 29 41 12 6 14 , 46 3 14 41 30 31 35 -> 46 35 3 15 22 16 29 41 12 6 15 , 46 3 14 41 30 31 3 -> 46 35 3 15 22 16 29 41 12 6 7 , 46 3 14 41 30 31 23 -> 46 35 3 15 22 16 29 41 12 6 8 , 46 3 14 41 30 31 36 -> 46 35 3 15 22 16 29 41 12 6 10 , 46 3 14 41 30 31 37 -> 46 35 3 15 22 16 29 41 12 6 19 , 16 29 30 31 29 21 0 -> 0 17 14 21 17 14 21 0 16 22 0 , 16 29 30 31 29 21 1 -> 0 17 14 21 17 14 21 0 16 22 1 , 16 29 30 31 29 21 16 -> 0 17 14 21 17 14 21 0 16 22 16 , 16 29 30 31 29 21 17 -> 0 17 14 21 17 14 21 0 16 22 17 , 16 29 30 31 29 21 5 -> 0 17 14 21 17 14 21 0 16 22 5 , 16 29 30 31 29 21 18 -> 0 17 14 21 17 14 21 0 16 22 18 , 16 29 30 31 29 21 20 -> 0 17 14 21 17 14 21 0 16 22 20 , 2 29 30 31 29 21 0 -> 21 17 14 21 17 14 21 0 16 22 0 , 2 29 30 31 29 21 1 -> 21 17 14 21 17 14 21 0 16 22 1 , 2 29 30 31 29 21 16 -> 21 17 14 21 17 14 21 0 16 22 16 , 2 29 30 31 29 21 17 -> 21 17 14 21 17 14 21 0 16 22 17 , 2 29 30 31 29 21 5 -> 21 17 14 21 17 14 21 0 16 22 5 , 2 29 30 31 29 21 18 -> 21 17 14 21 17 14 21 0 16 22 18 , 2 29 30 31 29 21 20 -> 21 17 14 21 17 14 21 0 16 22 20 , 35 29 30 31 29 21 0 -> 22 17 14 21 17 14 21 0 16 22 0 , 35 29 30 31 29 21 1 -> 22 17 14 21 17 14 21 0 16 22 1 , 35 29 30 31 29 21 16 -> 22 17 14 21 17 14 21 0 16 22 16 , 35 29 30 31 29 21 17 -> 22 17 14 21 17 14 21 0 16 22 17 , 35 29 30 31 29 21 5 -> 22 17 14 21 17 14 21 0 16 22 5 , 35 29 30 31 29 21 18 -> 22 17 14 21 17 14 21 0 16 22 18 , 35 29 30 31 29 21 20 -> 22 17 14 21 17 14 21 0 16 22 20 , 15 29 30 31 29 21 0 -> 4 17 14 21 17 14 21 0 16 22 0 , 15 29 30 31 29 21 1 -> 4 17 14 21 17 14 21 0 16 22 1 , 15 29 30 31 29 21 16 -> 4 17 14 21 17 14 21 0 16 22 16 , 15 29 30 31 29 21 17 -> 4 17 14 21 17 14 21 0 16 22 17 , 15 29 30 31 29 21 5 -> 4 17 14 21 17 14 21 0 16 22 5 , 15 29 30 31 29 21 18 -> 4 17 14 21 17 14 21 0 16 22 18 , 15 29 30 31 29 21 20 -> 4 17 14 21 17 14 21 0 16 22 20 , 9 29 30 31 29 21 0 -> 13 17 14 21 17 14 21 0 16 22 0 , 9 29 30 31 29 21 1 -> 13 17 14 21 17 14 21 0 16 22 1 , 9 29 30 31 29 21 16 -> 13 17 14 21 17 14 21 0 16 22 16 , 9 29 30 31 29 21 17 -> 13 17 14 21 17 14 21 0 16 22 17 , 9 29 30 31 29 21 5 -> 13 17 14 21 17 14 21 0 16 22 5 , 9 29 30 31 29 21 18 -> 13 17 14 21 17 14 21 0 16 22 18 , 9 29 30 31 29 21 20 -> 13 17 14 21 17 14 21 0 16 22 20 , 31 29 30 31 29 21 0 -> 25 17 14 21 17 14 21 0 16 22 0 , 31 29 30 31 29 21 1 -> 25 17 14 21 17 14 21 0 16 22 1 , 31 29 30 31 29 21 16 -> 25 17 14 21 17 14 21 0 16 22 16 , 31 29 30 31 29 21 17 -> 25 17 14 21 17 14 21 0 16 22 17 , 31 29 30 31 29 21 5 -> 25 17 14 21 17 14 21 0 16 22 5 , 31 29 30 31 29 21 18 -> 25 17 14 21 17 14 21 0 16 22 18 , 31 29 30 31 29 21 20 -> 25 17 14 21 17 14 21 0 16 22 20 , 46 29 30 31 29 21 0 -> 27 17 14 21 17 14 21 0 16 22 0 , 46 29 30 31 29 21 1 -> 27 17 14 21 17 14 21 0 16 22 1 , 46 29 30 31 29 21 16 -> 27 17 14 21 17 14 21 0 16 22 16 , 46 29 30 31 29 21 17 -> 27 17 14 21 17 14 21 0 16 22 17 , 46 29 30 31 29 21 5 -> 27 17 14 21 17 14 21 0 16 22 5 , 46 29 30 31 29 21 18 -> 27 17 14 21 17 14 21 0 16 22 18 , 46 29 30 31 29 21 20 -> 27 17 14 21 17 14 21 0 16 22 20 , 18 40 25 1 41 39 4 -> 18 40 33 7 15 35 35 22 0 16 22 , 18 40 25 1 41 39 14 -> 18 40 33 7 15 35 35 22 0 16 29 , 18 40 25 1 41 39 15 -> 18 40 33 7 15 35 35 22 0 16 35 , 18 40 25 1 41 39 7 -> 18 40 33 7 15 35 35 22 0 16 3 , 18 40 25 1 41 39 8 -> 18 40 33 7 15 35 35 22 0 16 23 , 18 40 25 1 41 39 10 -> 18 40 33 7 15 35 35 22 0 16 36 , 18 40 25 1 41 39 19 -> 18 40 33 7 15 35 35 22 0 16 37 , 30 40 25 1 41 39 4 -> 30 40 33 7 15 35 35 22 0 16 22 , 30 40 25 1 41 39 14 -> 30 40 33 7 15 35 35 22 0 16 29 , 30 40 25 1 41 39 15 -> 30 40 33 7 15 35 35 22 0 16 35 , 30 40 25 1 41 39 7 -> 30 40 33 7 15 35 35 22 0 16 3 , 30 40 25 1 41 39 8 -> 30 40 33 7 15 35 35 22 0 16 23 , 30 40 25 1 41 39 10 -> 30 40 33 7 15 35 35 22 0 16 36 , 30 40 25 1 41 39 19 -> 30 40 33 7 15 35 35 22 0 16 37 , 36 40 25 1 41 39 4 -> 36 40 33 7 15 35 35 22 0 16 22 , 36 40 25 1 41 39 14 -> 36 40 33 7 15 35 35 22 0 16 29 , 36 40 25 1 41 39 15 -> 36 40 33 7 15 35 35 22 0 16 35 , 36 40 25 1 41 39 7 -> 36 40 33 7 15 35 35 22 0 16 3 , 36 40 25 1 41 39 8 -> 36 40 33 7 15 35 35 22 0 16 23 , 36 40 25 1 41 39 10 -> 36 40 33 7 15 35 35 22 0 16 36 , 36 40 25 1 41 39 19 -> 36 40 33 7 15 35 35 22 0 16 37 , 10 40 25 1 41 39 4 -> 10 40 33 7 15 35 35 22 0 16 22 , 10 40 25 1 41 39 14 -> 10 40 33 7 15 35 35 22 0 16 29 , 10 40 25 1 41 39 15 -> 10 40 33 7 15 35 35 22 0 16 35 , 10 40 25 1 41 39 7 -> 10 40 33 7 15 35 35 22 0 16 3 , 10 40 25 1 41 39 8 -> 10 40 33 7 15 35 35 22 0 16 23 , 10 40 25 1 41 39 10 -> 10 40 33 7 15 35 35 22 0 16 36 , 10 40 25 1 41 39 19 -> 10 40 33 7 15 35 35 22 0 16 37 , 32 40 25 1 41 39 4 -> 32 40 33 7 15 35 35 22 0 16 22 , 32 40 25 1 41 39 14 -> 32 40 33 7 15 35 35 22 0 16 29 , 32 40 25 1 41 39 15 -> 32 40 33 7 15 35 35 22 0 16 35 , 32 40 25 1 41 39 7 -> 32 40 33 7 15 35 35 22 0 16 3 , 32 40 25 1 41 39 8 -> 32 40 33 7 15 35 35 22 0 16 23 , 32 40 25 1 41 39 10 -> 32 40 33 7 15 35 35 22 0 16 36 , 32 40 25 1 41 39 19 -> 32 40 33 7 15 35 35 22 0 16 37 , 40 40 25 1 41 39 4 -> 40 40 33 7 15 35 35 22 0 16 22 , 40 40 25 1 41 39 14 -> 40 40 33 7 15 35 35 22 0 16 29 , 40 40 25 1 41 39 15 -> 40 40 33 7 15 35 35 22 0 16 35 , 40 40 25 1 41 39 7 -> 40 40 33 7 15 35 35 22 0 16 3 , 40 40 25 1 41 39 8 -> 40 40 33 7 15 35 35 22 0 16 23 , 40 40 25 1 41 39 10 -> 40 40 33 7 15 35 35 22 0 16 36 , 40 40 25 1 41 39 19 -> 40 40 33 7 15 35 35 22 0 16 37 , 44 40 25 1 41 39 4 -> 44 40 33 7 15 35 35 22 0 16 22 , 44 40 25 1 41 39 14 -> 44 40 33 7 15 35 35 22 0 16 29 , 44 40 25 1 41 39 15 -> 44 40 33 7 15 35 35 22 0 16 35 , 44 40 25 1 41 39 7 -> 44 40 33 7 15 35 35 22 0 16 3 , 44 40 25 1 41 39 8 -> 44 40 33 7 15 35 35 22 0 16 23 , 44 40 25 1 41 39 10 -> 44 40 33 7 15 35 35 22 0 16 36 , 44 40 25 1 41 39 19 -> 44 40 33 7 15 35 35 22 0 16 37 , 18 11 2 29 41 39 4 -> 18 25 0 16 3 4 18 26 24 34 21 , 18 11 2 29 41 39 14 -> 18 25 0 16 3 4 18 26 24 34 41 , 18 11 2 29 41 39 15 -> 18 25 0 16 3 4 18 26 24 34 2 , 18 11 2 29 41 39 7 -> 18 25 0 16 3 4 18 26 24 34 39 , 18 11 2 29 41 39 8 -> 18 25 0 16 3 4 18 26 24 34 12 , 18 11 2 29 41 39 10 -> 18 25 0 16 3 4 18 26 24 34 30 , 18 11 2 29 41 39 19 -> 18 25 0 16 3 4 18 26 24 34 43 , 30 11 2 29 41 39 4 -> 30 25 0 16 3 4 18 26 24 34 21 , 30 11 2 29 41 39 14 -> 30 25 0 16 3 4 18 26 24 34 41 , 30 11 2 29 41 39 15 -> 30 25 0 16 3 4 18 26 24 34 2 , 30 11 2 29 41 39 7 -> 30 25 0 16 3 4 18 26 24 34 39 , 30 11 2 29 41 39 8 -> 30 25 0 16 3 4 18 26 24 34 12 , 30 11 2 29 41 39 10 -> 30 25 0 16 3 4 18 26 24 34 30 , 30 11 2 29 41 39 19 -> 30 25 0 16 3 4 18 26 24 34 43 , 36 11 2 29 41 39 4 -> 36 25 0 16 3 4 18 26 24 34 21 , 36 11 2 29 41 39 14 -> 36 25 0 16 3 4 18 26 24 34 41 , 36 11 2 29 41 39 15 -> 36 25 0 16 3 4 18 26 24 34 2 , 36 11 2 29 41 39 7 -> 36 25 0 16 3 4 18 26 24 34 39 , 36 11 2 29 41 39 8 -> 36 25 0 16 3 4 18 26 24 34 12 , 36 11 2 29 41 39 10 -> 36 25 0 16 3 4 18 26 24 34 30 , 36 11 2 29 41 39 19 -> 36 25 0 16 3 4 18 26 24 34 43 , 10 11 2 29 41 39 4 -> 10 25 0 16 3 4 18 26 24 34 21 , 10 11 2 29 41 39 14 -> 10 25 0 16 3 4 18 26 24 34 41 , 10 11 2 29 41 39 15 -> 10 25 0 16 3 4 18 26 24 34 2 , 10 11 2 29 41 39 7 -> 10 25 0 16 3 4 18 26 24 34 39 , 10 11 2 29 41 39 8 -> 10 25 0 16 3 4 18 26 24 34 12 , 10 11 2 29 41 39 10 -> 10 25 0 16 3 4 18 26 24 34 30 , 10 11 2 29 41 39 19 -> 10 25 0 16 3 4 18 26 24 34 43 , 32 11 2 29 41 39 4 -> 32 25 0 16 3 4 18 26 24 34 21 , 32 11 2 29 41 39 14 -> 32 25 0 16 3 4 18 26 24 34 41 , 32 11 2 29 41 39 15 -> 32 25 0 16 3 4 18 26 24 34 2 , 32 11 2 29 41 39 7 -> 32 25 0 16 3 4 18 26 24 34 39 , 32 11 2 29 41 39 8 -> 32 25 0 16 3 4 18 26 24 34 12 , 32 11 2 29 41 39 10 -> 32 25 0 16 3 4 18 26 24 34 30 , 32 11 2 29 41 39 19 -> 32 25 0 16 3 4 18 26 24 34 43 , 40 11 2 29 41 39 4 -> 40 25 0 16 3 4 18 26 24 34 21 , 40 11 2 29 41 39 14 -> 40 25 0 16 3 4 18 26 24 34 41 , 40 11 2 29 41 39 15 -> 40 25 0 16 3 4 18 26 24 34 2 , 40 11 2 29 41 39 7 -> 40 25 0 16 3 4 18 26 24 34 39 , 40 11 2 29 41 39 8 -> 40 25 0 16 3 4 18 26 24 34 12 , 40 11 2 29 41 39 10 -> 40 25 0 16 3 4 18 26 24 34 30 , 40 11 2 29 41 39 19 -> 40 25 0 16 3 4 18 26 24 34 43 , 44 11 2 29 41 39 4 -> 44 25 0 16 3 4 18 26 24 34 21 , 44 11 2 29 41 39 14 -> 44 25 0 16 3 4 18 26 24 34 41 , 44 11 2 29 41 39 15 -> 44 25 0 16 3 4 18 26 24 34 2 , 44 11 2 29 41 39 7 -> 44 25 0 16 3 4 18 26 24 34 39 , 44 11 2 29 41 39 8 -> 44 25 0 16 3 4 18 26 24 34 12 , 44 11 2 29 41 39 10 -> 44 25 0 16 3 4 18 26 24 34 30 , 44 11 2 29 41 39 19 -> 44 25 0 16 3 4 18 26 24 34 43 , 1 30 11 12 24 13 0 -> 1 30 33 15 35 35 35 22 1 41 21 , 1 30 11 12 24 13 1 -> 1 30 33 15 35 35 35 22 1 41 41 , 1 30 11 12 24 13 16 -> 1 30 33 15 35 35 35 22 1 41 2 , 1 30 11 12 24 13 17 -> 1 30 33 15 35 35 35 22 1 41 39 , 1 30 11 12 24 13 5 -> 1 30 33 15 35 35 35 22 1 41 12 , 1 30 11 12 24 13 18 -> 1 30 33 15 35 35 35 22 1 41 30 , 1 30 11 12 24 13 20 -> 1 30 33 15 35 35 35 22 1 41 43 , 41 30 11 12 24 13 0 -> 41 30 33 15 35 35 35 22 1 41 21 , 41 30 11 12 24 13 1 -> 41 30 33 15 35 35 35 22 1 41 41 , 41 30 11 12 24 13 16 -> 41 30 33 15 35 35 35 22 1 41 2 , 41 30 11 12 24 13 17 -> 41 30 33 15 35 35 35 22 1 41 39 , 41 30 11 12 24 13 5 -> 41 30 33 15 35 35 35 22 1 41 12 , 41 30 11 12 24 13 18 -> 41 30 33 15 35 35 35 22 1 41 30 , 41 30 11 12 24 13 20 -> 41 30 33 15 35 35 35 22 1 41 43 , 29 30 11 12 24 13 0 -> 29 30 33 15 35 35 35 22 1 41 21 , 29 30 11 12 24 13 1 -> 29 30 33 15 35 35 35 22 1 41 41 , 29 30 11 12 24 13 16 -> 29 30 33 15 35 35 35 22 1 41 2 , 29 30 11 12 24 13 17 -> 29 30 33 15 35 35 35 22 1 41 39 , 29 30 11 12 24 13 5 -> 29 30 33 15 35 35 35 22 1 41 12 , 29 30 11 12 24 13 18 -> 29 30 33 15 35 35 35 22 1 41 30 , 29 30 11 12 24 13 20 -> 29 30 33 15 35 35 35 22 1 41 43 , 14 30 11 12 24 13 0 -> 14 30 33 15 35 35 35 22 1 41 21 , 14 30 11 12 24 13 1 -> 14 30 33 15 35 35 35 22 1 41 41 , 14 30 11 12 24 13 16 -> 14 30 33 15 35 35 35 22 1 41 2 , 14 30 11 12 24 13 17 -> 14 30 33 15 35 35 35 22 1 41 39 , 14 30 11 12 24 13 5 -> 14 30 33 15 35 35 35 22 1 41 12 , 14 30 11 12 24 13 18 -> 14 30 33 15 35 35 35 22 1 41 30 , 14 30 11 12 24 13 20 -> 14 30 33 15 35 35 35 22 1 41 43 , 34 30 11 12 24 13 0 -> 34 30 33 15 35 35 35 22 1 41 21 , 34 30 11 12 24 13 1 -> 34 30 33 15 35 35 35 22 1 41 41 , 34 30 11 12 24 13 16 -> 34 30 33 15 35 35 35 22 1 41 2 , 34 30 11 12 24 13 17 -> 34 30 33 15 35 35 35 22 1 41 39 , 34 30 11 12 24 13 5 -> 34 30 33 15 35 35 35 22 1 41 12 , 34 30 11 12 24 13 18 -> 34 30 33 15 35 35 35 22 1 41 30 , 34 30 11 12 24 13 20 -> 34 30 33 15 35 35 35 22 1 41 43 , 11 30 11 12 24 13 0 -> 11 30 33 15 35 35 35 22 1 41 21 , 11 30 11 12 24 13 1 -> 11 30 33 15 35 35 35 22 1 41 41 , 11 30 11 12 24 13 16 -> 11 30 33 15 35 35 35 22 1 41 2 , 11 30 11 12 24 13 17 -> 11 30 33 15 35 35 35 22 1 41 39 , 11 30 11 12 24 13 5 -> 11 30 33 15 35 35 35 22 1 41 12 , 11 30 11 12 24 13 18 -> 11 30 33 15 35 35 35 22 1 41 30 , 11 30 11 12 24 13 20 -> 11 30 33 15 35 35 35 22 1 41 43 , 42 30 11 12 24 13 0 -> 42 30 33 15 35 35 35 22 1 41 21 , 42 30 11 12 24 13 1 -> 42 30 33 15 35 35 35 22 1 41 41 , 42 30 11 12 24 13 16 -> 42 30 33 15 35 35 35 22 1 41 2 , 42 30 11 12 24 13 17 -> 42 30 33 15 35 35 35 22 1 41 39 , 42 30 11 12 24 13 5 -> 42 30 33 15 35 35 35 22 1 41 12 , 42 30 11 12 24 13 18 -> 42 30 33 15 35 35 35 22 1 41 30 , 42 30 11 12 24 13 20 -> 42 30 33 15 35 35 35 22 1 41 43 , 1 41 41 41 41 2 22 -> 1 41 39 8 32 33 7 14 39 8 13 , 1 41 41 41 41 2 29 -> 1 41 39 8 32 33 7 14 39 8 34 , 1 41 41 41 41 2 35 -> 1 41 39 8 32 33 7 14 39 8 9 , 1 41 41 41 41 2 3 -> 1 41 39 8 32 33 7 14 39 8 6 , 1 41 41 41 41 2 23 -> 1 41 39 8 32 33 7 14 39 8 24 , 1 41 41 41 41 2 36 -> 1 41 39 8 32 33 7 14 39 8 32 , 1 41 41 41 41 2 37 -> 1 41 39 8 32 33 7 14 39 8 38 , 41 41 41 41 41 2 22 -> 41 41 39 8 32 33 7 14 39 8 13 , 41 41 41 41 41 2 29 -> 41 41 39 8 32 33 7 14 39 8 34 , 41 41 41 41 41 2 35 -> 41 41 39 8 32 33 7 14 39 8 9 , 41 41 41 41 41 2 3 -> 41 41 39 8 32 33 7 14 39 8 6 , 41 41 41 41 41 2 23 -> 41 41 39 8 32 33 7 14 39 8 24 , 41 41 41 41 41 2 36 -> 41 41 39 8 32 33 7 14 39 8 32 , 41 41 41 41 41 2 37 -> 41 41 39 8 32 33 7 14 39 8 38 , 29 41 41 41 41 2 22 -> 29 41 39 8 32 33 7 14 39 8 13 , 29 41 41 41 41 2 29 -> 29 41 39 8 32 33 7 14 39 8 34 , 29 41 41 41 41 2 35 -> 29 41 39 8 32 33 7 14 39 8 9 , 29 41 41 41 41 2 3 -> 29 41 39 8 32 33 7 14 39 8 6 , 29 41 41 41 41 2 23 -> 29 41 39 8 32 33 7 14 39 8 24 , 29 41 41 41 41 2 36 -> 29 41 39 8 32 33 7 14 39 8 32 , 29 41 41 41 41 2 37 -> 29 41 39 8 32 33 7 14 39 8 38 , 14 41 41 41 41 2 22 -> 14 41 39 8 32 33 7 14 39 8 13 , 14 41 41 41 41 2 29 -> 14 41 39 8 32 33 7 14 39 8 34 , 14 41 41 41 41 2 35 -> 14 41 39 8 32 33 7 14 39 8 9 , 14 41 41 41 41 2 3 -> 14 41 39 8 32 33 7 14 39 8 6 , 14 41 41 41 41 2 23 -> 14 41 39 8 32 33 7 14 39 8 24 , 14 41 41 41 41 2 36 -> 14 41 39 8 32 33 7 14 39 8 32 , 14 41 41 41 41 2 37 -> 14 41 39 8 32 33 7 14 39 8 38 , 34 41 41 41 41 2 22 -> 34 41 39 8 32 33 7 14 39 8 13 , 34 41 41 41 41 2 29 -> 34 41 39 8 32 33 7 14 39 8 34 , 34 41 41 41 41 2 35 -> 34 41 39 8 32 33 7 14 39 8 9 , 34 41 41 41 41 2 3 -> 34 41 39 8 32 33 7 14 39 8 6 , 34 41 41 41 41 2 23 -> 34 41 39 8 32 33 7 14 39 8 24 , 34 41 41 41 41 2 36 -> 34 41 39 8 32 33 7 14 39 8 32 , 34 41 41 41 41 2 37 -> 34 41 39 8 32 33 7 14 39 8 38 , 11 41 41 41 41 2 22 -> 11 41 39 8 32 33 7 14 39 8 13 , 11 41 41 41 41 2 29 -> 11 41 39 8 32 33 7 14 39 8 34 , 11 41 41 41 41 2 35 -> 11 41 39 8 32 33 7 14 39 8 9 , 11 41 41 41 41 2 3 -> 11 41 39 8 32 33 7 14 39 8 6 , 11 41 41 41 41 2 23 -> 11 41 39 8 32 33 7 14 39 8 24 , 11 41 41 41 41 2 36 -> 11 41 39 8 32 33 7 14 39 8 32 , 11 41 41 41 41 2 37 -> 11 41 39 8 32 33 7 14 39 8 38 , 42 41 41 41 41 2 22 -> 42 41 39 8 32 33 7 14 39 8 13 , 42 41 41 41 41 2 29 -> 42 41 39 8 32 33 7 14 39 8 34 , 42 41 41 41 41 2 35 -> 42 41 39 8 32 33 7 14 39 8 9 , 42 41 41 41 41 2 3 -> 42 41 39 8 32 33 7 14 39 8 6 , 42 41 41 41 41 2 23 -> 42 41 39 8 32 33 7 14 39 8 24 , 42 41 41 41 41 2 36 -> 42 41 39 8 32 33 7 14 39 8 32 , 42 41 41 41 41 2 37 -> 42 41 39 8 32 33 7 14 39 8 38 , 16 29 39 7 14 30 31 22 -> 17 8 13 5 24 34 41 21 5 6 4 , 16 29 39 7 14 30 31 29 -> 17 8 13 5 24 34 41 21 5 6 14 , 16 29 39 7 14 30 31 35 -> 17 8 13 5 24 34 41 21 5 6 15 , 16 29 39 7 14 30 31 3 -> 17 8 13 5 24 34 41 21 5 6 7 , 16 29 39 7 14 30 31 23 -> 17 8 13 5 24 34 41 21 5 6 8 , 16 29 39 7 14 30 31 36 -> 17 8 13 5 24 34 41 21 5 6 10 , 16 29 39 7 14 30 31 37 -> 17 8 13 5 24 34 41 21 5 6 19 , 2 29 39 7 14 30 31 22 -> 39 8 13 5 24 34 41 21 5 6 4 , 2 29 39 7 14 30 31 29 -> 39 8 13 5 24 34 41 21 5 6 14 , 2 29 39 7 14 30 31 35 -> 39 8 13 5 24 34 41 21 5 6 15 , 2 29 39 7 14 30 31 3 -> 39 8 13 5 24 34 41 21 5 6 7 , 2 29 39 7 14 30 31 23 -> 39 8 13 5 24 34 41 21 5 6 8 , 2 29 39 7 14 30 31 36 -> 39 8 13 5 24 34 41 21 5 6 10 , 2 29 39 7 14 30 31 37 -> 39 8 13 5 24 34 41 21 5 6 19 , 35 29 39 7 14 30 31 22 -> 3 8 13 5 24 34 41 21 5 6 4 , 35 29 39 7 14 30 31 29 -> 3 8 13 5 24 34 41 21 5 6 14 , 35 29 39 7 14 30 31 35 -> 3 8 13 5 24 34 41 21 5 6 15 , 35 29 39 7 14 30 31 3 -> 3 8 13 5 24 34 41 21 5 6 7 , 35 29 39 7 14 30 31 23 -> 3 8 13 5 24 34 41 21 5 6 8 , 35 29 39 7 14 30 31 36 -> 3 8 13 5 24 34 41 21 5 6 10 , 35 29 39 7 14 30 31 37 -> 3 8 13 5 24 34 41 21 5 6 19 , 15 29 39 7 14 30 31 22 -> 7 8 13 5 24 34 41 21 5 6 4 , 15 29 39 7 14 30 31 29 -> 7 8 13 5 24 34 41 21 5 6 14 , 15 29 39 7 14 30 31 35 -> 7 8 13 5 24 34 41 21 5 6 15 , 15 29 39 7 14 30 31 3 -> 7 8 13 5 24 34 41 21 5 6 7 , 15 29 39 7 14 30 31 23 -> 7 8 13 5 24 34 41 21 5 6 8 , 15 29 39 7 14 30 31 36 -> 7 8 13 5 24 34 41 21 5 6 10 , 15 29 39 7 14 30 31 37 -> 7 8 13 5 24 34 41 21 5 6 19 , 9 29 39 7 14 30 31 22 -> 6 8 13 5 24 34 41 21 5 6 4 , 9 29 39 7 14 30 31 29 -> 6 8 13 5 24 34 41 21 5 6 14 , 9 29 39 7 14 30 31 35 -> 6 8 13 5 24 34 41 21 5 6 15 , 9 29 39 7 14 30 31 3 -> 6 8 13 5 24 34 41 21 5 6 7 , 9 29 39 7 14 30 31 23 -> 6 8 13 5 24 34 41 21 5 6 8 , 9 29 39 7 14 30 31 36 -> 6 8 13 5 24 34 41 21 5 6 10 , 9 29 39 7 14 30 31 37 -> 6 8 13 5 24 34 41 21 5 6 19 , 31 29 39 7 14 30 31 22 -> 33 8 13 5 24 34 41 21 5 6 4 , 31 29 39 7 14 30 31 29 -> 33 8 13 5 24 34 41 21 5 6 14 , 31 29 39 7 14 30 31 35 -> 33 8 13 5 24 34 41 21 5 6 15 , 31 29 39 7 14 30 31 3 -> 33 8 13 5 24 34 41 21 5 6 7 , 31 29 39 7 14 30 31 23 -> 33 8 13 5 24 34 41 21 5 6 8 , 31 29 39 7 14 30 31 36 -> 33 8 13 5 24 34 41 21 5 6 10 , 31 29 39 7 14 30 31 37 -> 33 8 13 5 24 34 41 21 5 6 19 , 46 29 39 7 14 30 31 22 -> 47 8 13 5 24 34 41 21 5 6 4 , 46 29 39 7 14 30 31 29 -> 47 8 13 5 24 34 41 21 5 6 14 , 46 29 39 7 14 30 31 35 -> 47 8 13 5 24 34 41 21 5 6 15 , 46 29 39 7 14 30 31 3 -> 47 8 13 5 24 34 41 21 5 6 7 , 46 29 39 7 14 30 31 23 -> 47 8 13 5 24 34 41 21 5 6 8 , 46 29 39 7 14 30 31 36 -> 47 8 13 5 24 34 41 21 5 6 10 , 46 29 39 7 14 30 31 37 -> 47 8 13 5 24 34 41 21 5 6 19 , 16 29 30 25 1 21 16 22 -> 18 33 10 33 7 4 0 16 36 40 25 , 16 29 30 25 1 21 16 29 -> 18 33 10 33 7 4 0 16 36 40 11 , 16 29 30 25 1 21 16 35 -> 18 33 10 33 7 4 0 16 36 40 31 , 16 29 30 25 1 21 16 3 -> 18 33 10 33 7 4 0 16 36 40 33 , 16 29 30 25 1 21 16 23 -> 18 33 10 33 7 4 0 16 36 40 26 , 16 29 30 25 1 21 16 36 -> 18 33 10 33 7 4 0 16 36 40 40 , 16 29 30 25 1 21 16 37 -> 18 33 10 33 7 4 0 16 36 40 45 , 2 29 30 25 1 21 16 22 -> 30 33 10 33 7 4 0 16 36 40 25 , 2 29 30 25 1 21 16 29 -> 30 33 10 33 7 4 0 16 36 40 11 , 2 29 30 25 1 21 16 35 -> 30 33 10 33 7 4 0 16 36 40 31 , 2 29 30 25 1 21 16 3 -> 30 33 10 33 7 4 0 16 36 40 33 , 2 29 30 25 1 21 16 23 -> 30 33 10 33 7 4 0 16 36 40 26 , 2 29 30 25 1 21 16 36 -> 30 33 10 33 7 4 0 16 36 40 40 , 2 29 30 25 1 21 16 37 -> 30 33 10 33 7 4 0 16 36 40 45 , 35 29 30 25 1 21 16 22 -> 36 33 10 33 7 4 0 16 36 40 25 , 35 29 30 25 1 21 16 29 -> 36 33 10 33 7 4 0 16 36 40 11 , 35 29 30 25 1 21 16 35 -> 36 33 10 33 7 4 0 16 36 40 31 , 35 29 30 25 1 21 16 3 -> 36 33 10 33 7 4 0 16 36 40 33 , 35 29 30 25 1 21 16 23 -> 36 33 10 33 7 4 0 16 36 40 26 , 35 29 30 25 1 21 16 36 -> 36 33 10 33 7 4 0 16 36 40 40 , 35 29 30 25 1 21 16 37 -> 36 33 10 33 7 4 0 16 36 40 45 , 15 29 30 25 1 21 16 22 -> 10 33 10 33 7 4 0 16 36 40 25 , 15 29 30 25 1 21 16 29 -> 10 33 10 33 7 4 0 16 36 40 11 , 15 29 30 25 1 21 16 35 -> 10 33 10 33 7 4 0 16 36 40 31 , 15 29 30 25 1 21 16 3 -> 10 33 10 33 7 4 0 16 36 40 33 , 15 29 30 25 1 21 16 23 -> 10 33 10 33 7 4 0 16 36 40 26 , 15 29 30 25 1 21 16 36 -> 10 33 10 33 7 4 0 16 36 40 40 , 15 29 30 25 1 21 16 37 -> 10 33 10 33 7 4 0 16 36 40 45 , 9 29 30 25 1 21 16 22 -> 32 33 10 33 7 4 0 16 36 40 25 , 9 29 30 25 1 21 16 29 -> 32 33 10 33 7 4 0 16 36 40 11 , 9 29 30 25 1 21 16 35 -> 32 33 10 33 7 4 0 16 36 40 31 , 9 29 30 25 1 21 16 3 -> 32 33 10 33 7 4 0 16 36 40 33 , 9 29 30 25 1 21 16 23 -> 32 33 10 33 7 4 0 16 36 40 26 , 9 29 30 25 1 21 16 36 -> 32 33 10 33 7 4 0 16 36 40 40 , 9 29 30 25 1 21 16 37 -> 32 33 10 33 7 4 0 16 36 40 45 , 31 29 30 25 1 21 16 22 -> 40 33 10 33 7 4 0 16 36 40 25 , 31 29 30 25 1 21 16 29 -> 40 33 10 33 7 4 0 16 36 40 11 , 31 29 30 25 1 21 16 35 -> 40 33 10 33 7 4 0 16 36 40 31 , 31 29 30 25 1 21 16 3 -> 40 33 10 33 7 4 0 16 36 40 33 , 31 29 30 25 1 21 16 23 -> 40 33 10 33 7 4 0 16 36 40 26 , 31 29 30 25 1 21 16 36 -> 40 33 10 33 7 4 0 16 36 40 40 , 31 29 30 25 1 21 16 37 -> 40 33 10 33 7 4 0 16 36 40 45 , 46 29 30 25 1 21 16 22 -> 44 33 10 33 7 4 0 16 36 40 25 , 46 29 30 25 1 21 16 29 -> 44 33 10 33 7 4 0 16 36 40 11 , 46 29 30 25 1 21 16 35 -> 44 33 10 33 7 4 0 16 36 40 31 , 46 29 30 25 1 21 16 3 -> 44 33 10 33 7 4 0 16 36 40 33 , 46 29 30 25 1 21 16 23 -> 44 33 10 33 7 4 0 16 36 40 26 , 46 29 30 25 1 21 16 36 -> 44 33 10 33 7 4 0 16 36 40 40 , 46 29 30 25 1 21 16 37 -> 44 33 10 33 7 4 0 16 36 40 45 , 16 29 30 11 12 32 33 4 -> 5 24 24 6 7 15 35 23 13 1 21 , 16 29 30 11 12 32 33 14 -> 5 24 24 6 7 15 35 23 13 1 41 , 16 29 30 11 12 32 33 15 -> 5 24 24 6 7 15 35 23 13 1 2 , 16 29 30 11 12 32 33 7 -> 5 24 24 6 7 15 35 23 13 1 39 , 16 29 30 11 12 32 33 8 -> 5 24 24 6 7 15 35 23 13 1 12 , 16 29 30 11 12 32 33 10 -> 5 24 24 6 7 15 35 23 13 1 30 , 16 29 30 11 12 32 33 19 -> 5 24 24 6 7 15 35 23 13 1 43 , 2 29 30 11 12 32 33 4 -> 12 24 24 6 7 15 35 23 13 1 21 , 2 29 30 11 12 32 33 14 -> 12 24 24 6 7 15 35 23 13 1 41 , 2 29 30 11 12 32 33 15 -> 12 24 24 6 7 15 35 23 13 1 2 , 2 29 30 11 12 32 33 7 -> 12 24 24 6 7 15 35 23 13 1 39 , 2 29 30 11 12 32 33 8 -> 12 24 24 6 7 15 35 23 13 1 12 , 2 29 30 11 12 32 33 10 -> 12 24 24 6 7 15 35 23 13 1 30 , 2 29 30 11 12 32 33 19 -> 12 24 24 6 7 15 35 23 13 1 43 , 35 29 30 11 12 32 33 4 -> 23 24 24 6 7 15 35 23 13 1 21 , 35 29 30 11 12 32 33 14 -> 23 24 24 6 7 15 35 23 13 1 41 , 35 29 30 11 12 32 33 15 -> 23 24 24 6 7 15 35 23 13 1 2 , 35 29 30 11 12 32 33 7 -> 23 24 24 6 7 15 35 23 13 1 39 , 35 29 30 11 12 32 33 8 -> 23 24 24 6 7 15 35 23 13 1 12 , 35 29 30 11 12 32 33 10 -> 23 24 24 6 7 15 35 23 13 1 30 , 35 29 30 11 12 32 33 19 -> 23 24 24 6 7 15 35 23 13 1 43 , 15 29 30 11 12 32 33 4 -> 8 24 24 6 7 15 35 23 13 1 21 , 15 29 30 11 12 32 33 14 -> 8 24 24 6 7 15 35 23 13 1 41 , 15 29 30 11 12 32 33 15 -> 8 24 24 6 7 15 35 23 13 1 2 , 15 29 30 11 12 32 33 7 -> 8 24 24 6 7 15 35 23 13 1 39 , 15 29 30 11 12 32 33 8 -> 8 24 24 6 7 15 35 23 13 1 12 , 15 29 30 11 12 32 33 10 -> 8 24 24 6 7 15 35 23 13 1 30 , 15 29 30 11 12 32 33 19 -> 8 24 24 6 7 15 35 23 13 1 43 , 9 29 30 11 12 32 33 4 -> 24 24 24 6 7 15 35 23 13 1 21 , 9 29 30 11 12 32 33 14 -> 24 24 24 6 7 15 35 23 13 1 41 , 9 29 30 11 12 32 33 15 -> 24 24 24 6 7 15 35 23 13 1 2 , 9 29 30 11 12 32 33 7 -> 24 24 24 6 7 15 35 23 13 1 39 , 9 29 30 11 12 32 33 8 -> 24 24 24 6 7 15 35 23 13 1 12 , 9 29 30 11 12 32 33 10 -> 24 24 24 6 7 15 35 23 13 1 30 , 9 29 30 11 12 32 33 19 -> 24 24 24 6 7 15 35 23 13 1 43 , 31 29 30 11 12 32 33 4 -> 26 24 24 6 7 15 35 23 13 1 21 , 31 29 30 11 12 32 33 14 -> 26 24 24 6 7 15 35 23 13 1 41 , 31 29 30 11 12 32 33 15 -> 26 24 24 6 7 15 35 23 13 1 2 , 31 29 30 11 12 32 33 7 -> 26 24 24 6 7 15 35 23 13 1 39 , 31 29 30 11 12 32 33 8 -> 26 24 24 6 7 15 35 23 13 1 12 , 31 29 30 11 12 32 33 10 -> 26 24 24 6 7 15 35 23 13 1 30 , 31 29 30 11 12 32 33 19 -> 26 24 24 6 7 15 35 23 13 1 43 , 46 29 30 11 12 32 33 4 -> 28 24 24 6 7 15 35 23 13 1 21 , 46 29 30 11 12 32 33 14 -> 28 24 24 6 7 15 35 23 13 1 41 , 46 29 30 11 12 32 33 15 -> 28 24 24 6 7 15 35 23 13 1 2 , 46 29 30 11 12 32 33 7 -> 28 24 24 6 7 15 35 23 13 1 39 , 46 29 30 11 12 32 33 8 -> 28 24 24 6 7 15 35 23 13 1 12 , 46 29 30 11 12 32 33 10 -> 28 24 24 6 7 15 35 23 13 1 30 , 46 29 30 11 12 32 33 19 -> 28 24 24 6 7 15 35 23 13 1 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 0 | | 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 0 | | 0 1 | \ / 11 is interpreted by / \ | 1 0 | | 0 1 | \ / 12 is interpreted by / \ | 1 0 | | 0 1 | \ / 13 is interpreted by / \ | 1 0 | | 0 1 | \ / 14 is interpreted by / \ | 1 0 | | 0 1 | \ / 15 is interpreted by / \ | 1 0 | | 0 1 | \ / 16 is interpreted by / \ | 1 0 | | 0 1 | \ / 17 is interpreted by / \ | 1 0 | | 0 1 | \ / 18 is interpreted by / \ | 1 0 | | 0 1 | \ / 19 is interpreted by / \ | 1 0 | | 0 1 | \ / 20 is interpreted by / \ | 1 0 | | 0 1 | \ / 21 is interpreted by / \ | 1 0 | | 0 1 | \ / 22 is interpreted by / \ | 1 0 | | 0 1 | \ / 23 is interpreted by / \ | 1 0 | | 0 1 | \ / 24 is interpreted by / \ | 1 0 | | 0 1 | \ / 25 is interpreted by / \ | 1 0 | | 0 1 | \ / 26 is interpreted by / \ | 1 0 | | 0 1 | \ / 27 is interpreted by / \ | 1 0 | | 0 1 | \ / 28 is interpreted by / \ | 1 0 | | 0 1 | \ / 29 is interpreted by / \ | 1 0 | | 0 1 | \ / 30 is interpreted by / \ | 1 0 | | 0 1 | \ / 31 is interpreted by / \ | 1 0 | | 0 1 | \ / 32 is interpreted by / \ | 1 0 | | 0 1 | \ / 33 is interpreted by / \ | 1 0 | | 0 1 | \ / 34 is interpreted by / \ | 1 0 | | 0 1 | \ / 35 is interpreted by / \ | 1 0 | | 0 1 | \ / 36 is interpreted by / \ | 1 0 | | 0 1 | \ / 37 is interpreted by / \ | 1 0 | | 0 1 | \ / 38 is interpreted by / \ | 1 0 | | 0 1 | \ / 39 is interpreted by / \ | 1 0 | | 0 1 | \ / 40 is interpreted by / \ | 1 0 | | 0 1 | \ / 41 is interpreted by / \ | 1 0 | | 0 1 | \ / 42 is interpreted by / \ | 1 1 | | 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 1 | | 0 1 | \ / 47 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, 15->15, 16->16, 17->17, 18->18, 19->19, 20->20, 21->21, 22->22, 23->23, 24->24, 25->25, 26->26, 27->27, 28->28, 29->29, 30->30, 31->31, 32->32, 33->33, 34->34, 35->35, 36->36, 37->37, 38->38, 39->39, 40->40, 41->41, 42->42, 43->43, 45->44, 46->45, 44->46 }, it remains to prove termination of the 651-rule system { 0 1 2 3 4 -> 5 6 7 8 9 3 10 11 12 13 0 , 0 1 2 3 14 -> 5 6 7 8 9 3 10 11 12 13 1 , 0 1 2 3 15 -> 5 6 7 8 9 3 10 11 12 13 16 , 0 1 2 3 7 -> 5 6 7 8 9 3 10 11 12 13 17 , 0 1 2 3 8 -> 5 6 7 8 9 3 10 11 12 13 5 , 0 1 2 3 10 -> 5 6 7 8 9 3 10 11 12 13 18 , 0 1 2 3 19 -> 5 6 7 8 9 3 10 11 12 13 20 , 21 1 2 3 4 -> 12 6 7 8 9 3 10 11 12 13 0 , 21 1 2 3 14 -> 12 6 7 8 9 3 10 11 12 13 1 , 21 1 2 3 15 -> 12 6 7 8 9 3 10 11 12 13 16 , 21 1 2 3 7 -> 12 6 7 8 9 3 10 11 12 13 17 , 21 1 2 3 8 -> 12 6 7 8 9 3 10 11 12 13 5 , 21 1 2 3 10 -> 12 6 7 8 9 3 10 11 12 13 18 , 21 1 2 3 19 -> 12 6 7 8 9 3 10 11 12 13 20 , 22 1 2 3 4 -> 23 6 7 8 9 3 10 11 12 13 0 , 22 1 2 3 14 -> 23 6 7 8 9 3 10 11 12 13 1 , 22 1 2 3 15 -> 23 6 7 8 9 3 10 11 12 13 16 , 22 1 2 3 7 -> 23 6 7 8 9 3 10 11 12 13 17 , 22 1 2 3 8 -> 23 6 7 8 9 3 10 11 12 13 5 , 22 1 2 3 10 -> 23 6 7 8 9 3 10 11 12 13 18 , 22 1 2 3 19 -> 23 6 7 8 9 3 10 11 12 13 20 , 4 1 2 3 4 -> 8 6 7 8 9 3 10 11 12 13 0 , 4 1 2 3 14 -> 8 6 7 8 9 3 10 11 12 13 1 , 4 1 2 3 15 -> 8 6 7 8 9 3 10 11 12 13 16 , 4 1 2 3 7 -> 8 6 7 8 9 3 10 11 12 13 17 , 4 1 2 3 8 -> 8 6 7 8 9 3 10 11 12 13 5 , 4 1 2 3 10 -> 8 6 7 8 9 3 10 11 12 13 18 , 4 1 2 3 19 -> 8 6 7 8 9 3 10 11 12 13 20 , 13 1 2 3 4 -> 24 6 7 8 9 3 10 11 12 13 0 , 13 1 2 3 14 -> 24 6 7 8 9 3 10 11 12 13 1 , 13 1 2 3 15 -> 24 6 7 8 9 3 10 11 12 13 16 , 13 1 2 3 7 -> 24 6 7 8 9 3 10 11 12 13 17 , 13 1 2 3 8 -> 24 6 7 8 9 3 10 11 12 13 5 , 13 1 2 3 10 -> 24 6 7 8 9 3 10 11 12 13 18 , 13 1 2 3 19 -> 24 6 7 8 9 3 10 11 12 13 20 , 25 1 2 3 4 -> 26 6 7 8 9 3 10 11 12 13 0 , 25 1 2 3 14 -> 26 6 7 8 9 3 10 11 12 13 1 , 25 1 2 3 15 -> 26 6 7 8 9 3 10 11 12 13 16 , 25 1 2 3 7 -> 26 6 7 8 9 3 10 11 12 13 17 , 25 1 2 3 8 -> 26 6 7 8 9 3 10 11 12 13 5 , 25 1 2 3 10 -> 26 6 7 8 9 3 10 11 12 13 18 , 25 1 2 3 19 -> 26 6 7 8 9 3 10 11 12 13 20 , 27 1 2 3 4 -> 28 6 7 8 9 3 10 11 12 13 0 , 27 1 2 3 14 -> 28 6 7 8 9 3 10 11 12 13 1 , 27 1 2 3 15 -> 28 6 7 8 9 3 10 11 12 13 16 , 27 1 2 3 7 -> 28 6 7 8 9 3 10 11 12 13 17 , 27 1 2 3 8 -> 28 6 7 8 9 3 10 11 12 13 5 , 27 1 2 3 10 -> 28 6 7 8 9 3 10 11 12 13 18 , 27 1 2 3 19 -> 28 6 7 8 9 3 10 11 12 13 20 , 5 9 29 30 31 22 -> 0 5 32 26 32 33 15 3 8 24 13 , 5 9 29 30 31 29 -> 0 5 32 26 32 33 15 3 8 24 34 , 5 9 29 30 31 35 -> 0 5 32 26 32 33 15 3 8 24 9 , 5 9 29 30 31 3 -> 0 5 32 26 32 33 15 3 8 24 6 , 5 9 29 30 31 23 -> 0 5 32 26 32 33 15 3 8 24 24 , 5 9 29 30 31 36 -> 0 5 32 26 32 33 15 3 8 24 32 , 5 9 29 30 31 37 -> 0 5 32 26 32 33 15 3 8 24 38 , 12 9 29 30 31 22 -> 21 5 32 26 32 33 15 3 8 24 13 , 12 9 29 30 31 29 -> 21 5 32 26 32 33 15 3 8 24 34 , 12 9 29 30 31 35 -> 21 5 32 26 32 33 15 3 8 24 9 , 12 9 29 30 31 3 -> 21 5 32 26 32 33 15 3 8 24 6 , 12 9 29 30 31 23 -> 21 5 32 26 32 33 15 3 8 24 24 , 12 9 29 30 31 36 -> 21 5 32 26 32 33 15 3 8 24 32 , 12 9 29 30 31 37 -> 21 5 32 26 32 33 15 3 8 24 38 , 23 9 29 30 31 22 -> 22 5 32 26 32 33 15 3 8 24 13 , 23 9 29 30 31 29 -> 22 5 32 26 32 33 15 3 8 24 34 , 23 9 29 30 31 35 -> 22 5 32 26 32 33 15 3 8 24 9 , 23 9 29 30 31 3 -> 22 5 32 26 32 33 15 3 8 24 6 , 23 9 29 30 31 23 -> 22 5 32 26 32 33 15 3 8 24 24 , 23 9 29 30 31 36 -> 22 5 32 26 32 33 15 3 8 24 32 , 23 9 29 30 31 37 -> 22 5 32 26 32 33 15 3 8 24 38 , 8 9 29 30 31 22 -> 4 5 32 26 32 33 15 3 8 24 13 , 8 9 29 30 31 29 -> 4 5 32 26 32 33 15 3 8 24 34 , 8 9 29 30 31 35 -> 4 5 32 26 32 33 15 3 8 24 9 , 8 9 29 30 31 3 -> 4 5 32 26 32 33 15 3 8 24 6 , 8 9 29 30 31 23 -> 4 5 32 26 32 33 15 3 8 24 24 , 8 9 29 30 31 36 -> 4 5 32 26 32 33 15 3 8 24 32 , 8 9 29 30 31 37 -> 4 5 32 26 32 33 15 3 8 24 38 , 24 9 29 30 31 22 -> 13 5 32 26 32 33 15 3 8 24 13 , 24 9 29 30 31 29 -> 13 5 32 26 32 33 15 3 8 24 34 , 24 9 29 30 31 35 -> 13 5 32 26 32 33 15 3 8 24 9 , 24 9 29 30 31 3 -> 13 5 32 26 32 33 15 3 8 24 6 , 24 9 29 30 31 23 -> 13 5 32 26 32 33 15 3 8 24 24 , 24 9 29 30 31 36 -> 13 5 32 26 32 33 15 3 8 24 32 , 24 9 29 30 31 37 -> 13 5 32 26 32 33 15 3 8 24 38 , 26 9 29 30 31 22 -> 25 5 32 26 32 33 15 3 8 24 13 , 26 9 29 30 31 29 -> 25 5 32 26 32 33 15 3 8 24 34 , 26 9 29 30 31 35 -> 25 5 32 26 32 33 15 3 8 24 9 , 26 9 29 30 31 3 -> 25 5 32 26 32 33 15 3 8 24 6 , 26 9 29 30 31 23 -> 25 5 32 26 32 33 15 3 8 24 24 , 26 9 29 30 31 36 -> 25 5 32 26 32 33 15 3 8 24 32 , 26 9 29 30 31 37 -> 25 5 32 26 32 33 15 3 8 24 38 , 28 9 29 30 31 22 -> 27 5 32 26 32 33 15 3 8 24 13 , 28 9 29 30 31 29 -> 27 5 32 26 32 33 15 3 8 24 34 , 28 9 29 30 31 35 -> 27 5 32 26 32 33 15 3 8 24 9 , 28 9 29 30 31 3 -> 27 5 32 26 32 33 15 3 8 24 6 , 28 9 29 30 31 23 -> 27 5 32 26 32 33 15 3 8 24 24 , 28 9 29 30 31 36 -> 27 5 32 26 32 33 15 3 8 24 32 , 28 9 29 30 31 37 -> 27 5 32 26 32 33 15 3 8 24 38 , 1 12 9 29 39 4 -> 1 12 32 31 3 10 40 11 21 5 13 , 1 12 9 29 39 14 -> 1 12 32 31 3 10 40 11 21 5 34 , 1 12 9 29 39 15 -> 1 12 32 31 3 10 40 11 21 5 9 , 1 12 9 29 39 7 -> 1 12 32 31 3 10 40 11 21 5 6 , 1 12 9 29 39 8 -> 1 12 32 31 3 10 40 11 21 5 24 , 1 12 9 29 39 10 -> 1 12 32 31 3 10 40 11 21 5 32 , 1 12 9 29 39 19 -> 1 12 32 31 3 10 40 11 21 5 38 , 41 12 9 29 39 4 -> 41 12 32 31 3 10 40 11 21 5 13 , 41 12 9 29 39 14 -> 41 12 32 31 3 10 40 11 21 5 34 , 41 12 9 29 39 15 -> 41 12 32 31 3 10 40 11 21 5 9 , 41 12 9 29 39 7 -> 41 12 32 31 3 10 40 11 21 5 6 , 41 12 9 29 39 8 -> 41 12 32 31 3 10 40 11 21 5 24 , 41 12 9 29 39 10 -> 41 12 32 31 3 10 40 11 21 5 32 , 41 12 9 29 39 19 -> 41 12 32 31 3 10 40 11 21 5 38 , 29 12 9 29 39 4 -> 29 12 32 31 3 10 40 11 21 5 13 , 29 12 9 29 39 14 -> 29 12 32 31 3 10 40 11 21 5 34 , 29 12 9 29 39 15 -> 29 12 32 31 3 10 40 11 21 5 9 , 29 12 9 29 39 7 -> 29 12 32 31 3 10 40 11 21 5 6 , 29 12 9 29 39 8 -> 29 12 32 31 3 10 40 11 21 5 24 , 29 12 9 29 39 10 -> 29 12 32 31 3 10 40 11 21 5 32 , 29 12 9 29 39 19 -> 29 12 32 31 3 10 40 11 21 5 38 , 14 12 9 29 39 4 -> 14 12 32 31 3 10 40 11 21 5 13 , 14 12 9 29 39 14 -> 14 12 32 31 3 10 40 11 21 5 34 , 14 12 9 29 39 15 -> 14 12 32 31 3 10 40 11 21 5 9 , 14 12 9 29 39 7 -> 14 12 32 31 3 10 40 11 21 5 6 , 14 12 9 29 39 8 -> 14 12 32 31 3 10 40 11 21 5 24 , 14 12 9 29 39 10 -> 14 12 32 31 3 10 40 11 21 5 32 , 14 12 9 29 39 19 -> 14 12 32 31 3 10 40 11 21 5 38 , 34 12 9 29 39 4 -> 34 12 32 31 3 10 40 11 21 5 13 , 34 12 9 29 39 14 -> 34 12 32 31 3 10 40 11 21 5 34 , 34 12 9 29 39 15 -> 34 12 32 31 3 10 40 11 21 5 9 , 34 12 9 29 39 7 -> 34 12 32 31 3 10 40 11 21 5 6 , 34 12 9 29 39 8 -> 34 12 32 31 3 10 40 11 21 5 24 , 34 12 9 29 39 10 -> 34 12 32 31 3 10 40 11 21 5 32 , 34 12 9 29 39 19 -> 34 12 32 31 3 10 40 11 21 5 38 , 11 12 9 29 39 4 -> 11 12 32 31 3 10 40 11 21 5 13 , 11 12 9 29 39 14 -> 11 12 32 31 3 10 40 11 21 5 34 , 11 12 9 29 39 15 -> 11 12 32 31 3 10 40 11 21 5 9 , 11 12 9 29 39 7 -> 11 12 32 31 3 10 40 11 21 5 6 , 11 12 9 29 39 8 -> 11 12 32 31 3 10 40 11 21 5 24 , 11 12 9 29 39 10 -> 11 12 32 31 3 10 40 11 21 5 32 , 11 12 9 29 39 19 -> 11 12 32 31 3 10 40 11 21 5 38 , 42 12 9 29 39 4 -> 42 12 32 31 3 10 40 11 21 5 13 , 42 12 9 29 39 14 -> 42 12 32 31 3 10 40 11 21 5 34 , 42 12 9 29 39 15 -> 42 12 32 31 3 10 40 11 21 5 9 , 42 12 9 29 39 7 -> 42 12 32 31 3 10 40 11 21 5 6 , 42 12 9 29 39 8 -> 42 12 32 31 3 10 40 11 21 5 24 , 42 12 9 29 39 10 -> 42 12 32 31 3 10 40 11 21 5 32 , 42 12 9 29 39 19 -> 42 12 32 31 3 10 40 11 21 5 38 , 1 30 40 25 1 21 -> 18 31 23 24 24 24 34 2 35 29 21 , 1 30 40 25 1 41 -> 18 31 23 24 24 24 34 2 35 29 41 , 1 30 40 25 1 2 -> 18 31 23 24 24 24 34 2 35 29 2 , 1 30 40 25 1 39 -> 18 31 23 24 24 24 34 2 35 29 39 , 1 30 40 25 1 12 -> 18 31 23 24 24 24 34 2 35 29 12 , 1 30 40 25 1 30 -> 18 31 23 24 24 24 34 2 35 29 30 , 1 30 40 25 1 43 -> 18 31 23 24 24 24 34 2 35 29 43 , 41 30 40 25 1 21 -> 30 31 23 24 24 24 34 2 35 29 21 , 41 30 40 25 1 41 -> 30 31 23 24 24 24 34 2 35 29 41 , 41 30 40 25 1 2 -> 30 31 23 24 24 24 34 2 35 29 2 , 41 30 40 25 1 39 -> 30 31 23 24 24 24 34 2 35 29 39 , 41 30 40 25 1 12 -> 30 31 23 24 24 24 34 2 35 29 12 , 41 30 40 25 1 30 -> 30 31 23 24 24 24 34 2 35 29 30 , 41 30 40 25 1 43 -> 30 31 23 24 24 24 34 2 35 29 43 , 29 30 40 25 1 21 -> 36 31 23 24 24 24 34 2 35 29 21 , 29 30 40 25 1 41 -> 36 31 23 24 24 24 34 2 35 29 41 , 29 30 40 25 1 2 -> 36 31 23 24 24 24 34 2 35 29 2 , 29 30 40 25 1 39 -> 36 31 23 24 24 24 34 2 35 29 39 , 29 30 40 25 1 12 -> 36 31 23 24 24 24 34 2 35 29 12 , 29 30 40 25 1 30 -> 36 31 23 24 24 24 34 2 35 29 30 , 29 30 40 25 1 43 -> 36 31 23 24 24 24 34 2 35 29 43 , 14 30 40 25 1 21 -> 10 31 23 24 24 24 34 2 35 29 21 , 14 30 40 25 1 41 -> 10 31 23 24 24 24 34 2 35 29 41 , 14 30 40 25 1 2 -> 10 31 23 24 24 24 34 2 35 29 2 , 14 30 40 25 1 39 -> 10 31 23 24 24 24 34 2 35 29 39 , 14 30 40 25 1 12 -> 10 31 23 24 24 24 34 2 35 29 12 , 14 30 40 25 1 30 -> 10 31 23 24 24 24 34 2 35 29 30 , 14 30 40 25 1 43 -> 10 31 23 24 24 24 34 2 35 29 43 , 34 30 40 25 1 21 -> 32 31 23 24 24 24 34 2 35 29 21 , 34 30 40 25 1 41 -> 32 31 23 24 24 24 34 2 35 29 41 , 34 30 40 25 1 2 -> 32 31 23 24 24 24 34 2 35 29 2 , 34 30 40 25 1 39 -> 32 31 23 24 24 24 34 2 35 29 39 , 34 30 40 25 1 12 -> 32 31 23 24 24 24 34 2 35 29 12 , 34 30 40 25 1 30 -> 32 31 23 24 24 24 34 2 35 29 30 , 34 30 40 25 1 43 -> 32 31 23 24 24 24 34 2 35 29 43 , 11 30 40 25 1 21 -> 40 31 23 24 24 24 34 2 35 29 21 , 11 30 40 25 1 41 -> 40 31 23 24 24 24 34 2 35 29 41 , 11 30 40 25 1 2 -> 40 31 23 24 24 24 34 2 35 29 2 , 11 30 40 25 1 39 -> 40 31 23 24 24 24 34 2 35 29 39 , 11 30 40 25 1 12 -> 40 31 23 24 24 24 34 2 35 29 12 , 11 30 40 25 1 30 -> 40 31 23 24 24 24 34 2 35 29 30 , 11 30 40 25 1 43 -> 40 31 23 24 24 24 34 2 35 29 43 , 0 0 1 39 14 30 25 -> 0 5 32 26 9 35 22 0 1 30 25 , 0 0 1 39 14 30 11 -> 0 5 32 26 9 35 22 0 1 30 11 , 0 0 1 39 14 30 31 -> 0 5 32 26 9 35 22 0 1 30 31 , 0 0 1 39 14 30 33 -> 0 5 32 26 9 35 22 0 1 30 33 , 0 0 1 39 14 30 26 -> 0 5 32 26 9 35 22 0 1 30 26 , 0 0 1 39 14 30 40 -> 0 5 32 26 9 35 22 0 1 30 40 , 0 0 1 39 14 30 44 -> 0 5 32 26 9 35 22 0 1 30 44 , 21 0 1 39 14 30 25 -> 21 5 32 26 9 35 22 0 1 30 25 , 21 0 1 39 14 30 11 -> 21 5 32 26 9 35 22 0 1 30 11 , 21 0 1 39 14 30 31 -> 21 5 32 26 9 35 22 0 1 30 31 , 21 0 1 39 14 30 33 -> 21 5 32 26 9 35 22 0 1 30 33 , 21 0 1 39 14 30 26 -> 21 5 32 26 9 35 22 0 1 30 26 , 21 0 1 39 14 30 40 -> 21 5 32 26 9 35 22 0 1 30 40 , 21 0 1 39 14 30 44 -> 21 5 32 26 9 35 22 0 1 30 44 , 22 0 1 39 14 30 25 -> 22 5 32 26 9 35 22 0 1 30 25 , 22 0 1 39 14 30 11 -> 22 5 32 26 9 35 22 0 1 30 11 , 22 0 1 39 14 30 31 -> 22 5 32 26 9 35 22 0 1 30 31 , 22 0 1 39 14 30 33 -> 22 5 32 26 9 35 22 0 1 30 33 , 22 0 1 39 14 30 26 -> 22 5 32 26 9 35 22 0 1 30 26 , 22 0 1 39 14 30 40 -> 22 5 32 26 9 35 22 0 1 30 40 , 22 0 1 39 14 30 44 -> 22 5 32 26 9 35 22 0 1 30 44 , 4 0 1 39 14 30 25 -> 4 5 32 26 9 35 22 0 1 30 25 , 4 0 1 39 14 30 11 -> 4 5 32 26 9 35 22 0 1 30 11 , 4 0 1 39 14 30 31 -> 4 5 32 26 9 35 22 0 1 30 31 , 4 0 1 39 14 30 33 -> 4 5 32 26 9 35 22 0 1 30 33 , 4 0 1 39 14 30 26 -> 4 5 32 26 9 35 22 0 1 30 26 , 4 0 1 39 14 30 40 -> 4 5 32 26 9 35 22 0 1 30 40 , 4 0 1 39 14 30 44 -> 4 5 32 26 9 35 22 0 1 30 44 , 13 0 1 39 14 30 25 -> 13 5 32 26 9 35 22 0 1 30 25 , 13 0 1 39 14 30 11 -> 13 5 32 26 9 35 22 0 1 30 11 , 13 0 1 39 14 30 31 -> 13 5 32 26 9 35 22 0 1 30 31 , 13 0 1 39 14 30 33 -> 13 5 32 26 9 35 22 0 1 30 33 , 13 0 1 39 14 30 26 -> 13 5 32 26 9 35 22 0 1 30 26 , 13 0 1 39 14 30 40 -> 13 5 32 26 9 35 22 0 1 30 40 , 13 0 1 39 14 30 44 -> 13 5 32 26 9 35 22 0 1 30 44 , 25 0 1 39 14 30 25 -> 25 5 32 26 9 35 22 0 1 30 25 , 25 0 1 39 14 30 11 -> 25 5 32 26 9 35 22 0 1 30 11 , 25 0 1 39 14 30 31 -> 25 5 32 26 9 35 22 0 1 30 31 , 25 0 1 39 14 30 33 -> 25 5 32 26 9 35 22 0 1 30 33 , 25 0 1 39 14 30 26 -> 25 5 32 26 9 35 22 0 1 30 26 , 25 0 1 39 14 30 40 -> 25 5 32 26 9 35 22 0 1 30 40 , 25 0 1 39 14 30 44 -> 25 5 32 26 9 35 22 0 1 30 44 , 27 0 1 39 14 30 25 -> 27 5 32 26 9 35 22 0 1 30 25 , 27 0 1 39 14 30 11 -> 27 5 32 26 9 35 22 0 1 30 11 , 27 0 1 39 14 30 31 -> 27 5 32 26 9 35 22 0 1 30 31 , 27 0 1 39 14 30 33 -> 27 5 32 26 9 35 22 0 1 30 33 , 27 0 1 39 14 30 26 -> 27 5 32 26 9 35 22 0 1 30 26 , 27 0 1 39 14 30 40 -> 27 5 32 26 9 35 22 0 1 30 40 , 27 0 1 39 14 30 44 -> 27 5 32 26 9 35 22 0 1 30 44 , 16 3 14 41 30 31 22 -> 16 35 3 15 22 16 29 41 12 6 4 , 16 3 14 41 30 31 29 -> 16 35 3 15 22 16 29 41 12 6 14 , 16 3 14 41 30 31 35 -> 16 35 3 15 22 16 29 41 12 6 15 , 16 3 14 41 30 31 3 -> 16 35 3 15 22 16 29 41 12 6 7 , 16 3 14 41 30 31 23 -> 16 35 3 15 22 16 29 41 12 6 8 , 16 3 14 41 30 31 36 -> 16 35 3 15 22 16 29 41 12 6 10 , 16 3 14 41 30 31 37 -> 16 35 3 15 22 16 29 41 12 6 19 , 2 3 14 41 30 31 22 -> 2 35 3 15 22 16 29 41 12 6 4 , 2 3 14 41 30 31 29 -> 2 35 3 15 22 16 29 41 12 6 14 , 2 3 14 41 30 31 35 -> 2 35 3 15 22 16 29 41 12 6 15 , 2 3 14 41 30 31 3 -> 2 35 3 15 22 16 29 41 12 6 7 , 2 3 14 41 30 31 23 -> 2 35 3 15 22 16 29 41 12 6 8 , 2 3 14 41 30 31 36 -> 2 35 3 15 22 16 29 41 12 6 10 , 2 3 14 41 30 31 37 -> 2 35 3 15 22 16 29 41 12 6 19 , 35 3 14 41 30 31 22 -> 35 35 3 15 22 16 29 41 12 6 4 , 35 3 14 41 30 31 29 -> 35 35 3 15 22 16 29 41 12 6 14 , 35 3 14 41 30 31 35 -> 35 35 3 15 22 16 29 41 12 6 15 , 35 3 14 41 30 31 3 -> 35 35 3 15 22 16 29 41 12 6 7 , 35 3 14 41 30 31 23 -> 35 35 3 15 22 16 29 41 12 6 8 , 35 3 14 41 30 31 36 -> 35 35 3 15 22 16 29 41 12 6 10 , 35 3 14 41 30 31 37 -> 35 35 3 15 22 16 29 41 12 6 19 , 15 3 14 41 30 31 22 -> 15 35 3 15 22 16 29 41 12 6 4 , 15 3 14 41 30 31 29 -> 15 35 3 15 22 16 29 41 12 6 14 , 15 3 14 41 30 31 35 -> 15 35 3 15 22 16 29 41 12 6 15 , 15 3 14 41 30 31 3 -> 15 35 3 15 22 16 29 41 12 6 7 , 15 3 14 41 30 31 23 -> 15 35 3 15 22 16 29 41 12 6 8 , 15 3 14 41 30 31 36 -> 15 35 3 15 22 16 29 41 12 6 10 , 15 3 14 41 30 31 37 -> 15 35 3 15 22 16 29 41 12 6 19 , 9 3 14 41 30 31 22 -> 9 35 3 15 22 16 29 41 12 6 4 , 9 3 14 41 30 31 29 -> 9 35 3 15 22 16 29 41 12 6 14 , 9 3 14 41 30 31 35 -> 9 35 3 15 22 16 29 41 12 6 15 , 9 3 14 41 30 31 3 -> 9 35 3 15 22 16 29 41 12 6 7 , 9 3 14 41 30 31 23 -> 9 35 3 15 22 16 29 41 12 6 8 , 9 3 14 41 30 31 36 -> 9 35 3 15 22 16 29 41 12 6 10 , 9 3 14 41 30 31 37 -> 9 35 3 15 22 16 29 41 12 6 19 , 31 3 14 41 30 31 22 -> 31 35 3 15 22 16 29 41 12 6 4 , 31 3 14 41 30 31 29 -> 31 35 3 15 22 16 29 41 12 6 14 , 31 3 14 41 30 31 35 -> 31 35 3 15 22 16 29 41 12 6 15 , 31 3 14 41 30 31 3 -> 31 35 3 15 22 16 29 41 12 6 7 , 31 3 14 41 30 31 23 -> 31 35 3 15 22 16 29 41 12 6 8 , 31 3 14 41 30 31 36 -> 31 35 3 15 22 16 29 41 12 6 10 , 31 3 14 41 30 31 37 -> 31 35 3 15 22 16 29 41 12 6 19 , 45 3 14 41 30 31 22 -> 45 35 3 15 22 16 29 41 12 6 4 , 45 3 14 41 30 31 29 -> 45 35 3 15 22 16 29 41 12 6 14 , 45 3 14 41 30 31 35 -> 45 35 3 15 22 16 29 41 12 6 15 , 45 3 14 41 30 31 3 -> 45 35 3 15 22 16 29 41 12 6 7 , 45 3 14 41 30 31 23 -> 45 35 3 15 22 16 29 41 12 6 8 , 45 3 14 41 30 31 36 -> 45 35 3 15 22 16 29 41 12 6 10 , 45 3 14 41 30 31 37 -> 45 35 3 15 22 16 29 41 12 6 19 , 16 29 30 31 29 21 0 -> 0 17 14 21 17 14 21 0 16 22 0 , 16 29 30 31 29 21 1 -> 0 17 14 21 17 14 21 0 16 22 1 , 16 29 30 31 29 21 16 -> 0 17 14 21 17 14 21 0 16 22 16 , 16 29 30 31 29 21 17 -> 0 17 14 21 17 14 21 0 16 22 17 , 16 29 30 31 29 21 5 -> 0 17 14 21 17 14 21 0 16 22 5 , 16 29 30 31 29 21 18 -> 0 17 14 21 17 14 21 0 16 22 18 , 16 29 30 31 29 21 20 -> 0 17 14 21 17 14 21 0 16 22 20 , 2 29 30 31 29 21 0 -> 21 17 14 21 17 14 21 0 16 22 0 , 2 29 30 31 29 21 1 -> 21 17 14 21 17 14 21 0 16 22 1 , 2 29 30 31 29 21 16 -> 21 17 14 21 17 14 21 0 16 22 16 , 2 29 30 31 29 21 17 -> 21 17 14 21 17 14 21 0 16 22 17 , 2 29 30 31 29 21 5 -> 21 17 14 21 17 14 21 0 16 22 5 , 2 29 30 31 29 21 18 -> 21 17 14 21 17 14 21 0 16 22 18 , 2 29 30 31 29 21 20 -> 21 17 14 21 17 14 21 0 16 22 20 , 35 29 30 31 29 21 0 -> 22 17 14 21 17 14 21 0 16 22 0 , 35 29 30 31 29 21 1 -> 22 17 14 21 17 14 21 0 16 22 1 , 35 29 30 31 29 21 16 -> 22 17 14 21 17 14 21 0 16 22 16 , 35 29 30 31 29 21 17 -> 22 17 14 21 17 14 21 0 16 22 17 , 35 29 30 31 29 21 5 -> 22 17 14 21 17 14 21 0 16 22 5 , 35 29 30 31 29 21 18 -> 22 17 14 21 17 14 21 0 16 22 18 , 35 29 30 31 29 21 20 -> 22 17 14 21 17 14 21 0 16 22 20 , 15 29 30 31 29 21 0 -> 4 17 14 21 17 14 21 0 16 22 0 , 15 29 30 31 29 21 1 -> 4 17 14 21 17 14 21 0 16 22 1 , 15 29 30 31 29 21 16 -> 4 17 14 21 17 14 21 0 16 22 16 , 15 29 30 31 29 21 17 -> 4 17 14 21 17 14 21 0 16 22 17 , 15 29 30 31 29 21 5 -> 4 17 14 21 17 14 21 0 16 22 5 , 15 29 30 31 29 21 18 -> 4 17 14 21 17 14 21 0 16 22 18 , 15 29 30 31 29 21 20 -> 4 17 14 21 17 14 21 0 16 22 20 , 9 29 30 31 29 21 0 -> 13 17 14 21 17 14 21 0 16 22 0 , 9 29 30 31 29 21 1 -> 13 17 14 21 17 14 21 0 16 22 1 , 9 29 30 31 29 21 16 -> 13 17 14 21 17 14 21 0 16 22 16 , 9 29 30 31 29 21 17 -> 13 17 14 21 17 14 21 0 16 22 17 , 9 29 30 31 29 21 5 -> 13 17 14 21 17 14 21 0 16 22 5 , 9 29 30 31 29 21 18 -> 13 17 14 21 17 14 21 0 16 22 18 , 9 29 30 31 29 21 20 -> 13 17 14 21 17 14 21 0 16 22 20 , 31 29 30 31 29 21 0 -> 25 17 14 21 17 14 21 0 16 22 0 , 31 29 30 31 29 21 1 -> 25 17 14 21 17 14 21 0 16 22 1 , 31 29 30 31 29 21 16 -> 25 17 14 21 17 14 21 0 16 22 16 , 31 29 30 31 29 21 17 -> 25 17 14 21 17 14 21 0 16 22 17 , 31 29 30 31 29 21 5 -> 25 17 14 21 17 14 21 0 16 22 5 , 31 29 30 31 29 21 18 -> 25 17 14 21 17 14 21 0 16 22 18 , 31 29 30 31 29 21 20 -> 25 17 14 21 17 14 21 0 16 22 20 , 18 40 25 1 41 39 4 -> 18 40 33 7 15 35 35 22 0 16 22 , 18 40 25 1 41 39 14 -> 18 40 33 7 15 35 35 22 0 16 29 , 18 40 25 1 41 39 15 -> 18 40 33 7 15 35 35 22 0 16 35 , 18 40 25 1 41 39 7 -> 18 40 33 7 15 35 35 22 0 16 3 , 18 40 25 1 41 39 8 -> 18 40 33 7 15 35 35 22 0 16 23 , 18 40 25 1 41 39 10 -> 18 40 33 7 15 35 35 22 0 16 36 , 18 40 25 1 41 39 19 -> 18 40 33 7 15 35 35 22 0 16 37 , 30 40 25 1 41 39 4 -> 30 40 33 7 15 35 35 22 0 16 22 , 30 40 25 1 41 39 14 -> 30 40 33 7 15 35 35 22 0 16 29 , 30 40 25 1 41 39 15 -> 30 40 33 7 15 35 35 22 0 16 35 , 30 40 25 1 41 39 7 -> 30 40 33 7 15 35 35 22 0 16 3 , 30 40 25 1 41 39 8 -> 30 40 33 7 15 35 35 22 0 16 23 , 30 40 25 1 41 39 10 -> 30 40 33 7 15 35 35 22 0 16 36 , 30 40 25 1 41 39 19 -> 30 40 33 7 15 35 35 22 0 16 37 , 36 40 25 1 41 39 4 -> 36 40 33 7 15 35 35 22 0 16 22 , 36 40 25 1 41 39 14 -> 36 40 33 7 15 35 35 22 0 16 29 , 36 40 25 1 41 39 15 -> 36 40 33 7 15 35 35 22 0 16 35 , 36 40 25 1 41 39 7 -> 36 40 33 7 15 35 35 22 0 16 3 , 36 40 25 1 41 39 8 -> 36 40 33 7 15 35 35 22 0 16 23 , 36 40 25 1 41 39 10 -> 36 40 33 7 15 35 35 22 0 16 36 , 36 40 25 1 41 39 19 -> 36 40 33 7 15 35 35 22 0 16 37 , 10 40 25 1 41 39 4 -> 10 40 33 7 15 35 35 22 0 16 22 , 10 40 25 1 41 39 14 -> 10 40 33 7 15 35 35 22 0 16 29 , 10 40 25 1 41 39 15 -> 10 40 33 7 15 35 35 22 0 16 35 , 10 40 25 1 41 39 7 -> 10 40 33 7 15 35 35 22 0 16 3 , 10 40 25 1 41 39 8 -> 10 40 33 7 15 35 35 22 0 16 23 , 10 40 25 1 41 39 10 -> 10 40 33 7 15 35 35 22 0 16 36 , 10 40 25 1 41 39 19 -> 10 40 33 7 15 35 35 22 0 16 37 , 32 40 25 1 41 39 4 -> 32 40 33 7 15 35 35 22 0 16 22 , 32 40 25 1 41 39 14 -> 32 40 33 7 15 35 35 22 0 16 29 , 32 40 25 1 41 39 15 -> 32 40 33 7 15 35 35 22 0 16 35 , 32 40 25 1 41 39 7 -> 32 40 33 7 15 35 35 22 0 16 3 , 32 40 25 1 41 39 8 -> 32 40 33 7 15 35 35 22 0 16 23 , 32 40 25 1 41 39 10 -> 32 40 33 7 15 35 35 22 0 16 36 , 32 40 25 1 41 39 19 -> 32 40 33 7 15 35 35 22 0 16 37 , 40 40 25 1 41 39 4 -> 40 40 33 7 15 35 35 22 0 16 22 , 40 40 25 1 41 39 14 -> 40 40 33 7 15 35 35 22 0 16 29 , 40 40 25 1 41 39 15 -> 40 40 33 7 15 35 35 22 0 16 35 , 40 40 25 1 41 39 7 -> 40 40 33 7 15 35 35 22 0 16 3 , 40 40 25 1 41 39 8 -> 40 40 33 7 15 35 35 22 0 16 23 , 40 40 25 1 41 39 10 -> 40 40 33 7 15 35 35 22 0 16 36 , 40 40 25 1 41 39 19 -> 40 40 33 7 15 35 35 22 0 16 37 , 46 40 25 1 41 39 4 -> 46 40 33 7 15 35 35 22 0 16 22 , 46 40 25 1 41 39 14 -> 46 40 33 7 15 35 35 22 0 16 29 , 46 40 25 1 41 39 15 -> 46 40 33 7 15 35 35 22 0 16 35 , 46 40 25 1 41 39 7 -> 46 40 33 7 15 35 35 22 0 16 3 , 46 40 25 1 41 39 8 -> 46 40 33 7 15 35 35 22 0 16 23 , 46 40 25 1 41 39 10 -> 46 40 33 7 15 35 35 22 0 16 36 , 46 40 25 1 41 39 19 -> 46 40 33 7 15 35 35 22 0 16 37 , 18 11 2 29 41 39 4 -> 18 25 0 16 3 4 18 26 24 34 21 , 18 11 2 29 41 39 14 -> 18 25 0 16 3 4 18 26 24 34 41 , 18 11 2 29 41 39 15 -> 18 25 0 16 3 4 18 26 24 34 2 , 18 11 2 29 41 39 7 -> 18 25 0 16 3 4 18 26 24 34 39 , 18 11 2 29 41 39 8 -> 18 25 0 16 3 4 18 26 24 34 12 , 18 11 2 29 41 39 10 -> 18 25 0 16 3 4 18 26 24 34 30 , 18 11 2 29 41 39 19 -> 18 25 0 16 3 4 18 26 24 34 43 , 30 11 2 29 41 39 4 -> 30 25 0 16 3 4 18 26 24 34 21 , 30 11 2 29 41 39 14 -> 30 25 0 16 3 4 18 26 24 34 41 , 30 11 2 29 41 39 15 -> 30 25 0 16 3 4 18 26 24 34 2 , 30 11 2 29 41 39 7 -> 30 25 0 16 3 4 18 26 24 34 39 , 30 11 2 29 41 39 8 -> 30 25 0 16 3 4 18 26 24 34 12 , 30 11 2 29 41 39 10 -> 30 25 0 16 3 4 18 26 24 34 30 , 30 11 2 29 41 39 19 -> 30 25 0 16 3 4 18 26 24 34 43 , 36 11 2 29 41 39 4 -> 36 25 0 16 3 4 18 26 24 34 21 , 36 11 2 29 41 39 14 -> 36 25 0 16 3 4 18 26 24 34 41 , 36 11 2 29 41 39 15 -> 36 25 0 16 3 4 18 26 24 34 2 , 36 11 2 29 41 39 7 -> 36 25 0 16 3 4 18 26 24 34 39 , 36 11 2 29 41 39 8 -> 36 25 0 16 3 4 18 26 24 34 12 , 36 11 2 29 41 39 10 -> 36 25 0 16 3 4 18 26 24 34 30 , 36 11 2 29 41 39 19 -> 36 25 0 16 3 4 18 26 24 34 43 , 10 11 2 29 41 39 4 -> 10 25 0 16 3 4 18 26 24 34 21 , 10 11 2 29 41 39 14 -> 10 25 0 16 3 4 18 26 24 34 41 , 10 11 2 29 41 39 15 -> 10 25 0 16 3 4 18 26 24 34 2 , 10 11 2 29 41 39 7 -> 10 25 0 16 3 4 18 26 24 34 39 , 10 11 2 29 41 39 8 -> 10 25 0 16 3 4 18 26 24 34 12 , 10 11 2 29 41 39 10 -> 10 25 0 16 3 4 18 26 24 34 30 , 10 11 2 29 41 39 19 -> 10 25 0 16 3 4 18 26 24 34 43 , 32 11 2 29 41 39 4 -> 32 25 0 16 3 4 18 26 24 34 21 , 32 11 2 29 41 39 14 -> 32 25 0 16 3 4 18 26 24 34 41 , 32 11 2 29 41 39 15 -> 32 25 0 16 3 4 18 26 24 34 2 , 32 11 2 29 41 39 7 -> 32 25 0 16 3 4 18 26 24 34 39 , 32 11 2 29 41 39 8 -> 32 25 0 16 3 4 18 26 24 34 12 , 32 11 2 29 41 39 10 -> 32 25 0 16 3 4 18 26 24 34 30 , 32 11 2 29 41 39 19 -> 32 25 0 16 3 4 18 26 24 34 43 , 40 11 2 29 41 39 4 -> 40 25 0 16 3 4 18 26 24 34 21 , 40 11 2 29 41 39 14 -> 40 25 0 16 3 4 18 26 24 34 41 , 40 11 2 29 41 39 15 -> 40 25 0 16 3 4 18 26 24 34 2 , 40 11 2 29 41 39 7 -> 40 25 0 16 3 4 18 26 24 34 39 , 40 11 2 29 41 39 8 -> 40 25 0 16 3 4 18 26 24 34 12 , 40 11 2 29 41 39 10 -> 40 25 0 16 3 4 18 26 24 34 30 , 40 11 2 29 41 39 19 -> 40 25 0 16 3 4 18 26 24 34 43 , 46 11 2 29 41 39 4 -> 46 25 0 16 3 4 18 26 24 34 21 , 46 11 2 29 41 39 14 -> 46 25 0 16 3 4 18 26 24 34 41 , 46 11 2 29 41 39 15 -> 46 25 0 16 3 4 18 26 24 34 2 , 46 11 2 29 41 39 7 -> 46 25 0 16 3 4 18 26 24 34 39 , 46 11 2 29 41 39 8 -> 46 25 0 16 3 4 18 26 24 34 12 , 46 11 2 29 41 39 10 -> 46 25 0 16 3 4 18 26 24 34 30 , 46 11 2 29 41 39 19 -> 46 25 0 16 3 4 18 26 24 34 43 , 1 30 11 12 24 13 0 -> 1 30 33 15 35 35 35 22 1 41 21 , 1 30 11 12 24 13 1 -> 1 30 33 15 35 35 35 22 1 41 41 , 1 30 11 12 24 13 16 -> 1 30 33 15 35 35 35 22 1 41 2 , 1 30 11 12 24 13 17 -> 1 30 33 15 35 35 35 22 1 41 39 , 1 30 11 12 24 13 5 -> 1 30 33 15 35 35 35 22 1 41 12 , 1 30 11 12 24 13 18 -> 1 30 33 15 35 35 35 22 1 41 30 , 1 30 11 12 24 13 20 -> 1 30 33 15 35 35 35 22 1 41 43 , 41 30 11 12 24 13 0 -> 41 30 33 15 35 35 35 22 1 41 21 , 41 30 11 12 24 13 1 -> 41 30 33 15 35 35 35 22 1 41 41 , 41 30 11 12 24 13 16 -> 41 30 33 15 35 35 35 22 1 41 2 , 41 30 11 12 24 13 17 -> 41 30 33 15 35 35 35 22 1 41 39 , 41 30 11 12 24 13 5 -> 41 30 33 15 35 35 35 22 1 41 12 , 41 30 11 12 24 13 18 -> 41 30 33 15 35 35 35 22 1 41 30 , 41 30 11 12 24 13 20 -> 41 30 33 15 35 35 35 22 1 41 43 , 29 30 11 12 24 13 0 -> 29 30 33 15 35 35 35 22 1 41 21 , 29 30 11 12 24 13 1 -> 29 30 33 15 35 35 35 22 1 41 41 , 29 30 11 12 24 13 16 -> 29 30 33 15 35 35 35 22 1 41 2 , 29 30 11 12 24 13 17 -> 29 30 33 15 35 35 35 22 1 41 39 , 29 30 11 12 24 13 5 -> 29 30 33 15 35 35 35 22 1 41 12 , 29 30 11 12 24 13 18 -> 29 30 33 15 35 35 35 22 1 41 30 , 29 30 11 12 24 13 20 -> 29 30 33 15 35 35 35 22 1 41 43 , 14 30 11 12 24 13 0 -> 14 30 33 15 35 35 35 22 1 41 21 , 14 30 11 12 24 13 1 -> 14 30 33 15 35 35 35 22 1 41 41 , 14 30 11 12 24 13 16 -> 14 30 33 15 35 35 35 22 1 41 2 , 14 30 11 12 24 13 17 -> 14 30 33 15 35 35 35 22 1 41 39 , 14 30 11 12 24 13 5 -> 14 30 33 15 35 35 35 22 1 41 12 , 14 30 11 12 24 13 18 -> 14 30 33 15 35 35 35 22 1 41 30 , 14 30 11 12 24 13 20 -> 14 30 33 15 35 35 35 22 1 41 43 , 34 30 11 12 24 13 0 -> 34 30 33 15 35 35 35 22 1 41 21 , 34 30 11 12 24 13 1 -> 34 30 33 15 35 35 35 22 1 41 41 , 34 30 11 12 24 13 16 -> 34 30 33 15 35 35 35 22 1 41 2 , 34 30 11 12 24 13 17 -> 34 30 33 15 35 35 35 22 1 41 39 , 34 30 11 12 24 13 5 -> 34 30 33 15 35 35 35 22 1 41 12 , 34 30 11 12 24 13 18 -> 34 30 33 15 35 35 35 22 1 41 30 , 34 30 11 12 24 13 20 -> 34 30 33 15 35 35 35 22 1 41 43 , 11 30 11 12 24 13 0 -> 11 30 33 15 35 35 35 22 1 41 21 , 11 30 11 12 24 13 1 -> 11 30 33 15 35 35 35 22 1 41 41 , 11 30 11 12 24 13 16 -> 11 30 33 15 35 35 35 22 1 41 2 , 11 30 11 12 24 13 17 -> 11 30 33 15 35 35 35 22 1 41 39 , 11 30 11 12 24 13 5 -> 11 30 33 15 35 35 35 22 1 41 12 , 11 30 11 12 24 13 18 -> 11 30 33 15 35 35 35 22 1 41 30 , 11 30 11 12 24 13 20 -> 11 30 33 15 35 35 35 22 1 41 43 , 42 30 11 12 24 13 0 -> 42 30 33 15 35 35 35 22 1 41 21 , 42 30 11 12 24 13 1 -> 42 30 33 15 35 35 35 22 1 41 41 , 42 30 11 12 24 13 16 -> 42 30 33 15 35 35 35 22 1 41 2 , 42 30 11 12 24 13 17 -> 42 30 33 15 35 35 35 22 1 41 39 , 42 30 11 12 24 13 5 -> 42 30 33 15 35 35 35 22 1 41 12 , 42 30 11 12 24 13 18 -> 42 30 33 15 35 35 35 22 1 41 30 , 42 30 11 12 24 13 20 -> 42 30 33 15 35 35 35 22 1 41 43 , 1 41 41 41 41 2 22 -> 1 41 39 8 32 33 7 14 39 8 13 , 1 41 41 41 41 2 29 -> 1 41 39 8 32 33 7 14 39 8 34 , 1 41 41 41 41 2 35 -> 1 41 39 8 32 33 7 14 39 8 9 , 1 41 41 41 41 2 3 -> 1 41 39 8 32 33 7 14 39 8 6 , 1 41 41 41 41 2 23 -> 1 41 39 8 32 33 7 14 39 8 24 , 1 41 41 41 41 2 36 -> 1 41 39 8 32 33 7 14 39 8 32 , 1 41 41 41 41 2 37 -> 1 41 39 8 32 33 7 14 39 8 38 , 41 41 41 41 41 2 22 -> 41 41 39 8 32 33 7 14 39 8 13 , 41 41 41 41 41 2 29 -> 41 41 39 8 32 33 7 14 39 8 34 , 41 41 41 41 41 2 35 -> 41 41 39 8 32 33 7 14 39 8 9 , 41 41 41 41 41 2 3 -> 41 41 39 8 32 33 7 14 39 8 6 , 41 41 41 41 41 2 23 -> 41 41 39 8 32 33 7 14 39 8 24 , 41 41 41 41 41 2 36 -> 41 41 39 8 32 33 7 14 39 8 32 , 41 41 41 41 41 2 37 -> 41 41 39 8 32 33 7 14 39 8 38 , 29 41 41 41 41 2 22 -> 29 41 39 8 32 33 7 14 39 8 13 , 29 41 41 41 41 2 29 -> 29 41 39 8 32 33 7 14 39 8 34 , 29 41 41 41 41 2 35 -> 29 41 39 8 32 33 7 14 39 8 9 , 29 41 41 41 41 2 3 -> 29 41 39 8 32 33 7 14 39 8 6 , 29 41 41 41 41 2 23 -> 29 41 39 8 32 33 7 14 39 8 24 , 29 41 41 41 41 2 36 -> 29 41 39 8 32 33 7 14 39 8 32 , 29 41 41 41 41 2 37 -> 29 41 39 8 32 33 7 14 39 8 38 , 14 41 41 41 41 2 22 -> 14 41 39 8 32 33 7 14 39 8 13 , 14 41 41 41 41 2 29 -> 14 41 39 8 32 33 7 14 39 8 34 , 14 41 41 41 41 2 35 -> 14 41 39 8 32 33 7 14 39 8 9 , 14 41 41 41 41 2 3 -> 14 41 39 8 32 33 7 14 39 8 6 , 14 41 41 41 41 2 23 -> 14 41 39 8 32 33 7 14 39 8 24 , 14 41 41 41 41 2 36 -> 14 41 39 8 32 33 7 14 39 8 32 , 14 41 41 41 41 2 37 -> 14 41 39 8 32 33 7 14 39 8 38 , 34 41 41 41 41 2 22 -> 34 41 39 8 32 33 7 14 39 8 13 , 34 41 41 41 41 2 29 -> 34 41 39 8 32 33 7 14 39 8 34 , 34 41 41 41 41 2 35 -> 34 41 39 8 32 33 7 14 39 8 9 , 34 41 41 41 41 2 3 -> 34 41 39 8 32 33 7 14 39 8 6 , 34 41 41 41 41 2 23 -> 34 41 39 8 32 33 7 14 39 8 24 , 34 41 41 41 41 2 36 -> 34 41 39 8 32 33 7 14 39 8 32 , 34 41 41 41 41 2 37 -> 34 41 39 8 32 33 7 14 39 8 38 , 11 41 41 41 41 2 22 -> 11 41 39 8 32 33 7 14 39 8 13 , 11 41 41 41 41 2 29 -> 11 41 39 8 32 33 7 14 39 8 34 , 11 41 41 41 41 2 35 -> 11 41 39 8 32 33 7 14 39 8 9 , 11 41 41 41 41 2 3 -> 11 41 39 8 32 33 7 14 39 8 6 , 11 41 41 41 41 2 23 -> 11 41 39 8 32 33 7 14 39 8 24 , 11 41 41 41 41 2 36 -> 11 41 39 8 32 33 7 14 39 8 32 , 11 41 41 41 41 2 37 -> 11 41 39 8 32 33 7 14 39 8 38 , 42 41 41 41 41 2 22 -> 42 41 39 8 32 33 7 14 39 8 13 , 42 41 41 41 41 2 29 -> 42 41 39 8 32 33 7 14 39 8 34 , 42 41 41 41 41 2 35 -> 42 41 39 8 32 33 7 14 39 8 9 , 42 41 41 41 41 2 3 -> 42 41 39 8 32 33 7 14 39 8 6 , 42 41 41 41 41 2 23 -> 42 41 39 8 32 33 7 14 39 8 24 , 42 41 41 41 41 2 36 -> 42 41 39 8 32 33 7 14 39 8 32 , 42 41 41 41 41 2 37 -> 42 41 39 8 32 33 7 14 39 8 38 , 16 29 39 7 14 30 31 22 -> 17 8 13 5 24 34 41 21 5 6 4 , 16 29 39 7 14 30 31 29 -> 17 8 13 5 24 34 41 21 5 6 14 , 16 29 39 7 14 30 31 35 -> 17 8 13 5 24 34 41 21 5 6 15 , 16 29 39 7 14 30 31 3 -> 17 8 13 5 24 34 41 21 5 6 7 , 16 29 39 7 14 30 31 23 -> 17 8 13 5 24 34 41 21 5 6 8 , 16 29 39 7 14 30 31 36 -> 17 8 13 5 24 34 41 21 5 6 10 , 16 29 39 7 14 30 31 37 -> 17 8 13 5 24 34 41 21 5 6 19 , 2 29 39 7 14 30 31 22 -> 39 8 13 5 24 34 41 21 5 6 4 , 2 29 39 7 14 30 31 29 -> 39 8 13 5 24 34 41 21 5 6 14 , 2 29 39 7 14 30 31 35 -> 39 8 13 5 24 34 41 21 5 6 15 , 2 29 39 7 14 30 31 3 -> 39 8 13 5 24 34 41 21 5 6 7 , 2 29 39 7 14 30 31 23 -> 39 8 13 5 24 34 41 21 5 6 8 , 2 29 39 7 14 30 31 36 -> 39 8 13 5 24 34 41 21 5 6 10 , 2 29 39 7 14 30 31 37 -> 39 8 13 5 24 34 41 21 5 6 19 , 35 29 39 7 14 30 31 22 -> 3 8 13 5 24 34 41 21 5 6 4 , 35 29 39 7 14 30 31 29 -> 3 8 13 5 24 34 41 21 5 6 14 , 35 29 39 7 14 30 31 35 -> 3 8 13 5 24 34 41 21 5 6 15 , 35 29 39 7 14 30 31 3 -> 3 8 13 5 24 34 41 21 5 6 7 , 35 29 39 7 14 30 31 23 -> 3 8 13 5 24 34 41 21 5 6 8 , 35 29 39 7 14 30 31 36 -> 3 8 13 5 24 34 41 21 5 6 10 , 35 29 39 7 14 30 31 37 -> 3 8 13 5 24 34 41 21 5 6 19 , 15 29 39 7 14 30 31 22 -> 7 8 13 5 24 34 41 21 5 6 4 , 15 29 39 7 14 30 31 29 -> 7 8 13 5 24 34 41 21 5 6 14 , 15 29 39 7 14 30 31 35 -> 7 8 13 5 24 34 41 21 5 6 15 , 15 29 39 7 14 30 31 3 -> 7 8 13 5 24 34 41 21 5 6 7 , 15 29 39 7 14 30 31 23 -> 7 8 13 5 24 34 41 21 5 6 8 , 15 29 39 7 14 30 31 36 -> 7 8 13 5 24 34 41 21 5 6 10 , 15 29 39 7 14 30 31 37 -> 7 8 13 5 24 34 41 21 5 6 19 , 9 29 39 7 14 30 31 22 -> 6 8 13 5 24 34 41 21 5 6 4 , 9 29 39 7 14 30 31 29 -> 6 8 13 5 24 34 41 21 5 6 14 , 9 29 39 7 14 30 31 35 -> 6 8 13 5 24 34 41 21 5 6 15 , 9 29 39 7 14 30 31 3 -> 6 8 13 5 24 34 41 21 5 6 7 , 9 29 39 7 14 30 31 23 -> 6 8 13 5 24 34 41 21 5 6 8 , 9 29 39 7 14 30 31 36 -> 6 8 13 5 24 34 41 21 5 6 10 , 9 29 39 7 14 30 31 37 -> 6 8 13 5 24 34 41 21 5 6 19 , 31 29 39 7 14 30 31 22 -> 33 8 13 5 24 34 41 21 5 6 4 , 31 29 39 7 14 30 31 29 -> 33 8 13 5 24 34 41 21 5 6 14 , 31 29 39 7 14 30 31 35 -> 33 8 13 5 24 34 41 21 5 6 15 , 31 29 39 7 14 30 31 3 -> 33 8 13 5 24 34 41 21 5 6 7 , 31 29 39 7 14 30 31 23 -> 33 8 13 5 24 34 41 21 5 6 8 , 31 29 39 7 14 30 31 36 -> 33 8 13 5 24 34 41 21 5 6 10 , 31 29 39 7 14 30 31 37 -> 33 8 13 5 24 34 41 21 5 6 19 , 16 29 30 25 1 21 16 22 -> 18 33 10 33 7 4 0 16 36 40 25 , 16 29 30 25 1 21 16 29 -> 18 33 10 33 7 4 0 16 36 40 11 , 16 29 30 25 1 21 16 35 -> 18 33 10 33 7 4 0 16 36 40 31 , 16 29 30 25 1 21 16 3 -> 18 33 10 33 7 4 0 16 36 40 33 , 16 29 30 25 1 21 16 23 -> 18 33 10 33 7 4 0 16 36 40 26 , 16 29 30 25 1 21 16 36 -> 18 33 10 33 7 4 0 16 36 40 40 , 16 29 30 25 1 21 16 37 -> 18 33 10 33 7 4 0 16 36 40 44 , 2 29 30 25 1 21 16 22 -> 30 33 10 33 7 4 0 16 36 40 25 , 2 29 30 25 1 21 16 29 -> 30 33 10 33 7 4 0 16 36 40 11 , 2 29 30 25 1 21 16 35 -> 30 33 10 33 7 4 0 16 36 40 31 , 2 29 30 25 1 21 16 3 -> 30 33 10 33 7 4 0 16 36 40 33 , 2 29 30 25 1 21 16 23 -> 30 33 10 33 7 4 0 16 36 40 26 , 2 29 30 25 1 21 16 36 -> 30 33 10 33 7 4 0 16 36 40 40 , 2 29 30 25 1 21 16 37 -> 30 33 10 33 7 4 0 16 36 40 44 , 35 29 30 25 1 21 16 22 -> 36 33 10 33 7 4 0 16 36 40 25 , 35 29 30 25 1 21 16 29 -> 36 33 10 33 7 4 0 16 36 40 11 , 35 29 30 25 1 21 16 35 -> 36 33 10 33 7 4 0 16 36 40 31 , 35 29 30 25 1 21 16 3 -> 36 33 10 33 7 4 0 16 36 40 33 , 35 29 30 25 1 21 16 23 -> 36 33 10 33 7 4 0 16 36 40 26 , 35 29 30 25 1 21 16 36 -> 36 33 10 33 7 4 0 16 36 40 40 , 35 29 30 25 1 21 16 37 -> 36 33 10 33 7 4 0 16 36 40 44 , 15 29 30 25 1 21 16 22 -> 10 33 10 33 7 4 0 16 36 40 25 , 15 29 30 25 1 21 16 29 -> 10 33 10 33 7 4 0 16 36 40 11 , 15 29 30 25 1 21 16 35 -> 10 33 10 33 7 4 0 16 36 40 31 , 15 29 30 25 1 21 16 3 -> 10 33 10 33 7 4 0 16 36 40 33 , 15 29 30 25 1 21 16 23 -> 10 33 10 33 7 4 0 16 36 40 26 , 15 29 30 25 1 21 16 36 -> 10 33 10 33 7 4 0 16 36 40 40 , 15 29 30 25 1 21 16 37 -> 10 33 10 33 7 4 0 16 36 40 44 , 9 29 30 25 1 21 16 22 -> 32 33 10 33 7 4 0 16 36 40 25 , 9 29 30 25 1 21 16 29 -> 32 33 10 33 7 4 0 16 36 40 11 , 9 29 30 25 1 21 16 35 -> 32 33 10 33 7 4 0 16 36 40 31 , 9 29 30 25 1 21 16 3 -> 32 33 10 33 7 4 0 16 36 40 33 , 9 29 30 25 1 21 16 23 -> 32 33 10 33 7 4 0 16 36 40 26 , 9 29 30 25 1 21 16 36 -> 32 33 10 33 7 4 0 16 36 40 40 , 9 29 30 25 1 21 16 37 -> 32 33 10 33 7 4 0 16 36 40 44 , 31 29 30 25 1 21 16 22 -> 40 33 10 33 7 4 0 16 36 40 25 , 31 29 30 25 1 21 16 29 -> 40 33 10 33 7 4 0 16 36 40 11 , 31 29 30 25 1 21 16 35 -> 40 33 10 33 7 4 0 16 36 40 31 , 31 29 30 25 1 21 16 3 -> 40 33 10 33 7 4 0 16 36 40 33 , 31 29 30 25 1 21 16 23 -> 40 33 10 33 7 4 0 16 36 40 26 , 31 29 30 25 1 21 16 36 -> 40 33 10 33 7 4 0 16 36 40 40 , 31 29 30 25 1 21 16 37 -> 40 33 10 33 7 4 0 16 36 40 44 , 16 29 30 11 12 32 33 4 -> 5 24 24 6 7 15 35 23 13 1 21 , 16 29 30 11 12 32 33 14 -> 5 24 24 6 7 15 35 23 13 1 41 , 16 29 30 11 12 32 33 15 -> 5 24 24 6 7 15 35 23 13 1 2 , 16 29 30 11 12 32 33 7 -> 5 24 24 6 7 15 35 23 13 1 39 , 16 29 30 11 12 32 33 8 -> 5 24 24 6 7 15 35 23 13 1 12 , 16 29 30 11 12 32 33 10 -> 5 24 24 6 7 15 35 23 13 1 30 , 16 29 30 11 12 32 33 19 -> 5 24 24 6 7 15 35 23 13 1 43 , 2 29 30 11 12 32 33 4 -> 12 24 24 6 7 15 35 23 13 1 21 , 2 29 30 11 12 32 33 14 -> 12 24 24 6 7 15 35 23 13 1 41 , 2 29 30 11 12 32 33 15 -> 12 24 24 6 7 15 35 23 13 1 2 , 2 29 30 11 12 32 33 7 -> 12 24 24 6 7 15 35 23 13 1 39 , 2 29 30 11 12 32 33 8 -> 12 24 24 6 7 15 35 23 13 1 12 , 2 29 30 11 12 32 33 10 -> 12 24 24 6 7 15 35 23 13 1 30 , 2 29 30 11 12 32 33 19 -> 12 24 24 6 7 15 35 23 13 1 43 , 35 29 30 11 12 32 33 4 -> 23 24 24 6 7 15 35 23 13 1 21 , 35 29 30 11 12 32 33 14 -> 23 24 24 6 7 15 35 23 13 1 41 , 35 29 30 11 12 32 33 15 -> 23 24 24 6 7 15 35 23 13 1 2 , 35 29 30 11 12 32 33 7 -> 23 24 24 6 7 15 35 23 13 1 39 , 35 29 30 11 12 32 33 8 -> 23 24 24 6 7 15 35 23 13 1 12 , 35 29 30 11 12 32 33 10 -> 23 24 24 6 7 15 35 23 13 1 30 , 35 29 30 11 12 32 33 19 -> 23 24 24 6 7 15 35 23 13 1 43 , 15 29 30 11 12 32 33 4 -> 8 24 24 6 7 15 35 23 13 1 21 , 15 29 30 11 12 32 33 14 -> 8 24 24 6 7 15 35 23 13 1 41 , 15 29 30 11 12 32 33 15 -> 8 24 24 6 7 15 35 23 13 1 2 , 15 29 30 11 12 32 33 7 -> 8 24 24 6 7 15 35 23 13 1 39 , 15 29 30 11 12 32 33 8 -> 8 24 24 6 7 15 35 23 13 1 12 , 15 29 30 11 12 32 33 10 -> 8 24 24 6 7 15 35 23 13 1 30 , 15 29 30 11 12 32 33 19 -> 8 24 24 6 7 15 35 23 13 1 43 , 9 29 30 11 12 32 33 4 -> 24 24 24 6 7 15 35 23 13 1 21 , 9 29 30 11 12 32 33 14 -> 24 24 24 6 7 15 35 23 13 1 41 , 9 29 30 11 12 32 33 15 -> 24 24 24 6 7 15 35 23 13 1 2 , 9 29 30 11 12 32 33 7 -> 24 24 24 6 7 15 35 23 13 1 39 , 9 29 30 11 12 32 33 8 -> 24 24 24 6 7 15 35 23 13 1 12 , 9 29 30 11 12 32 33 10 -> 24 24 24 6 7 15 35 23 13 1 30 , 9 29 30 11 12 32 33 19 -> 24 24 24 6 7 15 35 23 13 1 43 , 31 29 30 11 12 32 33 4 -> 26 24 24 6 7 15 35 23 13 1 21 , 31 29 30 11 12 32 33 14 -> 26 24 24 6 7 15 35 23 13 1 41 , 31 29 30 11 12 32 33 15 -> 26 24 24 6 7 15 35 23 13 1 2 , 31 29 30 11 12 32 33 7 -> 26 24 24 6 7 15 35 23 13 1 39 , 31 29 30 11 12 32 33 8 -> 26 24 24 6 7 15 35 23 13 1 12 , 31 29 30 11 12 32 33 10 -> 26 24 24 6 7 15 35 23 13 1 30 , 31 29 30 11 12 32 33 19 -> 26 24 24 6 7 15 35 23 13 1 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 1 | | 0 1 | \ / 2 is interpreted by / \ | 1 16 | | 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 0 | | 0 1 | \ / 11 is interpreted by / \ | 1 14 | | 0 1 | \ / 12 is interpreted by / \ | 1 0 | | 0 1 | \ / 13 is interpreted by / \ | 1 2 | | 0 1 | \ / 14 is interpreted by / \ | 1 13 | | 0 1 | \ / 15 is interpreted by / \ | 1 0 | | 0 1 | \ / 16 is interpreted by / \ | 1 0 | | 0 1 | \ / 17 is interpreted by / \ | 1 0 | | 0 1 | \ / 18 is interpreted by / \ | 1 0 | | 0 1 | \ / 19 is interpreted by / \ | 1 0 | | 0 1 | \ / 20 is interpreted by / \ | 1 0 | | 0 1 | \ / 21 is interpreted by / \ | 1 0 | | 0 1 | \ / 22 is interpreted by / \ | 1 0 | | 0 1 | \ / 23 is interpreted by / \ | 1 0 | | 0 1 | \ / 24 is interpreted by / \ | 1 2 | | 0 1 | \ / 25 is interpreted by / \ | 1 39 | | 0 1 | \ / 26 is interpreted by / \ | 1 0 | | 0 1 | \ / 27 is interpreted by / \ | 1 0 | | 0 1 | \ / 28 is interpreted by / \ | 1 0 | | 0 1 | \ / 29 is interpreted by / \ | 1 28 | | 0 1 | \ / 30 is interpreted by / \ | 1 16 | | 0 1 | \ / 31 is interpreted by / \ | 1 0 | | 0 1 | \ / 32 is interpreted by / \ | 1 0 | | 0 1 | \ / 33 is interpreted by / \ | 1 0 | | 0 1 | \ / 34 is interpreted by / \ | 1 0 | | 0 1 | \ / 35 is interpreted by / \ | 1 0 | | 0 1 | \ / 36 is interpreted by / \ | 1 0 | | 0 1 | \ / 37 is interpreted by / \ | 1 0 | | 0 1 | \ / 38 is interpreted by / \ | 1 2 | | 0 1 | \ / 39 is interpreted by / \ | 1 0 | | 0 1 | \ / 40 is interpreted by / \ | 1 11 | | 0 1 | \ / 41 is interpreted by / \ | 1 0 | | 0 1 | \ / 42 is interpreted by / \ | 1 0 | | 0 1 | \ / 43 is interpreted by / \ | 1 0 | | 0 1 | \ / 44 is interpreted by / \ | 1 0 | | 0 1 | \ / 45 is interpreted by / \ | 1 0 | | 0 1 | \ / 46 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.