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  g,$ ]S]Quantales:threads=4elapsed=89.812cpu=161.512gc=5.048factor=1.807zXZִF! z]ŗXiɟH)0%oBHیlC`!N3-=u*dOE FM{taj0:7ڹxos[J7^} Hȸ„Xef*ޗ~²x@7*f)# [Q;94a^ tN JA]gg=< Bw]E8.C&6zc)[_NjntG,?Bz;㕷^gtBl )| Ĉk\3v@eOd&濊:p_>|i}yJmFxX͢iOx_y2M`T8&bBRjf|G"^o)BBA$3"!cٹ7כ1w   Quantales  ݛ ރ7#:G8 nY2ޤIP$2<[E#P20+WᝤemJi>F:qZ࿪ +PӰхoe$N'B[ Ժ"[/Cޕ:U~6eG?0 ?%m 7R<<脮hYqLՕY>3U3x&Il>̬@sR[,c>á%q#Ȗ0p]!-kXe7&/E agȮkߢ3qSaF=^vU*YАPBmR Crri=ݑIA< <e%5oeZejϏ]Tt9{`XS#8+c>G;,-1E7&E&L>:tNE۞7[̏8nuHF?.9w/ʾcC,C&ɟ, j5wWmh$/2To5ҸzΘƧWFn?bf(oB^У0Cs!P#t2ſ& k"-Kfj>)#C7yIT!2IQ<|{@ 귷0O PGЦ%OYrJ\gl f6ۻnhhX JAވ PѠB*< r\ tPkkde`k)7s.mD ]رuCL4[l97~2Nk1x\JODUХXJf\pt֏+ue؁i&TG+K*W x4P`5BQEӹvg:CH8Ή{=v\[%w[lzM&(tPr'r"GZ/~Mq`أIv鐗Ohm Cs3|K,y0J⪎%DGa fty|[3HmCسZk5%L ͇_d\m<-W!>F"CKg>͗:!ӱ&]r\wWRդ3%dSѕKׯsk\뒡-A$V=I\k pNFO#ua>:g372e K0rv t!x԰sЉ̇Us#(ZjhiDFƒ,Ra'칁/‘_m$:0+=}k4ɺV;Hf,I\"8m '7Q.ĩOnAo@Q8RN[ɂI'hb$) awzxL8?`bv8gʹu6=37Ylqiݪ nБL>Q(\',fQ0N_ZӞNGV~]-p5Tӳ&RKw!< xZ8VT _Aޛ܆JR*Sl| ʑE-l{a|uvu' ۼZrq!?EߌbWx2V~Yʰdб^u2|m{kYA%tg@Ex\j6ʃ C4|*XBCݜ 瘃H?BrJ'Y"in"$)ZyCk @<)CA$ ' gc*P] XsrAm{q>a7MHXa(88c {Uhs@_!Ly3ǟxH}Rc78^C40#ཱྀVmҭQ4;cri1 l}TյR.%<}-u|N&hIBaY5.[(I@{Vwj(1[}׹'8 ˾ԑOp2׋m;P$a ):fn$29tyHjwϧGoKav`:n8=NE1,GsLq1fܽjj y@253!?3ѻ@ɶr8%4 ^^M5ArGfdU;sNSDW<-b8 5]ޣiM?yPB%o947jV[Z֣ҦrhHzրo$q]X,0K:q:.Gyz 6 A&A(iЈRv{Q⯲Nm5o8dZ2+g;5IB jp p%! C=ki@ 5Evf|ph\S,sL8%xBʢa֬XI_WVtEf+a{6K]swPkEETdwɎCر*7%-FLg8rU $(Hҡd!G;5&Fy䃦]Lǧ2mdex pzbfCzx>mIH,X݊$.R?kPsF&x J\be?ҷ֞)]=5#~|vj.}T5@[h-Rעe$h #Z@g_H$_PH:}L$jrvi\RY%O~%G~>QPՅf.f!Bd|&{,N,9ߕ6+'KGmlҕz->7 *:3BV*%U)}$ wD1w.5Y;^'e v/.n4'-k "] Ok'SszR3BR**K#Vq #9/6Nfs"_w(mq-x 8Mp=GȍX]yzx6F&ޥg^} SKe5F&,`|Lc?<`MТ 4?2@wYMy>p4"&X[%+e*rcVi<KioNL\:LnڣL;rJ3B^m3reT.]ő1s∎]\B;^y+ňK۪LCUr# #jkEXج ! J0߂!RvGYኔ.RBHYXT.g-n, /ZoM=zG=!v xtmIh}.gQ jU ;I;%0W!Z2ϱY; q,9y.H3T-RSb){{* גXSWoeʉ.GEcb/rϰ6e<ƊՑ.d+V1Y۵HuS6䄈!mtNosФЀ63BYaw@; h9W(:171,GZ*≎%WRP΍SnIUUA\ix4^1rHz Sl h5}~~gA՜rU+KnNh4dn5e"mP4$;Iz*QgaϬ !$rrm9hXJ?cf*B89`s4mKi3e >DK64pV3_IpcpkR+\f*C%K={+ RzՠD4t5OxfycmrLW7`\pfw,[}!pz§d>S!E {@dF2cжDLM' B{|Y #l@/Y`l--K;_>@^$Rj_{9QTh/hTz+iWi_݌F5 _4jhE'oYylֳč[NM܍ 7 hK  '>ElXN]98ʍѫ9 LK)  7ȹ4 B\Z@dEd`J0U[ũ 5201Ȼ<M TAbGs:i^C Sڷ&5(x'7\wuN1Y,nyscURJ4s:Rs*UDy dyn_\"~ pׇ1R|$4X%NCԜ,ׄ! 9&I[uI[ +6l l &t=39,Na&ĭCflv /k9ྈ&ɾ*fcT}P3E{e*jdg שʡ l(a%z8^X(0nWN}F qLr?11]$7ܻ `-WɃV`+11s~ڵ /0f =3sI$WꜹW!#:rV BdCrKyQ9A>/~č586MV;2=/}Np/YA1uM4Wg9$a1}/:g]#kPc>I'Ijl,kgד٢y(A=j̭?[J8BBG!@\0?8 88yELn̺ߖ&|_(:uBJȣkcݜ78y ~jtݧ3)v8?n,Є\(aۋ1:'U3hqMbn Y b9 R2rO2Q:N4NG BS#Ką}TH k|0M(4eHLGȡcDmC%E-2˒cx #g \ZLӁTͼVF="^̏-l[$cmHgeFt#l#*>{_ʰΐO?5ć[ }ƒ1V򡾉:?0,œ/=]7Zlꐛ'nG0_ewO917 3 \0C=#!-7,ueqyXPE"8z{3S[ U )=ЦBLvtX܅\h;es6!t"0*Z $~8#9f[%?- Aq/WN_!Bf~UA YegE3gӜo%ӯ+g:䴮~pgny80<`%A(XtzH6ɵKSy4ْ[E_<*U(c҆jT>5!' L⪎%t9|op0P v@~Rg"1M-݃}~;\rQ0IBc>/w*h9R5gGodz0AZy[?YGP#݉Yi>$O6]%7ձl#f"MTUu)쭇 W;;jq-kcm吔50B@ Lb $Gg*,S]E^XrD0B뇼M|!o)7|ZXs(zD:Y]7`wfK_F!ryrIO< ( NX5@PP\$CYF\`7ݸ0c`Q娽ؑlY/~g":٢еk'usr;|6Gp+l6pn4bTQhO.x$~)<< p#}G|)IdP4"1*oOcVEP+JejF:_"!fJԘgua9ZTK7$9 5aztH[#]9:k ͓ϥ"\xn*1~ڐm#GmY=<$}2|ă7ʩ?RW٨.1ŽԱtyhM_gšl? WPF-+O$a`t_YzfvB5 (wE6@Dh6Z^C?I)]X*͏cǎE:X\A\<Ժ5[nv4C=a@gk*ZNp- / bfwb=.%A'ć7cjwEizLب|iRGqėPh~ Φ;qp^Q8]#؁GiI.Nlf S oޖ( X+DJ'V& Cʼnv9?<ɠGc%W)ׁԵsk!W=kaʢ}[Ez@'&ȫKҠ+ܮF>4Ph [UWojsJq̍}v s`Mfcn/ o^}yh&E=JÛ1{߰-ݨ}w.^t$Ͻm_ȴ-Oh>j<슗r#_ps#J=COR9kJM/0cŃ0aɤ9k>0'3b H=8zO j.·"Vj)7+v"k^5XOvRirjVL(ɈpCq望)M粫 #Yg\E#l \l|5'2lHPyB'Z3Z_jmz& 2O}OSr4 ##TL{P̻^_-@=HDX9,LM)de6aă?d[-^x6{%܏* U<@.KRyAs!%3 qǴ{z'֯E VV9\-'BX C- NŽ .DMӒc܉;Bl>;uk ZbؤDꨩۍt>ߑ6a}рT0k?2Vqf`y"o8 >Ϣ 'Qa|"c_<65\$NX'zKJ"Y8s&ԝ4:BY2peYhxsFd4XJmhn`d&*-qc m.đ*O.Cod[%qՓ&RDZ@b9σ<Ȱ+[I5vCbsvC*H>vt6toad=Y_#RF2"}w@"`nhH0s]OTb# bqH"4Yӆqh8vUU]@0t)ŸIv@נO}&Eר c'y C]!R"ᘼƋI`ء˾$s!8sEmF1I%v_.`\wO{xꜿP#D,3)iZ](.ʲ4s4 FϷ~dwSșϪuCeEC$DlcKW -]8rafEd\1#2"sy>' P\o\!bdG%B$8.4]TdHW527Zx`AKoAR#l09CQɽ׮yhW ':حQϋ1I"oC)ң w-Z_IJM DWjSZnUNb[:8i|KY-2#IT1N! \P8/]AUJp֡.s*H F:}aKnDP\anye&g7*I-[1[HÎuVT H PBp'8 ck}D 4=L;ގv J10Z[~iVj^֨ hW\ytQ|"{D@(я0$0^4gdIC)F!ЈBRyQT"N?l{ C3(+yB acPquALZQg U{Kp!w??i ζ+}K=H5jP]5^~! X`Ql S_ett9N!N/_ܳiB߲nm:O"ߏ8_hQ:=p5rՅѬvP2F9Z:ͷ:DV'&'ء}6Rz!Y|ŽG]%r'Tۥde2//6ɵ,yN9+Lְ`cm'^Nwz R̔r^g +zꉣlzbH*ՉcFA5=>*i#Lv`ח-( )M8 aKnjw50%}LϮy҉ (zPmshQU'w `LBVzp5xRqÜGIv+L*3LcJTw6M6KQoT9BӶ| Q/ͥ ֣ʎT:_"w_ `jn~yT-d ~R7ӊS ʮU??d )G>4="TSynYoPu̷cL1vzc-8S7VU}㬴փ ]A !޳xX$T_\*Ms0H$c&=_YD63&1&0{d7=]W/v֙X S/̭99vԨ 3+6M$trrtnsz wM {WZn~7H i-#V&MH0XڧtkeΰRɺ~챝E<˚e&Y$(Cƻƻ'*:i\M0,c0/d[Ҧ c ):"7UGveR69踁__O{`AvD~9Od`.iN| M1Vdӡٔz%*%R>̢f̆z{pMx,KیՃ`;>Y1Y}5&驏ג7^m9%1׍Eb&ן ۧrAjZ DҿXۢ{BᛯeLv'fiHJXwCN_''ƶ r>h=~ p Ɇ;g7`y5u ȶc/ŵv/0, ת#pm${?>36~yJ:gX*5R/w]eF73NygxuiԾe*q|" |$Q TM ']xrqˍg;Q:N)]җ8tm>Vb*VaѶC{ oĊuVR(mP!8j/Od#Ȍ(.֦%~KMlao oa, V\p~Jΐ8?l$]r娷ߘ:3(BsFrx 3yuS|Ea8PCAFS458wUSrۚHg.+?Qٺ50@H[-zG)06h$}5DyBIkkڜózr醛 ? 9z[ƭ1@EG|3 /Q g1$,S}ΤIz_²c5;FuCX/M u?}u+L@s |@:LуyiF~!35C-H"PˠO1I`i`(ɪ/ʏ~Q"=@\{|-w_ q|79"vlT|#(UpM)~ *K%6A MU_`x('7b~"2݅HݨD'Ձ0e{?ݤ`XAܞܨG߈.β'0JQC#bzIv/#VM^VYi5W9Y6E `Rv FDSwظ&sH|=e }&B!!"_ު.r͘4 ֚t˻t0`=bm[HkآZm̿ݵ; 0K,#[ t)lyPycoÎ13fYv6u33!|y|CQ<(Z;-r@b@>׋nٽhd N֥u3#l·KD!eZ)~)E2{L;[m"_ܧSClAҍŅbq`A/RZPP@>s<W*%}D{5ɜ"HiCI5͐CyMqPAiGrtڰ7lTFG`skݶOeR \Q7ȿsC'H^-Z5Dmѻe}406>S"o9_`:=}yB1^ljInvL9@tĐ  mx"iD P-PXndI h<$0#q1Á1 bfZ\>1ݼd)>qeᷖ#<ƣYUg=1_쪓)OQu[:$!C'̃V9Si#|(cNqgQ"\AyKѠz7lj1^R6{Y؀#e >[]¤tء%Ƨrչzn"A4a$%3zxkP}Ɉb,20$(.ia.Js/:9a,Կ eCPlh0)Rm ^3 :9{}CA$#_U6US1O8c5"l"5ޑ'GLEKd eph]ny󜠜T4ܟS0Fm6&˹ScbsT eyYURs M-_hL%۽`%M+N'Xq+`p;6^?g)RI%:-pz+5 -6b[ӾL%,ǧIOW%<+mNj=|^r:MЧON_)VlEUCʽvf m6ܭE)8%?nY5^8f4/}Dvk4s*ni6 ›}#΍ CZE>.v'z;j]ΤXןFm6f֖:Caޙ4e€'VBzة*qL \Ձ/KKY[oFMկht4[AǷƈ7ͼut}-s$ cΣ}0Hya쁂|A[O5Yߣu~ I)#^\T=F2{;pdA?./zc (=RV峘3=Ύ4p[P}=*k?~RU9L:,mPRJe]#K^A^T4v SS|V΅D6F#W핫Z7Zh1 OSl٧8#Q;ҡw@EA} Ri(cJGͭ-PYIsA+x^ ˯}wOƱFQUxNDQ$Rb-/N3hMLȥ;Z $NބN4$𗸻J֯z(=I;EtkOOת%]Ea?+`nT@6:D\'t:mεG.iUMJKL6(9 se 3f{U=C#qsc1w cuańK$kkJ?Cb%sVHʤD2+߀2U>kT[󲯚LkW+YZq07[OaWvʷą8I (tCsD rl H NvP1Rl:+@6Y格}-pk:!f7׳gMHh@XiQqN۶ɌTg|y`@g@p-fϗlş͢SBL=L7:Q_* eB$̀dW?;$P)㰗,D&hRц~|d@FliW~nD ߡC\mdPE<%or(?i:UמReO<{A~:^O3tl=lj%WiP ߒܞ|[ፂ;/YЪk}݄=wvcK ޫ{Y$T>`3xiL`bT(Cơ|YB_A[u9F,k2Y!mҩRɀt3~F'dEUbGx7>OC낶qBNu@ٳgps-BKm;RSf:g;2|v:&aYE,p UDE[ÜN}:~u߆3PErw^C!By^G7#` /0zxƩ@-"O,ɠ|eAQOT!=BL eB?Ddor hv[LKf.#M'ϓdDV:2edMdr:GC+eHt]wWL;$WrRDLj" *x6cB@ d]{A/[bSs+iѻ:k{\%\Gz cŠLzceʷnm]C,E2MGQyRB2'_0TRNJv9ډ'@w/S^Ka<b&0 qݮb>:W) J*YLv.&+m~3RHL X`w,Es^&`zE^) 9I+ e}'f1Wp%|IÓ)9@1vW4>Xc3SS{k^[6 R!M1p)>Ooqۇn/Pj^w` ,HM%J:T~V%MG&<+g83Ǧ#s͡yi AdhB;nAeȻ@<35R}<ʝKWˍ=q6!؂NFUNM|3&5̦OPD$(~5d2pfI}?9MkPVtRah& EWkdT9)Z 0 mm!y/Nj㑂©N@Ps ׂMXLXϗ8Y]q5F/`h?ioR`3+pOlhO+\W!QLFKC' Ge ap lh/\}"O/-[Է{ܤj;dW8@3=|E(g/qL-}p-bn(E9f \f;IAH߰_Kڵc%uT>;o"q7"x]tUߥzjS;ANo}UFsA4-v.J w=J6˚z{ XGN MJ%q򲈸r&<8OA<<pMe-f>>~`kY%ITcZXᷲ߷;@ӊjܬCRi/>noCp=/% 8Hv/>">[r% NLD}PδuaFtHa:sHXO(H2ɮ휷wOҬ9->%sD0_Qi#߾` I8y"} bIq:SU;\}1MYh<J$WSjiQe7::D\sgwmC'`Y!&iN5)knO$m*fX{i;/ƅ`NG6Ů\zp.]_c9^闌/-=ہspYE@slx *pYm [8#Elj N;[)]N/Wgk1kb3t^{\"ppo+n?з(t<K`  pNY8c@h*ܶyIz$VE[ߐh";p-X˺\2Xu "[>i Nd#).`6qe@@piv)ʹGcq k=DbOl-[#xv4' \Rݶ]"O\؞HGv>K֧n_X8 ?jXXӜS dgê1G|U3m{P%  zV2#m LRAiy9gEP~& ʹ;:>˶'kߤBccVW sQa*7&P``&Hg䴼gF?oA4Rkra/0RȄ-B=sڳ@¦x)ïH_1Ng'P\|,ޒ]s'uh2"Fꀡs7 ~k'u!bwla:o0ZiIxEk aHTTgۢe}'ζ"pd= QBSUB+}iBǏ"4]wDffMb3Z V]tR.nXeː# )be'/za˄R==yv$ӂDls=>Z4K1陙oP{."JSZ?y?:s4 ?Mo[y+W@,޴Z\םtuRP%.4VGsWPeQOgwYxWdnBGLA1hNMt%\|PA79,=C'dZhמTf,oضVwUs,DiyvYjO#e#d4q DVR}.+d/Ym̑/AtLԞIǰ3߽`*BHZW6yEW,{ŴկiA+VVDn *%Hzy !RuԖr')'(,V-:tԥU[Zwyވ^a6@S@T1(>H8m9x@CP @ÉgyaCAs~c 򎲫= V2pc\!f/+J멋j{Vwmm*xS@?|T5,-ɀwfo5@eFƹ^G3f)MuAb zH~PNKǩ3[A}+QXX:_UJ_R}Un~S Ok `܃X)ApbJ1S߷ ɦ-6Dʷ1|IyA]e|ba#jS2IxqF$:;dpOhpqdwF0$2e:+.Kϋ, +幕jt-&O1o Eu;hD, r ㌨(w Ol6<*,#"|b'oE-݄ I)C VR+dtP'|ϧuJ5/؅72hm{YQgϣ|N|3lO 8B̐HqUnhNuRfg[dBbCQ(5K(ɂx}~1S$ ݛ FqD6&fmTJ,rn'|je_ `$T^!oq 2IurA`:@9oR[lЂƴ7}9lip@Za!Xh[4 p sEɫI#aZ!g$d/5JL}DoDjbV~t6'k3$CBwXI-u@{(guu8qBBkNNСp ;Btd335ݐ>msXAb'Z}mf7I4U8S!E;,C ^3I7ūaћwBʠ.HqQ;F+ xE8v R[k^wb݆lxwz,W Vm;] `a"`巖û7~ZL0Y#B<ԑHq8g >uEh5}N]1=7:ノC󹍖so[Ʉ˜Ԟn/WrwPR? x^,T{͎RY,頇џ$I`+HP%^-ك!SBL:&߇q ogw,Lh%hkM>Pn[i^"{:q#u!$[ XЗS$idt?C. &T=f+j8mw{V2MYbCMnz<| 1f. ڙ ޅ0X6DE` !~@\i]*][hdFq?0upA"] LZD@^!3:/, WgܭCߛړ^:zDxH,:nr4ȃlt#t'p"Q-' ƴbDZg VB%h!3f߶'64Ħ\[Bb T&(gyڜZobO!6h=ǧXSa(:y da*O, [)lR`fW16ª+Dݖ!ip0QnOE_tbVnn9/iJO =!$YuMuIC\gci+e*pW7x}/48"TĴ>~PhRe9ojh.y{u9ºHk_X/Mԋ3D|X\ Ъr>%@:Wd2R"_]OШUHǨ872I%(z~}F:ʬ3f}qXL3vT⒚^ nϚl5.#9ɠ3_A~y2MU#[oX%(x.>d(Pu%\h;@aTB :}:V4TQv>t`?TДw^l7PЮoH/kfjD-È;8۞^;*Aq/c.#ZEi !)Wz"$[jz:o_ݖTvhl#;ͪ VRP;z+[?}+9X~P3\eLڠr4^,J݈DK`CyNJl8Z1#| \QZO+ȧ3\8}ހ3Gx {$3Cfc{S733'ytc/M+O| !y1mL\BLM?`u+#&|sox| [ԝ6XYtRQ1l7uXRhXY-ٝzOu),YEG'\o K.sPM.HJeCaPuFSLUWrE2 *8JAnAi,Tq@n2ͬF-fRW6_˪rHK_j(+ߠ<ݦ qL` d5{纾Q<gejݳ_.%nMmۆF`j<<)VjW#*@J$?ȷoKSIc>N X)osFXeB7Guqihs1X0hhgDAQL朦- $EۆB'U+:m4W5YO4\k=7ıoK:\d'ؚfU!|/E}a$+{$ ԟp,wM^zP;ȎNgKpD!*`6+*XU$zۺ*'W2fFV -tn:&I<ҕ̢ T y O4YfLxνK}Cl]DŏU7 =DXAP=CYts{%ykWS5_Xd話tcato B$:H-[y' ?8PcX+= j/>2ϲT)|payI9]J{9MpNGVJ9q#Dӎi*q(\0z,'L۫bg|$rfڽ__s5iwuZ,ڭSnZOceѐ^Qx{$~SjWdbJmJ.x]" I";co:5QLg\vI^W. Mzi;ΘbN+&(o"8ͷ΍"ƂvP|.dHN7 0)uŗdv9DJz*I0y]o9Ӎ4UW$*QiJ:kDi ̒Q2uOh $NPb+՘шsWOG^ e T'wieJ.bR$ʯS=ݘ`YF{N1f$üU7#/xuybؐ|5 T#r<䗃@%ȹt;.,TnDݷa$=畾}`pyoiE6@q2Fa,` :;TiꂰrtwJI(tJƈhYP Zզ8.=FB;z"mR; ނ"B^*y^Jx F9Q}y~2*r%\?ye΢I=N7hF6.|1͍ ̒$ȗDo2ĞJth} uyeiքvN_ --.)Z'@S"A8oV] o¶b)Zω6ƏS'`|; œtЗ3cQvY!@?%B [ ǼI59,q˲ #_¥no[7&\:mcչi/k,h\#-RMb-B娼9r{r< r}k2v|11Oa(nTk_}iQW1Q` pJ7ЩJIwa`OA3+#s N$2,qt-|nY`\u0ZH0'tQ9T,PF1G!JUAz<fRͶ2*4ߋB5:ք<澜y8 #YFƺ&^\OPmAb1G*f64}dSC_o 6?r HƢSE|rr/еgYZ7zXZִF! f<]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]f ^4c2_"tNS*λ=2FH—nRXx|)0v~LR)C:膬]z}žrگk M۶~.>tȎAU_h4ZM]ghʶHjZqUxJ^)Nn cIЗqmcpr) 0.`Æuc'n✭uIchj{w3d8 XQb!nQťZgYZ7zXZִF!  ]ŗXi%L!l/~Lds2YGJm(o2^%`IĊE]P[lEd ڐ^'ր{#8$D;#g- ¦];D[zpp l kK;`]vL?2J,`I /o=dBWVl$I&|r aUcN9 &ƎEb",4`RW] F+:Eb6eKa+-XyyŮ; c:c?f#%G&HNnˠ&g߰"giZ h v}rW\+ʽNGOc!vfSwE5ylF)e4/[H!$'jTk7OF0?+Qa HFS)w%mS6όq˩>bx/nMzԯsfZA/n9__IՄL (6"q=b lPIud&Dr[aXS^)ݎS>P8^uZ0^6T@ڃ^"v搤xIh@yUnۍ1˞DQ8QR#ݭ/795k&]B!tQﰺ}o~z nn&wh`~X Iu.3y{"+h 򱠾paʲ|Tro{zB;F?Mep0u7rm!?d2AMx߂f[KF 8 ̉k&4ҷ T[yM7n<6YRO[vsOza֊6DQԙkH& ί0H`삱K'(ZrX'" V[u!%*6c kѺ6(J YYDڴՙnINmXMFӎ^?}h?+'Za+l_WBj4j,*ƛ@1A9rA91%J^J[I@4kf6,TZh!ng [ZLջ6ë" )*ii/&m ^LhLhOf`)5Ҕ$h D*n(QKlxw8Dh/[(Hr(۩g p{BǟeQ:j΍k9lZlhņRs 0ou u@mг4rJqޑ/2$7t _B)Ne1EV526{ `{?/ȖÉf$%!CU!#RMdԕBzAtyɏbcaq[nHO߰Xuicd6`i,^(e%tB 28Yv^?p*HкhR:#u5R ejNU׉UEq1!@/0.E l'jx҉8^zXFGאSL;bA5?ZZe"Ƶ~jժG@ƂKF3zd*۹*⪪{˲$1.r娖ǰ3o/,*l޷a Yh4,v츾?tʘo݄ͺ0^{!L>|k6 >`m㈝אi2Q:\5u ɽFD0!;nEff;Y?|}%!g9)åVEno)XdPLSJ&t(yGq .Ǔ-:{TLmÅDMU<ǯߤiVileo z5}W}4nNߥޢXb !R1zl|b!m_ Yc"!QpQ-MG4?|2J֝&\[`)II. s-m"L^m~[ $_R@gnsH@#}^(eŢm(%i9>PE}7 !,{ֹ6OSl4g*$ӐP)'7O`(FWOҏ+{hƹm-L7I^Aa Ӥ*DM26q#OZӮGDm/pV9ih c(C[>tVqD`ϲt؜|,$Nau0!|gCAᵣ'4cCIƩZGp 'F7YَyY^kl6$=, W;#fؚm ;jof."]Wt'pD2 {~'? |ogLDޣhc}{81rDjzRǵi/3_-]bYv 2LT|S 980cZe@ƍ&[hHawғ yfoɞ5R_d,.ChhgO'wG/8|d+@_ẊmD/vA#L, 1,Y`gH]MEdP Xr וyff*' 3V/|~iOo^d%KW!K_oǎJV귪JIdCm6ڌ,i0N5mUՁAp#zqܹle{?fd'\ A T?:kٮs֝#Hrt& @F~]X6zXa|~A>Z%HXXm5yC'n!p= V57NI+I(w[`G 6].G$PHN($hɳ7n=,-e]_ j::P2IX/6׸DpLy׼B˾+ F>F`be݌cf.3)z{5F2=Qev=jgrS Mi"6C<8gڠȎ}B6K 7;Y$%HSnOVpy]+ؚ|oٝ@zaKZ-&=v[VN/˟p_/Ftd#~UFWBޘ8dՁ)J ri#eԨryVDSxu *v8an ?һv6D~(d`+ m;jm[v ֜gON.Ֆz_ blɘ֑8w ML$L=}ck/Noܫ(S1+!`<}8FW\5; _Jb*-_PH?kAiKtt3 JP\eNLm2Zs&YLϼMrr1 kI2B{F J83o.!q |cuEoXfc%%i/Kgr1.ag\DX]iqzV|hW~ |sQ'%F#Av~Uh@o8޴{<3>jB`c3#Hx\y!of io5zV]=h-5((DOxz)f `0xnIo+U!pmNq_T~ͭΖMD: ҴzR A=KJLa /} [ʊyyPI1ǥC۸GQ2i*Dd:Y 0iu"]$ RpgV帅QoሬV5˿J*\. >ބ?XZk/jc'"שLQͷ O+ZSr!v13*].y*N#Dq-:o_,>t0frõS_X΃*0oϲ{ƎUYI[)JhA_٘^ N Fw؋R^#x^Nl* SstR8+eq9T;b\hZ5~ RM2S:7l;tW k;>I巘fgЍdm0tP޵ /f]e"Xq`Cev"N9#O}*̊K<Wef96l@Trb*' M>~O^\مGt3 p8Kdp+-oȂ92p7Fdg 2&6 cU]ia~ɲ|kѭ'>H`L'1.- G |E[Mݳ=Tʊ80f˓(3NQOR^ʜ#)c9dLF+]C_j3ZQ^hB/b=vGl6^S[<;K Ix$lkl0U_[xȒ2uf?Ֆ0/ྗwW(?Al;*$%5G)a|+i%nMǶ/j 2 .|$D s?*Z=;~'JdQ#҈ ,I`ȉoT^9Vb4;ǩJ7QY旭V1 ߕ͒fZM`X'&v0zIqkY,j} f; 1.A݉͵P}*8 =$*\m1}ZUj:]F~$Dnܬv=1!y@WUbTq?mJ[T [ ߘwnl7^[5pFohX\携 c#ٖy`"hiƁET)_<R)j%kdRӖ|R҃Y:wK׷<a%^{bsbbۯmpf>*Nl,✕y^Zh͝CoůM ma"Rp>6xv?d[!k6ʌl=Ϙc6W}Y>>TWR)/qO Lt A-3p)܊8ՙ,6L~y 5)muqV=Lu9QwFVƐ?B'lquQ68jye'h>=j={!t h䤦hujKsH±Hmm݈| /:ܫ}nPbX 2{z@-l˚H~߉$F /|Y65Iqr+3E ױo7K9f{ăСՆ9vL78Q`WX-q4'.o0PgYZe4bcda820d12a57e5fe57baedfa95ee4efea93f88215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 22c7c0439289f232863db49e2da00110a9e8445fd07ae102a38d89d7388b84171d24cfad382b5a4d