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