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