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  M M7,d ] HOL-Datatype_Examples:threads=6elapsed=81.106cpu=388.808gc=54.464factor=4.797zXZִF! |]ŗXiɟDYK<;>Fb4d~w6nE]4Pt-JĖGY߂A92HЫD%8Jz[Qk$y8a|(_WBb_!J8 = D]~# &l< FR cK6OHOdyl/1N?Üv4qW^%IbM! _p *TcvǩA/>7B&yD;'8iS6gW@bFPфHP8@ʨjZ#h89;VK]SC a.khj97ҩw2I#ZJ{lVCj(ʟEl)UV<_O`iL-Qsk:4]K]:93J49ޱT>qȶ(w#i]X,x3˫:p9:_PSh&ħ bIgF[z~1> mv\ʧ@Lbۊ1ThVjղ?>*ݹ L&mfQm. HŻyѕ^ VP]R(WX'YI)ȟ>:\ w[YRR(*rX >$kp h}J˳.lOd߂RcG; fT78:3+b Z` kY @$Z&c3~E=+Ln)MPV>wRK6eQhly&*: e{o(4k;|o.k h*gd~}.Gʖ & hAQ3')ʱFvɀ0D!r1mˑt;ۨ*1 LO.:=$1J lL ˒ ^zCZ2Z$W×"gmk 4S흭w:m(6K㣩n&0?N@ԛʪRM8z? r[X3T]9=$4cvWTm@E-p,/'Y ~7IJ˳ _pvs]pinlQ\+XVE' 5:w6>,s#?H%-Rm7#0aET*jM nר7&våjW%5';|B~1'&˓dL[fo*{O覿*zyM0+`yROXQm:$7vS7<?#)3XPPOU) `-ٙ%xaY;ieNxAwu'о\0?K]La9ӷLv ՝: i/mKtϽeSrg lyi\="9]qD (X?jA'rYޘ^̯ܮW`.%r:7_CPC >Tpmj/æ4'NJM:98$뽑 ͘ AnΑmJ'|'ЭWW6%>sP3)( AeiYk$GWAD$sPUֳsmx[!,ZmC>؎_Ex'&Ď#-H+oo`䲯K7}M_=NH `rͅH,"5!1P R ƫ'Ŀ|IAhGSVIDȽùBYОBY9*ێJ.3gsi;BL;m:F Rhם.JWbLZέ!LMUP" q)҅R 8EǹX]1XY@dz컏^F?&w4Bzs_tf3*BKe37 KAg5$([F&nwk:77/-{+}x@H7g`a?4V%lY9߹wenVX9uȤ3ȸ>SgMW5c&]<\-7h]y{$9 Z 0ΘJV`&TʯfܲF\vAwaB}~?NxFW;Kd,#&d5`N|vU_*:;@zƭ7 L&9mYrc 8Ui,srOGX<ȪjÒvCP fmdM]CɌ#1}&3O60P4QqoMzvݣ{HI&/Pj◫nP8a Z<{|sT*W^zx>;,' $&`%T7Y$YR<ƺ /}NhcГ-LH{bm be-ƵBD򦅵{,(? 8RkĀ Ndb:uJG0=vgAU^D9%. o((U˝u @h%Ӫ6 x^:!}-J)c)j":>S% N(Tzl@.zL_@'-Mc߁<[*9<KGbDsuxJǼs @Ԝ)R[ !9U>I*@ 1wy0ԛFA3d]mkg1^p_ġ.M[_xtWLu-EMҪl)&2^1Ӳ.|vkipSsJk^n iBLL;BݖҀ`f]-NR1ELt/4BLZr㥟azf;4tZd- =c>w*rxH(c㇪Y }бמ7}M~ICuJT]xI}.0TJZ(m$I~Z)gJ"ZzXVoGRiA["[RڍYzܟbvLdUYdD*}o@2wTnEk qq `k r}F2R:4_̦FalK۷&w0+NP^t2ŁS M 5"xI uʠmt6/h@@#Hu m$,%#XL,F#XCoa-i<s櫏0Da A|-fI)SMw~Ol 'kBuc4}w2{L_ tbLU}o,8aC[m0'& -`\Ksqcj_qhbgeG/x5hgy҉!ro\*K;.UC:Q$WD; z7D, X9+e Pim*B?æZ>P'NL;Z`!?Y~ϥ ֜y:|ף[*hޔ^b6ͶG1:/S.٠>7vL.U2XQO/j*Uft}H jlEOWP 2{ފ&al_AK_4_jP4; 蕋)LP&"(mA|m1Mew\.%+ ־] %K:|w\jx'+V02j #ˀ:qsJG6dȷJe[5R@r1"t(o0)o,鈐FVşPF۱߁aYvvқXLjzPsoVHϡ!r`oݝ#0Gpf,!,K!nUJN'd׊4dlrQ,> -W'a9wĕZGby#?[3UA^i75äołV0] { 0Xh~h ,NbIR uJK#Ȣ.6o_=_k+R~ӎ 7wZ$;ȸfʹ)-f?$4oJ6XRPI_`XGZD/'h96 0LdWL] gq,s |.G 03ˎ>qsqc^~+C!8Yoƪ݊cU^:ִdyGWpqd'm5a2l"snI5Z:|@x)JִV3|r7CN6^U{PL%J2= ;՝vf]d|1bXV"Z#]+͍Jn+黰쟛=[uDp7-9|DVZA:s/ǎ&Oow2Pa3*9^+j\{١T6XMH'{X~:ɓpg̳$„Q*oȂYHiUk ?V%-ΛEdQvc3K^q3ɈBYhR퀬 p$π=}gl@g(:,CJ+ҁ:45M}M27o{H'1$mH2m>d,T\c:و:^H.:Ԓrs_fU<>9zHؤ<:,pqm(ĕޮ| 5W 8&H%2L )[ u XJE‚ ,y{|lL|]pPrvFA՚J[V hnߢ?%g"BGϼ߲s$a@.~C_ɑVjG,Ww!/ ~vc䣦~8KX$R~)BT E"8/_H%28-%d L 1 4ƏYBRo&zAL܍zF蕀"o\&hi,ؔ!\|:UBU/9cظr@}+]_wܭQ(=N֊-pQcc 'n[}G:+VXm=rPݟ\'2?rg3t+LP,()Z*n77IHՉqMaT/AЪXB XF}hp!ø[8-ioo84 $W[N,N$(ɂXkUt#G{'ƀsNW|-$snIf-3?nao(}$+@N} +FSi׵tЖbhq6.z|' cc},2f k_ܡAç̸W.\9B̰ 3Dc{4l?\*F| ӡ1GWOZP4$׺R~Um)r 0~iۗ ^u789y_T+ & 3i.3H\bɮe}:!Ãr(~ f-p[Zb.Bu/OZH`ߏ ɿlv$G>$ O m݋bJ1GwgT[+'f,\tnLo_>Jj$}Z*}bE>闕=rUbW.VվPsPQ]):5RZK, K3åXbQH̲d= ,NQMgJz'-8O.'@@#)>&䈈3)PO"yT V3 1o:UPg%MoCӧ&+\A%xFbjOIIV9wC 7X4ub,+9Yl݇ܒ ipC`/v͋&tMC uy3[&#%!tڵB&ܩpS?fӣ$485\aB;_gY"儽fnLd-exg졹LcH'tQ]V ScЊB@+X=& Myp gS,;JKX~岶 $.-Iķ +>TBLF2 ub x̟kVH;cD7{*9ܸ{xhbf>sյ燃Kj*S3v̗#vaAh~u8>Tâp4) рf3``@_2X Wi$יr9;u9QPsqFϣ68l69!@G\xGY*Z|-q1kDGhy9!= >u< #+Ȣ6ԼSxfuM38Ng_{<7D,*1mNM!;Xr"1a%ʝ BE;.bؽaW緩7Ԟ²Bi~ㆼ5A6r.QR_޻ԀAeu>0sWbsk'Ж #J[γW!:-X+1%F5Qy":V IrbE 7L 4H&ټe[W`S6\}n ['#zcQW,]c ( Uw?XW*O62o~ob}s|`-+ h8MQ=M&pF"̺=ZF :"W X)>T;+>KtUke=o3fWI\uj|BF4&+WXarI>z`xBī0b_]"XCb:Тζz]2Qup8?%ǃȬ*p+5I<񷆉kЩ<5d-KԜH%P-bܬ}PYД[54omHjp OPfj(TYur+H-URR8D!4&xnt9n'x_mzoGOkcd+Jm&~d20ŸϯY h4+%E?n <Bdљ`v46-G(.6oRS<[;R1-/H0]}\qIfDEa`VڞЏNqF;u'H򇪸]bNXhkYIAԮ 1?܃s pziZ鹊KHC)ѝ#/FU3nALrq%K6 SbÔ. }wQH |(-25zf:9"řU{aavqh~`ӢȕƓ$RDD+0f[o:_sh/(CDazgTt7Q GS@;Nz[kXƷRbxl{OO80 *):<2lB=2caMTܛwߖpX(aEgeAE:ދ'yHM,h×t_ĺ76 ca{52($6)I.SV; ʘdL{ݳ&Q(&>͖r;T*HDF0a7f B#z0{zjw^I2 k44 2+8)1͊2H6`ODl5f;2hSxэe1MpmB uJY&aYO% ibN.oHlwǸ"XFјZO-b_P7P >\Li g H1=/CQy {1cR6 YRo$!D!cdC+|q7;{S7S)SĤmF>Cw<~xfQ-Uaf~#GmqljkWh b2RF9xL_*֥w3ѱۮ.Np4=?p!~i/HĖ=< 8qCv^fv\9+]Z4l(7Le IsRBlJۄ\*B"~샢kU yy"֘hZq2STQyOXBU }_"ks&E&0aO\4ܓ|$^vkB؜t%"~$Gl&kSa u5h{eM0fLȰWG!{bqG/<׿{DYZQ+Qی |ӰN׀qSaЅb3\6MȐ2{D*NzQ9#F{ dBEIُM'['0: '8!~Ĵ?G1!A$+[!E޹}4ZseVEJi8uM\ YC F&$MN}SOc[쁴FV6zR0?2w ?ޝaX~ހ :r1žh3VyN9 ;B?%珞 !;)|ܙI x {:W(?@w`G)晔md9Q]v!ecM[݅b-eRA)I4OSS٩XȉnRqάuE/Y·UJ:ihF{%Iq@T+fb #B)@?Yl|ҧJmV}ffDdǃ.|`!`<8V*֪L`>H2,;S$򥧁"zbq vk*&,Hnjn2p"5*}c\nlobTQtL^u+3VrT),Lx%ddmW[dq?zAug85QSP&q)PBc.vpbj 1^v!Do=AZ>[j8˸O|l^`8#z}}߽7uq98ɖX 50 SJ7yHoHD 5Oj)\J-¹?'%<>(m2/)lf0sA24t;;f]uyz^&ZW9hqA z 2a NnТXb9Wԁw؅c[d ­R5(űBled5C"'N^fCKBEԀ&^^2ʲmLczY6F ?>^A4ȥjD17[]P3φćX*`y'U{z4*m)(8Wi>JFV`tX_W}aQ(rf%YNpʟ>”ka]Ügo`)x͋T*\ge9YJĤ׀S!}[!4뭰c.$KTjq$.ԿDkHmȝsFwfLϡT 8&RyH|dlCN_%!uto^c366%f '^UI3mra?5BEb@JHJ2\LuWb2F)KtFTYKQ3ZYy]ِ7%j3p,ɯ*%DC;9 ÚnǭGB*?.6"#.8ƣȮ:Bx#&=WX*K!+\p a_+,͡П<{l=pϫlS~ͺWrE[h݈_ 5x4K'{h)ΪC-w`V B廁y-tv,عJ94=\9~IXtފP^87bڌȎgsgJoL6EqJfv|p݄>c>C܄ΥpgA40SاO2xcKa>t5 PH:NU,σtٕ;轢.L# nm.:滻 L1zuloIcڳXIi*e @"=ry`_ZZHl"GQ X'.W_] ^$_kyk?~2h9=43'! : c]HFQe].3飝/9c"':a2j@>V)iwf}nZ6N!6)Ɔ̌ؔy[0>f4ݾJ|μrlq_Ӳבg{Kf3Y $ akPX8WoXT_RFxl5}lXs5^\h #e*j66̎ɟԠیJ-$SQ[ACw,n *:?^tϙMY&F;sKryXFqaIlbɚuNWF+;pLʔ̙/y0A5 %hByX.6Wby!@LDv]îEwe hAfo|nnX)Br_Bz~4)mL`Z[ fBBt* <8ٶaDJ&pi[띡Ʊ\ Wٿ" 7o ;qHܢ# O-߸AV*$ɳIz'P,%1ZO%q{H@"!>4\o֑;=`sAŸb?UˏHi { ȦFS3A-!?d6׭LC6ڝbęc5Bhy QТB 1Q@V5j?"l jw Or|0$ 1:>?> oƃiw/|9v|ȳIhձ4=i5Z c2"_ M|m {@ o"R~D 5!X Qn"Mz Ƀ ʾ<^Vvqu{M 2Df4Cߊ4; )S Sq^’-B$(SM$ϕ;Fx j3lzʇgv1mjC0l6Ibw%&80~:t,#='q_[3f-1t+xBܠŁXtIw )VChvR^|%WYV&EF0(-Od} j+"xgf_+f7%)< ɶlb~`V [,TA&}DuAqEO.`b8y;+|@fv !θ%}2G÷dX=2Bë<eG]>eceŗx[A,tNo2gR #->ƨS V\nNtK+uFY\q[y%zFޚdF<Tub)uLg ;Y&"81Til,)hgH"qVRBJw,)t@R,rX" Md6 8H?c*v“Wȴc(T\SŕQ6abƦ!5BPo_]R%ؽ$5Vp~XLkIy'+b=-i!H)'pmGG9`ݾlnOh6"놧i/ 9)?I%w%OX̳p$IF# ੩k{ϒ`@Zk[Y4?8a%vS->$_$TV>wi\Cz1)Kki? f: H`[aGgGELao>&^ӬeI'VJ74~~$l s_k׿^>¯1X[zs@VRF";^!6oV2^d|~x 6JM^ʮ7 .Z)K0_Ɵ!\um6JkA 8r"WB&aƧ:uթ {Rh`v۳uLnæc )-xs/?AH|o%jNc Ʃ$fdQh[p=] M/GmV~#1Z }K֯5+]VDq)tmV5 ŪI ,5pCX֐X>q{(e(w^-?ꋅBbogMK08d<{$ DO>emuzykrG7C r4Fs~ ` Kɩ&y1ֽIB8Zc@>2a JZ< HElq Mh*K63zýJ~~} X(!^|lo$CVj@f5plgͱ;R~Lh|"̀(:1]^gv,{L2zGw}mtP<-M$bq ">&y]18ʛخ˪E, }Vo%>o]2Iw ea_ܔr y=p:xn4&e.E,|-5-"Jm:-L%<_ O5 {ce56GTjY`Ͳ*fOȃ!+%3CtL/K 3yrZg |,/78 )Q<HD 7ofjYU]Gs3}'Dz5Лa rSԦZK5$JC%]s*;xXf3 Ko۲96!|sL 3 +~Tڝi@Dz>=i{ܜin:)G^*K"d:].Αg[4C|/bT[1Zy~¿ ]4r$xNs fLT|9NiEdž8ӶGvח5^ +ք `\#ӯj@3>YN@p+m0zfSU86^N&l(a?v1$UlOhꛩSDɧZ-#}J]mcSNC-G% ԢuW)1~roi)M HȄmҨ39۰T¸k^~N/+~ Nt?Pa*̈́1ogڅ8=nkD<>8WJkMzjM#, OWܾIQkuQW{=hyM)99Řh@ۚנJh,{` p r xa^p~[)W,W{}+R8DQiIs6 'ȭ Ґ>:t{N7-[enIZiMp;V{wJ&QNVْq|˜IVy=XeDchc/WQT(03dҶB'WhmE8 lq:$ MG"欠O˹xIxĵVY E^٠-@1BC7s[TKDJSoUB+7?PTd~Ƙ=|don$m 쐤qkMc{gz=v:X c*pu& ;YX~ v#]'Ζ.y:SnTp$GnXߛX]<n! { s?Ʋj5u`A+qiFEL-eBRKa1𸹾K܃*U!-. d?mBW-dۯaoRpX~;ze0cU^!Al,#r_N=55 QfNşo ˑ'Rs12ĨR4M BaF*]+?2Mt I'x\W(w!z/!|fWJWek91[&F#iR؛<|R޶>6 dmz3}x:-~c ZUĆ9_7qcC7d֙ȑ%6A֘;eL?IOhz+aH.i|ucDVprQҁ 8$wnC Xo3#4v=*V;hި5!`7}ῃL;\"'ҍւ4`lX}F;,"7Kx^ `!_IKQFen\{H kʿHCnfaU7qe--5aضjEV2/+\ ūk0 kRR?f)Q^l2<[yeћEiU\A xWsCw Z]u=.Ortmr)o9y?|tɷ(vܩ>y{M}VߴfO8X[ٙri4ppGR n(rhVeGEg%4 w1hb [ 0z!\<_I{UVLMft-(ًC ݪ+;z:Ri껸Ьɬ,VG]ai(f:b'Z gsDMiÉ=[)9.oߧ|N tg)VPB_c]sUҙs?*b?Rh4P- :V3pRy*ŞoTu~kylF9Fܮa5 VfLA{mXFKg(׉A ȁ+#"@@Ɉ6΂pAzK1,#N0FT͔HIMG2M%(@Cۚ5Bx"YUXGK:S̅ ,bJ/IPI&ƘNCe71E$\냺rgNXC-;Øٶٲ*0.0ɚHsL}ōiw2 /_@|H֔ J6SC:S&L{zP:=jw-| wW6|'=hQMsw 6d'Z,gu)Cn %?Y6y]J32_-5ǭt:tk;!%ս Ab7 9aQPZغM=ǛE i UJ!RbF!4*e4s7<Ddn5.&4O"@g2"lq|J|V4k~Y /;m.6Z@~~8 G8ʅ-3p~+v`VEh㑁*ΚW+]MIgzgKO8=Muo7i*lb?XH-[Svx]YU@3.GO|@C+ 0 1Y.u&.{jYe lD8C \<DͭKfɸbkDC(T^x|#~z.<]$7G^`r?ã4YlwfTbM]KL2 XTfB(n#ղ'zuW;b/i^cJ<;9x>LtCG^R›>3V?t۸{DS GJbmć^ 6QX^.iFn)ĉ.UTd[-ʀsC?f|.JلusT`;@~Q;x@ lp$N8L.pٿJO2wTv+!ȕG0Af,^Cұ&xk+u\Rbkum'qqٷ| CKx~0!0[ eTunHkB5U]|Q>c."v0]]gCa8] //Ҷ0r.@c3RcwAN*އd V]2-`yu/Kʨ#[cdSM*ߴ仭q*w|dnСy$TD$8"0uX]@7߾F2|W$CdRvO#'6NY ˀ7JN)8<[ @ဃ-4<,(j""Cf&| qi397<'|3<Մ{+0*KMf 5y3nA_vՄ5 2rYq% ֆMeVfp֚ L%eZwC- Bȸ6NGtaJʤ'k] GFB$a<|Oű|?j'2i>\ikPd2h'o7m@Y=OrSiD;ƭ ߨطR6"2in{u{_̦IYK52>Xe9U\|Dil0Gn4 yNF=?g8d29|&t.[OD ܅J`x|H`<[z[(KZF_ID SfFF$=北dbv*ͤsR?c*Xfv-7@(揄6QJ85lƳ-cз!6ſ%oa\r-V @aJ2*O0]l |QBo:Pi;X-B|nV+q¦붩΍βFjA5?ɇEQv\z-k Ot[)omʩ-az|C5~]E&¥p@ Yr/󧞦3a\bUg*tGw W*YTj2vtN]edV)]tV40 7 !qG@pXM.- 8rWۿV xhtg_vc\؏֊`>_x2?B8`BO-F)߆eUJZ({U%oԓǟُH:h_O9 Cu [hT?#2Ed+qr۩N ཀ&"ZCI^c+mER(.0Xm5~$Th+f,74HMwÅi"i0笭VJkr OY-- ir}veE\&̗AlTP_ O 9=ԤXD$,Xko=;![R&w<#?Є0#ZmUH$sJTI3ZJ yes՞9$>E؀ߵ~ MRU 0VG%mcGy9婉9kuX-; -iN7yˌjL۔ UI 1- Ә2(4\݇E,اYe~ l ttzv%D_hzPDQuK16)qګ}9qJt8$S:)]k<(g@ rG3?'HWdw{?aW}PGo- =8)< sP+1B<䏤snVzxrHA`:iҁ0#*k,PXtȩg W|r0Z˥`Pbs=(/NoaFf 1A9*Hu*H\1$`f yfu.yDy<<*$OcE0o00u:ȃxԩW' rNZ//9[s@ 5+Lrzү5Węj[䥚".ڹ5uEdȶ g; Q!u:jA{/&6$,tn@Y MaW!M1׈n=sΛ^ f2c;cLѱ;""eH);9'gR)tO੹Pȴ[KMS;~1YdTfq6~XzLA*N|,U>*VR|!Qp| u+eZ\w)p;ZvѭItiB(nFqÑo+0&XvŰ0CJ 5?'.RT&ޜ;>#4$NfIl`6M*Z4}0N@C@uQj2YTOZDb#_ӍܝJs`TO%bfxV(0K]zgݬ`5ؓWTb}\iÂ`若:R4C$mFj(^yɄV`{cg~ Ii|6B3'Ů)DD/Kc1LeaQxTY\1!ڏW:7҅C6;AHw`Aw0XŅxeC>8mwO֕U+Gؒl1KN-9`)D7J azr1b;J2=LL^O9z`$X8;\T(&G1 \^}"Gu}:/X^i4Ȑ90 s|4T<i~Mb&#3@713Y-5A؉:5_'K7Gg+ts_&10E|)u.#8 4WL.f={,(NnUy+'.eO5H)tMa4h!k[qlڬWipз5lw4 kƆhVbŵY(pH \HEMKW{˜qᒞKF:kwd_>D(Pـ*?)QS͹84 ثmֹ hu%j Oz9{v& .( ZwrxS&T˯(ly߀n%,vK-G~* `۫L_Mƺj߿:(]̫PxgJ\2>r8+fsr^@ovwe)o]i2.KHgtEG24슌yaļwCI@2u3MzSOVΌ ewƳz΄4وlB},2^*an05؀- :0tC:]cMAqD{:}5p wss-b״K4qn(/1{t^S[F"m}+-qjNH,1NƂ'%~ BSi03-2T~;Bal_,ypNt5]YXlhb.&M-ws$d8+cTGPpf#ET5Lv+K c.?Yyy:Lv{v4pB`y譂ͪ*xPo#eWB) r9YǐloY5YOŔ!v2 0REK)N~o#`zptC3Zn)&@(zSw~HG:]l[(SW($1Z0Z `s$?xϥ=p:()t{gpF+GW$kȬZZq^O#Ó:9!9$;UpT(Ӆ'7h60db$T c+y>²3-s4MXӸi6<5tLK*q-iQoXZsνutѸ QߞHɷ@L!8SR 5D nŵN W? jJ6LѾVcssU@ c\Rr6 ar^EmlT&s1Y-=O&]jC317ePJNghr/b3rJ-BNN*"o{p/r4Vo G%¬Cq( vb5|BⶠCMGQ=#Ԗ_Cige9c{2t7dDD&\M utflTpA ´e}ڷyh4Z;2 K|-+n3TQEkѪ5̵ηl@~OVϤGRQe-*a4#Z#{ZZW&L#nԚ?aɣSzŝI*O#|]tX!QQFbK+n>I,UaaK>)gr|4V)hESCM9,}"VjyDֵ>ͮ.Df1_3hY}r^жd=lSYϢ-샙XHSJ73Dk!2!G:>ߧ O*^>(K L}ҭPn9J'FF\~Kc7yC;^q8. 8}.Xh''4"hHkݽ1=;`!wq'鮤c=ϼ6XEv]܄" Ť4soՏ?n%m(Hdy}cVP!%!; 5^'G;x\*PWI--2 ]7cgPutv8d&:{6R 'n"x o -\&oWW{V.X/o(^ Wa{w]9a]1,PlKLPk$Pg A7 T A}k[U!GV2L 0crX[ģ#,9C:_ n9&dsGO5<͎X@Z#ϒ΅edoݧV۟4Y8^Ϝ;Y/pj@fVLkh oFϝUVWVZʁ~]Ȩ$~`ͫ7!`ki)=sPXž9 =Mqo"Ь$ów8 .'1X=zPP@@3Jm? TGQy7Ylcrj.5ɮ֨Z*yyL ɆpW z̈́0BӺERKCԥEQBiMW [:Sg'S ~+SP7KL:P@) ccg~dZ ϭYmTBktLGmI<30k}I umhwrDOoR&_J7-STd*`/뇟z4  z*&0( mM %¾R kpD0! nG?j dUJi%KiSoS8Y~T3oYd6uW͡*-󉕅PnF ] hV#ÉJ̠[=s"rx# ==gYZ7zXZִF! v ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&X=NX;d/2K'lB~'p!>Htr@osy6m[o]el0X.,Dt4ȆkH;tTeCl4xB3a8i صB#|30)P]sIl*4OԘsl Y("469*-HtZ Sk\w qxu"5 WTЎVqԫ@?@dck:lB8|ߚ 1 nly%ځ߲7Bq>y<q):L*nyb4D@s 5tc#U)$0$=oZRe8m:.wuv,Ojg kbVi?yqq7*:d:,<#=d=X k >FBRo ;3/1gYZ7zXZִF! I)]ŗXi%L#NZI2mmKt<\+BdQU1”~`~Q$Znq|N''.xͿT t p֨H}ʊank{[;DKi-?>S /N«^<׊ұJp>HW͘Y;\lGGp7c fC,R(l{ \Ί b,z˜ٛ7? N5^=ܔ)S{I1p`yEO$@?qI:'ѝ b[/!rV$3ӶiCMںcGoNAL VIwpJtKo+7tW4d+0l:s?J܎ȎY֖C`ɇF1ݲV %ݗau3naZ @ S[/j@c(v8 q7eZ Qg_eZ6y&elѷA"ϋ(Ny] uv@n}zeyğD@ka}S^[Q\<;ͳF'D` GFqVZ#X켍k+=EZ:EfwI/8g8A}Ҷݰ8%HD=# cǣdj:k>8@#(TsZPBH_>SWBE6q^׻i4O4Y( ns1_Ⱥ܅⢖PV{SJGƜ/=vTh^ja1VP5B0k2x(KCwO#qBG(q%[GB`f)U&X'LIW4VkSp}jYoSI+)tRQhkD 9֝U74x>6_ä*eezQ J powsK.ȅ2_ њR^oilX37OT̬,<#Ft۱[Q+.n %e  x]rU`Ha;K1hCNvIlPNAG&8w}M%n @Nݨ2קWwnujWZJ]uh'qv;ɩS c,, N˝mj T32s֞pzxy4͔Ea?QkzsMѣ. }?}.]Z9.ocz`x*k5IQ0%xc2sg}lj]͵FJ](HَtN{1h DF<l\TdIyТ֋ 6+ǪyxsE@jz9k1so#tjWJr7B!9@II˨evPKjz8_$a2cq.e!613cd_fG*rr0V& OL'H鰧x,m}4ğ07|>H^ ^NO(HP)>b,`Q& ٷyߎJ%~ vU2q[m)5GYփ6iV7tV2GD7Y>'>I W%%bFvAh#A<88=%6*8cJBB)1ǫ.aPrk@d/G$vR}'–zEH(#[JB|+vwP\5˯1mo(/C[ّVQa>05ғB&@^S.E53:smVɮדO%/¯2"lr?Ul 2bmmaq@'JTO5F+1ݒ+ !nok]ͬP>4+ؔft#(#A8+`$QGBDߘ&.rD,?j\FߒRIq+!/d&=8=BϦ.]ʨ4@!ѣO\/هMߨ1<@Z7B:1on IPqOl_3hsm3-;,J-7Ry)d_>3=Y/EghzCTR><}kl .%•%8\pm?$X#GϬ]Td _:!G;z= yISKeBVtY1_)-lk]s*Š~>)7.( xƎ y*x%-d27SxDPb񊅪B|L瑷G K:@EWi̵Uzs>>>6ԤmRCL:EuDEԮbZ83_V)e'h؟^Tkk6 }Ϩ 7޹l`PI p+֛5فhm=l7B \!`y𾽳+UCݹ:HYanLǿT m p2Ң}V_Zt{Rp\8fJ8_4as0hD&;\دr&vLXP',FzfKX##ՐCl6T!&- D5gǼDFS.},}7ѫjA4%qv`"hǃEk-T;Bܫ"^ jCŵAk^?s!9cjrr "_,> fk97FYn-őTْ+o& 7m^_0ɓ#X˕ǧ~*Ә吭BHiZOw,+x*uJc,Dv)V'ez r%Hw: ρ/>4WZc.oi=]=:`m1]?i0qJlЀxI]6Goژ#c٩С,Fg@ yμ\NWnPN󄈣"iPD~/q;QEfJFtjAC B`@n)nc1pI7L.GAMZ|350?pK\lS3;4";6N' ud3f-2Au Hϼ D7֜=r1>u3u>Ĝln4"4m«^Td1Iqfuݲ/pa 炜Ϩ P^:>I$$X)!Fॣ6`nTeLwtrDDQb".'9=ɀ' ʢרpYi†-![R<i]ϟ:mңߍ r8jeԔĈ-|&蟧\Àm1u0: g˷m+F8d,bM;Xc-,T09˩ ^ 90YQLAZ< ܱĊĻn?^bEA65Ϝi4 Zb/H)DNV(lvJL4#,g#1\NQ`PGvOD̔4v)S vF_φoeK͹Ո9~m;sj8 Z KxΞD^H~:ߍ4eozTZo]ZF5аm9Ul[dp㑡lmjc}lzZJ`Jg p"!3?j4$`I&2 |MN}ik#~ {㉴O!}gut$Q5Z)-7jf9??S,WA] ڒP }HVX Ѻg .' eha,.;fpEM>_Dq)IῤT*@&cJFLսT$j3Υx(BA[|%*CFSGA8hk\fފJ; :u}~.`Mo#,]/,Y?_̇ b[|WYNˋ]K30S"^ԁsф۟Sf+X40|x91C=Awx!5W'9ԟU KI[[eU|@N3nU$ёB|nk1E TBD07[myrCK\a?@Hm 5U~R ;פ&U\t56L9oeOt<;%8ga&$4,O3% iaaٜrC+PUMۦH!dtP`]#vYKikG%y3bJ$ҕ^nn)Kr#B/gR*3#ˑ~^2KuX!n&Jɦ~id0VWZJeHrd#Oi٥rDMc"PHѰ+HȬ9PՃ6ʸ(gYZ4eae1231b307e336656105ac9bba127b89d6f1bce6482372651d25cfcd88b33f1b222ef5cdb71889 fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc aef5ff10096fa0ad7e3acd5dc0607ec20af499b2