SQLite format 3@ 7- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #5T ; HOL-Nominal-Examples:threads=6elapsed=360.650cpu=1364.476gc=115.232factor=3.787zXZִF! x#]ŗXf1-q恈ބԍW_8FW'<㺊kP…#Ċq$@a1y c"⯥.VKkJ-wQ\cu/WrUFvJW[_΃ u4$sN>6;/8ڳHv-Pd*7lff9wo9WxV\y٧xN3BA(qRu#B!oճvI>ٞXF[G~We߇Gط3QMb0j:%[JOZekLchWetmReAOf cRtɇ>5p/~K{ &6.Gg^S΃9ӭ 5 HOL-Nominal-ExamplesڅU`xB>-P CUDžBXr(r ,Ɂ!ͻ(&~0d5 Vio4JF̕|d% i$.ΏϞ)Xq|?Pjd>C+Je,0'I!R~v(|pQ3c' 9/В^'H`unDjonu8΋ǩ'&ʀ'luslܡ_;8M3f_+`tBPuX[9=0·%#2n_zQɚاgSpav/q᷊n[T7L>O᡹Ɂk7EqN F5S V*3jխ݋r 0 QF"=hʛA!qp`AaNĂΦ UKWAZ@ŞXL\ {?€[ŎiBw'[KB ޣEpsmrs dfs.FWZ ٓOjNF':Q9;Y:a3`_R-QKkp: ۷K#ڻiJhբD-"*7C®Sn _g zާr`0jqD ߢťij.1;I/5bǺ 4 Ln"׆o9G 'm(ݺMT*hKߦ,.,"JH1#[e|oxl|R  / RPԟ367:K.eӍ`VZM9*46̛کeTu9dpK+m+6gmr=CW/1߾uyAf;cad2" C[G4DQʞMNJH{X㹆"}B+,δ}TP+b~eߊTPiZÝ xH,U*̄ޓȌ9CuXy1,2YuTo P17f }ܖ:]p*ZEs@Zvwךj')' 0!tOT  W}}w,cEw9FȔn3*j1 5*BN)m9Nl6cprVF/ǡ%GfPk={$BVl $8 kM< .p`I)vCBUTpQ%Rï g /IODFÔy FhAuR,YjdNY3&f? MPA0aq1ᅬAթ~lAυ|yG]V:Gl[6+|L3$wd!O:xۅh)yY aφ,̀o xP&|Nf޵~틽׳IotwlOc!Iµ`İ' Ku$RCq )˲ݑ;!Pʒg+UϼڰJ>%R׵eOqX@Ff`V:XiEֹI7͐]Y2n̕gteQ/uzvt'&kG.Ų[!PPæB.XI#Wuz3 &ſ1gcd=$-|6V!I1Qy)Me}85z硬i"[r[Fm< QG 3ggk/, Vd{f7R@k_p`GK.O *ee[?NRbQ~E>b]KyEp' _D ϝ)jmyDn(,^? '5Xz'1Yw@A]:!ݖxe輮gQIDofڷ|G~ ߺN+HqUKV{zRwVJ }AqQBL|udz#ƾS ).Fq -<36D Y3?KKXyȇjJxA7yXUcx[򭂓1w^\ʘ*UlR6_tvG^htvFB34f^YoJ"Nlz=+P:$"M%Ց"%Yuy 1D~̈ޖq0-Uڦvu6rUkacqgDC+S*Dv MDIW7;rV6-'׀cCgnδo87~z~'V3EqFWt Q|ʐLYt2` 5: b ^Wo-E"mZWU$LD(^<:P:ӫ y< ϟU%pDK܃ tH?J²ZH` f@Gu@aH zP([rWV̿Mx)P Zdo{ |lx*l^w,l_{AEL@kӞX|u7Oz"?7Dʁ$6,՘ tgN5MW]J1)PB?N"UϷ[/$!Y5#r)V_ eιx_"Dmݖ$<wz17kTV0G7ܴDb%2CO9eTf.9cw/ M?]K$ ͈FbN%_+S1t@4^Ʈ a  դ卋ag^k M~9@m$%zb!pa ^2{;qm}/؋q%ܺJ_.G5xyҠ8JaSzEP10U7z,.e jd ,6@K@(6٪Bd%̿AXdhZO{0Ho& -9Jihιc8[ 6V++lcj wb w,v}ҷ{@Γ=rJI=pp V.X;yTq-Cgܠ[o a2#$FGO&կج{у$so9TRG{r2 SXx{MA/.(wia4Brnv&qa5',7ȝ:аMnR.'V,rU 0p'hʞHp /?['O@? %՟=︳%1Q% 9(|p4xD}i巪D@v{Z "I,'2R^az~j xj(mu<-P;z7Ō;f_;"f<98ms+0'%_'K:3AVB4 9' .wFM6͙|Unᛒe$Lg=u]c=_$YJ~} >j]ø$wBixu6 xAj #̖<3}lwM+np |RP~y&.Q uW%2֘TIVfԜϻRTbH";XZk $`&[i ݚ]P-NsL%p=!s\q3j6qZ=7G00lH52)x x4_Uh8oUvdA ǕG,b)gZE?!ڕaL1PpeKG–*-|V G@ą]жhֳѽlz}CE+ֈl* xAAh|A hf:* 2u{gP`&7>kӚ{X? >g-7C02=/1сm^aP9 U8|tq\Ƃo6q0뼖ޛz!C]9Iz&DJ0ș2rY@/`kI߻~J. ɏR0=7>Vixa{cm~.t$^CbV]IV2N/s5@{GXȠN$gصP4,TaI'9+ ߗ0\3z֞oLm[ WäwQ>COaa,.d Z\NC%d YMX:㍇HM:۬ *W++Q^ҌX7T eX5BN. GsߕH7Zhn uȨ2S_-e[T9m)4CWZ:#M3ݥ[  \06^d+Њ]W>NZ𧸘\}9>rZy*ml';zFTyɾkD{MpN&[]\&Dcm m)}Ӆ⟧R7ٗÁ9l/@k#v\R6N?r خn7x"i`H˜7UFgUne߸WI61);zx "! lRPnɠXDgtA*yOO6QnYf$C "q~@enD_G-QDˎn ܤ6k q ]ۖ1*!Q_ ~=f.|A+&#aZNsnD3Y#7}P~l1|'L@z*)*̌k gS!V#WR8kdT!xZZ8uׅ>{y%w^?, 4aP$cy 70`W"iZ47 qZ7`=H|g6 sa\AN*@SR ;&K5:V{-plЉjt(?cPM2mrᢃ#f /4 쩲z.9 TylϟJݦQʪ+. SA!k֜E+kJ;M%$R D|iOWFZi. kSu %4󙈗.<ç]~VGGeцZ %/s6 ZK"mÓ>O)ysb|{DB4G SLk8};xi+ Ͻ!F޵HuE!/2VI Z:JN, +Ij_<_ biDD16ZPJzz,թvJc.\;gZ&r͉aQzИ)e@@4΢V:6/R\z_h%g K2N'Բ ijr VSoH0"hTqB VNMJ6ȂGI Jom3$XTl-dfoClw@h =C!N}n ϯVq?zpAnqPQ2LWG-_>YM|[#x ԐXpAp>$[1яvp*n7Tn̤#obr$Ճu%`}KIOk#OwoVm3/SCK6Ĕ7U}P߼}G`õMi]D4zR`Ά'8UR|p~U!rrksS :3$O+Hi LO_|1E^N{' Q[~YttIF#BytԢ;/BlMx!Py@X|aӅEۣu~vQdm |qoUUwլw6&pR0<,42k\tzQ02I͔T!-G_ViREhI#mQSI]BO_4Q_7Yߞ:Tsy췊+}D&l󎪙B1!097c07=Ǔ9]ė6Mz5aթ[_fՒ~:aJg#x`1勇3OЇ>h,CcG(ªQC.㣣@ 8b*gԆ&޿c3F)^5ղ!9iMs%B^̈́u}Aˇ?qctիyc-,c)A3٨37 ?2-6 1[heF˙i͘ رS=3JYL9l84fɪ` d[x%Bڱ_ h+%}%Q/If(ʬ0h ֵ$vRʝ2y7D[TE&^M2cM6(W# }^rHBW_#2j@:1 |Uͤ ÝSPФ9 4]R:鈍 W$H?_7v[LJ磚e@@T= ݢ;ZhO\#NLIvAďuO'-X]ENŒyKRogJ3KE˷WC-P4)^ep{:wӀD/$LN"lGIp[hP!uxl:&ܝ91ˑR!陫8e {-v,3!_k5g _p^I\L+_e^F=OFKd_ϦBnݥ&y;,#ȫWA`Sw¼jbXߗV ׾mz= ”ߡmei\Z^퐙YDh0 |ܛ/7Mmt8IR~#7@4hNAbjb^a!t 3h6{Xu/ &Sghf KY*zxCsӛ0ʋ̈ ԔI_kv$c=ehMwW:Wwa=M(܊~LrHKe)3vwfM:n3:iwnoB*-nPMlk{@%4C.8QMurC0eR^ÔR9,x #_7C|@ڠmvSB7je J|,Ym(qɨL9 ^n;J݃Fz DpmAE6|uOzi2*tn{?Ttq{cXb:sPʵOQO\eQpT︳Az^a$|-dHbڰ`ȷa@NXBT#t5kO{ ?io9ȉ"7{9.."juOy% ƭwݑ²jpz 蚍`jziqa0(i2m1yAy} r1c^!KRĭ{KȓE}zo ZgrhH{4Nu`<"3E3"AR0nvzs:y*:b)6M\ 6J9ƩON'E>Yج#0dl21284 46 UM ͘aȅO| gE#sf6?@^yG$ygqY@/H9c+rA?þ"vt;YFL7dg%dMa utHB+2j&y=kwOk,> g <=\i-Nsą)?ِЙJx G2} k<¯B7q/wz_>' ~BYX](^ A'hmFֶA zNZf~~ݭt[,$qn`ʂP| o֍Qҩ,~5@d澀^^ d> D.X#[ޠRn;/5M]5Jf_&/F@fdь5B13{eRˤ{k[wUe?$LӗF@ LIrdh-Z3(;8k#7yi;Jk|`ya`Q2gׂuY V0]S97=M o#-eOjn6syzɀ&{mPR5gwm..XHQ^H㸿0:-&{UWi| a}i^KUc^) [RX6ȯX&aD.(Ev<ȯ7 o>x{zA)+[܏q t4+rC"RtHY_x O524Cr\JI?9N+_iA8 X4#Yձ֖[Rw|zӌ$w/IiU(TݙiJu^| >-7}299GŐmnBrHF0B: l \B ,=fGrj,8,:KR}/(nQOm!3.>r o/wm.NYf~\bLlh&P,AGgjPRd(\9k@?Zxz=v0[(! km%Đ(j^C!ٟ=} )H膡>hJ%x>oN: dux(abU/P|u?S\kҖs cy@S rť$5|CW%h}T:)@ꋝ J/h!n TBt9ZXGn.\w涼EeZEGs=#υIb,lr$#r3 2iHsNBCMbX$sUb8L[YFv..U4zǣ HK7 ʝD n.$ LFźؓKdҘ[uHqln\na~H& iN|RAd?&lN22;3m6yWܗaN Gɻt? j c.gRAJ8KHQ@_rL0'w]I>)JHl,E|nDO2ߌ :j~d#mq# O3!kA>X' x g$7"w*p0b5<&15;B]V Vj1$ПyOr c}#&huV>2*F>r?wtB C75pjn_い ]@wx-.3n2s>+?KaSjEHmobh-1HZ]Q {O~LTy%iRr*jk1,e[bcp8>~8 yhOtO%Sdt>aꄑ"faVZ~ ct|o*?u4o!V ZUޮ%ޔ8+֭S2(HN5qc6QOdNW `t)0 RU Y0#HX74,<Ъ} bŘ_}eG$SPn# /gi5"7b3 Pcu (GLRBR'4e/8[INńwfCȒI3v k{^wS {s] bbSָeP>IwgYs!U d ^nMu/)/reBN8Pnvc]4U[>ոRTx}0J!,՛[hzk}_m6$dCB)SO1 Ze4:,;-(a [(ẍ́&ʯ?Vt*0CQӼ mCjK0PX]{0 p  F Iǔ<3T[_J"g O|t6-?}mZL( )6=mxK̸"w5n*.bnՄ6SNhk -u%v~sßSia}^Դgr1")X*?a-̼Gss@HXi^oF)]V>zs:T^6o=VGMVڔ;R*P `^.ݮC/` 5*ƿ!yϸE5m!<җvNoSb=˞w.3aZ; o>VZgs:Jp+TT#8eeNSXRΘ} |gQMD֕T.v7UTgb/gUGL*v:IK /y APEYA\!׎g* ,tf4K!g@61 -(?NdrD=[q3Ύ")WDz/\<>rGqdH N}`gp!1E+43uU !-I%mzIUE M&Vϯl[O(3 `MN{75S*ai6}8挈Hm/BV M$GzÎʠ)l;n75ZCv᧖˩1X̗)Č~8i3^%i 4s=PEtv;[%az)Hy@r(es!8㌇G["@$$ͬ)f>MZ)Ap4IQ!q &89KL  @!j(FDmR2e՟:F_%"B/Wttj<+Q)SS{|qٲ9D߀Wa|7ʁ94e%[}WU)3RӦrsỵK", 8F'+N~h83b$+@?={tX@`'8i"z>Jӌ(h- hImtt[Ipmm~Y=u-2G 0f(,/N&+L~O_ ʮҊFx A>%|႔J SuUmy@ 4e;Ƌ!t6Z *2N8C9AXmo6ԁm7zT)MBPcoz1Q~-KFͅOX5d`#r:ght XN>@z-rg,vBK$ל=WH&M nq›=Pl8+{zAS8o3_tv{@s + _\A|% d6;̛ՓATL,Ge@VPf`AP}vd8Ў>/yZƝ:߰ 0SCCA wG&t%'2UL%Iƞg|L-bXW>BqSPN@)ީ)j_MsbR:B3:@ Bu\ jJ <0y y|\1# c*3 ~U:wE!+F_]K k,|*.T%72lN5gҐ<#a^͉i61C5w0L678*P&9 G!P-& \i^at ALAk#E(W4唱YۊOٷ,U#rDd4)i'(cFGn-DtT*䘌wbtx{;?6#Ouߛ AHZpToAu5HtBYnH>Bnrȸ@#8TުwkCUXxۭ4}D#_#6Zͺ,p.e@*NU_nĉ4 hqUCŔGߍP$N F)vR *ǰAg_( qST.O!w Eܒ-.7jD?|PGF;sToTU J\z-\PO/  Ђۗ@c U:IĬ_[p#*VOiNaE$nt2%%6gaNo؍{-:nƳ={M,uL](!a-8'{o>$Ϙ Hrz"Š~Yhb_w-m.g.\txSIR]2k޵Jq߿~0CU:ϗ%lj%%6%O`_!9PO8C T `rM2Ω΋-*#]9FVm;>>x6"gR2=mbY~Go2f ~(c1-^3y}9Ke.gM,fX0pmŸ`i7&p)ƢtJȉ"WrAbq5{yy]'_THn(V /k" oDK fgqߞMfQursFǯd/Ok.5*TjWB[A3_8\ erݹg׭CR1H余]J_P19y,eqAy16X؅|exJK]9G Eڌ.Т 4߈K!pǼC/ZxS[T0x٠1+epiTE]H$0ZPidrpdωS _.]L8gr*jJo5P#_+̻ hZ=7}4N7%wxT"R)W=,d{}U6w+-N0_\GzrD9nȺv y`~f2΅ lMj1gH%n="Zͱ(0s= V<9$ҝOd(k7* xu4Vm|Lhu)Uc}W1'ϝF+c/}yLnPcV !Cj Q2.IzO{z;+Gqhk~& vq=2?Yg ЂJ3&R.,oSme<qfI:|:VIL36*ז^GQ<Jl(,&+nHK I8OV_|iRH++Q{iIWM7`Sn+bU^ԶyM|Ԝ~I S}l PC~ [UY{PfO@NxCk!15_9 te}EϳГoЀbD9g}&"jWL.C bDĖ $zpl _Wlb'B]zZTI{#հ*TpJ\q|ącetRj֖n|8DI$>,ֲ%E޼e#\$jld"|KUNk:C-E䎗1 -vWz=mLpƯ F}_Z-]$kYԂ_dڲ#=֢c) &OyBV%,M'_cuyIJˍQ[sBs8׮sL+nkUf9P ZcPo8s[*nǪUhpk$u [{kusJbr&b.h\@'xa(LXTMz~O"-hex/h󯷐x_/Sფ[V7aJf<g+߸~N˚/[DJF(B,I1p!LS"Hؾ:m'&ۅ횿O{ Td;m9H3v^xJH~!N:$-#d{DbSLJ Y}L{g׳>E W$߭fO,+?y 'K5@\)-GIQׇ和#N\ֹ%R|Mt*L#Kc$@#2yRƏY(X#iNᅎTL>F'm3T0p{ -:G! {;ov@MeѢ8zWOQCƖjT sǂopoAyt.$m*gǪWc\$ 茢i$Ľ~0%k7TmZ \!3 |7WJ{#L;LԜ⬭g[5WEԔ8ښ]E+]mPR[Vx9J拜/q,O6i3 fueZ.Y3֑.hW]v鈾덲ʋ^D':࣋"j) jc_6тֶ)$og9B)0t3~0e+H[;b)L9M]r]ȩ ^g;+M{u{g3 ri7^ X8rh$ ,xΉQ?j`n@6-WQsWmy,(Qo_+$WT xzm,/6Ic%1Y﹣ QlDH3lG=ƻcњevP.} l@|mq5a- . EC"/$&WVtCe۫yV^0eETb@sE.ws iކ'^?I)tks2bF́{7ĠPjN``S2[W/ MՑV+3M)E29(RrEͻ,59psH$0"Mڞئp\W:4^FTedllyxaWG Lq_S;- twi/_QGLN4\S,nlh^<׋c&|'uY譪$Z@Õ2 Elm@AY%%Q^}t.ܤOc }˃ R#TԖ@ucd;"R  b p"o>do <D_}'a:z~iS;ZR>+ZjCX'նu94t&ЇО6˕hZ<(ANI⢄i8IX[5)( "_3-c2Dr4QC,|L}'<, ARz K)'Cn=F'ݪԀЄ[n!*%v{^|D)W)mwe4~IƧIk \ϞBWaNE, $3:3z8dkYt2r3 dj^&KQ5W@gwNǪ$[" Rj}<h)!%[ۖpk!Bگ0hȶCBWEзq$3sD*T~6L:΁~ F&WF$^ /cJ9^m/Rp^k=XxHhiŔL|#K[KΪr+2=TGIBo$>,2T0"(VGJ|yX7069ڢ9wWIU,.MDsΟrAHlr\5`@re_alCzz н=>ZNYNފŠ֖iۙwDj3أ≕_.2 Ft!;%Pѿbb+":L6 t+^cُy\rn>˲+,ŷ|\r~;{h3Phy)b4>Z{Cq0Lٸ0"(CEve̔YC, v[>SoIIou?5%v% nidkm~c?ݷG%(Trۭ nyLboAkg d)3V2[^@a$VY'VTaM .fV$5(WCMG8$Ȫ0^GKF;Mj$T"# pnjf^c4}<HCxǷkePvH`Nbb I`+Q˖_.KZ3}g~\mU}' dKCwQr J݉ͺHv:e pP RRoe{<hU%d0#~avӌ9wȓtnAıO87,6dD9{k_#t^+qfZڿ^x߯4&yKwжyDPy:Mx\ tup-KKYFOǞEbi*$٨vyA2wM9h Q%*Eg Vbz8e* >xNa٬;H<]mC bEyDmwA߮B^[<]=7m?݆af3:~6xX;;igw%N!!]RG19~Jô7|2-/>?NV/ξ-o†Bu: ]۫lPZX@=Iu'bG^ ӯ˃><^CKJ@)r֖],t(KnDAXEL #u c1^J29-hG 2|KuKBbT\"ҝ#6 7 2ITJ^fI:"u2֗&ɧ-DK pn(,e6{Jw,}!R9%WlOƮ ]A 21  w++>sLwGu<)1&"A$cy+=8=dqgѡE#%+ TqD3AI< $墚cu(<,p7eCh϶?k;ë֖C~qĿg%ʭcCyo?KNh";T;sq??@7(mrT.\ DOo39#S 7e0:Uz]r hNĺ/3KO=kϒT߀=:E q~`#<ڲ іFOԢk U稕*( . yeԑ5EQUE跚ٷzl]q&o{Tb]1s2zbR4qzwaG53mՍ.Hr q]gdnlHoIW9g&q95 )E' YsgL=nXc ܞyn߭`K| ^ mkP^V$;ɶwea %'/ CB6$jQ3#heDtx:@#ۯYi 5׀Wl hC{tCpKXw- 1S&N~=b].i>}hAL@"^.(M׳yihoyVnysYIJsp`C=EB{ry%et9"p9/'MmQ@-jB=_y(.tjp«4\CuD!Becg;"SAfϿ\m%ѥt V6+ߖ' <BS1v&TҒk(VvlwP9}?D)K> | a_oD¯#k"ߣ,U h đՖxM8,VRǓG: 1W"gv(xqӋAέ} gI ?9?v>g~jZF0,d7Y> [L[93(F}xv)Õ¤s0)IIe}NθLg~)4caK0Q{:& YqcM%D6w$ ISǣCu}f3KJl6DZ_I$ ^|Bg"C._}OuZݷMţ M]XNxcW֐mSZN#V=ysi\ȑ? 8,tf;"i=4b?6jG |S*.0o@ؘm/4,2h@4kˆ*ˉ6Nζjx#-x(Xp8@# >bf^/ܻ}Dzaі /jGw =^oŋfKђa[]֜G+%F X8-AU.sS3ՄtյzljŔ2_`Fj6ŻРKnug~s!BmSa%+%rls4\&@o-7kUp߶|ݖ1Lܓ||6>JwFUމl&C,+WT.U{a≠Fs*RNqΝ^4x{]@j<倬Nj3oV .]q)p$A؜`[UOt([[v^|[4ΜHU8^+`|AIoC\m9o48MI|3X8:h a8?3NLů[4@AZRK#m_EE7?/ R9•@HoI&~84pWTJ,3tP!F<]}Ku,M8_/\=?&guK-gUQA1+o\g a,G.+W(<\Gڛ{;\z9"$蚂xpJI}O0Q~f%P41?TV"t3o) bg}XǎKEwqbs`}ވ)&WD؉{i/ ܺn@+?,$5l0"{A['iCF<;3/*4Tn07/2eV"{C4-|5f.O 8c>S!CReZqQO,r BD>`(7äFSRz0>sBY?8\iwSZ(?y45 x_!ˇ##W6@}`)]ѥ)onvhM UMRSF`e_ۑӃOfQL`7$,~z ]fSwnjV)>0YG ˎW)hgWt#q՘({sLeAݻٯ-pS-,f"6/*YDAx}$LkP3USU]Մe[#%mfH#ŀ%׵@ʶԔx8ZJm]iUKN0 v'Ukc|NԘ[C{MCed@]3?G]).6gx !^жSwD/+Oq)D;4ѥ!ln#*eeXUfEWٻ,hjaTxf6Mtv*}avHH -d&Xq5Pz#&G{|<h.lcx-K'2CBv~[9i~e&v-c*[KȲXfADPLY~\y᥏mQH\eiRL)p#NMJQP$N˱)|h/wiT_j15秺KȚYҀXlؘBOZje+a=>e1&wX^?diOȎ/4X|;̡a>0t≠AոQ9P1>P(9bs 5{!C7`6Ci0~WTrDUFNS hfq;I}.;#s1ي=3 ľ{3-yhp4S،xJV0=dNʒg] F?uar=k/:utǷGXh/$8|7uKԓS&攈1ƵmpMlb"F12hbsĂ"WkYS{֟H'#3 #eй0?np :EА,cՍlS?c쏃ٔ 9kڴ(-Om7jAx~naWi"7nWwMJh});*/W0$> ܨ$gǓC{WǶ,a1&Sma=޺ԖQ[>1FrߕT 2r/. n1"P[e,Гadco+)VO;t~y|ٴU7wЏ18G/_0һxا *J= llg l'qOMuH*/bY x(=b܁vAߠx i,L~FCHx0NOuJ<5-9LBvf\u02ۈN:pFFQ4Me\:CTYzB{z="XmdJݥ&ACF 5#ɟڃ^F25fZegYZ7zXZִF! nUB]ŗXi%o/Wk H,L1s6Zyn]8蝿9`Wc;L^)g]xJa0+:|;9V\b$9Ȋڣ<:U+P`Ezjr+fJ=@B*[q,$Һ>iqfU|xŔ p]n'kѢzK $l L X<7Ly`!;?~mn[n M*)G9H6#H́1#-a2Za]՗MɖYf'1/H̃K2{_Õa0Ȕ1[F+{eL+b_Bv?i;Dã؅":7w6  (Cխxᖞա(VąO;C h=z#M/P$.+w0hRq:ZzȂ*jl(BZ>lΡl+0^؁^){4Us|k0O!2|ʃR`xlO@ܹrrAɮNY`UȰDq3p{x_kOKKmwG0/"??Z]7NfTQQJփ_76EԃR pB~S prP6CtD.!p.Q3Ts, Y=4}˖uG F1z!QUުԡkX#_);d&7|ow-uv8':A:Wއl[veiE1hnăW+UMCs Ǔ:H}t*e_@%DRKi}v{dwoD%CXƗq0EÃ6ՠC*y/1aVD[˿EgQ oܥNȻJ3j vJ5X^'4ja.3>e(ƥ]JrLq}/3Qr*s72 zqoogɇaJ08! LTK{Q%lq]gO" #v1@7[s'bC7Ά^8E}͗O@;  zbAmT1$4]`Kx#:$~֍os /$xs!*RrUX,WUKf'.Cf*((@dyZ-}uV%/z'Nb7l "Yv|G n38t,7]`v~E}Qj1{̍j.NpϠ$LX~$fۏiآ5#% ;; 0xIi# `rs C(L{ؕp:啄+(9 W:Ϟ<ǍkW. X$i$[IH7i5*&M|usJGj&XUx-{*m#bK)nDžơ׾FO57r.@!ET+˕Rh|-H #aQXeCNؼe_{E{&ag(_F2X" XiK%2,/RĮ n[r#3э9sI[GI6\Wm2j66Rg:w, 5XIʧ)9Y|N^eHZO|~ IxL+zpIV꣟$SB` >]Y)q?($w1gDkjbZvGF!ZJ2dǔ#.e!;@k)ߔZpp;YC쐸\nDqsE՟~^ !Umۆݡ9 @'=:R.nH$4fr An%D/E^*%wvMZ\`C` ͟k-.Itfn[:6ʰn\q_s#g2ˁ, ZZ[9gSKG0MސxZ\f-K09Z!o)v Q\"S'[3[N:A~KP &XoZCXb4bh"8fq,!ek^O ?VuaPw?䍮V<ޘp(ߒs'*,Hcsw",J@[v+"҇E@OSDr,kP\cT3k3ꉒ 1Akxħ@`~H$(dMmc k[XA7Tƃr!KطXQ/;AwXdGe dsy Um}H3|i񃙢BÛ;(%u5+QPax?K,f ;Qҏ⊾jWHWh:!C]&'EښVR-]^Th4 49H97p=η=^xFѬcMؽ bb]\C06}aWPvhHLvgK(\ { 0G9Hݖ;mzޛa)h5"T `z^d0N)n)^*bغ 2O`hvrMk$;6&l0?MRxR;DC i4%}'>dZn3@JÇUlѲȎ1T@P]bxȕlnWW WPt_s: yY$D*2Hz8z76(":Y*D_rT}PV+\+S/ZTe/jqesZE`K65*e0{Bc "hk [)N ec$(h@f93#!$`_ЁR79>gCe m_?SѵfṿzX-w-޸%.AդY5{_/CH :b dg 1,y*$"ŤN`X/M nO1v>R#`w2L/_:bDdc2S{keixEt!Q8}Б%޲ :!99z瀛Nn Ȩ}T?Z%&4tmek(a@PN WDVuT;csx(붳#+׹q#Cќ_7 MbK8ذ=\_D+$mTa"QͤA;J]jؗi8"ͬPg oeIAx(>9g&־SupqS*(2v;רR@՝EC\/UV#+/ rZ1 h2tM zf pܷe?qjJO4p:Bք"j5Ff̦H28<2FM|MK4>I4{bkKmM^Eq+$ڃbRjl*GƜǒ78z~C?ml R 4sB#zRU8e) XY?= hԣo4`u\OZj?,$c_>֑lB)uZ\sd+xUD"s^Mz×fe]atX7mu+1&)@Ug]@ֿy*1< &$݀} e܁`S xcu;q|aqO'|ţt%=Ixb%!\xޭ} )sb=Zx^8h؆{:̰:𧦖Y+t}q WX',(O DD[XbAٳFcE P$fO@=7ϱ HF?M>ڰWU@\C_C[iTJ[ZHc"90*#\XLI+R߀qt$>bHƷLuO]B05G8&uK1dPz;d7%@y|] OJQAJ@R8cFUk#JA׫V.!QW 6͙ vWbag @prgP+V"Cm2mXtⓂE\O7ME&)OxX0nvOx Yo\b>V(d o%ژ ,@LHv<)#Y挠A1PƭafW 09X2 ~E'W`xjV NC!r*)sE {s\ Z)rC_l4c j?4O)CC`/BV553M1MrR%HpR;W 9-=] ngKO-Z\uYl4E:KxHx\gA`DcGnGHbVOL]ӹ&dc6]?WZOR 0΅nv>j pzԭ_XV 6E&+h¢@Z`pJC]{`zE<|U@SlNU)x0{Hy2ʈ4B, (QdύXSo+0YȔt1[/FR XXqR=Hv ޯТ rR39W>~:AָT@IM`GD9DWnjz Ah6qDn0 C}V8h Uߐ%z3Q%Ns'%af)2,0(}L L+s/G |/U/?$⹒LURptU;dkߩ}vЊ\fQT[CޞՕ&r"Go^B"c>mjp]JkC 锰{:ߟ?L:7^ϫ 8W[ G)@lc~`R';h N=Χhf &@h}*M^Av17<9QZ8 ή-d$/Tfѕ6Q3ٱZ};6BkV)1͖l#7bp%BZU2.S2b uP0|'@ApaŐҨm0jquփRBĝ H΍61w4(xgڲxy0<NBLrm6D?>U1^P"5FOϟcfK(SP][ ._1XfvN X`ck^n[ .e?p*fexHJUc? U Dbً<1Y",2b;Ŭ\3rP?ԋR۸VKw3z b Xa{6F79F6i{Ӥ*=@B"!酎+$>_c'z[m?D0UulQKlEo9DoE-wTF",1.G,΃[ӝQRT$2*Vbq(GvaKu.ZPO=fI}}ymh_4p -ROJpߏהRQǤȟ,Ip>&q XTul9vk&,4n@y2֞۶uwDG>g! w*\ a{#Vq\2_&&Sm1eA8 W 0HS\R{ݙx]tj@9L#Ac+iO57Euv۠a\vǢ{e-me+%3!P9-׃q ArVr+V:ےY&k 8=09}˪yL N26Tn ^~bQ7D :xfnjg&]W8?/Xw2LJb]D8 3mB0,3< iaVxޞnBM/CV*S/5yDƴ%Ott/wUj܀L&G;B;7]hQ T\#TlC>g66 8#K6V2ut\ S 0`SD訩%e"jºFMQ5WlmnƘL g` Bm30v}Wv)}d\** EsA,f~Aէv}4_'*\K1=ah_[&+1% '蓒F4/RjjfuaIlbP^HxSB0zGlxXQ5osŜc87fVp#?6:u&JO e(դ845JV2Ha U Jh0߆4hR^[N`Q q~hE9!&Ae/%zGP*̗|0<ѽ(>lÀDaP{yxp&{6I귶ZnvW}u~Ҵ}l1흋.?:WydQ%,(*7ibz{yrgAO<%)iktʵ+^`,G.qwdB#zJ(8P]<2#j8A"I 3;F&nV_Cn>j)'CJ&9oB`g#AS(΋߰Qn`97iTFM $bA"? :-(*~Uc3r}RraпdmM+лrSӄ.mj= g&lA}Vua·y伜?\7?k1GU,u<'I.hQ}LKQH0ҩ!D0~˘&S7*hygP(JɐN&P@\s;e0ˏ9x:l]fMxU3Kl\``h@hQwl AQ</*r RКQղp8.َxНz[ 쫸ٷj+1\T*] PEÄIc }Y3\d2(!coRDa^EVu#3Tk^JJ|#Ҡ|PU2MaKaޭ +Ęw{2D`+-y:ip/Ջ.[z~_'CX;<W*'9 *f"BDdF SyDqtB'0`ku'Mje53?[~N, ЁcL:8Zd5R!+^ XA+"rظɦO2Ӷ)f|~|dұ0]7_,Mn:nhfb%3w?ɮs$v̓m JeIu 9re%>OP(k;:[$}zZ߮Y{r ˩}͑7EZ'b1\wY=#['g\2L~_-$ZȘOR/xvhc|pﺱ$02E%C9h@9&Q<%4V9 QtdEΚ?t]JΖ-p u ?j'FCE5E7=w;5 0%; |wYn(Şw˸Eh+z@vj5X姚y$G:(v%fҘ|;o_sq5Mmycz^N+sԇIVa Dy<_Ĉq]fK.x]Sng1 (1uL2WWD<_q ]r<(%?:jK<2|ݵK;:aýގsV:ҼBvJ4 ]F<(wb2FjPCHD.'h%d ޻<5K'c;THLOxyeMFR,DU$ 58ZP]l&P@~L))K[-,D}aȗ]FJ͈ 06Հ~@\Zʰ̈˪16˯!`d>*37 15y.:+]qK ux1:h (۾pVKwER>,$hdz,D92Rxc*fy՝]hH~!K8as|=0Y=rn]5jH]}o[򞗺g|' {'c1Qxԧ(ϓcԆ+Z ޲lR }Kf*tBQ2#'k)'VV97"ȚyHHc;,19%Y3}C7NoŘƜ1<rAE~6W 퇂ݛNܑH 7 ߾-7>i^u'17kuAsT#Q(c4CChUMzoF;$UIŹ*N*/ptksU6O*BMgסßfȯEvϢԩ2hT &!Q$}J)=hI%LeT_* >b͈kd s# 'ne;?34حVN>GSFw\UP u"uL\Y,uXU۹ tY|'P4H6eG!Du:$[5o6AدRĭvV:??Sl߫Q()D % }"?>`PFFCe)5\5sKacml$!%N;cHE#F eMu$ljzoͨ/cD8; o;0P+0r !O"ghP7NW+.4n'oHq?d6 "J.bDfZQwLLZH%֋,j=Nct ]uw^OǠN #DKgs ĶDkx-i/JuNcm4Uٸs=ӋIudDI`0$~ک/<0iK:+wvB?)>˩lG)UVm*#_zI?[޲^d=8HNʠkF%_U"<܉ aЬe cF'* =.RS[GY{?H~A< K{ 2sN55>XJCe(zm(2$s}lo\$9hԃR0؀8ƺi.O֍&_-.sN9X1vNfzQy}Xȥ5>K9Q/{y#zYslX6Dz*!Clc -K®>e=ׁ5&ykl:ւS/2f"KLږU5y:I6p{}YSe(0=5z$f7CkAha26R!\fS:d{԰*|⎣¯%lTی]JiVGP?7>2$Tmid9_9NCߐ4XN玮a̩jAth̀"F; 8*㊾3ߦ+4]fo!Ml?$A7P ʰH>;>-."~rqr8(  *+҄F| 70z]Y4Z:p^׌dҷk0^lVi H+!y16Ѕ`~e9+y5ٕԍ]^90[&)9Sa/SNve hq0GcZ@$oh:`G1H J-!.ȅTH̼?i)CHn_˞(S'ndr/Ҙ bGCTGXkye? D"02W2*0n&ip੹I!gv~ֽׄsK/UGZhsGmgeTCPF g4aI+O$Ll\ _gIYf$Hvz"Њeēݟ;LcV¾mJ<;1 P3\hr5(p$-}rzgħK"W`\^?:=.|`(@KtdR-f[qm"\e0:TWV7%"'@]/'BD<{v9N6sTxBsnŏ%'_n. R`IUt8Gg "`9/C=$w% Ѥg<4nuuڻ{]L\-,HsTS#ޡsFq;u qaO(v͐=XeETGwt1jpNl= |^sXy,GR[L$g pT!lU@*^ %26G(n&8Z~{ UKw]KGiPH]uo{xg'~Zjwm##|?.W/FEV5Eu@ɠ6Y\N8)T_[W[ >,mЃ<^jԸ%CZ'-Ts5bG4 s <\Ȫ]}M0dh,H!Ka3AgzT1b;LvgM=ZJ^ J l h6%wn0ͳwodϷjCPul[om=X.%%mB1o{ƁBȾbH Zn="cÚ,`)܍G9@Մqʲe6|ϋ*ćḒ@&([%wM1rxmܭn<uQaQwcJ8 Ŷy1A%<@Q5Q]rQN{-XuSghlԎ]v¿(!Maj(Q@Ar-GS@K6hX|b>kGwQ* 59n\|T@YhKyTk94p op˱̖9boM^d{X/h`ʑ`Q ҃RVecy=,ϐE 8M_)grRvPGGV\c#{$P7V@-u˓RFfc̉n;#Iٖ=`Q4rVw2=eʄ{/YPWv'j;yYo$IgiEy-`=AܼXRz7*^ };}mvXؑ*]u3aYtYw_)kF"o9.KR]ڞo*T62! /y@Yޒ%'[+M>cF(akt=c8\nçAmiW" `@?Rԝ"FJz˫,/6.)Y!!ix^H \}RjŅ(ˈ:O¸(IK,Ӟ՟VW/4љ~qD7OK%FP؝Zf+`51ҙsć1/nd}+,̂l4g!ҕVvo4WÂ`rfTn)-/wGb!/6ꩄHߡwUAbQg1 aAiZSz7t.dCSS:$l|3/ %,&E H^$(:v!+CD8M>| T109xn:w:Y90) QM^PdNrf\UEZz%8%($qfXt2; BţAq%2UUk}UذI<4B^U4 WdL(sFcbi $RMu:kT#.T>iwfP@ā_A:C_عBvPzo=7Õ]#U9_J): V*+&zcw|MJ7s0_! e#Ā3C3c׸OnZ$52Bk@b,q(ߤ!xnR L [ T'zTG8H&>!z&(08i ܈ְd!)6ˆ "9e=5(@>AUY$ h[{E=Z'-Q@ꗛ`l)-k}0lzNKU2'5mN"J;\=v؅: $f3Op&.SFYKog{{zC \r7cBG%9^m[S,OƩ,tEj p$IHruK YTY-o)-:'Q9ֆA.uCpJW~$qLuZE=MɸӇCp)z߮XJ߶[{| $,9q51pQf [B\GXtF6ˌUѲffbDK}8!qÊ~iaG3ԿP1 EL`Dqђm/Yj_h$WۥĀl/W]"*B>ЊSOc/!I!?QFrla8X+}VV3c 4ʓDp{Lv/(_QX>rhuk%]71Ϳ9G93E?[.mjpRA"̴bؔ^gu^^%8K6tj:=5 ϴ3V_ ?kpEdf]^ߦZ#QCaZ?A[@|/YQfN" g !64κ+_$}lJܳBlw;Rj.nu@5 vSD;OTy5%=a8l_ƿ(>tCGboH?b\ zMT&0F8 ‘;`fVpc l&S_tC =\;-€2ZN-[Qe~CyP\f{Q&Ƭt?<)Tg]>Z`zV!pǞf$2] 0A|dk)uƣT>-Q#;NDJM iV7J f~`3cV}NkZ6RZr6QeOdYuMcWU@XN$x"5mP"刷t)U Kϑ{-3nIK1VFE+__`v@q2d] ?h-i~_2ї3R4X؏5 ?;/mVOܘ[;ҲO Nί-G"Q,;,` sD Oo\xPل}"9-LcI'f[:heAwL oz%YpaVR?xfY* B0e$äGEu+DP$q$ 6*}j,#›vџIn,I149!,־(|w! 0<˛~PjZŅ:Ho/ϻh(:jFYXNj %+L?ojV(kd_Enqnr-q%jEiSvE{femByp0up+ m92K X'إZi)VȮK4dsl)7ptp]&PU#x3IbM8^$ӈ?WiϏ`KRp N!thi0O4}ɎM&9dlD"&Z#t2D+6uWmg:Q|q9Gb-*$rxoĭ=6n]SŽRyو Y]Uy|:8Nf&kHm쁾3FHISү\#}IӳΉ#d+퇘 w½ܑ>3 .?RICy[4Ͷ;E/5U ?zˌyk*HbU3r4^PG{ѢϮ&~=fn@`&=<_$Y-1Y.E :8HMA:gfPy2H>wQ(A (km$cY8ݾȠ8mDL% |ȹ{=Zu>3{ug.j{ҷ Neeos}$!=5kϕ򭶒c}F! -YL9۲'#P 1Y 1 ?'[)} 5%'8ރ5Rt稢ttS-[iQj)RYrVN9O3͘ GA[Mܑ+zł]qX"3E `ճ)$$fVk5nةmR.9KeLL~p ϲ8GfҿqbmR ׷;I&+pZ,/uفnQ3" Z,!,@> aK8z+6/٭@{uk{TmY*H!jSy:5w(ɯ< tFC;(aG8F [Yh!,dOAFsW}kgD uNaCRǖ_ߨNSX/ ]NTW*af +Mf(+\v`^Vp4Sު HgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525cb68bbecb0ed1fd634e66b332c9022b3f55bd474 a756d93ac176ab627fe515dc5c3d2087811b9820 b43a62e6e939548bc93d3af1b330a01cfd3081dc