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 vvV+ \< ]/ List_Inversions:threads=4elapsed=13.779cpu=43.656gc=1.684factor=3.177zXZִF! ']ŗXiɟH)0%oaP:}H>8Uq GIQ YaUrOB^uyԵ4/a՘+Pox~GzlLrzr[Tx6:Iޝٱ~j`듫LjxJ=!(8P4*h B<‚t1S- iq Ky%gӃ6m`lUw.B Afew봖Vz陊LRsIXMdP3R[332%V ]]F= (%b(VňGp):fIԋZP|Y }r2V yhU#elq $!Z!Z?=Ds8˹?> :ƒ*㢠݋l7Jx"Úz7iw's|E7 r}m^y;Q<"m`mæzU\E`gct^6(=Ā5a/Kze<i`] m5"z˚Q+W&Ar? qz͡R30rv ^o(H{A`PIS QUIX=N 7}63j>em 9n9賬)揔{d~-;24eZw:YD>Bf-O'&ک3▩΍=n[UO,84@(ԧQoތFzH#{U6,Ց.+zTgo+ةڳBh8536|jo ַ@iBxS-Ti>D֎0S$ >NH܉UDP|bՍdG0YS EI21ٛd-xۆC◍jCc:ce<A;=<+ LD`ځ듑*a~2 8k bI>5,zwͺZEaȼhUrŇw<eן1LeS:d,TTnÈ8ʣr()wW>=>ވ~ؿI9Ctc'j6TؔkȪ̘&*]0+ k}>S:蛢e0l| |^Ce`ΔDf:#]xr!@d`:|+<ދN/mF=h'}O,AXBZ6B` @w3sC E`J#cnfDjfy7v9lgRۢmBw!’o3e}JMWj I9%|[3/8|{̢@ɬ@ -Ot #:+Jo16M4L 6xL~֨| "B 5 ¯\wdmD&k)[7I5 u\^O= ۷~֊11 7JphwC]{6"C*J] TD|DT68vi؏zɉJ1Ґ4)3G#6fo2doMPmDd]w=.*l+怱FPG'~Rjs)&PY,Fp/ ύ0msvy26L9yo7m2>J .`(mb[w 9hP<=Cؗ e4vH^ώvu8ۧ2IixGmNU'dųk`x.*Ι>L{S*6}FA[̪P$k$Q2%ne~*0 $ x% X-5IjܨVuمP%I鱛tr1)7\0 &oPNLb_7B;YZhdtG"ev 1/hn"IWjTͩ (}c°m=9egs@cMKulv6EcXu/YkLfqkV1$ uFν/,g*'A70I"떷nZMDGNMP X顰CN?KZKG{KZT{3R<#-w(.uC^%閷ݴxA' ?A(M8,aK'noܦ`ȑZd!-d*es*“=pj{q$h=Z<^&`mH,s1xFӣ/mq-['\–@@qܵ"|\w<||I &dlLp&6>AL>J!QT.׹Ⱥ[mpaJƻR[iG"pbr4nF *n8Q9kg7I],e!`ŖQ lK{9_խ画xyk5 f>(zLfHtsݪh?~9la:&G'h- hdŨ({</6ʙyb"qWtc.H*8G{f:zY({_4-HWK>T.xu1~t >Zu$Y/I88=5_b1<[-Dײnz\+O,I܃DbKbo*>|F>$ӅpukVs-., PHJ!/OP_ޤL7ÂrٳX00?|XD?ЛJ&8<$jR>+RT%ӮI9  ʰEf\HagAS&͑&H]cQ^6ҥ-1#9ƒ 4oa)\uފtf|C{ѸMDvhkI~M(ep(3(e CbwSxNdw" !Mbbe 틽D$46[[~Jr.oc 0\fHN-ɻ5<̎Δr\"!_&Oqf?85W*Jn^Q,uv x"vHy9l+sĪzt4KFD@/{;6韭S@.ASRN9 *L4WPD2y^%ti(zqד"2i!B'{`wPq[hh_J bar՛.zW?YM#RP/4798ZQIyjApZAG+1 q)҉ڝ4.Lfa ċ:.>L{DOI(ꖱU?W/f\g Dh"iC  )V^ͯCOe٢CjH' #дC ڱz_=RnjIP6R0޸vw;=OA6ΐqtyhފL "x3T`WQOS Rg~ IWLrcqWs2$hArfXP:IxB^kNC.u P'l2)#p{@>xl%2 їrDog%KIPrـ"7PUjb+I'!d Ow3Y7X&IZ/2Yj]D>TJҌ*,A*|XȭP?JVѫ23+yH{1exˑ&&jUi2x!FqvY[7]4*qvN\N!jJ'@)_/jFTZpWq> 2m)|UɌ9FHTd+t8(J܄6qn^bDs(ޯ|[hL&}u;Bg Ǹ\ݜ(\b1 7~f_YȦJ!@D=]XC1X pƹKuӎL}ȫ壩߬Ai<}Y`$,L#`B1o^UheBcDJJ厧By=:4she==a#?:$3:[d2 T"N#fȵuWYg1:jh{eο(Fצ<7->Q%J0X|f2qdj90`/#M>,">hVOKԱ ypɏ 4">QЦɨW'b`< ҭ4 Tψaf3[d|}ScR{6Y>܌mMŇ //u!Ő6W"trx.UhEU}C"%Qஜh(6)rMYevٜT ^̀#4ppE6|_! A+4p3)n[XLVQV+ nV= ݁!ݧ -Q> =L&=;:4ړ^#蹻_TC拠[3~RAw[tW2*Y |FguMԦ~{$O`zd1ZqUL w-[I|U|/XD0t2Q8cP1ed`j^oDoߖ.PJQiD'栈#r$"@},G864;%c%hSn.~fDMFpUO[O}I nJ!2)5hdzYYjguf 2DoUCr?QlkgoJ8W.10#V>G[[QdQoھOx?&[Q\m |}ͦXh\[E ({A?b!]fb<9G UpzҏK"KrgcЗQNQ]^'z׽%Й7n'C F KW[[b4\7I+R{LJ G{K_Z2B ÛMfi}I~|vCUJ$~k[jۛ)=ńS1$7\c:U}4 Iu98ﭮ58zT;Z*,K{)NI2)-V:p\CM]+Eҵȋ #룎HV"w.ʐv R>:97KZ %7ª(nbt ~gK "\ X{=K(D3Q{ğy:j@Ϛ rtnFrLlT~ 4xZu.Z Tk8o.zQ2RD#Zx?0QjVV%++B&[> z*`jDN VUέU ۂ'Mvv(^Gxq  X7N.\HQ_L"DY xPL*yM( 8)-@w3}1"+QD7>L eA0'Ȕ `I%m[t$=@Ta-AVWZa{m5HKS)jNo[𺪵҉֝-\9`A2Rct@<®:;,v"e9uwSړvR~>`z58 }f]?rV>g?Ѹ*a ޞ쥞ZG(6ɻiHfdʳ.xn1e2ە,c{#fJ<9 tp q*N%o>^1Xx*bҜ:}'ԑ4}*lYP}/ald sDr{ /vs-ٕ/?͂R*Ոa7D/OmΎLL.9}oy%!JƝ(jɔ;jEy EH TmJָ@O*ԃh5|(H=P'T \=y@LmL%+D H1}?,ݓJaɝD;(*.J FTʙ:" p- @g$;:|@'q|@"S.Ÿ^^JSU*m"6Q9W$m ^}=Zo) ǩʤ V b`hMO =!i{[J;P2QRoۣ^$?XjFȧw"(V3!yFiVfԽe9a+C?Vv5XV(eK#O=?2h1 ';$)zfxSHAwwZ~(:vB93mˍ *L:cBJĖkBi蘿]Ȉ1qfXD0?g.ܬB=r6G<'{R8vrUSXוtbXGPhp$F]<:%r%Ƃ@yv)1)qfvCz!A|8r\(tOn8`5zR9\Z-ҭ9o:ZD 5RŰh}! OKEhaQCu ['O~T:_!7ڬYα]ĸX3K>/bAd?ߕ nA.[ gֲrLuIѮmuLOnxHO9(^EmAyo\;}1P~-^W:A"@S'Zn=<0@ VQ;qNuN/ɯZ%mTb hK ߉`_#/G^'0زexAhOҦb y#~&+L]Z!4VqQt}a:Vk6M^9%st^eU:l-lA˖ܰ7JZ۵*By[)SQ4^ڎ%3;@ݽA&barZ{ɑYӥ73UR\T$%jUR ؕ x6nn. }Q1^D(mJv4dƳ0v{xRiCo5&Y'}om#ՄoUMi s HTE0"#|bbd5,Dg25 Wkw'[J׭SJS^G-`|@n^lzUHL8PʴD:z}gfoY^=;`f8Ûϼt9O3g(슽64H6Q5ۉ즦Z4 xBDD@H]ГSɁc nnENSBuh^I1oc#fk`sK=:MTbƝq]ȝq4EπK+ĒO5Di':׶ۉA5:)0&΅ވH`m=/V}F>n |+L/pxo&lR'6?GTӹ`pe(m M N9$C)@1G1Jߥ1͆2#ݞ' bo;@ϧPյ-W䦏-,% 5|G"9:cX_9.ZKeײ\u&3?ͧCfhe oǐm xOOxS+6:f(T]^,l8D!(c_9p2J{ >\T H&BY2 ָQI V%o xJO$Lh+g@Q%E 0Hћ&.lK7߆4f@a'ͮP'[$Í,]X%y: 2lP9{xh&2행 JhɟZJFjhy$ (~\8 X o^ 'z6ȉ\*NcN!!4ss5vkFXJL-~q_J*CDgG YD|̒xSg,O:i7h+ԞY݋ Yipn4H{jmz!>JZݱ1 Z<&yճ^oXȈ°6k>^84_fSX !ߔ2)`N;x>>e7ܡ>$skW xӆP1 D`YSy _u %ҥ9!tH?Mm< ")來hޠ vSPdCj˜#.'gn#'xX-(s>y[׫PZ(F4tψ(4-*¤ C8W/Wj_X`X-OEPNMl.E1g@WeJ\dgYO] A-+!OQU+N^eP۞hՋo"NMѤQySN#Hsdͮm5ȑ{tڂf B%'{`s//*!jt$$ 8jI[rnbv/ݺcoHd̳OHS?g̎C)ZaFH$mq+&x;@ ? 1o i5Ę߳۱RhJn̮K &kL`o Ki=aO̤[o/*lù5R_۽Rt)] 74+a"Ä[8i(,͵Tzo"GPNtq$pu/"@WqrBi}C@sf%K^݊E_T8dRd>&hP:\MA{Cuّ`QK䙘L;u䢜2G*R_ ќ ]?*. ڿU؄x->:g5hS7n\!d[5D ʼnIEq2~tmDZ7K8n$.gmPo*[1J(Ð3h7'x[>-o"kLPMCDѺܣ(yKA&6vj9mXd P+j귺P.{d ,=1R׎s/: q;"iKdG*{()j%ldM_LdD\]btgl~/?Y]hɩB' ݉o [rxyŬSco0g6rp*nfXa '[3TgXٙmKc@FIb=Oe/a(c}.ƌS|hd\/ֳt]0<E!O!4Fkr[|@![j;,P{!-j؈u v}>`Npv(,*k{5#KjdX][ єJЈEͤ{ʋN/d() Nݯ[~UjP"m8 Fn~HxLyf5@ЏINhJU! 9[HEn <ULtgC-g ϝg5~kLsS-W"utԕ*P_˶Fv1V u,ߘn69 FIo³A4qFt]ZXi:B'@p&.,Ht|RjFg5;)Wч&Kq) <_~xWQz&N]k^t+|6]{5}pc7钛8=̽meV 7_L. Q0rABVʘ_:/;3hjGIUSjqy\Ĩ>{a\yxb=AR疂^`ƈ!|غ !>8ƫk\Myp3y xQ" 2R*:\>XJѮ'LҶviRO05|I˭gjKpjJ?HdBt}Ø1JݭJ>ncx$I,AD,@LbtFcQ9~wn[M','fD#UIҏq]= % !S`l˪F s0iݗ7RIchHm/(>ވ>o셉j|-Ҭ?[+zGﶽNp[oZ{|ZI%dQn* .kU/ EYx( PwYloUTBi<6hP^$cp9#ܢ[/NE󑆢wQ̡Aw$~35VY22t%ROv)MALO=z:$Ss n u.ט(;+)a/ 1Ⅲ[VY0_"Fg<v;|=(aim%_ Hi/l>c-%7ޢߣm! ?y,xXj X?Y. DqَVLŅ4`hO:2n-\qO.nu Qi2e89o~4ЂqZ8$($?v`<:;JnF߁?z$c8ܥz:bI4\}6D;m[ uJ6hfh&U)C}K ;&h[t7<ȇH3:IJ߳JF@KGnІ+i $D=R"a9MfăCWŠe:u' /zAQX'*.Yu45p2 3Q"pwA!dMWq_Tvyݡ >Yۋx¶OVmBP稹G&Nw ujoޥu3w@bB=؉#3Fjv9֐ E4FЛ$vuje`AuRS2<%:f))IWYj7-JD%JO`uFEc#w_˭ $S>'EX#н2HyaYBgo^3}yr1R#5N|c;Og}e# b  z4vt; An~l\ 9(_ B}3$7HC#kεVӧC|,۞ K=-Bˋ{G9]\ΖVzMDORE7Yy* `q OI= K&/,R bCVue7WY S_;4qjEPPCڥ ff"ИDci I(ס"B͠djT {@c{3X{ݎ-% )'waQ/+Dު#KooNH`KL}NkVCzc埫yhf ʀf|@M3GY0c1R{Mp on\-Ch.萨odMEo) kGyOG`vMHq0Nձ!aN>CɃUϲo~;?:&BeZKHx>Rr+G*_.4+B7Q$! GjYDFgg" [VQg yHj`4#W $ek[\ n#"ɒrMmm#tjp@]܎-rwmEA2IYs;WQF.n2[e:nʍEzSD~~*skM`_K,sw'o=" WcRJ#;;˪몼"AxzщonpìUTثmoKA uM;]'ʫޫBEyQ7[y!ӪS{]SP20)x˼=oà;K.KHxZE"*U8, sĝ?$-C A7u|r 9s{w1|] $Ñ{$"Xvzyaб Z:F~m!vPS2bľ>}w0PR˯) A%zk/0BմR/-~˽TnL̶eR  L.M ?F]`]#8z iO,.֒hk0f*(mB& v7lmۧ/m?$!?VQ nҦ ".iLm5L_RK Te 4%$iGhiXo61H[++SIJYOoW'Fx~ɕg@o2PX8n| "WnG 5%C 0b=B+,)֏T~˖(vWbeE+rC@C CӸb fHvƚp%>>;cl\IO4"]};o?-#4($h4E",g$yzl`g+֕kv6_tJDu6a ,ĮSD:,昢c898ZvM>; ::t)]J_5f}ג^>7 [z,}+q9e.bv5Gu0bMUi~7HbSJ&-Q2m~LvsEl޼φ9#4 37GoiC4IGE:/ACf;wK{SmzM`P{Kܰ$WbvTo)bE#:i;ҥޏ*o@Z{~~a%ʢvY)'Ί>Tvh+"(k%f.~GwK^XE?2&_ZP!]7gM'\kkq ?L4Io`b?HL^q0`~rhZݲc@ܺ6̓R29 B' c9_Wbҩ}r\3JZ9/,zS98/$x,&ޢ* #̭k)}UV ⢝$w+YAFɤcp2$ww^Cg| _|qwnE[%\P*JwB`3z ,T\m)_"s*tP m{wTU wHHaN$e}Vت+i'99\Z'Dᕑ>_G@%LsGrGXXѨd ʢ0[;IТ02DxCD ORbЗa2rC^g?Y$4-oijB|~"c/P@+P[;& ivRvô>˜Sb1z-W" N86;٩Į E9LD^kǫTڜ fh1`fqM~,b{ivJsnzK"/P Cϣ- R=HP L(ǰrN*c~v4*+ -[4 QrK'Ag͔Zԇrzdڥ O?‡is-eOFWYn֘M}ӰRwޥ|;btCXdO#ˊakhL3TYkMOɲ8[Y'ES$c OruY* W7z]46_ÿi!8Lq%銄LJHֻd(8#=IXdGcY-ɧc,1' ET (f"E"=ɭʟ;4-ڨfIDie{;6 * >&PGʕ/et>Qb`ĄV%d4hKٙH]@Mw&K˘ƆZ1# #+!cH( R&% PsE񅬷%򺼱 RKa` .#0>~*=KP_uI?'/ H\&S ym3X.zWۻ.'wW$ֳ݉6Be[{R"w?c+@䏩z0ȹTY_Cc_^l/A8SJ*8^P z/BN47Yi.5Y+NKn:{b{N' ғu":n_: =`cOUT=W-uFv?_)7𷨎T^SQ(ԍÔVd!{$1B3Lw2Rxg f+VV-U1V]X!"Is}[L}kkƙ+ ۢ&Ej_.]uD÷ҿ,]HqOr[֤mJkұ5~ c*QQn›R XOt\x?{jI (-3*^'G(;c4sŎƛ w2-YY5 +7E- R\rشߣ*|><=%RW?IEw8qi Yn od[hp}}vtD{O5:bl10qUG95$K%yT_} % X_KV1|e17UUy7zULoxV(UQ <f,6ѓ8&x tvēh g-|xV LJ%]a68Ӽ_.H-E!WᐿګguPO&3՞6mplۆ$[a[kzSrէnTE us6ދcz[ˁ ѷi޲xZS9AN<<~!Zbj^~ $t$RA7zV\U q @D]h}zW}!BӸ$rⶕAV2jXeךE>H3D\+mef`H33^"ٕɉv9^ZqZ|^de|iUHYT#] .od@^>7&Rټw^xncaCmf̼E]/VnӃP=O]P-hRF$Iq[°uOj37BFg_,0C>*t^<%DY 5S'0Gm%=`נ 8m/tku2/RBc@P`Rזg9m9 /&\黍^':P [ho '[餁yeZbxiI{ lvצ"x&Lg)5 N *s#^aD|\aMhUj81p~_CP1tK^3:.G3q|yz=31,MADjfKgV3䜘(*U$t$ Rb|< <1\Sg@m;/f>7U^TXwbEq.hTrr6=DV=5r h԰9+ ez+NL5-ފ`awa")qu ‡odfHgk)¾z[{kTԎɜӣ)›_[;9šo$wU)K-,"; ӟp.˽v @z~ؘQL)A{q13WE$!WbǺ+_[CIޮ."o[sLQ%>;pGV<;CsDŮ^w*ڼإBfb.#Zc֧["I'yC vwe޶7ؔte&˷bd\P3a[f;XSNdE]LؽSF]%Վz[ҏt|Dzk䔀4Ml  yDWO^K]xAmdsDrw+/Oׂ,νotYN`}$B8U:"?_KFfuZ٫8Q؏ X^]rͧF΅JΣdv w4H{# {`/Ip!!ñSf˨1>LݟolJHOKpQ)dt&h֍[휶r>LnzIj]M!&,ǟ_~՞W9Fǀ< 8R9L/gL᩼!TSKd 䝸HfMcCmHՠY -a'AI4a:+¬񻴊b 5PUp^bC:M^PyDB1 1Xn]{(XZ5,i&Ojb3kAh<|Nr1$nB$*R`ݢL&HPؠdLeI9EGMC$dnPSaG4΀%޺_O_r;k F[" Rt%ʠZa fI,N\M5[c.v42 @oHq]љ:3L[cA >jSӵ/$zr)uC %۰d*J`7y^ԝ"bIt&͹jz?` [d#eY1X E/vAu{}^]q0. |]̭~ ~ל*Ҷ] &ϊ;Oz.WӾת 3O$f24*sj!bߠI[cgՔkg6jV'}1ǚ%*N3˞6%r޳at B%41cW2ޖӿ 9vjO(!2By̓Q&ClʣF"6*uiUM+NiyĐS$bvOdJ\>逢$p=*Ǽ&jŢMѬyӡ&o^%H@FuWAx7...iӊ]+iz3[Wvj 4ChJf|7b3$zk֮ S&x[䫨G!BWP01"E5{ă[͔5< ˲[!;ǭso6{ˀ-u`9!ѕ+͇㚠&eHi(w"g " $+@H\XE1A\Ջ.jA.`9=C8j/RONjGMt<1N@b ŭ¬iPܱIkQv!Q̎䀝<y'y2+:\MQ+ ߔ@fouA?M>[^xqi~atoId%`s_8נ~t aW19b\R8 dɞr߷ !a9UJ[3mN|f}US=8]y6G1T,AݚJ)VXBxfDχr ؏qx|[c؀6Aķ%%c]-@,4CQy5pւ")МuVO L!݉9=b`{Ao5f$"7*<ƪlU]DCHDѦT.* oVs)x(ȵpqsjLXCzK8ɘMgoE zxMY(&XU*<ڱAb nٜ̏k~F'cKPB"T+p>sW 6r#23 ZJPLT 1#pJ~HS<#* 0 +'`_ԓXc^S-°_Bj mщ<EMw@kC,mܫ)+]gCO<0⓴*BfsMZ_],O_0W^6QL통pnYZF/-[Yͽyp$EqjLxb J5DֲCgL37 Kn!ga}/euL{7I%ו:##j`cC:v|N~pٛp~$N%;MJ@?|CQ$'JH '!8U&KkYUM@R-47TYcS~ꪃeØDKCiD.N{>e%wUh7o{[US;rNbsNpP̎٢4 d!t9ßɋ* l-tS&GxG)iT!s0 ZMn`y?"ct6 7l^>6S۩pWE1:u$gc z. 0\a>Y(e<#ә8VK.|ۄsCM%yV[4|صEJB,=~ĦS"ǵ%mM(?U,Yy!^s C|wjq?6YFQu>1%9_CyVdĕfjz2iu eJX No g{uA &Hl6>,][qO2T ~*)a=(0UT4j+Uq /Ȳ9N7* %DZu -RW ;I^\ew]*J勞BX 9i0--*.mh/qrw.YP q7D}}aKopKXDtGh/"tW[![:_>džaKʜ#ya{gum@@JgJ 5Ibw)kX#~^~T\ܰe-$q뺛W<ť RWLB?Թ>z8}\ྡྷW=R$BTߡ4.&TOzCRc? \dk2tHD-`څqY)֖NHÝQ6\Bʻ^u.LWwȯv#Yj6 e,uDjr doU-JyҼKjI'_k9e??ӵyAƉ}[M )?(iAcdtnafRr1M 4Uw7}L .DU2Qgmw$SmF_s_h x.hS.;5E魱^oEy!SXD޻GSݲ4|2΁w@H ω1&q0:yAyiYXpyӢ%51/$)ͽYZtꗲIp׆>j݇{l1Ʋ(@$vO2f&EGL7n=h$" X*M[on6b\19ʳ;^fl4cm2ת+"`3 oD ۀVot GuMLٓ*$ #,Cbމbشf{֏H~mi{#\NTT*uO t\,q '"H-b%[ؔ.pkЙnP2 䂘I?D#h^%Yқp*~> -ӕ&[)K%]Ϡ?Σ4bGHdVXcf׾3k̯*[(T=&h gR,Sw6 2 _JSw+9_(zo|=%,ع]]`3X/0֤Rz.h?i?,[{\*rI8b(IA ;}P) -ۿ$uێ҅C9Xu`+Qě¤|}pJw (CJYP@BS[]OPcG@n4.R"HTli5ŒL$19#N^Y E0ӫZӘ=2 lnsu>ǃ9v:>7Q6*B0^!g=yNn_VDxZ~\3c1g ^> xJkKDkbyPn4W9wHkz嘍M)_ ' S@ƌ'4c?'ǜdwk|EXDt,y Uu0'Q  %(83,&vNҭjDĻrY|6*EυX",0^y/%aAcjޫp:ԁQDp)a%6H L".g;"Rz1د)ZIDce$ˤIbIn47x쌞t6֞Oي#^-hA,pem;i rI~r$lDԙxU jy*NU;c{r]?u :*CևfTpl!DG5TF9lִI\4WքYf "ǖ & ~6-jnۺ>J`Ȝx`ɫEe_r7 FG%kXSpgїݡt[ -,OI|9LDx=1f5la,OĠwS3JWgv6}8qe:T"e4Nʠ9p(vBS[h(jET׭K%>"on7<3#b`֍WGqo?fQdM'gJstm/#VGiש9U /=@@f]];鄽(ՙjy"D!~|7Aʲ˓ƣ{l=ḯ٪q9jk 72Q^U}kk~!?rI.RC ++ծcz 5)MIiewEoRmWKLh=^$ [tSvhVOtl-7QRRoVMS܎ua9Tl]=DA5l)6d & D!ZМa-8G,.En@)wSXЛBPck`a g{~ |vPߢ%' WB)l ' Ĵwl miVV8Blaf*|@ZTM3bc;\fi$o}va >Dyա`XM@fTAx8 :{kt>}w']brYmPsaPEgδ+˵qq=*T1%I~PuwO>U{}ٰ́$'Õ{F^HsAp!P,׆ܚY]a)f"Zq'; nG(IfU{]-/Y#}.R&EUba,n 9d@6vkP$q/ī_GWԶYS%hs!ͅx^xhUmqD[__-Ayk8k,~vLVAܫ:YN~R|2e0/QVXGj  "`ЗP|xҧF^,C]  :%/ccM}P6Ą̦6zt'&A|O{2pʤz` SYnZ%=^G1*Ixj?P+U>* zNWgL1rɯo̕ɣ:]WZuy~%AS|.Nx"k#X^ܺ, Ȕzæ>'2{43l]Wbvэch]*vQWK9K-{EZv_^i/$'7BcѠ>L2RCVP8<pigQw&,Vo0i]HwHZZe{Kk\J 8Qn_aSq˪ciuޥ,Hnѩtt\L =hB†?2ySaӚCo,8-P8dqg)~0ZrwKͣSJ"?qq3xWjSWpws/6\ވ^BE{Ɇ|AmW# B/PC[ Z _k٪`^?$L/1j))gkPo*fַ,/CcP>kY#Iu!C`aAA1YkFRp[ OA/P%qu`*Mv>0|sU< m /ʋho 5v$Yftuȏn(ce&7Kҷ}}>e[ALINqLCWv _2>!`j0m6HckuTZ1 =;Ǝ| IPWlуwb^y/FB;_ѸKB j6?>d8ND4t rFXV')׮M)XKwUSC?Wc93\,Uq{_O@-7G&߳s N:}7;B |*j #%lC~{#[/MnWeȑl4 , @!ie/#}`ހWc3KDUzq@t47K__Ih 3ji[{ ya D(}!&CF)^vՖιƨI" ¡ݐ|\J3VFTEYl @qYE̱Ȥ=_4m5\ _B#iyG>\[0e,K-˔W+XP_expIMXV4WJԛ+UaD0Cťc/lIAiq{5h3yϕg<}o2>>i ݞ{~OpqXŸL.f"zNFruMw圳XJE(k?i\BͶBwW{0^ZHؼN|zv;0v5 [!g `{6~$ \݊BcQ' e?B{ ƚ%cݦGQe@A_9_LB&lщl掕1 ޹U__q94[h{<< 7b}ؓ] 3ct~REq(;pOi=I7)oә }|N.U)>iˎ tW'?ъ?e`M"gZK1 86=NU"ܔ-S Ul&0ۘ# YFR>%[m8z0Lnj!Eܖ{U%̗a%)pocvZU >;Ӊztxl]j "=+ǙEv8(v߱hQ*Қ*PxF{aY?l`jbJ$2R"Ҁu՛P%4==ȽoZl5Jvb\g-To9oӰy_So ?e\M]i\7z2{%[x((K̖(.XTⅼ : #*i uF:¸=u&G#Zc~띪|1;Y`$߱&qb{B3NK_<Oف+d]9N8Jb#e@xƒ~5klj_F[7o!c}hvG\b,̚E:X[C^J5 n \~< LO􁥒-sfȋB5!g1F+%a b'^*bo5 :ti>/5.wcۃ6]&X*`U-"; *JJ_2y'><``X&i{ YVRN?4/+< }A-%  kqwWNr0AO »xd7%˙Sk:ʍG\jZFbofW {Z@D'0TZ:D}D6g|oNR]li;d`:ݯ d*n2J~l,x ew<kAtȌM4YQG2bX26AblЬe߮*36:VHB <h+~ k\֒="qήx$xJc#KqzRܠx f^5`bP}t4n% ӛc}H%<֪@ + ޴MVb>\i n};O Иc꓇6^J8UHqȦ*H@-q[Yaf"PzdVcEExJd,T뿺a -L3{V;,Ϟ^i+>g;RdL5G`œonRy9qQYygU՘jh1^Q!x?NPѱ%"6VʓUh8Mt2]x[n0r v6(XdCjShA[ $ vvN야6;OiK*w]H xfP}< `{kVamSId $  % ;T#0QL,`,ʲB!ch3K`>vu (D 6/?K4 Na+բH-x&5ğ.O_ J?pa:E`38/rAE2(/j'}p 'Ia[~Es &\2d*ش]BwdALl#/pl~䣌>xO[e \^q#\SѐnDL^W!8Ud4 Tn(߄.[=bcq4[f䖞AzAB7c0̐VP7~`MR@EiYz ,̰ɂ_XP%7zqz3ݠik_xAfԱTfu6j1p<!XVkX^$3z] YXCCCܤy2jmа`2}霶-Ka![OQ;cpVDs& +ևXtHL1Ovk40+RKZ] D&KIi?$ jQ^Dm'm5.2`}._)t 0| cr2=Qw=y̑wwc:Epmvh8Z⬞fﮯ`V P΀ 5%mش"p)c=Hq,qڒL8 ʷr*MuÁN#~di#ߎ&ʧ30UmsdXl%d!(&PAa=z&M1!46kǁE,Hv9h ߴkY:_~z*"Yt""Ag(|Ι, d_&,Tfif 9_ļ. CT j$wٸn;}F 8:-. 5&T U%:6Ex=d2ŧ/Mstω#,&,~#jƷ EE!چAMb,s,TeGIX?Rr8UxЩ#TbYoϽp)X LD N!x'.ߦwUPw <-.wK W`N@[oO(V7Iկq~#T^x"ehGt5}~N0c?>?N: 榛jE٬⟚ڧ2X"(oFB.f?]lOVDksie9G@ !t_R;Bڃ=VEd Vz*@c}H˟bN8b+ ލhf¼TbHγhbaT,IiL\oםV!.#ErvwpnMTZf\ ]6]#:Dk&V{X)F'=*c%WH\7dr&2ha^r&,TJPKrT2=Ve| +h 1<ˑVob>鰅yha5h{:ԿN\lm6Mv!2NO}7|K@V͙_ʛɸYO!vH:ORCrpHo$8$Г_T-h^z.*ʔ z$[[lHՄ7VZFI/8fBV0Aq:E b#wT@+^ &K]y\:-6">D91RĻ9B0t@xPf݊2VuW&.2z&PpWYm3 m̍6;g+gO:LDGP %T\8S{%_W})Fa?8RV! ``B"+tWS}cgMxP~B>N1{%y aTYZJ.><_OKa*w\k4Iy-ogP~;G0z f+ZrI1-i1ؔrqql6.7h91!WD E ū A9h!VKNhJ(~zpj5;m6 ]VTnuj3W4lDtbؾi=ت"*Uls9D{Ap뗗tg[RqŶ ޥ_b7\P{QzEvkʢ퍛Y XU8Z .9 їkxUc^70[AƉK ՖTp}x3Ӈ{VZb!::Lh#HwɏFr3ry`vqi ߈(mL'a["}[a^.n]؋1P9 G.g6%lYvgQXHHPve\2DlHqIu4\ 8 bV]^;- U=Sk_BEBj>1J0E1"9-F䇥ųV"3b=ø"|n]N]UiXb˶70rcX$7"/Q Xj@KY#{%j\R7I" RM1 -S44pR aD3p"-%i­ޞvͪ,.=uA 3znh'"1N(/(gӫ+ۿm8{WhZADFcVG*ӻX^;?W'| .K1ƺS1!`sl{'=+bP7y/`2jUZvHŠ&G7&r:v1m+0y\4y jF?uWa9ёu7بKm8p*']AzV+ܓ9ċj~HiR]E#V4b1B,h* J x6"LJV/siQlQ;ĨJq%Q*UÛBqqOvܻ/ƗG x޷d4hn~*5j*+Z߶WaQ}S>4;Œuʀw9n OGWH`'ze _5jnVȯm8n]8+<؄0:%p7Bq_ӂ.2sbsV)N+ca^mE˥q+HQn!8k@Hj-`K6FȻ0 P_^|2[EL"~(ܨ~c,uuTJ/o,5~plW֒ UJv_'DN޼3[nH""c;־Rj՚ EN{>!SQ:a![KY+WW)OrCOWCHs_#!A#.J2aǘ L?=ktcuj^+j2E'EΆ:v๱^j2 +46C]5-D2oQ)naՐQ0B NX,m侤2 (}bhMaB',ZdI8>+4B: ڌW bgϼ:^;3zʩyo й<{}Qy؁lV|{ĀMVY"7E%b)rGp91cc!FѺRLSirՁVi+W50V~u4;S!oNy0.^O~\+?o_'ccT!ɐY$VbxH{2 MjjpBVU;Vɴl2Cp(٢S?mvT335h:N=p_]l SWR|Sޏw^Zs=IȚ3GT g B%ZJzsU9Q`TM 3te.sduI=ݣ G RxYt;Ym-^@ 4"~ɥ:^L+s?uXj,φ}KbC5|8W?"׋[جhZJA`>HVK[5hoYE70]{Vpy3<]R_ x8}djU'wc;xFbAYNg'O8$Gk-l-qM#YQ(#)7tR0<6CȚY54by쀻&YĽni[cTRa;jt<4ڛ_{Mf ;ȔW3)68\2 P l{D=Fc2t̓lm,2mE a-,-VBYY:Q2\ӣ:JZ֙t2/ ¤zp2].@:cQar wdvl*/+~=)Nt_$so4 $:UvofڳF/ iq ˻F-7l'[oƛlFz3{._~{CA,_l߮&ev3Pi|"F4|BəJUB*-$]p%3itV | / ϩ,S Şe6.i:~땴$0BʑoCVm1JVR &DGs|#V|x ]爱,pFj7UMpi~i3XP\/s9Zg-B8qxUqvA㊻Tѹ' xٖ q2cq.{`0˵mP;5OQpZI*i-t$SԴ~gGmY³Z9 Ҷȗf)9yz*SXxkR"KL/x?=hIǍ q+P "o݀5[Iq( 1"DHJA-C֡8:OK _ >?Dm\`~TH%3P^RWW}´Zs;~<ްW"*j5/8i'owaڠxý%"e-)} 1M )2$lN #Z+y~u,m!%nKI#Ȫ3S=gת4Ð@⢹9Ν) "'Pi){2/AFc<:3" в=`­q_`IX 4 1yx:ZS*ZQraǂ:?l5Mh Q2K^,Kɼ w+ʐu ?VNp `e91(nAnEwF{B٧ZH/k|D5Beҝ l(t+8S`-an G޹d9#p3uuI=oȫ3OE{鮃"91e+bl'$ J5Ԕ+sx'?*dnȏ@ Zs<]67T/&&"nvK:dv,~:SE8]*ۈ{q_ aHWe6iZv{^pNm =E61I@/*UWSj {_@6GsD;Yg3Ae-hʂFZ!Ǎ8VFQ ߒ 3}D헴ҊOԨ0 V{"^!8~ujiQ6Ee)74 =KLo ى#;ƥӁX.!Th;^|{@,F 2>6ji%3aG)}+HY`kG kϚ|;S@DW"ցTWd"30Oٽ} l3vQzĹhl|-DP2ǝ*ʍiWxz͕G{?Ta 4@O$g𻨗 p;USKlj݊DSO~P5s>;i#FcT5ە9*9D-sW?Q_"$`F@][{B~<]`;щD9h(.z)p\Sr3t嚂z-&UDfEΆa72ѾMH'e{ LhWu ]$qެ{\Ɯ啭q q_NhC;- |pG ɪ Bs!e;δ }[f(BUBq1vЄbҪjKӤB{29%g c!ؚg#DF7n^ !)A2޼'ɄQrOqH(tBүϷ>0:߮,;Z$ ҤNQr2:f*gZ_rzSɩK»_+"gaYF6F a{}rNbUi(|c`#[ܶAP[GR \#:lF^5iscOH[vV3$2ξql$WEN*[uNnr)q0WDeLHq2 ݦ՝ ?/yZX  uo)(v0H>BeHzYIKIɆ;7 7ٵ+R.Iqa6lT+|Z¿ZyBys2u*dDc䨍30JC#k_I qR5һ$RAјVWSI#ڧ+ai Ò8!o@N YQ1*NR8c/1gYwm }Eo +Hdmz9BH[_rsItB"$X7wy Q+؄_ҬH-hc_.~VCyLty0 _ٖ>I]?meKJ}<(܆A@zd8l jitVK;uk[B%OGDl-&DRT,^b.O='C9A#] ҮNsA/7bv >Ӻ5=Ua|L{M##wj=݃݀m(sZ%B^׈w2}xӛ4IHXK_{7evM,CIPXKUуHc6 k ?'I/vZ8S1^P\OfYCR&U|ulxYNlS? )HnC;8vMkiu+vI% cDb͍^>ғYLv6)Ť@qɑ "y2&^of{u88ru Qծ's޽~"&n&3ȷ zx`.}_Ŷ(ͧ7L 2j#)a~=/?*HWr/$FXZ9/=$s+jQqgn4% {+%,6ke SJogYZd0d4798401ad7953476a0e003d759b70761a12f58215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61