SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info O1td4 ]% Knuth_Bendix_Order:threads=4elapsed=12.672cpu=48.160gc=2.4247zXZִF! ]]ŗXiɟH!n?珫KuPI[U4uFAr<{恏Bb)=Ia؄ܨ'.d1\<"D`ΊIB+ l;eHܠڷ ΰVr/#nsa"^$[_՜{^*fn4FE8ՠ+? 9)D΃O=+{F czj%~juZ *TY9tY6]w׍iVJSp;J(aq8E001+? Y[- 2O1KS0;.L҉ZuzrgZ 1 Knuth_Bendix_Order  HP>2h%\@Zc-L)tyi_?hkI3=h8 ڶdA ƄU^ͨPE@ W!_qP[n4&,Ắ"C0GOM Lto<1 I m >}m?['`:f+LcQ}#[@Wk7!..Ҟ١ĵb +w6nf%JqA };tn8@oY/[{M>S/(&!=%) 7ID暢1Bcq !lRmG8P$c Sa/HhI2ca+Č̾|u[D6L .I`6c*L5oofs=`xWYP3z暴9.[M=cDU[iwCrW Eµp:,%}wP/{kVn ?9O j 9uIp׍UrTuNk Xӡߥs>gk~vojkVׂl) Fz4Х+PqG,+}']Gy|q9Rƛ|{ ViULzJ={|@:gE1-(߬PaT>io`FSh G"}M}C(J Aa|LvpL IbOja(Y"Db.B߯14CLu", rk4j\z.8Z<~nQ# "N.ea,JԶd~>;OXFe;.Lv u0{N& P \ smNjQLKsT50\1AhpY^`sFc#bL>/X3wn?Pfg&$ RgF;qiy6=NJbNؙ\*M qDJ>& _' tIgO楳4,D6s7}?¸ l1HiV}!ű9ZQr Iq<5*v/M꯬=ch tEU!F?_E> ;{\`yaBZWj-Yت~c佛(ehݾ2zl-xVQ-y% yQI2{#ٷ. 6 IúԡhyEt~_e#?^(\B ޖ+[<}qd ;5g\?HHX:-,9`ܑpg.7gKf}Q`LsLdr=e7&9+~+}KPv3C2ɃX&Psy+L[~8`R!*x2Z @;tqUM;3zc'1i'ͨ5aιX8@Ch`\=qk< 9 DŽ"n :d="OJ2u=ľ,řf|h u R\vP[V|,-0^?'|،JDrXD m;! ˶;OF1}g_UHURL|-$@[#5YU j2>X$ /]>k^`IWPl֣ , G0" Eʊz23DGB y w/G yTZ3x5\NKˇD0{.t_L -NU{n1Afz/X)/: ތ$258= `$gsVš[/ ʖ5>e%`bnH# WZ촀’{: gIsٛ j!2Xtg2&. y"vI|1'J_43֥j:rt~ fQș?P7ʼnD,8%g򝑨#N t)ҵ|/tV9w.sqCbSaCKsv ѪAc[p }O_axzA1,L34!I^qb<@(1xs=`KSt0!-"Wf%QT(ͰxCkDWsTqkǺ<]ttRǚ2c)/fS>)}էl#>H`ě2UT,n׃?[A|bZU$J F ~aߔ9 ҐwQlAQu.5ʏ]{vcf 6-. x/wrD6!$&Pxȳ_oHV`kSeL^̹V]/`LƼ F|$iS49LP6\Tmh:fI$70~z{kU%=u g4B_e!&p #O&OIb92͂JEנF[ݧcIӎ=ŝy֏oekDJsC'F<+I^ יZLRf opH􀪅O^K1B֯O!mbvЂ-aI\IHe}[:Gv˃Jн,1 0ċ%]T8HME` 468[+ /k_HrYyƭ,!0w%@ w)`E⣨PzˆgVM"dEьγ/nY5<𢭺)=K=Z5`"Br= NU '!*royzz sx8I? ;, w~@go[*NM5\1= >D}MPlOsa_'L*c"a<, ⷲtIMuCjZuRYZb`%I V8*ZK_O# 4 1E.Ln{]NC-Q.)Mg+[]s"ҍ@!QDw]P]nk]07f*l_=![Vq}F">:tHaP?FeR#^AH)qXO"-y!TEaGhR-[Y,*Sռrk-YT Fv6 wki1=~9>`7N It>8k;\+*[@DIm4ƴ! mːXjlc:]?YLse[']3vv1srqbӏ-C<[zL.XI&(r;(:mRsR6> rK7̚f腠 B SQD(jM,bgzv(Iu4蜓"v:hG7jQg s[>GCSlg l `;LP%).Q#=dY֞3R QuBr?0(\X!?ZcU_um;R1l!.A ~s>F˚g*wљZMBiFЄw,7|e-kb0`p}PTF\v2"g@Nyj4U@Ib4C=ue&bx#-l֨`+ИV1)s18lT@K9BVI>ʧJ8m 9R:<P-&{6WZNr5cö1+GGx<iBI0m*L}Qm1 #?wW]`,(jR]-&s-#I C35IΑaȹgz5XQApuEr9X$(!&Z^KD4= KHB,"?1⤌"z 2IJޤiTMғgx9C6^K3]ѾQ49Wz/p=S҈%j^|Bt4֜Җ湑67iẅ}/8+2G0؅*YXa%x#?gfӼ)yDbnуZCiAFD4kkC?45)j6Z2NMn=bNgn_N%W;󵦡4B2ʆZ`COZkٚB4QDoI=)L4L]\ ZT"|qlf#{7; 5'5P44SuZg[r_r 4pbȈq? ef*X!~heKZaF')׈0s*k<;&U00w @2`a> D6jz/ChF/LYA26MX)\T{4k?M0ҧޑDlo fߜ`uw|n虧5i0|/uSW8wbdo8%Ƃ`;wR2{db{rsNn7b! A4h7!dПy>rl?8KQS'8fƗ?Ⱥ?. E}/Uk*4\\.l\I/\]iTY*(z4Ǡ9` U@&zGSlFajIOm'm/~Qb],yG眝0-<~;΅Vt-x0 0ksx zlv&u;b=4".97`G"7qGXD+,5%#;`n&OlY&Z4:kn/zj~ۘj OkΝlyk=Dd3Jjvo(/_pw5fi JQN#HLv!,͝zST ϿJV62#dI7s?ROj¦*IT͑c¯r\)Nz$6OH+""&"Rm&Zna]P?#p ੪B׳.+3HC1<:r_ld9B 3L ,9y7}ul𮲿^Nҁ^s*@]DJ nW,"z d[f~jtqIGXHk Z@ _F2?tc3]TRpo>b9F㟸GsFGkeTqZh5Ok3 Y!)Hw6J6 *,0SRyPfn` s^c #B:fLzKlQSPy % 6TX{ԁ2L] rBηv_47(&N+7Jx5%H?5=+4gU1d2~P (?)6tL g2[韦j-;M".MH ƪWWZJf x!}3$9 xpM ;XP;.oyNk㽩3{}`΍c% q됙YZUơXY6#,3R1-bRֹf bL\2}y[Ek=BqůIV3B0L;EEUkZфP#L{/'FGN]s.|Rk :,(?<4'?"]TqU=Tl ^1H] D ?n˘X7dI>%a(5u94FKiv, HҀ ^3ʪtUBl",̋'NC.&^v@ z*_EGԎLʁ;ԂA i0[álPlp7G@`]h5~Hݿ}}(C3-ӣy7Q`~5~"19GJ{q N%c\h lT2I(᱈]˫r42mÓ44-dG ;hX* Gj &!>ADUY֨쎘}j gXFK޷́2[al%VqBq?ߜ5j q kOn  ^MuF {`:"g`+Lz Kѐp&| 䈖ͅyLIpt  ׽'$ N#B<)U9̠$nS'=N aK#"CoesMpaJwdjyv=]O"|v 'ho_XMDOG0bsWR t|R}}'QA]jgfSU;I$xմ\Aھ!LWLrǰlґPy.] U#}7O|nH7ڼOǜ^` \oeT3[q6" D5a{(_w~砢%*]rr(VUn{gY~#V QZCU.[º0`Y!2( uddq[G8kt0 qY^M V3q[>Dꮿ*3Pyj,#li 0 !԰L$߁3т꠴i=P~3ol%;0+RH $ĺyZ9$MGl{7 *ޤO<$B[+F'فʺXCv:K+(@/\b aۘdN7D,UN.M]z_[ѨkGF,6 &B}ErG͕2Qb3 JJ7炧Цv5#Zw]M!e5%N]xd>n[/P:A;(_}ml5 >$J4bKbAސnnzc ,T3=7KkD-k Rs7!g${&n9cX A^mT^Eb[ 8 ׻}_ANPLԔ4D'or`[oigrLT[xC0%FJD *N"TZ9ľQi ?\ݲIE^&+sFh) CTEy֝f^ׇB 繩y7J Eുtў*N`S'E#` D[pz67Q~{D<[\ơsl'x0K J %u )"؏AWthk?dK"h?gpr5 Um-`WpNȖ}R<oSm"dDM.0d,iƇB́{ZxVLOz]g&>7CB|E" gM%Q(B>2Ay#B~#Ѝ3ƺa,t`Qѕ#H}jJezʹa[E*؉k iy0-TrD- nAKҔv*3Xueqq\\VMwdg_#j{R+qv46\;%=t;k˂MLOU*R6 E~@zzjK 5Yunbf%wO^8KT_}}>zxF&Jp1&+z2 9#b7S"[ދ8CPMy VGAy!W8H{eK?N^sUК&F7p6 {z5rL%gNX s%M ӒVHNeX"x5{bk~r_> Y܉/">Y(׏:GIsgc|0c}\Ipl˞O%r Łz&*k墼Zw;Cf8nw&D+6KڔA LQ@(02$Yl/ nlD!?뢔W!LjtP&< ~T*< BCd<3:)Jmpqn7fu+tV_H] Sco8#;t\ j "s;"۷ԫH.b u f+Wt QsU$}#l 'h氭Ztր~'((aLT&2gy%[);j-ـ42aMr'l)aIJ.2MhDk(柎vf3ĔZVf(X6YR|Tj9.6P$0C}޷,dz$% |,!∱,}m,QR$|wspR J+2[/ǿC,cҨ#TCA{7*c uWNv2p_+p#fkeu>Ydݳr"rnO( miY]R,J'ׇ#{Z!IAF$wN;hNRmcqƭ4EV jOf&L]UUJxFu跹mEOU*b/5[+'t$FY4|>yȻ#Xri;Crɟf{?6[朗Rg >l%?8"nRW _DaL1y-gE焀#$h`]x|&Gn(OtЊQ5D܂g+>KpZrƙ !GLIROB@CO,Q4 hf tA$}h;<_h}L~,/.IQHb,լyo(c<Q)]NpB'xv9ƮVJ[j?%!"WZaVsA1v+Q1WG=Vwimq7~`KaXsj!Ίؤ1yGvMԎ,x>LMspr ^}" _JMFu<;5YTbEjDۚ-+4 7 4@K€[}XA'/"+-)U}t, oL/*R;ka1kPzDzɏ=q5zRA&"Ok_.47Xօ"|:h7 l+D'H>-%ɰ`Ť2G{ҷ}ꨞTߓ4 #,GzGjFhC>r >[8ۼOxfMC4 " 9b' +LC|9R)_G%ڣņ߆/э(G_~1dY'Sh5ӎ+wjVfQp6A:@,Fl: Q Q)/D:NĠ OqDv֪ݠ?uQwE .<`HsI}Eܹ.BG 0Oۡ%_7D 8 vL@ŔrǮ7yCV80jXn!v{pewֆzVmZIy{W79kjx 򖷣} ExF)rybhm[T^qTz-N{Yׅ,@LkSr;QFy%` NTeɰ=!MmVm cPIF͸KQR ppzQVn;# $?U[>mM y@7RnyhVxK{Ae_-@֎xwNd}4\1a`ȿk*m;nn~O(1 be@TIU/bJ?bZhB<3n) H—^DsXd˝8zG6d'_*QkT[of<6JݸSFi-|=n؋c  [N&%wس5(㛶ٰ,'Y˥RC)xd "_2Ӿ;To?=lJYVVbX&p]#{Ԣd*=X`:,AQ)L VGbŊrl~( ,C@o Z֡pb3]3X BTI}?v]t7fo%[OU+u'W~o~up[۽8>}m 8cT_}" /-h-qK1υ*Q/edDlX }]2OLț“O_w7Z2ds׉}T(+?+}ʴDkKc!M(,V 65d;AxǞ3}4xN7G *fB)گnxOr ۳ @&|{u%2inMI:vmcbC?ѵˆID4΃/HOvY5 do{ںyM`M4cyQ(dzH"/aYVGOR)dcX*ڂ#z<aaQaAIYf(rTL]^F<{Copn[yOE3e-giT;N5G Hb% #eu*Dy]ÖҼk0`4^A:7W!G`)6R{z35h;e4%ȿz#/T^ߝD`߻ewVh!ƶY F -:+=Zlvsr"B1d–@)uZ"x}̀ j~۱(o/uA14dTJnifգB y;@.q晄FƎͬ|,IʸZoxnx<JhՉvTLs^EȮ$mGUcIT{؞V7! `'6hJ-H ).4ʼ*aC5•lP }DfTvtz)QM$A=*,X9m)P|+mh5{~< i&=fNqi\3qӭۇȨjV@NsɰS#HxFv۲U=zr"|ȟJ݃J놿|dOh[[F+ SB)ÄsϲG]\Ϡuڨڴ6 o;K IuBZ剜E;(!Q!pЙw IJQbJ͝܎ G'tW@x Xcnۇ"eǩ[ռ u^rj6'䫄ݵv|ʌ$^$!$OF7/1w` TV*)bЭ ݵ?|$of9dn*j,;,󠂁X0WpsPA>&zdiZH旚G2l#-UوC׌v* M]M]+JA_U= ^샄iwv}\gNH~Gp,cO@B8d PU" ZN 0z9(-ާ0^ c9 L.L٠(yYMq U_Š;UK Ұڃ$f1c'p6;8伽^ bL+ d #,t1]ς.yt8wVQ/s>$kr5/_%QM|5>G CvW|f Og{Dh m6`LP'QUM5F $/׹2Q,Y˶"*&U=7R =|YY``m2@P/qy=hǓN 90 J'ҁ)C8 [nunW%M 0וl+,*Lxo{‚&e  m<)*<IX&/?Z ne,L4XQl/#NCϝpv,r߯`XFLF{\0.-DE CQ1+^aw*؝9 4F6zw3IQFo;Ig؟^^n N&{Wu+ Z`@w<\=HF9XZ a8Qt;h^e Ә3C=ie v}ގKȡvиQ,_bbȁo(+QC"'w#3s Зdg/FhlnEw6ZTmP?u<y`.R wG =;\[; zʋ2*v@(XKG3 ΰRAje eIE.b ~,/+ ?3KV/Y~Bˀm{_t]q'O%!j'ua"7L B-Oh`  *{W|3_3Z&ėDNL;r=gkǨv;nU,xϩN]_Ί%JfIwEb"Z\6`\ 6xߌQ_X{(6(xLj~RXCy깵_Z@Ũi_-&>D;i6s>5/5{PP4FtT7X+/]V)lT\,ZrKڕM-K3(rV"f3Sʭi9|dTo *PAu7'Z®vVa[ ;[w}ɿYK!8Mmw[ 4* Q2Q̮?`&tֱ f<~8<3] JOaca"M?i+MfJM@@I0Eng7:m%w%O9|u G@',SsQ( W0l]>IFL-2c+w3Ӕ,ĖtVy|H0VӬCv{ڇhZOTnwyOIʤT}5۶שׁf"Wo0(#&,ص 2_lRU]8Ĺa"=d~2!; q,MB=]%ΜI٢絳=`ZyL֞\3Bgj? PҰف(VHو0uӗ7!A/ěVмBXzyf!0 1~v6k6`e,"YR%>|F@R.~nw.F;ԥjֻf$81!{tS=o%G}̒P_pg^=>D^ she#O4XOeYGDuZzݼ.HsEQWuѭ3S׾I<>-egY3/TzsEWkI^$:.a afc&syZM5ϩZ͔<{C - ɿ7 KGNtT|/dpDFcr$}>6}7n7(z2t J2x?)N,aNkM:̷T_4 sqLC+K->NҹH~AY|F[pv&nGSA'~{`@#-zl\U~bP:ٮ uy -Lz642_WrcMw ʹ4YXYDx=yjY@nrrFRZ،իCuR6 r۹8$ť>1:q׎{Tv8yG~G$xt ̸QrI".(g0Cgc?3s_P*GQԈ(.Ԏ {*EWe#ɱA zzZxD~m+tϰ>%ڦV-eJTF3p?%U&RhVG1<"ߤ}wM_A/dwg(FvF<{ (8gHb4E}O)hlb^n6}ATߧ%p{izLՒvx9q ydsFՎOuQ}[8b-7nv-a;w4 3zƅlB|XW/pk0jþx[k a2_Y0h*dgiS:nc?SeMF};U -h4N V}&~8{u'/bPMLeHM}X['-|%ѱt>Ĉ ݽg̡'{&0)ڟiWe]2e&,bK5ؖFܿ]!'7H\}Ħp%~D`B""+Nw IxvNa߯XZgQq4'!/O~k"oVMt`%GvgVCWw w90s-opMcLn&~W:wm p f21UzxlيG]rE$f< bt 4Xm ! ߤ5YV1a2ٌP5`CV&2>12*ʨ D!p1٣UIIAq} ͮꑛGvS;[V'L,#6DPPOok Hq*TPr&\ץ۝͂SqsaCT6Au1 <;^^9uV?ms찺yedN1^D%9o.zwG~I'Lpy3E~|.ZXklyWL(oz}Sy51gG֥uibV~ܯvn$|_(z]AeW> )\˩Q&$پKd7^( )0>P VF [~(RK}DcϸfJ&d7+-~;j65?0*vòQ^v3|Qmx((u:"'4AȂ<#%J3f I_f,!]B Go0L(iC׉,O~aq7˹!b2Ɉ:vYAƹ_dc nֶwxaaΧ+u:yw^^F@gZ~;u3۪ٸ]yj&Poo }i3"AZNOW L!(T?FOdGt]7C E835+2@i8bRD-]JN?#12ۥu:t%1 ~%t;ވ]>'#t(jpv4Z)"`\=[SG0T @q#,.9}õ9: V^=rs/t8$w8  0M-EL$>/ A~Iǐ0؁pXP !U οñ%L <(X%)?=c%mhQWAǂŭ~$_Qed;QD/ =̓ >\2G/;QBԋu{Y@fpE9cN;u %i s=u|TlM. w.EM3a?`߉;<)G^1$˅S-iA:|-RrφՈ^>_.;=ߐeL.{2;($D_7#8f-_а [&k [^2 2x|29EyF'q鍁MH^xt vZ/z|R}aCC#d? @F(tP cw)d(!c}t[h_ׄ.6QcFӞ1zL;¾m7 ZwNL'ϙE݁NZ YQ~ Qᡰ"䓬+Zo\ kj4 ve/ C4[iP\f_Um]4>ײڭ:saO5ʥvKbKӚ?ϖ+0wpLL9k-2ћi6d9ZA cej~.^Շ;ibC iEܓMf#ܩ  d~Uҟ C tZZrd'ږ"5EZ0od_Ó\x^hwVZƒKQi)G~)ό?G*sӨ2#xQfA9ȾX7%;3uHFʋ(D9(|dY Zg&JpcJv%Gэ"ܥOYLX<>#a֞n+֎\ٸSY$X܌68lNmWzK3 [7w:HCܱMÑi$ѡG`$ɥjsiŘQ.ƤO۽gS+o"$3.LQ4*Q+-SzAimFD"+Qj.+? M | ߍ{Uj c nܮqH؄0 vAd E@ 4hC)k K1к>ߕOnW"GIJ79Q4h^ fge]`,Zwr \ooAN8BNDu6Go|DBPAZUkk#u#*1wUp;~hgu:8Ӿ?yV:,xt֛VI Q*c HW)ΖnRC,!Dg3TU@l9ǟUeAwc(⃯i.,v @qmizxT*.>!TfN!С*rQ(ۈte  'JgVNJKf?K+3]Q/2 Sy4=GϽP. x $S si nZqm8Eօey`8ڢ?7YıKAl"AaCM6T) Vb#R.4#NN+6z/X;4gj h]]]*Z0qaMNzOF;둚 \,biLY|TM~H P+E}R+XXJ(";-AW/$벌5-)gK̷e>N`y&cO; 1aN`hJA(HR3ŤΦ@F( Ј0+pQO %;e?{7˧}^DPLu @˯S_{> ')p#rny-g#co6ҫd .e1ulwJH($0n DktѼm_n{'cXV%لs@z-Mj .9U ls4C'2(A2̻gku_59wͪz+=̡Ckм #LX lNީΒM9T!R$>'q ^XR'aF-n{a<0'W[ePTM,N#qRp6R@Gks~Yt  5.#Lm%4jf B`uo@VHǘ3UD6R*Ad hDrjrܞ$z?č7< l Z-Ҡ$D)P|ϛ7&{6`)0)'JajٶA3$ T\մ pꣴcR0Mc Z+۰z7cQ۫,tEa.{#|: ާ):I9{kz[cz\b]87 nFlLomj jG_:V-d0Cp] o[44D''%kJ b#@hlj36y4?'/VY -׋ގ Rf '`XYQh[o]~jaw}*uww?֧@~}dZg1nk%[q.@VͿ-ƠLW9i~(Eؙ h5W.D^AH h Y7OL"|҉X YoR+ϙL'aF ԒByD7X"5 bB#x2c՚k736>%B'\¼$K;Yhc2`l=08 fIF# @M1a1mqLs%@'`66ʱK<{NŐ"3퐂 Á_g\/2d)} ]h0Z2ʒ8`>QXu209ֳ zf{+ܺS9+/z ٔF1\b_|3 91fPm°ۚd@%Х]ŷ9lYQ4g"x@Ty`*;:CI^͡(mȻZthD|revW ]yxa;!+-GbLq*?Z9Q _[!祮b |}DM K.C3EJOۧ+j֠DDϴWJ%v9Z0f62 ‚qVb2tp@]@xy^0/&Uƒb9郼~8BIwZE.vovp5cڻuJ҇G, IԚy7120C 5J ,'%ܐFDa}hXYA1t+4'a9Ӭ>Eq\*vV_P7 ֋U";B"C jGd/&n'vO62*n}b;jo+?$ר"Ln2_4? ĝw*w 9{ސ6+PعZHLd w!㓸`"3%9Ob朋/'ZhA5^LN;]~-;02:=(;2\sO.phd;BpwDzUu}3<0ÖABm4Dn  IqO![VNGIAgxFL8f""_e7  8Fxg< ɢ _R7f% 0lX :mv- S<|UmW=,."WFntn7 !/d: rrRK;C c$;HkÌpitbm@))< hW٪hs99X-մ>1ߕk*/Y"&c;UY7r)JxZ8-3ٛfȏYqM{Vk\2DS\Qڔ9%ўQdQ(wL X[(O~" x{I:qep)gʣ*fĸeeo*+t2- ߰D] Y}!ʡ>nrԻ'IԆ-?|v[㠜aԠd/N Yv $7> lNa6<("M֙U}7M $C{~BLŏfO"[xX Q*IWs8ʅF[>Sl9}eR`L^߽*mZr6vlq-QőT"G"\M s`/7,q&!ߍ*Sڄ9wVЄ\h[$!ܺPoq/c/c_oS32扥%bf7`=D5 CR&B@4R~.lsq/gY(M^^,O6Q:m-9Us&D͉GL';YOϢGx]H=g XGESw0.tJ(ɉ Qtq1}TVG&/γ:$P)Be+DsͲo'C*`gmSJ Q9J0e.˸sD?r :"WO;Ɛ{+ 7audzL%%cz]Sa7ע<^&?bp^™/YNy(jT8 dhS19~=!xs_G=+ܰ,IXe]P0M*$;XgoM#0H!KB+W0ʰ.0`)i2ѿ'9{a34ۥwWa!]!|b g٦Ll,rqyB zE.N|TUZ/ /ȎNtChs[3C'*YØgؼV\+ ;g q{%#wܢ@+^]f7a໥39UuMri|z[`1N9ĎvUTӣu8v^>~\3h@AeF0Vv8x*%Ě @vv^-_[_[t<|>`(ر&U/#jEa UX >G'a:ԺL{LȲ`}Vf8 A'f& \H sL"hxr:ALiJ-TRɔ&+| v _)dήKCDcIotZנ^C*==;>" ?ѫiW\ }sq3zdvtgAS7bRA;f@t7YW`o!ɣiqaT5}+r` [۱6]4@,\?Ӹ 85F# 좑Ea~W4y@o1󯺯l}MO[IC5XN]ِ ĈR2aωr>c$>xCnd"]0lFJ\黭+Xun#.8~o97`^:ໆ䣹,hU%<2:0-lgyհMA &7!uAPuu5rQCDVXm<3晝5}ʸ4{IA\V..*}b^vTbԦKUF|I L~\5 UX߁*uf4%x4d0DqE0{w?]s":y)Wb_{ŒwD+4{›K}ױ4T4_œA EVC>ps`s0Re-m~pIg{COe≜BL -zJ5H>߬t/QtBF}D]ze;d4BezHk49(Yk?-x|@' F}rL{vl#K/THQte| YQI䳇|g~Ī22q,iu o\jv̸X & D1ދsӁɼ^Z(HCp=%KpՎyj:!]c S!Y ؔb9ܗI"LkHW};؏B2$PԴf-7y$I6[zXQaC@ sbŔ=Cd%b&fo$P-\`WIɵ$]Ȧ e$E@p!*^paH .uT3w iOppׇS pfk5}L9A!qѵ E(cSڻ2%hmC]Qۍ{Ժ8{::UfΑ&hj$ fFR @xGjR9qsP$QlOPH(R@v<C{9:W?-dOH^e_h$4j ZⰜWږhAZ};@soߵுML 2um?[^/RW-8D /%܂sVՖ$c8}bӪJ!*ZC?AnlY0S~mu!dzT*+28e/D>;7^҂ຟ"]xfgGac/3k)@YRo-#&}B=ϢF%;(tu |>E:!S$;w=1r7ǵ*v޴$ R'jnj% [ė!83nzɦ$oc3HR^n]g{4d+sTv=PZZ6;ank5EGDZZs& oSpE J˃̙XjP3i%_儑3PMU(KL(]l>p|8b35 ~a5rz7`)i Tf}Xa`zj0EA%ʴR<.pfY緦S BxBJS W=s(!5œC17R]KZǝB7dpw+7gpˋUs(E*H@ضͫJ8{[czCbCGZS ~yA\ѷX:M{n#:Gsӟ f3m%1WE&y>R)XɈ}*|9M~gQ-Ery:fK-)ݒZY ઓQ`JpR#ՖX hJDt`(S޶{Wu1"la ݎ8r|"HsLU /]YxW /׫eUQrڝZe"VSIZG+;z}ֈ c:VO0D6"NGU;B`< }ٔl\2YIY2ME܇ 3Z2ZSL\3;ҩOaGݏP(KH%ib߁R?@r2l[Y$_O6PwU2ԽW;dB`{ꠈSrKa22҆;,=AtU}篻 "+`h2@wal*TH[ RSu.{ Jϓ>Hu<_2znX訄퇌"gSU+`eD+ ,& `rvP_/`}E]a@eju[q˺ (ŧ& g.i|= Qe0~Y*ȻpQP32m*^=w9J! }2bgټj/Z/E“!K"P+W'qMTrLcazej]u!R'Ng qx(ڎͶ[|V v"ZGAW;f1OږtZݽ5qa5u#Dc\Ë[A~h':8ڷe(Tn0ݪmnܱv|6K3~H)bn=mM#11kL:PȰЯY:9뎍 fZ`yqZ2Z GMq,;OKȘ b"a<&K7# ZMGWl]֍ b8QRdj?l&aឦ7yX29g}AO J@ ~OsScI 4t轴.Xzvb6bأa5WR Svgǵŷ om:aQ>z ,I:l/uڅ[?D?rDzi!mL GF6Lb< AQ.4\=~\cSPӉ(`k]|-RCg,!w4?66 |"O{E!AHtوu$'ci1>8U:h%wg ڽlRp+F7fËB֛.\$ebdtmI7:z,;,Ԣ\ਬڀ H|E ql?Xۣwb9=VX4al4pp:֘2aJU AxN ־*'OSo9y<1ʑ#]dk ϥc{J:, 3[f}cԸp3>BH R$`cN)Ԋ}XҠWE%W O4kT,cK<˯gƷ?̴kט2dS4w guہ#@2¯.uf0bOCᨭjz|#_ɶ#aطKӦ?Cx%ѐ#4Y2!Oے6?4~ƞ%cn]~K֌KoI5$pݒ "4c S77'GY/$h5ͩ;NjcElrKWgЬé)//1\?d5:z5Ճ@(㊩jz^msᒌKt'P@"ҸC^?(/X7Ύ暤Hqt;bzCG7Zb[dac w e 9SY!>$TBחczο$ѳad.{-)W%Pr}RH$3a"$'F>V LLH><Qv?үV3 K_2~ Ã7Gkkč73HtRVP~R9m<@Y6S5e,q۵jPu#+so!M'r`~`:ڏ*m9^AbTv;tue&q4/9xY KRCM5.Twwi ?/<n2ܩN `}I,Yh1 m=l"AEeKbñP]1Dn)bM8-[1)=H J Hy.Eg 9T;( RИb KPd2ky9tđDHKqȏ-8F_I]Z2MKP&a2B*͊?0a6-æAW4Hj㝯Li:D&p`FPS>fɮ,܆jȭ{$0 8? n_iIaw 4 V*IЭg nvfu(p*f}(-}k*dGR$d< gE:F>''$(H#a.HH:-ކz-gj~y҄OUY 3,fF`bBcBo8PV`LF-؋6WqnƟIȕp(JL;*ܐxFQp.,f eڀʯKB}<]&ڃos֕g>Z5eZ]^j6g}?*in70vG 6dC@q Pkӹ&)·ShaՀgYG%0ap=zr,37En m4b'Hq9L)eL&+5O]K=ߥ@ё:v`]At(BrM3v5!& j9ʨ_@ `t/h}r= *FdL}䡵WdI8a Pj-􆄐~۰B<(E>0`#W!۹R^q[1U㰫/i͔A;c/ZOBNz8 an~7̙Fc\8|GS['K}J!OJY=^7׎ y?PX'5 9NX"dsK03`N0FY]*MӐ--L B1IY 0^[`N7{4|2K*".=j```sQ9LS9JbA4Y&.g5H5t)g]1ܣ M2b93R jh>eC ū C}25o-=y*\29rWQJd^@QHC hc*zHEiJXgm*njHFF$RIu*Y|='h\v=t7f}G ៘?4<ꢯI(H[ ×Gv"/ۥX5x z Xukd(*ҡڅp-U[%}PAdXt@zK>)GK'0`"x#rO`"~KBA;.=}!d٘^;nޏş-iM%5\+5QbN,G(ط^BÎfm8fMrG1%pN e{Ywᶂ&˗B嵘2܃ *[+ 1ͳڧ@Eb&ch,ڕ+.SnXD?e?kj'ßJLRܡS`/χs}9ЂN!UivU`MBO UV_Lc0E_?Ld8kU0BAΈeGpRsOIЗ8S:hh8{D؃MADvN,^zM[ Bܸf9mPNvR^zy^d`D ORIDL#<,c%if4\zi1 ӻO;qt\b4];p;nWxsk9:d0l332IfUKB\~3.lF[OBrE ;?,~KhU!W=0` c[陟d{9XN(E WZ^13P&LAc?`0PU,IԆyc>#)ߊq-U͸#ڕ$ĞRٜЎ$u#""NuL 8>8h 3RjMziHF"OީR+)[XafDʁWI:X\4 o`~f[Vኌ{wTaAJ)d.mm kKs8h.}_R;ds")93m;#\zsulH+,TtETd@vO " h~<TĵN]QMeH jT @;3=n w8'Yܺ "-_:ժ rU!Q-inTtG)#{2eHpI(:~Z57X]Yuspi Ӣ>z< }yoj1LiYη|ponJ;7+Jχ{c7Zonc|\iUv[5REU׼c.|K*Fš5Ǚd1}(V_`;#_`'V9([W_im|KpHLW#H k8Ke{F.ջMG)I_rOKV&T۲Ӟ@dߑcph-Þ%kޓ.iD֫!W0K%hZa. pr! g i]RytDնE; ƊɦX%qԤZ㮇HHJ 3#BݽYtB&~).#Z~b, [+Mk{O4Ejh`AHB !- `w~Ǣ͌ ,&0'}ؕĠDئi4Vca:v5n38 "J8Ğ{d W$9C$sK/iHWDd=f]>ח3cр(DLtx= 1Z-9֭\:Ǎbha Ml{td ,T3G ܕV{r'iVSVpQ \'nQ fyS\=ЏKg.EzR]s8posg"*xR/yU!W)i8p.r4эR b5bvYOWxLƼs&oU icqʹ[k07 ^2Tn{@Iegq]ZQOwfA)F{*I7sqOHBT3Ib:6^6jҢO"Bz^=K~ݫkOЪ=풝ܵ`:ev)PV(`$+6t_/kkKxH~35 RTdV#-z*$U,oNAc%w0"WAT&9QJ<'@wK&zd1HfH3ٳHCddr%`̰MN]s|1IggÒ'*HDy+B92 :JƐs`4/C+ ndش%!xz<vy1 0/?gI,I9YEw4nMٻH[ٹE|k+O qc\ ^9t@^F'eoQc!l'v1wֆcj7Ǖ3:RRp9i~* vըZ>dě*  /=vx{kTH@zN&Bz5.6z ZzEvyA=5j2$mVz[bq kFީX)y MuM/YOO.mL6a17|ڀ,f)@8tlUj& ʀ4)L3+k.oV_r{.Zo{c,邵TTɕ$w$ŵ-YѽD)}N Y²CS? =9BCEĪgǓ5ˌG+uYr0b/ao4 L$x#XZagV ŷ2[B tc r}y Dx?k!b("rO+5huψӢ0VFFHֆ J(yAaa@j٣/1L(49id<5A{c3#}@ xƭOjw;DHAKcAn1+b󀏦V8RB 4jeN yG|F] rG\M񃬯~6aۃ\Z2=,. *} }+'z:b/ё^9ےa(zQx;y~ Ѷ)#ע̭JOcUD̷qrKoBKc1 X%nv\ZNd4kNc} 픒,[}r-ΥmpYW! `!, јP ii⩕r=4q_n? ƛ%jQ @#dSH׾bͰ*<4064 DuWS9fgN7ke/&N qGEH7>3Uz Y6Zc~do#$>xl0O__崽O 0!1%M:,CTsR) R=q㗤^} S8=i%YixBΘd]&bAE\CkJ\PjϻaKbOοud(MrjzNG-wXs#YUn$9MZ5cۉ`H3RϏ&ha'ԯXm{uHpIZJ{ Nh-'5|KS9$[$GLFsr4{'ǡ:-dJm[Y|uцRUEtqCY\1ns)6"! Lc$!n:")V?)^ɄejSlX{>y wqDІ|S`vW*#CtL{goPrVxuHm³hhT/?=ګE8u[oƓ2X~1ٝ'}KKYA[W2HSXv?)Y{iݚ}t mM *2jCw5N EW gIdGKP($O٤sX[p܆꼀RrFWxX @UZzťL|_Lj):z+@zéӴdY{JR绳sa $SdH#8Pop41 L٭0]বBNYKH@~kü{hJNte"Dlae$yur[#X+nmtǡRDHѪ2X^r L4P>PNJCrTci*tIX)Tc)̥`,LnL l)-r,< *r2r)Cp PlWz1'ℸxkd( -Tdr̠yD$~8ab .Lƴ4,&RtfGQG>̓ڇʋN{!3 bclm7z$WMhy-;WR~pzduv>-vwQoys=VZ%;!T}n"(L\xFiFS<ms3W#9^=ѭ@ė?o2ݽ%ø[iO?sK xArx<ǀca_1w[B-0ޙKRLL'la_Xy dh?\Tb9Uyn>o⸒$d $ Igw>l`'oa#̔=ʇ_qJ?_r.+q}-iH{Crښ栰ȄSDN1XJV'R Y7X $|/ŐB2vNS{1P2 K\:G2{xN PFS9^q: X, 6 LR$U`Zr7vBǚw~Rh j'G Fco渱,t\y˯8"eWcs2 FoN^ !LwF+85`td 2-!w8_~IadK&@$CLNbaThkڊ:”.{#1q&(ߗ4qMCX+l.11d} lHiJM/y -KܘGͣk]4>A{ߊ*/f}R‰ V`r`cTٶAJNPfE)R GӖdh]/Jk1SԨ(3T%Xsp=מuRϵfH!𑱸~̍`/+,7sŭL\'̜IWlۈ[u&VtI_6ϔEM!zH/fL ^^y@fqr<<㾣X5s$,_(@SZh`UTEGr!2i+xnH}$8wKpH GgS>I ?^xi3Q*R)*3+Sݥ>|`&񽢻cgҷ6^ (=o le7Áv]]1Š2:UaY |] *}ؖUِ7e**7 ZhTH~fn {#Ёj w^1ng9XϫiIy:^͚֢\iӟ pi.PF6[L Pv }&i㉋3'Vɘȵ;A-Ok.|LX{"3շ,Z)6jfC)`M V6l?=Dиnxmbn\t ZЯk,Ll'W6R̸ ,T$;4Ϭze|Vn LpS0WN @C's[ *B9%ug|f'L @Qco'-Bߏf%5("Yu3ŧJ=mҎS[=r4".fm__2\_1콕 |CߺIkT$e%N375C Xnut23k9=?Dt/"w96EqwTA絆1*2A7Z}(FQӦ: d6JIn}wrN*SĚIړ#_1wcF톽jpI’zjXFp8:_ $GŇIz.! qVx|x+JP "P׃uW}ݴkpr><ptmooZ+';*˜dY6Z#L@v[f6A5~l)d$&}" U^[WLP'LMڍoAcA.SJʶ_uZݤ MssTq+& [a/yZeSYڊWquxl:y]X4h8j2} b~q ?ѽXJ@1 MWyi՞Y/fk7 {B?NhEe)kwӱgYZ7zXZִF! E]ŗXiɟ@cVAB»RZKf|ݫjnQYFhE9UtNT6<zYX6(W6JW/|fRt m,R&:0f|CX~q  +H mF~YCtd EH'ڥ):Hբ&2\ WKq(po0M^5[N'p9#_5f5<\ &eAHPdWX ٩m(&BLgYZ7zXZִF! NB]ŗXi%L&ʷQ |8',rҳɴm]3SI$?9>!,?tvksRmv-/23T|H$k{U KF%hZ*tQK>M~+nqG28-!9FBB] bߜ/L8۹1'WӞo*ڟ\ۦ0#"&w# $JØe1Ao,}1bZ7)B`OBE:ZH<,Yy;y5gobed 4 W1~Fg0qmwHtIplMhj) 9!C|Srpbn i8K:8RD' 3ʚkSuAFGpΩIPk+I2<1"_]F0ոwXDq4,N;ZweW6 ޢn¾NIٿ W(I{+Z#,[,f]>UIa&kܨۗ=0RoQ~ƌY5* u]-;wb_PՌ@vmgiVHpzO܇AiB OSۻtU/U ;w-fH6lTGP,4W:[?Jh0Tn|D[-iF A>+Skk[ Vv0$m핆@w!'>Jݷ>5}8\Pn=NK(;/ū^FaS1yǼGFޅ@R4U54fr"X  H-bc`ˬd ?=+зT~}dNYga4fLq2\(:;"?s0 +A>.1\`.gL>PIQeh ] l(s>7L:~BȥMQ=EKqwL/K[=R-Q\JA BKh7}/"JHi8B>ޙ01 LwXu!NSX Nl? eẊ&/5zX3c\n`*W ÜjeZgYZ95e99be90e9d3cfa9a9c56f0b3fe17468910364a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 4b86b8345ba7b91ecd478c16f77de0dff526426b 93731a12e70e8d61a21bc558bfff1b620fe2a743