YES After renaming modulo { 0->0, 1->1, 2->2, 3->3 }, it remains to prove termination of the 28-rule system { 0 0 0 0 0 1 1 2 0 0 3 1 3 -> 2 3 3 1 1 2 3 1 2 1 1 2 2 1 0 2 3 , 0 0 0 3 1 2 2 3 2 3 1 0 1 -> 3 2 1 3 0 1 3 1 1 2 1 3 3 3 3 1 3 , 0 0 3 0 1 1 2 1 0 1 3 3 3 -> 1 3 3 1 0 2 1 1 2 2 3 2 1 2 1 1 3 , 0 0 3 2 1 3 2 2 3 2 0 0 0 -> 1 2 1 3 2 3 2 2 3 3 1 0 0 2 1 3 3 , 0 3 0 1 3 1 3 2 2 1 2 2 0 -> 2 3 3 0 3 3 3 1 3 2 0 2 2 1 3 1 2 , 0 3 2 2 0 0 3 2 3 1 1 2 1 -> 2 0 3 3 1 2 0 3 1 2 1 2 1 1 0 3 1 , 0 3 3 3 0 1 2 3 1 1 0 0 3 -> 0 2 2 0 1 2 1 2 1 3 1 3 0 3 3 0 3 , 1 0 1 3 1 1 1 1 3 2 0 3 2 -> 3 3 3 1 3 3 0 1 0 1 2 1 2 1 1 0 3 , 1 0 3 2 3 3 0 0 1 2 1 0 1 -> 2 1 1 1 1 3 2 2 2 1 3 3 1 3 2 2 1 , 1 1 0 0 0 2 3 0 1 2 0 1 3 -> 1 2 2 2 1 3 3 2 1 1 2 1 0 2 0 2 3 , 1 1 2 1 0 2 2 0 3 0 0 0 0 -> 2 2 1 3 3 3 1 2 0 1 0 2 3 1 1 0 3 , 1 3 2 3 1 1 2 0 1 2 3 1 0 -> 1 3 2 2 0 2 3 3 0 1 2 1 2 2 1 3 1 , 2 0 3 3 3 2 2 3 2 0 0 3 3 -> 3 3 2 2 0 1 1 2 1 1 2 1 2 2 1 3 3 , 2 1 2 0 2 1 0 1 1 0 1 2 0 -> 0 0 1 1 3 3 1 1 0 0 3 3 3 3 3 3 2 , 2 2 3 1 3 2 2 0 2 2 2 2 0 -> 2 1 3 0 1 3 2 2 1 0 0 2 1 1 3 0 0 , 2 3 0 3 0 2 1 2 0 3 2 0 1 -> 2 1 3 3 0 2 2 1 3 2 0 2 2 2 1 2 1 , 2 3 1 0 1 0 0 1 1 0 1 2 1 -> 1 3 1 3 3 3 3 2 2 1 3 1 2 1 1 0 3 , 2 3 3 1 2 2 3 0 2 2 0 0 1 -> 2 3 1 2 2 1 1 3 1 3 3 3 3 0 3 0 0 , 2 3 3 1 2 2 3 2 3 1 1 0 1 -> 2 2 1 0 2 1 1 1 2 2 1 1 3 3 2 1 3 , 3 0 3 0 2 3 2 3 3 3 1 2 1 -> 2 1 2 1 3 2 1 3 2 1 2 1 3 1 3 3 1 , 3 0 3 0 2 3 3 2 3 2 2 2 1 -> 2 2 2 1 3 3 3 2 1 1 2 1 1 1 1 3 1 , 3 0 3 1 3 2 0 0 1 2 1 0 0 -> 3 1 3 0 3 3 2 2 1 1 2 2 2 1 1 0 2 , 3 1 2 3 1 1 3 1 1 3 0 1 1 -> 3 3 2 1 3 1 2 3 3 3 2 1 1 2 1 0 1 , 3 2 2 1 0 2 0 3 3 3 3 2 1 -> 3 3 3 2 3 1 1 3 3 2 1 2 1 2 1 3 1 , 3 2 3 0 1 1 3 0 0 0 0 2 1 -> 3 3 2 1 1 2 3 2 1 2 0 3 1 3 2 2 1 , 3 2 3 2 3 2 3 0 3 2 0 1 1 -> 2 2 1 1 2 1 3 3 2 0 0 0 0 0 1 3 3 , 3 3 1 3 1 2 3 2 0 2 2 0 0 -> 2 1 2 1 3 0 2 2 0 2 2 1 1 3 3 3 3 , 3 3 2 1 3 1 2 0 0 3 2 3 3 -> 3 2 1 3 2 2 1 3 3 3 1 0 2 1 3 3 3 } The system was reversed. After renaming modulo { 3->0, 1->1, 0->2, 2->3 }, it remains to prove termination of the 28-rule system { 0 1 0 2 2 3 1 1 2 2 2 2 2 -> 0 3 2 1 3 3 1 1 3 1 0 3 1 1 0 0 3 , 1 2 1 0 3 0 3 3 1 0 2 2 2 -> 0 1 0 0 0 0 1 3 1 1 0 1 2 0 1 3 0 , 0 0 0 1 2 1 3 1 1 2 0 2 2 -> 0 1 1 3 1 3 0 3 3 1 1 3 2 1 0 0 1 , 2 2 2 3 0 3 3 0 1 3 0 2 2 -> 0 0 1 3 2 2 1 0 0 3 3 0 3 0 1 3 1 , 2 3 3 1 3 3 0 1 0 1 2 0 2 -> 3 1 0 1 3 3 2 3 0 1 0 0 0 2 0 0 3 , 1 3 1 1 0 3 0 2 2 3 3 0 2 -> 1 0 2 1 1 3 1 3 1 0 2 3 1 0 0 2 3 , 0 2 2 1 1 0 3 1 2 0 0 0 2 -> 0 2 0 0 2 0 1 0 1 3 1 3 1 2 3 3 2 , 3 0 2 3 0 1 1 1 1 0 1 2 1 -> 0 2 1 1 3 1 3 1 2 1 2 0 0 1 0 0 0 , 1 2 1 3 1 2 2 0 0 3 0 2 1 -> 1 3 3 0 1 0 0 1 3 3 3 0 1 1 1 1 3 , 0 1 2 3 1 2 0 3 2 2 2 1 1 -> 0 3 2 3 2 1 3 1 1 3 0 0 1 3 3 3 1 , 2 2 2 2 0 2 3 3 2 1 3 1 1 -> 0 2 1 1 0 3 2 1 2 3 1 0 0 0 1 3 3 , 2 1 0 3 1 2 3 1 1 0 3 0 1 -> 1 0 1 3 3 1 3 1 2 0 0 3 2 3 3 0 1 , 0 0 2 2 3 0 3 3 0 0 0 2 3 -> 0 0 1 3 3 1 3 1 1 3 1 1 2 3 3 0 0 , 2 3 1 2 1 1 2 1 3 2 3 1 3 -> 3 0 0 0 0 0 0 2 2 1 1 0 0 1 1 2 2 , 2 3 3 3 3 2 3 3 0 1 0 3 3 -> 2 2 0 1 1 3 2 2 1 3 3 0 1 2 0 1 3 , 1 2 3 0 2 3 1 3 2 0 2 0 3 -> 1 3 1 3 3 3 2 3 0 1 3 3 2 0 0 1 3 , 1 3 1 2 1 1 2 2 1 2 1 0 3 -> 0 2 1 1 3 1 0 1 3 3 0 0 0 0 1 0 1 , 1 2 2 3 3 2 0 3 3 1 0 0 3 -> 2 2 0 2 0 0 0 0 1 0 1 1 3 3 1 0 3 , 1 2 1 1 0 3 0 3 3 1 0 0 3 -> 0 1 3 0 0 1 1 3 3 1 1 1 3 2 1 3 3 , 1 3 1 0 0 0 3 0 3 2 0 2 0 -> 1 0 0 1 0 1 3 1 3 0 1 3 0 1 3 1 3 , 1 3 3 3 0 3 0 0 3 2 0 2 0 -> 1 0 1 1 1 1 3 1 1 3 0 0 0 1 3 3 3 , 2 2 1 3 1 2 2 3 0 1 0 2 0 -> 3 2 1 1 3 3 3 1 1 3 3 0 0 2 0 1 0 , 1 1 2 0 1 1 0 1 1 0 3 1 0 -> 1 2 1 3 1 1 3 0 0 0 3 1 0 1 3 0 0 , 1 3 0 0 0 0 2 3 2 1 3 3 0 -> 1 0 1 3 1 3 1 3 0 0 1 1 0 3 0 0 0 , 1 3 2 2 2 2 0 1 1 2 0 3 0 -> 1 3 3 0 1 0 2 3 1 3 0 3 1 1 3 0 0 , 1 1 2 3 0 2 0 3 0 3 0 3 0 -> 0 0 1 2 2 2 2 2 3 0 0 1 3 1 1 3 3 , 2 2 3 3 2 3 0 3 1 0 1 0 0 -> 0 0 0 0 1 1 3 3 2 3 3 2 0 1 3 1 3 , 0 0 3 0 2 2 3 1 0 1 3 0 0 -> 0 0 0 1 3 2 1 0 0 0 1 3 3 0 1 3 0 } Applying sparse 2-tiling [Hofbauer/Geser/Waldmann, FSCD 2019]. After renaming modulo { (0,0)->0, (0,1)->1, (1,0)->2, (0,2)->3, (2,2)->4, (2,3)->5, (3,1)->6, (1,1)->7, (1,2)->8, (2,0)->9, (0,3)->10, (3,2)->11, (2,1)->12, (1,3)->13, (3,3)->14, (3,0)->15, (2,5)->16, (3,5)->17, (4,0)->18, (0,5)->19, (4,1)->20, (1,5)->21, (4,2)->22, (4,3)->23 }, it remains to prove termination of the 700-rule system { 0 1 2 3 4 5 6 7 8 4 4 4 4 9 -> 0 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 15 , 0 1 2 3 4 5 6 7 8 4 4 4 4 12 -> 0 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 6 , 0 1 2 3 4 5 6 7 8 4 4 4 4 4 -> 0 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 11 , 0 1 2 3 4 5 6 7 8 4 4 4 4 5 -> 0 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 14 , 0 1 2 3 4 5 6 7 8 4 4 4 4 16 -> 0 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 17 , 2 1 2 3 4 5 6 7 8 4 4 4 4 9 -> 2 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 15 , 2 1 2 3 4 5 6 7 8 4 4 4 4 12 -> 2 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 6 , 2 1 2 3 4 5 6 7 8 4 4 4 4 4 -> 2 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 11 , 2 1 2 3 4 5 6 7 8 4 4 4 4 5 -> 2 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 14 , 2 1 2 3 4 5 6 7 8 4 4 4 4 16 -> 2 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 17 , 9 1 2 3 4 5 6 7 8 4 4 4 4 9 -> 9 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 15 , 9 1 2 3 4 5 6 7 8 4 4 4 4 12 -> 9 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 6 , 9 1 2 3 4 5 6 7 8 4 4 4 4 4 -> 9 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 11 , 9 1 2 3 4 5 6 7 8 4 4 4 4 5 -> 9 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 14 , 9 1 2 3 4 5 6 7 8 4 4 4 4 16 -> 9 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 17 , 15 1 2 3 4 5 6 7 8 4 4 4 4 9 -> 15 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 15 , 15 1 2 3 4 5 6 7 8 4 4 4 4 12 -> 15 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 6 , 15 1 2 3 4 5 6 7 8 4 4 4 4 4 -> 15 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 11 , 15 1 2 3 4 5 6 7 8 4 4 4 4 5 -> 15 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 14 , 15 1 2 3 4 5 6 7 8 4 4 4 4 16 -> 15 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 17 , 18 1 2 3 4 5 6 7 8 4 4 4 4 9 -> 18 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 15 , 18 1 2 3 4 5 6 7 8 4 4 4 4 12 -> 18 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 6 , 18 1 2 3 4 5 6 7 8 4 4 4 4 4 -> 18 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 11 , 18 1 2 3 4 5 6 7 8 4 4 4 4 5 -> 18 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 14 , 18 1 2 3 4 5 6 7 8 4 4 4 4 16 -> 18 10 11 12 13 14 6 7 13 6 2 10 6 7 2 0 10 17 , 1 8 12 2 10 15 10 14 6 2 3 4 4 9 -> 0 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 0 , 1 8 12 2 10 15 10 14 6 2 3 4 4 12 -> 0 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 1 , 1 8 12 2 10 15 10 14 6 2 3 4 4 4 -> 0 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 3 , 1 8 12 2 10 15 10 14 6 2 3 4 4 5 -> 0 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 10 , 1 8 12 2 10 15 10 14 6 2 3 4 4 16 -> 0 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 19 , 7 8 12 2 10 15 10 14 6 2 3 4 4 9 -> 2 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 0 , 7 8 12 2 10 15 10 14 6 2 3 4 4 12 -> 2 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 1 , 7 8 12 2 10 15 10 14 6 2 3 4 4 4 -> 2 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 3 , 7 8 12 2 10 15 10 14 6 2 3 4 4 5 -> 2 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 10 , 7 8 12 2 10 15 10 14 6 2 3 4 4 16 -> 2 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 19 , 12 8 12 2 10 15 10 14 6 2 3 4 4 9 -> 9 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 0 , 12 8 12 2 10 15 10 14 6 2 3 4 4 12 -> 9 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 1 , 12 8 12 2 10 15 10 14 6 2 3 4 4 4 -> 9 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 3 , 12 8 12 2 10 15 10 14 6 2 3 4 4 5 -> 9 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 10 , 12 8 12 2 10 15 10 14 6 2 3 4 4 16 -> 9 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 19 , 6 8 12 2 10 15 10 14 6 2 3 4 4 9 -> 15 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 0 , 6 8 12 2 10 15 10 14 6 2 3 4 4 12 -> 15 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 1 , 6 8 12 2 10 15 10 14 6 2 3 4 4 4 -> 15 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 3 , 6 8 12 2 10 15 10 14 6 2 3 4 4 5 -> 15 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 10 , 6 8 12 2 10 15 10 14 6 2 3 4 4 16 -> 15 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 19 , 20 8 12 2 10 15 10 14 6 2 3 4 4 9 -> 18 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 0 , 20 8 12 2 10 15 10 14 6 2 3 4 4 12 -> 18 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 1 , 20 8 12 2 10 15 10 14 6 2 3 4 4 4 -> 18 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 3 , 20 8 12 2 10 15 10 14 6 2 3 4 4 5 -> 18 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 10 , 20 8 12 2 10 15 10 14 6 2 3 4 4 16 -> 18 1 2 0 0 0 1 13 6 7 2 1 8 9 1 13 15 19 , 0 0 0 1 8 12 13 6 7 8 9 3 4 9 -> 0 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 2 , 0 0 0 1 8 12 13 6 7 8 9 3 4 12 -> 0 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 7 , 0 0 0 1 8 12 13 6 7 8 9 3 4 4 -> 0 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 8 , 0 0 0 1 8 12 13 6 7 8 9 3 4 5 -> 0 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 13 , 0 0 0 1 8 12 13 6 7 8 9 3 4 16 -> 0 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 21 , 2 0 0 1 8 12 13 6 7 8 9 3 4 9 -> 2 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 2 , 2 0 0 1 8 12 13 6 7 8 9 3 4 12 -> 2 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 7 , 2 0 0 1 8 12 13 6 7 8 9 3 4 4 -> 2 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 8 , 2 0 0 1 8 12 13 6 7 8 9 3 4 5 -> 2 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 13 , 2 0 0 1 8 12 13 6 7 8 9 3 4 16 -> 2 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 21 , 9 0 0 1 8 12 13 6 7 8 9 3 4 9 -> 9 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 2 , 9 0 0 1 8 12 13 6 7 8 9 3 4 12 -> 9 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 7 , 9 0 0 1 8 12 13 6 7 8 9 3 4 4 -> 9 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 8 , 9 0 0 1 8 12 13 6 7 8 9 3 4 5 -> 9 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 13 , 9 0 0 1 8 12 13 6 7 8 9 3 4 16 -> 9 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 21 , 15 0 0 1 8 12 13 6 7 8 9 3 4 9 -> 15 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 2 , 15 0 0 1 8 12 13 6 7 8 9 3 4 12 -> 15 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 7 , 15 0 0 1 8 12 13 6 7 8 9 3 4 4 -> 15 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 8 , 15 0 0 1 8 12 13 6 7 8 9 3 4 5 -> 15 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 13 , 15 0 0 1 8 12 13 6 7 8 9 3 4 16 -> 15 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 21 , 18 0 0 1 8 12 13 6 7 8 9 3 4 9 -> 18 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 2 , 18 0 0 1 8 12 13 6 7 8 9 3 4 12 -> 18 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 7 , 18 0 0 1 8 12 13 6 7 8 9 3 4 4 -> 18 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 8 , 18 0 0 1 8 12 13 6 7 8 9 3 4 5 -> 18 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 13 , 18 0 0 1 8 12 13 6 7 8 9 3 4 16 -> 18 1 7 13 6 13 15 10 14 6 7 13 11 12 2 0 1 21 , 3 4 4 5 15 10 14 15 1 13 15 3 4 9 -> 0 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 2 , 3 4 4 5 15 10 14 15 1 13 15 3 4 12 -> 0 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 7 , 3 4 4 5 15 10 14 15 1 13 15 3 4 4 -> 0 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 8 , 3 4 4 5 15 10 14 15 1 13 15 3 4 5 -> 0 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 13 , 3 4 4 5 15 10 14 15 1 13 15 3 4 16 -> 0 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 21 , 8 4 4 5 15 10 14 15 1 13 15 3 4 9 -> 2 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 2 , 8 4 4 5 15 10 14 15 1 13 15 3 4 12 -> 2 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 7 , 8 4 4 5 15 10 14 15 1 13 15 3 4 4 -> 2 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 8 , 8 4 4 5 15 10 14 15 1 13 15 3 4 5 -> 2 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 13 , 8 4 4 5 15 10 14 15 1 13 15 3 4 16 -> 2 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 21 , 4 4 4 5 15 10 14 15 1 13 15 3 4 9 -> 9 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 2 , 4 4 4 5 15 10 14 15 1 13 15 3 4 12 -> 9 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 7 , 4 4 4 5 15 10 14 15 1 13 15 3 4 4 -> 9 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 8 , 4 4 4 5 15 10 14 15 1 13 15 3 4 5 -> 9 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 13 , 4 4 4 5 15 10 14 15 1 13 15 3 4 16 -> 9 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 21 , 11 4 4 5 15 10 14 15 1 13 15 3 4 9 -> 15 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 2 , 11 4 4 5 15 10 14 15 1 13 15 3 4 12 -> 15 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 7 , 11 4 4 5 15 10 14 15 1 13 15 3 4 4 -> 15 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 8 , 11 4 4 5 15 10 14 15 1 13 15 3 4 5 -> 15 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 13 , 11 4 4 5 15 10 14 15 1 13 15 3 4 16 -> 15 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 21 , 22 4 4 5 15 10 14 15 1 13 15 3 4 9 -> 18 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 2 , 22 4 4 5 15 10 14 15 1 13 15 3 4 12 -> 18 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 7 , 22 4 4 5 15 10 14 15 1 13 15 3 4 4 -> 18 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 8 , 22 4 4 5 15 10 14 15 1 13 15 3 4 5 -> 18 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 13 , 22 4 4 5 15 10 14 15 1 13 15 3 4 16 -> 18 0 1 13 11 4 12 2 0 10 14 15 10 15 1 13 6 21 , 3 5 14 6 13 14 15 1 2 1 8 9 3 9 -> 10 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 15 , 3 5 14 6 13 14 15 1 2 1 8 9 3 12 -> 10 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 6 , 3 5 14 6 13 14 15 1 2 1 8 9 3 4 -> 10 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 11 , 3 5 14 6 13 14 15 1 2 1 8 9 3 5 -> 10 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 14 , 3 5 14 6 13 14 15 1 2 1 8 9 3 16 -> 10 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 17 , 8 5 14 6 13 14 15 1 2 1 8 9 3 9 -> 13 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 15 , 8 5 14 6 13 14 15 1 2 1 8 9 3 12 -> 13 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 6 , 8 5 14 6 13 14 15 1 2 1 8 9 3 4 -> 13 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 11 , 8 5 14 6 13 14 15 1 2 1 8 9 3 5 -> 13 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 14 , 8 5 14 6 13 14 15 1 2 1 8 9 3 16 -> 13 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 17 , 4 5 14 6 13 14 15 1 2 1 8 9 3 9 -> 5 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 15 , 4 5 14 6 13 14 15 1 2 1 8 9 3 12 -> 5 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 6 , 4 5 14 6 13 14 15 1 2 1 8 9 3 4 -> 5 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 11 , 4 5 14 6 13 14 15 1 2 1 8 9 3 5 -> 5 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 14 , 4 5 14 6 13 14 15 1 2 1 8 9 3 16 -> 5 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 17 , 11 5 14 6 13 14 15 1 2 1 8 9 3 9 -> 14 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 15 , 11 5 14 6 13 14 15 1 2 1 8 9 3 12 -> 14 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 6 , 11 5 14 6 13 14 15 1 2 1 8 9 3 4 -> 14 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 11 , 11 5 14 6 13 14 15 1 2 1 8 9 3 5 -> 14 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 14 , 11 5 14 6 13 14 15 1 2 1 8 9 3 16 -> 14 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 17 , 22 5 14 6 13 14 15 1 2 1 8 9 3 9 -> 23 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 15 , 22 5 14 6 13 14 15 1 2 1 8 9 3 12 -> 23 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 6 , 22 5 14 6 13 14 15 1 2 1 8 9 3 4 -> 23 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 11 , 22 5 14 6 13 14 15 1 2 1 8 9 3 5 -> 23 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 14 , 22 5 14 6 13 14 15 1 2 1 8 9 3 16 -> 23 6 2 1 13 14 11 5 15 1 2 0 0 3 9 0 10 17 , 1 13 6 7 2 10 15 3 4 5 14 15 3 9 -> 1 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 15 , 1 13 6 7 2 10 15 3 4 5 14 15 3 12 -> 1 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 6 , 1 13 6 7 2 10 15 3 4 5 14 15 3 4 -> 1 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 11 , 1 13 6 7 2 10 15 3 4 5 14 15 3 5 -> 1 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 14 , 1 13 6 7 2 10 15 3 4 5 14 15 3 16 -> 1 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 17 , 7 13 6 7 2 10 15 3 4 5 14 15 3 9 -> 7 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 15 , 7 13 6 7 2 10 15 3 4 5 14 15 3 12 -> 7 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 6 , 7 13 6 7 2 10 15 3 4 5 14 15 3 4 -> 7 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 11 , 7 13 6 7 2 10 15 3 4 5 14 15 3 5 -> 7 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 14 , 7 13 6 7 2 10 15 3 4 5 14 15 3 16 -> 7 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 17 , 12 13 6 7 2 10 15 3 4 5 14 15 3 9 -> 12 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 15 , 12 13 6 7 2 10 15 3 4 5 14 15 3 12 -> 12 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 6 , 12 13 6 7 2 10 15 3 4 5 14 15 3 4 -> 12 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 11 , 12 13 6 7 2 10 15 3 4 5 14 15 3 5 -> 12 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 14 , 12 13 6 7 2 10 15 3 4 5 14 15 3 16 -> 12 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 17 , 6 13 6 7 2 10 15 3 4 5 14 15 3 9 -> 6 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 15 , 6 13 6 7 2 10 15 3 4 5 14 15 3 12 -> 6 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 6 , 6 13 6 7 2 10 15 3 4 5 14 15 3 4 -> 6 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 11 , 6 13 6 7 2 10 15 3 4 5 14 15 3 5 -> 6 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 14 , 6 13 6 7 2 10 15 3 4 5 14 15 3 16 -> 6 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 17 , 20 13 6 7 2 10 15 3 4 5 14 15 3 9 -> 20 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 15 , 20 13 6 7 2 10 15 3 4 5 14 15 3 12 -> 20 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 6 , 20 13 6 7 2 10 15 3 4 5 14 15 3 4 -> 20 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 11 , 20 13 6 7 2 10 15 3 4 5 14 15 3 5 -> 20 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 14 , 20 13 6 7 2 10 15 3 4 5 14 15 3 16 -> 20 2 3 12 7 13 6 13 6 2 3 5 6 2 0 3 5 17 , 0 3 4 12 7 2 10 6 8 9 0 0 3 9 -> 0 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 9 , 0 3 4 12 7 2 10 6 8 9 0 0 3 12 -> 0 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 12 , 0 3 4 12 7 2 10 6 8 9 0 0 3 4 -> 0 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 4 , 0 3 4 12 7 2 10 6 8 9 0 0 3 5 -> 0 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 5 , 0 3 4 12 7 2 10 6 8 9 0 0 3 16 -> 0 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 16 , 2 3 4 12 7 2 10 6 8 9 0 0 3 9 -> 2 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 9 , 2 3 4 12 7 2 10 6 8 9 0 0 3 12 -> 2 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 12 , 2 3 4 12 7 2 10 6 8 9 0 0 3 4 -> 2 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 4 , 2 3 4 12 7 2 10 6 8 9 0 0 3 5 -> 2 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 5 , 2 3 4 12 7 2 10 6 8 9 0 0 3 16 -> 2 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 16 , 9 3 4 12 7 2 10 6 8 9 0 0 3 9 -> 9 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 9 , 9 3 4 12 7 2 10 6 8 9 0 0 3 12 -> 9 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 12 , 9 3 4 12 7 2 10 6 8 9 0 0 3 4 -> 9 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 4 , 9 3 4 12 7 2 10 6 8 9 0 0 3 5 -> 9 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 5 , 9 3 4 12 7 2 10 6 8 9 0 0 3 16 -> 9 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 16 , 15 3 4 12 7 2 10 6 8 9 0 0 3 9 -> 15 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 9 , 15 3 4 12 7 2 10 6 8 9 0 0 3 12 -> 15 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 12 , 15 3 4 12 7 2 10 6 8 9 0 0 3 4 -> 15 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 4 , 15 3 4 12 7 2 10 6 8 9 0 0 3 5 -> 15 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 5 , 15 3 4 12 7 2 10 6 8 9 0 0 3 16 -> 15 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 16 , 18 3 4 12 7 2 10 6 8 9 0 0 3 9 -> 18 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 9 , 18 3 4 12 7 2 10 6 8 9 0 0 3 12 -> 18 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 12 , 18 3 4 12 7 2 10 6 8 9 0 0 3 4 -> 18 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 4 , 18 3 4 12 7 2 10 6 8 9 0 0 3 5 -> 18 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 5 , 18 3 4 12 7 2 10 6 8 9 0 0 3 16 -> 18 3 9 0 3 9 1 2 1 13 6 13 6 8 5 14 11 16 , 10 15 3 5 15 1 7 7 7 2 1 8 12 2 -> 0 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 0 , 10 15 3 5 15 1 7 7 7 2 1 8 12 7 -> 0 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 1 , 10 15 3 5 15 1 7 7 7 2 1 8 12 8 -> 0 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 3 , 10 15 3 5 15 1 7 7 7 2 1 8 12 13 -> 0 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 10 , 10 15 3 5 15 1 7 7 7 2 1 8 12 21 -> 0 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 19 , 13 15 3 5 15 1 7 7 7 2 1 8 12 2 -> 2 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 0 , 13 15 3 5 15 1 7 7 7 2 1 8 12 7 -> 2 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 1 , 13 15 3 5 15 1 7 7 7 2 1 8 12 8 -> 2 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 3 , 13 15 3 5 15 1 7 7 7 2 1 8 12 13 -> 2 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 10 , 13 15 3 5 15 1 7 7 7 2 1 8 12 21 -> 2 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 19 , 5 15 3 5 15 1 7 7 7 2 1 8 12 2 -> 9 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 0 , 5 15 3 5 15 1 7 7 7 2 1 8 12 7 -> 9 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 1 , 5 15 3 5 15 1 7 7 7 2 1 8 12 8 -> 9 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 3 , 5 15 3 5 15 1 7 7 7 2 1 8 12 13 -> 9 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 10 , 5 15 3 5 15 1 7 7 7 2 1 8 12 21 -> 9 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 19 , 14 15 3 5 15 1 7 7 7 2 1 8 12 2 -> 15 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 0 , 14 15 3 5 15 1 7 7 7 2 1 8 12 7 -> 15 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 1 , 14 15 3 5 15 1 7 7 7 2 1 8 12 8 -> 15 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 3 , 14 15 3 5 15 1 7 7 7 2 1 8 12 13 -> 15 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 10 , 14 15 3 5 15 1 7 7 7 2 1 8 12 21 -> 15 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 19 , 23 15 3 5 15 1 7 7 7 2 1 8 12 2 -> 18 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 0 , 23 15 3 5 15 1 7 7 7 2 1 8 12 7 -> 18 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 1 , 23 15 3 5 15 1 7 7 7 2 1 8 12 8 -> 18 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 3 , 23 15 3 5 15 1 7 7 7 2 1 8 12 13 -> 18 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 10 , 23 15 3 5 15 1 7 7 7 2 1 8 12 21 -> 18 3 12 7 13 6 13 6 8 12 8 9 0 1 2 0 0 19 , 1 8 12 13 6 8 4 9 0 10 15 3 12 2 -> 1 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 15 , 1 8 12 13 6 8 4 9 0 10 15 3 12 7 -> 1 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 6 , 1 8 12 13 6 8 4 9 0 10 15 3 12 8 -> 1 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 11 , 1 8 12 13 6 8 4 9 0 10 15 3 12 13 -> 1 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 14 , 1 8 12 13 6 8 4 9 0 10 15 3 12 21 -> 1 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 17 , 7 8 12 13 6 8 4 9 0 10 15 3 12 2 -> 7 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 15 , 7 8 12 13 6 8 4 9 0 10 15 3 12 7 -> 7 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 6 , 7 8 12 13 6 8 4 9 0 10 15 3 12 8 -> 7 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 11 , 7 8 12 13 6 8 4 9 0 10 15 3 12 13 -> 7 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 14 , 7 8 12 13 6 8 4 9 0 10 15 3 12 21 -> 7 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 17 , 12 8 12 13 6 8 4 9 0 10 15 3 12 2 -> 12 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 15 , 12 8 12 13 6 8 4 9 0 10 15 3 12 7 -> 12 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 6 , 12 8 12 13 6 8 4 9 0 10 15 3 12 8 -> 12 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 11 , 12 8 12 13 6 8 4 9 0 10 15 3 12 13 -> 12 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 14 , 12 8 12 13 6 8 4 9 0 10 15 3 12 21 -> 12 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 17 , 6 8 12 13 6 8 4 9 0 10 15 3 12 2 -> 6 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 15 , 6 8 12 13 6 8 4 9 0 10 15 3 12 7 -> 6 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 6 , 6 8 12 13 6 8 4 9 0 10 15 3 12 8 -> 6 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 11 , 6 8 12 13 6 8 4 9 0 10 15 3 12 13 -> 6 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 14 , 6 8 12 13 6 8 4 9 0 10 15 3 12 21 -> 6 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 17 , 20 8 12 13 6 8 4 9 0 10 15 3 12 2 -> 20 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 15 , 20 8 12 13 6 8 4 9 0 10 15 3 12 7 -> 20 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 6 , 20 8 12 13 6 8 4 9 0 10 15 3 12 8 -> 20 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 11 , 20 8 12 13 6 8 4 9 0 10 15 3 12 13 -> 20 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 14 , 20 8 12 13 6 8 4 9 0 10 15 3 12 21 -> 20 13 14 15 1 2 0 1 13 14 14 15 1 7 7 7 13 17 , 0 1 8 5 6 8 9 10 11 4 4 12 7 2 -> 0 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 2 , 0 1 8 5 6 8 9 10 11 4 4 12 7 7 -> 0 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 7 , 0 1 8 5 6 8 9 10 11 4 4 12 7 8 -> 0 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 8 , 0 1 8 5 6 8 9 10 11 4 4 12 7 13 -> 0 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 13 , 0 1 8 5 6 8 9 10 11 4 4 12 7 21 -> 0 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 21 , 2 1 8 5 6 8 9 10 11 4 4 12 7 2 -> 2 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 2 , 2 1 8 5 6 8 9 10 11 4 4 12 7 7 -> 2 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 7 , 2 1 8 5 6 8 9 10 11 4 4 12 7 8 -> 2 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 8 , 2 1 8 5 6 8 9 10 11 4 4 12 7 13 -> 2 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 13 , 2 1 8 5 6 8 9 10 11 4 4 12 7 21 -> 2 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 21 , 9 1 8 5 6 8 9 10 11 4 4 12 7 2 -> 9 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 2 , 9 1 8 5 6 8 9 10 11 4 4 12 7 7 -> 9 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 7 , 9 1 8 5 6 8 9 10 11 4 4 12 7 8 -> 9 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 8 , 9 1 8 5 6 8 9 10 11 4 4 12 7 13 -> 9 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 13 , 9 1 8 5 6 8 9 10 11 4 4 12 7 21 -> 9 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 21 , 15 1 8 5 6 8 9 10 11 4 4 12 7 2 -> 15 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 2 , 15 1 8 5 6 8 9 10 11 4 4 12 7 7 -> 15 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 7 , 15 1 8 5 6 8 9 10 11 4 4 12 7 8 -> 15 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 8 , 15 1 8 5 6 8 9 10 11 4 4 12 7 13 -> 15 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 13 , 15 1 8 5 6 8 9 10 11 4 4 12 7 21 -> 15 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 21 , 18 1 8 5 6 8 9 10 11 4 4 12 7 2 -> 18 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 2 , 18 1 8 5 6 8 9 10 11 4 4 12 7 7 -> 18 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 7 , 18 1 8 5 6 8 9 10 11 4 4 12 7 8 -> 18 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 8 , 18 1 8 5 6 8 9 10 11 4 4 12 7 13 -> 18 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 13 , 18 1 8 5 6 8 9 10 11 4 4 12 7 21 -> 18 10 11 5 11 12 13 6 7 13 15 0 1 13 14 14 6 21 , 3 4 4 4 9 3 5 14 11 12 13 6 7 2 -> 0 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 15 , 3 4 4 4 9 3 5 14 11 12 13 6 7 7 -> 0 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 6 , 3 4 4 4 9 3 5 14 11 12 13 6 7 8 -> 0 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 11 , 3 4 4 4 9 3 5 14 11 12 13 6 7 13 -> 0 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 14 , 3 4 4 4 9 3 5 14 11 12 13 6 7 21 -> 0 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 17 , 8 4 4 4 9 3 5 14 11 12 13 6 7 2 -> 2 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 15 , 8 4 4 4 9 3 5 14 11 12 13 6 7 7 -> 2 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 6 , 8 4 4 4 9 3 5 14 11 12 13 6 7 8 -> 2 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 11 , 8 4 4 4 9 3 5 14 11 12 13 6 7 13 -> 2 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 14 , 8 4 4 4 9 3 5 14 11 12 13 6 7 21 -> 2 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 17 , 4 4 4 4 9 3 5 14 11 12 13 6 7 2 -> 9 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 15 , 4 4 4 4 9 3 5 14 11 12 13 6 7 7 -> 9 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 6 , 4 4 4 4 9 3 5 14 11 12 13 6 7 8 -> 9 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 11 , 4 4 4 4 9 3 5 14 11 12 13 6 7 13 -> 9 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 14 , 4 4 4 4 9 3 5 14 11 12 13 6 7 21 -> 9 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 17 , 11 4 4 4 9 3 5 14 11 12 13 6 7 2 -> 15 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 15 , 11 4 4 4 9 3 5 14 11 12 13 6 7 7 -> 15 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 6 , 11 4 4 4 9 3 5 14 11 12 13 6 7 8 -> 15 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 11 , 11 4 4 4 9 3 5 14 11 12 13 6 7 13 -> 15 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 14 , 11 4 4 4 9 3 5 14 11 12 13 6 7 21 -> 15 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 17 , 22 4 4 4 9 3 5 14 11 12 13 6 7 2 -> 18 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 15 , 22 4 4 4 9 3 5 14 11 12 13 6 7 7 -> 18 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 6 , 22 4 4 4 9 3 5 14 11 12 13 6 7 8 -> 18 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 11 , 22 4 4 4 9 3 5 14 11 12 13 6 7 13 -> 18 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 14 , 22 4 4 4 9 3 5 14 11 12 13 6 7 21 -> 18 3 12 7 2 10 11 12 8 5 6 2 0 0 1 13 14 17 , 3 12 2 10 6 8 5 6 7 2 10 15 1 2 -> 1 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 2 , 3 12 2 10 6 8 5 6 7 2 10 15 1 7 -> 1 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 7 , 3 12 2 10 6 8 5 6 7 2 10 15 1 8 -> 1 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 8 , 3 12 2 10 6 8 5 6 7 2 10 15 1 13 -> 1 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 13 , 3 12 2 10 6 8 5 6 7 2 10 15 1 21 -> 1 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 21 , 8 12 2 10 6 8 5 6 7 2 10 15 1 2 -> 7 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 2 , 8 12 2 10 6 8 5 6 7 2 10 15 1 7 -> 7 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 7 , 8 12 2 10 6 8 5 6 7 2 10 15 1 8 -> 7 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 8 , 8 12 2 10 6 8 5 6 7 2 10 15 1 13 -> 7 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 13 , 8 12 2 10 6 8 5 6 7 2 10 15 1 21 -> 7 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 21 , 4 12 2 10 6 8 5 6 7 2 10 15 1 2 -> 12 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 2 , 4 12 2 10 6 8 5 6 7 2 10 15 1 7 -> 12 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 7 , 4 12 2 10 6 8 5 6 7 2 10 15 1 8 -> 12 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 8 , 4 12 2 10 6 8 5 6 7 2 10 15 1 13 -> 12 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 13 , 4 12 2 10 6 8 5 6 7 2 10 15 1 21 -> 12 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 21 , 11 12 2 10 6 8 5 6 7 2 10 15 1 2 -> 6 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 2 , 11 12 2 10 6 8 5 6 7 2 10 15 1 7 -> 6 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 7 , 11 12 2 10 6 8 5 6 7 2 10 15 1 8 -> 6 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 8 , 11 12 2 10 6 8 5 6 7 2 10 15 1 13 -> 6 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 13 , 11 12 2 10 6 8 5 6 7 2 10 15 1 21 -> 6 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 21 , 22 12 2 10 6 8 5 6 7 2 10 15 1 2 -> 20 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 2 , 22 12 2 10 6 8 5 6 7 2 10 15 1 7 -> 20 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 7 , 22 12 2 10 6 8 5 6 7 2 10 15 1 8 -> 20 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 8 , 22 12 2 10 6 8 5 6 7 2 10 15 1 13 -> 20 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 13 , 22 12 2 10 6 8 5 6 7 2 10 15 1 21 -> 20 2 1 13 14 6 13 6 8 9 0 10 11 5 14 15 1 21 , 0 0 3 4 5 15 10 14 15 0 0 3 5 15 -> 0 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 0 , 0 0 3 4 5 15 10 14 15 0 0 3 5 6 -> 0 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 1 , 0 0 3 4 5 15 10 14 15 0 0 3 5 11 -> 0 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 3 , 0 0 3 4 5 15 10 14 15 0 0 3 5 14 -> 0 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 10 , 0 0 3 4 5 15 10 14 15 0 0 3 5 17 -> 0 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 19 , 2 0 3 4 5 15 10 14 15 0 0 3 5 15 -> 2 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 0 , 2 0 3 4 5 15 10 14 15 0 0 3 5 6 -> 2 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 1 , 2 0 3 4 5 15 10 14 15 0 0 3 5 11 -> 2 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 3 , 2 0 3 4 5 15 10 14 15 0 0 3 5 14 -> 2 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 10 , 2 0 3 4 5 15 10 14 15 0 0 3 5 17 -> 2 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 19 , 9 0 3 4 5 15 10 14 15 0 0 3 5 15 -> 9 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 0 , 9 0 3 4 5 15 10 14 15 0 0 3 5 6 -> 9 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 1 , 9 0 3 4 5 15 10 14 15 0 0 3 5 11 -> 9 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 3 , 9 0 3 4 5 15 10 14 15 0 0 3 5 14 -> 9 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 10 , 9 0 3 4 5 15 10 14 15 0 0 3 5 17 -> 9 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 19 , 15 0 3 4 5 15 10 14 15 0 0 3 5 15 -> 15 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 0 , 15 0 3 4 5 15 10 14 15 0 0 3 5 6 -> 15 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 1 , 15 0 3 4 5 15 10 14 15 0 0 3 5 11 -> 15 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 3 , 15 0 3 4 5 15 10 14 15 0 0 3 5 14 -> 15 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 10 , 15 0 3 4 5 15 10 14 15 0 0 3 5 17 -> 15 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 19 , 18 0 3 4 5 15 10 14 15 0 0 3 5 15 -> 18 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 0 , 18 0 3 4 5 15 10 14 15 0 0 3 5 6 -> 18 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 1 , 18 0 3 4 5 15 10 14 15 0 0 3 5 11 -> 18 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 3 , 18 0 3 4 5 15 10 14 15 0 0 3 5 14 -> 18 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 10 , 18 0 3 4 5 15 10 14 15 0 0 3 5 17 -> 18 0 1 13 14 6 13 6 7 13 6 7 8 5 14 15 0 19 , 3 5 6 8 12 7 8 12 13 11 5 6 13 15 -> 10 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 9 , 3 5 6 8 12 7 8 12 13 11 5 6 13 6 -> 10 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 12 , 3 5 6 8 12 7 8 12 13 11 5 6 13 11 -> 10 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 4 , 3 5 6 8 12 7 8 12 13 11 5 6 13 14 -> 10 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 5 , 3 5 6 8 12 7 8 12 13 11 5 6 13 17 -> 10 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 16 , 8 5 6 8 12 7 8 12 13 11 5 6 13 15 -> 13 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 9 , 8 5 6 8 12 7 8 12 13 11 5 6 13 6 -> 13 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 12 , 8 5 6 8 12 7 8 12 13 11 5 6 13 11 -> 13 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 4 , 8 5 6 8 12 7 8 12 13 11 5 6 13 14 -> 13 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 5 , 8 5 6 8 12 7 8 12 13 11 5 6 13 17 -> 13 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 16 , 4 5 6 8 12 7 8 12 13 11 5 6 13 15 -> 5 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 9 , 4 5 6 8 12 7 8 12 13 11 5 6 13 6 -> 5 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 12 , 4 5 6 8 12 7 8 12 13 11 5 6 13 11 -> 5 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 4 , 4 5 6 8 12 7 8 12 13 11 5 6 13 14 -> 5 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 5 , 4 5 6 8 12 7 8 12 13 11 5 6 13 17 -> 5 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 16 , 11 5 6 8 12 7 8 12 13 11 5 6 13 15 -> 14 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 9 , 11 5 6 8 12 7 8 12 13 11 5 6 13 6 -> 14 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 12 , 11 5 6 8 12 7 8 12 13 11 5 6 13 11 -> 14 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 4 , 11 5 6 8 12 7 8 12 13 11 5 6 13 14 -> 14 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 5 , 11 5 6 8 12 7 8 12 13 11 5 6 13 17 -> 14 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 16 , 22 5 6 8 12 7 8 12 13 11 5 6 13 15 -> 23 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 9 , 22 5 6 8 12 7 8 12 13 11 5 6 13 6 -> 23 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 12 , 22 5 6 8 12 7 8 12 13 11 5 6 13 11 -> 23 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 4 , 22 5 6 8 12 7 8 12 13 11 5 6 13 14 -> 23 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 5 , 22 5 6 8 12 7 8 12 13 11 5 6 13 17 -> 23 15 0 0 0 0 0 3 4 12 7 2 0 1 7 8 4 16 , 3 5 14 14 14 11 5 14 15 1 2 10 14 15 -> 3 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 15 , 3 5 14 14 14 11 5 14 15 1 2 10 14 6 -> 3 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 6 , 3 5 14 14 14 11 5 14 15 1 2 10 14 11 -> 3 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 11 , 3 5 14 14 14 11 5 14 15 1 2 10 14 14 -> 3 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 14 , 3 5 14 14 14 11 5 14 15 1 2 10 14 17 -> 3 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 17 , 8 5 14 14 14 11 5 14 15 1 2 10 14 15 -> 8 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 15 , 8 5 14 14 14 11 5 14 15 1 2 10 14 6 -> 8 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 6 , 8 5 14 14 14 11 5 14 15 1 2 10 14 11 -> 8 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 11 , 8 5 14 14 14 11 5 14 15 1 2 10 14 14 -> 8 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 14 , 8 5 14 14 14 11 5 14 15 1 2 10 14 17 -> 8 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 17 , 4 5 14 14 14 11 5 14 15 1 2 10 14 15 -> 4 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 15 , 4 5 14 14 14 11 5 14 15 1 2 10 14 6 -> 4 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 6 , 4 5 14 14 14 11 5 14 15 1 2 10 14 11 -> 4 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 11 , 4 5 14 14 14 11 5 14 15 1 2 10 14 14 -> 4 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 14 , 4 5 14 14 14 11 5 14 15 1 2 10 14 17 -> 4 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 17 , 11 5 14 14 14 11 5 14 15 1 2 10 14 15 -> 11 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 15 , 11 5 14 14 14 11 5 14 15 1 2 10 14 6 -> 11 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 6 , 11 5 14 14 14 11 5 14 15 1 2 10 14 11 -> 11 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 11 , 11 5 14 14 14 11 5 14 15 1 2 10 14 14 -> 11 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 14 , 11 5 14 14 14 11 5 14 15 1 2 10 14 17 -> 11 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 17 , 22 5 14 14 14 11 5 14 15 1 2 10 14 15 -> 22 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 15 , 22 5 14 14 14 11 5 14 15 1 2 10 14 6 -> 22 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 6 , 22 5 14 14 14 11 5 14 15 1 2 10 14 11 -> 22 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 11 , 22 5 14 14 14 11 5 14 15 1 2 10 14 14 -> 22 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 14 , 22 5 14 14 14 11 5 14 15 1 2 10 14 17 -> 22 4 9 1 7 13 11 4 12 13 14 15 1 8 9 1 13 17 , 1 8 5 15 3 5 6 13 11 9 3 9 10 15 -> 1 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 15 , 1 8 5 15 3 5 6 13 11 9 3 9 10 6 -> 1 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 6 , 1 8 5 15 3 5 6 13 11 9 3 9 10 11 -> 1 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 11 , 1 8 5 15 3 5 6 13 11 9 3 9 10 14 -> 1 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 14 , 1 8 5 15 3 5 6 13 11 9 3 9 10 17 -> 1 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 17 , 7 8 5 15 3 5 6 13 11 9 3 9 10 15 -> 7 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 15 , 7 8 5 15 3 5 6 13 11 9 3 9 10 6 -> 7 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 6 , 7 8 5 15 3 5 6 13 11 9 3 9 10 11 -> 7 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 11 , 7 8 5 15 3 5 6 13 11 9 3 9 10 14 -> 7 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 14 , 7 8 5 15 3 5 6 13 11 9 3 9 10 17 -> 7 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 17 , 12 8 5 15 3 5 6 13 11 9 3 9 10 15 -> 12 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 15 , 12 8 5 15 3 5 6 13 11 9 3 9 10 6 -> 12 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 6 , 12 8 5 15 3 5 6 13 11 9 3 9 10 11 -> 12 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 11 , 12 8 5 15 3 5 6 13 11 9 3 9 10 14 -> 12 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 14 , 12 8 5 15 3 5 6 13 11 9 3 9 10 17 -> 12 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 17 , 6 8 5 15 3 5 6 13 11 9 3 9 10 15 -> 6 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 15 , 6 8 5 15 3 5 6 13 11 9 3 9 10 6 -> 6 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 6 , 6 8 5 15 3 5 6 13 11 9 3 9 10 11 -> 6 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 11 , 6 8 5 15 3 5 6 13 11 9 3 9 10 14 -> 6 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 14 , 6 8 5 15 3 5 6 13 11 9 3 9 10 17 -> 6 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 17 , 20 8 5 15 3 5 6 13 11 9 3 9 10 15 -> 20 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 15 , 20 8 5 15 3 5 6 13 11 9 3 9 10 6 -> 20 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 6 , 20 8 5 15 3 5 6 13 11 9 3 9 10 11 -> 20 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 11 , 20 8 5 15 3 5 6 13 11 9 3 9 10 14 -> 20 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 14 , 20 8 5 15 3 5 6 13 11 9 3 9 10 17 -> 20 13 6 13 14 14 11 5 15 1 13 14 11 9 0 1 13 17 , 1 13 6 8 12 7 8 4 12 8 12 2 10 15 -> 0 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 2 , 1 13 6 8 12 7 8 4 12 8 12 2 10 6 -> 0 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 7 , 1 13 6 8 12 7 8 4 12 8 12 2 10 11 -> 0 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 8 , 1 13 6 8 12 7 8 4 12 8 12 2 10 14 -> 0 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 13 , 1 13 6 8 12 7 8 4 12 8 12 2 10 17 -> 0 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 21 , 7 13 6 8 12 7 8 4 12 8 12 2 10 15 -> 2 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 2 , 7 13 6 8 12 7 8 4 12 8 12 2 10 6 -> 2 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 7 , 7 13 6 8 12 7 8 4 12 8 12 2 10 11 -> 2 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 8 , 7 13 6 8 12 7 8 4 12 8 12 2 10 14 -> 2 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 13 , 7 13 6 8 12 7 8 4 12 8 12 2 10 17 -> 2 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 21 , 12 13 6 8 12 7 8 4 12 8 12 2 10 15 -> 9 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 2 , 12 13 6 8 12 7 8 4 12 8 12 2 10 6 -> 9 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 7 , 12 13 6 8 12 7 8 4 12 8 12 2 10 11 -> 9 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 8 , 12 13 6 8 12 7 8 4 12 8 12 2 10 14 -> 9 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 13 , 12 13 6 8 12 7 8 4 12 8 12 2 10 17 -> 9 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 21 , 6 13 6 8 12 7 8 4 12 8 12 2 10 15 -> 15 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 2 , 6 13 6 8 12 7 8 4 12 8 12 2 10 6 -> 15 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 7 , 6 13 6 8 12 7 8 4 12 8 12 2 10 11 -> 15 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 8 , 6 13 6 8 12 7 8 4 12 8 12 2 10 14 -> 15 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 13 , 6 13 6 8 12 7 8 4 12 8 12 2 10 17 -> 15 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 21 , 20 13 6 8 12 7 8 4 12 8 12 2 10 15 -> 18 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 2 , 20 13 6 8 12 7 8 4 12 8 12 2 10 6 -> 18 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 7 , 20 13 6 8 12 7 8 4 12 8 12 2 10 11 -> 18 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 8 , 20 13 6 8 12 7 8 4 12 8 12 2 10 14 -> 18 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 13 , 20 13 6 8 12 7 8 4 12 8 12 2 10 17 -> 18 3 12 7 13 6 2 1 13 14 15 0 0 0 1 2 1 21 , 1 8 4 5 14 11 9 10 14 6 2 0 10 15 -> 3 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 15 , 1 8 4 5 14 11 9 10 14 6 2 0 10 6 -> 3 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 6 , 1 8 4 5 14 11 9 10 14 6 2 0 10 11 -> 3 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 11 , 1 8 4 5 14 11 9 10 14 6 2 0 10 14 -> 3 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 14 , 1 8 4 5 14 11 9 10 14 6 2 0 10 17 -> 3 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 17 , 7 8 4 5 14 11 9 10 14 6 2 0 10 15 -> 8 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 15 , 7 8 4 5 14 11 9 10 14 6 2 0 10 6 -> 8 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 6 , 7 8 4 5 14 11 9 10 14 6 2 0 10 11 -> 8 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 11 , 7 8 4 5 14 11 9 10 14 6 2 0 10 14 -> 8 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 14 , 7 8 4 5 14 11 9 10 14 6 2 0 10 17 -> 8 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 17 , 12 8 4 5 14 11 9 10 14 6 2 0 10 15 -> 4 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 15 , 12 8 4 5 14 11 9 10 14 6 2 0 10 6 -> 4 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 6 , 12 8 4 5 14 11 9 10 14 6 2 0 10 11 -> 4 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 11 , 12 8 4 5 14 11 9 10 14 6 2 0 10 14 -> 4 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 14 , 12 8 4 5 14 11 9 10 14 6 2 0 10 17 -> 4 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 17 , 6 8 4 5 14 11 9 10 14 6 2 0 10 15 -> 11 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 15 , 6 8 4 5 14 11 9 10 14 6 2 0 10 6 -> 11 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 6 , 6 8 4 5 14 11 9 10 14 6 2 0 10 11 -> 11 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 11 , 6 8 4 5 14 11 9 10 14 6 2 0 10 14 -> 11 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 14 , 6 8 4 5 14 11 9 10 14 6 2 0 10 17 -> 11 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 17 , 20 8 4 5 14 11 9 10 14 6 2 0 10 15 -> 22 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 15 , 20 8 4 5 14 11 9 10 14 6 2 0 10 6 -> 22 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 6 , 20 8 4 5 14 11 9 10 14 6 2 0 10 11 -> 22 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 11 , 20 8 4 5 14 11 9 10 14 6 2 0 10 14 -> 22 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 14 , 20 8 4 5 14 11 9 10 14 6 2 0 10 17 -> 22 4 9 3 9 0 0 0 1 2 1 7 13 14 6 2 10 17 , 1 8 12 7 2 10 15 10 14 6 2 0 10 15 -> 0 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 15 , 1 8 12 7 2 10 15 10 14 6 2 0 10 6 -> 0 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 6 , 1 8 12 7 2 10 15 10 14 6 2 0 10 11 -> 0 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 11 , 1 8 12 7 2 10 15 10 14 6 2 0 10 14 -> 0 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 14 , 1 8 12 7 2 10 15 10 14 6 2 0 10 17 -> 0 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 17 , 7 8 12 7 2 10 15 10 14 6 2 0 10 15 -> 2 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 15 , 7 8 12 7 2 10 15 10 14 6 2 0 10 6 -> 2 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 6 , 7 8 12 7 2 10 15 10 14 6 2 0 10 11 -> 2 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 11 , 7 8 12 7 2 10 15 10 14 6 2 0 10 14 -> 2 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 14 , 7 8 12 7 2 10 15 10 14 6 2 0 10 17 -> 2 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 17 , 12 8 12 7 2 10 15 10 14 6 2 0 10 15 -> 9 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 15 , 12 8 12 7 2 10 15 10 14 6 2 0 10 6 -> 9 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 6 , 12 8 12 7 2 10 15 10 14 6 2 0 10 11 -> 9 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 11 , 12 8 12 7 2 10 15 10 14 6 2 0 10 14 -> 9 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 14 , 12 8 12 7 2 10 15 10 14 6 2 0 10 17 -> 9 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 17 , 6 8 12 7 2 10 15 10 14 6 2 0 10 15 -> 15 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 15 , 6 8 12 7 2 10 15 10 14 6 2 0 10 6 -> 15 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 6 , 6 8 12 7 2 10 15 10 14 6 2 0 10 11 -> 15 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 11 , 6 8 12 7 2 10 15 10 14 6 2 0 10 14 -> 15 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 14 , 6 8 12 7 2 10 15 10 14 6 2 0 10 17 -> 15 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 17 , 20 8 12 7 2 10 15 10 14 6 2 0 10 15 -> 18 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 15 , 20 8 12 7 2 10 15 10 14 6 2 0 10 6 -> 18 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 6 , 20 8 12 7 2 10 15 10 14 6 2 0 10 11 -> 18 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 11 , 20 8 12 7 2 10 15 10 14 6 2 0 10 14 -> 18 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 14 , 20 8 12 7 2 10 15 10 14 6 2 0 10 17 -> 18 1 13 15 0 1 7 13 14 6 7 7 13 11 12 13 14 17 , 1 13 6 2 0 0 10 15 10 11 9 3 9 0 -> 1 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 15 , 1 13 6 2 0 0 10 15 10 11 9 3 9 1 -> 1 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 6 , 1 13 6 2 0 0 10 15 10 11 9 3 9 3 -> 1 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 11 , 1 13 6 2 0 0 10 15 10 11 9 3 9 10 -> 1 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 14 , 1 13 6 2 0 0 10 15 10 11 9 3 9 19 -> 1 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 17 , 7 13 6 2 0 0 10 15 10 11 9 3 9 0 -> 7 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 15 , 7 13 6 2 0 0 10 15 10 11 9 3 9 1 -> 7 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 6 , 7 13 6 2 0 0 10 15 10 11 9 3 9 3 -> 7 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 11 , 7 13 6 2 0 0 10 15 10 11 9 3 9 10 -> 7 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 14 , 7 13 6 2 0 0 10 15 10 11 9 3 9 19 -> 7 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 17 , 12 13 6 2 0 0 10 15 10 11 9 3 9 0 -> 12 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 15 , 12 13 6 2 0 0 10 15 10 11 9 3 9 1 -> 12 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 6 , 12 13 6 2 0 0 10 15 10 11 9 3 9 3 -> 12 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 11 , 12 13 6 2 0 0 10 15 10 11 9 3 9 10 -> 12 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 14 , 12 13 6 2 0 0 10 15 10 11 9 3 9 19 -> 12 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 17 , 6 13 6 2 0 0 10 15 10 11 9 3 9 0 -> 6 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 15 , 6 13 6 2 0 0 10 15 10 11 9 3 9 1 -> 6 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 6 , 6 13 6 2 0 0 10 15 10 11 9 3 9 3 -> 6 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 11 , 6 13 6 2 0 0 10 15 10 11 9 3 9 10 -> 6 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 14 , 6 13 6 2 0 0 10 15 10 11 9 3 9 19 -> 6 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 17 , 20 13 6 2 0 0 10 15 10 11 9 3 9 0 -> 20 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 15 , 20 13 6 2 0 0 10 15 10 11 9 3 9 1 -> 20 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 6 , 20 13 6 2 0 0 10 15 10 11 9 3 9 3 -> 20 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 11 , 20 13 6 2 0 0 10 15 10 11 9 3 9 10 -> 20 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 14 , 20 13 6 2 0 0 10 15 10 11 9 3 9 19 -> 20 2 0 1 2 1 13 6 13 15 1 13 15 1 13 6 13 17 , 1 13 14 14 15 10 15 0 10 11 9 3 9 0 -> 1 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 15 , 1 13 14 14 15 10 15 0 10 11 9 3 9 1 -> 1 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 6 , 1 13 14 14 15 10 15 0 10 11 9 3 9 3 -> 1 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 11 , 1 13 14 14 15 10 15 0 10 11 9 3 9 10 -> 1 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 14 , 1 13 14 14 15 10 15 0 10 11 9 3 9 19 -> 1 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 17 , 7 13 14 14 15 10 15 0 10 11 9 3 9 0 -> 7 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 15 , 7 13 14 14 15 10 15 0 10 11 9 3 9 1 -> 7 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 6 , 7 13 14 14 15 10 15 0 10 11 9 3 9 3 -> 7 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 11 , 7 13 14 14 15 10 15 0 10 11 9 3 9 10 -> 7 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 14 , 7 13 14 14 15 10 15 0 10 11 9 3 9 19 -> 7 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 17 , 12 13 14 14 15 10 15 0 10 11 9 3 9 0 -> 12 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 15 , 12 13 14 14 15 10 15 0 10 11 9 3 9 1 -> 12 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 6 , 12 13 14 14 15 10 15 0 10 11 9 3 9 3 -> 12 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 11 , 12 13 14 14 15 10 15 0 10 11 9 3 9 10 -> 12 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 14 , 12 13 14 14 15 10 15 0 10 11 9 3 9 19 -> 12 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 17 , 6 13 14 14 15 10 15 0 10 11 9 3 9 0 -> 6 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 15 , 6 13 14 14 15 10 15 0 10 11 9 3 9 1 -> 6 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 6 , 6 13 14 14 15 10 15 0 10 11 9 3 9 3 -> 6 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 11 , 6 13 14 14 15 10 15 0 10 11 9 3 9 10 -> 6 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 14 , 6 13 14 14 15 10 15 0 10 11 9 3 9 19 -> 6 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 17 , 20 13 14 14 15 10 15 0 10 11 9 3 9 0 -> 20 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 15 , 20 13 14 14 15 10 15 0 10 11 9 3 9 1 -> 20 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 6 , 20 13 14 14 15 10 15 0 10 11 9 3 9 3 -> 20 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 11 , 20 13 14 14 15 10 15 0 10 11 9 3 9 10 -> 20 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 14 , 20 13 14 14 15 10 15 0 10 11 9 3 9 19 -> 20 2 1 7 7 7 13 6 7 13 15 0 0 1 13 14 14 17 , 3 4 12 13 6 8 4 5 15 1 2 3 9 0 -> 10 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 0 , 3 4 12 13 6 8 4 5 15 1 2 3 9 1 -> 10 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 1 , 3 4 12 13 6 8 4 5 15 1 2 3 9 3 -> 10 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 3 , 3 4 12 13 6 8 4 5 15 1 2 3 9 10 -> 10 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 10 , 3 4 12 13 6 8 4 5 15 1 2 3 9 19 -> 10 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 19 , 8 4 12 13 6 8 4 5 15 1 2 3 9 0 -> 13 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 0 , 8 4 12 13 6 8 4 5 15 1 2 3 9 1 -> 13 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 1 , 8 4 12 13 6 8 4 5 15 1 2 3 9 3 -> 13 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 3 , 8 4 12 13 6 8 4 5 15 1 2 3 9 10 -> 13 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 10 , 8 4 12 13 6 8 4 5 15 1 2 3 9 19 -> 13 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 19 , 4 4 12 13 6 8 4 5 15 1 2 3 9 0 -> 5 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 0 , 4 4 12 13 6 8 4 5 15 1 2 3 9 1 -> 5 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 1 , 4 4 12 13 6 8 4 5 15 1 2 3 9 3 -> 5 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 3 , 4 4 12 13 6 8 4 5 15 1 2 3 9 10 -> 5 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 10 , 4 4 12 13 6 8 4 5 15 1 2 3 9 19 -> 5 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 19 , 11 4 12 13 6 8 4 5 15 1 2 3 9 0 -> 14 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 0 , 11 4 12 13 6 8 4 5 15 1 2 3 9 1 -> 14 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 1 , 11 4 12 13 6 8 4 5 15 1 2 3 9 3 -> 14 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 3 , 11 4 12 13 6 8 4 5 15 1 2 3 9 10 -> 14 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 10 , 11 4 12 13 6 8 4 5 15 1 2 3 9 19 -> 14 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 19 , 22 4 12 13 6 8 4 5 15 1 2 3 9 0 -> 23 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 0 , 22 4 12 13 6 8 4 5 15 1 2 3 9 1 -> 23 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 1 , 22 4 12 13 6 8 4 5 15 1 2 3 9 3 -> 23 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 3 , 22 4 12 13 6 8 4 5 15 1 2 3 9 10 -> 23 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 10 , 22 4 12 13 6 8 4 5 15 1 2 3 9 19 -> 23 11 12 7 13 14 14 6 7 13 14 15 0 3 9 1 2 19 , 1 7 8 9 1 7 2 1 7 2 10 6 2 0 -> 1 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 0 , 1 7 8 9 1 7 2 1 7 2 10 6 2 1 -> 1 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 1 , 1 7 8 9 1 7 2 1 7 2 10 6 2 3 -> 1 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 3 , 1 7 8 9 1 7 2 1 7 2 10 6 2 10 -> 1 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 10 , 1 7 8 9 1 7 2 1 7 2 10 6 2 19 -> 1 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 19 , 7 7 8 9 1 7 2 1 7 2 10 6 2 0 -> 7 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 0 , 7 7 8 9 1 7 2 1 7 2 10 6 2 1 -> 7 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 1 , 7 7 8 9 1 7 2 1 7 2 10 6 2 3 -> 7 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 3 , 7 7 8 9 1 7 2 1 7 2 10 6 2 10 -> 7 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 10 , 7 7 8 9 1 7 2 1 7 2 10 6 2 19 -> 7 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 19 , 12 7 8 9 1 7 2 1 7 2 10 6 2 0 -> 12 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 0 , 12 7 8 9 1 7 2 1 7 2 10 6 2 1 -> 12 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 1 , 12 7 8 9 1 7 2 1 7 2 10 6 2 3 -> 12 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 3 , 12 7 8 9 1 7 2 1 7 2 10 6 2 10 -> 12 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 10 , 12 7 8 9 1 7 2 1 7 2 10 6 2 19 -> 12 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 19 , 6 7 8 9 1 7 2 1 7 2 10 6 2 0 -> 6 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 0 , 6 7 8 9 1 7 2 1 7 2 10 6 2 1 -> 6 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 1 , 6 7 8 9 1 7 2 1 7 2 10 6 2 3 -> 6 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 3 , 6 7 8 9 1 7 2 1 7 2 10 6 2 10 -> 6 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 10 , 6 7 8 9 1 7 2 1 7 2 10 6 2 19 -> 6 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 19 , 20 7 8 9 1 7 2 1 7 2 10 6 2 0 -> 20 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 0 , 20 7 8 9 1 7 2 1 7 2 10 6 2 1 -> 20 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 1 , 20 7 8 9 1 7 2 1 7 2 10 6 2 3 -> 20 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 3 , 20 7 8 9 1 7 2 1 7 2 10 6 2 10 -> 20 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 10 , 20 7 8 9 1 7 2 1 7 2 10 6 2 19 -> 20 8 12 13 6 7 13 15 0 0 10 6 2 1 13 15 0 19 , 1 13 15 0 0 0 3 5 11 12 13 14 15 0 -> 1 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 0 , 1 13 15 0 0 0 3 5 11 12 13 14 15 1 -> 1 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 1 , 1 13 15 0 0 0 3 5 11 12 13 14 15 3 -> 1 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 3 , 1 13 15 0 0 0 3 5 11 12 13 14 15 10 -> 1 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 10 , 1 13 15 0 0 0 3 5 11 12 13 14 15 19 -> 1 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 19 , 7 13 15 0 0 0 3 5 11 12 13 14 15 0 -> 7 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 0 , 7 13 15 0 0 0 3 5 11 12 13 14 15 1 -> 7 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 1 , 7 13 15 0 0 0 3 5 11 12 13 14 15 3 -> 7 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 3 , 7 13 15 0 0 0 3 5 11 12 13 14 15 10 -> 7 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 10 , 7 13 15 0 0 0 3 5 11 12 13 14 15 19 -> 7 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 19 , 12 13 15 0 0 0 3 5 11 12 13 14 15 0 -> 12 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 0 , 12 13 15 0 0 0 3 5 11 12 13 14 15 1 -> 12 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 1 , 12 13 15 0 0 0 3 5 11 12 13 14 15 3 -> 12 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 3 , 12 13 15 0 0 0 3 5 11 12 13 14 15 10 -> 12 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 10 , 12 13 15 0 0 0 3 5 11 12 13 14 15 19 -> 12 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 19 , 6 13 15 0 0 0 3 5 11 12 13 14 15 0 -> 6 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 0 , 6 13 15 0 0 0 3 5 11 12 13 14 15 1 -> 6 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 1 , 6 13 15 0 0 0 3 5 11 12 13 14 15 3 -> 6 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 3 , 6 13 15 0 0 0 3 5 11 12 13 14 15 10 -> 6 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 10 , 6 13 15 0 0 0 3 5 11 12 13 14 15 19 -> 6 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 19 , 20 13 15 0 0 0 3 5 11 12 13 14 15 0 -> 20 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 0 , 20 13 15 0 0 0 3 5 11 12 13 14 15 1 -> 20 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 1 , 20 13 15 0 0 0 3 5 11 12 13 14 15 3 -> 20 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 3 , 20 13 15 0 0 0 3 5 11 12 13 14 15 10 -> 20 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 10 , 20 13 15 0 0 0 3 5 11 12 13 14 15 19 -> 20 2 1 13 6 13 6 13 15 0 1 7 2 10 15 0 0 19 , 1 13 11 4 4 4 9 1 7 8 9 10 15 0 -> 1 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 0 , 1 13 11 4 4 4 9 1 7 8 9 10 15 1 -> 1 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 1 , 1 13 11 4 4 4 9 1 7 8 9 10 15 3 -> 1 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 3 , 1 13 11 4 4 4 9 1 7 8 9 10 15 10 -> 1 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 10 , 1 13 11 4 4 4 9 1 7 8 9 10 15 19 -> 1 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 19 , 7 13 11 4 4 4 9 1 7 8 9 10 15 0 -> 7 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 0 , 7 13 11 4 4 4 9 1 7 8 9 10 15 1 -> 7 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 1 , 7 13 11 4 4 4 9 1 7 8 9 10 15 3 -> 7 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 3 , 7 13 11 4 4 4 9 1 7 8 9 10 15 10 -> 7 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 10 , 7 13 11 4 4 4 9 1 7 8 9 10 15 19 -> 7 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 19 , 12 13 11 4 4 4 9 1 7 8 9 10 15 0 -> 12 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 0 , 12 13 11 4 4 4 9 1 7 8 9 10 15 1 -> 12 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 1 , 12 13 11 4 4 4 9 1 7 8 9 10 15 3 -> 12 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 3 , 12 13 11 4 4 4 9 1 7 8 9 10 15 10 -> 12 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 10 , 12 13 11 4 4 4 9 1 7 8 9 10 15 19 -> 12 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 19 , 6 13 11 4 4 4 9 1 7 8 9 10 15 0 -> 6 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 0 , 6 13 11 4 4 4 9 1 7 8 9 10 15 1 -> 6 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 1 , 6 13 11 4 4 4 9 1 7 8 9 10 15 3 -> 6 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 3 , 6 13 11 4 4 4 9 1 7 8 9 10 15 10 -> 6 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 10 , 6 13 11 4 4 4 9 1 7 8 9 10 15 19 -> 6 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 19 , 20 13 11 4 4 4 9 1 7 8 9 10 15 0 -> 20 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 0 , 20 13 11 4 4 4 9 1 7 8 9 10 15 1 -> 20 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 1 , 20 13 11 4 4 4 9 1 7 8 9 10 15 3 -> 20 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 3 , 20 13 11 4 4 4 9 1 7 8 9 10 15 10 -> 20 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 10 , 20 13 11 4 4 4 9 1 7 8 9 10 15 19 -> 20 13 14 15 1 2 3 5 6 13 15 10 6 7 13 15 0 19 , 1 7 8 5 15 3 9 10 15 10 15 10 15 0 -> 0 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 15 , 1 7 8 5 15 3 9 10 15 10 15 10 15 1 -> 0 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 6 , 1 7 8 5 15 3 9 10 15 10 15 10 15 3 -> 0 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 11 , 1 7 8 5 15 3 9 10 15 10 15 10 15 10 -> 0 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 14 , 1 7 8 5 15 3 9 10 15 10 15 10 15 19 -> 0 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 17 , 7 7 8 5 15 3 9 10 15 10 15 10 15 0 -> 2 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 15 , 7 7 8 5 15 3 9 10 15 10 15 10 15 1 -> 2 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 6 , 7 7 8 5 15 3 9 10 15 10 15 10 15 3 -> 2 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 11 , 7 7 8 5 15 3 9 10 15 10 15 10 15 10 -> 2 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 14 , 7 7 8 5 15 3 9 10 15 10 15 10 15 19 -> 2 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 17 , 12 7 8 5 15 3 9 10 15 10 15 10 15 0 -> 9 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 15 , 12 7 8 5 15 3 9 10 15 10 15 10 15 1 -> 9 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 6 , 12 7 8 5 15 3 9 10 15 10 15 10 15 3 -> 9 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 11 , 12 7 8 5 15 3 9 10 15 10 15 10 15 10 -> 9 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 14 , 12 7 8 5 15 3 9 10 15 10 15 10 15 19 -> 9 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 17 , 6 7 8 5 15 3 9 10 15 10 15 10 15 0 -> 15 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 15 , 6 7 8 5 15 3 9 10 15 10 15 10 15 1 -> 15 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 6 , 6 7 8 5 15 3 9 10 15 10 15 10 15 3 -> 15 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 11 , 6 7 8 5 15 3 9 10 15 10 15 10 15 10 -> 15 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 14 , 6 7 8 5 15 3 9 10 15 10 15 10 15 19 -> 15 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 17 , 20 7 8 5 15 3 9 10 15 10 15 10 15 0 -> 18 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 15 , 20 7 8 5 15 3 9 10 15 10 15 10 15 1 -> 18 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 6 , 20 7 8 5 15 3 9 10 15 10 15 10 15 3 -> 18 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 11 , 20 7 8 5 15 3 9 10 15 10 15 10 15 10 -> 18 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 14 , 20 7 8 5 15 3 9 10 15 10 15 10 15 19 -> 18 0 1 8 4 4 4 4 5 15 0 1 13 6 7 13 14 17 , 3 4 5 14 11 5 15 10 6 2 1 2 0 0 -> 0 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 15 , 3 4 5 14 11 5 15 10 6 2 1 2 0 1 -> 0 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 6 , 3 4 5 14 11 5 15 10 6 2 1 2 0 3 -> 0 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 11 , 3 4 5 14 11 5 15 10 6 2 1 2 0 10 -> 0 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 14 , 3 4 5 14 11 5 15 10 6 2 1 2 0 19 -> 0 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 17 , 8 4 5 14 11 5 15 10 6 2 1 2 0 0 -> 2 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 15 , 8 4 5 14 11 5 15 10 6 2 1 2 0 1 -> 2 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 6 , 8 4 5 14 11 5 15 10 6 2 1 2 0 3 -> 2 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 11 , 8 4 5 14 11 5 15 10 6 2 1 2 0 10 -> 2 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 14 , 8 4 5 14 11 5 15 10 6 2 1 2 0 19 -> 2 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 17 , 4 4 5 14 11 5 15 10 6 2 1 2 0 0 -> 9 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 15 , 4 4 5 14 11 5 15 10 6 2 1 2 0 1 -> 9 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 6 , 4 4 5 14 11 5 15 10 6 2 1 2 0 3 -> 9 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 11 , 4 4 5 14 11 5 15 10 6 2 1 2 0 10 -> 9 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 14 , 4 4 5 14 11 5 15 10 6 2 1 2 0 19 -> 9 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 17 , 11 4 5 14 11 5 15 10 6 2 1 2 0 0 -> 15 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 15 , 11 4 5 14 11 5 15 10 6 2 1 2 0 1 -> 15 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 6 , 11 4 5 14 11 5 15 10 6 2 1 2 0 3 -> 15 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 11 , 11 4 5 14 11 5 15 10 6 2 1 2 0 10 -> 15 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 14 , 11 4 5 14 11 5 15 10 6 2 1 2 0 19 -> 15 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 17 , 22 4 5 14 11 5 15 10 6 2 1 2 0 0 -> 18 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 15 , 22 4 5 14 11 5 15 10 6 2 1 2 0 1 -> 18 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 6 , 22 4 5 14 11 5 15 10 6 2 1 2 0 3 -> 18 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 11 , 22 4 5 14 11 5 15 10 6 2 1 2 0 10 -> 18 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 14 , 22 4 5 14 11 5 15 10 6 2 1 2 0 19 -> 18 0 0 0 1 7 13 14 11 5 14 11 9 1 13 6 13 17 , 0 0 10 15 3 4 5 6 2 1 13 15 0 0 -> 0 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 0 , 0 0 10 15 3 4 5 6 2 1 13 15 0 1 -> 0 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 1 , 0 0 10 15 3 4 5 6 2 1 13 15 0 3 -> 0 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 3 , 0 0 10 15 3 4 5 6 2 1 13 15 0 10 -> 0 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 10 , 0 0 10 15 3 4 5 6 2 1 13 15 0 19 -> 0 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 19 , 2 0 10 15 3 4 5 6 2 1 13 15 0 0 -> 2 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 0 , 2 0 10 15 3 4 5 6 2 1 13 15 0 1 -> 2 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 1 , 2 0 10 15 3 4 5 6 2 1 13 15 0 3 -> 2 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 3 , 2 0 10 15 3 4 5 6 2 1 13 15 0 10 -> 2 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 10 , 2 0 10 15 3 4 5 6 2 1 13 15 0 19 -> 2 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 19 , 9 0 10 15 3 4 5 6 2 1 13 15 0 0 -> 9 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 0 , 9 0 10 15 3 4 5 6 2 1 13 15 0 1 -> 9 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 1 , 9 0 10 15 3 4 5 6 2 1 13 15 0 3 -> 9 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 3 , 9 0 10 15 3 4 5 6 2 1 13 15 0 10 -> 9 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 10 , 9 0 10 15 3 4 5 6 2 1 13 15 0 19 -> 9 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 19 , 15 0 10 15 3 4 5 6 2 1 13 15 0 0 -> 15 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 0 , 15 0 10 15 3 4 5 6 2 1 13 15 0 1 -> 15 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 1 , 15 0 10 15 3 4 5 6 2 1 13 15 0 3 -> 15 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 3 , 15 0 10 15 3 4 5 6 2 1 13 15 0 10 -> 15 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 10 , 15 0 10 15 3 4 5 6 2 1 13 15 0 19 -> 15 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 19 , 18 0 10 15 3 4 5 6 2 1 13 15 0 0 -> 18 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 0 , 18 0 10 15 3 4 5 6 2 1 13 15 0 1 -> 18 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 1 , 18 0 10 15 3 4 5 6 2 1 13 15 0 3 -> 18 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 3 , 18 0 10 15 3 4 5 6 2 1 13 15 0 10 -> 18 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 10 , 18 0 10 15 3 4 5 6 2 1 13 15 0 19 -> 18 0 0 1 13 11 12 2 0 0 1 13 14 15 1 13 15 19 } The system was filtered by the following matrix interpretation of type E_J with J = {1,...,2} and dimension 2: 0 is interpreted by / \ | 1 0 | | 0 1 | \ / 1 is interpreted by / \ | 1 0 | | 0 1 | \ / 2 is interpreted by / \ | 1 0 | | 0 1 | \ / 3 is interpreted by / \ | 1 1 | | 0 1 | \ / 4 is interpreted by / \ | 1 5 | | 0 1 | \ / 5 is interpreted by / \ | 1 10 | | 0 1 | \ / 6 is interpreted by / \ | 1 0 | | 0 1 | \ / 7 is interpreted by / \ | 1 5 | | 0 1 | \ / 8 is interpreted by / \ | 1 6 | | 0 1 | \ / 9 is interpreted by / \ | 1 5 | | 0 1 | \ / 10 is interpreted by / \ | 1 6 | | 0 1 | \ / 11 is interpreted by / \ | 1 1 | | 0 1 | \ / 12 is interpreted by / \ | 1 4 | | 0 1 | \ / 13 is interpreted by / \ | 1 0 | | 0 1 | \ / 14 is interpreted by / \ | 1 3 | | 0 1 | \ / 15 is interpreted by / \ | 1 1 | | 0 1 | \ / 16 is interpreted by / \ | 1 4 | | 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 | \ / After renaming modulo { }, it remains to prove termination of the 0-rule system { } The system is trivially terminating.