[[Vecsmall([87, 79, 88, 80, 63, 64, 55, 96, 97, 93, 78, 70, 107, 102, 92, 40, 110, 25, 117, 52, 34, 122, 68, 69, 62, 16, 114, 45, 46, 81, 82, 1, 3, 76, 20, 118, 115, 57, 58, 73, 8, 9, 18, 94, 90, 91, 23, 24, 123, 124, 119, 85, 75, 21, 13, 103, 100, 101, 112, 30, 31, 43, 2, 4, 125, 127, 86, 98, 99, 17, 28, 29, 26, 116, 108, 54, 44, 10, 5, 6, 105, 106, 38, 39, 35, 111, 120, 121, 56, 71, 72, 14, 11, 109, 53, 126, 128, 47, 48, 83, 84, 15, 113, 67, 60, 61, 7, 95, 77, 12, 104, 19, 89, 37, 27, 22, 59, 51, 36, 32, 33, 74, 65, 66, 49, 41, 50, 42]), Vecsmall([122, 14, 17, 118, 15, 119, 120, 117, 13, 4, 6, 126, 1, 124, 127, 30, 8, 29, 33, 23, 39, 42, 44, 16, 46, 60, 63, 21, 67, 56, 20, 22, 70, 58, 47, 49, 79, 18, 53, 81, 19, 55, 72, 31, 34, 86, 77, 26, 78, 27, 65, 68, 28, 84, 32, 24, 25, 75, 88, 89, 35, 91, 92, 36, 93, 37, 38, 94, 40, 41, 54, 104, 105, 97, 45, 101, 61, 64, 102, 51, 103, 52, 43, 95, 98, 57, 74, 110, 48, 76, 111, 50, 80, 82, 71, 59, 107, 109, 73, 62, 108, 66, 69, 83, 113, 85, 87, 90, 106, 96, 100, 121, 99, 2, 5, 128, 3, 123, 125, 116, 12, 9, 10, 114, 11, 112, 115, 7]), Vecsmall([123, 96, 124, 97, 41, 42, 10, 2, 4, 55, 107, 14, 11, 70, 110, 18, 15, 40, 37, 21, 52, 51, 90, 91, 73, 43, 112, 47, 48, 100, 101, 49, 50, 85, 54, 116, 117, 60, 61, 25, 63, 64, 16, 53, 23, 24, 45, 46, 1, 3, 122, 34, 94, 20, 93, 67, 30, 31, 27, 57, 58, 26, 8, 9, 120, 121, 103, 71, 72, 102, 98, 99, 62, 36, 109, 35, 95, 7, 126, 128, 83, 84, 105, 106, 76, 113, 65, 66, 104, 68, 69, 12, 13, 75, 44, 79, 80, 28, 29, 81, 82, 17, 86, 56, 38, 39, 78, 77, 108, 92, 89, 114, 111, 19, 59, 118, 115, 22, 74, 125, 127, 119, 87, 88, 32, 5, 33, 6]), Vecsmall([17, 10, 13, 14, 11, 15, 121, 122, 117, 2, 5, 120, 3, 4, 6, 23, 1, 39, 42, 24, 38, 41, 16, 20, 58, 47, 49, 67, 53, 44, 56, 70, 55, 57, 48, 50, 65, 21, 18, 68, 22, 19, 84, 30, 86, 75, 26, 35, 27, 36, 66, 69, 29, 83, 33, 31, 34, 25, 97, 77, 89, 101, 78, 92, 37, 51, 28, 40, 52, 32, 104, 95, 98, 96, 46, 100, 60, 63, 93, 102, 94, 103, 54, 43, 99, 45, 110, 107, 61, 111, 108, 64, 79, 81, 72, 74, 59, 73, 85, 76, 62, 80, 82, 71, 109, 113, 88, 91, 105, 87, 90, 128, 106, 123, 125, 126, 9, 124, 127, 12, 7, 8, 114, 118, 115, 116, 119, 112]), Vecsmall([43, 85, 54, 73, 20, 16, 83, 95, 104, 24, 99, 84, 57, 23, 98, 6, 58, 87, 28, 5, 88, 29, 14, 10, 120, 80, 61, 19, 22, 118, 114, 62, 76, 121, 79, 60, 82, 55, 70, 64, 108, 111, 1, 127, 117, 122, 92, 78, 103, 94, 81, 63, 96, 3, 38, 125, 13, 17, 90, 36, 27, 32, 52, 40, 89, 77, 97, 102, 93, 39, 112, 116, 4, 91, 126, 33, 66, 48, 35, 26, 51, 37, 7, 12, 2, 128, 18, 21, 65, 59, 74, 47, 69, 50, 8, 53, 67, 15, 11, 107, 110, 68, 49, 9, 119, 115, 100, 41, 124, 101, 42, 71, 123, 31, 106, 72, 45, 30, 105, 25, 34, 46, 113, 109, 56, 75, 44, 86])], Vecsmall([4, 4, 2, 2, 2])]
