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