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