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