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 z5D$D ]S HOL-Nominal-Examples:threads=2elapsed=678.190cpu=1224.796gc=121.552factor=1.817zXZִF! Ᾱ]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FQ/QPbEP!:kldW/>bxL%`NP N# nr6cfDo!iloh;ռ4M+wRk$]*" j0),%R)QsKsmf7*j mJ:ۿW\3p[-sA* v^uS5DV1;rlREk2Ν }bnJ g4Y0LF*n)xDBCjgAE;TkzAnμbֵW;7Q:f KXM&&]Z4B#ٱ/~1? ^ψÊPRyV6Yۓ FA~߮`ly 4ўES2ӓ7=s3aP(c]uˎ҆ppb6I hAy|'0R2>:#lܤ xEvOlůP)Y-.BgbI^T~t\XFĩCT"S*Q2@Ws@犚ǩg+ \{V8Pw LT=Enymk O`|j^L e';J)Z)d:N\ɽ3#)S+Gv sP"8rl>$LLuHU^kv(͉~>3Zc7l20T$4SW޼OKMG*bHڛu{k Zvk+)쓾L2P[UHd E-Mߚ 11OP`# f? 952~Bv_,a?<1p9}%iRԈV=W$E4Wu8f_hHN2CIS3Ǩ4wh+GQ9r^kCW!+&8/GW>1`!j||I,HG嫽n9Z./ G.1:,L+MFSR#;Ɍ,̿pw2p@YG35Wq>48|#yS7?6n~b˼oQ6ֿ(`P5J3-D)s'l4\/X]c m<ToxrGP=ގ̋J)tA9ר '%9"D4(S N[b%lܶ{,ch 0aoOxoQf$CE#2 }xlCvj^Ï33Ρ][)]Mʉ+!wʾ>x5Up/_ gjft뼗/kȏ8ʬgf mW3x],!dufC:HH)_rtYfjtvh[7dԩ90wɢGs?67,3܄]PK)o2es'HKp[bQN=*^/vSLu…=zſeGR-?uPlZES2$TZSLKjc)j.E@zB^JyR qeerc#+f4=<|>=>9=Va ˒"/Eٿi+S&1ںH`"!ԒoddhT*"IdM<Ԧ&mAoHA ȣ̃RkMK~\NSOSV'.4"`qdlz姥M.Fa>0jg9Qڗ~$:ή `@)%r,ŒPgã{o YG^5 ,~-9VU{L#e/q䨕`ۭrFz };y;dm71v5SK9og^Ss~SXNzUKKyz\I; wh\nw{)^-$ (\(&y'ti(>ŖKH`0A'L5D-Sʁ?&߶@ :vuc h9Q 7pӭ/wuԫ_= JMQ%G΃*t>{xcф\a1f()lk(?c}Q(V ( 2`߇dgJ Ud 58 h⊱9ʼTʂ$a:{G@$Vkj2VX؟Tb/W"MƲp} 8i,m{3Qׂq۔XH<: j%jYkC H 2-XBn+9[+I olF+I^$6u+~B(sŔMX(FhO-p}caU*^?5yOHNCNpӂP!ŠA|P.RTtۄ|O Cvp8e,/wir#oj(ó aq+qVNŔ3ϝ(@ыec6ht™{{O[;6g%^[+&@XPqOR$=j 4]u3h  Z\.#c}>l+q8-DJ*m-S&%2,LHzg@B H4d7C埤>&]b*rS%%)DYdϩ!#$j6?Jr(^^d8F;DEz¹:$* @kBbTۉJ}n](SX}'؁ef% ;Jgb`vݶbDt܉c9lgOGNzqUم{{<Q' \&|[!5R% (د. c ^#*O&hϬ:?L@7bpQ 5 HOL-Nominal-ExamplesJTἷ̌<; `,}\!:}fj#Zˏzyʣ"i+bAo{0؊qc s>C} ʹ_\w H=2mn&f(5_Su)`_e27倘eNj[LqLYUtx!z*Ǝ xPRGCL454aóaL?G⊽t!gA\ bOIoji1uvF!AJUaJ4\VuLྊJUK`/6tm'%Y2f1ID effFeSQ CVkA(ȖjrHO3/5jC pLtq}Y T?lCFj1l8Ez!JQXf~U)CThDH|HlLXYٮōWwYT5 0q [g^G̑SYx e175IߞSilTFl*|lB)n.T*2?3. [CX5g 5[U#8ŠYh`ӽH&FFijYnV(D-~ȍAWYK G EdrX'/kk6uoI/T%ISjO xt(jw{b/5r^h Wm ύ!E+~!wëP_M2MW=a^ô=VS,9[*%wHj~!r F*JC3ht/r}kq\%>z[l630$"nU2\L0PF퍂%(:o3!u۴r/PM f *zՑ?=d5v!%fzU[]?Ik 2\1N9s~mSq} B+fIH2딏w,<\Y (9k 04yZ'O9"0qB^$QZqۈД9*R%:U1.m$Zhm0Jnc]T:-/3٧E5 vw?F/(Ƒ'I個V!^d ]9TI=ñ35g7IʘmzEp9: q:iy%ɩMƖ:Qwi# *AW.02A;ix5\J ޏNdRhTW-A\`^[\ڷ!ѥ^>]*'D`Q6yI0 B.(Q\K3|SeU:Dms,ܡ^fi+VSR$]r'KP=L8)UF?`ZG:QB.ꗋGUna)1yDֱmX$dt74&^Z}=Xa * jxv'jfgNfiFoXzgӵ<1[.{q5_Fgt;N;N ȻȟoQSfeZB>N@U36^ d,vGd|R,yF"M%r{G!W4 edBO)A7:y@/ Ziw(_MO c^G;G^>8GS*pnב: dTFaIդԓ}7o+|b7?XYg=aFAYXa cb,UObj a]X;rvkҭHTn֋E]|úV5%i qn}"zw^dNq6uTji%wn1=X6Tb&ZTL I3C^&<ݺBZwϐsԬYU_hˀ"޸x\7<Ƕ~>f<+$e Yc ig^pM$ E =!R/FaYO=w{1z$@+[e5UD0akjf\x O`VfZ5O#BM""m0Fx o:߯@_('Aŭ ȉFFKڧD|ccb_)JW&YIo *zԄzsq۽f6w8>q>|qϩSXPs1CtG2nLϹס@[nm "b0%ru=w8fxڑ&~o P vM6V ^q plu<^w'rp !.Dy'=~cOBu.2@+&No9%ko~?22AVj.uS]"W sK [*eRn;$ٰ&i=EC8 {3Ҋ'IPVT xK!<]E~H1g[%3EЎhdVfҩ2XY&1BXfn_3..g:w^r D3XZ@ɊM%mshԯk#\BԍLٹ>m8AT);S5*,]P:Z8{Z@؀xW9Y+. ;k)oF{!KJbf*qgn ++V(?QKYe=]*n564_]OU7He)9^B Mq'>vɨ{v<`EsLBiB[ĆFƲ6[`m H Z^r/tl!JGP"a-nW}n٣v"ZީL r(X_$ jnޖ'@mGXj4ro٭d ,'C tރՈj"LMv 1K,ǝ <{V@۟R +2e7 Gl"(Iu> !et8|MzK 1;OH>gYZ7zXZִF! d ]ŗXiɟ1ʹ l93攀Lx3 a(ʴgSu3+~cM@P(Lﲠ ^>.^nS]ZWx:-7O 0@ |w =rB/;#!p;H;ꞝ BzX{>Y{TK쪈+ì 0AWL%̂Gz@ZU&Bu[7EI[Ut+O{Unf:{2,O1g0 \1og4v@'P{%/肣]9{K7b6j'YM/?=ЯEHqfQ<'"%n$xn5I×gc@"x 77ߦCJJ.SvY{K2kCP:j+YLYl{ѴU(;=(\>;ޘ1'^2 ĀA(FzL}<@+2$PVA}Yg58H1[By1%!Ky?KmaY=ww&gYZ7zXZִF! $]ŗXi%9*W`rkthxN1{?mIh"sg0[.>jbn#l1TM|4axj *&JV뮙|`'=qirYۣ@;3X!tPHZ]P ڽHh.*ok?|'*jΡb\( ((^#cgh3+[GT8xUQepER_vLfH#&cJ%ǣpUB0{X 'ƲƳOu*qNwGcNM  ZeӬ4?I;GcpNgqR$< ˬCpayAXß-1S돯v.kϊGᆵ5iJHP >OO;mrXWԟRDPLS DyaW- ٤r][nrW|qك6o+{g;mkߗ»m[P {+E nV, slMy>P n7h@"3x, ioB[K>LsM'acLqʱmѪljdo۔fGq\F0+21/! Da̞$y>uԎMMR_&/ C:wo}^_FYaKQ@OJ3+19i!&x<  K\'w[~ kQä*i)3L?۰;樌LJw;'Ӆ@{3!|9ΒifM{TwoX&Վ` /g][2}#Y|9h_A̪!=uf qn;Hpn_kTĵMo @Q|lν鏣{b] r߽Ї $䊇q&|ǖшQSp1fPBi -Ľ J48WI.[̓g$]=pqԗ+_#;e T/mU E8NGNyn8ru`9}*T\@=Ep'i_l_RS?Zʿ^ dǰJrdOiѿ64l$giZBsYH Ӣj.܋ܘ0~GM†.nSTp~ݢM(B0az󟑯 M0lc?~:s,xmI^HlYrDJ@ʧZ.KӗD3lB-3hY)o|}v P_P0I_\["ݗR.Fvv@ǺFUx9 3g,\vL,){sSE(+ޭ$h[ƈ/O ښY>$ZrO*N3gkD}>dћSHT}d%9<$lWE Md%ݑE؇')VVQS0ejp&8%O<8^^40/ қ5j/Њ{o+ fxLI}{&.Ѩ/PoE"ddmJ%vRXc sO wf~k<7l&*g_O'ϳߨB:Yk(A>]JS3[1lߓoO*Җ t>DAG :||X qi'pa [fU~ղc2j eJRo|'ᷚP9퀘>\h~X_n~0(˜k> wkP.w>^wr_qG&c!jR?_i̗$Eܽ4Ւ`M gio`Rj~$ᬪ(;}m[gZHߩR?^Q^@t!n\B 7&;b\AeBQpCAt/bLIqD+)1-r9k 'k]61>|/~҂bbkl-|y"ucuxw4T:"7Wnl <2S$1VPkD <% P5&D4GTtbݬDMxd黺')I͵ \:: @J ع3jBZԫB-8&!]̪E'k l)j5$ꞬC &؟7Yq|Д$04->%w,+"joك^Z'hQ@ G cِ6}l;#X?k ~CՖhMivd$WxA?Ih]iNxʫwùwyo섷bV7! )c)٧炙h7$*!4kfq>245B3NkC3u@I=YSn{΅=Smh&)Zj59"Fܷ#7'biFr VF4OG5x /Pk$R@0 gPvx5Mb0JҬҠgݤUoPXz~qӈ+T]Hi/0B*;Z*+1x*ݪZbm k҄["۩M@\| (?fk;4Wތ=L) 5NTVØxd;\Q^hA.R7X12{9AiP"@}^w] ({=u3VLģ HjNwSEttڥKs rޙrVүdU S[TȿqvV%~ҍ&ۘ1p򯫖JKIW4HS:/tC-bP%kj<2 P3dmb `M03f|f!Pj֑Q6a9hv?y;Q1x*6"=:"ڊ6BY<-ˇK{fU8j ˍ-2p$VJCO]$X+9ިxϨXj=޹/3e(F(%Q5n+:[ۀawfhk2,m~W{VJӅ `V-Z9Bb8@lcm?5Mj(GIKr6 pxEU<G޹{}BwG_uu⥗hَfN߱ds8gfCbLw^[ÐL(;Aut}ooRV`w;`'M.nW;@)]ISCrWwgdl@yw{۩2ioHx`R2\Z?^G"0:*o˷u݅ bC2vo{w z gM­\-b-~>o & %+l7跪{!C$VVwRҸ[5~,s>CmFQF59Q?cW$>-?y}jZo R(n;mS:AQkG" 1ϔ@E%)U>@6հ; Y~}&n|F@eH)W3swcidJ'Ј$K*EHԚߦI"܈:NZp\3D* 'ƶ mX`R ;L  ͥ]˰k'OWc-6^A"k9l[%pLS!Q@ɯft=o=wHN~ jl!R;ήSml+g5[c>P҇A;q޾_P @dnڙz1z8@0+$^7/vK4sWk2j I`ʭtݴ+Q=6`PrʷqЁ-_YD@/IglGv*o$rh k`/_ ?iS`*4mj!e6ɐ=HoXS7~i(k{6@sV@ ;jG!V;<0&X02>C<|h#|`3++uF$=Y|汇xmՓtRTspA~^F`C. G'nS٧ܰiђ%n~h,~K@IQ"[P3|)T^. u(myUl &޶{c5i6]dJ R yj%0\e2iz ZzKraۉ5D2jn&{U&``$<ɡG=A1]- {;!,!'a<+nǙVS=Y 7p$t}VHbPҴV_/oßjH Phl.W[?;;RZaP>< U5puGEM0\NI8ǮH84 =r<igD+X?ie&=Ӱ=>[`+=~'b?%>J(I{XW40ɋR.+P.K1pbm9E>"ѣ@p r"V-Һ93'V.*滦!up,++䵖瑋1Y aJt2 k[ KPt-V}8j6j>ίZlm'~oPɪS,LvHтS(5NV1THkH" =AΕL/v$mA5u'߻)^ʎF=F rpaLd䗪rP1?70U&7g#;տ 2K6~qL`e0c!waQS3E dGd鄕q v X3YubUѢz:}勘46O}F'˥BHq=u,KBrj2S##Qlnٕ釁۴Y7 ) ڀmQ"\0) $%?\` 6KGa$ c)Ά ZSJz [ A=H?5'N`L28^7h".L{H%9Dq PߺF˅+!Đ",QDIV}s%Y \mF&chv2dWoaE=RqmsXR5R_ <:A@Df@Z nÔ11Ί_ePA3#D@c1FF6|'k.㹼1׍3~hP5V?[Yk\SZ(8qZ4ʽH\OgG%^L6ȠA % sBp,K`&A4{L6mC:%lDIpx.WN ~nQR\LbďSq.̓4V2 !4||T]ŗDzLq{RHgl\Z/]Jڦ~ǁStv!zt?l^s&g Z齏?,%󾧍?j qE)kK'*^EFkM3Ъ18*-hhIy߾#6R?:e+B>as sf w &YvW  #ܐ2efa"iik85}-6\W<ȚʷOY—MdSG.~M=εQ5c\M`X6B:!|̮5^ j(\9Aro5xM &HKʐ=p9c[2AJLԠ:C__  [F&,OŅ.Ru3<6j,xkan2WǿO7o\q s]R]TylbڑKX6ӳ,hڼA(5RבOG)ncXr+P,4&p\UߋRљć/3tۼN6ֶЛѝ J%aA1̬UiD'q3T6LTBѰecEEh]݀ןTgj/9c{Ӡ:l x'Fxk3nVÅ:q^E H؉s/bdC*߻^&F8=mJ/Ol|NVX815{p!YXrD4*x]++(i"}fa!6(%PR=2s ~qM*<ޫis!ͰMRvTӬsF-434y_ۙ4 -#qNWja*W!KVWvNPeeGdfF¨tY2ow trq5$Epw|i{h_Un{e)UrͩB&yiWB: ^_յbp}B`JED2bB2 o= Up  Gmj$|Le#0 ABjg;r@R1ՆV,Uֲ&vKD vͭ[]F^A Ǟ|])bƲS%IUjv[XiD.D n L1`(O̤0gVuvn01Sǟ<'_!*JPsHůb7{CX}0,#ELTz@5kơ# 'H6NӯG|19 ~8+chCF;LM|3 fuג~\3Ța *gI3ՓStŕ[,a.KvֽH6Z"to(i4'A_uw>? 좖Th 2gtZV$h;pA9`R+SM@ۊV͉ٲ~*z@@" }ڶڳ;OR=@L\ƴ.I9]Jڱ卥z" dE m<<'Gj05l&gpLntJ` 1Q0?hL?M8*o~ZBa6yQ;&̻Y4VPyI"A8Ơ*+- o]gLUZ/<~#,K(C}4RH71S؍a ףt1cAH6X8'O3^Ι|Ăzq !f Q&fIl)9LQIs4٫ۀ)8>4{&j0`ҍs󅋂!M{pD^e^297Jj(PKJ/SL>ݮj 6t`V O~sZc?,.:>ts!c6m1؅ό$vCٸVɎxsvUOyh~OvgUjtW3{өrLM:c.IFX z[<etѕf8ٕ4gP= 8s!]. 6}HU]I3 ]\uW70;~bIcX 1a(.`hP#H= ,`ag>n.t@{CmXYe- b!8<&@-~plS׮5r!Gs]3s Soi>sI^w6G kZ ӿr7haEdJѾC6.oDU&O8}~ 5͡n$*r}0*t/eC*п֜C֫ageHݽ^7;._Jb;TSijXYصNv93{mU ;4 i-IZKrUR@τ*4=PnRÆWӏMq0 FZ]@cm%$CՅBSiHZmY(ZLD}AKFJEɪG H7ZLۀ(.o^a8 }cCy"͐7X``hC=d4]Q:z۹z^OR_ ]-:T<_Dt#73c^$7{Pnŝ*=t ,N ]=u!7' l IA,-Zb2E#Fk^Hj;Kpf~SX_\rSB7KQ~'#:bo.ö-~lrỻt +>8McK]HrV $4](Bp]^ 8p/L@&z܌P5#sczuNb&ͪR7Ed_*e)llITYIx )k9Tt8e{d_DZ&r7P$ VHםpIBd%sG,WVPzINX[}EczV)fc:b%$.Xy4Oٿ"HDewIoRq;zMM 3V9vKr-mdO#zGLk^8':*(c*aZ2{;7&$;G>=rF w[^8iSAA8Hh:婜d!xsdݰy% SCMFvKziM|t[U72|Iw;zo ufgeSBEZLᴄ9-eđNiw2K-ܫ,tv[Is*Twk> Pg6%Qrىwp~yEFi#P{ {/:gFg[|PM+vDAkVSʆ5e"}<`);`gp/6U?i;/.k[j2 ME@y`oܵEZxԨG-.Xf [wh>t*:lGsSz AIizr]( FAE E4VoX@81WnN݌ i8~ޑ/q ͶLR)OH~cYF+ŜWEg> :''#+"ꯏRh~Rd1l!g JT"di]M4l˙4^u7u[*jܴ*+X9Wƫ@g2'o8ݝ>w1G_~F1^SխO!^)l?SU\7y[ՄU?No;hQ$2N_m!Ͷi:kаmڶ,g_S$pTWυbg@X;u3 ?-]ԯ/\ DK$|g)dz!:G KVbY W2Lަ߀3\BF#Xݿ U%_6 h hJaa>/B3'Gc%ģz){La)b b+w ^ݺ|w}K2`0TA=voSπ: $wv2ШZփΕHQuSΖr}lXDW˛T=SgG?7]GL?.8iҬAԎmѢu&m8 zV_|Wyd?٨k;rxU#l1;[ݧn[ K dM;~'?.&~^-pd䚊RpjxnďNTٜؒg*& B{hw#j4MYzd^y_fpBiȹ=:CMW +Hʑ.i<Ja A[Px'mhC?ܽk'e8,ɋfH\8s#]]P2pHFO WQ\jވɓWK߶}f3&*]|qkpwp^TŸZcWtទ?Szܴcs9ڧWz+%vk֦v2j P.樣.j` Ĝ(X1ˡMCr`!E\\`wyx뾬$TV0G{+hAwV!haS^ `jBӈ#<2m#.SO+%+Ǫ\LT;:"jRH?Jy/ !_.ozE IfHpuaJӹHBS <&Dȱ0ec˔fco ( i#hdZ9]>OMjșykbK'ƗڈQvE9v@/B2Ol C7C vo4*+qE9ƐV j@a=x۾1%Uu[DE-cLRum<7 5dcCqL!:kX P+c_>oޒW& m+nc}NJ˨22$[W=BxX tp' ʛi˿>/&őtk–Fg5_9ƥ~UdH}CUKm-" LsH,kEbcaLAà +>~:XXOH?[gh\*3GG&Fd'K9">(l m'֥ g:kS);8 ', ;Z~h>.P9=O_Mh\3 ojWfˍH+7~|-cؚ>NhfY 0c j"+z'~/) ̲dZn_}S(.hZb)g"GM*5 k"MڼlA3Wn%8e(AMO~p"[b3%qr@_Vp^WУ2޾C\ Lqrsy.o֜Et!TJmO}+Y!QXԜ552b8E(~qᏵ(#~.S.Ɵp*@Wo^rFښϴbqdÆ_LV|O'&Y7Sb06l,6*;t `޲uujvlo#qK_m&}MYҝؒ! <؝ș?IK=~s r}Ļsr +5ԃ (jH1rp0-d(bхaWèCPK< 5㍚80rzdfpUG '_4}{.6~'®>*LևܦCGbsZX^KIl!O1|`T\, C; =4ęyEgll[N_EEi0^L+Z\B/3T}<9AOsCa9P_,󩥓t;cjV̓ؖ)F{O.4)9ޡ61ERd1>禿̓FjN뱖αܽSIB0%`|B,me;Y⛼jR/wǽ;.V;DJfų>#L WCz(,}!8f,7BK`lsN4xh/% wIUbBAԜN$16jrˍlv+3ds"T8'W|i2Eygˆ}R`Cf4x7Befr~C<2` 8_T11ec>udc" h-;WXB 'q-1wI4WF*L˜ p/C(&= 0MwIBA\J Oڶr$ ֺvM` 4kin H?Vԛ]'αނ"=i 7܁vLJmaLn;5s@ް}@T;7!"J<^ 2(cutȞduKYF7hG҉np6?K籎׿ǐ#ߵiF#xa~{QXZT d JxaJa.Ս.EG; }eLKΣ ~  MiSp=7N;Q3-1Я%:ȱ7Bo^l},#\ |5RL1vi2uXy$E@LlcwVzC7=Iƙ޶0 5냝ڦ()zdsrNS <nz@EdGdF+[-3žSֈf IyX]yGסsܕIBD=2pD*˫Ŏ*ONjFN4Tz [շwFj+K[?0tڗ|6|gUPuҋHf>Gm? |zSn_meIG^~\|0yd4!ٮD/B[J9tAs==Yb, 9>tD`^"a5kCG45zmj 62,3Ǽɏa9)32O%٧ A z㯽h1o{^*$1Ԏ0j?Bޒ1"PK._|e,,m}H84!@ ")0!"F*<#R"T T.;:>*v̓ F~5yVܔ=e i=~|_Lsd5@.h*@wV<ιa+yhit͂uF0,UA{&8A:p:kxckkP?}ju.lx3r:qrlX#)Y9g(m;ahqe|U*WdJ4 k }BHDQῘ=@CKB"Ҫٯl|q( ] /Ppn9l'sF"~-@U#u42P K84<Ң~6Y'ٖD##C_[Eœ&$'b jn0.;NjU,.C4DZJ`!fh|`*~~ φO?M(sTa&RoC49& nFt*FIMAi@@XH%U`/pa~=jp|;şQlC1'1qH% ]\_庽;b2Fj^:9Qc_(䒗GR_ٴixFm` Cpܝ7nJrJ{혇}(S>ZP C er"\I,Z=yuh@I"!Vɡ R{=g H`L[ȀښEJkwReDolb't)^ʂE #ԧKa|eIA>LoD{c. "h\PX)+8 XXlZ{,lI~`)fyoBf &Ot ;;`<=ˀY=/!+Z';mvS'&UrGLm'):*Z}r2dX@O4ps(:_t&dR9};FMe廆d-\f*K'~|g@:=M%=ۧkLܨr; |:ww9[(#g!}C\{D)7?g3@UX<vLs쐫bMxLB1ͻ heUvMcw݈N,_ٌ\{ G"RUDJ=qCQ}, `\PWƎ SCu΂B P.c/N+1-5EĆc͟0JXPl+ sf 8W6=ЫNWw'^;(΄@2 Oߵ?RE%1cCk-[0Fс:@QS{O;XA4td͈:}qڱ+Dl_} U@ Ka b{j:률8\'s vWrb掃"Zs;y*rCpBOp1~{bQ]ԛTfI'v[:jюm괜ܮkleq-/~lI-<ä_TY@"*PɖP"45.ƞ'^}F8Jɥ5xB\p_xf7 |:2m1=qn۔T {E_m922P| 6rw^-?Y ?`a\y:Id]G߸Ql#Muǩ=,\^f[#hU1eJ53.΋}ˆ6cVi'*Qm@0kE4Y9<ĩt_7?i[d-׽<Oy*SJWM@N;Rg*QHCjhDe+'  .4![35YS;CƑO6rHʐ'O ls(wԭ9U:`1>׋Q.3¸υ#瞹 x^vLyCVRpHh)aqډBl<|K̟*5,;=_]qx)xg" DCH Fwl lku~A4}ь;=*B ܰI:`~zC쁎:d񊬮Du%Q|cU9A< !X".?lߒ|gN6M{,xHX ௃Rcgu5Cz~F;kz#u![|wYǔ|Zw<m<:(GsQ~{@m/=+>l'}s*IĐsړ4PdETXfeo$fm)A!KL[SSx4)o Yb n:gΫ"d&wv\ؖKQ _h) h)L펢 g'[rrrd۶PYWS@%1CUΏG̬B[꟢54 ! 5%r4Trpj?Qa@Ŋ3ɾ]jB*ښ[a >óA%w9J"rx.:\G9VԔHxŒlB+t ]ʓrnyu/x9 2{otə*'iX4LDB s4ajUD|agf.̡y`wSJ殊$@,rJ.<י_~7 ΢:;21ڇQL~\2>|~FÁ@xu=Υ)ׯDz~8#:-$DCMFьH@2͹nXV,z)k.Ǿ,)x;4c4&u*W=ʗ<z]w[6bcK{B0SlD$kz5s_!{ (d ogkt=]:!&r?re43 oMnS21Ⱦud򣧚Rv΋{Kp̸f&@Ե:nPsret ̓@;$Lgޞq@wǝx }f "#9,q8W8Aa<2p,-q@Q/oAg*Q oTQ$Er4a]\ci`p:]xf]ƃju ;6p`5Bv(ɡş!RɋSQ#s S 8h~'$qi 44x^>u|TnK9NmHyj$뾐LeWȹ3tJͺ <SsܦsxiHc,5H]eb5]-%u4Bz2%l䭽7Ibe.YBqh<#u+k9R>Ni-j@ŎFEFX^iCB<"Wml".[do򴶤7=IY ЃB1QZl{@)4R{nA2-a~. Ma&|GױѵhN} $[j088#ʗ>NLDuYϺFj3fDƗWH[5-JFZ&"gpTkӌMS`%k*Yf0}SLr\,^6[TxT3R4b1ϙ^#@a5ȼ}7OF" \D" D8Ϸt}1L]_>8>.'$ueQ9qLշ^j/fU\ ]S"LJlC`݂2陣4g3|8TCD>5RkXͩྎUژlUH-u [Ÿ\!G@#`>BF\u jap,*ʛ?ti<@GҖK8{!fO'PzW=:1"ƻyzVlTŊV϶8-HJQ^X)CtaIkeȳ⠞;^pZ Ș?kr;-H$Ez{뺱˲Vrw=\A$jDkn86\Ӄ=z$:EC)$9{UF!H G+ h mIƊ  )Jb;ެٓX%M3?D] յiڗ|q\NC|OjT)]\mv@5hq75K jv|NmQ3_=2[w8S@poAznƃ pE/܀n8(f\)s|9 R3_&XiwO!EDk qp,n=lDu9J^SH@O !h GINr&M[%lu5S]|rCz8ՠDIl"tre,\slY)TfKKy; a9rt<0N9ckVrV#0ޏS]s`Ko0wLf&?0=4wij5ϻ(iB3n`N.׿]JU5c~[ އ^wg {/bS'k0ZTiH ݏU9%(!#4E1uWv\I#lzjHi\Gm\gvz\2\ !Uaͳbq B i$ӥbUC;x.Y>Ky@cH[T|?3/pæ៾mo3a;O\$ `tMsѷjakXy_&c3yUȮʃY&=Ʈ5NIIܲS[kDOj"}'x4s ǐ4.FriMx)<¹?] *dK(wUHKjqlOaa:ƨAꅀ]:{n8j 4ǿ?LBN]aup<݀A T6T7e+'/´Cd:_'Dr'$yjK,cV ѕ@T48~EUK_UEK58ƹ)#FOz{ CVrbAC"rsa \Hز ^T G` ]Ft CWx_kqɢ:DaK^0⮼b"ŽpB,koDeY*źm&_QU] Uk>Y܂,+N/=\-p0*K]-bt6Zl"/ͫ9M]i(y Fg<-ESQXشkߐbAav|Srӗ 3Y )CT?ilHšqS-@O9mzv۩$}+[)yKz-pB 0xu+/2R}3Dͻhcv[n”xD9yK{I@6Uy,dO9oQe耿uZ-('p;9/[u5IcrS(NY yMaPPڸؽI'^˯c8wZkhyuv8^R'# ye>ϓw>$y56c`dOӋFFW^ bh3kh$ լ.l@)TlƞY) };N2@M[soܲ˩)?n8f{ z=ӝ̹gwcFL6PotI ꌧz)[%ĞUDrnv'>.E8Q- CWMVKm6\!L'fc_a4ѻC.^g)_un&لQrrgk7貽J1is֫1{иFdOx9 R,@bQfTp﹥Tɉ?T꜕ ៑CaOB{ Nx^24Ԙ6Mu &~ߏD0:AH)Ÿz ~_ $6~6d($={S!b3}^\k*Ѭ#~}X|gHuldL*byv6:dC.%tKbntΧlLJ`IkTszAMSə{`պ1XCUBʍD%j׶K7p}>G(-_ >6$Q(D-@h߅kMvw>nܖq;4(y(tOȋE>.سSus4[٧*)Lf]H{c}a&,yvvYbYa:9it?DŽqv8c ,Za8X/怅Le6TXf[m!a"~5;\ӋE+LҥWdd8#YNXfh4*Pf}ا/""Bi,~g#.c#Oˢy%g)mUFBM n>G ʑ/L/szc)zt4߃߉X`o]CPDgwja-ښyf궘GȰS<6 eauKYB{B~lK6 փOUN'"DN|M`\C_2v|(f(kiNNMr~fU@={ie":YXd#c? 6Pb"M*~R2$"eЫ]MrXky6-+8Սi'KC^NqFjG@ztyV^3FvGv/ʙhԌ+t7P&MT5+-JȣkqA`4PR f1yҥoɭjc@ 3}M&0ѮWE RhJաVp҂8U[ @}ry)qHYxċ8¹]ap c ݻ`+1R$`qs&uV{?lYʞf,[9ь&R!(2u] \BA9WG]M"6sr{b- YCBP旮+ k0[FMn_<9ʉѝbs۞Ͳox;ς3qR-ea/>[9Mz@VG(;O~%RK9VC,"&ɏ\\n1vꪂI%ekP Ɓp~Իd gW/ZdžhMv>I:TL5=3Nv-^jZ- Z%:EǤ YUrJl,3n}:0.Xb`/J)HRs9&#d&d5_k.i-iȊXw*仜 C)ٿ Z+UBPN{s]Em/ʘITT 1>)A fQf;6dY[$T`~㮺% uׯWa7ˡ,=Еf`7h> R1N47~ jz#IעYveעTdܶBך~tJF39^,#n5웎R/j8-IgH.nc3HS뢥 w]pͫU1Bi 7;=^'Wa 28G0 &9O4/hU[%E_U "FUJ(u",7tXr?\<<{Kb`TF&am}o(F7qA;vA ?MAed-uTGiF:ܕq a5KD2nHr(>B6e d6h83::B{12 jZ  Vls ZIZE!?[ a_=LMC΁ɱt##?8 gj-4_yAqÂ8r<ad>sKWg=h0qCk6]_B[5z2%rg0ș{AOfxF 'W#$ 91͗+dH_~|*K pHO`>u@1UIKMN%;]^mWiXЩ?>\']Qn(sӘǨ@:Le q Po%x /릪OUoGiB<zVdp:-> } `,zҀib*jtGǿ~Y*hZ).pR#j S= V )1_JEkEF_Hǰr{_. ls$:T#$gq_] cKl nIߚ?EYѲyʍ͕}\jpK1LaW$.Ns"`R d$SVD1r936{Ϸm("')' Z4foEMX*y'~,OSMײ [tFkbrsK2еJג {?}17iֳd13[Wbn'h]ο7۞HuadN+B:gut(x"Xȯ 柁nX{nL: GǗE{hi(L=klz4sAxޑNUAqKnmܲK HWj[Ա>}ɥFpy 1? dDKK'S.M_1U]ǶQrJןdsÉ@iUWz7*ZMo`Ϟ;nQ&S<0FU@:RY1dj4ى.X>Nb]ʥ]|y#z"6g/,"o= 5{Z#]vA 'V`+yz'4{w?'W@Lﰃ$* ;^E*X*7 f\e%1vElʷmNh]'$TmSKs\{AJܚq領gv)$'?=#|VǽUHDsR|Ns.WKpT.L+n PcxdzI4Jm7=HrLZvh;F,ݤmTPgN\{b_qԫFکz{(V4)`dGeֿƔR G3iȞ1w63zS>(ԆUrTҮk8:* H |" 57D^9d^Of!E4~ռI"PG~q-47Øl" reS8( 3fُK{]JH#v#v&icS4'|\AbJ9+=ÎIq#s77rn+̈́S!"Ne/UsҮ8pX?<#|o(+PηooKј Cq XH/ggJ,m^7̛#?c9fԠ> JQVas̥a/tfq14 HxwR#6a1&?weQ4罜6LA:i,ZG )Kfubt7"T!Dw~Qq,+["+5Ț:)I}H] UI ~L=2sBӧ#@=O#M݇pԁ?0k \ IlI: `:dn.q޵\W C?tCj|JOy[]To*z"lTԧY6Oh9-4d$_ hq--s' 㭮5^-)]8O55dN ?$Ը' 'Å(0 F!۶Vo>m}r.u{șq Cs710 ǁF 3cxԡ̡tƤ3́QH p*D<:;^#5@4i43g',~%lboF-Pkȸ:$a%rO 30,a);HoV(ᣘq|GM{+<7}UL Q HʂpbY&dvƂW*L6#MrFVAN1lt _LX'Xo\( Rm E>v#=e5Ÿpt^mhEF^fVY1]$w9Y(!4gWTSꓲ >R"[VALxنUo?SDh)NpzDvy JTz9E5TE"ao@};sʎyeY ?o{ik&7 FM|Z^p)4D`<447τ{/~ 120,".ꅓ {e[I`rtS3ȿ Ocп6d}A3Kͣ)NBZSUn3#AymLJ̮ ["1a!y>5,|89Smd;4# ˦nbBa#p4fܧ ?/ i+&+URd;D%}Hw(\/1^ 3^0e4(!Pݢ!.n-L$l6̲0e'!(5eX*z"Ef?C1~造{.F7V!