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 #|\D ]S]HRB-Slicing:threads=4elapsed=351.128cpu=1046.800gc=35.988factor=2.987zXZִF! Mv]ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BPI#SB1佫TFWhE"h#0>Pbb 櫧{wvCJy9jKK|>IѪ,r2].2Zh;4 P$,krH玷_%_N<8 v7hϭO,G:l:ȑ-BF#{;mQ%H<6U- ;bڗC*=߮%Ё z?WYi1.Xx<bcI-KXxvcwGxJ=g>OFN4a,jq ]3J?|bA|ˎ90nOPw+U9+ZDw'OS޹6Ђ =W(=#&gh?~hՊ 26$ Qnmo Tv99@5￸)Jc0kNtmo|&[vXg׉8mZ -hURYjhsLdBZ?/H2jsg:kqNsWB#^ĨK\,]Y£.rI!D9Fׇ#v| T [ tZEܩ- ^T\pa!P;׭ !:lVku 7 tcmm"=5u( Tǘ5t ~ڽLq,BX ?רSs3bne4mƕ5SN^݃>dwHU3'mi}$~9%mۙp/-%U<D[GWXdpbJ̪&C.nfD&'cG5be '4Cm-w{2}q:?6>EFo~r0=p/8FIGG@F>5聾J9;s$_Y<z 1l#ⲽD֛=C^RNE `TATYwPLn}r҃/Z!ߓ1R7Tѻ Xmj`>s}BwQ*  R}b_?Ĵ\[fK6_1J&W!A$!VPu};7}@OZgjUzM1ta/[Ryŋ{KREpƞHïU(/w=-^J Vrւ\5/ꄥ/]Xm8!4  hޒ}E"fwSKs:`걧8Fv\lFݚaLrR􁌂ک ֡:2 A %.554,so[a')dy)\ ޼7' A)^.؊O YUbIwrQՙ{PT,1I.1SLl?\3=ECn^Os\AA\D!j)[Eӝ}̧[RV9WO^$+rd`)|zJ:ϤK GUxP%ZH(GŗTDEhk\8ELҘz}/Y|gh[͊ 0J_qIl0^M nMP{_=,A {*zeS%ΈiP.EL"ruQ/GU7Kiqhwc9 !@/|mA8,8uB#Vؚct{QhfxHP#0Λrwd3_#nį+V7^ (=*wkWv_G`3gBmR"śs j |5Nc K h(b;{I @U<.ӇP|7\m)h,Yf-',M_:8vg?X,7<'-yƘH 9Ul93B"6 biX;- 霮JpLV_%${\`8TA972v8pߟ%UKdROb #MT:E^`Y2H0t,PaVJ3Oop[8}C芆#&~:)`M\R.c^ZúcB@A%٘'VWޝQiB2a+qA졸6=Ģ^d!16?(5W^c<54=_*x;ŧ c5IA\7!":(ݭ0c`ddG~Ж- f+Ռэ.3׼Gsԅ1a5M2ٗFM" Ni/2a/PN3eJk#f] *͚ HP1tR.A?Ձ ^1nWE6A t< S .S#IIAj//w@F1D=z9?*^ Cд؝0(|ڃy/><"ˏ](Gf쫀_x@2I) z+ՁvM{J 3, 5nOHS #t+6"@*3@3y,k J$ .h Z(To5{/ .eӕ$S(r\ ؖ[D?8MG@b/*Rg '6w}ttD$io-wO!8 R)sfq~=dXGJY{K};T{06?rl+!"1} Ѕ+Y^ݍ2?K"noX2LJn+.LWE;?bٕ[J=&[X)ĥn3^(O'\Bd@'` 46zgЂaҴ3e\Wjb}k2ą #\\o?) # HRB-Slicing  %{XvUt̟*ߊ`QJҧwHJk[͵$DJHk^|aX6}MҶL|>P+0Gڂ- ڸA)rs%s^׹)NE2niS;)WDAs. ʱp>F[aCؤ 균 2lGeQ B.>%gMTKc(}|Eа{ɟUyMJuڌl>&T/VO,qH|Ee ɀN2UΆ B4}GM2-F7.P"~feLeͪC%L'YID@<;I&ʗ0xsR,ủθtՑRr|Z:Vnyī\ko7VJav s8 :]h(u"{&cowqD1y2Y%Þ )Ъ|A0&KˍVoOdPGQK8mU0 Vk\MPyIJC79oϨ=@2Yf,zf&,${g1-.AZx_!l'=^!+xl^1]fY>6͈1mUpK n oSI1צ :O~l7|- gArzo6|m<[7HζBHuZ<9\[/#tp2)guAʈL0@r,aA.LGahakJKɶV擴 pro[a&%'fh ׏rN@Bj~?>՚'gAfD]"C'5 {Ni~ cwFD"cXG3]ߑ? ̴WX-]Xeq Yo@ kFW_jws1!_zHXl筿RPT~!Ђ@n`$@c(L4g_ɥo~.B]Nsk8] dc=[/TvR z[\}7:%s9èz$;EnaT "穋R޷ ֋JEި@S؏Yl ݂摽dcHn娊7G9(6)eHOKp9m*3ļSk,hJ_,]$eE$STفuc6A)&%W1͑ت&(AMzzƧp' =#IUqd|Z`F6eZc7f2,ٜۡrBռ^#g%?]n!o7$W83=tʗ*0S-)!Iͥne{璨: Q[0D6(x^^^+^zA%(UN'ga f/vYpWz/DFZzMRePwC*.j14&(X64u*kkZ$\B~AWQ_('Eqw7fRcl7E:/ƕf56[*'bS M1p /Zqc c$la%|y݃t_#Ski \ڝ]iq" 5ԫ/(2ټb2^=+?9 zNp9ޯ}0+"4(|Gx!Ğ]wE-Et)e%eՊɌ9V(V6@QYE>=2=\4T³ )0cI+&' =RX]#(.>R2mQ79D3m⏍Emv?U3)0jC[6V|H~nD̺L&s6rˣʺͷ(y f7F .9'`SN3M2'BhCfn  #0Y1]uRR.}Wkn>w%U kQm6c'"@DĠ7T31;o)M#(4N~-^N]\vEgYZ7zXZִF! ^]ŗXi%G̉NҌ#שK9^8cbo $QrRy Tn[͝M)x^U1m-Xioa3Ȗ(PVEv'= ]_R[ө.Rfu )NW1ko@ì*=c[ u"Z,'A@{CM>|!P,t"'Չlm 9鐑@[wO~C9$GU-t.?N?1~/5Tg!ӿ救p@" Gǯ}5yKxjU`CF,OY:8.FcYjftS)c1k.Zp!.Pw;d T=RA\Q)Р\5|\}~$3yӒV_zsy[kSޅ9 AFGDqrDJ _d2h7=Rl\l݈~7b9_)F,uc~c+:wǕF&{}+þè`?qGne.dH!-T&ͺ'в!O]ƠkHAc󥸙ӎVTȢwtRpmFa+=Jf.>RZw;Uw';C4UiLaUy 4eATKbF9`&Fj"(𣻂Ϯ<rUC޾M=Hy&FHfgZEڇ,d̉hpGv$ŏ-|1ȥkJ^sf z _8pvB2Š (K5\6DH =VwOpZ0 :Zf.sl/2}nf|'1AQ3h2/Y(kTGMSNxjrkf{iA#GiUJt)Ob!]6kM ȴg(lxmym !RB Cqd\V7 ^&<,Azz%cBjVb\WG_H⩇F:A^QXɬNF-c0ZM> _ew E_k׵Svb8n?: $e% *b=`{ǺsC**d}usYzDVfksʬƾv׷%Hљ 4A|0Tt T9&AbUoL nwؘo Aɇ#_zGS n2X))Uɡ/<,&TDja^`F\-G+XZgne+į:CB7*` D){Im3!L +YRipbic {-=KM_w,dߟf ~4_^g q`\Al >5‡u:M=Gu#Z۲%J'zDlbZV<ԩT-]y u0`r;jJ''#W<ʇah*t^Hnz(dSkQmgD sk;Gng$2I)h" ΏVFO 1 `' &j`:?!ƫY4SvI3=٨s%JІ rT5D˱R@ {Mx/p!7n _A ='yL)b]ƚ-a%#WhXFܼ*{WϤCޤpFv<I%JDHX}~"u=9hhUԚl6D4m}D !5vO}SfAm]eLW19 g+#yܓ^ !Ia &Io6 @GPrN"x<|ߊO1 8W5?JzqV!%ʾ%jKofLXg&>54B`iw5Z4P cNH,;O!`sgna7ڳ9cNj MC ?7[y!dr!ЖO[(%!l*<PntLX^03DFΚ9Ț(Vtb4omZ)UUdJj!;SyM d>%KhBeVDśV2cEK4An|l5fV;bB/GT4Ӡ)J,O jFߥ~VކJIy7ŰPr<+'&Zj#.^S !ŁK 1[6Tظؕ1 DiWs]չvHÿ{ٵ (TV3Yvqӎ.x|/&0'7^~gW;"&*)>%mt^F@TGLb.+O[|pDc xw+>gKOU^ʛi!Ƥ_,Y*`k2n(4j,v;+cT/ӑ= -C`^+$_L}K]ϣ6Yњ[BY%'0>2-BTc܂}("4zӄśQcj#"2\9bcG@ 2ɂfS;v򾳐ַ0.g. i۔#)v@JJsF;o'*4$_Em>2Vfޏs#JY&¤JGϮ12:(v! + KX/eM!N ʇ:س;2bmA=_39txPə=MIr$= amY ]KiP,f-壎/ yϻ+CX}6Cz65e"3y6P=7s;]lN! ;Nu$wCU B@pDm+WĠ5=rY$pog6c6!XoE"(|6[z1ʆ VW%9+wIOPDϦ"Wؽ.`FeI8 C+pzV`!ibGBA5W +e=o*? o* .lQ&5+J7+sH2&7\V C24OMC('.2)c6\nĹ5yI Ő5\06a.n\xƔV (;\9QM }9}wVB_: KňyCnMGb7^SU1)!soS(-t P*^-ZQnnY$:9fjF;m*czkyCJ˱,ߧ HK ٧?^b֐;!F{'ߡ芢:}3,g'># \nA:\햙p3-{2=9'*|ȹ@XgI4NmGլMk -K_7@fF]vtˢAh"ÉC]Vk"%d*$AK{G#iC55+K%d@\Z\U5$҈ J8XXX\CI{;s.Q+UsRq($)5EJ% 劅N.(vJ!c${7K;Q=b;-yeպHq'08 "9-3gL~2,B W%)0֜J`'ϡnُ`wO+"B['-t - _^VwA3bCb^ ~kDAuXQ0,'ksğtIo1Jlb"=b4I]7s,[?Wm"d* (|Ún*r5Q fh~-4+6T_E$>c0_ro10 =&?U7i~\ʍD-Qӭ؏ `Ե4fvP=e2 LͅYS g׬vPʡ&Czsl=G2}@Vs#gxFndwYy7ceCUDLNx$PXF}>ƩOvDz?^s,ҒZtYsA47LCl֪k m[pDu~Me > h=Zu볎Հ)wig255e<ӻ$`e~-Žs X~- ]Fv$c%ig2_dkJJPF-Ih%#y4]APRS|F-%J6ʴ/]Rsvyt|7-͊ 5@r8 le57a^Sf< ݬ͂ Bnzۺ+#6F MnG ݱCF7}xz,&lPNy0ȹr^*X`> SggBf,*Os(i(.ϊ05.ܐ`tLߊ#qce5M's ͤ]i[,/.n9U=^+4'̅jajҵ}Z[j JYoJb^RGLyvk!8zXkST۾EA']Db-`\˭<{=9HW 槟m鄄 ,`ZxUss 42("A^OV(ԸMaCl*S+_ܧri3|vlC^8Q5a0h7i){nPP hV;vђC/S~(XXTm'"ꔳ$\r2wו{wzOK^ǑK>mf(J8eVװee;&Zl_RPUb oϥ%˰D̆SlU^ . d\,S~y$3"a6-S;ڠuqĄUm7h"wKëOu`]Dkbꕚwjȣ!"t箶VnˎWA8*2!4%&85@GM﮵qjڈZ+su7X*^ܫ8U7X9H%8\*&MR4vYR~'SCK1=dXk3Y4Q50G/1G.@&zʺoeMPm#Y$3o1|aUoRLb3 6;ROA7/0RC6' pjv1 nE\CqTѲ賳ч6,S^2D2e#':)7 Jn)g6:lr肻xACgʈ"K۝e =r <<fCu|YU]SQGDB 3c @p|^y5-r/,#Ctnz|8sWڲqHbKh\#'op"o2ҏu,n#M8M-bd/Oi}׍"ED$ghycp+vc,Vᗽ#s =+ wh *)7A*qA_LdL Ap߬CܨTEg<mdΐ~VomAGڽq kB4ފc߿Fe ӖOb#=VF1o0 ?Z#? x-|۞iMvLD$T0~cպ6y3ܨj"ե G[)e/Gnڒ2v1N8? ט0OZd%5V#]OD-8I\i'h+LKdN^say dR`XsxI(ǜV /O~<~F/ZMHe2 ]qG`&ʌZ{!Q|"ӿLI:h\Cq{*'ŬQc/˼uނ}k&|8PRlt,Z3R&__ +ϵ2$M!T)8K`pR=rFpôy`4'u0QU$|CbK! GnWk'nih /%OkSTwВ'g3fMf\xT*ٰj2RD\} l,yjIT,aCnИg cދDe8)55ZJ )/ 5gx5E0PDj(/\phe "οt'ߪvz9 Xʋ,eʙ9?%[wI=C^k0SHwrr^V؄uag-0,eh "֞'( *g"K(!xr{Dm]0s>{_Ca\4Sy y }*PvG{Q'ԃpL崑՗b__Mwھ}9WͅcϓkDgWɚ[Eq2UД発SfҶy-|Gh`q/'>3s2#\ܞS8VC@c"Hv `4L=!6#,7h DE@? uuTm4cB&QN`IЦ`J ~OBDFl*%^}4.:zXbՒY̩afkj3T /t0)f8>$'(Ԉ#z 7zxJy^7.aǍW Wsڐq0JZH/zQ-Je$ z3t;!Y݈Ym1'F|b2w}#| ݙ|OOρCD&v,C"wJAZf#/U A^}e c57j !R TA!Elw<-ؼ$8qt:p⹹oPcEZɆVIzD :+PY2BRAY2B˂rwOum|3K>}?j3pbe/g1wm:i*2*~m +`+ٲ?j%Et-M*SicҀ^N¿ B:JUi?ِt;7H} r޻ǯ7<$$>{$#$ȕ/9"FMY'Re{^{- q cYk*r.Tӏ796U5?T}@ -6zMgg+HO:DFnݢxtԺl={"sBدh9HքTVY;)>AZmE*UYFlBDcջ?0vg<åsxJͣn!y (c,3Aԫ[nD%@d$?6\UFS"3Ի[su"CKѮvuNr~31OPŀL|g"98G^NXTyESMpvˀ } s>bp>5\ |@֐6h?y\ὰGSyqw Mf=&юJ@SP9]]w& u` ikY1W1UFOUN]K=hĎu3jgt%;+*鶜kj~@ v}eރh&F &$ZxTj^u=it=T'1? ^, O=V6*h (ǁ@a+M!6a)uutBkI $~Ԏ3ԢybvU8)ߣZUKK;IuH,Eʘޝk4 0uK.n> #f}R4Tj2x/1KEdBKc@[o4mf(7&c&Ѹli?t3?xU$&ӻV#avD/gvFzlYiqqeMuwHHRXTɝzWw#43{:1;l?Mظ-lDW, {N~$>ŰXֹE>%1>1WM8.^ \Qp:E0dUl(2YvU~cE?ݎg`WrH8Bo&Ee_Í W&cJ,hFdeʚYcK:Gx/B|uctFo{Vs>VP| $plA Sf)xuu%iE,L9 )i )*}'1koVa(1#ʹz Fs[l%g~ 5 ?f~$+*7L͂˩OmQ.O*ŅPRCySs+׿&l?5} U?YL{P _o$m`2#i 5ju ٺͫ*޵^b].f|13l+q9FqUkwi͖VHZmzLn }@tݰp"Y%䈦 w ?c,^#?"tqK`JN/Fe压9u>Ex@3E{2i,p^=-YL(ʞ2@H "5fLB7LU@; 7K,";'z)H8R)[$BYsyڦwBAgeB e|Wkc@nVƽPU%S#*!6!^ 2@VBY -HF_0IC7vJ+,eNVpَIDe)m++5ohA`ȗ8>]ݒ۫H6֍ojSk>Rˍ|Jj'} 6)prOxCKCJ*W#jy>na]wt|&#ZSAT.TlC%2 z}d 4@]_ZP.]5 RU͌bATΏEDhL֓uJWGr5GB<t^NV('՝n{=r)}sPBuj|n )i1ŭPm !eMWҼ>{Zo&HhȪۑ@O+DOpvᄵD-90MK>cL7&7$R̿[TQE{PKOY9Kfcu[!KR//&>?Է(1 S΁{8./ ,'U{pOcG2Аfށq#;wb ]&@+$ 9K϶qu~CU,CF4Z=ķEz/#ԙ`lѾ0dE' Z?>fR‘ͅtIgs~ASjZľXr=2erkԄ8Q]YTZx[J0#Ym<.FIgՔJF%al]|xbd esƾ<mޠ M^9]*LG]dX䙕x`*yEvej(y P#DL O[ ~9#14G<6Ha.{ǸЮ.@X/F'?8M6,oRi^^NC(zڎj2PZa$B st5N_<>QsnVz#`t/9M{W7ASrdg]I v%0 y݅eL>m!;uLE1]RR8m*76\^ZTؚAXzRK@O|D!&o |9KKzj)B`Ȧ8uǿVr }b-Je`$QpI@D cIJDYr(zF1ۺ Px *"&G ƾ\sCAǑ3Usטj ),4fcj%`h1;1J,׆HEhp$*߻H4 P29(< o5vH$~j?Dsa"* ;ynJ4QSwېV ?픐x`kf}$}vLۡ8[k_ua\"YRN)ܫ4X ;PRU, {{^4[Ʒf}h~$9P8j-^c: % EzaeQZ?ƛS]@bZ$~lj6C#._kKia`Z <فrg5w1ӛ#&3M_Cjz0ut ُL%>,ˎ#-PyZ#;,UE%*~j$T0Gan[b ZSH7\pIơ~dW_z}Q@L=x'&,4Gىy5a}S\?s~Btv*4n,GOG1f۪Oo=n eY-Չ,Z7/);>hC&[ :sR"ȕяΪJ!Ռ}%Z*.ʠDZmkYC,pʇ]s.Dt+ib{/k(ЮIyAAE݇=kzg63;z1Ӓn,WBbX$t?f`qWC" kgyFnb#e89Z"N Ժ6?h%pnBrN/YCﰣDQ_8q|6d/4 f\^>x]c1* `ŤFgQ H20^X.|̛sLG%}K2y'IM%3ٟ_ƒp9Z`/-!P"v(4 &r %%]~!W2gF02+K ֜=,U2 p/r{<,JsT7Y=0/۝!pGFM'RŒ<[ F 8fn)!Ep:ckX fcڵA7ߘvYSimy$|;mc?k܆c>'**< 6TI=˫&(m2 8=ʤđ*"ZK* 3L,)ߦ3F,Z1FcJ AA7iq)k܂gNUI`DƠ\]1ac|8lM[P/#LS2ir{]$3.dea 05 n{5m PNaP^2TK5}u[%x,2DCĩ|ɦ(W#gJ0{HPWN?Z~ ٦$y:Ua,Mȳ2ɩaE q,,ţF6 -)22js}kgOh:@M'*k,J(<Ǟ5X _oU2(IJ]Hx|`^v\8TkW%Ӯ>paUYޡC@GK͈/E`R+Ÿ S M|K .F^K2%jS 4uQvPd̿>ZL(sh ZCt8.=$QK*g<$ )NA Yh:Wny~ )tEEX>TPvL|sM'WOskLygDDx].[FEgJ{ ģ> 5S0m-a˦|l;a0V ϾW_zx,Q3.5 FyƮB.ӄUu]\"''z oCa6Co mBmXwHaF@Djg+QT1q_]s3p@8[B ##R` 8~sw!$8P7\WVUOFRSȥ[b4%"Kh Mԡ펏GuB9H%z2E%󉯮q$.en g g #%/,u'Y;u`4a܇FiҾNrظ; YG4[o$ v]R?6gMyS + }#8m2.:iXCnq9&hQjOt|ߟ4jNc#eqħ}!,.quEI /Ӆ/}Wc{cK9>ڹʿ]n#/ޥջkMrg͉q f8r[(1%4?',E=M ]}j?'r\ 9"$g0ڮh>ۂ!3ڽLs65uI@j$ȡ_w ] G eu'01~=v\=љZd{BGJqgWD !/HK`>qIHRQBjcWsVObt qs\j&|{fs=XXćRIq0pHj?wlGPy4A:ulxzH^׶ϊX:PE^lW:>EsMѲȺ3U -Q1B ną5$'lڋk@Y].(,Rj2/J\O@%gz~ %8 @,vaߛΠ651.IqO?ZTA>S2$:B* .s8"iEd@~ڈ&/u ASZ=G?`d ~DHl:_p)9n* x'qGFK0īf%SKYHtScܷizR]r;i$\ $n鍒KTI{DCO Uo-%hNd5A[Ҩ*f Lb0cΑev൶@~8iv3^ Mpu*<<޾ZkEj@6"B h/ȗ0NFY–w!u) 3_|C販6Xu}6p#\^'w\U^]f p_7:Z1"ۉe$`G"=?e]*(ܝ;-j)|rP)yOmJuZ':D)<@թÆkNO)J'oYKAL^8ݧGu/FKy{9Iۉ  }3ti*@Ufoaq3J@wk/5`Yi+rHvPePIz?"p4YVl',20QS?YWOdTvEX**WTfYW\h?F'ss/JOG׃?VOv.& Zid;8m0x+3kV#ӮUqƯ^q 8f3&~)1Ov@)\K֭Ppិ32 #IGZNytdY=&ᇩ l+v9xq$؉G'hJ@"\UKA1!M)"J p#J5YʛiRApVx~]BțAg-Q7MjXQWvɳ.1܋&fC_T9+2dQ l.| xCޅU*Ylq}n u1"^8V8WR0:YVQR[{ڥ{[0$;b)q~Gۿ#gn*Yb!f_t'nw N0yw(K::IQFG5wTlU+oct$v" IѳTuJKNEf޽L&Aen Q$C'~ ?7ev:> >7}%B[32}%4?f n@# 0K4s-LL]n"~n?wGQt~F6w x%{YaXı1`lˤi)Se1@aFd[ۊnvIdv/yƯuiGl:KR[=򢸓jmU S ˜&N!Ji;) ALݢ P'9Mk,QD R9*֎,Ƀv1kD9+18-./=G9^ ŕ'6]p?utߢA3XtaTS9АB镺_Ѹ\lP% "NxIǡLq+a}dwi^eh@2P"I Ʉ4꺽g) , {fh%gx/9aq3dx`J0 .-*F/V i=ZTaY,BXEXS&ufF),MrFnjO}bNY(z`C*}ќR?T, GcA./( 3 9XSWu?o8˱HǴ9IIv%7H(1s"I>* ^LdEv$E/_ƟׄP y dE26̣꫾c!S\wUb)JSj_m%mTIRW'h|u!B*;sCHvnt( C)r!*7z}g)vƬUm z;DO㦃 oq-Ar?vvQmCa7ߡbBN=k=Y'oY@;cqQ(.QE3N)ѻG1Cu߮% ’eoDUfFEQrpvQ6{ SIeQ\NwSN@WA͠!I+ R'Bt) kͬqvYlzHe zpF'|ZG+](B=^jϖM_oNinn罔h\ܛϦ+uB@LlWX r @TOv8nܲV8Wnh KRmMu_a2hN(ӴXJT׸$W Nw ;Fu|U3;D9vyJ&>q)ݰl4ӡBLhŘr&d,[)_[8AMwrHaϷt" l M{ ]z 4R>VB(̣u(1N q˥W ɞW*q}X.l"I*6"ѥ?(øln.v MEfQy+eO&W@9b@V|(#_n9`.cueoh3 t~ (/'3@-%ϛMUMUgmw%^ UR|Y ީ!RY߮BO3wq*6K\'OLzvDwQd1~ ʗ)lF(r㈕B;w221%R=:0г=} N:& hvÇqe?ee8""ڃ5$8)U˳1rniM*#j:)1]u &۪dަ@U#J6 ] pwSLN&8O~ZE7L[8+DRRKa_.9Xt&Uhf~4X~p]r k6SkuJ ^D= ^@vfl[وcwH[uEa0;t{u_ P$š\ ^2߱Q>E)J?j):ȯb"Mx܅"kه-<'v QRa#"5{X@ɺ쮍2Mhi1BxE{ Y/ ?oo ,|v'E:dZTx7ӣ~Iod{^QG yP>)d9ʘJz2> <:/wߞa߽]%9"jfuf-2D͑xey Ö[Jjh*Z N{qYe _oo %WˮL,'RIfsֆw7^< ,V>A-s7u>mVP{1$^XE(q`dʋr' Ӑ?P(R(rȦEmd;˰*fMBrĀ.}ZAWZ |` 7oHvDTC@zJ]Y#e~(so[^iwD(cS'^7:GwBzvwais֒~}|j2yD HΑҵq湫޵׳JS꼘`a! 2UO {iBV# ~-' 4{Gp F`lmYbZ{4ºHyqx-ϖw4Ӑ$pn7nȷF+f_3$DB fE  R}ٱgYZfbf04e779e5b9b1090edaf75313ea43ab895db9478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea aa7bdce9c5315f21ccc735df88eadd569a6dce0d753c646a13701a1084e0ebd7c182e99a6f8addfd