SQLite format 3@ .0:  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 @%L4 ]/]HOL-Analysis:threads=6elapsed=324.215cpu=1675.132gc=97.752factor=5.177zXZִF! өR]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%bӊDUlA`Ial bn3-J^OSRfk!C^L7(JuTdOEB;mT031=Ԉ]*#"۟ڴ.MT. e!>cK–U9}Rs·)֏ہ!|œl9:!|ܙ~(GRhf2& \su"5IHbstHٓ;c6{Wx$рlEoZ{yIә*s]@M fS˙𗌆iQ|P4޼^lE>M&ARg2#OsSkɞ'#eIRZy^r gޜ|k;D453Sȣ]>#2Dv$@e㠨f5.Ǣ̫2cVm[8}*0I-ئeO-Qt7ZڑlFh'-/kJTDJZr'U9'nmuo8GN  &p_ ,|H5^6J 0Toma ߲ZE`}|2(bd9 HOVY \f ).Vy׌ù`rP _>.i|j_nGՍsAv=Cqg%*ˁ ?xF%}Vq LGһBTO6  Bjo@G' bkϪUec5doeߐ?Aُjvf{Ht[ܣNxWX. %Q&M$T0Hvxd-?t2W8vs v)qN=ӸoM6k7 'nOl}t16t\ұN0rnHj#kaEF T*.̢Ve= P56=qG["*\/_L~${`-GowS%c){Z)CJѓvbE(dzhׂ=j?cf&)X ߤP|޲!T4;֎14V4֧˄8=LgWAd&Ej[-$u֛aMSc-l6A.{Az'+25h# 0H}=9M>m?e/,\2yL|+xFoYIUA'$єD\ǔ @}ps/(We ?2˰R qFo$7JĔRsYT]\o]A}##1(R#j6FWC0oSr 2]" Đk!~+ p:Cgr+.O+L}Ɨ~uf9da҃90zY )qgvYi NBC"UZkr*T.w3A"r\#:v&'HV↗edi2lPC<}~R2ni,r9v@WqB=/bKHY!4upǒEYŜ]X@NC- ִ|TQ&7cNRegD/5X wy23G.8\ m)?u0gCV+O?Kѝ&*c/, )c)D˯Zc&8dcZrn y&ۤ.Ƽ{j勵PuLEl g  bd * x1Q{8c%y9^(9X~ߊ䥍,vd^V I3 >GV g"{HǤXKC$-Xil7 ?CryxCB$Sq6fC2KW\s=ATIy6m%(6:J9xB-k$q AiE;FbB: ^KCrmmguAUW`aB !3WΫac7t>\Y#!/ƺQcMz( $Y'S;:bQ[ݹHaLz+3y@֗W=}]&ɿpvF}.>w`B1S wčZ\emmĞxckG|\T@ȃBF N(XV,7gnFq:(r^Hq1LW n~A6g 1 /&׫_T>Foqt`I\mġ^ :ix:v~PJgaߢ(CAɦ)ہzp˶aB,9714{ MKmI9j ;ZOM5BЩyNb#$8${i=k~:^ܯ A|~ʻQkykk PP [V.]c/#w}x ͠/21"4ĖQ9 ; ,6U}A/+se\x?|Yqʶv~&ٶ;+^JEϩSF$2Zgf66Gv.׾B:4 @y]b,܌pZB(T>UyϿ0cOx徭ǟ&w E$Y‹{c<΋-XöemYN5҇>GQyRmo{ m]tL ֲc(Fପ_$l@v|uR_&֤!2JxټZ*W]8\jLk{5{+hg p>TӠ{G=IݚxV=)Eۙ~ʶv*wIh{W: 6˒:MА[ .OڋOD܆}&ZC"Ze V?dlƅW4Ɲ?OPM"`+VkkDf*Y /vzR :!N"_vxLoЋLu7ZvB !"j0߇I/deFx[EWT-*Q#5ލ,7Nc-A*.Xcmi!_;!r \_|P&s iY]v@bbӯ4]c"6i›ۙ}n/KWa d6m1z-=~ddĀHp[þ$$e:qܔK$w2 Z51? Wd'TIyp<z>^ C]kh/3HXo |t >a|)(%Hb^.3 nY31qߖ̣*÷歬2>uXx3Vh9Sђ|=.A8od Wӌ7ΒfI(ʤ61TZPk="XUa4ڄ5}S>@L]<~ͼ,{ 4 V3! 9ؤXw]fo%5}ԣr)|0O?%tG}{ᡩ;.whDl8|TAa2ܶbђ?AAp4KI2J#iͿ-̩7 _eFتᰵ?bxz2&2 HذMIput‰pvSjz&f?_vF^ٗU4d&C*;zai,H^E,iL TQ7 UK/L!n8$APriʊ-OJ5mqyCkrNzPhp \&I'P"AKKjFӅFh䚄rLd)C◹@;ϰ[Cr*:%BZ:(Y2:jOgꡩMſZ# |L(q85Z.W| |2T֬{aG'/ӻ)a$sp X~qq8mhk"CHO3gzָJ:9 leZV1 Z-p ےhWha{BOe/zr\,S'yݠ⢇~,.: <4.O0Z1ʴ*?"[,ef'hy hf2#NY]s|T u0d$^u+SloQmh)*HH]rBߘv+A b|lcґ^rGab2k:6 ~ٌ^b$?{m :}C 7 Q랶ڀ̈g1X#[wEn[dr)dVP4fwj *5CW9hg[3ӟeYâ8.sɓ`;wzG4QFP1nz1'6[Cɥb0|/P@~^c}#DfISMdh/SV#r>5v`T-B=,poWA[Z rEH!/6iuǔryH\l%:Wh]dۅ7j>X9L>;i ^Vvg2~5>L4{|^i@st+"ZhyBM7S_6X9ƵiX_+J3y|Gw̭MuoJvM,#]q%57x5t M.MJOh# *0/?l^p C^~<*vW  Kwq'FMlʉu6U+=`hnK* Y5Do z%C'eW*AyY\9r܀<8 WȤ*7;6 [;c5Cd1d\%s^'~ F:1?+gsc0]VA)Dcj鄔=wbgh8e2s>v˹pp4_0_vDCEV?lg̉~1^=/.b6%O=QGNJr14/o2Q~ b9_Twr D^}u\ܹE"ѥVspC +jLbz&h>5JkQ.-FB|lc->feL}P VQ_Q)7F<hm{TBWaP>h}?Og`+Od"H6Bst[#u"?dcn2Uය*c(u-Hlv-%[A<=JEQ(ZJNb. Xߨ-\SIJcN/Ѯ 1('M jEqS0CD=4&c)2:M|he{ NUXI)|N(8+ 6 yD2 e|")Ƕ|v:wS+'G#) D,uG16ˤ|,:ϧO~a]F_=b$yv:{y7Vʖ.:U'nB}H"JOxU|؜Z<276g'o)JQ gO)Ց>Mn&Q2@LNLѦ*8D3!ѼMt5HWFsa@ X!")Ơf\ʵѯa)jĮ\dXӃLkiN'!-5+hnѾ/&{UvxEڋMG F=]rG >9oơMgp{=~w!d7KĈN3nZIUJ}a[/p/3T [7 jU$8qU2 v gk{$e)ʥ[ QDŽY, V.ʎP٫J׎_\,ߍ5τb, ߴNՏp}Zdrnbi3lڱFñs&aL^QEbh<~ 1GuA`LPpb"IZH҉E@S*vV d0ܥC7dR_A|ʯ.>ȝe`׿'_ ! Tbo1.Nok #Yӗ>)k;EU>ɮw@)NHXhXL^&7 bFyHEV Gmd|`[n<8$?!`GVGS ٔf,Ypx.2%ǧ٬2v=e\Ӿ;KG8e$0#_(: gT\'XT;r^cntҠu6xhfDfDal u_ O7"Wxh[kW$)`_K~}$+xy'<ٙS ¸ ]{lW@*Ԑ\"AAwsi=NMCXnatosN+,}Sl3USc?Fo!2!Њ?'[|d%Ȋ}u+>XhmY:y L\0:߾"XAu%ϯ[!a2m25kF[Uɾh jR`Ql4# LaUy67y2vjݭӅ&o"43yamP>1(|{It7%K_Hjs &YWEաdOTz[~d\~]z 8 (5 +&ܶ~MiDd9tK /(;)A(L :{Qp@Ftfqc&" 9 LNxԜKI*h~gs,g,̳!x_#dR(a d;~5reF4R3SJbϒP4fAti8n<=qj@=}.JRɐFbDP]õn 2>(yKu΁9^c\}x[Sxv0'>'r\CjZ h l|Q:DMmVۣa`uW2@;9]RE7P>,`\rzE*Et [D=K3@u2-e)Y20s84i-WJd0K xO(d̚bM: [0Yc:vQv՝rdu(`'؋!<#P4|4D˕&;vB:b1#d@ z鱚3UEvj9*_, nŒѸ9a%hs>v]- Po80AiJߑ ("ud,5H+5{Z|`0s`!Kv6-UPFw4?i.u+I}SSơP>2%R/sQ33Sp}\ r8]'lɨGqK F$;}gݪ~2~p.7^ck-MZK^LJC_gۗʚv5ᝋYǙ|xY^D@2(B4ll>@H;ηs\ {re.oGDy,Ɍ9Nmְ¼S~Qc\~X@,,;0tuwUBp rAmɶpגHتw@{^}"6x9킗+v,ZYg¬&gGcHy*Hh%-!_1u!̹2wӴzd(]U7C\F/p[L>sgOPOϙJ} J՜9"1"oAS$+"9B*21{5I+cᵸ%ބD s=߷w#Luxx NK.!Aٯ ' 8M`OJ4)lur1f@ R>ڟo:DႳԀs:a7o{\d/ ChׯCzcA=v@{FV4 @]݇_&{>`agcX٪X-/Hd]EOV!N jztտp<_</ڄkY`S\ǧ-揖PO$_hV#rts [s$#>Mڍ`0ڷ6/LAFWVFۻ:zyzvJyjEWu! Pߪq؂pgW*qedvi#/a.[ձ+1ihY&ӊ j@" fҌWk8&K'v:7luiɃ@]Bû)ܹ>*i#щax`~Ȅj(}Lmm,}ܾg㝱 #ssᵃ<JXvV_ \|N]ńk>̌az)"^#ȿdd a'/V,&{eXVl%][P#;Vġ0rQT =](*LUŽB*.G8tW"Bo1?Q쁽O/>// j"oϊOxYN0@,1We..BHbB ss5E!>X҄ ~E*P3)Ix 5ːH!-, :Ru<* K)XZR!SJe ʾT#rҙʣn֣ODl&e ^W|W4RyǞb5ݒZS" y3/\B.s^|@sCI0(MWQAD?7r-T2d]^X6@u@Z?P6`洔zɭ9'Hjȼxr0 d'bȣ8|z]i 軍`|"@h F?zp5bf#Qk:OOocN-)*WufIZe(CJrr`5G$/qڟO/Cc: 12!4+LC:mTصf@>F`ac@T~XTՓ&pa L(eD : ߻01nH8<*Up :]m7|o眜e?e&+HسJϹHkF19ư]t  #kIۮ-*2n)ȡZ j$[ %|~|y}RU:Ā;W#ӱY&t!$2,~ ji"zcn58uRmK2}eZ1dV#Z3\ؼ*(Za4y82V8 ɺ79ii?v]uHA5:,)EhitFZ!1*1:Grb*`" 7>dӲu3sSӗOk\<J[w)h<=䔀g(G\RPM b YHb\m70Z@+XܝH c1^S[\/uNu]߳M< 'z^޲ 4&1Ϧ EA5Z $5 9B?(f _bX4=kh)ie^J{aIY GeAP%>/0cJ[l\l<9s%3I}`K b Cxf |LX * +8e7[WL8m7/CsJ)8B?@(dkZZ@|hm&YEHkćn{v&ٸGeK;L%\~z;7!7„FtUo~K/N3 "[ٍ hZ!+2lxR]  { ž[?jx(YY(Q wCPo/hZ2\dlG:y'k|aϱ ~E-ՊAGԱ (L!ZMUO sHOy>Yf%c;K/\q].MIv+g,c&"i/D:P%H˺QC?$Ikk1;7/i|_DdoqnlCpe¿ 9{ 5m.lw/L<'N*=OeG 5JTVGSÓjoA5T?W@p˦AmQky^ ggB3 VJe L@O)<'HacBSTpAe)$Wo}dQ٠=!UYQicrT/gC4mCPcP Sq&"Fy (xMsZcS'ŒcfoEF͋Z?lG ͌ʭٴ=(x2#96MXB ~%BMuKHB;:)[ڭ68R>tJMdEX!0b[+@DGM+zg%kJ({bKΎJ>OjIR8:ue7:k16Nǐ 7{PV3vU;BѱuςmQ3D<[ޯY/rHTl*ٯ| ٰiXe?:XdAa'勈y> ۹#AV5L^*P / ?^ kQyX ʂkDfV 0 q|:&~ʎ>fϣkpF'fAOϝ*BT p%J8sF&%z!3rmI?V3$ͺ[, vBcpeO`hl8 "?v\dX":ĵ4l&i}n+@NnAJ8(NE7զ1aNl|u"ys2l[!4u@hd֊Pq?/_YP\Lixnۍ QN%Ͷf)2w љ; '(bilw p.By,/wѰm`t8m?!0ܸ4Gd CK2,bS8}D"j97h.FLSNZ& 'f۔zU* I*U9h[܀ZhFF`#$&sDgSzQ=ff)=mΝTš lPDWb}J~Z-/tZ[H$p@b7 l#)YXnM$ѐYݛm%q7i>'Ʒ|{,TIO_~NU &#yv%"ݍȥ%j"Smqp%ץа`5.ac4 nKa1ݸs⛖9XxvDQh#ɅW>DOm L?-!j^UI$T8b{_vz,zT5LZؙP>cNûfIɫ-8F9 f<Aש9+֓tad; aޏ@R_D!#tcNM |W<x-s"-L.v!`2_ mrOta!pS0xjpNGad&X@o&m 3ޞƶ3l$qBWY95*:Կѱ[~c$&C3ˡs`M>^-E>.2$$o3RfO ;=H?.M2#adnX>,@25;*glETj x+Qaxr"5j1%)Od-St]7ȫXʺH˘H ÷jQ ӢzUlHeLhvi&}@}ox39|ta6/Zzo \#!CmCe&W*8ɒr>u76a ѓ0¯^ڂ|ŒN4NXF@D`nQ?NIwډlޜ7؟~(PiijkYh"cPpCz̀ ˺ӈ/a=_tIU gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4Y:+o"f\~sj36.IG&5j'\pjXv*L]K[ɼQ?xpN-I7u\ x[#\k!V"Rev-@3_ 7 k.fiT@Y tKƥQ V={j2i@bxss(IFcAG?(e?:HX$]==ˢ?͹#OG'^דwdA:bBfG;=ˁL|pM1-%b zi:d"إk-_K!K2Fx$R xrR1?67ŨDPb(RIZqrZa"T~ÒׄU3.ĦE-<.C }$X?HZwE 0Vvj|qЍrdp[" ) f7JaYq(ng*tI.1iuz I;KG''!H4N K3:Jn|5;]P˵'בr@+²$d>L.+23YR QfF@!9}dlR Ƽ^j I%3cHzm[OFD7=jFqDVhuCޓƆ-Wv>|tW8EʡǶ,$p6a봖ӈJ߱gFΆU2l}QE"꤂/Fc\3]9[!eo0vNxe~.[Q}(GoJ ~?m Pȷ׆dJ[+΂rG2햁$%Iiơ- 8}&.6ȹ爯?zbM꤯ݺz|ūy n+M!66ʼno{k'>Zxcm? >T,{E`"j:qE|S-PW,rjE!CCObzCX(@-2P _})%aNw?;kW(Y9@ dmŲ5G3%XFȜ!a /b86E$,!vR6UFMhzk$ͷ0/fw3-+AfE@olndT`6DXxWBx+M4$+ sc+`Ku 3C/s7Lo⻅- k%!&l+vPᐝMK{ MiEt WQ'`TgMyo긖یPLxb!б/ ;AĐw=*~D"yIQeLE/G!:2.6V-۵rP+]IN4,YPìgYZ7zXZִF! 3oQ]ŗXi%GAw}md :r;dqNg>+x* a.!1CǁIĸ :0[/k M>ifv SU<ŖWBmsd=hT'k^kyŎjeW%IDĚ eJa hha\1nz嚜?ׁmlDj.o-fk{RAyf>> &5RZd1d`&35hGY_?0kD+]{cO4i~q+L2v7˯Mn㹙Zv]zvrrَol:\{)zKjʔMCpQsbO(yEߌ/;MײBwv'WڵbI%X&}H}CKm5MDMǗN Rh\n{PQw#wUgL.XjmBy'I& Ƃ9{Uw!0M1L. )EWf)PDJIRv4Mx;&R61y l?FB L>u;pdmaRx@pv̨mnSE|lϔFȥI@E'T$!62 ڒy2e#|:ǧj+] 07  As"x@uF-IQ_1G4hFTe2]<kTiN=^TiiN_ 82M.b噑nFt*!l(ȼoE Ȱ=Wk2G0ZaCy1KPFV{n 3TVF|3Z6o }+n`D=# xȅ 0k5u{S43K4(U*iDh.aU-`Q"I7ͯ-aı1t a5d:< sWԹp[x I-Eu?݁/Ef3vwb0ǯiݸ%T,Ҝb侄7c8e+6Ut O<\ k|n#Y]'@d(5Nu] U`j<1gs e9b2ؼtRf̨o1'Gr-qkk $es2NB `4O8aW &yVȧ:D" 𺫞V=a-ߑAȡ; HI^&z̎QS܃kNf'(msMtVduNJo'o| i3 Km*T^ﺜ.TW *EjVd,Oݜn TT7s1r;M*D' U˘w 'G>! R(ia'E~o OqD3A =T۲TFC6ͻv`~,ks[Oʘvp5N SS97zܣP ?NdsO^id.Zt+ad~$L˱zş}w=#s*ܿ&΂͂{X6maL]-B$a͈lR! fZWϖHM7sQ+ΪuFB4V18?lM ӆqe-JĂy+baĞC,Wq\H)aU[BԞ ZDoD?Z2й2sSj[I +  -` 0ŠȎaƮ+{+R\UšL /F2ob"ڛR&r>PWY"wbmiQ!acq%0Z8oK+6JU#m-$%K?X^GK.ŚYbP6tqI)>}&1Hh*0;zv;!YѨf|c}R 8_b6eu&՞iW1iSo=='lZ'gʪe-~^S#q= N>:v<H"}z%mY'*4YT\f]/<>WughmN/ӿD'ӯcM/,w!>I'PfE_eGf[\O]HW= gݹ66' qa6MJ| 8;iRH"ayQ(.ǵ9Ez*(BV=EGz#E_1Fa=`'x +>m[ca?>B 5mj3owD;7q>O+1o?kӯ-8oOĖ'7f"ܓ0,u9Q9ȱ8?@Bzbc9]b^=ˍbKIsh%1v:78DkK8cyxCwŌKST(ȣQA,_+2*ba3},jE;o wGL'm ޵ {L_\H7m.E U )R&pƍ^wCY&|n0=|hProgp_8ƾYxq,ʈ*bn12w$[5JНԦR 8B"UXwVa.x@rx~~t@Ǒ*п7l^FAkєpBvx;fbV 17#*]Y{ewB|a.}Cr͔$$ $L?zڑAaPً?29úyCKzndd0M%5Nx^K^DhJB]^˵|,ii9Z?8""7vJGuFi^6l(Nvg%d."\*PfEWDY27 "Z/j¸D?FQLvS#setB@3Ц间TtxSL?ZIsYxvH,WcpExmc[Z42YǢD"6]TGǧfpnӂ4¬ڳ;I_]䚕sV/%Ewo$nB~:hPQ29$tf>gRUL31 8-F }i_ epl72"PQp>ԛqH.ƌ .BZ}Lԟm80.mVWHEeJs5H'YAڑoA2P#7>5QI/QrV)iS#{yKSe#{lA> Ep+=t@gJ]y9#wn~0 \FzFRN"xM~'NZcd(uG/G0n2E (pVrIاqHl'O7^}x(?d LŸt4ߖq,$o0P zQ[ jgA 9DAP^.=z\Zŭ`D9 {+ùlώȹyud:k!%Hfv4YHqJP%:R\gnDlCN(^w>+K%_)M˗>>ǖGwӶ8x.'$m4ٺ\t_Ha\dܦ\!p db/bm`.1ˌFm ^>6Q,CP4Qt->&)Vk%ax'$@,e-Y٪u\0{W4$ȡTƒݙ;?UAzG+5}~GnnAKVl$^HpsG'f(GXޒ՗~! % #gqL3>'!mXklĚ5\䥻XʃUǂ5iJLD!EKmx9$pH :i.Pm=r˓7Nν`,M;?tY"x1Te`[w* ZnytrMUK+)Y6N:H\YF $ֿ 'ʔxk9Qʼnx_|;sCț00dW2$E8d?zbmSОeu~1gw{ӌ%6H,-oWbnNZ@A:K"N M`}`i/W9wRLJ9Gd%ΈЊCd/8u|JuY"`6gZ?gLjI·(u3s+ha*j,`yb1N0P-Ů%lPF&4}zRi&OYUbm**nCX]S 8IH㎥(Ӫ>ϰhix55~5v9Xy{P`?zDWt"r]Z&7wHxU2|"$ ֩5Dk~a j,CrnF/~ϟ|hyФ:8.n[~ U5փIRG8jq 4EWxp63׆_ a e+zwb?ȷbŶ(>3?5Ё \M34"*a4z0%B3He|L4uXit?W8*y4og'W?0Sk!UQ~y0g2yo(o~Fzoa o5(&0`=bq{h+ su$u_Lz0=sU2ddC+ o\#} {$)|@ŵAp7uM#vԼl,纣kL$`5hP$I*N{ Gvd( jzEX{*{)mh"*oAEz)7+Mʬ-nAT5, Rzm#!9%CZ)yIPi[~izjLWdQ'7(H;ܹeK&p) o9#[A``yr0̆ HwGM<}gTHt"y TMSA#9B͂d{$ ,a? e9%:[̠h5O6Վx\ p߂*],n(*W5#"QU+z "p:5|fP"ז3RSx]?o1|@ 7K @{&$3[Olx; | *`Pp<$Jp!DQc(,>bԡ۾2yu궅HxC`C',W!IFc[l qI/eծҳdeJdo8ǽSK幝j~F ޻gu$0V:%?EOPEkAkCo5 ݄biNLz]F7N kcpf#G#Be1 K+d޶(L,UnI e¾c'B/ OW-<}>_RVv[x'HevVns#@O$gJ7=VF (C;ڼ7e@[TEۓPs/L~;>xғeY~fQz\1bqHSoC "+3K?+G(ĨT2 aGQ]Н2&XEIBu쾔#(ᒯ{$"# I^E[c.'L_=51flrm`44ݷzp__ygodv JB4tR0,͝wQ:Z|3y9KAUM =3#95kզjX!0'~F?L0ԿL0C6TUf3y??$@@/Qۀ_@4A@P&Bu,% lcR ݯPyaJYEлXD/%JlAjtxDqrێHxd=N<~U[]dsHfӷE =uQfۂ&ߺ-/7 q?KB4. N>q Z\!l aBxEʨvC;/VQޥ! ԡ}=0r$(oM0r{ μQ6zB@o )T2v*ffp ):3U9|>~e`94xok>C,[l]2?9hxϻJW>faNc>}ĠȎ4uZ<k/wRO`50ru*}Fg]@Q~h;1Xn}7&> 3M~7]<`}-yk }|6D ;/l+n@{}}ˈC$tBH"X®vBG!^j r܂BS7`~ITm`xy՘Dlrp)( kXzcZbUH Xʸ-%bQخďЭ1[1?&㕕"()WegnϪAsy=k~MK TnuJ 8 ݖ0 _2N8sO9 Fqz0H}An䔕)!x׀oة}wǏޫŵUV憜.53ÄFMMaEKdv']cpF}syBOhtI$P6/!4kIYlcʦ-:~_{xu "_e d"nז/ ~&3@p1w1݌P1o;+@mp)2v Xc5Ǫ"^*9 NCɜe+2=rK^V9 &O9ChIӊz܀Hۆ4mK烈*l*Vr kaX*,K0ѽCoKM`BI8%%2}:̂$\ 3G{YDXίv=T[`_w\}$/C/?\z" $hdP(sR񎝱l#ZXq47 e* Disp*Dg7Q]2f@]V5"Kb}#bvY? g #HU<λ*83_m8-ƟdA5V M^QHk ?[tZ<@wڌEAq@wnѥ@RD:R(x7#vCa[J(Axm$)?Dn*43l`NеIod^ 6dp$p'Otѓo! ϴXYه/# 0 [w2a0k-j xm&+g>aAv\*ߪ7{P-uKI*t>IzטGf$ i1vF˿y!_~=p.[dX@D҃Ew1|R]5GoX@Ry/)&/kE(7 w8';d5okndΓP_Aԁ]Ro᤽ t6gg:p;A!͉ fDdm]A?5{Þ4%oY14AteMJ>C sDC2#cXg0RfsakaUhV:s,LRPruR=h:K.,̯U)s9L톄\- bI ߱Xult"rH>O,Jivfo ֽ;ƁdV$a<ʸ=J֨)}t ZV$ 䡹Vn½@@"#h *\~FPI`\#h”lTh&Uwy.OX漀q2E ug+3h揌o6 ^8F?f5)G ɼpT>́'Y6dΌ 6;>VV^Ȣܶq[I"bZK`_oUFx.NN1X#ciu8d7"g?Ԗdk,,H֛^B0KsmnЦCl,Hb46LhC.'0b,%#zazMэXϔ%U:+7TP=4`O".&MԺ 'S\z)!g^}Th_''+kAh_\19 /]Ob$U/F;$ !PYvV{Nʿ\̴Hap2dXA m;dxv?\%V ABr޲:(vb2a mܝj˞ߌ a.b۪2n ]}3Y#KߟhhL`Ą[uGsxFmiaM;Hd%M5wfsZ.,j{i cߩhpu^P=Zf؍lN 8 ?E#5i %?'su,W$LJ /ye17t#*hylڸtJAX̳C{b9Ґ"!ƃmt/~B qE5NCV  5UA'jIѨ_  G*]ADF1Ҙ6=uxO X@ꖒd mf} عPiBٙ/x?|v`Jsi,[H3lmkdS1Xl~P5#K0Z!SE/V?K_5%sqJ<GKˈ7[,ϰ ם,WtmV_K3&tLYhx(nlnUB# ,r3VF)i$ϵ =ͤ>];W)\Md<i܏l#aIs½P:R0y`ʠc#U@ʹ`f*e_Z l{mul֭g'R:XH& Q% 0IXGcQ &)?<^R,jΌwRel( pd27T-Mv3GCajQmUY"wqjmB. ZCXEKR_1Y`_jꎩb8SkWDƕn~j,Pˈ`cu%e~)v(CɺR)?XSREWG?{c=q R]4&t0yTaB[txE Gάի$! 1#l*gY&i 1' gpe@+x"EԘ<'r( % R@Elعw_Ze[GaJ'FR&Klq:|/BO S_)&r5oЛ4=RJWEPk807ɽPS9~d/ TY䝴XX<&mM { 4h*Soh>e0`ʦBˇ|c.azTjNNGCWfbza_“a_\#x'Qf"k0dQZ, RdJmS vz3#C$ZIXX ,# rKl/RV*7nAF  G$)vZ${Ff qoeI :2Yώ/G< ,xmHȏ] / ,Ə H*ilGt9Z)7-Ba)ж٨x&4,s+:wZ5^w|kų` A`N >TI {WZtZY}Zk ˽0cB [,᷏qacM,dmvEV'Wג\`>AvxOMŐw.2ZՇo\1Z(E#⊄BhңreJc6t;ABRW4/0N8>v @KsPsigޢ" rIw|M>L뉈_)2E s0Yr%Ѳ<+ьymSyhY5N/ojz_^i-o%*>''A%9&K|9[=*GUni :/n'r:&bTؘ뿾ÓIjv (UbƌKvFk|!$^Or}I7=!aNF}ԓ4çV*@PFЫaƯ}.űjƘ--J^)-a`D*~uF⠟` LH2tUi1bKR#xW\4v2z!=Bu]0Dk2rbւ \Y(LR*. -umX'mR.x95َGͽiI!Tgs)Gƨݎ0<<&@۩Zzc'V,"63;' KngyRN95܊<YA}*^В( cqpPS[M7״x]( Dz7¬@(^`~SbgHaSR(ڵp"*#n`bP%DLX#Zj'.k NrKd欣`z":ۓڶC* ]5+@cN{Z4gG}(\v uJ@г׮E56`#`TƩv_c&r!M\(q\h mؠ@q?7 ^ P iݶ==!2X]b⬘'%=nLLqo|f}nƚV&"XuqW䏆S9]F*Q9;B-JGΣܜN8`OhdUۨNEkuz|k$9f,ȅ`ƯyyN 㩃ӝvl{d2tw#~[`oǝ†$n rCWw=Y3"|*vS%?'ՙfR:˷Z8t ?mS3.cT|#O\*"Rt\dV1 ENMխB>F"7dAlj ms>d&EozuE1Q I@֑~(0:އrV^aJHݖ}'U cjǍ/yӕmcĝ$@K"P0OBmxeAyO };@~R{/-N?1O!V,Q[6,J%vR&*۬wwa7(zUͯ/aA汕Nm.0!`eJZ⼪Xt*>+uÞ m⡔݂ԁD@Mֲ8:kR> jxh5x}~G ra]n {!F>цKLy']r/u+"-DhyO*x楧QV$Ij+.TEmHL:tPXQՒe)/>]>@7:{: njfn]C[IxdR BRMӸU=-.]\y{tW = 55kShr%]6vz PۼTq[ bȪ>3 ZqSMKdZGnbpҰ8O !#~F-<6ŞX%vs,YW~mJ*ׄk  cFptgCxO[[QCtzƿ(1Hdn@REEG6۞gduzT|orsubqR@qܚo2q r7`jmUy3};¬U@B`_8rjZ/97 FO=k$F5O0!rˍuNc;'=m~w[>٘lh*G;}6E9͉>at攌}rans|-Isz{hw"Əy10HSZ` cr9 ]w\z{DaΕjG(e -*vLh2}𮄂{%HAm"L' B'9[V*ܽHʾD۞" a0l)*% i*l8(d}Qu]ǝH;/Wٝ׉Gf Y!VBҹnl:$|y?^hKB7"K#=ꊑ[d"spcӁۡf]Fs36 ÈprhtR:%N%%rhCKsYi(У`'g(EULuO- ]b,lG ZMU 4H@TL'ega2֒&(W,Z g^9l>^ :?yw :_:b,3U,?[Ԡcuic) ߾KCsYVV!r{ U=h1$ Mq7Vʄ^%=d4-xH/rKv m)t@&"SxX y gNǜfwIxS_Y|QWcM缹6Jsڤڲc>`ps;%g.@@洯{7r$R2g[liJ;p0J+C[ĵO:ŬH=, bc[V d[>?y`,p"ܢZWm0۝^ti/CnBmvxu-zz1J% W>Z]*@2NɽhmٓNU{ѲR覄ykހ1N_V7/!mi=kIWƥ&Gv9W7c(]n KLZv9)HH(Ì%g:S} 6B̴+PNY7'i[tĘI5 4$[7"q5RNى<1퍂P˝[?QӼ>\A@'TD:/DoO>2i?/QJVљQ=ުxbB}WS'6\j_ŋzP6|*ip 7P,^G!7=UATT.-(' u vҫ %ԻL?u^BŘFF5&UDهS9SD&_>e dtQbO%h ǐ|naH f=J!Na wpqfMynQ9UD>0hLsdB6`v"6 N6X[B[LN;IΥ/ZSM$k sT(gOԶ Q TMXqx\TF@LgO2LfAH>n|__ k#Ki6>aW./I(,R} vUnj^ :ˀG;yո+eQBTR.+O#E 9y62'qe_FA>ĒDž9k6n.6DqO H -kKQ# ѣ$jEDg.X.x)L{ Uoތ߱![VFz7\y~;NU,/ת7{ $'?+1azOԪ%LMy*aq"Pz%w~s]351A"52k?%zHmT]myu@ݲhoBW 0pgQy' 괁i",_<|6D$@(\p*a =ַA"ez2 {8f^}k{M0`\kRR$S#TK1{8DPյ^oגy=°9kPN)` ̟ʣyDg޸@KoI3Mb&6EiR-V3>RU~+%-Qu)%w9ltӏey\e,͸p%j/NGD]S'ɧ9:'FO%dɚdu ߺ0Kn_^X;Ěn4SoJI 9X/VDS6lQH׸AYId؜57Mepry ޖ뼤D-&%1 ⑪aF$}!^J]3ŴJoǾ 葦Qp쿌 < |]Lnm :eg kޫކep&֞6GZC4 mM%fV9L@M)i2 qK_ )oՙO#nsV@wderk{*,TS%%nFIז;7%cUr._ bE 9ʧ*:=G%ZByU K#BO=<"Mgz sPmvcxi?/~e;۷t(=8d醈5ۤNZV:T7=rWbrfpUJ+m@z2:W0@bbײ9c.9٬%s!kxUАZ_S 4:*j.5g+g5[^t8UⶖӋ+j>_Zʚ&C ![EZQ#Jhu} S-iE٨)t~Rᵠpe+ՑaR< 3sEd]00 9]q'R6怮̥m~v `{ҽa+`oze4Qb&s)I"U|#sҠ ,r3u{&PHjEG9~W[Sa7) ߜJ)Fޓ&崴 KF ٳI}acۊeK%LJhvG Na,a&V䍑v /Fʔb!Xm@"9zz\_ٛG+l~_",?mUj[n6+?A8?0p((ysN/1 nɒ!OެXA#Vu @^|X@M0!)ayLU'm@{de),HN ۦOv@A4hb,gKFzI\rMEJ$` #mzk`CϔU7$>SW ca#\8 40+t pX".<^鷊~(F0{4xJKT/>MRatfÄkbЛz߶,O=+E` rєiR6v{,a[!Z M,L^nG>۽q95ݝA?e3ߘXϨƩː  FĦ o^!3>S X>iR>Q*)f׆s_/!xlFOF3hKF37B/"oul r,;9 C'ffc8z'F%ڨS4p"Y[sK$b4@6!;71Mt}+;q!M{UY*>H&Eo'Y e u7(ӧk0Xb{ _Ft=ͪkY4$7XzɴMk1?ʹd9!'*S)Cz\QzjLo3,Ww΄x1,ݸ}(l3x 0f(kmqW; c}jP]asW*{=(H' 7Ɲ`b&=E'f1VKdpq&8<}Pi`aU&yGy6Sr-‰D$H=~svb'f:C~1M'cJ}xJֻ7z|U#g̓8:B5=uc$+> ;L9)k`2JQ|s&k7(n9O"B0l$$* 8$lF#;˰},f(1l+\&Uƺ B/Teϻe2.$mů8^>QCBq4P1=Ũǭ,Gd<6Y>Fۿ,h7b֝!( dD?) t0dQ QJbzKTw(t& 9c"$7:s:dLt5ZGTwX 5׾zlV]xZ .# )wRG N'ۀw`66Ql˩TbmN&]}QR%>-"mJ~5)[؝GWB~u21'"Z08qg5_YZxq%o|M%,bEz:)&dm3fuΪ.5@#$i9Բ(jfD䒝'f;J!Ys7Q NhyeiCh0 G@(BL39)4J54nLch~KУkIfiҢ[_ZCxV{,Ks70Y׹?\d^⓴)[W}yq ~iwV(=C}lvtlcQþH@?{4@*n~L0"4X1b 9EF%vq3'Ax /B}V ;9 +#̺RnGbׂ {_!}_6GLoN@#KKu#>9?E}v\,X-ݡwon{eV6؟y~7ѥxgt;K- }d#Jʳm{AZ/v(,ͰfVq)M_Ru{o2_y$?;HڃgyI hkk+Z mх*zu<'~P[]Nsvm5i0MdB#;I,#lag߶Ibz'(d' g||2v% u(vDdPtݩ)CmSP$ rB=I&^i3M5Npu#~֍}D4מY|Lc%I H*6xVQU3+#2j2+LUtn$t5C&x- .R L)͖JS9Xűx\[(Bx=ۮ%O*)rC凵,!:g0Q uII\WĆR As~L) yF8BOu^K>˔cVp?)ue&G㪌J+:lJ~~< K@{L49JCش@ QZ%zM/7~oLBq̶ɠvs_y#*MM =;)3da.'5$b5z6PFVMCDgN:Yd=zKܢzKOYtt$\U1Ks(NK;2u7[f?VH5AIV(,p̬P)ɹ˱!P]ѕhȝML)`rF8~.)g^MZHV- 1NY+'KLܹظ4¨w"&M"D8Emu†yWvSPe""K8Asͪej 9K+fMҼw\JX?hV˧Wː_5}}-f3"+S-+A'Gh+{?_BlN "sAx?eOU 3+ȶ$)f]B,c=% 4}+m/x#DffLCdG-G UW%nKI=&oِq΁N]}R20r p!Trz .6jOBkUWvwVIUȓdbHE}VԵfݍb"xO3/\rm2݂9IbH,Skw)Q N SG._TFhܨ,XsC:/9 !}m W 5TM2G:;b]vqs| >:|57qJafek)Ig>V]uc}oԔ/\>JGVXΉHb5Q7a-%:|ӃS=44`q ;+~ѡ2sT7 zq!4DLo3x㐺s5ft/?0):e1FޤG‘f>SԂiVdܖs®=F"ŠaI,q-ZylIG?wU4}F\KL߫J4aEFhC:D?2+I]wEprBl@_G\b麟O+)NwWEKLFbIq\h4T̷EٽS URY|:eţ(Fd1eN(5NIﺪ_8X|hПj*C}9[