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 WzD | ]]]HOL:threads=6elapsed=216.152cpu=748.624gc=61.0807zXZִF! 8!\]ŗXiɟ{sc1TXӤXBxd]9H=Ӡ==f=K=aF0[ ]mq$m N̜!^ArJE"H?\;4fdoD@0sXhzI@W#1]EaU1/%/^oN$ӽIFR'97DT˃#P'-$NN4('XtCJIobXRRnIp䄢8(:g.`Sw-V?shSW0ѕ0a4f,x m HZnKTXr`R_!5w[vmZ;Nxjji(jTu/Y̡Gڧ]ϦYƫaC5Igذi?DHt}V@bU7&R:y;8bA<0ƅ\F{({~`ؙE.'JI*!ʸ69]='}%!t)>+`˕s)>. pYOzt[ݿj0Vbqf'ki@Qoc^]cA (eK =&tܯF2raL.6o=9In:=nP:_'AE~_qjF\%tZ2}_d-PV-q.oN{Nޡa:H5)D n@5ꤼEU1[yن9@-q1&al4HT#,N&7> -Hs8F|r24.+B,HNFRt{1*=*BYy;Ng/Idl˄k79{c4ȱ+w!t8XC&w_iፐ u\cjXƥVȐ3qfW,r).< bs6$_2=-ᨎv+q:g+( 1{.j\\[#0@F D.'.¦x82M1˸Ċ lgFEGKMFXD|;k.L瘝{:q1:rw>Bzؘv_ļƀ[]0sٴt$ e$CrE93eGv9 k=5#8kttaD%Jy5S_`x.uD!sJp!+{&2ߺ9b6 Izx;\(v.WCsxZ:f4 v_y?1c=B+pݬ[N6AS/J\,9Oi`YQm^&>Q jHL"8-'1+Y[7 4eGy>~?⢰90l e Im&nvtyTrgL/7 `VWŨ <ӕ }_/Iv LFgi/*t H珷dֹŖ~}nR䚆$~Bx9O8fa{+jj66 s՟9f.^ M7+*hXZv$q7 t8sE bH@[vWdmlV3DBW4tWU.Hm" ;i@7~9;<b>5E5(E 5m_4u@?l?&Ho`lVq4W*uZ{fOϺWW$^(+<̐\*ݢgH^EU*({c0u /t~;DrU #[cV2  BV]?%r3Od]mM1m mL,䚗 m^j0gHv#AT{p/l8Rۧ.Y  '>))lRGլZݹ9%Oy$4Jҿp7OPTx淎}3^&bڧġ|L- (5`#U:Wh@ =4n F(QN UF!F(KF ●ڧQ7,37~]qJfCm&(^d 2/{q,vHUau xg5Y04,RO"gRd~t,V$ ie~Tv6-.mȶ/F"qf ޷]G> V 4ZxFnOvJ|ų(ŝ8dnk` 6Lꫀğ yBò4q2&dynA:?NV[2pJMZv[ ( >mħ4<ۀ[Umlf4pʃ;yM9!)B1տ9_ܞB$l6J+k4Od;Rsnh NNdyx)^"xw|]fפ t_Ώ bhdt͔[/_m%_D}| 2FN/$qM/Ej.9N'Msoqh1Y$x`,y#e%Tޔ* &rvi+o(s:xh{+T0V 5!Y#o"O8k> =6ՑF]Hߔ~iM^E)hi:Nm9FhKc<}\4-\ o@WL+aPt/ Ě `ҵp\nZ׷ܩǶ$IHtx<")Y-q[Pl!LosV3f38ؚfhj$$n3Uws[;PA:hPYOIke)&Kvʎ\VJrrgȅᶤgsR]YW}/k)y9!u-VIo]Eu);f*E轭Lvj˺Iq2zv $^OL%  4O,gK,8 t!"cMazyӋJ3>;"=^L+IhQ?gW/ql5!&܍ &Z_ə,R΅3y<"?R៹ 2;_>2RղD/¨q0کG ,'=i EJ3L:TP|ױ?tЃX[u^R9 <#RQRvgQK` q p&j:M` kS壞P3+;VE 0dŗ 4u%E1GH[{'ƭ[#n[K[. 8؋vER'l1qBaqa"3L|pЫze<++7Z۾T1L$m̀ػ`/*cB{&u6s8yRdJs.:u6'Lf[wA*'.R{;~a 7xx'Z&<5u>v3xW:{Ʀ51e/hAQxc WOQKFc*A)5 hDn^x;LV"fl?tRNCB&xFAɉjК۠=f˚aXRhh"7>5{2=O/E˞18lG/sZAl=e-}zNSp3̽0 vEo*3<s)0 uhqe.pG"^ ok`)  o|}9ʭTD#낤s=^iDS'g~Ex ,”AS9JnE+Q2X BfnFHɅxn{_"nWGku*~J3JpGJZ~% >G' څ2)z‚}ԉěc[:w2+%Qi)  F|;<;QE,O:о3H2T jOB`zj/Q@# A^S㜐@KGz\v:&!*!m }s;nBzmZ W j"gl 2tJGҬ58ꙟ8D B8 r_P&3eĭCu88&Tmߴ8kw=Lٵu- =NB(bT4~6Wg˲F(%ѢvբH hKOħ]I S)]wS\9PxNJXx*L^ ;" LGߙ`u}xVaf&mJL4x↨K>7.1\2\3\n5.HP'Ћl( Ƶ7ҹwtrMBLF:TĈ8,bT %W6/e[dl5 okf$kqc75e|{*@|̇>^G-EIp ׌I5G,lZ@coR]""vյ L?Ao-ho ߡoF|$ZoymFn?PS8o-Nq=v+gxSMƄq*F9+iՃ`³҆ۄ[w!sn) gŢ4I *D0gIBM_9ט~,FزgGwYd+M>#A\&<2y^i 16`T W4ء$p!q>2|F2eypܚۮхtk2׷Rji;S_O UFvk%٢u@6_hl'BgSk,ڋai hz! cV="0Sp>[RA!/gZ1ܕ~iucUݶ^}Q1o5Ivb"TD7tSo.By~]ZZmFYx X^p[wF,8DIPc\6^H~t5广ja3_uJ s̀8'G]ca Bg{\!6Wfcݥ͒פ`Jfsdq>IԹ)@Y#?G1qnڟælfo"$%K X- ]nPd§WqJeT² КHtY{X}z'힇Q:+b ؖa^u|>wyAT'G?ikf0cEG `\7/ Pr:ʅTat[>ކ~vI{YK|eJ a>dy?)tMS-T駮f|w%ZmzhS5dΦD=D`MIeͥCclvMK({;cjqIFFP׫a *H6h ˋ Vaf3)ͣOliUUNOR+c'I\E<7" nR!H?ly`~@3ɡIb[︁qzbTV~Ӓo]#8P.^p}%%i.dߺ)z ?mDkG fgNυ^W7ss.ʈUo9 -@縞=g9!Ju8i=t[]/`~LǁtZF0̡9Rl"W~Ã7v ޮDž腻؋/`-qHnxɡⷲT1~->G"(Qy俙eՉG,Kaw.  }ߕˤ4&2Eh t5q2#ܮ1>K3-zY@%y ׸}y/h` J ު _7p}S-0 ,X\N"@Zit\a;|!9yWw-hA\1=E_(2QF3Ѻ:偯օ0)Tm7Pv,,ҠLؼz2RK"K; 0Ӟ>hȍ)gO{pʼn7ey>pI՝lVrcɋ}'NA} Kh˙B砄Fb?hՈl ht_]5p9Q_ pWvG/Z3*6\rrHKMXÀL'~N"3FLn#J_qe`$ՒnXecj)tiʲ6Up 8.[#c -FcKϛ`zL)퍰fiPa][%1 k}xJ8߱naX;G%pE}LOzu[y] vϝc^pZ4"E4 #Ut⃆8|bmJ^|i»glnREGIO?6A@J b%0pjVyUO@[.SĕԛF šz#L7lnI3]%wepPuNyd9:r\?lj βb+g'wC.cwRhHV u/k]Nq觫;gu-! +.dkMO+in: D;n0~s5ɶU2S2lxIIqkvYY_+XFu<-sza/Id?F"'?q.NyXgm?;@KRA;Ȁ[ lP+ hL&oL7h2-F(7bT¯΋IIk޼%wbJtΔO H.%\bHpgcDi j'5܄  T֝֫w&Y{ Lpj uVXipqvFq1Z膫_NgxqrRzY=:/ˁ(e`'u##UiǦ|7Z;LSY o 2w.Cqg!_nxg 'ҧ2̸Xtm)dS[HזIԺ/ P+O7n my˰ԐL/%8?v'f/vz]pb20Kx"q,WSiJ 5G,C`(ɌldZ= q_0C4!ޕ/Jj,.OK㘤QPL!邗y:E-e 6KKj-?ePU[_qSD/{랴}Ց`guL~Of%{=;KUh:?mFI(jK!GgAR1{,C-saVI$%PMqFa$ '֋`zˢYM=pFݧcZG1uۄsqE9 ,p$6'([JV#pB;>ˠQ5}$9CSe,K+) U (ײ'UE*Umc0*A%Z;hۺBDKHPnbE${$<Ӏddlb{&!>9̵iV~ՔXg^˘" a@( `ܓNjN1T%2U}zo5o s5e5ĕ p1A5tGm9^ t1m*j+2JVЭW!7o\x3sӤ3;KbdKbuR*֋1cᬦ>UҠ-c5ҢyzJuUVYTVphFħ#3@a<vM>Ӑzf~XYk/ jl2z87hhAMB7AgϦ:gYZ7zXZִF! LUx]ŗXi%L*ٞ'4Y(}QXYɖR8&v|( Iw8?$*r 3! ltcNP§"T n8V)d ~AO!ƒ0."1jAWۧaאCWHH "ڄ`[zqKj/ ẙ9pq@p2dLE0PCYT<mmsQڿˬ!nm9"ĎX"u9*A4*zqZWgͺZ~.K*Lj 1Xݗeq3ݱU#;ҥEvɞ _1{&m5F(p\?9r5>d7Zw|u s0Nc@{Ш}`=0Xo[{#2u* ;d#R] ŗ5aZe!zM ?DTAoj@MAc >*L@Klb/gxld,[6oN>* g:_Wa,]u{;GIr8fVFV#V72-U:oN[Fт5ySSՆi`Lj VRc5eDvȠ'C+{}5C^m|6d0`aE!L 2c<*l k\GBvfCpH L@O?]!r¬pntINk!"Iո~Ob1D90}-4[Ghg4GFL_SӐxw1d m||O&?1VXP$`!/(" f, "X)F t3W^J..udEnKUdN/@9'M7}~xO>Dlelnˋ7T*ܝ^S4qwK8ʍ_[[/7hA68EQVM:M@r2M?w"%>[RS%VhFm-:Xauf3.ԌiΚl5γI~$OE-I"ԼAgmzwiFi%eE_-Sn>sVqDLuԷѻ *2+J֬NXZJF}9l:RQ?2ehR/nDy`&ީi`$Hh=`3ս&X .YVo/c_\7yd ].^ JA ɜ!OLx(f︝sѠH߱%friS+˧TO3#o0d$`,^Ϝ/$K:!m).ǧ/ x|Ap D,1ߐ;˅4k{%761Ҕӌte+ ֩+UUP:ID܆?bHZ. ݟ\$>Ժ =Lr{T ~.^R}*ZzЌOⶦ@{UW~6ce`-ָZ//.Y9@dm~H2\3}AU4.8(۹øe^5]Dqrk#A~쵓V9Uma^KɈcʙ4<ˌ>)Μ8f`&Ɗ8"F~5έWLM]L"(_Ⱥh(_MWt། fu=YVR{S3+:RKlMtLH4?2\M+BK,[wF躭Gu}8NkGajQf(! o^fwƓSK760V$j; Ά^&Jy0rn㣡zO9-yȇ캬gPĂsjvHg|jDy0ٞT~ DF`Yh "{7NԴhdOWG;f$@o>>b!`Ky:yKGbztg;Ku![XGulpmRRu t:gy[%B,Wpؖ%:wiVԿ~S(?-`C"Cru~W1r$*Jho* p9XJKONmϗbTB?6-1aϫz%&I, {kz+yKA )]2%QAc3yRhXC]_[`-0:7؏(hO@X>iw~0UuBRLpfpa*\sk; \"$]:N0d8?q(^3$G]W`-dV>ipBhpZa˔ĄdS;̉-EPx ZS/avI0I^&+_J nᴪZ?LU܋.ЕFn`5i]*Ih]u?q%A(řp)f};tq^ƚ^L%ŬFİUhf: X1l&xJPTͼ{Y7CJn,FVHRDӟ8Avolm+"FȬ{ѵWmO"ղMw{J!o?bSwY.[X|b2:FI%cMNYC1&Qe^Wt8ߴ\zxpmZI|T1aj1Ki^gW3Q^|̃|t6R2hE&0hL f1ΗCmtQԼCQ m ,a8%?NcHp?Tr%ŹMU.ؗY#,2wFCoPN ΄bo|-*Zն0x+M뽧c|īA=nnǖ Rdrާfoߊ:܍@j,vV"I鋇n .dgPWo2VϔLiV5KGXliX JT, cQy^^XI˽ᨮ1ՔfWG8wenyzg`Y[Vrв_K ߨ;Tim2 mU`<2¦*۲"w]qȋg}IRr†8J5$tP.!mɱm3_OF}2W8b蒀t2Ti 5yUmNAЌ{ÊT`C ZqWzq#%BD D/⑊&_ {G!duW3 $x$8L N*ؐy;%*b]M9hW( d`Kh"(^ \vTd9f昱P}✢:H-p]g#?7mS^K]4>q3ƠW0艛W}ΥWڋ׵UsDm @Cip2l3R'6}w@( b`G/󺜽&͒) h_kͮXQ`Qn= 0<׷>)m-nVg+ч]p\݊R1k>#j'T)!`[>KB3LWޜ t#-ޞv@[FD(2jlvlGO9b6SE4od/`bY`le*Lx._C,7}[%_ # "so&c6QqXQ YF*ֶj̛'\&_SmR8bнCtm͸ԏ#VCҷtL W]k8-J:F^T Er3v|}2jg}NeDd\F]c(o>;(q2P)OSWdrj:Yƣc`AsiE[Eq U0ۅ8d5Pyv\ؓpM.vmݱ[_m1\/`I%T$DnRvn~55b8 &,uWhз6$|C d}EM ߅?[?L6G 7X[P-ڷ}p{y3H U9<yJ1G $`E *N%*[2)4K?炃Lv S?~ ЃNHPk .X"-%_]9۷Nis kdo,zx!E֫CRLJ'Vj 3[IFdpdJGub:;= 1+IAsi5eqUt=GbB#h;~K tvDHLK~RDtZ %KެXEeю۱!KZ?MQžBCbc0dü?6&}# ϧr[},Y3? (8[79 TǠ?e>"ΰ̟́3.^a(Ei`ƭ $0 e p8zvڌ WHIoB]eQ MY<`nO**  Hy5 'cuP늹f`N-*¢*l*L4lw#Hwj\%]ڔfR뽛Rx #"hfJfZ*7zm`Юkj& CaJ*5lYψmd!d{2"8+7Cs޹QCxJIlM"oljym)*J=iMsQM#3_^}y_d&FJSI5(A "REf3gig>em ǔ~MZbQRMq   꺡F (4@O!z<C 4wh&,c@cR>D&$u0}V_\ͱOT`01m(8@UݭuDrN:ᄉn+:Jc)5I3=s 1x7`_EH|)dFh wxJ(hkъK?Ktoج'wL&d욓TBb5Lү/E262X0SkJuv|duØd~2i!O)QU Hvd/SM!a{KKc/C-Yk3RPB%lkPqG;B;"H~]Yl>mROXXw.BкxMΎښscSz␎z|UhR?Oɂ|X>2` WN4nDZfwg8X*䈥Q0JbT+.7eaWJqA]ZsY$lWQlЍ - 2Ir)W(!P]UYM+ЈFIqaF*4ZI1<3tG/.r̐0CtQnӲQCgJMx!e(Jc,Wgl#ZgQZC/gӐm$ 8 : PP̀ >rR2}BW2XbiapA"[75MQƜįFt,^9)BmN'\%N Ǚ>6\*[SˌZގ8sK_G:+ ߃tN@_6okkjLEmrY0+7 /+g A)D:/Z =FVaj{vՋӋn8L6tVnaR>vބTCe۶Ku@/R8w ٻOaim􆮫!Q5ZOc0Nx BAշ*"5`1XuUT)I1R0T/쭾HmVtv>jۗzm aզ*7]QTlz_oqa1$h34F]j4W (lfgb)(`;$\_@3Gz*TA܂S(:b6wH?D|z@?vV.JE / *?kD!(X-^b&ff _3=zYk7mx 5@]wd_lm:f(u/5/SΞzZV HH?z^7oOj%HZ'&;>^VzSƋ+XjJX`z65յP~|bnEhݛNjIvT$~E@?r i Aჼdt'4]2O]Z2ɓ⠿GP 'mw{s!7G!( hn3Dn ݼq|iolNaMT£OPC `f>~@t̻|A8D]5Wz1ԺS3 .N 22F%1~o.A/UMO} +}]^\{Cyч<%IЎEW=yiSOQf~̝_^4J:+~@N7Xɞ\u"# ĬM/O2zYc(lX(3t>o`2%펮Tu!p6h$wyUU8SBΕ47îS7bxvBQ%6|NPZPm (PPY˔dx쎬7a{Qt!is3!+ ;3t\X(TB<˟4+IqI xC<~ʧg,@?C=_/X(#3iAӀG&)b!g>putG=чgO ʉL 9oH TAp5v}J=H߸իe]s(6ݜj;Hy6.2\R0P0|׵}MikVpȊ{!ETJl@C H>C/$,V/( br` /7يP=Éb-4/[(vΏČ_CP&5M 5]oÜEx" 64_/%]cf鲳H_EȤ1:S6$t*qT*G\7lĸHR@oI3CVP?WĦ4=C /8ɶhMGS}|B~q,cGtKib?:fw1Ax IWY2 ;EfM&%M ws2|}6B43\88_b˙ͪ xC=&fc÷-J]cloEfp\9$ʩ޲ljAaR?;1x]n6$0F2ɨÙ˒Im0c>r\9Z5@ g=x拸,R;$""'&s}Q'adz V5p3*FS5VnnDȄU0KZ0T,ސ% )я r+՘ND1(+F8 iq.ݴ̀{pFM;:zpE^h5,Ʃ`ٴc0V.Ta^8JylMZ*HdR6G'Ftدm!fǁbҁQ {P #fTB@B(kQ4x,Z -$ K$*x~kc- 38kjZ~r8٭X5'+4]hY&EM[P Ih;i\ػ PrE30gn:V6&K*U66Wu/ 6u(Ί$ݑВ&) I(9 +󄈅K2 O5kVlT~G'i,ʆO[WJCS6TkZ'vsb%(ʴ"'gk NpNWr[B{[3Y׌o]Cn!J:a-Q0Ze@ 3EbQ`/#omTFo7Ogt=Bf7\_|CVڲ$N]+g2 to"DY mUM-k>JNќbF"`6`WMՍ^M@I:fiy|fXnf6&~R$`-g„TE i#,L\Y#.~~_py霻/prF}!"`j5ETot]2z: ;m\TK0m#郎x}M7۝ztbV K56^Tdqsh')X*k2 >[;3k BGЮ6˧9h|窮ZUF g*7y{ĠmD= hxU6_%oqP*Z>6"\Zu n3IQAy- `?lW{[ 0(һ0RB( SI-^`$!%9;ľl՜y͸{_*IG{->=H7YID4OW1PxLb I[QH10k}:lbL"xN 1wk)\˅6y' 8`0kuсEAf"FV@+ĺWd?{lѶb 1 J5B"{]NﭼcBnY_₼eadSlswٍ}5.Ju+8}lO^4BW tt^4.aKORA`ȯE Ck(%Q2?_ahJrMc:05A3I8$-(P(wg<)I3@+\g[#/zlUĐ"] -^FuTFzx ~Ds 衠R&HLQNCuV)'«DOn 5 zji.Y@Sr\W tjo˘XjofCꖚL^vˑ+cdeNQ7Pt;V%4,nb^1QlD̒/e7eC,'!jLpGR@2PZV⦀pk6 *{b)A!~';PDTENLi|_=.C )ݛk?0-ͩ㜔b#ƒ5]Os(-?Нz'%1w{=9:g>p􇍴_V^9PM%if-E?No91IN2x26َNH[[{=:M4G29еdC~ 8 9|;`F b%ĕ6LHIq7#n.^}\h^/ {#miGi➳ؑT$B ֪q>K/Γ0h-F6PY0}@.N=o#ƸڟŊ'IhK":50O3,pTZ5DEf;a_Rpp,E}C@W%Q喉GA5Hfb|/s1?ߠ*2$x<2mb-v&uVօl!/#G2n}ԃ5aw1 ˘dFm$Gr0bOZHPlsl)_-P[ǼWPslxcFCh˩Yɝ\@]~IXkD薡@Ɠߌp J.`<>Vv87M]yiy?0g^:шgTն.^i޹,꣪z;4<&Wl~ $-76맛a2}#19ZD@M. nL4uFX,+IX=H䠄(5z?Jh'=@vaua#Z,=` Ue~n+N]&X>ݙ)d+a"m%<*ؽ0-79 $A(C;4HגEa=A^T^%BUشtOKyG/ZF̩)jHM0C ˋCJ^fm֐#Sd20KWD7CŅELpn@T10v͢{P@ C50TdMFA&=cWj !sKO^c@ 1{LøF=-+^h'RU8#إweֻ2O}܋T4GMd@b-=W>Z$C-ebۛ,{a yOBZ^zay1z

r MÅ!QHpD.S20n'G~A.,l9tu$*x[T5BB s%P桰y߯PP՛~3pId%B.Kڼrޏy(̷3 Z'cßz3U5:ʈ("%Ĝb]%Y+@|Ȱ @6"Hxns Gܕ:3xrdJ눒5N븦Lj W"^˚ F},ΏDs ?Ad+SUxOC)5,|oH@ǦNՐ}j4mTu -.NWl&sqs ],26.۠WxX'F1hmRGb"[hbCP[/ Ơ^ꋽS)sL(5Uo+ /%ӟCYQ9ϾU3[x![6h\'FiՐAV*$*~uI)-wM{\ey .ꟃB=JD!/ ;gflJh NZY4;«dخHGv%SD`z"{7]%U=hMX_㨥ZLj:݇Lż0Xv3 <ą:pMJzI9+VڇPy弗` K.R*?װ>Yyb@_w YPjTQ M`C-G0Ïϐ`Z4}m4Qƌr p$d]' џ"&S/$lTq/a4ڤrB{\-i\h*;0DiPrޕlcj~GYSKucoAtEk#^7 dٖ, $3"a|[k#^ vYm iJk ƪ&W^s'GlnaQAR# 7e!Դ[emK=zZ xD !Lc91ˀܷL`NG.^ h=Hd+?Dןɦ|KW;2LQL1FPw-5uz_dA bnS]5YzCf]c1M+K= htż._m" (lsqmhH)jTJ@#/<Յ-Ej!GfTV_Q M>z%Ia L?9tcnϚpi>"f+w:`6 +*ya M%OŸn5kN%#;%p`htъ@G NAXrjh"!$İXzJrߛѤط烴N1\@]eQ[/$hb;NO)nLd!u0!sz!rèSp̮: u]^='r)x6ÜM.tzJ:~턋u;ee9\~L|0iPX d_W6 HmJ`ApƦ~a/#O 9R9Uv uAq׫b5|5I୼G`rыW/Ôy@WڟLfl.I~G*&3}^ h̽i9`G/hZC&Y#7xإK\,Fii,(G 7ZZ`>gڏOFU6YSC }ษCNqWp/6e} ^JC/C)΀]007_rKK=˜!jwHh7v%?< _j11RqR +2m,|F?,g*\[42 !ݻr<ۀsxLkdtUR*~ .7,݌F=Fi=PP0rZi]rx ::P7P0.u*T3%*LcAr3K{|56jc Bwp%~h%8R:^lUj~-75 igX5C<'_$p}_z/~WJxaQp9v|kdQC iq̎VDӨXFrW%v|ۛ=ޱp9M0h`XaOҺp\LP#oHN2B%G *i:~)6e]8w2XMUIPy 7/ C{(fЍf9)Bчs^5杻<ע.}8VO74,fSu2>@;t(7 >גYJIACInA9ʲ@ڱ4Vn^RL$-7篰aN bBcFf걔.6'm|rEWymHdxΞ^GvŹhb!0>$d[=R5UĥWfrfo89H'Jie{3e5n%I=5S/dj~/IʽIhd+F--|o;5]4I30Ѱ痎IxgO[uZq[%0̘t+O7Q,p\VӿLZ}>Ü*4R({QuXqh l=Zo )`Vr\`wOks{C2ج^jAxo"5>|R:`Y}^B 5!jbґNvW32*}2dܻkS ]n\⩵%kR3Cɘv qyM=C8#f7 4ۡɄ-uwTa \{# Zt)W_$VE8[Y _F OA &`g0Cc$~W(| 8n.[r*еik|FVYL~^g%nS%g##ㅷG AR=t~b9:^LXyQ{L2#R:I ޠPT.$<;]үWcFF[ 4kS掫ެqռSl:[UF]"c)c&|>I2O~ &$& _DBש:&;KACy^E]^ϢL,g݌.ŕxhO` ?ܦ)OwI7AQ0uiSAn~e5uB=J~ K6[7Õ,_0a1MhGb8br%ÞWޣ)Q &]½ ȳb,/(o\?"z:,j|h^B_ub*PYj90^#h(shn`}n-;["-@ e1;J3ѧ1U߲RMYq-'i쓈'{Ns\ȒCl`ǡ<,zXKsӘJIRDz8C!ظt3j%R6=/CnOzc7QDNgŸ|f%[k ?ߤo<IUC vk]_iK48Od-ߢ+kȻ ͨ)m UD OR{؉KwAM.89hԤeTl$PHMl:(Wr JG}A h{yP_ӬGx9 э?W% Uƛɇ7dahp~Vr{d)6*3!fy݌bb G*yѠ](g{PYQ da>:} ]`6l&$< N/1^=n磡˫.{bѤ>vC vMR+U^l?41#jv:V>5ݏ<.d/T9@{m@k-Ҡֿc?T<@֐Ғ V=9oُF;8^-4ޱwrM`hlO=+^ I=3 N:$&Ů㭸>e# v ;XZȂԊʢJHW^Q!#.[1MoǢ;nsnޙ)f}QEN}`nGcmKEW԰;`x."4Ӻ1K ۔)".pԽzֹ͍Jt?wŶgכ*8 S%Uz.Cs3`0"6=|Ih۞._e/3?N'hY5{7)X r7jۻ-nH1ŸV9rJa/|՜"i@K leL\,y n0b xd6í}x4grZw^6`qKa[X8I#DmCOdŒ5\4|T^tQL=gޣmb/?Vζ:5]zYelm.nyimJF 4m_'m_gѹ@Gof!WSؠ{͜'pGsx: .eDydbV*[) {S,I w@"U!'A($ޑ5>s5U6#KW|KqU)Έl- ]__mfN0b ռm+ #6KWZpCftT'%U_-%T 9v;ǐ#Ó컍b~\K#nPHg2nN9j4NctbWjy, p}Y sW%BMh,щ&aJY-ywOX^,w|7'$PYB=)&dRt6jQYF0CtzN6.VZGbXe}TyJA+Xڙ׆<m-yL\yʓ̇|ޟ|4tgYVan"id NP1gEyK5rum|)U8;vV\ѳ">DaC6_w:Q+!^ jt湙5.fdj mh=]:sCw6Ϋ;26H 7nϘsGaB5_֓0QѴP5Ek=vk (t  鏱7 8SsMtL X?4dT&C0,Ҿ.tl|We|Z|%cSP2ϩbXe3NmAB>hQ ̅f 5O1/"U+r&O+1$:Di}q:'3ٓF|u+ȠK,$h^BarՎ1ڕf$ia6-+"w~_jΣRe|;^}"hINUuy{Ih'0#c>0 |<)FGM>Tl{ũ#XʹUN ,עdi[N WVkɽj+Z=(ٸ3͘-T 'wA+NGFt-eUޢ`2Tu0ZY@1 So) Fw=b_2 q‰C kMvq rH)"2A֜f!^!*^q$"\yO *2 qh,?9ԥF 2V4UEÁ{83)R z?ZϻƢ?+3bѬpVҷK,4K0&պ;B= #R݌j5$زZ>|㴞춫1{WY4͟$n%EѽdӒYWUM ө1VqTwpiuj$h${ YտlBd9+v^^nkuhrLduv֭ ݻXxQVOj.Q '$= 2/lˋ 1@'UzHxc+dkwvsqQ- 0pٺFY= ܊ZiG"ԢpA\OgYZ8a267c81cca1880d6f194b924f6fc892bb63cc022756139cb33ba5e4bd4cc33e5c755793ad6d44ef87150c565a142fae9a2e19dc263f6b4daa00c26b