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 zzZ5$D ]S HOL-Nominal-Examples:threads=2elapsed=568.528cpu=1022.996gc=106.648factor=1.807zXZִF! {]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[Fx$Bʦ쳥t>My&n !5H&z o]1K{C8kϯZ:N6{2v~a DOI@/3d$4a2<3\}Kd_ \\/B4(T4#g^8Pƥ R:0néeWOl {@m `;օSr~E'.~GC}WO!%0v_u_mũZݰ*1HLů6aͮg90MԅĪ#f`$_ NNm0Ɛ OLG^# FټF7m[EńfBZm"LDkFdGc؃ʀ}\Q`SBJVyTF&YTఴL~3u?+{l3, 7]纀& ǥhbv{#,.T1O!=ܚW+EY\LZb aUwc*QyZy(a*Za=m%m Hcɶ?9%x0cUwݣO͚bf63q\j Q01NjRs ᔇxf#O#JmUGQ9K' 8%jJhEqr$ h'}C9j-,!WLEtzB\q'ht0T|DUjEq,ͺdձM t1U1rce>..YOg7_Gv2鈌֤]iiJ,Td/C6OzkkW=m&m yLKwXJi*ιd{hY֤:voyg0Ow,Ed&A<H 3u;s&2n`/:#L(2Zh99[4S1$c}?VpbFc௨\ ᛱH,ey?_+wcc#PM|e[o܋OJ!IJ)1 _9y$ƙV9UsA-v 18b."Aʖ@·; ޕ%K َ|1EbATSf#p&O>31d| ~iX j|w^юYiH^/v F Bvoy񒝢ɟrBá ag㐑L,p<}$&Ip>>ӌ?ۏV./jP&p3ry#JCɑhTkRA~T89x1WHЦb+&(yUl94WOe"a{N}R t(Ǯy/'=ژ(D##ƪϰj H[A*'D4 A v|S'6%**FKzީ̿>Dsk.ÑSJ6AK%"7'+WPW5+i0dNs=v^R.ѽ>]^XeBb Ug_m#/cs$gvH7a XhtwfkPdy6r~P'VW]x]!g|, @bX8eso51x@w;!۬zf6roP yz ,0^[qAe'M`{#~85|/Ts3 /;ܭyq౸5qe$$Om9$1W/z5ѕ\S ] HW:,WI{Zrs(mA;kMߘ5ei~SxS1m d9PŎ?XDPN1Em#+RIh 9:ԖHK *~d|a7ݡ ,Fiz1Z 5 HOL-Nominal-Examplesgdb͈z~~rcjx6j"/8fG%iPȄ8z).0iU]tl){!π<5@1̽ ^u:{3xV$&6Hw`Մyc4A3\y]~[SZuJk(J/!|p#]z8796DӒp{;(!XVqQrg"[tanrgѧ-?֑>ٸo׃Ŝ. |X4)mR<Ҥ*y¸,>c [p߾|_0mW3#bBĤf-7o#pw )u?p1tmuܕO>Ce32C*]a5fHK?f!6F9!~R]cJؿh)V6YD[qBRr9~@631,P]o+L&Y;7,6B_e A=˥#£=?Zޟ6Ӈiҁ襕:xGxxr{\v#ֹA0n!OO8=S6>ǝFgrsXmIEӴ,TPa޿_d"}+[e÷ u6:F PN:Tj@g="%WFȥXbgPx@5qI8(9qʸ#YoĴNp,Shuu"ɷ#IǤrwwxǔ(ШH2_=!(.?n*=-_9PhT$RXvZ8uwt #;N{gs)9?סr'npcgab83̛0=6p 3O8mfs7fРZwlj$X='e%*x ]"YR7'E 'wrL,(,n 8 ⠫Qhit8c$ q>CX۪dL5iz`ykPEJo̟`=kY"@ \3h E)H{%#\~ ]/*eτD3 Xvx}~o'jMIƟ鋝Z8(GX%nq}P'KH:#B1R | #dO\2O[!fLNlAfǓ+D(GTzaWf0No֬􌺇VkRyn>ESģ }H~7tg>g(-c2ltgݙ+"TR`qg}bPyFTeGO! -TnZ+38M`&pw1.j 4mІa'+hN'l:zoʔuʝUf~uz:GXhcoXHU ,}y>]^ԏ"aG &kfʈQ#ןՎͻ~"(Sѭ 1#̺tm'ȹ'Ddq .䰧T°MrSrbk5{;6oӰA3œ&wkVfaE ӈj܉ ٜ`+;uާ+?:' r%bY Ӕ *A=D޸{5NHd+52~Qk+P#g,/jŊ?h bQ>?o$ɝ(xSprHN7A;Cˊ 1%WewyPr@H |4QUbD5<>q SH c} \'ʹZ$b!#>4už qZfF 17׏s9 WU$C:b5>kӓi""gzϾFtncHg7uZwT Fe(EVz`Qvdcʪ$KqܵxRYklyyYn 6K^DB- L=) *t󱹥ڒ hvYMYcD9re=,A!!xTnՂ. Cot c.FduCuobU3yICRh♻vG9|֪#7=yH V gYZ7zXZִF! Ly]ŗXi%;i gn&PzlnPzy';z1Zo|.s0e_(L /G };ذd2Z4`֕ =1ԷܾGh=Aq>~:X&?,F[3= +/}ቕ)2ZF ÍZ s+"roRSF;$8demváOMlŸųΝi `\#U.eUM^Ts|l@ȚL4QHJ%vZS?v=2YN_g0BlatK2*BCzxnZOq7׳iX_=,?=1ne@Ȼ"v?`c"άܬ{FuPT%_B),"?pu\b+={%@&@u5]biiMgMP|h/Ɍān>ngtEIRU>r^.P`>* Zn=L, AnATmK9v-!^rp3x~@  ),ܙlR#0)zC&r)~nQ[mE77D*|4 GIKa[̈ŃkR5;V3T}|{:Ɇ[^1ZY.hmN>'{c9wnUOn%N?åõ0 ;ˡ>LP`3z薃eaSZ6b=m xXV`?NU}QhĞM$戀> %NٸY#G wi4Wv@qpFeaTF.濚Lp؀牘qƽ ?N&E3w>?`-%!˔SƗ@!H!ࠏwbS& DE"i G9&>slCpIվsMU RPl E1ت7 l=Y-"2Ef~Ш8>S^%z_pc?޻z?ZDȱe):n[c^8ՔɫQZǖ熡Ŀ<?Sɯߚhucr+6#ɹH] k Xw,AV8CǕ*}%3 ԔFIUd14?v^r[g{ogD #1f=Ez"6cGxetN" ӊIi{wS_g ?)k4uOԼjb( a/cB0CZ /7hغe8mtLLdwSUHY^AdU1*.8a&YDp4ۏ: r N^7ʍelBЄFL{&Wm ݘu 5VwN帞zUg1^y\:f0=}rشD XI,b S3tM4u7 `M\o8{9[1@'s&0WΊgk>ag<8_IeS2ŭx?"dS |vc)BgdQ#a-9+ޜ0)|tDž56=,Q@Eta杖w5t}\hKE;# >`NANAzl]Ar$V0Y+ɏx&^Ę,(V Gv'<Sֆ4hROgoK9 E+n|? ޓYtYCq8n!-qҥ#-yE |zy*]| :% }d^Q )E`T04 tFi wI}wfmFm+\%oўx <]aiv&lQ0F۽{4->hsW}-ؿ d _8PfZSdf0ihQ;Oʯ45jRh%Qέ 1GW 1yeM垁X^:_vTE[qm`|7'aIk:k`HO_3`py\yDɈ?VL;YQC{ ?U+Y}? l\XbԸ3xRa.Ky(ҜRHb.#a[O' grez"0/ tꔰ{ #L\"QAy+%H2 %)zOH4z'7%ƿ%9тpg_+8ج dG163|pOO(.<Ûu-yy7xPV2PŮr,s8Xr#C־\ o?IPĸh e1~/!NE,/z9_ÞZ2:gNzpm}х Pf\C_u/ $F:]>4ka<81yp=~J+:~±w >c~Y2ifkP_] Mϐ^77VfpKhyyp|f-NCo ٜMN>Nm}Y\9,ouuiǷ GVl?#X #vԍIOp2R,m]WӧMKIK+x[31tOo$viSɺ*8 б.TL@#ˌDCݶ,O fӒAnH'Ϭ+ I&/T* V:_62.[z7 -{E[K\B&IM.J;j`4 V6C~q=C\w+(ћ5ݻd= 0N):7G:۹35( #6TmHk\!{~%gRKxL9DZ5*+di`{ -@S25@Qۅ6P;1߮Y U@$@<[vkk[)ϴ0%wNc9Hh-7LV1o!'9h˫@N xs['uԪݞHЂ8RLPƶNxx2~ܔF 6+qu?{D'!:p֗51lxܭl#0%hlʴtf~+'`Ť #-ae-#ه|Iua%!"E]@rl޻zՈ׾AEU] px^2]B4bEged`9l@&vјG06w4€^1e!ɏ8.;_ϯ,RvdC(3cS\2VzESia!bA1g,t=ZZPY_sSlޓqK;x[Y5f1KE<'!{bgXۃ{H;{!eyX-VwunY.Adog~Bkyn#TS C^ < +|#_ B{㖛6 b^Δ{@?vψ_y>*A##<$lĆyoEp=x|zɄߤZrqܺh VR$#W[P.<?Ňbw:L>§Tc_og5 " eȫ֧c@L=O8>:D]ؗ8VUsBMuOJ&ו=m6޾ rE&ٮﴪCIC m[bNb"ktier[=-5UyUtc\s[!08~Ə^"DZ&Q/ `[^=4F3hz)Q+5&ٱul+ ,O@UbU4D6ykǪ+&[[M#Z ꟳbVA[ w;{N]KP(Efn4—ᚧ.r^Ϥ%m`\iIK'I))d0Gv(tAFnWcVL=3aʼn-s5| Ӭr͠LVtհ"C-M) pӱtܲO.BEeC@U&X|¸%Fp2@̖ ޫn>/Fl[[z5G= GclXWD:Rۑ}u芈UA5yY lJd?jbN$ I4K? RuNi"!6ԊBb&]x[Cui{oRSh -f8,}Lj0-s Bh(sVͥv~""e,e2{Y9ui, >7BMxsAύڕ$.Rq[ 0lQvle5PpV3㹅V \u-w* "CM*8% /n3bK2G2A@.yֿq5R-Qbe<)tg ʶ瓒*:/Or=m3,iŔozw]n8'*и&7WkKCm^IJ>,Sw$[ (5ON}5[CG2*e\ټI$ӽ1lN z.fd+d!Bx'u.s?Tٮ0 ЈDkӟ~0|UQ N4~DcT_s`QQlJnP0o/Und{&OJ3qד ~ enN3> bu"J&ߢW 7v#5291aPNNo32 f`5bABbW\L94AܼͼIQR1n(kT(P.BVkOK:q+jũ5ٓdw7YԬ(H/n혱{aElogܞo J Ċ4NW3Fy~5?ֈp3(\\TJﭯ4hX7θlA%_V|7vʅOa=)a|NjOfݧ1DHCí\TfڔQdB1«RZ\[ Oh0ץ*"(x zս^ ;C\/k;U3QW02OZi^: ",>q LE2 Y=DZo?ͱADo'vS~8J tE7S;"F[wBDQx4&YNe<~]cN]8-]'5Uc +f &ΧܲHq{:ڠxwOf]|_նh"\TBR 1V"#]eFfld1 Զ,`q$Hfu$J+XNY(P=L;}WR@%ۛasê"$oW>:J!]R U`K[Jp{:LNb[oIU:;8(vHn/xr.V{ڜEW0!=P} M)L[}B:,BeF 2uqyw,Q4多QTl qCfsdFd3gLIe`'a|?3RH|poѺj)9&wSKcO̝m)\rW\72Y Yݬ^?]c7pk 1*Ѷ$ˆ$LtjB6pD9ԽqAȬLsTDaƄUVK~K"IMy黅߇;z%/}P \\ #zf4zLKQ uToܐWC 5nP$aO]O?Ӎl@BY0cR_jLɑZi݂}zxq!}3 [#( "^E_*qH&#Mg/A*e:Irsh%Zcqg{(e^#` ^id)褌lB*{VZ% )tl(HĹAgN e2b; @[Pz,鍉9 oz:߂N)=eRV(15:$Wi \L>ʎeDK{ +Ca8z\*zr hWyV|o=8 I?w>xlBo/&ks 5m Wδ^\riUj 8 i,oJt^'neQ$H{Vb/D}aZCnU  (iK1Mt7OYY?'>H4R/EHSZrbwZe{#n3߿5Fn!KOt{t .5ްlX2>|w!"JL's!%dݰX=taݰ R>RpTGPS#&$863uwwz{ ?-ur@++:b"r|_&آEJBQPI0 Ttt<|bB(??gua0Ka9T6mq}0齪oBTʮtܽއםoWQ$'vi}MY'<ّk4 u/yRhl ?K>Jmavf SJ;Sw?vZxCI_me4@"я%9z=U xH)[hɄ) x}4˾\G3cOzi{)4BX/<*Mأ2ZEԌm}=9pCKrcU^\xK ೑rΤK:-0 fX\_:X/Ы6i]Xp'2wLZ_R.%, !|~"YnUㅿ<Ojaa\y.6$eR R[ɉh:a~?hWιcxl("UWB~(>м (N9 ۅʫ"'C`)bT.`)".):֎8qԬ~N N6taO0K?ՈtsV*KZ]@a'j詈Jt92ؙʝz!u]) bWJHmPy"TJϮVd+JPlҤ+|t0k?W-i,e&$h]kOK,8 ǕΡe|b;FѬ30FݡQZ FwDG߱!kS+oÜd5va2iw{lVU>蒧Hφ޿#!q6{U(HB=.w>yCvhd18p1pQ.-yR_p"\RcAj.[YMc* L]\##+9}ԥ|uJt~̻i[c4Hej?pͷ%@Bpa8jd2;zYY^֧;*xg !1PvcsfbR<Ѣ&7oF;ք%(qMLfI%^"U0z !U5H6;#,S:A!23yLNr|YHX]{i_(1W,~YsOuaX꧒7ܰlKwA3ؔs&eXKt*Vnw+#p(r+秺l^zU!_YmqBEB]^3%=f׀5lkd-d'qa`~tFhJZՐuDUoidbrJ(}jCcDn 1?U˒P˚vLm;[E;"^{[YSA\ׁݖQ+ otmOLS6 k/~r&P(u=[1Idjm!5v߱Q( C3QX\u^c.70F?Pm}P&b7 0xD3-ǿv&ܣQ[T}qj(GziNϖs0zex;D^-< ].iE⫓^\=-O"cE7~aO}ǎcᇫ**(Lx6O*MNr}y+xK`k9Ed$FgoD|{&17,ި3QG%W0C&w< yoJԂ80yjNE@R#|V- ^U;0)fOD!M-+ d]wprj٣C¥>"<ș! Fr\_ ̏)R Ƿ=1WiŐWNj -`uϛC˒ﳺժ1Pt/!M o8w|p7g!7sB۶+ 2ON nU|jͅ@G_,!CYA];'R?Q=(q̴xtL}$F2FSr|J}B.U5 q-,=Ȓ2cAaZoPMl!sT˹ېXՏpYJKB od*C08ߵ@GyjwFܲv3ug;Ju24f&C%!(qW}4^3?z/6H>UWcgn :yz#-O41DŽ@G%CCNw m ݄vnv*:q7W_F:a}-b^nL5X[[6.`9/ N^; 9o2{y$)aLc|P $)G_z2=YxY7X56<3!^8E2CVF>_à<~h]}f5mm]0O-UˇEdWwppq[ӧ>u1؈ALjNyXmN@l wyvs:q{89'H8_m]՞8ryst,7֖+&5WQS5)$IUa|W{I+0mjsy2úC?x_Ѥe3*d2QzA],.O+\~=zi+}d%7HMTEmwvViy#;a EO U~zT}~ٸbvvʹi7^%f,DoXNB\4C< ;o}5 Muq?#E1!f%US@G>Umd[ρ~sfAʮp{WKZ?@.=Յ`12(ҥV>YSWtw4ԥs#*|N#| |P ; խG|j[lڮKum3Q&̎2 DxFJihmU#a1ne0;)MiMWi`6%9X/:Hy'LQ؟ab :"Z*)gCF۸Qaw%f`GoQ5FҌMb2EI4u#`7XʍgĻVU\iz d+qoh`:"R8,R1 _;" Oh݌Q^ z'Oꇶxsh&}|8%5P6H}Q=N3_&(bt+&>uم+%ݍ6Cl+1\ pQ_W?ai*=w;\-ob8U4pB,6Mg璃KdGԥܗ/j nOwvDY LH6O mBۚR>+'PAf(5--8,5@w pE4E_gUA<:0ݪ}^Wy@۩쨗q\9@SB}Zf9EWi'T]d^t4_ȋJnc*짍j!^6=tjov˓,԰zׯCp.j xS"Ha&\w)wVx;?h?T@dESP_aKհtVs/G0Bp`"4Ӡ9/hpLr⛱U g=6lf457Va1= gz^q5EV-E ,ker)1 S?3z >T=Kcb{Z["V6P#u]OJi4R久ʆa9d~#c0g@9¨U*zJ*"+w4ܙ"sp $ݠLah#ӄYISܬ\ui^ UX˩:kx"R. J(D>7IdVN,9P>2+e9tmReOzƌ8vOǻtgeV L~!#CݹA,ڜmh qET3oURԈm Bd '{ܑriH^NGAHDzl,[lhTz! Uf,S{Y(d}msJ7&5t6%RtŒ{}Q݁2eo/^ Q]~%[yN>zl)~3fC(35_x22'e?5[HhfGHv YOjU(MTbН- &g{HEB9$jQA 'X#EPQ_hQ٫Q@ JONO9$(WwYlN)\+ 3/(ѯ[3^Z[ %rIڀePc4H~n_ [a1g JUB=hqZ 1MVN쪂v]&uFd.-6.05,ݿ7ѫ `QPlF 幤t&^&lbILFBCZr[*Mx c I%co-h=h "ğe%tL}\ߗb -W pN<̺Qi(hX5_h?W=~.t=j5KVY |>gVP8ϡ@ښ?@ך΅yS1;֯k%/ fS 9d∝14% 8hg~ 9W#tʩR;D!V&R$H}=Ia=¡G=>f]hD7,@mu qYXd=E:Hxw i҂,\qmϭoiØuUKc*ZP^%+ֳiuik D3!Vwa/$$V^: joi6͜LԇU  FawȱD^֢d$,Q'у5ɏ[za#/wQ}S?Hi) K9S':5g_ n]Ӟ$Kd{F]tzyz0ROY\[2kui#4\fO 30q ףÝR( |U,|Fax oIۧØ eA8GIi^fEn.Y`XtJ2$򠰥m08|ة^\;|#燕J0ok8a`u@;6d͝]MP^u@}M\Į[k2 5ʙEM )5< *tS]<6t)VBan=a}v=Հb8tKѣQ8}K[b+V%i1AXNpiƗ#xy]r|F}p=/arNǏ_9h|2jƫ,R{_Ͳqunn,|GT=.̶OCQ"uք33&K`Fl- !yP0Yܻ֝wrbA{;g|%L"AuiJimT٦vD?th%ZYtA =&Hg 췫+P*g^}N2jSղ"Ȉ@VKS6R!-\䱋l!HG *\q, s[IWz'&1ַqW 8?x H3R B^tH2uD2R0Z^>C:̖4ǓqZ2y0 7E]A~kr*dvU0 ,yTA>MdKsB2-471're\RRm E{GT4BL˛X%\9_x?dn]92½htwik(7]լO2կ8W.,=nچdtʊ*CuqCcY8\rr﷑Mؽ2MUI]C|1Mi7Ϣ%`2 IsX(x#v=)G=Tsbu,ro@6;6$O~ֲ,E2`.iÑOͺZl#;ܵ#P.02㕢M\Lb!7\ѝ Qɮ.A(z}j9DQv(T",hsAhE)}yB*{C`3gmWt RIUѭHjh`z}}W<|1bޝ榉HN9Vqrk}M ]9+ޭq\Y=^s%?iiq )2^w)pCаt`fh:2K jC-褽!>읇ͭ|D;wSS>~V0r7Wچ](#ҒW]kY zw@1b|b46mFOw'#ZL :3=s>{;;̼_N <:kUA'?cX9a f7Z䳧 h!ebCÆm`@tbs^y|.50;^%bwul??@^>5q MB#&k`Z+S Jԯ9&vw?\ O7|$oR`l!=45Q&ifS榖ZU|SPK,`$c`bRK9P)~yl5KЅ;fnT)!DHyZ7PаVLl\ dWGV}0:;oC tsOP{B'x[Xt1YmM6hc{Wjw0g6';fowTێY3_҂ٸ/0|V"LnHjK,rac+;RRvL=(q>L9IE7Kj<岬0L{5%KB(F>&-|kL!Xtu($iGqߨ~U?3z5С{ Eo+G*W"$_*Kl!wQ҆6c'q45L#CM|u{e?X<<-]. TĚ2FԎkTj+zJ)rYR6X1F36lc0G2Nߨj> _Z=Ft]^r{]C.t NS:>Hx<ߠ#ѬP˱lp&/:E)| BKwy2#,:T֫XwfuN5Ɋ(iXDܿ8s2ĜeS!mmU#o'ܯJ}ߔqh&P>Rf-p JԷKAC)؂ 2xMu: 2>%n/lHSmXTL\EXL-x'1 *$WW( xzR/^0|ơS5n glGS72im MbgFmRGRuz3ٖC=Ea${csk#_'"PؒQgŔJlbkɦ/ST~qW 炶g7ve,钂ʓZ{j[{(Vr6Oġ6\A*^Lyo:{pn&8{7{j^MTkܹn>H(e zjJ=fu}HfT,D.K&K!ֲ (>9|,<YE$xAL;m«A/ 2F[H8b{QO9A̟«k -O& qXTz2+fĿwV|,KmuG0dixgNFuU'`XYO2gYyo$>l0Ҥf4̼N{!Zej1g! `TW+)*ՉF!X=Bbn?tdݰɵzB_;fb޶nŎV1_.Eʚ_A_ eyd^WM[-`r̢?,,vj3/͎)W. դ1kHIpVQyOu4&k2m:njNdpƿ@x[@maݥ1m<ʸЮ3W>Ÿи<鴅bMoJ/ceWf=4KK] _aٮV\ü_WAV˝zN0%ŋ؞O,k3ҠF\ٳ`m,WaWEm{40b+ !9qNt~xHMn 3WA;޾;dUjrLF[y?(V?ةW3tUxS\7fJz^',gސYLp˿pߞΌC+Z{B<~yՐd(2 Akp^W'_1ΖFOi`u 5Euf+\!P,CջKUz3ip0e~ԞU:0aI8ri.neܢJoޑi`lTW冿Hy{jz=v?rCVAh !HCҫ` 8 ˲{ĀrS[v&=54l{9DWV  UH.\ajHqέ߷g%Kweb`pB{Q| {|+{`/ )SIu5M݅e_lQGWМm,ˏG>@NҸ|K P-<-C:ǩ׾DCwMAD⽔.pܵ g˳0b5bQt*и=(`0 Sq< ^/ۑ9ڜ:GܾkZu;IB u>TM V;}QY.[$ƼC[~$ǐ! lWܤpQP\6: GRs#?ZWȮ2Fx+vZ,|7[ʞY Y DdV#po9w"y U^3՞lx7qȬꣶ\u@;K(aaz[붊 ɃDU+VC$\VWGOIǸA {idhdb\.G|\R&0x"Ϥd7Or6KP'%t& 0%ؔӨJٻ}”6u=tıl`UDa´gS*g@ڸ99xXBAeX(0R t!,j_;w T V``ʻvh1%QG3Ft/m(y4$}e4qHHCA͟ygs"EZ,J?.P{iTKlqK+ξp{Okjvc,+[n3σ -*PxgJ|1q 5xa:] %Ƣ*p*{oHK-V2-8bU1KwZQo#vyw1=Z4ŜDd/Lsfw>4J3!>5.^ZK\<$>ꌑ]xi/8?nCu?y&q K*7x|}jN]Qy ^,BG+Նm{&MS;pMN_r%)$!أ+~cF%lA JT ޚm> !y^])}}}<.s .xzɾ_}^7E{ ls]E2 ~Gg3A^-6K@n[z d\/[2GE;(ȅ=#;w.` 7Vy&:BJ>y5!qdދl㶚\clU~H ,i`VGVyu>ΤnsezM",C'O|lV,1FQ~(EZ{6f9:;Rξ ܬkJ̐I]Tb?'܋b Dt(`l^esŰryA L?ɑ }Yp̢1L&[G Uoy'dԓr+3SJ%eEB;:N)rהu,[R^o0<0ehjlk9FBlii5(?R͂j?/`Oŋ:iױǮ w*Q7ZgvvmL:\0}m>Q}UNyˡf>%>|]mXJCe1g)r9Q(FvZ`))a[e7;]2NFQHv)$l+CaЮο%'5U3r= n|h(^z]>-s~zm^ISHJBS>2) &6Q. y> glwP V~FEM嶆uz|bQ0݁ZX]^ݺ&a&KIJߐ/z*g!(xh[˸vW#ZԐ5Ppx4b.6  E`'býy^T ]"lI"i4R8i@Y郟}rdBF:$ Ăw)İL|K`h0w, .O휚$'0υqPRWFp1"ȅo֗`~Jdݫt@ƗJ֡* J Z;5k!_F9omZeY]J\~?OXpҜNq] RӬձ! {ϫ.D%ƺ_"6Nʿ04K94M?7&8Ic$Rz.ÕmZb,So9".3$cI5f>e#e`2++{T\$<)Үb@V7pB+L Q M ޲v aĆDQ҃5ώ})ANzWi]w9wr)#,^..BކU,cY3F6yN:i4v!kbP&Uwq+aa-'W@&FiQ(eN;iY`2 RǣIMG/ޜw$vces$a XKQF~h`߽OEeU&=Xl䊩7 tO.FƉÂKomYaW}\aǿ(4^;!L3Y e;g!IAd󮥷~ E ҆o 6O [LI3-]"R"Y9ivܽv>sˋ\{ɴGߜYX+z ( 1"s"@szDI?ጂyg)m9-\%4 H"՛9VVOB;9颚"<,jZ}308~)4%𿃍0>*cm-)eF_ ]3X#:بCh_0_ *+)bOaUP=T{1VB(" "gG8,2+Ƈk[L…Kt 6 fW> &7 H` .O`2svOG8dƾ콃}4Ӈ 10\TԃpqT{pTf*u'8×wg)Ṱ`4,oՂGkq7 UpJ5c@`/RZ=En"m5NuX3YFvﶊ9aʆ0g-# 7PPw+kfs۪MP=28:" `ǂUШ&8{ãAy_Z0}bIT|jx'560 %x%D\+W|vDKnSB-hJ]t'[D$l\jKkFZSF9ĭH%Aw !oXY3tcF,C^]` A6~4cOJT/da0ױLɄXe =[vP (97Dg;-qPY%%zT,P_1g8UN а^:6 ӝFw~O -b `eǸ |8%XVorU04WBNs%eƠXaKM|X\xaPt/4>v~r\aV*\CI S#W9QS,Qu+!tfϫ 04cf Ao~bC D"g$w$y[a ER&YJ.ಥ[03sqV @%+և,F[e6DHKn';?d˫2I`Z.:VjCQF:c5g-xw;@Ŋ!;-FqtI B?O+bs.*|O19`b,VB/GZ hC1XKKWqBSA5VQeн?MSt%,"5z ֌[Jd.'"/Zq@@sO7ޖW~vr35 0>4* 8# Z}w\ϯ\M|ŽkҔ~KkB5zdύxfQ1L MEBU1ecXK}ΟO F my. EݩӁaYO)\ v-8 Ս A/PhĽP˰X)YX+~D/o=v|nFD 2_XJNÇӮWJ$1nX#}E)@&nز#-'G7:4Fdϣc-Ãq괽zt= eZN 2dx+&hn0ڛW'C]=nR;la_ v1خS(b 0"&e"8%^^ӊ:T(Mbt],1ھ=رwݙnzJarǹ;?|^G18ruJi[5 nSx/=&u`X0ҕA%&i2bsq&8pN_pO5 SVꏙ7X‡TJmF .VeAѺkEY_ <10""+K&jsη(7QIUĪ}k^rÃb4 o=P1;&'TsR4 \#y \B7 |b0D׋37SQ5&u"l(!wc!$k=δIGIO"rf7fv_ph3k wQ]ܜ72xWSP ݝvIG-n)3uJ%(-Χ0 l6cVN=+w)HY\EʞRGh_Ql$Y(KUK2V`߄Zrx .!+{@ T/w?IwzfXK`0-HfX$f/:8n̩M9QO rV&P+?}i$1ND?ك ?<,卵-ER"*O7 oKk 5o5JOt8̒~R8bZ?};twH̵f:97s hR3]ȅδӲzF0/O\/ Y1P0<ō)sٟ~^9Ɠ7l,+LW }Qgn׏G!1!l1 ݙu\M;XjA:$C|_<ǔeעmgsYbB#枹` w8_+IR)6>pL t |iGBPP|$P+U2G#{_;{9yqB7= !4ͺOݬ$*I:I Zsi>1yA_y,vQ:[.Kd4_;6?'jjmWqTb&%Mj&$zjYqgШb4IU%D=g Ց)/IϦaiX)~IX5WY:|}H|mԳ{()a m/zz$p 5*a_B䩝C5b/Iak@>[DS t.E×K Ep}nG7uߕvlʦ8i*%D<åw2