Very Similar Problems
ALCCNF
SYN418-1 SYN419-1 SYN420-1 SYN421-1 SYN422-1 SYN423-1 SYN424-1
SYN425-1 SYN426-1 SYN427-1 SYN428-1 SYN429-1 SYN430-1 SYN431-1
SYN432-1 SYN433-1 SYN434-1 SYN435-1 SYN436-1 SYN437-1 SYN438-1
SYN439-1 SYN440-1 SYN441-1 SYN442-1 SYN443-1 SYN444-1 SYN445-1
SYN446-1 SYN447-1 SYN448-1 SYN449-1 SYN450-1 SYN451-1 SYN452-1
SYN453-1 SYN454-1 SYN455-1 SYN456-1 SYN457-1 SYN458-1 SYN459-1
SYN460-1 SYN461-1 SYN462-1 SYN463-1 SYN464-1 SYN465-1 SYN466-1
SYN467-1 SYN468-1 SYN469-1 SYN470-1 SYN471-1 SYN472-1 SYN473-1
SYN474-1 SYN475-1 SYN476-1 SYN477-1 SYN478-1 SYN479-1 SYN480-1
SYN481-1 SYN482-1 SYN483-1 SYN484-1 SYN485-1 SYN486-1 SYN487-1
SYN488-1 SYN489-1 SYN490-1 SYN491-1 SYN492-1 SYN493-1 SYN494-1
SYN495-1 SYN496-1 SYN497-1 SYN498-1 SYN499-1 SYN500-1 SYN501-1
SYN502-1 SYN503-1 SYN504-1 SYN505-1 SYN506-1 SYN507-1 SYN508-1
SYN509-1 SYN510-1 SYN511-1 SYN512-1 SYN513-1 SYN514-1 SYN515-1
SYN516-1 SYN517-1 SYN518-1 SYN519-1 SYN520-1 SYN521-1 SYN522-1
SYN523-1 SYN524-1 SYN525-1 SYN526-1 SYN527-1 SYN528-1 SYN529-1
SYN530-1 SYN531-1 SYN532-1 SYN533-1 SYN534-1 SYN535-1 SYN536-1
SYN537-1 SYN538-1 SYN539-1 SYN540-1 SYN541-1 SYN542-1 SYN543-1
SYN544-1 SYN545-1 SYN546-1 SYN547-1
ALCFOF
SYN418+1 SYN419+1 SYN420+1 SYN421+1 SYN422+1 SYN423+1 SYN424+1
SYN425+1 SYN426+1 SYN427+1 SYN428+1 SYN429+1 SYN430+1 SYN431+1
SYN432+1 SYN433+1 SYN434+1 SYN435+1 SYN436+1 SYN437+1 SYN438+1
SYN439+1 SYN440+1 SYN441+1 SYN442+1 SYN443+1 SYN444+1 SYN445+1
SYN446+1 SYN447+1 SYN448+1 SYN449+1 SYN450+1 SYN451+1 SYN452+1
SYN453+1 SYN454+1 SYN455+1 SYN456+1 SYN457+1 SYN458+1 SYN459+1
SYN460+1 SYN461+1 SYN462+1 SYN463+1 SYN464+1 SYN465+1 SYN466+1
SYN467+1 SYN468+1 SYN469+1 SYN470+1 SYN471+1 SYN472+1 SYN473+1
SYN474+1 SYN475+1 SYN476+1 SYN477+1 SYN478+1 SYN479+1 SYN480+1
SYN481+1 SYN482+1 SYN483+1 SYN484+1 SYN485+1 SYN486+1 SYN487+1
SYN488+1 SYN489+1 SYN490+1 SYN491+1 SYN492+1 SYN493+1 SYN494+1
SYN495+1 SYN496+1 SYN497+1 SYN498+1 SYN499+1 SYN500+1 SYN501+1
SYN502+1 SYN503+1 SYN504+1 SYN505+1 SYN506+1 SYN507+1 SYN508+1
SYN509+1 SYN510+1 SYN511+1 SYN512+1 SYN513+1 SYN514+1 SYN515+1
SYN516+1 SYN517+1 SYN518+1 SYN519+1 SYN520+1 SYN521+1 SYN522+1
SYN523+1 SYN524+1 SYN525+1 SYN526+1 SYN527+1 SYN528+1 SYN529+1
SYN530+1 SYN531+1 SYN532+1 SYN533+1 SYN534+1 SYN535+1 SYN536+1
SYN537+1 SYN538+1 SYN539+1 SYN540+1 SYN541+1 SYN542+1 SYN543+1
SYN544+1 SYN545+1 SYN546+1 SYN547+1
BlocksWorld
PLA004-1 PLA004-2 PLA005-1 PLA005-2 PLA006-1 PLA007-1 PLA008-1
PLA009-1 PLA009-2 PLA010-1 PLA011-1 PLA011-2 PLA012-1 PLA013-1
PLA014-1 PLA014-2 PLA015-1 PLA016-1 PLA017-1 PLA018-1 PLA019-1
PLA020-1 PLA021-1 PLA022-1 PLA022-2 PLA023-1
Church
SYN315+1 SYN315-1 SYN316+1 SYN316-1 SYN317+1 SYN317-1 SYN318+1
SYN318-1 SYN319+1 SYN319-1 SYN320+1 SYN320-1 SYN321+1 SYN321-1
SYN322+1 SYN322-1 SYN323+1 SYN323-1 SYN324+1 SYN324-1 SYN325+1
SYN325-1 SYN326+1 SYN326-1 SYN327+1 SYN327-1 SYN328+1 SYN328-1
SYN329+1 SYN329-1 SYN330+1 SYN330-1 SYN331+1 SYN331-1 SYN332+1
SYN332-1 SYN333+1 SYN333-1 SYN334+1 SYN334-1 SYN335+1 SYN335-1
SYN336+1 SYN336-1 SYN337+1 SYN337-1 SYN338+1 SYN338-1 SYN339+1
SYN339-1 SYN340+1 SYN340-1 SYN341+1 SYN341-1 SYN342+1 SYN342-1
SYN343+1 SYN343-1 SYN344+1 SYN344-1 SYN345+1 SYN345-1 SYN346+1
SYN346-1 SYN347+1 SYN347-1 SYN348+1 SYN348-1 SYN349+1 SYN349-1
SYN350+1 SYN350-1 SYN351+1 SYN351-1 SYN352+1 SYN352-1 SYN353+1
SYN353-1 SYN354+1 SYN354-1
CondensedDetachment
LCL001-1 LCL002-1 LCL003-1 LCL004-1 LCL005-1 LCL006-1 LCL007-1
LCL008-1 LCL009-1 LCL010-1 LCL011-1 LCL012-1 LCL013-1 LCL014-1
LCL015-1 LCL016-1 LCL017-1 LCL018-1 LCL019-1 LCL020-1 LCL021-1
LCL022-1 LCL023-1 LCL024-1 LCL025-1 LCL026-1 LCL027-1 LCL028-1
LCL029-1 LCL030-1 LCL031-1 LCL032-1 LCL033-1 LCL034-1 LCL035-1
LCL036-1 LCL037-1 LCL038-1 LCL039-1 LCL040-1 LCL041-1 LCL042-1
LCL043-1 LCL044-1 LCL045-1 LCL046-1 LCL047-1 LCL048-1 LCL049-1
LCL050-1 LCL051-1 LCL052-1 LCL053-1 LCL054-1 LCL055-1 LCL056-1
LCL057-1 LCL058-1 LCL059-1 LCL060-1 LCL061-1 LCL062-1 LCL063-1
LCL064-1 LCL064-2 LCL065-1 LCL066-1 LCL067-1 LCL068-1 LCL069-1
LCL070-1 LCL071-1 LCL072-1 LCL073-1 LCL074-1 LCL075-1 LCL076-1
LCL076-2 LCL076-3 LCL077-1 LCL077-2 LCL078-1 LCL079-1 LCL080-1
LCL080-2 LCL081-1 LCL082-1 LCL083-1 LCL083-2 LCL084-1 LCL084-2
LCL084-3 LCL085-1 LCL086-1 LCL087-1 LCL088-1 LCL089-1 LCL090-1
LCL091-1 LCL092-1 LCL093-1 LCL094-1 LCL095-1 LCL096-1 LCL097-1
LCL098-1 LCL099-1 LCL100-1 LCL101-1 LCL102-1 LCL103-1 LCL104-1
LCL105-1 LCL106-1 LCL107-1 LCL108-1 LCL109-1 LCL110-1 LCL111-1
LCL112-1 LCL113-1 LCL114-1 LCL115-1 LCL116-1 LCL117-1 LCL118-1
LCL119-1 LCL120-1 LCL121-1 LCL122-1 LCL123-1 LCL124-1 LCL125-1
LCL126-1 LCL127-1 LCL128-1 LCL129-1 LCL130-1 LCL131-1 LCL166-1
LCL167-1 LCL168-1 LCL256-1 LCL257-1 LCL355-1 LCL356-1 LCL357-1
LCL358-1 LCL359-1 LCL360-1 LCL361-1 LCL362-1 LCL363-1 LCL364-1
LCL365-1 LCL366-1 LCL367-1 LCL368-1 LCL369-1 LCL370-1 LCL371-1
LCL372-1 LCL373-1 LCL374-1 LCL375-1 LCL376-1 LCL377-1 LCL378-1
LCL379-1 LCL380-1 LCL381-1 LCL382-1 LCL383-1 LCL384-1 LCL385-1
LCL386-1 LCL387-1 LCL388-1 LCL389-1 LCL390-1 LCL391-1 LCL392-1
LCL393-1 LCL394-1 LCL395-1 LCL396-1 LCL397-1 LCL398-1 LCL399-1
LCL400-1 LCL401-1 LCL402-1 LCL403-1 LCL404-1 LCL405-1
DorisCNF
NLP001-1 NLP002-1 NLP003-1 NLP004-1 NLP005-1 NLP006-1 NLP007-1
NLP008-1 NLP009-1 NLP010-1 NLP011-1 NLP012-1 NLP013-1 NLP014-1
NLP015-1 NLP016-1 NLP017-1 NLP018-1 NLP019-1 NLP020-1 NLP021-1
NLP022-1 NLP023-1 NLP024-1 NLP025-1 NLP026-1 NLP027-1 NLP028-1
NLP029-1 NLP030-1 NLP031-1 NLP032-1 NLP033-1 NLP034-1 NLP035-1
NLP036-1 NLP037-1 NLP038-1 NLP039-1 NLP040-1 NLP041-1 NLP042-1
NLP043-1 NLP044-1 NLP045-1 NLP046-1 NLP047-1 NLP048-1 NLP049-1
NLP050-1 NLP051-1 NLP052-1 NLP053-1 NLP054-1 NLP055-1 NLP056-1
NLP057-1 NLP058-1 NLP059-1 NLP060-1 NLP061-1 NLP062-1 NLP063-1
NLP064-1 NLP065-1 NLP066-1 NLP067-1 NLP068-1 NLP069-1 NLP070-1
NLP071-1 NLP072-1 NLP073-1 NLP074-1 NLP075-1 NLP076-1 NLP077-1
NLP078-1 NLP079-1 NLP080-1 NLP081-1 NLP082-1 NLP083-1 NLP084-1
NLP085-1 NLP086-1 NLP087-1 NLP088-1 NLP089-1 NLP090-1 NLP091-1
NLP092-1 NLP093-1 NLP094-1 NLP095-1 NLP096-1 NLP097-1 NLP098-1
NLP099-1 NLP100-1 NLP101-1 NLP102-1 NLP103-1 NLP104-1 NLP105-1
NLP106-1 NLP107-1 NLP108-1 NLP109-1 NLP110-1 NLP111-1 NLP112-1
NLP113-1 NLP114-1 NLP115-1 NLP116-1 NLP117-1 NLP118-1 NLP119-1
NLP120-1 NLP121-1 NLP122-1 NLP123-1 NLP124-1 NLP125-1 NLP126-1
NLP127-1 NLP128-1 NLP129-1 NLP130-1 NLP131-1 NLP132-1 NLP133-1
NLP134-1 NLP135-1 NLP136-1 NLP137-1 NLP138-1 NLP139-1 NLP140-1
NLP141-1 NLP142-1 NLP143-1 NLP144-1 NLP145-1 NLP146-1 NLP147-1
NLP148-1 NLP149-1 NLP150-1 NLP151-1 NLP152-1 NLP153-1 NLP154-1
NLP155-1 NLP156-1 NLP157-1 NLP158-1 NLP159-1 NLP160-1 NLP161-1
NLP162-1 NLP163-1 NLP164-1 NLP165-1 NLP166-1 NLP167-1 NLP168-1
NLP169-1 NLP170-1 NLP171-1 NLP172-1 NLP173-1 NLP174-1 NLP175-1
NLP176-1 NLP177-1 NLP178-1 NLP179-1 NLP180-1 NLP181-1 NLP182-1
NLP183-1 NLP184-1 NLP185-1 NLP186-1 NLP187-1 NLP188-1 NLP189-1
NLP190-1 NLP191-1 NLP192-1 NLP193-1 NLP194-1 NLP195-1 NLP196-1
NLP197-1 NLP198-1 NLP199-1 NLP200-1 NLP201-1 NLP202-1 NLP203-1
NLP204-1 NLP205-1 NLP206-1 NLP207-1 NLP208-1 NLP209-1 NLP210-1
NLP211-1 NLP212-1 NLP213-1 NLP214-1 NLP215-1 NLP216-1 NLP217-1
NLP218-1 NLP219-1 NLP220-1 NLP221-1 NLP222-1 NLP223-1 NLP224-1
NLP225-1 NLP226-1 NLP227-1 NLP228-1 NLP229-1 NLP230-1 NLP231-1
NLP232-1 NLP233-1 NLP234-1 NLP235-1 NLP236-1 NLP237-1 NLP238-1
NLP239-1 NLP240-1 NLP241-1 NLP242-1 NLP243-1 NLP244-1 NLP245-1
NLP246-1 NLP247-1 NLP248-1 NLP249-1 NLP250-1 NLP251-1 NLP252-1
NLP253-1 NLP254-1 NLP255-1 NLP256-1 NLP257-1 NLP258-1 NLP259-1
DorisFOF
NLP001+1 NLP002+1 NLP003+1 NLP004+1 NLP005+1 NLP006+1 NLP007+1
NLP008+1 NLP009+1 NLP010+1 NLP011+1 NLP012+1 NLP013+1 NLP014+1
NLP015+1 NLP016+1 NLP017+1 NLP018+1 NLP019+1 NLP020+1 NLP021+1
NLP022+1 NLP023+1 NLP024+1 NLP025+1 NLP026+1 NLP027+1 NLP028+1
NLP029+1 NLP030+1 NLP031+1 NLP032+1 NLP033+1 NLP034+1 NLP035+1
NLP036+1 NLP037+1 NLP038+1 NLP039+1 NLP040+1 NLP041+1 NLP042+1
NLP043+1 NLP044+1 NLP045+1 NLP046+1 NLP047+1 NLP048+1 NLP049+1
NLP050+1 NLP051+1 NLP052+1 NLP053+1 NLP054+1 NLP055+1 NLP056+1
NLP057+1 NLP058+1 NLP059+1 NLP060+1 NLP061+1 NLP062+1 NLP063+1
NLP064+1 NLP065+1 NLP066+1 NLP067+1 NLP068+1 NLP069+1 NLP070+1
NLP071+1 NLP072+1 NLP073+1 NLP074+1 NLP075+1 NLP076+1 NLP077+1
NLP078+1 NLP079+1 NLP080+1 NLP081+1 NLP082+1 NLP083+1 NLP084+1
NLP085+1 NLP086+1 NLP087+1 NLP088+1 NLP089+1 NLP090+1 NLP091+1
NLP092+1 NLP093+1 NLP094+1 NLP095+1 NLP096+1 NLP097+1 NLP098+1
NLP099+1 NLP100+1 NLP101+1 NLP102+1 NLP103+1 NLP104+1 NLP105+1
NLP106+1 NLP107+1 NLP108+1 NLP109+1 NLP110+1 NLP111+1 NLP112+1
NLP113+1 NLP114+1 NLP115+1 NLP116+1 NLP117+1 NLP118+1 NLP119+1
NLP120+1 NLP121+1 NLP122+1 NLP123+1 NLP124+1 NLP125+1 NLP126+1
NLP127+1 NLP128+1 NLP129+1 NLP130+1 NLP131+1 NLP132+1 NLP133+1
NLP134+1 NLP135+1 NLP136+1 NLP137+1 NLP138+1 NLP139+1 NLP140+1
NLP141+1 NLP142+1 NLP143+1 NLP144+1 NLP145+1 NLP146+1 NLP147+1
NLP148+1 NLP149+1 NLP150+1 NLP151+1 NLP152+1 NLP153+1 NLP154+1
NLP155+1 NLP156+1 NLP157+1 NLP158+1 NLP159+1 NLP160+1 NLP161+1
NLP162+1 NLP163+1 NLP164+1 NLP165+1 NLP166+1 NLP167+1 NLP168+1
NLP169+1 NLP170+1 NLP171+1 NLP172+1 NLP173+1 NLP174+1 NLP175+1
NLP176+1 NLP177+1 NLP178+1 NLP179+1 NLP180+1 NLP181+1 NLP182+1
NLP183+1 NLP184+1 NLP185+1 NLP186+1 NLP187+1 NLP188+1 NLP189+1
NLP190+1 NLP191+1 NLP192+1 NLP193+1 NLP194+1 NLP195+1 NLP196+1
NLP197+1 NLP198+1 NLP199+1 NLP200+1 NLP201+1 NLP202+1 NLP203+1
NLP204+1 NLP205+1 NLP206+1 NLP207+1 NLP208+1 NLP209+1 NLP210+1
NLP211+1 NLP212+1 NLP213+1 NLP214+1 NLP215+1 NLP216+1 NLP217+1
NLP218+1 NLP219+1 NLP220+1 NLP221+1 NLP222+1 NLP223+1 NLP224+1
NLP225+1 NLP226+1 NLP227+1 NLP228+1 NLP229+1 NLP230+1 NLP231+1
NLP232+1 NLP233+1 NLP234+1 NLP235+1 NLP236+1 NLP237+1 NLP238+1
NLP239+1 NLP240+1 NLP241+1 NLP242+1 NLP243+1 NLP244+1 NLP245+1
NLP246+1 NLP247+1 NLP248+1 NLP249+1 NLP250+1 NLP251+1 NLP252+1
NLP253+1 NLP254+1 NLP255+1 NLP256+1 NLP257+1 NLP258+1 NLP259+1
DraegerFLD
FLD001-3 FLD002-3 FLD003-1 FLD004-1 FLD005-1 FLD005-3 FLD006-1
FLD006-3 FLD007-1 FLD007-3 FLD008-1 FLD008-2 FLD008-3 FLD008-4
FLD009-1 FLD009-3 FLD010-1 FLD010-3 FLD010-5 FLD011-1 FLD011-3
FLD012-1 FLD012-2 FLD012-3 FLD012-4 FLD013-1 FLD013-2 FLD013-3
FLD013-4 FLD013-5 FLD014-1 FLD014-3 FLD015-1 FLD015-3 FLD016-1
FLD016-3 FLD016-5 FLD017-1 FLD017-3 FLD018-1 FLD018-3 FLD019-1
FLD019-3 FLD020-1 FLD020-3 FLD021-1 FLD021-3 FLD022-1 FLD022-3
FLD023-1 FLD023-3 FLD024-1 FLD024-3 FLD025-1 FLD025-2 FLD025-3
FLD025-4 FLD025-5 FLD026-1 FLD026-3 FLD027-1 FLD027-3 FLD028-1
FLD028-3 FLD029-1 FLD029-3 FLD030-1 FLD030-2 FLD030-3 FLD030-4
FLD031-1 FLD031-3 FLD031-5 FLD032-1 FLD032-3 FLD033-1 FLD033-3
FLD034-1 FLD034-3 FLD035-1 FLD035-3 FLD036-1 FLD036-3 FLD037-1
FLD037-3 FLD038-1 FLD038-3 FLD039-1 FLD039-3 FLD040-1 FLD040-3
FLD040-5 FLD041-1 FLD041-2 FLD041-3 FLD041-4 FLD042-1 FLD042-3
FLD043-1 FLD043-3 FLD043-5 FLD044-1 FLD044-2 FLD044-3 FLD044-4
FLD045-1 FLD045-2 FLD045-3 FLD045-4 FLD046-1 FLD046-3 FLD047-1
FLD047-2 FLD047-3 FLD047-4 FLD048-1 FLD048-2 FLD048-3 FLD048-4
FLD049-1 FLD049-2 FLD049-3 FLD049-4 FLD050-1 FLD050-2 FLD050-3
FLD050-4 FLD051-1 FLD051-2 FLD051-3 FLD051-4 FLD052-1 FLD052-2
FLD052-3 FLD052-4 FLD053-1 FLD053-2 FLD053-3 FLD053-4 FLD054-1
FLD054-2 FLD054-3 FLD054-4 FLD055-1 FLD055-3 FLD056-1 FLD056-3
FLD057-1 FLD057-3 FLD058-1 FLD058-3 FLD059-1 FLD059-2 FLD059-3
FLD059-4 FLD060-1 FLD060-2 FLD060-3 FLD060-4 FLD061-1 FLD061-2
FLD061-3 FLD061-4 FLD062-1 FLD062-3 FLD063-1 FLD063-3 FLD064-1
FLD064-3 FLD065-1 FLD065-3 FLD066-1 FLD066-3 FLD067-1 FLD067-2
FLD067-3 FLD067-4 FLD068-1 FLD068-2 FLD068-3 FLD068-4 FLD069-1
FLD069-3 FLD070-1 FLD070-2 FLD070-3 FLD070-4 FLD071-1 FLD071-2
FLD071-3 FLD071-4 FLD072-1 FLD072-2 FLD072-3 FLD072-4 FLD073-1
FLD073-2 FLD073-3 FLD073-4 FLD074-1 FLD074-2 FLD074-3 FLD074-4
FLD075-1 FLD075-2 FLD075-3 FLD075-4 FLD076-1 FLD076-2 FLD076-3
FLD076-4 FLD077-1 FLD077-2 FLD077-3 FLD077-4 FLD078-1 FLD078-2
FLD078-3 FLD078-4 FLD079-1 FLD079-2 FLD079-3 FLD079-4 FLD080-1
FLD080-2 FLD080-3 FLD080-4 FLD081-1 FLD081-2 FLD081-3 FLD081-4
FLD082-1 FLD082-3 FLD083-1 FLD083-3 FLD084-1 FLD084-3 FLD085-1
FLD085-3 FLD086-1 FLD086-3 FLD087-1 FLD087-3 FLD088-1 FLD088-3
FLD089-1 FLD089-3 FLD090-1 FLD090-3 FLD091-1 FLD091-3 FLD092-1
FLD092-3 FLD093-1 FLD093-3 FLD094-1 FLD094-3 FLD095-1 FLD095-2
FLD095-3 FLD095-4 FLD096-1 FLD096-2 FLD096-3 FLD096-4 FLD097-1
FLD097-2 FLD097-3 FLD097-4 FLD098-1 FLD098-2 FLD098-3 FLD098-4
FLD099-1 FLD099-2 FLD099-3 FLD099-4 FLD100-1 FLD100-2 FLD100-3
FLD100-4
KalishMontague
SYN394+1 SYN395+1 SYN396+1 SYN397+1 SYN398+1 SYN399+1 SYN400+1
SYN401+1 SYN402+1 SYN403+1 SYN404+1 SYN405+1 SYN406+1 SYN407+1
SYN408+1 SYN409+1 SYN410+1 SYN411+1 SYN412+1 SYN413+1 SYN414+1
SYN415+1
KulikGeometry
GEO080-1 GEO081-1 GEO082-1 GEO083-1 GEO084-1 GEO085-1 GEO086-1
GEO087-1 GEO088-1 GEO089-1 GEO090-1 GEO091-1 GEO092-1 GEO093-1
GEO094-1 GEO095-1 GEO096-1 GEO097-1 GEO098-1 GEO099-1 GEO100-1
GEO101-1 GEO102-1 GEO103-1 GEO104-1 GEO105-1 GEO106-1 GEO107-1
GEO108-1 GEO109-1 GEO110-1 GEO111-1 GEO112-1 GEO113-1 GEO114-1
GEO115-1 GEO116-1 GEO117-1 GEO118-1 GEO119-1 GEO120-1 GEO121-1
GEO122-1 GEO123-1 GEO124-1 GEO125-1 GEO126-1 GEO127-1 GEO128-1
GEO129-1 GEO130-1 GEO131-1 GEO132-1 GEO133-1 GEO134-1 GEO135-1
GEO136-1 GEO137-1 GEO138-1 GEO139-1 GEO140-1 GEO141-1 GEO142-1
GEO143-1 GEO144-1 GEO145-1 GEO146-1 GEO147-1 GEO148-1 GEO149-1
GEO150-1 GEO151-1 GEO152-1
MGTCNF
MGT001-1 MGT002-1 MGT003-1 MGT004-1 MGT005-1 MGT005-2 MGT006-1
MGT007-1 MGT008-1 MGT009-1 MGT010-1 MGT011-1 MGT012-1 MGT013-1
MGT014-1 MGT015-1 MGT016-1 MGT017-1 MGT018-1 MGT019-2 MGT020-1
MGT021-1 MGT022-1 MGT022-2 MGT023-1 MGT023-2 MGT024-1 MGT025-1
MGT026-1 MGT027-1 MGT028-1 MGT029-1 MGT030-1 MGT031-1 MGT032-2
MGT033-1 MGT033-2 MGT034-1 MGT034-2 MGT035-1 MGT035-2 MGT036-1
MGT036-2 MGT036-3 MGT037-1 MGT037-2 MGT038-1 MGT038-2 MGT039-1
MGT039-2 MGT040-1 MGT040-2 MGT041-2 MGT042-1 MGT043-1 MGT044-1
MGT045-1 MGT046-1 MGT047-1 MGT048-1 MGT049-1 MGT050-1 MGT051-1
MGT052-1 MGT053-1 MGT054-1 MGT055-1 MGT056-1 MGT057-1 MGT058-1
MGT059-1 MGT060-1 MGT061-1 MGT062-1 MGT063-1 MGT064-1 MGT065-1
MGTFOF
MGT001+1 MGT002+1 MGT003+1 MGT004+1 MGT005+1 MGT005+2 MGT006+1
MGT007+1 MGT008+1 MGT009+1 MGT010+1 MGT011+1 MGT012+1 MGT013+1
MGT014+1 MGT015+1 MGT016+1 MGT017+1 MGT018+1 MGT019+2 MGT020+1
MGT021+1 MGT022+1 MGT022+2 MGT023+1 MGT023+2 MGT024+1 MGT025+1
MGT026+1 MGT027+1 MGT028+1 MGT029+1 MGT030+1 MGT031+1 MGT032+2
MGT033+1 MGT033+2 MGT034+1 MGT034+2 MGT035+1 MGT035+2 MGT036+1
MGT036+2 MGT036+3 MGT037+1 MGT037+2 MGT038+1 MGT038+2 MGT039+1
MGT039+2 MGT040+1 MGT040+2 MGT041+2 MGT042+1 MGT043+1 MGT044+1
MGT045+1 MGT046+1 MGT047+1 MGT048+1 MGT049+1 MGT050+1 MGT051+1
MGT052+1 MGT053+1 MGT054+1 MGT055+1 MGT056+1 MGT057+1 MGT058+1
MGT059+1 MGT060+1 MGT061+1 MGT062+1 MGT063+1 MGT064+1 MGT065+1
PastreSet
SET002+4 SET012+4 SET013+4 SET014+4 SET015+4 SET016+4 SET018+4
SET019+4 SET027+4 SET062+4 SET063+4 SET095+4 SET143+4 SET148+4
SET155+4 SET156+4 SET159+4 SET162+4 SET169+4 SET171+4 SET199+4
SET347+4 SET351+4 SET352+4 SET355+4 SET358+4 SET366+4 SET372+4
SET595+4 SET602+4 SET603+4 SET687+4 SET688+4 SET689+4 SET690+4
SET691+4 SET692+4 SET693+4 SET694+4 SET695+4 SET696+4 SET697+4
SET698+4 SET699+4 SET700+4 SET701+4 SET702+4 SET703+4 SET704+4
SET705+4 SET706+4 SET707+4 SET708+4 SET709+4 SET710+4 SET711+4
SET712+4 SET713+4 SET714+4 SET715+4 SET716+4 SET717+4 SET718+4
SET719+4 SET720+4 SET721+4 SET722+4 SET723+4 SET724+4 SET725+4
SET726+4 SET727+4 SET728+4 SET729+4 SET730+4 SET731+4 SET732+4
SET733+4 SET734+4 SET735+4 SET736+4 SET737+4 SET738+4 SET739+4
SET740+4 SET741+4 SET742+4 SET743+4 SET744+4 SET745+4 SET746+4
SET747+4 SET748+4 SET749+4 SET750+4 SET751+4 SET752+4 SET753+4
SET754+4 SET755+4 SET756+4 SET757+4 SET758+4 SET759+4 SET760+4
SET761+4 SET762+4 SET763+4 SET764+4 SET765+4 SET766+4 SET767+4
SET768+4 SET769+4 SET770+4 SET771+4 SET772+4 SET773+4 SET774+4
SET775+4 SET776+4
PeterAndrews
SYN355+1 SYN356+1 SYN357+1 SYN358+1 SYN359+1 SYN360+1 SYN361+1
SYN362+1 SYN363+1 SYN364+1 SYN365+1 SYN366+1 SYN367+1 SYN368+1
SYN369+1 SYN370+1 SYN371+1 SYN372+1 SYN373+1 SYN374+1 SYN375+1
SYN376+1 SYN377+1 SYN378+1 SYN379+1 SYN380+1 SYN381+1 SYN382+1
SYN383+1 SYN384+1 SYN385+1 SYN386+1
PrincipiaMathematica
LCL169-1 LCL169-3 LCL170-1 LCL170-3 LCL171-1 LCL171-3 LCL172-1
LCL172-3 LCL173-1 LCL173-3 LCL174-1 LCL174-3 LCL175-1 LCL175-3
LCL176-1 LCL176-3 LCL177-1 LCL178-1 LCL178-3 LCL179-1 LCL180-1
LCL180-3 LCL181+1 LCL181-1 LCL181-2 LCL181-3 LCL182-1 LCL182-3
LCL183-1 LCL183-3 LCL184-1 LCL185-1 LCL185-3 LCL186-1 LCL186-3
LCL187-1 LCL187-3 LCL188-1 LCL188-3 LCL189-1 LCL189-3 LCL190-1
LCL190-3 LCL191-1 LCL191-3 LCL192-1 LCL192-3 LCL193-1 LCL193-3
LCL194-1 LCL194-3 LCL195-1 LCL195-3 LCL196-1 LCL196-3 LCL197-1
LCL197-3 LCL198-1 LCL198-3 LCL199-1 LCL199-3 LCL200-1 LCL201-1
LCL201-3 LCL202-1 LCL202-3 LCL203-1 LCL203-3 LCL204-1 LCL205-1
LCL205-3 LCL206-1 LCL206-3 LCL207-1 LCL207-3 LCL208-1 LCL208-3
LCL209-1 LCL209-3 LCL210-1 LCL210-3 LCL211-1 LCL211-3 LCL212-1
LCL212-3 LCL213-1 LCL213-3 LCL214-1 LCL214-3 LCL215-1 LCL215-3
LCL216-1 LCL216-3 LCL217-1 LCL217-3 LCL218-1 LCL218-3 LCL219-1
LCL219-3 LCL220-1 LCL220-3 LCL221-1 LCL221-3 LCL222-1 LCL222-3
LCL223-1 LCL223-3 LCL224-1 LCL224-3 LCL225-1 LCL225-3 LCL226-1
LCL226-3 LCL227-1 LCL227-3 LCL228-1 LCL228-3 LCL229-1 LCL229-3
LCL230+1 LCL230-1 LCL230-2 LCL230-3 LCL231-1 LCL231-3 LCL234-1
LCL234-3 LCL235-1 LCL235-3 LCL236-1 LCL236-3 LCL237-1 LCL237-3
LCL238-1 LCL238-3 LCL239-1 LCL239-3 LCL240-1 LCL240-3 LCL241-1
LCL241-3 LCL242-1 LCL242-3 LCL243-1 LCL243-3 LCL244-1 LCL245-1
LCL245-3 LCL246-1 LCL246-3 LCL247-1 LCL247-3 LCL248-1 LCL248-3
LCL249-1 LCL249-3 LCL250-1 LCL250-3 LCL251-1 LCL251-3 LCL252-1
LCL252-3 LCL253-1 LCL253-3 LCL254-1 LCL254-3 LCL255-1 LCL255-3
LCL258-3 LCL259-3 LCL260-3 LCL261-3 LCL262-3 LCL263-3 LCL264-3
LCL265-3 LCL266-3 LCL267-3 LCL268-3 LCL269-3 LCL270-3 LCL271-3
LCL272-3 LCL273-3 LCL274-3 LCL275-3 LCL276-3 LCL277-3 LCL278-3
LCL279-3 LCL280-3 LCL281-3 LCL282-3 LCL283-3 LCL284-3 LCL285-3
LCL286-3 LCL287-3 LCL288-3 LCL289-3 LCL290-3 LCL291-3 LCL292-3
LCL293-3 LCL294-3 LCL295-3 LCL296-3 LCL297-3 LCL298-3 LCL299-3
LCL300-3 LCL301-3 LCL302-3 LCL303-3 LCL304-3 LCL305-3 LCL306-3
LCL307-3 LCL308-3 LCL309-3 LCL310-3 LCL311-3 LCL312-3 LCL313-3
LCL314-3 LCL315-3 LCL316-3 LCL317-3 LCL318-3 LCL319-3 LCL320-3
LCL321-3 LCL322-3 LCL323-3 LCL324-3 LCL325-3 LCL326-3 LCL327-3
LCL328-3 LCL329-3 LCL330-3 LCL331-3 LCL332-3 LCL333-3 LCL334-3
LCL335-3 LCL336-3 LCL337-3 LCL338-3 LCL339-3 LCL340-3 LCL341-3
LCL342-3 LCL343-3 LCL344-3 LCL345-3 LCL346-3 LCL347-3 LCL348-3
LCL349-3 LCL350-3 LCL351-3 LCL352-3 LCL353-3
QuaifeGeometry
GEO001-2 GEO001-3 GEO002-2 GEO002-3 GEO003-2 GEO003-3 GEO004-2
GEO005-2 GEO006-2 GEO006-3 GEO007-2 GEO007-3 GEO008-2 GEO008-3
GEO009-2 GEO009-3 GEO010-2 GEO010-3 GEO011-2 GEO011-3 GEO011-4
GEO011-5 GEO012-2 GEO012-3 GEO013-2 GEO013-3 GEO014-2 GEO015-2
GEO015-3 GEO016-2 GEO016-3 GEO017-2 GEO017-3 GEO018-2 GEO018-3
GEO019-2 GEO019-3 GEO020-2 GEO020-3 GEO021-2 GEO021-3 GEO022-2
GEO022-3 GEO024-2 GEO024-3 GEO025-2 GEO025-3 GEO026-2 GEO026-3
GEO027-2 GEO027-3 GEO028-2 GEO028-3 GEO029-2 GEO029-3 GEO030-2
GEO030-3 GEO031-2 GEO031-3 GEO032-2 GEO032-3 GEO033-2 GEO033-3
GEO034-2 GEO034-3 GEO035-2 GEO035-3 GEO036-2 GEO036-3 GEO037-2
GEO037-3 GEO038-2 GEO038-3 GEO039-2 GEO039-3 GEO040-2 GEO040-3
GEO041-2 GEO041-3 GEO042-2 GEO042-3 GEO043-2 GEO043-3 GEO044-2
GEO044-3 GEO045-2 GEO045-3 GEO046-2 GEO046-3 GEO047-2 GEO047-3
GEO048-2 GEO048-3 GEO049-2 GEO049-3 GEO050-2 GEO050-3 GEO051-2
GEO051-3 GEO052-2 GEO052-3 GEO053-2 GEO053-3 GEO054-2 GEO054-3
GEO055-2 GEO055-3 GEO056-2 GEO056-3 GEO057-2 GEO057-3 GEO058-2
GEO058-3 GEO059-2 GEO059-3 GEO060-2 GEO061-2 GEO061-3 GEO062-2
GEO062-3 GEO063-2 GEO063-3 GEO064-2 GEO064-3 GEO065-2 GEO065-3
GEO066-2 GEO066-3 GEO067-2 GEO067-3 GEO068-2 GEO068-3 GEO069-2
GEO069-3 GEO070-2 GEO070-3 GEO071-2 GEO071-3 GEO072-2 GEO072-3
GEO073-2 GEO073-3 GEO074-2 GEO075-2
QuaifeSetCNF
ALG001-3 NUM028-1 NUM029-1 NUM030-1 NUM031-1 NUM032-1 NUM033-1
NUM034-1 NUM035-1 NUM036-1 NUM037-1 NUM038-1 NUM039-1 NUM040-1
NUM041-1 NUM042-1 NUM043-1 NUM044-1 NUM045-1 NUM046-1 NUM047-1
NUM048-1 NUM049-1 NUM050-1 NUM051-1 NUM052-1 NUM053-1 NUM054-1
NUM055-1 NUM056-1 NUM057-1 NUM058-1 NUM059-1 NUM060-1 NUM061-1
NUM062-1 NUM063-1 NUM064-1 NUM065-1 NUM066-1 NUM067-1 NUM068-1
NUM069-1 NUM070-1 NUM071-1 NUM072-1 NUM073-1 NUM074-1 NUM075-1
NUM076-1 NUM077-1 NUM078-1 NUM079-1 NUM080-1 NUM081-1 NUM082-1
NUM083-1 NUM084-1 NUM085-1 NUM086-1 NUM087-1 NUM088-1 NUM089-1
NUM090-1 NUM091-1 NUM092-1 NUM093-1 NUM094-1 NUM095-1 NUM096-1
NUM097-1 NUM098-1 NUM099-1 NUM100-1 NUM101-1 NUM102-1 NUM103-1
NUM104-1 NUM105-1 NUM106-1 NUM107-1 NUM108-1 NUM109-1 NUM110-1
NUM111-1 NUM112-1 NUM113-1 NUM114-1 NUM115-1 NUM116-1 NUM117-1
NUM118-1 NUM119-1 NUM120-1 NUM121-1 NUM122-1 NUM123-1 NUM124-1
NUM125-1 NUM126-1 NUM127-1 NUM128-1 NUM129-1 NUM130-1 NUM131-1
NUM132-1 NUM133-1 NUM134-1 NUM135-1 NUM136-1 NUM137-1 NUM138-1
NUM139-1 NUM140-1 NUM141-1 NUM142-1 NUM143-1 NUM144-1 NUM145-1
NUM146-1 NUM147-1 NUM148-1 NUM149-1 NUM150-1 NUM151-1 NUM152-1
NUM153-1 NUM154-1 NUM155-1 NUM156-1 NUM157-1 NUM158-1 NUM159-1
NUM160-1 NUM161-1 NUM162-1 NUM163-1 NUM164-1 NUM165-1 NUM166-1
NUM167-1 NUM168-1 NUM169-1 NUM170-1 NUM171-1 NUM172-1 NUM173-1
NUM174-1 NUM175-1 NUM176-1 NUM177-1 NUM178-1 NUM179-1 NUM180-1
NUM181-1 NUM182-1 NUM183-1 NUM184-1 NUM185-1 NUM186-1 NUM187-1
NUM188-1 NUM189-1 NUM190-1 NUM191-1 NUM192-1 NUM193-1 NUM194-1
NUM195-1 NUM196-1 NUM197-1 NUM198-1 NUM199-1 NUM200-1 NUM201-1
NUM202-1 NUM203-1 NUM204-1 NUM205-1 NUM206-1 NUM207-1 NUM208-1
NUM209-1 NUM210-1 NUM211-1 NUM212-1 NUM213-1 NUM214-1 NUM215-1
NUM216-1 NUM217-1 NUM218-1 NUM219-1 NUM220-1 NUM221-1 NUM222-1
NUM223-1 NUM224-1 NUM225-1 NUM226-1 NUM227-1 NUM228-1 NUM229-1
NUM230-1 NUM231-1 NUM232-1 NUM233-1 NUM234-1 NUM235-1 NUM236-1
NUM237-1 NUM238-1 NUM239-1 NUM240-1 NUM241-1 NUM242-1 NUM243-1
NUM244-1 NUM245-1 NUM245-2 NUM246-1 NUM246-2 NUM247-1 NUM247-2
NUM248-1 NUM248-2 NUM249-1 NUM249-2 NUM250-1 NUM250-2 NUM251-1
NUM251-2 NUM252-1 NUM252-2 NUM253-1 NUM253-2 NUM254-1 NUM254-2
NUM255-1 NUM255-2 NUM256-1 NUM256-2 NUM257-1 NUM257-2 NUM258-1
NUM258-2 NUM259-1 NUM259-2 NUM260-1 NUM260-2 NUM261-1 NUM261-2
NUM262-1 NUM262-2 NUM263-1 NUM263-2 NUM264-1 NUM264-2 NUM265-1
NUM266-1 NUM267-1 NUM268-1 NUM269-1 NUM270-1 NUM271-1 NUM272-1
NUM273-1 NUM274-1 NUM275-1 NUM276-1 NUM277-1 NUM277-2 NUM278-1
NUM279-1 NUM280-1 NUM281-1 NUM282-1 SET002-6 SET014-6 SET016-6
SET016-7 SET017-6 SET017-7 SET018-6 SET018-7 SET020-6 SET020-7
SET021-6 SET021-7 SET024-6 SET024-7 SET025-6 SET025-7 SET027-6
SET027-7 SET030-6 SET032-6 SET033-6 SET034-6 SET035-6 SET036-6
SET037-6 SET038-6 SET040-6 SET041-6 SET050-6 SET051-6 SET052-6
SET053-6 SET054-6 SET054-7 SET056-6 SET056-7 SET057-6 SET057-7
SET058-6 SET058-7 SET059-6 SET059-7 SET060-6 SET060-7 SET061-6
SET061-7 SET062-6 SET062-7 SET063-6 SET063-7 SET064-6 SET064-7
SET065-6 SET065-7 SET066-6 SET066-7 SET067-6 SET067-7 SET068-6
SET068-7 SET069-6 SET069-7 SET070-6 SET070-7 SET071-6 SET071-7
SET072-6 SET072-7 SET073-6 SET073-7 SET074-6 SET074-7 SET075-6
SET075-7 SET076-6 SET076-7 SET077-6 SET077-7 SET078-6 SET078-7
SET079-6 SET079-7 SET080-6 SET080-7 SET081-6 SET081-7 SET082-6
SET082-7 SET083-6 SET083-7 SET084-6 SET084-7 SET085-6 SET085-7
SET086-6 SET086-7 SET087-6 SET087-7 SET088-6 SET088-7 SET089-6
SET089-7 SET090-6 SET090-7 SET091-6 SET091-7 SET092-6 SET092-7
SET093-6 SET093-7 SET094-6 SET094-7 SET095-6 SET095-7 SET096-6
SET096-7 SET097-6 SET097-7 SET098-6 SET098-7 SET099-6 SET099-7
SET100-6 SET100-7 SET101-6 SET101-7 SET102-6 SET102-7 SET103-6
SET103-7 SET104-6 SET104-7 SET105-6 SET105-7 SET108-6 SET108-7
SET109-6 SET109-7 SET110-6 SET110-7 SET111-6 SET111-7 SET112-6
SET112-7 SET113-6 SET113-7 SET114-6 SET114-7 SET115-6 SET115-7
SET116-6 SET116-7 SET117-6 SET117-7 SET118-6 SET118-7 SET119-6
SET119-7 SET120-6 SET120-7 SET121-6 SET121-7 SET122-6 SET122-7
SET123-6 SET124-6 SET125-6 SET126-6 SET127-6 SET128-6 SET129-6
SET130-6 SET131-6 SET132-6 SET133-6 SET134-6 SET135-6 SET136-6
SET137-6 SET138-6 SET139-6 SET140-6 SET141-6 SET142-6 SET143-6
SET144-6 SET145-6 SET146-6 SET147-6 SET148-6 SET149-6 SET150-6
SET151-6 SET152-6 SET153-6 SET154-6 SET155-6 SET156-6 SET157-6
SET158-6 SET159-6 SET160-6 SET161-6 SET162-6 SET163-6 SET165-6
SET166-6 SET167-6 SET168-6 SET169-6 SET170-6 SET171-6 SET172-6
SET173-6 SET174-6 SET175-6 SET176-6 SET177-6 SET178-6 SET179-6
SET180-6 SET181-6 SET182-6 SET183-6 SET184-6 SET185-6 SET186-6
SET187-6 SET188-6 SET189-6 SET190-6 SET191-6 SET192-6 SET193-6
SET194-6 SET195-6 SET196-6 SET197-6 SET199-6 SET200-6 SET201-6
SET202-6 SET203-6 SET204-6 SET205-6 SET206-6 SET207-6 SET208-6
SET209-6 SET210-6 SET211-6 SET212-6 SET213-6 SET214-6 SET215-6
SET216-6 SET217-6 SET218-6 SET219-6 SET220-6 SET221-6 SET222-6
SET223-6 SET224-6 SET225-6 SET226-6 SET227-6 SET228-6 SET229-6
SET230-6 SET231-6 SET232-6 SET233-6 SET234-6 SET235-6 SET236-6
SET237-6 SET238-6 SET239-6 SET240-6 SET241-6 SET242-6 SET243-6
SET244-6 SET245-6 SET246-6 SET247-6 SET248-6 SET249-6 SET250-6
SET251-6 SET252-6 SET253-6 SET254-6 SET255-6 SET256-6 SET257-6
SET258-6 SET259-6 SET260-6 SET261-6 SET262-6 SET263-6 SET264-6
SET265-6 SET266-6 SET267-6 SET268-6 SET269-6 SET270-6 SET271-6
SET272-6 SET273-6 SET274-6 SET275-6 SET276-6 SET277-6 SET278-6
SET279-6 SET280-6 SET281-6 SET282-6 SET283-6 SET284-6 SET285-6
SET286-6 SET287-6 SET288-6 SET289-6 SET290-6 SET291-6 SET292-6
SET293-6 SET294-6 SET295-6 SET296-6 SET297-6 SET298-6 SET299-6
SET300-6 SET301-6 SET302-6 SET303-6 SET304-6 SET305-6 SET306-6
SET307-6 SET308-6 SET309-6 SET310-6 SET311-6 SET312-6 SET313-6
SET314-6 SET315-6 SET316-6 SET317-6 SET318-6 SET319-6 SET320-6
SET321-6 SET322-6 SET323-6 SET324-6 SET325-6 SET326-6 SET327-6
SET328-6 SET329-6 SET330-6 SET331-6 SET332-6 SET333-6 SET334-6
SET335-6 SET336-6 SET337-6 SET338-6 SET339-6 SET340-6 SET341-6
SET342-6 SET343-6 SET344-6 SET345-6 SET346-6 SET347-6 SET348-6
SET349-6 SET350-6 SET351-6 SET352-6 SET353-6 SET354-6 SET355-6
SET356-6 SET357-6 SET358-6 SET359-6 SET360-6 SET361-6 SET362-6
SET363-6 SET364-6 SET365-6 SET366-6 SET367-6 SET368-6 SET369-6
SET370-6 SET371-6 SET372-6 SET373-6 SET374-6 SET375-6 SET376-6
SET377-6 SET378-6 SET379-6 SET380-6 SET381-6 SET382-6 SET383-6
SET384-6 SET385-6 SET386-6 SET387-6 SET388-6 SET389-6 SET390-6
SET391-6 SET392-6 SET393-6 SET394-6 SET395-6 SET396-6 SET397-6
SET398-6 SET399-6 SET400-6 SET401-6 SET402-6 SET403-6 SET404-6
SET405-6 SET406-6 SET407-6 SET408-6 SET409-6 SET410-6 SET411-6
SET412-6 SET413-6 SET414-6 SET415-6 SET416-6 SET417-6 SET418-6
SET419-6 SET420-6 SET421-6 SET422-6 SET423-6 SET424-6 SET425-6
SET426-6 SET427-6 SET428-6 SET429-6 SET430-6 SET431-6 SET432-6
SET433-6 SET434-6 SET435-6 SET436-6 SET437-6 SET438-6 SET439-6
SET440-6 SET441-6 SET442-6 SET443-6 SET444-6 SET445-6 SET446-6
SET447-6 SET448-6 SET449-6 SET450-6 SET451-6 SET452-6 SET453-6
SET454-6 SET455-6 SET456-6 SET457-6 SET458-6 SET459-6 SET460-6
SET461-6 SET462-6 SET463-6 SET464-6 SET465-6 SET466-6 SET467-6
SET468-6 SET469-6 SET470-6 SET471-6 SET472-6 SET473-6 SET474-6
SET475-6 SET476-6 SET477-6 SET478-6 SET479-6 SET480-6 SET481-6
SET482-6 SET483-6 SET484-6 SET485-6 SET486-6 SET487-6 SET488-6
SET489-6 SET490-6 SET491-6 SET492-6 SET493-6 SET494-6 SET495-6
SET496-6 SET497-6 SET498-6 SET499-6 SET500-6 SET501-6 SET502-6
SET503-6 SET504-6 SET505-6 SET506-6 SET507-6 SET508-6 SET509-6
SET510-6 SET511-6 SET512-6 SET513-6 SET514-6 SET515-6 SET516-6
SET517-6 SET518-6 SET519-6 SET520-6 SET521-6 SET522-6 SET523-6
SET524-6 SET525-6 SET526-6 SET527-6 SET528-6 SET529-6 SET530-6
SET531-6 SET532-6 SET533-6 SET534-6 SET535-6 SET536-6 SET537-6
SET538-6 SET539-6 SET540-6 SET541-6 SET542-6 SET543-6 SET544-6
SET545-6 SET546-6 SET547-6 SET548-6 SET549-6 SET550-6 SET551-6
SET552-6 SET553-6 SET554-6 SET555-6 SET556-6 SET557-6 SET558-6
SET559-6 SET560-6 SET561-6 SET562-6 SET563-6 SET564-6 SET565-6
SET566-6 SET567-6
QuaifeSetFOF
SET016+1 SET017+1 SET018+1 SET020+1 SET024+1 SET025+1 SET027+1
SET054+1 SET055+1 SET056+1 SET057+1 SET058+1 SET059+1 SET060+1
SET061+1 SET062+1 SET063+1 SET064+1 SET065+1 SET066+1 SET067+1
SET069+1 SET071+1 SET072+1 SET073+1 SET074+1 SET076+1 SET077+1
SET079+1 SET081+1 SET082+1 SET083+1 SET084+1 SET086+1 SET090+1
SET091+1 SET093+1 SET094+1 SET095+1 SET096+1 SET097+1 SET098+1
SET099+1 SET101+1 SET102+1 SET103+1 SET104+1 SET105+1 SET108+1
SET113+1 SET117+1 SET119+1 SET120+1 SET121+1 SET122+1
QuasiGRP
GRP123-1.003 GRP123-1.005 GRP123-2.003 GRP123-2.005 GRP123-3.003
GRP123-3.004 GRP123-4.003 GRP123-4.004 GRP123-6.003 GRP123-6.005
GRP123-7.003 GRP123-7.005 GRP123-8.003 GRP123-8.004 GRP123-9.003
GRP123-9.004 GRP124-1.004 GRP124-1.005 GRP124-2.004 GRP124-2.005
GRP124-3.004 GRP124-3.005 GRP124-4.004 GRP124-4.005 GRP124-6.004
GRP124-6.005 GRP124-7.004 GRP124-7.005 GRP124-8.004 GRP124-8.005
GRP124-9.004 GRP124-9.005 GRP125-1.003 GRP125-1.004 GRP125-2.004
GRP125-2.005 GRP125-3.004 GRP125-3.005 GRP125-4.003 GRP125-4.004
GRP126-1.004 GRP126-1.005 GRP126-2.004 GRP126-2.005 GRP126-3.004
GRP126-3.005 GRP126-4.004 GRP126-4.005 GRP127-1.004 GRP127-1.005
GRP127-2.005 GRP127-2.006 GRP127-3.004 GRP127-3.005 GRP127-4.004
GRP127-4.005 GRP128-1.003 GRP128-1.004 GRP128-2.004 GRP128-2.006
GRP128-3.004 GRP128-3.005 GRP128-4.003 GRP128-4.004 GRP129-1.003
GRP129-1.005 GRP129-2.004 GRP129-2.005 GRP129-3.004 GRP129-3.005
GRP129-4.004 GRP129-4.005 GRP130-1.003 GRP130-1.005 GRP130-2.003
GRP130-2.005 GRP130-3.003 GRP130-3.004 GRP130-4.003 GRP130-4.004
GRP131-1.002 GRP131-1.005 GRP131-2.002 GRP131-2.005 GRP132-1.002
GRP132-1.005 GRP132-2.002 GRP132-2.005 GRP133-1.003 GRP133-1.004
GRP133-2.003 GRP133-2.004 GRP134-1.003 GRP134-1.005 GRP134-2.003
GRP134-2.005 GRP135-1.002 GRP135-1.005 GRP135-2.002 GRP135-2.005
SWReuseCNF
SWC001-1 SWC002-1 SWC003-1 SWC004-1 SWC005-1 SWC006-1 SWC007-1
SWC008-1 SWC009-1 SWC010-1 SWC011-1 SWC012-1 SWC013-1 SWC014-1
SWC015-1 SWC016-1 SWC017-1 SWC018-1 SWC019-1 SWC020-1 SWC021-1
SWC022-1 SWC023-1 SWC024-1 SWC025-1 SWC026-1 SWC027-1 SWC028-1
SWC029-1 SWC030-1 SWC031-1 SWC032-1 SWC033-1 SWC034-1 SWC035-1
SWC036-1 SWC037-1 SWC038-1 SWC039-1 SWC040-1 SWC041-1 SWC042-1
SWC043-1 SWC044-1 SWC045-1 SWC046-1 SWC047-1 SWC048-1 SWC049-1
SWC050-1 SWC051-1 SWC052-1 SWC053-1 SWC054-1 SWC055-1 SWC056-1
SWC057-1 SWC058-1 SWC059-1 SWC060-1 SWC061-1 SWC062-1 SWC063-1
SWC064-1 SWC065-1 SWC066-1 SWC067-1 SWC068-1 SWC069-1 SWC070-1
SWC071-1 SWC072-1 SWC073-1 SWC074-1 SWC075-1 SWC076-1 SWC077-1
SWC078-1 SWC079-1 SWC080-1 SWC081-1 SWC082-1 SWC083-1 SWC084-1
SWC085-1 SWC086-1 SWC087-1 SWC088-1 SWC089-1 SWC090-1 SWC091-1
SWC092-1 SWC093-1 SWC094-1 SWC095-1 SWC096-1 SWC097-1 SWC098-1
SWC099-1 SWC100-1 SWC101-1 SWC102-1 SWC103-1 SWC104-1 SWC105-1
SWC106-1 SWC107-1 SWC108-1 SWC109-1 SWC110-1 SWC111-1 SWC112-1
SWC113-1 SWC114-1 SWC115-1 SWC116-1 SWC117-1 SWC118-1 SWC119-1
SWC120-1 SWC121-1 SWC122-1 SWC123-1 SWC124-1 SWC125-1 SWC126-1
SWC127-1 SWC128-1 SWC129-1 SWC130-1 SWC131-1 SWC132-1 SWC133-1
SWC134-1 SWC135-1 SWC136-1 SWC137-1 SWC138-1 SWC139-1 SWC140-1
SWC141-1 SWC142-1 SWC143-1 SWC144-1 SWC145-1 SWC146-1 SWC147-1
SWC148-1 SWC149-1 SWC150-1 SWC151-1 SWC152-1 SWC153-1 SWC154-1
SWC155-1 SWC156-1 SWC157-1 SWC158-1 SWC159-1 SWC160-1 SWC161-1
SWC162-1 SWC163-1 SWC164-1 SWC165-1 SWC166-1 SWC167-1 SWC168-1
SWC169-1 SWC170-1 SWC171-1 SWC172-1 SWC173-1 SWC174-1 SWC175-1
SWC176-1 SWC177-1 SWC178-1 SWC179-1 SWC180-1 SWC181-1 SWC182-1
SWC183-1 SWC184-1 SWC185-1 SWC186-1 SWC187-1 SWC188-1 SWC189-1
SWC190-1 SWC191-1 SWC192-1 SWC193-1 SWC194-1 SWC195-1 SWC196-1
SWC197-1 SWC198-1 SWC199-1 SWC200-1 SWC201-1 SWC202-1 SWC203-1
SWC204-1 SWC205-1 SWC206-1 SWC207-1 SWC208-1 SWC209-1 SWC210-1
SWC211-1 SWC212-1 SWC213-1 SWC214-1 SWC215-1 SWC216-1 SWC217-1
SWC218-1 SWC219-1 SWC220-1 SWC221-1 SWC222-1 SWC223-1 SWC224-1
SWC225-1 SWC226-1 SWC227-1 SWC228-1 SWC229-1 SWC230-1 SWC231-1
SWC232-1 SWC233-1 SWC234-1 SWC235-1 SWC236-1 SWC237-1 SWC238-1
SWC239-1 SWC240-1 SWC241-1 SWC242-1 SWC243-1 SWC244-1 SWC245-1
SWC246-1 SWC247-1 SWC248-1 SWC249-1 SWC250-1 SWC251-1 SWC252-1
SWC253-1 SWC254-1 SWC255-1 SWC256-1 SWC257-1 SWC258-1 SWC259-1
SWC260-1 SWC261-1 SWC262-1 SWC263-1 SWC264-1 SWC265-1 SWC266-1
SWC267-1 SWC268-1 SWC269-1 SWC270-1 SWC271-1 SWC272-1 SWC273-1
SWC274-1 SWC275-1 SWC276-1 SWC277-1 SWC278-1 SWC279-1 SWC280-1
SWC281-1 SWC282-1 SWC283-1 SWC284-1 SWC285-1 SWC286-1 SWC287-1
SWC288-1 SWC289-1 SWC290-1 SWC291-1 SWC292-1 SWC293-1 SWC294-1
SWC295-1 SWC296-1 SWC297-1 SWC298-1 SWC299-1 SWC300-1 SWC301-1
SWC302-1 SWC303-1 SWC304-1 SWC305-1 SWC306-1 SWC307-1 SWC308-1
SWC309-1 SWC310-1 SWC311-1 SWC312-1 SWC313-1 SWC314-1 SWC315-1
SWC316-1 SWC317-1 SWC318-1 SWC319-1 SWC320-1 SWC321-1 SWC322-1
SWC323-1 SWC324-1 SWC325-1 SWC326-1 SWC327-1 SWC328-1 SWC329-1
SWC330-1 SWC331-1 SWC332-1 SWC333-1 SWC334-1 SWC335-1 SWC336-1
SWC337-1 SWC338-1 SWC339-1 SWC340-1 SWC341-1 SWC342-1 SWC343-1
SWC344-1 SWC345-1 SWC346-1 SWC347-1 SWC348-1 SWC349-1 SWC350-1
SWC351-1 SWC352-1 SWC353-1 SWC354-1 SWC355-1 SWC356-1 SWC357-1
SWC358-1 SWC359-1 SWC360-1 SWC361-1 SWC362-1 SWC363-1 SWC364-1
SWC365-1 SWC366-1 SWC367-1 SWC368-1 SWC369-1 SWC370-1 SWC371-1
SWC372-1 SWC373-1 SWC374-1 SWC375-1 SWC376-1 SWC377-1 SWC378-1
SWC379-1 SWC380-1 SWC381-1 SWC382-1 SWC383-1 SWC384-1 SWC385-1
SWC386-1 SWC387-1 SWC388-1 SWC389-1 SWC390-1 SWC391-1 SWC392-1
SWC393-1 SWC394-1 SWC395-1 SWC396-1 SWC397-1 SWC398-1 SWC399-1
SWC400-1 SWC401-1 SWC402-1 SWC403-1 SWC404-1 SWC405-1 SWC406-1
SWC407-1 SWC408-1 SWC409-1 SWC410-1 SWC411-1 SWC412-1 SWC413-1
SWC414-1 SWC415-1 SWC416-1 SWC417-1 SWC418-1 SWC419-1 SWC420-1
SWC421-1 SWC422-1
SWReuseFOF
SWC001+1 SWC002+1 SWC003+1 SWC004+1 SWC005+1 SWC006+1 SWC007+1
SWC008+1 SWC009+1 SWC010+1 SWC011+1 SWC012+1 SWC013+1 SWC014+1
SWC015+1 SWC016+1 SWC017+1 SWC018+1 SWC019+1 SWC020+1 SWC021+1
SWC022+1 SWC023+1 SWC024+1 SWC025+1 SWC026+1 SWC027+1 SWC028+1
SWC029+1 SWC030+1 SWC031+1 SWC032+1 SWC033+1 SWC034+1 SWC035+1
SWC036+1 SWC037+1 SWC038+1 SWC039+1 SWC040+1 SWC041+1 SWC042+1
SWC043+1 SWC044+1 SWC045+1 SWC046+1 SWC047+1 SWC048+1 SWC049+1
SWC050+1 SWC051+1 SWC052+1 SWC053+1 SWC054+1 SWC055+1 SWC056+1
SWC057+1 SWC058+1 SWC059+1 SWC060+1 SWC061+1 SWC062+1 SWC063+1
SWC064+1 SWC065+1 SWC066+1 SWC067+1 SWC068+1 SWC069+1 SWC070+1
SWC071+1 SWC072+1 SWC073+1 SWC074+1 SWC075+1 SWC076+1 SWC077+1
SWC078+1 SWC079+1 SWC080+1 SWC081+1 SWC082+1 SWC083+1 SWC084+1
SWC085+1 SWC086+1 SWC087+1 SWC088+1 SWC089+1 SWC090+1 SWC091+1
SWC092+1 SWC093+1 SWC094+1 SWC095+1 SWC096+1 SWC097+1 SWC098+1
SWC099+1 SWC100+1 SWC101+1 SWC102+1 SWC103+1 SWC104+1 SWC105+1
SWC106+1 SWC107+1 SWC108+1 SWC109+1 SWC110+1 SWC111+1 SWC112+1
SWC113+1 SWC114+1 SWC115+1 SWC116+1 SWC117+1 SWC118+1 SWC119+1
SWC120+1 SWC121+1 SWC122+1 SWC123+1 SWC124+1 SWC125+1 SWC126+1
SWC127+1 SWC128+1 SWC129+1 SWC130+1 SWC131+1 SWC132+1 SWC133+1
SWC134+1 SWC135+1 SWC136+1 SWC137+1 SWC138+1 SWC139+1 SWC140+1
SWC141+1 SWC142+1 SWC143+1 SWC144+1 SWC145+1 SWC146+1 SWC147+1
SWC148+1 SWC149+1 SWC150+1 SWC151+1 SWC152+1 SWC153+1 SWC154+1
SWC155+1 SWC156+1 SWC157+1 SWC158+1 SWC159+1 SWC160+1 SWC161+1
SWC162+1 SWC163+1 SWC164+1 SWC165+1 SWC166+1 SWC167+1 SWC168+1
SWC169+1 SWC170+1 SWC171+1 SWC172+1 SWC173+1 SWC174+1 SWC175+1
SWC176+1 SWC177+1 SWC178+1 SWC179+1 SWC180+1 SWC181+1 SWC182+1
SWC183+1 SWC184+1 SWC185+1 SWC186+1 SWC187+1 SWC188+1 SWC189+1
SWC190+1 SWC191+1 SWC192+1 SWC193+1 SWC194+1 SWC195+1 SWC196+1
SWC197+1 SWC198+1 SWC199+1 SWC200+1 SWC201+1 SWC202+1 SWC203+1
SWC204+1 SWC205+1 SWC206+1 SWC207+1 SWC208+1 SWC209+1 SWC210+1
SWC211+1 SWC212+1 SWC213+1 SWC214+1 SWC215+1 SWC216+1 SWC217+1
SWC218+1 SWC219+1 SWC220+1 SWC221+1 SWC222+1 SWC223+1 SWC224+1
SWC225+1 SWC226+1 SWC227+1 SWC228+1 SWC229+1 SWC230+1 SWC231+1
SWC232+1 SWC233+1 SWC234+1 SWC235+1 SWC236+1 SWC237+1 SWC238+1
SWC239+1 SWC240+1 SWC241+1 SWC242+1 SWC243+1 SWC244+1 SWC245+1
SWC246+1 SWC247+1 SWC248+1 SWC249+1 SWC250+1 SWC251+1 SWC252+1
SWC253+1 SWC254+1 SWC255+1 SWC256+1 SWC257+1 SWC258+1 SWC259+1
SWC260+1 SWC261+1 SWC262+1 SWC263+1 SWC264+1 SWC265+1 SWC266+1
SWC267+1 SWC268+1 SWC269+1 SWC270+1 SWC271+1 SWC272+1 SWC273+1
SWC274+1 SWC275+1 SWC276+1 SWC277+1 SWC278+1 SWC279+1 SWC280+1
SWC281+1 SWC282+1 SWC283+1 SWC284+1 SWC285+1 SWC286+1 SWC287+1
SWC288+1 SWC289+1 SWC290+1 SWC291+1 SWC292+1 SWC293+1 SWC294+1
SWC295+1 SWC296+1 SWC297+1 SWC298+1 SWC299+1 SWC300+1 SWC301+1
SWC302+1 SWC303+1 SWC304+1 SWC305+1 SWC306+1 SWC307+1 SWC308+1
SWC309+1 SWC310+1 SWC311+1 SWC312+1 SWC313+1 SWC314+1 SWC315+1
SWC316+1 SWC317+1 SWC318+1 SWC319+1 SWC320+1 SWC321+1 SWC322+1
SWC323+1 SWC324+1 SWC325+1 SWC326+1 SWC327+1 SWC328+1 SWC329+1
SWC330+1 SWC331+1 SWC332+1 SWC333+1 SWC334+1 SWC335+1 SWC336+1
SWC337+1 SWC338+1 SWC339+1 SWC340+1 SWC341+1 SWC342+1 SWC343+1
SWC344+1 SWC345+1 SWC346+1 SWC347+1 SWC348+1 SWC349+1 SWC350+1
SWC351+1 SWC352+1 SWC353+1 SWC354+1 SWC355+1 SWC356+1 SWC357+1
SWC358+1 SWC359+1 SWC360+1 SWC361+1 SWC362+1 SWC363+1 SWC364+1
SWC365+1 SWC366+1 SWC367+1 SWC368+1 SWC369+1 SWC370+1 SWC371+1
SWC372+1 SWC373+1 SWC374+1 SWC375+1 SWC376+1 SWC377+1 SWC378+1
SWC379+1 SWC380+1 SWC381+1 SWC382+1 SWC383+1 SWC384+1 SWC385+1
SWC386+1 SWC387+1 SWC388+1 SWC389+1 SWC390+1 SWC391+1 SWC392+1
SWC393+1 SWC394+1 SWC395+1 SWC396+1 SWC397+1 SWC398+1 SWC399+1
SWC400+1 SWC401+1 SWC402+1 SWC403+1 SWC404+1 SWC405+1 SWC406+1
SWC407+1 SWC408+1 SWC409+1 SWC410+1 SWC411+1 SWC412+1 SWC413+1
SWC414+1 SWC415+1 SWC416+1 SWC417+1 SWC418+1 SWC419+1 SWC420+1
SWC421+1 SWC422+1
StrongFixedPoint
COL003-10 COL003-12 COL003-13 COL003-14 COL003-15 COL003-16 COL003-17
COL003-18 COL003-19 COL003-2 COL003-20 COL003-3 COL003-4 COL003-5
COL003-6 COL003-7 COL003-8 COL003-9 COL006-2 COL006-3 COL006-4
COL006-5 COL006-6 COL006-7 COL042-2 COL042-3 COL042-4 COL042-5
COL042-6 COL042-7 COL042-8 COL042-9 COL043-2 COL043-3 COL044-2
COL044-3 COL044-4 COL044-5 COL044-6 COL044-7 COL044-8 COL044-9