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 PP7vD4 ]/ BytecodeLogicJmlTypes:threads=4elapsed=95.269cpu=231.768gc=5.1447zXZִF! sk]ŗXiɟH)0%oqˆf5A1xB ^ ؇M%9 ޘsI+9/T;>>H\20vKyD#j$qŎn/ ]3U&^AkaSJzrƅP(lHRr LvxR? 'AČ,TRQ.OnAjb] ZG3ߟYٯH<(z`5֡&3=&:8=q[Qh$UA-z2֥gL4z<蜽Edc1RtPtX$ 3af~%gcTpq 돔 3_]&6w}Q%^pQ@ uIZi A¡lu~ddBU_C a9:7=E3U A%˓i |Y%ka_a+1X{Ř,H^k]Tfw/x`1(3GYz9꣘i=9i3O+uŠ7@S<&Cٔ6gSͫTCdyCGﰛJ)tѻTqL^33$K:e^X |O80[MU[M\n~Bj.oS?ZTJ˹ͳb<5D Bx$jb] a5Z0ME'2IZb(#E}p^^;r (\ˮ.,|ғ߂};dR\2%4C&N wyvײ<3Sa_ݫJ99g <`|yK  ͍bX9M>e*輸5&or)B:#XKMQnfS@f_=y]ۺ ̚"\(FRhO,?ZV'w#/DM oWGR$*ai I[A@`B([Իy3YW?WH8^Uap&[Iΐ~}QuԊtܔkNX#x=?_MMGL۷ϊ>a>n[5`Ak{N k-%JqZ'{XGF$O #i0Bi:(R"d6;+ 7 BytecodeLogicJmlTypes  8'28`ӢʟgdG;^]Ķau#X1.3mF`{~x} [)EM^P<2 b7(NBič$L-pE;8,X ^a ~DŽ#S$;D U'/IbKb4z,+LUz3i Ϊ^*MlU~k~J>.Fԧ4t:B9]qLʼn.wݻ!o#L &fCbk_ӮL\pr{=Z̓KIS~VyM}'zA;ȏ˥֓v$jjU ,lLQqpaP& }t%FWrcbfBw]^A6KtC[T,mx^yZ. F2|϶f@^T0I]?SF V0,HXhP*&cqm TQ׺6SL;鋲fKu/aXT:K3<(7b?G  =Ye'Y!:p RiN/#j Er /tB*DQO*(܏ `GKխ7Bஉ*rs{{1+G.sxí)'FSٿσRRV՝D` Q>EpyP&Wl>ĺ_=8/Wp,Mc r:*ɾB9C4:,&6矘"1v1U#i[FEȴKN+n$? +y˚2\^B{~f=u *Ӎhr>,?7`eҟ°>Ly8?8Ҽ=mp& 5P]ctu^Uʳ >Rϵ4 JHG5`s)}0ɤNR܉T] e*]=8j\2h-J9wFJU <ȃ}mw|,-C@NVQ\ϏtKa6}\"}: kaqR!2L(\_l'7_]@v8dWZω=(KM}uƆϐq3Ux5t-ZmաE7STU-6΍bPKk?)bwbo+)?#`v;݀6`WLjI 9n֫4n:[VA$6K2`{aKAQn|^*򖎠b-ycEg~BY.)]-u:/AE;=eMNFy樵h<kJ aaӣYF8plw'qEy{ډʇ"4gnSOKu :f0#WofLradC4>9=8LQՏ* {q/6U ҭxKBz"?ġs:?qz4Pz P1[?qBk xV-*$)R w],'SsW%I6$7#Tʸw\UD%m\tJw&vWفUy'  Xwe<~&Nr<=1nAWZ=)`lq3SRyvQ=w|&d+)˧e¤L liB +J-4<8wDG.,Y7D^oSFF%ϒ OW—poLOFXp^C/,zSD6Hc(  tM Ч6[Y c y/́E]d;ꩻ_EȾ~j A; {j,B߅ļ"eFtV/s< uiXQUڰTl"e=.^ XiY^.6~8"Gr;,S |_&0p eFh*lysSZ&W~R*&!XB (sA1]~0HyRh ioZ DBOɏ`٤1ިfR'\/;R&PX<ʒv:b2Q1cp1?l0aJn טlB?Npl-+|籋^aBFNv%̨239v=ԽX:]4r!Iߎ~,k ?VS9奂0 #2 kjNY!.h.2Pu;q3vLBH|op׵B[%n/OV5$Ob | HJH0A ]F5Z<ΫRDX挱\jGZIf'X{qŲ; Gm!Nip,\pø0_.I3<,w;/v:zNoe>'[? 4ծl(}V#s`+lagU\`J~@+oYihĚ _N4,1kwh6dJH]\ƭ3' xad9aMn%9?PR$LǼtIVo $h. 3<"˗rk5(͟xS/&Pp( J k}I!s)( QRmwW2,2*+N`Z3k^z>{C<أMw#Y+ːul^9ߣK>GЁXٔE"AE!`q#Q]"+xk4b՘mV`++WXl: x=,0nӑe~ZtrS~} a)H|#luOIjMDe^0pQwT5ιc0j <8 R"?:d555֣;Pm*%68(4ߒ!]#4nbe!wһ)I 7CA-%H $RE-pw;VW;S0K@ݗӳ}[;> ES~"8Hk٦m.,,)f},/?2=&n= %'2Hl "]&ʑ6wɓᮨRvHV9H 3n!tRb%}аG*h}>O%+\eWA=$,ҦҘ]YF,MфiEdn`:qON'n 8Xh[G*uH %\RvTG)C#ZAo3I9ʒN N!;"oE% ԅㄏږnD#6j_ڏCI)F~8d0ߕfb;.W@|\V1<2)Rـf֣K C T#؄8&=tiޛO(KuّNxp Bk/dλ3F*GշYGCC{\rDVCfqx]!˭D-؋?E֧tSU<Q/D*Kϑj{fPȷb_>IH! Kk,9$Ӥ^<X7V~5_u;),K ^. :rYiYuTܸ 犂"meBR) XO,1cZY P,7R:s%2^#[ezvNlbjccK?#^0/ga3_r4~#R]ɧսNt'Z,.k)bBCY&X6bk e,Bd?!s 6OզOԭI}JD*m#l/_1-xHP Kq~'ep[!>N#ٯyF̜,/;?#~RcQ/}ТYnrK @k]nclv&TlPW. Vؕċi9~hAd /0OniE_0¼ -IJVÉCJw5ҿEbH<5kʿ =O nxO+e8bE7z[bs2sv7i[}W?_*{0bMe78aXdDɁ ^HSDcz/ hP#￟TQ!:(hOEϓ8NpLNfJmH3㫼V[˩d!K;[1 ,7nx[Q@qX3SF?fqc$_B̞EeV€ -(k6h{_3Dvqs8| Ϣ؇C"B57zlw IV~73Zw}b)ԡÇE@9Nu2wtp&zOa0ςpibvӇ[t^>.J]*˹c.NBuCm"2 %Sa_ _Wx(HIbyB sgL%~ SOrЀ 0v7f 7rF'u o16ŤĖGlec11?'6e k ɍa :OʉޤM̿֋%`n[e;IB 05wTM6fr]0g $>a+v-V]%XRОwhǙ ] i4ŧG(cB[cf`7 BԺ|V/X9<~fW9+7=w͓I7'GH_x?&TќZX3ǑO<#s,;KM_89q܎kA#<'> ˕mJ 9Cy(~@?]1iGftnbikY:4]017iEݣDi}`5: [|y Sb"'i1+jJn<#j&Ybs`UGr͠*^f֩a%H[n! $P~R瞋F)jأ9-D9/e%z0UJGqk i*nOа w@ BqQF(rL{B/i"@B[Q85J0:=~ļe߱r.g46!-j~$]GI$ü^Zp`y} .€\:6; ?gJðP/7D](/C;Zf4û/]}@7r*{ H <;]H̻I ύzGBW֒eb& a ,(욬;}-1"иIy~ k@.~oo+}L>Kؙl ">8}z=#R(v{S{cS@Gbm&hZ4Zos5IoU$Mu( {(}زLڳ̟>](4(:6aʗKH2Ab={vH7+DhhǙ9+.݈6(?.GL=(~AM E"dJKpn-̗;RZ Mz?2wfIfq!~)7'pY}1˝7ua0LQXy<i54(c~DVyu4H*-ze41c-[t_YXZ;n-۳j|a6…(@‘g` +f #eM: ,mNA1+xTkx s}5 \q[x^SrL} ~8.9 ?s &p{_ 6 ^a0震9TIʸ;w-<Ze:"~\a"&gZʰ] _h5V>(y`bEΛl{ؑMI8N((;0{a_pPnkֳjwl^ ̮w}`ɴg?>LW:t8گ.𔲧RѪ&bchҙ/ϩlKֺ4VXX/ffp>E4׼HgrfQX?PLEJ1~$a19DmaJ.~)AD B3/OW;+53-[ūd{̛=8#ϭ_R5VW=AC1<ق_*qztdVpU$W+=uu+~gK!&G xDH$0F2c|l͢CY_+ox,XS?.Z.SaI!iyz]?, 3M" 9ɸ%aCSֿad-w3^u޹ )Rmef#s`Do*Z?[Yv xxܯ֙=L Du Kcv:.Lw7$mMx%CBp'}\|K+>x/ i;fW1@>7`ԥy@%`\='UDÝ"ET`81ט 'So"]gbXG6E'ҧ~NXᯘ$b.w Bz_%7ԷI?Z>.hg{vqW WBlo!Yd5(L/b2#LZhB!&Bo:Ӱr5ʥ' b73o\b2d*ڮ heg~B5mF3[pTXk} 6gŒ~d R>]rKhմ7AB߲v{/N7H_V [ʽW! ݑY:yFݎ"ߴݫU=F9ph7 )^k$$ ! WwchN(誻ҋ'G3ƬIʮzpqs;i7cm -*V.Sñ B%‡[v1kؒXWR^nt;`jbԡ~n;R<ɓE->]8|lx 3D #1H[kQػ^鋳t럟+)4Mr㯽6xKI#?D )WnVT~^BmWCefN'{3Kd(`lAN3R)W\CUG@kMY5jC.5LSFN/1։L< :U#F۞}1rO ٳnɺD],mI_ hELx4 oy:hSƑϮEm-vWM"m.cFnZEb4ve:޴@}In&ؓ!i;$8(]ybÝ ԞI.w-ը̞a6#_vCw0/ܵ땧W$e뜙ĮgD{;ofcFq2/U "E%8V3NM+1SMmGWgAJ_Eǀ/]FS JYʍoGEV"$XƑ.W9L9tax|0r]rQ7{s"= vPb?Ftf0֨B=J  {2@YFcgc k{=}S 2X"=^FDZnnT˷#qR)EpNGw58o92P$%θ@T{ wp}2w.dr?N".PEm$p hg\`ȓHH_!w\1rMZ5h,jG&sp+q#'ꛏ@`o\nȜXprYKQn(xF N6#K.f'mv_Z'7K]zHnZ;|cR_>C_Ll ntK}s=NXflԕI\_Lx!0PڮI\9T5AmwT' s: |?@O, $5TZeqQlCx}`:DЧ:ꋓ" 8e&CX2kФ/I:x=TvYXR(sq s]vS7/xpТ,HV,c#zڌrm u9PN ? dŖF|rcU1wڛ| AZӰf^~较GE\)E+HrV KR 9)@rv_c3t^l}-SቐiGd>6mU!5 'Z|$?TJ\D1/e')L\ g.ػ?!U`XY0k'< F~GOTV}<+Sa3Aa8) Zf|<^oڝ- ^b6U?$XSԈ/^8'r@J]?j?xa< ֙败 gɓaA q.9ӇNb5^KrSbc CbIŁ?ʘ \V~{ś ZPԘ"Ri-)Mg *Y:|=#!&v ALj/?Cu%F1 /.@",Gu~&+Gt%ޡRFCY-=WI@xoor :3R9VQ&M5ƃTrZu@R-MY bM[EkrQ'HԽ_Ņ %V&5^~n_ջ~8sj.`V;?jy e Wwy?͋/C6z$ĥ̆YA2ܔ8U#/YMgSu̟AmYK#aubi15J@(7sOg(wo¨&;h.bT~ -ϦAkRhilD5fim\h09-r0G@-00ds! ~CqZfR$Xu&;df͖Ƅ׊l!dMwHMM|EjږwaˀUFuv)2i Bw R&FZkT7 3cL'^QX 8;'6aγ6%!>)Uquꆋx{r .ܕ<ŽeIks0QKwK7ŬqW F8G+D1KTHAQy&Q~9nKwP O)Kw ȘQ\e[*{dÅ❬k*w5<ޜX7).<5۬i1 .O:#cu\TЎלcSiEnb x$0@sZ';vs>c1x1yD"w?+RtLJ mjf뗿vTaF/`n Z  ֺyhf"OJGTEs{Ibg5ƍ-9&ҞrR:Al^8*O<纜C̍:b/_AQ]骖 D61}b©!5LM,p<p.-?_ג%Ϟ~O!5Qe[N"~=g/mkC((wc4J4}KQ4Ѧw{HΚvs^Ӫd<ʠf .M)ܥ^"ϯ=3,|k[  UՎ@Aa[_DzY6_xT?&zƍ !L۠%b`AnPUL-1:F܏i1JAH7BX.cr7م0"4O RK ZO%{J@4 >?d_˜Q csvxt,LWFcZYU|Hpz}Y#Ề?<|Aw$:/*B!k B<aW.SUM6!OTE/Kj <"P8!~K=Z`nvxN7o; yǍ//!E^2fa+GF\UbPAIyI0+-N7JtmM+BPEuآ%׺9ca6 K(1E}=qW?k6>xq 0&~қedmu./ibLXRݼI4."!ahwxT`h>ޏFF.ڥLj'_,Sנ˵L¦!c/TA; JERɥ,lɥHѩ< %C=(vW2-[Q\~ !Ԉb$V5EhOs!3;*KJ !y`23풒nY.;'Ʉ#'sĪ|H K悕WA?j?T}tM SHA!VtSxBN$>JwEvcZJj-6]B\άl]mAyJG)\wv.?,*z'?aBTW63ha'dDzbVln\"xH7t|*GZ73@PMKE]yT}/+B. x^W-ny+n(U.QB &f]8\I9GNۄo@ J' B~(b__ d1WFQ #49PE#l= KlVkBGy,|*LcΏ$i"*5jbpoTNPjG1mwl_d@%桬V7ߘu:3w1М(xM'oCWO02g7`mن=TБXQ.=*%XOX[؇OO4Lf;SbI:S."z  E(&irWQbolAnvuwđyNri:D"_ᩤ_ BFB2KR! `3Ȉ1TpC*>&?Cdl̽amMfo퍟 $=X~\񕚄i71z2Wk"WtHqI@vKp!Pb!E#n]N(ؤm NDl-s؀/ۥۑ5yT˨ MuknQeu8HD c8Lri C*J+ta6 Xe~(~WT D3 *ۈ\ N!)^n&;I -ŵw_.&"[̤hZ:›Fֿh)W;$pB*aVW^w+òiBTz2]A{i=?&@9O ۫Ŗ(겖U2IL%_ Vot8Y4{2o uѩx:GhI*j-Xݺ{w&+e?,%F5_##Y")~c~}քS>é_4]ėN;'>DPVI<+SkM0eB,/o$uϠT_/ɯ6fT[%;N$1̷)vpEeDI?6 pMM%MSs=HO,ꋬqm-;]oIǓ1eKFNQ_qjEUŤk` m.„;Ӳ0v:1G٦,8At:P-b0ʩl6}kqruH4sP<'p9zjch؜⧖I9g%ItHO5}ȭ^xXL\x%i0UQt[dmƅRVl*@5Ww.c暠جŸb1=ZTMxa5F@c8o>(tѤ6##a`x]/W=8N׼%Qsza8bM78G(_բ*V#Ãhw]Va’ώiH3rX|l#=seniponP6,|Q:h5@<;){y,כbNM&na=c$QJF| q$8,#:.V^|B[N1/g,2􎦜E4: 5$ْ Zl$5GuCr<0""`׬g d0$@7a *t=@& *9ҵ%WnϿ?O/qȣW)S. .yD]cq͸Iu-Ȓ?Sv3[ dbAVR"&.2; 0OaL8ybE˖ ]x@) }"IwY8氹@T씮@Av(Kpmrq_]"Iܢ0x$/±|CՊr0;6n;vòvw mBZg"Th/ϗ.WyD"UL)x}C~|U$2uVK2S, ];PK)!LNꂋ ш-OEg`/DXj&U?9 2x]Eh+peQ c˻#qS0wg6Ky+ S|A!AyZ5] t䳾#m.Y|$CDU.5 f}\bnbn4Mg] 旷q{FH0(*4j#GUDڲj{ڍFY0}Lj (c c`-{)<Ѥ( jx!5yLo.7}mXA.T:-/ŕ ~f hXę^] {O{2%%BSTixcp=t׮rðaF٤grhPT]󺤏}('c IW6贑]tEΕvOhE0k=ia KqmTzL [= +SQ!/? ƜÇ};DiSC(P%Sxۣ/cIiPR)1{:' k1݁91".!MTKQמ@(z5 n!fi_Ađk"D@Ū4 հًbm5`Jdk_.$z1.wbo 5wP˒UD3}VEbyWTKZʿ1mqD\*U礬_@1hT 80U͚\ݣvP!Cq!U)(7k*"}COF qL eD*z܋o R}b집@6r'NpF/d^e\SfX[֭5tnMOS\,[*EPٳbZ#)kr| N;l"ag'bXE}:y Pe]VIxXsQ!6aܬu.UWTE\?a sJ/*G;eT ̑2`~ "׶ 4'8;>v l׎ٽ6B&fQ貺5t:w!A<9cOVHҚ<mBTӛsAJ0C.op.)i ނz`FInОcimʂ,fB=4֣Kn~'T4%c-xݺcZ_B@7 8ӻ| cR8jԸITO_j ∞ 9,=^~ g7hz9fTDs-l!>ɮr]:{L~mAu~l;ZYP%/aҴ&0 7֫˸+vn 9o 4kf_&vNF:>+1!X8 2[Ȇ)INś7*(>Jw\D%aRJgX\@? n ylxXo +ꋬbbESeyQG>^ Pt*s-2]!CSZiwc}&”l`sin |0~=vXU_塚Q^yO2o[& _iW;uy^8K!3\ڲpغH :kH̏]0]"U":<请1/N8[. 9;(c\!!+W徼4i2AdnNTtN!7^eMթ[٣Q e7:; F7 ?]cM7e;(a 9_h#@`L$ Ds^bѬّ 1-”kIuc &5 N$Npa{a b6M?< 91yE1%ȹX$R6Љ_$VG6U)$!]I`E}T.{ 7 ɷ,T7pu塚ٟ5$E ni+a$TGp@kai{ݽ{_v%glf>3Q[;5ǧ|FݻsV4=x1\'܃ҐF9u_w~;1Km 8e5Fghr01m]+I3ܳI2zO(Rh.pUB2 RZôe㴸a Eck?JbHu; bS7& a6o6vClmXXDJ:žq7L,{Q 62W$Ѻo屆uՊn&I DL}-T &C8c9LE;rX@NUb k/+o6aB%G/c3zTCJFMD I- XTv'kIR'b Va{aMyT.W9 @ 3 qv4~Qܰ%(5A8A_X`߂[!D![# OSuT)/_ ˖Wq'GwSb.e]Hώ]+!D P5;%3Un vBSM,W{Q HH\t#zT!?Owri1a]{i>qw) hy¯HpǙcRZd)qPWE8=$K8zROf`M0j+Q-X2 OEC5n1+.ߴ#Cc#x9Z6fOz1.8j^ưLfOP̕B, \XrL<ΓdE0ǴX%Ԉ-fdUqn };FzJ>kZ(3ѫ_9&z;kz;uvD.럃spZ!(=V:`E윸ޅNm;HvP;+Ђ~o!|Ǧޅ3Rf+CϹůT5P{D9 ?.:QyuﺖQ\iBeE]>fHh4c$ߺ-F'q9z9>Sٮ(CK"{PMi™`jtfu", >8sS+c$6g y>I3{f(T;*s?n*ZT4Ų , B/o^ʻ%>ɖN/;v̨Y+Tid,A@ualTX4GgigQ!j}u='6/ hgI#Qpk/'wr+ Œl΢IAE<)<8uO7ck/zPCru@P;2Jc_k>/c ȷ'$ؠ*MWcG^$ԹopPyUk$ @2y.L@rv zzciьUiLN e|y%RV@េRUu`ՁdtPSNBtz3xک`2c 99(U^,~[H꺉ԢfS2O<X|kZ@.BGJ` It 놔;MO3I8q{/OnAEvXM @t)#jf̂>ՂџtI zF]pTiL:!CI1O% `7 +8vKMS̘rE!ͮ2[,p"^ e.SLJ"XOUa5 y18s4\|9{Ao>U b0GwQO2?v" 4'ؿiYI,m{U/=޻|k7`jyY8@ S Ϗ). ߐ*r'bq-PMX`CT0)M7LŪyBo Eʫ p(puC($xAی=x.ȝ"iT }7qMr~EH}h̚D뛆Pz(pF`e, Ke<]+LFUzk\8#W`^`&|]p?P66v,]t7j02wjxmParHĕL`엌ZMӱ*T{'+T~EM`;G:e1FE5(!{ۋT1tr}/%gG}\)=?[F+g-<"sk' GTvrPMɨ}.n3.h`->ǍsB{ 0 6ZNȨ]l[t==TtF?:WoZ&ԒHQ:g?7; o`lj'xPxlIj..@n\[IN |ƦKeBB ޶NYS_2㣔WI-7fP $ub9"16֒xFؕAbA1XW)@ZAn滆ǪQ0-&wN'Bf|YcԧMn7EL2%>M{Vj ONJpp :j{Şpl;l,wJsoY9ݠFu<(TLfؑ0?JT~t¹KF/N)(3:)Rwl9l n;]e'IR8 =(3'eHDOנݺob6w&FuHeHj/z i줌vRpT^ < g)k>W[aEzF3Jqo0f~ 'Bȏۛ6n8q (uVF9Jz%jA|^"͵IASD v; EU$@D8Ds7R!]Xõc-s #HyJRNcOA.EKo͡>M&[L'm71 9F]1s>Q.^J |.JZ%i8[|L98+?NIC/0Zb­@,Sfñfk9m׬5rȇ_9{; G//yq9F|dN3PĬbuLH?|4|Z{ eӨ\U oRWN.pJ,.6':P.9#p3mpIDV\t;i:YI'^x=Z&.`gYZ7zXZִF! I]ŗXiɟ/jڢ}n>t;mmB~a^TqovO y7_P*W"7+\4']O2~_,tqtߩ?gbx9s,mG %Rיiut[Hpܮp')Š{9a6{Yr' vʣ [D\UPד Zk~ T.SգF4= =[YRFl'ɒWH]x2 [I7 ޜa|-[ 9ݫn-N,-sVY1hI GvR]W%UV,!~-IIi fdsjYZC^`ok>@&;,ҩh) E;IH 2][)6 ʇht|Yӊ=螘JC/eP(MA?nۈ VWF1 *+7q`3Cŧ̫["~Zzk?`1 ݪ\ -i'=$`}t@ҵ+*PvdL )r/twLR"~arzDF{I=Q$VlOg4?ƊxƷ?D> p'`2{ 7O)]땮N%u|Y6anD#9|O 1 EXv_YMW%D*יaV? 誮\ᔣ(]@/a{8yp\ W ^}fuu,la\.l?cE=v˅/{J穠!= %lîGpbSH{deiC|xǬo~ %O&HTpdQZMyCN"䧝Vdm$ĊCT/OZp\w|yh~!龌r"40oJE. g)4҅kXI=''g^H'\,9c=&h/Χ`Y8泩1e"OI 0m+I̭Y];t~~zcn?SEȻ{)O1CWз- - |N1*)#=dO*QPOtԶhY"Z]1 ˀiڼEJ Qs2.fG"@,H!YA^9!DӹE<{&G8~A*D-`f`UrDdNp.zi/%?;uɜ akfn_\3nG5GeOȡBuD@ ݴ4pC# SۈZ\xWV4'i;oKG SԮD~pEfxG/ڌ1f~kP_߯m6|'WwxO kS'=)?rkLqu8 "7yq5ҟU:t6ul|lxY6[$ޚKIZc.Y62:=r@l[\1 ,Z3uFs&?I"G=aOC2|pO} 'wX? u&YOژeQaԂ}z j^KJ{M3O=ZEZXF2<%FIWs>9c[}S-Ir`g(됭b$GFP8MuݖPaWf|Q=![-8N;}7CH6KЪw}Vw4@;wJ)kUU,T)bAU6^AvwCêCmdjb|DO#=H # G6>-/(҉AB4b7nߗJG&NUQO)$[#Ԍ(@<{I`c H* N>^!bgA3\<_o2W7Ir3(˾VpxI;JxC[X%blu#ٽO{*`:K1,)Nm;M(nGkݮE]VR^M۹Z| 77n#J9}.[sZq]>xhʥ"M'SXEidaӡ|윃ߘ(4%&>Dx a3"BLbȘ:k* 㾲AW/hE+h *v 6;hF|?a%\wG+Rݫǫ$i+gu(ً+0>a ۂCնdTUZ=?X~; ϒqzr`>w~ٙ>C%Eh8C&7)Z6qm 0ލī6֊QI-۹,߬ rη*ڵ/x~faٸ4| _IL_]߆IϸnD"䒴\఩ $7{B[9c||qvMbs=pTv#og,SUyy 8h6r d3\lH5(f`8$vHQE9F.b0Vӓ )ZpD7owWooc <с*1UƬ$zE?Innց4XnB˞MЏwRQUEmpXUv|Q;-F//fG"6ө~h F4g  jĆaRVXTszh$)Qzy0#{TG0׹LhlJQiE= )IՂ7c*U1VϾ7usAMS;uQ:8?&/'+@<B!iRY%ϾUܒ,|krxۚPv`jIr !i93MQ4)ߩ{hَyA~xl ˨S, g.czPР|ze2!|{˝qHQW?I-;gw3jv|8y YE84?&plj=]:=\쫳/ʋ?O Te9X j9/ 8[Kh*4iFW]iԷj@a.<?O,[wMB?\1chsV3uK3B&bEo^m27i;pG3٘1͇vJ'2w 1}bJ{Q5uw8HXly:A_\h_8BzLdVuʁ, ȄWHmo8U0F0.̧.HRR hINĒjVr\QAMQuhļ5<:YdRfǸμ+Ƥ?}n1%)n ϯnu>GaV #ܲ"1M5*^hU>`ϟےs~m+-.+XlP`AuQҌF>6z ĈnKKȽDqCf`Y+5 0?ރ;(Z'EE5Z#! ȇKU?ApCw?P*dJ*C*LޗЃS-G3WiL:KB(n- |$ Xz"!"gz fOC?4g4b\q8͖Z g(wW UQ} nwdڭTFǨj#]*sWg@fcwh8pZ6j1q?C_OIE[櫙"1DUhV,4͝Ç0ه\y9`/9Yow%ʩ]-PU4w\E?`*GE!lN5LP/Ъn ̤L/tV^ wz$E=J y֓o*z:|.V .PEzss-zQZVF6oAZ[4 gjmkT Udp=5CgaK\L|8tfTY2;HS}(q tbp5(kr.vկp9A=(^`34[{Nw9UƑ>~F~wQ 0YNiFz(29 K i#\M`LcshzrH}3mntkv>@'MUmnEzcow,*@ތ 1a9L<]U#X$"D*u\^OlNm[K?+nU%P`?h4nFbf˜2Άh6C &^4x=cêxhj+O#m|=j8~% X٭ӕ#q8g 7#3֧u!} ˾bV^XT{~NUn(<@]ٙt&_TE9xLL6(5⥲ 7*jG]'xsDnbr3͗srFQg ӂٮ<|&LV,A%Q` !LFC}]Vk LtdKzBa~n^q砿mws"@ge,d[.4;8M|ov˖+iqx<[„L"yfo q26<ȟ"&Ue.HnQ|3¡ecA3+p^%;b2e2gYZ87df97bdd72ee43aadaa53e21533c288534b755b9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535