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  4 4(1\tL ]w]Jordan_Normal_Form:threads=4elapsed=319.496cpu=956.996gc=16.436factor=3.007zXZִF! 8]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro m޹-p;u|/Q\Ǖ$wě8Wf'xUM; i&6u|ht]6sN7ql`.iD?^L=0r޳˄EI\(22)d| '&vy~1-so "R}~5jzD۔c @:V:F ?Ir * >7 'SV6Ov&$R-iv\83On+SĢ0"tJ'V7/l}T$.YRkjǼfOΖýz4|h(MaZ6$IFLN^;2jyu-\x'RColcD:)J9걥L b*DK-"5&dV~?LxowF$3x:?{ж @׆zlZyuCi0b]iqrؓ/z9DU #>`("dghUR*tӡbtŅH-s6ל%\#x3? iN|,4K51uahI["jZT%rdRQ%$q:SιF#=$t kpn5%ci ' tO|^ϽEUROA؜o.7e7jꨰmG"nS(k).WDu=D$#`bp,`c x56wYcd:\ E$||d~񫮍_<,N.͒ӥ失֔D]|b'^]e1 >#;JAWY5hH!\ &o?|Ft-tO歧w.~p lu6H@Ccs yklE˂/ Xjn/Z?h^D7X'M0`7ۿraNPG/ Cӣ D? `NJCdo@~!?ܠ*j̘D,dG[`W[]AIh,dmjRxA?qN=pbQr]ҚFĀksM{SfsiH=y|r[|$zd}i?[q"9@  1 Jordan_Normal_Form  E?"~z4t LϋraU׊A|[1[aly] C!Ż3 F_R55D ?266% 2IG'gU FWeUbS/`,$kg#8@8@B(7IrxgB10t8tQth\VNy3R=|hW3,-ZTT3>spIs+7rℴw0Y~$`T*Q0,ϊ名Y2W,ym|~^Y-3g7mSLbZ&G^v^0%h$a~Ijȳ2&܆dsz%r`^fTW7M oLr¦u2`{~Y%щjIvPBCA5kg ;ϱ(#hv!Ieo<;U&cp0#1c-FFrwBN P/:pYA[Jr&զO`?' _`FQ ݘ˽|)rBB<QAsg4cGI._hpyI(. "h0劰;͉c8#NCV.+$GVyvs-a"\3~,)CzEwR@֦_rͨfɨO.y?/O R-mwoy^u;VYR% 5`QeRK pi|L)@! 2Vs?lMeXH*jq+hQ%ZAI#@R);8+DkqGT]<+G`:N9#hR9y8=eVHY uPg6?2a ZY , ˳I!`wls*ggY!B {Jh֘R)áud>"+HP~a t m]zL[ PVM@>䈞xЅ2K`8 Ux56Qe}`1·oV%9'ͦݲky4#.0AՊ=gEoR-΄ޖ%eKѪ."V$"5rVaň(&I7cӞ@h '0İmAFW~bÖ7i G,F5L< /f JrAJYs^6Q8LjE^fH1s<`.Nk*-$3.,eW"'"QS{X\~hvHhr[Lr}"͂vU/cҽZ9?ze4Q) m\Hn}ĎesRMSe(f;rìd4̼{}e,.#Stw)2޽MTĄh]%L?4wOoZck#E&&eU8&VSLc31zv\'Ճ_r2G l¦ 8":wdmTu^aKYm>liJ06.[ylmLʅwg.A9fp}0ٷ ]8]*7ОW33ΐU 3C1X3p㜦w影_BGXiemׁ?'@M:\T; 況6pxy"Lә5E{Kzbk ָ;cYYH)tL2U&3dM<%;ɣACp^?`8 JAvyRZ\1\sg#tH˸hqVŶu4կ4Wq^t0p XA.DQ Kz1v'="@Ou_lc@߶˵sLMh& o)͡`=zuΕ뀃37ɣp8% 1kk !l&Y{F]}hKyH^Qi6)AK# ">1.~𧅴[چ6T gnK]6H2!y?c /sqܥ\At?@Ħ(v[n?r #50mN[-͹pV*$``'D|=&c~dk@nyPh/u5hnsTSVͫNlc0LNN6vQ ;us]-=GKni4B2cZ)/_t|Cľ*:'w0ud`/ogp Fp;ɪQ '$[`[ч!<_T%W  \8ZLR #E;VoUq& <~"4 s |`c|Al98VlgKЁ8T?(>4AA/-F^Y .\I4ۍxO 趦k;_kMƽkbWo/L$h\%;T%Aue0hhok_U\U Xזs~M` S\0 (_Z6->Ril~?p`XMņ9%av#5°5;1$N(PvP}!$1,Hb1B}iC^.a UQ%sΨ^UhY؉ZpI ,!-^QB3@Ii) /*L;Kl]\ !P=ǁ>2Xe4i뚠W=nQ%Tjb?piZiZt<(;b' %;BĥD<򊔺$v#^h_kh_.ܗ;gTFW ;!.Х\cwDٺ"5YHT9{m1TJ >l}[ձ2Gcc(dZp !x̩SoNi|QXa()(Ö+x'Ws푶$)4t#4!<[@h2՚b$zKkk+vrbP%@F٥pz/ضCҎjkrBn' &=:O%NXp+7,x}dbE'GURtŃcnA=0倛UV Ze+o1o(9a}`IjyۑK.^,{-7_ßpNjrBz}kZ&6l/qr{KY)Y |Alxdl}icv>st9_BKr F y C=g/,7tJ"\%o۔飐p.fi -ӮXҢ.{KOJ _c+GYL*)B<|)L-} c? կg4^E"|̽Xl2H!*)ϤړG-ܾ61n UmŶhH@OW4 RĺDNݑ695;&ْehqnu+["I]yP]X٠ ⏊.w(ىaxhN]mɚ$W tΘ.{~!zL<+ Wcٽvl@sgRyD ~ IE?&Y[{scrWcҲDMc~\?lĪ3lxn#[ݳGo75EwI虺Z^0b*"sWofVJЭ]Ø}4R\0Jη{F\AMyFE^euvS-C .YIn/PEWV8Td2{?YE)'c.Q$T%k>Ea,\#Ŕ$Ӟ,1+o1Pc™"h JY5y05z(A[v68ǘuD  I p]9jʋY%Ȇq=6_Qg:iV_t7 顒a4?0^{urH/E _T3jk$ǃd? Ř;˿$C\ƈ:E7y֌TɺFūK+y_Y?< s4m6/8`ƯԸ"YhD\zPQB _ cY]?Dbk,2 %z N_cnEpk,dږ J.LnVVW|kT 8KWX2dEZi =pR; c_Ҟ)sJwӲ,>P^Upq.X\޹נϐefq$BF9[b8؍ӯvO`9CQ <+ZL-bYvUWƭvɷ31v JPsQII}B,0תݪ> $P1[HMR_-Y2! ~`׊†zH M:WS4Ѡ =nK&NoG,?my8J^Fu;z񇆴?=>:ܷ}jyc6/˭NdzNZz]L4z##PMč;v!‰pP 1pNGU'IZiaΗVHX0Z; b- >;ucFgow=Y)Հ!r_^OH '䕰}SVhA/R/zfl~XlfŜu78o\JϲZ07&oyԿN0$rM]pyvFI8Kn"?d樚> JnJ#wf Z}kF&>NH]*>soG8 I{ﰙM4"zLQ08#qҜ32Ϡv\WlH/6ɂRYrV AjO,Ru#Lze?9#ݥosaLQ(P[9{ZFmF7oΦQ?u! ,g;I{,)az:qQ^뷧ѓo HwU{ :=1T:cٟۍ}gYZ7zXZִF! ? V]]ŗXi%ES324+B=~"K @$mƤX!Jtbi˳ B%U{:-pBeH7W7,w9Yˆkk>- $4z0π)1*I1pmR_OX˖gP6:ztbF7Y0ٽ v8`G p;Q }zE\vmls+ xj}ohJgUqU{X|X@NLW2b1K~ gMG^{๔ًhhk֕}5Q7 ]w>#;п-B֙j@6eI0eQLrr(e޳BdpchwVQ>6r^`krL;  vlש48xeZg+VDkt$\`n 2r>,Fq7Mܾ HБ/*LQ,3ܔ[< MlҐ7qxM!' ]ez/AͿ,Eݐ~.qbmSla0wy11'Ǐ6 Wέ4bD kL3yx&?ߖPeAyB:`CzF+`oW白Dv|HFqQq .4<s ҨFb8QDk䱗v^v p;V]*= 5PqaD/FL%3;9R^;tF9mxVl,pl1%@. ;MCM2@ jnovz %SDZ'Qwj^Ug}1Dv3_`yZգڪ%rFXN3*Ў1#S~Mʻ,܀=L jDR,meMPJůYK?y Ha{ )L4_h,I/{DC^ 1 fo+"kCܾu8I,qXny-[zP2ʇ{&o $0F-ʲlxΰzg#_ %wX?=;7(tNoF_P-8KeT/_GD@ۂAq*U vPn;1 ܯ` vjVv'n7a":4#A,X&/>B9̮! ˷ΓP,K@X2m|^!˅ ~ 5F;GbQa%yu qgn# MZyVW t A@aWj*N M$3KϞwqy`LHYvWPH,*m=iPŠam&0BYiն|&>"idfS^eP.-\x; HB]"Z;*V4045Sj3]874d#5vXڤRӶqy U!qetWzNq$aĘ(EمOx:<?aQ^ ^Nl݁;jRxNJKH `T4oV_1 <ǜyrR&.`-0?pe@y/mvsT ՗n(BL:V'l6 Op-s:h27\ fXz蕅v "KHҾ.džr#OeX^A~]mqW7" l_ [)-M z^WkÇsqV`Tp5u&iiA)8&S+Db`/(-l+9rY&n_c0WQ[7@y<ҲL!ePWR>-n,EZBa5t pjï!.QjiF'QA>dv. # d<u·,JAnWp_ 7nb1:Uev_嶵P XHoeR2ƘI\slfzTc(D};rgiPXK] ZE4ePi |0d2$5=(Eb^npar2H7g*v@O>SRV=4NA7~U& k3n[tr*ϓ#һGEDU\gĻ۞j,0Oەy"˾L>z =xPYSũz%18BJ;Y leE3QZ/A&OAbfo2T""SpKNql) ngY RQ%%@R9/ &'ⴳnفӪ6OK4( z(CziXe@lY& - _a^t~_!Ҩ-"C~‚WINbG l&bvGCtvHHڸ!$UrtY쵠='I,\I9C0~GIS {LBŌ \Gc=4m7Hu_ dSi8xl'؛ +sAx6OC (n"Aneݸ~K6 6߉G&Nl~k7\v$mԚa<UCtxn KPi'.F9TVg=!唁hL9WS!xARcAMؓiͬBBТM#oDj7HMLL=VnG(6Xw1:ٵDEEy-%[ @ "f ؚÖN#7\j=v`M`һ9xI3m@OzK][RE2Sy{<6:R9t4['`w_:M*|N3y0YX(%Mmǔk!gOA8w+!uRps,^贡^Q-t f 5: ]ϟ5s>yw#B:^>'YK}ʏ=F iaʃ 6M]]0͒ogn `\A ޷EF :'XMI$W +SqqpC/ZT^vXgR]pcΧRⰨQD:{eD, /:_u'^G2bNeXsD_ō jhf}9P–@LEol,I*9 Pܱ2$;8daq\U"Kfm zr+˫FGg,4mYDK.[x14旴j*(L~|=A?WW$hs A|$ꢣ};ݨgxݢPYPGI}9o23WI1wIJPT"iD17d{+1:i6dr fj  $qq0L[;#Oa'i\p?->#4wjz_S7:},HZ :VG.d5 0'}cWS~ЈSY86,\'lIE .GWvS^XIkL#@7 ^huMjiRYykQh$݀uc4JħX n|m痜jp|VpsD+!,wqzWn&?Zan f W)7(? ښVS*r_sAza^[,JB 9^]U'C]:ɇ|Lv!Ypz$WҰ{lHk93OKftNExs{L7(` +`awaQ PxBM&P5J;wdPe@'΍<|+c!f+RS Y& 1:,QE_ 7 ݽuo+sKDwn'lhs>+,W0dۧaPO{sJ =j^צJ+Qŧv0R#`'S(^?>-/n*jhҾ0H/ӆ, @=1 v$r$8-=x5h³FU#mlEzrS5AB닾f] {=Kt{wŶ^̎?Ep+@hpOZ+C7o[y}s DK5Pӓ0hkUZĤI4-8ުɓZ&tk(ޅ:b H DZNC}"H^ڼ8[[G晷neL:1mi.,+""`^@8"K&[ca/CmPqK>-D=547լՑtizA`q lC'^U3?n@=Ҿ r)g[tHxU:ܩX/ ܄lO8RGWa?N2Ap9 #4 B \,6|U֯np.2XJ{4yg%ŭHC\Q#b4 CV6~Dœ>{QCq Y 'v:ue%}z= LUi Ar{pN삨XSĥPMѦNmE9y.OI\8Pd]F2LCs2돖?K-([v'*S}\f֩0_qbiYiWsir'00b?";zBC+@g5\Hf} &L~%cj[ei ) ٮS#-hFXd252&Z._B ?̄ v94ѓS< M[Y|܆Gl yH?HNPΝz$??(7 A ,(1^YƵݭcD.48I3hU%o΂|j%_&Vx2zioKUd0Fu"b*Bدj<@xdV0pÚ: yC@Z-e^xFNJ,x #Ή“,+(eh3dG/l|YBlW^I? Oh(ɪ DY3YN"4m*oWV!D kvK .-!<ғ?7LUfQ=/# r_έr4RUPh6E1.50 wUN/r>=QB Me6ڋz6w!+%%Zij 2\,;& DĢ&5 ݞ8E3[5Yq!-r&@EoadsQBW#^暈f@u0m̠\)X8̉:IǬp[pG]C,z{W3 6 So6x͚cZvk95i럕˛]3q_6 3hBf#t׋R#,+5yIVhiY@5PK/" N{#ӹϑ!/ Eh cU,0;TQR[ش5{5<~ 4gX nDNB=9Oc:nQB*=yBP>IV%2ڈ; I"vK]j*BB]$-^A8"mO, Еy& iYpk|@z-Uâ4C̐wߙziҝ3Fe^Mh@{pcٜD_.INKqaфLJN6_)\ 8X}B,ܝ̂"OU8F8A( l#!2fIXA#Q;Fe"-62oIh87ȑJ%"71EE'*eS S2 ;_.F>82 'lokt_D%Û(fŬm/>jݽwX޹X׊$-?YH%BmXe`}JMG;D#:DHL3X?q YU=Cѫ9MunH+r4ttw, gvyD} QNEtKV4Fu蘨 *F{ [ QYԹ736h?xz~ ʾ~:K 'r}=\ekd{+;x?գ/gQMg^G6L. ckAjtcQګ^OskWEJcA׳6$ě,Gs;%u2y&g ﷾M%,Վwa39㓨 ugQ;'!C T3R9&ClGտ!xUj`lbPeMd\;|n`Yqr8̖;֮ R+`3h?=K\E2t Kӣ`B)Cg-(܂PGA|hګb{q޹X.5'N& -WB9 h%x}ܪn`0= dWB >.nig9n#dnMSm'Q¨? e*OQWu1Pܯx =^t( p9B"0_ 4ӿ߻'lޖkL+o 8{ܪNC麎KcӴy78$xoe_j,bʫ HD Dd6W1(\DX[v6o?Nq;M ryդsioe=vs)@B8]vZ6$YblyRQoOTѳ<Ĉ%ګPͶê6 mtunJ8K gOA|ߙdLVU@8!%Lr ϤwZ>oх l-rR8&K]a҉hs:v U ՝cдUfnV]aѣEudZtJ'0R pCO$w M<蕴JM: $[D|g{2ٽu?k dlt@@/l-_uN] 8dqhro}@5T[6ԧG })#XP/=L_$0hrfT:Va'dj/캻% */ߜ#)uogz3 /35v.^ʼn/0 jvX }LOSsd)$ڣZ1ly+ c0W#ڄf6Bp8--9m(\!D?qIh!qu"=`۰-{8+ޗT((։E9tIO4 KRHWܙ#hoI+'Lm/yTn1 'ެsҚ}duAJ TM~^,1Ʊ Ltt`V_& %`Viv0tsC${2d[ZOFxq01ϓ͌٥\(ٕUrlcikai6`c+.[?ۑ@}xn~7 VCx`ɤZ5xȳ. ;uZ2$˦J'&.uv*skyi.c)UH*u5?vBGb}(xHc73}/\GMߔd/$'gK6Hm ta:7]3望=m=:6NoԤs-+MX?8uWAZw #5'D?#(\.30!̳R9!(zD6O NfI3r`>u~4֣\QSܴR\ؒvJC♎qc;c[oίwՋ![cYC8Q\rJ5̒xju̩da9 f=_ZDPIޡUe+LZ׋̼ Uw&R4oթW笙VoZ>U~Ui>|RUN/ }OAQM >3܃ Og}{uؽY`[6&|xJ/HKx+T 7 @;$ =(½'Q3DÏqDxM}*9  1| lt2I}.\ . .H0kIҙ|7~#\#^Pb4K1 Ahwۭ[2n(KɴZ/1'~U/dd 3/A<%σLKrȨ|6I,5a/I1h*{ 7Bq̎l=ڗ)=en(ݫeyNa p0(.QV,eb̞N*Ib{::qmHZŠ,]f0n( aRPi613gv$hjf)v䵄+z 2CQ8}vC 3W-<\P;ZYX#ť`鑐gs¯j`CbC_.?@j++J3+$ԼVy-X fug@j3 BD <:v)-S*:c? 5ag-T&ɦTzhe4R ; %K)Xnj44U 9]QcDON2>,+] w(d:-eá ?T3#=x4v~ʙ fF ļ< i+)qݭqJM3QDymȇbPC&qou;^4 Gx_wR[Y4ᠽf4JPLx,dӃ(7\nH{9GatlPQЊ5 U/\f5 !{ۚcZk Yҥ<$KU޸LE{'-f5_;U C`3=︣}Pݵ` P`I!u4~üuTÓQWMt>=B]uc;N~ tגVf׌tW]w E, l4R%X<_^P kٗ>㑫?"D3h!—`dvDe6J2J w^Θ-vz_}:)5EN1Yd . νo#Te}q xUSZw~'B{IԵXqnɬnyJY B#gIk)Nt' c*Ak4-$uoFc%!?8!*i-k3 ^ȸ9/,'|Wȯ>_ 9t ~,փqҠ೗VNLXDYnw]k RZqhM1uVUFdrigT:?}~;vUȀ|zHgf夥>ZTrG[$QD$yK6#1f.E|Hڔc |V,Oa@aL?D9Rڀ @W2=7}!\*} ~_-.g>Hx>VE/;kd\/.N&oVDYY6 jE:Z+Uo[`.ZLt]Vg' +L=ju8ގsbsB/tT~6؝A] V$+>ÐyPl-t-ZmSmVI]Q9%vHFܙPpĢ Ft?w.f I-"c&İ培 ?K(*E;+_:gkMۗn.aڎ;=Iis0R)Vꓕ k,SL%Z:#(@a5*v\;TUMfjRn6u4>{wpÚٱ,Hmkhr IXZY%HSp >9۔eM@b 1!~E({Oz@nQ{ 6{$C>)X6ثOzU_f<9N_S ԞHlXqBXVZ˘ ob0[kRz__51Yo@T]M?,uw[kR}W?Jm蚰jtRhTk SljV` Zݬ(!@0y8ӒI"+H)/T"2NݥF[Ҙ\="/11/̈y^ h%}c/z{!Uƭ~:AKh?n~wؐ+=~D5@uc/sS<2*y#[ܷ'wg?'\%%>ɕ1_2bWA$|uC)mwִb˄[8ZrBS'lL,fqC'(? 9L7SM bڗXfb`duWUIf՞1je% 'Xg Ǡb-B}Eb@axW`7}L4&6IMXHR|EQ螼+;rPaػ:a6)<[⯘,޾UR夬P(r #JOm! $$jQR| FHu,R%@+[*+ v{!MR]N|tU-$h;5F8DJ jISr,6 4CۚBG7@"g#|^[vF1;FT:<[JR;y]4>삕SƗ|~T Q[ !)9:@o+"+4kkHCʼot6Zxl%{<9ZnL ;C޴͏ 8O y#Q۳(KWeg\(Si بt{aJcȆb D&r`{v=K|mCRp8 A"Kc1's+9w*Z.yϋM\V>7ry]sGzr~<֮i[a@nU~ x-C1 (#_R{mYD*Uzfe"A,v2?QXBDNAZM]*Jvخq@0>6b>>]V4Ph`bd{@9!7̕DJ )uQHje*BF!}ss"@K+cIƢ/\G uVm^Ȓo v Lɒ” 6gwjgkMt\#1n(Nv㷧W_!ҁsD2Qa.wTRR=\?prΪ}pz|PV]EXEjw %n"n%r^ .p)jONL<:N@% % cDw I+Tb*~*/X.ˣ#5ãHp 2 1eQ77't_'1Z婲c>\6/ s|R2v䰮43&:'h@30b?5>{Upj\5NxUuݧ29+m}|lB_Pb=&R?< #nRoۄW n?X"";*%2Y~FJ$ P-Vt~=Mu&FfvF {}b@G[hTܿ z?4Aˆvw;$ʂ<Ś_j3TZ.d%Q'4*'7+&s dׅqEYN߳k0 dzKjE01E>F(-"YP"'VAS.ĄD뿡KGÙîWHUއѼ^ULGJ eFiBH#|-Q {mڙeB3×blGbVn7X1mXJ[3T޻ό,ӌCSp-_Eޗ{ֆ牚ӺɣCVj&=F' ХZd@im_'V\zdTs3>xG;71v.jT>Vm6= !'7]z7Dwݾ&Ǥخx]ZL=fe8 单{)eF42VfnMcC-P,"հ3"@=n$_{ZM`u80V"Yg O ҈CqODΝzF^<Bv;Ub$[ʽ"TG<=\b ׶Z`}bLY-cΰQ -PEv' j&P]O+bn!X pv#h]c 7 F^e3 πOvxZyWm!!qOa>K$q'~X9C+X%ӑ#eNh?Wi8FGKrX{ZG9bX+79Zi#Ӽ^ Eg0XoS2xޠb4iNzΛԇ"Yze40Om7 8BK]Ժm #*(Қ=T==KJQq8Ѭ1+3Q!&Z" JIMDž-kAVH9AN+#U$} Eh%Sf Dw&K4G|Δ \gX{52쁫}aN63qyaHA`5>5c#8^xj+3&G0Mױ"ޮ"k1|w$jSk$i}XpğQeK;)B|?@[R@fFa{ I_L p;##p9E EIWp,RHH frL-ayߗ[.'7W2Nkޞl<\=% z̀{TE*ȱ #,ɔ>E]A +sn܆;ڥN~ؿÝA<kҞj5΁翐"= KUz/bGl&46?"ƃp_? m;|Cb"QWqbMDgGI1gD9|@8`zc)g\LvHOɋ"@7[ti7+|FJ|^(&]b<'˸d/,aj;&782lڮ$QKF@/~&fNWM|$hI N5Js T(_MЏĎ4&KFOQ^%?)D2u\ɇE g][~֏v&!g [G(/"P_UZNgą;KL2IM+ur6}U T^;0xȌA*=pn`H5ڒq ('ɜ=f;Nhk9Av"9o|GR;+QVuh"Z̅)_b `xĝEqGTvX1(`b̃Qal٣6v[\mRKHhGdzfU;g^锯1]^ `ŋ /,y~H99s#T |Ӣg~Ub"Y@'%b:csod=>ݿk4ϬfHA2JRR b\8^R#C=%zŪ'ĒӉ'^TKج0o+ݜmBZWpH.om !aH*On;4㈹F F@),š7gmj֤)(okyöjޗE NM`4O/wUZ`IT5]&2C_büYvrPlF [/zt24gmL/"~(I4`0s -QK_d&09ky&YggOYJ9UA|3ytU0o(F^(yõyWzOA':l^0;@EGwnխ"w2eV<{Henŏ 2SL8wpplW"sf扄jvbz[%ߊfT%$y eoAn.o fg~HS&M!ojJj͂ F1,!.І{ ?D.@wD}Ԓ/Ev{˟򄩤Vۡa 7_QO?¶4=ߋب\satt}Pt1* a&vUrrEIY-﫲ײ>Bfs8){YS)(ٚUvWf5ޘ)I9 =̫md-TZ9*Lߵ.|VRo[|CvH *:Ge9YID i2GPԡ$2xP ]:;`zÙEme" T_ϾP1'a0c.d>ָv.N;Z|6wݫ'ֻ%; CWN=i (P6~J mY@'LݑIb;Q*o,!ϣk牏$BI89`"Z}gC2+4߀cf}_ 3n}YhM+Qx1 \g#,V|QBZyd}:$Qy(]l ([7"-BV*}l#'ۇir6J.C nxufKձ cy˸(*޽kA $BFvL܄"7qm U!j!BomАmM#!־Gfh)b$b88Mߵ=8ms%69PQ#%zHVxY B fahOFk;yq~Avf(=;qMN$m1@KB// $4gŔTmoQMG祉T+mrM˦).?ޚx2|b v3=[â%Apj^i1()+61ʀ9^6J,ܵN^S>Toz@!f'1H1E1̜LJbvY6&y/`)<6;lwT\m?aN)QGiHgYZ3531eefb049ef11debdd49af978f399c7c77e69a76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac e66e4e93b356ed170679d69d2b51f8f86a9a83b7 a8c401f78c0204a4078eb13c7e001bafa8802bda6ec1834f380b18b57cc1e1fff0b6ae0e5e1804fe