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 5ztLx ]/ UHOL-Record_Benchmark:threads=6elapsed=147.742cpu=246.754gc=21.061(/ ]9wVp>6垌aS}@"UF#QP} n- c6{ytBJ}5G\.qcJuXnhj=*((/ _::name=HOL-Record_Benchmark.elapsed=136.080cpu=234.413gc=20.755"d>(/Csv~5b ];qsf$蝻#i5imVװvb$c Ubqt{;4D7HcD:4RԄ * K zmdg2R ]̙cTAs#Ywk*)C,4T"/>gGq;iTz2XdcjC֫Hyi®jL&'wi2wVBat "Qi2*Tzb{EvqRV!YRGQ-MddbWi]~"V9f!H;ޝ٘ i:r4'V^GHKF 9ƍ6!\uU9oNo YeGV5ZqaxYWD:JV_ :Ut79]7~^tW~~#E].AE-Ĩ7uA]4}؋t LGlW(NYSV3 &dfm++ B8x3F2witm騬QW'>–TYMz*N[̉4Us="?kOSBVPC|7tUn:S8k$g %=8NÅ@|0~ty|hy#,nxx;Ĝ.vi3o&ނ@ sBH鬌n@8ACۿAKVr9BzO\б70+KHm"u7{#j&Xr@M8w݄2$ЉEkxiŧߖ%`,;Cy @T 9Е=6!i=(F⡥neB OBu]Hu6>%FawH[iIz'3Ūmje[p9+Q~yr6Uz3Rሚ=j|X6p G*/OIJƜ9F /:$ Ll * zCdFS{X թ)&NLwRPo*T9 %*>ly݌ zqT#T7R8$r݄L奍πjD@݅`\_ravU 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#!fIR2VG1ٕ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 8H$H$D"H$DŠl*լZ"&$H$N${'LܙVH$a: €a!aK*/f\P|)e\Xi"'4sCM7[֥f^=#>ԼF2߅Md>b,jZ!ƛ3T},˲0[S/J|Fl^ G|q^ -o3;o)ǽǞ70i3bqOxTut+`Q$\v8WN6l}J"\jy-#`j{|BqE""1/N>"hBdTfZe `F%AU4f2E{\I ކȩM7CNQ.z۞/pGo |kmll:["xk9Oae(4Q3v_Ee 7EuYe% Z*| ց{wAau YA~}SS~m{M5=e}YO"V솣MUYbEbl*  ; 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'#|$U46TJ꩟J9FwcOHs鬨8p6V[xHNa@A9BE9Z 9ZB -81*ß$N'nS%,YaBaH"yl^/fBOW͏è Jl"vAP{$PU*H35t+^$k酠@ }=f Ξ}D/=c A|[*s[e* Sh Ĭo qUȔ>LX1tBL#! ::2TNS)1ks߅kW(7f+ă7YA !AG@8tH 'ݎ} fEtA0[5 95c{Xo'♂; x#hC?_l }=7sa.&WV"prH,3+ ) -"b^ 3pBH(?AFWiXsR+6S &T◄f8ȺÌ$͎[Ql 衖ZygÔca]DBo07X 44)$cGf ;ޅ2)'d5,atfUKLTfx@vk7deU#|BRC#T{X~[q}qZzʃ~Ӌ VB[c =5j8R{Ԍx@ne=.hdX1EV}oMae[|IT' [3?^PʆDJ[߶;y3+ƉWz I["= $UxquK<*pаF9_,DL:愃l (szX:ޔdƑiWŦkvjoC;-x_%cY^CFWB<.#U7wz7fp\զsukW\m:Wgfp\զsukWgnك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=wzHpK*@XeoMpm;q5D D D+Ҋ"H+rEJJF܈q#nčȍȍ܆pnm 7&܄pcX0c36c36c367/j:[' q8U*NjjjjjjJieZV`Zi'61DC=DцhC!m  C!Ða",fjf*3Le2C2# *D XC. D&"P&$"B"   ®jKDRfK8`,@p ``A Wկ~oۧ>O}S}gOӟ/}K_я~__?C?C?C苾苾K_zҗvimM6&m&mR&CPx(, ՄjBZP-T զnnnԍQ7F݈j۶m۶-RKDDD"D$!!RH!2 ygyfffFDDDDDDDJD*"шF4AAOs>~~~dM6d--,LXUUUUUUUUUUUU[m۶m۶ZjHD"DC4DC4B )Bd13<3}n&UmH"&A\Ֆ,&!B\Ֆ,&UmHMզjS S5Uӆi-iKڒBRHH$IRr!əEdYdYD&ILD$""W-3DU-DL|||||||||||||||||||||||||||||||||||| t~@"@ 4p!PpAp%+OVbAu@< y]:ʶ/>bSjZ?Q+f2u6HrCz4,}8Z03< iݢ kS Qnj[Hf pyQfQXS!R`x QgG1Þn2\^@,8I1ͳ)UJ,P$?亁=ZyK}4Aʒ2:F-}=ԷQ,)RbS/G>ȖPD()RM!b22a"s7}qy3ëFxM-=xV8” f=#<r,ь{zU;DfF_ϴĤpG@nWJ.)7={S5!G蛰!}c./ˎ!G]:%%PuĐ:q@}ac EԂȠ,BYR%@~di39$GU,*@mqfZ;kRir|PZg$p,#R:'NTiB(. ĜN;]|1̂:J=2/8!Zͫpopf.L9*V",=˾-D҃ |Hg\ '+\Tg@,!]۾*K E1 w*=u=uTvNa1U,-uS6(YNAp`8J)\(NrGiS\(RN*@8JS\E(rG: S\QRN*-GA8S J(*G: D\Q**GpSJQ*: @d QU*GplQ 8*u@H UZpi@pQ8UuNI d9UTCo#'lNJ7\UMlTe C FY^`TwOA0WG*SGaS9R;ec+WQ9 Uڎ-WApQ:%U" R9 d;UԎ)-Wp:EZ*9JcHTa,q`jlJ/t'X|yumEcRV`U_a0E&|U)3N(wj٥ef+r8"W+^)W9 P;d)箲kWQ9 =J%PG\[&*GUf5Ta:>4r"{T̅)I"y[NШJ o")Lq3# Hx )d~r(N1":KGHEky+J(ZݨBeW {§W*h]Uc銯ZSlWu*bVJ6MxW)|zūRFa[:6JjgZ=*OO|Â-rZ\jZQRڇm= ԓ5uj:?ĩV_ Pu&nJLkR̀QEԕU*TôiVk^Ѧ,o& pUPgu}K`ڿ26MoMSmK2R EŦbSj=cLjAV!Mĝ{ Cǵw&k)b) qxz5K1F:ɸiSpII'_d S8/>3sVi$?/6s;' y;y6i$/3:gʙVyŘKO2< iO7ڙIOSo*"1^d|IN1%[ZmIOd%_^Bxd /,כf( *ᝌ2s/^Mrܓ=X#k_2В_'\ΕJC:yCfr7yrҴ//82+'!%|,Ip=I0[-|7EnɊ<+U j!fb`khf09;qՙѲΎ029no0'SQISVIK y\VN3}=`87'ūyܜ'GٛiݷNHâymcO2P9OwZb| r6m+"g GFF&er$H$d YE$n+RP$$BEi"M4&DI"n<Ą҄z(.ryHH$!!C!RC !1$6f؋v.Eh6D ACI'o6dM6b-dI$_&͞gx/›333333/&)EDDDDDDD"""&""""""¶i۴mڴif˶m۶mۖ$I$I$m۶m۶{ۓ/al 9dbbfEa r[m6g[amݶ%/n0Ql @C@ TTUS"F;&_'SI{~O" H ޑ%rH9dҢkuǩBܩGzW!\fĥ4-<)ij:OJJ3FP)JD3r'(gorlWM T)%I*qI&„;<ԀYH%BCj^&HNv#)ju# \> q"rg&lGڋ,艄@̚f#&8ТS'i-<0#Uk=5L-TXp\eL J0Mb6O*ë{P2c6lTͺlJȏ @b6׫pjNUs\n҂Aڙd@5p|ygX\|gvQo?5꽟.PY Sjg|Ӭ왵c3# {Y`'#|5|2ͷhk }Yt4n{B6hA 9&GD6Y{B{jQȃ`p2 1-7ZC3J9rbMnn)P)TbpnCIQoy'*%-Tj,GTa6&٪ߔ="i\W-oJ4Ǡ%uv ,$@׍2$=L'&ȃ]Fg(cʱ{ hK`ilJ7qRif°Ĺr*U5kAbuKQN^ߖHy6q7-rtHJ̏mU˲UOq#Xu՗%RKlWr5Ʀ6Ӭume1rqHA( Aб9S8IĒlP1u;Rr* )jjd\6rKe^@]shLNvU="DjO:E}z"?\6q$T;6oKN1 ) T/ `Dtr\)䦺3mow)޾ɨ=IgY2uYDı-ڔI=j{(3 JHx@h!_;M(yB!e==#{ *8Uio͋h>E6#ҵ/na)UaŎ5,j|h'%k0SҎdpCBC\BR\]rS)|k2υ`:Y?/>J HXiRWHPiDj"u~nbʜh^bNJ!QQj"ʍˊdfڣt9Y\vHe21à.| =[*JFN&sIFYwPc[{G(N.F&ҜSENKD&hN,Cvaz PBFF d+V5)12Ӎ&19?-jNiF p;D HN$yM.% =HГd9*y_N5В SG7q_tU0 FlEa8zDBQ`4HǙ_h2I$uC9UgѴJ$@;{jvXjoT6NC"Q`/'eٻ7!KMm:F+U[cU@LĐry8(MR暌V J.ntu;| t۶Ibc| T}{Ude$o/i8{_ EDe3OzA'#їЃb٤luiL*Z(*GZ-Sic$7g i#or DXTT?@- v݇pY#p@PG."_h<_fOA[fnOq8OrOXh%lڇ09HR&tFV3:S+Eh7Y?V$DY'_| Ƅ"!gR>gkEHTby"1,RiOEAJW9Ķ 6Rob)޲8ڪh GJ-'U:yXn5"?qNYYV*r1+ݛh&N;=OFi asD$p8!'Rw ,:eP%" E6頎$$3s#.]uB5I*n8XWS;A.~\"yT/=~D+Qj!xpvO>PQib&iv? R}YYܥ>v4x;XI1(Tr"X81NZ4#e$G\{5|C^1!O鄚eL G *scTOh-jW)6\` W=J3I;|V6v>r|6$KU'|0ڞ3Ije7^Bķ 0 7//G/[U*c! c&iCC~qf7trb$-{/41?$q?AޅbDc/Ex DM -HwzY+YF77*{>+Bke, {1v Pڷb59rGm&iVe!èOHf)scSߪy{ 49}7Iؘ}\䵸̒b&i W0o-jWgtb$BzQIHA WlkA*>q!%Oͫƥj&=&i'_8De[ k#j-z?:(E)o/N%tЪ׊MkVq RUY> ?qY᪣1E/'۬IzwyeχXB3񦧖LғKߕVE$w]n跁m'rC@&WeDNʌRInA~mmB`w<6m\6*;u٦Za֤s6a$vx,pmBYLڄVZ(9Cm%m8HF%ip5I`2K#f dFlf F${?aUWZ @|xG8IzEZTR6UhA!C)dc`9MJt56݌;z)xBO +Б.#2IW)6 %h&V6k%'+K$N1IoD{^p[5`x $M(tX5Jbm(qT׸5]rY3(k}F ֠qШbk$" FxP-謉5k8dUPKF: P}$z Xf@bqF!NΙ4$iX eLʖ!$ k Pʀ>;'1LnNviBLҌa6$dF2I.JH[x$ 5EO*RnlzT 't+zwݒr-w]|-əmY%9M"K0P@ B"_^&r$)$)H[RZJ$I$IQ5TDzȪjEUUU[ ɪXUUUT̶mڴi΀mI$I$Irffffffffff۶m۶mDDDDDDDDDD$I$I%B!BdKr(ŏ-ۖm˖-[-I$I$I$Ipff3 g8m۶mm6I$I$)"""""""""8۶``"""""""!""IE$Eəm" Așm""-əm"# ֒("E`0[$˯Jгm۶m۶ `!00!L$7`#6lڵk۶mۖ$I$I$gfffff:әt7nܸq۶m$I$IjInF{f-"1bВ܌Ʃ%M$Fնm۶m۶$IH$I`m 4J `$sСcb @$HH(iSx*􈣅fi PeBa UE{Dg?*<9y4q "FTlM^B#>y uo qAg!;<)SĦ*@DgYxA%s7T-Ni@g^6Y7Qdym<\<<;$BZKc$x7Bv|.tftB=.@GYJT!)CtF }0;+Qug%x0hI7S!(سG%jvHKa" |X\z:9Eը*u*Y ^sGA!/^ߣK<{t-ЬI*oTrH7U `b< (*> N\Eb08 <^/&A h tOWPp R( ~WK.EЎYJFJjjoR N ^O)81K4I?1K"*x>VS5; 2Pb+X>|^Wb]OROmJ;Rm~/_(GODrY>|jWULaUN`#4f5֡Snbgf2W8 `6LF)I,adIE@i$b2Sti;-f$ORHx5ܡdkSpQ'oJ~Fe=H=EjEM¯"QS^߲6-B[U_Ih_hF>@W"uQ5IA$*\%iK%cETT17DAݗO핒CzvtS]l;Jƌ_-:߮*l63L=YAS&^H;bKUJAđkI_\^9;-?GJycF1U))j0WfL+v5* m'&P_gxroB\e R&#+B0ڧ*jC`J]UzXKMɔCt9i(%ũ*&_-!Wy+f­IJ W@N$t$sӗ7?_h 7eȘ\`-n-~dd@&e`1.ЧVy$H(\w#,8Pȡ2R A˳0^CɃU V`Y}^(TM##.jBI}am]#Cʴ ØDʖ"kV9sIMS腘**YJA(է|`٥BNՔ]ť 7gg") ;tBۣ,P<(s4U񨂭b\^ tHB :n&(qH/['Y1N՞0.c*zPw@e0K^̛KF*9a a+qO7baQ^X[d[XT)!*E"#znZ΁QE>NTM_'XJ(m5#em#<%25%HUB*N+E a#@(( wRYԸD^=O(U*ﲅ U%7<-s*GjahGEya&eEuC0TvsP%fapuEY b(5?M 35S"P. ۬BҡQ7j(*Ȭ*qSNFQT+'JqJ~(mZqo!sdr\S᪒wKK(/_tZu%SH0SV5 ^7]6V5QV=7Diw==EWH'uΦZ;. VrK6$U|)SD YޢzZ\KCiq ؆]\ `$|ea)x1,a+}Oj}6-#. @I>Y|XSbs< ώ'ȞcIW-ִ)O7RlMiiF{ZbmOvi $ |JV ,%a Z*lIwFEfV `Gm!52 !o 7e->TT1Ur4mLx53įxI4SU*rQQ#P>3}2nDM#(ff.qR+yXl(hf:ƽPqJfEit=S3u(Դ햚#Iۋ9ha&)+5L\)JewtJ(G<헅Đ+Uyѥ^=2Cfw@MN$;h}7IƥޒFrY}G)>"ΡFM>-Z A$ҫ>CJ0i1 y#GfJ6=IBDI(^C"k= i̫VZ~E5I= r(m|Q|=Ц9d=t%ĸww^h(KZG0(mbJή$!.q[j4&ki3I[,= 7Q+kw%a< tEH KOP#NnR޵&k5zmy:4 )m*-`NjW1e]'/&of'qͥFK 5?v>l\] "kխPfi̬ |T>)NUB͕w_RjQi3bH;5(obR:MvsNx(/&\M֔n- bQpFzSk= \U"w,5{0\w1(\܇Jv5x[$%OY&gr\qP*5 #!'8vaO4*h?/q&Ny$ȢjJX ҃9R}lnl\9':I. 6Ywݰ2ZE;^T&'3֟~f3AGM;a j_=UuU-)85/1'oVHU3XkMLYJ/If]p Xf3ٹN[y"ɁRdM\Jd FٜKq4Uy9M+.g6s4*_%<y(zH]e~'Df3q:|D+ڙٚ‹ HNc 9TDꖲ\]Nj%`ILJe !iDÓry9i9j)`:ZEԶiZ,1 θEj`![[mxmFUvV 71cGI;T뻗Iy#C- =wR5w6Q|ϸ(FbUwSE2uSMf8TLN[fs;x$KWSs̡A71)eNNƺH׎dUSJ&$îӓ \ 5i2ۍa0}|2 a6g0x I $_E,Wcg}4 Viݽ4و(I>)_ sj #4FMLԅ,j]Bu3s6e9C`ݍ;x0.}YU-lfp9TlSOkGQGVȴm5#: 2fDFKe6 v3ctgwjugf0:yN |kګQh "<4!hǒ>#K=e le!&:;!]\˩H2R] MlюjRnQ-K)6%QO[aO9P- E3.ɧ$lG5e=CM(#8!jD >3m-B0cAw>j U%|AzH:I>" 3i'Bvj_i!5f"~:xA~r횗@ctÃ4JJ!ըB>GuRDDWC!^D$ 7x wb#*#p^/MR3-ߔ]jϓ]& bZ$fgQǯnZ~%c5?UOhpZ(Wf@ʾVk](\kH*JXɻ*ڶAtT{X=)3~T#e"'h=gr/EVq*dci[',\\.BPԉEĪq_q$85])zIԆC,9T?bWQm! wJ| yeJ2,Rɒ-R),vhU^["eOU.+u TǏb^hz{JϢ/ReKCST7DRiv8U[Lև(,Le]ISj3R)O^~݌T{Ϥb]if*ڵki&nK⤓bwG85;|ZORlۚH9Mض/u_CgB-tvoSf*WR$XĽSs>Pq:w ˊ$q#lJSδ(=-Va)n.ߕTʓxeeQ[xR;u%u 7y=Tz߹'k=SYעvT{G|RM3}^[ H8+g1?R| =?SWڸo))LkW۽x@gT,,RLRJRĬ!IKd/rrzb'#$yst7מ}'B_ئ3پ֧ %ڣltĿTacH}ȎTu8s=u?喹Ocgs.JQsX;khidDD=[" BXOXu1{AtQ&-8HL;biuhBt*0-Τ8 8i6Ϲ eVҴRjAX y5W7i3ё'_,Ԃ`R ~Izy$lCwT$M2S(9#KaC 7X#)ZeȹK€C{⼧X0tz@]'+j\C92 QV nx7)ItHK'vשu oN*_[2HXzoTg9 [X7xW*:<U/cD:8b'p^`_lƯj(y\^L]J"3P-rCEV}Z)йԫJ1W[P%T>| S~UW*UJic-)|D۳f ~Y㙞Â5HC2`>Ӟz>6'{(g<eT3ues]+wR|7sjg5^{aOeAԉ|}8sSNҊ#S-yTPL^TҪ OⰝZᾊsSr8]"P'̟j'uRZ?wLG(~Mz }R*\.85[g]jT1sj˩\ ҩ$Z'IjfS(}Tk[6?'GE{V-4aj(^!ShQ+ Di/b(R%2I>!\"\WE4KVNS_WKԩ/ZҍG9Z!5YP߫+AUq<gGmSTu㼄B1َL=QpV*g8w5`*T0T"w{ue'%șglk=VAH+pv&}#'+/ hmivE\*J'YWu2/l6"GJ 2$?UGP),ku-]zP[cVIQ"SJg%ͷNq9JKALd +-Vu/T/BIo),'+Ta+'Uc)+#qԷH_z6UO)/ RJ*QiH 2r['3|@Rդb6L"0 0znH?Y%>L/*zב4~d x$2ARRs?IhRBRYU~ʗϕm/9;;z)O: wR O:s"9SL3p3ml \ЛtZOnӝ.!;1cRG/KZʓx~ \?D>VPZO7s@"i!ywi ZJ HDҳZ;)wnTvܤiCI-M(Q(QD+6ܤ-6&)'CmN9H'IAfƞ6iB˙ I$I$$IBhj1mf h0  H$I$I$m۶y۶m$I$I$[ -6$#5mDpZm(U/2BiAv"nAv+emImRe[i#M /"",IdٶmommDmJA%)$H?m۶Imx""ȑ#G$I6m#JnADQZ$IHC!ߖ6Bpppm>}|RpMzF[m۶m۶DDDDDDHDHIB$Y$m۶n5oJ Am&i#-D&m}/$]tɒdY H JAq(  xdDP$ ,X LX!(\r)$~Zk"AW=eZ@/K+ä nqԫKwc*{֯uBEI͚:]̃]0O,5hV7<6$CڪK m`f5A`!h2s9LcCe瘡(}ED)=~ju&Td ./X %jԐ8^-[PޏNdmu(i־{'ᇏjfQoz1Y2T"UR+*P>u$* P猗R#SKSV3psꔓ*)!OxzEm -֨ [-.V%i95h XP4E5R ~'] (ߪO IND8u %* 9DkLNY;J@i#ڧ"`$ @1D4y @a$dhvabW:yz2ПP\؟1X;ʝnv|ǁ\ւj1|jXh R2X݀keKr?Τ^S hσTɫM?}g DO?B}1A#](HZ kp19EQ\UR[r"$PrOhxk7hUPKt,+дAyK뢮& yH{ȚiGqK?63hPE`]H PgXڋ^&D)ԟ?H7A?H~d.K|jPwkltq4ΟjԵ_-?- v9H]!ivp'-0?( wxσ6T @X?Zۤ?:g0B$'~v(x,~7E~NOG5I4Xi "iVĸ阥M@ۏϊ& dMj?!!Rz3q~:k P~&CNd!`?c-]?1Bh[?g-ce ^~މh4g|G@c+F~.~ұϾ6Z~q i:.C(@%#8C???!vc,z~&Gq썲s?HHhk~g\P` s1? T0.?姡Q ygY~Э) O7WO l9hB A! ?Ӄ)P>'4o3٩@?r G~RIA^k4}@ϲ|2[k*.Qb2*Ѳ*(@aCKq!U>nX2N>]&'͙З, \Ut];)Ÿ%B8J4[#6"c&+Ǥ2ʺm"-lU5 s7KAT ($;JBVPꀢJBT W1]`۠_}}sƗa` dC)-0>Z(㜙k CY+)d(@t`ÄCJ1dU}z=qeʡmrIRGޓC/KmƁD+GPSOv 8sP8j,?a¤ l_t e^ϵIA'u {P'p hvP y=1ȑ0V./a>Wn~AAjfDЬsH;,Okh&{$g؂nhh=,~՝n>4{MyN)WRt^Y -cU+ u$S/v8iV+VP :uL!&e:}ҀB4mѢe: hqTu mZ' z WVeEγ1& d5)MP*6}ܳV 0\ G2ɍ5AtE?nRUk>WEj4}5:JZXx/Vԇo]N+8|Lg5%;ZlAEKW"zu$|lظvF1^Uj۟yXFkoO;Q *;"oU =7のˆSAm$d4=1&Q*8K÷\Yƫ ݋"tjJZW Jh^hA<Ʈxπh_wGZrvlpqB>7c7c Ok(|3C#f<>=hPbD  ҩU ˟mǐ_ðk1-\>ٌ 6q徒qsS[MD $5Pɰ^w^HIx^?HFQk __DJfm./<ʢ͉EvǢCr|ί=i_ {ь/XTiO+zeZ@3|Ќu4/!@3hBP0&֊6A# (73{~Lx'{ؘ4t903UH QQwTԞ 7v)9; !WH\l]>fX%$Y{tZ"+rBƌ6# b" gᯣn&̯AŶ<"pÌϖH&܀\l@%527F0xhs_#@x}\fL"`Q*ف@X\ =2XOQ[2]aQ%WֺɬA *.@Oqe^(vaR\ZL'[k&U$ _Tlٱ2L Q8:=UWQR35 POԙTP 6R(Tb97 mBLy8x6YhLnq,}qEk*\LHW_[,TƳ0(Z0r!\k r%jFMOV$}v?` b6y>y";.bim,Ra)ةĞ2䢁Pӆ` {68n) }!Y>f8n KUetQv`Ha%CX ᯟ}ş^h:aVglƎ?Yc z80eW-5!aZY TO{d"j#F[[:LO;E8,XO1 lBWr%#KCͰ< "״H͑L_iΗ>~i#{&t^RrS^6ۋsvϴv Uwr“L~Souo!rJ>tեXjPֲ]42OjuAɚrwJ)PG">Q\ԝxVQw+KlV2z–RYVu]:]y?!ѕ cѓU$7,s!X{MsRuwnAGNT)yU餉/^A 'S#T@S^WA{3d0."&eG/"+;Jtdf0Bw T@a2 3 uFcA{E)) 7ӇKW-BM*J~Gb߁elfL ׉ d&+؂VV]̺{]Y 2:  Bx0X0.#A('R |Ua5p+4.r I){ `C(qeŘU %\Gz7 M! %1+ bC bZĆPsbF|EÆ,RQ- D{PTXk'nrŝÇ<@ r! LZCnfеPD/ۚRy_5di*&F7YGtIi Bt{jEBg H|Sפ-ݩNYr;j%Է洩Wl5d0F7ڷaCv[]h.6DtVH5^5wP \Zs9qo,2}m񰥁iL҄н*N:U%{;z!߽'ߓ걯cb"?րzIV8IKr/ȝ(R>!ߒ2]6@)412o^n71iPCJA3]HCջ@X7H08 ]enL {ۉk w#˸[*ݵh9YQWCRݘ?M7T̈&o ĭ"53 ms#4 ~3pr_xѺ(=3`l҄5Ts(2\tZ9nࢪyx)Cuc/iv #]sӞK'nqąi`V7A;dp(]pg+)\&'%oBs z&*Aic q<+4 ݳqNtoQ${6\ob-;!v8yn{nI(K|iA|纰múuKKn3"MUw07"""h.yE*-FdZr,#QEԒfDc UDREDlgkEDUhDWڪMMfV~'"""""ޒd@`VZ !@ aM!P!pBC ѠhX[mFFfffff8ÙlU%jmF#XEԒTU,hH (xu{AAph  B@ ~@a{# hje-sVD^ 貥 H{D^~vQn  Cv\bL٫%h";`L;^4* \7ܵĴGJٵ;Ƣ7>J^fJwC@p5aը'?Mqh K f@1rza9k[^w:w|j֮1YiǸD]W Q9@"%/M=:vƍ_eCܱ'iunCk !Y>9RUt ,ye{*t-9yJmYJ]ƙc“\ s- 6]-Z" SyCc V>+Z6DPQ/WԐ^%NsjUAs|I՘dN+z*4@TR~DE4 @X" R#ҽ^B=x؟.h;*DG>%[Q,Ȁ .R cŤH:jf(SC^Fo5 ܾR?Mb{`U~,*Ԡ~AUŞl ɯdg_F~+iP/0%1RVY3sLJiԽZ@՟ߡ̘n]jsYB'Yj? X=CS~4TsBd*B>5B$][B<efE6fY:ŝM16v@s.ީ'"'ʭT,ORh h~`u6"+ѯpewtuZeɖ0VzOy{Q uX+FrP//T64[˷v݊WzVޡ]s/D}kˆ{Q{zp^!ݿ5H /Ad7~_;XR4Ozsjf$0+DmeAYz[B"?I7Vz˂ąh3FпX:U3 =^qթң[Vj1ZAklѕlXCruq۟\~ (+\2;VTx7 ,I(+⯅3;T]>0l1El,Vn%?,4VdV,ٱAϒn)Zn1?E. Xs+W/E9K/[f*Bs姃[5U̞uIU#'""^^p)Om|9P\BW4Ey}Dm8+V荙\$tEƘ Mz1 yyYb[Ḣ%I}.֝/94-K^UMEžUȂ#SkAեY9k7]u~~bT7J?2F;;J[ğ.E!2]nQe$)]?⡇;*N"TT+2d]ԾYV{b%qtW>]j ` u Ղt ^܌r jњ5Wנzh f(}ifVq7+T -hu ߤj4!%VZOd31}*C#-WhE]Մ5R+u޹BKFK%|;h9T=~ Ҷ7wu%;狶bxC@et'AK/#=L̒oHxG/% ƙn pQZr[Am>˔uPfD(JvUYsFa5]&j!mK.,"! hu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodp 5W# RHOL-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[ν^kyEз|/U\Z=M Sp1Y5Va/ߛYj-b coY̎2d7<*}Bi2gKf#Y+`~ W4ΈL_lUf, ٍ5mAgTmzuTn24bZgm\21MY(ef w͞{T)Hb1سwL)d V bO goR<Jڡٮ$V N X &F%q"U4.ʼn4_ɉA4BgOtk;` bM")| ͝ ULg%΀2HzQ^D{.EZ#+ 7s[1s70 :(Ba(D:>@ _hu>f0*,ejyr1n M%΢~y\ g|ӏ}8x$'HDH4pݩ|Wa,K1LϤ.\tՔKI1PEVZ[w.@T p<iX 4JUg֩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;=QH `Pv? )$<PfC>$5JZ*Y%dTJRI*I%Slj֚fYk֚fUUUUUUUUUUD]Kt.KD ;3:3:3:3:3:3:c36cViU*mJK)-d)b%O/_E_EODODOD?C?C?/}    q'H"I$$A r9Dڐ6 iCڐ5d YC֐5d ICҐ4$ ICΐ3 9Cΐ3dCv2d Y$I$C!ɐ 2!$(Ȧ F-1`P$" ÀmڴiӦM{\꫾꫾꩞꩞~~~ꧾo}[_K}/ԓzROI=믿zֳg~ԏQoFoFoF_-wwGR$uwWfZwwWH ]R ih̙U͵ȕY\!Inܸqwg6ƍqutw]1*߿~]Q2,ݑR$ pQ,@, z  !0!!@qQ 'ic1+A @B!qH D#A0 @  @ ABq ~ :>CO0#1pQӠ+33[¹$թs2cF:3fvz١rLʑ|qtYҐڧ"YW#hhl`| p>qHt0>j_hx?Br3aTHʼnzG0~ }6C{,BVr*Bқ$ۧCm'c YZS0sAhAqBֻ3Eݾ.^OO9 THQ{zF[a)T!=5# aDg2~g&džӓ{[Y\bY\Ep*#|8J٩;5W^~uG$Rm(qDWro2 ǧۈ!"ac4+tġCZK,ɣbuhyf$VB]18/cڢLkEQ%^8xR'J} fe@nV #Le[͙Jzr13 ?D[>wJs' ̞zobE},fK+޹ÉbvQfk%xò\VT̮zWm)$qrѾpX^ln/zE#vEtbһncp{sm'~fSޒo^g)ܑ)zYf`;-~7p2{ל̷;

