c){&%3 5.$m3c2"ca3ӱ1(3c̶.c̞1$55.̼mcm2/{ۂuꨅpڃu݀xrꪄۂr̼2A`VaUY+Ld[vRqZjR'd_v'Lhw'2 C DDA F}3 D )IwZd[?auN`[wKlW|IwZZb_qPsLi]`M?L`l4vMlPa0 C5|1 6A A{0 'ˏk ٶ>yL.)v,( Ta o/-v,",&8F 5%a )v*/q!5)p*(gLonr1-oavyL.#`/) T%-n&` *(vav3Wq|.L+)k +8 Tr|:^onf 5%a /c& c 7#pLy}.L0/p &"M*)l"8k-n8a-l /) Ts` :nCL`•bØ/aƕbhӵxĉ`ҍyΎHɀa…!ƌ/hɀa…7~œ/΅7Ԏ/Ԅ~ΎDØ/>ᥓ<>5K㧑>KNoh |v sRt %9'bNluQ5bNNbHZbTo&q_in^~K+ku[v%`KrI~F]~s!KJUakVzF2+I/mrcUl'tOI6 5Y<Li /R'B-].ZwV~>bXPs.Z0(_'P!SwWE'Vrb\ dQt@'yshW~F6 *G7+G7Ha[i((^) -I,RowI!F(Ml)WruUibX5 hW9+r %*_+h tIrisK=.*3 ]-6 +[E /+3((>|_/4 _,B|.*4y9{(?:i2025-03-21 18:19:27 info: [Puppeteer Page] Got cookies, applying... 8Q$3ra$?("&#$ra?:Qja)&Qj6Q|.#"5yQ 6 75c#1&.p,p,;&|" :>m]~>فCsP51>rl:%̾+ڿ))dlˣ,73lݵ8+j  j#̿;/Ωjt;ټ-:̩:n/+ !ǿ<<ܯ<++!Ƨ!+.!8/Ωhcj3;NHcQ2025-03-21 18:19:27 info: [Puppeteer Page] Set 0 cookies on the page rYsA@JKQ؏t_ΎX]ߒ]CBɄI_~l}W؎J[ژiO͍\NؘK^_j_ ޒVQԘJғN՘Jܚ\i:9C\ SI 'BUUJBUW@tDNB>HS UKW@JRS\W@RDEHKERTHnES]gX+]PaeZe,aZdu '!i߁#nJ EN R^ECzBVR^S LRHG 4sb7BDTJjdZR|VVReT^U3P@TFBCPHG\RPPLJp17Xma;"kyX{5:}a͠b:ksLM;")+ܯ({ ~4,5,,«}{x,ި-*ܸdeS2025-03-21 18:19:28 info: [Puppeteer Page] Got cookies, applying... GUU "GCU _U_M3':0IMMM>? WE(E IO YKM {weo3|гH?w˳HťddzH)aP~uP'(PF'ͳv'1Uզ`Գw bŋJFϸqң qŲJfϹlťJcϤJu%7'ݫoj g2025-03-21 18:19:28 info: [Puppeteer Page] Attempting direct fetch of https://isis.vanderbilt.edu/bibcite/export/endnote8/bibcite_reference/1177 x"1)v{D2v<`>v{q 1{g<1V14v8tc1,c-vyC3+vyu:{?3-cv<0`8}+q-=,<;p<<)|vv7|a<;p Drupal-Bibcite<style face="normal" font="default" size="100%">Syntheto: A Surface Language for APT and ACL2</style> Ya&QK&<0&Q]!aI 7 aIS1$a_S&$Sa(2-c>"S217S1Q* nSAsECtQ X XCsqYGXEWH[ IK][ Q[Y \EV G]d\SP \ \ \PG COR YqK^ Y ZQ ^\ KPKBZ NL DX X \ YG\EWH[ IK][ Q[Y \EV G]d\SP \ \ \PGCOR YqK^ Y ZQ ^\ KPKBZ NL DX X \ YGPEWH[ IK][ Q[Y _EV G]d\SP \ \ \PG COR YqK^ Y ZQ ^\KPKBZ NL DX X \ YGZEWH[ IK][ Q[Y _4 YMoAAMK^^]KLOYh@Q X]KXKj]XJKLHEKD\S EK^Qd\Sz^-{, -{,(^ly_陁 '-8i~RHs^h{?xnRjwJaƮpSJ8I.E(E"E(I*^(Ƽ\8R I6ƲitR ƃG-D^ւ5_3^݂4_1[F-3, ipVMYLzXA@ZHI^JG\XLE^SBHaI  D[^Fdlתml׫milլ=l-( 0C1El&gH.n8g)!gi.D*p8 \im.a/ \f5_z2Sz1S~:S{5_e7HiJ"fDx0Tiq8k fDi@Q~:RyA#y1%rA"~2'4P C%r fe?jKf!k9ڃmfoff/q!l`!430;46~g1pjgA;@0@35B!iwoßVTښO^tXʚZ˟ŚYOܟ^T ~xz xF8zh;JY(E[)D@$\?TQ,B{/[W9=PU B6V'T@Uo yu }uoXwaQ>B[#xwz qw pu zpw{Iˬ14M,P{#RzuL"Iw:l2X$r|=^jun6\s$eu_t2IW3$d 2uXm$Rp$u )b Zex[e~Zny[b|_c )~(n@Oz#CW=oڱZ`[6maVyMq^g]~K6OuRgD6Uqvp9 % %! $:$ڡ6.8گZgPz.ڞ# PʟzQ|P{Q~U #|"Bex?:_p]"vF}tW}}}Q4jS:wP{F:ħ/ һ(Ի+޿ Ժ/ ֤-׻:OʨqVİ+ަ:Ak[QVİ:pѽ- *q*!q-,нYs!Dyρ2)u't#%#!uU2݁7HDDD DHDDD HD@DD DHDD DXDD )XDD )DXDD),xDD1/4 DH'D&/DDD / DL/DM/,PDD