TPTP Problem Domain: GEO

`GEO001_10.p`	`GEO001-1.p`	`GEO001_1.p`	`GEO001-2.p`	`GEO001-3.p`	`GEO001-4.p`	`GEO002-1.p`
`GEO002-2.p`	`GEO002-3.p`	`GEO002-4.p`	`GEO003-1.p`	`GEO003-2.p`	`GEO003-3.p`	`GEO004-1.p`
`GEO004-2.p`	`GEO005-1.p`	`GEO005-2.p`	`GEO006-1.p`	`GEO006-2.p`	`GEO006-3.p`	`GEO007-1.p`
`GEO007-2.p`	`GEO007-3.p`	`GEO008-1.p`	`GEO008-2.p`	`GEO008-3.p`	`GEO009-1.p`	`GEO009-2.p`
`GEO009-3.p`	`GEO010-1.p`	`GEO010-2.p`	`GEO010-3.p`	`GEO011-1.p`	`GEO011-2.p`	`GEO011-3.p`
`GEO011-4.p`	`GEO011-5.p`	`GEO012-1.p`	`GEO012-2.p`	`GEO012-3.p`	`GEO013-1.p`	`GEO013-2.p`
`GEO013-3.p`	`GEO014-2.p`	`GEO015-2.p`	`GEO015-3.p`	`GEO016-2.p`	`GEO016-3.p`	`GEO017-2.p`
`GEO017-3.p`	`GEO018-2.p`	`GEO018-3.p`	`GEO019-2.p`	`GEO019-3.p`	`GEO020-2.p`	`GEO020-3.p`
`GEO021-2.p`	`GEO021-3.p`	`GEO022-2.p`	`GEO022-3.p`	`GEO024-2.p`	`GEO024-3.p`	`GEO025-2.p`
`GEO025-3.p`	`GEO026-2.p`	`GEO026-3.p`	`GEO027-2.p`	`GEO027-3.p`	`GEO028-2.p`	`GEO028-3.p`
`GEO029-2.p`	`GEO029-3.p`	`GEO030-2.p`	`GEO030-3.p`	`GEO031-2.p`	`GEO031-3.p`	`GEO032-2.p`
`GEO032-3.p`	`GEO033-2.p`	`GEO033-3.p`	`GEO034-2.p`	`GEO034-3.p`	`GEO035-2.p`	`GEO035-3.p`
`GEO036-2.p`	`GEO036-3.p`	`GEO037-2.p`	`GEO037-3.p`	`GEO038-2.p`	`GEO038-3.p`	`GEO039-2.p`
`GEO039-3.p`	`GEO040-2.p`	`GEO040-3.p`	`GEO041-2.p`	`GEO041-3.p`	`GEO042-2.p`	`GEO042-3.p`
`GEO043-2.p`	`GEO043-3.p`	`GEO044-2.p`	`GEO044-3.p`	`GEO045-2.p`	`GEO045-3.p`	`GEO046-2.p`
`GEO046-3.p`	`GEO047-2.p`	`GEO047-3.p`	`GEO048-2.p`	`GEO048-3.p`	`GEO049-2.p`	`GEO049-3.p`
`GEO050-2.p`	`GEO050-3.p`	`GEO051-2.p`	`GEO051-3.p`	`GEO052-2.p`	`GEO052-3.p`	`GEO053-2.p`
`GEO053-3.p`	`GEO054-2.p`	`GEO054-3.p`	`GEO055-2.p`	`GEO055-3.p`	`GEO056-2.p`	`GEO056-3.p`
`GEO057-2.p`	`GEO057-3.p`	`GEO058-2.p`	`GEO058-3.p`	`GEO059-2.p`	`GEO059-3.p`	`GEO060-2.p`
`GEO061-2.p`	`GEO061-3.p`	`GEO062-2.p`	`GEO062-3.p`	`GEO063-2.p`	`GEO063-3.p`	`GEO064-2.p`
`GEO064-3.p`	`GEO065-2.p`	`GEO065-3.p`	`GEO066-2.p`	`GEO066-3.p`	`GEO067-2.p`	`GEO067-3.p`
`GEO068-2.p`	`GEO068-3.p`	`GEO069-2.p`	`GEO069-3.p`	`GEO070-2.p`	`GEO070-3.p`	`GEO071-2.p`
`GEO071-3.p`	`GEO072-2.p`	`GEO072-3.p`	`GEO073-1.p`	`GEO073-2.p`	`GEO073-3.p`	`GEO074-2.p`
`GEO075-2.p`	`GEO076-4.p`	`GEO077-4.p`	`GEO078-4.p`	`GEO078-5.p`	`GEO078-6.p`	`GEO078-7.p`
`GEO079-1.p`	`GEO080+1.p`	`GEO080-1.p`	`GEO081+1.p`	`GEO081-1.p`	`GEO082+1.p`	`GEO082-1.p`
`GEO083+1.p`	`GEO083-1.p`	`GEO084+1.p`	`GEO084-1.p`	`GEO085+1.p`	`GEO085-1.p`	`GEO086+1.p`
`GEO086-1.p`	`GEO087+1.p`	`GEO087-1.p`	`GEO088+1.p`	`GEO088-1.p`	`GEO089+1.p`	`GEO089-1.p`
`GEO090+1.p`	`GEO090-1.p`	`GEO091+1.p`	`GEO091-1.p`	`GEO092+1.p`	`GEO092-1.p`	`GEO093+1.p`
`GEO093-1.p`	`GEO094+1.p`	`GEO094-1.p`	`GEO095+1.p`	`GEO095-1.p`	`GEO096+1.p`	`GEO096-1.p`
`GEO097+1.p`	`GEO097-1.p`	`GEO098+1.p`	`GEO098-1.p`	`GEO099+1.p`	`GEO099-1.p`	`GEO100+1.p`
`GEO100-1.p`	`GEO101+1.p`	`GEO101-1.p`	`GEO102+1.p`	`GEO102-1.p`	`GEO103+1.p`	`GEO103-1.p`
`GEO104+1.p`	`GEO104-1.p`	`GEO105+1.p`	`GEO105-1.p`	`GEO106+1.p`	`GEO106-1.p`	`GEO107+1.p`
`GEO107-1.p`	`GEO108+1.p`	`GEO108-1.p`	`GEO109+1.p`	`GEO109-1.p`	`GEO110+1.p`	`GEO110-1.p`
`GEO111+1.p`	`GEO111-1.p`	`GEO112+1.p`	`GEO112-1.p`	`GEO113+1.p`	`GEO113-1.p`	`GEO114+1.p`
`GEO114-1.p`	`GEO115+1.p`	`GEO115-1.p`	`GEO116+1.p`	`GEO116-1.p`	`GEO117+1.p`	`GEO117-1.p`
`GEO118+1.p`	`GEO118-1.p`	`GEO119+1.p`	`GEO119-1.p`	`GEO120+1.p`	`GEO120-1.p`	`GEO121+1.p`
`GEO121-1.p`	`GEO122+1.p`	`GEO122-1.p`	`GEO123+1.p`	`GEO123-1.p`	`GEO124+1.p`	`GEO124-1.p`
`GEO125+1.p`	`GEO125-1.p`	`GEO126+1.p`	`GEO126-1.p`	`GEO127+1.p`	`GEO127-1.p`	`GEO128+1.p`
`GEO128-1.p`	`GEO129+1.p`	`GEO129-1.p`	`GEO130+1.p`	`GEO130-1.p`	`GEO131+1.p`	`GEO131-1.p`
`GEO132+1.p`	`GEO132-1.p`	`GEO133+1.p`	`GEO133-1.p`	`GEO134+1.p`	`GEO134-1.p`	`GEO135+1.p`
`GEO135-1.p`	`GEO136+1.p`	`GEO136-1.p`	`GEO137+1.p`	`GEO137-1.p`	`GEO138+1.p`	`GEO138-1.p`
`GEO139+1.p`	`GEO139-1.p`	`GEO140+1.p`	`GEO140-1.p`	`GEO141+1.p`	`GEO141-1.p`	`GEO142+1.p`
`GEO142-1.p`	`GEO143+1.p`	`GEO143-1.p`	`GEO144+1.p`	`GEO144-1.p`	`GEO145+1.p`	`GEO145-1.p`
`GEO146+1.p`	`GEO146-1.p`	`GEO147+1.p`	`GEO147-1.p`	`GEO148+1.p`	`GEO148-1.p`	`GEO149+1.p`
`GEO149-1.p`	`GEO150+1.p`	`GEO150-1.p`	`GEO151+1.p`	`GEO151-1.p`	`GEO152+1.p`	`GEO152-1.p`
`GEO153-1.p`	`GEO153-2.p`	`GEO154-1.p`	`GEO154-2.p`	`GEO155-1.p`	`GEO156-1.p`	`GEO157-1.p`
`GEO158+1.p`	`GEO158-1.p`	`GEO159+1.p`	`GEO159-1.p`	`GEO160+1.p`	`GEO160-1.p`	`GEO161+1.p`
`GEO161-1.p`	`GEO162-1.p`	`GEO163-1.p`	`GEO164+1.p`	`GEO165+1.p`	`GEO166+1.p`	`GEO167+1.p`
`GEO168+1.p`	`GEO169+1.p`	`GEO169+2.p`	`GEO170+1.p`	`GEO170+2.p`	`GEO170+3.p`	`GEO171+1.p`
`GEO171+2.p`	`GEO171+3.p`	`GEO172+1.p`	`GEO172+2.p`	`GEO172+3.p`	`GEO173+1.p`	`GEO173+2.p`
`GEO173+3.p`	`GEO174+1.p`	`GEO174+2.p`	`GEO174+3.p`	`GEO175+1.p`	`GEO175+2.p`	`GEO175+3.p`
`GEO176+1.p`	`GEO176+2.p`	`GEO176+3.p`	`GEO177+1.p`	`GEO177+2.p`	`GEO177+3.p`	`GEO178+1.p`
`GEO178+2.p`	`GEO178+3.p`	`GEO179+1.p`	`GEO179+2.p`	`GEO179+3.p`	`GEO180+1.p`	`GEO180+2.p`
`GEO180+3.p`	`GEO181+1.p`	`GEO181+2.p`	`GEO181+3.p`	`GEO182+1.p`	`GEO182+2.p`	`GEO182+3.p`
`GEO183+1.p`	`GEO183+2.p`	`GEO183+3.p`	`GEO184+1.p`	`GEO184+2.p`	`GEO184+3.p`	`GEO185+1.p`
`GEO185+2.p`	`GEO185+3.p`	`GEO186+1.p`	`GEO186+2.p`	`GEO186+3.p`	`GEO187+1.p`	`GEO187+2.p`
`GEO187+3.p`	`GEO188+1.p`	`GEO188+2.p`	`GEO188+3.p`	`GEO189+1.p`	`GEO189+2.p`	`GEO189+3.p`
`GEO190+1.p`	`GEO190+2.p`	`GEO190+3.p`	`GEO191+1.p`	`GEO191+2.p`	`GEO191+3.p`	`GEO192+1.p`
`GEO192+2.p`	`GEO192+3.p`	`GEO193+1.p`	`GEO193+2.p`	`GEO193+3.p`	`GEO194+1.p`	`GEO194+2.p`
`GEO194+3.p`	`GEO195+1.p`	`GEO195+2.p`	`GEO195+3.p`	`GEO196+1.p`	`GEO196+2.p`	`GEO196+3.p`
`GEO197+1.p`	`GEO197+2.p`	`GEO197+3.p`	`GEO198+1.p`	`GEO198+2.p`	`GEO198+3.p`	`GEO199+1.p`
`GEO199+2.p`	`GEO199+3.p`	`GEO200+1.p`	`GEO200+2.p`	`GEO200+3.p`	`GEO201+1.p`	`GEO201+2.p`
`GEO201+3.p`	`GEO202+1.p`	`GEO202+2.p`	`GEO202+3.p`	`GEO203+1.p`	`GEO203+2.p`	`GEO203+3.p`
`GEO204+1.p`	`GEO204+2.p`	`GEO204+3.p`	`GEO205+1.p`	`GEO205+2.p`	`GEO205+3.p`	`GEO206+1.p`
`GEO206+2.p`	`GEO206+3.p`	`GEO207+1.p`	`GEO207+2.p`	`GEO207+3.p`	`GEO208+1.p`	`GEO208+2.p`
`GEO208+3.p`	`GEO209+1.p`	`GEO209+2.p`	`GEO209+3.p`	`GEO210+1.p`	`GEO210+2.p`	`GEO210+3.p`
`GEO211+1.p`	`GEO211+2.p`	`GEO211+3.p`	`GEO212+1.p`	`GEO212+2.p`	`GEO212+3.p`	`GEO213+1.p`
`GEO213+2.p`	`GEO213+3.p`	`GEO214+1.p`	`GEO214+2.p`	`GEO214+3.p`	`GEO215+1.p`	`GEO215+2.p`
`GEO215+3.p`	`GEO216+1.p`	`GEO216+2.p`	`GEO216+3.p`	`GEO217+1.p`	`GEO217+2.p`	`GEO217+3.p`
`GEO218+1.p`	`GEO218+2.p`	`GEO218+3.p`	`GEO219+1.p`	`GEO219+2.p`	`GEO219+3.p`	`GEO220+1.p`
`GEO220+2.p`	`GEO220+3.p`	`GEO221+1.p`	`GEO221+2.p`	`GEO221+3.p`	`GEO222+1.p`	`GEO222+2.p`
`GEO222+3.p`	`GEO223+1.p`	`GEO223+2.p`	`GEO223+3.p`	`GEO224+1.p`	`GEO224+2.p`	`GEO224+3.p`
`GEO225+1.p`	`GEO225+2.p`	`GEO225+3.p`	`GEO226+1.p`	`GEO226+2.p`	`GEO226+3.p`	`GEO227+1.p`
`GEO227+3.p`	`GEO228+1.p`	`GEO228+3.p`	`GEO229+1.p`	`GEO229+3.p`	`GEO230+1.p`	`GEO230+3.p`
`GEO231+1.p`	`GEO231+3.p`	`GEO232+1.p`	`GEO232+3.p`	`GEO233+1.p`	`GEO233+3.p`	`GEO234+1.p`
`GEO234+3.p`	`GEO235+1.p`	`GEO235+3.p`	`GEO236+1.p`	`GEO236+3.p`	`GEO237+1.p`	`GEO237+3.p`
`GEO238+1.p`	`GEO238+3.p`	`GEO239+1.p`	`GEO239+3.p`	`GEO240+1.p`	`GEO240+3.p`	`GEO241+1.p`
`GEO241+3.p`	`GEO242+1.p`	`GEO242+3.p`	`GEO243+1.p`	`GEO243+3.p`	`GEO244+1.p`	`GEO244+3.p`
`GEO245+1.p`	`GEO245+3.p`	`GEO246+1.p`	`GEO246+3.p`	`GEO247+1.p`	`GEO247+3.p`	`GEO248+1.p`
`GEO248+3.p`	`GEO249+1.p`	`GEO249+3.p`	`GEO250+1.p`	`GEO250+3.p`	`GEO251+1.p`	`GEO251+3.p`
`GEO252+1.p`	`GEO252+3.p`	`GEO253+1.p`	`GEO253+3.p`	`GEO254+1.p`	`GEO254+3.p`	`GEO255+1.p`
`GEO255+3.p`	`GEO256+1.p`	`GEO256+3.p`	`GEO257+1.p`	`GEO257+3.p`	`GEO258+1.p`	`GEO258+3.p`
`GEO259+1.p`	`GEO259+3.p`	`GEO260+1.p`	`GEO260+3.p`	`GEO261+1.p`	`GEO261+3.p`	`GEO262+1.p`
`GEO262+3.p`	`GEO263+1.p`	`GEO263+3.p`	`GEO264+1.p`	`GEO264+3.p`	`GEO265+3.p`	`GEO266+3.p`
`GEO267+3.p`	`GEO268+3.p`	`GEO269+3.p`	`GEO270+1.p`	`GEO271+1.p`	`GEO272+1.p`	`GEO273+1.p`
`GEO274+1.p`	`GEO275+1.p`	`GEO276+1.p`	`GEO277+1.p`	`GEO278+1.p`	`GEO279+1.p`	`GEO280+1.p`
`GEO281+1.p`	`GEO282+1.p`	`GEO283+1.p`	`GEO284+1.p`	`GEO285+1.p`	`GEO286+1.p`	`GEO287+1.p`
`GEO288+1.p`	`GEO289+1.p`	`GEO290+1.p`	`GEO291+1.p`	`GEO292+1.p`	`GEO293+1.p`	`GEO294+1.p`
`GEO295+1.p`	`GEO296+1.p`	`GEO297+1.p`	`GEO298+1.p`	`GEO299+1.p`	`GEO300+1.p`	`GEO301+1.p`
`GEO302+1.p`	`GEO303+1.p`	`GEO304+1.p`	`GEO305+1.p`	`GEO306+1.p`	`GEO307+1.p`	`GEO308+1.p`
`GEO309+1.p`	`GEO310+1.p`	`GEO311+1.p`	`GEO312+1.p`	`GEO313+1.p`	`GEO314+1.p`	`GEO315+1.p`
`GEO316+1.p`	`GEO317+1.p`	`GEO318+1.p`	`GEO319+1.p`	`GEO320+1.p`	`GEO321+1.p`	`GEO322+1.p`
`GEO323+1.p`	`GEO324+1.p`	`GEO325+1.p`	`GEO326+1.p`	`GEO327+1.p`	`GEO328+1.p`	`GEO329+1.p`
`GEO330+1.p`	`GEO331+1.p`	`GEO332+1.p`	`GEO333+1.p`	`GEO334+1.p`	`GEO335+1.p`	`GEO336+1.p`
`GEO337+1.p`	`GEO338+1.p`	`GEO339+1.p`	`GEO340+1.p`	`GEO341+1.p`	`GEO342+1.p`	`GEO343+1.p`
`GEO344+1.p`	`GEO345+1.p`	`GEO346+1.p`	`GEO347+1.p`	`GEO348+1.p`	`GEO349+1.p`	`GEO350+1.p`
`GEO351+1.p`	`GEO352-1.p`	`GEO353+1.p`	`GEO354+1.p`	`GEO355+1.p`	`GEO356^1.p`	`GEO357^1.p`
`GEO358^1.p`	`GEO359^1.p`	`GEO360^1.p`	`GEO361^1.p`	`GEO362^1.p`	`GEO363^1.p`	`GEO364^1.p`
`GEO365^1.p`	`GEO366^1.p`	`GEO367^1.p`	`GEO368^1.p`	`GEO369^1.p`	`GEO370^1.p`	`GEO371^1.p`
`GEO372^1.p`	`GEO373^1.p`	`GEO374^1.p`	`GEO375^1.p`	`GEO376^1.p`	`GEO377^1.p`	`GEO378^1.p`
`GEO379^1.p`	`GEO380^1.p`	`GEO381^1.p`	`GEO382^1.p`	`GEO383^1.p`	`GEO384^1.p`	`GEO385^1.p`
`GEO386^1.p`	`GEO387^1.p`	`GEO388^1.p`	`GEO389^1.p`	`GEO390^1.p`	`GEO391^1.p`	`GEO392^1.p`
`GEO393^1.p`	`GEO394^1.p`	`GEO395^1.p`	`GEO396^1.p`	`GEO397^1.p`	`GEO398^1.p`	`GEO399^1.p`
`GEO400^1.p`	`GEO401^1.p`	`GEO402^1.p`	`GEO403^1.p`	`GEO404^1.p`	`GEO405^1.p`	`GEO406^1.p`
`GEO407^1.p`	`GEO408^1.p`	`GEO409^1.p`	`GEO410^1.p`	`GEO411^1.p`	`GEO412^1.p`	`GEO413^1.p`
`GEO414^1.p`	`GEO415^1.p`	`GEO416^1.p`	`GEO417^1.p`	`GEO418^1.p`	`GEO419^1.p`	`GEO420^1.p`
`GEO421^1.p`	`GEO422^1.p`	`GEO423^1.p`	`GEO424^1.p`	`GEO425^1.p`	`GEO426^1.p`	`GEO427^1.p`
`GEO428^1.p`	`GEO429^1.p`	`GEO430^1.p`	`GEO431^1.p`	`GEO432^1.p`	`GEO433^1.p`	`GEO434^1.p`
`GEO435^1.p`	`GEO436^1.p`	`GEO437^1.p`	`GEO438^1.p`	`GEO439^1.p`	`GEO440+1.p`	`GEO441+1.p`
`GEO442+1.p`	`GEO443+1.p`	`GEO444+1.p`	`GEO445+1.p`	`GEO446+1.p`	`GEO447+1.p`	`GEO448+1.p`
`GEO449+1.p`	`GEO450+1.p`	`GEO451+1.p`	`GEO452+1.p`	`GEO453+1.p`	`GEO454+1.p`	`GEO455+1.p`
`GEO456+1.p`	`GEO457+1.p`	`GEO458+1.p`	`GEO459+1.p`	`GEO460+1.p`	`GEO461+1.p`	`GEO462+1.p`
`GEO463+1.p`	`GEO464+1.p`	`GEO465+1.p`	`GEO466+1.p`	`GEO467+1.p`	`GEO468+1.p`	`GEO469+1.p`
`GEO470+1.p`	`GEO471+1.p`	`GEO472+1.p`	`GEO473+1.p`	`GEO474+1.p`	`GEO475+1.p`	`GEO476+1.p`
`GEO477+1.p`	`GEO478+1.p`	`GEO479+1.p`	`GEO480+1.p`	`GEO481+1.p`	`GEO482+1.p`	`GEO483+1.p`
`GEO484+1.p`	`GEO485+1.p`	`GEO486+1.p`	`GEO487+1.p`	`GEO488+1.p`	`GEO489+1.p`	`GEO490+1.p`
`GEO491+1.p`	`GEO492+1.p`	`GEO493+1.p`	`GEO494+1.p`	`GEO495+1.p`	`GEO496+1.p`	`GEO497+1.p`
`GEO498+1.p`	`GEO499+1.p`	`GEO500+1.p`	`GEO501+1.p`	`GEO502+1.p`	`GEO503+1.p`	`GEO504+1.p`
`GEO505+1.p`	`GEO506+1.p`	`GEO507+1.p`	`GEO508+1.p`	`GEO509+1.p`	`GEO510+1.p`	`GEO511+1.p`
`GEO512+1.p`	`GEO513+1.p`	`GEO514+1.p`	`GEO515+1.p`	`GEO516+1.p`	`GEO517+1.p`	`GEO518+1.p`
`GEO519+1.p`	`GEO520+1.p`	`GEO521+1.p`	`GEO522+1.p`	`GEO523+1.p`	`GEO524+1.p`	`GEO525+1.p`
`GEO526+1.p`	`GEO527+1.p`	`GEO528+1.p`	`GEO529+1.p`	`GEO530+1.p`	`GEO531+1.p`	`GEO532+1.p`
`GEO533+1.p`	`GEO534+1.p`	`GEO535+1.p`	`GEO536+1.p`	`GEO537+1.p`	`GEO538+1.p`	`GEO539+1.p`
`GEO540+1.p`	`GEO541+1.p`	`GEO542+1.p`	`GEO543+1.p`	`GEO544+1.p`	`GEO545+1.p`	`GEO546+1.p`
`GEO547+1.p`	`GEO548+1.p`	`GEO549+1.p`	`GEO550+1.p`	`GEO551+1.p`	`GEO552+1.p`	`GEO553+1.p`
`GEO554+1.p`	`GEO555+1.p`	`GEO556+1.p`	`GEO557+1.p`	`GEO558+1.p`	`GEO559+1.p`	`GEO560+1.p`
`GEO561+1.p`	`GEO562+1.p`	`GEO563+1.p`	`GEO564+1.p`	`GEO565+1.p`	`GEO566+1.p`	`GEO567+1.p`
`GEO568+1.p`	`GEO569+1.p`	`GEO570+1.p`	`GEO571+1.p`	`GEO572+1.p`	`GEO573+1.p`	`GEO574+1.p`
`GEO575+1.p`	`GEO576+1.p`	`GEO577+1.p`	`GEO578+1.p`	`GEO579+1.p`	`GEO580+1.p`	`GEO581+1.p`
`GEO582+1.p`	`GEO583+1.p`	`GEO584+1.p`	`GEO585+1.p`	`GEO586+1.p`	`GEO587+1.p`	`GEO588+1.p`
`GEO589+1.p`	`GEO590+1.p`	`GEO591+1.p`	`GEO592+1.p`	`GEO593+1.p`	`GEO594+1.p`	`GEO595+1.p`
`GEO596+1.p`	`GEO597+1.p`	`GEO598+1.p`	`GEO599+1.p`	`GEO600+1.p`	`GEO601+1.p`	`GEO602+1.p`
`GEO603+1.p`	`GEO604+1.p`	`GEO605+1.p`	`GEO606+1.p`	`GEO607+1.p`	`GEO608+1.p`	`GEO609+1.p`
`GEO610+1.p`	`GEO611+1.p`	`GEO612+1.p`	`GEO613+1.p`	`GEO614+1.p`	`GEO615+1.p`	`GEO616+1.p`
`GEO617+1.p`	`GEO618+1.p`	`GEO619+1.p`	`GEO620+1.p`	`GEO621+1.p`	`GEO622+1.p`	`GEO623+1.p`
`GEO624+1.p`	`GEO625+1.p`	`GEO626+1.p`	`GEO627+1.p`	`GEO628+1.p`	`GEO629+1.p`	`GEO630+1.p`
`GEO631+1.p`	`GEO632+1.p`	`GEO633+1.p`	`GEO634+1.p`	`GEO635+1.p`	`GEO636+1.p`	`GEO637+1.p`
`GEO638+1.p`	`GEO639+1.p`	`GEO640+1.p`	`GEO641+1.p`	`GEO642+1.p`	`GEO643+1.p`	`GEO644+1.p`
`GEO645+1.p`	`GEO646+1.p`	`GEO647+1.p`	`GEO648+1.p`	`GEO649+1.p`	`GEO650+1.p`	`GEO651+1.p`
`GEO652+1.p`	`GEO653+1.p`	`GEO654+1.p`	`GEO655+1.p`	`GEO656+1.p`	`GEO657+1.p`	`GEO658+1.p`
`GEO659+1.p`	`GEO660+1.p`