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