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