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