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