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 o9 < ] HOL-Datatype_Benchmark:threads=6elapsed=431.823cpu=1592.008gc=461.292factor=3.697zXZִF! 4]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m"\gVj@\03 Pc6u"`Pk^Ma9:OAy*{@;2} ]娬Olõbzږg )?Y+7+[7$^=i kayxop d֧/ tZo ފ2,#?.-_9m7U'sKR:eð!uG]F}>?s)=n{D5FNX̰ib+=oAQfN b xϯ~QsX*6x ;rmPq 07Z8x!Ӷ&?lHK*(gD#+9Yc6Q_RKt[X94ߒ& t⑚_U@iG XQA`],Υ+&WV_5)w`4X/iȕg{ӷ8HG0%Jy2gەnCtڂ%~@SA2^&<B) &8瀖zReDܭ&&6q.Gm|cc+ek(rǵ1Rt iv_RgYZ7zXZִF!  ]ŗXiɟ1)*u%9wjP .#i?fq\Cm"$[&zmH NLÑ<FTEUCT(z(2;&AO]q]bSez:ү"-0 W򹼝[]D!LZɞOϹ__.D Q?-F CvA<2%i',zj y·y958K^~D"䡣ۀ%C.4y5W5'w?!=Sz +S`S:!ȊVMI0('[j~ 9 HOL-Datatype_Benchmark N RANh9K% LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.tex7zXZִF! ^]]A-MՋhvG"uIBm51FbhK#|Q}RiVeCG# I>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~U$+P4ǂ&Ƃ-29, ſ*n +i۳^uVA_YLj<LJP먭]/EQu^oz%&xunAes/..6~r۽(ب,̼t DN׆;q藃w 7Q=Z ul {q{qɐ7&?&3խ_'ݖbixC'D}d,¼tvo8腠JMeƁNw)H>>E\ǭ)(}5+mG6p#g"atķ^;O\ NTLEoF`BT]7Vꟾj?e7N_zbϛ*M*pF+j/DNzvC[Ԥ*[`EʉV^GQ$ %fߦ_:9Lٍ 4 tƺQ84s? lvxPt/OgAJLt থGaOA9)*V-,P[K(p᥇w1@ѰN:}٨QIH"᪪|@}(N)I;H rYS!@a UPA(4Sjf㊽q"#KVykCI?L0=wtCLwڢ.R[T]f0b{Tզ;RIRB󰣽oio=u~k՚Qxs'#%KMVpp,(}varW3iI{JEA;u /oK~!H,:hd`zTqOfA: 4bMJ.C.JIo Jԣ*KA$ qz"L`d—oy/v6"cӇ=aEm+j! pr.xMZmwD${&V⃲ܲލ%PM`VĄP8;CmvKT uI`jړ?f:.t]:*77\xr; \jS)^rًnO(/9OPK ϧ CR'h876%c۩mWG Byꗴ>|t}2K-oC޲5'h% ?l~k}V2vzĽ }@َr;K5 =NLROuUs ijޏ f30O-$V<\mn8PzI eerLrA Gt( 2hL%W\(hE3w6#s":(2Uܚj鴏V=͝YѴɄaպ}ř)"U) 6fۃBһHi>@8+YfDd1d(&i ;rzkE-F;N>hR"ĆU7]5yr&IdO"ˢYh?ض5W%dcNTh0 R\^NLu+?xbV*hRc(˭%#܋thϊLYT_Ƣ P&r=x( sd{mn1:z&q@tJQQK6 NS,ky7E)GkQ3Q[n#k_r( [ql 5M_:&\;nǫ M UKC& ݤ؜J5Z<:'&488厮׿{4N p4ڝ$˲Xdw9!ܐV(C贮)ɶȷ b2l =|)6|ͪФTu\f+tSs[-e?*lKX-7j4YC| rUTٿAТrᅠOH✥%R$ K0zBЪV,:hF9Yer d`5SfjjL>]Uifh7 Ωnm:w-%iaSW>ʄj\H0"FY HKqsйb9ֿtl?pakMrT>+'~i>Y!r3I Oٮ']T\on #nEpʶ deڛ,31mu2em%xgbaa^"XMkPy):<-s/1%.e}=1`QUa$ڷjQ8@,/ v>UbS g&Tٰ5=s, z'ts)zDBux 2?;sV9;V^l[>NQ{ CLo/l6`oߘAevB=K3DK~}*4FQuO+9Muy_P^;2, ~ZZ_K*%\=ysR(CatxbQ,!${Vōب @_IA.U˵'rYiRjkl_X sOئEZtCfg)VxBjPY^=H9iZzaJ`cGv(G`##gECrA"^e aiƨti97NIߚOprA\íS˥T4H-igwI".}RWk'm]ﹸ0ṛ \S̖Ggi'*cr4R4kBY _vE\@"'W )òue_>KZQY-eH:_CG% ]ҹD1ac3t6İ]wW4(g$|_[JBBK)n- Ҍ_lZ>bh{u|6ѥʯ5n !YcuVNbQ6&ju nTWeb4=gH}q-0l(o!O z Jk帺86"[ ([nC A'$Wʸ?JTsUZ0uҗBIw0Y.8"+il1wTQ_$k91tM"GZ (TS y <黅PWP[ G񃘁YxnuNMpa $#GAdGRx3坙=0lF80mlFh? xv5NH#ђٹ4I :\sꈝ=rU tfc|G?VPj-#\ӼREx. /5Zn_eI7]{YƋ+8yAQ)(IA8d0b6fM 5p jCU氂 2f IveiuGsK,kfEZNQp !Ru84Fɑ}U1Q8^nnoDiqMƴ\Zg$ zH9%:zo{8 C7F(Up6+QT7K~*O7Ԥ4*2&vB}&1;FVjXvRDhu]1e7*J,ͅ}e)_L7$WΰMvsYQV?o]w܊!A0L)J^wg4+Swe,kIWc k[\ GJX3ꁗ4Ԯ~Ԗvic|mdſbE߈i=k9~W dM-"xYYI=3o6g2nw[g}R*D0(ݼX*+}4OxG._x$Ibw$W2Vщ&e[e2(oXg0~ WኾwiÍ!c-uLwU[]qߦtD>8-oG76.f8'c/pU2z7@5D8f@%ʣ2υQa]'{37y`64hсTJjQs!+ Qly2 D0 ,k/ͬl1jjF`C^+k_ͼ{?[VfM4|nXA 1끡c?P?T{Gd cn8{I- )Abnm$Iu?/!:֚dD\2h 52Ѹ?Ci{GSV*ὫObpA3~6qٯԭYkd@t[c ֛/W2 Ca Z0[-rq$O>xOO|ma/jak‘@` ?fq~?xnKr1fȡWwlw*%(iFb{ ^&!'9VR)G-reSŐ^brփIg&+dEejӬ%5`c[8~1sQ!CdC) ;Zr'~.nAz1~\-qKf.TLKd5@k(X)T^4dVW( 뾓y_s$c[8͚MF4 tPڪԤtbG|-9C߻!,VV&WmE"@2R/*md *y( J̝vSlf;S[EϜ13lƍ̂N/)V]"=?4ɓ3aO{"hJ0Wr.|d%ìb?OAbۀ Oaғ< AQ>7m)[Oɸj-ms77 52=S-偆HҙMUhߨ:`bdg%(94bԅ6w( c{% "d6 !c: 6.T|fʋ`ZGMF% ~˲xxډPT&e->Y&#N4 >l|KVK5QHdk]\Jt6 76VrߙZF?ItT/Y7kB& `;Ĭ ;*ږ-DM '԰_w2o?7 e)01K jO@j%eLw*%fI1$'7fݎ9U6p}-,%/vRWUl@{>S;=exSma-? oDT}](nV=jT+]=קQK,em`x{3첇˜d/}ob yn-;)̀>#cBϬ(֍Rz⍁vaW%6H'ϟ>HKʅą n > zuoee3ZPR6m=`kj߼n 9GVtTwCm]d]O;'-KBkE/*+C'A/?!o!<)Vc"7u)S#4 `濆 X;kVS`;CkpCpUA6D z벿Qh%Dam#zOł8Q0K ذ6azKZD'z/ pдBkD*p*h_ֺЕ+^ >xhl鑕ݓYC OÍ;:zUĞ_V)kNytEb4o ˫hh-=yAR!? 7oM 9\iZg+Au^7jl5㢍@dW1j[Թ\){cЙkW]£O0hPU{{ 0@q0I]ξ:c4J#3J 3`ݮwɑJXDr1w1v. c">K&[oh ]|"A\O| +}Ĝkf?l!8*%"hjCW#mD`fo䈈\^'T x^tY^jX̗lH@9Ȁ~UJ "?G}UGiSr@,M-Fzi]<+;\e5LqOZ?%'fiR9ͥC2=ԲŇInS=ly-a`@ڼ7HY߼ +UӃ0,J'J0Ki0deŦƺK&R7;o,RhUB!f%>Ci'4/u&z1W)TGGO 9\h4uU=") |ko &7|ߚNܘBf 9=Lϵ ڡTBf,Mo)RN9 9& J~~:A!Y0'*F5>~8.,qZXV]UX.ly^N>NJ͚A?fL0-R<Pz@;*޾)h@ >ɳӍDv^H%>!/XP;&bEUr)0zK*}ށx!;N@=  wZ)%syeJcb~THXJqoF'%s?{ ~ȨB4@[x! ~Cencbj,"m>VU~ZʅuPwg̕bs4"p(O+>[3/UKJ֌h [ŏ$xu)Pw'9A sh2dʁB zB'ĭN8#!g&:϶Aoy8xbo9R+U h ,}_kd>%2+ ̌sF%\p2(/tylݛM8x' 𹛔mNf<'0^Mͷ#-jaǗ% I.zqju# (W6ِ)*nxëJWuMx\\(6hPJrx!sǞ={Zh7 Ի8=m}F3]BK+>WFbN3T!$h9X7Uϙ r^2sfХ're(=.{pAQ 9.:躗۫ 2LqS6.|lb9K \'{O'MU7jmn BT_L|pG)1ZU*NBOV>݋m_A XPla/<P!{Wz` 0nh<-@ aMXQb'j< r7!9N,AD%";=^xDmD~jM3C$!χXt{gۇ?klH ?tŵG 8|97,V1qetR%^a9["Ah'y}יr2.FO q)WZjF di6jǻ3)i%PDŽ5 vN(J\VCMmuj',W̯Cuk.zkU+LX D *tJhʹ~y˕$1RDf3A[Uj6AU>,5 ;e.NFlW2~\&U!`}u,?X[ܧz=7\\/󩊨X$-?WB(uG)}ݢ<1 Z~ub6ىjL8""&Gbr/xOV4oY2뜢$4BlgɮF] U¥"]m"qYbBЫ8([5!LW>P2̼'Uz\MRg9)}Em}W[QKRҺӢ:Mv; sUL`my]{l{z' .JA%p4: Pŗ8S#wׂ=1>n$hE֔A\glɉD{fr rhrxV4U˳=s'ُmbҲyhlk2Uz?nKl9xcA5!jjOpf ':ư- sFa&Q Aq#%FgDSc3\2n!JiQK? e9q d +WwҼe s^ |cj;GNyGHLm ]__jw oDgB* -5xI}wT3ǃ76a+0>LU/" zCM HzX^NͿ+ qŠƨ{y |"jEمT: @/ 6}iZIĀ_q= ފ3[L\0r]}V_fP][0PP,ҳPh䦿95  6XUK1 lQo{ et W1,Y\{粇s2ax.cy$r+*G9{2 -?Y^i? p>d}ٶ^:jItPZ.c-z~fL9ۡ*YQg^HbɚeKov#N9Qk5>ѝJD%I4z' . چy2 l+ ,k1%zQj%JN/XRx^Mb Q: \,dl%ω1tiD:L5 ݣ!7dLQCI,UEҀtL؂` ԭ!ٙ>3*}]k<1h7/NaϏ`f$jX*wRcpߏd? WJw B=ldu1j) vwȲ޼S]-*r}sNW2bx( ܾ᧜W,Lh@nݙ#Ӧgb6R7j1m'gD ,[Rr0c~ PD;{-m fuIX.}_qێ2WWzCBWxkf0Xά[nJ!:xU\):#mE߃hTWDKndm& \ژx֙-pC9wj,~xRfYl6_x%%,N"l?{r"E{yGMDN4B{`rGu4j/ 0nA~Fgc)Ώ'q{8Tjv/skJIٻF#R]8^Zyu. ,9ȁU򤵞&J^kA(9@5w0).4*xFSe:EM",ώ!-k [rDCI6j%k|+٤8=qIKJtSKgi@HXQ cgGhٔGD*nmHH)6L[ &.)nmS@w*s|!GT2$8X!%5#~@nDMga"AdjWY֛# s#%aUBN}kbZ`Yf>%pXT҇p,X6d{yَf0)SL9шG3`V'/, ĵ??Ջ M #j݂eWw_1,9LP—i| ;^IP-w5VJӜ9p7g}cf+j3/$p .x0iIT0aAg8eK!Vp(TΑ==w`o`{-k0:5<7GL<[^F^T]tU$*JhFMI1Ė3MTܥ$6Yxk`V(K*ys*8pk\1څ6qңQ yz8G.;J5H WpM.`\~HIZn;:ni (D~K8ag\ 4$BŹHKE+gL5(=%0_pVVMi\g~Q1I% ;fwys&p2h 7k=E&+әUUF8t)[b$^C.4Ӌ*~vM:NG ixy5r[^2X*9 a>pR MdGj?IYr*ԐJPl.N2tS*N=&*@:87O EpJr(-s "헳ܧ׆~,3WӲYЯl}xl#obI:4N! ==g$RܣUfnsJXJ濧듎 ;h,|@2mg&ݣ J>j-Ow ?Y:$m TՏݱl"J 'nJet-wqu1}crN'NXǝ'&"ş( LYq'ګA1Ҹ C__w&ۺlͰħN6/Bf%-Gfx&MgIO9)TfoE`Ǫ4Ies y]ӿ * ĪC7YUNrXϕ*+0w5~`wB* LUxEp{'6\b69#5Ϛ8"{@+ު8gqOH6gS-'x1VDL؆9#GS/ni {qζiuG2UL]ټ,@>e bS`->)N-Lm;ӪEKP&Z.4( Plh_WA)]ˉr;L/ZY\ C!h&_qAϤ-MFk1 XeTb9R~Q KDnGk2Dd .#^>F椋#>]As0@Fu낭/%9|F ޏ bf݂ٻL`:i^e>Z(ƅ̣(("/P;y2YIOɶWIMR*Y_H)F-ibEH[Q: m[ 2,ǂ+8 (xgR_8&d .km":}w>$`vnw$x_xߎKn@S||w{6յj:,QQ F>F| dOAf6ceݿ,!m/0R dp2j*~uDkGZ%wgTы5.>A4Y@1Oo]ӹ ]'0q xsJ$U No:p=\+fʧ~E5ݿl'OHwB#;^bdV%OB۝|R+ةI6OL6x .Pe(19 bz[w6\Nu!|aGDM1餖~ODԢ 3}FPxT҉") "[0 Mƽ@_Q;g8~~"^P3t(#~DC *dZ|SQM Y𠯄a&SYڨQƍ EMOT0Z7f>[x3)`$ݫclh}[uᛃs&a`Z,-i8K~+ #KVG4TBD]:2FnlZGa;m4il){N ~W75 H]iSH4 NGDr42᤻}ߏ|gG`C2G͝\s@*1rߦvhq`?lG4E#e]=>xsw4CyMp]u8Yb=PbQENV~3@{\:GJeplz.F Owe {vdR"h =7=[Q{#JH-Xgսxv-y1qRVz_ʩ)GZڌD8>ȧ~#QkݷGrL2,UCMe<e^ǭ鞑ܬs3K&Qn|i* #gemZ^p!@’OC#̼\^ړ&<<|4Bw7t/-: c8?TXt3*".5z\3R8W) pUW*([=1##պXX&َw&ubP[HDelZh _Q@nT+$Lڱylcg~Vtm)ۊ23*aJ81tn*lj<ƙMKT}oSodaT;brEo{!k BǣR@R/)\ȵi.s-1WgW:gh8בiG1Dϗn$Zjō^ڏ1N } 2@8Vxx'zo(UTyH,kLYED0䋍ƯZO)qpiHEt t0M q]Bܥ_> pQ햄"n-p5J+A;O/\roDrWw~D;!M<^[$,1\76j`I 4a'52WI7} dhI^qv=$ݰQjLΈ,c ʹ>RX@vCK{@v!*thl}Jhg&.~=\vʓm|s\:eB=)Yڜ! ӄ^d\WM<@Zm >CSB K1:đo<Ž>Lz^5^ynw+ֆ8Z 0@/~d^b:w4l;0nNQ<]ɯUƁ!, rPyG]&oOT }hv` 3v*koG5qrO4ΐwfc?;>3nu@ךB+ d(qcf: T3&^Fz"S[δ_$ffez$iHZZXBpWZ C7 ؼ|zbʜPπ+;V" \$t3[]Ô䰺au|ǪmU _PI FU~]" r%@N jlX˦NGJ (\˞O'RHU1ZDР5&M)}D #H'K[ LM}u/W#숯6 $C z*`AK%#+ 2)Hv3{9GӴnJ>/q1#w芮qT479 \Si #Lve=޷]G*ƠfQ՝ ]nr҅½'ouZSLf2CZ]C~hSAE*'9zC[XUA|Zn s/8ٖ2}P"&.h6rΖB4GoOT.U@_MAȨ ^۽SquS&MQG(O'-Lz+࠙~[z߾)#vi4Ct % _hs$\mŜ?[M%ךSx D1Xd5ݨ^{%'ޥ8ti-<;>OT L|hhJn^4⻉fMi?o*̏zCi㑔HRhMBt a+õo]+ZD>u<"~עZ:Ϻc$qiكW|-)JR#b*CΆЎZ1J,JӿXTiz׏H)<6ۦd< hNQlgYZ0dd93ec090b038b4e62e4062d278b0dd3791c57832d8b78be6fa140307baea2939db20f85a094691 8bb7d77eead14d2eb9ed37ac5bfe1ca981af69aa 409ec20d14bb87ba8f8be8b810ff030f5914e8c3