SQLite format 3@  .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  h h 5zd$ ]/ HOL-Record_Benchmark:threads=6elapsed=146.104cpu=221.421gc=14.3507zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)v\xQb!9+C`ڌj@o̻DL@ugYZ7zXZִF! ^O]ŗXiɟ1_sB2 ( |Kln/h.̘ټ2az+= +@>T#k_"K[]}YZ7zXZִF! B!<]ŗXi%iNG|K8㠧/aSp'}K⌡^zF(@*aJbd&qXzt-"TKmM:ݭWd5D<_Z3c߳<s-bE ;:WvrvXOF&%)Y ^ENri&ztj-gpJ3?,! 1jNG4E>ך4}ihy$PRJOp*6i]!coW/|5!XɧWAq\VֺO oAblCMAE:hg2 \*4S vLKRfwu[~hNoADa;5U t\qd"0Ea~U;*`\Ktjz}-ګW۵h\M A#o϶-SmxDUt D 5 HOL-Record_Benchmark 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCC x37iGU&[|xo Yra8 ,ld/d fZw2JU}a廩/m pcvZL9Upy1!7sFS^]ck6p ,r#xȚ-Y CJƙT}qsE`T$:hNݍ:\d O_).ɘ[Yҗk,yF AQX9vw9M]βI|ae/"ʽުw+ڄ^Wzﱊ?Jjd#J-`b\gQRb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Reco     _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents  B lŬI + 0ћĴs;n>լzC7!3BP*GiU&.BidO!/AMZr0|}Ɖhɐ7-gzs]/g96HCE>x`*Kx؇hq=sJM0 ygcYl]bMA}mJV^7$ CbJ!_zK u1&J;y3xMXHE)W%`F>co~ 呬DϦzxb=P}8mu +IwVmOA)ӄn;O\@F ,x?CD9y6:f7Y3PoGbKW Ũ{1RQao[a?pcE Z֝3#mFR~3!4~ES1hp@yI[Euh\Ӧ?2]b4S"J?Ⱦ8-#nqMz, D! G; qE; pYl9.:_t^E<!Ƙx질My|T'@nkZb%w0siKCdԼh  b<{Is8+$ a2:ERքg{BΗA#}TV}xʟ_QD O)kz )XV@:D|ԣReΣJ>@%WT2D!AK‚hwijNk9Mkײ7=$Df6 g1 R-1@ou7.\=O['_;L(>l֪N~?0UqVYz|$Íotg0-֣ʿK[ԍxq j)U`nƌawd׻JQwP/v.H*'NARS|!X_\&5=<aj7ُ֖ct_kc>T_QN yF0G3վN<k] ~f4"bPDD*BH$M8||$Pv,?^_ec9$;&l(AU蒓QJCE_ǍRXN)hR4 7U4{7@*%F&Y{iʝǖN|C>;h׼TpƏp܁`!N^97ZSlP).22!$2߀%yqaF-yڂ,GeP0Ñ'aEn{_x=) !#l>Tf=>PA$%HKW80>TFX^,*OD濛ZK@ T&?KNa=98C>ufm"{%m@baCguQLV}#^l&5w;-T4_?P%-QZ $0?d_vO.- h'X´ܨL|v.J.oO:9~6 k< BK1eS&be_m+,d}ؒrg D]Ak[qHٴ +YqYY`8l%bR7oKiuI0#eVRd[SR/ҮnA7 4L\x"޷K־֠nox3g!|PuWl#JAH+(E_&*QJ5ey]4T`Gpy9/Ǎ1"8<qgls6ohvҹFSKDm5_j>-1;SY1]"3td#*7C;2NA4QOx&鑥w Hy$θt vZWƝs b~Lef'+2)9C*E }K \f\, OJ@E.[M-[U9m&r>!򮎉M{41\խ+&]ӨWo&d!`>(ٮ`0A|Wh M+oI<'@:W  < SZ iٝU B5ײn4^$kK94MS`?,ZBuK|0VU,/pǍ&8s襩PnmJ2>|sR1L_ gkmDsy5uNhc^)w$& 6-mogvv6. %3Կ]*kp& UQr&H\@R6^KOkzSKH/J}a֛2腽U`$$Q ^ ޒs%|#'͚Sbf@qsSGO.'7koL(6 N&Ma[}>O@':,qM 38<Ki} _o$,Y[e1 a ݔjfK9V)B,!Mw,Q3xx`":*jZ2&7{ c13@5\F-ԄTC S}E&R֩pe:.^=d -/+" s{~kC=V2!%? !C찓uwlT|N"&` _jE~͘S+wFyB{[$Wo燻3$lKՅ D=Y?g9COKb!  `^@!K6MFpmu$|x}\h#~EeԕqŖ/M~ w;=#С͊\)RUCzf'2E~7 m,i^ J/^.pi-{̏ h@꽫2ȼ)=fi&Rՙ7&{T:2w,r{,_[uqTvf3hbiam*lgkȾ_ܴq-FԁwW)N2´ϟ-KY2{w"OoujθBN_G!д&`:Rar&U^0غ},\ ŇR'QB6flM)=*^4P D*ـ@]$we 1¤O[]G@eSiyY po鋮Cg^>L,WQ ː]vvKe^36<% < 4lJs 7&mڀ, y(NZcE3R]*ih:LJ!m(IvsT:x8.OYYw~|;h#,5V?ЏnR@K[-73{'LUd &BۋIHRۂj؞)V@Yc~K9i DzDs.A1@ӎj-ZUp5YY:=R)A~*[sΉfwJØ;h@ypi浗C0x70UQA\gΞS$;3Bi|"YpaQ+V,ȡq(kؿ1KGb~?{vc\ޜCXo_Q 7*_/PXyOK!qSjdn)`A` _^5 Ny}7cå9^@Lj1Jǰu7QK|x.g%Gunt Yг 'Z>_ʭRiς:IQ7~TS왓kI:l:|D_WIzm. Zp|Ffd tRT7Q&}Vq6:#\&9As4s F#nrKTwPUl!P_@Izb6.iz3 :Q)? { Xal`E~Uvw,[}wSRT8dMlx=KK;?[7: s bAЧ=ގy*%NņfdT@ns# %< |o,‹tkyc-'B/W/ @ύX֑hq7&@2{뒃9A.#N'˓'_?I)ՉBZ <+镩6)|p!AD?p :@L {GsQ _v$nOn$!z^gZR.dKk4=2|K&7?qh\/Wfja ' Kf0Q HXOM1Z*߿/'|l#/\kd ;1d&fXO/]`};Cv{8@}@2|hIv|挲E <=%i022R_zB-;^ٮU.Πw)#%JEA9R;"qN7\Y:]W;7haCMi%zfcjbR{pVb[!=CmA/ L^݈-O8?܁(!J]Du02}2;ߜhbh獶S%Æ#mSG0{W'&3#s,ӆwHՌBoǖB!{plur&vJdo^:U}jՍ.˾슄UQ6G '|.]Б -ACrj0>!g7յVۦ/X<Xu3IxڥW~:9:e۝-v(60#'qB!W.ݦݙRcjzpXU)#xxU4dG0dZ=%tx f<vsJzBd߆NTjϞfeu ` ' |栓-@()쥡q@_Wy}G2FY(hr8sK!]B$@{6xsC_ h#N0/sFcaH$0H7zwӟ.0udtţ{h?Nh"mu֓_1%g (6s}SG*̄'[kcN껺pSA) om SqY\ NbO=բՄOT2h+^`Xm^#3Få˯-ATG5[޵r,ѭB@rƘ :8yo5Z_kLP!&8)yl#+̩;C BlsǂHXQL]'q6.&I_sE oh$0[s^F>Y 1p.єaM廊GQ̡#S u!>9/U 1jΓѢ!N-(?!ɂ0x`_4:D,co1+;渏OvW L9f& AjaF2^60rJm[WʐW]0t (-Zճ E.`NƖT8:X<\e*@s{Sgަ~GBaɫf]>w>A2tyV/CASϡ7AUPV*woRm\iP?%~ےUFu;Ys$V Iv_D-cQ Ax-٣^YD/p UXl4m 3-|8c7!WXŤoW?H Dpn=K;k}0lv֧XO*}%EZʁ-xUxյ%0=m aDS$n'5b okum+q7!^Au-ڽ f5W' 2j>ŁU.Ag]+{N+<-D/\'&)e/C`q*jLixp--dZ-ޯ%(Dv X頪hRfzK:6)X.Sm#ďCC*ۥƉCi%-qXR gGa7BsC Rwgm9~DB- ~v=szMtkܩUDudN)#/(Sd$HRCyb:i**=Ӆ)zAx\ijR=r+j@oBj3u ?$^ʻtwRC #V~$gOXs lUǗ8bv7 1 ֻ7gi\5=ƀjˀk^eSZC[tf,e >/e^LA;m,_N-(_s)ũMV~Bs(i:m,C;|Y'r`=M(mkj#b]WB%1g} TWqB %@$=*Vt+gDJ>\QHY(Bg՟P&35"`DaHtkgႨȟupUq^&flfԙg֊zB˚g33}O7{j[HJ[!45:~B`1MPT\${4%䳊шmYᄟpFki0kO|)dȫVDTSdQN Yvƍ|}DJQ*ázjW'jM|zrnN+|6rG%uQIrBIUrA$%jM#IuʥPg$<ټKC{ qy$NͱO]=mCЇtk]2 Ym*50F'G%hkaiGy9Թh{v8- (czWHƨ[+|o/ri?QsbNe_?4vX`FS- =YX.!VD `S#=R$NVf=O_~16r-ɛI?YmN&ޮ&/Pu]P( Opba?ԕyߨ@X=} `fmw`l/SnMgf `JQ&-;;m8n$϶r"V*I"# r;b0n.t2.)*`w; Hg=Яk=,UUn 2y:\$sJg:\BHL&R &#z&P_ 0sܩRۨkX9Bgot5M[;^<֛Qک sOꪁrW'=()A>мQoյİ8uJeʹ8]O^YywE#쎑x՞Bop@Ro⒊+AM&˃b fz y7Eqvkp:huaygi}$G*- sힶ~V5-erG9psD, S aQ?zG@' D6&&VIoֶxξDZ4Ư~Ɯ@TmCZ/&s30c󟫪ź΢cs/mcwT?^ "|+D \Uf[]Q= ]ZE{.ѻIXGS=3ZJ'q gkTi:oy<&nq=]KO3㼕/nV>k躧t, a?HZzB!mטf ࠔK]1 _c!Ixnz{+߸|mu 2 n#ن Lr@*db ;*<\$YW—cs_\kbl0TidzJ-.EW!}'t='tj50ð^&xW^9sbmqX۩ 'nb뾿L h p޷stj~ [2تMF6992{vYɻ\GfAȇy]Oǿ+mH$~c Y`?yΜ;5C6T_@Sf͛N2A'&?t&v/%ܮVNd;aQ)-7]2^6`l >} eGn>vщlcUjMmm1? m SiJWђSp ϻ:E9 PΘ$| yEcr3p^uim'q :a |2Zwaaɫsn; b,ty%bQ9!U|L!kaѢlMPUNkfxВ *mEV@E e~nQ~|.Rs;ܙí"1ݜV-,!a[JDQ9$Oi,Y& u1. KQ̀ yelkh7E,~*oSbu td5q-eB Rc7ZeLZA:uqekUjMȬbuAi~uڛQzA#aɨFJ@b</18㖬bg笝x yx@|9xsNX?A5+10MIuȀV7(lOd.Pm0]36~A9 BBj ~ ѯHٔTh]+tđ"Z]t~BĨ!A #ז `$V0dF<+GG/cAs~.jr٠Y&m5_?ނo,NxuZsB_2jp^Ҵ(5 :<Z `"e_yuwhDms|Y7t7R2 >~ndWϐoEmzW[hn~ke“Xv,Ȗb!oQC񄕈RT!_zIdEZnx$TK/+nMRr%{IX\BD:ӲJ=P[gYZ~P$ aG*?d~Fr0XJ6frp@Ɨ|~48 lz`5G* o@X( e[]TR $FyDeo+j/vTk {ՃKPn7ZL`5 HӓՐ`Jcvt{ C`Be6P؂:ӓaYg4l](}IC@#L(`f^ ./nM4֣(iDd2T.'`@lM򊷘I_{ g;r7*l6R'#a]_$'g0ްBx &l/j7ѵɲ!@Y~|%$VPB]( K?XV+4Ar=(v2F0 a9`|oha;IJ6Ľb@.naӜ1aW{&iYD¶XDb5HgǢRN/vh+3;74헞SXtQBORznZZfwGE?;th-n裆0gqt__}N1x,[3}?;"Cp=f]ZNl6DatϒNg{wʶ },c$L&Ѩdr.R$,yTymfzNو;&<~৕\l&I>tj\JXM1lpUɗ " NFCIg QdpVK<߼" VmN +hl%1;ByQ٨A^ gw6yHPGoq4_neȯHsKm{-!³HI(if `{XT(zWFۇНWSX+Srf 9xdqCK3GA)G>,!<1{I(leɯ=AA}v+o% jgM5BڴK>_}c67*l2 > s$L^ KVPsVXPr`:4,6˺УUL6|X+!]J=:FB,&F0lҤɣu*;o98)Nl?*h##lٻ]tn%Er{SHg+|8ڣNTa{:ܷ}5#Gp צ{"m$_wg ȃΆ'Wu6G6Ps-Jd'NI-Hv;SiTF/5]"kPȄ*W! SQ麺'f1H52^f@>{嫲;Zf]z}(pSYpbUՍqzr8GQ<͏ZAek9] uEҋ m\usl,<\ V3&kA`g' ]![WdK-t}<:ĀҔay_FWmn'JXtڦ}yK%@^<'hOUdB3A*HT*2h0g`lx!I $lЃWSCZAa,n֬!EDNeǺs}t<ד;3~ۃF(?$I8$=L7ei= Nbv T)dS8 `VcfTݴFjY&Cā\"WU&f%d^đ_k'FK?+)ql.s@^dq8rTW_槼(D7059`Y\ZU/d(L+h8s|n7tZ)nJ=m0OM~H}^f0dsBIz{U"){>@M1]@x0aJ~6YwK\YS|[Uk tƻrgV)\S? 1$ vUsAub֬ulY#inޏ)iUy3XFn=]_v 5X,yEu? lr]6:Atᗣ7O>Z_ sXt MIYn>f{+jrYv__; HӄS*ջ*2.r.IAI[hJvx"<I{l8!DA ϓqtO> ^kՆG]RPm~(zm&Yq<Ηʔ zo^Q%u0*,]]es뒗m>3SoL%.+?[Fw,*c\#1HwqJZb ?XlMn[:A4{9!# +rrb A$g*a[TEO8mmHIL ˤ>HaQP _0C/oi7tQ*~+}-ee)@k.Ƨtb;]04u ,_m&֟eWj?tN *T|2#F)˓&feO@w|eVPr;ΤEz:0'My&g}zI:N wFPltRnֺ`2'8xSꚽ{D:jƂ k;c\7ApOR<q;m4=Ƞ&KZVﴡh-/-VVlV"H D&H#H&J?VTP. eH4K{kI2baHw ~J0l!s@ gYZ J  JS 5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id236~5W/ dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! Ml]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/)P~eG9V[;'Q- Jd(1.wsH },KKW%&ІpSE̥I=UpUGÚ %*DbSN&N;9ǭTlbqD~6`(Օ<ꦚwն%d)Xީ~y)utnw$,FH,wsD @˻U__D [Ń?C>_fǎVù;.cV|)hʳ%N_m`X?HP>jumtY}iFN; b,> gǐ*kGVH#=yJ Py fR\?>ynDu,vdHѿ]쇽`ԉa[%*5WqcI˩PڔK&{> /b}d($\ ܃  4uF 25v$䳝kJFk⏭mrq?cD|Y1zrOﲉ )\3kj*͹2gUv:$({ư "8x+1lN~jLƳ]Vjױ= ;+*T^{7;zz_Y 4=7p#-vА/*|8y&^n5ohH&GBcWos!OY7 Ap0HDG=g.bbL|ta` gʬ;w;\ ,FW΂#5b{< X>3NjBq}R-j|iQ+)?ȎO΃!72a )!;^`<d5v..P=ٮ[LPQM*v  x ';q;K9g<7D}]1 s .6k4LjdgF̬3T{{]?D@D龜ub拤@;s|i, =MH:#$!6heqo%f39|t|8C\ Xptcd}$wuGxQRd,1!S'l|F9 :$@n>C***P>8cCai .$Tl+XzHY1׼|cQgPsrF5"5j>`_ZYxe-35N1Q.Ӊ겣RB_a8)8VԳ/I,LTC`bgQ.4fjըPՋئMjKF^mgIR$+$~=I\͹̪IÄ}ęΡB,Nq߳hEaCAah}UT%[/Ýy8fdpkJ9Șs)uDZfJE[Wχ@:ac12B8 q)\r5] J.ĮfaB^0fg3S(]NDڎ.H/خ3#kDٺ]VcR+ԖmzMJ~m "L)̑_c@OTYbV]<?'gD=eOH1XNd7%KHH,_URN۪H@ #A%:LȪl*;:!S^+YD! ,ZEcH/ӗ ?z#;+-;x>lϓAq Qc.B;d:fu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸ?]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/)PCJ5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/)P@>ݘ%o4FQ~j>@NSi.{zq( H:rihWnM ~k.~rS/ITo3 bhLIkQy [,=+وN^tUF ƭ] z I# Jx&Jf "_o{ƈK!ͻ\aGƅ(3(2g' eSwcDR8X憖 ȎA-T&s%YdRT]WfrOO9dzT h )ۚ v=ߣY;&8:Z# eG+n幅hì  Kt /-K܎0hk'P 64ʻ'ۓu߈"&͍: ؠD$#rfb~ϱf 6Q&4fS$%M佲.[>@?;JQk^_0\t&":(hXߜ r9VZǎ5Q"OO1CY*=Ŗ-=GkȚYOFADH꬇hǽ`12͵7n22`xsaϪq@GX=z {Һu3f'j6%vHr$Obkl%y2OY!i'Źg+J%U1ȊU`ŝ/6c(0 S48i  njl$0Nsb* dkdne?V ynIL5VF|ZG}Quʸp'a%|^51\pF} zx9.c싐:w(O!p.\JbviR&=ck7lt|+St aN&ʣR$Yj'S>Z]6>p'.T5MfGhoGA3evj _Ȼ [ gzg+@f4#D˝h›\%!MnhVCanA{#u@?X4äc&33,p hG8z dop'm+:Slc-qT>iV";k˽i"#3+H#)(fdݓtqarh`-;#C}Ž[0s+2)odQn|@x*ďF?}H2~K#I4HDpdpcd+̊\CԼBw{HJgli[ya| #K -(oY_['3}A+eDًۖ- ~0~xNit X@y 4q1J.VH⡂-8iU̦l=}g(`AQ(L';$& LNV*X|,c/?{5C9kxLjɕ@D$ӄP{pN j%Ӆ(9ph2nGscyi:-E-.1[ltӷ'=Ti`#J[dvN2Ii#޻E/ci8T07$9yPHO^ܚ) ͷ0¦5|o[e-'jRDphkbnQE&ɳ(ls4NA:cyC~U7U%r>Eg|T[ WRgoJwR*M^(<.! B/X&-69N}a*_} RV9I݇ FKg;dwHL0+0K'ejYinugbv!\P}/p*XC(;UERF鍈@]DPǂ,cr#߉,5}ҦKݢ8kB9fp۾и`نyx'LcB lVNJjm/!ҡ9Eg!%<ﭾNزQ\@!]tU% IsM T%DvȘ/9) 6v"6N1iCRËiv[5u{HK%b!أKnjҼ`.0hMɈCQh\F=v!(ZuwI+oQ !楶Q&ٍ8T';ō;H]wG/ҝ7/wm(Qy҆aɀ<l^`m"1`0C)vXL [ k/"4}֊"QSWBR65o wRyHvnY;A l/gSG+r=\^]a1U!̮kLfLC\4Es cg8mV":J[)4Pܜ*x,byn'd>=ЌE.G,)+d)IþpʴZ,&psA 3lE}4Nԥ kiܹTN)_XG&M^wcu@RXԃ Mm>H?6Gi呤›MݲE$?(EM%zN EA(\ mXGnuKy M_NȺqbGA9F&ë0U(^Gu~ߋ`QOxIVC%^:kKg7 ${ɏ]C{9"D8sM⡶8[$ʛ(arץ-ik<zӪHkOr{==0Bk5&ӿ`Jl''ʮiU?䐖&h*Nw DZyu]4)LȔ3ۡ0ECLW0}",Şv!J4|)FAz$Mu`WxpY`뎊nݬr疤VJ󯝋gDa_zZ6ڜ`(`t n| PƯ/u`+Mʽ W7l儆GrEWs1oB%-]M>g)^ƦSYX~}w *"~?Cm^bywu(:J+"jS¬az[Na ө}YJ׮Šl7*:Q 9QxH-܈(zR]wr-t5%e[35~\ظH8s lm_::%xd 8:]DZX :Q<-YNJfqQ.zc}Ylmts M0Hcjyi_^k7xL?wM.#1Vī/l5B&kIK\~^@uC`B/l /ұ/pFTfbc2 b/,heok& N(|_+(ogEʛG"1^hpt:T‰u»jvM}gBx}(.pp/co-w;_!]ʷu׽䲑?0s )xN7fֺi!hua KLn W:ɕ-h/F鶽(%N ncr 5UX}w&Q-fä{h 1s{ZGj2aizp4TF,1A=[nS3ddZny𤜫+)~|ZeiJ}l$Ԡq⧞:[#1؉<ˮ>Z^qjE1s;^VۛsXlDPX!yK+Jm9@2fm?*>* D^$K">d884))$gYW\= h|( ^MκrH njvU',?vYM%XiGQOEب`Ee|S>*j+ RԿԌ~# Wd gFAYlI)r|exOqoys8]cHY +_Mj:r-Dq-~Z)T\uUozVS\gwΕ;ǛLxM1rHD7J'&l3[*/Ccԝ|-BTJJ*5^׎#_8UU*NlO&o$ jdx]6U6B6e ]d{, \N2Mެ"C ϭE߱$A %o~C#WpiFx#ݙp߆bKsw|Fpt]wj5 )7N¯gԹIK(nO\Ie_-A ^Vi?~Chӷ=KޫmcNX0N͙-Eʌf?NA]|/gJ]ڢ-Et>s\{cڸgO}ax^9B$0Nzy%5arO^NϧN ԗ#LV| aԊ$Hsb>]"2]%|.3xѡ~3_7ח^di"Oe JN:PkI5o]A tLv $x)Rk8Fga\ܵJs+\*Ja+ e=UEl#h@d9SaPgVOa~jS 4 wljYKV -n- >xt.cڐw3cccq` aD{n6'%Ƅ6tJ ?*^lL# 0l#2ѿg^NX+όb2ފhw^.0= T\bc-YAQ5.qo; 9Ђ_j4!_%ՃW!|m=xbQ9RݵAWI0ߋ ZCR<O@BIQ}P.Bj%#+BO"-\~R i7h=}^N†e7uH1AQ^4 n}C_!/f1 NqtMR #Kr3J,~׏ı# ${JƔx( dÿ3B~Ąn'2ICГ/)[$xYf́-N8/k@KgJ6 o,fOSH ~&x!cX-guq%F:ʐDJ JbC=bGzKS}F,HZ4'}\_  n%޴bPP<%uքT0 T,r~RAR[MwϟUw1Y*$;$jU? se@?:* it R ж7.yM5@@xl*` [9o$"@ˤ.H[Lu{ m#m_dAxWzP= U+1|3|(}#o}&lD*9AV♎{'!YѮc.M˃We)@pؽ8zXp[JMĔcŊs*O,*ݪ'<qɳ (9asIva9BGJ5bP㆝@A= yҙ/Db}X(`^S<ao65uى.]nN{MB:I'MH~"'~)US3r(.Tx  ]6{"9g%SmpӮ,`H1OQK(Oj?PZenO-Sb3T P}" #Թ3y)/k)k|θ Vm.P>`FO[YJBjF3 LMxux|I oU?avYO:ptDbRb4U9QX )LXwF Iy2c_9X})ۻk>v3+vwvL1ߴ#`u1 aUzsؔ"t:c$Ț* / o!gm5F 6ЋJ=!`rW~>AI @Y΀sE:Hަ,-cf4ehh sgoJj|lGfxbMN8#]!?W&&W7=䗄̴ɝu1W'i[QX0ٯmCh}4]}vrI܊*Ƣbn ;Q_9:[&e[G}hgE5լJl힑 rF3(ji|kGu>8~JB'8=MA8к40 T$ F ~ Ɲ_)Z,nNh{ֻwjbgոAף6d.uTbP=l9L$vT#t|1R,Eȩ*E3Fk9%8O9e$'vV͐}2r>e,-S4Y!dOBA`[B(Oc%-wf5r;LҎ%8i~R#Q( Ҳ9ʮf46ި1|3hhiٵ@ʏSjSp\;9ri7t=,塧tQ~'t6u<@W3֒!7~Kϑg&ϿIZ|SA]`zJMJ7 9v狻.kI6n| ;j[vȿʃ=L~JV_̢ DCA*\^~vEWZٌ0yp |B +SpB%8&@c4k2e"C 2ԍ^/Ì;VwLȥv&0"AcUnJ6 cgRtQFmpAzGO\X2ak;đqGscS1Jl]v Oa:ӎdFY;Vj҄_"E*|.ۡCMt=9Jlig:YW#O'WҮ'{AR+P ծyT堧ĭyc} H|-"뿙V|4tK*wEȔQ"eW@*WIgoAt<Ácú7RWׄϘ#xF$u+ܡQt܎ ^Rղ1  Ou1MZxvPSJ39+ n =|?bxs/Y⸘zi6ۧjFI}9a]cT`W6w_(q eX\1* *3k_Z]0%aYO3a. )RXSg{uB(irsY*RM~9m&Iɟ,Щ| ;-S0,0mK0MCm/2XJ֦@;ֿIT.fϿLuJIe6~Wѝ}>,-_B}eB^/P}vD]HeIRmT^^.-L%GKs2&Tb -e83S\'W!ˤ $͈EyÖVm`&t gڴq-]Tcr!o׽); 5bd^'CB^i*3o}tE -. E_R>Zttܤ8_S[r5<"A fp_J wmR5>h"Պe[փJi+ '-^4 맒6Fe%2WYYo)1ےb"|5_uc5VM}%, \k/Uy@rpzL3,BULsVh-&Fo.] ,[@Թ;caI?㴾5xzNa9v<tǥ,[p2fFxíӳ&6MP|q>e"[{gnuq_ȻOޅ'!1b݀c$_vC9l߃O/l: KZ$H%=Qn+q+Ey0U.>ӆFbKm)fg_I<({BP¬+#s̜].U̶K9xMvD=4+lgD%OIz4AOl-7`[GIp Gɋ[T}O@- CM]awbwjr/9*bTtfqZ'׊ b& rOp;7Qqt-m99/kDRࢼIAjRdgn ͹ <JqŵUL{[XaZJ/y;/9k''x|֓5y>G֘[ɰ#vzo@iDDb3KDZ@m(!eupfGQ4pV'|U8. _J=rW̺w>G E%]tCCnR=*/%}C-XД7;$`WoД;aB mD.W Y.+]6!Icᰇgvp05b:wAC&h>JW0^)i:c-W= ɢҒkȓ@RE_2޽V<vGCYUI0>,M[=t6y=zYKi$@݋EŖHgD{0(`T)NBOL͝ yT*UUaE14{VS@vNo©ՖS3?l..ևU˟KH~Z2F}oBхpK`<3 %y,7 \i钣s {t(ebJBRE޾9`mG(4suNTKBn߼V :$\ M)RL dsb@ñ[G4DkԳ^?E"z#U؉nfunSM0 9U4,@7Ҫ+Ԍtly3 o{&hÝœaoۤei4(s&j) 7=3B+=3(tH"_[ \sGS//V{vNYh.od0S1g;13 :cCrpZorVO3#+ׯ(x||dѾvLdl:]3b6Ccz/tn?%dYq.-y?),}-W~f[h=N(FU!YL{[іsG *NV2Q;R+`8=dlɍ#y]C NA%Yyl[f 1w<5񄫢m &f~m\ɍ_XsD[[xO%T5妦`z,/X,Cdn;Cx ^2Umzsom٩T|\lC{<.A ȹ Aiw  ݎSK0 CR[xu^=aKH8)̋ROE1yN^iFFnfrC5]0:paБo߄.t-@ħ(>#};%HZ*mCly3p"]._q?{ ߻l6A"!n<0L289(/(HZ;' uM{QVEw~+UJݬl9䠝 t Vԑ*V T$Sb#(=&f[Lq1NCINS /ɼVc,ӂ/jь;LRM(~<_Dt.)dcp95x5឵% vDADfxExi \ x.)2a)1݋~*42ʓtӨeW=(U.XtՠY@zȾea,j";;G&TلñH%WCG3CفhɃ 4tIʦPxL0.JV clt'bs$ isa.tK"0GkL τMT Ԣ Κ%Oe9В|Mly߸\ir.jaսgJVy[ mE^Nm`Lh-#߰T~5¶j  \Co;.>M"nba؋4DgDGA 3jUsSuy`GŎ~ .l!Ww 0yE슊V%83PKA`xҏL*Xn9QA)ygk s2Sl( NOhٷQhwFGd1Oܘx>FPi?hq:-";؈79%j}C]zZ|WGj5thig0G& ?sF)W,4ȾylyG(mD֐ТEgϟ5Dgs݆6vѦSQ|H6k _Ω ݻ`?R72pq[FY0["܂&dˋ2px:bq)̦$d_4?91@`kC!StT}k&=".,o/m}O芬eH6̆+53Mrh]JFbn6޵x@&?ofo-TKnK3vo[K`>hp-*=*x&vgAвYS&/RN:tg6GPy=LhF Tf#AD!a{,>; JRn|?fMhΊLIv:Ɇ^0-4,!BGdXFyW&jciIFK:4p3EtحcV>;(%Ǘ-,y~䠲T>:>cs)Yu-xpӅL2_X/e/ ~xzJ )|]1+ukΏhqZ!YRjZ>2|O@Hy*#氟 R$.r$#[ykK3;Jd[(3pXlEz[$a(7v7#E}z~!Ӛ+1u`#;%/HS^j(aPV<*>u!3Hٔ}D&<*y*"M-_4fM<A);JVGB'Їt"!OuxbTPuۣWOӝ7vq:KXޮG)讴GርAݶyD/lO3=m:@|2UA>FoK17IW,wd8`8[SPh8;eàFZ]o‡QWW)%uHJ܄3Uwo?y!؃{}UG#cݶ(ON[ ǹ[p쐍Ok%Y!NG_着<"@s@$2Y[ۣH2#m--^|g׳DFYIץӰOSDsOퟱ[uHv)<0$km$vCbo>7K׿!J}C5ڙK2J{GߒjFQJ Y<ߔ7,]oZȄSSvkWw"x^1kk f#@EXAIN= QLUR5 E,c<6 y] DžӑZחS!vENJA'8L%@@fMgu`%m{C/C]I *#u+*cCu9nӦuLsr]Jmjyws){ 8^w* _,Uw'8룂pkV]'NwAyn"!N~㳕?9Kaa曡ŪC9ZDdl`A'*yzj*4)1,T_SָfRȈ ;O.TM6Ϩ=9t Oj[(1霱;*=U iShLS?w@z,(<8qfGsJD.p]CRM dJW#f޸@Nӓ-\nZzi:YIqc%fԥIYWId5+Z+Ê´20}ҽ ͮ|iI[/4!jݬC:é>5ˠ+zƣ%{N{䬟fg'ջҼ%=^aɅZQ{QU*,rǢϔتyT~MzRSkqF>T΅ǔjg.8Ը~ a./TWdKR1|\rc/f?7?^0A* 0 -,)?IPHZ"ܶ*o r#PIpz9VNDEG ĥe8g>!Dߓ<$gSO+8I]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oդ_YπWdxo?' qc?~1|ت ]|]AeEF\"JȢbЬlYSGU^ :^u;;T`Kzr4#DBO"}zuBN;A%ñ] p/JjZ5j ߐ=Nx$ v:Kt0j -' 2cw@dķZuQ;gp-!rV3fTe^ ,m`Lqƃ0 j8~]7yFA=FXƦ2*vm@7T1>;803A6^HnK*@0 OH~nS1>:n27CR3. tأ1v@sJB=Wz B-Sy0z".KE=i c26x)<+KN r=k./XV#XPF"KGdj/"+;j?kx75jyQBZnM=J. o'sdu^VԂ'Ϗ|iT;;u/(vJjӋern-VEp!uQ&c)v!&#B`I8F6$8a~̾4^a$D{szʱR2K!M?4XI ؗ,9`oKʐ…uzo Hvd$.rVo" c`ei4Rxֹ.AK]3˜Sok92J })q_J1`sqt"{0P)%6I%_ߕc h0d2fVC %G~c;|a>g~~Jܝ ]-vWF}XTh?AVexMZ遀JΥl&8H08.X~KFV:+ғHv]pV[7f Kd8re~Ͼݪ01PگMqKMk[9s.v_qƀ1(M )X!^$+ܢt|Xy~F;\-[G5̖2rqi= ЬEJ4kc3`$6bX%.jkhjKx.s" ,AA;{\2),\L9qW0i M8Y ɜ-^!sM&7EOp1)_* jU#MAsE'&i]yf,j׃=9{\dߓ گ[С$hQpnbbsp=xՀ%!f@AoǺzPf8{ЖY=ks@."-^ _$jJCEH3X1P BȔ@4ìq-.y\'ܭo[})Gg g˼[GZa3!!@eV4i2\9nl|<v 99tN34bu9pcycƐ#؂,K슥f\Lԁ$tm~>q> {2}*deDkUx #V1 \JVMPfX8BLxQs1 b[& > ]Qc IyJGz_h,.kOiwwQb'W~dxpp|jzuYu|[m0RX ~ ,Ǡ} 5кVpDTLjw G y< Ô)Γ)*LVWH-he`[,15NJ9 @m& :(2 T[ fFgZ7$MOW^jM4КNL4\0bޭ2'뀗t>t)QFV S7~Ӂ}Lj]Qc]I-;(t NFHD I%}UݬUO+ .Dq0I>w|D.-DMdB0ԃ7Kq=>YO'F d =+R%W!|`~BCH/ )d2D OѿjLpp];! ikU/4EA6<Ćb*Q^LF\摣(=Y[2DJtgZaDžcdp7;G^-z>Y*]~f#s0Q<.v}-/n:"cY*o<VߘU[21$[ !~~BнW?RjK^}\Bt\Tnp[q\жޔ5A=nEbb_.zP\V2X?YWgo׭ QgFkl !PM_L 2ӳ+Zt`YͯezJ1uOٙuiwdco(9UOx$J. dFE5/(aV.%0eݣaULRoJ@y7xjj ў.g[uSAF-l”[M<^n{%,D~{NaӭaJ|vԪP.#V=ˀU2hltuy hL5l>4}My ppŁ/?i8NC0,_= m YW(7M#Ƥ"1T3M-L[28{aFA'wn猖rgZf;$qoj[ p-D3b;gB[kˍR KhL|o<Vj-8e■Q'~lU~X9$ JډLs8gpVԚQmV?ʱ]vFW >e↬K9Ǧ6xDm? 0>=t/zR D<+E $P""p;m̯p^3vVKJ5 ՙO_NG8;y"Jr^=y-+%p%'VZ)$` hCDV)DBCD?q _- *ў_/9ה/$tGO@t[`{Dw`B.հ& i дznYֽ+h͝VsyVJ9M w&?.5J,€&#dm,i.s}"z#l8R>y (p:pyt2 q6vǒǔHCgYZDpZcS`I 4͞evxN7 LwtM `3d^b$AN%11u^RЈl߫~36,)@@F]<ӫ`~κ|GJus7frr43: jԯԻ14-(-nzt(S1b8=TeHFrj=`6~wdy &3YDb_i2q|YW~)]Zc֣ E!,cV;'74 (;snkI5SSIj=s $C_eiZOIkܻ7qYKP3@ {)M[]DARH$J t+ 6p\]p}>$땱/F-[x| c3ݿ3NZ0%OX82DaƘV r7%uT܄ xZcO VJQaċp$*XQ'/ SӡtXmMHHA^$cBB]iy̟y $$R,Sr kFI{rzln]W/&J(#n3o72M#V]PSW?>R9<̼{[_Ќَ֝|uD+݋b[T+s߀O B+j/tO.-P1W%?h?C)NQߨ!RIJs_ zpmW <2# /6r"=E>;j5|( })8IHMuq闷50U x11GNn;_0@LJx:@6>/DmzWRO*:eA)uP6#A O{w@9v7 YKTش2c*!=u30oFn0Rfi-+:X됱b 2grk@p N[W#y I BDPt?s-Uj08z12@^9J$S#!WF&^{ Ę+kp JR&]lZ9~oѲ) DdTO{1AUls< M{wٗB -lÏJ0eLYΑ^(WE Ns +*"ª6 T4@tf;F!+uBo6dwޟn-;i̿n%R93"x[ צ]g=N//lg%4R uFs?mi~uo_"^#4&[J^Av.Fk](5bލch_. sT?krӥP CpϟV/c>bRJ^5+ga4o'>ҁ&UlbD@"z KU\~tі]깃?A@SuԪig0(nÐ*rϞ A65]{LC} ;R i4´[͟'DfC=0yA5MP99IPެޕ^6<@hͷ%EVљF@w;6(9@`Eb@QBKepak'ȣ:SZJ4;qNa: H'?N뽣m֙*d/e6\t}bѷW~-!8ѐ=n(.񒊓 }C:e(_#s_3岛}VEr0O dAGc.& 3$~V[{*ILV"YMqzs$v~t]EO0RPڙS8n eIGI[GT5]GSDŨV50b c SӔ՚ގ\.w;HD8k_ Jxbds):ָY(d#6) RÑ'Eܔ( l(}ZL(\ڠԽƭe!},݉`J7혙0 YCE VLYpW&#++e%~dC%aĔ谰+/IҦw)D5d~1ai,Ԅ$Dr;+1kmS7{ n<$C2piƗ`ȦX*8 2LW9n=)*)Cy+ь܉=e&9ɭ礸:_/kDO@@&( jRST2qۆ .=~=Z| ~uɑ"_`Ζׂ݋@9*.WfoDܬ+RAQi>0`=>?E*T)bw栁Us!#r[ 3B-縥 6# })̚a㶽R;`S8`+ˢ3[8.սn sWu|!9,f>@9NJ*\+};Lk}/+wj*AxV3pU<wȠfRu?_# / DQ\t(50+9P@,)'v|+q:kyhL)smu'$kRm0sw1uP{ {WM;"%xlWR٨SYrw벘 0&P5>+Yn¯x0oiNJj{CV&96v@$L%Jզbb>$Ar$٪q"it|~!93NH@=٪^OYTjr&A9r7Oo@ΔZx06j G["C= (SMyl$iٹq1DOovidžo57DCw28η:y\x}yay #g"y''ÅaS-WJ'չH T:2! ̙E%*.4IMI?{+MH^0܉tPMe'W1>3 ~7G8Y_w -4\) JZ(NpN$Y] KfuOݭLIݙoґ{)晝<Ɛ|GX>1DfV"&S~ Ɍ)x!kBe󹕥 9pM=:%ֻ{R_=I +KWKOBBv$Ns,тIW89^A[ArZESia~ɲkڏ^z7Rz+IC^RmX 04]a3Vq #lс_Wy4w'U{i}BW7-Ql&xOy1p tIO=J7'U *U[4JjuJR/ru/׮q ]%_^Ԝ8(6;Tn37@7C;+SV'ؑ/S~0(2GKop!iG(y~B&2b)9!@A?BgN(]J'̨TyRsdj3dR#%uK* H_=ݰ!m#8?{5xG/BhȲ={,t=DYH@85 ~b;#ryFMVŕ"~ӘXjIxţD@!Y `V4UV/*td: BRo x1#PV/{bP|x1^]$7t󂙨qȯVStq>NNjkB^K~Fx\|8Çp@η{VB&TM &W '(jhu87ur6% ;vŵ x1qx)b&LQkUdiXd'^ j(k= 0r $F3+vtipp~Z^ڌ+At1A0zZ/%oh-Ƅ&}ԓCJGUVYͲdGki}~dwp('"s1((~i`k&.˱J15ʘ`efkӢqgO'DG̅zy|e=Tei00c.9 gm![a"?_ޕ="~+tuL*bڤVrz{-k2"׃!*Q{:J>g嗿O2URJy[8QIE ҎpȄu(]/&#)Q=VqXVxiomf>]4粄2$e6p9mg$.zqq+`bK( }ɩq.mS-N;s X[ۦR͆=c2?p]Fvz2Nǃn*We=oy{T/F;V椧N9/xؕly+P!dS̯, s.:,A|C7|o8?9E7r9"MY ^T'Ӂ!xzg;;CG0S%hYgu8Z"&IAA gΓܨF>֤!87Ѣ; }I? eU, Qpv?N?')j[i{S%+]شA̫uR;,z`{ʁvR~yiK Y?e-xuflGa.8ީ-oוօJfY^;y0=N8ɀ8)1 u KPzjcږm[}+WRA Pb%:X4LkDŘj6&7SlKVn(e gpWHl=lPQՑH |