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