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

ColtonPEQGroup

GRP208-1 GRP209-1 GRP210-1 GRP211-1 GRP212-1 GRP213-1 GRP214-1 GRP215-1
GRP216-1 GRP217-1 GRP218-1 GRP219-1 GRP220-1 GRP221-1 GRP222-1 GRP223-1
GRP224-1 GRP225-1 GRP226-1 GRP227-1 GRP228-1 GRP229-1 GRP230-1 GRP231-1
GRP232-1 GRP233-1 GRP234-1 GRP235-1 GRP236-1 GRP237-1 GRP238-1 GRP239-1
GRP240-1 GRP241-1 GRP242-1 GRP243-1 GRP244-1 GRP245-1 GRP246-1 GRP247-1
GRP248-1 GRP249-1 GRP250-1 GRP251-1 GRP252-1 GRP253-1 GRP254-1 GRP255-1
GRP256-1 GRP257-1 GRP258-1 GRP259-1 GRP260-1 GRP261-1 GRP262-1 GRP263-1
GRP264-1 GRP265-1 GRP266-1 GRP267-1 GRP268-1 GRP269-1 GRP270-1 GRP271-1
GRP272-1 GRP273-1 GRP274-1 GRP275-1 GRP276-1 GRP277-1 GRP278-1 GRP279-1
GRP280-1 GRP281-1 GRP282-1 GRP283-1 GRP284-1 GRP285-1 GRP286-1 GRP287-1
GRP288-1 GRP289-1 GRP290-1 GRP291-1 GRP292-1 GRP293-1 GRP294-1 GRP295-1
GRP296-1 GRP297-1 GRP298-1 GRP299-1 GRP300-1 GRP301-1 GRP302-1 GRP303-1
GRP304-1 GRP305-1 GRP306-1 GRP307-1 GRP308-1 GRP309-1 GRP310-1 GRP311-1
GRP312-1 GRP313-1 GRP314-1 GRP315-1 GRP316-1 GRP317-1 GRP318-1 GRP319-1
GRP320-1 GRP321-1 GRP322-1 GRP323-1 GRP324-1 GRP325-1 GRP326-1 GRP327-1
GRP328-1 GRP329-1 GRP330-1 GRP331-1 GRP332-1 GRP333-1 GRP334-1 GRP335-1
GRP336-1 GRP337-1 GRP338-1 GRP339-1 GRP340-1 GRP341-1 GRP342-1 GRP343-1
GRP344-1 GRP345-1 GRP346-1 GRP347-1 GRP348-1 GRP349-1 GRP350-1 GRP351-1
GRP352-1 GRP353-1 GRP354-1 GRP355-1 GRP356-1 GRP357-1 GRP358-1 GRP359-1
GRP360-1 GRP361-1 GRP362-1 GRP363-1 GRP364-1 GRP365-1 GRP366-1 GRP367-1
GRP368-1 GRP369-1 GRP370-1 GRP371-1 GRP372-1 GRP373-1 GRP374-1 GRP375-1
GRP376-1 GRP377-1 GRP378-1 GRP379-1 GRP380-1 GRP381-1 GRP382-1 GRP383-1
GRP384-1 GRP385-1 GRP386-1 GRP387-1 GRP388-1 GRP389-1 GRP390-1 GRP391-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 LCL415-1 LCL416-1 LCL417-1 LCL418-1 LCL419-1
LCL420-1 LCL421-1 LCL422-1 LCL423-1 LCL424-1 LCL425-1 LCL426-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

HarrisonSYN

SYN553-1 SYN554-1 SYN555-1 SYN556-1 SYN557-1 SYN558-1 SYN559-1 SYN560-1
SYN561-1 SYN562-1 SYN563-1 SYN564-1 SYN565-1 SYN566-1 SYN567-1 SYN568-1
SYN569-1 SYN570-1 SYN571-1 SYN572-1 SYN573-1 SYN574-1 SYN575-1 SYN576-1
SYN577-1 SYN578-1 SYN579-1 SYN580-1 SYN581-1 SYN582-1 SYN583-1 SYN584-1
SYN585-1 SYN586-1 SYN587-1 SYN588-1 SYN589-1 SYN590-1 SYN591-1 SYN592-1
SYN593-1 SYN594-1 SYN595-1 SYN596-1 SYN597-1 SYN598-1 SYN599-1 SYN600-1
SYN601-1 SYN602-1 SYN603-1 SYN604-1 SYN605-1 SYN606-1 SYN607-1 SYN608-1
SYN609-1 SYN610-1 SYN611-1 SYN612-1 SYN613-1 SYN614-1 SYN615-1 SYN616-1
SYN617-1 SYN618-1 SYN619-1 SYN620-1 SYN621-1 SYN622-1 SYN623-1 SYN624-1
SYN625-1 SYN626-1 SYN627-1 SYN628-1 SYN629-1 SYN630-1 SYN631-1 SYN632-1
SYN633-1 SYN634-1 SYN635-1 SYN636-1 SYN637-1 SYN638-1 SYN639-1 SYN640-1
SYN641-1 SYN642-1 SYN643-1 SYN644-1 SYN645-1 SYN646-1 SYN647-1 SYN648-1
SYN649-1 SYN650-1 SYN651-1 SYN652-1 SYN653-1 SYN654-1 SYN655-1 SYN656-1
SYN657-1 SYN658-1 SYN659-1 SYN660-1 SYN661-1 SYN662-1 SYN663-1 SYN664-1
SYN665-1 SYN666-1 SYN667-1 SYN668-1 SYN669-1 SYN670-1 SYN671-1 SYN672-1
SYN673-1 SYN674-1 SYN675-1 SYN676-1 SYN677-1 SYN678-1 SYN679-1 SYN680-1
SYN681-1 SYN682-1 SYN683-1 SYN684-1 SYN685-1 SYN686-1 SYN687-1 SYN688-1
SYN689-1 SYN690-1 SYN691-1 SYN692-1 SYN693-1 SYN694-1 SYN695-1 SYN696-1
SYN697-1 SYN698-1 SYN699-1 SYN700-1 SYN701-1 SYN702-1 SYN703-1 SYN704-1
SYN705-1 SYN706-1 SYN707-1 SYN708-1 SYN709-1 SYN710-1 SYN711-1 SYN712-1
SYN713-1 SYN714-1 SYN715-1 SYN716-1 SYN717-1 SYN718-1 SYN719-1

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

