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