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  L L14lL ]w]Jordan_Normal_Form:threads=4elapsed=312.250cpu=909.220gc=15.052factor=2.917zXZִF! .]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;sl`,239@MF+e@+&ZrW%"lړǼSkty- T>9;\ݾ6@K 9ۘqv+QIiL(+bue_SB(giqў\aÎLOflhf>CX*jW#̸FPw\9 z$|43w}Dqu̴9eY[Knqm+;6,PbZF&#qi". ;wY+? +bB g=ďd]C}q)gRyul+G{qIȟqxܘMH2tA|#m&i~|+lKu`MNXiҝN@d K+b@M#XV'aR d-1/~(dPJ8CA~㙮OUQXMYRP+myW71dMc=[6* qWU&_[乞lpJS=۷?~}d06s~M~oX ;amFUHDoE,k<7 ^tZ?;!䷤ςs7u 5 /O 'MhE U?[ #Z:K&D?r*Q47H@0*˟R)؅  &1ty}A2{Wa  o} #ڸro6d9>: 1 Jordan_Normal_Form  K÷"ӣ&/.') O v UcSY~Y׸˛oP4<5GɄ}|IN=əW\I爖HHYOjfqLcpIV`G G7(@;ZɛX~7Ḹ$|P af.$Ayxʊ@cm$lm+ZV@OY8X1qjTpc.7>433=fz8og,'oџs0wWK(CI&g_LU C̲gH-{0rrD՞oxc Xj}Ζts˜@#L:Y_bΑDl^m="#W^~BR%`7lua!f+Fw=ttܶ.Ѕt9OKdAwv!ʚm.i/t"G"=xV^#t%iMe;Mʕ=u1fpd/LvL+_YI\̓͐JQPSYr_ښ$~_zRޤ`|ƅYKH֟i:ĹRCj^NDzpt1.b JB GK`D !ӻeД2{ͧL~{|&ƘjWDX."?&SdY-,7xgy$a9rKOSDW9f?] d{Z(xX fCT:z _u|7 d>p(90S_OYjA˦GX.8#4n0b"D@9g>!_b%if}5S8f?Я$|oMń QO+NTL}"Ġn`1m`ph&t3͂}F`#s *)9dBdSO(Q',w ^ xh4cTߺU}Iumtx8*jXJ[\9 nզr7H'A/iHc7yL5 A//t ui!>׼>h/? kv3srFKK~<7mƽ8M%ͮdY=59o`;7ٖ >@-6Ťp)mao/[f]BaDִ ZLsyk&n9?+O>6㗏ce9 4]jeKQܡ/'s Y.vN(_YTgx5U ~!`^".>8,8*M Srz$[Vq[&9QCqOŎ=og}ʻu+yOtUo, Qj߈H1"X&0MPgd~ i2R*Ήi!YoDao}hN3m2Ҽf`1BV4HLfzˢCmR;~z A:[im,XWGoNvXb(?kS6d܀4oSȞN PL/2T[@(<#aVOMGs^GR =.ϱ(t%PcǙ7ġbŐ~-9@Ywddn\ ̓ =v NdZIsm~#& He´k*oB!i<L35_љkm^ͤ/|\BXWz*\/;SHw / cJ84 c!So+wgqw |l;EȸNmtZ-9Yp&D!N9]Xi,!(0n 7).!e6EkK^Q`黴4VFR˒)4ՕdBI 6)ۼ+^Жj'MLvrj*aD7Qh!nS9k?>Z5qNQbyqGYCCifB-iF'+Ȟ('+|ڗDxdeR}p!6,qqz&J [/g?Ź=ѳ|>L( Kz59OJ=#Yy!=Yד=18Tm'q4ŀ̸y2 JeƆZvhU5 xRݗ[Ga.;!#|˖\2ܘ @|֯S-[6@~QCvYWl8@Z}K(=bD$VNh]N@dSCMLI. ,+i*Oc 'k}YK;k9,#཰Jc<5|*-(6sǪPuSBk޳OMx1~.L,#k--lFa*R/EN]³SM!?z%&'hX&fN{Q {:&p# NOdNI֩پԤ-ͰCUPr~Rt!s#MjjB!)1߬V6ktyG9}ռ9/{ҽAq32 ۨz 3c2(R~soycDʰOW^k33"͹Iսɲ̆ f9muדI ,5oe4x2w. R걖~d7Bwy xAJՒk#ڿwZ}bC@=DL?Q':}He+5L3-"# F3;/=ɭ.w:EX֐s]x$=B ؛0A(DsMP:K~'>H3TFV8S4%e2#G7P1%+InVѣgr]˟IdΛfZv|}o؈?=WOJ&ZP~73`%AO ivEnY./zNrvTX*:Fk'Y儖:LӌMnP/+mi~Y'X-NΉ5oӥS*<"ʵ&IĤ~R\Hyka#A^W lVڮhps)B 6E|"J Bc8 96v#4[+m'djSZAF0hdg2 Ub1YQ}3'EyIMM|MOϫ4z&'wblы{ͼLy<'E;ZEۼx5^^HBc3k>DL  YEYnkN'"IϏ {HI'39!}if lSxNro;!@k/?/ 8!H¢YqxS=JaDEk[b$nzXU6nPV˜N'q+X}O a[0Hsu^&-_9bK3>aSB^h|*.eU5YuR"9PGT`]\xDTq[䏉W> :w;I(l=BIoU?|]~&LWNX3Qoʁa8>]jݹRbSF{v/F ]lAw3x`tsdטּ)r8:\M sK2x, Iɼ$=]!PWi8Zӂs=W0%@AUÉE3;L%/&]$]kosEǀgFєWuH%>8~ xPP;f)A醽vŠX=fVSӎ"K\8td3j.MM#[LCHDG-cS0"k^؏2%6ZNS4y'kF$h䟏u@DD|2^X<]*i(bT3 UF/!06&=11egYZ7zXZִF! .]ŗXiɟNGW=:;G v{@SݔGl 4ɒqb<`gaEf{.EӤ!:.`.z7WGo5,Kp|T}zػ˂'nc UrsTڢҢe wI80/'v OZ<'o^qޠn٢?h~Եnh{vt^X0GkkA8΢1:v-0'<6nJFtvX?6_q9[67tlyKZ)g`MgxFNN׸c}P/?U"aZ[Pd#tfMԡ",H!^UiD=jG-Xh2{VNsvݕ hG.E"jq 'Dc$s^fBDU)ZD/K T-3zXh[rỐ*GhIs>8i  @V1qJc_`&1Gts4&k ejR ^owjB ' AКX >hh%5jA_| %#={ /VƧ` ]fw iTsҵnKR#I1P&cc^҄H' Zg+hCnpeWہ? ,oCA&Ƭ ,=J缕ۅp8ES&4>?8ߚh~ 瓱gYZ7zXZִF! nU ]ŗXi%BrғMEaJVR|~v˸g};TH,^h Jc}6ɂ虝BLGUnљꥪ[v 1`7l+ߦ҃F9hrB @m<~Z@ٟK_M~u'V<)] KF"AϞ9I;O`yǙéo\_w>NQUF`%Cw=2g8|} |\aMxt\vtjN}vB^؛kQ:dDD卿ʂioOsMݟe]$$ġ6b2=F=עT u;mfƙ/pZeޯuZfڰJfΘh_! Ép.j}^9yw`T"rOx^LPb#@c4C!4gb.9| Ov2%L6~!̜0<N8,N74f(36פ>-g ^\0wAC%l!<ȗs(yIQP7&zC+U %#OOMgy2'Dh7KȖȝMz\2PL9,lܽ@+5ђV> xL"^Ud&ibx-QP(DUS}{@zunb`Dg剗sM&4W\Ve;)$>!=K0Lߺ ;A98E57(eқvδMCΩ350>fX e_XΠ2.^b Zs- WQaa~#|9#fpf &$pdKhe^iZ7 w0l1k.ؠ¬W c6u)`HeP躟 c=]^CUK>#"cL]]vm~ ?1a1Q/d,1nTݹs#(p (|#=`@ BaL嗲yaݣEL(-{_V3E,"`A5=Ҡ9:?~K|e.H;^ %Kwψњ USiJYf.:fArSϕ( [y$9zeϯLp g2ڵi38oe>1̖FeBR.Tz t|NJgBI[nw(F= ;Y[U+TXq"0pVlⴲVCG_2 т%Q1" _ؽa5Ҡm_v~: KWyeGP<WzkGTJ-rgD~aB0"|R9IǜJW#g <:.?(ok,`fXHɛyǛEIOTP$u`hzMy4'%VewE܆67@e+1#z+ ve++!VnK)H{=^>͐'xLM&4QHd-)@L_e̚%&\>X`$q/,8k|eAچɤofufiAR L,ͲH gkL8^srʢ`: \l':`L%q\k*G)T(1&v"I#~5 BOYS=51lhyh0&`-f+40見_!MB?0UwGD-wl҅-\1@eP}6`(TxEJђ;^8Xpލ@Qq|KswL=h& 4 F|\4"&섾@,[Hkĸ6b U@[MD۬hwCvIj[di-۰t)> =iŰ>QYpגg8_Q~!uF%;t1Fo:g΄+ Ӹ aV;cC9ۙy,'n֨$^v xYHiAsiVZ0͚3 #~z݊:\bЏNxzƫ$zc]/o%NXYeΌ;Jrxw4|Sk~zB$?YFt7蟁n %x BIh{q7ܧZ=48W<鱂}8HmS_*AܪQ)T[ dCN,T@kqF+wC0(:}idT; ;$nm#& AS hV;y.̩b,0Cbwb UEyc~ r KI\f.OTIc/.}\F#/9g&sw{;sAM/u1t2!O` b:U$9+tJ:#u"vodW^ߢ[c;2` !1㔐UھZ;ϫp?KX*]QB}faАhIj"V-~jn1 2W7tqĪ_;4SjÄ1-\ 3< 19Y=X\CLJ:4^oqDPMt 4es巯}V,'nh)x9jSגf>ڡ;7'"&9tX:xB9S[W$v>8د<@1֐a)B*BV]H(]ʵYe]۝ŊK5*5iy\vbۥ@i~a!mT1Szw9(pd$^TEh5h=`' &s}Q;J2S]>YJ P:4Χ+ ^[GK5(@A;x.ְ:Ym-i"4b Y=S횐}LyŞ,&ݣ=T+ ԝY'.T=r4L$nTxL-+BŸPg-l"j [=sscⶽꬅ lJ^_gU ZzU:2ONPϓ:vb#TA}~߱T dy `A!d zk U@#JPEMEbߘ"bXaĿ>\d &]1-I}5sW%أ8f|Д$T:U P]k~Sj o"ugeEx9ga1W.^i~/Gw4*47pm*X幀Gm=KY{+=ZuwRx誫Xk|YB>`MoTh&h櫊\aEIMʯH6EylYQ [+"*3l~]SZ!ږ-hNBww {8J@IXcpu%O!3~sf}苶i E3 9 3QiJM6GI-{ۿ6VjneWfZȶ:zT,( b}7ޟ5< v_}<+1@$gIRŋV쁯a( 6Ln3S•Ϟ/@`)'7čf[ӈE&L;\7׏c{E-Q<^5DZqn6w Xzڳ!!]b=gCF4 \gǖ6[fTR@Do:VdfQ/+8; o>xn)4!xW!]kWQ9Țϗ:hßrK~\N3r.U@g߃&0Z;Sը3V rf?4\Mj])s[m)W b%qQY"Rz˿Պʠ*-sU0\2\KM9ETwiwVƉEY]h@})&h#"?+zQyxUI0 &Q|ڎU 3"+^]&{IOW/i>k^}Jt {BMz?8I[{"[ EAq08ϥO[/ct,Dt]﬒rvW)[gdG-ż,L՗t?Ihrd!L8U1)si? 2I}ƗW߱9o{L50g qQ G*~TE%ۦ=`cdF$?AVb@7Im7V/R7o*]p|g/ :F*܁4}sĵ'|6dKRnLG[Ahm xN-d]k2<֪KƜ1=&XiƷvF(r)u7A>EQT]4ipXZZG`4'vMsVx$zkN0'e*m?r <\L?k+{}T֞f,2PxٻZSN!]|svn-*eq+"w`"Vr~0Zc}GiKpsnx$ͥFUǒ+b6Jr,-]q뵶:ךZ!jSx@, v>O@c5CarK N6}!$?.旇:@۔Wqo^AC^#v-EGn<1"Q˩|@/ͦ{sHnupӥ t ٲQLHX({ cr Yi)ibJN4o3~aּvTba`zR'3]<>`"h%1ll ]R<XRdpl`wu ^[boa0 Aٕۏ ݂q"g=CY8`cb317v C[9M' 7u`}>'PF y+o_Oonf0s˼c /7m/~].5 g+lӦ$ٳzTG4H˩tk&sE%>?AGmh+Xs‡m5hnu.a}\^ܹ; s .U"H泹XkqᎮ朙@2BH/N_1#LfB{bsJ,At"42!MO<{X "#"PQ3°V. /. u@nŠ8-eЖmPy. )$yYc"9,u IǢy^8_˲ͳ }e/JT(0BUs=M-e.٥S^LWI/Яc>zaTJuFI~]_~Jr$Ηкc0Αn60q?7gyFm5`ZxMro0sd'mamX/BPYÂkV@7H@lUjZ u CVChrBH/ޮdHBEIvW5*~T,_ԤEAf (y 5wu4̎FF<8[R&i>aKUA~WB[|!խ6qn ISE}4Bi j0W5M; N%Xb'@T Loe|6.FY4vFQn(߭ ɘ]x ;g,V+=`V9: 9p!`0k_b+$ V|aLĄi@TYjAցVͶ6%#uvxd2H8`r-Ӆ,Liw[d:,?R/,y(Fz)>Nh.E\EKH#E`^w5d8KMB=?qU3(Bz3X/{L}q֜k@9KmU%tE FČ7Y(>Ğm ֓9'ʬu(lc7;"79!3fkϥW^<NgxfY~ %Uq"6aO*48L>Ġz</;Ŵ \(_gTnr@P,n:9BI<,md S'#Gv}1++R].p=ƃ?D%nw#xٶ~W  k3W 7ie%hxt/YA-)ccvyhI쁜K:kh?lߞx5-n XLBe}پu=5eong[R|r7Tt\Z  ř`?/e #qĔbÐ腺Cb&R nvê!4wck-* <=U$=$OA;9 e]1M/ bZINW G5Qnj](QbŞ@5 *mhHe ӓ&";V~mC'M&mNmPi~ e]V&L*+,c}=uFqL9a)&BR`9hY8hh8ied5 kgmd C&f/3JˣfZa%ObiQTaM=})c7bUtS;^_䱲 h{~>2 Db3%}(UOȡ_"ÉG=h:élC^p4C`PٺݹLƩRL svrf3z1paĚעJa//^ [2í!Ѫ/,(wh[?KxFvT۰n " uW|ݭǰRzk]u\ 6#6\led{ u}f}G-$!\,W&NKyh\a:2'f\ר"o (cc!Q֢86QIN#c龌 [(fpE~B]4(?_{95R{@(s ܞRԢ$e17_/"ӓgeѺ=lO.)NSs>~r@pl|糳H\J仴Z}$͈d>u:^~kٜ'i *+ 䀨ƏaT1Ś.նe1r$q/%+ jMJ&s_ܿ=+rF= FyӋ ++`#UL5axf4bbOȝlAy5|mT'?sH7wߙ̞4}1 J0 `]:pxՃөiD F0?drgPgE1H VChd6fp7&^=ʲ(=.t"۟CE1"#oX6=!+E֒4G[M[f ?fjOZx s` _`UubEȲ ]NDrE\6S mY"ԾG^mdst]ƥ29-+m?Zx({I(¸ ƨýD%ƸY9*51AAFTWޮbQ{[EN ^ S⅂)>}NmΖJ 5 n?qǹHd= R3j, gCOskpoUj7reͫz.Y k%f T`ډ[.Q;* `abVV{Z95|U=&5?j qR:8kI-y5pAj&Qz"euYC `Xh}9@F\bo@i,fLm){ؼMgꌴ:쫂>׭ Β~#'%˴~NGq2_B2W!Ⱥ;vB?vtmrΒqꙨEwb̑m<{$_dv&:0f;O(YE9{nR>j adv,9fXe{诶O e8rߓ&?.P͓2[”oP q]=HwBs *CV20MdP&]Ύp/V/⏹YfuidY>;$S Z.IP(Oeg@, Nvs9p>{?r>N贘~.dG}Q=ڼߡ4# [XDŽFj R|Rl% ] "Eu (sI)g$Tcg}͆L|6`4#TFux*]p~Tp[c; 0u[TA;Js+u2l܅mT[ËXM}I^ RҺ t\>{/HgxI3g1焑r?V8*LG ;݋B a6R#MYYj51,`Ec:gRu?COJ_Ϗw 젔-pK?9/lApwu2ېZGPޓj,QH)(V=JaDbI4ypdT7>'Ei*cDj oܢm˼u Ǿv|.8lX8zr6usiEχdf"C3.z Tɣ@z *gh(qCEڛ2 *$z'q$]wNGG9 ½5ऺr}q zNS.Hq%茶.e6E`D6$R@Rc`+dP(`hҋd%7ZY%Y]ZU~ *ߒڝtevŽ_epf)_VUHhKW{T& L 0NzDqe3J3Lpx'fm,DK?/U&1kZѳ뼱ymxH؝W>1F[L=;5W(!hf>˽ߤ8B"9rafwz:2+?jjiai7?2Ux"4@bkFB:a~,Əl&wD9# +WW$Ia׵FNJKluIב6f'`}ѵ>q-4g&xo ,`NUYZ'/݄OvS#S'^3N4>OqE۫6QqVNɖ]Y-`uX=)4@U*5-HoϮPhPv>'yn5Mq0;L,TF. YYj_lM'H_ TG=蹭gcEq=#ԫh¨3csx&x'?O7U@cۨ^]zrݛ:i4i+sBi% \W+%EG^AS Ĩk?{,]b?q)ftR$]Odt?l\IdBWﲊT8ttQFWw(NI I;xnP_|QY7V 40(0Szg0qx27~fF ,ogșM@w4 dЂv >@0 24/_5E˧uTeh hn)-ϮQn;хP68׳8b*g)\Q1kGIkc7LPOOƬbW%e0- nE`R%+nMF M*LA:d{L뻷F0  N tstv1?ȑ3>% ~m?(OWyѡߣ֌/=@*ʩl{il diSo2^RRMk |W='_jP $!*L.qZl}'qDI0@s([_;/tW=UhS3Ib vy:"B'آL)t9UHB`/OZ= )E~lg!Q* R5٨ĽZ sۧ3VwtMr/k;L+檪q>H0byknTd]v'3r dhIg,' @eGԆUe۳1mK0RT~'VH&m~;TL:#?#SC GdCY''ߝfMdPDCmjfqc=wjKjgr-j)wG(E GbDûՋDL+Dϒ+p-حԔ_ w:TR;o(mSP5#t3]yO&:H\.qR+*+='pNXA ;]6>*"9k=F'wE*.ڿOW sw! 002zIeA A`Yy42mcmu( zUCbz:mP*.-ȀAƃB2t #=GJoCt+?6S}em4pa؞G.%^Ī\CWg]Iq@.$}CZt#0'8SWyeFW ԚJ; Ja]W_1MQ Fj"UC%,A# t"p HP̢NI Ř%hMBιwHؑzeE?h vY6̯] ,-?TZ> ]8f-XwΦ^"~ 6Q K!EƪdO{x.qjڹ\ 7ѱ<tnWMql;(\-4InU| e:v=PJN{v 4|ZBo ".\̈́InyyY?] ԘDS_T Axa=w. =/9Jʵ¾(0t1.O5 TxNq1h*rS+?Gϲ1o5̓ϯ. y)zoL>c-UTa ;X_D-s~F)@S!l+a]a> dl}yUE8vq"wq][3W#ۺ^/t=ZO0^(A&,3<], ~V7$ٌTf -,MP2,VPK iNM=57$7BTx !YTmp {2}lQej>m]hht=8ijxudzp ] 3nч$9*PdNV]3LCu^6^ǷjU,ݬ 1kWI [!@ޭJd yY_Sպl]3wKNO' rNեxsMu]2 UmdcN .$'\tO'յl9ݗ{ۿO9y:32V]4CA+J2`tMyru`HURUNʇu#?I\!Wqs̄K[-F1 LZ4P)kd$Vŀin(Tft:bgo43MK^>2Ȣ#&mIƚm%%' [Bz=/0lΕd:*\ -ymk!hb6v i%reJZx͘ Ci.+D&TsHmc&S5*rfǍ LS#RW}?u`l@NA@7kz>鮧O3%Ra7^Doɡ(S?);%#5)> @S-1|zrg\D,9epқ UeG잺["}0Iz;OL݀c؝lzpc,i=RߤDT-;N`" yr,؛x)B.҈۶]Vskmzj%rAGyK;M~r0hɍ湲Uq2MY؞z{q|/ f'VNbm*'ה”=μc͗Yٔ8(82!.v"_tJګί#ItQ/?[5c-!'cd 2RxX)/6<>P;JG?g(IrL^xA}w'%ÕOJA2v{%j37-;TJW/(->k*`Zp28$dޱ/ܮ {-2%ۀ9!HmHo*WWm\Ȭ F|ḓ!l_A~ߊgB#yUryߎퟘE25"’7=HDظ[_Jfn5gfAX~Aϋ/V+9h;DS+J"8?Ypcf#EƎ7 yYbVY@F&Q !W5!vb& ]`P}. c=oR"D~* LU^]AFLr3ٸQ~L::_EIow^7f( ʊ*)M}&wcߪ㠓u d)DB0sB?姅Vg䵍cs7 bI=wwXe6#A֨#.(B0*]C+Dw>06Q! f'Sx퐖J 3#yT:uVKuFTՠc *iC5\ڵM.urCi"˂U &x.Rb|\~>:[!U|A{rw4Ip+=X2FZQiFYa>|ZJW_+s~~ЉmsH[3U]7zs?^p>:x#lp(C6iP_/jo?(:rвNBT*M1 U0A~hjģMI ͊Hc 3ak`J*xj?1ۮζ *.ïB\?Zrw4gu!q՚NB;\!:%7pNgTxO~W#<~C4*ޒCcm逰bN?PQ= ϸ: 2ujG[njsFZq؅N} Om'OuLk.?xQ9ˣ*x"o֥l?E?:{qHq~=<-z1p}Bj y'<X6>ۿ.X:6uqƧ`^dlQsOnfuv4bpjR_~LUpJKdLeI7#kQM-8 ?0r<+N:г9YZ`uX^&ݼ/؃G@.zw=Y7 u!!pM*V/;t7t!\4fN8{8XVB_18Թ yÎ˖z̓T*J"<.KvGTzx"qYUR8 }HRue ~U39 (|Ž[GyNTsMu'[sOϓ5@-㌑n; Yy_ۨ_w-5$0Y $rQҳ#1Z XdMKg,K̺kf#Bb~zO;#'rA(z#GYY6 Da2HEC||Bs-7SSLUVJ[QBaS^Eh;wā̗|`5gHt|vXqm!P+K'kwuZ~㭸~c۸e'( b ɪV*>;/*__gmCvVBG!ƒ;oűLY%FvAD]>B4wGг!bsx(3\AUӠ~+15IPK.& q[wq~Ef+㴝kKP$` Ah[N6\ʖv"jؚr[uS"ĊO=?6.X8xlu-WS&y\^Zc)-d/r+'8ȠԪ 6bJaQŽDB!t=.]i[^z2,)ʯާ|q =i=ÁtS41ySDw_Z+>)%iau@EۯG<әjG=jLsNwٰ$9 FAm|+F(C q4E;LY%Ż|DůP gWx;NFX Rv~9 W م 9m>cQp43WVd7_ꏕN N؀l):2B]:U74U g-${0nhm ^tjxqrE"VWpV5-ٰ+b>[Vr?/CP$>jG\w NWoTqSy6|͠}{y]6%kXe53u ߪ&{MpDG#((\wji3SDJp3iW q&mwO#)qZƾ 1Jgk8KMϛi/eܿxa1|@l\O6 fF4(ﭜ޹,#Pli7p*}ƌ: -W'OSWV+ Jekp~BW歎p Q#v RQ(7%ӊCST-2N%97PxI npD4R:1X/6GIPlƥ>`[!T>+rQy; X.':z(Zs?9W?NJLR7/׍X"M~pZ /+Vui\_]0=vOxWf@Fw9  ~FU8TK7=oɞ0+yȗ0t^pD:ЫG;YGmbZԡ,\u%QJz rhKGk~M5[_0[͹!}|wK$K3!6+'ih'*EnUrbQ֫5p! ȮZ❷8R7ɷ ;&/P"qGWs jο1xxwiI NVםU!idCQ_χ%̮b=l!'R!J%ʞ{忊1 Rh>ס?}>liQrl9fz,j)DZo|]t*!Z•4쿦dlg]OPÇ0vJ>$R=ݡfq 58ԓXDPq w Wbo7ʜcH"~@xJ'p[.Q%ż8cf\i j"x~b1gu*D0VDCjF̠1j0Bߠ^U9L?*܂cXr8Y I gKD^4'ahߖ/+69zyy}E()(QϖnAO`.&o㇤ix1Am5Ӽ-h`x<ߕv]O#AzXKJyT'k>OE&M83}/$$پK\MXQoq*EO[@qBa?#p'lU-mr9!mC.BG4K!M7:~ =$ Myw2 YaCj(, Wߢ䢼 >I]q Usy 2خ䱩=&yme{ 05Ns.Ab%-4 S tDP}?MϺݻd9 Qoz;YWDbgl9Yy =l[:&vA2*Zٯnfg3(`mdnܠ r7Io'58$WL