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