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