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