SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 UU94\ ] HOL-Datatype_Benchmark:threads=6elapsed=451.957cpu=1643.636gc=434.836factor=3.647zXZִF! 4]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*muџ r-ŨZ W6'QB\jⓄFB|RIT<8y*0ѫ5N+巯!& :v(U?|(Ad49I >Q]ds-+H`:C(CC"'l><H,LPIx~h-Y~C2oJD4Ća-≶ .@x`[/]f895Kg"4v>WT3TvTh[GX)Z#wI}$L,|D8RaC'F2kqT_ZhriP*͆|zӮixܪΐ@WA>5ķhk<3܍LmDyW. 57P#?󏜢3JTg_;",zP萹s?\1/:7t ˯c2U`F]>6g/Uc9[֥jTNN(.}#UժV){+>ͨ/dObe Ě"p]p% |٭ŨTҠgd-%(D&UHcC2"Z rp NC^ǎym;؇LMN,#>2Ck0VOP+ؽM ?ζXYOG45>ӕDžDXR7o޷֡MlQ_~M@`>!SE4#@.M:>lTگUv%]>*L-Q~p8Xb*cXǀs@r&\ܾ)}-7o:/`yj"aKoh1*ϕy5ϸ_r e+Nހ\olAb|U9"O@L;=oMxd{YebZ|0urVCt>;ّ\S"乶uW+v1?sNSJ+gJPYFÊ= vqDq7P[ iR3gYZ7zXZִF!  ]ŗXiɟ1)*u%9Tq7J'aDFMrMx5U")j3 "Q7 U>o31q~՜pʷMq(֖h)vF׼a:!rh937*HHJ ^b>u) )Kj 76c-5b ~+X6X#ec QuZGPry˪~^2)iHxnVkQ"c?ջcrݛIpڙ\qLTͼOUJHcK$KNq]B2U B P Of]9#B߬(4tyT]۔PıH%#mE/Ho(Q&/!&5 JH߭Yʛ.NKE 0n420\wYi7 PEW GHxڑ L џؾv/Pst }Vٗ`Z!uֈ4:1Kq?UTiՏRc?>l8\Iļ'6ۯn<ݥz揼I-1BŘQє{x ܿm IիNO3vdؤ=.(7n@Z . p*d4]ذ-|T/s'ٞApCO/X_3ƲWvrOz}Zg<6equ:QA{07/3|[pi)#ʹFI@s;*PwfbRa4Nzl˵RȻ&\N|o?4V_ϟ+Q`VJ9MNk Ոf ~kxd {OuSݰ':=<ޘ =#.^_e˸hPXdoƿZ*N-.~:jʞ^+Eƈ t 7Γ WޗqGWN=윣L$݃nj:zPG jJΡ ͞'ʙq*_q1I !#P>ArbmP^XsĬ6Z1ޟ hJ>?a;AC%>*>& / Oes 3xj Iz2\_mV2K-=Gb[|pAH'!6%:K PߵSbd~TFyxr8"n7";;ޓ2x{cM5uP>8aoz#̲wiftn`q|ɐt$i{ Dx*V+vf:J^hGh;u^ٖK *u7ZoC%oJxo2u}ML,~,fG|z3{E5M()5}J#Q4k%w˼ԏa-#{BAܗ&etPoq/&qԁޤ Wp՛4|bI_EyTs%:,' ˜L!( ]6ޅcZfБ:hYqk75_{ (9ї90^Q>Gca "hRAC;C/aua)P} C};|*m+~y.Е(1+3قE;f/}bi2GX4)P5qGC(P)YMP\bCz0 xaζ9qK)R*?όl1; |lY̬mƤ2L)rm 6*ဟ",L?9ߘBj=6Hv)Ы^`1Q]W*0d 9 HOL-Datatype_Benchmark N R _N9G% 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Ś=,V0?)Iկb_?"rT^ *>q:Rs(qwoN'tmE, "a5If /0,X05ZE!_է$F7SVzN{p na1r^d/*h7 doU' z|LqPim02KԑamtuHXu$_BԷp647ZJ7VupFs h/lвEb;Y!V3c<-5bA 9I8;Fu>';P QL~| w–^/HHS/cQ6pmu\) ^r[zHH׺%ڕMUqi,ONZ?xeunGՂnYDGPs3n |k+xN%&~Aw7CiEx䟍r{8R?QݱK]ɬSp $(Pj'dP{54>)V\RZw[5mJn0P])Zp˻:\p(s! .g u4ݮB&*Xӓb;ys|Oof\1S/2HPWڀ>Ay} Y;n5dE؜^@^Rg@]RE͜@iU^_N6!B|gysޡH86K[NmDք )tU̒J|gbG?wJ8P34/s(B|5)ymLVѯh?<r||IN }ց>悡iQw)vL~BH]c̦?;gz,S-o}9T"ADݟk!BYPU@`>LbXT(adB ƀֹÊan= ;%ヲZGmfb)\$W|2P:iWJyHyg@|cq~Ex`SJFj? [~ZιJuOd\. SUTʷF U&ffͿr7G 09!~ DOfMP>}'(DK샶IElw)d`3WL\]7 7Q(MeAoeXm|Yk%1rUB0,R_K?UXƔ_. Q8B"17*9-dlMvw~qYJ!h#T9YA첂䃻of 'WcKzcpϫ,ht:8U'+ȅI3}2"_'ђ,S /Zb кk?'GFm_!`?Bϖsu?XQxR]@ J}.fczo5™z)pv yxiFg {ft_ui9a3F;)8պy{_Ȟ7s0:w^eiZeyBAH.xݫmfQƎu;yXnv\9u D6IVzX ' BD0`h~ ꛏk$H-C ["rvw9ZdԤ6{W*II?F!+y'b{Tw$MQ|g62i @Hb4 02NbO5[|_r g$(-NtX|IZ /8R ɑz</?Oa?Jg)I}R3Me&XjGG]ѯ8&U,4R(~d뚭:+mTV5ނft\ZBHejRc! \7~ Ej eNuveNZb/mj o)l{kb,!4^Z6fڽi]AkiB +j/Mn6Ŀk,bJ"vkLh&ŻיpEZJ6̕VOMoW[x2 yGCQ$ع&J /_wQ8Y jce n)n!=:q9̷UR;IEAdNsJN;X+djthu)]Oa; 3;S`fedMi]qM,]ips0'nZ[OV1bkWF9AmǸoO*B&Kv]_K'q _yqI(WI=g rĻ@N$7ϛ>u4wDZV y"]D4߷mzsmu>\;.\jr-Vd2dv|ݶYF$Q ~VEJ|"h0zwuQlv_&>PSYw@ -.e}Ϸ@&2:ܩ}7t2!8UӠsgnИӢ-0S!ITmzBo?;Uâj`zTj Z^ Ü4{`1\YCJ9ub3R6}f/ M{L@9H2Ѿ)'b ںc3O Qmk; z]گlw!L@65iR)YxYR'e#HxhEEE8M ک3ݼԮDוȢ3O\\ dАBT{T*Cצ9oTZ2 :$iM@C yM-}Mcُ"p5~iN|fڶ(? ӎRfM1cN$`E)vKw=mYr$ xoSL+dD{X [xt^/<,{P/Y:7a;D>ٴ̝K[sJwqy5#Ք_6z~,ŵO(EÄwƽ@t9N9QoZ–פĺ0DaGø8[?b$XYj2*M3bK%\*vOfi3y&#] K$u^8B4k A>)Wm[A7 S~غX :(%P\cF0:x3"5O/Pn.$`Y.̣J,ckl/wl)dKiLDcQ~^D~a0`pظQ P%`(ܲz7}`Zue)SIIqFoְB(|onWǓ-"ҕ$NM:r{3<];p |De;g+-Top_2CNC(l'ʝG8d..RxI ^*$ˡv/Wi[%K(Iu;zHDN`)x(dSMW|85/utLտJG$1TO e-)ZQM+W0G r`.C8䦨Iqν׼E05uq.X 4V9LO xS,twG/jxm!^:Fj>]zxN!H-Jm:xCd=y|F,a)Pe~or&s4ZA*˪*9AcC]7vu rh#H(Vߪw/Zq]Y8>)+/s"5,1]x37: 耕jDiۛS;si4y'5;Xo+q 0)r<{W + MNyG{4qY}=**X3T<|Ύ)1yaN-$:B;{Ҏs'ƎUyIH9P34\  DԆAQ/c\,_oc^hbJrњH G˯,q멗p&*iHN{D`lxe9^ŗQ3F0Klh c?l9T_v -*tW>Oq+N(O`t?D߅րG?%" Գ[.OqI`ݏ qB=nO.ݷegfQSa6Za˴](.>`ܩwҗBI"sLQۤ;&۞u+ytObnQaӾ2\*$ 1 G r}]wQz9{W~TBۙg:+dV涡fs ??c>BTj$Ġ,' H2ڞC0Ccv ` Lξ;yBԌf|@QO2J1}F4)yt^l,F4D1g}1TYa/xʘ\~{ /r1\Ӳe,)NV dno3AB!`l9ts4 /,xWZ Q=@ZZ)uǷj,ovge*/Gn Y<* mE2.B`ȃ:vSjrST/25`qVmVCս&xL%(4Kv8T E qTd'DΏj!'FwxSE@urKbxJ8PȩSHoLzTg%l|8hNE -0:_5i WNԾyAw/7 yBlF40P%IREós2JKF#TWձz+ +ݏ0<+z>@L}O(5]n. \7MɲڧWla@D9M˹ 4~m`uB$C PB!?tV.壳lסc,J@~d=V @237*TKdp)˒f.F% hTiӡ 4M-ڶM 2ϸLi`!L•tjo[]{겝A % &h^!D&g7H*A _ɎeE}r\c4AI+g#Pz)l"AUq= tVs+Fb|Y%)~Rj'J]ca|,Mᒧ#'(om^Ee&]I/5Sz1LAh`;陎-ě3~ϭ<6z 6kxoyGf* xE ,tѦɶo=$>YKERjt:%7{3a7e#Dȑ}pWcBitX)o5T:(>m2aAF4;J  Kr`}8&#_`75%}KBL~HeDu,i+g m 6T,N5 ۻ0nudFs gUiH6f6jLNOywUG@ěৣy38eS - \A8lPE7<Kz3wTҳGR KdK/Cuufc׫`6xi0Z.ѼBrLwJy&T9F9 r^'bzpQ /@ԱµvcI Am~ec`[Du)rJwW@tW2Mz}uM(I+4hk*” # #IRl@KeBB,6 ΧR#>0,QVri%Xx_ _$Hťg,EOCLEMĀ_g-H eOWG'T.n)ˬҔËǴ4>Cd6C(CM`5g10ԑ2sX2 +{>#exJZ(T}<T3NU*13:w \$Ci(3~㯲$L. g@ &Qs%8kAࢗf|:G2ԑO+jD|Sa װMP# T"1!KQW*ov)nrW­LT|>? .'Xwm~&UukHlt=_Y6PIDkNJп`L2>z[F#{.u>$1V'nc%<΁V`Nr%cxг${s9vXv6#YgqذLBxӨR%%</O`+ZɐKCU8Wݓ:LŲ/ة㮿V?$3r-%zƟY;S/m fqrqx G r#s 4FH+|)#re֖ۘ+"rmzA/~Ck RkiȳwhF,](_lPAX6t>2cCRJ3'sy.͕#4F%,x*YWrMY2ڼIpm"#:]W#܇8(.M'b5L;S`RE9^?UzmRW n y0iT NlJKRnE@sDY0W=-Җ`8 K V,2J-W7^ U[nN{) {Z<oaU1*q$Pq=jJZ~BɳV )8{=qI,CM<eR[O+Ɂ#~e{Jn:D9v:ט2}l>]DAXJi=HTpsntLY;_e=V6 2%2a#SR%`?aA;>]h]gk2FY_!{;ˑ,Τ738k"&J?Sn-|N\"5`+VxsH$xh~g2.0_\Fȵ[Ӎg;>e?ug2SDz)e%6w>GLG !=EWgw:=1W'XZXxET3p(C.nI56tAfZZ%xW|if+-JAݓ~܁Ì7a$+uPl 9:.lW/Ewm&-s[{Ȏ#E:;}hCG'%Q^r)EG `+;kGgxK2?=ewHP @xd ; 7xp̈ou6> EҬPW4,F۷ m!#?_(H>NM)d?W-B鷛C3*'f4}ɖ.C)7(FEn@su1<x+8A@͟P%r w6De݇U,Z3t ^Z,9tZt߾rU8 |sx,ʯiJIQ.w&Yqj{08VR^sN1GܺC&ހI6s& ~f ~$> RO.7<ͪ3Z | *ee݁3%vRkkcg@ 8eJv/V!2O^eּxbu]#mc67uKC'Mz@f2csyATdɎS'3 pdî:?sV+ŇպOܮk7@Q5 x>є Ve(RKoP; #bx΋è;si8-Fjv'OZg%/Yk89ܺ~(l!>oYP__mixc rۚL;Վz7?G k +7gK e4b_6V^o ʝ쥄B5Twi,AAj:vоk> M 38/D%s.e6rڄ|'nrDEzO>N@\FiK -ƥR]qtBuUL$bJ4R B+3Й?PH}„betwc]ᔟ4'rU{13q}|&FJ)h{BĠj}cͣHiZ$,%"Q/mڐpt@1&۟!ՑY'[1x1<[!B֤L **0!PY.=t:a~%3e;CVfx@ - +: }# {Z8`%,Scm{N(Kl3*Cuma/-$6f W)G ( iN’hGCV=wq.?$X-kJuuaUĞ@<nN$/Q=L0H]/eD@LsK^ݐ.JgY +: C*Gԧnו?D~ fޱk֩\H< {p noFOo.¯Tu[kK--$0ewO}Lj{MVYTafF&ud`bQU_̞ !&qCkߵ9k#º ra?ˬ !ZOWbL[;Qo+5 yUSM#,# u,7X@I?ń V 7k,<C76{(1fJg~)Ga5٭sJf =Z\^0 %$4¦/"Ӝy` dTTm,\E6%d󛀊rjJ$Eؖ%͓B:y\cs4N}@|Oi,>~#g!\P8LBs6%Er˿ S&sfxaֺ:'D }qg\727oQ ۍ2eV\'1%q̃\v9ؠSY@2{`Z!Fؼ(M9IOSrFaM/x`Gf^hT)uəeeP8108ash 6awCq@F(q]/D&P\r?:aK; 5gf^&*I^+m=eB5ixt먖su]w! E:*@t# $Ggxmr—gעbL*st<$v+%i1T\>Y&,Ia)k=_̴L^׎`ߕ_a@p 4(׺-g;%'{©b솈j`_XS8&2CH;M ŇN,fb.#<]DzucyuSaNuJkz 1J/dgQ.80y&ܻJI7 hщg2YVצ L#: 2֣`kFWкat=ΎМ 8Ͻū""#چs`\[pt)I(DLSu:H[R!R@cLqyuǣXiZ!pE{c8k= ,גZ=TOL`rEGWKk)6j frpdOSy6!J7&k*N&6g:nL\~Yߞ$@*@ Tnc Q^,?'Zt%.Qyz2wLx,!uT>DB*i L>p,4xC,^O!9rct sZ}n %+ OQRt @s^`ĸU{$u:`:sV-% ё󆉦M"/ s۶an1wpVvda^E-StA ]cX+wD b.=: 6CЋ-)6IC{r n}1 IGmw[R\ 4[ aL+):-9uն4%>j"kzAœҴN~8GA$ q !,EW(BQ+T[]a+,LxVXም09Cl$كA&&bKۻxKf Xc_].{{xENp_[5>/;I3qZRMyar!_˙Ta ҙtpfw`Em| z_ޘB&1FVGuCVU{?7 7vD8uLe~:xx6\|3ajO勔qFFQ5p͖ SۮKTɤ0_S@$8"fb[kS:ۻN*V=3)\B3d$Q7J+Flnj+3s%K1N#o]qY(]PIӍ%u]y7dlcr4`l7*ZQ>ZӰB:,jTxո10"J!a`?UX-:L^eIU |Vpb |*3#2C!߰GHg2,@5 r6&E(KeYJ1C ,kܮ%!dbcCcsl!=r[BYnܝUOW>ڰ446a0R_ܨjH@D[k(_?2F'@MqyPm%dACԉ83(6f`LBlIxD +l4m"ŐÎUZ5XwԄt_a@EL/xV%(4n^_^͏/5J `U..m#;Nm 4ԹmNZLxcJ wvU5Ch> 8:҈.rXI-[:hq S {cB)]sE @ǝ!۴֓E12;rlw=[`8=aR&po/M?~8{¨x@́{7AAɘDcOoDnu/%lb۱;.a8ݸsb1yHĶ%Ԧa a :-c7ulwn%m&V}ɒOthWSrc؃}/ dRUN:tyfeuU~\){F㸺Ant0KHbn"ά.WEeg/hlkFQ.Y( ^O ~[ Y&*ɺbP8{3qtӦ~k#o|y%NdGqŴ?f!nq5Ҧ~&~uaM_!{0Tb@b^Kl Tފ)$Cΰ`;Fۚ;Y?rAjTs+ we>54Gc-va%7ΧEy4'N`˭f Ҋl#D>[B)L|p-b(K:  n)!*F ph#}k8*)ͽΚO@Jt/lL>&/C Hhe7eORu0v] ~LoEqdĶ9zIy柘tAy{)hs*" 8\ku`mNK)T_7 kpra"P*G ClAl8:SVWJ{\&d{|hC)i&+`#r+{[ d]-?~tmo$.q׋UW(c`ϺAO_^ hCvp(PHyhzFv\>d3)_ 2dו{ClN'DtdהujYOa6k9#dZr>2V7vlZYZE|#TxC9M'ڳsT05L<>`Y⃤7_9GO^bt']ٔl˻\hkiM?Kg[UZI(s{h~'Ԑ lO7%|{ >JzLnsjbF*Eq$zC/fNX&N5>^>kkN?h [ߢs8ָ)Zetorj6@XlF>8ak N!уjXpuŎ3`Y\$w\pm CRt1EԞ00{5/|IG7Ɋa3n# 8|EgO* M{fFpM ؄*<.}Pf%8 ެch3ZFﺰ<㥤"H"gl ?Xꖳ,u*6.8X @Kv >cp끻z㰣C-m}#t$Jl+1t]~qN--4&88rQgxgB)37V ^:=>vd0`']hlNbiiZ )x8tS5|Y7۞,"]t#sUS4FyÖBt)T@ɜ;cHp -W6Ȓ}.c,챑Cri8=h,'ƹީ:#=z΄y?J.`;chyL7k2b/:+DHXqWc\ rv,&>(SYO.Vxgͨ? 0QgwonW }H~!ˮ#l#rx.ZFs\$r|wk ÆA3q!/n9%'X8k.r:yƳ!QNϭDS gB1 (&`ejE0cR1 b:a{ Jμ_aXs'mN;mpj~y-_[K 1n í1 gYZ271e78313fb8411a19d0930911083ccfc34e9c8db491cc52c6cddfbd176c595fe2bbf3ae3351103c e27039ae01fdef480895181a97cad563e945f770 07ae367b9b6b04e6f8ed611586792e0303739300