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 b54D ]S HOL-Nominal-Examples:threads=4elapsed=372.495cpu=1344.052gc=97.424factor=3.617zXZִF! գ"9]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aϐz,Q-\fՔQ7½% g I"D6rE~rjˢ8pU`gOW PS~`JcZVS5@ăZ(̠G(4U["5撲/d0]^\ 滩PƊZw7٨ ,&WnG k>TR3_]:S)[=-us}]XNSI4 ȝ09 5 HOL-Nominal-Examples  Xgd1%qwF]'C EMp=4)Y"&)׵Ws,>0;a%$`S@k!.LD{(#oX1ZPno)n?cq{ɪl<"z<-)j;Cw\w[ͽYZA]plvSgs{P/`DyʒⷸD:m1>Z/ķ?HK$dmĢ3+b6YEL6)Dn% (ԙw..A7i[&yY45)sbyg\*u2.kޒ%TbRO w zPm 6&f@+oi[XŗjF|Wօ$$#WΓRyX,뫋|0-z4%M`CGϙ39].3l0iOgienDҫv:pvM@ͤ`&+hg@A8DE#BffAVowdrHLj:E5%WKxbGsd#FIS’SkgipK:@IJ?!PPY&OT3eE_e{8` :~5,Q %oHji2<৥'VO81 }صIYي;xF}zxͰW!wWORv+"A;mzU*ûth?#fM\|5"O{EBZc0ZDxsM!%!ih̢5aS ʠ`PN^$lwϠ;̄@s:XSf< Y623@O?+Q.[[V9顿8xY!S*wYQ}EKF1U ;@5-31NYBHEdlWFR`;v`4ȝ&<@V{(A'_[3u Vw=wI9K'_HI&[J.<ky $kÒ(9=`%BCY/ b')#$|6)ꁓ2 3Pr5c~ ȡ9gL (,8.' i]NFV//+[*^ԇ#h 5W5';Z7;. ӴL[r19,{m3l> 3ݢ̘1ACv`,=c!H 7*c7s{cvarmC8Y"R@X "isv55;ffG.>0Rɡ x-Vƒ I7+?QWu YgN/VDDD9@ ?|`&@ocդU֙/W,{Vi yթppxsJdk _>ޏ2 &ץv-nd;jjTzi*eeH'G>j[[KhbSK+)K :^/)t8qsah&ܥW?ԒϘI# # $6oԉa0So[8XxIb0͓77h2Q EF[߶*hmT|E;ȸIa&F޳mb5v\-Z5LJIժY+:9+Wܹpi] Ŕ+4˧;ښ)/˷6_.*f3gp\ma,u)x`?`aZXSΝT%0!jU0D@Y24 i ]uC̺&${wM5!BRX0 ]1cgsoJPj~!Z'6l 1N|7(|5yӦeޙuƄB03F368r u9LR^~(;"/3cy $1Tu <>ZEC ƚ -:~r! ncQ{╣m"(xkd[<@/ v n2s:2:騔qpa*APpb۲ha)s՞f@'%q M`[Iڠ[*\-ԉKzp M }ٻަ)V>DfBPQvI JAApD+…t={"RWcT^56~ϊBCDivb8<Qg\wk3rb\ݒ01 Nv-}32 _!|RYj4 8,[wS k{FlMc mٱSGkǶ]z(tnV/@ w:Npu"Uu6L4͎H Oj[&;0h$ kalP8,b%9gE\Ia9AJ{\rp@ch5hrF@<}G*fWjdXu0!hy1e2)_Gh?x_"*_%[e@Iݓ۫t/9V_h">5`ҷ%l( :ZPV`""XzH5" (%ݱ\K/Vاx^:RY.b Β2IWgY!xc1[(M&l#+ (?M>q 6#Oѵ3@2è,G>:a0ZD8X3fVr]aVbLwe_mry4'b+kad?+ߺ}g gl0xhx'E`VJ~18sc<6=hN}.r2G.&W} R:1e}#rw2eSs+zi$ݲ) "y9MA^+'q$3\Š{=KhZð-"ۓ:[jG":حSҌmIHUZҘ02)p^W]PwܭTCK˟1^2A#BU:1cF^SJ)&*3_1x{i,1) c ^!e]xI1<;l{kFfa6V6~wnS#VNrtOXD;c:Bk6Iؠ5_~ٿ,X!EX܋uWWjC(R%3upiҺ@9ӬsN֫î}pl7 Q"ҿocF;xC{ț:(?JC1~vUw9c3y2#_ɖ(u ?%jI+Y43GP+W {p,Sg {8I izI.\7֌Gކ%\82-{=;|6qxY2`0ԊWT /WTOi p:Gyl42Ɍ;T`xeQŠ(7\RCqu`n-9VX}!f&lebamiƏ1E<)17$܉H/^RF16i"(}Lŭs6艝6ot l&ayo=xlh͟ [0#;s€C6{ǦX?#MCXeB_H=З O~1kGvf(n*lb,hiSM!s]+Qm~'$ʞ#M=_5 e}HXhzPR.$VQPz QEE؆51̳mKYajƁIdER0 JY.1wRs-ΞKbnl2u>N=AlgUc8Et(Vǂ!\Rcge{7j[VDFv XVzE{_ۡytKd֤mIX*8f}3DEZ\~'q`DZTa[Uk՚PTXg$ BvRjA>ִp@LP6vZ[t44{nF`u+ߤ q߮HvNw2Ml9|a <0>djI аG)"wBn@{pB"ƾт |J0_2;(O#WP;YK3ĉF?OtT">"˷. @ Ɵ[4Q`ԼA'>)?t>kg6צpALx@ftG1hV?OjBB^](cJ6fPTurx` Vɋrpf-N:NX<[fo%T[)jSN&msP$4lԜXؠl]|t.v=JVwP}bAtDI:q SBru&$b&7)pRmG93n*(n0|dLϸwШ#ʉ ;wsX6f0uOƊx8|SBn*g H ;ͬ[XS 7ʫ6&~"AT aݭwlN,naq"kS=JdQܴ@#9[ {+$l;V@ AP=k"xnQfd@ U:,"o xCP!Ii@s#Yd@AΆwigu+'^6,ɕ*Ci5>0D tgYZ7zXZִF! u]ŗXiɟ1ʹ l93攀Lx3 a8=TW:3b]:`:E?V-6$1)AQd$#//[4NbZb@Sٱ1Z-gI<;V<fPWMףy\q&wn\jXU]!*haǶh Tר\lcuMլЉWo߆G.a%'c[;0L;(0ZRm[3?` JܵHϝV҂8HϞ2͇ܷdn*:$P $%Sr,jw-+\fpҒ"Z[> Nǰā^{|z`M~ëHUS R!"{nޡPۚ,_{#c!"G;׎ ]cdZ? 2v|FGY"wva[M<0GS6ilJFE9`#)ZӠ/HkHgYZ7zXZִF! ۰j]ŗXi%Eb95oì|^Vϡi쌖Ӓ}&IsLe}Ho#_qo,aT$ƌՠ[  (xIkA"t-t2MKB6ƌĦsFh[ӄ6(qPiֿ\8&2:ʅY#g`u%@ .\CH^(ڞH;Twz x}}Ƶ.!2-eB:wO Ҡ]9:cYD {t4Ov&-!0}lo]jKNxYD!/ U&WN^2f `WUw"l/IuzZC/JDoÏ\PP8GVX6 ;"أ=1ق0Hp>#Yea !,x<NlCU}*Ohbn }qAeQqHbsӋC?t@˰w&u>~)⦪OU+t # i/\5_];'6LRpI .qf]^7n6_gfJ2lQUZy>Mqst;±&HG֟ncK_qLkz_WZL&Q *UyPLt@tqX ihST2Z4=4暟'Je<=0ffpm` aY9$w%2;Rw).ֻQ])h9Lڡ(UxK{I.i_:m(ѦSrS'%,o~+\ᱯr 0n9BSWaCukC ٴg%y '$ N`DuT#_ %&sT-)4bHKHc0U7O0IY`*P&4Dy*uv|sM5C3 MbryD"^dC0+v$Mlf?MIeMUP3L!ȡupc>-BH1| Ǯy0pTC0A  jCu/|sSBπ..6MggS|u4PØk7oBkNzؠGIO]j%uUUu]]wD]5,̮'3N.8`Hf^o=1JuZ<[҂(YcWNE\bU;{>Z5 M~a*OvY9q#|&Z9鮱)P^^ͿR?AG|FzLgE3V1 Y#H=5R:2$4)/_92Ql",5 ˘gFOs`i*(^HOګ+Nn)]6VٷUJ]zDМCO`sLmDI6ձJE6nͽ<8Y H}1gM37ax (I$pUQt_c|q0s0 4vAlt ?WJw ' uw-G*_L›an1Q[ `O$^D*{q%8:d6"@/ ;uvOj/F9s";3,GJ|-`jjqgcDQ Is&K)[Qd"EmC,w- {0z ef3m3hD %v5$qF1Pt?_vڳ#ZT²|߄),$d|0oyY-"}1A 0|kacQ,!2޹@Q%6W;w qϦCHtG;+z[).5aӖ1X5a:Z&gIssUp88&`~lG;D MBKQrU -HfC\V-e <1x6f b6tjsk?')2b#q PO]xӂHkqc &3 _!%ClR|8CeC/z{퍞kl@ަ"V[XTM \(T uKN|Fw97":%*K-Yz )*pG+Ypj$W#7,u:ArG⽔'|pˌ$={&cTIkZ/OcV!((sdC2"-Z:#>c{rH[(QOeaqy?"2߷/usOY;l ic_HI<2,1\^$A1L)HD]sROǁc kz+&zBaZ4.Dwh(֙T)z{LeS9n1[2|jQ) WL9Ϣ {>VV"ݳzNCw\&FTܐJ+RcgB"$/>DqC3ub0&@AѪ3qr9z\pMI匧^yTh!V鈮~H@-~tOrD}cd©bbXPE&[YW,+nЊW9coLx¶ݕ6R AQe穹>Q5i$3a?1;k5k0菙KL2pet#a֌ʾ=Ɖ3T/5b&qFZ%Yi`Q:Od/w5؉ʊˬ*ݘ$OxnKh uRjxIRJj =5 M!,Kk LZ_|-{Lta2$z?]2,{{ 4'orFkV.iʊi2)v&[fOA/'M[t]g/<bdw3v7nA|Pې%4l,xgΌ*i c+4󎶋'{p 6Q,C+nORlwv3pQ+І~؈ՠyUv=5XaK*O@zB]RBqXsА&\(|D\OYr\s vƋwI!TFGY|MBe yGa9@ &^ HR$°J$TU)q>eGQ'/;b@qs 8n0rœ:f}JGg=*Nqam9(҉09f "8oyZ__o3HMμ6UI׫ 4oR}8՗."8'kWcsk=mlw ,FqV.eǢ1U";px_:n*4/hYT1uj[-;Tdćt@v;<(*u T-{TkL*93xֲP'vЏ})V',g5 Aop),RnT@m2Qtbh:8eQav3lC\!#kFKj ۛrf=,w?ʣ=EfH1@+@@s5Sg'˺S޺G_ў^9jQNSj9'<<^EZ7^.*ĚF!(n~51lQ, &qO/3iqLGnGe\l[ ~ A$ǀM,uLӬ\$B?,f ,b$Gtg8ҵVD!fVB 8=+,lt(B{qTGb;:iK`Vr!~گ> }$,#RM]{E9TPXTi830S[O''3)sbCS;`y9lVBiU9B؄kO(n9Ӎ4oÔ+UAMn+ϣd|w*y5 To%4E㛬fn;ʐJ yfJ5@paKuiZD@i$4`$y%p8eZ1 Ӏ= l`ڑ跛#.yUklWfvB-"%o1Gf#Z4+>jNf&SGsCķFds&-К 4̊Z4UTկc ՚hPpX 4^Ԯ ט&-G;`ѳ,0!aɹ`c;{)aq^wnH?}LdLJ鰨KfT9;0K*zA%D\#0P/lɦ2 MaowO9"X$KQG1k FXPS$I\ ߶OkׅcsHbFReeї6%-*CCzeXEcȿ#7iv_N/$<\*(ֆ̡aZK kzM{F}P$auQgXegΘS1CbV':IͣA< lUX7[੷m0 ͣVMLJ\zu:P)Koӯ-^l*@v2@_z־CG̾`d_qW > ۞8s|<ͳg7 &FM 8b(^WqnЯ?^"c>@k]s)i \ŎB/剬TDf-zFakfej5Q{+}j}EM< at,ehI~ 6T|Do=ԘUu4rܑ`Ͱ6l`t{ԍ%"0e [j]7ꙠfV%.bb ˆߨH* -\T@P ACQ u⋽n4mƛ0 0#o@P:("L<櫒pkr$VSu8Bhj[Lˁ }_@ǣNʏJA \o)ujaDCAr Yv hGADK6R-0dZf{ '2v TYԫ N{CLEU Y"@T2QF{)EYEDޟI},nVox\dt'=#<">,ލ29&ߏ0CB0X3)'pC~YT 6qjh]MN1ЮξY`OLŌʺ1B;}Gt/H9l^}in :* cutZߦ+;,hh\&Dg0q]F߇Ko/gވ6\ SƲNqP%O!{^_ \5SIs/*~۶(yuv ⏜G 3gZ.{MUSovYÔ  R␝@ 3 v^n,}3T9uUcꞸԎYMH=uKEHLGL)]0T@kWJսtM4p$ã &h3pU&:wU.[CoJ,~;?H">lk+354Z|?ly1}KUx/p~J-roC/M|ԿA ~Ww/1 #F[]:$Pnt4mRvHCU!*ΘJޔn`iIU<3`{+(x䛾,tP6A*eO =)PBe{flAMTCNڰfe^ W{2,/8~|\g+&C=΂Ža}lxԕ]Jyl(&.% H%E,Z8ޞ.d~)QڡBU{weoٝJ\?Oh:c|9Bmg\E-gbaRkШ/K^fk^6 )\Wz{JH/Bu.MS9؛nǒ~OcP m>}ㆅ._lTlL3]@><%*%  =YdC I)֡.R&9>QPD 37ZƬdN!|Kt>x&jr-Ef17pxuh$,űDr=.LHDc(]IyXh1>c>>r=Q_$^^sIi*XgmA0ЁI{@4/'^}.ҸҀ^g8r[ep%^2/I DtTL_v||L7]eHطn *w%nq&ⳲǬ1d4t猜rӸBw+Cf\xp!BOAxm0D9 ž(2 ^^X%N-J*SM*Bsgbخ(ɲ1e.i:f3LPiTE]^5*֍Rs`-^yD priSL+%l7{MV [EA:S 0CT';Y#SsxOtC*߫q\k Mrȷ{KGrz6*𲫑v2̶$Jo|쓩^CNjB$:%mGU^^(Vc/KY z1˜u*`H*l1 i]棓1򌕲!_n ¬煠} _rGW@`xWLd…px0ȿ ]g8Z[6 pvw-\c>@I6ܑnkwkvcN^$"zg4L|\ PžrnCv^NZ,GR-/%[Fu$ Z{@1(l>50'fQD>:Uc,Dͥ=,H+ {œb/3^@dh9`)ƚj;*5²F:p)wo}E #a +EMi12N+ BD'_otCB/],qtLxvB WFHӮp ?L%=ހhԭw &n;99Gj&%Yze'k=($i}Ǭ>N@ 7\(Qwתv1 =RQvnWM #_q#pB'ODŽNMqdҿF$P$n)0Zlr#:/QtqJؙs; K7 󠸀.rl:L$bZd$Y5  V!<*%2=2}*L `,&>N&ZgweҜfB]bF 0B 3Cܻ|Ш4U^q{FXg(+#n$Ls`+6h4JϽ`xd!EҦ #mm= dT6bԋj=M':jRXx UxD"@B[GȾoA{\t{u> liY,91 HTyљ V*Z*b3Q(Z]])? .Wў%MQo x0η =`<uO3BL0 E\j95[dgI͍jJictӛ F$bA9WC-QjHhS]x1J&1,}pLI%Gzn1 d$ KJJ|/-SaXuA 7#ՒH29 n)W3o xC~ g Umb}rһM>)R5K7b,D&JRY>:%`OX!8,J$2ZBM[Xsϴn{Q,z0VFsTCyJߦ!1b`·F)E( ؗcѲCϴe.&}V:0L,s[%Xe bXgݏV-UIB44ϰ] )(/Dsqdë,;gc,4)FɺAr-mAڐ>fDk$Lt܅A<ד0X5>Krȏ"RTPo& п:F|lղyJuDa4ƲiBLxLV۰'/'n `+^5)+mP^d7]y(keN9:wZq 4Rk~ZFsv\ҙS|Ed RMςI[6 ksǴMhnEqUl{bEܳ>gXX^}ϛ爼Ld_$ 4xZhgxlddDK }z9Ab]Ȑܰ:۴\ s MȖk4kX-n5 3順JY kpU` \s9H`0_S7WwƻxY AnLnѾƧ3uwR@'2K}vga'|eqyGd*1ճe+ٞ=$楄|р21M-!38b[fk-{0Dz[FmV#R<̈*G^ܴэӧ6Ξx;V#20g*Quvz,>3ެ *7":iyhb"&wڂƙAZ畇ϓnנU=r\88bH­T˯%CrstJm2$BJ+eY?UhoG }e?C.:g:R-w(9C;%,bdf-3`5j4L|L^.Wz}$j~mK(s /RخHbs~a õ7!4^+jSOfc^GIc2p# n8`OWwY[mz9M}tHHYs&?>q FGMWfFJ7TZ|%$fD[>OF|}tIh!TY2k7>b {DY mt+ZFb\}l Dɇ@2_5G܍bƥ8 X3MO{6τJ2sk\vaP'u~f1Yvo6T6dG=rփY:آq3UbzqBc ޺_0u. Nҥ9Rqr1Jk4{}2+Ȋn*Op /Lo9ʎk+䀼QA{Uk`& A/6 Я486ZSJ` YO98xOy U`;_GuDEHw xÇ·2[" SA} z ft;V<[itj+CKcP%^Ih41\6?xg{,ծK9Et\xBao3 *qޔnC(*ŮxBg@HK0\WZk#Ζmq7CM^y8p9©p?ܺo{GtƚΔ l}^O(sCǷ˗g4Y6s Dbԝh^,%v⡤E0*YY.ɘp'ct-ţȤM,8wR=KqϒR'!Pf> -1,J eĮ~<ЫW6LKk KRyGK$XM&`jݞ`<<;Uȿѧ wpqVZ+N<3^E8:WK-BH_8ap b˅WH)Mr\6ZQSeipb7ઝRDE;!߄WM"9`. vp]PĸQX2}s & QC5=I|8װdsu5>H1Ѭ?[=^,+3f,̃6z룢[lﲍp)䮺<#]`wg gZzhIÞ H;'n8y [fm7rE)\+7:{sOJa3fO93797f- EVI>I܅6 k}̓}Z P;]єu!*AA11 cyxw #uĨC{q]<*yMZ+7#X'sOzMJdmQ3}箇BɄ`weM@JQnS+1"D`C{iv`vnp3*ˮ+=g.B 4љ4qZDu^goJ@90wu^zW|6x1r#d^cGx>婎V|I\af? Jx1I2r@v[kgۖC+\]KC^y>b:#zдw h0%\PUzHS'ਸ`%eGiڔ%0SI`qp=NĚwU`ncc ZCO?I`uݠo6hz r@k[XPI2ܬ(Xɫ13w_Hk6*蔵6&!ӢukqZkPCK>+K:u*Yˋ6uG lt|n|xdvN+rsOhяn u͂|f H0kHY0~p@'&4ٻ<ڛC s]UJ@pn)lXԗuGZ훽/GK#=ϡ,âw*#tB4ԵtR~RSoruDZ:3X?k[æ!$moz;W!ː~uGi 93f#_ q^`Yw3C5X-u7%s6uwf|J"S[._C4c9|R"LeQ*1Ye^Jj@y_d K՞X|ա̥U-c&:[ں[9L(OIeV ̩b*J:נF{:VTjL/ MIϖOaWRY݁s_ÇƔA8AmX#%ng) ;)<./Nڪ|p]ϛY` {/uxCp #':5&ClM!I;EPo 46g1^uJ*kqx,OJI#p] Q=ꆛᢒHseSxxreu4\d&ݝ*|FׄY]f[J'Gnf͌Ty.,JǬ"1[!Ɉqh}Ď_vPEmѧ=RRFNYE 2VQ[ 3ͤkcV,g ZmL+C``7-Yȇ1Z}ZE )nmuv%|2vwY!b\5PgSӽդTk/ Ӿ.C|hBO\Ğ^`XFL;h;5A+j|ٔ =LYWQc=ՉQ\rN Ɠ,$8A>⃎۱tToIgg:>vM(L{4 Y`cWrp@9W73 xxR%9ҿc5vW:f}jk?JRvE $ S_g_?u jlԨGle)9VpdA",=@Ao-KH؄ t`mZ:+Esr]@$kU⳱I%3I6b׭=mO/+^\E\ 暯pZ5=dܣ.빩96mf}|IKC/HuHs'|57%0KS#T-jmMi ﳰUJܐ4gT`c(F 7W(+ qN]-|"zZ&S٢ݻ4ooҦ%Oxa'[\W{ytAgh'NY3H)uHgG)ߧhq/ױ]؅J+u%hdC65ozR[/ά$;"׍٢~fnEl7Eڃ0cxd ,#L乖 %p`B wW@0R!&H3c%#!75Gs^kGųy9wW1D?"3SS @Ƿ{ 'BȘRȋ5$y}# Nn+g!eXS4;FJ##r+X?Sez"02v+lJw ׃ 'X_P4Cz Qe5k=J*5bt%G>0-8Vqu mILdûl 95b˜m?1nj쨈> ɏUoiY귧6UdE)A^ީDNc1!ZzFsL2(ᢈf~}d_ SEc\!k]PQHr_Nz5y ,E4Gv7;i?DőM ¤-'>ޚłId!,iZ-ir -ǟP'3F^@M 6;֍f2O,;nDv5M(Ɍ=WMZrBN5,?KG{M*M8mK& HMNX^}JHbBɪÁxߜ|Q_ *jV;\j)fV7G&BRUS"޺Ϡ}HH!UD`2'ҩ?^T Ȉ 1 Y Z :IɖL)mMuu/ra Qz{fʩ^NU{˟u I.L@m`*j7ѓ>o6{)x{i}8:m!A< B;LPL4(4ދ$.F4'uJ܏dCUPPpSzv3;7dy>}Rm졓88**Uv>VVμ_p*61ʱM)31&$ScNzۋl(/dE*E蝬mQ'OiaGnUdȓ$nWqr@9VҰ4`'fz!$0Hb୷6Gk5#a?O\( \D4 ՘젯` h0&`TH&nkU ~┵]5IQx2le< NO䚣ݧ{7#F:=sJJ$gr c5{[Vqԇ P+ gjYԁa9nIkZgHn68|] CFf7l0LE*VA 'wXJHIvad*opyˮ |9 iXI5[7t_'"2%V[ xydf)$vaxY9G@䏵kڠwFdW7jU=c9m#_>ljiOjX|uzLC&e՟۪v#lܼa.۹ᔂ~Pl^}LE/G֯@(ʄ) >JYoiyRC1o|G߭C8ٻaPw0=/$Ӆi3wnn efJ1ԛLsq=W',6l+G" ׼zhm9s9&'UΞ(lHS;joX.∴LAT)P__' Ԡ$$+';ʬ,9ơM*{+J `ZԝurbԹ5)57zAu^ڛj0BI!mow:Ocz:ND$.:wJp7ag W) rPx"F )CYe64Wtot{@E 2fqJ,ȁlۼrT0Vk~n4kmcYad;@ jJKIz)%4FѼxP_E=Bq5e\;Wێu'X.@ʴ?=X1s$fكx)y{]>(KVHET_C+Fqΐf%N#T"ݬ:b RPsȇif|~VNC z;iмl1^g14kVSBijfn x[qٛ+aP5)DTs[3u<'W'WogۼuwQdC>mpZ W(rp:occ ,GN>BrОa2gSGFrC1ߟ¼i>sY)}yb-6;!şQͥr Ξ\nn2_ @(8@R,ߐS@9 îm>R8'LFz 7P ?X |RIoK;s&#Mwe)Bs#֤EUDukO!^4 * S #pmZ+=L+jwp'.2Qx4JgzJ B1^ C/2?G-Ƒ1?ɾvtjƟuk(,2N8erevw.S,ZĞh82 @:/9#=n׎smtnYpJ`caZ+,ST=:>iu|Lm>%$B릺hGH%tGcz~K|] gi` NA$.Ia $CMYzIտZhYҰ4e3@gFo/SV^v(:II{'B (ljݝ( B@ k٩B}eĪKuvӋqo@"{o ?xL9,Y VCΦe[z`Hy݄8G cn ou*ˏFp۠\sӖ1TٿRVI闗l 8kbHԎ۞󖁿R2Qp3$WĆGMs="U?0, dB)&؄^`|Rl$]nR$B 9*i`%< R[()SBǃZYǴ|'Pzs/' -OA rbn#,F)@,9nUDDbM J;V Zf.c:MZ~In\[/h[gg_GUĄ҈=dZw[_UbK4:a2rJ'ȝk̿ѫc_Rz*0/ҀVt< Q 3&2qUIS-v:a"+[Jz} ]јhh#\ 栯R/4=Q].5c fAfO*Ѻ{?Fuޡ=(t/;ݖf &ż=zx4C?W"I, _&"Ns6 VLU?$ 0RĚU}2F Hz5@!% $162m bb7Y(h+wU7)b&;| 4V[la`@e8C!b<lKi)n)I&%xI/u^Mpa}JdϜrl;-;b`)]~r|3[}Hf\3ɥW+x&J4Y vskIVM~ ?0RlfI9Вi^~S6PJ``Ȟ<3tNyh H Wv;*=>f8 mBrעȚ /sAP5 tPB̦T׆gx<-՟RѤ2]큺'QE+ Ɵ1bjֱ"LHҸAc'|S.4q& w+)&o=N떣;=fgDb +sf`e<䶧թ1_K,Xxd3{K -ofbm S?g}}^~bk2ܑ\U؋ydbڌn4mt#!(S0 S>r>CsavHWc)`_gj[%jf[r@(UHDI4`.APA1ڎ˿O=#'l}ۮܵچ;`ݛfuM~bT25+ u!I2`_ٱ1j-N̐.r'N 3^R =9]u_Z:fZ̈́Osh }Lt9޾:9^VOCX4*(LCʠd*IcjװMUaF!{EИkѐ=[}/@7 , 7SxW}=]nJEF],MA}R $&tUcWc]Uʰ~ #]J]jı }GdQ2Y*}/t)]`iD*hĈIp3 fGp&~Z3;H]kMv8cN# ~i