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