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 b9~$< ] HOL-Datatype_Benchmark:threads=6elapsed=497.345cpu=2031.308gc=770.3127zXZִF! 5`]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;珽P:%5WTR^W 3-TkarK !]q$Z#e%r wVXQG"nTI"3.&[APxAGHӆ'+"odk :]Rw!tl` "ХPG/6#l?XpUo@~[P7?lPyo{.ly7*9td|l4Dw̏fqO#7çGK^9Ҕk6]?,s# 4D|PX1MI\1.@m/tg̈ƣ]t0\V*>`rG$iW|n+}~y0XGc9*l+T-Ig+*c-V<,/,ZA3b&u%a7T{TW$'qHjL^/gIHue|X♙(o[eBdvÁI B߆ PnTs.EՉIy$ 5pjMz'*Q^/@% =x.α _%Vcisb1J}ע8;jD~k]$UNh m!pS}@i!oME zz3<Ӽ5)F\:܂7z5wScӴhB(s!6ŧ]7`9@dKްLk9HC0;pcm_?b[j3_HS6H 'U% i8݇:CPC+',*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Ś]ů= ub|ل1` 1];f PttvԷ8x*!#a7b-]1U7 h5wЅjT٨ uB]KRuM_fs&QC\FJ؝~0H##XeQ٤iyh:2"b;;m^]칱;g6ԌD7.Qt|6_!Jg٩%:ʑ6(:a5_PU:v5U֯׆yKaE'~?Jk7I7.sYCcysxc"}ڔg^'61is>5^)wkm3ߛ=ɍnx٬NL=n[0 ݚ~h*kؿKy @ fBW4VC)2a~^rC ]+G7\ءz?RoRN\"`}|§U5Bc0Wo1.o:,Y<|B_UnZv) AcE_/W #P]E&3[[IU,dG/P-Ф~oVub0Åuzw#5 gWM̗͘]rWE99s#Oj,H}0$כDjbCZύE_,0jͷL%_e$P]J3%>') , 0v$ wVn_0>o k77Lgh'1zxk2Qp8B?v8%q.l͍F!u:;.*wN,d)cu 6ك$BAh(S\@W% ma|Y>@9AZ}, u]T"V#BtK=-z'FDFtN{Ags3过P zG<7-mQf1)m@e\ l{Qr~AN}[ @D(β Y7 "7*Ю2G`)+NֵtLܕAtff ;DcUW'&G_xԾߗE߳)=`YsLJI`^$tq I)[fbv$.rߎZ"kgo/ԃe|Q|p>$Go<a޺>0sPp>IFl~~kQ#l+cr ,qyJsqP6I<$^ϻ⾗0b vpGi5?wa)m@R2np|SecaD(Smɉݾߒop3RNoBV5U L,oeA9wIi 04w,'%ȉ![!&Xg[.cXPq}WD1PwZjm88Ve _e~gg~"ԅg0f'琭 E߬uT 8^צ䷻ԛpN3BQoDv~yfկ)?gXxztkyB#K76e}$iD ;ä)Ŝ$WGdžj#L* *!Pk|=(559ʴFfL[.6}ȹXbHYo!Em}J9"1KV5;zM"s?oK@L ysk:bT'=;tFM:Nmb*'ΗDʻ`_k8ahd㦙8`)N?T'+H*[tFk_:坙4#e52[fg| i৭C7;М'2l  bIR[{dwFGFh?R=z#~ n,qj<ꋷCx;o)2PE ׈vY 7 +*h;H|ÚqA7KIMmXH˸~ d h!t .A0%9UgwqY9<m,VP;ܰV|( !饹M,, Qi\@i$QA.մ<S[ Nxy{B3V:eT?d~iJL¡ّאqbC"$aSǘm綦B?vZNlDH* ܬz<#{Yw6 ]ĝbO) _)SOwyGmszLPwg{(O?8J)45ODŢkcb>g6TcLe8vFdOݳ2ӜBbUAL78\?ށN4a- '2!V@B7g5uA~XrˍM}RTAf *j>A骋^VP:9|$2½U6hPf;)5O:EO B 7 Ao{;W/GP`d ótlQ{=)賓 4@ɾ<-X@^TtU3J9M7fyRXY`^lF;q]96]JIڂ%jq0dhq@>/-D܋{)J^Je֘X`yxwR5Cwpē@P.˄#Y~gBaF^bE3Qs%]! a偪r ,H{]WaXsBY}#r'Uo5x낧(b2ThSLR뭁 < *le;C OJU$JÝc}I%yN(<4OiBx >uLTYM<KQ&) )6d;بr1k۠/ZTMڅz|ΥGWK_`sx(Xn7!G"Q \es0B\ްv"f.8I:x4UlK^ _. K菤Fl?1l7 1w>];K''+&Òqe57:땙z'zC.yc2 @l%̴ ֏('z[j^f7W |7ИV9Z_Msp/F|\<,PBvᯋnǸg}1Z6; QsDʢOjT$| VTuF2R |Ɣ(&IסXj/UA o#AR3Ñ$E2\$,@cZu UB=EqPЕ|#y^oD} +xN"F;? 4b<4c2^/> |Eeu,V"(Bd<ʸ7Cz;qɆK`؃=q HqE3Ƹ\Hg6v}EXD;=|LtV/wĞ(h_Qw4~ ⾨GA"6!(`Dq.O x\ wI=GˑQ@sɿ6dջTхKh>D\7}%M6?##ȕxjdj PȲ6*zTBj+"n};nU+kRul92;( ^ݰ}!:SpӸM@!rfWfvkt&5 /4)DTYn? ]ӗv>f69cnη\H䬲~7J5/e?-"Zxl]>_e KjNl.-F#d&\wa騪{աbrcl$v^7_-U&>8kt90=׶z*aĐX&=FF2]ޡd./|2m)4BEIςvbOԽb1Z\ -Zmp`wCwo4%[d,<~4t监85H>}! OLUz~w< Į"AXNGA65>Í+_~^ ʉjq}Ƣ~w0B2=m gLAyr1| Dܶkt Z/R `cC<@xri뼬D8CڠiuMwqGnhШ/^:߮җId\ln=BJJQk,i!8R&>ҟ =Ɏ6\d$![ Uv]Tm?hx֣'_r x'8Wy7mK 9]iwF-}nSb6Iwᓘ)VbPq d"u%xP1˕?+MQ7}CLF(Yͻ_V,0GUJv'hP@_>cTK Si| gU#xOIFl0G3IU41,VC׷W۪:nή/&gGprhMyr܂]oJw_av)|(؂5\X*LtpV+5߈AԀ}PJB*7ǭ14`w%^zwV#?wBx,rZ.D6CEXhy8 pJHEsO+=\B6Z{{DZ~mo|5MzPkSᗯ=?'SFgUN}<}B1Uf"x<πp@` ok=9hU4:c˺KH͖ LӒWn[1 89 F' u:Q:GC1[EJ# 0ٲ?A2GYFĆm1>{Ec'&6BUT3{SJG:0aˏƶJ'GP*E|I#)苰/B0Fm) 4_T/;oڜͮWZ#hYWp%bNȽ=([{1^Π)tɀm7ϛV,#E*;} 4P2R`_|Kɔٷ<0)DɮP_.MUE/QاBe!t}m)L=8ˆ'<ʤ*i^Z$Q.{MЙlp5gh~ ة['i'g9-sYFx uQZ`5+.K$uay fpaY7M? ?h2M ]~+< V )9<޾_LE}?k nP3YqXŋ<iu/W&6%m.ɸӓc1̓Qpǣ$_hwgsndEҞaOyA< G}?yߊJAY#ywCDx:ϠJG;?p}k}qZ^q?=wFYccyI#CDia/ r#J :p'\].Ģ&'^/qs(;˒T$Ռl:8H@xAe8I`d(<;y|rז ;*1/T/z Ʈw51SԡZ .8S}OžSJfrBzj}!oOL$:*Pg*ǟ1dqV[@Joe3ƴE*(rVm5 q.D7N߿3j9}DCu:_B"N[xe齛 ! \U)L 9^F ?|L˭RA^T¿9ɧqIŻ9L.K5m5HmIa8;4{籘Xmt<9{3nO64QH:iKWgO"&T6{/id'%\pCWE'uf>+ru:B68>΃z"˖9{La2> B89n; DY~퍲^ლA[wo/>˚&C*E}ǀL"RF5^1&{A@w˼;{g5f虨i^XbQ9ugZ`j1W: ӁakG虜[i}K^Gs (@|%+ul7E,6ɐ`1|>I'7fE Uw}O9S(3wE{¸0r8 hZ-6܄23s uc؎9@k(z9y-cR꓈PƑcO 75-p=+hLqG"# ǫk|Q_1}QgxHK=Ci)ub:\b7-o 0y{pNleO1YwU6y p3ē}fc /alSlMEfrQzl*-2xtnzm:7 *?u'B;!oZ55#Bdؓ8K0 Q`U')tgV3)+h4j:4-FI QfՑEel !}/t}J ?ѼK[z9~ȺEAPmUϦ:sK&/ҨA|j=:RĻ"?=}Lͥ-FTRuO5l^q  hS;Zqy8bG~) Rr5G>1& Uʠ`sG >:5L "ƅʭP%/ qقĠmBMYMrw;ىuOgVdR޴ +@.߼5oV9hu!~|K&_Ho8whSa|MO):cF|O%ccJ]'_;Fx ՇY7ZI >9V(\ulV\:ճ*Q^P%®zN.p?AewIqۣ$Rþ6K[r-˿Hz׌rϩǤ҉θUN"@`PA] RBj">_WBwUlI,p$"6ܧdC)D/EgGԷmk7ÏihEas ,B7_ j (̙zXs3bZF(:ވ:.bqlAvWRvAN:i$W vbŒ\ as,y"&ȋQMw(;ku0"F2e6hCr=Dra8fٺ+&^CH#a"MSALPk~6p,O BfQV>ҍŝr1;5*Ih08` 6҉GSvoUlȤ\[v8խ"`<&gv,osK ph/};͝ a)>d|U#ޣâUʞ·"FТŗ/ r8O2o桸y>+K~NA=B3o10p6O`T`>N>b2pZѐWfT² MuMqT+X^.LpvͤgDHpҘ&= %O -&Y(-MY+ qN;iyr{&lrybRI:N^o뗩v#z?I݉TLMu`S[bH ٬ZDvemm5XfF8A_#VjZܟ=ITw9&G+r»E^#k&۠1ݹJ)izҋSD| aCzI:_)UTSa}js\I HCy"({|˓g~3S=>ZX0P[CߒFI7֌qp*xFIUq2}ۤlw#jJXv1kvir.V{΍fT/f݄:yƋ_n1 햄Ilt-b_j|$3g9^C"j㯡"gMAcD[d?EZ6**WSWU5h2F6 ?lG;9:*)H ;/n;NB@ ժ~v: &RHtP(F7 $.-fe6|Q"lw;L鰽_ıse+6 ؤM Vv ;/FC!֔R+6^[źY?vJCyr}` ί*A*ڹgbi^6'$CT*es[>L_wlF4U8#7](JMrwS_Ry%8u*[yhǝ? <6ׄnn22QZ-J?>G%9)FᴎdK߂XE 2ClW Y&=&ooWe9[|ʏ7^R sSV $l7;F2+Զ 1ܶwb)d0] jp7 4b]T~`>lD[b9$t/` D5K'|&n΂WuFC~~2SO&0n?mp>!P+~:t~|xsծVt,m-uL\{ј,FюJ`?(#)GFy,/uaHQҟ&C<kDঢ̹X{M­a8@K !5 ^=g_r -pW;K2T^|!Lg#\ea8rb@r=bi8e I֝2[Cqq3b\wδ N')I)-v4 cKj-BZwDx6[}va"9m}vVN$+$蟓 j(4_t<ƙa/u|o𴱿uVfDiSnkohxn4^V7\66k> I?O.>_0[j1j]B[/>ۦ6)d޴\ј@vϛ\*.;>@}1H J=!c;>I'B_Gw1N'37HQ.VC5"R6@aEB"!U~}Ʃg2t UE}.' فڼ5`]gSoɾ2ed}AdyvNhdfm#g)Rn. S6#=q F7dh&02 M)h~Ys!q; L H59DBiNhyXfxGGKMƫĵq@[ҕ猔Buudr fQ ?/ECfgD N0B n)b\rZE\hs5JD:.OON#В5Ħ߻_ї`tϽ{D-J4#nFK6~SڻrfZ%8ONGȐ?5iq#<Lӕ z{5*ÍUD:i$D&T٫o5fхST{HY|~*8ҳ 0!6 sީF$6Vߒ^۠x yl FOQd^l`}28~ "1O;b0]n1}D5t,Ul;qQA^ n aOZθMu}%}GPZVmJMYNZcD~, k<y6x% Rf,@=zJN t*bU0օM.kŒAE(# ռ{ȚdтջJ WjKBXOVFֳAR"itP >@cQl 4{uĮH2Js'%(p2ZIG["=+80x7`$5ܤ'.Rq'E_i]1I&tMAtLT1ts~,8ҫ[ |3Q8,ԁCšm̚=Psl]bv{*.kL뮿Nxx>0$=|A\&KTZH##Q3:#c-RR>ǚFB]/$l Ot-ֹ0uS&S͍ŜhJ0@Аc ,:IcԺZ+aw_fl y_ uOpwKRi2!+={"[U5mCvď.$k$o2T6rz]tz$HDXOdTgeoDT^BaYFe_=kn0PAԤ }u&Eۮ{е;2h6j7v"J7oA\7{Zn!.z'ϨBS]gBgZX\곁*]06Ԍ)-ݙo _e[YЦWq}j,t΃GO8 {J8˒s;JbZA@rt}@>:`k?ЪeL=1{9ՕlwD`*qfbq|M-)LLq"o';C9NŸI j /2\$tHn%YCxA:G x>]~?ۓW}ȁ :n}xn8㻵 QL-gv"8ahvϟVj#P5y횋Ch փ!9)6ǓhCCzV ;ѥd/J0jg;Ome~M}VG֟+OvxQ̬^G)9sS@FVQuReT@G4;qdq=ɯw~eAƻ(" . LD):vǘdToWaSa E^gIr)XXvBoQQG9[wN@%T|Ol9YŝDk uyh%&+6( ))sdk&L֬&/@ fg}\2(qM뛙-rANGڊ' "1 l =+P]-vB51{H%Z~޻QXOڟze+f´fXxq?]oN k~8N]M̴'V"㆜; eiyɾ4:/54˓u+de#B\a 5ї/3Ʉp,$=`+߅X 'P 1 x2<T끲~Cؓ;6ꑷ>9!Y`+jeNx}L, xS퇚E1)"7K O BzeC>ڷl7⛖mdzws4hh5@n `maZGჭexɞ=O,/c{[Ivy<ȧu$ai\S(AgdYu,raC_*AP|+!l2E}7#AFVJ5Q*$&8 M [.kM\u"IE ydPԘQ$; v NJȋ'dv09or}H=d>j]?X0i4C߄ᒏp!촩B1<`ޮsr&5.wTZDwa =#Mhl1]F#m:L 2%6 %;uMqzjrZ0ʀ ~CEIC?q MaZ*zx?TX^Dd/NnY|`̦zĹ) KT4UTP,݈;r[Ojłli $B0j46+\N0 |<'SyuFWUo!C\?d25zv2%A^EQxpbl\tJZЉUQ|"Z+sҐ1\NTFȗ-]9sg3ɞ 8QԬ Eo$7UR-@wۆ.ګ̨5(=ۍəڊ6voi 8RhZ3hqmpmm@3L5⍮ hPB.ȅP* ]@hۺ;yqhh/:0^&}kF?W&D@*#̔.Vge*qP~T T`b|k)?/6HqB2 Scj1o2oțy-x3 $fA=tzQ3 #ڬ(P}eeKCmAm%4;܃iu1Amj>t@\ɚe pW=3^[Mc&ٷTqY&8᫖#({X_ENи۞D/T7 b$ t8o;K9ˊ_d;n<_ O[hPa%,7M 8rHSE:mqvxӜn-++ gN(Y5<} o+{ӭNZoQxeUQ7B"칪qM,k^p@wN;T䄃_hg}[a7k:^ FЌol@2:{Z/=[OAm] oWN88EfE4 KҪ+Xwlkl%o,1>F@d+LyLgBEPVZAei\#{Hޮ*ƕ?bwJ: W2KwBIf':Mv! u$Om2үJ$IuUxVW6: )eɒeu&f#[Mgғ οtX$L{SiP_0余{59DIo-)@ŪF)IyHԢ9e%te'Q۳>wm[`1BA41·VZzg2eympf`8[5DrPD ^RUtaT[A0$Gv4-w{X!6nI[h{S %l>ڸg>Jpɼ)_p"Qcey`ƕK3l/nɓlQ7- 36 ٶE(yjUq:%Ǘ/{'s3ݾ@NeV,i 08,'ƒ>&᷂w\:ј";Ds{'v,IP1T1g-Ss:;$ba9 Ȇ,N|̊Ծv& ^P*xw8ySjn3 FY!ٹ yA݀AbpVfL}Gm: =5B<Ѫʣ^1WeA?4P@K&oT\OdP#>gﱁѬ4 K/ikli"V=ӈRG9V9_\v2;<%Ҵ+cT^!;GR\Jg(pѓI~k%-;杕8f+t8k[op %xm7) A7#܉ɩ` -ćV_x^b=ah>쟜>o!ҧ!x( 2q)Z6P'v2ꪺ$\0xLxɔw`0/} X~b^+!1.Ҁ lvi3Q".Լ>S'鷸[3 PX=:oD Qk&HJK{lmU 4AAiiD7%B4<&S%1'p~znW))FD /.CЬ rJ>rsft*K;W\Cv-d|Jmtui҇NiK_Coo霬[Y3Pنb|[!`ZFI(VEDQEnDz:*by[f#{q9sv$l7짃9#!KŃMD4ESW@ZYNcjvt*]{0w5<$1@zӧ 3R1Ǡ 8[ &` s0=˔v6wu"~E(K{ μj+KW5Al1cooE62@ccG#1i#^9N3}Qc2{C]Œ@9oACnM??mry@RcU4gR%2Bƫ6ߎv=ǏˆF_Qɒ]W$U?z{8/ٸT)^X;mbQW:g*XAWufiYTo$殙q1gK[ёdyڷ2 r7n _ Ama42g~?:B=LR_ F1a4Dž+85ur-k-:kwV W8w0q~m8m.>:NAW)ӕ N;alWǶQiPpKq!Z$A8F[/XT=|Mc"HY~[W,6'Q7Yl6 B\& KE%( sZa]DZQT wsaRzNn`1 SOLf-঩ZxV: i)Ԁo!F@_,Kg~[NVpF@%P[qt_^mbK}'XK}C$ۋN!%p@ZfKVb~o qyp[:$YKJatDUz%g$F[W8`> ur9$6;Šu| H@22anuRuقw4hvEȝ_v*Ɓ:%GsM^I$_LdCHp1tGpڪ"f|iVq] 5K/j:D9(AixV ql#>ҸĩT Fq- vKL<D%O.ݽbeB+hjI {x͒{#CR>z~ :nwzu>u'y@.apݾT, *}T Fw}JnNeD< W75vAJjI(#!rLQ:V Rsfgk&_;`} YBmP{HWٞfZeEL)TE`=^:ÇCCY_oIpMkRw ݮ6RhxrύoB4.5Dq+U = 'x$ԧ;4L.n<۱%}t,}[Ҕ/n*,2 엩B,5S_?FX@9K$PBL,-ſ%=y!NxH*Gsě~ l_a'OCۣ=s;9$!qN-,׺Cm}x7V.oƩͥjlhN0hHȱu?jM3]cr؃98#SƇ2hFe4"G%G^f==PtbxҢQ .[cHih _LJZ7.X(Bjl^ܒjO]u{r+YHqb`KZ'o]*@[ n_;r%DeZrn@ /NJs*Y_RVVènw.LH#,y/*-5_Մ3-CZIW<êln[*kFa"Iyv@E&$ NˆөRD*X&s?2sET7#+̉fLfاR9?Ps,j`靪0ğ|٫ VR.+6YoU5f{{e֌|a#4 pMJkiION*y5~M0uz\[qgc*ͻ`jV [&f+e?c$%+bxM &ǖND@95|Z.!l XÖHg?J p&ot^{:=|rB=Wx-o8h 9hJ 6Oio}ʥ'Hz!s?*?׭yKr=5"Jf??g zS/&B̬SmޓLLMԂD^j2\pk(W (վ C\qeX+6^6sb#*`:?GQcQTuLiLf%ہiO|N{Ŗկ( lk8~0x9Q"fܭcVgR]f܌k77V1>=~{& }}ڢUY*,$LlG۰aр-R2 " Ťf=6/ 9B7u]ȕvx/Iy)@؆@FJxXs+AW.By$R-XcmjڷnLHEmAD2ѵHMb9Yc R7 JF4*;6C)q "k 6Z߳{PoWts@ BgKע#&ν]Hq|^ ƢXgl/;tbCH\3ɐE:kn tXqw}dBW4 ؃HROͱ}nνDj6pK γ4axan5Ȣ5OƮ 6fZMnj VsP1 E 7Śf[{8[$EBߣ43μmMa6hF?mT^mdA],I:T?`\{I x(3 0Tsj4jz>*fq[jakU\B[~BCeY/Nn&Ɗ.sne2X/Q!J [ϻ'BMOǾ 3Lm*&=bre J/N17PaN6#tt+= H/}U@?fyy|:aD3Pm&!ܔ:T95%nRgͥ@ZӐ-S-$]_=Riosc4%ɋHR;=`/ML{c!FcwDָv:vP DȪK|z8KgDu)1 QV ƹ1HwmH[:PZkzȝx.,K6 ߿o٘5 J=Ydnw \Ԅd&0/ 9J+Yr;fMB:%X42C@# ë]waڄ~7 8%,|'L*<*<'`Tluﳏ [ȵ#%DƔT2z;*Mp ?\` S-gnol[`~thi;>ɇn%j+t}[:ڻK0n07&B=)NX{+߭9Xf頧 )l}~f~WhF NwNz%{"p.x&ʫI5t`$#G_WJcu~I97>S+&Z_1ri80H2(S[PJZH =;3K䪛'Hz. WQ l [dYAN)*>@8Ml=͖D1#Li/(v(Rc6`P`B\iu θ${RZ>z f>d(zg7mZr^+Gn;F֧7ȳ"(`lS*/YVy g0r e8~K. P\7ȭy40 c'|9bn$ )C+B'&P)~W[ Lڑ0̠ 4)^ עn6rOt!{:廒ES7AJNf`N׮▼_hL6]fKtgQ+H;Y3T)]=RʲUYj[Yl`3$05KԘ3B71V `O"hfz"Q%H5NiM>_}3 i,,=vBc%o7bsQA),pQ>MrσYPҖ a7#'EQtf jP euxʄ1=q~xD@ q>&flXrڂq8$[g_{ ɕLi/fFa]hVW0uȸ/6pђ+z<#ߊZc&1k2oX*ܵ0XO h2ȟl6|\`ey#AKAAgZD8=xJRr@PV獚;1*%:EO/2A!(0 1",5lP⨩Zk-FT*m& >X35uhb_GFL3^SIbMt:fWSGMG)+ q_b/omPX,Xau>7=M`Uӌ:vt[խkӴ>^SQ1{jh1SD-R@sيY QDw[uetYFͼ@GΪ R%8_V0F/9& ،U0vsBUਪ۲B{"z㒡`7F.b &g= aߞ9׊(窖ƅKe/m:Zfrj|r5~@ ONxW1[k"g8>9CZÈ|a>r0^vX8]Z-VinYNgx&Mq勞JHIs.piAŹ5edxݞW> ̖IPn{xdPjp<,}gYN7ޞ4m ʐFo]osZO-GpOΤuk2Ɛ3T_t`jQ2CŰ MfNT[9xugKY /uSnfKA4O|!YKQ5RJ|$?yL[xAܜ 溭z펭Relξ)suH f{w,hkDCW8}If4ueOPĚx%2і#C½F9ciH%zq̷GsVgd"(\HD%]ŝi5TWzEs4H7bk7)5B4H;+x׽d^r ,0شcUͰcіvn1NT=;|bEu8bRhw-2wY\&}eb?+bu.ؽ|M;T7p|Imdtbs9U ~R С32 K6~swI}%=W$p2U+>B SVPY˂Yd*qA!c |\ +3'T-?yp ^P`>N g۹d5""C}MDEPu&DŨ T4-kEuiP_#bIlgrdHF<$e 15qT1Ӡ;塪P: UNVP8Xͮ0%5'É ?'e k@і2"z|C;xsԹE-099E|\3%Hg_QH*5 aqBrtn`ﳶюM GEKk2yȓdTDM)z:ZVVb;,"%L^$K)TvMӋJ=ϡ&n{p`Em ILnL]SΖ ZCz8Q!,: eX( iձKx*?O/R|,dO>TJJń!I !d*o"L-D֩ϷHJ&@ACIF~C#ef1hR?+s#ӓr6k+ۖ(l >KǴឍmJ0*\e nڨɽ.F C#^}e`\Gf_!hp5~p F{ws'WYB#҇r MEYA [f jș|$[}vVV8~>Ԇܾۜwnb~q/l]-ŨAtHyqW 1.-FQZqxkKk;`bacI] 8֚{W(s!%`AU=^g.E)a^)̓r8&*]擫s47Cupo#4$뉙z0b̮ЎQ /daS6m?@xAl=;|Ӓʇ"4ҩwO[#64ihrGfz2hU2"$:rNᲚrfqPb;S.ʟ6XD֦9v^ka03a1mb;9Qx;1u3&#.U+4V24r *TB6Q4(a* qdj< ;GrhV2lwe .9K Ý x$41@CA9!E0\p!4",O,^gf)d3[cV o3/ݩLJW_ %N!aj/\p_֣8F yp;ku%n0G\2gO;'ɸȅ}sV?Sjt%اJ[,;k7S0E` }Uu<t$1l"٬fC GC&(Ǘù;ٶh0 3Q[]WBTdK8z w'f~Uj*:ct\7 (&Xyn(x;Bʙro.T:B/gv!7y(_pO@)Cˋ'i+әd5g&pΌ@:PUj9t(*ǭR泀K;vkrnd+ڿ| uc z`7ôX#E #T%GFu"] CNOFқ-mW0/L`l,xH>H{ft"T#ZbJ=gW.!F|#9yyijv[wV!ґb8EE3YJmQ%ђ%Qy ¢(bzDcoersX*F2 6iz̢a`ͦ5pgOta) q&RKHG'\Ӝ!p^xL;{[2Io/\ǖ!'6dkQL# ~'E}iU} O~vjٻ6aF{ ?'j{mgClӂ8fgvP+]RI̫c @[Z76*<+I (=q՛U˝LB7KFȈ`i\*gP65p}Y1q~KS%P# cW`OuvteO.O)2'ST O 4E&`t6K# Y%e-83/޽eHUɐe_Z#A_/x<>nqЀ).ɛfY`*4 = `,BG0XOZWEvOIh% VY¤jJ ꖉ_(C[^ϞW+: //,)nGݮjP$;{se+&ޅsDJ.'ޏ$K ZZhuiVݎV럢Zj)mWgȼqgOEs 8:}}qRVȑI<`$~1a$dP\3if_R,E&*[S{.4OSe6keaXT閘͗r&H1${ܕS뗕9,1gYZd706dfbe8068b2ae10d1faa6760f0ec2aac805619cd3c53d80170445c84eedf6dd4ed5c742828d4c 1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f 40c085545166b0208638b4543edc0e83878ec9ff