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