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   Ot$ ]/ Codegen:threads=4elapsed=51.878cpu=135.164gc=4.528factor=2.617zXZִF! ǹyq]ŗXiɟH)0%o!~A4m^q>|:mz %7ΥLTfr-jE3/:gS&:(g 0ΓgArr'|_tONB*;.X^q>$hzQQ&T/aU h*b^6"R:ݓ1Y\wlCyvdПa]r8Xׇq܂& v!ѻQ##圛JKȟ(,d%:%TDn3Ҭ|;j m @o=v_C=H޳i i7CR:t_!G=`k V8| 2jfj_R_[+4~=͠^0Pb#@%t3 V:!94~'Yc4٣ƣ#@rk#JcwW\ Eld̨"k}"S*VLG%ݼ]Āf鴮S}հrA0/|o7ۣY~iC.I>o!$ӵ؍StsC}UMnt^`\_L_fDnjVC,ˢ .ҟFg+N(󦟃>HO[uR*6aƃIޡ'Ь冐"kq.LЄhU.J` hV%3aaXh;6@]>ւ;<,Ml#t4?Y23O' *38f@!#uFh>9C`EGH9qbwDg寃^Y(cEk# Os&6 1.=bNѤ0iȱ}:\K ikL5NgT3Oܰq6ɀۀ({*m0v)ݼ˰H8M GKg$sT_;-3#e# C_kq7㨴iga+T41.F&GCDοd_AcYְfN3OfyFɐEQEI*]Ou‹-)d>By*; X=4kjVL`tK} %._&yCFRij}7j88Y`@@K"}1'5MW:C>vl~ #?L#ˏWu{;M>IBb|#8(0°V{$M?!d P4t`.`VR qIY'OfC(W>KGj8J؄-$YG3ӡq[λ|^@h/p#7>νS~@y*4Xm!piILSѠ>Yߜv3٪KImsf>wGp@X2TmPI(<,oJs:>%HtrHb_?^K!loVfmcfe==\,D1BzїOqW)[z@W!Ru_ ʄ1NoTRBP֋j"[!(c7<]^C_jxb#aPy~Ҥl*Ac.4p[gAOt?k$` f|zWk d5! \i3)_ZL)W+ SY GJ Fzj[+OZG^䤶bżC"Ԇ:;,IMxFB}!9pe0ك'W-辥iU+kl8@b(%fUG!"mؐpp8ӈX&pX=g^n@A`*jMعQߩLc1o[S%@D4=2H@7cI MʘH!{Sݤty[qw5Qh~Avˬe…z|xBŋ)~ATvCI7R2Zw#Nźp_6{ 9k z:]6?̳6!^ݛ- 4s.   Codegen -_-5; CodegenCodegen.Introductioncode/example/Example.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmGچܓDgkm1VQ zimcc2 V3K?u=-{GJTY+Qa0g6dz9X Rr7DHP<-ӓuI%ݫ_ZytqQU:܀"$+r[- C8 mIL>]_~=NFk SQ{-U×UklY!SSsMM2O44M+s+T+(&Z[@zUFgIՋ8tgzk}_҇4j* xU [Ȍӱёa: ؠ*嶿~ajc?!&'NW_/"bo9E7qU?u]M}{OLcqnqI˘W"dT;wܘzDxl);| glk:F)JlU0~>0l+W(`U.OOQ~ O&/uJOi4/+r~kij"(>ѓ' VfY*9W^@b6{K(qbg~5orEqoQ¹(7ɄF[9x Μ?ѫjPkס9Sf ˷{g̎L3P~R $IOhҷk };\W|m\EP !?la \ģ]IT֜ǐ !ʉzטz?v4Є%3n~vnϺ;@{u9pxi "GK_u*(,dɊHCa<] mϛ@MSye5m`wFEt)/ $+lor61RSfN RCL&C% n퍢?&gX$?1;ִؿ8#"ƎnfÜ;+.aÓp#*K kg 祶a)ӕ(L8Oj}72Zy@ϱEQ[_ ٖڈ@e*ʟ]]N)ڰ"4IcXr2h"@TąEFFOfqLF3!ٵoR K_>t˿1>';eK (oWKWLt7N%ѲI ^tmepٲBϩH,U,{fXwi%1ԠbɮGLJ4AcֱT 7M;4fBNk@| _L6}W <6XD*{z₁V axWŦA4[U Vy=-R7눑FЌNҒ5*s8 Qќz;@f@U"k'[I`"F%$b8ƛz&ҭ}՛KvB'‡6? vDf@-;2eݮg=p7d1ۧqưqhhfGWX?!p`L_vJNz*z)AջZFm,L7J V-Hlжu%ͅL+3rJ7l*-Xy: d{< Z JGfZ$,(9  V\R/5cK9*,x^ԫ$ <[ۑH h{;v:3QZ{扠WL-fQWLi!A"(uKC^p5pܚ҆= VvbjNkvK `I5tgYZ rr85;CodegenCodegen.Introductioncode/example/Example.hs05+CodegenCodegen.Introductioncode/export1.ML#+ CodegenCodegen.Furthercode/ratJ3] ǐ}Kƫ,8J%C^P0rDpwuGH.[ O)*eYFZ7\PBO]'ڜ;9RʮM qE.-SYscmꗍ}v_/tYBZX7B|PƫV$'BXFj ˗BgEm0q=}K oBj.5Q;Pc?.yJ&TTDW)rŸ{Wzt4 ֔U~mbŚ)]9PDKDޖ.fu4DI73T\4XEZ'l4 tE S>/|`~xu^y>0C⥪b?FPTAwb,ŻgXzTpk*F`YL@Ƨkb"c1=֤WQ <`7ņDAQ63 37daiOnmeǘJnUEB8c@ ME϶Nl A/*.Y h.!zcơ/ZdM1_( s_J gmz]FY vMCHf5Zx H.rCbW`$ABxzt2FҸ(:T2Mcz{_Jŋ ;?n;2]pn2$,RB[b"AQ1:i-qY+sFl̞XBjz:7sY0b%sI| mn Zf- m@%Il2٘@Mz\TLRhz!ro˨ w+wX38OzpyIO&:0'K19M,ė S0|GӃ[v hwxqB.DX.pjyWSYn$@T aݳ0qd-ь> @!p3$]dWT(_C8._sV&_.m! ϻ6_pſQ`I6yu,xo)ޙL*ntfO#GP~n8"l1rb h =jfH_ G;СY20%a2sk Qy.i {ظ%)FfBgt0oaRuzP/ڜSeD*n)%u'4(ںu V.:-0>ruYB/):K-Ejj2)EnZsL%VeUwg Ë k\m۴X^nB@MAA6[}w1ZkXEJ'IL y*ޠF`]sK2>^IɉOO5ge[U퉸qw|6A:Au;y<#GfƂ,.vv^ڷ+?0}q,HhOe5\2w$̚RzGn}%}}֠w*> W0MDysǜEBVw'p6L|*ɇH;H:v?OQs}?Y5|hDk-3 +w6MծV3) qK_mtH5K'vضG>>¦]?N>N3iJfpCɻ8iu'Zyj0Jt@鿑#`) 6X;<::J, spHϊ+<`aLbC OLKjkHe.mBA?VVOȘy\o<|zcRdɁ!啶Xz'H>Y|]CÄN ɞV̔l#3UrQyaR(=›\0 é?i!RBMefC ǾRO%}>'C"Xka=iJޥx6'jݎ㜎|iP^6u0ka>g^8:X[MO(^@}b$w0 2{)=ڀ[ XI@dK|8%ERb.J%i]ӑPSC}*6`oDS4y&%jҝ.D7 [ f-gICx N᪃9M!O߯Wqok[Yv$⟢MUy% .nkY*$Ý&6&smm/ 7N@ o.5fvqEI&n{ٚ}Iu r"$?t;Rۖ,g$=(jtl 8"pdKS[M l{-)z / R;ox37NF! ?;}ZͰ_ɬ(Z{ɠD5UM/^EuObґCߣqxjx;.jHq"u') DQ܀6TP3, SMDJZbsr?䢷'X'p#y-~=.?F#TI448-^Z& p9bD>ݎ)pC"Iq/B 6Gbۇ d󛱘}qkqer9wO^A8KK0Bb?8e]#ToVX-\Vj ]]=?Yj.oV(uM:aLܜ'k9Lv~y6Pc>b:gہVK TǾJH $"څRAwx=~̢ DVySН̂:Cda6gvSba7Oػ̎3C^G$n_z<|_׶IQBښ@Z-:@w×SqZb4R JrO0eeTބ"^fboP7>Hf֓#-N"Z dP%ix(`0rO"?i6Ui󑄧gĥo@V ]_Ah ,ZƎrծ d~ʷ@o^ %?*=lux{;nQ#bUS >~3>~ Ol$(Hy =ORW6dDJ9_8K̻<ĵhlIVFp\{-N(/)`{zʼnU4XyyLDgvZ+ڭ4T=xhZPQ'*@|3x M%Md1TBP;|77Z:XZjf l.gDK[=5Q5ҺHôl5 ;f\BgC'~Uuqr+GW, $g1Ivxq;oT.Xxql {ť : -;$Sd((%0K^9qNW]sAQ7V6.mFGO/">Z*w{~1hnNrH侶4ն*.R}yrasG&Uv'.5͖7R L 6ސ-`;-iOG0H"mٲ$de s3`К7[P/d~eu@uONRku2yK 1+\ ojZ vfiuct:GKޯ+D|,E<1/";9t*`֠Akv^bN,p O.z燦|2`hKl*UxNȕy}0N#TX7)֏CJ߰5Mƃ`>F0Μ;gsbe.=098C۲YԬ-ÔB.~)JߞuhB.Ch̪6C*Y0oXVc X~4bR [C~krRs u'R"^Ӳ;4dFŒ GQd(H?$÷gÂMCWk݋'lY:i&$ j 9F7 Fh/UNxsu~7o!%pؘLAl|Fqr<@ߨPC D; S7ؾCR%Xw%wq0Gw;o l@9ͼ IJz5~6L=,[>OZBgAFBHJ#BRr|2IvKZYggoBJlMr*T|5+8EBWI[vΠʜ|M [o -ڎkVlV7 -JoKH| 6^5+ [j刴2Z~?03 f'"ȕ/l;>or"y,fۂ֊Rckj9:_1 ay-Zm 9yg⸵˱M01Ϭ&;s xJ{C %ap4E\FeMڄlٍ tfk}=IC^0KWq+S*|vզP^ީ;[1Qs-^8=k{X5YDY xv Jw*^ *0H[Ԋm)$af(?h:}!ԣlMG' . _%TۍH OH+-c6+Ša{"ϩ>dalbd^}#Nv<;f+װ]MirtDAԀe%ѵUDZDgoʿ"{uͭ=X9дͯTY ê;GHobc(dC߃уEK m}1x##-RFA ա,(\[լɵ+xP5/; \!(e7ܸ4͞ˆ @LO,2.0n9QA E3P/ l`ߠX ~%>1A^3%mP\ZpG*N SL5bf%+]F?jz-K"ੀWr1-m$7A|xefb@>B=KJ7hA~2{D1z MkHұ4-Qx6{\sY͌䱠\<-Rٛv)dׁ)d}QgСҾ4|J2)ƃf WJEKi8`(k8O9/pI ?츱[cMDZ*B#/ U6+kr4YĈ''UiFJ`)v*;@BGa! ,鯾Fc!UAGmDx^#޴})A(g}JKcDM%gkh#PNr]$ۗ(_,&0Xq%u1Ӱem8>(4%].<}b^)Gx[yz sZ3`2/0 ̐nlI\ 1zT$=x@55u*SIܡ'v؄Ax| /N<Ǯn|%:*Q83qrE*,'9`lH%laT,ZKwҊ@om= 9KZ.RH!0{z.C.it9c0qlHs*[^])up+6`8G:DSOpX1IvK'i.bT(QEp`<1fmݓ@Z\[@q]KwBYuyk E*Mz*gUk"2(4IuԞ 5~hV+!BU}\'n*?!pҲ8$olSFmɴDYgMR{0z3ߨeɗ}"8Cɜ[p#S#Z$򤉱|T1"]fïо\7>8^MZZfs򌏂v "2K],,Xv\쓆Y5@dxՔ/9F}YSjθG`Uw{Kdb=Fn  &f &f( #xإ3:4U^ao7tNLlz$h۳w;%CPWM6z^l(4@YUjLW_ڈy)}E!FPQvA%UJEaP/Wk~3zll ) S|O2qeq]z J ?pW~\+:Ǟ+pLqhERHaq}9XGKNyg3@ <at/mx|CqN&nwKVg[I]Wv,ZLϓTl& )P[ yU$2heu+ );y淡pj\x\bunD`!Y^?fb ɪ5|( N0VYP J€f>I9A` ͸I:gEk1dV UW;7`ku8&h [8ƹN|PTbgQI?Q$ZLj2a,Agy MU^e_q7m3LJ%c)O"!V>S,|藽˥rVm#x)|q .ه)&5%J 9-(+ߒb6,Y=LIշe1 $-R|HYHE L'=2o׈Jzy+M*³(^f*H͗l^eh;.+"V-]%|?InqOί r>1)X~A" ݃|HQ^?¤}'-šC=$_ƍ*{r,c˒b{,m,Dub &>n&_3+|h+4bY.߶BQ6_vZO<,R9<3<&P_6^.2*5?Ҳ{]M#!]  pzpe 39Lź}EME64owc[_ؗ#oB&͑hm%o?N?R3%S@Aj鳊64r%2i!TWiYfDŽ?2#]G߫,T*H;߇'^)S=}5YZST5әii--= +k[Q  e9?^&[`*퍊vCk'Hè|#\_*gaڂ}n*:Xz0Gg?KN14G)|H _Q.*ʹ Lfi9Jv1zrQ( '//ˀAoCՁ׍&qNL_;%W@m ӎ!|&{IA8`l=2;>e 6S$m{ih0#rКx,ΚRޓ xn֋Ju\5SEi%{WpM5a-/Kj9q{Tj[p?/ M\?Cr2s;?z[L3#Pqs0(bg]fW7]`ı;e5tͻ nyۄ_O; L0#_ˁSI]V@N2w%͈%PLކޣMB yَR`UL]WnJŕO(pc? 04.Mxi/V:*#wUD(^ЮjË́1#( C"AjGбsPKa=~M'X 7E9E۾-f1tub%`>b:lJD PϏ.;MO'9H1D6LS%|A0G30ZNX8|NJ)LNs#@=T\rFX}/L<f:h?6($o}/Yg,< `l@z->=P^0y 0O!Cq4Tg o+$Dj\Dc&L,h~=oW9H?#0 -{m?R1dD0nd ]l#Oi iFʦ f-Efa>a"s.H B ˈH>Ygj}:Ն![eqh1*^;UEԂ -W\r0W?)3QnU8liuUþEYfV1Wޞet@(+j*ȆRG.{2YXNm޲&"ԣs]4 'py98 iչz1[@ LaknΈϐ75씰MX~{ Kgn_D`~W&.R%0FU0o{ñKa/0{|\rBZ6SɪiIXQGheo9djeydw=(Gt%/2+X8H؄2y_IGB Z!fꥴSEmS2{ʥ# jr1eHt_8-T 1,@\/Y5/'W\_IȦǗ,YIQr9vJR^PX&JnJK98+Q+֛ŕX;z-l XjB5(yd"SaV8 R]SK^ffTN_hXF5/Ig5 \~(7r;eT$%=ߨ 3xM_g{+.,AFY8Yj\>x#fXNuwgITbN6%Bck [g-]XB30Ђm .J-ˍ ԋ1[]qcÔ 69@N|NiO6r3Z4f0ꩥ8SYl`#Jž V"5v) GgX SB36ό(CPk $ym54ӥ{ 5̬Tjaߤ4X0Kyj6|yL._ߥMf,*ͳqt%#h0!!D qL ӈE%^_K["Ot$2.+~C]FCq٘;~v@ ] xg|=wB֣v`Kk[:2&uUR셳fx$H$p伔=C9+SbS{#sl+GCi}r Lsŝr&" /utLҏ¢kyAuH~_À o#ת qGٟ jPW44MȂ0iӥ*3:Aw}ٹʛa93zv@$?q0h "y䨊Rub'3̙4XO4+x zϝ|XwwD§<Υ!mǛnV{jUp>#zDzο6sGO64 Y . eJJ_ ZDC yC $|K0C"ݖͲ-QGd,}:7+ Q~lEi򦇜!UͺbcC Wš| eU!}y6x_<\xUb9)ч#hkS?i.ǟTu{Uܽ0䕏kÈN:HK }s,O0XK|v_1oX.5gj=OpDLPK Cf}ms["3F Y0UP>P5QCVS' 8H'YO*SݰFe [LA_yO :> f7ˆ,x%_so-` e9nЁ{Kcx<氡:EF,[vQ+};)WOÌICD`,RyS$0Hg!N20JFP+{x-ON IjP3Z19vV#K7vH+x mԓU TN+nU\Ք$=͚E\nn_3;Q3l[|`㨿< :MB,N}`"(hy8c *@ut"UylML!&׼{Qh.ADQAr7v3}7OҡfQ tj(Sd<;$#Ov,s$Tle!nz=ݓ; ?ƟQ`W6GpJf|}o'6lo1a'L&gƩ"X2%og(?;*3"t Irb`VDG7]h F!ypRTN%F[߉1lrꫳ2/ۧ"ao0v<o ?7Up5SJgo'eJⲖ%XvOM-mP'P 2e,%4MOh>e-O3FpK-A;nUJ~>´Z Ԕ_=mzJI~ ȔDz~aJ~bMv"_%:e.ChC,J4r͵jZttn-ׯg%Dc]Nb-Ժ8J>jv֏3Z3ZCRO|_c-k`1ʒ OzWh@mv'?~`ւ0jQ [D \P԰ \!]&ėrhk)Є; pj+6|Ɛn`ΑVal/zf#F%"uUtS T%%؂@{vgլcFRi&E[ﴯ]-ut\1 jV&r֟#hMra!D om&c}&TQ/MkZGH>8)^T֔&NOE%zđQ[SMڣ%ȵEIo>j[d19[É;yOL)؍_+!. ^ZWS[f&$w3#P`S++ Jr(br:W?(S^l6W7"mzj@p kt0M2,ps50}~' eNDW]I8D;mIOyp(mO#BdV!4Z]mSWRz4^wW C] ʐZ,8QMQoNU4^B?@{/s6w*_KSF~ =ܟؾ'6-(Ȑ3 r ˅B} D?ߎx(: % g|2k>Tҕ{Uwl΂؏E>Qr`vmu_:W@ k[CvpH0CQԀnLtw,/W|Lt!:>J#a8Qŋ5-'nBm&Oo~Ë)>+gQhM"G4IYN/Jͅ EKi?5(eÝfa|&J' ߐg.\ĉiU) K0ĝ\yB<#/W* ?IY!iR*uP *k wAw NTlݲEd D)<ۓ܁tCz S ~_\Ƶ M*Et?h "?1wGw.GyCM<~fj䄋(Ih*yt`uJƌpQ"NB'zFoo@ViIٺDhw$WH !Vg r$rE1h#Hłދ`]W|hk BQ(ӧ*yꀊ\I4>N2U (_/[^`(#*8z_Q3oeڔ5{YZr }옠*}{[N ߰kGwVcy5Z'(1vD;\Gg|粡'Fx1 =VuRMN0p4ՙʝS$6D'UscxU !u$ެ˄pa9IQw7|INh9Squ8p:=Ƕyw8.Q̜^6Sn06 %-]rʊZJ; vR6I/gZM!sB??Es!A$(U#[*Ƈk5._cDB&uHZD@sA=)~4R{=U07ٜ!tFZ G (1ISqԷes jkvJJ PA deJjeT5A`gd+Y 4Ƽ4/UR'?Iq}N l2XɈF'*+Д"GnD+˗Y~?6_h3^Rrٱ~sg-<ў?Ο`Ixr<ћFlDKWsZuH* w[\w^,mMJ^htof7-y7}gf/qoeDk D#L۾69r8 'w}+^F9~n*JV|Jv w pۂe?*PQ#|9(?71B g9}!0"cx ~%s =r4c q|71oNʌ|v?qO!| hoyvX]u-pM6‹gRG2ă3X-hgv/@>,MoMe+ma$zEu1a;n+Q2q8Q Q}ȸt;!딒ؑ}nd/ٞcc(UI+uk$ nd\2`T;@N&JLӉdFc*NOVv[d_d5 x?M[sSaŁ߸fGWB)dW6f wP4'~K4?JKm0A(%aJPe[6B5[%p+GF">'BtQJhNJKt3alAU ȋnJTUxA}#{a-,yli+pKPB6 ]8*(_h SxG{=C6aWA`ȹ5$.2V~~PeyS =rwN!KeMᇁ%nT!ʖ^oTRPAmJϷL}ц# h?t%~ij9*c Zkpq,Ze0V}פK%I @Pmec<P> 7NRkj*9@m{0R4w~L(| ggLejh״];+&XU'>;(Ȓ&hx s1>3 w6_j/^HrRyR`,6KQYbNY%:u"8.o}!(G+j ul@/UڻncAFY_Z-d8%;ljj)_uxYƒ30X' WG)o;mPΰ>=h#ySb=Rz+5TtfA0q)͏D[vڷ"io.idLO)e״y\p=ZFmkҲIY#a[Oә{,hazAD)fT-@F`gX+<1$x#ccq}S؇؂b?o~=,? Jw_NrO)}Kn.b,/R>*x CQci!Z`'sԃA~fMX7` ޗ>>A2h/}aybvÊqB.T5wSnSUR?¢G&F#"mn+b/=;)R Y@`7 z.v@+o² -3&3~v7n&sr&6x.ޗ˧U,c2!WNJlJ\< 7[5vu| rQv;/D CO_q݋3\; JMeٟ0Vwf"4]TA 4U\q^ĸ~o.Uq~=,Lr/PyV;|I 7| 0˓^,|F9>EMjD2\eMH6"&)I<8i5$C x\oI"7[Y_?h?Ԁ(И~4úX :#Ȍo޼cҋ%w99):])5z\*ƆəHݒ]) &%ne@~gx >%oUoX]fvAsK ._'RT+O ͙Avr{?Z}tub߆@w\6*ٓ~h?A)fܤ3!b{-\ܛ$6W}PARY)c_k%$^[2s+@֍1n' bHb6 Ow^8h1͔d1ZNUIE5/$и:Sm ˒vanT׶"q3$RLkd-kˑ4h Μ7[@GpˡyB9%ic "{.Xq4$ž ^O>S"ȳvǘBKɔÐ^oc!.B xs"VKVvU1|0ܢQeoY*(sTg^ăyGhp Y9-9uSB;U}\!1X / P/Ɏ I&`gh>WimrJ [Z]tʹy/.%VIY|-})jȤitLぽm6vRף,۷|XQ|+Zf\ЊݢEY3'"ရNuVs5rnE)Wexle(Vy"3de8+◑H3(sb'^Lj9j$NH8 Ep}]@}I3M)rRv`KG'}6!9>KőWӌܯ.l AvV=F\ ʋ'd ZɢXBW(] ǸT/˗Ii冼O`q3vPlMjTd3n`ڷuZqc8Y$T8=|s6&##^oC7!EK,9!mwhB5o=3ɻ- 'KEp;9 v=*T ^̑~%}S} AON@Af!Q%jh 5 TD!(?t:ԫE/jG@7j8> Weƿx|<&ȐTO)9h9J؅HҼTx2j[?<4 |~~^<(j~Ɲ3Βi G`䢷MTD!5vYpc(>$Tg[ڠK"Me%wkQ_*'p%'wέŸEa~ۋ5nbZ9X: e,N!* al;"+6ͨ `Y3QPe1BF=ı 9G980emM i, CȪN3Rp˃x\8^SjLmJuI nxɗW"JldO)H |rsP1ȪtnXeDk2Z%J+F.ի`$soő8jhOmA{tW`ɶ,g1*=:饮 UW^Q,/C>'nJp|$D_s~`PBT_]=#-l1hc#DM ;ƣ !#X]%1Hћ[rd,4e1MY 4`^.A<xcniRf8YGv$zʸxBEļZ]4EڶK 63 jUPo~%Bl `[1&ڄ|Jv#q};ݕDB ]Aq3c~ jfreEC0 #Sޒ;$6IZX{^#cORO|7?.V~]W*ObAo>ŽUMߋNTg(@ (8v{^UP")%0ڿE7wP: /tӯ&:)D +@-+ ¥F oD2v1лEܧ ]WGG8; ʉ6bѥ%pUH؂rw-[CRdYDh"3U Y|N ^*YPb%*$ry2z{8=>prF{n[']V{_)~s` adXZc#pc0^;ƆPy޴2YBYiF[aH(aZF>0@}7bf@z0s%Vv3.LG'hY@J~Q,Xzg}jySi_bnjF$0 .b糚a~Űp>SJwu2F ]\fB ,648e\Ҥch4~qǁu+1sbϒ/yAJL >pm)*/7NЩ ŲQ`Z 'biejaT@XMFFJԨoB;,ݑ\m4uʡ{$ +&c,\m Գ*^k9P{\|M%E;ؾڜB[`nHPĬ V shySBACܜ~tB@'RYyǔM);/!Еs[A쨖/ju"C}V*]7zW;Mʃ&<s]'oPhL D:EUu]Ő`Ko-dn)$Qw*dw%VW-gnOs' $K@.P8tԈ(N_bja2T}Wt0M'[D !]}z-MOgT?zQK=4+41B0oﱥLʹ H'#= ն0bWa.xǥ45_W8f‚Z/3 2P^8q5D:o(ZQ/ej#G(|NY8V^Re%Vvq )BR1!]-'FR 0x$}.1l!@t"5L>eTҚԋŐt}︲nS;k (z;'#^ |+`0 @RFMj'Gv lۊs8 U'1N2H !=Φ8BXd4,UԂQ^c5,ƌTZ'ĥqp`r"RuMƈPp)bELH;(+9Tq6/XA|iӏ?Jt i9*~\W-<;7IQ#תkYvN=7+Yq((!LrRC*_»?a+ .u3&c} !%vjTDojvtF[<@j76g<٦]$~]$+ʻv/w "]wo"p m'#[SLW4SIk)ރS1S0_`Ю/DpaSM b I| ڕ$vb;GhU cF4jQp꘲e01pvAjf+j`U@#kTgjD<ƴ@3 CTM0ă"ehߨE+<$NYm;)'lQx|CeaD[uNJbpYrvs ,{Pi kt;#XGA@_ ФGhxG:) P$sFOn V_j_2ɬW[#q6{iNN$F33WԲA͌$'xY bŭ\˿TiśmzAm"x/eKSƒ?\g4EDʨOAWO߾Xj.?,#[TcJw'2vUO+JgaAwEce6YV,nv =p. &{2.:0 \\ vZ]@>r*yIf>fτ'DxD#<`#pAx&kqNoC (N&$Yd _˧GWɮygDg\i4Z;ݍANK%K`_v߇('^gDps;5Ǧ7bNы5F+I=;1g >pS|;BiJ3ӓb\Q1vt{v0T>`ca!]mbcK"aaRUܩOc/`dAnŲŨ B[⑸"%JY @&0k 1*.y?<E Ğ* zZa:xNH"4/K`{O' 0D 2h;r(߯!u-h:}پ&8ER.sC:VW9 TXlzCFI|IWmޞdd] ~6QFhcs[x# huP*7z@z~?,[_z=Wc|L퍶?\ )^8X\$7%r˟#F,M$yk~ABTTGd}c ܴx=M^j9LHfHwFE:2cGJ ŋ'bB(l*7I7Ize<؜ ~02^`) 3Ǝ%'Ŝp}+Xn1%s>PV?k4qE-,JB^om6}[ 0MSM*P06=c䊓F ʖV2e2.}_:haXgp h}Y "/`Y|dtڙхܧX?17f!k ahꕪ| 'GOR!gYZ7zXZִF! z]ŗXiɟ1˦r+ bVj mGc&8O[;? 2 "V{d,j.J g_ە6jsBbQWsф0z11 \m+3 #%ffNJ* .΄T+\~[kj[Y%Vd1'b`K2.F#%/n2-`^ynY\nƉ",_ ,>)3C"o@v]PA ͡|%E-7VD~VJBRl4 T?Ԉ%9ɉf:DU8ZvM\nR$U^-P ihЯŇigNM gYZ7zXZִF! I]ŗXi%L!l-;O %".1nô-@Jxi YTѺNG}N>;e8S[Er{$F9{0 VS/RSMnӋ1 XƑ&OSCw*W+qtǭcmXAQ|鱑֗Xd+RH؋gj0dAz9߂5!ǰX[eLS.rh%Y8}C 'OۊIql/#G5gYz!:뭠@i?C<3 I^ qmUd]->sL,< Nʍ;瀥ݽ` =KOR}c?]spl(HΙHٌ ^oLEJ1THJZӈU4lF˾)*LX+n85BNb7$',j'gloe~c6h!)i_qH-[VwX#,JmYJuWA+=^ 7pu_#wuz<:#Lpu(~ݵ$cQ)L$|SmT*Rbm+z+'hG.y.[:洯d3F-u!f>Iuojc]P`c!+؞ag h)\20%fUZB:McʘTnqa6M,+CZ'fuDvCYU[G *=c),5sKp;4Yp%E rm] GR\]wi ڳOZ+1Tr"Twγa/ WN'H7` 7O^X:nWX9Q(;XRRGFQ}{=!L𝜟V_<9egf9StRMf`%a:mzCNc;֡-%Nf1L;>N,M@rv#ؒ}$řEy=Z9ZP)oXYYls  i L @vf<_i6NkDLM,jEE9+`=۩)=ZjB^v{O96雃ʄOp9;U=A ob$h5&j*hZ0Sojs(pp[ٔ@ Kv}Mzo؞?eܙ'_1^G2֠6uqop:أsxsKY4 #xuŶ q~* C?$.lZF*LS:*zn )f DoҲZװֹ'I0ǯ:l0Ln+였`)\Q*СbP#㙌l4N 6am\'VylCB`Zv]nn_ /ϭ1܁ue4Շ#+}\/_p+i o9MDi9U>xWM:24O6fqW1cvAO,>~4"=T"a!C+#팍| ёELSWiQ;,b,Y'9X/HX z ;+WVtRև?E TOdaxϚʍ\FW֠bL.eC2Lf)i-guޏ?XYiq K% pp%NJ/B>v]Z<Ɏ7c􆝋)g%iVkYu$?j+˳4#PUFb6͎j4%XP>#LSfs)'n_8~;FM}ӫ\C7/hIv4I-\t윲i|?  [r$'fgeS#KP ^CqET7Pt@nG4~@S6UIf]S8Cpp |F͉.)jSQ~n7^I'ZC%?~xvbvhsec̳K"{M8-?*اdHt bUT‰p/5-2ڒ0VkdW_6#Y nHT({(,Jjh@.ac MaGeИ-gHnNi+ϙeZmJWkaW^8ۮQ6Ua|28&Uy},{Dպ*SIy0*KBĩqospPp}yМ; L(NRmQsgq&\]?0,4t.lw!`Ck7vؓE2Ky0@θӳI\<5@箯jڳVE))pHo9`I>&Xydet. 'Ɩac; z4{%Y†T wYF7P ?g*5$mlʩ#7_? \˺g ɿkL!(@|*X0TYyҨ!'] B~a2Eխm :uiDu%چ@H?yfW-`quMkqfj .5, W*Idh f*SE .,&dN5^9Wz6͔6<׬oRxh{C\ʋ#>OԢ|^#?jz@\gb>n&FA8 yvvQBOܮjuķ`3}'N}Vt†QI2ۼ]ȩ#4=c굪hdIOATw0;$br9PD,PP8-1t6Y2 \Ϩ;϶vZ…䑡f]ŲjK kk%1pF{21eؤa9r ۅդN)iUQH 0̺[,PwMM; Q5x 3