SQLite format 3@  .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  |<$ ]% HOL-ex:threads=4elapsed=367.681cpu=1356.696gc=65.060factor=3.697zXZִF! D]ŗXf1-q恉<]d %S TzA=0 e".Ro<^8.'J߹2 MM7J U=kLEe &Q=G03,ߓG@!i `[V:LwuC'qo5"!kݪCdR\!"*G0)>U=qR`inK&S‹Cd>uWlZkCNSUW7`{Q8Gҳ\n\;2ػνq64rq 9 me=e՛tv>tnKVd9[)!oP[x76z%tɷ>炠.ynGxIpisKX|9 ~ "i& GLLpf3Q'p 5?q2fADɞM+k ,.8蹣pkSk_d;~W[")g%X/;o"97bgиtIh#jvS55 %B!/6:dO8e힤Ҫ/0F^fq,!QQeV;H]M@a40 `Vw40rz@I}9 h6;oyy{>TOLKqWʦu!##Ud,X3+=}w&zqDGo (_yi*ف_#-?eԲW$wmaС dTK?eHa=;׽   HOL-ex  67+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML7zXZִF! ]9IP3mE?,J.鬿X=gm9ZAm{&>;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ /7+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML0:)ߠBoc]'W*5{>9->^IـF)mS\i =h_ οoƧmMp]Zqae `oϳcfv:bD9jKi X\*ɶkc *3W;>RAkncKcȑZ4#._gk%0#VmKiAf@ ktݎYr)8_k@5u(EnktplEĶ!N\.~!JM)m wq۳Y({]v1m 4cI80ѥJH2HP'%񦙓!*OR?iLVFs-:!ޠ?FQڪ2p<`2ڋٺLG|v]Pxlߗh\nh~(p؂w( gv O%/bk خz Vw],JQHMF߰QXl+Omw"^ "} \] {P""ɍfe[5v`²6"3K=L1dl l٧,ЬUMF"!*qO G AtNveT@Q"b6ZYw?xkGO@Aha%8)R $fj.UEXVr`H9"ZbK4 ߿sHi;]<0oާԸU4?`w>"&lv) 4#붩*d,r yyyٯ<25;e#jLWַښ~Y+sV7>7?)"aȃK&9k$!{V2szGXf oDuH:sg8U<)9+s] ^iP7H'Bw6 C~@"aKwmsHfpl +0+^Č+,"6ys_a\=4žڅaJAk^XQ\TpꭖD~|:}O˭ G$d՟ S)`t X9{yK"N5Jx!LAe 7t'utb0O]u=-5EAv|msQ*R&P m~gr#^,ojjpoTM|3Jf|U40 Fj)l`X;(/0#X'XicXF*?r"`dKɋ4 j7IQ /ˆ:1"U"O';Zy7OQ]ڼ2~LܬCw-W&ruCz*΍P48e(t.H:b rIF ƍ-ӛYs:!'c0}0esMj{xH y>,t]~rH<:)n6.l9ےoZҜKŚd˼Z)21w4CP+~9!V8^Ek܅s3٫ӢΑ GغGOG{9z=jX1?~đG!]-r^Ғ1 r>"anXr1e&Q&LǓmȆ#>{u[sEv߬u#6F6g}*;ۺtQWO9Ap Syu.B#?W K`՗3l'oT (JwfY.㰚AՠoSJ ݥ Sew7 Qf. Q2Cڀ>rY%SZa#PS^2V-"`!6jJ=7@VQAv9+bv*e9neRM憮r;Rݻ Sv1" ".\da{M;b!-$(Ȯ_}o&?32JbQa܄N0;zݑ> 0]/a_Vu`I[8{yܖ]8K,$_9DXlIxТ:S~l|2K=TA=Iv"k-k홵?qLxZ>Z2 ;-[ vOo-e xagvtPJ: vi[".{@nɹ(Phצ0s3wst;ey$wԫ<^~:Dutj*xwmCmJIEԥ`wݿEٷ%v`?eC;doԴJT]v,CFnv}5cU2]鼯e1Y!YK{ 3 ;.6`w{~?Oϓغ:4#uAO}/.bO2"пkRԡL$#Rȳ7P汷o[a$ (LfS,~n依2m^Rv`Dܲ{\60N͗fFGvtwDrU) 9o75pB뼋0KUY}~p m X+.̅t~F8in҃l7@1(ς"E."[ٳaO^_-WYN]_Z9n:'np(8i36T|XN2y|0֜mr<:DxͣOSe:mur'IIrpm"580 EO&QҲҊp5!"08y4c2aW"ЎG]m1)BMt{Ʉ(&l,+)'W=E-d4Uͣ1cbeE$/MX)·ߪllM,ط$j̔W.67UGI462W m48rR\*I𭻇NB\W憳plie)&iD"V#:)9aSP4mM;'{8i YH-ˇf]OH唀X$;/؃DjexG'A;c (<PJN'?3 i}q?<+Б#Q#_{*_pPg" C4c7$cC)O% Tc*)5z=Z8lV\`Ʊ|»lRdN-!Ъ.:a*!:]@h\[킨g:o a.nfJ3Ӌ6[]i47M: lz|b/ٚr*_pT Q`V~7LCs|˸g#灭l$:rnZE.2SjTc`6!6j;կ9*<?rg{xZU۷=#?;LB//Bh BTu9Ϛ3w-80T&9m|6"W| P- Ck\Ymo]S`Oޮ'+r`j$oPHpx9sU٢{ ?8^jƞ@tn>7,K!Wd|iƗ#墲*7WׯVmARwpMkj֕3du>\Uޢav]K9CW~~H5;J. 3p+c9bjKU3J.<yx-+MWَĎa]=G\TmJ ]5Mw\=/ż7gYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afiw$ʹ锏gBc/TN9q@Ž$rdAZXY= 5YoR?"Zq@ma^eIk %pd/A~-FZ1!q EGi`IU?5Ar+/7tY,,vrqت>'v;11뵴s UEx%錰G[?VRvt8́cm50Fc|OXD"V|5=ŢTDl \$>PUV=O„zBG;Qx`hFN ]ヤ]i$`~b-څ.16]qgE"8mbKHJD$a/ ||<=H,4۸U$uҎͺ _}A #҃ʬK;Fi]+wVk"&΅Mn Oal!P_ř ,̝IQ8 ,!sEpD<~ׄk02F bgҒ[`ؾa.T+H[jAzw:u ~cIF RG>DJUDق߭>_*o 5uoahfk ̶.5Z+5ęA%gX\ߛxП~)c7 ͻ9հ(;SX+5`^0\$1,Mg߉CN߀mXN/l;Tf5.l (OY%/uKSFJq8G+I&z!Oc{\+-&rHAwEڝc98\1_19lWΧ0Fg|6sqG oUu.n4 lWw`VsvmiQWnia7dr 3:ܶ;:|lE 5'0Id; pX\7|I+a_Oȑ"`s!+BTqW. Mmʀ!$m!YuNw3f`}1_ I6J56;jvh.i."Ž +7R.n5҆\7΋HW3QQ]ɂ <)-v3 wwi2͖ Xjf5=n훚KQ60hrI$ikl]h*觑*ߒ8Z~1#o*._dK5~z$XٮԪY_ֵ ]<TrtG6 g`q0ѻ>k!CLaB:twWL83oqT (4#C`y˦]5K;%@"Al_[FP.>̇ N-d& ^>$  b̕\?ۆMi6V<x y,ro}nzM^pe/9`Io*60v5kx3^&sX&qm]U?~-&EM[6x4:e"K mg;]v~2ƲaS&tH1x+x>K~qDihzE٦io5iBt?,wo5_QVYOa 7s|7wG:6eI7Q<9wqgFŭ9EeVSAN wv@WZp,̉X.| 76]Lᥡm{j߀",m(Q3[KwG7rj&G"9#jCNJrMRA"3ERk sk@A` iD. c7,-,S-f{AΛ9*"IkI3\2^}Tku<ze7g7$v,Y%@!zK!j;k-k %][;fi"Eozi]o.L*Wq80bp jTc\. .DZU\wbQ?pl4$̐M1U-l_i?A’DmTMU;:wydINҜd(IRg{ht!4hp񐍨ėWph41 ێbYGcjv IXPO }L%Cow<&b3s_cޢu惦3/?Z{ɌLL h sWQ|po 0FJ Vǒ)ܘvWvl%['>oPxL}WpEX=*lRi&Y{$*FF|+S5jOw(o3~ I$pY MWkv# ET^fDًvfܚ!>F]etLF)Vi,YT%J5Z2#nw4+FjRs9u Dbp~oݨBkrsn|/#+Pz^?8y12wie rՀ ;&ЖGJ*z)XGu4)q0v'^u{+tإ.;*g+zF<{ 7fzS.Z+z 2)gT(觃dSDP>gܫ2 K[| (WHZ-GJvW%%,e݅=>pxZX`9!hH$:Tk+[=Z80BA̦ߗϡL ]ŻػLDoNF ~ERk,r)p\<K9r/"DN\qmSD! WrTB?F$d"^ڵCtFϼة0M ~b@}=D *KGȟ.0O+#Sҁt1y`LՔ:1jOoМGz/"qVcIIB1"#i{o3Bn TG9CQ: GE3ƺչ 090Hn6;m)]8w+:B*q D*'Cp , \NyF=AGnTjq $?Ʉ3>c/o▍=_tRxh{a^yk x:G2 pDXC䍜Ts*c9A:6+c_ ' BPOȱɱ)-%!QW0*xߜc`sy@EOaeCqZ ZbT282YzUl㻱$ VkLigLoW.7aX畼U3FAyjG;'75+*-ڧK4gTUF!Cmb іCF3%*a.i.u,d6$+<01]YSq7 ClEbgqߒOhkG:PT73 [-g{VvoQ0Ӕl'[EXk8ڬf&ZWf"4pk%Teó=nA m˥8T Ed,o5t]ſNv,L'[$Ղ@mabQB6vK̩x$to`%,g2nM'BHQycRxo|Ȼx n>4n pX\G_-ƢB؈cG= ؅~Q1#'$9kSVOo4|CdCvcy6oR̒"OK,Y`݃iFؾ#{uHrJkՐeWq]Ǚ@vh|? 0Z\f SLVT/3\Ǘŷ?re08qzmයj#rzh*Wi#2,E5>o865奦Š&)ڍOFw?nwt(R{h7djRH[lg"zajTmiY@}.-]xL2ԬTS-Ǯ59'RuݔqfaA#BѾE;PuIy9# AYȭwdd!g$ZMJΣ'4nJO89妝sR$;oF⎈7%JP) z'2lSq?Bï _?Jȴeꀶ1X̠\ }֞_<ڡ"_UKhLx.*9cUXhlN\aʯI @onY$##뜄@X~E{11&AŬ h`jQ`80IP ?Ȕ*S+,;Ϥ@߬KQ*&ُK}ƐKh/lV'! XN#ը$Ali5a7Ps^Da~gp|Q_ _0'neݲ4Q]bptiS/R}qQSL?ZF| )g 55ŧ+FFLt`ɿ׭V Tvr.d#!GB~\bkDߨL,"Y4+j!*+ j޳)_ !̾N6x$d"Q !/s!ƏpvR{qIu)Q=CkdJxu!ʑY X8rn sM'ks|b|0R-^ZGc]%/ z^4O>(ݬd]1Fn)ơg*Ncϲp=02 x~~%M+ug} f\ԬXɲkc'HuUUKyC`[g h.zn8^sԔ7d 9W jE1#A'*ʊʈ0D NJo fQh4BH۫òY_C~uRVފEK+o'^枋dϜ!>_. aO+P;`[ wMvm4Z_ <%.?$FxSߘr(}6qAϢyU XJ(mUOEɶ⸕cs4~MML*[j+U*Cv/K6Ȳ6+q Y\/-LY$GlKޘYzoR6Y.H=➱ ŗz GO2^ SD֦0#nO*c %smֺ/AOB4`yH=~iC+\1P!)UYP3U|S;6gV~5&U|mz44\KWޟL_ֳ{(s[hxk%:℃j\[ۥ5͙< D,4߷24<,W 3F2&$42hBYg7~,>HHl^cn_L};/꺼|^[Cyߑx'#[Y DUl͉+'+aqJ9E Ipl6`w]ʞ 'LnX!4eCQǠ\A2qw+LԈ& ]ץ˒TK3}z8@ApP+IG2SD3&^@ .Oc EVߝpu> ~0ط ~_?ėSC@'|ewovL0~6׬wX>b-;bPEMni 2Y=8ZjtJi_N{E7//ʬYIP>p+wTlQHLPKsD0㟬|NMW*`7s0bMWI+2X2m $?vZ&uɤD"&Oܩqŋ&BLe]9I/ֶ猬N4'!a|F.ġ:.s'@DŽuc { DSh573P^۩dOk9e{9}9="mXێ^jGxp_R؃(cw*us,>̿ʪ!=Ƶ gs`;Npߐ 'i{\^DP ςR.ppQ@J PNqpX19·5զ[uM`ܴ)<E6mfB~K!B 4S;!b.23^j0,"v/'&Z}4.ŠV:dof5^}0 SvMyR':哼I&q59ty ع +"R!٩k8_b VcaIDR0UgB]rdj4 NUAŞEj'Cm ,LtKrU&Eٻh* 2 3g%z-q¼cUdV]Q/[Ok8vmHL!cq|;Q*W >_8"TX4丧 dC~ /!qA>p43Z,N95ݕ4H@X> *gei 'x Wя& y)]$J6 vP戆7ׄp"[b" _O+w1cH=N»@j:C@)iwT+'\Yj^Btj;̇whJa1GK&cvE 7AmRvh\Sc?7$ZmC=9 |v%> 9)g"~g`8WUj4nܶs[Rװ'Ɵe$8/,A+_(A܄`Nc*~m&h>&.RA}0CB"ֱvⲥo Qc/ o[0ZU sTq8`})vIxુwYL7_Jj]Xp%OV|~ޒƒAśj܊z Ij?^ _OY [.OC[EauD[KEa[E7ACPOff5Ϝ9XT3'#?o .7Aedl>EBzFr>L50TqKߪ!Wsz.HqĪcl>W 8*Զo:k 2Հ)S50C#tkQ-=:ޚb#b[t(fҜ.у:q0м DT 2e@YBlyL)U2YJƏ*X=ko d(etEE/k˴VʥGWa4-EGO7)08w8_d&hf)/ ơOjuFiQu^*ɏl Ǫ&NdG{ZW#׎kZ$l03Y}-Ftw44HT#-,!5Aۭt6ceBu9o>hZ3}r-C x^ ?dt8'y&aqlW#|Ve1vYYr-'S߫0z wk+YzUWLd;.lF&| 6 6yJ:&nr:O$AxEE?AĶ$F0eneLbu?0y+K;LrNmЋäIэҬl'QA^a,>u.a5nƣ2,KhI;kE#OHm/K)ǣ&%E'lS鲗S~XtDH 6z=kWr ^7Ea#:jdLXM@]- ??xVyF|l<ѨږRc 27!Y uMg-W7_%kL|VJ-5K%7"mN!٦ligK¼ C`*ۀ/^=?o#ڹѢ moXy/"Ҵ CEq aܦ mzԉq*0qSxKMRˍqE8b=t. ɂ 0C .P:w Z5lǾ oY̰f(gg@:6[HRRd0- ^uˉ0~30zHW|] `2b0{FgX[EqMǭjLDC$hWZ%Z驐ӎ7ȰIacZC~ύ%##[12J8D\8mhw ܯY* 4h/̓JG@&H S*J1 N J\CFc~NM<sYi!fXuE6πh ղl!"}VYrhnN?@Gi6k%k_Urfn͜-2EgޥQx3).}Ħç#Wk s(%\Qgz+GWT\2 4Jxn=!T# zLP+$0N$(?껃-K\Im-q{Bd#ˁ${\ƎU{Z|(t!1x~_(7X7PQr\(XCit`싢礇%f[MF`E}i$#e$smX!QY5gn2dby'Q4fH`+O# 6*T"IXmmVda u츳t >j_HZ]IORxnDSzyɇާnm|2., .p3;W"nqGE^đ?o %Q@C,l†ppRFBA*ՀN&ކUw.C=q2x|J]FbB+m_IAڸb5lb_uYLG_c03 $D|62wq'%UX%zL{e#ێ/2S ]Q~68~]ca Ɣx, 7} )Lm$ޛI.Â8j- zJ|٦z'饫]_.reMG:gĎrZ$b}y-`Q?ML;P6Uy;׊5kfnm(g՝yo!IomRMsd+q6?L٩>edC--> r7 ڟ6i׫3=#}:/quG}^$L~L]ɍj! ;PEχ} QTMgS-_BԂ2:4鸋~7 T%-<;b aPTQ#CB:ZiA<-q[o}q{A!%GFZϡesno^D6ha7d_5JL&^"׿{LIb ^M7 T(_ĥ_9gQ)%"894ڭ3M-NШ:Q2KnҁL=) o!gu!ʀ[lY<5z#BM$3&*3jX5l&FVhhyA%HZHYl:6s|2բ][4՚L dԋُ9RYFyYR/tOs Y ~кlIB,^5u PtukYIy.J@MfM&~ex?jnD|Ʊ)qomb8ͱG~|f@Qtw*1U2ә5~ k{|)_pxѰ pw 5f|RQxJuTM-6a.Aeeu3H AXsa_ +A%DS(LIpm:۹(LCKW3 HT_ SeA 3C7Q S8F":U@ɁϿ@k 5t K9/mj=b˄'tI+M9\)KQ} );)b8QO KrۨZ0mRxZ9,ڋA6Z`Cr h PԨ빩L%T^Q* ATאFT6%w{4u/ӵY@AǼNf6T3 iX6(ND{YH_4 b?TKWnLvܨ;ӤDG<WdAzn =~kh_NYBα=cRҺR#Cu&[Ljl6U'8Pydc;"7f[f܇}Aȸ3z{8K:#O5W2[pEsM&hRY{;0 daɅya^kpE|b(ypuHKP;.TP4CD gD4a8(s?ўO*$H|lujCZ|˽_'ɪ;]?KvO+R@XGͺ@ϥc Cط2qLh,DJ/vOesZI~I7FINa&1y<is98jL8xM(5dzv$mPIu av !!z?(TD(r*,GP](3vƍdͶ4M^97BpTT] uDZik٫|Yp^ W!cg∜`@w?GϞ@Pj"/ŸMLw-?")/ëtN!e^7/l6~%>9^GՎ@D2EP/w##֒0]Ml?e&а(\81m{X8 /TML{6`';/존Deۗt7ϭr4'%}_J*$E&G?_;1MZxC&Q'IKB#Q.Ph>pWaKlh^VXeEMmH*Tar!-0(yQ.vGHxE ٘SAOY^CbWꩣz7sT,nǠ \X#m&o/.YP";2Ju1M#f9QsNSPkʌ fuEc[GV`$*x?Qa\-#<ҫuR_xΨGO,#Rr0UAqT燗 v j^\fԻW}kt65;1.MIxT '*^cL"|aTUipBbq_',"Lb9lKB/&0`5i$FÅiTëי~(GAW3x"d-핓`fg(nL:*cO Luhau )tR\/|/ݟk$Tq2-R&=nĿ%׾Hܲ4{A .$Q/,5l(aTF+%ƒ"gV2}D9#KЪ>^43i6$X?r/0 w)K>!Bhc ԛ5e6/d`)H;=:!.i# ^/ =Xگ9ʶfP-QnЗ|~L@nߡOu@YuT ' 1V-k׋.q %qMNhȄ&/Ha{|ЦYҮʹD:|t͖/|8ť2[/ИhpY u%vsyvVa)jkDIJ_@%AKh͉س`*J0$ &a%&[Z~%b}`(ͫ=z|DuQQ˄ȅ c"4ױ[~AM[ H05`- Z2wי xr~J0diu8b3w;^q՝/T;`si7+(|S$dOG0!1|-!1_ݹ%_wǍQԈ)Axǣqj @)c O~1^Yꛞ502"J3c`v砈yw ZfOLuPvIڅXOihUoQ ?%|7Cx (H''NL +U٦T@<}t1^ߝq:=;N $if͟[ g-/kN4ku(*r27 VLh,W6GSb S}} 3V |u|9h@gp\'HhNJ6{Cpfa퀏\@Ld gG{d_=Dۓ*".!G˂aseVmJZUYTPltUW aǗbe|a /d*U.mFo`Tn>O_Kfѱڏ5@I6HT0}}*J%z;wn YlY<~(:jPG]F܀ 媢]q\d*L.G!fX~”zPd elMa&xho: ,X]]iY^_-*&!?pcQE$WUQ.0m}jFPϜ^(` #< v58|t F3njpC3+!1 T#,sfjPA^h>F+cg` cC_t)nݾ2;1Pџ?Ɇ%pUX_=~= q-c)N$LYj0A?(-3fIjdsI>y]"JTPNҤnJTDD!N 2xa5h{~ VW[55, ,[3b< `HJ( Lͬ'*Y.s`GҪ꫙)[S=~dStMGTa.O6:O1#G1Te>"QӚz|8;X|6*Qo9..ddyFO-ch@Q7\P?( hr^T3wS䆥VdމԊ[>[*,+(+su-G[Вt7B7*Wb]O'4E&Аx=5$ŰJّ`89'ʍo*U:\Ղ/&Zk(H[Ka Di**&R7'@v/%ٞ #R%;-V,Dx>`,[lNk.:S6Xk)0.8 IhQh4(!#4:ATPx_ ]J+a-B'HSe3S?\=H-Q7g35^y:[\'b{^5Jb.gjXBaFv75c)@2B…>{6k粥 bH,SOul):tѽ t6M2OIz8g N4^ՠhѳ rF"Nչj nKs:n-⻹m {+,'ɬ2LVHPY>Em\/LӲ0NS4K)NtȦ,)8LO^{Y ~kܾm sc˸UCT!l,DqGOzRpp%>Tfx/ϓ))Dfӌ58P}).D$ >KTĢfQ$ݷq )69vj߁#pz0tr!x @sNis"{YJտ*q|Z7` *5?EBV@CԖ=05Pkک%G'@#X *̊7k{RVO.D%G!x`mbDHt@ Z7$A-\/;_',N5mh12u e.j'u__,)z;4>|*ed)mI0!NL 8;E$-gQ{^<ӠM"㰚Hj IHP:LW*͊3>_/DhrdWQ,3tڼ_5$(*4yRg<qe \BM'|h֛4g"WPC&NHt}ǖ.0O p@uf{n*V֕HX^A[L QwVAp0U AACa . s,Bny)p$?IHھ ak7|N*`*g/b5浽A8?P77{'-VA:X3CA!-ҬY~S`~ֈyYAh]itI0G|Ӝp=E:\?$&/C1'*箬T2i: & 32'v,DHˢkM2ZTY=ݷ k-#>&2/Y$ÏöN. e(,AR1/p|H+]/NmZYݼ"O5yNXZ~&]#t+-$@S]o'rfMkKX|iɵV:M@~N+g~#eX.$цN`2,/XWD6%)Er|DXB _3{#͖enTh**++r頂~97N*|qM⨶?nY { [&;hbq噁//%Ifѽ`tKWΗ>k̴8+L2w^?~cUΗBFLjxd# l|y3?x)5}w+t)T=\@QG , ;A4!=N&kQ+ldBFTR],lü:`%Hs3NtbWm\#Ihۂ\B=]&LGCRK[@oisyLep YlӉd6Ri+;If m}>|lzg8 2E\@BKSV*(͊$H j6F;0U4Lϣ DM|Cl 3OohRɏqV 5[~SgS@)̺#eCqO 9T"~&pz#.x0Sf@]'VY `cQT@X0rO7IIN*¡\sq39XCs2;IX\ }`H៍0ĤPB"qi*z N&aKjS5#T,0h%i^KwȮ2`Aq*USR-CB2PVY\n(jAoZwz6N#RNATHEl3N02Iӡ7l{(|7h/|B8}/Pl&^F3)1G=2Nϻ Q-F9Ju#[0k׸I,^I=*5*QcV:5>T74)v"3JNq& `Q~[ҠYv*1F]3 d[*kYTT&hm[+ld3OO>_3溃XR|ݯNA* ) CqXB>tV,d3#RL>QtO]y2) PSoldhGKg+#~mܚҙ4˜#:d %GP=Pn<9ߍ yEΆG>| N%!DNJxClakkRNȮw* VroUsV*PmZ ӎp[j?o<&Rv->= NZ6jl_ΕZxKWA`N'lkDh]C[ۤ UFhy0EsR(F23=aFDTE[=O:/|,z!Πԁ|Oq.ѧޠ3q}YVrbpgf nl+[fQoå0DB55~ R' QD/?gz :lB] Cju&C兮">_8jOۣرyJ]ڪSy~, Vk? ci> LyOjGrꌪ2h?hvX?Aym`9%t2PΩ-A/0a -iGޣ=/e-tJ dn mHHut: ~t- .AXʦ'qJ}e\C(!} >tE!7,O3$?Ӵ#:pboJ;n?QPIҒOi)|`;،KzE"W #Wx^xUalaN:ޣ`ihzQP ΗnlwA>>x/ Lz]zRpΩ`|I)I%kuA]V}[dcB h:Ŕzi@'lkpȬ]#Nk@2$`t|+[ 0Yҭ_GOra| PQJj̀1敃R4Om! [=aܳ?HL BҎ"ߖbyܕw\36kK*Nq"\u방ɂ,ŵjnV jW\Oj'KL 0b(CҀu۠՝{rތn11x$->M[Po0z9j kpFѹƢf̾QӽԉMV.jWq 3i?rL1EaPyO:ArcJAV!v5GT~W"{ X1eBZB3pq&lQwMne2}YNJJ~ϵ@/_|zw w@J{G@_ڽMV"Vc&΀_QMXyN@nevvJxlsXɖdJAE,7EADNN|da'GOiqVmnӏN\>迏Å_ )A粠5&Z?(r j[&Y~?K> &Y\vE䨶!Ud`~-#0xF}7>ro+m|u]Y~߰qÓ:hP4p:ٲ gYZ72f15506673301fb2d5366fe11c8b65ca4a14ccc4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 31554a9aee0688a2e741efca4ae1eab669aee35b b36a623064c27804e56192ee95032ae94440a85e