TPTP Problem Domain: SET


SET001-1.p SET002-1.p SET002+3.p SET002+4.p SET002-6.p SET002^7.p SET003-1.p
SET004-1.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 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+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-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-5.p
SET050-6.p SET051-6.p SET052-6.p SET053-6.p SET054+1.p SET054-6.p SET054-7.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^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+3.p SET575+3.p
SET575^7.p SET576+3.p SET576^7.p SET577+3.p SET578+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 SET925+1.p SET925^7.p SET926+1.p
SET926^7.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