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 .5z"F$ ]/ UHOL-Record_Benchmark:threads=6elapsed=147.162cpu=244.704gc=21.798(/` pcfSp"aL 攊kp嫺fB5C~͂lJ ''zhŚ1HƽdeU=V 9)۫؁R愚z (/ _Ks,|mbڰDH LM }tSGfC+@:Ne(L&0e[8A.’"d>(/K,՘ Pm ??bMQ If)~~9 PȮ'r=˓3v&ٴ(G(n=ctEmʱ 0j{v_g7*VݝqM'^)xDh6m+} _+E6!"{iMʙiEkKmںlZKRK3*% ~WA;(S`Y|TR+0D@ f QHAÃ<`  x  `*L` , (`u 4`xpXxp`x :BCtjJ&( Dxa p`p0AQp@ P &480! DC L!  @`$A(PCÄQ. 00X1֏t"2bs:!ViNrLͅ[m]eHFytJ\ U~yJ,ԝ54ƣji"g\Hz4U٪L#RMe"KS&h{W$~1t-+O5&+ZJ[dZ}[$$܇d$JavjgŢIRR΢{-Z6QUEb*_MaW8er vu-ƧߏreZ|$ҔxcQ魢rZ{b6.yec|.W^d&w=zZ.N ";)UDn3(Kobp?]n83zgާ?lce39^LBY?1Y?g~*7*˕ٙ|4g[U42]M!);V|]};c2{lM^;;&#bN~qܼK\Ɩ^⨪HI0yy,dfSAR_D֨fCȻ\͜L/ooCl rwj*ػ}B4cCڦ`W]R5RFj4;éн!I 2{&L`{֐+GॊOIR*ɵ -[[C!ih>,N2pk's@ i%T s9H},?6*9:AD4h0Q";ĚClXy_%ĩ&o|h_)M,*.tn7ZZ^Xq/UrۙbUڴ8)`7r8\Gů@+=+S*P' t[f>_eïq嵐 1AE;D{kɒQ7 y>s -[&pz"~ 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 =jjZ1l8jG]#fontEB0#@ 0#8A&$0@ɆQs#o vt 'prn, WpGZ/zfTnr$|F!ls$p}xt"pe8n|+G2Z7<8$hrl9-ղ4)W  S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Ben   _ 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   CF;ԃ;(5 PYw(@P2ZԀ2h! zhCzѺE CFJ C"5&w(5 1ZwPj@2PO*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#!fa/r(l8uJFT4;q` 3b (F% XX_O88[.&N zӭȑL:>ъ}G&.ށ 5J'zS>qHA2z2KJ{dd.x(H!A2@MCvJk=2b+N&ȐPZV2z ͥ 2((C*Ƞ,F!kPLce 2>(+Id+f!vpB5TjDd,T*]KA ҧ %d,/fSa \ ÝҙZ b 2(dV cCjG u 2-41[P"=<9s)P‘ {*ȷV]1S_3}xo8{lgfVO%}14<+/ͫ?Ň⹗[}?ys$@өB*Lfa+{"!S,1ǹɀgD A˛u?F D~,=ࣼme& dQ?F٬ls`3Fe\R?Fn^&0b&}d\+.sll16nCR`fd6Q^_0Vws9l2('v6.2zgr2Yԏ16K\} wvԏtzIA;XfIq2׊˸|;|_ې0XW9\ >˘|}D&x@qt&iF]M'k1.#S&G譇O BͽeHpE -{[ה%{k+55d4L|ƨ|SԪ 'ځ"mi4Pw-\J2oob'̓淼H8G`A>=o-xȎhjG >$G Dsvl򄦏wM[qȇ(hAvԏ)t̟CT4 DHN PWgόܟv:^ߩWg8TC+|q`A;n sTw}rgʖZx|Y=O8gPO8K7Xr 8hN,ç]tLSp=e`u~X9ci%w%VjO ÝÅvt@9KXK܁t\Uq9J |s?=frKyZN_ǝ;Ñ?j ^:W. ՃwbN9>mɠbTHv)=Ք%>}}-'eBd%2Ri%"hG#)zW DmsT@:FTh\hl YWQ-86: #5D&@itEHm@!4?GU2!L'64 %#vyy)AO:uvK6 :kZ,q Hy" Ev HJ*1#PXV+"=N!%2J"1D٤J#Jȍn&@h]tI$B+@zFܚh]l e,+s8se윜C;HVK&bBг K.^BnE4Du4I-"mieRٸNjƺIN Ɇ,GQjw 'j<'۠|> Vȓ{D؀U%܄ U*ZXDDSiވ֥?D0oc! vR+N۬UB! A{kj6cqYTVݩwuu P(O0D3mфI$>%Ofc+>,fLXKS?">ci R`QgBj'Gnzi]bR\r fAl|Ⱦdhh觓:D\ԹtYjMIч:Ikz@Nw k|-+5;J0ċG)4A*lƆ;) :J\H;Vjv^&rE [ z;) Rl}W&UGڰfBxKc9섭\lҀc٘a8k*r-#&6sq a!3w* lh+QB]SТq\GBBXYqXg(wpoUO~džE!:nbc z}SIce܉R{ <݆;Eu "ڏ;:F{ x;*ccꃰT{ÝK),VUm}dMa>Sl ^H^<}8W^2b̯qHj߻59Ίx fk7V$^oAM<0VDn6& =Zi$^s>"pa' =mk"VBWD.&14|WkגXEN5^i05<]V7n)gCXI \,l/MP qUCH9+{<$-,%zjʁ"pm4iV-Wj"e۬\ IIw[2Xm^)o㙀8e{U "1"LM6<./i~5?R&Ҟr?e (D"HHU"H$(H$,H$^,acTUUMbI1HTQbJ%F,Q3vyObfodl K$D@a:MTdDPb 3",D(>90j,F/j97gxZFT1Nx4#ސCT|b<ə# SAlܚ}.%oZ ix"Sڹ_Nj xQ_% hBi7ߕ(wǬ}Dݴ Qnr7-ȯaԸG+>pO<97xw$ɫyۍBlc);2rԊȪGnUy7EvsF^9 >3p{)J"'_KZI vK|ͣ {K* :Elc);NӁL9ْSI>!7Z)"I> =Zi{+a\waGZ;~LJ%Y!%|So'@mPO]jqkʩMCj~^xpOU# gqm z}HlWT;VcTUS+VhFf{>`  ; 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 =jjZ1l8jG]#fontEB0#@ 0#8A&$0@ɆQs#o vt 'prn, WpGZ/zfTnr$|F!ls$p}xt"pe8n|+G2Z7<8$hrl9-ղ4)W  S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain L5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/**$@9wl  *bb pp2 ^e 96&ȵ^k y/A!Ab!R3B!10݌:z_drQꟺ+JLnġ14WWU%VUe2"vldx363SD䴭m))yD$k:I$d'! H¹#NxwB3affef#ef4ưQy1(1&1UUfWUUWUr]UxDdh*73Tkfj+k[ZZ[!xOQ <@CA=(P,X`pP<$T?!!B <8X aVHРH0~`xP  APа @РH($ph@! E"@Jү++JR\J.%ɥRr)$KɥR$)%)%)%)%IJIJI"%I"%EJ$EJ))R#<#<#I$}>I'G?G?'M$ĝUDDF΄$ $nP"1RH/RL0J$ R xxP‚l $hXp`  S (0pP,4-8*ε+(lHKU.2ȭމUrLP阺OZh 9Xd0 ?xgR_=p[Awg5u31 d}RFjJ/bld[EK;6T 8xhg)] -(z'S+[ڮ_zR~:jբ$4TP6(H?@^]IGط;wC؍;nGXXVGgwB`S԰?|;G0y.FՔ#ə*<\sc,A/ĚbiՙUBoX}t]>YlRf6{u`0k`cҞo?}%;ݚ2\4}e!p3kbe{1ݶnda<>& lZ-fbT.˫h 3y'c9Wnb<}*fkVjgLr(9 [g:vgL3ڳˠh̽ĜXgHFY*YNlbd^bIJ`)a꣤afbBbs6ayĬ)P[a'f-- :1*uJ)HMΉY+ki*nb[TCa/qd YWZX{m- 2]m[V¼ ߅xf D]H &LHi6p#44H9K*1sҼ-w`qB m(/ SKtf1[WqEc]uVM%Rј CGٮA֠dtBkb?z`܃c2ט#*h4 ?ޱqu3u]XVZݚ -1r& ?ނm>)uq`[Zݘ ScC X;|S7okpikZ"qF{u] &ݘyk^X b%N]Mzz9tOnuYVTy,aw7+QsWjeuc2/zMU QYI3ף"ԭ.(׊*U%f%Tr5*p΅hu#.4 * yf, #;] 0Du ߁B?4 {)YXTm?m홼C:N+(iWvƺ]=HvST2YV~F~Ǻ )G(PUqKO7nGAzȾ"zWV??vcc] )#T,g^e)n,gՃ)g3@3_=jgl nw k}%~ ̫ۦ^?ӷ-J#͜]#!W/╼2̙΃C::t)]Y\Q~iTޛcߜh1H޻O?[CL鉯9 `Ņlfsf/BQ~GX4T530pi1,BTթ'+70. X,qP0H0d (h(˲$$Bq;թeԜ9U$IIՒ뿅9:KBX@IP(0(8@$G9Z*m۶H saKo)θ*)SG?orN CX2A| X b(b!*<̇ZmDTp|ZD,TxP*e|mzpGkHSgH _Oi:΀w#$rcIkH_[l+b!A_(T㝂{~V9}^z0Cqa7Ciw43Z!t .eެ` m 6(#H<,q#.j5qH?Ī׷-DZ=D. A*a;3 Cxv`EPYťFl5:|g2d6k}o&H,&ks[t!DKߔQn&;Vݔ4ruj\a['jԿGrPX:"8*CJ j<E0|Yw7L5]$] X[#YqP^ f*00LHPV9 X Y`J%Ub §UAipË@S5Ԁ,;QeCźe ;ɻku| C%.7f#icx}w9ơ#~>1>2<8cpxknxM~/N+j}+8Y+h^p5$XuȤę'̎()R%.hPh+Ԙpa`(*6xw+*[J'A,|S ?"cU}699JA\ Y<<5V@؉w (;Xqڮ$hvXw|?2}* O:EIe]u7RuoaW\AuA#Tkuxп81~TrXraayzT?uC/2Lm _aj8VPaƮP$:[%g\tk\X(:HF22\4.vA\J|uݪBstۚiwznF1{=zOB2\g+Qha܏>m2z΄fYI嵐tksě*#Ac7vх6H3L!#Y1 T}Sli.4T";ޕĹyMm{r$ˉidJ!MfWRcDi~'!]4X6廒%VSFdί%wŽwfoJ ^0 N5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/aܛڸ!@ 9wAWAx.q[՝!IR:v M1$C1T1D Cp"j9 (LPh"/HyqlWtwBwIݙY;f1TLLUSUWuDdDFD4DTvf3tf(:3љkkmږjN[+""R cI$#8ɘ<"`'޵wwDwA3;:٘MU5ja\UWELDGdgDDQ""!Pff!k{mymKCm{ӎPk"_)D䠉GM ,PP X09@ L@0 ! B 

I6t%'8u%'sJjHMە:Y˩}+t3ɁsBVXѩJ1ǁUԍNW"ؕGbQV=ߕ> #+_tJ̥lJC +gv%C{JCJaӕ:˩+Ʌ+Y[ܮ$>e'ɿ&jd'k9ƴ䛖%/4<ߤMajR3=uL͔]I˲My%ds]uNxQ],wgun|+I*u>\%ކ.r`M:^җKҥɛ5J.IQr3%VI| G6U4)]OvW(Y.of*iBm$䥎 %쬒}URչa;O{]DwN1,XYbw%(63x,FM98FNO8eEWHKRvT4U,SAjRmF]Q( N_=2cB5"}Rp5d/YYg@XKbA{T]֑=d ?!h:(Vtt"Py?ĖeRut' i!"Eօ (A;tZf.{ef@h([HAP! ?[mlh|aj!ېb%)9l{hH=E<ٹ?C9 ,]Ca=۵~L0ARF]5;*EI߬ 5TCQEn h!8Q w+)kGڛAi[Lq(k!邠7N sxiZ~i ϾR)aIL.aɅ03,o6T! x7D +#! q},]Z$ ;eU_!rzC{t'`+_ͭS5^ut[Wo)iه+5Nf'o.|Bh?]3YBPk;0ħ[-D=zG;1>Xvpb]]BBLM (ڕ.l8B fΐ@Dwm_%C5Xhwn!aV:gKGQQ|Hcu2u=9)nh(_.E2>퍷a" [-;@9e5]\_|vT:ĒXTwԲ[BUN Î .]˾LBP-rCp0BҭZըnh&;dRt ;0NZc -2 Hwo\' uBC n]aΰ=:K7< ť $LdrP. R=0Z3 hp ln#}:k:PO+I ɇ@O?t:M[՜N!Z]羪D!KeO|/| _`?_~}O>ٟٟٟc׻7Moz{sx9,7,7,7,7,7,7oo}[7o|~~-[mmpX*VUW]uULL ȈȈDDDDDDDDD#шFe˖-[$I$I6l&lv!B!BabX*V]uUWMDDDDDDDDD4S35S35S34C34C3$2"#2"#2"""""""hD#і-[lN$I$I_____OOOO_ED2S#Z"廅*")B ` H Hp 5ԩTu:U*C@&h3lf̄)!!!6ڶm۶m۶%INNNNN$''/䃼|fD"%hF$ CB~~~t&7ʁ> PB | 0AA``%NZ/@ ?kU4Dri79q5Eb,{=;$W1B%CkRR]5+fE*@-h *>2-1DvЬ}Vӹ7ۤㆈ[D謃krqY(6v {:-Aq /.)._ @7[;^UUDPlsT(oAm^W~' [O!N$@TD9ICLs)WE |=]H)5pTZ43( M@ D eK_hʍfA^k@@d*U5T[iUcSWJ&7NP9Hi&G4}KBcL[ Yl0iRvRNL5(>]lk5Y]}o GSg[%)?gJYT^=WcWn*ZY6jSQW)^=oCWg"*?lVT+,S)< SzFGwQU2?I5gFCہ5~Ttљ>YqYՓK65&3w~΂dNOj,$E7%ͤ(%q٬NDnӼfɩeƪ 3=iYfCefgl+ T2idH '٦dcT&@Y K)KW\ 0[KLmU6RRR2.QbLK0$KT0uJ6BddRE,OF{-l7ʄZs+vR-i%N<)i\@IpK#9=HJ/4 ^J>d9@dۤ{4[K}I~1p*NY~'jW_\YkHlk_?35?iB4'm.TfbLLpMɫ6$3;7Yggqr&,fRLԚQItwS>yfCef'lLĒә&lrE&K0ʮ,xɥ& &dNsS]D%\㗘r_[e").yȢ̎Xj`B$*liӒ;V*d9ɮ" (NMƨRd%Њ!HJdX}-> V_͢++dJa~h\)frd"c"%><_얼H#GZm}m۶o۷o߶op^tIvC&TC˖,o۶m۶mm۶m۶mK$IT^DDDDDD$"""bX,Y$Y,m6o%K&/tHD߾m۶I &MDDDDDFDDTufJ*UJ*QD%Z*.Ugf:3әt3۶mamm۶m۶-Y,Y$K,)"""""""""GDDDDDDDDl۶m۶i#ENQ ~ϟbC߾~4ozs Qh DC@@A@#XQtd8~}ȷ w"܎P1e5R,6FWܑ*h_2"қ 9P@KLZ~عRS& |b!1QP%.b!—7hрJ+1 yTT{\;P?f_'-d jOv%<,j"B&'V~S0u$ /4C/${ - ZrKPW=JԷڇ(UX4X`t@Ld M>ץ -Lh{քr(SesDnJWIT2ĐRUW $xty3(q$)$&wjٞNqzѯt+U,+ /ńzgKd(P@J9I>/|#hmF?f%eEWvȬW"ˑّi!It?qm'H$0:SS}JZ{mAd-KkV$ $]EOh\(gV̉"IC&#MgNM+Ǔ| ։i~Z٫œlLl`#Y*K^t15ABxaIt&Suݒ:>{kM{PcAJIGjc@٘Y_&11$tJc2KS:c̘D*1oz= Oi"pu)1 bG\>Aq˔k[ΧH;e*TI&%^WY<ːᐨ9PWY9. 7QED}?swͦRBՄFZ.jNdJV$>ČE݌AirʒhIZx^lB Vk B}ST xIpKAX$LK#zJ& MQo'0s&uN' UUS2-̢: H9 GҝL_ Ҙ 6Oɟ}<cz')ô(.MLkx8 S8OPZS\J0e.<&cGΔ %x&2$'-/90k^_4'|i1%'[OVRLթ:}̚:9U鰉bm~NJVd% AŊa JC$3*YfdZnSӗ%к*R b4vG}>E{ReҢ6Յ-`2"9A4&]}1骴pcz ={Ơϴ)dA^I҆JL7V=`^^~f%ߦb+ P'$ fٹdbN'/Sx3iiW9Q#@$ΟIL[_NkC8K'osʰ"Emօqy#nZp5|`q) 4!wOܹۤYGIG@6UFyP(I:GR9h=u,O< xQCͯ1x|Y)}X1xJ_$mxvMQ֪|Hx$r cz*8)d:2? 8lچ!Ꮧ 琊P$-W]>Ru5?nF-ꎘ㽧0yYaEYg;^fǾn˹"I6z)%,L~ VhO#JX>Q~zƾl%t0Վӕm1t۹IzqJ3P) ~Bk)8`4XH %thj-rw-M""fڑo""&0(@A@:әt3L۶m۶m[dI,٭ k֭[n"T*R$U$I""DDCC !B!0t C`` 0MDbxmĈ=b6ۈTb$qaܸmܸq@3333m۶m۶mK$I$I۶m۶m&""""/0I$I$IhD#F0B!B!03S[Eji۶m۶m[$I$Iܶm۶m6E$I$IR8B?"!"!Ғ$I$I3mGnяZrDEěi+r"1(ϴ$^Zzp8b~fffff&-">fffffff!3m8LLvHw3ntDB!HW홵V)%;ibV3*,?jqLPq1|׉#(;yO%qdep]ٳî檁:.zTy)ñUӬ1U±TJmu4VRoS%QaDٞ';JA =w|=6)Y|u 2J_)*z|_)1==# Oy-g0PHe(˳:+ 枒< ϐI([OL2爹MȩaQuŴtŖP?f#]QcĢS„閹FM)hlhno8Fce 2eRJ$%VV0cəkyiJ5FCTG)'S]_d.e3%u5 ORXC%]21$'[TɌ;f=~4L\W_H:٬H†$8JVN6Osp5 vVc_YK-׀='q50\#/Sq85Zw+zkҭ1[U[\PV|umUZn[;֧p:iJ:; X0{QIVHm)(ƴ~bHR> 3f $(!E%l&6Sc(0PΓ1}7d͍,>?NK\+S>?½1o2Q1k7bݸ? 1ոFB!@5?:Ϙ:WK蠨H;IVt% kMS~ݤGO]D)`Al|+]Y#05vjqe c?U5#MA2)R%eAŜJ%3e䯆G^q0 ^%4Pj0qUɗUI,tJ+f d3|Ca6N:{HېJ+R^QvPm*`֋ѫ4mfJB}WTյ>=-R{gKI[Y_T3.N;Fdѩl:aNVuUmEEYZ)Ɣj[QVZB(G+izz^WhUUVU=UNk u^*h:{QVB(Wz{^6X(<25CHĩG6%8B݊)j`:|’1f;xbUL#3u5W1PRR}؄wj盹Y2+yP=fJ'̄-G_-!SR5,YUr6U{&}fȆI1yinMWH4*f2t,,}S o5]XVRa׉$T</9 97N`VqTuZ$1]`՗( nC22C5*`;W2ɑ$_R牽q}ԑ96dQ%lzҨ/XVЫC!`qhH)ʙ3/̘TPп7iyq3yet*'S^D- 6œSsW )tǝZ8T,"?`E=<ٌ;^&%Z`%KU0'u0ҪX=&p&K\LYt)*Hɧd^c?-S[C.XUd*wLf+(Xz˔:[w4k5NIdf<;˛cCN 4 \fओy_$h}D&W2dI6a&AqS,Q2N@lclK$^׷OU"RS @:]NC]N ;(-.c, _Q^EeE%z/ c%.,gK^ԲO%ku!PRiuBCC1JM 7(*FXF.)Lsʼmb9D5W'UbZ&EgCP+hlH@ӡU1VUs z*,B]6*It'Vǩ@62 BUwZKaW #&M,DtJ& ѯ)[&3Lmu)/uj_ʀ<N9 C Hi&UO9iuZ+X%9؂/LtoO@R[YH儺$;SiO."M N2+$&ؔz# QAi!9ج JQ[2̤jIE u{tRM#RIﺗh}z,dZBW JIBE]">3ј`~\)uۺ 'o}ilr*JI3z^Z&_)LS4eK Tʨ/P,%Ƽ ԀTkVf,rbIz6\-ҨWÚ2sfn0ajβ*vY/yy5 2n488'n2_Y'<[Iﴪ5 },Tp`8qD 4a;2jHOB7'xf)Dd0nJ+X&%M# l=H> tĭg>?z%RGD R7L!3%Z6 |_\et?FOi$m/N/ k'Z3y&S+ØiZSKKdtu4SE?cx()4xehD/j`suY4 )(ixT=$R][)ϼ$@7HNC۩ﵔWvzI[$X) d#XUe-S8<3tj9 ̔FZ<¸VWިl`$CP2vYO"劆hL#p'ER'dtd$R|fQƗZ1N !Sy%n0gtfS@Dr@J$W5fͦm \ ~h_}WхxPQ!ˌJFeN)Th=|ѥ/B=!77A۶?.؈AzxogO~NZϤN|xkJw[wJw_#(QR2dq|j..rV)战x}:Be}D+m.1wZOy#҂&oU:>Kl*}K\l X90@p!AUM@B"lEt H>+)קF*mt`dr͇ ®!8{*%'Df3O^KIFv "p|c $_sV3HK~D6g=YYaNd=]w꯿JRh: qSQj YϑJ`]1IHQ0I8gTVL]fQEY{ɪTVdI(G2ɒΓ$k ՞J UKV6Mf~^@]RtOF7Θ!8^pF q$!)z`vCķMdQOUnipfR9ӊjJg>Oq}HLd 3snYFRĬ 9jiJK:HEЉˢjs1Y՟L"?! 㶉\څRx]oŒ)&}Bf3?G-HwrAFaRb6"HizAD!o43hY:chXNH8Mb6OfΤ >ȌG&g`'6+\noFpB#༘DT!LYv!ҷR疤bHKQDՋZ}:`?QoKy"6]JSV95K\6ff>&@}<#@]o'O""ejUslƞ$FMA$iէ?)I!?ꎝ@z' \zc `k 62Qk'B62%_$+j!B!B!vmJ$I$1bDdu$CfBd6yDA@@,@` A~խ$----IKҒ$--IKҒ$I$IBLd""iӦ_U:tH#$$I$I$I$I$I$I$I$I$I$I$I$IRUUU$iIKA>3ZoZZBMHC 1DMK!BDDDDDDDDDd۶m۶m!mBGE3Fd#0̈Wǐ%i 1c 14̌f4Mc}UUUUUUUUUUUUUUUUUUUUUUUUUUUU*TPUUUUUUUUUUUQQUUUUUUUI$I$I$)($ 0 @h4 hа`Q8!a",m涹m۶mn涹mdn۶mn۶mo6m6m۶m6mm涹mnn/g?oUM~H1 PJ >  &!x'd&^L{ hC=Mj֧ C84Gld7bFl,L&=q^ܘlV$ Хzp>>dqRA` ?g{h<[0'PѱWhTg;Wr1=% u2W|Ont-ٹ5z4 $(/b3[RxՄsZR>E[+ǥ8jy! OI^іOփ3:?MahD9ɓK-i.,i/B Zq!G!~_:KQTeHg:RLr0"- [dGN09?Br8W㎦,!QC8B1-B5Sx?RDHhK}GА#!5!aؘsz 6=BH!(! wݍY7#$oGߝꎐ۠A" ?潴afC36_ϭgoۍ>wĮFiH3rB$fjyH|ƾ6]qy>hK )6%Nؽ}0iSe32מ;TBg})!8p{琹+/#6Ms>M픒tG$eVdcIq;^AtWoL |DVr nCAɒ<8ܘ&.#=c}L6Vt_eO虞I8av>Q <!~-B8"#W 8(t.mLa/rB !QԄJ֮ڃІ ߦ m?hU{+vN˨}|7uά#gRN%[:ꤗ?Y8SU`nt R V_ɛԫSUT tʉEXh!UTDW.BP"W X~0]]>Bc#CƔR/Ae:BRe⹛*BֻUy6ەqTez[ZeqFejREKjyC1/ *K^x*I0GiiRZ#Z6)[%{25VqWC9SJQ"? _sDDR_4DkdĕZS5S+ګ\PᅨY۝I0dAm *_T8Ʀ=6W ԖXmTn$ks%n\7~Ue8ؕjf[MxbFܫvMz>AS%5XUc=FBɚTqv{eV"I%m7VFIU" WttDK5U v[P诏U!lQDžtJTHpdjD(*[r^Q!K`E6:l]@u$Mes?q $ [g)Nez.Xm9l%8MJ={?) $L!n-AQ!L4I ƩǬ.Gd ef6*䞉&7Mufy>K*-U"x4/aG66E=)9WBZ|RZֳo2qҰl^mɁjXnKf-r+~R{P7ss r`Mbc5Mgr۳GPvq>!9jJx0"=;[V6xߏ:)<=SjԩR-2#yycyU@ tj]s"-jB6].tH-S"eIY` UQ>Y^7H)fϨ:.2u0K[ >ɤ.0ҳ(m܇kO_ƫC>D`50KufTR"ZZ߼d9! qN}E}GSkWe2ۋ7ۂ:@B>lsKnXaQz$[&OlQҤijCLr)g Nx &2X,O'+Єr&g =/qJ_Y QbfPKgpxO;= >٬6N:F#sDlRNU ,JRN뇰lC3d0rd!#aqҴFlqXPH{>U!;/C/S2s xI_I мNIbKclL æx`,M004HG%ə6NєSC:Z%L}wLAkAlQ Lč ʥih3d!ғ%n|ȧXV*Be@ C*J¥U>:}'^*υͥۈ2rʼ"ʙ\ ;|H8eV{ ]em}L2<]emr&2BF4r$^׾BƎTDH: )u(D ꓮi8ɔ%ytIߦ!]Ôq`8J* ʚyeX ;j=Hze^{T%O,+m JΠPL |GK HL)TU%3-Ғ_?o[%7yH[r hEZrdimf]R-YUE5rVʮڪflh淫%T.zUۼyy[xyypVuT$cUEX0 IC3klA."""""323#32333ӿ߶m۶-$ɶm۶mI$I h混f~Df~{"޶@aM&Hkrs!c%u iB ߶HKh-m!!mq!m[qx<'Ү]+2l[|o!> iۄxxC<x#G<ʼnD'ʼnDq8Qĉ">ۡ%E6mi9D3-@Ӷ܈O$IhfמHHOt"D':щ>󙙙gff߶m۶m۶mBD,-$IdɒdnVr6Pi-E!jx%Khfx$9[%x#qCs .]M/X KAr,   "tlPT( ,xP@@TMK+ TT nHɽo')h ~iu;ERUyLr5) AaFi ! O1[<$*b3LeP}Uy.E;؅TϢt, u$6$5Ў~HR,o9P*X&ԣhmLJX3 ^Y'>pv_% &^iʆ:\yX\bXef")Yqp]M0qP娗~f9#{/\%ߗ-%u("zu}_#gqyg Hk_iz:ù8czTUM"BIoJp wH$$kq\F2H7ӂdM?-G`ã)qu;V*w:c rR\h0J/N9RU Y,.*?(h#܃OKv=ئQĤbPG }d)AUT[Oq zK\r* ?M"ǺdOe4:jRPF8Wŷ Kٱܧ*eqz6wO5:;[dcYɕrX̔},wܠ V3+M/@"t-@yݰ+FSaPH((e7e%@1B-b(FvHd/on>ZQ@7V({CN.=im 8]m! xITic(q*p|F2~Aϣ=NL|$_g:n(; 0IVQ`×#IceÝ8[xD?2 pٌqm5?Ag~$*s#6BPVb_~>O&"gEs?eލ0^  ^Z8(!ː0Y2*MvÐ7E8ЊhGjPM che:i2Q:ff}\4 +ݟa%]C&QRUWQݠ˂YbH~e:Q?fm>H?鯋,dNZ같cG+i]("s?TwWO#:濎̀ 5n ` GSS?h$7vkHTi yB) $2D?j#Gq@6ׂcr.'U/ߏl:OcEZ\Sz?Dٯrv?XG&~DHjKԠ!xT`ѶL 1A~PMkWy~_.".T~­miԡƎuP"Pi誌ڈaB^}+ж3aiD~f<' OE1G?~Is`,Gu &D&Թ l{0%0am#@g&E >ζ'.{Knf%e!b >L̼y0CLXy{+n#娥Fg|+.y!jdAȏB|h[6Bp? /~)O`G5`֩JOH9b!p?.l?w,d(T<~&DW뙉bZ'2~(O(ny^X!?obߧ `$|~9/>`^(~㺤{ Aȯ]}dy>~fgS~G]V =POp>*}}&KY]Kv s? P PBՖC,hh#8SMyS!|u,fݿ`G|S_?/_R48Q>{("w= L)+\ %|6"/+ӂe6 B`TM.銸%34+`˲hu\ G ˒bYmY̆`8 k`ÙtlA@Y޶ )GfCP`Ⱦ @矈k`atiSY̊TZn`Ѭ ZV|L1JK0VwO2;zBJʞ$,$Rlp0>hGvg: l`4A\('";2Ú "M9* A\(E[:FFRԛvɟC9?#GQd _蛖Q7ldL3š'* Z97ث*"&Ld D88XN/U/ +_rful *S T^6dٙDZ1c,Km"g.g'"D1c\m{؂-SU >x)Td!:{цn{4pjT@8.r-gD0}_=Ryd3@Q8YFxf݃"ďP:@oN/ #rzTiV ZVXHJ f Ees3HU- G-j@N֤)AK  Zct\**.fE ;s5Fh?+-xc`8:7T`BX]vI3ӂ=JIfuekhjP5: A,iu* 0!@3$|@3x1ruz f؄GZn|h!ma!fp@Wanx@v0`C̰#^wۀ!$}oot }=V 9zh}uvDjGhЊG#0ӷ#jf#I{jzb0%ؐF)#KTJOR]e+D v2ěOe@L%$=+9i4T"EqbuF/6O [Uw 3l"}Xwܕ֕4 f z6u[ $(M}>`/éfұ3\ ?l^EUՎ^Wxj|S@YM@ʞ#_7MCZTgi12D/l/ JIRRQX.Gny|dΪ'NY'vwWIKErVilܞ-("*z/=᫷ w# ASQv1(C-ڑ9/=mPza~]/k 7Q 3!,K [$Y책.E8\ 2[ւ @m5cu5`1 YAh{zf(/J>dLXQ5Zcro^m7<D&5蟢[z=4#[CAjŏ{mGnxZ7+IvwnlS|w,G5NjCV\D0Tg GHêr^F-I:J< e [jͷbY6v rc`s_tannJ'}ȕ:}}iSRJTT/3!ފz)҅K2HBP+Oi2a2g_Q4,d tMmH4(zܐaC*MP NW9aԥIr*+708=fGUPD0 5pL*/j6VvRr-|bQ,*, AQ"|XdK2R6OU/<Ĉ@݌]D.Jjh* uQ WpbPu.rؗiY2*DyT /& ba#euzoe<|ypKŀK+4ep0Ќ$(%}nH'XLqW2+^K:6wR|KwM ReDz)V%Fjx ѳ2eR͕lZcJ9hX %w>;D=sך ?"cX@GջlAF'7T:~DBGLt U)_B5\HHTKw2'(ԉg .m̥$,Ey~+$%\h t8*)2t2Ë Ew"Ho-rx 0/~m'e 5w2ow&#0<ȶQ%@{m~09CQJ34Oʹ=; ?7^< KGVmÌȆS3ċ=qDT[ay'C}0_[_궑k<4?T` [aYTC 41T|\zkp%O}x&X<5-lWA>Z+ܤTM-f@k'( XP?_*Ӑ{PU+E24U+?(ݨl5pP+qS'T*PՔ iWWVZoQZ<H6&g'fC6]m386$bCAնa/bCh2baCb,T: KV'`CRPZsb߯! pdts c!.lt~8)&Ӯ`uYEq+&Opʭ!,{֐a$-Hbks킚(Vy<4ߚ8h.};!8p>DjY# tGpw. K9Kg+TՕ!~!2aĻ~Gՙa66+Ր(@ߗKts, µǁLl$zx@A&BӄI{ Ћ&@N )/=ДOߠFVAw`y$CÙ6/(E4cG pw@"Dodoƣ1qL~P] *B\:ѽ"7zqυWoZTE1wDUh-`Zo<(6i%lN—C8y\O49N48O) ׄ%Մ@/!Pz|>u(aXut_٥!;C BGS,"q ƓrAR_z¼_t2 iXQ1HcCwֹq`]+M dU-vN;F4#Ғ-B\0fbF$D"DPdT͈D0 YdEVیԶmVf"""(D%\DDD*$||'|珏|1ϿjLgьȤlWQ3"kɀ&r;l?Vݺum"fr+r*2"{KTtʲL0ZB4 !hB(t@lQUTT"%>jfDZrT7n۶m۶@UD2#ҒPQ-XH aq,zA08(pH@ " ~g\"lT`LEtfޡ(߸.\ PꛩyHi72@(ٙd=)2o?tN ?8/͈܋)!$ugս}LC];q/Ҭ* RubtyO vZN#E"V0A@RßbE,ݲp6_3 +pQp^㕾vjX{\tӪ#xľ[R4^T~p8]k=9${l8Ka=SS-]bLp4w֒xYwZu֓AK$$NeY Cu9oB%( RLf!t46WYKgcÈ ͚B$w3ʙ)ÐbM[k3Nۭ򺴾A<;=LìiejR+6>1glDZ9(_VNt1(6).~Y9TivHd@- Rէ+v5lՉjBPh^q@=&TO#=}R\b@LWS-H뚒NWjP{Y(3R5:[l|C,5w{ GUQ̸Qւ\(oj0èocZ ;i$} bnHZT_{5R)RRMc-HHlEUyfbi0O4w/ʼHk54*}̱ZJݦJ*G k;9hyAT#3. lR{Syu&j=k(bE 9$|l.Ta`FS_~5f#RcՄ =6Imj5FXuvTER g?UWٴruMb}n.7[Ӫ/ɻ_.; bԎeRӠWkyqBXk~yiqHקI@>-t Ꝕ~Y?]ͪO/̈́zxԟ}iS&/TZ+{ךmA~rx];Jm&@[NߍeJޫҿ[WYŲM|*_K~?Iz(N4Ԓ5߭m{ y"+O6'vuqz5JY4}D rybB`hfVX>#͕oEcJrSNOjAݙpk!%Z;Y#lzdF5R5H -F< xLf~ @().ha6kk23E=o٭>-IWki M}3Q܋ZOsc֛Kw,@>)R\lh]Zbgʿb(؞d,upL0EU7nPQ^RϮڟO1Ŵ"T<"ڜӊ!L)V޷%䘑ꘙʏ&QA#7F_Tˋ{7// uRZ(SNh KLO;ae¨vLaCutl(._M!*F85<,ڷzSg)eX/w']~?CV_|El? >vc ee@c"ToTanqQfվ(=郕z,,lS HJX8bN DdMcBs&X=0>ߒ4zԊo,fȦr$b8F=N/롑9=hnVn˓^~;Ao} mY]쇾zm[[=BV-筥yd+>o:ueio|AZ47A Պ ]r%LӞBd7 JjtFj +TZD*^_v3II,Cw:"A~uƍ4HIW,CQ _哌'|$bTJ?ȷ{qr%]&곕Zzε4sˑ[eʻS,x~\9wfY-e;j=&(TyrEW5/>./| r\=’(OMn%`56"]5}9P%Zb,>sN^f۷8YX&W{<ǺOݴ"oƮOl-*74+ Zu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method~ 5W# nHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ ,ڙ4$0$i:~JMNDDDH e(((XhwL)""&"""x';Fsoݍ݉|'Y mvf]YYUUQeeUMʜ%wY4YUͪjV)Y%IDDIDDe;#ȈHĈjfjppfƈqfqf83řA)8]8HiwX't ( < @\P,,((h(DH2ٟeVɲeeeZX2٬eM,3 nnꮪuUK33C34̬53+3*TՖT$""$B9"2ȬED333C3=3̴23yugzj{Ksʼmo[)EA~@*5iu2iff޽ͳ63 hڲ%kZ%kڱvkڱvkvkvkZ[kkX+֊bX+fYmVfX-VbX-V{^WU{ZVUkZVmU[VUmUKRCJ$BMfML22LIWWfL-D2e @((((uwywywytttddvdvdvdvdvdvdfdfdfTeTeTUTUTUU2dPU%Q "! "D6D4D2:D=#fdЌ 1#cFȠ)ʹ)2KIz2+ma+D?㼌δVR2n)5"yVD2`I,'~'~#>#>#~//|'|'|/~?^__?>>==}{mʵr\+ʵimZ֦imZ֢h-Z֎=kڳ5kG;юv#]$l 1!>H0HXq0pp0@p@`P0ͺW<9iiV[{>&ikOͪ&f>)M˿f቞ 씸\4>M͟h[44[]=j%{}$R.PuSȔ陭+1g"˯pI^ ,jts#U;gU/_;1bf'Ôl(%A?@I?BdPH?Z K?-B{tDkE: en0xYy"&epxE&f5SmGd2^'0.|AƲu/#d+X+* [X*{ `dk&zB%0E8 N0py&m Ve-iI2Ra0 8lW FoGaW٭1#Od٤*51Ly[` 2R68þe+0.zj0*[ Wftd6Na!Y yKan2Me(EV|"΂Rث]d(v*l.d ju&hFe OFn@΂S+\/d )^y~(0`Ic pPv 1'e}k2iM 6aj3<" ,L=!br_[ѧ+a* ~ɪafX.sd 4,:BejH6TN22lD(YFbbsث]&dL -2l6{*[dm&jԹ?"ti X,>fJcƌt,2)Vr gM/ϊpF?+0X@s>1klM-Q7@ؚY^:ZWC`u'Bb?#l1-Veb7ca(YzHA+C|[ĜK4΅`oc^%e}cnKYY næY1Uն^g)t̎VkQa-1噪xVy$Y\a)nZLtr<`P3L{V0=:#3fhrM͒TXݠ^әjv_&/lv[EXY[S|ZXBYC "udUy*'()t̜GY`'f>[!\}ͳF26YY5NqΣYz;nk;]TָXO'vU8NgiBО/]wpDmK盘#NLYGИL~-#rKcZ+..#՚{3$Iᝫ#xtFP?;y-a!nc~Vj_(lحF= ?ubЮ/84Qr5ApOS53*@(PmC+s#jkaji'@| ֲ4͗3a R \]8y%x*b˃|pꣂ44~ 5=:R,.= 깬NA6 טX^&YԴhEڂZp=?bXn-%1aԳﰓd.[dcY#3Ƥ[`hA`dkp-:: EGAqAEcwr^5)J4HM/ ZN ;XĜ`:M 5$98(3Bh%̺Ћt0S߾N""&#G9o54odMgI [lu!D@TLq\ #wBcg䶽r`Px82E8 |֐0TT;4r-aZ}? I9,ܘN awIDb-ZYĝacP-4X03mpz#luBc;ro5%NMo{W/A ,QbN`&LJs jCd Ssc7MDdv̵̪;d-G)y#eg[jpθ{!6}?ѭ+3awoz/21EPWaTQҰUSS Z"axPZcڠ (^%>IDQIt&wj\ƍ5*s>wRss<n8x7ܲ``5#~phw[Ԅ\PWVpA$em܋G_K.~MXf6ӷ(0a0E IW`k;J~ӫȗFU6DF{Vj+=~%%d= 5;z{U8@[qdV<M;bŒU)DOz{'=hH^ ^,8O Fw7 7FLSN> 5ЫQ䁐>f K!Jzg?͑vP#& Tm/4F:ٜ* hNmi $ÌPK=ԮѲ7 rg6egԌނݰjZD5۶_Bt hm%b֤&2+'\ϱ,%(U3&1 8sCUjclDpIÌ#O##KLtT,~Cen~38LrL T/@}&%\/]v\Qw&^ &<2|7яD6p Lw͙;@GN0c屸Ұ©2툯xy:b} 4P O)5p3yQ`n 7 "@x_-| K߱l'50& ?ڵM:e&A9&Jq@4X~_lv #I'f<+ QuE9R!HFe~f3̦Ǥ7{HM^ j=PEw7]hK^l370& ?ڵM:0(e$ѹD n @%3wځPG:i;y$VꊕsDdXre_"Bo 3Ao@n@5Ss9hED] sB2j3Aۤ'*fQټ^-Z( 5P(2ج松@. t>P霭Izic,7"sڄH2= +';:_J;Ç'yN`>B 3L: "#Xy/,L °? W PmIsL xiffMHcff dIII&%MJ4)9䐒CJ)9R3!5R3!5R3!5+YIJjVRA1H:I $cT:FcT:FBT*DBT 1R!F*HX*R!V-ZZ*J(JU"%iDJ$R"#2"#2"#Qδ5ӆUU"⾸__wKQ%]e/r.r.;O>Ir$'eR&eR&eR&4FH 9H`I%KŒŒŒŒŒŒĒĒĒT,Y,Keɲ,IΒ$K%aHAP`@ÀsL_/ӗݷvqq_=Pٸ%*N8 qGqN8Boq%Ww'#NNNNl qUDܓ7x{__)KRR`áX3Q(CЇY YO,W0ѣlvլ`/q\UJ{J8= .37gNͣH7JVbʹb|7 E!n>|zBO.A:Gxv4#ՓU b $3oB X3mt `o1-* fGmv+!c_g{:VLiXpU6I2­dqT1{4mu.sN8kV-;r9m &:9.XU U̴}{+I1h*1j?+b.X R0mDq<%$VҗNqMho?%sHcK gƟ,it?:fP7Ck,'J4ɧ7ȹ{b4.Ks_!-:7N)*lY|0RN"S~ G1S-摪vf$#2~yUg^PH@C}㵧[=>јFl}%M s~8yQ5Wtm`TWM[UiqRg2􆓾g,Wz*cMȮfvݯ48NmGB~ԢFm6XZZ}- R85Nrb$7,b쐉urVp' RoޤM)vY;sU }U}wy@_|^81ЅlS2UR-`4qiZ\;n.)ˑ{X&zf;+ .)U5[~@SVYXxW\Jd/0qJ*?, wVPp^QC([T6+/YG,U݀K&4|1}Kб眧Vl~/'z>©4V5SE!Yv,OUY8|tS_ȗ}*95Kޫ fIDsqdݸ$=`1Rvj! qt ;mf; O9jrd]ڷ尨ȵgfΓo!۞%9Oyl{l<YgȶgfΓo!۞%9Oyl{l<YgȶgfΓo!۞%9Oyl{l<YgȶgqM}A03V:ܞKT26C8u%=l)u%EO<]Ịدʿ+#0]IQ&%oʮ$b!+I +i%}ЕlB"t% )a!LKޔ]I"'B^W&YWJdO+YϿ׆Zj 5i\n'-Ov;l%v$ȒAЧmm:po~نN{bܚg ٌxOn̮mM?ll+ن{6`vړO!%qO>$${i#"GlSl6M-t.9c=ʡK͕ T#]ArJ*BVTdR U-zK5V&/uCJKD'(?k (nZswWtc-iI"^?21K"fΓo!KA;yl[uH},ڒ͵'׵MkK6מ\6ٮ-\{r]ddsumoE֦m~]/.[lWl̿o_12f~/.[lWl̿o_12f~/.[lWl̿o_12f]$|Ƨ]hg_eMt5O>̮. KCFч:njFюBi̤y:y{עh;jEh9آ=&'ͼ~*9qݢ'<!U{S8i{@΁̼~*9o&ͼ.9nE;M&hI3߻vd4h焴'O眢}&ͼ~SS9qB<(0P(@D! BJaTI FhJ9sDJ Ù&80 Uh4E(Yg4EQ4%r%m۶m۶m۶m۶m۶m۶m۶m۶#|-W^0ڲ{k"|-W^smٽXϵezϵerϵewSV a|wށk)M j_3#LRs yZq]b1.tܛб¯~}$Dg5QaQ؞۸v؅ 3B-r1AThITEUp7}f< Z0D9 5-t-2ch484L .>A3(h‚*TV h„$L06,䤏sRHPcPȤJ3M$eZMb6F cmlRf0 0 0 0 0 0 0 0ϸ@f;{mss>׻y^-s:Brn76m۶m۶m۶mU2fƂ[t׽uywy!tksA\@>"Dg:]0cAz1QQ5 {dI(;EHNj"I)ȄE%X-Ɩ>eNٲAX$d<IăvлmB<"a¢mkJ6$AQ>QUUPDhd`3̱2fEqdm&ʉPOCQorG3A5TY#$4!sMsc^l锠(P` A("AUl1e0&CFsjD$S@@H (jBX ap0` 0 B  0 P]KafEcA=p06Z߂YB&V(9Υ'[eHUnj 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_id2361 5W/ HHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Ytz$PibDg -z+ޙ"wF333VSzݑw'ٙo"ʬ'OTZMJJ;ξ2omeWUU]]UUqzvqU\l|꜈LDkf5cF6!9،5+fHںbVYnmu(P8,`@ԁE EàqQ tEP$-Baq@  I`8&4@@CB $ ؄š8p@LAAX``qH,   H,$0qАPp p$X@4X@ֵsd# iI1D C1D cFİQ3"bX!\P s$Ǘ۞m-osfn܊mn{mmn].)Y*q|7(;ݝ̬nfVfFfuRSb,Rg۴mvDED*HUE*#ё7&"Q ifhfSrpfFfjOV[$I%$۷-Y$KRZNH={!YXBax7veM6E.rk\׸ꪉ5&ĚHi"M4Q<CP<ox+JҪ*W*_|/EH"]dYEV U*!JH%R SwSwSwbMݵZw]e2cXf,3)3)3)3)3_7~#6O>'dlm2ULUEUEUEUbT 2A$DbQ Ġ+͸4#͈A3b̈A3'ifH3$BjŠB- jŠ}DC)NhBBv$$8kڳ=kZ֬5k[{koZ[kkm-k-kZ%kZkڱvkkZ5ZZkZVk{{o[{koz[om[zKov۾۾۾[IIrRNI9y&6b  p"?u zA fPLM3rb?=O¤9OEOfhL7yB3)zL詋;?ǦnOk?Hf/ E='Sn$̛^d*ss6?fn?H`d! t4+)nz i8fM,PGvBfB~B@Q42^1ρ!g%Fz_C&g-*̟8(^j'a-I߱2}BD`*9YTUw*gtƬV`210Jq),%V69}zEdK0}2;فOeEcgjȂig=e"1+|L$VuhXac3eSt\m<,Yyvؗ7lc?X͔c2n2c8gY%<ˊq3:I#gEJ'C̜&fnѝ̴Ug$3ѰّXzL6%yVŸYfbȬ.8QV0z66#3äfR3ԱgXOkDvI-]6i˼bc|g(5RXJRFe=thMȶa³2$%uv"3 ƪʴOqM&>2[9v̔_Nr" 1_ L?TJV 4_r"݇sYp_LR=Ud+(4r" vY_DR9U+n+i7˒ˊ˱5 Hb)Kj$#,)|N+V(`ZXʻ$nHr 21<0vib&eХ iTLˁ L@# ȺҔ G2]) \/-FX@SXB $<IN!pq81E L$B U("IK:M xV6 DUaħG(*Bg`3zQd]rB/-WEy8nyn.Wګ">So0DT3h<*a[&p ޳t@jQfe>8\[(C8@;&8h40ec-l yHԆ;j\*y&HΚZ H~^B*R,6 VC=NK /,mJ;F>Û(SV1K0 #,-6G7v ,EC7%Rr>EUhQ Dբu^(kgI78V4Z8itW/ܵlʵ@퇡uT8Bh6k|-*bInm/f@aIH#(/3ٻ |KCTJ(R"/~d"JA6qYNoI2mtt¬*U[1ʸ\Q⽠bkt{9$ _/8\(h_NRaIAOp/׻ML9܄L)&+M(6=^ xqQ_-{U0~4;Kiɘ rAq_Lq`L~qh-jv߽/؃ryvHjE}^[k0K7ymmBol14:)Rn y&bcKcmGUD[]E b96'g<'}#L&5l%^lg }=_R#nLo\+3ehv#: uZ683}a뷵BDu{acw,_1c'ɣR˸Jv 4㚚SYDG(!("0H@B@<hG @O@jVD<"e*x>e UjNr#X\G;w1Tk!uz$}8WڶN=j1;PCjUX;cQ H,g~dN}WXŝh&X"h 8A@&0A@F@AO@@N@@ 0# `&p 8% "0I@B@`8A0G0@N@ 0!0"px%"pDB` A0C0$`FH,!H"  Pki%OY@vgȥ-436ͳ C"z ='b|#ŬpD)z͚Ka1b>A0{fD|74 ܴ"-ҽ}guVu)^W߈ǀ4&5y nno3%k&‚(8!-́08 11/ f(A[QTBB:+I یH$a*IB1)`QCbȁPB!!"$D@10'_ĈRޕQ8=_[WDeXKlxFpQX8~ߧD~DP HmiGfA \]F%?`y|6 k<3Mk^m{%1e<f_9`S/o\"ZNgKe@[qqFI\#iάlc/& f.TeA,pg8j*=S!̧>{8XdAJKXnp*YS:e<%0d//RH;4<NVvuDPG >~D0(򑗽ً4aL^T4"!Pݙ:9&i2}mB\@p2(ָ,S 5N#8XXzC7HE^8æ"AN_~!li, {p"dL)Ǔ 4џ^[_'R1;[l\ʢ&0+ԗ9 YG*M &[O0&ny<~hɡ1gM߂8ESQhˆ]˄#d8BO]Tvr+uVUiru*YV{ x0H%ۯfC@Y/Bx=l[{عZL㴵("|2\= 8,rj^;Pnw`84[ryƫ^vongI\Dj94MҶEW#Je?P]oƋ-OG0w7Ѳ!xVz M `Vu3D4F589d{}GcB #.0 ~!R}%GMYvߍa%v|- T?^.T>a ^J]$]2ܚ#Ih!|'d< J*ZaSG0\Hy\.XKefYjN$ld\@*+A UU( 5W' @HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/24Wp'6mj_3'ݛ L 㛆E$DpvZ̤@0 ݰB7!nj5(f< I DCP&R$9 NT< 3hJ k(ICa<ϓ"j*'fM[I0dl V(QXuhB<$Y HyLa$KTU&ibq(Hb8upّH'1Ȱ`p, fiP00鱐 9 ˢ"p4GH4D4<G, 4ks<Ɂ,Ύ,1eiH fa‚!MVȀQ@m&a FY:@$a: RxI Hz% Dd0"MD$‘&f(Ra!ƐFR"I,0 , $`8DjiL$=K `"a3 EQ(XX @$0_]-WRU&y[ZN_Y⢏'&뇇uCúX/,~::tu=z^^~ww;|#Cv5!ݭYٶzY] fb"*ޭYmV.]ꪶU֬6|QDdy Wg[mumuVg[m[muVgۮ]gvmv:u:uvUgUgW]uvvUgUg߾}۷o߾}^{^{^{mtFmtFmtFmt[omz[omvy;osOt3G<w^ww- ĨYHD T  !)A !  $ (  1`0EyƸ'`p/~TuU*tL+8*#ŸaE*"yǴEǬ/8S+r +p*Bu+yaEʎ"IXэctT1Q*wL+^:*^q {bK"jǠDXcV%DQÊh;ތ+?(F02bC`qa|#ccx(gx$ ŃO&11FO0e 0cF1KL`㌎aNOdFX0hQ=/z1`1^t(fEc0\tg3&.jŏcvщXTF>̢0pQ|-:Y?a]Eb0,嘵->waTѽŤTtl&yiE,EdJ2؏Tm&;3EfZ72țRtL)#LE̤c3یVL)z&SݕQȤ3ؙL(z6ӊYɔkeJL*:g&;fgdJ7讌RG&̬Dt"?2;]ٙ&vvF&z;}D̨Dev?2]N&:v&y;S͌DTbe:ZNL9;#;SD"fTo3ȟTlf(z6ӊ)EdkeJTǽ^\cnQ)0 /j"L.ŽEc"Z E0/6ŋhE\0X5-6Qa~i ]AbfJ _N'r6VGVNAJ*'K.n4atC wEB 75&f?o2"ӘT^@q8-`ן`P4Mccy3f HӯW/-C-ɵ #2Üsҁ#hF5/8RJ_6,‚IViuTv2vRF$c=OD4%4V⧿AhF\: Će0\\@mSz 2K ^x}uN =g#*Zvگ*vU>2l}'XsՁ5NK2?vq%aAHxv[pf7)meş^ᙜ)e ,dvN`|HBӲ4+ CO OIؔQiM7:<ɱz'yS;˃^G`GXk -40!$3 _!(xA'oNsp*yvZjs:hE "W5 :?y8`FսŞMZ%>N7${v)c {-B >s~J0k'Gp.4S*iHڢrM!ȻG(H?hY2NŶ-X5Q3 %EIYN솫Vnm |Kh^؎A"}=`Bj.6R$rkx39 -vd;4dԈL&J-.-{hC=^h m-B[h =iOiO{̴Eh}hځvhkhDhO6&mMC{(왭ٚfkfkٚ ڂ-h ڂv.]O\,B!Dae̔ADJ")cgD) "HAHCBm'3Sa`Ɔa؆icƨS$9! B B '!P^A-zb 6ӓ]S7*^ڮTrz2+ݰf7XS,/4 ~a΍lX6c|E7S<ߘEB+@Sf؋n(qy##M,^" gx<L2ˋnZO&xGWpז*|,+4rZ]!C*7E_UU/EVT@TB_[VU} 2Lk/)0Q鬣v|mF8m;EQ:0un69tn?[,˷Q\$;Q(rh]ۤb8 negWdl˜qk@xں5qRCѭhz&<‘t{ ԴɺWĀ7@bܢxly"uK)^A!Ky'QrpHg^]rUaqfQ6`?\pIϤ i^U"83O@26[q('${")p4V7ScsWDܧ A+Ld^li H&oE n^ZD="5ާ7-Z 7!vl&Z/WINkG[7'6b,V;;>ݻ87k\l7QOD# wxlህjuD(dx"e8)v8Omp +o2Ly,пeǁ~ه@v0f,}yi&čL.uLzh)<y$Gj?8Q wj˖k7R]pqI7`f9q k ǸLh&#{e8o嶓vc],}9nW3?\=sWMjJ =y qI~jDR070 $Õink6QЗ:f+pc{i/t2Z;:L"&A20+WP7}0'}\VRkvX~bjsS"y32j@?[*G!X TsVvTWV !Swµ8KH+/ @8ӘxV@ҍ^xy<2q\٪p?p@I0PhBұY)PvljuO(m}NS+½H5V‘78cn/!SI>l$iY=#rl@޺<ʩ}r T~Ⱦj؜b{DF(|ܵO\B=d`!>>/M)N`֥E>ѣVʹS+HK5L}ɟEP@\g {(pʐs4˴~?SZ~ywM'āxZHnqZ`'wL\A (]uMI$ḣ5h6ױX8Dw\ N:;D +G/Q[(Ez&^&^ )ZOl9R=}~ MI.M7 ?gf[۴-dAOt{;ldT7{M]*{ TOD nqKكŋ{ q#(B -b77āk ^ ЛP'qu(^"FiYqQ0 )I[Hziz[KEI1ڀ)w^fR'06g-s:Y$Ȯ/q:Y^Au$;7o<{9<g9 ʑVˌpP]Oz'wv%#oCk*T5y"cY a,!Ih~]idv\}GA0NQ^*}a%oMEhFp\")Q/d GrTLϱ)w>Lݩ׻սc NRW TVpL')l&3n[K̽;瞍򏎧<[\`(JG 6kN%g M`kEzE!32J0nF<Vs&TNOi-GhÇ=CȸMTZH9V쩸eSH5(<9.NZmź_DھMm cQX abz|P WlȌc9AHFE0n(r&\ _ 9 6B[P R =Ty>qg@j&roC7 hs֘YV+kd4ezXIH`Q|V&ƕx95=L)2?w.FypbX6%.I:HIybz3!Ko687e`Qr5 6k7SդمeDN->as3 07Y'~j xӚiڎY#D-k\`sU%)icңl$4;ɿTAߌp2ȚFb'Ikf$6"WzT$xx龿JŒƣMY.@HLTf- ]S.l=Ⴑcc#6Rڂs@tP?d<@ z#826rbEE@H_GH6Zr~[t-TU>[)N6ryYT VECԌ[Z@lt!_HW5XPLp7rjt[&ek&*R_6njû|q^ь~6m9▁QWÊm P7pl`GcuGSހƜ>'YGɞm0"i] ?ꚁیsh-9o$<7y)IVFwZNߌF.p)KwŅ/7aoUSB&#יZ]$Ĭ`uMʂ6MKN<δS +( n@Zu*1yIۡe_ g*W֎Iu,|ͭ,w"Xq.]#R#MF#m NT9{4?0E`n" _P{P2KPNE&=&tl]/1 *BHs+9F[*3m "$(ը7[Rȅ)u[TnoMb_bۏBd-\*.!y$-bJ0!1!b9 .Q9YMj!}NH1@c?Zg2zBB!EkgVCG2FBRR 6׬?<g~X/ =2KKvr!T(vN'Qw'Wbmz]Nd=cRxǐRօ8 %NwFFVxB*vHլt^2 #[RL OѳP+.bL*}9ķ8[z&f )ki~YTnćOOXˉf[D#W(1o%0h !)[eB9[INԸ ,',mDPIgAWRt4 bגڃdPHE\ү:ik'ڌ׫DN,bA{ :@P^|H'+obpUGWB t{+8zHkNYJѹ@縶" Gd}U^lR{V45C&^}]?;Z~|I7OO'ofE)qu3夝!aUPĊy>LdH$Mgtݟo>bЎtN2fQ!\4${{I\ lh"-yfyi3|̬fHtf|h^Q'l,Adqs4i6* _&GUpA{KX^Qf@UXE*(r`.%UlƬ&c1T!-',(o 2f\f&'#ىi"r'DAǔ`1C[q0W#j"6N5&R~P#:*um Tts4:GrR̖jߨ=5Q+bb?,L'ki@B*i˫ 3Ѧ#5Ֆ|[9 qKijjhbmsYwZ\~삸'#,[]:?X$QC$\D|x}L^Ʌő)25v!wWq %)ŚilAI7mbVCՉE1\&D8jW@%OL0E+A~-[%ofB5•tU%TÄXZcP0aP>a x4 `P0 `!@A0A PfNkb=xBl7?ETL|%J)ͬp=-#ݔQ#)'UFVmR 7D~Cw0b9^<)NEo-'f ጁyCqol4"6̇Qwy`Kuf_q_σG 1ڲ/-0<." q3l0먉 Efԙ+ B&)q{'9is?՟e==5{ymxF)@nROEO@"a"(]p:#C5`\c~̐q=ے)C)O_Ǫ -e(;'3T-fO|H\5!3JI0-P j;**%mșͪO W|fţC-1YGeʙxS}T%WHX)KlkƲ]rRԯHW̟giՔ\Aich61/$J r^R̩b9 أ\T'&)xW(ZĊ{GϾV5E;W6C,bN]oʑkX=֙ٱT LZr|D$@RKyHAVvXb` dmcxɇxljXeTp\O wKiCW0A^v>HΥ Eu0h1dbHP+O_rw]I.>{<J9ff1,^,) p23~Gf6+p[ZǍ/aMo(. k7P135X8kҧV(wӖ@8t.X6q<ʺS#+_(t9R)\;B9OOcz~7qNʐm]dO %m;'8B:t7(憞3_̢Ř6BUnQ0J?x0BB/wY0L\9eI!F.pr*MQ=cFt Tlu+)x.҂Qs+NUcF3w hr˸Ov6yuL*T@T.G ˉ.(yb3Ղ xa81s,?(ʩl(C,G-Ϡ+k˘UakJE,緧d}Y5fq (,&f#/cp;HMٗD;W ܃^٭Y6PX%qvp E0v[c"=謒=shWNc\DJCSХCa84%<-ZPx s,+qsl)y%. .nE]Ƒ"岫<5W7M~B`ǂ UPհg1\d@0f.g'e>jH#rW4͓ULr^[#5{39V=QD3 Ъ<Ù s+ꭔbOaT94icm`r7MC8SlRΩ8gbh8K#0*5U*! '*oN%"A"(΢ӷLIP2!>"nI1yI/Ԅˇ-f'VBo d*گѐW5'%f.F&Ŝ9GG 7يEˮy"MHPM?D7ՃP%Q ׅwÚPXD)G3QM U"̍XcPiܴY{4~FHlST&_bITICq/p @A :ѬnMz.T!T0fe07ebOCn^SƘb= 3Ej.TL =xUJ?8m~+x= =98䶾a`+ܭQ(ڔv85`vxf Ѻ/w741~P@ J  ̬0O FoރFi_ܜKq J/aNcBP@2Vͪᖬ5s[l>1}0R!>3%E?שț\ @>g7&Q{_xd7mWupwUrx._ ~T`yiD)mJQik8dSsQVN;k5]n 9I|]>nH;2aŤi\%[cq8MiZ.O>%icrg6@aJi\ap$]8ظ\1lނ`Rkx=W!Rc&1 tYtBx.+-kcT%\>l}d\Y-#WqDps@n4VG