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 `\D$ ]S]CakeML:threads=4elapsed=409.246cpu=1227.696gc=157.404factor=3.007zXZִF! *]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`&:re?aEx]P)Q+`vi: aX:;2T;UhA![LG=}K9U$ܨa BIҗ5lCРaub:rQ:qE ն]裵ۂ?J!YbۛOJts6Lj <d9`Nt/@ޮ)_wN`K{-/~ilz7S{BdLzZARTd{:,$w-;\٣#[9^-<i̺™[pe~ƻ`^&3=ֺK6u1KcqF7'FlejC-s?94LI֥nrڬsQ *;p _58UP};Š03o>q[[]`:I|+4KV9< AoD/4PA&_ 4tnZ_v(_Xā3Y\P v`H2\3ݾ'),vl#^ :5˖X;%/G;ks?a_S6yqIۊ  -1%\Ƀ@0$mO%('!s7sϿ(y`VAI43|gi>+AVk$5QA.2p<%>۱ 1'I|e1q* yc͹h|9y.Q!NK$ 8COjWˆL'wnN=(Eyt_bum0r 6֕%'xlVX5וY2Y}7 Py(D{zثa~`l!Z1/qg 3pdž 2Dl$Of8vc"F @K΢ėKH+zecJ ^l|ߍXwrRH-1ߖ2p8/J@^8/;LJkξyǠ=7?d7wՎ5HRL3"Y}{mxb lGp)ǭKGKqb=XxG`iCMY}_D*P;ZhK"[eY_.pXgb:8zcs{dgWmKyG,jt݇hz-DGDK-$$%pS idgl\Ḉ BE^3EAV};sCdzbA'`dh2 ϴgZlǪ@mG|USm=97T?[zRF+\3\"cy7ˇr"Y"VIk/   CakeML  L\iAFݝ4Q_сw7fwe:/gĸwA1 Vb](0FE1##R޳\ 8h꟞""aH/GD( $ Wj)} kEyFdސyNs1rƕWU܈@f5SM6e *N.1 &j>6oh^$R7S\ VD9~FrRX2q0FYxۭRp]1|ؼ.VLֻ=A8;:S~kmR*  |**~Qz;}8<\ک6[a-SWW@UtR+d4telЮȵXs0.waD3Aq(" {VD|F'uukh^,@GNj^żŧETRG5N!Lq~GF)['Pp]p-Gx>8uِDo!&BwXfW+f rN.Ke |8G-G$N Ͷb_"Eovpa=V o9I_) N3DF[<0(wCG`4? t, ==lTн7|7<:Lb}xC{irŎ LfRKZuFEp>tx\-'f)-h\\0d("1i1PTCM-?Evў,Zh7f=@TUI>Er9Y!&C?!}AyGd1vf6 =zm%WcW MG=/d:(Q1PX1*Ubq"(%^V!QЋbs]:V8JY:j+r!G?[2DJAKXF}o+.cBKc褔GVw$=uV0 ;R`@aʫ4"RqZ΍si:@#is-X߭7*j \5Nbtڊ|l(2Aǭx,!jEvIE崶Iѹ*sJ]" \- fEs*YB\e–r{֬R$7B.*g9AF.a3c~50_)IBnDAr|'t#pz{m3"Talq6ΜuZUB^2״uߡORGz>uXv7VgT6>qiεtw &H8ɴXCEJa _awdv8ǃa ӂD2tn15LzUZYHUte3PKi}^D^ WR΄Gtuo-]V*+Yl] ׻ _q t觑˿.vϲ/1꠰<י:+4D{aĒjWrYHtYž(az.Y@H>6WJEa!ɑ|tps&^xލ2_W<[YZxq>M?n ZC;#ܯTIY\C(?B{k++ҵ\lfܧf`4MWrnAZ`gm>I0 *,~-/dϻs^e0DvB AdNvP,F;XjsL`5ʍ߹6Jڶ:_ ,.ƖMj{< m~ UDo܅*`=fglHs:u!5^Z'Ic|VhHO- ,݅%F^Cth[P)hUp Wj|8/k9+I? έE$%^1ld^S: ĚHbL۸S_WċTjZK[ ڊ}WJ&!pkc7^u6o]]Q4?Qc%ltm,T#S%SEvZyգ^-9z\ 3]g;wk)Z |c67ߎYs87qs|@~pKE9Ì L~(H"_gO n~Z*촎\[2cfeGq]đD : zGեn[@"8!oN0' fߗƜ#L~.DGNubT ~ܜ#`5Ը~ת̭ r`WRdA4ԙ[c7;?Zt/PL!ԤIYO#ܞk!WOrTDb (9UYh XO*D~E.V2"DTC٘ h廻>%"&4^eKE%@*lh x 38[ ϋ{ѐiӟ9~Z=D'W':ބ<w; vx ;ҊiTӨQc,Ŝ[sVN:cNtqkQ6 ͭe_bS[.Y^/ܛ'Jމg,1Wi **zc3PAgYZ7zXZִF! ]ŗXiɟy3 >u48D @:ۖ<(2MfxR#ka`U:aUql;U#r{Ծn?UDRE |Z{"\H~?'vD~aQ0~ yHތ0hM6ܗ ^'J8a+ $doD+%ᦚDuU>L#SsM=N~Ѐ}'X\ܦ_+0Mg6ʒWgF PC0r_x@%,݆S|oӸ^)PMSSZk:\@Y'l*C@>@$Hp[v>]TI;unx^j5d:Jy!i ^b[ #+dlQx_rpql`uT >awxpH%C'$ٟ)=Z"@Z2%r7ˠQl$duG^FUv(˙IcCMPF=5we?[ ^2beWPćrBZktSNlAiu6Fc/zDyk>e@?2-,.!=C=}4l@*[B!EZ|щC.S_z0MA,.۳>ؽ%AfǤL,B0S(XzR8 <ݜ6H ok8Pcq"5as:֑:x%_.Qvl6u ݒF\iPJHa כ\,R#], پp#oh zdt:u>.$ߚ4^ *` <\ApoBdEdeMtWY|tJ׽luWZ](+b}$GݯjaA-Jw?5`u|4VzZ&/Ȩ)$@*۰9@Q;+u`7[@rpwH}m*Ux}EK~B,g'9oF_/ن/?Hy6ˇLhR7VC4b&c8 p,y`vw5TGn9R{dC5znQ܎ȳz6&7l{o?X!YDk3m)0їd4r:XB7n` ]N[b(;MsЫ8!E5ˌlމyl:%O@("dI5BܰϜ4L>z~aHhg9^  /I(hGܓE #` 0dc;_67  /'gYZ7zXZִF! ]gK]ŗXi%I n`NK|2& @`\;pe{sT쯑LRBWh|UOV-J9"!\ 8st-blkYͫhUʓ1kye>+3Z}Cqkm%B{OJ}AO{0OgǴ >+\,α tEp-2Z !|տ}#--c:۷GF9kSdwȢoIizVH>\d-Ջ%~kLV#E{B@eˉ{"d& &;Ӎq ^)noa4?9ʇip 쌒8_t YSϑIK>FGrB]:{+F;/3DPkWZSRD_M CpA=u݄y>IFy6r`nO5Ohy+JTlxuв*݀"ĞЃ > ?3ړoNH+)'CY $ į5mN䃽Jsgt兲˵'T8t\fqt+^?=xs@n8cy1:+˺~73v5à"(]lh[]=۠[dˣKsEMWj)t=\}0)N2i\=dx^WJ=N)*;G{nXɅd޳G-*{ jTzWC&\7xhUP.^VO}XE !FWMʓG6dzd4-uiJ)4s)|g660ilgNHrd㴫DOZfo ԤǚX`U$cDY%R\&]&zn _Ы" oh;U~?Od/&('LdrKÏɆ/o1:Ռ;`Fw2PĖ8ꎰ@CF*/QX3zDƯc1߷gеml#Eq:t#gsYAUG!^U ߓp?_\C A0ش#!){ɐ:!z5!-O)MUŅrYbMvHN-/¿W04=˂|bEGF-=(Kড[@WDe#d :v?8"r,p>-Q9s}\_i!c&i5J9٪`W隢B#hym2F0S+Ց-[OӞ]T+xeT*HOac} YAoH@:t9V` y`. b&k55H6cv#Alqf^ǽD␰ĨG&`gfF,3 T/9>>P[&$(ܵu]38Od ʹëe\rQ_!RaUKl @ jK=2 8pQUaV~p:~e;VTަLj+r-d"*̯;Mú=ypz@Mwm>M03<3I!bO0ܳŵj߯ޑ S1Ķ;6bP!.qfa "4]d>0|]k;ތ㞙:mGR5[BqBs#^Ν.C2־vFǿ NvSU~%}+ }}Pr4x8Oufٗ9 ?Kd{`oa3ֶ+c~=Rqe!>v5vV$[НGx`-x='ؼZgzQ'cI_7e>O.x>P-|m ejqda+=b,Sε媆[JT]؉E$@OqiP/wk5ȥzʟpy73tTr{60:Vh[O6%;}o"9<M'ߗɆzNR4h(q:#+G2޷9nsNjCVP^lٮ/yȨНXr܆ϚWe{F ̚ŵk`);ŤC"\MƛQ8 %gzهO}[k&wBtFzm}lɨrɀ\H8X71@p'qa:O#kǘve7AaIRBDajWw\g-!za4u҆cqHluX#0 {H4l+xי9?tz^bnTJje6+(B =?gf;d O36U8ip{!K4st/(ɗ_M? ?D)>P<ɓO v.uәYESg-![ˇ~[yKL[mF#mp)YJ1t6XT`śL|,U!Bh^`k>;}H)xνo ѶpEZVtR@~9ysJ(U|j_sUwaz-Ab0 ل4|Yj|&o&n){>ť&u뢩ڸY"HF8s+ 73D8:mf:n?$liwax&@HS{ S\:`,02" q~{. ]9 MRE5U,%:3mH ҋ0֖[I(2ÔS4Yؚw8MdOH+s C=~1V1 .;tځ~?#eSH(<,!ާb i&>u}Ku06Ǣz6ITjC•&x עsl:8AScZ㳧NHM?ʚR.S|z3(JF\dD,@FzN/t-av ҮE(7s)*ҥ|Og*ïoĚu-&@}4]?azs:"g5JEj !^XK1V'!0 > [*mPUa =Imr"jQZ>uEjG}H ODAkzʮi(2UMVuϴc'n ӭ%>3v+nf=92yz\qbn:-\qLΏ{ʠG,ZJ{;@L@AC𑶵'_~ g-ox\F>i>PJ`pJu)Rɫbn;!Ӳbs;>)Sgůtut$Hx:>&y=aGM?xɌknb2 6;S8qB{J-际C_L/|cӪK<:"-e~X/!̎#⅜ZqTNu7K3Q:mn]8|Iݚ:YH Ԥ0־%McPn2kvn]̗߬LY&VP[x>Lw:j@yW؅5Bި@ pfh:Cu7dY(N_W_ =>pH8Jz%vx4ĵdY`h Ӿfږ >Qwf`wM50Bь߿@8;;{/}։)r%mu6}X_W.:0t5ZFI@T}I<|F9 #k fҸ;v zJ-4UHgA|=_&N\%B~ l2ˤU F ^Jh/\k!;m %d{U,g{FT~OW@8#MJ)![w<&ΟIP"i ; G")b2"o溒7rJiW $ۓ]# qSO%S%ӼC9`m 稅XR7O@) !!2kH*%P4> aCB-&U 0䀰%(K9HW|(4o[-sau* ]qm[VR JXY/U( lcfѤkKbjeC!ͻyv›&+_ 5d[zD'`2yn)|ޚ[*̀(ӻz74Lr%X4H&ȕ~lғ"[e8K'[.{4 l9b/y]jW=Qv8H p=+_$iE#K""f0mt'@4DTXEsh*y/Z'(X@XEp2ӿȳ~nW|'iȓ))|)E&8 )ԩЄk\6Lzw^G'Ivoo{U_Q(v-k~lЎgl8sB$ UяGW8bE+p$*ڷk-Jj3t?T-Gj0v+n758-|,.ԺzL,#/sdB:jDr;28H*Qc:a@5h qs !]~vFBQe2o>R# gK5)?mIC9K,ez3Pɞ 5G|)98nkZʗnב1{IvoH왨ῦkLVmaK*Ů -!a>N+sE-1A"A~,2%Q@)_e3Rp_ 'YIv[ڲu)`Z .-.:=?Y!/QMu0VشBg6wh>M,(żxgX 6䥁B<۹ґǽimѽ˥64)_Aˆ־Us/i e -BIɪWv8ጺFr5]Qu{tω61ڞnb b ث #&]ifI@fpvk5'j@"yD0nmo |ȔuJ&K>{Ue/w"z #;JTP@\98K` *f;Pp|6hs'Saŧ5S3MP(T5"Z'sTzw%//eǷLjo2f:ɌnK&߾"㠐RNv` n&'ET~|y/chPΨ8X#jUg[Fʛٛ'R.$76um΄&u;bW6Jm6ǂ!^VJ=SkZ%kq!Ma`WõL PިKeK$"&և 㷬i*g% ?*=k{S G/onzXa_0) J"L&2붯09aP_=!)u-=v VLLW h`Vl+Ctg 1?<>2Q٭V[tyݍ"qX-Y.q-KkX)12iuf%!57h]Mx#~ry{ƀـ?{~/sF.0oIreG3] [~Ӵξ8"  |p (gfQߺ(Qx@lVp<xH~1/72ѓU`˧<\}ͧ7i p$ ̶=O:U^t1RNjOȞr\7/BVXcQ.2< dD>@` )>RW4T3C_|R0e >g[pkstd=謮Lt)!&9?ّjL dUWsKOd ե*wt4[c<èmif:pykN"XBN.E4N3x tǮ$Vh, 0*7pg?Euwg⊺5SkTyL:*ܔ;m7_;\h͂Tq:;IK2w䢊-(m؏LJ k߂+FڸAysF _=2?.ɝ.d?Uƍ`I18ݜU^}<vᕿJ+mԘΤlNeAz$Ɉg#ky˃Hl 18{V= \}v:y9(AK(\hB KyFQ7!UAn +, 5]Cb c$d3./JP? "F0Ŵܒ{80],L&G;+qW :Ï[e'gF+J im6VۤN4bAW; rT?[( oX(}fIg|:_1"P!"]XkZ#almԖBrŢCc^zRA"FȻUJ̽s@k4+ yC?(lN JMγ{Ϥ)Ǵ@|ɿyJJeJDeZd})n-#sa( ?4eԷ)*տhG# (ƉlHlX@%Aw,a7d\8:=c]|e/E&wb%>o'a tInмQHG2 NHU9>HTաZ)A+=CPQu$ʢuZ GV4rD zP4Ѓ]Np C_ϫm><$}[r)c݈v52y,y1<&Ķ_߲+{g־mcVڛLטz&NLk$^ cl?Fk(?YmVvj(WTiLGENPqR! NY3c5MgD4IʤqX ϖjI%<kGqݴWY>xm;pp3^\h!}UKT1~ 6 ЬΫf qW=C~zKUqF" gH`%i4H {5T۵ Qy6܋@7Ī/`$7M_YϽӴ/nqvW;<5]b4YTġ%C/Ӯz0Aknׇ#'9P ` jьE`iAT[i7xRpƯϽyą/tc@k<(N^yY+dL7lNzߚPR΢ԒLC#?v3QFp@gzu_.R]\*߼^mUai/=`Ǚ\CV"p$̎t;iK,ToE{jK9Ф\[N/d|*8~cζJ.HpZC)۴$UvTmJ$,̊h TZ;ZW\eB>OEۢ'_Qœ8pξ&oJ̓ x ￙2ˆkٴxŭML!Lr\^SkK Sc9IE&z8l#JC~܅=ZeJA  ۧҹr62VsY,.ˠz$ܝa&ry  tۨ^5Eo{1W"dsCYN-L 'Qjovy/Dnc=0%֨Ci].Ku F< f(gx}S,صҐjDxAu-'FYnFb"3R` Bzibːf갭,Iz_ӤXE@Fk)F͛\G6ns7ɮ[{&sTXEXfol2~U<шiF2Ygz:a$gH&^qz?/M8C>ڸ/JyxzmY3_,Na) 9;1-+j|V,:`B&:}W( ֨-hzY3g.)+B$d".\|A°/|h^{q / wЂnfvOJL@h'A7$._y@9,rH+VCx s}FVתfE315(Зn]mEވa|*P-~^{a 7jdC )@MNWH/?5Cb%PX)C )ʐcј')Y~jqd47fyÀe vi%gc'qO`iWtcP :Zj+5:Y?}Y@݇pnCuR7,de{gضǵ{L=, ͰIFxC[UnMh.wNG'aYQ#'cgDE^}CG2M:;ȫpb0qT)W74SiCvG] ]uڊA;αNhؤɜ>Ebr!%z"~6E±ݾ\P¥krST@\OGю7N+!{J I-=xQdZP"hiW% Ȅ▅T:g.sެp"+&1+Nd[ uwJ ce^9Ͳds/xw̒/_%h8>GlH'FٹwH#cdZ"-_7_Hn8C\?#(N/cx.=ŴUO¿SʈS{nm i,{[^Q F"hw Aajfl@iL9b_Q"PJX$ԟnɻ+hs=-1 ؊I;F{ y&)+ JG8XgPiFT _a0nSޘ08b}D_efJz];Aw%^Z]uNĨ7\xiIAB3)\ْD5hvd<>P9=ӱ< .QIFsoїA,793[wTAr䉽T'6vA;tHs Ea4~h?b}wϖSĽ+ =zc ˞4^ suȩ{@0}6wB=Ad9'Kf(a.dCۯ33ubAWn8Pɲ=.*{{RL9CrXl2>AQVҺUEx3w'!m mmdNc8` ?SS_~13b ç$ʢ#2u6+ lX9ΫIVVτ `rK4C-{ 97'G]5\M]d~U_SNL,a:x-"0˙}šc=$5-|h ^$?AF5׀gx9 D A!*_c4]>qPc۪2hW-=u3%_b[zoK쌈$_I gLtBu:_s\GN|mTW"5u@t/lQFjmA>>)@n<.Mi!jق^,hs =hmbZpM[Tme&vތ9!>yN1zjwr NV+RTU0Ͱ/3.F`:0zǰcދlW^3~+N\.yZ!*GdyFi`p`3k$@c5ʼpTB(@{._^ -G` )שr炦`E#uCϲ#s wȤ} C9CvP= 5t3\)/djFPx.;3FάZGKzw\VII"NAaz7Ef xr0fuˠv Nib-xLA"GMj =joN1VP>? je|+ /+po>@r8G;f%DLiVa ڐ:#cvԾ0U1Cl'탘 V;SP=X>2*Bf˞6.}~jJdFGqgNu:*Yai#lnpk_D8`cP$՝ٹ|:E_^S#F Վauw eԄ yuyS*d~ON{f@X9"ٓ;>*\VSrdC'L ܃iGՆ򀱿 `'lJ $ẂUWLw20_mW"/+\a>ya+{ %N ^!m 7%raoþ%09 />5&[v' `di)Wm_Ӿ+1`vծo6ɯ/RR\Ÿ00XP11VJ'jd8D:KHvQߤ CkcDŽDU>z9b#ZHȗ6%"ZԵ\Շ` -Ф#4D,m^l;!hҲ\ŕL/(rCySL @!G)9Rmb DN)̢-ņݟ:h do-4 Rj>&$ZHM>^CBKdX/qSΫt)(;!fE^P\w~5+xVkߠ'v3ʜ 3Vgoʊ54)n*w-OXGʚj<"ʊr({"s"ۏAghs. :5A0~@2'mx2wkTkܜy3I$Bhj{|Uu_(8Bby?ĸlO۞3o@\ >n"j>\S2=7*|-_}99L(pFNb^ !_05M]&l1%6oBx+B.4S'ۺES RtaAήcI=gCh^ mqST9:܌E@KeQc#_(w[ƨ g_b \(0xz)U?l1St *fi]z}{[F&g#f:i[-ӓ+4$Կ=pcj˨s; ^G2h,&]?GC 4g*4ù JSc8~22JZcR_iwΠLh|U>Nګ-%>Vomc2%=%/L}i0p蹔<`^Ee6~bQI+ot)F1Ѡ o`8gѻĒW4žD8Tf[GGr@ HDp伉 ?8:-,KUז0 u=2oJ˪4Em$YH6{dgF꼰*0ӃWϓcQ$o&@k卢SI]cb:OV"vD^}34|0v9ԖRx'0e='8`:C"[I3Ա#0@]fq"A~=q |q/͉k U$ hʸ/ >_y] 9w%)֦K n ͞h wQ2a4 x)]_ *F0T>|޾]L C+3C;71Jm'K/"3A?QH΃ED}jE-ҘV4S [g?"ʜ:r7-8 EJt*fK7V7\(JO˟:"FKg=t1\jDŹn  d= ԣ(iJvx:7^TՑI "jszI8h*j;zw [%ihPMX;[ع:ZLux I'٦3s!eWg e_.V 1`70ts p{r ؤb2Vl Cۑ,BU2T+ibza:@-+0p7h5:ģǽbG2T=ģ<\> dgn:!LdmPD6Ҝf>ա/!fq\ShoKv9HKV5ftcU‘4Ļ<ڢ P5Jf%_Ab 弨wEJԵQh~굶lvękQ4-mј\:I3I=V<Ӑ.;*dXFC U+K_bv'BCeÂ+'17Ӂ߶捀dxWz7\*\2D~L{, ޢe$c} ϶$_;qm /|X=X3K\\ӕl&>z,t{_o ߌ4=9Q-cuQiJ |޵AyRLeyu>NҜfLJصaklL3B;a>V ܸrg{,o:6 )DZ2 :M;b7iEʰ.U!;{άN6b!)8EĨuZ1j"AY[%LTv_+ eg~5ٳ=AGcT\'rN+F9jȻ&peޞlzM+>C>gA&tiH벽 B7 |ȕȃta!Y.D\3]%DX9NhX3c"{btOhwނ`X>5>!Ax}Zk̓4VM`EA:$~ut,"MZ;`rav5w,''\gE]otK[ ֆ|n<#|-VEK z7Cmo[G0wRbJadspؙF?ϼAꪬr'lM6"ڄm68{5l܉MXrZ4Ee_L qsd2'^ׂJi9T#GK)[bS(LNmI@zı:#qX\>EOB 6Pypt]O[EN]>@u}i.'J*!~pټN3a/+ߖ?d8y{W{;~=1k;MsK$jV ",k{qXlma''H@yg5Fd{^_wLmNM<)g]6Lߤd- Gg\>8j"oh06fHU x~_J%UB$60>9$ x:?uVɾYS.snq&kr yi=hp.ȡFr3n^{ jKbf!ImdGYId] 'mPQީ8m_{]WZ1Ug@ bteTu>G Ų{OB}mʞ1mdWIjnKVa=6mlߛ􉨶QjiJ-#JSuBH(C}8Қ:.|Jq j(:kMS1;;=NﰲPwO_K/sbԳa!܉y G >(GxI5~;Et沙{:"*pC\P݌(Gf:VK9R5&NYi qwr aȅ?Q?"2Hzbt(_L/F\5š;JK Zv;QZ[l>8 +Fd]-ա]k ;v{KɡCVןp-\fB4 ELBXgҲ2`* pݠ1qaro:d\LeS*M&wnഛ փKL娟&[Т{bl ?HVJ(L̆&1#N]m:8ސeK {o\Z~\}"{La->@0Te^s MsRTvqǼ5I{JŃTf9V]F6nx2Z{'('IjN@ ro*<Y`S4U1.AQ)#/rA[C[myo ,v2 G7rǭE\o<gDϸC:C+d]Ι_/KoDMZj5 !.z{}AQ9Ѹr72A@WtMsgYZ^9*D/GlzXa5˟ өFC]嵼oN[%dBqp.xǢ9meg59E&Jbk'Aߋ(7B=玒|+Rlib-]a61q ƴx,=MdϬvkCM~ELNplLOA _D5?K+UK2:"K!;є5~nw%@F+o39#=FMP&V]\5h8zɫ6qo$O#56N=/d.0Rw&Č8u9|wE4("b5ϴ3`Bn+#xðTqPJ8!sP?tmlM5vI@ !>vb:"JY UOЃ҉<8`̭(1#"$tldPނ:\ʄ3)%}u)@.C8x,<+R?EgdӕY5|LM/}6Uy1H{MWÁsa}v5U?&7~3xӿn̟字CJg1!Jꭹy蓍DTLd׿(Ǿo5e|i? `Xh,Sف\GNqjDÖ^1;Az6{8VL Ţu,%JpJrn*E17!7:O+B 2:]?Lx K4u+ sk HO0OKn=_RbʻV'ڰ-:ДE4HP;"o!g<`ĽOH06󦨫'!@=x.P],M?0TY= ^&9\g} _܆IyH%HpIJ͎\\%# !^6y72..R;^B3x1kMRߗL<}Rj>j+q/9a5ASuLQZi_.pgjH]دw_dƕ2⥵zh>%fMίLOOd3=C4rv} Y~ C .{s>?{tës,„Q-@~b_P_ɔ-x&=Ea,F V%`h7N/I nWi{w_b2<3[5 T0yL;@p}]%|ȜV"-@.WȰ1Ww_8zny ds-J, 1taH[57OS"xcZMZ/Z fB/ +Mt|TQC@Owz20ƻ#]£ۭkT ə3$FH†0(v>4#"̵D¯u>r&/&Na+$4h6AeS]*W{ Va8) @:`'2vMeE "EyīGo8S}F[B>ɜ{\@I4;1`LAj\۞KQI!ih|ث M:fmw:x֗;둥'SGfBQ]łP+=vo~n55; =14+tr ڂ'ĖheQQ0+rie!Mdڡ t@$, &]*G^0HW⏎ㅨaȜA(6% ULG\({g+:拷=/zMΞPjR\U!5K6_^;_DqQȰJ sVl/1JT{.*IE^wA4؃+}.1;@͝, f:'vb?Xn)G*. hSjTH_ s2R6L}&@̝{3gS]/^2'5{ȢScZy;xHa]Z0ݙ &,v.r)_:Ћܝ84%:ŹӇ*׫^ժNP %Zr6EmDtIB-;;|6u\_u%+)wY_c "ZNh0bYXhG0H K['Ԁ_H dQHxQ.TVPU6]#&lE^ UpyJOe`xu,w2s =sp*֜tPr`}T#n!1u>Eb7 ESZa\}t.#du8u8iMd6rlN$=D<|i?`7X}( O("0@>%k+;*y6 ҸИ ˕l}<⠼ޡWW$)7v{bjW:0"`ݚ5tSS!Z7~-䢎BO(-W1HemE˒!o&SW.iAdmV>#r]}\qP*B0t NwUh4(3Өl-|_cYhWZÓPB=ן.۩9L4[Q-7x&MC %Vbn;f ϩ?/=ޗ"W-6! fKn᠁%5E]Kr{aS_wGGgW,v;(oT6"ARdlmTUZ{yy˥Qb0iFV .R͇^,L`s>K_b04R -ᡉEwUf^Ɓg)/K*,VnJpr!~fi-| 8Ş۬A@hx\s{,;z÷'B/! ╨Tia |Ȕ $O )hH5"@y8m;# y(gq;Z3z ƌۣ1( RWESm`7uoZ#AdEmP›h8umX!tk!l7Yo|o"a<?-! )gYZ66bbb4e325030be65ed854f25bf06956fed7b12c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97 04b59700013ef186ed3c70cf0cf1c7af8fd574ba47e8366f6003806c1aef807692bd25ba5ec56ff8