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`