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 p#L ]S]HRB-Slicing:threads=4elapsed=394.736cpu=1126.376gc=39.308factor=2.857zXZִF! V){]ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BQhp1ͮ -H8iK8`S!T:Q@cgk$<'.O̮%FlxMپ}te,pX?ʟ[#b':#Ȼ+,_ѐtSgI%Rh^nP2U(bqYHnp1W?W XxaBp%w6n<4*bqӣyK30%5\QQ'u#6v6};QY *H z{m8BtЫ`!#TN1 ~e@4ȏZ Jw?s16jsuN\ё1h?_-zKz{1dxvm߈T|I5yjU^ѽ YykۨvMjd˙͝ _M¥8,8@E)lgX"Q^Ԗa[ C0Sxy~& H4.SMG_u?ŧC#]Ձ0m͟; ʇDk{m9oVZ+sn>I@.YFd[Qw]Ox ÙVEF#Yvo<$3[;F{w &F:1z`]b`[8oŒx^p}2I`9[.g|R8PٶeQ/32X**r/ϰx4.Zh$F+;"-!Ӓ^2TANw@ ;?'pu 9שZ^k^e;8?|aet~]м7:pzB>Yкg {Btҟ)zcwRgz;YQLGL!7l;JGh3rǙp 4^x:79 >@ۜxH  z綞<ÔA3;Cǜ{'f/ʣ1Gff`] `2)+z*wAdPVxCJdu4׆KaW$o,RAi%ܯx)-wh-߲m. h0ռ53tJg h:?oI_V5nJK3fțAM$gDDF 5Qc d~'NPf@i뵎}5{RX/8}cX5)tVt\6&ףgwsW6TA~Wuꝉ)4u ;3vE;Wq=zʓz$ݲ~G7zi. X$[7Fm)PV<ݾ6a&.zk=xe) | E0V> * XtJjWB%PmBjRw-`H jS+qn箘[O >5Rޡp}:zgP4zuw}/C3}^uD0ЄQA'Ґ΁o{ # HRB-Slicing   +=eݼ -Nfp;$7qVkcB.3\폏uǹ>y>D> _cܥ1I!:i'ߔޓ^٧gj-*^K [6yr ,QƧBOcUma(BxB3vˆ}#Txnʒ:QڭW7S`9>DrNnDe!C7F$`oPr;4'YrcpخM&0(_wAM2%&\j M2d%.9KCPY yC:>[5٢]u=mړ/h_TIM 泐IUŐĉ^*Y%\)suRvf,8<]oiڋ"mO9ʂ꓏+ԳF={|gC(3]k`"]q]<](ODMu{S:48W%8=5hEz21glOQ!HN{ 2 Do]0;8:j4|pRDaf;FFs6}7\FY1lk[r/t VTIٔZӣ+H-mnje˰j$xI}jZfg|,Q[IilFҌfҕ3qա"]9gفE]AhYHS4kg&@P),]ީ1q.kiN!ϙCҌ9ZF9]⤄N"`̯1?n ezmF_ Zn9y~^Pѕ0ކ<:UFW g*F&Vo|^7<풁fkxP0'|1HeQJT( qv]̦ͫ~[V~x_ &ctΟJ(sAoTS)>B1umY NC@2l X>M3KKIA mn kZSV>X)?:V}뉚.SRzS.i66* +qGI%|TK* lv&ۛul7lS{RSM<ֳ[o:sZf=tB[勂uj@K+x䈠7rJ>Wf.R;y.iG^jA.$S-85. D\5ZZ /䐀^J-wFB*[`!W~h  ]oϴW}qU.1þ ւ'Ʉv9JYoյZEAVm,$*BT|wQC'r^o1dؿӱS#Bϥͺhn#D^| Cv4.3^KHV _&NV hйgY knG8RЃjA%DJ<7hG0m.L5 /wj}$%O)ݗFTNQJ8@-  Z,\ (.ĶSFX\_V'2uw*&r_,wGEI9WffJۆ!GtfqJVW6d".MHsBOT%p;I hIv`6O^3Os?*,mNhtLFUL\/(t#HĽ3⿱[6@̭WĿOxZਅ@nnȚ6ƫ&B5Ϗ)NHNӽ3]cU_cQ ƒԌ[yaރkeN:da,ln?*"Zġg ~ڋXĘ(0#\:g#II1*<z9%b Q,ث'.P "KNlej -c)g\#%4@ ʣ)ie9W/ݟOb`K }cEUM;XVKQ(0C(KlJ9>on[ƵR[@MjX?%$ =!~}548qUI)jV}&0%"&KlH 7In.O(5_;^[>NĔ@+ۦ6ї u9g;I̪*c cαwt380gԏ MWv +[a|t҂H.4x#f_DhciNKJsC!f BYdL>$=I Vui u!s$X > dӰ_:;ƭB3pǨL s/6t 6̖',Af6)vmRٖbWߡAZy=1d4Ron jlYH&i-M'<>JQ7MaXW:`P&WYㄑ|<JԎ2$qkTul85bÿF@De[4+.[䭳ы T'<>Z7pY :oZkC՟ۣ!@z L_L*ZYBAtAKUUj-I+-$ v [=s2OQJzUhJvgPw Τomֹ[&^RIX:B&387_&Q 4X=R$ս_{ Y0@ez=K4&!V[sg(^ɓtI!`uђma݈W0ХpY)YHjok"Oi< HN M| !x,mUr(=WB:#!3U0%{ԢkA1)oS Y )xL fkɾzLhs,Ӣp:hC3 fWtL_(blIn|40o%ĥr'V"맂Mb)K:*#Z!sNǯ=zU9=+)Dl~X*(9%k7s%F |Uj9ۿViT忄?? "c:&q9&YҎez5rr{+d\ /G-֯2R%ZTk%<|1.ּu2ʂHa&wL*w..P=îq%9v֜ [HYuUМ4=:/H6AV&t^:ߚBV׶|nă!\udb쥘D\-Zzŀe+ñ{)4-hTe_ZYҥi+ _RR1Z&kd63B3+hԭ0KL R.@Gη"k@T>yV3`]M% N8Bk]yxҎn!'f{$?DGnK$0x{ 4VKEV:x 8=鰚9?TS'5K^x݁jܶ(@! `-ݢXtӜt@N2e6=lhJ!1MV^LT=vȫn =&^U.Э0+m;xe=0t i֧*}w/J~nl $2::zd80ʂbZN6P"S@mu!U' Aefam)w@5%;*X%4H m?OKQF;Vt*Yݵ5g%Lp:S r:- tU~eArXsJ[]%u{fHEP~֦݃İ8΄)-.UuzU@$n,nX䉸sjʊϖ!gup[m{n"py\;Á#(T=}1!G]Jٰ{C+ $uYlGc6ӣaW%G!.AZStg_0eL]SzV <}vqj@& vfdH! J;+=Ixr >&`o 45(.Fv},iFCc9Zm:K⋀{b욠u=[t͚fK%GƩʾmКġD!rVc)v.f'ol@X'Bs<KI|wb/if y/hFiqаѳ0Ev -^Y~jw7\a ܓ \S îb[j;j@a=TI߯`O!;w<g |, ;lFfr(TO (9o⚻0 ܼ2g1Ooj#.~Uv#J-VLX3uqVTS7 ]eP2.ZKE!Ac [2/1 J-XJ,dOxc4qo!D (J4;$#uW!49G ו͚B].7 Va(IhƆ׷P|69%n!̰_lF&[*7TSVA>,oQWd |m?,P]|Kݘsλ8o`gcsDm(&sdtDQq&I _!D75bP>7+7.0HIsmSZ V8<.Vp0t .҇]ffHp>z550o+VBĢjCTðv]^|$WE\FT"DK C7 ⅤI du"irgVr#\_7F{m *  NZGjxBjsa0]p&10zgLLۃ=.:VDEth.[Es|W2kMzI׌U[E9I&U6{ moR(C:eHBv<;FgfY#7KZ-lį$ A5;,]R}b_*K }]Wp-^c'j$`vY5g֬޳w^QUF@xe }Ryј'E4G2ob|Au͘3"BU&5t c|qkvvϳgz$\ d}`K D>CVP ĐVR `C__$IrRˣ(/Nщyu(2eBtd{`Yy.D~$ObjnYOY@rAmGEf 2嚱7#2~^Sud路ơCr⤝WQ',_fNN"tA65{5 lvY1;TRYT2(P+_zM3g@7Im2 9OOԃEؙrM]*Ǟ:Ǻn,7GF٦ $T_k0IU+ӆW)vEF sh Tc Wc6FleI a6?DsQ6"Ӆ@ѹK,hF߄pz"Α!%;+nQYw3"8I28EϩQ,ljۜGHاER9ug &#B YHGI!zuxX,qn:I??p!8$馭-SX RoE*h!UOaoHĎ]D%Fٜt˘@71Pt i3w:"*g7dx5v2D2FG ivVCȗ G !1=OJ O*f9j O-A>;_nUVW8]!WTRT%e{bMb6s6)ngmqP\ST!dpa|Sv+xP "T6&ʁcnV~w=ϟc}9p@"K1UT30|$x_L Xhޤ@S4"sy {#]'}ro>XKh]F.|w:2ʳul Q-~p+F{ $3!xwD*l?pGdž7cS]9qBu~m6! CeDiz?wT 0>%XOAznZmB%_c]|, V` ~c%lڕ.VH|,U;~ug> mbI΂ 81;("tE$IET$ dLJ:y]h[CcOk oJ=&|g}&)/VMY6g^ K1k"iNfr? ŏ1t$o%r i*آZ(3dEH;Ick^)aކ@]L<Mx#1yN@ ![=}Ilpc{(< |pH#qdd,epOusR/{EqL',88>FB?R﫪Q J?N;hrUI+{\lVFfոQ9sW}da;I?'䳑A"!vJfh60p~Ψpnˉn;?X490;* ڕQ<5ŀQݩku6I0`Qp똌?sYe6 u֍ dNZ e"Z2-5; `H?.-_\£lA7$8lڌ;90]ah)Hc+VsllV5.0_/CN)/@BaxY\S<ڋŇ3lj_4]Du8bҹ2F+% K𢫚.lRdʅ|CQ|?c*4!,aD>=FR-dU }B啤E}D_)5IZՐqo|%heX(me AaA>V,q-YZsFqUe}}l2qzOṓlҿ88W9u3e/w<@]+0-bߕe6VʮVh -Ȩ TsVź@!W!kzsݏs5YDN#ԧ% ?5 )bMTKm\ދUKt<o{צ`E ]V0) l3ʈe!N[tQR1[(Ikxu gBc+dNd ی:I茌=.2Mrlr^-~Jɔ^ߌs;f'ixvx?JN|Mԧ4?/!XLQ[ |[-C&(ZwaqBlF7? !:Ue#X8XwM鯹9 ze )Q&੷3%UጹF@U,՘oe[LLXT9\z 2E\AI?(|!5 x a[̗'94aST*!A\&ݥSNע/b,? (m l`:מrEr`(F38AV! {?L*ϫ&z%X< &GѢdWBOBzޟJR]=ELp #Jiwmߔ|?#Y 4RGzuFcSJެa \CwB8J6HxgA8Te ́K!="q]pnb7f SلrLb!PSsvNYP%$ܕytF&cUڞUI2ǹ #m*=b:3ˮh>\#!&YSw7A7?G뾅:qMJzBE而ˁ9<5i >Fb4J|'a/=B=`ע|$GEmܡ)=>(@]p8Q0jMY绤]Q=@6m}_s23L->xU< s"Y{Jq`M!.+b#]ݳGe\6rq ew_5{Сe "I0ap 8_jו/:k/BOהbXE=ϕ# ;  7>fhs/X?y^}e~(a:殗 {@xX7!G9p_uh!c;P?p<".~3W]k x( W,;y%[r8D5Jl+LH$_1]8y_qňoyV@^~_`noW9lc@$w &UFQﭐxi^fwY) \Ԥ5Lr[P\#ai"/✟_b@* /̮{> 1N^MiA]v |غL j%4%RKd5ax7g Η5.)1νmz/'~u v2 LajU1kY.!ìJ\l'Y,'vPJ.*fUg{}Cp4^DLMQL\2`qh7My?HY:j6^}'Wnbr/M( lIJo/Nrθ)oY"r#@87 5] !/ϕ/a܃jGLj& JHGcE۵[3xr*,Q-|(4h6 U!ih{x7k_|)/dLBcTOU?2w kޤA`4"HhT(wyIt v6@(Xk >/Svh(z: ,~%l tOu?^(54=*wɡ\aZA{ jD.u|#Q j[w\~d^Tۭ7>/%cXo"@2}ĵݵR'Ul7t .B6dY xYMBzĻBN kJuV7\QIԶӭ'ÊjrOgsOو5,#Fڍ3-SM=Uߛ(JVF}!59epz~A)&7Sp y_Fڙ?uԹj 1gow(ʳ"XGQIc*($, -]DyMFeVA͖"ڷ{-q8 GS`hFTL[5*tN{_bs#8D90Pq&xY~Xڭ"a/^LT .?qk',E,_F"r{$og nH?}81^諥.2G!  33AŽQOy|5ĄihM< (툶Fqvʎ 5@Wyḙ*foOXC{m 6i1P.ViZAԝ'_-2$ 6#BoCj## "˟u͸V*kE5L .hYBx9l;ہUYjtm3?y[_Z*<3RF1L&뱾VuoEB#'5T3}O7:u06{z=ӑEc,)m%V׆ae`ՐaF&|[aR^ {}itU1Q!1h|;][ZF 貺9Ҕ:qL8u,K3n5 .cݑŜkȳYz]qP&> NZt$i*-u>)v{VW )[A8?B`i9)JUE WƼcU#ҋl U=+˫n[>܃By}ǻB5O͍uN3hI|8KeZk@Gwa ޳q?zG!# !Qv0> &M̔`GKu6YyXkP&7ǞlFIv\cCZ>N8_j\OT"^-bH\ݤy-cycFV}dv.q] 82%r!f=6{'6ͦP d zJ@5o/{/q# >i._kOswW"hvyPDeylck C {! ld =]un| xUV-Ҷ从ksۂȯ?G*S U8 ^&G؋pOepMP(\rc./q)Y5ltɯ`cYŨc`3Xv(Wg5-!;B0m)xs/] pvyèH*cbG\b}ʛ+s^(h/U 5$⸈fG4i_.^-&_ ~hy6=@)VjjF˓?aJw|CpyIX:$-.+Uô* \ W'|H@Y 2i~<@`f=~d|X0yZ7wG%>yOcY@!p/9cnQ'{0~aʹQ!Ei 5g  _fcj ͈Qo V4r $YE7 ay܁L^IyZĸD4n0[౯&Dg؜<,DJB…HN*gq"Í_rMNr6 ѿGJlB,lgߪU[P>k}ht+z$\u$ OgC[q44{B3N>w #x<+7Y(90=Lki~ S<~Z%-ө5%{Ye8^ߧ0Uqd._,{ܡ; '{#I*/ =F83q-{£I",_2\r-*D+PtՋLD mucuI!B&0GA36 ~}FNPEաxnɧǓbA +AvAm"(VxE.b# Gd37gR|T(Q#\fv.!VZ+rs q&W&4ľ9x|``5weeF2=^>SǯYX (#M ZYr w8آ>̮G:c@uO3NҒz<2.pr'pkrvL6vgLvd\vV@᫋$|~Q$鳒"w[8AA1SH`ByT,6CP^UBYWڔZհJ#Q[ѩn)|fn4 5=ÎWc sXdGV!ꅿЁ:ED =V,(ԤX ޵+K GӇ4\Ԯ!3W A"Etftkd {) ? Ȳ2x+ov>, NPYw ꢠ#eC+ԨqE`;ӠЈFX 9c*XcjY>f} e߇7@O@$#B-sF7Ə6"4[ i]tm+%qAq֤|n>Ч\waU!W4m#%:rsVJ p>4 4_,h={d$TpR$֎f \Yف|rE_́=w)`f]3Xr12' ثrY8Mݿ3d6|.l(ؤ|U^h@Y[R¡Q;f0K}t$_DHÏa7E;Dd&@dzi7a+j)%a](lsdL7q RXX]~]% {. ծ urx #,L1+g68h*.}<|]'f3̭M˩,ۮ|н?3pF6t)d~.f1%ǧ(4-m7\P@~mlaɀB9w*2|lsrx#1{{HXKNtc-OoaԹm!קPHP7ay[eL@!:>/: (F@pͫ6jP`=4ɞ; tk}voZGjaYPxrgb"$C}_RG{fWٲy|ޝdy]1SIb5c"1=rг|ws,,N8q!JG5'2HzH5 s('z|#gA㊢zCTbq[^x.o*>ߨ'$:mB@XU"|tR 5{:YK"Oj,l,*p,/T7ƼlM+8p,!>P[WuS{eu3Lkvr&xʴ5zd`m左b[aVo 9/րt2C6 _JEtm3'd$RZNzQEJΪ•9X|Lbim$'ۚx=krR蠶.Wbs%pk GEx"YlS[Im_0 NL<.Ti%[Xuɝ>XPk ޜ FŰbϰNJu_J%K0VZF\P^qymcJi4Fa,X SNJ-J~9mQ>0-7&Q })RET 눉ƞXH8_kS)@zeSVq6.|dx5[&9 b4ͷ-ib:bZĀFy 8H(!@ ].Aq^'=7ukmrÕ,OuvKהf B71XUc2(ͦ|뇟A~yԑ,]~IE)jnRn2O/*01%i" t;א2T-c-l;L)(dӀNzv|ɑ, ǿN~[w_gwC~}hVd<筃-H\g7,~Iăoš\_h -|^' g~}kÛS_L6aw̼q ]E[5EZ+M3N"mͪ!ABO4"7 N-oM]Քs[=즳<הܢĝ XBeԮú66%(KrS&R@=ts߼Im)غ0պ<2:~FQRhYVF'4q iו?rHvEA&@[jVo%4 sPǦb~C<62Ax&?%RAtr6$1W1zҞYH5Or i&k_)t.:IACMָ{V ]e bdg؎-C{\C,4܂"6^wSCK揘qq|f V)zGA*Nm%MC Q"YV,I8to)Bp1X YVhs4V#x0+G66x<(cS%ڔfQC~{ pƲXf@##G‘JpL}> g_\i,k*G(CU/6* ed"U%P@U?>FonȕcI\:WHKEBfԖ9L=KvH|#={]"W>|a7w?v V =-~f'(qOiZ=4hn'x?3R9fKAfh]r@1Lhtj'p_5UpӘW_ (cG4bK ;Iqh]Sj 0mfPܓmAxAR00CBFUbV4*?j?`A,888_Iprrz(Ь~ Q콳?f#|rN{ u7L>-IJ~KHRH'ey^>:w5Cw _o}% ?{*H5:"6q)KDh|rZc2q+Z߱pJ @sV}@* wtZCihRЧHz~ OKyTT n9W&1 ŸQ"'dL 2[Kt9H eǦƦ@jÑڄ)ZZ7{^SANxluy$1x:tgf[[URBW0RAd$_6#qsE`ɨRׂ]\I ?l6O6m.#&uL2j ҹ. y0ט^#N_{5!yUNB2&4!iCz(QG?i$?`y+F},le`u:g%-| E,w@{OâzgZeQ9?)VgU Z0U$ɼir{Pkd;¨^H,γ`_n`cM\U?>֋ǪTA^#%^m-APYO҉%;QN+|zZ9Q #Eaq6 pzt"0s Arhd+ڋ/3N=qPy<5[l#FpK wQM5 eM`ԿT}8 8R5uU̺*Ш p{+dQz"Z sT@ۂ pC? Cߧ)|;ǼZsnO{ގVUIQKܞ&ƫ 0gVkcE==v`N &u5Tw:betXd_aA2Jvª:tc]TQ){F>nN"5n|E`2e D c[J7e'R/5;N Lxɑ)9,>n+E̖4t/z!D'2U.U'4m-= BL, k)(ց+KfW#cFbHPgO~ 2rG:v> n1Xʐ\FjǷWo=575TB$,S+0^,dyJ~m^$KS8t#y? f;vlN2ᢣkH9oWauΞN Ÿ|Fsfvk )LsTHϩ)ȳORúxbrT."թsy+'Oo!׵QbVݿT`kᵰC1 A-(Atg."AH]ߋ,7W(gLSA9#9Y~ecK\ əYWRˢ>]ݷA5Sr*lj ^CSewʇՏfV^@VpP#;+F/u&Q`#2}F\n5h |j^qgLZwᜀmd*FR%C4bndxV3S,<HZ2%JKék^A ?ҝвsinP02eZ*h le*s bоkEfFOKcd @ 81bՆk{ OVHȍ\)s=H7AyX۲lR\[Ri̡5Z&Z -O:*bhFF p?"PR.G2b,* Dc&)3j*ryd1jt'8@M|0,THB'7Zrk17")3A>đ6EIMOq #d=?uwշo%''(\Uʟ6t͝(keg $Vx@0KU{f};XǾ!\YX\!K,QvTᶏǻ) ?iϞ*C+rTvA7x4<^ɍ43s@GDR*Li Jp%c:֌"8&$?wnظ-SxZ ވBco\ z!Qn-zw < %`gޡH NtkQm!㶕nYWu<=x'^28(8<@Pȣ'rɗ4NOu9rH5HD,/A'* iZJK@i1hzsT6T >*qP{| ^m=dM)|!Y& =Č|veZsZ"c PdGVJGoc F{P;gk :PewЕ7eݓ/҃~%˱fqm! &n k<$ fiN. YEڽ|7 2b8m2weÌG /rfA1<ꁌM;s%q2a9zIN =QFnpnm*}ɷrN#&s+N $X~if=oxh~,!Kdb1V0r ^dq!/Txu[wm]ގ X8 OD;`BnMDeع)[h-ڬ'%{DF0髛+خ=$+b@iD0dPlsx|@WҼ~x^V2ht^P3>?:tY'x$XXgNRW[Njn]pH3s,]`< ZPzZ.("O Ѻ:_GI=ySPlq1FIFM, zvLv?!B`']Wb""gP P2I#[}#! qE WE7QGf@\p۪].B9w5݉PZt r[2-IuuTj+YMgq lh7l@nGC3dck{֬8 gZ $F׷2E3 bhy'f~MJQɞ|uLBXD'~^sN{aBYx%+pX1XOc T£9L̃+eKi<ԽFVOSW$_ '͎&,AT O]ǁp.OLL_?ScuO:^JV85bz\0|d?I+9vpwMj١Q&~ !E(?qKKEI BX. s{)ǐe.qy%C'}B^BV{<<<V'/g@E!qQT-gX+bFmخNC$^'&qKw)e2Ey+*~ EKb(-:p4={Bq8pUe986c\꿑|QTI̓z@ \@nhl&!ձ}<-.U"J%IY75=[ !Sy?:. i8Uq>]Tvt= N aFDI1#"fg`̪7u2J62a=64CJ*23Y~Vdnj~; vbF=4~EYZMyQ}JVKL/Ar}+s`0T5%bI2R桱BnxbPeމػO+J `43M~=fMk,SU:u\î{Yw%)X]?|fvΦXY<ꉓx8?iO7xyZf3aaH̩xQ  Fz`Ⱦc10.:JKUكGlr̆ZǰņHuyC9"n70lg&UVKnhfY6'e뾤ޞ?GhՊv Ck=Uޙ3j7L`(v*%`yt/gT6e(UOvn;aLn2ւ?l+iƒ԰懨k+̽7ge m GOO%=^O]<Иk\< {OS̱qU[X鐮]JJ@D2ŗXnoB >`BnxWi hIlfDڏ'Αxk~.BԜ X=HtD:!'޼haej rV\LBoXWI)[OVKkOl Q=F5kiEk Lೌ4>dY)NdA2Nc5&0&rk?{*_Ry0 3͸A8LNPx}&{vw_4=-WQ KsZ̏Eh 71:bKq#b&SZjS2yV|VeH\@2UL,'e~8b 8M83Aqbum:qZ4XhDJZϡ}ׇؓi ?˕#R6lQ_<qe]Xgߺd-tb.ުB~0w%HC 9Yk0Q>CG`՗-}7u/^]7pdճv%)յdO'S+gMT.| gEhkHU^[Qu';k&/JΩ:y*`ɪRx˨l IL&2AU>aRh Mύ($i2k~1Tė>G}ij|H`iQI`5'ن;$+C,tO{͛}t!)cmm(9D,R+*̬̒643/[6ԏbw‹Q@+.NT5A'(dE"K\ g-v}}'(mbe4co-$m$[$wbx(IA+H LYZhn$|?5蛤J^,Ѽ`/'"2ew۴8 !{\v/J?2lCq;711yW@ N@-4U h Fm?jLYou!hAYk2wn?9rWh"D!Gnn*Gn'>k܂'HQc:fm.?C@!a\;>L;w:n:/!&Mі!G"=6rj䟝\O}Q݉׶x!FA!I( R+(P 񿡞w0kBe蝎:~~ %rŊ\S}si{=3=FB?Ӿ~la8=ERAgceԹ8FrY5#//!2^`a#)-:ā-BKnf8ev)(%&3(q>`Q8ٕ./]BC~u.#`ILUqĠX| #Ԍ|*&[?@(|&Y EB6znB_N^.k+QH5yLT/5_HEd"97,7wl-{j% f2mcDúpb_g1qV·鶴&IĖNt8bðQلO{Z˙ϾXaOu5)b=Xڕh~~#Aط鵰 Xu.O L9Y-<(z z\X$gBzV̓SM7bb =.~Q еrsDbXE\A `04Eg'L%g3FxTw*=4 WgN{R6۱(b |ƽ-y޳)$1ШݱgYZfddab7063f2d094967f90a1f258fc7e74b3d2dc35a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 04e7b21fff154634c9dd375e024684626d0f3d53fab010fd57ca15a23b9f810292ab3323c7f78383