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 't4L< ] Myhill-Nerode:threads=4elapsed=27.439cpu=77.860gc=2.8007zXZִF! ӽ]ŗXiɟd)&]ThRc(bPv^X>N1h8پ݆lº\$]Cdb-'nԇJF6ݍT:/ u+](|_Tm>#qk5n,C&@{e_usR:7ʪKzʆ}q? WrL3^] R3qeO$Q.4` ̔ceLx>w)bHrspM[-/@ѕ/uȄ (ṉ+B:urK:dy`Zr 7+4W~-&H*]o.މ($_zki5!ݲ6y'0=tg2&>ÓG:4KbHu](rݓ_)uY?v\j#pSHd4Ma/]{uq *0"!zy5{p z+٣ ^OTI(nU em9[J{1,#ѐe~6.(r<["VH~͂e~m4܂ dARe!_rpGW1*g<9nz;?~< =IfJUJ/oX"h|E"h:\Q!0Aܩf}3VR<42TCeЛ^2?VA!iV +l³A3jǙaچCyI?u8|-m#l/YX\Pj8$NJ#9XU]5FFnX+5Kn0g66JM&oɭ;gP5wuD c/.mfy|}рXM3e%I'h뮱Q$ͨrg+jtы= G=Yڌm q6Y|P}Υ$hۼAo) oعb,{\mu''lr^iMv,.&o<gсѨhpyxf-yYO I*A=D2btJPTZ_uIbg ztZeӗؗs3SMZD,ؾQZ68$ٛe1+=UwG&$aI2iMoVb#+}[rPjWGD5 N‰h2a >mxt9TBeHiGN܊1}O{ ".zl΋RG q[vc:WoЂ4Ys6%5Ju"~ӏgPm9lxBWHKP"׵:s:@Bo|z-ƠD:QJp۫r#.T lrվ&!M5܍Ĵ=`w 狰 b,b&Vl'ڋt<`d,TO ȾbRE3x Re/1d4+O^0oS+ 5MBЉd\")l7e?9t?OX+)!!%m`0n P6ܭUN4J\+y:6Aksᒷ-"M0rKnqa g0>_q'*5YʟkLDA1/EDVu;W.jXM|{'7* S֩P!$4Zǥr=DXbӁvM !? ߊ%,Fc$s7q?Tq+9X)س6RR΍k /cȮɋAEП['?wU§:SowA| Nf=iTXZ*4%r/3iG~$OeYhH 'imPjl4|EVemdzY՛*gc+- Z[ '|FTLm|}Exг4j5RSɊhl嫫rU+oJ0bh|!񀸤@)&jDs;fXĬ(ԣ´qd!b˶6 !s;+uaCy"!%] 5B ' Myhill-Nerode  "KTKbrtMKorvɉ;Hh!K3Qɗ%ժ*tOW-! 73[;߶ MIwB rђy6%0:0,WŲQDP zym_ xa@.~=YaR*Ű/+/14)pE#KWB::<%JgDHѓx~T A&W#HQDb2gﻞ5#e,T6hjͺ:'@xKFJJv cl&98Տ'  ]aE52. p?V{6Pչn{ K<.%(=:>%\ Q]9h+c`?n7|u!VxmoĢSu[n;!=#W:J+/Q`W!x2M1yRt\Πh6ыW Fei;[g,9S]w="GuT|h  Yc<\ZDr,$d8`1p^h!79nQ(#E8q?DYJPoqj+ J^ g5`,13F{x;EF{on_$b U9̽p)g(m@wdQ\]V]T4qEV1Zױa$< @ES#p* 4En2h "RNY-E1D+%߸c%~{@d*Y-/Lum[R5WF|[k>[ox^#`f.DFBskƪISO qV]0O66 wI$FiblD]hy&Bb]#W(~ sKmɊW&H>̭܆u-x!"gI7Tjګ\%^jKOBXH 6 tէx'є ~gU9Px:Vp<_TzZZnr-w4c؎Qս"ۙmlP>)jԦQ :b8Uc!yN>ɥJ8\)/.U ;{ŁyBoOP^e,>:F3~} PD ޿dG Ëxc'^CęY[?7<c0I6tA@xA#}9Teƀ#1YB 훾v#'gEÓ۹)0k&h}@)ޕ;!Ci!_wRp6_՟gfF} v4{4-]Zazz<:prw،'g1uz^ U=!1?=l,zۃi2B)$^7!`hf&]1嘢m|aSK=W+O{m1F$W/ ի-bCRiy7gH-hN:1h0Iz~)$ݹ(s3k8jgo˨\B4>*WPQ0 S.JlfC.rڥU&ȵĘcL܌Ct=4P`6l Q`Jˀ2ŹJI:!N@U #˹[e<\{|Edwk4'HpFϺ?>Yۆ2$]\pٗ]tTdiZRRS-g bw'菘k b\z$+a}3C긓tןA$v/| f.rBYOB/-e"٨e~ҋ-駯_a!gp%6;O3.LmZ%{2 ~@aުSf k5q=}bE1|~g#~#wE֐-,yjͯoV~ {@9,h7'y"H!N\"M8O9>#Aʻ4N{FrKN @z/ܮ&i59ls~?qΏHDwxzZr|ٴ](~RrS[Qy= q6]5 Y ^Z6l*Ύvۿs=8yQ4ihjw칶+ٔrs'{泓-qIcG-?+rY?Gkgž*L&O!VJ9#*/Kr}֛N Ac:#iNaYk߼eSW"erYs^HdYR"2]x !|r `ySw y1DM}\ 6Zry@RNoq)و[M\^B|DjqƨUlg{^Iج|5aԬrc[{y1 5+ǜ:U/Z'f#续v׃{~v7*3mjS/ @>~twƞ.48̻0醊=Ɠz'+'0^-2 :݈]1W[r aK&Ygwq>g2 KianYʳE3U: )nT? X5BH`Pa,9H":;$^gаKKf JDv|u/q`98qK=ZmVG"izC!̥LD ; N75Ps/j.2ԯe񮎚ql8,pCCzoT4XPSXtd0f@(3:f2 LFm%d*l21ƅ׼ U/(^Ud)ZBOayv9ܿ5 X_2Esa*x|M#(; ҨNezHRz,g ÿ߃$Ei 1y+ho٢! {MeՈ܀ ъq\v^VcF C,i5#,-*FSE/TY8L.{IOY"Vq1z?пsC.K)OP}e &uIXuNݦ:_$5M <a[%T~}GXY!P\JŠsva4ɪy@A +v8=02Z,[;zXdcg&%Ivs A]DWЉ5heEj0^\GVDj oHsO>s?)i]5) / Mf g)l> fm YW'BvScD2֘r:1;CKPd6C,@(MTN>Sb-9/$orH-=/_(2>匘J' ǣbLR⣯I'QdX"T_c^_nxȚKt>u&ɠրRʖzE__giCLZšh[]nBHĩSZ{`- Fb7W{!uoxde!(sTEj^AAwˆN, /+vQɿ;1zPڈ81dȠryt(w( 75@K>h_~mI^ޚ G~ #(>K rp=cMC.Ou*ց[)bQBR$wq[5JIg%hʅ(:ė vԿ6ß#,ْzŢ`7S2pO(h,Ev\X\^"\dWP7ٸdH9% ?g7[+ `qZIUvCˢVWQIJίM'I;͝1QE@JZSx ⎸sZvS(. O=RQBM>d~@ogJɊP60j&7֠GJMy؃\Iv1d|?*rwT}5kT~[  Ui(/j?d YF~rHն`;r9&EָF(&x ¿.Ϡc+VMŎ5d?c6]e{A@8*I`=sg՘"i+1_!;wyJ}䅣Ecx|~R8g<3kB$˚6! 14M)O-p#=*V>MEEʊǞ1" Oދb]]S*VKt5]Ձ29|: N"ā{&-gGۆ`GeyJr#]G oD"H\[Om*PikZ)qX DF?DUԱgˌ2|=(Rz Ffƙ2.JqPw}KEn `4Jl|Ϋ\Mum?1 g6- AF]!Cx"UwvsZ,k:81RtMzcAEB잒FdHh[8|U1-^H5क़( *fl٣ź_{ٰ`B9 PGx짍U;#GPF:8N@XfLU0HtB:$ixtz#PfmˇC$|҂f&Njݾ__`YzsU%[QYl_n/`Éw5i"ʖ^7}Qx{^zC<51H͋u J%Z{'(}rp0:OmE1'wɈEQ/u9F9˹=-!:NF^ |+E Ս3-n7%Te)=ǁ/gxy96\ ,.HHeptV>±pCg޳Nԙ۰́hT?hH嶯{jTLQQPJ=RnW|6Pw -G$tM<:}A,lQ1U-ub:t)íJuTܭ7.@+JHe%-q;~˥5Z?!m"ފukH^ժ:9hCrkE4曌#Ѽj͂MQ#Y:豙_&" Þ%lO',Km+1Rޤgxd$o#{kbw o0D7NpOC ej EoI`)$YSȑVSkKK_*?]?*GRQ<D*4{{ '.pɴ- ֈjEr^u?Vbo%!Yy 34>(/1kЦmG{A& D0'%$Ir WNaa}gy%x GuUW1u[h~PPUY"#L<,xrJ[.MPڬVM\܄,X}Y x:1fٿFw!ѡI(j TC|Pj1j$ىI2XA >}3qS>et^KJC$)*y82;S M1!sP܌E1KY VrkY -Ĭ ݇'yGE6ۯyQ/]B1 Ϙf 4ʠ~T(?`roq>ښ TX`4c0_>Hc∶K1.YWA8>ZuO3_YMeܔ31(t)2zOXgwO`8 rˈ@"Vm|ЉD}\|8XK簛,ԏ%k"{V=Q5 6M5UJ )tds''4ƻ`=WFlܵشU/uJUʨa3<(NiaT@S`*9Džj[Hne/o. n89Vlc#"bMiDQTa`$5$=6/ee>/U5~ox ܷxd\Lϱ<23˷8GluR%U%\ğYp\|w> [gr YvbuO*bhuN@fų":{訖0ףVͨ>#IMrГn% T0^ꆰጂJ haU+>[.&*zLcx3,l~'G>I!D)CrQw\rllݴ@m)VA{a iˮx`~ %8θ`[<:3N,OHgB Azɼ,/J 7X둗 =U4OxޜbMY,@ҵŝ5twD]0K.N˂܁I/Ot`M=?jv`S&"-Vd-!)\i `G"!vzK-o 89*lxq.T*ħgā1k߹ [8y)KuMe1#@]YFl\!x(# u l[<%/;aB>09&V:~Fźc#i}v)%U_fIYXqK5ogmT2_RVz8a `czVv^LwLX|sg"  G{ɮ厯0'(1tK^.'qum$Y Pz:н+vE،g/d bZH7:hε6iMHZdA [k/c%pU=$^Zj0Pw{%* ˴-SuZ%=+5oQK]qQ;t7H " p& ˱ߠm9+>ڍ=y!/!,.ÖPH*%{=|?*;nNg>_W8!ƇC>SNPrkV(Ӳ^^. ~aX;.! |_%X]i۬&.4JUdcbö9]*\N4\hk&?Cf#K9B꧄RS 7`HQ9*4rU W{_RC,sEKXƕyߩڼ3/{*hW%ٷ`~B˔bjs 4p_ .tl&4)T`Uyp/uU_C:t,#O6}|9*gGGSUWccn}XD*}/MD'+pOWU2Uwd*.AFҾr#Z!EUŚ!0m=G䴸P~B@ A$@D_haɎ59}d:rcfn%(n{^RJa? :EbXڜvi5aW}Š8$]c[ɣ,I@LjnmY`l&!$/{!4X!&ϴs-\E惾 r7ڙ  Љ!}8Iӭk'RDF$i hZ0f͎0Kn4|B1Wڼ$z 9 /0 lk:ㅶȋy])= Q)r/EHAss"0)"kh3R7 Ė#Wp; " y{ q.?W>Gz YẓH"㟽#YVx|KrgEJ=9 $~RN pE>qޑ@BuEL*Sn江d|agڨ]Y; DܸŐv*E+θpseZ#hq3Sbr5ˎވNJւ.xLcjy (Fʊ~%ZvIV"X=`:*!b,^d`*KI¶{s!ڴF|zJT Xo`:\m2u5@%#~uAυk0c1Rfj+r+tFi EalTp#:!&j{Hybgڅٮj;@ Td~No%6(mRZAJ=j7RJ+qJGըvy7)VBɄb+ |:Cq29aA_A)ZQoY '{GyۈzU5>"I-\cX 2!y[rSРuc#ln-L c֟ 6Y@NںJ񫶡9K %L)Lv7%ĺA,啗1d: "å{loI*,KXĦTqVyP3TO]LXGzRL؋̀EIhcpfeqqI¾tA~gFVU ?r#!~ތY'd%)M#Ss0h/-&xVTW_R8.my%'= "en=f|4&ؙF"BzzIՖ7 |9ꦛiK3 Lo%jyS\ʏaҠGrLA&O`$5q;>SL{ehs b~@]% =D3?N?} zmv<5tj);_)Jd.#(!4(VyQmg5E$)0p#T&Z1MWXm+Pd?u;oWY"i,ӄB'5h##-lH2(o' ! ܽcuBCMaʎ4ELy$ η׸[}:Ю8C- Z 9r. wY#]o_oؿ<\YsYC[\_40oDysF&93 )_M! {8(˜E1 bf<հ^#3Z43NݸkY3>x”[+ڪ7t߲|fN^H:`,P7ˋ64ڑgۖ?J/i|վ-|F/bհo`f`lcG*PW#%vD3M gNo # s5neؗWu=7Θ:$ !=jwF 2* 寳

9֛N1 wδ#?2S+|ҬZdikQ ';y;"!TלLp&BP/ngWC@}:i:' jaty!&_/pNT\[fF6Uajw4X%H@vl,.:.~Dh%w9? _z;mET^䯳^.x _Be[ixb8"mü8x;ݣUAM@;w㲤ܞZFNv!Fk f/hD(-dQr#qh\g+$uN*#Ы؛+d)_8Xot5L|Q*RJYI Q2C ~+ :g^p{Kad}!zleem*rsx1fCH1g>@SbSqnS}ܹmc>rd4rsthG҄2RwœmzMƆinkwllN.@vZsMhŭl4~R wߢĠvS?IsG6-LnHSm#έD[+}GT-lń!Vub6&P(ys#Fn_ )+X*7ݙk%Ƥ[5NͰRыyxR a*G:qsqe _lȇ#sL'Ppn hP/a.E,ڳ-_4H:DD;ʠϊ^gyU-B"W&j[ 4I4O%Zlm/S&e49LHspJΐ U `tB%B`!B`vɆ,qT(T!E)2"KuTi$FxuȎa:ngw2r߄nxkDRϻP_&B$bV}{tL;sBR.x1 v@^=]7fMġ:k_>W<]?@ο\ չBCFe@}%UD1VP𪖾X/YG)TLYWU^fPF+z#5fz&Ǒ:D6ul1X_[ ^#JD@6JpJަ m V{d(&HG\x 9)NcFG"qfW{H33T3ꉹO_nř.zJ?tܓ|ʇh?}VU[ ~"3LKz [ƞjm!5k [ Q5K_K;T:RʨJ0I'% /[S̀0*}޵oLБ23tgqa𠏷p }6`Ko(3dlXB "릅4\|O=y版)16aEO4OF~R @B2 X>깶7ۘYZ΢-w&#\) jI·r?+-J-6#ֺPCȽR(bhr\)'r/$h"RfqRx3@!M=t]Dg.FU D<؏#zb:dkٟYT@2XGZy`ͻ+SkA-1M~5XM[Y `6ch%`4Ѭ~Lq|5#׶sM|ZDt};gyJ[ܿLiNj; ;aSԜ>{yʝE4Lm`6ף*F9> ">3@,şlڄECSf8W-Sfxd f+cb] ]w'S앓 X;*uo7Vqcg`.5><飪1f3.IՕplVk4n>41cAoQ0]Ԭ+}[\QZqU*l9X[wٴz y8fcLMܰ6@j>;aý&wنW _B*=JR3+>5L@mfv!,'8~} pDPFr; NwiT몢0)ZR)BskŶX=od=7!a.a$z.t_Em0BM̑$! Xi=5R x#= >M-Cr|q DU :һ.Z/ k-olWsbPdDpؕY"!lɴ{Xh ̀=!j2[Osz̖EQ]k)oۄ`rvW!kȐZK4hf )-5!-S,E:ߜn8MHT !q g׫v.f粁w/P+zhyq \$jSDM.M?F 3x>JbR~ppHٰe$]RvoȹΩe!uٲWuwB2׆6'd4!Zv{@)HRNkI׎_=IOuGS p*,+(B1 ~BV8\~SqQ.ԗXh͈@-'M<"cbGx Bcy" prb4 scP}ٛqj0a{7)m0MT[\t?i,K$r!E)LqM#F6ýT} b-#pz伉Dϋ@EN +*ݽ ooOG+[y: Q+U?' balz$2ܧ_ ^}qw9 ۠] . Cz= {135QF</ 0&W좡-n@MTWgcNJޛvNdx<$1dqF~7WyV_,g=4H .K!~.I6M_w/Z@j8j`9[dݸQ5и#wY-jO[2.zeL塒Ie1dZ{KF@{ZU5?UXmвiWRTǡ^Yjc urmȍ+ۃ1b_i9|bE< F\&Yh4)QJEz&]͈/>}s-aѿQ#-Ip "'v3׋Jʹi׸\д;x=S]Q'{q>g Y$-| ˺)VqqTk4 (3s/xB@^ل q4~ߣ[f} *ӅB2P[rצ&T8H9`pRK'`Elr+V]Z[? v?c>Н2'w>zQ'8 e ɻ6X.U=2i6EFw#@>h(Fd'@_#Q#>̠8 J,S.I.LMX"(oR@VuUCf@DQz$`e>"$SdU5n٭j~ۢgYvn'~džM^4yljSpv$ȥF~|b4#^h $.= 6b+('e+=GuMVFʴ0Eʁ0-HfG!c{C}aY]gBtv;գj'isymu #. :XaB'c>dW[#;; ÈtYkI([o/O $1lMU{ܠ^t*nw'Fzܟ›|)J 4~X㶪ɮn:]A thu߁~85,!qp/_8k`ORZ]RT-qdb*z" |8DPejJ=/91rc|[هbLS;Ԉ%=<̙6vX |:F~b;&{6h?۲Ƅsl J鉹\57CvHL @e2&%WHNVԻeo'ʏjr_5GODJԠ_xylB|Mv4-fH<Q3Z`ƈΝ2(*rrJ&<U*{h-k >6רr~W6Zsh4M=(i5".RL-IiZvS$;0{5h++K;jL{\j42W,럁ޖef&81YX1$ôI#h ľBw5/A;.Cia30١ZtS&!RCDPkFuYHd1/%td=Ϡ˷,s@SKm.ty[% {T۪NB<#oGQ\fe퓄|.G!_bױe#5 687hn_;)09k¼Z>Oȓ7ګ3YpytM\6  !wM~Cu 3R*oc=K `X]G:8v$1U0;g\epvѼ "=~ yz%L@U{P?.ٷ6?:vK0UEe6 rE.k2].i i҃WWI&}sn Dw4&U5LayO.D&7l\5Ge(_-mwuAr솓%9d灱23 ?؈ Aj;|Mt׉;_µHp70lRf M;x{B\E%fok_ YđUO_ ORU@$9mVAe.*>&h9@pZ-%ȷnE C8 2wBwZ8 T4;y@7K I|8 1S:QG_z8n|)#i3)cѕ¦Ő(χ "%;{v" 7EFͦ_,q [K~'(N=nŽ 2W}7o' ǹ~bRʍ]i2Yz㴈Cd.`lmu2x0Kof0͡ kTȪuwq6X&PcFJIIҎ݃譈fMlamF }s4Lf>TSPDC]obAzE{C+$bռeXGϰ:XUG D0cӋ ,Mo*Jwb캋WD=ǂ Y=r*'K kѾhp+6C Է;.G*S_@ϯp.ߝŗPӧb{\+%p3{v@&}WgvWQy~d #=K:- s:<!~"99spU6|$|wКGy !`ܻTQ c\ r&ZӘ ڑ?W(xH:5N[dozzrB-.̏8$X\٠oǪJwU+ud])Ȕpඉ^yҿF{}8}&J1V"W/lkb,hW}RY{GI;,bM2'K#L+mJaK " 76!B01xfw>_Y?k\W%2שGrA|ʀ˰i Q]]=4.e,: MǾgp'VL9b=ʸ3LI#թ>QeXe%n|ĖLFGDTl-}<\l}+]sC:CZ&&_7H;|+M #Y$Ӂ8H@2%t{]{.d8iרig'Տf |sF}$M.օ&΍PX@ @6P֗SX'EzdBf ܩdL/LPWx>6;pqFEWPG+W%!Iy?폄ϜŽnxgL[6c~'ɳ~1$J'_]!ۧ8A|(px!* +@\>R# Qq9y{x| >YVol|fzIi傼EX)E]p8 ;~X-8WqAgo}P[n J"#6 d6(,i&ITs8coߍGzbi04ii 8] 7:=#54248vWLH%FRH'=I?S F\1xitw}"ejy;4%-MO̕qqCpa{u*)Rg8dӐJ* *<ș]dP7+4}Q', ?t,l{,# n`[1$ʾf,yzφnr<3akIra8p:RR*+Wt*2H{ԭv@TBe32W<2UPCy{ !nDAcH=<d!9!R/L |v%e#iW}qhNeJC'gkۮ-i ^U5\ |IrygaN7n-}Tݷ}4п.:fA%Wj>^Nג #jm*2HxmG;{Z5МڤPa ڶU\+3/5)ą=WtzHog qf/`ZwZhn$AL:@ʌeXĿ<}WtVJws ^sK 5Tb 0ҥG+*{(=yDXk}sqZׄ1F zA5':x.IʆkowKnP{ae  @,ܔ)+}̈$|DL<2&/;ʈCCSy[ل݇ [\Kc{%ٙe%H"aYDb&4N σQWɴXyt9!,cёNtUC )- ?$D{%/~`+![ƳӁA0)( Bj6.".1 rpONάG0X5; X(|GY-貿8v+cۚZ q~ ZM+( sHUF= &;,t6vl݃ 2Zi~,m[?q'L,ʜBexz8-uvv<1?nEOC4!%pD050]_=Mu9|1uN0Ҙ;wJ_wqrmc iahtn2m Y9f`a6̩r+[F;x1i"o`c~ayED*.跭3e/”bܠZ1Nw%B>gCb /VfG7ڣ!(ٸF&֪Ɇuln71md)aKiXDƄsvʜz 6YuFg`u&bnbxZ!4EdZ!7+1HޛH0q̉e\Nv|fHLiIh2`f\ hBgNFtH|.`l]A]L>W r|FgrV$GH(/*h#59-v1YY鹅Jys~f\@d5xeElXcU{yS'g߈YsἵJ':ry<Lix ui@rl;9XKADӳ~"_DVAmްa{T`2IyZ)BUZ鉦-S6d%?~aE 絥zP66*jC|5.enűi? 󉪡r($ä?S[TsKpTG*ƺ1aE]ˠ MFM/w64xJŊEU3vJ%6gh [ Gs@էfGёc` ɒ.?5uX?yK+#) f *XK_ PAKC[lcIړsػrPAmX[yDu_\3P#F+lIEW1)éL!U ⻚JQ d^&C -xw\2JoŮbraHԯiUi (\7@NfgM\L.@ H ՖY~Q $gO$Zbu )7:Ϲe?z=noՀ 7{/[®aA=!8yp3 +q}26'~qGSĻyۓ)YB ~J4]"kMeˎgi f&2)M*6?7Mv\k`/2 khK7ך ['$2bY;1t9hJg8Ke?#GL}6HLP ɁfaI32oUT2WnǩYA4S0=x'4_k) 5)j0Ww}K=qW\ÜɲgV#37К_.7?4MWNt=X:u8x?HdƳ̓ſ Gvb\`'EĹTS+Ct2Ä֬D"+®h 0 ᆓ(ڌl93nj"Rm*anStҘǙBj*U7Wshʂh=7j|m,EqXv7}5L.E=7텆c.ug@AEnȁA&+s[CZV3q8쳐Ռ7זnN|Bw _9ygl{w'ZٰW3%W5gDi-qb""Yy/c&L12Fӆ_'ːLv:nIZ;e7G0JJ1>ӓme(iL8ހ[>6n\9[j0@G`A+F=4J!eាsLeb٢ 9TxE?b$oC <0}R^7[/p)tpQAw`&dwjRtL`%熾$c:DߩU~;ϞhY!fS Z!j:4PwK;Ler8̊\8a26vR YU|w;1ZӷVu7L#'0`?+l4gCծb&8|x9<]lt7(`>,.Q2mO(UNt(}?˰c Z 91HE.|?6hUqv=@lơQ*I[+L}r|KPAώ2ZLF7f z'_z8}D^gz)Y%GgZ}Oc\N Vo7&yXX'mKeȌ:-o?2e/.}a2OȱL)댶)8Tc?o|Hr:`az]5jefs?Ds`E!C9α<bbt^OvF-t1SP&,&qgU&6u~cTlYmw.0·t& m*Z΄]Ҕ0 c{]cPƘGs{>MJ \j*JUNw!#J,S i >s]h[0K$g Nr?V oLyJL4X>rfnuL8l3ou@kG+QQ9b2BvE"ή mxKby1/-ZҺ&evu*K6sJ Cg9(IŴ~E}!x"4;:(=ju{F7{}BAs`QÐTΒJѐsDnf@͙ *8]J[4;eN53BFa$fNmH}E=TI!Ʊ;c*d4 d|@GuSCBw4'1V =":I S|~3e:,+ dQMJ2#$39E%\ E?/mkiSc*r@TP1&D峭;Z^٧n2N!ewZ$=tYaGb& 82{9Dt/d鎘~%Wgg\ʦ S c j-b+k`@A[D؈vz3ݢ~ ?]px#/|Ϝ#Fh\b<G#g%2\ϖDGږb%Lrpe*)im}C'*D!a =S[LP~5LG?/6w'>ls7 -];wָ FJ V1OM7u-H,28 q<2 VCsxGvGY2bL"߀\2kVr ߠ4IgͿ9n {*ĸUhjn(گc}@e cb4^^ERxL#*=Jy}CQOzu/O{ 41 t9C0 i/ly' r?,ԗ_ ThMwuZ H},zFMt%>t} m !%g!Ի2%@ na6:>lj]+d51yrYRDJhk^1~q~Zި!DD2$mzKQҍsSR #9=6E"W)^͓3_`Nj3vv,j= zTW ZU$91qNقG6ԠQM5r3!ۜ:N>L¤0,cf7ݒK?splB8R -YZ괆zYWn7+., ɐx/9`@U_%[+o Pmz)dv!<?z}=vGz6e&%s)Cf2FCx? ;FFlZOEvt͛ukǫZgfTcFoOs)" bq@9]:ʧLJ*lGA ?@iE,*!J"Ʌ8\)ǃ0`"hk^pB!NDC&I2k#Ibi4C %!5=bGZe,Z ה*{1GH` ±>APrv?/!ˡݪw?Lv*j#!N_W1'ǟQ>52U[E^=w!GpUgm]~Hš]d6'B41-BcMN>SuAx@Bm+1%ӓrrJ)t ->3?i0K75u~>$ 36#E) `};o (j$N,eON GWO{mIKw by wY ^<0瀊:.v:[f'F*٬&{h9{IT yYvagA!qKVR* m\=%ݘ=kls$A:nX\Fäڴ/n\pSܥ͙'H`-#LVqe ~9aj&oI3N f_xB8 p<Zhx9u`#bǗ|$},1Y˭A' ](i_`TD.W}с7ʐnq|Vo8Nj3 YlBVcĤ\#"m5hK,$\mlǚ02P2MVrvB̓ȯg_i_\^4۸w(#PkXD8YT": ^kvh!řgDd݊֨t!aH[t nkVNRifBh>/r13F`wk5*Q>ΐJ}j7a{33$ Ƒ1#VNԐޑXI{$@}FoV9]8ʫ|2x כ?K6\ 5IHBuVp6hI=r̂6)qcCosi;GuQIcC~6!c2C+dЯ>R^66 $cMnŒ:On bδ˦$v 2xC?*M $B t^:?6TXT}}ٯϱQtc9́'ME4i4${/^ikor5 xnD4H΂S PE)noH>zY S=#wGe OT,Ekq~mrCPՌgɏZzʳtSPtŲuii+oN/ !iMyh*k-36B L٦)1ęW9D]t,~Pu%㐋\6k0Oe]vV^+1qy˗SsvyԸ2 &l}Bpj2U,#dż,>Y )BC!K R%McQXVEF,HbWq7 WlisviBb餚~'-3]dFK'{:o|u~scHt[jr㄂ \+tݴ8nJV5C5v(9w@b,cQgO5iG57 Auōh@MHu#&-)grbKxNo^%G$AYC8\p'&hhqlėK.`GCy;g:ՁEHRhAp],?q8!&|xV vzWDCofR0zW:i'<鲚GR9;z8jB|,5:P* > }& ]/LGqi|7yyvk\uk$1Kh)xtATʃZ(N6րmiLDr]]/;\{k@@H?dSv\ 3kξ8%1sw{QZ A֎?}{0tܻ)AD<M=~0GpEqs7 U#R,]Ny MAT)_kga^7 #u:#aYf/JW5k;ti*I%SR)x n]s^H/hvw7s󐬦Mqd:𫡘_[/9Dh?ȓK} ĦlCxf|/JmM|)Qք,0oܵ,܂"*xγ,_k|0eͫ@v ]ɯTC~#9Хp L6Te߹l#_}_߫9RB>Pߚ79 G;i]dKXÍ-jݶQߓ#

!QiʜNK,uU:ޱGu5q7kv {_) L6^A)Q6%DYY/ޡAp8nQh&f!ވ{Q+(Y^< O䮚v'kt1M~%*LP8#BQ?=Һeݤ?+̘:k_c19l~ueB zж_L/xt-+_L7*I&tSRXX((GCN7"d xjBI;w*G`:WgFYԭF` pt< J(h6`aFm\[)X@۽NRӼHoB S `M_-8&r$@/ii 4<OjF TU>3l䦞lיp+݊zQ0u$nm$ºG`F,ۇYϊɂdؽ:I]\_z9a$|9xx((/x+ lo " \k `lDD|:x/ 8YIf~qHUOoMY(wBI#ڬ՚6ɓ|vD-9̍@ʒyP- dExc*oa#\fKYmU]S 3J5hʍvyƧ$%XNMQ{kmϵsS +3BOt=Xx5 1_s3P4F@iK$cL'/i})Ko+)@->YՓ3$§6l{$vB.xX~ѾuP1pOy,*hk]S]F˲g†PBW焓2Th10;HO@\st^~f ?\D#'l[%n1y/3 ˴U'jV;D뼎X΋yM#@bZyJ7mQ̀EujA 6''f2N%t]q=)jtT#R`"[m7\Cx"q/_l3$ߦ>P=<

