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