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  ]1L|< ]w]Jordan_Normal_Form:threads=4elapsed=363.794cpu=1060.840gc=23.176factor=2.927zXZִF! I]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro m޹?¾&y S.E*UmkHd(w6ATsz.Q؞ ٰ= [yNn{Q 8@ jO)T?nt?OZ9]LKfy4@yQiRsǹƃjw\ ^^+l>pVմ42BTTҿ'`/1 1Œ8T6Z{Ե m6Z][%)*$5mX\ؚ^9o4\<,]pHOnH:tުZM•yw{d.P aaAü_ >moRODC9i`*&2Kr*ddVS xeB{Ffob߻f'@%lUy+auh J{B Tbاt#ߧ_򟼾4WhE q8 bP~7[3Y.]5V\o 2[pLKr3Cv6v[:I[[.dB+P QSBЏ gJ ה2J I,6O4tq 1 Jordan_Normal_Form  ;&]WgϽO470-Π;4ɗ$8N۩Uxk}#S-sh}lnVrET^*6{tSjKBʀcYN*o)*. p3O F"$ƒ ;FXf{. H"ᦢԧI")kniHng`kL|-mXx@ gq/st>,FaSn5-9hRG/Zl;HA,k}q!r+Y >$tGcE_9sǔv2'ɑ"B :"ӈc% ||ۢXɏ.mի;r78&*Q< e^Tog^yu$op>F00Pj{? FBU-7gj;I }f#4Dc s>_=kt6] PuK}DT "Ơ~EIJZ )zAz auri`Ecκף#kl#eu] )/M:F;~rWs!O‡JeVmk #C<SL(XZ>F1nYҹ]!w\(g"'!^vPCJx3?hVeGƥV'/!pd<='Jr 45r!n|]<ّ\٠oU WUKX^AiVY`/ q8Z2bTmh*0ՠwᴛ>[r4 ylώ@#-]O/P얮BA31w#WX'@.dy.+)琸BQk\tɁjC6S|?7Y<ƻЛ`O֣w>N*YIgϤѤ2F̳(G0/z{s>#~,kv#ɠٶh#+94(e7fTԙ'-u3VQ|iC"LR Өu"%לn`@Ʉ?4haV t"lɪG/YK̅,Ėp?iG&5+-NF/Ʋ^NPtƅGu|Y lAcce%5/Ζ{!Nb3W'EVx,]5x1au¡x^[ X9|[*d1~.cr+f%+8HF՝ЀYs],`Qo56%4蟏<'nиYeͣZ-0~9( IEP7ɐr~:W5l 3-8' HCw:SO%aH-[.BuV26(l"QFOT)Ĺ0 170b؁>]Ht._{w;jU2,`Ur7OLڜD[`Nw͢y{r qn/tJJ}! yOirAdǖ  &Xvڍu4#+OngmΦP:@F}3-{I{dUǁst !0t4딹,rJ8rNr6%bf$ӗyJ;q`..kEg!K&{|_iS2ܞ]V#hNRyڟ`&or|vV*.3?6? (JY9_Py.=!vε<&бOPxfBtLi>'tCí7Z j$sGN$l(d)*'#CU}L9*]ĶYVfx:~,|3 ʕ >ֵ ,`il?15)4 _HI䳡pZo4@zMLgU!(wӆVl5$4kՍܦ.(/|zoGm폭yDFac&kϢg }t`_#ƙ r @Nesش ,N"W줖v\YrakSeV0Swrl5H|zI_[zg̹ΜEMS`B,IǵW=&l)>RO l]ϸM"<0=rt_YgЈ>];fń򎰈օQ}IGU5L1v# |X_g.CY'E;OvKnE1;x`ݿO+$Ѵ ˒H>n'Mo'Ȥěi7 oߌr8IP,DH YDt/i+N?IOŽ]u ЪN-Ҹm"J#k6+4aSȇ4(pX6Z(\,)̶ D;xo X7Jen"%q|q<}`=Dm(F>_v8":zlV<۽calRnXueWb\VTO&zG)&ҙ48BeRZbD8"?<[+N4l'#x..^!ZA#e3:bIP6lj핒4qN % ~HtdE(SG- `֪dZ)c-%=Fs4{'h8/CtP niUɴ/X!Ǔ b)VTpw ?"URۮSh*-rO&էϖvB8ovF EM@^:}+`č5hԓMIhL0fF-`p"K27[_̞G)3GsA[*$Mp@舻2Ef$VM6n"1GGfW]yqw`q讗2( k̑C # hajbNnp77)':ABm%V? ‚rȃz\ y(w` њ%f R䅘T'(vm|\t?fd?gcd nK!\ {Mv6/͚z4J-[dUi~IL]HNf?촑yl]D#}lj HX5 kZp!wj*zP}9j9Ƞ,ѢxBlfYa؁qtiۢ\3zOTfBeƽ674/2|t"e%4_UxVgl\4C%e9t`t˄a͹Ps/h]=;dJԋm" Bukb?7. QKdGkTd@kl51{;u%Y-#E;[ XI~0owgHbPnu܃:L[B]0ڃ{hVj W@LH)/؈2k8d-J8ۤxo2 FLܬ oI8 B=ø,N__f4xK#9Ylcmz6t?kl!no± Xp;Y슛S@}o25Tm[ZEX2h2,L>u3ݽ5{9bYowr"g-36Ooi|4#?%!s`d)$[\^z ]Y+|!o3{x1u)@3*莕 NH,ۑLݞSE$xOW 53?CikQ4_Vmj?5hBKFCH'z[0c",g] yc=ߎ8Y`>l a.e]am!1VC^ap-GMdc>[ B菻6d+˫lJfzyLg-&6;&WTG+Cֵq:ڨVKY2a4q&Ս;I؂4 aK4h8]|W3VIA uBaMæa5VZmF|K_eE *JFVև_?oE@q޾UDTF2l{dkt>-ú٣AdƬ}SonZu=xRpx—!O4)mmJwѕ0-ũjPNSdub| p6f#"Rfw>'784zY]5[MJ:_J]׫5sV1$OS2+KOJw~+5YgYZ7zXZִF! 7]ŗXiɟNGW=:;G v{@S%KC֋\vZTj]BQX/`DwQC-wnʡP$ɿvOY㓡)ecTme>/0X?ԏiU0^1HuϤ2g<:c.1r)߰D nLyZJuaNxAkP|۱hMĽ9J|URIOV$7UBQPs Ex ~uɈ4|'7aJ}nsi»/(-CDV`ۺpbV-׹ٱ,(r{V%-)1( LgSF 9ƞf[Tm!$02n!/vmEס2;+}UAmz,BV#nOo@|Qjз+ѯvuM. dAЬNaBE/K2Nȭ W^.6TP@f>ӏ-R/6$Zdiijf>*lY{h 2v;~|cǚfCr7.S~XvM)Oe9Ud-ѧ@U@ LSh)bS:S&Nx4i"ZAU1S+Afb$yy+CH R\UP_?NyyURjU(OoLUX1QlUgYZ7zXZִF! *.@L0j!ziB:(CѧZW{ޭնjzQK|XONII6g.|K߼s [)f gh).uz_wpv7tN ˎW l~?|: ?qT!GI"ʑ=dȓ6l(ވU#Y΅ E7NW)Q͹eDCZ$`_[o4+[*BI| م:$0dE1/G @ Q=r砙ɧM+WD!hS%cmoӻs. uŖsp]HI|G!ON[>fsGL&<V_)'B\^T2.-#}V`Y` b4]^nsOFCPkEa˵^Ɩ=]ӆN} |aLd#'.[qcx]EIy? :Th2ͦ(-&3i1(ƚ0|iD"cy6㞚`c~VBVtN}Hl[k^&za*xPVJx:[&yw$=&&2@c 18šRL)ÊOD¡v\5}eTJN`P(?ٌVCCe؃!V9Zb eG _kz *h.Hq %Wܝ­]77z]k^;w=LfyQǼЉpw!+G;E1ӂN߰ijO"xu\*Jðp|w)_gvz-;k.V̴k*+(}*09A]SGsw6(+sQ.˷utTR,qH';`<bE1W͒vM)PhusGwGtu ܌jtQE|EC/T E2(ȏ]f ROȭ]a"n'I:Z*r>W, v;]Up7x*lr6Gfe;N>>i@K"*b` c2Up{L(FZ̼4FlCgq=D!C5^8lz>kҎ`MYAvWa<~U5^1Н'(ycaT³4 ՖX`ௌW1kv?>=sa*4߻8Y p>nF ܏Ko|iHEܒmazɌC ~PWQw:&&?o WJ$%VMԺ>VـZ4AempO@#Utt%ixOeƴHkn#ƋT;'(H'z ^S__;"%$AUkOSc'+@kesi*U~hɑ6MSEscZ&4AwQ4tT{I]s݅TkIQa0ۢN hZ u%o)x-Ɓ)~b*;9A &9?ufMUYABP{U|q"8JY=ʡć;4T9鬁` J qI&A[¤n~/xn/Ȧ]}8C0zWXe278o2~eЙJ0(B?-mdkU<%Ę'h'2gHM+kcp&u-n+gyfs`~unK+uec,cR/0PɉLjc4e Ǣ-hVyw5R^ +=o{ЁM(  ZR _'E~&V98m|Li EW 8I/,hBH<`ϳ Beܠ8 O U*W8=h"1~m.9&>Rj؏o ) KB;>#(POo8/ s -AuƲD@" &#ct~\O l NoŲ{I]*CJަ]L1ۋs`"E3N:NI4bv)dЊI늶*ćg4alY$dGcxH*:ʢ!t`LtouK|a Dvl2@KmBn*ͯ~.dʿYJI=A;IK k_g`m"lA.B eO"~M$"TpPAV-Y]g(ЛmRkwx0fd%q";J[ʠ𒓯Gޫc&2ݬ d :vD`6Ԓ3MIh:V[0&_P?SE89=S{R)M`wϘٍ3=d?y$nnKkn G Jy A{]eV}c Շ0z)D+^L:RhӸtE䑃}8s Uv,z>Kt[|nw)!~z1K-扥E3RIMc.1VifE3 ~`ᥦ4Bì"4}ƻ~ {Y+gx},&W2g +P."kؑ6K Zw.V?Mzy\urC o$ Jz`ySn( '/I 3}I7&ڿ[94pd{)Npӛ] 0gWtk9SZ?V-A8jYoWSϲst>uk RhYh6#c+.:/X/M˕0 U,l1@dVuE(ECT besEx7-bLń{1,Rpd͹3kW4ܚj3it-?7iݣN'$ /8KbkQ |/hHbn@PT#1@7P_>FRė{7R_fʧk&]|>7eAt(<*ATu!;Y蚕6=[F물b#;o̿)5uNHVD*vIr.+xa=Ve3$?#G  iwghr#Q˶5dSsMLs)JW+~a.N4S[9LrTD{GR "-wN(.$E/!R(Sx|1 bEmiX?}\}1}ے0/N>"FVB yw*F ݟ:L(&`ǫ>1[O1 U2B4%hl][5vHZuc,͕a:A/\yQcAnsl,<_\ sc~PZP~ U_F+8F"0ej'F/٪:bZvv> L $j/5JFci*w<4vH؟ڎ2'-oCiyX G6& QM%ك{A dݤOR'Kdg<*ÚAIZ"0RZ(T1,oVEQHb~9!ZǾ=E\.:^܁Դ$qox\Bt|sL5CΌjڼ@Y4 Th[= 61eHWD)F 5d*ߐk- WH/yh-.c!p 7ZщH]vRCbr ]DG7@ϴʚaQpwY3&_,]+<c}S9f 7P>íBK!uأ1*lZ 9Iu3Y(s$A8)e%(Y8 e!b:?)7CgSа!`'7)׊_LbnREm)&jӈeysn+#]4xt;ǀ() FNo/R@sz-p{3]Ppq I/)7}% 8nDւi3I~|wjn>F7X>'M"2> {zNkYӠ?r9-|x(frC+Rg}u/Ɣ2^WA >dTSS6?>XئC4zNܻ'|حf+0i<z%gC}%RU;.\+qh—e%xZ%&Sɲ$m+vٕ۞mqeDq%Oe=).8E'*Qw ^jB\3!%fi Mr&˦5\%,! %(+NFMH-7DŞEþy;dM}d$;A!.֣S‘vb6~Qk#UtncoD8$8Y5wAɮHif&*v’t ks1`1O ( ~xW*: %8sY: %s9 EeMJ$Źtd$MٓhbzDy$1AwVR.UV S;Sc1kfYRڦ|< d*f'|bg$(#/-i5c3_ȥLp5ϗ/=z _.b-vylɐB 5M!࣍QLvS"5ƺRBݦe __􇻕 GC嘔]Z@3p+< 3-M{]P_/IJ.,NdGlZC fſSo ˗ %i/A㪐vNjYsxS`,I^[DJu.yAnW.lF<<6D\ί=rHٚHG|u=Мs'su+ljq= ʽKv^OTW} ں75[`obSAZoAJQMR;HR h?Z,3cbWtEh'M`O-"!f(%9v1JFŃ]GA d?wU $67w̫}DQZ"cX _ɫ4p5ƸgtcU%t%|?h AcP/a )Əءซy:di+z,2n\jNeg3P/ct+r Y;ٮᬹXw/z-phm1a:Q@ͯ*3U~ A F6$/?2(cAF?Cy$+lE'V[#exzVВUȍr.xI-7)FwAͨ5ylUfs~6wC[\QBt$4ˈw9|vҞ@ȑFΒKúlB=޼ܝ,F8kZ~Q?ˑ ~iH&hn\;0ٴ|U=me\r 0.͵ayᓉ'WcH"<)Ɓf??Q}LA/ǖ 1LDO ӷ ]jJC*".j,g 00u.+0U/o#0h 0EcZ`_'&yGHTDsìZcOH׏kʯIoy6HħsB p?ejBj@8έe=M獞H04 Pջc|^aWWD"izLAwACf7!%%)1=ɖYՀ!]nBpmO-_Z떒zn#>=sB%z,TiVv_6}"_Yw6 oۯJ1 j6D]Ex?sߢɘ=v/du7C94g8 1Z ɪo—QM#hTL a[ k#qTTG] hbNUR}]eWB6y58;Nh+0@T&Bހ9c\- *9 #No-Bz0€oڶNC6X\+#ѫXbXk2щ+GJ#ˢ4Me.Z)ũ׺~>4^ T)Np̚$]gnwff.WIrNxj&VNFB(hJ+ :%c&GD.ʥ?¨d u@w/y$QݟO9+|Irm.r1[0:;uz-iw+iy~.lGRm[{A/鴹YmXZx|ddw\,MfJ)[*P!T>Pss~+.֤:#&re{#ƫP=]bO(;'m[aM%P+^5yй9C4.HA2%&`d9VEm$j0PZ,ijUH/M1V Tw?Wj fr#5sxck  +2ʥ 5QH1ڑs Np? G4m1['wuo[$lČ^R3CCAcO%~TI/䉣1ya!k)}I.2Yy'T|'+['Ȧ9XÝs{\Na_%V{RX6o. 9U$n5]3 Ղ{PW9@+6(]<~ ԰_e"Tt>G*sj;{"گˌ! 1kOktQ##CL!6gQv#d@`=TO Ј&i$yK)ߝ0ЩÃw&5U\K2ܜP*aWBNl:o|o5c6#/މ5W.wS鐕-Qb',\p'[ǖZnPٮ\,&V1x//N,s*w^Id(;`n8$P`~[B9#KC5 ]Bn]W|d)Fb J/k2#%/ґ#JOllzune{8OO'ۺR+5"pW hcȠuihv.żj4 !T8= }XT(#,1VjM¯ʖrvg3%T#2eGqGX8*U'%HmNJf|8Պ<_ZN="Ώk"os[C&^oDonvPwcē.[ U _^N VBY G|kRWл23O.ܧ$ pn =j|EubqD\觉4娷4/?pNdb`g=MVB?GZVo]ڻpƩ7zR?vPgL:r_"̐d=tJ}Տ˶(ZƉ&Z_G:' ;hV=m`'߮(!-44&%uE."EVCU̫ toW:>1 jhaQ̍xIơs#Kjw9* & _bzP7t'DRV$ AAD9X_?h 3 n"z̚C ":Q!&^"qhGnjO58=rPhc"ha}e1v_ɕ ish鹿5< s|,1S7 }STtc-Τ/hS.Z}Fuu.!x@6Uwl/rr|uFI?e/_UxitT|+v1>C#Z<1Z3ѽJȮdHgq\vHK6(#HNL ^*ڢSysC؆>'nLzIIӺyЫSv^M*$8ұ+q J#igM:oY7(;*ß0j{Nf5ɿqP9?n_WRq)2#l R=3HO[;gFz:\l2=dgbI>T Nhf"bq1 pgƽ\0@^A`ȘN@Oo5)?S4|@xL ^*׌L-U5?˸2F)ߛBK,<2azr RVHxK&c9- qzcT)ſӫqV b{0- ?{ Q9NծEf"cNe$ճ9{ m~Z=@g^f1n`JXC+ 2_{8 ȈOCE/Eog,Ԉ{M5ޗK/?y~i6S hVqp9+87 n"vc y輲\[:OpqG!`rTP\WDv>Fԣ(rV8n1 de9\ 2c/R/_Wc<@896_/ XFlbk>vDP40W-ghb!7W^'tP~w /IllB/'X*@6D2w HF[MxTDc@=ꠛsONjd!fbv,9v.2xjgާKoB&$Iâ`7 wAs{ ⳿ҡE//6HMxBZ|Q>|Ra[А;5/G =rsSFTH)Jsz!ޔo5;MS oZg01M]0QDTR+4\u v{:vݭf闋#vV_+@eܺX1KGJ-~OSe!J+ Ͼ8]ذT ǚRPc_ fcogzpȮ݆zj(w63)懳 چ {L0ؾTg!yf8RRe#h:b<I>)9Rŏ񵁋&XC {`~WDǖ i)`*I`TjuR) \_*\;3+f"Rec&0cYcDu`rqTZUݰK.gUr?0EǛP\MTO&>;GrTbljc> 16|Zʢa M T,:[̾TO-T;=@Spbu0f2; v~gx޻!nM+ b>^[zcQC/(02ZwWD?SLjŨEp85F1bЃwÜ[Mw?tGP嘋LvϸiӘe{jTIBmSڦFai/5ÖeVDIQݕ ZzZt3 wFU*.ݚsYC',R,XSNnN h ˌX0Q6YVaV1O“sD L@" ՘h7xZr{R_Kx.al_"3)^ؾ>7N {1kk) )[]$9%֔ ^'_s&2`M!kawԮ[;p^ h&T'bq7ᕿG^ňЀlsO|;"b WQ FћUIF榣d(~C׿j9ҕt5ϛK"\@ p,c+tki{p①ޔ9q=Sow"bГPfZr:+cV#mfuL؀7,2%'Z/LEkU6f!K^0M@B ^-[ E13t%wR"2=@!b; YulGny]eoR -.B\]BX[z0ofnmK0?'R6ijP[vG> |&75_Tq7s0EϾ^]܌ \w^=V0wf1l Du_,r }=aMsaK4˰4j0r<@ }ZT2u&ޜ5.GkYymIƈ9P嶵Z/ ̎>JU7LxJ.a`x s"cNWP qRW'ہU8pǏuT I$Na_:n]^M(^FtuZ̎"|ȳ ͭʸg 31.pTtOSB$lLH ;89xEȯblk{keΐb.{1!ic,c|55B|KK*}׻\@]ɬ yP}+^{Tǁ:JDLxhLc3(z-5;{'(*2nȈ~ L& 0Z>b9˦$?lXg_KBl׳>){0P4x=Jz<Uy ~-uzCt B[D4)h`a$mJ>+W.[BP%l nmi?Ζmo(Jv}7d /| FDvQSc:DNul?8-j?6A3k^4 )4L2oRkHl6Wq ῶT"%m/Ĭp&lBZ|Zo6r)e<}÷\_WiK:@`I zXk^y}cԢ$H;,XonЪ#|w .>ݾ5[ds*0a82 e~Mϒ8=0g WʸD\=cGhhV?X/aݛ4z:d;tE'}*<'{_4Ԟ0l"JUcq]ӛ}IILg*|C1Yn/գ2]Pw( M1bCnV +F6n5uRn40l+]Bjxzo- ϑ5/_?o}Ùֶq"m/轕i Mo]ta% MX$oVo9V>9֞&uxGwg ̭ׯmٸN{INU_C@JܿS>'mu4h>br*CJ]ѩ^ nX2mЯ 7L([t0 XhLr)0caHN v`22EXt"A'fK^p"؅5rniU#ܨ<&x'6:ZfPfgɀ , [*" Ý~&@s_n}.U3JŨ#kU_1>7|JG螳ݣp? 4#(5ʎW$ܐS%#e2; іziD}{\L) ќ.UY[A|:"x\" ,t4pxQMeW]T1 'hkB08GoM| ! 9nLe|Yg$I'DЖ cey<<ȡN'i~]cUG^\ ."=6qBB, &6 h;O.Gkoa'5ԽNDIQ(h=SX+Hnbiġ详3\"Wln*r ؒp߅oV|H6R4L&GA(H/ cς|O]Z1vU#0 <톖?LұW@ ]7)A,ukgW"O ;2\ i>g":꟰-@Dګv1;K\%x>Gs?Ce9t "c:'9"R4- {oVn֯PLcv[D{sb9le&)ph?G#Y-'/[EJ`zO݈U~&m# JHxQ̂9WYFEHd[e+;xB7Y>1!:f9" pцu~Y A6 !;]a8>cWhg5DXmx&яCOcN)b[Euse--R?S"f}{tad#U$|Ν?o#r8w;/V)-i!4xn٬5=” .D=ś8D88s&v"[wF>äpzRYD+2'w!DmM#2M+uv)nfOY,(0:{q7D: {v?&11ʻՎ6ՂO@Ζ'iB㢨ښ*w@p2].hH C<.C'f$j[ ǹL _S4x&4S`eEޖ`XDP{[W[#Nl焼x5I180I( C.qyj-Z;S̙k~S=hho9xC:X| ohmTes߾Sk\7v[%uFH6?$+>{괜×en&^]>v]\*ɩ[/!=f<mO5 +'<υc!`W]\b^{8PnݐzqIx 4HDx!$]|:sskpiIZN?4xޟXl&gX1\4'1mɟ&[鴥)v5sma@B_`ʜo 򾌅b5o:nw]15f>}LAT6ΟIAOmz ^+ICp0"}GR>Erf&r_zDS9sJtVm>*ѱ8 1|07PDy. ['d#{dN%idɂs[ f'%\ٱ06 6ҧe&`e}Ee9NF.A^SEg(ؿY JQA{ (lhRyW[g*/jy*>^7jPTޒ^xDe$oY? i:By,V~Rdb%iXE #m ywO (p`ݥԁy&UXef:$mLE dPk_#'Z"+:E7€=o}z"/#d/R2_SBp%:$󰭼6~H) |EwqlgH ĦC.iaiL1x7QOL"Vprp2Pm@ޤY m)z.RM43YY4cnD#$Ɔ@(@77rnwF @%|-Ɵ` ɽ lPupjC~i?8[#D?xPW}C; [/]A2+//*zL0ZC Y >sC*,2<2o#-غu#W70E%Ƙ]8PH%bXɯ͉_JsIa/:wG]˦*րhBwXaJ&as;3_<95TUfeXڋM=tA/;-2vނaXR m u.?x A~3Gpi~)h쨝,dΑ[UE41cQ3`L"]+u~{ 1џ=wÜCt|x^LR,*pn)/zaXre&)cƋ9g< cbNtS$p$"'c` %銫\ PLh(fQv8P5N2'byNW"+/n}[4 ~8M?ge!nSd5p'JW?BB`F0G9) :q~T)OLc-?ůM'|37gZ_+i33`7v59"In;q⟩iF[wj>r|*ѳtD ,R?p7w.h \.1Ĉ\1rt +:D9X^nshhяcޙZG. &6A+ s!b^ v\c/lp50lp%=f$#hJn{q(OAfl.iS@!ƣz.44IgFfXI0ΜI:]1P ^ɡE=u9/\)_`iOi/ϿF-trci|!bq)V{Tѽ-ɳQ/NEwK~FE]x!aHUQ{c}շN`V!M&ؒ2~ޜ"~{4QΦQa#㊛.JDSNz D5GW}H_)'DS;_{t./hir2rPZJYI {Z~ELLEj_XP4{E6鮼hRlS 6l]w_v9T}4VnSH+պPCi.Yt.?^J-$c{]!ͦ $g$gQ9vB,$6A'މk#Ix3ڋNg̫zƪ{ʼn oPhx AjŀLpe؝*$&g{-/uJEGyW+{ ŘggqRb"`QkG h%Qһcԍ8V%xZgF}4x7<%&KHE&Tصrx: ыEjRlhl*X4BrV8ePQ_^ohonʡo!7*MWx$OFԕ$V3$p}9,0m|}LCԺZ[ ^l_gWkT2(T@dy=?R