SQLite format 3@ .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 a+tD4 ] Cayley_Hamilton:threads=4elapsed=17.110cpu=53.084gc=2.0167zXZִF! ]ŗXiɟ  Qf(q%޶o xdhN'1tqUø;slF.Ѹ؞r4G77]gMCP,zcߧ.~y2>!N9Kf񑖢fN5hu"g{\e/;aL!@ g\4 /HSj,t{C(U!hs $ʾWXE'>Q0HZ`)OʎefFIGv`PxgnzY9 bi1M/L{-X@âZ1ƹNsU-p& 8W)epTCNGRqT9؃ڿ=xݲayo{ZJ!wԊrwOdg`zlLs.A`2e2?+vEۧQS*F}dzkPs뼼Swo]zS;vW'z]F:6M,˨:YF2hF[~>Ƀ }Cwa{ F٢n_~`RձC0>jI}@K'ifz_wX~1Y/TW/2mrXyO j"k+ƭ:1⼣T!+LMsOs*h5m/0`MG8/Ԭmп067àɠ8x~-SIgYZ7zXZִF! K]ŗXiɟyDLIm( Ǣaf]?߶tDhǪ-7?JejVrRv`=[ >g5叒&AɎYq^]r"PSO%2KiT>׹K׫b}J&B,6X,q;k\[{Nv%U$MgYZ7zXZִF! e ]ŗXi%PKbh8rlN·$p>vw׻n(>%h}XTQ,A-{uLkjS:6v JB4;g򜄗5ŇTϐ_҅ R)ٞ)´CB~ ,K7,ϰ3&S:MNڶ G)aŭM{vJė 3vUcfުZ:`R3q,f{jV\YM[e7zJ7 [S2e٨XŪZև#|(yM6n*_CQ'M %F[zꬭ]t'G*pP^p[p q.{ sr50c*=-D"}9Ј&&2=|մ-T# ;_i5d(3&(SC\`.փ/mѹ_4Kc2ۊ2-yWU{3ZN$ ոب Ѵ/֡p{4Io$a˸j@-f LKM$:'fRXaHPׅ5|ȭ9=_vԞ֫_QR-'qJbuR50S![ lw%`M^Yƃ>Ԡ4DKDN*:߈\ }$;8nI)F5%C Uhcld`]wd7IyЃ N@LPh⭡/ڴ_[n%5=]=;Tm`F`y`:+/ˮ}i(D~|:r-'/ t+d~"3h((jTYAm 1GFPf^h9  3c{Qg]MNXģK9aBi`ݧS#iVj/|Y1)2 '=DJ)a?dHiES;#{;eAjRQW%cY*OJ>S)]8^ӗ[ !ZiMF$EgW1m^4eMoYǵM x2Qq`|[nA^`!OQ*Ig%c=.F7rT+ .dҡlђlih9Zf |pXÀ,}Eԯeȩ52z:- 30k^tܔ2 K G-֏r}:;һ#=/Ϯ?uG~R!*`qGy=GŰغ}@hyv0 |]ȏfM녪R؊KH U&4w'oyh%Ur?l@®wo"5YtxRg0`'֝w2QbUj^:sHLEћ0Ѫ/X/H6x04x$uҾ8El+/ROACq9hkTl-ҚS(Vn Q*NKk!wKU6M~!VgYZd369952c43b11d48815bf8d785e108f1c764da887527c097151a176fe2b7115e283a3ad22f3623eb 46d6d70bad25fe7d15998c1bfe8de29513678f57 34f017f50e8f9831899f371b93beca4f99c352ea + Cayley_Hamilton+9+K# |Cayley_HamiltonCayley_Hamilton.Cayley_HamiltonPIDE/markup7zXZִF! B] !M젗OFIc} k⥊fHb&9s%@yZesh('D4@-baaEa#QqOn:m6O"hso9?b;@Dq,(pj$/aņ6pUst& $0KJ Dz 5pLwڶ)'OZaop~tܫQ"TLm;r:IųtAfg X10<ϥeI2[[jxnh)`a|D|aT "nq/'0B U-9'BRCӶN>JYR:3KB*ǀ "ڴXxՌY|jwBgYS/=2?=e∄bvg==>TTnc!2C`|yWw$OЈ3Cݧ/ J?_O#Emhm7bG{06?h6|3Ky"fQP< [^ZJDcLǷLdL ١4~2~Da@B祮_(gNi>GX"HN}})LE6ԥ*P }0qb ˡGvKh"t#-A_ 'BBEvf&!aޜ`Vb' E]Do!(+ nr2ٴsCJp&6!kYc6u"X)e,bDJH㻡Na?" dg/MU&A`qid}@fgAIz=N#jҩgnp* n+@| +KE |Cayley_HamiltonCayley_Hamilton.Cayley_Hamiltondocument/Cayley_Hamilton.tex7zXZִF! ]A-MՋhvG"uIBm5 .QRF"lc/J LܮI1>Pz]Υbal앀}kM=3:KgʉKU/lTA;XG,}A<j.?chD ~:7癩B0}K [1h4=x ~wu,@C-c e:{EqMp~숄G̰lE Qٶ镪^<{9{w9nEAtZi~TonYi~B49\)uNen"9tJ,Tb߾oc d 6F 8 s"Es50έǸL@ ܢ9ByRL}-YYU 9~q2Gӑ<|dNVohpn2ornWWюwsM]6zzG Yi~7a%X\9:~6,ثK)fYfi:(ҞwGxA/r Xu L`,Z'rѢ:5Dxmm#LzE*I_!ڧfTWmOళ~'{‚GSDCH}2;on lRX d`dTXwwrX:qC/ҹ넲҈lLOԦcąt:GYaQ ZLZ%S2<3M6E;qy(/[^+$C@]GK@J\EMfݡH c+g>:xFKOStxΗ\OZ.p!9NTe wdPġc]HhD$ q7=o>95 #v:_t~;E,=Xɻ*dn8Մ1W_co=^o uy I2Hj5eso,y"yB$qG8BQl*IC3.簪$.u3R# nhY8⯔%B4(}!zLaJ o9f|9jp1 զ[pp2ls9Pi>24= @!1>gT!> BsQGAdFC`7Ng+R |&&IJy.!U:ӛV<2h#+?z @0nb}+)}l1JEA% r0  MGG(ay4MphNA)ہ,r" u)3K/F-e$]7~sW"\5ߘ#2T?Y[>}4ҙmg\fѶ]:$B0YZi |I%)xnM1\1 kB0r:.ct-:ZxC^ zI** ApUm2p8]uZ]M Zagz Dn%ifJ jᬱX/7l/+A*˫O)F]ȘMH>9!Q ؝3A٦^B"2%ޠnVvx|$(s)Z9B2^Eڌ"=62` n'wW-a|H&9k<NiQNWCe aAZ'PSc4%_ tC \Vܰ sRa%v)k=`.Xq?PAᢼ'00s1JRr_j2?P`;խoHH>MӋ?{ V S`0,zEE0nȞ *J4?R:<::P݉_ z!~"^{ W 6yDg6`7Cifpx86^_WqPٻ"НPKNyxk ]F=Cp$R}-YR]-:SwM֟yASJޝxuh\lIkۮ^갖tlϫ=G1N>g JFʙ%`?NrA3{;3m9dgDy"     $$ c n ) q ; aF+U'Cayley_HamiltonHOL-Computational_Algebra.PolynomialPIDE/messagesD+U#Cayley_HamiltonHOL-Computational_Algebra.PolynomialPIDE/markupC+U!Cayley_HamiltonHOL-Computational_Algebra.PolynomialPIDE/filesP+U;Cayley_HamiltonHOL-Computational_Algebra.Polynomialdocument/Polynomial.tex 7+7'Cayley_HamiltonHOL-Library.More_ListPIDE/messages 5+7#Cayley_HamiltonHOL-Library.More_ListPIDE/markup 4+7!Cayley_HamiltonHOL-Library.More_ListPIDE/files ?+G'Cayley_HamiltonCayley_Hamilton.Square_MatrixPIDE/messages =+G#Cayley_HamiltonCayley_Hamilton.Square_MatrixPIDE/markup<+G!Cayley_HamiltonCayley_Hamilton.Square_MatrixPIDE/files@+79Cayley_HamiltonHOL-Library.More_Listdocument/More_List.texA+K'Cayley_HamiltonCayley_Hamilton.Cayley_HamiltonPIDE/messages?+K#Cayley_HamiltonCayley_Hamilton.Cayley_HamiltonPIDE/markup>+K!Cayley_HamiltonCayley_Hamilton.Cayley_HamiltonPIDE/filesL+GACayley_HamiltonCayley_Hamilton.Square_Matrixdocument/Square_Matrix.texO+KE Cayley_HamiltonCayley_Hamilton.Cayley_Hamiltondocument/Cayley_Hamilton.tex +]tCayley_Hamiltondocument6973660ae4b88d36dec0aa5777449411d8fa42dd7zXZִF! x ]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/ŬY֟ڛߟ$Kٓ VG\%y6® ^eܣaw!^p~/W/Te%Qy־' 9&7Uj(<&{:M)AxH2<͓Qԗ IMqgT5&DG%hP>-ڼ-ס+)XADVVKRTn2X{_8i ՐB+ P״"׹#!iz'֠^mqo_d6Y{-s:dc#$GL3׭l_: Yll^Ev \|P3eC; {X#z 0)&8Ta~Qώp y y^ yT>x,뎄&,I,?|do ̂: 0y[ɊN>GrVD4*A*72~g$KG 'u M"G1up 'Kxr`,j?8]q%l5{0=~]L$ΆRoGv6ʇ !wN+LW3Y=|ǟ/s|o1\ +NLhT woB_̇,+LzLs]ZJØcZ gCBPRs6xtVņuA\ϖ 6g\H*;E%a(9+إ!5KMn}tL䘌<°8S6àvLeuǻ2Sޕe`8e&aYM F/QfKqeWA4;F\ͺ(mܷ= [')”wF)V ۸ZX)ͼdr*0|;XGNBOh8]㮶 o[52g"֣;((J (⛼b%}DN<$T"(FIYQ^$Ct xHj yww<]W%aeIko;YD=±w5:=d q,63 16,vVnGgƝijT*)3d} VuB Y@go6M.^˱Fp D/ʰ%U'tA'I ;@&qf59(Lˢަ y/Tv٣RZ\L63@!$IB^eq=aQOw6#S 5R lI|$#877\-ٷ^5L*zJ*[1 O  uU{D?/ Rs)Mz_t"?2]gy7FDcUk>F `BaP@2Յ;/!$Q6 Faԟr;\Zh0+! .$t J\QHS #=7W*rn`BSmT\,vdAυØI$5LKH7 dxSJ0ӓA|&;YK5Mbp˧w x?WQOHT7\^DipYQKPNgvRPҟ=  mZ_CJÁ{tapiV`loH/AdŎdO$OyЦޕu~Szp$]:PH i [<,+mK;` qVJϦ 6DվWKZCWXzMHsî"G2߄g4K 1AXgc0ebbuceFq+5# _[tt> stream xڝYMs6WHU09d3;&R@K %:=^k4)[2)nt~yrW|F6x_R&r\J.]Uw?˦-w߯D`ctf1lbgT2R)e: [xD٥L%,Y75v!ij#?y)Ƹn7]p;.qdxKd\^!*={vZkN ͧalvZ9: %2^cіQz*_eo=䃡\3!7(I?6㾠$/U +Cayley_Hamiltonoutline+ Cayley_Hamiltondocument U>,4(2Ӈt:ΨBw/ 4L\;MfXFurH V@MYgIȉ1KNYnI=5 Gcմ_~'34/4[Izi>]3N~57I:~STܷS2ݺer ݗ9vnJۂX9l4bϸKqo]iKrdݳ 틪 b<%>~g_9@8qk_G05U63a/˱8NGE~z– Uqk]MڠO,qk4YeTq1x>Q3G'[:WJ a)%N>tF_?paAE~=_Y*re&tkF^+9/%PM! ٛ,GZ+W@E%!=%b3Ӈ DIyPs&ˢblƿ¶Ggc(Isb;w*蟇W#&¨_,x3aS&% oT`a)7P@CYZj 2NKbYhI^bZ)_o/]pGNd\V*0pZmBP~{rYmߑ;$?AZ8ݗxcF9ޯ@oNx}zaJ%ai[DI}!AoczJG-Vqs2 o}UT>hL$JĂ>e:AIK)f!O69Z^ȧݎ֊o$ T]V<¤^rY}rCc<(p|"HGP5SІ-&$@qhHj(Z1]7 rfr2@P%ͧx UЋvfla7%j|*Gg`Y~3e`iTYn⛗lSKvHn4w Ч%IL5Iߛ9/ďBF5"ijcs,XxN)6674&hƸ-ܔh[,Y@QϣfPa^c-??[#Ž"w13W."Ap1[ՙ9~`KE«bLP^ܜr҃=MB͜ CL%7ǦP)\'0[ץxR*8pt R0/2QAkhAӐN8|FiF { _{yes'l'qR|Lf}olkjױ߁@ovvJ&xslj]^ԿQ_~ejl~4i K*ìXo ~:2f,@ǻMsbKiI*B/$v@6>93j'KQW &(,aBFx{t!4K ft H>dp)b%0h=pNTځ)G>77ҿIu5ȇ[ Qo'M1Lwk7 4,Gp%AbԹuYD̳`P goWh:` o6]fC-ZE(>[p6`5S*i;2D,G_t|ڍֆk{bkEpvmHtOEQݰIIT.{Sk7FkdsL}Y?mc,%S3Z,ycX~ZBCжS_,yS0ܘ34YLIˌ[o*dzˮ'¯|_RY㦁c x=l Vx6/z-: PNcw^(]ƿR G(a; {,rΔzJ=a jR^ˏ*E?6evwt;m l %4G4x5㱌ʚOQt[ra4e*@rꄁ~;58=`RpbG/@5/JKfT:c]oC<[A C |Q 2j(Mz1~s:}|lFRoXDRQCi x:Q0$^"Z gKk^)TsHᄀElim-ΆZTv0gd[UՔ* ҍ= M @4\fطNdH;}}-S,-.<[Ǣ5_9q9 T_өpGmB-3=RN׮#Mzm 3VG (&xaYA{XBIOn& +'/Xڹܪ[DBDcD/(T 1tS_ }^o-x'ܶx)%P`Ǐ1+c~T#>LIȵـ"9 l^Ht0P~L Mw',q,A)V[&z!^1*u#.~h{EAsO #IpЃ:wش YɯT.!`т` 2[+Q6nv9|BH[>\bwasqb QHb(ĄПFXI#yORf;ǂ޽<_b]"G&CbK,{K9ʷ`29*۲00R "8Tz8IP['ë'9>ԻQ<]ၖ_vFyKS\kOJQoYf24Jf;ai= AE)bX,s%qatΒTkha3u$f K~ 1 Y$دJ),^@8yO`vwTFDR9co?X>%bA'pyǭz{Nm[L: ܱn։M  5X9ml%xixQ?&8e&ˋ؜{,9k]Lכ Tԁ)8wLt8q{>i]`oZjW_N~1ALt8.7@h>֥b`?7]`āI{ ~R>$WǞN__$tbMtj68:Z 6QpɎV}}`)h]^3 Ikشeӑnc'o{vwK5NCa@۝4no;y X:W| q'J^6Bӂ˳w|oVR7N-SGEvL$\oJƒm78G/n]={͓RbE*'g^{ !ᔎG itef$Վsnl4ih PPf \uYbM־D3$pF0ZF-4]*?C8=L >=+&tjtcEDboPޠQ3}}3_ӯ ww"RHP u2 b2#_,&HVr;z-ߔhFd&7& 3ZIXTGO,2zeE栅p';.lagα #W[ qDz ( \5b%vVínN^[;`t)[uCUJZ۳EesF;ulOJp%# Ba./KAl=J+ YLe#piȽ;R}dx+Th܂P?Ij[!݆PKGfu DsuNͬ,-SD.eI?iQS?؞ۘw'~q6 131q%?q~xȧ x6{ȑӛG/E#0(}i|(6W$S#SJ2 A3OR$&;. ~.[,Ibϯ͗iPNaCJ`\_ >={ E(elXC7i RZ;> #䩘J;H]zտ@s\Xo[XӬ_nlYǟSVy@ƹo1# WE/~wRic?1> ʍ'M>.y!iJB xبF٧&ZvcȖCmӚZo=}xE0~_ $o[ؓ67]PYcIU+ %wл{ S6kab,; I5yZR{#(>>~ڢn3O|jBRꏹn5^|Kc ~gsv@^\d%݂3>+wdaּoI ;+qH'X‹sN6fe7 sTjVGdfi!z&V䈵ۄUU dm"-剺}Y` Ѹד\昼\aOH%߄܄jXRxYYRփS˜ ÙxYWa;FnK'?|bANd]oR#6s;%-z=7XvPdITQvKvnokƙ{3=6=h1&;eL212 *oz R͋Q!%qČX痰]D^Ztfh,B,ŮXiE)D1|6(Y/Ҥdub9w_K/2 fKb>-QXhn}3yȠ'绂@ K6P/߭9'.v?Yܝn}d7׉: \aϡm:sR2hlZ! \%Lw~h15yʵ7~@I2ibn!b 13yN:\IiXmht{ sNo4K\G(9z9yg4]ug^XpvK(xL~g!H{:ӖO0>N p!!}(b]4[ %,b?`31oE^V6fm{Ь{+tkHwVc&p.Wc̅ʠeԺ0p7 aY p7^>AϿi 2DG?%3HMbK\A(6&_4A>O5"z%+5 m}R ku a0w:oHsc>l yI Ei |3\ʌ9VXx_%1cb^2[$}*cr,-Ewg(dJXW!Ă#d5g3 i(rᴷ%ZD!oMREYdwƜF._YG]2[1ZSCgfLl5~s?mdibί5W9<XEl2=^l"2,NOKLү:@_,E˼Bq*d~yQ' u|BQ2+Y$| KxUCmj9|`Gy(fj`%JKDh H.HEFMjw_k:\M+5 S56α -6 z.L(yIV{/xa^[*V@?FJ)hQ5֣hcOTX.EO#>iSQRǛ*sE&ehZIw6@<*,&>b"ɪ R94h^vs]CGg1ICG%'ɍijCk8>9N,OU r"IX'j%j-[{ݦM8Ny[/>x(FUeNoWo%TˏAM&sEƈzݗ=˂#g]rnw(N 0mU_2` nf?鹲y]t$Pn=>)"XHjgfsWn\ ~}^e®#Zh'(wJ>OIg PyMׂFWLE 1Gi;{v "/{:ד[:G\_y*(ŶFfɗ ID*vab >zXd̵ ^Lyt}Ed+9 UM(e{̂9B @_b1 #ᄧk txtS8>76 ~jBB[ -dkr h,DRdgBD'lnO){pl/>(KjƈФ(ҳ!8oxp:EN{y_#L8bSWLu5(0PkY$YGڔ]b:w4NjiÚ!$iyH5 `Qub?"$|;!Bp.#rL5~ܜ"D4QG(g#xB$`ؖy=b"2E&J ds&+Y;ZIsMn$fF뮝dȶaZ.݃>0n5HDe,'ǤGT|u_Ugef5ʄYk xơgr," +ő0gy2_O IK_|aS˥gM_ #JK̹}4A\rWyFxu*7Zb;ԏƗpqR(}SVcne>(^o8Y4M']TfmW!t2by|.K2dĝdj BҦPǹm>1bIgopAzk:afos ";٧'>Z#'G`K+Α\j? `d__X*".6T#'G.bM=˒@?w[-ci/ _pȏ~'TmGiЕrj % Uef;v~n0sc ;|Yk!NRPjqwhY#f&6AL``*ۊuGkFu^+7b|:'Њv6oϑZw/D|A:,*k"zqCQԭd0 VNڣ~XMI)2YZw@ADǴ';ga+ҹx9%GR傞iO,Ґ M]uwtCh6b?CEc3Ɛ`1YisJL(@PlǛw/O'?<-wHr/nD5c?j9=#8[|hڐ`^HZJ1C=3sk~g x;?5.Ta4%Ea%#_Or طV so][R D+ʖT61"4}qa7SLP2ZѡXcHղTfF 6\ Ę5 K~{sX՚ >.p-<n Plaާ"ӣli:\|ئO^2R ;jDYy|SȼX5}eWXFi例4vuSt}Z?S#kvS??%$ʮD7D،*,A+ƛ@\)43' :@/ SrJ$kJMi.P<h,D3c׿|;EjeaV\l,c9V@3 roi d+@֤O%Vd-ZmUKBCK*^ yE`!`IģXyOAك;.k~8Dz6_[`{M Zf`~qPnQ }To;>:,z6t|YYڵQu#Ճ0^nWtݼTgai#ۄL6[+Y?Efp;0 Wxj}5m'klcsEqN'TF!B}@i\+y=Ҟo@lfwa~~XGC:~7pHbQ'  A;*Gid҆{>agYZ 0h4Ƃ!\Xe_QGRs"8zUXZxu͙^ۣʨ䌡&Fm,ãh?WKZ+y3fTp]5PbEЩedMAX4ABұHˬ[H.3BeZ՗i"PUI {k6~\xܱh;[j cIh#GA 8I'0WiqҐ:{9'fA|YnmLG 0LNwGzj#-eӥcJ a*`o|0#,Œ+rX۰s]}A ~\tI9~l@uexmрkEܳuUl3O==Gru `o9H{^iX&,V %w4A. O0佇B,Kk+ w,+Y PоD'etU7ƭ]Du:H`thJM %%geǻL u|[ۀ*pmWKӟ"dEPjt5MGi:MH ~# HŞtvs$3;r`~kEOK[{ˬiIi:[E>Sbz=S|Vސ6sw VIG}SK9kN|ÚEuE0ez#YlbSJ%忐'Úh1K!CLQ|/y[]AG["B5H_~?HpӶ3MA6uB5nQPYPVNe?ail#Tw>QmH?שY~̴җrF4cG*A\٨Fh>PuM)j5~`˖4B58)JlǎWq5}9{|*j Ρ傣yM'm Zgp sMwN:+^qmx 8.PF e^Bs7a2juKaRǴ:0m E,xN"!*SR7eY lyVGv͉xjEEnECZol7,YXߡH Lz cR@PabL) S3IF%W .8. ?NZ;J9hXEWz%K ;g-8 Rɓ-]=9|1l5>9o+6uL] ׾xH'=L3yAX>=&r9 O-J^ZѭʝCj ݸJ@?<3k"jbQ,Dΰ_ CU, o\jZ"eQ{p:5F;>/i7) ,ɜ |#J4۞<*f ,߻ Gvbgj 8bW|տR M;O~%$ [QŲGӋh q>,ZJhr$P޾|'¾U`4bX3R؟9/GEL~}).nnP1%w A.O:܈"[̷ЋÃNf2pM,%o\Q8tFvvVC/ԺGp`<&125c^P>v̐tzV@MRL])l6wDr~ ``<6ML-5& j29;zAĞQE ^;zKc:%s6W&bH=a؎M*f<^B#ES 5&G>hV!9Ug\M3qg(P?9QsvģG`#=4d8Г֪&TbfGxͮ.R0zd2$nqUtw: sˎ`"Nx&bJV:5(P})Ef{v.2mjRCO2H`/WGI1e˪V)$]lLq^| !VnuR-0G܈/U@"(xX+hU-0OޟL!G}檷l_@C4Πd W^{dߨիs,* AB., $ū.nQg<َ?Kt߷o;8E?),PT 1dǹg2V8+IK)_BRO§&]p81+@d$q@ɡo:3vs [͹%:hc9 $)$t&ly6;b"_3$#ї{{x 8aE*Br|iYI@AYgШ6Z|ψ!~-LQ/{9`w+buBCpkNj!Ф9}8,v@-ʥ;0' %(n]tV1sΙ̊H ->@qkːn7AKK]T3?Vi[!b#}S,`)62nD^cܔZ2ۆLs;gnjCm혎Rp Ami<%I C p8+ICiQ'|>ws,{*Ib3T߼@=s m2k=YΓzLlo53YYi ~b lPiHDұM}!%`^ O*e^YCמzes6wO.<ǪV m'Jkl}!Kñ֑e;;3"rz呠 >vKW.\\@]yIB|:ʇ2'nC 43=f3$P$'ޚ=oaU-T]R:Idd" MLu^2 QGQB՟l}tP7It<&BPu, We ܯb nՋ4';\FBF 8涏HztA6oI=)=YCh_7t_TF :>0[eIiLבC~qɹi ;"nJ0GYrJL p׮5)#a:EgYZ 4sx49+K# |Cayley_HamiltonCayley_Hamilton.Cayley_HamiltonPIDE/markup7zXZִF! B] !M젗OFIc} k⥊fHb&9s%@yZesh('D4@-baaEa#QqOn:m6O"hso9?b;@Dq,(pj$/aņ6pUst& $0KJ Dz 5pLwڶ)'OZaop~tܫQ"TLm;r:IųtAfg X10<ϥeI2[[jxnh)`a|D|aT "nq/'0B U-9'BRCӶN>JYR:3KB*ǀ "ڴXxՌY|jwBgYS/=2?=e∄bvg==>TTnc!2C`|yWw$OЈ3Cݧ/ J?_O#Emhm7bG{06?h6|3Ky"fQP< [^ZJDcLǷLdL ١4~2~Da@B祮_(gNi>GX"HN}})LE6ԥ*P }0qb ˡGvKh"t#-A_ 'BBEvf&!aޜ`Vb' E]Do!(+ nr2ٴsCJp&6!kYc6u"X)e,bDJH㻡Na?" dg/MU&A`qid}@fgAIz=N#jҩgnp* n+@| +KE |Cayley_HamiltonCayley_Hamilton.Cayley_Hamiltondocument/Cayley_Hamilton.tex7zXZִF! ]A-MՋhvG"uIBm5 .QRF"lc/J LܮI1>Pz]Υbal앀}kM=3:KgʉKU/lTA;XG,}A<j.?chD ~:7癩B0}K [1h4=x ~wu,@C-c e:{EqMp~숄G̰lE Qٶ镪^<{9{w9nEAtZi~TonYi~B49\)uNen"9tJ,Tb߾oc d 6F 8 s"Es50έǸL@ ܢ9ByRL}-YYU 9~q2Gӑ<|dNVohpn2ornWWюwsM]6zzG Yi~7a%X\9:~6,ثK)fYfi:(ҞwGxA/r Xu L`,Z'rѢ:5Dxmm#LzE*I_!ڧfTWmOళ~'{‚GSDCH}2;on lRX d`dTXwwrX:qC/ҹ넲҈lLOԦcąt:GYaQ ZLZ%S2<3M6E;qy(/[^+$C@]GK@J\EMfݡH c+g>:xFKOStxΗ\OZ.p!9NTe wdPġc]HhD$ q7=o>95 #v:_t~;E,=Xɻ*dn8Մ1W_co=^o uy I2Hj5eso,y"yB$qG8BQl*IC3.簪$.u3R# nhY8⯔%B4(}!zLaJ o9f|9jp1 զ[pp2ls9Pi>24= @!1>gT!> BsQGAdFC`7Ng+R |&&IJy.!U:ӛV<2h#+?z @0nb}+)}l1JEA% r0  MGG(ay4MphNA)ہ,r" u)3K/F-e$]7~sW"\5ߘ#2T?Y[>}4ҙmg\fѶ]:$B0YZi |I%)xnM1\1 kB0r:.ct-:ZxC^ zI** ApUm2p8]uZ]M Zagz Dn%ifJ jᬱX/7l/+A*˫O)F]ȘMH>9!Q ؝3A٦^B"2%ޠnVvx|$(s)Z9B2^Eڌ"=62` n'wW-a|H&9k<NiQNWCe aAZ'PSc4%_ tC \Vܰ sRa%v)k=`.Xq?PAᢼ'00s1JRr_j2?P`;խoHH>MӋ?{ V S`0,zEE0nȞ *J4?R:<::P݉_ z!~"^{ W 6yDg6`7Cifpx86^_WqPٻ"НPKNyxk ]F=Cp$R}-YR]-:SwM֟yASJޝxuh\lIkۮ^갖tlϫ=G1N>g JFʙ%`?NrA3{;3m9dgDyqiogYZ ` `c+G!XCayley_HamiltonCayley_Hamilton.Square_MatrixPIDE/files$AFP/Cayley_Hamilton/Square_Matrix.thy+79 Tkٯ X3hCߋ>jj3}8X$L|.!uzc ѣMh['ymET99] ]*$1[6 lckA;"¾@?g^9Λ Xii/i|ST2p_p9`\6 &M 73b;2'v.S&6[Og~ˬo/H lk7w3׀^Hn/bǢjobp@4q]2Ru2C*JVMh MۋvW< ĺ&TPUS;:;|zluW m">d@'oEL4Bk<W:I \yPzO3ȑ*,vp)9hTnuԅ!:6df$:;krHUі"ڟ5l˦m1OJ{2="tȽبS=q;B{GS>M]АD!GYtbؽ䤫s,Y]B4-VK$R՝ګ>l=oG/XNELSǹ<=y/c#8AйMC  '"iC'Ɂ>ET 柈n!~y2[ U9!O}t"6\'#oXFq#NX.\#~„{wAjLQ%OGs^l%,rW_z;*OCKmÕ4wTE$z}n%ә?/k*l-y?Vf D¹$@_1},ᄌ+iO fhTK~w6<].B#-=>|2𭿛rjQxQ*L\٬-w+Yh.mHWNM99\O%4QxELOѫӒc2"Ux,$g's'sbE󾱆T(*,F Nhׇ3#}Dh78XLif㖉)JgNK۷$܈~\Z{+MYsȫr [l`Q1v?,[~uN 8@TмgRjTڜ*CHĠk88MI94kss1 FPoZї WVELSn8Lw Q%;y f: O?.c_-gAg)t^6Q4:Ɉ!`LO(ûmUش29cuϴ8V@`$ia?9n|fZ>:.ŷU;qRuQ}Ueod Ή49r5"odk):lq>EW}dQ  ,P[լg*"Hߟc+`lO5ʏ{MR4O+K' ,Cayley_HamiltonCayley_Hamilton.Cayley_HamiltonPIDE/messages7zXZִF! f]~ hk.<VAHgM@*$bF"):-lk|Fy4pjMOW?Fj @H[ x?M1~E/5:Э ut$dUAvWfӋxgJkTϯ T=}+m:xP4_^.aNO[9՛v/ȑVV+v&%'uF{)覆’}r,՘Z+#װj?Hr{eAd9>}?auug!g%^9(#"1?#L+ᓘm9l7;."\>(G~rXx{qB`V4צZ*wk߻[![nk*-01\ Ll~q#}r/.4Q]Nav\5@~#hzihcD ("ilV8Z8y"@ ֽF!?yүw)ڼkbnޗNd1^KS:>m]Imc~i]MW8h/|Y?9)'~ҡLWs;w1,~q\ NfNA;D;:ꙒDoIѤ 1;QYOb\:1)Š:SjsLЉG X9gYZ u ƒz}a;b@*6JGc6\WxQ㾖j&yE R.VIJǸ?tZ٘XCyoEoJY.Yig k%%kQLb=X1UnH|0]nz76XaC=հ%UphTFEm}DD"džbO t}?]!zCţFo͗}]ґ6E|G~n_s -Dwf~W}dܯJVzriQ_@5EKm/mNR!(ڠ|Gv.M֕(Y)6%هiu8}qmñE_4eQ%yQ.1hC5AFMR}BA͕UzK`h> Wq _[O"OBGfi ؛h1O6z|z?) ۠]/5lr"C,s%{l +n:/$n Tόrہ7w,]i v8wDp5NemOrxstAb8j(h[}m)qCSYtxηr`g)_{ D6mOlldOZ(qLI"թ^&'֮$ȉ&_O_4n;UYemA5Bgi9bѭ68~x&v @7#Z)(|vJByLyXQ@mRB P +:v9sjKnNҽhd96?Dz4Xo'~1B}9[ZJh5X- +MzϺvN'OeK])^(`9=+l !Z5|T1x7FSQEQ'k;# #sD,մ:4Vk ab~"Qzv"+&K>x_=аao O;u;Ps}Ru<4+ sXv|t4()V¶EҠX%f}Qєl6r"O@,#op0TAޠ$Zg.g/JJ4X= 2j)n\'nQ^/p0xODm%)GGFy3S%Ap>/$ #Mi6_NY6{'\3Ǟ%lys2h)S}#IeY)+a?NKn.Bׄ̓rr|P$H07ôL?̀z\UpqH ! D5~Y؛|$ ]&%?׸1 2.,˒9[}?{s4ZO6GJNJ z'>ǭÿ́c-9%/䧵1f0Ak e,er02M99ъw.浐H ÕAֵ9ZwCƅ$ *8:⨑OíPAF4'4cOW@!\a*/jd=UWCXd^T~fMWNJ&Bb __z\;fc]4/njz>_"«%N~aHS,ll3Vwhf 4KdC+hJ*RN LzƎJfF'׭~M&@2cRL lFp(yuW@Ws4+Ydco5|)jԕ )׳%p'1Ӏt _ɌVU(Q5\gҜɌdAyLiߔNReKIUWk=fQC9u>նf1ͅwl=_3M) 'cuUjcla7:{ 5,xFpseo#| ~Ǘ D)dQ8ip]Pa.DsPCId(AH;yAσ82=_/M>s0ogvⷝM\Y뾄 __Tk Nl]}Z}"8x'$|zZ7 &_jy6c,y}Kz=0;DY,K<ރA_%(ʼ6wuu䈧<6 H(~UZ ɽ kXk'8u@SM|Bhr zo6q?ι.^eD"zo(u"8LPl-9].1Ayi?f~ $yv)NFQ\usfҨ`S;tǁH8" 7{ GTTB-r`/_IJG)2:2rN<B<&|8hҲu,PY™e{FEQ'>=2,պѢ/gue}DOL'v(z%=(zvGp0>)φԽ4ĭXd\I|lg=sD0?ەu &ՊQG\T "*CHT,}/XH!&*zֆ 'YO#nN"k7ح6 ltՁzpD0( %L~cW<=->)^ ]`boupI < ۺ{6R{MIsˋD1XgYZV4mAO|qeFnl ^?HޮM4(T}ׁ6N6nP8wv|R0QbP&VbZVbzt%톕7A}.l*n2a\!,dgw-GKȓP'F Aػ}XHzZ&!x-@c>D]Tpx>Wˠ04-LP!S?U ;[[@ Z01$yGcDتmD5nrR"֑֋ȺY7N%حy"O),3܈ƴA D'f0i[ g(] j)5YW S@8چ R;*1k0&EU=Vb^[a>z3E/.Ʃ%,cv lK>ke<"|pϤuIkl#Zx~kE;:aujݐ-::鹝ǑO1=XCZm]oXa@I\ɻUViJHݼizn(r9DkBSl^ Yi"f}۵0pmk"3FU?W>Qo#2r;vDj Fӫꬫ&dswg7=h*|yu=L!CZ$ݬP bebsO 犜I+ 0krxIke}MX##Okų m|6P rrr= Sr!K ֏_4?[g0I D!g{<r0iR _NKũbPd\4fj0di@!or6!(Q8jpA`|/KXZJ I_Se᥸5EL'Ÿt[m54nهݴhm!^aFRUT{ʀl&YH|֜ q>a ѿ1Gd/)E?zdF0q}$idYפ cԝ2-BsgK%F0ˢ9E '~=sofpж):q6lyg^J5Qs;otء?UiQR;txƼw:؞X6Jc#;? 1̉v/}}QWCOs{S{wkGlFCRi~eZki{?[p?1MO> &1 Jߥo1Q8YP0=wTf~wZnjmp(Ju soh#q* ̜oxUpV>f+YsMvMf m..,v`t1٬1_1vZ(]qeQ9iDguQo*~]cI}Р5;]m\ ,DX>K~j6_J-s''Z|NS*ip,4Q5lu? ܓ |OhF*_1w1WʐTg"X@+hψEWlY`0MX?۪qhg0tP*;$ԆN$__"Xm)+lUzF|RDr7.V䪟=3sr ZhXއo׍ZqdrѢeN+R H6~vjN KVeL_^a٠7˔pHw{XQTμiIOoGp^S{Dy HO1%f6Q6Qd ΍d67QwT}|A+)l̎wְiފRGGJ nlNq,L#_g`ڽUjj~%춭y%a̢pc78+Z j'5:RR7Ѯ-AKZm_ļ?,S@}uhK2vf,˵g=]m6c/ְlU@Lk*{mÖh-kN౪IeU 85doMŠxS|YodU:Go4eɽ7xn}5ղ"D6f8vP1Ⱦ5ten2+u3"_pA &?rY{u@BsrUA.S֤[ߐH6CbqdN8WlK@Urg&zD0[ߠ~qBlq#zMB;ZOv_=BT`bfx4z" yfb |𻆚Xp: %|A> {0):-WFzځ 80e]癫[9QUt0,J`eam7ԜS>)=Sl6 _C#M3h irgso" Q};-؀ES X3 r?{MFJ -FhcS.iS.K3$hŒBGHL=e\İd*X_|>hlDK:niXjx`5xM4ƨV1FF:Z%RQ,?냏tu"rzv)ђ , </Qݼ Y5 u:v;hȘ)Lݿ_ wdCve#=Kp:!H2_G+gYZ J^J +G' ,Cayley_HamiltonCayley_Hamilton.Square_MatrixPIDE/messages7zXZִF! O]D?7 {?:fH\3T!xk|ʾ jl/1n@}u;HiF)>pr* 0!6%kdh}>s!oWc1H44R10l>ZlKJzb4LFB./_`bLoF<SmtNDzHX>3s+rzICJOe#zGFM)j}Qn3qy ,mWi8+wCWCz6A^(uiDXk=Pgɳ$0Ex-n\1 ЏE 3|gNQ*5_ƍy+$OlPF%!M\?90Tˑy_C'a>r+jBwJCuEInShg,1,g 3YewLN]Dp,$A6b}:-ݫ&;(k* HFWMX^[MHɲ>u ?Z*g!*︲C$⟬\ M,5dq^n}S5WH6r=3g0D>rwRh~\WGzI%_3 e'wM`*iU^=g/IJ[mXiaG넭 ynU.dURɢh?#R"  I婇F4TX7B&]X>*QC|CTHY7aqndHՀ36*۽[Yvaݥ1ܒMι,Oҏ j!Zơ2zLM'=]53/HW* W.5M $G#Y"au 44Hx 58@ ܻzLʴř`[ "q`I#ʲʁ'ALu)t^ TV{ >;+R~;ÿ\AY Wʷ9郡kk2חq uA2E^E"P j)@x7EuK IZgYZ+G# 5DNE_t(:>Szr"/@>Y0Zd(h+P8Eip#eZWwScnNw?i/$o[ ګ ><X;ZLzc2_=^GLs%63/DshZRwOz] 3Hޕy7?odCYGb۱#bɿˢ :ܮM|s (KlhL³vr30^dĞ >%fG: s~]2rcv!7g,Y5Y% ]j' X%vzSY%Ml!.m'B[޵ueLB!%Φc]Xa̱"RuռQ/n$K3*R|^|,Z! ? ]U;;#;7ys# jզ:e+C/hgH7JǽZA;ÍힵO KI'R'`c]O9k,/xX8x9D"6ɣ֏L/{VPth-ZD} yd-Y? ^=~ q"$po#<ڈRͧ 3ubE K) )`{L:9Z;,3KK /ku+.Ӻ{œtLMH"=mޞs”ӻ\ChIOE(܀[IW9ԦQTq-KN?S~~ gOcNbHGdxŰ2kVsMaLJg):0#qgC/^b] kGc m]#\^,AZTXk(&hU9> bM;Gv`غ3cJĸVWZ kN!Iy{L2J!%歹N#WJ4a>pq$8͇dKxVk׉Iݻ`Ai#!U}LOa+7oh(mȼҔO-tw;CЙ]ɤz<&kޥe_Ԡ*ƚ-"PFS@ẅ́_!]*@>b8S.Dȱh' J4wz7Gu X ,W,_B,L$b1:QpaM ֍҉ rISx'똁;N X_o|F#B-&a2U3i7ײԢC~_ݹ-#3 m01jGh:$$Ck||h[ ~*$3VgWҿf1pbU/Zջ6@2MYo^-h`~Y=WUTm4T+R}SV~l_vE`kp܍!u,?|8 ؐ0r9&fD$r}v|?IaOpI2%N@q-hQ]=L꤯uQLjY73_wLT|oc c9 +7' Cayley_HamiltonHOL-Library.More_ListPIDE/messages7zXZִF! M?]~ hk.<VAHgM@*$bN!vY^>p0X j\/t!ǥ$RY7^#U$ >:[Ʊ_^U/=,Es ÁIdB/*ﺤEvږH&l7֭J-;Z}E4&bW3[`dBH;t* X=\wEq NB|ëne+ .a)o9RRj~GH"F6dl =`ӣFOI9ug#6 5[ wiZgYZC +7# $Cayley_HamiltonHOL-Library.More_ListPIDE/markup7zXZִF! 7X ] #o:^P #$ 6Gd3 ?&}FAȟ6SmЫ‡xj`|- 1{ afLa3tuyNJ<8^>@~=| û;΀z6B$#.}8M!&4!E׉?8bϧǂN`eҏ Ry?^χÑ쎖J҃Ҫ*i͐}ou5/sCt'4Zāwt+kïM97ty( pwC $Xg%Rxl{+™&mB> e$gcFDZwE8|xߊqLIW4dŸ [Ep oR.]$8 H! %Z\Th@g^H Wd1Cx2LP>OvE'`mI3SAtҙ^Jz>wW׾};qQyr@Zח MBdJ"$r}cFEhI[o;ڠ=5`xRAו+ʜV/<c>r܄<3_kiW9G` F&vr>-HfTY!&B&VyR"MqĚ =ɂIr.Wjq 1ƛoe2wEuDqeڎQgA" O9 Je?fi@T#Dvf@C&,[d ڟwr;崃eN!+9@Keޒ)@s=8 Y(a,C>[ 5+=Roo)l@1VzozH<ڳGS~hX(і4Rm9H"W^^Z \Ֆ릣4kJR"m;DKCs Dqi%hl!BXg _WxhT3:° ٠V:^Ș<أL&@0`jۤ:-7*+CGaN9 mR]ψ`Kj3B5d= zUPj J+t׻_ÚRn<ڍ&ݼJ%,hi Q~sEhZj1̶+ KeM^"-xWm[x>^l3Ңޏ 7<:x:kڐ̤P!nm( НQė%åUH2<X vKrkh\ 3 ̣ڹƴbRfTK3 hvFjLk|-K7`yD'C- Xu>xɷw|-("e_8@ag '~cLF8U 0,~wNԨ ϙ$ګ%I6)XxL):]'aɘxn'' avfRel[V ehg62YIR9N.PՇ+w.}_Q8 seUj^u$<Ć "̅X*aJt>AVͺ$M!9h еUtVg:Ij:XɺI42п˚WAuNܲ l%eg +U9 c #GWo]l53cs.a è< AvDnTΚQ_*L` d{p$:G, YdBg(tkc\JCޞ@]l>f,}ic4 2x`@yO0eM{h "kCPKmynR o[uo0>q$0MD%jo-gCi5L,SF\~ fbY]v 2O)n^Da1VPY1tP ucj$2r]c)j.0Ml6  ȴ]/FYW#t)o8{=-6%H)*ZE[ rNQlE|cY/8v8{紧P25R(|"9m AE(]PwK@Q2mo2uޱ$CF[kNq;S2Al_(n?zh:UE^ê:DԀ)nz:y0}˟p|wZ*8xy* RUl}8t!/mx^^tdKP!H>y<0XDV63s2٠(tOl}:-@e%XCS\HVJ?StaToabIQN +V#xeŖg?B yXG)̴rĔ {2GwC& a#:ʎ|kGׁ%Lh(O0n>$Hj{a"oLluIhBF s(;ܤvj|,!W) ){) ID*G{Y*B^ʼn/ К% !5Uqデy!=S*x?N$ghH155W# dJ#a 8m]'ӄnQ'c(oC||M iɲ E crǟaPLخ5un@ -F. )jfn Г_a]iR$vF8z\693?rR_J0w"^3QI凁cDpif쥝yM؃Zß8̹f+1F6C3閝թ<>g'}+yCY~lQ0PLcMmVφe VMK"v lzP^nPPA(՛w =WܵrǪ@T[)"렸m7z\s%$skpr=V^VgqNhY_/mwD|$P*XqH̷h*J?$^alfvmE/XWT CEdK` 6@ RNq3QQkɀ ;\kCy\_R`E86I$X_8ByZnSe j&.֮OJ0FϷi{U?!?z v̢C򢎭'6{]z ƁQ[RM˸d=%mkz\Tw4˼iծ?qPr*$ԝNy] nbAoKy"/e c:Hh_Uw"'P[Bʀ{nt|pMtJ–U@ezMJ\zF@1qt+62؃ C?s8;H)L u_Iz]ƃzՅWN!DjfTA_n:[62D~8-`{Xly6opgȿG,B `w1lT%ϗnuT=YFi+Z|AO%r7&_¥ ┇&΂H6b/}I|7 ەj ߷qAح!=Pڵk45ZgoA?,>A%>D3fD5&epxAp91bilП6 ?&484dfΩPٸ)a[]ubEuVl9?} sVV놧Kn޲=IuNDz^T4hvoZdS yau#AՓEb48\#w ?ʛ|0Ku%h|sUܶv e Gai:W(oz%h_a-~t/ugb9G<3N@W`Y? +ۣ |9p.VY89(b-wTR SdƷ<{$9,+R ,m|H{#؟-0}]TR7E"k|iE4)HD hJ_Lfj^56X>˵EfL4nzyxa4LD[k@8~!{xvlHFZЊ<_M+NskXO"i9X>-z@D0ReWP[@w>[OCtuBACmy[u ,I&cj;DSu2y^6*ȅ0Le&We{HS\lQzFT+ t½!G{7C]'/02o?|ҧ馣knTl+}ȆQ[y˔N4!_C#XhpLaEŭK_OwqPYڋ}?C{c9Ӽh%6ebmoNc;h~p |$(˭'nW7 -.텣PS+%SظC ,BO|\YCV*×#ifV Sֳ݈=iLcxnMmmp3\ꉭ)䖘:;KW Dp|.S1j||H*┤qp˺IP(6V˨S /vփ\dήm8`zK~8:5aYg\gf8I8Eno($ժ!" '5 4ʔeʹZOcvJ3B_[&hvzP4[*KQ`(wMŷ"eisՑq#Q@ c# ~ZB^'y8/lA^xYb@3G %m鯆N, 3"KpTjz>t15?93iQAEn]+%j@?4C2јW:#3?IkL-hEcPB-MθGДQ.qlj=djń4\M h |^&>λ_VP30:mYC_ of. 63T:MlܦFDAUTojn7rAKRs,opY&Ȫˀ1m>q{ؕrSi.+[YTD#(,gg*F#y<3IQV=Fox 14C>#-%nS1G7fS"hj2|: 3a(mS(LKq@6!,'r3xHٽYžW,aL zSc)~-1c/'T,Q2aЈ>ÆjɏȜ{;#a|#%2ZM նۙVp0S<4CeꓫB r>p+Xl^4{u쿶O'VW΄+mM s£cM`i+0fٟ(E\Sy88nԒ]C&M%Y$zCеǴI'hT=D(+/jzFupgՑxU xP0IsE[j+Dr #g@cp҅1:+7U4npKf10'W~\̈́\/`F2rk O+$FÃ!j"Wuz벜Y|#fQ;g1n1 qm7PU&5-YHJ.ŮyKvN-o6{|*t 7/R1ʪ$O}ڦ|]Y xq  x(@o9ae#*/W.&xVO}7Sx."p֩kvv셞'bHV'P2_C  a˹=j I9_ nf;VT[ n+T `z6>Bz4$}= l%Tn/1ѣZϙ%y$eqN%FWQۡKNp >QV +lf֦kD@{~fTyD^jت:sI`C0nXR6nAsm򍸫@ }TwD} |Wp`OknDe:<ۥdaδpmo.ރ' }@O&h}j}V(˩ $(\;2,$pan!D= &2H``,WjflW6*EL@{?kldiG WTpZ9I;2kK W %4]a3n=(M#K $B_ ?OT޷A$wmaB|_ ?Y`a*l yΘӰ#{qvj zwvֈNKZ9i {^zOPizDE  XlLI5a+Å)H1(tV;ʾ z'^,3Pgrg`#JDs +P^ @ KD:,^T[>)m7 ÿܩvu{C*{^IU߀?IB?{_7U״V5H!|z(~)9FR.M@3oڸ"-.19%35PKA85oبCaJVU22o_X}bwWyUߴ %KOI"Br7w@*1ҹkY$|Bg 4%͓H$$yl %:= 9T6`t{Ж2nĶ K ,@3:N`⢢-!5~Ar۲OcEmä9U:+=d} ;PNX'X rˤ)2>M.z2[veY'ٖ.}<>(ٖR(#j1m\"2qWYv?jD٦E]:~GGd]@u)'ʤGS𣀟sl*2"d}d u0{VjwQV% 97j\;GeTY[[oO]Fds:CLYfay(pm0Bl x7NJ uh5^;[8Ch]收{V`73!,98\Yf㣁PV2W! z ܕgKn G5S\LTxkbm {I{*|P][O8maeN},nrzӕ~~m9#(h^\)K3VQ5HEê@VMő c#X^[Iiw+a DY[iPFPG1la2@uṔs{d=P@ xX/hfAyLLS|O^O*I NEqS4ŧ1`Y˘~3R%!gE o-0^\N5Js/6rFhb*|!n1$ۘ㹕BjJǪM?/fx.}R(h)fdl{gV] H}'cF+*F)HT!^!UJT`%PXj&lX+JMw)Q&}JHf3F|6\Q`g[I]̦hKf`0&]&rƧyQxeUlq=c)eکdpAyEr?G/A# SlLaeeO<5y=4oش-#.pf'|:dPwX(IIL77ss2m.B0R0?툠(4SB9`"h=M?sKV,LɍbB8J: ()Qs'"U;/3oo1HjFGV?v&A^s3`msd_HP |6 Z"A Z*&fPG]"ثwPH(ʷ`|{VlQdY-7eTt!U\ tF'bc=d)m%D]+ ; hK550ŲQc^ج% cUN8뗹&wЃeOzxPsn˯,+ԳɻG/ :b Kt̉AicujZ4@̩ $.tno_6%=X#v|r}1W0q8>iW8-&fh*N)}d/.jS>h'U1qxwW%9b^iw{sڙꝝz$J-jJA>Zp3}AM_;LAF )oM2;}mj/g ~ o՘#Wqy  R.s uڶ߉򤴽u0zM Jy$ŮY[&&%buяZѴ~&A xdrZ.W9 狠[kH@,=X K[r=x񔥤/ǹS%ÁF \-rqr* AgDT20=4V-p/47^ { ~/T >oAKp;:3dx yh5al?9DWjڣc1F}5n'_Ep+cxbFp-T2{M]y}cPŶ0*u bmDqsKYuхr6#e("GEIh](B 1~H%5э=fF )l[au OD:9Xوȡ\;-B K6L2݊isE^#$񺙀LP vMArSTuTJ0=Ay幓3 u1:!P.+4y] :z`C d$J惹>t)L ƞ 45sV {:nnRylT[gVp egP3V '((+dr9hV8YY U"rQ{Nj٩6']X (=&*=l$c DcJNʂE'= O;y;}#^]O[xOz\]?Sat퀳^lPö my ek\Ԑ<8/%}5O& y8-7>0]FցmN#fOX'%I^6>D[pdv8\>Xl d w/,o= p ZlZ?Z^2-@eNcڙ8JGpOjy q-'=44LGx?6ƧR & .ѷTx`hЍ<.^n,eqá>)UҸDgaKŁs+% 8A|M-ZG9D1j7gUD}P*}nG"TIYK[WMI y9;ׄBԈc ͋>@(8NOT+{t%p[SyUI|WK ZO2(ʮo:VS\iD*E/ipp'3b[M06I92Kcd?K2 p]$y7>ڈo&Y3j]a(mpg,loC_;^-NO'{׹HmK}@)"y*CPO{BE5>2Sq)d;qyPdk[rU@-&5 lkCto%bP=a=b="RsŭBk㧪o6A(罻L\g| r1~[ aQGe~3h~ mbvhcS+!'Nxbxzڟ9(ewzl0jeހ;HCѧ ScbR- ;|:#fP߱Ŗ5O 9B/yE t)qtmtLMPyp޾G40Z1͊' ;X_Oƃp + ]TNctt>>_2շfYƮHJl5+4l3u{ӲƂU,ZC%Ĕ;Hz P-yzRMɚ>3HP<`J:.mCI(lNs,纙qQoAgNc7UƎ-H|MCfZ0"b,NΏW, (T]4E;,1drM%sj<(ST5_8-ő 8lĢ 2!l[KIXݟlp!v盱C[ĩ \ui>XF}J&vt"qtX5pe?S`1vl GvZMX.KܷEI\X\r`U7j˦`gpy4=yCx OMW?Ac7:k0d&+Aᐠw`71ܜ;=leOlHˈP0OCnJՐﲠv pr-_yli"` a&XIgo?p"Cs}~lb=x''dQ KWBv_Ā) ?JT-ZYA(W;Bq-T\|mP˪sX5`㴘ս3ݴSӛu n=7BsycT;OJ&䐤7g|-va?g9= 5b'R;mǠZQa 0 ΁\Иb1F֒)`<Ю?i0pBuG邫"< ?d>qbV{PCLjF!NiiG'EFu <{uȣFl-bJES"YUz n[}e/Uئ+4!sј\l2;@U)cV-w'lV +F* ';;䣯T9QIM ˘ DЩFm ;lkjL1GޛLPyxqYBߥL#UΔB2hpvgs.ueSin]_Do4V)46?_ Ɉw>% )&Fmn\b}fVѤN?J{ 7.PdP"Ug5@[;];7ՙ3{3mSk*ۋ܆Ts:?4]" =Zk#]5e=G]gt9^,c="?jZk1^sX*ah :k]cw[ 5WZ%|@P3%,IAg: åV\Uo<&LH̍tzVi-מ%n9Jgfo%Z /`cDa89^eJlڪD< 7Dԏ4s'_ zRTZiT*cGF *ٙ+id`x)wcE|RslAI+Be;h[}N _=+ӽ%MFkp1`fGYkzqǪM(`|?.RJh XdrG3o5+0` ]j4{3C@۽o_Ni[:c NJ;Gq]!j&bqZ@'@,VyxA>?bXGR+n&iwB"ߍH,f0u< $9QA@8K=vHnҵ'Ʈ[/өn.D*wV{dG3Q=ȚB{qgTQyZqh cL/22q̵_5kkH62Y220 T'vvhwą~`it=ri}RgtM=66jimf-_ 1/ ae%Qu0KfBcJM!Ɓ8q8IU~ofP ޑ \CP۟h|:\*g@yP Ym]0&\%Ν=B AqK;ݯ-(x< d5 R@oFhvqtQyhS1dwsKq"Fnٚ跞df6KbL&x3V[00*)#g) mttS-M%S!{vh ŕ"JP4` 8qÜ꧰r=Fis{ݵ?hJ4rl5Xe!ө88x%xh6ljio)_F84ikQ E@Iz[IȚL}u!R8پ^" .0MKӀv7]^PwyqMm'wA=s@٣ !ΔYcb^4R . 8R2:tW 0N-e55{7t6{`9$7) rhJK]mS@=*VA%֖dĽTCVue%_Ӑy p ̔G/3dBTh̻ɫJ1|e߰ %v(=s 5WēzP[ Q$}?JV!\v &JȞedWuNI1VV>3!U_b-qKuM#8r{P`gheftę !P z*>tC;(ǩ}˝Nx˳B&Cڪ5m*ALO x-l涼"F꒡XtlufZapgDױ^m 9J颬W 1}?`MODZ( ,Z *G4)ɖDbcy)4n~g\H:@w S߬洞XD3'5We2!yO)?a菖sQ8`뾹MfBis;(9hZүԠZ~ ~U'>!e3OAxfىsߠ6Bct9Kx` h}mK 2`ِ-enZїjg+a ?ěЌ|gLny?yrֆ2Ӿj޵At(֯]C6_%DVy~:~o"4;'fzOAJ_i8?/Z.փt{`hFaD'a w}wvO-)A8 9}7> _N7 сGHjmNVMN1^נ1l+ܤ',Hцb&wRk5A0h#u8Zv}mk`"Q?`ZhnNT-$h6Ο(rR;agx9 皂!QSmBj|1 Խ#C~vY/_7,Ylw)V KmңʊZ;ڃ!McEA~"6G?BKYV`c೉?ɣ?~{Ζx7`Ë>}-aJZ_H2ԍ|yOEs7'w, z.j 6'Hod8Bv㉁Xb:gy(P:Y&|u\S&38C#H"" Z,SȐSC6B3B}oVyHH?oޮEȷmd}wݞXwFaeLqmUX7ؚ$᳃7 Jakt4IY)MI-gpz Uuc4N!e@n5%>ۯ:"D+g6& vvW*mb$F80< *3|_ %_<n5)dݲq~l]ogi. x<;M(jqh_tꗵPQgh( ֥>s2J4hMfjc;,H(-D Rg> ۳?'fR I챯 RM S(0괢jy:SίW/euy޶o1zsms1=6ۗ -F#7/- (~3z"=4.h!7,<2{hڥlt| 4JB}DIvq$4_ F ޜ[UА LJAclYX.գާ&iUl%N2ѽ4$@SIjZ:P @ N竒R~!!&=$r=5DŽO*cqв#@;5ݤęRTu19˸^9&]CT2p1gO`?,L /P%6=AqW{[92+p)?+JݲyEߐ;'qPY'^P/8"]4agP?p87i)C|4qwED)R$@RX^)fD襍HWlxoӬ;8ϡw|CSTʠ~a,tP~vuõjh^l!}IԞ(2{zM%oozC<]*/Am5B/wV[r"T%N:\Zǣcm@ncC`n[J+pǹǎoЏ%R bˁآA3';qFKѽii}rP< 7'bat$SwCa~t,7Hc?m(Sдj6GVȾ!rr$gfK67{'@|N&_nq@І":0þa#(UײMpWU+z '`m:؎QlKu ʠ's3ޛL>M  vr"yHFdL̂Y/r^S6ȐRVр>[3eT}* `0Pno_̒~omI}\fc}aF[JhaBJoVvd+|@ I&Qׯh0q![nAȒnN[4Ash4QgQ7LP+̮HL!ByХ=ge.I%&FW*dgZǸbo0:j>y}i>1)vK~h}G- q(ilXxZnmChw$1u$φQv˪Tt=k|%h>2+,HʫD`芧{JYW A̓ёԧ.ݼAiKBU@a)8LL.me-Z F0 7bRZɝD:r~E0zc=yu 4U50w> v7M&ZLX$l'X Ŏb1giOX="RVs!Txba4z/*zqk:$7HЮu|xM8kjd#thKL/vwHlJ<̡ A0ZϪ,i⡉~J%ް1,~ANc'u}j`I>R37dqWS+ R_/ȫsDb- umocJ;\:Ty9=Vʹ8,ؤ SWDKNk <ʌ,2҅#Nt2ؙGQOmˮd/`bfh\g޷^Λ[zrgb,K߃Cdyb"@̿ &dC{߮3p< e͇&Rނ=g)MlBBU4ށǀ,pW\'5BE}s|:YK&U.%q=*][.H/׻PӖE6R Zԩ`3"(i>Gd|+m47uʞ,0Mo .A!?hp0t)F F,ϪUj?.1I61P(=i;4ɰC*=3 ~v~l$\@}>*!8kBE6-6BT/ [( (ܑC Oz"HO? ޾Fy;[{00A XfʩXl<%S1mcO)7eӶ>F.]{4F6̰p. 1\&]{iWϒ{AO1 NƂƅE"}67%~ةT5)&;Kv Y{ Fxd𸎄uYc&"OՌ]Of ]tY[>r.4D_EdsU ,[j䪠sl@x!z?~9 ']ꉮd j \'f`|.WPp Wɒ0zF˨oJKrLɑ`'t+`rĚWme-*I W9ᯃ0R\5Rr~So|A5_xցl#/6ۛpqih{B6„}$$ޠKᜓ1 8W<-~ = Έ|*a\@dR7 S7[;̂+W &R0etXꆂ.g9֝J׽% ʅR6Ui!B$> rP>uK}QāWȪo^LatQ{m E/|sngޜ$QTE3+ v͵:D!π]S8gBVZ4}uv体H\Jʟ1Д9^GHcE)%1q/M Pa%-=dۮEnl-/Y) ۦ@.NZى9n-sЃb ]`xWiOC Bi8br*`FF+ery 0ɏR* $Dedu EZ/\!H~yTf&f8)7V (c+#Ou0a 4 i@nT`r@|b\m߬YG0^[ Px+!NZfJ'_Y['7y![0q8fSj.g`ܝ\,K7 |&{rJaxSYN,tA7Ur`P.OQzn % 6$ K"ns5/s:dva7^ JG[}Aaq\sw ȟj,xl"NxJrt *flj]rejqr=,sG(C}&Y|plnz<n<_vQmp*nZ֙CځH; _غ}8ی\=H0d!tr6[Iϩ^A\`ٌ/ؾJ(2煭's|=@S&RdVFw@ٟ/ %noeT_,RVF9ܗVu;Y?9'ϬGRɣA:bBd361֮vEJwxȫHJaz/SS#y@ Ж)('%!Ԍnx5&c:NM AZ qHHMDPCwd[Qaq_;'pZCuQ>̝ϕpyl:' |MA+rx)QlNgP GB xQݳބ` ՆѡOF{cyYYu%Ѿ]g]6 Wz1;HA@P$#=iLy=;&t\vj)5nLNip+::ak^1P7}Oj+3i_N0kbv=j.W*Rhmż!T[52u]ócs3&,m Byq l~HHgwVɪ?U> S0˅K">ߵRuMƤ5;%DfhTOb,ٿ}ΨxXN,>h愺ƨ {eog9J\ϰ=f *]' ",c.@ҲmJzoMzJ(l9Run/o+JYQ} }yK )-/ !) zat_0u.`:n8G%;2zIrUcY{{A;k x{7*YD"O>^FQ g$"hLbW4RՎ0]xmLξ7NH^& TGAihn'rZLx|oFgIsoĉ9PT>%hK~6;B>xRg@YKJz 5N#]4 kz\6c0Zh҇S4%T}f#o\NO%|w^M_BU6@1t Xbkuv