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