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