Adding some more judges, here and there.

[andmenj-acm.git] / NEERC / central / tests / 12.b

< 200\r
> 1 2 3\r
< 2\r
> 1 2 4\r
< 2\r
> 1 3 4\r
< 3\r
> 2 3 4\r
< 3\r
> 1 2 3\r
< 2\r
> 1 2 4\r
< 2\r
> 1 3 4\r
< 3\r
> 2 3 4\r
< 3\r
> 1 2 5\r
< 2\r
> 1 2 6\r
< 2\r
> 1 5 6\r
< 5\r
> 2 5 6\r
< 5\r
> 3 4 5\r
< 4\r
> 3 4 6\r
< 4\r
> 3 5 6\r
< 5\r
> 4 5 6\r
< 5\r
> 1 2 7\r
< 2\r
> 1 2 8\r
< 2\r
> 1 7 8\r
< 7\r
> 2 7 8\r
< 7\r
> 5 6 7\r
< 6\r
> 5 6 8\r
< 6\r
> 5 7 8\r
< 7\r
> 6 7 8\r
< 7\r
> 1 2 9\r
< 2\r
> 1 2 10\r
< 2\r
> 1 9 10\r
< 9\r
> 2 9 10\r
< 9\r
> 7 8 9\r
< 8\r
> 7 8 10\r
< 8\r
> 7 9 10\r
< 9\r
> 8 9 10\r
< 9\r
> 1 2 11\r
< 2\r
> 1 2 12\r
< 2\r
> 1 11 12\r
< 11\r
> 2 11 12\r
< 11\r
> 9 10 11\r
< 10\r
> 9 10 12\r
< 10\r
> 9 11 12\r
< 11\r
> 10 11 12\r
< 11\r
> 1 2 13\r
< 2\r
> 1 2 14\r
< 2\r
> 1 13 14\r
< 13\r
> 2 13 14\r
< 13\r
> 11 12 13\r
< 12\r
> 11 12 14\r
< 12\r
> 11 13 14\r
< 13\r
> 12 13 14\r
< 13\r
> 1 2 15\r
< 2\r
> 1 2 16\r
< 2\r
> 1 15 16\r
< 15\r
> 2 15 16\r
< 15\r
> 13 14 15\r
< 14\r
> 13 14 16\r
< 14\r
> 13 15 16\r
< 15\r
> 14 15 16\r
< 15\r
> 1 2 17\r
< 2\r
> 1 2 18\r
< 2\r
> 1 17 18\r
< 17\r
> 2 17 18\r
< 17\r
> 15 16 17\r
< 16\r
> 15 16 18\r
< 16\r
> 15 17 18\r
< 17\r
> 16 17 18\r
< 17\r
> 1 2 19\r
< 2\r
> 1 2 20\r
< 2\r
> 1 19 20\r
< 19\r
> 2 19 20\r
< 19\r
> 17 18 19\r
< 18\r
> 17 18 20\r
< 18\r
> 17 19 20\r
< 19\r
> 18 19 20\r
< 19\r
> 1 2 21\r
< 2\r
> 1 2 22\r
< 2\r
> 1 21 22\r
< 21\r
> 2 21 22\r
< 21\r
> 19 20 21\r
< 20\r
> 19 20 22\r
< 20\r
> 19 21 22\r
< 21\r
> 20 21 22\r
< 21\r
> 1 2 23\r
< 2\r
> 1 2 24\r
< 2\r
> 1 23 24\r
< 23\r
> 2 23 24\r
< 23\r
> 21 22 23\r
< 22\r
> 21 22 24\r
< 22\r
> 21 23 24\r
< 23\r
> 22 23 24\r
< 23\r
> 1 2 25\r
< 2\r
> 1 2 26\r
< 2\r
> 1 25 26\r
< 25\r
> 2 25 26\r
< 25\r
> 23 24 25\r
< 24\r
> 23 24 26\r
< 24\r
> 23 25 26\r
< 25\r
> 24 25 26\r
< 25\r
> 1 2 27\r
< 2\r
> 1 2 28\r
< 2\r
> 1 27 28\r
< 27\r
> 2 27 28\r
< 27\r
> 25 26 27\r
< 26\r
> 25 26 28\r
< 26\r
> 25 27 28\r
< 27\r
> 26 27 28\r
< 27\r
> 1 2 29\r
< 2\r
> 1 2 30\r
< 2\r
> 1 29 30\r
< 29\r
> 2 29 30\r
< 29\r
> 27 28 29\r
< 28\r
> 27 28 30\r
< 28\r
> 27 29 30\r
< 29\r
> 28 29 30\r
< 29\r
> 1 2 31\r
< 2\r
> 1 2 32\r
< 2\r
> 1 31 32\r
< 31\r
> 2 31 32\r
< 31\r
> 29 30 31\r
< 30\r
> 29 30 32\r
< 30\r
> 29 31 32\r
< 31\r
> 30 31 32\r
< 31\r
> 1 2 33\r
< 2\r
> 1 2 34\r
< 2\r
> 1 33 34\r
< 33\r
> 2 33 34\r
< 33\r
> 31 32 33\r
< 32\r
> 31 32 34\r
< 32\r
> 31 33 34\r
< 33\r
> 32 33 34\r
< 33\r
> 1 2 35\r
< 2\r
> 1 2 36\r
< 2\r
> 1 35 36\r
< 35\r
> 2 35 36\r
< 35\r
> 33 34 35\r
< 34\r
> 33 34 36\r
< 34\r
> 33 35 36\r
< 35\r
> 34 35 36\r
< 35\r
> 1 2 37\r
< 2\r
> 1 2 38\r
< 2\r
> 1 37 38\r
< 37\r
> 2 37 38\r
< 37\r
> 35 36 37\r
< 36\r
> 35 36 38\r
< 36\r
> 35 37 38\r
< 37\r
> 36 37 38\r
< 37\r
> 1 2 39\r
< 2\r
> 1 2 40\r
< 2\r
> 1 39 40\r
< 39\r
> 2 39 40\r
< 39\r
> 37 38 39\r
< 38\r
> 37 38 40\r
< 38\r
> 37 39 40\r
< 39\r
> 38 39 40\r
< 39\r
> 1 2 41\r
< 2\r
> 1 2 42\r
< 2\r
> 1 41 42\r
< 41\r
> 2 41 42\r
< 41\r
> 39 40 41\r
< 40\r
> 39 40 42\r
< 40\r
> 39 41 42\r
< 41\r
> 40 41 42\r
< 41\r
> 1 2 43\r
< 2\r
> 1 2 44\r
< 2\r
> 1 43 44\r
< 43\r
> 2 43 44\r
< 43\r
> 41 42 43\r
< 42\r
> 41 42 44\r
< 42\r
> 41 43 44\r
< 43\r
> 42 43 44\r
< 43\r
> 1 2 45\r
< 2\r
> 1 2 46\r
< 2\r
> 1 45 46\r
< 45\r
> 2 45 46\r
< 45\r
> 43 44 45\r
< 44\r
> 43 44 46\r
< 44\r
> 43 45 46\r
< 45\r
> 44 45 46\r
< 45\r
> 1 2 47\r
< 2\r
> 1 2 48\r
< 2\r
> 1 47 48\r
< 47\r
> 2 47 48\r
< 47\r
> 45 46 47\r
< 46\r
> 45 46 48\r
< 46\r
> 45 47 48\r
< 47\r
> 46 47 48\r
< 47\r
> 1 2 49\r
< 2\r
> 1 2 50\r
< 2\r
> 1 49 50\r
< 49\r
> 2 49 50\r
< 49\r
> 47 48 49\r
< 48\r
> 47 48 50\r
< 48\r
> 47 49 50\r
< 49\r
> 48 49 50\r
< 49\r
> 1 2 51\r
< 2\r
> 1 2 52\r
< 2\r
> 1 51 52\r
< 51\r
> 2 51 52\r
< 51\r
> 49 50 51\r
< 50\r
> 49 50 52\r
< 50\r
> 49 51 52\r
< 51\r
> 50 51 52\r
< 51\r
> 1 2 53\r
< 2\r
> 1 2 54\r
< 2\r
> 1 53 54\r
< 53\r
> 2 53 54\r
< 53\r
> 51 52 53\r
< 52\r
> 51 52 54\r
< 52\r
> 51 53 54\r
< 53\r
> 52 53 54\r
< 53\r
> 1 2 55\r
< 2\r
> 1 2 56\r
< 2\r
> 1 55 56\r
< 55\r
> 2 55 56\r
< 55\r
> 53 54 55\r
< 54\r
> 53 54 56\r
< 54\r
> 53 55 56\r
< 55\r
> 54 55 56\r
< 55\r
> 1 2 57\r
< 2\r
> 1 2 58\r
< 2\r
> 1 57 58\r
< 57\r
> 2 57 58\r
< 57\r
> 55 56 57\r
< 56\r
> 55 56 58\r
< 56\r
> 55 57 58\r
< 57\r
> 56 57 58\r
< 57\r
> 1 2 59\r
< 2\r
> 1 2 60\r
< 2\r
> 1 59 60\r
< 59\r
> 2 59 60\r
< 59\r
> 57 58 59\r
< 58\r
> 57 58 60\r
< 58\r
> 57 59 60\r
< 59\r
> 58 59 60\r
< 59\r
> 1 2 61\r
< 2\r
> 1 2 62\r
< 2\r
> 1 61 62\r
< 61\r
> 2 61 62\r
< 61\r
> 59 60 61\r
< 60\r
> 59 60 62\r
< 60\r
> 59 61 62\r
< 61\r
> 60 61 62\r
< 61\r
> 1 2 63\r
< 2\r
> 1 2 64\r
< 2\r
> 1 63 64\r
< 63\r
> 2 63 64\r
< 63\r
> 61 62 63\r
< 62\r
> 61 62 64\r
< 62\r
> 61 63 64\r
< 63\r
> 62 63 64\r
< 63\r
> 1 2 65\r
< 2\r
> 1 2 66\r
< 2\r
> 1 65 66\r
< 65\r
> 2 65 66\r
< 65\r
> 63 64 65\r
< 64\r
> 63 64 66\r
< 64\r
> 63 65 66\r
< 65\r
> 64 65 66\r
< 65\r
> 1 2 67\r
< 2\r
> 1 2 68\r
< 2\r
> 1 67 68\r
< 67\r
> 2 67 68\r
< 67\r
> 65 66 67\r
< 66\r
> 65 66 68\r
< 66\r
> 65 67 68\r
< 67\r
> 66 67 68\r
< 67\r
> 1 2 69\r
< 2\r
> 1 2 70\r
< 2\r
> 1 69 70\r
< 69\r
> 2 69 70\r
< 69\r
> 67 68 69\r
< 68\r
> 67 68 70\r
< 68\r
> 67 69 70\r
< 69\r
> 68 69 70\r
< 69\r
> 1 2 71\r
< 2\r
> 1 2 72\r
< 2\r
> 1 71 72\r
< 71\r
> 2 71 72\r
< 71\r
> 69 70 71\r
< 70\r
> 69 70 72\r
< 70\r
> 69 71 72\r
< 71\r
> 70 71 72\r
< 71\r
> 1 2 73\r
< 2\r
> 1 2 74\r
< 2\r
> 1 73 74\r
< 73\r
> 2 73 74\r
< 73\r
> 71 72 73\r
< 72\r
> 71 72 74\r
< 72\r
> 71 73 74\r
< 73\r
> 72 73 74\r
< 73\r
> 1 2 75\r
< 2\r
> 1 2 76\r
< 2\r
> 1 75 76\r
< 75\r
> 2 75 76\r
< 75\r
> 73 74 75\r
< 74\r
> 73 74 76\r
< 74\r
> 73 75 76\r
< 75\r
> 74 75 76\r
< 75\r
> 1 2 77\r
< 2\r
> 1 2 78\r
< 2\r
> 1 77 78\r
< 77\r
> 2 77 78\r
< 77\r
> 75 76 77\r
< 76\r
> 75 76 78\r
< 76\r
> 75 77 78\r
< 77\r
> 76 77 78\r
< 77\r
> 1 2 79\r
< 2\r
> 1 2 80\r
< 2\r
> 1 79 80\r
< 79\r
> 2 79 80\r
< 79\r
> 77 78 79\r
< 78\r
> 77 78 80\r
< 78\r
> 77 79 80\r
< 79\r
> 78 79 80\r
< 79\r
> 1 2 81\r
< 2\r
> 1 2 82\r
< 2\r
> 1 81 82\r
< 81\r
> 2 81 82\r
< 81\r
> 79 80 81\r
< 80\r
> 79 80 82\r
< 80\r
> 79 81 82\r
< 81\r
> 80 81 82\r
< 81\r
> 1 2 83\r
< 2\r
> 1 2 84\r
< 2\r
> 1 83 84\r
< 83\r
> 2 83 84\r
< 83\r
> 81 82 83\r
< 82\r
> 81 82 84\r
< 82\r
> 81 83 84\r
< 83\r
> 82 83 84\r
< 83\r
> 1 2 85\r
< 2\r
> 1 2 86\r
< 2\r
> 1 85 86\r
< 85\r
> 2 85 86\r
< 85\r
> 83 84 85\r
< 84\r
> 83 84 86\r
< 84\r
> 83 85 86\r
< 85\r
> 84 85 86\r
< 85\r
> 1 2 87\r
< 2\r
> 1 2 88\r
< 2\r
> 1 87 88\r
< 87\r
> 2 87 88\r
< 87\r
> 85 86 87\r
< 86\r
> 85 86 88\r
< 86\r
> 85 87 88\r
< 87\r
> 86 87 88\r
< 87\r
> 1 2 89\r
< 2\r
> 1 2 90\r
< 2\r
> 1 89 90\r
< 89\r
> 2 89 90\r
< 89\r
> 87 88 89\r
< 88\r
> 87 88 90\r
< 88\r
> 87 89 90\r
< 89\r
> 88 89 90\r
< 89\r
> 1 2 91\r
< 2\r
> 1 2 92\r
< 2\r
> 1 91 92\r
< 91\r
> 2 91 92\r
< 91\r
> 89 90 91\r
< 90\r
> 89 90 92\r
< 90\r
> 89 91 92\r
< 91\r
> 90 91 92\r
< 91\r
> 1 2 93\r
< 2\r
> 1 2 94\r
< 2\r
> 1 93 94\r
< 93\r
> 2 93 94\r
< 93\r
> 91 92 93\r
< 92\r
> 91 92 94\r
< 92\r
> 91 93 94\r
< 93\r
> 92 93 94\r
< 93\r
> 1 2 95\r
< 2\r
> 1 2 96\r
< 2\r
> 1 95 96\r
< 95\r
> 2 95 96\r
< 95\r
> 93 94 95\r
< 94\r
> 93 94 96\r
< 94\r
> 93 95 96\r
< 95\r
> 94 95 96\r
< 95\r
> 1 2 97\r
< 2\r
> 1 2 98\r
< 2\r
> 1 97 98\r
< 97\r
> 2 97 98\r
< 97\r
> 95 96 97\r
< 96\r
> 95 96 98\r
< 96\r
> 95 97 98\r
< 97\r
> 96 97 98\r
< 97\r
> 1 2 99\r
< 2\r
> 1 2 100\r
< 2\r
> 1 99 100\r
< 99\r
> 2 99 100\r
< 99\r
> 97 98 99\r
< 98\r
> 97 98 100\r
< 98\r
> 97 99 100\r
< 99\r
> 98 99 100\r
< 99\r
> 1 2 101\r
< 2\r
> 1 2 102\r
< 2\r
> 1 101 102\r
< 101\r
> 2 101 102\r
< 101\r
> 99 100 101\r
< 100\r
> 99 100 102\r
< 100\r
> 99 101 102\r
< 101\r
> 100 101 102\r
< 101\r
> 1 2 103\r
< 2\r
> 1 2 104\r
< 2\r
> 1 103 104\r
< 103\r
> 2 103 104\r
< 103\r
> 101 102 103\r
< 102\r
> 101 102 104\r
< 102\r
> 101 103 104\r
< 103\r
> 102 103 104\r
< 103\r
> 1 2 105\r
< 2\r
> 1 2 106\r
< 2\r
> 1 105 106\r
< 105\r
> 2 105 106\r
< 105\r
> 103 104 105\r
< 104\r
> 103 104 106\r
< 104\r
> 103 105 106\r
< 105\r
> 104 105 106\r
< 105\r
> 1 2 107\r
< 2\r
> 1 2 108\r
< 2\r
> 1 107 108\r
< 107\r
> 2 107 108\r
< 107\r
> 105 106 107\r
< 106\r
> 105 106 108\r
< 106\r
> 105 107 108\r
< 107\r
> 106 107 108\r
< 107\r
> 1 2 109\r
< 2\r
> 1 2 110\r
< 2\r
> 1 109 110\r
< 109\r
> 2 109 110\r
< 109\r
> 107 108 109\r
< 108\r
> 107 108 110\r
< 108\r
> 107 109 110\r
< 109\r
> 108 109 110\r
< 109\r
> 1 2 111\r
< 2\r
> 1 2 112\r
< 2\r
> 1 111 112\r
< 111\r
> 2 111 112\r
< 111\r
> 109 110 111\r
< 110\r
> 109 110 112\r
< 110\r
> 109 111 112\r
< 111\r
> 110 111 112\r
< 111\r
> 1 2 113\r
< 2\r
> 1 2 114\r
< 2\r
> 1 113 114\r
< 113\r
> 2 113 114\r
< 113\r
> 111 112 113\r
< 112\r
> 111 112 114\r
< 112\r
> 111 113 114\r
< 113\r
> 112 113 114\r
< 113\r
> 1 2 115\r
< 2\r
> 1 2 116\r
< 2\r
> 1 115 116\r
< 115\r
> 2 115 116\r
< 115\r
> 113 114 115\r
< 114\r
> 113 114 116\r
< 114\r
> 113 115 116\r
< 115\r
> 114 115 116\r
< 115\r
> 1 2 117\r
< 2\r
> 1 2 118\r
< 2\r
> 1 117 118\r
< 117\r
> 2 117 118\r
< 117\r
> 115 116 117\r
< 116\r
> 115 116 118\r
< 116\r
> 115 117 118\r
< 117\r
> 116 117 118\r
< 117\r
> 1 2 119\r
< 2\r
> 1 2 120\r
< 2\r
> 1 119 120\r
< 119\r
> 2 119 120\r
< 119\r
> 117 118 119\r
< 118\r
> 117 118 120\r
< 118\r
> 117 119 120\r
< 119\r
> 118 119 120\r
< 119\r
> 1 2 121\r
< 2\r
> 1 2 122\r
< 2\r
> 1 121 122\r
< 121\r
> 2 121 122\r
< 121\r
> 119 120 121\r
< 120\r
> 119 120 122\r
< 120\r
> 119 121 122\r
< 121\r
> 120 121 122\r
< 121\r
> 1 2 123\r
< 2\r
> 1 2 124\r
< 2\r
> 1 123 124\r
< 123\r
> 2 123 124\r
< 123\r
> 121 122 123\r
< 122\r
> 121 122 124\r
< 122\r
> 121 123 124\r
< 123\r
> 122 123 124\r
< 123\r
> 1 2 125\r
< 2\r
> 1 2 126\r
< 2\r
> 1 125 126\r
< 125\r
> 2 125 126\r
< 125\r
> 123 124 125\r
< 124\r
> 123 124 126\r
< 124\r
> 123 125 126\r
< 125\r
> 124 125 126\r
< 125\r
> 1 2 127\r
< 2\r
> 1 2 128\r
< 2\r
> 1 127 128\r
< 127\r
> 2 127 128\r
< 127\r
> 125 126 127\r
< 126\r
> 125 126 128\r
< 126\r
> 125 127 128\r
< 127\r
> 126 127 128\r
< 127\r
> 1 2 129\r
< 2\r
> 1 2 130\r
< 2\r
> 1 129 130\r
< 129\r
> 2 129 130\r
< 129\r
> 127 128 129\r
< 128\r
> 127 128 130\r
< 128\r
> 127 129 130\r
< 129\r
> 128 129 130\r
< 129\r
> 1 2 131\r
< 2\r
> 1 2 132\r
< 2\r
> 1 131 132\r
< 131\r
> 2 131 132\r
< 131\r
> 129 130 131\r
< 130\r
> 129 130 132\r
< 130\r
> 129 131 132\r
< 131\r
> 130 131 132\r
< 131\r
> 1 2 133\r
< 2\r
> 1 2 134\r
< 2\r
> 1 133 134\r
< 133\r
> 2 133 134\r
< 133\r
> 131 132 133\r
< 132\r
> 131 132 134\r
< 132\r
> 131 133 134\r
< 133\r
> 132 133 134\r
< 133\r
> 1 2 135\r
< 2\r
> 1 2 136\r
< 2\r
> 1 135 136\r
< 135\r
> 2 135 136\r
< 135\r
> 133 134 135\r
< 134\r
> 133 134 136\r
< 134\r
> 133 135 136\r
< 135\r
> 134 135 136\r
< 135\r
> 1 2 137\r
< 2\r
> 1 2 138\r
< 2\r
> 1 137 138\r
< 137\r
> 2 137 138\r
< 137\r
> 135 136 137\r
< 136\r
> 135 136 138\r
< 136\r
> 135 137 138\r
< 137\r
> 136 137 138\r
< 137\r
> 1 2 139\r
< 2\r
> 1 2 140\r
< 2\r
> 1 139 140\r
< 139\r
> 2 139 140\r
< 139\r
> 137 138 139\r
< 138\r
> 137 138 140\r
< 138\r
> 137 139 140\r
< 139\r
> 138 139 140\r
< 139\r
> 1 2 141\r
< 2\r
> 1 2 142\r
< 2\r
> 1 141 142\r
< 141\r
> 2 141 142\r
< 141\r
> 139 140 141\r
< 140\r
> 139 140 142\r
< 140\r
> 139 141 142\r
< 141\r
> 140 141 142\r
< 141\r
> 1 2 143\r
< 2\r
> 1 2 144\r
< 2\r
> 1 143 144\r
< 143\r
> 2 143 144\r
< 143\r
> 141 142 143\r
< 142\r
> 141 142 144\r
< 142\r
> 141 143 144\r
< 143\r
> 142 143 144\r
< 143\r
> 1 2 145\r
< 2\r
> 1 2 146\r
< 2\r
> 1 145 146\r
< 145\r
> 2 145 146\r
< 145\r
> 143 144 145\r
< 144\r
> 143 144 146\r
< 144\r
> 143 145 146\r
< 145\r
> 144 145 146\r
< 145\r
> 1 2 147\r
< 2\r
> 1 2 148\r
< 2\r
> 1 147 148\r
< 147\r
> 2 147 148\r
< 147\r
> 145 146 147\r
< 146\r
> 145 146 148\r
< 146\r
> 145 147 148\r
< 147\r
> 146 147 148\r
< 147\r
> 1 2 149\r
< 2\r
> 1 2 150\r
< 2\r
> 1 149 150\r
< 149\r
> 2 149 150\r
< 149\r
> 147 148 149\r
< 148\r
> 147 148 150\r
< 148\r
> 147 149 150\r
< 149\r
> 148 149 150\r
< 149\r
> 1 2 151\r
< 2\r
> 1 2 152\r
< 2\r
> 1 151 152\r
< 151\r
> 2 151 152\r
< 151\r
> 149 150 151\r
< 150\r
> 149 150 152\r
< 150\r
> 149 151 152\r
< 151\r
> 150 151 152\r
< 151\r
> 1 2 153\r
< 2\r
> 1 2 154\r
< 2\r
> 1 153 154\r
< 153\r
> 2 153 154\r
< 153\r
> 151 152 153\r
< 152\r
> 151 152 154\r
< 152\r
> 151 153 154\r
< 153\r
> 152 153 154\r
< 153\r
> 1 2 155\r
< 2\r
> 1 2 156\r
< 2\r
> 1 155 156\r
< 155\r
> 2 155 156\r
< 155\r
> 153 154 155\r
< 154\r
> 153 154 156\r
< 154\r
> 153 155 156\r
< 155\r
> 154 155 156\r
< 155\r
> 1 2 157\r
< 2\r
> 1 2 158\r
< 2\r
> 1 157 158\r
< 157\r
> 2 157 158\r
< 157\r
> 155 156 157\r
< 156\r
> 155 156 158\r
< 156\r
> 155 157 158\r
< 157\r
> 156 157 158\r
< 157\r
> 1 2 159\r
< 2\r
> 1 2 160\r
< 2\r
> 1 159 160\r
< 159\r
> 2 159 160\r
< 159\r
> 157 158 159\r
< 158\r
> 157 158 160\r
< 158\r
> 157 159 160\r
< 159\r
> 158 159 160\r
< 159\r
> 1 2 161\r
< 2\r
> 1 2 162\r
< 2\r
> 1 161 162\r
< 161\r
> 2 161 162\r
< 161\r
> 159 160 161\r
< 160\r
> 159 160 162\r
< 160\r
> 159 161 162\r
< 161\r
> 160 161 162\r
< 161\r
> 1 2 163\r
< 2\r
> 1 2 164\r
< 2\r
> 1 163 164\r
< 163\r
> 2 163 164\r
< 163\r
> 161 162 163\r
< 162\r
> 161 162 164\r
< 162\r
> 161 163 164\r
< 163\r
> 162 163 164\r
< 163\r
> 1 2 165\r
< 2\r
> 1 2 166\r
< 2\r
> 1 165 166\r
< 165\r
> 2 165 166\r
< 165\r
> 163 164 165\r
< 164\r
> 163 164 166\r
< 164\r
> 163 165 166\r
< 165\r
> 164 165 166\r
< 165\r
> 1 2 167\r
< 2\r
> 1 2 168\r
< 2\r
> 1 167 168\r
< 167\r
> 2 167 168\r
< 167\r
> 165 166 167\r
< 166\r
> 165 166 168\r
< 166\r
> 165 167 168\r
< 167\r
> 166 167 168\r
< 167\r
> 1 2 169\r
< 2\r
> 1 2 170\r
< 2\r
> 1 169 170\r
< 169\r
> 2 169 170\r
< 169\r
> 167 168 169\r
< 168\r
> 167 168 170\r
< 168\r
> 167 169 170\r
< 169\r
> 168 169 170\r
< 169\r
> 1 2 171\r
< 2\r
> 1 2 172\r
< 2\r
> 1 171 172\r
< 171\r
> 2 171 172\r
< 171\r
> 169 170 171\r
< 170\r
> 169 170 172\r
< 170\r
> 169 171 172\r
< 171\r
> 170 171 172\r
< 171\r
> 1 2 173\r
< 2\r
> 1 2 174\r
< 2\r
> 1 173 174\r
< 173\r
> 2 173 174\r
< 173\r
> 171 172 173\r
< 172\r
> 171 172 174\r
< 172\r
> 171 173 174\r
< 173\r
> 172 173 174\r
< 173\r
> 1 2 175\r
< 2\r
> 1 2 176\r
< 2\r
> 1 175 176\r
< 175\r
> 2 175 176\r
< 175\r
> 173 174 175\r
< 174\r
> 173 174 176\r
< 174\r
> 173 175 176\r
< 175\r
> 174 175 176\r
< 175\r
> 1 2 177\r
< 2\r
> 1 2 178\r
< 2\r
> 1 177 178\r
< 177\r
> 2 177 178\r
< 177\r
> 175 176 177\r
< 176\r
> 175 176 178\r
< 176\r
> 175 177 178\r
< 177\r
> 176 177 178\r
< 177\r
> 1 2 179\r
< 2\r
> 1 2 180\r
< 2\r
> 1 179 180\r
< 179\r
> 2 179 180\r
< 179\r
> 177 178 179\r
< 178\r
> 177 178 180\r
< 178\r
> 177 179 180\r
< 179\r
> 178 179 180\r
< 179\r
> 1 2 181\r
< 2\r
> 1 2 182\r
< 2\r
> 1 181 182\r
< 181\r
> 2 181 182\r
< 181\r
> 179 180 181\r
< 180\r
> 179 180 182\r
< 180\r
> 179 181 182\r
< 181\r
> 180 181 182\r
< 181\r
> 1 2 183\r
< 2\r
> 1 2 184\r
< 2\r
> 1 183 184\r
< 183\r
> 2 183 184\r
< 183\r
> 181 182 183\r
< 182\r
> 181 182 184\r
< 182\r
> 181 183 184\r
< 183\r
> 182 183 184\r
< 183\r
> 1 2 185\r
< 2\r
> 1 2 186\r
< 2\r
> 1 185 186\r
< 185\r
> 2 185 186\r
< 185\r
> 183 184 185\r
< 184\r
> 183 184 186\r
< 184\r
> 183 185 186\r
< 185\r
> 184 185 186\r
< 185\r
> 1 2 187\r
< 2\r
> 1 2 188\r
< 2\r
> 1 187 188\r
< 187\r
> 2 187 188\r
< 187\r
> 185 186 187\r
< 186\r
> 185 186 188\r
< 186\r
> 185 187 188\r
< 187\r
> 186 187 188\r
< 187\r
> 1 2 189\r
< 2\r
> 1 2 190\r
< 2\r
> 1 189 190\r
< 189\r
> 2 189 190\r
< 189\r
> 187 188 189\r
< 188\r
> 187 188 190\r
< 188\r
> 187 189 190\r
< 189\r
> 188 189 190\r
< 189\r
> 1 2 191\r
< 2\r
> 1 2 192\r
< 2\r
> 1 191 192\r
< 191\r
> 2 191 192\r
< 191\r
> 189 190 191\r
< 190\r
> 189 190 192\r
< 190\r
> 189 191 192\r
< 191\r
> 190 191 192\r
< 191\r
> 1 2 193\r
< 2\r
> 1 2 194\r
< 2\r
> 1 193 194\r
< 193\r
> 2 193 194\r
< 193\r
> 191 192 193\r
< 192\r
> 191 192 194\r
< 192\r
> 191 193 194\r
< 193\r
> 192 193 194\r
< 193\r
> 1 2 195\r
< 2\r
> 1 2 196\r
< 2\r
> 1 195 196\r
< 195\r
> 2 195 196\r
< 195\r
> 193 194 195\r
< 194\r
> 193 194 196\r
< 194\r
> 193 195 196\r
< 195\r
> 194 195 196\r
< 195\r
> 1 2 197\r
< 2\r
> 1 2 198\r
< 2\r
> 1 197 198\r
< 197\r
> 2 197 198\r
< 197\r
> 195 196 197\r
< 196\r
> 195 196 198\r
< 196\r
> 195 197 198\r
< 197\r
> 196 197 198\r
< 197\r
> 1 2 199\r
< 2\r
> 1 2 200\r
< 2\r
> 1 199 200\r
< 199\r
> 2 199 200\r
< 199\r
> 197 198 199\r
< 198\r
> 197 198 200\r
< 198\r
> 197 199 200\r
< 199\r
> 198 199 200\r
< 199\r
> 1 3 199\r
< 3\r
> 1 4 199\r
< 4\r
> 1 5 199\r
< 5\r
> 1 6 199\r
< 6\r
> 1 7 199\r
< 7\r
> 1 8 199\r
< 8\r
> 1 9 199\r
< 9\r
> 1 10 199\r
< 10\r
> 1 11 199\r
< 11\r
> 1 12 199\r
< 12\r
> 1 13 199\r
< 13\r
> 1 14 199\r
< 14\r
> 1 15 199\r
< 15\r
> 1 16 199\r
< 16\r
> 1 17 199\r
< 17\r
> 1 18 199\r
< 18\r
> 1 19 199\r
< 19\r
> 1 20 199\r
< 20\r
> 1 21 199\r
< 21\r
> 1 22 199\r
< 22\r
> 1 23 199\r
< 23\r
> 1 24 199\r
< 24\r
> 1 25 199\r
< 25\r
> 1 26 199\r
< 26\r
> 1 27 199\r
< 27\r
> 1 28 199\r
< 28\r
> 1 29 199\r
< 29\r
> 1 30 199\r
< 30\r
> 1 31 199\r
< 31\r
> 1 32 199\r
< 32\r
> 1 33 199\r
< 33\r
> 1 34 199\r
< 34\r
> 1 35 199\r
< 35\r
> 1 36 199\r
< 36\r
> 1 37 199\r
< 37\r
> 1 38 199\r
< 38\r
> 1 39 199\r
< 39\r
> 1 40 199\r
< 40\r
> 1 41 199\r
< 41\r
> 1 42 199\r
< 42\r
> 1 43 199\r
< 43\r
> 1 44 199\r
< 44\r
> 1 45 199\r
< 45\r
> 1 46 199\r
< 46\r
> 1 47 199\r
< 47\r
> 1 48 199\r
< 48\r
> 1 49 199\r
< 49\r
> 1 50 199\r
< 50\r
> 1 51 199\r
< 51\r
> 1 52 199\r
< 52\r
> 1 53 199\r
< 53\r
> 1 54 199\r
< 54\r
> 1 55 199\r
< 55\r
> 1 56 199\r
< 56\r
> 1 57 199\r
< 57\r
> 1 58 199\r
< 58\r
> 1 59 199\r
< 59\r
> 1 60 199\r
< 60\r
> 1 61 199\r
< 61\r
> 1 62 199\r
< 62\r
> 1 63 199\r
< 63\r
> 1 64 199\r
< 64\r
> 1 65 199\r
< 65\r
> 1 66 199\r
< 66\r
> 1 67 199\r
< 67\r
> 1 68 199\r
< 68\r
> 1 69 199\r
< 69\r
> 1 70 199\r
< 70\r
> 1 71 199\r
< 71\r
> 1 72 199\r
< 72\r
> 1 73 199\r
< 73\r
> 1 74 199\r
< 74\r
> 1 75 199\r
< 75\r
> 1 76 199\r
< 76\r
> 1 77 199\r
< 77\r
> 1 78 199\r
< 78\r
> 1 79 199\r
< 79\r
> 1 80 199\r
< 80\r
> 1 81 199\r
< 81\r
> 1 82 199\r
< 82\r
> 1 83 199\r
< 83\r
> 1 84 199\r
< 84\r
> 1 85 199\r
< 85\r
> 1 86 199\r
< 86\r
> 1 87 199\r
< 87\r
> 1 88 199\r
< 88\r
> 1 89 199\r
< 89\r
> 1 90 199\r
< 90\r
> 1 91 199\r
< 91\r
> 1 92 199\r
< 92\r
> 1 93 199\r
< 93\r
> 1 94 199\r
< 94\r
> 1 95 199\r
< 95\r
> 1 96 199\r
< 96\r
> 1 97 199\r
< 97\r
> 1 98 199\r
< 98\r
> 1 99 199\r
< 99\r
> 1 100 199\r
< 100\r
> 1 101 199\r
< 101\r
> 1 102 199\r
< 102\r
> 1 103 199\r
< 103\r
> 1 104 199\r
< 104\r
> 1 105 199\r
< 105\r
> 1 106 199\r
< 106\r
> 1 107 199\r
< 107\r
> 1 108 199\r
< 108\r
> 1 109 199\r
< 109\r
> 1 110 199\r
< 110\r
> 1 111 199\r
< 111\r
> 1 112 199\r
< 112\r
> 1 113 199\r
< 113\r
> 1 114 199\r
< 114\r
> 1 115 199\r
< 115\r
> 1 116 199\r
< 116\r
> 1 117 199\r
< 117\r
> 1 118 199\r
< 118\r
> 1 119 199\r
< 119\r
> 1 120 199\r
< 120\r
> 1 121 199\r
< 121\r
> 1 122 199\r
< 122\r
> 1 123 199\r
< 123\r
> 1 124 199\r
< 124\r
> 1 125 199\r
< 125\r
> 1 126 199\r
< 126\r
> 1 127 199\r
< 127\r
> 1 128 199\r
< 128\r
> 1 129 199\r
< 129\r
> 1 130 199\r
< 130\r
> 1 131 199\r
< 131\r
> 1 132 199\r
< 132\r
> 1 133 199\r
< 133\r
> 1 134 199\r
< 134\r
> 1 135 199\r
< 135\r
> 1 136 199\r
< 136\r
> 1 137 199\r
< 137\r
> 1 138 199\r
< 138\r
> 1 139 199\r
< 139\r
> 1 140 199\r
< 140\r
> 1 141 199\r
< 141\r
> 1 142 199\r
< 142\r
> 1 143 199\r
< 143\r
> 1 144 199\r
< 144\r
> 1 145 199\r
< 145\r
> 1 146 199\r
< 146\r
> 1 147 199\r
< 147\r
> 1 148 199\r
< 148\r
> 1 149 199\r
< 149\r
> 1 150 199\r
< 150\r
> 1 151 199\r
< 151\r
> 1 152 199\r
< 152\r
> 1 153 199\r
< 153\r
> 1 154 199\r
< 154\r
> 1 155 199\r
< 155\r
> 1 156 199\r
< 156\r
> 1 157 199\r
< 157\r
> 1 158 199\r
< 158\r
> 1 159 199\r
< 159\r
> 1 160 199\r
< 160\r
> 1 161 199\r
< 161\r
> 1 162 199\r
< 162\r
> 1 163 199\r
< 163\r
> 1 164 199\r
< 164\r
> 1 165 199\r
< 165\r
> 1 166 199\r
< 166\r
> 1 167 199\r
< 167\r
> 1 168 199\r
< 168\r
> 1 169 199\r
< 169\r
> 1 170 199\r
< 170\r
> 1 171 199\r
< 171\r
> 1 172 199\r
< 172\r
> 1 173 199\r
< 173\r
> 1 174 199\r
< 174\r
> 1 175 199\r
< 175\r
> 1 176 199\r
< 176\r
> 1 177 199\r
< 177\r
> 1 178 199\r
< 178\r
> 1 179 199\r
< 179\r
> 1 180 199\r
< 180\r
> 1 181 199\r
< 181\r
> 1 182 199\r
< 182\r
> 1 183 199\r
< 183\r
> 1 184 199\r
< 184\r
> 1 185 199\r
< 185\r
> 1 186 199\r
< 186\r
> 1 187 199\r
< 187\r
> 1 188 199\r
< 188\r
> 1 189 199\r
< 189\r
> 1 190 199\r
< 190\r
> 1 191 199\r
< 191\r
> 1 192 199\r
< 192\r
> 1 193 199\r
< 193\r
> 1 194 199\r
< 194\r
> 1 195 199\r
< 195\r
> 1 196 199\r
< 196\r
> 1 197 199\r
< 197\r
> 1 198 199\r
< 198\r
> OK 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200\r