head:[4], tail:[]
regex:[(?^:^a[ab]a
$)]
loop #:[1]
[aaa
]
[aaa
]
[aaa
]
Answer: YES
loop #:[2]
[aab
]
[aab
]
[aab
]
Answer: NO