1*158^33-159
1*158^55-159
1*158^140-159
1*158^296-159
1*158^1103-159
1*158^1100+157
1*158^2828+157
1*158^6+159
1*158^57+159
1*158^229+159
1*158^579+159
157*158^127-1
157*158^263-1
157*158^323-1
157*158^6119-1
157*158^1620+1
157*158^5092+1
159*158^316-1
159*158^1035-1
159*158^4644-1
159*158^8707-1
159*158^22144-1
159*158^141+1
159*158^225+1
159*158^5190+1