The ALC Problems

SYN418+1 SYN418-1 SYN419+1 SYN419-1 SYN420+1 SYN420-1 SYN421+1 SYN421-1
SYN422+1 SYN422-1 SYN423+1 SYN423-1 SYN424+1 SYN424-1 SYN425+1 SYN425-1
SYN426+1 SYN426-1 SYN427+1 SYN427-1 SYN428+1 SYN428-1 SYN429+1 SYN429-1
SYN430+1 SYN430-1 SYN431+1 SYN431-1 SYN432+1 SYN432-1 SYN433+1 SYN433-1
SYN434+1 SYN434-1 SYN435+1 SYN435-1 SYN436+1 SYN436-1 SYN437+1 SYN437-1
SYN438+1 SYN438-1 SYN439+1 SYN439-1 SYN440+1 SYN440-1 SYN441+1 SYN441-1
SYN442+1 SYN442-1 SYN443+1 SYN443-1 SYN444+1 SYN444-1 SYN445+1 SYN445-1
SYN446+1 SYN446-1 SYN447+1 SYN447-1 SYN448+1 SYN448-1 SYN449+1 SYN449-1
SYN450+1 SYN450-1 SYN451+1 SYN451-1 SYN452+1 SYN452-1 SYN453+1 SYN453-1
SYN454+1 SYN454-1 SYN455+1 SYN455-1 SYN456+1 SYN456-1 SYN457+1 SYN457-1
SYN458+1 SYN458-1 SYN459+1 SYN459-1 SYN460+1 SYN460-1 SYN461+1 SYN461-1
SYN462+1 SYN462-1 SYN463+1 SYN463-1 SYN464+1 SYN464-1 SYN465+1 SYN465-1
SYN466+1 SYN466-1 SYN467+1 SYN467-1 SYN468+1 SYN468-1 SYN469+1 SYN469-1
SYN470+1 SYN470-1 SYN471+1 SYN471-1 SYN472+1 SYN472-1 SYN473+1 SYN473-1
SYN474+1 SYN474-1 SYN475+1 SYN475-1 SYN476+1 SYN476-1 SYN477+1 SYN477-1
SYN478+1 SYN478-1 SYN479+1 SYN479-1 SYN480+1 SYN480-1 SYN481+1 SYN481-1
SYN482+1 SYN482-1 SYN483+1 SYN483-1 SYN484+1 SYN484-1 SYN485+1 SYN485-1
SYN486+1 SYN486-1 SYN487+1 SYN487-1 SYN488+1 SYN488-1 SYN489+1 SYN489-1
SYN490+1 SYN490-1 SYN491+1 SYN491-1 SYN492+1 SYN492-1 SYN493+1 SYN493-1
SYN494+1 SYN494-1 SYN495+1 SYN495-1 SYN496+1 SYN496-1 SYN497+1 SYN497-1
SYN498+1 SYN498-1 SYN499+1 SYN499-1 SYN500+1 SYN500-1 SYN501+1 SYN501-1
SYN502+1 SYN502-1 SYN503+1 SYN503-1 SYN504+1 SYN504-1 SYN505+1 SYN505-1
SYN506+1 SYN506-1 SYN507+1 SYN507-1 SYN508+1 SYN508-1 SYN509+1 SYN509-1
SYN510+1 SYN510-1 SYN511+1 SYN511-1 SYN512+1 SYN512-1 SYN513+1 SYN513-1
SYN514+1 SYN514-1 SYN515+1 SYN515-1 SYN516+1 SYN516-1 SYN517+1 SYN517-1
SYN518+1 SYN518-1 SYN519+1 SYN519-1 SYN520+1 SYN520-1 SYN521+1 SYN521-1
SYN522+1 SYN522-1 SYN523+1 SYN523-1 SYN524+1 SYN524-1 SYN525+1 SYN525-1
SYN526+1 SYN526-1 SYN527+1 SYN527-1 SYN528+1 SYN528-1 SYN529+1 SYN529-1
SYN530+1 SYN530-1 SYN531+1 SYN531-1 SYN532+1 SYN532-1 SYN533+1 SYN533-1
SYN534+1 SYN534-1 SYN535+1 SYN535-1 SYN536+1 SYN536-1 SYN537+1 SYN537-1
SYN538+1 SYN538-1 SYN539+1 SYN539-1 SYN540+1 SYN540-1 SYN541+1 SYN541-1
SYN542+1 SYN542-1 SYN543+1 SYN543-1 SYN544+1 SYN544-1 SYN545+1 SYN545-1
SYN546+1 SYN546-1 SYN547+1 SYN547-1

