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 A1t|dT ] HOL-Metis_Examples:threads=4elapsed=26.176cpu=78.504gc=6.4687zXZִF! u]ŗXiɟH)0%oDOA^&l$ J|Z$6F\*K$@#?N^anufWzo hP{Mf z[I|ܓt"(5=Rb٨z'3a4\he%E.^}f|b.M .iuTH#S[Q/>\WN$v >j)Lo ~ЕVf14t:ҟqjf{=|CFuvwPN3j;)mݲu.|4ͣLqtj)q)Eg6.yJ6k V0O*z6"sYefDmݣ\{q;"-p;t2r %#I 6xAEV17Mb,+rJϧn qh>n(yE0` @ߐ9p~]2 J-(l!,}Vl>S<7 Wb[S ,c2H1v~XdnRh{x7 XV|U?6Twye֫8Bh۳5lۛC?(Ȗ|^lC3t@䢈&n)=P,ĐfxnڟAr>`h v`Jx![;COHT>Ϻ} d`^n"1xXdҼ,uS!nr"@WBI=t^g'̓b bi[fW*'?h *԰O 0k^8 |pé`ͷAq6Ly$ysF[Y\姼kaKT|eWYC%x!Z&T!A:r}u~KS%lw0_swCŵ7Z֚._ҏݬ/C{ rZABg{mo(Ũ rhQun]I׆ԐoGІr.X0&% ~gަ  e77yݟs}E^7S|#}4(~аx,p_ۓsM'>ՠH {܄taے/zwV>quwER*QXPtIaKU`Yc&A*8In~WULZ {Yt98Q>xnn+} .]V-PL3Mh_^Zb?"@@ÛhE>@ S TJCNHƙFCM")w$cᵘS{ 8FN9Xr#2 |:LBe-eX2t9c 8ĕ}+A"(gHΨَD 4GذiFR9i,2T+=qVn@ W4͉eB8*?%l QZGpA23:MLD"2j" 5yAצM0::ЗMKU1O$bePj?W )S11Io%0X,P^E wY-Wbbqrtͳ.9dr5Jp~@Ywkp nt^}D>;] <<%)Pp|v<˸_* W6Il tz2+7KN#{y(w ],2[KQ^& ^M,7XZuF;?KqȪImcJ*+L3=t1A+-ݏ šz_76:k@-j8|k(1CeU 83C fC7!Yݐ:a.#g[ŧb` Ÿ8yԟK',:Yç9PXintu)ߋ<6𢫲'A٧uu37; n3o&119 1 HOL-Metis_Examples  t`m=j&S)^y03MtHRˡJk>nfF 5]I6UeSԑFNgH}$_  3ʋSYJrE"<U>B:>~)^!tJ@-aEO!)lչŇl [dzB 1pXяhVVe]1]-'! AkmFv|H'7!U<!cWZWLSn BA&[0 ."a<4*?/%Vޭ#e%٧{(=v1<EJiTūXl }8薭l0Y3 F롙Fb.QE!qpSRhEjeZSxK7Ĭ0ʼ 4oDS-׏دTLFicbjЃlD{qM#+slh@ ˚λB.\M!#h0ܦep8 C͂H^nڜ4ȧz9D: Tpkܯm9&F.%&5OjpaTwoik\|4_J߬[5mPOY F ރrPX _iq<(I+/R #*6lwkc|t9L|p/XO;i!I.l$bm ٲjy@ ocv,}rD U^(n~|> r #*~P(&ݬzg !x01.gDkI qa1]v5p($$ڭ &tv_]j'rkV,fܳ wy]c}%ǻdx=J7b}tKj:;ޫSgS@7==)$(Xr^wUh9dwC:m**^ |iuq!QT k_P \oc BE@J3j/:X:+gP=cB (C{_א߭5NȶG|Sq22ܵqWy3EZr|%.%zHgX_ eFYH֟4m kt6MP)3& E&}! %¥b@R Oh}8rH^}P|DŽю *m lNY-dH@(% œ".a/:ЂU=(y+-*:?̉ɷߙ_-Kcg un g HQu#R7 mi{.拀48KA%u.Qnl SA b@>kV?hB]ath`)seVy'Q%u9;#bŗ bz=}~ͮZS}w*T挛Iw ZS[#=$Y+q +B9Y[@*~ //` gǑooþeL85v~&$OVpSϬ@H䯤 /rggQ-}½zoJֱ}{ē*XZV)rer:{{ٰq(g)Jn!">L~Xjvˇ)gw R`Jnt5t(@t?x̳E@̍[vRkz]R;΢ LM_BWU460iueCkZ Tp>%|ߠQR'v߆Y_@wHRN=u=(ߘ쪽twrm!}X_WꏾɽL5}$Wcъm?vֲS]Xs1`.|{W#֥',|s,mCΥn'֕]y;ÁYX-u9[|٥eIVkqUjg#$YbU]Lp-Q%\ݺ[y#>;@Z2)LBT슆.>.$Yܧ/{K\.ݸ[k˹Q 6î ^qf_hP]lS4D 5pN;AZ飜ԟrɠ[Fsu|*[`B#~ԇ 8X6@*{2dtk['}n>b;upCIg IN3m4lpn u=-w!l:"-#)|S0?>Lhfhb"n5 8WTcj0(pT|Ɵʌg ɋ_m2ɸyU¾`Ku(ѷq$67 dJrxh :0 "rԋi*^Ɖ8c>Rbua~;^1/-q1;ӍuG(bMd F;&uyM|#*(JmĐ@/t4u(Jǔ&f0'wiRq&n/jsP&>Uy(]ɕ'̙{MRۀ.oP GnbHya*(x*u鈽 PfxsuA(oBt7<s7Vbh S㥟Zu.Qy@j.N#u-~F-CN͌tD3풉OC%niDz3SIԷqx7!^ 9Z5ݟ,퍣!l|a F V7e]:1~,mstMopRxtwTm@ݹL0CSqi"Hu z-M .Nq۴A[$yKAJB PBB"a aW;:2mmD' :8VRE,C[*d?첑2!|XxB vfhIS%6"~y‚029nSfr5W7l ѧqvX }p2^#/ԉ_S|TXRIup§"a_c ^{̌2b[T%J9_g(N3}@ڔR~Y  '8%^B?t%RUƫ(H[ ,K~I( B"i/,~z( Ut&9*O,z50˘|m|=HuZoD*t>$>mFVa\Xtܰ5eC9ߤ ~KLB(%Pk~cnZ^BbnR,_Ȥ?v59$ݏm#`*YSBG:W9O$ D|[۲Ƅ,1R\eA 3&,E4IFƬHHܭLx6`3;;"7QUc|Ty΀YlnO^\T 664.5B#V0{48"%U~ )i|{s[ogJQYߌ-3/ CSP@%Ng]%РP[,*k) .U)cwőQ ht1)i w٧q'11r6ƺ9}2Ku~("5㰿 hVߟ4-F3S0J^$,XV,yse,K/T zIs^SkώA{݌F̡de ;xG bxz<(rvUgħ;WFv~6vNI& p$K+96*Җ}O5y5<"7 ,ܛ.Gx۹4Q٪^6ZPףV^$=Zn:D7 iQSr6q5agl$ ͋_j*\ _U_ u eN h9-ۅ\.d];8,al~K"&Qͳzot*cmS_x)eqUpd/)`NL!+/G.*7+iJ a9d\"wW;?BéÑ'= FҼ1։i,}]ļF^(|."*5N^kMnwuN2]4JwW$(62l<w]XmX+T!ת:Rk8!kT4Ph*Pa 擥q`O@Me͑J(]BJW+0ZK'YI8? zbfS5GtjB7>m{COZ/ccŀUrI7+*O]TLZJ讯uͭ Ws ’ ygIY uֵ*D ,\n}"D?yxw)yj\T>Ҍ8O{>s*dc^uU::zV)gOZ;@R6!0P~C\z%BU"X1J t&~-Ѣ% iQ J83`B y̧ (/fJNe3/ #Sන_p173#0`-7ؾIG8^={avJ4-"U '%9vTԔp.ߗչM-'F(ߪj92W:y8M9$ tg1mk~mI'@!^ݥ}b9590H f#M<iߞ1/yιDrS wo8F-Q5CmݭL89ocA13ʁ6{zU0ڸJ]y# #O/X.QC$/ZP%بF3'vENCS!:J (ZaUC_w8%h'9l:|U.ߨvzޚ]MF"mue[(v D^Lw95z+,>-.rJ[a T9S.dDE?KNψ:b* F\7W `V#yv ^EȅF(,]F6\:!AuJg&r=^q d߸irSRw@Y1]{cE)03 ~Ś|x%Vrh> r9;du]|S;2G[B^_Ofƨ Ea uu VָZ%)pp"zH[a W%I!Qpd_s=(ߺ$>8#\^g 訒T92A\*lĦ/6rU~,0mg֘O~!V]*Y]9r!xC}+'וv3@WT/e½\RZ}C)@V|ӻ;6u*!1{>_UԳfUN7Y)EeEɼQm-eW|LJDJ%97íO(|=/$)>4*72om,ߞps8߮#إ(leE@h4wetשufMTPRzn<ݫnEE@&+P`})xL)᪗MBxȺ[ GSiP%U] #4T֊I~c4R0Mz}Q '$:G 9m |2P$_)q"T6DqYUAE.|MMIYY9<[_CrHPf)\L>5ZWʑz-eEk_?g~DHzz< 2gpˁ|;Ea(4V>iQ$#,P3hZ6: cŏX%~ lЌqܭfn,d:~J-CWY 7Ja05wOk{$v4`]^އ}fʖ!06bM@(ot ,-ēn=: ᖿt]{%KqX#[H4T߬]9stK9ঐw^{XsThsD_~|Sobe\5[šo@ж#mQ*1I؝bǴxK?Z@5{xŹֽޓ `jFZ eH&3ǬȠTC?2-rO5%؄8'[Nq럙ŘY]&EhQ~j P;ٳ~]-D7pK[lDPU}]ݯˮO/yo˿E;m'ohyU#og:+]JK͑ 0DD5g,qh= bW<~SXnj{98Y&04LoK [x#\Ӱٸ߱`[A<Ġ$3 9mؗ< 6V4 wRH9_^۪?;! p"†Ic 4Z/@3BKmvŨBw\/~f\_IsF/; XB6u枿3/[ؓSVSѮ4-[!~O&Vxn VFwѪy M{>:CAb)MAkLSJ\^Lx$nU }Ṿݾy 3c7#MrrJNB=8d1v|jv~͖C6.^Y4?|(NBȚ>>#-RA6o&akӀS WY> 5q!CFԖtk ˿|^@Y겢/{Mt%T?(uBklrǁ|T89jŗE9 jZnwbtev{K8>SgQmy[&*؊G{ +L\,lG/+\6Ik+5[Z0Io5Y/ø$=9? ۾є^;,0H4UClM$R;ߖjE~uj :r3Fn()sӊ֑( m$gkXW0AI6}QtkIPЀr&#/ 2Qd b%$Fu6k;/1󊾱s]zE2Box} b{c=z2dyO iu;܋$M^vO^P1[*%ZS1$C7ȶ~gJ*: >fgZI\$** S1Q\Wů`v~EE>+q\@u4Pih${hxz-Ъxp>ji\!mYDA޵GԢ|jL:Vjuյ ICvT: jJ-g05MүW2;B+4)/ n,y 9Fp HJ=暢'LłHC{/8&dki:ϿN)u,G$m\ѡd*9K#vlHN a\. |jeSzɣJڻPo5r 4~p\y'MCceùPjtSsjM^d2YL1F,).N)<̺Uf uxGGƶb!V0uHRy<7J IZ;&op%AzE!mBI,3lUT100ig) B%-=L+plrߔ~fŴ254Wb0/ 1ؾ׶9v9tہTك-,7A[u#7"ZmS鎋FdLܐ96KipPDo/03 '~RCZk{($cv[D:] /^ο 3 8v'%ūNwW zתgO>C082 )J /Sk֘4|<%Z#[ԶE瞗.w?Q/ "3a u:9E_|JCP  ?eL)ohJ`FߔOzLZ Ob? )#O,2-ѥ_C0 ŸZoz-[1IGm'pb}V$m5P_ۨ&iD].J03) Oɛ䍂1Ob Glvt2OX :VVTX^U3 F=rf[(t=y,Na<J7]sw[a1W]!<3d95aѦ3mlbWI2F_.U<6@6fSƴfuy~ ?/x;!_ _<`Fj3"@;ON,NPF(ʤc-hG(}aP)cgڃx2utxӶk!Ⱥ!CՀt2AJ|ZZL,Ycј?_Rlw^6Ohݷu L|NeB{+aY~]^s|(TE3_DHvbR4-d5V ]τl$) [{O"!&\x>ÞLi bcXM5!\RHk,Muu& jLkeH(Ê`7%yZ6*6\.\Pi 4H>`Es,.VdQ~Q.K]L F?Pg&)z20PLň"Vȱ܏w-FcwjQYzG3DRv=MjxƈO $D5_dDˬnOw]=Rf~I΁U[("&AwPS>-.0+I{;vX?"dҝ=e@C1 4g`jKT7:jss.~~qa9 DYg}csEQ?C[8S7vkh#JSi5mvʔ Oe & "YE`DU|zs!$ Q zF~o񿋫Yc"`zHyX_+5* ̌|Iq݈ "EG.kTs`ĕ˕J^:a;iRO5?Ju-KIPJ05r զ0ϤJk!Kh}Ȩ)۶WUzF-W(Und,Ow62c1rHv ȱI|݆prlRD X)d~6l4iz%Sڝ'Phn"ܶ&M2$^jDw!beH-1"VDZ@K^=SG@:xEbkH姘zyhl_&^B腊rx@OQtژevEw"cU 탆 E5]>1[{_ܞl[pb]ۧfHiwJ)EKxф⮵ BkA*7F*Ɠ؇0ԉZRp RŶS9'Ava܃? O7![(j:8U]514- ijQ+  Xs<&zUG3 ʣi&|>?G?ü\ٱ«k/ h3%fŠh5_ц᎙LZh|N޸4>;jX%?3~ E/O5)Kʀc_Ez95l`V8]4WYE)vGQXtM9VB%T$j%^,t$(uy}_~\1$HJIs:-N`9{ uKPY;\t7ʐJCb"6{׋{'P9Kfj㈙Σ;gP3=WԤǣIWnyTi2G>*blC.YuS2BaoP _6vc}0Ťh#J);Q|>_̂QlNI`*s'FֲhGtٳ K-4s>jAWJ7~gln2]h4: j%y65G3M_,!daHv^Lʑ}`_Ci{_*)65` JGe|a׳n M |gM n_gEzIGTՍH\ϥb B.GO`>m<i]9pP$P_; Mx0C5_s-"x,0KUyE*ӱJ` Q=}˲ PD"vCcIؠ98@wWlT?4BּזP)HU)Ȱ#0N ΋,y,4 Vqx5á/._YbNrҨYmIv~mD;::[TBe DJg6Q /D]Xsz~%܈h0p1vļH|0gOKi6> p4&W$bo})} ()iBX`(l ] nbuqύED3iMߪX6*Iea Eej@h. 8/ LeǦ< pJaX p0ĺxIW9[;\z] ! iVvn8` %s5| Ih^QjUfaP[&B:(g5s^n=<^Ni498:F:(;qsiĐd]gmOWiaB HSzS'9.FjxaXVp%v]P LeEl΃LQ-1Lw;Ja0m/cqNcFJ#ouv7~xN%> JtG؜ ]ib:r&  8,zX汛tCbWY^L%h7 ,AE^PkL/*AQ`yn@n %*Δw@@$B۽BFoDFmMvHbe8ǩ3^UPӥI4_ i!s (Il~f9߃/y~V0DEY|Z/eԎΌպ4e ѯLs/P_12DA; ~]Ayxj4;@ϥ;A%;bx1Ѳ7`/8 l#H9t2tTRNM<^@2#KFD'0LK;m\l _}HyȾΆ/ wM#t9/rĆ6"H\Pg&J4"V2L q* _q'hWRCn){=_נQDzj4+yA Rtj<ڕx_$g ųiW6sac~)i)o\ DK)e;zVٌvdSmṆ֫{TڶSha/g$'>ȦԷA8Y΁ Qd{tΡWPuG 9u#9:z+9hypM1v!Icch'q&1s+ǎhUk?٨sgIf=eOUGڳҟ` &[0 nS ݏ}jz]dԣ"ϊe J/ȉ Sd-"Z~w̰U Rg6V:CV[[ bWA\^bz/wY <Lr/Xlƅ3X鐝1'zv(/жVj?ߚ7D󊦀lfID^ugJ,i1eGmsX2Ha܆V‰gj-aBhyEAE0՝2f5rV}`ԡ!t;r0iX|q;214)BMXh=~(<,W )B׬&'AK0˸^.WFI;VX?DjͱnUnsϑ3P/>E&DO' #{h<_$z`:&pֹɗv=.-.QN X*P<4!/ܳzocOa Bz|ǻM) uHа8.5tXl! ?. uǶdF7R@\eu~]Vqm,%bL*%b/Ϙ_ڜJ/9E鱢V>ubd9d>s!cȤ+C% 8@H/@)5 jfo* ?V>ZoF ɾtפ,v:@',0SpUIjiǬI2 U](E~9'gJ7To7՟S7_HOo+VsEe(:#]ݔCZ .̜9O쨳?[ }sĶ'$]+(7,mxƗ܋ }dkx1S763D_YyCN: _ѠJb ]| +^\HymfI)I4pϟs3GxbVX I,k8X]S5m2o_BxǠ X u&4CfP܊&e+Díd*Lv7. [9'a1hֵi Dʮ22`lfJA,ߠM>qDR5XLكzD.~" ʱUh^J.PB-k"p!y0bd9b#U@<pМJ`Ӱ*{^0 ot T*0$J!.,呇7o,Z0iD3Io%̀Xx~׎%p;ZQhKJQ,(ւ< '䊝z3RJgZ%ڜk0kxQQx>ބ@~ZN.p OnQXUzCɷ`pU={0"z#̻k𛞸9oJx5$LĆsɕYƦ&Hc|ac/bgvÌ TJ8&Yf! 2ڈm1oЀmh;~`=jheQM 0V{HWENDwElHĊ?BxRK<#n== B H5DYh@}xYFg~ƿ9{Btސh/hla@6iԪU~o]N2ZzqnfyWILEe|xWЭ]G`J_W& vh=`OgtqXN*OzYt)g|L2j\$^kNdl&;HP[b=لrhѨ]U\Ahx? g'ۘ&/RL;a]ؘ4c^ܺ E.9&5 V1KM3jl]P:3!ح-1sI͂sOhUrGuiYMbOF#Bo{N ݖ/lG#G]}) SKKc%+y&pv! 'kF|P?6ߥo56o"\Y4o(*KpmFS}-XC-!r4ص jH!ISզo %Z*V> ="ά h%;^QDrKleߑwɛ#F@c*ސ+j8BK|͔G=UO9G֮}Ħgh듗5$;E[Z@oUu@%#^ @mqnj}e3U}P',!Kpa5 ^ߔ*Gh_" EBH@s>vVT6V\yhnBtϾ_\FTP5!D!FOA-V7s^2j }wa Gqآ^HK;xugSheC1gv& Ui{{7>B4mG%e3͞:]7~P$S͵'e4Yk+;{E˃~9QI|5EX9]8u[8օ$d ?u7j} ej\<$7p""Rx&"$!b//vԼ0i'AF5GFqNqXxuQ/Wu`.BKMFF͖;ū2agPOUefx=WRq\3g| M#R\&Hqmi`i7:oAW eL*Y1`81G̷X- v6rYJBvSᒸ)?YlmskBʥb)3E Vs` 6Z2a.8Xy:OFEtTAһ2YE[gNyǂ#@UY1P̲TzQ>MM0ӈ~j0r.Ղə/vûhh-Fv\(*ΊGӘV!LJ(?iEZޖF@S6%v(B;ےN@2?VL|;1* */bL @t):U%Q; +C}j\c,mA%fK͛YuaeU_G^'DXN@%}WႼ^9R?GZ X1 ѡGMHg`RB@s+`s2YR&ww-} kѵXdpPV|".rN)1cACfnu :z@\Z4=}︨+ -hܿͩkf41=x_g^+FjhVBr;Q F T[65xYh 2,qĘmskkk]h6+G%MMtڃ#4Ժj,0ԡIώ&N$75)W5^djRAy6@x=#O1uj7t6nlGϔO#.uL۞."̩aPmU}.8v]5Nd煮=g+g> O:z;|yhEtٚK u]t8CU:v%IwVlXdonwd60JS):wWWd Tc,*B1=dU>`W&Jęi#5 +AaAEѵ͆5uu"Wx +{ifWq+Y_ tcP'Gb,7JIk Ӷ-Z3G9sf(z7r Gb܉S^y&NuUkt\nmkt(lCB)D;Uu2B؄ +lu-ܞs j? C F>7<2;JUht2[5A(э0bmGy,fr% I, C0ʯ`/U>iMr;l;r<8 I dɗ*\Uoȧu`:ޚ.ë32 >K5TVZ"M6 MiJ>Z&{ZnٳBƬH# VC93|;bz7* $/2Oojc[h+U#H0 }=$=."2>C<(~}?2I#@҂wϾ(l =/=vćXy g7 4pګ7.>;[fa'M,c裒ЋPwR/·<^V+8dw48tqeOA*G@ַb *0OpAkC^Bs00fc|8:^[x)35dUo o0F\q hv劣n ܻYmWA3*6,=ZbhF//w3WL^\O)69gwĻtbեYaNY0,nvi4#zGT)5>ϝ#7'ng2uRF:ĨPoAg\-Co>;mbfu$:O)ԼC>c@ wRlI(ZZ9mCڷ-&;:XQ]l O]?#RbײJwH \vUVH{5*7d+U:miM :zpZjK;2۰__Rcdh:R)v}̉~]My>SO3i[ϑAhPX='٧;ڕHU (rI?o'N] ŭqc ։36#*SݟY?!>[$/e3ni-݄䲴r<G j}Qd5t Qܤ&Y-}Hd^ҋ^,an|".CҒkf =%'e^w[#GxNgj%XY ֔> Geu}4_폹B3T iCWr֌cʌeDGQH+X\.GHc\ ;I ʦeQ5Hq~g?&`|ˆA=}/ u g Tso$҃๑1Y ri됵j.*:Lr~.:(coBRw]GsTz/i}A%!LT9<@l<*IR(󺥈}>x*f? `w @mUɧ|j]HջAtڎd񧓮 A8)lUIWy \dt+yoB J?#9ؘ]x4$ bJBnͮ'eIj92_,()ᱣshՁDW%W:3!h;DӫL ̿&y] z%tt^,¹ӋЮu1 dےEAu{re0#fSmSgi$`t=B`rj4HUhqo&cbL_- /1Yf07f}b93)TeB/:kW>M*1a tAJy#YeFOfo@"h)!ū'P)42R7983AUwYAȦ`R*܉}WH1&=aR/_T3b,N:=/t䫪mDRyt ^2|yfN8 SnpVäT Y?!MDF$cfXx:l¨:ToL`a zGF4® ah~/::qŪLʍfh-ȢnD}S.mOVH˖~zESdGލ4ͯ'Ɲp5yfI$pIkݿ^ ,\S^ѽ欰7XZ,V(a .^K!bGVWwsL;rED=u NJůcCo097pw6c%"7ÿ), K5v]DU[*[-t|D/Mt(=|T_xM=}x&4i,j$K`FTYZ:(J,Kq~;}\Cj ̅:uy4{bMm h~׌ `R9,pL4X:S Np:VTl(Vo̎ͩ{Ww~?j_yc?qMUGڠJ3 X-}eR Q~}[>l^o?%I~4:QКrw[S(',CW(cw=[UZA߳ejyE va͏q5՞oo슬(6%!3K[5BrgL@9Gqc'BYlU7KHa]- C\K_.{i.Ǧ UHЍTb6N%7eg(zWCC;#E᢭^ ͡ժ$i"(xňX8| Π*&i#oL#c$bSw11iu_,XiY=§bJb 4sݑ}ļc[3%zY[^@ џA|9)"gS3zQDqTU1D_S] kn[qGk$j &8)v6׶ch0S 2Lh2EtWHvsv*STIy~oKWr$1cO>:ɟ>k&^A{YgçCVᇰB#}H9"^7yE/Ǫe pG'PS43\G攣[D?~b}ؗ,sHvȱFUeQ,/qᖅO84d:eZD S(9(3J3 GcO  }'P8)=k!#"$Xn@-C\!Z@|a7o>T‚zx碧3I>(%=?~/s:tqmGmYC`&ۦ%=κ}_̎M8"%^O E]+Bɬdx|,MÐcȵEOI0iVGTR|+M@m8Hd@%%?RaqYGWww@b  +eɫ_/guۼZ. GM{{t^JsoF4QA5/QCe%3ڤ"Jź0T+M! 2mvEBbq=h~S [O˯P}"DШ|R,W8¨!7=]Eef)FCkKv*g%8^LYT/4`*2y9F{Xxs1TX`*YMQJRM?AB&a, Ecrص B@ƗC $sL*Fo/U܍:δ! GHnO3d̆z뽜[pS*^wbD1FTO2w:;j)g*72T <9h$(ʔ;ﻛEDԁrO{a}|-yzXrImӤld9; 0x={%Irj^~t|TU6vSA /ՇУ_r첹;e-ll=[3 Fx<Dԅ&i2KfH]fuQ1" ek(`d8%3 yMuFO O_Փύ+&tP[@?/P%rP#X̑lP=M"]t_竎|ZeT])OzXfCBqfʖ*)E0qrs"kRkUMh犥N__+C!ژgYZ7zXZִF! s ]ŗXi%L&ʸvJCpld<XF)Q`Ѐݘa)I@9*|ҁm/ *})۰+)+߷ 1$9a`KWvv/%XuAہatP x ]9)uJmK8:Ҥ@1h007Go7}t9,HP`mNoۍK[nDN_iywQEA򇻇OeF ї5.gIG'CGHG٦_ C$}yM`2;$Mxs&05 P Jxx%~9}ma02RzހT9dh[W3꣔"n4W ,h?,g5^Qڅ7?ls)~/'-t&cꑒnN#RBt3taQ1 ^;K2e$r17abݦ:Z P|~_ -?Eb?)8~(,:;-lm>׫)[K1F/x'dpK@y]ҏ~E RY<ؑHE`'qZڎ*"!d4H/bGy>?1x{c%`bbRP/V2o6nobz&@(GI="sr7;kT;<=Idu6=W<]-hϖU3L3sJ-HBFXiSf !T - ];l2,)v7=u,GJm(uJG0ZU3ap6Ris~J O\F9tgg _q0r P+xk)H(:цb_ߵ!o6,ہˊaӺڝ3'3A}"OYKR |W lz|,(*|Ufƀ*?5{Cs(wXc\ 'Rr[D\x!BLΐ.ajf0 A/Sv<0f0]cZVf e.o7>8TWHrE_jEfxZ-)aJBUTM{$bCh@B7HcgYZ6453a9c075d97f4930938f408e1a5925e0e515749aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f