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 V/tlD ]/ HOL-Types_To_Sets:threads=4elapsed=15.112cpu=28.396gc=0.8447zXZִF! [/]ŗXiɟW;g``ϐۿ+^\湡,%)BIz/5A+]/|R1xE-1W78*G2_޺^B';5Aȩ6Gn161,1n2o-FA웳.Ūjct#d%kU4*~ډ}~M 2&+6 URASB)4 ɹ}6]@]ڊ$X,+bTb 5Ek¢˥>9HκD_X"圌ڢ{SbҰ5`03uXDPy scf` ^k`qg&Jj!,(d+x;@t{"9 |7!X3F^y$^n<۷ )%%mR+j1jz 1 Gh`3~71W'0slq.  PnfҴ1J'@͢_us־TJJTcae%ݾ vt'V 2vϻ=ځ3WDf$j<_+ZyT*ppoL !ɥW ^gYZ6c08eff58ccf48dc4e68cd521d209bc3209d2f92c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 / HOL-Types_To_Sets 8/C% |HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument.tex7zXZִF! |7]A-MՋhvG"uIBm5vyK#ē3DtרJǭq*ws oD8;m$N <gEKϵ%L #w@*M B@MFf ai7Ȫ  eQPJ/YW@dƑۀ 4 \Ey7ŸJgvftp|R^yێO$ -I>"9!y 2lPiЬ}X4Z3D!jeљɓ~gU'Czq2)k%3\$N66]E˛εș8dpDEǹyE?op&|eǽ۝IWzGoFQ'iߺ_ i4U/1I).6/ʑ ,9׶}:{+)~,M R}ΈCPIhrBU;W-Eƹ! hOmn^_핁|W0`.uKbhu}"'ږBNn&ʬ^i%0pyT{D/jJQRË᥶ F:+ӹyPacg7EIRzDejemc3t'[rKƏR,.P^H;rj֘:nP A~pMBR@ .=fCY־Bñ-S-VN;+l~=qU^- wˉޓ83P0''mWF朠IBNxyqTo%zʬ"d`ӯs Y1nWneE$]ZRtǵq`ȇ'4AP^{6rsa|Nh =wgiQ|# 3JR#>IxVyrtE{m#n'tl.+GxF;^h-ȿZ@x)`=hCvn(~aHX"Fg+tRsD4;]0&8Qn|p< ˤym2ϴ|ҥTu) Ĥqei8=_XەAvH-1 R 鉴JbѦj4ob6ǛԷ\ÀNCY]a)qus9vحcEØ )saQd.qlsk_jYQƘY?/}@uhi([P4Z<8r)twuHU۟Pp;c.K}Ȥ F-;54&r2EvP&cc9/ Ļ+" ƿjq|F55S3:-]9b-`}.b'7Fn[$>؎*b?qsȪDD7r(ײc y{vdwk$/J)$t-Aɵ][5v:ma Jʂ{Ob%0#ipE+?C gN(P4x3VҶDҍL,=IO /זV>{U|d<d1+nl%]O#3R;$T]Rd@ùk_x۲kNXa0oeY?rD3 YX^zlԹ]%*~ܮcO p nG>g )xw*{DxPRCP.K"?#]?c2ijY&ÎS^L~AQĿ>?$6dIzwPKRr Y~`6M}tT+f@ fOHZLO&Or|qfjUQgN `#<9xdpU -!*vX/DnF/3͑곒1I {% r)'N^WˀNE x6nๅ +2/JGX:WH070  DE2;*}kiOU?}CgDi5^~{fXM[6I)9џ31s]8\i2Lnn11!<, QgUeDd@)Y41 %Ús2`ZTa/_vf#~lpneLX_}qٗJd{PSO'Ϣ~ YNZ*y JKn/>"kuȨ1"~#'a ?s?O[QyxZ?, I}I9J|Ti,h[6{[7?\wMbqv^}EH!z/|Rn+ 4Q1{o;r;1 -T.2_ kƅ2E֔p#IM@䢜,H-ӌ]㧧IfIGTTXySqc哭B"I!Ĩ9E3Ftq׉al]-1CJhtR]Cl9k7:H!8NÂwДBazcH3IGPk s0f(82r?C4o,Oi\ Z]ɅSk:cnJxRt%T2G#fV_IcbK$n&:\ð+HIZ|C4P_8) 2rƧ@kkЁ!2!q!M;}#vL؍v( 5 Y1ҋrMeٙV}w&T&bG0JUOJCDD؝덫ktӯ%>S2 &5Y`K[M}:3J݅bCPQݎR!Q)8ܬ@Ϛ!=X-vSYi3`ԮwB|[_ӐS8NKRpu q+j;I`Y-s9 n j6: {6膆EV#3*;_\S}JrYAs;ZRAQqi`:-kXq-~ 򰃳mm7thp@h~K缇!AK'yep14jlkԯ|@8s뱋>LL{Zr\r}׼6uܾ<;踶\   :- vpF/S%HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_Ondocument.texB/K%HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_Withdocument.texC/M%HOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_Defdocument.texB/K%HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_Setsdocument.texB/K%HOL-Types_To_SetsHOL-Types_To_Sets.Prerequisitesdocument.tex;/=%HOL-Types_To_SetsHOL-Types_To_Sets.Finitedocument.texK/]%HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_Withdocument.tex=/C% HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument.texf9* Ivֆ:O6)nYufjZVj?qǣ`kzk!<^."swFR~X>`VGt H}98fo ۛ AM׀9MaM: ݲ f-iJv(ltvŀ7&}p R2\GR 8HKZܷ:jc\q8Hdؠ Ud_%=?ZkbE9Tb],Rtz2U~!q:rJ|Ͷ1l{K89t3>e~TXnjWrqNރ.^`,Kai{dQMRJ%s:؅/wm[-ȗW9$dwePd݉ kSR>կ:@ ڸ ]֟ϚC&E`;30:P6YUP%WQ(`8 Ig*Q`vZ\U|r'$a^QGӨ,L: f8V4s|ڭت 7^N l=qepdӬkVyK# 1Ő9/ `]Np;g1?x[԰vXZ4cٞ4ƶpu myž%OKaSYW QQrgYlp_. 4Ko|czKs\qnF޾q5n_!TؕϿgŦcO)i7 ^!i~UOp<tN@T/jHC$z5ʣu)%0J_)R%Eo[/Nd%xVܵ~G9_ʣ kqECdZm[!j9\=1qʀ̝wifѡ%-Z'C8v̫ Q YZ;[ mQn ﶓ<?F4S蛱 ]"c; #Z53p#|VCrЮM!o؊ ĩ VacKe(f zHtϿ@~r7ڿT _te0ޔ쏘y!zL ބkN0ޱͪt%*6Hk|c~Cͯk)}e,hD!Wj,ςQ0horɢ)|&}?|?Iǜ Zj) ] 0vZI'wmfĽ"gb1U#lHӻm|kuSVady$ވJ]`0^=8`_mW[N &r#y wo>[B)p>9҂MYn)`n_4ulfy=N@jHjtaGS,,{]%#DTtB;_jQ@ʀdՓ+df: S#/, gaC=%QjYW97ڪ(̥ !?n~i622%+$4f8-nV{PHnɩ.Q-Ix8I^W+Fx8O6z^Q%KP2~n$&dH?5ŭWۂAW=1^@LA%Ьp LxyOX !TxO\똃9u}@PI X׾Ԣ61(m'"qV(RC͎~6E\M=E`Ա(3Lhה Ab~ӛ;8cus[A+i( q3&\igr1+ хg> YP)mvSo7a#D+-~NMvSH|Cv} ?uc:RnGUPuY״ !ɍTi*G')~*RziM2<L74ʗYA5o4* LpK"%y1 .$"X,y:w %dWhއl mutPMpۧXbbz*P o"2p]6k2lspKl(>|S4.elCq/eTj M4)_D7z;Q ;}{O[[{,# }bz5]FFꌙ 5UEװ,LgHڭu \[K]TvmV.U)8dRK"4-2QLD$i;(7}dT'Xx+[N%^kX:Oݼ9~g-VRYsoɲl%P7zҿ'^QK ӿQ Ba6I{IblK,*ݥHme=MGu$~;bH`Z]L zݳ9mI;c飜:fN$E &HgApfc5`IDYAaú'20 坯7):mVEvx)#J*lI 7iKa]30a \ 4ru`6bS01GK:-cI5Nt;W7f^`)z{#w쳙i7dMO9aWkp,ezCާ/,-m`آV4WK;U&==D HGvO;_:wt`:,gK-Oޮ|UKi */bcAlm';ɻ5Rg]&0,rI} %h' ܁z)5%\ GRj3@S-h:*,J[0 ^l#!EƩY6?PP^-R&7m*z?T4QWR^ő.E:u\y x Xc͛\jr3LNZ3Hcd(DoO{;*-ԁѫnK=>}Bܿhf)DH&RhԦ-R2-w&d=:ʜIuCT54ˍxڥ7)Ɯ*`v"ʳNVzr B2 j̐H%ܚP`˴0LI'["&\y2x<'^3z.> _ 1X?hAg':n@r qF_(hctRْ?,=绀*xB,~ 2Vpڍɟ3JkYۗ/5;3z# (.kp"~mSyːb-LyHFbg&ͭCJWFohIFbp&GGdB=|A֊'KZ@BCnuVc Au\'*'gYZ EE8/C% |HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument.tex7zXZִF! |7]A-MՋhvG"uIBm5vyK#ē3DtרJǭq*ws oD8;m$N <gEKϵ%L #w@*M B@MFf ai7Ȫ  eQPJ/YW@dƑۀ 4 \Ey7ŸJgvftp|R^yێO$ -I>"9!y 2lPiЬ}X4Z3D!jeљɓ~gU'Czq2)k%3\$N66]E˛εș8dpDEǹyE?op&|eǽ۝IWzGoFQ'iߺ_ i4U/1I).6/ʑ ,9׶}:{+)~,M R}ΈCPIhrBU;W-Eƹ! hOmn^_핁|W0`.uKbhu}"'ږBNn&ʬ^i%0pyT{D/jJQRË᥶ F:+ӹyPacg7EIRzDejemc3t'[rKƏR,.P^H;rj֘:nP A~pMBR@ .=fCY־Bñ-S-VN;+l~=qU^- wˉޓ83P0''mWF朠IBNxyqTo%zʬ"d`ӯs Y1nWneE$]ZRtǵq`ȇ'4AP^{6rsa|Nh =wgiQ|# 3JR#>IxVyrtE{m#n'tl.+GxF;^h-ȿZ@x)`=hCvn(~aHX"Fg+tRsD4;]0&8Qn|p< ˤym2ϴ|ҥTu) Ĥqei8=_XەAvH-1 R 鉴JbѦj4ob6ǛԷ\ÀNCY]a)qus9vحcEØ )saQd.qlsk_jYQƘY?/}@uhi([P4Z<8r)twuHU۟Pp;c.K}Ȥ F-;54&r2EvP&cc9/ Ļ+" ƿjq|F55S3:-]9b-`}.b'7Fn[$>؎*b?qsȪDD7r(ײc y{vdwk$/J)$t-Aɵ][5v:ma Jʂ{Ob%0#ipE+?C gN(P4x3VҶDҍL,=IO /זV>{U|d<d1+nl%]O#3R;$T]Rd@ùk_x۲kNXa0oeY?rD3 YX^zlԹ]%*~ܮcO p nG>g )xw*{DxPRCP.K"?#]?c2ijY&ÎS^L~AQĿ>?$6dIzwPKRr Y~`6M}tT+f@ fOHZLO&Or|qfjUQgN `#<9xdpU -!*vX/DnF/3͑곒1I {% r)'N^WˀNE x6nๅ +2/JGX:WH070  DE2;*}kiOU?}CgDi5^~{fXM[6I)9џ31s]8\i2Lnn11!<, QgUeDd@)Y41 %Ús2`ZTa/_vf#~lpneLX_}qٗJd{PSO'Ϣ~ YNZ*y JKn/>"kuȨ1"~#'a ?s?O[QyxZ?, I}I9J|Ti,h[6{[7?\wMbqv^}EH!z/|Rn+ 4Q1{o;r;1 -T.2_ kƅ2E֔p#IM@䢜,H-ӌ]㧧IfIGTTXySqc哭B"I!Ĩ9E3Ftq׉al]-1CJhtR]Cl9k7:H!8NÂwДBazcH3IGPk s0f(82r?C4o,Oi\ Z]ɅSk:cnJxRt%T2G#fV_IcbK$n&:\ð+HIZ|C4P_8) 2rƧ@kkЁ!2!q!M;}#vL؍v( 5 Y1ҋrMeٙV}w&T&bG0JUOJCDD؝덫ktӯ%>S2 &5Y`K[M}:3J݅bCPQݎR!Q)8ܬ@Ϛ!=X-vSYi3`ԮwB|[_ӐS8NKRpu q+j;I`Y-s9 n j6: {6膆EV#3*;_\S}JrYAs;ZRAQqi`:-kXq-~ 򰃳mm7thp@h~K缇!AK'yep14jlkԯ|@8s뱋>LL{Zr\r}׼6uܾ<;踶\/gYZ p p /=% $HOL-Types_To_SetsHOL-Types_To_Sets.Finitedocument.tex7zXZִF! 7 ]A-MՋhvG"uIBm54si-këLr<@QdJ4iQ2bIoPL' -+o ]!)%G5IbmBr6VԐhبܕOQELXݳ9F6a\wz' ]1t҂Qtxgi7M͝_G X|+UzWg^Sjo'ge p(p^d`pQaШdGSN6p¹f$TKi>2?h=@}8xy"G6BѰ rM}.DlY@k.3e#{Cm?A|}DR z:Tuxzv Dn_YRv!}T(p4b=D0jo۲P #' s pMr3Ӟ zRQj J#ɛZ<"c[p [͡j-A-mt$Vڜ8HU (,8V~0.XѫlaqOǦ %/jQZ?#`ukW"agc?.)M@` -Pi%h6cZJU`MOx΀]JTkje}x g&:2@LatݔY 2r TmRQ(3 ?uЃ|WZÛbOsZIwW70אRJ7cFCa'_'cuĐ)΀D R kt!dvܜg#HM7X9jA:aIj Ȯk3ݤ-*ޓ&?-ZsyލAReS,V`Z/SҎP\>l1PD]C`S$V OQl Qh Ԅ UF5EGq2s.ܿI|lc5P"/~y 5[K+)zmSlYfӄL˿tK3~WD'$ȲkS:ye91Н{F9 ~hizE-ʓ}TWN6 N)#ق?#Mvr? ^ hq(S20]֟4 ) Mְ6$68>0 h<`[b*|0N[Af֠i&簃=$l-NpcurAq@tv)[%E~|݅oT\~0B sJ&bҌuz; DJbASyGvcaCY7g/D됧UW_V}",&W/O^ :f/3Ppodhx߬E`ƒDAp!TCh+1hYPb2fk9iȎeW&̕V?QyE,m1vW``hφ|+\!l5.18pU;}MGK=|usp>_YdM }a]}Gpk'ҁʪt:laܱSY0ub#s2܌Юb^LQ-;h#FT.$bx"/ Bcw0;M2bO٩'H&5jG\y =YD49g!$rm}sAp ZFU(NĘ@DML TM&Ii$KTCMЗ%`9 "A9Uh7~ \j{.GosֱgYZy/]% dHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_Withdocument.tex7zXZִF! bnl]A-MՋhvG"uIBm5hq- IͪśF]o=^B;+-پk`*VbدdL|ϜnH3{~̖_ciR yx{0E.1<)':hWaUepY9p&MkghAQ_lѫ-,Ttl>rKX1%DgSf|quKwˡ˿#s}rJg Ռ$ dӪ]L~T3KW1pĬQ sU?ۂ~GFgLSG[bCs +:1!(kn,kJ~&b*"Dq,I Dd5[>~9E3OEu.:\mvf\R#ҹ(@x@kJ5`Pj{"W% SGl @`8L ȁpכ d2]aƴ.0RB 5{c{Џ:XQy ge˜j|V2EYރ\B3]1*+ :ܒdlGf[5NH@%!F"/g ܺ&.\fS -j5LrBm=*PHd"s㪘B )iUOw U 7P.{Cm3jՄ_L V2C5Bf{"hHku;<'݆^ǝlI W<:fL;U<٦JPԝNcq9h]x|y#+`K`S1fKP72 |i;+"_1]jpdZ +9 >>/K% HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_Setsdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5uW ~%˘ETj, J`1:)152ۢS? ;%G0`N󚓍Ĺ:8rʼ&yNaImK[}'٠z94Dʧ/a %s ;snYѳ|}.^[B F쯀wNաj39pxnA kqu.*`0Ŭsf ACO ~hbzoO8 ͞:۽~ի܋z3?gOriELzGc66v{G[m?SKѫ͙Q%+ e/j?f Zu~b-[?92ʼnr] B-] 8kڮ҆ lF]_oqVs Gxټ$.g - v!:E1:aֹ a ?A/( )mfy?@}=q+3x;jyd`[Gٍ yY`&2VrR!ߌדe Bi3翃7gpSnk}u/(Ro504578{VL/dc&Qu#{r:-Uƛ8ںlϞnWh;BLƑ ȚT*^YYi@m_I/e27(${JzQ^PQRH_Ash?DaSup&$Fs6_1 mqbA6{;whgi_!25?XRPTul?HCڈ4@&oBJ cFt4HrW.?ɭMjgd;; 㭋|e1@ԣ5 f@4XeoTԌ8+"ؒu n(#BylYM IrLi<&^ʧZ{(A KKSq5EFǵ]An|3ڏ1-}q]+ W*ŀCxh2gQ.Z[f~Rt2?{< 2^q*S 2UnkםcԤuq'+޶^yu8Gi&JU 8H1,?`J0e.* DO(Jlh=1n$_a?Ӯe7%ACkvni}5׽ٺ[zfȺŨ>8%c+X{  HTipuYØPwfFJ^C=S"۞,<%rDp"̄pJ&Ҁ+ sCW)Ϲ* !4vzbeU9V_֠ERܵJue6n ,ىj<#-TŊ( n^ִ="ePe7X@&sd4fivE&ݷ󪲆D eO 塥+nھx4B܅NO9gT?߉7xtd_53nORVQ+huз0߃~ON\d/M ;Z` qk&U g8hsES5fjNh ݻQsLĿsA@EtHN7xa{<[*De>6bip 0X%p4˯/ R&U3*)m  5OG SE7YgјCnC!K_W5pw ccfqf i' 5p ^XbU5Ya8F§U>ԇrƱtmH4&fHs5C+S`*F?5(bݺ"K4)aEСb3YNDu}ø/x)W!aI]NJC &AW:9'!@%ۼk ^އnwj\]s]L^P@2QBLMP:qf/f.rzI&Yި >t؟yDŁ)'8j-ГSBjhaxbN% 0c袤|aup'CaUk=C^X_)瘦m `ƶܱgYZ  L \ /S% |HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_Ondocument.tex7zXZִF! N-2]A-MՋhvG"uIBm5hq- IͪśF]o=^B;%^Kl{c2ͯ$b12˭__5AdUy%9 u&8ஆ ozqmRM4*M$oٖl`Ȉ쀸lݱGܱ#aLcI ܛF>;ju\\= 9MżoJQ9:mZaGR`8s2\@3X=/$LR+H,u`VlQ(;h+WCgLAYu,"_/h-,"pk>j]mXdS>a.쮑bܶ, Xwܑ0Dφ*w+ ?E{GV6C]gi ^lx蕗t-g\3Pp@2R]&ZHzݭ2˨ : 9nxKnku%s-~,^D,!l0>pPŢS50 a5~}7N,ٵ y /K% tHOL-Types_To_SetsHOL-Types_To_Sets.Group_On_Withdocument.tex7zXZִF! s]A-MՋhvG"uIBm59>(};SA|'|D&oyOe"o,h{ cMue:ǎl;`6(5 FF \n3 r < cݝƕsqTp & _{KQ}쥹>ue's`Ph<G;΃6yPVF+C,.!'Xw)0U1"|H_l} j%al}Tx.޴|}$ xMtz^axӓa\n =sIf8 ec@8d~`AX? t8S: 1/M% dHOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_Defdocument.tex7zXZִF! +]A-MՋhvG"uIBm59yTI  YDIeT]8 ؊xHRU=R5kȯ Puuhj?TYl)-~ )juU~Dق1r\Ըqbݯ *_+j "J [(8A=o灼[N-zӦݜI$Q&kcCh(͚5:o&jyLBAg1$Shx2M5}Hq,CH2ng5b AQQUq>)?4Zr~E:D9F݁k80++Ԯٚ#TvyGrwt%4jKᕃ0k~ZvrkZ}r\Rtw=# T+4!u;rfkPq_LtrXcLpw잏EBU>fF|ԩⶤv..&6ZF Ky7ceylt> _tbHUwMۮ:gYZ 䒧ɷnuĂEAuz +'be{Y$亡:󹩎v`$%U&j,7*5 UyA[^(&Xy~Cz. @OTbHӒdC \nJi+c]'&C"a8rp*&p OTHnl6>.hE.uƳo>>{e+|X g 曄w^-ς c^1}>.E74?}km.tS$tKyF3=?%w~)m]}-Oq8\- ?!k)R/4+L^0a*!ld*A$ W픻h@^tOxvCSϑSd0cqm'(ۏ8mn1 8P֘nXT;{9@2g'fb !fz+GEc"\>2UhLh?pكk!JĬV/X|3_a!#] (_EX :n?Hs~@+lRސHgD6?Nܼ%NAB h4aԕz~ZbN+#aղh,cZȠ>`NID <|%o?#$U 2%ou4t#WؤQWt]a{n6mx^)emQNKqklf D 9K+kgfR̝XM3t݂%I+ZH N(Edb^ #ȐL3˨-m~X)F=?_z<}f܆dY nxS8 ]pD۸k,sr4o]?:Itnf M-Xտe[.JƍY|"dƊ[Gn2\zZ ?-/~ǔJ? T-!]u^`h?ywƽЇb0) +<%LdZ@i`|D[8|CBl򸜬1"M6{;;~_qBnMo"\eMl՞ +F]+ xEo%> <=w{2:0 oBxG gZ%R*Iѧ7Mw[2X ,I .=#!MQ<5/3Ub%{Rm/[}ϑR|@_mAkb~VP*DbPХtR^V]~)K߱Yj濄QB08uEtS߈.Uc`b\A#[XrjIW7uOÂ|g7MqtYq /+-A_h9ATմo= K |p9GRݗպI*i680֍dT3*O>GLє_J˶=;q"_AeLG׻=wrt<dbH~KH/§DPO%{v1#2,}C1zGMi =MթRSreeh=xm l0{nm][0uɍh:ӖffA@IevY8أH?4H9p㥠ޅ8 _ S\B_R ;ט7*NIK#q'$[taTs29`p/')~UNrB80;T7} p$YP싇A]y¢Zkz!i dq]Qn6וc 4W Rn1)q{@Ul -9I_[; v+OcPBL~bV;9 I%Lڭ>}XMغ$%eDl 0T[{.qt.)\dɺy}Q2,g@,]?o z DkU{A^ZDĐ^;jԱm2`@eHw,H 2Å~IkJPe_9%~KjYgS&+K_P? #ɉlZP%XyeriҹIxUbrao42F;D9Iu6_}][F/4D->S0lɍzuVu!c^ܱi) N`;]iac@gYJ4.L dl6PfZe_qkpkj\xE ?ѽ48JHӃ{°s; ^P&"{|lUzKkn 6kgBk&ypʭI3@lGI5  É>UxDz,ωG\#xntitaG}\{ui%dW \&G#K(o?(MQVѢ>Fz%@-7&xK*I,ln"XP& :ke ) IU2(= ޛ^'>üSw*:E׷ L<;LŠ'򚐷:T`-ʛYͪ@M@Ǣ+&SثP5{'&ojJOmώ5eN{_*m][J TQXxC׭jSDZL䦂3#*ʝi"g\K[ ֜`u'/_ tO~X!\c7o g_ Wf_|zefٳkÑ=ykyocj񚶘/h2c~@@:*G8'cw$qݾ X ] z `k>I/W4pnRC%aMd74TžTf(yW|;L L>0KiXXJNB)AoOFUtqO?#ɖ3BN)uԚ/ ~eVSHC,T#\M6'ǽc5*tr*ˡ6ukaS^sdt, 9w> {LH .+LvHMdž<Ч$?maX-EӔy9y&<7$aYy_43dt-USR3#ocj&_hw̱If+o]^g k}U5ɱdJu5mJO U}o?ސ@˧wlw $Ub3K|cx!uYn{] {p %e5OI~#nr"bmmQ > (r+Mg1jL8aq&/H}̄&f 9VnՈ!KޓvSKXռY?MC]%;CK7h܃9N8/&5lKA΍sJ;;t_Ir\!„B;I5T[e|DcR)u,+W0cAg3z+, 4yyD KbRu{X7H[g3 NIq]hyЂ/V`pʥW0g (_\C$t +: VvpÝ~-.n6ΌjiZ vS ȭl`(|WX,\2mt6tUu|;k% $\+;0$N@aPm/UI]6MvNO\6 K;<^T\93׮w/BCR{#WM`ys5_(h!>S4ݮR/>YH~-bhʭ6gJRcOK T DzE}z(2c"L=o &豳8HZ9|]7oUbJ{|U8 s,kW:wuI?Dl Ffk^9sԓKdO Qc[ڭ(CȂONue$uc yX>|GOh;;A4 ̈́rFùWzq^Cot Ұִq$-gHOpU& K4JRzsmlUJgNŨeJdw4IJYޙ0FMx7/J]1sX/@ل Z8Zxy@jfɻ|coE*LAS~r_mV͜uߐ6Y}hPץ-(+4B/%_A[P_enm.RM)&!bYA43i~ϩoӴ9 ?NYWYDoxW;vJo#+X%$@ ~ЗI8Goz|\^gFJky&K.6Z܃d1Yg(Kz3G4\ eS %v&1~7Jd"bJu7٥ҿ$iovx;b, Ry^z˧s~<4R_*ywIQyCXu%>=Xer9Ofm@ƚ\P奍7* =a K&ta?0xYfV46,0l-y+k" # 4H w/%4Q^1Eb 4Z4Qӻ#d.CK64@juPZw:+ D4ֱNԝ"5{tdzVEl/UI_P qx4ЈnM #%| %"؝6L3 )re?B8+]R@>`R^zf+F[1PѶ 0 o`ϖ5h:k_*)h[~nXb?(y ggiR3(ڻHm-W>S7ONvm7;gaAb&v^; '`NP!ݠ=Fc3a-+~.M!fg FAlVq6`wcV!lq`t|ګG~.|.!KҘfgC^çrHFMl 8(#n\H+ԧayI &#8XpZӚ\|0lUt)`iIrKre2=i3 nByEhQa~_S9ɝU$dJdiܽcoߋ;apPHr]=o* )m^-ĩfBg xRLjVMyDK`&(I҆ xJ!Ҷd:WRdo3 :=6eX6 YFdMMI6O*i9nrRZ^ǽ,0饺R 6bo%9 mmwB~G\rۂbݙ/'W?,11re=s.DoO| 5 A6OYȃgnAeQ8w 8QKVnC#|h9Y ,JXTU)~PEcՙ`,/ .pF˵j:ۥ mn#$H?Ɨbש}urX[A_jxhָ&:|UFNlsH o̬[_"<`n]pJl=O΍JgÊgęXDp0Q1Uu 2Br/:~f2t?,+ސEi1Ay67FsKb*has}p# ҿ!KXl)m>ږ0ŁIہS2N(u&aT=aћ?`j>k|~ Hĩ(sVaeH!櫛ⳟC⚅<ёA-@[m"U g4 >+;;T>M;ǘ'fJS Zdoѡ܂K< Qup1e ˡ/H^Y(`a՘i VP.ALboL +V>I&Rc&b1M c3C%+bYNR\iD3Y}QIŖM$a4mӈV+䫮x_ H^d7o ؏Mg#MLR'r7vQe$155I)\c()qEup[6l !+5]D# L4-Xϱ79 %f|5;gtytG#*zl$K/h흛gGRJ,ۛ%@qI9UzMK5%ԕ0GhZ,cE+ڋQhR}:ǒP K'[аݛFtҡ洏ETBS7HWz~(5[Y}'40 f-Fn_|!n2SlL̞{A.&*LخD"ƅm:~Nb??ka|70VƺIR"AKΝODٱ˻>^U"" K߶5컑:&b8֢g /<;65y4D;,0#9'teഫ7tk2ն hs^V,ѪQ!驠㫞vC292QObҒFz{i295UmH޴ KV)DGϗ&`3^x*)VAHa,0%k}4K`Mr&T.B,[hgo^*p):'l ԵvR:@sNV @X=W(\18Q_#GHi{(KOM ,;^̕?ZN2t;nrR6El}0۝ z<(@d)Av|Kx+]hdkwDw&%kvӪ:I*Z*(X~7]?kw ;у躛la6/6YSd&utZ_-P:?'e4?]󷐪Cc#<@ ~N.Nvrv48;LzdXSl.뻹A$>4IkPjSJ ƺFJFL}0 oWv-SȀ$5^? {%ηfpj[-e0w0Lau?DwN+]M^RC9qøc5ҥ2Wߞ7w_f8>WD )C|j/Í$W٨gPBgzףO&J>9\ׄ#&en:,qTPjD~*ve ތ iW?Jp7mu-&l.@j5 v73!3 *&+LT}(]se.qM`rЭ(x]RF%࣠O1*o SKn+UUìR+%wS䭢1V/vh0VG훑x34OMdK6rs4PtD^"MUX =tGCrϼO "A\t9AWi;7o:"_v?Ԟ6|NChʘBm}^xF'ES.[^7eV֙Oy@r8xu+ >zj>3bAt3[Ɵ|!\:/)|M Sdg 3 ޣnZGu26h{e"`4YfWT(7hjVw,CxdM%*ڨc=3ta(^ toMuFu60w ^v_jJza8`ljw_`C^~p%u0$TK;6jaⱫdH3H7^Ty^lQrKBF|yq}Bv|e{=v ljzPH6>u2 xCCQnF P>S=ѨfKپu6}BܐC-Z1H;:Oy?n[m 6A,ʮ./j,/&|:T_ZmrV;TpMDkiY_'N`uIsk91ȳA@1C:Җs`-#$)g[ր! ]-Βb(BS/l pr7p5Od@.p)%v"ܽtXIXu6٬Ls2-jP0x2j "Q$DE1 ˉ ,xo4( j vSf}ok1Q˜򠫶;=C(seu[HKex}PK!"˯ *$ߤՌrn/B %7ea*=lЄn=y"vF٩غV֛}Hbl^Za5LgnIC%hbhS(ːr4S}ЧPsqep~ph0%l BJMS]$UM/rza ڗ5f#%=-_3 ~ה~˝U_eF.y='[7>4nu'0ACnyزkvvGZL3Mn"U'!Pi2P6EdvEi  ?HH(Dj4'4̤`bu~Q_>#c3ih5xDԍOt.H<=qS[hM+6@*^RB "FEum*J+͊deWۚdB<ط!wA~L!}At_"=\Ρ*R]C&M=aއz'Jm/ tfĔ>*ShXzJum.Y{0fςf( /׼s"C;GMxO57?rҠÒ= ea3/u(x&*qPf^@}`ԅjZ~43' rq w=Ƒ]F嶸<hALrG!*WdT6HwjL'.-`:N\0nBRz(@y'U]pQ7[UABخ(^J1<_5'Yk Ǹ DvRp>ڄALP(=rim~qFPW\5ac7۴ <[FMh%KB%~V#/d!4B7*e8hj Yu-H,e0p[}]/Rxh/}'?0:~hp S[pL1 +!D{_ 7!SDkmg?`zpr " ~G0굮pnSFm2 !wFpM7]\G'z.`05(47E~4B*:hθo^pJ_V&M`TU- 3PG~S!<A;=꧱ƭ#FEzV~ >W* < B\ =2}g% N =yFL!&0SЪ,t0ׅٸIl1MB]YWu!DJA/r y'bEFͨ_W6eAm:L#1nT kUߠ0$EυՁR?;w{{+T:<&ɵ-dX|R}{VW=)yMU^œĖ>|o /&LOA ]ܕ}y-2im5l(nTUr{teu~<[+̸#Ib0$=WU^Xs^; L)2F6PaB鱛+W[|7>>$lC~%lb t>%Y;"@X

