SQLite format 3@  .;  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 ooi5~ <, ] HOL-Nominal-Examples:threads=6elapsed=253.261cpu=1208.068gc=124.1887zXZִF! r!~]ŗXiɟH)0!h]?W ߹ĭ˱_Eq8Fp7 6>FL:=B+ PbuM{# heBD &!}A"_t VқEļ|3:"ri$M ~]#嫩";%3aS#iڎB~x>4*c7 ༟[*u aÒ%8U5ŘȻ!W@Rx`—.p\,ū1j#<o>ZU&%5yn3~qwfHE8}>&Z;̑Q [YO3f8ļ!3wp@ք Z+mkd NcD}TgNݞ`<WctwHD彝A U4hD[bډWkLTV#*B='m܌b j1S]Eإwj0yvb+4@ų|pRٜ8ȩk%.B<źc쾐BNdMkٔ}uBFxҚt4*)v?Fjx7R%,vT~cI{pM+,S+gQ!lQ`+sQbUBi 0:*q) ﻁOV&ؚmjHNT4?WB(߀⷗EEG*iC{ lF렒 +?;r U@ ;=~o\#)`fS=R؂gFs}q-7fE'JaͪX`[QpT@|:mCA{FqzTd3 ~W Eaj%m \!5wiN|Co\|3,|s!s+ ןޗ}JAZ,DTbY\>< 6Y׭ZB2E T)GCB*Y>`WM}1BLŞ$Gly*jJQ^"Z>ߐ}q̈ R0HïrJN3yhG&vBA}fj} ?1utl ?V1,A D@BE罨pD25-t׉eB5]V0$,Y'nrug2DފE(P=H׏ K84茘a Dʤƍ,ۅ֯ eهA;a_p%R vYn<2KXqk= Ajcj0gK݌X)*ø;Dfոm+9cԐ3jo9Q XEIQᶧEP?8Mb]tH3,p`>C` e} W }վݓMv> yK ŧ{R~suO{p>8Wel"t֕RQ'խEøH&b Tw'+!2E4A  hO)^ϭc3"ktpK#PisHJH-,i(0܈+>S9bVՠo"~c :mFs MĥV`5A)8d$%׭/a h|#sD(3q4i~X0 Q 5 HOL-Nominal-Examples  *ιV2j K8pZrX$z) s Gׄ Ps̊fMkԜ^b^QKX=ӧC/i`R)9K5],Õ_]~k]#} 8:n6}'R'ʮKs+Ǒ dbIʹ!2pqB06"3DMqe(V[_/5 #0e@J>+ʨ˺({HD<ΉZul@K06IŢȍy樑hmνꖲ}]:Ϯ+?dIrc¾,5mT!o? ԌA<ϊbw~R Q;F( H2 PL(a&=;ΛgH>'HjrҚtzJ(c@) )Nޒ4~ljڋΔKŽJ{d'8+aԘ02PQXÉjuT(C&6G w ft;T_ j'M923pz>6 G.j@^]\#.=dm8<@^74N!RgkRoDx%60GksOLr)6 ' !ÒqF&NsýOfu}??O)"gQ VsB>nLM\~?>>#LXJmʡH]F7/Iaa2'i ޼.TKVƀGzoN Ͻ{'h'1N㶡9OaBDD yk2| y?'PhĤGOu/MZ J;nV󤡕İXy/Vߍ-Lw9FK;"eX_FٙHuWJȽ7pѫH5Ikܗ6CA#¦y|9X9#RA6caW K(q9:!)Sj unhwۥw~3f' h뛉ڕ^/W]]BR UI4 Z&DɐCqeM8BBʱc+ ;W^657 o E|ڹ%g|ȞA~QQێ jggDz eWQ;g)_|-a4Jo5i:96QɏY,{m.wz%>jj6sHa1kWk S_!8d}_TQ+`٬_ y%CyrrZhWW)|CQ45yYW |uCLsҭ6aJyΘ3$'@BV\ ҡF|9A=[V6܍0 A$d3A գE.kxab&H4uNU|=ljSqMj9-8yo۱>w\*O8N8E]@ ,X$6n,pJbĞlT[8"BfyL |l`.amUzXʟ Pr.s&EfX 9/aX  s&XPZr?zypPbj1qX*0 L+u5 s~J2qmKCY' :~b!-g [luȰv.kK]8zX2%^&$w :Ҟ5 ߣADy?"n>JJm\ Ԋ_GsАCVh).hf(iBOs{a)bz];ݑtQo;љ:>v\𹔊2TdvK-{YGV*CSƇW-vRx;C_QVQUЭN_3so 妈I WhR:22=LN䙃ά 1׉jm !8Z+}TPWo"X:qmbZWg:}>ۥvT`P{,FmVRz}ɾgteдU#|+@:e~0Kܿ ʼE%#*t[,.;+]/Ҋij`"+]%3RI \#-Vucz( .|bue聴5I}[2t /ݘ\B.qT$1E|$O˘:}OFnqD:PۺklCBunvM#x(db+>?H6avޒcG8[ťOɦH:coЌ $| _%P<楚ixYF#F%:v_$ 'n}" 3:uo DPrΊ[)%:fY]D >xKR@ TqP5P0C>`K`Uٳ`ǶZk)fNDOgVјz|ӷyN!6} [L?۞dpGϕ9m 5 δLDK>5PpK_7sT :G/KwCzK "!U ,/L[sk">2ף>ڢ3A25݌ĭ@L51BS\E KR#HѬn=HQHh{ac KJ]Bފi_%2'eHr#aIh|6`s5wݢG i\L^B'Sj36XވVׄ ]=nvO4Pd;i-X,:g\L'o <1 :gr6Hw k{úm1.)AYZ2ŋOxbLruU}&$IMawE+ ZkJ +=\C_@$)i.7 gk0_֣ɂKY[Zs^tLg#J$ /:N[ lVM()Vo )hN4f9̿GynO_Xb/hwBB+[៦ [د:>0XʍGz-+`JY3۳Ig\ ~sZi8r":}hElAe$)"\,chk+h$(5D4T-t5[{w$Οv"NhƖyd%:] G7~ YZ;.`km^JL)'6OKw\N\/qթ 1./`X6+H5:?hݐ/P:2f AX Za;kaR1҄Cz4IlH9[z&Ս،NJWd6-z@Hy.OWݹ 0jчW.ƶ1LSɣ7ݜ+a~H}󭜧4.c#Ӑ b ~pg9\o͠뿁lrPj@iY}|e[N {tID fB4iH$#z%cÛV>0#.mEqg{*hYl=<҅> A@-ޣg9o䫞]" aT& pL;Ë!?"߫eyOy^bGKUtgb {{"1zJ%iU̘3_w%4#{<Ι9g*fJE>M_@|dXR p2[M<ԓ0, ۂ–d*RZ7w1d@PJX-xot#m=տ7b`gv(=jS1Hh 2>w"HbԢx)!uO{vy?Y^d3b"Ka{M-aC<3c1bW)QUUT2 uF>ˊ>&pA*sa]qfೣРvg'ͤS+Z66b4EC#ķ5~0t,*#IoCК"烱OL{T|BO@OiHO%u 8TiZ6-X6dFs 9W$\-?H TIneFՒ|lBeF{"y7HDhڜloMcMsD?a>HF2 `3=$L ۜГr:+[ 9 17g0v.sIOyrpw1HC$>|q@Eǿs: 5ZJu[Q8@3oR_j݊OXvSr!q&pӈ*y6&Md'A>iǣxӉ mA%բ#9%zђw X$Ŷ ii1_ R"Ŕ=KEyNjmHR*5?}B1v4q[ާ;5P0/y:rt$!<"{|A{\ucI#ڶhf8,Q1v#5lcD#b8ߚb1jl"PTF33IUz2fX΄?^!)o$8LZ(b/vC_U]gYZ7zXZִF! v]ŗXiɟ1ʹ l93攀Lx3 a$t _KsYL{Gpry>_n&U)˛@M4~]ߖX M !n6Y8[BSSѵWP XR/qQ=(lN=?锠z!(wL|Xf G?߽)m58V lEr)&c\ƫavS8Θ=(TB kr"J['ج D>rc4 3)W+ci:i4 k Qrz8:,4!x4l )}&$)ђAħL܁љxM`4C mI=&N E ܜlσA%~;t{sk(E;N|B%4qd!(L^0XkBYQ+H *YQ_@Q6张gt{ҦYH%/&gYZ7zXZִF! 宀f]ŗXi%L(sf&!E}$\ɯQGgEaǓ҉ZpBZR}0ʩt`\|Z Zo7F&&' fh[Bj%V+O{L׶m/=?&D0pL7 .zbSE*B;!Z`@I4xbd=0jg&ݺԇԾrJ+q1X"cRV!(迅$մ6t?HG> 1U{ٮ)T%|~ -W9B^L c_:< iN maʢe 7Z(pϟm1VL.ӱ=5¯/%e"wUdby3;K9?TR΋~Vpz;2DO=-s 0x],&Do8K Cvt`>\ Y TP9/J-3 |Kem՘NstsV j_='hw+j_YC Ϟ!2)ҎJPm.N'"ܼV|swQwGt6?Qbv ҹm?Ou,93.j$ ߣ R"vG}jM*_[6(k乼r0zV1qĝ\h3Haz~\^}(FeXҲA5ȍu F:$#uouWx.lYUf'\ Jh҈q{F\gB.p$-+רּeO)]-$LVj 29\Lt9 `l$IJm?wbʜT1"Q'.ro+)hm6kP4gY`jc@:D Zڏg:®U n&>D#wk =4\ %R? Q ;0ևow˜2t~R;G}$:v7:AB_fB;)(>'\$1Z->W 7D\D#Zp؎(Na73YIPC(:. )V5!9qEn^I-WFղY=lk`loCIw)^儃}|ޑ{UQȳ'm '{ uK%:Kڤͭ_7c(UkPlѳ^|]}|wg MП?<:{Q{o3~lT^S G]^j4^C[FbrRHxNy =ZLǡ~'s 3r7R[  r4>,g݋LL^:epe/< {U7]|F kvߵE<.5ec}]v"솎Ey a]y)Iv) v_PNjX,hK. ZoX;b1{);neҪ}B3+ڋ,1Îl */\\B~2)C%aRvzy-==R%mFF/'lv˙x&2΁ʽ?2CdxDƭ;MzPNdfiW_a2[ Hfkm`\:%e!#$cR932Wé~ބ6G !w%ȉ>.4w{ľāvÐ{OtJ*hMV*m6d9>MxYbg%J(4irvz6PEas[cFLo B$Z5p(Kt8T6bd1*?;CVH>?b^Gڪːx|! TCm|Wš߱I].!\cx#7,#R*Yņq@F AW~ sw _؏k2]KQp@ø2 ~}Wcj"}Ƣ0)O%izb:8ىN?;:4j8 $ܚ~Fb戕r%Ǹ$yZ`iT(k~feP)3_U/xD" p5>F(*5 !Yr ~QUgی }c>=\EmCT)c YƓ65 $cKǃ+ϽpTEܬ,P1¸JpwzxD9GIsj-2KF)PpB=? /IZ\_=A~_=}Q9E/npZ2 (I+(?PFVWIE;Yr&tlފh+fX֋!̄RkX:'tG"3Y}"ۥH3_$p`{'X (']~"7ϕ݀UȄnQĴȬ'0O 4QT ѕsۧ'.<'wI: \s(!kE+YQf]9])A+$7sqy,Y41FSP) ywo< bUE+8lƑp3<%Mȷ#|ПC)!I#E|~2qY4{Y0[Z15&)*a!PDT ؉7;E<ǛhT%٠Xd1hDP峃 LN  b',7K.ld+7˔7u.\Ce uPF >JO C ut Mr>7(&|SdMl @V[ ADSI'lqa.\y~i$ }&ş'0VSջg4&"Ņ'΅scIP5GՈcǥVɨDl+uyi,j-k?lV_ Uw[*qɯ{#m>r ivՅ֮bE<*h26[`3Dípa$8o- Z`e;vM)_n Oa\iS5G VD%h_E6'KGm{Z3k22S3Yy#5ǁ6h3.N+Ž)l\00ض@=@M9#٘ګm~Z֣k2ū9&'$2N >ini򲙰IP;P~rk:wAW.2d֝&h1T΃D+g60_VD Fװg{?!ao[9@bfs]' Y"}8/5)IOyCMNm?\Yh~D=6ϘeM@A>)I6rK\0W,M3)|lJpTw3L{,5A p`?#O2`hv|)p>ҡFP%G^VZ-1 ?xto,; #p Tܘ$|j8Ό ~S.hecJng@qf"l =G$@hRܨhn,"GX1R׮s平s~X3;UIm39OZcK]-@WBMZUM>6!^GR[gVJAnj^^" r[= 3W&;|ܣEx)#Nt ݃\ұKtk*ZIQ%Ҙ`F,u6"y^T=#ۊ*LSthQG>\KPS\Dp2)҉X]j~^c_Fpv.IToŒt##X#TT,N]E"_ zLTTvVÊ]^{m'};iՀ9\MUb!ŅZ>FXX3Yu Pj]LN+j7AmQ hl}YZ8P6t6n 6-|/ǂ/b.Db3z+ Ei'2YA p}B\9o٩M&yfdEZpq7]Eo0T0ϏJ{JaKe؜ Ǭv0#6oߺ5ifhXp-t("bd~dN}Zse|L0q'[|ʲ;x *)ܺDFQ#hץ| w)(.Whvd5XY6M mMԳMw+Y,踥cAe{|qG~'|]r9߷+>5%H٥T;N'`C$֡Yv5u7kC:G?q{ZNcRNVf ßW}$dnL+֟ Vu~Me>Wuo!q@z"L4,8{}WL$ КdU"Za2+hBfD_T?3 xY =".K!*E!oK^^ jB)LUI!,^屼c -Hbd<5EnEͳ;-2x2[kkv."BԻTRngW{rPc(enT.@f;K;xٚfL9YL`&+S^>4>&k,9v.E%$/_\w^Pb{t4\"%&֌<ʬ#]Ֆ6tJN s¹=ߋNH:=hZg0HY7 OMULnnDp) yb UDYCڀ mwke6! PmQ9D%sysQl%c: ic=F(ˮB Ɨj0Ӣ6t*\oѾ4]t66ft?Re&7SwU3PBQj~U,A78f,Gke! h[e0nr$$Π>IslGn͍5'!ĥ]7ЈM|Z-u'/Pk!3r2ۀpXϜf0vW eTBJ,tߪgprjPoHݓO=%O[Dap6XG-(P> j>"HJzuuoCPfrljniH>,L,*P敔]ȏIzUO^ҹvEL|MB^f~Mll吰_$#oBG#Jd>9b$珽DDUh.>yN t{]93YV=vf9P}ê+׆cп fc+?\YƧnRF7 373dߎqU`czw@~Tm=ObsBbP9 x>겘 k*o(_Ew,Um+\/5gmx~x "7A+oFpN@ m{.$<=z`hO?suK1,ѷҩJ1 նN?&kU?0I7^cCJU =;MҠF`EDqŒ <QHha=x®ŵ`o`D1o|pPTMn{Z7!6/A聥cxvT_,Ĝ?v~AR/\kFGHQ>bj#~& ֖38DA(?<TN[v^)?΄0ٻQti&*=@zUW&<#;0'4}O%ЈK9?S6YEd\\]qz>7LxhdRb `/n8 <~~%x0DJǟ7Q8[L?Ib'c9]?y>M;ފ Q}8mWk A/5-'%h0ΰ+ wЗ[7߲|Fs@KfC:0 U&W+z-K CrAnmp$ŅbӪ06'0C™&#K #'۞]A E/9lշvk])?p}-59܋4yRnjSf>`!Irԟ^_ kȼHho~YxUQʔːd&Uc{)4({ȻEq\/w w4|]lV${3v>w9/YmF"}%&$g:I/!Pvemdϒ+@nXp!m0rV8KMoXijY9B?myΊ|M+j':FO%εM{jxы+ŲZ>i,Qu j!A@/U| ZSzM%HU~:QTWb"Μ/ +*iFIq~cbꩡ9K /Th?ZֳQ)FN!JoF0!; TE$&dk?48;# NZQߍu27v)(6lUc<M)"Y0Q >,o"*W½FQJǕ- Ɨѣ8Ka\KzM!x;? >(}&Àmz.GL#q_"Z;({GO5s\5V#.9Q!u.2bE? s>)_v ahƹ'm.OWԠ5"ݓ2crkSu%QV7r*>.Ǥփ<g/sf ݽ>Z&|E`7II?e`sX2U w)A({F3 0}&$#5S]1@# :TMɁON[#!>}j,n|v.a *`rEU*'F7) h2 nTE_V5KP< 3`yC*=G"D#-{A<웙LVwQR}K7ͫna be vbq13N/#0W>Szze^NGZ 3?`O YMY9զ!Uжy'@6@wiU_U͏)omhdJ,^Y#u!_ڼu縮T*r@yGPeYf.66vt)(#xX<4&$崲Od!n*-$E8]l&|~6U⥬86sҨG9$3eۡd=[ւmmRƫ;_qyܐCZ{277WHwʉղB5$ETx{NYkY@UjIiXJ7LBD`e (0vqR}@7ݿ )e j67Py w=u239zf`ò"iaRN"vD(r+J9!n5X"Ӿ.F&<p )օV9Po*x, HMݱ7z\|374nυG$z<1<6Fnο@בVm9[V9dc{R5އ&͈q~m9`yf M2JBk5ocbF#@ElB *[dIu3u)זz@;/1Ʌ7\-%9<+TьjNM<E+GZ[PY8H#᮸?j+);8 \P  $qoآ`$2 -g_P 0.dƿ|cLfcIm fUffB7F":]qqK.,S$g.g uIpL3cirjh Q1#s%5 >VӚ*ADb+պ :H!,17':v p:¸я"RTp@HRqt5/ҌjSBG_Qt5oSkCR6ݷSv(!<=[aobxN+b:p: rK.c-lnL?^l8dxeHvE> )B"" N_5T)J?bwQQ?R`A.N,b\]4U!01fU)FM% XB H)sR nGuZ&Aєc^|ݕ˙@Bcac a[ZXm&tLo=&LMOE((JE{)ҧ18`[ 5?Fu"3 y@8_afoSW+kd;E+ L#ğ^uEȢ|ĹQm')=B}f3ԋn,!o(L @^ J@* ipqydNݯxKubv,R'VC:M3ו$ v#JHa7>Z d%؂ԖȤZc/cr.#*u =(oW?S^܄ח?j- 1qU?ViO:0:>7zε%0a+f0<ZA#5tS7ڂ*Ͻ|Ts׮eB *D߸/g QLH)5@t ^T`\ӄ rCf/4Ѡ Zz I X b^VOacR O]E,'0/\3zd*c0)+$0s<3┅$Ŷ|zlxNjү/O3Na¾[nNᖖJ }C]SkRB(rpiF_Ҕ@vRk ۟+9h$ix?tapo]Lرt*޲hTkG{1)-"؟q ؋9WNζD J_zYbz$*I=o[3?ZP7 ^GbhWM4]?~t:.<,3ɛ #ן7{9D oOTmՇfg:JWow|wtI&AƢ9h$tˀM6:|e8s65DER܀=zl[H.zbvԢYS,V^%J>n`#Wvt`k(_0b$h"-!Ӭ4$$Ud_;4"D/rRXi:I~"CUഭܢ5XCeQ0 2%K9T32Dq ^G/nQLtb?ɛBǨ&>HHp;XK[goh߆uR;:v7\O 6l| r<dILսa~ò/dM|Z_l4Cp3LM204eNb-rho!AwcIl_QQ meH$Էu,vy~rG7Vh+(]:=a.ŽpOs[;cB !In%5YB<`EThJzQf%Rv7=לֈtn EˀӴb'A/Yx\yu)L Ai:# 7oxf#1h[o X &dU ""aq)MȢS,.QH[v&VW_5(AۨzTs W8nEG {uAH U;|d_y͝c#YFC}(cY[Xi7 uԣ[3ш'TD~$"pLQ却r 96͚Q^FZI#扢 D zL!q3UU#WDǴ~ܦrfj >՝}:=Gs˙0t^~n-r 92R*I󗡌̆2NX &VRwCclGw)9, zih]}u@̝CiqP\H㞤UD#w 6pQK{jySX I|ˁXv1x{O(v3/s1귾{4DG#ah,cZM_*'KEKeаZ;ڭcYD(UjWѠ\ 'ǔ|~ek:xIzp?>~1a~Aнu ՃBli3"źD9NG= qg"eJ3%ԆZk+!|V<`MiW8yB=h2MfQxԓDʹ տppoQ窨i$}aLJs53r&f) mE @TO ˱-߄G\ʡ9cC}C3Fi(뾞Y\oIqe7hQ$d×/1W {Gqdڱo@?Us6;%O&Ӱj7"sZ8聠g[]2۠I( .̰99/ Y\\œK;#ΓqW!ڎlۼKceY5# j-Z_}=W$5?0hy=Icf`JZ5gCZ*4G1FlG)Q!ةɤ Nf5`@LFE.3H $% zW.owk1l]67g`?OESr0ԥI=tne5rTDSV=)Xt)th i.wC='5a;J3ѳs-\M&ܢˡ |]TX_B%Wy.;ؑJY/֡gaOsft]>cQ@2p6Wާ?E+\^tOxq7-{:t@WtqQG8A4݆L VM%isɛ`ECq^.ܙU*55~Q8#o\B]1׃'kQ kYݑr e$ HW \H^1W`Ê2b M>z@Rk,9݇ep.`C7lÐ+cCJ[V[?贑8qC8Ē/ϩUM))tfxPWАjrsG ;,YFdt_8f"JbuZ^ƻW$\>E+pW\鰰-z&'CV l˺8v+xű~}D0rCa#?󖂔5Z8ⷕɁ[[^{ǥ؀b]>`}F4PI9E})Uf' ?F\uޜc4L:+#5:; iʻ_dg*ܹ-\ h~#-2lFt:h BK:ʹ:3#&ԍKѵS@J̞Ӽ" v -I3:ߌ!?=1q[ { bWZ߱u_bWs<˿X'h;^su{"a{e(nD'Z-bRZA'"]QK{)/k{<7#IZ!x`:J[ nˁ <6ěr !Ϯ&Dm4dd@bi| pX?=( 5a@J6cKB?[ hdFR>1<[E}-pa;5P/c9 L#u8ҘݳjjomM}g mlRe@:sgJ?)8pI0MK\J/Y{NݭSfM_ N`֘)Ç1{ɷۈ+t . NRPQSb7FDݭ "*yU!P9u8Rw0ӝzwV|@"li@ĈPit"üeQz7XHoR ;c>qjK[#)lQÓMV>+\lxxgm 3f@H T76\z07fL` k!4~C"Im-_%ng} 7Eg%caN~cd7l([Z[-SX݆@UĻJ6}r%3 z1{esȵ4 I-P(H]"{Q&$e(pyRX|աQq@nC]>+I leˍyH, H$. 6=)PICIyC_w1Kf^ZV7=`wds̀[a F^$ɸd;3MR9ekCDCܱTcCz"fbKOwR2/Mֺg쀨 if&>m2GTr>).v!,up K "" 2ć$c3 5B =0"X3oKTc[#Y TO;D6/e.(8l)nS>RC%tk;O< Em%KE;;_QLN'{[SLYrj7#(if!-9=QXy_tʋErrĈKg%p4z'+Do{ytks{o{2!KlhہjR{05g&ɸ\KU0`z;F&Zn!Do&n\#fbߛ[I]ĿapAk;z8$r\|Xa\0ͩi}0wSM#«0,Q7H8g2E9d!1a l{G.Ha@Hķd0I:,`_Ts]8;8c{֣JtkΝ5)W^+ ?AzEtZ4l"5GyGF^س6hzD^?˴s+uzr@CX n 1("^g.FJI&}DU!m_8䇚Ί8y+3_O)^d SS׵ߴwVe'l iH)+ (óhkQJnM-A(9␬dXp^H a99܀>}Szfʖ/RMW%UBftLWɼ_Q>~H{p&9Oq ~a$5|maQ `Ɋ>IT0bQH6s,: (îܓH2re}ѽ&{,URU8u&K{o侢zeixubpxG.5Y^uY$hMnx-@(L/411:$(r4+۷YXG;쳵r9z;vr۪)[M?4BvǕ/ yd׷h#wY|ĝpeZ}va&^?@Hd5OtyV;Ie-;K3-(pw|bSWѸ P]`5E3!S[%c= ,ozvF;Jo f'4G6}&gF5[9OIč@"FVZnU?e5s-*BAP/z8[ߋ^v| \"(KmTAmu?A5I['͋:_%h0bnltN,Eѻ̈́&whhdd9 oWot.'nY 2DtA Cw.o: ["z %WXgN(}QTZgFJ,)HHuڳJ,{*g rnv.]VA!i/3)rri7e>D}v( ߋ Ek#=Q+*(T!~s ~b4sHd(+0ܰWM4x())i7DsoFK;y݋z^, gH1?@.Op'as՟,C57OUgJ8G*)_7cWӇgnR?s5]PD(H( H/*cTtl\N(ݓns`+ăYP+Fd[qwr p[}:#NIcq8d>c,r1%7ټd{׃F~bOw{h[69>sG@qɒ]4FO=-8?y!MB2#E\"[LZ8FlF^HؖQ^ﶎ?%+:YeQF`I$t= c>hrSkߐ%9`: զ!l4O/L {8/Ҟz3!=&sG# 8]-'V2y_^>'R0X [ʡAk(S'ŏ{B^e,`|w8LExYNTjAZ./ᠤ{ Pn0acF<1[[nam.w6$I[E5&|EpxA@2vI_&U+OiAs$Ja?sY3'5Yk-s^W89*]f?jlm)[$bJ&-XGZJ7)C2ы:ÉWLj~wsC.`ZbBx>:5}9j!3 ^"݀oY7u R$/r] T22%Vhj1"Ws3 (ѽZK07'$= 0sk05S[7VzBM"%d.>z>1:_JmRj[y+&Vll_sWQpLjm 2u邙bE>+n>J`>S oIzL叼k%f9&%24-`t؟Wa5\JO/R֓҄@:[9]##1-[X619iRybl'") sƌG 눜df=.l3i.6%-VN1k]}*F99n}\ce&y &+x~kWD:ڞ>ݣSߒ!~yڰB/C usEPi!"~q +gB5-uBhT"X >̫NsJ5_r`d!wd4G;_j"Rb ,5IySi‘&"[tEZ/LLJ3Bj|/p Ja>+ P:fW"k)m4eRM4w8qyrzZ_qre0tߞ {O!&Gȿ0է}^Bwz:o{P/!H,pps"cq6΀3g_ *>: G显Af²RPҕ&d$gy;wud c/qE)wC;`o]Fa&'noc$;O^3ʯsJgg*O]nX#<Ԧy/?"x5QR蠨>K?o08 @ 3NPI( b,bϱgYZ69f948c105981076839fa1cb0b17d3349e68dd0073b97324401a390af5292cba94f0564c556fe305 6001243685746f1a1a24fa4ab39f70a8f5ce39cb 7cb506de23ab190e448db7181e6c0c24271c7ba5