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  | |P%t4 ]/]HOL-Analysis:threads=6elapsed=314.919cpu=1490.188gc=71.228factor=4.737zXZִF! 㱆M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8FV5Gn`Jx Ꜳqu:!w ?.L&(k=yōk IKj-b~nIJuwʛp]#oT~t   ÉܰOnUr9@؈`\PqSŵuEe%%u5߅`9ZmKS\ě ނcg3è'Z^[I|!׮~q\3քŌH{& $e,XZ;r%a;|Z%/eMIX)XŁ7uC,'β??Ze˂ 2A}+Sվ8"KG1p\M?}P}_dȜu{wSC"]$FCF{˺MRcuUf/.)/l'Mߡ \1g+pL3ק1s}_ӌʺSՔfgUfHc lH * Ჿ* qeBտT.|Q:io02+fc2=Z}@  tD )+پc4xҫWh`"FN, o4-3X"+Oh;e~kz ·M g. @2!T~;MEQ-)mA@?HYRj2aYAOT.;`;5wLM,*|eu=w«-?RH-F-ٲ1Rz#iKWSy/4`qY 5s}XS/X`s"J_^jWZ3@DLkӚ5^y+-y P_CE1:qcSZVMyN_@Z]_vKU|7|&MG/n"D|rfC? 6d=>58}VQU闇7 trGtܙArZ"e[=a9+ġѥj*?E 9u7I"MJq^:N&OZ ŽHߩ|x T?/Z Lط>w`{ri#F黍wH2jћ.c(_⯬~C/lr~@YQxO1p]~ w>_۳Q~v s3̻\E<<0ekEXIȃѱғ{\1VeMls].c4 7zp^OX*ĔSSN8r-ݢhȇff=r>J1C;4+vT`)C&v'(fB7ޅ. ZU wyuHPH愁$N(] XBlrZrj]M\J>Z霦$K;,#'} U({PFDQ=>q+#+Pi<ܞh1 ·9U3|T?Aە4~@Q R^X)upT`c˒>3Ww]WN{PXaf_eRֱA8nDOAs2XRb[@b'־y _Jj0-Sj2Ns:dXr^sajTգV%vM5_˙!a1eֽ.,-anl :$C@fY$B[cQ&{A5]zح-+7^* rJBRZb s >h^0Һ;}>GK&؝mҚIA!'xih,Qt#DۡzXeJh-5p<97qsK%0o0 Lp6$`#c0pcg0K=,.T"d Z,A<O B2 JiMMaVnNJ1Q$=- qxKj MM%8S$,u rĢcZ^`IZph#] 4iYK\T10xKj|)Ynl(iWkZgnM~&nX'lb΍A5a*o0wuPOg6W |.Vx|jJHK|YÀ# XrOG9p'c#iI3RɱKP zԴ,plj#5/)V́`^Zza7rq8 v >:E,ؐTd!ݵ!/A\T~a9`16.ho^۵u~pò<>wH Ƕ̍BaT8=VC(ūp|h: cI8q.]~&#}^M B"З(՗]rzs['r4ؑʆ~St8|tT^RdN)MڊPH+}p^^M$vIYéVQϫd|MKSP9R&6>Y>DN8u@ T?%(3V#C0cR*#n_:d6MLyZ _Kb9[g m)( t%GER 2~D"GNVpTKx=ŢOO41z :,GrV0d~2C[!UuRR'`õEO 6`hLTA3-d镈81.Wr=RYd4ځf |(t,v[cSPuZ V1'Ov50}yJU\-N$#:ktsNfU@But* 83>ԿpGt͒ A)x)Vs҈E,v-VKԗ Wn1׽Xk-]ß~dY#{Cܰ` #ɾoE<ɽJJrde<$)aFWi=p’"J)Nxl(ǜJ;sq^dN#uguOq񢓄$QQn03/IͱbޯdtgnIZ,gWM]DO%շr:xe,j(?=2}wθ!Z3+`>$rZa$/zA#no W|3|nFaLxeA})z{ DDlW K1ITb2)>6Yp^ os*=01{rySد%d=k+vTEdyCӜx90PwÀzE&ẅ7)a6 i KC4-F]#v6EQά0>J@ȕB跥`7yPnʑ(>2G5`>eO,rGZap[9e,O03&~zRI}ǠX_st'gv2bP՟N?]Jkf6]9<7w4#?lqD"{ޑpw"9b*Ӿj:t O쿾5x!FΙd MDU4o^ gW[}ѹ #Ј,WJ(=-^TwIz!F'VcgX/)h7gώ[z#'4oBɓsI>:aܓ}4 L(8 Qߓ JV-MkV/}:#wXL),XX8՘ T:~kn@W-o[,Qaذ$H٧p :/\ͱJ1ĩ]&~T pf!,39U)4r}Y @[֎qO J0Hڃ?-\0qx:V3Dc+S!8CN!*qڠ3&1(yU @QWCt=Xyi"lgE [ߚm6ygd,Ā¢br2zEP=0 MҀj-ʽ\nw j7J&cۨrY6,]x4PӞIhML >[#nvuCjyͫ4L=H$zN*>|+JI$Elų^?U2ʝ,߽}m^+m&܌DU/F}>?碐y5mshD5%gdczQy/@nugT.8!xQ#ñ횞3S"OP&k)iqk>۷ފ 4Ʈ2ܩC߲jf/(,(W*H:'Xq Uq((2C"κC7O2&2YP 79nԘvhw _,W'=Q0mOM3q)zb2chxˍs&ixNroh8[OCSt6)]X|:!"LCt7,6#jm*'ImzV' fJdr-Q=DeEDAG15~j&_OVgUgL`*+J+wU9fngsE `5nϯW*6wmOCeW㵞䚓B!zlr0OV˗Y Brt!|m@xn;-/ylr^z!j+twDͱ'bwδҩF'V;|܇lz_ ^@}t'^X3|Sc8VG  ~IEGWE<&dzTļ coم%Ii<@76WxX>c`[g̑cb#pɞ7%m5ii{٣"witDhpoi(%)'A;]1nB A.1tY`ZkFY\%Ƿ4Fm?yW'n4~Szq= #pVx;kr=H%I.z=~!"Q(ā&9~[鸘hz-6cQ{6%&jL Y+8Mnqض ; x}Z6&:oݺ4SZ`'dўʼnN1ж#գ%3Cdž| :2/f͟Ϭk|uϭ|̍ j_x3D95AOxR$2D*|9#3D3J HZ+*!S9t+ܕ`ֹB4L~JTIltcs(;WWRYL]2.ޭ] nTcPZͨ%h7:I0vODSeX'Gvy"'4u7w)LO\.ḁ AAUS;9udXlLsGpk p9dX$gB.X7;]rsxdZKR'Gn39KGpY =gʄo&: 8+qa'zQIC<[x+JeCqvA/g~ߘt %}\|#Ҝp'&k>{q5]?f87QIeq'V{~t1$ԻUGV תC+" ;J+1lf ިճ!1*YAG~àd[VQ)ydDWTIVGR TƦ5-Ř[!< &2Gg6e;zsk{wݠ -3r ?8S[2Rx%BTđd#L;JMn c"r?Od4E YCKij>9ǺM;df⋻|V\'e44 VZȟׅ:`Z}N!VO1Elsߛ#۳8; s!oǙ53 ⍃"S,meD/[xh<-RKq)\ɖVOk:RElعמ%O|.(aV@QwE$*3YWdJ^Ydc%U@ o^_Z+9ƙ>9~I{ 忭Ue,NnQD[.Iҁ;Ήn gB߱Ԓ>K ʢSWW=Ry˰KQ[ A*ϗEZg.,;=25LhWtl4$䶎ٯo'(- ?p?ۢhA{drR&.:_s՛61e'fZ@_T kU>@e2t0pR$@Plz/=lUގ$.2alW|B^0(a(_٘k9hɋyܩ>ςܹs` l` Vr=zt._HDrjc բ?xE%s4yJu4]+V+7%B|O(R\h%fiT91w+z j-s/Guly$p ļVJ@ƌ0AKDOV\7!X.&+4w^)h+IVݑ$KZwPpMFȖ}P'm I}#f' "l2=`6_ XO"Ũj0U&4ry}jE*vjU`6`lњaR@r2 cKؒd6v ?F$<}޸D*::9q' {w܊ WS5'2\I{̤Xmu\% sĹl>R)2}o!)5$`GWL-r]-nC5g(=j%pȂnT{ٸ?iP9?(_~x~.S\(sSD9չ~/@jEWq3mU0Vq@lwJZ|Ac|T|G\Y䭜t/?_̢]|1:Rg1H@X\yI!d"m{ni 7 2&GeEnƃV47[#㊰^D u@Gf#;2G#֫(X5@<ɖZ,t઄"s~܋"Ԥy'U>uZIނC+.Aײ8,˔g|?6)0Ƨ:eЯ͟(}{gKQXHgoEZ\ATnf;{5M)^W4BI,=͖L~lӄx>};B?Pcw5D)֝j{תuakVYC\oM)XĠ2@'2u(⵸aˀ+^Ѥµft4twpgP{}U9 ݅Q) h_&\]\KŎ1lMB1W= ̛V7yڐ}-gl:9QgvzH [bxٸj#489HUh B f :iqTPM]O [Oll_uc98~͍]% 6d(W*p9s*$b G6hC3+@<mvnlC?;JQ)*\Qv.hhյ-WﬡGc  .14hQ.mK>JpQ`4k SoJ`]U{Ϻ:%x~8B U?V*m/I*^9FWآ- 17x X Chza}"첏xRsc 5e-ˮū%棥T^s3yna).ƈ,5 Pn0yUAK?C`YkSY(KGXVu @TeQSnVt4/KFr,8 Y`$ xT;s}fΌ3^S+mRk9ծ5'ܒ oJH̕@{(Gz)4VcJs"7Lma٤ˁ-s?19nMwlTerI:a sF:<ݞJN[j"l]'h-EW6ly)w'N pbk>)Sj*]X\|D^6DZ4#S $<[w)\et}f(fe% k*5<49^-v>b)5VnM_l{%-xvi׽ F =o7a//6{;'5t`ݕK%O)#VV:b ] v# ~\h4^LnOqF]F*W_5j1J 3_xS՞R%P,dbfmBҜˎT23Ayʸ-^V4!L?<++aSqOvӮjwZmT1 \7Q0 ޵+Av_}'ٌSY5x`0p\8S^t`K, n;nÉװLxC Nx+j+_2zuI$C3t' ,VvK_Y7q> <M$[n-|Bָn,ym#?[oh-{D|sQ:zo9eWZȁ716LnhL2kv]''ScJ>ò:L)TȅCI=;`Ȉ ӢJܐ݄>#xԞ0 GTW^@ƚMP#}.T#>=@ru^E a :o2aݖɝUWfŽHXqDUaRWi԰ܢjT5_ѡӹtCL_Q/PJp  ѿrMJl<5cDb-2{1:Q`ay@lLm>ƑUg'!)xJeH!Wakti:61FӈQ+Ә'ڑedCZt|t@ o2'9}$|^R`+r8cAdQ\/xHc6,o|z\sQvoCeբO&#> `2A݈"e4&w{ec+ѥ6)pYfc9,̴ϧyĞwcE1IY)ra Iq2" ܙq|}]s%8@m^Z%@PQ%k t'F! e+oR&q w"={kkH;U$*󍮃-N5ES x! Y&}q۾f%BlO -ܬg§y K@K AB)`+؀-"Ӑ2r GĪDq'>#B| Uc||@:QJKa> EXߖf(Qnc6# sR zQj~0Gy\QJӑ 1 )-xY $|!A{BWw 1]~wfc="INHwrTHTYiYn}%FGS%HK$)!jW-F?!NHؑ7A2+<vM|-ME/b\gcaxFzp^"S5] cg@58P!W%V%k_*er[1mJ))]Sу\l)0{~PdQpV*/`vy ]xr4K8%^Y@]/{}aNq|ɶ='_ف#jWW#3-xԂF$|e;v+GTVqǘ:&=2V[6O4`E҄ÆY3ߎ δ\ lTO "[+_(y_}!t8o (ŀ5+dUȤkĘZihۄ`cX$#dh3ծJ)h>/* (xHF_"oE!g!惊d`ٰݨe Ue1<VD0px!$^U_~I-eK$aN I"9MTǣ7ǃdqNƌwut>ɻbOL$`;Oy&_t3Ka׎S8 y , QK -ZPT PW*;Hamvk0:o?;_Weԏٮ"R}.ap%~9[(3jS{3vBK=fv\,Jdݚivf#'3ʞ OeruyK64𧦳-Էwfcexr#cɺ/ow "8XkESSD|:!a#]5pAn!_ފZG&\|3SJ~#Ŵ&vџGQN3zw837DMR?))zo"M&4Akg߲, }R7:HP:QѿB$ItМw' TQA;{r9,Bœ n f6/]I6Px@ٙ7׶Lk$ ^咅u ɭl彝-&>koAO g|g'C|c B55 jxpnE`EwdmK7#c9@ ;Z$mR1"rΊY&@Q5fמ.#WD.8mL8 5ƃ8FqTs[?v "{K@iՃ$4C35D+ir{ 1+yDlZm06,zdn:nBCQNq%]j )23`ykAN<TB1G[D,LK8yt]\e!8+ۇc1Z v '-WDB+Tž7Vidxu88Ɣ*mcmh'YQ)e ;;5K*= (<6b!϶fg0cG&їcAE3qRD㘵<4a3Pպc2%a瓤42# Lj"Rux^ݕMNz%?(z(pQnn͉ȯ/c4T%8f9QZcDb(̜ڽmǡ5s#ȵY}Өwwp;O]NRƙz>8VO#NumG1![^v0  GŶi4͞Y2#PKʌ>AaX ::qJK6|[kO9Rxnʼ}Ǻ槂ay/?V(]0h g 1 z7 gu8" fUΡ{2Ѯ"wIS0sܰ}7eT a*'ߕz]uZTRi?mIfgf'Rxd;;꥾ ><67șŽ硔-*tGz?tèQ׹#l}A0m30"i6]\ւGqvfIKђy֎݇]PyLWFտ>KR5+OUV>RrZ5)hRq YO*u l$Qwdr.4@ )i7x@α1бԝn0I%3=R kW<~_:' V{8/!dB1<{)\+\_wyxl4I}vuApu>$I J1=)&<fF٨z݃|޴" V u{s~&ڼYoyf\Ar,A9Z:W.&. ˣ]< \eoD[ԤGܭx:g@k ~cUgVG4i9)= *BN,KT#*<-,OU>+ 'mJۡeG xh.}P$?g@U"byu,AXm ?7S*~阻k0hkIT-|`r FCTsW?ܩ_΄99_Kp5/Wo߫8b/fAc'E,:`թx|GL8gӀ&ZXt PB1FDe{Qt7] _dL<lX?:c==H ܶfm-o8r7LajPR%+i[vc[ 3nڵGpaT $o72bx=6hZջ= vfuChf93$7;9nI$kZv'{ber jUj -6{ٍO챰 yAW{V$0|LR!i7  Pwg |0ޔd;TJk[TEm3)}r#)=Q.^( h4 ӷn<31mL]ܠ L?m@Р]#)+j%BQCڲ M 56deXGSu9M`E;Zd¹$gD" 9D 4.k1 {NvEտO/ /m;w<V52p'Qʆ}|L!ǬYmter&fw"b_Gn`K+æF[WVR6Q{ ;K_o|CZw Lo ȧyv]0/Mv't0\&71|xd1ZnC0P}BBĉ+}7 L*c?]fL54&s~+[ L O= Նf](&clHE tW췡G|bZB&pMKh#V;M0 pD´&ePX%%}WV3h}tw$.p@6߬IV<64;wLPMH~qn[B炀CaF_tY͌-m)pƃ=H)Ihq? M4g+g-73蝧ptjRK|}ƑJBYf.YԒUPH¨(05fȹˡRؾ}Q?3 X) ᨫbQ':h} lHkI:"aP͙*>V&6cOkY)EHKQ4a[Oޯa$;_ kG?8mL&T.0.P B\ԓY3`Q0 %Xb

q;`@NinCŝ[|&B(6΋]5l:nDO9G%|PV_uъ zmBds62edع49o+|g~{06f_Vyy5r2WB7+-eV:d57>KP=D-aoq5"0庣/ '|q3S-:>t yPNJ)9Eq\2ޘNj~vӬnF9 q# M#fqrFoD&~5L_@[^J~X5ה8^x>Ֆ0C2,XݙX#O#L0SFf-c$(") M5iso8ȤD:AFNUGCKYtsjxvغȁ氌 "iVijb~L+rj't񪋨noЋ@,3%GX{25>~þ ŗ"ص(?~e(g􎻚"*ධC žh"Dly\vܻ'NT aP*)Xi qT3< -iYT@j$me xC@;O9lj,T 8kcgYZ7zXZִF! "X]ŗXiɟ1˦r!cHkMeBd4YS wB=>%K7Z$?aO zB˲osS,6i=܋} lS,"ɑKU{ȁaz{N'0r$YCQD6IMn rK Ɣ&B~ja獁C?:a`P=t2NUH Y3t M|U;'Fw.Jmw @MeDq[؀jnk5WFIaڀ F8@]2Z4]@mݵ=6΋;+*#Ѷa7SmP$l>>gUkDHߔf|{8nRj7<^];Uq=!u|p5- AmZȂOSgJa>ӎ3TS{D,> `QG裸tQƍFsӦ*A:kɴGC}JY65'u:aWΆg8*տ##-*C;<>B<ֲye7pיx6`udCЉ͗ _<337ItV]_(B킟Wዣm=KΞ!i!v =Ji9)RxǠ+BUWA6l#o<\ơN8ͳvDj-/[ 秧jVX6B#~x&~152M~I P}c;BvJ@GbL_0@i^)lÅl~rU 2&F[qӂa hL-|VVY& ' 9nX·*vnڢN (0uJ;KXcl.Ζ纤5"H" WEo,:# ȪW(koq lsGPlP~6w?g1A_N\3 ǡɳ?U Vvd,~=݁zBeA.x|aڮ%E2rʌ_¥(8:Z=RJ$cFӰXOB(XΓR MyZ֝ɼB|O(xyd0+vgJ&)> UEU8˶Wirox\mz)FC”p3I \br 6-FcuQԦf=)䁳jS)]3m y 0Ć2 $S×2z-4P  ğZqW]ckNxjSB'0 e&X3u9oZ][]%*}At-u}QbP%puڶCGkz%Py-JQ)%{3Huܞa1}<2r^Xϥ ]\ܱnTkrO  S9P35~z;t؆zfҙV"mXzviG` Z1s74quj:4ϡ4I+Pp@ zݪkD'0`ꜣ# :Y8 ^oq#nL ۄ6UJGղ!Ur\\<BF.ݷut3s Dk30ggYZ7zXZִF! S^]ŗXi%>tj9*pǴOPXIYw?lk`x]Qpl>S:ȿd=G4=6+HWړúnGBRЗpƊZ"$)yBymx5,="}'|4 T3ckf41BSgx{k~BDzSC oo2F7˥+5F>@OݾnBKB|Qʠ &RHAIä^'JtޮZZ,a(PHa}myodn9{{?rAO.M~,]]%Xx`TdMYhu|s fKxb+xz9LJnzcI8N#!Y9B~PژwrT԰^WӡJo5-Xߞ +Ouͫ]:8߄g6LV}+*O!9ߨ)슋$O81 #%@wXt/44w(Y!ͤ. .5aA!]#݁9֫X&dss/vH&21K|A) /ɺY5"#S U`ʠz̞7DqTCj O@0 KeeR W^,jٝ짤sHx'NxtFW<.Fm,p0lO֎Xk{- VeL'"֛fk]TP)q~2m1e]hfV%_ >,^+s\" /}X|/ U ^U]C)MnĈb;K8ZK*r|q@͠s2 H;]. NJivEgQS/Ǝp*яʱ>Ah`MC UaX5<Y]wHņG]f$%Ʉ {&GJ7aMKoMI  Eya0ßj`Q]BM'깘}fqsHc~Ó(٢z>vOOmH Hsd;)e$x m;>Z;]$JB h(;y'LE\Kmg!;=&]);D^Ӽ|LGPM;^ƁqqgwU1$ڊ%c"DKg ̋֬dckzͶ9s[t.Mv2j%Wr{i1VQph:G(=th*-­p ew=Q:M-t\$* G-RF(>JJm*wӮe'w>F4ߋzi>Сx ¦oIFnꍦܜwEYup`Hd]rXq> _*l eDoiy响TD;.`RZy8EHk~x(_bS'LRc ͼ%}bF6;^]tv]6rXbI,"*ۘ,3HǨ7~mрl&5-éB|=,TaY#,{▂| .U3NY=YciK+PQwW ٺ6hj#h,Pí"Y;.Aa:'hԋf[bzwWf38eb[zF.3KӰ-PSILf?wcl7<GA:konv:i?RjPAK>k}SHJ}+=sh *8qCR_ BE tCL;;zg󚖫O2 \=^+hK]in'X;W"pf > ^|c9MG n#lfb]q F":%PmtrIqeYwVCn*8bIEj` KSrb8tf]q(IպݝNjo1eF(Ãf$)Ц4@#@38mP-;cqK2eUڐ,Jy6Iu3\rlUcPQ; nE-1Ym{=I0F‹o?7F1Z-qØ6[vd=tx9cһqW+ afh8t h^_-s|PXu+]!_W84vF: 4$ؿjUto\D" +) 4M;Mo[%YWԧcvGD:!XK4 IqrK~Ȯ65d?ro?ĵyˉ<1ASZ@'Fk )rS`ZFlyݰ¾FQ/73oUm<+tPAKLk%a{d}ZM[bW`5;o3>fa.gp6;6%zpYiLѥDZvpdDuS"6 wӞ-PzhtyT,dg69X oC" $ ո}J;޳}SPLndSS0\ G\- ÚI@k6%w ,A0s&I⎟ | B_CxR~4x[G2oA :OWk઺/zMAqZ(7DҋË3( AN]¸ti_pBN7m3nFZVW[8؄rܠ[hc&$..BO8Ǯ}ެ2Oh>5LI ).4a) ]}n(Q 5dΕSo&s@JjŮd>櫮T]m,ڬ̦!rGcc(gFyDgC{B6KۿAAΜOY6b.P\V6K撣7#VbCԺjn {#vᨣ=]g[SVSqbT(ɚ.լJ*SDCyѹ N=./D<<1Q; t3bfJHgC๶ܦ GdpU=nNS!u{}T)/Oň/H8)fAp.Ai.R/ߧI5BD#+褞[T\.4R/_2x1ޅ2۵%'81| qOWY##R;ɺdI+hݻ4ӹOlE 5ѷp#bW#>=y 0ɗ$LTI`|㉜ie&}=*0bLȐ*@/A8jF21aĒ]KݙlZ`,@NYm%A{j|sgF箵tFKvԼ_2%~2;.їd /pDˑ%xJ;{!ng!29-U$Q̞ȌTBX ao\6wҀ (l ggMx ^1W?6ſ< #H *a@Pa;Q%t5(Y8Fx`cRLOLMع07F"l]ʪrba;awعP"!x'lO4ũwlPS?4i$ӯk|Oꔱ T A.)MD ~u*vFDnkdSg<7xS1uw׳Y6$T_꼆"Ij r!;9/w ]{z0mV^A,+ Tit8;#|1d"q|RߪIUw v#} }-G_wCg|3nt2´/f#l- .Tֶ2L colp4-ےQl=K`?;]i C2@yF'0CLh15/+H~]մ* v~>}Y1ݫUO޹)lz0H$(1LJ@7Ͽoyx%?^>juN nTzˆre܌~̾={{P<;7\hN!꟠ؖZi:;ޗ%oKaZr9J饯T8ªs¼T)Ʊ4jgO dV FJ'3f &-N@l.ۛrΪdT|So٩>e! ہ6~@-G;(+8[`Yu2,E)d/fs~sX*h 9ot[/3rmf:|5(,H }NʖصTaJVrly nUw3(zMTuF&9`=s~.Nݴe0ʼn l"i =!s*ĎM%=^%:55lJ9K'|]Ftz {䴚RMZȐ$w_&ݡb6;i~ZDj31͹H}1KR{.2[*HYh5˙4N+>ˈT6qX "a?q=w4>EEdqf6%H e16(@|tncRYaC~#kK%Nҏ2y09m k͘ΐ,=\Z-Nb˟Qc>%QEF QF_ .0yR8hr wKi+4 Ɋb:42D5 CRS~)Xf\H|ly!mtc6[q$!-\⽋Db (%83߮DD iY]|b]lz< "`@OG)eqnL?3orHXE$Wg4Kt zR[N qO,r"Z ѷff0>yopQ .:,%|/Ke1KMqX(\Nvi,Dd69Zh.?D]fy{Qiw/vP ݪ f &<̠qa 8OYmC5AճF m@G5#7ЉT$w]BnGQ&vdʋO G׊adooȥLK'DgOyT߾b;'JЌSKc6 (եA#/DKjX_7:"X?f Ho4szϾ6͏R`;Xe{6a=iP84?8cЕ#9;`lOTn*756N5i()[ @ɏboZcr(dBqݚɾ/arHIA/>)Nƿ; XF|GdVO̫1|$+Sא֍GBiƭv٧ƥef/kp)c?.#8j <^SU @"ElL6)6q׶IgFҫ?mv)^zaշ&t-KC`1^I6.P_ {fp(' Yf,ӹ˟ϱYv!'o1BY)]5lVy7(f/I"%*0c*h}<^z?JT'ūz%!><^lJXVFG5rhgvwTrpժDv&reˏ4%q p+ﯔ H5wg"View}ԫR.ϹN{_2,%.wi>zݞV6{!op}RR|GCaeK*w_X#!!^:Sh RIE,z+ ws 3wg:j} Rox+̯V&/t2-2Nw$#MWbk|fQk'7=/h,K`A7G1߻sM)qW,ȷ5e:QYS~ȇ{:}ҽ s\䚁!,1oB>H]΍ mS֔2.ff6Oh2$odmbL' XnkݳKFռjH{t?\,Y6HIݚnK.Zd=zFNCJ4 jH K)XIд^֋YdҊi~a< l ʎрdz˧ p (Ba$˗vlܕg*ҏ)3.Z3ؙγ i/p~ٍ^CÖmgղ&._@CJUQyp*"~KsT so] J#'⌃%7P'~?;O":nK;(bb@ IbV"պ4I¦CQؙgνxޚFz+NAANCyڅl o#!y7J f+^|׮2bZ*rzڰ|di_d.`P/h iu3V"L͂Q{UvElqacΜ8p𾆘Fʙ3h=VEtj21 -y)Hs`9M/]YD%aٮ﷥'rѹXtx#,€ͧvȒsCی7 WtSr+M_30r;7fqsߛAh:9FB)qrڲ\ ;F F9.wmEq`03){+3e:lb4M)E=N 1 "]QVWI T%9Ɵ4gpT\N>sB*DuHmO3=5X4ZHG/-ŶR 6*"O}wхri*ɇqIjk$;u>KEco4q S7w(`OJxea~P)zSh ,>3}8[Ԝ*_L2&h`bdF4ѪPUhkfǵIQG9M|tq%Pog⠤J*vYZRmS̵ ڻfϒTF!!|I(`;&ѿx۳:'Sy:x=Smٯ#FHJڅVb&\U6 /#YCy\0daݟ'_ds+I: 0\Mz VOvƱv^qj#tJZ4qACz잇\mr]@^+Et9Fbڛhi/6."2cRRh/LmcZ+a8?{iFwq} ӴaCUev-5Uz?Za:F#W~Hq)j1=un>Qc)emJZ{\M;8C@_g+y':|;AI#((kEҿvJiY @b6읎/D5g3O fSCtw+r i{joï_) #SKsE3͢JTP/̑=RM?Tr&70ؾRS;/=$=wʲ^`HՕs96an +C9a)wF09+1TBtg?uF)ověOhuFc̚ްEeSN^K?1b!_g> :{ul8,|L\"١t.}`-|m8zP E0[%yL+ȹCG ugM'o*jd3G>cWOnaɤ&v*Sw;[I"YX?.EmE^s/+ fsۢ&aBۛ +PcTI,&uNTQ}j$̀⑰=-go-H.so#ϖ)w$cI`+Nx==.X*d7!47 "AzjA`!?j+ D-*Lxm n#oyΎUy~wBLĬxCTF jA<+4* !wX,oJ(I(LֵTHͿ9nu/ PNXZe3\Ӡ]Ve:Sm(巆#QltU&fŇ2vSGa Y5 ;On (Zjer:UTpվ1 %6A΃)S %zv=CL `Yz~c)iP6/[a=#ؔr:s~B.Y΅娶e<\~ͧl *VKWCE]0A72^D}`!rzL 5g:\(LqVft2I .{r@RVFwc`f\q&#]_6ABUG:H cd9%6#i9N%mAwȪJ^ :5*+RӤ gQR8l(S3][*tq AДfl^2T%&ud:6ܲ4@OnrϩQ1!>uYe"{%XG]+;XZQ'e:[`c%S .Z>N4e?lNf / ḢW*YM'p=LhCsnimynjk`^yp|'٫͕߁=#Oؑհ v@"e %C˦$ H UEQUd6H2pKAT2EEܛ(E_~Ĉ] N3A_]c^Пm`Udyp@T7$'AL+XXVZWХr 4Ta${%:I:uRz>ONIN΁]Cw{Zm6]^b4!Zcݨ#1vYm/țN}g#tAF2Y(CV[,*e X1bֺІI&Rk68 n)&X8L)(3^ΥɾC)͐0jJZ@Q\g<8KE\{? F̪\ʿ&Eg45d&sxPã {eKq$z#!GVF= S{GQm mЧ)D7ކMie!߈Tks_jQ:puZ-<'Nyl/UrDU\!K] 'u^M\贀?m%ʞ@PUG >=lTLkxF3V:pE"&yxyYР™8x$p.뉾%Vgw Iq[֭|;a P9P}` L鏳~Wi֮Xpr&)LJ&=ݪҍmx jU/[^[tCC`NBٌlbc)lѐA! %Y[{٘,{Jq c*O'7ЍEi,lTLshIߕXjVں M3tIkq!цλ@L1(b>+nK(Cy3 FHE]Өeݫy3ס`2,{̐YYK.&!B`[2U98<`8ѮIusb`oY3OkIz@CJ'k1g45RMs6sbm>X }1Ava)#b4s&֨QRH;"1&ouPmxAWCB_gu/CӺNaL2Al`j?\ =૖kȆIzf}%q3㘰'j\9:q6g]$#ժqw|8L/+_%\n:t0}Qy`/Z2CLa˒+,DMmkK~CjQS"tRT6tյLd-EY1=JȽֻhf'`ldS [GS~QG_ܚ6 [ qW6U0=:Mj /?*ۆ3Wh$&9~wl  c#QbJ؄f{Ѕ@_HfIhM&ET2\Leewtc{`RӭCNu\ bFmco@bL.D8:M遼$lM9O^-j{`4} Z2=Il 1jtf` '6M#@7jηAavS[|Fy\$gRNvŭfQUC3 Kxb`NL]]ވ*i>c`oeH8Y ]F;vkNE b6  p*S9*! x"4۹xd>gf؄,2 ǫV?1SB cLPN;H7t.3S㴽@q k9w浵omfV*OWK.RCNf0T~kgXgn1ThS~y&iz_8sCD!~oP@3"^:ٔgQy%r~luQ:)"(j7ZҾ6D`$* sL*Ae_<o,stJ t@^>~LO>֏"u`rH/ۑF)[Q`FiP =ZOQ#߸6wP9QHüQFE1~+ʧ3Mto XBh2NqocO@ )AZ@l4U8-˔/|t:hEnIJC׳}aW_"p< "!6;Dh4OzD =_> 8*?#`G#%9&p9b`dQ+?l=vocb71ZTeuBq !z-OG0XC[X\l7|\&gaT#[c\8@XW7hsz5wb~$\t|Z F65֒{ZHTo䗢fר,r!NO-|8v"Oc'j˱g_7^+zs$W|וI4gkE"+5 bg5O0 ;ݭ_蛀qam{2 R{YVR<0d"8hUeI8)$w8hW[X J)K7ǘUfLΠ+3 E0Nzb(>Pٯy}EDv͐J-Rי >9&>ݮ5/g U\VIyAaܚ.&>cK tǠpm&kkQ,7x∩}ٶ"w l/+RW#YdKb 0ذ$P4y\_\jQiG+YlKj}.Y:Ibm/;Ɍ(VrSAVW ='"4$=#A܁.P!yaf~], %n;͹=O 88l~gJ>;)0fEF&lu2v mT29hf1)wQiX9pz@\s9]'Ő:KfebSB(ٟKS2mBR fvK}TeFzoFp/ yr?2N._} ))|a60W;X,𰨝<};^DiQ&uB+.,OsyTOD# ɔ3I^(fho "(Rl%{ʷ\Eˣ ޝcPZJ۱Kr1R2?ߴ]9*Al 9qC]G].,^ڿӣm _urZ`ȏ|9IbøiН[ΠU!x; UPYiG8r3b\ c֔mvN~taANwsZ\OI*$2Y>O„DQ[&X_nՁ\TANg#\`#3 7r"ť:׼T.:Loy6lOjw"-'-iV dtrۜy qf2P% Txw&sc3T|2FbwgSw-XZTױE59%!'Q y@IC?r&a4sҼ—T> iw p؛Gj-#T5˶AH`<H=RF%c8z6夬ϛN[w~BɁ%97[.1H؋XXc[cJ \]_Ԝgn+2ký$UְB.:@hu8Ґ=,&Ԩc÷y\.5%B69$Șx|pVYimm^ ,1I 氃WU)1e>6%i()#rBUSx8{h DZ~^ӿciYb9_mfߕ݂bYX.ZnFÅ1hwT*Hy^ [MxhfX "5ӗPI"v# ?VH8UJ7;wYsT,O7 >'W- _y, %G79T w\',>nЪ_}XB bj#v@+C2`[ I- e-HqPdC nV$ >Vٸ:τ+QmF//2Lb2Ea[)9HH!8~ Ve[UڈQ.*9>FBT#.o" |5*~;û;ꓣFN;'.aPh0{UG/ BGi4mtH,g6nGl3Py Bda:SK;K):&M' ilT[K]һ4*Pf~A0G=mLzse&p╵&7!idE3 Wq*ym[ur]R&fNrc,}@HT.63Nar`rE5!/ϳ{JLV,5qQ9s/(kmc;?@ ?_ttSEko"3HMsV/<[q*ršne2'FƓ}Z/k9.i s7 n o. p)ȮbevAnNojTY(co2ۉ |qyUox=WJ@3ӻ2V+ ܶˆt?C}?b+NLk㝦y`lίV1@} c6/h >; 6_8lc˪C`"%c-?a \ &X( Зwp9tRְ}ԫ- 0+^8{]1#&2ޛT"tI(]ZvYJ@csڵ&[37glPh:L -mXi0y75h>N `J*Ndm9)پqR%6t(|zʾKJ(/BԳ[bBʝ7 FskSZVŸta W O4~apEEVzc )Ny60#Ljhӭ2V-}kL&pT/CnَG{Jawu s}n5'n]y׽i /!zl`H~ѽ`45Kx"-V6*~]{"PчaAqSXHo]DXT 1e{EDӂ8sp&ȳs:]m< 贵͏]F i.E* MߓikD@CI<ڝlqv 3K@D?[ŰM4V`X7$˚A>ٵNovhݡ4 igTE𜭭xxBfVd{u.6 I> $w''E7sjЖnΨNT_rQQO[E4:I{+=o/e0")[*+$$I`)=A}@@4ү_Џҟ*&6WEfR*֨kHؙ/;Sp tri 5'!ZZQ5YӇsJ 3q!]|rM\B-S3{+ըtq˰35U2|),$%2 Mo`y dV"czrՄմ,O-:9ʔCNzs {Ttuq5JW0Q` l{+5'X0X?16Ga%RE3T.PuXOΈbp"gʅ~Ϋ2urE-WNvM6TF%i 3J/0r8~޴x_ 艞 \[M߽ R'Fcyj`L8\53 {6pny D-=]4.FNI dhP Bb-'onUT/.!ld(u˥=O |KBlflGXգct[9M5r|Hnٴ {H )bY$7 >vvx1bЈ ;sQ_"qG*CkI280û.W3 4ѭ⑫ KDCGIsE3ϕ-OŖ tP3Wuesr[qUFtP_|gQu+#ǧYqO-ImѦD]wNccHʬ: Z,ZfW920૩xV s1X:7`?!!uVPѾkG  ٥{EkHpX\AUB๥&$Tk^ŪJF6F`VTN"͂wQIdmO\Wa0kj CIX}oH;o`3w?/?'0&d"‹JZ {BiE4.FⱌN3D&˚buQakǠTS9$b$GPhvG?[yO%[`Lh1xYj@8e8CiIǛLKStݿ;rHcebEPCBꫳ١&Xgq`0035ﬢْu\u9b{aݗu] |"rwP8R?S7%6x)wͅHb9+:n.h;rycaj\ c:3g}j>cC@ o>C;`Df]f'ijL!chrKMPG9 ěWxlY}OнC$gpPRQi$"A= "9|}jM6*0pit6Xx[J:sK |\N!Ę}W*E'E6:iwɮV#ZjBUEaUϡs/pZ`'eLgXx6P'HPJׇޣgc> NPFs)t篭Gzm<4S}OeS$;0qSzS,B_yK}4^܇h(u aiN7b K⒇^&@;dQ4e;:r| 1*\2Y؅zp #SgY h:2P~@Ekg#(Ԁ%KF3GݢR[qy ᨂ7eyʎe(VD0ˆ=1-"LʽSoODRl>7 n68-O0Aj= Om QGEq-кVτ\r?fP֖vR*3 {[NO"/S=2u۵5P-kv7`Wÿ )%zE{ Xaw0DXH2)J2@G2zȄۯ.Q&VX0<ٓHPmEEG>ZN?ۏ6TZBϐ«S&Ì؏b= q]VϞ&آ5 {)`> ^.vSns[ N7BPّ9qIG2"5Jb!OLfgp\ҭqiK6Y֟P92ﱶ@[Nf^Q_0!+alxIXFoq IGgz+ޙ +=tkp&FBpM3J,Ǖ"δcoyFIhL0Kh)- @>v|,Is~[gCEVkϪ i~M)p&c"G3>|/*\%Fo{ l3PRo13nZ$ʺyGﺥA3\{Lt!ʂ%[3B8k~x..Iwz!L sODn,ftC.|侅E6 N#Fb:iƆ+LVOQoaj(QA{[cW}D$O52Cw/p @Ԩ&_۱gYZb6efd8fb1402f3b8078f3b8d5380bba250af2bbda7e0098c16fd923224d12b7191f69f9fa4d76b8d 47bb6935461017c83f2b18eba239137ac1b6429b7857a4ca88c667638b1650fd24ea9637dbfebd03