SQLite format 3@  . BBh77otableisabelle_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 ??1D T ]% HOL-Decision_Procs:threads=6elapsed=375.289cpu=1465.476gc=191.748factor=3.907zXZִF! H\]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PRkbacXMhY6_fRR = m2I* sN8@!K)Ț^{lLPBg˒ WCXvn ߎJ@52,`8 9C͌FStqwZfG03-jH5/ՄW.h9\cp5?_q$dŰ:0Ȭ&%R^fz;Bql o=8q u8w,II' ̾Y5/K[F%:).me &26Yơ~WYnvq s7XI<bO1Y@2LDgTmtLT4LU?Fe]@"j&kh¶Npw\?|ȴhϋHW|pb"M-!2F9}K]oKc BTǒs3$15^GXkEKʞR"{Uw&<$ TnCL.W=Ww4[liesLb!t$˪ _Я`hIw=6Ms;< e8ɨN[_pimzÎP;-= hfO;~*+e\^Jە[rX4Tt5 R#Gŷ4%P4jXM%x[ȶxuXXa?DfFO2cN׋&s,bXA"e,{@a~t%/t !4M 4^Tyw(ŗ _0kn6mnbpiRmy1"{2Gxw$m` s~6'zO)C>3wi}.&蚡O F1}$wvhxhu),#H;vSeo BG3DJF04c9. FK '+LeC]?Nb} ؠmCҨ g Oun[s'[;7$b33VRGğu[}b(Z QonPEgڝ\GMa! Y@쾒[RD!yss>8֨X⦧>h] ,49(4woc@#*@4s1V Pq 6Հ/n_rzյW}>_pp Tbo3e{87~jKO]jgٓS\^^'l-?̛/Fܳ8xG ^s9̴=?RDj* -]mpaL|1(aa(O]9'Q"\8D섓iqdN J|~ѾkJ$ƂrnvD[nf)L:w _8šF09֢)BZb¤HQӿA/j\HF?QGp ]tHogUU:Ug :,-+%K8VcX;6=Qa>=DcP* ̵ھg:c-K7apTmIo]mKtY.i3>>Bhަrqf\woPKY|Nь?S#> iB%z. c; 0\D_lm27Ho7R߼$2a]DRmH&m]T_@/.t*nkSܝ۶cB0R!QHVe(RFN9D){M{Xtf%xAZ,jG`UuW6ܫ0MC=D: +;3C}#|Ukdi|͊RmυmgD6?~VMFJt$Q[0&F+).]Z塢 esn:CGtc6?%cI:4։c[ZQmi@UEn*j4Y$< ,zϯ sLc'pB{+ikg?WKIo򜒓+5lVhRFR[=jM=Z0 4~. c~4Mc.D%K/x,ӇxV|t ʑpZgO8ViDuSq^(;%0c&N/F#=9%orf`L^nTսfXpMA@ -_y)ӱ~qTWHգTD_~.S;V.x YGM1J%j hM:G'Ό'hD]ue9mYEP}'k#y.ξtךk b>d|]&óYIH(hNSjUp n6bg iy.lkrYCGӴ>0VL.E(1Ot? PΜiHhݴp7[-/Y JpGb]Y%0 =z#j~|T[ADE"z5o5M`lfTGXzaMal!y]pF cN=XRFٕ9 Z8/P_…&7'H~W 14']4( (2x/<8yade-=wz981?ܬY_n?>`]yAaAE0y`͠d 9@(= 5Z/kēWN#b=e:YCClKX ƞ^^8A{7REM6rVgWc87F3Cݹ}yj+ϹF_r@ᒦu~03 Y<-O4-2m3B3im- YF3Su /A$7}ho*J!,XokQV®|-%v0PeaS%di^6\XZ5q(\.\Tn*1,J\ V̲p~Z'c6|Wq 1 HOL-Decision_Procs֑04bu#K G _`"C7U{4F #NA|x4Ǟ~#QӐ􅏂 z.G-=|E=4,(!8ݲ\YDE ><9Kt=A92_0PllPBa|"I%*C_ÂHl-W+0SuFDC+X]aXoU1 Z%~vXCψ]l-78QNW& >dۣﬔb+ԲlFHM#nDm,?1WCl:l_),VU9q){\A55R÷f![x>@˭؀_IIہ\ ֢J=HUyWb4ZT yqzP7 (C@{JR9T?ٴ)aڕd\#jWcG/]+2/X`Q{E#YJQ=b֒~A_nJ*3CZm^U4{UڷIxGn滴ۦB$87=ӄɉ@66pΧ;֦٫<r)/v%zY.a* +w;HN< -VSגԀT5rjӪƙT;S e ֑"3',ƎѼ[Z<-:, lؐW=18VCD&QF!Av2:#.U{Z̛Տ;l࿬lj@ qs؉naC!!{W/G +!! 0gtQC]XFJc#!3ɩqsKjWW:%0Z$H; 7}dYi4sISCT䕮xs|Wy.+ܤ2Xא] 2M sH7¦X#ͦ}`^_{ѵS~\n|rDrM,qmyKݴ3TnÉX "=Kl0g-焀nka|__uMj LxxC mcSE/5ҏ%jui~._GYZ6ʵ߳D'ԣ!&B*<XV"V gj9@""vxg־`FihWu`a$UTtȳŨ>HGЉZg c¯.z7>@4u[=,Q0-ڶaIzOEkTy `M=RݦCpaQ>!߮ɥjƷG]Wp~ ].\E=\V&kĊS^z] MM(e %#QXsȟp,ky(cv޳rLX!Z6}q*kYKhӂ ~#L(c̓})X,mX. g0ߧK\Q˺q /3m;}w|0dǜ'cuf-`34'?nIUu${8~4LQVYaT䮉z< 58| zhE-Ƀ'8޶}k*9+hKnHW;hoT#M{R/PF|9: 4: 3DMEc< mRAߋVtTZs|dBI Tf3|lEZ -@A9@#O ZIJɓ *a Qp vFKU7c6@uR,rߥdǃme~)>%}F??V(f%67d>%+PQznD;ҵD<.<kE8vN$uՠx>0{zC~RQqpK)"LAܔqcj 4S̝䮳8U=tdz J,c;2̼+>%wϓ3hT&,XP  D—/U˅t<{=w):7J0bg#:$>n0`/ OONKC3q㊫ᎉI|@$Qq\c:r1W2xjY^ %,C ba8::)δ[b!X'Z;~:⟍ze#nDqkCY.-⠾`"R܉,:VכEDfOOj|HpWU(~N>[+:dnQz!<ںd8VOs%!1.{"06'Y3`֎؊phLm]ܺin*P}a` 'b¨=_UQSgt<R!䪒+ߤPZ"S$&΍rMgCl ].@>RV='ÑxoN#ѥ8eox]TdzS>2c :y9_&,ӗk &Cj'he{^(sڞk@@^t'xPG3*K8lzcYEE Uج(#iW8\>?}$)0jme0L) T$.:#:@w7'N۬M|.5H~Y)I8'^S鲏>mo(DygT{'X/9WMj*wH 9MhVA1U|/}q1E'JAKq$6ޑSgYZ7zXZִF! ]>]ŗXiɟ17L? KxlWP8SաM~>fٺdd ے`BO %ϒA҇0;/)S_eLIFdd~=fxF/3Fدkswl‚]bY|$ya8xկt\Zu t{8sYqZ=ȗ2Z;1 ^@0zRWQ jp!OFnakvDHE-qynw'A`P9Xt6Q>If>Uh DyLKkE4V0m6ǽ@(;Cc^%R+LV!yu,60FyX[mp%hio7g_@77o(W>ИTz)Q CV*m Ti> .-ro> SZ8t` maK9dr JԸp豞)b /q|'] uݼ%NfJʠ {ПN6%%ueIgYZ7zXZִF! *z^]ŗXi%9ݲ1khU+,Gg{5_6`RTxn/E cۘfUVNȜD&)re:8Kg4s8)e}/ߣ".OUj}ȉډAW~vJXD۟A(\>'Py I"66vJCdEYk4p"Kl7' 5SBS ӍptoNҰ>1ƒ=#G/=)[sGӔZDtM~iʹf^c#@M}rv媌'/W _ kS@%VgWD.E .\% 2FejA+W~6N}}-'4xr7?N^fu\!5ZsYu95h|-x)1K|pZ:=b,U;%{"=͂Ūאm%_OmJ{u5$v3}!fϯ!@5d#;ϮRÖO>[e^brE&`It rjwI=q$- Zt]ڝ`v h "ģi$V34 { +)U'{և_̜mB CPbO+'An&~kj7rЩK/eKoRIӾ#ZnK=h|R c{jn uYαms5eQRo lp:@Xѕ>b}6>5YmOTIe.lݩ=0΅[e#vxLLO?+Ei`!0t{K\cR̸Mf;f edǍV@7^o >;Rm* "Lƫ]<~aFMrѝW( Slo9>wH=ckuL)!<@zr^:t^qX)!6tP*!)Rҏ+*k\U\G,&I0{[JQ8cD&OFhg-q zY!x)r$POS BLuDoa&=e.4Vʣ-2lz`apڻDCFG×u8F(VuyViN}#[)xA;&,kSؽ7,%;7D0Pz?,#vk O{:+^D[ G瀙6S'rÓ xTr<)}I>79FZ?̧EHf3Lqk+d$]vT?^AguaeP غ̪&%aêe_$\|mE]mh]ſԐ\Ht$1\6+!aT*MC!?aX+[ Vؗژ 2G!^Zd `҈Dyt(Hu`hR8uͱD ѩ-ɵ%nd trWXDv2 }:!j% ]F5l> p3d<,#g<5vAw *r Vr-!ӯ?_rExhF4+ī˸EN u﨤bk!#K7MՓ!F#랣']ePE"zmwȠä>?P:X3|@eUӺ%%$i] Pr1f^uQ@XB:4nR{CJ8WgW[lJf?cmjċ0RL%\sMWSo5 dN!OBCU;V!|e3"Iu@u*H#D~w7=$@xD00;*4ݡo9,e@K+I%6s$y}ҝt-l4;ʲBF{~ɟ҃G)6ꍠݑxY;'&gՕ/{. \l7,vjjI?eI@.L*30ޱy/n242$\U pM E?~*T⴪:FTSџ 6QJ9&LUizC'YrQ+Y yaS =f˳w'N{,qk٘;Kj+dT6_-s|SY )SKj=hthW/gv&yXƘB pӚsGvb͛~֚8NDQ㼨Vw(]*:5'OL#ܾF~oґ8x{AinֳX?2bz%Mls39}ocq}-QvwWPk@%m'qN2V=NE |xd,I>: ( $uRZ@Q0EG0'y5mQʟ-4{@H"! Ng9LH^c$: PQ֠fFNڇ7i+jnO> ƃPjg#~hIlDIěw,7Hι9m{AA'.Lj)Xo&B>_Lw IJ_X1,Q-|N6PZ4x~/`Hmi,C8QdMNrJ㙓f:PoInPU$.]{a|WƩ["@AmSj ]Cc'=nCqUUhcaWL:(AJ4eʘ/yq!QgjuUf,nΒ&m.%sZ\1GRH8QfACʺ4c^[Fbc[v&XL9 9mEK>23ϊ<pDu$b5~*h>:RuyR tz۹U>Wj[uM({';i i{"Obji0RKn/V~ "@of}D7i$=(XcNG2ce L%p`Τ1):m&{a0̓}`L ^p.aig{KGZҚׄW  Vq??tߔ,F{o/&`P*>AAP|v֨)8= *wۺyz)6#Wkdq|*-.&U(@7!-,E=G3v;WM'9y5Z7)ЃntZn}cJ~#<ꢲ4,%+< kFO Ė_5!V:{8 qˏ4EHN&;]Ӟs2==Id}~u:H,7z7)խ.GLPa 4qEݦQv{T>w.a.p6i,~X qAԧm::jHZ$ k.FFzݫ "# lʽ&r< ځٔ0$1 οnT5GFg|J:IH:3 ^Z;hW^*\ 7P[7vbp{XS vȑXc#c B *Rݷ8.B,0*[D"є}\6Eꑈ$Ĩ {Z󎥈`O8,=HSbn a׈_ZwiFO|`n.[p4*n$XFٜPÿĸMQ/SU%+gfNvv4v5$jfߟr4R:`{8A*xVus9iЈ2V3BXɅ#:=3{HF~fT>9;{ɹ1;"X8 25KUn.EH)2 E$]t\8n1G-ߦq%Z0;Zϛ"BgAhuy߿%jyNHJ`O K4 < ޴g1qAcQ\y4)O$[鞸Uc>ۼO, :,|_ZdOr_~@${[rMhڠ1r#Fj|xs5[&˅,X|9VK0~$ "BtAvKF;- eyUfc4)V ziGoV[}yVSTU zK7GHpxz1P_#|8%+2t̛WT̄޹%9x ;%JE`A~(&%IdnAӬ u!`NrR&w*URS) U%4 l@3܇ÚkD)6U>0Sq*u}+f~mR5Iq;%U&kSamzX_7`ZUΞ_ *bSJiY$GO5[pL 9R5myԵt84]2c|rNV~a mnjH'!}ܮ /l<VDc^̿2 ßpFvIbX IEql~W8:_ .~YfheNyp?v3fm|;/De n15oLO`t2v}Jq#˴Als-pltH,*i.@lk#<5i#+t5E(8`O{Mw'QI.P-煮vl:ۨhmE#g<<G[aedIXK+, NòKL` ?)m{{ \sKwiAPD۰l$B(]7#ohu{ЎSvPNbGd.#<ʇs;H->7p1N3~PTr0>tL@|҈J5jFwŨ0:ۢ'*m;r64nL/_¢Hڡ7Q!?+L$rFd smza$e2ڞGTKe^]aRa&qQW9j?԰룢%lb*mzFiY2 P[BvJzl,wV;6bS-֎)E jY)ƦİXr֧Dþ.v6wy~o|*oG4H 93=ʷd8!;K[4pd'%V SHuG׷ a5Z?@1$'@=s?L@F-sw3K,5=ɳRk|2%g]ؗDZX9iVmn7k LTdĕrK()2jp5*p"+dOqu3_ۡ0Tz:us]%,\`A|_F^A@; ɧ1ɢd$?AwGE^CVEvi[6'gKC; ,h]"U'd&a=rPlƱ6d=E'B@ OJkGj~U,X?𶯮]YR.IvfUKqaoODuO(]I\_{a6p 4[fT xhZROa32}n,L 3:P鐭*[Iu^o( O3}Ү8E,xJ s /3fGNGo ]fã ^uv 9([;X qlSc{Ryͣ;l*_S}bȴHb:B[0 aZjMY۸89=3{м$Vhl[6fVݽ}v!hGʍ ͱg1 V)n cY9BD" -9UL_$ hY=O{@Z Za/leE<$Qn4 i=0{q>{qO٨zdsYvVA*I=똞d<x{#g^g{H̟龀r,psǝ #Vj;nM=z .QQ LWfVqb.7-(? ~Ybv2sBUٺoąx435Գ*ݫV ]8TʪQţ LV*܏wՈf 2ch?hm.2KRݾY}4nyJ'eˑ5Dk6bAO@G(Ɨa FuU(N] J,ڂN *(t)6)v@1dq+L;{Mk%0b : ]&7f;#Jf)T"_J-s}ޏQ6DDX>=j#IqDI R[PtKKqR)-=6;lty޵IwcZƀO:7).gLz1h(?c!j_oH_]iuo2y/;8NHANJJ8ɕ+ ԋ@aT ZuuV%0`|xVɝڡqs,";ZZEF|Gk%;1DЭ*E{q"b{CFB"?eV:}M"s-jDvd~Y}cOfpsQ66j;V&Cxx̄^s ¿{1)$s&sN"`b¾sʌP y;֠w^u-Y\KDw['v<:-t5'ML,Ҫ@2J `e甧A@e2Ŕndžk} T:C=xUH7c#όUZl8?X^o` غ4@P ѻL->phCy8.luA~l4?]48]Y~P1_MRS{F_\Hie+1}I-/5ٮ8DZ#X~{M nvB MG 8E<#K391_ r@LȘoڡ;fßz~)zd*铇3n(XgLw[#&_Z/w^e8#&!C/j"LzTXPpԬ=,i:|[(j5eQB;Y6d+0A-ŹtHoەo *oL/Xn֮8>6N%A0SR} eyܼC;G<˂eA(Xl~  U6tDqć,OrPh76,&@edW4a'"ھ]tAyX V~])G=s\\/ qz^m!d 9 'V_]ۋD1lP6*.];`ŨMԪӇJ ȭ\~l0wcχ?Jկ5څyɟIqm8&SAMB11ݏd_Jگ;W 5~u:5r"dnh( OUVǰg^y뤔R,@Sd pa/YG!&X\X ]e͹)y|h 3m("ڬ"KT!Wr6OlFk1yN@yJؖ~/*Jwcps'-娓N>s<tғfPKDb :\vr~R5>oH~͉P͌ƈX918Ch1o*m% @c1 v봖᪘99e^ɞP@m0I("N~.2}iAxwt o;FtG$Ԏ3{3%Ϩ7%5G Hׇߋ7fbekV0m#1 YH/" F;6HRQh;>u2K-舗r -Dd>F 0X?ٳIhݔ(υ p&pup`Kp%4 `ΐVvebB#mfz*H PLf$Oӎ&d]=PUyL&=\3Rňe?3V>! ʌɶN մp!J-`M{{`HؤZ5Awc>vͼSvdhڃxݲ3iQi5t7R&xqrIw4W,5hګklqZ=DDe08짚Qr-6PjB=N w+2xkfy}F)s߿Dg?/6iMɴI.VM̌Ny\ιKP*Iy\c`w|zmtWb\ۻ gg 텊x2ECJR@mLVげo 92; i"&zo߹ֆJJtngŚY*pZrt!8)YG]Jk+6y,GC ~*Oczm̩Yhyڞ$R[Y"|Ig.b:17r;i#%P?:@/ ;-̉[~^ifn;bG:,L|$4,.6 ReTAJQOWZ8"BQ[,X#`Pgr0PV:2MTڡ%Sŧ!.eV@%:B7M:l#gaF+7LXGpI*@nO|Ѫ}i>4 kaƺ3o"y!K{g[ ߲M~F~'&pw- l%l),YA P˜+WWmd_K+?.u@`0zRV֣eWɁK+>+W**,VҒgx{va~xFMњ aHɮly-X'|וr8݃|;[ fkNwQm{p] <~̘NorS7 o{IV߹{iG".& zd}B@v^cBRv@L>XMٸ%Mo# H;o `g[dWWe׼Dޏł3JJ ×!۟ PYThfzQGDmE $aLXq#հ%M$堶E0%G6Z_x[=">Vs730!W_IM.5g'&A 3X Gęa T[,?9͵O_}}TY#'l!D,~ ?m262ڤ8whF1.6>a\6^F4U\^. 7f~ S-K$c-Տ$!tT=:+McZ2>V{,X^ZT`K5O8}0>$VԙL#ه'#3Si@l.,F_pC+:ZHL"$6X?2N8rP{U kG{E >RրsAJY!^qZl<ɻ鄭m:eOW#}Rͽ?Y>'Kh'bϊ=O.0~%zX4GFGon.c-վS;{Ylyߎ|pC{U/֌GrKP-%j/}P'kE{{!TS@E3~t$dBe2x95jNEGWn 9Bzf&VC`={Nצz!*AuET' `]" ό~2`[?w#mgۤЯUi7.F1E0"TN!?e\n hށ‹3'NZ0 8jH p|%z 6nfC\cpa,N&u̵O/^VcY`];d!veIg+U8G`pDDZ`kv!qw8+ Nr̴34<] j4tQ~hI̔W˔F脸}'~- t;p>}pbo1Noөs0T) ߲+P)i^|yuŽw%% "u ,egz#}zU֦K Ď@fÇ$dxOd4~]y[SЄU;UC_Pa`b34ܼB!\ށ >Ў;zّw3g8NF7]z\{%qƘQYݭpVt_AX .#p W鳤>DHrw>սFO!F][1 .pHW سSZ,kͣ<;y/1Zbg_= ]4jL9%U5jz8BY\_fWM~;>E×Lu9P|%uyM[k&R9rI-/n4\We= b w.qK_҉YuN}L ny5I͡ҸfԾ.@̈b -{- FU묦qhHظ=I!=F p69?+_ F W=,(2"2B$fbug&Ƥgc$eˎVBQO8~z܋w.æ:gd Qwomߛ_ۥtG+ U}EX2z9CH$'` *}KiղOc~f!#JgK*W zfH*1/v+tߔ,%^ CNQLrFZ•}WU:1/~DOb y_z!=r_^搪,LnKCLOɆO6ROV\Ky/OsX b+FHUT'T]( iB]& ߾*K;xn ]0%"2woHsRGL7g[5X!ek#LO0a-3;3V.[-$ۓ ENQ$7')Z'JbAhH7aZomQMq%]/S5|)~\'VIQp:(,6w(`i0hGԿGsj }@"*:zK`G%J4VXKx*RXno4M3>TN,58h)7`M_̠̄0P `fEN *p^{Rt`g|i~ܦI/•6 KMD`, 9ɷrz/9 Ѥ Rk"8'۠{}Vɯ 5\7UOZcx .2j5j!ͨID >vDFqGMG{߱)a =/n8:aPQ@ӈB ݵqp˾yqr-2&{e^4g/у%2t07WMaVFs^reA@K[]G"V&,N&= i贉JDUKhqHO'YBNA<=" ~v?ьNQ;HM< ̿ }!7(q &8hk&j so jpaʾM{@9ԁ*ւ_Oб_tJ<JGˣK2U}zqcSJ@o ch>+A*߼Ӳ&)N'9t:BP#l9EoL@ESviԕJ!06+ٷz3=ݰ1`^ }-'lm\-z>?U& q3VW2w$ZXEŘ0=R%<@o#g ~G8`Xr Yo>~01B͒ A`|Sj" )7 <;RˈRQQN3_DJ`^TJj,j|͛p)UNQi >ł-^[ZO0rJJ!l LˌO/MVVx¯TK f-Za?v#|UNOؽh` a ܂3uqQRVҵQhʅgz3Y;T{$Ԟ-LDY5ǭagRK w6uN Q >0E>ÕQD/w,x(.3OjpP4oI:`MQV@'Dw*IJpv1sn myk 02&*v~V Ufp5^ _lfp3kjʅt&sAN˧,hL:Nw1wXT]0z>ёFjOx|el8]xT|:?.Op˚O-n)q1m:ZBdc$$Ya!$搜r8;θ8YzDЩ1X=Nh*bRByS!=»ǚ^%᧫̍ФnO9day^J͂yOV[M@ zpaNN!||,&f~ͧ7ݵJ|v)y mp _Uu2s;/nO9I,s1F`:8]l [pQ(Vu:ݢjc\ }42$WLsLCQ*QV;A{pğ,bWȻGuv`Gx);?L@kԢym(=F$`N=i_1 0*%R&z%pnщj,J[{Z-/w ?r\f[\1fZ,zv i_LyMhYjCRVƷ>ͳ;XEAeyځQ{^ٍE݋{/9uT!AWӆ`=xTXjOFf8*(XU,D#O;%l6%[]uI ~uTa"X77S_ND-jSuFvGbk $%5?s>eX"t I ɝosi`ȵ'\Xt4 rڭ2KiA#dXL,Ǯa^.F9`e7J)A3.h(xBt|]<4 ҇ewȕ֓j'xz?AfFa)vtfJMF҇۲="K@aaYVc @OFG|5c/fTMڪHހ4r_c@qM_q$\41j *)ц ([~lp\뮴MgRWx/$ۂ$삗ȯJe:tsD="3A6:-ٓΓoK&`cý7/>hQMW䘘屌hkVUCٛlHAsndS }sd(JZN|I=l%3 a~%pOY`9LB~jlZmZ15fx*qyԤu9f:U %٫Ovn)|Lzˁ^P g]K}s_'S_JC 4v Gz{S_]"S5og3{jdJb'{3IL9ڽKyG@[=)w쉒*l Jy\Dk&9|x..#y\ Дlf2##1_YsNH P #IoJ3bWAQRӽ-ry 6^Z5 9`8*/ .دMڷQW~B,.hA{?z,}~ >)/Ku *)W*xKcra`Jd0M\E60\X5! |res}B۴jޏB4IiM"(Plf6Tiջr'+tf46 h+p +SGU s{,E MFԩ]@-w`)?wߪy`׌MdiAN0]Kd}pp6f#bLAk|?b %>5Z&#f G@wG|ly^q jzSc]φV11>moe`63W۰ M^Ń4BwKZ`~ݹWn>rk`V nYD2tH>"ply2"۲w+V dhyi17FN_n-rD Z1xŰ5K-@^s{AbO)oZsZPhݩ\} }lj\mvu9egGYZ aZVA^ 2D~ t-ieB湓Kdn-!`Cލ+L qb3UrV}Vچf%bS-ѩ{pCر+4Wsbʫ*,: ro6"hPCmE}G)ze0 l J k{ ;b3Cԭ-02I~&&͋-yroPcF9ՏZ oZkB-NHM3]Sؚ-CjheOѲ&hK*BL]Q`.ϷTd Aݼm8ꐦn|=nHdR=UtR$ A(| Z&4x.P٥5J(v)[m1L3U6U[OdVX et-][XhJa)&Kk&m`haN_M6( a[3k٣&  @iӯ-NKtp~N|N #cskjU,ĵ3BJeS3K;'V]wo?vq%B{]h8B*!"J?M^:Od X3P@; 訥EWdCW*:/2~nЯ'{A8ⰽSq/^ޛ+1"|v4 =n{"`Sc[kF)M$ lz_f(_p-1VoG} EDIˑ& 6qki_&[6Ewfy>u(07s@ %< e-23};}gO{JZ- B{s>2rMEi?XPQSUz 68"1 eU9kAx@O. ٶk@iW[iF%{\*UQLW[uPj+T:9\@gZg-+ܣF\yE~"P 'iR%]竮XcHtDk3+bNs *{h{_2& ;G!UW E5}.wn̷v-Mmځ'_+ Igg|Ŗrsl;-]Z9GfN35Za 6fD"5(}F&]!hIlԴvI^M|Jr?i]zWUm$O:ճ>LB(b {0i!}z[M|۱~yN[$ؒ&#{wJ|UskŖ)j]>!}Rs}3[z#[hjbILɱZIyҔ8Xфe9\A @3üADOݓԫT;F'9vpcv)2Mm1;A/Z56*r& ,S~"{­ $a~+8UQQHx}WTY@ BzIީF]:GQ&u6XmpԱhJ[<y;qQMG|=3%)@+}1p=OB1JE?ƕ*h &K`i90Hb@V=f7R+.Qғ3F{4Ri.);T?Cw/XO\| yz*"c"uAτn0OU 9M:˷2Jeg#UE@}6{_;9]2J f0c;]_"_H~7S~% b6r)u 09'Q⍋2%i)S(5QSK4 Q@B^۲l .B@{?L~(dwdy(}/ #Ls$7;&(0w,\j؝m8_¡u WwwT֦UT ՏX-/*8&RȞє~5)ubp^VywA!Ϣ5+g,r peHͣF+rrbED F]/yFUF!@ڭ2+A,'cgd )l )sm\ʰ!=Vu%9Jn}pU3+CRs ۞4eP,åYwZ,KG}ģg]ЭmR1Rg`AGy Fe|,UJŋw"v. HvC+L+%Ǖ~7y&zR&%#?hX25,6Uv,5 $n j0 I)($.ěLFx*lzi^W9E4خJ҆!t0_s-uK` =`>61\ 1Ja/b_'$\Ц@g%FŇOEbRf?TJy m;rk7C/Aտ4J?Py\1?b(ڛE :褟FB6ڼR8>Wz9%D]G)C"tB٠@ZGV}ٱmcB#.Im&CX.fĭtIPlv LMn0x"1͟R3}{Hg}vEIs\$8gYZ814f4141dd23dde05bfbc4bc3bf4b18e4319357851dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3ab 6c0f34ea0fc51fdcbad05b7638db01f5ea96b003 b41ec274bc61c862132dfae481310df562a5aace 794c82e6db29eb6765972ebedee2c01cb7aac4d4