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 99'9,4t ] HOL-Datatype_Benchmark:threads=6elapsed=532.691cpu=1876.956gc=515.448factor=3.527zXZִF! 5]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m4_| j{Vp?`MF֊ӪZQ܍惢l f( XB翛hҪ: ͠Kn; p6-J%zs|ml-?-lغY3 B>^\utPQ p[2p-sA< /㭤NƉ J%WZRG?Ʌc]AI\)\Z־<g?AWxD7}2 Ril &-H .U:qM4(h&~D0;ǡI`\p 4***o<2 \.G|Ƚ6&I\T2`м= 6:;y kڋrgYZ7zXZִF!  ]ŗXiɟ1)*u%9+',*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Ś<潞Jcn=|0vjlPM{E;epr~zo[zt6|:Yfʃ=G %D` Z ʉ4]kJ5c7 5V2Vw: }.q/U1N ̭6G}S0u0Fn-: M'I3][,aUH&98?@LTO~r W}<Ӆ:(I^Z?󜙴Xҵ#8ypAr|7HE JHON[ӫDA)BF2\ڮ>ւ QM fR<0O+{4Xxz$c [Xsun[d(N~sx}#Sb 7'?,ʜ}Z u$~B"֩@'^ C%8Vz0E ]Qպdze S +5;F1Հ|tOkt4BA\I~kbn^ƖZA;5͖ceD2D.AK(7Hx0 ]+^H&@ /*QmW~,nD0fw'㇯ Zq*/L#GwsaՕV1"W޶]P(J47`L@,֫bwh8QSj+^©uՍVhN'\Vȭ>p,ם*8mh8tmS.Thе$cjuQȖ J{PGp>kDY?pE7QY(9NDuMxҟ$"̃b*gx(^Yq)m$lB$/rk#cgs[Z!МQ`W޻OE ?sg ڙ-)謗x8_))W~G1ڙF՟TLI65`BDEw!~9htAIӓC;cc}|l7E1ֺ#їP\uzM<HҴ S4¢j+o4qT;l*IҪJ0GJ6ԝU/f%):`P[2Z*Nhw% e^i2{W;NE-q ؐ]$6wQ!:_䵹̙e'Y&cru ծl`z0+5m㵗['k1*7*%j{W&>V dUG>72'saP)ڬ{S$UHV{)8;y <%>g]!/ )YIߏfzmJRBQ+>Y%ғ٧Jga$-)Y 86Ο,[B럧]pbzH; ,::76M"m[3 x5н*7qYspbp^"tY6sYM}{Low[d3:-Uj$*L┯赟 H}m{leoT炃XȐ4x[%,s1U6^e(tnxPlGqk9Ɍ "P!b=i ^kXy =620 MGLm1|,k]h"8d#]^7xTݣ%^*ru j4Z' j]]R+`i6Gouo% ]oouvU87 &ĀAAt,t8!40j֋Wz5U}h'=ن@BUl0Қ}u"nQt뛲!iFw,q8)ۋGMhI ɥr~$z+7m epDF#ơ1HFE2+n0w3w1)~p%{O{$sE2:7[h];@Hۻ& _*Oĥz@dj^O$^pmWZF;WWIExTdqN9kSa:H 5#ua9SJT5L^vҕ><.᎟X20ZqD\.0Ru+l rEӭKA| З='hlYw\Ʀ·Bpk ֭>{N'}j!osFt~ੀS ؤrh4i25ϛ&H(aS35$A:lQ~=8gWځ3Qf劭"F]'yFvGM<@g{d]_[! i'ޞxnZ CDTYgm*?I[nwDž6`4moW02HϤ5Сn%o CNWy죗A$Dҫn`+IC2!A ; c} &4Z,J84[H<5JجدXL _CyV8AE6K K9Lu~\QeM MkB|MEGTj6-n;* tZ q2/[Ϸض SzX~﵀ǼP`g;G9B7!]bsi'YOV>5F`bD2_E~pw" |8!٦ttb*啣WB,= uu[R DXvh]_v0=8>ᤚ- iYD{e=Aja-έNCJ]}aMzDXŋ`*c!,ԩ{f?$ iH;W8Y2ous6 n vCk^Th0 [EbN^jw+H)Աy+:/N|AeqȐcD/{)܂Gu8u8鵹W(Rx-BtX$8hppCM "* C}5HO+%9iך[+|fmhe d"3M漹,:H93;vG2^5B YノGy:_%9[:% ,X%FsL?Br;"9 +LIK4^K,*!顀>A 'oVLV(W\2 _g..h%F/cd:"qL3 l(n:;[ OfKxPINu!3IAfWB0: %m@O<2Ml4{e>q5(zcfH7o o DPY' s=Yf>QCSL):2U=Ͷ4,4)l5-6n!+'M/04Gnm"C%;o1a[WVA!$=AzzcbIẀcDW5⋪\|WpҲyķ5[FqE \4e*518$ 0ґkTQ=0ײ'7X41WkMm ɴ>XGI'|v#.r*oz9K ŹI+EN@}-1dl?#Y0{ OfCsLݶ{|۞m=ս!jk4 =>V)1p6ΜryQtz̄Ŀxv|k,a@'WԒ|G˜tb#8yHzޤrZ!Qm$;ܦ:!GѮL-Q p;*WK5EU*lbw HY,77ZNZ#p׏O$> Jե!Ẑi3J.jъX> ωIlOhbK+b}O:na168DŒN3W۝KgoҸTI.[܅ G)_́O(m @ Vx;B5eqh@g> `F^;る4brb,G]>3ٮzʌLʪ=uvA}ٲ#p:j.ղIh{B ZU t: oƛ J^Gh#ی` S-Pli'VCn?,$H0 <"51<auc~.1neCY ʒ};FU\~U+wINXI5E~W jV Mi@%[ ?㓀bK'6m*)@6m9 2pC+潱s? پ[Co)L6 xӍ2A{D]A&E?H4- C̅c[bg[Ӫnؗk?%+vz!MwGK1Wx T>#|3^\!@2\mIT}c7fO#ДKteF,rq 5TI+xfr[7.['^j C;93؍wWVeP`d>&s@fzh>8x _ںV|#/# "ܙTw&@h^퀍T"Ć_;,gzIt/ `i_O̭+٠,˯3ʌUy)0CBυoǚxK&M-4#-'x"E4T@\v[*sz(Y|֤SZ!0&㔏H1ݭTxZSo<{mf[*-KWL:^BmLe Q\z54g?/ H  2>] |-#dQsr.iajUrd0f%)v-RUWOXԗ^jD 몳_Pرc\ ]Nk^|'q+H}N6;M/R1|f2w@d $U,kH~DۿXws yipgmUI`~)l U~VACNv@rLeRq_`}]ʱ ĞxݒږD TVw)W%wuR6+t l3_UE?Y-C f;kUbxEbSgş>mBFb]ka Dy+Lh)Ǭ1/)f˛e|7{<~fZm2^?& Cy׵Yl<#6>Ƥ(U"TI/`)akb=ؠeiءze ?} 6[yz&i~&&j8Q/~3;I>#gZJ#[Fi*J*o|ZF*&o< w\:-6 $QO85L95KmOq~﵈aP;Yc)UջΏ [c<KePVת^ɧ1O0ѝ5ZBbweҤ% AuL`#DJ7僔%.XO&1ݾqyF:wEџG"kt xf%]i"FQw*F;fsΟ&Wow?X#{ \6?3,z6cJDFjpCwHr^UsN}PW&Fiw8stK^ejl9 <B!IWeq(<2Gq|mc."eYt[a?\=6R;4 zd(=(jKct'OB<`D3{Fѝd|X#]煶{i&0nҽqiEc]' `א[gc8.&|?6޺>@T:sjvzLC~y6:_)Q/m,(sѰK!R'7O~w9 Q。Rl;$2}zsa9m&|o“Xths8H6߄ =$dNo6Gpg\'vwD9IT|܀d#G7-.)[RLt}=]& ͋!"GJP a+7bvp(: >oSeQ~F3hA?| ^`<$U20`y]*LF;9`iS郕Gi9mk9uHₛ*빫ޱ͙$z_[/ڣl ;F *]dpqFVv($|ol.P˄N nPsB@'ƤAPՂ1PO6>7 У,͢:It$iRl,&+)ZdKyk1;TsKHv0S>~5o CŪClnItR "]J%_(v)L+.*.j#%{%}f B B/ݣ }|;G"QUMӳ )ڒLq'Gc?_3J%g'([*ndn/Sɹ'q۵Cd5=g")à ՚4PA{/tbKƶCpG @vP0ca"O'WBλ$8AҩDsФO}Hs yo܁۠d&w[xGGܞx`N#jZ{h"XuT;GbtfP+[4*}H?Pɓ&h!S`๖ꢰK R 5wV%'5ANL@m&Z%+kJNJmz ~y >(=cv7)&e'~[O!e`f Fڪ*Uߤlؑ|_32tvIxtص'HBY?l~ΐqdOhrV.IH/nSWȸֿ~pLƎzWnm\iik(:wN붽BF]𲦖nG`U!V$>[`AT* mx5@A=6\DpCSŀ{S!d5N+r-PЁrj`*a9$ܓtS[!1;%Ww=t rJZ)FNPL%8fq=,E z!+cɐ *#QrB#3~k-RWc;Dyu/]զ8 Ǥ+k@*}C+C}CǒD^Ab >2bR P(i$kHzMӲ3hwA)CEh+$plx;{?Fc)|zROmVo' ŞiQ(=lj[k ]K :T E~RK%5Y=!4ibR<*͡3jEFmFGXkK٦]m׎c Z&C0uP(i Se=؋`-5baYHsq AT =+-ڞ-`,dJ]e׭/[itr$[ I b m=Z13h935cֱ'/:u5jз&Z4zL=-,ZQgN\˱ׂ+©frx ː m/S4qj&\:d4rjTʩ`3'HD|L/3ȕ Rc4#3gINft_)o;.Z 'CQ{*D+pXX0Fzw՞7 WlmʔʯH`E: ״'/{y 956s@!6b5ܧS/PǺ9NMá Ȏ?@# r"B<{x.3P-Sn-19sB8`KIɿ>mvsp6htwGyOz^@,n{"?tTE/jc%]uog'kf yaa;,S@d#8wѕ%4>x/R/;{!hŘ(E'.Rfa]]XºRxG`ud'ac9T]]Q|V#b'Lc}וyd<ՙCɯs)o=JsXq=Y*c_fQLwW wm |'z!:WK9C^נ`ދ|Wr DUҢbCɖ+(都I~R@E ڱQ\4~R~1kͼs 1~GTjߣyՎ"7iscqZH.|$4. B_(#YH tC{k v|K G_g( IOr7 ^ix^ ,4̪ӊF]D|Q1't;H'* *xQ2BeϽh:x"F\n'qo]ڥq"LxE7^߅]¢`s$`T%L/OX `lg]ɽ0;,c$nn͏/#sRL~.kX?at.(mbR$`y0!U黗]#ʖTҒt~DH!jU$'_]CRDLh"{\@*!О ̊dwwPui1{7éNNaPNWWE{@\%e:y69A`1d'll1X-8S odڵbhI:8ô\r&8-,S1m8I)0i}՗zTf.ɵ4 , AΆѤ7Bs٤xx[0xQA锃.GY):DuX 49?iQXpcʲ-=bx :Cǿ,mBX +GR^V nv-УBkcLQ\I2/{ #ƒيB<&4‚0h.n0oĄWIjjAHmw\#l쪘@ snZ=fxG %yHÊɌ+If] t RFo4#xP:Źqw^CyY9CO?W ޜx}S ,#rqbGKE2\7 VYbu>ˮ8mP8fAKL pIaoZq=/BjJY"]VoWOKF}h': {u*]-<̉# TXdflAMخ`2G y([(Z;emVf_Y0ɕ!+8TwDh'u H0scNyT,: 'sF՝vO'V4qljNiTKOT(oUPG gnM32)?c F,N 2p!{7ƹܰ SKB<8,!4"@zA21Gh[ZRj8vo7&DNH=V[Kލ7?#g!&%T!^ )Hrr(}T=h i[$AJ$\KA9nQB҄Z0ZE `~-XhMyqY49ġ (1b,U?4Yϝ*mD61/s7;bw6zayՔ) R=@^㾠N7Yx^;LBstc@ s!>Ueۺ"̌  ,fjSR[~|70Dc/Зج}̈xV@qݩF*#$3Ô 8?mז.\5Jڏ܂)>T3csI42OOx!/9AŃQ~ܴ  UD,{Ň^1&͹&sdl@.njFW]^ Zy+?g~;)wLGN,ƛAdAP arCSWB 6d@:e~#K (]M`˘.}S xaP⿱@jB8~X J#VկxԎ Z6^Ck+*>K?P6Y{9H_"}\vjܽyk$1dmy9x{k pU a%2 o@XM擙ucv?-hPJTrR{ωwJ{QPÔ)8= WP`Yݢ1Ԏo: QV $`|]_ .:LAwdԢbH ZRIO$7:?`gz,Z#JJdl_]Q&ž% ﻘ %rn*( NGjv023MϘdx䵗rCd'9di]4:-jHɣ\ۺQt?G=b?NvI6+D})*M+df=vD z=&O!ozhv-A1sP_qfSx~E?Kdq$s}70'#PjSnHA{B"ʤ{s>n$`|̅Ɂƾl9.(>Ǿ%}K _ a*ę+C2`c&Y7 Q _{~qxyAkxvJ}iyVlft R +MX g|ꬩL#7(rb |MҲ +RCh\I@٥ ,](Dž FCn)TH xtژxZ Syw4bBmCZ Fa󞜛W0JۺAƔ֓Q%l@تo\>u7}-&Y}x/ad1==˦^jñgR [(޹!x^Lk( 8/)uW,ZsJ1?bK\oK**uF<ʽV {f#yFV297CgXWΊsKDwRTxT5޳b[TmE)w^OIWc bPB\[BAŭZ΂F] ߐfX & .!KIυA{I&Oo8z2iVK.ܒ±bb05G5w(/mҦ12a<ܹ s!H͵[iC5|Ey?4%RC7*e S f3x4Fⲻ-)LLO-ANͼ St;O>RB?p$k<+48]ye#K1P2Ec#.7 -8OQ+vR'qq;F?!:Ѥi@d$$reWVv=>n&LA4?CVYs>?hnGIc7 g/יF }"|*]^-}Tr$|b_[ 'd_5&h ;+/ʨ:+c8ߵ10?@,ox΍(-mx"4V gh[hx{24:?䴘 ~*o^X/lRϢQL'_ă|7h-HWcV`.mZq>Fi_yWEl69\XRXI,Y,n!f5Vi*! B.|ḙ_$bzzЩR0HWEzs,^t`f2 N|I3B#HM8?E/o3dd6hEuU~ҹc悴Kh>TV‚Zc:]LJN5󽬞!Apv㟼W8PM}qkβ+X,TdS TX>'ɡy-xnG qWK=@} `ɱ"Q,K?+J.ikcUfSL 177/W::r3) |i9|{3. M.T ΍v9r:ʱ|&CCvaom$&=Crf$g* 0a:%]Axc Y/X7.} { MGE_1dfg\!a%I}&7NtYg(h 630Pz']GpUƶ suAnb'f+s+Mw˹3W$L!;;Bzf$=y7_1_ݚ3&@3 ,,6bPAMXD,9"Hb$]0vsy sotJ͔mF,(zє3Gz,25lken* a"X2mg)ߨǏgۭQ] <2KPY$_:tgg60Վ\o>y850eP%$o (w4Ľ.L*LB`~5qܰInQ0PX),v~Kf}1#)0wXޞ\+Xؑz⩉(.$OFO*&q8i NM8,4&+a$$.G3Rc\*%"Ԏv2)ӄ%jlXYZCMn#VI2up54%cߑO=;i\ʗ5;Ls˧=4%/ 3XLEkǞm^?2w 4ѶĚ_s apG69}C^?:PRN[{QJ[ ye=#:SPnsCJAױ1Ifo./!̥,Wj|#ǛiENbz Xdntk%6ﺗp콨YB?due;S}{ T)mq{Iy#nP[_k`{T=HC3QE]m7˃ AZ6%$}r/̇96lDmhqAq>EB/+s4.iӺQ\U8B P.Vm-Je'V`oK(rq-noM(qq \#}(~#PLv1mq%Y olHlI: Ȼ:N .ϓqCKaM61urH\Dڨ Lz~:,6gT64zT"e΀vr7q6WSc 󹏠tN*`WU0G g >w2 ,t\ݽ eCVkO&~-Yگ36T]ָ&|h:(NPGv'(s8٥H|xV>ʒc|♥9h|h )BFk1(g#b5Tp~Es@Eg_ho /,tpzM11J` *NՔɼrCb{󸍿AOuyh 5o!-u;sU F8W}x#:r~Dab%#^D{Z4 5gA$E5=]ԀYZ9Ad4 7jRF#.]HM NV6߷ ibAאzEtӜ;HY4-22(_7r)UFlO!Цd:&<`IK!Wb:LiLޔU=YPhK}HVSwE, i'YU*`p7'"@hbo&FњZ  %س'(!t+:Ds>x}/l-8+Px"Kؼx@JY9itͻt}?+?P w3ukKr#S6vYD!i3T1ix~oӱIN%7 0GN6y7!S[%XS#VLJ'r#CZl&܋MIՌ(ޥA)o$3fhSN9GʕH r.0!꠸Rml]2ɦ ^5[܇$Vn{O<&㨜7H]X8N`0ݫN,?_#OauF W@=N߈fYZdXd>w\,'/3iqM!ۡk? GyvMOgl\&K}e'/F~8dݦOߘA"Z%syga7LLYC#)AsRyz);Xu_r%6)ح}GwhƳYlKhQQvrZj P CF|FbS\b-,-0_}k