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_exportsu77 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 $5ztF> ]/ UHOL-Record_Benchmark:threads=6elapsed=145.055cpu=239.369gc=16.104(/ ]ps +wZX>}  9"} ˚9:PmT.(0!}=Wi sNcJuXnhj=*((/ _`MuJto)1 CD>?ܢ(PD}.>(1y"d y˱FC,y&!-wu["d>(/}6: Pm ??bMQ )e)deTR(G'W$Hg O<H&S k:)9[+UK|m^Q>ZguR^UdժR/ >w)jQGd'aY]&|y$ē3Q&Ju㻋ɋ&4UTp*H*Ԣϸ$%V=Shʓ2(0D@ "Ֆ$0v7~dVogmP>5rѕzOwn5]Mcbe}b(\H\NĚG|Җ Cᱚw~Ǣ4UuKGȾ%oT V<)Fhr_ݘ{Vj k|Y|K$RX|S2HrĚwS_$\s/滱;<+yrgiɭ|,[&U6VߜF~?]="OFssoZm{;Qt6rЕl*C"#tD"& XiV;m33 3 b#<FUMy*ШCuIA a @@  0$`P0€ P 0C Acrt] aj8wWPRԴv-CNf,<-} j*Yhil s}.qLKønjy,N=@7O#`U %cL1vݫuRkԢGjR%jgB{)|.k2zU#i+2LۑvyǸK<1l^ __ZIJ!ߝu\VHإNۄ5oZ ;;v?H׿0&sѰf9+WU;k鵦6 XC~v{5I)[U+Mf): O,h>kX @IC(+x5 dPѶ>buJ 0Ϲ!ͳ<*{ծp f3,c,`׃DyfE4<&SlDO[JJ#E. a DW`ӖX+cW}LcP7L<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 =jW)V8үu|v@k])nt%B0#@ 0#8A&$0@ |ȆQs#@ !o;Co5<SlCؑ,?+ #\MoGJdwL 3E#aP^pl&&G&F'F*|7FΊF -NA=d ⻐jI\-N`1S5W)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#!f gqR"'4{RzgoR[I7jr$NFrrtwb& "%R-. 13C/:o<ب(zLՊWڮ_zC=3HuP.Sopb&~#X jDox}r&neKg wv@i@|M.O#c?6 f mWt csھspvkO*M9}Ԃoը%F<,jphpٓlY"- O=˥ gIik (zY 2ĪAm~+]QdrVA+,P$Nl%bۯ}ᅇ"?S>U.\gzу~CKoS^, Q/"w{xLg_m:~ ~ͣG;-+ GB}z_Vymȗ}z#iXE/}tE|-:Q/5N03Bqox7ھi輈2t.Vʂ OKkS2(ZAF/4OmI 2z),Tf֯ .T<= H C͕dRj+2*]VAFoSyyO2b]"AF3譀U 2<-}. óҬdV2JCVg1wi5WdxRr^ ] AS;Ȩv}* 2<-AFJL1ȺtJ~Y_Vb7ǫv1; /gQ!:.Pgk mA40oI1pZP+ aa{S}1ZД^ XꋡLKr ƤZ4+R~9AQ}"5a(|^z0*.E9Q^6^| : Ջ֠"] _1e0 吏ʷ0mΕ ;S\L9Et 9D  7c}` &>O7d"?db;d(.2M7&& v{I<} B`ǨJ־|#EYT#L$ԭuRGe߈)߾.#zuo9{;|A'nMӧI[M%{:bMKepl0'I$z-IB $fI|5sIx(bֲXC\Bn6?bGzf=FԦBO[f5}(N3QBJFY*6Zmha(Ap&uE6JFAh4@PH(s!%*`L$Bh+f\T")h"P Rgp TU-B16"EP6 DZ4P(X("UhBL$]LB !6&UD6ʠȄ@Q&X -5(}6!F22U MZšIK+Mf VJ6AL)CRLb;lˆҠRP&E%*VdaHB,Q %C mM(mAhA&ҢQB1JTFHJ+m  e"De4lTQE RABm.*%1&1D*ʤ(DZ iUhM$cL`TI-B1t2( QP16 0DZ4\(F("\` $ELb-!Q@.my>^A3 Gs ~9[aH>'gGt֪n8dӟ5MUZp-!* u4D,Q u0 5v2A 07A(4LP,(RHdQ(QE0 FP3\n(4!&RQdE1$*Ң diP&iĊp TDI a5"+hM0ҪP'I-P ?9)rxF#`'ED{j\9# IP?ό rKdLI&-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 =jW)V8үu|v@k])nt%B0#@ 0#8A&$0@ |ȆQs#@ !o;Co5<SlCؑ,?+ #\MoGJdwL 3E#aP^pl&&G&F'F*|7FΊF -NA=d ⻐jI\-N`1S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain  2 2C5W' vHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*Dj% &i̧@ I%%$@@y<23kaH/ORH!f&I!RHAJ!Haf"H!RH1c"9^ 6B>DHO}Sԧ>O}S?Oӟ?{YeYeYeYeYeYeYeY%<#<#<#4H#4H#4H#4r9E"GQ(r9E"[dl1T'qy4( BRx $,Y((81( ``` `24]B`SuU-hT*A/m5kP[%RMfOğ"nWUYջOu_Y^ZŨFZ(ʫͪ&xl'|tT}}]8?eQ*++F2UWzpGmU^k"mũBM14z \c$ɝ܏IzОOQgw&T~GBR)RIߏT_}L񿏱T?}<*O}AT\;{kDzIϓʠB3\E@ :O'2xO%OCR,g_]աK'ʭP֝_-+b\ -0/`XǸ)jbEgI C°9{Ė7 t1sa-(.khYٺAtaזr ,SrYke_h%+Tp|UVjqYr[r1(Vd%dVwݥ,ɮƊ\]Z %rUY[];KKx- -G-!.ڲVҐ*]4oʹd[EYD\owvKw) .o rK_wagivy(~-vUunY^:pXYxۡwt,eVv0Vff5fSzQzU\B|(Vu_5q) v3;Lzc%{DtX0/1: +kX`o:V1yT`=虎ˤ2AibLe _*#Ӱ"UgH9Lvc;L%;0q03:-д6>CƼ;M"rc{*D]qvbɛM&q=[Vtae:ӡIEX6l3{سX+sYg#pRfY,S4ꌕˇ99˦df.e,;avћMV,f!Yc.]&WxbZcHU-x{ĝcuK-snP(uKgw1${lngemI Lcr +XG;FYgTM4L>&H0*SaÉ!$$vJ&L}0Չ ٩|cqb|`TmD72طUe5Z+9GB[L WcB;O\q76yM5I0`y!Ldd m)f9`CUICȾRĢ1 p/\gqAFTyx..9e1x8^4⃩˙Nm4iՙZ,}c*bI:O8,N-|.ʍ9i j_XWp̶͂SKĀ֘z9Y4Bóug˦E McgFjLC8\u]f%"bAk~fkC,`] Xj0)5fmB)}L2t2±jj7w{텞y]pVk>j^۴@2G5$Sam3'#롦V) q{PY^詟gn_ X⤳t3h!`BgB6.ֿ̖ . s :F*a3D y"@83LWLWV!" WqU 8ʪ6dvcQHE.ޫy0o+3feUu nL/ muZe8nX35ZYmCrm7@Zj xXT/+Ӆmfuc(kZq HI.h8n,6me 7)+ Z 7Ȃ}"X3x1QVZYAv~EtPk5Ҷbwh`#6e~AO9#8`wf3]x${?V$/O;ڏpX 2fF"7/A#dBUQgj=1v1pIhaOM`P-7!D'5%4 aIXd+y%lɖlɖlɖVJZ$d')D!(HH ˲@$ 9 [AbXaiJCL\L5S"yL"Q$I BP-7^X7]SBn?j"m2  C`2D1 ` H (A!BDX""\+ZŤ4p#n'{ܠ!TKF Noz}Fv )$ V"Ȫ,3 ]O΅o,f 787iem$UeGp>4c䍥Ybj܊8R}"MM.1@/{ ya->ضBB*x[>XvBY<` b#3|<!TkIǵ#Ո$9y^$(9>968?("斱AE!@AQT;(k@ꇠ' EA."*R}Pk=q4[df tHZDm#`,x 8]Vk p"؝)u/[8\V )6VS_Sǵj,Y6:bI5EШf MR6mxu\U^v["ƫP5 nX~j8?|1 K_qp-U} (ULUɇbt:B{[f?\]$pP]3.o0o ]> !8cc]Vx6`v?A@[ 39 ~-2Tzנ w°+С4;G}bZM%!?0(\24^xtq_Ǟ^n{!ƵDҮ#}Ϭ4.&04(1D8!^l]Yɮ05$C<My,Q?lU8) ŀ8T]y>|_lo!b/vN6 G+mJ HE՘ $]'йiS@XXB O]mⓧaDy]v>h$ˇ:n<9XG*9ח@izp%֋ P QY[~dPR{W6cvSEW&~^m1>>荞荾苾苾苞艞艞~~釾/}_^^~駟~zғI$1A bx7 mhCІ5a kXCvH!gr!;d)Cʐ2 )C>C>C>CrH!9$!c2!h(jSȮ IZ  8(Nkڤc'+g5&9yUs}1sISNf^rsP0'29p\%܇Cf ðcz+ɠ+N6'fx2i3t5Iy%tN;LliN ue sR;3kPs sL(3.'bv2Sqfd:.Q&  0삽 sH^کX(䔂ܠ'lJ o7#3w;%V]ڽڵ+R9ݺm"ڕHysD娘Ct%G(¼{WrT]]!o֕Hsp׮d@wJ\ܵ+r9ݻi*ڕHyD娔Cv%C*¼[WrT]!o֕8s`@[wJZ+R9ݺezڕHyDQCt%S,¼{WbsWgTXT 0$X]# '2q=9Sq3k;sלsI&9{y["brFMJ³6IGUE{Nvq2kaR03jΐQswDe <#fb6Giyc62.… MCݘɉgٹaS>E 0;! S9YLܤWf^f6)&13N99x;gBAYsÜΌƚ$mf$+&-3C19J=K^\[Wxe,StS.$%Yi-w;I9qH.d &#c7,X5,G3H QA>P* I8áh8p3vpPRhvTj)h)ǠPLCױq$8Gjxb{!VeYͩ|sS9h9q̜nttN7nVⴟJx)JQ l 2 xQPp9;]_s;*|U.5p D$@xO2-:lcDW+G4~C +ОwzH1n@n|C{z{KoR Qm~֛Dڻ 7f.yPY^-h2l…Z:9/*r';*4U(_]nULA (J.@D 2 u+r(T#6EWn,$=PoM(:Ȋ}ǓTwԳ܃Է]4D69/4+/lgCX99,ݤ!հC!(אxϱB\.X#qßiW%٧X1 {k͋AMQEOlow!VA4(R2q)zXm[B`)Lx]bU3HS(TBٛA7Oyc}`m!fEoo"'bggb>R TiK}2ƽQOP\Agb<JK،o5`C4lh\C@;G<"g1C{ =h^AN%V;1Ie!_u|2)?/lU17dNM׆|PQ(౰ հI50adrS5iEZ4\ߨ7un.c>#ΙK'W!/o"L^ 9=?cݡ]ĭR~<jD{e0X>~bE S鏎 0&#euܪ7"-> |>ٷZI!OɹՅz w@dM @4^uLG n5iLL:! !'$PƖ&)MMtukxwYB5hF ^z ~[kr:C}}<`rK.$Dd`R̝E3G<^4*/ Ì?`aDc?{YT{sk=6 YzhJ<]4't'[ ǰtfMeTϿ4NCbX'dy3WHo lln foZ틬~?F]V'{5Bj[:c}=@.r].ݤKsJPrl\öә5EBS4NC̋/>i¼m OћȪ*\t+BZÚFmgSoP6]68 NH왐u,Π@H,4d)b`0!gFtMgAc_gZ֘7i 'FOڊŠK'C̑}Sʍ]aOC~٧Ybߠn:w&m $m>#$Н;i@3qtޜ7 7>7 r^r2vTSP1ה"jrlg.J'O¡f>' W'EV>!L^&_Sa t\j⦐b:gwvix~t< L 9t5ͧf6#۟%DÄ=[4Tr6) Qn!<*u7JLkJJʹG]ZeK7}bSw*6|{}E<񼩂eemj=7yXm=t{x`X2o3!|ߧim)]OX9c*(O4 huظO[#`r*M3:RH ~؂au&C(\sjpK*@XeoMp;q5$ld62UfYeVUfH'҉t"HGQ6FB-d Bmٖmٖm&dlmM [-d+nŭV܈q#nč 6܆pnVnVn&܄pn02 #02 Âa`լUjVͪY5VU#H4QL D;NDhmm0hAI0` "!"!"!"!a0D8,`0DQaB pJę[" aTU"܊~ @ @0 (@` H @yyyw|e^e^9ys7o>̇0|_^^UNTN15xOi<۸o_җ/}vfwtGwtGwtG7|7|7|kx ᵶBkZh-VR+Jh%4 FB#~~~ᩚjUZժV   HD"(fb&fb&fygi۶m۶m))!!!!r!K,YDHDHD0`#m۶m۶mUUD5Sa"D6؄MTMTMUZժVJHHHD"D131313?>>>qVFTU"܊c1????????~~~~~~~~~~~~~~Gs~@ P`z @ -8ixB@b nn:gWO}SPAN.=?aأ,Uacպ?Fp1j)2%!&*#?mjd;'K8Taa5oTQy+kP#S9$宫1&D`/L%0j-hh_%EYD`O$,I '#HݒNK#AOaE[T )u;U*EEU{Qtս0B5jQ[TJ/m7%PF)7URKکE- q0v|P%v86O V=eUSu_: #+}@Y5fm'4 ҷQc'm S*\M5Q©re(©i2> ǩ" 5laqB*[dQO.j{x  b=T; ^2Ч[)pAv U;5=e|e?YP픜(ˋsOX)y+1=ҦD,)e6R[饙R M_|/jDK-`gN],ShV J"B7]I.Ea%Ж q)*ڰSMOnZ%/tOCS0S'2RʩT+Ef'~bKI0+Q%\jojf&wS::c%^KQ4H(푉Q6qNEUU>eT\K%*SN moU¶U*_E*)ĭT⻊R\ 1*x-E۫PS }2pPWR g)4Kq*PB(D^YڍDŽe Dd4zxqine_1:e[{o(aWl U tRPZPA*%Q%_i S]+Va7USK|a*FrTSxo!W UTWOaXQIU]KyLar8}w*f\$|*]UK9V 4YI׬Aq98_Y6MDTiM}ɦ!v~r]7z.QO2ve1ӆIşT}Nb'Qz#'WS?_<;-$ԸiM:}smjf>I3qpPd`1,ZG IV]^ʉ+ur|e$/O?g.;8]~.q_vfy~_>P^+y|9ry+awk_<~Uۗ3#}qYCyK/W,-\9|+ߵˏ}n,JM)r] yGqʗ_ޯ\.& &B[IϙKrfVοk?X~9Y>ߗ5WzyfI_N~\^w/]9]W]c}PoRwzu{U>.$O{~jeEcq 6Jϟ,Ml'*xGf~?_2:l ֤yǿd7EiMz|Yb4eξnڧzr]??49{zvzӦw.6Y='R=fu.h856Q厺#~.?k/rd]*',yő2OJW:w%WrN'{#R=̖$n3{J|w["%#O0G%EKgLJtdf{G'N͍OΚwMD~c(:UenhUHl%*^;%_ ǾNaOْUrѡUpi*F@srYr2{~(:8 X%1~ODǁOCM: 'd}p6m S3<722ExD'E.ZWoغ99{xbdJ9ML)݈ͧ4<?Qtxfؚ=_%[t(7>)[f r6g ;›77֛7zFoFa{E-˲Gp4fffffd_++UjVjVj%Vb%Vm;*FgϞvڪ*U*U BPi( 4PJBI(Q:S:))YLdJ2RTJݺq&QĐB iݒb`EN` ?vnvnmxކmx6mI$I$Ɉضm۶m۸3;;#"m##dW$b&$d,ȂϷyM6m۶m;k׮[[pCr< ?۶ڶm{kmZ]۶fK+$ЫzgD^mڴiҫm^^zgĎD$J$Ieے$IԶm۶mKB I$$m3\n";\;#D>>>>>pp\$3#n۶mۖ$I$횈EDDDD("b۶mmmF33D| b+"32#32"32#32"""""""""۶m;l;]m۶mI$I!$2HDHDHDDDDDĶm۶mmoFD~lGFm۶m۶m۶w6ٻm۶M{{6]3  0Cad !b `@@]00Q|' RE@Z[$Q}JE$N4{DN fs]T֓N gyټZV/WTd"bS5(ĭcgbrF(;Cnč5ٜI9$EM~͙gݎ0!/ټ#:B:e9 [,QKNKְ_p! ' D9;zV}.BCsES4&L`; J7bPȜVAj jS~R$\4א#,c1DӈL'Ho~D'V=Yj~N~Unls:![^I|0(`MelwSXRNG2s5%RXqH<6&OPӓ!43 &5GQ匞n]e&jk&1J& :;q9L;SɖbN\a T>ԍS^<ƴIXoO1MgH7ʸ+e 6D5+*Ƨ"f K2)VC;?MAEQ>x 7,F`)4 GJTp"Z1Lf_%Ƶ= j|iu],a03/uSxS?a*欕܎(H➩P Pl'f,y$n| #I54&߰/hͩHɏ*aNU$*aԫ#%?%?G)PO:$0K^}zVė9Б+&kԒOo4vn/&^!?-)b<>=Ɍ͓f%^D* CR+ϼNJkJMZg/I{n> X7sJMJW$pG` )F$ڥ{=0}IJx9m{z^;PT԰7'8^t q_4_g "4٠yK\s'R=4ӈA>Q vٽۖE8ǪQ t2d? c^LS%1*ļOUTmj@P@Myn@iZ">:P,u#.M23ԩ0[]sOd9AN4Jd?,I2жLjg_ޜY1x)S %dfHArfAzS2-Җ&ضkC'ji ڠ FO{f!M$zQm1Dh[蠧jҩvQMdxлIN-r=yT•MکgTz$AЙagk[n!YHnOE!s\mR 3{E4I@E^3Gm?HCb} sV*[ jOy32tjM)@T!T΀$4F)] <ϸح:!gyɹ"+4(va-qQ$T$g^qQiEijgǟ%)<΀].s<1$pbVAe>\.ze2q/eW=>t-3 ^b|ם 40 yeFs}q;0)ܷVeUPU=ʀ2d锁4e֏G?a0 u$mKJ9ICsI*? ubW )ûxQ$鰐Sh+m$O'xRFuR_ KFjBj5u@g<)iBӲҦ_>FڣMRYaK W 1XBDؘk%K]t7)^R]mF,cb /8;XNZLd]'&s=,ќjфcU%n"x z1). ]ᡄ7".7kzET\Ԑ_㟱ga_;1aBR 펺?=2F0)&w"Z0t# KIn'%0RUFة.0yy\AZсi77HTΆWǕ^PtHU= XzR^kI3S2'˩;3#/4 Cjczy֙bu9IG 39xN˔=LBޓ6m9KK. ՂZ8udhpj HN:yI4a>q{3Q@&xf$h΂?R$\?{Lw:\jN,131'5Qs|6NHflf^VObQu,ufcmZ![ᆜ*&NJ5Ӓ0h7wf֟(Yt/:L*<K RfF53SXe}X`j|*NueOz/ }czJ (LzF/,#Rjd2ˆTH[5 a^N1jFz@wƨPKTg6; R #eL[lA)pV,@-.\[B(T]hTBb&oaFs8@oE$i;zSI1y.ƫ\Ffd(*CpΣOAZ*N}nB Am|J6׃cJDjV$dɱKB .55? ea*6+7 $^(B6<:-I^ ïh<0e!rUPIDpU)a:T4G_lGPUW?+׋QiLһ72A:G LC%OCDjJ9\?-R ǖC` ]4yK_}^4I$MБ(oD3ވb<:|' XtGx井nJj-4 3|eCo:T4J=k9G^ZT.#WH ĥI$=4]X:ȣ!H;%Je%oLR"81]湝(qԌU4,ψ(&eKP]x?=&Mk"IV1QUXp~hWHH+Ц\r "@5Ϗ`'yJwIzsb;=$攑"n$}m'a'E!:A2I;갸$P$ԖMznWg3jh *CC5%8GdLҊ , i&io_, #Yi+ i6{2I' ߥ^ڊG!I良h(d{Mgx| 쁮O6PTm0Ջe.T't+zwݒrKw]o[r3D0  @vnW2 d 6Pp@q@ >"(2|>!B!ə&|r-[lHHH,Y,Iv3Ln֭k$gfffffffffm۶mۺuT%J a IHDDD!c#Z!g6,´#7$I_ڶmڶ%I$I$əm۶m۶m$I$I$ DDDDDDDDDDl&H"DDDDDDDD6Id[r3%F""^^^__/-)Nvڵkժ)RB )  of"ƎZhuBhfMiH(I_d;RD(& 43[_B -9#J$XpaH$g%~m۶m۶mKR$5$ə̶m۶m۶I$I$IH$dP# 1a(@"D`A $LF" Ubb1<>P 4<3%mO 9ݸ%-t@ 26N^l)>VrK_x+`>~ٽ'C1O]ۈUϸ+s+Nɞ `;I:eoqϫTψK~WLƐ+Rg WgE&xlKT>NWc+<;tC=&æIrP}Ѩ,"D*1bm^U% a8+ž]$76/m{GZHJgfN6"Rk [*n wfN9gZH 1eŇJp٤sGjM)ot9;Ҧ;5F-a#9ش&u#=:,dw+VߜfA1V&SߙfmDI&_xOZi65pfwO+_}$5KH~ h%| 1lnx5@ќl[tv|rDϴaQS;)IiAPdZi&?aFL1Iު&43!CG Jl?3T*`rҔ/Ɉ?8e)2la8ٌ>ӝIhtI;\ wz" 5=ĸQR.(l2ERX(8 1(3dFBӂ$9cGBk)=QVƼ EJ>#c^H Bм\\wR1C@[0t?wUn8̎nL:0QId̪& B7ؤ "<7 R>bh1 y_ĐUIwZ ^I(BQ(-Yh`|&#`ڂdT~z3egi&PnFC?7XC~)|;bpP'#ff`iGXl}}) W݊'K^|XN\XtbY01wsv@3&!?3XV t&0pNvJPfpq+5#q.ɵHӝu;rwn$vIT~Fz)qyWҍ&q-Jt;xuӉY R@w3_"^o[gowƒv_<_HPʻ0 ⻣XS[gW,r I?BNi>MyDMړtҀ䥟?C-G1ڟ:O6CR8*PP[Pf6SaOd).J՞w2bP*0x{RkAD(W Ig$IJBJze YzJdޛJ(HH*LFT#;D(uMǬ'"(F:b) 39'`@+tGmZ!'ŗnkNj.E }I3rx\zM뒲ʾ;'KD$SF)/I>I:sz_|_*[bӮR17Wm"̒^Vrm錧7[Hg'Μ-;KҺYϞ]gK;,/y)Eߛ@SO(Жz0GhK[~:iۮC[Rֶ-Pt?O\8)ϡHY- yiM}_^ziךd-1T;iJ ֜kD8%5tzjKں=NyՖZ\Sw7-z֖vXR}|M 8 _[jL(ؖD#vҾ],-)ڢXHP x.=M$4Av!bՓ&(<+p .;*Zc+{ӧ(QT.]6`iS `TRe2e$9J[/%ì(6!*) 9j'W W~^VF4`\({IL!+\` =>%IkM9o[f*eS)MrjLxtٜa?).Q<XOy)I{Kb*૿S9*fN_TeNʉ\OW`!(63wӦ"gI2}HKV Ҍ`H*GJQYtN.>xjb,%hKJwl‘-HSO! MWjSܕ)GV_ZG5%/AWLUeK1SPT<_IӉ-"Q.T42f-řg  2Z@QTG h)S47[5` +Q&C[Q ؔJ&SjI=h:G]O㧿e9Bx 5DiyP%cm|]a<'E2kM/IfherNk*ldfRVZ#0 n@OfeUJSWI#R.}9Ǵ;Wߨ +bOpRꐣ0W_rN IAԓyqein/۞k2B7lHȩ@ʼnr+&/͖zr|D2H~:JFy1I r0Sy^+O=w >AW*o: |:^a'Ug\+eҒ^#!~ \2OCS 0 6z @4rLIH?a> '!L`y#&qTR֏>Z63qʇv1? /1yW5cWv(UҊ\x4ͱ"pjuUR:nz@56*))|RLe~'QV !"'oO4ͮX:]jetYQ;W՞o,kW1sZ\]eѠ=,Ce~G)rDıLvXKa6éƁ|1 n@=֝0rKUʴvі*qD*,!'o?U#rQlAr{t_ [R}h^FKU ֕kW+/GRvan{EPȱ[7W(I'{Sf:|\ZT + g6[4![6nqYؙuhL#ythan"&՞ Oi$u|i5fw.%q/$YI.s(%"h1Pef)r n'G׋&>i!~4k^ ,SE|Ė'a]7z׫= JIQu]F;b6k)u.~Оlg=sřLD;Exd$$sXI:O~Q{9e[|6z\U(,kKGLqZ>~oH߯.$rjw^Gl!E˝8Y !Rкґ!I%{YRu̩*\,JټٛL TáٹKj8PPwЛ%sT"pT^9I"v|NLڝ[сRA}4Rc'2oPfXP \la pM!E $)% (N4c1<yQ<Aؖ|6߶MďMaE1߆t"qQ8A&d0x &D/1߆t ,8c   0 bUUUUUUW    }/꺮꺮뺮Ij( 1d̋bu c ݤHubN<\Pm۶m&I\*!ICImIITI'r> 0 0 0 0 c?CKKKKKKҒ$IKKKKKKZZҒ$-IKKKK%Ғ$I$-IKҒ$-$I$''''IsI$9I$I$I$9IN$9I$9I$I$I$I$I$I$I$I$I$I 0 (4r@aAD/ (۶o۶mo۶mƶm۶m۶m{۶m{۶m޶M۶mm{{{{۶m۶m۶moooooۆmooo----I%iii~$%֐1vI|n81 `u1 z4$ ( @XPC@u+3{N^[|qHZ2Mp%~C]u 礓u ,Ant9^S{h>艅=BXX3U!Hu!X!],PD"UhĪE;wJJ"Q^4B! 5SGf&*ap"6諐u!7*G/+(aJ!`Ju2/.Msu~`5Ipv|ҫJ4`-W# ]N!vDH#5<,a"3JO(djН!`)"HlTyGH'ZpjHSXW!!!bv+ I'f"nG>9*I.N$ѱ`NA;BIa~| HIt#-OU;:Jj`##YVG;$H.cyg"-N!=ٍt74Mk/P }~"$?:ޓy灁Inէ r!77-Y! j X(?Bh2?BrLA?B» )!F*OgF7L0N'BP$M$rH/q_ HG*`/CѝFw?N4G]b縦kBþ$^򽶭N 缸IX>_rЈ+垱.N:NOkN3V#MyN3R4r+ӱ#E!a:{Vy˵#LILn *ʷFf8 X ,?c][I ! ,HTb$9 ^ʹ'V W AJ0teFSΎ>-=Cqj3< )ϡ3#$hIg>=3n饟G;I34)}g 4-O._sdMd=pzo疌bKz9U\,LXPOc2>"t0神I#G =i '3vhӓ" hH*a/K˂DHcDIq[4~Oq#?QcSƅ4M>IВn; 'Ozm3o:lpeEI]?1:HΒLt4HXq !l=IɼڦRSϴ0vH8[:f7ܗH|;mcnh zR}%`yy7Og@B'_&D0!%)q^ O5dʾ882fyb?[q,0o%:A' K8$ .9xɁºR X97ˁě' `Lމ>kRus, {n u%s,/:K|vA2%Utс?;Ik*$t,Ki;w?'fQr`T)urI{s"Aǒ LQ[>)SFU@bY8yr{Nʙm$*Sis&}m=xӴ6;{&Qs68GەCjE{U=OC3RgwYWU9ݻNUTN[85* G͞\ `Ծ1zU?\ &5jύ*ԫZQfʧHLrtai&} mś6+C؀BME5SrЃBg)s=ݐ548&Ç*bvXͬU=Wa* MߕQ?J5VUd%_eZĻY/:p%@wFަ3n̆;/kبk`u@{ 6Q3l*[~BҏR_}B6|l@nbN< ?عM1i< I33R[:c uZQ=Wf8i( Ҋg;#6LwҤ̪B$KqX%Ic*³P9&*%St$~rjH."ԛ? `]%s'f ԝMܓh[4EI:q:I5d8PzSII4Ie7M//<20jvFTlx& gKS+znUMEУ]^-T莤U{KȭYYԳ|OV[ȸry`[^Pn^55n(f)o,з ~h)az|3e _)mU.V5 Sx4:?L"طH=f#L`ՋQ*J_R\PݴibuQ4d^J %eRb4;VpS \,\WYW| 漢iCW*n4%k}uJl2b~VHC3$(5n":Z J`Y|]EAanyZã⚹sHТE1*OnL ShpgEF= ;0r5IϿS.pd$14@iSYc{kzpr;TUxm] (Rayp=>/= FăϥK{@^T7ϊ~$1!NXn"@Ȑ;CS9ΖhY?g` %K-\Y'<'(Z%WBƝGSRGF^ %Ӌ" MIZWR@Idwɕ:O=Ma7V+C3zZ8UWieCN#u&LW@&i: s2IƲ&JçPHƽ$="iKFKd "lB8(Ӱ`$zOJ6I6% !{A<5I%n'+(Cz_$_tK>0Rr)EoeF i-TXM7+ _=E;Z{|U⟻4(9ctZP f׵dr;+$Q6UD34TE&b@U6VD2"$zf@ CV`0aA!B!BB[Q[!,фM#0 #!?p(a[FBLA `@4Hm[u{{UUADDD33343333cP35cPAmնfPAm&"""""RTDڪ!f6jHM)?["jf#gKU$Ql$']$Q6?6Q6RK޿߿{6h4hF?zlE?я~/Rm AߠoЫ2Ak~DDu?[HŶXŪaI$I$I$Izfffff۶>jک!UfAl" I4*hnRU%UUUWճ$I$Irrr"""""""""bbm-bmI43E"f[E̙M+^E"`UD37RiRT*JRi{H=oߨ}>X AƁ(8`P  *'X|QKhC֊#߾1X@n*zvP9k2U̓_ort\zG΃#r] &)~M!mY x }`f~)b<87r¬lCWN!.JT= nVҍ:EF&zΧ^ػHTZV.\> @p]]=G0_^&Agm@eRTj¯U3G$ZjySC&d0XM y&U]e^1xJwY Y<ߌx7='DZBeDVWb'1qq=/uFDk; U YlI+GFY$)LM7TH7Y'&8eŴJ HB%P>+'k9͈QB!ʒp]46PvxgQ)84k. rER{f]R KD1٠`l"6M嗮G~zJ}bY_+*VcCoj>kM Y[ZQʁt=4D(]ioٜzO8UӰԶ_ThÉA>@=Tiv {8âJ*ry#^(-B =?ʁB\C]uSd@Q09"M1A+4U6o @?r@IO0BH?'+`l§<#-p>wc,P?ȴP7hޟGj3>v| :O kZШ?qtT(zgLPzOV I y1P. ~5ѣk@Ǭ U6ԞJ)§'Ҍ2pGqM㏙iϊ? 8 I{zᏜi3J6#FRDoȘ#3H)[>L~(Jt(ǻQL5+O-VSG3)r?;&s3?~$)l?Go{Sj?1 "!~o ' EOa!q ίU( ? =@>zAeydP qPQ4 }[-S+I{Gs5#}}$5XO>Q{@?r~bʞOWyV.18S,?WDvCg ".\xr D}ȷ0N3Ղ>-t7}y?7z}.ُ2j!^1[\0RPo 8mQo !V}Q65k ɘ-&E!;/%ZySn VuiIlx^ \W j:8{XX+J|$g93hD>P&R"xԳEaSC'c% k}PqfF;?T ź6fK Top8 T :VzK(_TZk ^u%4X2K BJ dHtKP7C>ѡ3S>K%X$ѧ|B/AC@zO.gPͰP'c]A6§O)H!YZD׮F!^G`hYUt)$FN(Q\У@1hKX 33rSI敎9 P"94s9gxsv-:PoZk*s˕k<)G0DfkU`Lч*"NTwp?uʕ$A \3&Z]coC@ҫ9PT%AIɞ('C'ߣoJ  &p'4R) WZr7 jSCQQ0+QV `rX`P'B~:P#5x1 ;l7JO1+TɄiU)nj{V+PIT $]7LI$I8Hf4@܌{WU06"ӒPĺ$O3G@LJ%yt Ǹ&~%a:Y?=e@I"}%Zؕ@nI$!wRbڞdU3`HE$7!H@4I&,bI*V"yP^ҌXh*G3gi)qb[ٜ99C3Bܴ0z j|VgF]"Hؗ?QQX?2j4373(]B|͞G GS?e7D0`?+3.3N &~eOrC8S>aHdUO. -ГbY58ŒUtX:<Ve7"PJ nmw k$XRRH]R,vR{2IW[wk„7n&V;0$ݏ$ ْ3bBu$K =;N&r&I׍`P# hck@F(l(. dU"PuWF cL!X*߮TJُ(&QYMDl9sHZ+ʬfG۞!~%ި1#qz) ]NRgOlC])EM\EY覽,'1xurF DM-UŻ+AVX-o߮ ZQ]x+W~:\sdXM3RUZJ ^-4JueCV<ҮKȮ`=]Z0pnvh)G9n0&/ZhۯGd+Z 4^q{crİ^rǔ®–ac͒|#DYnрޥYIL*&ͭ3gf.w J`w6K}F9`U`ὪǪK'9E"x5D%#Ĩbt8ŊVuJZU(C"~j#tUZFT0qHK@~P$;Ю.3ZTqIRʅ@X=N Jջ=$15AxTr'V4[=:gBҥS3Z}LR댜UT#co2[0ڕQ\L)<5N F2 4#3)Ȟ)Hr72P/=ƹEVYa|{RGw KdH"Sjfܒ}^ d+ lG q1@7,28;yS;`Nq*,2T2?AZeX䴂O֌/qz.ީ 6Mw6+fѽItqUG>d"d,5\4 c* .((/4*cdK˧gB K;G'r_Dn-r " LuD3cR!i4H 7ܲb/˛M`oC.̓ ~)-I?A|G%$,¯N<oy\OKnl n-?;DotƖ/ ڗBP6vx>b{+\4D:/?mCcqxE0VX <3< B%Y P_oȏICᣠ :{VSٻVAg͵]II (S7]Z!2`*. _Q_9~VXNZ*^U+8DRƜG0Oʂ.i" b6XMixXKt蹵­0   ɗ!._' !ݵR1ۭб!t젘I`!m1ӉX!ѦG1K3! b֘Ȱ!alX ܏Zs1!W5Gj> E031t\&ՙ4޺v7]CI{/y&fkUZ[Cls֐U ioU w2zPB ~7:G$I\7!(Gq(;`)\2d`$SΘR8eHŸ5fPR5(o5(Arޮ*gą0S .X!.@*I 6( gHxyNj;'W%$G{SY&cRҶ 2^!n.,;Ya:U0N@t%}Q!sD.z&+~H+$|x)HrSi%\cB n'5 {B]`6  !Dk-!j\TxP; â֟!5 zZdh(>o\TH- nqS[D燤7`p/XK yIX Oxї?,S"4jyMyi3F0;ʂa6rNc0[!wsQ(;Bs&Wh^kyf9 ]0YݱƜU}~'EPd9=Wi Y4tpDJyI`3ܞ>.L4]O<7;hzi,4),@}"'2 'Tg=~f@8*6wkL X闪Īǻ%:Nn<жP 161wNc^Ș0BzI4Ӻ*~ 9a]==0DaM*̉jB g@AxJXЋybfOpI5mLe&TRc$\y—|Ws\j*,Q;h^'tֹfy! ]^lN%HJVbGL=CUUsssUqm۶mmٶVEMAE""""BNfF !L !!h#!D]/X`]u]uR---RUү]T%G$Gd9r4#\UUU*Fx!/U/<"<-_x kk($ѶOl ac1B54c55F@"ª63B«"ڄFm3Bk" !ThB䵊hBUf<8H aCQ4{AapX DA@ &0Ch\" f`CEyA3Z _5 F ]9 98~k[7V 0sj(i*Jjg=ו!_KlP'Ly$Q,i0@Z*Po27bvQQ;>)sS\;>AU=L:[ޝw'ko*Ĭ @ꋀT'I%Flj"fXfBٹr]\#Q$ڲ1FkJ]EMryĠ,2_3QY:j6xmJU &>X(U - [{e܆ǃd9!=U+NdnUMv( Q+81O.#ho,D)]Ƈo@msSM0zrnW|*,\HoX_lj;5ql|NnXE_cRO#Pѫ(EConn%wDM(k\!usVNk%i[uĨݪʑj6[j Ԙ,Mߛ=^,^-j&I|dݕƇy '#iWJZܥpr2GFHelѿK)輷ubCuEQP/5'z,2EYK[3I|U1QwmAX֐ P؄Cr͑ U象6/t#M& BS?ة揧1w^z3sN}[//W Y=!VO3dsgYz!핅Z7pkkaTgTzgY'rfuI}XgVHCigDh叺@Y7Ra_/Q3"Q#RDXu#z2c5"2%EVE$(9=-8%rCnԙS?-VvcE]zpúp&$H;a(}P*Z"T`u뫚!G55$G2` HwTV&JEh9(Y'8"=]ş)m(QH5VBP-/rHu5BwocByY27PbzC֘ [yl{khz~_-S叻@Yߞ>>gi:`q^: UCh[sѹK:B]VO︩9Znڔj`yV+ 8_uROgX"odz=M.7'=7ĔE\ٽa~ /f.NZ^/ZK>@."FEDIsYJqUz~ֽ Id,;fq2꙲zj(!i#df$|5a}Qg7]}-Hle۹P _:Gոз~`%@H_,PzVq 妭fOv ;rF&/<XLQViDf䐳k3d"s97׭6nFCN]g]y5DjWZ4'al A^ R /w~`&nD~aҬIak|CݽH*[~1߫d­ed t{qޮ兄=*/]+\V<D?Mx{'LVXb/}qъzV ĩ(\\"-Ft9-5,>P,OKX j93n};uɘ YF -/O7W|ߥ~W%w>$]a%>^-p\UW"sn=3/$#ڕ."+^x?cB\SC)έ׶Z]Ը&ŻsK(jI!@1]ng‚ 㺒KÌUrqZ~^=]?E USshSKnג'&Ӫ_꫿F}2j6;-d%c ō2~Ny+E jPq(v-}i Yh: #ȷ]Aj93*qa\sK#.6WibޖnK$Z7`PpHRT[\BJ[^FԬ%hD()yy7@|/p i~W>N=*$] xjUK+oЭIPʖ=Nwߨ ?=_᜖])!Pߡ;W#Xr_9αv.Deo5ۚJIU W\aûe9YY MNkCMvx ('sv㹽~̔d®AqZuPJ0C܊KEt(U (|-u i5L.J(c4Blqƍ+*cXDߟͻ̅*?_Vъ `2Aw \\u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ Ļʠh$0$i:~JMNDDDH e(((Xh'$J223333 wyyiYDD6Є"ᄈ"(twtwyww8xYݝ|wwwgweffdFcfv33c"3=f?fYLJ* ld&"JfLO$DODDODOD8HyFə gƙ1ěnfnflz.INoPT6@P0p.( @4"$( }BAq " P᠀@Âbခ6B @$،`(h@  CA@,XBB B BB!BАP 4$H E  (H!qH0 cFƌLُz/ڢv-2ZMKheZ"Cd !2Dƌ=v`Q   bPTVP@(ڶضm?ߤϒRҗǑߤ_XU?O"L̴̴̼4LJDLIIDL:DlbwwwxuwV;#3C3BAl4-ZfUUUXuvUuUZUU}GtQ#ofnLdXnvb/ֶ6v0ZVR*)#sJ$$$$###vv]nvv܎q;nǭȭȭȭȭmffmfb-fbe{^ekZekVme[V-eKR-e;Nd;Ng{g{glmmͶJd+J#(D)%JO6133edDDD<<<$@CGX,R:X`0s0ppp0@p@`P0@Pͩ p s~"Yt8Ms?,:IS3㌥{`zg[iEPN>V߇)ڏO}h~6Sh&~,گÖY9֡):hRltx-&Ku~c|FI_Q*g/W< $+- _ArK!L+%=~խ*\\:O҈`@O^ߥ }4Uj?q [m-:,3d+U'yj%Z['.qKeR%Uyl-,'yuAzql Y'0]WO% =u?q헸,N-*K%Ƣn|NZ䩯{ĵzu rVi),*,I:ՕyNX*;Eݢyc0_;ݙFl9ɰ`ـ5gaUmrUn: fB*dT6_23gRXRUzeyT[?ǸfвJ,T{WgvMKU,=vF5*qe}b篸c_U*bO"zڸp.hO" =qY8hN" =4Er0_:A1[XH*,Ph| ǝ rq ;1%vzřЉ󭨙#2g^vyA45CxCHs, W~ MAթI1zviJ4PBxƏ:l=cm*TaP c}]D{LA^PPhkK]zPfG3Hun?,|>:Nא}B3EUMl hoa ಌbH-^k ˆkUSץEFurozڢscixh[mhfxXkZ_d.ozZeZI8 :.>#-1׏ZתA'<[,\xrR"?Z/5uX>K1`h摑g1o^ F(g~Fƴfy,diAۀC`YΆfU<͖$Ql6BB3I{$h`hٍNݡ~8me3%.7ˤ"Q;NWJ_m̟lD^>[CU,V˟ˈ{- EvevFfub'֊VC_*N o `4薊o7+\kb;MhG_2+q/-3[NaY`4O/h-8[xԌL%Ӓ ̣#Q DJ W{kG&o`wL-/9'vI:+2o: LBFG~Rkʱ}3yQGbiV2Lo4iH e6ԩ:-[⠵&$'̹?˕IǪtyRᨧ=,&qXjn;u )٥Yh'_U^JE=_QPZ=nKMA8^^w,A w5sIb`?TЍE74@k6Nn&Z +w=P&ACE=-h^;&Dspc -IѢKPTj21Jt{e+X^@U$ q7S>Lאrw,S24\ѹ <}Msjh;[Ll^a+Q^jLF}T 6S 1qC4)ZW f!핽 bI)_B D*nMk7Vc1H`>Thhb7 @p/=F 7jthxnO2H޸=koEZ1(e( Y,E3A@AqƤ SAQ+H]p #ej=p N@&Ì8e0݅Ql I>EBЁc4}&0Tg WCjX-nߑȏ?sP M+!oEocAfm!fd([C!Qf(Zk֓&핳`V$z_kp@DX!MlC~5&czFn\>/hhfD7 @po=F 7zthhnO2H޸<t˼/}3tu"Țc,gQR E3l@ՖI WIQ\1-It!iv/ӕ JHw 7n'H4^bP>˱!,ssC+ qu(5SJ7ihG*@~H>Bf(} 4ei&267e1@jqc8i^9 6)j7O쾦 GbPjbjHg pB)c:V-0:!3oAR8O3v(E5m2 /+p_4 j42Dl{E* hƙ~ dC >ݓ],aFֿ+X3a>/|È -Ǭc@5ݡ>$}$.e&B3ʾ,ج4FE Xf&֢Y!A]!Gϒ-%EG)"9'ٝyqYC<Ͻ `} [븺xb6.w_Ӭțesz_K#>CR-\̏o03RUiKmda/3~D:ۛژȷmf+)۩ Cq) 4{Ѝ p: S0/*ϢhH~3n?NXmgĴA6uq^ :'sCytSĐd4Q"twCl v[&. A~IZ74gv`Jgn:tM?sWlqyԗN g!/rg$dmW֚bg~wk|鲸;ǽl3 ]4p&&9D\_4䜰sE$S;;#]h +yK@YNvR ttĕqt|}Ϟ 俻]S?3ۋ\hB8 Z_h]u,.α^`l/ ]4p&&=Do' 08d65n"l CRko1=|j*ſ.ԭìu9к2 9r*2~0 [HB8te)/F-ww02]}X=~ߤ1r;gKfSEw\c.X샜$-=}ہ[w:u0+U}쟐غGG| !/,rϜ%7aKI95p;X㻘.s ,}xפ1 ?{3 ̦DMs`=M6HڣO@A=t5.g'TiuDztz""W4[BqpJ/ЌYBBO ILk TH1hҘcQZt e}L& xMwc ]Y;hך;}-h1th fR"BKb]4 ԢplMwȣVa*$16i(kmҍte}LFt w0 N6Rp?1fEQѼv^o:W侻l.Z"E GlQ隦Y dc=BؼEX]Xɑ w(Kx2*Zgc@5X=2aRCRz(t׌<;9G,żBN @_1l;.hL{F5M_ <hnN{g2.oVh )~ ÛI;%,AVK7f-v&LZIJ'ۧ3:D+RHؖVT3sլ|nr^!LT:Wy,ִ}EGc^ (% >"4~/ޤ *ei[$DO8ApKӱz|2mnp /|IZX-^w ;)I)IԉBFk<;gACVv#ͰKaN~adAS<Q` G&c>bBVؖ)%ӞLHSe2Fl4F}ٶy6ټu:[gfmff62F2pJ)efJٔ)eC!!C4h BT'D~"}b'}b&mbmKڒ-iC!m{:+t ­=H59&crL$1IL4I4I9o6 oVn[VnԍQ7FܭڭڭmM6ݦFnFۺۺۺ6nVf+p`@ 4GH` H4,<,$DB9YNI:I'$tϟ>O= Ϟ={9sINr_ (>7/|c ar8gcK5 TN5g8EHJ$sȨLěOϱM-`Xu\2";Uzgu҇T&mZAKuC;@ .F¶G=[h3QQ)x$& h_pP Nϋ xыH,hfw=w5M[IK'Y֍+aǽRM$0U|K:yYw$ȘE|KS3?4my?jT2L3hH%^fD)˥B63O@[-c96t"(\Eq?&j5"]v q<"h Cj١fnYtDl8VSؓqLVr b z-8Dh} +z(uL0V8 ӊx{cUJOCHnSC`Zw'Rl [w)!|,X,qx呢_[*%U&RS! oz//f>d^8ZFq"uh*R*S'/Q䥚 #K)h jƀpԒA-r{/Jb!3i s/fTV13o#BgZtN)AL ޹FtbH,jyt'3HuV?"=1;#H\s 3ͭ^`agzۈwR2emn}q6B y, qR,ALN;J->ZGIJ.s ےUi,&eyBHC٠]"k!M@9ȓ7re&iW hQZG A"z!kP0v<^@'hA8kTOfJ^/ox,FZ"4%&i[RhL2eBʩTĞ6mHI0}RհIqNLuKJ " 7m$/\qCšB?z)VV (r@4=žVKg+iI^lLdjiQ*áN靫þY ^#ħ@N-BZ3"O2]\s`d?Hؖ$pi[b(&NC)!`Q.HCqoa[!*=9tc`xF{mc{B}E&Mebmea2Кs:& M]ý,녧ppuE(2 پɮM&|-ҖԴ4Z8Qcɋ\L5ha!8Ahu&+Ӫ P4" a^&T0ˀj2T2Oɩٟ:d/^1DLa ͍"fBRQ'jC ֹ[0ͭexTwMI6+89Ws?Eğ#EK%D#,F֪Qe΄|&eZ[doLrvJ K]$vcW+6I69~pG*=j-J4Y q1; %N4s~h5yj+x)>[P:@-BWG')7d@_7ww?@,69^|:IAnn&dQ?RΪqPu,7eH9ǜ#館ܡ9n* Ν9GIQrctSTyoN $~)$v 5W# `HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/lwe`*А:'YIC_6^? )ֈؽv7eK.2Ӣ(tRgk_;\Zw<  $ZItiн㷪HeQ PDhmkms@q݄RΊ ژTF JAJ`j"cfdY)QJI4@uˬ" qT&"qg^H$EQ&#*΢4(*"IL*8fA⊎:+2s | tTNsQgg2,~(a23,2QPuf嘒IFÃtJp(4*JAF$x`Ԉ桔3'HT0i23PFCY"@uFYNS(gQm۶m۶m۶m۶m۶m۶m۶m۶smٽbϵe>זE\[v/smٽZϵek"|-#|-#|-vw;z<841Ȥ&h&"7um[kءtmWg ~Aj_`[HBtVkw{B*P\L&"@UDQ m>JUZQD qGaRDh#t>pTF ,RY1. 2~v`ڰd>I!5CEC="*h6!k5E@ߍyE#ZZ~q5Ț1 0 0 0 0 0 0 0 @13:=z…ߺs}9ֽۭbtnw۶m۶m۶m۶jěg _fxvuD EШP $: ex]UBGȘ hQ$)ZeNٲcsV"I$ .4OD.d_ . V&$(*>4qJ> y [c1ǦJ"ʬ ~ő('BQTd> EWC`@Ne TV2d xn)AQ$"'@QDc^Ca)Mt-2}3&&9tD$#@@H (jJXa`8`aAA]K|{y}Q7e%?P"xhHlxGIo[N-#a&n#kJ4 jP|Tiby6XZa Jv"n99l'r=F: 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_id236s 5W/ LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y$0$il?PXUۈ(󚴴I e(((Xhb uIJR̔4/222  fhB 'D,! ݝ]"!]YY]z;vMV?e"\Mi=RO,%f~{@QULSr2uimmV;7lj UeԕR ӽ&æPHŬX7LXrUICzacu\sS/P*X=mc VW3_*Xr?C3Ƃ !Hq4Z4PrgmA[&ݲ=B%f}"Qq:YfYR20jt6?^̄t&t#XQTV2|/ռ?pcٿ?@aYm9hgA<0OiSbmAXnɬc Œ )$> ; &W 0OjDi;9pgJ% K`6ژ&hpڳ(ljf }͍RZp s* F"g+gdtϻ.+dKm 0Ms81f. F&O5Փ< $ШfZ>W!_0Y.sP[  ^lrAχRc!Qbw⪬νL}^6!3Hb ,RB+ #ȋ0А1šby,Kl6Ts a. avmZڡܰ`qRB˰H*$]_2?1=IWĂS[[U aѓ=-n@4oHL!O.Qc셽+oHjmś6-GೞH`TV5fVO 1[r[Y4ɲ&/nv|OtLٿԾ(NVA b3ӑQ9[7'zV lPS:V>f<VN*6=:; $H* CQF_h/Y]x<2A`ػK|Jw F|x-g rV6*HLgyi$G;C/Z*SBVHXs 5ES@r*sLY\ uB6z7`L͔Mf,BobXi$ h;ٯQ9 Eו'zqfc S。/;(Ν%ZȽcAcdFn7{'3?cUk3C|z* z׏ H<)SeTg=(kg?@ #gz.`q9UgS<#2^xb-}z\7#/c%5ҸPA 0bt{s)# P O@L; <"`&$PK `' "Px'XL` <0$PJPO @,x' &`@ J `0Ap(%@ODL@(A <,&hN@EH  v(%('xEM H <0N@E%O 8  'x"`& H 4' "X$O@L; <"`&$PK `' "Px'XLL0rr(%PODLB @O@`8 A j` X`D A`FE"hCj@ x4 ""p#HL&&A0F` @=` z < 3^L R1Kb8v"E~&.GW:jǪYZqWNhwԋy3[᪓9?Z9fOqťFT-Nl${q#I߁x2[-mgH/D3(È7.lJmT@8Wc&V)+ -$[[cP--o^Z<kc @ETuڌy#,d*1Z"wٺY]"=%}-UhHTEu1FXBPMO4ZzhsduڼF178924 t?{dd1@ {sJ7-|\{s&(bA9̂)K0L( EAɚkE֣( 1(!ME<XpfL 24kYR ,4"y|_QVDpe5$8Q{O}z),*YF\ *n˨qIkBAH1  ACbʁPC!!" ct_bDCwe()r)fħa#\ &, CdfI3|f3,=M=,ꡒ7TdOt'11?bjw[/OM\I"gv]{czNMbC%:L GT4s;^Z} f}BoFlm|GoBF3e r>5\ q5a  V!aO W)ҏ*}ՈMYbӋ'+;8^*8N{TC.Cdz|JcA9qGBJ^x{HV:SS7!@e1Ub3vzd) ǟGMmqc.A$׹7tgw )M†Lc(lލ:.^yx2^,(ǼB=hzw 4#RYpjBJm{ R1ZnP0 `E*J/e On SZˆLҚ~{SQZo: WF,.M 1ZUJ^c[ZB0Y+XT̲;\{!`+1~Ee^ O },iA-`t䃌_KԎQH|@8'PGV{)}°M`3Ks |v!s-%Kc+":DJ\]U+}(L9 ɀ}90"UIpS xOHM]%(}= @ ְoٮj]>tfZ;1їoo܎|晥%aIӀ8(dKB-$^?M+NK,\xGƈL(f7dcy0^9^Z"&TN޺CH$ r@*Dǀ|~$dr1:(fqXd;KF;," .p.NkݞIP9*utEAH"pĚDG%*`+Qޱ6xA`W@SȌхiѾB9$\~)q)mYa-1$`rP_5% ll 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/2Vm'6mj_3M L 㛆?vyDpV#I$"`@(&v^6N<"yUXY=ʃ4ODѐ$IN<<(OL PNzŤq0RjIh Y0 ˔'M8t@fQ, ,K$Aɉ('=ɄaE4ÉH&*#M($Q" ;"jiNVV*Bzxcј]^%^vve]~z=v;> "\D=; fBV̪C4tw]Y."tW2DDfk> (̝<-J m۶mz[omy;ovy;o6xom}omnmnmn}ݾۿۿۿmooommݶvnmmmmmmmm߮unBhQ]zDuDՏ Ս !hnIFD$IJ* !D)Dv @BAAA% AAB002eT߱7F%s`T߱J;&3ͨ߱' ,mH+LE1t /bcv.rË"1]<\EFc}L#Ecx1Ә.bt^4F"1]:&/2Ecy.:Ët1]D=n:ʑct3.zEeE f`+Ȅ*$؋`!0OKEaht /ft.vY"1]}E,0{F/"^0" ^dӋ`L 9DfXE3&:$/ėfN<4#Eːe ):x<#EH3x)xF!H3R| )yFGgH3R<xF!#H3Rt )xFgJ3R<|R|FF-dz،Z)FEbA1P)2fE1`fD-P,Ev0 F0`$^#W F,oL(BE^0 ##2%Cc 卾 9準:zZE5Z%-wOJJ屯)1e06.π3ⴾ4[-e|PAk44E8(r fi~hy3=T1 EFEWoV @aѻsVNVWK"ǯ̔\aj}g*oE1<=<+naMQohŰS9?RHB%p #+_yB-6XX_K¾szDiGz Ҭc;PnrWьC%[2Kg_Y)`5ՕT.9v sTq5g$ځb!гeeYC7,Y< YQ\mk2-oI }^ R' >W&Js;\Hy@˻^t]mE< *$8G0 üqeQ5^v͔?@f:uF^RI-̝a$0`Y eYnswL&na;ݤ/%}|Ae+ kg|A& S>Qg$༔;CJv^ʒyXnvh}QA WЮ @;|mW& f*Ǟ4(8ڢp?*U8%7fsB-C p0 s أ"6cY{;#O%-hu±fM&,ږj:_5H 7j =ƅAiR6FeDՎCM" Kw %aKnTI7ÃX!4'p+e[KJ0*j*$-Za<0s9s9s!]ףG=z=z{{oѢE-Z dҥK.]tҤI7iҤI&MIw]]u]ce "Ԍ1>!D`f@Rj!D9aA)E D4 2!"0q\cq`@@ A!P JB( x?oEԍ ,7. e8=ً&M.,Bh+eW26X7_t1lq"bvEf%mki13o#CT i~>eilsFrEFԍ|*"xtkBH[ >YFW政*TtZ@$j,)!MJɯkJ}*bɽP`*V*1ya8tx"3&B,F1^1YpwLqp1bc ]q -1\,cX;ȸrȊbk*I&{W/v1[bxh3E!pLS1/,Zbư|Q""E㤌+G,1. bc(yѿwLqE-拹/Yl1^c8aQE3Q̋sL\1,bcnb"Ӌ3e-B1]cZbv`b,`L[L/-b8c(|bI !{Mٟlf&lp?wF/oU,d33]4ff\ffh(Ĕ'(w3xw2x;2:<GIp>*V^5TCzcs[<7bѹQ2'YFOxB` \[ﳑth.4gid 0F-wn.f>7R܁G܈yWS'jдfuFgbUc`P%$8Ħ?VkfP7 J -#5R0xʘ{ 'jV%it,r=k˨ ?&gobcF#iNQoK]QO j8]夫ކv {QD`Tk 8okAAz[^5(_Yآg,vU5U, )_ztVzMZ6xN>$bgUi|dĺإM~Wgl)[q(.-_,F[O8,Uׂ%5PW .Q8?vFj!IQ<|^+rUI=nTgYD P̻WQSs>KW+l(yHClhQ~`ECw?5 61cvMݺQHAy ):n=}b^2pz5>bM'vuenX&. VXz*cMv*=TJLH ;>"{Iњ}G`3ZNTtI1NGhMxۊbY=+ `2U%qD5[^ Uz:b`J1Q~]dǫKC*bqz?j|RlD@~Pyl(YzNpMؒA Vo :pbBt35+&cҧjNk G5Y0]Nl#}+z{Wq ŖWC\A9 qmZH 9Ilfc7Ax<&gғ#YA"'g_lVLquġA}|,WʾDJ]}dRzdqž%1g"NCb6eyyi@x>P h79ƫwa)["ԫC C<߲h,͞k\)-R5eiN]8O.8 kG`PL~fa{/aIhؙ'`yɪXG{{;KڏXY$rP;9FpBG4[b VhHG)(dQ<5?:ݨYCnN*Y?/^o,ܼ`pͷ<#^,TgU9?81FhpJAL MM*Eǎ".EYwmoT"ۂ}LzwS[8͜ڝ S}jm><6^rF/j|R7M9|z'顱DQY8*`ɎM^j ٫,s9]G ФfT-iDCm;QeFptd-Lg0hYz; kMAuxkތڏ1 %!fY9mz`mmΧӑE@m~T .K@f>㏐u58LXh3CEk'QpgR2Jk3t54*%@%瘟XTIo:M/k#K&ǫu Er#(gcdjlG>y5eĪ!0gqk@vY$j*?عr b~ K~]s",ݡ (\8ќc \wT̻EW^50ԫ  SٰY=.J{Stx.Bz66"GuMlEal$H՛i9IϺ _SR4]P!7@xo)-W\ f-rQzKb^#({l^dk xr73Y6?r;xkx=4n0B+wsO-fڱk~&±2kKY&qZ2mPLj/x I+!rVaO; -Kp`(m.ȏ)'׸)=g:N@7w =FUlÄ3'`*SMcUX\KfR8+y1[َ:/4r]{ XiƉƛ-:e E4 Ea >g5ylK+8XMf<P;Fd6N~o(ԑv OnoUvJ԰k\奴ڱ,p'g&\^l\BCWvT{VjqqNC5U]g kSsʥckB$dAm!^Y>L4MP3aj*ʚ0 DO 4X[iMsڻ1x00xBABpC"a!ḟ> q=W2͌k#t¨шFljX e]QU" Z(0LX٪q\X٫r(a"vC4Od<2+L"ݜGNnx$F3bs<TsMqʈ|>AT&E6/^UC.n|/9DǦZ3R@|eWE+UX1#MqMO;g ~s3V7b~Skus_ٙuc[58mV7UDb3iC$`ƽ2UЅJʹ˄kU'lFt*|ܙ2bLy~ίS1"љ9'?үCOM\21RXɓYsZv$_+Na.OwꎪxJ2jAy:Ih8MY$ *-L7rܸk")ϹDwsʁָ{#'D yPܪa7f<|{*/C ٻ)_JiÝUI~ܡ]/>, 5S:U09U$_aA:uŊEex<ε#a_җA] ߪKo7qFw\qXt͏!:E2b~S`NuGpv~\*r.x 6 Gv=`(@FHlD6TŘH}텉/K{bҬ Fd!Ł΃$(JJǶEdG0)#k\|Bc\2K )u#c#$Zq)AP}peTz`YeSpl!`+̕<|S?{ DZe:8/q\HiPQA#nzŋ#r98,S{/ia1\s0<+ `h^Kaዋ7$%Ո݇}$lfu4;V́Cz`Hx! zIK7n/qA:ⷛ¬'"3!}XFBkt }Ϗ!5Qh l9X1lmB<ξ=5LC5?P3(ƺVX 5k˓9%mC!u[D"{ȕ&蚞 4rP Sk#dI3[EgP|& j ),Vy]lױJ~vWIM)h$3?68 čw2kqE47TƊ&D929M>0INP­ɴi܇tR0{VZlQ1D]ؘq?U _UF]4 ouRHv;Kv#gÝJNL7j1fMI8Am9ꬹ>.K.ED|"3YR'A{$%eSBr[xjτaƬC5m`sA2]m`AJf6;m9UDv틵ؽm20"ՠZdٷ%>VvA!|*!1jzi3L#ta7mՔ1iB]!!N;W^ZzaK*' g0mb&-A6{[eư[-c "b&fp2)6j=~i\bM͏鼎XWiRmL&YM2oHUb"(rԖDY# HaL]6^$yϗb"rJkΛ,ZՔ#(2 `Bb.RyȸnPb2 F|AEw7؟^]N_;{{@krYtP h/aE5S~T}'[>} wܞ QҪm\kAFIa<~sVuĹ}>՜kF'nT_:5Hc<ÑҳF0|wĐ; iՎkk "2buw$}Z&Ϭ2-XX3^ o %IS om#) Ix<~׫] /#7Pyt;q-^ŌK[A]W0myKc~XkjBj G#BG\}׫THB*F5=Rx,6$N#&fq! XpV*^!qV<;CFr \/#FmDIr!ArVCq߷~ŋf'QHL}b< Dmj."H֛V|OL򵟿َk=z)*<(\_^l-AḘ)gN?00.v;صJ o\ʺ ?1S q8~ڲQ?7bna9w -)LOV2=ƣַjWRD}P d@L @x<ZoMqyTwYyM-0~ ;&b=Ukv֮[ȠGƷg=~u=rk0jQnaH1\T#-p[Tm߆qal_JĤ\4 !01qR+%m8|[yAd̤ 7KH9}r5j5jÎ 5I@xR+ֆK"BzZ~|ߍSE l0lښ.ETv6rR$Řuj ^1+jÙ" %d6c3c62d7a4cb5968d65106418ecc5abf10be2a8e2de7c39f4fe13c1839505ef008d2e8cab80b2b1 a06314b2c10d1c04af4a957577328c1f98c585e1e43ca4f6-f02e-447e-9b3b-7eb9009028e6