Fibonacci regex, short versions: Divide by two at an earlier point; length-=9