SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 `#|$ oS]HRB-Slicing:threads=2elapsed=482.616cpu=918.436gc=29.764factor=1.907zXZִF! dn]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺmI$=L$bArDlZ R JoaY|nU؅ޤW~#OqMZo>F^

@S:`Ÿ2F‚tWR1Bb 4\?9u;WlbVX TO>0]l>U*ח8('NEJ$)PEfbs+|ϧ pyc*9"Jt w."JIITџ2gk%A}|H}jWut{bO\B$![ʷ-=«D}Xc 7:#5 al[][O )"k'g\`bs=ov?j+-+1c{ $f|Դ2t&fR!rdH_|׍km#2c &VKr4oNy#HXsF-hJ ;KjnG1$'c1عHlވ#-hl[K (AM9}K PO, J  3@ٴ%ydž4+Q $YM6ϐr-g 8>RQ3v^;@"rZ9}夫4uHymhFEeބxsjJ \I1"Uun`Ť``=za  dAc}Z8Ȅ诓6P"i '874f`$w-;6<34ԅ}&4.p&#lTlQ u&?bQ` չ-|nj*%樼QuNYG}sqVxC a?_y$#$}8z8c:PFys8+);$!+<]PG/ ڎfvUIVB㲗-JA;猶j8{ C&j"{塮Z*цs6 Qwz|ݚ,z{58GW<̀.\P]<:J|=RM$_ŎCRF ,7lj/9k=P]JZ(&spXY,F kiS&v?Qr1PABo\ernhsqkх'UA'UD|zeNW0iFe} r 4%mtCݧUsl(rda<9or19ScwOك$!lDJPlإnԵnrReCͻ ;?q_{e9k|on?4'SטۓF5 I'zIqMTAG > \$z${5"TP jT!6SpOq-$O yjAInߴy1u+l\0#ܥZ">grxz͎$B$5X(d93PB-]jHrJjzˉQin4+%=ț<}=朖qET\;{5U 6vjb[Ͻ~4}0] ٜ{s sFڭ };mz~B=>?Z}Vs/3ĀUB ~T5(vVܰ7CnP!_nDș@BYP'S*=EI =yЙ0P V,(j>XY KdQ=UZH6* l7,B%lB iC{WL!#;%K.LYn!`^gJW|Q;afce`s<8V2@%Ng^4 w/k\FJ0rtu~o6=CFꇚFjH\88)EG$4mmCzWg|v 9RF]3+u|{4^x f{I},LƄDzzz3| X[D:nˎ`HgO0YM"¢j&N#g >k2\gu.<'C$s # HRB-SlicingxNj#̿%ftQubA9&,BŃBJbmPP*`]G, ˑ"_>TisN`Ykn 6`cfw2a ,Bv&ElfCZE54p#"L30n|BX#=DކzCfgwZ&V<dQ!ey0dZݽ'Qͻ޼[t۷~V]ߢWNסe>1B^2%ipm W"^^C4KVYי(@ 5d@>%k`*[{^ߜ~u"^y/j&ÜW(sg=nH=ar*4i}qa?Rf_eYDnLkGs#w{$raup,,P곀;´5w,ϭ-^'I`'h+ھ JG^ e/οL=SU{{vІFg%Lqp?G\-G،Da|m{tL=%X-y1>nyG?z\K$$c)4V]E+:j# tfyOs] @Jc _e]ɮ< <٢;5z"̒ls~x0ӏ"5kbdڒMu%"!NX/f5(Pa L'-` k]\I-rVꑗL 7yPo؊EGuSi\Pڵ]~"3%.VѮ2]#k"odW짞O1oF5{儋gG0'.e Ii-35oYⷞBOXƂ^ fﶦW)vQB2#.laߟѫkci2d%CF]ھD7lӐᦻXDxc&{~݋%tYTw˝ Y+$.Y3^Z4 :Gɮ>>*Y(F: wi:uH{,TTJ[ҿ6l#yсDWE` `6 W_kfz^ۻ8\i]u痓ho?Z=BGsT1jqcIk2fH~rEFM:tt {׊'pOT sƵAE9 X6>̝yГm N]|'_}9J!ոe UW$wnQLj2^=г0%U_?_sw {.pw [H;3&.} KB$bk[i;Y-`mC0R6 /#yOD"5<>?OD! Y$q-ڷCPE6y/Z`';9_+|`xF>W|&z \|QFis,FcVȼ2קzHJQ AuGsJAuQhA2cV8yA:ٓZA,T/5}K~yf<. 0x5\zWԲqV )wtA!lM!ш/5 9!FBMMvZo0Ϲqx`.j rgB)co"@ECMQ'j&ưz?]>#^dVbM?`O?ng ft{1"+eBV'( KUha awj |$N9&n/S3)}Ru%Mfczx" ; UǴs)Ta_ޫ )U>s wJ)։F޳*ڪ %oETmsIYWm.ejW jH̘@kQC/tx]ot-!;#u~O"OFlJj%mU$~bX.ʄ^X;~%t$ ,8F?8PY h|%{t@*`3!S2;(8AJhKHJih$hvCs=Qo̜\kܙ"L3lͤUbD$"{>uڦRrkdg+Hۣ&8FrMFtTlO6Iڇ]z)ςHwd5_f[/@jYQEZ0$qV!!'5%m5 Me"e%ߜ{5ԌʑR`YbٲxM!:)--Lx]epCÞ"he/> 홞^?5n/g 6wN(]3 b7tQYGե5ӎ ĴOdEWb !89["-:?h9CfƾhƀE$5G"uڻkI O'\V$0kE:XR‡+2oBΫSј^Y`CsDCj@yn1mUpE ^Y!aQ IFȦgY |~%|?]!5Z"^O:!^R3R0OOHiX`9Jc(CkF4V5ƕ1&f_ދsyx=‹*ԚbL[oV?hww (Ÿǫ}3-s]سTrHjć:+|_YgHCAw G>Z_u*SW|FzljC-Kl;vLBa؋ǩePzv1N!*Qz$Ѣ$C 4XQEp}MWt!PFrϺ\jM Vpv=vٳw8\g6'.an-:kL| df(V^M;?/+*'56 @c'<$kTLDWu7L^MlsD9B.eH:n75D[,[쉂Np Ή%USt BY! U ECw﷗ي {<(0<~Cn?uaN}A-56HK:MFʙhC`^-)vse[KFɑ9%d*[ވՊ֯Nj*.fFR)пѨTw^|,cyW8#Yil %#Q$!d&BCEffC5G+gh\(nN:\F.%d5htv *F +bnI9%fwH^FA˴ĥ** Me!JDDG%p6}%Kؑ Ղ,5Xȕex [1_ǩTT(ۊ1# Te3Jث?oAc ?;),"ut᭔Wk,{}CnDQ˞nN;1VMHjwٰ~-#a4E7&\Ҳ=2M;AMb< 829Jy )_$$hh68̛(abuىS ;ca良OtX놐 ($4"6% {wub@zPM|qE/e,9I >Žl"dvh^znOv8 k`5.S4=:-S+!h Owva-a-1$X˜.QT4.;4z[҃1Tdb7t0u09'&Kt{jI!|^kX@ĺ,4B}R#ut\FTwՊ ߕXxZ0{@ (モ_ cD$WYA\-{S>;qO9F1T,߹4BLa~Q?`JXV%12u5>_ݢy}@POҏIsV]eYl #? xdpu.+#)[Cik<TǠۨtܹ[E6(-3T jrBR%b,+3{™~#oIߥmMT`c1=`ע4@m>֞ujkW !a=ݡH;th%=(,E1JЫihgƾ*,=,W@*X48SO9&ʥ ~SSŠE(>;{i`>,[1>4}ؑvZO칯 lsC7K\[!ZfkEQ`@jƙU8Ȋ m̢65$il獀ϻ Ufקe-`aXeD&)_m B7|H@{yd[d ee`wi[~ ҩz3ס@(8q̱0OMyX16lمK:-(k{!]q_h>הJ3EUGMLS8١rjyĝ\|_'G**8ڰ Ʀ6&?r^!A6깈2,c[|d<߰@'>,'Wcz#Iŗޝ7P`}Y%xF ࠞݖ"%xowڵMtwAq+4v[8v}8ژ4vNX׻2m1V?]ߐ@Zd'eRU4"*F\TR޶΃+hwƔRR4D8Gcno;AM GkdjekƋLrLlN)na9v:XT7! A*VGfpf"L ,bCHqLK[ܡV,vr2L۝~9C-jE^4SqP<2#hn^rJ!_ %+rbc=ʣlV)$(}@in۲7݊Ir;gy.\u]lsNg\6LV+sU97&N M%=pd#F>OկSm$n"@8a ;k8pNlEaWFz7r5 &L~pQXP_uLTbp  OYfm@s[ _x,aи%*d=K 4ry & f`k㐹 ȥU3Sʹn`ԝD-! ?^ %-c/eK>gMd# $l~x-]˙Z-ndk̿x]t:-4xY$=zeMwWR ~aQŁ\HM89kb?s> :nWsAgo+"@%iK1n$gbZwǷ2塿 82o`"-dtRK?BX}9Z0` 8±"{kRb4$}dŞ_+gV+LRJѐ$SE.3YdqSÒ4. fAUlr"b-iE(B!Ҷ(`Iى0oyI_snE`)H잊xѬxrf'?qiۚ<h| olr䅒o ?Sa,Y/U 1P>LNܯvs|` yw25ߥQf8h 5l( _t‰佼o1rJYQeT ,K;^%<.+DKgޖ50w7;QJqEhQox, MсP_N\$5k9"J8,٣pԮTX;{b!F~gxt^HciUjUw1+f!C;H|,!F@-4oXں#|%4v&gƪ[*d}, #ٖ`)D}kͅ^ YU T|s5L(>E鸔^Awc/ޟ7C3X8+KUɼ]οX !Ntja`*OiC+\-p!P+*%`q~ʰ,wnVyㆲ\TdT8IVn 3 s;% M6X&l_u +T UkTCOxz&ɈRMy8fHR.[9 k4-m%RU._? Rֿ-o RoϷ+_CYE!QSڙkAY YEe\t˩Q)ԣ[c-|gKXӓ@x+=dRlڇڊP--Ghw7Oya 9n}_/;>e' 5:ȯ愢ٻȳ,$дW!/)c1lIH#hDBJ,8pP,y_(~{ ";&Vb>ds;\ceі)5@9C<0-]ME V5Urg8̼9#ډ$|BOy@}1xqI)iO1кrFIc)WS.80抩:m .ҳövX|%qjS缓:%g+ڜje&~i+޹vi"tg P(ƠsR칃Q-f`5W#I0չ/F>}5HL6 &a-| ,Q{`TO\;kk;2v=3uZT| %WKHRƮƠ^ LM`:BՄǍvFbU}ood`zuϨ|:NZ-3])q^x(M#)P}$gvDqmFO O 7_vFHh`&* vU&hHAFV&|$^sK-y6BzbOy#xKtms0p/*_eryU ̮3"lC[3քX119–f:88S"M&n};BQF^FQjL5"*3\UV ƜdՌ#)bU83ۥ_]#'@ب%@]vp8S~_u_=5LlgЊbe'.u Q+Q_mj_@OW/Rԃ}3%j.3=*%_Gǯ3ك1xQ~6WGłKaSu>̘wH:/4Lu~< 6B8$iD^2ba^s-oy)AlAںk]Q_w2_H ˪,e—iEn+pTԹ) ,ENu MCYL,skK-(+\i,bN'Foz-o78|4+1&'1&hs[XKVњA>N3 B.ezn.!x9[ÞfdLX|>lo3$=q_N9Qq@i9JuLvy\ge\ fShacC:5kfKkmDWiUW5aa OlF8iMݜWquI7X7FG>񖧤,`ΫN >"TYǟ_Fe?Cױo#jүS0}/N6r^drԌ(3Pc>Igs8sk}a>|C:!೙Na}P"s4coc%wf[3) 9=fy~yxQ#TZC*m|P5ܑB}{H'jŒӷMw }<H(׽n8r\GF1t_C(V6s a.T^iƲY؊X4>Uɀ WKoU=c"Do^0°k:\wkx ` *y-=CpE<ՀXӿ[6S/s]ęttfvH5DCmH7QsJN 2./ad0t`7҉Vբ :S= &K(m0x4+d>QL^$ 4L٬LY|eo _z_UWf~;Q`nd%'R Qň2e="ˑ07l/ѿdit{ǻ9-%uN.Lp hBT+RnƬ`u~9&lGvl/K AylDZIhF8:ޞP앉?ˌ,Z8qEm35 @v5eYlB ] =nSwy>LگuN\;o"'1O[VE%oC,&A]̬fRQU_%{TQZG_c% fB8/o1woxU ~Ŀ.xk >֝BtD&BsJjKlr#VԵәxZXwۉKfԺR-eãoT{~ml{VQˌc0s v`EWDNiC}bt \#Ee mB B^'Qa5Lܡ e<@5é-O4;n o.E2T򽇝 ^~72)q'R(1s.R㛫!m a-]Ǜ).G|zr5Ժwj2٤'[#s$]u~˸%.c|{1jcmVb23O)%qm =)!6P}0;k. _\\:"`/˚\-[n YSH({1^lHˬ:  p36筈w||y^I(+Z?CwU4 &qLJќ甐?08]<ATƜ|, 6Q { -;V-"YD)G}$$q(ŬE:US+2*(ЩG`xgg$N,=9cFǗ+Hg$xθv Ȳim۳k}оֵBn"Gci Cn D[|9rgYDtrEQ[oғv:kfmȞTT$H>6g:^6G Ni_=Ɉr Yfҋ,fWHSMv@K}ёl?q#+kjӂ,% {=lR9;ۄGp+>p"X48ӑygF}uLy9:aAe?ӫyǩ+S|MC-a},`dĽL#mzMM-BaWsߢc_'G)Ǖ u&jpm@ҿPBRֲ&ߟ{h*~5bGA~zA!*P["H7Ad}&z"H| ~&Ta%:EghC,^ͱzW5=\CΙMfq[Ҡ}M{9r߽y J`])') IRVN2xT1ԇb QGh?l0 | +F[Th0ڱ[K@њs}%"1ГMOɚ` ʈl9 Ώ$o`$=s)Y|ltp uqD9G;wcm\B%#j)/܏rd%Eohl:}TOnCjx|X(h"ȧ/yh[[wceʮ:!3T;Hy2$rscl~&60`kYtZ:啑%C@Uɰ9Z~S_w߻  v}A40xH1ij{m> 3rЅY À Bh7q5ޖ{J|K 5q-Pl1? %$+.h VڥrTJ `@3&Ct@x/gQd@L(fEEON=v_: tϺƸqzF` ށFX8\E a:<^al&]18آ*sC,+UT+t@F<TG$J0: >J6U?pZ@QcG : <7%;*l? M iros䖋L$Wnk.`&g|BV8fB%DBh̠>_>e; YuR ^-;ı2]Fz{x]IcӉ%~4'4D:Aw~2=LYhxJQE;]4@u%dx}tWaB(䧵6Vm HN(0иj( # %:7N&}OM6sp6au VP繽S ʣ>8C{DzD";ޭH#wfʸzl[2kab-29pcmUc︤*rK"DѴx1T2E`f1M3Zae |ޖ3,;|03 m(|F!*e<)+tj.NEkOy O/AV%o&(kԅGX軐\4uW'gHKp b<!aL;={]:r]m clpKjtH "y#=ѕ]lu^BBOp p#\|\u2(V&|04D-\LU,m#ePWjغ*֙CW~/]Q n1R۪F}ZΫ&Rn0}KPC^ܨ(_s6vQX\dZ誥)PO&C-7Lu < n-_2- Oe% 8L:=xJ^7ڬ!(K]*M#V0N۱:p*m^3l33We s>Md F)e:pSF5}gujY{lsd'5!U093*ΥLQ8G6pNsy>^G R#RӬdh:.*ex̐7Z:{pz򲤰K])*@d8_8Qܐ nBQl$q-q =N+ )5M vL"ϋF+ ƃn ߃w$Q?/p;͞awKO}~4ŧ&ziBaBnt]WwY&'):ryMҧ n?e[mdƖ bݗɦk:4TRNNѝL_ g1|( )h{<6Cb  ҘZvnʹB bhdS:|:/[c+K J}Ƌ zlzӅȊ/E"1X=_bwLy ڬ鐰lmzo+#hx~@6znlȅa 'P|QwȌ|Ƕmu>rbt5-0 j ط_0X - $ޝB&Ee~V\C ׬Dl',1dz9CJ&z=.JsNCDqJ_ -IBCoW#+%y7Np]Оs:&N)B& T)CF="ICAMo,R!C/M}Y *ܒ˛i5AO7`tk^@;/9dM+6z2H$3MkwGNKe/2=hW>`"0$[>rV0 vX6r3<-p_pMX+vDpiSn\?9'ұ@ :j/sS?#V Fzu]lHi[@x[Ԗ/-J:}^mS+%{Ko, 4;`sK}@#>j i=AX翠!Y.'SW2Y P {6){0?To.BM$klZ|6 ۭ=@YK4MR>YٴrdU_D(wօޞk_/V5ի0r:EaaތVE LlړM@ ]u jI'/M!$b=PodJ[|>>̙NŒFcml:{-V4{CPfy@n;z@2ǰz{ K"iEJ12@a7v!Oy2<ἓT ,j>CHU++Q*\;Z#D6bP' 1 R,@Ʃ1'R|/6(HK0/؁*,RP8^\ -4WV#C6K g Dk9BX]r`OђSо4J3?2S^,aQژF?l A g"vg#͊qK09(ߤ`̷{i{|9LЊc* +͝|Rʔ= qd}4cCaxÝС.3vHɖp_ۃrc!0˜[wRw2 <LHԳhcjE1ěȥn* rwxMm{3ˆj#F< :w/s*4Y~V,Q>9f~I5>)WNb(#4I*?9WezE\}l#6$^EQiީ>fjζb r`FðldPZb̲<LŤ/ Y8 [hC&Ϊȟ(A[;wrgpFu!wJ2 ޹87mXо%`s^;o@Y> 'U$;n"ofPz\., £m'K㡲^h;Sا\ s.: Ƃv< +nk3%1lWSu>}Gj7tiA*UYLOqOJ RxЧzF$R:Yhɔ;`emȵpGwi08O L2QlPl3 6xCq8u(z,d u6iV4iۯN)e{0 \iJʹ^_smbJ w_R*yp۾e43UMx ;2Y2&3<r,`=rQkO"[{RBP9t~h@y3[ G+]co\ľMmxJ|Ƅ: ߤ{l:% GA"G$Cƣ[ |%HoQPOn6foM݉ǡw{HGj&"U1}8Mt4{P7p' t"eq*k̅rWT66!5.f7cDiG!qY\{R 3{pKUcc_GQvi"ʖrhMrF; ۅT#/Tܥ8GBUu/?ʹy*Tioo4(^vTńZB9L4I:#4 ȥ=€x-psQ/Aa+:Fz-w iHRW%RMIH+tF)W( BS ]r)dK4׆lx36fe-8(:^؜e-pt=Ym[Nmruwb#`۞tl (PZG ~}8 ;YPNuRiOubEhBxDa7`x VTA4Օ˕*g&l_Q r] u07^Z[qB7䴤j~c`M ?[ ;X}Aud_nhua'uVgw^S7)?q2oI~? g]E_ Be31QUlۜQV֐ί":S0/ԼU]e{Zrz8_FkMGE QS]qIvs9RUvM=@}"f QKVc/J&G@K_"e$ڧ=52T5p;̯NlA]jLD݂r8'Trѽj7d{8![_KP,i&V/P:[з'+ 'n:Jbky_{(mNy¼+¢&,W1NRՆƹlڻ9~$-xݔ]- rN=k0.%'w ѽ>?czyI?'z \9pU|)ΈP'_w@>u({HsŘOOh:a]F!)IӣdןT>7y"S5ba 8֒Q~\ #lc.`hn1 qD.&klU$CSKڡ2?[\h嵹oSwA琭:@D?Ol͟ _ۧٞ 4k,Ed/? pW@DzՂ fb0+$ ##D}ļJ/múکu۱[%piCfJ_v{( !$4nOA)Wj%핃q!! G7ZK8LmLXMPiF0G.]W %t'Dm/ j4 \_0vML͜1l3@CQ^摯,nYLLdڔNo\ގ;0?$<,>/`&/2ώ Cp$(n,_ POWПZu+Ǡ!D}&+{qoA*cZbQqJ_qcr-”(\{טt)W廫3#88qI>=NSzs 2Kd![u3g[ovJL rsȌi-M@+~K\/P JxlhQG lJpw U> \Cy}^ljbv7;f_΢Oݗx%~j'د>z)WJgHa͊5qoP!gc93`oR7lސ}4M]}u#G+mI|/0%Z'lQ IKkI5W*N3Ϣ tb?|H͐s42<Lf{69J28?ZfLlNȰq 'oE shgEPβgL2,49MKp#$2*k*"}CVQq- * AA69ϥ4L=,PA/'B6FG۵E& !s Z?_j'F3dZWDңJmz n8O'[ՄIxk䮹|zZ5KoE[o_ b 2!=|D |طywbc?>qȰmT M:`B\Ah0ζ6 | z\`?g=n3źj;jX]n/.$\[o}TSJ'HR;nSP^Sg!U3|f6V9B|3'_YMؕ@5,1 =&[ K5`/rLlS:I3Ʈ,'2c5ygYZ7zXZִF! FX ]ŗXi%oHgSoh̒~mosYcW5df{)ft ۽Vv ]8i ё( D]]e+xLMsXB W0JXֹ@\EA(Q"QpO@084"DBb ]P<58=ZG0`? k&*Ť4źærCUjLAǰeȶP0c}$=]X.`o||)n;vUm:||eoo+a-KeEy'Ġ^y=UjJ~o]aOkԇUHh <.+ 9P%+bዹ4ec2IPX?W `tPesFYiSsִrhn SH/bcLG<,r?iq0> ݃d 0#$C=k94N?;ˍjXRY2 aB'tݢ8᝶R}{-F'gEi PΆtbe)}mVQEo_E%``Aٕt~ ijH0Ⱥfa( ^!4v"'* t_2ʝvÀdgh¡7kfj>83niL9^RY DQ2X B}) f:৻%L]a[ /*6lLXVự8T~)2sr}LaΥkd}B_欧l~IC %@ʖMTN&z# k8M)N^L%&p|]I|  }VL!`!{⼜@ETvm/?Q_L@֡l6U"{:mP`CVi+rláiRO<2s:{ak)SaܵƳ!ňA=;h4,Ma,"$B^&fMEOlMc39o c~bgM,mԍ^\vLjR՘}u?# 'yS^{U!86[Sb\!{S[Ѳ q"q.^rNU1ZCct!M"+B"?؅ Da&V-7gÏӢDcKԏnHBS0'D)xt'b]:ph4:ē:Qȏ/\}ph<8ѓn3by::j[]Y&03ɰ%1޹*y)[+(>߃w;ݰCҕ$AZ¢Y%vu99"n|L{:ʃ$W*6 7~n6 5}'Ε8}s ~|M6Lb/@@ UcZ}0\˼>""Xr8qWnJueqZ6,oKpHkuYsbn!;d}Z!":Tu!6V}cSG,2R<`;Uֵf|?y{w2eIx>dL\ԅ^@qp:-6[@rb&.9w H~_*bH&ȃ$\_Qho))t2Oc&%v8[]UCd{LI.O+y޽x -iM5龮NC?>O=Pn4䋇R; r !G~4p :Z7(z'*Y'ԩ.Kʑ&VJH*RB8}:^`K rqq/, rTss45"癬w$JA5M˴B$/dpS/8;ZN:('6A%-$|24ScmGoTcWm 8L@//bꙌF]!F-ݖOkw mk  #pKujřjֺWm΁mOBRۅ}}2I=m\Z[T[y0Bѧ|#; VӐ-ak@ܩG6*}1"&#&CoL+ux},iGxDX~5q<`,hha/ ~ǝ~YHYoENx d}Tp(=+ծ}$lisnoh>}:_pJ((ё3B8uѼxXV_ŅpP~e݃$ *lX^RdKlȪT]-ڿ>=k-o7}msј\Ł(F_%tH!99*4i[cGގ孃{Fvt&ߣKT?M$e6 t ?Vo? |^ê-hאӨ%Rl퉌%Q뼈&Mz*e | a"Rxz@l?NDӫ!!ovtp-YO_l2^^D'U\/e>#ޮt뀫!R}|e{&}8s~r+K xE"BͫOU0a SHNR􌃵Ԯ: }5 '[h _?`zsxGх' bg>ȮU| >S$͗'L9#жdbA ؃pm@DpvFf$"@QL2Pnx1@L^ڸy+q}}VDY|dT1{!dY)9ts#jhbA*Ĝ}wCm@h'.72YFm'$ŜP&m$I\(2Q Oa#hƀ"_ po{r*VYhܚg?oK.s ң" qdDړa}O }ssVꞈPwpɃN#=ŵON( b`RY-bXA:uؼv;fl/)i#m>Jr2} r#y{|X1x闅q<{‘_*~8Tzإ.ɧTj2AI͞jsz4'q 8㚛8&Ή$EQxy{(@>[O 8jT , k.zudBFfe\;E U{FM;ɍK.*;dTPqp{]{a2̈~4W}5+'w<..Age4x`PQ+͹wmtr'bPߧ4s{ntՙMF5w'4H tZ  wu^қtФ dx }JڧcU*~7hnϱU6q"$"KH=.s3FCv@fH2v5Qs_d)ݻT_d@OE3M] mΥ7݈M!m\cL=2"4 )"V)G*s҉8u!zG-۬*NE^-6 =A(_z=MK粼)Qr*zV'S񐏃X\@BO%@>zi 㳹H4EGccKǣeZՋ =z m%jwWiJ/:v,* sG|RI6׉9L7?kBUU{35d*R%y"_3 {ށacr)U9G ] rzn#4 hZ-du>ٔuN: $>kAhJ̈́,7F:W ÝNAۭ n;",/TevlpCq |/6=*,ߘgX%¼rG.3r[V*"dr0KSޫ2z uTJD [#;!z"[I`·bTEC^|Қ(Shuאh"O ͉֥"pmvOUyNՕUd`N6pzk+?>Cg#fE:as\iTA)?e/{dN YO6^ʙA"63 '',Kh d҂6rV+} $o,ŗkD:q N{qpXu:&n.=E"d#9^,ĵ%%o6̌p}`p(??OQ&ho}wFX*`igt?͵A /^M)n_5\=szI#l9d2UkNosB(XL=^YsH5g;龦 .3r"S OH:Tf3yotMjBψ-(|l 1b/{3NtE?U2="8y z}\0X^Je%~N󏪝}%1[qҬj[u._S龱 %i|@Vw1'M/bcf_eh\MIlt3Fᛴ[U^yyZIZu'>>E龊͛HZ?#)}pHZ`?V9t%XŵɊO'sR7D[@v*a?z-;4b2M!JjCq"=";)/z N;M >{ sx.p&:ADbo=>بYoag;UI[y̪U@J&/HAo=Yw=*Y8oͮ×9=22)ȥT]-ORH~j+KXAR*T_4浣E>¿$06=1B UC&YD)"oЃ-Y ԯi!:n& # aWMȗ۵Yxhw<zW(Xr $>U7#0e*Ed 9)ɡtqSwQSC4pR\8 / T>ﳍbzhԩv}O":[ {"-o&‰sV lyCj仨 چfdf-_6ʅc列yr%nkQ9w> > 8jiZ1{=J:Ĕ88u,kj")]mCOFk ٍu*hJJx`*1v['NoQ*YTYuDHD8ݹ<<~O48Sw9i=b13-liùh}cz88nڈ"*cgrR ckHeD8ubE@^6|8cr}Z@ jC )hH/N_9*h))s ^N'([k(Mk'oX1mdr^8s_,b,s"5rƇ<)%ID56Hoխ9g&9-JĘ~ ھvv}Lʱܼt'mh_^v,8X8C:|'[sr!K4V1Ն ]#j)_gu1ǃuH(L]D;\Dc_oa?Z@J)Nt/F7V,A_؇6]Xsv,=M N4kNH1-I""9[Zwq_n׵5eFE}kkDZ&rE0W1_9˼S^jMp>(?v)f=Eʈ~kOdK3so- c#|šZp{ssT^#^9I07Sq(4"r3!67l!2%vZ@ U5yr! ׺9J0$7qT! 7:R6C)?_d>0wuXc+L4rk-Hrw'rB$u *0Gm#5ɡ&K|PPDux13G_; SCLWόIYQo8+am.O1ZHF~;Y?D:T?GI1x3E5ː7;-Z+;.{hj~3U{uAGg1k1ϙlJ~gfs*h~4{ nEûYeNN̽BeLb8[tkn(ݛ\s}ƇfDl{s5xV%koFxmQl.ʠٳh1cr|6",>Dl+ka(:xi~eե8-FI 'EHM/Ļr*ke mr~OLtFR(T_u$ͪ$ wtfZj;0eD|SڇҚ(#Q&NF88VP'1'2huY]3M2UBZ݆e܇!7X-iasFUoZmKӫ2>CwȉhO`Ywb&vD!%S'o3Q vgڐ {/s#5Y1y6V/v?bX5~v WRhV? n9xj}r1! kk}1~'vB:Dx }(^O__sOŊ"c`_IڢQΟXgɪs5A ҷL㜑|`LHjaT-$QgP>.ȇX-7fFiym$%Cp99]`Yo/&S;5FІa!xLCQ!nv |kLyxt{7\ ~Jd215(P-ᩀw39&odW|_{p18K([.3ZԖDKٿ WR:'md `TiJp;hϝ[2=aA&}X_ixZ X~i<-'~\r#|(L0E/tRGDP_)Ҝ(DM<"z۱iJiW3 (cQ8[نpњo.pp1("~Ga26^-%)_>r`kw j$ђD# ezrrȝ)dDht=^@{P< o'{) yXV&c qi&q} -Tpێ3VX{Cwyxs+Wwm]J480ˣ ~tdւ^D9?!8 zp3!| RMsq؉DQ6RuҊL){f}:b!32 ceoIcF5ku4p&*~#9@' $gv& [N"~m1Nc= ׵ %mؘ- /\`cFM=vlT`M.]O7 -+X~8qJ@i Gov#ĥDwZ`Nl3BgrO9P"[g=ZJ <+zʩT)BJfMq >Zu)GRR 8=TI4nY+u9oۗ3 R5*1} 7cոr+q2?{gml!t 'X<4)1!_뙽DA^2 d/>rsm~%O}6\ め@73dۅV=Rmr@={3*Զ9ś^&,'|"AHγݓu swxx0\5#NtlRQ| 'Ea:OxU:|- 1&5] 0DnX +gVv/? /$X\pP״B-ArEYo[S{N{MVyLDYᆬlj"˵/BAy|=OKl)0;Pޒ׳^IJܕ9u 5{hUd``UM}xg ՠXW;RZ%r 7g{.ǜBhf!˽'BA@=K⴬;\`-6[/@X3ﰬ\u+Y sDTQv8Is7ְ9Fl]S$7xdo}%P|~M"WC|G ޖNPQ:Z/'m:ֹ[io:rN:T.Z~Ua2t v(ۀMj rl|nD"/S,{6w,SƜ=/0S_5 iQ1ltanety5,KpŃFd?[|Jud,ZDC8L.HpWꏫ)QRU-=vYje65odVCJ.֛Ed~u&4]yQ)\kcmhOzo jkêyHoт/ ƶZ_gdbJON'0u4IME&patU͋1_nW7FzoSXPNN嗂\+,T≩uL:HLl9ry ?bBZq.TJ9d LW-%nyOpC ˱+ַ֗r挛J%j3o%e3TߜxaTi4% Pm|ǫ~P8gWj%碋/iE+ -wsk4a fgVxC땉!1vkdkDR!?׏b&t<;D.!pU`Ol+I.uӅH&f vFX7or/@+1K kV&2ړ=*։) CbqnYmQQt ʸ&5 w‡Q:XC(:(ý6bRo9$ ]blәMf>RN;g;7YoL O9N}Kg9\%TˆX'?(Y9i^Ղr&zwsRԎTD2q<#$eɱ+&_z Mo.2̽*=#})wJlT7sZkK? ~$9|,Z *JBBd(GJda1wzJ^a{4h܊lBC1:xb*G\} ?"E" *L_%fvTE_PFQ̀-1yV GEu$O^ΐICHgDq͈Ba+ elqu Ibi&O6ئD`'mo<~G`1(QP,,sTR $~%3"/KOg =_៸m7M|m~~{Q"Jz!K<὇Yk3ޒ5P}rwoIU:֖9 2e}aT!WsL/vNwuv ?G3ki3Xc\YtLreTG81޿vh |%o m;I64M(kM/ &n8朕 ;U%opXnwO!B`؞-B%F|DY^:Ҭ:#Du3z䍪߼XnwBZ]ϯBoyhe ȏ9: XS,7@ : Ĕ&%Sz*j꣖K/Z²U7 VW4ii'^n)<#ltaTz6nBf=r\1dfiad7QqYaڄ(ޞ^ Usyko#b{3Z+&-YT@O28{Iҏ{.=%mõQpwW 8^|c)YгF;\MVivS/O )ϑx&C{qL9YIn0u6:@]9Aڽ*N՛@ްkY+ ._Op/N[}? e25jO|(oUG" ;GE Q$3k f^ -5x~?3@nk6'>`[\;qYx'pA/L g{ m3HK,+jL d@0*%-}2L圸e&-Qf0PENo^lse'o lxN h`5w") Nt=2=/N/3v__=7_'_ԚC6 ~JCqdFy%M C젻_](9oU3zJ{Z 8`+s8],V:ʮ4A3QY~;9߃ߪ~OΔJ[la-WGARe$:Ȱl{[B#&酂VePeO: ȫ{<VbIJV_Ktl[YuSoI#4F_C'I _Sٕdda)Y܇l|Y$ ?b#)Sb訌53VdvJk-}>G'A1Gʼng9^gNۘNw`EQ>s횄h:K_QqU;wHBᗕ.#{t -.#bsfNt/wo~Nnx(_Ⱦ+m2,tXvKLZs6{@bXO^Kq󋣙⋠2kȉ cH/4(#)67gVDn4An(:W/iypElfOO, 4r?uj= wrz)(E݈3I GE0*e[_* 1ƇygO<(]!_Q4^;Z_Ģ+V\.muM}wߠsx%oV9Ht 8+ o$jgY %oR%c:9o Yė =?=lsa 5kbk(jv>o5M:YN5L/L]Yxwazm/6HLA.ݏ]̡.`'6eСע|1:(~Se}߼ 8{-`Ĺ΂c}а<ޥ>!T_L vǟB2 m`U/%CSF4pVStZ|BX)v",16~Vq2O(΁ )m;hc?al7)WrMɒ% ft%RYSfr"G{omi?S++cT*zn9[@uh.Lws[#-%Η~rQpI`WDwq$]R %ƏKCI8[fl9,cj֪q%'M$[<^d]yOlL#bN"*`J΃,@#?֗fvj>@o:Gr28qɯ0+a}m%Cx?I5Ҷ#:s 9~=[+2I%2~aA[If \yHŌ]I}4Euh*yJ,;V8mx܄z`|\b-ރj~Z C.} $96@UB&Y<`VB#ǬWȻCl"nSw=)#0W?2`}h0;N[˔+09̆'kdr>rJÏo_PO]&ɾd17gڻMbV K fgf akb~%#oNȰh6SDR=V0nPe?GS\J S{Tgn;ۚ,s_h@H])[j ޲"!&ڡt@{%XF{+Ξ<9v9V~Ez.phxrFF$jgG|w25D+Ubػ#P /r1'pJJD/0]P#l9~Q@'J!␛)J~$CH^K%`U݉IP8X*bUOƣA oj Պ{lVR嗳^jw0N$4L]^YV` j o!\lUAe8Aނ8bE#.W9$}t'W{u08(cHg f Bϑs5rذب*TrO"J;Cd 琩 NNudrG;OMTǾMyψNy9VPE$x80ѱwXƇS7Z?"SUKV1t+>%Jd;CQ&.,E5vho`F";~IAi]fLUiڅr jʷ@UKȠU kU*.*d&>e[gI:wW ^ H@5Q7fwΓa9 m'3n=+?j1/aX- K\zQt &8?"?1֦gѲuC6us_AJoNsIu5]~J "tr3g<֤b*UcU΢=3`~"۸,1~$dMqo5gıPΓ{Yk&Ϭ&RP]|kSILzfE ;>p%49 !GfP陖˪/u"\XRBmEuw]jx,RT+A{խHײaY:!2G;TY2ptTgev+HW$K=9$}|XwGC#]Ңr|*ՕxG63*b?^ӈZ Xs[hP7 F!!F5Ko )ZZ9VMbfeH*oŘ"$ѴWh_5yFɠuW9ZFd˿hyr,W=k ugaHw/?u?$M\Wcacyy(=`930];rچ"aAhV( h_ww]0)QnI*vnOTlDX<{utd.AZ35v*Bj -OR/}'nk> N b_&n|P㓙]?g 3zlOJ"됡q }uzL<Tqb4F&}N3Wȍ ߰w iu3[N Rt5cmV/ omλ} )ܘ iyT簟 [a1#I5PZ3`+]Az!Wapsd4A$n `{%+U+ .A6pt>0e'|U1ZY_O==bMg*% rwz9le&[yㄷviY R[.]#jl#\?W @S/0w wW =W%}ia?MddhYcQP*|2i)1[o[\*:TTU Cy\FCC z<PPSF3kg4Qɤ:fIdy៍)$m,rHiVF SUu2w=挰Jݞv9 k or8JO% v)Tv'P iRmU+뻌t+kURʜvcV޿}Fǘ$)LgYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 513af589af52c683c28b030e58f615348f41b1da 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 ff6fceeee2cef000778dc32616369d237996ca43c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 9d8e4f14970cb7fd473be8c530808a4db97fd27dbd9d65f22391000d6cf2d0dcfb7a67c9c25f0f13