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~44 ] HOL-Datatype_Benchmark:threads=6elapsed=513.575cpu=1841.419gc=719.3417zXZִF! 3y]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï; Ro=2uRF {(47|9ksm7τ*#5wJGMŏ+3Hl+)e- 'zp]AyXP@tUr,^WC: ټƅq¼09:cH5h:΀ >6;DzNKqlz4t k#_svF:6ԫskfF`)77WOdtA a? \#^@gH]Rp0,:lUu;sE7D8JC8,L40xC04w~D@UB|1 -4UanUٖ Q\ Aj2p:n=bccN.H ]Y,FXݙ*.XAfXT)(x@ct{|3@4J!p`wT@DAi/kLI4d|tb$gVLyƴ27wai|^_Z1)LC\ÈfU_:Շe:>Z)3հ S*ЄG[ɪ|yK4yHRbj^'^R3N1KzD} DMf64-m`ɨ"XgT\ g:Cљ9F?^=ft@hvdQ;%tW!87CIE Ev栒4?DmX|n[Zžm:N Rfƙ.%ʘY!숥ާ_MWntz\R~ly*)εy 򖂼zlRc)/a mmqjjTj4nnp=-4ae$`Jt,)L %iE!]S^'uқyК@IssN p,Вd/q$N g!-wqgYZ7zXZִF!  ]ŗXiɟ1)*u%9CE]5B7z3e7v. ZO6N o;u"֖c!+"`D>3L #ݱgYZ7zXZִF! 뚚]ŗXi%Hd$dy54atRe8;ӹTs]|)@dZoO*YIX}EW@'Tye0Q$κ"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 *9*s 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520V 9K' $HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢I]D?7 {?:fH\7ZY T}"gtV^00z gP @%qu)ܶQ#{Mh0e/ImM*jUSƕZ9/YuDd77e&s5I?_gg2jݷs4CF0V+պ-p$mkFZ-´*IQXRY'F{YI;ԇ tYFafXU1-Rtڗ*G=킺RƈpTu pIz[Ӊ e⫠:k-EsKCYq; A]}P6n pdLdP0i].n)~ĉi/h|" [֬] ,ì75,%/*<JXle:d(z smCb`c~ m1$jTe_L1ecFRW^1'발nbG][y Čno/6djKb׀V =r[O\(E&gJ4hG(dz'p%>+ EJ48] 9K# 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pQ]ˠ)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_id518s9I# dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씋0ݾIs!^W%9uKsP٣ ,A57?Y̞'Kڴfy☂`î4q ..r׀6=şILjaՎ΍:@ǿjKR+!Så2p*_*Fn$o)2n?N%smZsHGѹ饅 /1"1O;5Ɣ;B o4Sw| ̌ MT;GwX;jC){i<>[q0٩ 3 #Llvw/HCaR'j] 6,ǫٷn'[ͮӸ?ؐIkeGK+0"P}|* kzIkxW/|PuZm 6!\||p@zo_|}5Q7dUpOp1bB ?Qև$&nbuhəϡMv, .[G1f%>]GAD *k &4_06f-AwS&G OK DXT*D)Oxqq2刭WĵT^(К=9TewNe-fΰPEAD*AI)+j#'ṃ76ƒ{ ]5uUR R//nY-nfk*L1{i^m.y%UZ-d 6D-anJpwQ=0~w``DEHmɣ%eL i;?U3O]y \:$0DPIMK+ ґ짂4bEkZk8f'lۺlIvtk?6?X4$XN5_Ex*i% Oaus3W^[jW/a1$(߽ XLV{ Ժ|xw8=% w'ͷ3Μv+e(\[Y]l:Zi !n ZO|9sW ]V ]ͥF;#@O\語DepewMCVں{WGaT؅+bRӒBݒ lY7ꦐ\P9g$Γjq2YhEo떗Eq{Kު9j% t8:[Mߤƅ흪^H]9{FIM޽Y\|fPRק*T-ŵޭsc@zBx e'YJ}\dWU1E)!5Z< ^qh{raGO-q9,6ͱgYZ~*s[llZmXRBxQD9o_ grI1]5 Q܄Hg~eA|{16>kTu坪aTdZ&BzŒ܉k*N1$>E -ע25q>4!;j{1vgepAYOD&+Qr.F)UzXSd'.*;K^LF= axAZOg{6߫W*8K~yOQ B΃^JUIʇկ8@v2}VQOf9@ꟲ/ l8 ɥԨKxĬBѫqii+Ft/@)+?Kd'Ks3SpJQ)EAyTg[9\Mf`g VŐ%ocvURLHkMe%o}nLhܿ+͡d,֔T$=)

hTSFD(BvYm&gl(UDCpc Dů@g:Ŕ巌x=dVZ&C3QTmnPFS3Hv kK @]v/3 -ޮmL F]ԕ㺗O8䉒xpW8#fVu4xvdzp"%'*z۰CaDՖs*#vZI4!l%!S;jg.{>yZ]W(9<ҳ'd۱= '^ș>82N:̋G|H|EQy!cז}s%=BSN\AmHCvw;1*AicDx\R,3ҝzVq7V0 K9+!YiX?O׾se9度#ٗ) 7(,讇4B pgbpt,PKRa2KNLFɲ_N6lE6,o  퓐h"i/a >TP =:o[Q_/XIG z]^]lJC0o)k/j{e3&ɯo^|xL?'J '-$h}a/jdB"v3waz-~KNtաqXq:btcsjxU}^`BT6@m'Xs:ET2Uak%]1=2tU%\ȩtjve"8ea|Zb'Z0qh=IҲ tS/Y@ڤ=_%VcE-- "a7}'^2KDAd4Tͯ~v8yp` b6XN`(FNx`џĭ0/ʼnk5=FQ(32!dSOjʖ",)4xh#H0ƈJ3Ȏ+TT>=i>E{5.DgPr]qs$\aĵ X'54nA{#@e?5/Lt_ôLxIZ!GHNp6{RoKKdaWpj*63D\?0Vɍ*\ՋxrMprNηk \zC8&$$-vC`0|WGN3k+m( MoۣO8*F$`>lmCx:WN^M$:O1 Qm 89eҳyoBތiҁBHy#&1Fg_=ThHAZBp2!|pÜls2LQߤeq˪sK&ǮGZ`)?MTŒ&1Wt/+l[ءu ymjdݐ`^ЧNIN=(yB l]k5=5QfoP8L%`7 m$Zϔ ي 0ɋ`)L0Wy@껓yWAulo2pj>`Sr7;^gP(i[Df7KrDCMdc¿H r$V'=*Zd+PJ\ ifEdDnlDHa-ؾ7y57&O'E#Xc9Xh)kv}䆶Os`80ÉH.fog5}K}U0]=߯\vQk6zSj.is\-^C!}"S0QyvO^;Ż5E\Uqq;T@G. 8lA8L|q=xg ɯdlcl7,D|ED=xGFw 47ѭa{ar<0zZbZzZbcuw'Zȹ[0煑w Ѿ}MNvZr"g;v݀$v?C𸹲Dx~74[묷Tz:ׇ9 9L_Jfv%€RNj6@A/9ʬD 6 S`Z`& U.tON;瑘et[FP|Y9:RiifAi .!kF,׻<54U[B#ofi<"s^A1OgV,k'  E =p0.s#S`&n Qٿ¾ Ѳ5 a2Xmhg4hc$?@bSv0b^ ;ԩݓѳuoM\$%a\|}W}[1CxjEhsNBtU*W Gc:shn'i2^(m,Z~2)k.-^j h% -j.hj]xBT<Uk ǨI,u.mDV2yMGx"H V,9L$J5ֳg1۟*na%~BKC J:8xՃ:N2^(} P|\$":qEWe ȓaZ.LuXh2/)KN0& p"!wSXVu)\WQg07e*[p' >6yƿ=[>H=j67]w]CFb\Y]]8<ڻG""ckxqEI]dܪC(5%zEJ$;7DߞꮈUoČT&nΛE҂ A('zU߂K xhYמjy6)@ׇgo)79PdžnĝZ٦ktL1"g}qrQ<$T>h6D Ō6vDh>ѐhiF C32!?*z/|Gn='c*ʖ=GRlOot&u;NCBm z (Ԉ)~"K KzAvK$D6d~\j{W,A.Cb.OhoDnYj 3\ >+Ļ05:?bV;8-e_3v}Ƌ=<=Ag8]B +ZR Kߎ\9KȁIo5WGx%}TWLrͫ zry+ )Q;nVќ7II; }5C=K *{,]%,.Ŷ3, nެfe:(OYDϯtG/T*;( (~5)"UO2bHkT:ۅEe3R璂Q^yAw#o0衟 ErTs]V W YTRs#9`k"TG.G'@$ =gH֋V]1Jސ:>4VI(%tmu!\Kʎ^12'#Ѭ<*m4wMQ`v^>]+s餯a(QQ`r T3M?8^M)^$f}U(*CYV1h3F K?Zi: )AX9}j}}9:oto/0CKX3&h!\[sg TIzt g>aoeNe/5f,h@資ޙL?C2uJ;i?;Ifa)2BcZ>YW¾&S2\ẁnAvTRIgƊe`몈EC(k-RJ\Љlfz:ȍt z{gb̢JpdC6Z 6$BfX3#2褊`A8T0 [mo62)6k40 b΋.yT}FWD[&,OoW6Nbj<%J&fǒB B 宦<r\;*B2M+WglzoU 1(!r c)q}d!ů@Ziih/+*m <<<^*T8 \HI7&W [#\<3%ĻEٻdZ_(]Un-z x\ʼ}"Cq@{ ;slXauPq{s&o+ӡ(ׯ *H;lf3%Mg>0[~J r2 Dֵfk`#&9K4`LT' ֡/jM PFϫCla>Ńnt̥5 8.Jpr]bX?^pӻZRfɑaߎ b%Iwغۥls~(yʲDsB7Țɋ TGSFy2tZ0AA 5Mrp;to I@E7B9ܦ <U_ԐoE+~ Aɸ2Շbܔb5[l;К*iitvoKAk~YUvAvEV(}W22[<nFz?0rֽ MȨX0Ke.>:#u_J=9MRGONT= w&ЕJȽ6k:f&Lc悽 3k7ͤhD@Ӕ0אDK}|~^w5蔿dbZkNL/.5T\~> Bq,b5(N9ub lTf3m-~n^Vy6wsW1_i KpWt %Є@]֙h9Fc"ջ88* .s(SXC۶"t9nĕ02e.U?-XّiB\K(? O1F} \NyC˦2Fo/K"MOk{y3GS?I:OBgA}?8hR/ti]Ti< D-$ԐQ*X>BߙUQ4Rz("wk@ txE*C`v Rk߂5䜹8&7T^F) I| T0]y܋FTLUAـpmt_ǥ3ۼ~ή,BJR ۇ/DB/g9j?գo6:. -?Lɷ]BbQpF%2j [ kbp+D!^?.?T bӭ.#iOGB. emp흋Q.!>ՌYkNҚO ݄*fi AFK4⒕.Qwz6 2|4aquS1 3l0z Rh 1l˒/E"{/3 BZKKJ {m 宆2_/\v#Ѭ&ք@sqsznvpo0szQ.PN3%)7Y?gsU 13ɡB!(ȬoȍhgOex=% : 1&Dmd?gV[v4W%nkcC)g.ś֝!0d-5 s % `B%QQQ074hxX˄'*]=p6+ N GACFQ΢c| 9SEjl%'/l4'<@.9 V6| QV 'j\{LYdROqYL<6J&Ly&c\t9nPn^slf)kp**,(MՄ$r&uZnjKߐap_nnȩMKQ W٘n!wJ *csXv՛20VQ=ofHȶ~ "7&OTՕgSQFmw7K(u{9ҿ=X22tBcE֕sLB'I@ÌI!6NdZC2洐DX wsJ$+XW{1)*e9U$I{3ʚ&.!}emNȻ^9B>Dݫֳ:~ ˫?nj)+0,N ZTbf& Xp*c&p2xϛv%,V_?Ǡn086T  _ͨ1|.*To;=Pxy_4#%?u ,e~B䂵,i|(IE}`Uց(sA~.PRKU"D )feK4;W9@DT(.f,fN%ցt6>iJ;Fhf3dt,%&%m⿔Nq?18m@[\hw.[=*ش\vD0|HRnJE.rM#v%#bԬVߊ%N*̎՜_7΀a<3cPS]w]9%a -/,W9u` {Vr\@jgr7gnAK˸}/F.'ID4Gi3>&ba@-Wwv$8~ϒ3Wjӽlv $Mshy(p݇#_ea)j-3UW=Cz[uG"6Wdь4E*|jZ?Oۨ:da}10u: 2.8f澔z+%+ݘn QtP q*RȩYcBO32T8I䎈Vn>a뾃zAyH N}"8{mTͧL(*LڇUtmOcGOEQW$"@|Ԑp%{l?t_y~` #f>h*:sZiG+˯l1ya/kxUC2hXJzV"{iEax?U(j|ѽ1XWDJ XnبBWOnt8r&hgd~ Φ2kޘ E:V0NJnjlBߛDC"-&b|k{CʬPb{_L_#`ҚMǒ$kѷ 5bPn@bJkFu=Gj;^\/+OioG͆*%9<<2CD`N,BI8: W2U՟z2([tmHPe3A.68|fXJʩtX@;{>ͶSr% ~$}PYYrvyÏs|\ ih? ]i/:jeZHAYd9cb\^מ^B/P= vh3;#8t|ek3ҘcD\H5pYdc;=3ʞ>`3kBCDg ~q0թs[Ѱ`rK|dWAl *7#܏q~G]\fr[t|Ԡ&rF<+CیbLX8*u:|E n+Ӳ`G2nNUޒTT٭ D&_!M"|x8 _>C9o#=aQWqT0ɶ{M u4XwE&W{$d߁Lij}E#J(Ը 5aH2f'g}D@ û"b9ҫ+UaiMl帻%jJsWX{yRrK._Cgԑ}Xuȡ&P-0AMp[n zK#oOLPit9fQ[?>3wH5xae ̤$@w=ghGЃl)LFv6_лp!$úhf7Kp@ī3s-'p3*G#` k$Y@ϻI"Tzp]Ҝ(BOTB哳3[VJo^q* 5"nSlx Du^C5UAFm!:y>/I@޸<"_酏-<7=z1d&O G.Frt#R"V뮧R\NN-rz22()Op4<5gu6 UXtjVSGWV2̟ _ngj4kQP5;ᙕn6T*t<(V4ZWkځYQ!AV8[65S_&(]9b7gg=q󽚈 jdBĈ"İb]n6~(&o]E5Fbo)*<]i͌^"wx$9H#+ ;~_%WnԧԈUyɃu˶C!xȡ?J_%< V\uW7V[WGnGlE~ ~1xᇍ $Y$lΩUb;#X-%6wkMp%^XI\ xZ,Z\o ݊U]@G{`jkb{8-)爌 ۠s3FPb̛)@{0.03cjnsFuU8lɑU9(X^WY vMҿhεS]у(qˋAm3CjƧل4^^-0M%xBڬ#PZ &LpO{1Y{@O޷=P8P`mMD6p Lj4U^#Nyk+hP);(Cvo^d b/J(FW_Ko#qi3 5HT{fFweHhиˡ2] fE"CÞ-ƻ5~PO;ā|hk*ؘ| ȺCP`a Z'צ=Ջ\HP ?s,ߧWX}.jEEchԛ)<T\\Dypaǥpp)| #FT 9C kOsܩb]UVX+ {Z@}ep9w"w7w'(zm"Xm( L*#6utlCF(,m$KIX pԺ2 R;c{ g'XQTͼm.vc /ExAɀL#nP+}tmQpm|8ٙ/H hH b݇ѷ46-UF:y$څ$v=>!j?N/ -2›cI%  x7<ϭ 42ngSƚ V7$Gu{GUEç(?-ynmj;HMΠY.3^$ɥK-n"q'ezL(r%kj*i8x@8yuYP9[ū VW}-'<UB-*=ɨ4P>b+qyYuج쇅!>b(;^TkHbgBPB^ex(5gh4hH^_$Dj,D~t`Q` SɢC8|{TKWh|`V%]tʟ*!؜IO0lbJĶ%?)N1%51?~$݋MHt2rjdB|M q"*-)YA46 DKٓ]n4.KV̩k\|/,("lw O0yZC܎/*z>0`_gճE0EQǹЧ;2aa[[` ({1-am@yk,tdNx^Y@ӳI$#3M&C5Wc OKRTp2 pL ;%6Q1p/%^U|DqUULpUh9>B_AJ$Wkh|^g+**jpcK=}%(zt=b/?x3!ޘؔQFL)IGʉ,6^]|^?RѡH/!ΞX)la ^ 1-qeavCcK`H'| RuWo4YJY_1B&6bߖruUyj<<=%Uz_BrKqKs҈fٚT m rB0`^( >x2k:^V ,YJ~07[7Z ƓXGWHXi/ X[|3VJ/I43HpY$CJeg, =)Խ`y7oR,l;)2IRlV]ض XkEdBjWu*t/ќb*n\\)mz=§{NmI}/׵C=DrydRKO&,ZF$)c=0OcW.'۾.%J_۞J 浔R*aMyM鼂^򝙳"O(<Y'.FT46!~J$yԂfe+gHvUzvA('iU:a0Z8d-s5Xm\L}MV7;`֡j7og0s29[9Dg5Kԓ`02 +K~l'o9F;DH*ZqB~Iۥ,GJ?v\p)ޖN8 PV lq-cZ*~Ou-_bp<PUlTBl%*fŊZo`>ʵxDB o%We8ki)VߙЦͱ* uf5RBBfp{D;k (R\PIeM=BP4.!r8L9;\vE߰'٨ 7cÔt>G.2:r?l^,FZq(?$1^yff $u"h, mD:>uaR~A (qJiMoH?V󻛵6ņD1Έ%+Q\i t_1e"¥J9拵,#agB`AY69'eIWK090-kBߚ`t|EҹB(7ɟ G EufIsy%֛sC" 'ɗ @οSo.$I*'V@тgRleӡf]|-cS%oNfzCymYNDHkbv>"Ql#1tuFxTAG`:H'@^ h@L6 HB!$x޺Sή~Q]1n0ޯo_ZbE\tazrq;zjz*}pf& aRy[nsA6>BC@LϺ4q~&Pd 8~uϭ@FzN£л"bm=8i h❩Pҡt7M'=$aȽ_3 cBd[Q6"gh/h_v2GOAD,Gn_-o#%Ȫbz^L7_%/dXJk}m&5T\B%mB}Iﳥk-OTJVg}[fF-L+}ck?Er$Qݙ,V%ODѬZlR)ȹݼM;)aog^Ccn.pBKCJN[mx,A!",r{A&gwSʙռbc"2lv9k^*e-غq$ϐ9A޸ K; <'>mT 9Qַy%ugtisi7tJnDҮޤY]`\:#1"g7KoLƛQ @BC(Fd\Z@=M>Wn͸l'8X=P[e0*}:^y1"R?sJBw~,%*ۆNy_܄xwDRX `tQk;[7Wfwn.W ZeV\ tmeO 8v">~T]f%a 80(,Q n!S{<ј9iHݸ1%\Wl&.ˢ yMa\ H#wX RI뎰c6Y(%t shVYrU͎ WjT,# ix-eF$(t9J8؀w7@ji#U /8dy:'i2AbN24+3SpHdU^5@ㄒ`'rt 7K/+tz0KĒ~K$Q\2@#ZW]R W@x?ƧD= 4_Pb~(Td9$ Q8?X:շ U} ٫$pӮ;ЂR/ I*~40"ݬԅ"^i a~z U?e>DRsܥŇLɈQޘ&﷭xCTxć%=-zA[4B{/j0IKzjX[5Fi{3g'U. n~xaFSBDnHutAsF(bF䙃a{Wf"INզ6+|oSv-W"c=-SXbB2avG > x@f}FgV)5Тvt.K(y_"'Dgc7xh.FX՟jr 74_c`B"|}[6M[˅h-ј-dLdΟ^u~QTvĹW#%{<ᐓ! 8"8-s^;U &l`ҹ,jp'7=193-n:/*,^ /f#>x98xSIrؑ7$(쬣̪K~Dh~bb45imvHEu_]4 { }:^(:ćd_t,5NjȠ_:]slOLϻ'Gߵ&}bǩة{1x\{9 a)fZ ?="fRgmRCfx+"6u_(RmZVTF^^{Gqq0AOql-%ўZbxpǬ)t X2 2,V֍k0fDB( wv/y9gQ51+qd\r?H/Th">!y\@ь(ޓ񄽡Y:, 0uۃ>gYϧ() y)e6_5 Q~ c: }yc\ςT 57BAjv6sGIvL_/zn gE`k֎ =y j51JoZm3,u?&DӶ=N)B>ZeT@%qLNP>C2C͹9;~fN`}Ŀip1}#/Ew;ǞbqgV:ټ:؛= To$ K:̚6-l~u`mž)\FK[r{dj21/R0*΄\(Է\`jR~'P`K2ܫܨ5­}saq ohB@A(dZl'YMse zJsku9f^ɒf"7I 9R@êmY\i|\vaQ&Vi bZ=Z%[l  ia{0X-,E)RACFOݺ u з--{1uB㷻Q#]huosy$vÝݝ YRf$^xrF/ʔ-߂qڔRk,(EkY$ ;Xr˄tu7M|zGMeWba%k8^_rP&"wak&g06p 29nOZџ,V4:vRi_*Zno*gc%+0RV%tQNc> Z{HdF{}KOzFz' ==}l:GxĎ2y0;Ctn]vQIv ܁hAO6Z=4fΫc_ϕa_>b+@=tה 0%l ;!P<1 Ga@n.{yn@>G?QJ@d|N>aBeVzFÆ(oIl!VHNq†"w%kx5f{$zwWҁOÙеeߩ T朎%2nI:$j-N+ D7d^,y \ԍXHY-ŀK&2i`9Đȏ>#m:"2`!;_ R^Jh0m~:u~NĆ Ƥ򪙭I n25lPGΜ^c9L|gQjhfiw3T:wyª2[i( 1s33Htv)BlQT䟺K*K KhJ=))qGdѣ.D d`f-@]/ 'M^ *1Sy;o)#X$jD }KƕCo╓xoA@ձx Y.b'^|ϩ pR[+#U|J\ҩz5=,,M@%lkx}W࿨PD'iIAf]:!TtgfP\N# h9#>wg=`Tę# FA7:=pEASy{ h?/v xL&ɖ Wmy qeBz|rMAkf[Cu:ޞmuһ mS[no u H0xh<䵕;Tb_dȄp2S9UH_ 5&w/zYy\כG.UN#vhPr/j<5o@N"}`Z++5y5ed_;OR's<}+Oq~t+Ags%Ab |V SŸ}XxB(tT{[W%BF1WϮGEc> p_S&῎d ^sp_=$1;åed˶=I`Teu# i܍G).n T?&EOVKk>x4E{=>([&_Jm %7JgvL_Qo R@*x@˽@<Be͕SӰk]3m~T LBeE{x._g9L ":scItb,0K ф*#՟͡6ԹIYdsOHޫr 1<:\ȍ q4~Y(prT 6 >M![u <'w9 Ӓ}rB "GsD=CTȈTW_A1 t4Wh] R )L~O=!#(ᓚ[\!@GO"v8z$m)jcmS9SD^0C&Xsv0g0i>I< r̽풮[nR׷TE;pBE=YI~l4F6R~Z4֞蹑B~Ad(y`8&[}ߢ늠w]?L)߈ Li YF!Z+JQBws丳v=o{@񹂴xͱ(52A=AJ_@خbZoXW^ݮ+?Q~LcEnhۂmPCӅD)0J6.x\zܞk(E y%I/?IWT8Z1Dƻx}Ja IoCO.ŧHrD#'5;"d+#BVHR5Wq};sL|qݐ s۟$&@tbr0ؠWhoR;P >AtJۥNqyJpx}2RKA"e;!ȏ'Ebp3cD-vzwtjGo> NW湑PbkR=M/ U4|N1.Q1rj?&ql@.DErF_ݐ뫍lh "TT皨i3S떼PD7B!^kQ[n*&ldBY}Ƚm7.z= =Wi S}m3+MUQI69B=32x 3}jB+sE0V!_T. ]'LMtɗr=+Oψ1\Q2  l$؂mj.Ϟbq&59"قzKH&smo5۳9nj as*nUxx86wUu:1B12?DOLeq A6h>;Up|=1Cn¼`@5ւ("1F<,B3ʊ}Թ"np%SkIb> _4 iP2^y/@DeQ/]N u=s%݆E4': dڹ!4t!F l{)sZؼ4y^AZ[ax˷3\dlbc.;kޫ9ٕ Ì8u+R$wCjsTeCtWZ!+8&2K( cِ{)? vZ25p}ك ;'[@TPGPP Y^ !qY$2Ys'h&RՇZT1rv9aJB'iLSB .$l,g DzI$f`(K4PE5Esd !͛[2[dR eۿp $_5kĊ̹`l l)XXv 8?$5.w3+ M ɰش8 &0lhԘCW ? [zͮvos>hg;b8gcjuS!ňZn&.EBIHDh^|*bPe2 Q'.սjU8i+}JZX I3q.Y>̀_D|9h?ۗ\QlTyB'?"JЭb<۹us s-8w3ȠgG~ ǬJ/&#bOǍYvHΜ`o((<)cz t 2x]ywm6Ǯ_cyMqw8} _ +p5<3ޠldBzڂM#e3)i6-Q>gU-`ηch3eRUrK \]ɎyMz9rnJ}Ÿi-l/4:25̖n3! E~C_VL$q3 +#9hM'hfm{/[U^^oĝ/ˣwk%"CL#,Wnj[=I.Bݙw՚\ЎӋ,CVƳc;4N,w ,l,bt?xۮ e?%Mxcd6ɡU-EKPOt& _rQX}K9!)6$u{qFrޯ1:Xfl=ȕ!|03swr3#'"QLoUa 0dKU}{v0hΝc3XL(J7+7M= ! āļ=#T- -fI1,AQa^DZ߲ Lnl~QѝO7Ū8eFŇg;f_1̿6a_1JoBrV(st)ŏz"R*si% P4஬X H|f`x[2+x\}zS !\(S[2]g11 1ohtUHbS[`2?qEM= Y#>c^RcF`; JFm^п4{Nߩxk&\$[U?KZuiGp`=꼏 T;x=A]VuzZ/ekg%<찳= V}XшO0_An MvjzHPk/h4?x6O TiнI{5xm÷rAFvf#_S՘گ^#s&-N\JsH_N`=D+G0} MYNLh;p:ude1 -s HtCyz@c"yJpa'Oy8h ?YglCoλ(w h EZs<JN@"Z9P$~Xyɡ9+cxp0H)Ʈ&w%Dg2PSgU6Gw Rj;7t8+3O,BXÜT@&^TiГKXg:&o̯=Qr,`S{*͞A rt뼡ܦrI @[A'(y]M\r~m>flpp.+ Q;@UYcN \m.]K>mbLXyIߗɀgw3syה>KgeOh2wZY0Ɗ|Uyx Oj < ٞ i1z BA̜M7&_cKZaE_im~ `i>- ?ޘ\4Z :YՆ[Kw@T6ưJwrS#YLp与3Dt3Qq=)ka2@ ;@rk 1r`!kֿ5!fpn^N FM^rq-^R؄+t}WV]PGuId|9./t*wa/g*z 7cΟ:;(m /2$Ȇ2zdSڸEF֌KFoTZBKGoD)uKgYZ@"-9R;C CUiPw _gJ܋yk\%m8ګ y%A,Ř䄛mE2>[}m5ZP,kgyXjJv@;p)Ë>7-ټݼ qvVQWCMOەFA 4t2{N`D:u}*'1{t$IgLċ2S.3DrلHIu VݔCA/C GDX<=( MDP,Zm>D6AsY[vn]sk6U3ED0f_V? Jh ,-@ߪ'm@#{2wNwf7zj/ H al3)=b|Z҈馋='/61fZ/v˨V9c*F [f44VdˡfІVX#nb=GCw ]gw*񟸟 5Z9;Ϳ*|F h=!Ωc<3o8q0Vԛgم ^qs #yTQז„8jRgmǨ%O3tU.0`\_''sD/D>Ժ}nR ~K,bq{1^3=.vS:4eGp!^ףj6-=HH@_:d}##}VrBÇ+}o=U +a@2Xل@͹(==\\ݲ@s=N t޻,IZqaR)@ ';dW A=΢ &n< Yso1|ϮS=G'7ԉ;W$c1<fxb]5μyᷖȮ3?c60-E(֪6XjgE ]|MXn.yLy!z.A16q)hB9pH%I+hߡy7ߤAPu vv2eC[1혵 ~$1d7ѐrc.j(EP/SIɹXg Qɿ >nA?|pt| 8N3 Ս5A{NlWR)&NUؚZ+Bő*|rAHK^b4v;kAx<7̡r鉫oS&.J+짬O0jYZ~PѠ. ]QE I0v,7Dv _CKKA>1Q=qh_Fv 0,T"i%h6ד`HjRYYFn;Q3\O&,azcePQ9~d@=]=x=o_lE` g#$ bDaքU$Jyh%zS՞05=yfÉDsgx2t IL@8^NiU:lM`%\Tx1DDP"ZKc2)@(aB܀چѶg։ A4(=.̅%nAg(aTb8G7T}%/-p%+0hˤ`WgfîID{&脧:Gf- gˋg"`l@})@L?&P6$omW C" -0Eֺ/¾h+m.H ^}Yzij9ORg|SZc}Wi8*&j(b@ N__%mn_$'Dg6?Y~?"fcI!4|}% bhg_Ql'OԚCױڒ]ŗd,g_؁?7,lܔySjX% s!h !Px lLklwыZ3l C?Ԟ7&غ?ۚ.dDY)*F6~})g8V4CMj,.vU]Ely}khTMPURZ؛Y`n?Z-7{xNpӌIUԚGeZBS3}949tz?JE7n)7KMx}nw|eP,R'`Q,s𾎴P^nS򧸬ӲBs !7ݎ\"pߌƃ%WBFW/. u?AmoB̾tc߳Ld6xI^kyg#9,fL !08_OXvY Ǫ*=)ߊ e0>Ӧwy_֙j^ʕƈ&a2G 9 ?CMҎ8q<9ﭙ}u殯Y f%()2 Ŀ_"ghb*}á.E[H `>mF@sq `ZIYj6&>7TtpG|H~55> blQ9Rq.0OulA3LV1UMn)Yd{J" T< +ہS(Z,8jO\dBi&BG9aA,pb=qvo{}CM ^:rk-M&m]?fk U;ꈓTrn|5 (/NhyrKO|PmX ##)<mb?@C\#JNVʱALX-I40HDj9N&hp142""&t_!/[IfASY Z@vp-&F6,V\!04!xw<,ɨdh?8lEkga(dl [veId Ӱi0_$Y‹M++Qn(pN&|k[9Gc}CzRކJ3lauV+t m{.Fۥ;Ew4~)aE>: ˄ܤi[ ȳj<xVʙqxe(J4q bczSl6fHބ6ZO3b.X rWcl|}~sן2&p~P2EVu4~B ?9{Jg$\u1*dSEm܋z n7UM@P9ȣqddF,54D=+7e'>roq&%hk*w܊d:e4MoGS6ƴ@ G813M/PWm03y%AUn$J4ғ6YJ` 8bw\G%n]N֮g)e,g-ri11y(+\ 8/p(MǏtԊvb^F._Z *Ow4n6D1 saVeK#:M7& !!-촀}L8 Y#i\Qb|ɣ9,TmVq'7hurmgW Qz'!BG y;xo>m^6ƍl7rMx~Y2kq/e4ihֿ]eKa<{m 4$4,ˊ#^kؼ:6*4&wA@"VP\|EC[1-4KV:6w!2?9WY<86ctHuنf!@| B o To>l O{.$~BJ (j=`Q$!tRaܶC!,s%zҚ: @f1 GYJe'l`ʎ{xfׁkvu9}:Yao wtqXϾL$h|ƁRWs6W>QT/S|3=D >aysn!o,ɭ;9zV^& h˂¢@ PعuǷ/}m~]5ޟtRS!݈kÙ&48RT kaq1p]gUeUJNO.΃k<ň* G+ y1G`BALv]EY@\:NSOЭYN)?b,{?7Rg*za~ݝrUePŖFS:BGŗ\V|hAE.r1hM> BH MYBkCYB&CaOA" Gǖ)y}1eo7/tdN=xn9bksH:X}X>٫m7aL~W@h洣y"'*=wUinvg ֮Kbvh!!y"VvPgqq&SR͵70@e7,jrA1 Q/:V S'ٳb" 0/ϡ ~4VO(\geǹrs7+n,izfr fp_Q9_r%\̍^CHX,.0!"aȤr}SK'饮z1<"_A¢18|c.%0wa b=stZ2w?XQ.Aȇ fXW31>⪁GNKUuZ& E !3Y7-m^5p+LIZQ2n/7ĪmO.j.u|_B4C6yFga8l'ɚ7wfNϿ0& `\<` zf4 'xIb~HYÚfz{פ]TiƗO0Җ2W? ziCWZڙ:,MJz-+̄*lM9=Ntvc6[Ck.9)6f(%ۂdih^OV#I, :vC7 I'S1*maQTpr7򊾹d]pܽ951 $Qxx _0>vSx@^+ -SPP0 kT8cjVx_zaRkJ2m8)./t3K̎.Vc"=t%*+uh'}ȕ|{1# O M]5 ~e)h,-*G8#9ȪQ9v عSU7u AqfwЬ a>$'Y5P2:P8s X̀l~þJţepOsgsL.n豻f}vi ,Q?d.2olC:o5/@Fz mcD!v`\UE2M8ҰuWsb? 7"VRtmRfeXj=O  ?݅֯A]LP ʻg(^j "1Q5cM`2hhsP+CnzdIm4׼OWܗ%ƫ#ޱsO.o)CM#"UL\ _ +Ul&;s ./-5B`"q>36QBfh`>2f[┬٠2ǨQu^\{Q^+H񀋨݊ھm jȭp3Xq|{cR9=moAp: T7}6=HYHb9@F85{ġc 싱f`_T]\.xxETNYI'Ue!1Eb ³-9n=لd!GVĜb`Y){<(nT!84>b2ŷC]o -pjkRt|39PK:].Q1 Ѳ{)=J_tJ ӈTzrTY)X YMWM.+Fy,ŖsK;hrqFYBZPz=t"&n x9q%9z[.сcH&QD+LK*E(Z;-⏜JșvnKywqDD,) @@YDR=5Rؼۣi.idѩ-S6 ɬbQ4v*Yʶ rKL쩩9 `/vk]bL-~c/Lj?֋v#Q}9#Gʴw;2#Oly'禧Ov\~Ͻq%BhvT֩|+_V̍Ya}PMTy͡T{.iz~ 41KmlNڒV C%3ޢsM"C5B r""lj=^VK5 Ne9oMtTX"5/gr~NE%?GR .W`0HjUt0'&_Q+v (G#V8`;WHÉ:Ngރ|9㣆EhOlٵPka^Eoz |zsZiTtk4x E#|xtb:Xzfq[6%z"Ǘ9gTɽ YnRBPF?%/mfAďŹ>"mpg%GQ D5N]`\9EuS\:qМ/[x Lg|>JŠQVp]sY @3~>qEii:`SO9k{Φ鉀)v2#v] F[R@@RxȘ)܁XxkiaPe^Խ1%!P*r HN ުX4Z lВ(nqwHA'rCʆk#-*aNMkggU(N1k0+--a.-Ɇj2B-e"}Djn ߃KSc+Ău:'.Ji0~HEL5[y6R iͩS&mګ$m4>L3p*_dƇ|0@̽qћ$2^^R;+CQ=&W$@n8䁡.p<6g.nLϞSCx%_\ r!hѯ (QnͅMJS3[\ -QM L^7PJ|j fn)/h`әŁA7]6Έma7_*B-K%<>Y -x!6qX^T!S-HL<<PU00We%6H0TT1C T.fyˊZ`H NIϗ tk" ;bb)"YvFLzuEpȝ2c%ޗR֙[Xᮥ3 S%: 3@[).axK]]Ti|_ڒǡӾ("d> =z5^uahQ|;R.fEw,\LjK[&( 4. ='#]U:@!\T9e11qPVub[V69X~R6LR?S&X.)\ e1 96UV?1`2Phӊ=iwQV;# &eH;p{v))CJ9>|-6NBWaehٲiv@k4{ >oKa SRXЬ)r'2W9?x:`m==͛Y,|^kD/ZqaP앨wq$C Uyz&Ő[2Gr4h{5w1H'%OK IM7b [ T2bZp`{* Rӳdçr 4 b@Nߝr9k]me/ԣ նu.CA|<=ZKHAѹ# 衩@kYv6l!*XۻaBAtM 4PgGT-cEF@&ߛ0.U=E*+^O$O=Ä#qZ`1Zvp\؛䰊)"DK5I6hߙ΍fWGEzţ`wwl^Y=״N%@8t "ޏKev,/&D[/MTK~ob2I-O*glģӘظi 6/Ϫ<3| q6Y _pQxia\Z݋)ln|tZkf z*ص#c8)R(8iPX5{H׈}]',YMPki[aHeO`٪&VuJywb!2YeyZ-['<j'NOSɯ' #60ͦ9jWm$9y Ŝ;9)CNvKD&mnim`jLF3 }Smv,w%*xtOm)&_}G%K{+23fCJ? [MNN'U\aMhES XȪOR.Jπ'82l$, p.GSpfht|4'XO>D0>ے4=La-ɇo^BEk`.%>Z}Wb:̘3n+ +P2PwOWf {[62 fG?UJ˹'J}4ƜAA0·of'ttWr!!<HHwq w~؈g'EstQ14G m ^L4'rIgMe l@21QDRjȾxj.uciNP 51Ak;ĶHqMw.Ƣ@WlSG@VZVHK#큰y4Bֽ!x+l3+daҕ6d*f&HQHh@mi+q}24#7C6AYޮy2!^Z0zE8gHIY3> i%hHC?ш Ӕ{bU)D؝9EZwv̏=KAD2+M؍>rw/(u\c=! ]Hة&GD8z0 hGɭ(Dm^ɬZȢdl(l-@p}8I&;q`sL X;Ɔ!G %QWkM^B\M^Y˕kqZGHEunv>\ a-:BG7:mM8/1/0=}^@*{wȩ|0ӶYT9-0E8.x.BkFZ.Ccm ǖ'UYQLLj-4 g[gp=&@7zM3d܀aF 6^Lyrt.C5$aY7u.5a;5]. Z:Ϸ|{VFLnyWT 6JM^n\1hU~Ȃj-4IrQ/5[z"P`DoDA8pQ#U~Nqeu^k-f o ʻ{\I?{LCƪF 'L|maIwYnximM 2T욉/ԴQQfɟ<ԗTk!DZ$ *mQ8ppb.|uXΪ)_ݧ^PmHE A 7EbZy;j[ O>CPQpԝWNZ9*Vnwhɺ=;u/ @T O_#G\Ajq{vSrx"PW1>H}dmF@?9:AJp;eCӗwdgʲN kLBP%GZe#lp4F}{[bS*ǟzµu3t\Y('4 4&uܚe(POj:bKp4yM-x {,<[$SU |ZqT=_;|BcѓacmkL4VdY\0(00LFz =7te@amh&iѓ_K@1A$b ;Ӣaչ0*)`CN)1!, +duir&󔈣(NC._+-aP q\QOiŰ=OPʮBꘂ@ӑEeԢ# ƌq_^6QWSV":5_ZNki7s*PW̓z6Ԯ#ONGo'my|^<[UۓcqlCr?|h~v N0'yR:ItVTo.lmlن%Mh ]Sgn]_3 (SB PPuvK]\ew`<u̔|!4z³}ZfTH\ZK'㧚vk?!kV%B?l _ ܅9'T:[+M lߖT.{"5eƐ95_ںn->Kr&;oɬn7VC5a#\%ԓ!_Q$%zq=lLMrEV\4 bR6Y #I nEVs 9]r,=>f|r;}>tI~_ `GA忼UaB[CLN :Q>xbWybJ deͰSSi>ׂvgxͳW+z )e* &dW"[[F"!Hg3nm_.ma O[{>i,KS0M ;_pM*$ ֢D*͚}1"~aWp@%*Ͻ!\, Bg#߈/"E?댽9Ɓ6 !#@:flR`-af͗mB]9aEJp5 鞂ôEO}#4oX2gP&M]JBCN7FsO]V%Aq?x8!SuăD|wid]-O.4 H!a;LXVPF\cWaˡ1}$!.L]anWMPcbb@oG>t؂hB$'bL;rtqc}&*:fOnjLL(G-P#2Xeec1 CС"ɋ@^= c.lu 'N'M- 6t{LvU8;̫`eΏ%U38K3֍ L=l";8OAt`t`2T'ղjCkDUY gΙ݂Os.P:n癮ˀUdqg1%r9KWLpQy8 I7KRĸQUI+GBu6YX;j&zJj(U$D/: G+=஁ʤd8$,X]Kt^QM3G_ @3_T.Fpt` fQlXҳ4r'k-;:G;DQwt=A*͐07J|L $SgZyg{VUlfa$o "DZ$D™O{eJ q)H O y랩d'-Օ(.zԓQU*^Z5&b kׁ I[RTgf& 1bhT63'IY<Sθ1=C-ŵHL)/*mpjBd ]skܵ/銞V2(B RZ(ZZL g/ GVo(Ją~ް=4M%6 N PLl-ɪ܅ꥹ`2LGUݯ[Б_IJ)He-1=9/n 3#$IiafX'(sDM5ZU-L&Cgo6˳JϕNA=O9R&xf+i،cwq&z;Frf$_v=R ב"w\81M_4( _MfRkm &$ hhN5'DAkmq=?!0nК)nucꌐĤI\Œo"W3PlG7k uWEbf:HA̢d\trS UaÖҋ|Oֈv3`uHe 8cӖ}c_m^ͥSZFsT{e:Zpc. i-ӻW SЅɐ<'o//;Mŵv tm3-jҍAbM|87+G,ĉ0*}wCO$ޓ[REe8Z6 bs2H1@@!C8|EԐd"Kufv0] CDcMWF "Ѐ 7vhwnPZ ,e9)Ӡ 5_8evKz"#?D^$'~민ά pCIF/\X͛郩g-Ri v`F]wu<QM)1{?p~}۪p46؂}7%.dH3W&PGؙ{lPq݊XSl'"r@IXƮ#6a|MH8Ab#-MQiPj\pUU T6V-S#] #GY:|C=i|-`m Ӫ Y)qF2jrR'Cv= 7]d #a3eo5694n+AN_"9ЂF_uT `g]dQ\Hh|79E@w?z;WԥqI\@'JxWYЦX`=[d{X*>5R+ߍm$uUy%HFGU}ZL/A?/V ÐVL&E*aAS +:r\Li/2][q'P{&@' +#쥀os"q4RZ`8{>R¥SFCc!x-K9G+#Bٻe smU$mNe^?<5ReKzڇeȑc4_ЭqTB{0w:btOJ򖙮 7U$=%a㣳jŝW{+ Gy+:_@q?_9}Yp|l PQ9Hge)hѰe:+s &sUk |pBXEꍬ@BU'u"iK4Df{󹸪B-  5ޤмp԰iY>{ f|EZ{: V^肀C;L$sKWhJf:Ķ_;aF!`9ඬ`z ,O<ؓFgψr% HT[+=VGڕCڒ6)_ahs\ި5F`yξXmMtK >k^GӼewCHkV"$li(ɸ*(X%ڸ^Ѓ ߦ9Xא(ME<'Oxj2 > ԞXAj%c#$VnuC'ϫZ)(:/DNd"a[ 1bizniXȄ=ڥ7h`vRKܛť\0 C#=MOUH\}%Q:OIcG2:i+$fvB}J[\QLE_4!!Z4˛%{ȡr=&W j\/\o 1s>H-iΦo?p|j";@e3̰8,ŀro4U 9BbӠ֣4ylqTz-J^P||{N-Y3G伤» *Cl@fB԰d~p.iu>t6%?9[YPz&'+'d"<-n-Lh@X;gnmБ~"@Oe !Ӛ׸Ľ+)at\SP}(>#m2$~P} OJ$c1;Td#3p 9>9)^OwkQ ^0}@ u$>ӄIPCԋr@&z͏[`x6UN/,w5u'tMdigtP[V~8GphnF0 BR9VGyrdep@2њl-Ǵq) &]`IwfQwݩb)R̍cT t5%d)ӷvLQj{h\vE*'dz;Ef鎳Resv35r9(C6ϮYk!0{*;@x~t*?3=ðiu~ rZ:) g.̟%Jj\mHOu gH[Us̑Pl4ne`{%AQP_SKte׳n*5OnexhiI c6%?VO5GC LJ]B|D7롸0/UШօ OeEeMʼnМ6\0|O-Ǧkh{@?.|pO,y)4=U|tK #jevoɺ"!&mp!4pu1zR@J32/V`}rcv;VmEdeX|`&1~"r`PQHlG;ݧP7(mcd #,f u*骸aٰSʔ.0ŷQqѢAe< H*Zܭ[6ϩp'WtӤ^m93 *XBe']Cп=7U,3z첖zh+% u^C?1(00I*lQ`/,t|}RkN+eF6-YZHʒ## YUe@5`F> 6}EkfQMz"5:h@'8OjHėU[@o,*J;s5[cY\eX]Ud:!P[Lh'/&F*Rb=h|vRqDqU2]O.k Q6Cto`ۛgʾbI}lqtCznd`7dH?W$aF;ŌPȰjFuK:~f{m[C=h9`"X& .[O<tZ·i#j; G׻_ؘZs6?CgHguĝ+YyGO!AMuL OҎkr}I֩ڹ[)9l¸K tY3 }+,nU5&k`4 5_pO*Eh&Z 0@C]rs⁀ylqNp0oq|X=hX@,LirVv? Eb+m@CtUbo;˯ xC@)zme Hr ;WUi1BFT$'oZSěiA5$$S12AXT嫊KmTƟ$ʎmgҭb.ARB.^ʆ*Ȅ@C=|Gny; nY7mulkJ6Cy,z&r1;DvY1,'9,^:#G$ ߿k;70w P;bt8^nDO#gYZ { 9G# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! Xq]ˠ)jk2p O6LP=͵gl5eϿ>+}{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[j42bqIeVw,Ly.WL!˪-3J6ag)˟׭mAA-TmDQ0_7)&5uyow f/ξ.T3Ln25p̿2Tm<9m` ~,SPPzJǁtsH!jܿ䟰OiحƘe:G<ƹ^5Vs$LmNRQ$ NtHI*6pMM .KbI2ZB)yg4t֚.p1n 1TamWx7x[mj6_'*Ξ1}]`[~4"ޚRfВX}@lҽO LN2"R #EFѣGnb3z UEKxrZE59o7x4s{.Ng=aep )' ݉/|'!CP7{蟹@yһFۍ3J@z^Yl\&O`Q{juosEJ_."$H AϬ6=gN^>*LyNj5~rC3p5] dk#ب:,=s'5&v' Pf?3 SOkL"@kψߏT]W0-AK J6NG%?Z',kŇ_lPS_6M~A6lB--aRzLs{|7>Td'gفd ,zQzw(bO?R0遌f2:e Zۍ؝ĵD321C4h4dmBѣ](3szV̯؊s 8*A_y"KQK3}o;ҽR0&*+c\yhH_ZZa%+YRcY>.oaqR=;tVHmO`THOP[Kߜ (1yZj 84ذf8jZ=ެoGMrsW@ ⨽<#xߓȓhx74͡;uaVP.oEndZ GX0S:WhEޏGIXc>ibDžw@8EjS|fPVd<|*CKHxҮF@A#'W~<isO;R`C$OtC"G3{m}X"qp ;m%Fa._q# p 7f^&n rZ"?"rrmГZ@+/{s B(m }kqs\Q-vR8Y5GEY:mOpB,>_)s".jh ҷ]k:la?iIo $^r,(ݕ'_'oں!9n띦Y&*j~( qK`.o!!E2l99۰ ۇIzd^acXGnIlFhU`ެשxnDUqׂ-cj'3 ܶ;GMO Eg2Uix-   x9G' lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Igo]Άxʆ5.f-9 rq@'{\ۤ|6ӮsC4i֊ |fTR#M$˦fb2#V?q9Pww8YB(d߆Bf^~*ZHCՀGxBqeUe\Qh6|SV5!gll4-\w52 <&Tkn.d< `џ HF3hFœׂ:N5;Bmx| h`..}};O-U{:Ow4=i0]Ւ ֏V п@V31544@qTc!M-b9cuw:(,E7xgPe 下cn50aCjgfX˱AIX.Oy$Q7(눂`!R[D_Gǡ2 ;w:xAGzkх{g.|+sFQ IQkBU'b H.d:p陱ubFU9]`FT"w"z\rݛAUGɒo4\z}λwTv }wW678.^⧽5ܾ$k;=\Ҁ}gLt߃ 4C>îÖ,`mQ3ބ;ǧSYi/Ui17@tw=,3}Hhl%pȒ<s"4ר@_Ce8[hcu&FNa#^-NW 'UY%fg5 L'K/b /^[ ӊE)ږCe ЁN !k Ϗ̥ņj!Uvɱ,H};F=fy-|&۩isTkq|CݳFӆVO+^V(O dIȷ ?m'X#2X/EZWO@]rTCe <&D-yGd.x P6vJ!9Mŋ4/?@z?I,Ɂ:̪8'U*F;V<)TIJ") ^Uְ]5ͻ(A\F h 7*/gE_w=ER[<(YDcCU2wL¨Z\1Z.)bm{9NZqo58K{EoSDDzyt[`7C_̂#Wz)e +HrA_" Jwk Bc%>gؕGټ!G8s2clݏ(o|G,>hIIƲ.hў) .qQk5EZ]]N== 0.\p# lr#(кUfS`gZSʤJeh*TTm{z#=qe^ j6jꂖRb= 4Ix [槞m\2 Y[N\#:NunN*V01a:AA_^4G₺pZT,9wG"8AAd gYZ%@H4D>~`TWn261`[z*Zn&,"Q{ ˈ%Y˛I]VOiE#WRrnSF-b4U1=q#I¼ws9=Tst)ѡ۔'|@hVYxŵn%^EqN:- jvw`wk], }}mH=hrv8qn+OX?7xTϊ7 H}zMC# Y;u+5L}40:Ѕb(.C֓`дT피T2'jl߉ƉV$dU7{x /Z{զ*4{ ʋ"ux*QDE_-Bò|E6Jeu;;Ig[14q|)" #j!&0vo sJ~p}KFv=^zmuݾ&7sR>’[-B#"ٛЖ`ư*L(̫zuSѢ{q -|ES%D[E΀tlS$jDykpT1vӀ̰C,d^5Vt-7a/9zx-$7lfk@أt2/V',nqfOF{vEsq_ ($r˼4Kmd C3;Y`S>v#O9]$<A\0SN֎=0P VRB%{a SݹZW жƕ5t̻b}x'Yk×Yc>})} wT1MSG"ݢQdL8H:Q{k/pF #HyLg-34}Y?HvUVbī`O{0XE\rDz[ڐ@.:ٯ\NcygǧhpF50B\ZA"d?)x)! a`k<##~ xHDEIFa'4CKq&E*ZQiXߘ+}Jq450ѿ9UӁ BmRnKH&|cm H&rӀQ'ush}c/MBTV\Oݩ Pɥ" sTX>:mU?ЭeUrE8oGP$A_(@[6x7NJo!wȲC/:u@e`]urn>$9Xq#)C*:+:L^뼨rU^LQP1G=PKй[qYHX^ ̓s'܏]!e'g7wןWLFPt5IڰqGpťZ)%LS|pCk 5A[ycOF\WN0 Xq8̮q͝]NvJ}2? * ݡwZNUC_Uv95mskZHؿY~x7et~ӿk*>ԲrcaPXn paEȨ,9Z3WWemzay6 &)]vD`>`o! ybFU_W?φ3+1}!8Cm!A%~#Cs&7J> j+T)կ칻 `Ddaȏ}\ *ӴN^wB"_4$mH10~hlBEW[\ ]R 1$藚={dr 擠:ôF=l7\ L&ڢD?XLp=n8;&f-L(ÂUԳ>"ߢY{/T3zwKYX;RtX&78wR;C85q~,.h 6"Y-p)y*߹6k|rվDWiKұv :~wÔܵ&Or4ܷ=4nj[AL  lMqQɿ|ȗ^+񆫮sFf1N9^r?Ce3Ճo|;)$ψ-vceP"6mb. 4Xpy@Lцhc@b]N=\W]ȯ©W.eɲ~7,Z@+fQBP&TC!)e8*lǪgZR+=(4 EȀ9=zh=J/q} B^y8ՆqCg2.h&d)9xǂyS涇?wp@?DLLc|,U$9>Nx Vbtx [|[#L;׿|ܕϧJ҅ytܟؿTR&|At9һ [9H{ M"&NU;GNU9Xrq" &/l :c0aߛ;z!寞H}WEKd}GQO %KߓĪ>qyO,[p,z0;!onv:DjW ڪ?1V Sxgt'Eigz :ޫcw! jk8u71TK_W] 4x*^KkԷӢ 3{#q ̶0i;=muQR0pxv͞r[\24KtDRJ>+1得^N&)vz`AjH u)ïD',S(fZze.MW:!2|j Pm{ۿ@ .h~椷6",!'܍ޏ=x%I%>\w=Vlpb7֟彌{ן e "cK{pYy],|[YFYUpY~$ϐKo+T[Bk 4BIiH9J܍FFoe"^p$y,kN_{ 0ri\^ K#3 HMMp=8q/lE1 a !a?nKdn$*B^ܐ5^ @ި20[E^ӗ*4 -ī6H@ڢk?gr>#Sʎw=kS]Yxф΀ MJ eZRh"FEr\%m$AyRv}, ~mgiape\|ñ1̐-1L:{x 8߹$4Ye*PJ+$37J 1BZ9i`x².2Ċ69 TBvz)ztH6Uk"5hfZ/'P]K]{YɁ3DTkM5^~RNMщe0笷)osTԇic| ӑKdo_ΐz>r. Lu!zoCۅs4cU9VwIb7¾_sᝇD&)}HVW촸sVc #&u$XcKyk6wqt@~+R8?|jQG Wqa8{ͯi'=RL0E/Dl}Gtܓ{g&ZѻʅH@~vpr= m j# 'UuH\\a%M E׭A8:AN}9D LњVvm0n|LAQӱ­ڼBuJSP~y|W>_E;+"Av([E0P5KetT8d +?xPj@Vcsv2ˎa\z@K)hC''Y!79fM$Y?=b\Oog*>},)-DΩzxI˓g2Y6XDət󸋽j]Wo@Е}qXBr WDs&3ƴ誻B <<;*ElOG;Ş@)x v+tҤ{h(`H=3'b u8bZYёHl bb㢥.A I7$h ^ztx1fW̶Ei(5gԂ1HƀH{ڞޜD0+@2<'pF`ewHU5ƶP?-şY _ck@Ayj\+[pwA7VNgꊓ$cĦ |N=YJ뗊*.1PP9A:0K% 3|j_\#jۜ狇0Daš\`MɑE8t8ق>D'pb@vܟ_T=wN~1b݌w?CKXO0`f7-،MfFCo zsr[-cĵ=P_jYaRŘ[,H%|V[7e湠Kk`̜=-Q}[FH+l fpy6iB\[9iQ{̚S';Oi&˂0 4z~Snd'BPtaf)˅L_B==O 7*?@`y'|f !]m)A+ 'v VkW2XЕ㷅41R@CblbN$0S'q (j =9s^WaЩf[f]NU!zA4W ~d-=HZiXz* B'R2t);%0:L/S$f{˟x۝r]D-/n;O>>hJ@7 ؛хhtVhdobb*n6lC4,t^ \k%ӫ]YIi}41JhɗHNtCq5A5k,CMN[C*c\auG@2=* :#mDц20|'lڞ+r%8'ĸ/~-m^ߟ؜S 4 Su' xPuf)R8EHx2.c:4:Aנ[wZP(TXSq kJ2i˴k,&퉸`SHIIT%0L=O3bTb9½_PT¬c|`zc)jC=H6y$z.bt_ä OF*%fM[Ҧ352k5jΖLxM{5H `zJ01r$бMD35-Ѓ_z: X eQ=%(>2ili{V}{ثFU˰/\e|2όNN.m'Muʄ:H)2) ;|]琙;bQ(ۺ6̶΀LoG?UW>k]3:>2i߇F'67u">nk6lczvJTs.d 7ÂzX)a1+ jV*5l,bp̯tF5$FBp /'~_hk=FZfX>=3VJD6kb`sPo$o H0a"kz)`SF+Zk%C*$>lu>lFކsy(.-`$T*vB4庚ldN;H2r)p1_R O= SW2(ݪ6;qq AQpAsR7ʸ[0&>k䡣"|f>4SKH]zIP!0]gmnBTOI_zPaMErɿu0ݮcU9~QH} Ut6gxjM;~ G,`!~6h#;=3KШW1T{Z]:<:ɑD(&ѫr5],BoR@╄:F$o". 'òUrD>쀭[wbC5kdV"ϋ-A-ȃ{3jaL!ﱶk* bj-zFGM>r"++f8`N5K*e AjC}_N x}i@ꈊzU`#AEEPBc+u|Q+?}F=pyiK;S@Q·bۅ׋ݤ 30B/4^m-YnSy}ǻʧ+Q5>!R t. [؂.2 a/27b^ϘCp!՞Ps !^x+)ȟ HG'  WTB_ݠ&`;xvd#L 礹)ׅn|Mp%Y`@,Ÿף:iChT]H.(JXA=^cgWN<ϸ$XE(! uD-ټf1clST:e\`6]Z W{хAlX|-9=PS:9&V"Iij5h1{^|'ms[VҴ^ݍP%5ٮFm vⓃ)[=qYY8S+bo9w>Dq"oAnylmk͸ʢZ10W,XV60Iн-ah re!ӬWOu{oN63f XLդzJXY.]5;ySjy%H)9R:wapF}0KSƲ=4|U_nED6* @'e7r+ BᢎI؅{M- i.K`B/ou}xb nZ]82HD& ,mt&v.pxm?}S&1ʸ2%({{6^64P {elZ1KUTϾ0^LjnOOO0-\qFibwt匟:m=| *&f(6H1c 3!>\ş lO~Nsڄv1U5<]놌FP2=f˧PkJޝXyv|:Rܞ[)r#:i+~R9n^:8USCLEhdXջ~ݠA tB#4>#քۂtMQ.|ezƯbi,p۵DA_$BGO(LEnVsՃOMAg16W5L?L2 IvXX 3U1b0_&Eŏ_Z?#>D{@7W7[d :"֦!՚|t,s}HԀMU[%zB4Oq7x8X0V(33qm4X&y(83x;Sq禸[ t^sg^rxɺ/TG XY9/%S%1g?(K h8JH|mYfS׀Vnc?Y'|,a/+- G>-]ObnÐN؈~Ug%|{Ȗd\W!"nZ@jZ=Fޘ/5)~N44pNF!<3$C{~Gczo *XPm+CM tE@~qydb]fT~P r!;w4,1Cx/┴_&;;0_ eе`I TU7*kK%o.,4`CSq{fJXn +U0L0;O==IKgm%Np OjkwÑUzh.v*IGxÍ-"^Z -h,̻ ~2ռ|vQ^ #vT +M;SS˼B.N6|F'#O 4wpJ'Q7e;"x9*N:/˼"3"A5̀ɔ)~+C)CNuYGmܫ!xUfu BbV:$f1UdI_4~/Jیp"Z@ M8\,s4dG] /B l[mvk 6\*7MIJwR[m2ڑG5=Рx6Jg 8y^Xڱ]gJZ"o[6POi+>J|"@ x;R φ'cEtfM6bD@bZ$'4)GNgtbAKKM9m=+Q~]B!k3C T4v.M1$L[HSIӒߴ[S6c\m+e'݁)G:Ӓ׏|M)/Ҏ$H;w;RJzkݲN/ꇡ虺bwEΨlDBЊkN"NxK !vGE6~ExcuM[<ǿ69 ׵*(%M Q:(/;I.4RJ&{XcZU78eCА'%#3 FHNMsZ٨pC`{I o%2)%Xs I{AG;=4{#0YlBr 0&24b^i{MC97(Yb]_[T悊/y5yϯeZ5G d[>Nw)v\$p(?)jRjfpU.s^LLs=*j(IR TJ*%seeۿ68,3gZ+SVsx{Won0C7jP1h:hZ~ z Ӟm*Duj*>Nk~šb,Q&C80JH'. 5Rϧbu"XHi$.Jbg 4^ _]٥.6);Rk2ʕ zEKX}\`W&GndN/NOC>I E )B05}םKyUg5b4J·R3QV~"8ZD g8@ugNMc)irxkz*1I+^"NDЕ~l(5]I`yP_kĔ*OnY}8] :CǓ#vB7qŜpi1e-sjs[})9מWgfd Xb=ө~59ѧu3䜀#,lkYP淒}6nlR;x,] ~SRJFOuJ Dw ׀c74ގX*SoƵa8 3YHCOh8A4 [ΤՇX{%wsXOǗ#1G,{-RxA6?Bf# Cr  3ڈ{}>*QA)@aZؘ5 ڈM:LM'顋c ke'ʴxbG&-@`,`?ayו ]ԝCH >ϋ~Z̹ys~/iԓ;{$&d`QOv(~"Wx&&n>;y}xN"]s?&@\H~3QSiD7a 5_us4"c)&#uCaHRYv^Ttrcvx E-3uf!I\FRlP`S) :jFݿ%[=יJȁ̳OFaOt7t1DH=kNBs^G[bq}2henB$Qs.Q2/[NHFS=DF]/X +n`HlXjW(te'W L@OԼuE`#U pb*r!/5j&ڇȸ߃I,_sVZ_a>:y7Ӵ0nJYpȬmOJ5% \QG˪HK !"1̿sewL~i,e >u(8UT,C:RhxpcVDwwzCtVKs%OL"2J]ѧk@_ ”?`Ns r%;oLI{' M&r?mf(M1G)31l?͆΍x7[,f47ؕEY/cz'?ti W(S6$2O} /m8rk [4V?a6h/Q_ ɝ%1vh*TfQ̆UI tHy~_M&(EV s_Z~S !( +C2x_p=a@%G,G->ҁT:ӊ54`Y*?shȪOezC2Γg}JC`!ޗ؜)uvmO_~j,K‡9[ S.HqRngP3gNoԂodk 7D(T|?pQQh}^̂z ӥCyR}^޳*;p D۹M{Ī/C(jE4/E5v &2ۍ=PV)&9Cn~[_0`C?kyy+kg9#a '1X]U-ScӉ,ȓ>8}r=+{ywuG.C9Bxo2U.CTPf,%9Y3&9T"XP4:M}mJj?,<1xoMC>R"`@U¼1-Cc 塘w=U9w.EB/kdoN/]b5T%ƞF7m)^>b'Mdm^PdeVAqD$wo;f5LWl?EY]K9Z) 94Ǟ\!)F[Noݍ"V؃Ewih0rvcXɻ#\x C\Qv vF`s_0%IPڀM>ͩkH>'>Tn"5(a"& ,b }$z@5  T]-ޫ=c劀+O< oݺԺ.eiِ@Y!1HƘN"Y"MzUE"G wzpy[9'1`(Dt>>'RhxhoKxؓ=ЏIi(2ɑRvKȭSHs,-i |͂5 %c6Rݻ7Tk\,6YHiƸ&+$iîZaN2LVꉉz/TD\,Ss P_pu /#wxΣ }s5D]è/z @pPfn=SȥN NTw,Ro3XJ)s[8 =$8p[o8,yTds{>BAVz/b8 >sztJLtnU7m_|$y(a#ϊ-ǡ,c`uD&x@I74& ~(,CtCn'moZKj#aW.Nºz> ?L#aTm{HG0΁ dFzyJ;zp?(ĝDa{?9`tSg-0)3з.V!Y_X> fBFMHڑFԨ DͽsL܆r>u#flOi\׍ Ѱ!TYFJc~lå2ɫzQnjhn-XݽN_ղЊt"??CwM2ίہ|7T[Z|wea"fҲ.V.ز?vy®:ȲB+w%(̫BF$jiBDl.C_{\(7^݈+uS+*س% 䮮#ӛ7>0$o2l=a$<y8bm[9!ɺ;5ij˵!eXD,^hƊ,x!|CeYԬ -Qgļh̴3qQڼF$r<C6$?yR倁^ˢ5(XZߑUOEќi& 4YdITyDᆪkOIXdR&Hi+.z͆ΗޫAfN6D[}=q!_?p2y2 =\#GY ru-$D,gqf` ;A :Imԧ(TwSLp6YQ`DGh"Ƭ0O/W!+L 'ǥ%ȃ12gA%9ɶNfT]&t`$Wf{f&!yVd.$̲ueSN`ՃqI-f'@eA+e暔Ii:A U<:YQgՂPIKk EKƶ,2 p VAwFPx:OhqKt ę:^Jo.ش#cG1,r0w]pLys@ I|2~K:µMHUІxZjboeGȹڇ\s*@0fG0@lԀMJrk\K:>@epo&qm`=|ث. 6s-GI *ϾΤ.(S5*<ٻ!>ȁ345 %!SdٷWOV cs~'y׊;@0ImIƲK xqflq %/Xryðfts wBrq7 mcF5p:r< LM %kI2!abiWBquKHa࿼$E>V/T4 +,a.; ?u*kЇb$Mک aE"4(G39䳩I= `G6 z&*TCJ8d)Hv@Pםշ;9N|^TuLق>c_ VQz؀П} P۷#$E DpFl흭H\XfɷU`i6r+C/qŢ^;+iO* '| MV=1P2glEL@&v nVhԳ$CuxGۄD{3 JD77 n4'A7p-d,W!v0If.lhfNn5-5PNduBfEPH!N;u a%z`*P4$k5?8 O4jڪX`Q0@FrQ3T%[~ S׶ӽ$@&n@c{`I0y&>F%"",/\nGMxcBT 7}>.]̔L|hQw63 ji({g rTS%7DT(Z:ҦL t5`y: ,LyLpC=lƤ׍@@(^Z?4y%p,AQ FgSKe˳]/=y- j1˜uUnS-d:|n?m7(2H&TڶQ EE_K֜8 gumlOoiK<Fj?]qx';69KM D)J6 *N\G &\ͲZ76 p)(نڙo;PeyX\\e}{ N/lgjoH Lq*cp+3(;cafN/cJ; O]k,`9zEܐ#1f~>BU_nV>/Egpr GLh UuW(g`9zY`ڪ_$ww޶Sg;8b]hɿ&DGmjJy@0Xi}oWybP=&?onxJ{ɳ$ w{c@~8 cݡ.FQ| 5aer 4@3 J${,zM8ل)őCDLB£M%L<#Xu!gxtKYka 3k1[,w:szx"Nz/%1}xL.- zx:R(f'="%71k:}b(Q]-Id`q?iHu;kf2Dj þ|;W^7ʔg_\:|SH-h dxnp["{I}i LdqM"o X~jWSd ʩRG* z ,C0*U h+˃$) 3X|3[ЈozcٶkdaVLag^ӥtј4}Fp>K%ȉ!PlDDwM<&Ed,Aʢ_?0Q.XoG&HU 9mx=*s\Htغt$FE]dZ>eEq}`$Y[Ra0E^4HB݄ Rڧ9`Prq u\h ja%-{:oϤgT<,}}WO\O;53pq-)';`/ ֳt}. <ȼI}7},B{D׍Py/ՃN`N_wVtb]#r(f\Xtiʌ6̟@idz4U z;ߴXayʮ#./Uif O#) ?e0^9Im&9(BtscL=kTd9L.Sbl-&^ w Օ{dMYG0z!CQmţx6 P<+HJYC<7+?1&J{ ?C?%kUި(EL&wG H8|*Ph2^>Ѵs9u)u *"7^/bB:8- tUqU?EmM_?kO6p!׵6<G I6Ogx~I6ת<|Ll7vҊ*/R F8l źA.|!M߾ $Ybjv_>H"r#^/ە 石9g\1}._,^~keW>EZj۪SԆo]|ၶA^FI .VQH5<=ϩXE+N,hHq72iiVEԀY?M4B nZm5ؐ<|Tf$A`;t{%粔M0P,y`Py&/4ܵz3.߇uqT#_!uB9 ˥95M$_f&j*N/ be+(WjT4b ^4c1U׾UwC/ #]l&%i g*Bn !p}$""VP8 U%:wQ3Cְx 8B)<1M{s҈a VMtѱ*(@*'c. NFšJnff{Ntm/n,2t ۘ\ %#S @dV\9!bgE_=8QT0scU7*$@? ND(z)5w3 (9?MӤa_Y!V;v&a2Int6֢ɴ%~vx ->oVf$ǘujYt81D<_ $;'aX eS5B75*~9WdJ@tNNQqѳG QNmq5xY"%rbHR"{2SUsgך\TÙU}\DXuYE9 nl< ͌%3U6ڟ iD9쥑kYT pObkd Ϥm_m" &-7ny:s"~Q O 1UX{#"Gbl. q ,N?wIKK I )9kztzi{G}0pzNUM`̤L!]8ێɤmh(%Ɵr 4P&,Nɖ|!&yS FuWL\oC\y)_-Z(IVvwǏKp$):1tE턐g|}lo eÁ#Zdid]@1{짡F<"m|4.E)erUƹ-;zgSN=;/ 5ƈ1v]𐰞n8| ,N)AR+QSg48[2mvFNЋhxuwT{,6)A4+H @>>>,/ r=q!vLI8>'-LK,y{2OLH_Zӊ=uUTfvN7֎VCkGiâo9s ZiLzR맬@W3e&(wP і/aY4`$wztmuր"e>`]JNDp? (O9v{{D_e$È2>P6aM]:o@_\&dx$ғCT!wv:*oUB:2h~2?NUz qYD$J=mfER7p!RS(H9Z>sM| [VAF%e; kn+Io琍xa 79aBTT JHxyEYٝjG!?6?dmo$ap,.J9YXR&- BHjAt`*L~P0jh)VD`C9]u&A:賂$8= RrVc_A{5oFx=3*4 pxe: yGWu{)e}D]/fWv w>Hc91wˏf5]4FVV>+*)}!BORx\q}iXD½w7X }fXwGĨAsߴa:kRK{s8 aOf3,xCj 7N(A(r`Qt -VJ  ŗ >ɞzBkm4{,$KUȪџe1-hL:-0g7TVemɮS|Ǵr[ iM$NH)w;X_Rs7҇ BlE8\PWv!c%I 31iö٦ ~Q 78 ܤ#>`:%D2Sbҩnܡh̑7-M4R%}XI]:3:rH7/GmdM9j*]I[ f;eHUh{508깵ԅad;M>[$j),uk2ГIz[ ڰAq/!eWTON9mR&\W$(U^)}FgV@79Xk%:Y?l~z *Ƚg-Doe/+n#VGv$q[MLJ]:%;״XI'(:&d.r@!$ǎaqݢUdka1(esCg8 Lzpzvo;nəlpdI8ܐUOG~5ު"܅l0V d:gc:Cـ{3u9PQScdjtRy$yQp-q6L]' 5i נZ WHcB]\~XH0ZN5Z^bcrT~+8As c'#x{ooW#XiR>rX?jr`-C-5J=0ec}ouKg-ø E49\Զ;!%D\uPCбߴg㲆UzyEbqS; 1c}Ew!i0Ȍz==LCM `B/A}\tPEW`,ϵk̝>!mHt64xotU-3P9lD #BA-Gx-(a.pnk(lwfP댏^̯{TGbS).C>I m*i.0`$${d gr'.I@H.;$єځV$u s2yGкWdgIœ\!6-βw覛*ZYduuJ5cܳmc鬲2/=32붥EDDՉ>n}7d~0QsP!֙\[bkY"G^p3|ZPb;1_}+$?4.fMGUӠ=>z?P]1y~hCUdgFaZfdK1G-)ɒˉ(z`z]вTGiDUo@I WHx|:%o t1%!M&+&i0S>Uj$TpScyB7?c!yG^Q}F3S-xmyrdГH9 f~j P=a砈7K3`8kln+ 'ZCK=ULr? 3RXo4UfۖLHүt 8^e+!`E9 W{Gaj3~3fxj'íG /Uw 2CR",fЄ 4j+c0`o.ۉAR~p{,2[ yCe9Jɻ`Z ڟsp`赓0cFD9 ϛ 㩷 Yz'42@OLh}`1PۄT_v1`Ai#JB w34?XNxwX\ՖRMӡlO/*U#CgEyA{2M W( *\>ؕ)I"+*oꞄ!cպhFDMb K6PofHS+G3,?/5NRS,զZ7n% Aj j%n2Ԇ#2֋M\UASz7\L\DՎ9rtIx`d 8pPiɐad44 3| 0w,Z)Icoa Nyݕ/PPmNzڄ~@I aMV+Tv]Qٸbe%T3ltDNs zZᄠkRшةZa(LF0t/3NŇ.U, rչK vNlM;3l|i֘nS 7!f^uڇI+QbeX$W!W6x3q'Y=Pw#3ҵYK}-2Ӑy/ĿLNAh12 -OA|+P %|w&qnhOŧX_I[RtK5E0w0,$#;~hwh["9ԁ5RE^=з^*NܦVL@4WM~JcBƬLY"t SsJt[2LcK@7^F< ŰF-$OUo=V 6L'Ͼ a` ؕazhf 7WeV|#cN\fJgtb@5LY_Pu^t+\,tٖS\7Ę  L6ɧ;cC?p 'vT/ .*\D|S?c(ћ`t.2JgYZc3f729b8b8a03d2bc6d0d3cb349b407e5a664e4fce650bef79d6d345a890ff07d7a9b3683844e575 f08d4f4b93eafc7f860a3267e5cf1a14728b74a1 37fbdb11e9c8033df7768d7f0dbbdda296d5143b