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 G;x,T ]/ HOL-Quickcheck_Examples:threads=6elapsed=79.239cpu=206.496gc=15.0607zXZִF! V]ŗXiɟd)&]hS.J}+%$|Qj GWsQ{wKrag=G vo+Oԭ<b.kA>\嬛E,09ԑq("Y)$3\fd@)U&VE&E@MR@CхYn=A@(=(Hvրյ;^B8DujI.uP[m?d]ݶ7#qoMg"TmyEt kN!S,!Yߛ} ߂a g-=pN!ҺzIP+,: {c2&//MȣQ{[Jݚ=q\ WY> 3h.}&fq٫dH't!R@_ZY s_ճwٱ0I0ĭؤj}t8Y J`Hӥ,tVz t*ڢhN!G7*Sp\`~N:!wEy=={9 i+GT?k6[ NX3YV,i'6w?>{WC !\<=0(U[0J:Zbg. SAd.53̠k Qø82={F_ujr_ՓG[g )(i9U}o,6q+{$XDzc*ęW $3yΣMo:As ^|)Y+ğoVQ Gq׊ҐQjVh^G$0i9)8Χ (bs 8WXbg3.}͢^P&k!,0F@#D 7{Fo0\s$k:.a>=~XR%ۍ x,UDc?uX=Y7M i%Q~k C4{ʇXs/49r}=e >V<.|k)v<}]5r *>qW-G/].?4ٚ2p 3zlP.L_ WS^ӾhoԮ}>}kV4j;SK)!<,Zý[g |L m"A)(Qè?4#](_\m<2-FtR"`.S(h+ˎ2Ok& ; HOL-Quickcheck_Examples  }Rj7(,".iuKi {;۴ѲyI^5pd#ޔ4{nIAYYNI. /{of 6RJB_ [z7KHVdoDnEוч !MAi`]~*V$O-WN7m$A :z1>Wv!Sѽ }>@_6 nMYҬ@R D.Z dDo4v1DBqwgd%'.5aJ PqVCL(/85) &ܧ֗>#%ٟa=2#B_>'y> HSatt7x `;xh /\|]5̱aa_ݣ`CW*Z]4QMd|#!}ON Mt魃&H~W* i%?SySr,zIbLΏqFW*Jbb0(lQI~Y0]X%Nif頙OuL䌏9\T=A1Qbsn ;aI{\t: oDzъFOD. c¶-sXÍ/zOW;KN,5D-U^f\9:uwvkSQ1&ZNMȗ^Yt]UHUY=Y`Pگ ZDn g<4L?֣9&YꝂM{b}԰2ضV.Ќvƨwip+tGh dkV̽2!.u,=(3}9^x$'ʁ8^.HT^]-(qVog Iޠt={Q.kwHqtSi=ժ_\x,W$(x#x;K$x1˱6mG"{ GDOl(vE-4J*HI}濍}QIeaR$pn7dk5K_!uHo5;T +hQ%FWϏJÿOO.FJltN3`Əi=*d1ƾSěa_)?DLUY@5ؼwOJi/o仭PN 1f'7X0\RG*UɀuQ1mmúg,DQ,[c7\RL~)ǐ- Ϲ HO},,7UfB!zoЁ"ތnfI+d|XdzuApT&HQvĺIZ/ԍHq2f4بNy@R.].ŠBrfKaˇ)ٰxA ~ 0eGWd#.~; sxB(ge!!cx PsdӨFў{L!O,ak%g(M1-FB9~7YGeA)?(턶iqB1*GDg#8(KS$w5d!Nlz004g[? oxjmA>v~AxA$`<ʹPusT:wȅn8]\_=-8 Op('7ܶJpEc/DwoAuK\ Ųp*]GNQ誰Rr 4l6c _9={Ȕb@vԮdp13&T#nYJY&xɎI :-f\Kx5ƄmSQ$SDѐm2$*$Xp Dqɬ[h\_L_*ekKc?lT+-#kV rL hFT"+p4B&Z^L|WLk 뾽8\:6Nu1 _XH9 }[Zs }ժ֖>p3N.usO3vqHvd$( n in9Ŧ)l{} %gm85pvWpVh'yu/V?:0Nxfӎ1*7:JӂqwÀkf_ܥа]mk ec=(dmx|Ge]y-鶺c|udb'iϨV8qRt {uQxFSÓMV),2 |R,cRstaR04g=:;) 63v v]]dǼ}-އlG"aU q4"ft &5( v{nA>w]۪سa*7N%+j2!d U#yr1?jǁ [S%S',ƀ- m~Ф_. c$5'7Bsx*Yh,}sp3uсŦ*/?}b5RdKʝ>B8SEp[ i݅UI" 1)%F2eZ<.:Q_VNcjh?W 8Y;19H JXy,kRMoUτ-FG( @ ~iPp9ζ+(ڕm~83ok4TuKsi(︙`σѠ]ʠ0X6Lzf#U Z1V9h;6 ^8ˊp7,w"*cqǔ5-kjD c*ЀGV#䔾/"|%x2Xu׽ȉ!sL=&MQ4wQ$ \*nbpzcvz"d/3L2bm ɢD(3RN{&k K{Z=AiRNGlo9leC|^pzTB+oUz4->=NjwbR֦,; +ճԟln-Sj&ķBqOae 8'pQhE?` ekL&`lQuI9=}p:/[YM4f0" gv-278x 2GxXc媃| o䎢/EN*]N:>kLB8UPPXH|TԳa܅K:9LaL|#Fr;UZBǿ)pH<41`O"[w S"˸|J ԣ6bakl̴ЬϞ1[ 7y⼦]UG|G>:{\Sߐ'c:^$cJ%rr6kXQvr~)_1:s9[c̓cX$ zII(smg*C9xD0XlaZJbR)'N@*+^-ʤAA|kbBإdEOW[?n\4p3乢NVKݠ_,g>XUp]xXͲY͔n=oxWt?=%Q5eLy3\ :HGG+g~z);1a] `8[;E8I5HQv3,cIz20 c:ѹs'H65R<lǺJ~seV܄M^ʯSŪ܂` PU;GeV۽ q]ڄDFU6E9 pQhú/qײ}iHa=jʲJ^<ܓ)%b"/0o2Sk'EHʡld\0gc1C*`GaeM)M]Q  ‘#cH?Y:4Eg̸ O uSЗe<ͨgu,Pl`>0X0هUƗc%9&0avb'B=Z3˝M,Qs<~9^qȳnsi/J5f0)3$kO8*DѶ" f/j)ۖ\&s~'9GwɲU$V0aP/q [2Lىri]j-)!S'^^h F &^t-7Zr3)^4.elxRQ>Dϸ|J98;{ qHY! %~,!u"m(yp5-DɋsucZa&40P oLρ M Q S"5VG8'@nF<x;.p9FW^8 O_#zV%І23"(ʣfm]@X'%wGy;rr4: M #aa˰ Q ;ZǍFBwu"ec`\чI?P2nA6OH:B՜( aSnfMfrT~jɏ I?:e&:u{ {Rpnv9UVZF\K=Ou+_5}v, &6w2)w~ V .GIDvsU"0ʄܰ&<.n=W| $siN4)B=]Q(ֲ㊀q[>H؆S:fjrg ψڡfҥ+tx&)I)F05&x?fQO\elӳu 4Ä(Tx.OR LD%8긘!(gِL( r߱ } ΢]{HSGy]p UR$qVI3vޫl˄0ybU gpR7]n'Gp8Kz(qW<Ƈ2LjVi+9_iUm'̵cT{QY,p#OiϨRIZal2Jw0 u0f5~ܙC[_5*u _eo; g=2@!1 cƷCCSx!p]yw@h!fqѸFc:ŹV)k-Hv;L(2$x$À4gl#D6emٌޥnV3k|/leL:HKwƫb3x(," ?6j@"u*LQ&b/BwT5h6` 9g6[ә7A7uoѶQpV7;$=/l;E|%_p<%vŖ۰Oص .Ƣx*ހ@sSkZd|J X,ձd;:'[ƺ䌒й!Y(z( Gd7#=+{/ Œ'Y?s} f`/5=Οwܱuv ['%ΐ]#'?ڲHv޲(,up Ý{/?qcr?ԞYe~0.3 Vr|S%nrkVBPVIý+6`vjVؐN&YLXF6TznzKl),I/W7b5M۾? sQ' 0ksa3/ +hbyAƌOLK,s*"~m(a/ d>ZT7Kba{{$U0꧙k@Qe$AX1-#M '~,Ưįa $AwTE;W,"F\ o$ \Ca"޾JԞ,uz"Txqe5V9e%B4^ˊj^뙗4S`͌^;0'Q+l{b'IsFW@jO}U Ox"d:I~XSKt9YwR t#t&5r.6;."JZ?G8ZX"boɹ٫W 0[^nEC\RxD6txxˀI1y)UL*͵"j?ll3D(PnKǻZa[XѳlzWGh+Kv@I `0=?l9HPC7p2ڦ)yyث^2@d1գK{q#[ ^ o]Ti,G1|uUy}ֈU so%uд1Jn&TP˸.8 FCZnZ,YqJ:qdZz~0RYbbB΄z߁|T,' =\&dXִ@tJT5ͯfm03r,gAק/4IԼ.amj dngFime@X! C{nV(RU#lwՈ1/6/6>6+$ܬncАP F-pyZsgpP!Wϼ'xɄ2[$WuD?q?vj*y"O ZPL5 jfhF1[h#kBCsoB=[F9s%W} %%4Ű*~T5?ÂOً?1i~7yht J2$-i߻Ѭ K hL@puɲZ=ZƈX8UUdwwGؕVTWaIxW .}co=pFj}!ۚyB:*Ǟ.8NG)>beZvჍ7zd iS+--3'5MbBJ!@*_>޳SE`ULi:W C@ !x-`nAޝJ_}'zѦ!"NN#1 #y]o!d\@j+gqBs_[G *ydM#OhVaL8T)(H:sݲaFŅ;.1}`F{0nvnq24,sQdA܎s_ e8C}}Gț_6-IӉk]{_bP#?_.X n妸+(xyRcPA|%'@(!5TٜMZ+OFC~' đQbQ0sܝӭzn}Bkvϭ9z/@spN:|$2$Lǡj=&' 1I͞k9iԝfpSp)D[ S>#KIoh"TZPvD2'06!LPutǶi>U63_兎 ` A)]c:[m]HЗtn1!uМ[,#]}ǽ*G3G4(M١qȐY:+)$׻*AFwD=wзtIMLQkZJ;.S9V TtV7nk9fwCFi߅2ZO 8&aU2!ԅ`5W&(0Ɔ|J a+w`(g[4jԢתex?v-V@ V.jO%)>zhMto׎|00, zK60&D[(brOF | ͗B[8{n, U&U'sόH(E' Ӓ)|npzBfM:m[zxDОJŽ h;邳}FS<>arm67Q po[/=ә㴱ȁbnTp ]#&KytMt'I0kɵx# ^3BqW!=JeGYj*s+:R6KGLžlrnTcnӶ^^6\䭘#&86([\I*B_u%(O]/x5o=SD |]DŽI'Bq  4wH~kېWi: JoZ R+u dQӲe!Zd"::c!=\JpT٥{"XJi\ oO+_Il͊0o6 Ҳ|̙Tx&I,`4,F'6TJaUC@nY2qP@!HEtrM?:OKYx0=3 U e }mr,qy@S>TG/`]ׄ:g<辟ꔱ3iZ=zo`• L/EBGVBU?gWs ֹF ,g#a5W;%+n;H H خ$1=5`=ȏ8BaŴsl7x/\MUe<-2GgO!f̀<5 db h> 5{a;bh\ɱTե HβVOs ({hAb~-/ZəE Bgf([gE >`=s*Y 6b孻p6eh9 ~Y'*ZVqt| wZA׵30k7TAhԽ6;؟ܞm c^ N_O+pVy7J= __JdN5TC@~}P_SEV-u ^#;zoeMKWm@L+ }9?֠!d!ퟖx=pbJ_B3C?3GJ›}= VѼ=TO6ȹ ƾP#E֔WS aV {^Dw;gBbycdɄ]fW|ʲ} ڤZ%U5b#e _pQ))%r{@-#с wkҽZU/~3+vKzJ뭵$7'2H mYKUXZP8 T UU:ltmW?.6om?fʐ?&ܵq]>;ߨ^G߁fB v4?J`>1ӚEh_߅߾T"6DRߕhPv#ź\iaLcׁCմc{<`W=r~bٌE)!IؕbJbpXd(pN@:5g5piǀ3C2 LƥIWϋB0a܄d"7l d N漙$/mzw)_|7jx透49㹄^pz,_2] W\^TU}vy2\FϻevA2vbhH劎H%4^0q@c?Zr쎛iLu3JbZiԾ; p$u5t0Le2W}kw4WtM~֭1{6N2q_;M;N P~n:e0.",<7W8GWlxÁ E-AkAzlߧg/1C%8o\-}=WiI*쌯K_&֭+Ɯ7X1SJNdж;!˵tUTDBcXlWJiq%HB#WY!+̸wn= 5'Fkmr.h#Sxg5A}kHC_o#le;1 252^+hqv􄞼5fܼjkPla;Jx&CX|”Or ĞS;nh[J-=fL_p'Bg7 䘋ǀ{r%t]aې+Y|\ 3&f~"}] 41K4H') Gv/L8f(%>Jb,+(F!29ȏɳZ7>'RC#DuS:l4٥5a9>ُt SӣR%^Re3f\~-\7ܞWAFFʥYLkD0rq[ ǥ" Ꮚ ɍnM ŶNN&Ѿh1'0&0`QZb :k Ehv{Ȏ||`4xN?yXJkӦW"q)TYGMGW, gn.3=6Z1ut50##0,a[E$[xq qMɣZ fV2,i^~EL=CK/^' >=)$i;~N} AC:q$DC:bdA5 ZFk_ Ռcznժ@IOL0ɱ1< ?"A$pWmEC{_"l[$נsRl^}Wva04Q.E] 8}2wyO2|xڻ97f׬$4}rʕ?ߥe%*mm؈BsVUaU41"3o> Lb.aP>yPc\\H4߱S_l42(T|z˗eX$Nz/DBCamu` ,ѫp[rp'I A/vCڪS^Adܕb*1aO/A_A0Cs@ǯ{ !Oe 4_Bc eas","]M0{x p}抐 fiR\ŁsцcOn}`4SKLf``uykmfLgOylm,qt }.iq݂׺2~"AiDrn(\ /A Fk@q[/od\w$W1<!V!{C1ȘH!cbIfE*&R"}S5!CxkL>X=KĀ#kr o׈vʏhˤa'. gJļ=o4:>5f"J;-vzgC@̼wXd#T`-Kh3J/\*( fF;P`=%s.LNMç$`nAS1lj%nwܶ-pa_:mG Umt3z_yLO:AX7M47y},($ W]rj>lΪ O6b+O!2DHn}g5rss;tD; Y@Nq8I#TgwŌjZVdl$( U.9}f(\vuwk)FwEԘ-׆%D F{Av*qtlxJO|M;3 ) y WS;ZbDtߟS65ؙwY^/݌1'NO|![gFZZ#^~N Yb4"-i>V 'cU(1L;R'wn?XYN!hf[7&_)[SEL2cf#y*$pFSI>R@@ۓ& W5^#I.L`}䷅F,=ۓb:j![$Af6`v$VTtxЕʀ&Yy3hk;̅\:s~oh*; LDx[Ƴ@!Sj9_.| 4ln$¯oה&Nv\ HQCw#C7x-*H7˃{YsBF!Ygeltȵ'!p@(^mxm-$h(hGD((A0gdWSx'b74JSQJZ7x*)"׳P~Ȗb4lyָ0ȶ%O+}ASm8rq\`$â :G!Ytt'\Hж s >ҿQ\4^%XW^J1qJ(Q%U HG*F}e"!favڷœ|\{߀:Xnj$ 6 6 hǙG-o?dh}=q]Ds<Ձ4 +!wfK0y$)2oٗ3-jxp=TK/(Uwt- \%AtApa"c$l`a{XH@t(lۉ{py\ɪe;kgMaqSQ `O+ʻNIp@S BfɏP *gZ{U ɦ0L[,zg_mIx14ڙS3=@qf3%cҞn&f3F0dSkQ R{|BLZ<"1,o!x;C>xl-O}k]L:$P2fY~h3)ܝCz8F~_b;~H[F2 !,yuYĦ't"8r`V7/kEAa `XDVe3yq^cGNm=uS M~r @r{3`$ KnikD랦!Dn޼DiG0|Si "%U(ؗXzNղ :FHpàXwC0)\۹w]}5`-ɞUgLa( Ne%/@vVO t]{E*Vc vw/@0} >Qe"y@`wTћ(D!ڃkfBx4u":ՂBlr/ Qts` *1?RR .غIqKm&nq6YkdpZs):j y }EoyDzNNR˓k'+7UEuur[%}w0 jn.?~٣uٮJ68hQʕXO+cS@b51]"mlLhH[F9B[WGܣYG7g;%n `2XH!W xQX0S;AsZpk0i Pg'{i=E8kX$IT'`\BF1ؓ H$9I l6V)7gn|8zȮ416bN9ct&_"6& Y'iX42pkj|<K7phsj]zuqBm(¸dQ2qn)NAsUlI+[*=Ny/ª(ס$frr*JmB,P8>h;XBboxAw}abe  4UfrGEHtjVͩ4M2=P%::[y7۪v2?3DQ2d9T\\i n Ӄg0'1Q(bBIAR5+VGs#Cwé>'1ؑ |9L]Z!-@4kg*t]L6smf, 0E~y5[;}`u髍n$. FZc؉9Zr`ɶl^n ,67s\|_ESj; kAC07=p :PK@)VmޠSMC4* vtnŤ9e0r Su$Awgݔ1_ZBb,8&ar]<ܶcAe ^|YP-7Dӊ`8b_?> bJcOXM2 M9l +}#u4w?U [d`A356:D:H6-1>•#$.M`YXAs@N_юWJj)Fx'%1fmJph}@yt񵰰KCyqi7]3|:Vld)@vn.Ҷ/W"P8m}5,;|z Okmb4q΀;(,VۉX*9}YJ~nS8fEuz B=aBcu]&)[پD+,LJ^, :f65vmuQpZi~RU/|G0~>`L>]ɗ[xrs UJ 5ƵP9]Z85 UI4ZaxE.<`6 Q_ud >-}/Z*=0\) }Qmxb aIg9I386A~=kvH5J夠CBwe'_6e6+M#w ,4Ty~C WݧOiȘȸ Q Dr$ GcT1HDHGBvP}EWB=NPaU熑fDY#$qeF՘ÒG3p=!̪դM 013^8ӧ%pGqN+gf,L&? y!)pm;%8ak'dgmi7Z;^Ei?2_ƴ[DL, {aM]wlv>/ R RVkSp?Tʧ;s6 rʉ0fima^v%ZF^0N6J$d_z5 iNGIis5X1klȱ'K r^'!W՗"}Nh7#6Y)_R,,`%F5T2Txw.]ἿȀLH==VTLYTƛ+ 9َ7TJu 6`!a=TOW}ٵ}@]$هʦ z½uzA(G ~3'v ec@/?@q=ETDȾfJ%yDhR٢'Â}r˜W<:40Ij|`\58sPHȢ)Vv{~J֭&І#w# Oej K4PǟX|LJm:+{(SMB΀.:=)%1 6ŝEnI]9qwaO PuMy[ EѰ90x=Ԑx Ց~csceC(^1}zA2rųC1IUbxxjdoOGiq85ں~4]@2fyj!{ǡR̓0!+ !B60;Љ7V") ;npSM kO#`S}~8嵛ZgqNl+3' aAtLYU#p5 ks>;X{q84^jJ<f: o8_YxF\"u1 ,yE9i&hM[ Lr, Ci@!Iec c.597&tïW+{IcX^3A}Sxh,FSie%>;$ B ?[E{ .YQQsr'{*>&Nd<(:?ƽ:TO3ҿ}q 5y$)$S5b6)6$7-['cpCU8KXFZi ݂Xc6.!r܊~Z@@|7!g|{Ng K&/}m 0eYI&o͉C?akwCbS{ATe-KڍPMJj"YZ3 BSxz.?| w\Q`zƮCn Kav24tRw7uUhEUz$kbOF6/c)<X&PRbۥJ)CNh$lyŶsɉ );8 1'ݯ8Eԥۀ`iU#b\up{m$~-1v'-n*)by81j]Pd)JGIIZ֧O6e!̂wƅJ*BPAcWZ'qɑtT+2ief ǥDzܗ;rędXZ;O/jJy뎁c3\C 77 xATPsx]9=vG7d>Sm,fTbjN 5Q>{b)g\! ^^iE*ڋT[>&z < }[ç7uP Y |)A [")YUvZUB6q ).>͏vL WyZnZ1(!;kn| ͓*Acu`|hI/]@MY:rd?c#D mߕZJ}qRT,f!a^Ӝ8xT[JV$U/\Re^iH-wcq9Zaq Ay)$|2[tbrQqH?z P6[,Ҽlڿ &|9QqJ+u!ѹAHQT+^%(8 nF ěaK7oY"]_s*@A~*)_=xHRC2/7FMNNF5=&vJ ~ryI3kM6->ȷCTjm.5mowaLZJΞTe2 @ P%N Co1qϸ^gb%緪Ѭn{x́X2s !9^!oJ z0xK~psh'ʿʦVnf,ꈭckgdrGKK2{Iѻ5OD^=:W @:?:.M`XHSE62q&J,(~Li@(=ZZγKnIk,?rl)5ćk(OJ܈n815q_vS0>G(#(Wn[T<fۛ!˞ei>> 2Qy,}uzPE=&` BkĘ,V\`U;^@nru|Mbrzq 99˃$4tD^gp8}lΞ~ҽPw"R5,3ɇ,K=q\T}\F$)竵{ؗ}a26Q%[:JA6Z3D6 ajUJ9hLLPƣbZ!R[J3,.B0DmGYLM=;Fi#4]ˠ*$I(e&,_?&\?ljRq5}0:pj7כKwKňg;V+(cS*ImFlQZJD7ުI 5HywSןIo 3@ j9X%`$[F80fc FX#QTt4'|Ŧ'Sz_x8PGTeVEg^،ȷn&d{ R?,ɑM̖B.7d9O38P; =uF"lfTtv=dř3w̵c mGNLE4?@fzoC'VBi XɇH 9]Zf|sTSEePWmQaq+Be 9 WwOOߧd#wu&10MLǔE]؏d+7o~swa'_!+r@Zhk|#6^cMqUx>FP_t-k?5+ Aaq) ڸm׌'cKY9ק'x2Ĕ|E _v,`3AlUML)C{uԽ3NkٔG$ ]ɢmR68%ƚXR]~s8nl-A%h8io".\a*`.6k؞ o_J5lώx3aLy x`GۿV zSELB$k#o=rhJaɾ]ᅄ\Q/Z9PAw+Y+_ Юy~w: PZ;ΙVkP+`{YMVcb?u1~V+_/D jS1PB%+ޖc.w[ftj1}Zv1HŵbhgKZvlX8GN.?*|@ǂҥۡ(iVk$Q~ȍ9&n~b-\&]4Jv|lpO8N J\f&I}gbNxLj]"*R+/H{2H4\=7 AOn}_܃Uy.nu ɡR"Ë={x&Gkc!gi$?`b-ކ5}g-YRc>+yA4&_3AF?!$3Y`N:n_fy2eg]hTuMV, ɦwؿW+AҟQv$͒x(yXU[C=AIWuX^aɚ1ջ<'pA6v+?[M'R˱nwہFLNIgxI*:+l]{^IUUP@{-Y,sdd "Djh$֩?gvm䉍F l匈2E˙,Q@fNFX@nco12aPCrfQHőtKפPKd+hA#۠rpEq94Qѵ/c= b @̠ES(,WMɘAhU6VHZVt`@,jqQ3K32 @:(W*MJg%*hPX?`r }FO 5"{1Q2b` `+z4^#\o f!>E".& \G͝ /0Po.ㅐ[΀ =! G_[TXb"; dEp)2yBAgd c4 lYvv3f kAoQ/TR¸"@ɕ' znmYi1Fj@+iK!p.T~,dt氺$|$~B\yF),;PL\nR2wzѲmM:8>M)8aduvGI,HKâCdn(>;ku lYrmtN8&D]2z gjP,> Q \z1*7"lPL%,ݞ?O<'R偤j>Ũju!̦k]En<8x꽥z-띴h@"}gq>lV$qz"SS7ruNs8pش0CI'(o)t/25/7&! /j©l**YR*]) dU NR7c`'3ˉ> *9Th3@ XRme QSYSRx.F\^"we.ϿehOѲkIwf w=C+no&dWeC;RFQE{Bh5WGWPJޚő͌D5NO24r{NTm[j1ֆ670H"c圽VJvC>x|˩}Oc[sF8FFOie? Yp|L*ԗ PI; xkT3 yDG ԟ'kmRN3 7,ԋ]Hk[xёzgZ&X 7XA i&ԼGa*۱S _,^A޶Jir!6xЦ$!J#շ^HՏ#^lKJTΊ$[k4 .O,@gݕzOt-h!CԜzذ %!|\HS1jO GIEv8{Uok-Gw2*wY}-wu?N+k7f@5.حzZʞq1봧=v`O DG4q" C G|Veߏ$ ّv|[4^ihQ^1 >8}w80g} Dv#Wã~U 8">0iŶQa yX@ِD3c&FEXH~nk,WHշ(`5V2 Fǝ˺_EDsqGňldA;0d% üBYm|Ywkm\+SeϭN}qc^ɉwrɩ4fH*P8z):YRXni־T')[/oKƍ3{EEP`V޵j2Wur+M=(]>ѥژ}ϝ.E;pq$-󚮟IuY oLMCH2yG!.3l4h̥óV(?Er.jHt [7Bnގ,6}3tܲ\taE!8ө=둢[$%~2quEڡT; P=Tf;b'(/][ƙN /]:|g>r/,ݵ.,f #B~iZً nl9 T.7nLҏu8f-M4`,t:A4RͰr0gm~ZTw@ OZ\M㸝XuV>dƟwy"n3!qq],n?VVK0 ݐ8b;7%36kN&|sl~Aأ K#]JLkwc'GeӑZLgӎyޣtP# xhL.־J/E,28akF9)bZIY5_sYksJVoȹUgmiRLiqGS:r aZ9Tnǫ j]CTT;3i޹mW*VGRHz[4} QKXwv\\(67P.]jj،*o5T未4 RQyHh'$-?4U辈9h=ia=xnހVSZ[zc:zjcq2|1q3l.) ia5lenו;_Rd2;[vƏ%D(op'7aAs`GCMeG|]{^ "EAd^.1q?X0s?*0H )Jjb<#́sA&SO <gbzk`ǻj9BmЂkgUUr>^S dW/z_+9X1د ) MsOL_>ePRͱ 1>q0?}#Lw5 !<~D9#l@.쓻L殄E 9' -Y; nlVYDl`R`עܧUטJܐGn/縿ujPf(ۋ*x1 `yԙVtJ"E+Y h҆]WF ٺP':DžunIT+ {,db3DNXh7/0A3]Wk$=!O-itި==ٰq% vŁW,aB73vUeDv`DsMV㏩@ERF!jQzm+8pjN5)n܀V7TlR{߇^d^`;sK>LR>M01KPq^gn\̯'Wcvjݛ)ac[E&>Z-z@ɮkFR G PA l$-n;qX6>#i7tki9 J_[1Z Y|Q1*7xgdgŕ1SLAe4ud,_:1$~! ̀ zMSf6Ri]^_G9!K(XـLxUjy~Ln3j+rU]jHʫzx^>db%N\P O1&$oL4ƨڸ:׮)$h"Fkx[3D-0pPz425o.Kr\`ʫˢ /a峞D~Ҟ7J|% O1ky;LR bP =6=D_S'ePh~-+yqj8L6ێP4fok}~с%]9W 8V_zuU{˂DɯS.gE~B½tCAh/RDD" Ҋ: ZvX &J"yYo@5s΍qk+ *^W@Si|*M^A98Co}{'!ғ)UXT"~+Ah`v邹phav@[Hz O-*x/:6irg˜*u$}tUgxɠz?fRX]j% uiA84 =Ąp2GɎ޵/J Uȶݙ*"L%~HKc4 @wJwI"K_>Pi]4== MI1aWVAFN'j2ɪNkwTUh)BE8tˊ]$(Ig⯖PJ~c,; Җ:O2`j0QIh v"[5J؍ʪiGHF6Rt!|b1\K`((/|*G!:aϷ{{Qb1Z~Z ӫDu%%䈖Y+VCr084}\.)OEb1ޢѧV>p|=Wnat` "dL5\TbV \6%R{PTXH Z-ͨK;"jfUuU^]wt `*TR*¾pc_xBMP.彺3z xw4Rp&_ё t `ل?a}zۏP@p}V;5 %bB\Njo3 @Va$/N`j܍[ʟmoo ҀPiij:yHl`UU]~,S<چUqSC GMa<4kD_+ZϞM$[ќVƤ]FEِp<|6H3Į'O6 UҨ> h[{a6V/ OSMy 43ZFga5]wW,[))TKn8 GxPxѢYqwuRԉlܕ{S}ƲF֤p lmZ'Ƃg0Ĝ%:.gQ.A{M QK4<F(ɛOek>n6euͺ ϵ2SQ)f›6UZ2(/8l\:77Q/ڭ̴ v~k G'-HJeIx#-!''ER~ ޫ?Tu-A_W9F"՘p}u G0>T Tʗ2zDϺ;DUQrΎ0ݽBN6@4"w υl^|q|ޣ򧅀N/^ǔXOeLCMd 0Ve' Hpx@ˆ78a:'xepX( ϼbְn+9EHqJb^D ^ӂv_[P\d4XGMOkX_2G?ځF ĕƈ]vhr:piD\>d-b+3^SzHb+0 ǵãjGؖ)pڤfd'pҳ,PP9umט|D=R,'F0`ܣ08%69cx %I}ٻ \.#TIG7m,M|FbprK6i8^a4lmn)w{je "ν\2 PO e`>_ b= ʑ+*=2|6u O03dAgq!hwueH{'opOs`R0e6G-_@ګ`IʹY!{# |0`v8H9AQŖxTFixtepSMWa) !Ienb@GbymqȞ.n'DKץ@QoD{Zq[FwRsu`4=32ڬT ~DdF5C<H mWY}EN:N9gӸ>FdFUht;ZoĬ] .oZCfva!_\բ)jބp[w BE΅6MnCb8x#ps=BPPs̴t?H `nB9qT@E`N`SBxO$j&o^WgذD\cj8/ TF /s(hkSbD̅ȜpUqY(_@ȝwǏ ֋@DpB$|\-KľG~]&rͳj,-5#p_בOtn6)5]RD%d|ixCӧIi {$Iإi^E菂&k6&U_1ov>+WȾ V}75ykv%>}ςoƋ#(Ԥ+Nm,W!:Óhqc?AG 2aoa/%x^såP QX.fr>Pg;C%()S^u&OaclϩR fЏq;zӸb֩Z@l&陮#Ä^C8j[[Dաq~VlU7g^IOgQXɮbY肮%=idr& !19cXE<g2Ox'X 1F1 >6.4x1cJ%);}>A9hU z릘Aœ3EQhIP-ݦ/DT͏/9'M2$i k%(qPPMbdBq#8t j?7Yw 1 L&|`c9^JƥI+ .*Ho5uӣ -52)MMO*e!JpC ?eD)f"sib2bBi G6Pn\f'fD}$5jNl yq:ڀTw2do*mlrӤsjb= e`BFk`wVNN2.}ܿ;o ,6|3W͊cLi*6o}DEZ+䎻cb ˱bI wj1@`|f_Cj:4Fvq K|@kXLq!5v;mYQ `A3g?!j'+VuJsoF/N=\s [6Gne8aۮ "3(ŶBmg-KHYtST6?_ͤ,_Xfވb } ,8Mt 3p݂ACguB:L'|[6?'b2S ZțQC&*yfBɝ6zHCH8l#e;o+V/Owȣv1j[ l><@Fx۝_KWT}8kzasVq^6 ރkv7 !aNzb>Vw.;5R,Y{Hahq7(d>֙H-Сg/W K 5D fp`!z{>+8v>Q5Pdߖ=M^c6fO>.1([ vNJhF5ur v[>N({~F=Mx%ųoJ]vqI OMTաfCPEh&oDJnC֒YjBG c&Y]OH $4 B~4b apdޤiSoDYm]+ASDKF9~L쀵T&wjJFGY2zAn0 &Iw&\^Q{B-*RJ8Š( 9|Q ,67kt|Mk@HGWl9^|}䀒Wo 8М-V;jewVy(͔^:PsQ+,M7TV*|)PYP[8ghzryUNPvu(\AIiJ45Z,*glz d6BUƣjc"NK [Gڤk͂ӱtA[jC3DЙϞoOۛ|f{Ry8F!ʌ C{2W7ﭟ\!pż }1v[|0U'FEFQz_+5*Lu655K7G'D2}I/|2X _fmT*iUcO S_pJ1j/ b姱}s_T|0L[k裘33wHLk6{Kw)D(d @{7+Cu;S#G"I>& v8hwX\/*@&i&#>s n*Qpb}zpj%V^n?rSB2[滨0zJJoeJJ5p@ւ:NX?;<[Xƌ$bcefY.&"ڿjEkw0'{[O)MI(p?uR's1' 4k > Kz!`fy7@ WY [?J[e;&:4~CSCt$naerelfJ##+f͌% VSafh>f4be;8WVƲu;jqukYwV,p^1I" 8\$OM:;2!bpīQǗߎሤ=o,k;SrCrA::_cޑ*9lVit{?n]@nXEXf߆Of%O40p㖤Ѽ},ˆX!y˓`_j 6m氲 ISOvo.,|/yX5WKxNZs/ njO(NSbj[SAџFN_~9on1 T Zwg Z3DyKx_Pag:6U$;.RzޏjKW;Y?ΖA3W8rnI!oCX,zX5MJrp,j>->Ƈ0` `*BUlEYAf=q~Dɇ۳u-#:7ám@gk?uEAC4_I@ge[sě HB;1O2]x<X7Ԅva|Z0ݜ6(0oInM$!.Lђ9"5^+u7#^NĪpP""`^Rbj6L\Ku\rN|ȓB"Wl]ţE7`u˽;nt!됔. cH.x=Wձ\x |b Q8l@vbk;O_ƪ|s$s}+baŬ*9KU'E7vPN%?gR|}!=@d}"M\6J $ oLdia vp;đ4I&ŞQMZ.&;GɅ_4ְ싨`0C8I.[U-e-rU& zAZ 7MLh$ hͭ1:T FwWtG6cJ}ڄQh!DhPO  +yL D ޟ ]Ѧ@@$w^G!s >fާRڞRW^Zl0F:d"M078m~B Oh]T<!B9.w}a -^g%,R|!Lj0஦, bH~BO&QNZ@@4yg'i+uQ(9mWϴnh%I]@'jRJzx ^id΢a/QG)N; r!0WPeUʧ^M,TJWM#-W 25";'7<'T^8'rIU-~N߽+z;d%E2(YMz lQd ,ӕ֦&ڈ-luw2!/,eRm }K&X}ޱ3\#{*9LCoqZm?PpWyx⪚ީ_\x\]Ljf_Xv"tNZ2~ڥ/&a7^4ůZ$)t{"^X. oh&YlVSz)VL/&Wκa_'/t鵺|FӉLc-T/&8P55.|qC xWvRe?ks|1O1>J{2N+? X Já0y ]~]*(RLqkN2NKSʴ\a[yx2*>"*/:6&;3¢r(Ӄ(ӫO/AɽRJNR{I߾˗e")ɛFKYD].&_J6(v|%F]e-WK @XV PMiu+aM/Sޥ|a%X]DB;H/$daw94Vxk3* aF {@9G^A s@m9tyg-`Cw}U{A"K^gIy:zRyQy O"50h|NȀU襞uKU9kHn~ 703'#f%1b%6*KyΗIiΎ2DZ1Tj-#VB%3-"*NI w8hb1ة5ho6UXJr8\%-j@?6`]PV,,CEl16!@}`ilfhbGH |I<"ڱD yspG4Z z;Nz*\a8?@Sؿ1ͣʟ1@Ơ.ڕMQ۔+4`;!.Pn7.Ujm{u)|E=_ߞs ]|M詟8}GIvTjk^hKPU^;)Tdt},JmQL7o.Nz5.RbY\1k.W@!bOxNR/ot X mRzǒT :Jʝ3jj/3wGOwKc=΁s=)Ydj F̔ sa$` ߐy|@aL$^ ЩjszּH*e)yH 1SHS{S̭o[-FsBH (ki H;E#,^ݷZ0X=V}ʬT2 JN\WKPsx_͡5RlG*bz(\iݍS՟,E3="@)_z&m0Mϗa ٴxm'wFuv2܋볃ƞ4v=lOfn]Cnb\N MtrWi/o!G#SJh&06CЗ&y#b໵BfqW˚в|%ՠky*W,_$BS!W@'% sЇOMV@ywT5pZz,(:a"p߅x1KNI@ۤXS\٭Wq_`$e.زhn eS%Wg776'OlA /94@EB[+1XUP}gob7 %,&OE\A\`,M"XFU334Ia]ӡӻt.۸t B"2M/lt<30b@m+! gVZ&WIJ^P6w9:/z?,bJ=3i?(zIpqZwEٓElRY)W;2@)bY)\G/d /N1mt3mY ~4R}/B> /mCJV-uξ67J+iQΚh.&N??4hܼ\zqm9[2Q>L֏Ps8u:L /wG&  >8V֢f#%pOLzJoe!+dU6uL܇W )bp\l +o7Kԥ?nxZGjSAz7ILJʶlBm%l -տ] 'D^{kl  ǦZ-ĤmAi}4PDkn,$V7jz7@xM so R5);=nT=d,꺠dŞ~#Յ&h2r6g̍rM|6Ks-zxl2}Sp%a/5ŀPU>n:#Qz 2JvCu@ыϰBщd:W)c_ܥc*\ZڏK戼Cici,u açU0̩g*-4(~XY^nKna[lrX9f4OޭnvVOހlcG{F||/F4sz.)*fzqC(*@`D\+폟 nxG} AƼԘ ): -!?|b Aׅp~oD|ܮ mAgkvyՍ )*3i/$Xbȣ;?ca2ڑ{~~8;tatb=$%5hu>auBy}!3OOpt$ǵCzRxǧ]P^R gJ dl,nAYI:b<;`>fSQ+[lS+ThM426MN%XJiqB {WGؗj|hs#ʆQx ^/Je!]HIp<_Vj:mjNͮOQ{|7X$ER} N`>^]& u4/_8%%ؑv 5cӏE!%^1K<`gY.Sr_ '8WA(_GV]%Hd?wm3Ofoj|b1zWwQV5 >,lTLÝeSIsnwl^;wDL|<+6QڰB] Oޑ#bcBРz1: Qvf9[gp1-n&F13A>O lY/6t~#8H0kAgB<4}]E=?GHnEIfP; lBjS;q*5Vd=iMRX3q|UbcB~'z |$3~WND8xlE+loퟣ,gT#eWqtHWG`*nvZGPA(YagfV͞~MJDu=E$F%ݲkxk%Ƭݒ1|F0-Ӗ/ʁH{NB~rXخt*7Ń)=/hq'粊Oz@PGP@];RBz88Q6kq]CW*v_/cm(\Cb/\,' 9;8 2־UЧij޿~}ߴu{]MY[@<v؞/]*aDˇ nm%?irDkxVF)nzUJ%بTEFcMH4x;"Q:ULf_nAm.roeۖἚ17@%x5'/H)--ϖ/-(([+ y6p-TmW"Kd#4|+gO>S{!Ǯ%tq 0McvRms oX qVdyXi,0v*^-M4Ri Qo463SGH]_ee 2?uP \QQl]uŸ[nZqy=x;0t$RAVYu`Y‘AiAO\{{]Tϛ/ϖ/ah|֬@( pG7@IQ%Q2 S`I9ݮN ӕ4vI!_&!{%C'_OITW:yeۀ֛%)^R n?k,c:X=Q9T GGW} u"{vtNO'+؅T~韄"JLnt'O_+Kc0'˺-Tn,8iֶ.]I-rm󣕤iY2{GJ+څ;ĝ/2Y7U_כj{IB٠ƁC=ZM EΦ#GCujF_k&ȨxN7|@Y@tZRTQ[V_#Wh,amZƮի[yOyNk5`=u.-*Ax9I~| o[NX=Wr}[@6|yjd-1$KB!΀32Ë>#oZ,,\F:㧑׆7{ŭȝt'y۷^hdᅹK:#(/TjR =Yz-du>cduT8b_m=v̞' ٿc.kxsF/ƵEnm9QT| +̭'YUWF ZFEḺ `6 `axsf p[ a`s@IPpaSll>P ~zĀ1 6gRd`>G@l7FxW{"Sdtn>{ jcV |6Zwjygz`G~jU.V-%.ݟ!ȞӢtWmvϞ>Z LSKW#2RT-Gwa%f,s,t.WThJgKWZ?hy$ߞ;Y:6}-k>=ۮV R:zPX3&_Zcs q*AK#:ء7鴈Fffݥ%z;]Dw[53Uo^T ᤒsjed[# ө3JBݰ$VA%.քuj@˄<Z0|7xY)CHSb/cQGO>dah7.jd)U߄.x8/\e>fZn+'p6(& {0V{dוF zk-HI $2UTn׺ѹX]kBs(Ejc D!7+XbM~jӦ)qRgYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGfY,p@iEHѫx{vL5߁+BF`RGTRLf? 6[nZ N׊4MD֒,&'x^nSHTYS_&`nՕS\hRĊ*>Ij߰c޷Xtykb1Lu'zlftƷDfB/p.H-ҕʩd}|Go=RIHI 4LWifin5h=6py_ Ͱ{FM3 i#l2J =vՌř}6̀Fېl:_J9ĝxL4Ff0%(Ri5b 'fWYFC̰f}p.ŽkntraY"kN?CMͽN QMmAREh賤wlߌD6hjZmuR$MT+KZU"ԡbEe]\WZFKD/ԋQN'UDDrvj ، OJ7#d\[qhmٽV<%`R1A"J6?1Q|k}ePjiVp9K(%Rx2`$V oc07W֯}Y,% zЫ';ilJmdHXkGZJWpjj5RL޻ e,. (q`j*ap! HϢmF -MQ!ȡ)WXSbVx&2ę+dp~tL+y NrfE~ZQ_%Q5dӪ;a*ԫYB5:wT>o@Db=qrC žgxlTrpyY Ye!(UY^%N}ֆI .eDcY|~"-h]daXF=4^3ۏO 93,5QVL1lpBő xm8{XOiAmƈsv}jOM&6<<կW'M1`fY}RM>>j]u4jbSe/Ě;jw8\'~ο {j60uWTV٭SiRؽ8w+|hhC([:gO('h*^N}PO`7m7mM̾FGO?syEC~MÑLf.zBR a`.֙kQ{^Q JxIs/qvsd줫߆cO;4qIe/$el {"q G.3Ce fAo~_~"t y`M̢c]."[w5AGьCFfY`|aFxyXv!A3Zdv{۱X#q{cu6l}!zA_$|ik]$"U]nlZ+d ei %q>hE8{JIW,.^Έw Rp8SOߥ RRn!Gج6yJb:wcw܈VKai԰*Ffoӌ\:܂vnR c7@dLhxlbr`? BŠyoKB;Y d%ZDՔ@6<,]D5bhهnzȫ22X!S>d.Ӧ{p 8&ER .YeitXE_@fH¨1GrWZd ̧Av9,ڋDv%JA~ 1˜I#7"C&5V4ផ0&Q1\Js@:zҁ@wYcTIbczM\.q0ź)c*EnnXEn>^E0ֲ^_@r^c2uG4d0C orp[f˙D![ɄjŤyq*2t,*`D_ufEU[kV~qYLY,?2SNB@Ep]"6/nvy}?,w-h& ExI2/eI͟1%&RmdvFzE9@s ׌W9xr;HoQSeMuM5XЀBE_`#oo7x >Z~Mh-nXkz2{5.=[jq 4nE|K:ѯD[%BO8Zl? E9k,h/ӓ1J͖JgmG6!ztyTҸ,SJkotY.B'U) Ci7}5v0ݖ-sw-zuJ/:xaʄ9jnNOfw-vs CRe95K?Cݹ  28?Jb|f7o%y'$%0OgQТHgGuv͠efg9i^͚]f7Ig|mYE8qp4μC_:~?;xˋxŀm cAрk֥IiA%|W$gLҨIU<0%NޥliВD[f) ۢ-Fc1m12N"ho >=ɓzg7| I@wdҔEr ؖ7c֡r&+jg#" n>VbKOpt@PǺ>oU\b5B1g]y"x{4&2J8P`m9' @i3/© USm`ZB$~e"u5tgyy[;2p"ljdm)|%96v&BauL_s<=IjC*l(sc aPTfGh5h'>`;>:s,$G+>ȬM|gv" cIφ$lԏ/t3#1#g`g5mAPC #Bq-_Ɩt+LZ9 M:be4H4Z88'Y1$@?%E; -\Hz8LV{ ǻw;!3vf%6g$Oxǰ'&ߒVJx^t@hFP(gq0Phj1;637+amrސRr154BcB#QoWTpGˀ[ZPq}Y {)D=*@ oQ*v/%M׽c!<1oQ"2@7\qS|{ešBݬH13)H^\Ih9Af+ֽh* J!\.(NO2ȑ|m KV-O߉ 3@ab][%zQq?U= gڥUK༚Z[F| n !O?- z ~m=5ms^ΆxSfR:.jQ3& s٤(ࡣ]g&\vŵlU[b+npO#/P#_ux2D\rw<"$kOJ#&s wr/+! 4;`?4ٻ:T҈&)6P q|~@EGG/DT_oBq(AUYCqzEG%Uۿ'40ɤw۫IȄIfͼe%575K6[- &DnxBRm=o$g.\qWj*2u!=F2TI\Np;\Q~-Z"IsX~KwԩaxCA*A Hm r6S"߉2ҙ_U ].8'#W$uW<+T&NܠfGa"[]R/vsBw)keciI466ǓB>!)h;sޥ~3u*J 0o229PW O@PV&SiW_mt'{giZR^/N"$ͬ#u5]ޝe9QPbɞqJO`#qў4C : d) hz1m̳