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 //)1td ] HOL-Metis_Examples:threads=6elapsed=15.856cpu=66.516gc=7.8927zXZִF! ҠD]ŗXiɟd)&]hS.J}+%$G㷈ﻥ8|.4Xh(;WD4d6Xu+^qܦzhjGB{!y]$|+RB=#3VA4i[D% l%Vb]y!5QײsDJjBcJ>~ܥVy@bp筲ѶL ˗ -w #sAwt7^ѽgVgCTۻ &t X&G YTwWyt>tWz.j~7?B)>PE1=.0|m5@UWU:PI|rgՁSYuP0ڂ^_+Gc|z U-u:# qEr2Fg߽k~x ;$[&,Zy8A**˖sh*3wI,fa-L;~A1Hbp\D V6e2iќJ7iϖ>捯$L3oJ+Qks寬615Bhة(B'~g9P]WZ#`H6LV=Jik0o,U<VOk VݔuJp~( 9rff2HƑ'(c(9LG̳ " Ϫ\ x|GPwJhb Q3P"5dy$4eU9i 7HsMݢ94StQ7%6cc !0NNg%t֏!̈́5ro+SE]X 8@YykNJ!! L8OCTaH B@DbM꟢?JPRj/xy'yyV`n:[7Jf]梧;{e l/n1t hUi&CzJ>?^M"*X,>_N$?/崂}Bp-OTvT, OPԲV84^+r8u6qM۪HyVbQi.& Tݠ-f藺-1_Wqb1R}l>mM<,hVxp}rYf{ =[S9OH=|Z߮6 Wz053(G՘r 2W*ߕ-!d(s;wn^gT קEfibҼ)T|J]ș1F8wB-7O TӰ!2{2vv, ۖm򡘺vv%' ƮK|%N;Bv9?7)BgѨ/BV6z7kWኟAbI_9냳2FRDYV2^F1<فrhBxb#{BB ȝ/_ eV]_{9>x.ǽ>5Mkəd0Hug!׼gFe_Գٿށ{#ޒ=z707;Gԭ+iF)&uQ:5]\!:# `I䚔4v U*J!m̯T'u(T=mwIf]>gѝl+&Qǩ$BB䡴P7X#~x`$xW:Dio0wI'Џ?WML!6?Oqt[z8˝_a2-b[wY7jZ_GbbYW+ׯƎv8G& n-LSp(:uhX<,NؤF O]e,7[eq%vҶe eagK0u%f`KW<ͯX];Qs'' R+lvIcɫ" & zGBNy&PAL dC󑍲hǔ=G[,P;$BSy9R *qd}Ө#nJEО#;',cZj!YH"a \#1*yf(E7c̊%HPLI}ȑf/휸0(X#U3pjƣG@Z|ySzmknYjY] CT'8llw t`TT8ޚO'M冈w}gT㴓X~ VkS}z@ /;b TR `󟰚NdMNPO@b,cNQm{B39%Q)&:5).(#l6il> O*0{6P\ѽ#,X"y1} {_N?wDSVyY,N$4ڙhq l4 ":TPQM֯]2G}xv2󻠀RL馡WoFK>73=npI]aǰޡ(dŸ.X =a:Q4Yc\7m!>"Ļ Agi>CrN3JKJDRXޗ~4nqG Al." AȯC`Ͽ") =<hpSC`]"bJ((p|!mGY!UzG>9GDe*UxҠRꙜ̃آqs.]q"4w2@z@=N)xza0k jOV+ۏ/nb#QgxIEJ$g jctq` o84eAʹFB{͆ i״!Yo+˥ЊS|Q]W'~ 'ӣc1K|`x W2!?SMoؒxJNkx*NQ ךT4L娑A"Pnbӄ>|b\L@_S"wLHc{jCV^1itK^oIɦɢ ֊$K5gݭ0=dΚ" 0+FBң1[(85!ոWsrOWG&QesB#fLV,ȹs)NRM/%{A|\LuW/_/E 5׽%S4$Oy.(T=z8DUvVU'Yl< ͒6ݖb=g7~?BK CdE٢^i#hN"Ƽ CGe"Rq)bQ78fe1ݜZ2jn/ {)ꃏ~@R6K߮k i!܆C*'KMZiVMU]ŅsQH``^j8_zASf3zCP/ zYӣ*x!VMR*Іx4gD&֨<VbL/L&@y[jʹf7_R<&);g?o'4 XYDЛ[F&""6@^^VCV~ cggun!ֻP *|6Ig@ 9&]ٳbՀ.ݔ.Ƴb'Hn ׅw/n:k3cWf<$ q,# >hpB8F`"wazlfM1]mRsz׷!_PgܤLK!G8$Kŋi1u07T^ U]ꁘӟAr ց8b̰!B OfRxQϘpPOG86e!̅" &3*}?Zx#Jߠ)/O"h I9U1+Cᗚd>T '.&򯰕p 5@V@º\謱ȝ݇D%*plz_߅7($5&tWb,۸|;Rܢ6z5z(N& ϤAզmUʄ6ْV2O Lݑ}' s\ိQ6ͺL|8 aݼsR\[\ѸV u"AB֡/Gu0|P>uubl' =sZH;_ M1"НeW6 N~yYZűo}:긟a* 1=煈^Tz-h%`' B 0r4?EDiBdqW=1zhq)<;faEz N|yFAf `eFI ®]}F@=k!`vTpO.8#ϝ}Axx'᤼K?f=[t3cOhСIp=lђTBSb2(lu6ANf.aadsy&JG%򇹧1#_hp&@/bdaȬ[n~okS2 k"4UJN4yo^܁єk:XS}ni2]sfY0Ю`'! Ž~^vy:Su{\egEJ%?YkUΩ t;lK);4|O M,Lt-Tzb?O;g[tC;v%xx'!g'_5j2.%oΟZo*:GO"tU0U>ZiD+Bn²\ly 0!bxua2!M룫N:{jsȴR'Wd[-[tՂ.3Rl7ɛWLb̘%׊9d&қ͛e*W(\@n ^n -Q=s UB\P365>ۄX#H/G_;n3ބY+ 3|gY(xyxӽwTE>9ɠYڊo*8ӌN€vײ%cdA#3\P6TP !+Yس>7q% O0kk^d|!¥m~mY[:r>|h4!}iJa Jh'DbL 7=B\iJ:I').n[DB; v2!BTAtɟX܈ypd"33U&zWCبIƷlDsczf, {vMp*-F`m:S|֑bխFH2S&NskY ژcA_G}[gb?MFTmuW8+> )M2/yƔOlr6iΟ(j= W^OBLGCuyQO@USfM,:8 )Gŕ'Ma@5 L c2C1ip BL´5Bkj~]/9")'L&Jei0iđ?ɖ Ha-c\膆bؘBAovٚye;ɂ?"!YBB/Y,P]VƑװd`ȺjݝGP!P cjE渚xn5I DŽwXev3K@N/۝1'42O &p':6t'*pR<^*ϥNSNз8 ;@'w@EOH><&çG^RK&E\t[U׆Va'1?_]CLv\ȭH4[p}$ޛ$Dx [KFJ}n F>UP f- R.A8V%^oW*JnxHiPh[5gg_Ķj`X S.s%%ps$3dA!St_!]{N&k| ௵Jf#jEc85oCóm~ye ':}w@q02 FhG8}'K QseKKkѾúRһƳfIt ÿ9d'v<@7;wˉtn$ލ~wvYzrAzYXBC\mT Ծ]9֯XkLbȐ Z7<,ק+4ͩ-Zo^ 'e /)Ǥ&{I Y宝A,Q$/lyI-] 9([ Y??ۗ5Vytz20.Sn3ί/pfW"Z HQ-:ΜXq7!(&W$L>Z']"=ueaɗODyaAogW {("CE'Zv~,RPW3OΠ&S `bLEk1h)Px)rN4A7=2t" ~$KDlZ,kb;7HOcėViwWWOhYSMj ߄/A p=_$mg*F:j3 PH]pE tbb. 5f~NWXdb\W5gС+9*PpQ (SZ4 aDГ)_hT'3n( l2y!q U{/3+y;@KW ^\yY6 kF7 V'//4j}~Ao24œxI~|ʙ2Zdl82|Ŷ#V/Y'ɱga.Zq`tr$fhWf9=^/=R1.$?y?lmCfn-ue:uYj/5xm܋O@#)ԁ;"G (JNK*6Dn`ъrs&c^=mc032 ZzJx"V<2FSxX/U# {T&I1(ᣡԹޘcJZfˆX/Ig*Vcn0|x wnvSl -m>ZOl3 [fFwWpHȝ8#3w9Ad=Y#a5-* ML2#az^VhɟJSI /_E51EmM_W7a_w:'l~rQR>FP- /i # dB@-C2o_9u\6PU~(̮&>ǜ葈P"w:eqAV@yp Ybs\.3A!v8Mk@N툞5p^fTy?xe\C=ƽϲN<(.U1]гy`#_.n$Wftx~A=6K[ؤpbZ3PHu%7Y`pw5"5{yF$K ;!0Ūe+#e`UbbvLMo#LGX2 s#t:CjҘGC<|6Ec5<2*ڧDL2pnLnMo)0>rzty_XlQTZ>3>l>H5p1dl6(/itAPI668o^#w({iJ9|F.r1>R`WG+f*i4ugzm_5j\g'J>96F,իU]osՌ͙aX]WO$(͏y9weV$iH $|Lѫ؈q rw]i\ܣbdiVEH,跿tr^0rt+y1}^ < Q2p2ߔ]H [3zi[?l.K]Z&$W֠PQ۟u,չFJx07!E 8!j/k4 ?7mQd>j Oi~I4hĂy\ԲR3*ͮrG"iXlC'6O(y> P_qa1MN Kk\53QηP6w svkW\'uո#0e tkNˎP dbEz q9DVŷ?zń&^zMnk Ł&ģn|MYɌC %[@~ViA@P*3͐JC}e~4kPnJ\fS}Ϫ^.jGB#u*OO BY}΂4ڲéE2ccSiu Lw|ʻOX%-OU'|f$G{`ߍ)B ?2pٌ?2JrO*Ayd:;\ v~\1~"3#s]|ڕGP(.[iaiaNc%w^'H͐hg~ :6i,ScN1+7?`Y 5/*5EDIDZ'ywԞ` 5Z/ VFWnLT߬ŖmHH:(7jꔐCf#2U|VX.n)g,"軼,AHɔp6zb` sUx7w`i\*}t񪬗 *H6¯rd<Cqh\btT:GN&t[n^ DK*,Q]g$r*O#iҕeE%[!ޫI;r)U[wCU``<ۦ 3]WUi2 bDܵ_F^ uC`F?'zh1iVbbcl[HZ]LsA-ڄ ѹ]E@qη: uj^~.*JFx IRg3v\a?ՃF7Z*$MLS.U9 p 5U85}!y^[`>qIp4?UfMp8{&ظbfIkk{[PO1BUt)xP4~k"dݩK+C"eGiҍu P-ueL%%Fѹy] ˆj!şk~كbU tMf(޿nS>Wnorl{ODrA3a*B.|NfkpA1^JɰLKZznK[i(I,Epa[Y,x㗬&^G.X/mW{ v%*J]h6ȧkYImw70;/i+͝Qt2- -(=1lF8 Vm6+DdpLLUҳ)5!4=[D\Z=7Ɍ)Eq^:tR̚L?1ZB GՉpyS#4@MeOjC@n^%o Zw*k1ovG$ns׷{3/ QdUQC*d.n]U9jnc/2<3N? \Ѕa.u. JF}N5I5J˘_mckw|?|QqHV@"I]זۿ3u*gS.^fU'QPлI4vܿ)'Rz|*!v~ŋp4Sb6N sr⢰a$|qy.<=WrMI-=),3$v"x3UwZ["#Ro5PêN [Nz||o66x9hè|?b" P䯳bȽE sz* @nGC&bC %U/rZlxb\w̦jDm$C^D*d&ΓYaE,(cx~? oW丝,/(p[`g꼨_ a;,7(jMA3|nL4{+} ׺74֩,g`{/p>w^c|e-KZ  ד,^h- Q3WUɛ 1?<G[LiWaʥOl8P2CE/\"Bo"G..x[?8aݾ) dL5.>pIjQ.BG~*X̳/{h;׫@A",W~> _bf% xp,ޠfd;wj=IO0pMo7tkeɠ„  @YϪTޡO293q6ZXǠGGɢCr8djs(/LT\Htpc1v܋/RHkBJ~ ӽL;>~%L۲kBͮ]]N;''ۇtTov|s\s]'S3%(_ܗű |j) nˊ~g iLUBZ!{%LsnvyA )$s^%qW}D0&niOS=1sWqÑy镒rO;qNUdW:>7,{::'@$&ߧuyc9. 闌|BBڒ`RRf.V;X&H"T9sk nJg yE|bҭESm +cO kYg0g2yx({×.<ӮdvZWEE?&^ܮ2*2_eN~_"IZfwBb)6QK$ϡr\"p>&kR|޽vxط| ^A$Z"Xӛ,Œ.QPvE gǧԒ[hI%1|Hg (¢{k6 \vt]2E տLCh|%pK*Gsg'TH>OSLe[4.ܔO3x3ul7K /nͿ"X3 tJau'3jLjELVZpK`&D7O@,Tӭk{t&Z_?֤zd9fxJOѳ=e@7W0B'T +t!nΘ%uj&&MjL˜ c(`_+Ys\ +}.6gu?tBHغfjhO(T<"/[<W[lNЎC5X@CBVQ-Y CxS=m:>VbZrD=#>]Pz*t,3Z87nDo2W卓aQ"bʰr-ƟK͏7^91ʦ$ӧbw̑KXYLH"%|̈Q0sr%v1E['13kgW/tzF\2z3gV6")oIt6w9pjۓ? KvMO>z ?xrY{R/m1t:K_k&d,ś3}+P$Ӟ֕(,f@NTH{vHӼ 9Wc?cX⩥]j hik yguv)j !]3*__[O{e K\7b''}<\? 6<] i )?$a8uN3"Yh._B`)Tto4` rFskq3[RF]Ļ{pg5‚խ$3w_e*96#hOV;ԓBD'0vq# >@ Isn_]9t%#"-/V=NP\D0@% ǫ%D@^giدe4ҏ z(J ۍ1b^cJ $HczfAdTӛޱae÷=NrW#7\R=ex_3'Iʝ8\}0´Y0:]q_p(ר+>3j"Ko"n_\o,?eg9l0vJyyz#ثHuU+ X6yʈOn,68EGxxu#Dq0ں4@}&b^zM# L%Kf-hkBV= aF;JExэYP-yE!EQa2ynnV-rm T?q@U@xߖ{L@ƻdzK|.?q(Td=>'ITi̚*KUЇ/hIvo8d:W4P|Epcw֝b2`}:TT69E U4`ުc_?]|x6}+BG">wS JZPk }G[OV`oP/;xqUo*Դ"j\l>n,uA&0u Z-,Q8Hdvm{yъ~ܢ 6*F~7Vrg27rHjV(%1Rc76E|a U[WtP|T6Gq52,WƠ(kN#='|˂?OSr)KO@{(3dVq7CwD0fphhWob& VB&qm|O3wLZdNdoi˰aXn#9`O}5~Sb(=wz&l ;~l.S)flQ!k-6B 0% Ӛ as1m+Oe9WCY?jP0 $ ]Fg!*!HkAae.Sc j+IhH"Jw4(Ԋ" ^-6|m:g#& n.Z#pHT H9s J:"خ 6b_-ȋ{қ!yv5=%㵙.Qr9u$pВ0;qJD2^ȇB ʄW:Œ4,o^~C90}Xu YbgKȂe'm#քplIvf:^ʨ{NeaqL[I9<#8DOk2P; 6ä".|:~!mw2"gv5~I GmOKPC&RSU:s|- ÃPAEh"! {T/ĻH'W*?!|PBQ#-TTyi UTМqr ۈ˿/uYgdKMUijJj:ȯ$BhQQļA\1!)T&C 2jbikpC\~0&HڼJ ՆX ?Gtt'l| "` Ksu:=0mX3r^t9sضOQ-17͔gz>h0$ [/mge Gr^nR3ӇwWV |&KhΉl|V& =rOXuVںt7u~g>":'ÕM{e@.vcmUɑŤckβW#)4V%l/ :Kzm$T oGRϾB74+s]q: 8pcE)<όWc;bcOmKj,CuETuQޔue,'b+JCWݰЅsFaP|T[8{UG\gB50p2kNsJFW-WϾ+`$i<~1I`1_^0-6r_+^nvEQ~RnӁyw-=~iy-E]uͯ*WP fj,_w(f81Uj;ixt8pC̒EG^B-nR>ob0rj*r.GA)P7dnRDِ[jZ!#FI"Z7ΩQT@2\Kr>xSjN 4bE X=#zܖr(h>9`?cCؔz]aK(dZIzߘbTluX6Q:eP1G=RG(D d.35<w"Bv!F4D\\m/l`O&}^[8Xbm""@G%'4OD極it$U6MHԄ  !e5dj>˓cQ)[ 7g!oo!&uYRH$Z))@1L9& *J%?DyLϣ:XE4xQ .Ǩ:ExH~EM^u=lPĐq m]G╈kUѱ7XϖOdMjh C@6޲w}i}|Mȫ٨Ż͛ƽ%6 w<=K !?]Ƌ)zafpFmPu2޴jHeVY/hc&AWoT?S~%2YUUYgjqX3g2ep{)_ygrzdmiy9UT~ aagl >ӄ+Y@tC8w[ݧzrCȔ6Օz}I"uѷ7̓$;ה? W,.ڻ^igPMc٥mwǰ@OUҎ spK;W]G >ǣ$WQq,mj=zyt6]qF|bC~FZLθBB ޜwԡ^vU!؛BK(Pe, `뾑YY{ j`2Z@*"vV~'pӱu*ތq d*g azu{}KF^!h]#RyhSm^N{> SJ̡N[|Dk }%\i$1i:1  l4s)N; ig=P~T4yt<^~{c&(0Wg|4*v CF6z.5wF&P͕,&- \C9@+:~e1YdWW+*}`%F5@$}xVŶPIjVi\ZziM.ݹ~sGfcRyumūJn1bWjEnuL۬EKFvF/l"!6=?r i`(/kJBsm&'|Q+v%VgȨְH'VWjOK{ob8>Lm| H}HOv ,R<-܉{w`{ݙ&doمPtn"&vAlW}B%W@$p?)F2{9'b_}|_+YDM[emML%JDlɗP!0&$iUlSw֥)bihykr K_8ry"]?\=M? Hc>QS'?: ˮF a36 EZ9YMЉIhz3*0O6Xv9;ZP삌)luU=`.e/NQL٠qBvxnh;Y+Dq !p^ .vR1O]d]JC k]/9oxNwX{"L)B&2zϲ>/M2sUc e6(!,CzT8P-)$cr/o;g֌i7߅F#<eK.gή͊qI_!05fP4Ktud?g_s<ʼ3Vc +ϒsG7Wi(j%w#1ظ\zT(E_N-r˛ەA ?WPO:}LO4 ڲY3qۨ% +!j[I1ۯtl$!Q NFAA X@ j|C'Nܕ?.~a6.=];^k7Ӥx/.Q C||byЌ,/gePQh?3)fC/dy"STs9? K QJ}y:~#EMy"_$!+'m|gw*)ӎO i= ]xK.Ph6k>o\ŗ2\pR5/PMڴ' _ O6] Hnx6/@@;Ǟp&:-k3zX/OQ]K"Y=y\O.T/+yUetgW$4:Q3?Cup?4%ݙ]wSSꗨ5I*71_*"^'U !238paI㉝7,Kj (Ud\$4zG;4.혰r"hq/p. woVW6Fs@࿸-gJDmَ- .t<sxsxGBo9z kc-9a)>8ȠClAMyQ+t+3AdHłRDg6bYm1N7#hٳ'AOmq`qҙv /7y:ZahA'"^\P| >0_Ʃ΀SM-tNMbU3oj\_j!8d`[*Yl!(İ3Csd뀞C܌rF-&*N.=#?:KHr[aC)u,/#+B]4/ͯ Ox\0Hv]k.KgLK)pzȴx,x7 @GS SOF|&+-QmFZ-,=~^@n$כEQ>%Á+}ͣm񗤯v2C)MRHDUu#Xȉ.afY.W;Yei6"/;ʀtĂT^CچщwoBhdU]i|!ФȥgY?B6Ѱִ f.p InQ ӧШ>DNɶ(T5;N(h1v_AbR6@Z#?-fсmQKñ?w+yٯj4]Ο<;[]j8k\|bXĆB]A:gX}OOYȯ4u $9œxY57AؖSi

