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