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  8 8% ]S]HOL-Analysis:threads=6elapsed=313.140cpu=1330.628gc=82.252factor=4.257zXZִF! aZD]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍDPEORN?ߞS?W04|KWRUeܤCA̙ YKMmj&ɜ1hX$5 V̛\Fh8Y)EG~rq̭< /?t[\>.4ِ["}|F~k8`@u):2'8QAӎ,[Y¼1ԉgI$͝,n;GA/˩]FŤ!trxMXOKbwL٥ݼʮDG=kNcNIV%q:ŝkzL8򣜄{uBĕB=O[%vsak5a}8bLk¼~ '!-|X #4K*O= Z0RJ1Q'AKgHG/;TAxz!/0Q^ q߱/zȸpMKM9p!eO#_Fͳy)5+İ7Sg9IT`KЈ^LpкH1!M䡬O,aĦq UlR4ձ ^ r0ҰW5IQsta5M"zŠO淰RNzP6_\崫nTc1b\FBu!ު͖i, -X1̬dȉdPl֘ymtI?q%˳,2l%8BG CKx#Vlvnj ºŠEk|:ÊiZ?ﶕ@*)3D[cFDAr~\9>S<:VߣrrU .>,χ ιvdjQ<SUOr"JΑܟz o} 8]LhWU,=㢌b4 |FfXɨ7&*Ck {8"MTJmC-{ׂv]-zQ<({G8#ZyYr fdf4!S#"X~8MBmRm.96i\4=C1csA"72pj]}Pf,)#ezy "Q0b0N&B#/.Hem:9܋01nM< @^@Cb8-dϾe t{NU cv&O>Z_NGFۮqFF!򎰔|2@,u9M*_iHqdZY 6ܣ{^'n2yEsQivx_ &w˛}Z m^ ]V! =7ˌQ5ڟ>c8iGXk&j!J(}ZA4BZ6*b=O#J4s #9'&a/c>5ІEL O1; C?e< }Q|~._Ry^.>+I(gWn$a,z BGGf\&l;F&%:u[o.P,njB_ܙnvQG$QjsWo&/?CԪԀU0JUY Ԍ[{ino;Gz@`}69a\b;R(! zFXx G7a'%%8s'xntT)P oYF aK -h0?&XtV-]BqOyw,>o 3¤Mf7'-g=V|m}W=/(>1o댕^Ŭ{]V/D~Mg+%(n*twV BOuS$Fy w')M R1 k]>r.ob|ȅrxk46뼟(ʌCT=)Wust$%ܞїKO# P"+Sn wH]skƸyP%~ٗt9)` wvXj8 zx(HeJsCvR*MZlH' Swƣx#Oƅ2pھxJk3/>TO HܛŖX"m1G"v70JJw{G+%PhYA y`8T=oe3+fMf\E:Ff!J-YO4rPhMwCJ?56].`9FXwDi=w֥:ao~Џx!SdW^ԡQ-2ۋβ?m3%+qbtdX6RL#8Mas]feF>wvI@Tw@!ߕmm~rP'/ T򥘝RD~ҳ3s"w%Bgc"7HDo!A扪v&;{wd &t`CSnmTRG[&v ڙHtY/x}nJr""AW'x=ص.˞_xRBEbizQH6,lpǹҢv^))`Bm+*6](`!v̨؉wZrzˣA3ͦ+#{x6,QakZr]t}Ty0荿`bobht' #j7[q?ǪˈiX7$9 F>%3U.kYpSNeC__3Usax,vzֽQJ9 ,Zm{&%t} jS.׀ÝQѩ,WL1:zH-/ZUT–`,c!qBV8[p!ſN&튻ߨ@4ewO|oyI#yY| ].Z?j1 9x RAuԪI?]?#feI@<>MOV N2}=mjhS|S^BzbbI]&8564;F]ةH^ϱN%ex$p B(X~6#R-1عS9Gr"!=vk"aZ(18S'W2S}mmhH)K% -R  F{j˖`u͈au0F_.o}H!ΏN gU( z >г`Fg9b"Pcբ_|;BI:win 'n{WJ 2 rlFcvƑd6b}%=@Թ,]2OpH]EAKCB<~Æ%Ak4"hgRX <&!Ry)*LSIk'NEp$?{ Q=.y)V^=ZMLKⷒ&6AԪX(ks}HwKe[*mM3ܚN:DglV%{ũF7.I =-Zbz-l=L.@TH{傝X̃ͺFF. -DJ6ǚ,(?1Tz֎aΪr]ddiA=<.3I毺U¾Ed<  n孩SJt_/wG<o#uHꠂKz7yѺ!NN$+@Y~rEeXn t3{wh0ɯtO>4Sǘ}Z8j:&6w}-ĺ Q7-N6gDW`B`ܾײWs "D/1)bWo.{7/IkUK,>qȎgO- T&x+*Z#=Kx'g#G 3Umo(?/ *,®CK+krƓK)h,y涂lDJyrK7{2qbG>jGGNêBAh:xe#eUH{/de:HV}ah[ū+}6G?c]p!PAMa51cXr#5p.Ig)hEsI*<]ɩ~< }UkZne4K\-lv#b3o͟ 08b 8 1b+߁Щ1(XnQOՌMUࠏ -pHP=(#t7ȠPYC+&E\EF#}rO_9%,5i p&;X@u4PZ'5DSԞML;k3׋ u+W6.9 9+_dLa D94rĩlsʣ$1N1/I #+2b uGO-^)Q F(0 Wa3'B0P7h<@g.ס=,D&fik9eevkX쑛lE_}RKɿG \;QHʮG([3gۇ\8? AF:L޵Wd#p'=!M( ҥJ;W2 ͒ė e<@ͬGpZ3VA5NN%n'N._Yhg򱱟)XՀgmVjtؒydɮK?Hkgp7Ev,bfY55TR|%Mo=&+ u6-CvUqCH爼:2Wc]KچAq'%A 9͌5N?.=H{d(,֌z/ξ`euu֠יN6ɓ"C)oy6g93C5^rKH'MKX;n:g2vg_}_sw!'Hv|Py⽁l{C~'{lGx~n\g;onWP~mJ > tcܮvfd; 5%G)-Rvl9f`Eۡ8+!mK< ڧ*yhMU,lҾmGTQ3Y5[8 p_2kCvWp|4BG 7niaa3+wx9h謔 Ĭ腈HDhCo.j֬P1#l p)Y!)-WDNWȍxt")J#Es~'[1 a/;|,0ogޝ],#$TfQ[hH8] : !aRsH癳RhZ nu@ޞAĵĦ<),8%?I3R|Vv۩O&p&.Z2rUQΛ)O-mE1PZr_ӿ(Nw7tf#fZ+g%9؞n@0 mid77T Ei!˳6|dBTtXj|wB#jWAApRfW1S$foƭw˾nj K({;hN{C) dLOMR1FFr%[% X ˦@=͊Yl2k?A8i_u6NÁzm>Zm^do/ ,T *O(96>1tvU^܉O S²]i74ZJ-O]l6MKXQ5^_8;\\`pCNl\((TGޑ|IfO>ܮs{#SprcJIOs8 [}tb)N;U)GCH@Z{Mf_ip:[hnW7k,UMzYKNJaOnPƌH˿nrJTۗCiC·b2Dj=w / yw\~YnBwa-t>ʭ ފ9H.ه+LfA^2^ˠrźՈoNED [- QN8Ni{4I] v.bHB?O.6ޕG RLnY 026k..>b@ZV^e]0roQ.@͒.#RL12mȒ9R?cFPOb|B)wx)PJ;{~wi- Gn*Mp^[BdDz2fBP+Jsn!."AI0oPt.,:t w;`M9L|}ouZ",9d,$uv8Ⱦ&}$ SL~3}_vY|TXB et޲jA2"I{ik99enNF݃׏;]Ƹ96Xd#E{Bl>ò>)N~1?+D_dUY$-hRxBV{jQwn^7}NDo#=Ǚ OP3&1#y*D( ؅~UiW(OVS@v%O,B}Ayʱb8 -@)= ?CQ-P8`a۟M 1bAjRGnט0 [nL%?hJc[uc㙰UmFc%a*D//]sv݊HŒcH͗?v Gئ:#.Džb2Y,9UJ\ +DP[fdGM]+v- L{mO]b$-EWHUnPfZg:KbmK4%P[twV)9 #.Մq ah\5A,r :_*9Ync:K?Kr 7N%dqIP5y/}Y2Ɉٴu%)צQ0vW+N;lhD)qԯ`ǔr,e+ץeyQYvӷKacsJmmW?>ZCnXg';(?Z3n TF=t }-7lDQTn~ռ9yl@[,hxmG ӹn9OqZa[. ~.iC΀-~@ǁ pʲ7aroiIm!Zf^݇o-Il bI:\Ǽ,T7vdՍa\"1tF]ũ"=>VB}Cբ\Mt?IPE'D]V9qX( _]7xFYuH.PɆ2DW^+e[ Zm"ȉbY D1s8I2pF"sJq7J+TڜwXa#^W<bF~VhhV >[Si2t<8iOLs&m?cT{;{]ޒ}O)m HBES^;?r9YJUd/T$|yF! w (7Dkơmo DZ1%U,+7ЖM8f8Yl&g: !$=%(53gTM@tWtED%kJe iqTxA{˷䇝)<77Jx#3YP&X Ba|^P^ۤm\zN[Y-` o_ʞ>:/!SL5=lI.dR%̛\TƜz0}r;Vӝ4C1,wrk962 VacpIƀx6?>m0x-Gx3_36NohZI_?EaHJ hO].mpfޑ4+m tpA|ûm>zjr˲yxpfǫe,<3~-޷i o8 kɞlgC&}{{4f[GFNkB$L]ˋS@hN TbZ+hɏOњbdV׸9- SVkj-JyhȨf9PC*;pFj I*2@0ӛ A VddH-] .`|HAʈa^ۈdhh jN>Ud 5NsML-rcX]uvCBߍimtx٪MQ4Fa|E?!7JՂYi.&o0z)aR1=Sn<~1sjXۇ,f ʱ^dm ~|zjb@n NBX~I4Ufexp&09 HbV< e_p kT@Q0BHaoc_ye;|&&4Wx֬j=/X+/ ރ^Ӡ497̭ȧz>m9EJ{E!vi)ϛ3bb%Y{|/DC0ךBW9QTB qᥙX Izv ZZ8xQsauЦ6@M4jKjQm1J`lҼ5gm0E/|G1ɠXG]Kux}IN!)Y!}_g/>%d*9]YD:QgsZSJͧV+Hi".j`Z|Sn+F^tT895MU҂؍M8ѽ"L.xLukơ`}AB>X- qG7ݓq lQ1C1xNK/uf wq ȥ5&=M ϳ궰+ G 5FHMp۬}֜.͞3фτ0l\/Ew{.B0Z7DN~J_Eʣ9i c/r9Y~It` ( >83[" l+)X2ò50͗2B\FY&B8=YpYJi,w${/=j f%N*K1b1Cxsk֊E6PGNGdS8$qj!|,^{İƄ2) [k = ֫FSܑg֔Fޤ=[ås&Hr7Bk11fj'.jM /XNQRodDՅٖz, =O HmA^>5n„9PY&31ٰOvl :|ᇎ AR y[v nhyL?d|>&;NqYfQdu: \HŊ]y|Xw=@/A,aJM֡9ȅs)2i2}y͹5s2G(H=xF|!KmSOL5} Fh&D'7ɑۭNZL.T x/[q%@\Uo+`|Kڶsx0P>|;,+piUԠ%f͔?2_&w#SYT/g7] *gr}][gȽ9 GQ:`;Fi R 6=L_HUDňj{gny_V''^(D'Y /4SȾT!aMNhWҹ jC/- 7쫧ze)Dlān!s;#T BQ  ڛO4 jaKWl0pa>NVOt@(5RKӤLn] 1Ȩ^Pjbf|ļϪV^,vΎtǤ;uPFgJBn^Wփ>YRv7p6}mӣ~,RV;]@)Gңgru>&.Lu{]44LxvsY* LAD.oY BSzR*'ϲ㡕l`8Oω9˜t>Sv2P8=IU=Js[TIub^9$ #pBͱHig=?5*(\ [؁6s$9hM;=C.''s,Ź8">}Wfn**4vB:c 8W8m;Eo0`DФP (|`XwߞJ:^{O@롂c2m&LJ'F?!"Ԍ<->L1M jOZe*Ji}0N-PPl{ an^ϒv7.zۆʭhkc- N1[w񬠅 } !|co0&-7 @^2چ__?s*!!!F+UL6_at? C XڀØq?e&k ҀH{Ѓ$3m틖 $~|㝇YMBXjS,N8W5FjoмXDNR5Xbxc_­ TΗerKaˎҜx_Yr@;~W g`îz(FA20ǹ})ZCoaN]*mhDT>}ʨspp9!rP 6Qt2 "*J4ev5rչ"gE'?$Qcܵ?!t.%{6) 0vyG۱"߶u '0ĺHWl82] SOսƇ,Dvg7li;`eK%b|զ{MQu֟^ zFodNj&( 3Sr[4PSyUMc~O=9aB"S khgE`\ ;oO,9[ay*҂s n$CW0Dbpc3gg(]鷙"ſ]YVSĥs Ua}:>hnQѐ&R/A#jDB)㕵TќQGue@j%\@vd<8T-_+րװi<$V:{__՚ giTF0ߴITVoNõ$l!Sd=|ๆ4Uk+e 'p.KC `*|'~iK~ փ0ܧ+6F-C!/&鈩7|QrfyF;;6C82ɧTt]_ tAʂR2e6Z}LҎ!R&t FWвݼk7'u$bJ|o^Fq2eedcXe}%mDץza)}Lf+!%ZɔgU|.'kȒ[&{4؁yDd`fxq:I*O2Ң_q'4pw`u3m95-@bVaPpXqHeVhvRl:PYܙ iF]rZ5kX/41#Qq2-#%0_wi&A_ G0X=[A!ԃ@-y_0DMvB"rWԨBeBI#> Upr&0d(䝗N,SXŕC<̴5ӯ`mc2RbKjܥzjG|6&yTU&~y+E[(v3i iîeؤ4o?۪gM"@xj,8͂`$hLJ9NzYE=Ҿ)$f>b(ۓ ۏ KD=dmz4#:,ҍ m?^|43nbs*v\i <(X: hmJtY0D.kPS₫>"٥w+< >էH?İZ+9Qљf 0#2Y:bRKŊЌQ`6"p{xg414ϨRb}A :SqBK2\x򲐰 wxL~w/tQmbeI4Hzu7+Gf2S0o 7q8w;'-s4^pZHʳZ/_Eb妄+8oE譢΀׾4~vOpW2w];;S\FH 7')ΪoiǁƔ ZvU CD>$gjۤTRl'BD@]]kOQ20qx`< b !ix1iV\0OE$ETm7d]uqV pS˵,;:H֣XVʋCeCÂxrū'à Qg],~gIx;b. I'iW_C]EL໑(_\@i*7)$=E6 _e t+W﹦a^&)"]˞7k-8l39iuE=ŏDލ '2Y3jwF(mH3*A8-=s90`yfRFd)mٝ=<_ߙdK~4mU,kELR~F;r!97<+f%'A,z蟡8K'=}>GWh^DR}pEI,IH4W(;X$0n Otki۹th*m}ryN̿uz[^K;7$nJeGN344 W{on Qi_Չ gMgYZ7zXZִF! 劝\]ŗXi%6ͫs%WaBKPAb&5IH^mN97+mͲ]1eF{󗬺]l'T}.l|>FD࡛J'ϡDѨIuY5'cim 1ED7(mD %CsIehMq Jep顠.s x:~ EA݌,C+\h5 S bѼL]T8{"K!C*/#|ϣ%t v8av=CЁ1L#  A.L ?Uсd=&^tJ~-gcev,1 K}!Vɯb]Cb("/ey ѴW5Rq/@a/"d\vo$ZWd 23_K -=3H,U-#QV6'%'+nÇ}a|ULJ-iGXj Lҧ: $4lCC>[r4% Qw/ ch^y -Y>3ݍoǪ*e 8g:yqHѡ+ M֪YEaB;!Q|~uxŌ!*Mjw}3 E*k} ű-Jnʢ:0MĀ%‰2tQpHY<Ӥ6Ltj T.42<_^GSI8%͎ ٍrPN^`r_'[_Թp; Mݢju9?YJ:¨5:V(kw,lv7 /U)Lw43CL WAWT.Y nbsr׊ξ!հj;oEŕ4e6OSR򠠐B!Hl8} /߀8͋BT( gZ Uop:k-T:*skUz`SzFNsZDYuw\,sTEoKx5#lpL]MFDžhsid$,-ޤ<ǝ/m3 :QES<[ E\?uTv+:(&&gl UdHYaB kO gdP2}y`8u &TgZُCYO,nd-S aw`rBhL@֛qG{yjӤsRSO;E]+\(̜"g!=$PpdEnf:4h |*׆|׽R [B\ wRﱢs ^8-oyHu6} fOb_9y@^w=rgm7zj:0z</H 1{h=gK-O16 ( ܎"rۻ;P2 oKjH5boO= )^.ni<4wBZk&C2UBB$sNˎ}pZsdx:0זyC,1(ӫrNPgkp*JZsI(?@^q ji?0ܠ/K@A5kÊLa޼9QVB[%2L27Cx|l#0"8+4!oьAvڏd)z}HtEW>nO;fCY &UBVGJ.,MF>iIA,&(gW-Sp1q g8*G\Q@J-edC6"(Y%Jߛ|xJ=+Nh38s&\IVX0wi_SKүi=zFi\L=]˱9q{eܻ>< ZD䱡FZvp5ӃeDe&^ZlZ?S&*|~=s_T*.dY\yT]VC_gHQ>ɰ2^뎦,H,gDk46["HS{SQ0\4QaB%\RCTyj@4-:#/F.BV?#LħA5`x =~Cnz]r[!=_ع2qh~wFD$PEUfꇛX3ʴn9Ǚ[M̒ԯF6r#֮|`?tsk#/ZN1=MԗP:DC88"_-4*GwIeT)RxGQ~mBW:ݤ"-"d[&A;[^Kn[3LP[~=Vg2C֏HҺ_?J- ߭HƟ!uY|3=O>6CVրK nRhsZO.G9gJIf%el:HJ҆v\+.GOlr7GM%F2ywZ&-o+8|/muI41y c}vl^K_xni nF]/Uc|"}."?>%V?cy#:rIGGdfAĊ+?R7ǡX±˻oCΖw.~׳wM&A]W!0|T 4+Z1|+{?Cwu+yM(*!naeٺycQ>Vއ<0!t". 0'23xFG_"sb-ŗ6\E(84%QþԖWPpaGȉa.Br(Lۃ%"bٸxvu~f`7IMP=.?xTCUePϷN#NJw7-: E|!g)jH5&] ?BWZ#m- t_$yWgR:knnvB(m Z$bMJ#E|̫ښVmј*."'+gaL? T&᧎m1? PKh1¼@jEq&/sE^D{ꉪh8Jno I?((cg2گ:L'ҮgX^..н2vZTTz4~.;~bUKĬzwmXJذӲ NAIrDF|6":|v3*s#5g:& *fb?cB?8벾=rNL.W?:ɓ$h7\0x߷j# jEf%8G7-Pf\ foyhTvQGOYQATp mKlPV4 1"&z @򞿾@)aKvcy<5嘣n?MQ)f+PX'6N>VX*qr;F"]>~\ԩ_ؿ7ݼ3T W k #]Q4Őr1$SOAfVjˏM]yD`ъo \:)td"+{ul& 3/:K50A u  Q{Pu"QiL;,$ks<\@cb7} ~3sƤ)0їqp9u3SvqJY -L$`@ǖ(ꨑH;= [^F"BB~ʽk#6=!y+a(p_U!u!9ka$+dЧ4ql eU^\GMKcnI,ṠF?l݈exmwdgo =e2!@uDR-ʤ NạMʭb@w/6ghat q9Y@E#ѿdqvA҈l'$ u vWHGa WGUBV3vHNKpF&c+42OTIYZGTF2'=FD]ދӰ.WNk(@wBBߘ7/ 6ELX<o(A&NLERB1 ڬ%Tx-3=irWFX:dY^74AXJ%2F'kwhPG)j!t4^8DlqjiF="ND /M m릛–p[lM䢰m:ĠM]gO"!rM)MeezeS"0e 6Y@)N"{HӬ&q$.!C)[~z*zkwX2 miǞu0;Mz:IwGYqg;ΤOJ<#(Lzx&@hpgڀ:+LC>M[~;ixN<.ß$Zc{qIL,;DJa9*hs|~ Ĭ'\o=܉B+TE+4aL, .IA2RQrPfFV (r^`#))2dK6nz)[?r7(+YX @,ک,LyBb)qU[BT:hʨnyƲͥUEy#/sXKk{?umnRynʖ`˷ܴVwCX:H[~5դCҊ&g"B%O"p )v,~.0c) ۶z\"8#0BPz9(Rt .ӏa8N@rDJZ:ϓG9&hR/e@D(,Koo>#+{[Y(¦<x˟5V H_UźR2W褈Z3BW(z>fX-شpS1RrX=}]O`y;^^vb]ߒ6&djӨ/p(8|}/!~o=T'SRcAsQs9Jʨ'r@N(>k)QSIvYgqqp紌i a+, Ŀ=0J[ C6Ym׵r숋m@JC絁e;[];!mO-&43ohz N ͽ.gqKr5c:&h'̗W\jw֘!NGԫlsJvea$߽Yz(ERr3k0Y tߚB}>]-~3E A:3-9۲GNdc=97e#H6eqn>i &2V@nN'NG>Ɠq1'0"U C` $NHïk#ACmнgNxuZp=tmHڱ_3Jp?u!L U[Xπۼ:HQOV+X98Qў SJ]*ʵ` ʞCΠ6m&5̝ |o48 |Y4OoEz)]e`:1O wL "䥻Tmu,i$`T.2$vQp,GahԅuTdwY`梚kmPosϯp==u7,zaK3ß.PwCz8&:qG\JGym>9"9GbRb_(Utbׅr;rND̵y"b^fW;f$?xihHLm+bF=LNJ:2`Vl?JۭE@r#\$_Zjh6vjhWϫ ' m;h"QЯ'ʕwxAA;2^D6K,@w xrr~@!F,&<(N|\㯐q{l 5eptɄc:ɩ]+0&C|w8IcX[.P>%ˍBtQ^YXɝzE[•ŻWֱ>I][qҳԾ=xɺly&{3z " `˦Ƥ,bZǁ*|፸A,ܿhBǫȗ1W(%Iw:s}S{{qVCct4w/S&s3X1<6Ȝ<.<}iNf r\ÅM6aE!6$[D iߨFyX3J-rt58ߗH^m85j2O-rTma:Aq {Ӓ=V;adX70ܜ,E1vN^TnحCg/I6 AUJA82NW/ƨ^[$< f#DDir١tZhnSirǒ2qcp1 Jܒ.G%ڍ?nĒ@;R%y i?g Sˮo!.yF6!@R4$bWSx\%TTCV~uցcseGI|Z#32gE}щɧw-0JqLbɝ RvK$޴\=O_S5U O>TwqzHEppVH895=9uV-HKO>žRw*oGS{~‰c'F4^v7{'jvjE uV=̣2pݧwfs]U`/j\ }Yxe`bW/ 9${^>^˂V&?P#Mh/@48[ECߌLQ~P{\cCHزxA`#bzqJ7>opuG~FfgTO * Ő(G~aGޯR{y|uc9T~{ү_`nRs1wi.cK# 3 g.?emSXMe5`fN42TVnzD9$ninvTyJم l=n[Zt'ko!Y2p40:/m>|V%#u:h{h8h>a9ٴ劒cÖ*WOp'!ω 884ѽoc&_.4qwٰfWb3q)ܢzei<&4~?K:Me\Wނ.4)m0쳠`MW# +nބÄ\8sL_Y2~\k@ 4qdYPk>'"% [&]LÙ| ~X7;Hm8"R?_)h*R6aT9( nNk.kI EҧTBƚg4hNB)/.Su"~cm[9cr%fÒ_WA@|iJ|oVB!{z$$<d!634R{ؤ7ti QP Ƿ\6}-l)xG66O;:S7-Xx{O&pɦ[I}C_zB'I{Q<Ep';tLj:CfVy^n & =3ugufL-uv{Pv3lސ]}WA 'xIS$еWO=+fnf >hnMdS, 6bAe$_mjݭ(->͙68n)K.JGuqԳ0l2~ĕ(PǠ!i7,%(fgrck3SB6[ɲ+l& Ũ .yKB=:0mں"܆R$فL"O2-&QMPbˀ’*>ޕ+G&ߐ9_&Ӱpod9([G׆WmQ A>+Ϥq$0W~HyPGQP:xn}3@?ȦfH0!5EؿrraFZ ѿcok2 IU]9qWA ZCkp`%z'`^-Zq}ODM(gN&f;M{7D;'l }8̃tStf= +TNE{ыy]<:8!-vL`q6 ;]Xڦf8m,^@S.?׉Z̈́[B#Оu`~%m{sx~V:D6DAPo 0ݪ"&Jά7˂ { @ U^^eLmu-im^<[c+<#ЙT!b_ d# jP^+JP*SP#)_j\}ݖ=SZ4ao9_=V˩ԉi*bC%{."㫀+Apyl9 `%o00H0&9,j!ꛎ/sܰcԃw$(]}řLL(f!ʿb0:n$VFYcfP};&ZGL8dPsgX39 s^:.'nNB9`tQcs:T˳τ8xBQL] ޠ~LuFkHv[3Tk:PU#_J79񛱡zfC9iB*D.#E)cl탞<"w=L d\V9e I[K ~J$QT,uϨUӣ"eHdzE:Uye yy6pz:9لE}{uQͨYeP;Z3b:2!D*^GՑ߭ؕzkNkM3B7k`,խUL<=Kp3!_N,f,52Gc e_%_eO?@ ]4kjp"kҦ;^a-BEףq |[<7`#8N"9ȵ m~R.);-qg%t&#dy$רwCRbE2ʴDi^غB2,׷yHtp}Ts'o~¹[&mpϣNM*jӾz[E}ff43fa`>]jכ4Щg3ޙQ'~+2\[9%U4)jaJk"Mmd2󯤣lC#nfu DX_6 5MG-+y,)D\As+jEQeG?#ȜȾbQJeC&[}C'M]}9 9E>~q&`|>o$Y2xH31އ>i8H5Q60 h*mľ[+9MC1eпQ &"gy8+6`Vfae}W*ٽٷ&vKKRƞ?kE8`[ ffhT4ع+=Bb Gd"pѨj9@3k /fXSLn/~i*) hB)> ge ת%_@|v*W9meF; _ _"xYMF]Nj>#1<_ZIF&+F+6[H͑Sz]6:v-( =.ZZz}P+ E˰W&}@omNp!햲Ǖ=M:㇯7s}?Mq$;n&QtN2L[Զ-ta''K9^7$W@|f H=v`Ԡ$8:"kXpʌ6 o QqEv]DyjfI.`DezTn(_#^uB<B(9ZC cDt~aW U&fb*^᯲,4s0?=BY#(=.\aKr{ھ]B''Kcy~(<'t%jfQsDdjK9IS@O{y M$ _nV`V[ZH y'{~@#h7OJn9pcNBZ'U ҁo ʕMS麇Mr?r# mF,]8쮠yNc.q4}DLd/`@<_sgb &^V2 I+HRb;,6p3)cxIVV_P4[ǯAnY{>[~{BJ![2,+2'#2U_L! (S( DǗUڮ;C2;+6>/˻l%R%/;#_GN[/lm*>$z2V=Nm.ش q'..YYa}y[d#f0+vzBRE+/>]$+x,9t㾜 ڪ‡ob_K4!TQ!psuck5@VE-;#;2喯 hN.'dvje' +ڏolDӔ3ĝ`ܺ@%f ڻA`*:LMfr~cc9;)YVyb`"ߛgܜ!Y ZkJ#GwYjb(&Pwkjf!ui)#iaD!87Q(At0Ei˶9r9LИշGJȾnI:t̻R+/~j7daIł<.2Y\Jwo;10%sIzUmXo B1`.`U6NYmf5n7RXk 2-Pʚ"AZ9!ؕ f0uBw13,h`WHAϵ\@ WDyb̔>w5xѻCY#D.bg{ JRu$ch,lK@9c*NVYߔQPHNst"A^n`-F673NOw PRh |dG_V}9p*{YB;h´W0%"} :y;QZ(^Jp=;V_?p:H:NaHS3Z3d;;OT6"}Չ6dAsL|JD70H kC&d:(?mVuls9 _"o0BK_(5v/1}jNtf1'_*+W4M-M{'īyS^NQ-s oJSa^[{bz_<=`~nOٍ!MQgK5Ϫ5ˍXi#e.ٶⳏ-fIWHkMN#{Dߏ}Êcfgb*d JIn9RAײu\4p{0egwhM]jb}ԘNnVs*3wbA!s=gB}>(ؔy0/@[{/ƥ.ua<=6OV$Pv`{)9J Un@nȑQB#z*kEm5AlEĜ `"d/\Xt>HvIF&lsAxI-#$WMylr39|/Ŕ:5X>Oz_rF78>>3 I(V05eMDT _v- DҟxS E~fЊ[PU&6d%Vy]n|΢V;1I <2e&'NyUcͼ v;̂Og @! LfOXYqp IisߙKakl r`?Lt;yh;J/46+|=d96$K TW )U?(9/p6$V_"4-/ҩP~HnCN*sA|㊊!nJ|;" Mi:YY%Lv :kNzSUJ)))-[wQO&vafJ܀ytX:Yϊ{bG:`,et@u8(g: .w94'|)kkx2`a5xw*vވD썴L:Go"v@,;8~Lx>Q|\U9#ЪS!`Z5X݃c`UYc_|Rjh ` /-u9qr\Y r|Ɠ9*U.XmbG.Ӏk3Q>sS)sŝ+,Gw/ߤhq_Eam+WXƤ'Bs!l&EF-ovNUۗ!!F!j>1zJI?,͗$U:@g }e(eİ(:G7@E\.%;nU }Ve2G+>7h/PMH?sZ;8VDC,jvx:^E8!ߑyhS3)Nʯqcmo$:Xblf_"wA;HetXzRm@Wθ=c %6{Hii$vLUé70%>JV+r=+KdžJ8}d00r=XSF.mRp&⮫@|Y}TRZu xHBCvcPh*2mIw@Q{㞢}/jm%^0*ޱr™6'U`"aϸM[>\ۓ8oF=So-vz\ʃySVWp{Qsd%L}F[4| ?|-1(@5bh6.!mEҪ,[_Z HBȽOa4 gDKRq+&W!L]%\Z{a}3H*R~Y2 vJj٧݋a@3M ufpj8uz0ːPY4$hd0Csq Z65r}R/R1yq:v,/\Է?eI?_ЙfMF=XjsŪGNQ7Z2ebHڞ(ix$_7i2W;soIXo*"o Wk%.}@cEz,GQ:C R(o,5a( M揝 Ô]$e)}Tzfww M"k9|_s[IJo2͐tj٫`8x(W=ih]R__V>o[I# j[8!D+~z` I EྐྵLR%!*f9Vv E}k*q8D4dD"H\VuohgTeo&(IUTl:A ~S)}j7:]W]LrklQ:S4{+8648}aD ?11 vqq3_{01ϣA8&be* X- H)C6]Uk/Xgts&HiHpdǎ]o،|4LLƝP)r [5_:A$,WuvWMiR<qqg[sRI?m :7[HD1gs(O'ys &O#`\P.Vȓ9\tW~N<>UZk Oo #Lۯ~?~Z%KP)6罚[ 0>h0;w:j4zƒ5mؠrU؏-$/]ӋqR9Uԓ84PwLWlU^Bxʭpr6OXX^0 O5-zXvd;:" )Y-"f@@.n?֏6 >ܞXlW1Ynâ+vDUU%v:Ym#ن74d^шT:ۉAlzl;}&O <Ҁ =o!$_(ch{wߞ`m&3~Hk)!mx斵e"q^Q8x647&Eۇ@w:1|PH _QF$saLVz&aAϘ nCA`?_f[f 5J/\pX1:S1o2I/!=g7LaNDs[d_SV:qQQs94ПbV,q^NdWcf W|kBoPB?a(eXz̨T5} jQ'ӅbqP!ر e̩ ѱ?W#{nE8,πrӒ:ގDp h&VբhCYbm}5s_# zbN6rkT)6 T&Y.7#8!$ 5% &YRqbH6ɸ`fo"w[7:-=&JΙ3T(xw{&|;ZA fU=jT`Cbs1\[H{XJrVn;~Y:~JJBZ62AD;D<=o=!W0͚(1°X o:x,cl TYd5L S$2$J,Quj*N'M;!u_LPVָ[+FJ{h+ ^`JM({~~ w;MNhS9}*%AؾgQpj} :lvk;W1Q-v+a{i5 OL`9^dt1@G^8ɥ d׬kw"RUQ)ؖ -sᘖ0c*p5>z"Y1b2T>Cp>S߆?ԟtf9+F9l y3l2 qF#q>S`fB6# rf=p\G d?6t3MX+1: T=?:;MC>W,/DI42zT*lQTC8aWeinDb{ alFyFVW;^Ľr gu7sZ*>IGsNrAݐ7CVj"Pu2YS4A&[db8T!WZ?QN3H\RpeG9=r zs`Y@ګ\i`Ø;<dt~?h;qdɣέFo5PE`}lAbK fםd7|}~)35\Eщּ]kAOEfL'0֯$*Mw_VOZˀ7qb[ Hơ,]eEZ5ac^zΣ,f^ڳ5A\XjϿi}b/_kI+? V4/j=Lz؜ S4J2y$Pc"w})JI)1<ғAi#fkq>|#nJ{聉ؗX ]*IQ>; ~nGlM/%F!3CVY\r7#6累(Z2r͆Um'T=)( |ߩlA3#| ҩ E 3%uPn+3=} +KoOכņF@XjQPl4lqhj^GF%ePؒbyMzfqti!bn%H7wŠՖVA`Txe#Jlb go{%$)x+?;~^-`)gZ)gg>1=M2kV|qMqW GD_ [FzdwM`:hL&V% h3̴?,!8?4ӌZt7=LMIfFQ&(UWN8+l63.^e|9 ^}IJ#+N7~ROM2F{ RkIA Ќ"SpCu*IQJ,X 7(²`2-͹˱gYZ1497011535752451920c08dfc70071f0326279a84c1c895207ab9e683ba172ce2764b942c7875d56 b18a5a4f54c33dfc5175f5d8feb995cc7463605b da5c9424883b2cc4d138889d75bfb1bb769fce3d 7c86cef1aba42a80438c3548ac3f14fcf459425e0925e4b0c830121380acf553897d3e0109c59e13