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 ;9d<\ ] HOL-Datatype_Benchmark:threads=6elapsed=417.627cpu=1546.732gc=417.828factor=3.707zXZִF! 4j]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m!c7iSƍm] !Mꂊѵi|\2"]}Z,ofWוZ/[HuV0e] DPB=XSl R4 EŻ t`pG4;M<Ҹ%Cp $bN"n1:/Od,yd(h|!fj We *4/%2װayCpwkYt?muqyL|W9^ \jw"ҏAQ ĄLu lBWӊaY1P8E.s `:F΋ٹzl$]PȤ1)-TvW';{7@?Je щ2kS٪v/0h4g?$ G2VZ&tfS});}LAw*\߶e'BhFPȣ!O]0Ҁ ۅ؄v䊻-h+ MYNQߜG5Ժ^̠e ɚ'l^@6"k!Is|z_@}zfk(9z/:A*D~- cI#<|<|V$; j9c%%_ț{D3''Ԋ2 h!WgYZ7zXZִF!  ]ŗXiɟ1)*u%9{*vO>5(?w++Xy#T merYyDcc=i|< [1Q !)z4NxWf*͋*$nWY2pZ?'9U65."k'M٨ nʻX=@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+ꖄND9G% 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҆.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 ,t,G9K%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.texE9G%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.texE9I% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.texhc-ΐsTnjJ))OxAqpc7pH||2pΧX}FFtf,eKz_wPduL Zd } T,ʐTmF4̼mequfvpHES.K| H-ֶ +fWQ^Hna:_/C;j E-II i+сþc9A?@~+B%U5I?InS2 kXaҰ|OpB-<)=L$N1WRiʔt+7)B)+4%Bp' ^fC:}i\\[PK DU:FlvN32bȥ#7q\d?5 'o?KC #]ٜȇ yV@h3Nxq 骵ܽxZ }䃰O0? mADq *G,qC":b8wբr~p;愀g QNNp/crndJopv^ғ6f7?Ur@ƵQԴj6JµY_q&{^iU聑)@z3QP$lVi8BۂdZ1)OQU4.>19b0Y}.;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Ś%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?%?+E(SV>W]G TծWnck~qbFF靁}BG';ܣ-ͷYI._'ߚ'xcnWW-Q.G whe&=#}_&dBLLC$GԸ0ˢ\Mr5PO01 yg9-W5Trxk }g(hc30\Y}0'')qCo1_P*`5?fӧs}ekM30p)[#N 3{HLn^Ţ\He42Zr a73{ofg)aWȣeK$ʜmnOr$ߏq,Ľ2lPQ; k VODِeӡPG|%W@=U'fTZ!)- uJw&<>ZҡY]<ZCUsXCݗw0>G!6.,@1fV@F :RoY?K|Da镚){ANקz<ml&ܗ!γ<5v))O4PQp;47O~$ȷMXΙ5CxSB4/Nw6 =Z! mJ7ޛoʪ W^ϥU#2Z')CcF@? Inpw|P],Ա=y"Al[Aq-7Iި/8LFOvCTdrA%9Xgr-3hrwx`.s0!rw\=FA ACsUVzvrj˚s(:+T|K61fC V潸GTuwPX=b0JZ_3.Wd=$vƓ/@ U]k&>t3||umi{q5asWΞaa{!39{sJϏe[7S⑀p>OJsGy!g!nTg<@Ճa,*ޔĵ/mbUtjZu^ yIH|zO=Ԡ+.~:~y I`)[9t@TaVsH ho@bu8"ߣcAv$̩e/=7ܩ sHLe/?4RkhN'r7sC1Y|h0![J'C<589wqm6'fq_/e+6jLbl@"<~ ,Y $X}H3uQ6wN.C)\\5 ztd9*nO^ץZ ->`gy Q976neEam-;9lM)}h|n"5Z1GF $5Lr7xؖ*\?VsZ|Ix'LV~q@vX }rߟKs.[qlY!cr ~baM2K`:َV:]w?L*5ፎHA|G*N.L+@j_ GR7}7k@e|{Tb *, HiE0v2'CihF'oP˞CLT$4L-Ʒ o+$q}çj$ lZ&‹~u`3ϸo''Og%DL$"h՝?hqdJi.͹f?pC*D," B=|ɵ!96"mpQ8UV٠#>^--ofF˲#GM[reLfQv$^ϬMռט1vpU@t~R\aף^/r7~ꪎ?A)jJ7bԨY&w$W]Pܮ&}T1Y7Z|r,~~Ҫ(s,Ѡֶ)`4zkU"QqAU9{ VP|@nکp⊷;ZeǝΩ}}HK+@M`+-"U3jYe=5;+I_-\JB74T-|ŐDO\;ɺ$#G)~HnϺO?SgsI/ =0O]GS99FO͡;4M˯:Hݓ{= =%_Zgu:quUn~Y` ,K:sP?|XTZ~ul-QCaE38Q%4y1}Cia PAGf"O<[G?DޞHx3"Hva ':%D )d/h$.d<ޤ.lͳs(P|5gWb1µ-s8&poŶMudQd VCcn̛CZA}gg [c'XqTBTk:%ת.$TqrmK\L( *d>*3BMg :7+E!'q e5oU4\?R%Oh|q: ; S/]kȚʨ:XvGp0sqHÐ'|&]H+ek]X3@'*X(,Lς7VaRq-{wxDrzya@}&ZN͌miR!c/*/3HwnLiO_O%5IUrW}(TlWk?n'a3ig|3 6Knp"IwvviShc]I25( G&^y=nh‚SseIo uMX*͐~ 3 &"f\!J;PN[qh9toTԦ0 {e0OFكImqMaa*r@%l"V4qFiŜE g:Rd jQҖ5h İ &" h.pn['9JX\k:;A ^6<{i!wSXk}~ar2,Eg}{¨:6|Q}hZh#eHXQ!0P%W1fVxA[fA qiFDt3*_?~$$#?:dlQ?aKhMmz)67Ĭ6h\8Xpr|뢱8yc_uTCv+p2=@j gUyiw ܀za'99,N5cqq(afeϽ[*E$,OūBs^X683E7e/?uF&k[_|uTPf]&/q/n3s]u/+HҔVw=7!Cٜl ͣ^mOa*K_^D7kX ;󐆡x9`QwLԏr_d.XkE58? i8<`ذrk,zP{Òsd3Frv~Kp15grZ LJBלN*3)Řb+5]_ #wMCk/ruGw+m11VD?l@0# K,cnۋϗϔ zwНݪs|NpRWm;pD޻lڀgHV|*^@twp sfqd{dk/OQbAx[f@̎f肂RqO瞿g|Ǚm=Hف1T8;t< &GBhu )wIa$ ?`gչ*-:y\o1""' lNW%k\i]״,x`*ZdI%P3XKJ*Ifj-3,ߵo0ּ0VZ,<`95O'Ǘ< í^Uܼ.Ҁ^!O aWbyWL!+Ha5CPub O#D;MZ۶_V{5iz/3RW9Sm![S0HmɔC D_p]tly֭X`s0FM8{fSuwmiH,ƨ&o8\cXO]ctkG82sn0Kp*ڳ=P5YgEҦ'~9~\3*ԷE&ղw٫!>Dtk; SA~UŌB\w hIRdm1y|vAߢU'= S㢗{pY0+XtovlX > 3UA`0Xznnk\+Mvu 2@lf6Il0./?oh)tJu͋UI2ߓ*CN;lӄ|VhvFTXcGu&Rʂ/ۡb1*vsWawv|mA݂g9+cnNoi&A%cB*Ba3#H] LI\O_Aնg(SgN1vj/[>DHcL*b4A OfqeҒ*|iXjB?p5J?܋5u(kՃ®a|m85lVJqkAmw)*G8Y74H,`̵&|QsI wLlWFl" E0jwdJ[L: G|Ѩ+%y={IWqC6hNѮ~2omz&}eO(rU:(ߌwl-m -F->UzU;gI A%ɏ戱Li+QsO.&w\C{}jߢ v$$+TR\y Y[V\ Chwǩ9!Ck>0 T#ZYw<4ĹdBDo$eHLW5 \LXD^ƪ {$i9 ֮<,w&PbdiHm';h@ Qr]i`}9.άRV`tur^ٵx]үϬ"duir b}sgGC"|RP 츓E1eJCEL^43[a&INyOZ3^{mbR;<\p`ng{pF8XEe brd,Q9O.q+6Ǧmc2X) D+58#Bvs澤Zr$~zQ|]Ji-2 OaPa[:~Pug`@5;?lIɰ+ O *L!ӻ #@XW  g%}3cQoTX\)(7 oض5a,A)`^-zJ002N?wSR,aLyeͅ[۰9 A#ӉLtlLn֜6=|Un_+9Qд {1WOt3JZgI.t&6X`֬ꌞSPCOxoZ ~7; ~˭MLpf3ADN^̀_te2VLj}YƳxg(i{03ry4z:$yQg[n $P."N3~#/ Ԕ!#Î:y8Y69v2>R\&d=>[i3;}ՉA#-lb:JuO0[ d}SW!Hcv )qq0L19hA?a!nz̭QW uH0Q IMx3%KP[E3D-1D7 53/2kX ~v[퓤~OJD ٍ1Ÿh_N֊6sIɧ M (ukap/W#Q_Jc˫gQ&;}y6!pj9`p{{IlyLR5ԧ6gf/:R)[zPE-'? !e:L>ސɠ joB:5]"@M/Y2wD's%lDl`N/07hlGGtHcՅbGejM}6^15H+g hS;_ɖi ~T5xll3;&rXp)*[OXnbiW y?DU9<rIXOq5|FR4x. `*q޴<"_{(C'43LDPQ*0КPiY ]-Lj3Eo¢E1- LLRLꔶ:+j>V%o=;I &0bV&zRtk_d6dI _)BU)pAw' 8 h$dӞVPG}6A}!nN7aVV6`tǠz~Lf@9W\HAp,$@lq  zˬVBqا+Z39_l4Z͵ ٛcwO3%Le"kAdH;D97F6ozbu)*Kw,- m+h㈌zRp&X~Dg _h DB`[p, u!*X1C'L8:O03/\ǃBj?fR>YʩT_7=&GLhbFBӄ,o[lZ0qw`jG<4i^XJ}Nׁ~:N-xw؇O3g QIɥίBmsü@  PTdy&Y!M̺w=թOEj'"Wd*lvRgbdc# G\Ê{O?'54=$r[J@%U @'sp* ć>AYF=2du8c;UV("gVW@uz+Fh70?L^"p)e{ U?LD:gwň;jeMuk y&S@9~0ߎoxzc䊴ABԡ%@|+qi`;@$n-;m8^tԼ2+ƖB\x*"iԤQ>'X~cM2['KSnhiߐT༸iD\L}÷OEw"T+02běO"Q$+q7яϣr&*Br69=#L7PsJb| ) %V~ߗt^,w,}tFԣWI'g7gay><[Bh. m-EM+,֨,Gs dXa|tˣֳh ^~V-똽l4=Aa3YNr^ **YK|Df5e(b@*jVgJA퀶4ZLDxʩB`MBAw&M9Jcmh2,V0Ң\V ðB̟XV#l~f}24'(b6znv w.G^N n-K+|?.d9MeBM crɴ]71fPo} ?"\I7b2m` Љ{(h\v\ KscwZ ѫS-L"[TFM+!3+qC1GKcLؘ/{^;&AJO굿,'x2f'űdbmPǩenX{o[凎zR0Eg({.r`3r DO3u `%s'8f= %`F ,VB!&ջ#ڛ!-g`qJX_O[hwW{o,Io.k%@BȾEqߕBIj&+nט d!pr(AB'_El߰rӤ²{Jht,0d_!t@fBݝ`YPn fB>Ǘ>^"qv4Ѭ.%+>Q9٠[YZ=)LRo#+JM\0q9VU8(i:badA#Z?"ҏՍor[O۬aJkXj Jy_l*_$ՊV7o:(Hgx7^w'w#?gj 6y c#"չ({*)W*r9ݪgpѢ ?Þg &ր9N\c̋~ymq6p5=9n5M ί5wpOe^,q8c@L=V_6PuSiL׉LgAR`yzV3w^Ufl,X*)о|~/>6C.Ҝ#7ZEӀ &JzRw>Ͷl lĽ{&|q V~_353'd'|+K />'|-9!h38QzFsڒюM0NLH_\ihP{y}WƉo,ݨl$=3ZŻ'&8?bV[kQvR;n(撣_X^'ybG8_&I >Z2_={0ȿbMvPhUo=+pYCkC9ږ,7F=y%DX4Ԫ9{B2B}G&m_; <((L7MG4wG"MdF)WDvﴎ4c($'vF?O 9-@L=db zkzF&%pPrX-A6ǖy a>V`E@'U? _VF 퉥n9~W_nқP!C@NukҿzLzJȵF})d?m#ߥ> [!|Ksxeo\h#[f0^'V| 4{\]pqu2g@߮,U[U}#08b؟Ca隖4~o \-LFV2<}\}9s KU7k)%J"nEu޸/o9].0]1ԽsЈ:Lpm"@zh 7b'Wc[B&ff?a&8r+Ԉm:G ]\RZu ۡY=|@@.=0co8[j4I (a5C 7Bނf3塳>2XJud6䞍8^mq B>k-* >+uw1+>(p>S"7ިn@ nѤ}Iz:0Nplupţ#c_Vș" QuW"wSdaj]5NCQ#]8&꟫/ᤲvܴKsCŻ ca #aG.q~˴{~tD` eu1>ğ-VpjSӽǹhnKBuMjV1}6-t&oקUd*p1oKֺ nw)9#V]0o"> 2j7DWAF3 p9\ $k4l*%hsFT \ `Nth#CrlB!k@S]ːY7Bw) ]eg`}즧c]:-Y.K킘b tԬ+<蚌ْo.,]9pJ/%3_Uȷ ֡zS l~iyb3<2*bmֲLRvBeb (侼Rėm'ļ1Xωdxå2=s 8.~g ǍqPl. kAKJOy ioHHo,?&рJrΥ`J$Sr$lo,<$" Dȟpxq;M7-EzPΕ oX{]}x[,y՟\@7=GKf65:`àiy -_a3&c8n8g:+sQ6“tGu~V@^3$kA*:.^- RVrШ͎p lx/Mf(!]Y8svs_ ږ4[cNv괩$Rjљ{>wJ*H%$/-Ro" d@~F*Gڵbq ~ '@6iU)6'~;n֘W6ۦ?r{lDQu=CUB%;ќ3HH1B-GeE <^u qcGfW ]D85<ր$?Օ f@;b1S)8O05kbG3wpf[8^1F)#Sm!W-Y0.~$1A>s(uxe`6X JG4:%D J(#Uv_È2ruY1Ql1KEAh#osx_i`o,h.Mi/qn Szc֣POo׵7jd縚%"++[E-e=E9rB1ҖmM^/TsЗ mh+(Aa褑]$*ʂ*+%ytb*9QjT`%{qIeFPƢᵃ{JC !Y.8^0B>}حUA xsF/٘ '}fy([²Oa/yU)#>'?1l cQKNnJ %id'|޳*sp!g0X)XRyv?.b<`j&IUS/<2AFܢlxEK;ӯz۠N:`m|Xtm{¦9;΁9&;a3O[J{s$!4yϧGRnQI?.mc$HCE}Q?@p%ϽFu7`P\ O' x*5$kĖMڠq|eb.u{tGp 3c]2!ĥC 3l/ރw@yDE)1:v-z}}ƐfDCĐ;[YL0O=WĒSeIQ|u,_jyڊFAIܛdh/T~{tbSzxLq!0 (P0'w(K|zo-샎U%VkM/av6*^ZcG56?"n%ϳp/Kfm#dG푄rli& H`tඒLE(=4kR45?޾2L?OǴI8#wwc jQlf`M7 4UbMf ե4tҺt#s+ qhNݑ+6&!4!;m_QliN#U͙}YtpYC I].j:gx//U3;ϋe-w+0~Tp.YeΪjua`LN3 @\҅22WxtCH!Ӂm9?ʤN܈Ug?X ,ZD8Ums,O>ukZӖZѲ}orޖ `]?#YvRƩC )z1\F>iOÍ m{Ĵ>2κ^@E 2sllIX{v1"q)X@dK8>֤^'AcҸ!q 3 .aV g Z[s%QVD%3H"+ <_l諳5{L]A3)Ouİ-͛,hCFɇ&ʲ|fFw=6:sؒJh:{L3(Sbj9^c?)ocE +jOo[;iW"PT5ȏNO?9>t~TlJ3xʱD> d%f橣`2v紒d âl1?J }8KopkkST) u ^V.̸ ?tvEji̬T掽Lhz區 B>M:9)&/xdVCÕmac^p%ϢHf~pZk]ZR5AS[XWuS8hpr h I2ݻShNTVF@B[kTjAu܍XfZ!fCI`ӏ]k ۹VHd'[5NɱP| uޔ dP85#ɓᚒBhc."S |r"W NkL8$yG +Z`%~pkapJmR^KIO%ҶNp0NuO3gҫDZ):g[p-oԎ2FWiT(s'4qj:p:OhKܙDHBOU\{8\.SB).j[i5\rs1Pep?u]v͏p>tYX-[P(HpKA 4+qNAqT)bi4 pK0͋xƴh%Dգ]aMB`>.51(hm!=#e"? ﬒WIRTX2lt%k1Á\nt݉ݶuq ԜKdG0GO>TUBlV5ceINOPy& z,pP[>eDV+ZXO^֛KҎxbN ICh~Xd":E~eBL*,:1sQj lXv