wn3Gtc?E f8s2,QƠ1C?ϱJY/waW.'>^Lg]\B hc{AͼUսzEov|SJqY[BCIc}"J2J]H,-]wiQ G,c gS&~v)5f_T'HGs7Z&~dTgZ\ѝy1<ѻҶBX%]?U3 ϝ8gٕ̎ٲaB } F_UOtD]p?0gWxise$ڰɐt?N:e3/*Nn8>*08ۍ#DEiZ[3~F!6#Bu˩B p+Vrwv?$VLMu|QaExUuhGT c?Vo5'XH76- X,!cX^]@3(L?ڸmjX$]CXJHp'J>x|QŸm |t6Yl斗G2*aWO ! ȱǘc!b,R B_VC<p3 hn;@G){bInaS| EŇ?# zA-LkrŸƐN#1|Ov3~ġk eT]X0qdkyHpªQf Zk= wPQopdGn^E^il4̐>9HƵN"Pe>&x' vցNiZc>;Dl %l #B%Ycׯ7K5q%ޢO|eu0qM08>hi"OMNb̬t'ZJUoia LҬ{ qLK@g,`E^ԃ|?dPNcxBRϹ! հm:&l{h3@SZdȝݽ4dEb/ W=8J*AyG']Cq˶T:^_ zLǟA}M"puCH K|4R@gJ.c׬80zai]ۇ%oP9J8 `ϳ:fl$^P9Q`^yVsVb\W~&SMWbgP+5lV$,7&?E732v)pi^ܰO-;)`^-t?i5; Xw)t[ڷ.erWפ腑";v|^0@.,wnuk\QSx5Sw(|r|Jo:/l3>^?:hԭ <4t\WwwQt"UΊITb3 \]!jz$x``hL ah˗]w`љ8\f/=TJM2'5tu{=Fww&j㘘zbn:괭Fx\S*lT\Ư*\W*)L`~g@5Ra2؈KKh<⥦I#Vq;ك)=ؖoNʇV~픶 !_(K׃l6BO}jˤhwIGd=h,=XQ2S<T/E5Ğa(a]Mڿh)M+u)P7+73WƌӶ$mݤꓕk4K"cCsA{h:Y;X; 3эu\0}E yZvJD u4m-'`~Atn%$1f.[n ;{LCI_WhTd" 8#ުYkeo ڈS4t2wxEȨ#;+ QWK S;G|b {-<18q>׹^66ʛ"2Z,Yr™lUjIhR 銩D6N p/@#V) rدɍkQ?4CүO aE $YX AI&]w1 dJ8xybDx+ 3a݌w 7~n<שێX~L0"\cl?EJ6%R&t- ``aޡKh"x^+sY&&$K)}׷kU]$8,í~(R!='\ )q gqzbλ ‰vB)웈hPv5)O(XmzKȮrd*,Yy4+o3dN3+;]T*1ZT<;"вu#xu?G߹/Jj7:v/ 4 #(vڎbʳy JWuS۳3^Y~'s{ZZD_q\6Fݦfoc!]ǘXvJhERaߍxcw7~׀y = ɕRx]S}~UAy20*Llu*}]k>_-=|GUeWS[K ?{S9VF^Qs j q!^L}II'UXpV{p,=mOjU[UhōysҬyKS%U+8<[j] qU+v8;A >,& ܥN[|sxa&]r<~}P:+!Su0󠃈EѬώ62\=Ca N2` ފ3v6M$U)lO<# V쐂Z9lS=3#I͉:]NbBpVX̗ dS5I0j혉x{C2.(h\rt3yQ!^$xvdpuMthYwJL4qY-6uE?c׋UJOjdG]>☞"jmL-p7 _\99>V̔ ˚dBQs\vk6ވ+4^o\-ŪC,⯠ɞ9*QkvaǟӱZM\<_?xڷ8,>|ʦ_ƕ1zY8T-Gm.aOdzx Wfڙ<ltk;v-X43GW1C}qy72&>{ h0e^ TwY] v.fl-O>15o* ^q5!C&zp3?BE+ÃArVFXrIj4oN! pUI.;B&.b͉>~OUxKy[GH芠V5:  |RO>܍0†`I'8g+sǂiJ޽cJhf[{Ad RFRоMoN8 K, #(W~3@v=М#k)"h"nDwʶ(y` [DM0J㒑- vvlETQxY`jX Tfq`O1maq`v@v .h5e c@jm< -4tb[K e3IZ\?A0\[gh*={96H)l{;Ћϫt{= 5oSs[#_JBVj#⭟˯Zd!pe1%bJfk`,WPO9PH{ i-`J:FVFU,oըMKwbر-V?cPoXlukU|[!aSooU%wMwX5mBג Vp໛Re mnHv9))a4,u[TýEVbmAT Ol ՋRq(g6{fJo3< NNE }0# k%#pMٔG]65GfG|EᔒKjmTR RW["@V_4*Mb~^+*rˍ'N/'!:Zֈ-j1KtJbg|~rV l30w#޾!HMMk ]V۱OVFjc%-& _G %32RP:>Jλ\t;Cl!Co C3U8^{M"^"Z`X<ň|mwof gd+~tQIAdk@b5BG.Niµ!Dq1 *zcT M=2^P(9&-\WS ky Mͤ[|Ƭʐ7nJVaFXec!7yexH?*>_”?<<]]eeˎ6w 5oVrux".ɞKKC7c)p!jhpL.X ūKrzKqqv.)<0ڂ\WyJ´q\hkЩpƵsRYR͋;IյY&EzEB GrXN/Ąsi 2V!wnJyeOg_QTU:/sz*ŐV"^)_}*j0H: ?]sltR= kSu":簢H!P#XIíAjS܎ǰGv⌤p jY\oʺUd@&2vlϿݾfTI@ -I㓮Ol~Tc ʽk¦wҵViq@ց?$IJkGB43׳ I(`M74Xj'lQO'PQ<+Y׫zW`RǼitq .L/myT{mgV!r0mL>DȞ{P2F iXss7%"N94LԬkY  Rj*` ~ $IXS~~QLv| pcL,\lofyQ;lJ6 O"?f;iD&\~㊐ȇ{ hWS0!!ʛ@ 䐖`i LĮ?lK_ 1=%t" ~ ,dG]._IB /u$0m“?> q<>Jf"Nݜ{io]3Ƚ~"ޡw'!FHMPeSw~D/&skὄTI2϶zWCU@G kA ̧fR/|=>Cjy1InC5tX~P=,1cRrt.O3;ꌚ^s[iSV1ЇGl'ܗD'dT\gYZ7zXZִF! O]ŗXiɟ㶵fL4i=J|92ms;ә_t6EnXԤֹyh„rh]݆䟗dPXamut準TV`{D(qaȽr_LbL]'M5j/ubqxSyײ-̀{"7Mʍ]=a9d_[T~!JS5Y!(lg'vğp+=As0X“oձǬ~TtzPO-ԘF+rF,SȬZfv1{aԡTu;[eX&P?iiȅ^$uǦyX UӹV޸[)(4DUu' 1e=$כј%h8M;w4ÒzmUN]Ή֕Y@} N=~Xzz'E\;f"pœNfj.#BRZJsۢqW, ro2qEP݂ q_,oyAHܛrHg R3'gYZ7zXZִF! H V]ŗXi%L&ʷZDYpa2_p>58| #xE K[>@j_6|ftO_ﳙBHQ WΝ" 3ziV^DX3ײτ\k![ cr!h̓.1hx3AX*W=Jޑ>N0c Yu)(`*ߤ좲 >=wޘkjPlec CjL \5`}FkjHK{zQo._K`TEqt: ZS ARf uT>@h0 ."_dKnMd= ^!!?e_{nZGU6mֱUI%!N))Pwb}Iͬ<)rlIvՄ&3M8uzt0݂GJTw%AWyPy2Z=?ZL3{q Vnc o4pKҸ '|g転MIV/8$_O&BЪx3c _UٕD\ jcCK2i#2Dpfx["$BNo&f>U,iOS/O"GbKڟ'ݳs}~f{aVfK?_og6 { c,-͞9QϫR;4::#e!qoWOi ݬ0 I5rs=hBe+0A1ex;x5?^I~jD" %kn}@su]0\DPkmC@-G5ĕa:V@M͇iz3|v, ' t{+$L4,@nDD'\ B @1Қs?*0SR6҂(㍓mƾ+s@$Мo(9m5۱>f6mjژq؅7LāC yU!(| 3%)]}f-spQH7 ?u vQqz:Qzo ƥ/ADZ _chڼySY];OXԂ?K!0@3fD[7Iu"vo,9%no\B+aȔF 66F*"Q32\Gl>;yr;~^/gfv6J5KB"4ґG$/sX*zȺ>ts!vF")U^$æQ?Uf!4g[>WCZ6YͭZ.yu'&V 飜rwa[ RO#>pSg jI8kRZɹ`];+KY_Y!"QU#czRwBߞCwMiC[:R *l [mP$A\hBwYY>԰\k\ B rM x~MQh^l&6Jf -gR5DTگ߱iɢgYZ28cd46246c61bca284481c51786d67634da782b39aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f