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  W W=l$| ] HOL-Quickcheck_Benchmark:threads=6elapsed=306.583cpu=1488.628gc=132.780factor=4.867zXZִF! /]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*tid90B]U\nv>uO=xK7 zغ!R2` P'n8WRľ B30ŋÅKGV?)ua,uq^Y Ҿ.PKCՃIaF9;;UXc`\@x捎dZIk#1P oA abd돠H)&uSM{Z`i]Pd;JH̾"l.!oF ěD Po btMYKLx" t^ $4g|*/}@5[KEGK5(R#|MsU pH5vJȵ7wȐ ?ư(0MvFt! ̙ͺc?)g mb4B&fIѲU+䀞gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή*8(c 'AX`ܽ9}ɪ-d8 - $PE }Ƣ:b$d]؁$q)D 7cmT '{\"ZNc< yH"̇H_KÜe=>L uĂYgYZ7zXZִF! to]ŗXi%Ed~v1I`WD,bbLOb>MmpHЦ]ߟ̸5K9`I y=_Nf(Ia|.IdiY]Zetę%&˼F& t3 0k^ = HOL-Quickcheck_Benchmark  ~ZPi*5}6N "s~ ~\O$91בfհ2jz^K|[PB燧kW?Nggu_Dm:j-##jrvCYySQڦ9֘K"4&@ (P|UX[\] ;)sJ L|yjF`o7Ϫ:Y.P#EE,#^Z{u6M\i>쵑.~BuGwο1O,p ؄Nju;`Ш`%DtLJl:Y߈uF4˰ȐPnu~.S>|>C]s`v~HPNx`4"Ĉ,4_ vINY˭9;1yǵh>7=I5jh.jnԴzh$ iRB>+d#BȟxM 52fh0o)@|M;ۆN*w 7Ϡc[!˿YD['1ok2_ V_>Ll JD@4LX u`kxu K>inTߧUÇ7 z%ȓ-g^ĥ8h!?ɴ0 &5^#0aY8̢MP<,n$9kVLWU]fc3qGB (NdRT8$( qD$Gxxp@:͋y8{W4J lbMPGX"l\[6X#="͌*Wȍg-u`Z|7Bo'ZL_#+b9E]a}TauvxxpKxawJ=Mb q?ָqepYB";@ q$`>'g12=ze4e[F;5Evԣ`8NGj )A7|ǩLe0Na-&pr.H ~NHw0=B/Ϯ;v '@Gx;ߞ@G||FᠣK'Tӽ[n=?J<zM2:q+:k|P[}=;W.tֻ4 Yvug0[]5/SK _̀h^%; ͜N9ܳkf|_hK/tZ kX:s>܎4Z#r1LeTu@&~o-cXH  ]DwL&>ItF<DY%:,7Hs졩&kr0R_ÜʴU5ŀSYr_+ Z1.ـzld䏶6898 q!w6<1A!jhhR}Rʺ:tsB`0 c!4Vc$/R]q.K #s?N5DuRk״֛?u—tnV P=I6G;*+M']`@ŭFh K\ζM~ ,4+PwÆţ^-8,CrEaGW[ZnJ 1?fX㕽X~TlHJ%b{0Ipp&VU kWd5a7uEi|)` E "K\~Qc*;di%~xOK> 3>2~UۑT Vq]vRLP0&>o?699!WKJgw{H  IeGx|*bO=hN,afP׵#ѣ^;b }&LŻYemi^=&LЬ1jLpkuhY*8n^[K:c;꫗W!~8K9yG7faw/0ّ֩ZR rD^w.r >];,㗻 | bziqXyYDm(65R_8`l`{ͅ' yMP}r?K [}ENG$ LòjKx0`Yyiʶ\a2jEPΑj#b !gv,,_VXH|n:R,Y="l[܎,R֫YD1s|y5^sk"+V!~ߛƻw][rnuEW!0릥N< dV~JdC6p6EټIam(aetHOFf \8  WSP^ XzFoa ӵ(WSˈe9NkJO@0 ڂsϕv<8F`( K k#g4]eγN5#}2ae,YS!IVB=OtjksWc@ж봾@7]W71vʟ%1: P"2Z*ZM* ];Ƌ$;s&5?Ȑ-Z@ vߟk {f."xyWe?Sb-?KG8]ji R]?snk(T@ }tf/=&&pT\.aSp܎$Ĺ3U&f{3cZ5 ߂qʰ.Jy5:l*-7?]}w4[gq:\LD~_koa,V)6BF}{!K={~j83Vz0p zP!R;s#! tb/twLA.U5W̮޻Ycvb+R%z6 itFf0(TLLZ)r'',#_c8`?I>kuD2nCk_+RI®2Bc03SC{ϟIVj*D Z׀̗t_ɫGoxU ?[?j@ξySYt +W+zU@ ~zAE wu5s|{;<۬@Z[؏1Hz㖸QXZBb$ʭq\R >=y!a ՞ּ%˨]8TxubP掗_孻Eb!_6hEqfR,_U:`LףҴBn8}.!ⷻ4;њe6W0(b>/yR? UO۠ b@P@2 /i9w&U]ȫFypE4# @"xa:Dj[߲Ҷ:o,ē[^RNmwY.WVvāvjd8^xS1Q!rTtsfU4FtNY%TwlAi}pңVV1Z9Ʈ]s;jz\r4"|B9mA7Im07{([֤+_u)q_\{ .Չv?uWi*.E8zH ^6ZA Zq0 H&~feURuwg:(2m$Oـ'+Ֆ /fʵ-lelP¢je0aҶ.4͂!E+옩Q R7o3NU9׏K1"Zc<{A]2|Eao-VRA5_>P㳅˻E rɵp؊*V,Jֽт{C i^E"==rѥÔ^*u3d:lK\57s+_Lf-LbYfiJ5/*/K! 3ZDxEs/1i4P20޵骃h1vQCȯuC6E;vL*pR$>1_Mc<,z AQ<ꮜԈU8嫎OnU'3Gߙ_>sрc:Rh[>\^6Q$@9 q{e-SA NvūDt,"ܲRL)%>)_mZC+#MG9 L֣6lB.i#9lR&ŃGUze}sgo$ a NzbQF]h=7M=>ŋ\%|,a@ͷ]Nׅ3ȊNI@yu`19Ea$|si8,9_S)QxV<O{^I[4[`+gNPU22NӀ͠RPk! O9˹d56yᤫi7hͳG9!#p@bLge[95J9 cRB|x\ 79tKB^Ϛ)қP )l56([Z}H6~ .΀f&Rr7n bHX*0SFW:lgS&썖r޷e N<7$3jF }MYZ5eBУ@yWR{0]{ˀ!YU(}0kF {2(7i{RYZS]'8J]iQ gphG0Vt$]lmH yEm`?;)d31Dd,Vz"Z)O*mf_FIE%Ɏ:Z@Z϶ JHJ欮Kz!cIe \6GV$\5 Q14dB嗗"LPC*bI 7Wx]C+ɳـEW vuu@=0$?-)=!T媙术-@ER%{p؝* AY]Aͮ1 !1LBoMQ 2xO8Vrve#d+VyU%~-y h(+;1%lzGSWqZzRi+XLAh:h` WʙŨ3I15fo,Y)d^*p/(¹0>C_+[mdNPDiQmV9>dp^Q5o]X2fqYN7E2!ܤƳr WvmkdTM~ecVAT ðVM@ ыҥwئTTe?Bf[Gfb3ծnW$~Szb|Z $A[egPVTXj)ߌsx7GK$pPFHgd>T ם?rP[(LAC(r ~ 9@dYT{T0(80k/;W3Ž"dUu >FT9̝#2P9ůvx 2S5ț=PBNZk 4YNb_DM `uEn\eaJйD,e1'{pozZ*GE"uvvv*I+d˔3sk(-6,8H\8JHsmI׋13Zaׯ:)P>!'Oߛ@RʃQźZj:hk=tadoӬZ/Snm\k9YD_7dP8G4D"`t}@ [7u9RAT?x$aĮY#t`}s )ɐ  !NQה9D1$ax\,UPapx*WcmQt2jSRˠ >#u4VrrEX0:}-^,?WXyeJlׇJ69CvЍLWH2*L=XO]cqf>5Un!{Ŧ(=4 )"6֕@a4 T;i8UP/krו7E+VG#; OM V~W@m*=|{>ER7C*=?%yhu`avċ2_APWe:TP6^tl'Lm!V %f) _p ^GQGY+>_qΐj Fs(z!r:su9)09%L\ 4mQɖy)k.%A!u>v ƖKQ nHGT5ޜ58#xZy[v8>U\gGE4MM>=U"Rڑ$CxR ۂ/]3pyO]s~-GWM4̐T#=mW1yOgIyc @z :[#JLw釶0CRO: Oa $' ˕t׃F1]$̓85k()oo5xʌG}/m2n"5b}kzfx;Xx? r38*(!ܡ52,37/]OO"Ӊ:/%!ga-5Nz''msr_:DX(nMB" k;k3a56*IsuLTD7- _Chu6Wޛ9;hW ږ1bF>凌JE}%xp}z%F3SKX1 0n= ]慄'4$kwDQ`Co046I ~\h!f7ݤdܻ p~d%_F7vmf T\r$ڭkbCI #NiKutW-r 3ɺNזLO-IѕvC X|Y浖1WtnpiJ3xzz3=)D!ay/|%HqmܪR DTy䘆I%R8TOALCo#T9x:}zҵҪflBp`”=w^ f9Ο ڞ8Jctn0϶] H'[IR%d]!3[5PL]4y3hoCkq_Fz[j+Nx|u ~˥?ekOͅWKZbP@{T5u}6UWG NSy9{' {L? h(SfSW?뱩v/t*rˬKݳl]S4fNԲM&2_GܼM$nKSf5과cM0*Cu&kuwx|w1hd7["Ro^7SĽ-8`iQ*q,;?O]7vSG"|:#Zz[\g_ͰCae\'%󙆫խ&> eqc; $κQAR% p6Z~-Ny}ɴx~R151nbm2:{=1?&33.Ly!MlNu*JptO <*-D|kE u;髐=bEUwUj\tU3lA@e49tVA ^sV37ۧ+k0Y =ԡe=K;^ -O?}&^5̮gNmH~<K+璺ℚre iK!=,6&گi8L}9)rN?mLwǜ%Ȇe;Gh^ڏD1~n|3::$yr!qLLԌlvϚ-Tx&y׹4t ?A;m6QO_2X샤s@ Rt0pr)OC̽iv/YztuHcp+DC*cqgʇ/٠X5X )z^h_֩Q#Da?}jĽ `&4SN>5Z 62V L\n|:c9IZ"zg(wԢ4W9 ѧSp#Ib/E CxNZRwalk{? ZN6νͶX1 e'&D L3գEP5uʟۉuOj?R ZV#ibnQɢT`Bzzh/aǚV2 h&' I+t?`$ɷ& Y%PX2l꓊ ӋJ >3&Q!`[^Cjl3Qu߂b1$sWy^sg}{\3ճ$+pL ܕ/`^xaMIxZgld,ƘTOS$=閃Q+5Qix¦-kgQ;+c}EҀk"* ~-AUdy\nޡ/o> ^×&M"!%MЍaglӼ kV ,1$#zg^AK}-AdCz!k$9as`&?jE^[4(qyM?]+E qM"YZ@lG0vRYR]Ƹt SUj$&H 9ɠS:JO#1><]$yOSNq9]0T*CI=V85FD c*Qᨄ{ ]q.k@ Avq:fGf Jq|O,CmzLKry '2,0( nj3j L_wO<:PHK#270~kf*$Мw$WMf| z3* gP_"iQA_!"[n;H ;*nFDW#_|GIGV⍌15I(c$`Goy27 DB۴Mc%N$ŕ8G-+̩!\{A.tqN퓮X0ЛBxt0N{qsyG*d'"*WcP7ʨ pŪ1k$]fo]\jEgc#Uli W5pZT?S9ܲajy%(-╎MC<;+ *MdRn5sX&잊|=D@b.tED 8Y"|~q- ҹLCc|QR/r/1p(ǩck%b!N Gb%B}#*-5SLA5h NV펈CG'Ee)0(l:/u=wYx_4*>ّ:-?{ LCRduI5̑[^ ,Yp|L)Lv}hGGݦB[R6~0D3^?x,Y #FW{0#~"[iVMV~a%ND)݈h% 8`!sS#zҚ˘ ϛeѠ;9Xa _tZ!Wbt`\g.T)2x}dyUCy?R{#Ѱ1)F.lP^05yS ̰Eəz?]2[B*L{vRmkZ9`nz%n}gQ̳xonJgrCՙ ,@߅&a^Iݦ? ʗ#8YrCwC[>M4ɦ|]Մ>M}v:qou;A]q?2{s f0KaQM0n>!lI=+=ջ(fa.y0M06Hޑt̝ ԕ56SL1yyǽRQBYiĊe/E,Wjj?!@0D끼 Skl?1YUj / kS*ye^hFZRPԋ‘J;Rb\Tԍt5ɚ=L_!٬iq2l˜g~ƽ Yl-xmȦ_C|eWe+-9I =VØUBQozI6Ԫ5o! %"`*r%lp]Mb&q$qHfGvCS-q&Y  5nys^ c ,cYw'cZ$ʠ-TkL ('NB}6y9{3h߁ ^lu,Cv"糵Ό Dݧh" ~؂ %p[34` 'R[6L1$0u2J˂rk aTPni(|\irDЈ|gɃd UU]w9SfIeBv/x LsshwZ>> ۗ'gVr@uK㼃[;|,0?\l-|vJ JyZ4xeO7Z=3ʓdI0L?N$ ^ɑΎ!P'cG x8cQ4+$@<&y0Իa~!y={b$XdO ڳTHy(sD&Eڥr cwFEz.'a0;3CVKC*rn'W,WZbl|Gq@:_[W !cO`7.:ci wZVuUvvx7ʹx5xf:a`DHnZ%7L%ޕ}׈0e"}w;Aj@ i`׭Os-G d \:9>-IP7r<QŜH+քѳQ1C1$f@ \;Hr n (`IE3YR=,#spxfcAHhg97m bA_Ԯ.uǥLŨ1xd_< ϟ{"ciJaqqů:АeP)Q3rOJh=ۑbjm|IOհU% 2_RF`$@W#6,5)'I>…#`6f46W#ͽh#=P]UUaP<ξAyjn#"̀. J=XT!;:ɗ"f~-);$8X{#!"^5ks<ÿ땾2;ڄn/1_,t(IEO6iy+Ozߢ t,OΎ,|?u'I׳ R vWp02QdMR []|Fs燾@(k珟b\vig<۟f ɥ9J< "/nȦz&Icb,I?:t@9u!) #pjL6ɏe!{0}9R= 'S;yRiw!/ 7P'[)пClp7M.,TCŁ3#vP_kYbqxkzi3goxqιu7}3_ 3L>>0Y6=M5̤{ "^7&$V]GQ~MWQV~eߟIt6#>;=قqPE#a\]l/3C6 9%EQJN\jGմ7ݍ?TYQ4#8b^‡Β` Bz ,{q 13Q1T롾ɠ'E'3d{;+^PVaCiB )3"²RUW\ȃɘ}Cj$1eB;usihtV}M ,[> i QZ×,֟ҟByv&T,p!u8jl7=N7/L}Q}}|3)Yt{w +pQ9?S!b쪇&{Tͱ|#۴7h^j -gS;yv` Ƞ݀9 U]Gdk&Gds[] ("=[\->e@/Y0.\aQ :%^W((,\k~ΧoLvQDM۫JvgI;HEFsw^V-ʜI$yӑ_24,r22pP2.S@jqQyȞMi3&'bcڞ@&.V(4E#A=g'<+Y~E8C*l=n,7-zq̼8 p ({E?e%:Ty1pBǚК]R =oEEo=|Q ŗĦll{$ݮc3Hf,9 . s:-t3&&E1Ҵo^ Z:ԱRmXHR/hXXɡ6B7L!TyakEo^K৤$& >p΃y۠39?ȯS 3Emt~Ҝ̈MKur@tiH DS# ܭ@I{F?4FAu}@&wcBȊ:JUw(Scin& @L#,"> tx mBcf\ oteUie2 i= 6}4hU-68S&6o@-98fL,waJ!i [ -[1`x ~[^~|Due6jU|~aa~{ SR [- \a.tSb D 6":FP *8T;VN{) d8Y wL "0e+*y7nE@{6l<Sca@T?JyL4YB(-3ğt[v >[?{ꉷ D{}p s+)$䔬AvH+X p*&jQ C*DٌqP͕q+Mr-avhc e3L1%]M/dRݴkMp 6МUG{&@ A~yx&[k7ygita63Q*AuOc+ v0uޢZlwhLB"9oy{5`3\TWE2a39xVfn*D?aʴil7i1jSZ^QMand9p _EPΉ/dwT|~& <[ʧeSBuޒY w Ndk2H!iqگ7*1LxO]ؒo>'J.vfĬw!%J$l<̯cǩa}#VjJ[Fm۰vY7$¼ )}K HfQ D,eW;EvVMUQ(> [Ż V-э X-xSVIZ: /G@uԆ'cf76_ӌh(n`v8ij"UFn].ٮ(r1b F[-ȱ=iK~+Xo' {{6nv໧|`C e$cݦaf`Q}lʓ&Js_ 7}`oM".銝 GXPk$$ZF a%`r/^ :pI]$,=^41EcoI )R5َnb붶pMB\OQwGn$t6G[%=]:S՘ a\`8 N_Y5!XQ8䐝AC?ϰ 78hoLo_~[h:>h듍…tkQ繯(s=8{b >:{YT*ƺ lCTA4![Cǰ͒@tu%L0ګzn,h!^tW/>;YO6Gbk+jho1Q(Ww^3`j~-B c:aitUv|yYe"QxVbP尋8wI5X& rm\B8VS( m>/ua!don<+.M ; WY$˺ƗHmY> {%-Hpo/Hbu8I>#ݡE( %vޏUu?9 \j h=kEGE69+[ }'_׉z6zmi"WAlsYn؄xCM輋|:Y^˛ N?0uت6,"0Jy?I8Xp0s!e5@6 <ԗF[ߌ0cY}q+EF45(/4h`W9d΂?T)hYXXUYm|O-'c?:'}hEϏT J2d'kPݻi.6/LsZ4nw`7\ˆ} A5nt,Děm]s;&gg$˺NuE =sF3yˌAlrHh>E3j!fIPf"@/  XTצC!n5uνS쁛} I()t"/ 5 0NݲSx[ ;<YZ gU[Wּ; /j|mM4. o -϶mD0p )@I?.Z2XnNx̩c#; -< :}T:Y6suBQeOB0=J6}zfIi&ۏ2U?8WMid+,H-Oa-3'!tH`NjqP sVKuJ-yCXKQunͼznn`A<4ʒE;+;`|f$:i(/PcMmǓTj| ۵ܳk.Z q=Dz笲x򕒁qO2/yUAB7 JZ  9W0>uBwx4J`yf#h FUszahIsPL ~F6cj}%4YWH=UHbzb0وm8+Ϛ bgK}Bh=N,ȧu0X"jH{y@X!0g}$hU;#cV~Ȇ0o/}˄idmNH0u FSڋC݅H[ `f$\o( ~1%[ D AOFd0(/Y'/[|sѱI2kgtR$8mX^P )Wܷx@lN?7>q~+j$r~\/{7)AÃ:FrmDvEHiXaFFB\"F[ ^:7!APOHQg+.X]µp'K jQYP;pa^R{4 1^ [:-VŵanJ`]z7Ux%WjBԴ8DJqJV@{t.2t֓JZRAőMAA|UZPHXt7{ߥ5ҿE:0_bOrɡ".{+m &a]d_CCҜ% 8eIXbʠ6a1_kbHVOQL!ZL AFw1M?!0oHH& L aLr'-<>2ɱ]C󂩈UJ:K,D̿`JTG񋫺N5a#ӤO^O\wt-:\zY0gְq +rЛt/(sL m(\bPm@YRj*QTw^FWJ {z!Xj;ı+ir*@vF/8dS[@MJ@!+8b5-0z!@vll{RESGZy.q0-)9gO㨶ٿDc@_K[}*D#iݙ[vz@oX2I߹",{|KRvtǟ1 π) @O (bέBDre.~0. ̮vWIv&d'X[(;m}Ď#u)EH\FQ>Ҧ<4*/y>n&Ҁ܉q*(~Lơ,sEq/v{s!SIyXy7a&1_Ι(+۴y m"=؋'.n85žճ<-XU:9%x0KMpOy /\fޭ{gI+*Z@Zc JN[/htWU-^2GL2#ԧge?&{o F2z 89;QFTΑ?1(asKE5x@0#eԒ"yzLn1ঈ*"A ZvgvtHrgٷKUƄ jr>S""Y]㒶cvC{*nqt( O`>WzN86@.OyJD(w4Y6yJFu$2~^2+boX_o/⬍Ր]\tmޒ Cq8@|d [og%%Xe$Y2,R]v#S (|uep:zwyz,ms xTfTOgTO%9zѭV Jb Lw{n$19}yb~+# ?p 4Ygp Y_vg%y  ~MT#. S/⾀R*x q@=Q%7SK)m kY5;j++zqِdEhVՋ CX{(3[-5ΐL)vuٔ/>D! 0݁z>pRsNt%adp3Zqڜ:|ib5Rsɿ ,{f" O8^Q84 k.xE\ySq#X:&yG %XCO#p 7ct ,\RQ߄Z ܲ bDzn> WǪ*1&6S*@Q@" |q){ߋv~cZAgFGa<*%QؗTwܟlrQE+F3̹Ba"T\E7k&( Q^Jc1O8 v*pЀ۸ӢEn؍~ݾYkF (lB>P :6H27C?'&z ڎ^.ڔ!LI׃h'}? ɓ9+L&@r P8_A~p|VS)|(S#FN9!&w-Rsv shhO#;( )| PO[h>CNgƶ ֨׊x yFa=PZܢ[{\v[.xۅ"}<wlgB $Q};Jw8P45&grSǽ@T(66aƤ<6vƦDg~2ܔ3a} E =%TgE Z;GƷ7-fTR;lņj,j4pdP54_,LmG|cbVT|7s3hD\G- SM"XML蹧A}#vAj!^k@/L4itb%lϰwŶ*[Ի %\A?ɲ_HKƝ 9Hw[ܾI]2xC[N PTIJhP EK8d\nƄǹNcU!0DrgXo4zE:hN#)~dLYuBDG?h﫸/oeeO'd"] cF4FC"$zO@<8اm]>@ZwaJ5gn&ʈdii  wVp\b1kN?QXu]/I{0i@K $A6|r?$ H^BۿͶՊDQ֙ EZ =g6un6M_k0UNP /1lхY#xKnj04Ŀn;x78GF;-"flا/$:Y-"KyXM$}W_,pHr „{֝{rhMȃpbiCRc+B6<"5?^o WJoZMyY-> ƒd  :!€Ni"Q[ɳr/9~-XQNSyat:w0n 4?:$ny%++3Y4 uз һ:DNKyoznDh +5/\~bwiY7 `ՂC !X\~DŽ ?Fd_m/uQAETҏ']푂sDuU$Dd&IZ0h^p' A/\XʏXO¥n:ʇDEt&`{:;N]b;#,͍G.b.?†PkodEmZ &qs:`^@>Tak@Tj~7wl9$qDRҹ4HoJ!nuNaPzu[c|-hw)taʧPzGn4e5aT83"LpϨ+O6GI|d8D+?k t:;ƽ;;pK.ت5^EpJeA'}~'_n4J ʯ>g]Uՠ!NU:- ȵ[}k+B897" rU^1 Ei]ފ4ip/@3[\y O SGj#U@U"xO~f6|O"K` ]0u]҉p9˵AZ z'y(ZGlj2B6ھ :^ "ߊoT6;CP ɎMfqCG lՇp!L g` x{f`;_ yh/ǝ4 Gaɒ9y9