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 v9~t<\ ] HOL-Datatype_Benchmark:threads=6elapsed=512.999cpu=1856.011gc=719.1777zXZִF! 4q]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;Re4c<'%yuak$jmzc6c|^H_ AK4 jlX%} JhExny){'0A+z?ؼyVun=?@jFV](I0ڌ'8kpwOmU8_@L| }GWJ!Z˛sZ9>O fRa.py‹MhQf: x:D:T>e~%"ZJZ W5\h}t;rؒ:AC_dGԸ e/TV AteQ\VRiz})#".iʯ}#*9)h(Coxwi$ϐnt*!,|,'.Cf2hƓ.SEP!E'Ԉ|X_1 I!AI_d\Ӯ\Kkts;4V|,X|5TCVw'oof+)mђoy.ϗ{I uTMQBx%t)Cea[BxT|'$#♟}-'\oF/X.eW`#(Eԕ/ &P e~ݨx-k1%pSIQ".]"|9IwPsfO!蜝_| E6q~Z[fw'fXlMJ~!jۚ7#JW8ud${G#K_i b?72FeS0uG7['ʰa .LCh7ΙD%ћʭ~GԳkbTZʽˢ^"6;b R8i=b.{dw`s SE0iJ11V PM;/e-/I;$2^\ 66U6@Y';(5 [sd蜯D?5)B*\]Hc]jǢ hgYZ7zXZִF!  ]ŗXiɟ1)*u%9 ~cj~H-ح,eyʂinmD:ysc9E.J*gYZ7zXZִF! ']ŗXi%D FV[F$W um)Bg5ku %33muGw\ߋa4q9nc܄] S~ \!F xtjGCg)]Rq٧J?W೜g5Z{aPKAp|&\w3IzQ5ŷ\n\v4s+UCVcs*3BE(]s6܁OXw'a: ( #d?E9d`+$爢:^,qnn-ջt{λEс-+[iRȐkF Q;5$$z @{gw XfB- #Ig[^ASVDcT D'[F"=0Q6MBr7lO6|yDZʶoϏ"ca+ /j>͍A?Φu2m0^$VxM]}nD)fh/y%7Y_jhD 󉅥ū|Y3Lhv YKƏg+/P͹_rv:b 9]; lfgv* rPK ru\E 04e /hMZgӤ"W2S'l<$<J=du\6<4Ez A'"Fq9$-6;e,4q.?(q&i|^ȫu&x ! Eh4劇cnX?d+l9:\BķJ`] e uܦu٬'wY; N/Zd[e%ٱn_O<1;pcA#bܝ6|jp+rڕTETF4]R?.N~2ADA` 0dڴ_E[h2o\nL$[^K&gd>19بvL{,>Y#CmN {Y,ʁ%]ZOLVA6(B{/%\Dw+&[sIS8kj}xIk>K9q{56FK ?SƼN]ȥWdC^`//_#Im 6)"J ;K*v,Nn!Q, t ڷ^^-.<*^?r6Wm=QpU?j-0#z $# 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 >9>s 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id520B 9K' |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢5]D?7 {?:fH\63Rg{rMkX*vk_((g~;NOuFq|5ÿȾ.\lH?N_)*XN楹i 4aI0։|!] q)T&VI<1ѿXG B K 3GVzV E,Ӂ.uBY6l-FHc19B/jzJ-ƆRחu0ZшعAe`X;ʺbMR. lz A^ |KŨm.t 7pAAQ{l-LP?C̓8(L;`5H9CU1r*kli |n8S6 U WV䠚FAT?}SlV7{;.XLDz˫j,hQB0*ύnHU 9K# $HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pI]ˠ)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"䲚#씊7qIɤ8欼* U@jag-`\ޓs/)NEpxnkTmcvpyr*$B9ȅ$fXoF (ZrirYV& qHS_bҴ~VQt[?7CHz`31>$VzHÕIwAR#SM=ٜ3hud]U=Yˈ'D)G`o#QKj\u 듕eOK6m ח:tjHFBlmʊ?r<7 B@ދ^|;X0ɇM 03VGbtg{X9ogJf?dT G)>E^Gt;._Y&r%wy]ڭv;DT^%!YxsRO].;hIt#}} > 5SKDJ]TҤ[duv7*7N!`_wNarA3J :1_pKD~J|UꋀHޣ8!ީ|fuP(QjvVzF?&]Ly=WmrjV?KzߊQjI7Kn:PI"b%N:+A0';sF$#~yY~xDdԑ^ ؋ w/:3'uQ>=TbO @Gys@boaY`iin CR|\G 4D0^ TcnXAdz #y89xڼd # 묂%E:Gg}t2CPIUmǛ9WhZ "R suXiطB:T?\7)l[GC5?@Jg|:Y3v4# rkѕ??A'ĵ FK5fp=W#.>Qlk$T$;an,nٚj9&+OOzZii,tM!{\@8Y&ٸM\۔y)ۦ>p$`2$FtΗK\iO∦2& ee5MRVSye~57ezx0Qx,gn otfۊ+^iT!lsO@Zv(p,l2.|OO0P#u|p !%D_olՀC'}fLec K WP)wKO#g8”-hJ厷kg!t00܆ Ck~a.d`M% 1=F -+bGrm0#RcvY ) , LSR@ sϒ ט5_K$m&G XK2k՘xg:m' cTSbxwݡd Y2'YM"fĊAx!ZE8˔BytxjV94kI<vdQOXiGFL^*'E7^~\oYb_oYx%RC*a%[ )8W macDB/.n(j{w6ͱgYZ~*s[llZzg <++r.xcV[ݻ@=>p! d(&v۬xRIA@XkY7pǾAbWn#Wk7,cyCFæf|jf(#uHw;ٵa9̗qgƉ?q$^V$s(1mJa=oS7zkE;?M#4j r6qQw^kqȺ:=,q5x"_њb`7 &}+aӟsg96zƠɊ^v혙[jS,rNGFEy?!z FK/R2m|.5ژ~>NTq,EyoF0J»q` HH7Aڑ4UɘsS .;35q5D]a晫mtZs#xxG}hoD6*̪)ʀ T^ H]uHSSUi?]CP_B{v Ev b:}Q0EAHP QIF] xiv<9 oj-氹#{D϶.ZCIsxC^gF$,S+{={1=KBp/u%E׹[]q?&i Ӹ`/C#.ͷ?I^>A,ǫm 6tP-C:K[dP^N=ϝZdg%y>ť/1.yw 癍֓w7*s2Cm*J@F=M*4aziȶoUS(ɘlä͖8 !t7I2 a$|FtkqJH]wF ̓50-3V. n=PC8)5͍J1:ϛ_9+vmeo+I:Ȃd390GePG|2kj`Ć2 覆* D[s`TMS0>=&N;jb c <PNǑu ߛ?Xq+mV^2$p]̷a,Á_W'E? )r&W}Qv63M/vӄLJpk B!UPKHilT')bIM3I1 1 -yQ5.UC.`/Ӝ+vmpj. \/TyJcCDth-޴*1?s`#;^ğ4}JطL?U~ ^TO4=_ޱ"dEp"׫s}~K`.!<NhA .ɺg.la@,~j&fÍYY+ |VmF {Em߈ } 1YL\!A ^W.6dPLf47i,S ywu/|:L+Y3ޘ,\=64 f@B NE6 {9CxPI{DkVPK&u)z`w+]LLC{JS|bjR{7\ |oCHL9fƥ3/=C* p]3i`G:Lcm>B~3e5Z+ JG%eI'eq[bd 4g+h!5ԤE0R#u;w(!XKn+n?g#FVZ/gH'TޡRR L؞›&ՐTxO@J`[#4L6ͨyU4e*Ǫdt9i汻3!QȖɜN)l5ٷ_g_ ; 7 r/'4쾱z8:FC=Sj٨ϱ 3dT}EDXc1}l;i\|Ã)BpԆZ|T2GŶf2|ve^^pej[6Wٜ?tzC _IO*n׷7[Jw&rAu k1N$Oo@,1YOPWFYF۸qр@) KThQQ#i.xxܹ}k$.ת1l-YL;r^`@&>bx4f_fPLЇ˻Y,O38ԩT6tk J;1DH3D溛x}+4c ^$ Γ8iH  %?3vmYռCYɹtsdKFw{i&.|#y@ruSЙ.l7znO 'fWe`=t_H2?}#3g_'cmJ\#:{_;FX]HҀa*>Wus/bʫH (#?xVf{1obCjTZm>$1 }Wzh\1i<*#S G:fA*}>"gXeX(fre3헚ZI"Ƅ=| G:8me/B]|篎|}uH3børAC%1|W?=h).\p'{ S9qNӔw&/ߡzdYP ʒf`MF9,!x ,m0PJW>bu=r}ٲC:0L*H>[.a<0*ПΞtkbO%YI]M*qP3*JHdvVЯ 9DGaᬓߢ,*21c$Eo#X rÞ2K+j0htԴfe6M|?΢#s=¥.%c`z0ٷOjY#VIA-ɴjlp^bv`-zxmfb1Gj(%@F;-f\*B &ZL:cK^jHv"YF.rUaPv;o&V# ,vQ]J;[}ATjUvV|v&s~q$eba-C-R9K+ezBね@^2trd@&/.YbQZ~Vaql9 oHdIaGFTi7.nwceejBWiq2I[="LvjU :M]gYIH~1OA.8;ʉ~\JγvnPM8#,~Ԯ%=RafjȷGL9ϼ- z%3MMApR&|eZl5y*w=W-ˈe v&\3@kh$L%L*IJGv|)n0 CƠRz4Tn>ujC%EOڧtJ3䐪6үsWUˆ`5ty>*p-"GzLr|GfXч19|Bnsh'ՂH'Z8\M0Џq%t}rr!Ls$(Vk95e3l6CEL{4Cv>gC !n{[!lUF N*;p31?*!` MY]A䤙Mʐr"P'<+XB[q$G*jC,l$o\rMԕ3<|Ǔߨc}h>cVdK;͆!>U!4+({:UP.r\4G—:PZv=y꒎4E@)޻63Իk,kvϷK+gC2>Ѿ#!ZߵE7ScF 0r,uZQ;}W 2fߵmΈ<~Xi;.-}q)RMyc v$Eo%D[!gJ؟nPdm[m-Փ4ʢ蕴;Wz`kZtx<.g0G`}_ΣƢXRT,XL> 2[>Qq7MzYba#(-9 ׸i%T4{!n8aES4S!w{~:w^VK-Ƭh]SJ-|ߥSvܲ~E !ZN:7"@yqrq̨#_Mq0$|)b(N'@'B`)o]^ `@Xu`δOe/рo;dJo ;gHPW<ֆzmzBC;yr\WQ++[\`t' ?R,2;!M}ĶҠ1ӞF[v2_N.z@OqUda8K%n6>cߵ~W^R'Xg)EM= ć|*)2W*]aFlVw$سuSIgN5u 4_1c7zs,5cB#[A.piҡ@lx0Dg_f,Olsw^/h֚:Ux$omwUĂв Ճ]m2wuxPHTD̝?u uw?!h> (Q|r;V@RgI<,WuDP$_*̚hR|,d%d`+ћ]6YɭFQW϶iHW#0۱c ၣ\!7kO!Nw#\ w7>~H|>*mvQ.Ї`u /(/0wKcY)۽wjh,{QBB@j+hfjT .qY4e6ffsNv׌so g*[+#@qFTsFzYJniahٮ'k[;!aU:CmI+\pZr~bGQ8 Ț,} oϭ&Tl* j W9%2+[O{!k怮 Kښ53.4b֑Ȼv!}3_Y/Li]9c +eٻ,fΣ!:< EnݦHe蓬Bͥ|v2h--S >{!݈mpF Ue x?"6%wX1A!!*B,Y-Rp [b*EBɭkH~^4lǺC*ݧe!l]`FFԆqmoxh-wd2Gژ~XJ̦z 75g7r S(pٲ]%Hrhlί5%_ns1 봳 @>3r|J;wpp$ܺ6'>DZV{ u;BDYF{$RIV2Jrx1LI 򑯊⪍ c{6dCU!ˊ )j$|\L)tTӝ}OlxJ*[lanNs )Aɖ!]PXg'zǙҔ$ _P%ySN̵LyswoǾcQZ,(jhJUI g /Q&rI]qW1Z?<ъ3@kUpoyYbFG4KVBIV^>hZG>,xV?טSؓTbUۖ8f^8$֦6i֝Kf8>? `r2QNk-tK7Ss\ˊbq&U!t4.52kCZ8]:Ѻu<7ׂ޶~5)~C &ld/.,wP(|]ܭ*qN/g흕=_qvrVN]ҺxҽP**6Cڣ pР 绱drQmiQSs#)Xk|EX~(O1WX؛r-%4+T>CVP(CGsk3Q3YJD’|2B*ԹBFޖlKtI7+2gTâhLy8Ղ0 s*CH쑽ZbSMEMFelb>4X2`¶qʨ">aܕo=WؐgqU}W}@˕\[++z^Gc<ġ3#>P| l bj& -Zu3]ev$_7"KVcLv(TjGi4e+cw_VxEd$ {l4A(5>NVHdo,{ a4^je|D@&ܗ7ϧ]䮫E+36'cfSw*F+r,B ;_IBAdFkۥ 9ؐJp8 KAIĂ9>/,7w N#;~Q(}^.\>rfrhJ_VxhRaf:++@v,# wty cuB43 _M. :"̕qKzX TP_XL-}DyysC~YʌW0q]Ͽ^LEc*ʍ핢@%'Q9LH'gt72d)ύFVlbpa:ʬV2~FW f#{8u)Y ?Zl+7;а2G )'l3P^L!XJcx#@2CVa`j gYCe|8LCCݿֱC5~XiK7*۶=]54(ހ@πpw>L=|'F.beBυ))FGys(/5-B7P8ɸN֠y*bWjk,[Mx3q4W)YZWJpf }8ܖ^%}muyMpz{f$5 o[5^D0*./(ieA:m|ĽQQ2tN~+y.a%ݕtXF6AYڠ)4>}!jgܼ&ɭ*Ȉc!>- B s$5y4<%K`M5'K,g1 l/U4F-rK|䱂{i3.%>Ϳ3.;P5xUP?tb4 _ED,X}֤uJqN[\m#3vOr,ŅJ|W1J?f.v§&#cQwF9=F{"0!퀱7w^.TDMi~!Hrd 4Լ'^}y?ԀY]ktgKRGyoM`2GƎ"[.ޱ8T?iR6# )60H{$,όQwx&/'s=dD%-rH6J=~?+U~|Gj&i&~Y+lk+~]d vImRn?O0D$h&R(Ovm-eRE,*ݖެ ܪzj0H`27JtѐHT9O|Z* [1$zt!&!5HkTŁI-Dvēt<'d.L[ģRLB6G-aG ::F\Sn$E۷ *i#DAyc׺pEHfJdTeyI<~.h# N+c!X;$I i,!-E-fNڢ3%DzQ7`Vd$;6_JWjL&L@{v`-!5v]15{]yzZu0l #CHVp:|:SqT@Ȩ87^44(V8-ՀC$$ebq&<)p2%:'lе"ǃ|׾Ĺ%_#9x,R}|~ތ f"'bMqMIbUz1+Ce&@Us)lLh~87Kx`/oWSoFqf(8ndiQeUMT?^zN#vkSK֜ˋAlٳ ywg/G _񃧾ڟN8kӌc7ΌF 5̎+%cΦ@'_O5RD,*ٯyp&A }sM1?cb^AzǗ*2~} R0|ݦ>|rx̊u`'DUG*FYx(y:ٱVT̪Or??"Dd3wNtЈ4bclHN`z+qATӦtڀO2adLJbx 6Q[sZ#+8eGdBZ<*; 6m^5+j@cxpljj)UAibt{8פ~BrC>b-Nf3dzmva%R$o/Urh zFX]Lu >2) Mm~9h:?s*IEQY/Wa PsGLX=iZ,5ĿȯC"eDUj:|Q0vMo +Eb1 v08Qg^Y}@ ^厪efA[WwXG2f2>_K ⡕pCR$)ozWzl ],c@t.5i$t-Z;:4:*6DdM6:E[eMO6@xlA"jv?V v`6 g[+{W,sҊJA۹Ϭf~Rș#$m)ؚXY)(Z@ \Q ^e6utΪEe9kOvk,9ƞ4 )qIritd`8m!#BZKRXPuRs2_g|qn$~VT5~c~ElE^xhVd"sj3B(WQ,sUtLp]*~|ǸF6q0NPrٚ+&| 3豖C9'ghYz7Wb;CReazww5BxQ&hX\I~SDoٽhGLUM=Y"o 6ɕgmfvLq1>B1Tϓzy湐ʨ ͺka|[MCJ SϦݴB7YqVa o>$pY Ɯ7;{GU,wcPoTWM [(v:ATBR!((~:Q*A"y·b @ *?Z ue 7jdpLOQpx~MVr1>Z3 gsX-t}-(<؝BӡT(jMg:y\c=uʰ;^|[3~iׁ ZeE-k#QNd/ҿ(f>Hb(U!Nk_Sp:DCB$}5}´ۥB(H;LM\BQQ`Ѿz٬|g{^繈o"{)RZn./^QrJTIA;Rr!nHplX9 X'ѱA@t!jb58I;C]f=0 /|5dqL\x,#)fG*":섥.~XvA_3v~j'3cN䑀ҩ <&ՓL7Zu<A >h̾NAejPj!@HZn`lػ]._Ɠ"̂Xb7aPrAT B=H6'wa4w!혞TC.hSC 3R1pԟ_evHw;X)[H=Q)?\su?&5 wf %s$2HG2qjX\$ | L/t݄ϳT\ʍ`dT|im|ִ^҆>ՁdtiqH1-n<2f)yJ‰m%z> zYF$#-i̳ JnSEů`WO5㣥3W'}:ײy`$c SYyҼA̭3U[:MٚPBr$@KͲ ʽ.>Ddbu+QPSBK g}Tʠos,Y1N?GmdW_Bqs5}p2ּ PVsHCS{G-[1}=k@ ?%4%( ɨhLO1pr* ̋L hY4p2V Ki0EͰ2,={uz Q bP6ޗ>W.Џ$7d lpPR]Γ W->jy0:#ǖ S)6Ϋ >5>vbS'"Q1'3?m6݅0^ē{ǁSwI:c& H"OQ%CO^!)Q,YN.T,*E7!732\~;d渿4P ud)i*S.oJ*aT.K ܁V)eX DuSw4zc8(;P15x#r߸31|DD @Xt;ҽ.:~+~ 2Wa,(m+)aN\ @x.kA.JBS.CsTz Y/zIt= I%$lOyo 歶dcFMi^~>ˏ@o_&[iKHp֩lz6SڨK@Wb$ 0 >;@ua^et˫ds7XO$1ⴣF54%Ў]\$0h JdWh~\";U,;DnEvQp`}P cd3%uf$3D3|R{l R]~s,S3Q^xly 'lkItz5[1Y>bbl!WLh!y=L+ȍyڎ1,tgfӣ3~-afi!9p@.dRx߄81Spm>eA᯾.:>$u h$ $?MIa ?/Zb;EzҚ_Hx'*?܊R~sik(PBs!&膘zI͕#ycVZ[[ܩ>_#)ZZO;H?;qh|?^ƣxLdRbTk:N- B>LB\Kc|)!`RdzltFv1 ςD8`F.Mi/6 qx{eeyQ!2&f!tΎ48kx3ɆxCHL6ʩ}lQ0|c_ғ!͛in Nmn)G!Y'RRF֊+l&g [%hy6~[WX΃'֯5 *9[`>^ [?ۏn1tѺt`¸˽ݧE7N'eӏwXwκ 8|DO ۃ+ԡ6 wzHXf@Pe~HLpZ,~cs<7z+!n]0dFQ.$ۖ2d,ok=U`iM!E F^d.RiQ#mɇ2#ΐ)rᣢ!3_ ϊ=r*#+!mb"NɄ!.; ,:!?F}},$)cezLxH'ӐpqӞ,"V='EރaWVk>h i?٭b_/׌X 2%Fc)):/2>,`1AهYd+C5t'In@]qcRQ3S9ѡ)`FFosMIaܓ̻od(bhא>H 2.hDcM!we<5[}6L/ z)W"x0"Ϗ.P$k-c:4-/v橤1A{Ayc3`pyDW#mӚtdll{FtZ3B־ Lv1y-ŽJ}BPA¯ݣuQЄ'FXzjlj-:9F{zWà߹ Ոݺ>գ]^Wc2Hf  tbBR{;a߅E 宸0_7wȴC-Ժa\c<ӃEb`(%Bӭ8A-bq"\ ou 2R^dž@܊LlBL/-\G6; dzft%\`W-m(^: wnR++>Om/SX2W绕*?k-rGnQENaND)6({\˲?/{z ܄ @#8 LؗmF*o$V:z]uj.-]!a֧9߭.!/mTHU;?O^[,ʚ<=uJc#'>h]=mXj0L5M߫I 4%g^bI`_MD߉D\6"7M;ύ΍i 9rx{K4f3 ۶G1vʅEwBtLJ [>@xbES1ӕ*W|&3l Y0&qü%7@O5pR2[N;w8lۤy~ U@x[VFß }ZYd㻇 eR[5n6BnPyW^oDG@'_, BK.8a>:ͱzAX҃qVhD6o6nR0y\PIOq06t'P{QW ``gN NRoM^+\Xe+I:ą5F #IzKSW w4wzj~(w&sRHD,60S^#:rٞ2.Hʽ盇=k$9ݜo_cJ5e6 Q)n l66f xʋ3T%eAwK^+Fbgڄ¾yqPa z|E\6dCb!Ӊ؜*mB 06p n ڌ͇I3Kk䌛qj o8tJzpszv zxJA#ET"(<SRȝ1qy:N{[VxSoF4$Vid-~ FLW-Ya#x[x)f'2ȀWzO;> v kUn@\0qSBџK:{cΚu{~ gQ\ u<LJ~_w̯uq_ިOX1K7Qo"ӭJo+sUA  j3{}Gbs-:mIPX/$Ld6 ۼJ;T(Zi":!~ԥ ]=v* H흠6?ip ~c]KYW-Gar\{G`+S:\ @ڥRr#,;םSn:ʳk5vp+nf3I%zNFb=wCci9 4tyǣ1x˺8DiCx{{8uYwUR!Uw5TѫG7 uZщ48;Jn|fA\Z㓄y={) %]UCfZ Ҷ5.`LpߥXa3 3y LU!5yhPG; _sιEc(]tlTj)= {1me]C8o>9wѿ DȦXx:Ո]̵~>[A}Z~&YENfljp%7)ϳ-· d~a6@S Tdxο ӝG(o CnVT˪"uS i5EKJY8y82Cn? lzHQ+rB~.(ru-'uY6KbR-Wj^Ka㞷z2* G>U" To^115~\vJaѷL[b]yvcvc2ډ'QNp5%tMWz#_M]z0d̅jhGДr_Ƅ^٘ [ <1%O抢Vjc .!:A*eD>%qπWyokͣg&߶&CoBgD,*j;\%R{ =aVFaEGWY+tXC#W [s#X_WV*oT$mjO/4y8n"Yi,Z`t>O9W'km 1JՇl=6 RYxkݔTt8u!1q|Rf-F븙5 ȉKЋ~ VWfd吉M,t%iP!GD`ײ~Grvu''զ߭J&`_^6b8_%MaFj,;^gNS{)8˚I8.XOI#b5^.lTM|}HϜ!}.;+eR)9=:u1fVrWv_}<P/eAR!zj> "r P/?/U,6?m0&.zP(~v~Av~H}M ηl=m[EO/ D!un=sbDicXucY~j?B _ghZ> 'f, Er{[yȏA#gPWaY2t|疋SůD?tE :*_BW#"Cz 3 ToBZ : eDJJ_­[43M.e-IS$y$tVޥ;]P5Db5N@;N <:2$HIې3OSu^HBJ@\+wH>#~K8z;YgZmغ+B7>S.P*싇wpO,sNqr/V^?X;2ѐWՌ-Yᆋ#]ʺL Q$%>!q/?y߸q&laoTS}ÚI>g/yX[`K <@v#(|lwB{TRl 0 p,Y5fo[~|5VM%CfHho(ͷcPc5I}@L:C]g~u Yt *̧? yԐ*E$wD_d"uqmxcN20n &՗gPBUF[܎I7cl ,Xp? `SVjtwTyT i{ ';D:r\Wx-K UT v-BI'W>zٷByp)tXVa&mw^E8eb9 ̨? 4瓙L¶fD- 8l[VM5Y4:ulCC -F^A {?fw{>T﬿]u5g1UdUjfTXĦaH:vcvկo8ƽ6QaȜt ٲAzwF%E\` ڋM4@G r`tWL c|WDopۭrdyK6X9-TOA l&'9X X'Q0Il-B 2]6jɬPg{ƕYM!|Z_rxSŽ6 d7`=o|IR+<ۛ/$&j|Q>*} WZ]!e5GOσΚYEҿr5-!\ ᓝ¿_?Fs\edS !Ĕ˭ ELe_,mئ[ ~ `{`=$2Tء$^ߥ@A QJhcE^r%?=9O;.&CT* "^(h5!&pua[L0ok}ђ|-860Cd(H/¢`u0 3:f'>Hoq euhl 9 #p &Id9'qnyD8$U<+<ܢ[iO)bw!9["^l_MY {(\/ 0WsaQ2dzyovij1Ƒ0=t,˫rC4?c~2%&@(eqWkDR??g?tkoъVY,`TK@Q91/ːD0p57 jΑn[ZA6B.DXg=K;(¥C3ɩvOߙCFKN ±c޾g! :Th|xcSۓ&\Ϗ,s*>%}&Vʚh@<dHniOp.D[,_ Ѐԉuk6W/ =KU&%> /HK3ّ}U4)xr '}Z){=rIe \ԛ{@b biJԂO]X|*W'tXKT\+.AbNؽUx#)9)Ivrئ~~'+7\@;c(FpNbe D\-M_ GI\Y^X;>X]0 'K&v 8_)϶]]dR*4?Pwa_ה\2* EOIx+tLA.3=aSUU lS?=XϾd8Xn]$t0#e>YQ;x)ٱ$NΥ|{5ag|EeM{5ϾbN3Y0G(T+` O\Яil*r+ |;o.n払5GTBaD%UeP9m U"65" }GS@i+n[ؗ|rl&)rƺoNK@W+xcEd|L""K;s\X_eCQG00cM*9b~˛K wf`'ߏQ/)$69bDxus$k0MkU4 ;|&\@?ts [-2pRNG3$a8PA| ۘh_`+%xMpN u+7,8qv$WMRp-oF\}R瑃fU+/H)1bJ7yޖ햬5;ZPݜ[*ѫ44!cK}ծ71UjCI9yЧ؇ {ȓxĸs ;p"a8h]VOh{coގ=O?07@n??f MG ίMh 04ze1Y\XqŴcZy]cz7.L͌C'u#|c{p@^h&'hvߗZnU\5>7tCW?4SgJ蹧&v@*|!9OjP~Ro?lۘ{K}JBJwSWh6d$!`pMʥR"yTЀ)]`hU¦nȉI_a!KJի[yy}h?[]*oU炂]- UjVcg]|@ D,c`[3=LW04hy(آb,sHI@()e۔<89Qt/vq4=\fm3`:Yw=1b #k,9Q_`'YAtw =dvbV,kV7Yg|$Q==?k=99fB,ũZ{ndM:sVtXDt~R =IW'jK/]T2};qK"ly/RO_x<]5J FQ W^G(͗':Qw-j2j{FnMK\+R-`0?]= Pq\u}a16ti.w >|&+0-uّ^;--6Up "bL-]`i.$@S|bD6{l+#a#i/{h dָ.,3jWK%|?\( +4{d~X^[[Id ~zH= $|7f*yLء[ A0dQylY_lް1 hwMH_ Hh+Kܫ>֡XZ=PM=dX m7,rK*TzZ&o4!n7oI aLg#8Q5Qk~umq:~ģԱK`_`5g;: OU\P4?RL8KPgYZ^u^z*^V7L<m<0wۨհJ `F:jE˯ਟbtPso2ϐzǫԴDݠ: L~{ NNhvR:O/*2]O $䑓j;YeVnԂeO T Zv 2g].^/tfc!j oquFe~>_ׄK7 Ӆ#tpw gUJܻ,FU `=3 F >wq1mƼ?FԺaƘN@ F?D_[vp0!T tH8:c_`䂞7;l(̣ӛhKJ_e_ęt&r՘as얭2gJ0_PU!1NY;_{U˼/a7K PMs^;kYϵ-NS@pN`"Wh" }IyT%@Jܹ/}CQdd`Up%d;-Nks\ R1NvxXeWmˑU QרmTD0źT\(xVY<чmegLc"dm[|r}wMcXhe{̿PX*mǾς$|s;3xvL!:TH 7]Jt.UV/> *`5!R(RH@lqr%7>U{?Yד̑нH{"=[oFo48 3v-m5-K6|P-nRA |WvC&GJփsK\H3*J/jf\S^8{Gwd tukcX[L}Fv&djtY.*EGtESjVQ"edhɌ&S"[ ~K}#llTE1e( L>C̆+kUt*1`0"G̟6;NVtK-4r '2&I(@.|+U|+N5.Gm^^ )hn7xG;ߜ\6:g#f1Q y*\l&b%lY#?4 Nr5D:D- j8F05=[iJ4n#nDRz zd n>.ح2Bꗞ{e|#k::qkIi=uD-׳Xrhl<$I쬸:) pDeo7P_$f% Ǩ8 A- 8 }hƵIzU*rdX-Q6jhW|$$:IbyR2HP_fzqIWdz tPY\p0MqlkIwl `(QNh=\FXZO+0KP_R%l}rn,6yhS ?`[Ӄu"`@LG^Vk]RKUM)I 3RTajmABped~ ;.je~ܾ 9WlFb̷ZM.J@QCܾ 'ά|iaL$^N?L2( pZx*8KA?..>$2bew\JaZmTU~E],xO(qEegkdhӷZ]^J:أ)7qV.v ƨHzwC SA8Qh3f9[Yb ,aI<-f|;YR45I,%=TYmr~Y&k%d}G@}ϵ>0m`~ŀegl~p9o4S+TVOU7,mUiZfo:]]RmD:MO 6 w}E[fi6?sP\|=y3=zt V}>†C ~Z^QGԊҧ Av[=mvΚʡG9HdJ$8z;w,)BK& vZ4С?f]w9Bh2\G=5Ҡhw (x! 3%D9 É)yUOSH)KPGXoZ5D< `ܤ(1*.!z,!ؿC :Ȩ߳fc|ĨYpF{( De^ku4.]dY^ E&Zh{Hy E#В5$3n4."< {6^_R8j)H}Ԙ(ɔF׿ƣi!.X eF1O\y8e~52Zi꿯,/9ܑKrͺ ,X8|eH˴KՁSmK^᧵'h 4=myJ*&ŊgjJ峤bU7T!۪ *>S%ڊoAHB={ydqvG`t<g]I=13) 4yMYvmC$ }MJ),Rߡv몑r8򝮗xGr:X^!}u$~$z/㸕DEcu?e<4 _wx Յp*Eg#J+f*+f]OpQ|%jܦ 5*ZѩCrR=j$.2^$vĂ4}?`gg1PN=`8#wu!DM* 4G\J<|mP·U7F 9Rsf`DՀq[i5~0{75J/H|CA4=+"_mW9Ű j/`ze.v:U E*~wm͊Q;ބKM2:z \ $$p0N}f)ҽOKÍD+vy[o~|%7S)$hU/-Ϩ3RzJ eGzs˧UJ(y|LL/3GVl!\`v?< JS̿-[ J {6v_|8j(tzJD>.j'm" pUBBa)BA TA2;&Ub f,E`Y2􏀅20kW7M .KVw&Q9\\MO~(#9A U6;#H,y3{r&{J&ֹ\! kV`:$58i#++kA36`ZV_胇o=436=*sȼp{jhUX<{g䇠cd*Ow[yw,}1 tqqN^ah?Ts7)Ni.#Nf V``Ta1"OJ$.[ HmJBJ%I 51jg,Ul/ a䝁CFn띿9ʕep'ct.\6t;7;"=/+XnC=?J3v AM̍/`|%$eq3=2Ҋ*ӫ6lն*xs}iW,p*Tԡ en$hGI}yiW%'7]sf\u!-躬^-T:OO&y#|ՎY5gPIgپӀs7ɨ" -)DO|Bѹ?'U԰:>}xQC[G@<]5S!G rFd#B-tԂ 5@&t UcUU+zxŧ'O1]'f#9KRc?8F?]S| v #;vKQhOKWwJ]1aV]ś!\i:` K*N_KbJQx4/ tbJtVp[y4{qh%Džݤn3|ȃ j&۾@wͷ3naíhD/^*Nk©Hxz:/DT+Fy*QI.]ʇ%̒nBXieBHOxGsm|f1@^<ۼ _N=.K;8)?rPF @ksL#4Q*iX-A7IH~dzd6?DxY&X/`nZ36zJm2y=9 < / OPBs,?3͖$6{"ǚ4f".C%,ۋ eooG{V?bJ]R/|E7180R͟|$3|䆥ềS0 %h%#^)DGC2ގ|_L*.,(왃ıVB1| re\w*` vWN73X2YOp.I~]~caǎ"P9>DW )'W̄/3֯%O$*9| Wbk1s]G ZȢ%v Q[~>(J.PQVUWF@( Ԇ@[.1t7Ξ, =s2>܇#hɗ#6iةv'9\ >G܌qb[ qdV{Pj<;_!fxV0!bNoa.v'KDi/rA  ± g U'$+,;@6 ~,oL%F&eInF($Gĥ]4/l9 s5+TpXՎf7ܓX.6sd N ?γ$얫GV +ŷstWe:-6ߜY 2aϚn%2]tw_ӡ~$: ׭uR]֊lH,}rK?F5aF_&? `LBHjhc!(tILA4 GOvF ]ƕF(O_ r"]JJȢ-KwO7i*iwuwp i?Fҿ=-;@blcX>*ШJW!LGVB" 2nŔ`R4۫ ^j*|mlR4 A#+XcșNi 1S4]@j'ɂ-q AXl~b 5αB7F[@EoB,ff? $gD#rE:3" $&v1_Rt`L=#xFG<s[Szw)xI)9TjSv,:"[K#uY=W) ~6&CP7840$ l'ݢPÞ5)f,'PUG'̜Eh-9 кH!}ユnmhF4gu3V\g}`3詔nc2$QVi`ZΑvS/@{dފ i;׀v&6ǽ⣤F)q_tX!v&g rn<|Hg} Uȼ|910 $6)QLO&h-MItW\W#+Ó_*2H6$./=K֥84sWZ8+HVaF/\ AkSzj*z~덬6-V;)Y5%eٖT~u~} 9wD8K8A Tϋ~ֽWZt̃L>} BlZ;Dݙ7Rp)+k.I푅?dWhi*Ɋ'^wġC]Yہy#[ŵ1ӱ9so/`s FY;!x|Le鬿X`k{դ F?4ww)G/42?Zzk-tƊ %V7!-\P/:+jGaɔ;_`RZtPL\$щo2٠+:N˺^hF[q cGOLznsvptSQ `/A@ 4Joy'آoW͟}FLyTq9kuQJH{~,Xa_oH/Z G`>U)Swr9 $@e+܌:bW8sBʹPP=:=C!6qjyY~G^{2AP#:L<`1 /+F^[q{` ,,צ;~}C' az?ʅPݕĬ;yЋ($= sTfD=0GB*q9-q=Qה8f EtdG$ׯ +7; Keiˆ6lF؏?ԎP3AXH]ùGhŜg& _,#x<ei [anMcdN'zAdjLR41ϰ)Ld\!6K }ƞK;XZuIꚂ*|lOg+#/*6#W j2}f{fα )UzKj;?2C,M6pE,yzDA|&8zO8at d'NѪYWD­jd%tׇy_KH80͠]17-ۅ6.:kkݣe(JyxMNN6B](/>=͌5˶4f8#Ad2c0eW`\ZB9M/JEɦAU.P~YF"plÆȀڱ?\t^?yyS BK#IBWS-ZC 3 ?!]Ho\u+(ƪ@rj1 k88/I'`M/DAL5C Z8 zBA;OmF?n "qJSG3UqcIQ!IkLM.DsllzVc;J #a 8|[ Svj@n +sB6im8ܺR31GSK#U‹7H% f-rw}⒓n?[VS{#?+$>c:F~ P:Zb؉:=ջV{Rlܒ쇆+R֘ǣC>DC t$΅p'ڀxAa\>qdcgHck?|c$BˤFߎ-~O+m&{@9+<8xMDjH_`b?>EH}V qM٘/=Qs9VUז=$ƴЬ+HIX-gߋx *o-'ؚ)8_Y0l{ho3ڡFw~:t0Y\/Bjz6Ck ȴZ萨T&[k6JٹৰCDt*(r##'%jPqF C21HXss-0$֭I9B=1 ?99=27N'D[l2lUWUoCFiϟ=$d@|EЇ5`~iJez0%RJ1)"& m!GF7eňRΓ#:ZncqWW?T-C@;0ۭ^C0vE!/<1iA[ù{ċ-f3~i:`pwSb-ZtB<{s%NJ[3ŧ+U? ̞v-쬿jB\P[8[^ޮ9@(ߩEe:J_ҔwhCf0{je,ݠ~1!26c/4mݧ w.B#XHe.n8㌬{? ٶ-a]NTg;!CɃum>v`%.c&Z*[J(".Ap3ݿ}[.Pҽ`5h|$t: G.q'#~8pųm-zJ$,N.G;KvuB\]`|2xxYm~Fގn]{pNF[ȳS(#+0}<5W(s4lWZY$o&9-EncM] ngZ=or: ^AO 6ϱ\rV<mx65ٺ} d/ <nqբWrY d͜zvԸm-|>9矇2SѤT!_-Cļu%nrmꠏNO`X1x;Ik| 4rR݅*e ƑP!Gn+ U'3_ߍh8>z?H~3v܇“?1>< VwrB:9WW0unQv173}cVi&Jb~/O^5O[cz-P Cp]d™$ڥłXXm-Wtb$j|+{D}ɔ[paJ؍VQԸ߬vWg*Y6"*==6/d)^l#OTo*4 xܜ9;4L"vjc?KfNwWQ=Lϕ>ɝzύLJmX"K'wc”s}uΈy1vZ}5ɕRQP1m7M؝1g[Vu3+^celI$uemӥPଌ;dpJRKF;֕T^3[b&4ȼׇ ́nZ8`O؂[M.q8'ԑd\G9UmkJ YaK~ΐ^2iGRt#$%7fs_IO|x[\.@Q+Q &B 8E:/&%FVF5Qʧ;-Qc5tT4& s`"xBw-NL1̙ӕF؆P>37žnz϶kѯ.ͅ- u{T+p.u澧M^*:JK$/L=ŕټ)?!6먨Օ~8CH?5կ;CXS7d|l; z_Dhr nn:WqpL0$.eDA|=pzn/sqO++9z^ՠv4<\IX/(tV=&[Ds4wVwe7P-]`K: س H~9q^&2~@XmH_{tp[jNVC#P{t[#Ԅ/r4;V^c%y5 *L<1~$o&d7;*MCqإ =YOsXc2&?zGd&ynِs&wغs])'5eXc9#C[~e3ƒz)Hj/S6 <)3P}?Iexa ë=Z,g칋ӛ}PGy3%=sU~KAD6X' wWcxU93|ۄ j5༗LUCbXNUIJ)զ45OJ/G,l"¯xTLxsAO$u̅uεiCdLA Pjb͚TQʴ{fLt#KEz f=C spȯx84btx0rNY9So2- )z!IӾ`T=EIŧe 0 &Qn^c %fwY&`:^g=9ZC68wU,Z0rʇx}|aO0WpP=yᅢ>h?IEtzrV8Ih36d*Cm@)RZ=UaJv6#(M=pz)8onrn/ KL%Ρ堽JhML_|+}Q; PBq_j0RaR 鱞`Br)y]1]F\OY/_QD"J!@l?EWQ)Ɉ?}a>"J){ iI )nN)/GdYb"[hBˎE^C=)_/^%uVUA_3HN305 ogP#x Q hFds@`Mx*j1_OYA)@')Wy/Ύ}@/]\_]3W ȏ!BqT,ތ#R'Ӵ7L"-o_n]Twz#2C>#!VyQC;I u#гHX0@Y~qء%،i(@QOva673Mxg࿐ns>-}ȯ,x~ީhuyâը-I)L&h呖YHd\_0 ORm&>2",ޅ mu8jur<vHcaC-.rB~S樹X4%|Ӿȩ*LL.Yxw9؛s,&H-䅬)ʬn[oFK[C^ I*l.5Lθr:Эϒ4h7 ֣g"RW=ils֋+ c'ŞTW`PAOAA8uđ !G{obV@i?_Bg `b8 ;Lu<[:t>q V %I0nV&O?vhB(p¡*"]hUŁr4<^-8B`y 1n͓TKK eIa)lg6[ȈŧߕГ&w#iN$h" 1y͎qB{h WOJY>"Zck WΌHWjyʭ@^n%|qrP|Z Ё'< QN Bh{;n>&t|4~nfǓq?F,kY6Y/Vf.1: !Խ3Kf^wSP!s ւRk(h,k-H$81`U|~J%p+ 5Vh,eM塆BM = `Mgo{$+4߽G5 KQ$~e/>bL}!k ҬYS}KSj V [u qY$~x !;\-db~ 6')psT< z9vDXhx"^ѱFieD8|:|c&sX*nů?&A#slؠQbcڵ&zoqq78L96"!?sB{t*@>ߥG#8 1+p(X Yͮ^MUiruW/30LE 充|N%mڍbK81wa 0D4=gzh0GO f qjfAai8νu w_Frn_iDpcIt=o?qb)J\]QZBhsI1xE2}Z+tž ]9rg2@ |9gԻXݛPf:b@45^+M%&`o LuRɂeЏ--JI5ͥ˝evZꓗ5"Ҭ 7|AK&PXS2j.WݸԎZ ^(hP"fgJ,=o|Ѣ|:%P\e'^ݳA]ό:LXFaNUR͝+)h^tCoDQKva~IsHْ{ ↧]^V uÇ$&ެvPTùP)G0F0J~}:C5 MS@4 OPeEih2!BOV܃Xhn5 1Q[/2y6 c^tdaD]xKFtzgupȅ3mA}nș?-8¤תavynׄOfCBF*6Dn֯~6f:P8EPHo Z[ F,;!)JYm11W#1^*ne ~uh隁l}{DTiiKܬ@{6l <3i|rT|(Ù"2.3"(O輫7aC{~0~0s<Ag{M)6/oAxzµS215M\}/s<89WQ}*tއ 4 ; Z?q}v ]%OY=&u7žjcZō3,{}~+-WE}`5HC/!I Ow׈}M\CZnMb z$s9,z2y}/WF&/X ٥Cz5RQU1%x\_: sfm_ڱcP(cέ(aٮ&Ũ󕥁.]pe@PaK1wSرybU=S"*W6F&Sۏ_pb%=^3q#L0*?Y*s'QHP(]>w)u&ɪG1JHydh qF\ioYI$p'J>~PDpjO"]\3#/od+}t%~T=uj^Ic"Ӑt^`~Xc{B,`f%\#{2zyMAeB7SsFC .s{0f#ofm 7@ >!PPReE<-;œ >;UƞtembQNaC89&86"_m@EU!뙴 >VEpT%OC8 ]Vwl$ҐUuv:|=,t)0 8j232BHzِ5\}+lͮW݉rYINlM^9p Hy ~ "Bdu$iP1꠹ ' +ĥFF~W#{DCx?j<Jv+_0L9a+8N.ydX}vrYWg|;@);r8OT[gGLqlhcu=q8uޜ& K 旉SUH1P1&h!:hr'F GfYց,)5|%`4,B6I's&UXPFBҸՕN$yx.֏x`vSt82Wl/+m`ZO 0JeNw)ʼy> w'M=Y,#aP !izmh[|Hp{14< ]+ETIr䙝Yb [ rx]nH8k+"$idQʔΚiZsןL{Nq`z;L-ﯺqG^L&pH=esu8 WI?9Қ7Z/PLY4UqX:}b{3.OTWrQwR5ºD픿qωǀJr3^9o6ӻU@9*ɶ< uI1`0}j@q M7uRջx=R|o{Al~hyKYX<4[jT3{\kA{%X4sl*pJ(J@쁕a5:Bꁽ]V1}/@F('z3X PihnJt®U}},7m􅱦c6k* >oc4[gQ^Jz̷"^[StX`dN"ƀ;DW\_o ZIކ nliff`J zL%VzR8^=Uh+.1JOD vߌ 1~}B.?a?(n!fPSP\3yIг;ӛk).]# {.@-5جBTk#S}Yﴶ4b|艃W^#opPtDڹ8M>NtZAC}m~v^V?pu)|N^$w_\t̮4tcz6#tczWΑpVw&ib]=z]Ĭ"8Zl[)⡍姛h2QNz {JiRMh J*>PZƊRvƤa{d< J) /\D:渏m~Z6>kt;Tk0g8'FlF [o#`19Г,l897oR]cuz|Ya2g{> uFsWCōm@u[`YEjYL0sM޶xs2pٿ!QM7K|TSΣ[łCmǚ|2@mˋW֘1LoNaSegI ܪD3DIam!j&[Ò6dvy.C{*10Ҥ"k=Y OD%yq1: JY7s h(¾.`$9[Y+&m5ai$_:A*b ?Eaz_'B+ *āwj CτCE]JMYSɁ:ζnJiB6Bn#'GEM];zzP- k-@e)I(h F(*fVV<`b%+8=0&.KВQil#)Fk^5Qx P\̓1X%E$ 05Zefdf(vUz T}#?}@zU,R]eORqNSw%NsMqJ'J˺^۳*Ƨؚ8",.ɣHh&j/eߒNVrD=aly1}Qs&|hhy^bL&돓pTuY+_Ku$cJ#g%ۻq_5@c^=GhfAU0vF-Ҝ̳qpB\ZAUZh/N!v/y(Ylɜpz9RfwM?[A$Q X9P`Æ]$XfM,je=zGԄ|~\Px R|.hK䓉稒G[=q':< |u{7bO lGuMDiؠy#mةK&f'ZH )L8ڼb\^plSa\.a|ehhw L2H {lABPMNRG3 8OWsx% =:.4#,|@JQ-[^"s >6%qmy LZL\cfh(E6n3rI\6V`)d&_|nޒV㆑6=* *z$"r'RIS!6* KRdWmI)ĕdHr0" +&/u5MӚ-tnxAPARl},\_>D@jNA _G"N( !Rv[_]weUUvYl|)1"} #kN;eALPRf.4?XݿI P^.!R3e,_N9;]7L'#tZ>u'= ,0w9[Q !qfPL!C .ʫY˞ n ?L6٫F@3 E@M=3i릸mDg6ɡnNެĻeJXJҐȾ~[*m/tWw~>h{ %R t*p ߻@&:F#ְVK6 =jd-F -cpWuPiKHbH؏{b1;2X,)۽Lɍ2u Z4*& ].\\&3h>4F|Wd=(yC!nakXi29yaihH_OJ}ژy#:U+_ufN4.,|h+.ijphQ.|i uskzVG~2|1.8 Bk6LLhT,rB7g08ҽ"͜Rf, 8 ARRH\Qe=Mn]=?KL"`s*f荌0v@ hD8Co٫h;]%5U~,\XJhmOЛcVa[TAQF$.8G]ny,P 8? q LnߩI[%cs^LOHK0W^ b xȹ<2x,7G όSw>aFᦽD3'y?d0>M00#1" g :[lŧ<sPC4;Q̯#>,QrrKKT\[`,sӿl[ԆKȥaQCƪEgYZ t9G' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Igk]Άxʆ5.f-9 rq@ l>a^u2pV =,p&pgvM&fCϑ3"cy'(NgFq}2]X!KX施M@7an iz'&xx;}| 4Y- ed1Fb,CZEҡ\ݸ b6[N_¥1n^3cQTx可_pEt ncj>as#zvj ]3(k Q.&r"ԑ(m]6NFia\0 D/:T#D)p='T|{ޞ56_ɯKyކ͡JȧxMA4 ]ReNIlHJ&p|H,T㖰Rdb#L-ÕFig:7DYB`sART^1I@vd9,')F]v<@6D+{!PJ&Ou}:ʝ@+ɟ4v:':Z)?<&%LvmjOݮY7~z%lZV|Mvu"~VA`qͩM:ʑ,k6Y$_l0ymU|+gM4_#@Pj"x w_OxqneW 6 N 唲Z4KUN(< N4C̓`n԰6BJ2V䱻Dhʥ(i:u!1ybGdun(Klo/\[L5W)^ bQp/;Sptmap:gaY.w6`5 *u#G6nTzJ4axP%{9;&%M6!MirA @MPO܏_UU ›A}o'HbdWW[ʀG`$0ȕT=. w} aBF1 <].ɦy.SxDFb)Pb5;IreY՚ÿ{h$½8{;=} OQ!Q2[K͹aRl_ B (AYzVN'y Zl3_n7y8Z_ ߌi"<]Q"[k|V25OzѓpdDeɺ yi 7̱gYZO 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! XF]ˠ)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[j42bqIeVT"GNެ=VTޢ̽"&yA/`8,&*kUgyՕ/\T}k@xӼqQwz5F}mB!{#.5Y:;ՐMm{YCd^ {qz0Y!zVfoE54zaD3Z2y:qbnj"#m~\ed6 ݩHB% i֨^Bx;;2ziHv!Nn\zyIϚVf? i |{аj͟ ~ŕ*#@9qF^=nw3 q)m(1mMx'jR?"a sY0z*n.GJHJ!E;[ZyhڳDV8*@0n]Iay4Ջ\+7􍺊/ka7X  313IWcAJOץn>b[/#EU0_J л_&4}3%BD1sg5V 5$׫F&@6M1M\+/g GVM&#e!ktcZ4@:Sk,07z0:uOPP&q- Mæu?T5xbZ0ܳ4êtX18}o,Nwx WASAݔɂ|#A"lZZ:jZW؆8|K|T1,J-M;۾Щ0}gah%Ls)#9bF;SaEcw'Q4KG>HD+LP@-|pyVhrRfaYPɱMD0ɵ9 5$KLR^SFzy>͜L'&/Fo'#cٜJlo,yHΌ{1_^-6ߨhxx7N8a1;&&49p~S`}6n7N?ũE(XRNW" :qNOrS Sx+ LdT/ *Nz@kE{v %{A$x .ETc'ȃwTM qIl`<]m[$mV[QU$;) Q) ^B:4ص y \·".Gae*벤"9g[Ӭ$aD˶jX ܬ6'6Qm#jK;)dЧt}%T lXoC$m ( %$C=41V&Ʃ3a'*tgP[Q5.~0ש6[)I-JdLhPq{zA3M^fJ ;@dhZgG6j,LoRmI Y|0!/f:F=]Չe!nfaѴJ=I*­zfvL*YaΛΤxʇ?}开[㩄j!z곟4T0hүۆLld7F&oE邼2<\f_-R9To>Suq^K$8/7ܟ8HĈ{"F})ruy>G=I}0iqy Œ9ΎP-%#|eW/q{Y=xECCy+P{$qPƼp!at ڧ̯4"g-/?*ʺ>-8lK c.blD oyѩ- 0&dV*.L<;fGr/8#Dϥ7[W 5xC3k㰟R\ݑX ;ñ{0;Bd"#έ9ZԹr\ 9ɹ'x>:ɜ NV*֠*']҉4"=_F t #U:APs{蘪Muuc,ŗ7WYB :Fg|LD}\[s?~ke_Phooo^)߳!ɧ&yx\ -?ݾĢ 0\a!6w1_oHQu[?@ҟ*(0sM(:}gxAA 0+ӨBzpdx:?Gnӓ*FlW43"VkI㇬6',>e >WNup >!sJjA5B hq-4Vz54_A]OUԦ880!Bɕv!QF0v<Vޟ&$w3Nu䙖uu-!tГJǫ BƼsfY~n5gw?7IJnnRYıXfGn5Ph8ټ.B)SXݐ MҌU7ugxߚfw1^ъV ,Oɺ:HPj'^9geV.X*@:2/8;B?]Zk PNSMl!6Ch2t[AV=AzWD0k 8jWcVJG>3FҨj}=MEN {fKq D8umY v=]5\t'V\%"P!w蹃IXτDi#w4(a|!ڎ'J𻜇ff: /)5rC@ KK ǁO`JJw3*y*8K]%W#kxZQRt3G!s@[GUՀR`*[[/I\H)x򒭺Cϙ呛1eKCMU]HA=SN_ق3Sp&=$Xd+ie割i1{YD{ 9{'w|D">ݹzl;˗x߽iUVxn;̸4`Xgk8)L=8UTDI&:|gCkP`]v%-5»BGh#k dp 7}U,2*gd)٨-MO>p0L>hQUsw7^kyAwWo&+8/x"$z 1"^!Cpo#aC\XbPXS`OwBJDWyk !0qONotcV;+fԞNR`ƪN'_}|wRm7p2:蜳2JQm/*O ȱof u*{6殶jxmKNct ahz6/8{7LNxׂG*,/x1wcY_6"NY6icIK&%l&} ťo!)f: ZnIwB5¼̈"%^P\(ߤ({<BcVr6jiDQ?Oj >G-¬Od(K>'>ʄ7r<.D޻O$-fnMg'&є`GRT%3y!㸛FN=v-n'ڭe̬U5}% eL%Mo+G|4GiEjQ#ڦ!9)SγtSpWiٍ;R+/^#Dy+kDb*|^DL(Mq:FD/ԣ?ڜ>9\&u̸ `zz"ˆ@Hrtְm-#~oJ_#NiaW}82F騛ZgJzd{ ׂ{!@MT6R{+vGp@2@Fa7WB\xQ*?/o#ⒶfFn}!@]<."C&vOo|]PWQH: vbTI_vىk=vo;pavd:KGMƀ\uȅY5HFmzS,/N8Il1)mYWuj\̌pĒ"=SLbC;ޘ0.gf;Y}a9Z _L_w@o˙2n$"ޮ-LI!ȟ]x9bc Rh@y`V͡ N违:| o?T_[& 3(N&LvQ@q\r@c [qoՎu$V8hb0ˉz cd|jM9fMWƭ~p4/ϡan0j-z9:N.-9wɛ#P0s`%GzeZ/E#3b][jR?\OT蠎o;d zt?Pnح1g=>0&TI.J>FBA4tv+VN|oxKv/v+2<3;hB_mP>;: g~uOkHbh諁cW97V Z JQSUd]H)3*%VN =ʹsZ "} ҕwHF%!9)zg󬣙lf5Xc̐ Xe[ь`B喪jnɩ g/8`RN:5#m| U$ѝ@r-?sq0[XC*y KX\{ܚ:eyܧR|m!P:,9&=Ϋ(;,$qT ;d1ޖnA ]!|>\*$gUһY5!ZyVSaae+7bƠEY2c:"5BD՝@)[K%6E;~<֋h!r͜v: $."{M*eTMЅm=\ĆNd)siHAAY;emc|OLO/=zM CU8 ջ@Hm}FF{oy};T,A@w ''$ V&c?oqo,w7p{e= '!%ap:Whq{,#feǏC)VNE^(NvO{f&4BYWm* 5ed"y4Jx)\#Go@ё韠(gaޠyU@ Z9_r9NI5p뫮P5W'ar8ڔ&M>SU\,$ &wPҐɲ쨞y~O^ia vsn0kƻcؒ+B^)!ZE r(uj{C*tϷREDX@e,v-mvpTa4{Dd2%ש ! gT RXRmݗ$_w GN+K1^{s-U+8ݵ6愻f9xSc6l`N-/)LVe/~j{.C,]:c1b$qY\)fxQ-pʤƌ&|8Q1=ƻ𥌚>؍=Bkp`x+Bsg:vf(#5xU9DODƻ)[gqm>mr_= >/; vUb h$#MvUu`ۺQA !7E!X'$O\{5X-,w3g0& "&;5C'WY9mr[Yt&Q>0n7;cA惧H (_CpI,t} $k]P뛰 Tyhj Vd>Q ^iǿa`2.;N~EL!vf-1;r69d'iZI`9|Jz@gE]C 1Z<&gk;}o\C O ^M (?d A_$|('g \q?C-pM` "㔶Ym?Cr3H?DM^no`u7zHd鶆LtT0/fIZϯ#:_bGs}aq^̗R33 K<&o~o:soX>A&C%{ҵZ]2k75k7,#uc+)zҢgC'a68 +5Di*mW.c!%OxG)8jB?SU_,dUگRAUeI"Sd)M2TlhD_ y JjIK̞\ulW#B\=*`:ix6`؀ѱ~}$TR>L"k8"ʏ]|U?VqJu}ht\SE6d4cDb^5@ꦘ} ydF E\ q<Ӣq Hz%)$8Myns3#n:"Lf`)o 1r u2zݥo%z4L TblpK_Mݛ֪+em/T}3!dS[blP#u8{զAEѣe(4]m)R },U 7]]y5uNP[^5Fiv%쌿Y_!UKJn -v&2Q,"WO ʫ{H'V^ >l6S@p+(+"Р ,g-+^mFuXRI"Ǘ3{ude6WZWj϶ ] jʬ[SET2+;`X) \s3U'+]J׍ kZ)Dz|o-"_$}?~-XS~G~1TRy CaZ(DJ<WCl>lb_Z5⚮s7pﴢx^CvR;spyX:i"L:d0?%:W^߶z(?4ĬPT [WsY { A(53@;x ܜt\?i++N>z"PL {,].'ULP"h}7F&jї@K / 4x!(6U(g +M0jw*%]_w?0[><(Ȼ)|Y7#jI X6PW-WD^Dکݛ:P4g7HPut],1=H4kptZ|Yl=u@NVF_-W!QprDs](-SeƁpg^ ;4ۂ75ǧ@ֲ;l.KYn2/3.}VOl7ߪ0@|SNH{Cwrz^#?hFn I_2 }u7.ͳ'sQB2@䚧] uXӀ{+fz?T_St]`Yh&3 7gK;IW5R(|kՐ5%݊t\a 0M$\`jºŀj%%[\_gOdbuYVܯ(SfR" 1yYm>UX͋@*CdߦvT,FXuK7]m[ Vơ06h]yD&qml6翵$BE)ɕ@;ՔXr@#ZczיlLRtjL^k7m+ޡ!99DLs)f÷}gB^SȺaҸ9Ģjc=}1QS'@Nk1eex+da]̣y 9,eS7b=b(Siʀ—' lF'S%Շ7)9 ^~9/ M: xG,-?Op.*c8l6x|qERчp+l܈LfٚDR'7I>o@)jxD TbnMex@۪I 0լ?=䅲6Gv]3g`nʾtB Lp`RFugwSj5g\mTTonUP\u\9KlraZV IqIZ+({H+j:"e(ܐŗ0/Rd.򮅁 nBlruч'~EḦ́`I8 3CQ.el(U:[@'>{S ?dX ڻ䁦Y;?du+M=WvjĠ6S1Y@vu7!]cu-%͂-c21-cSU[Z.VR /Z/Jě\PL߿z ;A (TtPr{ԧT>ar MCAPnVN3cL]Iu)}&vF6k \Oգ'a$Dר,Lg2B)QUgj4v>~z9Zkʼ"G7kLi}&t}ũa" *c4M Ǘ,Atͼ g)5ƫ#b 6GMaͩ V>L٢b6j6cwT3"718qrMp:G ]8')&Sf<7YdAh{'KM4M5Bp.R}~!+*+%\+0N`%ЈՈv8Wӳ#qkǍ0eY&c0_e'}5Q6yu/0v-0\ˎ:2ZnxVĆa6[(/5ۺ*5le{?#IQX.z-Iפ8v:p]jhnFgKIհaEA-&#W Br2 ʿ|a;cRp%%I&^[J۫.]Va{EDF V7;N([=Xq\8krU# [$lI&f$-ͅ BPT4!!$]*݁ fa$y&#ͤM߅q}2u,F/$1~sMrKYÅ|;iugH$cjD~c$s*-!NBs֝j}.a(sNuD<-5]rz'S%+>iѡcZ`v4 p5!؊+gVd}3H v (>9Cw = 6P朤e+hÞ *F-ׇ-4u .4z֢+ϓܛϫ\}+AG [u.AKj;KS|DrU&+h% :)ȥVD{+v{W$Ql[%Jy]2ž__6duV\sC$|x,\JDﴙ)=춭 Fa=-@CtơRN3qk eBd9ǡ$&Uen.5F1;+jгj_av* cA K H AG Oqnm0b@YB(x|=).%QԄ|c(A賖Qe83B'L.5:TF7K!(Y~LXB8BM  !-Td& 45zcѶ3Mn֧3xh3I*\Mȝ|v]\7PC{[ pkE\4j ":$eE`4'aoWp0mз>` aT-չrKV2H|AHkGl@@DjcKzWb/!! L/ /pފ5]i%$k8YL7沶&Cm%} ZM.IXXl(g6Yۋ]2U_ꃧ]e! _#eL{ xWgk(R[Ro7 XO ҧ{قbg_]j:pAQ==k* T\4u cIz2Q.=qubp2!؍eɂ0~nAp .A1(rz{ ct(HV "24I5Ϣ$ϳ%n(?l:6x$ {^nQ譠:Fp+O*ֶp_TrO7DƐ՛Mvj|e 6nz4^g`-(eNG=R||GsHESިJ\H/S$Vk$[{SՔɚ͔bG[+گH7t[fK6Qә*--|"=[i;.NiIy1EjN"#`Bbf!}<\bz)13 OL9LU݋0i}B@>XR!r̩ 1dϰRnȡH]$J,[+JWƛ/?!%M{" 0Ի*м=Z8!(Tm>oDLٸ!0 0& +8[:{l@b䯍} r:U zn_g(ğN*K7obw5sW\"dzu,"v-[fC^wRS_{-Vt[0xʙ?;/#&sc98F$bx+ͦ sx؃VIx`#j}Xﶏl|uR `?mJnhۺPVmLrW h$)e 9{/L/(q~U;6~&tT\#)0 >G"#;Y-hZ V|zz3Fto89\kš`Rp% NhBo<ֶC}#9ﵻj8l]LrB'z+*p;) t^u̓=bQ3ReLfjM| ]z5h 5El"#j41$8,omww=*'ڈY?/YXvr&ް6œKΓW/G˼`iCà\ZGrU(,V #1;xt숮cp]!P=͒&Ƚr4'Mi⼈-Ssd쪶*!^KsA t@F􇇭vy9bzr/c|S =kZ;9*A\@li6Йlz7@}0=t>( aF y:ǻ OƳQ)ri ^G)&C_hr|cS-j\)%[bt$qb Ekk_PP%[kڸ~ky,2p-C 2^IeUyOj ?5u37W$#dIZ`@*h|]:RSf[e0P[QtyKd=f^4Ct%PNrsh5r &{ţQ_kf: E`coE8y7T~F%-+^hû{3&n0 v. fܑ 3F_}IiKw:Hu'׶o:Aae0ŎWxn2u8.'}u 5ո1#{7:մXz N;L*̥)Z˭=fh7ZPq.EuwmV{&ߎ_j[LEc"5ưQ6@,#$`y¯#3}nb 4-/݁iU!YduQ (U0ÐSjċk'm g£{ .OʝA@qt?F/-l/j|t#1uivy:S9!Ĕ$,C#A<>&]@zFy梤:%D`<T+]@2|&p2d_N|u%qQ"2w8pAt 7ߋTZ1EW3zB6>y^kQɜ@r<2K)i@Jni- |VzμfpsRYh V̙j+&\VdlMB2:`ָ"#=L6/DvӝCqܫnd|O$ѶEhC?xѸc?u@hhOsK½B3" yLg>`%^]?&9.VYQ#wG- x¹`l m>#WA*ZIˊnB8a)#GTh*IɝϦu^q%yr_*@<:6P&;jZ0S X);03:g>Q oS7!֝9DIӏtWl՝^I#:*1.OM(I(}0mS2T{ʙ=zG׻] /`ҧx u(b@ʛp`3n* +e]$GFX-O)9{^$lv:]q'f1} ?{Y#;[t(5?tP_˯wSj&{SZ(]%1U-0vN)mQ)$}ᇲiè+Y r rbыy]agDf7p4@l B4d_ &DLaԎ8z'"ki H08IĜ\?#c/Tph+CS]؁] pTu4NfP72rF6YOf5{̶YfWU*-µsSfO`[xo_Rg H~ ")M+*ZYEIh,׼LzzßzDA\! Sz3vo8 r<ƀA~pS*ɛBkv^ѫ_UP1P8kS>Q˻BC()@tеKUqpT}E ^m=^%p>OTz]!x̱W<3=s_*>PR;I4Y6qJ̿C;aTsQ xCyʍ&V.XW>OvcIu%sVٱZvxr40k`VC^f1!0&Q6G"OC`XA4Mէ,ay) @w_,+,FMa63 5 Gvs3;0|@JZ t2bˍ3af%I-C)9CL[cekx䋟S}iCZ<Qypbe\=nSC?$$) fp c7 0K׫?)Wke;7pá\+D*|E:#)x:ã(,{_Tk"oA9WuH!4 xd;;$@$ R` b[qq:d),v,i>öR ٴ??tR5ͺ<8bSD@yBhFM1gzsɅpɏ)Y7|S E%2y`"4W"&$\)w~ʚI!?2NM]Z48ƯPUURJch| v%t|(v;SH}6GmܧAwn'|QǢ#ᖲ/+HGbUh#S͔ΨzQ8g"ҩ/z3pG- QF\HLcD`fobz,Š?C}/?٘T;yb k!؜bS_kth f']DjCrj/S"v>wѱ 55^A\<;/!klha^ܴQ+IH`h dN=˔̥tUnU ur~xW675b <}VT:(!H뜜[>׺sxWe:ƵiV1NXtLJ ~+^ t!i_9bmUX=m:f9-&7&PKyЯdr5fn?fk(Y3+N mPPFݫDce&.W KN>out4w34YRE hov E 0[=_M~Wb:{dE&\Ǝ3a*CY|CB]|2i ܰc tRm X7Se=R [&j:Ewz_P!:G22x-ZSfB@7 嶡NXiGVg(;Cjvh1Uu |iA|C( ≱cBM9Voy9ף@Ʌ9\dl8 -Hd倠`WbKUnY"[ 7 %oK;)<|D[W7rJUL)l!HKR$HNxU"mٜߐE1Haa/#P74h7uƠ/sGr 'B7Ljm orH  0فA:IZL om-d52V5/RDZ1k:4ZwB1~hQGK˓+jGr++mFѾb LHgC3oMq7L¼zy¾([waP]%0d iR~יvV쬯d} euZZh6N! N0RL`m j3gГбi2ԯxܣ.I>u[3FtU"0Ob!e4D *;:r̰%HLJO.A f$)=gIm_K"1Atj hs⓸ߞEZçH=L5DI!cCUlӔq:'OJ*We,Kdmxpv¿EͺYR55W p?٦/H+l'M*zi F.xyd!qV[?- ʿʁFfjYlzĞVQQ2pHE^Tq (f1S~f.IUJHj@6QwYd;g3VG͛ ,X˄ P׳<"\W=M~,܂ SU6.pw>a*P$z?dj=wJ\t!K{H^\^| voGhPFgU.0j'XXيS#ǢЊlc9g<N|{|A %%bH_}x\edOhL1V\v,FDxZX'+F8I`.,t< lFIąVtpo{pLorQ7~.Y戓z'QCnh5z$W8O߉z1*aҋL@cjJ0l` #ЧH%XmgX鄬 +TyvΧ>Pѣbϐ0W'Ga|ͫ91[h<6c 5<-Q :#y];_3g9[hv(^jG{#$ }NSaPRKxM7p"aL]z6N=7M掙ړ(ي$  n]oPw`,.?0Ţ4fu wnoyflI [Vxc;d964Z`NÊde}3нm\ZMW4}U~}Zpk~ڧ)ww5@ ȿKta֍;/rѾS[]qգ+Fc!%/U>jQ/]WR}Ǥ$}WTEp3,޸ J~dx]=vViQqFD7yrW(+&${d5'*8>t5T65 =W]@{ҿO86TUyK8܀z+ImZiD1>ƃo'0@Qkyaպ%S|JQjWsRKUQ'fEwi ~oA :@Rv| /!rm8~;!^obEZy%`gG=lyWO$Oqug0jHP f~P0L J xz_v/r[fË MJ&rhe$5SX9AZz4,sIn顟5;P htf6j!<2\ܯfF]u]t,I Z`/[jQ%;nGjA@_{q{P+: fGoƨ/L[*kF4P ~.P͐p+z:Xi@V*3f{*s{NxW1ijUeEhJȌDqj)>*GKx<k}Ru8N Z9yV3t!g\6s,F.TfmCd%mE&<):!=z^az[H$C\,q[LLYN`g{5ei5~`]JXs\ |šg\OϾtw7rʹ`&ϱX%g(OX1s'ZoњL !N~ idhekd!m n\ZyQ *>F#*{GIN:80͓?y!! Y&5:dYas9%X1PqB"2caE#- 9aeu0.B@ϷK.'e) ĵ]8%)'CV#Q)Bib-b2>~X8ksO0W遮[?!v/n S@T$Uc-MiGL_싿Ln_sAE1"+ "9q*?V\HrY< /=?Աo}Svj#.9"¢nT'~9GþdP5ZxW Jm%8=^}_րxP~^ ^+"; p&TdCb{>kǵIjcZ c}Gr^P NL0{tT؉+sE@T/-}v}-sڥA ]Ht <VjAtpzUDmp%> ;Fٷ?A iTV'(``k #Rz'j^H-G&h̓RB4(¶ :chV9ёLq#~u{+~!Z8w貴hK/mv<#}c^oު'U =-!+0%sȾ'WOad7 ޓΛ(a:B9`2oLY"MRԩ{acD }  ۯ{|z'@mcbHͥA(Yf{62_΀.|`p,/ھV4 WoM^\@Ҹ-H#n7j(o"'K$Q0M/[t덐! q=Y=T$4U8^6v|&X'7o_bde+C6ޗXSw4R,n(KlLDT_+jqnlFirzǴ=:G 8:РxPDbN51\2G#噓q#H>O9CܾrA۳nu}rHM%9,BЌƵq1(_ɇmҸ9΢spџ ;gYTE-,.9-[fxv۷lKL.LQ$(nR*J>]A71r&ݠl qL&zۍqpipPL `ZYhO8~Ao!Ng# YjPq7@4*{$ hVͻha1Td-K,Y}7v&s`S/śvՀ/ gKux} d5vҮ\?zF̂>"|AŃIjJY!QϦ8nPw['؍|zt=ɜq(i4]ff) F q wœ^ 0V#Hʹp SNʴz1+`j<±@swVQZSFxs Z͊2L{57|$C%bm՝S[rqkwa(7ƎΞK\գK8"1l!^zZ~]ӿ濅'q΅gxȣʻ#QIqg8ǀ\l;§6l(kٹg_~C ("Fdi5W.M !bFE"ң{=*^#i׋BYs앹2dOodR\cI/-n+?qhN*M1XL6Bh^JHeJFYtJ=3|q/JMC9~\baU%R \G [hl1l J4n,9zK\k`(7"t 2o[A]SK W8clOvQҖ4[waj˜[8IP Ի :.o!0i16\+R7q6eb 0CU)6dr'ig̘oyյ:nǮg \ q+'O'e6xwZgחƮҕ1&`$uz*Y=6Y.@kH}i%w"ZU-cLqm*dΑPbqL*8& $ⳮ|vb0? ~=CDx,|Xa mY!hf+оF<֠b7:[q(kK7ElcpjhtռW!^RSXUsO-jṘ.!g>ug}N :-qFht2Y_ʴ]A)<'<\^CO1':2,~"#@䔓"wlaaz3  B+5/-]FYc" LIHe)<¿H M?va ,gEo"&o府99j*H&z-PD6#_BH]_ېdP~ץQ@a`f[m spbgy.wHX38[nd&M%!7?bRϭ挴a85mWWsɄ|`{]𐯔L*|GK+91#EF#Rc=.EgHaz~(. º{Ҿq~"2*pB p_`}l_lЇ`k<0CʤYDWT*a*ӗQӔ/$ ;aW" |q~bHIM46Ls*^c-0BX\%Db{=Uiʭ] z}rb7Q6+T> h^maJUN)!9%!DjjD91OCD ұ(%ɧfj98jW2MC9M̅ x:=kEr]acWʠv{ط25.ԬQcs/01Nr60? Rr g͙8X~+9,e%H&4\,1WN5J (aPǧΡQ"P>kC#5I;WaMK';OT>S{YX]ԋ 5U *&*?O?_ѯъHv~ihjmcF0Eaޓ0qSM7s=ԭmOĄmF|8z3RX$Єc^8[J]| OIP=󈞓>DB) S f N]ԩ. ]*wD&:CQADhgpzh%Tu쏉 '&66t _juG Ks8R}ȭD<}OfBFы6bEe`|Dç4ʉ۶LOY$%9=MQ5&1juGg$#5qU# f:]rr;Npl\lR˨$һoQMŗ4%6-YdyêÐ^AJ,^oFLxmF$)G2|l }ia:AnHQF'K`֕]G'tGUF:';k=ƭNn*Nz$8y~.&Xzuv{GVOf198&bAQ K@E&?>iv,X)2Wm&-!s/2Qf]e* j5'S@U)+@{'%db>GB3yB <%T)K .,h]t [m\Q"?8Ay\PQYgSCoe{,G/%F{n~Xt)E/ٙt:ѡ |ŕlTPL6#f~:]iEs^~I3r,+9Z; $quUʖtz4"ת**toyf F~GE[li3v)xpݎ\xg(6լ.$Kd\kLw@ rq>[Z}BY^K M#&,k!mL3v)\طMүXUOJ٨܋lE6UҀݕ:-N4q wn AXni ~2D!짵ɣDf݊Oi0C|Ց?un.K4 l-:N*}IbE]7Ǔn0XF^t0xY! xM,LIЀ4D L{R[/ϑ?t`j%h byZ6E: i-@+(Y4]c& 4ZS97JӍpϘğd22!347:xH$FJվV~qd…q瑍Az]W;>+oq:cff{=2}"ed_5nx~p-%I3 k .&LjTAn.ZqTP(ߌ"0s¾ލ%%!`J/ _@L㈽r̢ D0U:Ɓ$a8M>s" e`*awpJ-&R|tσۮԜNR\"6dmuEZz0|( =l)eCTt180Tx1yYڶ_ƈԁ٦T nq|MMN2eBǒ1.8r/ >*1<8l5նv4%m!ШBDsva++ge3JLDW0K+{;-!ZE<*4\nv膔L3+C\n۝IC71SxlDTf'!i?<t?L+U9/t ,fХxu&OW_HkQJ@2Dt :pN.t13(c_YJG[#QZ3 S E,$ c͛(&K秙RF_[tɦ7kY.ŏ{sgZ3.ͦo ֏Sr.}*|!@7W6x- |Y6GD1`J)' ƶVT<[ҭrkNeU gN)n2DŽ$2 g-ڪ!)AT{jd Hnm*hVA2A|](sn88:+!%.[Gq*x^XpI[YO)~^:z7KT8%r=Nl<&f!Z$HKd\sL_C4vUJg"''ttjCj^fLzrÃ{q5%4zx?Ɂ4iOb0^U(U^opy ⇭v[rTˇ,J)Ѻ ^[.bރAu| \y'vU]Fc!Hb_m:_*ު= NIHkg,}o~\RaX,CF%c>(a,l_ J>, YI;݌`R}[m%LlõP¤SŨ&ÞlSm65[x6~Cg>O |30յL5r&#)3{2;vѵ;Ky7aI~3P6{ Xt3a@[ A\U_ ËQ&Q۸%K5l9 w=Cy([jbD}a7@O97-P`A;P 4C3iľN@FK==ET='>h<{-jn_qz3LSoݚQ-"ݓ6rHjp0io&#L&.j &m+O ʋf8xB̝,f/v=+uV:yރkFX#|7nlCx "ı'4PV?,K("~zt? Lœ#U9a賈ڤ2+ݳ  <J9uS Br@ $W_󮥶\\Qp_D,DlRtS" *.zG1=1_eI j?A!VcuDiy ib_1LyOY\zײw,F>LT_C\Pf{F "3}`wPlc؁1Nޮ OBIHR2?+>sGk q9Sb.V֑/h-(g퓥_ŧE͸ .1%W:SF [?aTnnݢ}aBʎpG#?5 ֲ ,2 TSNYR7u_)-pR+ 3.+sX3&dM#*rl"x`Dwhp$`f'CGEsaG!MhFXl9{&fکUtc(&[ *&iBQ5:fOӵ~+}EcC`68+ 󟬵L?z@}TӇ\^>zGtQ>]s9 M:P9PEL߶5nLց <34aZ 74J )k\3Ϝdze2+8mæ$H+z$Ih9GO㮗>yP}@p0,_y1M;xDKgϺ?VƉ0TKdFƀzGUWl5U()mc2-Pl(M"%,S]Ej?zZr6iE~?$F1B76e 8r~Y!v\UB;wO0F/6gF 6}HKu fB8Я;i (]duC4SiuАiiW kO.%֔Vv'w[{43U2N ,)Pڡ7x z]_ڋ4nc"v; *c@pGc K*?Fˏre?u)jL5U@%_MXWZ} !ZM%uaT`2axaڌBK6R]Q0*8Sv da1OPI7“֜'@5:e`txDYMrމʯ~ ԁFF%f ΁ 8Q 8?3!ͱcmqeuoo ?A[[B$}a@qgpȒúv07Y!03FPpP3IF!b݉ nz>Lf-S9A!(4/ ")J{!.g'J+aMs$ݨs}YQ_8Ȼ8y55½qD4dLC* h>/8D]EPyZKĜ.ɗ467ԛjTЕv)CRgZv밵VMxm퉟rGHQ$wߠ]-,[|K  9&r}4v7zk\)#f[gpU=뎮LxpJ~8jTXMRIC\"9nxRgIEhnt{ ZJP'~UW`q o^dd#ەPlʿ$9#GZ470+G=$^"f4H#\[s)B,b$ˤXq<ɅE,6<3f8psrz٥iP }L|u_P3O/їԳ be>O BAÙeèKMl]l* &HP=Ѳ@Ff!QI@LŸ ;;ohgG罷%򐙤W3䨍OxƩe0- &AQ.op [pdiJ xMlp:"QMPPa4ђMt>jhf)WJ?onȮg[_2\#=Ka'sFŚ~=-ZKђ ח@ 7|-IY,oBGwI0K8r$t!=f6 RXXݭ8}2A;]gg&H4LLfNQѴVHCW