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