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