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 E-0am8YP >纰Wcg}DaA#8s+' QU_TXu1Z< KdIf\JW%rx,ˠv?N0P [=gYPvfItu¹aJ'ݜ/]o ,eNvp"H~8M3F"LԽX< GzY&-e0KlcPMݾFvf:ָyMW.p3wž'D=EDZi|H(;}syHFuͨfh69xJ.t F]  k75X|撢'E$\/M!<5*lh 8Ӥ\̧\ʙ luAƴ0Fq3ZǪ/[l$E,!=888I,(d u$%.tEg@ha,d%CaM,nS;ڗf/^] ,|JFLh˾ZBBZGάGYo^-I4C1KL{pအhsYoƅ50Itj,>j5OYR)or/%;ݭ*G#lِ_ JoVᬶƐmxӪstwϜ*&#bx.>Shui޺`τ^6A}".on֏<,Ayt}\: zxM ڋYH2Ax(2CO{EC!тOCl)(waQ?Ɉ dV~fmF/tzItiR;G]f.3JKj_LvLXnVA r/cuo>Zf;x'm>eºOd׫2oU>C5(D$o[Ցrg؃im>}bxҦ,#' "۸/p{0TNA:<,:#ހ+>K|b㧹'8Ma\}|G%{ G'-_얓:u]V4> Fv1bb|7MH°Fbde_&tyk Ӓ2#IIg\"9aV#l#"Z^z..msjV9.<5/ ylP~?rvnwƓT+xPh, `7GgrNQ& ݓoh b2/Où?À`^rJɔ0ǧH8Ԟ- )[ ^ ߿ySQVK]cn묅c1q'!s ODY7$gW-Q*hE%}|Y%bpV>hm`V J_즙p~ovE5QtyK͠'^aM-vGхO{~ 8@ڙBjҍc-?exB{c>]U'ق(aU_1AkTRT%[oz^ ;>ץeue:mMpx:f9řp,P\0`lluJU?Bnm^*MWT`$Z֠%{MۿCbk |nk47dn(dܸCJ&C-+e~i$^s+NP ĀD4 q#W%`/2{}r]aed!  굋-~-4w*x `n : `7;BO(tc(|j0=f&q<]X.ў#f$ߪ=5029 7H`mb\ߥNxB/:HSa@!Nj9 N}hYoμ@~2`Kjl4%+pT∖5=7.0f*@ϙ=b~AG|=rW1WXP=yqM[8 1=/ʾWyTa@^e5䭓`ױ?wPy~kAڰhp &ic71Yo2 O+Ʊ ϭ:v˴լ.n{`  cBr>jIIG5AaFNf񩳦8)U]Z2 1}S/h53KKp'7B4, ɠ[1 \~ r>w~-ޫRWXZhhѶF5G4'Gg-]oP5XT(A[,mCfo4<$|֩/<{TbsΧՀn5e0ku¶|IOʷb*wrR*vj6;y"jA>AxkMM_L=Q}d}IU&1MWTl0{f<1u7!kdvU ja|!-t/`Ag]Ouk읲rS+i)Vs$?JY,?֭"ociњth@ySmgW{g"ğYuZENWfe~-ίi3Ki9tln7ncUA;8h+ϝ21{?"-1Bnge'F\X~)U>PTJ6,'p?1r4f3"St!_Sio$p.^ #@Lg>ӷ_/K\cI&H4( &s?—- w 4ڌ p_'Ϡd*@3 {#0 hM{QӐW+:4Eǒ'Z|&=+C&+K6.!gcRM'q.]%^8iO NcAeS6yi%4m=ǓϨքBw]r0D ٱBwɄwJrJ*o/jF3܉M.qY:v}2u=(r*Hy:/yG^s2s.ɔ0;A,TN#Ó3>p]Lx8 _⑜~T qUU/tq\eV@>pVYT0Gz1F; $wKxo-i')͜f5%c7_&.o@ǒfvЭ#]+݊TI|D%RKe-$h7[OgpU(AƹUѹ0ݧ )nKLuٯ 0ƿe˻K4:0Ϫj',5,ssvfcl7 T^QdyAXb]*Kyt[6p<-Gf$8qELp]EHiN|<:7܊!^;`#u~OtdD@0gô0J#_lfB+0J7趿Fo7(0 4f L]?#ޛdDhLQӎoO5(<:yK 4=#nS_|z:UC`P2[UjtJ g/vRh S@+jP[w B\5%t 1ٷbxlΛ/ ~sYFWdkB_t5TRVry>m Z #^+mmv] 7զ|<㧞pu@Xi5灔iC=#/cٞ<Dg3>h6黗0/dJLKKC}1KHuryJG~ +,p =7t?ny(}swOO4Gb>$XWt$"1 h!k25AXmo`lDJD`TUϦyorJX2: +bMwO%9v2QzBDEP\4A9ӽ߭VzJIˋ<+@b՟yrEJMzLxwej"V9E Al=;1L#W+=;fWdcwVBhțl"U\ЮPRezH[]?d>ଉ Wsxp@ )vǾm||bZL:I=SF-a/x\6u~ -#zk̠zx-I."{;'kԢ.ݑGF*ABD2iLa C=)gMC XSmſr(xZBƔCب9H&Dmy=~mիRzSwzfmO^.X+O56V"J[wbb~eWǚ,իpB8Pݜ\!(*6}ls8J +c4/\q-7]^w8fبz'.^q ΩfٽJl)?Bn]$M'Hcw ;n,O5ꇭdN=k*kԈ LY Q:*)O0D 5rMMrFG{տ1MU@]9 nq[ɕ WsW GO'1&cHve~$x5C&d?o}>0ÑbN J~-25Qz"$Í*gI(,\)wrGUCF<}H>O χY.W,3:5R<}wИ/T2O5A|;)Ucp؄r$EVwڒR2&ܥd#Xu8י1Naɫ! wwjxм'^9^aR-q8 hz%LZH#oбLv0ru҄emKkh4+n`ZXuPD{# >‚,6+KeQJ( 6ļ!A vk8{uXA vr32IG)\-T丼0\ձ_\51G;~?II]/M8^(B^KeΏ=+zQo%43-*-j;=?INfeˁ{ Ѽ!qطM)41auLJ $6y;F3(wN~>V2TS#-"_)5Az[>" #{Cf$F`7[&#LrNJ@_&477:e( .y i@:%".af8ч̢?m0W֊z~xXq|S =?na^)+ 8u0As`㽷d dX$BvYʕhVTtơMC!U98 8oU>\Uf>˟!(o`/oeа.w?sj\_{o =y@9ܮ*M+FwGum2T @qEq`٨} ~Wl ^ >;G;Q]=ʣbIa&.}ųVcpDI1I3ܟ—y>,a,xE~zkG BofǑjd4#%N;2@M&m,jJjdoTX/I \Qmx:WX`kY<;gGOvj*r=mjZ)$@8xMI^ C0ǫXBė:VDD /^p#fHyJE\saǃf ֳ3vx,enPV/_QҦ0jQ!NiWGzCW"N:;1HΰwƦj{Q8v/]ړȌt9B? u<:gіp Ze8\^دV:,Pǣg3ek L;"=JM\EFుhqɇqT|4WڹǵYsَSgI1%[OD~ XY|azb%m)wG!TCLNa߰];ɍY@1Lv^jb =݉5K A K 1N9|}91ѯWT +`j'AˉzRӹ}Tqh`倫wW.A >.GN\*hs 3gߌL9Nkv '4yCqVº2‚~8IKGRĉvuH€uD-LqXǞ" F` eHe|g;Tw;…N/)-1Qcip~"9IGhV2fXnS~x]0H $?VqLJŏE4=|TWŜ d|~1m:P}yP4UW]Xl8u.)%-)jmF=0E/HvCNdZ'$TBFt}T Wsf$BSV /p._"}졕x5Q+er \/yHo{P԰lj$I7߄qD CҴJ2Q^DLiKQC,kB}Y.8v 1]s77q*+ yبiN`8˶7#jG gDm(˩x@ngU<م7s64-^$2I{,/zDʄRSm&ùX3XeQIEmTd O|Y Uo]#%u>d+`E|J1̵銸tͰ87r !`\J˙f1TJTtx,$wSJ Z{jX _$Bo<|hru^#tMZYj*. .@PANa&?T.dmr훪 9uh)cwp-t \m6˺rw_@AJ#b$8qr.*`_6_ 2 T~YAUly6fKNx"7άН⺬&Af-""|hwaUx%[sk8N(U}Pz"/#A &JtZIx\Kڃ؋7̺eeYO^|ÿD*jVZYzKfm9=+θLDo;/zO}U.~Szy6N8oDЬUEtuǰ `MXh%K `W&>M!>/}-,`KTD1*e߱Ű4pA7(*9=Z!0:9ȼbMd;s Et{FZ Uo˨GsUo4r7bUD6;*Hj2emJFһنV~wmuOyݸREMjܫIl&iՖ۸ғ .ֺx/vQ2v~Й2oM@l>fxw!{/";qrœDB.2,SHp&qflǥ4B1k]+[,es%R7t{ȗHY}T,Ҽ#ɤZ,Yz*}>!21^*ݪ%Bh Oaa##"u[tD1Yu@!#Ս7Tbȭ;О8Q n"2MءTAZi?<02O<2ZwOvHDuTϛMDfeߐLV/ivf:lGvyvbH8կ!PʤHINrLE΍ڋ? kf<VJ61T_xNuzLiD[>xZ]PqΆsf[02{T qB lzӷu߁I|. ;Pԛ^Gh7KC[J0.n{ KD Eac@p?th܎ь.܈_jfߙ` /QR-"UĿ+R<R K J]>ޚy^Gt':6 ;SWPhn  Q`4ಹϋڏR< *YӗGx߮MWO4;ˍG+uL$E_/S( :b A;"+frWφ˓)ЉjC/n1g6Xa)`0".'~c{ JZ)?neEA,)@K~1q:Z5t>$ҙF p_4j9b9Q16KwW9O" 4GI!;O%;)t%@JgÈNgK;Y}Y|~^5gt(HUwGvOAxVߊ iw 7Ø_Z+(pUBY}e'̊(**sﵚ͜EkIOe j.7A{86I9Y!ۻ4\-xYu27*@")o-A] õ<ZmcEL+x1RKb|9_o L\n?dI-67/+F}5UMHkQ#MG]!J&xN0@-gⅎu%.M__CzѵKW_aaĆ[D4؆)i&'nߤ%/PiW(F9h]y!K$xOi/,!Q㲍lmDXlH]d ;:99 ާ:} is/|b͙^}|# FPɧVt 8FbbQ{t*eC5 tuo mZ^5Y,'a6CfX4C\9v\' o-G,'VY=g7)S9WHgygp[*\m>%bAhZGx_CcsPS]?~ S;0D!8h7lL_vCjZ&0,ttTQ+,a*AmQG8-XÛ;80w[F?a\ʐ)H`>χ_O9:Πt%:yԴ?aT omvZ J̠Z;dFir9eڒy>BX{gy%y_!+׫M :I;LZgҺ(S&/,pT2Wu \Rh"GVAqc4 ./VM]T4j ?gJ)~DqsgnyHsФ+(tMON!c>ई@%Oń4UmVA`-G4]1(ٕdGK+jKm|Խ4)4겎~x!yoGx_~k=?!<6yJòvWCr0w1~@ ,EI")a @ eu{•A9yE>#/`Isӷ}TiA qDgAV9!󣰭j7F5:+J'E8=:Ka* Ù uQT|Anx> q5Ğ.ATq~f1E.4V 4G^#d\xo5G7񆮈B%ai1d 5B2*}XpW1,J2r(RJHi߃#Tak HheF9Cm vEz(#`zH&Z,*-|nכN>uzRmg㼼.l, (L.Cov: wY@?75lf/j_v]JwHLuH@{O;@^ Rܞ=K/`|5ؗ$[x>V+%`ʝKbxt/v,|Hvt CV3'HY$swqxM]˪Dg8 Np-w~]k]J3ڂfe HV0%֩(`nGxhA} '}Αdq0Viy!*z`䕑[)hDwYAhR>yDM6 2u\^f݌xuF>G| 9? FM2~} q]!f8~mx'`^oE*V q't6so?u8P7 4#H,* DR/\7x"2M"UNJ~xњŏUp^TfY g*q(Df)O;+Q;dDKԬ|(Tg;+uHDނ65+ M.pFK90ֽ oGD14s,X h`DCB]9|>so_? ;s޺k2^Cfk@dlgmRI!$+Z,.6z7\xh>D#fxڟ^i mz N,ѹzX3DEF}ug?Xs=w>I'};)n(9^VW%vل$6g^j>k5_L\;d^^5sǓnK=<=Y`䤰.1~0n71sso(BēvTlV[e/X;ɒ#`軡;Kj CnW)Fޏi0 !z#2 G5XF[IRjiUU/R1w NsPf%'D1 ERq~q? 6§cST0[xi<Ѣc HaRI6 M;m ;А׈]Ձgq!u/&h ǭwJlt3{nw}zNjx{B+<SXʿnvn8ڰ ݭu43 HG7RMJ$-r+,Jyyoo1.FH|0zK{)mBs4vL!BEycZ5ŒC`Գro)RP:wxD?{6PέD"w0m%uSD LEƬq0㏻i&CaM X||'f0m:7f~=V]zaU0˸ ӔYk8\-CK_ l? VZ-&.C XH]P$17W=BkKJO'pc=Pe%l,\ ~l ʲ[٣Rt)fۗi᠊@ISFR6a̓N2/ʳF@J,&4 b.,+"3ڍq.Nvb^w:U][ wjP({D3:\p-5VmnHk'%bd USEm㉇!Jƃ5bĘ7qM]7p qU,_З9r6VC%j;[l~^Vxz<_k U=H ࢎ#T)]V bzVm3Ϭ{u~([͋o7ե0SfEy(,H' fv:E!-b^Y:HSUa4Zǰޕ-9.BpA+E>g5w;(џVa[l)77Nά/5Џ͊E* m0/*'cՄ:TJTP'A8gI{A~y1}BoH s]3fr\Bʘ0kxE,pb=u!U("Vv id{|];{`*kM/PcײVst-s8vGĀ쎖5{$c~ʮŐ")`p3>=4L†滥]{&ڛj 55* &Mitbt(<^o[w;MJDәț=E*A8c BiI&9PpAeT!r_[FQֽBD,L袡uQ#VܓIKz nA>oz.#fM[DTzgUy5ouum!a(b_E1"`4²}$&wO؀ 7 Q\F/8̚E$8'peMEf&+?3j+Pbqnw;s{; \Řd#Pׄ~'p=I{VY^\Jc e拌=O+$$)l ^f]]ת T嶼QWlV_0WɴEXNØ&@ܗ K?݉;\j0K.80-}9[^n9^-IuVd*ԗԹ.QAsjٍf-P,&*'^j %7g;x3nRc.uG2шDNʅ^+r,ŃTn:i+/)21K+4R۰|9l%7EpTA+@:tHlFQ# Ig; lm+H #FBUcsEk"×uRmOoac.`N#[FQb2do^8;6zyFU:{bMs|ey4 C l6c)c̳5+ FwCwfzD(\[Wޜ<^tJXX5<4\(!_:1|SAimzhNifkg]D#܌#{Qhh;$wJ#۬|w 3fWX}~uMt}oM[<#'*zxA\/aǕ[.`R$(}4}`In$dB:țm44 n 3%'~X TѼÌ7|{Bjt,)P.V^!s$ cJ/,RyN ](o?:~.\kqs6eiܬa_kq-S: J^7$č Ŝ-x ajkX# D尴Ɋ>= zh~"1Z\Q}ʮj]AԙLWފWc,{[#ҳ|ٟm~2,3#}K q6_6J,dEn䋚e!;IDTP>,1+a7*yA b vS23߫I uLmd?K!bs.aO$H՘}g |eN~XyC-~RXfQ`6b?F?-kY/ӑ wբ E@iWXhb@05"QUE0pU-#.6r4,tCz'QQsAUU<)C n0SnPٹ_b=R|WtF}iV`5Pq 3!?qKṏ;qS|@!RNR^iŭ$Ά3 6Gdv1#/kڕ_T—Y} 9p,V.#K `(`pph{Z Kdz T-?/"u-T6Nj V:hޒ8qVBWS)Y ,Ŀގ+ _Vt5TSe/? Y/×F*F Xr5+_5 _I#W oxr+;7-.! $i퀐VLѶU![@CV/w];@JłYz'pJR(+/+`f\yYrxO)&>=~k2I&@8eŖ:Y, Afј@&';ϲüf3@4C?Ch)S‹3ڦ7sզH!r BVmYؠ-S[T\+R WaY?$?vwȏ6r Q-z.rboIzGnz-SACzR]J+{}]s )$DЧcC bg%X]~O&/N)k>i 8_F'n3gE0 -Q<{y1P(i2EUvq  \lOVOzK]u 0g%ɫX͛RRӥ-aŀY  D`vmwk\nuN۹ ~!bڛDiG|g0DQZh7iF1[Nv{;<+]e܂~)v]b(lj JV9l @:3)],)b4e՟7)A2Rs&: ~haAk93H&,up܃9ZT,a<to4t=7- kYE/ie}=Sxw\uQ+>fwI's{F^Օi8ԑ.cUT+\g^fד}ЧۂN֏m!'d΂p79̷j9i:H0Ĩ%%4D)W)a<>kͶLߟ}`|஢'5bx`_ϡQZ<6xȲlB;]!/y?\ܡQ0y=&'xTCV#\WۿdgȐw1?`ѬշnPBSߣ`߉S{u 9/C8sE WDk1Q{m{i=bMn#L`Wa"QI*MaBlػ^ si1yԬsq ⟳0ik&IHNo{Hޮ}\IU'=Vf).-R=.M(*Ptv+QޅT/ϙg~2c 3 ^Wֆ_c_-Zy N(dɐTj]O~l;dC Rw)<G)D9Z+SIŞ 3G;t, :׏mq4A+ԇFC{ggŦu[c؀R RqUFuP[Nv 1p3?@x uzAϜP-7}iCԶӁDNT@G:3 ZQ3O #N@Wcv?|R4 T &(SC۽5/e+{އE`kSDvtvb]d7.+ydZޢGPy Uh7zI*T˥݀d3vk7r)hٿ9TO43ZXH2SYH[P`YlޒNPkc!$H c,kc.p= s!Gv`l?eMҢpNCz[6FZ(WL v DLx =^"^l7t.9 vBO@ogtH!`k. ]. b4sy5&EEd<Ŕh8 {8mL5}!| .<2bQj mlHd>>PZF8=oG`-'5vQ\н͕cr˷lpmx =^30,#WE~)Tu s ޒNQ"tWcing\.??(9Oj{.[33ǖQyd1 MM?zXkXNwfˁ}Tljը59,K{mp (jB⍰ۂ\U6ËSX6\Q{˚*>CuR}NG-7j% {.Udbd`DΜ1_ϑ՘c "@I9뎱BՖUk ׸3޵R@3؁z|4{K>f>K?E^㓶ɱnZ>;g2W*-u4idW9x4 ""K b;B::VTg_X$[$ȗۦv Z'zton;fp*NROA59p g-_};mFr9BTk%U]Le*]~YPM eƖ#1KG"S Yb{f/CAQ\ÈCAhvwù^%W&zGeA^'k 5FY`IJڟW}'m* ޒ&%j T&hcD4At`ww_NUa9IxK>4ҬKa{"N m*NO00izR&8[j)MU2s}ӇeRqV5|:$he^ˇwuFi 1eHЙʅhV֋25eje8`\8&9 qD<{v^Т'e]ѫ Ѩ*yq{I ?Y%%wգ%Z/2{4m2ҡ:K q);.!PV|%߭4QHVġgK\rc;}-űǴ0gڐAˍ}]:w]gxyTfj?!T#'%f$6Uf8>S2i P.w ;=xsM"MU*J nBo$,\~>fKR޽ZKA)++yt|Ԅ:`&v_yߘn3h%h;۴LOQG"aXg1j3i_I?oPvbck*feѶ _ V~YÜY4Np;**[QJ-4nBu}A Fqkz,Λ&k [ZF*Wf}.7{c4]5z, >(E]%( :)DXMR%</̴iXck \W3M ,z3SӆyVՏ'%a>+\!sW;>B>̙a )}Z{8O쬐˹Dۀ s"fIL}Gyռո{0JX-L-OZW4+ s9-k'!a^e!V?0"0> Fv"VюfДcvigԎg4WӐ gWDCv֍S/g*Co3OIZmL])Y;ːF.mJJ..taBdI5qC>blɉ#Cחeu=f4DQb(MI컑rnوmKR"!u?Ggkkʥ^75ܠvPjJUkK(ƴ>81* xPt87N0in7ot ꦉ r Q<)茔{+ĩ%c!#dzҸ(iwiT$UǑyr2u6Xi^ה ]r{N/8{% SϵeG$5zl;{ MY@(J5K.VãTGn,&a>]3\wm#? 9(׭lTՓ3s5wiڂhqm;eF!)RhB=50Ϧ&Y0Yn|t"=Ȃ?\{e ֣ !FKp}coaBν'IxI gp7M狯 J.WԒ&4 :'KsoK@gƓpkP@{-Iz` 2SAmo̩h] Hf BE['9!~|/U|ԭ\&l"7߻iZ?ҡM5k_fX1?CS y@dy4{?OC yF^ɿ~~mNR/ѳj\{=u.bM/^ͦ  !QxL May/R dW{6N@Wms {2=P٭" &OްLZ%skyX?Y^ L}}_rA)q<q%I؏2CFƯ5|\w ̟LTh8_/<Æ}4 GthAB:*Aa5 %D 3iZȩ3 x]B(+H;+M#P҄ i$l~ܿb!::t Љta!7Dl6$4NX7]Yf\S]p^xT|w,miNE#p"Q:?J+Y:[L1JKMd,?5ptN1SvFhA@M4,L ͌y::dtԾt<ܠ5e?dFYMTJ_+sK͠ӡ1JNoAɲ6}P᯷)aŐ崙?XX٨=1-|gnpŠelu|i?rAf>Xaݞ)Aum|xyEq@kW 7,"ٌ>Y`1Mln;.2PC h6[3ނs9h 5,_ڶ6ȇK(k?w:f&eSpWbQvI:8MU 5sEXݲ>X3aps4D}qUwI1H ?8F-3K?>V]Ui_}lViq[ڑqX༃!RsOܸ9"cnIhZJ'{gE ڜ̠=,+ǿ) OSl5FB1HSo*tZANJL/B2 ۀ)"$a5XY,15nFw\k"/s\"Dn \4'S4[Zc#|@th+<إi+ro׵(#>z]K"ki[PNȵ8* *tzZ|74Jz?tm=} 3K, ݼlK!KPZ)lСv3c)Z%A0kdr/9 ww'F3#+~Q7(?a#Qُ|0_P(qGWtbo>$gRpU1~{/4ʇVR!Igq g9M k]QS 6M_Fz-ƙ+:&Ё[(6 .JA`?a c#/:6?UY8X޶@g$N >~~4 ,G 8: -áhڂrpcT<ֈhB"#<ߩiE8O)S>̿/p ޟD5hL`O U m$IƒI[dikClUcfB8UVkm- <N D qE`^ι9pP}?8+qR/߿_'1u>_$˓6!~h'fh1rGoO.7E_{(x7sgA ihFy.f(ލʌ,!JÝ+]7=44ǣHShܤ*#`3i$+M[OɆym]me`[H8W" Mu1~=X$Oz<b"KG:~"Y(,+Nc9r''`BG| 2 K 4fӰZ^6D3/sL? h )PXր5N'LQf927Pez?y=|5[Y%80=$-;vPIWc/q0LJ~?h*!hY85)7FH}w'b$@%a2">i^Ju[ڻ_Ŧs9혱pe4=-d`]R[m"UM6JdN?hd)Sb\cM+a Of5JnBm]#/3oϰ!4ۈ`Lq27S1t"9 AJt2 aҍWdWCMX{,&{ɉ{a紻gP&n. l4֡\&|fq1v֦`g=;`h7<"+U*!|4;its7=/5Tz3m ^Mp_ -0OpTHָf^Zs_m׏r^&pCLѻׯyk#`1 X7gLKCS>8i1MZa"i"Ϥufzo`o|jV. Ory ]rdȁ& LOq^@觺yRNKv)["9v> =+Sl6h}OuU0 dɖg^{い΋ SBBCT`hUe˕m@.e w ![b{i7!E6Ӯ|:hF J  r6^y>s Y "ZwXf5!_Uo1͸; C&]Ƙh~0˸aC_0sC]ݿtގ3d-,CPMb`h6E'U9jS`Y b4Fc*LJYԐ nG6֮ C3@&AKcKp$G RTbN"\TU AHo(ep:LNc7 1~ZqbZǫ7:X+&_klY(!zYXkϜoqt:x-L-K}F«Ґt'32tʽnе8U1|r?*Gωcgb.vmٔ`)ʼn ^buhՂ@<7$L|`ލ}ϓDL EL!Os0L0xr'R=NƸ{k}@?x!o8lmRr> 鱠6z g@FUx5!13NP+RzL3hmvY"mpRoKnhiRlME:fX`^G.4P{q|L1eAW0Ze HψCzl IIͯ3XjMpuv\ r@>\I2aZ n QVk'#ůp7_2:_yE'sZ>*Y88&Ww~c?؞/G卺WF}y"硏0dUi @ODl:cw$M}ĩY'=Qkt:bIG(gg'  Ww6 ygV40c3dab%'J=ш5g̚D2c5FEbx;,$kF N $3C(ou7%ap,&OW{x&:ҧ s $ә[߽~ڸ`SV QH& ub7x+qo 4ߥ0͞sCCMȚ؁s//_O.2zlIa^0:U0ӬkR$~.Drgg=3BR>e'w])wa-pE_;];YNje;H2)S+RL/7]M+a6=+;qԊ>\#=u[fOq * c>! H jIl:oTN[5g5 r5Z}>\CMXak4]j^=oOTt C9TUѦL̀q0pRDfu#BW:8cG`}zg``0(kjӯAZpo_XF&Bc&m37ڒ:%Rga,s5@`S}g atN+;߉gQ#Fo^Y}f \gS'tN|_Op"}j"Z3 H],yBpԓ j.$=O :]mB'A++PPSK\ u30'rӽ?s\jJ1G( 0[l!a Vˈqd&aF`XH5,c랍]*/(a;uPIL𵆱q0h:0퐝iP;~y+l'arit77xK oB&xhFsܯ!kKHՊّIq~%c.ݦb-3hSv(N_[IE }rO/KF^ `ޯ%+h]Y":Q(I#O@5 V+m0$^JPߣXHI:N5ByhÙEZ2^(ɹ 6+ܰcB)W:GIef !Hj|h:\YF$!O.HAXu ~oyGg0\:+|>/QFDshF$z=jOnSZXTFfRkOorhʍϟy&b:Qf|b1<g}>Mn=Xu=,+ɑ:^)x0'x]6v1Zمnj`ylgF!>9@bdgsJh"*9*Ӽ\˙i26K7 ϋՀ'ںUޠ}&^cFnS-r^-j2]Uzݴ $V1.0Ć]q"4>Y5bäer^3ԳO,xe [I^V+# :R2^"ݠ3~ѿIr2Ң4zH-=ߜ`ȍ+۽}MN\p|'\z 獯 Բs}F=5>fP4 gтBS4 -rie¤߶V:V%ٙ{#8oJCm}}y@?"|Eګ=M۰1;0&q[(&9 _iwm5i1GaFF9Q[2ktxBi#/'堅}kTp'Ԅrڭ!NHi? ;+<9~;Qdc直7oxJM>opȆzZs 6({s=O|`" T$㼕X.L(dk I8Vjœ{p8bNq` p%#$:}SFQ&It8@NYcnE k2nʕ 4u[Q?^&^ X@8,jh|nx{OK eAfb'Bfe i3+S7ԁaɢݻ{h`^nh*u4w+5J{Njɋm7b?#_`l2h9:Ɋx SX-L &HK}'ږg:c$/wr^&#~22>{CWnѣ H/xP؛)Ⱥ–ql5OT۲I>4Uךw vlvr2& thn6 Yt ѐ9Jt䘾Ikɱ+Kimv FQyى1DuW1_jug^eu󁤶__cSw>/5͎|5?J4`u0fE_\kE9rr^5iC+0œcX̶hDh ~ N2WgYZ3455745c3197002d113ed3d878e9e890fb972083d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 8988e307f239b31c6e17f37d98bd2bb2f502fd70 db0072b673ba4d2f94a0d1782c34a60778005ac7