/<*°ӭ=Z p 1sMZJ/~1a Gle8@0e&3|V83߯nD>mrW~ e?o"$NS&daD1ܑaIE-gՐ k-zjna#H6gBݨ,vvJN_7*3el!@\@H!~_1,[2fIy,@P"U['=*1,eKom>UZ1Dd}5. ȊbkO^a+Ncdaa l*|0@hI~4I[/d 3^)`3wP0N57%O+5]f_h">6o߅㐱Θ$QrCKeoXY7s3u4/ HwfNENb~ kYu5y&m L3~ڏK*C8A}!衹*ƎlLN-*7ǒ; yrln1PKMߟ^G?b(2`;by% E|}U0oJ .'eS'uJtw :;H:!Og:L#=xVUvTEc9'JQDOTp ]!Snx) -f7bE44¸81{9SV}ckDr@إ-n;aiʐJ₆N[#!N /0q=}5h WKtgrΣb%k@?.M 4wMB%e͉VL"/ZF`6#E*TũdGyŨ%ǫ؀r1~M5;tZE1 XF+6TI"J=o4JPq?)L0-4ƣl_Y v4uoۖYu!c&h 1oDQM@tܕN8<  '_E,Z4`0|%x~XZV̘g\vAx^Qk> ɭ!LQFjetPoՊiZBh 'Ei ՛7*k.|SsVkuPN|B%xQ \tfALzVH6־`d4hfvhۦSG{_0pGmy{6 >`a.?K(ra3SmSc ClӪ&(GKr`x)NE*ISMp_62);b0%g!t`uz12WdO "#DʗIh@'CR@!/o/n\9)sP} ^ yu}c]&oeKC3 }v4 Ew֚~RB:O/e΋b ,{d5z \*rZ!Xo^*l?<s3nT엫?%PI ~S=% $L1UZ"Eo.6`J\*0ݍ~N%-^Ópo7N&'ius9+ҁQ[>H }Iϣ7ͯN|2W(N g@Qdwfz kP];'amjVtŖKJ ,@OƔ;WD9  6