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