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