SQLite format 3@  .0:  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 P\|L ]S]CakeML:threads=4elapsed=372.878cpu=1076.708gc=109.048factor=2.897zXZִF! -]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5HQr 7+)JBW@pm?pm c m@b__椱})LXJ8B 3@}E'4U-wy ڰ˛SR3 č#ϊ+MK/89$5z*H n `9 䚾|\W1@w]vA<07AZjʥ'P+} DFrwjILwMPM9^P 䔙:ϵ><7WjeBI$\c Pݍj e)e\ks̃C{wnf@Uglqs`jBU]m[ `F81Kޕ>K]*4) Ǯ7,Oɜz/RZ519M_'vu'K4dv[ LHw?#fw P=|p%@>2 ""mC֞ˍS2ISR! a =bq1 P |(zN}4¯2/03`E5ވݱ$1c7 oC foY\!LyZx~ pD} EGﺻ:`fl(>}t l&ٿ< :,JYs>y%YnԅȽuXhdGH8޾?f[c,^-HN.]|HDln Ѡǝ/~6DEj9Jzr7T_M,Pre-@<z揄~ֿOFunE:ta/wyp߻T-@q ]{¤醸8$ ۗ^7?3jgUAA9Z p/5Zd\m?|,0i1]ߥkL;z7Y]{_8ڔVI?\PP3b%px4 ,SևlZm{umY٨/vVjJ>a`xPޑ #M俥؝L# آ 7E~g1l\N@[D 4gW& Юvvݴ{~D?XV;i(k^r1ZiN5@gr2 $,XMgqG,I"}y3Ztv_y @jr0aU[u*߼#>O^!F[޹p?15 -u~C D3؛OZo#]ؑ۔*hFo`}ZW5C{f⯁QRw|LR^\,tWC"vsC;~ox=@L@L/>\#ɃW3~Z ZHMij^^?Km]"6b}] ͻ]tm) -MˈjH 2^zmUi'yϺ^McL4 1y]'A̡F+oH7gA 7|Xu ,*> lMdEv D_I2?Q;t@uT?pPlviy׳NV!p()Z3b!A\5XeWM'{+ Ǻi]+ XgꙠw9o+;};}w zfBH, G %PxmqFL/mPX1k%5q%D0exG"1=W=7lTnc8i }뚄~c{+vmUj0MԎ>􈘊TA+v)cT+!/zK>u47MR&|d1 Yqk Q&"9481P&] NV~J_ϭ`كKd0nc7))CVSo@8:g < FYM Q,w"#/|O,P6؊Q,5e Ŵu{/# q`* Lӭ=eQw5o2n Pz+8zOʝšy/4+,L^VF<B-Tʐ}fd0F]3KӡQj+:CpꆖԩDX%MWHy? /{>ql^?]qqX$2⽪BU]6 !6e1e'0 $x&݊ +4!kjV_6w䳯U<ŽS#*2-ܦGxy`%Qni=9V_1w S+l,yP6 (SA}gQXwkƘ{m DPrÄ^,Tɼ`,C (]k_j_݆6,p~hsR<44:hXнP jTsT,Qtյt+><a&9ʞm ̶ p5cA!|'k|q$Ѝao|%} :' h1^X$פ)l (5xms?hF;aI ʯȯRM+?'׿@f(C2,{ۭu^% .^vKAei^dU v[-n\"N>tmlfqDAksJeJUEc5s22U]\hiS^`9CfcgK.)Nf?OL•I0^B=FݑIoqhO SފޚT4Wy ni9ty|:8j>K00 !ge@eS"6bT4%`Qt8RiD@ SR䎫 RIr`B!=D`6/[,Տ0gBD\`#0DD阨p@"bb1}>l=5Cv˅ݾYP]3D+2b%2 wy;Jӡ/Ac',=U[mIZ;1e & -eOoi,lA/?YfM N)] #k>%,+e*P'UjbtB5H )DT-Sdʻ/fj{#Qw4=EEH'{`?u[ѿm̓Kя vR!&GFketh*,܆O%lM>2Z iS4 P{ӂ& { 6}uA,iؙwl}DH)DiNůg[fXޜE ƾ[Q[&acͫ.3%_g5mt[8R*AW1jQY| Oرp<~kO XͺZ̢p="|i(="Fbm@ #ZPU?;5 4\TZQfMc~r0>gYZ7zXZִF! ]ŗXiɟy3 >u48V?%!z9F aqpw+%P@! qͶٰ̱@zi62J )tSW&^yP*^[V :k3{ Pbӧ Z- d?Oc~LaEbuup̩X*(}}x#g( OwxSr)N^9lZ?pdM OP\i]'^%VG]; +X+L Ӵp{ز`\gmgt#qLڜr+Ldxeai2՞3OW`.R83&HMA"~zK`%akt=: Ƶ"NSQ?j9[2'J5^Ac|1܅Z"b 5`KT˳S2W+`6ҝ剼 'p5(3,q^cDCd P-}ʭ>xBjLm32flZ, [Zxgv 5$n{pB. е^$gKZ3Oռ{&爐 'hy[ʅڸG ivG "Ep!?n 7%"wV).9y_7[ѯXO]xΫ#ÐY@Q*Wr F[,Fq%Pśnxjr3Ygp Q=Aw3ӖqcQQa !ύ 8-Z@?M?TϐRٯ{2d0Vu2QKKTyGBv95SqxP }^.u[I[ɲԧ&d9b`cۏk7/uM;9 *o&vfʼn!;5lQگWO2c П,mhIc@s× gj ᣆQ+qr. 7Ul|T}a>܊ gXXG*g;[Y 9_ L#3qzx)PzN}bw))vLHHq9zZԢ&=< 4ĩ-"խweц銆N{Ce="c49ͮm[P(|J:z vYc2_mޞ,z~pe:ѻ )UÈ'sOuZ6-}l c: ^NvߗUh6lܑNM4firdqB#A:JCu@L˂upu(+f,i5.@W ԯjLɄOUsg}kss{89Ϝ|U.cl9څ$?. VߊAy= F`/ӶW{8csDL/HA7 IP|#9Na[Vg!Y)73"k]\j Vz!4$ZLlY1K'Cu[= SX{4$hxDvWzr|dAU\^[IXCqA4RI2ҔiߠIBQu>ޟ#վJŮN,gr&,DREF=-i"Ɗ&A[v2lkCp0p{*vX'!@#5iօ* ~=t@wDD3=7X8vB wK p!#@gT!1rLiqېC ʉ~{ZY{BX&b }AcW٩j׽93AoIi4MxTCE'Nڹѫs#GMӝ~S^F(<kD 8vRN.|a5%Ҵ´Bf&E6S!<(sbu2ODXc %2Kz3$__Өh96X*`w]Ϝ4~hI,3s 2;¥):l@ $1SLSkX_ޱg^RF̹I1BmMu#a 8ZWO'Jt[\& }VQLDz7YB)~%E%=6F/`a m" z~DFSz4vi _}Ǚ=i6FYsݡ˛Bn֕?v/B߶OeL+1fmqӝ'=mIr}M2C !a)eQH=k'b2uN=ʑAR~ǤNf5 e"+s' 6|ryFR^ *(*Tm&%$..XzR#GmTj)_.wJ¥%1`FiYoHwϔ@g(.& jL`3EKKa"WwĜJH 3^"Éα[o:vn(|Zjé|9Xy"#f~)M{` frL%Mʖ_/I\+ @oZyֶ)dx,*º28g?p&swpma`|!eeM;Y|y sr,Pdo\f;K |@%bu~'䖮!J\MȅbD0 k}N$} ,&s|+zWB1k'fchm~!G !Ra΂w1'cOժ [>c{y-BJ6Lsw[~o+eTd8 V5a̡ET%|X8u1Mө# Xr9y< Э "݃?jEɝs Y |i%S/t0Z7pV  ZCKWtNk P~DF$TUYr]iUP`UWTz,/R@YL ~XP25̼rSn*qTy(`ջDH RͥΤ,ap~ҡ,SmC]p*r]B-x)Q)jxa?a/Y"(G)!)͡`6{ܰY9-Lvlx yJPX: P]ïrнFg`eೳiE4q1|)Yj0=Л4}Ȯ v,P4q}*MY”vU\d68u\{'e/fb_Rwaώ^P] )T Јʖzq+z_#GFg41T_;-$(D1\ '_ -W#d/LV zN^VX~{#cW]‡eCuTS9AbABu@:f6 7jxXOH S'<0EM /ewwJ īJ:*ز`* V7)vrKAmbիi[LUYWRpd2TI4=@^vt'%![E3i2 ts$R aI/z&b$2;_L]ɐk֗E(Y|cT/%4FUdάKڤMeM-_2)f@"q`!CQ<FWl!,Yֆm n?"?0) Q}.{e5_+}rSͼUL%;mTԵ)9 )<#(,OϽJ*#}@[Pw;6ozK3r[( |g])7Zݸw~t9sYRCV@+ǃ?\‹'Wm<D2I} 82}h˂ZEa_sրȵ԰@gj ~),&x@ˆ8?!Iߖx٨=b~ 3A8\*pk y™Iu^f-wn΃;-"ᘞU_W SV8n9o6?Rh})ŧh [ d !~G? Aq(dUȾcc;BE8WO/1.۹'=pM=qU}b](ȓ}Xlp=/R &En/Ha#rSX{ZLo<%zKdݓ:]p ߐG&SeS,],8IciՖAM0jPN5M Ry6g_j4`_Gt/+إ-AclMXB|\gm~R?5H/w *]d=qjeZEf2}KNa+PБGБ=e&w׍+F7/Ko.vrt=压#ZpYQ=jCKE_p9`䋦 a&%`3jŒIy}^N8mI@B-ozr"V$@qb0#u߀^&r*jPԩ!0 WU{}vbd9(HT&h:~ ̲ݷ":ttqS;{Dš|78y:N` B{0ȢN 694* e(prR+$Q0k|jQ}pkQ \Rͦf<_Vևn24UK%mwwgs1,^xY BeG &eƨVXa8~<xսGjPΰFY}n\jo&`qJ!3-.Ɲ6JlH~H*|dc%Lj$,m}6LkK-jѰF2m!zKP=G姜f1%ZqvqU8ǥ܊A9O v;8vԕM g1|. 13вoDچo|fEXɮ+A |=hnj0 0~X¶e^ɚ< c{0rqU"Ao |ώw9$~q 彙| (Zi.2]NJ*J-1l1 pYP^ݮkyƈ֮ҙw#H'BSM*@4ԏ'EڂJaDv ˋMLslL)ɃVP%V}ҪFV;AzhUUѻfpQ^b y> >0&U鶫Mˎ^w2zW!å?det(! Z@;Ϲ0 uYf9 W+7pcv2siZu2!!({|K" nr&0|e^陱T\BW=ԾxPt8Mx 1AATRs^z'cAԦ7- sS~"DU5#y <%?dSl]A[]CMBEqCQ`^^0r{ӚeiNrwSfFCG!)%:J]ևT ]`5c J(TtR iݵdC|ticᥦnx:,nr',:Rs.8p/ 70yoIgCOMo DUPAvľt= eNИB,b񢁸(b3B>$jxC0}M! wչ;"t{ fc`e6ZRNl\qBpQM)}ῲEVOnwi7BWFҌr5mWӧ吉Fke{)vPyhLj+j[w-9؅Nߧ7=ONEMSENoNVL -a¬Dzl8ė4%Naq 7؝F}4qkDbsTm ӓkFFe&pŹn=<2P6E^%w $u廿b瑴CR'~]֑{qB(]Okѹ [m1s yˑwwM6]6sVE+'! ̫ɢL'}bPND'M#g{MIxvTj+`mg , 9@@0n ؕy8u^IUקz|U(#Ru߂蛧 ݳgD ʦnDw0nnaջUe,Y-4{R TS}`~}~6.WOOܠAٞ dQT"z9T@nO&J%hŸaw=U? sLٹQhDzcC4yQc &-3VKZq倇.7[0l 7{'e 6kᑉˎgBci)hLBp$檖I'mw8Wr,7~1OO^.8ֵ7_>=NCNS Rbn!& }wc}`h6oͺ;oke+ew#~mV^ˆp9O&jZ2 _%8zvD$m6TG'j$@>L-B9nBX;I;)5 xam5:-kR+oowGdu^S܃:EΘcX2;KʍV2uo24񲃍K˲VL; %Sf:DѠ+dC w88VG(v((%FR^DJYFa5kGb9Rz:U^_ р L~(jU>ѫ+W'0 6njo~QE$5_\s?9IHUj9('u؅DV3>CcS-U9ɸVR0jyYO(% #mhQnQ- M$8 q,K-Po.7[%VF@+oT*$%(>y6/ȆC1d0i4 Xc >j]nyٯh0dxFAYOkBu&,R<|dϔ[MKZ xiaG)].Eq#pH2 VbgK8wv] ŴL`#IMjӶh<@, ~+) V.K"vh 3AE\OG4aG/&*޳nS2Pn[n^ֶ|ѥTh`agp7R-[I(d :s6ޞtJ"8 _6iFx,$o:K1DE愪ݫEau-f$f̍|i Xeg64EOc `W6֤SD۵u0Un 0@#JPA\oͰ҄SȨmyQF@1NNU>j"aC o5ͼι*WypoHtj=X tbgs>pĸκ9&շִpyQHv_}68fF 8].b@A84=!` eaӤ⣔a r21t#-+[V:lv ); JYY<{ce GoZpow4&HC2K$66vv<8}NQD^#{eA3'AbB i#O㚋% NR4B,-eo5g%X.`r &R> HX9ZFM%vv^¢UbW_kwBAFbж zou'p mZxVT6A}mC{7Osd0~v1YXaK6I{ FU`kdUv"=kau%waإVUsd>bpQw@G{{zRG$JL(`2cma T+{./D݇t&>3ݍxM%MU }qTn`et&8d1q С'K](K-hXX)}0ĸfYơejNX/Pƍw#WU^/Ç# x!CӼ76FZWb .XlBޫ"Y$hkYbCϼfǔ /Ѕbksu=KTU4,ّxS51$8r?'`UĒT2I$ BNrӫ&4&R K:O56iX`<1A"[WUWJ}hNiCݘ20j>/߲80BFlZt ʝ< H9ÅchgބQ~ZgyRm7- ?87'y&dA \E~hg, I @T0']G M3W97Uٌ齀rVur4 CH"E:o{hUd1/#vŒ^`vGÏ @U2% 7bRWBbO{o3?cYb0֚f,aK2Ր r%_گa[ԮHi]m bt `ԉY:"b KQ.?7vu PDzY{kσ;ch$,m سʛ>If^1S/?Uްn,xk95;Yn1V1lQJ{ykO9E(me\K`'"Eѽ|ޗVNV\Q5O_,to TJ9;˴ "3Y ''nNCS36ssـ-Kb+*g)k~G&l,d,p)U;sdmOiDŽޔiW6,}~[ppYVjW$Na)F܎o)/;#^0G|t=8JR &o.埤Fa; p=l"v%﷮d+dӘKk'v" ʒJ@rSx2^(^\: fDTf!0hpn\Ⱥ`8>RL3rc,כz\ `) HuBYtE-ʗKGRE}6Teg[k *3* Am4W q C&I?,n/`M^yjcucڒiHcAzl57\9D5{e@E+14 P3Ezŵ_af>j}iE-vܣWU0xjXo-5)OAY{æ^^Ucǀtnq'{V}2%a!>)$|/?O绩@?P+.xrsCP33wv ȓ#7f,^"vlixm T~<\`րWf[SC0ou[6f89ƚg T'NS9߿xEv3tq 6h]okQ5b?1*S֖дx" ej93Gk9K˪!6p\ƪgT̠U+$`h.jg>69g7aDCB.4^Ie(n(@bIl܆24`-̉o2jE Įt3L.mM`ڃiJ|X/u8h ZfNLThC,pԫʉIj:CzKfjHPNa3<.WѶu i$n1f#fi;7zC$ Y^Ažo+]XQ6 N."q\5ÄƑ7XjP 2? puZEēϜ7(Vi-NU[3 ce{f= m;px /MW?Y|`>G1!TduHM3CKM>؇Zzg9^_eysV2:2!z[@W9mCB$mt<c>_B=R(afqcWo.H-=3hxrBi`<:7seǵbnݑv1MR'`׳i}2c YgeoJC;-J/1[5'0CD%o%6 p1e\ YpUgm B">:*۳2B<$w]{H0++Ƶ49n.Ef mZ@! HZv 6Hx49cDei]7敐(@Tv~|k .П˩tI UHH営b ǷB#2!=I.gdPnLc.\(^+Ƒ8(9eI1-JL^X=uEawl南:|_ mf) :',.iHx,^wnIQ0QK|SDTYeuHNo˫ X*/DXX!K7BE[K \'/cw7D3>??)]]yQ<\P,"kT<ߛoͤJFf tGFLi]iA%)~Rdh.c{q dm3QYy}QR;^O'E&;zF˅spgY_Mf.h-hu,ƼJelq5[Buj -[y ɥ9b^ ֒˰,QQk]ᵰ+3yGC1c.5=$9al14%X_#X?Ź 'Gvv AGQ\}fkl&,k sȀUlF 6yTq-rsyO!N l=CnA͚~hv KKP~J WgIoy6͋^۫R 4BӭYi6SUewi,ňpD - j)^BOL"Un?CۛIkע2G羢ooE.WR-H,Z&)hv`.@cvn$y"vv!j[@c߾?O_8]Í}\܏~JrBԡ2~/ so!zi\gڋΣ^Kg GڌmKBg1f[!;D\j+8bU~$NWv HUwEF ӹL6 =A8vLɂI܃ &jjLQv;#$.908s#cU˸@'=ZTV%[!Jfxz\-J t^yUj܂ jJ\6YbYb}'.i<m9?)y$e淯4MCrhlyQڒEQ,s)bF{&aU?1I8+f82s6Rh>aNI,.o#tc {u 3r䋲<+忴u!∠2J0C:XpE7=>> &>I ~مO+'ӟ6ݳ4Bn=Mdl4hP Fpj\Z{E9ĥ{_9.('hwjR5B#{Dno"b3+Aq#}KPnaԇ**J{zx Cxb6]/PU:wݭ+-t`&ェ؀\Xn:ZDFIy/꼂S4>i/ENu7I՛=/B|=m{&ϯ"=MiyD>'AxfHC Ʊ;:/^S nO;4^c`nW؂r)PQmShg8>-?&"UhҾ{H9PÍܼ8 J_LCoFT)v!jǦcNBZehi]$[j54W~B`+d 'rd~̼Ovײbyʏ U [er7|st3ϖ$[V=3%KZIGph<h%A.-FvKrY}yiRP|W2 "ԛR]S_.ٷuwi(#Eq)5ۅW`ބt]خO;ҥ:ߔh(u.83 ]wOx_ƪlO v|LFL=\~N0SmR_j&iK,V .jſ>mgO*JkMWxv[.Ho4Ր@rœ炙5$%s=-kRwdvm?a$.w:o~5Xg_ybaPK [>sEZ3&YguQA3Oqt[G Ƒ*2-<_ q1)GG)ڲhamoY/33[]N(ɫc0܀RR%&܌kߛ)o崒!PF6\-hMkCx2sݜ$JW_}.\af +/0iyh|_h1_;aa \a)޸N¾.y ]O!=tFyv#dڅ*\WlhZ8CtoE;iIi8^1 ྖUBWc?{*ӂw8Y#ޟrC` Lگ3OoNM/U4j&HSQx9V"ObϕԺkZ(#hrm`v*#ў!`jh/5}~(pUm{17f xkflHLrvC]']+K_5#/vq1&e#0Բu\i&5'8pI" 3D{)o .kufedq'mel,'NG"6,`ӚuXNݏ+aK nP"yY.g%z曼ZZL8OZJ{t  W::XmEy002(UE 9i)a/ ^Z0;9<#1ltxk5M ٍ)`TsGHd; H{m\Ma\kR|0lӗXA{Q > _nz~a5sH,sM"UЀ81u/M(D5d V_sv*Z?1-Sf*Jʪ5JB Lea\ØCw 9*>2Ơ5/#.6emn|')[?6AEYN0NeM<@:,6Gcm"a oZ{z:)<{.$C4ֆUOQ0ս,/K8#ob} vx?uM#vPLv tq/"j n5–bDh΀}#WVslIǸȃE8Zi)wO|3]?oOo+Z߆'!c×pRH$޲Z(7 )a2ҊeGFTh?U|x^l~Y˯UDT&7gɽxM B-b,1Et#b<[Y"PT^ -P'18^(?N0Jnjͭ^OhXpX\*iK|J1 $J+OS7rnګ?Qw\\f7Ǘ箺>Z,C4_0 tgBXalq,gHv&0̍mG8=`@[ O?{C##dCqtfY=-Ob/UB JotnmL0“"{*4P /mBbQ ڳ .]|~oX9,b՞.i<:4iAUH%M'@E1+\2?(Vj,)(C*y⺉xM-M,jtabyEN6ƸGյh皅"{dpyclᡨ`!/PR/)J 5W wɁoJ3$?\K'ų|e3S8ð }adYԶ碻ŞN\\c ;kA7z\ֳG%"`85JElv &@f)k@h*`_ x.0@N+:1^݈U.1cT4TEkCu>*+ȝU/r%ȋxH#YDY 7ZUFdLׇOQo#Kcxcf7Qgv@6'^ZY*HY%}vxjx &Z$%JU*SRY': xz@!ØLj-33&[G֊ LJmu9\xb:|Zppm+͹& Yal;7{/Z)I]DGJxa|f;:ۊux< @ÉAsdYe5a<h?-`;1 ?yX+x,EKª^ris/VZ*U}( ΄07d-\멹ŷF=5R6S}] J;"x1늰j5܈w}F2UF @#t6^?bmA^%6e\b5Ǝ/K̯69}/W MJet_ )P!Ã3LC]J;;R?k|ig-' A(OHt =5U-w&$kd1@-pgYw eՎFHa>Mw MFoX,ŔoCNT Y LK:vlm0UTtew[rk#cBJ4Տ_wkG-M=2CF/<(cꃫ*xbR1cݝ[hI6B궃XiElB.Dփ~5⚫rZ0Ѫ*@'82&%fk^ۇ0hbD [":-3Nw_R zg߰sDwӮ͈II!UCd;)<$Q cog>m!^S8OaͰEnՋVU|o|er3d=kKȑ|{Xh;HR*8 3K VHV(-m({g1AJ6OpqEK#9RNg/y|NZĦ8|2\՛{%3@ Z, LvYWx-wc7NRX<*4RWm)Aernxق&##䈢p)L3}Ȟ#Ap@@1CRtrUa9 MR'˝ӚY[g.TF|M$B_urcĢ %+Ib!1R4) E~vb 4HS;b |0-iSe܌gAU1 Wɝw?p7dq>y,l,9MvDpfʝM8f.wuJnEaC;ϸen<8DZn.PDA|јLQI@@ .[dIN"rlcHxNdpZ`%{l՗BxZ΢Ω&<ڰhRw5?,lll8*t7_M0ˣ?;.H83o!' n I 5oB'# Y>|?τ'p@*.^^ D9 ٵ(92!s.?\p.amپXSE"=.N3!)EfsT闀^^4&oqY,x $DEy}xI>Kf!_U38nӑf+4$zl_YE{nH~ &jyX/|ڞ8Er|B~,kZ.nQNA]CS['N_ʆ/T ~, HԌe-[[e`p[3?T) 1)ΣO'ݓLC!Z ^+ڲ.C0C)ޛnn{B뽄qlty ܩӏx?ʱYS^G/3B`OY95i ˯lLo}ufq\TMKCXkZrO JHٝ\qAj/RL_0`\6LW4I*5ɃEE}~ZPg]pQι \Z0E [~ 0GTH4[Q\Uj*N!R> ;7 CJ\bw%]BmOJrm6ÏrRHzr;jFEaFgA ORTQYM[sWne5\j^C]s;?ȧ㹂؄aWхEdk TЧ)H7"%n@.poMPE6K)o@7\RB26jAPY~Q(?R g@>w-,- E &:(NvJGܨ4n[:fPD` \,K_yZہm-yb)nv'oM;E,) eZ4v;"i2G. sM[9&?}snf'݈P|R,l]5 fUs6AhkP.ћfl{j1/!70:޿^K W#cRE\:YTuaR(R>k‘MEgeBZӫB-ryYB@'*Hҵ 2G4Ok[!}C0IC^+k]n/]f1%/bw9垘a˚?T*u&`c㍚أJ~.lX:͍)*Iy03MߵUļ}]O]? OoxbVsgq ;6PZ"BIwq۶|}wr}MMq/*=Rf4hBsU0&aSj4N+oШyPďm&o,>_?;dZJ ~UA+> JOhTɊȊхFmm5)0M<:vIUqP=l04rDOHkiFbR PhdR+Thkƒt/JN:O7I+즤 * 6Esڻ3I\S'sۄMOǡ3䖻;iyjv_}b(%/Ew'_QH[]@fޅ_ /˹&;`dݶ\`M䢾|{yO~U >&`"mķ'x Kj"TbH.[:G J:1ՃlVP2k<4Ѵ++GY|PYԉ<'i$ Ӂhˎȴ(g 6ecywS('] #e.ץr2[rHK:7>'$`bw sYtA auEHW?\=/ um-s.z宨"In<S,R<Zguw !Xh[zNXz K]BGtB\ =)~;#¤놘Z4WZ[?.]ĝg"|rR8 +}U76YJJ@:~R\,&?w./JJkSXLvNj @P#i\.E_ NM'y5 W9*.Jz I֧ 82bK]B8[ޤ FG\^<$/y*Bx[@]sM( KYFD $rNX~KB'".SO巭_ȯheW\$yBPw%f5! tGf෰g+hiF_-pvv(`+ibȆoMpH l#k%N;Yt@gb85܋dtޤgz7NUslSeܤ:qRctVJ4_ id˰ӺM^dc_Qe&|WP<^[㨅ͅ ҃8"J"/* ."J;vo>&Jor/foT˾w#e|);H (Kڛ( tqo7ɼÈ̅ BT[P} Xt Xt@`I&:ߝRTRHygcx.jh^VD]]+ěIٌ/r 6ϏOy%Ӊ>D#FpyDge6'*YǑ65_gX4CJ ֨VAAX>h Ql\sKh9PJ^] @QZWfϝC~k܈9.ZO҄R딈=7읒M-bu4}Q OI:-k&ؑ~,tӬ}(F^!Kyׯ)׷7b>0W H9# <)%N@ȉJ ZenRu&CzYrA~^ Uċ0.RJ7 Ó;mA{oc* ̜ >>:`@S ,8MsTodPYx﵊fH.LT?"qt>J5J'U!wV+ƫ9 npb!yS2rɔI.)O/3:Br%Ku?2ho4œ$@:GϹUDLJ  *yL-Tz`~c}dϩa:07}"J#+QG]p(jQnJo!f2:Niԧ˯J4ڧ+hsjl 7/jSUiTBgF~43HV'1^ya{rNeY *;ǻoNQ*$gjwm7 |/ҪwŽth[ƜΞ%P?ի]Mdl-C.<(臂Jƍs}ðdXq79<^N p">Ѧj"EqyYΆ-/w،48X^5t{-TP|5_*Rtv҈zٸBWJ U,q7Xa#0žu}O$z=XÃ_?X~Z%iwF*4ql׻QJY#W#aCupgYZ1f8fdb26b08f3b0a37b95ec735a44c8685c968e887d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 e0ec58326210cfc58d91b410e3bdbb9fe9c4c5fc 3653f3ee21d5d6a13de6f906c85bb9c93c8f86165edc0522ae4ec45530ca9111b90139248d8cb38c