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 ;xDD ]/ HOL-Quickcheck_Examples:threads=4elapsed=122.914cpu=251.080gc=6.6847zXZִF! u̚]ŗXiɟH)0%o_w{|u[ٝԼ]_*SD%yA\'UL/e+V*LD )E8Mc^Cg$`R`iptAUvPvys}3}vX? I9f9X+0WH&<on4t >rU . ow6XKsˎֺD0Ц]köj4]θUf'{2TLi#~͗(8ݡ*=-Ir=r T)zAY #4էM;=v^w!Qy9b4.iKsuI[Y-^SqU]YLUPȁ%3:ptչGo\7v/SC9GThiy1m挄Tݫeݩ ").e=?Lc"lZeOaK)M-{;0J|5߯A>S& ϵTbf}~y40CS0^EN %ɥUm26?qJvr\\4C5QI{fE*'(w-Nrfxśq))K),F2&I F$WD֨tnkrrfB?$%ZgqJù{,bK͡H!bDe{ןuNp vUC莲  )|pw2V7$dĦ6? l+PAM|j"j ې#xB,8Zq2AxbjS6XjFU ,g[]轇RKnHK$j1vߊ9G /ʶ_Y,Jh @Sr[U܆o^5`8B_[ڈ͸cg<`H4 <_& ׹rBpōbz,ۄCd!kb1%U1BO ߦLpBBr @{ ;%ر'P/ w q*!GXSwXUr_u -T MGB ; HOL-Quickcheck_Examples  8"S"׫ k?hWg$45$ފJ2@d5Zp ;[.A,h/N,Y44lG}z,-}Hc b SV왑U0LmMr,t+n_b (cmy1e ו"l"ۨ;idWB[bɇoY1/f-uP WOoK8A/8y->x>AvZ_z7CdczR@=ت5`UTn:q<&;(y EMXcjY}Ro$"Ƨ8z<)q㓉Eik0K8yt/?"w*#TGMkjqW b]\Hyo pNH^G ..ld-^\tZ|003־ᛶ|P^h䮻K6?Iqf#Ogp@tƎR1L@* o,ΧVQb~p "8;%/c(!ޢE0$]`OfhdMDžѤƉVag4WA.hDH5$bәlEĢd'wҹ0LV`b,\ШUiJfax|(pz ŷ2yA14!O  ℼ) 7W@ѯwG#b<=5˙#)y Vj=3o^f?X:º&0Lv;_J[ 4p@[0)?{؎,Ù4 ^aS9LRc}l$͐_)ϵxvUDIm58$̀:Ak2W.Ͳ}>>=Bbk:@ȫLhI 6ܸ<"h y\f89톟F*gs!@1l 6A_)SVmŜϬ4"k<ͧHCYga cwLn;E^<皐}lkl*d:ipm{&+2[c֌d}`P8y0جƷ?+.ߴ9 }MqѼ>E;oq.=>X&wO{/_r4eUr>3ifҮ /@QMf2Y= v+9SFej#5tOUQk#23cX /+(P; ]XXT_bFō8j·thU-me^WX\he%ýxݧRк.#Y ,ngT>ܒ6 \VIJ*Pt7h$llc5IX90T& CS \B u748ߊu%5G7UE[<qx'Rʩe $> j:ИjqmP&w#@*Yʰb(fAs  jN^{CZB<ۂsD! 1 9E u-!'AMs/g@usRz%m?I}RהÄdS`#q.F2xkIS =쮨Douqzb!58H mp_e{]E鱹EޛW7l2LvJpáx ?ڻbXƕuē3}c`\+Iu peUk^*bh3D&>d#mJQjfkczn}J~tP[)um`apD.^0ݱIr՞qԗf @DiqVFܭ:7RֳJֶfLtʅ.ژJ#;*]-`!'"Lau~X"8(lΠV }4Щn=__nm*:95sֳ&\KAMA)Uv-"x?_<»LC1Ԁ.`efSb]3}я-Bz p^B]6ݭA84Z5HyVxg1T ;qèDc]JeWQg\{M ZƔ)1'-dд x] '[[XGYӄQމ VйS9}хʥCӮ(_')!_lcW2ۘ Xk3?kl}d IԵrg%n 5@jnr `('2A/I5֣J("Ӂ͚[ )"0PyY!LBvLd_q-՞dYK:ĜX3DHh9]E}To4$pH&J6x mNߣ5lq|%ق<߼[1(F+$l~Z5J6uMh[R>rM5)^%q0ve١ſV=Ķ[9*$;"i4 X*@JmksfMjs,$b?y[)E Ʒ״YW|"Ի/S 2x㿽*|DQDt -ԏ/V[ g#p#M=e֫6LS[,2N\?^bG&,|Uǒ$V*y y ,2yG:`|;Ud l-SC#TV/{`|Q9型sƬxȱ|,5\{7-~(,u9k8By1L :4)3/ @$ItdAL@g˃f~Xlœ椿i WhR~ZY6>$Ͷ9N iF >l{'ݗah|Pre0:n:9ؑN O]pٍ=~Y3ѩ~2?Ռp:j2#Ԩ/O0M"cYq)6|s"9zu'm[^qQ%'8*3Q $tItkȑ>r}yPU$T_ @V>T~w&l3%)A'3{9TjP=kOW4}v4͉$&->4IE/^͋_+Mm%:=;g7o˚vrR+q ]?S|5ʟۄ#NUH`֬M(}AGaF<N{,L5wMϬge¶h_i!B:8mEo&?KP?60#-)Џ2K=OKvba1\ix~((qJonu)o/UP-XѱjVoWgܢ.r7|-~:%T *^=eh?A~/DڎX C*{{>֟%=孨 B4/*Ґ⿯w#}h6CYDcԑhc H*C$vдo1Qi 2*ڲQnro%hh7љYЏTa y3%D,%|͑Ǖ3Zn_:>t>9:5L\y\&)n&r d[=1'rn{ &mo]Y)BGD#>zZqwQ4wa~&a%)x |<5yIL!+CP$ w`I9 ќx*a2_0XmnqH6Ҡ=GTL[=ZU+ 3^@|.B00ב+ lC4:[+CѲq5ҿGUfS'p_;JP9XQ|'wr|v気hn!ox #Ѯv8T #`$\;.^54@O/Tk 9)GhqP>tXtZ#Aa 0> ֫?%laDݎv`(yqR_0X2ʜzL-A9ewʍ2@Y ]@j%Mà4yJh'%oQ脴%+$ *+~*j12r`CqwtHN}3!n;v(22~`ȝZݎ%j d뵝tpO7 E>RAo1N#&tåz|??:q~fZQV{b^| Z1Ge:~AJQMЗYq` *bVqYX\FnZE{aYi0ͳ"rӫDe_n"ȳ 8URy!kи85lc{.=vNL([ybrMфF;SIr'؊5TКgA7eBt+KK*EI z֜ԫ'cMFXa SeI]d䠣9t>!<ӣhlЈ.STҔaxMr^&ڛxQ\㬷\0lmr^Wu:dn/İ8ęe >'Q%CZ GřeU{hX;rC8(8E%7_ v ]Doѯ {s>>R./ k1Ja&ߊʔPKXLȣD0fp7eK$XM4e=A;u:u:[gHiXIZ2-L-&XjVwz)(xQR七s+5:^jV$.Q^<޹w8f _ lYShSY,c&uȬRȪs<&膾y zIF ,lfRBLZǙ޻1ehֳ.Jz#ϥ-@ë7H޸v>b/=+bLan|Fڄf .v "Yug2Vx`ȵLŎ۬ZU=nf'@_㶛0gsoMW-i2s*4q8 k P5Irf >chh )*l%|n;ҹQY>%L wˆ{{r{.j]%$`"V] 7:xLp^,s?w,Tb41pj^g:k[6M3ϕch|B7_+KVxlDR^X!Ueq/K4no MظtmF_1s~'$}d'#7:W; 83P^}n9Z{dh7GW [WgHVQ5GAZ-9 e=OirkF2.wݍP  `p,BfAwcJXeI<°2UY nD'We<u.YUr05p`@& sQ612msiREiPD yxJ@vL&mV߹n9=ؗH~&etP O=m.h*uFXϿVxj!kx{;sQHh@UY-#D#ެ (x ҝn39%ϥl:v',yG?x! jփrb'/+ ]_Ƞa=2xYo$[+T8]|yc%oehF䲠.<4W[Qj3M޽x?`\Od9qVP+gA6+ $n=s/k{' s棼'qkUl6!~ҵ ! 2PI7n ˘%!:v'%[/.dPڷd?HQ]V)\ *b']nWï4]ԋ $c4hBkx>xQ /ifO2. \SJ(8󂜖8Ulk_Y)#ugpt 5jW;p uFVh;D8aVσE) "Ml?b>(dI[Pkb\U]6p$L}Py[@['L.اj% )<ܗx+#qIY}٠@ KvUQkz:MAfJ`_@!F6wH,<4IwI&  } h}jtvD+ h4];F}W]M|gWzmGqjD4]Qؐ.;*UT'9stܢ O d;"!x"| [j@VauXܖU?X9c*?} 7xy3vGk)whb!3uPA=Y~hL1~u ALL+)d6Zu.ٻ=1!%RmJAt}hyVv=.A[Or@}~K}+kLLb,z@)3j]*!M`~ϬxFV$Ar4MfJCKtbG\ح &[Y8B9UD@8݆5-+ ܉Hz1X82% 9^83э@I%qkPo˟t+o"?K>1 FFEuI\$r {ߎnJ>[3O+#2m&v`1*".h]-W ;}J\ƑצfrtmuWLv!eR *y7O|BE4k>NOOh@>9דSI/2qL_{E8x\bDlbT8 c䴧Ϝf,mbG"a$󻤲rcؠƲK}&<:5Dih}佑u%+ͻlsy@G¶Bc[yP3t>>k#Y((,&di#}F)s92I,E`3ݥEv ?%$E$ ]$y?(BS$`N`;9 j[ӑh -ݘyLl3q{LUP`oHaimE#sjbg7UFtSj&4bJ TFZj;5XQN݆&ph7ծA 6[jF%_ڢ4Ys:کճf./MX 8U@%/%'ҍ7aP70Fn AG vQ ֹ"`5A5upjGNch5g3iCݐ(C>Şk{[q3aǕ?$\#yC._ ߑ@=IZE{O7wI_T{zZMϣߪO6[- ͐3ZT]KqÉ Fee򦝠3\ Ƶz`]еQ h}hB,fxI"u{vߙM(tC@XAd DBOY&Y3Ե aEA5]Xu_}MlԚFD#AvH/Ռ 5fTܘ;L}O_op G=w= 941 -yq"fVvB%~n Q ї_/ Q֍*`އ'ޏ]Z# _mZ39zz NNzhc~ {vdAlbJ=YT> a?SԤUVz Ž)#yeF a٘ރJ9@_].M'RLmVH, ڐ{GNZџ0ign.v=0kٟގ"6<*)DD_el4fdR%nZA]"T,5'Pq@y8'P.kސpS"N:̢P׽1Q׃h'mE UGʡ̍W~PRey(i꠱P_AmZsF \*mÈ-y6rK|xv2u_cE:Hjl lVquC}5/H]if`hCV0 l9Nv8&I*xFcia~pkf/s_wE8&tbH?ɖE%R8$h׳BRqǕ&'A.ca4ZV9KxfS"{m|BZl+8bϓcL|HdOLt$B|_x2#3#Ni=jVh~SVgI+hYzqi3Q{Ʈ=P2mY.fĵ51گ4;ɠόL@%W%PbPk8қ22CrB" 2b'ruRt wq#0KM/wMj(S~ͫ°5u^6lQ 2 ԡTV҂Yvm-fr%~5րѼTJIBYtP,lv׈HN 4;Mی:!כ mdekʼY7ϓ _`μT;%I]k/;wb|p?f56yZfG#K+'NTrMI[0;b ;q%k,;!V&$ ފ `m A!NN;cS=\L(cʧS-.Dl Ր1dq3ii@. la8-[5,5◯W,yy0]VO+ǘ]%{]5ݒnj8Yp.Bڗ╠(2wG&/r6%ӵFيgfAS4WM;{h(Y$ O]񁒕2n]TTHٕ~f/Џ-O-|=\-ЕkNQ`3垨~U*bǣt`աèU20*#?>J凍@_dlNlbz kLFiBP ztfܩ?^P_߳maI(5I<+*Z9g*ZuiZ;Ox6景̕5/AhkaҔJ0܊]]EU:qu`~F޲ ʱt=B`TB|j([2e7L)͝xª1Zp9 Ħ[|Uwg?iDЙ >Š` xhlQVvu fϯ&,g $9x8/߆Whg/|㫃]m F!,FP>`P=:=p֣V{Ft5z8[˪x+.Gix;T/~JI-|:E:>oJ-*ɝT8p1} dEBgOl0 1BN-o#! ǫs+M!R&7$MmxƼd~u/T@rC=?S3R!a2F VMYlYJ@^ʨ!fKϟZB."h) Y8&7*",ǝqeY&]{Gcfb&cJiq:a&;=ALME9: ]U˱m4ͬJ7$PY*S8Cu~_II+XFM6z\o3AygjʡxoDl wRRiz'v*k1"U[BO 3r a7=7^dX3vw}Y/JjcYU)M ,n Q偢 F}L-ʫm+J'@cdPD:(a5w./BEon,wxتd\\@S.A79.$'Qel ~|uØϟIy#I9 8ׯD`73i\2YR g^ٯitT%:0IŒS'N נX ȣmRcZ78V '7GOsmB&1|=a$)K`JPI$78ar^wz1 ebFl\P>V`aǙC.xeD!aPAhK &o/_f L9E}0GBX"FJb)<Kya> E!k1c'2S?݆JcF™];օX `B/Jb)RO%YWb6853>㓿A<+t˟UVҏ%pi^FҟFE- V v jrW9}"AXq%&噽-dRK2 )L9u@ <`$g4ҬD _)p4).z^ Gd@7 'J"5yZarqL>O xmL'|̤[EƝ15B#jET`EɠF<#& à $͆ݣtbvt'[qPҹ 9TTMS5k%%:Q*FRqfnTNK2ofIlUYiOP̗UygCK)ȐKsq_k{:VqL G"1C'wxYNg F=X830u4R0g,~oƓ*ijH>ow B<ķ?9frH)2~ Fiɼ  Fз CWP+G"Qk }j C-\ڟ~Y:aݥX2kj 6#aقU< daT܌yc{DYߣUxEJ%HN# Ǧ.*}cBnS''Lx49^ǽw7":ia)4526r{P hOB9:జF5j4*#8Bcf.w.8"N_i8_&;B"W e 0?d5 ÙBwN@x&"4VӋ#漨]48A[ ۑ`2nH )B[/C7jdٙq^CC]Y-0;2Aσ7E;Q5clf>#PiWPǴzUTlD<04hכ^j@ :TpNxɤk(9WVy-}3Iɇpkͬ['IE{wLKJRGTCBD6+iMQQ]jyk~E?EϒGpWkW"p@bz0 K7y,ao$prEI QD{GƬC QekBGJE,A$+QQ 6t3¨sԨS!u(Kj:«"")#}]W9)/#BInGzUJB[FޕH UnPr>j$&L܉%=Z;:%.v2ЄIOcGUѥA^O18¼6C"󋵻bK n"sxv&8Xus/" vt<`n<" 7JP%Ījp~NeEDZT3R{v5[AXQ2Hdpƃ=qchw' !oC&dM5߽ms$~`˙EULg v:~%ڷ(bjhMPZ :5yhؚ s6>%9}A-BXe_^ 4jl\ܹi\l%uϫ?oX-PJzP\j*\%%e.Bnm$)Y^c3E߆ PQDclyvJ ov@ c#:o`tx\g 2I}/ :FL@&_siƁqb`߇|2*Sɹs҂{(Px&H{)'ʱōA ;VB<+Q1nS9GepDt 䀏J ~j6f3zx#o?XFX?@6@=SXJ O>a}Jy|('w>F;zDT -{)mvM(SS| Mrh|(IJsJC*FSƭ V%fSVZX* !h_^Y&Ql:~L*|zvi:QI1NG b$ddrr31±ab@RY9ATg_Nm+k Fƞ3ce!ŜCdWoI0BL`k oBmsS1GNۖp1D RQFK^z7gQ@k$Ɛ8ݾrTL>0>ORuХ+qlDZ#ﴊ{Kl&|qnŐ4Þq00Ff!tG˪d|M'R~*:7% Hu=QD 2uh\"qVIZ-H=7qDc: C?뇹cGCW&AփK桖i;kk/xݬ巙I89 GwLX8hGِG'4C!˨}܌}>hC9!4'qV_ȵ!+4yHUTH\|c65׹$b'lT꿭^^AEDmD{^i(X.:rcXwyGK&0xb҆jRS c11B[dFzk:6Bp6qW0$Ӑ `w^*Ta1/8T}Alڸ [f?FG%rZ7Iil|uB d}Jw%U} gOUDbFNbAٓ&ڗ+EN2q+xܶ>+YX\L'[p/yٺ|Bod8YO39ffC\W?=tl:uNʾ"lhbTORkԝ,$U}C~U4=kqƨQ=%J s/0"AKMahuFaTbP.dX 2kz?n8ch"`q qaHWi\a(j@ k1TrBTwl%_YQ`^), =pwH~h3TpME.f_};#W91!M}K/Y+*yotH=r@^|2ƅWȅ_Q!ZzL5@|:!P$hԴCλg16359FT5>=+@xPsQf:0<ߖÞ gOynԚ\;&laan %+wDna6hx8r20u 2/c`.4v0/4rnEI􇊸y%ZNX97@ _I#`yY Q 4 ΃(Q)uTL6؃ݐr#1Q{ &EfUi i d=-確g0tk#2reX猜86|gt4(i>݉_\E0{={iDz`= juWٚe4eT&7ŦUό\M7oD?Sqw(>,)%~߿?v?/Df ^qY&ʛ|F,6Uu 6űrDܐ_8lIJi؇1A,.7>dDOM H ɜڳ8_)ЃSL;1f<4-&7eg5j%Z ڄ~%#Bv ](sNBA?PΚX7Z=\U^g5^D:-o͉vkD i'0I}PQ"V<գl@3`ƴ+I&Yo,o e(|eq՞+JoY3 {*Fn#u۴2Owګb4^ zH%LJyNE %"o@ e G_5ËAW}@Q{Ҁ#}k ,gqXTdLUic7ݹ%@́y}zy$ڨq7*;!J#Nx<_BoaCra3`渝0]Gt0U@ q q~V5C,^MCg-H;IÀ:6tGB}DH6[R@ZD+ˇ./uD,/Tp>bަtZ- PI`dt">Bq1M:۵3k'M2U6$ѐYhtX(~?kM1e>W'atFzv+h;H^:rKmqYz!1c,-ʕF4i-ibU,ukXk]J]YA鑢 ͘ "%ӽS+H$$G$!crOfҋkw9&u#Hy2P/Bj7)er']fMVFh3+n5=#rTpPA0& 2-| Fj/lL惻DH>徎C^r&f7| ") ;ҁd‚X%! |7:s ܂ r 0(b@lV:aElGY2yq ;V]/UsiF(vG zE'CFZowF2+ҳw6@{5\@Xw:G5ܥmIFu&mޕ%r{2Nh1kB},HhE]._CS,wuf-]}(({yUHlT@qŃtq핾c`I-a$l2kn9ZdE !]zY`"rՁ'e%u#Yxٷ pbi0F|qguo:k%^({[9>&VƏ^pn1 dQ c@;1l16Ў @Ꙭ҅^'{XYćIϜ52*v7C_pQDuKp@_>׫A&_drX~ ˱L˄i\B~&r'FsҀv)ʌо42@se}cIHDbz/_0'خ ى9sl:H-@")Pt򼦃ĽOyqRT"e%~8G@ xp0}Hesrѳ#aV Nni,JDٯRzjǤ0ͪ6ɰ+yA0!fwY*8$բ0۠5hҲE:ܽcl ^[3ҔhҝӎM9UA7Eh~$˶~(4)F\48{>hmBo:l Q wp >Od]Fjm7XY;j(υd%lr#\,N .s?6,a/Zȝ1zJ+UCZ@EXLլ!USӍ<Qn@354qfn4c]aP)!0eеnbD&A^ȰvȲ0lUWaӟcʃX:!7Vn Tُq):L=y}gmEa]5` \v/U|Svb_L9 )BoȾ>8(XJ zPOZьMP: "b`hHeda,P(E3-1[i`W-MN ݗ.(BRZ;m.^D.G6YxJށDb念s L67ޟ(}&|=4.O$zhAIv |& q>TTZZj'QBnsٛnn6fQQaMoVD.a_*]gk`eV7sYć hB*jdVr3߮g/%3]4Ҭ(GDG]]Ίsg F%Tu\sXq1`0@DDyù-)Y5g%V'ٜVBӮo8[]GH'CC#]k5+,}5/,8yDmńirEq1?)nqPE_8yA6~CYnXSR>kʫ״b;{a*XM' eld*d6Ab<@}75+QTe9NQE#bQ9seU=+P`i={MOhsa-lPM 5U-sDN+Y0 4u@T%RaU @t!rմ>׼Y{1KK_mB[P-G[e990UMdCyv8hϋ KcHb)/R{[Yb-xb:6Ӱl-V>EJ3d ` IѫsN½PК]! 2<ra5 AHmⲛ5eSݽ=C> iG~녑05W,]Y+Ҋ4#*+\dlSZ6vOXbJn߷`Ye@䨶}b#ouBcAD"g]Я0# 1 'w9l4 d WNy$+D~N>:y #DŽUɖ0 #y LĖV-7__Zd/VPkfnJjV9qG~_Ӳ@<۰C fFJ!Q hԬc޶';stt:(0Y{0Ϳ}Qq3gpɉ"R4tWQZnЀz?6ٝGnxPa4]2~Kvgq@Ii%_jZg(мU{}NK|U dڦ01Jew4nKRvU{<Ņ/MWT‡GXT2 zEi~;%(w)ۻw_ 7[6)1ʂ3+'-k=K{[ {8|gׁM͹U[%=] 2S<4'okDqC@ j Đv4 ^j 4&uV^3/uuP# _l@a6^P5nVw*%.=ø* ^W8gg Y9!61 ! %Kjm}[&Wz8 A6YG9X4-: ~(~*W^Sl'$z=A!ë)W``"Q6uÔؕv(bhؐҕ(UvW$]DDMBɯFgW Ҟd#%-넋Rނ4*1 (aBxm1q┩g({;Vs6/w$ q~kEM!ֹϵS*I?6>ܢxHZ&q{:s đ$jpTTݿ&vOh$gL Q&)TC#r6 D芐5s \>u}sZ{G-&qThx*+})#l .B@K\>2tNK90q TV_4^UY?ʝ73 9qXO' M_㹗Wrp$lf]=-bI-'I Ǎӈo'mЍXqAw2MwbӘc]jNmn@q0|4kX= (AHM7E':첮ď~Gv!i\r Ȯ@c}9UD4eWs'O(4 ,0i?JYOԏ023WU#a)\ˈw!Aw,Pl*6tPbB_EUVhՊIJ8| bQoTaz٫ہe,o:祢D$s\dFEiTcGcɑ9@@M> A4h<̍6Dm^]s­L#RJE+a%k_S ?۩:mbS˹(B.xˣ5٬+#{x34)っy4]ɡ)((2X1/c[54@BQlK?oC( {hX8fw1AqIDrY95NF {l̙7SS.FailT,5;<,“֘pEJ3UsN-X/My.*.Ѳ%Ig(jjvd5s7r_HNf5zqz z-;Kp_ڝpehVlUS;`Gbh[R>1ȕaha-GaPꀆNZbi4G( ׊>Sv!)?eK${wG~հA#DEq7)dEs$T#q9-Yy=I!$"o(1:Mo{J؋xxC{p,X`S7-_V~j<+ 6=f;ʔg%z9~+`-^Rg3?4ذm9~29 8z?fEF(r+⚃*2^XWJEo.! `vw)?  a{Iq6 K5/EkQ)vQ5 [e]v3OBD&ό!EX52Fy&-f3[}U=%0SVmd7ҁ> eB>-kSsbb*/s2;:.b=rb`wVy Hʞo+,[/<>}UM ;hc}JGܪK4I12;wuaõ㮝m|zG"*R|eyV}Z-3'>IRlnνh;rz %ZkLXVe)~9 Eѭ >Λq}Nk >C69e:QZ!,y8Q @b׌'m,[Gxwr͋+]ݘg:xEb u`1(K ߣ7/>|2X8B[(p#ku5/~@ Ԇ95G| ne ͂0nϪ'}:\67AӜQ7[;Bu`T:4[ 8QANGf44эn.ŗ;%qRFTgcJHrXd9k,U>ekCܩ`}J߻;+iu5v]@#7:~sz*>2jޝ'5&P+Nxj+o T#(ɰot5-}[v IGb)2V=Ȑ!4:ޡ՜N+PVpRk o92?CceR{m7*Hp1c *׈9Fԝn6i jCXheeκ4"2sz2!T͸=HO&{A.V}Ig3̅ˇ wdQ|^rnM`Hsр~I吽z"cq?Qxi6sl{B"bJD k-qi;Z{PrNoC22FrhP3)~]du!-MZlf.lz#%^Ω݋SrļLmuC5`K@\Ÿ KKİEHQ-#Te8GuLl"?Q.u>! .iWeJZ U˛&xp8Ip |z?^A@9N0SثlAW6-Pq%+U?V;mKPX|-0"xY^V= JX])aPj{Q&L]W%DcZY,.KYcg7SL_d9v<#A*]0QC/\kVJ{rAh_1 "nڗ/ޠQ~P2bGu~&k҇/; 1U0mh'T 1T>1)!?{LF9fpF_eW^iXʠ/VspҀ2¸ky>d%)I PxziQX1kDI$hGSOu,6}"-\*2}&,a%!ԡɿ#Qg8BT)BrCiȚʏ2Z j|crz^\{(0@^(XFԘ ` #NvP7vѪgRhnAD6tDz6ub{1.UZR \м;(Z#iO(""Ue-Q! ,xwp71B'IċbZ q@&횊Tzy$s8:ک9/揺|X )Q]Ή~xFuK`AR־^5x2UE,Y*,+?܉X_/ WBC5aP^@UY)3ZX+bmצڇc Uo#Vn-WJQU[hF%сa"D $_eChICib{~ (/lΥݛa7CJ{Uu ɎL '= @F EのNB<U%%VKJ)DŽB-U\~6i sD&'h BЖA\"bF p֏[ -(Bә0/&M#"7k6M:7ƽMLZısɬs '¢*wW8A;ofcZY&"˖s Me) !Ah + :>1`0VMg]$TBcX:fHHqmdx"<7EދVDAu/pߒ~tk+`2y{*Mw6M'KSviȍPJh`@1[CVDaFڈXrS2t+Hv^BΜZSᷝ;Vs;ZOh0wQ42N?QfTWz$@Ha/gٳ~.XWU}p͓78$0r2BA7 |ze+a}GгO52EZVO3nDT0u/8gi20"A;463=|(%0M6*[G; $w!mٓHOY;^L'MҦ_*ހGIEǔsdŴϓ{tIa–b{sß+<4>L锖Fs0ʰQmb`3?p)<]#Ki",XfS2>[՟Rކ#fYEQ_قUm]NḄ vWz劶P2/I&#eXLΖ.JLc2MX@z2SHYLu۩.bl`'q*-hHY*_(Rp᧩DHH8>/5jI;N&U[L+wGK˾ƌ xNSKҹu2Wa׵69EA3Byl#N }!1}u0l:~'Ke b0LM (dz\߀n"]*U'{b%ɂfX 75{(jW1Hvɧ%߯cr`a" yb,i+,t Q JhmX3^JuɂGB7~|@o:9UM^ɂ%۱SGcCoQں΂!OyCbvWfwߑY}4PIC식0/@WhS+IR^+ p*rMQ{uRnߟkcCaK d2.x'|s(JRPYTu`Yؔ.;~P>Ig~~ՙ{jfQ( }[04G/T=0}2*@TY1Kp#Ed-.OgEc7dyöj O \a ӈB: 604] ymx6ދ}t 'K+5[/ő80 UF\ Y}2\ WITZ AsN5+u9VPV~?uF|K tFQb7c D>X zVL|hNp󕇑sp\^^SdatbbKx4`(iÊ*4HQeJFR.&"+P"uUDWHq ބ8ץ*`LCC#T;UCM/!!ū^9hgHVBVM.5뢨@(?+kR#2>UUش7O u%j1mpTQ:aA_ʼnώɵ$~ۚsjwtX; pX20Dv7ɴԮ尰&CF:?h|u zhp՗-5#Ǡ]ɗB5v(w hhI@uW⁂.HZkrK8LiHgF 73N{1NTbFϔ;'fOx0{#SO8@+ ua8Vܪn.@AZki8Qd:#\5NAQW y"x !kz= .I'٦XY!:RB*h_ΓT 5檇"':8'u_=s'ه>>N1 Kg;CV5eD >IPHG+ط EOݵjIp9)o%6IdIj6@ aJIi6Tᷰ(f d0h Q6eçac)!k[HS&0#6y$t\rn94O7-\xC֊ -Na ؓ q\"`s#:N~PV *}Yc6窷ُ-3WU{ȒΟI) K Z hzR#uqIeow:"D%AR|‰[~'lz*_5u/] pY;T {V6ݽJ_tQ -%tB'd t(*S+`Zv,C0&HPf Kn38k2¥Q37qa@*dtfDkbgR!VE]ҭ$ ^yaDay2vgiI ĂYASO|Mt j}m_lO:ut&qLHByr*d"߁DĤYQ߹dA&٥!({H,De뙑M>rXW}^蓍xD tF,m G8Og?ݥe#O0hCG.<1tёcsyAֱ$x #PQpg0k0EnPt˘ iNXXtbhJ{j~~p٤T}&阄y}[L;Z guk!(r["hFwL> ,C tތ!dߗ:*HǸ#sC_xa\EЮ_PnN~Aua.e C.%fѓG}Nk\;LJgKl^NPΒts&̄haH<!, PC>SxN#cC횯7{+T˶?ò>Rs zJR3?ɿ!ctڬʍFS%-cbz %-#^T% ֬^E9UZO:U7#wvבd+Xy Ǭ "%d]<"Ÿ(sz8ÆR/Lܱϟ".DZ?h{deAoQ +3$d EzN=0mU"lM xeY<5U;VgshFRQЛ&cn9< +\v2$!IQ/&l‘ynQиel-3KS̗?ŏHEWPnKА,-X@J#J ޠ\Vfxϧ2jOPv$ߎKw:4KM3h棥j=3[/`vc+\Z2ۘD#mevª"6Ӌ 8{3'3}(.B#wkMEVOH O(DO8#u緯-&' \ P! \y%lF/F!΅0X5A6,ϥ=Z1m~J̻;]@q X_~[|%~w&]йqrKy6!b4t0bܺv 9cv\űɃQadlD,C<('>k_B2 i0@vpe>DkD=lY$+5RJKmytCmvr"%̢[ᗦ45׼?y˜8 et%|ﲈPF[DƇfش.Țv ά :`""iSi< ( GH'׌X2L*kbmϰ-D6%hQϵ].rN O<4erH q|Vn utS6C#zp40ON_5CЍhs==x^8W 67y%/{Dv g燡o8<-,=b/vV6k(zbݡb4|?RChpՀY*DeEQcV>|FA P`/j\?;ݚ|ltn86ٖ7?u8 a%9ïK@f5Щy !GCWpvh t2~U,_|pSAgD֘vI\US>9w` PɷuQ<{;l#"г #eMZ򴽠 Ig*`xP]dA(.L.lYD=X ڐl4a*g|6jKI9ƽ!AMFJtg}Nc՘ {^pK(("'xc)}Om"Q;CA4bÖ v_ %L :-z}ŴdA٪NƊ1"G?8~7HU|!vʢZfbgM1ޒG]c3a&>ntq.Mr+F"aW|&qs V&?r- $d3Jk{Y_1xlctQB)lԌ˪ܝL}t.;`B= I՛3ε4-#@$_'++騿{2#~D}zg$L[^ק_E]M*C5/R! ?E;0#f-j砽q*x5_KO$bkQcfbjq!*M,AOl$yPKB -D֌f #I1''mw [ ~Rnʂbo& `HQ%0Xu(A OG\zp3 (u>K7F~F?LPPnё2|(~ȿi3>, ˲,wҼ$C8B!G.@pt `y:']WoT譸<UJ5/V-^B1_jǘ鬃_pnv_.|j2p3l\hq1\aNw htՉs ֵA‚}r3|7/h;#]kK"or㺎L3ԮMSXI>4me)plH.`Iز.uE1Y*,#Ro?sb ֤;g r&~~A2#|GE1cxF7-2 =B@ riT>t5k|+78L޶\r؍n9gyԿ6GM*vK%5h ֔L3 6eh-`s:q>lgfJ8Д?X4{ᕊ0ng*܊E쌘kW jXz~+ z}R(=n0r_ juoCt[ᨧmHRZNM "U""+Vϓٴ+`8Off3,L/O)|xq|FQ6'A a ,}YS';id)z]X3[q=D<+~ s 3QI{qÙ~Ak\֤=rW> Q9@Bor㌫cګ_"50]I%f5o -&^?PJ" ~&kxODdQ o_o_B|qGY}ŨhowrĞ.܏ex֌јn5K7ޅDE׊|YHO!vaJ)?iy"^N%&}fA>5w{vmmz'i ck8oXfʤggtk>fr*3|D\kp_'G혻h vX2[[5Hx{gt2{**# \=N&ՠXKEbmA6ډNؒ9SuO=I/Im~Zގ}|P@@ 7ʣ jf2w55_=L.^2T(^Nte}U#BuOyZ E6ݘ 9yMRHgw96.^xm?[ F&-5Ovg"$(/<.B%蛰1^:Z6{&!ΆފV]pW;,:Ԯ*rRZ>5}RW(J2Im6k]27, i{y1iL.' U[($败8?(9~ag`%3QM|'˸Am.0vs$=(*3Ó5(f舩L )Y. .NrKPo'r4H̩qԧV|x ľP.G$߽KҎ<\ mNFp|LcMwOV8\64 cx._ "DyТ8JHE٪g2,ZzFYc >M?cU=IéD!u[$%M>Loo¤Յ1|#I\QKK!Wi -)XQ21`0USQ9GѴ!B\$BKkUgGT?@QpxE\Øl <E&с ĪP"VC9E1|PcZ7OrmE h7oHOR˨M3Sz4'CB?*)^cGJYXV)r ひ L'XM.iR:^H@ 4JVc@,+^ .R2uO;rPl]=(FhXH4@ڔ5Ko>qbveES@(X:f#oo~BaC-rY!<}KEB]#t./R 肪c)[_N2@ka %&p5kXhG'PeX3I]78MܛƲq;mDIqF5[xt+p-qApj2Y ޯMa+r f8*HM\Un/^Jr> Q>_I]G_to)s 0j)nlhKpԅ5#ZB-fc斡@S`4%魿288a(Y%&5GW)dA5/\*'shHU=wkJ'u,Jp J.u}z&U1OVh#i# p&|#!70 8@٩}YE\-gh(ďb˓hr2ibiHEVTҶhy>I!r:8{5'8[UHra05h!TeF dJmF V rAݛ3~XaM}yc @+҉NƎ4 v'pт8WoUb D[ ߃A q*%4ΏƆqNlt_><dG.] f|ذn\/-sWZ|ղ (ɀ<Β'`wPjs.W9~̷ An+l/.ipF\]Dڎ:xq֭=d|J?p<[S7:ՊyV q#\۳YleКʹ;)&/3PRŏlhYu|_ieC(R؂}0dS m>fJ[N+06/Xge:n^_LU aO4OT57,%g%`?CX~7q4933g\SpIVZS"؜!`9)am}u{F0 ;lTX;cdo"o: Goe<<:c^)6)<0Sj>!&wPcF\Sb\ c:o(FVdP E\k"s\5K%vj\wԐ%t^=QfMW%)Sd~Y o<3"`]8 Byّ5r7[oq23Ž.|퇌}š9߸7Q#^p'<yhVESАb Z|Y #ens. G}XmH-v&3FzOn4P;"IxļL>ZrS$ʽcO_Gt3ڌ]niN|l =4`'~d1FB6Y (0ld}"T9OOe(I\{k` 8}!(Z,d) s+0vR7@q9+m5ռ޴8}Ăy/>O ˃unbB'*lGu&%TAwI ,Bp^A1De,ՂUO 4/1"5.ָثaCH[q6iETInKt!&U?9x~چ/]σYQ`_{nqe m|/ YCZk 9o(Uj}G 6﵉,-$J"V8tp_mϚ|"u3I Q'YTz^b~NdFMXw†y{ ؑ45RݔLE9Y1kJ`W^+l: ,0+u/MjbL'geZG9i^+A'˫%qçlBǪ>ʮ(CbFl+Ͳ`sQHw@X-& -h vh{dNO]Af/̏88Å#X )4[.ϭjE@Fw֜ja<ݖR]'4ngjL|+*fmVI ]W՚k}956@;]f7˕Zjbc_9ąٱn\T'Jz>NhxyɄ4I u|ѥi0 }wL8fd6|R&~)*Z3S&_CSa()rqpbPo)ǿkScSIlg.Ϊ˃!F:Э5%˅EQGO 39)Imn:ʼVڵ}i`7M֫19) r7^Jgs6j~U˞miԯ"Ed~^!%g 1>?W}9(I-kP C]gZFOCѢ=U?!&x[AGJR 1`tH`2J} (2W)8ͨ`%mJ֦NF ~fT%鋁LX#'J G*NkGAgzsZG?Eniz$ҤOgS4dBzMJH>"fk=XkrBg y(Ymf/hф"ӥYwZTpb o5\oUǭJT-<=dT"IXdkͧa¼U5xIj%ZPR7KN aVOߴ;\-? ]ҥFWK4##7zB\@&ɔF.@="| qr!A fAOӶޛsati,6V 7%qm=c8 !߉< ~F7C6*$4_jT02jƌD݈tJ|0惥saC3a׮_- {rDFH]9C#kM',/Pg;A4iI4>V|ŜS nQN KBF,Pgs#cW[&Ppb[ďlDJ*s!X˖C;j׵ܛ$1"|źdL\=xwv>r?~FRg&(mﰸъo.kGoy8hݙgy>7-֨SwXn!F`r7?FC#q+D'BmS!Y8eʨeu6<^vǑICY4WOɮd^Z}cÍ:IO˹׈"tY# HϴI Wky'_ٯ-W)shr_zK%^[˜0%<< -ኒ,,Q?oiF;K>d#7V7 7MYm$&@sS$Ywa{AWd,#lgn^ L2~MӮ CLz15”{|\UBsv^r L՛d n/ZYVk :šst!bݿub`\Iu~`RK֘.k&c1@0nml-ݯT5"ع.֧2O72s^>9e8tDQ}tr}ǻZE\g PԄ6KaԼѣd TRx{N$At%&i'T[ H7$xpO;Cj:Z\v6ntxzud"Fk[OBJ/3LNR-ǰ^rP Uz6)5@<ñgYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGhfGV^ BCúpJ:i#y1/nĔcAefiHJVϜGG]fǨzUS"F@.GEeCmw߄8hql}n9_c  Ooaw2Kʻ)\Z͑B j}aF6KT7A9&O&HA qʸWHs a{!H:s3]ڋ;c/ ( "] wLFZ~!͡lj8l~ +A/rP=a@OVLajܸ9bJsWRϡ賮:mPP>wHe+zcIc;d'sX7<)Kຣq @=E%eP铮y?yH8aakYP*=xWgmG9j K)ؑ$OAk_^q_b6".deb z郧R|'IRm-vځyF(o1Kbl컬9woTKTܡmNtN^`8n-1ta&!uAM92ToSBk3:9G9Gfs?2%^P `n[,Ko$eJ˴kV!vK3Kk/ͥ8ǂȜ`YDCcs3_S.AWAo |̯.X*&b!Cm9QA!O.m]"PUX^ %|P2TDXwvĪ1l z_`zgdC{tbIQ4.G}ܺ{=/-u.1Hu"-hWECX)q7\<-]֭dfIc*i5>TPF ;d! Xd]7{ց]`=PyL j'k*C3+DS%YS;ޣ\.w?T!,D!"A8o^@ ^,cd"4%EVܖΜḐ#˃|A0fs0a ?2V}A.Ul کE{ X!BTQdy}HD4WIY@ꏸM[D9[ G7ǚQ8W3ۯe!8yw)G.x0>]v(?@*LhLy8U_sg:I*3JDO1aHOIAV7St_+B}Abej)b)U3 㮅%7Z0{9>9aY\'S,qz8hcdr]ꯉzFw3|?MV|-o+VL ȕ7bl2a V@equ`0u\ޙnk]7b/b;VFv_ۨ)Itӑ7<,#cj=ç-TF)#LTFY<nL nomJri짗y۹T z]|fl"rge9>h xra?,hj ޕ(K7?UTy:+HIcpŨ?A.?u]Vί 4tN^F|%~ök|]a/č8c}I1CJ\ 8E/|:N-nS_P5XfWC/fGbyZ 1\n$ d@!d{KLNwElrڏ gFKAKz !R潓\Ak^3*ەWS3N U#Uv$1[8t=K(f3+(R'A$b;}ٽJht`UbZ.x2Cb7d퀙 d3~^U‚ueEcLNiԑ6>QUߛ_-bܵ-\CX{]Dp Y%쉄L69ny'ZEћD$@yuiypqG9VU.nigqQPg;h矇3!~YE2whcם $,S[4eINAAGrx8X?FFq>u1˩9{ Q @r |)SۈEQek@׏ !ʊg7Յ1O}'aN:˹xns`KzfJJmѵ~\q`d=6` ؜+. rv LjXyjq}h{#9lL 5#?F;:h[5_#oU\&jVJuąF4HK[" ٽJ/qqǖs @l-~>X 2"eu{;(p;o%d~eld/ C3泂+5 -^\YZn-bc[=aḋA$5†]TTƠc[rW఺p! r\e՛WRuP"\ d'xNG8ɠNb00XH T U)[]Ȁ-[4[>^7Zh1XwpW]-̔fȏ,ql9E}2_iB8ERDFv)Jۉ#WU.2%n;A9n񮮀KN`Q4nFQp Cj<_j1.N#xwC-nл*JS; ҃ΐJUh/PxJ,]kӉ4Ӿ/ ze|SvfHѿQUk%ҵ<{T[`㠽 q M++@ b\0/5b:5:XhW<\FhDgX͊m>6zJW 'J6M !N΁ v3G% n׺5@N_+sBu_rG@9SQ*j wKǶdtS9:qLNnoWϲbPQgy( \g0@ƌSÚA;GCb#lLQr=lYV\؀ \ tKO>T䵘` +7sFiz49(^Tk.$NaW}`BD 2s;Cm0=yF! t|fe+se%]Ĥ1qUl&m̏v>Yy`fy߅e!GGܜ@i`/nŶ?MDugU• b4[fʔε?O$Vo:2D眍4O[bH`ŞK5ѴCD RUTہx ͥF.*`M斵u3jst  J \km5kI -WɃMH% HvrXFQd {2BcM^=9vBHze}VرbU@)UMe%W O4"I"+4=b !~mP+=@ {XsV~e))gK Ps5ɼ6_tbit T>ЦvKȪv_RV"YD]./iv#%GyF #vq!,4M7bhov>"; a$B(}Lx pݪQcowb4ԓ"V|H)-3gqbgz喇L-_:Dw-ăB"9wNwܐsLgrj v-$'É^1eb-SSa[aUPoA~;l,³\=_c8Y9XQu]TPh10^ C%vF&\[l9J̽ Eε5-ʬ;_Z]i/XS$TU|9n9@ \,;=88P8|&?2F-fYq\ՔsumѱkT+n[zp3)1ލFW DI}'iJ冊kH݌ rVU{a~!H}b7Gvp`mL\s qc0g1LZ !]1Py\$UBpS>aB,0B7޿A9dNu/(azb.ُ2hIe(Dy*/a1;HI"ڋ\}QaD_r_VPAWZA$ CW2㰿2C!R/?H6*]mHޮj8-~xS 0?՛.9D(|YId;B*!34xX:Bɿ \[~!cnμ\9@_1 zZqϠ4#'.ԡ?]mP4.p3|+i/}C1:G\1`tWz)F2IAv71Px@=3H3xG[*%o.(\ȉ8]5H-|eC7i*PNS#5s~r?˹/H|Q#@ YnK )dY}3@T{}zၣ1gBIK3+=52#4A^9aM&` X&@^G{y3;Jk]TxA%d'VW03A.8KIY Yc͉5~m}Z>\>lb<wr[1r0HL+߷d?˯2wd4\,q-8BطbO$ǫk_@iY~GJ4ߞjz5: (sQg叶̃˂y)H{%"Rt}lU!*L!Pn0*kqJuO{ҧ{?>~aNY G %#:MߐGTԄ豘7SbW{UGeMEHB֡$Ҕ.}؇7}dGF:Ǿ@ 0p!5Ew4|:80ĬM^oـ$]8G]&Z]Mۉka D-Ƕ'J&'' "yP\@|* so1jFNU%TК?Ж {T衎Cv!MD4v{n.8]ه^ Psؠ~jPN5f+sWW&y ]/QSc׾*ELY_ CЗ9I&"_593D }|V5,\ ,FLJ_Oʑ J?Ֆ5;0|%_}(DK~6.s?U+ck i6^[Zҡ'>|{XGHGpz玿|lhMՊT:۷c#kCQkn:O8eEJ? =@5[sܡ|_u&.Cr 8GF}8\ۄ2F28 m\^F|6fz䕭i%V#+tDXWf6x2GCBb)lrs_0O cBNv%%Jv3p$I3O*yb;#I]5+=S*~՛R eɭ}v5/_ p 0*6S*;T(=|9>k]/&E=1P:m e⬂7 u|5~ҼESE4 'iqɺn1naKm8+4fZa(4ǦL : !D)ᴽ,^AZVHɁѺA4\2!ZXHiS,T#n%8PTK7I~ WAAI mTC< >Ы _FwgX#[`Hj3=F"\{,rekav`>엷KgYZ4fcb1be2070efa3eacda6f46fe943f2da81451e79aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535