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