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