SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info xI 4| ]/ Types_Tableaus_and_Goedels_God:threads=2elapsed=22.112cpu=21.472gc=0.364factor=0.977zXZִF! "]ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvXTk.0u_h܅`[œ>`Oethȋ #pL+W$=!!&MSyD?T}_K%.Y R2uQ [ոZV, Jw( l$zP1l&Η1\M4 azzԄuqq_8i뉽xRNW ׌Ȭч~,c٥,IUj^[/{? UVt֡3jFʂJU⤍i8A?GUI/hU, p="O˶,7fT +h6%{B?D_mAcTDBAT#[,^> 30ѳ|AyJQmrTW(S>r@^Jc#+`%gl+hBS;pX,C 1!W07]wO1ߥ2cGf ll\ߡ~uux[& gu8/Jgչ>;oŮ1=7 B 4R tpi<, ZgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7i4f`w0=w>oV}E!iC]c/O, %zӼkى]>_LBgK#JUI4 qU]> L%tI]D6cM쟹/8zgBE=~h~#gYZ7zXZִF! ]ŗXi%; HyZ*m+Z%dno-$n3XsLỹm`$mxH][+|Y$ 2jĞBu$Wsg ,3VTQJ"$yrA- sm i\]6ɵ Xz^:>N}Tqa7t1 ]2A2TNfɈD| fʓk#֡}J$:~ElvZ+C0Dq puǒQ/!L>G3t4Z2D;Z&ZrvA` gT>4aW+L讀}|R4%I?8-; H/UwDŴ15x\O~m{)2fu ڔ9icBgy7^<{$ FdVUweiHFk6*~KY8No˄$StqF8W]J{Sgԕ4ܛHV:pb9^i2UKʾW(7^J4-V;Rlg [WGYs$ [8YEQdufȂ(F;JtY!Z%hwKJ2lվMrw @&wl"ʼߋQE"H${ hS^h\A/cS{qlOS5BKgYZd3465a85cc2ca50e0001804a3a743e474bdfbcac0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 !I Types_Tableaus_and_Goedels_GodIU% Types_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.IHOMLdocument.tex7zXZִF!  }]A-MՋhvG"uIBm5 b5@\& `bǃ 5f$q .Nyo^VswmS  ,{A2 +T %5;*s ]0 r݌&̊!^B V^cX_SqZdeG_v@qHorw~ 5kɧz Ϋ*]{bwf8g#j g"f; x]*R2NVBR(KsQq z1X+U0u=|fa !9H|Ҩ~b}{$"7jbq m$! `Vi̾Bṷ]|:i L듑A ,L m`=j1TyE`NH8B< ,k͸@9_6j) "#Mgi60-_jgE}~&2 rW`U!0/>$e됼@}B=' <9 $bilt[WY 86RڪuLE7wwZW/LHXa$|8b&; PVl^BVcUMzKY֗Lzu$ȦnXk,O;y3*91-$Ѹ: #PuݪŞuA4r*&}ɜH347|uLs]B,nLIZ~2_b.jl 'p]=sGt q'Z܏1ue:G>G.|| $SmdQ0Qu=EuzMNzl +=H}:܊kL5c :"&A/+k[>[ngC_Bb$s]4+p^ωUP"iZrg'aPM0 FUsN!bm`XZL.PX-Cm=O#U:3=,K12v" q>π&LmP!#hjwb-oܖ!P\wL57Lxx#04mʱMe_XnTҲ3&0f(y.}2dtЊq%9^o=v g ^6:$ I'_Qԕa` {R/r>m  ۍ?TOE&*2BoͰOYn}Um+C"///Hm]@ѵټ7OfWWƈKRk2A67 FϏzQ]?:,N]L}x?Q5Q/7fKf$dm5s-XpXLlw#Z`Μ.1gMic]'#//)gXu{%7e^Z|jn~hH!P͎\o2x nkL̪k#-)_I:NfkcnZ>~=XXU?N84e!UOLzW/{z7CxIPduȊ[yt7Q\2ǣECb;PsMj(j*e<tK 2H6:)%ՔED ZB˲\z5/@7n.JU:Pz43 OsR|@OBQ ol^, N\ZAzmͼQv]zl{YW#}þBP/j9_v.JIqN3܊?}G}Ѵ80$hU؄ߙ}BY9cƏ'M|O)A(=x>d4 /$܉ā-yM5"bNw8B EmÔWN$)c>+Z!+(P~};Eeӫ[ c@X/d̂v: T{T8LnXt9@ DIbs=Qs|JΈҮǀ 1 d fv&EfCήk`Mx#mq8HU0/eTZe(7r@e0gn^K͙?حX2;0 tE/h3f(d*B}lOlĨ)dj tR5@fH}ѲU!"im`y̽/JL_VO+Yn47H0k.q,(9p<3߭"0/Y\Vy$m O`7afי?:> Zӷ l.)mhG ,!}e\xpSj"L)wyg1HeΆ:xt,8S۠`Ny~֋N<&|+]\Ţ_-yi-sk} 4d: 1RmfċMbcU߻&ßsk"_4F3qF͞pR7_9 y E_g E6X6ppI^=^ l&'; !8 -cITvpo}SV0/; 0 ߭D%ʦ;3lEEg<ëD8&gX'AZ0GԈ;zq_sV숎KZE[ 0]'Z g[g!hg\](&}0XyꟜ8+PE <+V',Oaଯ0"x2>c@./kowxA{x.91fUfb!g-TQKɨ6 -F'O]dN@ު,=;%}},2^O$ΐ,LmZg"+"L`m_KZ-gb<-(cz$dJVRc@ޛgs+~ISN%޿DB_S1%S:0R?Mj5; Z -9F3<38NvT'sf('=b(zXG3`D}쑚pZ 0%e/7pxuf'ׁFZBƒ$ֹ a?W=Rt,wmҮN' B;L,^2H VׇxPkRR忤 ߾pW弌ٶ-0e&u͐0Λ^;heaNM;Pp2TU(**,,PX)0ກ%3!\yJ#v4~M"!\ 7kN[ם`4l0pXGKnk+01UT&B^mVF&\U@1 ^Z+jχoxC-&@wOY\wQKWF4R͜_ZQTz'5 fK\ߜe7lKVlA4ЎjxA;Ԫ^a^nl^Eg8[}oSU)8]| 7t,Fqb]R=dv6{k H}\ex޵"b%bLSy N8쭌A6awRIo#)ڬ8ٲ0ېOAZ&Ö~aƽgTݯv֟wV!pFldDrP^¡h c je,ҏwtݩ%dk s1;ץ|EK=-.EܿfG][L~C]r룸pt:UCp4֏ ZVPu/03j07\ /STsWӤa}V",^&R }!bHG3V!ߡnLM0h=#a)ߘ^Y:1Vu״NG"k)=1-ȠMHj-7p_|wͧppj9Zp0RA=_'+|\RbYT 1R~MI&b^<p`.u`ion`sa!iLo.өTp18Y-c> !BL,TqIGһuHE?;Ž_iuAh9gP RvMeK!LF"\Lwx2͖T0زwѵ(E\D\5ӯ0>5cͺBqM0On6Ⲱ` N7j+r>-hx\lTǚhFhJ)cX2_.iCGo9~bHw5PA1ʝG6f YTm#t0/,!dhӗW9C#@_qmDʧ$2b .m)Ja. :( W$]OhS]׀́ѯkը  o򣲛),uK[亝yf?=Z~I>--{9֎1A=4|13 +2|ݾ;r +pt}9#i\&5H"ND" `P=~ cX5a4R P l*W=hQk#6P7EaZ\D4 ڛΙXxc0"tC8a*Y#3f5\ü?K.EhZI78fUb`&J ]*39=cH\⅞pRߖ G &̿LܼA * Ą( ٷ&xctK ] ŭfdɆd;i#=}c*?DcL +g *^q5zP+B+|x'-BB@ )nb[n 9~>N_X q쾒*>loLc*Dv?4];%=XX ?A gr? 2"j\m$b\ e&s%ZvVߞ __WQvVГ*Nf͍4X$n-[<λ徿zYlTP )jtgMXI da;Hc񖜈ū,Ť9/+/K ֆN%W@nsJέ^q*d4jl+)hg?`)F;' 7.B՜SP.|/f#|g1g^@FEd^|5IO꼋wZyazT3/)+{e pS:% +I:0a^: aZ.{3UpV4"tY9J8fʈw>߯@yExb6I\nsOtHg<3МJsA{پ}j-}uGq/MT8"5r\et𒮻JߨEpҗr+ynCo`#l|a㒤fJ`BwBTg,R1iV4bWzEÛ+7"zPgIb@N&&$iu3'CSpKU<ȹYֺTL\}ݑp,"WF C3Z:†}A8DƦ @c5&HRWmPW0/!#uKaw2($+\oe]n8Iz5^JڪI#DlO?F*t$9ԫۙ恗+C!ΈY 2 :Q@\)ڢ:Hr|~[ LHcQ>Pa?=UC ,TKһpRב*PmD`~lM0-Zh҂/Ha5aI|-]?E8\}\(QF?E $v&<67')~ joK% eN \QATeތ410#޲$-'"znNI~jˤM~hЪr>#<`&CEj- #11J!F a,,zwo{r&jyO7V"8ځo۸x=Ϻ{~n_Q S_fb ja֐l. *8套ԅ}Qv'>%gHc)5dznxW,jM, ^^kt^d6雴\c6JQ|^^K=j[oI˙@><m?fϽ93+5qL5DLH޲+>8ԥ {YdH7Qg%x=ƣzL9T\1Ph_jY1CϪFzVo[2;4WNnZ&J$|.)IBTC^䫓:k3#' lc"Uc 95 ŝJK;ϡEqcLQ8鏧u- /@quUTR%WfBԑ'9|m%|}`<:0]%7 P$?G'jq?W:)"L#WDqg>ciI&`4 2 zJJ_-?JI+a[ZG}jOHs_w<w g j$s^򋁕w e m@ѭ=z^kLxu|OԹvuiF!DO[}IHqj$AWhŠobA5fX8crMs;PI 8Qպ>{ 8 Kjԉ`&DjrкU/I"ϨMY|uR3w:]دјڒ@sYX8;;a9qqpjm5@.dw’T4 jB[u/:'ߔ!4gA7\~xQ[9vYv<Ȧ&a3x:W:[7LU^7_ 5j_?c73bD%f;5A3[K_5nQ51-dKUjP{SN$(~/sޮzyp`ػ6;,2TqXrmӢ^#9+tӪYN0ApMffty]VI^ iڻߝv=7e4GBAokSқ̰*Jn#xΑPx&fAxE7MFg$C1O_nG֞o?sCԇp}~0sTԅRvP59p꜠4J_Yʳ B\ Op`G= 3\|*)9&PlN:dG[哢>a*i8K}m4qD$.JJ%q#R rAEحz"O:^CWuO؁d3D ww21Q0n4u@8;f)S6}*?ӫϴb9HA kaf? iюWC<{xd $$DgYZ IU% Types_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.IHOMLdocument.tex7zXZִF!  }]A-MՋhvG"uIBm5 b5@\& `bǃ 5f$q .Nyo^VswmS  ,{A2 +T %5;*s ]0 r݌&̊!^B V^cX_SqZdeG_v@qHorw~ 5kɧz Ϋ*]{bwf8g#j g"f; x]*R2NVBR(KsQq z1X+U0u=|fa !9H|Ҩ~b}{$"7jbq m$! `Vi̾Bṷ]|:i L듑A ,L m`=j1TyE`NH8B< ,k͸@9_6j) "#Mgi60-_jgE}~&2 rW`U!0/>$e됼@}B=' <9 $bilt[WY 86RڪuLE7wwZW/LHXa$|8b&; PVl^BVcUMzKY֗Lzu$ȦnXk,O;y3*91-$Ѹ: #PuݪŞuA4r*&}ɜH347|uLs]B,nLIZ~2_b.jl 'p]=sGt q'Z܏1ue:G>G.|| $SmdQ0Qu=EuzMNzl +=H}:܊kL5c :"&A/+k[>[ngC_Bb$s]4+p^ωUP"iZrg'aPM0 FUsN!bm`XZL.PX-Cm=O#U:3=,K12v" q>π&LmP!#hjwb-oܖ!P\wL57Lxx#04mʱMe_XnTҲ3&0f(y.}2dtЊq%9^o=v g ^6:$ I'_Qԕa` {R/r>m  ۍ?TOE&*2BoͰOYn}Um+C"///Hm]@ѵټ7OfWWƈKRk2A67 FϏzQ]?:,N]L}x?Q5Q/7fKf$dm5s-XpXLlw#Z`Μ.1gMic]'#//)gXu{%7e^Z|jn~hH!P͎\o2x nkL̪k#-)_I:NfkcnZ>~=XXU?N84e!UOLzW/{z7CxIPduȊ[yt7Q\2ǣECb;PsMj(j*e<tK 2H6:)%ՔED ZB˲\z5/@7n.JU:Pz43 OsR|@OBQ ol^, N\ZAzmͼQv]zl{YW#}þBP/j9_v.JIqN3܊?}G}Ѵ80$hU؄ߙ}BY9cƏ'M|O)A(=x>d4 /$܉ā-yM5"bNw8B EmÔWN$)c>+Z!+(P~};Eeӫ[ c@X/d̂v: T{T8LnXt9@ DIbs=Qs|JΈҮǀ 1 d fv&EfCήk`Mx#mq8HU0/eTZe(7r@e0gn^K͙?حX2;0 tE/h3f(d*B}lOlĨ)dj tR5@fH}ѲU!"im`y̽/JL_VO+Yn47H0k.q,(9p<3߭"0/Y\Vy$m O`7afי?:> Zӷ l.)mhG ,!}e\xpSj"L)wyg1HeΆ:xt,8S۠`Ny~֋N<&|+]\Ţ_-yi-sk} 4d: 1RmfċMbcU߻&ßsk"_4F3qF͞pR7_9 y E_g E6X6ppI^=^ l&'; !8 -cITvpo}SV-4d0jt{' T 15\NL~$e! \"v,vWJEn¨Q"A(TN,? ƤQAuk?{[te%+)+SzFPUU8'_b~L~ Br/IQя}lȽسdHn>?]dxSa5VhAܪ'k(J=nTų'nZѥz*9Wk+n'pT\vc'6Լ0= ^9RM5.~ZԶ#3ԅ/%\ FKVa @SCc'' G+38P.+ͫ{&tC40#*BDc\lzBd1u}xFYU!iP<ie5:tVP"cB^kJ8bUq[?hJ5@D(׻X| Kb&c7a(~~&-=YR>^}bc&U.ۼwWMrS a&3yHrjUQtn5_)( v@o' {_@GFdp1:?VcZUn[P)/,p/!bY()w>SSgǵsߌ8BK4+tD7h-l4B)\t|!BR=Vɢl8d}[zf֔u$2 ~*X@?eA3U*]a;\CmC 4٠GFQej4(Q1| UK|kkat1gF)rh*E(ERZv kd^抩_kN8 nK!ҫ_,Z 6_H/%WQR)bVx ּ8ҶHC$B,ܭx/ۤf#s zU\POf۟t.CGoؗ0⡊X(\M>m<"bqᐔjaP~οݿz٫hW/n9gtJ,Rx {v[+\8_zB[{1QxڃC/bP$\'DfM^X02%)dcqU٪b1נ"w?Ϧo%$A9Ճ2 Q9[S(^so_UA|@H3WpiDAlfq+/-Y8BƓ#s©b,p2\>ʾ׉HI #VzK~j s0*6:eWP~Q@ :95J eѼ-E؜%iki#\um;"&k|ˆd`2a7itQ䬍}HAٕ?aMRl:=[F7wRS322ES~v\HX V{?4a\Uqުl>`cTk&/%h]!yY:ߧUEN͕N*@l] (նЅ5S;n?f<@vNz)n4Rpp `rw(995uNѪ1\mh5,?Epůzg C"TWtMٍM!Q!!!^C{lLmG\\njQwÅ.o ahFZb 0zvbt's! 3N~7=heu0Bº8r|R Q ;{b4̿dUgAfe}ֻTBq*-~b,z~&D[BSJ|ԔDeЮ3f2zdC%v-pȪ=p,41m BIg% TTypes_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.IHOML_Examplesdocument.tex7zXZִF! {#]A-MՋhvG"uIBm5 b EVNN$UAWXmBWKqu]j~ge fs C@`__{$0ף:W0h533fMxp."[@Qu I>~hj:7)e#vXN|*_rVŹ`UJ/Zd[央 E.9J3Plյ4jͅ H%NR!FY,(@W`;y*5M1WI/<\}B':EqtP.Q6n :;UQq.R5A $A4G_Awcݔ gbfj^/o3t9*~8e$#uMFlC̕}$z1ViuBϕcj*Y$K Z q1b\yU}Ē <^{] c{wIv(((G,P% Y3PQ$n}5y:_èUY Tn,.%0da/rq $$+^k*nM= *tr[ twU-Nj7RΟI·ZoE[)j3eã(MU9ST!;Y 9z99 M4O7?D-!@ N.CRU&ËJ Ffpu9PPjTfEH 1\T; V=Ω Gvfk!ވػQ@anJc5&4yQ+XI : 46:;??jNlќ=276%7htq͉BK0 ]"swr = MܲLΎrI^,h-+e.1j̥٤K5ɾ;hl_'#Pyp mm4A8x81)+@ '. ,3/3)N+?VRޤ>+v ΍[h 0lXxL|ܠO N*~kp1Ms=H4򡍷X6h5HY}P-cC#3P0UDuߤC9mdɊ>}/|_i"}#u.xV% (ruӀXL~^BLEf41C'[`(в kYNYRvg뗘W3lyPT&!>*Cvz{ ӎ*3>gbUäfZJ7dr&n*f=vy Co(NS +,OKTiuTilr#[t>k*szlگG=TXBzt3 63: JY[C:}HG'ӯ"Kׁ\0¾p^^ݝaa~Ar`'/Ez`F>~FY@1o?-#y F(h3_ T '|G*D\İYK-IޔbHW[±0 un%YD mSvslGE,i 9 \aXOSQ۬C?w.+T5!?Jfh -xkU"3QJS6D[q&`/[MWx.z\ t pؖ+lV&J[ De VqG K5z>D>IK]=Eݝu~9@v*CxpX@Tc]~Sos*loZg|~mEK*!Qk#ru`cUE8zͿR#@dVkF4YF04s;H)3 V)I#1Οr2:3|S:'b~)sʬ4C#==@v\?V\qJҪQUx7"a`Ǯr-/Yy+V{mzJ$Ϝ@@2k}rD"%y 묟8F ekn? 7{ EDP)8J:8X,w4M*x]r;&]qLKs}mQӁaq%rX-[jdfP~~Y1N6oqH\gϏ$uás靉8KBdӰ„S|HX^t7lѻ6"zΎڑSAUa]/m('nol%)p8%2(ez <nɍbB3'3Vԏ1֟~b+25#:Kƕe`W)sebNmI)VHJ㌿8;z0ܰ#Xq `G 츜wt diTbWeيª<]'Јڿ)2(DU:JK eLG.XDQe3Z$"3\HXY"F|o |W{浫アO3ĵ'T7K|75vh{prTTV7hJȚXgx`xiJƖ$^Aұp)zf MߥAD$ȱbRa!Z<> LX VԼX5;o]oPSjfL;U=/}ߡj&'KT'4\y[\KgO stTUފӥlO1/VN{zc؏;ǑU3޴1bFH(e@1z4l)rr@`tH3gc&ڞ$1CKPW޴4GsLJ_mR+G2ڲo\*bIg+ۇ.H8[~&noؽ(s*;98Ă2D .ڣ28Y''Ԃ}gԯTկ']!!5+o'˂ =[˷ UKk?N.6ظ$nڕ;ɹfأ| }uwSCF GfrN:*s?[v71~@<@Lܛ=2CtmbLdWx΁VZx^ZOoo&}fl/+W:c8[v[Az}α(k[s;Rk^saձ5WipPg~0^B#9۠CKȰoz [3:7й4gYZ{#{N>!]&4~:4pW|Υ)NI+~Ė4`WI7RW0mGmepJٽ/9Z h qC }"'5?rITs9]4aVp Qh^ՏR̩E8zCpɱ6WF߅za5ᦕ6VA_PHpI-CTQZ뽑bk'5(h60}m gIk0幘]zw'tCgKv%$\<{m~ 0|Ҕˎn'TK rR*K<${9#н* h4)<U Bv:rMX޲JJ=@eT;C}hP[spٻ1h7$|8YK hY &Y:է_"%QΧĉ)aT# dzz G؛$; )>Li29Px Q'Î1[g'v&Lγ,NQ3r_*FZIdx.&Y|RUz7Elr:KQmpw{5&!0 |YF$c'+LQZ J"x۵q*dTcS]X%?Kh#Ӂ7NaN8i!wIҳZnUAFj ݎ$W.5_~Re$ +gbTJgc5kӦrZiJ!}tml~]@QڜYgCi/Ip QٰHG,Da9"F8ի˒7dœ- O<6L;@#zCyswQ4548=2 ?߮{*j؀Ug>$ fH7蠛taHb#ԯ 魯m{vAnBrb{Gp9|) 7k0r|IMYXOsL8U"a f];gybht&jBFw+% #_8DU aY-'+>yG`E?"ueP7s :Pd*>+oڊE@0ኜyndb?J;W':0v'{8Hb5㨎D+'cJ>j)J?SWM>,>%ҳ?&ZiYnzavۇ >H?HA¼O;U}, ,;p*ҭȁ;'o6뛗tKxO@4%Sz[A~$ɸ?[TqeQ hT&]}D2cQ+3X HP _=qco@{*@ۓx\ѼZ!.*S,ւ2|CAx'T6p[ZmQ2GH9@AsYnѭHƛ\m'{0(,96{+|N;*2e7-ճ\!y`^M a;I59%fa{ɉmFs5Mډdׅ? a>6bދ;EsOaFT3'̇(E^ؗ6= ?;dT'$bCTμ>9X$j@̱U7 z=Hߏ puY.u0hǰPȑcitfr"r\`+U!VKґEuaSC fc=vl: *MOf >hV.d0j8m%+X}={K-ll}z bnNd4W?ϟ.Gn$gYZ mIe% ,Types_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.AndersonProofdocument.tex7zXZִF! ƚM]A-MՋhvG"uIBm5-'Ʌ"^jo^V0fTS i Fg>^{{5u0VVon<\X?\qv1džHJ×NV K/m1LHn`c9ڵW2IM̅#!Pj Px< F)eϓ1l3+&`e3=+c^ #w̓QEeE sPB_,v]ɢbŜ{ YWGYNt* 0_fGEj1 \N`,?Gvl줁(|}>])r ]¿tmmFA]M0PܓKV*ѯ*#w2G'!FȘRzq KbjUڒ[l@p|kW鯇CwW7T($G 2DNB17oB pZrV81i7a_]_j"Rlr}N. Z}fvE\ /?YJLJv8M.,#ti p/pDfhB2J\yڕ`MYIHuB/c))CGd||6[q9ɈU1#ak6#r&vC_Y{U;ffN-rt1eUlu}{NYت(4F->̑:HQ<⠭*ݽ:2K񵍕/~s\J$\^>|&]8󔍐3Wvp'DjjFن-Z!Cfbu3R]~1IugwBU3; ]Z·F#:vh] usqNd@!%z}N6 6$n+0o,ݷnp5nzsZ%szd|s)knLG"6&l&H9@pp B7FkW˷hHQV_HX%씫orA7.g5"+4z9  8^˼ic6;!jx+1|D`q`9hQ7 t]B!MIɿsLU{G"v0XdXgW]ix洛([:hfD$N(ly'b)II?4#PLkaQ&L2*՜v[b;JXɥECZ.:j6u_-$B/E-sYP ]J .Nmw 6{W#v8&(px˱٧wGqc%>{aybxmEP?EW8fGܫa0nͣI% ͛ IoAKX})3L4gĚCxB[Զ>~47F6ҁh+żk.m,5иd:P|CCF[u||t;8#%kKU+ejZ^:\ńU| A2A+ygT?Yp_nL$)6ND3|d={5G o;Dɐ:ɨPYNƭ Li zN"1F$7;Ys巎*=n8oPp!,vs2[aUClIOd6m;ƾ&#+VXi3nb+&h#hxêFz7] ZE~`SopSETL҄+=K67蘤iV@Ljxó+6;n/)sʢh}١]Mߚ: sp8rab%En$@%mOU3};]9|S.Ns+$Ds< s?$ĨG6 4~U,3bk {\=f@n~p~;!y7#/@›I+(ĸ̌ovѵϦj$IXҜKdcVOM:6_ƽZӅ q^!1 b6SRoR^e{2;Įw;k2W79[qB3k<;_GilE{NYä? aZTz38)^ty|T8 +7xE2&JoxMBZ_%KQ]@Ȯ>BL)oWВl+?wUI}?N7@n ګ)vw.c;{f"b>OSx\J@5B7\Hv1u `~7ɇ э-bP=SBRpZK4*C oh}#6]GȲK|S8sJ6LBhu'tP hr B@k ܟf")"xgzDtH+P\@j뛯[L?ŸvW8$(]ybO}GQ؞j3O 0 &VdpoG +~:!~hyMa\r!vyx  @xˇRL5HzË$;#Qf?JzNf4~*}c^/z Fk]sSs~Kb߽f?||hboz^C}c&z6HI{H48QG.w)~)L`w/֧}_~XݔӲS:9n;trMYk͂eQ3PyѺ.̋y"E%Yv'N`.jX9 kyrXL {/_PEm9hTLi8WG/[NÖFXpWĶEP *tLk-1&҃%6nv8y1X<쥛zk[:0|<Υh`ٿ yi(9ڡ5O2 +Ňl4m(P&q>@Jyْ3?P&]]{Jg.j'"?gI}s۝N($4'6U>ȥ(i`[y 9IꤨB(.~,0$c4$T 8o~N"u A% ʾCF^Χ@;޴Q.(FxHYf^ۼGVHB߇ ԑ`\ Tgci±Y$`1h"|y9^ciн*)3XfcΑ-A;'0K5 ت`Tnfjw Y .|ه#>*m3NӼU8}} ذ`KK^rt] Ƚԃ?8n7rP9ve'JB0(YuRϫ1?ڢKkg48! 1-w".eLCu|tek@].t0r%gj-nme7LPII,uҊųBq a;RCCfc˶짢I{lyg[pMx"lc0*򭐨ݠ)#p 8ݟN OY⳩9<ĚK2DLFfJ%8Z$|xy#/{^vܙIfdx/^zC(UBѓ)PJŋA1B ]lL:P[g)-&Qɇ,v`sSF)0M<_R1֋FOq*Ѵ:+2Y1>%;E q!^m4&ȕOƴK !`#s, Tk% ^[.i穾ښ (8I![->lz ^z4R+bbT~;{d(<Ť+Rm /y7\c1VWF2'`䙎I2d`g♽Ŧ)[H>.gr Wgo5|k\Iz7l9NRh}҃%r7"9|BӸS#d` T*AU_c8Dzw ֣fu^de|w{1b@LK3 *_H0>,F<}ވE Q6:a,r~I߾<^?<<-mdT(]f?j5:x)A{ WS}6s&tCNb-r[q/# a_ ż f:bK&\JJ0IV`r\M^k]*ns| gʷ_" QTUΰPGXLp%H,ٟw4s|9@H2\Z@~B] |j$WЀgy_^/J-5AxHEZ l."Tϭ&]MÓ"Oa+1D/pM 1{1: _ "lsڄNUh j:@3R؎J.Mti$nKku %-aC  ~2\T ͬ߇eR|$YM0ii1sFA $4afϮiV=X[y{H;$ܠHUѭa#Ml- NL'W@*K<"%z.L.SݤQ̮Ӑos9h6|N$@uL;*ɭ-~8}ÿ9Jz; ?NZ1C|2pI]LEmܣV}xP?MkFց}dxrF\"U͉(Xa=YR"Мz;Y("p$F#jٓeE$^Wvؕ?4 @B͆FDkx7[ݳ9DlH9+Bɿ:[/N{i?l ƣ'Hn Q &f?)'AKF'﯂a9"}%c3 !ƈ= W4F 8Z]}_;Kci[ʌ0cfAF>1z֬~i>Qg;f_RشvFUOO m9{-ѡ7ݷOzlę/EtGi̥D>_f3[6RPJ.;mWjJbzF]6+JQg}b $S_"t[Y+kmv\{]rQjq2A7dQ ?ڻtjzB=utCEry}ȬOkSx1߱ Y-z"tjNS ~.a؍Z "7W ]2[ҟtYT" @eN&_Q[P~K[LQu|N&%ʌuU=fJ 1ǀRdRy |1G2cS3Ky|/5K]ʜo7#ݗFASeB\k:+V/Iչ(v~fPɖ" ɫ6sM4Jzez5;̱ԣ }jw?H|s'-RoWgu4qrA9J]kW+OhBPo{N'5B8zߛ7\DYgm6i( I7)ߘ,!;;]UFszM)p<{*KsM6w%H<wFS_<XY6)3loLB)4,%D!ODI<[ 0ہ7I}peJJtFLZ&gYZ   dIc% Types_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.FittingProofdocument.tex7zXZִF! F]A-MՋhvG"uIBm5kGTsdFfXdMR=`*BbǐkX|bfVgǔ73ӜG/zSlΤ{p;֙2^Hm']䮠3J/}y}تڥ%*} "2j=_v?jN|A/ArpqGb@.` V Y u}.K0aQY?[R'BH#ghg+3\#~H꛵00jb0Gxˆƞ54/ny MQl.^ ^&)![ظHrH;P-|#?NC"!q EuS7[H2opZ|>js[>I%P`x=Ŋk6!Я,-͔&$@Q4hy/ w8Z4ɭmDZCL1z c<(yx.5&V(UY~X%F)piF~9X;[VdNm4<^,V>2]ۻ=)Z