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 9~4<< ] HOL-Datatype_Benchmark:threads=6elapsed=537.926cpu=2004.248gc=778.8527zXZִF! 5b]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z_F4MѴH3 }Qdl4[ޔ!(Qcnka1XYdv{\Y+#قҽNNpHM*?~52UaGM9N#![m :tivkWth*.:M~ 65%/D@U7mm09/*(S]NRи= f qeLLI(I}*(AN-5HMƼoOhj>;Lpl| d Ε3zH*=<@BZw0FDyd"׳kgoV,bQ^dbë94 ¬ST^Ქ )2_/f\Vz6m02,0UH<\öY`SRpAvtO^<+ /ݔNtsʟ2ulV$bQm8 "~ B+<V8뇱 _qN֎ìڴe#}o=]Oy_-OxQ/T/6X(;F<"+O`~U\>ܐ\{4^"P5] mz^P_w?&(BMf)9CCJk} 3C(13L H>c;t@P-w\ ,i Z$l?%:{@\+>_nğu&KGA;R L9rCtL=qk=|.,Ӎ?qJ/km^]<%.AbܵC O c՗#>IγfOWv(Rcx*V,JpGJ_qЛa1 )+)&CڣAlv1fp.Cv8'Q8hn}5[' ! jMgYZ7zXZִF!  ]ŗXiɟ1)*u%9L|ۿ2HU[OHlgp1)D0!WnSB]Io sZ^E[uPGn b8SvzLkh;㚣ΑݩGg{^w)* zSLD|%e-ؐ{J-s֫ zQ|NÝR؇zEfϊfjtЩر'@ =[:">pzCP+Qk+,[Jw6Fܩ&׮V GҮJ/ 6|znC't2K&cc[ެl掐kKmk̦V!"gu"^W>?3)y;MG7XPU"85y׍ +?{U WS~1/ؤkm5ظZ+:}_gA ƥz'N~.tmv[EQ,-YwT x;5TQ=1u4-[OTvۥpndoȒZm)eiW)HÄR4  9 HOL-Datatype_Benchmark K Q ]K9G% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.tex7zXZִF! "]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEya ƥˣP/0ɱE$W$m{4նՐ\yB8<^M{?RM 9ql` VOpRTG>+',*q0}leFn:MbP?RңWNB,l\T]3Ϩ̫"uGukt R5Cn@m@-@$!NX/JzI'u{(,N 2IX8]Hָa}pt3x!9SOQ~,>%HB"Fyư[!X8 M<,qhLCOA$Nj9N'?^VBc@K?“H?$Gw>8iygλ5{q/F͞8ʪ8իtdƥ/~8/%~mRQ _R1^}};X `x?G eNOÉY =CzŘ~|3YX;pGd30Ĥ%n:6u-ضbSy!,z@*=+z/'Uj@z˕!A( rl(e7Kt-ewsD_ 9+b4LX>%jN 1`.F[~@=376ZP J(_jŪ-a㌚hNu(~N~OJQ[8u񪓣##tg0QXwx1{\P#ߺn* <{]l[[KY7u㑨% qwuYiN hRqˣ4L S962kƢ]RG Vp3*|gr֛D0ŔaIv[<`-ݥďL+aX%/vOx{TyP"nox9'mn}3zlHMG*V›Sd8|89GiR`$(52pj^؝m+V>h҆Z6sgڔA9@r(I:gcN6 NdǓ5ERJȿl;]W~Ar LjJ| I*QypB ڦ4( 7H[ oc&/4Ms `;;SNZ,a3O?A4 6&֬q :Z0jh?zB^~>9pox!,F65k2 5*l|\ɘӟ B;wzهYcYotc)dMS.px6G wB/r\Sөp'BH[D;+$Y6+ꖄND,9I% THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.tex7zXZִF! 9$]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7J@7H%Sm/CAġ9STQeu1E3^֖=(tMbr7$J`B[znz>ȈqWOꖐ?=Y+OUDGAe@zM\"zbjdٮFҢ]13Nmd[}*}{G'M6Auy.'oNdhoEǂK0v!22 h C[?W*n ;ݰ\~9Zѫb4h~9b`{Eqa f\3" 5(k=x>YgYZ ,,rE9G%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.texG9K%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.texE9I% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.texIB_:T'nV-( tHecF"N?GbvlLuаXLQSwF8o *' sN.:vk"8簟k$ڝ3p!tkR=WN f@wk\+kk=S!G`4e%F^cκp.;+GT)l+nL ɗL굩@vN٫w' LD˪ɵŕxɨz$OnR:|8A8?Ѣ`9&Dy vpوpUeѦh*7ZWAd8TM5F4d1t%A-yQ3 8q?!ڞ5\3m a2|w,؜] +s!d )A:^Ax" Z>br6> ]'nw)Gۥ:22"y5 MR/>5Ȭ ~Ii?v/62}UQŭ0إ4aM7H?8C!0w#'AkᖱGy m ?"Df(}Ui]e#6y¶Px {'jUen}J7Z^BTx*`q=ZF\Jkk J4R7`NsjWAR+;q#A/vgc.KU@Ӕ}UoE2c9Y.珝֋m:bt+4gBH+9R(rܹgTG->⻁47N$7_Xc _`2쁗{Ed3 I;8AA_o2⏟p}#Yxrk "[Q ڳ"jЦUs'R (\=dDp(ha}1RI4ptՐD)ISlfAtǬam\Ɍ 6Kź 8Лs+ #-mMgPJʍ( XQO>ouz-Kܵ,`Bv/W,(\ƚXFrqP~u/R.nBrYN0ڋ$1-@7$nV\ER.7Ŧt{6VnQݩ/@0WNsC܉ SG|ITL㋀!^5)ne5y\S˔t<Q8EPٻOMMգ7RH`@W@lȩwWm &#.ĩDXڀ 6է֫Ҷ=5 xG(ԕNm c]0l)C/zB!DJ~G%$/k$"|n$Mn\uYE}g[زd_)TE BVa5RMzʦ\װ''!sͫv0 qȎ*_0շ,vK"*\1S]^qdU#jvD3X#aH]JͪYݡH:\8;kvo}"K3k &LTcV^IEwف _c.G9IU^vs_sWYC6uLz>j5qF%d V9 @P]ec"BG vaݨ,EUu}c—ANf+DYo#%k 7{{>IQ4AX_$/F49 *Z3]ox ##bu"]D-8S@}[:y4_ 6AʴlMNSFc=;SxgB_+MjJ$~*ԅWC %XuerB_6H U<"*%cه k 3'Nk~#m> ` '\ҔID>h}yp{FcyPƐ[aEK(A!ܷ\8i %hwJ'uOy)A- =p˽bS!kdNTHDĴh,ydڨH 2$Q9%ܡyT7-ɺw3E!5'hXeR>,`-&Xt!@}lNՍq]78X`P?6 9vjo1Ѧ'X; rˎ8 xjK߀9!љuf enzȯDP1q 6enPHw[_~Ǐ8ϰA7sid# 4 ˇShΪuJQ-w ƾPð2zpP=V+V)g%9xkKs%PC6|E #ӱ "=MF<~^ 0W]#wNɎJoX4U%T%6©~G cSti~j(w8,535g9vXu tax7N_vZCR{}]]o&~,.#>x.bupӀ?$Vܑʅ<@B$q8ڨ%kTu!lPC!G>'TLߎ1DʻpK6Ab_aO,9jឥ}OV;E7ERn>p&rC hGGX^uJ [mtrWOKmR&AayҖS S8 xUoHû@.i:ciJ i`CGt=[bZn /_-:Us{fL7g?%?+E19b0Y}.;h`mo$ B O"Gh~: jw%==ҲI,ZiWMz-vA"MoouyN0Y^Ua]vdM5PHμ Ĉp l:@wHeAritpA#Ñ1d XR "+o.Y˧}2T$U@%yvP*tMNGD!~5A/ͅ`A@Zk]M#z3j-SAPd%kU'BwB#eϪy{Uoޠ*zJYb š[2>d/xtIwߛݹR"peF}m82G~ _Gk11(7##1\ʮwVE+4}ܹÛߵp?iTίIJ`n.:~E{Ҍ@((Qπˣ=]#|E k:CP1@iLhzɲw*+2—Xƴ:Pj @8X۲6%|~x>Tq6K[b!O|étjʊ~ĕc ؓ#dpŴ2H%-s'|}8F^% ?L_%ͻnѥqJ#^VUTڨ7A#_Tu\8k۱4ƭ\y U$Z`?i:  dXR\Mᮏ#컠Q8euǀŴ׍w#` ]BnSMW%yT%/f gjXXIdj/v^uLqO{ȔU1i/ H/E s42Ibe7ip9GWlk*psUٞO#M7L_ҕ=MhK |2u%juY 17K-сnԋ= {X2~h]5+x=uxc6}LC}@ "K,<ظR">lsX#4vQtn+4}?oa 7{)ԣIr>Cbh8xB_pZؒFږjop;z|g=|`R*p)Ry(քAdC̺64PU|Kp-Nq5^}.m1T<EE;_Ue)nsH\E]˜"͘3b1?b s}໵EqfeQNg6[y`%(:ohDvYk#ϙi&6*:CnHMڋ!Ӻ>3&p7@|Fzސ+=u.$'1˂SD1j/\&7>XQւ4l^Pӈ#C4U%jaL wdEp IVab6n6T GV7@S6wb-;@ &سZ }2 BPʏ=)&ˍa5_c5r*n@K(ETԧB́Cr8`嘮Vs|:x`CŚ gl?"GtMƐdȃ"$9H$i߱;1ʭm<܄1$V+9=sh^ MVndx>g%fM̙ڲnQy GamLw>3Y2 >#l,2mpB9۞Q3C̓ZM˙f}4Ο6Ki:BwdΈIEz$ 32 x s}&5@/pr7j"¡vUjf)"&Gowd⊆gW?CB!Ȇ5DmcA"#}֤OnZ8C"eP-yrXm8Hϸ?%sU7@564O N gW\hkB3dgi` omPlr-:=" o0DbGKUڹqŚDJ%~sí4/+vy/TP%%Nm9mddC [JbTȒRI ۴LM ܼ43Ϣx}G|?W~>hXdZb|0"|):\$'~@g4Jein{sg\Ffwdp)k#MÌgdYflFMD~C4-gt*%X!ֻ.:|͋54ApxFxn&Ը-囑^S1lU'_tiݝ:x7 !I9o?Z٤*ȱ@l h(bH 8R"u'b7U[k] Η*g#:ED(|qv"M% Ѯ|uAATdAlSxdTCgPe#vRBMGH,ͷZUd!];G$Ij͈QhFjZ,xlwJl9hʓAmE7Edze。U2>%8> YϾ3'4y.i-7`4!M pH:L=d# c'9|/j.!(u-υw$̅ KqbD7N0={0o(NO%4y%!lK|gBZ7ɋlr4Knjw'A6Q'yxOxx]0ȵ icˠiNMEr.iO}F'x ~ kfs>DJPq:PS i^)\Byh G6; ?dx7Ԯ Ɣ@fCtS%Fٲ9jRU,^'ۊp|! %YF'GXu#39qvFAk!? l&f7r#3X/8m.)Rqah}b2=32ńa;!oG\sHU'FW2xs?Eثyf{K3hJCX`]Uʛ~wQGiAClG11Ftrj{u+n/vV ԧl]6c AԦ :(Io綅 -WG]>La KEWBr86>9^{$iVH{.@5G#'"Gx0yiEڱ}1E2#VX i,訃힑l= !ڥ;b}@%  Cԉ>h1whQ# h'./J3^=lWBSr?c{Ղ-o!V=%_aV mfaj;CK`^3CE6IMA4j u)"_o_׎d&iM /% 8.0qˇs3V: !󊲰].|Ѵ(mCq^ϊxom!YŪe ¯WV'^$ŕ !Tʦ9z= wЊo^ [Wnځ;nQCmb=V782fK~)ُ-qKعr@ qp=h^NspױrOc0RxmA`S˧'P+{vc*N,H2TU^O)7tNcVx8X@9d0k#lsJꁳN~db՝:)W}ò <]to'x/ nKe6: d^5s,6wq,"IFZ~7:Jjy+[n-S<'Ä{Yt]*:5`Q09+$Y&G9gӠp-|#ˑJ}|I[z>(?nף.&I{'q,ݩ7DӐѠv>؜U|j (iP4 D %5CȤNHS\H#Ӝ> 6@Jkj롩x^Kz~`Ό(VHW_`=p~M%Jgcg=ôx(Q}P'"LiB"0Jt@Ү,O+l%'FP5hJN6usֲ||kŲkK 6;"+c7ԙ4,q8Fd FHRQֳJpii2/ dE4FJDdq<廻jS&Gh Cundzm%; 'xox{NEY7%.m؈K7,- 6-j8Xa}` :/Mx8k;}P;'y?>g9BTjAmm3V.`l hƮS'|:{ Zp l'0q\H"@\b8wYNcPI\f47cc \-d>HL XJjl| LNϷQXV.MzP@0D_Uftm6dZXErT I5vm',v:K&`ߣ-/^xn*VHbziy<]Լ1 ,_ -|SE>A;^rE5jo?ܼ T7>Wc,1NT |sTt$B`Iu 8Q M{YP!j5"ke_Q,SRkڅb ܸb(X[qm@ۏy@+%4M):W53(FeHv<xVCqf5jUE @/wtMnDik˄y%טE>SRP|{-hUyK8@/b躣U .,'w^հVP.jz0kYLT=M&.]Ohu[nk؟!Rj:lCn?wcV4t3 :Xvnjrn;W#JV𕥦[$l:OxY$̋tM{J>%\!='Jdǘ{۵O䴼PM&-},}$s@V޳s,7 ^M^Ş.V=ýxPۺ(J1k:Ƥ:M9+dYW 'Έ=Y@L&{2e.~y}!mN&5VR(m&|Q0a烫3 %v*dU>rE7/QPSuQڈɚ6XI14y3 ee--S(DX\8^;z׭~*qo=ϼ$TD{=gdg?- R+8F8]Ӛ Yurxkasy-];L#%_U fzÄ+rѢQkM}T*,+<[?ů"=b%<:dvr;Dǯ{}Its禋=e)uqwy-b휁f\u@_Lg$٥C@ p '.b'8r/L<)I0Iق: 2͚Y~K+nIAlp9ƞ;+%C֨,wJ jKoV,}'9ζ77v%iQpG(?RMCq¿zv˃Z]Yt+|3ݟc\cB'$0@͑f Y3bA#9640r̓˒֍$ikI5*=C#ޜ\|Yu&Xc YyRan/zYX63#KX3B=U˲LE'}uLt}pSAqWmab( @ۼ4\,+*F7/vfUg;R>pêz'*ޠ0`AV }6Yx'zaK:CdJRgkK|xYc,2)YY/- (z<8-0E̐#^ͳ,),̠^rMfn, 6t9λݠ&`vL%YLѲ?F ǯ–K *!ak:u>FvJ -;y-+`\vA:оlb1AēY(}w7c'LCd.aQa7r}v)+Qd@HX](@ }kS3"-&]L~\p*)FJ};n޾_3fQZ4 YdHYHΰgs` 0`|m/>d"c0>Gwѡ1]*s1k:(XS{IuA!W v Ax]#T\tcH5()N\ʅNb$QVcQ㫢)x7̵ :ZT_d9GG] :27F|]]t=Bl `}%Fޢ͢=:y$ֵ_w2C Ne2ՍpM3Ϛr50*řrCgK^ ;b& K[$11Ab@E%JAx;Fhr|]-s #7_Im}x['* ~t~ZL͍'pqMQifS-E5ɼJ(T3mYn![1U%ɇBxUl]dCUMhTR,¥9M(j7-J )cX$0-CpF%ibK #x65FW΄&īƱ/lϨ{5ơgM226"I-( (qk'~FdCn[G|! 1;Bv~,ƖI-4stsvUCB$ ))lm2tKRԋTU%jRz (V^5N=2u]$k!gS6/6èA]40DM(d4k%K^y.(k\b7qMZ#j5̃i1G0j׬sDQ=LTϯ FX N6T5|TYԤxJ(`h'={]_6tCH5'Ǔb|+Ԅgӗ|^-:G_f#0hY)ȀrI71ģ]YwŭunoUS,'ih77Z!ׅZ`g^IF܌Q,ScQD'4E ~F >]d?\}ARᚪj`{p@;Dq:MQ>>V#WpG{[8Ƞ=sy=.O [mϨ_I(Fik*Lu: J˦A^^ :˘.3%t{i֙Fl"ԇF]Ofh!?V}S P>S[4ǘC^inIM@ f}1m'Ѐ Џ#=D#]V_^c"Qi|'Tཌྷ o;cTQjX?y*(E@G*r(m;/LR,#]2MH0rXجWdXpڠenb`Bdc0(Gse*T 4% 0Q)ǵ>9wxUqzn[-nF&_R_NL,vfqtm H[Hꉫxz'j\7zm YGp 7՝6*׮ 88$mAbDB[Mԋ̷ =سUp9DoӺ\$I si*MSypQ};j~48RO1jDNr82wmˏC#3 &v50I0sMPJĶFb.ktߥh -t ZmA7{H``S,zڪJjU @ 9\'vҎY# sa`WRb#t 86%QҿYdugji5Յ'GS޵wdwM!]V%"D)7V@7-Eo9h&|<〦3rLAP.|@NekUtz! J}Өo{' #pp<-o4⏬?Fɛ6rӐ$qyHWau[`y9OZÿufY*}xB[D).׻bnw) 0{x}dPA> iƈ-?,Z3x'3y-00I{`аJ\@#%D+ƚ9a]A]:S27~DF(-foM(ߺT9mq t`hoD6_#E8.k6Kz4r}I@A)I\չdJLlJiǶGO.SFѡsA-.] 7y8<^&JNw瀃jsh‹&_ kK$S&ޔJ/RvF@MWݲHDCX*j_L譬BPw 3"ߑıw? gsMP܍zGT+hb0 W: Qx27Tzz™9TzRD&--a!KAMl|E-PȢȼ0XAW )H˩2L`UE58; Lu:`Y.Lj+tԧI;'&Oa.Vwm1^=BVR}{QxAoB  $ uh2bZ1"6B|_0y7%5F~D+\hY,y+ Jq[ ͬƈR~VS1jv-"5SU>RQ cOf=\yrrg={3]9`,(3mۯe؛}aHq` aRʢdzWz̪{'Mo.s`q*ws;]ӳ} d[::bNSިֿ@5ZxCNyrɩG?RP=F°~HdMYwh6Γifk2h~JyIOTz#YwWO3]Oa;$3f-H%cOΟ7ccE` oe6TD]4 `@AA 8Cs}AR$ٜ)643{멚گirE;Mtn6e ಱ:dT) "FA׎?L W5.Ծd!#3d57BZ4 $gm ά[̪,qxuu~Ϭ yr4?DIn{0FR:ґ8a NqkqÃ6E0~BF`wK+VPvʴ2zm;{njI`aӜ͙UOOSyB?TK-j78./rTjj>W4 b54ubvu \|(XXD{z0S*j\4vJZș!eԆC J[tOBbXa^׼NKEbY$ *4)C 1Z>GɥɏYIcRަ=渇}jzϽ T'sb h\VEPW]s 4\.,ġnlTppwK c }DbF2рV~[͛(r Cҥ$uw7y 6HR0 ⲂFַ;hWmPI$&$/b"'`} Bu cL=0}::@ŨS0dGTΫ"]v4OHWsXXS?9C)Ӗ*C` lR'(ci%χ4 jSB-ULbeR]jN'JO@] gNZ:T0" V|x-d^0s^ ⢊&މA4ukDRKFcipt+!柁l$jjc$mT2:p߯d&śY`U7}:{!.Oݫx@|Zd.4J8=#v$'wNuMu_zB\>4In"0O:X^CWțA1~Ǟ6陳\89@s+-.ńب*8/m\Rd [m`( ُQ3lqC͗NRqYTUV?g)"$F3n;B m=9.%w"nԕD gy$&&M'f HRdE^~Bݜk[ݝ(7uE&BFVEr/zU{!z蝇s`_(e[JoHkۭu` }BaܠG f{fWq@ch0z5# _]d=U3(}ԈR1H偗#,l|Xڶ8܅Z H2bz+h&-[1=Qϣ{D@KZ~abDgKS!T [ QC9ȦB.o~wRP]B!:Y?Ёn%dk38P@Pq5Յ#Dn%P2*P:e5[S biŲM>7VcG ΧuA심;JSD69$L:x6\LZepaGB=D#@3L|Ce/KZOFGQFcT!cb{9/Xٔ_(8*$P! %0zpө34Y23+F ὺYVwu׆p; pla' ˺'ǘ4 i d2L߻^l"i[d_t%UڽNuHtsR!aoyRLc|J8uruNdh"&ǚéۮ[X]P}哟&v[i캫@-V#U7 aaFû¯0'Vڅ饸 n)hEeh'KNp8 $ (DKa1UqlkLQ&e[\IN;4((!_EՀvdBb*zpDhMWcDE)$F$Ԝ>Wр\t];o4xZԤ;RjD_ǻAX9'?‹/?pS}r_݌K4 *+02eԾqP"dMPzS7>wCGW"J%f($YL`UĨ9ISvk'=TI0"5/50PMѢBﰲjpM9pڞ1T%#a"k+`X0:fwףiGM +3iaK CkӁ!5?=jbyr틻B:|F죹̽}N-tXL6MT(P HNG5ibK(߻ddVӼPu=5Q'OL_BgaeCwbfrh]H}Qgam$>هgq룎܋ X$k4?@S0j4 xf =yB!1j~ڪEډiUo".@uIpH0sZ;/eK'/8q8;Pglo88DOTVU;6k% {%Ԑ?$>9p9jhg䃠wҝj-Cs?Bػ9 !./!QB ܁&ujVFֳ b6MjEy>W͜u)b$INweaj4P˓e<1~Ŕ.#&=rJAlr 4oj~YK֗\c w+1meO Jya-V@Yl[I&oc\ Zl1eAiEL/^Jvn%[_Q" $xA p^e_E'n8LP6,ebܔH?1iʍg!b+f=;xv1Քr#:z}'Jn@y(ҫ三|yCݩۃ p5U3,fӼBk|צ&ݖKl:g%!p3ۢ٫*n&@<vÎ&ŹKOX,f ;]8t7z$GdM铞H·vBPV;S[Q&7 H+1uKP\ Q049J``<ДYCu-VkOG F=i8 XV.öQeܑ5ޜwJyzp<# \f1a fy`˵ɥƞ2dd辗z OQb8R??CAksƠ6Eaoo&Zl!B"G9,OJ^cKÈ4t|j[4D1@vS˛Ty~UNwOSC쳶:M86Zj>[`jV-Rp?W0@@,DeVUGi*VN|Ju`7ui|ED"yvFœ.꽐^]iy(anI@3#x8ˢ*8і`h|uHk߁ Y=pnF-/DrҐd$ZmpN[H^fX54RPZ~]nOli|"\<#S)ñ2 zWe: QD(YH6<2rV9GBK:w@kd_36lQ2[&vłt:M|8̐}d4g B"DKI5w%GřIN>,y=>dPM?oAO>qfJ!k!=_.2)7ɼj:N4wpTӞw=۰$@Ķ@]:1m&lnډFBi5\'7iO9:R[l$aryFZI @?'P <7Q򪎮"cdnKTB ` +<⭷9 Fgϴ\Glm)!7MR&mOxL^4VN>c_nI`T=]` ,ǧTiя #"Z/_yle,(O 1FNZQEUMuGDk k 8RߵQoPkMa݋d=|N+$ܮ%iT%-}D,;i\\j59NCs#ߙ whi6JyD{*v ECakN^'+ S KS 4V[zO8s,K]M It`2}`5q0Pc}8}C΅B5챠+I\j5=G3<ř]?*lc;j{ԩfZW2Gڭ8JSwD g :{!wpQL}n Ay\5WZ;c.": O6ãݽ(#VvBQͧ\Inz)7mtJL~["%y`'ۍn7[[!:%`D*ʀYx0!(A4tŵ-"TEq`5mRW|a(|qkpS<E*lP0ʐJRssx{f)ج2ZscS6ǠpJ 3>*r7D lyƸ 3Ox^+Ħi^h 6#mFYr3adS<oG{)xk$~ ^F-a#OjbN'T:9 %( 5,OyfQQMMmJBE*cQ/oUǀ Nc"yjEܵ\Sspk8HiFA\Zçi $++Uyq-3[$-yb%-è~\9c/(Eo Ƌ_ԛ;#3Y j˓0pic hm txߋ7; AgE;a)$ת8]bus?-PE-+ MuCb0ѻ{rd cdUN7qllyb2.u6EI_euխAxh5NB7G}hq`$b b'ĩ-)UH~\~y+ HOԺ!JLܻ ~[s^jtVe?}>ֆ%۠fcs)z:qc8&_%( ~@X M3ClR&C}* ]e8lirL5 Iˠr棾)u0[ 7i}l "jiВ#a:#"e]ŖwDJrQ$z_$WDasWi7dqpawxsk⊾Ŋb9hk f@?cO)pWi\9U& ߻8 /.t ؆$V^"v5 3[;Xi/Q39_ePUMTԻ0/^vf6["4l|!껑)#/5B[jqY`؁t6$H[,+XT-xЉrW-E+h)k<;~).{ntlCnDl_]ѵ³r9](-GzLKqn.\T OhQL1;!nN$wX0qOu7wMr\ť͝ymew(p[ E|T-v®pm'"TEh&+*"A#ꆒv|³N(q1nѕy(w{#$5eciˀ{aGA>W<(+L2 iy4J_*狀(T Pi/Xe}5E>5f0+5E2awF0'S!>+n^Jy Hu eD(pmhΏ*=ŽCC4iG 窥: h0JOYcl`,Z0dL9xiM08zD\Lb"/jǔ@NRRmv_'9 ֕%+pn'DZ藘ހy466 UtP '~s :cO(Ø?Ƨ*8'b'iqΆ#^gܥQty&ARԝʳ,6EB{}xYA0hM{y{(?oboY^darBa-lO e^'2.mT}#Z.l~!xA9MNlmW82X]o@rڀ\ RUx;IѫZ|Pw9ȽKmn1Ո.2ary#](j FS@H\I 3Hެ=Y1 r QWWt{ٶS^GqlHMjME~ PY԰ç)lu0 bi #ch\`%^ ~0*SwWPϓzs`*u іZWl $l1Nܭh'9EHm?˵sIq6_&n,$6'vK2r [r¬($s+R2J'Jh/ ՠ(ʭ,ywf@-m0`dĪ%޹z8x0N ෷.%HA+HHH)TD vB9;5TM[G".ɽAA)iQvi.:,YHc0]%̍n^e+p2h- d>fh5(9x:$H]䋟hّT-=UI#$Vo|\U=+Se mw)~w HW3jE* 6DA5x9P뭍C1rW@fK@o31tY}J 9DhajojothA#../CBbAT-!ps¡d_m|*TCtٌcaaXqPKlj:)+' o֍uw?6ԸLh2ۅO %1԰|҉v4ݚR/nSC/B~4c #9 :h$Ki3b|$iftzbq!(]=پE#)`{C<!0ZX*>(\,?7Zƨ"jr.󒝘(p5ywUϑG咙s..ky hTya]jjeࢹ `F5,{6b1XWf'˜y"^RvjHFTz C뵝`I,S'_"LzjN 3{3T\+JʼnU۳-ёjҺ4J.Wcnk}[1|7QTjDez Ra>}NP,[w.NdʱFW5Oo1϶|uYɺn-\T,qU;[vBC D $L>/DRu@*QW*}G4=.&D쀉e>,Rk<% 9]G!XDD姢@bQw6Z,fuĭߝHGx3RTm8oFv?*m[EHNk\&3g7)$#0j V q${5z1s )do>N.NC;TLzx*&N}kH[ ׀):NV4bRX )UR)Я%i=2e.\Qח)(оK^7vN)%蒐'!Q rM`;bB-I֯BiFqC>*-+ݵlOPFrg*}0~-?t2}b'qa0/mk$M6} \WT ^?uK=>5.[Og\fƚjhLY\9@`D k0o QB=+)!:{s*?sg[-=y"aխ:yPzRXOahCILKH#JW{Q!,0)}]SU 3>Nġ}l m5gX42 "xc" @D1IJ`zB H(= $~HoɍFpZw `= YˇZ70y='KA8f=ĝPfv5YEUo41wL?3c̉4Q/e V:b_!3,lMs_>dz)2:/Uc);+q/t6juޛgvR|J17 G[]wgY՞?Gi K~2<բ@qL9v˗PT! Mrbrar|ںrcyHJRZ1Sj&,7B.e7_=_Xo׮y;tU9`gݓb*0HDk 8{o[%:YW8N'7._gUZHv+M8$ zd% OuI/O BWA N < `PlC vȟ7h%wIRp{"06LYD"X 'VR#j GA#ٸ9KwoGC79_Trč~ڜ k,,^5ś"rFjv;z2ƌSq*B?dzRi鴂 J=b s>[e=%JQTk\߆R҅l3ˤk+ؼK]^:Ss0F+]岴8/-{R;ڪ:Г];c iH{TOJ +VTu -)IC3 JOxO+N =S7f7ƔF'HDBYį&teT\~ Z]q-,w^r}$ f|6/Qx2Y`sr<(g"=ܞ Y-2-"MHPX TF)%دV 7& Z ԋ'7|UC+#s _CxW #M l{Cјsv`UK0%OH3$MOe7EiVIޖrAW\T6`b\V2c^0l#30W (A31T7,ZF_(9b[Ud.iЍU%>ka^Y߈\,l3 $· |sU{c KF,k٢I4jld:U8Ԇ[&^4DmtA3%긺|әƪ5 uqv6(0Ts{KK@BEeSܟNG,z(O^ 1z#8:y'Z<1nk)[1EE)$IaX3r8%^o0cKs⢪}q3ehYaMUJͽSP}ϒl NӣjEevlc+u 2#}vU_HK4@_Ǩ 1Nd1'HNO2ğכ[8D_D36rGMq(9€Qf Q*ֹnmL`Xr%ؖ@=RRA{ᄷ{ Ŧ6p1_Du`ZK^8Zw߹Id^@~^{f|P_^B{l{ҙdUh7wK9Rf? r.w z 3ܘE6L'IilVYA>I5eUkd7|*r>W0Qb>*VDK fʽUdGKz-ZqUP2U؁r_*! c>5f-6!<^ejgʂ 1Q?s]m8ֱѲ*6݃'.:E=b=w ⡗9^X] ŋX*=h 릁 $;4o"> WʴrT|2:Tf1QK>*/) ju)~Ot`YLl2_[R pΊJ6PP%m~%$C%7bmK%Yŭ1W扤лI̤XEvccJ}3tK^/Th9\ aBzH f$^Ee-54,^q߁65IQdz M-jxsq3F&b͔D ¹Z[FtF :x^Zb_{l,Z t]8bSY1^%[ea Y?P@;o8yէCM6E>I  $WPBLuө%e>i{Xu*V hA&7?Ś1;1fUzPy#* +' ?_>Zh$:ζ=ufx`cj> Vq i~gQ$ߎ}0z @j"k|]Ȑ@ 951w {@mYuy"Ke'KͪtNHu_âj0\) s3~- ҆ICcj %F+M' $0 >`;},# Ξ\C:eXqj6ܭP;C׆Atz#bȵg/ L&?se ֢̍DrP=]p(ʝ8TJ'Cxp 㠀ƵbWD_W) {5}}oJܟ8RQw dGc:qoRb4hl6.(V!Wl\mFc1!wRM;hSp܏s.r< g{*X7U exE.g"Z` dV&w)^i47^cg|4uYP&>xϋ\!e(Q7\"6f3xrmad} ʣJꅻ08KvT2? q菰*).2:NB$u VڽXwlTBߩvXH@y:iЈYX$ˆڷJR>bS*s:EvDyT6olӗ(H$5!QSu 9R7ׂ g"npd4bT-r&p\D3Sb9ajX/{c+U77m,5PCLa2Tp@K;}T9(#HL! DY-V= *b㢍x&/1.?It53 99WƁZ%S'G"'^|in+v՘6Q?$/MEӸ[G-;ڦDɕ!S,(Œj ޤ|/Q~·X]D.G&Y:h]}@]3$]5aUtoDRvoN13 @6 #O- ,œJ0@SPJ"X2DC,XN;{K'ޤL0Xh=ר}NLlī-$}1q ?fakY]lTtd Q{~JE9"H)1iŕ%IGVfB'bc:E&t*]eT[ji7!ؔ,1-ݙA4^pp/nX%J75!ʻv[b`COeKE5YYQL̉ٙ kŗ}O"{"zjD0C H_3,WJk{@ !O(pnJÙ~i l16m9[Lqarߴ/zB 5ѴTT~t{i!х!J|wHH$A:)4yQ!*ޝuɠt=[z3#`] 󇽐C ¥_ytP !Jl }c,jmIi|X 6._JOg)֑,xΪop"֟H yZMpˤ4/KW tJ@js;*J 7= 4Z׊#l"v44^OCoL5F*M+vg9$;3/vd";0csHuЂ3T^i^P(%M2hcULnm[^ncFi\B)ىՐU@'uWuɭ(9@p>3,=^c}}8BÀ,Y=N9> el"4̀er?OE <[1>:!6`3C,}xb?+A6+x>U }9X\ GLkUc(xOIT4z9}j-2P#arɤPCޕfEio7FFY\AJ/nf%px,Y?CHIlgUٷCՙvRSSn r?,57#*@DNJrEm⪙~S{g6=XqYQtc`+4F. {!(< ,lnu0ݜ2$I'KsZz˽Dl_("tv !C?]r]G23$ɔ=UO=3V8E_)s[ݱ&(oK8Q.헛8)ۗaylVZGtb H0Cb0p)^`qKh**"bϐy:Sf)=PnaQ(pemAbloAZW4}q'Jt *+k3yeU=xW>:+B>/G$2 w =pfuSICM]8M+U0/M= ;=5c*s+CJ|wP`9+6d e6Thh+ٻ9]ƒION2W;)̍6?^,3,{xH3 2D@ΒV!+ZVXk@/o6!h!H5Q G*`ٰ-wsS(ĀH4x}eXY2hXٓZnXZ;'5Y,I@̭"2`t{e<:ݚN כ9[<?xu:)TFqzc |.wVJƕ qz`oLUo.;'`U&"%".^4V^K+ Wl7ռTw! 1uhzZ`VytgEf_!Z1A|Tά_Zaˇ>e֖9|Uo"`$d}`FtɄq!SN{wψx)6%ZidžnQFvC{HhDCwb@$du^J+Y%l\Oq{{, .^nCB' m< W T. vNx~CX z$r,R@K|ɱ#a$DP& Rqw^-76}ý+CEZD^zw3w9cGR7ccHE٤gRogE0cZkuw'gkf c~TSدl}+ɇo,iJ9 4}70+l_5I֯(O:X4eaB4F-XZ]ʡx[(4sҌu{jd>BEMSJ2k\|Ŗ}G^̖0we?\qp= xbeYITK(/)ӌXaGlzJ]^DYM0)GCgYZbba2236a8c42f2fc64182b2d4e5d5e37e447ba450885912a24c645e4182724bd7f8c89f24840a297 e463e677359f3c9489bf77f9c6fe154dc3d8599e b56da9326852f88f19856eee626d60a0308d8baf