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