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