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 %% 44\ ]S]Matrix:threads=4elapsed=22.986cpu=81.448gc=3.540factor=3.547zXZִF! ߑ]ŗXiɟH)0%oi7LZ_0hGWO,3KR/ڕv}ݞpBii*_yf'<FTᚁ\8]*=c cvrYLfT oLSs"c|DKIx]Q^ xZ}\"p7՛NH6n(>EOeA[jF< %p6'a"rKk^2!YG^~F@wq%8# ΔV%u969 !OVʩGYƳanv̓9;Mƚ畩<29UhCp*sۼl!L.yM*V9ˁd!q۰G3BjuK:aVDK|K?t,<S1Pߘln"WCI8 Ըut.XV>G#)!!HEpws2vcM}Qyڹ#6XyNWAiJFp:O>vauz7`랃@d' fvX_ܼZw 2Ҽ\n*ٷK/t_-piP:<$4Ie69V~h|CW PSu@ͦkR)1 F g=thn] h9Rx29 ?CRCߝVˠ|vgpZW\7lA$'_'x@fWg֊$c)(X”UJcBQ7"1nfϨy;/Tv›NqGȄҏ#1#QY:V* /"޶Sl={%%z<מ̌Oא@s2B2!!Q1SHz\z=RExҡ与m xd=`_]") ̛7N~iQw\ e;5$BsLjN>fc.{S^l[K*S F<ӵ3/J Ĭl2ËmuU=fAMG+_5O# AKǁ(yor'*Y;NeK7DU3I! iT"6zAJ\\t &&[m&b*菂g g!K_.,&Fߍ :H&4\B'Z*LzCIrd ͣRZOr5a] AvדQ-!HmSw}AFhDCr^X4ʥ)8)WCx[wd%9EqfV%KCoBz) clrDQq'l0[&@*V1|5uF:&sjEyݤmMf+@-"4m N*F`ߝp̋gMpӲA"sVNF,&Oh&P”U[o lpˋa"e!ʽ,wH-.6w1x+6&tJp#f,2KoG Ȱ\MRֿ;`C IS{R꠬~cFd|$3 tW"z\=0& w˃PSq+wDTn8NiQ1ti\P1]v;.,iȤC5nGCyy(d6L|}B 3!ʒa!KBSO-Ύ/)D^rqztlBZov|h )'>rMkEWF2.lВ.GXI@/4UPM|d+erzs58u}ca^ ϳ 3ޙ\pĕ)2nz5>}87Ң?V~9ąw?g6Y&n~ewi"-{3Ηeǩ-trP{i#Vђ1 2AhyЈ/|K"3>GFfٳMzl"yM   Matrix  Mahym-@!5Z44yӚ^A&ź6mN>xBjB G 6FsgCyMIy9a_`bж Yp[h| ԫSS.HWU.m)[=Rbdͭg8ŴЭgL]ϲ?pBʼn6(YƉd2Ba{)2:.s]E`$^oT],CA5 a D'rH}9 kh5'|6(\]g uQȯ^MFşxyt&(WS8a15*zsS?X5&%(퀕)+( &c,B'퍛0{*jWE,`NYTloBSJJFz5CKd1_O)g`=C11!R 2p&JN>+ϰ JJ8X템L6UD* Ɲp7JĖ94b4YUzc-!)[CR?ڀgBI- Ư.F+Z ILsv-=!]\nSz Idm~=23DoqHO轂OUG?ct_)9h5u{ęP },4h P2# 2!9Ĝx]%+!,^ x5+m.nDK[2TҗY9p h*vY|نC6j` hjkx/hZ^l2kr3p9=ԛJh,w>ĺ&1v%h]N*@cʓ ^C!Lůs$Ll!;vk. 'yk'*2Pb񛬚ӮLqOp$m)q/eYDOl{,_DΫչd2 db3c΍7}>% bݔ鋉r;e_j\ ۋN;/= }\\b{tvL/Al]@V i~m _~@RjT^ҧakdNU0Q V #^+^%ik.Fg(W V RZg-Bxw\ _uCN|4u #eFvV0EHd։(Plɳ+&WBm$xL1U368H1p ε=%c |`u%s[ Jr&~Gȝ3yf!N*:+wA.4Qp wlgCl޵Z1yf\/֍.40 m\iI d,[BxƑ1Q 7I$noupB!Я4hA߲?P;`C]xE|HH8$e%4ȧfť-0{l4GK`YZ712| +t,QEIfDaabsbQ$BA{QF[͘c6U\ty 2vBǛO w԰XS"oxH6? QhV@gWb+})TDAKorQk=T83VvE#kq*/`v +f'_вk9ZNlGG<OM?}L5+o}5tL^_yS >;6jnM{y֏8Gt57(iPŷ[pDѡxHoQ& :#O){rK2EmOh{Wo@ ols56Qҹ<-Hon"@ ܂"Q,iKW0MY7ɤBH+):: N43)jܣڟHѽ͡9 g"mEpF15Iz︘M)TEPZ q3/a9Ԯ(&~f W<ݏ#ҟ]0-i-CSk,8)k<_J cU6A@Sx*Xu,P 1F2nA_-Za+/hymψ%0f4hޞ P-$1[*.^Aq:ņTufg~(d<Om?sPֆlc$4 jl^Be~s؂U/1qdvy="Ą,NLq X-5Aե:.һ[RR>pk{:4Yh1S ]M(<b7#9=0hn}v]EmRv+alCkpPi+nNeԹnjM>B @.] q|EN񎛉HHI^<#;mYVڤU@::,?fКlIP慟WF[6[3۞P~ts+iab©oχX}htp6sjNbis$IJ^/hN<8cv/Y/-'I8hmHLa׻lrIx'H!"/3%znh:wQ{S8}0ꕜ0p,>wT:*sSP?܉f-Z.!v9+t 4ճQ&AJ$hIFxBʵ{ P`8759QB5dEWuyH{e W)6!ȓA ~~d|T.XE.GQ6K3^Y苤MdSTBxӇ%Gr#ijÓ>ǝ;Aڹ"y.{G>1Ky1ysVQꢮvIc#W)SI rtGr?# f<̀|ٞ#V 2# F=y|sI5w66cw+eVG_{Qj[GμWw-=zvZ$5Z1xcB6ͿT}QfSVlZk@ >J?LLH.XQ;zCP} Vŗa,Vy\25ڸYtX&R!فԡԫvC.:6A:.ls({Dbֆ"_U5+7GU]f,sl̈7F?ĘB;*`x<N@WK\opyZbF`h3܏H9./]mq}v`~^kG'ap؇sȪ烴"XqRLnLPa8m6x\$=qMynpX a|SeԃIXIs9OeODniX{"iEXOݚgy}G̦$W{n&5AH۶*VH9`0zg;Bfq@\y *Nݸ4F$mOs˹>Ƒn$tƖTLH0y@L=$Rpry{LB*G9dCʨ-d|&qL<GjNk%d0A3^A/1Щ\ؤ4)mzۉ9o+Q8:9 *eE߯-sdޞoGMo9h}5=~}p(W0 @D_Μ~O @kR\dHZsEQOIX_m3KՋHSZHL'HtrZU Ik5v^@Fw>~c9񧀩9霂dNKJΛR|E6`Ԡ)E"dw<( >۾^[J8ek`ȷ=0sȑca捋kkڥAdvcRb^kEJܼ,Ԗ?u޵1 **ȕI%gy6Bu%.[i%N)RP $Sc6A;;*~ysex6ڭҸUWV[rp&e= 붂KVP}l炍l퉩8 ^-Bk₪z9K?BԟwJ|d&+lPZ`PkthIwD}htGDB9M>[hscj܏xDLҀM ]P/]ݴS4A _0lQ0G#AAETb. 5{'l⌁Ɉ'6#9u0SX뼯wgjpl XpkϮC ]ۂ־])>9FY8T=_~M8]tsx HǷ95A|L9Wtn" eDWnecDHH*uhnWbL.=Iadq'nqYy7em`:Ș}U+{cSBAl,F 0`;}ෙ A!:/aCBCN} zf 3mF[ G\w5;:"Q=a@1Ytdh5+5gU vCv/g Zdu? \s-) ,g8n(E4=12Ki} Uh鹿ly8^Ԩ6KF Їdh>h=~zF3*[;UzKTQTm7.M pki62icG ;R;&^tG+iwz᭴ ~$ z(~r5;hKc:Noq CMroq_6ZR䈘'3;@!/LHj)a;R/KJxI$]4xh(ө?)t,d|zD PsQŌGCo踳)5K *-A!6o/>Bx]B4 '؜Qb/)PW&ѻvie~UԵ^v]>K2pިr ӐgJf _}~k44GLRxgrzd0.l+}|tpW)k/ 8| ;@sۃL8͢ TmjIL !QW /(lYfbYLQ1Q:),EvJ߬^omPX`PH/E! h AF SzAPS7gX Z,fAk2)v|}fCG`+nAPJ'^O8}]3;+&:Ou2-+An27\Cy8b<ŦHʠp\AT*1IBj*D2 b-9â &KmLG:6G5&/p>" -7lGcn ݖꅚי %ț ":]kK): m{7=f'aKus+жбVEnE@yqt5r~,3;\'%yzJX!P#/ߟ lzrQIi)^&YPu .ƓOWԬ׸SKi -kY'[˔^t_bO[Z7saq1J rK1^i HoE299;U52Q/um4Xrsl[~JA2RZ`?A<{Gť9t\FRhD.-G`\"2moڳˋHE@!9džm:S $G&"3Zs6/n~YtB%T7J1#}GQZ%!?:]* qMAM_6ۆqއ{gV̙RJ'XЪx̹(@3:cAMMr1{a#8ϗXWᓲyPi6_rBa E0ߡ\q7Xo*HjT$eﷷ5vOsyWMQW;pxF TFfؗ$5{bkrQy(C1HY+_.|E`(܅hPQ.— ; 9+R HmK2CRɭMҩ T`K#od~!C28)փV][nVu_" s!y{Yz V@aA> c8g57a6qGU$H>S.U+DeL/\N5:w6s@m=QESVWqSP5\Fs0A82+:mLcOa( sUt a* hm,$g$nĵ J&b'}cD&vJk(J/Ne^dX/- Ѻɼw%Zj4ɾ3ToU/yuRʄ<* ~=C 25h޼G1_W2?Rfbl!CwC+'><3SupKֿ"O-V h ȉeyU%XW<$!-eAS.Lmx}9!dJ(qЉ8(I:k,!Ԕ%{n* ZSg` E,S<) $P#(#ϸǹȔ=/S^q&BU}#}QdVQ/ް!7ޢSɓ]bi/*R@g~)yy*LC5`g :@9%L TSYBW۷c~i*&v6zI$? "nw~E-5P]+HX T@4)\A:fQڤ,x E?!{޳ŀg8r3.G4qTE jɑEQ;r ze%CxMdq"8p9:LdI'vz| }(H| >{?t)a AZb {pxGɘ`xaEsKi͚ @AvW69tmDeFx1xaM>m:eF(M*:am!\\Y==AL>t\*ty)]v8")X4СC~O{%e1FTlpd:#~N'+öIԔ xI#YiDdcmRhOo_#2[x{ˎ񡦻(x g>~)u"P7M][WyA;PZ+ or] i5iwOl㱙sKfw BFNtPދ Z6?%}OVwmyϷ {ޫlga(02 X#w$` QkTO<F &!]XټGA uPXT1 QO&p0?enԿBVjMD[.`~vv#X~eg8"@m˟QFj_ͧk Qr&[ 6q(}\jZ乨r1*/m?_fڳ8BU,a#EBbRVu58aB-ڜw _{H~NzX6@uYRo0J]w5,܌8q( XtY#hջ%?<~J@_`嶤%LƯI񊏜*|&P@ O6I ᒻWQX>(9͞4=GK]цgKղ%bH9 ^W? AD2+20i(l@#?ӦT R |\/7QiWpMMB] 2 'h7mz<|GeUYte{APGY[_`٪r|@[1QXQ?a2{ܬλ N;I Ĝ\:/(jeӜ&D|o$N<ۈq]7]T>]'-NfSЏS.`Y? p( 5{73n^ = ߞń >й==mLĞ8_=mIupz p9~U\ۮ|:Ÿ“ 6-q5:G0[6]`L3ts_e_YHtq!Rp\PV;mvLn,l&1҉\ :4pZO(APɯwY]Neyc/N4pZDH٣>%dԁLrw|?:z6v6} SH~uC]ڋgUٙrV^۾+9(v:%d_+?̞ҝNr C=3np$wn.~sN_FJ=nLw,EU:|+l z΄p1_ϵ6֌7@Р&]<6ZC+XV}qiMX!i.8 v_ LX~آ81qquT7 my嶮g1@(_UYW+"~9VP#8y!"JdH8^PKEQJTuZYPpC~,tY˷^sD4kڦȾʌ MnmfG4)<.=Z+_mY;bAt%<{L1 3 ^{8.S'! .Qɍg#x !`$j%2\,>@kN:8p^ q'ԷךFRRu2ifdS"s%f%m7 wrO- 7gyV" t &*sґ(,q Fqohn>jjUQ9g35ӧ ܩޢQ_KH`$7RL p.F0OCTq'Ǵ8Ls!c/`ܙ"3wVưz8}ֈs9 r-'P:~85 䥚sc]FP0ւ~J=H7zHlUI\L+rhVfn(sڄ# @K=quM^DL/_~ʍK^7sҲ>c%  QdmzŦ /'FDPI<#%tmf_S+I,[u5]-/;|x4ĄK> fE0;zAֶļخ8 TBv;ն1AɆYx'`A%4kJ BdYZz c|d8Q<?3Df,a{*۸I˩z'`C{\7c5L`R4jGt\z28H40!yȣgޙ>LMh]"+@hݪty?}P+7w6juMw4 O%8^uH߰*䆖rQK-A"`!|R AV_I6a[ϞlU€^>jە"$7qꧬ |bt۩ gyzM&W м` k3Lo$!g24ffhI{Q` "VCkp eQqՃkM{q T6K0 @Kpd[=!KmbS`b̯fs&ŜyYLF?廬I1cWE!wT'O=mr`ٍRAfTJndv6n?[4юB-PO(QF[cAwi?[|hf;NMfؿʷ{wSj}7U9|K04rލ]7ԙ G2 .+^SVRX#m42EÒ qߘ O 9Pvݜa+TV``&ue=+NlbNs_kJ0~y885 wn7q,%}%s\88T^՜gGqIVS# E;y6{i1MK|a|s7z0L'gy :T;)T#A~2N\\IqQ@sx 0]^.a$*)P42wHq5Fqg]aIOcE1)pX]E*04yTƦ:ojH%^2?tPQY[sQ>"t HΛgC HeI h .\!4&0z`=},+{Ye S6<;A;ؽ]<(@`PWaSF{m]YsOnּs bkfS;9랅MAo VۺIAw hX%@.tw{,|m) Ř?k&-f#;{5 l4l*ZZ$1 @)`|M 664Sj=s833Q+0ff bL bEPM0.W7!2qaK Ԃdj %g'a$C%>bWlcy}{ vJ븳UtTk9_=JC&{&1&бVrKEunG3^uqFXDSlOC8ڥ0V;W>@HƴZY_#gnAKq#TBpD4ޜlU5Ā ޺ggZpPmN^@}A<~xE/BtgZؑA+md>Fry1':C%Nsn%xNӾmLKN͗+b;&4I*fSx]{1!=nxlV]7|0hC $vp<:_""">\g _\Eq *`QDշ[yk|- #*\}5M 0i?l J>G_A(R@ ,k!Zar~ sUVGb,<6[tnxLgx\ݵjial oh:!/1EE^gU>6?{@㓾KzA曻`-Vp[6"A9Gλ]8;QN5\J/ҍ{=W5Ewۢ. >(ϏS">v%wv<_M?L!9V'R.:3:WN`)!oPd >n(FZAЋ>Cqx RH~\m!鎓*{ H9Kڒ9Gw3dWM҅ Xڸ11xAU$C$іٝ\ UE]dentC쐭en t.?ޕ=3mܚ/z߯b!ˁo%߉D R ]2޳'*TDٖbY4"hUZG _ 8DrֺQ=G?eRJcRJ>Gdt$:<&HM}"a i!Q5޳\UϯGM )Ixk) d@< I wuG.DȤZ_15ԋle1DFhnV /$#UL.U}hڶְg֑x$Վ9\x%A8l]u\o0$cZ3vҼQ]&BXw(-;d2w 5>yvV1rhDAD-'χ =ƢAWQH4 ,j.LMM 1\e䊴#R8 j jCtcx0: he {cP'ojHN3u &yIEoe.J)1TxZ^& ^K7*6UREfi#α*kz1rѬ/Hwd+aRb d%VWPa XTRT-3XC1r`ȷʨE6BSA *õ;5DR D6o_&/ 3늳ʊne.РK=_ǥ! +:i\| (ԌDke/Xs[K~ѽ^sX>^j|pխR^aRS2ز# 3>hDzȝOţΟT'eReʟ2w=%H6d,Ra|\1*hNТ,Un"[L@cr'ܮyKƁ'ѯN9p{&e-zV,|l>JtטQ7E~f&<"kzbV?'>vQ; #6p(0uܥaݹ Zg|V>T۴L] /66$ňe|oLTP*6MgȦbV\ l}H<-^waȠ@݃ T]8B00gHݚ}~yܘQ3Jߗo<&JDfS8jtFz}pRMLDZIj_'NC8/GGΥ$ќDR%[S: "~A.[яMQ^cȽucd .cą œeL^LzBۻ#oz6+~6Kw݋E*prV*!\A[N]Oy ݮ|q ?o#BQ/; ,B({3;./EDc]956sm.t範0Sn6|ۦ ΃%x?p\χ!%Q;ǚ_𻺴b 5piK-[f,҇YTcC9 pL@M^ Xvf`ŝmjZAPY1DxCl VU.75}M㷢GŇZ\ҩKMM0.; F{1N2FV-`` "nh}mIϏP( '97vh+xuce v>am)J!sr Epjʹۇ^,G44yd3#Ҽz ͻlXL=ۼHZy/Õ~%}ʘȲeYq I {iȘ(z扞Seka$Ζ CBrظ 'Z[2>!4hA`^-php+U/3.?Tu}NZ;{пVV04f '[ˎAo7ܙ(с)0}ꧻp2 'hƧU6iX}7vhIjS>fJpsO;5(Y1x #Tnb/zI% ;֜%GMKp \uUvWYh{5@\$귅'Jgፔ^j!`:۬DJ #dov-X~>u `81f젨PkpAIvwj,ri iyO(-C1jȡ"&er\9a:Ww0XN;| łWJu|s]2|^PMlHhyz\I c_SM $$_6DV.y9+irƼFZXkbzIWhqcfRj@ErwZ+1cds]bT[5H_ƃ ņ ߂7EHTsgg'Lv2dOv!Hco'N-^"8ɇP@$S ]hjtzv^0 ]V%hjĿED{ΛiXy()ռ97r`Y)7I&hR) f-fAA3]>^@?8Pȗm Ix">+!([ڏUwumr'?)s|R>n~1R̼SQEy<;ws8~S7,]:%"+F\L7Y֩\AuODq%~@8H7HX?/LkDornu1;#M58y%dz]SCIwHCRg)%c,It֕q<ۭm{>EVG\* N'n1秄uHD=-x#vqĊQ@5AŚ&gϮ:&Ftt&CD>T͘"*f k} Fh ?#+\cٟfRǪ;ܞ= $ {ҖsmNŴ`|p`ƻG&8NuwQrH>W{ljW>=wΧ3?$?yg#͝h'#24|k'|'Z^+A F=.Q0pU[FPΖ;\sj ̰<և[f9 #IE!cxXPCW0-]9r4ShيW0_YGNID?S,xHxń%6AXJy%KH㚏$d̏[E) ϯB-"SI3bh~P|Q+xаK7uaùl,Hd'ֶhmM4C-U{ :*gL [<дA DOj8BaK=.L"$a!|f\Tm['ZhZ2;$S(,$RS EU.BϠQc1I{ֲ'5a)Si ~'aDG͗F#<]&54v[$jս ȶ5Qtٗ~/Hiz_[?Np !6`2J׿v3 lJU wGʲ ӕP蜧cXXf]Xi #&dA:u%W>i=3B*"L<,Iؾ\ZNQŻ!3/4zd]l!Ĥy9wt1y+&Tℕ\Է1֥y(g3'Żܘ4Gm]0 bNlރX 0%c1r#FC8GDH:JM'$-uWl#tk!Kgu;z~Z/+;QMUk >G C;,x=dƵ`zE |O5ͼc/C'á!ݘe $̾O/aXwj=G_2r`a$)ٚ#BB닠>ݛ r'g³>ً@w[{ӳM9Rbr:Y7Ƒ4' `q_&Y?O@G۠h҆|$# |^DP6 K2]0ݙypa)uW#GWxpU6h#f$7 "]ೌl<;vu!l8=f{2g"r bhOzP|OLH;_>np^]<߭DF=\,5vc&:Z4e8v*µGv@ȟ؏/Fpp%3,"TiZ,ި.emޭWReJ]BЕ4, fIS `cؙUxu]j޽\^\U©'RxҷOq}2 P#!236jQ%E΄w$ `Z o>3[ ҽ#aac\sN $b'uH%|^?JHA.> ]gztlBcު͆ȫ1fC"ᾟW'\F's5F_쪚JVSG͡?!l" c-\Xum#.K_7yI M L&] lX0,] FKg1.NGa> Cy^dqTAXu#=򊕪RJ8Յ fsXd:9;7sfܨH` '=!\Β 5 u$7Y\gO:ɛ עC{d]eW%|ƭ<Mr q*9H6B;ˡ] -(d0r98D!wGk.#THZٷ̢P1-)z;+6}KN!9~42c <,zRr4sx{ym=ܞiaS=Nem7Q^ x/u=܂Ùx`;rH#ǂp;TMb|t רKe[5ǭe=1-\l!ORҌK ެ3.nAo066vx/ҺL;9ֈm=4P?GcfFSCk><8zao95R9]_s atZJ*z8C6Y,pYxۨ$[*ACһ_!$d[сtE>-|i)Ye9\tk4oZhi"ϼYe]{Qڄ B2 cùw'xzqS4^}ƈ<`3%=0v^.mP4 }z>M?}8>Nlb6P.{Q*7ðtzl\T~bMùaU!^u(Qj)x^u 8`L7fƋ[WJ׺dqx ըR䂒 1:h::2&09RF6ip/Z`'*pQ?4YiR¶ݛWirvL}T>+ N Ckʞ驙H ٔ:Rp]GmTh?pWV}Hw!|2ZMkfvߖJE..F_+P߫mE?r.RPn#qXܜ ڤ_,F 4Z"lg<껗B: {lW5 AGH[zCKI7SqM9lW/%Na"չ7B"[0,61jލ$j*20HI1o'J@LW^ )?uMoZYByN6S`I7Jƥ%hDKryt)׎#11;ݹhƗcgmiG#i#Xj PZ{/=W Zw1U٪Anϖܲ=X1vR\Xbſ~;DVi.̲&.A&SJϮLr3ծ/T ) az%jM`fP+)y4%^L DJ6Z`I`ŜMzK\~'bGڟv\q yc;mX0ߚYRǰqYеY+\Gs{Bl\,7Ee8!=rr[j) A܃szcyQi7CR) ؘ-u=>H.DB]:c- {XՊ I%r`Q4jF'9Ó%6q^(>>y# Eaxѱ_tzd:Ȏ,Lpr#ާg솰 Hqr,@0e,f=^C BȻFrbA-9<+51$ȂnGvHڂypeq&#hs!1H+8!d/9h+^{}w欱Ӫ ̯mͮ~A[Sҹ(2NS{}מO3}yQU(_߁MRbz,8S!W-Ɋ,;$ve+4 |+nH:r8VOp/*şت5cɞUgZxӾtoN#4!j^벩hV>dlzZ@53iO,1h,t؂ ak'yĪg#~ް6(_K5:;lIHSToyCV)^_A@-22~+ksoٔ |Ա}&``o89RQ!Jqs&qY:h'vOC JYa_y߅Cˑ#|/GUi{6 Y{K1E)6xzP"4sk.ˣN/nsgCv '6sC6Cov TYn(*zY ~Ve[O~o7~a[OXMnʉu"nΒrb2ԭ4X[O$Ӡ*Wh#Ў؝|M]PB[𴖭s$\܅᣾8nD2 eIl UжupρF<3yW+ptFE`/$'I (|zMS[ H@2Գ" tUk1:phAhƮ6 Y/9TXB ۈ w  aCpR*{SsWr`"}9B mV'2 ߙ̪[ƒ`uO}q5\Թ;]1ٞgBfК`ĩ$@ Z$FYhUAccڛ{R3E>E-EHꋆY1=_eCLs(eN ;A⾋lo[a]D4z`%"ia\-=JvOF6όv[mSHԊSI|6|džje=E<v<N.ah\ހ eȣ=u~4f+5R,^UʱPRbkHWH/3ҫ)!&ŪL>4$vl>&W ̦I6#c?B1ep:x!TSU Lf⵴xk%C Ե %%<jnG5ˢ ?V{giUy6K6Be?z?OwWr~ $j76%+>tk-~!@q"g_o}1Ưqs(rr& ?\1}Ĵ}# qR/t}(ۀ>ҭPBr bŷ="h,ŀ*9iS|k)Iee,hb&"Rn>?4!F.~O_&j/;syﶛ(,EƓ ȕPVm7cTl* +T?/Ċ!E3aOZ=x'>Ǎ@POgysbjZ NKZFU;_7_93|?9bss/^DC)`9wD2%~BB):퐑7 8!rr m5DZj0'[A](#) ·B . V\l4M<nЁWeͲL+ aU:<`nk($dV4wcl4ͮ=YIuj.r7UM7,y իR\KR[Ah:*#F\(=pA3+f𢋃[zVmB09U+)JNA!Y[6ibAv&Cq#MϥN?PG{BCu8y>.[5|a9D3O 1h=HBt(Pim91T1"l9k$X }Ώ$gvcK&~kIEG]bo0'r VI@iCMzڇ|ԏFo`K(U+ナT^݄v}nA([uO9󭬻OMzg!y! ~ we:(Z}Ed򖇽+*z=3郔k1v0Be ҰQocWI X~TC,4vFkj{Y p݄$DmT|d'4h 71z6BGx@57ϷTCh*Oq@V5Q,S%} F6K%LDFt;5}ȱMӵOBXcmgp%h5,˽m vM:tf)ɖ:*R<՟T AG@S yNI|wXD\Y6IHK>/R"ǎ#8t351F%gHoq]@QB .mob4F"5GXjW^^Vhj{$_ʓ.x؞l;uFE]E>@ri <ޡ>)e!Kf0b zP%lh,u(DmkBY; "jY4mXeD{Z:c>]VCX֐C x҅t"Ζqk!%W<D [%b@9PO27!S' l4WNK;z544K&mfwm)V_m CB)QfljF˸vuti갷*$^'IdPZUVHXc^e+bA4jD|N} Z/G(/ HgD oZ2`(E|}2^;xB{:}T ڨBij#ࢗq9ʡ#XA~XL SkȺ/7[eQulꀐOG:dK$?p©߮~EOey%iڹck.O$>Z4$A\%-"(&rܜAA5aC.+[(%o!}Y߾l[b!XqZ?Xq`N2ޢdn8!pç RnyYzaAߘ/wL[lt%"5>e:<^E.^p㖐et,| [Chߊ%)reOux/Õ*N%Ҽ< -ˎ yzsDX!K3+wS2Z??,apMIuR6L{MmL횄;w_(Xe$`&/o\O:I$[eppih\kQֆ~F1nu@F1/L+tVިIVp|!+(MT~'Ao.xUS__ K}|4kCβɈ:tekxl 1lN'$`\v 8JR>-P5r6ӄk.(IGѿNfL`ҧ/\ΕBf'ҩuhjl}̮͜/<!D#RةDˆ[5gy,nuΓs^,_ex|[3r &Ut- 6洡Ǫ99j'A2O?_2I/e .uN뇧vzeo*Ax/DjbиtDrz! A|9qSH5Wۼwy׳ٕφ髖[5JWeR+zcGpx5쮔65;B]&AG2UfE5g&w`Eok|ܥ$G=Ѓy~ObLўGY82ؙuR`7=&řpWY4*GX`EqX`;<8 ( " )9/1]E"s HI[YdF]= G4Vc9N^c,Wrkz +o>c)t&fLxhKof01O#M @me\PvR jaQ^DR'ˇl-/o /O' ] hڹ5 ^P0VudP\7/F$5FDL{fM>Ŝ?+(8Ujl| %Z/gpWH&o,LIM..]nVOp>npXd3=qǁ:/jG5Y_w3]0  0 нny '-dV|\y΂`cCVjBvM :XHсUU(GPeO-ı5@]}HWef EbyY1Rj|cXm >\d0@od!Z}@iT *tƪ&@n1ȋ>}+xOT`ꎼtiSGf0 &:=O+{XʜP3mu^.]oʻUz1c_SFg?EB34REƺ,3&6KkYnlPN7!#cm\E^&s9()4"ԤǪ6q"J>yi6z>i`TKU&D>?gaB?`b5}D8EqxEӽ<Ǘ}~n;rGpgcq$Ckx0Z 2c}-tT : iJ6m%]EWWtT"ɸ`I08տ.wF7) =-x?N$U.[#cߏE6<_<<'}gNH˔%M+."hA\QoNa[T`12>a#_'N?]œ4Qa2LNʟovrs*sD*o1~V4Ia;\e3Ձe A4)2VM9Vq,hFeѶd!H.9L@' Frs qE"e!o s"c,. 2b{c[م\Ia+9-,lwDn?~R$t]ӝ4+gB^2gA!bĠIIM}>SϟOnJdR ra C& y&ݼݬg řu>ʏ$( iʧ\5~)ێVBu7xg]6+КYcsn9ʐHŊNl4 &V'#㋘)UXEdg 4?nԡAgFXv-*J i>#~G.>yfQwM-S7v!+ܗ jSDy>M =fQ%=릒 b oRl!7ouSG%LNBh@|ӰU!=~:e\!lgOfW@;?^˙7w+A\L3E!:=؄En܊H݀l=Hze5^XW-0[=$<t@z lȂ)326a#ŀ0 h14Ȑy ,:)N w쾺gp6fOɇ«OS aՇ&uخ~1%bSIX)u`(^t6W1&Ms lNmC3W4xzfs|[!+xshPJ{V )w4fޥ9~M( ,BṔ9yclb[a5 F/=X!jg^GIپV2/V~!b_PzC (&ӔjIӃ[- q֭k f]lF,WehGZJEY A2üjZgFTvGل" YDz ({x9fi\ ^T&8xߍB\K;}3Ĭڅzqmվ?F1BLO\S~f;vzwW֎b()tr XuIؼhP)d!s; C%xrޣGd["doVq<x޵)}$7X%TcdDanNl6. >̻e޷4inO S0`?J]qV7~/vm $ҷr>GqaobTP%f *xȚ -7JBĩa.Ӌ4|9(lj9BEAYVØ8+Pi& 9gd1 |҈SgC8o|v|'ύLfT?E~'ۯiW@n!xxp4ww.jE944ŤTmof̘?qC0'tUqYB/ :GH$Kߐ7ȁ*R,s=Æk>xdnE͵ #: ZÆw'e@aF璎B3R1+dȄ#;W@2~-v˴r&*buPC(3EBQ 0ٓN)cPj~*mi5:e3Rr7hZ|qAγd/Zw:j`f{Ϊ/J,&'CSjqFeEMF$̳4A#].^U[aƼ glSt%p  wTܷdS+^.U&>5o;Օ 1e` 8 nɍYXm7V@U:>xbt.ND3&0`ʫ)Cx_g4$y'./5 1a[\Pl"pV}] 5&XOIʉ0y[0zȾoT5L @ƹXj?)yv֌̉KCQ2[c:9o;3x11oX~Ś&A n IJ%A5)UXm+o@<`y6!vV?ר8=L3Gqkz-ʡϙDoj" Cge;he'ޔ'Lhdxx+ʇ >!R)hVlQT{}z$VshZTqKezm)"q[Jz?h_ElӲ#$f r/"j+~ t$釾c_]4!!5;%dv [4y7Pbm U#u_)ԏjS2v3[C:%"f(ET, wVB6K;J}@W7vp0 VO!#n)/Iݯ5<Վrd10 7 ĪXv&J H·o`]>o`V O#>3Ig~D~;tH 天}&-ubs8l3QGeu# T49s9R3lZB2}qP=_i{8ڡZ,"_lWu@ghmT,qBF/]Cw1 C,Kjn/>,YPaGJw)ԅРl;h*@h69 s+5?D@o FNWF8v,gWjp&އr'8hNj@Jq:s6/`\Z&~ 8gxF qDG'dnRd&iM ,ѕR׏jf~%=o. Z8F2[=xp(6t6v^_X|Ty6Xi5-qq"T1񁋪2U<}t7Fbn5&~UjTc`;sK~͊[%loz^y3*նT1YUKMI4pTk.+DGҁ`TWT/ň mԇSmoS%M˛ixTa*)$If͑DaJꕋUΗ6 /UڝJrshC:U?!.P%O{"TcNjiL8 I nyEp~0}5# q_S@2%aZcQG+GE+'(0yz<;5O 2IÚ q:/0T;}5r)x *R8YA"mLP䊵?%+OGK+=Å8Z5$֌Är&|)%%BdlƦ9w.#<3D“ +92&12q 8T!J踢po7{a֥Mv7niހVA TRe ?|Ea3kXew/p*6n+`2g6;SJ$c^$`"5#I_4C.(V( 4أΟGc k:x`Z6>1N kBU.vNn,͑F3=t/ &ڙN4~7/=Hn3B1fQ#o c$wWib t_bRGHIm0M"9"YlH~8& _v#@@ufḘxnUvm2(cƔyr4yɣ_e{9 =ᓬZ$}^GZX"C%T.*⬟;FE8)PsUh{ҥؒJk(f9QC̮(-uaK*rC ;ͭ/ʇHurIծnv`8f~RE#濫"$\隣deoaw226򨗩񟱐~#Ho^-_nD5 AMsrO :!J$"I!0g^CWs80èA6% dD=)vܭ<*Ts*&'jFڽzaGUQ~#3;{ >ߢ QO҄#sWc-rqkyu2jVYo<­-Lիn|.N/πc7#1$@HQx‹7AnTn9sX]:U(8kFITWW<P6 #Gj=zΪ\]c3 [y1-Q -iO }$~!a_PJ&l.{ }e/FDlԼvLP`i=! Mٛe:X?p?tJn8Do=tsM,x⢬2rGC1E.> oGv 6ҝ~{17A,hwtzrF9Gi]P9oMw>i t˒p2s"~n[FQلD[8Z[I,,1/}Jf69oP/:.?oҜ-.͍0FX8s+*z>4\2u=CL,#j&f6̢hRUi1NLhVUA2aW.^EGTj#=Whf "r1=Vx K$FG^9r͋ wdW̥@[D33^(VٖNds3 NJ"4Zp1qD,lV%ְ,z3ct-K!Qh6b+C2:;1^U40.iݷīŤ6knR64S&u@9FN 5>^ ܹ|$gZ1x=pq> ӯfQ[YkV|ю;,%C6[)iwQvaο.cٺz166MԣMUXH|4m6.Cy kboMi1_x''JV{+9@Z+[ ,@͡V'7'KZ6lCF גּ\a}l"`j@dAɦ@gWh=pI䖒AvkAߪF҇Q`ztn pNI"q%#oT q `=K!y!tz)xRI6m ?ma9\kt;n<=C,k;=FܹifacTi.j{ p 0'^ĞSwqmEPDK$j(P,!)Z#iKA;\ʀm Jm—"QR!b+h\P381oɬi /rclZP`ћݍsT4$p,)ptpMELXTfojjB'%|ړi-h@/e"|)<_,w}Yr Vvn{8XHS?Q26YYW`gah4%X9x1O͟$aX<|Af *+mEt`K /vT9l-5ΉGü, vw%>GK8E , 5vB%gLϖժOXs|J:οڬș~zyF_te :#צh:%c=o(|Ž5C1;4}P)k/zg1΢M>NEXS\^pU])?b@škWcCy울9ZzE tW @' "%w$]~m `)ݞo_v>9*̯fq"WE;{*֟?'t:$ܺv$p&MkmsvG(}.w~qFc¾s?A;GraitHϛ=7SCR^%N}p=fStZ0wm;@mϼ: +IsJ J)y'/@?)kxEh|I$؈\p?+6}y#E9Df 3ؼ%Si;H0$%`\a]_7uEwv4zj!^v/u֤Xш2F=rgu^rTnɲu[uS'C&/{l AݤlHyykəU .4^r8 E#[\gj]G$ߵgy@iP^4 ᇚKj( .g5>2Ty ӓwk #QL6u9E͘o q6LY IU y9F~ tOf_|^Wa- i[Zx _y^ՋJDŻ;SGPVDEUӷ-'E0vqI*LYy)n,6-ަ ^ I}md7nuV mih]{_># 6%xe86,8:O0C(M >]GD洞ÍI؋0y&WB6lDu | s%z5X!Ɓ( px]JAO/ZDb񲂟>U˭d{pPt9 2+`*^A?U".ecΆQšTf?3w% YnWSW FE;Rr_&Kɬ=f!jk>tBU[ՎUViZpDfjȿrքxbwuk-&y*Rs-2#$-y-:RL=F 6+g oG,{N̏ihC sbVQ1G2w(*铌HĐjAe L hzW̍~82n> W6V$2qPnVt%!V%^ڮ$5dR;&Ia}Ue(ODpA?HѴ'|7 x%Lg7I~c3, xLU x1Jl ةX.I['ΎIYq_^ 9E/:Nd 6-k D)s<"@\2-=kf`6Ht>޶q6M?ϼ 8 9坠Q~֐44(o sm-pzȬjR?L_ 0Sy{=dzigG> ;o!2: ΋ãE撀`vV3eKcI$qDxa=怉i=@>N[`ojC5*.>};WIV|K=7zZ @bY[+i:)i˫|<Z6)0~c 9vB;+AӁ-Z!F3ĺnK J8Jh|ȣaj>Wzx.SFsjTZͭ!_и|͐y hqJLɶ%2|̀/Avǥr?ZwE>`>IAd)x(RzɬX( T[vi.iKpt-Ý$$ȎЇP ~wcN,m*ITʮn~q =]'קqII%!g1w5jK0Z0_ZwzU/>7E@/dQPg$xr,"ɯu\5(H᮴͆BqW ӗD3j/zs}UyG<``S.Ah /-H-8,@@8vM>KDd}  u0!OVkEثle@ٔ@yer R 䒤[ cN,L離 k=l˻ le^ *r!oa\=\0R^G5DHôP. h5sE(9EFȨƯo! Fn%&V;1='Vc;kalbdQP8.XOWs'ݓ0c^c { C4(0Rb"RuN~ Z? i(H~:g}AX]kk!MԑJC@\Yu׃nCͽxC)"})P~ʃ*j'ؗO0 W b\8:萋=DSXh+ͬq+8v'"Zϟ)5bĨ},An4 uuyUAx;$ځ63-;ǔ=Ic%hZz5}?\9#⨛u@"ޮ98X!{JSS&Ccszn]v8SX._6 l8Dժ¾o*CєJLt\^6輹6j}'q߽+ޓMa >TƌIp mHHju^BLS&S&|h}I8uԄ knO<:khxP3l2~Wl{󎙀1*"8Ro|6R~"3kɛ9'>V9^7Ȧي&2[+TFt zh̳4U~Cnt8bF#c$l# h g"@p$ -tQoxbCZڞ@c9f<!J6\YrsH*Q,_FKx: D @%/I&`ySzG0 L1en< LW,ɨלR!1c2=:詗9\k)qpO.,_FofʼnVѿ'Qpg5q^9r$Ӓ/*cjI$]hki]/8,(ATv6 df 8Xj% 4dLa /\' XMe1]ʛw0 Ԕsu[vMƖ\ߊu`u(q}ȇ;):Y>_i^+p-YK"S@HB.425o Yh]a;>oݷʇfw"8 ךZxTu_3$-(_ ܠiha ߝkY%oLF=̅{!qnO~pX$>lM\dQXMGY"&kmS J F:WwK: O&אarF?MỨNխ?nc'FsTy%|>ScEie[.1ӶѭDCu `G՗C>H߅[_c[h5Kk$muahx_(nc`zg3Eޤ4b??sm ]?#:kߞ#֛O Zq*4Ψir5~8 U$~m<0nv3})SRHqt #6 ;vkHJ{<ƣ\4f-Yɥ, GP\E8h\~0A2x8ft<Jyʄdd?$ &\:h$-G&}{\+Ľ=d.+Es/#ݴ VSBgm9﷙"~`'fwV kwNe.saڸ^O@u5]1lAa:84+-%B &-oA 6Y5Wruv#T M7qN\# Qfrr1V;=^cJ/2(F80K2bLp1'Jҫ"`*8p-si;ӻ ɔ-iEw]תToM/SypvW5l^ﳣ0E n4좏#hE+@[J2Qލ&E7~5ؘ6zNLób]B?d(Thw-1(B V]L)Z[h * V8DVyex,|$JhjPl8Z1A sY|1.dM{VX u4i{RHVEOHJb^n`7̉0]1&Y4'K+ԛPZ|k>V\{V(Y(2PwUi~p ׷f8|UI uѴɅo5;Wlk>F7ӷӓ+1Tn#=&EА, '~|%bwEȾm^@"|Je$J~ryc 'g~|;_SyfQ@ FH0J'S4Cv68*HA+* ھ*^`2ڐ.I b|q~=9 oHIλky!ʓk\.A5oA} fJaJ=i}Mk='[E%Qv< X=CgbT -WFBq剕X$,vo|p?fUa|&f'Drt18}yl'פχf ؐƺg>ݝ%/s)x/RDX$<Ly:÷WsGP&,Yw1Gg?l# oc8ce1C +`/,*v?F[]M۾Pt_|tB@{6=h[N*߇Rڻ6 Q۾;T7kYvvkM&6m(bz{:5GEnùAv#a *g:ꔲ$$ $r٠ 'KîS*"<σF)~Q\G՛cq1=eU0tC' &A(>͚QjRMP̎1|0>b :-ms!γ&‘U8]FF{Q;hU|1`A^)bxlCSa(q+S,3]Ct0Q{~%d pbj[NEov̑dBes[ELrb ? ;4y Gmss.uOUKe6KR]_vR&PˤEa?M}.Yj\M&"zك f A:B P]>4nAP0Rڂ&>kb1{$շ'9BSZDtGLAQ$ K_#RsYLT!ӛ9 hkx@1=lF+gqgYZ7zXZִF! ]ŗXiɟReDH$ 3gE=L3br]^}~4{$e_}Y[?_,u\t&41@]DB3^5S[eF-wc-*|#cӓ8mV; HZGvD+#X/&ȿjd(سw|"2QL'.ZOa84c,%566< 3oY ĽAQ+[cUW(U䎯&kz y` \HPʻA۽=gߨO]K#)}CGe0Fۋ!zOnРǂ[@v>WjJUrE4 (#n+RH8~FuR5~Bgı?W{HVߵhg$mxُv-ŋul12:L/w|J=\CNM@f; kMUF PPk@`Kڛ,ΐqm.|A&;g,{fJ|Ci~y1t$GEUOzwDGeG2ωmRgv]\SYkO_4R\WƸRhw;_ɟw%KXTBs$*q%?ݺ?u([ˢʿV" /bBa-'A:* bzzׅoMv9le7>@ʉQJLC2\q9/bV!joa cC%4pj$1QJu )TD "WvZ&2n\9B}.ŏHRs%pxҩ"ȪO*O| ࠹x{hѲԎ\fA+l?މQE`@d 7G5铻 [^' ٫=m|ebI<ЧuSn7Ul̓}L+Y&/#O贑+'$jC?^˚^uS>L˔xB3K+ֽKlgom bK?s! Sjn4:<\_g/d+Oë)k>zfjMpI|œH5$,