1*12^2-13 1*12^6-13 1*12^5-11 1*12^6-11 1*12^1+11 1*12^4+11 1*12^2+13 1*12^3+13 1*12^4+13 11*12^1-1 11*12^2-1 11*12^3+1 11*12^4+1 13*12^2-1 13*12^6-1 13*12^1+1 13*12^2+1