TPTP Problem Domain: LCL
LCL001-1.p
LCL002-1.p
LCL003-1.p
LCL004-1.p
LCL005-1.p
LCL006-1.p
LCL007-1.p
LCL008-1.p
LCL009-1.p
LCL010-1.p
LCL011-1.p
LCL012-1.p
LCL013-1.p
LCL014-1.p
LCL015-1.p
LCL016-1.p
LCL017-1.p
LCL018-1.p
LCL019-1.p
LCL020-1.p
LCL021-1.p
LCL022-1.p
LCL023-1.p
LCL024-10.p
LCL024-1.p
LCL025-1.p
LCL026-10.p
LCL026-1.p
LCL027-1.p
LCL028-1.p
LCL029-1.p
LCL030-1.p
LCL031-1.p
LCL032-1.p
LCL033-1.p
LCL034-1.p
LCL035-1.p
LCL036-1.p
LCL037-1.p
LCL038-10.p
LCL038-1.p
LCL039-1.p
LCL040-1.p
LCL041-1.p
LCL042-10.p
LCL042-1.p
LCL043-1.p
LCL044-1.p
LCL045-1.p
LCL046-1.p
LCL047-1.p
LCL048-1.p
LCL049-1.p
LCL050-10.p
LCL050-1.p
LCL051-1.p
LCL052-1.p
LCL053-1.p
LCL054-10.p
LCL054-1.p
LCL055-1.p
LCL056-1.p
LCL057-1.p
LCL058-1.p
LCL059-1.p
LCL060-10.p
LCL060-1.p
LCL061-1.p
LCL062-1.p
LCL063-1.p
LCL064-1.p
LCL064-2.p
LCL065-1.p
LCL066-1.p
LCL067-1.p
LCL068-1.p
LCL069-1.p
LCL070-1.p
LCL071-1.p
LCL072-1.p
LCL073-1.p
LCL074-1.p
LCL075-1.p
LCL076-1.p
LCL076-2.p
LCL076-3.p
LCL077-1.p
LCL077-2.p
LCL078-10.p
LCL078-1.p
LCL079-1.p
LCL080-1.p
LCL080-2.p
LCL081-1.p
LCL082-1.p
LCL083-1.p
LCL083-2.p
LCL084-10.p
LCL084-1.rm
LCL084-2.p
LCL084-3.p
LCL085-1.p
LCL086-1.p
LCL087-1.p
LCL088-1.p
LCL089-1.p
LCL090-1.p
LCL091-1.p
LCL092-1.p
LCL093-1.p
LCL094-1.p
LCL095-1.p
LCL096-10.p
LCL096-1.p
LCL097-1.p
LCL098-1.p
LCL099-1.p
LCL100-1.p
LCL101-1.p
LCL102-1.p
LCL103-1.p
LCL104-1.p
LCL105-1.p
LCL106-1.p
LCL107-1.p
LCL108-1.p
LCL109-10.p
LCL109-1.p
LCL109-2.p
LCL109-3.p
LCL109-4.p
LCL109-5.p
LCL109-6.p
LCL110-1.p
LCL110-2.p
LCL111-1.p
LCL111-2.p
LCL112-1.p
LCL112-2.p
LCL113-10.p
LCL113-1.p
LCL113-2.p
LCL114-1.p
LCL114-2.p
LCL115-1.p
LCL115-2.p
LCL116-1.p
LCL116-2.p
LCL117-1.p
LCL118-1.p
LCL119-1.p
LCL120-1.p
LCL121-1.p
LCL122-1.p
LCL123-1.p
LCL124-1.p
LCL125-1.p
LCL126-1.p
LCL127-10.p
LCL127-1.p
LCL128-1.p
LCL129-1.p
LCL130-1.p
LCL131-1.p
LCL132-1.p
LCL133-1.p
LCL134-1.p
LCL135-1.p
LCL136-1.p
LCL137-1.p
LCL138-1.p
LCL139-1.p
LCL140-1.p
LCL141-1.p
LCL142-10.p
LCL142-1.p
LCL143-1.p
LCL144-1.p
LCL145-1.p
LCL146-1.p
LCL147-1.p
LCL148-10.p
LCL148-1.p
LCL149-1.p
LCL150-1.p
LCL151-1.p
LCL152-1.p
LCL153-1.p
LCL154-1.p
LCL155-1.p
LCL156-1.p
LCL157-1.p
LCL158-1.p
LCL159-1.p
LCL160-1.p
LCL161-1.p
LCL162-1.p
LCL163-1.p
LCL164-1.p
LCL165-1.p
LCL166-1.p
LCL167-1.p
LCL168-1.p
LCL169-1.p
LCL169-3.p
LCL170-1.p
LCL170-3.p
LCL171-1.p
LCL171-3.p
LCL172-1.p
LCL172-3.p
LCL173-1.p
LCL173-3.p
LCL174-1.p
LCL174-3.p
LCL175-1.p
LCL175-3.p
LCL176-1.p
LCL176-3.p
LCL177-1.p
LCL178-1.p
LCL178-3.p
LCL179-1.p
LCL180-1.p
LCL180-3.p
LCL181+1.p
LCL181-1.p
LCL181-2.p
LCL181-3.p
LCL181^4.p
LCL182-1.p
LCL182-3.p
LCL183-10.p
LCL183-1.p
LCL183-3.p
LCL184-1.p
LCL185-1.p
LCL185-3.p
LCL186-10.p
LCL186-1.p
LCL186-3.p
LCL187-1.p
LCL187-3.p
LCL188-1.p
LCL188-3.p
LCL189-1.p
LCL189-3.p
LCL190-1.p
LCL190-3.p
LCL191-1.p
LCL191-3.p
LCL192-10.p
LCL192-1.p
LCL192-3.p
LCL193-1.p
LCL193-3.p
LCL194-1.p
LCL194-3.p
LCL195-10.p
LCL195-1.p
LCL195-3.p
LCL196-1.p
LCL196-3.p
LCL197-1.p
LCL197-3.p
LCL198-1.p
LCL198-3.p
LCL199-1.p
LCL199-3.p
LCL200-1.p
LCL201-1.p
LCL201-3.p
LCL202-1.p
LCL202-3.p
LCL203-10.p
LCL203-1.p
LCL203-3.p
LCL204-1.p
LCL205-1.p
LCL205-3.p
LCL206-1.p
LCL206-3.p
LCL207-1.p
LCL207-3.p
LCL208-1.p
LCL208-3.p
LCL209-1.p
LCL209-3.p
LCL210-1.p
LCL210-3.p
LCL211-10.p
LCL211-1.p
LCL211-3.p
LCL212-1.p
LCL212-3.p
LCL213-1.p
LCL213-3.p
LCL214-1.p
LCL214-3.p
LCL215-1.p
LCL215-3.p
LCL216-1.p
LCL216-3.p
LCL217-1.p
LCL217-3.p
LCL218-10.p
LCL218-1.p
LCL218-3.p
LCL219-10.p
LCL219-1.p
LCL219-3.p
LCL220-10.p
LCL220-1.p
LCL220-3.p
LCL221-1.p
LCL221-3.p
LCL222-1.p
LCL222-3.p
LCL223-1.p
LCL223-3.p
LCL224-10.p
LCL224-1.p
LCL224-3.p
LCL225-10.p
LCL225-1.p
LCL225-3.p
LCL226-1.p
LCL226-3.p
LCL227-1.p
LCL227-3.p
LCL228-1.p
LCL228-3.p
LCL229-1.p
LCL229-3.p
LCL230+1.p
LCL230-1.p
LCL230-2.p
LCL230-3.p
LCL230^4.p
LCL231-10.p
LCL231-1.p
LCL231-3.p
LCL232-1.rm
LCL233-1.rm
LCL234-1.p
LCL234-3.p
LCL235-10.p
LCL235-1.p
LCL235-3.p
LCL236-1.p
LCL236-3.p
LCL237-1.p
LCL237-3.p
LCL238-1.p
LCL238-3.p
LCL239-10.p
LCL239-1.p
LCL239-3.p
LCL240-1.p
LCL240-3.p
LCL241-1.p
LCL241-3.p
LCL242-1.p
LCL242-3.p
LCL243-1.p
LCL243-3.p
LCL244-10.p
LCL244-1.p
LCL245-10.p
LCL245-1.p
LCL245-3.p
LCL246-1.p
LCL246-3.p
LCL247-1.p
LCL247-3.p
LCL248-1.p
LCL248-3.p
LCL249-1.p
LCL249-3.p
LCL250-10.p
LCL250-1.p
LCL250-3.p
LCL251-1.p
LCL251-3.p
LCL252-10.p
LCL252-1.p
LCL252-3.p
LCL253-1.p
LCL253-3.p
LCL254-1.p
LCL254-3.p
LCL255-10.p
LCL255-1.p
LCL255-3.p
LCL256-1.p
LCL257-1.p
LCL258-3.p
LCL259-3.p
LCL260-3.p
LCL261-3.p
LCL262-3.p
LCL263-10.p
LCL263-3.p
LCL264-3.p
LCL265-10.p
LCL265-3.p
LCL266-3.p
LCL267-3.p
LCL268-3.p
LCL269-3.p
LCL270-10.p
LCL270-3.p
LCL271-3.p
LCL272-3.p
LCL273-3.p
LCL274-3.p
LCL275-3.p
LCL276-3.p
LCL277-3.p
LCL278-10.p
LCL278-3.p
LCL279-3.p
LCL280-3.p
LCL281-3.p
LCL282-10.p
LCL282-3.p
LCL283-3.p
LCL284-3.p
LCL285-3.p
LCL286-3.p
LCL287-3.p
LCL288-3.p
LCL289-10.p
LCL289-3.p
LCL290-3.p
LCL291-3.p
LCL292-10.p
LCL292-3.p
LCL293-3.p
LCL294-3.p
LCL295-3.p
LCL296-3.p
LCL297-3.p
LCL298-3.p
LCL299-3.p
LCL300-3.p
LCL301-3.p
LCL302-3.p
LCL303-3.p
LCL304-10.p
LCL304-3.p
LCL305-3.p
LCL306-10.p
LCL306-3.p
LCL307-3.p
LCL308-3.p
LCL309-3.p
LCL310-3.p
LCL311-3.p
LCL312-3.p
LCL313-3.p
LCL314-3.p
LCL315-10.p
LCL315-3.p
LCL316-10.p
LCL316-3.p
LCL317-3.p
LCL318-3.p
LCL319-3.p
LCL320-3.p
LCL321-3.p
LCL322-3.p
LCL323-3.p
LCL324-3.p
LCL325-3.p
LCL326-3.p
LCL327-3.p
LCL328-3.p
LCL329-3.p
LCL330-10.p
LCL330-3.p
LCL331-10.p
LCL331-3.p
LCL332-3.p
LCL333-3.p
LCL334-3.p
LCL335-3.p
LCL336-3.p
LCL337-3.p
LCL338-3.p
LCL339-10.p
LCL339-3.p
LCL340-3.p
LCL341-10.p
LCL341-3.p
LCL342-3.p
LCL343-3.p
LCL344-3.p
LCL345-3.p
LCL346-3.p
LCL347-3.p
LCL348-10.p
LCL348-3.p
LCL349-3.p
LCL350-3.p
LCL351-10.p
LCL351-3.p
LCL352-3.p
LCL353-3.p
LCL354+1.p
LCL355-1.p
LCL356-1.p
LCL357-1.p
LCL358-1.p
LCL359-1.p
LCL360-1.p
LCL361-1.p
LCL362-1.p
LCL363-1.p
LCL364-1.p
LCL365-1.p
LCL366-1.p
LCL367-1.p
LCL368-1.p
LCL369-1.p
LCL370-1.p
LCL371-1.p
LCL372-1.p
LCL373-1.p
LCL374-1.p
LCL375-10.p
LCL375-1.p
LCL376-1.p
LCL377-1.p
LCL378-1.p
LCL379-1.p
LCL380-1.p
LCL381-1.p
LCL382-1.p
LCL383-1.p
LCL384-10.p
LCL384-1.p
LCL385-10.p
LCL385-1.p
LCL386-1.p
LCL387-1.p
LCL388-1.p
LCL389-1.p
LCL390-10.p
LCL390-1.p
LCL391-1.p
LCL392-1.p
LCL393-1.p
LCL394-1.p
LCL395-10.p
LCL395-1.p
LCL396-1.p
LCL397-1.p
LCL398-1.p
LCL399-1.p
LCL400-10.p
LCL400-1.p
LCL401-1.p
LCL402-1.p
LCL403-1.p
LCL404-1.p
LCL405-1.p
LCL406-1.p
LCL407-1.p
LCL407-2.p
LCL408-1.p
LCL409-1.p
LCL410-1.p
LCL411-1.p
LCL411-2.p
LCL412-1.p
LCL413-1.p
LCL414+1.p
LCL414-1.p
LCL414^7.p
LCL415-10.p
LCL415-1.p
LCL416-10.p
LCL416-1.p
LCL417-1.p
LCL417-2.p
LCL418-1.p
LCL419-10.p
LCL419-1.p
LCL420-1.p
LCL421-1.p
LCL422-1.p
LCL423-10.p
LCL423-1.p
LCL424-1.p
LCL425-1.p
LCL426-1.p
LCL427-1.p
LCL428-1.p
LCL429-1.p
LCL429-2.p
LCL430-1.p
LCL430-2.p
LCL431-1.p
LCL431-2.p
LCL432-1.p
LCL432-2.p
LCL433-1.p
LCL433-2.p
LCL434-1.p
LCL434-2.p
LCL435-1.p
LCL435-2.p
LCL436-1.p
LCL436-2.p
LCL437-1.p
LCL437-2.p
LCL438-1.p
LCL438-2.p
LCL439-1.p
LCL439-2.p
LCL440-1.p
LCL440-2.p
LCL441-1.p
LCL441-2.p
LCL442-1.p
LCL442-2.p
LCL443-10.p
LCL443-1.p
LCL443-2.p
LCL444-1.p
LCL444-2.p
LCL445-1.p
LCL445-2.p
LCL446-1.p
LCL446-2.p
LCL447-1.p
LCL447-2.p
LCL448+1.p
LCL449+1.p
LCL449^7.p
LCL450+1.p
LCL450+2.p
LCL450^7.p
LCL451+1.p
LCL452+1.p
LCL452^7.p
LCL453+1.p
LCL454+1.p
LCL454^7.p
LCL455+1.p
LCL456+1.p
LCL456^7.p
LCL457+1.p
LCL458+1.p
LCL459+1.p
LCL460+1.p
LCL460^7.p
LCL461+1.p
LCL462+1.p
LCL462^7.p
LCL463+1.p
LCL464+1.p
LCL464^7.p
LCL465+1.p
LCL466+1.p
LCL466^7.p
LCL467+1.p
LCL467^7.p
LCL468+1.p
LCL469+1.p
LCL470+1.p
LCL471+1.p
LCL472+1.p
LCL473+1.p
LCL474+1.p
LCL475+1.p
LCL476+1.p
LCL477+1.p
LCL478+1.p
LCL479+1.p
LCL480+1.p
LCL481+1.p
LCL482+1.p
LCL483+1.p
LCL484+1.p
LCL485+1.p
LCL486+1.p
LCL487+1.p
LCL488+1.p
LCL489+1.p
LCL490+1.p
LCL491+1.p
LCL492+1.p
LCL493+1.p
LCL494+1.p
LCL495+1.p
LCL496+1.p
LCL497+1.p
LCL498+1.p
LCL499+1.p
LCL500+1.p
LCL501+1.p
LCL502+1.p
LCL503+1.p
LCL504+1.p
LCL505+1.p
LCL506+1.p
LCL507+1.p
LCL508+1.p
LCL509+1.p
LCL510+1.p
LCL511+1.p
LCL512+1.p
LCL513+1.p
LCL514+1.p
LCL515+1.p
LCL516+1.p
LCL517+1.p
LCL518+1.p
LCL519+1.p
LCL520+1.p
LCL521+1.p
LCL522+1.p
LCL523+1.p
LCL524+1.p
LCL525+1.p
LCL526+1.p
LCL527+1.p
LCL528+1.p
LCL529+1.p
LCL530+1.p
LCL531+1.p
LCL532+1.p
LCL533+1.p
LCL534+1.p
LCL535+1.p
LCL536+1.p
LCL537+1.p
LCL538+1.p
LCL539+1.p
LCL540+1.p
LCL541+1.p
LCL542+1.p
LCL543+1.p
LCL544+1.p
LCL545+1.p
LCL546+1.p
LCL547+1.p
LCL548+1.p
LCL549+1.p
LCL550+1.p
LCL551+1.p
LCL552+1.p
LCL553+1.p
LCL554+1.p
LCL555+1.p
LCL556+1.p
LCL557+1.p
LCL558+1.p
LCL559+1.p
LCL560+1.p
LCL561+1.p
LCL562+1.p
LCL563+1.p
LCL564+1.p
LCL565+1.p
LCL566+1.p
LCL567+1.p
LCL568+1.p
LCL569+1.p
LCL570+1.p
LCL571+1.p
LCL572+1.p
LCL573+1.p
LCL574+1.p
LCL575+1.p
LCL576+1.p
LCL577+1.p
LCL578+1.p
LCL579^1.p
LCL579^2.p
LCL580^1.p
LCL581^1.p
LCL582^1.p
LCL583^1.p
LCL584^1.p
LCL585^1.p
LCL586^1.p
LCL587^1.p
LCL588^1.p
LCL589^1.p
LCL590^1.p
LCL591^1.p
LCL592^1.p
LCL593^1.p
LCL594^1.p
LCL595^1.p
LCL596^1.p
LCL597^1.p
LCL598^1.p
LCL599^1.p
LCL600^1.p
LCL601^1.p
LCL602^1.p
LCL603^1.p
LCL604^1.p
LCL605^1.rm
LCL606^1.rm
LCL607^1.p
LCL608^1.p
LCL609^1.p
LCL610^1.rm
LCL611^1.rm
LCL612^1.p
LCL613^1.p
LCL614^1.p
LCL615^1.p
LCL616^1.rm
LCL617^1.p
LCL618^1.p
LCL619^1.p
LCL620^1.p
LCL621^1.p
LCL622^1.rm
LCL623^1.p
LCL624^1.p
LCL625^1.p
LCL626^1.p
LCL627^1.rm
LCL628^1.rm
LCL629^1.p
LCL630^1.p
LCL631^1.p
LCL632^1.p
LCL633^1.p
LCL634^1.p
LCL636+1.001.p
LCL636+1.005.p
LCL636+1.010.p
LCL636+1.015.p
LCL636+1.020.p
LCL637+1.001.p
LCL637+1.005.p
LCL637+1.010.p
LCL637+1.015.p
LCL637+1.020.p
LCL638+1.001.p
LCL638+1.005.p
LCL638+1.010.p
LCL638+1.015.p
LCL638+1.020.p
LCL639+1.001.p
LCL639+1.005.p
LCL639+1.010.p
LCL639+1.015.p
LCL639+1.020.p
LCL640+1.001.p
LCL640+1.005.p
LCL640+1.010.p
LCL640+1.015.p
LCL640+1.020.p
LCL641+1.001.p
LCL641+1.005.p
LCL641+1.010.p
LCL641+1.015.p
LCL641+1.020.p
LCL642+1.001.p
LCL642+1.005.p
LCL642+1.010.p
LCL642+1.015.p
LCL642+1.020.p
LCL643+1.001.p
LCL643+1.005.p
LCL643+1.010.p
LCL643+1.015.p
LCL643+1.020.p
LCL644+1.001.p
LCL644+1.005.p
LCL644+1.010.p
LCL644+1.015.p
LCL644+1.020.p
LCL645-10.001.p
LCL645+1.001.p
LCL645+1.005.p
LCL645+1.010.p
LCL645+1.015.p
LCL645+1.020.p
LCL646+1.001.p
LCL646+1.005.p
LCL646+1.010.p
LCL646+1.015.p
LCL646+1.020.p
LCL647+1.001.p
LCL647+1.005.p
LCL647+1.010.p
LCL647+1.015.p
LCL647+1.020.p
LCL648+1.001.p
LCL648+1.005.p
LCL648+1.010.p
LCL648+1.015.p
LCL648+1.020.p
LCL649+1.001.p
LCL649+1.005.p
LCL649+1.010.p
LCL649+1.015.p
LCL649+1.020.p
LCL650+1.001.p
LCL650+1.005.p
LCL650+1.010.p
LCL650+1.015.p
LCL650+1.020.p
LCL651+1.001.p
LCL651+1.005.p
LCL651+1.010.p
LCL651+1.015.p
LCL651+1.020.p
LCL652+1.001.p
LCL652+1.005.p
LCL652+1.010.p
LCL652+1.015.p
LCL652+1.020.p
LCL653+1.001.p
LCL653+1.005.p
LCL653+1.010.p
LCL653+1.015.p
LCL653+1.020.p
LCL654+1.001.p
LCL654+1.005.p
LCL654+1.010.p
LCL654+1.015.p
LCL654+1.020.p
LCL655+1.001.p
LCL655+1.005.p
LCL655+1.010.p
LCL655+1.015.p
LCL655+1.020.p
LCL656+1.001.p
LCL656+1.005.p
LCL656+1.010.p
LCL656+1.015.p
LCL656+1.020.p
LCL657+1.001.p
LCL657+1.005.p
LCL657+1.010.p
LCL657+1.015.p
LCL657+1.020.p
LCL658+1.001.p
LCL658+1.005.p
LCL658+1.010.p
LCL658+1.015.p
LCL658+1.020.p
LCL659+1.001.p
LCL659+1.005.p
LCL659+1.010.p
LCL659+1.015.p
LCL659+1.020.p
LCL660+1.001.p
LCL660+1.005.p
LCL660+1.010.p
LCL660+1.015.p
LCL660+1.020.p
LCL661+1.001.p
LCL661+1.005.p
LCL661+1.010.p
LCL661+1.015.p
LCL661+1.020.p
LCL662+1.001.p
LCL662+1.005.p
LCL662+1.010.p
LCL662+1.015.p
LCL662+1.020.p
LCL663+1.001.p
LCL663+1.005.p
LCL663+1.010.p
LCL663+1.015.p
LCL663+1.020.p
LCL664+1.001.p
LCL664+1.005.p
LCL664+1.010.p
LCL664+1.015.p
LCL664+1.020.p
LCL665+1.001.p
LCL665+1.005.p
LCL665+1.010.p
LCL665+1.015.p
LCL665+1.020.p
LCL666+1.001.p
LCL666+1.005.p
LCL666+1.010.p
LCL666+1.015.p
LCL666+1.020.p
LCL667+1.001.p
LCL667+1.005.p
LCL667+1.010.p
LCL667+1.015.p
LCL667+1.020.p
LCL668+1.001.p
LCL668+1.005.p
LCL668+1.010.p
LCL668+1.015.p
LCL668+1.020.p
LCL669+1.001.p
LCL669+1.005.p
LCL669+1.010.p
LCL669+1.015.p
LCL669+1.020.p
LCL670+1.001.p
LCL670+1.005.p
LCL670+1.010.p
LCL670+1.015.p
LCL670+1.020.p
LCL671+1.001.p
LCL671+1.005.p
LCL671+1.010.p
LCL671+1.015.p
LCL671+1.020.p
LCL672+1.001.p
LCL672+1.005.p
LCL672+1.010.p
LCL672+1.015.p
LCL672+1.020.p
LCL673+1.001.p
LCL673+1.005.p
LCL673+1.010.p
LCL673+1.015.p
LCL673+1.020.p
LCL674+1.001.p
LCL674+1.005.p
LCL674+1.010.p
LCL674+1.015.p
LCL674+1.020.p
LCL675+1.001.p
LCL675+1.005.p
LCL675+1.010.p
LCL675+1.015.p
LCL675+1.020.p
LCL676+1.001.p
LCL676+1.005.p
LCL676+1.010.p
LCL676+1.015.p
LCL676+1.020.p
LCL677+1.001.p
LCL677+1.005.p
LCL677+1.010.p
LCL677+1.015.p
LCL677+1.020.p
LCL678+1.001.p
LCL678+1.005.p
LCL678+1.010.p
LCL678+1.015.p
LCL678+1.020.p
LCL679+1.001.p
LCL679+1.005.p
LCL679+1.010.p
LCL679+1.015.p
LCL679+1.020.p
LCL680+1.001.p
LCL680+1.005.p
LCL680+1.010.p
LCL680+1.015.p
LCL680+1.020.p
LCL681+1.001.p
LCL681+1.005.p
LCL681+1.010.p
LCL681+1.015.p
LCL681+1.020.p
LCL682+1.001.p
LCL682+1.005.p
LCL682+1.010.p
LCL682+1.015.p
LCL682+1.020.p
LCL683+1.001.p
LCL683+1.005.p
LCL683+1.010.p
LCL683+1.015.p
LCL683+1.020.p
LCL684+1.001.p
LCL684+1.005.p
LCL684+1.010.p
LCL684+1.015.p
LCL684+1.020.p
LCL685+1.001.p
LCL685+1.005.p
LCL685+1.010.p
LCL685+1.015.p
LCL685+1.020.p
LCL686+1.001.p
LCL686+1.005.p
LCL686+1.010.p
LCL686+1.015.p
LCL686+1.020.p
LCL687-10.001.p
LCL687-10.015.p
LCL687+1.001.p
LCL687+1.005.p
LCL687+1.010.p
LCL687+1.015.p
LCL687+1.020.p
LCL688+1.001.p
LCL688+1.005.p
LCL688+1.010.p
LCL688+1.015.p
LCL688+1.020.p
LCL689+1.001.p
LCL689+1.005.p
LCL689+1.010.p
LCL689+1.015.p
LCL689+1.020.p
LCL690^1.p
LCL691^1.p
LCL692^1.p
LCL693^1.rm
LCL694^1.rm
LCL695^1.p
LCL696^1.p
LCL697^1.p
LCL698^1.p
LCL699^1.p
LCL700^1.p
LCL701^1.p
LCL702^1.p
LCL703^1.p
LCL704^1.p
LCL705^1.p
LCL706^1.p
LCL707^1.p
LCL708^1.p
LCL709^1.p
LCL710^1.p
LCL711^1.p
LCL712^1.p
LCL713^1.p
LCL714^1.p
LCL715^1.p
LCL716^1.p
LCL717^1.p
LCL718^1.p
LCL719^1.p
LCL720^1.p
LCL721^1.p
LCL722^1.p
LCL723^1.p
LCL724^1.p
LCL725^1.p
LCL726^5.p
LCL727^5.p
LCL728^5.p
LCL729^5.p
LCL730^5.p
LCL731^5.p
LCL732^5.p
LCL733^5.p
LCL734^5.p
LCL735^5.p
LCL736^5.p
LCL737^5.rm
LCL738^5.p
LCL739^5.p
LCL740^5.p
LCL741^5.p
LCL742^5.p
LCL743^5.p
LCL744-1.p
LCL744_5.p
LCL745-1.p
LCL745_5.p
LCL746-1.p
LCL746_5.p
LCL747-1.p
LCL747_5.p
LCL748-1.p
LCL748_5.p
LCL749-1.p
LCL749_5.p
LCL750-1.p
LCL750_5.p
LCL751-1.p
LCL751_5.p
LCL752-1.p
LCL752_5.p
LCL753-1.p
LCL753_5.p
LCL754-1.p
LCL754_5.p
LCL755-1.p
LCL755_5.p
LCL756-1.p
LCL756_5.p
LCL757-1.p
LCL757_5.p
LCL758-1.p
LCL758_5.p
LCL759-1.p
LCL759_5.p
LCL760-1.p
LCL760_5.p
LCL761-1.p
LCL761_5.p
LCL762-1.p
LCL762_5.p
LCL763-1.p
LCL763_5.p
LCL764-1.p
LCL764_5.p
LCL765-1.p
LCL765_5.p
LCL766-1.p
LCL766_5.p
LCL767-1.p
LCL767_5.p
LCL768-1.p
LCL768_5.p
LCL769-1.p
LCL769_5.p
LCL770-1.p
LCL770_5.p
LCL771-1.p
LCL771_5.p
LCL772-1.p
LCL772_5.p
LCL773-1.p
LCL773_5.p
LCL774-1.p
LCL774_5.p
LCL775-1.p
LCL775_5.p
LCL776-1.p
LCL776_5.p
LCL777-1.p
LCL777_5.p
LCL778-1.p
LCL778_5.p
LCL779-1.p
LCL779_5.p
LCL780-1.p
LCL780_5.p
LCL781-1.p
LCL781_5.p
LCL782-1.p
LCL782_5.p
LCL783-1.p
LCL783_5.p
LCL784-1.p
LCL784_5.p
LCL785-1.p
LCL785_5.p
LCL786-1.p
LCL786_5.p
LCL787-1.p
LCL787_5.p
LCL788-1.p
LCL788_5.p
LCL789-1.p
LCL789_5.p
LCL790-1.p
LCL790_5.p
LCL791-1.p
LCL791_5.p
LCL792-1.p
LCL792_5.p
LCL793-1.p
LCL793_5.p
LCL794-1.p
LCL794_5.p
LCL795-1.p
LCL795_5.p
LCL796-1.p
LCL796_5.p
LCL797-1.p
LCL797_5.p
LCL798-1.p
LCL798_5.p
LCL799-1.p
LCL799_5.p
LCL800-1.p
LCL800_5.p
LCL801-1.p
LCL801_5.p
LCL802-1.p
LCL802_5.p
LCL803-1.p
LCL803_5.p
LCL804-1.p
LCL804_5.p
LCL805-1.p
LCL805_5.p
LCL806-1.p
LCL806_5.p
LCL807-1.p
LCL807_5.p
LCL808-1.p
LCL808_5.p
LCL809-1.p
LCL809_5.p
LCL810-1.p
LCL810_5.p
LCL811-1.p
LCL811_5.p
LCL812-1.p
LCL812_5.p
LCL813-1.p
LCL813_5.p
LCL814-1.p
LCL814_5.p
LCL815-1.p
LCL815_5.p
LCL816-1.p
LCL816_5.p
LCL817-1.p
LCL817_5.p
LCL818-1.p
LCL818_5.p
LCL819-1.p
LCL819_5.p
LCL820-1.p
LCL820_5.p
LCL821-1.p
LCL821_5.p
LCL822-1.p
LCL822_5.p
LCL823-1.p
LCL823_5.p
LCL824-1.p
LCL824_5.p
LCL825-1.p
LCL825_5.p
LCL826-1.p
LCL826_5.p
LCL827-1.p
LCL827_5.p
LCL828-1.p
LCL828_5.p
LCL829-1.p
LCL829_5.p
LCL830-1.p
LCL830_5.p
LCL831-1.p
LCL831_5.p
LCL832-1.p
LCL832_5.p
LCL833-1.p
LCL833_5.p
LCL834-1.p
LCL834_5.p
LCL835-1.p
LCL835_5.p
LCL836-1.p
LCL836_5.p
LCL837-1.p
LCL837_5.p
LCL838-1.p
LCL838_5.p
LCL839-1.p
LCL839_5.p
LCL840-1.p
LCL840_5.p
LCL841-1.p
LCL841_5.p
LCL842-1.p
LCL842_5.p
LCL843-1.p
LCL843_5.p
LCL844-1.p
LCL845-1.p
LCL846-1.p
LCL847-1.p
LCL848-1.p
LCL849-1.p
LCL850-1.p
LCL851-1.p
LCL852-1.p
LCL853-1.p
LCL854-1.p
LCL855-1.p
LCL856-1.p
LCL857-1.p
LCL858-1.p
LCL859^1.p
LCL860^1.p
LCL861^1.p
LCL862^1.p
LCL863^1.p
LCL864^1.p
LCL865^1.p
LCL866^1.p
LCL867^1.p
LCL868^1.p
LCL869^1.p
LCL870^1.rm
LCL871^1.rm
LCL872^1.p
LCL873^1.p
LCL874^1.p
LCL875-1.p
LCL876+1.p
LCL877^1.p
LCL877^2.p
LCL878^1.p
LCL879^1.p
LCL880^1.p
LCL881^1.p
LCL882+1.p
LCL883+1.p
LCL884-10.p
LCL884+1.p
LCL885+1.p
LCL886-10.p
LCL886+1.p
LCL887+1.p
LCL888+1.p
LCL889+1.p
LCL890-10.p
LCL890+1.p
LCL891+1.p
LCL892+1.p
LCL893+1.p
LCL894+1.p
LCL895+1.p
LCL896+1.p
LCL897-10.p
LCL897+1.p
LCL898+1.p
LCL899+1.p
LCL900+1.p
LCL901+1.p
LCL902+1.p
LCL903+1.p
LCL904^1.rm
LCL905-1.p
LCL906-1.rm
LCL907+1.p
LCL908+1.p
LCL909+1.p
LCL910+1.p
LCL911+1.p
LCL912+1.p
LCL913+1.p
LCL914+1.p
LCL915+1.p
LCL916^1.p
LCL917^1.p
LCL918^1.p
LCL919^1.p
LCL920^1.p
LCL921^1.p
LCL922^1.p
LCL923^1.p
LCL924^1.p
LCL925^1.p
LCL926-1.p
LCL927-10.p
LCL927-1.p
LCL928-1.p
LCL929-1.p
LCL930^1.p
LCL931^1.p
LCL932^1.p
LCL933^1.p
LCL934^1.p
LCL935^1.p
LCL936^1.p
LCL937^1.p
LCL938^1.p
LCL939^1.p
LCL940^1.p
LCL941^3.p
LCL941_3.p
LCL941^5.p
LCL941_5.p
LCL942^2.p
LCL942_2.p
LCL943^24.p
LCL944^8.p
LCL944_8.p
LCL945^9.p
LCL945_9.p
LCL946^10.p
LCL946_10.p
LCL947^10.p
LCL947_10.p
LCL948^10.p
LCL948_10.p
LCL949^4.p
LCL949_4.p
LCL950^17.p
LCL950_17.p
LCL951^24.p
LCL952^12.p
LCL953^8.p
LCL953_8.p
LCL954^19.p
LCL954_19.p
LCL955^24.p
LCL956^18.p
LCL957^6.p
LCL958^18.p
LCL959^24.p
LCL960^12.p
LCL961^11.p
LCL961_11.p
LCL961^1.p
LCL961_1.p
LCL962^16.p
LCL962_16.p
LCL963^3.p
LCL963_3.p
LCL964^3.p
LCL964_3.p
LCL965^15.p
LCL965_15.p
LCL966^9.p
LCL966_9.p
LCL967^3.p
LCL967_3.p
LCL968^3.p
LCL968_3.p
LCL969^9.p
LCL969_9.p
LCL970^15.p
LCL970_15.p
LCL971_1.014.p
LCL972_1.014.p
LCL973_1.006.p
LCL974_1.006.p
LCL974_1.014.p
LCL975_1.001.p
LCL975_1.005.p
LCL975_1.009.p
LCL975_1.013.p
LCL975_1.017.p
LCL976_1.002.p
LCL976_1.018.p