SQLite format 3@ .S`  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=143.721cpu=235.303gc=19.961(/ ]9Dc?%_2y2M }80!ui!>cJze OEQ*CpGLHsϕ}njÜ';cJuXnhj=*((/ _`MuJto)1 Cdl D};?'ad y˱FC,y&!-wu["d>(/)6j Pm ??bMQ J)rg)yzc&/#Щt$Vo\>1V^D^_~7NVR(Yuld*;uK' ?o I KyKğ,[l~+軔Gvr>n#H^n[?]yO$SGXDTc1u8VȺCksA=i3_ r;қS%Qf V4c=Ei,*)(wT_-2OEeF^zpnσ49=|}YSR`{?r gH!Lh9($ AB ,a0`I@ ,80@ 8!"4n X 11SC0,4Ta &0H`  <8`Lhp`B PC L!  @@  (Ha‚  ؠ͜M "@` ` fR4Uv[ϦR8)jZNZad5.'XnQORkhPzy|z,Sdbi=HՐȼJl\+o6NĽR{=XsYs& ;LHZUF(\ lHWM&#qh=ƙE}/6chW0mR>ֿvsՌ;+hV:Ăts_QK\lG¢(/i]擔TdVz,USDOuQ@=d#ҲPI2V2Xf H;q|:mf5Q-Ҡ1LkU5],qƮQ)בm˦l[wWGDGֱ1O!GZENgݨTɅ4VYh#Kb3gu!P-G.ٔt#|bC݈S8%yVQ9Gnj0 ! Hr&ԒiUZ4u6U 3Dɧ ĬkWaڹS֣8$kX4zR9ϟ)Kvr&r#u6 o芆vGT]?y}HΪ7ak}QLCB; ,N 2)iw=z7֍JщiB7T+wWD"t~O]Y*fHK?|=! {·Ÿnڲܘ~;4* (mTbrIĶ՜)$1ӛ+7FcYxa.w#4DCsy~OhbHݎ\6%bz&ZaieC29}fL;WuxX+>Qъ~)Y;u=G4T݈0|S,~ʩMO3Lk"s#:XrksNb9 }8y$D̶G]].RK\=Ga$'Ѯ#v3tv6uWJaum29þt֛mԼ؟\d`?295i/QHm3݆]WȎLMgUt%Q"UW'^$bU\孲[AEgU )~LISwZ"zv'݇K$Ba@P eˡ $a`@` 0 BAaP~D!2@AQlP` ."éq$aTxj}O<'Pe ~ ݚzrbd :$:zcgD [(;ooNfMhu(2E`eqr MhRhY3B9; h%ԫib23b*e8C7)R]- :R`Uȍm~b?^M7eo.uP ,{k]5 PA/4$A6P zKCU0סcԙ),P]'$dS}RKSV~Yiypoqr%.ӭR*S=۱ D`o$-xp5 9aH2KBp4ɖe1tםj+C"CO\;h 7g+MH;%LLFީ#5 l-킑.$Voܨ|>0Ӡ$oM5qUP?vbU!V#Kb} jH2 5 HOL-Record_Benchmark; 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 =jRw(!tKeyߋq,ư wq!6klF݂B@#@ FPq 4NI`%Ɇæ| ,/-l:qJw3Ju@֭:+yǢ[Z65]'R65U;A|ޔu a*thjLC1ë1ai!aLȾeF_xzzRVS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmar    _ 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``` (4 baHD"7QIN/&jzexҶk!O'Vw~>՟o1b"*'L'!4b2U]WwWBJ>Hve|)O}pG_e"@`کvlvh'1w^K@ 74tZaq[< )fVŽ'4VM&#b2ёRw A[/<_0V 1`zDFѫ5<:?)1Ԯg/B b(SSAq0n 9pnǣkD:K_jsV=,iscZX|'e h)BudE5n'6ȿ_ ڮD RwW SYCg^hW5М|>ۖ5Bs)>T:NkQAF1d[v]i  ×rI=]Rył?E*:AB"ȀNyY!=zԼk< ɿξoп=[g_h Ľb>`: vƼcrf^H+k(ȟfHc^@S0 A^s4ĽAb^ahE^=j_AzU7fN;i;"uE)¡_)=y1ʨ^2.]UKd^Ё:˖8 cc!EdPq-q_]AFeŕvx> 2|)P؂ %TĔqE2~/)R]˒ * Cs2|,1 J: G)[Ⱥ^/@A% XlI 2>PA΃Hwp Ҽg̽n^kchzji(~W΋>AW_`ޫutн>Af^gE^b_D/p ~i3/tZAw^q4E_=u_dŚ2lf5~M>V[8Q1cH_ 㚅LgqlfqycYzܿȕ?.y,?| /ai]kJ9-[oWٮ!lVvk.ѫCLb>v3zozSa~SW3ky7GM]ͨ< igb>7s0ݩ\ͭۘn&`1曻PJ~mj Qa^uq1GݧYf5_5r1Y W+}d-\ͭi^C&c1+Pռ*/ͶnB=7)08E&_F)&Z|dTʔ|Sj!]58H]I#L쭼7"R]Vw[|ʾ$Q4 akFo"cD'ZW`$ґ4DȑUP(Q )G y<%AvxPwShP Pr= M,!Au(f&ȞBzpJzW(IO HG q $VzWٰQHDO1Pr DH!%!١QDR"PI02p<"zD%;"3k$\5#5BBth#:yD#3I(@62%G82?tQ#zrD#cSh@5jh'G 8bQ?PFu҈Gf>Pmd0P'pd#w %FGZO%QG"QӎHH@6Pmi^AQ@䟆tb LiRGY;FzH6:h#8kXu`8kEL<LF&:J4RKȮ:@%xDɑ3Q(!C%a!ѐD*"J2MH$d6Qu z!_F&UK)( *#J9dB}P!ӊO 8_=ԈA@/% %?>eR|wKc݊NL,A#IO^SIyψهn^ЍsQ} J7O#=*',GwA l8^cZnunc@ҳ 9LdI}oSI 2`9)>x%Y$kꍕh:"[j0HVy`IЭU,L$7)D,8Z5b3{nLZNtc+SY#I_h" !Mo3k#nrwycuF,z?#.Yy 'ҬA¸K'3o4^UNG AKۍ*y|k' 7Vk:fwb߆T &bRR; b]3X>=>te.qӷa`0HoܞAVe<Og.Vb\ {"g'[!t&z^Spi۷*+;!,ؾ?ٵIc3ν!ENN\k}ʣDlcZ"] 2J.rMuJRo1sF Я=Vr*DPBfDA(邦̒0%*si\JUX8;Py$å2HUا%*sS1  ; 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 =jRw(!tKeyߋq,ư wq!6klF݂B@#@ FPq 4NI`%Ɇæ| ,/-l:qJw3Ju@֭:+yǢ[Z65]'R65U;A|ޔu a*thjLC1ë1ai!aLȾeF_xzzRVS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain  )\5W' (HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/al|!@ 9wAWAx.q[՝ M$VEQ00E C101"#战[x@P~Kx_0Ǹ`pƂ ݑػwmm̬̌E33VUaUaUUeVUVUDDD""EtLLP ffJDHD""B"BHUA$(I#Z߿G????}k_˾~YqT\nNnnsVڒ]cC[l-iY7,,3{3fVafVUEX]]]\WWVUD,Q D1@D# +V0355s4c4 fJS"5%BS"2%H "&"%"#"2,d]\-)%c} CD3ьhF4 ͆UêaհJX%V U*%"HI4&ױ) p9I HE(kE wmsmEUQ̄H0 h !??9Ld<OƓd<O^L^L^L^L^L6&dc1i19LZLZLZLVLVLI$c1ɘ<&c<&ɈɈɈɈɈ;#;#{d#H;Ҏ$::#H:#9r#9r{{=ᅬ;$d,EHyyyQdEFQdyDGyD%DX$FiDFdYDEdIDDD$9DC9D B)D B$$$D99DAdD7 yCސ7dCvfmkkfiygyeYf3gΜ9s~~~T||̟ɟɟW|MMKKIIIG~G~G^E^E^E<)O_~C>C>C]ٖ5b[lmѬtF/.h(SKTHe, 8(IP(00(@@0@6yrTLzn&w9kfauR9o;n)Ϊ:Zͬ]NʬTfmgƴq 2 7KܼaoDGbufɢxUz63uUMӥLn4 mlB&j23|6 S&3۶S9y㒨S-trFfJfw{r\<Kil .LN<$mlB.j23|6 S&3۶S9y\z.ٌrRed؂[NL]I;LݻC&t%\+8 ՕGiٕbaI*bW¥k r]9ʵL]6"w%_\l>JȢ\ݕna1(+R ̪]a HX|n2JPh>J0+^AWR^T HUѻ n51t%Ql2uJ YHzҕp`sTWrƦQgW_5?0XEF@,-Av%^Hڈ+1Ӑ+)r/SsWi躒5D,w>w%*L<=EٕRpM+YrӸ+JmUѕ"ė bɬ ef c."'uVbfj;j2,$*m; 5Sg;%-%e:k89Qzّ9ƨg.^f5ftf覎gj-|2W6{rS8ԳQM.̈́[Ίegmj-g>msD7uV'={Iֹe-'KqJgΜ34&uW2zOt8qd+z$- L5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*tڲ% &i̧@ I%%P$@@y"'g>33?g䙛/>_/śRH!&RH!I))D a"H!Ro$HAC{x`o?￳?쯻3ifV"fffc4QU/hHZFm̌Mп E$9%YwI.BRb"Aww3w7g123333l1z4Þ_U 2^U hHD퐈f[#ٶјfflfFnf;!HАxĆjP 5'Pp@@ ,@z  8p ABlH00,$ 0(4@p@B `H 48( !@D <,<0$?___O?O?$M$M$Mvd';NvLLLLLLL>O>O>Or$'9INrdAʤLʤLʤLʤLʤLʤLyGyGyGiFiFiF9H 9Hdq7N;;)dIqgu'ݨ;)̨̤022L4FDcQchi 1ʪFFUԪjZ5D,舎Ȉuڙi9-iv%[%䔜SrJN)9%䔜SrJ^򒗼%/yK^򒗼$K$Kwr'wr'wr'wwgw3tLJ&IǤvbwlWh\͸q:+eUFe-X&eGfdh q1::1[lIljLMuj dӘj/8(er8Bމ"UF$ AA "2 f~g~g~9ys<9ys2_˼˼˼˼ooo$IqgfcT6$BC D6 "S3R" DH$0`aA 1P@"C 0@hxPxpP ii鋾苾苾苾苞艞艞艞艞艞艞K_җ/}K_җ~~~~~~~觟~駟~駟~IOzғ'=IOzғB/B/zzzeYeYeYeYeYeYeYeYUJV*Y%dUJRI*I%$TJRI*I%$lɖlɖlɖlɖlR􇰙ACc $LY (@1( )Yi˅]RfS"12\tI͕^#an˒NED}֯T=J;O|e+|e%5߲)!w r'DJRW*H4[Kn _N{|Bfi%!#R{IY৐l4?!(:戬傩y≚D~vT6t*XTb):XCN1b}_Fw!XӰrpEل)~+~ p+E_)++Lmѷz )\z++Nmѷ]5)E_0ʏRVYhkj#Eߙq)GhJpH"SjVOӿTr'_ݩV;ohS}9J)WUV;ڢoͱ#k?s*Hma]eck2ˬi$'ZNr[{R9^eVr/Kܺ[Vk~n/z[Rk^[7VW zK/.C4.k٫~]/뵂]şZ]j-ŬۚUZLnKQ*,ɸEڳN !bEiwlj .HFN|Iu6g KMl*).00TOLTw9&?BkڽGQ,qbG$CaxZ,R8z5H9ƢPBQ2QٯǪ?ލ!5&00 0}Ug8lqٲ?{U܀'Iz;pɩr%zawZ^2dƬ7ΫJPu:S˗/8 ;vcR Ӑg9T1Kx>V<_.q]wXS֪k٘&@ ^!n< 6pӐT2 dn̹TxUS Ɏm:iRK5$/ژ{JL ,7 6ӐV|jפEn̹T50 Ȏm:IuSK5.Ҙ{%˜q>S1$w&LkҢ7.u@9cecO=:\Im̿e@Ȍ );Z5irʜ1`ӧfCZr $_j2o ~ dcTr ɭB:kՠ4?$wB6dM#LK .x;4_@]2Y C20kDȟ^5PӔ=eZM(M7wBAH8hU:vxƺw?`VB޻BP|orZV~o?̋][BH܉2]NX̊]{CѣNK,jum.ƹ )ttųyXuZVSvcra k: |ubfDny%Exb[JdYy6e9>=;4X2%%H˺tC"b'-!<^̯WO& t~= n6PV5 f߶mA$c'J1J#*)!_R*%2;om CX2F1  8 b!2|z!mZ0~"Dʢk/Ljz4KScZ4)1>J)ḑ@ 8XI~y|l/y'7ęQ8D'o\jFSk/ՑV0/B uŸaM#7e;:ua4C\ӎO"0 ֮TD;2MǂQ!P F[Bޫf'82kH%HǟefN]qB9让k=t ͪY-σ>@ư6C B ե tZ!]u~E ӯA$;H2kHqh)+R 'x'vٌJI--Wjc4b[qfoXٜ=D 6qx:I59\͋se7edTTIbkD*(װGTG%]hAO uny'ܾ5!2`Psy٠^̮N=ǵˇ3Ob=Ta]w4SYIj^;iЦ5?4v9lD̶kvXpdx(ͤ D atro{ўK։YbǴ&P??9T˰x1pXl ;x 'bˇ;!h+7ajK99]\ú *#Kt1b}XXcz[4wD /f {/22K˜銭qX]gyFyiU8(l"pz2D-{`!ɷ'ĝ y>5"_)@ʇ_L0? q.oF6sR$P+L;:O*{<8{N&1M!#v!< U֊xϿ. klߵP\1MJiL];v ś M/ ۀ&c;~&u{umBrHAJUm5:o5S(O\E'b-!JչXP橊Փ1יO/ٽu1gߙwE&4fKN]_7?=z¼9^;`C32|H }S =D&_C~o1!Al~z܎b428<>=E 0qlVv `LF:$桱eX(6@#3cSZYkǖie d;N/CbOa1l[܎b428<>=E m?4]9.Л7fݸM[g}L%sB&r se>+9W*뺋e遬KR ?T}Е93j5D.YVw"rn rRX=^UFq_zV_붗yZKZTN׫;ocβnòX a6X07+) Ñgw[gNfyyd}vMʔP9=VrL3LlhVIW8ΈLeIlntp5)Um2fsܔ’{}=m{XSAZkn֥r*foe44,˖T Suir;.zvB8[kH/ԗ<]Y,O&'XNlÝ{@4.mt7M ]80O 1EB0W1,VHv3eh`X _\bsb[5NLnU.YL~-u"r+VOr=%B]`ڵz>/@>Wsz M0ܹAÿ}t56IIz1=թׇ:`S?Oo~+3Z]AvWYviҐ7zG<ᔇ&T1K֢+er` <E pbֳ;.aQC{~ëؿ2"~@tSA)DpM?aӄzOS-3gQ~^}>w lUXJ`gG骴WJ\sY*D[FDQ+2#aPtW K$j $SDGw5Ό NUrlI\ hj?N׺:Z`Q}Ηv*e%;zCњba<'9R,u,7u?UC1Vxc:%)kRTF;6;F`;e n6;7Es5h=wwrrs>n4ھ^6]Ca3 ~PlRLЯ(H8x 5F(;HЙ Kec]ip{9zBƚn8`nC0; )e $fs)ꮡtZu W7 u,7OBaoԄ|KV% /^}tHQeb%H.e]oXXG 5sY˷_@3 n\Wd9d} [CP*Xo!ftH.|(**@#Qrh0mym]4M_9ͻpнbPP7 m0D3E<X5ިENST O9dpNm1Нm$w\Э:P7 pۤ@6Ex>p8ߔ]W/1*/__X!C &.H-GKQf9ਡsU` ó }ӆT 0ftUnnķ*E_ mœ7 ArY.M7ӂdػu|`kW\N3eWR"k;%ŧ/șCrGM: PA#V A؛T!>1=qcj!if酫7$d4\La4!0[,veKQE!{.װ|w)M?=rVQt6raoʮTݫ”ηn/, D<[n ]+/{Sk#"HO9.C4|ra!¸PjXf| -4lf 'Z.-Eu}{Ws4uS:=APOZKi_1^r%ox r7D(eEl IP9L3r\#p{=@~qs NHDah IS51}*p~-$xʦJ K0uz,8;βZC6 ֟kh˖!C IgϜ3$x^"L.pԯ xOB ڪm}ǰX\rS4^Ȓ:k֐Kx-sri<n,s{ Dӭw-hnҍWQMe_MnKgWNͯ1d'KY3M.6霧Y/F3*MZ4-aΥק!WM~v@/j 3ew%H%PyոtU,mtפ!pw 3"b:~''ӵ)+ZM[{f=+AF5sux5|:=l}( tݰKcJz[-ȱ)K[DU+&"NJS`֐<&ĺmY˽ߛd Tpm2ƻ-u?kjɵ4›K'׷s,ovS%@a%=[yC9m{si(| bEC^jHt;+ߟ' je_AS`y$5|Ox"Kkph ߨ'&.qj q` O,D/M;ul tT 6_S-ۢG:2ŷV(%4.K+C, A^ED:m34{7`]'&8ER !d6^J%ZϧsCW< &6I^ T70`E8]7srwx`xx,6jSI]yttP'ȃ'Z@mM?Xu=3ǟ,] !:Թbiu>i>}1C` y1~[Dbjh hS1-frM8 J@tʴ-kZcujW$ce)a r%A[ͥNmZ70LJ0.rv H>KNKzY:K;]AϤK{u,RбC3.'0ьm1l0lVx@\mm3I=hCj(}e}\q[9J<3lorv܅kjvtOn*Dž7F"m_Dg<#r+rq72|Mnr\$+)Y$"ДĠNO agZ"+" 8`,@p ``A JuԧUJq+EJS*ZUª**@FB]n5\T(+*'!ݴ#:@N;LT)h U\ݦ>ҨTQ[ineTBaT*)ޮ2wWTCZ5.JU ʬ[M)6uPVW+[hRJG_Ν(V.Ե2UɣW01ډz]޽8\8ETH4is[xpW:"J|x67S\fzܶΓt '*j5;8ET%NAo?XiRe]+Xa-lq8[+Lic<-iUzTUF}lJ(TWTQAQ_:s>uSN<娯U}zQO8ũW:rԗu)/G,㨏^Q/שWrԋ>Nyu)/G몯S^zyQ8j_rԫN=u'G}ԫSz9Q_:j^qRNu7G}]ԫS^z9Q:딗^uoѪqQrZ)GO9\*tQG9C<:tvڧlL1O i&O)LTDO+i&ioeCLnTQʆ*JP5GU免U7UQFl2CՌ*nTQˆ*jTuU6jU3PF lzSՍ*oTPņ c# ZZڣmd:yZ'H1fL< E ,eDzړ4&l{ڛJͨrMU7jR3QuSݥJXRf7RxB@N('3 hV:R7d8EQR&Mq{OVߢ:R*c*jTaS)JdQU v)]Ŗ2(@ +i)Akn3RbUmjWlHW *ͥ2 >;CQCF>T (FkU S b-/RJM%.խQG{jQGD9Pyؠ$ֺjEتh|e-# $$nIgns\};PaF2@+e}I=SPZNL%FO WXAm|~η5q{zDxp݄θݦ9\ůVh7~]ܯ C/y.:>sN&jPtg>y׹O۔{\2qZ d Bͳ(NC 3O97MdOrbm7SDOyܟ\e2f7%ShNiQljtn೐6qIHaHe*̦la>mS^i`Yl=u.쳰6ฤ0n%}2ϩz͒Saoe[JZ8(dYFqBQ#B=Da2t%A E甂 (ŚRJFT &)Q=%8+(v6O)tDRR(O0,"+2x&v>YWyǥ*ъIrW9P 1z&(JlR)tG@(̶^uPĦP!Q, ]hBQ9;JB#BbflJTO EN (S8%>S):N(Iē+)$Ls%>]Y)L!tɧE SZRbOyJf#ms>).lܾejrnSz5Jw.q!ygw(i}nK ?@[4 #$/(5BV8Rg(،D((℮سyJWJQ rg?ǤyɗD$J!F[:d'Mʩ<_Q =24iGD>)Rʓ_z09ט(Zۊ&Sڿj[*zO~3R XڱdbD_qф70/GX=c盆,U2#MrR*uHz/u=Ͽhb+ ml.k,qߦ"Q'Nꍻ,5ps=bf|R6mmf&A} řs |Z 4Y|a$ $[MR&0ӛP (-Pg6i A$"^&bRLjLI1S'uҤNN$N488i6i6iiҤI&MI&i&i&i&M ` &&4H#4HA  I$($||||||WT%J(6@3333333!BAkB!*F0"""6""m۶m۶mI$IR+I۶m۶mU$"Zr{3!,%*e9ͺ﫫!!!4h~Ї?||"$B"Bih2xmI,I$IqƑ9UDDDD~~9Hrm۶nݶmHYuיUdm-~L!Da"""""""Vm۶mۮ%I$I$M}~%I$i {ILm6` ز lۀd@2 0  H$u۶m۶I#4L0?333333333B!B!B""""""""""mN;ӶN;C@2R6d-ض-03!D$ A$%C+g8#[$/>CQpT  €AC@@Kjs۝$L?;m)Y^Lˑ/WAη%܉#Ƞ ={õw|fr"yl5be뷇U<WZΫ'`О IŊ39;$A>{ٰ YusvƫBUJj U!$-\F*[q9 R^jנy[LY^%gkM}|u,HֆCC"a6~L&&K*M$2kP"pQ$Y5L0?lH.UVծ7ґB`m 2* VIՆ@Ќ((33OPM[X*EuGc]c67u Nl&= WxS/UbH^F'1 rÀn= Fa08igP}bCm A7gJq3+ͰdF^E.3ҙ'}Xf Hon^m~,n|Y%*["L#ZpcA${&ehs9jE g/J!b(a$%]#1MsyI;wJ&"8:g6zy5&vpw=ML,$~وq-*,UdLIA7Юȃ?5Ӱ‹觋NBg O;YvSm4jfN{SHIg "563[Q% tFKgE.0-s?Ȍ. {6dʫNahB+poAQGkn($di 9УFJxʍ ׎}V$2}%)}٤bhuEt^+DuFXuƵfe:kcP(I;i8"swY )0x&y)(]tra+O?|5#͹ubکW JhzZB(3 'ӧ㉧ |M\O:N}U@ټvsOoLq. "ʰN j'Ӊ<ծA5/7t%4u"&QMC ԔF4J,iZ"(0;B7?3S1F"ЫS*ˤPY'Y"'&d^A$@2B(e.3's6%Sۅ4!g4,gLS**3NBr\2ͮq4%DԦvnozP7nPm%ȗϡLtjP_GvPNq2G/++KV bIO蘠0~FO-$zMѵ*/CI }}d#Jɽ=-Stb*:'0X̤D .bR%Ȼ-cc:E5 ĻT7i: ˺Y cvn ╛oHC(il,]nIč"I <dz^5%Z 0<+OId$V)͜:L)H`%/O1 'A.|zĊ{$5J(s,JΩ?UzH&}i' pJ5~\t+6L6qVAaiBNdGk Li>R]V0OO W@)gtrcNB"&6֕@3j8(,8:PJ)(_iJSPz,5$i9z5= ?) `~AaRZJKT;G8Ҷ4I7ߤehr^ aD{}>#͆0I*oLD; .c^=]n"L̨V#*澽t#:m yz,={dӹt3$z" snt~IYߥx1}1"Sƺhhq"Q Q7Qoc] %C#e.Lt> H,PLZpope>JB |x}?~~@ 4PD#@ 4@?~F 4hF" $2Hd d6@ Զkժ)r r r r r r r r rD&"2]ۮm۶m[$I$Iܶm۶m6IҸA)B!yEH?" e""8C#7IB3333333333""""""""m[Ql۶%I$IܴmܶI$I$I1#ҒH EZ!I AaK&)IHKMb*@TI$I !B!0B`HKr|̈HKrBĞ ~~~~~~~^Kno3lBoLD$ gZR6J!|gffH()g$rKFI!UeFDH(UPZl۶mQmZ;dB[PdDߙjhĎM$-نЪtf33333333333#""2""""#2"#NJ۶J۶BBB )&[nݺuUԊ[0a(VkbP0p@&)P*F; VW.-Y'S13v*!,M!Jj2E55ndu+Vʇ.@9pPA6KҨ~XmmX;>5`Ն4,=C⡄EAӦ*U|k(˳ 'Vh%yfy۶yž~_LaoS+tUUMjmcʛӯr;Ե&Mϯ9Κkn5bYѣ(D=JdFUfKIX -kFو+1&:%H .tI:%YQl$U[j'qRb<3wdv_(;K3=S^f5X^aS e[N6׌uwk/"e*EN6.פDMds Ѭ.ǝdOH$ 1MJi4’ʪ}\Y;,PpyvJ9 Pvt6i'Č,V2f3X͘IMYek΅T;)gJk2R-|zJլ@F7jZٺ59f{zX&bVcKt@ͳXtQGE$p<l焧b $sϼ1֏g2+=siTC BʎmdH/Mz. s/RK/K@f*MPJiHtӻ2w\`ϟYL)H4sbǙNJ{,s2gI V 2+>1SתN%8.Ka*|CS+b%sֈ| OO/sn:CWV/XA̶[rY];f'$[nf PWa^邸R 1Z9(0wqÿI̲D?VmTz,Nnsj$)gL|&` BgRQc֧$5$%&NjK?Is*ϕķ ~uљt* S2IWV"ߔ'4sW$*f`t&TczshY"S4j(m6*&Ǔ0E$I;KitdiV#%Hr`žT+un@tOR/ھ]MҺW @#mM%a'Ҝ\#mL6i"^ cL!)s Åݕ#Uf%>e ¤GmsƯn ȕdyw5&ۙLT_^OŮKDvj*$X( )Nv|!Y‛>cK6FU1=灤Uf"H6L%zd_k\H |wHNM8ExS:]:rO|tؘ"Ttx',QaI!Nn.\^RS5v}T}6y -‰oٕVbr{7:u_I(Hĵ>lZWN (/>¢Z*B-2niyN81X<cqMqN|JSin1U/N6|[#P ӅyP 'b/m_J2ZD^R)xJ,[%&o!KVI5:~M#/l<)YlI0/KJNۦSJ=X|d0CV-Hꟳ‰ew ΩSZX$,R)O@|LGH?D)W_uVJATє&O]Q6eQ7eX, tF(M H)sbyD)vŽdiP9 "Z s+2afIzd`~ cjSLumD7Dr*g-DVeh7 sf SDst"\`= h݀m *HIAGTJ'{5,CQ2$CM Whi|Ƥʮ%jifMLr4&n'MR:K:>LLRaMΏ:Q35BFexg ޶&0)-;J*]"N krE[%jKZIWSvg5 6ZM7^$irmZ}0ɸBZ.9h]0 'BU<<OU0z"pG; HFA|հ+шřjSL7 PZJ:Pv1u`iO%uD sH dg j)Z26KJ,1]N,[4St(LJ`cH1w\L)A;jȰ)N)T_7drg^%jт2zqoI÷TFbtiBx;[3? KEV1vn.10CzB1 S:s6 A@*KFr<'.HRKpNH1L@vxJ(!ĚI"ײv(ȗd DJ OTJsJ]IJ#Q["k. R1~]1Oe*g16V%n'RUHwRQ($!C./sv.|/YvSV4RB|"IJ iND|mP$ 􃕂u" $ji)'wq )5# 3/#Yr*Ⅲt:67sSmUągGf30,g<3|3u>p6FnFyŊ#gDIk$US "ԓ6r 7͞[x^@|j$`;љkƂgyµ>EYZ:_6Kzb㤊J4[u,͊u9v4P&i=ZSaE*[6sj)Aȷ(y`6wIrT@))` kͅ$g6o-ʤDm؄VE>3X'_@å[q녣I*`J1LM3)x#eq9l$WoܔRgDfSHJvez>hzVP4IܴM N%)Bi%L-$}NN( !u;+dEP[EJ\VbHLĥ!E0}Y#Bc9(ژƬRc(@;&¡(?%$d':ḿfJ+*1zP.LLƘV"Xtdhq!82LE!HSh81+3aebr+t<^Tc' %[c 9jHc|z?r|zhx~}]bs稼  ϗ`9ɗ^Wc$,0<1n,Q}p~VfY_ Yęj pME#(;%9LL ȈȈ^m۶m۶m۶E,bXDD"b*C*׍i`B? A@ Hp`@ԭ6jDHTUUUQQ ̌̈,",~CCCCUUUmjj"("(FDa U 9D#!q' È#0"ˆ#0ˆ#0p UADADDDDDDD433S35S35S34C3$B"$2"#2"#2""""﫪:Nbm۶m۶aaaaaaaaaH ȫ***$H"$h 몪nnnnn۶m۶m۶m۶m۶m۶m۶m۶m۶mnnn۶mn۶m&&&۶m۶mn۶m۶m۶m۶m۶m۶m[ bDFDDD4#":bAbDDhUDLAF0P@@P$4 ` @XXDD몺몺몺ꪫju]U"H8! 0  >  H!p?;T@QBYNxDXLsVA*Gj$kaw'!I1_T# o|PV9BmvۨRD9V8_"w_߭W̐eS!npŸ>9L!$h).):A,8c綱tsՄF,jg/6#!p4c꿘ZrjH37b{uB*$, 2'BuijM5gG"mWut(zRVyLtp/$x_uRk )>cTNrƉЈ =bViސͤ@rvM)!M$RzZ$ fJ Hi R$=";.R9:$A.RZloE&.J;$ޕMwRH4򋔸] l܆`TIcH*&abFKayBLfbsw+FI 1qj&CcTjk?FLFdssIFIdyoSFJ,^ec]FIXM02o4NRꖱ=9/hקMܜR-=_dB?Qyw YD)wY $6GZYY&-o;OGVWپ`#l7$)BM XKS88FI׬O {t`*Pt#vg43vK|ӈwJgR R\Jw0'3*mNX(Bw_#%a !*_J* ?+ti# 6RvIƹI77j¹Q RtKE#J"mrɱ;:^nSkoVWRlm%CTWGP];DaU@A/Sqy:^;q+*D59|&X$ (Hw&U=B(I&; TҵHJ.NuRK7j$jc$IBI1 Xt\/ IvHPLJn @2 $%i Aj+=c QJݝIAKobVlwn*dP}+p lqN)/DF%CaR S5- 90y:SIL[gU'>Ԩp}<æOPwa(L !o``5]yԃzQ~"xHyvt ^ >ˀێ*R9vk{шx.dK1v-I)ӊF"R(%U45"]RXwZxGHV(W3r]]N3aӻloHxEx0LM IJ0![WgB#ޗ&"e/:)KaT1@N:1 a /? bXV4ajAbksF'y:{˥~^ExScvB1C(΋LRNZq(3L$P2g[I hC$`TiH{ (SҞMI!w'1㉦CΕ;H5V%:_`+#=/U$Z>Bjnlj%x&b®Ʌ5;fr:BR.0,JG:_w#fL@5M.hiy\Ȗv"d?Έ}"Lhv޼Ȏ6f$x ^;88#888x ޼o޼yN&I$mmm~!ik"$ODvkBd"dli_"g[%[$ɟngD-""""&-ogDJ._~"!"!"![CNtD':"rov۶m۶m ͐$i$I۶m۶3"'"#"Lꈈa:paa~ ;¨X Qq,  XlL`( LX @@BfV-!Ot/7F!wAdCya^z(`(љSA";R$UWSuЭ 'pʚ. :aON4XEV,D[]Z7j5i~+_5 Пεp.@RaG+@6/bIos!A&@^|"ZS?!@i*j`* Z<Е4 F*m@HMCTӡSSj( s'"QlP4{dD=} TU !^:4~ e]@) ljENϐF/9 v=WFȤے_Bz"Qz8ʯurS ޡtVzKH?n$?u#5A:t/KY _VI5?+iOv`Y?peRZN5Gcׅ፣R?T$zgRJ`hQT/3T,.*z(.Q[rqe47?!OJr[gdfvwV;J[1\K(jRٱuP 4oT;'~S t∭^Qx>^  سC׵YO|aM7|UJF yS X{D6Yor@g|^vq_b MSL6+@~zbNL"W\)u' lBF ӆz KOukQ:b ?fg O1 at{G& H~ |zQHgpG#*~>ʜX%}, -}>ኅA>OHw g܌?4Qi/A> (\ 칚ak$f@%~T ۽YY2#uL DIz9 :U ,K  >TqZAɲ(3ږ'!IU`JN~ȍЃ,LEr _ 4鲢Pg,l3n"X, VK"i2.d KbPnh [WT- lV!*q =zj[AHSAze&k5f;$P _C9ll<@yz)}r4?eGitڼpy,q_ ƭpfxVk>`gjM Hi?9:y 5 {^/S/%|ߞ?o%Zw4OB6/S8Aa!\g +p P71L_IAwZg e{TbTX9˛^jܴtzݪTtpgʭK`8^SxKҋeo}= 4lRHFJˁZ"H/A t*y(dbL>.O~km P"Q) U_-%TEKǵUPs$FEİzZ $u%wk# 4I @#Z)'!8$Π'(8>^\/5i:ks 騣fw*ˬpV.f 5Z~Jw7M5 kXچ,խ r_eEw b6gQ>Jsj2WVzU2$W#Z4.T[e>{NEJeB i+R9-bP߫M¡࡮,Խ+-V_\Rh*n[Q}9H_ytBt05\^TVUhQjn&J U$iC`TE2ffJC;Rxٖ|ejelY J#X ݥ, ;"$zȪnPg+TkvuT7VEEnb\) 8,UCQCT5q[R_2DL,/;˴ T]o4% X*EjC; ,yhL%WLa ѯ JSeNy@Quxvyq[ }5+!UkVJ2B5THBuzwV^GyXכE Q.nZ܃{E ,Cjh^1! >q#>dU\!`55aUL4 ;m "7<떡ʶC\'^`lHgiԧjۏ)7&6lkOi_L^#eB0zfCŞŖ(2&!co8bęLz|\+YfYiRE!؃<_1}߱@}mAgcY3_W5\GKlUaAӲyZ]YEs+W#.>Y-VӫLB2X| (+{~i e|2iR>a?]W`aA.P]P `` jG4 р` Pڧ*sߒrDDU)9:e!u+*=e+(]_,ϚioXȮ, T02 xE`e_w_em@fܠrO⯷fs ª{T0IX<Ԗl(Q1xBhtTda?Yj ƟTm y5KNpɃE J"A] X* KJҬbe=MPgH nCf=5xưHsS W^mHŽ=2>!\:k<-/"D+ZSD[: QQDd E-RH dQJ6DZK_*5 xNxQ$d+ ˹Ӽu7Q!*] `j̧d!VGph5qF!u5p?̊U-cSFP%2RVqR2ZeEr-;!g-'sl )v+-g̭"n-<,"# J m4))C B*~E/rAEJЌyQo+nҊ&խ맔ĜVX5Z&]smíj+t:x\UI 54~~ ZN *yӗcMi|+cx <1o sopLR@lH|ix)K~g=B_o!i+`~x2ϓwЏQ nL56Vp}Xrc2<2 N7YtdkxE50F?ӬZ3|~wPpVWrޠ6+"X8P)0?zKVL3RɆ,Y .+ҕ^(*flP84.Ӑ0Kz!Q 1KѰ!ӄiHʡ11[T!˲8bk `CT -1CЯ!];aF5_CL&m[l8B\bJ^C:`bF6]CTbb2t џWՀ1f&5damQU-T$Ftw5 htVsd1UC.S爮!L9tS |!t\*ءE$mK # QVT^ 60ߏ cT q[ M\hF 7ڷ24TQJjHwDAj 6YZۂ9j֐Skiq{Z/%2ϷENEL(֐&?c@wSA:;ec(pƆ4y!>swȑxll hOV{ƦVo'fŅq~0Ѹe 6}(ir%\BNhRBW3l]WЗڧoGπgj `B@.LJ%v!ྐྵ4;SrxL"?^$d`n*RXn>+$?8҃=\8,f,mT2;Uos4,||^r3g]07 kD4̥0J,XK@ZxH\ڪy,=1[{L"s#&$nih nu.!.j[ӾG[$2Ӥ^_Pjy;wS m9\]I8H2V{>ܠ^TYFO%m2ZZjfzLFDmۭm׶kG4"""""""Hrr$gyЗP Mmd۶ m(*///""""""""!TjKd *Dɉ韦P P"rOI??_PN(:*-3:#UZUUUUGjș7ffm~7[UUEt֭[UUU޶== B #1F`CjccRGqHC" i%"gPH Ip333bffFV֭m[m>c/ch7sHaBQ(z0(0FA$A@ A0!+ no&hp=_DE*I;:vF6@Vn3'J8RPl7BIB{5fL\B*G'v}BH%]guڼo S(l\v '7+ sݛ%:Jk  vQ_$9 ZDD)5hM-:8:9ڻj C T %^.UIxӰTjnWƏFYe5d#ZI0S5tYni@_q#Q>`O$:̄&6v9hKiM [;zNvB eM'"hvn5M9L/Q*B`3Xgɚ {lI_Gs% ,8KLj0ȂfT*>j:h&; ɗd†a`^USPzRgpa9w\M_5XKC9sVեog5YOn5֢ZjQ܋"^^V\4PgD]Ex_J 1b]CV붨yé<#/jv8}ͮL|"ҟceSׯRPWu>10t]w3Em3BB!Vs+. %TsQJ-HXX4|Z;"W#WYci)/TKHŲ,_r8@<l`]nz^U|4~HW %dpq]^~1@GN^ "Ԇrϥ5;o+@^^R)$3Kۅ27G&u Ȼ ;)kX^~w ۞8,7'U -=J%= f)^Ql@ahqPf~a,[悰3rEA=||-BEJj%1,,/_(DJ CGq_|^~.!>t9گ3U\≦>FA/)0y,ZIZ{E55_}wgtܚ wִ֫򰒹s HU* BUT?Q5}]WTpP7,0JI3* ^@BrtgN8u^&^Ev9E▿TSqP3QھRz**٦`rvJC^B{[G+* h1{ ;-DRq*U%!5UM%2OosW{<a+XDuG]_vKJD¾#3r a;jLBo.|ZD 1bL NZ e_ZPp?}]B dΪkߕm _cU ۮCMms̍Tzk T6eħXɻBKga0o]8%m[(caҗBYĤ<(=JfUxq ݌l =#|[_;юvhZ֮kںkZkZkڹvkZVkZZ_k}^ky-嵼[{ko=kڳ=kZ֬5kZl;źX{?~k쟱c?ǝǝvgjf5YͬfV3hU*Zի^WUWUWDWDWDWDVDFAAd#qXPHppp̘jC#Q"""""""#%b)R6GefTY6͗WZ9r;*!!EHlDHmAv[fklm6[}>kgcccccmcQXXXXXXXXXXXXXXX{X{X{X{X{X[X[X[X[X{6kfmvY].kdm6YM&kooݾwnmݶvݮunM6ݦt{n=ܖV[y~~~۷}۷}۷}˷|ct ۍ%@CGs 51X` ``a!!a ` 0M:xem0Ԅm>[La--NkEop_#-zMϞ(œfg^Yș̎{ϕ"[H-sϱ,*3,mFMsyw9ͺpz[Et(eޢĽP{^=/+W%߲0zX^ya UڌP͎fXyFCóg`` 럭C3,|M3|#X6kj`7,2Il }6Z3T6l=c42,671ʙbب1T,c}F}6Y=eNiylE^#nV dXu,Y\"cg0,fjq6,,Saφ&ߗ-Qų"Eȋk |LKU<@U/-]ۺ3> H xNZT1N~"x;1&Ekc!vbMD ߩ;Rʡ ~AZNI&vD4]2r)ܠ1 r'AEKpVOL,Rt^bMyh㴰߁ 2lASzؐ .yAs)#ZbcKsrQI򭛰.{iZOo3+ f'*D֊Pݶe̳y%V"m56N<|  &\Ѝz-aw-,qmbKz(Ϝ"r9:T\<~ Nd]eWJE+pIt#xgw~l So\qb`F5Tg?"'2NYX lڿ>Nl1N#5$X*MCV073}1&.ӸwG8 __٤G%5J^YJ(Z/T ,Gv$0 rpu+uio0]Q|o !1 LڿceI~HQ >wCdd^6irO. ]O[[>De£oIFpT%@Xk_նWzI#E+cKS`<߿Kg}~g0mK{c';j @&_f12ܐb ~~w#5`OHVLc͔t39C[t hK3c"neAaΰQ@ъ{Itd)1cuK!n1~Y7A8IX`~d̡nȉ\a7P-۾Cȁ"震b M1"a O-nv ])^Q[0X(ܱ}B6RR>0#9|=zi3jnEX|k.4b1Tz4dXPJrCj8žI>2[EΤz:oM!3X]!)ZR^f2V;kWTaE+nScu+ 7y15.Ow*0n 0pR7$`p?"6:}1"5NҾN8C0&%:ÿS+ U}+6N&X;nU,WGjXB ( Z\i7݇ZA$m^"GXd 3GۅBCb "p ų8L%#C58xk߱G~HkȾߌ-0YrG. ]Oof}lٝ!3-]Qhi+ ^ jd *합\Q/3 9p4{atl%f5|Ot!6逆a|.D?Ng:m+sRCJClhcuϥetJ7CScvl%Q8H-MN6%E*{qt Kǫ+BJW/{ЯxÐ 0vnJLbR:*8897P%09[A&vDh\i-ƾuԙAABT٘Dtј17@7C+)Cʡ}ZSp!t_йƒ[Y F/GAT S(FXxίOd&hxST Ap-|3]6;B[`;)ګ^KͰ{%,St"y4vC=, 0k x$.0ʙYpjhNAܞεfw6?9k(x"%Ӊı8:xc!@3# BnjYg k=O"T| 姝=" jI㎨#S+&9ٸٹQum)Ukg,㼵jQl cr:2 ( WЯsgҏ" ըx8lյ_ tI6&N+.{bb7x#&;ytƙU۲J <9Y5xƪ*,vAO~2oDtfa}>_?yn8ôpp'46}`Bw4ӻ՗/z!ngOU|6i#KϤ36vWmϺk2FĦxԱov Rno:̌ĥQ@wSPm(F=}̺Cl3aΣ`M4ob gKs ^7>ixGHk섯:ڞud*=MЙK)uv}ہPߒb; ĭrj!>%J4*7gVOFOVݙh ƙ <gW`WLL6iKv;<gLDGRܵ5[]֥ہ2sQ10 O2PQ(HA'B/7X/472{DM[-\@s M$@;Խ^'b dI'.Y$s-d:3NIS7Nvց2LP9h-Z<Nm@ADSm6 $W&gvCPfb̓Xh0{'ur/ed5,10qN❣laMU<{tN> !'\,_ɌhnVY)3њ(gz r8\qmBJ(BmIX7ӛT)MtxruCWT=uPy+[96Ҵ>]Sm@Wۻ!Qh /Qjuwݰ@6 Jߪ'lݵpi xSrZl SO81)p`4o P @$XP=8A(UW ىqaBVr9HR!\ȅ\ȅBRH I! ! !Bc1c16jڬ6jڌ6*UW^ի檙h&fH&d"H&vk[S,aeD1+*VTg}g_~/c~̏1?Ǽ6a5d YCҐ4$ ICҐCv!; 9Cΐ3 )Cʐ2 )CʐCrHICC\̴-+ iB& iB%d%$ IB$$ IBVc@Ѐ DW`B!` bA!!PࠁҥK.]z衇B~zғ'= / ~GGo}[֯~_Sԧ>~?Oҗ/߿@6JCֻ NQI)(hzfucUݵ#cfD>7݉wwwwwwǻ93xqrw!C7H0p0 TDI   %!hXxhۆ  #v&iS$pQ @ABp@ "A0 @  @ !! &tPU5Xʱ&,♺W{w1 `/29N|6"D0C_2/2;2;Q+%{6"#<(-O o#V^LJD #.~{446]jh&X/Š0[ѝzX$}q.2ݼtȜ]"rTHapV!YIא]x|M]$E)GM*u+F@V6lK"&}z#M6,"53e Hq 1-7'zԫLdB3Dfn>6cԲa+/9xUfq ia$|Cy&5fK̵H(I$xFf^?lj|Tl t;x ?! XEy??e6Ө O~dv z":'Ǯځy [4NGW:S9A_gT `1`@q^1E2Be |:be.zoM+JOrs>j{,gZTZ{忪^s&X\㫂ӓ47Q{LPԟ:.q]y LG뱗IrW [T9i Uf-xF^~S5qOOw!I>{ w~Œwb$f}R+W+Dӂ"2P:;aO=r=ø=$ 9fF&71so 1Twmq;t 7?d;`K,@;l@3fdVA˻I5pz_S;%ҜzYNSqƺ5.9ea no9qAdG*/az=1z/x&p 3d.m}jPYI{GvY0``czApb91GMX^   ^L+M!)aݓH?GDx*ۊ]2BZrt#j-aVɆ'a x3^h*A0b .j͘y7BQVyJHb~7$:o9cR`[Tay3Dz [$+B7\Dv* #hla`r1O_aIڰ\5Zs fj2}6j:M+J|rb7ppu]Aqv ʮO&L-R4 8Q7p @nAf?<Ԁ_'I #;b0N ys]_;7ilTJldV9\K[_ %Dg!V =TЊT: lAv+5>sT5;44MK3bLX&v0QR`Hͣ֯ Yh22%册)k#aI[k\b隢ȦV/դGrI~#oڝbPkVა²ſQAyZ|*ʮ[?Zi&XCΥ>z@W$;Z+48s5eu)224NXPB?泿Z,߄B-![L' !.fFNTsbi7b< n@8.#Sݵ$nC_x XyaxipQ3*63 m~ӷr8;}\!4zf0NJ/m쪁 ӔPqF㱤QlS*Ir)V6=:3cdž*^IX8}E>NXz~%>*y|9j Y澱]8 "`5+H`t.rjKxm;2]z'7μCW8F"*ued\ӕ$Uؕ4ef+ET,i2F~q[DitynsfI4 l͒,ț%QSf+%ɮ}YRvLo~ OW La/jf Pi,Yt4{,7栔)l[,J#M%`뚛%n踙,Q.3Vʑ {֜iɎ.ܗɍ;.Ӕ,VbzMWbx֛K 5J`6W0w%T_bJP\q4S6./=2X;ꚋVfpȳlԬl6bj5;G9OfCVNXgZsٖ!)3:E9+̶f'^sbd TKzv۽Or6SdH(Ry0 |:uUIl9r*;3v2f[CVLIfT{u7MfVL&w.&i?hˡn.Hʹ[dgivtH)M~Uͺ%;$KSlSKv~b4(n72wHʱƵ)=S>vf.d{&Uس?9?ajIcԴdr gj<:QMNFqN&;;>=҉CDA%>?DaJ&TvL&6#}첔ڽIfOH$f~ɗVdKJx#1ezuKvxrO%s.%FwԚYW$R"IF~H͘$wyn_KL줪_'䎉̐]/[$=]?Ÿ3[Gg-?ϱ,:h-Y#7EcӮ 39yTjw${&gu^nD̢xvb53sA@B2 9-Źs4*U5]CfF|n΅{7 L[,}#jʷ'N~ӧEqf:>exy5{JdFh 2n2X 5W# $HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/k$v*d(*АF'cl?"vo$IHҲ%9*d*ZZ{Q;:pH4vЁ1;c1MH?(E`22P5&RK 5A/BjB HȠ Ez{UTMc#L iBRkgEE4j%\qT3PGi; *\*J9t8ғAc ͠(%6trhJ4#HAA<8x@A}0 kVb\I ƍ`[:Ab`gHti}*4JQ%@K!(J]FQmm۶m۶m۶m۶m۶m۶m2>ؽe5v'#|{9sݫk^LF\ceswJwJ 8Jh&]242 4Zןlp=翽/xǷs|k]`|/>r\ dEYפZ|e띖FԅDe"#1AVp{͡Wx"Qm*)JFAkFC] d16a3h*Em΋qL$ ƅv`\٠d>Pj!7CSĩF e;Ij@ڈ{|)sonFeYeYeYeYeYeYeYey 1[ .k;|ܗ|m۶m۶m۶m۶m۶m Nwz2h(|םaĸn-gW !.@tx촏}Yz,3^ƳR&!%dLTCԇ4mLX@Pbl2EYc. ii$ .0ND_t09Μap&Ew-B44 EkcY2WQtb6Lf^FMV+B ;DQh!a@B #{Nc^ fi@ȜV@虤[y53Kb{#V5tjD$S@@H(jJ@Pa`0a aAAyKZCcU@;5}?kE iJ<|bGKR ǖ0o#@1?Wc)8M$a"p `_h玝0\(PI 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/ lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ YL$0$il?PXUۈ(󚴴d]KAAEij9)||iiTRDI39">⃈X2dxwwwvgwwUQJݵwf욙ҴN]U]UYUUEgUsV$DODDDXIȄIHIDID- ʹlf&J&Y̐Ȍ b%ۖ*JI\D$d-AB( Ь! fA`( (Ր8@2Q "AA18,(0`$N!`p`( 6E$H`   E^ Eb $P A C!bQAbEDBCH0c33>h2mmm?ۿ {2^}^}"Cd !2fDAM!Q: 4g5(PENmlͶlgmS5vɶĶb&fffea 33LGDADDDDDDMOA~xJSdÙU[Wć0Ox8V*&3f/WhBf3R:WzZBf> n텕l&BeXTgYH5 |eUgL7j `+{.`kQYMf>7{X3zi =f/+>k{GnjjY~Uƶ6Cb=S͐h혅XMu:[Pdb֘,,¸aHBg"3,n<3bQbx+b6 L:a2(X)[\e$$@2,KG#YCՠ Qͤΐl,p+?$gU41DD%ϢpdF GӞH]+ϥU`dB\CπVRszz?BEH$Eyep/Xŝ"xgv^Tc0LKD"ZLE^ ?E2YKJb'R e 6m%@/RaP#!w$${~;zUAҁf`!LٍLKf?@;>8N(,!ZlI-Q߳! 2r1RB@FyKK;;=UԀ2:c$qt/dB(q@hĄ5U2֑M a-Wb1WAtyH1K.0!vO<;v=EլqRDәzx9-JOH}0L"W&(:h褱2OMlq|)|+?ncLAFHIgy%p3.䐁vŔ,EE(dG,4s:7/ԷR&(}-͔sK3A~ &`z ɖ軡C`H6,c+%*F '[ W@ueZ6v%W#>}DŽdiZyH*_K˒(]Hy4FI~҈,_S'E!aCҒfC1(o.+/=(ߥM\^lsCg0M {z؜#4a dpW^jsѴZm)wn369oϴ*2WB"pe\ުy"1D_k薵v am4=8 rCn*m6<}/ šsUϨLSoFT"Vs]bC_/%Uz  R]HnZShɌAM$2|BO=M#.M9]:0$$pIJ``B ,` %G L@$ F-TtDɞH/] jU={j]ٱţJU\FyUoQR; kH/whx} ug*c,=Cv@8I`MAB`2$ (@#OJN L`.@$0I I`AB` $ 4`#NNF D`>(<&0A M`J $$%@'NJ0F D`<8+y`B(dt@ @ 8&0$x %#"N"MpHBp w D  @ <4@'X&X PKP#& @AIB`2$> ,X$0ABb:HlDZf?}P:53xU.٢QELB9ʋJ QTA=Gf?-4Y6B:Q^S:d-Ӂ,01|c쁇@ 8A: mS`.4t :n.{]81!w.; j2@(O^NOɸ$rCO x1F|9 DsD1c00y87"C|#ϟJYR!#FDOU=2jg+!HN YԬmOX5 ?dBI3 Gҹ2rPUycZ<1ؽYN{nͨ{S8vM#ܢ|<rd4*Nfe!L1VrQ]ֳ%t?ܾ*ky>Jw_1? Pki%O@v# JZr 466N4'}SC}nm$:Dվ,:u ^E?_k^3* LB,4ĽQ==EG'ȂrEF2a4GYhRz'S&L̼MCyMa,b8Bq6Pވ Mǡ+Fe=,Z8`PGC5ǣ,6˖udQɢҧݔ˨*IkBAH1a@0()8B!BB 1 JWbU wVCñ)iBRUրp /wɂL6g4iE tP#^Ԣbqmr!*I1Ҟ` EJ(*7ƜHP{^oY- >D7_;O=%P,9bVey{tI}'y\|-mK[͂с%?'aҏl"pg#rT;?>}n2$l~YنߣUFP$}a\u9Cv2!>J^@>W#zrcDUfy;jy+)KF$D+i ݝH@9 @ d 6P8dS@ܘi/9_fҾ(bVF0E:RaؤV.1#\1i3wͯ.utʔEX~SFs4lȝ5b9P0Y^jqA*Fd] z7Y^HSS?q0%38sLT=M0JBWB{("IMXi6GznHٳҨ{I-v &]LSAz#<|z}> {dC Xij(bA>5~z)} BW΃2wr6v^BwSJfwDPFuVIV4&V|,L5; e1Gڄ![2S7;Ɜo{z`͙ȞaU3*D44j!#2@V%1yfafMMM9:8nrtZd )^* 71pZ+K2>P.tWF#)(t~3&Ow "&6Sq;qe"Ղ34?"K%wVZ dL8a#aWukJO͝+Y (",eH!c*r !ci4^޸Ou$Pt;,k=&?Dsp1HĈLq8t1)F|%#o p]Ř =Aj]2٬aWw.3U"[mq0T-![šLkX~ r=4B0[GOg.XnE]Mqd^̂Z?XT؋@rkw+ s 5W' VHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1d[k|'o6aw}+==[heLYrD8g#4$"xPLOr)GBq@@c-ʼn)W(,f"y DapH88qpQx'=˃b8X)II_uxum?y4Lu'M@< BS#8Bԕ*<4a 9"TJ"c"y& NU)5p0cHC@)4W݁DQ0qRSnX48MyHF,IBh"ӤCbHx0 D CALHp4 C8dHFbqx4i~IDdan,lհYIr)8i"B4¢! fлDz,&$yhx` Hdh8L*0O,D4H$bY4L"4 \XPXIBEhhxiңaHĢPRm a$ $ X0p$HH  #9&i}jS!3d.}Tv2]i鵴DKEg4,-,-ϻJ.jSKhRu6nh7- Y&w #"k=zr8S{)u"Ip8hW*Yyx^b!"hFޞ:tgxxvwgvvkkWS;2dOK;nf6ȿwfVE(S~[vU*g*oÃUXtDy_Y%BOD^ikvSC<˛__X.*B2wyf45̳8ph`=|:_Y bMHoVժk@>ыn0xqX4-qb`bU1\\>.(m|q,Eebb혷 Z$S=Źc0\|$&_sR0w`TY0$L2ILC1 1d/1̘2ʁeÜq ߀ƻ02I1bv[&-R1߿c!7<:E e^B3WQO3NQ͙WWT)Vs+<4sU| |E%͜b3_Q3_QI3XWT+V)V9<yU|E%ϼbf3_Q3X+V+Vh)9yjμbgf3XᙯS+Vx+*iJ9*ggfNʙWSr+*y+4Jy G06df^`e3-(s5.m #*xN]fR+ԯ#fL}Ņ3Q@A@9,1EL=v52mu#ƛi{,3 DfYdʦ/p a x.!U-k ^ԼYt#+wYɬ@(l4w>~ڥhW6U> 1J=YxV!GXe nܯ̞)"GaRB B9czB' deNHɌ}H9o݉]Q1&䐗ZbtdPS֨C!`l1f.xIepfLa`E~.TJ&Hͪ٬ч0v2Su@Ql[Uwa:7986xo}ݾwn}ݶvnmmݶvn GGG???///__k Eofooo~om/! @_AU~sQXcX1-֘cE1ba1Ǵƀ;UW/"̋E>"yǰcXc^$+f\9Z1-.+W[3Y.~cŌ+GE"`cx0[0,2fE"`Z-  f"i`H0Xd0X<- E"``0,2 Ń"`Z0[$, fq F"lch0X<[LE`l`Xd0-  Ea0[$X4,E"l``x0[LfEl`Xd0Z-  Eai`H0X4, E"``x00,2fE"`Z-  fCBm\&=o FY@E.m?~gX+vI}@d'{ϐ+;z=6Q7$qC qjh\*\prOLJ $E{EiDQ0DG8ZJ`/nOmZH1CcBE7V앯) J07Qv1; 9um n@ikĂd|RyW[Dn{ƕɗ7wn XZG3ވ%~,@i Vs ? Zٵ }F4zBKBuUѐə@7+{Ɛ ;L nQ= v|c2&KgڸsLbIۈnNS19z̾(ȍ˃߷XP( pH'L[,#5-jƷ vi-CK \2ߙNdltB}|, :>B/ب U}un$w&7(FDoe =s+~*'pWsrn0'( rotD4{4r C:>0hXi 9BK%{;'K&e  X`R`z8#ܲZ4Rriöz47 ioޝ1H$)mk6ش%gRPllbm-1Ty0)_i|1r2U$ï\yStl|s |/EW CuanaKnyk)c F6`vS@tTrj2ɦ%+ #&F .K$O; 鑌ۿ$37'ACMY[Sz&5T/B?JsuSqI򂾏#$GonXfI@T365cd6^4h92m& 9s,jPVJī9d|e|l3s+%PvoYtބƐVMuz@[wK\&S ~YgDfoCI̡M&Y ZmW.N!V -4Fpk$=L揎j2Gv"Q3DޅW +`dGSkhoqHk&6p*\ * UksqXjS[TsNД| QdhįAG"e\`/T7?h&]MVӃ`dP-0C}^s8 `Z떣)*(0M jaTܭuE2{w;]qCz#DǬ ƝuYS͠dJFGGԝg$Q6oO626m% _Դ- 4;%Q43Ŭ=ǥՇϋofk:mqOK,Fahȹy\n S#p@Lp@㘱٨WcG; n홞^. ;ouZmB"53/)ed_htACM#9[7ѶsmV\0\o;O0f^9ʆgun(?G16ik bԲU#Է_Aq&p ѝYJkacP _7k<Z^d:#FΗL-Θ`eP``39!"r?uwBpˇXqm,(e/i:U[IT f;\6 lIrM_(kGƬdnqQO%LwlRFb툈ȹLBo{bR(g%A*ʖٶ>pLz'\6鑘L^%MYPcQ%OYdEzu噕$؎?gU7zJtU LYҸ&0ZN/8 taRXlX q=4۲#4嗉E!M' +Q[Wz+␏Y۝o;U3Pxrݶzd> Yh"Pch0Z: 5dTv~9 ,a>ƾ-*By6ohU|f H,m] td^/:M؇s.8rHEh 8=6Md<mXz:oelP@fM~Nk2JBW8 "-63e @ kCJamb]+mϚ;:Ͳ1~v \[l4KmV.Hh2ZinU] /L-+ :ns3ÆLCTNjd#F:P3`*zn5-ғ.!@.{jl4')Yfhՠ#?c[=ԯ -&cx1|{_J˴Xoy4PpUU3E+O. @2f=uxzr1C-\,\=27)/ }Aa#r%ޓ8^ 3^JL.!R82/rdq #C.`>Wf^{'$ NNE\tX'bTlʥ<}N-݉e5j,2 \sAՐ]AdbrJfԥ +&V/7,B?G鮀r' zWQgW~IEqg+j*=~wAi=WqdӹE5Hk랔2P(?b"YU@tu1:& TD/NUI -E4–^p*1$#٨RZSA !q`"b (€@01 `! 0 ER? L%ŒB 18%Bl cﴕ嚷 q MS7(T7% Z1))5-pw"HMP]\U?0@A\u/( l|IͥAQ9UĔŏ):ߚ._:pl{o)BrnW;#8&n‰H1 a[V'$&pA pS <tO8 mȨ_.+NDmc,[}sAdw+ l`j[:8I\*;#9E}ng?dE 8{Qz6RiQJo|67\,s88 +}K&0Tm__Tp ,c0͢K WMx5QwGzةU.}4/)|ʋ?ĉʓ3#TϤc%:{ g&hC_  sU4C>pDo7gb+x93#&&m2BG|obՎG =r'_cX5%g6&0UT鱡tQiWvE \}QyH3p ٳq3' 6KgT'#c%omn4j!#ͮArMW/\5&/NG"nY*IpVȯ 7\԰|K s-GGm e6-Òr\WR77m[ 6n"ne!bRNP*ɹ @c 9Ĉ wC> {{e*yZUă0ȓqrxu.&n9s6 FĖT7@ֲtҌLD[l&jz71|TǏ %nDߺ< a DvC*%2#,7ѭOy[jEgouQw[6]z֛q`?Vo9šv9'%FLp J he[v$ o8p%&HMܧ\-30}dWl'bq> 포oA>q& M/xб@Ӷ2cϰe}F'to2-{hrم Q0|(F.Û~)\U%8+Qn/Dg?¤RQS|́Gpj4/E.c"$p)D4TTwt8%fD&8ݧ}ff~P4}Cq%'Ѽ{^Bp3yk$8U[.Yt ؞SqP xyO>7F V7 s~{DU=-W&ŵtVy065Ma(%3 46HJ @8nF 4Ms5Kk8#GNe58Ӂ2]@!Y I Oގ.K&۵. }4Z\R;&6"erȝ ;aID+5EeQ^F`Ӛ;hٟifT @}_MGILeU85tnDT`IP8/.~!1o-@<ۦq%jqF`Nnz8g1bp>/Oط{*W7gFd=+}v% J͟@^`vЯ0 !s ɾsI`';Rv̠W4p<tkUCڽN} ˀl.xwLWNN7,A'fFgN$D8O\wwėw V8j#R@qY xr_ @񂒌-x"0]i%Qh 4 E!x;qmD\-B9]M]u2۩t(78.K`DVx $]$3!]S5z6GJ@ [娀Bu5;f,yrs'rt@]8# HA0kP"B5{bQmeĊOoq1eBAF{mG61IB-ekٹq≠<|k*|6޿L?W88dˢupyfӼĺ %o`}?a A!@!KrFv`;8. cD.dlD2Sl9<-\f"(Xea#9[z5?eFmp?