H+w}N͟KewD3P)~Rӓm;9O\x-jͩѿ4e7\5rP#+kٲ^/f1x#obw@W_8HC!o:.iHS*9O;ZB$Oab$'Ή,骲S*ZVAAoWp"#P˻DFy sM$dzl~w4Qxm6kl]߯$g >k1zѝ.:h2)}{dƙOWZ=5T`sB^6hr L.A]CXs}(JH)Gcjn,蜎Q㚪82Ӿڌ\abmHE^@|ϰ*<QL~_7s0Ҩs| 7!c}(qiVޘNsCQ C3fN U 5&CPC4ՇƐl8ғ\) I]=iw@f8t \;dFŕz>/#ț5zDžgw<0$?%c靌 K YϷ/j{wԾʐ>6)ڌsjܸT! humfbl.{KB+)Ώ#W7Rf{ˡ|{acEaZjIu%k{x4TR!ZډdHRoG7:qH$z_Pv*F׬ QT;+ۃe]f+sR˔#n08ֆ?yCEpԨB aUݥ̠ׄF *c/%zP1^ʫ-VvFt#o.}0SNb+D, /AiE6d͔Vc\MIvWٙҲf:%^P'MwIV o2ecE)KF*ML;P\ IsXGZX*,T$SIzkO큓Z諍TEy 6a149b3dӯ:pja']R>@`?WYuy vz;|a#\`.SϷ*L %vTɻ݋NCT[Tjt_Sk+N#,{Re! ÿ:J"L^tόꡛ\v,_(mH=ĮEU#iF{t1X i1v"?]=l4mO@/N1E|h@S/Mv1[lI+qNC <.k7TaU^v] )?pO/f28տ R' ɞh "ࣄ,1iHAaxzF:6`|<,N+gx'wPIPC$ah}0<pts4Dؔ[Aߐ)Ü~hQCfՄ0%X!G×ѱXaZF2ӎV\&Ir 7!\%J@hZpe d{B$JSkX,>vBByRyIGr*)\L.,V 44m|i`p\Q $B7NǟMȡ ĝMIj!hy2vS;։j7- 1[Jɖ!2~-_\Đ)HX:@7dmG-e FV(ᘤ,.1b CİG0+:ZHv:$&ҭhC ]n1`+Q;W_SV A~u&fT1Գ0F?ڞ.{chDE+]Ȗ8Ѭ@^76@|weMoSlN?7 >u7C&CK#)[-Ay_ ?9v=|ó bAvtG/a6 v?E剰3pD:OZ ^@ \jh 2y^0)qGs"~x'DESrm))= Pk;Ӻ5t}$(Pdxy/|G!WeG{&r*vKxtYٟ0)nC}L1^)JᨑNLwJFYӜB67GbS~X`ORccPWh6mhvgYW [cDDw>wyHI"b*cQyjQ:!|Ҟ31Bi̦, 5*ƙG/(nl;O6B]tT=fN+u+_ \6a$҆u|T`?cȁ[(_ѐSG,Hfc< 3<lSaxFd1 w66A+nwB̼C< LY^h'x:DYӕzPyNu1>ΥϷnS* mڒeحDy}wQ acĩq3)|Ղ gje^^&g!<"7(xZ@Vۉ5 bmʹF'$VPƏd.9B_9ˋ9jG߫wP17!yE[vY/֨<&m%b3_bdtKB%87H7ujfkmuT :)?Fakk'mm*Gޏ(?1&LЀFnQ c*{Y-zʸZZr?£oٯ)VG.fH:ӄ8~]+"Jdk=i᭝Ye.N>=|kBA "dKzPW# I2L$k2:=K6XÿwM#Kf=A%l쎁P+W<5>)}Mj{`64Xl=4}.}7$%"Rſ|lmWK{3 E`eBqκ;qx|0GKPϬ݇S}.*b۲."ܥ״d/M.;c~T>%a"/\Ƒ `L*H0Jan@~+9/IR<V$ǩ: m*?Mfo@1 mTA4XlC-i0qa]qh GěYV JBY~vvRO+w;MœFfw (M?Dx%YtXSd e Η ESW8n:]T[}!Ԁ}rIp7dOe~PF=l ?$FAJVP*MϹZ!^7c Yb5yynE!z* J)c]C#e2cʕXA(!r-<5?LJGϴCZ=IQ+w[˗evA"{#\ZNek AoB[}x:p%(yXZjq#S6 k#ƽe(Wd EfcQP7 cVmT9 ;&R|x>.!jyK ^wpZ8J$^4iɉǑEtdCܑIgO=I4` nN^QYu*wтs<#?RN!.Ǖ.^>4XHm;/Ug8sw'4K:Ƹ( vzU?-m%؆z0l0Ltn?YL!.N( $s~C-D! _l"ԅjntxVh@0tu=wJD/x CRUTqs-A{6+AW ]%Bh0kj$`a1ښ;QL/f ÌfbBD؟B17*l,|׌wS UTd6`{! t + R΢s`zO~UX?4LWlRW`N(RW_hbBiAAPyu"1B.!z ɜ4Сo *JCuNÒ/X8cr4u +ܷWvzoo2~]aExhQ.y~ S K ʼY.􏷱JmıxCVYiR},|`Лl@p{@(m9Kݲjdq]`9_fn@52{=3cDNe'D`-$P d*KR7? o3bV̐^ep.SXRG$'} Wg2@&"tyɸH 7ͼIȕ^-ʿ^=z*ΚCZco~"MdNYR>=쐬q2&~{9EoDyK+fN#,xCzX0%ty2M5Ko3Ae1prDD1_ao mk(IؤmA+ql'{\cLG $*4I.`qMFz~u/*P^Q }V`dwt䇙+6SJm% rruTVs/7ĕߪX=5R 9{S W@'\@ak;_;nwpw3)yt/`s o׆MZ`[ 5Ma+FKcK+3YBd ;xkKқu6䚞YۤtMkcsƧkf|3s7/F[#}*`J̌X3ͅo*}/o+up|TyiM'ΎULJjoc>Ӽ"ض(מEuOM(qYT6-pٸ:ajOA},fӛ}sK\uvyJWKF3`]exG3X[]]Xx๢w#f+A^"οKޟy^|x vi[R1EeLF)nW'";\Of/s*[lJ 3-VΎ>ssp,_32V2>!B+RNp*_ B#Ig?θȠFhK( !ɾ]ՐT];d(zK7mnʵqwFbKe< 55мmR)f:́g +/6%̀0RLqe4Gՙz,AmCIKձU[{u@(ߒ: !+)WjEjb 7;"}W;^8p-Y%Y+ēe0!F>?:.娌7#Cjx+;S$,FE͘Vlm GuI pC`KyaN`IC [dj jhT]IVpGXsY49pj,k!g 'HbRu8~C2a{26р^ؕ1?eG_J+S0)GxsLNRy<6&Ca\d.#d*}eg^za 5ʙ6klPS"\;&oh휨zN1&#\r]2?3Q #{gVJ<qˆV^o2c. X[ڂu`T)2z/. (ul~xLw̫6z=ZQx`,9U^{Z# ]饱!Pym}ة6/3ά[tE>n %f+>/mrcZxXP,SƩ?D?'dCrǹX| r$n{bw=/Zk^[ hJ]pF"C\֢ʜkdzteUO%Bѥ&ɉe]}'WLd'Fݪ^~_dT+2Q=tXrqpfIӓ?v1#:z3U 9ye4P-{R1%N w?< -~ rخr+Gs~+ALQԤHxt/%Bx|&/(M}H sP~b*>K`rV F]M Qz#+;[I?'ٟ0c-XEEMyf[Xc"{\ 3̃&G!sJi_ija+JLqV"6K%([c׮dgnpr⯖]y!ԋʑKv77'=AXOPTdصKKձ,V> 59̱LAMtz=F"&> E/2y/h4`gJW0@ln"lہa{H{DŽ1 ^}P-Ljˆj_XCf-,Rnݹ׎ .T6UDy^%q(!up3/H0XX_@-0i!;;%jBUFR3iir`:!Y+o9\0ϥC "Qvu&#|!5s}yC'V4hY%OGdb{o9n;[9`͊#k|p*"q @>rxQ|EO8UͰ\˝*jn\Syωkyߋp\s $yCFB{RE8>:u$4Jq 6KTвRa͒Lr"LPd[=(60wY^@ x%`#X_\K@?-g8PL y83X)g o H/ʹ%Ϛ\@ln"{5A2L FȿKZ#GFeI@msn$$,"|9aL@eg7ۃ۷ON,*kCdtvџk*.h}{ި)_ܖ).Fq'G@@ U0 }zkgh*/Y. '/!Mz60nJ=.چ2(. Y~E& $[Ϯs(q&GA5UbLZS(wJ"`ج#nvZfs'58 ڢAfA]{m Yn2gy A!(Ta):פTm^mfJ-gt1a >kULV" 臄*q JKs=f&[ߞ Eb w2|N,cpruJsj40QB{:]ت [3R)fd*퀤m> (xc;{`P1-0"\x `=3{yHޖ<.Heփ+Jmjq5y=ǠֵZ {'q *ݭ<)#4.uT ґj-DPGѶ[4l`}+ gYZ7zXZִF! +]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM'%* /S]:L $zIFT__(Ɛ8H}V”Ka6p+7{Gy& /eJzUghbiE99qᑏbM,@d$p.ǃl+Py9*b<-%(zuX̂ m-qVrߙicr-TW,'(rcz&*-M1!ژgYZ7zXZִF! E]ŗXi%L&öoN.l#ØП_A+M wRؗdxk1Fx?\JzropQ*҇8>iJ\&՘WȨzD[_CZ{xR+gn_5ܒh>dp5 zCF0|K؎8$,JWF+Mw'Ö]q{V#ud)/(Qid3u$N|+w;1O0FR:ސ7(>ANC \H@PA3pv>nwټBEHɻ #<em7e<˜6Y[YP!x(EXyUwU}C.8.qQkZ;(%jFZ<+t-u#Ywl Q91n%F$t\Yu<&2QI ev8mvo[䷧=gN%`tsؚVH ]1 ,݂Un EkW%/N}hmjw#ΈPy>dB4 ]gBS#WY:KJ#jW1;{nPԡc 4xaZDu/?%X xF͂tINAs歿RGϱi,0tQV%疓R[JWa<],eE.'IpT)DTAqeoU1i$)afGt=&&9+J5Nؘ3mgHpkX9Xj(8K(MkA>Gٽ@ 4΂fH F"S9WI]hڹ ks[C\/5fe`ݤJvMՀ3&hQ,'maM5FMdIE?q]dWo; #7Wˊ@RK5a5ԶuY.Z[!EQ* U [!>*^ɞe[` j nF7&6d-ۮÅ.|9<#$%P^zSoRS>=9*q=Ҥa.l5SK[S_ ﵻ!@rIJΐk`AB4>[Iz?`SELG̫ pCҠ| +l2ƴV"K?v$DjSkU }I4BUh jB4w{ӦcAE@!۠I՞pdk2?;s' wDX%FFČ~oSXa~n/# $<Pq |ԳfZCv-XMlXo\uj:3DL6*WPWvPxG=0W說NekB`R1N. o2ܵRw^ *~i1I *MPώY}~GɅ9ݢ/6I7"`ZNu5s/Fo9´1LgYZ84db7aa8dc38cb50c849f09218b6970d7f447c6741c19be3f36616b14c5f74fb8791e46be930a98f f738d32c8c714829016adbf642e3879ffef6c4ff 2b6d1c48343bf30bf5111de99768883080e7df1b