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