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