TPTP Problem Domain: NUM


NUM001-1.p NUM002-1.p NUM003-1.p NUM004-1.p NUM005-1.p NUM006+1.p NUM006-1.p
NUM006+2.p NUM007-1.p NUM008-1.p NUM009-1.p NUM010-1.p NUM011-1.p NUM012-1.p
NUM013-1.p NUM014-1.p NUM015-1.p NUM016-1.p NUM016-2.p NUM016^5.p NUM017-1.p
NUM017-2.p NUM018-1.p NUM019-1.p NUM020-1.p NUM020^1.p NUM021-1.p NUM021^1.p
NUM022-1.p NUM023-1.p NUM024-1.p NUM025-1.p NUM025-2.p NUM026-10.p NUM026-1.p
NUM027-1.p NUM028-1.p NUM029-1.p NUM030-1.p NUM031-1.p NUM032-1.p NUM033-1.p
NUM034-1.p NUM035-1.p NUM036-1.p NUM037-1.p NUM038-1.p NUM039-1.p NUM040-1.p
NUM041-1.p NUM042-1.p NUM043-1.p NUM044-1.p NUM045-1.p NUM046-1.p NUM047-1.p
NUM048-1.p NUM049-1.p NUM050-1.p NUM051-1.p NUM052-1.p NUM053-1.p NUM054-1.p
NUM055-1.p NUM056-1.p NUM057-1.p NUM058-1.p NUM059-1.p NUM060-1.p NUM061-1.p
NUM062-1.p NUM063-1.p NUM064-1.p NUM065-1.p NUM066-1.p NUM067-1.p NUM068-1.p
NUM069-1.p NUM070-1.p NUM071-1.p NUM072-1.p NUM073-1.p NUM074-1.p NUM075-1.p
NUM076-1.p NUM077-1.p NUM078-1.p NUM079-1.p NUM080-1.p NUM081-1.p NUM082-1.p
NUM083-1.p NUM084-1.p NUM085-1.p NUM086-1.p NUM087-1.p NUM088-1.p NUM089-1.p
NUM090-1.p NUM091-1.p NUM092-1.p NUM093-1.p NUM094-1.p NUM095-1.p NUM096-1.p
NUM097-1.p NUM098-1.p NUM099-1.p NUM100-1.p NUM101-1.p NUM102-1.p NUM103-1.p
NUM104-1.p NUM105-1.p NUM106-1.p NUM107-1.p NUM108-1.p NUM109-1.p NUM110-1.p
NUM111-1.p NUM112-1.p NUM113-1.p NUM114-1.p NUM115-1.p NUM116-1.p NUM117-1.p
NUM118-1.p NUM119-1.p NUM120-1.p NUM121-1.p NUM122-1.p NUM123-1.p NUM124-1.p
NUM125-1.p NUM126-1.p NUM127-1.p NUM128-1.p NUM129-1.p NUM130-1.p NUM131-1.p
NUM132-1.p NUM133-1.p NUM134-1.p NUM135-1.p NUM136-1.p NUM137-1.p NUM138-1.p
NUM139-1.p NUM140-1.p NUM141-1.p NUM142-1.p NUM143-1.p NUM144-1.p NUM145-1.p
NUM146-1.p NUM147-1.p NUM148-1.p NUM149-1.p NUM150-1.p NUM151-1.p NUM152-1.p
NUM153-1.p NUM154-1.p NUM155-1.p NUM156-1.p NUM157-1.p NUM158-1.p NUM159-1.p
NUM160-1.p NUM161-1.p NUM162-1.p NUM163-1.p NUM164-1.p NUM165-1.p NUM166-1.p
NUM167-1.p NUM168-1.p NUM169-1.p NUM170-1.p NUM171-1.p NUM172-1.p NUM173-1.p
NUM174-1.p NUM175-1.p NUM176-1.p NUM177-1.p NUM178-1.p NUM179-1.p NUM180-1.p
NUM181-1.p NUM182-1.p NUM183-1.p NUM184-1.p NUM185-1.p NUM186-1.p NUM187-1.p
NUM188-1.p NUM189-1.p NUM190-1.p NUM191-1.p NUM192-1.p NUM193-1.p NUM194-1.p
NUM195-1.p NUM196-1.p NUM197-1.p NUM198-1.p NUM199-1.p NUM200-1.p NUM201-1.p
NUM202-1.p NUM203-1.p NUM204-1.p NUM205-1.p NUM206-1.p NUM207-1.p NUM208-1.p
NUM209-1.p NUM210-1.p NUM211-1.p NUM212-1.p NUM213-1.p NUM214-1.p NUM215-1.p
NUM216-1.p NUM217-1.p NUM218-1.p NUM219-1.p NUM220-1.p NUM221-1.p NUM222-1.p
NUM223-1.p NUM224-1.p NUM225-1.p NUM226-1.p NUM227-1.p NUM228-1.p NUM229-1.p
NUM230-1.p NUM231-1.p NUM232-1.p NUM233-1.p NUM234-1.p NUM235-1.p NUM236-1.p
NUM237-1.p NUM238-1.p NUM239-1.p NUM240-1.p NUM241-1.p NUM242-1.p NUM243-1.p
NUM244-1.p NUM245-1.p NUM245-2.p NUM246-1.p NUM246-2.p NUM247-1.p NUM247-2.p
NUM248-1.p NUM248-2.p NUM249-1.p NUM249-2.p NUM250-1.p NUM250-2.p NUM251-1.p
NUM251-2.p NUM252-1.p NUM252-2.p NUM253-1.p NUM253-2.p NUM254-1.p NUM254-2.p
NUM255-1.p NUM255-2.p NUM256-1.p NUM256-2.p NUM257-1.p NUM257-2.p NUM258-1.p
NUM258-2.p NUM259-1.p NUM259-2.p NUM260-1.p NUM260-2.p NUM261-1.p NUM261-2.p
NUM262-1.p NUM262-2.p NUM263-1.p NUM263-2.p NUM264-1.p NUM264-2.p NUM265-1.p
NUM266-1.p NUM267-1.p NUM268-1.p NUM269-1.p NUM270-1.p NUM271-1.p NUM272-1.p
NUM273-1.p NUM274-1.p NUM275-1.p NUM276-1.p NUM277-1.p NUM277-2.p NUM278-1.p
NUM279-1.p NUM279-2.rm NUM280-1.p NUM281-1.p NUM282-1.p NUM283-1.005.p NUM284-10.014.p
NUM284-1.010.rm NUM284-1.014.p NUM285-1.p NUM286-1.p NUM286-2.p NUM286-3.p NUM287-1.p
NUM288-1.p NUM289-1.p NUM290+1.p NUM291+1.p NUM292+1.p NUM293+1.p NUM294+1.p
NUM295+1.p NUM296+1.p NUM297+1.p NUM298+1.p NUM299+1.p NUM300+1.p NUM301+1.p
NUM302+1.p NUM303+1.p NUM304+1.p NUM305+1.p NUM306+1.p NUM307+1.p NUM308+1.p
NUM309+1.p NUM310+1.p NUM311+1.p NUM312+1.p NUM313+1.p NUM314+1.p NUM315+1.p
NUM316+1.p NUM317+1.p NUM318+1.p NUM319+1.p NUM320+1.p NUM321+1.p NUM322+1.p
NUM323+1.p NUM324+1.p NUM325+1.p NUM326+1.p NUM327+1.p NUM328+1.p NUM329+1.p
NUM330+1.p NUM331+1.p NUM332+1.p NUM333+1.p NUM334+1.p NUM335+1.p NUM336+1.p
NUM337+1.p NUM338+1.p NUM339+1.p NUM340+1.p NUM341+1.p NUM342+1.p NUM343+1.p
NUM344+1.p NUM345+1.p NUM346+1.p NUM347+1.p NUM348+1.p NUM349+1.p NUM350+1.p
NUM351+1.p NUM352+1.p NUM353+1.p NUM354+1.p NUM355+1.p NUM356+1.p NUM357+1.p
NUM358+1.p NUM359+1.p NUM360+1.p NUM361+1.p NUM362+1.p NUM363+1.p NUM364+1.p
NUM365+1.p NUM366+1.p NUM367+1.p NUM368+1.p NUM369+1.p NUM370+1.p NUM371+1.p
NUM372+1.p NUM373+1.p NUM374+1.p NUM374+2.p NUM374+3.p NUM374+4.p NUM375+1.010.p
NUM375+1.015.p NUM375+1.020.p NUM375+1.025.p NUM375+1.030.p NUM376+1.010.p NUM376+1.015.p NUM376+1.020.p
NUM376+1.025.p NUM376+1.030.p NUM377+1.010.p NUM377+1.015.p NUM377+1.020.p NUM377+1.025.p NUM377+1.030.p
NUM378+1.010.010.p NUM378+1.010.015.p NUM378+1.015.010.p NUM378+1.015.015.p NUM378+1.015.020.p NUM378+1.020.015.p NUM378+1.020.020.p
NUM379+1.rm NUM380+1.p NUM381+1.p NUM382+1.p NUM383+1.p NUM384+1.rm NUM385+1.p
NUM386+1.p NUM387+1.p NUM388+1.p NUM389+1.rm NUM390+1.p NUM391+1.rm NUM392+1.rm
NUM393+1.p NUM394+1.p NUM395+1.p NUM396+1.p NUM397+1.p NUM398+1.rm NUM399+1.rm
NUM400+1.rm NUM401+1.p NUM402+1.p NUM403+1.p NUM404+1.p NUM405+1.p NUM406+1.p
NUM407+1.rm NUM408+1.rm NUM409+1.p NUM410+1.p NUM411+1.p NUM412+1.p NUM413+1.p
NUM414+1.p NUM415^1.p NUM416^1.p NUM417^1.p NUM418^1.p NUM419^1.p NUM420-1.000.p
NUM420-1.001.p NUM420-1.002.p NUM420-1.003.p NUM420-1.004.p NUM420-1.005.p NUM421+1.p NUM422+1.p
NUM423+1.p NUM423+3.p NUM424+1.p NUM424+3.p NUM425+1.p NUM425+3.p NUM426+1.p
NUM426+3.p NUM427+1.p NUM427+3.p NUM428+1.p NUM428+3.p NUM429+1.p NUM429+3.p
NUM430+1.p NUM430+3.p NUM431+1.p NUM431+3.p NUM432+1.p NUM432+3.p NUM433+1.p
NUM433+3.p NUM434+1.p NUM434+3.p NUM435+1.p NUM435+3.p NUM436+1.p NUM436+3.p
NUM437+1.p NUM437+5.p NUM438+1.p NUM438+5.p NUM439+1.p NUM439+6.p NUM440+1.p
NUM440+6.p NUM441+1.p NUM441+6.p NUM442+1.p NUM442+6.p NUM443+1.p NUM443+4.p
NUM444+1.p NUM444+6.p NUM445+1.p NUM445+5.p NUM446+1.p NUM446+5.p NUM447+1.p
NUM447+5.p NUM448+1.p NUM448+5.p NUM449+1.p NUM449+6.p NUM450+1.p NUM450+6.p
NUM451+1.p NUM451+6.p NUM452+1.p NUM452+6.p NUM453+1.p NUM453+6.p NUM454+1.p
NUM454+6.p NUM455+1.p NUM455+6.p NUM456+1.p NUM456+6.p NUM457+1.p NUM458+1.p
NUM458+2.p NUM459+1.p NUM459+2.p NUM460+1.p NUM460+2.p NUM461+1.p NUM461+2.p
NUM462+1.p NUM462+2.p NUM463+1.p NUM463+2.p NUM464+1.p NUM464+2.p NUM465+1.p
NUM465+2.p NUM466+1.p NUM466+2.p NUM467+1.p NUM467+2.p NUM468+1.p NUM468+2.p
NUM469+1.p NUM469+2.p NUM470+1.p NUM470+2.p NUM471+1.p NUM471+2.p NUM472+1.p
NUM472+2.p NUM473+1.p NUM473+2.p NUM474+1.p NUM474+2.p NUM475+1.p NUM475+2.p
NUM476+1.p NUM476+2.p NUM477+1.p NUM477+2.p NUM478+1.p NUM478+2.p NUM479+1.p
NUM479+2.p NUM480+1.p NUM480+2.p NUM481+1.p NUM481+3.p NUM482+1.p NUM482+3.p
NUM483+1.p NUM483+3.p NUM484+1.p NUM484+3.p NUM485+1.p NUM485+3.p NUM486+1.p
NUM486+3.p NUM487+1.p NUM487+3.p NUM488+1.p NUM488+3.p NUM489+1.p NUM489+3.p
NUM490+1.p NUM490+3.p NUM491+1.p NUM491+3.p NUM492+1.p NUM492+3.p NUM493+1.p
NUM493+3.p NUM494+1.p NUM494+3.p NUM495+1.p NUM495+3.p NUM496+1.p NUM496+3.p
NUM497+1.p NUM497+3.p NUM498+1.p NUM498+3.p NUM499+1.p NUM499+3.p NUM500+1.p
NUM500+3.p NUM501+1.p NUM501+3.p NUM502+1.p NUM502+3.p NUM503+1.p NUM503+3.p
NUM504+1.p NUM504+3.p NUM505+1.p NUM505+3.p NUM506+1.p NUM506+3.p NUM507+1.p
NUM507+3.p NUM508+1.p NUM508+3.p NUM509+1.p NUM509+3.p NUM510+1.p NUM510+3.p
NUM511+1.p NUM511+3.p NUM512+1.p NUM512+3.p NUM513+1.p NUM513+3.p NUM514+1.p
NUM514+3.p NUM515+1.p NUM515+3.p NUM516+1.p NUM516+3.p NUM517+1.p NUM517+3.p
NUM518+1.p NUM518+3.p NUM519+1.p NUM519+3.p NUM520+1.p NUM520+3.p NUM521+1.p
NUM521+3.p NUM522+1.p NUM522+3.p NUM523+1.p NUM523+3.p NUM524+1.p NUM524+3.p
NUM525+1.p NUM525+3.p NUM526+1.p NUM526+3.p NUM527+1.p NUM527+3.p NUM528+1.p
NUM528+3.p NUM529+1.p NUM529+3.p NUM530+1.p NUM530+3.p NUM531+1.p NUM531+2.p
NUM532+1.p NUM533+1.p NUM533+2.p NUM534+1.p NUM534+2.p NUM535+1.p NUM535+2.p
NUM536+1.p NUM536+2.p NUM537+1.p NUM537+2.p NUM538+1.p NUM538+2.p NUM539+1.p
NUM539+2.p NUM540+1.p NUM540+2.p NUM541+1.p NUM541+2.p NUM542+1.p NUM542+2.p
NUM543+1.p NUM543+2.p NUM544+1.p NUM544+2.p NUM545+1.p NUM545+2.p NUM546+1.p
NUM546+3.p NUM547+1.p NUM547+3.p NUM548+1.p NUM548+3.p NUM549+1.p NUM549+3.p
NUM550+1.p NUM550+3.p NUM551+1.p NUM551+3.p NUM552+1.p NUM552+3.p NUM553+1.p
NUM553+3.p NUM554+1.p NUM554+3.p NUM555+1.p NUM556+1.p NUM556+3.p NUM557+1.p
NUM557+3.p NUM558+1.p NUM558+3.p NUM559+1.p NUM559+3.p NUM560+1.p NUM560+2.p
NUM561+1.p NUM561+2.p NUM562+1.p NUM562+3.p NUM563+1.p NUM563+3.p NUM564+1.p
NUM564+3.p NUM565+1.p NUM565+3.p NUM566+1.p NUM566+3.p NUM567+1.p NUM567+3.p
NUM568+1.p NUM568+3.p NUM569+1.p NUM569+3.p NUM570+1.p NUM570+3.p NUM571+1.p
NUM571+3.p NUM572+1.p NUM572+3.p NUM573+1.p NUM573+3.p NUM574+1.p NUM574+3.p
NUM575+1.p NUM575+3.p NUM576+1.p NUM576+3.p NUM577+1.p NUM577+3.p NUM578+1.p
NUM578+3.p NUM579+1.p NUM579+3.p NUM580+1.p NUM580+3.p NUM581+1.p NUM581+3.p
NUM582+1.p NUM582+3.p NUM583+1.p NUM583+3.p NUM584+1.p NUM584+3.p NUM585+1.p
NUM585+3.p NUM586+1.p NUM586+3.p NUM587+1.p NUM587+3.p NUM588+1.p NUM588+3.p
NUM589+1.p NUM589+3.p NUM590+1.p NUM590+3.p NUM591+1.p NUM591+3.p NUM592+1.p
NUM592+3.p NUM593+1.p NUM593+3.p NUM594+1.p NUM594+3.p NUM595+1.p NUM595+3.p
NUM596+1.p NUM596+3.p NUM597+1.p NUM597+3.p NUM598+1.p NUM598+3.p NUM599+1.p
NUM599+3.p NUM600+1.p NUM600+3.p NUM601+1.p NUM601+3.p NUM602+1.p NUM602+3.p
NUM603+1.p NUM603+3.p NUM604+1.p NUM604+3.p NUM605+1.p NUM605+3.p NUM606+1.p
NUM606+3.p NUM607+1.p NUM607+3.p NUM608+1.p NUM608+3.p NUM609+1.p NUM609+3.p
NUM610+1.p NUM610+3.p NUM611+1.p NUM611+3.p NUM612+1.p NUM612+3.p NUM613+1.p
NUM613+3.p NUM614+1.p NUM615+1.p NUM615+3.p NUM616+1.p NUM616+3.p NUM617+1.p
NUM617+3.p NUM618+1.p NUM618+3.p NUM619+1.p NUM619+3.p NUM620+1.p NUM620+3.p
NUM621+1.p NUM621+3.p NUM622+1.p NUM622+3.p NUM623+1.p NUM623+3.p NUM624+1.p
NUM624+3.p NUM625+1.p NUM625+3.p NUM626+1.p NUM626+3.p NUM627+1.p NUM627+3.p
NUM628+1.p NUM628+3.p NUM629+1.p NUM629+3.p NUM630+1.p NUM630+3.p NUM631+1.p
NUM631+3.p NUM632+1.p NUM632+3.p NUM633+1.p NUM633+3.p NUM634+1.p NUM634+3.p
NUM635^1.p NUM635^2.p NUM635+4.p NUM635^4.p NUM636^1.p NUM636^2.p NUM636^3.p
NUM636+4.p NUM636^4.p NUM637^1.p NUM637^2.p NUM637+4.p NUM637^4.p NUM638^1.p
NUM638+4.p NUM638^4.p NUM639^1.p NUM639+4.p NUM639^4.p NUM640^1.p NUM640+4.p
NUM640^4.p NUM641^1.p NUM641+4.p NUM641^4.p NUM642^1.p NUM642+4.p NUM642^4.p
NUM643^1.p NUM643+4.p NUM643^4.p NUM644^1.p NUM644+4.p NUM644^4.p NUM645^1.p
NUM645+4.p NUM645^4.p NUM646^1.p NUM646+4.p NUM646^4.p NUM647^1.p NUM647+4.p
NUM647^4.p NUM647_8.p NUM648^1.p NUM648+4.p NUM648^4.p NUM649^1.p NUM649+4.p
NUM649^4.p NUM650^1.p NUM650+4.p NUM650^4.p NUM651^1.p NUM651+4.p NUM651^4.p
NUM651_8.p NUM652^1.p NUM652+4.p NUM652^4.p NUM652_8.p NUM653^1.p NUM653+4.p
NUM653^4.p NUM653_8.p NUM654^1.p NUM654+4.p NUM654^4.p NUM654_8.p NUM655^1.p
NUM655+4.p NUM655^4.p NUM655_8.p NUM656^1.p NUM656+4.p NUM656^4.p NUM656_8.p
NUM657^1.p NUM657+4.p NUM657^4.p NUM657_8.p NUM658^1.p NUM658+4.p NUM658^4.p
NUM658_8.p NUM659^1.p NUM659+4.p NUM659^4.p NUM659_8.p NUM660^1.p NUM660+4.p
NUM660^4.p NUM661^1.rm NUM662^1.p NUM662+4.p NUM662^4.p NUM662_8.p NUM663^1.p
NUM663+4.p NUM663^4.p NUM663_8.p NUM664^1.p NUM664+4.p NUM664^4.p NUM664_8.p
NUM665^1.p NUM665+4.p NUM665^4.p NUM666^1.p NUM666+4.p NUM666^4.p NUM667^1.p
NUM667+4.p NUM667^4.p NUM667_8.p NUM668^1.p NUM668+4.p NUM668^4.p NUM669^1.p
NUM669+4.p NUM669^4.p NUM670^1.p NUM670+4.p NUM670^4.p NUM670_8.p NUM671^1.p
NUM671+4.p NUM671^4.p NUM672^1.p NUM672+4.p NUM672^4.p NUM673^1.p NUM673+4.p
NUM673^4.p NUM674^1.p NUM674+4.p NUM674^4.p NUM675^1.rm NUM676^1.p NUM676+4.p
NUM676^4.p NUM677^1.p NUM677+4.p NUM677^4.p NUM678^1.rm NUM679^1.rm NUM680^1.p
NUM680+4.p NUM680^4.p NUM680_8.p NUM681^1.p NUM681+4.p NUM681^4.p NUM681_8.p
NUM682^1.p NUM682+4.p NUM682^4.p NUM682_8.p NUM683^1.p NUM683+4.p NUM683^4.p
NUM684^1.p NUM684+4.p NUM684^4.p NUM685^1.rm NUM686^1.p NUM686+4.p NUM686^4.p
NUM687^1.p NUM687+4.p NUM687^4.p NUM687_8.p NUM688^1.p NUM688+4.p NUM688^4.p
NUM688_8.p NUM689^1.p NUM689+4.p NUM689^4.p NUM690^1.p NUM690+4.p NUM690^4.p
NUM691^1.p NUM691+4.p NUM691^4.p NUM691_8.p NUM692^1.p NUM692+4.p NUM692^4.p
NUM693^1.p NUM693+4.p NUM693^4.p NUM693_8.p NUM694^1.p NUM694+4.p NUM694^4.p
NUM695^1.p NUM695+4.p NUM695^4.p NUM695_8.p NUM696^1.p NUM696+4.p NUM696^4.p
NUM696_8.p NUM697^1.p NUM697+4.p NUM697^4.p NUM698^1.p NUM698+4.p NUM698^4.p
NUM699^1.p NUM699+4.p NUM699^4.p NUM700^1.p NUM700+4.p NUM700^4.p NUM701^1.p
NUM701+4.p NUM701^4.p NUM702^1.p NUM702+4.p NUM702^4.p NUM703^1.p NUM703+4.p
NUM703^4.p NUM704^1.p NUM704+4.p NUM704^4.p NUM705^1.p NUM705+4.p NUM705^4.p
NUM706^1.p NUM706+4.p NUM706^4.p NUM707^1.p NUM707+4.p NUM707^4.p NUM708^1.p
NUM708+4.p NUM708^4.p NUM709^1.p NUM709+4.p NUM709^4.p NUM710^1.p NUM710+4.p
NUM710^4.p NUM711^1.p NUM711+4.p NUM711^4.p NUM712^1.p NUM712+4.p NUM712^4.p
NUM713^1.p NUM713+4.p NUM713^4.p NUM713_8.p NUM714^1.rm NUM715^1.rm NUM716^1.rm
NUM717^1.rm NUM718^1.rm NUM719^1.rm NUM720^1.rm NUM721^1.p NUM721+4.p NUM721^4.p
NUM722^1.rm NUM723^1.rm NUM724^1.rm NUM725^1.rm NUM726^1.p NUM726+4.p NUM726^4.p
NUM727^1.p NUM727+4.p NUM727^4.p NUM728^1.p NUM728+4.p NUM728^4.p NUM729^1.p
NUM729+4.p NUM729^4.p NUM730^1.p NUM730+4.p NUM730^4.p NUM730_8.p NUM731^1.rm
NUM732^1.rm NUM733^1.rm NUM734^1.rm NUM735^1.rm NUM736^1.p NUM736+4.p NUM736^4.p
NUM737^1.p NUM737+4.p NUM737^4.p NUM738^1.p NUM738+4.p NUM738^4.p NUM739^1.p
NUM739+4.p NUM739^4.p NUM739_8.p NUM740^1.p NUM740+4.p NUM740^4.p NUM741^1.p
NUM741+4.p NUM741^4.p NUM742^1.p NUM742+4.p NUM742^4.p NUM742_8.p NUM743^1.p
NUM743+4.p NUM743^4.p NUM743_8.p NUM744^1.rm NUM745^1.rm NUM746^1.p NUM746+4.p
NUM746^4.p NUM746_8.p NUM747^1.p NUM747+4.p NUM747^4.p NUM748^1.p NUM748+4.p
NUM748^4.p NUM749^1.p NUM749+4.p NUM749^4.p NUM750^1.p NUM750+4.p NUM750^4.p
NUM751^1.p NUM751+4.p NUM751^4.p NUM752^1.p NUM752+4.p NUM752^4.p NUM753^1.p
NUM753+4.p NUM753^4.p NUM754^1.p NUM754+4.p NUM754^4.p NUM755^1.p NUM755+4.p
NUM755^4.p NUM755_8.p NUM756^1.p NUM756+4.p NUM756^4.p NUM756_8.p NUM757^1.p
NUM757+4.p NUM757^4.p NUM757_8.p NUM758^1.p NUM758+4.p NUM758^4.p NUM759^1.p
NUM759+4.p NUM759^4.p NUM760^1.p NUM760+4.p NUM760^4.p NUM761^1.p NUM761+4.p
NUM761^4.p NUM761_8.p NUM762^1.p NUM762+4.p NUM762^4.p NUM762_8.p NUM763^1.rm
NUM764^1.rm NUM765^1.p NUM765+4.p NUM765^4.p NUM765_8.p NUM766^1.p NUM766+4.p
NUM766^4.p NUM767^1.p NUM767+4.p NUM767^4.p NUM768^1.p NUM768+4.p NUM768^4.p
NUM769^1.p NUM769+4.p NUM769^4.p NUM770^1.p NUM770+4.p NUM770^4.p NUM771^1.p
NUM771+4.p NUM771^4.p NUM772^1.rm NUM773^1.rm NUM774^1.rm NUM775^1.rm NUM776^1.rm
NUM777^1.rm NUM778^1.rm NUM779^1.rm NUM780^1.rm NUM781^1.p NUM781^2.p NUM781^3.p
NUM781+4.p NUM781^4.p NUM782^1.p NUM782+4.p NUM782^4.p NUM783^1.p NUM783+4.p
NUM783^4.p NUM783_8.p NUM784^1.p NUM784+4.p NUM784^4.p NUM784_8.p NUM785^1.p
NUM785+4.p NUM785^4.p NUM785_8.p NUM786^1.p NUM786+4.p NUM786^4.p NUM786_8.p
NUM787^1.p NUM787+4.p NUM787^4.p NUM787_8.p NUM788^1.p NUM788+4.p NUM788^4.p
NUM788_8.p NUM789^1.p NUM789+4.p NUM789^4.p NUM789_8.p NUM790^1.p NUM790+4.p
NUM790^4.p NUM790_8.p NUM791^1.p NUM791+4.p NUM791^4.p NUM791_8.p NUM792^1.p
NUM792+4.p NUM792^4.p NUM793^1.p NUM793+4.p NUM793^4.p NUM794^1.rm NUM795^1.p
NUM795+4.p NUM795^4.p NUM796^1.p NUM796+4.p NUM796^4.p NUM797^1.p NUM797+4.p
NUM797^4.p NUM798^1.p NUM799^1.p NUM800^1.p NUM801^1.p NUM802^5.p NUM803^5.p
NUM804^5.p NUM805^5.p NUM806^5.p NUM807^5.p NUM808^5.p NUM809^5.p NUM810^5.p
NUM811^5.p NUM812^5.p NUM813^5.p NUM814^5.p NUM815^5.p NUM816^5.p NUM817^5.p
NUM818^5.p NUM819^5.p NUM820^5.rm NUM821^5.p NUM822^5.p NUM823^5.p NUM824^5.p
NUM825^5.p NUM826^5.p NUM827^5.p NUM828^5.p NUM829^5.p NUM830^5.p NUM831^5.p
NUM832^5.p NUM833^5.p NUM834^5.p NUM835+1.p NUM835+2.p NUM836+1.p NUM836+2.p
NUM837+1.p NUM837+2.p NUM838+1.p NUM838+2.p NUM839+1.p NUM839+2.p NUM840+1.p
NUM840+2.p NUM841+1.p NUM841+2.p NUM842+1.p NUM842+2.p NUM843+1.p NUM843+2.p
NUM844+1.p NUM844+2.p NUM845+1.p NUM845+2.p NUM846+1.p NUM846+2.p NUM847+1.p
NUM847+2.p NUM848+1.p NUM848+2.p NUM849+1.p NUM849+2.p NUM850+1.p NUM850+2.p
NUM851+1.p NUM851+2.p NUM852+1.p NUM852+2.p NUM853+1.p NUM853+2.p NUM854+1.p
NUM854+2.p NUM855+1.p NUM855+2.p NUM856+1.p NUM856+2.p NUM857+1.p NUM857+2.p
NUM858+1.p NUM858_1.p NUM859+1.p NUM859_1.p NUM860+1.p NUM860_1.p NUM861+1.p
NUM861_1.p NUM862+1.p NUM862_1.p NUM863^1.p NUM864_1.p NUM865_1.p NUM866_1.p
NUM867_1.p NUM868_1.p NUM869_1.p NUM870_1.p NUM871_1.p NUM872_1.p NUM873_1.p
NUM874_1.p NUM875_1.p NUM876_1.p NUM877_1.p NUM878_1.p NUM879_1.p NUM880_1.p
NUM881_1.p NUM882_1.p NUM883_1.p NUM884_1.p NUM885_1.p NUM886_1.p NUM887_1.p
NUM888_1.p NUM889_1.p NUM890_1.p NUM891_1.p NUM892_1.p NUM893_1.p NUM894_1.p
NUM895_1.p NUM896_1.p NUM897_1.p NUM898_1.p NUM899_1.p NUM900_1.p NUM901_1.p
NUM902_1.p NUM903_1.p NUM904_1.p NUM905_1.p NUM906_1.p NUM907_1.p NUM908_1.p
NUM909_1.p NUM910_1.p NUM911_1.p NUM912_1.p NUM913_1.p NUM914_1.p NUM915_1.p
NUM916_1.p NUM917_1.p NUM918_1.p NUM919_1.p NUM920_1.p NUM921_1.p NUM922_1.p
NUM923_10.p NUM923+1.p NUM923^1.p NUM923_1.p NUM923_20.p NUM923+2.p NUM923^2.p
NUM923_2.p NUM923_30.p NUM923+3.p NUM923^3.p NUM923_3.p NUM923_40.p NUM923+4.p
NUM923^4.p NUM923_4.p NUM923+5.p NUM923_5.p NUM923+6.p NUM923+7.p NUM923+8.p
NUM924+1.p NUM924^1.p NUM924_1.p NUM924+2.p NUM924^2.p NUM924_2.p NUM924_30.p
NUM924+3.p NUM924^3.p NUM924_3.p NUM924_40.p NUM924+4.p NUM924^4.p NUM924_4.p
NUM924+5.p NUM924_5.p NUM924+6.p NUM924+7.p NUM924+8.p NUM925_10.p NUM925+1.p
NUM925^1.p NUM925_1.p NUM925_20.p NUM925+2.p NUM925^2.p NUM925_2.p NUM925_30.p
NUM925+3.p NUM925^3.p NUM925_3.p NUM925_40.p NUM925+4.p NUM925^4.p NUM925_4.p
NUM925+5.p NUM925_5.p NUM925+6.p NUM925+7.p NUM925+8.p NUM926_10.p NUM926+1.p
NUM926^1.p NUM926_1.p NUM926_20.p NUM926+2.p NUM926^2.p NUM926_2.p NUM926_30.p
NUM926+3.p NUM926^3.p NUM926_3.p NUM926_40.p NUM926+4.p NUM926^4.p NUM926_4.p
NUM926+5.p NUM926+6.p NUM926+7.p NUM926+8.p NUM927_1.p NUM927_2.p NUM928_5.p
NUM929_5.p NUM930_5.p NUM931_5.p NUM932_5.p NUM933_5.p NUM934_5.p NUM935_5.p
NUM936_5.p NUM937_5.p NUM938_5.p NUM939_5.p NUM940_5.p NUM941_5.p NUM942_5.p
NUM943_5.p NUM944_5.p NUM945_5.p NUM946_5.p NUM947_5.p NUM948_5.p NUM949_5.p
NUM950_5.p NUM951_5.p NUM952_5.p NUM953_5.p NUM954_5.p NUM955_5.p NUM956_5.p
NUM957_5.p NUM958_5.p NUM959_5.p NUM960_5.p NUM961_5.p NUM962_5.p NUM963_5.p
NUM964_5.p NUM965_5.p NUM966_5.p NUM967_5.p NUM968_5.p NUM969_5.p NUM970_5.p
NUM971_5.p NUM972_5.p NUM973_5.p NUM974_5.p NUM975_5.p NUM976_5.p NUM977_5.p
NUM978_5.p NUM979_5.p NUM980_5.p NUM981_5.p NUM982_5.p NUM983_5.p NUM984_5.p
NUM985_5.p NUM986_5.p NUM987_5.p NUM988_5.p NUM989_5.p NUM990_5.p NUM991_5.p
NUM992_5.p NUM993_5.p NUM994_5.p NUM995_5.p NUM996_5.p NUM997_5.p NUM998_5.p
NUM999_5.p