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