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