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