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