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  Z Z~9~T4 ] HOL-Datatype_Benchmark:threads=6elapsed=494.826cpu=1949.168gc=800.9257zXZִF! 3b]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;yR";JB>޳AgFf1_9mL_ra(b 룎5dCqii{Wdc$\uSR%?A*hcx>+*- gcӉ[ z ) )U?i:hLk| N2H0 RŅѷS`{e C!R ՂĿ~xG { |Xlx|HE'֝~r>074Z^RE `Ղq<_vr,UV.5oƒFfQ)&1Do޼T0Ùy6jSmA)J{˻k_ KCm7,)^Uw75+FT/x&C2+D%>#,e̘"< zPsDT*p,kut=D?چ(m>u- /!83cΉN+VƄ/kX"N"!<1Xa@b$PIlJm-橑pLS_gY1?y,dPoMUzo RF̊}M8-~鏘+i@| o:q^93DqQ<k׷MWMM(ÉI<.@ S4(F:Bݫ?.Tc L0j4o!M7ެ˦ 5 C9܎L;"pl c\ >^y0o'9ޢvLNNj 4GO d('p$C G~Ur sJMg)e *gpDIv tr1ֶץX$CuF欜pVh X+XRi5lfxDZvcМwsNs`*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 "~-"s 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520R 9K' HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢H]D?7 {?:fH\63Y]YRUacC\E 0Y@ eSq󦑘Fj|)>.7ϭx^Z*#@҉b~tݣ~ C~ a~(=`W-/ 5@;lP NP=HWXY_@jdȗ> $̌Yܨ7Cc&YYiUV96#뿏z^[BV(5sexgo.M2xA)%#k{]='/3o4!Ո ; ǂ秾%;QCm%bt_}ԱAg/ÄHˡD,Q!fvA3@q"r0,ފu}̮Ұug3N!-ҰtiJ[sJ!&azb\S"LKdDOC%/Iq*6咪%.C˅7i/0#\R|m M3k:1N2ȗ;ox_DK)ݾ/KzP3 "  (EZhyERǑ0-[ uOe<i 9K# LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]]ˠ)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"䲚#씊7z5/ZJTnzIͷ EaVӊ&I$ L>F7$N\3]U_;bI9AZ%Cj|2yjŊQQL"-;Sm:@Hdu[C֬hD-.ʨ+ v=N3 C؝o EP0AAoub;#i c@m ~[Y\t}u(57MDt8Ƹ4c&3E^Qۼ)R0ϹO;Ŕ-(h˫+WI{= &nEC=4㎙rZټy\RO{t,*7J¡PH/i* $=/+Db7VoCyɂ:0϶ iFɉ'i^3`&Fk.{g~gzUBZN {d QN[ T(\Z&8co,3ꇸ>{ݖzIϟƢ#UmhRIiKQM%cZ_҆g yA l,}lQD_Y2o-xyۙH'z&xέlݪpKtD@]'(KaPec >צLZHY!EJ/[8WH_ %}-@ʅY5J,.rfs*W’Q56oA# AN\ցqȖ]0%T$Ylngn2 u-H/E#d147CX V4 e{TުhJm?UE?7CTɎF W:/o/}HʒHѪ̜ 1û$O-M1+BznB|M֥G"W, 7 0aPNWbUp!J%- ~ɻ.a2nk.љa(x¨22o0qdJXN JsF.kTL- Tl"`}omjvoA#!W,Nt֡[?)Cc' h6=\?%m´M4X h'? Ho@<ѹuH stI+ )说[ve.єPA6)eS $m8i\s3yU Iny{qdz8! ,g5U*ԂY-(Ldn/s NVD;@𽗅[r9-vPEw̒-ԭc.]zƩlbȓy]̒}ˑ(κ03A"m?ܠ(}G!w#|#jHӋ`ERLC/Hz:jۜH^3Ž@[ۨNF?|M&N@I${C?!#u Nݬn_9e-m+G1P`5[96` h\DEf KXYj1fZ)FJ:{KCQ]hLCRvJ.Y Z)[H͟|bko䋳 a:D,!塇-s\ub$/5tISre6$O5l hi\et.SK;Fp2o2vkV$`;Qy{[̿D2.%Cِ*p,BYiֆ 7ps8HjPFa ]OvM igD#EA-?1>S> l$(\c3['ؾJ9LH~WI=mZCXob;#\?oà2c>e9o w=Ϋ* IAWΨ_b3&ZC;k[+~ ᬞ_|!=}bGU+/oxg>U>#v:w,ƘU-el|E~ztƅgYZ~*s[llZYd@b_v<.;:=,<(PP)z`SKTYTvUPXDCƄji ]wJeOPU]:-:&&XKs5yM}) @O%{G& Ŋ*62^2M+ͤ/C"8+)h`M,>Bjəq_ -=Gґ_'>,7=XCW>W5 #,FHv*; ̋<>Y~w+uNИ}>So(#,wl 큹p%i6`B?7 (}@1߭8_PϗoԱcd~!Rk0k'@ _{ иF[[d{v+co^kr9*V2~…MSu\e\dAQ5Xhk:K?aQOxvG_u2#YzdPP 8+,g:۶D=Ѧ2`%\'vlQKsbqN##B 7-BtxMg4ϧ;E Xcv;ɺHbI? ^ ýRR9o- {mZ%MUX i~uQ֬ڤrQB█?[je}iL3A͑N'@6I߇x11` y 3txZC˓66Tl%,~)!Cv@SyW4zp|G_]2y0\ЯU*5C*zN o 7Re p1˸j=ņM18g9lU4ar-'A9IsyV8b{α I\h1{oki0#fs/-|"` / {w:ͰBN(<ɑD' ZT/?mVJ[RB5TSӳfU?\UΥL^Jx-I+ڂx?9i7lv7bI"qExAV Mw9P #含+}H&v|ĦCp,匮kZa';kbnt|9;Ya Tz4aU8Cvu/)< +H܅쩰J |1Gۤߤ'ګ6/y3t! (pJ "$ol᷄b7-$ΰfps? l#ix SpRm=Z~s9 X/(;x^ flt.?%pM9eѹ'qV`=:U+Ҹ ԀGpPZyWp BIm5U1lVӜ"GHOT 34M~Љ] 2)4.Mx%V ]4{ ) ljU":ڦeE,Or2r[g-9?Gc#]7XDH>6:'$?h8XNdc @FrZwX uХZ1YoN/,tkLuGv|28d8ՄIC:[d8[GbwB #<.kvf^靊5fxJ鶾]m?imEJ 0\W9 z$&NgXM@BLBgK:|uS␘Ϫ-%@bˮp[][m/܎dj5OsauGLRGx] ?* ΫYyȽ]?- §If܆q8syIm9AɿK& eLFs4HѤ&fo(p$BE'5\Too,eaRLT*78Wd7ܯe^#GZɾP9֞^с5aeW2_BbR?Li+m53*QZ"E%KцA&FNr/fflħks cǒuDL7W5iˆ5!vpt1˿ZL^E5LV}DZ8܇°F?pi߾/r*yG-rqVܾe?VH'P_b-я6~٘M%/D*IG|BF /ޤ[OaW4+]E'X@Q9ik(j0>y,ˡ1Z z-}Y#:9@ve|/B~ǎ(tydTJKKLDk',ͫ퍐bofdXUNw5:wpph& k1<8.zdC7Rp7`2Ӭ–{zޗ!-ia$yt;1mTw)VkE!}Ս E+y$7?'tÿdq4N˖@fP  #F)Wf>#soo1jP.bs m4NvuV!*[ε]n:"c.+piVDoWI׊B6b!Y.yG/ 6c?/'9mSzO (<ؚ5ܓwSV ֢j~j`as:Q0<}l7+h7bm3?v* r+Y8I |^8Tt l+]C`PEFnz#rtg$W1cT s]%ȩg}M% mwA`vu3$&}4w^QeCn569u ?"n4|óVH(#^ 54`ep\[h`S!`2yL"n ^KR)WZJo('ltWqg>6Zt4[0 a'bR)gn~Gn:;iY- t/8mg dC>*OԤC޵ :K͚LdYK-Cr TIh)g02(:ހLƀ4Hו0exb->&Hnd3%iPr\&L"+ZãAu.t(ޯ o>%քyġSV#hkC9g쎀yR֔db"_ KX{b3ă*eDp("|->Ŝx`taȇQ=\"Ү_܊[b!Aj,{c(|cEDҍګ8i>i(dN{y$"~S;jʨ1 BwZo|yByޭg4]c 5bNǞ h߶.?A׵~4!W.c_p8hWIh]=[qAcJP CiP>,_a_n 6-Ӻ#~q4|oKL9B|!–M{&HJOڑU'wHTV~>gE )|xL*AA X7q #wb( J/$N|%'>g&> <I.i2S=HQ{8irړ0+C>z4|%u=[Ma} YŚR0|6ݷK ǂ/#.1(CnImkQNֹc넴͵``|)d$Uw2G!b{m>s}5C$(6kgkYCF*w8d~?գ.fn'Ӑa޶xG/P;-L&KhgVQs<ƾ;$#o; [i-Ur2#CZ-? <ʅ1g'n"{TB@oXNGypJ)DLE*0f5U1k/Zc($O]0_K&J=3b}N 4M-a:${{p{]qyuR)N)br9AV${5 "( R8;{lm!z3n4`RO0ebL҈@hGV?V͈nN\ !Dz9cf*E#K65>B[#_[gfWo5)XǸk.n^K!hNbIEv/Ed稟F`=hc#/0Vuu3X*Ed~˓R#Y`aW*gqw*c aP(N2Av6ϦIlwa3?r2ڴh8؛qh^ Y,t_:z(Te`R>1ۼLVbnN 7x!OA:Hs ,JݾƓO_Kq$1&ˠ2P|?,="@*q& חǞ rr (Kv{M+F]N'%0tGf,:Ps2,`Y9oR*g(=?ֆUF܆w0 TU_X!Am2R̫AE m$6|#I8AD#(Z)@,ҸuútރN쬆~E;kp֮a.ko9cVda)+iHoy;YGf=ջH1c3HMaD뽀I?]4DB _e6П/43=tXRRIC몽 İ vM$tU?^9'C Zi@oV㥔yY RJޔ{dlޤZC͂aBP4q{#6PQ:+]" G{Fu\yP)Δbx2nM ]L.)0[ S{$8UC,kn :ș&q=Λ{3AL_)$գqxHBoo+@uy A!r61zցAE^A!3EFlX"їȸpoGgz=6 Й'+yڭipxcTU:^Ƣ}Uid:9oMKutJVI!)?%5hBAwui3tldYHγJ׀ѲOJw[8Db,:a|_.4oP)@@N0STM+bQ,. }=&V k$8xtLUabAS&r}txv )5rI+W\1$sVi'K|4+Xq=no b<;꽱n6 [*hZݢd *^b~쥾?Iin$ 1((h?4u5{0'r5NP!G9iX]TBP J6<{!MB&HAl$&Ǒe|V6PRfBt.k.{mVBFJ r|/S&e9Wma⻕-jZjUH黒s(lavI"&a8i]ŷ:!Ib W9)AԘ;ŸxS0ܹny\$;n\r@͹թ%t[_R7ܬ%(mzٵW sPVqeU-hIy#1o E9v>B* ې QXSDSQ@y=j-\1,^b(6TׄtN6aap1GB"nQPWYPJ]XOC Pu=oE'Dǃl;n# @oy$rj0Li--5ڮDh"Y`G9/n5֖Ƽ1><*먜\Ќ*u뉜ќz@`4K,?DfڷS=ԛcb}C䪵A8ZpVs!tbSK8%~碑dx0Q$FgS^1䘴X)XRokp 7HLdľ `uGQ0sB=8bzb6/ț"v8v OSzAh+)AX\n'h)ۤ3gD `xN?L = 9AZWc0˙YJS W abr-;;V+ŗ.*WAέ%Hbh+Q]zkkxb16 rR$jD\p5?hyQa/X6(,}?eܲǃߵeY( :+jjsA(+窏0>BF A,)#GM)=;*@=hX( n`ڤ2HrUJa>XuE" 4kLoI[f5E^(?դ?'QuNROrV ЗZ1n܊BY Ҵ--ZJ'f[Nt 컌b5Z)GRԤ+)Y;ט[&ј=|\wpT bپZeӹ SrBJHln]U;Jڻ6/򯉫s{!ԔgEo C1LfܞGz)Ph?#)c`DdaŦPAۄXnnVwϊg]GwW HIN q#v;!dGE/ǃ@ઐ ןu'mԲnDiM/`K fp woDAxԾ% MѷE(*O+E1ts>FRPFq36&RMj]yY-?pثqU!O9'0r}Y &TƑ^3qȗtlK ʟs}؜pKxjLIWLX%HbQ^u C[cHSh@n07H~`hHt"L\c2@ȑԵhiUY<p!H2X I({z/*c-+ fy]vdP@S 7gdp%A4H@\twuȐR2tU 7!EY^fFKnNz8GeH] ɟ,fԆ kLɀ\пCJ2M3S5FTAMPM+kywSmф8D,9 Cc&;5aǭp_MeRI[\K^J@d4,MF!@2i# HCDV\었9؅эxKD!@-5$KEmֶb??{ߤA@:IBm0]n|"Ac$T_5r `۱fΘA`!wU )C$"#whw~47!aB![PFm?Pztpj Y n#O"1F0cHen̿[hEUW~p6K% IýixOР/;&ۦIgg~;1Iv] ~_h#bUE?{`auƬo(P hNk= c1N5<(obB'k|=RF ] 8O6k ^B@8'kg۶L~CݠqJ񬦌g,s*(~_e=~EK'}KWg 4O^6n0 u|ciR'0ԓgX`14zE? W7Dfb!yt0 m~ucxw*[T_L`L ̻4`i{Q.{'iiku2¶PC2e4m0N%[}=pؕ;P95ol d|%.>_klvHCަcKtdHwxbߔ䵡.ZqI:h]Fr*c 0 fcz:~WeLJ+bh/r]Z1[$l  1jh]'̅F GsG$3{DvW[nP a*&x6;>ÎD*SFW|;1۾GRޤVfmSs[hi?tO@H0 @ Ny92NJҚ re-M^Ij2K]sw# tckmL&rCdGqeZ6: _؎Z"GbaPiP#1@ə墘ziY]a]e /6YܹJ崆tM-w3%/hAT~T:G|쀻e}tղ{ך- |yǐ#+C_]G ]52i_(+j*f͸ҜpnBBjMNSڏ?s7e,0rɡy!hjF @imVBßݹ!J&ZYpY;hkFD`xG%2\EvXsU 0m);1gt 0ŸS*ՔaD͜ց1Bڄ5əbRm4,v+7}Œn1lw1ҋU{QRQ(C&/gu_~†\93l}QtV:k(:=mA)=K Vʥ5ck=NN$ljcrxj\ ճ 0,~j: 73s%t/{͵00{<Qt}vb|snS(aBRP|98~ʖۦgL@pڜnN hw8YCeLJH2Um5+,V1=Dn1.t#>=oxmİ}SSc$흀*2vam[:qHAiKp/zWvnwc v*6sdv~벽2uhh]/8iS̻CNuU=%fhAM TV^םY'U_Ft)+O[FAkFTr}^{bhT߹A]GyeLy o h^jc p+n+Cd״4)[%Ѻ!8L?| n [U~ wgJlW6iugl?=3@LmDưhBMlJD @Fosm7 m㦚WR6pTm  (^k;Vt-.jtYʛ-lP@=,s>AGCyNvl bn)6,bdPB9b>I1n{?zZl]n0[ H p>±¢}b0œw791xm)d[9/xk":[| x{I+؜HQN>7X 9k7 tT_sU ; ѬbۖDisam?ǗpMm .LX-?9+w/*dAPJ'o,o#2Gܵ  yct[#P|yI,r@:wEc|+58Ourd.$Ɨlg _d71]eiMG;84YM+X'W&\ty ~ KKΎoIf:)gtZ058qWaifrK٪Vpːjb qEFk'AVG\bܔӼi%Yp7?{qeWS&DBXf1Oc e2K3{,o(~$tqP\)>VVQytH*<\=(J7~O<. !WPlrR ۵֙Fmc58J,{A,w/ J:`&ς Cxֺ%yjT+VD`X+l!ABsT"0pa ávp4;"cIS^\-<}Ă֤c{B ?^SG9yE%#t%%hLl 6eWvD<:Y~fGbqmA3O}4&'D/ [z7|JlRDc>_ m3eFuz$>7ܡ{CP_[>bP0pT*Zp_Eu݊dqDtU5CmO>s&gqP#!8Va_myR1.b ~(wfY͠a;3tGg+i = ֪G0N62ŋL$אhU#+ *zI*{lT  #iijkdB%ʼw%s<c%M+[U77E\l0K 9F+:dgVnԩi4ݘsDҔ .\4.sR"|r3|ھ¶Y"o闧\p' /yݿ.č%z GMv%0Yn 𬰯4=*jwz)Sk@h>PO2mXXʰ^ }D,auy5 ӂz{JsXؿ'Ew1ԲR3ܟ\HaCjQQ"*,y:vsS<9s 6FF+Ei/C=9#j G&fv~` ˖sV:G(uf͆T0vYTPP//'7LMca Eh=k=jO!s з)J"4:Unx-^g8Os &:5_p&P]F.=G}x`h~,g `9M8cAH0'eϹ~!@9?T(Cl/ɐolۆһ(p6a̚Vh=30O0̈; &´xKS2gr}W75};.lL]NcxKDaD\m߻@K@#'J, Y8"5z> om(옞& }bg[ǖOyk4?|p {mܓ2.ӂቕ05a圢BpXLT(5ΉGק0ң4A_Ue..YH?DbuJ?]:J2A:ק3ћk̞hZc+힄 |@\E h7aLYP4R+,&2}' KdR68_>^S_r'C A ًcLI̗'P;qE}cψ/%HP&g^'/4@˘kx ;)+"3?=$@hb\gNHC9Av%u8[Ɇɩ?XɁX?n 9Tn2VPѹ˴z.ـ{~\k%d ^{dӼX$9 ʱuwm{\:k&M6N[k+s!"9dZo5i&:BUz 9rB.C%[RU,5FD{ r};)Lzi+2-%qu(%a`mҷoDNܬu'ADPE X6 ͽm.%- ҞR_~W'/nDBV؅ 9@m.w77~Y(샃A.uEuFZLZqT|[֎ܬ5x Ж ,vEV,S􈯞/  2e=JYBP+laEJ>D}9>^8|C.8c*WI,$;^&\zcPUS с!$3r-@ Mj0VQlо}f83fg&OA5\DܼSo|tgZpjg#im%nY=?'á&#\9# eqGڧA^1Rrvey=r=1MV԰ E4#G5y;FU xc:ў t| S'](#/`Oq9^ݸ: Wu G#C4nAutBe z!ѩndIv)H9덻5h!X&'Kv=󑄔99]Ebc 1S*ԕ`Q zZ7UyB>A2|'w_rD]// nQ\fPX D+d(ׂI#t ך ezsY~kKs,*cO R飬?-~\(pl W\h0QMȫAu H3myVvzsY Vpu/>yl `L|]ʤ#v81'5l rVvAzzR#lG Vwb4}|u8Ӡ.W墈i,[=~1m**vPh'( ޕIF뭼oē!_cbQ|Gl,s:J6D/ Fg/zŏ?K^1l4˨xz@<ƅ.ˆN(nMó0m9T)48f_JMZОݬ{zcL a/v"i" V8{-Xtŭ,qDm24\7R_cEf„1=leW5YQ@ l\R`ģN{6^] xV$gd϶5a3cԒwahfz O*:NR&ܬ ݵK[ 92ªR):4W u0(s!:=S\9F8˓?kd;\jNO+ͩχ E!|m;fdP6i_նlucio=F\1'Z& @~f YLU 81|ji)zV 4cvDLCP$,z4>=$]-TÓ|0-AB,n Z"Je~Use^+idsV^= _mjOHئg*/Ah5gX1#4tm+돗<<: ]iy  xRN4=D%Ms)lî>w9|ЄY2i7?ƌEn gf:af)1G Lcn:{1D6%t7,[`e.j|PU'aw"쳁.c0NIrY"Iw:}pTڤ*t<0;OkcvX]>e3 (hɪ,e?FG_&@@W^"6t!-„ukA4ӚК4]VǍzS$gMF5J#3K^ @.j].B??YNsL}`1h/SZXa qTest[kȟ[b_7L5x.ƻz80pioFR]Lm0Rұr O?|t1f)bS5@~>e6un6 wk)S!D\o`ZrJ0#9r}BZbL+Ϸe4x"2@^4d{ѭw}bh\5y"N]5Pv{T4R Nv$.F?UҎhR"QFڤ 5 ]Mw); oJŽ>G]) 5ӧda9zRZ`1Bɉo}GI_QjSG5nWhѣWrIQ7"Q.{t8uzbk:YT=&.~b!ڑKa;F$[7\: KGcU"#G1}pN$.]élHZkδ'VDs@d"G ̆K X4()'X$/W}lA4՚ DGZcˊXN#Q"϶hݬYզnfNW˭>6xi ^(-|8mY YNs7[ fm[&&XS:?PGյ)Ko,n銴1%ud1e }:.yuӎn1d+ZǓxҷnOUsʁKʛ29$Cu91« k&k)6).±Eñ=s8W<,J+./?s;HR_CV,97)(992P9WD?tՅcG {L ЗJ-!FbwM В2b^ ]ngeu³ik [W1h ü.Ѱ+ytOt(S#zDpQͺ-7(~бcb1>n?2S*iKo, ?4zb*ӆ@v k(!0>uSre.߃݋cE9B/oV4oT8P85mjr*\*ui";"g㱨13:p%vdP̕Htc͌s8c8Q(1QuS aD@MOv4d)E[?1#V_}s*C ;Jȯ_iW-mf"ejKd2bAe@_ ^~ÝX5N˔7&~\bghxoKz| PiQ֥Z->CU@L7حj!mTwK:!4ilΞs jtߌ H8j.]|᪓/ӏur!ަ7KNFSr%ۍ B&שys ,9}T9]aSwTF[V`!ih+ȅH\{|vo( {k!$S/ vz+k:4@ EZz? k-ǒpY8wޡi+ܙ3a/ @n0xOJ-$%/( FMq lI{-AQC,TTqp *J(JG2k[ey٪M%c<ĝ G ݂n^O#0{{qH6+t B,LJo;+PfL%O7<SY{a?;~BQFzf\G{n)j#g+^듔&y˸a<|L ^e6MfYVv2F[sHEr[ ıIз%AY Y =pK2ݻt|Vɴ?)@_2"QYC{JPIߧu4]MKʤQ #  l=5]IpPK X**Ik4>@ M5LJоCPzn'}לv6I=)ý羱?(IzL[:X.3_/|HI*bV?Q".tAεV{6_UF+J-3uiYdm3}GY>A\CkRh p3㍟OR35:f2!8D:x9<(PH&G]}$q>j2-:l81 q\!c]}hyoC ֌h*;ugF"2,vCJ9\3nPDSͮ6?֗XO=v3Mk8YV#R@6m; Zm[UŕDB|jիRSs\9"X[B%0zJOS=`˗S=爱yƵ>9VdգDPZta!˼lNfw'h`lY\*K yKܾX=w_A X,MXKdCmZ+Yѓpj`DJ1@VyW=Z2 bmD* èJ]ő_FUKRRNA!\7X;([…Im{m={.xɮOUBs=^4nAKWo@ s?BF|,j(d3'˽yQh\HHw6'vC(ݯlEvR8D1+3ۘ41_O{l,IתؼS4y#Bdzyaϵ,t>紱f@İkMREe-YHa]ihyhLg_A,1RLZnrFe?TQH(f`t8.1NH[5˛=kbUπDܥ£1cGmZe~Dݟ(Hެ(Zؑuig7N!eqCkCl+boV% HDsCLm#脫0/HHS |m!~B83Xe̬t-O0 k5~]U%@`h-hC=].ZƔ&.\+_w?JOhG_WTi)3}_S/єCW`t5 5ţ8lk 'yVM>c=>Sg+yO%JXTLUs8Wtp$7hI(ԣU* 4@o]Nɮl>'akzoFn6(J_zqz<£QLc]+>%|>#/@28/01ž $ߏ|]g;?6WEu U߃&ZMV+.?>P~ߞxz_/ P2 +l;#MmVqVcb^FckaHG\w4ׄD(NU/]X2J1=>h郯YX_0@@c eV)M/E/v$4&ybhQytzMq;I`n"3u{,$z9U? !LVq10fXS7=YR7+]NĆl-L%h0d@&GOj `Jg!-\AbET5Uf)DFi" R+k6Оm#>Ѩݪ9*p~G$Zp_;Q[CM%8PٞTÖh+U^36QqTp?k6U$8yӵ7O,)sNZ4EUj-M5@2TLU)'-vx.Rk7dFi涝o3Iw:Z)AvQ(8 m5uě%ԛe(?Hm]†RN&EVBwSW׼S- +]WFid>}:UP}݌ƭR V:3g'w^Nw?G1%:+$('~PK8cܟQ~BLHf)iӯ8`n?龠}xZcL`D_~AòViB޴o=Iޜ ` JڥD;%Q}OdRuJ f +ov~Mtն_Z oG/XSOA~1Z> $X&rҼb Tp`2 uqc͋TL X%Oɳ6 uxTe }Ö)7XgǕzm98M83 Kfxz+:r#4Kj| EJp[ft t*]TF^+p!Brtq `}?3<)Ay&ww٦jYn&sU+̈́LzUI$ |>wQai}PyΓ5jD>ԙh[%pQA gY1Zomb<=npYy}#xWy6_[ocvQC⠢`Z$ +¸[fzd ,>QKȰ_噂mEENd P$+^Z})l/{#u|"؂/_cI ]7)±z -'Ǽ_մ"RI_)ֲHBVfVi`@IQ|~&.BW0B&3Ӳc޺A,'Z}T[1YruDoOUߟa("|Lñ|7oG!&zh9\ M6[y0mٛD67\{$Y|G51!P5i}y1V`&s֎uӱkgs QZZp8%@gB<$;zOg~AJ3?3kC NѶ9{̣U]~TGDr/ Ő@[Bu3-QQnkV.&i-QˀAGTeRXj"}5;_[[ֆ"{ogd6rҚn5J2yZhwuwHƀ:| 6jtǺ;r\J)B Dٱ}b'lfy򅓠^N6v95( e [{ǐ dbv܇߲±{{wx;3,o*BO1](&Ӥ6rdپϡseä.d&wQp)#~<-HL6^bjU#gf-!=@ ](oqb*֜h(G0qL!3>)r}@a'*jOiz WO1?2ewM`@P'Uyބ+yqs1 HPeucF7U/}ـ~tG+CfUtӋϿQUScĠiO nGӬݙ.ސ7cغ$&!πq:ڑR-dڙaQ>YUV{%r*j% k`(:),\5pU]V/*p~ à @MB^N)U|$ya!*blItFWfmB<ȥ Y' aDE"%8M/ZS[)HSj臟{ywo[ 2$]2 }1F95n8DGVPa{y>9KEs"$xݭ\GW*5Tk5d$E>Ts v~ityR9i~@30fqT]c7m6r#?eq|eAU[zcj q'vC_h2ci ?ͩ5^&CU6~ʜ2T^> $ZH]HLKù'm."rSh`d3WȏAgu1:VWVVMj“4nBAQZ|^k!w$w.K_KSiP,nzIU^iڙlZ:bT"^"?NjZ0\ב -8g \60V8r\{_O :r,7$Y2Ə%~EdeS̫!3qu_bvV>}'>/S{BbʒgbspשszlU#sҽ_XE'|{1" FyiRLgƣVBi}oҒdQEa}0w U2䃽.m I+-X96}gft[GD|㧭_ƅ[BS83yUgJL/>>Wh;A+-YU奺Ԁ\wظg{N8Q #lR~m~ej1abMq:ERḇT4׊nq8Q|`6>{ϋgM|qY\u $\5yɲ~ ?Tq͈DK Y8,>\q`R{}r:GnQ\xf"΁Jzۗ.=FCꀷ$;CsWg6ZkKC12{˞\^ɟQLT:걭۫py h!OO4rݫDWHFOkq6$S;Y_\9J!6c^եZ~Vz@ Au#d8kza;H 6ݶ'WCM8e=R{ƺ *N[ǓM3>.e(´Gy@Mj 2(^1z;~,b&L`1JH2ҐkNrAgjOqس9E z!<~nnwqwp 29!-(%MYQl]JP]zAwȄ'20tƫqk9 -*+F#p5 GYPXGFܝ/l>yeբxxλ*(̗DAk\!l0+Vu)H4yƟlC۶pIoeX) T$\gTMbi˷z ں)}t)2}< y+%j B%XVC}^z@XRcĖt?=8iX'mrԌ"55{[B{g?}zLQ+jY[E{L27+> NQ4aaL"οh'M%]pv7RnRkjWI-Rۍ[L:<P^K#7~&}-oɧ (Pϸ1)X(Z"ɗN6X#rݡ]L CMQ;Ii- 6d;:hGo36c-{KRM񗀀k0߬`xjEvx.)ĺ5aI`xw6HВa'aUy1]kO;s:ĥ%OtQ.ں_|E.p_ lv:"a+K DsHI@ r|/DZ2)ߨD'"uV?ZRTuǟ[١Wy@3{?&+32w{_S +yxÏaQh5|ce> ~x23)6ht5 h+wB"5J3o;Qٌ6 o>¾j^Z)+]Y_?QD U:>ZD8ߌn)]qeH $./YӝTb".KSV=%'Q^  JHQ<4|.\J?{ j-Su">@po|b$G\Z`J̮K9dB!܉|>pn ,3Y^}2ͥA LJ|r 0iQC$e2cz.!MaUATZWg%H$o;ڟy\'A޾lq--ǵg+X2J:glRо3y̴5BƃC7.ac땲jRXM2C>ͪExn+:|UyT|"c;h "hrKh\C\i72 5U(wkWX]h@{ܐE65T gC?&PZHmg`rV#lQ&w :[W5FĜx fxo/[eJϡ+CqK_B@6CDA(*=)I݊=<24$ 7TgYZ1 ^=TwbFEȸ-a"+#4LD3iJ?q$f:*>:(<իMW{. }?VMF Ӻ}ׇJWA; r6^}i $f2dkIaKJSA$#;F2pl l2ޠ̱ woX;ALsV*JQT?W0k%Y&i %8yھ8O *<Թ:y&⒀۷2*aSzC55h"pO{me>ѥs`vW,# I_YSj 3kxOMz )&;x. 27VT0 Id4lDl$$;;om2bAO>E4-=ɿ;pɢ_CDO(eXSaY#'BQImG̕~*ihk?O *" h2qHߝbFp=Yv/úۙQ Vnwiv#LMʤw}c}w544S\i3U%b !Rk v8U]I>uڳsm&ΥhNL x;}{ڀbل\O#oM/R7kZETh;W=e^dY.Kr^/ `bn+ a 7.5)reW~؍`PCq[C#a#g2Yz '=J%D̺ ?铆pjrg>{[yE(,#l1IJ8ɂ'8(2e}h qKrU?,~pxb sA-zivVx se^r36^; t=+#E2'KB;Q8 ?D:{iT r~)IKafM=?҉6V]%6lִ.) uS["ukE1 b֫è,:@O7};9li])+վXpa~.3\%$κx'm̼嫺Ń­K %k%tۙ䇂]Qr =@a7yR Eؙ8Akzj: 1fD\Tr=y ;-TH- ez"r  n GbkBb~p5EɠNQhɐaTo."3|osE[]nB0O1Nw)Qcp v:M= E t]'вtj:Nx2eu*73#)qv@^%G$g }P[ah܆RD!?!ˡ2*^%$./TІ0be:Z' P}-fOk/-׏z=Dj9CB4Amrڱ1VڊVuw(gbi \e xupmWa<,85ó\L8E[+ыӲ>{amHB"|{5:O5M0E¬-иcN,iGo~h2)qVC E2r6fu@ o}k Jt]S6Ye(G|b[`̄7iImұ7ᮘ. pHĀ:s/bR'^CWMoO:1 з5# ;Mt;;$@X7M8 ?*yp'jTӂً%aa]EM1 $2!t{cXpSW$NuY1K>y#M OE(T骣Ϊ~L&8[~lg_np z ֽ1o㒸oqׁ_/X軧0l_R1>H|M<::HRY Q?0#Cw$M]bAef^YIbJK(xWX$h`E  ԙYV`%>^[ِ1&C? L{Qhc:;Zxˠ0͸B[|f2쇽2+I9g^C'ai11C~\wFtLO}Ý{ W^%.Ic`ӀΓ=hn̅iqQ'ȄCS#)Nrų0w"6"sײM)E[1Dytw8Ii7ϼ&rj)s ;ǜJ7 9ٿp,hmTdUOAxJl \*llu+bǓ7HEғxXw1$B;A4ao23i6--&w بԥ0%/@;csr IHY`$K}ǣ;z+o^xk\Y>Ir7toГ_(th;уqpawl6Ί/ВM(DS7T%Ǖ(I!n%7e,sxB1YUwy,rplN;f/ ],ҹ?IɃvM5y2ׁNG ]EEbyۚ6QqYcMuQf =cPГ>Bۦ nfSokPn6V]{ϩUIQ o fBu6H̫>jՁ;X}};n!]';QS{"8+~} +MNIQDPigYVq_"gq׎MN1jWx9b-L?O#BXbcCQ/JRvs(C:xW7x GĘ]q- tȆ?9w_kaeq~:_@]HѪR6!/P~Y*@G )gzyiRF?'Ӛ|A0ֳ. `o _N3`plHM{/1 M`=j ap}W×\CBSB _1?kK"O^TBm j3ej_oA[ ltTMm o%=mE.Xj3h\/?2HEdO<'dr5j'*MI7{aBP0߼?Fk=IMQp|}IV*Ii^/^Oh<O*a;gdj6_2zx, MҶ3$i iQ>F<Qo袁6ἷ+Fs!V*W˕d"dU6??xRn ˻VM7!f^H%XWVd4: "Zo_egf$̑AIw RHnR ΁R2 9gs )+xXǕ F 9F#uǕSFs?=Qe9QcPΕFK2ٷ\"~sZwA[ 1NAfl8 AiB#tJ&<j5a,aΚ7 ٳ!Nڐn#z/@1s& ;1b "pQ;B>H,PfE3( PTْ^\{3TlD׺_9":\zܙu;SZ/q[o,̕BFBz[]H(af{t$߻0u5d߅DvgӢ5?x=hOb4|Rz^2Zh;L\D`c峻U"Tmxzf:b&ݤ2=%<[{zeh2hmt3R&|6viޘ:0;j/ul)CK(z29- |dtyXw٠Zi,΃zk wɖl*Q7͞.67K ~QSk3 >PžaGml~Wի {ko|3oMq%9DdLhke:Y+$ <i{]^k7U)] |?Y&aFߎ"b ֬.,J1/m2< l۩sb{Qt)6Cȃ:Ki MN~R*m7m ¶a\c6(a|cɈx8;('#A< LїW\ܣ(O8>I4~<[yx? ~E$-|lkӿkˌIb9:%5i ' L[wH g6{v]Iq%݅!PqQGRsn%$>m~tܛ=[Z8k>` g PQtE}>6I.jA 3c}[Z+ʂg~6Β*4P?Üo Jk$C|j6gy.cTL!Ybj9%-MAW@t/ - +Q|vtW~xg_a g7--GUe<z>7KSl#kO$۪OY_"iL]Lc*ªn%3/f;e` >({X+J [gÜLurec5ˡd M/8΍um*bCȕ o+h_ fzd}_mxoSw5-z  bdl 3ӕh ; 0eGגacӍSCFn kHh4x(QdDfyO!cj;*} ӍFvEnF נ,W $lS2WWoϠ(/= yqkLJH@ű;\ݨVp1QwrP.O%ǗrFPSF E5ebozJݲTxv{ͤ)N)vj/4x;"lɟF_ZUì~5Ghexd7#ƕC鬭ODglwAq9V\:7c%z_ff"܄j[ᨉ٬M`1%+-"Tv3Z*ctN:={Q+ JK2 /z@J,(U֟.&ݞ]I di8'Jfk%F)?{fxE2ni|I MoyhXP0oNLNS`)n~nKp0UHEcbJoD'W`8yr3iD 9 , O&=EQR$^r0`^SͽeYF϶G>{#QwV}&bOχ¸KIu 6ыYʖrsXNZ`곞|&wq*R} D#QA#n"[X(`t2 gXߝ X^Cg_:o"$RF2 ǷB.Xb*ssH+ﶝ}zxg(sΡb4KdNʸ( I?dgp$c?,- @#T纚juL4q^t#MFZl#`0D>jI }V1?Ǵvg"Lk9TeOgsFF1{x6-*"f[wI|O˒Wr[._~őzEO#͙PҘUL] jAf@)zhxQlq גLkX9σw/ҹKҴ)$ d|@{ `?[g5OpZĔ/dq480nIrSB4$6f>YE9g99;kx>ItaTT0G#MV4_~.aQR Btվܠ!24z @׸)~'CA;EIt|5XW\E)gR ZNԂ`zAs˭ AJ!=DT8(;V4Gz<7pt0r?6(}c&RK7p56soI¤ yխjߌי>JUevDxZR` ˱LǙsi˳B:+i |FLQA t"{vUB?vCπ5@M3I< v! 7*f>5Jy9 "l1Gqc8g}*WYӣQ:cV|֚j3?6rV4v 8!́Jf^C|m#2td6F;fm0|@t:qbݛeu#`<ȥ+ z-T *(PH }I :"@d;!Uo6HJsU2vn&2RsSfL\ |D#\][;=*ܼ\4 ~>atKrFf<+akI٤ 89A{G1@nj#t {n:6Kچuٺd#Zc;RI=.w&i^|;^ۅv[=l)hnzɱzB}PӇt *v4_C/qqn]N/-!p&btB<*5 +C ".}-i>@fcX! ̳,Gҩ;(IW^uCgRv zzL n~OnO `#Qx8#$@-J$N5뽚e2jՁBcz9Uw*f~QexKnG-]YsW 4΀Z,끡d~VV%aH=)%ohcnجb ŵ f[ յe92fiD&}d3`%Ho|x:c"Y5'|< 9:QouhV;GC^Z#}>pL2+xPkW6Aq《wU?m#zlgL0-8{36͞,I5{jFn !Ek626[;$+I<$%0:}fۣs[ faudxO n,YMkIߑqre={{e4yz#;cVg{BW`ŭ^1 L–xyoBI׻:QnaM Ow]ox|g9uP(yBT3fq|{{۳+$([b}Rm^\5PMe )9P`%e$0T/h\R6QŵD u{S7w6_D/V9@Q 6L%ai>3?#zo渏 ]pˈ7.hǀkdbԥXNf9Go(c6܁n2=Z^'q+<$F!Ϫ>`.ϧ{E\Fkn kNo9bOnǀKk. nwY{,2lܽ'{䑟.Ve>!(Rn2"UwXg.ee7f{1 8-hIݮo!QD;9㗒Z5e]۲I7^+GFԧAif_OJ썽:_A'gPTcc;Ljk_ %y\3{<#&ee^}rjjO~{d|fB aozٞ<%^K;֚WptJKzT#u2&w,=w~b:aD2~MUY>be8e 6tNҐC"QxpJvh_5䄜9m% oԵMv`q%* !~kh\BiYoMW`ZvLસ]$saZlNs@U~˂k 1 6+?VJ"wT sC ^ն{[!O1Z?jq6\ %lyie{ 8zeO鲪Se+0b֬f^\d;e&bWO@󵓶 ̳"݋ 왚#cP'tkppg+5;HLh%تg(ffh.OZ˺_,3WvO2EpOfrC?û^} Ls)CeVWT˸fC ;Qce@~=|Dx̪P.ԗŘ!m>3a<69SuA^yݳAo Cy'M -C_Xm*`TRCBB?(v8WяɨRbxReE6B5U~iWm(dqF%AL"9l!b! j_l7>pn0)?e,? vUK@tJ3'酒O^5X1X A2j .=ը6FgDjrEb [+O\MR93}{=x"Zq_ ^͜^<} drLE@s]>e9 _9QٳWq9|AjԽPx󯂥hIn oVՈ [MҋKeSX`($Mé^cĜ.b[6}RގRaβ0CTt[rnfq/PP84NipƟED+()7.&&H f}*nuB\Q%)Tf#yߏ ݄ G@e29/̗:v .!=&B*0ZƈcU74 sli_ңS _a ~%W[dl~NX.!FiiRUuY9^M=<ÛǫS&dOwQ{HupN`X|wBN#(nR\aJ3#}2)r<_q\J].=#N8pb#SRSN{2T_/hi?-Y.H{Ii萃r1#.T^`iMx/}2z#P"=`e_Er4G*xBwHV>=tU[\@9L5J]ubr 2Es&2KtMkIH$!L5˙bJ?.qYʣtDTK{5E[\`wEk#8vqױFr/!旝^}Ծ2nwC$sGNv3LS~T2@UܨQ-B0cUtqpBP)'I-.&O|+Jn0xR^P?v^"Y Ծ}s[;LI`q,dݹ U0GͧsU N[߁1+Dn6o"vZG Ol4*iiNDsvՠ<Gc)h_b.pQ_ǽI".A8nSzUV.Rplb?Su @S;0<$H;11LI>H L&>\X.pRFngnXQ :kvܡ96E9p;7kY'N3+L`cs2 IkўsHpVDVj6zˠc9g쏷)-~]-+:Ovz' ˲#VF ~ܭ]gRUvtwL?2DWϨ:@leȊLX:O;>w@pXY+TQLw?5G)ӡQ7~Cx.~ VJsgV$." $7 }ɯڭO05J|4fL D=$s7hŦ/\ hq0 !j;xづp#TiJ+N詁T5YF"hڶ%{hf&%[&j8W 3]?QZD>efCOA9 [4Gx,2Oy$m>`Y{'uR`Q"lT*`"U7NZH1WP_{Oiu}.'Ba"{Y.GxÆۓ+!6pGYECt^ovt4o1̇zlɹb8pqʞhP9lꇒ w^ja7iV&.m׻&-7zR[]~BdR׆ULӅ\$Ԯ *`a`-0d9;;&:>N׬iȜZ4CI `4XPש9p}Wvxk#K̔w7ću@ tw2q~ ?j90:5^HG,%sU`F]6#uNj.)5EӲ"Di6.m xilj^&&hȹ v,0T;'5,J~O\.zkSAyx]gF _Z$0g K;6VvaR6h f==mϚmuBq K t27E $/7бR b)d2G?ؐZNQnkչCX74SRܻIS?E@dRز3I`f-P A®Cdޗ\>̺rRт5"rcɥ iUbGyu;Nfk]RoA隫!]#H.sc á=S* +YS7u-M# ɗݥqXۅH>FBu1r8?~y}^Lrx rpV:%J;bN;CS)m%ʚ=d.{!m8kuv冼UWX70L4(!}VlNYYdjz@6ڑN|h酺/ݺڶ:*Y_Tc#M SnSRmƱVFs} .o2wJM*{8,* =Hd?IG^ (3λBr+e\0pWc'a ]J_M 0Lzǩ~ЊΔHo(5@ /z&]Ρs\5{u-WоA88BBo]<r[,r#d +:cbҥPH]E"9lN&drc,sα %yۙ{]6sN3K}ҵ2#.W}d&jM]s.x[?w"8@A 'B[e;=/i#A.\!V҉D07XbЊ9OnHo<`HHr 4.\S\SKϞ>kJUuz?3񱵵"CK\D*+ _3>uI@cRg].gm&h!8ײeٻw5#Qb[  Wm @!{c_anetvF9Oy$x AQQW S{V!Ți/N /c:0zv ǟP`ꢲd ~q%#X]Gkgt'qNMa!XQ1å:k&Ìc3KƐ rrg2b6jA%c;]WH%T=}oȬיK@2EL)v]Ԁ+$JiAwK1ќ ݭ_=YFa$uh%ą*p XWwΗqҠou_jnq hR1.7#vLjKYHFEePlb"TEk B c*/AAZ+H34Wٸ9|( A ɀ/ۻyezi q\1?G/S HWS#M`ު ԫcT?Ba#T8y־[StYGg̹EZ+X " xo ׹R.tI߃-0/#bß岞Jj$Wa-PX~`FkPX~UlN;.tc >)!GZen/OAKui-}\Sun;+fs>moX\KN _ }3\H$.Ș˟fha`*0a! %}}.3^Ȇ;ɀ&#tp# ( ^-5 "{h{V׾'zy|oRtKm'ˈrbl@0`A,aW(GOe \hD'%xbBs"]8&ki |C|~o*n~!?Īa!ɦPPVy0FW̴zmE R@~׌q{~ I1"/.*Sf2LDTDTlYUCHX5/O|̮Lov'@Q%:(XNVάEBP%&S٦úNoCS5e >,U_d?;?J 7:~$䡷/W軓r1 2G=sγ*sɍ6C#[NiD{tI6U{r>6^lDCj]gSq XZO8BBa0n׵= -Th(9;b4'}.uY\cʺ !ח@SJZ{[QJnǒP!08U Pҷxu? KʩM?ǿo,=k}CN'rޘ^AE@t_B)Por qH&Aqj]Կ~ oDY-Yc(;pfd7y>/N[w5t fcJ+VGՖMM3 ]"Iu^|/\gzIM}[B )s,v;:C?=/HgYtd10 ~tJxCЩgL tQ֐gzlLSeBBk6 z yeףт{39v".I|] Yqh%SkRrrrn=a9yPx0yA\ >SfCk%@> nQr[96/ϴ1"q]0I\aB_7 4U+^ĀS7fgȝspZy*UbJᬢݦ >~ZO&~^~ZE'27P}$̀);f"^u6LXm0ۢA1)R.w:is:!WSշ{_qu,B~油5VU4oeOCR99jC eQ=;t+  fuXs`r7uI{3 cE\Juc0 zX`iYH(s=u 8ꪰ=j(&?[A ǞdR̼Ok-VMg z<-GrK Q;`0c~Pދm!:(+@8IP %Z4!B)(sԶ'^-q\-ƒ3]w+V~=d1av@vf9˿ rxVds+Q8*s}Rܡ<ѯ?\=> + "`OYoS>Fƒ3OZet4A y, t/8^Ƌ. ڐ-5QȤf<*6< uJ 䜕0D+Yacf%6^Jڮr7^'(ޢ:8YNR O0AzE^Z<#XdTTh~҇ ,J7'϶`w՝¸>-\RFN YsMOY>3^\ѓ_O?8ZcoystTpֻܠ}_{ʋ6]ArrMcJ b(?̥Z֤ 4"N4uc˲hD?hxb B2Ccv(r ¯BQ3p>ɃRξrSovlC \:i8vtTav}հ@F1,CK k+ f:Q^tv-lj2"|S6g{/+kAylw̡ok!䶄iC2j4.vn3Бԋ jB푮 7ɉ~V|< K5_Pӧt DtA5FON!ȝ篆-]!Gp&<[H!y Ȥǃt+C gYZ &&p9G' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ifh]Άxʆ5.f-9 rq@ Z ~;ZH޽9߫nk- I@"GgmwAu=CW@{&,OX|SM-ai}r,\/@PSۚu4<5zSсm :@U(%mp^M3.\8 Ŀh'@y`]Ν јt4[$__`E;hN׭:^@OEt``3h3]b Fph?`Ӡ<{>I53rR2 sZ[%, 1o5~2ǵ7wj[aQNEUTMJ(UZ"X> GGHyV$10~iW ML7*AV#ѓsHF(#2xgb^YR,w2RlT6ot}fm0K:+Z̚I \@X1{$B)OO1lCK(>{GQOH~a-}gD$$Rd/.hD01vS8-SUIyetgL@ћGx(9RrdvO#bWjNGy'CzH;LՔpfLZޠ~u +}z"{\P12tcʗB{ @exC8cs-R]h=TR<@96T J"gI 37;1éA*tiEpTu[ n-cq%jSљ9cD!1؁uno%uNS>ISCO7sCZr05*S~u|1v\xrk!D2jaxb;J<K@̏gKpNfQ ypsX,VXoSqJWBi6l,UwMбG7H%d)vh-N(=5ࠋa8m'YX\e1 :K`}LYTU Lo"Է8tpqz&`R#xy0poo~έD8"SF?&s31Eu4mt(x^V5B׵8\D ByU(!<* B.yΒO5sVKF&;u,܈HNzUa%GkkD'W@4Y..+}{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[j42bqIeV!'mx.B<"k:Y9<|b3㶿|ܞFlˏ{5H8\x&$Ҹ0-h%ɸЁ/wK*}^{i5cS0c>5ݸ`; ѹ#l+)10b#2+]vNq tzR,tj`7⠰CK@ r6_Pk-;Dt*.FzqDrI$dp;8 F{[lrP3: }D1w[5<>aI20ZlJ#ɁMZ GcG2-+%E9^qp3ȷT_ 6No- `DܭP$)'ř\`pp+6U Ept\Ci9ftnJ\@s״B^}"`*pQ=7% 6p6뢅Cn'fD ~Y&ЅӎR ͫsdNo%#0g<3G0D 2a.@EzZor}*"'ԙB"x;G5 dFNyzkkP~]~OU>͈YT0V, Rm8K:U__:1 Y%9PuFP/s` Fi|뢟6y{jB.g. 0v%唟JZIh4z,uWL@΍kqPhkoBTx}[[a!õrUwкG$n4I[Y/g?pꆶ,;3;5MM\t+Pƚ=#N23:biޕ[З0t;7I5HU5ыBpX4!zN#){[Ht!pT̖nĈ~UĮ%-% i\wg]W7R}POm 6c'8]^-o Z̰,ﻥP )ӹ/efbY{<0_)P%[8uG쌢75,KPPb ?l#'1׹.lh"(FWf{UcEGUz@L% r_lrl‵т%bUEEՖ$J:`X ,fK[>՜En9;ɡBgypu:j%Y\Ni2ː=9z51{@w\YB{GΔm3LM@8s|ΐZSBk`MH[}>V;9Aq8pNf6/ sc|B HP[ 4n?R.5*cӱ&cPX {$1dh׭7,isasSkHo hY?ac`ol0ZŻ F)l%tQ, wEJ1uk[GVK$["/p`;j;|8^b?Pku`#zOfkD*njyI!oQw=dv:sㇶS؆I66 ~?F)6󪨵Xǎ@xO!t{RL=]7U:E{ 2U@S RI=G`e!J"3G&0#τQ[9%!yycl18(cZ?!~M9Z!ӦMtg64ii2Q8'߁詵X^xt0jTm UC.yG% j1(yՓhb2Bθ o=|5pSߚk-(=QARE~ܺ& 1@VCj qix z(Sj JN=~` ?PhOZ>tڔi+l[Ш-ݧY["eoQʱ8ҜA&0\i-Qk[v "k@(2wYj9"j\OSu0M%}T#"uh}w(;?p,Y[x\8SʽxKV)]0@žˍV}֯`n0zbty}8G(R4Wm)./ z_mvv#+j*L9(u_s5g%uj)שg5U9dǢҼ@QټMwo?)LU|Wqz`U픣j)oA3gRzҶhCSi&i1/q} mjOy2$)"d]X k;iOXWSj)O3HN  y_xG7pOgְV1Ks<=rVcvYaE%!\WÄ>\.Q5'̱1yt9-8=SL&)XL_E᧎N 7^VȺ2.]:T)-!0{w䘛K5Dg(28hd%EW_Q_ b.⩘ Po&pekh[I~Ƞص& S.zZ͜1b_{=inDd}KQȲmG=Knh49\朞 ǴՐ?@sQ2Nt Z6 |Ң-Hv*#!$ pkT Jxr+H7);@.((g-[p#&U'ZA<3{ܽ$ƌ[˪k5ttJ!->zRlPۿ&7*Lw9bqfݠʡs'~,fQHj94R;N˔x?U )4̗~ejq?:|Rj0(Y1d TT6cMd&\=5m;;Da\䒇'ŬJg*+yO `=ĔdH28 < + CY!ɇt0w8.7g-,p!{Kf6OzZAS^*!V2V*W \1AF*Gg+.x)lPsdGD} LHau {ug ٓQ A&BI&=mldPkl>\rV BexXYD|"6+ ȼUTz @gP%Q{Ťn$mE'v O?# ߬%ژMC5t;IQ@ښyV3ɪW,^ĺfaѫrqFJ8UNP+A{N ѓV щ RA[ۑOmP$2 nE@ƦvQLY+.Ko$vf=ӌu=UW#iڳ;G(sn~lyA>?B?x6>srv ik˹0_|zawF:,PwWFOkħ M 6ǭ>RVg~pKŐ6MbJŪY`Ox8ũS.^_xnuW#G+0k|Ʒ6XZa0FLՆ!.qv GM W0NIةm4sy@Cp\c6U[S&þKTቔ%bIPD*7*E #9RZjVTLv5p cg@U}ڿ NJ#Op Ϟzz79^ULNAADaN-{M3 B4 TJi4hI+$%k?^TfYwYIp%cQ{CU*$7r/Lr*͢4l"/ܐ˷Iz|lyl*Yi%H1.S9Re_kCbp=+H9BC $*Q FSMњھF"n ݠlqFf+,$ ,B6R>;Nl35cxEN|y@ rå̙ ]Dg^X,kmٚLzd7hGaSl rЌ͕(!;L 6F,hb !XJИZ<)[O|qИ,2R"c825N.kh&;L/bzzz"*X8* SQ4[yUV5ƽ)Q3N(,qq]E8S ڤըql?ks;|mFDv$b2 npB[n#&=TY }(NFoߎ4tˡ<\ϠQ7#o}0~[~#4M\uUF?2dZ)e(,Rg˯jwކ#ƛ3)" Ic {_?aveE rhv]m,]s_>T.πf Jl. HMn \[=%p۟Eh)=$p7"ύ̔nr tX;޺C9Ha\];nlUTg8Ftum~*XLaJ5iCVeMu >\5la1qkndئ9SmVf},n3G;nU5I#BsRUm9,zKeZp<])b6:τA#bCwt~.3[y&e$"Bݪ(.X.dVc\&.|6%7Oѓ=3vp : j kMMA=XڒC5 ׺w"9KɎ 5[r<ֿ+vs 3fCqO<ص!8B$z&[.^I9֠L0@GA5@GG?Nμ@*9PF2m+_#sJs,xsd:xsG]?U|(_\ĝ| ~R{ly'3eLUґB(J]elSL1Ex~s"KnqGY2~9baVEz#+U `fƹ`CoNk8yrItEͽ6cӏKԐ/~*o`gs#qʈt^W&6!W _q=q߾UIk2 .SZ<0./,UzkìEO@O%9 8 ӼD\8UM>۹+ص?ف?4[b`u |с)IhVU?нAVR%"ɐ7eU+`8sOxGWXey #Mt;Ofb  aOZpt4ixh4kTD탍#|Z`J v 8,E=l(K\^&3;]?ۆ `YE!7*>3PM;tJe> \'{:Amv ,pw| ) ,@:g.'D)O63`OSc3Ri9mі2Y"8f1 [QUSS/'\Cq e_jøW=@ NQlxlh aw15-=@xxP59~^}ɄF䊈ixQ ׬8yôhH miO Yنhݡ-c^QN0t] U d`MRʫ 5mS5:~=Ui{]E.XNi: Ą҄*32!ie}2&.r Šeڃsp7غ/~e]|Z/ؙ͉SFA2`IKz=.UQ a=7Y~b)'`6_; Ӧ,ܾ|Ph^c{NFRvEemzxQ޶,_lh"mwii%5I,@Y7LcaU6C~H:8_ v^{letEٲZ@bJ"%j\wC0Fx*XO O6T@Qxw:+nD鲬 M6qY d\XFhUFMc|'R[u,ۧ'P8Pfkf5:m߿$rόϨZnVw4R0S;IǬiY@pc*s'JBe9/))/Zل=͍SyI#rC]Rk '͚@H~^}1`&GKo-pCeMQ~e`g+)4ˑX"'ӔuLN(-UKM]Idcolcj5TH<˓d}RXc(I3h-)cNnл<}N*?oVdO6ơēeC*/{v߆ԤXKߠi8;AřQH?f- +ډ-HrplM:_`![N8a;v6F4XBƩV!2ܴX*X ߀KOΜUH(AʪmϭjE#EhpUp# ^\!TӅRb0竦=ro˗kB"BLO7"DžHhG rp ^:đZ2jѯw5NN^;=q?Ifl'vU$mu3oJ1 ye0xEлsR ^$+azJڠPmٰٟ,S YeYA ZphMVZ‚%Kl8{ClVDNZF/\W gRAb7;a7\ 5ؘXDC FlY1̝@xNRaޡD.sysJ]HMy g)Gƒ!ԡOXbB(EJ*K^eo̸F`]1R }OJeumD5 |(xG6)98#kzߕ:= \G z*t . ? $ DKQ>@Ϟ11zcs-(b]iey?;irKIt+TNiW e 8A-̺]E`S(oPAHJ5p-Nٹy9v/wG)? ߑy~C8^$t' \ @X'+/̰̈́®Z6BSz]mXM&r6m>) EH]?;Ľ7`G/%p\ +V8ݟtdDıErˌDJ),˫}}46Nz}>B2-zCR u.ӵBդ-`{o$㄀(_afb_ Ӧw%S )#aFgΌ9u)BlD U̝,oW򭰵qj)rܭ._3&z͹h&?'M|4Ur.|`U^l }PdU4Ɔ"5?87ua +Oq@[zU7*"G {{V1K/9IXxň^+)J.-c'͒iY U)d$|_Z!zG>,9](_Ox^ڌ C)ĒIQV-Usm=[vcb  eA:,䡒&22b~ލO9!j/?gw0; /#9,9h*w5+0^aAn\knX* W,4[~yϘt7+oh׽4}1A tI@7=PzLV>y%,`nI^~yq;0U3JVj$ k2ڏV[SX>&B=Ԟ; QqFGƃ%Ĕ}Ty#l"ƟtS}t>>0d'Uӈ0r.@²pv`صB_|*A7B4 ԍL5"ZaP"o fAWA*'^[mH 8Mؖ07d6Ȱ>y2S"á@c346*yg~TnU @&Dzć RdgD%߇%͌K=jӈf0 :H"=nvYS[/eFu:]K[2v.,|xoub_aji,kv%4Qk2f4377ӘJG*;SPj4^w*2ȶElbKAJ$3}/{3:a68h3>g>}[ Ǹ %AP;VҊMYr쯔3E8Z$d}K![>:ӆeſtOsV'-^OXvIG*ԖFй/?}a`s*+/wDriϼ`0{SR`uqLj ~ߢnZ^YTqgKXtǢNs;;~pH]s qŚUiCyL8r堗Dzs7#>"%cTMF@=yj?쌐#K˯t5&<)!oKU:\^Hԯe1q&t]o8սҌ⍃AB Raok$fWo*%\x1j,&+1Q͆fI4 eL3G]+7_QY#ݨ$mz$eRXF-膓;w^^pۜӖ22h}W#вDk>FepN0;oTm"=_ .0է'.BєefA]r_~2b+; `>#`;gC#*G?o7å'$Hm!1=?eI@hͽi7\`ZƊ )Ł@pUCX Tc1\Ȉ:TPoϘ~@-sϣ޹? Ki f؅W'IٛUB$\b)5j uVJ@A ߧ@&)s~e&o&)T~z?dfA'Vh@g2ivjIx5/}n{6ј}:.m=H\Ρ)h )wL{'.(je?,E`IN&}sWW XENS6D^ЃޑH$:khF$|ghzsZsfƶ5Ģ/(7O9g 2{g)\7fL*U){XMֽH"znuge]?4+㴢Dl$u":h47be[c; j utHF i {K!& z%U*eIsoF%q&j 0g3] 55Kqr3lLAej/x׿ (1S&!wSXEN >Z۞h6gP#p,V- 4Ć`MUwҵn/1ϭE"ֳb_=QEŮ"THakUg< (K4jŽYHt8wb 0OHH>xz"|9s(nW։J)h of@VR8ڊkZ]-dH@LYtI_PFmo#.zjBk87HUV YP% g  +'ώNP0;kjD)5U`"J"k(XHWy~ ɜ &]4'/2V&)zJʠ/yeQ_DgPDQ/(fЗ+yy)({)1+d`sgN9y*-X0|× ރ k걲 9Jʪϵ? &N{œ&qh$xx D(`"ZBy2/BG3 j3weŽ¼? &PDf nFݓ/z<`ƒROF؅Bw8`_+B W 2 ^(7'cLo Sm͈"IԦ2&OiM_XW B*qwY{LњT9#=;9t\m]_lh&=Ұ&7$r_nPt#2:h.85vqVe{dӀ.gص;D5]zoCTœZьPP̻50)#N݀R"Gqv}\?p<)7#|x#:5ȠtFG ϮJ*2_p(KȒPv6@j[ͰIdL]^ii]t$Agy~t\fok;De_~ȒY?4àO.$'Xhkȝ12ָD|B<)FlH1] fT]"E\e pY8A.6w "~`47ć%zl0*qpWTofȂ$(21lȰϘHުCz'vWYcAHhU>P/bH"} _c-2IɁ%PNĄ4ގ.Z0爬 jnPv~,u/e8*b؟.jbsPmmxSz/_ا3ATiwoǹZ#RU熱R52G6З˧{95?80C&9*d@ \$V-./.UKS/7>@QpTurO昄j 58'%d}9f R?4v~i/ʡj$<VbnlۋP@Dq FCϒ%utvgD0ڹb00_,Xa7g>^O;bk ڭP@FI KOD<%\,0 %ܩT4pԺm.V'R\qx!Yv&d]`ww10q94pT+I"m1DQs$`FQ)ow>Ǥ`jxskBgsInɿzI6'u<"~{ CDYW+xsC^7]w z]"/ATtW\*۝:Vfq$G t_e'&觵 {s*;ߙTOma@fwTu5A2AWhLgں [&s͙ N`<CpcEM1we#*BF)dJnr=EB/dĻHbxD@M*Oin N+]Ku5OP$zdQHXq:ڗ7m*lk4Xy F/yE"㮌 * +ɤ]`cC |bq:h@-_ v-MUW.oUq7jʶKlך+hB16]m}DyAAS܁aFmHyQV4>hC IF>Z$%A^uM>Z;Kl2t;Y (FV-4ۻi4)ϥah:m'[vzj`ݱN0^xl ri\Da n׍Z&(#1IX5ck<Uv n؉=ڋdkL@)*7I Gx\]e}oK[p!7ZzXcqSXqtTcd쥚.go{[>`x(83ZtT}h5[ٻ?ZS?aYd >Ҙ"J)hkf/4GF<Xibƞa!?k /ULiđ@(`>Q#կǜwqe 1>0\ oc|by{w +=r>j/yN?ETiW-X|!eAZY+1VҚlLkϣ݆z/wߢLlN3ں>J(b4uTW=;#1h>! ?̌L; S0e;CNd tj"s| ,O#6`(O PkqvSģ6*,Kp$ sz6;U{ ;4@XX롋 _u+ʱHQGkNL-1N%O_[堥ӥxzhM܆*rgqn(2-$eI&,"f I9:F\i+{S%vp!J:%n߱.r#ip?Fxx}2L=N9Q?rW]/ ǔ"v2ASE%^ _eYcҌ]Rz8F.LOFeG} ֋T/,ȯf3Uy[^LXtzouCp]5n/Q"1C%CS"y'T1nnJ/ 9rs`/ T]\߮S뛌RKP?sk*}xfCDWi@~+zBfڈ3] \'Gu_^(`|Y(oP긺y'" @I#M;`оDiD/z8aD2reCeFTI]#Ӯ1% =9hB;#-Ӄкݩ +B)Ba|.^8'#7T y?Wr 1o8fKm倪>/cUQ`b|b Deݮ`v8*[ɷ2qAs4OdR9Z͗L9Q2Pq`OVϚy7<MU09o[:ai#?DGZ YI: ]l)+L@ { evXJEL.:k)/ /PgNQn-_Fd֥d;,Tq{w\^{}o@5tG}Fm>Ts!EOWYc`|ba|HqocA^=lߜRJ-ҚL=`2/7YIʰmO|7_-#f/vR;!GI˱fr]-f pw\a)C1miS) w'Z ^uYBy+z,PYNWϧZSHod ~`%w=H%D֎A8ްܓPKX3SNӢOHݼl{OvQC'rZiêZ5u6ejf#4cžm+TUหXVeI˫߂ eU"]E1+& \E&KԦCCi8[Tg&i Cq=Wb9!BT mqj[R8)vAcf'xj;+ c[aE4"M 1jAjb\z;( |\~xzZy}ք1 Z^?Z ՄX-cU;.;BE4 z)/r~iAcko'CT RX[p?H>n>xy\~"(ϧ}4*%uIudﻱKpAEDR^teWi ω0\z{GJ Т~t=Ѣ^ Ug^Oc4AR*q!VH>q"} OT_SX&j`~w&O2q'j9I"{y8AgތP݅W+jŀ~2>oǰu7V`uW}:[ T!?GsԴi}?9IMM>('c<V՘Z rHU2sCF$mƕ/;`p* 1g9~ozI1=, UmY4=}m\Ak>Y, -=,:/] sOj%E#a+~8E3bH x'M[wgrnJ6V ؎2HlVYhhZ8DEbϦ&gá59FںR|V6P8EQ^q/_N!{BPOO{{!n`uۤH+*Np\l !$ izB2L>pM-.ζONdwB]O^q:Z/M:8Ϝ5{%6B0hڝ]ٛ3a5j]R7槃-А +1q@mq%àtz(:"GP~=M;6!98}%%z,\W*|I̔i~kqJǽja]r\OHDqךEB%F"/0BPD@'J?J ˱?Y&4!]p=]+'LxKb^{SpUQYA]zpBW3oQc[:a`nQ7|gŧmV8Z54d;ZHe(ø)+% c7dkWōcU M;kw@7$k+$\Cl=f2ԙ$7>v)>C~6&D=0jmdI%ws@*prlV^?P vI",CbfKX&q}5bsce ӱ.=M߂TrGYRvy*Jbl V pqEg(d#N`" L%8ss*ϴvu oI'ECdLT0>α$cg{(N |򼠒L<%Gw?c& J95(hFA&v} vQP[ԼID!/p c(%Cr;Z8v~eP%a=Ptȑ:1m%(Z c;NFA([ևkΙYUMylX"]ZdYa;b3?s<ގRTtYnaЯoo.z|P3f0A!jJG}p PYF6z)BwqO?Gt=eEh*9C~vꩺC-2%J "ox27g\V*1b=YTFp<7YpFʘG7*Sn:xT OQR={Kz?y3FmU4[ G2I^fVgwjdK*=AL [yvy˦^!Jj~z^lifעh1xdFz]aS9vץxcڟUW.D@ɈLR¼w)4dٟ .b,'xr͉e}v g)]zF.C\! C*IlKR'y OM XmZ( )k[,-rSV47(I:N Lj·qb\ $h脆d a{ٿ~ LXY l8qLvU2s)FCzy gqܾσRy LY~Dd,Ha{:wv}ֈ^ŰԂR ĥ,_2SY`3'.TzkQOlo/T['(FkJqyq>YJR0ܩ@INyX]$ pA$%ui}xgdLG$71ýQОJ5Xg$:cFs鏌$P-R2W,Չoxef(^-?%fWAu_~{io ˑ167VSc~{5z?2 Z_)Ntiqd+h)@nE]cIG ީG΢9A)Mڥ΃ JDB CܤSK;x/%Ar*84y2vƌl} fRw<\J2( *Tl~87xelzL!]/m|!m3@w@ ~|TJot/q#r {GؾmVSd:7=W>U GAd3UD wyKhTrf3 ^5N4{"nHᆖeG*wsIy PVKA\\Zx@\U= d٧re 2 fm88tİW%Yy}Q}i0>iawkqHFe>ۿx,'h39ԥpgBA b͋ @F1HD~WgW.BD[6 9*H9灭˭wxIC> e;Z_ntC8 #` !2P̴=Ou3RJ?-:kfU(MŨqj 2rSHg8==>0\a%g;N6^֨>+ 6ެexdf#@ ~J1iϵɢJ9؃gY-P *=0ɣ^Jg/ 2*R4@ũ%j\pJcɱzp,7 _1tS0,bRcyA&?rӽ@A EvX}sCUR{ͿF DtH ^ɠP){ȈT-aץ/!`h<PcD~-ZP|{$ޗk<ٺYBތj$'q FV仫#<=` )N?s {oWl)^%˲}9ʫ XC@°˜VV$前@c_}eUlOeK6.Y$*\=o % tcuOiI|dt\'0%YundsqR1PW[_zٗ,Nw zDŽ, Jx6P5X+"JmL1~:\ IBSKCa[>J(mɉ=?"6攁5M:;:;F%,4>NP %Mr_*O|C(&?HQ p`w:#` 8`c~ Y1AIr,kQS15b|(1iz)(we9?_<U3JThqc8+L=wSׅ$˝b`7`(:)q7%w@W%ܠX3#R#}X04WBxlpc^g]PՌrK"IԆ p 72nmgN WFӬlFb}@R!2󥏊,q,:?}ISE&Y=.0i(}kzj(Ŗ|ЄH` 0+{޼yc3QI$v PTwWdr(8q*}&G ;,i)b?WO3T1#^oNgwDyDpcTIdŵ$z\Ax]L7OYu%Xn؟|[:];mumc5Ff@4qOsyMme}F\"$@Ůl2&:qש#Z-DW mé8SP}U09% ?ޕ˚ m'; H%}5 1+NZuUT,1VI.Mԑ408oʁ-G3-k(.#t"v՗jP1*rmF]KAZJJdc␍Af7C,"x*,3z޻vjD{8DSRcPJ7IەIQG_tg62hsCoPKl0qw#6U İN^]U LMXS{.bNB1fr Uitܒ*]?r5 "Wr?Wz۞"ʥFܭ+v{L(3~:l6:Kr%,2UM[ytT@k|M>7p`~|WAk[c7GP*mFD-gC*wS_RMg^+[j(ְaj!|=NAo)}tx +JR $sNhB.sz69u!U:|#]U 0#R-Ҕ&?,Kr^܏A!Nn<+\z/`ռN9hK`gb!6%݄6!TP0t<ƱB(|=yT T)4}< ^ ۲a[Ư*9&T_˴\Z0C2F_rYiYߘR j̠k9 =RZ9YoRo,s_+w[w؈~ҡIEl.RdXK@Pon}C͍-|!rj?KAh T} R!}8g4:ϮYt&M,kO mDA}~id, |f$f4@L{.O%G끾 MIaؘbNHLaAq|h_ ~XXJY/JMTơ+<KRMbUaO6C7Cٴ)wc@fnKqYd,R ˧⯦z1Qwkm'+ޭ}(MdZƢ~Fk/*VFCτ/uwmў[zuƖUW,t 3FPpOK!Ru\X:G~1j42 {q0#pWڳ5g*_@\ vgyKx;w̱e%Ӷ8.{vҢ(Rr!h L3g%_L!蟂JZCZڄ/ d/ ~$t#Ӱ2&:6#c7ǩ<`$һ[iFd哥w-5ixܖƒWa&Q$v/=°_nj;v2VmSv'[&?+sf8S=NPD-~=OuYU}Dy xWsԝK@Qs8:u zl@Pm'gڽ](;K¸NUvŧR@e/G}``2So8FU ^@fBŞ뻰s2L(cyw%N!v"hȣ0Dg`zVw%C!lCOfkʠpzi!edtA*:cţRYeUGIR%,u1Ţ&UklHGYT/'̐2<;S_fuD_~%'HqZ!3w:`x _9*a%Dg&f޷ ?>k0Pů&ƒcouDH/֪zO?;ddLҬʹM4y0>q!Rܸ<$j3+'[B/}© VVHqO]DC$v|.!@{I>zޥ!U^0߇Cyٷ D,3,mxpm Ň,3 F<cb++Jn [Ɠa2LGdyd ,fRm4vOgL\~eCl.vxS!k7*7(2o 7K\CVX=7Ermok^,EN>"*$ uN3=μb*jч9WqWkn S# E泽ИJT~u gwطh)`k,7+.dHƇ9u~ѣ80BZs6jDBfH cfG|-~4vl k LzTφڴkc+,91-q]Ga]d?sXjuc,.g!WM ?DevzŬ1:ܡ5 KL]8`нϸ {yrN<4Wİx~9),8!2'E4\N?X:%l,xՋՋLKǿ,e|gYZff7d9d1107230cc28b9f4c35c8bb8049e18df5f417875d9ab39491b14167707e21ee07d18b9ca721 c2f89e2c128cd04657db1c4a339b6fc48c5ee4ec bdeee22d78a99593fd0606f8e3daf729619b057b