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 yyk9l<4 ] HOL-Datatype_Benchmark:threads=6elapsed=423.168cpu=1569.580gc=443.272factor=3.717zXZִF! 4o]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*muzZgTc겈d s XgML?\EAtF![Pς תg5ffQot+nqbrZ9 UWjj=>kMO& /MNMi'K@_?mcD׽*8{~VѮOof//(pIs8_-<݄_I dFEsfk_~KLUy:mn1H :zI`)~>  ya݀؏{6[TCnz>Lm,,C%P|{DDbܐuAS6[T!B,whsg e@cǜ5fy*[@Ms gYO>AN L,f! oA3Ý}!%5*4:L^Lh`~(;&Fg~eCOcڹ>o>g` ;qZ݀ ETSWqC-̞|7դ`tF6=ݢ^N&aoNJ"kjh=4Cf?'W&*En? SB|7Rl&o }`c]]z,CW"k[ëF:4g]ٿpWsdJ c@In' ]OLc;9q'P&_3Tu1'3N)  LUZ3HfɀDQ6i jMV缆#S X ̿g*LJ鸺?F2 =/*n~G[ĤBm C‰KO>Ƃxb(?h~Bj!W&O.bL]e [8Ũi7 [נİ!Xae/ZR$:P#սD3 (/.ϚH_[vÉsM{>#ʲ͕nC)|s%{ 30~އ &1mOj?ڵy_4 lۖf7e٘J6e- Ӷo!I>~Jyp}VF;dg~Z[QZ/o72be&V!+zQ*3ax6hg]nC)a;iΓNҭ/:v~%t'lBbץA n2!pPQ=2_?2E[s<~?_y KzZσ%|3$s"R&uzQPG؉ľϖz\&45ڧaoDONsFSq (8w5f/=ݳHbTЛƿ-*w0 )R 54A* kSt*?E5[IJʑ/8CTʑ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=aTqDTVf\%\3A7 ~?r ,Mi=Sݓ_px&%aȚqHFȒJۯ 2Y7'BMNaEJ׀M|aJ72gflR^:h;!͖"Ś}nv)m3OThzs7@jud'?s䣀a8FMl4ր#wy,T V{M_:DAl.+Nő`-H}Ƹ62RAe?37L6|'5SSӛ$h øȬb؞ Mٟ}fv.r9^ŗ1Z&O 5(nձuB!rQ̯܈`x_٬P2^HqxG{'B݌Zwr^hmVo! S}@X S97{Bej9SS* qnP[ RHq/<-0&/0٩3oo@h9lVj`ݰ!)hE4|8(tt>FL_\)){LlB=;Q$0PW Tf%Ł:&-B-$T4 vTѶ%_+% '}ЬP,@X1^5D5$z^3;4*mH>fɐzIo3#aiI=4t?J̯R(G?TW5 $Du.͘I.{8L0W2TbV`B Q^-wb jI*á?֭&p祾U - p8e KҹLu~>qEQ ɀ7A4eh 5Зv91pv?!o*x/̭`m%I9 srrtYzmd\S~f۰"hKljtU#R^IW| N N? X*.#׌P|ao"5g6oG.;wfK\íSJxcjG n6CT ,X+DL Dړhbi49Y H] ]W]ǴVaI!lNJ"kNPZ<:H:P=}M B)"))0dl*C2$ˌ$ߦsک,%akdXOˆǻi hJ0T +No>FKS;;JWY&h,:l.w2_$©ݝp]ZNG_ZRUMuJ@?EGDwR(`K+1dNتmPݳYv}3Dڐ.E'/.Uy0ϖ\dyW7ijPv(=K\,$L.s[חilNf0szƣ9t2Po"oHS{aXC<hqǚiO%. 0."2`߅FuY7Juy1wjvЏd1 ‘O!=hq8׎ǿ}-dsx˲(6O_f*  5 |FkOv WLů7(-~>sG/m3l% oMl٨kSG^AF e& QkQg-b45Ѣ8+6,Bj).ia_7EۘYsSbR}?w VFyg{0ii'Jx-Ȑ}-ސ[^P9e^r_~lGn!yΏA9Iz K\(.qIcܠo-V{\4I<7ݤs6Jt΅*L`J;V,1)qFĐDXL8+RD@AbPwkvz$X2_Xou*dD{'3)ĖHK]X*r0AOn!8QU#=ػFEq1T&GK>?um +!r_ǍQ/ԼJ Y~)dvtyDxgX/u}M.CGGt.P\Fl]ԊzjxW5d/S9'T)CCڗmik(zcH|QC$ep*gˆ!yՋ_'7 Tѝ]f浟Ek;E*;ǫ eL"wCBΟ3b|}@fMRe1x"y@;12xǿaepjkV!lRӂ}V6ǧc$z}653($"^HoN:ۊUa&$0S~6 Nd[ Pmɸ;ݵZWcdacq\%QnM  i}1=jF+q7+} K:%-7&D_("_'p*Oao1MN?vԨu'Lg"}K x)s dBQmCF5)n4i!Ҭ%އD+Iv @ {ONn}XMǁ"/0Zu* 3X<8<꺊8sfòţ7N|rDqz1<2ɘjkdJ7{(=iHr"9 ڤix$^'haNyd$uㅔ`S%4w!+³dEp^|2]"7L= 4'`1[;pgq2 McX}NhY>=nrj.?B@ q( .^F7d43p{E~"EpZ{2Hw488} $A^mMn\ ؅w(tѼ|J$JpL-ez] iۚkr²)RXdv:4#I1 ? ~B:!^Sa#b'h=$)_sҥ+>L!GDG+Vg +i T_hNPl|vY@hIW$ͺ2.Kt. !,yߍsѪ7DZ&Ha Sq7s|ךs`vD L}kGNc㧀7aS`GSGS0{BEረ|D0˻,wy(7`sMa9Q if,\=pj`/)F>4jF ЭBH#Bi+qa88<Sh9SZ=aa;m 7&eohn: ! v*yz^5fMWmWfg늀XNL?!@dalѿ7 ĻJĥ^t—<G]{%͆gk-}tn& -E}˭[Ὗy0<:r{!fCXQ, MURe4Z3GV R%hx c/$ʺ^KR)eIkΥl}K3W5w.J8J1G pZ Q|䛡ϫ}'(‘|n$>fS2ꉗ/N+N=;kYN41I'mvOo jDEoSY5{pNylW*W4g;3,{r2'CEwh< FLrWoƧ'gO wÂ*+Jv  _Hj4􀮼4GOYmO$뚘I pItR"3#+VE;kNx0Ɩ+]:P?ǯm:R`7)j# dh>8"ok?SM^Oikl -*F MU_cƂ洍@c6<,&o.eڴEPQivAz6+)(Ž>bBG([&mˎKHڵKgoR -6@ YөX\2j.P17 .Ոy)&9 VDu8'23l۹~fF=NԺ2RTh$\ 8Xm5zYW;s2<mBuǟKA=b:mKuxDd0$ݤʇ+Kr"e?3b%Vz7fZuO{EK~T2/$^惗,[3}Ne@W*( +/y3QR@֞1FgRNջؠ!x|:A;_vˋnVJ?YN.jx-h_m63fڌ!XF.^Sfs|Biu+f9u.aI5V< =br}$:WwyOQ؝QL/D.JT!auɈM.+_}M왷gN@cгPr<$ iF4?^l &ij]yRzR8go\\ &n_OyN%r}:|/J n[ 46 Mc GgTɒ1eK!dҲ'c fŋvi9Ge%魓75Tn" [|/q(pf8MڜU#kԹu/`fᠭ/S+(# 遈|6 {j@3CM` e}wʹ*[K pPϞaWOM0lW=ߚ借dc{ͻ3R 0b`,xQ+, h[Wh\(:oHe;= nt @4Cx}>)(ıR}wʅ3$̰T ydnӝI,^|,rhh;6}=6.6LVB( q 9ku'l%mzLSu,tTygA[)ߎr쐿])'J M¿ ԓ'ѭĽPMPJj|Sy'`aB tٚ'f{GV}߈tzGwZ#&k}lannjb=2 ;Q_O!`X :[b*q1ݢ=,֖?,vzndq)-NOM&Mj3ߠsf2AAs󸧘[LߐPJlQԹ"r9XTޟ6(gSmZpcٵg:SE|Z2YylfLT]˥^%Ȳ*y9,n}vU=PiE{{YӜMkLytDa=ˏk zFV"d#iVMGn >ZAB)!_by~e<fņGv\[SUX{o:EJD~r%tvm6= %ayG{Gy&?8 o*$b*:0޺<'싺J<^mX@AJ|7 YVv}"/'d1fm +0\j(; "M2V\|VñJ`N@6?8Go"!EʁKgF#"#:Fa$= E`H%xw3R`:̧<һW<9kFDF3%;&$ 5-8G C|^Dr P<6U$Y׊赤s REX Y&!Ck]TTcltq}&UރTaC>%YAOȭaB&ԃ#USj+y xźp ~:xc&pe }A5R9 % ]Q\">2,< o ;-Dغ;0}7H+F.l7pOlv5 &* I:O#+iKiK$mqS$Fb0d/XLTs=h? D,"P{Y~nWXs<7P Bu|!i<#ܞ[Hư$ e@eI$.+)C)@EÌGxgk73ieA$W[+եd7H=/MLiq٫28G XN/;/9%À]6Fah?Q@ba a+mƌ}- 4辈J\{dEk߫*܆.ʖxyUVnx1*ȷ`f@2G2Yh3H7msv/Ec-:|Q;Pʏ4]r{pA #b\12G[Cg6غju!(#< &l.je w<:<`b 2$(s1]wGvzC:Pɳ4Bg%ԕ3^B@['Ob}q`3Vd˯N^tF+YsMJs<Tz:q1/Vlx.,Q/n,E"gMtBu?fcefΘ0.I%}ڰ{KĮ q~x znCr~o/֙3K|I3PQyM$%8mQLK݇l;+ c}25'fm0$ ٠?b9* !ھ$VC#+s=νCeK'nqag> 1H6Uh߅Irgxf?3W=96e݁9$7k6PQcWi$ɴ fNu"V=>麿B3B!DěX߲#A2P>G <jʉK¼qL(lXERW %J$nChf ^j.UdYw`' Ce\v:o41m7b ƔYzMMe =NY!9hPV糡TK# tF8j5H[YI3s؊fD/.|2ehJ($Y1/uR^Fy\+YjoD0MyV'ZlQ+ɨg30IGJ"' JS^B2I{J7KowbGݴ*EpT]a` 2bBﮔE>C1 ƨv-ZPHǃ PyDIE$!žZy9ڞua"1RG<)bQ $N\Tj,軟K8ksvY2Sjip[|~P5*@zJ>OmI_Yk43T -ba"_ Kea9~ L־2KWʞBXezf̲%4<{{<W&9+wqQA%WO]R+o0y(o,{ӎ}(O3[v,) 6Ϟ v3Aݛ<keb30 {*`mc0qFǹ V{8zm2D+pZP)cΧh;WEC@HFkBX6oMxLep-_ZR]⛯ܛݶVFrL;ΎFbr^YHCeRV%"+,rxpB-GZqmJ#g~}dX}eOZ`yCpՐS ̱MĭcP]*«ʑy B%;Ij%@zpVj MHhɂPL!SM<(kM0OƿU*),Uq$C{E"W|d87mB#&aǬخxer~ڂ-R.9=6rՓ>D܆_5\H k줶EtMϴKc:TaFyRk}K}8'$cX Y(@$GG^n1(SˣPo-9.mNfL[@b >ZXpR9&ZɏGUBJ~9 8^\Io7 Qch:t5r!bBa˺[ʸŽfkX #Jʰ~ߖW:] aLKɵiWFJs 9rTh8c<91 }Yp6rs4+gKfCε\Kx2]H'}[:OJB'_X\ҿ z.kz Z4I%Ia=pR̉; gNxuvcQʢ[uP7x{)8F,e0i o -Rc(V _e.Si) vWUOzzS×cX݁7rU ϙnD%(<ED{XcVg2[%g=5t.|SYYuGp{M,d7W\?Z$AhG,Y9vD 2;]H 5Lx4~5DgZ&I#Nђ-*?2GQ0qBntd)Ewb!YPWqn,1,S^uiS@\pRv {3a;4OPq"HZ*QҋRWEo>*vU\|4`:X` *xtqiP3D}eĸ_,cg1{<}NUsMs@P/wKQ.cL|c^lyߓ<|-ۋajZÄVUɞ$>eۧ1'GzA(4L NgF{Mʺ?)8",bt)N$4Jz8U.8Qҭ 3gul^efӎ^"˘io G|4(F9Ԥz*8UC3T^*#zI=1njJ;BUu 0S |&|:qK WFs4w-) h@хbdu߲؋i)Q/ ::(4]%L3ΝB_ bOUӰF_9i ;jJjU31{X== J[!:qd^|Fp!O8J&|,qӌĴlɃK3Iw9kBM)Tz n6$ DFwVG؏a-ԑ˰ϬZ?//Q:6\-+7]ęŜf 0fy a}WC_d&p,Ax\?JJl}iw앿5#16N{*3\dvoWk y$ >"a^qZyZ3]N"Vx,X>]-*1'%ELyHXKt'g!1Yjv2P_iYGg*=,& :IwrHU.`p85n |i̝|] |mҥi) 9]C>.g_s~DZ{)ɧU;鷦n=|z/XwQ!-"%Zp%׭$nYx5 nB9{LF<0,9,Ţ6N20X.zHGb2 EۛM w͂zȘޱ(DQJjL):" (   x[͖(8ds7^ph6>q}!vya<*^Zb&!еmOFgih+\5fͼ3dq$"XQh H_~"ē.|Wi>i'q#-z" pUIfT>ˢ4sM&WaΞ ty7%`W< •kPA^>Q-:ʠz`= !Sƈg|&gE.!ٳd fvLS5=Ĕnf`e{բ5A*q,L/E*&Ι>@Uš!le!5h/"rqš5w_c[]i4\ÈmdȨԤCF+11g-^XS\gc-.ck=g}%YH C3`ʉZb"T'| B\hW|Y oo͹ҝ)Ϫ '}`gcڼ; D:Y3ع}~kQ\ hLlkaSz~1e7<'FGkNit =AZ(4і*:7; ) l&5ϧ4bR=2.y?2Y/JL-묇ߴQVfvoizFkѡU/P[﹭(+/]C> o}Jݢ7uchDN5{"qlJ(6InfҭAY[h+AI[Ԯ Ύ$$9![Kͭ!0 bTձj+QwϷqfC*ASCIk$B" %RQԆҴOPo\6g_"e{ I3J=Oiq)jy:r2P=/6ӦVY\c%ŚcHE4Rn=!715`fL7Il ybMpH-}mTj1_t; bN ٌvtVWxjvkh~|/T -L 77u |5a@H:vr;ׂj>$@e;ïn4A'*%-ۛQQ +I`AA5?@1r;$31u^7߄ ?ȭ\ Lgi{w=6v@"Qb͝€&Pj}lOʡYjd[,/!檉<ѡ;Ow#ʨBߕӆ_AŇmS :MKAf!s{#Ϫ;4PN8E =)j_`UKm`)4^.\l-hʣn&hވָSܬUB^T KV|pBLO>/;y]i/rx~w#K6S*Q!xcP\S{8r"Kuf{%Lm.ZagYZc48bc93ab880ee00c043441c0d7d0e919b885098e8537c47e923e47de729f9e0567accc61123d7db 017a6e647f3bb9870cee54c6bf34fef030e0e70a 0c4a301b03c4534552ec1dc9a6924d0bb12cb217