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