SQLite format 3@ + .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 F9~\< ] HOL-Datatype_Benchmark:threads=6elapsed=504.315cpu=1834.613gc=713.3517zXZִF! 4f]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;)P]c6{qO9?U8!4H#[ĕ:ɕw}a=8l:U16d/)ӆDDr<V)c%vWЏQInRЬi5O|xB[藉qEmD^iR26yf޽NJo(+CI,*#X"99"Bjg78|GG0a%v|m ϋa!l$)*"DG$?+p3ǼS2-R߾ ނ[KIԀ/N.K\N`L/W|cu2ur}zMyh ْ8x*mNheC=LGGYI#&[ =`=l4dJpCVs7ƚX?iws ^@H!JZJzWxayENB?Q@Q&sc i{ױ7yŐi>eq:(5.$ E{m`|wˋ}#)v}0*|eNe'H']q]xo8٪wxn:;傓ڦ }J#UZ&'p8dղP{'ۿ;DDmJ"/ hBgYZ7zXZִF!  ]ŗXiɟ1)*u%9=+)S~D ;pMKX- HLq?ZiPeG/FWcXPqgy[gYZ7zXZִF! fo]ŗXi%B1؁5ol&̸-hQC"L ךa\|?z\|W4<.ҌD a%M['tfTa*uDWǵ;kD<; XbXf[D Lϱn]3#σ^f %~qq5z/5KK< hy}_V>GN^;AI)^ *{/f{wQ/$Ģh@\֛oLP2ZCg#CM}@t'3}? U cd߹edRhxF#\ Uc4Ȭi} /c6z||H^Bh(H'Ƿ؅xxoa1b᧯Ssㆤ "W?7xŚRU< st iy>oNI+x9S{SY Q;z#g6"M-!kjz+{~imB e,S뒲i xAsѭI/X3D˞7.;Z4l;'q<6U~;lĈɔ{ !2t ,_ц}㋐DiKD7wdG!@<Mf#:{Jt[v*Z U4f\ ra@>y"x^Iڮ(ocya?Ԁ J2V2LC.%5c(8w?aщO<'@8f~OIV'BvBv0 QI;rJؚ pSuH{;cxٖ$ 9 HOL-Datatype_Benchmark#"9I) Ns`*x5_0P?Ch4 =j%6X)̘)wb9kP ydx.^J.2D9y^mGҨt"kx}1u'}H_L(f>[0u״8wwa\QZ+>ꞙJ|vx=ЈB{ H#.~W$}dZ=y _KJ@ʖ1Qy%feנ.lYvT ןܰCA-h0}wcQp]qm]w}ˣbEGlG$ D}hWAy5rH*L[߲ϖ/8Ⱥmd=LTA l>=ןK ĺn=T @ hA6B/kk`O^=XL< XdG$SQq4V֡~hlK%k.2O*H<dw42Ur/WR(ª C翈;?j0_[s򧋼^ҭ2.j ou\>SސTbȫ!BusPvY`(Y֤W+ŅAPO֥LDʇ<`pԪ` Scšc34ː4zAmc{2H6#]VqqeI̫ 2`wHigcU3>a~U[˝{6q# 9Tѓ>YiZ~Ek&&D<KT.=uVHձ@RKҤ\[UA}uNgݼ_B4^('8]}9愹\݂_uhik늸Ep/+SL9d?v8DGA,my/:LG-*78.TߊITU@C0xgX 'jAvFjL~RCd%*0FD;6Lf1 1g'$Bݓ8cG# DO u3ui7~_QT"K|-_+3kS$>#6f v/e[ܧEK"l짵\2y`eV?лvCrwdPO1l|}0MYD{]<9ntO?AOF;TJs{nz{ (Qzea6.|gL1] Wn=iz{_!%taghF.6LxVQ2wqǻY;{ZwZkt_FߚzyܲLbݥɂ4ik鶀b]>2aي{(J̣Y,-HRf)Mt6CYv'IRӽz;H0|[&T_OE aZ[uy ^8V= ,ਁ,;M2P ˙{s婮9._Q)G% #d|;Gwnc&FOB K9T; ZI"*΢1fKQaT g(U7R69n]묉Y R̐4~,>_6I_?J@y]湳e3GyWS"EX0" u;(_`N l' AiyݖK0.8Kj;:ax)*2PP|K8(Zb5ʗa8ޣtY6<88P:Fw4E;uJ5y;`aُӏ+W$^-MG#HukvS _2]$[vWva93 2김 %M 1,uUм>CSf.#ÏSe-xnRZ^Gbn,]u4SZ__ F{p‚tLZa1~4E٠]|ıDF`qf +> I 0?H78 t%9>M$}O[v߆T:s8#?q?+᫬vEՙ9{,c {QN]L>/W谺Ջpj> !J[ ZiRɜaJ[2OM=zUҨP#0P@Jx]q 5>{JaĈ׾4Y%^R\'!&Ăh O}Kqج:&=͚.W6 ax*}*D$k[G0ϑLM7a N0T~X8@E H\'W8NeҤ;keOiB+7Daa|DzV-)@M"@ Žu\Gbt+XH:HN+^5d8uEkǓ ("0l^0ݓ|JH8ewt;r#KSݤ4쓧^4&zP)w2&TE8 i l2BB!P`TfHj"aQetV#떏ɑ(˫M /P-C^ym3$Pӳ:X12wρX4 Mul'o//>2*>g 30eZ? $TsN?*wKΆWfxSH?x"GCC,q8H; CAsU7 yNQA\c}bsΑ㷢.Wj=#h*5p Nv~a+.}jϚ Cux4:ZЏ5<+zg.Օ. 0|Cl΍B5ws?p$mҘߊʀ£c1rJw閵s+0Ș_%Gqǩ%2U<)wr3]]LthL-Lw8g󙓑hq14OoG{x[Aמݞ%7?[xh6v(ijQɮ8mr\cl_.5& Y.gn*HAE3X?lj%cGJB2 l opW!Aѓ(XT +^$Y!d-){g\x@LjW@zx:âU[-k)uk#} & | 5aaEu`"'؞-M_GpfZ{J^fN?0y:I<< zց6GotCXyi|uc>NnoZeJ`{T8?T:C 2{^᫮!`X_dgj5Ra)]sI~2O-@)iԗ^ʘL*㝲zc#r@Ҧf2U_Ckn3w97Sft [o) xI~ǒWY9` '2%$(ARinTjisG>5ыuOjNd5ԶJ8 }1lG8|krV(XAY:$dvU$ڢ}4k8} g]k;& 0y/=;d¤FH?FqjB=Er%+됾&n4ɀFM ~`ԕL{˟S_6J/؟H"[L_n Z۶񨻯9gǂiZRS_%V]oձ.9@q#P 'cj:r- qx]r(ygOF,O!p%v~s܂Dۄ, Y(VI r-yߪc6O'‰&nqMh)-%3@'p GRކL|5u'oKk.!6+vc ny>|$5-bVSs׿Tm|vas@H_wsؚܱ D!r֡ ۯ@_^./3MxdO!+뻶5J|1~"}čN4>'q ZJ`;W#Tymw~x5LЫF*ΫS=oIOԥ~Ҟ^rW)S Í0YyA_g;%`ܞ+E/Q;EKlSPkUo 6uOV%QfjպziOÌH!\U\ dx" v Q;w%emicBԗnq~%C= gOVD&),،۳JA gɹ\_x SYJ ք)wk1Gϳ3qsox]ۧC-= +"IeȋpG Kiǹ%m+ +%ywRo?%[E#VB\AC{ 1/H]Ƨ.ЎIǕ>b8 ק*?aCnŀ|Bv 0XP1Vd7U6B68r?/9ZFҞ;@燶*Puhu͒ ߶n[i_"QY{DTt )\kqQ#&/⎗QF\2Jڱ{7qbOz`mQ0C=LqSx(Y;t_y g۰Nюg?{xZDwy 4#-<7F͊,7;Kh-WLK{`zj/DzZBS)D]&/לah= It>j?H34,xڪlR ؛Єű1:ml:O3өx()(\T/X/PG-?ϛgFi9uw߱+NV$tQ{9c^!iq o6> >6]}t֤ہvcn8!h6YN/l׋#*kɲ,*Q9 Ʈ^NRMI \HkQa 8$Kr"et8tFnJ 5(cR'`2la+iݺu`H}=pLZT~'`Hܘ97SR;4o9kN(K 0%p^6lt^ ۴`2W uΎ2k_zYRjF6Q9u|/ˇlZ!E4 4Md?Xʣ~U vOoa;Q6v,5d)* n]d<ܔT~z`" [>iI\pɅ ^S.׬cš;+~"Rm(x /Z` &T\qXOcPGf0;/x&K4U1c:M ~X-Uy>J+^% jVM~6m 腿ә tBrLqdȊ폁EhT䅁ȿJw,wx" s?0\X,$/sN1ݒ(XG7YWm|nλzWsփ7ˆn"RnV=@f\*W"?utqy܃LQ@ga)}jyOHZZP6^#{Xg2"_"kPm9nsY{GXr3=罘aq)3L J8-͊>`hw#upe3Bdk"iR|aELX6#8?n( +_č[PqzKf{`m|u 95$NШ!INn@;B+G-k.DF1I*83.sez-`1 59qOn~^ GP`޼7o;c+4.йLsD;ؒ51clBͫ|o;hRJ 5jXO'eV7潣>lXpYQ/@F;Ixi|EB[^!HI G;4N!40C*\( ҎEPUpĆp5jI*@FGOU'Mt$b_E 0>!&[Wf~qXi_%z((T.iy֮4b D \uDDObvbR2՗"k&%>Q :ɥR>(%WZ:AؖJf <{:Yϥ?k1|$ُ5%8䒖݌Z'ٖ %RZޟ'MևpE=fO!Enn>*JřEŠBZ( |0EБf,PjL~j=X$'7)8~UBnQPd0bW@/烐/igּf^AA>Km{ +y{}3iUXLHh.t PVxP8%9n]HK0Gn\+^Ma`p  s0}.(i.:Naa~nG=G:{}EZ F_{"fJN1'&" O;֨Ф +p_zV1|뗉\7QE:*nݳUiWV9=؟ nucpCcSl8ZWF0_?}acQu_ Rgr?ojNE?N?HVɵC{2 ?|d > gRtW(]Fx򂅍}徑2mjkXŌI Agte"=NLnE{f5j[f\l:~o2.}UvG$3VMeB׃&8wF򻹋l8~t>hP?Σ-te&[dWbXF'; 7H697HzglrOT\4 "cez wpi_{y&xJicYD€DWh806r*=ꀡAT::SeEuH ֫kL76gSԘtboߜwX3 薰"1)*(ҒsWv-С)q߂ pK)oXNW74WL.6,Q_#UFa3'^Wk1;;0v1a&%5UI7zd.K!JVJUQ+o1@hS3۟CT]J5bn03)Ktz2Ol=ҫo0'ܿѨU<+Q`* jjes?eH50{-f0n \_12R[8Ņo!=z3,%+i~犫HBP Jb ˲*ayBs<ez)x*qNHJ| W[E>I=ƭ52kf#*0UUyoTze}dI" yw?L(@} ,[& F$8AϕN_c!X-g,ϤOr!J&}P5F __\1kL5UIzQ/i6Y+$|,,L,~`ѐT[Vtc% queD"AdVarOM nsa/&Cui=}7FIC :ܰo>B~af@ W9lC[p۵:݊4_. 9W 2\%I*6!Ja=vdZ3y^8ںwLXBD9lQFDlSG}0-xo*=[Hep4vyOvtUָOG Tz*O#c;dM!GNH[, s QΏ;0/;i ~_su<Ӡ2`Է:Y83fϖ͗պaQZRaNT ~NuH6d}J]imY7wA>4r_Iih!7]M3HK>t*OQu-LqjQrxCǮ"R#Xo}B#l_9`dIR-#H1@̈́$.WBU"HI?lE˥!i7O.,J9MXcOIސDJCh{UZ EYk-nա:=!袓uvD泦ϟǬ`x˫~u=ݧGw XWyx!ۄ"< EO*w#ո<-FZwB.)f+ͽ2㞠5F"6c}]K AREy{[^P-L_S3ɥGl|#-)ku^bB扼sIF__684J]4,{r).$?_bK|7L}M"gRA᥾vA׾czߴ4 Vv6Ŭ)x]PIUD ҩs^QRM9X]Ji2 s% 8]R`[9$uPijP?B˻կD<,@3Nm ≖U I?ސ,C[zfd/+ȤOwMi* u8U`qAVt?Kƒ˙vf[YQ?ke gji5 S~{;>f9,~HH ovnrAXLK}lRX.3JYg0.5%dƚz~a*aB„Q!Ϫ)ۜ(3H]lh e.Χ[t'~aׁAw%p Z{SjHDHv?Ȑh:&߸%.&,$RXNINl࿅ry8 K+?.+@uyJ%mM $oZUAѿ!Yre]UݶHR#P%',!,]qH^kɼαgYZ [["9I) Ns`*x5_0P?Ch4 =j%6X)̘)wb9kP ydx.^J.2D9y^mGҨt"kx}1u'}H_L(f>[0u״8wwa\QZ+>ꞙJ|vx=ЈB{ H#.~W$}dZ=y _KJ@ʖ1Qy%feנ.lYvT ןܰCA-h0}wcQp]qm]w}ˣbEGlG$ D}hWAy5rH*L[߲ϖ/8Ⱥmd=LTA l>=ןK ĺn=T @ hA6B/kk`O^=XL< XdG$SQq4V֡~hlK%k.2O*H<dw42Ur/WR(ª C翈;?j0_[s򧋼^ҭ2.j ou\>SސTbȫ!BusPvY`(Y֤W+ŅAPO֥LDʇ<`pԪ` Scšc34ː4zAmc{2H6#]VqqeI̫ 2`wHigcU3>a~U[˝{6q# 9Tѓ>YiZ~Ek&&D<KT.=uVHձ@RKҤ\[UA}uNgݼ_B4^('8]}9愹\݂_uhik늸Ep/+SL9d?v8DGA,my/:LG-*78.TߊITU@C0xgX 'jAvFjL~RCd%*0FD;6Lf1 1g'$Bݓ8cG# DO u3ui7~_QT"K|-_+3kS$>#6f v/e[ܧEK"l짵\2y`eV?лvCrwdPO1l|}0MYD{]<9ntO?AOF;TJs{nz{ (Qzea6.|gL1] Wn=iz{_!%taghF.6LxVQ2wqǻY;{ZwZkt_FߚzyܲLbݥɂ4ik鶀b]>2aي{(J̣Y,-HRf)Mt6CYv'IRӽz;H0|[&T_OE aZ[uy ^8V= ,ਁ,;M2P ˙{s婮9._Q)G% #d|;Gwnc&FOB K9T; ZI"*΢1fKQa -"UhW ݊:Fww^At7pwIqN lĊBaΓ_0jbRcs] rr͠dwpmF~QpclN #\-;Auotetj97PWܩ),*D N*[{[~, }_P눌"x:^+)fڦuۖR<ۥK>X+"P‚iWTy:ǏECDɇB~ZeQt#ycQ>RaW|G- !p8d |3 FHHZN0Ჽ+ GPﯼ Mia> Ձ(&6J1Ap vK($$Iv~xkb?煆^,T#'!}E^IUsl=`nO4U8!+*X? _ AM6c^x'טY䡃vbʒdԄK3.Gf1JثU g~~1 s)bf+Qi`i--Nʻ y1L$% 8UȎ`ͪavH @}(va)RЁOߧyB_l1M>H~+-:ATNF9w/)Y!ktP6QPj'%-Q{ĥ_"?#OUC/tDڧ5xtn%Egh밫wy\o: :iGuAn^釛% 碂>x?RVemjaGVE6L4'ˠȤyPm8-iMr1ۺ~JK7ؿ@lHհ [c6{foIdaGO褞~N,'\wq:?pȐ3Ƀߌ8ш 'gGۯTn#f鞊suFwZx@^vtor2pۍY_ Ew (6KHX ΆJ"šϯX3j9GЃ-Vh(a57[ϜI&mXPXz]:4?U:4玿h3CI]â 17DŽZ; =V iF^ "-xZ|Du)W?c͠s&w֟d kWTJ1(8+PK J~PiTxӴnlv3/R_hUp$ ;䮌܂J=/iǐZ҈B<9wA|J;@AC~M"lje~7,ѕZJW?u-fh<'<%g[i;WRl\g tҜ^~VCD-ZgXcoM#(P75~WٺBh-f(@)`hF~ALWl{Y֥*O"zHGU\~^1ȅ/4/O@pJ_tKtGZe´lN$M20 Ф*Xh*7uՒ7?dj-h'hۄ}EѕJ&  -h!,ڥvכn?E5/ sNR׹\;⢳ :"6$$1Dq+%m( PMq-6C9–) Rc=b8X't3tJ2R0dnuWs]Ϯk9=|7 iNF.4>C]Oxk[i"iAqW U E΋u۾PC*ȧH](R^G}lnGޙ\ [ìmHg(^$>`ş+48j6de+- 9eys{1"L/[Z5^᯾ j{|A9z>5"<CLK*'} g2<a^u`ƓDf8.8=Z9~% %;4oyzS\J}@L3SQ3\k`ryyQgK;x /-[ĞPeDŋXЦ4@ੑ<³`W%ν¾_[3u"e70#ybl<;߱Z~[7; P!JJgj]ݬ^Y3ʷځfd $aE:-{թ⯊R^lҌ| T\,B 28m"L}!]JP6.\JB;:>H&D*,2:Oov~dPV QnMXڵ vQ.:6 eKkk8F+Spjx2btH%$WUCI>adNٳ&ظJ eY~ޟ! HCqJ ~ke\ӑխ-B+kOL\h쮔A^pDc^C"z76I# wXm/+ Lb-^%Wu(p s`!4Zk[(Ε?>+rfRRSs}|,/@yy:6+3qVQ#e5'ZcV&gǛ-QI6ebZ|+iXLЬttoI_p `oq1ܜ \&EtyPt.>Qa[$3CfRD&Ԕ,u6%8Ua4J.T.'1|hyWؙzQJE΍{ѣ]h=_#p78IMāa$HV"tpz%xk9+h>F<6gΠm:1nȫ8.|Km<=q;Nqs-Q d)*\į-b#n @P{v}5DBR?1V8, $_Lf^k ;8#m^ 8绢@נGuu~XF;Ilk7 +F^a#mХ9T/,*xăI$:eZ1AYAFXRħy|^Ax}(?_Lz]_n`lxSy:~*Y{J-uB'ƿ7Z, sbdhF x3gGBk릒5^ S%|^eXʭ敬\\5߭CnF<l|ѕl/?f fH0͏+/G< VIc7*zQX5r܇@?v_$0⢶$;l(Lq\d4 +-I2JB*Yn⋗LR74Z 9;\qh9-86v/l5s&ֲ`8eRN%7嘫MY)yӠ`=noVRAί۟CV M; TdPwi!ū'fwo fdžN:g<(4nčr_{V[֓^)~+}b8 se1e\ c*F0lϸJ Y@5fd% &zցJoZ :auZCuߌdd+x)>]'~l!|¦^g9?@'83&XOVYW*4Z*'W`zUxj{wZڧ1r-ei"S.6Z \B{Trz~p29Vsj53%œLB>1N f<' V~8F%SI7_Pʗi2#t@*!MM]!r^ُ-ՊU}M"8lbjWO-r31{H_X> GFDIN\Ͷ!!W*PslX*sFq)Fz w~R}K, nsJYSӑdL];IWs0 {^_m^A},ɸ<ƚlI+A\g-рx{lɈ ?PeUdT "./".!Zl26UH=?M^'-DC<\O~6Yc6PGM|Nl_i ",%zVb/oKVv.g X/9jhÌ،`ȳXSb :lTf6o@.0*c>L?@Rh8Oõ91Du)&Eۺݿ?H4:v:_ܬC)S /Cv4 /VA*S l}q?^~7if)5+%W{O>|(~wٴ7-PrRk=ZxR0LLІ‚724lh*r[֫k oC薮LPQ٠&t8!|Z.~N~\6Pgh_vmFRq)n#T# y#{wW4:bvL^(#B湪JWsdI~l7(VNG$T8k70SZW ͻ\:ؙ 8$,ǣěxr{!nf>d%5/Tz_l7IPGiJ~\W #O6frL7,&+oiJ&/3m Q |be\ö+N;81mMvbt T0=M0헒~{T68Lsm Gt2LOF03uŸ=pihe^yh3x1at; j  Xj w1=9Tvm!&%n1OnR\?D%?51e<M\ !qSܕf[s&eҩe;#/Ң>j:r-ӔQZLː{Z4[uP3/o~:ĖS)x!OM>$5 gmh`gvq,ʘa ,yxG=tz-99 FQ8&GI&q L']eOZ(}lCx 1FOVր 6@"~ z1n rͻ'6ïk!- fsll)ueZ+;];Nw==dBB&BQ X,'`VaoK/{8KFrSj=qxXKoNWC՞cf[da@S_+XiO+q3Z@?U.z{PΆoo]DDx~coۃ`y>*L&ڙ,}8aK aa߼\hUf[Y"uz T k.o3BW;a%iرM8[1pstPٙK 3 #d"~؊=(i>[/mЋ*{3;ljLC?ə}}0BܓFTJ=RQLhI|[ @?((R/& ;.ܶrA0؇TU)i[w* #}sM9Oìp+^70SPfHABRUYa'/h+~_ (;cM-'ϲkoδU9s䘫y/D}`B0_]"έl~T"HWlxrQ*ژ<gţt7aĘrbq@|Eq?pvѨ,BBt[ !Pќ(9?W=W\kn:)@w3ʟZigW6B-aOTvȾt+8? q8- iMO+1Nc`,MMR>+ G!.?΋3 E.]T9DPR#,;1wVд6LĒ_(cg7sC8 OA^u Ksa2TvOZ9I"h/\kFyS%?L aƌ<)0R+KPuF>ƀjHtYo/њ[L!W8fIP qKif5@aٖMnSJtO6/pVʿ{z3DHWGs\5/k>~DlaT~`ײ,ϝ_ 9fُa< n)lEߚSƬGYL tkz]v/?CjjguXsG"B(Ī:JЖ]}ћ=@'RiZmXX" v',j\]#t,;݄L. 赆 Äk!-ef0?a:UrKVxZξ9u"I1 6ģ"*=#ӫJNH@I)U3% QuO[IBHWuvZ+q(w9c+htp}37ѷMLsiW? )ӕkվs{K56eK߻LDSNVSj N[J~;5ņsP|Ǒ Q$ ש%!cdtP L@>wm+5Ht7((9ŕ+5~ah==B $~5.n "01}_QqW(ER _Ahc˱+c|H.9WlNDQ [nzECSomHTƯl󞓭tt \L? ME~(Yu(gW`ؠ(VUp,Oyrs-+b7';gZb?gB﹒+|kBa`B=DdvêXWvr1ڀpʬ-!᝷d]ЊAo,=&a4L6bC=?}Yu(41ԟܷcQB'@g^cȞxB7Fye Gmv# E$zd Fg,~a~ݘ=߲L~/e)1ttZ&݀X˖BrMf:D9;AuahoL4Vl$Aĺymk TͶef~%?( R"cMڮ-)xdT`>hr2mp]FSMߍWl,oVkF^N,]%7w(csH]q{=YТiE~fNCJih1y m IEg5}m y:KW(Ejg953]]GX`W8~Qh%|.} #8%~WQ܅!u3zoݏK 4z$NJ.ONna9t++cT $WH/ KRC 5>,nz:jqyʬ\xvdKP {2 $f~+|O|HQH'P9~uB[ <~P$v|Z2DŽ Cj"T_3%dV*0V|L=oԁyjmHߚt~ G .K8a8,N9xwsK+- ǧq ܢ|>gk굟' (jSll$TX~ؑ >Cz,M=/ 'b=R_H+tw1O,4ƫzvRf3ƛc]64tt44cpء.Xd찄qkߏ 'K&53jITUN< T6_;a iPC7M xv#ΑH&O/pJ_;JoYUyܗ6%ҸK.΀Ba p|Y[ :,A'i׋n=A KZq9; F'p1_ /O.BS|(P8oݝ]c2o`w{tK {TO|="Ybh`\hZEö&]Q=M1mAHMxj[\i e؛ yqUCc^Hǥ"BKep'D(]rh@1*98!xXRGj w-EP Mm'8Og)dK7,!,,(}JOb xbUWm] N˃7@K(@`m'pÊJ3bX:{Aɮ;~Bq}8 |cvkokBo ~=-;l)];y+iTi/撲67{o ' }ccec<ˬn!HJQF맟MR SBI Zglf \h&3:s+TG*^oWgSOɱ]u 6&}Tk2K-4KjsMpPX`g?r-R\gqmK! KL{.FAũČ?]ߑ[Z6?v>`j?߈'a>scg,˪o | c9m1J2`ժݭ!4 Y33>S0Dr^ƁmMJ?inM*r ^D}՝fyhMѾI'i1\hH,v,|Et4 {|vJfEX*e;kF6Y3`emt1cnĥ,& / @ 9O88Zvi} =4N\$'S=.[dlhzH97_s|0Y9Jǻ~oy!z1 9F9ߘALŎC7a\Y'u&V]zơxۉ,|[BgE/Pz=B՜lqUcmOɹE }4)pdRxzSc~-F3r^HuHqѭ-|Ļt\#1Ni{m$į=@f:|/:x!J0\S~CyN`}N!,z CѲp1R#_J5MfY/*yB^>|,GD$ Qݭ;Rx@/33 a1Y{ v X5Sr= x?E9s 25zq<$U;9U&S҅\$::>] oϝvAC ''뵐7}lGKYVdMڃY=! .k~@ ;C}RJY20޾|q 1:o^0[/#nB$/eiM֭`(OYǪƞ| ^~pOxf>CD7B4mL;m\y.fuD G{*ku_ BŒG+`]_AX ]|ELv9SU(v/a'7֥&JsJg Fef2V{)AFt@4^|ڏn+D\3.NYS-Nzk1Q`xV78Q{)>OeP;JI ,eɭd,`g-n\v/,vBxl> &hVBykf Tl2Ӽ.ѕ-5l{U6JS>95T\ֶ{dߋU6oLCts A'%e3oUL:S/yT 5+:*jJ^ߘDQf8J^ 60'.| F@`ZY}RenGAU箙Թj̝τ)T1d\ÒS:8Ww4POs\:@]kmV9R3؏IW3xe/-*cNmAq *ϗ8 a`?)-uG^ iǂE oD›GN卖n̽yTACpA{"ܘ^p{ƬӔ^kK$< aH2j#@sNoNMBcB=t vKLK_Pr}̓RI8fOcLxDu've{0 yJ3ty%KT[cb,vSeznnm\ӎ($Tg8'2 c0:-\3uClϲp~qz%G\Gy$Š~lך"v5lZJ=J7<״C9[; |4G!I~$}j"f:qyJwJb,n|}\Q0 f(@勽ِ"ϱ>[V0Jk惙# ]hd؍ )+ǞCL(LX%iX_2X; &jM=:0.sMyoe QcɹD+6c Pe}KFRUuLd tac)\k bCk3[a5}¯qN;}<bk?@uLc}zQّaNV wI:naYũœЯѐ{\yw ~kavT+=Q#vE#n V7yO K rS}G5Z7hosD6cQWQ@'^lʥUGf<)}kH-x87M/'TaӒB~>< *5Q'J|M9 Bki?V^ص Vj3cayKfiZɣ_̮'a6,kX1dcYULU[ָkc ӿhGYd"rnٰc9Gy}̰Zҽ ӎ.t;^G~UwF%GX4v$&[Z򋸛-*]Ҹ|qfg#TrRNNV y%oo5pwZ2ó:S9Ê~5u@~\ۈުMV|aã"q׼' :z1Mjb6x)53Be5)*}o? RΡ+o :p!gy<~*4RY@2!vXټM Bφљf7'C[@Hl[)eκ/nHA䣖{.ѭ|B6X3qeW;t+%Slޚ'B G5op^e|udA.7y ӱ'ܿ}1>~V d|R1V_N)ӿM#O&X DYO,pH&wu,`V)?ůA6l_*8Yv9Nvw$:%c%ua 1ZCO ;ed5Hnڿ؄U8m+47pun{Pc 0]ʝ;D?mV(EӜ|C8UEI?I4K?#+ Y &anǓB+a\vr.Eɶ0c,x=Og^}CHY̠ <+L2"UʼnKs6ӭJu yFbiAG_E&2ϰ0DJa9M^2N]wT6Hib-)|(՚䓵UEPK\I߫Wk@3+ReQ{[Iz{ieK1-V[|#۵)=V(zSϻfmۯo+ `|&V0Zc|mܕfzߠ!a"㝮a\Sdlܩ9AzFeYQ~ HU)x9 ;*G!GA-_zyG;cD@*~y뉵p >n0?K !P.\[Uτpx*TQ- K"%MU?ed~!P͜I`h:yFK)͇dM:|]9Is"N}FBY,p)~uUs %/jĊȖԶ?fjҫ@RvPmluلs'y\&)TÝ?QV9g_S?ӊK4p(v8sȲ8Q ^U j@#Z.W ykLR%JSܬ#aݪ9F7>5#q@!ޤxZ\At-d0sjHDH>֓R:͊Q!A5PK~A_9oQ;VMԩ}rYXt.B&7vr\Q;sy~]O kq752i |؛ۋ8eЕo^o T)"ةΝ,:"%{Z9l[6 %nX ݌8΅ {Éڂ%JJNK9Vl Hwhi)bk.ļD!bW!9 )_R!El"mSr于yT{!oפhZA姖3&?qT"O(m/#+Ca= AyC!bvh(Cg3P "vs$0gIgLܲݙR-wm D0'MLJ,c1ۻpQoC ӯW&k/;Gme|d$bgA j{nQFe ȳQPŸAڡq} V|W+.oX2<51oGxFzΚ4 fbih:O?,3j(;3^EW& ѼP"F>("ZmT) =^_U7oN]`&fJ(ʎ8A`r p[6ˌ(}[kl@lhNH:.,w w51 `Z 1/<>V\٬3D g=_ud2Zb+:5_d[MV嶆BGfIFWE^è5t-gU~ gc1 9v](3Dճꄨ VYf=-B"A"æF~LpRDF79}y9iR%bGXP0/lehYɷT'Hy*p^y=K2gL:L-{2+V2*Lu.*vhgq+8'z|ZpzUiR=(;Y).4PgO*ڨ& ߶? 5=]OtPi&kmgr,~fŪV T˧P$ 5&(rls 85Ss#ɸn/T}3MRDDÌo'AФIalJqQHgr wb1FU՗t"N>&sɓdw/1a~ aյdlIvI؅WѩWB2 eLὙU۴e.xf܍`B çSsU][9/ɖQ⥴Odm*y4&z|sBz4y-6zƗԹ.%Q6m u!  EBV!o%1jg0--mHXzXy<\F0_ ;WA lJ`p9pxGl"1'|&4*g; iX-^GIjxemߜ,_h#%ჃJN/΃,ߘ@%98bC=P_ոsɓDxP;J\2 ThUy|ZtOG,Z\m=^bJt";>mrϏ*m(} =Kz7ғEta[B8Sl @-Y^ 4rU<7No&O}Մ׈$fݣ.{&`y_{Z]V(9QeԈ%^鬕wC`4ŮOkicDžRRy+µ%b^\#΀~aIjoyUliVdzۘo [Uʣ]@3xTGncA 'D7T$=EMcWު+YˁbgM8FmT?iY=u2N.`jٓn=gLrLzqzȵSMِhfLF!ƃs۟E#+V ܘa#DzG,vU` Fbh}KVc2ìM(hۗ֍F5r6B bq- ۨko)$cja\_+.W*s5",̦Ω '4QAȠE]u:X}/\ ɷu F'ơ],6 ȉ>k1)x-;WfwB?4Z6x[k*ԗ؁DwWI^ VQ#}[b7u+/o,,X"B>W,QÄ ~shZO`T-Ew y/#&5*:C9!x&cA^*G)k.>v /HiFUt޳h8us&_0]3TV!2W߈gXU~ G1V`+`¼$ZOymH μk;)bׄ>g,oRq rxu'6ցdϡ,֐{\[#1ltv E(U;[]4eq4QbO:0 ,L9E]KPADqNJknlmD`Q?Nma\eJN|*XLp&[ B&B]Rkb=[k0~mub^* -2Vτ6NgM$\t4[{YӬ~@mte94p~f*@VT 3"%6?  :Dcmv?uegYZ C Cu9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id516Z 9G) ,HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/latex7zXZִF! ZM]N}T':=Q߲mZwb3Kzd>6GBFؠ J%^DވH|HE|F0Ơ6]VmEĶS[|0Dav<g!O0[A@ݪD>;7urttLKkŕ".HfD]'3qdgD-z?rF7X߰aIj*RJXKfѳJq3Ap'#"D Ҕ=:5kr4~_l8LgjyF:!"Ŕ֚5-M8ePEm6W=,N# `Ae 9fjx좜PMEj c?8:|nMgwG&2> A.3T>߼(ĜZܐ E&#o(4U9TnVy}+['<\3~6Ke9~GZo8Of 㹁KM՘78ktHwIu-4~|(>uFM6"?n<(\H ًPevO .N kÅ0y.9]~D-\}~ Wk #dzmE[HQP.t;j ٪?|N\ Q潛J<|p:јWǬ 'h9_h+kٚw R/BEBҋ||SJ]:/t,0[uUc\97p <ȎxMȌ*z|7w$cD([k޾" rBcfӊ$vȏGLIԒÒd3o.Ayw^ФPœA^a]_ήP^ynE9K܏(Z'Ji@ʢ.bIQUjMA௘2p#,>ԺMֹܶFmRXޕ>2\c| VS9!,7 ͮ')!'7WvN PA2nxIj7"#)>VkSgto8g2kƐ*u{9buŌ!PuH >Ȁv}roc]{NP R$X7ܲѷ]VlR}Q \Di,de%uIastu m.{7Rr(z@skQdt/FHKtmemՇaײo]BJjtj- QƉqxD='l+x*̴\OQ!s4ޜ2N0~(;fTr-#P[eͰ`<@*"Ϳ&[90qizut&thLTX᥍[Hxrģpl=!Lw"^uEe!oSZ*P@Lp ƪyǥ70v8_48<ɳ^ZA'Oc.Bu*QNjnzi e`ܰ9T $u(r# @_Ho9= #j%X7h*p}sŝo,ImZ)Bw=/K'54}|;vZ~%\ājCÜ'/m-`U~&a}71ոγ2[Hg˿*rMNp\d[CZk( r~Y}j?n>9A |u`GB>t廙7tjrmw_/j~}JVK HZ?^5d%q3з&f_`gT!@k{!n&=9Y9ct<~[j.5|2@) 0DB=82@_ > իn#p縹=2.8\,hԎUԾH3TTJʠ$ZH&cpZGՕic~nRtCuDž3l_7pfH!L- U!Ѓ6c'qx'U[k`4=Z F3% Vxo5,J>n^Bj|҅ C6V&r=fxf8R|n_=;0rRlZmr}]E6oRؐi5 `qɐ~(9`{n0d`JM!N_ \ Qy%s"R@@S%*Xԇ%۪~l^ӂfC$'M}N#:v5U`U甉r.g<+ebчZZS:JNcdu6H@z;v\rFZw:M aIDj^3HEN&px1H*vŤ}I$c2٧גּ ՐVlB$-<. I 6~-6s 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520> 9K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢3]D?7 {?:fH\63AWXf%xb!)0e7uOqw|.opҜXk븍Bk,/aweyWȆK >8)6ÒQssK8`6 ^AY]w?d4!7eױ P#kf8*C+6k{:neשWRԪ7BkG P6wNyg v+W-BG4Vu_NdQYXִܞH[5ž¥gSZӪ &Ry?C%JULy@^Y}7Pr\mҌu⇧*绊%_zesK9ESlkq&aSԩM iou<%7&˂`U)#)"?8Io_=Lso-NJ?I.%γt/:!~r`s?ۏbՏF>O'u Pv Q=]--r3ms{9UvTA7pJN %~9i+3`uMgqAMJ|,#Ő63 =e 9K# DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pY]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~27r^=w:Gr+&ņRXL6vMx@v!0Yz65%vR` d`6㢥$,QATps*'}ЦP@M`N qIxo@)u"zդ&^CvR hi])C$JSɟ>eŘ[Sgw9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id5189I# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씊7qIRGqoO\^ZLfuX`F8[jϣieY 4>٫2KZ QH&a_}4eo#Qo?'j/]ʜ!'&ǽmڜ09lCZ REyV;}UuJ}?rAi*K??n`?e)y&Z)ɇ&1lozV+ b #\30n}ɜXU>1\o}V \-{uY ͆976T3a1n!_3I}!}״n"]4:FeZSzRV@|qArȶY׮,juc1+QS5>$ Wj\i^~k'!4a y7 4 d#C`Q;:d >PK]@ (QiDIA+Zχ{%h:_e┿7溋ne?>+bS\?zhrO9ԯE #Vk+b %ZRa843n7PoadmdT8[TEiSHl BjA߷_@볨Qx` `Lē}Gh>ic<3:S ˧^v_v*(a : n5x^SIbv.9}q&R"G2v7N8RrlCcunKd%9b鼯\.0!kGK_wI?o4i?v\Z&*40%[޳pzW@6>r3%_bg^15-^9ɉ0٤2,ʮξN69] ˰nA0b~mQ'-Pc2'-<58Lh 4b.''9cZQ ewvx 3D}βƙ8]۬ -.JQ1q0߃zye\WAH+=zoL5#R5?a& /P92}ogcae6W!5JPy8p~TibLmKvҾFC=i/u@RZ"\χ)p䔭ٻFB ;TNuFRIw"9K +p͎3ko8 J1#xpH&sy5Jx19lj1aσ$[ Kd/eX7A 8guFٍpexÐŗ*U [\-7 a[Hrv6X ,87ʯe*҆ xl,9%휑 .Ԙ8rTh+Si*vriIbvzM̈́"<}oko9C" n#Aّp69k;qȵmݯa2O*>{r_I0~bN[HpU3;f~7Y\Y$KV~56w!]=70wܴ.9yKNGq7Zg : !{/U>%ƒ]u>5ˆT:zr"JIi`2f ňn~|l=L(mr#9J%zpODRC.#6Jk5}'qo𛞱(osC":21Z=1n02ǻ~O-}xƑ*g|k_=CY )s\jE~Cw[0]iK'F,m}QyhUCwgYZ~*s[llZz'SzI9`Gek`U.MrҤ=@&O"lUl91ꂠ5rL(hB2ܡz|^07\ygAnH<F]GsA0H:j]*I0T;8הw1U[1$Y*s,(JY6nXG5u ;Q6}D^M;L g[,zu}k=LxW`w>eF Fd0bPhڀ:C]%~ Cdo87 ^{1F<F8?5c#o9^3,-rZ'\Oɏ0-z܋ϔtk|GrGFEһ0aaoˢJEJx*j{Ҩ)ͿM#ӵp j9Vx,Hk|96>} zTO+2.lO1ЇlAjzH,/.7CN7[a 4Q*A|z™aZĻN8v6JэIt=9r?3kO{. I 1[(ŮgG.>aH,#L~I|i"'AE~/^V4Qk%:gT(GRxb/YЂ#8@eìwE۱ϊS? dv}eic3:ґpj&UL D +kiN1'.*!+~̒ 9N`c=hǖbzpO3:yuR>ձO#/=NsWPSRR¶)ag xӢX}:vb;s}AF//:wqpd4xfP/k1Lh> vk4o:[\uG+SiYӉ" ?)>2L0 |rjnD,(isT)Ӽ{˰j`#^BXS|-nhri0L}QIM S'[*b2 QOϴrLu,@gG-4$%#<F+Mn@JyBݲMo7%}آm1Žヹ%2teI~"=[O IɑH9)!Q>~nX-~E4٪9յx1EGcme&Ո! %.;jrX}tJbI ){BZW#BZ`I`!!mEޙ1yETT Ξaހ aVvB\ ';>F&_F[ZS+uUk+. M婩8!X+~(C)$q^P^L_Y 6ŽOH# 2J)egeQ WQOi1}stbG`z6Θl#ԇI8Xu"-\v_`aiik T-X7Hq iZ7U6'Das(;!\iuė!1fY`;wn`=PECB8j]-O*5 ȅ@L,]]gJ6ɿ.r'ǥ+(J(f 5҉>И^9n׶"ZzD8"pf/d0dNJ$ܰZxaPNYzggdĻg C4)^Dm}n=*!\j-S[l?,r,[3'dm*b*y3j  X}K,pKUtL ٍn A"+AlEkrdi.{Bkm٥K4vcbzH֫CdkA_?ۛ{{/RB*J}$3$T:Uq*o!gQz(lW=OŸ=>i>[[mZZVߴzl] !^d4W ,}IԼ&@*)47hռJ; $V\HڑtW, :6io.xkA1Ӫʎ/ bŗv]k0W_K3͂_-4JX!O[r]3 = 5nPӴ S2wL`_vh2j$)blH;\ !isjUJXTiF/IH,`MiY0@H<2IPkͤyߖ!΄.l9E4#Q[`-DJYV2j UG@q~tRSJq1,v5Ӊ,*f"ԃ'bRmo<<!L=h=ެr`n~T(*uT.<c bf]hYA׻9L孳;&;-1/]xpgPɉrQ.qѼ)_ݿ[lu"`UfR?2RִFt80a5΃Zנ`3p=+?桱{<- ^ٍe広):>AcϸqvsIF^]G%®%ZW:-逽ȝ52;~]nww20^>dT)$9o e&[L=9(-!` Qc|u+ODS(O Τ[P0Z=^o! | I]#tB (=!ש_d(L 'ۈM~Aa5X~[shCzʴ|j'ƶk\wE7wMņ'XOs&2UrNvW9[>1'UAq;j% ן *= xlP:+B**瓏E9Dz+@ևl-)|?YCEh)ަD8LuV8As[Ŧ``k6g 7l| j}).e bp'J߶)ӢkPf_ /'ևMu@0qǜd0,5W,ѷ_lG.L_Y5Y0I5,ʕo ̪jP_w 5&.Rp w~}53x/:׋YD*y QDe6 19gE3z?T)n*DIG"~8~/~e׉ "g3mxy-/KEحZkIfxzs Y" RsTh+ m/#oW%9'DbrؠI ,fi;YՂٟ٘nm+Cd@U{ѸR"Gʘ鄦hAa;){R? Kzi`QY4Οh㖐 8,6uMRzMsSߙ7 ҏ3.2zu7BN-ZQM7sT?;irƏ ah29)Tܮr0S@ gev/ qӬi0oB%ZXRFHyg+ڄ'}AFfˤw3C.HbbM4aU s{;l,0S||ϩ /nV0bQ7hdH~w%>_Ձ+)~;輱xd[X葷λNLz H:sTϨA4}/j>"Y0Ӎc4,C$UAo9:[tڟt`sݘ< fqGtB৸ҍSFU)L^ uRǧ1RXy*Lqc<͉pWmw֗mhF]H^~_󾛔!LP T1iC( D^Fyu D:Iخ u9 %ԙ0[fhS\Ll{+fd8X%Z5}ե3qAh' "}b~zGCކ6Hf*?`ͤٶ*`HqeE#2XgQɽ7j'US(ϔ5)KJ6V_Sin(aC ]:{{ lfn F{aw#\ET^b6Z׵֗TЬgS Z%bƓB"Zm7;9r闯:SKms-[F_q&T:`>F6m F]*֪h]LyV{Q砒!r_|O0X6+y:v)/X<4iqеD&-=LCŖ7L>#%F\I%ۆLF)W4QѤ]?'bpybN 7plAz۬ޥwsAnTPtr!xg 4Vv١&t?M2,j(u&@XH3~ѬNUX>Z%ɫ6>SxAO,"ȕxS63=*zյV*-~%IRꓮ>Ā B VWjʡ*f@HC8 !K2s-7pYzYʆ2U.<{jdV0ﷲKWʅZD !Rťg,D㮧5v ڲjMp|zY(iglP-U 3.baw-S>)y^Me, $숂ʅƊOObof}$k52d`81uէ]ds0ዟN6._l8 xg˖ IZv̋4lQjxQe`,P&j@BW\bQ -}ݛՍ /UgA2$iSILBok/"GIsC1mRC8_L_wN6IDAS \8)=픚 MF|z?*ͫޛmtl_ꏃc6gT_!DtFΕbm|qi+<Jt~+h]lSeK.T![3Lkj@RrD;B^gCA ּǭZ,is+ץ^¢HMD|Փ+ɝ{oI?YRs_l\?0>% wFfAi#v!ʈ!vQ'y}# )[Bj7wAF?9vXef]-N:t_1Lz a{N`Ą!e?&v䒡vK FLGcgc_HY9sÆ_!~3'_\$SfeykҤ-[{pCxrz!^o"\2Rf1.=P)@2H41:[]#r= J/=8{xOB j1ZVL+x)漴y2V6@q_4Xuz!>T\CJV ՘@OgaaYر Hq; `L(X64XCcL_/rBے ~%\Sl7[1QPH n g|ImU3hx1,Him{"` h_I5\^('?E'l"Ds,U]: F/:xl/ w`h{Z4DK5{?ڈ}i{ˆΞUE7xȓJ>Rӳ,3{H;տs&;+)%*=.p?IQ׵_9M R¢of‰dZ)N?MϩӅg~;3_kCG8νR ^]`aynֺ} CcXCR.mgOU܆Kx}r7vxprՕ"*~4㱸,܌n]gu{OA Q@o7~>,.92yUʇ,gz5"S*Kdt`k s!12K қYl/nІ:";"ՂHӵvntUd#(^D~m<2H%L>X[~ƿ) ivX{B֠c%P F\o6|m!r5m8O >O;N1+~H(VkF8v)MFc^<¥^·/f2%1 ꡊn~y)7jt.,jvR˳g ;P:6^!6l?{ QS'vR=\?l>>򾄂v׈Z4B{Eg+bP?[Tߤ_}%'I$<=#L_N_:< }Z駤M'ok>My4p!RuC$^ZV7LLzdgJ^vRQfꐗFǍxS1nD6cK2!.gG>|G7=X[$ء(-CF\(MA=,|(w*{>V$BYS Y6 Հ+1{Fo* 3ڶd,{ 7DGlT\=#oV>WB=y艝&A-U/> -wb-nnO$; M( ttl'N*pViGg%ဨ:@*pu7%p/o26g+Of@2W)5Bx KFHe$F?m`܆tMPLJfc:hA=1ݩA:b=kFSU5.KQ>dg6NӅQ'FF0;4iJ+3;!@c#?ҝKv5 S T-p|jTf.¹~GOc S߬9_-8*LJ `Ts4;Z*E;8ޣe&-T]Gi J!&`*|m?Ì4!FEQxW0c馓Oq  Gm9]dj#Z)y}H[$[12  O6[HGIgs{ff!9wJHxn}`:\ZBNX>WԼ?IF[S) r?ǐJtD&R}-|M LVZ4|yr[H-.8=hiM(ghiݽIvjQ}JWyu;ڪTU( M{[&5bg Bpޅ|_ GvjHe!9{9A [/$+>&BNQrlav\d!:N_W7qY=)$ߜ-8]F:ԊǗL! bd_>O-_ ŘcB=,2EArTEUX=YUqsU!?*E3@f%z8g  |y" 9Hֺgr0p/b+ƿ4 Nl]v41>MOֈ1l`@$濰xewk=0?sk$aLdt=JWA6r4)Čg\"V?~sVi{m7(ybF_E>,a[ֆp lW)wc0n]jm63k(W6qz%>3GƜ`,7=8.%&nf[ޱ:˽z("u*Y[g-nSP B'3I:{N>IL)M+IH"`(K*Cxn^KZf R,Gs!5hT u| ۬KGcBUJFMi'<}e}-αo럄}^Lb ̮Ě_ `qS:t0jBCpm )n|*m ο)JDy#Hq5*PdUxyu1^OZy:Ey zoVS1o>۪S[w`i$_|-];{m i2g[ .Fa'^C=07keAxz`6>65', <|U'GǓ*ICRﵜ%v?awq"O(nsJnGLv3BP!h7&\ հ~| o4uñ$*cc8"S\ݜݔx,lɑhI""Nl/Tw(P -ŝ")x퇏j cXن7DXGK^g@8߄xjdΰ6m{ G6] fQO慩!"^tKw Lm_Fd[G. :3m>p58eZ:T/E.C dLs[Qm fNDK\r=K0ؖYW-z_å gcM#7:Q74h)k^DT#-yܨuA j(?FYB i?$E˫dۃ{j\+$#=Fc0)%3b2Xz a+I _+)W孕=ARA\:VrAʵƥs/_uĚ :,a#e+E/Yt4䑢W6d5D/=cGY}_D4%zNQNI䡵1Dli2 g>+#`}n"e!Lfͣ 3 ?ZS:Yu=, Ko>+mꤰfL,Tl>bO6HIBQ#k䝑}4C݈!} Č~h~bڭ/ϛS@>rd("#7+YZ,:b&p@wfqż0~f9Cc|5f  3ai}f] ݬQ=g[,w :ݛt-Qi@GZ>hig1Lu8F0[4u-U\] oX˫y:$ CSW 釚^e%-.ZN?mM%ie Dtk.7 һ{CVgNnTߗ1(#4dٰ8l*ز2߾3"!zc[5I2Ϯ*):1$"ubߑQt R_ U3bSn08 ^~bk#$ {j^2'6qhp*岟Zf.f9CvRGZSˇԙ'LUf(m+"ƙǖLl%oM~|ۓn@LvN!Iu&@`.1FZ>($6 O;A͵\|&485òJk{jlX~tE` 7jW7xr7(;xXc{R(;tVv0\JuUPG^o Oԩh.Kce1wO߄[ f@XP1 ^ PpMF|(:B#SW"OΔxI8x9) !c )_iS@F 3`"~ {U%zQˈ6eTBZ:[bݠ/D,\M!_LA z@Fq, lg$AL#lZ/.ٯAyF=_?T^rWIM[m59H-WZ6C?FJo#S N>c=Wr?c6&}[;9ttC3;t,ΕlsɐI~GdN~n-:[>F!ExܞLm%tוAzνxeͫT#D~=§J#efY@2/ hN8 Q0xenB&3(d:&fr|(o01 .z`R0X6Q:6qEvyɢ*B=hi: >)u7H[ KΉc |V[3 Ū94iu7K&9#1CB1qH.U9,f}ӧi'>Кf#Dnkg[FeaV3mHF:9: s٧1"ۡ yV?F*t bt.sljo("ZP-V3WHnN:m\ *SZlG7\,U_C7ͳҝ:9)bbB\+[n=wsS$Qe,nT<ŹW1KMluB$DJާE +mz?vzá _N>DvV7WXִ*v|m+ƘwYd 5-G n} yOoqghOqRfҲ/]4; i̳[K E 0aib֢@.$O ${cetżOB4o-_TgR{obqؙεn0X~O| "@9~`42mn2 ʺB({X8lwcg"Z>. drxʄt3`j'O'.G=W$JվxB'`a BAz:s)LL2`XRڼh`*>5SR->֋P~'2 ^/x^!9/ >-=aVT4`8{=_&Dtm ;};֬5WYhx:9`Xa8VVVL0i{*:3I\sE# dM!"T6*c".~ )\>@b%BgpY=P׈K-3= ?֤e 793,Ҭ74\uc]ե1TX憋9H gvh#kǽZjõ6{|Wb%32QBԼ3^ZWR7$ZSn;$ua6“0{޸=X=f\Ϸr%ƧT~=Ggtbo m/Zckm"t # -"6nK[>x5UϚw8VT?*qy HR6hIɤ9^=„e &J]9H.%h󱿞ė'?hE} hGS >fd$\+@efPh236/x2KVK1&R3<~-E ZS,ѹ @֕;~.E?2}x)>s~`]'Hv`ۗgI>}fd9iLiD)eh|?vĵ`Ń+t&`pUˤdu:&BG̢}Pwc.=: m=>8a00;?=W&CH3nlF* ]0,%~gn:^Y'wp+S۰VpnmaNv8|6ºBǻa 7GdSKM9(Ism@χc.{ B7d0'bD >qUZ$v'J}%8'n-XN(y>IB=yJ.򶠛´fLҩ"6s0sbB$?a(K!&SRf'b\tɯƈL03pFsIgIШ/,M%k玙z d8pu*^b@&"׉Fxm?yEɐEr&^RH/ Bp](w"`W%_DD\b|oF$IyOw]߽Rvop$iVbzNOxěB':A[YفyN|Y*(0aOo<N8$k%(D㣕;w(>;It5 0&).'E=X>Sf+5gܑz-bDž7OJ̲hb|A:Ç"TOd/-qI(1ZN&W|ĥj?c[G$ ٟ&U诜ТЙdp%_pS%A'*=41ru;ҫӊ& FP>̂ h/Y,v߬!\/^UeDΡ;'}7stl]Rܵ}S;c%Y2E ͌Vߺ\c6Ry *Crs~>cH$/u +;,J§7埖lGa?f4RLc|ء [\Wih oP2QTS5ӆ(!M:<؁3j2]y'+6fp=P-d`O؄䵹} ,1ӡnw](QLa|{xH0HT [n24<EAWhA7[›UN%raJ]ip ]ys@gCF%FȤ舽0'V8sz14&+6^ ֝%T e5 ~?M c\|H/z/7=͞\Kgj:)w2b3M"?I H@wʞ?r?j%q|9/mzo+JT2a̱=Dϫhk5"M/sK$F|ULQaa؜M. Ѣ7TP|diP6h}pb&]݁/JA7Q H.ܶғ2-KhMb+N|A>(t A._ %K} 3'=ʹ]OiKz >5Gmܙp^U(@Y 9x4'Qb/A', ;Vj%z Y_@Gz߾)?bM/*["}T{\ + 뺇Fz=vnӉyDx~UBx9bA!.A C5M3wdP5`XN7/RP=#&@xX+0 VKʌoeWFx8%Nn4b3-xz'eCk9h6Q~lσ5d~g^!U/w,hgxM\J ֊-!=B.g2=[zR]kL@Rq>/eRCZ1HKOz W.XzCQ4_Gx3c5Q"]<$ fapF`naMģ;^~Myg:$ş]fۖArf^΃c*e cLn t$/vB[YTq+XUJD|s@k`a5A?‡\@Ͼ߬DZ|@|3YW]o4N=KuT`H^nr2~&w^Up}tb" (ȞX J!lnq:s8LHi%ŵ o&hxVHl^zza*[Q7<@eO #?gJo{T}C8"_?t+ĵt5dtIXc`Z7$a ) &qٕzX-@vD;cek{QbC)`͕ gdE>k hKI:|'쩟!u$92 nۺz>Њ.E׷(&)ddm]-:/06dHzhL*a%Lg" ӝ|_)Z&B$FZLXTW%;:G=MՎЋ>o{ڼ"d#\UAm/co-ͱ0K:E !Pc1.."slJ){3Vc>h0X-$DF.cRk.a$U +AnD8s\w.%QIȹX^PzZ>C VԽ^OψhJ&6k*tɫ{$ێ@ldERaEh"d?Ο\*'6l\H̶ Ny:l6"PAsHv1?)M?[ԄKgP䵥IygEW]TZ]fI{@PE{H8Ќ85m'/Cx ̚W0齻3gM1d^ BAbacHB[S-aWMz9@7#bdjVE }-WmɌp=d"G5`~ #){{r*pPt^-O~\:T8>`o󗍴Pо E{5Z%h?~gr#[uШ`M .M?FAW<<¾b?4pOî ,sWY6+upŀHﳓi<#uC-ulo([EfTb//c%2Ê]CC=/Wn+,@IYdۂ1#Xy`'WM`OFv hN̹d!WM>SznU c8;eÒl Nf[EnFlܗ7I԰ bFV9 ֙-NO?%",rɜknE/Vp+RuBژ[Qζ[\$|L|iIjv'h6ITU=P]1ǝ9' ~-Kbd_aT{dJ-8L6a\|cBL ec˚_I-`l+c8CH"⟽]ݔb%R`rlV8Ce A>UvX78T{nVf_MFӔ6{H.OwЖ&)GV S]3Zk i#3B`J[*p7 r 5/7A?'0:ܡ}˩.;& /u;^ׂL-r]+5U Z' 21C({:o"Qb)Z Ah.MۨskS,䱨eFn L%44R6Hꕱ "Ũ0Y#r%~'ͪ"z>Dj3̸`8i"ɥZh7c})WsɦWS "YPKourEw4)G#`<=Ʋ"r5/bӉDʞ^hLA[W4؄~B!E#gHosF nJBc7ZVqEdV|w$) LXS˼rumO}u|QyаC2͕gxԁ$%rօ:k 4`[O]2Ϫl|ĕ]Q>!&t_ צ[dN dBݔ)mf!"݆ӹz!mo>_ei܋9eO{ȩ d/&tr"a+s ཆ; #5_@\7m%}=!mLnՌ1HؗxS$0~nX #o A{ '@T 8Ӣȭ> vJmPh=*Yg](%]e|2.~5hGofRLv[_=/ :g;?z׬ܸ~yɥKEzω<IRz(ٿ*h:!x 74pQ)}l9ˆgCjP U&|^3msNd*vZ{)?HdEU£ Qerp^ၲRߌye Agl֥- _&Ww~ `W+UvC}TIR;Ŀjle3++vU(&¸ qxA 0(]v$a\H;ލdQc!꯸XOej+qgL]lP7QON꺠q (` -ʂ.hW^N6$kZ}Y]*͎rnڥt<8s@ǐ@̀N ̭lo:m‘EW߾BPĪo}&݃6T]wbs/q`ri]="+z<#L%WĠNƹ\n3`{yG2AgCqFrXJΓ_kaRU|S5M#\-~ =8m0AբXq ;RT-ZB:ȠQ\VX5Ov2w]C7)M>mKqv\/lTo]Jb>:^1pi^ǙMt\W#%v׮1N},]=N=ER4W>eչVGc:W2l"=]/G>C 䌐ЍRG:kV6"er*q% !汫*z*䗜9ӯ.1  ~xZLRo;! ~1֒]u ;82NXI\wz_]w*tvRە^bE&@ʼnFfs&όpx+u>zO%gLžo4P=9.zÞшձ[>}5}`>^j*(e ~=Z˞ldw +/B:S_Mzj2v^4(8(r`o9Dj]ᕞSA#x(4ӂVLD+ɛ:t`9㫼hֱeiB~&Kj%.m)}^{T04fݻs/b+[271u$VIqgv>C=*O|5'dVžPXB~NZ,hXIbl=I_{D)@ם8+R^U6Q*c,߹*Xz磵 L }ި6AGfUEB76 ZYjOxܸ`T˃Hq);-f!% 믶w+>zDoM*|3SH, $Hd!؜7>ȏ523 >r BZkl]`L ֕t05ɓM rc ["ۓSz*nS4XP{q)7n8p Ec-Y u[HeABSLO1ò)ZJw 9@t񌗼ȍehNt쩥B53BjT(fd֠>I/ix{SK=Kw̲&zCsP?\]j&<|h$`]< a:\bI3[κA*!ܪ o+P W.?MlS@}:(7V3߻7z*HҚUs&ƫ[De0k%CC"Bh>S^uCH:Qw.hn+ h?_ƛ%E!B$?ˆyҥ)6i [oZM)~=0|,Ou%U  :L}2ibabs5SIf0z,VN[/: O 'e'0Rə Л;L_]d^;1k߽jV?P?)AϠl'x߶; " Jρ Ԗ Sg#z[Qc/YAkD&jE=jVhJ;l>=pEo޵9g<ف󰆸 P2 *aY"Cri|S.֗]9F@1YFN8kN}6DW6=!SCj$r[]."utN~3bRyXk HE@@.+eH8E-J]fU#䵝w"V֤Yj*Yqm:V5P1X0P.gM)gg⎬Yj 7Yi%")W㊢d(ϴv+; 9vqW GJ/Ig7Fy6MMy9]ux˖T:C%Q;/ =rʮ#opsPC:gBkEsS`T f} 5KҞៅy9 ]'[m\kϱ z\F[SPmt"TRsm ,k Ȃ{i/Y}Aqg /U1oI ?Qa]Ch@JcI3+^$_DG}9W?#Mh+sho#e-qCg4JuE.I܃0]ۮe-dLb} +U>&Eau sht呰z63)GwC~dl =bna%)wJ't0g'Zj1Ũx(XE; `[]"[5tf\? 챦7kqZ '}\)Cg9@*T 2H(yiz VJc]?϶U-lخɥv}h5TWq9rՀ-Q7+ScHy,^\lBgdЇ9sOFvJ=0њ1p&HBPaxЎۋc0I@n)x*QΦ8GQmR?/*7]N br.{F+PŰty6:)` ٤q^ xu (8H[Is&Tt\W;~!BrXTk bsabcRS\kHRoX5ǨHȒ0v#1.IUԉ{z\+mxg4<jx۞@ b) %diMENYFG vOjOc@6(.#C!cCK|E F Q26ChsGr?? d']A4? P) X+t&Np:!yh js۟yܒl9둛12ՈAӚ_٩l\*]Nz?kQMܷ3'tNȬw%J;#(R#&m$G& jN{xI&kaOam:)yLP|=а³CGxb-w\t:Q+]8z9X-P1R)fטf @IK՘< Dvz.rkyOeBX^Pz[E/r٫^f|j\aၚdAWqt]à܃*0b&1ϋ,@Fg(1[(0=Jq zڱ~WZ*>ϭ H&P(#5hIѠj$p>.ɡ1(49K&]!WxL9*RD@֡L!]!{ͲLPqà 2G~>WU'S~P0 YmoT_v+Ē }@9bi]G ]3z}N(h5'aݞPc+Þa`}ag̱5fW{ըyM KQ-s}kd$1-7rO:G)ޫ "+̱;$Pð -YGۿIV{@w<.v{m`ގ=$ V ɡZ̐Rpeۦq[oj;@.zB{%<-E9* h<\Ce [Gw Wϴ(3JcNj)n&g_[v[1Ld@Az[gyI\DA f6a{~{8\}:HEM Q@ v#{:MN8kpۢ*͊j 5WA79\a o<ȲG+ uA`QQEX<^^n!!DR+zڻB/uiiWQI5{ i GIiFKRqgYZ!c<^歮8Q%CÛKtӈ@*8|zFTkC-@Ѥ{OW(j\~ѮH>BP)X42]gY+|vUQd)IGj{ZOoXTb,/ (|K@ :,5OGuls#CQ/APk's?sS6fbv7zD 5f鳐ﴑ8$mODy!5)YwVH"DS+,Ωq†.of&t\^onWרdЮ)eVeFWO[ ђ Quߒ,nj[v07w>[*vaL;.=KR?^>(g+ {y WغZ1}- \&,K*/pȱpEbEܾɽߺkvSg2zaY0 u]J\]m+vr|;V.ວy;E{,v_#VS^dYBf8 ݙyrf|0Umf$=%+7%^hLXMZIw]A8i7 P+N&FJf5O~DjJcx56\)"-d$y#N{`2>`a ?)0.]s?m]> 1}{{+)VTbà {5Oawa5@e!vߍ^ OŅKb4 8"܄BHr5[?Bb‰K#*kD vv$ě:@^S@@]V@g-|dV&PGoϽ" j&ׇG5!eݲJ]^b@VQimL`nM!PѶ7SvB.6'8q+P}33 R)d”GDKJ)"1̗?ݸȼ2\]%?M6Uo!IqTd67[ƭxpTHLJ4/Gs0[E^_B"Hˋ⚂ *>;++ IOԪ湋Ĺk@V,%̚!)mx]ƆΙ6 ԅV{XNs:VyElT-8X]I IYebO5Op<C"" %mհxnLUA`E٘/d^%W?p"\W+^$L`f9CwΪMr&;vSp+%˥Rry?'{PAQ/7?΂˽\捙qru_<$lݩb`󴸀eVÑ L5[&lVI4;7Bo:# },a LX`Q a3rtV|~IhKk炪CWD{@iu]G <_L_/\7rHC*ùhA]B, ;Ƹv2JK?"99Wi^[ vxF7, #F8lSbGR/[;Pz~ ޮI |L/_Τ]7O?Pg09A,%͘>0S#/VzJ"iˎ?GS0V>($THD2/3d&ëڜ||~ X󱖕ǫo$M'uPOO˶k3f2CTU'G#յ;gxT*x٣&>`XyUfޠ9ޞ jEI01kHК ["(M:rX'0u[nWsЛ&R΅Hx9Z2Biل "`~I/BN:/ꍕOI OE$ TslUPalHz>Em;Xg[}tkZo ͮ=ns|yKvRLX[ S8{&r?Q[ۊJBAq m'tf 6-#!2cԠQs, u >tE;+^])8啢5UZ5jB7ߡ6Ԓddb] zd DD EˉkЬs f]O:M(@jRmPWh{ABbx[ymf!ϱ!Z p,k=N?k ԻRV*(c]IL9/$̴7/-rC?m0?1H2 Y@=;ScOI}ǘbVdd5$_颥eQn8ЦL?Ѷgo'}b z=M&KkhUH o("SU| 1&wʵQf׍%Uq"2R?.哱M 0ٚ|9β;{95]ikbuoO|Ve&F~o Q܋ IK-Y _u?8tCHHA DUh#W;"xW10Ӯ$kp{hb) e%+^TUT\i]\.OkRÆFR@ cc^,#gu~9+{ؚ5 juhlc{27KvoWX|7\^  սO/Z-K3r#NOp3ֶ[*ML`We|gz0)s0u 1 'ꉥHvz[ WtGSS"?rhkG Zq^R Yʗ.ơF,伻. `qjhri0#>:\&f:.k@ѫlndIF0ȟ"2*0wR#rpqV||*®]_!%‡w¦P+MO Y`ǐ|劥sO)pIoCdG"j}bDI$Ob!yDD>Mz}a^⹥ :\:te5dbsz4)hՋtbK`z)#V=Tl?(I=ntuύq YXН=KĢ>k깦jŖEQ͹hD{1m¬v=WoMXKgfms{7pz⎉>1^'n,:,H.m_| baeSF1&!E.Ÿ oIJWu9NI¸ru_l@5[\,Q6[}ޭuekR1>ѡ BRR9'lBkx iBG3 mSD|7}"'b-EZ&_Cg9HzV,w,g ]Sɞ@B(nX\#u61$+22k D@xJP4P6\R)sJ-Zb )8Plj< ^)HJYsH+r̸ bs^R%X XrXN;}26P"@ a} آlSNQ] Q?]c07 $zjs$ X9gYZ|2uRxeYAϾY8W;8Ştd-K51 {bS(%B%AE80Mw *q},)5HvB݀ĆCmنqAab\\']  Ȕʓ2'3/e~K!ORp?SW˫F郢 G焨'I_%p0EI Ǫ0R-m {Ny9Pv@Q2uw#}|<>{`h ̡߭cNs~M\(<v4"T,nt,[Di~'A~ Wk9 (ZMn!lߛpS?׳4^H%Y*wFk ;d_i_nP5v-tCHy#Q$ުwGg;ʅijDvyE.LF(nr+Ȍ3°amŽ cEBr_AEm B$ 5:rmKeJtȁaFp9M޵=S2_!@Lh[ /"1ny it}N`gp ~1f3!Ybyc$S&uF%jRAKN|#[yX !1KOo^ pV [!q=+/]3\ "н+hٻ\V@y-"fYЗ -OD&YנРSG1_LU< dEs類Z1&4$(' 2'|E#jX>MVc Zzk^I:M~UP/P/Z5&7V+S07RU3`f-7ִU(0D;~j\ycH{ʳeinI~9*<t[xx73fs9T uyC r3d?YO~d`5~v=! 4٫;W7}JWA sVIפ8bG,B2S50{l;5e6V/^ݷi6kNG?$Ś:E#Al4jZ]dZ]gqƩco~b"VtGw|dԂR{N fn(n*?]5H'3*)|,S?FE3`xmv:(yZfֹP}ڶAU7mQ7t.]3ѷաɝlD 5UD5ՕwK q|N! 5/s#AQVlalYiL{<^t$m9G /ƬzŰQ+NZa{S ү0=SURo6`k)dr/ Ì*- jc7 ^}sHVL$B)>`;NJ\Wxh߆MF[dq"ߜwbgn,fj'6Q73 +,nՓc!Iͺ;!eWXm3!7h ?lXKS jyZ;y,h?>ޝ /eXN2#N,Hd,5enQtʣvrODeGΝbHfST 5׫ IA{:Da"Zmf /kRVfJ>Ld>Q/$Qg@hHa'/3[jW9k21"ț[ >`nʿɭe(oM" =[Fyjh?-2"d9k0d K%m]ݢݻ6C7@<dp=QJ/]/8 3 2ހԎUN{[k )I()@ k6Ƞ78AUA5хE1>a.Z̏XAV0a)"c$jJ?}R`B}WP 58`a5awE dl&tkyGUxOتڸP/\%EIR̚(~?.=e_4c]RjoPqV֊^zS$N}%:'%0u"q&: IdnpRown.lx50 L^bj@ 1/9@WrD홏Ǝ&7yCݠdcM7!?TD:S :F nۊ䎨 ҫQcjțj u"8fK`d'hP䁣Evr mn\)Ҏ A |H̜箍'Wsc0N YmT LCFZ1Z`*\fm/zQK~@ 0`T7y+v Q[{/\ɵ_GGF5\Yy~4_bI)}IDvIwubWBEy֭DH,az_U v@ ?&,&J%:o=!e pxlK{ܻe 6S{àA5st=vɿ?=$TT롯0;ZY.^g̅t10jB &ZG9%V5fZY #Hޑ`"d>- XlgW"L4. N80"wI _ ~>("}mۣ8Y`\Q_ u"M*;e!& 2AxuryyT[{Lz-S?6Y+ af9U' ޟ2źK0w༣hO\\y pw̜Dqؽ)=2Zps D,IhwVN~q$_2W_gv{9Iovgyh)|m:3%O5qo]/eI..5lP)8Ý̃U܅ ▝-V˷EH/^uOupf)f#ANiwPgr ;˯m߼%S`cTz!zgL4 [8œ L$7d"pkS'sԄ9LL'&):k?Xd{ ]W\f)!^K*)Q|=@Xiu9/J;DBP\ Bl®tHS}d͐G IX1dA8DRp'X/}9ᓀR Gw^1tjoح#?UXk:/54wo:W89y;O9sa>șyȵ9g&VNc7iZ/mGDvT%U c[2l/L2Xs\'3_kozvn'{%Ō$U(`I%PQ)h8-/  fA HvfX*c nHgعI|PfȱbNТ"Uox>.ҝt`rrDj=a[~*`EI=a9l0['G P95;_!<hV@^@y 8 <#~$Ƀ?}GcPacc/}(FY∱[sӮȤjXـ ט괊 <5; %'e%g)4 )dYoFCBmG,??V N޵$=\AIZtA!Q "/ //h P7kg[-S6.F{*wN:t|)dq]υgqȧ$Mwר):<ѽ }tlaABjwS?I}YY8,[W'1Ĵ*O~Mpӓ?=M=C~ti P:IgB".I̓JscC ܮaF3m:MwiwT&<{Fѣ,[\:dѭ$,Ȇ1[8TdF? . 0UAfZ5E8$Y/QPj~ϩH&5q?:me!:ep̺ܹMZ!(ΩN~D= eq#2 ^|홀_y ;vu` %džI TF- 2Cr|cXzuh>kn̜kQ4ƾ4fMT!F#GпZri'Dorw ͡vuL{d0 f?ۺ*Ao{413ͽr{l6#9 _i8m_4#x,ioD{% f A#,=>{tE +3R@<ܠi,?pHfl MCT!Fḍeb3^~_b=0BpP2鍳-Џ1TXYm8B 6I/CiN:2Geor5J'!pEQŬL'VXvIB;!ft qF$j[hEY-`f@ΝoM2]IQ̣13JGkuזGQ?=Sq0Y1u!vof0>g k4bEƵ_8۱3C Ϝ"-kޤDIT1YeaQg]\A*< I,tog)6|VY`qO=챕= q* :}Qѵ~&7Y-^%%Vꏉfa2%A `VjGZR &OvN%$*M*ܽ<́ @m6 =U\)Zm~9QbX]_!+Go8W!t>#"?/"qg$+%*18K ~Ûojpz:g5IbEojUBOjw^$> C&* W{>v@\eu)hυ\ Qj%< pdv=~=6j ?ܶbь];B"SaNjjQᥝ6E 8Hj捿rJ[yT(%) 󔥅vU=-5_dA'"]ltja3J!U`x~c6ޢ'/q4רrۀ?w C,VuGέKbPm(ӣ`E31iPr\Cnҟ ]o6AG)L`_-n85}y Ͼ_" 4)i Lc`7ycr榟$!IZWp+^4 _@wr`\쿻:w.80DPP5ƮOinjPqߐE xlI!ۙUR.Tk8R6$'N]랣!l%k"9u.H2FKwJc86$B Be`oux?r;㣗=([l#b<,:jԛY2"90KWZ|l]G$2{`HV `BNQѥU9+0:&3Rfv>—NR"& {c8<(?<]u%p:3s௅O'?gu+@c(PC1eAӎRCfCBOifXYb%E kX&=.t?$/_m3}4Bin̝+۶R&~o/$Y~.Jo'lq=`3<xdTrr~{w}H_fv{)oXu%T ;XU (V\|E\7MA|ОW!!TI]7L䭛?i;h٧SY|ӋW~G >H v1"&8ICP]G 8S;s#$@C\2/I)V!<:pt&I0ZM6~u&KK-.4l9 @úrDM[HR bƪOO9/{UK㓪ɆA:Alfa㟬UJ}mΛ٨C֢hTe4#&:0ӎg 2Tޫm1m׋B+ᅋXS<#Cn%ʍ#8>(ĭ<' Z[</hw@Fr|sS'~3,A r#ygtX&>Rw(<'mͶϏ>e*rtlSE'evrc%}oы 2 0„ R|P-p_BjgEr3uHB-ɍX e% I׉{BKүk,d#PX0iK74W EK7 (,&ΧpYڂ1wXS.8ߓKv҃CP"4 Tc~DM_GZj8^G?%)D}l_4L/-ۜsm~, +U$f)X¥D!✪NؼjC%u ěGE$q-9gP"bDN/Mu K>-E 8J)j)DճB-,1xwm\9MXd!oNu5Da>뫣m `~x{Ƥ\Q 5𪢢0욯Wˣ/)Co:8hIzoSWLbӥ㜽"-zWL;@!t\OLWV,G-W`wZE>@Kb9v.{Sf9D&g|mSnmv͛96"u=^s> @zCڶJ .y\AQ[b.r7/T)8rKa}0{UVj?@l.*ʫ̅\Ct(7h#J0 d^sbZr@ gC@Zj84/P8碗N<ؑ|/k]F,- l.gW6XNq_6o '󩹵_ٳĩFM&œu"^l)n~`-[NG2dN^]KIA| 1Oh˙%a Dw8lN/ЯGa^-1"Y/c Y*'qrEt#cn;x`9Ok i@@7@'*P9bi}U$NH85H#=v{IB\/|BR]|6[ST:( Il܅=)IF>pҒ=) I@85vO$\G8#lc¥?RyȺ!s9,RwD)lp4 G}dbz1q,_+;$Z_- R|Yٛ eUͻ:CkLu$0*iz!Oi `di:.EL-ftۆ𖀐²non}YN-*uEGr0`ыAYR~D%͖:LQIdk,1쨃PPDssLxٙnai2% +lFІ})`<'bV@ݒÑ)!hN"9D*V:,"b*9s-/ labSUf:9g>Hbfm%ܦ1P)d:bK*K赯@ZĘǷLO<2Q]X}]zA_qךּtldur2\AY2]xXU/bf| 4I|+cR `Fgw/??g%}e^o@,Rܔ!X)nضߤſR ,4A%\ZJ&˞T2Kpg)EJ!ukjxeԵNCSGfL|,޸tj9FSShfwȲ,SŒl 1n *yFĔjOjp| 7TMedP?vʂQV󇳷x#b 1vR%9,o5 wU. l{hLPUQRZܺd{"1Z+k. O.—LpHږ~)Տy ^t,}-+@.oRpՀGsR*++*YyҜz3F5 M3Uzyf`{K#&KU6Z1sN_Dz+t^bیϕ(/MStȬdÐ$4.&$K3F~sr(L.o`ТH&Bȅ;V;zͤM*5l_[oZdUd Qd;=2fA~UZjIbBifg I }ČQ|r,Hw!פ>C4ޖؔU7Z[WP$n] څ.15!$͵$y vSR~sdm6.@0{jI̦ p}7"OI]ؔL y++R @!g=;_Rj` _C:3S̆bR/l:;fg ^1ιd:h*D90I̻!a;QUi+xU6'])qYQ(?RkuD^Qm<~ޝ OVWP./~Mi2n>B7IihOm!rOG0+o${ޢhԿ|w@!&Yr.uWƒ3adh j?)d5n=e-XIĵ'Y#`gp߫D$!G31^6v8/jIK];離AqЧ2F`UԀm_:ՃV٥ďBs*<X`-[GIxY|5G{1MD ILQ?3ty1Ƴ\/ׂl% ¸}]h5J@!UrygP i "磭EUM{5&,Fa f _Q8ygБ$x'L \/ȫΊ@>C1 O@Πzo1Aʔ FڭD] Nw=[Q"roG bTKM'ؕ"7A4S' W2~RMaW!)nB]f!G2I!`Yl '"UE"t)*6 +^N!h ,-{8z9&Q@I{eRVk ] Z cјYd94`M@$y">* r`S(URdK}صD< תGxR3F02Ok(, R KqV͙rGd:3MT8S[ϑZeF82 }W32R`F#ª߸ZB6däLQ#%j5>L-DsR3bg_֠d28}8>2{bu (VYV5bfP:ˁNAi"* T7kċ.NӜNS|]_RĩJ}d=_'Dw0=7#Hⱪ\z@q9w+4M.)TcV0e"Wt$$;\ׂhS9THTv<-s 2ZXaX`:%ٰX&$fx7cv)әdN~@a^_驡WvAEhz$DB<. X;u׋= :.(5!Lat'h`jg>ktT 6ǝ:hΓ" 0Yop~1N曎2\R^mQyAN1~࿞XM짅ee%\ir ^~ẓ>jvᄕhS~NJQa 'PMwm.\AaxKm&nY5@|A=-!O2/@ N!vU[QtEᜯd@:!*M{c T!WiL2,p`izR|p}^- _,,~,oL7Oz(S){n>j7ov.a(!ؚ5Cb>T{Y^;V׼?/'E[@ F`p)F|{53sH(']xVN+{m`K]TY.{qPݐY엲U4PhW]7NNt-T' ,iwU ,Sk=Vsٮu|Ω5{Ǯx}(?F%H^a?n}T 0E[ DRF`D_#ٌ E5Kf^paPݜN.ӕ dTpUu9 #ANgO.6ڣmWpڡK]lԎ14ܥH4 iP5e=v?d?ݬT>ӗY*8%CHET4U?,.?UِD$LJk`'ZsLVήOY%0(N,}$}~g og#eG4x3d?Los+^7=8ȉ9Zi!s}!'ldK4Ogsn7$F'5i/k4evpo0I:n Ɋ!qϷH={;Z8.dž4XzpȸV#J(B'^z नPrx?ɶxelqO [Njb՚%Y%zpyXnh$t#~v25ArWxY"ubtR>|qQ95E)B!+ }KoL=hpkUw7 cKhhՔZG17YT<#`|F݆X'd3S09j`Lz4G0hRpA"6 i&Al|^tpG?U<0ciשJQ!a6QMn/ *BIV`GG:N 0lW0н`qy lil$%Bdf-Du`/ އ'ޝ\zr%`GΝ,m>Q07PkvBQaBwZu؇6[y7&nawUmc_"MNLsSrd )5܆B0bsOgQkسOEL.$Z Ɩy@OxSHp1"hunDyoA5GqaWiv&QNd"Jh "tpo )Br'Egc%m - e& KF".+|u)yf/ -.NgQ|\,epgȄbf,)2&YuLd]@hO:@}<9ޔS"C m tқcMR"ྊ\ ".On3$%UGOQղ/ܬ/vYvֹcl@g /=`R W E#$  (t\uµ LR{21% Yd/&Ә]|ۊqnqav>-J0xVͧBp-OT8zL] We ˸o zGd!ȗmjx#jF6~*W/Θ"#2,k?p/SϳEbZiY900XCN8C' y灄 Q P > δTFPf1ϲv=ԮuǞMTS$k6<|,9Ԓk[[gdubjO9 |q0=$;oE,27lGi֤g%:5w5 s3>ݎ` 2n̚Ln1o {v(%2¢e~ѩubt66]DIHٮ$kjVѫޓ -}/xUDB^``aDhլC*zVZ'}Sн+\f3gk+tT[Ag.0_ow~ř[\ E_)ĕQJYn Le&w`.-Gj4" SxU IlQ+ wm=g6>U}X,0!i''Qw@rg &-8w*QN~fpa>14DÐA^J1SW>wQ˲20g|+L7{O ؀`A1_ffSw67=:0"7b}dlBIk4Tq'Fl{+/@ɋ&z[W9iѳU:E)$IN+m vmDzkiA\ D."zz$ȝJc2ejZKʅzA뼙r5a~r/rRSYt2yдz"0 ׺XB@Leb&eB]3>Kr[TSߍ뉔#YŤ?I=U~qF!TMe tZc p;_B>ug7ǹ!& 9"6P!) Ҫ鏰|gҕMY%0NמX_I'Z;oɓ9u6vYO-ѭvX 6I2 @V[.#3?f <" ޶tjzĽԶMD{ӾAjs*4Φi8=~\;qxk>o~݂2m0)va/; Wsa1M*Zܐl1d֔w Gr/n'!(7\2H-ԶyDw)0P,8B}a52}:*${D \EϠ!LÅf|+[ Sv*\0 3?3{Ͳԅ 2]\+ԫߒ+xgѿ79+Ӈ< 拰Rۗ%X M[8anpFWzȵ4rz1^0 Ǻ~mSj ٞZ NmEҼxJA%^!ҁFr5Q{w->ZJ&/o: tgCL6NZ7w #‡ɛbl*W<z \HwoXzx.=F}EaTJ8m,EDG,{s Q#oX\yR,'tEЪ uSKk,Ms4H *kdԸrASC ASl?qز VZYm2lqI3; -=zcEx̷5^ `@N) C}t ^WsY|#ܹ WYI/_@:-p{H#p HEVM^jf`` FDZiU|EDzW{+v,E(h2#`u$pMaCNÔG`w{$| ǃseWvՆYi!!QzڱwU+坈inA .k)KTM2LHX;8dZrcE+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ͑92>'4kr(^ow/;Nɲhƶ ig3*5AV%Afos( ݈:f}r)hPxv1$"x~ƨ]Jr^M|)X]I*æk[j42bqIeVS?RS,G'<޻}vbN,.V:iz⢮ɯ?f]2,3_$az4: \[mhVլ,,A3EF iWWxgb >P%>P ]9{}m):|(쵗gHl4Zj }K/knjV9JcOU~.E #j6L$x+x(b v/0ؿ>4찶?zqqR\ԃ|[#Elra塟UwG8kNꠋdw;Yp)@Fote/쏡-q̛UErJ|azz kBip8ʥ"oO!qkq3撓F._;&;LSaڜD&!3iYB9_&ob!{y(U~bbR*AKHKA x\+)Y;c5BQZLX w\QTU#AB{5Eqo'g|kO!+8ɖReK;~M!нzz독Rw5!8HIֲhN;6AԽ WH&Ql{E%$%%Z֝uM'*|>4.=[U79v{Qt~7uaooD (Z\Cv].:WLxzʁ]s1 < ^$C'   h9G' LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! If]]Άxʆ5.f-9 rq@axzj@Ʈwgg^p3ulʮ`8!dзPg/B+C> i>I`\ʘI?|z Khc@-HVj{ta 6*-e7\>jKn/L5P ң <{u I {NhGD^ fVI')Vh/"Nah? э*׾n7ġRaT_,Kj ;XŒ*CJN%&[ey?}v)I9*bk~dסG M%@h7їS.Z;*7V͚JS+B F@s7WD( vxcmrvH!Ċ=dk5SS 0 ˟x}Oi"9] m'aXe=՟W _CZ@z.\#qtc)^ټKB< P,_ B_1Ou,/,OFzsd3pbh5^"" (bRkq75Y><- y~z0'юts屻ՌGk%R.@{P3!ыD5I߳\g-+7ܦQX>ߓ!M`{ Us+,:7S8!Sc+^{_ZLXם VA*xi Z$5cF޷@"W117M 3D^XLs?&@T=CP.?!N:(s"l 8!%WK$͑ԟ, T [{M|st&.\ߒ_U#찋P3(|_+0IE.uZkTp]"RN~Æ~pjD#Sk&mNja}9IXXUyqsWqj_{Q۪ H6sU6 Y ( 79HHGƹjhsVa8OXDA6?^8C(=E Fjbtfjyx4u(mقGr3&/nzʼaQ&r0,J)m^f*$j׆otx/ r#?U\@*[I2s+H[p@#/.͗ 1GRS#&ҫ,Fߢ/ b SUgYZ%0+L*v0Y;ܕ¶F5XdH6]t$\GćT(-D.R:՛X<{+a0N/7H:|T`ZS,9;@|)eT7A 0ySnf_~2v|Q4 Q&LLZ}Ҷ^OٙRKjѤk E76٩Ѻ4|JW uُ+LsZDFk^%P(/.y=h˱naLh L;nE= :hm[H%e ̣w+2 j @&:"[Lnkqነ՟O4?<[vbB>Ӆ[pz]œr3Qs]&Y7 N$tKUM5Q$~J-ݱwf<;ZU껻v:A5vUD@_Ӝb\{ Vs$W5QA*[]YW0EKӍ$7y4_,mm'[f2)2!&K$C[vICl$z%&1&b(=tQ&걵BKh_-|qqz2ЯOmk”^z!c;1B^32^& ˸[xz> ];Gp6D5E| ޳U]RҜMRr6nGUݝ+wq<z7VTxCP16brbA¨{0.7jwt"Q1J"{Lϛ Jq8į3iLbJk5dmujTlLvn!IKGkv9N: ($ dWAnˁoɉh.N58:Fj.yN~^jC:j),ߍҦh2xIcMkORj*;s8V_?ρO# 70t7&10xK$ՓUQ {kN2d6|Sta 6Q4kϧb?p #һfB`ɯނW2 WKŨ&AD+SbROgErnY)}c oUPٳZ{04>aHLTI kib%{0[ ʳ=B+{ufԻݴ}"?R ;^\NSܐ yqHP'TRx]HhlMIǽ(PAb[CA5&$=x17&nJf׮b %ҋbC.ncNRUU!6C)V>Hz vX-+iu >it)Ks7MEިx;'6E3af> Pk_P]#}r?4_XdK<VFbr| 5.r^ e\@jMtSslE&_͍G4J<*nupl!e/ 'DDs1pC뱸G6ʨhm|CyӜ9WJnzLΥ;(KxQ]C֠ R'Q'NY3I0R M=6rp_P4qʎVT~c߃L\+^p"/cBӳX[Kiolxn.hvތ3"eJ2:%"1x81Jn/~9S#i/{آ: >ʨ0oIp M;?Sdhx m iW'y*B Ji#/.]2mtTAvP4k}ϵWd<&A!L|Sl®VQik.JN n;y/TfX q_I۔hDmIQ-m-n§0'v_Ji xt i] wvtbAV q$D#%j}@f*-TaIVe LuRyxU#c;jb=5K,WE~mN Yڽ]{-?qIMᯫx~J9iN}yYR0@$AVJl7*P"X[(1!n2Ĝ2Dj6M ׼Ys^.C0ŢU֏;&]!@L. _n&GCdhkR+.Q<>~?q52ntbu ۱ڀVF,+eKmoAgjfrx]f1'FVmBcы TwOԁ%HQlKX[&KBc҈6Xm_m=Q=l7ir pB pfn.֦B5l+LzGpnn^UHph:<#"%+3'5f*'LR4oҊv,VānzbBÓ]@f}) MTYMj"%Im6SuJuUӃ.|S2\UO[`F5tJЋ m%p@ 4VuY^[t_!aCZ<w#=%J+\^m# Ty-w]~5S"*1 -?U7pty )3*+YuY4l'LqԻ! !gs.I<́=0{7vd%R #W1ӑH($v;zH bϠCuwE8gIͮ^~[.x_MP0 z i^ٔS ԙQ/&1edŋ8s:JI2kKOE=Ϗp&CB1כ:ݡgQu0}J<Lf$4%^+}GرK:￝j.IǿA3cхˢ ɞ2d) e(Oz^ D #1Wح=\+Ԉ$h`YXQXRdn7P|RX.Xi*I *=,{zEϬ`i ϚK#CDQsZؓ")hSMMra`p)Z#G}0s.y="c #Ta!#9k 9QMk"UK\g*j/ aw?+yҔHpu~ʘPkY5qZ~5p)xZI.хHr)-wk <eQгT.^#cӸBǭaRgъI!z) TeE s ty49.GXjrǞOi B^*Ԑή@sʬySrKv_-d mQ>F9@\$bήL{! | Йu8(D;4e6u%@Ē U2H:[d<.r0n9ss@nAi>&=R $ v~֜ZF\0^b?1~g0\=ʯY`r:"[ᩱ~ނN` X`7ڈ+P3sdm-HRspqr3PT~G<-ό9-7:^Y:}%3Nt;l5DJE\:PSy,2 97 'wrFPZ3@V+BX#IۻnYԋԬ窕(Wpt>Ҹu[Džs|.wP ' -%4ȝ IdO,['8PIu">Y^:7ޚIJoKf@2]2F?m~0E5+q$b~_6B[ v,$D؊Fk\V6+'{Gv# ߕ7KZVr. _P$B%#a$ЕɊum.זRC;f}UA3ҽ\{(2٢bE~j L _|q=8k:Jy©1@Zص,٥ 6WIC;xR-pkop67zm'# ?I{Lu"0KH>jYٷP@Dh e\Qֽ3aIZ'>ᡃӋLLzl|=f;_.1ahޥRУ5AX@VTFӸqhQ3 a0j9L lRmL0+0 au1/ #ِCZOƨ+{۩=Sx=Tb4-Ɋ%˶e/TO$1 $s"M֤Ww}Jb'=hy F)F @_3g[ðӘǏ4zY97RĔVa%D nhs,k.^ޠ6Qa &r3PkWޞ(Yz6F y4 ~Q:EmwX 9h 1| %llV_oJJBd,\ dqfEU#F)7ք󉯌Hf,Hҙw/Hl3m$r:A0zrtQiIZ -4 *R0:4yV]LfZG !%J6FUŀQbbT4Tu-D%lW6ps;x4nC(H%eYP_?˅*] AT9NL8OuDV'YSͅV 앧ү=+3i# i+"P"f8YGMY]oiGu#G}n4jU yƏ@ ܫ0D'^`d@LMz* &ݤۤrrݣ^Q*<2x&e1`ħ)hJ`%%e e9z;s졂9b- G~jjl4_d-[iً;3ieU=%HG=p̮1@8 L F} Fƴ8.hv? JxfG[_ݪHNm*IF!Rdaeڜ.>`=>>o@@M*7 r6Ti=P)0;TJA$^E &;̗=+} Յ} 'X QZy7@gS+kSv!aiw%~b[^frOHezV0c|>L,ц(V/elY_NA/gBmZES뉅^0yeb>ǡO. Uj*6(Hm SSUy\7az&.{ 5Z.rbd/ʔB8"rkyd[+Iu vtJ9 Ikûه 7KC -9zHSdj;ZU+mds&𷟍UTy,Lx?Bpfcd7Mq9fAq5iגsY`N܂8Q$#mSۂ/ _kp{{+(2 J+neUPEQR%AܬmV*vBeqseʫV0X+9Z xD=/*N%[%/#P*sr pg 1HM0t8PNKgxmxĮz rCD1@{YT]j k"DM(`=aأ{u軉[FQ^~?w|(t40U'652ut7|qo; X0g#oJ=V=,J!R3ʭO E8r.+QG$fnD&Iy{XNCZ.`,mjWf S̮uTNYs;ؚK;B"EJKXh!4 3з7A TI\š`8'֥wCԥ8 uh9筱z;ӉVawC*AVC5ԯhkD+ })!u]fޟ&ErHzW %ߴB]PKOIOGza9)Ө] z) Ě\  O2mjDP_ͫ`ijTfTk4 IݬfdHR1j3Xə~L@kC L92m@2Bx3r;K{ox-n (♸jZQ ~ -Q) Yŗ${^7_+JР37 uB'Je=9ք#$h;X5۴ݧV0qGğg CJFrBE>,a3US;1K IO8|ƽ'!2!!%|^*M'-!7uw "k*BIHa ,u)[hﳥGMr Oi9VԨ%>Sgs'ZvӲvԁD+/pzңx&7EzKC6̉?n,TZ"ORm}CH/hFhٻb'@6 eZו()JѲzK\,6d?j.4H/0 0DhK?j+MǬVE~N+A)$oF2 @ܐ:,+edgϳ|Y0J\gm E,D G &64K1ބy):rgXd¨uyH/ A(8C)lPѽ]BW8c8MN(jj4OjRcd;~yp\/@SWY WŮ`:+;~iQ~>|$VTȢ%e6 TZָu \&H\Gws8gwYw鼛0o8?P`25lݶj[Q(F;kM2ҽ6VOTqμZ8v02 ucXЄڂTqΦRgI5=0. 0|}0YDΣؠ?t*aIZxR ,ަIS8\eOOG0 |vF[j98 \8YY!"PNFJ̞ o&ߣ8 " 8t!*iUP^ +} $iZKLB.}CC>uXS{n`0'?1QpfZ{ٗbe2du2'[ \QbE{//v"*,!W˳SPĿ>q%,6D%6XԽG/l413 SPnc٫.N{g|$*=@9|,.] $d5D K\}W!֠ɬ'h<K$ʛ2 9c% })*"_(ypm B1|XQTH\I.91"4EQ.P0Sg@|ѦdyKvۜuje+wjƝ?؋1 4w{QcN/YkTvtq~;j(Lߎ*>%flc;*s'c^p=5%^x.R(7q=PPf^V!.Ǣ:|i=^" Q*ƆcP D\]Eᒎmy@0l2'qfj(QNu x4 NAR|w,waCԚ J>wNx|Kd1>)c1,kO_KqH$+m*,Y{XK&P ڑ6$q%OquA& yH&#^<ٰ\:%]f\}`(<˝O04. +=Ӯ3#_} K6Q\=chU$bڱ~%!!-dkyh. 2%I0O#Umȱb({niXK #RwVH~;݂e{ A1m|~V$) {\J.yj:Of~eqޫ4Zmed LMG,kyODcz@ b9Ӱڣπ)ˏl[UT4SK:{KÚlx6t,6Ӊ ӋX`p 7@}sSolYq[ }ed C5O!= Z\X AY(T6&E>QuW/l  %N27Ŋs;ꭕɺ#s۔C&吝}z<aϕcѹXpr%~tHdi#ּKD= %D<9?.A#^ZӸPqȢSJ֓TR(=8|>ѱ}b?1)Q d/-o"8bqr6O [2A" w-ΟB%?k (n(FZ?'Q1AЕ^0*HY<\cZ] *jpcoٔDϨTMo @pAe Tw$2;8Ba7,VHەqpEEW'\JeUQ @UlrIp+AGy;қX0ͥ\/llI\`uI QRU (Y(4Pv%TWhe72si6֮0/I\a ~j6f@OrwMuO7=r[v?֩EN sq5@6;r<0|.@TZ fu5)6%Zwb0%F́Hߏg l4t(λE𙭄}ԂIۇ6Jx< S Îwڒ7&:~m1TĬ"P6Hq=VS?Ņ2u;SHႍ>XIS"ʽ,d ݩewUcrzGgyT4.1TlՁ: k"YJίQ()\ wnYF 9nGc{#x(I(<.8ڃ&&>핬i{W~ckXJ-[%dJf0(T&b 3uh8?L5 @>)\uJA٥N>^XmsϟG[X"=Z2*?΢ &h3ྭ, "fƎVUenrY ϙEi=Rabb^U*>d<+`>J.7pQ J(Np,<;_C}NUlj)#X螒YhৰU7|l<)$jB$#9`%9@WO-EDG*pGrF:BYvק0ÓdʍfxI/p܋Ӕ#^ o ކXMC]T~e1e)jeJPѻ]na]z &b:ҟp8ͪ`CˎoC^I_d0Pt{Kƕ}׹X9t")Ĉaڙv[eO J }ow6jVupOpH6TNʙU м^Сʊ^. &и- R+ZeH8ꌥoElX锇5.e&'m}V'p!!3X#iG8}!p1x_ .qd( I_*]^c=o`~i{Zb2+@ms{FæWf/9qz]=ŭRHok#>;)L%(j͓Adr7mY׭"*4 ,[V˦D;[P#rRj'ǝ.SBLzbagjwy42*$L5 F}܌&C?+/ ܒ9Gb4nܤ#Gx$BҲz7 Ȓə?& Fbq$uu`!PfLoR')T+ j<0ˮ,Jn6NENu`^HQmDM8Rn/ YݺZpkNBL6nU/ j2A rD c6`{5簡V|/ ~D_J  ~3ؙO}KH]FOuaH;`raE1Jt$Kf2KmY ?;o}|]֔>DQ+lt,h=U+9^:$`㇍kMm¶.CÝa,nhmb1\%wG'G3 (ͬRmX&Oi-w-=Zr8Ezuޥ]`E%w0HWv"C_"w15pIlN漖i^c070]Q/d6|pb u~е%]wܾeԅÔv RٻdQJa  b]&STE$ⱠUT!Ǡ,#PnLt([4t19=4 D3V2S| (JG\4v KOH7|b)kQgm%Z8cj)v`φ?woSр xϑ#(&*皾XygfXt;Lq;3LWd}S=Y+!ނ>B0uKvzgWQ)0iϤ0P0w޽:h;H9d/7#EzV|Ux@**l~8:&b>6LOoŪ &u`)|cRXEsEwO\$,8нCJu%o5# gɴo8_s,):[v/*!Bhe>^9+QJmB8#GsHOJ@D%8=_|>@w+wh.6t J*qjK<:1A2$a} =70D%)^yoK+/]Զ zLFCrT0oE$TgL *V^ز M Rs3;#f Bvፂ{c0ko\¨CڻꗠYJ{b^~o(Ov~pHt2rwA&PY|Gn&nb$b~o ad#UVxyuT%Vb^3y|]O L;=f:Npdm@Zf!!99A˪6+llQ [dITi"sB'dwpmpOUЫoH)XAʛTi~3{kq/ pc;vC[BRڠ̴ N@oY'Z]F3D 'z1,Ć SD)te jͰ^foHF*, V04i{mύ[}3v"G|A^Oj%„~?_ 6#xYEH,о%N h`ȏ'JvfʐuzۛصLWr IA^;J+9rZ~,!F2l6/C;{fg}acЄWl89$cQO$7Wu,y-|ED$2zVZgzճPF[.N36`Һ=TdT6|.iFT;ٍƯLhm5 $7$5E4fQ ++Jd@$~$$ecBoHW4YZ͛m#B"98$׊2a/UПbO|N hcąqןuX tf#~ \S蛴2 ca>@:Iab21hĆ¾yp08.?^0z$x(TD2\sp!:|نŰ,co~V"O'l\E.4\SzJC0S,GݥvM09tp]8kת9:D*WA @g J`'ܪ1ō=b՟'؇V PC-\FX@oNb3Jj2l9TRID/wҝWa d.@75-o,vsGֽiY(]ZN˱^%x JDZ jhKB#Χ7Z)Aޅsym;W!IdĬU~`@LN1S3](O}MSH3eF)"B@^@>:bN.`k?8Jj5-l[/kk$~XɏS&uN%/E?c\)]1-D7##|lҞ1ou7^P%@ a _\=6PiXxUK֐0|4ZexMS!Ǻ&Q-L_A{ᩈzꂴj-j]ulu Dj[CϤvr"Ghm:A6-sNծO cX2'Ҹm劘g]2ISA8^aP(>osJɟ~q@'TNy3൸0kg/"LS(ccMsu h´mȿjf $T<@V?H4+G)iْo9€8j5rs\pԵ^kF0 ::3t ';<ͻl8:;VڗX IXZ3Dzeˊ*ܕ4ځc!EI'n-teXyG1h[mZDTD4}K>W_&v6;-x!]yAҹx=uDy@O]HuQtce^z 氏թUPb*M|wƱqUXJMИ^,{Yْj7 :)9^A}mFoGQ& Irō[$5U(ըh$u.WC`ړZf?~/LSb&>dxq ~~%ԹU&;.%M43gvSW*(3u0%5]ⓞĨݐ<YWj͂ÛX X?&ҚȠ=¶aZIVFե%+⡈ۿvi"8Z/\7ԄL .qmVZ 0JD].[+1:+|?.''1;y\CSV}#q]|~'4KUa/mF$ϯeFӢغ<3T'#CzK(a)`$@^m v斥RıFq a QtO(940w̯Ђׄ2o B9@(E7Gk9BH\ ͎ڒb~Rg&W//7=#KGʁ9^w혅Ƽ߼^nv3V6VP6HJq  NK1F3m 5$*m[vZf_|r9:F~!5,Cp(,$m]?UJ( e21 G>}G\7äΥ6~~־aC oJ*UЯ*m;usbjMg2lR~GhCf|wheZR`ӈo7TP\|ĖMOQrjD6qO샨z9kl̀{[x8HNʁ"XAa>bWi0GRH˻ `>Q~܎w׋bjUf fkTt"3B|,{r2Ͻ~I~#i㕧f,4(ἭO Bn RJ1SUj%q~_Ac5:*#aX\|!*%y>%l*_IADrXwqA%B5A|Ұn>hc "$]f|*ʨ "U"o/r-d罈U]WoMv)%a+pnq?{0wP֦W?7HHvN"6f)9AIm'uu෠^Mc96޸{Uj0!T=7$7oLGd]cbUQUOӁ^HװHxAr j,HMPܗ6çcyr ,aH@d~L:zmEpLW3s3N3ϸv>&t0Y_ !B.7I"6'O\pbu:i菬lHe,1I =6۷6.w׫T[ds&=FM@az+OjiXʐ؈a$l|8G \^f$1$ߑZ".X 8vW1pO DpZ?\V1HRy 5iD%P?_Is1gU3U2O1)M@@#wO;x>tW`ްatE!k{o*M4vy `C[9 _p|0*8Ȑsg''4;Պ*YPp]y,Ԝ\۔[yJ)DgخK|F5tYP**Y{pi>NYrNϧp gҋNKm愢 'nK_s^cpa5!$~KxmskȂҘQB1n FH쿷[ya ѿ[9G?ìW<@pD\KJ*tIaz0!+f'0WOL?"|8+ )${F UZ]c jWto֖1&/MU洭Q%m=LVL%l4 [~Wz#t]gE5GY|AyWE ,%ff-XG$N%t!č8mHD8vONBh;Z5?9Ր}(_=~3\,+eԛ"9B^;ۆXόfcv9 %&s}Lz(:-rȷ=XeW{>wrwT&Wc㌧ .ZK]YBz2Dk&/cjUC9L^Qk"|jXrm&54 GTp[ FQI]WU5 TM284>+%FN5[sH.r]%B`m}GGUa!Bޒ.H IwP-H܊ KgZ(!+fLG#xc}\W\nL9=K*Fq)= ҋ!vLq){o ί׆H(Rʵ1+j)&`" bg M9\V.#}8m'}?7Kc]_Ze{/v]!I;wZ iFMQc){Ǐ(QmJ2v ƉnNZ ̌*`ӳr.9cG/Mñ% gJ>뻏R ʾ+ 10e42&<\.̅.@!L&JbSiYvIUD/E?q8E̡T&3ZIʇy&<\y0?/4ngCqP_iE(6 D!lZpOvo&k>,,$ӓhb榌|&qbqв[ wz^X)Clhs{J`K}OzמL=CW"DŐaWPreT4ʗXF>؝wPK~Gd>*~L1LY:m@/b*ɊD5 <S$_xz?j6+@ܚڂEӏl@wK^HvbEW.23Q&YUHdZ!%Q(#CPz&w5̼7TgZ4 S+sw"uPd|F"x."rSR1cY\IZT\)4Ɯ#RaPh OM^USYcl/XQIJs(?C7){ib%{Pw3N==/"Ij`_%go_H(mG~%U2R"=>f&c 'X4FJKh;QCmPo[8S='#Zm4Lϭ+Q'nNH1z&g/ d,Vq"Ys7txDAY9[GWu<܏x`Oth?u.M&+]`!]6qOZι>Q&wzi“E5\e[Gœiړ%^=Vh|9+vkUncQro{s ]%%izR{R`LlLs(FĈZ/p ILl7>0O1*^?W5R}q!Yga.1Cx{zql&\xP$qi,4,-3Xx_o;C7avF` K]9S Q&^M$t {s98^_b4Թ.̙-[Wg睮yrow9A({Q]ds( y7eYU^^L]ZжnƲNDf>eG⿣d7TprL;ܐnUˆ[k4Era& `V;^L~XpB%!u񀥋ܬIQa>^4& !<ԊOO -!aWEXƴ} MytdN1f?|a%81yv"r_vES1'\_S0Deևm@~iF# Ge POe>zibMz(Rٰυ=r|"DT)fl2ο&i&D:-*;F_ÞeGVfk8-|rv&ipP#+\!42:N+q.KZЌƂ¬-O92p[-Nw$!J$Q%<B[q{[MSMpl|ߘ3qT<-_FOF-8ed?J^QyϤL=ݷE.Ɣ[յd |kC#sԉ=]kKƯ){UC0V<*D,cQb "K~Msw_+]1 `_,>"kE OYLgxrץ sP+g~&aӾըKz(^ŒD3t1:7=,fJ|;43Zyp͉0c[2\ PJ>[BSdmd/(_i  AT1v=b=_ <@!<4{b)[5H,kQU2]D);W]Pϔ qG_z]cqv[cUDwo.(ǿG8<Ѿ.~֯%V|Qj h5NdL{wزk< FPQUK|_iҽsiPfK z0F2)-ދCF_QjYҐ:{|Ce~ZN QxSZwZ:);D R?[ιDaI [Yh:uqa+{^N(jYKuYtHS\nxnv:uh 4øI"@ʤ)[3XV!u-kp Wa Zd5"ekx~Ԃ[sBus:5#l6wwV !W½x1)՛ $ OJ1R;aJObYR s ?JNoEI^wDqf\OJ Y WQ !C(֪1Ia,*bf_R Gw1UZL'eٚ&2(Dpo%{q\AhvN+!Ĥ[FBE[v Xv>,39+#R TBD޵R>o;6ȇx0JTd2Ӓh>;`XK?ۤ-Be˓mJ.AO\;q/W d.>\k@EA$ċ4Lҽ rJݘl 9Hh xTgLpG]J+Ea2q!GdE1 J dt:]8o7tδjMh C dn0?ڒIUG &"cxJ9׾p|("Sћ[xFRz~YfJmʾ_=1^Ϋa-Ik,Qj:`sReݫ0oFEa1; ]0!~ iwR]Wr<~c Fig=Qu뜿Ѕ{&3' ەxbDͭM.vn3v$.u(Q6YkO04Ѫ7I+dwhy4ĕ tP``o?4vI|V^t+ZU;Gexf\>z9wJ5B7*FޗLbV襜1 .Ò+pԽX6f^rV`;K^$dP2N#`,Uȁ3iq+Y[EcfŮtk%bE}[GLLb-!3yUݝzf%/9k\CxЫ`zPVK^p|hKG;K␣垞Sk/~zh"ШH޳AM"e:B/ڧ)cF] 2FH^'û_MJ_HSo)_z0V2| .`Zl0MTgj>P:HBCb{<4)-'9qkCEGܬ8[ 96{dԼ B01:@׍E.DSll&uzΒ7<2HbiHZfx8]ܥ[!껴'!Ry]8渥9 'A6a$YUxwsz 8jQ)`ByF7(`gCSs Jtn܉|4lBj-Iz盭b(>%iGBBGfR>-I*oEaپ ScZ@_ǠȾUF5/]4"H.:Or<6hkačw\2/q f(=5mhAG ĩg&jvpЇe'}s$q+༧9/ |^ZXUl <Ib JdS_pY94vbyh[RL yڞVug`2y yp&yu?ڽ![ iVY36aqۡd-K?+wZix-4Qnq+XR=N36&] ^6Rud!P4NVT7A4T>Ҵgi~R\se!瑟`L*s.=RR{Qj{\LF;|O==O1f>rG988<#b>" Dy6n41 rGMXQPtS9*hap|im$V geU~\j~, ^=˛5:xye'53'U]aԢ]ᴡC7 TE[YZ^%) aGt)i9OSB+U;h)'͈s_ &>e R1߽;rDz_:+\3>[]J|if<jow8#Y7wi'R`♍c=5}:DPE6,89N HIM8.5T+T\(UyYi >Ƣ3 cŜy`G>x=_T H i!VDaIC/IQvᒭgM;p#*qRNѭrbYK$rJv$XE-c[ 6r5]8T_+'d hT:}H=~q߀LSd1v6`ɄF RM`la=JşeOtY&(q5Żj(6VO QGb {dXپN|f Do2$Gݥ2PZNd"S,O޼jzH5mN3WN6GId\Tb 8|ciQtOJv&\Ʈ\|QM@9{WWKs^VWYZ$hʀ+6a\0% ֞%Vp~c h?-aOa!0nVD=d"Q pK ٸ7WKYun9v7]sM&\[|c~ jgyEw[+%0@795o R买u7/5n:+Eڒ? y'=; jҸ5l͠+y=.#8(STU^ODwlRc2]cOk 9J (NvԡG2p'WX/~ (yS-e{ƒ;o3fg+"bG_GR*χe*Bi_sNR:dyФg)03`,#iyV-U!,[+7γ MH4{d ׹'Pa'O'!w b)/f1A6CSާPRs3"D'd|FM ل_វM `e9=pH3Jgϙ]'!9wr{X7h!:qaj %&{JrDFp. ;.;u)2gnL}ѼHăW6!wj޼ AGW6lmyg0l<0BC`ϒ BN:Cd8ddhL4Qkn M\PN׋%\`\m-=ŃANkiҨv4c(n ȾgO/]nׇK'lA#S8,M?m[[TEMݹy.ɂM1c[X) &[6w0$|${Pƨl@˘)E)T6Hp)ܿ#D8 Zŕm\\P;m?j{"-zT=XqsMZE^n'I&x$K` Xgmi3fkV fʂssbib5mM5o`Q-M[ٴUteF;h4 <\Y3ٔAG§]ȤΆB^D`K*ϛ.'@NvW7̐/) lr(Wӕ[+]:iqP) VuEƌ5ڑʒYk Hdo?Œ]ԗ: 6 BsSօD8 iߨ e fC,\gϿAaJ1qqʗ[:]؊r?{":"i4hy2ѡx5Z4sp^]_lJ-Α&gYZ0d2702d5c0aaf743be15cc65dbeea3ad92d42322994367ec2d1c78d3b943554e9d9b199959eb8dbf b8874a0591f2f25a4133661dcf87d56ad6cc19e6 8b60965a2e81861e87197b3ed09ea983e78f3bdd