SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ggm) < ]S]Incompleteness:threads=2elapsed=674.861cpu=1065.924gc=16.748factor=1.587zXZִF! ]ŗXf1-/6vRZZ,}ūG5m&:M+Ӫ[F0Y'X p~`_RBe8|emŧ)Ljij2Bde ,-O  ` SɌ>Czv2ýrU8$e8Vt2s仠0]osw'hXj|+W@4^,gJ9 sMZ`O$Y/%eְPpQ+-(5q宆' S bSZ:)'[K5F:KZvg)]rF !^0=*A:+|SOWst[;A!ٞo=:|=B )7u9tQ5'³-μ"B_&L&!5_} Y|e9>w i0T5"scﮙ``y89ŷsL:!;ڕI{iS-<N/JW38/+Z8(zںTE4bp:=\#ЫkJᕋ%wlARHs 4삗 aoYR_~ٖb{ʴRی$H-uaCZ$ª]\5D d~$H'r@^,ex>ˍю^㾵O!rg}s]Fp A] zka&SL˨ mLЀ˱9_w+'21)^VƮ ȖboyM--D*,>a3Y.uKm ql텊t|@,ђ:\ij5 *[ir-}lyވL]UUKb| 4^>dga,&b@P] ocyI 'BI*j*U P ħ`~vV*V3ۑB8OQ4zYP'zڟ$L!+1-'[# |1ؕj #t ) Incompleteness%Xeu'o9nzm P2F [L&l>[Qni &45D0oG]݀$9`}=FdШl&(B\#,F(z4k4GBCD7ȏ& 'y\Sl9/]8+n,̏-1Sܟ'66ML ڻ$?$m/ !mEڞ"A+` 6CLjq5@}2hgZM΂ɑVGcw.>iwg#*ucGH$7c,ڏd3@{&6SEk] bt$"Q)Brϖs5`)#%'U!!sv͕C74i)sqhb[ WMq?[(4ud:ǩgrwx sm!$^z(1&12Qy]B9YF#2&QNq,?lBs'hKQ|8v%T5̒ژcΓαF<PX7cz! 7/q8)`YeϧFh%9evۘ G FR{~֒ !np߰OOF˅!'06|qCiWD/ p`PtUF~"(/\ZbA|52ƨZ:=X"\)2KBQ^{ZqxnPܕ2u;?֩s pgQw`O32^-*r88GtK}ۿPn!S"olї()`~%doeA_@bĻ$(tGz57VYh}(=lm4a2 œx.浫7v3F*Yg#1cfD굫1O)iyHڤuFsύtSޔqͩ 27DRINevncx?1'r$Sݤ m/}ArYguu˅d3 PD`5^32p6# QhEZ$?~++޹ H$0|KGУ*78*"JeyY0?gͤ>>v.PJJ#dۑU5#/h8a(S)Fwnh{vdp&4@DڳCP>Dž|Bj?^}KdocoMW]_k޾9Wp+JҸϹHF2NR2yv՞<}Zw ԍWYh+1OͺItcw$zaQdYX\ H9!D ݽgJ4c-zK HL8@vzؿ4P/Gyw߬ /p?K {FTuy%qP>h6L`L'Jݪ`KwG C!$VC<-I8<%0TReBG-~6a1NpnJD>x-A0 { #6wp/gm#+\g.xt#R}c3̣"sgAn9 { PFf#ef rHt7*;ok!fo/Gt=[oN/SU_wTQ7Rg'`< qD:sb]\ʲb&L'z#$"m%d@)PN³֨몃TLNW ̸##lZYx!ܡj!/϶@da<`UGy Ao:#a_9OK;A0K3OkPsUuZX1K +Uc%!H$t?ć`~pF.wS+!{7Di/(lԾ6okk ,r7.K<ۙY  k-aAb2P8XU5@R6jO H\3zr:~&*("wa&Bp{SJ_Vk71I|^& B3|k~9Ա_~2S7&jn( +dMgc } :Q}°IT9U>E(đQXl]&S >LMgIFM?ib$F8Q-;I2Tk6\ %YwG7AgùTM>2Y$br y$d-:IAq:ai,[[k(X}6FBxk I*t-]a oB4FXQNE64po$SP([,tϑb ??5~п,XPJ>\Pk#}1f$R'>OlQᯱVjgmHMmNNXɣ9Ҏ*Ww:ؙC8ӽil-Uʿy+[li<" rbsb 6{>i1Ӵ =4,ݩn!oy~$ţpY+,yl*3>̵:QZ f ~=nB0 +R;ccޫo0*R[`iqonWiO*!6Y\F*tPXi*w*oǞx#I823f/dA^:.>35>2}|ލ6fHI.xi_ptP_X&s(ڟ9ꃬVƕb-,ҁK8"6Я-)UĄxׯ+V?/Iv̈L 1fxp* u\]߼X- KW7x?l=Ž^2zR^䒻* 0$ Í@=CAaMN WљӘ?g2vEt29֤j}8vnS.ܚ?_.|JRk+ >ϷO#5*TI%NU[µ|픸l %գ+ ]^)m+b;@yx vǔ1mZֲԑ,ׄh>^:vDl5)qǵpg㘖 fi=eFF٦I[vO< |%\Ʊ/HqrfbqHRn,fQa!E\bt01uEcsg=Vg8ӭs'Z[GhH~n`G8/62u9jV%2%ڴP`y-M9j}Vo{ Ϟ[g?gzϝ,9(]dhsd݀RlW -&$9=T\kҼ=spj8qrֳ~2j^S/;Ie=sĭZ 6Dl(r}alkȽ 3nJ\F1z'u):C,.F.ah ,c)QU퇠z^uij_"s2#Y _`c b̵ |A arBg+̡0a4BO[#T ޏBuit@_i+g_&4HؽWwJER48kaԈLsFp50,:jaX0rkfCob<ʑ3c%WDޭ31Ly 17E?t,&ӉL0MC}V^wWkΊD  N)i pxeƌ<=Ȅ0h: w: 5OrV.0Ee^*= x02XF2 HV ɝo> h1CqCawo*.^i5)[.Jݕ" 5@)8w c\_2p'"D>_Vj ZKU{e9rMxmpD{!C6Y6S"Cel43hNQn.^S7 b%Zi,xELkhֆ8TX޻7G:%gYZ7zXZִF! ~xy]ŗXi%6.̒{=+&V &i($6: 8_? #RfW}<"  Bk -{ $K3RΪ=4a4r llMY?R-%Z98jDe^Dq9-l'~V4EMA,ja=Oz>TȬ*%MUQr H] wʡcҪ"sߤj c#o[mT O b3B'0>;soL\fhfXd6ȹ@ %@7xV_ŋ] rp ! Ró(3s0b8Br%g%4 r䆲jXO}l0``QW$%&#}Nu"3}eaz|PY;[4/R'}TiB]S晳crA#f(?u\"fGlJ(+1KZtsh- Kۡ6'[vS[AH]a i]9߷tf4 : W> co!9 (7%*x~oYys@*0raD~w6:jS)b"’L爨j]ﱍnRxLdp^9*OZSkj[;s٢ !3I3a~-+3unɗ-Tl ]o_ZK/á(椑+^N>*Mo+̨u!t3p$Zk*'xU殇5]ڮozb.z2*Bƻbhj:WK !eOIlCe C%|,Ba*FS^xMt$efE ~@X=JF1b!'[!y~ Oy6[sluԳ>UU<~ΒǚVav.Е׉]#vڠc WAh;m!  O|;  5'9 1"̑P-H+fe.˩dȣ'"輝L;=FhWY\6UETttß}Q4e$V}uSUyȧ(/S%1S¾ɁT1{NqIg"]nb,҂{NYh }:%^٦Z$K>UR$ICGCR_ʖW<9f "!:xL2taߙ>D;I]״g+\* Q&ItzI˓s#t+LtA#1Í@!5۾:8HG[b tW̽%'SR+\.Dž6_34xCxp, 2[hXSRho.=mWqKGAF7~ :s"mۑ?$WDM<Ip݉(d + q/*]5'7LF*! *FK QҌJݡΧ!q#l%`r%o{ l$2v /JY;i"3m'l0Uoeuu4DwQk[/q:3gniS%7r9&ߘ 3f֖5 -R Ts\.[3gؓ mdc`\5yi~K~`a(!Օ劍K}x#C'Dy *CBC_^a<8qvJ|%d3LoB2ꔭ/M]3vA s9C7B6G+ngJ"246u}XQɱmOtVyl}F\}I_(3q].Q LDPۉ3u/K k,a9VŁRDz>u K`l0b5t|ZmO_=հwYgX\`Y+uZOC?5ؖfz6֘]4Fq V>gf(SO_⌎y7\L'#FAiteGIC\ީzpdmszP | 6;Y]JjN C+a`jL:d'mQ#d0Vܚ ZzfxpbG1DudQVM͚ v '<6L|ꔅ'qjjk U|l캶orxwMP eul.6mW.نZ⵹s鹸E zH=gs7MӖܽ9PO_bJ1bo)[+nlW.ML6gtaMq!!^ u\ B{adCޢ/eρq0I~(NQU1 /*1ow?> aRy-Ÿ-PH FoDؐj=$u B nER1c2{iLC缒GHe\`uM1!V(x0+vc YʇyO]"AcTn/@9tZz0Ҏu2pm}te +`Z )_|7wD]To5Eqs(+$]oᒨ>' <}(+nˊ!}|$.Ǹw`?d?ʸ,Hu7x?VP]EWƸjiυlXrpR0kK"NE(.m 64-ЅOTS i\^-a_InE9 EX:J^@1Sv%:Y"\4|;kT@a2kX}ab$ 6{/ F?aGy>N9}>9~l+2 >>? oxx=hd`u 3˕=s#L6I/ӎk^?܂`0yGPޙӸ)TH##P(|h\ED8X8cf=*t/X[d-{):^ ϱ#AXc;&<^YXMq p`U1a21V Hm=-xyYjj>cW9Qut{dV/ﰞQ*54nغB\8΁Z=e,#q0ER)3e.?b>+Z˞䣖錚h1eG6 qf4jiSu0W(l+{K Mk H`xX7YJc-bjKe+Nhp>+6lwV6Xo+6cOOzRFO[n/=9g'}`/F)ٯLɀ.1z%Gs#|{WpIv@Dq/<6'ÙDmPh13Jr@ZA"rW۽i?@͹!.͒+TivccUB{.N7ͪ+Hgpj {s#n'e\ ( TXA@5Ҫ+e\ x |^#'h:GΏeHId΂C҅MSLHs*sX29Euj2jOׄP::p`󲎘5Er̳@T͇jᱝ}e"!bP~6eF!< [{j$ i.XG14>xF钒Γ¥`Qέt!`pCj_M[C}Z/|vAHe6U-=+r&yi&A"-aCHCdȋf~%x>ot2.\[Ut|$ҝBÓk-~W+ͻ|n$|;Cs-|XXZHh g?)ucyNʩ]b?ItH6(iQ`\9 * 9-& .9Y8L5J\&k3bcðc0┦'JW];ܩjA@!>1@8Cw:6Enw$PҪ{JC7s8d_|HV4 aRSjbH`v!y֌|)ywQzzTR˸4Q 1Mdƣ6]OZGɪ )n)H?l] nm 73:s!Se` cW8^Ec > mE6Pg'AtŎ*\Qk6!n뚇ŶxS Iqr %1=ݛ_*Rӵ Q">L-HSx)#vF+s0EcWxdEsc{]Y (r"2cgUf"Ghi5U#D:r;f&-b̛nA 6S#bgorS;R?,;GD1>1.I]Y(*XmhV9J6tQdז#5}sE^PA2ʜd)1=&9 ?/2J90VE 5AXo=)2srTj1^'CJv5jә]R QoO צhTVR]{SΈ}@2 {,e 3CeFE|lr#;d{9dW*aєx̪{/_@>YJ9+ A?jz$%lcɘp`)*\hꜵ`|l̨3|Fi\;fIrFJobS 'WC2SP0Z,hc .IG[p *IO|*UE 7{ Gr!)ZN Vwu"{ƀ͟Giȷ^ 1Ͳ[` Qė~2Pjsz^cf [DFwzg;.7=' 804&>`^.)=N~!:yS4s mmi RP@Wk ~vIy3hX c6jHz /Dz84`Ѕ>z:1 4]LhY#6\%V@bd]NB'hpCI@5 }8'q [R3^KWS@CYB3LwDG}0#*D-pr*px8ZUaLSZhbEOX#|?cYI;|ߦ|1xDPҌZ`d"bM4I<=QX“$z~~8̵:OLlnjL_rWwbHhH9ݮ/=EE 3p Y2׸kzD`!; J0{ԩZ*_-AsZzHD+/[1kb|/yֻ@ it݇3Z?e]䃠Ou%`szj5 yRr Em\Y6/k5sl-1_&;K%>fDб{V23fG|@ 'I?q1Q{)nHPȯy ~~5mXr#ֵs[kجtMVbO1"4Ж/FD zR?A@$K^yc5~Z$TQzѻ+WW5ſwV^ȵ#U1gݹSb){F*ȌPd_p2t"4r=եjm9w/%cN(l_VSÛ(LgozqGs6+*r.&y`r)DSQ.4R Z':վA.p_a%HnPh˼ģi@X\c{]8g-kw n w)=M¥@…Z/֬nǬKŞ.q6>ΐN< #OYqbCn!iEW.SX{OLr!6T)V(. ePH:'q3C8jy?jߵ\PC`&Xj;!r8|Q|>4M1sQ vլNI#NoX)?jFKk &Sqv %H=dgT@wpR:6]ύ2%Y*Շg a!=+_hZ%\Ӄgz3dƖ`u`5y"Il6#2JD|wxX6{HnS;1d2!DJȴ jZz~?bo~l_/g_!=Q)beRDQkY" @^v@A ׷&4득!cO`O2٘:yNDjT/鰍V Z7Wq@injCJ/zc[+FlPa0s`VpN4[y}|ģ$ Sf'ɒ?%ө)#҇|Mt&(+׍ u]ίm+2SB Nȕ+|$T4BVK@DtBYYyeZMmٙtּyVQcf ~e&Kn~Ȩ⟌͡SRSAowx_p?$>ʹN&qMPpA2GXo$lAOc!41V<8Td22BF&u ,Biv !i8!fmt0(d -CdwXCZ5_vERBE/KEy2筹cށ 2n3 ci_vc=?onPn ?]. ^-Vp~ nS VX!i3ϰ랦yC z9З+_1ƢPW!ZYZT\]r5.=+7:[xPf I ܢ$#Hʪ<˟ .Th,vH뫇{R6y>ޔE ")8h?q}0r7jqxD'.meR^qkjC ¦@ "#6w,<#_d+9miI{$u i'w\RUt) m4(E}$(Zg;$㩬+@-j[m "h*g2E?R5>̮%w/Oxٲˆ>w}4`<=ptT{j0E7%핞<o:c7bszd5;5âv ?:WT=_{T7:yԳoQ*[Dž:8f-2"3DM,QV!-p!7Z7fz` ;.?ߚ/lɯ).(㰬QIg.A )VFGp}nV:m<@MQt0vZ\iܱ5-72[64. sy g-zsJm*HwI7]"wοZvf"?r00x>z@sMLPlNpN|ń8AG/f\Yi'8uj;I)u{*3w(jaPtqZ ~^-~c5c%Y[ }mǍz½V->Vv۱hۃL;/ BKTt΍~n#n*.3w18}RddGSf)؂ +$Vn~R#c#+J*+ir`Y!tXp$ ŸӵsiiE0sUfz׵R:Vo1k_ic0[D!M3I̵-յEx hJ7{Ѥ4eV601_T@/KG1bB"V 6^v ѭŭ# k-M'qC?L}Lt|R x> .A̸0f~о-ȕeկ+V"0G(t:\=ki结'DDKy]4lΏ&I&sZƄ2'JH8 kOk(嬱#IiLMjrGQui~:qcN 2"Bl@2dw*ƢÇi>KwSs'P*#0w&r4L`M~N5ֵ4DŽˍ2.,4{[ZnPgm .Z>i܏-m_Ca}xE[ Z8?`[[iulfVJ{9[ }k舩(Y4Ǝ nIIQAt%xMCAu^0XF޹sv.td'+% 7ޱjm^>I2F0fIWF6*ZAwsѵΫ=/+G-r7X5p rd.YJxWd. ~I+`ӥ6*GRAsׯ!&1%7Fz.Cd)%͗TJq6h=Қm]s"V!<[[ :ѿSj θڣmUjՍR"TyL9%szWJgb.(QKĤN4ۺv9NH)~0w$`P2>c9͍ߗ@P[]DKàz.h;hQ/x7etL:EuBC~f^#6#cA~[.8_DICy3] <Eqta*KP1^Ӆ4!cħ mV df-ƚnHlHAʳ]JMXDtݽ? v+E5H:W0wBO;foR0iAp;kc& )-z޲4yjk;ʌH՜kq,0XN :rƋ I\)M!#6 oPS- (c|$(M_1,z6ޞ!=u8=uj`Qؚɭ#CR7YRo[Jss|,K?&+ڰ_)m֗;>:*n9U^peٻد˭WV :g[+`U]}SX2zpv^,~D x1 3P.RR[ynkY$Waucm;]WHLY:OR*v~_O%ճ6(JY W,< z[wpʗsIr| /E'2o_91)Mq̕NUr.G浞E%8o$R9!,3>swٛZrf28DA6a׊Vy&ܦGY~pImm~uau:J 49Mie:6 )BI// isیv.2-,ާIjT>M`;!aì֞? J%# Zʹ]hO@ VWi|5*}4`E~{u9*^K@ы[M+-%BD|]y pIijz}9\T$45xtAAt<4xU=@jm13R+7˘ݔZZ =ʣnU}TIn/f8v6|GzsO!Д*0%dN<mٱx:Zّ\ {W[Z6֨NDѧXqM&vr#./oE/%0{z›N;aLaKA'I,m0"lPZV1JU3JG+4]Q_iWy߽X:d0f G#?v@vͻC}Kqzf)W!,p%uJʥ8@kʮ4ع 4wPc5f,ܰp:UFmwP!\$vSH ft[1{碿6C_vVVwgIJy$+.RD 3w¯&z@6  ;gCy$u~Y`~yֈ}a\>t|Y¿uLo$HpbN0I1G͹ yjEG8Е!*\˄;Vt2,~!{ d('A(y\cUfE, ve 9;a5GJ3|ܸ [HUх\| ew Upv0 3z =|F_SB>?h&kcKNnqK@ldK7k#GCؖ1BeV/&omzI{l |Rj\gٶAB2LgDfҵbI-yH"2-RonFww3w^PWYlߌPe Pܥ0Ż<ԎvMNc;]>\W?+Vt Rr4!@*KR^!j?vٽ{jwM<{k3fHhј#niPS9#xdd(SJIqqLӲs  ԛԎ~Iĉy?Ð̊0O&#H0ύ;*F(f6vDy]/{/Hm>TFv/0# 6{9;( uguz} 8vq'*[M=+@D6y?1D2u9?ߦܹ_9~^*Է6H $o c7@hta3 k= u'AFl-f5b&X6yfd l esE-q גr_ԃHĐu^yl o!=id JK<ک@[:B^C!p!lQ5 |i3$D#fL%͌vJAbն f:8#o>L? CN U".V jc&Wb%gy,X#st#OZ܎Fɥᆪz͊iV(ZL8*T8ĕ~E,ɘ-.FPFؐh:<٪aAǺ P.MK 26QH3?h"@X"SyNx@ƲowPfzKe0u"XY'Ybi2\H:LᓓGUڑ2h63jPma>Ie pw+E.XvVỠդ9ϒ*G ]gKsi o ZkZ~xTS xGbv P[uRiJ,Q)A+>aV@gLh 3rS$LerFXur\t+ rZ ' ?5]f'ۧFakً=Fh줘bY(}f/-J56n8\z!I]l_EbGW =zp%eSP&Y ij՗FDR) !0}.@;9^7):m'>ATev8=]&j2OVPtIpPĵLVs^ts9˼+֕z?/OFS %!$ZA,k$1c_{elB kinAMJEEGlŠUke'8-]5s:9KK2豙7՚5E"1LVZ6!V^^NIYПn Zk&"t.ny\)˜VEVR9RZ/{,ȀL7G,Ny_7tWIZ-+t]evJu6cMgs{oi 1>Ѿ4\y=j7[HMAdUmg&VES2mgg&R?n˦~4[:V4ᥗ̓ʂD 0nf{kD$ߪjpӟn5 f(G}WI=Rё~ wmٱ66jAL@;GJmA `~&vn?h,m< (2 <yӽ>DqIK Iҏd6ѥ|_Fg0leAT9?j%;-ԟ*Z{ p+ma6aDM-ki _&z`R1iJ ~V)_d0@!6m<ש+CdfJG.;/]XPlkJcz'o@SFqSm*(Y Dջ9VU.1,l2=Տ & @\0.m;;oXߏӛsUݩI4aav~'zEaD]Ł˙A̴ ,j,ˠU/ 0#ҲožS-Wㆪ/pk|S&,D^_$!gUW[ńt9}S앾}WCkg5%0P3qʲ]#) "z rWNJUFR>u8#6]"s-N "T a;pjUɉБk\\W]xr,MG tHQʷ)azOs6U>bmҧmqs'Xf/-r R[  #bo婏p& ʭ1*N;Г8 t Hm6q MS*[;/}>$ur AԱ:þo?15LW_L*U.Jl ~ Ku_uB G"C4U)jIbW'Mw{ ?ÿ4[zQ/ҊR1+|C=τ ^s!k+=O`8 z"oB':n3_ eylgڌ@u%+#::FT-B|Ts!XhD_܁6;4c"}tm32/B!c"De×T ]z7 l4 \Pt0}s$/p;f`Q`? \L HtyD ]lmZcZ9mFO!V7GI \hJ{;ûɺT8󹇅!t %rv+UZa3X ջz d :u#)R5C$J`M5"&zcp٤T|L& )6 { &lݶ>{UqZ=f?vcA6ߕlY6r@u/#$FY߻Vom$x8 oCԌǔ)<7Y w#574JFRWD9'\4ѵ]E.??p<@O) wyK^(/qA+A,^ N㰼* { HgC8XMr-9N/vDjQQZϬ_ݏ¹`"1ۇƂ_*QK~RIFcК5ň^;|ċW={ hdUg?v֓H7g$T' |\rD|;hMpqVoDyOX:$oc[{Od~37fkJG!A3lU%tu8L^*!j咟gڍ5XUk .QY \ipz v=Douy/]T UGطpFR6NiD`b!({h7r؜A0.h[Zƈ1c1M /#ۻJoȈx  14g"3bguy8g]f{hBp5/"(j۝7q82f2<c~mv~816+P2GeZHC Tdn:ca_AY5`ߌ! s@ʴ7T.O 9κ*3":3!q9k=iWڝ[Ho5?V"uR}w sFMۖ8KرRֳ'Ѧ"RxlkƘ?0O-!jQ* w]yG=]pIީGM-μtlm˗ V,Q{\ffU(C)~Y-+$(ûn#>&];y_)3zy_Ȃ<:^]# ^}E"FbLII`xjRT[".ZX#z7&dNYer̙s_g{ﺟ Z:TW_-x>?"-|{P8{;Ћٲسd4tI='"% EIL;-(ww얒oXB0b:_Vbw\X- K AT ZSzf yHT OXͼN خ(J uW;c9 yS7D Šb4FQ_ϐԔOcH\&4mʷB1y߬¡$>P=q1MEGy]&{Ňs]rqc5O%3MɪƜ''3hOCA3.;o0A*h"}YD㣫>#3"S˔_ $WJ?m/ŦAPg\9>*Pxo` pUЄvmX ki&4nmO2D5['i^\agLR5KrŇ$|K87stDJΟ0 Fb:mEszսmd dJRuѽґf/(-$BfsbU0dNHM|lAR>T;WU T:|f+GFGϘʻcgW17Hf @j 32qi2gC 6:`SU [sMcǰmg6cࣵASGXOB]tvSԈTMA-q29vkDDG=gsSCcX>mTvp'Ynx&o>rj=Cն5XB eDzL?qy'NS{~3STG| [JFgE]eHPVy ݯ1׫ _x$X^qV4 #\e$𨻐x: aX:J^ GINg7űD>Gjb޸djIptg" -Q, HOp+h30/!kW "(Z/bAA:Nf9L0L;W$W, { X9Y?z`cSDMtwskD̒ tW!x:jVWBnNмXֹzKE -zh XTPK38S:;ž!&e_8LWMk4vy`Cg~Y8HXyCVd'I8suұ;JKzJ|*i-4ޗՎJ-W$Gʬ$k^yV`'b$MK֥oajeRB"]]"Fo|_lўP0sFnToG_\Fr$;"g;8tu|⴬b."\lU: EbdVNX\5_V.>ߙMj_/m%le`wS*؀-zlFT5UP:BY{tcIj\Cj覢u|d3Q , !&¢&~2Ƌp c.+Ǵ␉6u h)=UؔU0JCL3gJߡ ̬JFCXAs-u]u kYMs ( 5õ?L,U]-6xs#MAFcQxmW((m 髊.=d }~z tRyRx&V8* fG qƷ?%Bj1ܼ)q؅Wf3?(0xEr٤{E5IV8G mQfvY\ZV& Kr'Y4DB ؄φ.Π6Zؒv, *<W6$߄U9 ,7r1H6w.|5A$?\ P''}(;"&d$  __IWXMCW0/7?9uYz!tpW8 E$ fBҗR,{oٽjN=Lvd`J=bc<]`V,M|)xQCOd_eӧpKwH ܗ q?dh@?N܋x|%wsi|$'ccr>S-:̠`{U C@3~wHh/:іh }1L}/L%p-Cw. JH"Ҥ^Hg?2SZjtY1 D9s%YG viBQK$;"At۠6, wHg٢DҐEy]JA;/?0.of l^Zd&yxz7w0L`W;W]Ek4IJrC9L}ҷ$G{l?6f*z6 ߯_/&^l(eLNٗy#0MOPAOuz\ ?&$MƲ !E퀒k'Rç(]4N?B CՑ6i笰|δy!dhjX *B ԃP5еU+w6鳇kI*o9j0rShT9ڢ:XM^ɽUH34 4<GR68ֳږϒOdfJ2.+ͪKY^Лg6{xO/ hv( d4uvYhILȿ G?~!JfE?x<^G-%prwWPOޛW~YsEr n%{lE*z/vL V H;&Lވ|rvk(zv`WT$H΢szXuBNS=g")„s?ncOٔMqs&A',HQWhۊ/APfS&C)1no045/?֯Vf# F@D{ttl8HF[ۄ35L],Q^?aʂ ISP!pWm;OYCw>4VCˢd}"|!4I8\}9#H[VI)q!fë^.³&P΁{$)ю޶Bxjzacu93fަD>UR2pWxgnz n1o Z 0;g=b Ci1bZKS,n.On3_mrn=>meT*ʼM!lsOuqw3}Ok`J2;.e:Kk\%igBs4 U/ 2D,&Jۗr&~8) QWBѦXe'tooS^3,?fNjh&O24'4>c* cU#ݧNŎȧ'mDQ.SGTM[zLOcǖfk?H?f</i} FJ곗 rJ:ش66԰& nB#5-P"XGrVؿ&W?~c{6>4sM$] pۦjI<"VI|:m'w:`|+EnJ &@DSRz};A`xl<%04zpm^A6f;]U9k '@22(ƒ~8T~߿:?7PٖFSkjd{kDOJq)az90DDVL㇄j%01%骋qΎ"04>;H5[?zo3ПMȘ+޸vmLa*4AVn8\n9b>p%} ~[@9[?m_ypZ׈Pfo lrVxJhq\b8(Nܦ#wTS)SVx Sz__ԥ\~5,}TԜv5DZy O~$P6i գ%q ԼtMլ߽3T)1 Ho!O`Wk* :y# #Hߙpc8Ы36cW yuO42`jHP0JHg f.)c?9o Ԛ l4跹{go7:O^RhzSI9}x{ ]lܽ"j2uj-&ڸ|OR^)NݯMNNd 2`՞^F|Dz^S]hGH?k7*wt:O"1<-vcj |s*e m!7W%4vRg,(Uw0M2$#fc:͡.9;ˈ> x g ۨ;6 s2m ]0WMA4{71C]oߣnw[03@Yͮo;POiWК-$@[qOկP3BL۽r{lZNA I vFkC!-{`olYb1XaVT՝3}~I%уQ9coHW#-]1 `$OYL"5ba΢M@>+,N4& + 6 &5?RiFCDxnt:#0T 8T4kz][? 8מe])3T\2eh+5+?L&Co>_&yC@3nNm쏫Sp+ / 7,, !UU|xY x2#VKERPLي㨇zy!8]dcTƖQsOJH"aߛfܹYH,Xo}6&'X3Z0c^`֬Mwb;}CBuG3 Nޝ<F?"6eFV3i1['I1Ò3*4ó 6[GAףݹ^Bʵ  S8{sAKPЃ+jWkn8R!Z-#U/_# dsUblA!΋)We6X,x;­Źi9=-xjs6]:bU^x ;wӟM2!ҷY"1~ˠ)/ܭb۰Ry0 ]0*ےڛή~Yx>Yh61vJL|xj՜' d#[k9{&]svHK=hu~,,͕"֣hlAl0\w7nSYx AB^+;YM_d"9i8T3R"mdSw[JߖVC 0;xVB|!GQ0Mc0y /3`J<΋tإ)ˊJ!(%΋{zG䈃 ǚ`UQ1:ựgYZe7508138de60527ab1be19a0acbd220470efbf4e0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 ea74dca788cff514012a79a9ac42eebd634327c501a5b9554fa344ff12ffbeda4c4f25ce9d821ca0