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 ..1T, ]/ HOL-Hoare_Parallel:threads=6elapsed=65.737cpu=346.668gc=7.180factor=5.277zXZִF! 8P]ŗXiɟDYK<;jFb7@S_+fe27Fmc34RjbXoKϬ4bX}5 Kw\)KٓjM)3bBM7$Ȅ杭b̙4^?|U20Hc(_x%bamZ)c"9ɼ1Gm !R&Y{Ve٥yXI}0q6~2# ZXK`koU[Kz$pOy| r] J㽦R~ܟ3{̴k\{|r\a~/}.6x&Z²Y ~iTRiVVuqHQ/2EG܀`i ȴϛޘ'$7-o(_-<=b斗O1vf"|ك.X~d0&Lt?{|U3(%j-Ub_!eGGrGI/frI[>M6\{J TYۡP5CiWt$}VHA/:QK^xҷƮNӴ;e_U+h1%5W\#wm q3(>8.L^Wzw_fvBٌ$,_0GRBȪgiBRrª?E0ԛ? @7P8Rchݤ.⚁[k7_h: >=IAo%XhWF0k9p bm7su[ٖfyKaݗ\ǺuZ&SK)TÝd9JYnmT;;vW?bt> ĿZ| m>c50`IbMLvum!S3YԷt `(&G8XQt1:x쭬I6.M=E/#(X2ĈiT<^͇务n#Y|(!M =/̰of%vs3bOtH~]8sDWƍypdp@7~ky?<ݨ_Gvqz/bO"vCձ>ghC{ʘ.1搙yk>,i#l&YN 8O9OӇ`CjD5Nx+ +;RgIJNa@xAmYQ 1C P1%vj kcͨB X7yv-:XڹI$%5%:N.f&4=|Զ.q\+ ƒZd)kpd&¶Txa63Efyoɬvus9ҍ/m%A>¯Ph # qcϠ d(<L5zu%oc(,g䢹n^cɐ&H̪9e [G8D@--ɒb\l2F^> 2h]9Re g9\<)’uif,"BGncIۗ=mp fƀ݆"s/!d]DJ=4ؑ1rS݂M'ԖxS5}WZsiZt!f^ؘĘV@{۩uee>_CY#(g{O ?t_ {nfmI$ʨ. ;*{[W")C?ـD+5*.a2'plOWK@zN?>/3$[}=J"fDpo7}Y`Y$^5SJ_s A#4 gV`$Ѵ I>q#J (gw؄Yz;Q=7dkBy.d0L/{*X!9 T߉LT$EH=vAIVe廉)㐒 M'en{Nտ:*Wpb]Ttnc;rM_ׯgƺ"9DHC0zI"8Ɨ$#{V@h !j嶟HmO!ըTӚ;n98W4eet%n8oRtr <&wP=+*?矫S<^fdw"sݠ}([ Ŗ@UEW5Cqՙ$)i:m2]N(aX3gFBBOMJ֤c^ŤZ2GvSSA OiPdyvԣC\5yw۟25b8}:hJ$Sl47H/QٰVg&`vR%Ỳ;-=UWme#8nRGMbCpQ6 co8Y,:K=3h&$Ɨ֑8$EA'[^$]#ILnnt*\51e :EUߖ*4tͧd`}!mWVָA>-{J=yVdGґ¦PۯB9\ 4^t]Wi_P]Qg`\$Owo1B(]:WuZ0YFUnjJ;./LK }>'TVgOLlsPywY{6:,a/!>F(ؗ9J̴o<۰=ᐁ =Qj FZqWޥJn>x,XB3FK_Hsֽ Ro1,*C{XRGLlC0 Y&&Iu'!+f fzQn$J/可\h'\su)3:mRya= Ė!&PMQ'5.7_ѥn_Xg_ ]CV6\6ա\h6Q)h,h8qזwC~AݹMNP8A2i[k@Y-õlʫ ]Wa[!G4UouBf(yԼz:CXM/ 1vW ]1gvʉmïFS ?`*`ꛄb9ξڱ{t aUx]7wRc A=@h]*,45r@ĪJzG5\PV4FujeClI"wM_Y{d?COF΄QW,LTSK|+a)ݯ>k0a30&5#B켣m"F'~eL|h}BUM)n"0PJD |T/l(tGqYJݭ\H??u,ȢȫWKRi NS.\;]uuAGA[ä@NYtMybU`(zcnFW޶tGH,?dQgDO?pCpH04C+AksįC ov/VjQ gU b.ɻ);C~OY'EId_h{lrao}WpbK5Xˈ~x^4 CDn:FŪ;{?+[ 7Au(#!h7ubVN$` 0L~oQXGqD76jF41o,v`%bc3Y8`@gQTE׼)dn(3eTx͕7}eN'򽘯ݭ=2YNoĻ%h*9mSbW'ux.LIo]R{Zʡ(^kKaE{ef{kldlC3bGJij!kdؿ[K\(YB2)0[ָ?ou"Pi`C ݠVv-ņE2p2/%$ecyiKTyEd y%)8ͯS$P vP`S k.ꈪF"!=VR410fKs9S4 V9 A|&\Oux lKcL?tՇ%4pC\͹JsNAat!r?ĩs=1yR jߪa9=#R's $( 7d2#!锈W9l{- $xU0ܛ3Li,^E}P'IÑ@:Bɜ;3w\Ԭ"ޠv : nb]hjPBm{0ɕUXQvy:-BND6k%K\TډbOWgEJ1kײ̇^nuD{g>A2ᴜ1E\:4=m63.q`Iw.& ,+`ߚXiw#U C]K|Ar{X\jF^&ـ3JJOAo6L.Gn6u8G6 -P 1y"!niFxd9T-1@¾bIvLkC'T& YʱZ v=fp*<E[b7Z|0 #ԅ4"_ Ll5.6 }9Xmg(&P;&Lc]B-=W?\]5#z@{f^R3R?XWN[>mz y  |] ,CQȝ"l.F 1i -#zeh>2yF5YVPFP7tIEn6P}7 f0MSȢd;F]1=[ r /9W!x [TAKcߔɓm={vfNt<72f xQqjt 13*H}YD޶aVTQn !K n/^2,-."ŚxlSi61Wosi ^awa:VUٙુ NƲY:kMN@tG ΍PJYiY{o8 חmvG^8eeR|M\t8[t|u,5w7^"Gm5G/)$(Q( ~Fi/c'4,{1)n[ `/`T6]#x3Q$ O \,*A#N(a!\Aϥ*ƖrTW"eZv`%Yժ 5~]Piêb,QOOŘIx5G:Ҕ%t6=ag-L$V eÇ:%u?FQtoJi9jd.oP2y] ꠦJQ\CJH bQocݵO\a(eo0o7WtL(M3ZX30]*+~kh إ3S[dXuHN |!2%,)l8 c~T {RU2+%aѠȢ5Ro~á5 M( 6kw?>A)r[8ri07=J& TZd ,i6'vPqXql@+2PGS.[EL]شsL3柗6KA mO%Jljq83M\7y< `  ~y*Y?M;6[3 e_7jOE\#QYյLN^!5x?8 vʖ=Y 6DW@b# 9KDVw F*$NÑ,G>& (7OPWYr}h@Խ6>R<5A{ʂؕb]5tW pp~PSԍ-2FS*G/ўZ695Z'N'`a5YD~ _A]p]8qMvsoԞ3nOtM^O9R]&;<\Rűwk6vOZö,k*;4r7;aR>ۯ;ҥ9FtU5ЧCjMaH%lNLqJͫ:rEYj0ٵ̫P6e$fpR^k3% vY8aX*acYWs*Vq֑ŔD" \yMC9Ub/LMO٬[U=rw]pg]pSJZ5p㋔;xC> Y7lmV8|$<ׂܔ"92ZySe+ xXs1kT:;hLSy3ehŴ$MD騈OuoH'r.sMOpӐCw^{nLRgSrշ;R+P_bÊL&[J|' 40xN`"k&Gk[M-'+rlu[;x+卅JJu@EVy \7#W;N-\l+A"CN U|Q&΃a >͸jywJr ]}QPB^`+1 S1B|KͲgBJ+B˹Y2g:ί]ă5 1_y3oz&=áٿnQ-H ~5/9>֜g>!?ј@Cw!<:VQ]"v/}3lP>݉ ,hqTj۝}!.+p7к0}ɄMk?Y:60I6a*{\N㯣osktF^ #WɴJH_T?LFUJLeh'3.HrS=u4րϥylJwaDžS<.c .2RM@6Ir%ߎ0 ~R "xj]Ã%EM~ WHjc8(+8xaFG͕>UR诌^:;Ы;nVw)4ǜ 0lW)Q2~+ ,e 32d%M"٠K[do: RБ_0*P Zo+=1!4Gnrp?>B#UBߛ& W5$|JRAiܻsA J0Wz0A*)дa%bDڪ bo YY][DwDw*$J=;ń&iWJ:xW7`#@ Fr;4gkrU)&kW\B\܆Յt7 NdI$)Zؼ2cǖZxxaSYv Gx /WsHzo.91isC:I!FEMcеh]|fa@5gt@~dXcPKUU"KBG0K4Z84*k8r$e;NÝ;9;dkI)g^ROI oO~1N;DlOLRPZ9!8TF<:Dto>+ʳX;I 83T[(!vf!P}PaD03,N]رM LWF2Z/YMjsUb= ?]n~}EP<` D|/HF5Fizap_Ba bXv4M[l-9yri~&x۵Xi8xKnmqlb2T 9lk4`C2Rf#OBGj&swcuJMgBrmpj %0#fE9Le"`˙/PGA|h,ȌvɿDRBuU/тC"ГUdp8t3O6ݎ%fcM^;p1\[ v_t}(gx1[JjXm}l-?\ gBE'5ZXg ֽC^i>N[U)+հ٫ҰsilkGoܷϳ7r[|ӷ=[vơŁ3$j|>anvnQ\k 8'N& ,,9ѐ} Y\QS B2z<\ .1:+#U)Aim[b;;RT^+4.(,=Q"oO"2u 5 G48Ɠ^a@Q@0P>Tnt(06 {x©i&ukDZ*zlkvHL^oIJ@ow⴮oy5slJ,cڡ:FE%p U^+G" /mڑN/5MWaIBe2pk[O̺s'W` c6 wnyS(kA24ϱΒۈ&;ouG _x/*i>\w.*kr6C!0t❲u*nE'ZԠl v2wƫ3(0)*{00m|LExg=IބXe?(ט56KOjڕI ^6sgpm)P#iO@A﷡LB2XzreaP#%5fLc{;;{fIwv^ 2.WX@,4y(c׀dz.^ /pϽhSGTlRuL9E.'Qf WrfGǪ1`RWj#2 lsefv6BwU.sݴ3W쵚o Ł-.2:+F:Ƣ)I7{üɭSn:Ay)rD%DAwtL.n9<mƚ {/ ǀzJӓyȋ0knc2y?MTDpI 4Qf eR NjQ 2O..x%7m=`BiEylbƲxϳ/˫nDKB"w K".M3 pd Hezض) wC9\@X)oMEYyGyfOj#q, Yf<|㻽cB=QRQoXǹ|yjQ4\fiĨ|1ճu ˵AU@\.}tӜٱU8;7>eO+wg&r*8Ta2-pWf aZIK'ٜ7sZ 2־n 9kn ¬ U7Lf; qWЧ)VDmu<ն)0Ȼ:ŖaAۅ#~Mpqߝs̩>Es*Nz F #?`d jIQSWR;g8 -H! +ܨ8]J^1Zy25C-gMs}C+-^oIIkyr5ä;nУGv^jCE_ >+ڒBU+1⦏b;xQbtlru( yA*D5,ɔwRɉ3 ^dwAG5Jә& Rpq )qj#1zbUH?__07VFP@ kDX *ꖲax XvpBdYr71Mv=T,w,)M *sc} {c?O5IV)½G.XMԐt. )H49`x3Dv`(n;)]K̬JqvʝUL1VkVȧA-͟}Gh}=q+AcZL8!?`aooяJyɝ3%KE6O^HFdOS-)BbTA,) uEXmy%w:`[&7" !d,  83a7pBKuQ1&,wG!u yrV u̖x& pCh'MSO"'h1EԶn g9N#f扸ɋ^Bc}Ln@k +֦;S5Ho6"ͼE^k[ONt&\wNޑ#mקT{i sYniܲmLGk1HCMTMTSdzG!~_3+YN66m[aR @VaX 2Kڬ8]NBu; 9$S/bR ѦPŲr*ҿ  gs Ʉ6C&Lu"D1 lfJ[E'1Ѿ.zn&Cpvpm{//VvXnƆ%%4#~VF%͊ YO y\ڏxwr.x =WcȹQIp?x} n$hC4b݇*lV#}R>wOq2>D[wԈlιIHR sJv4ne@u\PԃGN8!=E %@%U2ˈ+ooAw-Q>xmK9 W~aBN- 7H63ڃ{Q݈#P[7j (&BCy*4`{tݟlx*0$Ъ?/ےl$鉅F?dMI|rIMA-!E0w7&ďu&A{YbLsqkɞ6l4` ^Sh G2bC!t婕|L3e}_i`7]πnsd76&3ypǎE ëXMe9|WG lAiKA@E4U1#% 5 ["5'ǰpYI!{҇.?#ɰ)Yȝ,E?VV_ě Tk4!ꑡfh:'/+:jX.8QnuwNDNynH`^ݟT4P8$e:BìB5̔oypxv2.|!<ǷV2U.^ VT9n{I^~:M8i,ƈwiO2}$\ܜ\X״ []I&)9;ޙvp{sDB+F#ʑfğ !n&yYǭl3Qh| og쭘sX5227^0iftq(e?wc1:+BSM'|yH堁dc 'KI9W %vjtWW$T -4(zIբz0gpqufT0al \mzbE;|pOz>Xqn8t.#0":@SfMp*x/1uB{wO^cnFa>cJ;!nQa1NV-֚DDgyJXȳā6T̚5(蛲/,]l/-\zRI^ |8!dp_HSn)zu1.9`i?^~ѪPkZNbB{xa߈fwteimloz( -fhZkY{-/m GZ'2\Yښ&osvQ|+T^,a>2֧{ȉ[`?y鐉Fo9׷Sڱyde)Y'dy+ y*7SAM-lϚWԝFiW[SYI9Zo*BDr TT; @[=‰;^D>; )t$6cxq'€y4ee #h cOUu 2ͮt6g xVKoG,ϾLlTlFp~\  ds /{@6 GPIƶz3f$*\ifA'*i7K$_#jOzˈ)L$;JVNS Ci]JCe&FOn p; ؕ\BiUvRs;7fK<$'j_g{TmG_Y&bH1/[1tՍRUg{q2c?,ǠeW^Yԅ{Y">"ޫH'ѻ3V @B.\٩eH'Vo05GL tJålAXP@HG$:[B0A~YoSi)?iÎ0&xB$1@Cc!FO16c>)'d& 6{H9h3Nh0pX Z}[2Ba&NˆIHݹIz Oʣ5ߑ񸽆P]tCg.q#v?0gp JTQ$64쬭r#Xfi:n݌ Ƥ|%fRqd)#c$:@2 ˆNvc8r~%+>W5lW}U^Hn;9mUemRSءeV[͸^]_䇟bg/wJ uϓN_hM{+LM7Ÿl)фv':a`F$৪$ak\ړ(*9)M7$^ڬtxK*Ĺ?Ɯ%+ $N$kXhK}Wh fKԥMOxH2|Y=6:!~v,9sKwvԒ~7y,2ks\~ݘH"QE(f@)&;!WwF-o7ZʼRN>u>p)uC6iԧǕt3au-׎_ )riLJo4mͥtJzجos۠XѠ2 zMס,S`ZfKiJ'?c(`1h쎑&<5=B),dvB2yd,F8bJv}@l~6a RzB1,qY%ZA"0>f:ϯ&8w"|[s[qç2y nV@1F Ai`@*8d+MV»PjHʣ@ sGTX3R$|hG`"h vFUP@o`.K}06O!qXsc2=O^^˖h)5;RgrNRm|8]߰?`*!M82cėF`/; 'seK NaBs}5%a!kLbi{&E"m$ݩzf<'cx;O`s'fcg(1#tC2uDR5DfV_V6ΰ <;Ԍ7?2d2n+B=^M?F420GIr鳂~3qj=xJ[ݾڼud,:GU@GRczUE%4TH(DhLQ6Zڤ'ֿ~nP{ESoOߓŧ; )2f9j^2O~d[?ܠB_u+N*Zb丣zYSc6o 6VBt$yj9455^Z4&ԻU` W2}fxGQwձ?",9!jŸG۩J >8F_w*Xctc2Nb`L⦛QsMu"] /`@/MOgN-eIܩ)XIJyфf%J2'ׯ>ww$ٮ0arc>&LLU2VP8)A"^qT!Qn-٠6T_OqZM;qcwqj Y4GѵzP9"]{h*?|S\l}O }-0c(Hb6H& { P7rF B3XUW4 RJ8$;L0G.f`U]iQJ";o4w $g'ϖ~R7Ľ/P9&"}dݝ[jgj#jq3/RԒ[;y `"%4qrC.^mNpG⢳݌T2%+f6ǍQYAՠgJ")b!tꗑp1Hz,06 d$˳ s;' WteBe?^7*Y $q]~d4yCUUtD^*4>9M$pqFgR6 &8=gb{ k IJ~x ֙ݨAJUV*a+fGӜ"aDH9d(jY=ŏ+&:rEA?}*b-rab, :Tqf?@/hBO=$(_HM ̨ed dcFS"uE :,{B+,խ|h[M%*%9D.Fl2(Jz2*j=8+wnfWöx6 / Y3]f*ʭ%=ٜ{T`'L$ͩ4#XxÈmowm9@Q|&%#D OI"b덜CH-G^wg` Lы_[!9.<&;e~96mӮaB:sҡZ6ӎ><Xo"Z1u[i{-yH׭jEX ~mM^b59"k pl?}pU%=[(]YBTQ$xje*>NL4(na?.O/քp5'< 9B71L;$K5W\*L _)ZW,bsH~X٭V53B8=Bng=E\[$lt*%`Ì&)!pNa.5cGV0N-fMx^1w„l3 ;0ƼxpFѯh.*4g`–:H~΃K^?ٖíYp5}C~=Y}A.`6S4M{HE=[W=s*-ykbWe6vl>NjýPcTfbv_7_^H.j <<2_K$[:XjK.]_D"ǘ'xCoHnh(CaP c*l >Cw"}a=]F}X1of}AUړM䔿#eQyOOUk5έ) jՙm\rc7ht( &ݿvBB-N6{ʳ$]6@ߛ"4`C%n7?\Yg|AMcAN(,7KQCu[_4CO5)ڥö68BDe|H[k~UvgbuHxB&+译!Q{ҧb/4d o؁κȐiɈZek5Qqa >b2|Y KE([=yjbY.&(r} : WfUru8.N, RE~tHGU! PDFBUlQh%h 3m-1ִvDky3O"nAapOZ(Io-Bboߓ_>N7]w҈I4=|*E)kĪTϴ@ Y|(P[Dr'wu2{ض˽׆v)[MG`); 1J3>,#+ho[b+r#VąS:A.22ޝqH˹R8 K0pnϹжs6Z2(q\=k\.:gLCsk':-} TN;Y +ֻڂ-^s2f5i?!SiF/ ÁWC~F>7U/v/tWK,yFE,$I C_GbX#*lj墼+Q#5+ZREԜ!5jePC%)BIAdU6B3jR JsBFἤ1]!,D}34HIQiEHmL3559A5\.U1Tt汰ޠ3j]>W:f ͷ: !$L=O@q`)WJnoߓ_ !a ӯRΔ=[+Oz1NRvuVcZSHxґT-б2DQp7!ˣCtڈMo!&{>'dD* 'l>9o̊%OUdVǨXI,ɋgۨhj>WS?&Ǥu߻ 3خj-=s7AIlW>G,Y!:ᱻfr^8^(9>Gm7Q߻SŚBkv^e3~6N>+=f~p-Hٽ0fwR{4o6[Eo7nvfz¿*KQ [,zY:^k9Iin$<|RnP}}Y–$:}E/ƨM~SP۳+8-$rݡeƓ/ƕ/tRMeG2}#>$o uDeTo7$%mJX^c5WhV+Q)XD,e8J15?0nO> 'My$c# L/~W^@j 8V-1^D~?Y5܁=}9&Ax"貎]Y]pZ HODT` oog>?꧱IWb`ėFZ B䇔lf8YΐK1+mԁ]_ G 5\R( NA=G7Ռ(\b[WݨZI*sp]4@tj0TF= 5V۞) <0g5zk['LRB{GY%a;H7 ) 5z?nKPUK! Mg+bS3e Zo9PNϋrryê,B ]όAkB|Ra[['wlK -nukR1;wR@5…NIQEv3k pnca*-"mʀҤQBώ6^7#Uqi?!p__1=%0)' YO+uyxE=="\zͪuD[@pz=qΧ`|CS57 9LZpkl򳡖[;lf( %Y7h? $6qqS3:^諿A۶p:UaW2̯H.yO ^rvQ4ƗPO=*M"߿:G R_2Rl. N1N5Ho0P5,qJ$A_M?/]>bD꩎CÅ)['Ma7[M4dKFDna7HZ%d`gVкwYS+iߜJ"ȑ!}OHW =&&/Bzଡ଼=h;}jx6iئHuShҰZ4ch'c-=  ZyJg+2'L`^:[/E0 "~bq~TVj$)9\=$D=3LZ~>p|ĕYP@mH?emy"}9'vlK9EΞou'5v]>|Cx67Rf6N  $pkbH_Zuh>͜]Hd{/}!@l-f^Υ8-@ML]/h>? 55oc"*VLc LIjS[>\;%--]th@ W5 `-*,VE(ҜK3brs"ïk1n8It;M&8bLؘJGwECFwDy^+pϺ;w0!RxSl^\鍹y?8}4b a//qݳT??շOmv }d&4[L4.:t8DVwu5vt~ kmЦiA~s$Ŕe^Ņwo'3&6%)T0'C:囆8pC:IEE8 #YDfzq"]R ^]pS9U\]m!?6k9 LzmU[6=:zP ~g*V9{&\f+."Cގv;˩ Y~E O`s|7p$6H=N}G9iT!;{d5 B9 zG?Mأ}/l M8p"n*DAô `8f5kت>Q@{| 7bAh7*|᷊&iBSL9̪MQ5>2!ĩWq4}PMS>ZkGGɪcPDNby`vf=,}`61MHGx24?mp׋1Rw,BY:{J6,uy]ħRW&U]"|f_'jm8Kv Mk*4i \")-$ߌ퉈 "#*n@ Q l!ԃ}6(Y~xۜ ´E.xEK(*OԊS Jp8:%M<~>*g5cUװ~ b_G,ƞE:҇j`.6`A1T(Rkآ* d]cH?rp\.Px fͪ*OPO`Y,l¬ <[!s&RŨ\GLABz>^(.j^ܶxM\zH hY'>GF\\ly_ ?_B0ʃ\vi4<~v#פ`X/6s%7:(hijrL ~2~E8QҁbBoh2~cz DjU iտ z o5| 7 e@8&Dkjd?ͩkk'/1U+eYUpf?2kN1ÂJa#7"$YHSUOW|^ h.G~t> pfC>qhΔ- ?8C m)#Ȕ]B*q VXJepcP8Z<C:P,z57 mx)=Q Sz&>kC$s471 ˏxޞ@?t;ZdWz<},53KPmon#􋞻 qlAb=1]gʽpo#` +13Oʭ]s|Nn۔=\Os%X\qbU4I3M,gq'8%A-P3>CK\E24GN 6m"ud]$ qhY2t}ϮR [WI4Dd~# !ڥQhB oG¼X Ӡ;Q6KEu]¦"Io,CWMpSgy/ ]PJ7jC,@ Cm ENrZ<:=$cV̏bY7<1`+G8;/j L׎󋛏jf$F{k/6вi76| }P]w~Oh|' YO7yъkZo4 $|;óM` Tj@ӹ 5j.uqr}/\S{ ާKO6?ej> FJ4n d==xtRt֒ nbGܯH(:H7̛a|XT8!v*Ґ+\ U.&#3;&9Gib[<%IK#z_ī>7nl8^R׌9$)=GyY_f֧V ovJ%p+"h-5U6\G4 % Jw&؟e:WF0)viVBŌe^d4=Mw?n6vּhvv '&mAЋ`Fftf[BCV%?P>ߥ])vB0EUxwн!LȚHv3;98'Au Ir[g uf$H+`̖ďtf&6Rѣٓ؊}yV.kʛԁ# z ۱/*1J# |"H18#Y:$m`rGY8߅ʝg~Mi0𨉓;g)Ncҟȥv=ߢG}$l]Hk7[!Q%fFpG(EL7Hԩzn`Ƌ`5dMh%OۤL録ϫ + I#-p+bCG8Y\t9cErvtU5_@)v^BXiqP ϽkoU>o@jf.nEeGҩ?5h8C@$㒅UF@@`Y>h|#UE=Yu74e)%7b9y '^cvg%V/%Uj\=T-NEZ:"žvB ~6CȥYX n+׶ 6Y~8r+Hc1INV7Ir:>9JqbXggږ 23Xց-Sn wB*É^DHd&S_WMY\<ҖEl4p~$I+W5GͧCrX$Au\OdXèx#3YGy芚!aW(x5= r,b;?8(uAT68yQx5*jyu$k1(!]m>E SF[H#c)10(Qy/k^~nM'n>" ^RVvvXNiNr34?@@^׫^"^=5]k[YX0n" QvpSN7 yOHIJlags160)57G|وh*5ix&mJj 2u}~!Y^ lJәI+0j'Yh qDX) `rlWn읾OU/sQ``^+R{m} V੾frPf)j2hIrh[^ SeyCd;& h(-|&+i7kO'JF>w:ߓ&!wy,ַlȞ ˶PAv+LC8΍мt`^w[̇=>2C"L ` 퓭365SƷRm/+Obr-Jz>EZˍxKc Eķ:c3Y3t(Ե t yxdbQvm 8QHV":`E)):G1W<)㸚%L>fXP( 7|Z6*-RI;ڹD^slھxhqdBf g *r_Tp&ӤL#"#+Qt*b폄΋2%KB|S`Js\ J߶ӑōr&ɠ?Ď2uC[α(miP~+1t=eGÔCVC1ncz>'o}YI1<B׾j@3 8*hm͹:P-qfklfVrH=MO8]9thuxĥiL*j(B7U1I|iN`w̥ԦZۈD[ ֧o8=DYx>G|Wk.v;.ؙ{W˂ Rp.攩c##XSn;v6LXFOȗ; L3/qw /Muoo60ppGuBiꓘ{oN0xI;05v kKVjS.dk-~SBo!):Ym^}_LW4t"q/jMAR0E@>x^+es p;B" RQ/"k֐R6ʇl;SqxC¾ՅX;4_g f?;åsrxj0 @=*ASF/9iGipT!L噄q/8}lQއ@t`Tiz\p}`hol98;ʘN8V?-[a[*JeA_E` E*{8bDEl6hQR"jʭߵQ:T!6bv:Dh]MH* `񦻒ʯOmq+1qcHئI`0i:c概,}c!3t_q%T$15 邴 ǿg ܞ-[[A(̍7M,`g{҄.N"/L] Q&Λ[*8OtYQvoަ{U<$ȶz9=9ݔy`Q3Mieׄp܇SmgG[p;a.pV=BmqS=}<,,jޅ7%žIrrF|mM|T6(fRl\&Ղ)_Ł} 1JAϮE6EMEeO"o֑5BbHuM1R("4pK;{1|->1?i׊½,d{=F8(bYVnė`@rOR)3{%+ym)Jtigg,sZ%0 !gDڹ(aCI[v}Co`'U̮ RR!^\3E  g|38! P{px66Rs VWL&K8b|2#drd-!j3KaϿtw[s94Пf;%GoByr.7r*t$^S}SEp -v qQ{èU‡cUW#Xc+1؀5SSuеhc y(v'u9Mդ#VS`uҴs[vB~zKyYJ6ύ*:Dw8-MDl`-jVQ=9Jky\b:k1 kr3R_DuY/FK>`u.EkF6Ω ྂ=r=bG\YFeOl=SJ}LbmV7KWbtsb@łc%Ngn5uO}<9-bYbT R7c_|D`:ĩvs.xJPXȦ ]k1ŕ}ipj9{:P!dۛAۍ$_)LD7<i@KU[s MzN(؋Y2xM>Nn=%bH5ㅏ{HBCHuXOUh 'X$ ga@М7s@64AR)7p}D{G-zLg:8I6,kA\%#A^:5]bUKl팖fCJ3^L!WrFi7C,. H\.tX 兣Y|~@9 V\0m$:b1k(l`C9/XSCjl!%$dO˔|>8MHM:S.\Mut.fRd`lQ* 髬?N_ǖ3X+e;PD/.0?!]YѝdN%,ffįl,EhHz.tq3.&[fTubTsݺ{"- ͫH%Dƥl[)4:+m,_V#OmL%IZy.UK<@_ f3iyCw3M۬>c8:z )`Q7pS)P$P :Pom Wye!N_:-@p+j8OVRC[HS ;M ͏1wdϜv ƱPhW?lkk%HetAOL~9U||P3v򐏳PKȆHf/P٬e8ĺ"R;* @1tH XPYdLVF8CSsi2iR9{,+Xh; <3Q1n?vyQh,n3<W)-/o-J[jd(ꝼ~LxrQذ+^Fn'DHV+5%hG[PUq9[Jn<#_g|\{ Pҷf}=ܐo%K'|SF2?Mu%tȂXa>'nf&nΩNuUWW HnիtOEaZ/&W `)EU-^acPMU+"ᷚ/_*^E`'E ӹsη5lȘ*$8qSX/ `LpLۡ {cWbt|6DJ~o vNR C5I׵qJ[l9Ultu s"E&e98u4 Z0E;'NLM)BUǡJAby(pz(|eOg:5zq|+w Lo*hP`⒩HHTz.tg NWZҪ-;/05螏Ұh/ƣ,D>Q_yS#@Pj'y7%̂cVn_S!}nuyLWѦGz4aYy 9|rcX1 8gg³,\6Wcs%V~ /i| oҌ*'h`5DR;ɃH>[dG@e^!Aح8!Fhmr\DoqF@roX> e  lS{ VfޣsUk2kYhuW7P#9S%' X<+ʮ*GͣĹcW?R1tԢ}K)F] m MqB+1y fP)3*}̀AgE$à=$Cf nA%: &QlّX}V FkT#7-?g`D$2D5'ݎ' ͉ʶc\2|B<O.Eٟm"zoIȤsx1P\VO[,PBNF#Q o1tIq 67oy Ԋ@ ~&4Ɗ 3 ' ;i)4ZJWu X4Ƀ?&PU6`~[{U%I1tmlw${t Eks R+< s` kծTc$ kб-i VPo ޫ=qYw B] `rŠ1$KEø]: )X{NU[ڨ+d("}Hsf a{1n^̡ϖlDL% 'g.'Y#1Lun&N/+ڸN5Ѭ"G11h6Y˿,#b7mn K:N0:(?xX0H?,XӘ 1ޯ Ea3`u(Gƽ2ȓya@"޽[jo& %8ae:ގPR j.CkGbpjZKfq*uF$4 d)U$h,IROn!L1.1g t@b1>6Ю(u)/tar7Kqk:*ze3l.j-,BFm}nt]`J]rthQ#ldÉPsƂw-wC=5U+MnwC~TK@᾵0;-m4-LN 0#ns$B'WQIVYB^$r.@I/?/#NLj''d M =*TnNR}nptT]%@cS[@($8qmMyxUɳd;X&Rαlk"=9_O1q+wu**Iǻeyv -ʻe+䨘RK"@1P~6cz3̂<gp*=[Xrs_ɗHN݁[~܀v}Ѧfߣ+)x#J W(x6-H ϭVQuD_}CH+Hz_@2:⍕,{Vm_ DO"Pŋ"Z'`<#GU-`P} ?A_+ 7ǫrG[QGB&$v6O$߭34UjYGP9T~d:ۜ}N>C v0话󎮶.x>mZD2toZъ8LhLWMYA{sgB4<RPHzT}tD'\%/Y !'v#{Pn<䂫D81by;l[_h+(Bf੒l|B;~3Qb/sH7n]d1Ґj7R7dDmf$;&SU29Gqt LY5| A6C>;A['%꟧oxkn yCYppMM5V|/R:gcC3Lt/ RV6D|;Ev;I36 7_yNq#Ty%?m.#wQ6D5(oIl+-|Gv\xiұæS9f_Q*bv- s!Js"H?شX~%\7Kp *BYuڹ|:3:Iƺ 7@FZ3k$lSc{LnC!afxZċݱXa&s5  stFIcFi݃X<5`ߴߢ/] CUQ:Qc ̊y3Q9,:5h0r9B~䢩\e潷nSUӾpHBOs0{n!Wr02~Xp g0$'u]=J2z6]6wM*fe"۾+Iw+2 PY1 ef*db7oװ<NrzTR%yfo2{'Kb7˷]0>n^ϵ2r4GQ Q.9uzoh^nZܓD9+4̈́j̻qvZѼ/Pޞ[z`f"t\C%s:? KʖtVi24k&K:ׄ N ڭ(A|2|ВΛG9(Oԕ&/fÉxjPA處 AaCRYWť_J3@ڣ> Jxr.Uhx톜l`ռݓ9y)Ɛw-̘R`K\k lG;~1i:-2yBwf:y5IbjŒY|M6`/#qHbʈ(PҚnoW}INgθ|$will9Ve \XeO@k\|B .aTԒ:N1",9ߞa $IҽtHHi> FvEXY1,jf #eRJhOO?Z^g6nT\jFVbXw2*% -~1ܚprHf=[) 8dBtP 1]S 8ϏuFj\gjuv6جU=?pU$2\S]^Zj$I%"$H} B(D %tzN6^iQ׀ AfӚv -Np^6q?hΠ20SSYzp"bdO aN1p%[d# -=]dܭu!,T<)kvqoQeb~HK ̃ӸPYI飏<㍡h:푾2Dq`؞A CIvbYj0E[r]Z6{g/*}=3O&xqeRXDחu,ve;~$zBuouQLLZS$G2Zk u|s.au*q/ܾ_k=z=$cm& q*c]x1Gɘ,4\ڒW.M'7⯪_g.*ɿ9t*y#Ӽ$ cGk7Y*/MzLkn+EԂWK 3J잝o%CG֝әgQ~J7C:xrvbK4n/Deeko5GBMJ+Rz_ "~@?QC8ЛxPR) o#Qj /*cQR2% <; M'kP\KQąC.K^otlH ϫd].,mm7^ynwcĤV3csAmVQZ`y]+lf 2^Tcк b-Ę63k Fю.f1macbYҾ У *T;C4L;)kNꇧ=/H#`|+Xu{-rb%*z_h!n| I5CV!yG4#t\ceww[xtمdZm'V 8ȱKrBΖХHH$Ylod@oG !8 6e9 3d+,iDΛYM&ˆw4mwy/2vK`Y6Ht0M2ېq+DOkz! N!"rlZ'@k|OGña+nÐrH݉Y!Ɏ0bbJw3sP{@EEй_j9}{.,xDHh#p'<uNM;7PuxU- IZhk 0Mv /N&ڀqUh(n'd1>|2 X>zWw.!U2E Hl5QLO(Op:zzrFSè]GYI1yP pA"pbjrELt)TaN{4`*Wb'\U7hD'FzfRd 9?^R"pUaiI>5v}ƮIDָ}Ce1CQԡ -7K+V2DmdlS m=Ey%y@Cb S0vm/=Rx-z{*_ Gћs*q5v0b,)n'0Щp/&‹ [-|X1meacv IA==ؗ@\ 3v bm%F]'M?guФR={Q^&!IJd–0nlh )zGK!:9@2N3vAB::9 eE5y`mO|@͹hP1ȉ9R^M^%j-z"h%{3"|=H~&ܑr 8 }9orS)u[*w>IG{칸xqj_n3c}@,>.j`a̋;qLz^8op1 M',Ք A;lTnCeSUȝ|ygT*!N'x8{W.=N!C-Οr#{^4\II~.texMpJ%Hj@ a`,lp?\@)S &y)C$v)A)t *5j:GLiX7 \=G_u[46-ٶ/qq=\0HbDZ51󠰑?Vy(ޖ)omY0p2至D.,V[1$4FO)sLy孏7}sslx)oMN/u"1]E$@^bZefJU_gC)`&1x M^T{Hw}W#A-S v ́r6h}[5sV-Un:wڎԛ4/2vDsRiJdfBDn I;xfS-G 5zTUHT9-cQ="ZJX\::HH?&n9>^6]PjC{53UO3`W@1Pxkց>o1c8}[ϘWaά=:ǨQ_642W] ^; [mLcC0᱄?4݀9 s)ݐm h_`q*>"M@%'8Lߡ8XP%xZSzUeچNQ`)WaY&#sB Oo'cMW $Yg#/yClt7Mp)?ٽy36wPڳz$G@ }=5KB.6:p`ǦK6][ҹ#GjW_Q?N9`w^9t{[$9/ )ɺ$0nNGkd kb G;O Â5/oC(F?*y6<ûwb-#M+ A(s6W+A L'qdO1 Vu 6xZ0:9jV1zchYkw5#7uz=R $>`&9G2;V P}9^(s o'k 45%CD}y0?`yxqjCrM,[\. q8]5g`g2~,x ]aa ?]}y4ĪWSNƟڕ+j}V;`rf / ap͚߄K3pPbd 㸩_^Q%Eo9z VBL>1c 6t|eAQx;F}uðUu|~we W=oB*6TrRǯk[ompƗbQ݄pn~aϓwA_0UK$"CZsxpew̅W*~.(ڮ4Α.xcP{3}dT8:u%nG5,_$F/Ltz# 0@Eg߱#q%s"m.=wN=l5|+W;wQ#F*%,=&-o Z]bא9D  >Ɔ_Q]Ce'AqzpF᣼~jR䊋ofLA8oTcy`T^aCb7OZc;#C wU 2.zYf*gA̒.dc{#YWXLt K\3:ԇ], EYrN)뾜rhb:!xC/kSC&;ql-ByB>q LV0^){Sëtv==X3j+nu'w)&W=Lp ;Y'ca, –7CR,s֑!<\x"Lv3 0<-cjUhN a-)tF??j."WT#8@[#QC܏+??c[͓6?Y8!+_KQZ;e[2tC{̀\)2ͯc\v(K%5V R u-;* m3^-ѻϺ ubڜ>!l EШIQ;^vlC@UbZ $v$jk]3Ziqj>A;_;vjSY;y8?h$V(ɋ3lpx) 6%wLƔ)8SZ"M2OD1 rÑg;(Bc6DtU܇țuJΘE!\͞ zgq'M`>_ 4N%6ʖjU$߉ =X9ӄy$vL,M"&:*tK} mlv )@{RÅ*VeG T ?ÒjKrھv>^gaZGYЭ>VaBɡ8l!"*nD-{#7&nЛzĵ?y/*6ֶqSܡG/\ٍԡbwrڮ ADnajp3/! Jw;ukx"Q[Ƌ ߫C) wW=Fs =}z[`kI'V>S}q86y3\NžĦ &Sbu8{F2%dk X'bzcD9Ks#uB,iQ:Mu7ڪ PEAdU:#AJ%ХƵ8N= bpe\2S'*g21Ly8m/*lke@h\k@tm:߇Y5iǶL;9"VnWWRw!Fgt!l7aE*V %5фѕcz$rJC}9W|S u| /٫1$Kos;A ]"h{j#BC{Q;"f˨Ln.hU&UTrf.k7Qu`T-z,h]L뾲 \ T3fD8]"g^u7~ŵo[I1cd«j&Krހ }ѣS 3l94M~G+ZVDȣ\"EA'n& DםS 0RaQL㩶ReǧO$zW*WRq効 gk䒋>.pko"6rdg;E_-rh3~2w/lP;#0b;[3Hoy6&BR4 [31)mNMCxe^e|(CRCǏd6Fs0U2=Vo@7棳=}zЇ*u+:zK>Y:pq^B:7E)'pܷi#=-kf_I1RHO c.bξ27;zt)?ЅSҽ2yOn4E@Sͧ VW~=$&X,l־pﰕ=3.^MyR*k+Im?l:%-I4v8"n^*Հ^$jH< 'xN=RM)ִ Tq_@iƴR$(X3-m`c*yn)`3"PTr$HiĖ5HSW1>)lCd{- aŰ#xmNriƁ-Q{Hƫy+ڈ =wKHDovMSav> Z~Z)ۼ3쥦hm+vJKz(0 VEnG4/`lHϳrU3i~>>Of2u|$Ba?yM-;eӝbiYS]iB^:5ȴd>0fRmdρM6LRfO+sǟ+iSS _?l7aa5S8 OW0Weqac#/:Rmd:z01X оvH*2m`|ux5tyL;{Gjeq ݢ>V ¥vlҥٹi2xQlknIޥ`X(ӟh񿧞=O/prZ32R+ (&3%"fbfA#ĚrPa9qo8vcA`tϚ[-lƹDF7GS Gg.R,#iB$DXaj}LigjR^f#:G2R;ƎȪȲ$"$9^,p)ՐfYpSqT߻#mVzn9*FJ_F6`rTfl{M*y3{$%I$H݃R׫Otxdm!>]Ɔ-G+ɲFቈb@o4sԘ1OynI ڭ#$hN* e:Z w!AaCOn7C|'O3n!Ӵ0n띚fȇ}:ZNc#o/=/߯uvzd.vNuj3iq%1Q󊏻7{LQHؖ1Jrco>Fj'>+Nd笁 $7/Tv4LB|5'S8\FTQ}*0-Q'h"N\Ϯ_'P>ty];%TM vVoQaedeeh^kUFl_ynEXQ&EpR ɢ|k\Onj-@r%f:}F_ߥ(ʩ5;oO.#VVG/PF ab0M8/=Y=IJ.b͕dѾŢ[U>ls>JX4!1T^*Ws&02 ˓x]L*skCmFU]Vv 5Bg[ex5=ɮM2_h+ !Xsig5,inbG2S3Дj;ed;Ѫ3%Y> z3vrR43';%/*Oi(0&0hFΓ '` iP\hP]ǮO$W4u+t|FrxiT1 -4 :^DƏTK?o΀guZd ?8OE M.a m>(j38J p^t$bJAk`I!϶rĢ}kԲ,.P/ E)$KBr4r}pD ۆsD|Quo\xMo3fPraeJyzk$&)EdӒ1 ] rvjX|{UsNje'CхWs,4!Î ȥn aQ E2IfWZ T~\>ggkF2l(!wuO`y 3SHZ0o9#A>HvTjμ"eW1 ϗ',LAgƷf3!']}dFLJ ؆Ү}J3E|LdfaftduQ69 T`GrKvwfߏKk ": }=_ CULͳU9StRjtuB"C*__=7H2qu,OqLdw)¨^F5fbPդ[B\,- +A%4ՎoKyqA38zUy̕D˅Hϑ%L<\M@gϫhU+)mGȵ )4ΨK٦A_Ĥeqev:(+5*:l*+TaߦP&m}H!0mb2DP- L: -&[6"O 8170~|> 0c -rN!xpw'+c|$z^b