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 +5tDT ]S HOL-Nominal-Examples:threads=6elapsed=257.695cpu=1192.996gc=135.816factor=4.637zXZִF! Q%4]ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_WqKp<}c^T¸-AG:L N$ApJ2j٪{u:T9݃q-ح~DXY2Ul,5umNru(Ѽl, xy,rNN X( kj3᫟M GMx"8Ղ jYyH<o A߁WH^aVPAj|##ꯀt3cuS6q7#r>'wD3~,m(;F9;L왮{aX?Axj>p}# ghC8 NBQ-bbXSnSP9NXVnXgP`<ф(g̪x q.Ps;ͯ^qV{'q l{ ]+bUwS_JPbġބ6kP:7t:4 FEMpTe8+ew'됭ayklPSF\Gp]F*^BYa]#9EY֓fLɊ4䤑]U,z薵 _6hZUKӓ#1LL_. 7rOht)cG*PN947|$;孫C AP&jt=ۖNӼWG􇓽Xor?#NEү/ vSh>r"Br߉eFfM\yv話u]T]{7$qXdD9d|>\,˅\ftw4Tb5(Mp% Պ{ Q}(Q&$sy|p]sai`T4}?dXbdylX#-?QFa8՞_drcg-Ro H[<r񽆙[,׼Bgn\?lxUZZZ2iqYX!XU#Í{EB'o9l_ z`|u0n O6τ_>֏;ps,i-J)v9M''̒E)IǨi%⤣[Wս2 ?ք*$ y=\WZ #0vn._Hoˍ &ezLS_"j>[FkM*,\{LjLmp?xCygI*uJ^Ҫi%1WҧSkraorx[:+H%@=+/ӌߊVMACh󴏊fpgLXruJkM{MI #)KAFz2Y(a ~+\5284_gޞ;31!_O˹ؐS&m'#?c2f)֛Ò.J8tV̮49PfIp|#d_ހ9Vjī < j~4*>hcFBmI˜"IhNJJ٢깏/^RXZ: I|1ǟl} ǖ&]ͧ/㇤wϳ[хH[{H- \񧸷 =x8ѐig86ϠNb Ԋh{Vf$>cd41}9;oGM" %Hz1D#徺}3"#4A  {E:c~/iڞbǖ|`9?K$5UE"LCIN^SJM>|N-ő=iⓇ&Igd[k8H12Ռ? Z4> >w8'eʢ kV0q2_iF)_Iw o3y!OE**g1u7V춑%;S֨Y( 6GCpXۘx'f]|%Bu%I*֊(TM5g}װqG'\rmb_\c%M@+NI ;NK">wkf[e=ti׊h evГAhRB?f \%ۂT.("!7g`csP*/ dP/Zal1]8y&w|[G˙P#S3 Bg -BSlp]2shS Wlf  Mz6Ok (;p[F:ۀTK2W,ja{fVi2×YYv{eo{L[g/S{Xi&(ş8(O*IBdL fbc ݠvanb<'"\3}:Y= ƛ }qh/ ohJACXILAuRd <,%#OCJs= 胴eęm0TZuss) IN"=0^ڬa5% d]v ({daGhnwch_1rq>Մ BGX+a^ko ߢ>O? Ь鏘j.Q!GnSgWdy,&ZA}%mحOx+co7Ml_RbJ1nF hef gFЬf]c 5 HOL-Nominal-Examples  ͨ6IR淪^N`\.ZaOqX8 :UK.KCXi"TB }Lj|6~s~cu S}!l~Md9fu,QV?Qu0JYWu4XV_(Ni/1YF^Fz[1! aPʱn2 }";txwbG{e&_1lۆƦMH>!)Чw+[wX^*k oajU.,fVbM3,Ĉ1SW#'Eϻ-tI~m_ EOHӦo{H۹&kuFʮ؟afz+/ianl߻md~(u4xkw 8Pso^۽ݤ>N&%y8j;PޤBd)ɶÌ1N1CR,H&alSEpb=03LƊzT`62|D{< 'M@^)MRr^TspPfSڹ\vtk~C(P2*[ƒcNZP/;옒05`A'))x-EaÏ1fʸ'=qp |( 'J!28d}$0i1uϐp3,TY“hK2K5.?({ obv(w{|\f*@4*Gp.y tEك e8Ejڶ"UTA{~Yb7cTےFziO>'X"[d4}uf!VMmy%qu)W`IQ&e."4x,MVV=.LDb?]3omʬ-1.nB>RdE}m4?PS͜q nt=B!HmaxP< %ը7} G2.PȸC/J?ע>H s8_JYTՀ;?CD]p8zO[\JqZKiÒdI0VQQ!rAU=rէQ3'CWQ6[([%BAsjv}kč V%fM\x ބIngg*UUxDƤ'4 .yNBʷzr ܎nu!UdЪ߷2D-5Ef0 $n@m>Ni0Gild2Fx ^dx*iPq;"Fba Bצћ '6P8qffg td 7gAZ(wi'Z"Q v^^x[y2,8]E:j7׫ (C}HRnW)Ќ&<+4NDč{^J2pHci* QKQ9(Ɵ@jFU2 m|$> xQp {"BtXZnS_x``~"8#g#fsJ[d,l>}iexˎ{Ԧ05gݫMB=oMϚyNۧ˅X9>&0b}0qqLq6=J,2 } S[I$V+#tb^@3\9/ǂV? 9zZ=qwg0 YU׆Aj)5 @&{7a SB-:S![sQ K(А^%v1#sDhC1s``u~ ԩѣԂiފ~FThEB*ToP-|  ; e\ rbQ/基$wf96QR@&n`ȃr=Gaiz"\iAB \8bٯnd>zK+3^!Lf?fdC`55rYTӚA`{N\C3"@k{D 뺸IX$'t\;B!ij~Ǭ+Cx2'n!KQz!R7|8-?l1gJ4"@D~ğ^6ٯ#(~@z}Wߟ'%WDxy)2.Mfym?S?~^HV%`^c!ۢ%7(ќg}ⰴ|^}rhm96[R @̏v]wV:،FӇV kGM'BkU79_3.te ySkesESSX#`;rGv˖_Hϱwr$rvBXyr.y}J蜧@^eR0(gU6wע(J͞T~÷pԜ^]}5Qx$clOݳEWc}2tjss\ңkaPHj~Kq)ǧ{>"EDۼ|]=bTɂ' Z]de] { t=1khiS_xg l yvb&D+G=g5Talv|o o\̀~e?x\լci/AXvCRB47Г25\H:UPIe`Įt덷l9+(euwx2'TpxXmRՀᤱEHO d@da5ì(d1H6\uG=t.(ReZn\=IҚ nCh3xe^~:Ŗ`(EY'å&&C$R.MU?*D-[ީR Zu )feP\XbS.$ kz>\Ck\IgN:RɧelE1?Xܜ}k9 $X詺D5&Kg)}/J6ox+"G ȅgI掰Rҙ.ł+y3[kygEC'#coXW>yGB,:جDbxS:܏8h\GߴB3S78@ĪIYUܪTk7"4qը(掏g Pw˹QFl<p_ү7'+dGVT *kЇ%P:v ߾SG U+bFeܸVz'텊p3lP h͂=u}{g"gzPbSvH INSe=W8<>s TH _VN]p מ&d)$1.0:'5k^*'pjִKk2IpwilhR3p>?a2oTd[X_u&˨,N?^앫GY뉾_w/0m#ݑťk 5u^|##zU> `7xr3<[[" mP?yХF:k%z–W>$:"M zMuI3A2(2XV(n Ne/rV|.[VJ<_Oa`K<3E!O͌X5J{TC0n/iv3-n#!3%?2;8Ry kb?*۬o{Jy˨;%w@a+З r${=dYJIa>ʍAb9q@ ~gN;Bg~eh K2D8NN.ƿ$OAE.8)41@R2u͵9Z9{ L1a5E;ڽ$ ٢'mH;c§IyI 1vRxGd 6Xlc@&6v h*UCb3ۮpչQמh[l16$Z<'ArX \FJNh{ ˩a4~=?ZGekT;1t`p.mN\L%?G@|z'~61DP&?5B_P-|M!lҸG?vUx|=\\ ~PJ)~~\$)4// #|mQ; *-7 W@`[Ei(} 'B^T(AB2-S]u;?Li汷* `$ `Z)?El]dT_&=Vܹ_\!q?&<- V]=v0lG?}qIe6y%ݲnT&o8WJmgC9=fB^Or#rв!5!iȹ`;cЛ5oڈPTvv̏ Θ/CzV2+o n;3TGmnLoܹGԇ-\oL8LPB9ڼ@=y=\+\?\޹P!a*v%z$9S0J(;Ҋ[Nœap jūyQgznpTs ,8秠Æ?JҎElgYZ7zXZִF! r]ŗXiɟ1ʹ l93攀Lx3 CrB$9'JU 9/#o%*PuXg ;k1nE=t{}-ִVi\@mm$[CrAa|'>g!י^Q=-u| $UH){3hKA bDk?S%[mY "rO@~k~"PM5HhYŸe~*m0*\BhO+CµCTÏ~i ;VN7TX[!m nw6rkM˜4!v7l5]vɲZ ]nֵ%D"^Xd\{-_"L22_6=5h#)D܎#;C ;w#"VV8@G{^$W.['llmA"K=?C.WƝ;;E*q(wd<)tgv!iq5FCD9^wɽ9q ƵxE3grt{o; eu?@ANH<Ȗ;d' \h_Wx^ՆB=Wh݊,#g5@xa3E,㴳Zk}7rK.WȓM S紀Н;Dl ik+B߽4@liqbLL|*5^ųT5l+scbIY _W~m.v21(}*3Y^J'_x@f<~8W4$j("ʹ \H` .w Uvuτʀ݋O166UkJY6+hxiv:vb\} nLڒt~Ku':#q7q>}>r 'x q3bH_AZOeFbdXLX\ g2 _>/^m/}6&{12RIbA$b,__πzZz*ʗ̆×-,rx#ȀRLӷ(>»aͤ+nI!Ճ0V^$S}wxb3Yrg&M;HvD]\ eMO9V @Tz7@gG'AKͺ(zen2oܝRVUcZe2~V27 ) n{_5 OU aTvԿ۳ڨ7Rٗ%,x VI2աnNԫYNuh|ZJ7Q[EtOPSw۽c @m}s~^R9q7>xodd !rxءHb$蘙Y Jo( mt}/ٛ>~R Ouk0Bx|W9qRư^mfN9 {mZ!cyCH@1~|;t,gTYOcK.{"ǩ6qƗBhEn =b t.AAłz?Ci~3<ZNEhS+E!(mC>o+J;5@:z-5@_%8eT4/jq뿿"o egۑ:!8o]f`V}3reԂ=z!%: S̍kJwup Rˉiu;zX k ^RNDw7N~rW)$97ٚWZKX*zSliF`R $O lzބgq~R:4)'Ɣ?yY*c_M![~N +1 )XM }r?*cJs\=PY=lw| gEl(,۱S)N?Bɵ$bfav쩢w #K;yC;3^yMyPj QE?v cɨ`Y)"TEr ?crT;Y(we(w:H,'^6!ImexEz{ke`S*ֲֽgBs,Z.EWȸqek9ޖ>ΘJ;|:,{ŲN-D.Q\UÒ׵jbW/,}:;X'bdWcg&BB|+rˠNْre/dZQcWb"펈8`Y 9! g_GUP䘿@('PVh57WN4Ux6}h4JudX~x*Lݠ9x'C'd}x#FA ♞uv%mqhɮ UE}ZBKb5} n{w1QzD7=IgVzXaJa]=fh*XdǍK ][:נpOόQϴ-nvL}[#6Ag#}4nSdkšϓ7o )p j&e # A7,ڎDק8ui}9'1x&g#'JG"+,4O,|zK/C;Ttל`u$.`5t6,É ܗ7j6O C?b.Si2 }&`AmNP,q?,Qb}贏7zRIJ>8صx!X|SBzNYM|];Iʱ#x ؾǎݳ=KN"zN@CPOjVԵj*dԖhsDZ.a(lGάJi&Z x6YA[vp &zfne Uǻ:wAR45WpgbQ :[cIFWn, ಙݦ2u`S}JCv) y)iupςAF'JNfȸG Wc'OXSRŮt C@ʰbk qP@nE$/sWy\2%  NE)ՠ @ddj]g/^wO?>b]俆c:)e6nw\NxYX0RXV >.bMͦ_BaEc*^P!dJj鿟j&Id6M _*5ʫm֕TC ԃM,>:/Qew<]ᝃAS'- ZG{XuhL+d>#J -0E@6AyK3t'kәtcDK;Xfmp~.q6<"#MWi`Ov2tpWc˓tӶ>V\aG;0g!lOX9Fn֖B)d '"AYmFa;@{7P&nCN⅓>.Um=+L@%#o8\ߊh.]L*X*cBa 65Zכb-*|er(lƵ1,y.Tv׹%9l_PZ=GY#$d)iNewgOzQd]cN+A?@j9fd 43u+Jb+SxbLm4<`xMF 15?%Jڃe|a/1R?:~6 $7gObmJe@G |\(eF2;f}wNw*2hg&)<V8#(B/ %V-99S$%)^ ZMϓ8>}o J,lչmeJpT9]Vgcѻz$%,q3ؿ 8ďcPpM$nŷ@[NbDL4V}uTl*6NpNehW'K6flS7xL`¥HTgsV43r9ɯsSAe*BbT-3Xn>Gϲp$Ҍ]unC Z~TkuRbQH:+,ػ\qLz:Qv걌)3]Fw@kWsgr_(`wpїv[ںyzSE,(ta* ?Y}ߒb Obfd>vmpJ)E::ks A{AAjPA`ӸK#z׏Hz{)%I*i{S/CA$l6f Ksm[Nv Tďo5Mm=I\.ؚGxr֙s^ʹwwM "Ï*O p΄#"W{sM#糆 !Bl1~oYqqRӽ1qN[qA|w@BZ2 պ{1 ;]qQT!325_K몤(nuNvI(hfW+339J jŖ{0&jL=kVhuֲI;?XWtz9Nȷ yzҼ͏䟞Bv >^&NLэMgKJlmKq4,E6SI0dan&i1 <^I/ dA&y?mCsbq/,U/[I'v(.p"xɲ)JJlD}4? ,fU-3vG"ΰoaa>8GE0CBԮ$3;ᛶ-VFq=[|eJ`.3] =G}E''o,g2tbKq7ƹBG`~pA,GzJ~?}*檸7@Y"E"菜L0 eeQƩZIx?smh@zZU[ 1xŰ2Ljb!ɱ%E~e[s.ZK&r6o淖Vjyo^;Sh 4X`Y'S^t"u'k- lDJgZ .IWeFC~ʉ/a 1^W]( `, Jc( _.7M\&nҁCR=Gs @G骀w ?۔$r+)hr|0j` 3&l%y=oؓs2 $.8Zf)2 =ٮˉ3ebtgu[#2+ 2fB]pm,3tO6'Զn~`;{H!j &qv@`|Iس$'׀e7odM$K uѳ&LxS{C1)Jbk;e7gaa`S_h iҽKK$=dPGRIpa "$"ƚcL|hr;ޢ}nCL6e9,#cdY%8J鈭H)qJ/ Z|xud<16=#> W٣e+*p(we6/&}ł lϠ2[.|IPQ++Pyi*uDcO9bd!hU'GGoC .m#ħwYr!?QK)W *ZYՍ_O۾ E)"/ʽFd0sY7/^08^"S\ _&,1Lz_͘y޽"1sTsw0t{Hs@@A(qYp|k10D^X(XgpX9]W~L)tF)KFbA,Z'Ky*3$!A&Z/6T4ܛLzj҂=Pxl:-8V%7m=\(ԩ's;>g@H² |+ &M's>F*-;QKR^঺Bg8չy)vl?k3qi | xTp vP~v~ |2ֶN550fB>&$\"4ሎ̔s!Os`mY.)׋I%p>ږ(^;D LSα6xʃua-t\)Ǒ:. HnUڔ%  b&_xz9VcyeLL~/Y#\6@G|SKrםޯk'Jy|٬8 !Cb8k߮' )JO|aEjk&hiXf Ze^Z"+7,( 9e{J&Ŀm`v?kuY&^4-o,6HUwQ~0zךPzsf(Na#hYe-v ZtvЬu5B 8h-.Ĝb|d/~~|$,n`OHN6c2B-AUPIŻ N@<.6ōU5ljM!eTO..J?y/0 ȶG=QiMѣA/ˋgWPO"HsX5*oi%[LCdeRft-eX{FDŽe0YwDzRYy'dOd2Q.%:&b˖t} /fCȤ=3ahA-Gu$=aOY炟뜒8'[GSJIrG!l%4[z`Y<6r?@YmV#O- n °8-&g"-*MQ%,il[ M}4/@|PubFj?}aQF`g SK}5AI4rqzϹ!H;0@m tיEYSNB踝eiF%A6O)h3^kEp}\PDn<VnŠDQGBNbS!0vi^0jR2۷uiҴ{/gϊoЈ0^F3zu9JO!anISqCzO7触 c$ ՙROH˼Vf) S?H wd\t%r؉Ig*{WbDb]9ַbK0@\w״*l bI@s6߸fxF=)5M`Qi}f  ȸ'/1wOx@aDyԸЁ8gYa{a ЗCn^rI6:*Jk3fǓkeH#|]Z FJъ@`?&@q/#au{"vaG r9DRl@DdBY?>#M Syf]աk :i VHa`5Þ9fNWDX8B^u e${ 5<~Ϸ &UM[ lH"3b2j%G].ٶ }b2'^a8 -g8W{n*0Ou^ ɻ2aoa )S% 4IxW#V[T/dU/|)d(܉܇X e1kYsrvuf>>^6smѵ qd ЮkАA➟5QŇ3%(afewqu6bރ?`%Onz)< b vm ItNkWߒx\d(ӡG`!'E'Q9fv| :)GM1z`.0ʇ/P zmr_,gT=N aDvSZr8ZuIU+NI\ w aij*T hmmy:*VӍv2m"t eZ ::ky\U0L!;YSQ~XvwDk ,[&Fk 1RovlBn5Eyh o~"3S,Ɣ!ble3Ƶmw4ne#OC9ђ)}ս34DxZm1%"?訫T&` ?o&?E* LB!t9Rg\YOO]|yh]SlFd@.eL,4mnKCjd,UH[7l8w|Z'E {z"Z cz= H~y Z19ƕ(yKf{/xa W3F'Un휙_AA٦;񛳏P/#uY[hϓj:wYy5i?ApDBv-"4wh9*/ Isb]cc˝ *uW@&C>Z~1&FȘZ%nE<|X; *?h'K^zNp\0h 55P(w W5c#,Cut"wcM. yͤT-ib&L-Dq'֎jWo\;;->r dkB.$߀? 2bzs 6RAsK*TBԑxÕ(?x^[ax#\٣I׿hH /YCO%^ЪXQHy[w]1P31:idr.3 UH.RDLEY}<3o7wl2kLIH/qvh[]A()DD[qą˦6MDn/ 5MBm$q.̞oX9 J`UA`θ?!lyyz;K-(BEr{V 1v&_t/%'D_K΄4eW*[T"p ;"XMNpN>U2w_DqX:RIݖMMmL'~ɗ5[.KnsBS/ SE+!,P;>0bLAJAȄ 8N װ; P'ȆKkw l(XHP+hGUlMu* b-CWpcrܫkߥ?]hcwtCpC%sƤi֙3z`'/xI PGn t0wZs3:[3y>\B)k}yд*@۱i ›Un鷠ڐ&-m_ha?QQu$b4.ϯ[kž=D3RVR毷>!)3uOA. F >I1Vo]T\ֺ1#48+'Vp*I27JQ7pBК]!MM 5ʒN;7Q+zW,4н# "(VgOVo282DG&e#3ܳgF}-)л3}?1it{"Vł**1A)+hYxzl޿sqe9--pCYô>MhMcg $^tFSqP?V%9|ژ#2O z4P@^TkѓJ@ V\}ᡫ< =w5rg<'!z|!Ut$AXМqP8e4&6U\i KBYq6 kV; F^j!\хfw|a@&Ä,5(;dM9W"Y" ;NgX,0v`x B5jy:ލ8|SVQ1z Dm_[^ >|;'hw0Hv o,cbr35" Eى*0xfc촵L0}c&K%2T/Ձ۳nËae7_u-uTqzJzLY'%NJN4 XѤuyj d=?x;Eڊ80P5#sgT]/7=1KPnCT]aD|c\CÕj_όH@R<_ѨCWiiFM7J Q MԽ ´Lh8mEȄk-JAH-|ftn^?Iö)bjOT7R/o{=?iSS dzgF64 b%[@Uu%T; CP硱Ђ--'΂H|yz.,.Dـ[ŧCm͟_MQp+WxNg$sp #LT"ȽMfAz HtUs'Cm^`7KW?Ն}Gp@pj)OLkj"p<#) K{@S$n ;B P%0ť0^4z.$.Fm8۵y^N-5 +qK5gu mɞO]^̷UsܶQС=lfB}Jz(( 7f:o]jrYbHjxD}e8H=$z\lX!Ԝܺ\FWWm=#U4|@ƛOx @2cjt^R'L'0|dwFÉSuѝu}=.} awjM鐋A].Kpv G`BN$utfS~]Z?Gt 69b^+q٪x8 F˪.f z<'V_?yRSxWzF1@y.礒C F:wFERQA2$o-Ɋ^'o{8;Zv dɇKt2@},J=h1Ov7'4VЦyO zLHj2װ 50//}f&%YMv~r90 *c* cnƙ4$>㏋{, r)gﯽb籎k O< GG!nbU1D]|gX,9i+O,FhNmB7CG10@uy RG= hDNô@m  YZKf퇽Н*}I ro5j,#aii `BH| iBϩq,KRѢw}UƔxUoGmO|r>1bpe*ƯN||QYo=`lEcK~gmS5ӋlJ7b2xRzo ;dŐeス1 5|Ѧ U`QҨYyp4R7ZU%r4?(}E)]9d w}zIK4xLDY]V}>yHel!K0HXyq3'`o`҉ 17[Ԟ13c;߬ԫFУ)JpΚ F||6B{:h 9nK^oC[ѱ ߀AkW$Z_j.ug:j@R'Jx PD<~2@( ^N)ھ&kdQUJu.-I/i-}0OힺfBln=&yJv ^_CiO#yM*춯 NVAe{ԕKwv87SgH~al{j^@䬲QṞfCHE[Q@Jp$~l'`( Nu ^t_~zKPȃQ*S@g `iW ]nԣD xfbx?= Y-vs;CtG%NjQ YZVL B=pYwƑ_e yxrxS@H&pjbHr\eB4גw\xVr ypdR1-h= Sc(Z>(b$6Z4OݮAj Ӱ5̣[(Xn{c#؏y~_MC:༩Cb03piaq2Hez:o2 %C m *MsCnOɈDL)(V1Z k4vӞz/][Ohh+K,uBSG4 -iXw+~O5c[`kMɬ}I):S?6#I1wu!  u)dً`XalK!3 ?GΒzGx>|ƿ+!d e:bġV=sߋ]oSmzF E`UG^Uו8eX@G!7c" yV?mΙ4I0nT\\փR*ܖf73! KKdS`Ӳ6oX&P\)=?WIJkw( )qk)7$Vl6«=r,j! \mқ:q!uMA$?Im10E _Eٗ5^7j]0#At6b;Ul{?ub\Pa.$y=H4(UûQ(D4SuQL-?Qa5!i)~V L~ew/٪ 8ϝ% Oٺ|݌mo}NE0f->qClpYK`9R F:|(UhA=$7=U$޹I>!{WK%/<RңlSCe]weQ=0. rs5}NRyAB!f{%C25~hޮ1ZD:ޠR*e#qXb2ݔys\_ʈ`bln'9 / ʥ]dS2ʷ\zG&4i399T29Z?V,.v6G֪#_ )5Ml_qq$bZil0cN{J3PP3nK-mXx0?O!EsȺ/۷iί,v‘MZ5(D M ٟT 4 e?{&j !R0v BmJC-@9K9^%B\ YIG$ ?=yW$I&Ɇw{=]1A35L~DŖ0X7,ºdJja,*0K  z\66Ov[׶'̩p+.A`sB%R="3;ɝc1\;"Sepxٿ)K9'5xg;̶lCy7Շ %(1c4Gכ:CD Y]lER'u0eP`đ>Oi 1@u’6UHgyeڨ)CF8څ.NE&{kTEwx 6idz~D^dtDvtħ- 1ֽQpx}VIScze,$&KR_iijްը 1X])4\ $J !;&r7>aD}w$Z-H᎒{n%-,Z]ۜ)Ź ȤB+03`k(Q#^J#ٮL7obib:%c~!AZʐG wwue &(6CFiӤWg*0ঢvr֑NYTa wWpi- #qTlRdЕ?w o#ʒNRA#^5y4H@ ~%ë\`B>?J◟Ҏ\ގ[4d5YdB+yo#btP@&ջn=,*j2+ۆȃwSt|ZũtSY`V'dN`r~\#s%a &,?+UrBYۥKTI?at.P!p' Pt|:apdbnxfߐ u q7W2h6_ڽOztcXHpm$$_L3&x O92MCԶBր 2 .tQ$LGpI؈#[&0mqR`RC>Iqړju``d0 +L/`h"tfbd>}EM:u8t**ɮDl\~ M4=dXy|a6VcpHi +cmK\ դUu_yP22ܔmC7sRMu{TœIGp_{̂fGx7̷d{^Dx.ӝ} 2.^<_rS+A< Jdoց4L&4`>/]D"[, iܥ6˟ԬJE(ɂ.}j9RpL3Wl87uM|`TXh&-hbMlֽ钘Lv!gZgC$::2XDJBm.&ѴYئ')#}Ԥ:Wכ-VOV3Up0'OrãECV7?5[J:9cݩ-azD2wg8G$}Mp pnW?Xl:? =Hw B{ Nς{ $s:3XNM0Y^$FZ6uôcԟoo- bZ=B-n;Ck^]9i/+5Ppm*=#-P$!$XEcժp^~Ezc%gDӥy:{ ^N*bm;cWQAuhԲV|-$~oNCOM.#Ã"3=7کqakTnMM3fĊ