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 W;\T\ ]/ HOL-Quickcheck_Examples:threads=6elapsed=77.164cpu=196.880gc=8.164factor=2.557zXZִF! fXg]ŗXiɟDYK<;Fb4en:m4¸j8Q-T$' X7|kTʚ :K8}sb^ )BhwFYh^&\jaN B2ќvqgd.ӯA%l a{Y&o82>h#ܠ5ԟ2'=䄼Jg^QlS;^0V*KXnv𵶢*8wrh?'qUi9^;uMcu)`+Pf>7fKlgh/rc&R-_Ol"6" J_}`oVa1lvfE/@׼|p˥`ӟuКe|ֺ_{`^¾&Y0Bܝ`:th[iP$ +Oe bxHaL\搞xq%7bpc'䣆O7QAKd:Q{1@i3w('gU4(Y+gWvgD2]SpSzdÕ̍GFus%ImOv~ѰC ?4tŏŗ#!6?N/A35ZNRzW K+̞PԢg2ckH; SNUWA{x@ I$8I4Q{*|V f',>D՗OfPmC@ {)AbE?LiII`%P{k˅j\p$Bz +~Pib|}YYiDsKllvd"z\1m4B!Hq8qip،Ua|]ްGu! E8ʬݕ~^Qz p"6ӫi=jgc 7R7Թ\TX~ʛ7lȀܫ g x>YОߪ|{h) Aun)ȔWAɜ @;B۔"ۥ rቡJE+! -w!LS4߶m>ߘ_:!3_IAa'Rv㐊B;+ ^1]g+%dj@ڊo7B5{~S@`T@<1ޕMwؤ7zO3-)a}y>{[ 2Np Bkt/\JruG k2z{7cfUyVLGF9-$GۅGu ]wOE Hd&'\w@6ɒJ' c| 텘q5+/|u%bQ  s0 ; HOL-Quickcheck_Examples  'PBӸmm=.H _.eBvM){Û楄''`"0~hx2U\+f#LXū](~tbӴW͵xkX>i|T0HCܷz+["gcwQL51b+O \Ӻbd:AYKL;9aYf*Cz0]YcE9*Ç*v8s!K\ @x V^I ~;"% kb9g^}G -h|P4@ 㖹ܙLCjc0c^k%5 ]b֓u5i1wyDr(Áp:X* >kZc8DVx\9>}DeY#V`v!в[oi|Ōx0^ӑ3rtz cכ";@-D=څoa:TCA_20yom%YGN^%n \ejU~_#){9 ?m{q+m8Z9 aEsv1di!EsWN{)} jkIa9صVCjY{x&e`đ&ν_CTtAaL~VL3VŶ& 7-<:8'Oi⢇f#pOKab gfaX"shvS v _=#G!&Euȷ*n} T :gN\kfG|'<*Ի sy!L7uGbTHJhAb/*ke]eLDpRg /TPpNl$KCbưl_ ƚT$IuTD EwpzW6nfPHQlIXљ>TC!]5J@L\=ACc51Mqs^Xs١ɕLO3sb6W2xY\S!kfc#9W|f%`<hJ4Œ XTqz FwDTY< @L 3{(^cQM$3Xc0cN̥tumWͣ)zJ.0˺kS CwhI+ă4N'Z!Ml=׊Drv@2bq㡙Q%ЙJHX6qC-b8!giJIu@1 r;\VkʂgACM7iR5|DY mFF@=ouRևj0~oykqV!; xM;0X' CU/kshqM ȣ\dSm@ѰZJ,pQF%i=]UWt=/S2嵱` 7cRCIJxbaHLH</33l]\<5 @$)؅XԬ[Aǔnq" 8%v );u{@L{E|yRn  LrYfiGuu%mPPE㜍ѻ|"GpI8T4uK&[#j 8z2wwR#[Q) iaBٶܷPǖ~7"M}GT%"JKU!NωsXF_~Ut[hDr6A:7ua%eCKICAT8t_(OS?|iH1p屴Tp$4`hoh$6As92Kɨ@}eK[y 5 ܯEX8eXKLW [sg4*+X_܊H &?w"#^ k \~ϨS'=:e ^?OrAF]n3~^6[X"AO0bIJ{VUHP޻6?:Ghtt"03!g;D-]Eip/k:BH?#VW-+w|N@ҩr (@;h7G ߭{!e>r*^=/t*`hFـ#wx_KXs=s9 m$ȹ!W%N)z`O;aTak9<.-(NYy@@xlY3Qĉxv$D7Q+Z(s}&P&#Zg-wLy/>)蜷JȐ2-Khf(t.x:cRU%u ͢Iv?Byn/k/8dj=lJ+L媣,vxܮ'9^&4WУkV3F?58,gW\" !W\V"핡a{D.['Qr DsNѬ|IzA1r;-]Jf&^Cڱ۶ +老Qo[.(_Y{Ɔ!`w 2Dz=@Ck*)&bZڧqo+)#>j8\ X**N뉟OJzVdQ]#\_w8 / فIZG=@ڏZֻ@ҁwy$VơB Z2jѤ ބ4} uSp0  #c߄ K 3ϟYЋ!rMx1wHVOu)S)%n nRt 2&<)'7-a8Ejlc"ina8/O U2k9 YU~$َ~K HJV,آ=X0@CQƸHdռgu3~EИ*'G:}:sN"!'SYI-0!;2 ݄SG7MaDp{%)6F.иs*z),d_V7ծ27 xԱ$%9,ktՍr/Q][m$x b-%mjFn$2 vpdI3[b`R{AHZM% jclB08 P^VhSz?}~2꒗S,۝v(%_n`PEƁ#P#Uֈ9tO< xxbRn sc x+\6=̦kk'xQPAP,X,MsX%jj|p]/lwa%sye*&Uyc ԗzjM;_e!oUgb}k3%iO\Dr~eZ~  :5&d$쨲s0V{\< w*:}A\dƮN+q+dtsūˤK xh 1ѺDBk̰=KC":Cc+NrJտ @ 5"-˃9y4YqƪíQ$ O[z|Mg2Y*%M3y4 d2 fp|bQYunAudkmM$=+<vevwS/xn$pY<Q wʯ&H#HS0?B2Pޗo|yQ K/ '~q%rO>ُﺗ#6FPn*$>#nb981ȉc?ڷ bd9pPZ>ӈg5L| ӎ~nE@oE*sSb:ҙgeS?C'(+. }n aa7WWz|cV/ Dz w髊Vw:R[oz- jtbb"qKS 'tРm8; n w`onb ib#oOkN{864JXhfZ*.g7T-) O=똦3=/6Wcnu$?Hp(JHʺ ˗:vyE`1.F*a>4k`|i(_c'%~AT=vݕe̛! M5fzdzpzKi+9sQ "Flg^"G 䲣E3"MފLa8ifdʽ{ .HVG){h)evێLˇfRaK7lx:0F  mmr1BܒZ}&7I A[̻vMOP.y`|숸)SRP=<Ű8n?šWK$#OHFB/gTռLp]cǾ Wdief hte,{wa=i_t"O'9\)dP\,wKuf Nνk 08r4^[K\շQp nܱ2DBhT8iz%ާ#=xA65a0q_ A p [F*/(Ue侘U#q,Ʊ*F;V~4P%VwG?d6ǡ {:8GxmDK [;=\Mx<`;"i<5xqPOzfǞ;VcMcCk>M1gtpazW#@&gev:=AG 59!tD[ps17K;;q$HUWD^Cv𥒥5& gDgլ]Ext1k~uQ3BTKC띈;ۜ*F`լG]ݰk\iwU?v\灱&*#àeUQ%[r>_܆k)9-y5˾OJeLedxoՁl0OWکWFk<%~P葱x T:ͭX\6! 70ʹq7#Firz%9} !ۥ:HKDK~b \蟲M.6 zvϲ'F Y(Á7}kr @Wq}>TD1Y#Yp! +;dGѓ.cQS{t(#yTqd[J]QޝZ` 7ټM5 "ic~MLbx .0CN_ ȇ=pt8d>VhSȴx}l_Nn=_m!NOK6pwe|C?!R߈B#e&m2dsKR XSfGmlW`KFw*YG#ސ=%dJ;fm/7lHM3" za丢պOx/DZ=Kh ũxۭHٜwD"XB#_ N(6s7A^SՇaVC[L㊝Q eArbS,s?9qɵܫ#omM߉,1}vn6Zzspyi&rh&J 5<ioXdIL|1$ؒ&#bRCnAloDD7[}=i&۲x]%aV7k_0U?_K%V4du(!TRJs_BH{raY"肙dџ0 Ov T %' Ϩ-$a6ѨLP Qo3o*NledwK?HܜtiOxK/|'<||8Єc3U ! 7nLxIR G؈&U,O*y#ڝV2W '„q /]INal[L: tRXz k]=oe5}2K l0h?xR]ڄb\rEZ/MQ5SpSy62-{`;!J[Q J5Pdn)6>SjIW@JC^R8G%/3i *̰RaH43d"g`X[1V}Mߐ҈Xfuș. 2P(%?9\ԥqweP~v 7(+-.G%_0ԋڿ60QWV᳉0@U#)]@Xݓ i9ZJy-rb}N%ً[":CW@!iNZ]#1LM AC/!_F#N-1A\$[F|~up T3_P&KOAjZ7 xNk@cR]u<8|ȷXu(sO8PQ`v87]Ί_Ԕy+J=C|`Bo5Go&u$/DgLLaCKZ[L#1p#_€w6wn6ܙA1@L&G |ۨt4=.pTG8diL`s,I#/jʤ[vݵ%Kh#=˾t(l ,/zuw,p̘vJbݏϗp#!% 4:d.t4"q\Zpǎ!o} ־KC-3SS)ځG27Q\8%+HE 0bo/-ԋW{b z!36㴉&LI!$Ӕ." 9֡tHaV-3ھag8O6ڦd[VӣۂKY"j4*֩\j5!aS\hsPER.#4=XͯWA S*фu9%|U1u:}GpW?nj|cBqvqn:PLImá5ڜdZr,12w!@\ʸC0;*]5qTn)`Py(5P?N!cH,ݖ3D>|R;[7=[ -%=썟_>Y;.r@ՈB[1iAخ_S^XoGmOB9LS}{/Cshh&_K'RGEƗ|p zN;Et:ֶL+& BBgٕ1XJ5iowcy$aSٴjCU -c]fr/>n_W'N$^NL9ӇpOHN|/՘F:q`q.LvhyER5RqnmkR2'$\/4iSWٞvH4c_j(UeZw% -ƾ|楂nFP|gST{Xha~QTzTL{=mb>Q`2.0F_5]%%ߋi\ Y".͕yȌ#"G Ri겲\pviu|GJC1?/8zb=WHw⠇3XNwU=+w2Fk'|`pʢbD7|];?6~:~P?Сt 6˻;?JDxN[2r=߮6pON ebuҤkm *V}Zum Spt4Ҥ1͈e 5V;«Y̜[h)SO)ޛjVyFd@2L01-ߗ|f«̪u1,/4s`6R Զk>1:v |]ۆ!sg]box4&WûӑKXhF2OKI5ɕcںXZR):9K%vCI`y T˞1Bv ߑlⰌ O1< fJбܷ@a$KfkEpɚ[/ZqQ JxxH 0:gdH@8Uh@mjۆ:w'x:>X 4).'%ɇh,cȐ%){dAh(8Lۃ\@< c܎ER:wZ-I~W%}B3QJz=Pmt}z$\J4@!>\':N>5Em\2]dXI/S/*3`jgO4sI ?dž :0Dqo2fb2H󌭖,c@ts_ppt5N,ti 1L6ϗ.w&Ԃ_ϸ؆Ѧ^ )sT8,"jE |f\5 ڄ 9K'( s)P!<J-#sh2'6YGF(kPM\@~Hھ6c3e?cxۨWAj@pܠ5KCoi s`)us&#Se5':_~]i r˸΍RnPRÓgmc~Z|-rܐ1X+;u?g"E*Ƨl ^QN(U{Nt1c3lKx"ad(n:M1U{l u$`LiHscf;3yv,jmVY?4Il Ts4\ik) OP 1e$.rM=IHsv'rhK?J;RGv |byh{t>?/Q>zyDblq-n9Ѳ awG3]]y:.S#dJہRacMfY DzuxL@*b4:x;&҅Re{-p}}ez6#T8x4B|wߵ#NuWiʵ{973*%Kc,Ѧ;-x)4V kjm87.CE4Z/UmXZxBjg!sw.X&\ETTO?0VDbPb%<^şȠ]98Jhvfeq;vr90 TY帪VƦu{?ur ZLyvpρ{:'rw#HuH>kQ0gqbv KnRؗcrM9? 2\> C=͢Oe>ZU*YL-xbR()١޾'ipZ4//b918ocXəq83Ra$ǟiB[-2QbȄY*K-Im? j8]Da־R\ENCw*UNOcs Fy!J lu"ڐ~Q͌J0BT9cTе\/lkUGs@X1АQiza+3%e=?)ji&qu,Gp4 ad]=jNdقJeKA3x6`n(D5꾍]Է #k $`Fl4W?pyP1C9^$}3hwZakYIv,*fi?W(y驠@:f.A-om>7x6^㞬`F @Ȟ8G(O]e'T"'F<!2@sk"}{&` R(qĻq{4Ml2TJ(5!`җMO)q=N{s&.~uo/@GQɒ ;cW#7ҍ|L\ fjdq#+l.I&c(D<8Yb񻕙4QS}-. _’ Dd=g].G"UU0'aދˢ #1j3hE1[]?NLU'""f:v:ftZ&H7~Uh;GŠv6 3NM Em|>{| \OU/A f1WZu;ρ##[)1= Q :Lx!Mw_h`4NIHV6&a (y'R #IT2u!8> ѹX|B̹3*fYu.3W9JvKUqںg|ԨHLV19 Ö 16(sߟ%瓭5i\)m&vI!{s/SqCebGpw0W{jZ[Rr'S.Lv7WhRXi1ck۠602GHWL@/Ny G3)(DNV7kA;#Pf 9wNռȑ"ۣhIxܨf/3W)#/Sq'8c=j_AKs݉,qpQtv\7oAЦ9THzK>$λB6mhP1@ #B d"4p#N(>ǙQ$2:G%oTV!Ȳ>K|(4[i*+-t@U \UtlɚҶSb;NIi)su ؆>oĵ5JjxB@/ʈ1"l})t~Eu.eA^S H ۱)AJ&3q ۄ.ҽ>Meu(``G m}i ߨ2/|F~+Y2ADLʿBǶpMG@Ic\>f/g)<#.4~ 㶮3"|&6lPIR;#pyz_`4imѳGV@؍6lki:'| c/÷B_W49+p]U,4JOӁ8ҊǍˆ!"؟-dI-8eDq3(MF VI)dx?cSU r>\۰^MIw@{~/am8Ѣμ6VԿb-_S\ 뀯O=B֞XBiί߭_PTi;>I$j!f{QkVK)*(q}<9_"N43gpFy;9t_EAX&6*"rkTuX-vئbۘ&Wm~ nyKNtŴVtDV'|/63" t!gA{C9g܉-~7M]>xt{\9:5yjۃ~hSeHodrwpkl1L A {v됬wáKNs`п4\3 f6!l˃,5$(y>n31s G 3yb~?!aK";\3Ur3Šo3!6 S[h !}b Y?Q1y_8Kx+|hQ\Jc3)@& /+3^NFڲ:FЋISuG=4[SLm|/\ƵՆ?<)ü^7uJ܆ܾcs>l6h3WZQ-yW}v% ?37y1pPIBẕL]`R%'C+̒untrqb:B l=E ȺO}-vG^8Ò} j'bI|Nȹ攄gdᎃBW]P49bP4C0V6J!p ceNSS[+XF55s(CP;oɀSoWGMQ+709ZzvJ#z0q:I"KRhxJ*~JdWxbEx)uNq|cZ0yF vEP"zY]r7atPgҪzxvY(έ NhE>cfKdU ?/yAR+0xx}oI4$E^K̇sz5#;M͇d}ÖSQifEi-I/ CP71 `J|Acl13UF E8u<= Hq9V}c;-i)c"/N%,~3?Vk>-ѵ2)dm SJ9`a&49ֽ/: ssYL ͇U&_yz:/ `uXS"':b@ };,X(j`,;jQ=ZǠ΋DTSEmI@uLB[XdWlW.4!_P H?Pg 1*,$"r<Ʈi{FQ-Á}OݞXhYsEB\romNOOdٙeB%]'Pf"X)XTx*%"Bv6Afd ͂&ɸwbHn?tԬ-6;4Iv=`r>L[|98VhUBB=)h4QtwZ: lܩS\;\b+I"1HR6$E`CYm+Is+Tt)O8:pNfNy2sPg> Y" axVKfu/%'؉*08t.#4⒐XTn :P]l$JJQw~<ꖋFa7atj; /zsADbIi%kَ# :~N F޶'T +ji@\GCdg_59a` }9TL5ȔMIOڝ.يǻޥ?,wle&MtBvZ2$ fPi鱦ڶ&rq~ U5F'ny21 f%pyK!=vKsEg؊"x"`y])3};Wi.3Š)vZKc>k("2uY f>yip6A?bQrkGhP㻍-e:&ԏR^}mgh<_*9ʟ϶ atBw!q 7#E_ c$KO 8M$WQ4OrMbJe]>|#gbӐyVFt[whf,zt4sݦ̓.DZq$dzJ!SRF|h[qEtlu._P+(]a._\i+'.Drw&K(n& Wd!Y&)xX,QVGL}ţ!sZs=3_=I34Odk@ݚ=p=.teɛ a?,S8Hp%I)#T0n6{Wׇ=HmefֶE0YH $ =Qx;3l BrU'h2QLς=1s.29ȻVkU ]*7\4B_kfN׷!-MHH|ݸʟ$:Nmf{ց2xbĞa\JZ7j7= A N)g0:H7Eu F%\ CrOTgzWIC=֪XZf]9+ѫYC&F 3w*=jƟ? &wWۋy,D"!lROɠ]p@gJ?y" 4b7-M _ V98*DG IAZ͐Lmw3A ""n43ݺQ0h_oؒgHMs87^5HnGFW3H}CtHy"$J(`n>k=*dCVubҧj?#DRlB=Sj%Ny!Ƭ`fc[d) %("urWǧ_FOzѴ0Ly%|yS3QOd§פ`sVZWۿA1_Dzoޚvʇk  d*4eOJh&[1[ľg?K9uy_zc@8T=@LZ ?cרnY%V.X6̳^| "Z`NK}f~/q:R=aJTC+c`Ϗ4R25`>K=$ֲj¢@HF q0BВھ>ax$7U0p=K(#xDU[I[4NhR XIPc">HxШ:^Z⧬~n԰ t*\ J. P.$9R')gAm"ƥ:o̽d9@h⻮>=P4B6:TęE#x&%Xk)l`oLڅcd5%fI<̩})o_te]AASꇍv[?8x3rfe0Ō|1[.J'))1\B?c6I ?Q؀ZCz7!{BM#O/v yQ?NpkZ?EXa/ ;3{o\L@cGVO!w<$ψG{ӄ;>|q7wݼ_B\D1mH*d.lC3}jGؔcۍsY{};76r>ʳ} Z.=eHxCP\9~`9X؟9>ԍo (-K_6he^0~mMIr7JuK;҉ ԏJjla؛lz+exAټ^[^ PLB<,:R@?&I;HmRX;N'͛ffQ-;9Areڜ`*fsflSK8Z/!26m>"=Ae0Fpoa?~gd n*71( myV.^GЏ-X+^ҸYw+e-Yjh[ H$!Z}Oq"#g0`(lq [?}ҼV|z 6.unC|*ipyRTO_?J y^fdXG J*ǚ+h 5KihQr\&Z8 k٠x!&݀-($pkXCaz,N\ 6&rf6E$̷{Aҁk0>#A}%ɬW56^`Θu#9vu$+yDE72{_4@K'Z%#@SCDN>P \?9 8߷zY&z(l*%D{cWj!Ɂջu0;Ҕ ۬_4+f&a Pn}jeujjrWz@.7)hhi:$h%eLCWގ“D_wHiߖ^U{ 9aNԡdu+:P`M%9|7,f 'x]}Uaj_-`RKL[W6x0B̈_2OԹ 69@2-by ղޜu!pjvZ.F AF^|Q_ N}̌s(IGѧyǝ+k[( }n|\(~tE)&,5T2I ctE= NY;t?}P[wSu 8i5\D^eh2HhY5̡ $0ѧfuچ A`ZHӠFX{>22rVa4ao;+]K u3uTx3w?-. ;@ڲl"2+d+"? LjK}HڂWjhHuv)xdJp)Xz #KJ:uphș#Ivh..}Nj\:u<0gK2ZWf-ha4?ݗ _tl˽a+x`7}5Y/h)*/va]c[JF F *&fl(Ff+rnA2X!'n,:Y+H])9xR8'oP]LVx)&1T-#[VQՕm6]ĜR4AnLܯ/v,_EaT "bf=i#@7G3m.ZN߮~{F=6MgE؀CG ˡVy| tc2gW*Vɑ/xA^ τ, %8 q:ȇrŽHڍ> +tES߶!n6χ,{@p6j-ZKc܋˜ט[+L}J9"魦pŖD| ΁raӶ B&Ikay|iW*9nL"aȑ:(4y 0X|DiR]0i _+BܜYSPю{@!\xIhADnl!TNu\m ~+u^IB 4`mm=9Kn}k]H(h+$^]9,͋Ϥq2+ )j-$@_nKӌDq;LsȀdor;og>VO&~MEԆ?UX׉_cZN@䳱DwO8!8x^gH(☋j?cs,zݶn^ k4;pN C؜Vkb#1&Թc/U'KX-P)/s? 0R,,gKt'DoE)0QcO;O6[ )N/@0%ֱN;g{SneBMvDo/=Wc¸oׯIj>Y)·#~?u%%2VQkz:~"VyzF3U<bS'6vBxVNZ^ƴ)[s1k)Af"w+bƫ#@(oiiap &OiK$ R :ou`?xO6xTlr|Q Ӳ ӸaEe2eA u *t+>ˋ*Ŀg9Mn0ث[Jun"?)$GN'=-A:ӈՇA>"KF%+I 6MxPGehq$k!5xJ7O3}'NP(S--ܫºӴ+i4^>#tm2V]Cn)s';U">,9 Th5'F}Z)8A;'lI9쨦};rkB%Z bo262ׅvUw]ׅZ玿B9e8p!A SNbOgI N"?!)Mr9J /hQM+n$T~3Qu~!wLo)B:T^Tc?.͔]'7O ]KXAH XȰZ|sK.)lfX8;dt.VsWA򑊽C@1(~:;58gu'JnݘХp%PWp?g*GL+s*bRO+OL=OYG1f eR=ЂB{8siPG[9R Ӓ :K :ߞo6Vd@Lq an%މT&n[%ea?| r*hؾj@]5Q'R RYc>Ɓ 552KSn=q]3G;ݕEkfu)9˕ɂ?=狀dؔ3WyWD:-j˩B,p_3@wǫh,Pĭ:F3e)CEܺ,tQ[QYoӧ*.aAY 3..gH}EQk@JznՕvo~ &'n+.l1$coa|N t@>ַ\r5",0E= Ij juǬs%na0]գ)"gOz?DEv!\@q@$qv*"|U81Wh%mݏ|g[41T?{aц߫>ֳH #ԯb&>4i} 7>&f}}(1F)K:* R7m5m1${d L%TMz<5!!qR c^Kܭ}[M"otUxXphoqDBlgAuj葪uQW \[g~pbZ=PSF1ׂEQAۿP^{ E/HFSQIP8zq9N?9Ëh!UJYrYݹ/fGR";%w}h$ 8:*8__t ]vwRcnE} N@l+2wxQԙP]9 m $ Ҳ 9,g:|m-4B\U $d(Ѯԩd6T7V_{o]j+Y;7&-'Pk[Et *8PH(xhq02V15 8wJvb<ǣJ痺WK2lh`CXњ@t? ̈́߾="4pw 'IvVM]S99m<^pfYSk>Υ&fR.u TB$g ϼ42|x%c6O"N5գc̤q'Q.R&ϫ;mGں246Z%苪FP/4Nekq O( A\^DύUO(*AOzJ%Z9](1\0^x # f,O1?p`Ť|3N XfkQS*ɉZbX:$ >g^)eœFePOWz# RV>qDm~zߟKHᳫVWv%!4ť*vOmh;B##-9#=zW f#PRq¯PL[P,EQVZ Lp %HpDFmD`V! fxY3U-e^Tm{-b`1`h?MIgU-}nڇL,)I|zL:fS\.K0_=}q2"X["et[YS<6 sc *1.;Yy eE!M燛K>RS@OYQ,YH_q@KXjŚO*G*2vU ߩ}F4H`UZ 0[..TT7 mhjAЏȶOR>ސQ.kVBЈ}MV%@*O4qnrApNGm^l 8<9og]R \/2DM3!{3#ǿ׀]pC+"yl&n"vY/VֻK0,ӫkswwjnR qWܵ 6ci%Bư͌Tqg}uJ%vPݙtʐWfAjurHŤƂj3^֔KW%oZPeY'YC;dm u4Kmu:*:hlknAOY-8=~yk4.rjd@)< #njƇ1&y7_*0 Tj/ jD }. r!&e풞Pwuy&⁗e+5ZYWǐPV 3DΝFIqY9;swC4Y6d0x``ͷ'30򒶈g^A6l Y}14Uu=;0r95ѻѢK!~F>H|Z kK=KdM䚢_'#g|"e%U' {rpqy,/:EBoj䞚LʞaO 3/~g|90[* R T+=Rfz`)<GcTfq<`96 jL_WUE7|e>P[ _ ٺ-`m,F8"c_֒qa_! m3ԏs7SƖ/ [@4-VpssN`5 ~*^%!12n٬쑣]A,- ?T rxn;p*3L=Us4봞i[6';;T3BtTXN倌cjDhhp-e%ϓTCn 0˳AEc v宯4r.:E,% Ӯx[l祈L zBVT!%F>p~@?ȷ#@IIȝ}~G<)DTq| \jko9ER%s|]pIyFH[ΨJ]E?l7 ZvGd ?A/{oRSLx ms57 Q#Gz@ ;Q:1>c4:q@"Fnc_%K؟on*n8-oU:ao1Rϧ(|1KsDJ7,e奡I^a ցp>4$Q~uѱnCb76>˧ZZC{T ;\ڐ#<.b |%ToS@NZ .({x8&z@v8r ^#Aɩdf⏴vقވL+c-Yo[ơBpC 3jIX*{P_ ČS/\e,-knxޔgӑᕎ! P//z>l6n;h`vmu{R$9U0| B~tgp˕9e4ƊNkBraC\Fe17 lX''ǽ+O mݱ-55S`x&;0$_,t75K3?cNdm=>J;!ASh*`on:^"^<; m+2㸏#R;BgarC,0Q=ykݞ/ c@(v9ҙ@UPUAhԳ+%BJnllSᆻ %ڲpyf]/:9RԖ&ሰ؎0Kd|"k<>zz.X{2swosv8${#і֎z^( SZ}H.fo2s(!oH<4/PO 缕W$U8MADjNLGgH䳟RyiNii/8Jԗ݃B=M!Ԗ[ QC?z&DZ~9{ٜa>m ZU,|a^=]-qe$i} Bl eЫͦu'wV@/S&[D2`u\@QyԡrKiH>5 uרFr/~ T#H,n5y۽Jҷ,^&3]IvXq/;ߏ3/S(e|Sr,dG')@hdr=mQ Q%zmo$ j%vqOw.cD:&uZU9Nʧn{~n6*&Ь8c[Ll#i9lj Q*?XHR5BFrdv/Qp:ЕVlx=a/lnvYblppZ:c杤Ya>~3lkEYP\jf$ԎI.G ;:D4[{8-S p"d7uѩ~ׁ2F'~k/a ~vg:0'9q˟!îT!ݳ25?өXj"< @h-xvx"Ay l# U2ޫ.8~l̖X!TfXB=>K< )Xa87 cP\ZiR 5Wb)WtYNѮ`~G@:U{d|q]RiTj$W :k? ^߇ACltcƍ H VY(.NQo$-g7?#o>k>M}%d_-J%3//|V0}X!3TVڜccy*!"PRhMBFKhhAdh͛0+-7T:"̚Csu)z(R2)^y'p9)J7;MTy cH_+ &EƉVv:B;[[Ѩ˘/b(@Ν D=6݃v?=tӄLh:s&ksvʋ ĞOu*vՌRǺϫuO]~퍍Z.6š*Dn.I@T.j솇#>Aur(=jG1xvr5e|mʼnqlOf i3z7/)xc(4&X Oa߼f`]yU e+$ o^UDsRqgXgMcܾS?s7)j0>ZvrBLvGf2aD6ǶxW]$Q5F҆ܐCC`smie7OO,nQ@[`3h]"ZƨHM;k˹J [rjL!8jy ,J[Y{AZEpd4] W4EkW1 qܝèz;}]U; 42z.Z[*> sՃEG68I>r7:|gRq9)c64Ą~xی%8*kq YpzW+^eZI[_N7r6kNך!-Y>޷{>j\>{>-Ess**Q͛D?b.a^b:)$^T/b2аuv7cW]NZ[d?^q?kmPs9(\|36ٴH uNQrJ1}zH ;$ؠ ޶,VO6*(;4g>w*y^{ͼWBJS ѽb>Caȑ2U^m;KLdD0-.'4AQ>UvC]  8BnŗH=yHǹn={2#$+Y.ܡRbu|ݘ%׏|ץWŸ-vc&c$X>/UX|A+ l(6}PxV~w^|YN򡐢9x4,p nb>r] U"$#jC]Ĵy3_Y>qitxPuJ]2͜~_36mn7G9j ha~Yr^* ܼ?HH.~ ӢyiBY Z.zU!VC9`W̿QUY5H|ԋG}掵/\`+/ \&i/dFu+PzܳZ V\XuRMO2ggA/񜂨B;k ~x07gF*>7HG_eKGrgpTA[v'[/LWp|6o»x)fqOd$US,jDEXsqfkQtP>0CF R~M4_|VAC= ƳtlSlE3N1{ 1X ʝQJ"ۯ$gޕaIy"4B^j%['iV7e)*i @%0@k9}p2$j x\_ae:uS[2烞,xt ~QTe>\ tlٚQ#4+\ril=y쁂<1M^(~2Ξb?˂R6r|]}#S +JkJupRpT#&7BͰEvathAӨ\v ,+2xnڟ"~[echJΩE͢t]* qrXCiJ.VGT*_VZuO?ۿ+<#9֪J^>|/]_rsE%i\NCh {F 8k J3e|cD_[>K5]`g$" weVk)"bx o7=`̤tTFV9at7R` w#r3⊿;?f!e~h>^lYj-Fڱjn NuBCA*7F)"xև{44j}Z]+lxxrOU~2w @9Bh+l?*k1DH'6j2Eb`l}9:L[k+E:e_F'8r)XGPRc=9#vw.zWA+jp2Y>2Q'2[6`Lu;. QӍJe=qEO#W@_F3>*nQ3*_Iy1EHq2g[b̰mH໲3xt! NHc!(`4u"`q]`[8pخlU9h\̵a#p}{"A(G!zG mjKw_s7 T<Ăc%m۪_(RE#ĩ(&*-- /9WEwHDzo6ۛKǎM(Ԗͩ6au-;YKVFJ][. H!,tV7FwN*⣼kyŢuX7ޏRǪiR ua\iڼ^|ݾ9EcbI?0p]ܰ/$MB%WzK{4>Ei7ˉC!~-p"%Ҝ*D=]ol\'0}iYmfd2|<&0)Y_؀{(LbV8Ң:Ø0Z75P z[Z9s;M%KPW99IȔǠI{Yy"e,%5@\0a 2Q^mO/ohħՃzcM^Ogn@su6'eJA٩ !6ZyG7o0מ.DN(TU_L_9h'6=pkLQX& +,!X_kIm9,N՛W;O3sdDetO=v0 nLpᛣ'.b2]jUCsA<0Y  ." 8*iJ/;{zY8OQ?HmɯYO1ӴiW-}(ɾ 0 GFC * f瞛 0 ؉=Co%Z0:,C JBƶĎݦ[pif$;䪮_,~&WҌuFVS,VF4,3^T&C%1ZBգIOyo)D/bӥu뷛OuxM# 4^5g SLAv|cbXis9/,S.:Q%ͅa.' My~qg`uZʰuTr>\n2cTcU{2*41XKKAedIˢ Š=9g^fv _JqAWaE a>7iD0~*@Qu}\=\s:Xw0L}KP4C|,0S2鿈Chc8P&-.^\T"= [٪NX`OdĬx~cEMǀQz o?]Cz)wt$!" H2Ig1slaM3D U$g%&ݗ,{|RBT8>];QKW,jVU;W; Q߲4Ik?L˅?U "vn%EDZRb>xLdXUs~KjLD F-b'bEɣY q_>H:ůXvɴu^O~myV6?ZHd8U0C-R}'D1 mUa~whє|7lD$8OFݝ+<Rv_\ulb+Q~XKxG=1@:%;:IÐnz :ȠbB(79XZxO]e9oO?wI gD-pE˾` 7WԢE6,"{+ *s^QC*d< 94+BMP w 0Mn@"Cuԥ)W5zf;j pFqzU+G?k% ^o +Jgj[zN{Ͳau RLMf0kK,Lɣ1ߍh,G+߆k'jQmp'ٞHayNѻ|S$"2OUY{TG{ ]ڔhta^٥>~5=bDtpOܽ9@cڍ >Xz^$S$補DziZu[iӿ*rN ڎ"vzʑY ew)Dˬ?셌V:gհȦo/@W˜#.H L{V_ RNpSmR \= t-C4|hDi]oh`8Ew$t4"!;7 9z{˖qc)8*l@#>-.l;=~S<'o:.4)vf S?3?>B]):vY#^WN31D,1Q/i@-pR~}#y󵰔>Q;~`*vjDi`8%w *D| ~:JRJ6}4vFMjA?_T.VY 8,*-UdȠ_ - .*;6]: H@bt_ Jxmr10udAlv:>$%8[>Ns6K2+rmBK|iQ"伥xL~n)z}))S~{"Ňs@ oslӪW7a`IE/Ir ֵbgw_u)͏D}g4"e=t)}I',& 6P?D%C[%)jޝ; Lo( E)g Ť2!5mZ߼6m"PvAlӵPYJ0QL$ʤ$P.2Bfe=ZDť h޻z|d,-x|ǰr]vXfc,U߶X >=fm+fpSFCbmsuN A/lr,GQ#dz5_9_zoaӉ0ܨ&9YEi/j%3ߐ*MY&D#@6Mzq.y<˞J{@NxuLo䷭CE#ޯ20t%Ӌ0 Sm$so;pMrfv1HTEq,|1AP1kF)ZrjZyH =:McPԤG8Yҏ|2W\ё lަMy݋cH {8B[k Uȱ.O2C`&nJ G2FwY2ǞN4NO;E(V~wL$hs- =B; NL!IzAis N s~U k$jh<PW,Q_?~.^(#'dd fx,+^0Z n6,<%PhEw&b=n>hㇾD-V x6N؛\.R=!sD=({H 9МML#ry'3ҪѠ-p։{OmM})* )Y""}dz(znߢ(7/GlAx rEIiLya:H)N(ZH/}|`FZL۹[BVqd4D'"0tws'Q8jXu̲,d{ h ͨim >lEv"'kzͳ9cc9 Mo@ <*&yѯF*le|8@Y~,@+o_iՇ+'a@Hlq_J&&+ͷ6`EGMoXe^AZ`uA~e}e3nʌIPUtO5d 3hv~!,1X{BJy͖Z[-Y B'ÏnJȓ#gyX& |\yYC ?BhA5i@KGuiVy&M8t"%J -ީt lД2vFWñ쎳NOupt^PFSD!\>:=4[8UNГ;[r?9D Fb`=vVꈰ/Bd~^ooqjXhvĪ8SĭX潂h|PEr]tD Tn?3 =Zb5i[|Vu'J-k+<(h~M81f)ZܔU,cYI/=vyq–iW{va(ϛě'P5m[W\ צa{q4}h$0c6g~65WpڳsْqNՔ!C'if+E\aZ 4a'wRtf>LMv.i[-N si"tyώ!؁m-A+ːQ+ GC9pEԇ,|ǰ18i[M*8[D Mpf0DYE:$P֎It9G-ަf[EvSɢv{Ge<~6nVՒ;>:hPDN9}¶-d |7Z(^8ia|e Jro6 PXfÒ9ӞdBz0gIqE;h[tN(>i$Dsto{ilw* UGHc= މ%}Y(!7N e 6&DCV߆ZىzK\fRϤυ/P?t @Jcy,19/b <݊S0$Gym+ gfIh[$Y1sX0 r6]t+56ʺ;5נ}m,wP}`F]jO˙%/2ZeaNV5ԸOyZ /dm')4֯Uy`L$cjio2z]wA2:l֗Ok_ʥϐ$w;py>W$j#oZ@hKu2h.V&BJ$4pѶyfHĬJeKi^H ]캹RqSHC%=YT \w a״`6y-נ@(YnHw-GJ-q8]f:zcJI0I!?9ja -$r_A@C'd:Y+wާKFCƭsԵd-x>A yeӚEWN_\;uWr՗]QJ>VmC~8G<t$P26"x;q٤ $f, >Ӏ<!yL֧ix0JRV^e|쌀A}%!O!YRD~ΔLW] &L_2qvOlAlNB4"&>(ó ]F}!oܢ Rނ Pdm| heUkK7`(9A>Ŋ}i0 Z[W&1)6;:}3!*j6x4RÎjycL(D,?h JvgY˔[t`JS6X uZ 1"vr](_ VPUt^D+Wɛz6#D쥗HUiZt:6UnԶ~ 9huh֧]7yȕV9Un {_ÇV!cQÛx 0XuHbZ Y yѽj@T^Wa`_iB5Lȸn:T)f1ZF~XˍHc#H3g6I1gcD k`v{{CHMzcWS 3-=6/.msY#n~obQ]jʹaz\Ö9/ێ\GzPrC% "v{|{t`۝pgE E]qCI(9ug+HՂ5%-u@b.hIl"!=;Ӷlvfp {؈S`$ Haci9zT, Hu-Z2_)kꇑ bU~ cBrrd$Rܻ(FUU𛼂8d$4,bqd fPA`]d▕K"V\kL~b;%`^iXs:Ѐ?a]K"zR.bYcM3ڍbvZh~lTCD% 6ڱmYd,XzqPP64k PqlX`ȳpǒ'z`+H~B /t}@#0( ~aH\"juC4;g 䒵/oWX׳B:Bx-D~.g WJ8l{tЃx\}^HDbځ⿯H [ܲþ贚…+ɔHZNħm=CORE bn&h@Mj͓ +ubϺ#L"I;<`yF>g>Y5_,*HJzYMϥ}lRu 8  y~W|װ G{a]MbMP39Fp豊M!x,x^c AchAɠ ](Yb@f_ ԬNR3S˖9šF۲ǝ`l"KUE5緫Gk"` zzlz9Ui! T Ffwn ںv 9L5d89`=%Sˤ܊[mvll;zjTEy٤}zgvW8A\m'4<1h4byߚ34"184\d9E/qϛ8 b=)[<䈏K ~{cQ4o6Q=)E ?w.Dw@G,S?(95''"i&q;0-eJӌ$,Co) >^Ut3 W<)ٱgYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGfS3Z#H_I'0yC&VB0ы5 f5_)ds'=kgnޒw:_ęCf[ >*\׾q_! !Mj]8uլlC r[{kx/Bq2l{4seBNTnfH?˓eM@-\B)}n}\oѼ,k NHFey0M6' >fhvk9F_v^oN?늅Aee4m/ցZ9ߑ`bXll'_C>#óDPrȴHYg3'w,^plO! c/űgYZ7zXZִF! ᱮ&]ŗXi%L 7F÷$?2j^ 0LMµZ2{IaH@ TKBasJ3.&A֟U%3}1RKW]-W`@|kr/ԃG6† ᝶8:v.?jn۬I[>swзiZ$ZkZ?h8!6KݰDN #V])+-fD_r)#l: .Ww6 dζl3DboH\g~4Q|CFȼU(DžE\Uѯڂ9x1tXli[ֻ[tQr@*'NfQu SŒ\lֺ[AhR;iux!n-Rk7*Nb/\Hɺ Df!a<#fB}3x?Q}5Eѕߨh)\8v7QKd9߁Gj:?L Ӧ{V1Ӳ z:l).X%◿Q~FA)|㉪t>FQύm٠#oVV: kd뗪D@-Vs3q K^!SfPio|i__;[7}DiM2P@ok*1wE%_i.\nN`D@,E7 k8Ylq#.@n;a+ ?^1~,Y,lcK}uXi'9cEh ˁ2џrOiH-Q?xxNpE&%E&z;|Xf1qlԘʭ_^+rYQ 1_PݿY{awhva{BjxvDro-84p#/UNyqV)M%#bΚ.j32Jz$8xT^Pf&.Z; 'V3/i)_I)}li/" zO$=.O:LyKs Dx!߼Glȿ?M C0y?N4-3BfTHf}E ngfP&JCh?=W;J4]űU{ KlBRahtBbf*֭T0W;ge\ PJqqr_AU8RcZx X*5C~+t<{Y@uz Yh ͖N ym޴0)n;Z;XRnsƷJJTOvD!Dh7k0BڎGzVS,72ADbN6f̓d脐s%oa޳.>Hx¶H_A+IraVg9EaWce!۰o wمKm55 ,Is(D.j'9n.<}2_V&KZ?!尩L0۝Ʉ\xkdw޻ .tC4ϏpzuIkX T9:5B_apj`(q6HM/sqIZ |~6[?@0uVy3e<g{PhH`y黩Y38Zx,KV9hw,@ v?Wlʯvt&zd>]&p <*Hx#|h w?)o #OIy4ڲ8b=!4ѹ$ K.ФRW";MrmfxYh&IOgQUOآ@y9XᰖgpG`QJ׿#Ad)%g}GL0^V25rC˞ Xvk='ͮaCO[ffv rFH7HG+/[kI 􈉛 ^ʰ= ,=Xhy*!{<@.X*mO2<T>j yR[NYb#Cݣ5ȫhFh-xc+nJNJ/g_ ŅHv0r2 "4.4xHHpZØ)V ',*VlzWhޏ"+7+pS?s~F+ /irla JH|vk$gmVd) 6Ï7YaM!T;/n&\d{0^Wu-Jg5S3u &Ԓq~Rؒ[ρ4yuÝ?a O-L U!)9%Ѵߩ9gQ\u嚹g3s&"ZMZi,l,\]Q!XOC.a,$Pr:<ڏ,z9eejC1s%٦)g+Xܕ}?7BPM G]l%Rΰ(<ȋ-N|j1&)#xq^Ȼ'K-Lؕ (@J6kC~cC Jh`2iy4X"]TLW.x%~}W 2Z(Xa]N 8^wTQ5D^cӐl3;e5E^X #t0(O,L< b+@IʂWEG2Nu|^8tN&rbS'ODj^x+K,Fɩ:}\E%px؁i]2{k6ѾNT;`ה_Y\S+81!!v:RA]}ƼGMf?EH^k !,D@Fi)u98Ziu\K~݂9ր913i޾T#^Xe&r;ף:2gWD2P>]HV6Hݿ,h2Vq)[,fvHբ>Wi'E(™9ᚊz'@9WX]0(V' AW~d@̘ܛ1~٠/>^8o㧓^+_">&Bm$OZq:VgF˷2ׅnhQ61^E%mWVćI3%-Nen Ovdҿ99M@F'1,)!<JM]?@bmPCC 쀎R.N[gf:NCG +=ZR o["J4P9T0e(ݼU팹ъ xZjek. RFeC,C,ߔi,5'JJ#VZ,",pv,:{U. b중8k[Nu_U./&qT[J~:a+bZl# 5ikWscs)骥HDy:;8rb?TÅ^]F0#_#:q]3Qөˀs} 3'eG*-$go{7 XsPIv>Kq?Zկ9s!%Rh^co OԘ:YZq{DG =&4c~6E3J˫!seΤLf+vU2=b_ݙUǬ=?tq:71bR pt;Kb zx)]@tkAf "0"ZfRǀ/=N';Ҭk}vƜ(WGz҅0 >]VA>2׍t$oRE>:)sJDc{멐ջ8M֝)w\~w/!VkTk[A.x[%O[ /9>'+4ڟn<(HTKGJ@ A )ߤ0֨ aJ[sT146B~}\g9LW-uHF$T#6u]z|_e}Y7˻ˌ <Xdoο撧ʹn+w`NOH*Goˀmudl,hܷr?MIKlU'waVеKֺ:ty1UADЬl)nwKfג1gɠI{-~xBlw0|+*+HSSԛ o)Mso 5B]=TmX ˊx)|C?9 iJm+Q\DӅ;pRE5eb||ICX pMF=4WZ2!ўjuYJ$X`Xb!ut3іZ- @{1=D'a喙 q0O>X|[LĢz \8!tdy& gv/@"C9jy:5,re*y~E{z,E>l4NAjA#Ml&Vb)ciaz[ߠ_a 4u|}DfvZ5o9X$Ϳ,uײE{&,DI9pumž8GCyڪR&T_R*