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 69,tl l] HOL-Datatype_Benchmark:7zXZִF! $8N]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m0$4`v)Znf`& 1Rǘ2A5=2ZU}Bxqa.×Uss {}_<ha&yUm3zE,ߗŻӁPf3ܾ-ܤ: (!{ ^wĴh]lWdWKw*l4: y EI{CwtAЖ|Gh#{"Re3Vڰ{Uo9"~$둝*xVd3KL~gsL{9:fPX?j)29,yNgIjW7 ?[nI 4 9 HOL-Datatype_Benchmark A RA9G% 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 ttE9G%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ŚRrX^ՅʃK?,SEsDvWDvHU0]3{l/s4NK%9%Ӟ=1o 2~Ń0 g=OWZ}S+cߺL_!l[ߞu/_Q,\4Zʀi;aZU V] ֿEƧ ɪFYuKGC;L(,Q>mgŨƣ%&y\eGQ7 2$ \!nͯ1D;PV&pvH9gYZ7zXZִF! s]ŗXiɟ1)*u%9"03Ewc1/]v|cjzdC2n[k~>6KOMœcRJR\]F oꢎ7MM`@dÍlullU`Yd %91ab.Jۏ>m07p{Z(/f* \&,nfѤgȣ)2*"[KE<@$ ty"W0PPy0ɥWѪ{J}tԦ|l0`(ĝ\0,g7-E5T,FoݙCw p')R.Mv:f[5oiڬe)R=wZß]'' CKX4?hWѿrLZ԰yrK3"V㎛jFE]$7y:$r yB3?kI j (t-HJoG .swdC 4P{얆]ΫG2) mM=6*r)>.)yэ#VsYjWdl1ƒ T8_M !E* 'ui+HMHl-ҍUe y@#Sm1 ￳ϋ^e I-cVTOgn@ZqZ0W1VAi+8ū:OY$5]M+7ϕw`X aNmJ.NLڏGY1A']`:CuK)T%zJH,JbٓP6+=PU*t=U/r\ZZ?5 bg˼A LYb' ˮщJxnEaJ/wcn,#1l..-ϱRގ(3 [|}P s]!T`Z} ;X x6Foem]j'Qg\eU[GHU+c;xֱ6mx7 $Ҫ5x=g/Cu!O4<ɫb5rUlaݰXأ-$3D }LHt5Fݪj&q3T艍v!LQSZ/x=LN]n֏Aj1F7YD5>E=1Pȣ{6;$e-~4W?պqX%Y0TrG[,Jj-×ST:{{VSCȏzVyV3OuD~w A,*K:H %?a〫/y'g*nF@9CsᝳMc$Rd\<=6M߈}#TX-a*}eNwm8㖑~㵹jFN:~+U66>GD _O˺00-t(iE/ k$cODzPQQK󗭎+ 4;cA8%ENw̔i;|Kfh$e{duWS'5f.sIIr{n*1A`/Ѐ[ U>zA1=1dj)Uo;(/9K\zD n|ETdu/XLjDe툗wJ~#Bҧ`*P:Vc &'1kΫ+y_s]~3- , ALYk59_ gNjg@b/)Kwlݾy431l2ӱs`p ȥȍZaD@6N]nX|rS~.Y a\17QlÞ:f'[?7 z%鯘޳5l<\ciφכ3λ,D?~hH.M7>dl k?d|a=FVRVVG#M@e9& }`LŶml59pM}jZ!B}:kHnz4.\#$5oh/ }a_rggG*eK7X#L@*HZUb%뷗ۓ=E#7ݫyg vf*QbHQ8J{CRFF浼Ń9"BIa. p]RnYQʇE/͘~VB,MxtU&% P3]eq.e8Lŋ>ro K5'#.˻AGu21["RŔz,)}I4Q xE"5:3tS ▭6+ K 3v"==M)qQ?|gb44jM/09DC^߹PR :f$PC >DM*Bs!OZ7.`@6֑=":ݰh~ ouɥxF&@OmsnoޑJ<ŵ OgYJޒbstGŔ&ItOȔg! h "ONS/"y(YuCc4дXqí,+: ݜ ԬᏜvTU J$pƘU;υF*(O{5 L[:^0i.@8lˠpPhG' \8gE+C.3i$ J>3Ŗd $t˦ߐ=*@ dֳN;Y(` vS8 -d. q9𻳿܋Du*1jZF/鰇`ę|%&+nVrWITQG1~t?50k]C7+0 Sb)t<N.K+Ԟd/!qdg@@ʱ4$W)/TcVĚlܼyH@'-~wv* i5"-@r7QG_+1NOtWW: T:/dkLZy%ҿQDՎG3_rImɖo2U{g*kjƗAI{c`zWd*4 -@ 56Ҋ-<ˊ)ý8ܒ$O]UD-.ШE7u+ZQR i2CJCId*1U@Pr7to&PɺS*9@w-Zw`KW 1[\4xYѢ+GyJ]{߳Jٿ=ݴ_+$BBNMDX4㠚MuZU`ktiI#M+ 89Ui4_zbXP@g?WqFx–e>ooA&0NdHgdCj楂4~9նsYbtpW9idҒ5`z0)MH힒s4rB |6F<s u^ (uה2s&}klF4Pea?tQ]cO,8#dT*{HUL$ A.`y`j54c?X2j|L?JO9e<ډڒo_䄒 e8֋X rc{]N2ڔ>Cr}i'k^ 'Fe "eb\'󏡩+ħ ~AWRFTטې/˩\ (4;?nEkai.DprGB, ##H .յ9O~N%hѭ;a(lhܔi .y2';6hėB?>>T!ntlvb0P\~O # KXuUo"<:'g9Q#af }t&L#\[I훌yRÜ4.F\~9N̷K~c7¾u--}/Ug"xX+͚cpoSEkjlm`62>~hv*3a!#p~KצռLߑz=Wzd%i j!3@7L:Y#7bCC 0F_SL'S#BJ4*fft[yȓWW kh"~JEo!zqTtOi ENN5VJȜlPP{sYq$œN'0/2|ʜH$T& ?H/NKr3oRr=WUmܠB-1݀J0j%PTU̕0Ӌ1 z:ƿH'V wԲ9۷AB8lx9j"^6ƕۚ6xN3wt(m.#rꀍ2#́AC0eL;@]X|GU5g9L+(cAoet@<0#o1k-rlU N niCA:v\Л:v c~{Z- LW61EG$z+@,@i<1I_ymQ{FEmiL0TE)@H2#r,ťy:g7 &BT>gsFV";?fY1S (q]UN񝏘HJ./Z\uawLeO&ga1˜MR)Fpn'Y+׎좊CO4p ~9%U}&4WU1h5t 9220pm4@)oy Jʼni;;YJ!z~`8-~">Y<#]`Wq{UnnjjHy \lC215;9g2Oq_?F{Rg9民OtǮ˙}R[Ia (`  _G frPKoXB&`z:lx.vde,@٭#@uB @wǃ N PLZ ]scwmAV14iR`8ämX|͎ڇ8 NIxp*,p`m\䙽{T|n/ r)0+ޖM:$i=ɡtK'vtiITo*aY(;mLx[$VR %݋ Y ` K Ga m@ :;Es1V)ʪ9IPpy.fX%xak+ lHs :ۊ+ Xpc4>z^d Q6ܭUrmD_w@!<Z [FK':t[)*f%lK܍Ԧ :О&ž[f-J9ԓܑt\Ȁ7m & 9 Ur(evJ"$bۊh}L1mBtv+~;y.L8PK蒤*j\9LBn؀{,Hy_jNqGmA%;5Am62RuEMx+{C2zu"p]+{m 2[Cvɵ;c'ݱA`8;iyg9ң-B tム&b[ٓF jr~ȏz{mIV8ݫyoc!6B42֤A}~sO;}((bZSzݜ r`Y,$ FbL6pQd di{#ޞi3)(\#ؐ*D ]rX_XǮI `m(Y`2_Up˛A8sGa:IޡN }ŭHGp?.Dp 0o'לW4l^x2.GwR'k6I B Hvd-N =Pb@hR.{w>>CZ8#ʱ-ZQ D_d?]|hSZk1na@lǦkTJ4Pei!6pEڔ'rN8i- N9TQy"kis;1^:_ qƓ_Q-!衚 k,jۛ^)^CIъn洢(AnW Viߞ yzQhT>J /16Sf݁B髁Idxhގغ ~@|&MCN,,|;˗*ADȲ%<@^EVbь{$캣WRQOÉ2hN0?!в$RtύO3W`ף>#>rkelqs8 df ]ᱝLI07tp <;)| -ɣ)S^ݩ8ڞIS뺠KN= 6#DZ 6hxQh>vs1 MICgFh!oq׆YbkEH p9%m H6u+]+ FC<ŜB#,tYv(EBH4fCũ+]ɠZG6)݋тf(18PlGf)IQaB{M\ф{Y1|Ķ)^C6b" Fb5wdŌphmq嗞dFq UÍ`Ht(Lh0UؔCgI?=: 7zmv";^H FtGe*pgoQDA8pˆrԡVaj+2g&qH6XE`u3᫷Gm *TDӦ?t V[fzC(✖)elyr,/wpX@$o4q7C^nMJvWyyOm ;I5E %HoH3!{<u4Q`EB--f ζZCH.W8ڶ {YL1tSv 6xi^5Y߭Lm_`D?׼àF?{=O ٣gN8a}2>2)EѠ=A{0錣/zu9=紻`":PI(=2zA@WjƉ O8U o3%r}c0H9싇#vpEܗ]c3gPW`ʜ+NE ^q{Jo-{$nkq5b:ee{zb6%LX,2P] 񣐜fCsʥ4Xb,|I`aQGV[b9{і2Vl0$ՔīX/ש(K"Ne"/\#njIRwcsz 4`\I2xz|XU~R ɝs5 z ^pk,I{ kxp!@6$$,I:jbഎP[ 9c/yvA#mSKөVv=.5,-/Vpg |I2drk Yd m"z;^l \XD3L"6T 0/t8Ez[mN@o q9*.m$#D\`$ /hc:̼|8{YBϽ1Qѫr< 5k5۞e(2BayJ3x:]VcKd\̦Rz.:hc |lXWW $5ܗ#R>MkMEbVr g>k壝gQ4'_s,wIy}gkW&%7U7 [x+6&Jc~ŽI,`>^ЛvY9#% '2UuJwϫn;຿H%{K5 a F׎}>i郺PƢ&]#} N_h9`+>g1v^ cA`m.\|ߍDsaYJo34mRt HI* ">O_}v{ddau"#yL&<5r 3{{fflyu4,RqJ&_Y'*9ʲRKtVPkګjAI5 Ly % 2u=uL4CA.aFg7i؎DWW,[d_2*S(J[;ZZǛdX+xk6m)~̢S?7|f}Qb!09-P|CD< 0 -D4|5i;+m͔ig)5tt첨u-b^KQѹ+Y'@}7l|J (>br! fq;j> nS/ot5 ]c@ x# 4t%sJ1jPL\LJgO?amA snN] bbr^QG`L3TP:='ޠ:qdb)o憃rʊȡjө5]rGx6vq܇YZ?tΘ%5S2}B{~Thd8Zᰫ^$"2e^3R`^tRbaK3NQLVXAc8+*UC 3p2sXL=\nv٠}fUGJ {?'55h u9k](bI#"*[F~$MT!睸>># U`x`0 t4R.GٖDt&߾XthW^kj")㜉p8=뉤BmzE/|sR >xMB D'qfOH7q$ O.Z+ޮ 2t4奒DО,ao8"h.=n I4UM\< &hpi q௨v?[x欈a/; $ӥPpF#[(?wKj9"?7mNIl2]]\$V%)gGu|)6'ۃYM& cTG 9Ù91{ȩR7omͼF2s( S]yW?Ěc%EֈC`!( ycI8aY6V>;4Q +dNBSXzԜBPm•0| 8e~Ko%-*KHA0C2P'x^D'M 9ڎYB۪(eH=MMZ2edEJd酰vQkAq^\ssR72;Vp1AbDt>L0嘍Wq)I? 0Y(s'IAɄ62Rl>]HzᖖƜ#bud㴀~bk$ lڃ`κOÆO*sH8JgM&ĆƜ*:~栗"3_d#@cVrlm\v%p:TAҳ;Y%UIcQ(b|Kk `K DZLy1CjpS RG>s(\k˫~~\QPĭ1y¹ؔ,B(vOOˮ,ĥ4W^j\S˫AaD>8 Nb7x˩W9}KgȎX.)'~x6vP굴T1l7Tm4J=y&L_ۖJX!71Ia99/e_䏍vAL5N0Upng L?6q3al,O6A޼[r=N_KDmnR7S>Qf@kSN 8Ǫ5ƨ8:Q?a T&W*ܭfʷ11iv|߁1w I&!L/ 鰄i>~A'- M^2vU^1vְ}C8l;#V1e%*$X17;M}_B9["efZP-ʏqJp4m\_SO i֯Zu5J1ѳS.wtA>oi7˥2hc}qCy粫.AO4D/yJ{W-UQ(4E)؛#,8iaid};.pL=f6`l/,FkW<#Gƪ@wfHwֽT~V7pD\ck9 )F5/鯺. j}DapH`fx׺Sphƒ}wv/S:Ӻpȗj1*Wc#Ѝ{@ ?XFEDo`<0A) Lk:-:^vnH7,g_na>\씠= ɚ@BG͕,ijZ!db3&1F >% )ir DB:|[5Q RbF@`9:cY1nMZ.~?͡dև O :C}b]޾yO}ÔidǦ=44HG\y/\W8/=9MZ$FקO*U뗒>JT* c#ݹNB/sJv$[8E,> y~4-70z`fj KlCl6~vA_s˔#ՂYx$G [zPе[QUB(Z, b10])'!: sůsfc8n}X#]Uc<X劯W.zOk]Ien$ Nd~V^QB:=d^cyxpsp$_ISM4e+ώܞMD<:V#q|bB>xR(~^ՀZšČv.K#夷^魉hX-q2ݩ$\<1/"SRLwZZbPUv^)eap/F_VdT-(t=cnozܝ0^pV5ɟr $8&2B.)j1mR3.ǶȢogxŬ }X/^5֪J\svrQͼ\_23M`3{q?E60zKaS-S› .@ͤ Ȉ.gbIZLʳbD''Д;4$4Zڦ'zo&!ثIS\o͐E98;_d>ce+eU| a[:ÝUSK݄zxD?)#M._?UܾvW=ÊOlñClN(;wI_k Ds\%߈qPd9#mz{a|F^}"/1O6lI/,xOgQ%)21[VpSϹʧ Ծ0j-ı+lYa`k|lӱq?Y39=saRx¾uҪV%fۗ,}_  \o6ERO'AC8A0sjGPA @Nv.W?je]W@@+Zuu[ND[sToRݼUr b{Óq~+Ktڿ8{\D4o AFt;"LlHcpC!?7Ŭ2YcROti_erKKqTWښEZȻ- @EC[cgi v8$Chv" N(!ęHMQ>]EY2b'^F:ޫtIwLב$ۙtT t-Pq>cB,8&~7j+Ştt)_q7ܗ aIXLB 44'qJ֜hZaQFjO:;E+nU\+Ӹ*1*U)Bx)&B677LGb(6m^m4t4Qͪנ\x{JA.mP?Ͷ~E@Ǐku5ї_T =zX-={ A?=>-=O47ϦФJׁ *v% ή5zIl83Eq w*L:/Җ͛]B$ NO#Qbld)BjGmO-{(Y)w-FG1>òn@|!ދƁPerzBȊMyg /9zrI;#FR:vJ^wL GPL PjEMQV4vgODE:HWoc5P7~Ho3Ӹ`Llؓ6u;2DNXǮEg 8 oݒ1co*P|_=HS4@ ]b1%倶}Қ]A-=J;8LF,ڐp>Tuh*6گ^cq^  }¾D#[)*) [y5~>JƕܓvFnkG PS< V D&ˊlx HMM prUZi]RMc%o'8^ S#)kreonI*0\ s$04-mU F4:}B`8vy#e~ԇDx=jÆUw{ ?@tU*3R(Ǧόe6YɦKJNJ bC7K e]`, ]Y1t~')\?? +^vlR-iv1%P_2/V*@q)(}S`ְa=.:N:ڣG| ?nqt/Q.7QuuQUutC R)LA  #yPly!4qh<}Y"8?ޣT}Q(‚U}|v6J]9O~a+9isrUVkCf0/SPBt];.i6OFx4ۄJծw%cB/4f*Y{TJOɠpif, _V-5}y] + K:vbF#oשd c1N?&Ej֠yVjx4jTuOCχW#@/62U}&bQkNb0 $} 7):<^M^9 %65d* 64s^Ok2%PznG "Ѓ4{SmjE*pTIRiI().pc ”Ӡ0Kh M =-#K-^DxY!7]n\b^|BAkUEfBđKӧFɮG3p7:ob۱)i,i+  rpZ܀-gӋZ-lbѤ |VN|_΋>oW7C28ޭ-mkc>JAc4W;Y? xY4[qUTi\[ ޏ1Fչ*<T1BFCj1H% h)v̢^ x[I }=d͚N )Wrc][Ve ۮ8@a~w(IrX D#ـt`%*"unר;cϷOu ?b{WK%<\*@ 0xY bVI;rț۲<:qk9'5~ɣ~CAKgifn[*Xc$ C<&K?ʕkԖRH)PfQAu,F;H9޿iDa6j_ZT8Q {g@v+:2g̈Qde:OxnR ɷ A5J][ڱC|=jiĞp4 l#O}B#"GiT4ul]=!ŗ$]\l9Ot7:!d#=GqHJZψsH%l#:9ߚ^Qlg:G@޺MK{[1D[ƖBE~E7NT2w #L8\vRLp#)e4i$3K# ^L0ˍGHgK}bv<>;I3**q}&zӁ\"h0P^L[xL{- ".>?To4V vmʏ;Ns2qZr$1. i>닇R%TdZ_5Es*+4xY 9cx]Ě>D;;3SfqqF61.&t7 |x?!?s$ K1 u*m0(Ғ7񁣗}3=Z(:Gk༱bL1^<_S52S]w׊^]6_qꢌ51 J(]3՚ncA_1咆@Uc2 ~\2x .f}7ܐoL~Dxη.g3Qz&hc~ {T,MHSΰfON h&(%l`u |q@NFGPohͮ(4(1 O?-|8[tuo|P|FC:_$B\ e HHl9a]gcZ"'Iط'&YЩ'ƎmPDD'6ZEH+YJIL/#~_Rv+<ƴ7a;]mhʼb SS#e/uI`QlS\˟P^z0~-(Txd窅 Y* QrlU(T1Woê/=CLN8wMM'[o?KɎо ;a0ni[~Fx܀oaϧw5muL !pqϥ1DY l *V -̚ԣ#wi,zOiWAh|;mO6DhEb`yLsSU<ֹT%)B>&<?}ITbҲ!OhH"ғZ u'T 45 Vlɦv^±AN>̒Tq7`NU:!Ϋ4ἧo(.& &M >큚Cy,/9D&pȟOSKpvl};S#sOrLbPA⶙AI]v7y {2]G3Z~} !g!xw.7,87FtSgVLwqM)LMvӠVrBc|7UyKL͛ތ;N'%!KOpbx'Fx pY_e?~͊Uc8#z#9ۓhGߘ]~_J_|hGA޴DiN\'0;Lbj5=5"P}kN*AV)st?n8 fQf+Ex'f^L)rõa%bMjA;UIڬƼ6B;̯M&6\|w@bWy1M"* e<0{НyQֳr¾!u]pZuAἾ(Z4u=ؽBK|WKYӋ] /6|$H481gYZ7zXZִF! ]ŗ&Ǣ.ċ1򟟜%;`oa\_.@R^rz 23ECl:W 5a2 9#lU}ǜ *f[.w-7A1A#)g/|*fѐUзW2gȴB.esʨWU]&v\Rz| (N.P1|}gYZ991ba9ed291e21a9276ded7f71a96f5a7ae750164f2c0bd4be2ac4b94f89ae10fb0d936d88f36b2c ff670c3cfafe1b4a987538d467717cf66914711f dc78fdf36843782b6e6f6580e09328f454357ee8