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 ));x4T ]/ HOL-Quickcheck_Examples:threads=6elapsed=78.407cpu=202.072gc=11.6367zXZִF! T]ŗXiɟd)&]hS.J}+%QqdLE^ _ƃ︢wR{" K۴8h9tUU7#~c dPp0v|^_wv2>~~ wge웢BNĄmBHrEGQhvѤժʺwxs9FsիǸ0jx>i ǂb?Lx∉ ~2z^`AZ:gB3Mzsނ-j4дQ=sP )Re#ݖ/Ϩ9J^LUGhi$Ҁw37f~&nG&*JCEIOR|{3ynԠ>oʪ>>'XMQDV7ZP7xeA c_IRf\3tHb t }6\M/΂7:*m%d);~C Wx.+6t\/Fq:Oܧ@ƚr9)a8 u5Ր<` ك.~XL ƣ /nQ זSjzF1`oj%jlвS!p7>Nn-B[ 2 Fօ6qkk4 Z/]Zx-]N^|5kIC@[LN-dtzS]?:EwH2sRF}9g ϿVٛ,D<8 h9ߎpL<}?}Kt5s_-TKܣ_I[M݁_ƁD/B55OYR{/k%5Ax` g0=s,?g&EuM&{/oۗY W0׈cžWYi>>0&QEٜ< Y͜Y^%p7T(ƿ"!dr]'C S8)p=Tt񫄑`abg G50A\M8J,bLO 0UO$:NZ{.x>0%ӀSG _F<iJ70I*H5Z$f4%pI{9=F(e;]=O0U;͖)-cdk/ݲŇ)蝩Gk'$*}SV>63/fm1B޵\ Fk . |CAZ,'\_䕱;+ *~eEng' )`"~̵趁Zip $5vE ?~gŒ刲jf6\ o <8?`ȠJWCOg[^罺nH H6ebu&b5C5QX7{ouYTf{lX)2~YWhf¡ $.[,<(`J׾JL\jp[5#{|yHK yܴ{6̦u$zHD cσCra߈My Ǵ'"oJюh xZh}[@ʥD  U#g^-5Qʍ.L%^[G9SY^nO>pwbV $Xd)4Qѣѭ`). FT+?ƕL1ȮN qR 0o dI爇V <_#Ocݎ"[,垅mMgBmVݭS -!6_|iж9G4"|Yo>dcu04yv%HfK49eH G/I)=ZӋ1VU0^}Y ЕrdX\bp.qI Z}yrfO_;H, vT!n }H[_JzZ^7`K<TuXM+5 <,0q֠B@LdJEwm@_gvp=lj"% 9j+H7 8SyҢjek>?A outE8J-6ᢜp+:i )-FYL*7OJ@ Wں]:>+n2KQEӰ(f^HwuMzEBg7Qf0l B>S\$ &eVWXh)ר*m%KrFd!b7tkW5ٜaV-3qaLW;̠v*.:rB=P nuT,L,64|*<=.}%;)pamLW.lqS"`%ev7.ٖfzs8#読;Ͷ F4W#.pPzȥno }O^gX؀GH\`Di]9/ v=A?12ŇKj̸c2.7ȍp UiR:;$kCvXn;̽(gA m8)F2c)՛OY;֝(tzS_kpPh \>2O'C VfvB .pEG֗#r6>A= (}-7RmK`TLU3/b)噰+REr`5#$*qt#2f#%eHYWցpkdp͵CqӼQDQTG9{&4v{S酚`^ʗbX=(te-,@ɘV\%=:&:2y; EHM5wBH/6 M߫t)D#u?!\}z%#Y( ML E';e{kku[KZ#H׊lge$XR?D' {Yb8:p >՛RZ|4&xʛE{_\)sp-&!;;M=JJVoy9ɒ1oFM-Y+TR U̷(YW/QuIiuw_&g1DJya}8® 7DutѦB=#atժRE CեD=vOt&x!ͫD 78.M+g2 Rn Fv{DvJԥl8rb D2fe&ebej}_#Jh6 ɱP7Q=}ZXQEu~#w>ɠ1n1, ^+I5ѕxK7rL[e?{(joÊl -i +(1-vd?zl ߟΎ\*i!aէ}HHGש[$ў9o])M*dpNm?x7訬ms(Qs`0EARf _DXQ(L8LOk,d.R?w++QɚseTriRPuR؅@'A̿ڔ1 H輚dz0]6=WgDkSKD2G:9xK{u:TхzSZ?Axm>sֲZb[|r rW65bH=R-mвun{<{5VLJ[TzD,e~#==+LsOC|Xc%Τ];dEUVb7Th1L*dޞ ^`gG,mo }^8(c7QѠjJQ{r?q"jOՆo!XiMfTܴ3J-NpEQ֤EA^phU[ %x*֠3ϣt)٘ EX $_lOHSy"bo>q"QK'u6yxlܨ-Z%j A@yVl'ӝ\ fI)$jp^I~f!>3$2V *s>96Ux6HM1ZT i||2f36򑑪҆%*,$ܨ[@q:eݼ(MصU&ьyt07:HpgDy?~1dJuNMdrq~NZY|E>K+9h+OVZ7 @u!,8CG~z<;_$7 ֟ұLhn^FL җTCE{MYN_;) rGg86VԆXbJ{t=#/D/fHԅ*?"HY&̀ 7~|yrn,v݊CG6GV~`6 JRxZkRӯ_Oulmt0 l0ԛg1cQDίwqVT\PUưXڌ}_(וA'-sAָ>S~<\2#\7{ca[NfһSmc̭}O;N:4VʤB$ެx0CNĝq?~>Vr8q_T%'O$Cry^63V(J[zX,uI!G=%!r,!'$[TSHg4$[ -+32km:q"TN:Ru SKrQ04<a$4W3#~ #~nH /Кǰ!븠ݡ@[:p{('G7,x8NbA˂m|a,ߊuAa]/}:%qg@YsD*e«ThXsa7r\|6/)@Z}4z\e{RBГ+ L6>L"@0!,zUn8ݨ~[pZI=e^z5&֥h5F/ [>{w3~c;S|OLƐ:K %?=C(ay&U{vt_qZnC.XFU^JoHCFʙ°J/E'wbqZF!2OyT]T `wLYi5Eto0oCH_]6?.T0!3"4tlw8tQ&t&:k yCZՠbc*T] J|l_:L&͔+:ng0"K焸ptL.G [|A,֢rN`3̜cZ?>Z:/q I$_11c <|7TKE.7ژ%h^D(vtx:h* )$5vKsO {6^5q2Ȼʫ΂1da}'3@2"VstBg5l7 ^p 蔧LINA"{jM`{k|a=%[J{l jV4nO 7H k4y4=ygV7)(eؙ(DyOYyk!<VB<-Qη< eE-5髥$FꊸQPdXBsJ&޵!_PHv!!yz4y.Ţvg\1H.b?4-Wvh\"Mx̂ SmEoOoy;^:NJ/"S7%A[Tĸ̢H ΰaƧSw5;)O6 Sh$lǑJt}*^XaxD .>!mWa>ru^AYBW\%_i5s+`99$#B&'@ywE· 'ӕl{\Vf/Թ16l&q7Шə.Y)2cJezws>CƤFr40z o$Yۘ@JRC!{%訾dj.-]oL&msL#p 1QV:6r6ʲoT2瑃ua7J<XuGI@ctXQ76^5! `C{,QByρy'WUmpujq3kcK]+%- 7 w \u#*VΦ֙AZfpZ2W)9^IJ@ @-O ]~=4PQ8W"J <^0 (ڧ KOU  5S߇(3Y[l-I%Sjтвͯ 6^!v*]4;凃4̧dyCvcKqg` lUk°VHY^}te[j'4<'OY{n>kw],d՚P@M,!,={C"Wj] Ė%bѥ"mr0phyMKzQipS$ZJTv]4gǻH0Ia/~9aڠ[С3 ?aJ)A"dz9< >KY4j֊ ͫ`0hjm@nA|Fjh Jwո$w=Q2~#YK .L\LՈ:aN DLye% 5=xV Lia/N [m@蠀u{  "!hE&Vb:0 ^fgƯ6CS0Z"ϖvGR,&~my[9"ޱx2CW+]AuS "Gs"2LpiF*tneQlUH4gP{.g8fpbj&" 3i~!lL(M/īAZA36d,Lfuh1?Rf%,ZdM!8Pk˝G0`qG*.Ϙ'ъ%R/_ bj sBgwkYt nKdެ@gah'SnrM ̆jgU+DݡJl˔T$7Y.+a !wR˚$B&Gh+ʨ&㜮xxdCҀ>Ttb9bDc`A-:gh@ F$tSU=ѰhY})Y#hGEiЗRPj}@@)~&VQRח!WVBڼK\f!f0(OFsw>{c$6ݶӖZ8{xec7ڧν\;=7>YZf?Xk{L,K`zb dY:A^DsVM @5FMp]2jN^0lE d"U@Yn?@S<(V `HX* N9VD4 3F?}+YGs`)ShB$hr'dy' Hs23~&2~$G(l XvU+* 83{٨Iu*$OޥWodEeAz$T (הpFG$k(ږ^ ƧZX1F ǹ-<Ά8+-<'&;Fm=.I,ҟV. p,'39eq`~w)f#*9XuM^W SKOT*d^x=-Q>w8j;# hd؊k'LWx[/:F3 4iR*?.ʻG1!0ɵ~vӜrȢ uF{Й!Dl36~[ >bB *sf,1,Is 9=NziG$%HؒhMO`a@C THVrr9B* |偞 BD'g<>ck9D6"ix%)+R jOsϬlEB7f{qAY;QggEՄQ䑷LS 'R?, Lį xv\J}k~{Q(BJ3Uj'4] ~]d, Ru/=ۿHk *2` H^&(KS HنtQ-|%F}ǭֳ 9dKܟ..8N%YgvB$&PT'eF혍^vIR3_,Ϯ, Gde-vsx`߆tYݬJ1-50NA'E{M61SR ŎmJ'.8yi_fǂI=QV[=N;&K'`ZhzZ|+~yz$Ahv!pn;cn4D& !>ꟕJ@IBߐư-4|0?i+5y(SGTQ4kc9O(֧{5RM۴3!z5,vm(@ bRizG'Uë1hlrv!^^I7{Qѩ fG$IJQ_*ҫZp{ߌe2I2s9H~~]=~sgxRpl.C=&v`[`qCzی$ܢ4mT3) ѺxJt/Dtrc&* M\hݥ+`y1!s|'~ uiYLũ0ePA!guu-bsZo'DWT\5VѕPb\9h4yx7-*7NNdyRo[o캽-8w܀AR7:C&^ԝݷ"{_A3YjGd%'=^Z}f'Muo3FD>bV98i.+}1P;bh&==\+ *އZP5Uyѥ5} Haxk`Eɘ~[ʤhred7ֻkU!P!o1@OHu.K>Ӣ 6Ogmso찯Ag=-I([FJ ]Umi`մD9QO8t[G/91>qxiyA}f[J\_BbGy⏒N5 9mauG0Bϱ7ʂHFLeXD Af3ϦiΫ/nSt\WcWdrg'_?f{GWkt3;t;DscGzvI, q~#pac cɅ1S'^Z}/&MEj-4y͢ =P8}ǻR1FJr~ĥQʭ߻rJCҰKRb2ĕr#j%fT +=Bb~m "#a(JdZ160`A#ÿo 8CNwR=ҼndqbKXik Ȭ[,U.@KFzT3P~kE f9xsF1QcP$ț'W|UZ3 ͼԿ)my+]oMatme)Ty'.hZmW,"aUrC4FX38ה5Ud '_Gq .%2q7mn eAi-a7v$5 l}>{,ᴾalv?f#%opќ|0x'ǧѱ@&Y"ۉR LUyOk$D.rwގj9hdH- \E,5(A!RIlu0}~(x0csK GSj1:o Io缁h)Ѭtރּ Y?ШS=|Y,>L -Yuw0 B+QM);rRN$ö֐gUشΕ*Wu T'V +tjTE7ߓe>:3~D8d]Xc0d[1~GDRI0 dno,I0PMZAYob{.1w +5v2M= "E._uyf0M:%Jk2?.A3($ܸQNN@2 y C2Ԗ*A?q45FJ.44Ի*ne-coM=a ]sg"->drmEfn?Q-,& AL(-?ۛPq4ѡEӛtw0zlV]Tpt卲dX>Fj\ f-o4u XO2\%uC8jޮ"d8]q%mҢYrnA+N !T>3dQ̞)g5YE!$W־<\4)RRrtM-Fkr!'6,.4-(Op.jf,uGRVKr'.ݑKm[N>7D-p& 7[H9huoY#!?j0w4 y~$+t0kA9#4dàveSIzOej,ô]!㱆 D 1l[[qJтQex/l ]wz;4gȹIgrQ>1͙́Dddj\ K Y OٱA3ђv0yOiߖmWzv TeIs6mĖ z7=Ȭ$*/(Ǘ'] NU oƥz 0zxI<-kGnL/ Q6 }䤳v1-H {Da@O"o"v>Oȹ GDO9{)Y1bY6|oW+'kŠ 4glMoj1(1%Zt#Y,7S CjP9U1)YE(`Bxa*qfYGS{ERL_촹>ixI|O<-;.Ox~ WeG2smt\PXws|`x(nkI4$bД 4?h+_%ާD?zZ "UFDna 4?d\+7> 6毣&NJqf.p6S$-Ǵ+ӖR`JS0@:x+%O|n JyWΠ{?tsXEޑ䔷˾@E65[~bZ0Ċ:z P5ӥ?xc k+7MFdLREqcl̻t3 5!Db+8B8YYW| +Ww2N>4[p{(|'+Yf[hqܕHꓛЪ DOV] B/A^:dßlbp=V%rZ5(kC|_EįWٔ@^j3$O0]@|J-#MoV e_#ܞ4eyՂURA&#al]i٧DoHjͼF+k |?A*/D ?t[a(^ ELUD"߼aPA= 8׃Q̰P$5R[ٳj`Q:~(>@+{yB߅^vOy].A\{hkj2+&{OU*+UL4Ψ$Ӓ>r/.a/X_a[VGcZ/rܠezZhx:8-az( `t}/#aAƗBzLH[h içgn Dvf0`ym|\[$[_bŲѣzd@ؖj,(|0"(8RA G50oupwE:Wg`x!t6ͯFtn/:-6 1l{/4>rw e-΄c S֞2uRL]@ |Ӈ/MaRàY@X Lm8B,D20DG +xQ{Z<$'/TQB 5>"ZFHYشid `7ŀlKbvT[1,KK}h)]K3W˰6]eQU`ZD9vZ'#u臿8+Y^.NcF $\tBފ̳L*f|Ӭs@tU Pވ!hEVGe srC\$#dX/8ȢKi̯`!c(MԮ] OlPዽ_ 5j22Kwrʨ-usѽڒ/z\zb{P_CEY,tx%*O"\mYZn7>  #H%fy0k[I|Y I]T{v uONH[mdSZIh!7 /2qyxU Z3s'`@a|=i@mwvY|Rq+1Rg_R< ? q?I _6kjMWGغSWϾyoZK7Wg'Mb;EٛL=m}e8sc\3* UJ9k%½Xڰ#) MxQ&>sPd+Iq~Vr]j~z-Àz@2w*\ Z/D63=]FdeKӞ5!Hޭٖd-]tLy7UpJ%TǴSAWkWr)fn3".ȩݝ-KԏkZ۲ 1߭{NQqK) YT bjˊ zqЄgZԂ 6z6׆nT.h*(!"'pgC?^Q8`$- 9v{ %s\r:nxRŭf-tV"pԭ۷ {b'uCYmlk_. xGb3m;04 {#<,} U`~IKi%5Cǿ\Qp_&@-c!7ϱwХ$rC#62͎D޴(rA䗉 .jAgAhW%R[o(6%{Q:<߀cAtL17O0 [+yVT!RF$-L*0TQl T {h>KkF;PF 3T=N)=q"&w2SKpr$hqU0Ob)yQTpxtBӉ\Φ8@<*e9M#gZBKuhXM}0_ΕnEWKv?+bFO$H>F{n(Q?gF$hFW8U.Af'|(&Tbʿ4.XȻ^ .3e'惡 l?bb+3hH^ V'O4 EϣVw$yҝ\ʉ-Q_Iv[-/vt8 vATȈ_Ojɑtk"5m4_5H)6G)\6[r+!n;@YST.0gdߓv}jG6Fʼn8Ot"&=]|z&W* # V}ċ*%0zjf[c$$I8 ş`B+ 8@'@m+DՕm>UiW)hvyQ 뭬JʲS/$A T_73N` 36zf>5"@"ֆUE—PH1[2-rȍe PSDCq6x# T|9b^IVO|W-|iǗ6zq5tKmbݝnwx[a܉N(NAH=)9u3GQ{L}BO%dJ%' q9?w%/[xx"n]e> |8]֐G"63 CޯhWB"3GD*!Zo3,(ʳ%qbR\MYA ͞J$ZPYpyW&zpGqنo; jMHߖ& KB? u8Q ŋk3$K[BMh1ǶTqR (lG zog2SK!",@KCmpJL+:' uތΓ:c> ;{?@(đP,XmAAl8̧bnheA~EBqı8(6raZhh$aX1?4g,GŷtbHMd{^uqv6=纍pU )މ $"SKEw@[:=\^5_S³ߊ9D+ȶ2G&~6 켶=6"`>X;Úœ#.Re^  XfLd)$P/SDðm ™/ Uiy/ f{2&et-̧kgm\< xטzRUi's53T@y! } & ;:#?ƆG׸n+/F)C5TNo(J9!bAT(Ps|p5l uw67ȗM?AZHOl_ /WF9ߌxx2L^T9ŦSΗ5[{np)ŔxL x U.h5"i}sP$s]BS3i YJ$+>ܔ [ƄPM$Q7~ v4'H:ˌJ;le]YwB-hެOD4xDrLm}]3T~Io@; J1vcxxk8ݐC3R,_Xntqb쯅Av.{exfu9*ne&%.*.Gcϵ3+9>~NS4os"l˶o/ޱٴ_[FfZ!px`s+{r*Dd#aevP5R=ֲ>]q c$e=+)iIѾ"sx4^9nbШ^4*5;ySE(JRewߥ}}z )'p$?_FHMj-γjXG &I{2z%{ ߄ba7p穋ٞg/.>U㧁ギLFgaGw]U13ɘF [+t!nU"}X 1i?q;^cRfS<0͡pTo:UtjȤ6Mczw,ľW (.CHw\!5a@aOdV},Bׇih=& r1NwґrěO' a/g]Tlش \Pf|!c'~Ha1$,[$F] 1KolRn+Sܬd4Aj d=ΠUA]m&}i>JƒOj>"1֛X̿a2.rv,0C}-~J qXV]YSz<* 0|T tt}XHYIըBE(,'E:g# 8G͘ >6䡕k <ٯMTm s}&{KU .ƝC7i%q fN|\CrhDs."UW-_V5e4axډOPgӃvrv@6FܥD4Z Q<60Ag`}| (4pؘNFmnL5 0ل2+b/ \ Phx-%{ĊI]yֺ } oBO6`Ri ~!l1[fY?ST'{]cT蠈TVMͱ|8I~uEaNdܽ.gձ_3r:U/|6AoyE-΋ ,'c Gc<Ȑrc1!= n@a x]A[; 󝡸 uQ@Y|EC5\ ,Ij-dtGaDOe)#"b+;.w&xa/!ba7@+TAnX1mM p/2~* 8@cl/H߲U}.)rT߭wC5`U]RoZQrQK F w>D&uSLbxzݬd:U;Up(G$.zyr-\A+TT{ct xz#l<^BU_|ꇀXY jYyQZħy7mBIjڭB\nXt2y̐m9`^W& GQHI-&zV:i Tڅ&lo3ŇOO馕YǷ&#oקlOT mδ1ZI\nA.у}/04jiU՜Bvhh'P8 9ZIV9G!H.`X6C-7`شD2oة N)3FԊO[tz2]YHQݺX&0G\sNV Y>$|hXG=&Gi*z߶V1 4pmO1n!TG/8uؤiip Ygdu^FjDjhS1`q@2B:w}_HfK@yR ݼv^6-ǚt?+ml[a{ר[n4 jGf\vbRq!b,ԝn;>0:I%(VKf0t{rv5=\%#_V49]7\03Gᅱ7 /fdŨ yRFTZ!|ϟ>3Ѐl1AU M 6.VjBQWQ9 {bq.uB+ՙCA=t7=XQp=ohy[Ë@75zP?v-+\3 GےoQ: xoix4SY-gbM!A >pԭt$ޒWcNǖB1 h˲&NSv:C _3F5Gp2 ,zBt_يd?:UJ)oF\:oFZ~oWD~DvM&o1683p[lvm~ 0!.ؐ T8Sn v&yфBmI E%&PCYX=6]̍Vۯ_Njbk4y NX8 _kl~?,)| Ĥ,'" Mn:|j6dP$YI9RӷXbS= x~d*}>1 돇Noc]n4HqlcM+žvBWOܔsTOYm@)KUO߫ پTxOA@3zAн%+bSnLbc"=7rF= GWVS4]g@r-TVUUI[f8 VTbv;rn u~Z[ BO-YR405LPP[c)(iZ KŽ {ɌB@g+b+"Sɻ%(.q3? OޛZ~˗Gi}@`a X:QٖKv AoLw ڄ8Uf"ª CA ODPkU.F͸E6|cp9DI}XҷZ m6= $cVx|u PSvu+@˙\e~>6aϞ)Q}m܉}⪑<0!W7|.I3,L7-BpȿW8MN!N*oZ{d. 0}Nib̢=upʅwv)lnW.J?oO]e_.ZXCh{O/z^E#C98+/rb6JWhcj4`˨Ppەz%QkKr/ 1ԑC6ȶ9x붂t6o+OxDHwk Pd|`J9UЫJZ2U\5*'ȾAePLƼ$vYuv{wI(ZJ &#L\dgAۃ:Hl&sLD($ז̅dP q 0Zng?ѪYHD p0"0ze&%q DvqpX7?ҁwl sUu UniPq?jug2$aNہs.lrODԙyT.][\*ebHG<{vƶKZO;yaA0o+424Y)hIhF0J.}/=:[x ؈A?.GcU 5^ z'>tB6Z]z@WKk(U5  +)0:i8Tչ$腠4?#Ȇأ'̳zG5-٤pCofDK&L}>T  Hu<8Cyx-Q0SffqS]ЪWzEDg #T*bl^O7 G c0-?ӵsj##)87渖Lqn\~Nҡ^.s\RHBE$pWi :Toؖ׉?#͘܏x6484 hJUDնA՛r)L0rӲ-@][JQRʸ: A7W*8)&P}b4tA[0B(4/D;EX\%G,J|zڬ"f%?GNny](wrL{}y>AQ /W; ^Pȳ@8:Q쎾ӏy|j;`}6Ҳ؋6o눌T?2Q jN0h#b8.]ʵl@qsWCn=Ƃ־@:n pf߂2L5;sa6? @_I\lhBnw p0]ծ,zt ިK&&g;Eiȩ !qyౣgJV !]gPqIa7_!#334o3lD,ڹDJDwSCe ~zn70*/ h'~<,G#9:lamN 0b >aa~'CG3`W]0{ `i'YMDz$Ik2Y36 9dnϲR'a%)q{/cIf3:ث`/HG' xf},1XOyN;e;+)@69 'k2WHҿ-KDʢNmT/[:2\$ÏMj[JTiOꫧ2ANm2nF.gUq@ !cB[+P]4f{n8^5aV` Wy*͍dւOi'2[$xۃ/+F~щw\[\#j$_cJk6nkrtc%^:i ;~ (y;|Jy5A۫[3Qw|aۣAuV.T$Q8_P࿥|b-iݤwR0z!Zbvo6y__dW;)_OYArUuS[G{-w\1/&JY?O!RsS]oH9 }c?h/Zʹ/9_;㼣`PC\ՂR~}v,aXm)SaTb=b[@r8[IT֎.σKL)(p\y„V]-@G}$bZ$G+e`I:$/RG^Bs8)ܾkTp$!cK>t}ZDo*y= w{}3s)XJ箸&KnFـQN,\`3uNb~Fv1 P(Aɐ5-aW(I77] GCV\H:D`lJ;mlp)`.Q6pc%o!~ja_'i~xz $o"1r|BCǘJ-+d800|Ud,mn_v~Z3 Hc/j; ě/_+!fNz3ո:g‘f\߲xJ*W̟ƆePhB~H2GD~ȯeojٝV"*ͻpa3'S^i4/u2@3{&6ENl: ( -鼸ܩ aʡ©*mr.PsK}wJ/h-3@}֚%"swt~iۈ,]bѥ}6z2㐴uwWp'drm{>8~X(6W(KB htNkַC(4vHR/̸slXZ\Ao֮<}Zz}[9sAMx&s_Q~B/C0,1AA T79",<4p0CbJvalYC;;>XI.}Pˁطj-Oq[_]J7RĨamD/ hi7zXᴵ.Kw$c|yYK %~.3X񑈯mBɰKTJK~_yRKgQItN%&)ԝA..Jb9tVf qXdYb,?z-Ӝ.Fh pbI#cqqIWfP`\V#/]%AlƛRbd 4\!Y-.f^FLו l~ Yu_z0hG%#u)lQǙ \\pmYU!߇7ÖZٸAK3&&HqC31Gf^!& xYPܭDNHkÏ1sIt44:DEItTZ'.^c^V/\󿧸WîB0-nvXsk! ه`Oi'Xgz\>v=)h Htմ,ŭ#hP^{-DH4sבrM# E  .JY}Xzvh,Fi|$}yEIrJՆ2u ~`Y䑼Jj䵾T]̽b)bo!y}$=J)]j惹@|>S.:=w.0ilt<=GfCPNXiH,JLR(?T7?/Aen\);Vn18&iWLҠO` e}Zj#mbZx<5$4ֹ&!d8-/KlVmA| e {yWm%iNᑾ@lqp-зц҅b-cQTo [@vQȇ%:/#rnާ^ǂ>; ΀P6/ce_O$F H'jF }{8OAL)$_cO>+„()PU'r amS; u;|]g:01L {~{.5~pqfWq 'Zt$jD`$/ ә ,f<ޅaО?dTmM>6}uGo>)>tLi'y],vV2ō鏃)9ABS*)Kcܱ'@FXsxELnvԿ~b`&=*T7I\7T llBhHl@NJF'jO;A5#:E৞KRbvl D$W ] _\h~ՎOGnpM2 :}8b*@5[ꒂ혮:Ěvf5 +u6">{wj|\G*oA$R}^$!xyZQ}(#HuOw{29UӰ\7gU-Bmx傺O,gfqޚ`˼ 2w!mE2[$Q\%u ԟylzgPS +J]! ܃xķrWk0+r(r +Hu`LFrM tz\G a.5 4?޿A8-4 QٗKt +D1s*afQ^MV^aJIϦUs\E$,SFwsyRY=.ς6iVl:6g񬌛G;YĶ޴)gl2FQy 21p3 HƢQF+k}ˉ{=`(]==A%}!z*{[u])~=*%)B{ ,V;|~Qzp2iD\\kC c1y}͡ {?'.B~vA9`IiPvSǢ;K7&9ԐL:ʼn._C+C0APF"C[П1Ajf5||=DcI$~Ckx>GS>2B ]iб!O[%z{ z]1/C=/(Vh)R~@I2}Ywd6k"ϜIY4E%c(U@X~btq֑1Hnvie-oj">;i!9L n1nnnMYgno="pBwT_ aUcżLT)YI$ǚй#&_AA]l<';>`^#ź);ѱMݤ^WtHrJ|O?& wtNOFl ~Oo bPAB:smtq951 O&+ސwbQ2鵂!Ʀ4)U^ۈ}2JdS1#b ~'F'YbctdE!~F_[pqe혁@"» b^rRirD%^!',֧ZK+NUZ {OAS\5@QM!T>.}.W QZ^-Ͳde%3 |Cio`;Vˆ $걃x.d0/[Y4J:${ZB%`Pw2>0J=F\AȦiLS}xEDwVE v`"*"hiDɤb}ԗr8͓v"=ZKN^5w)eWTNShaVy۶1 q:x/[:_7Y+b͙'=y" o|)bNPV 3_ȎQTDLO,)x#!8Hbk^g`=˾o_ `MS|#FJt :{Xx4>Qf#c(aK.`BU0g;)$hڽY`EKqIOC%!gRkdvx B=]?YIvɨNd-nFJkYeK%_.d)A-1Gʶׂ[y8m%hƉM"ejc{f>+aMq'@ `Y7 (,A 0dxHBBEa(s-@b0.n6ʡ"!) z7+q3l82Q6!ӺQc`U|9VYmY9HꦣKd֞e` CyDn-+$'8b1'3)vz~l_ B2f-H)f1q,lJ[qANh>~m1E` %Gq'6w ڋL^b岗xvz9d5Y sP%&Yj;Anߓ LuB+(HEbʅ* ;N̢u|@*J3uá*>&dPIu[AV$Ī]%0_Qf\q-x t2I+YÙ`+ЮJ0M6e m/k~lA'tjwcY& |}C-D9ZAq00YZGU.gf\GŔ %MKUpJۜnv_T<V;Q q/=4ᧇ@NӱԪ j 6sJlhhRpuaa 'M gy4cbRڡ͐?KJҗc}М{?K8hB=m5kWE&*ޠD'7(zbpոNH!@u3? (_mDtl%M9p)'֡W;U?3jlLW7fxR )y,!-J:<v‘_a@oR&׊WvUȪg3Oߗsݚݶy.G3,l$=C,Nȭ ,VaGPore d+Ad0jP~Pem*aLzGkؠKK)szk #Щ W_ɡK#RIhDq #A]ա`Ip5k˥3XV_7UNL7O!\s]w{ZWo t2?9G(<呟x^)Z4Pk$S1;%䎇x܂^qEɧO{xM!!dsdEqХрt},OJJt xr[\(&m3vj*<dfEi?;hQaoY:p"_h=i<hgyz?FmLv#?ٸ҇5)⸩KJXx,TEej4Xn-Gǐo~0w|&LRyoƒYWGgvŦ7i5&[kZ K:eę) &E.W9;d2 ^֡dFY@濱c1e#?kqTݲH@`dA>}Q^?yD,QQ,,r/Oi&n{AFp}qBmCs![^`mqkL/.#x\{˅\a>5r|*{@Ip)43Y˯wVy>bA$Jh$cH Ie+d#!|MMSehuɼE:<)N!}ڰ' ز kz֟R'S,Ë6DI?,j{Q?ZME {g&s-U U pt)/@fЮ~| 3k^k9T⏥UڤlbCR JᓶPD>"9O< l>@ Aܙ|M$d~ii`̟| EFeRLv'.nk11 zܨ%] v|,+I泑V1KTVϖGOͱ < Z"-(rbVӝ]KJ%{kcO A55X8~@=$gS@Z\`LrSqGѢrDAk-e zKS";E-0 NJZf~>:f5zSI`9wGMנn!b:$twr n،+Ghb.q6m%Ϩ(&o4$$ۿF5~`Y8}x>xF) !,26Q¦w XmvF .S珺D""u0jjd{1-m#%08pg -+^.NvU v^|b$@\{ s9"ǧ0>vR*cSūN)Q"'H{[Wx猹&eZ:SNsy,FZu(j{柏bե{9 \p@ L4[6 ?he=7޳q`IF*W*T'Ц. 4ޛCCt1+0 g`htN< 3sO<פK>qy0cOK~0έIhm^lC`J?GzjMH1թM wr3`"_|`fЋ%[/ kT xPb.9hw]£ya>~nW nH?Y bq/UT䊥)8&%tF=ʼn >Ht@@wKX5.#7jT{x<1x+գ3wr*; ojO(ˤd^QI[fU籁 l7~I*Ț<ݩFv> %lCaI3Kp5=[Tk2`*ԚUJINɾGW$U tN+'OVPaDCXmpKFŕ9s2x떆y@9}ņ}X]}7BoJ؁LO{.j"%z~aϺzySna‰q'uUx4cmp\녶.4ӱ4:ZhWb9SfDI0egi%:tX; 05/%zT}jjVUslܪ5 (?չށ&YSVh-GbX u_7[k1*!.J1X-QsY\}ǘ.7lrq|u,bXC 5L,9 !F t#Vѐwf/,X}7H G/"^N#?ͼ҆g.yϼԂh >x{dxh(Skjx!=<*dK\* M^{Qh쳇#|Ó9_]p{FmB' Yoz#YM2Ȼ7f/ @y@ 9$D$B=oݓ} ?w#UI{d8ݑ}ډt-[~_5k84$EQ# 2 myjxh7QNZw t/y"mIU RҮ5̠zn20zҧ[=XC~]㼑TǮ=rVY K䃳ϵCT[gӹ%D]kl!`4ty AH𷎓| '^'IMD!pqs;=nDD1a_XTg8+rB3MҾf$pEU݇"xEA$ɷ(ݵNbğ-jWD'ULkU]2Ώ+EI[IپPW9~ #߂suAG`7ׁ"L<u(\h ]2r@E5Pag JDӊĆ.sԳã:Y͎/XB ճMQPxwh:V2u)I]/"?:S9Ʊ()&daFnADRox53=bȎbbrS2b+agnSqk`& fi*Q$_F4g s][p5jJw3ዺ3ez$V.+xw(f-t;;3[蹟Vң+_kx'DC@: +¿ WVg1^`&gju*Lu./;CK0 g MC' [Qt݌n蛻1?0ٿ:Dk+ pSD 4(MHޭ^1ḋ gyh%\t.x֤;9X/ؒmZC`¢k3@XVkoIV6ge]^!=n C][O4YhA9Lhc< !\HP3sD:xRի);|v IdO/B%cJHN ǬQw|1 UV 4H;ֱ@-8/̟ ԽyǿR12<MPYP" <0tԄSY6G we$"r4kFnlU`<[974avTgQՈ"+l3MlC; cbkOTG쨛 nx_c#0h[…j $FXuOo<6F@x ;'}\iQ䏙!Ҽ4q]L{E;a1OnTΓB7ТoON^!cLbא4T'gѫƊ_ $7SН>qnTnhҚ.U*`F~>4v>^-de։NC+N#upp6A=:8P$*#_u3cvI|s LbhY^Мi+n#7 MV/=ys@%tL\kpg-2AW(?[AB{ N3g E[dG;0/r՘_@fp!aaeu"?-d#lEµ#SQp"D!] A Znj@e~r{2/(Z᐀4vUc4VSN8~&"bЗR1b5 W 36f&Q mu9Q9MP.odŌ"'f<*k/rvGd 9=:;n*$5cj_}\`7OQPEػ+\L2R5}#wvmBe$31@e(ey&,ܭ"P$EDЭ;Le&( g:#{@V""h_ui;APt:KIUg;cԡ3៷\3D씚X; o1bח]超+KKC=d=lw ' dJ/q{˻-5נe"Jepe|xgY=+ӟ ͩHƖ@S'N3_BWan`*>(NLNd"FnzA,qw l,h1= ! ,USp뇅+) BJ;a)&pנ#}!]T@X߻+;|kdf-ۺ<ШiɞOBMs|}'\mD qR#U?Er~$XVЅ& w4hųxD>yS B (Kfz]nhr#%af&1蠯|xX+veRXiEub/[ '-Y7sI4L"\YMet,K'Q/1DL"D "cyt$/wh(-n7A&~6Y3RjWŎ+샹Z&H L _/.6R)2,~7υB"[>W _3#d+(CC^ipXJ'-$iBO}Cx> Bh^DZUpegEʳrOI{4;yKn ᆐ]&j}D KϲzFzr,I>\.CuG z!6Mi0k6w[}u݆(IFGL= Zko`57&oi3>h"^. b:֧TJľ:iuZYtv`,"ichR diǓ'j mBݎ̒ ?a34iNrn;kPw!K0=4SO7YG=?Ԯu#tC ~#C_ }j.E*Ju:Ejq@]FVtkFY bc7AOekL|îM֨!xVr&/n+'xhxU—z 9Xbj'|Ĭu%)_+z2D$4;NUΗML2^Li7ov :d2Ae+"oB Mx91@T"lGqΌ;JĀh7\NlEĨ8guf-y)nԍYgB$txWF@Z 08T PyxSMA}viݷ/y! ]HGW$zWp>TcJz kAD}<)2m.FhFK5r?yPaMm5%ZԟTqiP!$ܭ箂~tAwro2npjϞ=(3Na wP[ u вyOݸtA@6P#&e*2ΒϢ `u̦""=}@XH 5"g𫶩gEmWHK> Xivï*R=&WRZ()cviVgM@JpNK6{Bdbk@5(x (3 B/ԕ,Wt@ű0\,}-z/+Ғi<$b$?b vNn1bp售9CT#ijScj۞HŎ̋L83&Ah|t $& do!n Vve1cbmy#N*H>l⾵K1U53W>uL:g! FC *'3)vGHK*f^c(TV,g2_@c])QikhrVI V= u:bwzA.:R($l0؊&}b|a{uao*ӶhFU,j.P3^g)CN0vLH$Gzjը#d+AZebLh=E~-яث;^uJ'~Sgs=9Yj=d5As3uPĦ3RXchj'<3 UPʙ%=  9PJ,/wi6y&#ib@ZXUCs/%;@$-ed. WOFqΜDa ^+vlN 9M*@'<#3%0ꥁ&OF*G4DB:Fֺ1"{>TqIi@ -a,<\m61.P8,Sġh㘯LXl 97G=eEt*]k"rIYxq1C^.*5G:M;^r* Tfq N6"7¿Q`7o?&gHPV3P84]G Nr.w>;@8&׌><]p38[9*[M_ȿbI%Wȗ-띌Hy#*?SGl(M|X$m}Q]OPx58_PKV() $ 4gkv@Pl=5 UC6OQ(s@YR3 9c\^lb,&GDF ޑfw Q\X3~x{bKf}zK]Z=6g$ވu$]reL2T}؀U)4MAY/vf\l.#mK8R5#}OH|ϐbNVV0BB7XT$UCןbB<O ̥D53D*k(jpq'0(HUVMTq L\)=\0[L _<'Á5,.T5EQ.Nvbzg=U(P= 0\*bPX"kNJuߧ= Q^u WW+LkAǍ3j _#Q:t-,JX R:]bMya@shNB ysjOQwg!EAuQ-mͩ+Jw3 ]$G9@u E߱&W63+kHQ:WaDq̛M=[v.>RЅcT:eu%}dy`<h˼{|ԕYp>Jr*1&I[Ta#4`)6գ@g{5{X'»x3YPukBy̑P}p)L$ceSh(3h{6Dڰ )Cx7f=qOupDf-mSk#fh=Q0}"C.r8yŐ׊>rm(LWMO~;֯;Qb H}c@"cd0ASLOwIdBdX&F,V44f!,'Hu;I܄\WNDcJo73QZ{\oޒDc.wn IPaiTHV{R='#W?svzf\/ fjٟ| ùUS{\oe$P)@b>f=k{`kW AcpFym$jgt/RIpr^Uftܕq4hTԔ4u$ Jf++ gBJ6 VYF٫z,'܅ݕmr>@ zor-&85"Kp fLO"g͇]2M~Y9N5i]=><ནxQ<Μ7ܯGt{'+` uh@g#D< kh;"@S #Iplo2 m|d-|V5HG2 gk,XgSn69tcGl&>qocc)[, 4L&VTx:ۢ('Rh1VtNM5HgOn;?%;\5 7[y+'r}iGUDi%Њ(>9l5ұd-BpOƂN/BB0mZpgUr8fKPUK,[?ZYƿ\ t}o&p!IduH S sJ5X fwGGbK$\<.|V:~Ŭħʚ9T-B BSAbI&ߋ.6kMqv䣦[jg4vJR dW bbB,%W'h_@p)< r;IR^l^8/d%i=P;y4g(1vd#&rMSy,2`#28!$ MUUgKJ(gO#4vltkjڕQ+t\pNCz!A֚^t϶7,ASB;ĴcbWm ?{E*Ȟʐ'- {axU%?x&ޥaV@,k)G( TX~6&hVH--՟:qK ͥ^+mOiWd j7}|VD` 6qB.|۠zE5Ja#/N9S+;eE 夼 _%e-I{V=)7l|6hC(h$~ Egy5JjhrI) znDXޟ<^T8 Q"ԃSO#3Mq48sm'О~ޯexڼ䲵 F󦥤|CmUA77dùsŠ?$!S32Kmmcp9фeJ&ºI4;P0?tuIƄ8h2):uZh8 c9D&y~ڜ5ߛ? P5 L 9r8j]MoO"j)@PK>}< m&!1o܌@~!ϑ0h%m9/tq1^8lwZ)%6 QbZCg e3|T.rpBf"+ev;A*< pn2'\\.b6nItx_ŦJ00scb$N!ඵi=ɉXU|, )r^<\ c͉qf7$G9X!˼ UG/箂ϫSs7ԙcakoK o@:qt I9إ toQPϱ@Oͫ^tחR&ʂvƺQFK&2`t$spQ]^ 8K= n=ٺJ2}b Er9m](ʼnO5$kw+и0SFTB\⋞RumkRfzYTbd?S`NXyR( ӤEjIQ}qȡڄ$[&9 )Ďf:ucL`䋘bB;S v65x5+8_ʬ^9fo}]oJGғW+E:$"ΎraM7HB:oLZ мx6clX]6J`1O$(Cv$8S! tŒT6/)'1  80߆X^`UAOUСXho^K9!Qˤm p~`G+d3EfLx rdΏni&x\qJU aX][m,/w"PR37V(9j.0QCPϭ6pMZJV1[4=Y@;+Ý( JǙU0S XEB^EfV9[E繐<(\W#WIS}l֌` q~SwI(W FE yL(oV<o?l+֜x k!#W =_XHWZ-$F{)dZ,Uھ?A,/v * ZajgLOWaL,R#jNsPhu>f.#*vcf/0BsR7~x& XC>*8%H[P]BvhhF^H[+4, i7iY}o˵VFӹ~f7nJ3|yciAHÕUq ZJg@{DBQe txa Ni\C={8iGO-+t,;\oyf=33oͶкlf:z¯lu]3TF{*7-^MLW3l:H湑}X] Rg0g<&is>Jg8 &Mr{`{V' &ww6t&R0U=(c8|tC Zkg@.د7*nDĉ-L 82@:5Y6o!F9}`I{^)( +n N' kU&XD\v>׋ȩo17N9t 2ƚ(\p5Tw? m[R@)61sEtR;ꬑã] _FQ#lD'e~;He\өdR3+m~Bq$"8{-/.#*FUpƀTG]fp7ZB E1bid T.vwѪ sva@ 2>o z߰lx08e2s 0<rᵪ#~T~0)1^jQ#@ӢA~zxcHŦܖe *$ec Cp( d[4 "+ސK ^ŘAiyzQPG&߇BG\Wg0 ˽HLj:U~P/0|H @bZ㲚;1 ]d: nq^#Wň }&Gz3_"iRT)'?qOAzq=зcm:!ƳR S :.+ZGw# +&Ve?ڡT9e{ !,׊'+'YB@ -ijӑp]13dL(F|!BF\Mag;2=&(ݒ&/U4Îc}&IF03;6/2j"q34$1 $tsyJU(Ԫ 0^5,0)/4CpSUa3~|W ;4V)ST%_(V |0+6ׅU,[:.wE!< sgYZ7zXZִF! i?G]ŗXi%L&Ḳ0QA`vfDʙhrE~ [Mc)!ni'cłGd5i貧TjvY}Jkb5 D9i7($^X5YlPXП0cq^{I\!쁴=IfT$oYvAd}3V?lټϸ:&Qo 7][  z'$?|?$P鷼X%ҽ>nA3gY. V4w9@m*EPs YD /6ꮩv$2H|MWG'a$pOva{}GropveN Z/l7NS8Q6UA+sh@2φ(8i Vy'-3RKZ$N81[F$I*lYlfm[UINї=YlCt=Yߓ 3>\I)ҨeK|RX! eC*DN>$3_ڸ 䡷5' HXgjh,؉yXNum"?sAc.6pCrgj%bEMh~"(C.;lS).nT8A.%@ֶB@Қ6y] /[=RI\RtᄀY6EH+߲z{c >6@EG2JY ?jIޱ7P&mFreYCJvLw>9V%Hu |A:FFNQ6(#z]&_ZUQ <[-iqK8}Hj;jq`4ÄK6Ą~wB#nidۛ9'h*͖#54l+z+%smĉSY'\`ZibV'2G'*tL HuGU0xƫ }x+5YU?3M#O`>GF'v ) u > F E!y=f0<~:# 6al5ѺZRt!1"C48Xy1=B vjT?TzHW/鸅"]mS؃-!aЌǰ;gV"E,Y@%'&/ƀ=a -4B Ě2ej)!a#淣*61J UCiZPF':BB"sr?iÇ#;R& SV+`/ZP^Ω\hjxi{O\6WF_$PPH3kR? lr@OqX3gUkIc^kߙmb(6QYG/ SkY{ 0wy978PVx_IQE lp1l1[LIW);, Ƨ ʎ5C2y>"9rB]|,>&aZCKOECPtAp Z+ O'\Q V$nMXu`{.oilu#tgه! ĈQBY^%4!VogqVdF8ͭ~JǛ!|ҡa#AY=^u֧Nbq[Nm2V.CEvOEC! !;e>f&ʼ)Ҋɑ"9Xv'H|o{5x_y&hFįocF e/Lʠ4a"Y"ڎ[L[4ah^NGרvU>1nbCxp?,`XϤz>RHG195a9eIpFK0^,pxG{h3k s-J\vliMb~CmW;pXl2Q$F^zF`Q;±,vqdq2Rg{H 歬H` j&$5Y!^ߞ$*QR)|rqc#n3ԁkbBER 0z͔M`Q (CE I2kyNֻ45|f#?9؝TEdW%AK2M(k׋4Z۞Snb(# Hg1r"}Zl.58Ɩ|)5O1cV ߼`:m/kfm :~z3 QLqs}f'L#;MK;^Bf/)qǹcΚQ*@M|հp:[)&aq`({iuke3vа7myȉ4YIY .#øȿL8}Ũe^.JEJ.6 3b8Mn\=-o갓Fm^DðGgwZZSEusDn @d׃T*G/tCZOQ6cLA\zInb8Q'©Cw!ls3!w/D+V̘eFGjP9Zؒixkz NT뭫i$[l|ℋU9y(k"-њe8 Ì &Clߋl\e)I`7WdAh?Nh߱<|IP[O"Xe3p6aՀ 1amcG0e[Ό.@oMF @=o4ϕƨGt|>C7=T/7P"/LLi!~B^YLk@63QY:Xpu񬬡\ TB0uJqwvC|"%atɍEh ugN6L<&&-<YɃaԚ%1M Ҩp+?Ļq?N_Kՠ׼Ӈkq2qaiZ߷-D>ʲ Ʋ&l+϶~j+VgG;OO546"@㞾I^R:r!uT!%9 qqWMғ{Q#qOOocTIBׯdD*ӳ\mZ@s$:e3MY7HC҃aFxKtRHl>RS_uX򐃗B߃,mѲ0:oԎ&N+7m@R%C%8-)=-RLZD$'{wd B&UM9?٠" :"ˠPaIf[JK4³[=; eHꨓ3E^2M3 |ky@yw;VṏӣɎ~ B_(3{-K)}]\-s2V"+ٓZ{,鄃ұgYZ4fcb1be2070efa3eacda6f46fe943f2da81451e735a6500ee753652c800a7917e32731ca9b81ba08 09b9a8ab7b35d71c17424618f69192731fdaeeca