TPTP Problem Domain: SYN


SYN000+1.p SYN000-1.p SYN000^1.p SYN000_1.p SYN000+2.p SYN000-2.p SYN000=2.p
SYN000^2.p SYN000_2.p SYN000^3.p SYN000_3.p SYN000_4.p SYN001-1.005.p SYN001+1.p
SYN001^4.001.p SYN001^4.002.p SYN001^4.003.p SYN001^4.004.p SYN002-1.000.rm SYN002-1.002.rm SYN002-1.004.rm
SYN002-1.006.rm SYN002-1.007.008.p SYN002-1.008.rm SYN002-1.010.rm SYN002-1.012.rm SYN002-1.016.rm SYN002-1.020.rm
SYN002-1.030.rm SYN002-1.040.rm SYN002-1.050.rm SYN003-1.006.p SYN004-1.007.p SYN005-1.010.p SYN006-1.p
SYN007-1.002.rm SYN007+1.005.rm SYN007+1.014.p SYN007^4.014.p SYN008-1.p SYN009-1.p SYN009-2.p
SYN009-3.p SYN009-4.p SYN010-1.002.rm SYN010-1.005.005.p SYN010-1.005.rm SYN010-1.010.rm SYN010-2.002.rm
SYN010-2.005.rm SYN010-2.010.rm SYN010-3.002.rm SYN010-3.005.rm SYN010-3.010.rm SYN011-1.p SYN012-1.p
SYN013-1.p SYN014-1.p SYN014-2.p SYN015-1.p SYN015-2.p SYN028-1.p SYN029-1.p
SYN030-1.p SYN031-1.p SYN032-1.p SYN033-1.p SYN034-1.p SYN035-1.p SYN036+1.p
SYN036-1.p SYN036+2.p SYN036-2.p SYN036-3.p SYN036-4.p SYN036^5.p SYN036^7.p
SYN037-1.p SYN037-2.p SYN038-1.p SYN039-1.p SYN040+1.p SYN040-1.p SYN040^4.p
SYN041+1.p SYN041-1.p SYN041^4.p SYN042-1.rm SYN043-1.rm SYN044+1.p SYN044-1.p
SYN044^4.p SYN045+1.p SYN045-1.p SYN045^4.p SYN045^7.p SYN046+1.p SYN046-1.p
SYN046^4.p SYN047+1.p SYN047-1.p SYN047^4.p SYN048+1.p SYN048-1.p SYN049+1.p
SYN049-1.p SYN049^5.p SYN050+1.p SYN050-1.p SYN051+1.p SYN051-1.p SYN051^5.p
SYN052+1.p SYN052-1.p SYN052^7.p SYN053+1.p SYN053-1.p SYN054+1.p SYN054-1.p
SYN055+1.p SYN055-1.p SYN055^5.p SYN056+1.p SYN056-1.p SYN056^5.p SYN057+1.p
SYN057-1.p SYN057^5.p SYN058+1.p SYN058-1.p SYN058^5.p SYN059+1.p SYN059-1.p
SYN059^5.p SYN060+1.p SYN060-1.p SYN061+1.p SYN061-1.p SYN062+1.p SYN062-1.p
SYN063+1.p SYN063-1.p SYN063-2.p SYN064+1.p SYN064-1.p SYN064^5.p SYN065+1.p
SYN065-1.p SYN066+1.p SYN066-1.p SYN067+1.p SYN067-1.p SYN067-2.p SYN067-3.p
SYN068+1.p SYN068-1.p SYN069+1.p SYN069-1.p SYN070+1.p SYN070-1.p SYN071+1.p
SYN071-1.p SYN072+1.p SYN072-1.p SYN073+1.p SYN073-1.p SYN074+1.p SYN074-1.p
SYN075+1.p SYN075-1.p SYN076+1.p SYN076-1.p SYN077+1.p SYN077-1.p SYN078+1.p
SYN078-1.p SYN079+1.p SYN079-1.p SYN080+1.p SYN080-1.p SYN081+1.p SYN081-1.p
SYN082+1.p SYN082-1.p SYN083+1.p SYN083-1.p SYN084+1.p SYN084-1.p SYN084-2.p
SYN085-1.010.p SYN086-1.003.p SYN087-1.003.p SYN088-1.010.p SYN089-1.002.p SYN090-1.008.p SYN091-1.003.p
SYN092-1.003.p SYN093-1.002.p SYN094-1.005.p SYN095-1.002.p SYN096-1.008.p SYN097-1.002.p SYN098-1.002.p
SYN099-1.003.p SYN100-1.005.p SYN101-1.002.002.p SYN101-1.005.rm SYN101-1.010.rm SYN101-1.020.rm SYN101-2.005.rm
SYN101-2.010.rm SYN101-2.020.rm SYN101-3.005.rm SYN101-3.010.rm SYN101-3.020.rm SYN102-1.005.rm SYN102-1.007.007.p
SYN102-1.010.rm SYN102-1.020.rm SYN102-2.005.rm SYN102-2.010.rm SYN102-2.020.rm SYN102-3.005.rm SYN102-3.010.rm
SYN102-3.020.rm SYN103-1.p SYN104-1.p SYN105-1.p SYN106-1.p SYN107-1.p SYN108-1.p
SYN109-1.p SYN110-1.p SYN111-1.p SYN112-1.p SYN113-1.p SYN114-1.p SYN115-1.p
SYN116-10.p SYN116-1.p SYN117-1.p SYN118-1.p SYN119-1.p SYN120-1.p SYN121-1.p
SYN122-1.p SYN123-1.p SYN124-1.p SYN125-1.p SYN126-1.p SYN127-1.p SYN128-1.p
SYN129-1.p SYN130-1.p SYN131-1.p SYN132-1.p SYN133-1.p SYN134-1.p SYN135-1.p
SYN136-1.p SYN137-1.p SYN138-1.p SYN139-1.p SYN140-1.p SYN141-1.p SYN142-1.p
SYN143-10.p SYN143-1.p SYN144-1.p SYN145-1.p SYN146-1.p SYN147-1.p SYN148-1.p
SYN149-1.p SYN150-1.p SYN151-1.p SYN152-1.p SYN153-1.p SYN154-1.p SYN155-1.p
SYN156-1.p SYN157-1.p SYN158-1.p SYN159-1.p SYN160-1.p SYN161-1.p SYN162-1.p
SYN163-1.p SYN164-1.p SYN165-1.p SYN166-1.p SYN167-1.p SYN168-1.p SYN169-1.p
SYN170-10.p SYN170-1.p SYN171-1.p SYN172-1.p SYN173-1.p SYN174-1.p SYN175-1.p
SYN176-1.p SYN177-1.p SYN178-1.p SYN179-1.p SYN180-1.p SYN181-1.p SYN182-1.p
SYN183-1.p SYN184-1.p SYN185-1.p SYN186-1.p SYN187-1.p SYN188-1.p SYN189-1.p
SYN190-1.p SYN191-1.p SYN192-1.p SYN193-10.p SYN193-1.p SYN194-1.p SYN195-1.p
SYN196-1.p SYN197-1.p SYN198-1.p SYN199-1.p SYN200-1.p SYN201-1.p SYN202-1.p
SYN203-1.p SYN204-1.p SYN205-1.p SYN206-1.p SYN207-1.p SYN208-1.p SYN209-1.p
SYN210-1.p SYN211-1.p SYN212-1.p SYN213-1.p SYN214-10.p SYN214-1.p SYN215-1.p
SYN216-1.p SYN217-1.p SYN218-1.p SYN219-1.p SYN220-1.p SYN221-1.p SYN222-1.p
SYN223-1.p SYN224-1.p SYN225-1.p SYN226-1.p SYN227-1.p SYN228-1.p SYN229-1.p
SYN230-1.p SYN231-1.p SYN232-1.p SYN233-1.p SYN234-1.p SYN235-1.p SYN236-1.p
SYN237-1.p SYN238-1.p SYN239-1.p SYN240-1.p SYN241-1.p SYN242-1.p SYN243-1.p
SYN244-1.p SYN245-1.p SYN246-1.p SYN247-1.p SYN248-1.p SYN249-1.p SYN250-1.p
SYN251-1.p SYN252-1.p SYN253-1.p SYN254-1.p SYN255-1.p SYN256-1.p SYN257-1.p
SYN258-1.p SYN259-1.p SYN260-1.p SYN261-1.p SYN262-1.p SYN263-1.p SYN264-1.p
SYN265-1.p SYN266-1.p SYN267-1.p SYN268-1.p SYN269-1.p SYN270-1.p SYN271-1.p
SYN272-1.p SYN273-1.p SYN274-1.p SYN275-1.p SYN276-1.p SYN277-1.p SYN278-1.p
SYN279-1.p SYN280-1.p SYN281-1.p SYN282-1.p SYN283-1.p SYN284-1.p SYN285-1.p
SYN286-1.p SYN287-1.p SYN288-1.p SYN289-1.p SYN290-1.p SYN291-1.p SYN292-1.p
SYN293-1.p SYN294-1.p SYN295-1.p SYN296-1.p SYN297-1.p SYN298-1.p SYN299-1.p
SYN300-1.p SYN301-1.p SYN302-1.003.p SYN303-10.p SYN303-1.p SYN304-1.p SYN305-1.p
SYN306-1.p SYN307-1.p SYN308-1.p SYN309-1.p SYN310-1.p SYN311-1.p SYN312-1.p
SYN313-1.001.002.p SYN314-1.002.001.p SYN315+1.p SYN315-1.p SYN316+1.p SYN316-1.p SYN317+1.p
SYN317-1.p SYN318+1.p SYN318-1.p SYN319+1.p SYN319-1.p SYN320+1.p SYN320-1.p
SYN321+1.p SYN321-1.p SYN322+1.p SYN322-1.p SYN323+1.p SYN323-1.p SYN324+1.p
SYN324-1.p SYN325+1.p SYN325-1.p SYN326+1.p SYN326-1.p SYN327+1.p SYN327-1.p
SYN328+1.p SYN328-1.p SYN329-10.p SYN329+1.p SYN329-1.p SYN330+1.p SYN330-1.p
SYN331+1.p SYN331-1.p SYN332+1.p SYN332-1.p SYN333+1.p SYN333-1.p SYN334+1.p
SYN334-1.p SYN335+1.p SYN335-1.p SYN336+1.p SYN336-1.p SYN337-10.p SYN337+1.p
SYN337-1.p SYN338+1.p SYN338-1.p SYN339+1.p SYN339-1.p SYN340+1.p SYN340-1.p
SYN341+1.p SYN341-1.p SYN342-10.p SYN342+1.p SYN342-1.p SYN343+1.p SYN343-1.p
SYN344+1.p SYN344-1.p SYN345+1.p SYN345-1.p SYN346+1.p SYN346-1.p SYN347+1.p
SYN347-1.p SYN348+1.p SYN348-1.p SYN349+1.p SYN349-1.p SYN350+1.p SYN350-1.p
SYN351+1.p SYN351-1.p SYN352+1.p SYN352-1.p SYN353+1.p SYN353-1.p SYN354+1.p
SYN354-1.p SYN355+1.p SYN355^5.p SYN356+1.p SYN356^5.p SYN357+1.p SYN357^5.p
SYN357^7.p SYN358+1.p SYN358^5.p SYN359+1.p SYN360+1.p SYN360^5.p SYN361+1.p
SYN361^5.p SYN362+1.p SYN363+1.p SYN363^5.rm SYN364+1.p SYN364^5.p SYN365+1.p
SYN365^5.p SYN366+1.p SYN367+1.p SYN367^7.p SYN368+1.p SYN369+1.p SYN370+1.p
SYN371+1.p SYN372+1.p SYN373+1.p SYN374+1.p SYN374^5.p SYN375+1.p SYN375^5.p
SYN376+1.p SYN377+1.p SYN377^5.p SYN377^7.p SYN378+1.p SYN379+1.p SYN380+1.p
SYN381+1.p SYN381^5.p SYN382+1.p SYN382^5.p SYN383+1.p SYN384+1.p SYN385+1.p
SYN386+1.p SYN386^5.p SYN387+1.p SYN387^4.p SYN387^7.p SYN388+1.p SYN388^4.p
SYN389+1.p SYN389^4.p SYN390+1.p SYN390^4.p SYN391+1.p SYN391^4.p SYN392+1.p
SYN392^4.p SYN393+1.003.p SYN393^4.002.p SYN393^4.003.p SYN393^4.004.p SYN394+1.p SYN395+1.p
SYN396+1.p SYN397+1.p SYN397^7.p SYN398+1.p SYN399+1.p SYN400+1.p SYN401+1.p
SYN402+1.p SYN403+1.p SYN404+1.p SYN405+1.p SYN406+1.p SYN407+1.p SYN407^7.p
SYN408+1.p SYN409+1.p SYN410+1.p SYN411+1.p SYN412+1.p SYN413+1.p SYN414+1.p
SYN415+1.p SYN416+1.p SYN416^4.p SYN416^7.p SYN417+1.p SYN418+1.p SYN418-1.p
SYN419+1.p SYN419-1.p SYN420+1.p SYN420-1.p SYN421+1.p SYN421-1.p SYN422+1.p
SYN422-1.p SYN423+1.p SYN423-1.p SYN424+1.p SYN424-1.p SYN425+1.p SYN425-1.p
SYN426+1.p SYN426-1.p SYN427+1.p SYN427-1.p SYN428+1.p SYN428-1.p SYN429+1.p
SYN429-1.p SYN430+1.p SYN430-1.p SYN431+1.p SYN431-1.p SYN432+1.p SYN432-1.p
SYN433+1.p SYN433-1.p SYN434+1.p SYN434-1.p SYN435+1.p SYN435-1.p SYN436+1.p
SYN436-1.p SYN437+1.p SYN437-1.p SYN438+1.p SYN438-1.p SYN439+1.p SYN439-1.p
SYN440+1.p SYN440-1.p SYN441+1.p SYN441-1.p SYN442+1.p SYN442-1.p SYN443+1.p
SYN443-1.p SYN444+1.p SYN444-1.p SYN445+1.p SYN445-1.p SYN446+1.p SYN446-1.p
SYN447+1.p SYN447-1.p SYN448+1.p SYN448-1.p SYN449+1.p SYN449-1.p SYN450+1.p
SYN450-1.p SYN451+1.p SYN451-1.p SYN452+1.p SYN452-1.p SYN453+1.p SYN453-1.p
SYN454+1.p SYN454-1.p SYN455+1.p SYN455-1.p SYN456+1.p SYN456-1.p SYN457+1.p
SYN457-1.p SYN458+1.p SYN458-1.p SYN459+1.p SYN459-1.p SYN460+1.p SYN460-1.p
SYN461+1.p SYN461-1.p SYN462+1.p SYN462-1.p SYN463+1.p SYN463-1.p SYN464+1.p
SYN464-1.p SYN465+1.p SYN465-1.p SYN466+1.p SYN466-1.p SYN467+1.p SYN467-1.p
SYN468+1.p SYN468-1.p SYN469+1.p SYN469-1.p SYN470+1.p SYN470-1.p SYN471+1.p
SYN471-1.p SYN472+1.p SYN472-1.p SYN473+1.p SYN473-1.p SYN474+1.p SYN474-1.p
SYN475+1.p SYN475-1.p SYN476+1.p SYN476-1.p SYN477+1.p SYN477-1.p SYN478+1.p
SYN478-1.p SYN479+1.p SYN479-1.p SYN480+1.p SYN480-1.p SYN481+1.p SYN481-1.p
SYN482+1.p SYN482-1.p SYN483+1.p SYN483-1.p SYN484+1.p SYN484-1.p SYN485+1.p
SYN485-1.p SYN486+1.p SYN486-1.p SYN487+1.p SYN487-1.p SYN488+1.p SYN488-1.p
SYN489+1.p SYN489-1.p SYN490+1.p SYN490-1.p SYN491+1.p SYN491-1.p SYN492+1.p
SYN492-1.p SYN493+1.p SYN493-1.p SYN494+1.p SYN494-1.p SYN495+1.p SYN495-1.p
SYN496+1.p SYN496-1.p SYN497+1.p SYN497-1.p SYN498+1.p SYN498-1.p SYN499+1.p
SYN499-1.p SYN500+1.p SYN500-1.p SYN501+1.p SYN501-1.p SYN502+1.p SYN502-1.p
SYN503+1.p SYN503-1.p SYN504+1.p SYN504-1.p SYN505+1.p SYN505-1.p SYN506+1.p
SYN506-1.p SYN507+1.p SYN507-1.p SYN508+1.p SYN508-1.p SYN509+1.p SYN509-1.p
SYN510+1.p SYN510-1.p SYN511+1.p SYN511-1.p SYN512+1.p SYN512-1.p SYN513+1.p
SYN513-1.p SYN514+1.p SYN514-1.p SYN515+1.p SYN515-1.p SYN516+1.p SYN516-1.p
SYN517+1.p SYN517-1.p SYN518+1.p SYN518-1.p SYN519+1.p SYN519-1.p SYN520+1.p
SYN520-1.p SYN521+1.p SYN521-1.p SYN522+1.p SYN522-1.p SYN523+1.p SYN523-1.p
SYN524+1.p SYN524-1.p SYN525+1.p SYN525-1.p SYN526+1.p SYN526-1.p SYN527+1.p
SYN527-1.p SYN528+1.p SYN528-1.p SYN529+1.p SYN529-1.p SYN530+1.p SYN530-1.p
SYN531+1.p SYN531-1.p SYN532+1.p SYN532-1.p SYN533+1.p SYN533-1.p SYN534+1.p
SYN534-1.p SYN535+1.p SYN535-1.p SYN536+1.p SYN536-1.p SYN537+1.p SYN537-1.p
SYN538+1.p SYN538-1.p SYN539+1.p SYN539-1.p SYN540+1.p SYN540-1.p SYN541+1.p
SYN541-1.p SYN542+1.p SYN542-1.p SYN543+1.p SYN543-1.p SYN544+1.p SYN544-1.p
SYN545+1.p SYN545-1.p SYN546+1.p SYN546-1.p SYN547+1.p SYN547-1.p SYN548+1.p
SYN549+1.p SYN550+1.p SYN551+1.p SYN551+2.p SYN551+3.p SYN552-1.p SYN553-1.p
SYN554-1.p SYN555-1.p SYN556-1.p SYN557-1.p SYN558-1.p SYN559-1.p SYN560-1.p
SYN561-1.p SYN562-1.p SYN563-10.p SYN563-1.p SYN564-1.p SYN565-1.p SYN566-1.p
SYN567-1.p SYN568-1.p SYN569-1.p SYN570-1.p SYN571-1.p SYN572-1.p SYN573-1.p
SYN574-1.p SYN575-1.p SYN576-1.p SYN577-1.p SYN578-1.p SYN579-1.p SYN580-1.p
SYN581-1.p SYN582-1.p SYN583-1.p SYN584-1.p SYN585-1.p SYN586-1.p SYN587-1.p
SYN588-1.p SYN589-1.p SYN590-1.p SYN591-1.p SYN592-1.p SYN593-1.p SYN594-1.p
SYN595-1.p SYN596-1.p SYN597-1.p SYN598-10.p SYN598-1.p SYN599-1.p SYN600-1.p
SYN601-1.p SYN602-1.p SYN603-1.p SYN604-1.p SYN605-1.p SYN606-1.p SYN607-1.p
SYN608-1.p SYN609-1.p SYN610-1.p SYN611-1.p SYN612-1.p SYN613-1.p SYN614-1.p
SYN615-10.p SYN615-1.p SYN616-1.p SYN617-1.p SYN618-1.p SYN619-1.p SYN620-1.p
SYN621-1.p SYN622-1.p SYN623-1.p SYN624-1.p SYN625-1.p SYN626-1.p SYN627-1.p
SYN628-1.p SYN629-1.p SYN630-1.p SYN631-1.p SYN632-1.p SYN633-1.p SYN634-1.p
SYN635-1.p SYN636-1.p SYN637-1.p SYN638-1.p SYN639-1.p SYN640-1.p SYN641-1.p
SYN642-1.p SYN643-1.p SYN644-1.p SYN645-1.p SYN646-1.p SYN647-1.p SYN648-1.p
SYN649-1.p SYN650-1.p SYN651-1.p SYN652-1.p SYN653-1.p SYN654-1.p SYN655-1.p
SYN656-1.p SYN657-1.p SYN658-1.p SYN659-1.p SYN660-1.p SYN661-1.p SYN662-1.p
SYN663-1.p SYN664-1.p SYN665-1.p SYN666-1.p SYN667-1.p SYN668-1.p SYN669-1.p
SYN670-1.p SYN671-1.p SYN672-1.p SYN673-1.p SYN674-1.p SYN675-1.p SYN676-1.p
SYN677-1.p SYN678-1.p SYN679-1.p SYN680-1.p SYN681-1.p SYN682-1.p SYN683-1.p
SYN684-1.p SYN685-1.p SYN686-1.p SYN687-1.p SYN688-1.p SYN689-1.p SYN690-1.p
SYN691-1.p SYN692-1.p SYN693-1.p SYN694-1.p SYN695-1.p SYN696-1.p SYN697-1.p
SYN698-1.p SYN699-1.p SYN700-1.p SYN701-1.p SYN702-1.p SYN703-1.p SYN704-1.p
SYN705-1.p SYN706-1.p SYN707-1.p SYN708-10.p SYN708-1.p SYN709-1.p SYN710-1.p
SYN711-1.p SYN712-1.p SYN713-1.p SYN714-1.p SYN715-1.p SYN716-1.p SYN717-1.p
SYN718-1.p SYN719-1.p SYN720-1.p SYN721+1.p SYN721-1.p SYN722+1.p SYN723+1.p
SYN724+1.p SYN724-1.p SYN725+1.p SYN726+1.p SYN726-1.p SYN727+1.p SYN727-1.p
SYN728+1.p SYN728-1.p SYN729+1.p SYN729-1.p SYN730+1.p SYN731+1.p SYN731-1.p
SYN731^5.p SYN732+1.p SYN732^5.p SYN733+1.p SYN734-1.p SYN735-1.p SYN736-1.p
SYN737-1.p SYN738-1.p SYN739-1.p SYN740-1.p SYN741-1.p SYN741^7.p SYN742-1.p
SYN743-1.p SYN744-1.p SYN745-1.p SYN746-1.p SYN747-1.p SYN748-1.p SYN749-1.p
SYN750-1.p SYN751-1.p SYN752-1.p SYN753-1.p SYN754-1.p SYN755-1.p SYN756-1.p
SYN757-1.p SYN758-1.p SYN759-1.p SYN760-1.p SYN761-1.p SYN762-1.p SYN763-1.p
SYN764-1.p SYN765-1.p SYN766-1.p SYN767-1.p SYN768-1.p SYN769-1.p SYN770-1.p
SYN771-1.p SYN772-1.p SYN773-1.p SYN774-1.p SYN775-1.p SYN776-1.p SYN777-1.p
SYN778-1.p SYN779-1.p SYN780-1.p SYN781-1.p SYN782-1.p SYN783-1.p SYN784-1.p
SYN785-1.p SYN786-1.p SYN787-1.p SYN788-1.p SYN789-1.p SYN790-1.p SYN791-1.p
SYN792-1.p SYN793-1.p SYN794-1.p SYN795-1.p SYN796-1.p SYN797-1.p SYN798-1.p
SYN799-1.p SYN800-1.p SYN801-1.p SYN802-1.p SYN803-1.p SYN804-1.p SYN805-1.p
SYN806-1.p SYN807-1.p SYN808-1.p SYN809-1.p SYN810-1.p SYN811-1.p SYN812-1.p
SYN813-1.p SYN814-1.p SYN815-1.p SYN816-1.p SYN817-1.p SYN818-1.p SYN819-1.p
SYN820-1.p SYN821-1.p SYN822-1.p SYN823-1.p SYN824-1.p SYN825-1.p SYN826-1.p
SYN827-1.p SYN828-1.p SYN829-1.p SYN830-1.p SYN831-1.p SYN832-1.p SYN833-1.p
SYN834-1.p SYN835-1.p SYN836-1.p SYN837-1.p SYN838-1.p SYN839-1.p SYN840-1.p
SYN841-1.p SYN842-1.p SYN843-1.p SYN844-1.p SYN845-1.p SYN846-1.p SYN847-1.p
SYN848-1.p SYN849-1.p SYN850-1.p SYN851-1.p SYN852-1.p SYN853-1.p SYN854-1.p
SYN855-1.p SYN856-1.p SYN857-1.p SYN858-1.p SYN859-1.p SYN860-1.p SYN861-1.p
SYN862-1.p SYN863-1.p SYN864-1.p SYN865-1.p SYN866-1.p SYN867-1.p SYN868-1.p
SYN869-1.p SYN870-1.p SYN871-1.p SYN872-1.p SYN873-1.p SYN874-1.p SYN875-1.p
SYN876-1.p SYN877-1.p SYN878-1.p SYN879-1.p SYN880-1.p SYN881-1.p SYN882-1.p
SYN883-1.p SYN884-1.p SYN885-1.p SYN886-1.p SYN887-1.p SYN888-1.p SYN889-1.p
SYN890-1.p SYN891-1.p SYN892-1.p SYN893-1.p SYN894-1.p SYN895-1.p SYN896-1.p
SYN897-1.p SYN898-1.p SYN899-1.p SYN900-1.p SYN901-1.p SYN902-1.p SYN903-1.p
SYN904-1.p SYN905-1.p SYN906-1.p SYN907-1.p SYN908-1.p SYN909-1.p SYN910-1.p
SYN911-1.p SYN912-1.p SYN913-1.p SYN914-1.p SYN915+1.p SYN915-1.p SYN915^4.p
SYN916+1.p SYN916-1.p SYN916^4.p SYN917+1.p SYN918+1.p SYN919+1.p SYN920+1.p
SYN921+1.p SYN922+1.p SYN923+1.p SYN924+1.p SYN925+1.p SYN926+1.p SYN927+1.p
SYN928+1.p SYN929+1.p SYN930+1.p SYN931+1.p SYN932+1.p SYN933+1.p SYN934+1.p
SYN935+1.p SYN936+1.p SYN937+1.p SYN938+1.p SYN939+1.p SYN940+1.p SYN941+1.p
SYN942+1.p SYN943+1.p SYN944+1.p SYN945+1.p SYN946+1.p SYN947+1.p SYN948+1.p
SYN949+1.p SYN950+1.p SYN951+1.p SYN952+1.p SYN953+1.p SYN954+1.p SYN955+1.p
SYN956+1.p SYN957+1.p SYN958+1.p SYN959+1.p SYN960+1.p SYN961+1.p SYN962+1.p
SYN963+1.p SYN964+1.p SYN965+1.p SYN966+1.p SYN967+1.p SYN968+1.p SYN969+1.p
SYN970+1.p SYN971+1.p SYN972+1.p SYN973+1.p SYN974+1.p SYN975+1.p SYN976+1.p
SYN977+1.p SYN977^4.p SYN978+1.p SYN978^4.p SYN979+1.p SYN980+1.p SYN981+1.p
SYN982-1.p SYN983^1.p SYN984^1.p SYN985^1.p SYN986-10.005.p SYN986-10.006.p SYN986+1.000.p
SYN986+1.001.p SYN986+1.002.p SYN986+1.003.p SYN986+1.004.p SYN986+1.005.p SYN986+1.006.p SYN987^1.p
SYN987^2.p SYN988^1.p SYN988^2.p SYN989^1.p SYN989^2.p SYN989^3.p SYN990^1.p
SYN991^1.p SYN992^1.p SYN993^1.p SYN994^1.p SYN995^1.p SYN996^1.p SYN997^1.p
SYN998^1.p SYN999^1.p