The Blocksworld Problems

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

The Condensed Detachment Problems

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

The Church Problems

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

The Kalish and Montague Problems

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

The Management (Organisation Theory) Problems

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

The Peter Andrews Problems

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

The Pastre Set Theory Problems

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

The Principia Mathematica Problems

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

The Quaife Geometry Problems

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

The Quaife Set Theory and Related Problems

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+1
SET016-6 SET016-7 SET017+1 SET017-6 SET017-7 SET018+1 SET018-6 SET018-7
SET020+1 SET020-6 SET020-7 SET021-6 SET021-7 SET024+1 SET024-6 SET024-7
SET025+1 SET025-6 SET025-7 SET027+1 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+1 SET054-6 SET054-7 SET055+1
SET056+1 SET056-6 SET056-7 SET057+1 SET057-6 SET057-7 SET058+1 SET058-6
SET058-7 SET059+1 SET059-6 SET059-7 SET060+1 SET060-6 SET060-7 SET061+1
SET061-6 SET061-7 SET062+1 SET062-6 SET062-7 SET063+1 SET063-6 SET063-7
SET064+1 SET064-6 SET064-7 SET065+1 SET065-6 SET065-7 SET066+1 SET066-6
SET066-7 SET067+1 SET067-6 SET067-7 SET068-6 SET068-7 SET069+1 SET069-6
SET069-7 SET070-6 SET070-7 SET071+1 SET071-6 SET071-7 SET072+1 SET072-6
SET072-7 SET073+1 SET073-6 SET073-7 SET074+1 SET074-6 SET074-7 SET075-6
SET075-7 SET076+1 SET076-6 SET076-7 SET077+1 SET077-6 SET077-7 SET078-6
SET078-7 SET079+1 SET079-6 SET079-7 SET080-6 SET080-7 SET081+1 SET081-6
SET081-7 SET082+1 SET082-6 SET082-7 SET083+1 SET083-6 SET083-7 SET084+1
SET084-6 SET084-7 SET085-6 SET085-7 SET086+1 SET086-6 SET086-7 SET087-6
SET087-7 SET088-6 SET088-7 SET089-6 SET089-7 SET090+1 SET090-6 SET090-7
SET091+1 SET091-6 SET091-7 SET092-6 SET092-7 SET093+1 SET093-6 SET093-7
SET094+1 SET094-6 SET094-7 SET095+1 SET095-6 SET095-7 SET096+1 SET096-6
SET096-7 SET097+1 SET097-6 SET097-7 SET098+1 SET098-6 SET098-7 SET099+1
SET099-6 SET099-7 SET100-6 SET100-7 SET101+1 SET101-6 SET101-7 SET102+1
SET102-6 SET102-7 SET103+1 SET103-6 SET103-7 SET104+1 SET104-6 SET104-7
SET105+1 SET105-6 SET105-7 SET108+1 SET108-6 SET108-7 SET109-6 SET109-7
SET110-6 SET110-7 SET111-6 SET111-7 SET112-6 SET112-7 SET113+1 SET113-6
SET113-7 SET114-6 SET114-7 SET115-6 SET115-7 SET116-6 SET116-7 SET117+1
SET117-6 SET117-7 SET118-6 SET118-7 SET119+1 SET119-6 SET119-7 SET120+1
SET120-6 SET120-7 SET121+1 SET121-6 SET121-7 SET122+1 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

The Strong Fixed Point Problems

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