SQLite format 3@ ._  5  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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 5ztDz ]/ UHOL-Record_Benchmark:threads=6elapsed=146.423cpu=240.873gc=21.341(/ ]9wVpH~v}; I q@J} n- c6{ytBP}5G\.qcJuXnhj=*((/ _pKƾEVҏيa}&~И1.:bIKjiRrt"d>(/HԤ Pm ??bMQ \;e)sgDcL7fR(v°Qe,u&#c>g'-/ O2HV),Ɨn!⧊תۑT2ǝYRllDFWYsf=V!0Z:/eTYKiy<VMSP䒗[;߯ jŘ<1N(GOF~Re3I層*YPfGuў4jG%"o+%#DҮL۩(*;$޳f ދʂ4gQL8""3FQC 4 a!8 KB 4,4<&hx*L` , (`|>v 4`xpXxp`x "4ShhBjy "8x`h 844L`` D!<@ <4` L *<`xa 4DA$A(Ha‚  8؊ D `A)FRd?)jN- 4QϔjmϠZ%.nNdNg4FF$,hWssM kdnBiۙ/~lMM.in/#˘7XJKsY8?`RjrrB\G^uz"lGƹ2RˊfbI$;DCpy lY䧋u5&М]\"sRq{RNZ9לn'|ڋՉvTe1s\vT%)=Y]HLX:T~OwdKn1Z_wnWNQRjn~ƨMf$]WF/Ғ&IvW v8naՔȬv2JيSRerA D.cUaO6uʢ hj4&EuRZ50Z\-zϨN7dЊ2"yoLIv⬄d̫3wTB=7df)5~ ӐF#0MQH"{ >̔>H:ckjT[TLZɴbxg+T1^\%)Rcz,7]$Jx9GJ,X< W4e$_fSf DXO#$ʮ*FfFZ=z=ш09JD:_dNbiܦ$3gLxʞDGfsɯoNij7CC&)G$ֲМ Yf,,m?Qw yd٘DJ=ERmXgՄm9jw!}4vPYF\W?WS m׻Ba@`@ E 0(``0€0aD! 1(Dr?"c%N JX %e@+qA[v^8dq~[VrY?c{R \25s$k2A1rtYUWLN)n'5[<#n_A~Lm'TI,E]OP3_)p 겙x!.R'b|N'>3|]޸켥m"ubpFru}%_r[DzG0MmwIg͘w^צ;bܱ4t>8l{ݗqƦ,C=16.0bؔ֝Y *T;$Aʓ;UC@&FO0n-aKXp$= ~%H_R7R'3`P1=\\|}jȐx|]5ji8L@|]`Q>blZp\!BTĽKHNuiQ\'ߘ?lm7ϜԸwv}hxvRF2 ,sFkOh7ܮ}ʎ375}Zm8wj$xicݗs]Ĺ֐ >pbģR⤰\S^/2I&xU'Y{dJ/0`ZꞮ?l=Y[Aٛ8zFs 5 HOL-Record_Benchmark  95{] HOL-Record_Benchmark~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy48a08c25abeafe98bcf25bb8565b3f355d4506ef(/`': UZP uǥmkQ0 1duR=󊚤zn5I5nXe-f}Bc2Y**VҨ]{o4$۲]do7tJL}"] ]Atfleܜ\vYd$-0$ aTb@'vXS ,KJt4f0&Hfo۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m5INUQAP5ITQAH5INTQA@5ISQS֕ujP*;vp+Vkd7Dɺ`>ECP9mrؘHA!B!B!B! P{b-㐖&;K#5KM.JMbtt]}t#v:}LLt;2f berjiE!ٚi\'h1)QmjJ$ZѴHgv+&ŸI1,njdu1lq#""R$G"34@#-"""" E%i:'"),Y ZgRcRǦR$JJ)2>~n7QMeji0UoI[M M=Kt+~+Ut່fݮ%dDXJX Zݧ՛ܑކ۵1w !H1?E";:9bZڍ9r%g/9me2=0Üpr2rEw eeǜPUwPT2;ɪF8%1gF1Vƍq̚1JcjS+:!v1;':z!v^#_U<:##~x!3'9ͪ+&hT64} O5{ HOL-Record_Benchmark~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy; 5W) bHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex(/H<Jd%0PO?A_M;>KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =jO*Vbĩ/>P $Cp-9AqKiLũAKQ'H=0r?PxIL,qҦ@K`Q߫ {I8?.tH GգA- $Ac,(sH%4Tܟ_=Zɐҵ ~Q|DPA?DIP G{rS+PmR "WfX .p~F8=B4\O_+:RMEQao5QB#wY~ґ4 h`Lt ~bNdgnP<_؆N"B#C2 <yЭTFzu(K>)Ʒ&>Ct0{S~#xI2sC},-I`s0O@&Cr;`R3`oWyO^>~$0MTHczB2襀` P/c1js9gc1ƘƘRJ)QJ9B% (1m۶mv۶mn۶mm۶mm۶mm۶m۶ݶm۶۶mv۶mn۶mm۶mm۶mm۶v{novnvnv{? U40DX04<@$"E1:; P, 8(F l8BA9(@(( $ 4,"  8" "<($DLS (0PD,c1  cJIRJ*+ZVJM`Ce !c ȈBhO60@(s [@X̚D4s4S--{s]HotciMD`JS.G1HșOyoEC('Ȍ>wINy߮un슏7Lj`(gAND:^$ Z;AAfN K(8\$4j&g} rb^eB-{ 5()Y7J1?@ppg$@^LnQ(L]#rV& 5!E z L.A%MQo CE?Qc*(,Ve{X{pX;-jP1 P͂*Nr 2E`(X'%BH) 9w6oKH뫺A,E#%( ^[Jf.A]`HPlv٫B{KN7YˍιX tÕ: IQ1;bA wįArUI<m.R/}p$FcLa T̾U 8C2˞@+g?ja C';C,SgR%L3 S[(Cr 8TO~i 6eeWC Lk_Er.{W,j(r,Ql/@_ag),Gbq8~w:) Z@'h7K⪗;Rʰ:(Q.#NXKT/l#lw4D~Ks^`ҩ}v#PNWtxu'Z+GV׿ 7ц'9M@d s#Էg ZloF)uPvif~,=SCKT1Տr`Z(!k#k-q5fBjoǙN c#Zc^7滽` 5/bJE/-UrUr,1V/ϻ3Ć!QPi- g- 6*zK%1jʠWтsB!;.:> RP zES \'!Aaq~8kМFIO(X=tm0iQ)AtTZVOĤӒRkPAUgm_5(<8'c'6pfJ?(v ^@he['=@BQ͙fCUF. ͜fDqůLΥuʌ3R_fSQ=!-舰7F=t g b@ivsj؏Mթu^i=w҆7_J[dǭ SW/Y܈['TpL,+<̱+ie%V!H* ֑#ݥk{H`;/# 9uˆ~~ys{g=_ ^fe<W:dYԭ%i0+7 ]Dj*O¤=A@XrQ+f}RQQP'Wy_:#xiNa=UἏyuQH<1sI WITf@]އ[1c F+L1Әr2V]Kc*sR0C(N7|f=Aphc-0KWД384cj c Zr;Bkm8uޓc': azuRfS:?'E$4 ˾}nx4KZUDHW>µ@hog{!֛NZ:dܲt,gR|š;h0<#}aK bgint(A2 >?96]BPbr" ¥HlE-wTFc; 0-D݇q ]N)vBCGT$RÓ7誳@&[ %痂3D$O=.v%5DeDt6O0H!; kPxC9MjݕhQ$>L*$c~-w?zS2.p1NMQًb=@;@EԹzZP3BewYJ8W?B$_@?\(Ҍa6 #<̰LuWb7hZ"x+A /=yE>*lYcb[iE50M00b"xYEN99̷CY@n;D{iJJڹ|ԙ>s!grj2CŽ"q*}hHK$ ,J#x,΂uڬk*h!%\bZ|%mԵ8e qҏ/SZ5 ӂ&iwQ1$D*yd'f˂ |]IohSY Eٝrny9TֳyGl&b;LɱJJoJ7`Muq3s`04۲Hg& ؉`7Zn3u;}TpPDE܂WPӄ=uVgQI,,8cu`I"XJ@A4yX\"LOa~^Gڅ0^u@nko@;*#&][%&TsSg7Ca`zѠw)@>HK2k8DN.4.I}M?+т#@1+(܂Ok`r`RE4Rl  ufqn7ڟɬ&j_y t dd9s̵ٛBA"r.L=QX-gL isDs䌮=uhW.dʫ+.W#u)bQɻ\/tdOQzȈU5ܳϓt gɅ2'KOpb 4Q թ;mįu7ؾy>"N_=6[@oHP8TZ|ls!ɋ$y #}0V́2ajslS!%0P@ b%`C6ضAm␘ ᛖvf+/팖 f+/(k! :l< XN`s`֞a\B "O.b!U1`z.4;Ņ/h -CxCqL 36ԞXb>2Cq$(C#w=d\0?& ۱[&iXj2>0!|̼И.e`gP cz*Cma*~ ??DrP۷Q*suXb:{jlc^ *>e`{q9(c:(Cmvڍ#*l Nb26QZ4+w0P;`{vN)C3dG-:&; l^0Q:zp@r(c!̢ *QoV!nD%:e`!!9T;BJlPy U*oYiXSv!! ǰoLcSj,t8EШ)k"5Ha6WADSHŢp\!SZUFj-< sыGQ"ȫZhp ZTh#!fR2VG1ٕJDH$PY (81(  ``` @ 4yj }?!u{X%1"+{USozi^V{2TY,7V(1q)F S[dȼڶhU, d TE.Ww튚[ arW,Gʀ^+Kսe1!K# l-9SH5kL´\8Fu!1Ոayu5O.㝷7ھWpM[F,⍜Xh;=PWqhA,Ar VelzXAom ]-Ɔm7^tw"i@ڮw{+`hЮw#@aXM!Џ~RCC=}ק|U; dZƱ,a3^S4"1APOr"}NGIM;/Rs:G700FUWFC?+ǡ6$w~Y8ťm]5ihY3tJ8 Sҁ|YteUq Kٓk-/ۻ}6UAƯ3RIݷdX~~`Su۶s.A[`g~穇3~ ؽ藰=3z?sà=3W?=C3^=?C3G=П9CW?1!B! @aFϘ!l`vϘ!b@̩v7Gn_z ?ꇘ;> ؽ#? cTvb 2]xAEGwQd^Ԥx CLj#𻨌c 2|/jR؂ EyT<^Q&d]TF15{lA<*/п(Z2.* ߋ= Qd_Iq~Q}LAEM[( 2/ʤ8 ʨ> &u-_GeRkAEeTS{Qd/ʣ 25 2)eNMǃbwXYH]Yb_Kz|1BM<`of"vox`WqoXAWAo<@ԏ`{7p 88MC ӐA)!@$h pA1 Sb 1_ÐFfçt1֠R me,oF7uZSMLݐ&FbD'C47N$ k /F40stEհ6-b\.C43ʗZ oh)Fk6sZtAڕa-͸/C{nhYڌi4&tMJ-ͨCxjIIH2Zhd(2ěa^!ňfxn.H֦QZkeHfFZ2B&b~[[s; g[[7jo5LEoe-9-{_H\y#LCkFEbvڸQV,x/{CKEͷ%~/C?~[[m >Sw#Z0[IJ7jU$sd"I^Z6 ; Q8doSQRXrs4FdqQ*a R(APA5iEb jѺȐtdY! AЌ@!=I RY9T&(HGDE~QE-w@|DCjhlWOB7EQG +H PdUC8-NުhO!<TdSE KH:WPp$l!"yVI9HDFI(BD*(x PFA'U4hd r JHDCCTQC(hjSBe4WbD$ J HuRA F~ bS 'jJRFKNe%YJiIHL<5īRG6J VHH\Gs(tˢ%4)!uR!K K": HMA ^A"ѹ lURC k(*iOBEZC Q DUC )z6%F tb` dEd#s҉gmNK8g d~ͱZ˧IڄȂ!3άHE@rhIC$-*&ZOb6 ZDy3L#0-l&l'Fcp} [(;lurD#5 LX@:97LCp ,KG "aENX$I$!K~ß$4i'uf2SԄǛ,c n'E|ƒX-N*J7'*- MÇRv#R?+®9(Ed]bÎ_'E C#dLAHրI!FPˆhdR"J!4i0!a.,EyDAUqNaPf 2shn&0$a(]1Q6* xbS8Ă|`\8+Wjcg3ɠtDEؼ8'A]@SF 2sh=6xa2(_G1*vp<\/`y"O`~/)m 2bs97$#Í4RWmOmu`Iea(XRRQ\݄V? )s/a3v7Vb|;S,@ǒ nߏMA!(ZrEd셷ŲOV @(Dג+"c/(vGb.FNq?i\2?ŭCo0&E!\{-F;jCv1v |dO{)>]MƅގmP7`A~~*ύOGߏF&9bE!xeKW 5H$D"K$]DDŠl*լZ"&$H$N${'LܙVH$Qp: €a!!(рh5/H|7DM 4+|E|4ު 6<>_ȏ(ň?d~mgOʝ) A0+ 4 vjŅ2*6 5Hn7b՛w[JcC,i&8o$1I0^G9Js C'JS0x=sPy{"RwьF"#&YL9 C'`T!2{{Jv'`@ۂ0 MJ4Q={Q"C^|oCȉ17C.Q'A۞_o z> jwl6AnQ*ck8 -p+A|SfSs[^ž*iݬ'+8hSE4l*z  ; 5W) bHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex(/H<Jd%0PO?A_M;>KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =j3Yʪj**9"z<"#uflff:әHE HщHEۿOc/Fr#C6܎䑭XD4ȩ`PvڶnBf6]DUUYUդ !"CDQnf:SN3S523""""R""c'r??CX `8Ph &@x S !ƒ8Ph C `@„%+h , 0A"P  ($(W0$,X Xx A 0X $0X ( (@a@`B$pr8)N 'IprN99'$9IN$9IN'dpbbbbbb1٘lLN6&-&-&-&-&-&-&+&+&+&+&+&+&)&)&)&Iɉɉɉɉɉ!&%&%&%&%&%&8hA:] ]ߕ]1!wd|wYwq;GFm ]Kkۚ`65hegY fbf4*VQQQPDD!b !pD&GDrD#7̈́L 7S }3p3Ǜ1LD'2O$x"8NDD'r'>cx%kdI#/UAUWuUWuDGtDQCT""Ufdb!*dDdC~K9$X h !|7y7y///'I~'GGE~____~O)?!_&<$Y%Y%Y%i4N'dq8Y,N'I$q_o[nݺիWSN:uOҗ/}߿/g}g?я~g-o_;˾˾˞ɞɞ~1qc(F1nܸqƍ4H#41a cÆWb-آhiEVUdYEVT$IERTTSS()EJRE^E^$d,EHEFQdEFGyDGd,%DiDFiDE,+++####vjڡVjZV&l2Hf$3ɌTE ިQ>h(cHSH  <    0ɞsnެr_\m%Y!úᕺ*vZe}xWRY֕~Y JW*ػ-ka]wJ]d{W{e-2+^2bGەTgi@t%Q,(cf DnLm)^M䶛N,axڠizjEϫ)5,f~<ۙ34r\  f BJJ]9[WR;eB \T:#SrjfH͙5YָdT,I4K2 1͒(mwI,`bH7{%hmX{FT1|La͒"ņTYRܲ_Ra;3P'wMTIS9fTh=ҜT*u]ItNW2Złr;+vJD,pnv%,;]`̭$ڥOWes7+)fJd,Pv%,;<]jݘZr+̲ӕtT@nv%U 7c` =D6خRr+QƲӕTpnt%Q(cf DnLWRRAە抛X8V*O (*Yt>u%Q,û, Og4XW2RayߕvY<JQ*b>ʬbjbrճb*QN&`ٿ6f3}W\I{qѮ3Zk82QiBn:[ɡk歗,[t9VsCٯxK=FY`< .z$3n봱)Q$ #m zݞ+GER<ehU4w?&=$2K.5!G{ɈRǃMMzI+bg/`SלH$YZ*8LduПpTfd!,f峐0[EW&!y~8(ӰLc&b4 p9a5yt`{fXUVWI%GY:Y!j&?c ep ,XYŠņCq;lpkx.a1\WR*zu׍nEqKr bP,/V( E,bH_Ԛ[|.Ό]H(>뵿[g5Z'1LkޒzYm TK%y)2Ff96O(\?=5J[R^z]z6">9{SkYKY'ŐVbufǹE|`#d*f ZB։Vp/?N.~fj,Y,#)9Qaѱ9Yٌa&G.\Hʔ[3Z+] XŊQYXХҵfg5zKmt w`!&?pmPk?KZҖgw; r p gkm8~yh!WBh+Fr2Ao2L. DH^5[Y-_ۥ.UQP]@EPZtW.bbV(t"V}?ju_^5fˊBg8 *-qj" 2QyC+DZ1UG'o4UP%3sjzz/Rϫ6Sx.lW]Ve1T0|6s&Ÿq;S9SW^*8 3Lc6۩1R1a%i: r0A,Y]Y, x3bѭqfg)6 CԈfEff&(k^u85\eY2X:Ŋ]!Jψ&뵖g=B13*㳱Yp(bLd23Mlo,L ]xAa\|9t@JhςSjl&6&&D2SM';6gNh: ![rk2 ا0[A OK`z|ccbH񶊚vy4O$I(@7E ϕV#q@khH`1ydG76T'Nۘ櫌 K^R>F҈Nd1<;:O+҄h;HP?ׅgSk4bzcW!U < Ԋvo34C?<TMG5gIZ4#*؅ژqB]$TH !(u^V( HjU;1a?/'M5:P ]_g]EW8Vs''8 'e&aYu۷opRژp^aZ#C-ԾjF]FVt'#@ _hu>f0*,ejyr1n M%΢~y\ g|ӏ}8x$'HDH4pݩ|Wa,K1LϤ.\tՔKI1PEVZ[w.@T p<iX 4Jك2!?Z /3[ ¢ wkviQ;cG-*w#Z0"(0̳;,Pht[COW+ vIO pKtxô1e7NtBCNDl%2]AUXTՎFd1\T"UN h8 SğwaXSoz;:6Z*cekn@ӪEi&}(auoD9ta K)P̎ 핏SYNC1BR&8Ah r3#t?۹v``+^ o<-0VQT ^Hvbwn68E5~h}So\QrmCC49 !.]g!a>j w?󘘣lR(I5 W֍>Q(u1A$8 53;. ljH,MQ="( Q㞭MKPϿ< )MLv(|(?e8UŠa(Ju]̀$(p>M xHT &]d!!Ҋb7PYZNMAt0x 鲡7[[')CJn.kk:_TL"0 Ɵ2"ˮ(ᱻk->?)R뺰 %(IodM Ӫw< (p_w,$MϹ[F.¾C!" Ӊ,$ES_)*q->z}}3,-<9\÷b#"$ Ɲ=0<$4 gzQT@ bxy`ST[w#ay!ȡ| O.!y5lmyJYvu Q^-oei:C1R\8A ?k<, ~ohf! * &x-$EEԾ8CEӉS_PT-.}*3,YV'9\oҭ'"$6?[k;οy&h4*XHB5$wTLvc4L1xB,xoEFÚ 2F)jzF4;؁~xz8m\moU~fwY'fF6hӒyWίK 3};'؁=E M4Pl:Kk Si:"$yߨEKu/Ҡ;/ā_1/΍ ~$A^rh O]V4^bܹ$ܚ4&/MrŒsaaj|[RɃҟ>$ Mt6Mk6*>+yF͠[g*yMk 7XSծO:FΕ( zs-e;1S2AS $0$DM 7M̿A17\n6,1D5<i>EVלQ>V\_H|k ~܇Hg@”\g@GI(a nx炱"m'sjQFm hHBuHSro3I}%M*8i`2S{]HuRlA٭<,En |ؤqG}x:7+h'me`T)*i5%+s:R7u\VĐΑ3^~C}NyKl'Fu--wuZ ܭ`I0Դ(cs N!/OӖ ua#k *Ⱥs:V|z,Orjַ°6%#'jfH]HifHRNLQQU_8_=T_1x}~';qrgG^Ig鞚DömPSy~)nAVbk ;یHh)BTO/Ո)5aR ַҹ\4dTږ?Nt[_uf*lđW0FSO}=iO'|PI/GN?-,F4ُb؄pJ# G=DvhpK*@XeoMpm;uM*B"E @E"EHQd%dQ2A F#dAFd0b1F #c1FA PB(!SbJL)1>>>ԇPC}_Wo}Sԧ>g}ٟ?O_}K_җ~wG?E_E_E_ӗb(&bbRL ¤Px(< GQxT1UUUUUUUL15j5AFE /////////////j۶m۶-RKDDD"D$!!9rȑB )3<3333۶m۶V[m%R"HE*R!9????E,bmH.DaBTUUUUUUUUUUUնm۶m[jD$"H4DC4DC9rȑ#RHgy>#&UmHnmDXXUmHnMψ rU["y3bU 0VUUk۶m[j҈8"#8"#͈F9r#7r#7Hfd3̛y3oͼmb[ma[m"%R"%R"%UTE-9\U$"gtDFd~~~~~~~~~~~~~4g4@ @p!0pAp&,iZ:wv:0HR>]FR QVQă 6UZ?U77? -Qt72_^j&aFey-g NO_g3om:Zmۈt$Tbr Yx~*x`t :pyn7yAfNC/Nt{Sx׮;we9;_J>#z9PtRGkd tE;x>\]M}8Ȟse{;O8)Ҙ)p 7pnD:D7N>ZNs Y$'xu?Hhs'yDa|FR5y5E^g珫XKr~#?Jq:A '׳%J4#-@t63tGKYIxs[n#G 1sLtx-dx 4 JR𻴔њ! (ɕmY ֐5TOhQE[D?T PIE詏θ= a[QP 7ևpZ]\Yl>`0]ԌE1R $0W W}5C![ UṪ  j¨b0_ Va U%_EpTSyWFu WThT<*b0_JˣHͫSḘ9UWy5UZJ0_ 0&_pUX:̫r =(dnTxWy5B~ahO0U(<5*F!U< Uj)\E1O UplE_T&׈ݙ(KpӮ%c_*BER+FRvWr4LSt9EW26*Σ `_4jf)T[֪UT GyU>5cNtu*m)8Vwղ"<*+6M tӀJ p)m_wLk78wZ&K5.L#2_֦P˃Ll5Jn֧'C%6J}aQI^aԸQ,\櫊"[ U\GpQ}%TF:,Ωž 45ܫ#6*' 9|)I!W)? * FĹJ٪WM.4%F[ g 4ZVP?3T.A"+! I/GIɓ<ᖑRa=eu y,*ujTrUB*Ft Q5Ԫ:WUVa*y4E*DE=*JW!|XTwEjJEkUJQ\BTw"uqi"5*W)RA`Sz:SFTPr47!OIzE6ًt8SyWZ5HTHbc[ש|UiMiH%% .MZշ/ YH*A Gv`' VE/mJlRl@)[ H+6&zL@Ỏ; @|\WOv0(㙫qd^"acO 6ŝ̟Nd qEX=5~9uL&n&UjafagwV;Ky9ixYsI?|1L4(Πf>e"ggbFcgm%f*~v2g3s}19Y$35񹧜)ќ,uLM% =}~U/" > 1#pߵYxۼTIP̬Ťώrf=_&I~6*f' M0|W)bH7ЫRf«߲Y,*e fыx,#/=[]OmRn^~6b0*Aku_^)?;;S3e O8k7a5Zz Yۀ ݧORJZ'OY/7%N z2T1=iYƹ9/^1=bڼ'l2\-݃J0G=Ӳs iL4lg8 r6Dܻg MG#y$wݶnܸq4I$LL-9#Ma0gAo۶m۶mm۶m۶mK4i4i4?o=۶mx|fDDDl뇜~%?"vk3"~,(̦0La0|V(o-;o۷{wb- zyM!p !C;FWm`K$Igfffff۶}$1eFl۶?Ϸm۾}??܌Eҥ߾}m߾}n۷m۶-I$I$9̌#Y,T"۶m%˷Zݚ??v[3#"-A bQDDD$H$("("(Bضm۶m&I$I@ݒym۶m۶ݶJ۶mے$I$ǏD&2Ldv{3al"~ITeH-9#y [-n!p_# QX CIC0AHJ@fl`6r1)DwR;iM;S* nQ-$$\dh׸k'DjLڪpٜAn_ ɜdvU= 7GG O1\^'w^tW$Z0N(W74`21>Gj8;CuVg+X\!{L3r6ߎ>W>%OہC>ɽOOO]i6)25yO@d4AMLȟ8 /RΤ\!$JuKrDt,I+0:b9H`Re<OWfFLVOUD R' C*kEF^|Pe3Gl>$/RSĪ֩ddI é6}:͌t0/>&rYBr߇$KeT ,%ѣV d"Z$Rߝ'"ug&%tOn:R*+K=t7WQ%m%gV)&3X =WrMHEWfl``WM '}Bg^=(WJma1oA>JG&I.b:$_ID 2]'\Xk*]&yDd{ڜyl#LKa,LJCp*JQy IԔ Nv6tj(n5g"ǿzaRٺIkNJJ/%V8XyImrB [FIĬ2qaJJhKd|ą$~JVNԝYmy;g(L4U 'bS*qRDQ$SfɥM+$MtfsisX%BѴ6oÕHV6GVTka|ñPO]?`6sȰ٬rlFfdz9@ל, w #:Oouk)"x#b8"=uD?pW3HL*B7O覛 3V;+m~v[tNtAz i{nSM3tXU}5ZUgH\7A,~{ =?hEyl Ƽk"ƲAOLI&,KLs3 ߵ.qO7]qvkS$2[) 0>61! A36 +J2VSp>G 6]jnKmVں|r~Ai9+UW% w0$=S. ^kߺUl>D?ʂZ}pZ{*w E:.I1X^U)ďS9|֨)Hq{mFkŐ ا%\=LR17)GmnGv 7E'҆ M'砢AY6K~s$ONzkQӐ@Lgxyt}O!B&3zIGmFh;H;j&]Gmߕ85I>}:Np$2Nv7pu& >.{f&Ukǖ*F'M$3rUw`fM<"3G#/#-.QpkDž*g>%@JծUi~?kjkٵ% E2id'19JLձWg\UM1[}4 ir$2@5ZR#sf)2جt) P^X)éIt?7Mry8!JM@BH|XsA4"M2d/Ibr-rzb[I$&H&gP^IF͑D,ZI,pcMi:ATzom?zNO,wpE|f(Fvv~wQ]hPϋM|<ȇw# ݳԻ0aca||3\I(\JuR?*x6a6XõQ܅>`Mm M6,mCuѵYpKRc9]zoS,Q)ii1DӧaiTa;);$MSb'%+ߙI}=8m$fU%I.$o*ԸMXjRm*78U^kC℗6q4'5"i;e"C꼩Hh^qt8+\E֏R9+ꈉYUpZ VN&r++܈)*6Diz;mb@ $iF:,kd$yY=1xqUA&itpo3nGo[; SP4MdŌ5> 5Va \SM.~A‹cp@]4LkSR iO+?? !EaZ`erց}.m 0^'SҎ%?C|)/ S4}>I"5$3[}bZqtfE0~;:CHOEiԸI[w# 12N޷zuI:zwe!A/^tҲIBlB{EY}FrűU/lNCwa|sD2v'@jnnZNR&ߊ tx0yX%n$͓ I**[$7'ժ`́TU[ 9PLˆ }Z|dCc&=L7lĚLSHC?U5XҨInCf@@?L0z|hҨhP-Q*d^Q' My$IVosPڂz<ކ@SY42-6hPP*V&e+Y1s'"&i,jm6]5f! $̀EiԦW#:m~6"m F8ц ChB$aFg0l9y&EQa98e60!ƣIJ3F?6DTS6`o 4ٔl5-G 9Ȧ&=6.7yf,22((#C6W c"58O}Z2Sg@{M^CSQ^^Xk53Yhk45EEKS_>d!ni(%0I:54GbU0t0k+Xd\%ƚb ~4 k}jH\/cPj.t?H'd%!>GR9)\/|*9Uѵ\i!ٱ481&,s hu.S}iǒ;jcH$s 0HfDh9i2I(aӀIMڟ~$TӜi"E*$4$48(a HR{G/& ]25tyDzg25|8T:3zCK6.Agb%? 'y[i5IGP 4JPq P:V;bZO@(NE-+k=qt㼾uk9ʰoȒ}h2kD/4)uKIZ%`V~$gdG/qɀ\N2E7S0 %hj-+" ۶m" @P0 /tߑ$I$mڴiӦmӦM6-:MM6mڴiӦM6mնj[U&Y 2I2 oۂ ;ʎqdwt#Оb̌ȭ$Imv y@gDDDDDDDBDDĶm۶m۶#"""""""""ڶm۶mۖ$I$I$m۶m6I.]i$Di[r߿߿߿3Lg:әt"HE*"RTvڶm;"""""""""m۶m۶$!I$ [mN;J+Қ4iҤ 2 u֭7n=g*bGLklGLk۠IncHm}lٶٶm۶m۶m۶mXYH$Ir۶m۶mSeUF%W09[fjO[m۶mdYo&f˿Eᙙ۶m۶mێh۶m۶m[$I$Iܶm۶M1m[,?333333333#"""""""={ٶmvDDDD#GJ ĥ?^ Y66At z,kՌ|~LAͱj60-VgĒwKP-3 7AB`', ~SA)7Jai>j5ۄ&Hu)V1*e6ks"ŰZ(%bmFR,s]Ԧ/]Y7Wi'&mjTϱ=%u.&hs8,`Amr:# (R]JUMwBU<,Pߪ"VT9t4tzLIbbݒKnN3R4Pϫ*P)Sfn(xA Uz"I-SxETR)Rmyb5^-Z_qWXfNׁRєDQbJ31xM")ivbJ>n: ,{ӥ"D/f@h+d|@k i لa TzQɇe:Жp*&knuP +Ge3 a` JY Y3wK>ff>뙣g_yTLQڝ(7I]LK)TiP CiIYsMnI?. ;. *X9i2Aٱ(Sn :!a /.0-GtXD#Y7ҤD^R q`O4I)/q2Yju]eN `坘JJV ݹM}&BvgQrk7jkjȸӶⲡ.^+-Ltm#RK $ttYHa ,UhZRڤnP(Ӻj5FP7ՕJZ*5U RU /԰6†UPv:Fټ"i=XU64dZWWqh'R MV[\Bh.}8h`^,З4`;˜h+j>e,HtL`!4K81$zFL)Id%SRG ,e]aTx34>8+lPs#> F8/ Hg|5 H-! 4f%O=σdV=J5)}JvDP=K(t-uzobvLK=%T gP= LBQ`4lE$2%Ve8+TnIfI |gw~D^(JUm(AF՟cU=JZB5NR*C-V1Q(^rWL=yaj2x:S io` sg.1-^ZZTkL+ Vy|jeu/Ӳboyu$(EʕA4 nnK,uPn+Z&FHV * L,zQuJ"S` ,~>nK)"=9K6 h (ܘ?m}6n%ǔ9))} jPwI<'R(jmj-Y [tHDu8uە4E<K[ݯO % 6L(ۤKmQjoRSdO/W1_(N]v9o&.-uW R]p3)eBbNʔB%ަCHƗaeT<+eX\ J&/e\5ItI ]*'|ZDF"pq\{.LGN$$Ӷ)%.Os' 5L# ̥̈́ TB-;BIcD-!GXy]JGh0ǑH3;b1Z0p/PPe3*IY?+ )ܫY$_wJR>e;(w)/@|gҰ|F U+t&y -yy]SK ܜiƋVO% pK`H(Nd*SQBATɦAP)u_;ⴡ<)&H5rCR/PSy)Gt&ɩ3/~1.h$Ҍ- N2M ]v`Rζ^2⑧YP4VoN#J{m&Ti)~~XWUPLMșbtL%UD0B@niA|#UR Glk6מ`eS4jҩAVJ#$J$'B?%W<(ܟZ6_WHśŐR~0y٪'&N}-]jvoqo:{ȅh!̇0'Hj"AhS4QDpZa6Sitn1vT o=B_xv W|6CF#Wx"W@*تf!Яx9&xI?)FkQDL NBo])"(ZEyLW>&9ׅN~EWL{fNVy#oIM m`#؀,3,kÀ2W[g4ɉY2)6qs).'oNC;šꘖMpD|;ݑ '%?I]3'L= }r037| WؤC PqI Ԏ e<FhULHgԨ8#c6dgQu![zlʈm 鲇W!ZI=\ؘ2"cI ~# n,UCHDDrL>]'i㵯b̨j,> ѮFm7Eg6gZe /Ȏ`#nN/f# 5ĤXrlvzߡuύv[b d6 [e= jH5Y1 Ѝ*c_)k&K Ȣf0=@2 :˰]Уj8}kBg.,yѳ;:NBɀf’yh+Jvv}7q('b6kҨE$/tf.̐Y !٘| zܜt1vu/}B f4BxAL2NvOl@Z' w SjwXԨ4 0O7x'2uTe5b%ʈ] dc@ p:U=.0HD/aaaaaffffffffffDDDDDDDDDD""""""""b۶m۶ %I$I_p!fMҏ #m|( Hpa(@8~_UUUUUUUUUUUUGUUUUUUUUUUUUUU5TU0U *UUUUUUUUUUUUUUmSUUEI$(H"&~8 @ n(0Č̈(bc4?*3bl! @///1 0Hl#$$I#4H#IH#4H#$$4li$I$I$I$I$IK$I%$HIiH"I$DI$$IR)II__^??> 8`` h@ / `B*(0a 0p` 8∷77777777777777777777777777777777777777777776l& H#LJNT* @,m6Ͷ6l666lFi$IIiFFFF)RM~381PJ j$0 0   DhC05'd & DoV%ՔQ!;in?tOd̰$=M*)fnzyLQ!&s4Y5^n=NެZqN45| O޲{ 8N9}ȟW1?̉s *ʞUYyA7:~C_.s2ryq*Dnt^S~E* Q5SUA]ZZԑKp(WCQy[I0 ]pҥ *ꪜLU ʪf%>ji) UFPz2 Ge)#*PY:z+P,GYej*6O/Y,XzDH0wZ`oڄ`Р_SM3)k\TK 0*rҭ(0,٪CE-Ȥ(ꪞ^< ʣ^JT^]ϐBb'ҡ_@;ViM4em'3 d)ح0-G1h$GHhU&*;4 GRА;U0 p 8BFAXRLq̅\h% Ti.PLjTk"%U=6HB !7kJ!!WzT& 6Lg,#lޔC n$-IW9$EjT, .كدAV0.9Cm uButBے M:>.5ܒKba q(tۙ%\Kt sMRD{=6vU4q8B(:jJDs@uNԖJ.N?BƇ[z S22K$Gv4/BJG-zhU1ji~%ɐ2{͝Q*E-nSG,2 p\ƣj%x3Ab[Q+?cMB*d3 , )zJQm(ܢ(&Ϊ 6oTbEӲ\kF@KyVƳO* ,:Y!*}戧R DzyFG< rHg9is?cSd9.&K<t'36Pӑٝ&za w4!Mgl/!1񔞱j2acg@$gضSvT aIARP-B$Zh]CHc ]bXJ=#Gv8Ndj,Br?ޔJF3&^)"$i(cj>*ǙozVYIx+VrtR"`ύWfNHQ݌ -HAQ{QݿZ, S+R*؇OUX),!"D?vRn2$ TYGe_"$@\#ꈍ qjĊ$X}7ػDZ-9Cl;5 4rU6U~+EL)P(A!]+rDцE< N)Y'[R\#RxX/Ψpg*'=ΩQ rL)J::Nav%G*)V)'pX9USFP),`Nj>3HERɣȐTdq\aV*4ŨHnf;K*JNpjsuQDKq ֱ(PR#nNJuf(ZP1mz5z`[ȐFQ DCW$$R9W8ˉBRLPQ\# Qj\XӜPPP=J?*ܒWLPoB.U͉ ZSU Tz GjY{d6@[c .,T0U-)]S#NP} Lr _)9S긖;\)cEGBTk+sSYP($ĭQˋ*܎*x+$U2jƉ{U=?g W^ VtZRT餕┩"QZ*)j/'JquzUPUFkQ;<ԁ- $)HAsP<r7S[S= #NmW͈:]%WmO*t/§aO9);ϯUtլ%d4FI$TtQ(} EVp,-R]N-+u"n ϭykQdazj!JR%[[Jh˷'o%=_Cz'؏H33I Bl;WP;y;Ä;?Z&[.7""Y綵Q4Z2k@_HӀP<3x U(`W\ Mg6PKg 4ȦMuWL7e =[S Z) \>t( kLp:d}VKBD B-j xk'쯪T`>ĭ9S8\RY-.`c]m:Qs0O'CiqzyX[=X&X:d u{su2.2GTX$>%a )xȫW ٪%lgRTB4ʻ87j0[Bu(QCSս@*uf~, S&#X[B䣶*doK3"}%S)lxԩ>ɡєmZJG)"$Z脜 Rсpquet6b%i+&Ah I>Z4:g0؞IH]8CEi8=ҩvꘁI?'xWUM\tW =P_}SUV fbp4,gŒ[NSZqf)k*pApJ} P+2NڿTͥbۣ׭QT wy ?4p v?8{Kȱ0bڇNɍ:wXC]P.l^9J5Bߨy5nڋџ~ixxxvɸ=!0sÒrhI*\ұ+Z!oY/Ԥra KR r8i*'7OKE-K+2PoAƼSy2[FĎp¿B/,%_ ~I.7B6!6P a.+~Q1*̷V0/HRE't5EH{<:3qU=ߡT+ʑ.@*mkV5豤TV2$QjO嘔!`C RgU1hV`7 ZRN%pJ% W pu5 mXI& ВҤ?^I4>y]}Xj>S,ǑYIi›{]*tS "!Hdh!!BC*4m;m۶R%UR%UR%UR%URU%DDDDB$DDBDD4Ùp333E("B 'N-$I$۶m۶m۶m۶ɭV͈b /wdmm{߿߿稔ݍ^X J1q J  `\DT( 8T Vm+-':}=/X?|T-~&oC "JycU<E^8J6ݬߑ.89 L%$L]jONKڀBIE'sy}PΎ_n:-_UŴˮ*KcTKIJQP1jEq)Ydu*~ naaS&QJ859OJy]jBv&+yg *F28h'q2Uf4f풦)85ͮHM-lNjt7f0g3R*fW-+q.lc(,WȢY gF!kJөI]e]=yMT<$gAa֒6冃+_M7(X(vZҬY p2( *n܆QC&$9Su2ECYHJ|oaQfJ֊. db(L^ָ^p S:*GVt/!vu a<4 %2 1&-@0A*@vHC@(@*h]dX/&@;hRCPTA @6I( ZӁ>t riԖ0d 4S- Ta8|I@vQiZX|PKtT\@Hϙ6W6.؂m @ hi`GAa~썵I x 4?];%@?#Ǟ2 Cn?BZA1 +uaʠ`a5j:`~Ms*FJ@X+FjNF@I 4\c}`p,<̞#c(d>ipApPD*9| HPM" V*H<2Tꤊ.#iVTf^Ʈt񊊗+;OyfpWTYsF;s ́j;\UEQgT>T{2+BbV̭zŶj:GVoY}rW ̘AWZ G3jO9l@׮sbL)G ȯ18MN hJgdGx#H=i?I=/3n%`%ϳgMFS%oےeFd=>wJ3$%\y" BhY4J5?S~9Ԏ?x 8Vȼ"%~q&=c Q(Sc9!Æ1ꨎ3Mq?ZQbyM#LY ~V`5~N1.WY~`5~y)beL,{gL3>vjyFdfni> P|PnD]»Jq哦y{q%i]mƏ~i53y{Ucj׀E(TU?7($^ TWvB+=V&s}NLT/`}*& ާWY HN2GXw:X*Xl>,H|PJqXr9PG73rZ@˒J%%>E?gNZ _AQBs6vE!*`}fP+"ϩMaોD7Rns۫1,煮Bl1T J=QwI >0,Јl3<1^;O>}NfO3u OcҊ<1|}tS4_9$Ey|qKRZl;t wf͇I<he'Nc'KVe/t]QTxUZݦ39 "P3k$/XP'wAvGNx:NP-")S0& EO>Z'NUEPoM>5MMWw+8N]YM&2"墒9Vhς0o w5q5>j&~KޮreOh6EkX򹢔GXlWrFg;SVp8lkyFmd@Jccv,21m_XvJȏi-11eQKvK=1P¿{+>YZ{bj6ˏ*yŬ[z}E!TTZ?ݠ{OoOCPRV$W9ل-Qqu#VNַjuZFGbv3Z>ls3d݌Kq{P/`c0f  ,X{H0}6C]R1Eqqܳ߰V1Y{B{|ط#޷&5C?#;CULUkE}0sLΐQg|i?@ ,i+M =3tZqf ׇ8fs3qMC`g*ZCjnD*rde*ziKeĴG|IpE3NQ0tjŲP!r 3"3@yH9f{PN&Θx Τ!iMZ *| iO`@#fY}}=DZ:0xai[6iGkC"-i>† >'N#^*RQ2fD]k {Dx$SZMV}[k'jjI?6b86 ؜YB'>HfvqZ)cԀ̰)Ae6f^i`E KEԵɁbH0Yz?4U5IGBtx+ {ቕPŚ~WBK$\~%3+aI֡[[WZ42"]8Ѳ.iJ%7U"ehõ+̂j pf(|䠭ky8KyJٵPMGq UdՒ1^}yRgctU47*i("N&J_j;x "kxi)P,ru ˪?ULzfA7{ WFZqĮ{aOy`,M22{dW&ש^ד Aq!Ѫ)p"9FMU0c,.mBW>)?4"vA$OB_,".b%b倘UyYu{烘F7`8TAqVJ)e+q}3$^Ң3kX^3|γMHXX֎.S ٧-0W+X@^;9 i)ߖY M|.F/مok-Eg3k5&+{XY]CAXSya)6" ޚ55*+?3vCut<앇DibV[otZa^Tƶ/ h4H\ sZ.} z4'R&A/ojY\,`m$r>xއo%SW>uϻw~3$+bl m=E>U"a>QwB,^41$cRy!?D"/f6BDS0.\< _i69P) A2؀_Mxk>`6]ϟGQCRM!y!Cf~Kusڴ/lB8Ls>q5n{+,xOt>E?Pl.%"*azT5e_0 l9;@w~<(*PNwf bEh >PoX'F~Z5c_2Blȍ8K~6dCzcI3mN̲ؐ{H♀7Qn2d@̾HG r r!aioRQA8` -\GK$>_*')b!Q9zw%D)ܔ\]sW _g{yDAk}.hlD`aӘYgo`LRBuO qJ ZjX۝]xk}w U7oLՐ\o!47NG9~1hlGݢo%ŽTC6cXEdBN&W xxwN_KyJ> o2ώiIgVB;h]L>P&} M8Ty禼?&Lr!O{M2*կ<јT{֧/_dC.u(?i7Cbv $B [c.1( L~L )D Aq.WkVA*͘Q MU"L!\1ఽ@XjWi1s=T܃EcP^S\A`ёlt'ю`tBYqb|$[?g[|HZoECz_4מճqz q ןP"Ddy7y="#=Ss] mAjZ=‰#B4`BVš̈́峵;,H# t>P糔Csya;U&uU3ųU՘Ͱ42l2[9M5B RĜFbfbrP@.,F PFU5zk)z?Qٍn4 /b`.THXQP@:v-Ud'.5[3EsJ·wPR)+pHzȩB7KŨ()FXj?RZzU0FkA[`4fWlΜ9ogB-NRROwF%zVTkTѭ )k)JN TKeB@K,^0M`$h:UnI*V?Ws--`J B2Iqr6ӊ0=f=^XPƤPvdV9V8)9kK];Qojs8Q́>ѲlnI2sMf ac"|s,iuU'!yDBA^xWl2 e5~c l\?Ysi{JnąQrLh%@% ǚvTZ=D;z~ѷx(u[۬XpM. VXVL t//VȅSO>5x|EDhcir`ӗLNjap,X]x:ifpy}=#X">,^7zk-E؏mfkM9z݇0(rՐ"H :o>GƦHDQO?Ux8D}u>']Yˏ#þ<ѷEY}/2$7Ԇ'CQ^) tPZ&od -ՀK/@MR%K"C.RZW]<Ϊ%SEo~T|Uy࿏ηTՍ_P=8W5zh( BGrs/1ZG2jpuC 'UySּzH_,Z=V,/nK.֙Oկ s\Xja)Ԋ˝@ !+Ryjy`:i9 RkFu|/oeZJ/;]Œ.oSS6Ko.iAƧ"u*+~]θK1,cY뾐/VMΔ 'w@!p ZϺ s~"w@ ybN^c^z Gek UjVpzu~Q&Ah/G#G>#O{43y>ݣlC\Vy. xyŇ.8OuګZ7a5.y ᜻C9UڝUq?L*IiTHLɌTT^ usj|bwZYahϭnCoMu)$}zD'aTxU0ƯQ[vڤ*\|~jjŻYdRlU|r):īNVㅃ|Y4M0k@"yhK RmŤԵSѾG M2]Ɛ|A(b>&ۨs튩BQ9ʕ#&(L)Z ꂪŞ(.b3H PQ&ֺKs\{̹S,MhdfgrWSajM.FۃOBTzQðdpȡ-o>f*h)A+BE\hU)QWKhjY*/Ғ/ X V7}T^g|I©t'+$HţZr[-?P4x@R\=aFR)=0PJ֨:ݮlQ/k6E*kWJS*wR8 JS*E!N"+ ..Q/tQhמ" RI8wBhR@ hA,Evk6޳\]!OQ! .Uwň9+dřѢ޹ǘ6Z/|:E-Wsw#, _MRmIa.*N1EV=mcugx65{X&5i ^X:- !/Esi[2LjRnU#%є-GEEM|=wuqmjC¾bX,jcHU&s+-giV` ..u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method3 5W# XHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ <% &i̇/:cJ"ҒB),RiIɤұ̴̱-3kTXXfeXff&"""""bZXXXH8uwu7uw-kݺIQIݝ]YΌ0̶"3+23"3TSJe*9*J"B"$:"QMʆjDEDxEDED ̌`ufF3̌Lb(ʼn>93C2K~7Z BAD $ ܀χaUAqCC.  K  D"A`ˬPPp(l>@x`@"8< CC@xH`: ƒa!a($"( 5RJH0@`q0pp0@p@`P0 :1.>Γw Kg9[Wo1,ߐepfK5Ԍ_KJ(Lg7R#5SlO_9ڹne]=eNE,fEf~T̟G1b:'~Aȼ7m'W-CF"Txլ~%#;0blL4.fbYI u6L/mQVYRڹ\^Kv^жUiQzG^_GRצ uy\^{n/rv^_Wks{A./{غVYVDz}I]B/˫ry _~^zAp]^.k^W. uy\^{n/tzjR[H65bfffh7_5ôzu^-_KeG{m[ν^k*Ug֩QA9&J  jVZوa]̖kXk},ȺXuR֝Uۗ-˘~EELe:cik_3l^7jٜ#C]Ʀgɪy$ lp雕5Ib)]Z写fS Nh VWm绚~kKqrVlIk53@"4^Z$flft1$.##A|ǮźgqD_F^vDQ _HaóUe+ ƳX*eKφ-vV/S韍 ^aBZͽ3&ʯ&q'V ٸLV0OCHpBwO˿yU;1h "A"[ɉQs\v- >f"mg1n| Mį6xJYvK.V]jd*B> ﱈ)a!F'A|;]X0A#~ i5GCC[熆zޮō*)j۰a.ХaN7Eh>DWXz;̏B|ܞF+*b ^`b^9 4;֐+$Vק [p>7$`b|5üpLNrp|p#ch~lUô84Iģ&@čL[S<4D3CLq;e_dFu,E˗?c^Y+34=Y$1v &YDGᛅn`{:0"3ᰝ.f5xo߱5ce&1-~wp!'K)}O#\% wjZXW"C2CI pt_Yٗ " N.Г5̢s4 ,/4401 LԿ^CnCL5|#^Iޒɍ5JoR;DNb>ㆠ"5AJEXW8^]&%"x>`o*~5a0-ykHk"8H1hff&J; 7piՈ ^w̑,: 󐭡g(} o^NDQpp0뭲U~(s5.34Ծ3<Sqi.q5ŽcF8?m.o`w8B0uJG5LyžcdI^CnQP [؃ D}){=qCVQNQ 8oǀz+Wr嗢?גrS@<@`_&F~€qCB l×f0 հ?Q;"Ǔs^$?˜0YEn J[BvuP*>nHX/ĀԀdժO항$fB)#vOj J0oNhːtNOb]> .lYqC뱆^OAqKUys i[Ch{ċLXxn%u|Ы1Ѽ]y!8܇):/Ә捣VW]~a}{.hƐo vi@$ya}p2va&<ѓ0|K 6p+o`r8t"+&Śu':9Y&gşCO._.F"R2DhjѤA8K><퀢E$# A;yy%C~ i_4GCC_qa<90F@אŐ0(Y9j{k1DaTm\m)0Ix󱯭W)s榾 砏nzC4%zӬbZ|f^CNm+v_4WA.ca#85> zJOF1htE W|^L6&NTh.;8J1^<"K<6y.a83i!tCm ~FDse:(4'7BJt/='A+o,~"&/mQ6L8 ,Ե^Di=v4 B+X$h`F\Mw;jҼ2q d1q&9+mSͻ SA&өcԪÊӉY8cs͘\dۈHtjb24Dp+MD7>0ѻ4Ie^ vvֈwqF鏠IE:'|qn'3M<00Lˆ֓@|uIZ'<#^FәU@ \|3]t@ei`o4}W1l\5l|/zY4Hc2~7įZ#4xnjg}L5G&ļzSt Aj@o,8URN7JPk¼>?;=MĦ&&EkҼ t0KogI}'kH#T6x‡ :LE&|u#>k:Tԇ,35ѩRG:4i F:,~f/L? MS^E7+NbJ^@ ^&3EzB8d):_7QK .5@wHӉ@h0g:v'l=BvY;txf&jG*k ͙&. wMt^Em+Nѕ0{Q'Ӯ…eݤG6HG6v(kd9sU"bnS ڜfP02?Gtey9|!6} iZ*o`ΙF.5"L@Xs"׎UXe* %]o&\,3hD3[4ǼðsVcΘWw}LQ3S/qǾwO04eYtnk,2l\s"􎮄 ?v.6~@E۶C0%S ?ݦ!DT\Pl3)^?/}3hCU{R4ݹ@^D{\X,SV4D6tiA]NV:/!|u8I\愱w_t[D-jtOK68g:ICV1rt4KpjԿhAMU; ZRT `Pv? )$<PfC>$5JZ*Y%dTJRI*I%Slj֚fYk֚fUUUUUUUUUUD]Kt.KD ;3:3:3:3:3:3:c36cViU*mJK)-d)b%O/F_E_E_DODODOC?C?C_җ<}    'N8q"$DH9D"A iCڐ6 YC֐5d YC֐4$ ICҐ4 9Cΐ3 9Cv!;d,C!ːeHdH2$ OaH@x00ADDQCD$(8 hp@0@H(  EbAa6mڴiӦ=z.V[}]_U_U_TOTOT?S?S?Sַ/ԗR_I='__=Yzֳ~ԏQ?G7z7z7QftwWpww׻R]#"vww-PQэ9:3"kˑ+;*^9B>ƙݸq97lݍwwʑ+8bTr߿ 8reX&%#"H( 4!`a8XX((80, Ca!'is1+A @AB!qH DCA0 @  A!H pf&($Uq`iܖ| h/f@DJ+;!u=yr:e=ǙD Rz DB/[, a-<eA)KgE =Q].zc(b%;zyt?1}Xx0ߧ iskTV{4IJ+vd1Ib#auq˺ꑿ3ۺ$cs*{vPDN=Lm#U\uuӏ~XHfwq yUaj6;H8#yNN= u|7V˜o9ƍ79fvPk17Ciw yA3OL4:!s <'G̟5BfD;$Eo!KOf̂s֔PCrP˓ 9x+k\_/ΟS8s-h4}R4>[nqjWZ|B /޴|2P{íI)(6g۫S2frHWYup,<ʿIGq>FYX=%ͩ<p pzn?3jRoj;\FsQ#f)˕`&qXgHDhe?7N#N׳`yC2qTӜL?#菂 ='ljgqF+O%^ wì,ުU(fdV-Ty1d&6f*&cދ 'D 3{O;3`TXDmMq E׈{(Ly9#Um*k{w;pì;wR̖G1#3x^a;1L.<εj%RH\z_> iy)1w(OpӝwhMFzv 1zG6'&oO5a|O37ҤlS`O>!*3YH{0'!KT뢨wA۳GocU#M4gM`pkt3~6 ꫹m.y %JJ-~4 &R53b[bh45L 1e:X_ eApbԇ.`NXދJ^`NV]6r~ H/|Q`YR lDGL({ɭ@N*%mT~%HfZJUBWCzXC) M%Ete{BhE6;Q7<>"vB!ɯ3HHR p(B+lwYv=+  +I@\+5 D/zq76hR+Ri[Η" Q֬SɜRWMF)Q5 _ukׅD_zp'\}lMztviB)"Hj=a#օ U4u "I[heH:E 4VٝD!v#;jΉoB FmZpU `$ZignweGj{e[%{QC'j!nl275:KuSkJ{Ҕ6ook@ve (LRo~)YNurg$5q%/%1_=EFsTjդ1 93ѕm1jBY>Њne/i\@nk%A3g1?4 iqISDI^;Oª;G\ 35sgSfe2Zᨕ#_2=OviV bvvs6c;jLɛkpXoأTw Z|}Wtd45ap0 &I^ ٦pLJQ=[\eھ$?F.lםGW_DO5TDPkq4_(FuN2I[h -s^{f+1<+{[i66G z?OԱ|k>Kjx67 ѓK* rΉ;:kw+]||%sFy*wx$ܚ9tרC)k&<Җ&'+BpRԕ f/]^J]Id7וdRJB(,,g"$`%+IݢPVԕĸy2~FqY@*i2Ӯ$[N?mqRIv%nr+Xm,Kߕd,mipVhy_Y")ӷa͒$c_9A9= 4`tL/Ns&P5˄5Xc %|t;2]09ਜVN0 &33$dɾitAlrr@h嘁(Lpu 'k:'ǂ NLw4e`ϝQ9j8mpP Lv*&( uyC^ehK1Q1P8̠LTN:'7\.DV#;'fݽ`JK:(仒(e2$d%+ p3PKzյ SWוDEv%ZJJ(g"$n%+ pVܕF?]^J]IeWELוdRJr(,Qø.OZŗbbz8ϙ@U&tN`UNNnX3; h|Qd҃GxSRzx_3p2`Jnd(-;W K,w-6?ϥ >)92ϤGc O*{3yUOMS:? ,ڈ之=vUBʹNLHh@Iӊ*l '?+btsO6;(7}N Jԛ.u ᚝>׺=b5oژ#ۤ'E%H|R0*zp,dz4AFGqrۙʌ  W 5W# "HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/k,v:c*А:'YIC_6^? )ֈؽv7eK.*v2rs1k@$+$("4ph%ѡc~yó*"AY9 a0N(51ꬨșyAeԠT&,2fm&HFEQY! ZլDT'*GQiR-z慔\L2Zeb8R,J"bTͤcF$訳@(3ǜgq; . i.LLP6LfEQ& άS2H<|xP <`QNBFA)¨iJ,Jm۶m۶m۶m۶m۶m۶m۶k#|-^/ڲ{k"|-F\[v/smٽsmٽsm]TT%;p`1Ta3#LRm F[;_^εBn.Fܰ(mlm\RUE MD$*UhŒ"4Դ( T"!юx0)"4.H4aAE@Q*+4ab@&@ rG9)fp1yGdR&2dhp @bhv-?Ƹr4#aaaaaaaa8~-rWsq݋vbc1޺w1]| m۶m۶m۶m۶mZA3cAdlym}{ ]kZqJ hT(TU [f@z1QQ5`1 E={˱ "I)ȄE%X-Ɩ*sȖ5!DNI2A\h$A;}}-T#+(r(&,U$ 79+j"B%|6cS%eVIL(*2+!0QL2A EEUG *+g<7ǖN "9a &"TŶZLJ¨S<&"c/z#FsD$3@@HjJX  a`8`0 B$ 0CyK(Ê%`[AM>{%H!M*lQ48yL([F6qìk]IÕ]PX(dӇivl6̚0 +fr-!T 5W!zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thyS 5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id236 5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y̾ڏ$0$il?PXUۈ(󚴴I e(((XhdRJ2s,s,sZjb)xrff""R!Ruw[jI]ޥ!!}hfXfVfFdFTUCUCUSULYzJUK*"B"$A"^̌̌ ُ1Č QhhŋzFge8_( @ @AnAMCP8,'B!AqQ "AApph8   $0BH$،@!! H! ($ Ev Eb $@  Ń  BB0,40 @A  D` '/ /y]+hehYK&2D"Cd A(2$ $&p`@40iٸE``44SP ͛~J |Mt2_jδ92E3 o{V5]# 9b_:j8nˡɴsf&3`dmwh4h:?+uvh܌#]); 4N#n~{zg]gէ..3 4͞>joSGdN/+NS%.ʬAe-ae%f7P1 ə=,{$f'l EfD"kw,ad meSг%L,h]f#$V :C<a$Dg/~?XtFdf?Xr`6c~hδea$b s2#,Adv& YDbe6&g12;؈ fLuY2&"}l4ccW]0ԌlJ lD"=-Hի,Thb2tJYPlx?7$Êl nzc2ؕ3-H;,dH0,9>!K 7plymVI:T- CrJ%,smA7XuLmFf0 V%_[Vdq6"ש2_F)9o.eʼ˪Z:j"D[Tڧ(ѷW,t-r^p-K ]\J9}r_<%۶bY4O,+XlRz|.+{Y>B ʗȀ/\ U|:cRt1dOӊܡ .nڸ $SIAp`˄JN Ǹ!,fZ"VmpD7cVJp-Bx[ŤH%!` dZDh4aeQ6n&׊2h;H&X\-[",&E.[H}$j%R35IkKYAH\4P`JŻdlicnֿ_wɶ&z?e <ĘOn^8ѱɈ.>" ّ&Y僧'q>@.gWҍ&É8$hplF*`R3j2'9nbK$Vޱ74>2h`u(fbz4]| 4701OrE"n`9f\C8 *$"_\.ti$[ Cxs^,ӛY70a,(ڭC`J$4]BkA[r|%!)1f% E ÀZ*1~\+l+:)%"7 )ic gW;eܞDd1R J 27 5AgyaMHX#BhOc5LC9Qd8;^^,5Hh6H6i"6 ҋp) VPX.1`&1Aly(y0aGK>eH[OsWmW9yӳzxpJAyt0l VRqE[MN*Ku?&]aGDh5Ԏy.)OjGVHUώ@LR ' @ZdX'K=VL4Jma˭l1LG?u¿DefFtb!+=9 7(> @_T*/iH!M EZfD/Z3 *4 P14_$W̱dOf B(O&=,XNn TХ1_rP2RƸd$lM5T[,+ܵ66÷uϾlT`_~"g\(PUQ "I|aǙ(D-KWszplj%&I%L&ĥ&$媔ϡe B`}ҴtG ,3uV0c:LY/̀ F= I jbse6l8 o1Pf2ϙ۶?o⭎<;HTU=uEڶl M@ Gi%c.=PC~{Q}}> x׈ F5yf50'_zF7/2 =׵[hU4=2i(Z*c>ۑe3f-^!-A0z 11/Y-QVC(e%(cIӾO!Q)QIOhH$T7Ѩ2BAH1`0(#!0B!BB1A_2"we :dv>Z^\vˁ%-9dOaEKOhĎ3B/Alm@p>OV#p1>5\朵=كxiW UFT"aalP,PDG6;47\VvqIUpp\Vt6*J+e! ̒R%aɩ$6Lnܸk*1}`3f}d=1S-;3316yS8rB{4P1_f拑U'[sƓ $0*4ڬc( oLcοd ѯ.ut "dI_*U%BH!TK: "AMa`UHL%.XS{fYiNFbe\T(@JAw`nl tt 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1 W n'6m;j_3Жܒ"TU-MC="u|)U~ͤ@0D*x))jjykh&< hHDC$<<,OL $ϽgyPL'9 #%<)ZumUN x\40 w#8zJRyyIBØEDBaz[JJ"c"y&xԄpL1@`N"DQ0qR 00hB$&8Mz,$!fQQ#Ahp$$DG48$NÅ a 7Gjk<Ɂ,΍0s]da$Yq҄CD4‚!VȀYrSg$h8<FbqY&||l@$ɢa&-a&Hz,Y Nz" ,4< yp44f0܈< %ID*T$5&=f!@ Qݶ@H88H0` H,,0GrL0nS42jZa޺OhRhZ.SR}"T:}U =Q>RuZOR١J~f?oi;b]Qa=1X?뇇uCúX/,/:v뻷zz)~zwvvi]"Cii՚GeeZ=] r9uWU !dyDzWgffiF{0ֈ0'|m5{5:qM:k \hD%ݿKz+װ厰PgѨqwe 1zW'O`ĹƓQb@pf0MǒQnXѫlk@R%hF, n >P·cKYI Hl7H%\BTJQFbhP{OyQ-E>zW Pr=n"!zd `}f(`DU+wZ1Vku@d!7KTEb/A+'38,nk2fiOI,2bҌѐ4 o#S, qCL:{=&ϯ0y%c𠑅_dkDxPst2eu=$-v#sQ-3m,țLE܈r$˶ < ouفGX5#E Y$u-ZRI/ 8akҫHvN-ksc:/LmIh)cS;L/KטU}t6mڴiӦt6mK.]tҥK.]4@08ǘS! cJ!BcL)CC0@H B20ӧO>} aSP@ $ B0` G8 KTT"RtY/rNMT ]ɵ؉g,Dt@E6C4bobҰ*@G}Uscؼj[1+R6a YDD<q◈1xXoV" @QxňlX'b4NXԛ1.F怇EOd}nK#]h%-c&STxtUoTT -",7寺ՇZ6J%" WUi+E}4 jQbF1#[`ZhsL7-`'f\9p EO0-j0hq"89ʡ={ǩW\1hQ"o81s5-`8lq %,b08 E ;-N0[dԢ4-f0[`xio0Y`h"b F5#[`ZhsL7-``b '-j0Zhq3 F-,J0X`j1iqLL-v0Z`xbE  i0Z`lӢ FL-&-`hтEk8!M2a;i\/6ѐ>Xޕ_SLQTj:}lk^cIA%,K ʨ|tT}p M޶(PheOcl>}sleEk6͗Op{rcB@9zriT {uBenƼ܋ڎś`O 4Ij4\URWnq7Wp G:7iTe(| *C(eK5 ܎# |D3)qtSPWEJK%N:eXc5-;]8|J웇2&fczF gq S>d1ec3{]7|=*.0/wg]3P>vpIU݇YH^[DSzZd'q!Yhr+'R>CNHP 9φ} q3Ċ¯$RDa/[&^_:6 bPabx^=w 5יuM+=+Zݒ `#=%Ԋ'^ު :L*Nn%M*R]W!&+gp PP\G0p  '}3c 3 ̑+4*2~qûWg c$Vc=CHGi#RVfKAȫH%M-Ӗe1^(G-#8 G(^eSWTP!nЗ~DfdkAc N+O{{Y)GeyR #w @᪾,x=V^1`,es/ъt͗ OșID~^11/?7ك|] G4F7Wp2˫_",~kPd[,( B壪_("Ylm42o7٣2ט?/3%nqkj2/-a`ދ`ľ20rLpYt?۟+#*M"UB5-bűL M+VbT1T'^ ew3 $cdЃ8ʥMOyA_D]:YI8׾L42cRf~!g/P>[#b s*LJF΂kB5&r%h#„b0sbod2IEf "gp i2?Lgd/{oih2:Vi氢 A ^oQq' Ro#Z\ ؕn'S E=VCiaQ9YA Fj Oۉ,9$ (xS٨>!d/ʉ)bU2^;@_Ob YDt(Z"s;/07s]FB^9h2X\`mh\e oA*ygش_nl fށݮ!tAOo1Kj6Ƈ-;Aai*/!`2=ٌՑNh513{6Z,s9Faj[׬Z>r@㥱F{xO,=)˨&ûV(13\c-OV٠ Cembp^О/يژc|eAy0p:LHڨʌT( ݶu#w&J rm8iq|1QdxPN#*{ 1{ٞV{kz/8NHhk #2SB0չBݖZV%(-TZ6^m PUh"sf6Z^+]F)Mmo~S ox*J6B؞kw d976.}2Cenr3ѳ:֪Icv 3)lď"l *)S'ON6e˚ ,(W~+a JdqEشf!d|"Q@$Y{jҬIvWp?Ќ߁3alEV1o}V A!'UjW'>a! -/,1-M&o;}mPe  ե˄;C0 3tNYξ`2͍F҂ol`!zRlpOT#FIoyRdt2׿q$Ӆȧv]>Jæ 2kXœo=^`ISY9_\:KbP$]IcP^ۺ;BC4he;{ ?a@$$` %R*x긠0!J*ҮH,\rWvIʂ5p`ĭ**[z}Poȋ| %%m [;ןno/sVvR;VX'PPrfF3]&+edW,bmp 71c.v,&!%Sppv:A |%S2O<8JM_Xr |kKj"X$:.BSUń름83)zS'F Wo$5BK}(I +fH%~:>͘!+_I$(Rg'aPلCkgGd8g/=AG.OEG#Ud1t]i{'G!݇,V6J竹` #ѝ*qxK%.mRy Ӝ^9^bb< mرt)Us)Dw^GT/.!.V{ұHZªOۚUkީgaO\KTMu GXj?cu*"*n9_d q̤%F)ˊQ#9r1)|2f-]25\ݪ_\jרđ3E.W`7CC2f9D%dɍU0qݳjdFzZZP0$<$LS@a p0 AaP8 a!@A0av"DАoH"2aHӎXdB11A;#Nÿ5KDJ&efZ>eg A vuY̶568uy*ʩg KfC%3oZB `b\џ]BQwM-s9" KcP|KA*﵉Y"vv0q9(iK$0טåLu:S\q/iX❝\iBDⰵ]DeA4B`jCf5# 椑;$Y8.sJ';/6%`u(U^Ԁ%HҬ$ү_ӌ)kNpN|$1lꛓENRd>-;/3ǝI˒qs&_T$$NJ գ|@:Eާ'go-8F!p*궂̀!U,w ؍pY"A$x$RXndEpo\N -qdEeE(" & !Gla3LQNƤ/kj+Pzltu a;f&nzy2B'$[4Aja`LN- +@3=DNf2xN;7':UXﶣ(GL,I$Wfj) 8Cf*A֋;o6 E[>=>=18`}H Zq,Dq̾o`#t`siyj.ș,\-G;FPI]%i] qD|/D h83-Yu FOx:A3VߐcI0@MI2J_q0бhew 2k@RQ#­5'rrI IpSJɘ0jz$E -crL-hNFw@Qw/a;|2me7h?`X[eK%n1 vGlf vdܿV?Ha1 KpB3*prcC٦.x8F/ÉbEN} B>?(ucE4 N\8EqD$8џI-f#c@lsBޢscIBpy1t[M\b zBju HY{ mДu`@LKOB1dEl{E `>ikpӇ%d0<8E}=T;J`W#.G+ tzhuQԁ91@+g E{_\!TAlܕWff0Sn]>8d0-q@R!AE-v1)0Gk|S f\0˲ (gf26-xQzm6>̽lTV@Б;Saf50// f[DZ|o*5򰡁灠-)hiy~y~9e #m{C}Np |mЁ&/wq\m" $AA R㞄H] Wo 0}5dj]\t:=7XȤփktDq\lhi*}+[| ^W=(DveCondP\VZWVVO+:[sHUlB.ҁkw g]KialGi(0/-q-pB}±ȱMH^= 쭃H~WAs$|p0Bʹ{E-kk87[[8P^'re]Mu[;[{J-,T%x ZY7DkzackP 4圦ds{cLYk܅{@QF&d-='l*L$7K媳 ZZҞoO?io@8+$d=`%qj+\{=8wL涀!׽xf} ˿!u"@V/]whN{ՙ2"K 8TMb߱~`# Y- ZWR:dQsk%L2h..Z8UaT$͸hk>v e2A&[˦Vomؿ3*fAԲ7dДQI&e8~j,PrmO'öVP}pr扃|@y4' )d3b83f73c6706312d23e6f7c52e8b813493e4483df967e564b1dd685738ef86cd0afa6dc9321f892 c292a17d3779c1055ca2caeaa6ff13ebb8e1ea9663e7e8db-68be-47f1-b521-bd3b595f848c