Safelogic2HWV

HWV009-2 HWV009-3 HWV009-4 HWV010-2 HWV010-3 HWV011-2 HWV011-3 HWV012-2
HWV013-2 HWV014-2 HWV015-2 HWV016-2 HWV017-2 HWV018-2 HWV018-3 HWV019-2
HWV019-3 HWV020-2 HWV020-3 HWV021-2 HWV022-2 HWV023-2 HWV024-2 HWV025-2
HWV025-3 HWV026-2 HWV026-3 HWV027-2 HWV028-2 HWV029-2 HWV030-2 HWV031-2
HWV032-2 HWV033-2

SafelogicHWV

HWV009-1 HWV010-1 HWV011-1 HWV012-1 HWV013-1 HWV014-1 HWV015-1 HWV016-1
HWV017-1 HWV018-1 HWV019-1 HWV020-1 HWV021-1 HWV022-1 HWV023-1 HWV024-1
HWV025-1 HWV026-1 HWV027-1 HWV028-1 HWV029-1 HWV030-1 HWV031-1 HWV032-1
HWV033-1

SchmidtPSAT

SYN734-1 SYN735-1 SYN736-1 SYN737-1 SYN738-1 SYN739-1 SYN740-1 SYN741-1
SYN742-1 SYN743-1 SYN744-1 SYN745-1 SYN746-1 SYN747-1 SYN748-1 SYN749-1
SYN750-1 SYN751-1 SYN752-1 SYN753-1 SYN755-1 SYN756-1 SYN757-1 SYN758-1
SYN759-1 SYN760-1 SYN761-1 SYN762-1 SYN763-1 SYN764-1 SYN765-1 SYN766-1
SYN767-1 SYN768-1 SYN769-1 SYN770-1 SYN771-1 SYN772-1 SYN773-1 SYN774-1
SYN775-1 SYN776-1 SYN777-1 SYN778-1 SYN779-1 SYN780-1 SYN781-1 SYN782-1
SYN783-1 SYN784-1 SYN785-1 SYN786-1 SYN787-1 SYN788-1 SYN789-1 SYN790-1
SYN791-1 SYN792-1 SYN793-1 SYN794-1 SYN795-1 SYN796-1 SYN797-1 SYN798-1
SYN799-1 SYN800-1 SYN801-1 SYN802-1 SYN803-1 SYN804-1 SYN805-1 SYN806-1
SYN807-1 SYN808-1 SYN809-1 SYN810-1

SchmidtQBF

SYN811-1 SYN812-1 SYN813-1 SYN814-1 SYN815-1 SYN816-1 SYN817-1 SYN818-1
SYN819-1 SYN820-1 SYN821-1 SYN822-1 SYN823-1 SYN824-1 SYN825-1 SYN826-1
SYN827-1 SYN828-1 SYN829-1 SYN830-1 SYN831-1 SYN832-1 SYN833-1 SYN834-1
SYN835-1 SYN836-1 SYN837-1 SYN838-1 SYN839-1 SYN840-1 SYN841-1 SYN842-1
SYN843-1 SYN844-1 SYN845-1 SYN846-1 SYN847-1 SYN848-1 SYN849-1 SYN850-1
SYN851-1 SYN852-1 SYN853-1 SYN854-1 SYN855-1 SYN856-1 SYN857-1 SYN858-1
SYN859-1 SYN860-1 SYN861-1 SYN862-1 SYN863-1 SYN864-1 SYN865-1 SYN866-1
SYN867-1 SYN868-1 SYN869-1 SYN870-1 SYN871-1 SYN872-1 SYN873-1 SYN874-1
SYN875-1 SYN876-1 SYN877-1 SYN878-1 SYN879-1 SYN880-1 SYN881-1 SYN882-1
SYN883-1 SYN884-1 SYN885-1 SYN886-1 SYN887-1 SYN888-1 SYN889-1 SYN890-1
SYN891-1 SYN892-1 SYN893-1 SYN894-1 SYN895-1 SYN896-1 SYN897-1 SYN898-1
SYN899-1 SYN900-1 SYN901-1 SYN902-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