a(aa)*a+a(aa)*+(b+a(aa)*ab+a(aa)*b)(b+a(aa)*b+a(aa)*ab)*+(b+a(aa)*ab+a(aa)*b)(b+a(aa)*b+a(aa)*ab)*a(aa)*+(b+a(aa)*ab+a(aa)*b)(b+a(aa)*b+a(aa)*ab)*a(aa)*a+""
