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  D ]w Lorenz_C0:threads=4elapsed=638.363cpu=2505.436gc=29.404factor=3.927zXZִF! ~]ŗXf[&}k%]ŗXiɟǕ,mI,1q~Ԉ@m4iy\uBsbrpq?@]ZHW}YZ7zXZִF! 턵]ŗXi%B~s`'cd|ieR*]v]Y9Xud@sCۘ Od->;9ZzB$ddցG}o Y#Ř'n4zX5 p#YĤv~AW,Jٚ%~ 8mjluф9EI[ JZ3R* ɛZN+`FMiR}<尪G=@gZXBsJEo<.GKE'mE&%/ejM[?g$78f;T, ^^3ʈqޡ$l?yK֥ռ=huq=O+{T54WOZ6Σ}5c!j(wN+XHDP ?2W4o Ava\,uT}6c1lʦ'y̆T]XDZܶQ04cۖu>}W_{#ǍOXH6_ /* Y~/ܗ/W\Pe&i6N:;+I:7t!AM?eM ťìa@Mפ }?oB=szۏ2Rg[ѡxѓlυb6nWpbh$Y\V Á'"6ҭw`_%kW^'K@Ӯ>&ho3/ohxEGh*OKDZo i~,:čFi_as?9Hz}w $Ipad3Xۑ0#ŽH1єA@لz7eDn.l| +O.E=+lz5yh  g g[Y<5¾dHY(kubXiM+(`${yzk0zÌE'xtH}E8K$/&)m[:Q\(K($xdPLk)VqyQjb)s/S%_>yO<6GKh3ra~[כkd x6NsHVDz9vuƙ0sټ| *U6$@wL쒾,EQ}C(RM ˎNf8,XbyՒ~}9F7e碅RqD{OsĽ>Wv} Oo+s\ R낹CB|&[Tr8.ca/!فT>6ʚ# QsEg2ǡ.>km'nB1YWMMҩx vT7IJmas턑'1b7ޠyj; cA;;^+hV9ЗV e|K0qeB++1Ö<'wMBhUѿyId8msw$t7n8V:8 <\ *|>(,Vυ+Z; Jz-P-ALsEn!- a'Ӑ   Lorenz_C0  Zx#5Wa/+JP^ay鑁"1m<"K_Х?l%?pk;nRit(BD(/es<4m %9I<ϡ(Pw-%Q _;xӹޞ* fafm-,ѦMtǮEJw}g@HB_h9HTnl&1xEKX΄ͫAea+ ]DNrrc݇MyFči")ܩ/,W^)M %p'A$>mI]ā5-zͪ*NPz63Utԥ'UNrmnt#K0xqOPmg؟8D_R[v̎jZ_Lݘ~ GYT%搹EÏ΀m391,2ҟ .}i&wj1ALv^$1&\&5ӡ&wX\Ou1J;PO@#%mf iӈƛ5%Gf:n5 m?Z߷HJe\|M u[+W"PPt7LO197 Q4nDhwް,t26%Gh^(Q4 +*rhe +"b/%i\q0WuBSTzգH>vdk_']B~KH%G:փݨx{ijג!d2.Y޷r=] G 9Ɗ娆Qi jYFdΰՎkX}J, TG9OY$ kF`{DXKHZ~e f +7kT;`e:[E9$miF \dShLW1h0BT" 5=c}0B&/{\M K-rS!C/ӦQɞ1 ܓjtw~A1< $&';t[_,^ز-(0?!aͯXJ~?:]IHz\f =+Bet-tmYu>du޾*qnd,Kr^3R'C#bv |J%]:f^gj\B ǚ]2.`W چpy&M;<,@NMm{O[  "t!`JΑ5d1r/C"6} eϠ2U ^Q'8?#'®y2T(ž=|,hӜ »/|0#Ry j+I'󋸼ܪX>E2<ƠVFZf, vyZN2Y7X_+핕@(<^ 9/T sO,d-]$'5 0K; Sv5g;џ~MKK"zs \ fM /!58=.YĬN:.A8Fhj\böP:h5QjHq)JƒU2VgڈCB#f%Yxwdp쓊/7_钩+@`k#9nF4`4I9Jլ3jXW S|\r)w.$cC8zeWѻ| d^ÒmkSȽ"PU ǣTdbp#Ռ3N.: 2V F9RfDĕ|+o"~ ށ%ڐHM, 3{VR;o-jJ9d(_k;bn@D6%謧<,>DwCa="jxCS3(QF;U 1Wu(i9kgV|L &^ O{$d|m}%6cDń]"j{o, Bdąhy<YN czP,,'W_2wEW]9kmǹ\ㅣ^8I:? j s0^s&,4b7D^0ކ}2+-21.FN8zl8^tXncֹ5*=H谋/] 4m8] &Htv>d#^~a?qܲ3'ۑ Ѯ>^#GMĚBA/w+F @?}h1Q-k}Or3Mvw]Kt Ǘ:dn-AM PUu Sd8&MB1&NdGl)lYE,vOiUsT$?#kG[.Y{xϪ+j% &(v_d?½F?dvG:F@wibJUfJW /MS}j:[H:cїe>Aetp(ű Z"DynE.ޘB*k2tkNp*dJ̌d_F_sH)3f1GXؿ*A xTϱ A0v|̜#_UZmZS%=qWNs8{wb-}%-~EZW[\2rp&PPh`?5.ACvd}5h7~s뼨~BFʈ>703I:֡۬FNxkt <#x?7z%K^ʿ|mĖZJ= --YZ 8unDT/|I|#>.0iy.8XgB`de:x-'_ʷ@|i1:~Όu*6FÊ>_I︖W"L$~3?r}M6]$mh0[4y;{`7?.(>)~"۲㪄}^E%82$Gtpm;uڿءU`3Y*NYWVy]NWomR%]~6E= +[Y1}֮=ƀCee~\%#XLJ:V"vHxY'S!T[zM'SWQFE$Pf`aoˊSQ'VM['9뺽R TگdɄRԦ ?TsL @`k8S*YHSPH.k 9z5 LoZ^]0 XL.\5C&m~emp۔%!$VQ>)$3Y˾al]XYMq\ǃ; ɂz#<xEvv#ۃHD4a-hv,|b(]=kuP$}{F ELCRVIyѕ 'MGbz$[(p.& jRw:T-lx(Y}ܕŖ]RdխX)9BEc]6g%S/Iw~LJzsD^~L IwN΋RNغZb^YebxG$A~ srO'C~|^+ [rIϊ}oxgOg %֟d`ݿ3| $#=u٨ R(3LO}x9;GU1IFS_ >kU~DUDbC2/z' 5o%sy 6pݨu7˲Pzm5 8h&'O@[H+|ښ99ey5sХ|K 4 v!UDT+j(#o0 9%,G A$3ĬC"QHp[r`bN5SeuA(rc`'" ܿwv%tI"f[={Hč*|RjFe.R7A1C /].Li26@%7&"&ᨉu[^Et&ȭU) Nf4 !8+Ĝ:h5Yk~l&ӆ(Ugۖd{6d{-kԿJL!2'#Le b6d Us4{aߌ#5s$)87<⾝zSJUmEﱿ2q.VLGk.!ƶG jQq7DͫU9¹YPQ-~jT ?] &k4n k`ȘLU:ݱRᕞ> P aZjQJhjT]vƳ%-{Hx '4lXXoJ:5Ἆ1@7%~zO c/"% ;yA%CxlOZLpTh|j V?ГY898QK e-qQh]TOX|air9;I&F?tW _U>qd\V'.=oFE uKQ_!&=wg3sWKnk gV?Rʉ E޽"OvPap"A?RvJ4eLP O+He,$}OW Xr gaHMw\0ܪ1&+_-aK55f 39Qjo!ӆ l\1DZvX$ {jԼZL;!κkWPdaB?-:)ĸPP Nly$#6`[RŖFGvVt–fJ ]GW+U)r@qɦxP_'Iذ rOtW;\Us,N72O̮P\2D5*>;k&#Y!'qdVĕ@ŒJd6AyE%S"qρp]T59(Q;1Ȇxd cT;68*-k*Z Snwլ6[ 0Q0UYJ"FlT6UW^O&L<짚I ~- 1JI39 nbNeZT:j$&8ua7 ղUR9(a, `a>Yw1-M"_WWfwߍk9U;}R׺\#Rލ,UMڼ{Y,\O\Rb;5Ď¥S/FU}Ec$dPAOWLǪ6WF3dAdV^3CM I#@bS">^iX-ۀP߰myӹ=GW'`!NdixQMӞW[j5[ 5HY)5 nKZ&ǃ2uJA2L}_/]=-Pl],3Or=[EOd.W e lK^ZgGZB̜@j~-M}ii鋉t,|vzk{ MeQ'Zzʲh/nbav/U$ :La~N\[6D3SMj 1;8f8-bźTWimilڔ۟/)8 ۞Mĺe^}ȦM-D@_Zi#y.qߋ =19rA #LR?+S㕍t*^74[8H9`U*>[HQAWo9:dpgID_8[AQt|c\௽>=nDWZb<\dtgc! o]E|;@ Z$L" %8qO Y/rTemYqth`+8[3 V|$}FNzn#( MFk2O+?\`K]v@},֨l<\WՑl|7P }MHA2S-Aǂ&NkFt)Ui(W-A )=(Ut_řRq"L0Fi_ʮ:圽c4]]K,oƍhP\KA@ظgw0a;Ϻړ~mK8 Kp3\+,h 6Hiۥ%m>l}G9㱝om_q;-j,u1jnb/ d6Lwi^T ݟ5.a>\ }u=E`]p_!\ `(ڊ ֱ)8]^{~~f(M_hwh2A~|Gh|1|7w,p+@& xcح'֐i!xv!c_R2oHp(+č.-BGcRAFigWG}Tw=9$ uÄi耴6{b6kޥ/kDbp]k5̻J*(]@)BO{qd1 ]jN(y}73]o٨,@  b:5Whʠ=V Z ҆{葮XK v ($ceZcMkS{#ImSQQVXVgZA6Pdrv0I2Fܦ DRWq̬wZ|Š3պĎpfBMy5pULWu'ꤜw m(`,0Ғ|(ZV6 \HdUfꯊ'*]X-A湷 sl4鸪 \i)qrum}Rq <_nA8;= b 0ĀCon`߲r2R?[cRbXċ{eXŃ=dPI;p͔|]e3"kfصi9-HX= s4xM!@ͬ$J5~k~Yl)GIܞw hlhE-ĂOXV!f #MX @]'WV_ћJF Rv'FL@W}WB#&j}9XmS\1yu 8O;~. $$ RpԦG`,tSHaSM0VCrRNI/-(Pn1T/F+\bC/S:jO?# =k wڴgLپ6-2!\ڤ|\ g2Ȭs*Кk=4WGkh#K/F3$Z1&?,‚|f({pmO]AFt,c >zD$Ckn s50VBTnCZC#qzdtbʰ:?ٕB;6G <`X/%OK.g&3nRMD`Z޿(pKf(|m|&UE2/&_^­ DQavu| V.ŪŻxR !̘,"`f 9g#J Yn1Ɋ}_>nq7:n)lLT7"x)]?/+3BJ~rm,&%_!;R'nW0!1WD߭6=Y(Uӷk1UUFtʭ/k=oik` ֘bn$g8#ӌvpW`*5BE?S&Se*dS/yp!DHy٥R2mbd"x>W%J8SoIb k_oEH܀Nn2R)fDi0s^O8gksV}vX }x?|st`{=Zv0w5L&49+Fq+&mP#p;}a?NԮeEc66i7 5q(9>iA8loE߽xB屦oU(d=5TTA7'ߞ1{^˪ݗnaФb& $Uύ|vZ;Q5{j { # `FYZWy,$tvH$kT SMW# _ ]2`ܼ w ƴт9e\28pYoI2±-nyuKeklXDyb9lv%d4+tݽ(=t6U^VCO՝H^p B-ni'#xޞKp\xυA1W2v9UَIa Ƅ(v:ܺ-_f bFzj ðl{xe'zsPTU0&HX6& 6W6|#EnkZ5;q몰G\tc2Ԯi[ o!4 ?{A$WhDz+#n0@(GL3FPǭ?qGB$?wWAzmdcމ-N]}{ x[La?WL/s}[v&p7/+1wңTD9.SjF!/2pJg%u XG2ލmniC7+yoMܨs%2PR)F+h'%oIT=nj2KV,VEG³1SQ@{Џo1e񥩱އvݑ=N65. Ml2r@2 ؑK#0\ TOHYzl\oHfz l@Z fqR3g?h._5s0g<&m(@FUBCW7m,I@ӓ~m;5ny79PuqMc: EdGp`t&?X,fJ&4G> (%-Lgs)mnJF]C? N6z_Ϟ>՛lK)Ѥ@e餴sxձg&X;}PM;9D,|ѠƞrOWIeG>@Z/WD]I(,  8cliP?G L0^tKRQ, R`v~׆bԪ}e`d8F}| މd!\ύ)Tۍӑ.ʢԅ񂂁CV!d[ƶ_GT`~)|H{†8T3gl3 K/H6 ZsMfT"Ev0RxExx2m@̕F:-QU7pgRy++W4.lömq\U܊R[7HTCm&oҘѡXiȴRf;eqgCZylXk4 P Wp鮜X& E\M՘3_>ND"Թ5ZQPP}|}wy 'BqE}9B3z:o8ֈey%)tRh]˷dڲZ\eU.\ݨ1f@l&; Ol 8ۚ/P&B~"IԧkiB<{ 7E{A6vycK"[Ԏr8I(6,IPF;C8\&ᔙ"F=^a?QP*>J@KH%;GL <3].5 % y\8Gd2Ov6p{o l*ҩ^3mf;P,ț3VKc<1tYW;1Jxd+]o!>D.`ю 1w[im<Ɖ"wOUG<%!He{;/kj6)wj~`տI8I9gg2}Z']d5j_wR蓍9;BgU]b&ѾAzL]ͪQIץhy-ʷ-X@J#VuNL,I3L[䏺ꞷ͘MQYޮAմsFv-s~s} 1sY}.< ĄEpX c"] $ =eڲJrA L`ia1c0MV›dddq:{hFh X7a9^'@+RIre 'H-w9FX|{YjQ!45Af={Q>}ڀx>q#UaW_|5)B06iJR~)2/Ghxeu"}k i55rha6Ç;K}6=SgOW^SS2$m ta0 WE'EPTUnơ\g8S tEu f89v'厲ݧN)vf~eÐ]cZirnJL})3&i ;GЕ @Uh{hgo0/%oOײT\>]B/䶋Ig^O١F!ŪjlڿƭZƭ)ܭFd|C&|@&pr[ ,lT[{+W!Xp}v]=lnR۱*0A>jmw~o1yS闉Fz脂 յʻ*b}i1d; h6hO[wԹQXڬt! tU$δ`곰-}3;KcRYOZŁm F3ak;6ui#Ռ3cG2gRe"TOR[!`7^,e 4Aȁe=NWe(7/X;^XU2zcɭ+%UJmYT9'˫g0N 41,Heގq^YZ/.9RQ6RX '_G*c@.ɵM:E ̱Ǥm]TIה˖G`Dx̰3LqWEg2 ʕKoMQP8XB ~d|>fQX'ƧjqF~ R%ȳmgcjuRw-VlZ!c#KRA4g(lFGUTw|\ptgT!L6(oܮ1P@L+'Ϗң5 |ߴw5APӰUeU˞ Fj҂Sؕ1Pe`^L7yЈ 7O`"O99պT`oRyfuމM$Aw`.GHN9_`sӉ{GKSU44^WCKs[ G4(+\v꤃osǹ{VłmdE8!@5lR:%7aD'K`9;`wH5=SkX# .JTM!yT9֡ K9xmi$!Yp9}L-CbҨPj{S0@Go*kD2J>VǤHY0d0)2*|3=T;aJB<= 뤋l]V1a twBZY l@47)$t^X'r%\֟ob0LWgvET(mH2v WtK3p:ݎ,Ιy< x3֘Æءel̢ߩe va&'FNyf[~!z>eEH`wpK  l3C#Bkr3XBmrüܸ5xGl7)$P[XN8{nq֣uar,8CmwMp؀Ω-|n =*0cᅗ{.su :"" !'\mAۻf(؄+mu.Q3KU'GKyr $v+=uΕkM {3%E~]2 Nу($zM-ŵ}zV\cY ?@j) ٘wO :Z%tS8(D"-iKt ܏ށ؅)ڹMkv`!--I?iL/"Y[/Kɟu^!-sPǨWR i ׍.,"2chN",Ȥsh|t6Wqnޱ;=si H9%/ΐILrF.VWsyAWopx+E,DH~%ك0$:{(|<"}bY@HR;1OyݧAΞպ$'{D9=kTR D&(}9OM6|19 FlbʬLYWksA2L ~pK̫å1ʦFзL YA ,H{UJgE\~o2x|{19q,Iv})$E"w;uR߷`U tYqOH~] 쟵eӿ#ic`f?KKpAp筘G{'&nmAp D@ZG![FRJFCLXؖG{̠ok ĜO3FUZMU{0gF[I}@-ZeVp1G_͟c4ș7(5.?]N?.l W 4;u,_@`N >۬{{"MFRp#{v9䶖vy aVo}"Fn⧝xOQ(K5u;F<9:%8zM| Jh}Ea UX, ygaz0 zT1ݽ`{FěrTmdn 47OӶh$r ?'/D"p^x1T(oqfa1 KU! &|FΟ./~hUZR@|10G -kc]{Hw /}tQ.lU5 ʣmsAl׷sE+YfDKZF́e| Y<mBUOďǦ4Qn۶qe }mTJ`,'Oioz>a? 92qP`%Rk&M"gάk4dMfey=8Ur@Ů@moHiX%P;2v&ˌjohM lcgBiiH3ڏZ2ayozH';il'Hg\VM"U$]9M;P#-> Œ/lǫq# +r"cf?ѩ(-ȻY~M[X>BDW;3K4nkiߊ0%ȍ`5AtuvuFEw<*59뼳eo2҅s_A:uڕm|.( M5E{s_5]lnyʕX ae4A( 'Pȟ4}u'Dc ?y׵,*UVSMMR Zu5y][;ӟɖOos䔬qgifܐԨ|fI&Ϻ>^+1?7*g<%%Shm*{-Ad& q{ܲ=w.K3h ܑ|(8ߍc9we&/#n #mѶ-s):\V[vK{9{Sq`bZʙb_w|MfԬՄR~F,˧ !,Tn ?ZIYOuܾ _RQp`e>6C~^ha(|?>d;/w:dh`0`dD{G#O(jQ׍*n3֒m׷2>{[γ<$g\_O{R:=j2'/NU9Uqm&Ca,i5 p7iYe.Ŷ+8}t&;Om%Uj< Qiqw{Q:Nq_q΀p_*c:gM׮5:(Y S(/aO>SJjF)-K0񶊭B^ YDC"'(F04wКӏO汾ډ\2W,?6@kTFh Ƚ]RRQYj9*z `<+*6^"v~UC=vrFdH~}N& *ޑf U|O2Q ]VaaDSwJxlobE)"E<}1zEc'& W  he8+Z\\wfwf>7r'S# N}t3Fp,=;5oty8V V ~%fuHO_>2:/ꃩy(`cI$$C >&su"uFky+is &$C JR~οCnG*J "?p^}4HJگР׹uZ§yƘhi*[ŢpU}㯏NޖJ<<幡ɹ>z[G.쑸JZιMO O=z3Hd$J2ԖF:V˘(ĺD0Do?ydqL-`XJЪ]3[i&}^ I! ^c_GŎ `Ex[ob ~{I0=٧ůOߵQ:((64me\H{~}0\=(ٜ\*\l5vgd`pm3QC5M&T*f[kVp&|jk{twc 6BQ68l fa E`q{6bzI>-b&Cg^/J.~tj=o~P݋r7XG` FYpA\* F]dZBkH]Ix%;V|8.~r#k&~ʿrk\zjgΎWN.1x~ep $N#Gz ty;^>s굍Rl:FO )p|7 /aLiK0^/$_5(&4*f$abYIxfZɿocFʌ]l7(|* &5hx?YaT9{ph y6Z>[t̟ 3k=H0ap$=%m7lNuT.k'7hN$KuA3{`u|0>ǁg|Tכw"8mc:U{Ntex;ԍGzհ28w^u"z+cYȅy\oQs.p ;EusCO~T]Sm9#3~!.׀oó:/Ge(%*oL $2x:3FmbەA%:PeS.óvdj L<' NQ#R3<bk!D#h#Ys /+X ./SΎ_eyIF[kkSr5UBٴ4QL_KpbIvDC]ad n_^'TrF1A~SnE\=&כ(n\C.b=9Y~X D~jêP4w]dnq{4fZV26SKWZIu^ҒͲ- Y2~jGJusw3_tB{O&j%ySMq\5;^CLL_<]`DlVp"sjQox V̓[i3%rJn(ey1>5N90FrmIhC-hޙ@ p҈N3$N%qYc!k|OzF of~گ&Ze5.mxw1$)(3c \"(gd;k;]:'~yTf= ->UH '(6[MpĈB!jգ XM'`:`  jE*ȳ.Zl#2'F!8ZZ)ڇ4yǢsN5cx8= L Vb9wɌ oc_"/l7qkf颽Y0_M_ĖIimҗ_Ea.amRc];tW%?+.N@IZT\m2b}O:(m0o݋_7*%󲣶8۩"~)il)L8Cjgrz%8;\0;<61m LU佲,HLB??@:[ (a6hlM 8./j b,I@1kUIxZrec(?a, F=_;d9Rxg$2{Z;4 N ʙ X0a3h"}l8vJ*q5X8uin/Πhd97^BqluhEP6ǎ H&|ʁ}=b&NkwV\@JjP{ꥈ %n~?oThָU/hc'aA) yc)58a~x(X!r";X&߲dN-[kB`(![OZTRwܐ l>P@+"p/f l,QދJ_EU[bm7-Xcʾgy(V0;]qw֗Lf;>y^[r(}J3i .N LߪJqPe]$7̸7L ߴJ<8۷D4~ͨJ=G2|hE;x`4 {.asLP<WV.?k uOmd+šrno c^g)|dx4}egپs$=Awz.@LA+/; ѝktVn ruKx̥$*Vȧps>>g5KsMDv4el^Gsb}J&Ӳ_9/a$&_kP mCI:kM(aVcV~UAO9v)v0&e * 3rf}QT[)#^gWΝAW l"*H+vOe%n ݓ>I Qb)c %a3#KC6qysq_c>⍕26Ԯz4TO CpȂ/@| *ꃠ|$I+aD_KT)߄z"~tgNuHg[o_g5T%b>;C9RY:OQPu$ZkNY܇Gm8}J; KMs-'3{#[%5iDu,X܋yEX?%z۱|s-ʼnQM `r;;܄ W-#L *bɫ^"(2!5"63n27UCF.q"ʱS{Ɖcxj^ Df>|E oK8 DR[%@rho!"%'bLkxExg[j,ݻEG fe~_mǎ NE  -pk2H giEnë=ZKvV0{E'+:jJݳz~kL5qpyGLRYO盭?XC)4E"_f5|1_fxyW}Kt5v dOu5F_Uo3ⱸBܺ,<vSBlUZxvsiN4@P^ Bv"tsIHA*M$l秅ܵ󛤙: ' Av~=e3M-|CNpS)*8O&nV]̐}*H[hbIQ -R!btuRiw7\[DfxÇR|;urn%-sz- %vÍ'jXmОmX+/$MPOJxaA @7b `'Θ(E0!? +4qzyQ2!L.7 ,AKw K}3=zFHVGA=@4 Ȱ) CUґ=A,5-n tHdm"QX$Px7dVB{<Ç!Y?!TN++<4ݨN +}I5c{FMY#ٜ8Ivm0%=f5Q41ɎM.gaSY p /?nikEb,nFn}Nn4Mar,x!}f7`{O3 'Xk"<J7C_V2bG)x?r IL-eLRs*PJQiZ0qsnӬAv8ORRsboth"ݽtyO(UcSnDlDЙl%p[ܼ$^8,+%GŹ=1`nQaJ{\%c$4%}\U9m6:1Dp+#ߌ|>nk$CebR~V^Is%YS]raUXp e XEdenϺ6 +%ĈTH߀nNYW"h̻#튺تoI k^vv@LnӔ׬݋ +is!ȺDg4GQZ?'=bih/S3QENM}m`YMɆrϖơP/_!G8xfz[/}f#8!\| ) , N -t7ta# (F1 *oA/yQr=lx^w!QF`Qj7ґ'sEQVP)tP1gY|'Dk 5w`kޱ435G;saK076K~^cg=:s9 #gq~P^pvXV,TaJ9M+':5ć k'0~ݛ!:&0HxB);-~n Swt|aROb$_&3qb>̼X(Xl'XW0{c % A}.pg̰] s `\•ByXӎV&&kȼ~*@s#X},>2}8AF,%, DUv~B45^ztA-&[ j 4u!*533̾X)d6Vj,1&Q^P/f9r{8$SjGʡ 2lJ-lUz(f / %脹H!=2D/r$亏,`jMc?@?Ojb庶CgYxUb`ra_!r8CǜZ֗Vh|u ϣ'ȐnXsTHyT38TWI+'wl-Ѻ]Lmw9G02x+(|X`;e{ Iz!ݱl{?bHpf9k?K@QP\a0~d\ 4ͩN>қ wqXVgFs[tLoHDAHE> ?O9hVܽ=7q~(S m6*p>Y lLS0 NʇܛO4Sׅլ%ϓ+nAK8Kl4yT,˦Mv˓z b}Z2WڝϧF;8+'7Y\T9!?ge0 FpXHN>/jܿIGuOD hV9fˊ^I!V|*ge $^Ԫb[>ynj %~ ղ W2ܔ q%\`Mp)JCd-<֝ )A7'Ur^Z󓻗֩_:Z54-(R :*cwW k%}54?R|? S...7%Hl iоQ37$W1SiKoqTTȫ٥ےp<q{D"Rvf[Hѭ!N ?e!8Pw IW!37QM#f,"D\\~PAve*GdG<vR&ɒekA%Q *9sY[Q ;ح(?p?O1RBuH}p*E@[˳Pi4^KrvZuEjU^t'ƮܯԪ|HKGhЫ:yxn({EpJ0OK%Ml a"LH6 j#ǁߥaH__L%7lR(]N11C}{wUO/qN4C&biv)17@%nkh3HgeL*ֽw v+RZQ1ͲG{ c9w۪T_p9΃XJ~? X5:ܦ>. ĉ^v"uT!;*Ns6K@BԥU^׽Uwrʸk\`ϵ|>KuYn/,;,J{W4u%{V go2ׄπ2ŭJJ˓ ϤWxUe9fXy5.w;tI~@׬ RufH=XA{ywH-y8pi{-kS"-K.pC1̰t0/0T SFxzP+"Y!({[7`H|Yj{ 7wo(7A`a,X?-P.%ۆr)t m|Ƒ/(S%{,LJ><$v1~b9k@ڜ{wFNI,b15\-erl-p./Yi`ȓ}_^ Qe-fgO}@U9\Hy1\ TKzK/~LFYyW*$لuUҬ pVp8[R_/I@aee25'̽t 1Np1rt˸:o{rq^ԋLQX2’}")5qÁw2Fbod 7 TE:ǧH98_zMtUKزDCWu} btLusO{ҽ|HI8K{ٯS>fI{IRBp`c xisO8-#YF[H~x(vP<\LMُaW4j"q^eE{,IIJ\RMԈXպ+h)Bs RĂ]vD=TzݎVGNZވAW@6a@RxEJ ݕ5}2Ybzf1_=~.u^8ߠ7U4]uhٿIHU&~K 'I,xF&W?ћ(Xc_n[/"-~NNvbVX奏%Cph[ތqj*yN+0!">:D3 em,H,h JYN{ZhH8I;pDnmteCX3N Υ)=UMg~ 0T`b `f `{ 8^)1ʢ KQVE^v稡>WEʰoM|·dOiR'.=8iM_ )\wER+Or!Z’|>P]u &ߤ-%;`ֵwz< T aX6&CgfC7ziғ DJTBe R6ײz-B39v;)mc]8&xoJD;"t!IaP"nͤ&F.V@yd_?*_gv^vHZVD}9+?u9&h ۻꈼ1- ۢ,z,ZuX45[ DKaQ3kw\]Z_@-Ϣ jvhȔz/BnMI8@Uf&  4X^s0oxl^2&ouPhN5o)"$L$b%TDnl5x~o 8#?5сtմ H t`J'={ m6Ni:ylBqD+.Ň.5|A35 0,1,XKF B]MT4R0*ܿw:NPBUΞ|,V5ES Л.zVRfO?>Ŭmx4thvJV$Q␾q-+e} r/3lҵw7k݋;\:K*POn̡o6Y9۹s}\1rIa8cN薭yB};7-3tm8'PQdAq]рn!PgcWTlҮ^f:W֮{USqQ+͎JLU FNy](=BO4uC^₿8>N| S^./VvD7 =<O5d+qH 9T~ǶHO8U>,dtӲzۅ]D-D$qm*{՘uf[K̆'?fu\KU\_vZAĉÔQ;X_3vc7Ds zXCe ORv'f(8=/iC" ;8\NHF9`X?h ၳ-'P 4ƥg".hmج*臠K5ҒRj )p*pQN P"F(l>O0Dce&#+wqA0@Z̅rOCQqP?}5ry?Ql+HbNt6e +{.JPB\I6SdUK#QML"6Rt_O[kQ0|?%_r઒y1pSgU(t.51)(,ORdԙ%l/,mШ^{Jr<3 s_d{>PP"(@W*/YLkJ^G2uc69߻LixjK-L= Vh3s:@+2{e,Ŕ4 Q{ɑMQMCߙD;#͡WA47EJ%YxJ`TAd\ ?'|x*Y ,>V>{#7m35KY>xI1' IF6E>[8=Q$0u #REEniK #9҉DZ"id/lg,X?:6Ǝ3l' !G .rꞽ^x.㖇 Tș)V7YmIH7Ppo0g3q JG%|Y]Wϫz)SfoT/߲"V̴əj.f+cj:?YawGc 5y&o +~5haCvKjc#kB8H5BHh- 8P jEtoW`e%B~NFmAиɺ`'y "jumewHDd>n*=g2J(:2lcǤfbYrE{|9,.]j<(;(hJL.;4m]t^#^6&ʓ(>_X<=m[?.zūrW|\r&͹?_\5B0ǭ`! 1ۼ]#JH0Ej`9P䐙G@Ӱ̞aEvjLN`v&f}Y-2缾 D01@(A |B#܏tĹոmt H%A3ztԼ]T1TtkZK5L㏔o?r9G.7 =ߝTƪs@|u`JێBlGqTDq =yvG~nRK3YNe ӺyR-g+Ghf"զ⾿zOm+bj^hY.o[×t?u1cԁZY&#iOi 6qa,J @,o HH4&+Zp!g3,Na_eb3ks@VQ=t-Ŵa&0m5eZVX:nǰ)؊4~_3``5(C~1!4A׹d䨭cMFI2hNwMP8~D;;UJ퉤WY,gfA3k{Ѯ2ՏeKİ4t4M,D4hA"*R}یg[9mV{F2V㎡,W(h.^%7?#M>#7M8@685kع<:+L"J@v(^ *' Թ l:cTtRы8sp.֩Vi/zts˓.niCADS=\!L,5%&b ܒmAEV KwX K?$T{ Ug $M1Uhy<>^]^u0>9J ?e cyDfe/;Zܿ;};2+P,+гm~T)|gj,mEu hSףaa+WbV}߁# *XrJ% ֹemwN: ^ocQI.j1!>DVdqCHW):OwD]2,("")d`qO -~Z6G/L]|CBvWW(_$\zl}gSʹxHP^fw؉v+&FH%O+Y#{xO;ԏV[4hRF MO۾qQ`C,}rd)䝰B:j4~4,j;37h}+\5,܊^_:hu#uZ -=Kgh}-3>Dj/ r)nWV}Fv?)^Ò^‘9{(`EJl'TAc}X"ځiV;,jPRy~qj,KhWUb5;.=~uM+*Wfu,sg92r5'zoq1\t* 2Ŋ]FۏLuMA}z v6{r'&O6v^Th$.5pap5D&kP͉zd{ִA\C Ҿ kPAmtgt"K DTrН;IJ(UsPMٺJ4K%w5.dfC+8S&+o8O|/ ϓ!PQʉYPaJ 'LD\s6D5'V5e=v}HBG Q: HS, akMWCt |YE1c*4e¸p%{ghJo0@*?諒MV'ksaڽ+zEyuTjI3M=_g篣s<1)/%F N,B#LgήUpp옹vL1)m)i$@aOC6ڋ]c>BD%!w᳃ @IOGUS] wrcQ\֨ %[.'C E^czG$ gjvuQ dID,PmqyRINѨTHL܀:Dɼ*2m+AL/%8Z_w.0*4N#`CK *X]]!DUV4^u+ ?Kne-aN߀q:VF9אWcֿɎڸg Q\_yuUm"3ʰ`B2ṫ6Nҭ]J`m YWB9_B&c]oq9xP Ӣ^E4[: *>>C~T|2B;_0 G] B'y8)"Z:va ΢q-գ#Gl_fuɝ(_3wi=x+jr5e>zZYm#Ÿ8$T+|$K Wvk?6J pep D!bPud$MU[2u17hmMq+fǛq,v(/AW&[OelA&b# #>R2 `?("FC0Yv+g8Ԓņ&th֒RTإt\@`L<(Mޑ/޲xnYo&<h^6W4fſ2fGoOHDH DeSobv#8$)i `>7K~B>bubVۯo2/Ͷ%,Lۅ!](> nS|I T`%w7^=ȹ'\}gmۥ~*|) \G}jai?Mj3_ʢἧ%67+,Ru~7 94 2{%@QF;Rɬ|+_U1Co%ԩXIx2-hO򃵤l;tyXv)!)8T5__@mlxVy QI : b馒dZWJst]0BHQkմhGr2J0ޣO⼿!/RZ$nkA =+3­0ܾΞ˽iޫ x\\Bxdh[Iy3iS p cJge'T(li+SEC IߠAgZowj%D,,;({oA3Br?lQIXŐm±TױGdl1k)kD^{s}̜ ڽPZ]P^]6l3w4r(vUp; b )Cgy0G<#xGdiՇo I}9c4r57\3"}3ȮBNz8G$@Dz};O?t zD1 Q~񺁅4N+c]P'=`$}q~|]SdlF tm*&ROlGd(?~ΖQ\xz5D8jB͍30dF]y?a>F0<^6rTl2|V)'_ ~"hjTǚ8@YN;ک7۷M'd"8O q2<[H,wk\O&8C+NڼcTMJXhK*5iYXag6SoƝ2G^u5w#cAt-9}> !8 BILnWWIb*?٤l5Áa.%tVHp|j{jH|w#La]apX*jU^)if}?+r9PLͿiAV '5)a22H~q)q a`u(cM$/ %\Թ^3ƕ@ :^s")/`49! fվ6Z5jMOYJRg:)QF;b@ѿxe"ՇP%FxotCd&Pfz1 FË@ }FZN-l R_l +>*qQaAs OhbYMujǔvxX]IAI]y@DS^g9ݱQSc烢i3ښv`g >A;4<D_d MnqJ!O״a/r3ֹ0!p@51.Y;([ٞ 3 @Mz+9QMXDd0Ua R1ġwE~h,e(iWo/P$KTwvS; هّL?&C}9qW^UIa"eنRQy\ 2{- =@YH=io0rV?^avu(!UBhjsg9ǃnt] l:=O|t't%{D:ؐl9/MO8_FgesrĒ06JO6%W5|Yc퍉ZTtp\tʀZ kvKȉ n?H )mf(s-QFd7ryq;wRdEzA]Jj޼yAb[q!s_VBPA&Ta0}C>;.dMX@;aY ap@e"}} "1nGKdTr3ؕ:kYfLbǸ B 0rO[3̇meq 1st7"(d" gg(hCVsR;hD΃ *Ҫ/d5sTnt%ԡ7- Í%.")TC^MSЃe=iӨ!QWA+Natv )9BvB.jy8>v8 TbYo}1ѕ.U~Q ˺m vLIVNcZܨEֹ# O y;G@?XRsV!dfj}R j9elj%xf=x${<4 2-^\1kzONZL&>Ų 23s}GՋJ quQ(tBJͫ@䊠RUX;\ ˋ@p~B*Aȫ٧wHnη})si,z-&rt}EZ]Op4ou$uv;1z 0ItMdR?xčqKumQFsE":о@h¿r㢣\JlP-:;(;g@Vnj^NH\hPHī!(Q,$yfrB,?FL.>t69߹dO# ~pGxH4O.}ف] ]pRRMuuLn|oFP ̂W4|ΟH1TߩS*}!Di&婰DiqW N3$49r9ԹQߎ_Rx(z/JJOLRܖ_tw.K+0-VF}SHAYu觬㴂'Bp =X[.Bȸ#9)rG-@ aW .C`Ɍ$~UƔ[mw)z:<8# _}& QXbkͧ"A:&4푈I%+k kWzt wam0A FS @T?{- R!uRu4 J*Κ.'& /;l9=!*rDoGmpX wE}d-}ӗHiN Ds6XLR[][CЬF$-\5mZfqKr,FW~vgЩ=9@IҞ_N*uۂ 5m_r `Lſo?RL=[B]r縋>[ ku\Ae>>UçwGq֒ߺ,xF3qZ9\ hRiͨ$xSLP7S$gYZ78a1e06447fbb6189f0f64a13abb6006091afdf63853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 0413d6259892f6c071395997e7065d52b3366edd 6a90b3ee6e6c1734d73dd535125ab31a22327873 2f260e5da146d99322d21da8a58e6c30365c7139 fa16dbe1e615b4e7d0eccecccb082028cf694f44