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