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  5~lD ] HOL-Nominal-Examples:threads=6elapsed=253.412cpu=1200.736gc=104.0807zXZִF! g!]ŗXiɟH)0!h]?W ߹ĭ˱_Eq8Fp7 6>FL:=B+ PbuM{:|<.G`$Q}W1}L!a3 { : S<.ZẼ+<v3^5ˆξ3¨;\9au4(7t1GfAS7.XU.gjH]ޟΡ, 6 ^9Ob2BFɈiԉ%|V5SN[]}j#H,\{M!,;ȳ'eF|ҏM3uC;na%+U4}(%xZc RdNKC շ[x 132LR juk@b&U>*xz!ZMɏ(;ڕ834ىP4sǷXәCjutwEQwl&w< ,8y8z^MP{kP;0 1F;{l^tyeba^5C uf;G3s8r%C0-Y2NN@ Yfo )x{4$߸iW܀ݙo'Κ ul >EY% F'[|5 ɺ_iTGJ3 ?&力rA:6Xnԙ|s[\hLq|o}rSfʪ5$aSx_}K*$xڅK^Xs) jA9d|?;\ TTtμOw5KD\ ^-8 O} M'1mXgR YxgM.UvТt?cKq(+"Ifct:{ *,򓼊ep=ocw?0]'~9c'>oH=W'sl2ZewH:t;/kpKYیFsbG+{`"It}Zu(e aݑ%ye;h8$>Um[˹шg75>8+ۮ$Pa2rR~g:,[+\46 537Jy{bF Ϫ2pZv˹@IEB@?o(WE  Ձˑ^l~0ܭ@lt!=ext1xS|$kV*4Q ͛4.Is_rNoR.?CTE@..Q[z;`ObW=A9&ȋ_u+35uba;$<&\]DF١O;cx {Rϣx h(VTsY!wh!/`]-ma[M k$'phfU) L|D @L7lfmٙfւ$]>6)b!uEO*711[GEd,?&ˆv]/nկsY%\>8J-}!x1닓{ ^kz+ ?P]d}r#'pPjo2`gmi c:mQt/}Sтy)wiV@92J5![=WEmI ~"XGfa1N3 A]p>FZ 9A%q_߂/ iGhm`w>|r-f%WNT%['*Ig \!*Տq;>e2^06YrbĪW\t(NPGIK-w 30cuJ/X '+Q´Pr 5 HOL-Nominal-Examples  zikhd8hjPF ,xL{ yGM2#-0#8O &æ{9/DrH;3nTX6^s[3F~X*=y !RTd9cG@%$9isD.jX{ I92YtPQP06'dxq^/Zxg"+CvcI5j8'yx>l-#;E'x=Pn:*4!f+?ykx)ځhJRnZ3,mc/{ ąo|.%?.UooQU 2]w]uo  y4(hs+ds>f[.av)mnc*#l@Xmx@+0%oQCKh Y*QedAC071~HU/L5jDfWfNb;gxXs)I${m?ᯆ]93q*QSjzp E \{2ϋr7Է.n]hj((ݩy5Қt0.Xm;9d:p* @tuɸp_AVNTFX3u# m;+n,rOJcb+zkm.AvрgkPo` E?S ;۸Fcеp_g6Qu6/ӌ ܦWhZj NԗXjO[rD"!qxÃ6 FZO]D:kIH؈܃wвO쐋"&d\2-A :IUQeP,?r?|mu'Mj(csRW 'Ø+d%%{wbhK96]2`0w_+8Q]}E)b^NJ>{lx6ͧ%_Q/_Ln!JkpRU/"BZ:ޱ_w7BÆA@KAݼsX[0{4 5˼b>؋S.[GkDZ 26vP͈ӮqņuX4w]*U\4/l+He10 Rqqq.[k`y`Se0ȉjr\w)6Xc'mƈ'c` *bCdG Tӻkb2kPX$woA* PSs*M I .vXcJPgf-OeYၚ'7~J /N!$AS5]~h|>9Xpd(-|''"Qo/RXzj]/03h4x;O'9v!7}01:p% [vL['rpb">-Lrhbt);EWKJu:N$<8v3[လzw(~͗ɒʬSBPOnv/7zEFSeRNΕބyeuVxG.^*b6lxp}QRf{(oBU>E;U/:3"{T ⾉:5(S*nFrh\y6bHӴ|(k`L$#A:55{iy-qEI6 xoMӆƙAcK.AsSts|bШ|MytgϮ0~ PdE5$l?w dlzDeYW,PFl2!ӆ\WvEU"Y7:7j ߖzY 6S`+Q.;˳ 7NYfrllQ> ] "4G*m^:Ro)u AD@2q"y1/AGn#{ ɢ*6M5 t d7/9wVC w H[޺M W-"SBͪBY#1 FgNҬdv@ $Jۚ)+9۰vMxcd.3uRG)ԙ)L ors#0M)gMR dh h:'Oq6߾_0QKz~4+{ɪ&02n{U} (8] K+i2k]5Ty#|ca4K)G]5Pn V%"U](AڪvY8F|yf H0Ma}Op<8E9px2F1V3͕6eʒCK` i0X{Hp\0'_pDGwNDz*)CضkoxmouǍysc`&p_01eV9p0"R[S_]ԑlIJdnkgA 8~)t: i CGԷ[ ՄVpvf'k9t2}0h]>K* # +4- cHn}72+zG*9+*%(T* AοKx†@z0MKDVGhOfP0VISAO7 *95Ky{4Ҫ"%77JjL5dil4sa)=7Y2UoYw z 2gXUJ͠c8mW0 ЙX-= T9sATCgc$aDXH7+v#z@)xxF~!: m>ZJ{#о:*9KDyh$^:͞MB'ПY]'ȵ}MA,&Q2z+c H?&YE! + al\]!Zw#<= 2:JG! #:ζ7B57J¨i'a\"fH4ׁ2:q3~M;tB Ttkm&S %Q `M>'y1E"\'EmkCA'j냪ڐALPn_MN7g;X&^5@MaB$ɐ%ŷM1H`:)_J.,A)q^ByQݰ`]{}hN:ɢ+:g$[;EQ9&8 Ol3rD?'m ֨aissMt;@:\P!xdrw)rLQ+/ڜn}` %.V. Jحv23 ܆8MP4:jE΀LMd̾/{J bF52Z'CO0[ >QjNY"^ul^E{aCHQ!xFemsOoq}1hY^@`1$sm+jh궃h^AyaW3&9j>] !)m"+J+N߰<2J"ߤC_-LulfGQ, 7~jiWMXI&Z9T0}/%g>MYأb gp)$xabLD-{Y n&1AUEu$/ Nez'qIu|qFoyf-jmcfRg (KN*=Z>ɦZ^+.(5[ؚεIbgt%@C6/xgIDO*_ !݃aOo9=αVB=j>p=:pʋW Rg~rvD㡢Yg~hr*xSjP IBY|C!(Вظ=9Ը𸃌ޥ;e93+ӉpFWȍG\2]AOTQ>1:UÓZhRhI71dDJȠN )uYˬ{(օiN[ oSΆ|첵MZHgG}}:ͨ}$Pм-e;4^p}V/y9cvq^jBfzVg(*D8|c?DǛ `ؿ!$ O?KÙNqYԏ z9$&;{>,Y4?23B˅_5OTf>90 &Mɗ(NMj\~8hc4mYsZrB: .qlwȟ`BdM+r O3K!nɦs70%, n؁4ap@=hlh6 nzSFW7Jn$rmɢc-pr*dLwˀݰGX0G޲zPmYuJi#U!Lr| `wF3Ozs'P[mE#Q wv]TgqekT5zpJ R~F)?D5A"=Hh'f*$D}|'RGŀn& &5G@!Xg_'s v|KcUKOBXVȺs*x96al6ho2=سݐg՗Ԓ *oƶb 7wQFP$?KW+-/z$CdgYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 aT#zn]wio$#MS )R{.Im*1a+vL{JJ ׬BmIץ^gߠe)_z0X7O}+T,-+J1lҷ]O#4 zo?I}8859FEQE›_&oi PJ6(X\|8l=yTZPt!^$:~pE(\y?H^5̽Pv%0VeGo5EytdW^ qmȠjfe$k#ڥE'p0T8$v5r?STc;EPɚ4@۱}L:^4TEϺt-$v)V]ʦwٹux7-`tTs8t}Nn=YPs 7d9XuV2g,կ\Rכl?-!p\5-``sJ{p{oC7e;OA.8v5˫% ir*-rlBDvPC}Ɉvq75ͮ3YP4S%wҾ`p4EtͲ}"u@XIG9;ڼ*݂.Kf]a*ek ymTSu؅`s9CќhLC|gr۩cr:( ME>"ᯩ .o'i>֮[Paf` 6l$3kgs`l~4n"ɧR}'J mB WAiCbxdEqL8y:ˆd!\֬hLxӓkEd}c"'t xscF^6@tPH$f;&oz,W|z n9Cw_ .E4􍁉 }*5N?8ƦHIajtW8EZpl 1B`~Q[Fi 4pG j)23;D3pJZ[vy!G$04mHӖj )}|-A } ]fҘQh^67a@yTwcN:pQZtnb# XrPX ϕ cS$zCA@kqcEGjč1%`X.] 8h[o1m:o+˔"@90X7_Ȧ~)ak)X")Ш %0#B8ǩIK!D d1ރfߞԄĞf9ؚp>0$v҂iՈԯE|4a-avD<7F)xDpdEƴ]$5{+ESM[{)zYUswr .ۓR#.1GڙL2IWP*Z64{?JF,ǘ V!Kv~+$o)ƄپPîlU|gW!j^Ȁȯ%ZBDeg1zkRk+EJy8 ,"1 mF!^.. ln"ttUc &М|tȄE4%99k$G^X/Zrh*&&-q>9vtzy~(;ݞE8/Rc`(]Cg{hD~mIJhmgdGkZd(Jߌ"^`2jk(ѕ")CzsF_\fv<<€OSC0x^ -|>]@JF9'%QG,wnG*[-s饱JZb$ :;+lugwߕ۞9bz׍G luW/bħ 7нK֓=_gX0)ġgaIuPTbϣxUVUݬ¬NhI\o~uvv>@Q% hy2CÇ r#@F}ϗTc}Vw, ~Lwgy3 OlO -5w4Y,@و>B?l^Ŕ=U6΢͠wި: /Lՙc_vy& pÄ9}NքH=Z!|lyw&:B<+H 3)!)2ddx躻>l{B|ͧq~yuxjX,"%y|Q`|{85[d2pE Fl:&ZNi<4d?7bqU0ٍSJ(TƗZuU/HqD;S3GJEG몰\!T'h#عP'sV.ܞ Y$ )DrBSGcQjqh?\;p) ,Ӓ ItRR>JŁ̞KV.0{Rl~BsYz<6 R hsNiǥu)VQ"AO:tr6(Z>O(wӐAj- h[%@e׷)G{YlDX*~FٮVUGZ4.{D̆ny[wqg[IS^g\~0(rLhl Rrb1oȑQ A t}v!W+MUxI-"yv Z@À P~~J(%nz-ՐS1ʾI:9S %48v[a²_3'>3cV|Q8i+ŇvVKGe_L ٟm)۰ w,uq|a(JwW5H0RQ~Oq&Ʀ@ =bdpY40Q9;X{Gv΋+g\2 sb@ VfeƖhN'ImmE><{D&3U.,nU#ZxƦ(' ):ٽ:Dukt 8=ZDWQu,z-zn CCASh-UZNK絩fCiHkܜדwVYIF8HT>+79ǥ]7, q+B?lJFat|ogK̏dї~BBI<]S)K0[|tcJ)[*I`{[SSǚ;iߤr >9SƂ$4XM 1w%e.+@kyDLVs!37,|<24`p;u>>$Ls*G, qarFd"=%1:v؋{cN #MizC]HJ2#tK7ظ%QHc,Mʔy"*JѕmFjoɟZo贕s-)RtIn7-kKFf2qu'9tb]u ʑ a &KӼgW.TXjpb&uR0œ/ *R4R Œ>$|v} WO++'x E_r.e%!s\<7C\g43$\T/ h޺y;7LNl9ƵJΰ`|x)֚YT!k8h=ˠFp5.]jIN8c5؊dv^q>K镊uFM z0DMҡ#K_PIGYT`` g^aP.O QVlȏMw+8҆l>\=:-Ewl+``ej?mB얘߶B6vɘ)q}Р!oēqM ܓ5uM k7MW)}o$8{U˪b8VV/laاDl+UaM=z+uȈŏ읫A;N mmK&Ǻ5ovf A?B6,%M˻kȜ.2sTܰPhzIJ-Bq yMLRoڼ6f̭aS+Y+?/餓NH6=AI`n_QCo]GY:ꆿ 2`<(3EZGM k#}iႷvTdA'#E#xOZi%i霛JZ̶'hZipW&¤tgX9#H6fD YN"f b(k>J9 )_bz .}2w D6NbL'VuG! JjeNy+ܦ&o7] wTSR眉 ь֜liM)xwi7D ^EizKtފls'o tOh,#;A:0 ݀z3uyyy,J۔%? 5xSG MA J!5/y"̭;aG,1#uK}~Ϯ{$'Q&eF)g ` W$HE}b2HdQXFR9sf9T6nʳl|c7'?cSv~̕v=#{b"~il@R6 3 6~)Q[[̈́0r~tw2 #ưzK1l+<8s.C"B! 1Ԋv??4K.$/4Щ⛏pwZrbEml^9-$UʑMs'f9lIުJ q{<ޠEZې* 𴀿smj7m-|6lɡ#i߶a|~ὗ܋}r ,iL7[i1}ܾ0.|/I]/f1Љ~ 4WUg0K]^ %IX=CVi0U0TXf Yr)5Um[7dLtr-y)˩`ظչ^uI?Țq M~fӟ~ ʁ?5H*\lvr(K׫ryO*VU^1R<|q0hs^swuܟ(x~<Ƶ.4}cp4mD\X(׌DLg7CSˀŗigB_K&ac$|&F5zBv11>WZGQy<>PEø31W?O}ן!\8>L#;]l_؋&"|+mnU]}oFۘA_W_^q]2'lc6XJV(qkHF%\L{+PN90kTJ8 r=oךI;DxBC-,\-kqhca^oUJ§sf^P1ι\;.Vզ_f`i5b rZ5o2`/XcG& [b/tϻ,&)=W3ѣ#ѧqиpDYќ@ WXfLq5S:FÑ0n1<{QFSng R9qB|ճE0%#Rքh7s"0P'+r=TAݲ@=LnA)ݲh\[x*^}c$>$)x$EN`( Ib1kٙϹ[fno5R3KdS6 :kq >J/q`k#U]"iKe#-I{L>ϯ&QJ.1VA1vm@ 80T/!"I.oF8)DȔ7oXδ)#~#^8ch ) |-'&ReLGr\ߡ4}BF9MQbR|#-_2S qI$ CRhuLNd,fc&aJڀ}A%n舸PȨi*ƟEU؟v?_S qX:ݪb*o*r :Dq.cɥ5&JI'+]@ɑN/CͬPufS2tdG&We8Lr10ٍ=^!E˂)scg GS蒥%&VPmH1,CJw5GO"5Fɉ HF퐳Cѝ/٤7bfa<"(ʵQ2 vkz{ɵ[hW_1-X]G(@ TuZni~BM-6KTOA謞-SY%Sef" ݻTH%gB:R$|Zq[ .~Nj< d(7uo*Rn6pX}bkD'mƳ& I$y:+<1oR 1#ȖMah؞7Uhh[lܺa<%G{x}񁷆{u,fsanBwf$iS3ƺ4 .ĎDUޱ%]-_P1w3=(L(꫻acx:ftPs/qI黭{ѦCޔa Ƹݷ!n2Mvr/(cK'x)?EIS%ƎAa?n넔VISb)IxƗFFB}-bEyoHʇщr^hMØG_;̹nvl;^0YCSl;+?8jy]"y `F-F>~WOa0MFHq8~Y>j f#[3$DPrm1pTQ{rrS/d^c; ſ\#aDOhUk.|n(oէ4|@y6p*HQ[BA?gmiE-if[\>l YCwӪY.g$~&ő):Ʊ.P`%dȒ}"(5G@yІdeTNaN"Aa-u)BaX1U$@,2Ǯ[e,,C1!٣M KXo}ykm^x{<(J=x> ?Suuw=SP lx} j-OqZhL1dі"r̬n|A(Ez34O)"@vP.qAXREXMdF9;f>s/*Ζ^6HS}2õ#?ZjtRַ1_%״+ 8@_6^KT>$kLd,lumA ݻJn (q𥘦CMoQYuu$ſ[X)Cl;8;|T56]Sb0Bd]{k,iZFa#5 wgᛥb>$Ypcד qc:Fj<>x'+0nt\B R}p9a!Hh 'PJ%w487X6\ZLWIfR#ӣTnA_bI{inFA[[\ y11 #"cХBе wK L\=1PV0qUZ@I#2gRifm<xH@W7IP@ MtXy.7-Ju93-|gٍ{ Z/XuK8f`v%EȸBŐ@Qf(1n=\0y׽@K~ae^N@c~шdrx'[o;sT&ZYLU4*+=u? /޸fʹ $MӚ SԗomEP#{2iqg\,V1IߜP P;o'.Tn}Cb&G+@k@ag KPQ"f'cLnSj~0+I&^Ya)E#J^DݴV>>GaE|_뻝z"O1|ŚklafyX͉SVSim *O'YD^9|.nWGťq&PՑ^+R1x 0B{ )w5.#q+z ť0Jhk JgUM,L?Kumq Pf]B˰+'\'rc[jQ W5ڡt.I^ħ Ğ|d. $(;?8bG{7G'ԩfgf|9cޚT M/یyÖ}#[ݼ Q6P66Zc0 [* j%DZV{vJ(ZbV 菙G;(kXkP,5Ɲ\>2lMqC>VjJ]#va4%sk=M:E zuLt~µ++ j!c_l[DʙkN[t-l,:4#ʩ'6^5WtxܩֺhdCtg/ց0PD' KjzȨHe&P=8m9:5 _F_E<[-=N202r ٟ$wU-Dݪ&)No?D\;XkU5X0 y.^QWۍaZ;cQe7atR i:ˢ%,!xB9">MѓMO~ڨQγyҤI`쟭)t0Mopɸ3M&8܇G&hNrxoRsɳ墔_''>6gD k9iv8z]Rq`˔sJd:uYFέȞ$bt+ABV@ |AV Q!URK\EտoJNq /^0N|P-,Tb?WTFRLw[auk}H*rVҖjkpl^nHuIS}S0%cx#q&}-DzD 9~)IUʗώ)yzu#Cvmڂ>9S{P5!6v"->S-Ckyh%uV>Ws<^w~ne:"ȮfJH,H%!)!a!-]-_F_|;/@˘*(6Hj-o&NIh;&.K,(yJk@I7$d|!l/Զɹ aXW rekREٍ{Bz# ΗSէ8xHs}iCjmIͭLk$xsy:*(.A;Ҧ^k2aϗ"A»4 5 [Fەƣo?-4WYN[<&5!7Oʵ{Th{0T#.2#d^}ѯTY`jU)mG 1{<" ɀ;3!=/A_ Fnz\y:[܌gi`w2D,H@)6U"?VT] zӊ%nq(ϕ8Y1)h"ОM*]^N5UPY%@q/r 3 qx2L,>˂52kLQۧm#dR( _w_4;m:L`eNl/q`GVIDZ2pZ ؇f/lo]G̚ 9apٍBJmMg*0W6#p^`k|MṤsY|oQg6Ro2DZQ`pbKi~HxXnfGyzf%X~HND6v؍G !l&7Rupc}_8ԋW0 w6$n%vRkEOTy2or9KP;X[gc㸼Fn?{t6\c{{s;Cd4O"ֶ"4QSL|nwW:z$iEsww4{gK/ ~Wr7Xcaa2E=H+SOYez&|{LY`bj﨟Dj}̢mPQQ'Ѵy!<YF sy Lh&l*oiRI: 8ZO&(yQt=[ ١o\rBTz<hqę9CDsG֕\4^۹bz/>xt=VQ䭗+,.+C:b>U,LD6[5:}st6ѩ cQ1VXן``/ =38@RA:HW fa a|&RO]UGBqfߢQ=tAՔ΍X2-St $t)9i#84UyLt+?֚ 6•s_aaj/ 1O%Dzh9% kݏ :Ie:늁?̍^a5Ig:KA8~0QU" ܘ^#X0<4nb2ƠxZqG"Al4 C6hrc QE0lV w&\K0~% [ d+_󲻹4Rrt #ڸp-> " aM*ũ :X8vv/=#rs71OO;RhXI_믩FB"jS6 ֏ :M u#N7fǰCSsL xc}7 [ƛ' I4u1-e<)1'|9~mB9`+%Fp|O͏dM "姤L};,o̰ :WɿTĤ"e\85CtFU!<3ԸpbtD ?\cMLeV+$ȹӮA/_ANOnk4qOV;.ٮ?~,FyrM_N-N ʘH ]Ciq*21@b"4u*./ZN2BQkpTT7FB$=M F&H]TK;zVڢn=̿0!M;8)TG;[):R{Wz/Y1l w[?6[v##w}#X3:R5` f~~ ` J`,7x ^젪TLė]QX =H!!@U-Ϙ֒"xkL+!!TV o` ;= \oJ%%QOz.PdQ4Dx% sΚug]E U Vk_1fy*Ncc1K,Fx;Ⱥ>h)bqJ_@[g: hա$%VrtĻBUєA,UFNܕLy9ng!J/Ƌ]m tTH˔q/NCrh޹ r֐< $b3 J7SuM}Trt:7o`jd 7hKڌFB1Ď7E 9ڲ땩sn &/bm_߭ ?=,rSgH嚲#MfM2Rwtl~ oJȽӃYƥf9Ac5 OϠy(`L#74FB,Y$J6qfh.}˷!M*cb5s+^յ3uMiYKcpj@Bt%'U 6κ莅2w ܺ@F8uٶC2|DȘkeqO tg"8Km_d_uZőԙoӃޝ S,AEA?Qs2B̷Ht3p̔`)e"Y<@דUy8mHz`Ye54@1ލX0R] u#VI_s9 YWbK^ )')m2 Dzy n:}]Wާ:67WژX<'k33S#K?BqO:-xۇ Xfa|Brfyr+R|`1[V򻘂ЇڟSlch>6ys|n{WF^ɻN!J2ˀ߳f""3. xKbr䷊]z~a ^A)ҥ`kdv<`F{h81T h~Δ-PV{jנ`K긥y Xn:d5KualuJ7R~QĆqS/@Av4bW[;(]=kσ`*J#_YFrD~}m:c6Xt:+cGuJXv(hCk>`e؂4X{@^a.4C((1\0# lSF+b<)+Qʴ%)HG~-"[^lFi<*v=l|Hު:Z]OvL6%V5-K'telqcYPJUy,ªiؽu{iӒGxɓE~f!Uύ͇:;:?ʃp3^fJO@Sgꑹ<#e/Oe1?y!:*,'UlJ|m]T6}nG=\&+W"&ӸSAhB=#:I X,}&{ՂAqU%l:pW3/ AY.s[P,E$f0+YBIa> 0g5NŁ TxբU9rh昘_V.y%ǖUEF j\!]/jn xwln?=i{]k_wl\,A0OgEX*CH p7_;vW]s$~ ٥J-tIP`;0f 88@_Sj<f;g_XƘccZԡr7 ?;Eix5J/XbCw_u_'.?Dܩq%1"D$NЧXb0X` PZ,W1mK(2\Ywx(I7/1T4ąiav^F2+plWqkCܩ59Z^Y K/߫ r {L$j#~:Nuk)OV"Y^."! M5N(O PЕ}M$k[\zfIDE wKRrG n2DZ*@3J}b/+R׀e=bDZ`D]TF  ud@0$#V_[9=^8tH qx("%M`}e4f=eqC=}m*RA 6c\ /:溴/#Ԥx)E SUx m;҂tD< "48)Dk,Z.c.XL>P.a@ $ tC 4/#)"{ѶչmVȅ%w`>6 4ԨOœf^ٸpy>/3ӶB-t!mXmN*#9b\[[Mon3ITȳTwMz !x  Z퉓dw3r%G|'h?LSn *`ڠ<&9xɪ1Wvn3/P2nT%YTau0ߐu856&;6|IcHvLLRȞɊzHTB61- طE6x#8~41ԞO6YA [TG̴w1 c~%T}=~ވΖ1&ض@y \DBXO?>uٝݛL)~jM 7&n/D=9/R kXm6.n`۟V#= N}F>v6#Izq` c<:oڕ6fokWC? `㕓O \ cVN[ш! 3fN--xN\+ߓ yu:8Oo,I}wec@twuicH!}M!c(8:IgoŲ<kL> w mu4Aa7e:Rآ-gU6A CkO2f]7m7v/ʃQ Ӌe-ϹFgWhÄˡ4_nL>΃q!rYC1j8@V/'Bsk|uƞ)ttX9yJW#M?\۫o FsrNjBq0ȖT1ݓH׬%HӤRֹ>W\n % ^' &28VuGIB+bj|,5(lkVOrnhw{V}8ѺMHOb68Ͻ?%P)kiJz.x)>:n=-䚼%t tvYIRDu`x{pׁ9RRcV/ʦ(wnT"&BO% uV.¡KlY` ɶ$۩ ˜d%(&GqR8Phl"K/v-R0k݂t mUmq>; /7^7hCPd鞝#UH,~Ĝ =+3`.G *Sh},uMaA3g8-B]ibP.}1t[cbBrJJ9MaN5Poy ~f.OiڋT {G2( Q79S-M=a(a'xSM+[N W`~m7UK|7)9 ﳵ4FM +lʬ=17( A9䠵dջ**wmGm3?7[g:`d[)vk4RU,D##xY-Jw-OC }%C.&ǧ/iXJD_t,BanQi!2X 6(3LqsUMTJ0d{Vd8ȷR5Y,y/=t1Į˼YjÑgD&e7eD&PtLɟ؀+aJ$2=쒌0|!`W9GwU$xZc١S{X+$dPIŁq֭yjj!SW+ ODt^XsA>.˜KE'Loi-_{͊;؋+D=Ke5qY4/bw߁㜴N}g [B_S6"k-%ي52џIyDUa([y^M??"+AO9f}209D 6ҐI7p,@nJ\iD\쮔v9*ATP*rA.?` Fs4m=tv<rFIzکËLѴ;@ޫ66?sfy$Wft]vGߨvO -hvkp{UIϪR g {L)$Ae#| a] ~ֺjmeh-JIl+|CRdnAb+3nF_$ƾ3O,0]  yi~A.IEj5FzD[fo@YRq4^Ub%UaG[D-nm17]Y+B{0^0oѽ=:9Ɨۙ-`S Lcsn)EIz:^X]ӽe19 p<v3ArBBH_{n7e B{p«" kkGympqehܮ{ o[QSI[ Ivh}rN*uMtT߷nJ,rOLw 1*2OSgY=H=%κ:pk *Ub!P\ASĠdi4aU6Ehl`/=ӄ}>׉VgaCۗ OyV#Y&]Vl nls1ZY.=q~H Vʹu {qwO,ح]464[QFۥ&Ei`wT"ޒcYGGܭ!\;n=^ ձ1tk#Uv,aw)Uo /`j/b 3[,#SyOA[C ~f(d |0&lh\;4p0qovECCu^ }-@-?;NR'Hަ#;WIj6CTθ95ªWEg0 tʅ;f!`O+*kX `;ʸtK(Q)Wr;70^mpo#fɊ^ype"S^պ׫%U!; /|()_|,da9rZ o)G]vhKdE E|{6xcj,vf;l,%n Stx/`4}Zdd-/+o/O[ Cl2 A?gpR'F?g f|  DѾ=o6~Uu[bŨEuݤ]z -V`_jGW{{+OMwW{J\ ,2ȿx*o%nԛ`^ĕr "*ƥ+Qߙ%Bp XQ1C;(t6'ٞnV!maU(Ka4ɼ.Azy)1UPC\EдsG.)`NSHً@69yDd!/Qzu؇yMۣe5Th(xwl=UK_̙5q~PvC8?  ݨ MRk+M:3A%fgC,AM d2ϙVuLW5f^%T ν2fRH{[vv)!? ZcXLs ?F&St s]lyPҹОv:0sOSSm/'Rܓav?T((HvFt8A]I_#np >1CVj)MP$*Wı$|"1ab_{GQr:_Ū;WvRZMHTE_ʕ e88!Wk w.(&Ӎ>>|qeM\I2 rx U7 tstD_WJ3v 2p1gYZ1374d67438cc263317551344efdbb48e069b0c4f675319d71f30fe1113ab62adde844862bf61566d c1333403c22dc8fc0ae4e661507a58bdb1e66a48 c39c60499826a087a83bb1d42e7a0669915b9345