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   ==l$l ] HOL-Quickcheck_Benchmark:threads=6elapsed=306.563cpu=1483.068gc=122.868factor=4.847zXZִF! .]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*_o7>m0}K  a5'qSsP56x\%%\o gKSB\gٶΓ߭Eٗ;2VdS 2җE19"54U6D&4>/_ u6]sG֨> ޽λ>Xf3 tdbSk^D[ED0S=a3bxX\Y9읊% ~ͨ`q70^mz"[ileWhk{WFwxKs]'/= t BJR~ .MjHoU7)ȵ.v:(u*zkxB~6+@7UgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0ΈvJI1Onj/{ !. 2j%n)SEbޚĜ&"Fz 98Y[ [v 81?r v wF@gd AL=6ǢgYZ7zXZִF! *p]ŗXi%G%[#x-đGw'qJ'=E;YL m7 XxDt|gMW/0jLB]>Ÿ1Y }L0B@+3.Shߢt% ƜpdN ;>_'`53X}[SU"{G"ekȉYrG#d@hxB1D!X&SQ $>rxcb| 6zS`Ɉ(y}Q ;9@䭘KoX)ŋM8@|ǔIPHHD/@UNF#(Mu!ĥaSUjYӿ6\)2p1<2&WYUTW]ZgpACYDOtXqs!Snvʚw ׇzި׏"Ӯ;vjnyKm%tnK4zO = HOL-Quickcheck_Benchmark  *~ۥ +ÍЧO +{H"Cel5U_EKVyS}3,0< r(ߢ#YJhUׇU՛<ٲ!9p~?ɷ L#+Ƀ@QakXЪ ZMI1&^"$7^>"fJ~xx8.Q{/:zVvNnaἍɼaeĆ5J(pfV`4qԄ8pl湢MϏ_`G$~3獽Ž҄ rb04n(9ڊ7P瞅$C #g;h#'Ú>O @GaI[k#bgѥ]_i(GM ^n5{h) k@S\^xo$oǰʲ&\Y+F'6p*Q>k ̌pfѿ{J`NdX482E$-Xu$ mJMPl4]Hab}D-27/y!>ϩ[[mZ!;" VV63JDV=/맓.eIjBmcl :hA8R!t-Eq9rUBTNRzG+oLPpE {94 y$:J=e%+ᠭ.@_3ep:ǣ j9OќX\Q Rz]=|lF 8{ԓ|lb\uEL-RZv:? R=BlV& B´4{/ŽJ0o:}ܠNI?pO2t\=6ndH+= 3GyR_M]hv@!k)*u'}C_h.ѺgedӉ@rE~EvP,rI=y‡0)' #)&s,xǘI2"t:Qsx48.%WM ^48$ܝ#zd ExEhݝi НB+3'$"TEpZEWsxbi 3'G՛f>, _;AsgPuZ-SWG;0g300C)[ sS,Agݙ&X ?ۂRIL9 ǂn::b:UɆo[Z(x0iϣ*(GB3 ^/]q'c(s@ae*PX)aկGԗоoxOL*>A *C. !ݡ~x/$@"$/|2dJ)Ws]=ܧ,#?%lރǯ/͝N,X{żŃ6:ŖePUղ #еR3 M,FF(IdJ~fG\[\7WL eɑzv_􋓽 ;n܅kNR\1DK&SM@j&ӑ4NпG;>,g_VX4N) IPBD(uDu? MRriMe}{":cFƖ`#9F8[ }zT^"0f"YwR-T x; ֡qRRTڮPhT"s/^JBe\H[[<+DWqt *+lO.u/͜G5mAڞoX]yY#Asy}]I`i994M2fU$nIIoiiZ]׽x9%¸rIv v{UŦ2d@l}.SM7; F}(E [[$",p =xs }u&dk6rVu5%,hZfU1gs^/WRX+ ͸H޲xG.tLr^رXkA8GAǾM;Pݶhb$4K^e$_*l,iAxv֬30FWU*0Rg#zY g_g1CIׂ$oɞ^%v =VTW狃p9HXy= ӈ5jqp:UYazS.ђҔ!HwV AFSW r'H|Glm{FxhTs2%m;|+7#)* 4Pc;] ?0OgQbD4FRՐD-ER='W<Q U =S$&aɮ=/s$Y殠eURڜ[d'b 8?I`7t8-\Oc:4alNMxUCwVR$DKZ" -J& HW`K#^)&n?bny+vug*)Jhe xo`ǎHo)rRj+.h/BpxnݹtMr cf/=yu+I uRʇļ/*+~ ]E|[؏'M8)$jV&:Ai ϩ o*FdpJ[ jx92A7:u|YHn< @ QhpM҆g!vd),9^lzf'8B[-, ʰ]~(&v9V&~3bܕ;BaUP&p#\ÜX%=ڎ#q/e<7~HG!}Ϙ&iAkkkDPc}O[dn(I<5j5K箙`n(Ʉ={Q 7k(6 ~2*ZUZ$Jo[G]A1fM9w/l 1>D%(͘eY[YV AZ#fRD&.1' =;8,hDd@l]ZQڽHɪvԷ`[ 7 Fΐ? 3E&G@Y|IWӖtC۱:I"w&tX(єAfbb[y}IS@UA#ïP&nBV[*Zkɒ!t5ˇA>Ս4yV0Ԙ~pS<жDNة MrN^Ųf-4)F6\3|S(Պ6d<{iS7,# IΕN*E]gYV&GMR\>"2̯YI8^? oPI&nM؋;I|- Q@L=&C"{bKb%Eq-KiJ nr,A7}gQD*^poTQxvP[e G`x++Ӹ77/^ fa򫬞?fG _ RU> ]_ɡkWUl/ \Ԍ{ʶn6yXm OA;QȮɴ&q)^ݸdfN}Pڃ4;[Rpye}((e dP#> "@\O_T<riYMI@%83>yS޶%x2b2Mc0bk o"IB5X뺠>--ڔU{C/d, y>7+oR\8$ B2G{t( FrٔCc߸[bC+1c]TSqsPYCPOL{ƹCnqܝ#YؿiP彗ٱQ9M@jbzQ[Wx~-5kVO MX)<A֢|'6iVBtw?bp쉇0)ZOCi5õ=yYܥp(jrAQ̭KڋSq;Ou7AuqM)9 >1،;>V/>V0R}@ݺhH.XG᏷@.5(|dф_pbN,?gF`J7=?tŴ9*u(V8L-2B /P/VJ;md1 ub6 aI8jY@-Ͼ9M .Vx(33@4ܝ{RYI;ĀtABMzVyGˑSh_D֪!%#EKe b=Gֲe+"Q<?u9ܾ]AV2DMÊw (r\#c :ոܧم%{N?8jNcL"±$uYYO#1),J;0GI6Hx+M}Z }ӧ7RwɱuZxERM^Y7WzgJV{A/z[;+DYcufWmktC n ",?+In?5fw)F}2nr@#Ot 9'\`譒3iS^m9s S9[g}GB<¥nթ=T5aY Rzk|x^4d@~ dw-3O-8L0¸H )@d:{@ȣB $z8FaBҡ,LX~n+JRTx9pV\׻DH☆b\@qк!&0ګ6.c`#x_WY׭ STG*Ӌ´MHQD"0 sB3:B+M*C#TQ mW6Ŋh^mA~WA1xTLu%Een*h}>KmLx2W"1]'ZyI՞ZvcPDa02GdYv_FHz5Heldnv_?k ;!aXEgv!r  cɥJpn%c`b>볞$|K4x _\Ȩ';^lb!8 _v3V 1cn0'~+5ZcVYn`M}2?dmCA cݠ腨N#h UgwZ,$B 4f5oYOוn0ڷoyk5+Hg0rN2㺤{y)B~D҉dx/̡,]Ip(~QW꫓g]<0P.Mx-U'V=z'"hn+z)X%0@5=E0naphPEbӑUcL@izp~>?\m0ɤ%o U)."+VV.} ^* + 8qe`Gg=&MɈWH?<șƎpGܮJmz1\:hNB߰3;kkc)7$ML&/dB/&^5mJz3 dؙh)hez!" u7!-j1ag #,*#NBȷYKA"U{x H'O eٟ;"37. @ESnNZQ7ssKgѹNKDH%^:'Fş;CY~R®GӐ>3!VV !տ(} mA(~T585Ȟz]De\9D}ŌHx(!!qY7;rcv̿ a;8Å?&ėS-S'm^i"a-awqm3`4i{!X*Tugm I%Pc@D/ 8܁i X`-Yr9{ѱ 5gXӯa6(PE?u )Vɵ|%gK1ß(I}&dL{~ ^Ck[-f3+K.cn# F6kGrg]9ԝ+E!Ǯyw](ܱ:ozJ+u;UoEnDRس9U;^])I '6‡B^ J (;R נ4q&'.*Xw3_]#Zw`$VrNP [$J'+par?@ގ5R#{5!dhOY dCK*d'G mQYĹϔb 4=Ջ nV; 氝KHQać@Մj֞Jق $Ȼo~l"tiF7K:rv,`q 4_r\U=}!4<6ƼR&No\8דI89.:iǻtTR[mZ$ NvVE4-L+)C%ox{894 pt(m6}aȝȿ cYhwM~5 *O¥U\qNT$]8BB"BMTHXx ;,SRSM(fyW@S]1Cqc^aՉ٤]Ê܁Aj'kn$^:dU5Nx*=%*9j$yP苡2GcR/ ~W6iMyp4El!iF+%Vs3VHhbm~Fa` *|#6EsmWpiX/5!OSSl-7ֶe'p g'tux `kR7ɠяxcղ p4Eϗwp2PJ\.&@GW4x%=4;W6ۨ-$61dKeBGe{1i&Bh%h pňuA^:KO;wO _%&1۟f(y5RK!`\yYW nuh5IPFHǕ<} 16.dz ˻$0zHc2o/7#m&@TE9G\xaٕ9rktRS$o0>1Ț {_?%ExOVv_CڠH~cDْQI*CVZξPfϤXψ|2 Ím1wh\@ V)[i^x؁P9zNGxLܒ7fbLygǚM 3]p&.)$eN"QtŞ +ň2Ce!Y^mholQu,IEnKF/W:Fu͗`Jz Yn?WWkGer7R\AZu6u)Կ4010]RiGcwI(\-e:[NE>ڜfMVC= DfR 6 *e}Nvu-H rM͸tUr%DiYJNgf#TSn8iFzhʹ}ndkGtG;8AS{U>TwtmyV S i|riˇ6C}(5 O·W1rfD>=|ƿu"o04^WMʩRP5\g N݈#hoѦ=h,"eQȿJ",+cZSQ p<8Zv ܞc@B}t.a{9S! DyTzͻK3Rj0i;jT EX!EˈC[¡v4OuDX+(b>s夡u}FS ImS-ɤ)8 F=O⡱V<ߥN|"qDׂMb0I2? aqp 9{Cc y4i(nt@hS$@ꎘ>n{#jH@3H5$tu=I$$^'[as3@]hP5P?7ٺeޝo3O֠9{`<>4X5fMVĠ;S:ZnIV`f>&r-՝N % ! d˲3|+rGKH7)z=\v4P/]zO h%ˉH*,(hLVk;/d>qEMj5fY=r)n]+_S8d̼tYtm׍5A,׾{:z&Ȩ_+`F ]SIxӈ蕶 -aRX$bfWQ2P3}&*ܜ`QvedBN)^/~&I^Nn` ˓@5^O<617` t| ~z61\9WAAwk@21!}P@4^[ُm3,6BH ֤xֵepsSj|eM ᠞l 1$*({W5 F# n[lL 6Ϛ=7$ڴDmqyd : ʂ5>rXh0:1{Wѹr`#qd5a$e1#*KT>@lqB"ՓGb/d^;,bj!Soe$i\쿏G3eB=ME#% 9Eŧv5N}< {>] ;Ybn*E5X5Tg]/BcbO1:NE*A, JZї\霟]H|H7ܰ%8 v;#FuRt̔+)4eyc@S ΣAY+>nQ|7l40RWr#` 븵bŃt dY+ w[֢0fѬ3"Sf'i*F6S}o8uvrLNJ<*-E;1F_Gad➂sYSqzh;Cͨ8PYX~=E:M=EN;:{zn\u9xI5X1' ''gca Ø+4 P!;-6*b[;}!u&gF] eS:o^jy ӋVw6zІ[*BEJX$!`k|co۔AٮΈ`' .3ѩSE`;2QO16.c"tcsW@Ro1_WީEZPqdA}R/ Zo/K_gƙn j}Q^R+IYCoN*1L6߸Ϟ=X=OT?EA  k+p<&Y NzȒ0ӂuӭp78Ԁ!whÄkc<7 YASw46?E42<%Tc]\NyuTVȫO2ҩDy9zdU vޯ|&Gٖ}{Vl +&,,6Vi/ ,c1 Y=`5,4\.*m_Yqw o!2c vmQ. )~ (Ӝ$\T41:h}2SezNaO:ȭGRۛfW? cVU;*8 R =x_E;}*kH>UdK.굳 B KcKHfK!kLCݼR AʐWz}/vt2s·~b7yrw򪶆He{t Z$_֠"Q Xj_E&]+σ0FCdƷaHo]~Ի7EUD5i/;=7{Cɇ;rd,Gk%5h~UIFa}>:,;ILQL"z ټ!7\.=Y2诺3`kgqÍ򽔌_8hQd07^_~k]@tsyFr5v-AV+``b-jT0"d%!aLC"0q3"n#,FX_JT?o̧s?ůTMwg0(ߘIl )!L 3WG݉*{ p~''M'Hupr^ٙ^18Ra,?|0J%ȣr??^g-L+t GX$#߻O5?M˗C!,e,^.id>14${F>*|$^YDfQ;z:lAFڵ cC8˾ԉcbO&EQP*_}A G6><4В0N6?QIYnf4Ewė֏*(w.F$V3~lrI4p$^'L/=[3ŜX}*hK*׋h`m='G~)wdAf!Xrý Hy3v&^CDa ~Tvڇ (a~p{k#OLR5n(NSYdPIGzdFT^=&txx.T/W6PoszbZ}(Ca"J#L~`_@ˡD$п `;J(Z}ȅc5t2E#(E7kL G8焠;GP5>פ!LxVZ69đFlMRB=C}mc&Cwt;v#kn =Kuh~\ $~R rCQ6u\{bEΚ%B2׾9cK"0/\d !pV% ]B#lAv~2D#u!jNAllawdK@@sHu&s@S7OC:)ʆr̲-P-{$F(vGC2nڳ (wzIgY '.$m-trz.Bt7-*4$\7 v,\ d~Z>+SǻO(Mڷב>=&{! wuM@H֔! a0$KflAPRyOp#APU ]tt;b ְjvFB ?B{?mE6ptdP_>3|4y}//{p78y'B;9)۟[י4U$&Xֺm5#R}00]gIlqb|kMHU w[SB( wɷ6v (N  &Cv~QvcV#։hD r||_#V#de`Z(>{"(G>5b$]9C# Oz *$~Z 2}w%ƑK\YiKe_G ^#M=-ۭgDk㦉k,Ȱ:n V PDx1Ó(?,d3cMaJِSrtܵf.$)'z1&qrBh 5\-LNQvY&<:ax@݀QB6Lȯ>UVҼ[(`s(OK94.<E:S='l|6Vf|G T\͠i;5kfR|B(6g2mPd$%Ե 0B>_ACIGЗjY)wtG.Do#Fg9l5S5oc)AEA{l3sH$Ze}}HNr6HoD3zF JJMT30"65\LGR= D#sH`->m!Xec:Uh}Ae ԰L2i_Q~C02 (7QXdqշť5G;ۍיzx0< t+sS;b,<~|:FOP.*t{cX>rwK!n\t<;za|8JzƏiAfsA3e%/ u6P>KHfY푨ZuyIc,_q"OJf!#t=~5oQ4B[\ 8rVAJ`Ơ}mUp&1W#ʇ-脽F{p]l_?&gdh)i`>2)B=9{5B1$Cg{FYTc\ƗvJz" ub lbe3µ%k`WPBՂ.LPJZVL]nnI~tI˸xf 9U8IbV}RBI _4t:9sвYjɂו'הH1u*uz@2kĴ"K e=-;#xF/R ӎ/늤7[ ~oDI]BШ%p De0rW^l/J"oҫY&DyTҔ?kq4?1^~ hwe.i'ej]M?5 '&Ojz249am8 $CJo*av݌S 3-UEf_rGfvaxN7;A#gٿX!7KirߕEHjjnvj.sHjG7*fUQ6{aUkThH!V!?ZU0mB/S3TfkeSyPpu7Y돁7Iڤ?[} elHj;ڤj,a,~!O/lI2mxql2]|Mہ\= ~JY ̩2I\&[7:Z_C<}EZ~xV.gZއ ЏgF75J84B=AijZ"{\z=˶j j]Xl9jPh Ӳ { 1x;~lXĻ))7^E#֘ZKX5`)3 1)nns,aZ5 ^kSpIz e PtU˥39nW| 2] 8dajI=zfN$m1ND.LfȔ|#A_HVX:A h.XܤB1L@b 3.^.n ;fDeJ9de3'r}HT;QUAgrK1#"︞tt+>>B{In=}Z-?pEiK4P]2B*&hv*+9]t ǧA*n#! 9 Zΰ"v) )¡GS *Œ=Y5ׄǢΩ8H,=ya<gbE"֣a޺)WX"]sM#oA^mغ%=Ă DC , {(0e-^#beoܖ(A@䀯8=`)ބv3Υ7cQR~,.Գz_Yl=D*&_PL75~BRjeg(qq;N/(8GA䝦wr]a82?ȫ6HĮ!<@em?* *[WSOx^u}+* >`Em\ (ڲ8Fy{LJb>fM?I&0捷ejDx\40y2Ϭ95(GjЍ᪪m+4TU0VoEb, {-DIdS~ӏX:7,7|. pZ~SLGCմH:˳y?7Rcvg>U bd9+m?@@ir&`yc_e5?k&kFgDb/$|! Pui]R?MAl_h&ӋhbIl^LgSA9. xl7a.rA}oi բ|Ho{i⮀к5ݠK}mq'zZJW6}+r9gHh8\Zo]ބ>\z%'z8p2Ο>RRH 7 U-SVS]sgF=?s\樓#:$Ka:3L^AĻC$Ht]r03pO(Wy-Ahc ZdHyPYr%NOG!n2y>.D<3 (ndNb1A}L녉r_ |RaAѡ*s̤ B7}=깙I? dD<; 䀉- pGA p D,'SlI 0SO*)uEۄءkAژcvo s{CF'˗7y%625V2<eswbw ̍+<)&l=H%τD@GBxg1t+sƌusO@,K>=yzќMc=,\;%Cag~],~:׍Eڝ!MP=\?SU 0@=AtdRoGAw9Qe+j)R4⊕>U.><1Rݵ`ʇHlK,0_,: [ܻ8x]^l$X10|e?bnǣ::c YWMV*Ӓ0*-ޛU;c~0ӵLQ&+9:2YzYEe MiVN5`.KJc \ך\ZW(UȮӽxv|oF s&; V\zKF 0ąAk}ܓwymk uNJ>^ajncT3*!\= Acge2͙,{-ٟj,D.eAyJ?h]VRSm}gdr*eˡ׳D+BMC!e r9LvnBԐ=B 3,}ogg0WY ,?2r6c+/{В Z_2 X$bF$P{uX?e3G%]Cl鶉oa$čhyh]ͯk7Wԫ&5o(#ޝpv|=>Ïڙ Dd!z}V=SezywI91]5juq!O[T/y{~ԕta]zeC<{m(bI 8f{ :> ?ߴ(Nhau +[MN[T&9C2 瘕w9=&CUcF'2{CCy_rB~7C"/q >ց BI񷖁ǚr$MhX'-?$+&ׯu'8ÅWNE=8 5'fm'0@ r!hyF$7]G*'Hc<#,UO?KmP;vB(@M|]%>.;=ʡ+)^EtʼnPJB0J"u19:z D^0[' |C5`oɓnHxl_?g"xuԱ7iM<9[4a\ \ 'κqUCAQVy?q:)~A{ )"-pৡJ@UH1k4PY^=b ֗ }WU|''s Ԑ6ZGin Jճ|D bHƴySO b'zJ'ZGw!4+1$G DBKJi ICk׶}Udg8VkH_P/v(,HʩfCu&ߩٕh"}- lnNz1{ᤐHIβ\qRB4^Du>X튏Xyy9bAPc{YJkq)]vO [+9)72,/xj H]*=t^.E/-d:`N76[bH2L{~uwSlRVhz5;۟I$^8<4%Z1W i 5'o|iETPPȗEpYoiqlhˊbCǪX)f]CD9_4keL )=@AI: W0mۯQR\.#(oC1*fӾ?Y-7{S _ə2Rfꏦ}G4M] 5ڧ-.&3A4:h!-Дzh6.۱?ŚɒU++NOf%NշV'ؓV'y?DXQPp,E&Zrm)ԌFAQ^u{ӫQMz-HĥCMvRR*[m2<4Ө[|lA4 2.0CDFREvpy r?QJ]M𼸎_^PM"u1Q"+JQbXr{"i u˙]tގsXGhU ق<9x"JK|;BJ?թ\By^Vi%Bұ פbp𽺤y)IvunʜIBK1I] MV/ޟG싏i '햖\B.-pbằ5# 2XN7Abt-؜)Xt:g=FbN_)aG>`RmZ\X~N&Q/(g]4;&~AHF,̒^D{WJ.|>776cY LK|I9N>,j'#nvZyq;E3,&e_ s]^iQD!REץڴܹP$[,ElɰdLyHR G, O)iƎ9j헟UAncK*6zg}Ltx6q/7KBYINMU.1])p5s/^rso&LbC7sē3j٢!_Ra'HT0DpYI2D8LJoa8ѯ 9GAסs:srpl#Ɂy1h3ioIV/sRTɞ_{56+ljĂ\6 "(됟xx3=d}ZENg^prTl+pO"9T9i : }Pdz1im{kT$̐v[ۑ.h%k|!>Qw6|blQ Ɉ VZNѳQ`OB&zIl6Pd[C$BcVzlD MX[y _d*vQt-% ,S=3 + ^:oоj b:Μv\ s5KCw8l-cD[4}`@߲z} Ojv+YΔ#OsZMŕ FW0 Y!E {>wjuz"hDғ,ۄol=CkRbYG_mO"%b]`zX`t& ڦ.Pq;-+%0K=MU*A?Ә4#'#.Xs0tHWR s#~DE Xk "cu=Y }zD(3PUH#",㠀c)T'›?n ziO@|,; ,25ٞD 0 C}{V1CqBG.p~sfnu'R l NHFZ;!  A\°U+v*UИrU4k!7NlJ-b75FE*9=`Ja޺_kPj 4%@=3#k#+bI)r)-72\g)s?sxf7|U|SYH$޷ŒX= /.ksZZ"N .ҾTkt `Xh2Le[}ʃ4}_ey m`oIb-l};u`&#IS%X">Zoe(#lġRxP{ݖ \TA1.{?'N@D%qWfe%y$Rb lZ4r˫<XJ<~@75("c%'T6\ KH j c1H&Jjg#Ix<m(_=>2MMӍ[Ry{3 %T/y1-B ,bEVr~xĸoR2fxӎ.ݴ-@^/js Td $Io]*)](Ln86Ȗ*>XAhk.I/qE- SVHGTi}< [`_. Z d ,Pc}).!}mPSKqSe;BJ+nɩJF;Jqpw$X֑i'wYb{]ӏMOcn|W jB;@Iyg:y[A]bK0CY{}Zq8n̼F-~%܌¡\Q&xxcJ8faEv?Z/-r 92H3@ҭL |AZ =`>E% W.%ywaTrz !<+Brܓ$d?qL.E&ڴk0!/g.ʭz_٦@\(Oq[T &ަ< S^D9A^0'5D,3svCdE1uCZ%N"ޣpŐWT95uׄ~<9eko='_i#`̤U1d?_餂 ̧Wy:ǘub_st\dF=+0! c(,rb4zTT :D4͡HV<{ʹǏ`= vQ8H1RZ&VnO6+ ub@7: 4 M}ͯn_jlɺM AL=w:PَnE-\TSU) bPcIֹ]e<2%} lzGvw eJ?¤m5̅3PUO(( 0̌22z+qoUD!  3#M? ~<䰭o*}ebf?iσj(leJ!m]?;yBPXh$g!ZPw gwae5u&HuiΉEABdr{-IBq0GRNzD }h7o5NmbqP[cOKR3lM}S49~"[Q:;́  Ɗ7ڪ ]=GP:j46z?9YQAxr<,AZNYbLwf榥6=']~A>//Q2Z-]ؿ>=} -cB{L6Bj?2iDXݺva |N3 H~HGV.YHod̰tkxoɨk [-`^]ԅp>Y}Cuyz"6H:ej ޗ")cdkG =ݰvfc3ٷ"+1mK琙"cxuixgd 1X.w xzG'b_\ǨAF"W ϝ|s*قIJ*26䧰%^ :`jJ,8:(!pshmeV1UJ7bhnh<>@OދcVkSy~OOjgߐRbA*hk %7RfqI,$| z37*ɫ B:jWLbٸ`TFӸ[t  3ɨ]J RK  dZy>wK[Dgbų2>Hhq0 wĄh&Kw6TY\JT hIuW59SqnnI2})-ipַzB3%(Yԧƪ\ "ohRK|WQ(o<^R}}nu~RN`Y ?Jo2a%^5{ YBk:PaӻK2Q vDC]gEx7e)،zj'&|#YJIMݭ!]qP@hݐZZ9Qט<,F L^fW!COeIn cW 8QSu5;taPB._;SvbM,A縩;]ޤ.f8֙yHgP bk ?ťBb7Yٕ'XQݹӫ })/d3[eSstbLc'ϱn`-pBIMϲo~~2DV8>4|9 RjxuI@9~\  >5Ctb'е)b3>O@:絿#[Ht_R-iGmK@)'6>NvMj}8Λg[(HdзS7z|5st_1Rĵ0~N`XmGVD} # 6JpaLLnK^"7`)J%ieeކ|旧YЭX͏J69Q &1 G+iemD]/H48"i;QJ|q@cg$$9kj^nL K?`6j& ƎĽ';FB>T-_\YF/!a CSgYZf4e2205a8c9816e9c021bbf4ca359c8b9481b25c8a4269a42aca70396b3fb4cbd3bc25030d219b39 83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2d 49cdfb4a7f6e982b095373f190b19532427844c8