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 E D< ]/ Name_Carrying_Type_Inference:threads=2elapsed=20.703cpu=36.984gc=1.328factor=1.797zXZִF! f]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& I $mƕG#29QPj8Mg#\9M/~+\ *v/S=_nm k0BETD=CSov\ںڻ .M546`{La/ }e+j//3P:FV }A)p%ɉ_߶I58Sյpr%x`kPJ 0BgYZ7zXZִF! x]ŗXi%; #?ccHͧdzj{JRAڼ,-{*,6íM\BRI3;#Tf#RW\Y I)qjho_{抏b?Dq%sMubY`2YyE2a x? Ҧl}is\C%Ȗ"NWYl&AȴiSzplblh7N2ځsv3d%%ERX.gMmfE)E\en }5]` oJ?U);Ѐ% yMNL ^ޘ3cW$G-TGX{p`CuaeVHu$tdO%@8yW@=7_$mcP] 4|?Z~0ps%}ğ颺Xīø$*, mbHL"]`y~9J9x."S2+埥 `:F `u^P/r@FL/%ns-24DžW͝0F%^J!Ǽ]p*~\fh̢^4ӫ;`v'_4R1$3cW|j'8'aln'Dn@|QTFu&8\mNƍ7CQR*zpǺLbj <5>ҁ'GQ9Jy-I:n9;kWez IrJiҝANvf8.yS!d˕ĮgF>ȉ]Һ*/&}cܵAo?ppȀPlb H-^BUiV(Nm*=j[jgFH.>aFr=˟QfP/ٍ)_Pi3GX\Sf4)P wb si#; iAfHo 꾹kڅ$hJ"kkG"T4\ݝp8hUZ0u5>Bck xfEXdϞP- N(ē)o5DPQt w4*D5a*gV8vV~J=$=X5/D D6+gYZbd0b3039080235f59d35e13957e9ebe9bd9b506d0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 E Name_Carrying_Type_Inference Ec% Name_Carrying_Type_InferenceName_Carrying_Type_Inference.PreSimplyTypeddocument.tex7zXZִF! o)]A-MՋhvG"uIBm5LYomȚ% FsruP9M\9r;-J%5iX1yϼͧ* a͕Rtڷk@wղBN0S%.WHzbCFLN[l9@VҚ݆<%K:];Q_%oKPA.3ˍmy_j#]|^4!vU?[_|-5^e ?,_cWXKbR,uyfAbGq(I.nA/?E YMb 227aT3TLwZ8SJ3QʑEx"{P@MK~?ߒPTBYijnTB%}9sp"{4~#1x?rŤ P!6\Ss3\vfvnĐcbÓuYl-ōvx&~U܋E m۱}⢂ۗk Bu T @U_0&p&8gM4e'u-92kH,*o3,!%)3 ԫy't hXQIrČnM֖}N!NmԞ cU2wC,+qu1cC{,5S1jLG ثcKv@~BcSy稒D>+ZT`)Й5T3"'{xu%NFjuC-!~ Тk6by?ؙK{l6υH;[691@zҒCWT;.V4P2Ќp94&} 8)=[8{=|a @}s" Y\祠`^RE8 ؅n$Br;uQlIU{*/eϕ%_d@/kl] gz. E͸hОVC n[3PdiĖeMU.Rk?q73E6>_}mTů;>{j>z]RW2ҁ)a*8Gt8ڄֹ)}=ȚHt*?nb=:?GU-jo $ֹoOR>rT,$$R9塆P 3탛Oa^5%5 y*yXJp'a3Ѣ#".%OdL7$87JBZ G7f S]:3Zkv6Č=3ÿv ^n0DE%+o{. a&Nݰj5>b~m)HäBc MҾ?1ZD9a Rt4(>ha)F{.EtYAYӢªlD2P%u9'3z tݷe8f&cr3n,hb|{ Zo<E[c5r: ޒJ9nVxed /+}$y 3[jEym߇LRmYzrHTtY0ntV{O]ZΎh$[Jp2ZƣX*Y!mW`O)k,a9O+ Se3uAZY$ QU4PB˚O71f}z$QLfHe<"Rg.WŨ}6P0u8֔ioricBy਋!8퇮p NMD=v1IE;{"6ܻ+FƜ_vl.v>h)&sJR{o-av"TSF"Mfq}9^27cX毯YjJ&h+D&.~~E}I ,/u h)1䁗Y{U"[r7MDekSHv:fqAznϊTfBM]֓\G1 ,֊=   PVE]%Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypeddocument.texPEQ%Name_Carrying_Type_InferenceName_Carrying_Type_Inference.Freshdocument.texVE]%Name_Carrying_Type_InferenceName_Carrying_Type_Inference.Permutationdocument.texXEc% Name_Carrying_Type_InferenceName_Carrying_Type_Inference.PreSimplyTypeddocument.texc"S~'S Y6H*ŗq"BP0?y"j~YP tL({C9ZrmZUt8%R>S>94uGVf}&wvnӢM~vWAs8m%sEr4eyD?ա%,yȸƞS:yDٓ^"N![fA&shLs+k |."I.>ӝ &ѵ˺8R:Gm:pF.̑fNY/N#ݞ>bмN 7ryGoC4|eΦ;a%{5d^w"P{)?&;"`'}kFܿ'9Fd\N XޔGCc [Ǩ @Ӏjt Y_(fkըGe&e][珶ۃr&W#a)7] R 8hF^gW/. W˿!RU9s%hfH!w;ǑGN5e`u'kv'cuH@!MӒ/1޵׀7h֬Z+Y=yܰ곈<9+y*B'k9 q;v&: ү/*:U7ٻy);9#u7 KNj>cu:j|$M+H٢icR tX7[޼k-E t؝ j b]]$uIIF;1.؋NC5.X{5<忏,Zpyջ ̬_DqCyAl9R7Ϛ!Z-Qoi>(u Փf41g!dqܑr%qab UlD?*VNZJ6\y"Ȏh 5tI`44{s dpDR%o%Elz%OcQ)-r=4 Ĝgy۝dPMPdiP߄S^*P*N~95!Es-vyO»!R }# Q7WپɬIkOf&;#*k1 +L06c+cd x 1#g$Y9<\5[e-RpW$sZ*lJٞL0SzC`{!g]kZP.JHh.Oe3h[k2lxtm i.ȞV0;((NSgHB`Љñfj̓sXo̩X^>RxNBW^\\_I$91C,𿻒ױ㪈o`anQuVbeh$3.Iiǩ*OVXw3+n?r ~tA0yh˴P);nn"&uк|ħE?i k&\V46.C T6vK]^ylޕkjġeQ qS^Kΰ}Oq-6^z!L \Wb^P²")q*@nS,9s_Ҡ9Dx#i"Vk#{Hڤu$U=m>ApfS$.㷕09jv7 -ab`E'h͋B 9A{A,"-/e#zHO`5@Vk+l@lG<^^e ukj0 bV SR5mtg,34AC V=̎#';OfF+l; "oUaؽj3j+\SuVmnbx̒->`{.E: UyJMh ן0+az7ZyYz7=݈H~[=㹿HEvˈkCۼ|08$yft Y K욯?016Az$mk%+!ʴ|aR;%= 7nXo-͛Rk gNYB5x}uP 0EZ=g3\,y:L$^Q9ÇieRߖn M]YMT'{Zel7.bTo3i8ї% %5R3c=X9zC`2~O+x#ne.5OԄmo7L5y ܶ |o H+o-;C^zc/ho<5SyS*.A0jW(%;㩕?S^#q,_Xe'n&c:}g;l31EvyP16~l2b/Ut ieU ۉ| P+ax!ofKõY3rVi>]ZW ] $y p~|Ga6͔Wlޭ<2*`[8^l[aKW>θ@u}S(S ay]jqe,N }_t ir[pĦ]Z`ҿB3(wHִwA @> M#$`$8|? RA?I*gQXXp[Bv'lh|$GJ|]fݙ1(n[@AoՇ%/Hȹdԛ2i%E^XQ ?. yTA?UyvY6Cmq£*t&-P*N㆝,˴6L[Wv^7O(4+ju VX  5Ԝv*uN!F;M'KلYFwa )K* 5Y.oƾ1ӡs6t,`MxϚ^+ LPA9ZO'[ՄW?JTn昏,L8q$\u4&iH $L6Dk'{J>㪹,71#ՉČhGhbIcݘ긼b}Y=qW=3Gm$рLT}P9ӐȆ՞s!GNqdiYy)`]uƳ5šZ3փV ƫh.ԭe'Է{L>ٺ&@'fEi0&䵗G*[wM #PC[!+oZоD¹-ȓVwm=abJjxyo @aځy֘z$yǑoisrN:-aY7O<^GiU6:Qsyo0S> n&墙,67y6\K'cք.Ypkx[xc[#zYv|Vq׏4wSًLe7LA㧠S;$?lAżNG>)g6m ެX+tI6h5L7oW-Zr 5=oBpO|\6wl+&=H`Q:79o㾏ګa˧aRTѫL{"r!ĥrm^OdJ`|P_GQgS$y|c_7KD?AY̓*hI]D+Ef-0~޼Rdt_"{7-9f*=9^K`6@޻"eIp3{zQ V@*h^l_Ch=(jpI+YHԐկuQF8vfN_"^G`~1 6ކȞYN-5 v_F0m ( 1zv}dYgjeQ\͸uֿXleg*f`WTql HΈ r> oGΗM|wishɈETgۉV_8^;zh+ =z8 pR]Ƃ\X5q#ц>_y:ps?=_P%E͔8}CuNpnI9F%c]u]a5+7C$͋T$pْ|"C& a" SMi>8}UbojMnmf ’%w0PHBSatNeDf@]ϚtӕOjҟW53pcuT{ qE!RZ5R18Ϗ:Mpڥahd:cr5_J+y6r2jhwnI@z不O@ l{S34[ Itq8Tz4px,ins, IeԀR 8&9wx7tK 'M+=BmSrׂK$pepL[ob,|5b8P,+`oW4} i" }|= ?C:7},A,x,ɓjϺFJ0΂0kdde_zu@O*ȫv|I~etc'ժᠾjnZd ;zk|8  3Jc@^_[N]y'De8~hf}\ {22/LO67tX_uD{'?J7^ResQ/䖃*T 4gYZv&n9Һvzl )̓&x-c?Ti􋠗nAMD{YPQDشouM+=Ηk@$b="8{e:e`z J}gzYdO۷ S[X[!: /<˱pI8@|5,7kctGO1meCFֱ@%7\DuIy(6h*6+B!̂ULw- ) KS(8d0qs5E5` o һJ.;%I@ "TH#5660F=MHUߎ8@OEQDD􂥗MЮ]jXkxȀȋb9;4*NbhXEBĎ޴@T!Z)t&L^_ژF-FA}#:"]JQ~y=%DV LLUM}.]qR%3OsB=8C~~.b_8`Q蓒YѠښ4]^&eP #ɂ#xu~M-w.#4E%-Vf4*[pa{+(.Nzb!mHp]lQ{=Aؼ>WUFx}Î4HU8)cJ$QnU 7Սjr_>XnsnXՌ|j5\V}fZ6ΰAbmSv.&hܣ6$ @D.۬qS>; `h:+ j7FlSyYši?(J:hŏ4oacq/zp!(~fhHqQn#g) X**'8m(C!rjNk:1g#^ rLr[{9nzC*4DEoO?+!I4v\$g}0[X:A/=u&=:1+ANY&am&^;لBTi䩣ǰc] D:sAf#MJǬ s}u!(OD ̜dALanK+cCxaWWdŷI@6ہ&e˖K ?E/.JqA(ֻU*AwQrCD,yEG߰%1dt8q)@qq[wV:VV\DSz閭AB1X85~YY]~ѧceO^S7*U & [ύ9ASvqBT&Jq6rfWtJYNwxī޹b0$`Ǹ 4!zҪ;`I__5l_7}Ͱ m[Ӝle,o_gf.{xgHM AK쭄&$W4xDʡG7 )wHv8-1 Y-c[`aOz'U=)/l#|^n՜{2Q6Ib:$1eΠFq.^pU'KxvM9cm J :Ơ[҈'d6iפoLׅy3\V>tgT ޥ[K%RU KM^Pɽ.@9!QH' JWlU;.,@-V;{篕VܝEU(X}9WS1C OF=b"_T>Fy\\b0ݷxZ6jVRel nIW5j~:,Bu|\Mp`I (@+-E5ܢ;PakL Mׅc'@ܳp@Bgc3?~FmueH0/>OVOOV/IKP*$8O=:6AI7|c$ B AN,UwޠԮo7Eɕ"Έe\`3Y$,s bOi-QU6رK.Dɠ k5*;$,?󫑩I^`wz!lohJ\} )QvfHl*'IFosU!! X8t&iU2\ yoeE)^QJSW_7'o+Csis%j*7tBAdj7eA {!<lmcM}%K Z%=kWTb+PI6L\DoO-Ve.}0q\X_eQX=DK,E`%T  [#|eB`VFvɣ̷$St?<,1S?bJB3;݌B9R=Yۦܔ2r9BfuVLtCluCM<\"d^e),Ppz/;"VvjBr׋~/'_>L!, a,3K^1lU ~Vr6.=/4Q}gɞr$UrQAp-EM3QjʧUf" VS-ۛj@ʆWgB_ZཥJR zx2gŜ#r K7ee!EY,XM|I7 bD ;{3"/+UU6lujqf> NG86b:j$YX'{_FV{|čI%38$Eo[ROHEzuctHל׼}Iq 7P>|@Y+`01K>f2ś9ͦAZV^='YWPTe{]ML(e E*ksoMM^蛮,FЋ]~t,o1ZMUš ?^'Tg8*Ϳ~6Aְá6(s*gYZ ZZEc% Name_Carrying_Type_InferenceName_Carrying_Type_Inference.PreSimplyTypeddocument.tex7zXZִF! o)]A-MՋhvG"uIBm5LYomȚ% FsruP9M\9r;-J%5iX1yϼͧ* a͕Rtڷk@wղBN0S%.WHzbCFLN[l9@VҚ݆<%K:];Q_%oKPA.3ˍmy_j#]|^4!vU?[_|-5^e ?,_cWXKbR,uyfAbGq(I.nA/?E YMb 227aT3TLwZ8SJ3QʑEx"{P@MK~?ߒPTBYijnTB%}9sp"{4~#1x?rŤ P!6\Ss3\vfvnĐcbÓuYl-ōvx&~U܋E m۱}⢂ۗk Bu T @U_0&p&8gM4e'u-92kH,*o3,!%)3 ԫy't hXQIrČnM֖}N!NmԞ cU2wC,+qu1cC{,5S1jLG ثcKv@~BcSy稒D>+ZT`)Й5T3"'{xu%NFjuC-!~ Тk6by?ؙK{l6υH;[691@zҒCWT;.V4P2Ќp94&} 8)=[8{=|a @}s" Y\祠`^RE8 ؅n$Br;uQlIU{*/eϕ%_d@/kl] gz. E͸hОVC n[3PdiĖeMU.Rk?q73E6>_}mTů;>{j>z]RW2ҁ)a*8Gt8ڄֹ)}=ȚHt*?nb=:?GU-jo $ֹoOR>rT,$$R9塆P 3탛Oa^5%5 y*yXJp'a3Ѣ#".%OdL7$87JBZ G7f S]:3Zkv6Č=3ÿv ^n0DE%+o{. a&Nݰj5>b~m)HäBc MҾ?1ZD9a Rt4(>ha)F{.EtYAYӢªlD2P%u9'3z tݷe8f&cr3n,hb|{ Zo<E[c5r: ޒJ9nVxed /+}$y 3[jEym߇LRmYzrHTtY0ntV{O]ZΎh$[Jp2ZƣX*Y!mW`O)k,a9O+ Se3uAZY$ QU4PB˚O71f}z$QLfHe<"Rg.WŨ}6P0u8֔ioricBy਋!8퇮p NMD=v1IE;{"6ܻ+FƜ_vl.v>h)&sJR{o-av"TSF"Mfq}9^27cX毯YjJ&h+D&.~~E}I ,/u h)1䁗Y{U"[r7MDekSHv:fqAznϊTfBM]֓\G1 ,֊=«X [E]% Name_Carrying_Type_InferenceName_Carrying_Type_Inference.Permutationdocument.tex7zXZִF! ᫱A]A-MՋhvG"uIBm5FU ɀ3ﻈj0_è ޚazB-u  M_$zh]~ȸ=aχ?Ї"+YGHZ7 )[j2g !iUĠQ vυsުkQ:Zrp8}x:@`7@0XZb.rw;Qx,Lb-ȗ( ЧC,:3F  fZcD]Q`v~\a, i?_ϼAԗ˱c]Jk?3W{O[xIĝit-;AÉG_ >*MdYhE AD%ƙ*BI"8#"s&c);sE{jG3_ ޳jz4fQ(i}Oo  S ФF}JF p!*%BIMxoF_G"Ƃjݿ8(¬u S 8uggK! T]:7NdAz ԻWUJad{:I EJb^ M!B28N C$:cTа.7UbO͙Px 5tFx%2-)zM]y 42sI%O+!.3i y^Jc˛?dvJ!LU Orԑ ]T7uAQTK_d!pKOŝ9:5ȫteQ[wl2ǫ rh]!䂸*wD82=fIƲKw-&A{mZ=y0 ;1zL+2T[S3l-֔R6^=%V`ǁyY:$,:{m qhJ?; u7qm`Jjڱ;+=03L^rlL6ʎ7 ?~d~t)PESK^&؈"Ms,A]1'ES8,QyV/8~>,9"kyppjITiiq@A Vl|֯r9@_`,#̸kdXC1UN=Q. -4鮨3 }3. Q1 :ǩhxЏTėj%L%,yKqaq GFO.2;nkDKvB[tbA ܥfFT&R#lqw?3?WGS=B/^ -vwz:q7 Sc*Kj2+x+Hd>Ι4WmgUʇ| qp{>7D9K6/$J0[ҙ)*)n[c5qjG|d3?L+nu=<'!zh+ٝI@ `i~޹ˆH*δ|3j˪>͍E[|(T94CćaEkri+0?*Emz(7jߙ#v2p0-l·nΤ¨ӻUx|0s,􂭑w'V.Fs5884SbxLimmuD'#;Jc@$a%InD{cl`r&ePA}*rжyآDCkQK y#izO"0 2Lzݕ@M:. Un o[ Bͯ+Yx>oWhoD}&G@Nا,me3K};X 6u# `0Q;ISK38H-c+N_8>65DXO5ׅd.( <콾+\y nmԀ^21*~L 9y,|s~-`Җ>V^dRj.yg6T+хYZn -6YҥmhCM*?.ÕxD4W3Xq\Eo^y84cZ(Og 1W^l[+(L7Wșn S{eCUӠyj%HjSFqnB.t ʮ7]IW$ɭh\)H~@U۷YeIV*3?de 4Mb\<׹+i$~8-(bhkLN; 8O&[J_JQ mhHuk_ghVyoԴVx}Wt賂oUdP `YKЦiĚXuwhPпqH|[h Y6G{D֦t[Y a%ۛZv>9 *|*=ߢiV%|uB n[Fd}UGYԊ+N8lYz4Z0g|i+E4eI8<ܒt3Z q^Ȍ:zY7Sw0X8RO%RJh })t"B {leG ['S ;UY]Ic?]Յ#۞;L!X6Kkj${T.2iЖԦ#\椠͚!&>iQ'fhI~pr*ѹ^9O'!d*Hi<üJ2-u6`sĒz^,0  D<E]% TName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypeddocument.tex7zXZִF! 6]A-MՋhvG"uIBm5ȤP9~N^mЧ<92 ]J$rcrΗL {rVY6'7v~UK9?0$g{P9A pD.(EBs[+}Uźvf>TBCDmeYu `[\U[$xr ^P2.Iփ˂-TѴ-!팫#~XN'x1"qkktb@H)bRIkYl›4+pcl6U"c|t~\ZćoSL/"6C1p3C'rݳ?#]=뾠v .FWsʙ[L9=\HEe-)O + ʢX1x&u=|y͟iG1к<@ oo&zf$ m9SfF`x n)a[FgtF|؊{`P&1Z%nPhat :BC0w"Л#3X2CknʣP3ׄhgdA {@ puX9?d; '8x"9l\8l-x|)JT~ϒl{uhfdVpb-tK3}I|0g NIQ!371im'24HzP{}J TMdqˆ}ub[seƨZlJ743ORWO1 tpq?P酒uBj=M g/]Mo'7,OUL|°vLnCOX% ꌞ8eSA1]ޗ6k*P9>o=yޱ@%LK կ)Ol TȜ^9b$N1V7=ɋ@ -z= Ab"#}RWQm kvY3|/(0xjEdK~zpLEcUb;n.e(aé_*짰HnnLTUO$!{̺XlTwhp@zL6u*ot oOaȺ\檱xP>=N2 aWڏjR^APfJcYڸRe-햇)/~e<ĺ~6d Kjz!1FcgnX=vT#\Q&; %@qnsI ,,49L[V}'d9MQ4cv96ڹ1+7q#R&9[29g ZwdcnXQsY;"γWfia]Z%q8VSB׎/jeiKfbK{eI|cZeyDg=1ggi9(+v FBWf yWW؋zk2r%%B\c>"R[enA7#/bs@qr7@wUHVcY2 %5+Q^Y *` H*9R;Y-*Y(7A^E 0 qIMNE#KdGiFT5Rb\\T Xyv:*y6+/ $ڸ;P7hB[5&q} ckn_{M/9gYZ ? WKxy0Jw:U"zxjxk zl)[K uV t. s= R*ڴ +ON-YGmOXte΅+֩ +.+A|*!nFo/nb]_MdX4 4KHNR,UϭQRQ6Е!qkl/}nsA$c06Gi<q@",> 1h|}ul[dK619ө9 Ljv?:ώ`3b0) "V74 ʗz;7LS<۝`I0GH ZN!״92<.-Kr6j:#fӚBD`ȉ(<|Aؙ\OUJj^ "һd4 WksTxv:%e@d.?'T:f9ЇrF|9'bU@&)}"+a->0To WNϙhCtb+#w.H^~`'Ԃk&4|FfvXI3t+8ˋx{-Lf*>oqVI18\Q$~?mQ9{˨x?DUw#e2M6LjN"*`B-itrubdؖ`ltD$ gS^G8"K2gV{v4⪲\s^Zo^E?wB?q6 {Bsjr)?4/$z"`دV>&ȝ\KdxhPPAgu6c}Sf%fV XyuD ҺPẃAI^ۅHHgx ~ڹޱ4'(C7i.ݽNU~>dk6=mnXň}9. BTG%zz%+ef"dݱ%vΰvkѪD"XIk]f۸e}Vl_'qfBPؤ&%t]w3$jLÑ>V %wޣ%4*yc2L6p3CU}R"ʭ}K[:q~+)Т hDK87IM3*دQ~ݾ!‡ZE1k gњn3?+fm0V}oҘq$XhvE` a39l0ȩ}4XL-\\ylMJ0Ofb?蚗psh3Z'[3{=*v"jߚFel "$BfK DrίeW}^Y+}cSIJ>W.%\r-R`!x)WXI`D?f^ f3W6IzePX2 FKg/wިy#9"x7`~J?A_qs^SHi}X66vZ95ʆ44gBSZȗ.%w6/f$oץIн5 ę>`6u@<9W'\VQ^}8;C<~>p!AєͶI^?$i@K8f:ucO@gZ&[87hß0bzoL[EmUg7 T`lrv'xaϰ:rj .Ng49g;;g?«Zhtu [^!4m#X)FQzu%98e/9Ӳd1Y̭j:0dy{:Y܁qIe p)~:45NǽkH`Gۓu1Qyd_>i̗uUU^.HO4Ǚ-v9ڙq|plͻdIݱ]bw\}B0<]EnRks{A,`ǩ6^Z~{"pg1UMP=OUUnggMs), 0)Iz+-DkDfr╅/ guӝNfS1jSGNl6[0;am GLB*Bm2:)_9KhwD^rs{GV Ϣ%9r0|?v] +"?P2e^~?5x>]m:-:8$6SA~N/`9!lJ|+-fg(4I#ޝi~@}m%, 5نF%e.grW3GsXL*=e4L jM4v*^Is/xxIIM_8/6GTVⵤ ,c@𰵩3duWpWvaOtQ=a U ;xDx~=I_*j#j~EM wvD-|^(=y:?@=7!uCۂ|ؑ}1Q>`9ZčvKG0~UlI?0&mm{ԲjFy%(܁l׊~a3>{cH^iˋ-(?7{ )+C2)2\5n~GLR$s¡N&K{^Jij\r4X< hıt͘ȔgV6XTZ9"`mC[XD. Z|j}hV 73"$mz}IR5?s!!W`A򂜟ޟYRC2?N3Q(w|[n7i$=6ǭh@C)|Zj^b2HXܾh-"_2 QswtY>yD3"H+{A֧)AIt.kEf\r2X_`;3e`*QA,5G]%e~z@:L1=IPND ;{|-v0fo_r S:5]E2{K ~_\OHp| d&\ۙ{Ov=>R,~,Uzjd?*.>P {Gzd(JrܓqvCxy])y@XT5{)tO<]3#Z@r´}(Az q#Ư/ZcӀЈFsN>x jYHAw~K\CRϠa-9JpU>YC͊)!.qӬm6hY#;' .`@pB>-3npow}U˰n2:wtc4]H3 }0 .G!M?6*b¶}jX޽U[\eg/(ОMD?ۀ\\&,|Yk)e&F4#ӵ)=bf%bLuE_U4]XTI95gLw2ah%©6Ptq! WLLJ|5+rF_uC6vv_vOjlleJ̗@Z!!֮8XH#`Y{<4֔ {w_< &HH3)%!գ'PqT߽83"qL (.Gϸǃ~2EC+%uư8 IdeEgo4I}(l,1gw}Pv<չwYbRBҝ LF5;$D Ֆ\p4ĺ|"0pqS)aN{K$$*Ao%x]>3}[vbv.*y3v.-2A ] hmF<=@y9/V:x!-+|݀wx%yإqQ%&NPԿ`@PoƎ3dw"/xw a92e'gWS u{`8 s-)<* |V  ֢0/w혅y b]W&XJS|}bD8 vmxk۰Ct&_ IyAmXSIW\r`{6g-'/&9EV'5holбrc&9joCj*6ϐŁ3#z4x91f+EGө R D׼3mg %ҁ`ԇDrdګ,R11B`?Vg|y@Q^kwϋ丕K-.m 60%wLKkuER+fޗl2Ued~L ^v&*cpCMLV'7Px6ϩK>^w^״~E jb̍xyB"g!z<3Ⱦ$ZgHgIt=P3tᏙVjDTm1^]Z P9Yc{9Z ӊ4 Fb*}\t\ S~nr_%oh%fk)MQ'{j[WrKm x@y%&k (.iG0Htt"v:NZ>9S*1/CDmاI6`uIqvNZc4T6S1BNiu6Aؽ-UTXHbbvMOό9ʍQ𯚴<"ua~K/8QG#NA"ÀB+5fD@D3w4٬˚lS)#dN'pi&w86 \N#!-3?T?7&$+\mo ĖFk;@-[+FT}YZ`ʘdђX }k"CqCtr@+hjJܣ}l]ƛV^2BwvF-k[,hze&F`-% KB'Hg޶~"&/|Rh4EF7?c9d0[ 7ώ<9DOt!;WN^>ԑX{Yb)Tdoٹ{OK%^G!vZy!)7{pNRњ 4(TT跹@o6E" 6:Ч$a6E+PH cj~ z=w-G.G R6hF ,,r^~OIicHYnsSVM1YR* ęlNJbWh(2c0Z2uϬ#hezpWΟNB g~@qNq>^=I o g3n79YZѫ;v=Cl w'\ ViAV.@p)9bL+c.*{čv茉N^QrZi_&dHMNNsI]d "dqjI6ږn:y}$d( zҥk|anv m$5'/Qlph:Z5*Q}Ѧ$L-@:!Lūh9vr "WG"_Nks{dlll\0=e8Ma]:t[U}3ؓjG44铇/qY,kԩq"YP])ös+:BPOհ焚wp9qHVȜ8ӵY{KMI R *.=G $l' v>母+m h0%ˊhqyև|o MT/X`A/K94MDρ l5P=xB 0$X- ƚHw(U(یy0(BЙ!u]9኷,&p?7 V\T_5YkwJ#1'6_Z|BlqfT{>,62\KOn@PBiK4ά8u/÷eU]|cYF-T@K|` )@_vO42i 6?|`D(=L@&M1(_|g-).9iX>=C~/~J0bDDžD!|#WT,XoB?зO0;"0n[Iz?B Qh`ԩdhd $cxt~o٦Ύ+,KA ˋgy{j& l=1EUu-`Z^ߪ RVpKuk; U땯$sĤ  "G/W &[EA4X5jopKt@Cv,0g&.(tT.b ;zBUGQ HR==KTb(պ5SFX#-$Ȱj;SEGfݞ> 6AهnP\\bUapPF';W7ܟ ykUCyvտ_uWqk9!`ZC|aY'IPqQ]rd'M=8Ҕs9O#ց A=V˸PjF,:Z bl ~z~$vIؓwXF;|l S9Sʔʉ 0W]iM@d$} &+МmФsYn,eÍ F'Ph[-5L+_7ԭ1tE_ҺRf',3Xl$=e]SEpӗz>ؒzVuoyL*v.o,Z2#&H ĕͱm^W_0tVhxv_dXc:RlρΎD5|qƚ=NʎD5ѣ7qI8]{3y"KDU%;#陋$Ԧ\Rʫ?dr }@KO֢B\smucC Qs=MXe[jCrbɀd9;OQq@O -t ?bRW)CSު(Dbȉ'"Tlu*yS\ÞdtD}UX鈾-Kp'AkӬg޸w!ϝWs*j &4i>(?З׳ < }R ~91~|+ [q[ΕQ 8,a<2{c4q\gh#0RوS`ō&fkd#w,ص:Ej!lwտzlgf6:M icR?wcVE_+ByCxE,' _!d7[}'0 8"yc'Uy4w&*K=/-;J|/<}Z+g|CF=_ZD?M͋ssZ F"TGۗ,L-KJ!%2]1{6%fXR0rHǭS L&q0[u`<`~ 1+}Nv8-tOWmfH`!22 0sȤUD1^\|Hz1JwE¬*/W1@+MIwLrwT·nnFZ;m8-c't!L2?k 5kܛ-[+t􋺲R7_w(b]XOn0^Tm|pf3!EfW< % cmh:vn4H\dy<-͞w]'L];M:_Qt1 J4$*?m{m2vAczq@%EP^k절=^h2ZW)G0rIȀzZz׽- _\#.eD0vBa$bYq޼-MU?' 0Rh'K,y]  RTA`ᱷic"GOv|WS!2ghW6YLƽ;6Z&yd@KHBջʓL!!AH턳n 2ύBJ $ZGGF=Be(a-)_O ogcBɉ}[*^LK/VTlhU|Tw^%( X*$B%tS 2ybq]\(L:`(׌S Xpַnf RPDqh!gԪAn9E<:r&sʼn넏ȩ 2;n43!θ0Z|g[YK >}Ƹf`ѐ2z80wvۜbLEE|pe,Fƾ0;u=4Ҭ=ݘ-T CK )(8t_ _6/Nq~k: wgwc'0x9"4I[П "|leTy}}Ony.Qo>'Ƙ}Z2[9GP޹}dأ:r:qBg6Y#) 'Q`(K[d4Ȩx,!;7R^m28 )>nW 1QΎ'6rp̋~FCgo'A O T̡$aD@As 34mdl6:Bڜ"iS࣓ W utJҋfS)h.Z3%*zNqX̳ҿ!Яh/NhQU2 Doڮ/i-ӌju?KٖH ;3RVۻ h_ x sm_9R*G$vyImgp:!yԷZ~JfQ1 )-.:an_DCa\#`A,Q3+6>3'iÄ\Mٵ~]FGȅ>fz[[VgnJZh"es%uJ Nxzڸ(窞D,?qVo/ #xf&=N7X6m Rn}:q^ /ºD*V􃪐0C Yy)"ᨿkb">8azolum9AVϳsGO'.!J~>IuM5VDfc5@R4w+صy,\\bgT#YV r}aT%9/ LOgn35)*l6U?"Z#D 7?;7$-&Ѐ$ sY(#]B*!áXM?jWAClgX>[^. , +$c Jy`cفɷΉQ dꡇH:8)WrmW@Ћ[tBLjR<~ѸIn1{~g*UDc$}c[% m׺Ad&흎n[.ߴ"x^ n#Mx#%tqqҐ{W w4Xu '1Lc*;6-#}XZJNIlUhQ G NYf@)X2o̿/ R?H$ )UP rDm oGT`CUIoO;77D$쯪u^IV]ʖxf,q#`, M/:k0tO )ivHR+ {QF$\|;-wNLay9%`>/`rYKߜ匙(CTc.Y.s]uqdWdlaӇ@}VIo2Zl@ϰq &r4 6@c#8ʠݮm C412ϧᝲ=) c:M>d$Yjpb1(5p{0jΆRg10,8QrWN{8נ#?^? dPhUfcL pc|].-ʂ"9H_@RV0p$B3| |3K0͠kmkY*4!6(ƅ>VQDF7("@%Ǯ3:IGBLI/ kOqY -7KѢhi1؄ j\! .E!ND*)YhEΚn'kEM/Y43YM9(qǣ1Oe ?S 5rIl\( Ec?54HB4cLJ8yO(IP#(VQȉe8n3\JI:Au" _ǜU#Նxo F݌85AsB- -tT 󠷼%K0+Iz{%*Q]}MzbqFƚ &GUـcIz^x+XڵlOtCϲ,G\6nGF"T$ Z"`50S=xHҸLBe.sIIœCQvLiR;4~8J̌0"5HlhI9{vpTt6OVAFgp k[ ]͊ir?`2A?i"eI$fSs /vxELl9_EvylF8e!"> 1Y1@ <=t_s*VMyG5!д2Ae#OK_&&UKfvkǔ5ȢRdYy"9TR0_ [uue^-o<]`>K5 uJ+1}e&#r˩z;k Y#@T5hl^`ܚF:+\ډ \PijbJ  cyɸZdHYrp^ yZr142V9p"ZJǵ;Ÿ(gvPQ{"9Dx`Ӈ"fM=*CȞ©ж~r ,zұi6FHxh2[tdw!Mj=ZPc*|[|vAtDQ+WC[ۻ߃V "eYkJvr(%:P}t}ϡTW,:OhN+(cF?nQ _n0ǔ'IA| p E u^Q RfMig+*_<""K̽ W,Kfqbf*{P"lmplslO(O}S|\VHjs6 8;|ZBEF l_PW'&dw'O6ub㡂ňv36#a=޹ ә]{~<ro,e@ƻD/!aW PfZ񽔴Z8Dc*⻄]xg]O"<_7.~+qԴ-JVH[X(QL|J@dg( ;s1~9N9\Opm.0v6PD, ez'/4v9 vw"?Wdjٟ~wFcCy>ܙg:%j޾PgU)4:tQO8b:FdQP%ӶQEdE@xx9S3` t ʎtmg (Cll&` q85Lj;eP``cNpljEt #{N̈Rs~FĜĽb i$h[|tXÏh*/09N7l* >\'P3D %ukk;|LXXl} M>5oƟ[\%y3K;ߐ*pi\&,cKӯy0MGkPT`^ng_t2vBa^.SH> 鮝L,5L/ڊ&X_j+f#\}g2RhCRƚp~r,A*6v vVoPajkg3ּ.1/쬏XF;ΆhE!2=8E~Vs]Ylck R̭J3{H4odD]FQUgmҋD$ؘ6jss7]rī289狳'!{Kniex5]R)AO?\рU:Qm'Y#a`ӝlڅrűiHh6Qz[S u䙎e"4H4e(س4L"oyޅ;&Y 悵*c8%[l\mdE+}!qATUUyLC\crCe?~2L?3蘽 _yQ4T<tGOntva-*.)pPVUQ܂:z:풚[7PתWģϬfi bM6Dl 흤 gn3R~Ы$< !߫aGFekA/%B\ +`Qg^KfL9`>C̺a,XG[i:/ vV8s ߙ3&ű$f*׍ XkYl;2⾻1,B'`.,X}Tm(t%ÑQ 6h;:Khs02ƤٷfpXXgtn6uYsGnTK5+';N,*E1p̤Mmw+pNo Jc(l)\ y[wr0mK%#HCp++gVG HgTs蘆)+Q8ӞMY Q|XF1l)~{FwOLtR"84`Ǡ:1ĩ@JKI`=0@]Ͳ!2JFkF8=|-@k{Zq_&a|pTE\ԣ|Q9mk$&U g|4ƒ K5F߰/܆#qƈg)o#1v WD &1jy*sidxqHSƴ $P'04F`ޛ^ƯWEz>: Z魈Tng!D;dUF ?`?8|IOss`oNR8cIA&6nD`⭿wo'Gï_/ tO͢間p_ljg~yS5?\7'KkUY72\wV+>#g#P (N6끯!2=x6Lkk |=v>di yq`\Y4{ugdP#1`:kI*.֥$z!P? LS@cb[r8G"X[VZc1d CQ՛_N}o4ӯx~1>}%E'P+6 ױoϐMz\o)ʨk8I$slc 4 f6wdR+ֈQߎ\TOb+({5J3B_׷`'&$}yniD6Hײ3wƅ0Rq|_gQ *.)]iֿDHT+LvҿIoȝ{ D5@)ȃo3w/3^c.<cIB4mC*V@ZzGYuwQj J&=0/+^k!}|I\15~YAh2Ma9Z /˝FhKf^\p߈#im4j(:B%hR#?樘IDO95Ak ibi \o,jק:7i0gU~Гx5 NhV踛(=WvN&Ul W`l) W xSQU!qYt:xS)Frk.3>cօW3HРZ0`],kZs9ys_PK0y܏kuUELCTf;Cv} 3Jç5ш&5~$"~QQ&)ΎVlp)(V<ރc&Z,fdV'Չ&s e .1^0֤!a:ZJt@Bm}};d(v8F&Vvp4ǐ 'V[}.C{qтdzvہVˠl5U>Cs]vP std2mW{aBٺ);m;79$Ăr (x)M/9e0H}sx@[l}wїf nw!bht>2 p15}t*T].I=}Un35psi?Mk&@?E6k cɬt`jTϪv6)vdOzأF"x&x':i𝑒^i0{U|cMuu9AؚP^X5|8N 9ѻk9s`N0~t{5q[?~9m6"|!4b> #։lETX#y`ybA1|XmgMnU oϥC==~9V\]Ve*ZneD_cxcܾxM3h/ Ҹ3?Cw;0SUJ8r_..Xոq.OE,G`M`u"m(h{X1-QEhmJӆNNf?&p>K;>9Sڃ _҇YуȎp 1MJ$wi]c "=gdC@˜wja 7Sh2r3ƙ9#W .} ?`B%睝Ar >a}7{*E-w~|3 :yB"b5UA*t`o, t |o/=J)Y}%)J,*P[9( .UPv`TmL&~›8wGZpX<H +Zd+0Ӟ\w>a+ Z䄠6H =4LOw XM(ɡd?wp@4V״_&{;K{L<2 wUkf  ,~iUQc>)l֌:@LWq#4$c\+n(tӪB|$ͱB?_ff2cԆ_:ϛXRBYRܤ!oJ\du7ǪKT0? VqR ]9\RIQ!/AZ^.sj adK .;},p"sR{UɎ%ef2e&dF0(J˜@'=ZZx%u?![̻D]T Tp:4R܍${ *yp\a%RNJI1."DkLY"yvfԷ3 t61 ~#̛Hi 0(-FDM(Mß1ރǔmPOL8/eNF= ȣ)H¤͌ߜoiEQW21[Mk0 LS}:LfPMQ?rs ԍ 塑!&eG`͛[ |u ]me6ci|;12fJ}?;|f@ kTa NrC)\(DxA.ϩdLDm 7OWW[a79.κ3sr8mlh0 2&c sXOB2@@K8iHW}ۀ~/]cqMDJ ՆI{hn™:CP!J %IGЫ2$Ĩ*V0ea,Y:%9"Qz09m#| *$t!az,&JxlF+&͜/D`5[xr3 5a'.|:?9'o+>@t,J tcpo4(~cMxJIp-k-apv2܄+lIA*UVbtQG]p* z?t]WA}4PɭK$`B;]pRo#V -H5{sy[!}PLK=Keꉮn.FCLgyݩf85Mpf:39 8@*~1Vꔭ?&p;yO; IYM xC'dЖ G%WIôYm \7u_'&\u9(OtZ6ٖyo$Ef6n֚.N~C@bnKHu[?,\Y}$>*o0qg>. uu7"&yyff:DOӥӬ] /Qe{a >jۡN`:o)joY q;8j3bssE:'P8!^#|8tkz׷FiD+C !8Uk_7k N%YKjxߘ=N +nHJv~ZϞ31w,v@1RzQtԉ<*`!M z A {@ e\d5jijK]d'^;Im4~H,7QqBd:vHڨZ_ ѢXǦJ )+>2 . (Qֈ:&C^߆}{wgF ZReu6.XŁT۠"od;yҲi"j\)}HdM6)T9WkdכUM3k}o.a_ʤĞsj9REC iI_刅vzzZO~Hp.7ԶYBC.kDĬ/e~5&eh]YXn4W!kʊz^S.0#E|7U5,vjrI64!f}^&3]|[O&縆͙;7u(`|wOӳ~qS4]tbr_A'(9Qo(L;L.qɺ פvxАέ GU%o@D$+ rq ܍O>DG^^k+xɔh-gMoMtjz799)f;c ëdq|cxfګnO6Tjҕt )27{xQzK -*k9Um N\\L(wCmoqV`v/u d"-x |ԐE$DfZknK^Z=>{gImbh`J{ կ|rò/C`M)̚Pd="$ nvxҕ <}Fk_xn =o yo{O2آ#ݺ%n0ZIs2l`^:?MgڷE ΍ef-X XGr+CM}}7x{O8W !<+g_"<MִQk/xTʹGQSdzox ͥ4m<%\7O!y>#YM,UFcxXɔhUnOw ~<28%(5_(OR-,fc%R8pq[P#BTQan] 8iaB>u@v{nL 0kgr/ztw8G M/4nkk5޶x!jV m,*vp:.YT l){lHK''j W rOm8e#[qΕWf$U]r˥Ia~N *Tdoy1)ZDN9X>g+L_v c>- vXW#@~0}3 e/$@L&O7't;m-8YO@A܃[|G5ԊWè7L-De0uo=f,l.}䏠q0ع4w:PuU!UoN$<]"2vwR& ~3PYcvuSCs'`/w.S Ieh.F?$"~ƽv{*#(8{T櫹U'VnEBmVҕ6[o}!T,CsuT`R'~FS~:L&|ȳ@ЦNo*}g`#9BQVQj箶M|Nݱ.DW8OmDGp{,Z{?80cY6 "U6y?@)w2CbK ƍ70`o +I,zpϷ8-*1Û/zQBBU<\dq춇!<j1$˴7.Z'F<9Zd(MFHPoCs:S.2q_Rl!1eOLf@?n^r=<E!dT (G_+)~1Φ '>Oolâ ,w53 ?"R 8<EH5Ó`8J,֘!W~vH|T2M篠Ab?{§|</m|bG/gc)S`NhӶڐ|ltT"bP6JM ed}NfDtcSZ\w}nhOmɞM~bY6ϊ->J6rբOw%F޺CG_a5 1xW&zP3B 0TĨgf=c _{"V?-ZV[>d NjB<h5l^{kU4HذbL((UKpp>cֹ0evl~_MB,VC+!XhFnˋ& ZЍeх';@KsQ`)p>6;週79w鸡K#Ωr!ʮvٸSNN:vhLHjynP%wͳ# ]<- XzMAI:p6: 1wpm316ܕĻd ./[BX0o }(}« y^Rk. mKcnDMGqƀVtzPEζG?Xgӈi9f`_6@F/3ah[vpjlWܔOsve$k%i>K4' |Ks.Ou^eBdF2W(G, 'M&08m37MxW9'w\F,EJv~Uї.!S1Z>y"Ei#Լ;?D'G [F !cTNB2.%IO2,Zgι[ձN{I:">IAWn^5cϓUiDz D_.zaxKR!{g8B~E+96 .fHzԟ'#dzjnܽ% Yۗl¹ޑer kM!DrVYQ&v),+:L'cCeΊdb R8A@m̲>^qWpnt "Z6G~n Cwघ[~%)u֛&1Y!IrnyVVj% 3ɇiCcl[DOWGٖ}B96+2>MB7p;aO^l05~HP- 0 x $:,aNwOE%A?_;Q; N}E=?ķ\'Bxbokj* |jI;M7?*%zP릸Ί;%d{CK𦔌F9il5W?U`ŒL8_cB7W 7E7n3zm{r+ċq7gZkKhDJL 8Hw8jϼC\J3W1~ꗞԝ7NNr;_b@j!:l[!}WaZXOOG4.ʱOPxϏDXOSBZsfbDY?Wd77y?ֲa"6%/$xD"sr0mќ̅^|%pζRrsqazj_  ]EK򸯒 NnUd! {y͎`pZ`qz%契M RJo-XI!^ôxj򈊁uFqodRݩ’ Npu#SY]MZ.'6[)si)t!8qU#au%.i<|[\, 6K;2t^Z cːj)Gg>!{&ѽ-F)an5^?_,og.»F?U>Z@kٚw/@?d"-'"k%r55*gtgt~9S1e\^k(~V?'8J!#7W^5cǪk#d9 )ɠ]YAD [%si9W3\[즍*2Yzfm[-$B:| BVM&T-+^쫿ݹ0sa_0;ò$-Gk4b;k&o5aŗZ+(/SS{_Ĉd0*2ɄD#ѫ V2(C] t XLx> iA<s@3o'FP'EoAMֺDU? KL&I\Ndq\;cqBA!LKDqŇb*#d] ,We6ZjMv9L* 9UwDPԷ.D',w*PWJo5y΀QoATH ҽNiw/.uVh3?Pv\!,2D ]2-?Mt VDr m [Ֆǖ{Gfj5ZEn0bK@恥om@NJB7 bqﵵP ]ǯ_TgK*F4&xN :.tiZ̡Cvs{Gk.ivI0Pt72@N/ S?3T^Ycͥ.M2D7X7$ xdqݢfliʬSDqC3nlL 3LK {lۓrsFi+av-f=ō_P5x/bbZFGB%љ{̻jUR bƢoO$:GΒ$ȄQ~HKdôxGHhM- u-TidgsZ3Z28iJWR$_z{zz̓lHhc3< U|A@ȼMPһ,4Ҵm`Ƅ4Isv62d68uAQ63;]̈́Е"qpKmkFa" e 1D4 ω3戄L"'dy 1:g"APg$0<-7U/btsɋ91GG[MgT !MUs{C^V"fN1;M:Brb16=t̬|ly2wޞ/U%p}Jl3; )B*SLT6hgs?mo[0,"ȧ'd&CQw{ZO3X%fV(('o Ѐp+.[w!b/ؙ&#ȣF11폩bӎӓ]ͮ{58ID*E:y52,$!r]_.BC !5zP'CӸr=oI_GKbL 6tj5F(z,V Ċs{\2oln6;i>8ucەHPAjߪX҈YN>,+u ]?`rbe5I8VeAKWJ==:*.:lUwx GuPɞI"H.Wjd]ѼF=tj$;*̊^g$+FN]h)D:05'Z(</&u&azVaeuÊ\`&/cT2 {Ǝү_8Nx(|mG=pH:yg:U~YjڅLJnlB94[VwH\6׈sC O.ΏQU7\ّm!!8jI4X]Vix@aVY&_*&yA ŃȊU̷-(c`/q"L..`je2;c=ACE"2kBt6= -A䳐rѡ~ў b2 sc,4FHycS;G|V}F!ېWC&J^KyDv+b?gYZ