I suggest to everybody post some tests here to test our programs. There are so many WAs...

a* => N
0* => F
((a))* => N
((0))* => F
0*|0*|0*|0*|0*|0* => F