Yes, there are some which are doubtful, (i.e. A063003). according to the 'score' I just mentioned, that one has a score of 2.99 which should be rejected. The formula has 188 or 180 characters depending if we factor it, the length of the sequence is 198 and there are 27 terms ; conclusion : the formula is too long. Best regards, Simon Plouffe