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 61 Dd\ ] HOL-Metis_Examples:threads=6elapsed=16.070cpu=64.484gc=7.700factor=4.017zXZִF! ӄ]ŗXiɟd)&]4)nNMpV,Э.6Y$LsCddz標-6`WcV|@ ̶MB[Κg|IU6gZT`B##&ϓ+4%8X$L? F][7V]Ql:0g\H1IsGU( W&㶤97Q#K~eB-z KɻaQa.*5<4}*jьQL 8OuNh;8`^w/ -+ 2tTT WhΧ{z06}i \n#5=tPs" D#B$UA.CGEoy!֖[~N'Uspxީ4I]-^e܋p>sT>tq!Kh>zO3vxt׏9Up{LL1yⵄoF5*r?Y9/ef:L'ZH=[xT>pS*3Ë,X T,o״iQOax.&wp) ӿ`fb#ZmҐpDO-u@/I[ #@)~LA +kD{:ddaz3Zo1N ) =5]E2K>ҮV+]1=MNT6~i؈'j{HƲvvuއT~GD%8IԤծGs G@saR!Ge6]X Uݽ[QXL%2 Zi{[;ρFlYRs,Y&.Pp7 9\I짝c0uuҧB_(?G,ECNN@ϮhS(|#%L,mkhH_~i`7AhZAda`BXql{ՃUT֩VAe5uwoD7Y+ ?gJ+Ld@/hJ,kRO~T*U\W63&"W\UAa,Os%{̗*l]_m%t㬡t8R`1Y.rf*M-qzm'[L&y J@Vl_wpG*=2:UƿՑvVJZJE9$ncaDC%$t%hT42tF{_Nun~pFڰZzZLIVLF0q17Gԉʣ ;2gM ռYv㡲6a^/=czlKKLYV_-w>cJͤ_D.ihn ):9î)+#Ml,;QMs`=yp@,+#w&? &Ё<'8wNEuA7vB> O)NLGF )pq=lqmSs U`l# tQic ,vB|l#lOD8v^7bvN@+R%A`f%~i< .iP~Gxm<0̵ca}kqyn7o f)3#Ƚ,p^+YMle&Lhi > [-y [wnQz\ErgkgMtb m[{*nhý[T!";[¾@-qPvde͎١ȁeLWp-i Z -: ?_hk 7Y՘oc,>~w,Lp?$Tž+G`ԛ]|NǮbgAm&$|*n8}eεm[;V+Ii_ATDo L Y_띏ꛎŒ?⬣oYMed 'D:Q2 hrF N 1 HOL-Metis_Examples  j2$ug@$_?whv9y~,K])wrZǞ(kz&OTǍ3Sqwj%5Kv*T;vIGJ0l!AĨ\8^ \Wo+a/̗=8i3GǧC#fŤ>|* |띕\mF qu`[-UEIE+656Ц KǮp-#2AIΣa;`L[7"?h xƄ[ .-_ ̲=;|~yBҪj:OyXF[;",F+3MFIZ9 tzYAc !'ݜ <Ն P 0>9X-(i8L6Ǽz\1ag\Jv6X.*a7Gg8_ pM:r)Ьs|E\~A>tpTQfam [d2dduzt!t4z!goo T]sK"}c{K5TgFQEW?hi~QA'8rj+:Bit؉b^]^6叢I#%{ o}pN"\Vͫagal5IwYDĉܜF[ *{#Ń @57P E"uNUy*Lײʟ(}=z&ϳ`C>_i\oCrE 3兟- R\)=d h'\O\ CqCħx|"cn>O-!^RE(u&bwbڐ^ Kmc:! '(8;6;v(r*-*(6g ˃Kԉ"5Sf?n4hھU8Bx s×TZ$i _yM/sẙ;_W*qGhT 5!2ϥ 1 IPzF:h9v}N`5JaŠMbSD[5NXO!)ѥqԒճ3b$Q@S Ijڋ@$0@ZSr4CbD1NL JI)f0>J E\]I)*wԯڌwX'F;4R+qzXeG^`  W(nKR#eOCrR_:t5 GY<'h*Zq{y`]+ӓo[BbqQr'yv{H፲ C8Ä!_Dʩ6pme iBAɻVKC%wh!q..YhT"68`qh:4ofe0M6YrW0l?i\NZVe!nz)v(D#fVɅ7@{/P G 6?5t^<3^ևԙORpeO'3S!W%r;ؾpi=S##lAXn{aɔ: IYfSa(qQIz/'И%dtAI, qp(3O}Iom$Ql_5 6/eG}K- pjsʝo CŘEhN00O6!D>JuKR1?,)jyޙMGz<%PrIH 3+:HU߮w¸0 J O4΁X)DW:Gi)%!=Ěk4~8f蟮Qͪ_Gq}5윲1j>FP6$]Fz'.˱dK/1b.c !2 ).AiJ\V-(wh3Cޤrv0Iׁz ^o}<1զE̩fH=3&y_B+,Y!PbxF4gc(='Qm*٦胲~Gwqd8/k*2ȱr}SR*_ξUu{~kZE_d}HMan<#aK ,/#d\:/f ^WXE1^R'$: 9@=oy2KFܦ91Q I@ǖ ܣ½18U87'K+gJc-vȲ3y\{_Z>$F~>+UP_'90SUbqV $ZԿ$w%#uHzav8{&a@BUi?K̼S>:yJ#YiuK$i;U+A,y|Ld كdV8~dj*q:tӺD`E\u"V؇v/Ld(XF \sQX')z͝HI&/}!Cxtn\n,; Y(cFL1TfHzϜyS>ae]dm8Oœ{-QAH,6 &[6$;ؤ͉kI83˕hK AQVu#34޳m"rew*{t4̜Ui+n^WOСD #5ڀďx q+o ٛMDebnt<vAܣ;Ç R'xqf$9ZwlR0ҏijbtJT #C_@ad^W?XRGr)c9ͤܟKOvAjΗxo&P=ɧκ83>k9MSJU:o5ܽ5,rg\e4b4(9g7ɂnex*@*m]3tT,{,(;T{FW>&i$ϫ#hϭۊ]6z66hF դcgQ"Y&P.(uC֝J]wDtI%(T8c[{ɇ(/a$]1 >IFd u3{moXzs )I2"ct#Za|?q=3|`~tnl ;yfZ%z eDXn^Iݜ7kcW]UO=bpvf o\-XD1CLR3Osp~onHivglO8:IobN-&<JQqׯxI7# NHJϚ) {EA .J]~¼ Z*%nBqժgUEؚ$44JiMHbR]JRZ,Xz,^)=>@4+a:a]_ V3,=xu'ؕL:$Ibs{^?~)WeFi|.gh68?ZY7"W*!Z5 i{nn9W DUs4RPgxzH U DcR'O%5$[Ş1i?3 եZ3/\6: Pv (;0= /X>/"6M{ {⋈@O\J`}.,?WtU@3/׍jG!CN><75+x7&?ZA]+m")uOL'<8M/b&)j}>bpSÃKCldBce2@H'qbz f8|~nYK߿7:kª'D`XҠ EK[jBI#&ꏮw&"VFs#*r&YrpW34@\QyR9G[uNūR*EGKn5=37|*~Q$!R5G05|eddLU2^rgf ڎT )&L΅y֓+ttE2A]sOlA{\j2{z8vqWW,a:.1 0k9/b@nJrrV'e!dvw#L _jͶTVFPttJ!&@+myI/dpKK$'xܟoLld][I knG@^d(ȫ$lJxz-[._H)PM>@>Ob3I91 ޕPK(k%*!8|W."W6@Mp/Ǭi=Dx Qy3.k(#}tc'拮ǵ,I&G* dVV)[MACkq3|MALJL_)]+j BT-q5y]dA,.8(-Skxh (ĵU*' ܀^.pG# V |ĜD>;JMtuvе}f@0/A1=oi{BMLx VOg!L1ƃʜ: 8~V֍?l;ҴI煻Ή U\fiep~p1v q<_㋯zW!{QH,2Nb#åɖ$#cR}Q3v? v*>zH3Ô(9.![#Efg469ZHX!׷z&c݅Z|r5eX8323"ڷ#m?>OBذH@R?JkAI akIݤK8K(?_"=bњyaBSh)KBql>bͩΝc1J~+P"F Zc0I.99ۗ8,ƿ-J5r1:dMRq<3eї?=LL N:8x$u[WN|aS/p UC0)]_flp@r:]K9fy(/OJ(Ot`e$**-u81Zq FhoP .9GIܛzN}ma8Q6SoJw3d[hl6tY[u?Ly#E$X. z?Af>A2!wbJYngѴ#rLM -jZ ѨܻT/V< l5R34x"|lss)Psvii_#\a",,wU$zzmkǹBKw5a r-zю{SHfT_u[ō\&1%KU%҈7!86⭗ۃs$5 E+3RaM2%%ܤdZ}|.cE."ЍYz⾿ mq1}U9&o;~[HXi vsA-mt:eLBoBzVʰgzg{1xkI 4Zؠr\<ż L%Ȉ|3v]bTHTq~ tOJj]pTE灅@[#_*pҙ :LCrGв&+J-pG^kК>.cAK^$yv;|%9aIƓM>:x) 1=/ju)Թ6(M}K-AuJ_BarTG%[/tUf#,qZ_ʙqݒ8xUl13պ#?|'"HZCU~'ۼ*3ۭǛ;6 9EZ>#O38*BٖsèE;K,c=^=Izxc1uC  0a뼍iaGJ+ We6B nY .f m,Pp-+e" ZgOt(@Ddz9 [,c,Y4wX|Go$cf/3Da>{@ E.> uKENA&01 B1e$ pu&f\֝jh.V= E` zmmUc{FsX7ҍ\T:yzlh,e -WO"FkR:?*@VHܼ1(ӓCp~E 'ꈀZx7\)WBuKlg;C&s ͑s߫MOw-ܺam\x XYA[:^"ݤ#f7fs:/ ~\!TR6 IL5<& #մ!cV1&UtIV8,` 5쑚k)iM0d8'`!r/l3iIWցi0{6r"G\וX-/*^ZV"a8@9yHd~-rxvD@(>mpV EZJ-$-S=Aw'86)tk7EbV[S{tV^L%˘{GЛ@wFsĠM/ׅie:@5<SvNV[aOKɎF}QUk!( :2?~8Q8Gۣ&<(VS aa,ː!tlGce;"o@mBipAӷZҿ}U‚6829 2wU|{=*U^=U ޸xU=%u6Z)^o$4lc9Ḧt t"\smI *~8|@\vClä lnH^':zJ?AXCMds/E_\+~6zU VmJ\HTXʏ8.cOY\r~ K'oWK Ǔ,Y;mг)2,&Tge XUwSI8`fn")Y "6ke3|4OVJ\2ác+x0b-y^r_sS\ r]I}ڕ>^VvX K^kVW۩$[XSiUG-lЍUsDL7֛yGh.ꨘ|SwsoIā1xW{nOaYH[+ dH^49\ŧǾPgӮ̀Ke_xfOKwee`nӭ9z-L5pNT*4*0xgVOay_'o^Q^ir5ePI7t>VIJ߭-3 ~{hh̝ޘc@!5V#IǢ]偔3Ԇn(XAS*¶L#: FSMq S2םzz j焂=Uw:qM ]ZDtAȓDĽ}Tqy8ȕqِlQ]#fٿf8uǮ9E#4 c6DwR?5O K7t#|7aZ@3Ju斆' NJhǯОh0%j @y.^ =UX#=n{>K5Cl6 ? Wp_dq$$kQSbsz])rfĩ))b#ɠ^gLNxjhEQ7 DMyo40S\jAOm/f'*d>r.3`+6 y t+/ GbYve[~_TfB dd "!"K).+MlΞM{sǪN ߩdk-50L_gwqqտQ^h@S{?[$=(6XBZrw˃{v<,A6VsHQ7XIŧH]n^O^Nn79 )86k$]X6#GL5 ~b*>CH75}CGJp:E %?A9 y U(xԬ;ѕՆg{W |(bs9S@: ÷a-r/+_䀴Ds 61IM{FA-EܲD (JA#r=Ap'Z2MGw"kۣx*b='i+wՍnyYxQs!w:@u7Bw32M'`kί]HњJGЧ`V`S U΢hb)GX.&E LW{8i)fڦ }󉿣l%̈́*}Ș0&PmEYy=m&&b]a4SBKY S}?Yc.|0H $~9Ɠ@#".n>Q=5q k,dfn2)0h P*jxEƚk=9`p*Cm[ d鎍$i ~a뤘!7ޖ\֎iOkiu4ڛ8Ѥ%Z5`:)y!N{( ~JjL eᝒAB!+Y 9!LSXL^2`%ڲUNu?%hDV}i =Կ@By9째)ŧ'vAjb̵|oHWvD/8F6XBn" MHoKI ~Ioazauv ᶢQXxhx`DžNR:~2_cWVyȁ̶P ]L[Hx3\6-\y iDɡ]r! Y9Wm@wX,k0Rw"AM6Ib _d;+Z`"a , L;_/fvJxs>C]mY(Μڭ -R5OCH/Sy\H &b婘:AK#*07T;rd{ %92~Q2 KW]1ʛ) >]sb^.'1)j# GĻ 1=xTLvce:G*Y u Բ_,]կ u鬪=-B ?6Α] /hRژPWFzy,tPa=P97[> ۗ-k z*E1襓þ!,~g^h~p3{4?^tlϛ\pQ!UJDv'r>VA jDL~VCԹ{ڵL16ݺ0b 迏̆=J rJm7#:`@bsE(4wLm\)Y|Ju1-z2q*^üþie%0@ D R DjF/Uٺ.wp% X ixTo(ؾ^g,2œ'cj20q?nA=Ym{7g1šF8 -hz"Ȁl,&tMAL4FqJ d5)#'L2e,&>E33¯vD$}|Np\EG/,ب*V<@BҨ်T`6 F|?Z $N0GX\fηF^#X[n~;BYJ27rj-Vl x CkͺfxNhPJ@ҧv٣pHux,e Bh F¾` /D{$:pIGQ^p8 1v+;Fb1Tyj+İ7sߘ!Y|z&zW7UywIvv8Y٤tZ)U8/U%p9ލ3$|8k}$=iQ С.7|tK$㰿4$(q;@T#w0Fkk79,4obVbZ-S^TBfz#O1 )ݽ"؊lqqߘ ۨQG3/1=7B+'hWb:y7"|d&;/vݝpV蝫NDgb|Ʋ'osJ "n.35R{G2~Y2hw唠bUM>d8*≣Rfg[,Ѓr agH!wa% K=9:hgyhP8Llѱz(, E0os-rʼn ?`ݾERx>{Md>qm!C:ta`M̗/dH;_)p3SLk&p\ؔ0>c-E`7f8:M= :¸. k~2SK[|M{$6PZb@WLW\ k?&8;7UƒP`$A )/ AoԠr$)VH /8R~2|v|;4^hDK-;宗9mp~v3c?OqBx7roEEVeܮll1`%=]M>3w~ zț0L/E5 ܹ&7d<͒ "u}ì텺?Ql;:dMYèȑ?Ux|+:׆EK \Ѿ[Ƥ?:dEcׅsr c^hɺ7u6+k1RZ9]xvAUUmJ4$os?z.Ge Kv9?xőA8p ۗ/G5U~A9BNcNBAi;كvA,$Z{Z#+%!*R^dZqY[gd]PMV(x+§RKKr(hF!nrܩ1ozۗ /MaJսgidv~o91eqm@>Cb}ExDy,;ns#L5{I"#T}Qy*@b{) ިJć)hؾlH ]hnY3aNDGp(z4u0:fkǿq<ֿٻbݕZ3h1 ¢o0,a(-G$]mVtƮךrֱxH=xI雄(ӭ.C5z9ȱz.q PIAڈe%7N]yViɦ ^ _3:t!(˪y~YpfҐR=[]O; XK E&PtW&xf"$+>y_ϴ]%=5SHT':i+a:O;?ixk e7mHiD  F%9Bez{Nf6WEf%x 'N)1v )%⚒|1\ 埈53)oRw!G<ʶ_J\@wا'J }Lk6} ԡ +EK%T$-P#L&+RzpKwaNcpQZ*h\I bgc>ă˜jB%8`lP]9cP7ߨd͈%%59t/^qF90@8nDb VZ?X GB둇~y/0XO NQcE”=mgP k| ^RUgW jWڷO h+mߨBr [9Aп:&j ^ijz6ykZP`&uVA줸pzCnPr %+ fr-4M"TJ֜9ja+j'O5_Ì`kܿx|ǖ/ e::`MVyV>qcnµzx˲U_7)k-~Nf"NO( eo}m3Q l9G4/C#g@H%d0ikp:ps—>9ƺ8yK[eobI6r#3-0gv|2D21ؓ M <['u67YEK=BMUQG&i(i׹\M~k]mO6E=9 `uv95{oLL~:%q=t#t1JB L:g1r۴U,D`xK x ;Y#gt y9_*ꗦky~=<:x8kԏ6c~CPܧj}2E!ˢdB<ׇnܗZz.H=UrR>ayn9;|}j/A@㟹T c5ϾfzնHJ;= ŗ>fٛ)Եm3 @x%;P@9EuPxp% חJnX 5Ա1\\ﴽKa Yʊ%75PWWHAY}o ^:Z*XKJ!?rRrpHx#~)\bXUaU$q!&+[r1@XDf앖l\>-a}< ;w_Xq!l ֶ~ː:u\lZ?, kf6\|FZ4D &&Z^ѠIV~!Y40 +6ʽMS.V]I{}ޯ8GH@L:,Bܚ*K3ֆjr~kO:ƆV6[7x($ԯc]ԺOV O^̲b|yL!x`,sb, Uݷù6CշݑESeS̭XLc);hhq \QB8^}r8Xn3]CH8Or6‚IFRʗ?θ~I<Y&$ %xT_U2*w ;.kd4x@7)ps8J(o7},`$\o>npǫm抒f<fS S0PMhn(Z_,ކ. G롂X>)l?3Mga??;#n'*kFY+"[lbiČuc@NGe*n*Bʧ7+[cU {la} 3`)D@fx(6$ӹl}{A6[ BrtQJ歱L= y) ̢E8e+!xGg3-3CYp/x@xrmoˮ;M11jŖ?Kz^*&J p3Ox:\̟s?w*r8{ FsuJM` e ^{+Nԩ_ 5+g`B[`M`ؘ)ZP;M"5FFڀǷf9<|R0uܽ:2"xNA*xCjLvmtqkfbA}hlǡ6͹(Ab1(o4aּQ z-"4؁4Mjd7٘S4!Y8n> hQb 1Ŵ"BZЃic<>j}a_\SCadubcHS%wڴ[q<\3Yq Dbu3T mCPӉSX"'L+yk\kD$I<9%ǜ%ʬFBEʛQqG d@'<ڻj.YI\C=c1;E*H.ڐL1)ْxg?U5~)pGu p,H߃X?x{t:rvξޤ kje^S.9~ľܙs Jir(zbO= g"tg/zJYbWgjc!5"|CF 545sGyx0;7A N[Fs&I%\_^MUՄv渞ډ%WJ .{Sdct(:H|I,[LX:@`Mna8+ ja[Js8.Fh Z\zkjt}3~?峹F~ z1>TYT>lsi/A B;ސ!fܷ7df*l,A~3i+_&$98s4Qd(]-VE˥qq.TeJ3l-K>!C8.3!:鯪-3 퍒<kk(-[).ѥوt7~U:Rhd Ly;Q^ȸY2qd굧^DW>>jT̀#n-,.ŷUzn_1؄?@k2pс7Z49~jzl)Cw䬾c{_4" Ul$4kaQlnBH_6զiy1",g)J=|l,3ek̉6@VY$q NWn(*M"PhAk_(Hvȿdԕ^&WoQb齹psY`=ȏͩ.ѷpUqsIely\I5Q¼0(1D;S9&2 sꩦ.~"딑rv9Z>\I=>l;Qrɋ؂MKP S~i"~`f][\ݜs4ɪS.x|o@NTjKi?V{o!=i+yVw}a?E> _D!ƚY$?Xm3>잏Y$VM9vPlbί֨x\=ڳDƫ]e*OqD8Pԫ7b8 y~+$nDPϫw$eA , #t%b-i] lWYljr;K" 3<%9-dONM gg0 r5dL$c)$I@JēhDB&R]8e]H,%P+techd 1a){]N'2X mc承I?khsxj {p<\-LҜmFaA/3>ƄY+VE\3:q52-^JvՖM.HcQ^=mVۄ|gY7(ˏr0ɻwr9su<1嘈 ,Y Í},/5WLJaJW70K%28MSsGp QOh2h>=ԋJI*~Ayuҏ7N}JYc&(Ch5^`O=쀣z@G LmQ㢬 #]<"}).@Ǿ8fi0ĤCUVG e*˶Z >8ZƾOl{pMgim(裁ѢvU5dbu г8μ?-3cg)_)PEێi*Fb0%wk<@}ݖpruq, 04׿LbnemHfۗ;#A6U z.3qKt;@E\24k,u(,qZ^s`E;9KDLoߏ+yі&ᨤ X+';NVifbF1[.xs";و_„BBV1N1Ros=Z.b\z.!pD#[6.[r蚏BJQjq4r`,ƇSU./ϚkF1l?X/S?^9TbφXvB:G*|9ZYiShG(:[DXDMjMT8FC3<QCۜ(^ L+9 qD #piz 3 PbOnO!zcqW}()>j;.QCWj+9!L$"m> x E+ɼ==xI2 .]΄ͧ]/lqT~ILxV'C۷.v{9 Z`i#Vhd1:П"(6LHڣY]P1q'lWB5T?6;LtM-rbYVƓԂBw2@ {bVUj$GPgBqr(!g5pB:αb1 (kKq&W8})!)|R)tbk55ҧMką>ҕrQlL?״;g+v^]g!^JQ"߰av+5{]!ϭ$] V'5C-{􊼟FŜACGzWt|l>[MST`:7A8h7fZ{,R0,e$ W9h>+3B7{Gg,K#e]J(i̢ȟW4imQ/1SGW9q+eIL\~u1mntRTg` EQ7z{D95 =✍6>~RZ+be3{ibW!7fM *+YYQ@ BmGɆvcl;i}uxJrr6 HfO4JGEF'"w Je j:_G0_} A1dFqgT&D^T̀tHA]P˚)\='.N~m4+jjWk{8n aC;B I8O0V2ӓ +6) W,Z.g~ 1D$k&XkϮQ>bkIBҔB=u Da-bQZL4웾 \z,ΠϫAԈVwCg!6%?2,q3$;hVS~cCȪn-61~Gw+uϡ~xm&^ݫ*b:EQ piΔ0˼}1`w] H߾fSTL<|6w](1q. ~,o i%/ ڐA)j%^Q#'JBw%򂁢Z*]iJLҾ4w3:ZAd^䷝c.vg[a_Ò^t}xUfFP;w"[t7FHJޮd§TRw fNsmRCGҀוѕt#3MgAI9 k_+7RurmnB)39 u Aotd֙ku'#©埢 ߰bͽ`yhy̔nAޏ2Ђrc9 $Cυ ƶt̜w'IL4qc Vx1xKUfq߳uB/ozFVDx9M[yb1{²맂VݸT:XS1Mϕ'w&؇yIR=Rq!Naw7ZCьO';yc+r`[ה_ +zy(j /M)Gn[K:D5a0.싌\wn!@W6hW-(z(HE&ek+~]@ ;r#\R ӦAi' dyI"ud-ac ApUhLߖm"քT9oGDzJbjJRFLu14=-Ti0b\}RbRqx!gjHճ#uǻ6bhynUp1g0nf{4(9ZWW]]D ,vĴQ~(F-(J?x" Wq 4ZV><`+Ǔee[$(LYekj-BK:; \GPĔKyFi>*o2 arƐۗZ$]%B;\_L2k TGG TݘHw%⍼\9: dGNY^xSrf>1lOj㬷[L\%tAO< /.{sag6-xp9)p8b[z 5X)Ȓ߮35NcܮΘRyKmvze $>hVޞPnL% YcdOͶ;asƠU$JPom0EVpkk??{ ug\`_@=,j z qזD@ӧׅj-n3GI8 vđʲx$Wn0fCK#~&CQ`Qy$vRm MdY&ꌗa,i,*sH㢦fQ!> h.}SNdZ ѴT)[_cXG縌 LYqԘ imV)ti}8bxs19(FVO!s|3vTSFC)]l˂E6_yNSi#w9wsZWȄ6#̝>E*)& (w0bRޛ2jb\񸨬?'u!<0`frAfmg Mqf J_,36צ!~hw}CpQ$"Rj&/$03U MhtM8; 컓G"MYh8?Qfq.$sjZJ>v>- Q@ҢWAX2s^3 PS8kɦ%ߘC0}d .eZ`237|_ uF^4fsKz>rEFߌDIXO[|cea/k{evrx_T*yku5 t%xdCAuHiЍ,oQ[[dᅄJe'$l i n1ȅP'[e m+q@_K".0 d$DTnMG(|`$)E~O;~J%x[^zPim%޾OJWp'*cLHWN)`g)FS|u~JZ(Ǩ ssA 3TvM'#l#f}d$2L6p8Duz.Y"sļA1A3|])I ڔ ޖ~j-Pko" 98 H0y[<S5,?lp+r?9)iHI\*@͒!;"Dt4kze0 ֖1l-9h=GM lQ .H(a>lݢP](!RHHO ,8־eiepVD@z1|iju\rb/'B ZAt⨗YiY<(ϞG*o㏚Ekpr4.DNiX8~]è %DR!*b6X =k%Cfb wl,#TьAQXc)lt9¬ϕ9>~bS4N&E[>}GE%ݣYўjc,=*vx*0.t4\۝" H=kFûH9kPOi0tȽ"21pyQ Kp4U1ݾ(SSO h:ak)+|ߌՇ_ 1mDy$N.eÎXHџQT+ b!XޮC:)~t "c="Fjf~{zׅ`[㶬?9{zmAkT7( ϲڽvY_Ezܨ.Aݧ|:ރpu(wFt [3#mz`iݩ`XM /+5$*#,f G7dVs|3#+r KXP@%Uc?mM I?!&Ѻ{f I~[3{L}xo=\S%ʬZW 8챔A$ #)Nt*g%R0:oːU{݌ekr"J~q̓b¯)U}"e a}3笽wе8f/37~;2@.]O_]TqWm\3ܜ:JH1Xp;Z<+Ax)f ;x)|Rqm.R} )/-Os !kXϴ%#W)1蒶}3Rܕf0$pJc^|s![)m]OfeNhƶ='M% G>%gGe|NDin+D8j&c7)Nh $$gkZxbvD۸ʿ:ໂJ"}NUŵX}V.!a=j^Dh\L.!e}e6C&E5igUyX#?3ϵuq*+Dt]*陖ghawef^ TIzVZ^+¸%k5ŷ_WM9}:֝%sèFA}g'PsqtWϢJ%/.ݱ>x+Ύ ƶUsM(PFceYߋ&D96ԔSIڣƢ{&(JˡҴ[ BAgKwWg&^ɒ ]kD.UHqz}y!16O/:,t KK6ш6mqj[7&r-.J3,$"f+y*{uINS^5Ǒjs,i޶ϗq~=알CdľLMst}Cǖ<:Lc_.( )G w7bCe/S1z-6AOWZչ 3ЙU4{>nHI*㣏lE9O'Vc3="C >AzdF+hROdPwv1jW+5ޅoX2`@M\ýŇYO)sα Lϻi)D`IPW(.'pb&D=L!# t Gw7@ (M*+pKVWUVm1خjwy!v/|kĜdJ9s%\~>B(gSCI YT3͎([ ?Nw,E%lAUIdGިY~<CaH,!Uf;W\zkkϮJ@٪o:ko+@; JR 'zh~bף A Brζ(=QyoCqQ}cnZa Fhruŝ:b*2FM&32TжV$!×B C&VbX|G/7#;6Db''HBTpD}a ,Z.C7#.t2h<ئGA!cPwN*f0e-4 ~\ 20Asz \^R= *& 8l;w_]v0$#]XRbt?zE3O:ԙ )?gYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM`|E$4AD=s5۬NY(wR%7=fI~ϴ{SkXSl_j'PYHtv{Q? <șL6'YتrAj"mwJ1t ؠhB$b-05H>Jll~nu=70kp|h6wF+!1`NqI.T>G=-"KrVXcO%̌d5igYZ7zXZִF! W]ŗXi%L#L|3vc{c4<VbalӔKLw帾0cY.i0œ H(OhVes㞩'Iԇ]aa+j?)΂oP9JWG53e3Q8:+aF|!7B^VJ?4pAy䤃lݡ2 iBp 6<䈖 j#?@jϷd.~[8+ELM-y9ywB0ݧalKma{ ؃{J FsePzdM:Ɣ!1,|8uIMP.jT+^ g~^]rj7AŇt5F7jJ0l:% 5|C 8gr˳DғT.݅WHM&^xgBa0t݆2$% -s ?S ʐ66*9tV1y?FeUEkYVVVB_ C:sd}k 0:d?ٗP?%C^HJGVMdpJi0N1aB} %4 Ӆ~@_e;?c b3n5@sQOSzKzL:nď \ j3_԰fθ}$,# rYT ҵeWI쿑 P7Zv^;Q_]OZ65GSV("3R S 9pآ!t2_ezBm39_?Qce(P3?䓞"!\0E6/K lI]*tdܨ dz`>GfN 9T]*WE4t5!*3Nha]ȑZFpt^]t= d1$x6~ko[΀Dkyy)ȋe :))޾Wف&s)ܲ 94Sx {Ds VpJ9.IVO"@~k,ǘf8I>5#d%5spFPBlF_6 şt<ǃ?[])+֊.#͹s+-dV^oTTv^אr)gGoljUKPs휻bT:LxGzY}?b[Y"sSyH=/V8Ә@$Y^]aFTR@2%L:ԲF5<@p1=RdV6XFV!6M7 &f,2LfϮ<%JHwa3TmD1 4A!-(ova=LY焾ECW~ Lgֶ4naLXDI>ά}:MO4է':%49⒞Yde:}n!hf (hAXI[z wޣC,ݹBS)Bp#(P;xhM^gYZ1a56246514ff1b15f13a793debda17c853432b61e1147b3c6964ee34a73b496090d81315eabf9592 847a90305910414ab70d1b8a07a746397a90c4f0 80b0d7e17f3fac60542e792911684c5a0bfbeca3