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  -!zL4L ]I LTL_to_GBA:threads=4elapsed=141.097cpu=460.484gc=18.1407zXZִF! ]ŗXiɟH)0%oG&Me!/z$$@73%b2`)YL=}s*G@7cD{ =Pˑu<kgnVSD̷(dA.UBj<mE. @(OV)ЃP>LRd"xł b3:HC9\Ԗ jhNt#vETS/%J{y[YVy'9)FTs@pレbs' )< Ty3dч%;.]މ,_(ȑC0 ڵK[E!(^jND;M}^ee+O0Ӥޱ t;yp f5"t([u: fqj@0\9%r[9ZH c!XA~ANDW/ XXv6 " (^G-:l%q4I ikzE[s 'ܱO k'@9C Q$#i:PLE15KՋ]"0ꑄW?{k(?F -+1\%O e.0#1~ZjYQ@|5k"ֱLj;͈b5Kײ}x$*%YPDy7<%|/XwI&hᖃnj$]2lRsX2qqBD07@Xma$sA?," fd4F+Y:Pkw6vŠowqgQ$˓?2ִE%  JF-S@n0UyF޴ od!U޵jcm?{$4!oP{&zs ,]7f( jAɩbSeK*aIt93 pr$Zx дi{D@p#vN;l>FO>ZbP0<&lrQG:(A¤z~ U|~$/̎ S5UMB=Bd- )Ik9pB:]s~rs.WWqʀ"s%qw(z[&3ʴQ /òI:G.R)@lQP~tQ\ؚg\@ c|-8\8~>% ;Z{Bs^wqRϽMX")-a@fCqCcfTFQhgEezU\9D>U*(z&b)צǓŀ_.Ř%5YU]P=Ƭc+znq}.# 8(tL_ ELZ4;38mةCk LOJؙWIUJLƞ3`xԴE Di)~EsٕVR.41ֳ>:CdNj`CAx9ZrV~b>@nB įQgLKݜ}7jrP}jPĻÿ'uI=0/͈.%VSs‰cS&"Ou:q^EL;[$" Ҕ<]çC73Qqxw2Jx0JGD^j *&>zBmJt@$W 7uVaFJBy7Wo~焌:dY1﷨o*VS>><5X6aj'ټ5 6 5^OnwC eG뎧Z%< m&6{99&N+'m4zggof&Ƞf3-X+8e D(t9 U )?pՃG};@yzai >iAEvxQ6/$`C ݵ¿ȸ^ h|;ZS*lGF>9 2mS:6lM,KI="lݚU%zqX+3aDƏ &RDOrXRq`?*>vxY|7Nꭈf!j ↸aM`zҗǀ?UmۋZPHėM(Yg*"&w2!x1m\uBi*s ?_gGj~#MX!s S>g SKf~:ˁ<^y%T2_>zM~,VI9Kb .| ZX@fB (_T*'g}!WC 4$y:.Xa@پbPIWU?gH n?ِchJ"v:ĉp9L&ЁlH#xN6o&?!Io4.WJ[9?N&ӊ@'s2%=kTև0:l.⨹Yёk(tiFo*gJx=4e"Ps6e}fp%^s7 "XSpϒ7cQ5 ٯ# 6E_-e]gs*צ]U;%A@==YF/b%bv-D!OT[4)> zEjTe]Xnl|-{ZRmeA[Mh,R.`7zՉy waلE2ˀ@e ^r|~])bYʙ~C&duCZy* $lFJ{EN)")ɷdFt(Jbv@4'[ Fff3bKS[bD5j@s}0N/cx_m GjG h2Y=6~¤^]ܴƽCj 8uT .$|~ Gȕ>x(Gin3Qm4Xʻ:By^+?:JhI8w~yf% sW3-/!.tܫY+o P|'P$" K@IC{&/3Wwy5u̖\Y7?9]*Q1L1:6?];Mj>(Q*Rz~w/maϿU'e[ߏKm`v;(rRw͜Fz&H˲hĤ~A!">^>y\q73kNV6IƬ.yDZ>{. tG7FZ<0Ly͐6.ñEH;D.D2cMF)?큎D@`57?H}Ξ%sr \G;EBm`&6C5^6ǽ i9+͘:#P{ 9!ryg6<E|`|kiIiŽu* pQQd/֧#6N~x#v6'1SjywYCp.J[/OW::grdjm&ls7be-(cwͱ6}]Ԍ7Zrk&qn-K F$]&Cv&sn3p̠rnĚ7Ȫ٤-IK$%%LX$ƒ{M5oS$BJAoPT\A t+q$],u#2AbI\+8lp8XIf h5f7i k`3K]w QVjO^3\ьa7ƚFP @}(>ȇR¿ yz);ɍ #R s]?%y mCgOZ Ů6o p|vu-7VQ{*(MSUd bd4=#Pu&c\ĵ.ߺp)[_P#=p>"kr k\iwƆw̔v%m%J4j󊤩h& RNuAB#e-mZZ SՁX\bFS$C`.:YQn,eqyfw+Zh5,vhC=WnF[_(a ߚҵSlsa!'+^8n~7jGOEu*eXo1GUYoHW)~@l-d$`uMF i !6dB7'=i;tntla1)mhE$:xj0'OZ!n Sg ~&y=E҄'Iqas1FӖp3\ulQi!K J|D~b[p:?٥'ȼgh֑8D 3[\^ɍ|#K޲i\Jx"J~/" [Ӽ&ޤxDz5YKtkѳuN~~HWxO63Va\$ʰ #ˀܝ#nЂ5 ,Ħ{)W~w{6cn.GrMbWA"T1(x}47t9SD6OZ`k2Kο1օ)S ly]_Ņdž %{@o+I]=&;+㴓FO[Q|MInJIQCw8b~ b|rޮI@,vr\ Ї5+9YZȁsS-]{UqI BA_1-¡Z1m`/2#ΫhiZ*dpE[,3}ۖ v!WP`VS xX-d=4r.INZ>~H(MEb`$e7i^+xjCnB.T%Hp$-ώP5$QU .UvƵ喺B peMAh=uqNЪ:IN!B P )Z;씳5m ޥ 09Mycw8Ikғ;LhЉE]uq\&(6QUC\ sm|@OT.;5/Z+"TT 0>i]og<@1BYc+ !]o _ߤ`)7 R=ʛl~YQ뼖E*{~6Qʪ/$ߛ!=*ތkt{a<`<rcB@`х3Q0ܖ>p-^I$%eY]&c.)s&D>]Zͳm~WMՇL1!u)97CHp]T1Eɚ⥢K:v=20 EwɎ(-&k'e.+[   P҃a@vQl;M۝\: CR=n գ~[3?uԋCyn=T< W|K!+8U ;nR-a n6+J1͙Ky6&FB\eQwWIY}PïXtQn4Ԁx,1PԿM ybFvy\A"0!c_ӂY?b1F[)>їʱ%1zP+I*h K1p=е6bO5Ԟr'ǹ*s=rMj4nN#ZK/lגb.f"RbVsS.9/8y g~](FSBgH-ZNML;@98ZXH{Nݟ1V.`j)_nPa , 5'CzCLYFO]z%:zt?d:+ZC谑_wU-~}ONk81+83K,VbL(tic:s8pdI|Y5&_H`ɺӞA*hJZ*zUp 0<' hC )s߀1cOpWx ?G|@H䷔[0!~NJY o^=}Ya$ c_2)K޽mW[YO8kӫA]ϬKI| ?PUH3vKv6rk)rR0#6٥-6jބ,*6#lk \ -\y^zTC'ZEx=ߵF<{Sp ùD76;-D4hЋ|qmzj4cZfSu@_3hnWlқ(8 fԆ;~BS3[ ̂*JV#z$N;b~9ecM7o56n4Z:߄D&FSKC6򦓹O`FN%M]':}G XEӷ*.!gVUnα ^q+FpN~J(luXOn{<˥$U`r] A#2-8 G _CW⪾;aςMj&V >% 'K,< R5weLIj9 yH9 ݺ{@}@ѵފ1םTxJxd Ncp05`d4qL:tأ ]r~S]UžwRHTn3Kq[zNI-μ#҃G;+ғv3M*:aGgƬ&[xB<@yg AGV#/cj&%V8%e*IZo9a-Jש$})Aɀa Xٰ F~Oŋc!CY"% \g\a||`~r?~ : {LN{j3)r.F7q̼a\#=Ytn2곧V J` v"AeHPg=uN/N-aLŏ8 H4K:;xhvJ^A y#6{&;w#P-g:Tl37w3妌m?ee+Bϡy)>J˅ n3 H_X>4oL锱n+v#K)|sn{uL[tεG7gjs}msSdd&*X̯0ɫZ{V Jn#%;j+W%^[cߧ<54MF&#+ΰcr՗&KrY*esL|xYg9\.\}%nm͔g 4`y٥Hq V]G cj{wJx; !nz GmF+z_Կ?oue=4*nz0o){|$3ы"-Ђ čՄۦ"N2[VhRix\:z_fB7 h ZP=Ӝ7y!\z<=^@Cm"Cj- "q51WU~;G٫rk)ގ[O74*aR&X=ˊ%֓GPįD#|eL-w>`}a[y>ɂdzˁ>ږ7 ň%a~7{7EPҤ;&WޜO6v_U<WpY8: V!. *~R [#ɟz&JuQoU.(\CCOR_\A*K@Lwjk[c{]w$Aơģ:>71[8ڒrkCuԖ'E{)r5q~\ +zI?1SBeY' ?xPyl^ h`LcoOAszwo8Lp8O_+bN?Qb,0wvtcи)Ep̓[M%kzF|/k 5#QzH ~5&$2ڴcFkq֡^E n{]Rr *jԌ1V2Qޡg5:0Z$?k0]nVAlKh$?nOXrp.E(!%j~ceJXvfY1Z}iG' %@ƌ\߮Y{1z<*|'Rx[f4XQn[:+}fVXt2=gkN$a; ")*ȚJ)>nE M !џ kXK_+8?Dp,SwPj΍!;|e~G&^ޱm tmwt ,jѕ!NNdÍ%Uw],y1wEOnEKH>av6 (q0PB+lƩ%N a|:0 F7,(M o;^=qhSxo;J7z&zJmn兘VAjgb7ޚA;}+at6wEpxY,c}Q UT؋SkMtcf>Z'-8f"jR0_W.U?ܢʧM,iB_m?%&b#X+A1n0fsTVA`MĸC`hQF=P0J!MgoRiS 1ݧBnT$W0e^ Ut׆4ɩUzh3a,7Qv-5e T+/]&1S+%UT$jcQꪉN j:iL ATveM7/ i>@%ص;w~PD!g4> !Ƀr}`@Ăݢkvf6fŝ5r6UyZSHvtKI~bߟ tjie/d=.ZihxQYvK}B!̐54`U:>R7%%G:x+zYEywjHQÓr)%¦lY"͂VOcDzˡ 9O׿jj8ꨖSBсwV~ljUzIUUeɄoYε,|Oܷ+=7eVc4 W5%Zi xUЧT(hz XL:*l>|ӻ  N"03J R2Dasܣ?ukbm׌ee%5[v;J୴𧕞=K@kanL~Ta"O@/O(p =;bC@|2Q"=ȍq.4*C%mOxO)@:n{'o> ч*|P'iB0A< ~3T#oÖ`hFa'-%hygtN͈pӱZeM> /yaam2dN6L߻Sb%^Bʥ;O䉈 uA (@nRN@W JO%Lȴr?]i {F֠_ !G}(>P g=rxDƨI+Akŵt.JO m?]vy\z$*EIe{mlr\a.8A7_gH=2~?o{w¾)-ـߌA\<kjk!);s33s7_aGяDK496ik${a"c@YsD*U&:.~2_-B,ܰ P'zΛ[Ƽ jp(\\N&|cV_>g?i-o&Ka*V(Ag~Z~Cz!t}O2ڦ "|(wH9PDU”U+E\p_RAĐ~]0AM33v5i Ϲ8?GK[l}NǩP ,paͼ][~Z̯G9OWl5x<'_ 鱘=J*2?$AsNp]WГ$ƞm; `/]ONj:DKJ-Z'0Ő#A!љ[~F`(` ozX%fXu>ō@КxYoM!IqO^&~~c¨M8dwnk2 QuN9hV1'2e[ Su Q}z sUcpNCPhB9JZǼ{b A\|%^#Rr$߅#T>qLЬnEY-?DS9`wMe !Y*y+1r ; 2G3+ Q>a ;-j-wO\ ^⬣~1qRW;)͹4({ZTF֋H0Wqw 1ǚljyb~/orֵDŽL5|DzzTQ")G䝏aw\-JC_oa.#p-xl'fJh&+CS%dg7}ek*ReG۶;uq x. 6O'o|'aYOy8)LSN L*0JRF ^Hbܲr$m&u4^TYtז>&δ[&I)v=kIK"/kRxT3ۏt\î]VՑʳI Eֻ֣\t .oJ9 tmg]}qmmb+a椦>y'oV5?Ĉ"ۙf,g C5f 1$zX [><&W i|xYp`YJH=vE=# ݿ"t#VFpu)v|%?;6()IFUd&и[pvF' kקī(aqOFc#"4X¬54ea1gw-sd+Z4 8AΞ%7X do!mz`$Ō^o>N{`sbղӾ˗/:b/]vCm%d(W7`3Y7Ett"9| ꀉ>U&bב9d\$UfjǡO>q\@:#uWGLe ikY˪qDIgv^'҅Uϧ.t'vɚza%6ybz_ؓrƿa~L8(2mٞ GB^Ɋ7eC56Y#dTxok5 1,$ƅXTo Ҷ|E۲c&Hx$^MHņW[tMɉK$Tf!8Iґ*~!dSdaKck:~9riUƠ>cb)|iB9ec.].} oV 2ڕl>ߚu' :>Q.up(YVd)'PR[u+ſ^# J%X *[ץE3Gd)dž=P?^PĮhijcN y컭lj s=NH$tYKq7#CngN5S/A.X ie} y ϖqŬXn `Z1 vcx?SK?/.Z7f\a Ȝà<42"kt셥81g$# W4jDžixKa4 Q⟽Ł*9K+5}AIuFEtY0B{H9]~=eo~fDS~n6X%ά#E'Vvd̨2>G1 2H=LU_~gBaaeV.ّ.(%0#o2 ɺ¬m3IH׸:1RXCP=#dKBL.Y1ҭ#/ qo2d S=+ȚޙyoyRhC`=&:Oڊ~nݎj6|ϩYTYlI[n;$ĹWІd!Oybƅx{#>E. w /yEh!pɳezYVDpՑTxuL/ ;0cA>Fꔉk8/JᥠnLSTߧEtQ@g𕱋 A6 NeȇfE{jLhQ@9 R;oj0dXWlZK6b4 ; ;pP%<e! bp0̅r U ԻJ!?v {-'CO%c*L?DY6@Ųw QƬ͞`he0-y%JVH׋Dt.^Uqh{λt@A͵'PFx V~vf'7gټ0ŭOcy83;?sUe?͊h(в|t{D0S[]?>O.{Aoߑu@oGB'Ԧ?h?tF8 b5%]@%J$nXf%KbτAZwq`Ln^J[ds0dᐹ:krM 20L1r1(h!]f\r}dCdu>87 QyZJ e|S ֓0on5vBxR܄1y!gst<f,LyV~P!s/#/ 6g@8gD])%,R q\"b@A|A(+kJPILn˷ iY( iM"!љMOdϏeb}Ly< Eöz"Z]Ƽ4>+RdEA`Zo adGl2[:5vh0=[)k${.C 'ͦظKGkGJ;heTWzJm~T]=_&/uwhM!^ FrdsYNIzYG|,ÑtGJJ=P;Z=W&oZw".u5$=cօŨ49SJPn:D{lIpű)EzݾJY#~|u^2과[_4!\}us[qduzJӼM* My`VIM輪c0]]x"Z_,Ӳݣ|E/սZ qZMSUB'S V6tw!MсF*dVA}Vw|YBL{b"<Ǝp<sR30֡kL:&TeH,Jo}!X\/6AЗ99ײ1>nϙIw)3".mN4]ҋIdxF/3Rycch9yy>dΏw&$}Tm0? 5tG-@Yf#0%6A~P2^}KKaxf#?17 <.cJIU=ZPhI"Fa`@#@4cVgM/)%Y@'6 hH-LcnSH?ϝDE>0$eai{=e3u7BA жʡ%Fr|l+ZxYp/¦vNUb-vpfZ<̡)@GLkGIl ]~lV47N~^I_5|1]KZ,D¾A +)!LQWpr~bJeQz]`{$xE~_e2@igp&z9(vq>_5UFAA)zH'C(,uZ@uVJ&D >/ޭ\ҍ̈6;g\ t ^e\t޸`=#OYu0Jhd:0$;@; ZRO$ÜZȦ$\P3f`8 j"t hgGDƍrB oK+a+nX ,Áa _D)+"iPM (C= :Rm0u>5e #|:1q G~w"Vp>t" ǂtJ1f"<rJDE,pL:'ϼQ"uYin;2nއ/SOlL@J gg8ἥU%{@a10Q X&՞z|!l -z˚x+^}sR{.%h 'Ϲ\cUYWV"Acxņe* 2@N+U%({Z`?ew wް I<\ms8@HJ xl̯íEdcYD&`Y\Mr0Ճ]H:ȨP=: \MMK]] }UnH?͹v>n?GxZ* u;;nf!e6~h4nb 15'aExXCL8ې?9h_R u/]iV3`5 rŒ;ĥ!s44,HSL>ݺ?a:G/y(3I(r+\~#|U/?gPU0nh)a@I>W<8~,@M5ھyj|X"#`b3, sB,aߣCoZ]Aw,~i:RCGmϼhIqaI%~FSx,F S6pbNU|({8% Pc+D2FZX 1Sd7M wG $,&q-c,3sIZ-sEJFK ;3 4]kf+Q l iLqβ!:D9'C #݋6h5j׿N ㍫>3_MROWy^`h_ lIcM5W+$ǒE/#5e{,~-m[mk#"pSV(}֥g[Hn!һdX-ڢkqn.v7eqnMPp?+CÌc2^P~|:`ƕC\ cjmg9Ovˈbm6=p0)(8ئ B‘8+3ȧLb鋨)9,Af͉8'-¼xy?{1Qn/ L`3`Odcxg-+y~D†P9  (YX"ͻm(맹0GRgTw+ltWe0R_jᙯʧQÍ^xN;75QT{3W3O B ˩z~ƒD],\o^SAӿ n0YNaZ'/779߄RgGLO6֊yyj-Xm2A-86buߣ{M&sjHUspevDqoZ7,ܣy2:]()awM Nl0s n*ۄP  v|5ynUymhrJ NC3 x(9e$,tKB:4DK$F$N7V|7׭"v ȱa<4ʜWtF ZgK_Zj}zqoH=7@xFdWW|7OOr/SJy'a%%,~~gDN6V#!Q"bc}E ]l"?^jDXn h(UdXK1yN["5Ꜳ@a[<y|55W7$JODEFQ *2=b{ <">M{A$f=F`8Zdo@gʑ??luOLf6 ZO7]?YXrva-x:+@ݹ}Df! jq_e/ GKEB'^O*ؑӾjK'΁qs8l&8{Y06#ixѲj3>ҿPw 4cls -]Czm8$g^`O.y c G ~Z:-چfVB]cEn5'Į٫~).^ u!:3$F PajL0GIZme.{骳! 3K ">/x_+>%t%EkKؓyMO%1!vectL|c&eiD7l={A'|UXeiZvT-Ն L sCIww+l `POIi:zz1lv.Q`3+mw^ q9SAa{9 E\ֲDcLhox u}C%pd{k FbTsrS;QccM kR/i M@pWH6Q(G~ajLNس;QsUY<Ŏg1`dѩUΑ4c,!?!=á k͗]nS#ݓ4_\xXcd 9hn@(MsK;S#A1J)1_q^2h;|7 s̤XzRrFon\=' u>w &d`2R8s:' "8d-oPbiځK[D4pWj5 \a0Џ OڮUҬєtp8V wolזޡԨ&ҡ䒋0da%]Oc*kCsPLvIәFi>/ߛ ]z/յ.?rzY-9,eg-yTFHy_mP؀C b1dYN")`vIdw?>sƚ~8$.]bkJEydzbfz;%K<3gHc 9aʛx{H.Y6OWzJ87e"iUOv8fl0;sk-zieP3`}W?=1>r)l% fTlhKZ3%]9AKHM\w @L #Q-=rUu,uEeA>b?˚3ЩZuS%:9@e6]'޾uԎ[bՎ+'T೼TN4rzE>j"YCsX=y-5)KK9B[\0ػs] 8k~5.嗿׹e=eUj $a^fCfrj\P& ki X\fة8~yVO],)J,mj`]|PLigAEB?Ok+*:&Լǥ1IXE|@W_eL_ dp>ky4b8fv<2bx.’{w1Diw9I12y[K;*Cގ_K=JYWM$Xg0 gho[ybE g'=8h5~evRhfgЄr0Qϔ?s6qωbxbs@Ȝc"K/q1gqJH6* vZg$9^ DdMJ8&GA29_;M KaXבv Iޞ`u`q?f1'YxD57NTE˸s^" \@Ke#ehCWR{"HBIݱ2gZ7dՔH_5clfq qT!W nHJl&B R h o ,bE@\?3<^tT%cxH>wk߶?cJBݿlȊ1S'wLB@Lj|} fr^ޗ=VmQ/BWo?drsLf馍-uMwӱY#JnK--@ңG՜!sM_[ Z~0`C5wgbS\GQf.lD8CO:;c,5xUrt>NC] uV%'e9.Pl8ztqF.@}dMc.aIǩM&!"ӥEY?~%>絲-J) 6xT#*zf%Zw)h^94P304`|G4XAh grxWh]Xa~e,Y\)4agZ)g#~rǻvͶ=r845e`P`<G "@b!3qkM#Tb3P p̵Oq)cy4 nf`OT#Dl @R\o]ĺe *bMD.MOX_GœeQ/VbȟR-~ã2v,55*͒[W4A@R*=RPiptq-uʟNP[Oa7@$ՙ"r,LP|eGmS!`D&6݂՜'tضS\ٙ8z^>u8Cb_~e-&F Oe]v6JrD풡/$:ΐ$w,wnZ~o7i& nضbNz .:\5`@DSN|96zl'@eƱ`Ҏ&Ly`䒂f4Kin6P:'Ҽ [ ?5hy4cr$lZݝ< JĒfօ5LX7ÕبP2RX4>wnkxZv^zxАB~ uldX$zVqԁ?Z!AMW7p66} vc'e0 Gkri):xܒH`wH ϡVTlOʃm8 M""f5Crn)R.R+yuṣM9d]US%'Wռ^1 #!rjhT] vSpWXt?dZC@+$ȫHs}@jf3kpj`rSK}c'ooę ;w$>,ThWB缤eB9SU㰳:Z J.֭qgr7AqZL! +g.˯9v9]>Jha6T$L:UvZY]G?Pڂ^֖KIRXL`+ziȗؗ h@?76RG8@=y>էP쀋er9(Ya~m|Y^Bo%W`|MK(٘rQ r θ}/M ~w5dԙ0 ?[(^Ց!~^Q=,UC7@!heͫt̺Hy!rG"]/#0QhbBWWI5udNKj J<.RxIɯS_,9{eV:f},' b_>bbvY2SQ@@4<ͤ%q|`ܚw2 |8]p?~V+P(bANQ\ &X7 C#㐕X Ǿk'h#u:'Qdˑhצxsl y6R i#XQaLCm=E?pJ(aϒ4ԌCKAJ5VJ6XquUt>΅]m@0kn-oo)|hĔܮcV]is]%!CP}-(yf:j}ՖX8+ݵZ*c b '2mw.i3\WwDnʹz/zwŰH7aHIDF'bHV52\G넮odoj[3>W}V:B $lL:e#I\2YA6^@ҢoT@*׏iG|%9v=`| ;ErBɺ'>vt B9f6E]"]V& ]HZ%1=ԧ4RM\BPla! ` V-MMRB8j A9Ta DA's:.NZ%L?cơhov^="~݆ G(HdlR#4Aq2^:wx0 =F~焓isɗ'o>O`7j`t$y;{#Dd 4ޕn-,vNxlL&OƀlU_ C|m=:GSn/\fy>kYX13fz`ാyWHuJH*_O`Hڕ_+dAnpYm%Be$N_|˙c߾HFLr*8m=;1.T*(j=M'"r\_!|M*fȜӜ䇭w`}Vi}T{O Y|1iTp!|ݨ\8Oᡁܠ AR6u&=D wLTGMpGC"~ R!&{+ b$ݙxĎLJI1^?*3#KyӾJgMm .~Ljc c,狨+B8,lY,?ףZ<'ȀG/W, Ҧ *geQe8X5ax޲;$8/ 4@M|z1#e3"]eNt=>$州gG5+L\ja^I ;ѕ=mf )q[C]la4PHr1e m@|@y8C|LBn*"jyd D(@GBvemi!Ҷ3xj( u.^h]kձPsֱ`Z+/aJ{(5 kEmٌiۨ$ؗcmE])}ѻ P^"oyxIpSYC{W6ލO([ڝ"(pq՞yǀV@#3+c)2U0LrV}JFJL2n'Uj x%%f2R 7D$QdI4O rTy4Ѯz߼j&PċeY8K+q Y#h^"jgNv#$7:tk.gUYpGfKG[ָ, Hdzi]~P,S9΀?%Oޠ{1:pfRPB_ElLh2wG}T*;;\ 4S |Sϼ!)Fޠ֬ ~(m?8<(Řp2?N C; 52l}("tՠg)U.ߨ96SS2(͔FXJ>+u`e=RE417,8yq7orqh %C[q?Oם|@+z-Rt% LګkcF.f-IY)SS7:Xz6ҝCޡhhP@ҳ]SiO Z7jկ*KZt;"f'n{oGhqA}{oͰRR$.{*zԎx1%tѿBLKD2vKĕr(%ĹntK9,ԑO$, 9ŹԄ=qH9a 'wT͸5h\Em8t'k]P'^ֺxА+FYUa߅ [v!Xu.׆Cc{*M@qbtzU,NDW_u{HjU[\ {vQV,sֽoDOtO^89 =~Rws*L#1I1B6>.ՏK[ Z_-P6'PP5?@#mIoMX~aZ೅_PpӧEuCm}]@irK/!JR\^F?AMŤEv8{^8#bo:Y:N<-Kg8%)D, zEf~ie؄Ɲu[pdỲ_lxAe ;]˿nCFԂ$) A\T,8rJRӵ7|xXk$s zzqG8Qӥp[9"O ad MI5~q5~oln@s .o!Rֳ~ , g|\*rMnK!4 koqNxJ4:*g˽S⌹4(cC#+AYJ#(?9 gDf5N]MX$o~4_$jP9bi/ ųĭ^.nn?}?7tI-,CX`"F/jgh鶫|-=JZLLWe,E+T\Em~oɒ}F[7;YXXݸ+߷T~NtU}Lm(_y %/esa.4vp]C}Tn< ݥH]Ɗ§sag[Q~Q h$D'fI:gx7+Xu C$Svp# Q|Ab45|$yyĔJK!u7>:U  |-&,U\Xw)p`mw.cMS;WY~;!B3W$׏oS{ ʙwBZ`M,q>)r vSU9VDд6p{AS9_kLs+2jr?=E(7+ @j0- j`ZSN fM>|U6Lf{"! F,Ky9#\Q/pӳ%&~|eɉ$[;hVVمWp5GʟFy. U{(mld|@<\)B 綦qsN pXd!am8WGjbNF+ p)U$mC}p>2z[P1fpSϣ*vUMt>hߔYʨ;I5:0zP!a1T4+jc s0d"N|]ENBÅxhT6EBv 7l3FyZT*X&5,ڮr}0p2_ZЁļ~ (>T8Kڅa1nC-sϐa ?]>⊑Cf:Crf&LKx[CҘWgJ>,}yw;-EObHۻ(2<~iHh[#1i(shoX>(3ՌhwASYv-,j0Hۏeɣڐ ?8q(_Y+1&q4:ڣ"ήiP!^B2TX[5!1>Up¤r8 !{IBokZqJ[LF0TvRh|_ ^a={98 #" o$a߮/ M)˥h Әӯx$_wa57)lCɾQ+Z4,} lHŀ((Z넼>%S|ck_\i-gkzflv^S+?$MNposn #vt|Y1&l4pmϕߌ/(d(ul+sy\)%1.r> g}Jv( |G-ִ-@R''_O~?g[9ϞX#8$>JA/# z oagwil{92iD EOR-1q`6zF8䫳_ZLyToZϱۮ*^d r{*f{ e".4Ik96 9ͷ@4#?E,n;ZJ2[}I3%u{(>[?\\WMj zè#S|a-vV~xJdJ-N&FilY^zͣ@^o6{δ$M4=}~3y%RLqtn [lմKE@ @>̹%_HO>JΕ=,PnOTMT82Jᘣr,PWǩ/sJJaCe}!V(sBP{-C3X*|tZ#ʘ:S}'5t~`a qOi\Y]D~\QV́h0>LL^det)A2XxT̘QGHvahۿ&:~_[ Bd3FiWq֏tڋKB!| JCX6"?t٬ f I"H-,F,ssJ '>OMRG> Hl@P^o 緈oiX}z^K~\qG͍zHEo/bM-K9 2O m%A&*)щc%bIj z01{Jwn>mEQ#{@X۳A޶3wȎa{g%qnYjAtjӧݬ(uO9 ;񹤬",lP9} /RuHAGZ47+uvP!EZ K`u%2el{Ss!W2&_&s}TkjRDYF %.(LAjz pK  EϜCT /5.)WzlagCcCjW#Y%?}\13DzÙX?ߟjЯ8I,Jtj-iVV #SbYl1>gUxMAcA(LxD0=öv ՄPRgo,>/>܂bnXLhRڙ\tpnkAaivU&~؈cUhɋ`pI3QmShɧ"A, /Q1#/UUwnڐv? $6h?JlKV ESAPZpyd{/RE$0Klwi_忖9kA GrGT>auX2epQLNX׃w< =hŏ8"STSැ`)A:&T5J>`Ԩ[0=x*1݈XD%@:c)Y< FbQ/+$Nzₕ_vy^Gy'x8wA~⑧&.yIHp&rSq@cPnSj+a{O}ڌ~f p)g @{پJ"I!Y;iVẅ́O> ; Lb2~W/4`{vwBU? y\T@d*oJ e~DZ !DXSFh3AKnKdCpDfEЯ#;6$RBn̹{!2,}]$0!3i2Ku&g5N;iU+M żQrr8T~K4g:b`$^Gn B ΢{sq0x>gPsJwn KZ?&tvM fiq U,7?H(-ɓԤՙTUf[&ps& N5||-1,5er K1!rm2 gqJPu[庀z.qB,[Y-D3:>hYJ6<r.TtDRӟ%/lp/ʐ_7i5@3m|~J8gaѐў~?/BBW@S34tR䅭!l9s8HXGt&(]ץJ5LMmaڗ]IҍԶ W.WS;ƤU~vfrAK ՓTE ԣ吰p&)o8;nx3XE)*3q.S Z}Htŵ)U SKF?)^=^28ϔn5唝jbd's2,S&O^噵a0IaG,.Pr+pY3ղ}sǴ&cuo=Dh>.T_<4ߠu$e)m"<1r_Qkૻ ~m40o뷵(ϼ. |t7Q#aO%$v@v4ɠm:e~L9ѡXsH!@WzRW*b•EV YXHS`V*tTO_W^C[ƹ=i`XV:] huOٍ$1q`z(?i`gQӎtʆX.ͧYq>S1r$4DSqw[{ZoRbpL&0bB|Vy65\? Ey.\1SUa,w (ȖziEr Z>fC1S/[hj1W֢=DK՟IgkD:wǧ)3ͧ]KHo~ʛ?#L d!OV+ #6p+KPdx2b i400)REБçOo-XerZS?ĊWX˓,Η\мI1](AKnM \#%=<|iw/0gx{ŞE}٠3,fDxUX9aFP&^{:;ۏқmCҕ A -G3hG(wnQaCmԺSL(%'X;AnKF|U8kJnFR!$z مR3-Ul髞I)!T]ӣd\1׶nL|j2#Sږ3TO0c 95] dmdec2SDHjI+Ґo+J[d06}i;iYyn+ɁX$(vT(uݑ#'__,eH0Io:sഷl9|>|]#;/ '$=Zڂf(ftqz jܼiNj E|aA":,WLߨ뻻ௗ f9śU`Vyd|qN̖V•s1=JZo7ErmlUvZu)Z#{i R]LFQMز9Ƹ/7XukN3Er57_ǕOspFH_,fI C N_*EڻH ԞEo_e Eiܢ,lOx_D/R*]Eap)UȎ2/ǡDab}T42~6i 6 Kv;;*X8{L-gA%eD7U ^̐hU؛<޻ ^O,!iv"^7{xvP;sTI8*#@hCIiJ6e&=ke%߄ZfbuV0x&N*.%1:=ZT=j@ċ6݁D"&ln\-)Kj,|3`ݑ8(0pV7+XG=wĢDLd\qNEWpu-j屬_ghOLμ!ZF¦wW[znY+k5H9jt's]f#Yn,v:Jon[fu`.[ < 42ΔW.2wZc`'MB%ha="ߊ GUbd( :_U]fr!k7ѶQ^V"<[Fv}5A´W0,<,K͢QBm.5Hzm!UjW|韅=ٝcFlMX}y>ZޞImԶ'$҇Hg svM\D˷ҎRH [ijbq֥|j~hKxp)$3"DO=ǃɲ lnF}m)2vOf^A8I8$?4wӈLʶd[mZ)wTOJ࿛y$n:D3× jIf ]9Ƅ3ME@'qؑؐ* }a; Etu\і[d]a~b `m]Ӕ :d).o=|U:.d6ysy7ds_3ٟc »Hj#(D\gc 'hL 'JORcB6I?5{E5JS:ne񣉅LR?M/@\dfE> V0uiy`X S\AI 6H(K%0/ &&rY̽󒜲LPO^:nnQ='@ N˛. ߐJ OpKjj#z8wq܉_p'VQ@.g$Kc5ݶE2mX<_mܛc!+w Q BIJ !5j(gzl& &x!W#67қ7mpvlYQNRqK%Ni{ݚ8F)AFճytr1\Ь|X 5FΈ+R=HY3ެQ[#BN V3;C=mF]ώX2`6_|R@lW$8OEoN쀩D%\9Ѥ:)U^*M§>#sd?||8(zlOcYJ:X-xzPw%Sh0pmU$Pϖ/:0dP]9 _f+?HP᎓6>mu0s|7QV.çS5H\'؟+4*0=I&)?O7%tN(_>&|=TI 'YJË=~+˳lAfd?IW2,ՙ R5[O.] qd)sNKHcPW?}gI#T4Au 8 uYm<[ɪ#=v-_Ybmkw>59B[4hO 8Q*WӘ)Q¤U&p/f;<y^؃ 3t[TRY Vwc}V3*L6@f( veESV/̰1/Ӧ2`Οw+&}wG䕵wFґLDɏXn:6@djk:m1\j4׿s-+3xLuGB;&zl7n3F܇ q:t pN?VR)vX;G EfὌu-ve i}'Ll+uXo5yr`gJ0fu7𖺷9zT_?doܗ>= yz3rG5-L?զX2%euEˋ[5yai$5 [v%N׾/q)=Ίm*sC+nO\ɽ 8#Dtm?,5G \t!LWRS}+ "M&6HH;#<;Ƙ1Iʽ@fըr,Mq̍p.SkAy><k@{l$ct3Yp6Ó_+Y~.`9S 8̪ rEmxӉMǬGa E͠ DV9?ON$AN4i"^,XNK!Jha$z1^D:)Hwd\YYcc1t25HIu|oOkVc8{o5I8@+}q~9Ջ'_DFpZ")M?Q6yb&5-VK.\JsGi?~;$Dܒռ{a`)O]~Ͽ,n:]yݓ$D`uD$;W}+PA-Eؖf&|XUN]'֖T(~X=Fe~Vo`ğy 78D!y{^ @K Ros|!yg4|3h&a@M ǁpӺ;`X$<Ɖc ~ mtwXBbdq&o01gMe*fk'?'ӺbSq/S :iYdY1a֗.dv&}-0 0F@5QќQFF Yc+¥P0f;G~3KggZ*\\)ǨKbZ&.޴d(q(Q {!ydwqҜ6ہ;>Ͻ /1J.s|0 AB4բDoqB{`\rA< v 1@k-EDZj^a^ $gYZ7zXZִF! ,]ŗXiɟVNJ`mÂԭd^0mQH !H6bs*#jA>YIqt1صlq>x~e2&*_COM{ +hH._p}Hڮfzл(69a׹N EIz@:%j2Owӣ8eTZ|Y n=YqBK/'HB4D_8da 1uz1*הfsͺ!p =w7#sҋXȊ! k>ah; ;b?=r/&̥@vDO@*֜b5ypH'eE0}Z: "G:TlIؑɭiSÜ^< Qn `ye-)%Ju\η$sBnI@IIJhFJ-I(_ȷT?8<_"'qE#g:eY¨mh(=*NCs7\j}Kga('c`!z^yt{dqg2\R?aFT!L2Y0N˘ҥ{l*a7+DC2WCV:)"'B;g ,K9,jj81'̷olA)[o*hDb#~8)aRk TsEǭϝw_rk.2*L{.~A a2OڂV?0" # L]_@&u$C%@֠16,dqwZJ̻r.XQr6]j,@tMPy^7JsNb.kMu$³gGo ֘(a[NQh Tęթpv>2N R>c-}2OU›3y<)k>΂dE ۫tio< ~9Q>4IDihz8S۴E(H~g2-NEWƶVpG,ĦAgKwsg{J-xDz=O0XlztVݤ B6>s9թ4hVM?n+tc-B#۹IXX|3Oy?r5^٤WbO%i%%%4"hGATTB*DfxYX{_+9'LPD6RbvI YI'dT ͱ_= >2ٳ1G4>j0KJs}ҹv£E_%o ,[hM"㭦Qa~g,SRg+b~*'JחW=Ҫ)ynn(T_RDoϽ nK;fo)ݭe`  ?ۮS[I 쏦sŲM\gj"mOwwO߹:iɐiZ;5OɓlCöyO@e|1(ǐqv{Š=(C}a:gZ +\'tySB2/篂f4);Pe3ϘC8M*/bKc߽'Q)A7@3vf),́4Gǯñg@XHc,P龏>vm;+WIsL*/(+@&;j#JWDذA&ˣkjU8vmٜw$O-[{ %J“T54-Sh܋;OjbA%1bu#DT37lV8tD`ޔ$+M˄;;&Xw41`E'9}lFjG/5_Znt%*_2ISoᆓرP1:" eR6ᐒLU'[zfŤH9 ޙ2"U[¦vrpS wڈm,^D%Q{SHǵ|&c4%[0*!cV9isG-S? )|UQ<*gɡi{Rj 3\O>fɳ7ƀB [gY-BbbG,p$kM`o~E;C٭ւ*xV6y-َFԊµ";lݵ::KU_.8t.$ds jLOo? Lzp,_D9X0onٖ^vƀ@#d3mھM,┳R79ND\Xp_kdE#h3S:Һ_Xآ>x6.C>׷6|'2$ѠΝv 4HTDÍ A} G͚탈2޽SW6 \FI@-~XQ}B SN0NoNv} }ē2]=sOhyoUU?35HcUm Llsޞ>M Q9ɽ%ˏ\L V! iiqi8$7ixPV{hJ0m/XySjpoCM^ۢtDoQJnT%J\"8ruŸx0?, >f*H'd3?$-`7 PgX(+\:L&JUcݭr coP}mbQjgK9ŎaK$Y Ik;&jg& !3exո3tv}E@@>B^Nhq}ծWK- O~F7a~ߪͶka lۖÚ3!^v&ƑX_&ژ݀>SLlORCow6ϳsȭ/nPo@m*1dJD9e67 җwԑY'硲Wscmq[1 6OBIyL AGjD>ӭhLMd|#gR4qno-ЖfRE;N_%aPŶ%p9)ZZb~X;K^1aѭ ޤz#›g)˵pqݓsj!1AqhWlmc0(ʎ;E)c( Q­]CcxL!u4V39;:ftP*"!+k3kNa[ *}""teG`f[%g.rE҇5wTtPyOc]` J|:9zd}/;qG`D:.Hڧ2pV}MkuCr*T,%xv̫[Tw rO&geyûB c*SYDP&=!*jwN=E[*mƧ ;n̔lsD sRpDYD 7'=^O42A_ eFo9QUx @7n::O/8_ce&( RKÒ/{#?|ZX€DS"j27VO<#:y sxJ㓙*9AS"M[3 ]qI9_IndKm:DƯ%j&nn+ ]5_fvӣ s)e wԛCASs)[Gz$z\%ZF-YggB if1u2 U/qƲAi ` #~Z*;ACjƒ=R -1qp E]0 .TGJ<(?:( ʔ]ϡ9g-1;8\z rAD+^3+ :ra t~h{ lb[ =f8^՜r?9>Jޫvb2 IFLw<;;2!G(7DQo1eJxaȭ'q! ߻ |ɛq|*~B، KxMdb~W _ wfO!rd@iN||.~{т֙aV:p 9(I}HL<23%)DgQP|RЙ%:'% %΃&v,ERhǻ,f]6B!F`FZYHMnڀ|8iOZib~[Lm 3Xjd,qiYSzsj*t*i悘7=+Ы8BcI$egHv$Vah1ךGޛSy+QOT:ZU n?4Nn;;WM6o?׿IqOb]';Ꝫ >3J*H.^pqd3bҨѻ)~tRZiJu4eQ0$띲s݁ Cl2CX 3 /ƕ\~B8&846;\U輙E0}U9ܱNjNM@Uf7Zpv;p9ӝ+)>n2%i`&اʤ/ |A>mR7ht sˏq 8Ԯ(C GUt)Ժ%,L,1*#\3:]H(bl[4J>ɨYOe҄X򉺖^.^(bQae,gk+[7zv7y:Pl*ꘕmCss2ׇS͇uԍ-ZUBiM3CNC~/m+J=q%^]fK5{hT,V= ~N͝Ocvpsth*`^YċfFZI{RF1;6ݠ)#ۢHm2@;yW%k6sj\CCˈ2cMzPdFuYԯj; P +{hJBY6_I U@hZ`‡,#.ᆼ$ݺcw/B؞ug#l6ɗcϺ 78AŹ,\FYW/-O@FZU?~i wTb3ë Z>'Wg5ڦUԺ5Шu1/Ƚ%m| 3)½ lRXrfp{[^ҙ<.It/a zjh>s Z']l/Z%Z:zzyt,bw;1+鑡q!4@/_N e_ ^QHɪ8 iQ\;IJTtDjEPDv$+}30s*0mzb!{?\*ՖhNDDS1-!hVpkk{Qe@8n{4I{.,- (OnnTY$JbnnU ΛUsΜCƦ #|JL ='M &kcH '^C!36JXw['/쬭q@[GBeTX B4 njVd]'Oo_s{&R~XrȬao@$4z~ ῿Pn6%Sy_+?)! qF1͖9P%;BOlg*$O42`ԀޟfXڋwiʹGlj"A3F g8: ;WR H4]>ws Tq#B.p-Q9?K{t0/,|4VY[uTfRdVW%`=!yҬ,Z"6ٔٙ~IUR_؂ K8jS&#1d y~0JsSETɜUS_Vu1|>+Aż^eg' TjSTDc:Nhlh RZgol7dtu6͉zOp 8\k7\a<4jh Uagj/S~z]G,66Lq/Ƕkj2KBLwǃvy4%Xp^MDRߍ&A#PT6QiCN..7ίJZo{M>XL00ÖX=Ϗ%2۫ PTԹ8 hY]N;8AEdy\-,oėiwМ&EJ 7sz&nu h \N~.D k[ '6%pd߬1q0Ly˓d;S7G-bά_j֤zt/ ` +Ƈ%"k ퟹ ,5qjeF!!eÒF=O[ZK\j%ů!x_x9beffjQMFZolMm%E r;< Ugǝ_`'L>*12\Rȷ?ά`C*)%O2,ϪȱbI&ڗ9p.R)t/L F9/<~O6@)? hRNlhh p.eq2W!ݖU8XF=2'7T +` 0&z#OO*-2TQNa()5}@Q?QYd,7z?0%0jc0%F U'7 *62ISO.ѡA?5"8|Y VT S?NcF٦Eu طz3Y58T ELy-tY#;\GyN;#R2Xp 융yD`[5ȫA~ zuy2 4 6Rx,)^PMVrbeIXUpذeS۾!:`n "Oon9fi-B$',q>Yf+ :&ʺT i9:F~2Ly>H 4|vU&=ThBƱNe_+W,5G|5` xfÈ6-nrJq$=bqY&q‹3lʼnַ6&,_'Mv|ptdjǶ* NROlꥁ+ڠarܐPIu2},$0nw z٫llœ!q -iJtR+(}ХJIXכHa E~1|.]e uDUѩ-)Ly%Y &eΉUarǯҵ)ϓ B_%\_h6T_ @jv)h^M[Ɔ/jR# ,LBRek2!$Z^h! tי+ȩ=stCL.^O{19GzUgE>H͝Ze^q/y3{[`If#&/9 XNߝ2S>&6Շ&Mܺܳ,<83$?7̿_>Aø o[j jO{&