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 5=dl ] HOL-Quickcheck_Benchmark:threads=6elapsed=317.597cpu=1527.812gc=138.208factor=4.817zXZִF! *]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*KvNwIZc5] k ZPEWXxALg@dns+i)M2ڙU ٰyTnTc ~E_+hu0lhI$E u7V*t-=!V5s!9+ɹR.s9ّz>oþr-){Z)Ȥ>PfO(Z(3{3Hrխ))#gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή^(c z;u 0S=T,k8x auE0*Hش L砪A7/K5ػt6B퍞:uL79ԽS{]j?(ˈ¿gYZ7zXZִF! ktm]ŗXi%G•"WJs[ޥK6/Ҳ)$]sIDIӭvh/3{!(A>^ƾVs6y.K0dIt9ZD8GuBj6 ,K-iQخjj^i{].Iïws=(t.֓m>(#Ľc Aq-;;T[i\r*olw3I) bKC6/%?vg!̹QDYk?UHvA\;B0q{x\4*p;Z 5خz*g/\p 9(Tnd,(z6H~|NTyD?,\qr5esZ>ZIWF|DqCona^C ":TH#/BkJ8_qyvGfID\zaDwW P(#˵B'N'%k0bj -x@uyRmH+vŁrZ@\Gv-DhΏ0[yx;4-K0K=\RcQpsQ#74\8y-ܻR]E Ҕwy. .mD4NxvL*$Cvb Gk75{Xg~-߈dT-1=/b [Ǯ7p >*s!* "3nw!e,\h|hnY2b78y~t/ I0O!5״aأ#P4Q.~M 11;m iQr,Kl&TPР]KfZB 3Ud\o(,r=5HCd'a+, Nw՝H-xE`CC^ǟ[QNU2-ꐧ K1j54t!7ؙzKE2^7pU,ڰ xhʾ@zsV_ސ]Ճޖ> I^. Ƥ* Jw'6{P/b_.*F4Xۮk4-vD\сٸ624n\ DhYU*}VP Ԗl>ڢ9oVو>Ѷt = HOL-Quickcheck_Benchmark   ~o:UuUϚq?3Żn-U ԡ :=9{skkr',oHQ\H"^"*$og¸:Ҙ(̽݀,EEC":rґ/4 ||F#k}b &ݐޠ[7iVQ6%4rcWO "p`}OC21:0ƈ>oPXuUaޞ G:[tM8~yq<1+GY,'{x1c;;Q_w-Y7!p^MX@!;*u(6zt|FxAr$U=clŴhm&2'Y4f |iQTßs9F!\Z/.-jnI[]_٘{Pf$d&:e} CCKbng5P4dlc性–%|KPXWD#/嗊 'O xrlĦWX^839=``I4@8R;Tr}ǭx;c5 j]c*!PwskfbcI5b -c'yfgkZ'G|QoRH' *rŌ#KI]N&5Fhvf''iAw.!nK_b QU̺K*z&|ՔġS$ipT$S@>p v uF\kn0oEMF&HJ3nuKqWWVhILF3h@%'iܸn`% 5Iϥ abKXc|-rJP۽|{$EBDd$.EDTl8&!.}vD| $<~.\XdHKN;;p!V%k̳yVoGCC sdaQP고s CXԞh!ҧX++(N:dNujaŽ])n*m3rOٜ.V&H]+zcW@ܰ>@|MXvbʙU$-M,8fz8$v]X*yB;WDX:,, Rz(&U 7 ؔ*eP?ROzyak sd* |unM'\ ɵ+GQu[kMyHN"Η~֬n3s/`1/ڌ(æTDKc H? K'TYa nrPgQIq=io$lx& B'*-#u m\tn 67HJ@:M˖B/aW ( VcWteC[K+8\)ZG9w8@)wy {]w3 R}ּHC 1xy]h(yj@k؇hem?<<8:Exp{s5mOZfJ( vsȏwpE)frSSݯsL]"ϏX.c,g#mc(!QDJTu^ز >ы ut\,%}A3B:/77a3yy=1H)~Y?QVϥj1HWǧ;:EWh:<#'4-1lbm۫Da*͂[`]ao)[xVƸAOWYRB.ܲ1WLlD*H11 ftĄa9!jO]O6AZWΠ-󶫷O/ w)v9v0F̳ [qrNpu߸ Yr! .f5H.h~PSGR/jtTϪ<_ti%%܁ K,dPADžGZM<ꥦj^uߥ} 8͸UUo(fSܟmOy@ΤDή bM3nFzL\]]o&9g2$4bmE mwK56.tpfo6&3Zh^FQSz*%ӂjt=x%$ Vϒv7*{`ig)i浽Z/m4=)9beTK ·6"i*M]%mBs)Af3,7װ0;jRjEyC֧ҳg 񵺽c X圓iŌ|Ec+ގ늑QM]ILpZ I]TH3qK!?$Qv74g3*;Kof|f뒦fE,iN[0Z؝P' / Stfl޹d6C3zn1#c6]( 9 zsNhDbr;ݘ*xLT'DLLzBj!9u`'bCÛڭ/!NT'Re`t5D 5^%橖Te5!!w_^yyK{5{dc2\7=R7mhfor,8]HvbkU$o$t g10FN=({e_8ԮN_e%E}N{ Ƈz٫X@L7G*V@o=z˝k`1_a>K:{a&W}C,[Dm#?MS187ߎޟ61BY Ik:GH;G[(׸Aر`ti_0RSԏ#*"ƅMRmկc zNZJOM/_y</AvH"S($c7h&7  6f`ˤ\]~]a:'`~/FD$|Q蜛 \iqFo:7x#٘`iE[j?+ Z7^zٞ4lYNQG)B.-/N_ 6MI;jT(6lcs@1~3fSOP%?ݣm- i!6b9*ѿ0̨"+*{nXhr_w\TAE)uphL'v4_fGȋkCQڡZn|EY dqm/d3C%ULg*cE)GKԔ8ƚLTމrd821̷/W9 M uso"{&e\ nL$~dBa\(> 3N/.0BH;99zaXb:7sq-+8`~ą2#ytVa{7;=^3/j57BX=~T3E&0%~ !='t%U22Lc'<e4xᅗӢ\99t%ytĝŷjbHU[&^p,jS&cu3qL8B0hF$u<"lu5,G8(*Oj qTx!;)'&p{?JdˏY]<ӌQb͜e;Q 3?6(k]"p'4gA/Y_9C]^j+W! 5Tiz0e]YDo{T>eweÓnwP4jM5:vz&4FJyv*ݡrEv \w/30mcGL3ECBv56hT[,GarWΩMUz,WW)Fiv1E<^7;H~#̓/<;Γqԃwh]sqJpg_gm]8r1E%lI~ݬ HE%kA7fӏjʢb|K҉ěhڻ],=2e˫橑g7g )&9;]˼+ γmCwεSQcUʼnۍlĻ|X!Ԅ\KkIщb5'*stVݓ8udx%Kms\ ᑥ_ [if0HEμtu0 bǀ3Yb#@,S}e{{zŘ]'YYGK xyG:n4 [r9yAپ70'.!7a" xET?L%?KLXo14 Ƒj9bc> Z$TȬGLQZ|m׍n3_ `""5=tTo@x66ݿ9Ls]g>ń;.O'MB&.6+n)` Tis\/<Ν7Xn2ذh$$Z:BG ϛ¯1W1Y呛sR7o(q$_% ۠t 櫊J"b4ɰâ/'@l.OnK_'V-Es+3#cg)HOI 3GwIƨ$N7!?K++4 -5o*K5SHP;a*YWh5\b/HRvNWi=,޲SsIYIEՑ o]z;=T*jc%dPO]̭+ܫIPM5ؔ 懴~Xͣ$(/c?eѿ:Pҹp( xIyupaʾHiv{X'8A񋬄0OB佥נ9_&* |1bDy9WZ_y|3>DtrR|io+E3_a[LM.^_QK6:n\ ~C} ãޓ/%B0LY$r'@^2>s/WцXY;fn#M4G'"r,vexyLϊ­*$A@8~>W)iY7O8N#j!{L'\+r-JWHOIٻ^Y4&'g95m;IMєoߐx#5MNS>>#U88TcLxq !dPM:8je>^^~aXN'Onf\~ˍ޷vyi.hL,{٫vUPwӷwb;g%X WfG'D"n~JאaAU.G0O'.hH5C~ ;}'JlP?ٮ}a^?z3uRRǁTB&iЂyYjSʤඨۘ0FVgZ0^(ɸ\a"LQuQ@Mk}@]y;PbzW JWg u-zrҔF)V:gxH.DGy8@1gDZ$ Y[Ҭ).Y]A噮vb0 >4OURݢ\. U4q~G̗XTgSz]҉XW=+#qT^=SDA9VC>]Тa àzUMʼnbݺwbyN~&ݢt['nB5(ӋB]%+kYX+T`97,7/!诌n4H4 e+b41t @).tլvU)[H7k8uqɲ瑯*xD+ lqٴID]H~>˾=Id`]%ܰ΀ yRCꗦzI,Uxר+Sŧ#Vp4kZ](/#J)Z']h?Dx3Aȟ>* doCezm+pRK}EMCRԉ^(j5|Oi 5"p_PwIEDqWMSEz޾١&LC`9CVT6of!:v}-eaWMB*%@1 ] [:EI1A>ΐL2Ȥx*8i{'&ʫ(w̵[3N*9 d\os%zɁ j3ʔEUC"> ̲u,$/^g=G\B֔X.*qZǛF=j߭vȊ>*Х=t{&{Gz~-ndyA#/.̕HP2_1FH9 U?aҠI,? ~u EDZ5o$$gpoB7Be{;y6W4ItCH#Qz`:V924ff;ƃJ ,SF'[x}djqWGnA؏+qҏ[IǕ Rkztɶ I̔@: ̂ݻ܂.#6is5g%5w_;͉ PqK>a",u w$ "C2@,=6f-BٓpBll hodBC\T*ԚNLIŹe)_i/f5,) ,; b¦+m,F?iwcPW6Ҽ@\Un Җ%FGCCLպgF؇,KPJl 0 ߲DO\ CؑzKMr:   Xs]*ZEIkɬxQP]LɒGL5S̪x2fqOkFoW';/{l̩:6gخH*xV'<ؼ~]R+A5uQujr'٩XL2^K9 @k4~ ӀKi%s tz rB|mq`8=&@i8{Ͽ6D:;JhE _{5^(Ԇ'9[5I;p,U=+_d.pMnP9!Ub3:KJsTPڧ.ˇWA [-}ߦt.kgYOyb,SM~Sًl&ʐcLQw9/ / ہSJ$%l|H5D,шp ~ A01)иxI|@9:g׾a;ʅųf#K?S,p_>ai=M?(y^Ő U|P(|h(%0] ZLɉ a/ ʱ2M. UX胥r pw" z9f;jJBZ$)QOLæ0\xO_|ZD S|Ueęp?tҶnBL KKSC_pY a=D-=`:6e@aMj0(ErY5O2[@_AxJ9.xoM0Ƴ$N{𫙽!Ä+mTZ{ ᡬذt=95^?c <kj2E @iKc?0?`P;6Šl@K=ea6I {yńza[멧E!I qGUf)dR>[cf@.[nDY.R&6,;0{^m>먑0}ZgmTKLK-b5wZA9gF\bV做:,z\ *,sxҠ;`YnAm3A1אj;V֭+|a{ y "FhaZ%\Aro5c PE9!L]bHmg84R)Fv'M|Lt]Mpn-%[Gt! "e:Uhl?r^nשxضl|DŽ$FX?8 #e"RKU6Z< ^rA@XC=x@i^F/Z; h܅1f*eGҮDc;Bql6`#'R]BZ:du?¾̓Y [z[6|P2[bCJB]7L{xʙIk #-t‹Iohژ*E2h=jA6$=Ǚ0J:mFFEdgjrA/sp:Ï xw͸>ŦG R*՞*Bjow_.1 mWS޵Y"(J9u[G 1,ڭ/r+,!6#O&xZ!+mJS],e/pV=I~Aۚ0qIm8@r^/Gu#Ț ɶ4ޣ}N+%rXֵGAFeo>t MR*-D5 i[0np]$AՑG{S0,h$ =h_hWY1TpZXB3{_ @D ms]I6Z=?UwM213߆qĭo2oalGzpBgl4Ւ; u'Ey^5g!g2H):pPN &Q_|fG7z$4-t|n ߖ,/WN;d+[ǫ:KBR  =h%Z\捎gRX-hD5)=DzsJp)H'PN$RQ`@ˆuGfCa4 DޅeUX~.+ IF,vD+B/wۍt5f: 2m"!/d$oYF &EZ|dc2p/#kAVp/5@-`x?w ,<.iOFh=76;M0_{ퟙO@\:V b|VxZA |>ClrP{D2 `QiLk(搖P._Auw(&˳rdv[ޖHK16*, D"s1$gG$4 2E_75&7m@ Iz+R_}O9V8/SE?4TNUO'ks -3)jzCU6ɤ)ji NZ//%,'8Pge:2= 0u 3xA' nۗ\90*~tvۄ2žJ\/l'6uk^bxOIxG ӑ%U"ۥ,,|D!0||_ܜݡY,j iCfZipo`Bތ㪎4;85=DnZ qpRs@ ZwKG-0:i1(8CSbXQ=MEuțRQC>aAܾHrIE򴑏I^DDԐneP:ʍ̰}TD,;RĻ# }ٟB k9r!M]L.Ϻ 픯/D9T_R8j4O{k+oV|ܜIdh4OB4̸=%QJhʺ1Ł yl89eTq?Ӿֶ`MɴD,60X="I9$#mt/\;5p^.7M_DI֎1F-|Ec'JF $H8ҿU.*-zmU,Yr- R,rB;֠JSx4y١5pB}uVb&fX9[ƍ![N'Y+ clf@LT -!oj*x+ W 4IMx` k娣qp[*<^[؟.W`? Sԧ2 hs"*z>nrg5BG^|1L;Qڏ1 k'\47#r"W ؁(C/X=~fe\Gk(zx MT7_JԴhF=m} pb}>Ȼ.sj&4]a&3 *'eWdL?SY!S!Jd *j`DY@$֎RL&.v^]i+{ # 21U&i pOypbm@.v$ZQ 􅪽ҚWfv9(㑋:EO.K?5^-q2_0ﰍ#0)Sep4 WڌIʈ"Y`r>R'Wohpژ~ir%8 )+eo@XxrIQh[А4ϋqűD`/w6JWfWE ' [wE[ ôBsGg-"޵0KQ|E"~ \$;= kewW#m-0:aT8SzffX-Gw 0+pk#sjv&]WAi>24/ qx,Ȫ Qf(1>t8WS+1?Rr2 4Ȁ/>9RoWUC l+9Q$k(GO7M0f(3V se>2^:U[xE*4CK#j1Nl" 8wRiHIk<-cYF>3\ʳ6]2|fELDD1ð҅RLE Irn#5T` /4_+1:;i|e9AԘ c+^e3k &_*e6[uMb /)fЭC (#BPd j[ء+{"6rǻ?vLA!h>woZ(1 ?X u ִ J'17*I^/>$+S!|(? m;!,8?\8]RDe_-úxV[h Ox\EJpp% fs9]wy%&p?j(Z,osO J!"߱.G(r˞O/"3Ho jNRLiӮʒ >)E~ >be'}#=|&o$ BB Q@ÊldXQkt" mՅb[doZ[:aH`)ISꓷZZEֽuS'J:(~i>L*<:ADCv:,X3eۖ&`NujVl,nѪ dI=wE#VJ:c=~Yz3JE5DZ1Rx3k}zHx2k\兢Gesٿ[!tSH8OKT8̢/4 fGe;ʐ!=j*1ÖNAETxte.b"5INh7"1t&6x%'+d͵AF(؜E e~b?.1*;K \ɟϧy=m#h ]چu*)+j궎0nTDe/mjUz(0حJd՚@Ld_yc2FwPQZ '#F~*n+((%fRE'-̡JkQ$ dPU85*qZR'->Jc-p<[Qaf$[&^44$J+9pA:ee5V1:>DT3bJh[e;#9Re8gk44%Һa'my' ,'ܿbMH?.0c7Ϩg{M 3K p\3ZOoRQ,Znw@%?֩I+),=S-pDd;i f/CA)dHlD1Z5Т4K ^@2-2mbgZ+#2V;J&Nn6yq0$ !Q#%SE&m~i57f ) \9P\gV'Bϐ(&J#xzQG9gVxKݒJ_ vu}~zW Tp&6ɂx |b\uGU_O!%k(-Z Sxx.قWAtv-ޣ_US.9l +DYQWе㨊_:%+;+98TqyѦ1\)3DdDCqt7fjT#YkYg bS(k+2Q]ɀ|#VW;3Ldw`J|şQb5r;>ÔІTqVqaJ X{:pJRqU5ލOwVP3kTpoa!%4-Gka`/@1/8z^ݕסĚ1YB=%ujK^M*LĤ*M\n8%Ɋ_HTqr,ۈֺ(G:FlMzP)ybm zxph\`vbtz,a j&zbC$QpTSAs`>/3{ n8@ѺHcȮ;}{Q@S]oJ /nBZ ?27tVS惐 T#m ؈fLHxLӟ pɓFpz?w`W^l&C}a#/)_3D*H-º+Ľ \0zy!۫%OeNX=ص!LnꚌ.fܐ Je3B?W5{IčS5)KE Uܶfݶwi*Ľyrn>:,\ !S+,eE`{)x1Vc/?9ςR8=>M?~}Ka|. 4τ jPJ=8'Hߓj il)-pƸC2)805=3M,T*Cp0j4$6)a~._:`163,J9?_AϷch)m5l0~HvZ9R!R٤'pt.GJԗhpoQےwbv:;A6'ʗ=zg"[ Ra-l#Eá$?8}3ɑ&$PE{̘ DEhpj:7!m"Ta-$Ѣ 4mРC {Tw 0Ԟ WFAR>@{̠MK62N_8wxX "Xb@QUEoX DSn^T N)Gk ~<":v7#gXi^M7c/}%@SOĐ"kpشkZCmGR-=ޤ?ǰz)Fc<C@ʹۏ"cP I8WMv\*/~M >-q6NBy S|!@K4e}kc?nu9#f3gh+ kF=ykI4bmqa0܃UvU稪&P|y}vfUdH 0{??0^uNN_\ xM 3sW)8R!GFݝc^"OK7Ù䖋Jg>C58}5.rz+akۥMѿtAi0 2)C CW+Qb]G@Ҡ 2z½8]2Gs[a/z8n6XM9 t37`vT f Jۉ*nȈtuq\Bŵѻmq`Ǥ* joah7T{~9eQ do"\a۸WR_fys4:N$$y=ď^Ke*4޹{uІwU\|h\RM#6@]׉yoSVA<4t8u6sGnWQѳm#ՏQ-h! G^fZ~'ybӶg?_j<:tziٚ5 w' 0xҟH2l᧲V1'0G8/\`NJ3P&fx sb,BKQ%%DJwEh%f*Ouu/V~ O~۸]/ZUQ,_lI "|Ru3>|d4Ajd[4?WC`f,AthhjG;n07/4JB׵Ec_˵AWyԱ0ol/l88,LfCvGbpV;Jk4tvWɺlNDǣ)uGr@ܬڪ 6wJԠ->w7ߠ&)CZ-XYwxfSX!'VTN s o ̩DSutd^1ME p\nA13*W:ƻ0 {kO.w fkeDhco(3H_3ͯk零+;mVQBA|/ /=/^xGڇ$4-)G~C:S%mֈbɭ㪗BKn, ;wC[YtM H:gjx-)Foδv/kJjfԧ^a"ܥqQq?XN#nS"_7bu,>)4ΊvU=QRTW!LhX}|PkvWI+`y>L84[XrH離лL'WE hNA~)eCl wR6S9 tsSE)ւmzM>ū~OS{MTS% RqeʕE7l=z8ť\m9`!oz>Mg*`ci;r8Fj!hexYr 5~g u~+ug>5 4 ,mFNf6sO ЧYV)C--M4TNOOnP7׼Ü \f"esǯZu')QƧb2b-K+:e秺8 o98`6|OJ} k-}gZ&^l|6s>t'P.Gk1%i; Lm*xzo\̟VeH& =5$SzŃ]liBw+4YgP`nߖ5ɪf>H1r 66c2Ft[mRP~ӣٛ3W&0͝P 6̳Ū1{N9' .N۹>a$;4q] }q=b fR6Ͷm.FSoU&kF<"V~g _Ai_h]! ]i&q W WZk6"i7kՁ$A,3Hz\L@eŶ|i kק86j%M2/kpS)?^@|L'XFQ}zڟR\iPm߂~s/r]$3Yﵥ!Dt-%"jix72sBPz4Rfq@Ɲ'CmMhg"μkZfx9n 3eal)E× LMOOLjG/.a\,.[ag0fE~ Z~:1؃8e޸#ˊIJ4\=@ӤZf=a.ILcUE5ŐI9eQα3V A<|qc YQ8 P>)$';)s&mE+_$kOŒW*5ۏptk`cZi%r6^RQq$޶5 ºՈ ig/+aB fA/ZC<j&ӡLC}h f-Jo,?ayt֭ R7~۵–%Q7Fb j7LL{EAvYj#zH-b+ɔfx=r@bnHq!wz WI2,AC<?0Ink%M|_H)KP 5Qnz`-#{dYoWPr-l'Nq1NWpMYﶖWzAX3lضhh[Y1k&9I8]D U=_l^]VXU3%3]`Wk}pN@z 1GX C,)J*$< 4 ޟE.BvR+oҰ+-uq{[m+/e 4*cqN3D9-mf־;G5%>,|\k'eʇ]CѽF$2uګL:o!|HͱcV}UfgE{HkBÊO * ?d I. ~Mz%< ]1@v?4uJ*n]14{އNbxGi`ĚoNjmp,;sݞi *]u)F V0zq$!/5WD$%g`0VH׾A7q|S~@[<:ED;:4 ӏ!Um0)-lso@Jz'fe P+*н*·t¦>3uѿٰg{|q<6Wcz+6r$jCz`?S[wmYBWtɱ36Q[T^ՠ$jMO$e6 TKpp򉃲};O#m"]rHPZL3]EAGn:pV'u@- !QD` g FK `h%Xͫ^8ګc7K-xT4z ~IJBjwQG{5Gu!9]HHmJ" ]B?/IO[PHz`K!cP. Wl {wd㣋rUV6YNN! Bp#QhlS@rW)jj4uVi~c5="Os!y4' _# X$ő-頪4: ѶrM;2h^o6H!-\Q%MjU&Z3!^>i=2J|!8PxOOw?/LnݜWSfK")TbS* [c[^~fO{R.NoRewA-@M$ġi U=>X\Gr á8㜵؋r8P]rk?;)pO@)!G8 @;r7MsGi494<_g# 68"^yW Hw¬k@Kjw eLutQ ߰x75;' /zWu +|ZBTX+"jGh{t\~46iV͚-0{SbݑU\Y0XZd09 K2Nq=x% wX?wOڲGHs#ӥ_%W"Vkbatߊ{лbw*V$PLO(U{,`>V +X|{ G5d ^ s莹O/ 5cA@ޏŌC1g=G$d׭)X+R J[պLKʬm0(-Ԑ"^U:t鹏&zER?긓Ơo^UL)t%*h$͢Bk#\<W<BT}~=@>m  CZ5,4W{$"vKnͱZ2UFΤW[DN}R_lɠ{~f'"% #զ_:J㽈 ƅ%;5-_fk毐p˷ )ǧpqK9{1c$'B_inUa ;|IB{o9Dj䗋9c5AK{r7dEz-_@P_}$fd+R6U0z6S"\S-2wp%N%|ƾ-c0@a{3^g*I;Ǚ_DTӨAۛ˝3s d0[й)HG*}'W\'2nD{o)A Ҁ&ϣ"a 1S8p<̍m@(?sgHo @cfπ$I%2=CByAI8`4휼DZ;wC'-u(1ي !Rq7 T-'{u?{.wa2]Y9 u@AieCHT0^d$9L7DmhHhi !0/fXn_}y_O*.S\j/+ed< h] A(<\q0.:žOȧ$ǴR:Tc{QK#Uof ?3a*nɽh tn"hl&tm;kBXu{:F!8j>ow ϥ-՞Bk?c6+1FW.T)71s"y&=9/@@" c?3(EQܫ@Oz7b%rtɹn9X >&XŃ7)Br7mn2./]G/~wmNИ4mwA^ 3 ${Dinaj]Q q ]ծzE7y綺z]1Wpo.ڷ$n/+1) $SEąJuUM!=GrtEɡ^8xxLB\;,nx{\T SUϝ{=D9Otּ}6mAG"zA`mW@y:AU}3%ysd2'%Hq@ju2#,oMNjTśw. umOMֽr!wйlG4B1`WG29K(twի}_qO%G*RG WWo$ǿ5ж)BD́mS.h~7٤ "*'(HZ-_ ԜÉ:$,=u)DVe36p^,ց5s¥~^YA#GFz+KtQO.l(FC=99.w:hO5]rEI%g 1ZT-'>vD+S!llx.thI͒̈́M9I,PX{fGXh-φpZbL!e~kTH:B9j}ѰZYf ڟ4 ޗUQw x@o$y+=>-XSG~Y( ᙀÞ|˾jl7چ30\f3A7 `&M,}ht'ǔ/x*4onJ1?KA9&L$".}~b4 ^:+c Y:cЂj'Z%}`k2|aծtj9V/K@N!nQ?+ ܧr_?BUeGC'MN36#@ g߱J֟^kAEaAʠltmx/uؿwIVB,~ZN|oM5VlD%Hy_QM3}޾: lӳJRHuʹeon믅\Kxh*IB3@W>ꂠZQ{+[Jc B}PZ*/`2J ,Ą~퀳K 3aj3G[ջ_ cy]m5V&{1"9IGq,֝xs^YUϰZ9".٧x}a- m* fL[l5۔8u%deivq3sA8>s;Ȏ@V&b%ckxIN7g\|&t lh?Ǎ hx}b|:/3;x{]LYwEK7ٜ~Ghz&X#Úп hi矃ׂl4+A0\ SF0p9 PZ(U? F8|\h L w?C3(О8T !I4ä@(.֠ %/ X7+wLn8",$QlkdE*:vU"ۺ*x~±b@ˌsg=BD ͅ]Gıߡ%_8mE+k`:>&;5I'I"YG=*4ホ:N`ᎎK'NZÀʹ_}8NJPP/kϬ U/DtIr(c?ԭM37D>g ĩf%ᶦN ,VtPt64q{3en& o߷m4N0#/g /@QG]z {c5Ŵ>1agqc:kŀ T@82~XWȅ+y<&tݾO*u1)C!w ڣ:Co%}E5pho #PP!s-n0E><5q}K͞UMQ_P~'n/u7K\[+}x_Vi6<ʘH7h6? 1Կ(B%u% ASC$r(Qu<,I f`5unjC "i){^t+q}ǝLU gYZf94cdeb0b7111676d3d143baaedff207a8f1d34ab051f2261d6f88c03646aa313c73a7379e29a659 7633af7870dcf6daa19ba6bd207628594e3663e7 48f356fb57a4f791aa7bacb846a57ecd048f2eb4