TPTP Problem Domain: SET

`SET001-1.p`	`SET002-1.p`	`SET002+3.p`	`SET002^3.p`	`SET002+4.p`	`SET002^4.p`	`SET002-6.p`
`SET002^7.p`	`SET003-1.p`	`SET004-1.p`	`SET004^4.p`	`SET005-1.p`	`SET006-1.p`	`SET007-1.p`
`SET008-1.p`	`SET008+3.p`	`SET008^5.p`	`SET009-1.p`	`SET009+3.p`	`SET009^5.p`	`SET010-1.p`
`SET010+3.p`	`SET010^5.p`	`SET011-1.p`	`SET011+3.p`	`SET011^5.p`	`SET012-1.p`	`SET012-2.p`
`SET012-3.p`	`SET012+4.p`	`SET012-4.p`	`SET013-1.p`	`SET013-2.p`	`SET013-3.p`	`SET013+4.p`
`SET013-4.p`	`SET013^7.p`	`SET014-2.p`	`SET014+3.p`	`SET014-3.p`	`SET014+4.p`	`SET014-4.p`
`SET014^4.p`	`SET014^5.p`	`SET014-6.p`	`SET014^7.p`	`SET015-1.p`	`SET015-2.p`	`SET015-3.p`
`SET015+4.p`	`SET015-4.p`	`SET016+1.p`	`SET016-1.p`	`SET016-3.p`	`SET016+4.p`	`SET016-6.p`
`SET016-7.p`	`SET017+1.p`	`SET017^1.p`	`SET017-3.p`	`SET017-4.p`	`SET017-6.p`	`SET017-7.p`
`SET018+1.p`	`SET018-1.p`	`SET018-3.p`	`SET018+4.p`	`SET018-4.p`	`SET018-6.p`	`SET018-7.p`
`SET018^7.p`	`SET019-3.p`	`SET019+4.p`	`SET019-4.p`	`SET019^4.p`	`SET020+1.p`	`SET020-3.p`
`SET020-4.p`	`SET020-6.p`	`SET020-7.p`	`SET020^7.p`	`SET021-3.p`	`SET021-4.p`	`SET021-6.p`
`SET021-7.p`	`SET022-3.p`	`SET022-4.p`	`SET023-3.p`	`SET023-4.p`	`SET024+1.p`	`SET024-3.p`
`SET024-4.p`	`SET024-6.p`	`SET024-7.p`	`SET025+1.p`	`SET025-3.p`	`SET025-4.p`	`SET025-6.p`
`SET025-7.p`	`SET025-8.p`	`SET025-9.p`	`SET027+1.p`	`SET027+3.p`	`SET027-3.p`	`SET027^3.p`
`SET027+4.p`	`SET027-4.p`	`SET027^5.p`	`SET027-6.p`	`SET027-7.p`	`SET027^7.p`	`SET028-3.p`
`SET028-4.p`	`SET029-3.p`	`SET029-4.p`	`SET030-3.p`	`SET030-4.p`	`SET030-6.p`	`SET031-3.p`
`SET031-4.p`	`SET032-3.p`	`SET032-4.p`	`SET032-6.p`	`SET033-3.p`	`SET033-4.p`	`SET033-6.p`
`SET034-3.p`	`SET034-4.p`	`SET034-6.p`	`SET035-3.p`	`SET035-4.p`	`SET035-6.p`	`SET036-3.p`
`SET036-4.p`	`SET036-6.p`	`SET037-3.p`	`SET037-4.p`	`SET037-6.p`	`SET038-3.p`	`SET038-4.p`
`SET038-6.p`	`SET039-3.p`	`SET039-4.p`	`SET040-3.p`	`SET040-4.p`	`SET040-6.p`	`SET041-3.p`
`SET041-4.p`	`SET041-6.p`	`SET042-3.p`	`SET042-4.p`	`SET043+1.p`	`SET043-5.p`	`SET043^5.p`
`SET044+1.p`	`SET044^23.p`	`SET044-5.p`	`SET044^5.p`	`SET045+1.p`	`SET045-5.p`	`SET045^5.p`
`SET045^7.p`	`SET046+1.p`	`SET046-5.p`	`SET046^5.p`	`SET047+1.p`	`SET047^1.p`	`SET047-5.p`
`SET050-6.p`	`SET051-6.p`	`SET052-6.p`	`SET053-6.p`	`SET054+1.p`	`SET054-6.p`	`SET054-7.p`
`SET055^12.p`	`SET055+1.p`	`SET055-6.p`	`SET055-7.p`	`SET056+1.p`	`SET056-6.p`	`SET056-7.p`
`SET057+1.rm`	`SET057-6.p`	`SET057-7.p`	`SET058+1.rm`	`SET058-6.p`	`SET058-7.p`	`SET059+1.rm`
`SET059-6.p`	`SET059-7.p`	`SET060+1.p`	`SET060-6.p`	`SET060-7.p`	`SET061+1.p`	`SET061-6.p`
`SET061-7.p`	`SET062+1.p`	`SET062+3.p`	`SET062+4.p`	`SET062^5.p`	`SET062-6.p`	`SET062^6.p`
`SET062-7.p`	`SET062^7.p`	`SET063+1.p`	`SET063+3.p`	`SET063+4.p`	`SET063^4.p`	`SET063^5.p`
`SET063-6.p`	`SET063-7.p`	`SET064+1.p`	`SET064-6.p`	`SET064-7.p`	`SET065+1.p`	`SET065-6.p`
`SET065-7.p`	`SET066+1.p`	`SET066^1.p`	`SET066-6.p`	`SET066-7.p`	`SET067+1.p`	`SET067^1.p`
`SET067-6.p`	`SET067-7.p`	`SET068-6.p`	`SET068-7.p`	`SET069+1.p`	`SET069-6.p`	`SET069-7.p`
`SET070-6.p`	`SET070-7.p`	`SET071+1.p`	`SET071-6.p`	`SET071-7.p`	`SET072+1.p`	`SET072-6.p`
`SET072-7.p`	`SET073+1.p`	`SET073-6.p`	`SET073-7.p`	`SET074+1.p`	`SET074-6.p`	`SET074-7.p`
`SET075-6.p`	`SET075-7.p`	`SET076+1.p`	`SET076^1.p`	`SET076-6.p`	`SET076-7.p`	`SET077+1.p`
`SET077-6.p`	`SET077-7.p`	`SET078-6.p`	`SET078-7.p`	`SET079+1.p`	`SET079-6.p`	`SET079-7.p`
`SET080-6.p`	`SET080-7.p`	`SET081+1.p`	`SET081-6.p`	`SET081-7.p`	`SET082+1.p`	`SET082-6.p`
`SET082-7.p`	`SET083+1.p`	`SET083-6.p`	`SET083-7.p`	`SET084+1.p`	`SET084-6.p`	`SET084-7.p`
`SET085-6.p`	`SET085-7.p`	`SET086+1.p`	`SET086^1.p`	`SET086-6.p`	`SET086-7.p`	`SET087-6.p`
`SET087-7.p`	`SET088-6.p`	`SET088-7.p`	`SET089-6.p`	`SET089-7.p`	`SET090+1.p`	`SET090-6.p`
`SET090-7.p`	`SET091+1.p`	`SET091-6.p`	`SET091-7.p`	`SET092-6.p`	`SET092-7.p`	`SET093+1.p`
`SET093-6.p`	`SET093-7.p`	`SET094+1.p`	`SET094-6.p`	`SET094-7.p`	`SET095+1.p`	`SET095+4.p`
`SET095-6.p`	`SET095-7.p`	`SET096+1.p`	`SET096^1.p`	`SET096-6.p`	`SET096-7.p`	`SET097+1.p`
`SET097-6.p`	`SET097-7.p`	`SET098+1.p`	`SET098-6.p`	`SET098-7.p`	`SET099+1.p`	`SET099-6.p`
`SET099-7.p`	`SET100-6.p`	`SET100-7.p`	`SET101+1.p`	`SET101-6.p`	`SET101-7.p`	`SET102+1.p`
`SET102-6.p`	`SET102-7.p`	`SET103+1.p`	`SET103-6.p`	`SET103-7.p`	`SET104+1.p`	`SET104-6.p`
`SET104-7.p`	`SET105+1.p`	`SET105-6.p`	`SET105-7.p`	`SET108+1.p`	`SET108-6.p`	`SET108-7.p`
`SET109-6.p`	`SET109-7.p`	`SET110-6.p`	`SET110-7.p`	`SET111-6.p`	`SET111-7.p`	`SET112-6.p`
`SET112-7.p`	`SET113+1.p`	`SET113-6.p`	`SET113-7.p`	`SET114-6.p`	`SET114-7.p`	`SET115-6.p`
`SET115-7.p`	`SET116-6.p`	`SET116-7.p`	`SET117+1.p`	`SET117-6.p`	`SET117-7.p`	`SET118-6.p`
`SET118-7.p`	`SET119+1.p`	`SET119-6.p`	`SET119-7.p`	`SET120+1.p`	`SET120-6.p`	`SET120-7.p`
`SET121+1.p`	`SET121-6.p`	`SET121-7.p`	`SET122+1.p`	`SET122-6.p`	`SET122-7.p`	`SET123-6.p`
`SET124-6.p`	`SET125-6.p`	`SET126-6.p`	`SET127-6.p`	`SET128-6.p`	`SET129-6.p`	`SET130-6.p`
`SET131-6.p`	`SET132-6.p`	`SET133-6.p`	`SET134-6.p`	`SET135-6.p`	`SET136-6.p`	`SET137-6.p`
`SET138-6.p`	`SET139-6.p`	`SET140-6.p`	`SET141-6.p`	`SET142-6.p`	`SET143+3.p`	`SET143^3.p`
`SET143+4.p`	`SET143^5.p`	`SET143-6.p`	`SET144+3.p`	`SET144^5.p`	`SET144-6.p`	`SET145-6.p`
`SET146+3.p`	`SET146-6.p`	`SET147-6.p`	`SET148+3.p`	`SET148+4.p`	`SET148-6.p`	`SET149-6.p`
`SET150-6.p`	`SET151-6.p`	`SET152-6.p`	`SET153-6.p`	`SET154-6.p`	`SET155+4.p`	`SET155-6.p`
`SET156+4.p`	`SET156-6.p`	`SET157-6.p`	`SET158-6.p`	`SET159+3.p`	`SET159+4.p`	`SET159^5.p`
`SET159-6.p`	`SET160-6.p`	`SET161-6.p`	`SET162+3.p`	`SET162+4.p`	`SET162^5.p`	`SET162-6.p`
`SET163-6.p`	`SET164-6.rm`	`SET165-6.p`	`SET166-6.p`	`SET167-6.p`	`SET168-6.p`	`SET169+3.p`
`SET169+4.p`	`SET169^5.p`	`SET169-6.p`	`SET170-6.p`	`SET171+3.p`	`SET171^3.p`	`SET171+4.p`
`SET171^5.p`	`SET171-6.p`	`SET172-6.p`	`SET173+3.p`	`SET173^5.p`	`SET173-6.p`	`SET174-6.p`
`SET175+3.p`	`SET175^5.p`	`SET175-6.p`	`SET176-6.p`	`SET177-6.p`	`SET178-6.p`	`SET179-6.p`
`SET180-6.p`	`SET181-6.p`	`SET182-6.p`	`SET183+3.p`	`SET183^5.p`	`SET183-6.p`	`SET184-6.p`
`SET185+3.p`	`SET185^5.p`	`SET185-6.p`	`SET186-6.p`	`SET187-6.p`	`SET188-6.p`	`SET189-6.p`
`SET190-6.p`	`SET191-6.p`	`SET192-6.p`	`SET193-6.p`	`SET194+3.p`	`SET194^5.p`	`SET194-6.p`
`SET195-6.p`	`SET196+3.p`	`SET196^5.p`	`SET196-6.p`	`SET197-6.p`	`SET198-6.rm`	`SET199+3.p`
`SET199+4.p`	`SET199^5.p`	`SET199-6.p`	`SET200+3.p`	`SET200^5.p`	`SET200-6.p`	`SET201+3.p`
`SET201^5.p`	`SET201-6.p`	`SET202-6.p`	`SET203-6.p`	`SET204-6.p`	`SET205-6.p`	`SET206-6.p`
`SET207-6.p`	`SET208-6.p`	`SET209-6.p`	`SET210-6.p`	`SET211-6.p`	`SET212-6.p`	`SET213-6.p`
`SET214-6.p`	`SET215-6.p`	`SET216-6.p`	`SET217-6.p`	`SET218-6.p`	`SET219-6.p`	`SET220-6.p`
`SET221-6.p`	`SET222-6.p`	`SET223-6.p`	`SET224-6.p`	`SET225-6.p`	`SET226-6.p`	`SET227-6.p`
`SET228-6.p`	`SET229-6.p`	`SET230-6.p`	`SET231-6.p`	`SET232-6.p`	`SET233-6.p`	`SET234-6.p`
`SET235-6.p`	`SET236-6.p`	`SET237-6.p`	`SET238-6.p`	`SET239-6.p`	`SET240-6.p`	`SET241-6.p`
`SET242-6.p`	`SET243-6.p`	`SET244-6.p`	`SET245-6.p`	`SET246-6.p`	`SET247-6.p`	`SET248-6.p`
`SET249-6.p`	`SET250-6.p`	`SET251-6.p`	`SET252-6.p`	`SET253-6.p`	`SET254-6.p`	`SET255-6.p`
`SET256-6.p`	`SET257-6.p`	`SET258-6.p`	`SET259-6.p`	`SET260-6.p`	`SET261-6.p`	`SET262-6.p`
`SET263-6.p`	`SET264-6.p`	`SET265-6.p`	`SET266-6.p`	`SET267-6.p`	`SET268-6.p`	`SET269-6.p`
`SET270-6.p`	`SET271-6.p`	`SET272-6.p`	`SET273-6.p`	`SET274-6.p`	`SET275-6.p`	`SET276-6.p`
`SET277-6.p`	`SET278-6.p`	`SET279-6.p`	`SET280-6.p`	`SET281-6.p`	`SET282-6.p`	`SET283-6.p`
`SET284-6.p`	`SET285-6.p`	`SET286-6.p`	`SET287-6.p`	`SET288-6.p`	`SET289-6.p`	`SET290-6.p`
`SET291-6.p`	`SET292-6.p`	`SET293-6.p`	`SET294-6.p`	`SET295-6.p`	`SET296-6.p`	`SET297-6.p`
`SET298-6.p`	`SET299-6.p`	`SET300-6.p`	`SET301-6.p`	`SET302-6.p`	`SET303-6.p`	`SET304-6.p`
`SET305-6.p`	`SET306-6.p`	`SET307-6.p`	`SET308-6.p`	`SET309-6.p`	`SET310-6.p`	`SET311-6.p`
`SET312-6.p`	`SET313-6.p`	`SET314-6.p`	`SET315-6.p`	`SET316-6.p`	`SET317-6.p`	`SET318-6.p`
`SET319-6.p`	`SET320-6.p`	`SET321-6.p`	`SET322-6.p`	`SET323-6.p`	`SET324-6.p`	`SET325-6.p`
`SET326-6.p`	`SET327-6.p`	`SET328-6.p`	`SET329-6.p`	`SET330-6.p`	`SET331-6.p`	`SET332-6.p`
`SET333-6.p`	`SET334-6.p`	`SET335-6.p`	`SET336-6.p`	`SET337-6.p`	`SET338-6.p`	`SET339-6.p`
`SET340-6.p`	`SET341-6.p`	`SET342-6.p`	`SET343-6.p`	`SET344-6.p`	`SET345-6.p`	`SET346-6.p`
`SET347+4.p`	`SET347-6.p`	`SET348-6.p`	`SET349-6.p`	`SET350-6.p`	`SET351+4.p`	`SET351-6.p`
`SET352+4.p`	`SET352-6.p`	`SET353-6.p`	`SET354-6.p`	`SET355+4.p`	`SET355-6.p`	`SET356-6.p`
`SET357-6.p`	`SET358+4.p`	`SET358-6.p`	`SET359-6.p`	`SET360-6.p`	`SET361-6.p`	`SET362-6.p`
`SET363-6.p`	`SET364-6.p`	`SET365-6.p`	`SET366+4.p`	`SET366-6.p`	`SET367-6.p`	`SET368-6.p`
`SET369-6.p`	`SET370-6.p`	`SET371-6.p`	`SET372+4.p`	`SET372-6.p`	`SET373-6.p`	`SET374-6.p`
`SET375-6.p`	`SET376-6.p`	`SET377-6.p`	`SET378-6.p`	`SET379-6.p`	`SET380-6.p`	`SET381-6.p`
`SET382-6.p`	`SET383-6.p`	`SET384-6.p`	`SET385-6.p`	`SET386-6.p`	`SET387-6.p`	`SET388-6.p`
`SET389-6.p`	`SET390-6.p`	`SET391-6.p`	`SET392-6.p`	`SET393-6.p`	`SET394-6.p`	`SET395-6.p`
`SET396-6.p`	`SET397-6.p`	`SET398-6.p`	`SET399-6.p`	`SET400-6.p`	`SET401-6.p`	`SET402-6.p`
`SET403-6.p`	`SET404-6.p`	`SET405-6.p`	`SET406-6.p`	`SET407-6.p`	`SET408-6.p`	`SET409-6.p`
`SET410-6.p`	`SET411-6.p`	`SET412-6.p`	`SET413-6.p`	`SET414-6.p`	`SET415-6.p`	`SET416-6.p`
`SET417-6.p`	`SET418-6.p`	`SET419-6.p`	`SET420-6.p`	`SET421-6.p`	`SET422-6.p`	`SET423-6.p`
`SET424-6.p`	`SET425-6.p`	`SET426-6.p`	`SET427-6.p`	`SET428-6.p`	`SET429-6.p`	`SET430-6.p`
`SET431-6.p`	`SET432-6.p`	`SET433-6.p`	`SET434-6.p`	`SET435-6.p`	`SET436-6.p`	`SET437-6.p`
`SET438-6.p`	`SET439-6.p`	`SET440-6.p`	`SET441-6.p`	`SET442-6.p`	`SET443-6.p`	`SET444-6.p`
`SET445-6.p`	`SET446-6.p`	`SET447-6.p`	`SET448-6.p`	`SET449-6.p`	`SET450-6.p`	`SET451-6.p`
`SET452-6.p`	`SET453-6.p`	`SET454-6.p`	`SET455-6.p`	`SET456-6.p`	`SET457-6.p`	`SET458-6.p`
`SET459-6.p`	`SET460-6.p`	`SET461-6.p`	`SET462-6.p`	`SET463-6.p`	`SET464-6.p`	`SET465-6.p`
`SET466-6.p`	`SET467-6.p`	`SET468-6.p`	`SET469-6.p`	`SET470-6.p`	`SET471-6.p`	`SET472-6.p`
`SET473-6.p`	`SET474-6.p`	`SET475-6.p`	`SET476-6.p`	`SET477-6.p`	`SET478-6.p`	`SET479-6.p`
`SET480-6.p`	`SET481-6.p`	`SET482-6.p`	`SET483-6.p`	`SET484-6.p`	`SET485-6.p`	`SET486-6.p`
`SET487-6.p`	`SET488-6.p`	`SET489-6.p`	`SET490-6.p`	`SET491-6.p`	`SET492-6.p`	`SET493-6.p`
`SET494-6.p`	`SET495-6.p`	`SET496-6.p`	`SET497-6.p`	`SET498-6.p`	`SET499-6.p`	`SET500-6.p`
`SET501-6.p`	`SET502-6.p`	`SET503-6.p`	`SET504-6.p`	`SET505-6.p`	`SET506-6.p`	`SET507-6.p`
`SET508-6.p`	`SET509-6.p`	`SET510-6.p`	`SET511-6.p`	`SET512-6.p`	`SET513-6.p`	`SET514-6.p`
`SET515-6.p`	`SET516-6.p`	`SET517-6.p`	`SET518-6.p`	`SET519-6.p`	`SET520-6.p`	`SET521-6.p`
`SET522-6.p`	`SET523-6.p`	`SET524-6.p`	`SET525-6.p`	`SET526-6.p`	`SET527-6.p`	`SET528-6.p`
`SET529-6.p`	`SET530-6.p`	`SET531-6.p`	`SET532-6.p`	`SET533-6.p`	`SET534-6.p`	`SET535-6.p`
`SET536-6.p`	`SET537-6.p`	`SET538-6.p`	`SET539-6.p`	`SET540-6.p`	`SET541-6.p`	`SET542-6.p`
`SET543-6.p`	`SET544-6.p`	`SET545-6.p`	`SET546-6.p`	`SET547-6.p`	`SET548-6.p`	`SET549-6.p`
`SET550-6.p`	`SET551-6.p`	`SET552-6.p`	`SET553-6.p`	`SET554-6.p`	`SET555-6.p`	`SET556-6.p`
`SET557^1.p`	`SET557^5.rm`	`SET557-6.p`	`SET557^6.p`	`SET557^7.rm`	`SET558-6.p`	`SET559-6.p`
`SET560-6.p`	`SET561-6.p`	`SET562-6.p`	`SET563-6.p`	`SET564-6.p`	`SET565-6.p`	`SET566-6.p`
`SET567-6.p`	`SET568-6.rm`	`SET569-6.rm`	`SET570-6.rm`	`SET571-6.rm`	`SET572-6.rm`	`SET573+3.p`
`SET574^20.p`	`SET574+3.p`	`SET575+3.p`	`SET575^7.p`	`SET576+3.p`	`SET576^7.p`	`SET577+3.p`
`SET578+3.p`	`SET579+3.p`	`SET579^3.p`	`SET580+3.p`	`SET580^3.p`	`SET580^5.p`	`SET581+3.p`
`SET582+3.p`	`SET582^5.p`	`SET583+3.p`	`SET583^7.p`	`SET584+3.p`	`SET584^5.p`	`SET585+3.p`
`SET585^5.p`	`SET586+3.p`	`SET586^5.p`	`SET587+3.p`	`SET587^5.p`	`SET588+3.p`	`SET588^5.p`
`SET589+3.p`	`SET589^5.p`	`SET590+3.p`	`SET590^5.p`	`SET591+3.p`	`SET591^5.p`	`SET592+3.p`
`SET592^5.p`	`SET593+3.p`	`SET593^5.p`	`SET594+3.p`	`SET594^5.p`	`SET595+3.p`	`SET595+4.p`
`SET595^5.p`	`SET596+3.p`	`SET596^5.p`	`SET597+3.p`	`SET597^5.p`	`SET598+3.p`	`SET598^5.p`
`SET599+3.p`	`SET599^5.p`	`SET600+3.p`	`SET600^5.p`	`SET601+3.p`	`SET601^3.p`	`SET601^5.p`
`SET602+3.p`	`SET602+4.p`	`SET603+3.p`	`SET603+4.p`	`SET603^5.p`	`SET604+3.p`	`SET604^5.p`
`SET605+3.p`	`SET605^5.p`	`SET606+3.p`	`SET606^3.p`	`SET606^5.p`	`SET607+3.p`	`SET607^3.p`
`SET607^5.p`	`SET608+3.p`	`SET608^5.p`	`SET609+3.p`	`SET609^3.p`	`SET609^5.p`	`SET610+3.p`
`SET610^5.p`	`SET611+3.p`	`SET611^3.p`	`SET611^5.p`	`SET612+3.p`	`SET612^3.p`	`SET612^5.p`
`SET613+3.p`	`SET613^5.p`	`SET614+3.p`	`SET614^3.p`	`SET614^5.p`	`SET615+3.p`	`SET615^3.p`
`SET615^5.p`	`SET616+3.p`	`SET616^5.p`	`SET617+3.p`	`SET617^5.p`	`SET618+3.p`	`SET618^5.p`
`SET619+3.p`	`SET619^5.p`	`SET620+3.p`	`SET620^5.p`	`SET621+3.p`	`SET621^5.p`	`SET622+3.p`
`SET622^5.p`	`SET623+3.p`	`SET623^3.p`	`SET623^5.p`	`SET624+3.p`	`SET624^3.p`	`SET624^5.p`
`SET625+3.p`	`SET625^5.p`	`SET626+3.p`	`SET626^5.p`	`SET627+3.p`	`SET627^5.p`	`SET628+3.p`
`SET628^5.p`	`SET629+3.p`	`SET629^5.p`	`SET630+3.p`	`SET630^3.p`	`SET630^5.p`	`SET631+3.p`
`SET631^5.p`	`SET632+3.p`	`SET632^5.p`	`SET633+3.p`	`SET633^5.p`	`SET634+3.p`	`SET634^5.p`
`SET635+3.p`	`SET635^5.p`	`SET636+3.p`	`SET636^5.p`	`SET637+3.p`	`SET638+3.p`	`SET638^5.p`
`SET639+3.p`	`SET640+3.p`	`SET640^3.p`	`SET641+3.p`	`SET642+3.p`	`SET643+3.p`	`SET644+3.p`
`SET645+3.p`	`SET646+3.p`	`SET646^3.p`	`SET647+3.p`	`SET647^3.p`	`SET648+3.p`	`SET648^3.p`
`SET649+3.p`	`SET649^3.p`	`SET650+3.p`	`SET651+3.p`	`SET651^3.p`	`SET652+3.p`	`SET653+3.p`
`SET654+3.p`	`SET655+3.p`	`SET656+3.p`	`SET657+3.p`	`SET657^3.p`	`SET658+3.p`	`SET659+3.p`
`SET660+3.p`	`SET661+3.p`	`SET662+3.p`	`SET663+3.p`	`SET664+3.p`	`SET665+3.p`	`SET666+3.p`
`SET667+3.p`	`SET668+3.p`	`SET669+3.p`	`SET669^3.p`	`SET670+3.p`	`SET670^3.p`	`SET671+3.p`
`SET671^3.p`	`SET672+3.p`	`SET672^3.p`	`SET673+3.p`	`SET673^3.p`	`SET674+3.p`	`SET675+3.p`
`SET676+3.p`	`SET677+3.p`	`SET678+3.p`	`SET679+3.p`	`SET680+3.p`	`SET680^3.p`	`SET681+3.p`
`SET682+3.p`	`SET683+3.p`	`SET683^3.p`	`SET684+3.p`	`SET684^3.p`	`SET685+3.p`	`SET686+3.p`
`SET687+4.p`	`SET688+4.p`	`SET689+4.p`	`SET690+4.p`	`SET691+4.p`	`SET692+4.p`	`SET693+4.p`
`SET694+4.p`	`SET695+4.p`	`SET696+4.p`	`SET697+4.p`	`SET698+4.p`	`SET699+4.p`	`SET700+4.p`
`SET701+4.p`	`SET702+4.p`	`SET703+4.p`	`SET704+4.p`	`SET705+4.p`	`SET706+4.p`	`SET707+4.p`
`SET708+4.p`	`SET709+4.p`	`SET710+4.p`	`SET711+4.p`	`SET712+4.p`	`SET713+4.p`	`SET714+4.p`
`SET715+4.p`	`SET716+4.p`	`SET716^4.p`	`SET717+4.p`	`SET718+4.p`	`SET719+4.p`	`SET720+4.p`
`SET721+4.p`	`SET722+4.p`	`SET723+4.p`	`SET724+4.p`	`SET724^4.p`	`SET725+4.p`	`SET726+4.p`
`SET727+4.p`	`SET728+4.p`	`SET729+4.p`	`SET730+4.p`	`SET731+4.p`	`SET732+4.p`	`SET733+4.p`
`SET734+4.p`	`SET735+4.p`	`SET736+4.p`	`SET737+4.p`	`SET738+4.p`	`SET739+4.p`	`SET740+4.p`
`SET741+4.p`	`SET741^4.p`	`SET742+4.p`	`SET743+4.p`	`SET744+4.p`	`SET745+4.p`	`SET746+4.p`
`SET747+4.p`	`SET747^4.p`	`SET748+4.p`	`SET749+4.p`	`SET750+4.p`	`SET751+4.p`	`SET752+4.p`
`SET752^4.p`	`SET753+4.p`	`SET753^4.p`	`SET754+4.p`	`SET755+4.p`	`SET756+4.p`	`SET757+4.p`
`SET758+4.p`	`SET759+4.p`	`SET760+4.p`	`SET761+4.p`	`SET762+4.p`	`SET763+4.p`	`SET764+4.p`
`SET764^4.p`	`SET765+4.p`	`SET766+4.p`	`SET767+4.p`	`SET768+4.p`	`SET769+4.p`	`SET770+4.p`
`SET771+4.p`	`SET772+4.p`	`SET773+4.p`	`SET774+4.p`	`SET775+4.p`	`SET776+4.p`	`SET777-1.p`
`SET778-1.p`	`SET779-1.p`	`SET780-1.p`	`SET781-1.p`	`SET781-2.p`	`SET781+3.p`	`SET781-3.p`
`SET782-1.p`	`SET783+1.p`	`SET784+1.p`	`SET785+1.p`	`SET786+1.p`	`SET786-1.p`	`SET787-1.p`
`SET787-2.p`	`SET788+1.p`	`SET789+4.p`	`SET790+4.p`	`SET791+4.p`	`SET792+4.p`	`SET793+4.p`
`SET794+4.p`	`SET795+4.p`	`SET796+4.p`	`SET797+4.p`	`SET798+4.p`	`SET799+4.p`	`SET800+4.p`
`SET801+4.p`	`SET802+4.p`	`SET803+4.p`	`SET804+4.p`	`SET805+4.p`	`SET806+4.p`	`SET807+4.p`
`SET808+4.p`	`SET809+4.p`	`SET810+4.p`	`SET811+4.p`	`SET812+4.p`	`SET813+4.p`	`SET814+4.p`
`SET815+4.p`	`SET816+4.p`	`SET817+4.p`	`SET818-1.p`	`SET818-2.p`	`SET819-1.p`	`SET819-2.p`
`SET820-1.p`	`SET820-2.p`	`SET821-1.p`	`SET821-2.p`	`SET822-1.p`	`SET822-2.p`	`SET823-1.rm`
`SET823-2.rm`	`SET824-1.p`	`SET824-2.p`	`SET825-1.p`	`SET825-2.p`	`SET826-1.p`	`SET826-2.p`
`SET827-1.p`	`SET827-2.p`	`SET828-1.p`	`SET828-2.p`	`SET829-1.p`	`SET829-2.p`	`SET830-1.p`
`SET830-2.p`	`SET831-1.p`	`SET831-2.p`	`SET832-1.p`	`SET832-2.p`	`SET833-1.p`	`SET833-2.p`
`SET834-1.p`	`SET834-2.p`	`SET835-1.p`	`SET835-2.p`	`SET836-1.p`	`SET836-2.p`	`SET837-1.p`
`SET837-2.p`	`SET838-1.p`	`SET838-2.p`	`SET839-1.p`	`SET839-2.p`	`SET840-1.p`	`SET840-2.p`
`SET841-1.p`	`SET841-2.p`	`SET842-1.p`	`SET842-2.p`	`SET843-1.p`	`SET843-2.p`	`SET844-1.p`
`SET844-2.p`	`SET845-1.p`	`SET845-2.p`	`SET846-1.p`	`SET846-2.p`	`SET847-1.p`	`SET847-2.p`
`SET848-1.p`	`SET848-2.p`	`SET849-1.p`	`SET849-2.p`	`SET850-1.p`	`SET850-2.p`	`SET851-1.p`
`SET851-2.p`	`SET852-1.p`	`SET852-2.p`	`SET853-1.p`	`SET853-2.p`	`SET854-1.p`	`SET854-2.p`
`SET855-1.p`	`SET855-2.p`	`SET856-1.p`	`SET856-2.p`	`SET857-1.p`	`SET857-2.p`	`SET858-1.p`
`SET858-2.p`	`SET859-1.p`	`SET859-2.p`	`SET860-1.p`	`SET860-2.p`	`SET861-1.p`	`SET861-2.p`
`SET862-1.p`	`SET862-2.p`	`SET863-1.p`	`SET863-2.p`	`SET864-1.p`	`SET864-2.p`	`SET865-1.p`
`SET865-2.p`	`SET866+1.rm`	`SET867+1.p`	`SET868+1.rm`	`SET869+1.rm`	`SET870+1.rm`	`SET871+1.rm`
`SET872+1.p`	`SET873+1.p`	`SET874+1.p`	`SET875+1.p`	`SET876+1.p`	`SET877+1.p`	`SET878+1.p`
`SET879+1.p`	`SET880+1.p`	`SET881+1.p`	`SET882+1.p`	`SET883+1.p`	`SET884+1.p`	`SET885+1.p`
`SET886+1.p`	`SET887+1.p`	`SET888+1.p`	`SET889+1.p`	`SET890+1.p`	`SET891+1.p`	`SET892+1.rm`
`SET893+1.p`	`SET894+1.p`	`SET895+1.p`	`SET896+1.rm`	`SET897+1.rm`	`SET898+1.rm`	`SET899+1.p`
`SET900+1.p`	`SET901+1.p`	`SET902+1.p`	`SET903+1.p`	`SET904+1.p`	`SET905+1.rm`	`SET906+1.p`
`SET907+1.p`	`SET907^7.p`	`SET908+1.p`	`SET908^7.p`	`SET909+1.p`	`SET910+1.p`	`SET911+1.p`
`SET912+1.p`	`SET913+1.p`	`SET914+1.p`	`SET914^7.p`	`SET915+1.p`	`SET916+1.p`	`SET916^7.p`
`SET917+1.p`	`SET918+1.p`	`SET919+1.p`	`SET920+1.p`	`SET921+1.p`	`SET922+1.rm`	`SET923+1.p`
`SET924+1.p`	`SET924^1.p`	`SET925+1.p`	`SET925^7.p`	`SET926^11.p`	`SET926^12.p`	`SET926+1.p`
`SET926^20.p`	`SET926^7.p`	`SET926^8.p`	`SET927+1.p`	`SET928+1.p`	`SET929+1.p`	`SET930+1.p`
`SET931+1.p`	`SET932+1.p`	`SET933+1.p`	`SET934+1.p`	`SET935+1.p`	`SET936+1.p`	`SET937+1.p`
`SET938+1.p`	`SET939+1.rm`	`SET940+1.p`	`SET941+1.p`	`SET942+1.p`	`SET943+1.p`	`SET944+1.p`
`SET945+1.p`	`SET946+1.rm`	`SET947+1.p`	`SET948+1.p`	`SET949+1.p`	`SET950+1.p`	`SET951+1.p`
`SET952+1.p`	`SET953+1.rm`	`SET954+1.p`	`SET955+1.p`	`SET956+1.p`	`SET957+1.p`	`SET958+1.p`
`SET959+1.p`	`SET960+1.p`	`SET961+1.p`	`SET962+1.p`	`SET963+1.p`	`SET964+1.p`	`SET965+1.rm`
`SET966+1.rm`	`SET967+1.p`	`SET968+1.p`	`SET969+1.p`	`SET970+1.p`	`SET971+1.p`	`SET972+1.p`
`SET973+1.p`	`SET974+1.p`	`SET975+1.p`	`SET976+1.p`	`SET977+1.p`	`SET978+1.p`	`SET979+1.p`
`SET980+1.p`	`SET981+1.p`	`SET982+1.rm`	`SET983+1.p`	`SET984+1.p`	`SET985+1.p`	`SET986+1.p`
`SET987+1.p`	`SET988+1.p`	`SET989+1.rm`	`SET990+1.p`	`SET991+1.p`	`SET992+1.p`	`SET993+1.p`
`SET994+1.p`	`SET995+1.p`	`SET996+1.p`	`SET997+1.p`	`SET998+1.p`	`SET999+1.rm`