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