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-3.p`	`SYN000^3.p`	`SYN000_3.p`	`SYN000_4.p`	`SYN000_5.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`	`SYN983_8.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`	`SYN987_8.p`	`SYN988^1.p`	`SYN988^2.p`	`SYN988_8.p`
`SYN989^1.p`	`SYN989^2.p`	`SYN989^3.p`	`SYN989_8.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`