SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 [ItLT ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=13.345cpu=28.892gc=0.4607zXZִF! ]ŗXiɟH)0!h]?W _QʛJoɨ,e,g/H`(S˘(,_@w%O/>s)7C%_ G+,3 aWZ,Λ)yImcn0ǥԽw|e,EQgK}f]4b Bo{J5Iha'@ ckgg3tM\4%nSEz vOAH}eGSL+ZΠ.db}p֤'bVQO@.yWS fzpo-!ϳqS=dִ3`WHRc:1$L"=_Y`<[([sBIM+No2x2]B+PI:n#f]-g%;ͱhN f%՗Q^w6$ҭfl=PmF4PCe^-LXeNܱG`p4qD7!⎬h3l,n[rֶUO_;0Y"6fKNUju0Me]Gd"70d<Iv:,_kv2+ׇr-bweHJzedUbKz|!]f{G<,#rϓ,띺m^kئz$.5 {j‹%K/h*︱gYZ7zXZִF! o#]ŗXi%D8W5|XDs isxe|Qi<̇ Dѱ*P~vW} R=iSxyT*~PieE#nӵĖ1W_sPK!X'5%O՗ENk' nPj^:ؗoPՓ<)ѥ6X@!V5 @fB*gѝezs9`4eiW6|1*ܺE&܅f$8<1&3חj^^4lFKu5`]Dw]ao#C2/ȱrqO>˝8a:)yf dLK}(>qrYB4nYwUi-qR$PؒGnq;GZЄ6ҡ  3vn/V&ixX-یbsUj'<}՝<`9]U$=;uiR̠j'J||,~oMŤ~?0ޜnO`Ե c,NUV~?BcʉbC*hd`;݀Yhsݨ 7w̌ɪF8 |Za#I/IzhEdѡ9pCH9=ztx{ߦm!9zsiQ:yicl8I OFe5"&o:7aX-'lX@i;}~'pHK4d-~m#2h$6GxjψnFj!E O@S.04D"{W^⮊t䠙*I$fTnv23ڡSVOT^(_WṂD ZNC8n*2K-@p\ʍcYmY! ALVp %quwRBLoyU<^K dGB%͝/ʮ&H IBQƗVK3EG:ZllOyۆ"a>|p~Nv;LJ·E¼豿vSSV-9y~ GϭI݇*ߥd qgFfaفtP E)#:S $Hj$1;#UoTMw7Ɖ K4EoזqE=QbӚO託lFU6rWб@%O|[QLz /onzJ.L~hJy"kiruVG͒VpҶ>zUprtKgYZ3d5cce6d8f2808db8488056f74ab70698ed461d0c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a !I Types_Tableaus_and_Goedels_God?Ig% LTypes_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.IHOML_Examplesdocument.tex7zXZִF! t]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 fIe% Types_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.AndersonProofdocument.tex7zXZִF! ƓG]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)knL!]&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"rWP+ZxT5JZt/rkON֗s'(Г_g;6YI|SA: hF*R$ZZo  zD8n[gs=h[#@zf([*uwFsl&.iru h ߼{ofέЍ歓e7uLQ]&оc?G^ZM OL8bG3u ,k/=QVmw1/U7{(٭qxݢLG"J/Z`ɧxuՍe ;5: IL_zܔ"փ8?] o<)~~U.:Kb΂HLY?Dq+nn_a&~ab:qL q`-x2`?Iv;{S6 hm2q4u"[,hvσLbg[b]BW5l>{!gm??-iZGVꓦDnTOv|t7F'ԄZr5mߠ6|NSL_l@ߙ4.wݱgYZTnڏN"CpHm컑Dz|5:bb40("_AĪٝGLFHM0 [Yc呐j#Jlq,pxkO瓆LoFl]Ox=p$ wKrêYU^L 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@3 |3\&| .}_kx@ ֺhT_\YrRʟcbv*i"*{jT_e@/ޝdZ"ueAe0ɢuBTO'Wo;P.B$URss].Yh#8MW7EVxO`cZ rlgB~-u.xG zrB͸yR`=KG#bjz$悉ߋ^jy[!@}Eh=RiK9? y=D1yo?2EY,JHގ5;= 0RQ/jrU91xq9IZ1W1pqEqD̕f(~wsonz|lQ;6"5MEG%j^1NgG,l0UysGj<,\Yf(Y>B}TC֕A]cTFьE׍ؾD6s?nք:6}lj-O #>]TJDMrG|0:Twηx# :`[86P{ߒG^Sgj[ZUaܶ}D6! d%Y%cX6@P QH?'@lDjckj +_:Sg0/; 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\V i54I7OO=85%yzХHkNnT1],)%bMRqQ 1xb1"Ml N6R[b//-Ѻdzʲ ?SnOT?)K+XbUX,er ^RE!'$7FqLk/P4TeC 2,9hz\n8ݦNZì_q*Br%`9a*=!aKȯO-(ۙH_)s`-`;Pk\E Pgi_oj]'vyY[z.糯'AEvc&GJa% &c0Qɣly6+i;z X9G58'#_9=eB#()!9mlA2e]1$;tů22eGxI@anYMVj9)&nO4bߜ""_H4GxR&U[^FxP 6l:5zJZEa֐N+]^V~ҕ[r跗3˱1u؋'G0F9/(%dޭ]е-!U43(2Ҵɸ& kGI2,lpA=ڭBgYZ EE?Ig% LTypes_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.IHOML_Examplesdocument.tex7zXZִF! t]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 fIe% Types_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.AndersonProofdocument.tex7zXZִF! ƓG]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)knL$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$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 ?ڻtjy`ֳ`n\H̡=Iq1ےo3lZ '>ءn21;m: nyf~Co,[tS xtp)&!k(_']}LZ}au3ȀR-bǼp|Wv,myޤ2jW ir`)4.5.ϬpJ'&4Q.QY?[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] oIg% ,Types_Tableaus_and_Goedels_GodTypes_Tableaus_and_Goedels_God.GoedelProof_P1document.tex7zXZִF! u ]A-MՋhvG"uIBm57!PS6H_XG"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 {/_䤼:DuVA6^3A8? @";FՌ>rאCb!WӬ0{4,L_lU gEy;qH\p נZRWȷA>ґ[*v`:q`f*8%2k%-{Hz`"#=ԅjU mӍ˨ fA#q@ȹb)Sg3>.Z*-I16).,D+}'յC4^,cAXT{*LAY2/R}҆u lBл[ o9}p7o !! **vnfdFJ~5r٤QcWǝچ@J׍d6ꯎ/D"s 8/Q-<O,2$) fS1 C4#+}U ]׍heO.7~tcbz\5a㏋/@2Rub1>X#B_ݬ|Q"egYZp,41m,.%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@1z4lR4ݠ,9s.dꅯ)m!S;־U<: J5Ge-5~G L^:/X,ϖC,3r7r3 q"YSi gEJNv7aĤ5Otl%Ӳl./9YZv^Ǯ!Fz ,$EO] b+ٌ=ɂ7(o_|Y::EVSKԊF{"j{}ޘ+N7~!U")}>r},+8|^xk&RJ61K+P=^w5n Ai5Ȑv@A9gsO׍^;h8rAqωضq]9I𖦔PWN֏뎆 ހ RX]?^Y[j$P:p0BMѥCBKo#UIاI"(G?7Lt`9{ cj H\1\iVךY u%=,hvt3!0-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Ȫ=