SQLite format 3@ 8- 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 35 ; HOL-Nominal-Examples:threads=6elapsed=363.330cpu=1366.132gc=118.876factor=3.767zXZִF! Zy|]ŗXf1-q恈ބԍW_8FW'<㺊kP…#Cp)%M|Vv@# dykd# 5 HOL-Nominal-Examples._]ph_Ǫ Xh b*ȇԺ [AFb,ҟJ6vJE=3ÿYFah|9bȅI14\Yd}3^fgL:9DqɃ|8Wq[|1?,ZmN@X=xt uhUv2=:TXVd1 ut&0|"WEiemHvԘm`.a8Kiq6aۅ_чcɂО~>E( J$Oִ ň9GQ`ħ,0tĘ6eջ5][Q˟E89I`2׷߫b\u^ _NT\G (͔@ZМh>gx>VSv\[z&-mԫu GZ J@1R70(tI%䟐֞R` *ibd-7_t(V[ow:cHMQ/Bďզȓj=윩wK&Cu,Ϲ7Ї0nNA5Fx9̤g@f#\uHTIw /?z5ΠXڶgPDM s^WxL1"`s9+u%k2XB.1ִkzB_R Rhy|5z|IS(ܣn},ءAc9+ Ax-B{q:!R]K|d<\rUSKċcgo&v@ZGEFMfz@]2L^.'g-W%oNdXcm#np%bF!iH&D4rP*A]:B!Rgُ_AZª؃J"m7U Ц1'933ZCd ; [m5XuITLMl溳_6Kvx;c(=y%ͰZ0%?SF`9K]ı@T?j&.K:c;ޫMj`#/ ^ACBwKhiWm%Bc_ۮ /6s=0t Xh$~ 9ߛ+oql<yHI 죄j;K*ͺYŚִ'Jzo'iMI>BI2G3<%«RnS0 .Řt@wtk-۳j No;5p(dZְL8adZZ4}|-//!oMve45Q@tTzM6j ƒ <a#wIu;%(x-ya:dKZ5zno6@@?\?RQGwP2D!|o?CW8h Qi)68s*1ܜUk#&lG^16IH뵩YBENO%)Uƞ~qRƋ}}fP _5d"0*b.$ҟ+?ADIQM5Wn!؜{[ +6;o*`݉H{:D4 3zYm52s4*<4TOrǕ׹٥KU3{#AvΞ|`B@\OqtLOb)\Ϊ>Ɂ!m4ԩE6ՠx}sc*l 8TmyrX2B21'=?\j5C}kԬCC:SM4DsRP6d[*n*YaoBp:+C߅\篿K%x&m(usU@,AEw}'ӡu XkZeyO>wWzZ92 qi/(]G.sɯ6CCF)h]l1s}^F*(Ȯu] FqO;}PɶTt idps}G8&fπc?Yn9Romʹ7KyNmff*Shp{Ən0bMNbesd'E!3gfH,@&Np#(EQP_[r3e7 +ZvG}1\Ơ%;eV׫k3Ys U GF0sa3Z5T4Et_;@.гʖ5j> UwҘ*3;5~\v£*@m9A*ͣcIgVs̄[9"P&d8#3p^e!Ýu2@3#[.`5 |WN]Ɏ 3LaڪȂvL~""3 8yJClD!BXWS&a7l(;,u^|ð M ¦.7)So=Pk+H%I=$H:+۬&ې_E0KޡK.;8-%{If]bkun|r$y:LC. .:w<v廐vW} T/oIpG q) WCF+2 ׹[/lxV;#nzۆn!Aeŧ 2$砕{}>hr2K2ƭӱP̚5#AIn[J)qVx^rǪ'؊sPQI[Lf$cG.#n<W"Pw{c&4JQQkÄβ T]nTGx#+^rbrL aP\uZ=ο?ܖ+۷{t] N7_F^[.Y?֯manr& t@`&ݢes1[ /Z J\7rDǐ83HQ>Exݧ6+}#RL}$!Z7])Bp/Fst(us/X bdRWB)>oٻ4Xf o]LnP]OݛǶ{u%A.rgBб$EŶZ>萻ak9#}h 4CM^Dz֋bF18 cY$]%XaKd@ǜRKi_YN-gM;%ao;hMRAv}:3d3s D >P7N2yleuŖ0G-`@ǃU ]eg V4ۓ'ptVو*׬vщJBs>%4XFMAE0Lt,L%#rR:=f㥱w\J)998+5DΚU6ֺ +7 A]Ѽ lKc9?o/ݭ}Wn{HCCrs3B,ي/:luEJȹՑ)MI]?gax=[@kqfYģ$Odb]rMY7iOIx3vy:1yopAr( &Ve5fXqL="l~|F1W m'A:K!g/6~Kv*@{ 7hGA簽%jWxjuK^Է(v!" xRYm m.Xq%>#qNٗClcw g?D/T_=Hۄ7BG= ef@? XI1c#~tṟAw;f!3%l 3o51f DӸ5w_l貃b7 b -k#%̽0*߰x?B좢,i|rۜâjoJ0>: je}ަRG$}Ϧz]L {@` 0`qB#y yٖi)(0u}Kjr{j.$0 CcW+4ѧfb&lVǁGQJ-yRC -hl*ރ@f+SݐWT#bh-r(=p,0g/2nZ؆\Z43sF\ &'b<>6|hY&',=z%k102xfu"7å|XIk˕2H#MG'cJ%ђh8ĿX:,HR/kf V QfT]ZZ1ʞ .w?٪%HO`WB l@Ke*d~y]^xšM/7DvF)v4"|{g8z.V|ssLNJi̬!_>hvΊTyAo3VBu>9h.>И*[w(jRzsR-S2&y u2]F}7оj #i-^QnBܾB  vP}NFuBN*~LegSͼs}C? c4©ڊ˵EO}0BTMۓqýς-W=mDOc{\yŴJ I~u5e 2[jWƅ$߃;ut{}E8Qe?-]Dd@T# ^$u;T+p2|TtHnXǝI1oqOVGL/Ci.čBe8_?'}#zs/E{}&o(:`澏"ii}X͝$ӥR6$M51Sce8Bon5Z& h䔮D>RHH?su![,Ha(Fn7amu"vSO )/'}By8{T(3llZaf, Šl<4&ǡЏM>mZ(0\vE(޻מU<(qV e7n#Ł:?͟er4i3N̢bħh5zM OӡÚT6̗_JVH;k2z3%W%dp3 |%jrYWsM2dEy.ŭ yݮz?}N7:Wq"WY:;i%dY~O=huEA߅S+S?#XDR^6j]A3 (pԇ/هW$7Zׁtu; (z9[H 4]sm>mz^YF`&/+xE%H^=:st7BLGKȷ&nn,*Q4V1p[폎L!XgI\~w ! ęvҳdq>ј{>d9{ͺ(G1E])3GrhJD=@q2ᄘY"}y1U7X=}'s%#͢ KSvPd |_5fx *}匄^D8$wfwݖ>Xҫ]r92e.&p{bA2/ $(P> њt53h+1*kϤ gsFHS:_!kJ ɐBdpH_7¥`1G.ƈTK\a2 |h5pEqtfBJ{=p*{\݌6hyf|9dFKBo.b$[ w{E:QmW|n8[PY>v,p}2yIqk&8" l'W0~rzNjb & ꢟV-͵ %Kz#7"$o/LR*2jaho KC|K`AyW6_ؕg܄=ʄ/r%TVخ}m'1 zH5̟_ݬ+u AW"MXI֏cI.de}.7p! f"펞?9?_UxQ2-)a0Q>r W EF UhG$R*OlN10YCbpGI? q]:+ʤG윧+SS,B(2P;QȔ g5^󧇴dl.NS&<|:l@|E"bkBUdP:+C#8j|'ƾf 2_§g\?U0sRXX?ZCF!.- 9zq* akdOW_kR;\BQiZrpoͬ_7]ei#b{Gɒ?b˫ZuMe07}+iJKS4~m짂b2{! g(=bSU~-7fn~ƵO|,r0Qod)8hݔn?j]&zo s bP;+7a.w-?wZ}D,r5>@t a|~3AU aا`7#y d6kCF=?cTp&-.MNhXzPF46J4ٲ>ۊTh-wbE vY oݼƭl9ɰ@+)'J G1VT<mZDȭ*+y"23۲;~O9+k?jP%z HtRȻJ;7S)W3K7 xNF-biNء2u| IΪ%^mݤK~O]zE})UҽC{Y m> Lw᠟]6iK%YDZ΋KH#갮PV7PEM1U kƼJZ|/f̻Zt_@c> hkFPH9 k Ŷi@X}ssIm-OBxeZΙS.x(BXWs3Wn,: Ɠ(^N;-DǼ)Q$ ld,TVKb9Rf:4 .V^SVd}E#Uz 'rj@(:Eo,FB (5y궩2: >U΂3uTuUlα}np7X]%v(/Q-2ܵ QO; Y^ŎG  xZn:0/=(Uf={D/(M a*&չTFKE@MIq)WPYW}XyyX+oS\Xz.D 3FK[ɮYڽMX Y}y.98 Rɗ9_wflA.c36Nypl,/aOMyFb|cmn#G0ѽ pIitRLy~q@@f!WMdh^1t*lZ)!\~F r=9񏈙`a{ݩ5 |.8H;BOCN1LrO:cF|/-s3 $ ".yk:G̴evI=ĥZ 3xPB>+#./]F>GHVKn2O}ʂcH-2Ub'0gŒc֟RMقkbggCi+WH M[kM4bٹfzW1oG㼤o; ߬I795b9Hη}vVO-ɿ[_zu; JPno-[r k}˦>@fOfJgyѥ-͚*X 听Vl4yuư?>#Qi@n=t_/kהEՐOb_ j9)2"S(gx&UF5БHԊ=T𫚾IR3 nor5Em4θ)MI3B{VUP!Zԕ!ưM.3d {x-J4S ~e-4m̚|2>+w*%+W"#s8ߛ{CthL믖_@x~jB G[tQL|bLj؉D:3 V^r:R4_1M6HƆtaD4qVYad6zi[J  &=PS5߲Fg<NO~*f3$,n$񝉘qi>mQ :𑚛-o?aiG:gBGg!)Ez|ת:0z挃zRK ?YOP桍e4gB|a޷'xq_/1Ƹ;yC*A7FQeFgx6bW:f'tKl`Xz۬:O|SF"ʧ[T_e;ob ≣ 蠫m[ﰨ#9U.H0a PkK3yn.ooDB:T= #$dFi}1hPÑ%?]J=vQ}'\USHa᧻D7<"[lS-/!Y0ʽ7Z9TXBW5JZvd 4a#kzU6b]M8}TTM)͐5oRJIӅS]a]p_ʛ4VeG&v&x:mI5>bZf{|82֕f`v޵:TYD}YUG7FhFjIŇ$g12v 2w>Nݽk:vNٴ(KԳlx1dw~E_M=Rg6> =abI$tbdY"..ޞl*m*pd^Ș{f4^,i -hND$0 Ǐ+GI> Gz\c??`bÂa`Uch-rT:/  ڟ0]WrxSd-ر_|4NoSlPWuhÖAo| z a ;q\mh\6x*thhKJ. :g.ruK2u˼'?vYLy>,Bv<=yst9<=Pʞ<*c-u}Xy|>W"i4} wSt,ǯMO,`U^iKyEeUCXmXؾ$.8[c} A6TPm _06?@5 hnz`_yuDi:ݷn(R-?7zMmW(zRP(CC4lr[z n4ܡ)wA}Ӄ{fa({'/7 ]Y&S!7HA~Vn[]}K~\~,dӅ"/3g/T{9\ވAHKzLs*\L`Z|z>9>Ra6*J}Kݾ)oh=q!^-3Ȃ#rڴEYyUj10tO]yWĈZv:N:&Eíj >z٣U."c7#fE^s:ő;Io. 2,Klmv@Dݖ^~|8Σg~̈70vnP'TodG:=%?9}D ݼb>rRȷ˫Ȧ/QaH O-%%ԉx z0? '1,SqShpdaװS"0Us:e^L $Q%}^CSy.E߳G '6 /_F/q6:5RK46O8".XBoBpbPA6}|Z9/d ;Ԛ4B)HQf ocd~f<1nBy =լ = R#(}Leϲ#[}<؄ M?{)76Ӗ yV-aa IeFF[ĉbq`7+fQN&(L}Hu@1F*zlmBζ lg*_E%2R_!0)mZBSæ/x%CsؐF$о*-W:HPX9Jhg-V$|{ nh"W@bkl2fWڣ2; ծk%rmڪ<ۘ# yfe.3N*)&iAN%"̧a.ShUYjR9H{Zx#zTAF/N1)+4ܵAMblMJN1dz! h, 8`/ WFfRD@y+Y3l "aV_ES|SpJ]!r+ǛE8Vu`ZC'7f y MlH}c8b*N#׹A1:Dt޴,SNZue$WFx X^ƒ|8xQ ,; $@ip*t87դ{,fכT]UgoU>=dOX'Md![RFw:"AG$+ӄwXWUw.xVrf՘&i|#~f#Nq }ѧ!}B8%~=;c1iI7>H՜Y,& a~`83bΊB"?Z{.DS\C95]:3:HRxN -F1m52gcXRNFz~AT@Ʀd7aNaqmoiwiȓB#RYlׇ̯XMq= u9BƢ.Yq`lP^By]<~ڔOS&בah\˭tF?fˌm\pвmmpȠl<6S$ӈrל^0f]roV478ܩ 5bC:c+̼MǝX\Hey!b]Js8:jr!*4EڢINl2%~1zv](CRg%o܍XL|%=YXKk>'||԰̖c:RkpG[7#dWF3 \E>EyT'46cELK8,0X3u\OFJ=|eOw;_+\ɨJ \1 7Y[mꑋEv4OwޭzW 81gglDTd̯9~* PQ4Um~]9W hɠ'@$ k?;Ѯ$rm^4",0Bk ɯODgV59c w-LlwLIw+A Bjo*u~nA!ǃn Cf/ߝ /M9œ&o^RY \QteJ-=D>?t5ƳKԝp/!~6~ؾ%5wQxSVT;] .,Y6er'oxI?S}J.'L'\yi |n2eeilj^*4W$Kr?lSnjtM:׆n_י%gd*Y)Iԣ-^BVu&^. ۑO ~ReXB ZzMz"hlcoՈ:X>5mKlu@rrܐ0rW ,[۴H4Ȋ=e,T0.U7)y(#XL4v.A~^Er\w"Q0~b1 ęQ!UTn $R{eT**/RҊ߇ J4CirڟF'ҳSO,WݓMwqMczRa1Z}W p;ͫ#Q 'x$ޓk\,p@6gyoY^^IoD8:ײU6@RtZ3W/`_/{i?A1^s.y%+sK>Gzo{KZXlq{*RD.- =퓐7&f@uZ}1̰Gl0ަf@(%l~R_S$OR_}  d.pe dm\:F`5a!L g MAtP9%x^YDOG+,rKY(\y0fQ8G3zLE;!0e&n=@+jo ͵[嫓S S;%Q LMw&44"WgOɻ=, 10j}A)(kpu%EFYV GWw17g1e<9x I!:U;CZ~{0,D\'2NyxZ ) ꪎgB nԃfOQzB&,6 rc?g2k `fQ,>7=93( #. ÷kv^xe+V}av0"!&k0_f '^FO%(\KtY WGosa,@WB} Tyy= -Zx盰}DQ*~"Trr˹30k, FG{H|a ES\8e :&/I#@\ИDRCp2"ڈIԎ+^Ć|6TGdre!?J q&`ڜn1dHR:|UPs@lt2"17[94Dӯ“+vyݿ 1-"2*RkM02rF*=n[BJY~GMk?Q([g* j6I>:n=@r&CɸΒtGƃ>9yA`SZW *᲋iWϸ3&߆Y<?IAjBz0-0@ `g*r*Iz.e;# ;e];^t!iN[7:)B Jjjrh҆Gi9`Cܦ5H ;AG`-ٳ )-↎\R|#XC D²udޓn-&lOzOT7M2=*@$NZ׺qI} %(І&RaV+kp'Ը:dX" !V8o}X=T"X ɩ(K !F 89o`3l oXP,<ܹ oeZ( mH p<*5{FIčϤ[g.!$X#%xZ5d~tBƞ|GUa|zC=A4oMdT]6OɹNEe5*wи{'[RB($y@ф^_̸#fyRU+{7٘.kOG0/]bOKf ̯wAl.*^YnYnQX{ #M%z Q JTʄQhvh֯ɬR%n"jW W颖K 4x0Hz@`N}ЛLI]pTج; ρ^? n,W.]㞜4yWjaTLyAkxxX֭ {& 73t6R"y05̶CdI.A0ƨި"rXo!sL_]9S, t^lӐdhI; /M1^%uC|7b,q&t(ٜfwH Oǭ/r¯0فE$HKӘ!$YsQ?. s}6k6%ڳd8kquRm" BRs9[k\aAPMlV!}I)U}wd᫡HztyAjP+RlȵEKJ EyzSQ7sG'4ɜ {"@'ZYݚ/2jܷԯ _-bG"%bCޯwR4ek[-,yxْzyP)Jυ0p QC_;Xꫬ'PD{vTrPF6斘AlKdScRy+/G`O +!"u t7jY#j-{qjr⨂<;#*gvz`dty +zj=$ j}'UDC0foqYٛt#|U8gMDܝ~d8(K"^elrHWw?+(OSZyE"`0z`I%Qj J8#fE8\;VsLsp[4ۛg5\:'Su.yW`9j%TDL*", ;H%c==BM,_RRG ]'_KizriƔx7gS%V(ToC)oA-j]փ)zf_Q4E%0M㾏-׿ol-F+u̲`tJ>UimLdbra_0jZZHFˊ$nҐ%m̟]"߅"JǪZ!uvi}+ ^.6I‚l8R Z0a h N F" O4QwSa]4PD }M\[\m{[}:՜~Zy'ǻ;iiw"!jv[TwQ(- ԒZGEk0zp_m kgB\LVHŌ{oN7KXJu9?f0@őh"wn9U}SwmF!AЇ:{ =΁^]1 IvNQQ(؜Em?m0'(F[l&mʉ6r'K >YHftt-x?[j:tU]=ikJ+ɯ .xf,)0+%jCf0ļp.e7A(2 %YF8'QɇF^*0%9GfHL-j9~%'Lm}Tc|m/PT˞A oJư0vtf?5D'am|D"-*cz*40_tV^lrgR> /C6eQm,BbTD՜{OQ>OڭUyzc{ۊf,.1g?sH ?I֨Y"Ϯ{YF*FU 2`ZYI`r (RSހҠ%vڹ`"9C.$z,N 3ʼBHoQQ$[9w\=T=2ՒmvXcN ^$-rk3l&asęCm߾C.IQo:Kh7kY7|^+"ExX֗ןeXQj2D y+нoE0_C '<\g)X]5%2 ~S9L[ig4X9jlBШ;Q3UXHŹEbwZʠaІTad*؏=_!'of|\O V8]D郯7j!q[ qfu1nu6dž@9> *3wr|U k7rqOǀB`9ЩE/[?y蓥W7,|?Ϝ+Oԓm@dşMZmӸz/80kv԰GBUĆEO b̟gs&< YWoUDu@eY_cyb7w;`>aGZkP}~G5}š|vgN}^;'hg+-`:ѰB<ЋcV$wiA`$rLn :c,=ʨvqdY9)!?M{4㭉c%,:Hي$@l ?@a{gM0V}[>GuMhq `e]PnP$f(JʰFE)D7nE*5Sk[Bһ/=*,A3CT}-d#pc+jB"b!"_aU1O)+Ee~ZȞ'j m~R<ʲc)io^)_";MM:϶klᕒNpӰFVpLt;9"A0Bϔ{oN{/MrpYZ\a0LzI(J|CUl$G̩;EbIΠ3VV{;!NBD)oՄHc#/Նe g4(twE]Rj,?ADB/{CCE4b"f:'[LeUC@H W sМFl0m{Tj _9T|߽8PۻE4C,̴9H5)(J$yH';5icp uwy8x :ȰesӃ4뛢JTv 0!(AȕlXtE*Pes^?[O xcpԥZ^1mX[0qy:{7]yб+X'GL ےo)Lu GBk} <&8;:ٻzF;rT`OHN@Y|GD ftnk$O|ߊ'׈t?)7kal."T|,l*mZ,őT {_-#b"[g[ZICaًឬC9i.-(Qi >l ](F؂KFWc'6]~Io3{gV!=#t5N#LCIߡmH8G]SlڥW~C eqS7s p:/hbS5thAߔº:]8[xrFB{f[ÜCsxO_VM7(Dj|PL}Ĉ4_,8fHl`VvT .4GC*(٠2F4߆D:WmahBLoO5 `_(,=*c\eեž 0+y-r̰\DYౙ1~ts1_PQyР^gC6kQɖ /ۧ^jx1? NBj-(c3l1ˎU'GY:%QY~Mrr`܂ApPW< ݒ#Dھ%4o}lnU0;{,^4, p 0hڴXR9K(owD,4)'~=.^Ty8!IDOJ)FovܩJncYev h.!5CsɆ<%_*F_S0# <+.=v)A^}+[PTe [b?wLDž,6Jh`T(efyS$:VRЛ;*LZX_,E*Rc D3G_u; UB3S\0A qvojgWB^q }npBt^kԴ?,/cj'|42*gQܝu C-m@9*6,D(@)!DUUd aD?/(, n9MKδTk SӺ I$V_Hީ&c0]*ai> 4/} j$f',TqYX_AٓSnMdy;*Ij1E/xF΅V¦ISƱoڲDk'ma>,y:?iN[L=e',GA֠ȅ!8w-KS"ٿxNlQHkk<t*Ƃ?']. kB̏P$_[*Z &gɢ{XqƨD#J4_N%XQt _ӣTIvm7N:]Vc(G}״4]p*Fڧ3l>ofՃF{ĀpEm?!U(r!k-Iθ"H]-B@l( \ph/K.$܄uCsKNG]9Ѷ^|0:s|C8mňj64PpA7jxM+K~U6vĀ0^ P㑈QKFIux%ISXfz6-l}osl{vD1OC+b͂걾@8dbtnOoU >9Q](HY%U^ |=(*BBk ['>ɬ:@{߬;Ϊ2o]5rg~)c˸-boˇ {зȟQjmJNhRtBEO I$ 4l g&s0 WmP|I!@"FI餁v[N/8kOE9cDۏ*LUх wH?>(V܌R ΋B5 MO%3N|XA9򍋙@CXA },q7YY:R1yq2AAβtG3[cTC:x56ALan+.BXYRX70\Z4Pjz/1U_ pl_ӡg 9d3~YT;dX)P n3>TN0 yhm1P"\ _2\݌S0>s5xDK^]mk#6ph.~'acKVŚRv+54y$x_y\A)Iq֬vh0"$b[2Pk^ a0ogTDkҺ 3FhsTO(sdA"<B':K ;` |mg ."/HR@k#dPlLT:FzNjڸ\\WT 'a%ևmlԅۻhhr9cԬNl)/Sb˴j1@==f 髋r/BbXQ tT4f}_.WV11 R8J,3ݧ~@G)I*WvME*KOٶg!  m+Q6i Po?պl;:?&T~C^HJ9Zp?=*cF0<}>%di7a$,I )_D39!Oϻ$)-/+%y_BJ"Sץ~!~߀<3\EF8[ZtvW+jSg'`ev " }f_WjЍpqa ,e6;.,+0.M}M3"c/SA>~ƣ5FڲzGնξE@̣{Ɂe>kh_e0<@}c׮aW֋jNS1}UNnmDUJ0'v,)l(v`s hE@g~s5x7Mg@L|V|y7K!]7s\sg7PPPQi4fҕ6UbPJ+ZlhKX:W|CDjȆ,"U4:n=U=5_9J̫mae<XDA!1b-hnav'hqXQ:mUr^,g+sVL,- Ez " y<:־0b-e:3{y% Nuʐ簅Xt< Lkq&<8&+ ýnǕCx_A\ ʚW6n^e4KusJdt:ٛ/C_p(vOX ƚ3"t9c3J't<,|3(h]\24) 0op]'E ZJoQmWWrO򂝟j ;4/9Q?GXc)<_(ڍn.0^t5?9nc[ZB%;3"5V'Na3qAM:x3qc&\CزCȱ-:[V[Γ{@Cf@׈'٩s)tdrL)>*$&7勻~v췱+nX4Jߟ.ϲzu'-b.Nu>'%upe~'FoK2:zl9S! %0Ԃl衭֝2 u ,'_5]|j:{PrxWun @FVRo-DA[[INm]*Mk]džg2we4∽Qw#kQG% dn$j2?,Xɣ8֫}4c~`фJ6t yimƞ+#ΰa ɠ$zH!#:K$TܙTi:\9YPJ?HЅ8f;!p1*mB=m7#` '">JVs?OHYa+Te," A3/l7xׂz£F DaO[ \0Š-v6C9ßpJP1g^ON-9RȩBwpɊiv7 KQ`CA3blFJYh:&c LB@I(;.뉾Mqv8 E9 żuT87SK+e+ue)i2J YSE3ĘVC&m3,hg)T Qi|2cq~~Bsb0ph[{E\1@-TSap{EE}M9qҌ5`uO3DV<` G_Bhu8ф ٔq so(B$f- iyH5ЮE{.)oS ^ЗOY^:dٶgQNK6"?}R!2_T$h~!z`a -Q= rQ A* 8IfEGA9SE ȥwFۏbgEɛ ~@\B=Mu3RI>][K_ eRU WG0/3a jpp?hT[$HzokP.6CMR~=xn/rʥhdO>/z mw4X߇n [l_ v(pL|l|ַѝš7Z0itdZF)M箠҂Ěn.a`$ sy{eCl좀C ~p&e_G]\@v0t)ɢ{RoCɆCfׁжj+/b} >^|T CwMP{B^fq7W(rIZ&m%nFڊJ+5P%{{231կ /}%*QT$U_K^50xߌ^ۑA4{38ђN'/JY#AdzǸly# B !I>.k'߯l<lTs 2 f@C ?[e߀(I0dgD* E '|þ7Tv.N4sUr?ShM{."a#Dnc]@ jGS[m_N31B}IhC[7 X/it\X :0/?~~RbhԻ>Yȉ%B[h@>ѫ~alofHW6ԟg%Sl-w]TѻӐ[9XV*EP,K"uT/:+/%sҨleLUVgчd+2m2njIc  cŲ~4=f4!<gs H+CVag{O)m] "V=#Y f=t:fzFK!J'Si$e`rA~%?sA`:w i(M_ GXw(6eH$g) .cXϯUV 'IbbpD)aft!P2eh5P Jі*SItQ_bK}zf bq :q>9?n'橄NW^oLV&kC/ }q"?Ao6O3CuI f$XKPbU[&eFU gv1I)\Ggcmz0c.?fȽO 74'razLaPSjFe[pw̨!C)FF{y9#h :Sd}kW{b:"GaBX;(GL P9lM^}ѩ8ZvR]`!WE6yw`pᨰE9gCAԵL5yp_ϸ٦[#c"T fa'"f&!H  #Ȇ4ؽ(T cΊC#hFX˹9w /}i[y?u' Zگ)Z)3[e0x{aJAh}WMHz|"Mj0eXG6 5=v;O%1 +1q8M𚸴Q@JRE$azYlCv4r]|Jfws'N&<PWMӣ_64̰0l[dz>ʯ&Di*F~['}e\Өv)T'iqu1Qtvz0j3ZZt%'K=p._Bf)ڈmc}^:jl+3I9R)@m"@ htxѓm#tӨ9d ɢU`b;^ι7pw&lS/=Dȝ=1Io'yU4JsaތZ-' Hlt#EZkD^ceTmYɹ ?!wo# ?,̚7)::ާbLx(?_kxIGT0Wbc0eE] Jz"3)1, W ->[R$}6d,- Y&Q]2icu2@:)Q 0DK8j_o2C"ͼ;q[ɻ(aBr m~6uVQZ2^%$}0#7І"OGkb`_wa(mA@0_aY'kU'OF"nXBȨ!QM 5Ӕq~REʝNlP$HOdc$_o(͇8sD9L17踻_҉ײވ:z~wZZhAulAͬok,lW#&BV([擟~C,0Bwf%Lf+ pLq{HX."@?(Dd-e#uһm/C}[(gHXs[Bj)cVi|# s S6fs[2`SK{)<0RPOC81"-RHF}SJbKۄ3HҤ`,YkZ@A0rcb2\S,1R93LLXSXh`%P".+ ]m:2S #R# NdˁvǖJ HE; qsGw6I^*Z|].iu`גX1!d˅oah1#׿rϣK#<M%4؞brvY 'סNHшUѾ >B}3ۚs,ǥ°H2@y[hф\e9~ġim~ǓP):0hZ" Q"n %Uz՞|oZZ{!|ZTJ5Nک-*x,Y$`kM`nk̫iWblumc m  Sp" }fşnA/Kw }&H-mOK[azM*T.;f+s齐2Y$onAƋ꺸NLC4Zp);ѭr1grZjēnp4<)]لRW}00D썔a8M)BouѤ5L'3RH㵀_b6N6/]Uc087?F;/kp5m΄D"'j|{;86-rkFJjK+`BՍ.9'23 n=/<-#Wh.*pFW,?SE' I aN#lzTvYL0KTy%mRǹO;A޾`?>7tpư#6^pw}bHE䫔0˵K}k\}a6{@惨rq86xI&[vvg{- lHQN7 r])y!R yS7`:ۍ+2ĸ)Z 2 ]y?XekqmET`"SP89,aU7!0`Qq YN2<1y=L5s1#f~%.5reR,U ڼ rNV߫>&M45·6pVWß2bkKFg|/K\-F@1q\LH hm]9>;HH^E%s [̆+{\DaGƳg"ϱ5o%_Nz |P=~a w,Zq_IRƑO*.k%)޴v^6W-/79-u_Ż NPy7D@Q(:NȲYeʞe^EqVo:O?u}WXöڞĕu{lA .eyTŷo) nyE /|J%viG]憋c-"ukN|GuGt-'x<8;4$'"9V%N)%d*N&5%n M`^aR'< 48 EW n#}K" %[pC%U^2Ajf)%?eM$a\%F4ȯ.Q0QnN~ $#-cuni2\eW֔d؎غݱC ڎ gq yl܅+x?1 gwLfFS\inż8jڴWP{ыzH4nKfP|IGS{7庿C;]Pnʅk*;ھ0$y:S:_SS]LC,p/ueIڄشi- տ~ŰQ %;v-oFj]|@@كz)ħP=k$QRȒdBC`_ MCT.G.+J1A(#>؄moUO5:@ACM DyTn.tF*&>XzJ'#CtPR"l<~h;egC`Ruw(nӓPrDM52>#FB+sxF{IUZ+lza0\U)O!lωDzȔ{Xt:cY /jXK:ceb4+"U޹on:A;,6@LCqd[ Ű2'uFp30: )"25D*?O1a\M*h;%VItDQț6粃7vEtY f0Em6U8)@z^/ `g3Q _[աRx/~& TsŝdPǔP:%fm s1V,I]4yT5WJ\b4i ,+>R*>Fa H֛㒩ƔC6;}%䝔g\=oX)!dk'mU4v#̏_B&epyWƛi31Ћf 1<U0QdQͪSB=ʻ\JaBH}C0_sw&JKax {d.'JCi? ׋8/4zW_n@&hBua{q6ՃuHM?m8ML+qwG|σU'7K|*v uu-AwU Rm;;G{HP .)v.39cI#R{IG 1|u9f}S `Jl@sl\@iddwCZdIbN'@&oUqZ'? ].ꨝ%'&_+lq: $TFWbWj5BZy;'++`5{2} zKA׾ntwPg9lq-j6Io3 hVLv2@/\"G1{v,]PO98(i!j >^L=Gt"a[@CϚ?{:xDE\( ൬J.F`qV3:P}{fb04$>{}ů |v|V"")nP׆ٳG'|@ERfX$L*izmw+L`raZˌu23;i U8"4G VWRJuE[&ȕr%!AMujk%<M^Sx8[$fp9z\B[`?c HGsOm_g%N71ؖ}?"g52q`ޣ6a-N_MlC [6!w6syԲEf>Y)ϴJ@KF ~Ue.{z0yPㅿ  $>C^-T9N\-$N%Mn)ӌlJeBF3Q,V*6f?HM=0B{yP1HՊ'{+wo ?nsL)ҨN g^{rg?ꇽ9ggq }QtuU4ڿlv.lWؠU` *} ?5S&{_"ɞ{z~4vb"vc%뎤p@TL`\&r{,A uXWf2fR3R[U얋/) /.괅t౽|~AoGdnC6߷k>(e j/x_EfqWpn f!0I;JKege ۜ4lnW $\}c'ct#mP,h y0UIH-@YzQFW{CT#ȿ.10N%.ye{Y*. Cv"Cm=G֯;-{ՖBC1G]p >|QBY6VI8 ,),v".̲sc=UϼY*޲ɯ:A~``wo#lQg]@~_(5mp&pƐB*@­Kݢs㙡քA지B.<"9ncgmRN˛W`8S& MnI]d\,'jN_\SE4N #r"! ί3z1bb/Y'>  !TU޶i3 ~4 .hJ^h'SYmvGpu(_ճW3C5ZnxqT^H=>F)z.6\%%;BRKh{ڲӋK ,3H"fاc9_yBet/*m)P2gL{Bx3j?XC]VnaԱ~v_v"`#]$D<]!9jٔ4345)~X Xe嬖Wg"Z$VCu{㟑^3ږA 'bZ-vpZӅ@NH)o}SK~l;( 7XO.S9ǧbJ2 PJ,b Jw-O!s 6-Aq]3ؿPSuxJqZ3.`"+USPpWA"[z Y$F"J;, {P9Ή/CIqQbԼH0fO䚲3yb~/Z[s M+BoO[NLJE*# gCpˬs[{8>_c-'D. f#apZ](@S]ѹ@o tbugJ߲A4%}JУȫ?DUOx:D8WttѲ9WF]*"HeTy Fev+rqW1-`8}pMCBp޲-YmPƋsf,T3B(J,5 #gSTe ƧϪ`k[V~jVI|tW_''- v0#z  PPKZqÅM>5J@BB wbfw47;&OKZN|Z.-{B@JndOdiQّ0Rz<ۋ?_%{7#s}uOr \3x!Y:.}14Nvcjnd*B6&"}(yeB*EVS239Ł0drTgbmo6hɈKΧhъ$FoXn}Tv)@C lfZ=-B)J<Fg08oݧkNTzu`C8#۝Y]~pC1]2IPYG׾v%]71hJD26掭٢L(TPĩ/ {춒0B >͜ ɯcqwno\JB˒CWG 2;z?f+X#IcZ`=I+9..yHO:kp~.Ue1G1YNp3 cq^g.>V}5rI,P2 JIlkVܘN*MvDVUK/POmh7{ %?xm~ FvW} }lt9kX\mvLJuudܡ޵Ȯe ocؖI{L*&`&GY]`bn"*`wN(P66IMnZP J{tq4/|#|$(@ L[lTAMBُ7Ԁ+GBZ[sIjt+o^^y)*s!C>qx%&(u K6@"^gҳ;i-ӷ 忉xwiʒQE6# %wӾO3 mš /tq9la@2P[x+r2zzz˄)i{oKeplڄ!~ji`Sp͊]yR{h`V74Qu8Dyt_Cy;,,rz>?HWl\cMQ`%#i R?*=VOzf@jOHk&pzkΟڍ}H'#?rM:V 4Xl!QRg'?qc5U{$ ۲21}mr߽黤%9Q * gy$\uJώ~jcL 0\Ӓ8rq DV\R==n?DXk^*Z27]qztlz'D (!DL}) U(wޖ9{ OHڼ/"3 Duwk^ `;gKSvP-5Q81A|O3aiUa|Z+D-K48$'Ke$ $k #1m6TXi_[˾^mt3ǽ32M@̝b Rյq!sb;>X#-UxJA~Λu ~cc꾫ŭWXV+`b}S }/ˑ>,.EɹJbQ̐=xOE:L#Lna>ŭU5qBG\M9PTgj8P>*oL|h8?U<]{?2LCwxa/:4x"- ųIìVtfhQO_ӵ)" l)!+<p!B KŸ>& ]>u2Aޣc48;3d[2h#ẙ,[ e̺ }0)*65+Š-b'x U~AN|VCa IS8)g:d T8-}dY >SWǷuJaX9d@}pʭ nObT kBR3Yz~Fr>k`U:>XSnJڂϦ%N):Kv[*Nn3Q[Q/!Vq*Xvb'[Rl"=jkEүtuBɉYb֩1I%/K-ӗ 'sY[:3Kpnni>"MEw[,`a<ջ'Wȗ"DkʓsLkAbg/,K+Nla Z8NfPy{ >f[t:.v:*w6Аu :yXཐ/Kٟ+}S2|DyUQGl+GKK۳Ϧ7N=bъdnv(dѢ ??Е|z)ms)L+n8&mMdF|6OH#aqjˇܕ8XL$ﬞdNڐ Л_wsb>U皠=iL7a.{F7nֺ5m4>;SALXlTӯhgm(˹RS84S6QH?: R+^k ` 6슖 gծ>.X!n Kzf3p:4R2/9K+5Vzxڟ ZW MKt ˚9Kfj= b10lt4aL^Pb/͔(b{NR.;/J%I|8K,޳I}Ot4y;s-Q叐¡Юn u߬` #:FضMhg>1; KݢN0ʰ POBvMsy;p+!bO2Y+Ncq}`up{T}##7:ƼPoAs̾$wÚx·R.bNn3>m4th#k`"0ؚF'QK忴K(Q*fלk>)2egsmtφ}~sV#y/,Vu#QD!}oEeG%wE'&˨Iy,V-94߇:m1 ߾K,.g/0adSJc#M&TErQ3=)&s/u}IjlZ-x9ݯ2PTd ˆ^ S@b39Q0 ͡%' %ә]Cռ+r*/- BSYɭDoiEZ܊nV`\8DsXU4$2txo *`ZsCdS!-`K ZEH)yQw1=ƾZʙD`5`Ka"i 'vU|v7q}Xc~A%2!Ce*I/Inn6H%Nғ-^鍵ҍJ2grdZS;{ {D9RD<7&Ay%Z r Μ1U'-\I{ ]kZq>c\FtHhM H~:7甭 > ` ;0եj4*%?Wd,OkhxfsIllW^ͼ^vEI qK?>\;GE'Eھ> /H~OGD |UtukaђzwWzm2oWFOT.PεvSEJJ`X!5g03V1 #סЎR5%hlR>C;/j~*͜jmcr\@Zz41D: J<#X~nm|\CMQ qEqI4hd27g9s4?̈́JK L̃ϻxEXYg!TmguH%#0`k a(KQ&hS~џ*MU^2jHɱձ@AK]nNjѝy@hUe,ٸzea`%@@h;5:]a/Z)^{+ GwT5&cS_9nz)\rT\=p ӻ]w1s!pѯ<9 iS+"&˥+/!Dz Fl#b믜%d"{AdΝ)*jK3Zp@AWZMR&4q'5]%'pp$b~KS햠X.4ߵI%pg'k Ds^3Cb+:,t&&-DD\e$嶝[m_O@Z?s/dT/[ yV1\pHA]v3zb}3N2Jf_Y!=*v/G [9z\!XoLWcOpT/Kkߗ _h pV_$\X^h/ܒ׽ s萶s}R=ɑz db܇1۪G5[88\Mɛ&Cӑy}ٗD2A $XnB[/`z:gGjf+ 71$7%j:n= z+G,:֘q55+lhHٓ h.$ D{XnՑ 6s5×E9:'0V"Za;s)/Yrgޤ3RaоO0,5uz:=;kL 6q-dx~CiA U9f女wqe5Be;]QdP k/U35Ȱۍ(˶Qn'wuW^VK=v2(4G> ê=ꮪvG&hAxKwT~ȸ qvX& -j̻[iŲV$EF m/q2!gh(u ugc + 8&M"D Lku'amj{-7;e7 #ɼ&3xXksVJ7} W:|~Eé?S<*]giA>ZKn\J•QKQb/n.'D?g<~ɣJ ȤGZhrٙo*f9-U&U]rKj5j+fIޛpF#'y{ʻSI\jAG50O1z/'J-.Êi5=<[}y~4~FQw]jb %"QH~oܧ2,e|⛾fFpʗ|F;\ zBN&#HWŗ?dRpn5!+#^FntGĢaazc/h`S,$Jf!Bq=#OeCғ,$}'ѷfdkZE`]^S'G^ ®3c|k7|**q\x}/?cbGImڱ\xT(i4#:dˀFe$IFTޟ]gOPƴιoݣ`߅FD:Ȋa^})h3 +u`W}v[娦⤭<0 8/OeVlaΔ0u^@ڽ;Kw~l\Y-K~4y ֤h%H(WUHjt|\ D*Ɇ{YG.b˨*2R]+&>wQZU'An&pA+Ay_*XѪ3>I(Q=V鱞qI : `6Z W $d079+%b<>h(QnlKA$b*۸@7 OG$e3cU^C;<\zZ*G/nH1Rto&Dm/MmC)6W'@/)d+E;1NW4(R{^|c"j0uчF pA;=p9CH-癨zz5;GkJ Z3 2z,ݣLk哈:nX!@jTB C\H|XYwD"1BKfFy֪ ʐǁ3ћQR0/ %&1c+]Nadσ6, B"NYK;"{㜯"QB`?` BxF&"?*'Z6}u1m`Qx "SSdݔ^yHO{̙_gõ'ӶSZol5#&7L4ҿUTkKkmoo"$P @gob@B/4 +mݜ~yԢcyx`d*'lʽ6ZfGԐ+8nF+1Y+.Wn.p<ĵXCEWY9Nt1ehZ);e~LfGIv$ <%{6xmoKJ&pJ12Q T}[I9|p|,ⶫvXW5b"s):vam|^b6aђWd *MdeQX~14D~\s.eš2(M2x<20`.(oiQ#$@fA]qĹ2?-bO nFc ?j}9k{eYsK,= ǁEML[Vt an=FALIPh<Kv'pF7M2\.d_.W WDyk;'OM5Hev@Ë.%Y1B'A[.b:$i:::UwEʛ˨U]8~t χgUcgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba5252ee05b04febff5122cbfa86f0d65aefa84089ad1 a586f112394e587f898427dfb04935171d596c75 17f96593f48fceb6360800e592bb0d091e1b0876