^4>ۭ[c;hGaKFh. pϏDq=nr?}PjtFlJ~21%썤)ӇÔp|H-n\t.H0v/Iu}uvgŨۆU"q~_r/v_">@ި"5?g4j3_DY$ۢU v WrIU۳sf2b֞_HOo:jfud,hd:zzS9L`LESE-MtYT]gza_B m<,HO*z*dThd@zz9V3L L7'gE%ӛyXT_ezc*8-BJ-ຒ]-u$n+2o וJ3oV^I]zR@dt<+ hܕpo{EꤵD=Yw(t΢mdlR8T2]2=COPc6Mm !Sɡ颒 e:y}j;h-L!4N̋Jw(S3y̢odԤp:T2T2=Ù^Pƹ{Dĉ$iHī9T"LΟL.N͐A Ӄ\|e:v95C s ٴ*M 3ktJEdMgGq49}ni%:{iy-w>xc%9ԿnѲoK F)io)EE3q0-oKA^\_ci*8y,5.4 UHS\ҋ)ו.KCOj"(5cJ=H.K.snR;اԌQ6@r.=8)nvqcfQϤsIޅtOj"(c zKNJ}Md܈QrB:c-?r+ջ.w N(~NS ˊf*Tcz4QzL)oߑXz50I$3;+5CLӢ2LΞ3#nJ(\+i$ϧDg2EL%Ee mifNiVfK?ݼfJ߈ck!Mɘp8M6 ÇG>yt)`l㵙A7&,dt  z 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kuc$*А:'YIC_6^? )ֈؽv7eK.-T"aٮھTF|.c;hdE$:t`4oxUTD?(b"B6d>l &F91/4 4#ԄEƬ((3+$ASBh$YE"!MEPϼIFL GBU*EiPTDLTquVe5,5xdeR:EQI: ʰԆ̰(DAՙcJrZ&g ă 4 )QáШt>(RUaQ#RΜ QeRp4̨B eQ,egQ:MIE m۶m۶m۶m۶m۶m۶m۶m۶#|-W^0ڲ{k"|-W^smٽXϵezϵerϵewSSw_Vǔ&S5͌Ljf2I)b17!toZ ~z;_+: ݺIjrâPC=q JUIgZb$6ю"nhgVJ 3HPӢ(tE^ch484e h2MXPeQ6PʊqM$ F>І%`N *zLTiF Y)-\ohD Z]ˏ1ܤ$͈aaaaaaaaqܺ/_ۿZܮWl 6[נ.A]m۶m۶m۶m13DƖ\zè˻ZֱqJ hT(TU^LTT; #{dLBDQr,BB=Fd",ck2'lYJ$$ąH"od_ . lA*DEǜFU5TGCU> ̱2fEqdm&ʉPOCQP|&h#kkcKEVNE b[yCa)MGt#VsD$#@@H$X  a`0p a!HAab?yK~ 自6!Kп6cW 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*CC*|piuhH麍kFP ZB4% `;;W`~\@N.,' v З{ wB0ʓ: H41X@ d|JMEUp7cOF]ps<F],IbWR|$,'c>i#0*39yRۥ9hȪ]╗:v>$M<3V(Y;|AK=HCKBVp "q7JvD\ЉCπ+W%#/!`\XW-O< ǐpt7368zV.00I$V ]k@oK"Oag h6Hy\oNJ9%9`Dy~U29;_T2$i`! 1 RQJ4@;l;TX#\+ !M5e_[6fF& SWV,qv~^^lkIhj1l /qYU`τ+yXL(%Q_#[[EH LbXOaڡ,A>-y)q;1\QTm>M<ûhVR.*y>m%zF\^f{#ѐə/ˈA|fa,[R 0 /*@T3:DAXqB#.]@98'x @LpB` @. &8\G N`V y" FVt,N{"֋H_ NGX+Xd-ʎp>BqKX&^LteFO9 LcךlD82 P:D,RHsdӬKaԶ/"=Ң 4VqP#P$@LBp @($&0F NpJ@,'0%@$O F  A`%`"FH0 0 v#X$@LpB` @. &8\G N`JI`,`'0%@$'8D ` d%x"FH3 :#P$@L`C` @` A&0X# NpJH0@,<%H$&F @ &` %8#GH F@ 0 J < A@'X("0'HG`J`K CJ` 8$ &K``\K`JNHB<<`@%0A8A $$NP~hCԚ_VA?X<$j0Ld lD;?ڭLɡ̊ON%<S2$}# *r4uYD#FؤY!kz˄mgrA,FPָid;-T2(Ie&Q SB9o~Ф<1X(_0!ya߷ed("XC#?-@"};gY euDzIF١۩3Z%tJ! LE @G  bY|9 {0njfb+l + q}&$O --֭fU^-' {1"nVb͒$j3})YH@S%Rt̼j//?PkA%O@v# MDreU3f?0458~"/b @hTr`9~}Ld#{?B:n.Kp]X[KQ wGdN`Xzmf`r}+R;5Xwʓ'TixbYҢao@b7sW4J&#F $ļC߅zƢt0Rst>SwDdIzjDg& BAH1 QCrq@c!!B!ugbto'R,A3vɞ^#A8,l%IgxF|"5wJXet"ַn+CqpӞ_ mGmhS_9`, R DK}q4C/R'yIXL WO2/)EŽ1%0&[(<\LɧY@_e-AƃN"a_rQiq4:m, كxIzr0̝ l=Z!Lo~rl#8Ggv!Kƕ4+D<jDBdTg| W @ +g p)06=-v\2ǚ1zU{  eզ8JwWb=KCT*lHJ5ϷB46lٸT+!B6rx?,@n=VA\l jBPj;ۯs0R1|"2p Oxڂui.jiܿU膮C4!2BHF}H՜iJ%WutWH~5X@E ʭWdE$*^J@ˆ=ڹ1 ß/ @Q3k15bc( "`/wsI&]D0BQ*-NfU.d_=dI2Qd2 Z\k29/4T8 rRM @`uϠ3D4D1些#0z= '/أyfqË 6nigp ;5e4" Qps .ag1#e>R$nߕRr J~ @3ʤ` ͝`PIYtI~r oVNm7F h`'CѪbJ2HAle L(UG=: #;0 @!D{5H MB{pKWfȂ@P̝VE=`aո3]bF{eA.$p-J5A?δ}QZ)[jI610Ֆ9PRHy %2;}'A*ɝbb#P) | 5W' hHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1Vjn'6mj_3Жܒ L 㛆>":݆eaj/4@"b{jcCtCQ`$Hr~pBW=ʃ4ODѐ$IN<<(OL ^<:tuң@(& ROt֭x2TBJt/9QjKUH=jfjjVڢEH!%JdёoȐod*on>J~f?oi;b]Qa=1X?뇇uCúX/,/:v뻷zz)~zwvvi]"Cii՚GeeZ=] r9uWU !dyDzWgffߏ< ; ˣ8hh`AҮPFhmm6Fhm]hڅv]hڅv]hڅvkkkjjj6m6n6n6vy;ovx۶6xom6E{{ޞyW[{zH^jǨQHD T  ")Du @bAA!PX@AAA !2}D|Q\,%bX  EqbLL/ËIb좸]$,81]d&E21H\.bpQ.2'0#Yb, ca( f1YaQ4 1Y` Hcb(,Fc0c$\a11Lb t]$-81]d&ƋOE21X\.bpQL.'b"]$.f h1\$&f͉1xL.bpQ.2ջv,X^` Y&`6X&0,ꃙE`XL,E~`j Z3"o0X ɢ +ŚyEM2D Q|N9ebL( j[dEfT(*!fs2XQ*ÿwd@QX3WJ&+z0EQ3' K!SDb\b2Ì$z3Şč2h O -c}͐3-L,T&v(2(I4%d0Tؖ )60Ê"fVq haF ΌFLb(~&CŶdHV| 5dE 3 Pvf503D;R,w(d1) F1pQw .ҋވ1Z\F"0(-Lم+a-.QuEbˆ{ kE}bOL/~Cyc̢],`$\JBR/QQ=o|Qs_DQ,ӂ5S*$K7y]~ᄃ~|̨&%_Sz1ޮVY~L;u^CuS%p?kv;uqM:y(o@/"MJl+ȃݮMb•FN`/^)v Б04b:xשÂv4pYg(b|IaH+ Bqu`~-L; Ɓ,XK9ĿP L:(xWA`LbZwu&SčqS8VʆQ$,z8/\@v::rϖKWI̽ew0RN*l@Z4OT)XdjjǤR J竷EZJ7`@^Qc?PI`Ib P=Yv.A< Ӭ;O]?P ${nUd~MY[Yٍ$`ÁNKQ.$%v^XHQJ U&.r^!LtL "G=ZhѢE-ZhѢE{B(AI&M4iҤI&]u]u]u]=zѣ>}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%" WUiL,E}4 JG 1-`Z`nqi-n0Y`bwqE<3E0[r&-ί ' Blyz? TK%}\ˡ9>Cozn4ce\.itys>om8U\xJ6L(޲l4SUaN]eeoeAF5Uxp3kx<;яkZ.-ʓƙfV;v$* G ]% d+kSxI"uWy4ohXT"4kIŚRU^SAɾ c/ m*q9^u[m+ Y*#9)P*\Hcqe#Js>C8^_*T#U'!h )xx25go+!qUF%NUӈV?יzP8ỀeQȵX#'n ʚX!/4rMD miIGH7:,儸#\ea?U d=>^ 1{iЏכ VzɁ2NH8^ 2u7Py x$N%ؓ ؼR o[sptoT5 S+0PT,=ᇻ}XI)Uc7M{3>(= Qd-Li%Brx.UOn}KUdzoY^ӡ,0 MJq6z6hsH)_~lOܭe+-*Ov\距[^}Όa+֤;w:}؝_ '[Z4pg]u  6^z`F#Jm7ĺKloYOXh aflҋIDQr/3 9]A䃳#`ımim+ j"S*CZn*lN!wh~@yB˄(7mBz#`WG$4)聭qC7U@jVQWՉom=FFq)tǘIm;,Lbg={7`V@`$9ݡALm$覀ySXN80}Q1!GLcnq,ߏn ۆ9&
ȿLmٓ1"i8wKf6ئ@IQf#y&?U:._~^KmbD?;hŇq$LC0 m\+ve{dvqMІtNIF kBJ;GH'hYŏ8$,VևpaĞ uzHR$@#c`5eUFZ NƣlG[MBJ,yn3nwS+IĹj%mdlwDND$P^Q˗bli}ؐd@l 'pn.$O xP&N pm@1FfԩY`$0l1q:/. [k|Kk$A8%"c08:=2  #SDB8%o1wr 8eqbG5QSsؕ}-,xZω$C; ?i,8V 9lаZ KAa7ՂsQk-A)U!! 3M0CԨn|&陰L4mWL orm@9 〤8Ɇk$.Q_6hEWLzKcklFIP| ڱJk+0v{u/4ڎߋ[zUS-)7Zc7b!lqyeN1ڄ{.e|leV] X9+aĆO@¶ _*X_O;Of%Zn6vk{ilZ?ya嘊 ^#g'Yj H-^eYST>h\_UM1)[CO\^<*I;;]0QǘFW-!I`31gXWVQʽDzJߋa9<_*C$ YVQ*l_qn16$" łB5 &ɼ,xuԔ6+3cP-NSzP&GbՎk^ - ?BZn & 9Y1Ki@/B>fي$frX*x܁d-wN  2mmn|sb 5cmpB%xF]pS{)\?$wWLj-`{BhOv|r/\su`amVSPzX -rko=X4 U#jjƝNUoqjmwߵcQ[w{ٖJ&㱦Q!Þa絅gxk?oobxK!em~Fd I]sb) 28NfـIli)ɕw9o`I=;s-%CDy7"U!ZBQm ͼ6]xPTvXM84͈5i#W'`R%7ZfZ|\CEN(jA; F +kJ@vt=YrW뒉V\ٕ%zVCr˜V#~QLo4*{ ꅎrG e֘xVuO PAbH((8g#. f@B!{q} 5b p3.V!ɮU{]WRҬ>h`WiO xGOr/R.fy eL2C(h dfljkg6,-ש4$$ˌ L14(\GunMan@4vI#E-FNndq0 ,m6ȎY\K4 ϥ Q i hrD*a1AWpdE!F)_L(EN<.w\hFvs=A@_8m3] o%l򫿾m%~Rzb%жy roχ rUe_a sY#~ xXD+ŷ?g(!h)X -x0C1@7+󒔄J02lz> a=}Hh "L$Q $eiÒ]yHʌ/"u-V}ѐOHJ3M̦ Dž!MYz@* %3WߦJvͷ[E2ma "bz]}6*Mˆ4Fyh !*ajM%LE@DJإĒPKB9ȨMs*2e&0.O3|{z9Y%|sc\1'7X.rMMD>y:)O)\Cf,0^2ь1e.fGPx0s8:p$#M9Ḃ~VťctR+Rxw"K%` }4ʩ:adb/j$z'*m~Qw1~;Cfef*±z4q4BEv ւkŠ1PLL'e_iKaטQ,xy9h>RTj9" h08Fe>$ 2P0$8&Cb 00(1 Q 0p rhw:qXqj* r`# R4%_N68t:A";ކ(5vV@H/ȕF7MrLvND~{ŵw,Rk/g忧_ Hظ;w6֩Ꮧ^\TnkH4'g؍΢r<vDSe@ Z 2`JOrbQPnpǕ? aZW/Ӫz6+r̷AHz"<[ )׀ܞ:po’ێIWJMy@ y"q?|͛-h:RC؇>q  xAQFt‘e~jq n  bT0z3=R\k*`Jķ\8++!)prw#4(bAVz.VpCh_&>F֩Lx'p-.cı=t%q}Åo-z!0Ie[nI߶KFL'6 c0,cWP#$aM_rm\r!^ ZHo[=źjcJ9qTdtP[R= n?eY KKǗMN%=뤼-0xԃOzEFc]v .,vɓ~eENR8eGǩ/s$뷳2:3ĩ~A rM$EGY əCo= 6F'O}?8HHԢ7Ͳĉ"4] Am-Q.$9-?rEp/T0~ Ӑq%d&nou Ғ/$eB<@|;ߠ_>m rLdKO}=Np,P_Hg;펲}DJat`حyX)ȁPV57jOR уߪ/='2[si]CcF}}]~-AeD0MpC& WM_5N"߼F/,#@{_/]]}4X>eE'mX2AU>I7ɓRWCCԆnJp٭:XI4Zo=^5<Z>?ap> -M5҅XDu6*ssrر@;8 i֫s$_5#G8I܄=ܺ.I?b8iio/_N=@Lxᦗā1ˀ&~ǵ={&|{:1KpP'Bm5%Nv x,k|ny[m%2%0ry)^%M(2qQX:&4q]mŶ_"ǫةʨ@ l7^*ʲ(C@mW 8JZ0k(@Y4G4԰Kt@%Lx 5+݄UGQ=VOv!5DybՋaz[F7@V! 6K#<6j/QLѲٟ'sr? .I3'L!k7(`;M!Qn}qsT4B4Z/N(˗7.j_͂:~8m'p<%"yZc`S@~~2288378f7cb8115f34d8a55faf8c46b65712398bce295757e9128ce20e665c4f4ba08c3bdfeff815 3b15bfeb74cd601d1e7f504e7a4b04f02809051dfd17312d-54de-49d4-aad3-cd509c9f3940