ELF44 (# 44400\B00((( Qtd/lib/ld-linux.so.2GNU    XxW'%J!@5.`1d1g0K6CF<2Rh1_o  _Jv_RegisterClasses__gmon_start__libc.so.6stdoutmallocisattycallocfprintfstdinferrorstrncpyrealloc_IO_getcstrncatfreadstrdupstrcmpsetlocalestderrfwriteexitfileno_IO_stdin_used__libc_start_mainfreeGLIBC_2.0$ii 0`1 d1 h100000111 1 1 1 11 1$1(1,10141Uyf50%0%0h%0h%0h%0h%0h %1h(%1h0%1h8p% 1h@`%1hHP%1hP@%1hX0%1h` % 1hh%$1hp%(1hx%,1h%01h%41h1^PTRh<hQVh7US[éRtX[ÐU=l1tv@1ҡ@1ul1ÉU0tt h0ЃvÐUS1E 14R1 u R1@EUU}yEE11U)‰У1=L1u u E]Uu5T1hU(=D1tlD1=1u 1=1u h11=1u `11=1uh@51P11E蠠1UEE1U111U1UEߋEEߍ;Et'UU}~EߋE뺋EEߍ E1U1EEfte-11EU1=1t-U;1~1EE1&M-11EU1뤋EQE+EQU1E1Q=~ hQ@P5Q11P1Q111U1}9t,EE;Q}E18 uH1Eۃ}@ U8T1 h1trE T1 h1[trE T1 h10trEl T1 h1trEA T1 h1trE T1 h1trE T1 h1trE T1 h1YtrE T1  h1.trE j T1  h1trE ? T1  h1trE  T1  h1trE T1  h1trE T1 h1WtrET1 h1,trEhT1 h1trE=T1 h1trE1T1 h1trET1 h1vtrET1 h1KtrET1 h1 trE\T1 h1trE1T1 h1trET1 h1trET1 h1ttrET1 h1ItrET1 h1trEZT1 h1trE/T1 h1trET1 h1trET1 h1rtrET1  h1GtrE T1! h1trE!XT1" h1trE"-1T1# h1trE#1T1$ h1trE$1T1% h1RtrE%T1& h1'trE&cT1' h1trE'81T1( h1trE(1T1) h1trE)T11 h1gtrE1T1* h1<trE*xT1, h1trE,MT1+ h1trE+"T14 h1trE4T1- h1trE-T1. h1etrE.T1/ h1:trE/vT10 h1trE0KT13 h1trE3  h1E251j5Qh1EE+QHE1U111)Q1x$u&1@1111@$11@;1r]EQ1E uEQE}t11UEE21UE؃}t } }tv}1t,Q11HEEE:E=1n 51XEQ1E1UQEh11@У11UQE h EU(1@EQE11B@;1s h<5 1x u,Q1)‰Ѓu E?E3Q1)ЉEMEM9M}EEEEE㡌1x$u11@R1@ +EHE} ht| } ~E 1xE*EE;E}> 51E}t$} t1ER‹EM E뺃} u1EJEM E}u% 51&t hE1R51uj1@EPi11u% 51t h]11B=1u5}uE 51E1@$EE111B11B@1@QEEEU 1E111U1QEU;1E8tUEEEE;Et'UU}~EE뺋EE E1U1EWEU EEE;Et'EE}~EE뺋EE E}E}u1‹E1}uEEEEU1E1U1@;E 111@ R‰UE1@ȉE1U9PsMMUUE+EEE+EE 11@ 1B1@;Ev htMEU} u H1E QU1E1U111811@;1v 1Q1)‰ЉE1iE}t'}}tQ]}tU 51Tt Ei=1u 51WUu uUU uÐUjrEEx/}&U@;ruEE=Rt h!aDR=RRR`EEEExv}mUf@u^R;RrmtCRREEEf R RtrxrQR; RwCC-R- R9=ru"CrU U+E RRRREE}jAU*=X1QA h j5R )A=X1A h _j5R@jjjjjjjjj R0h!0R@jjjjjjjjj R0h!0R@jjjjjjjjj R0h!p0R[@jjjjjjjjj R0h!=0R(@ R0h! P R0h!P R0 R0 R 0h!e P R(0 R00h!@P R80 R@0h! P RH0h!Ph!b0RM? R0h! P R0h!P R0 R0 R 0h! P R(0 R00h!eP R80 R@0h!@ P RH0h!(Ph!0Rr> R0h! P R0h!P R0 R0 R 0h! P R(0 R00h!P R80 R@0h!e P RH0h!MPh!0R= R0h! P R0h!P R0 R0 R 0h! P R(0 R00h!P R80 R@0h! P RH0h"rPh"0R<jjjjjjjjj R0h "0R<jjjjjjj R0 R0 R0h!Ph "M0R8<jjjjjjjjj R0h,"Ph8" 0R;jjjjjjjjj R0hE"0R;jjjjjjjjj R0hE"0R;jjjjjjjjj R0hQ"s0R^;jjjjjjjjj R0hQ"@0R+;jjjjjjj R0 R0 R0h`"0R:jjjjjjjjj R0hp"]Ph"0R:jjjjjjjjj R0h"Ph"{0Rf:jjjjjjjjj R0h"Ph":0R%:jjjjjjjjj R0h"Ph"0R9jjjjjjjjj R0h"YPh"0R9jjjjjjjjj R0h"Ph"w0Rb9jjjjjjjjj R0h"D0R/9jjjjjjjjj R0h"0R8jjjjjjj R0 R0h"h P R0h"0R8jjjjjjj R0 R0h" P R0h"i0RT8jjjjjjj R0 R0h# P R0h#0R8jjjjjjj R0 R0h#l P R0h#0R7jjjjjjjjj R0h"!Ph#0Rk7jjjjjjjjj R0h#Ph#?0R*7jjjjjjjjj R0h-# 0R6jjjjjjjjj R0h-#0R6jjjjjjjjj R0h-#0R6jjjjjjj R0h!P R0 R0h!Ph-#D0R/6jjjj R0 R0h=#P R0hD#P R0 R 0hK#d P R(0hR#0R5jjjjjjjjj R0he#Phr#x0Rc5jjjjjjjjj R0h}#Phr#70R"5jjjjjjjjj R0h#0R4jjjjjjj R0 R0h![ P R0h#0R4jjjjjjjj R0 R0h#u0R`4jjjjjjjjj R0h#Ph#40R4jjjjjjj R0h!P R0 R0h!sPh#0R3jjjjjjjjj R0h#0R3jjjjjjjjj R0h#l0RW3jjjjjjj R0 R0h" P R0h#0R3jjjjjjjjj R0h#0R2jjjjjjjj R0 R0h#=Ph#0R2jjjjjjjjj R0h#i0RT2jjjjjjjjj R0h#60R!2jjjjjjjjj R0h#0R1jjjjjjjjj R0h#0R1jjjjjjjjj R0h#0R1jjjjjjjjj R0h#j0RU1jjjjjjjjj R0h#70R"1jjjjjjjjj R0h#0R0jjjjjjj R0 R0 R0h#0R0jjjjjjj R0 R0h$ P R0h$m0RX0jjjjjjjjj R0h$$:0R%0jjjjjjjjj R0h$$0R/jjjjjjj R0 R0h"^ P R0h6$0R/jjjjjjj R0 R0h" P R0h6$_0RJ/jjjjjjj R0 R0h# P R0hE$ 0R.jjjjjjj R0 R0h#b P R0hE$0R.jjjjjjjjj R0hU$0Ro.jjjjjjjjj R0hU$Q0R<.jjjjjjjjj R0hU$0R .jjjjjjjjj R0hU$0R-jjjjjjjjj R0hU$0R-jjjjjjj R0h!P R0 R0h!PhU$V0RA-jjjjjjj R0h!P R0 R0h!PhU$0R,jjjjjjj R0h!UP R0 R0h!3PhU$0R},jjjj R0 R0h=#P R0hD#P R0 R 0hK# P R(0hi$0R+jjjjjjjjj R0he#gPh$0R+jjjjjjjjj R0h}#&Ph$0Rp+jjjjjjjjj R0h$R0R=+jjjjjjj R0 R0h! P R0h$0R*jjjjjjjj R0 R0h$0R*jjjj R0 R0h=##P R0hD#P R0 R 0hK# P R(0h$80R#*jjjjjjjjj R0h$Ph$0R)jjjjjjjjj R0h$WPh$0R)jjjjjjj R0 R0h$ P R0h$b0RM)jjjjjjj R0 R0h$ P R0h$0R(jjjjjjj R0 R0h!e P R0h$0R(jjjjjjj R0 R0h! P R0h$f0RQ(jjjjjjjjj R0h%30R(jjjjjjjjj R0h%0R'jjjjjjjjj R0h%0R'jjjjjjjjj R0h%0R'jjjjjjjjj R0h%g0RR'jjjjjjjjj R0h%40R'jjjjjjjjj R0h0%0R&jjjjjjjjj R0h0%0R&jjjjjjj R0 R0h=#% P R0h=%z0Re&jjjjjjjjj R0hP%G0R2&jjjjjjj R0 R0h=# P R0he%0R%jjjjjjjjj R0hx%0R%jjjjjjjjj R0hx%0Rx%jjjjjjjjj R0h%Phx%L0R7%jjjjjjjjj R0hx%0R%jjjjjjjjj R0hx%0R$jjjjjjj R0h!GP R0 R0h!%Phx%0Ro$jjjjjjjjj R0h%Q0R<$jjjjjjjjj R0h%0R $jjjjjjjjj R0h%0R#jjjjjjjjj R0h%0R#jjjjjjjjj R0h%0Rp#jjjjjjjjj R0h%R0R=#jjjjjjjjj R0h$Ph%0R"jjjjjjjjj R0h%0R"jjjjjjjjj R0h%0R"jjjjjjjjj R0h%x0Rc"jjjjjjj R0 R0 R0h%50R "jjjjjjj R0 R0 R0h%0R!jjjjjjj R0 R0h%I P R0h%0R!jjjjjjj R0 R0h% P R0h%J0R5!jjjjjjj R0 R0h% P R0h%0R jjjjjjj R0 R0h%M P R0h%0R jjjjjjjjj R0h&o0RZ jjjjjjjjj R0h&Ph(&.0R jjjjjjjjj R0h2&Ph(&0Rjjjj R0 R0h=#MP R0hD#2P R0 R 0hK# P R(0h;&PhH&T0R?jjjjjjjjj R0hT&!0R jjjjjjj R0 R0h!x P R0hT&0Rjjjjjjj R0 R0hh&$ P R0hv&y0Rdjjjjjjj R0h!P R0 R0h!Phv&0Rjjjjjjjjj R0h&0Rjjjjjjjjj R0h&0Rjjjjjjjjj R0h&~0Rijjjjjjjjj R0h&K0R6jjjjjjjjj R0h&0Rjjjjjjj R0 R0 R0h&0Rjjjjjjjjj R0h&0Rjjjjjjjjj R0h&o0RZjjjjjjj R0 R0h" P R0h&0Rjjjjjjj R0 R0h"r P R0h&0Rjjjjjjj R0 R0h# P R0h&s0R^jjjjjjj R0 R0h# P R0h&0R jjjjjjjjj R0h&0Rjjjjjjjjj R0h&0Rjjjjjjjjj R0h&0Rqjjjjjjj R0h!P R0 R0h!Ph&$0Rjjjjjjj R0h!P R0 R0h!cPh&0Rjjjj R0 R0h=#"P R0hD#P R0 R 0hK# P R(0h&70R"jjjjjjjjj R0h'0Rjjjjjjj R0 R0h![ P R0h'0Rjjjjjjjj R0 R0h%'u0R`jjjjjjj R0 R0h=# P R0h7'!0R jjjjjjj R0h!P R0 R0h!`Ph7'0Rjjjjjjjjj R0hF'0Rwjjjjjjjjj R0hF'Y0RDjjjjjjjjj R0hF'&0Rjjjjjjjjj R0hW'0Rjjjjjjjjj R0hW'0Rjjjjjjj R0 R0h=# P R0hd'l0RWjjjjjjjjj R0hw'90R$jjjjjjjjj R0h'0Rjjjjjjjjj R0h'0Rjjjjjjjjj R0h'0Rjjjjjjj R0h!P R0 R0h!Ph'>0R)jjjjjjj R0h!P R0 R0h!}Ph'0Rjjjjjjjjj R0h'0Rjjjjjjjjj R0h'v0Rajjjjjjjjj R0h'C0R.jjjjjjj R0 R0 R0h'0Rjjjjjjj R0 R0 R0h'0Rjjjjjjj R0 R0h% P R0h'i0RTjjjjjjj R0 R0h% P R0h'0Rjjjjjjj R0 R0h%l P R0h'0Rjjjjjjj R0 R0h% P R0h'm0RXjjjjjjjjj R0h':0R%jjjjjjjjj R0h'0Rjjjjjjjjj R0h'0Rjjjjjjjjj R0h'0Rjjjjjjjjj R0h'n0RYjjjjjjjjj R0h';0R&jjjjjjjjj R0h(0Rjjjjjjjjj R0h(0Rjjjjjjj R0 R0h!, P R0h(0Rljjjjjjjjj R0h(N0R9jjjjjj R0h!P R0 R0h! P R0h(0Rjjjjjjj R0 R0 R0h(0Rjjjjjjjjj R0h$Ph)(]0RHjjjjjjjjj R0h<(Ph)(0Rjjjjjjjjj R0hP(|Ph[(0Rjjjjjjjjj R0hh(;Ph[(0Rjjjjjjjjj R0ht(g0RRjjjjjjjjj R0h(Ph(&0Rjjjjjjjjj R0h(Ph(0R jjjjjjjjj R0h(EPh(0R jjjjjjjjj R0h(Ph(c0RN jjjjjjjjj R0h(Ph("0R jjjjjjjjj R0h(Ph(0R jjjjjjjjj R0h(0R jjjjjjjjj R0h({0Rf jjjjjjjjj R0h(H0R3 jjjjjjjjj R0h(0R jjjjjjjjj R0h(0R jjjjjjjjj R0h(0R jjjjjjjjj R0h(|0Rg jjjjjj R0h!P R0 R0h! P R0h(0R jjjjjjjjj R0h(0R jjjjjjjjj R0h(0R jjjjjjjjj R0h)v0Ra jjjjjjjjj R0h%Ph)50R jjjjjjjjj R0h)0R jjjjjj R0h!eP R0 R0h!@ P R0h)0R jjjjjjjjj R0h)b0RM jjjjjjjjj R0h-)/0R jjjjjjjjj R0h=)PhI)0Rjjjjjjjjj R0hR)軿0Rjjjjjjjj R0 R0h!PhY)r0R]jjjjjjjjj R0hY)?0R*jjjjjjjjj R0hg) 0Rjjjj R0h!s P R0h![P R0 R0 R 0h!, P R(0hs)Ph)s0R^jjjjjj R0hD#־P R0 R0hK#豾 P R0h!虾Ph)0Rjjjjjjjjj R0h)Ž0Rjjjjjjjjj R0h)蒽0R}jjjjjjj R0 R0h! P R0h)>0R)jjjjjjjjj R0h) 0Rjjjjjjj R0 R0h=#b P R0h)跼0Rjjjjjjjjj R0h)脼0Rojjjjjjjjj R0h)Q0R<jjjjjj R0h!贼P R0 R0h!菼 P R0h)0Rjjjjjjjjj R0h)豻0Rjjjjjjjjj R0h%Ph)p0R[jjjjjjjjj R0h)=0R(jjjjjjj R0 R0h!蔻 P R0h)0Rjjjjjjjj R0hD#H P R0hK#0Ph)菺0Rzjjjjjjj R0hD#P R0 R0hK#κPh)-0Rjjjjjjjjj R0h)0Rjjjjjjj R0 R0h!Q P R0h)覹0Rjjjjjjjjj R0h)s0R^jjjjjjjjj R0h)ӹPh)20Rjjjjjjjjj R0h,"蒹Ph*0Rjjjjjjjjj R0h*QPh*谸0Rjjjjjjjjj R0h"*Ph/*o0RZjjjjjjjjj R0hC*ϸPhW*.0Rjjjjjjjjj R0hj*莸Php*0Rjjjjjjjjj R0hw*MPhp*謷0Rjjjjjjjjj R0h) Php*k0RYjjjjjjjjj R0h*;0R)jjjjjjjjjjh*0RE)RREE) RE E}us}umERRf R RRRQ=ry轝r=ry r=r1U UEt6EEEx)} U@;EuEEU`UR;Rr t4RRUf R RRRQ釺 h*MEEEÐU.D$$g׹ÐUED$|.D$d1$%ÐUWVS [D莙 E)19s׉M)F9Ήr [^_ÉUWVS[ÙD ) pNu. [^_ÐUSR00 vЋuX[US[3DP~Y[968568 78787878478787878787807878787878378378787878 787878.78 787878/78/78/78/78/78/7878788 +,,,, ,4*223 .////////-,,,,,,21#/$////(/)/-,,,,,41///,,,,",///,,,!,/&/'/%/ !$'),.1479<?BEHKNQTWZ]`cfijkklllmnprtuuvvwxyyyz{||}~  !"#$%&'()*((+,-./(0123(((4(56788888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888&'(789HIJ_^80kd@^,]c}]|2}spiicAO !"#$%&'())*+,--.--/--01------2--345---------BDEcc------------UYVCK------------8:W8------------HLII^---9DES97FT<B=At>_u?HX``HIIC7HA``vvtvvu77777;;@@@@AAAAANNOOZZaaaaammsssssb~}|{zyxwbrqponlkjihgfedbH]\[RQPMJHG6HH22$ 47   "$""? 1791ACb?bE4EEI}II|A9`C``cctvv{ztyxwsrqponjiha_^]\[VUTSRQPLKGD>=<0/.%#! %3d:%s; token too large, exceeds YYLMAXfatal flex scanner internal error--no action foundӕ&Q|ҋ(S~Ԍ*U֍ 6a 8c:e%ZEpƒGrȓψψݓ       fatal flex scanner internal error--end of buffer missedinput buffer overflow, can't enlarge buffer because scanner uses REJECTinput in flex scanner failedflex scanner push-back overflowout of dynamic memory in yy_create_buffer()out of dynamic memory in yy_scan_buffer()out of dynamic memory in yy_scan_bytes()bad buffer in yy_scan_bytes()%s $FreeBSD: src/usr.bin/yacc/skeleton.c,v 1.28 2000/01/17 02:04:06 bde Exp $%/* %s <%s> PERIOD .   !!""#####&)''++,,$$$$$$$$133440/66((22--778855:<9;;;;;;AABBBBB***EEFFGG=HH.II%%JJMNNOOPPKKKKKQSSRLLUUUTT[ZVVVV\]]]^^__``aaabffccciiDDhCCCCCCdggllleemWXXkkYnpssttooouuuuwwvvqq >>j@???r 2/()-#$%TMNSfb4678:;DEFGHYZ[\eghjkq3 ,"p!mnoQd|{.1& JKIiBV=@<UAC`zcawytvx W +P'}LR .&Y>hPZ[\]^_`aijABA<=CD2nopqrst$GHIcdefgJKLMNOPQRSTLrM"/u%9mz~x[s 0(1@F6 C ENP2RRTX2 Y^ceiBn        22        Uyz BF@ 22"B 2      CC/IsC.C0CH8JTo:n <C,!T$%l$_fv'(+02&mZ")(2:A^!<)u\|kvcu(w">>@sam??0?b!?0cvc9uxwMb95(>/z|bzb 5z>_ EEKEEE_zxN_):;<Ec >cc(?#E"?E%?E#$(?&b%r)w,bb-s0tvr 120se1f'EEEEEE%t`EE&OuEUEEE!VW uX561789:;<='%#&:;<'z0*+z cz%%%%%!1&&&&&% =z&b)'     ,-BC. DEF3IJ@@NQR@S@@E'''''TU!VXW'456789:;FF@HEFEFFYZ!!!!!@@@d[!]k\^Fjl5kFmhF6noFpdq789x:;z<=d}~kk*@@@@@@@@l@@@@ 78*F:;<=~OFXFF yFiFFFGdldd{kkkky{X5}~68:;<=@y@@X5}~68:;<=FFyz{|dXk5}~6y8z:;<=|X5}~68:;<=]]]]]]]]]]]]]]]]^^^^^^^^^^]^^^^^^ddddddddddd^ddUdddgWUX5Wd6X57896:;<=7893:;<=456789:;<=}~78:;<}~45786:;<789:;<=*+1-d1[g12N3(-11,-2Y34{Vhpgdg1g V {ke^d  ,- 1{34- 1.g * -/013.V.nn^d^ng.k  -UQRUUU2   -13  *x" 2/  *+,-/01 34^ ^*{-^/01N3.QR j#$.^.xjpz4{.x^,-134U^,-Vx1z34dgk-1Vd*g"kV*+,-/0134dg#$%k.(){* V*+-/0134NQRZ2*1gj]pe    !"&'*+-/0134 U Z]  xz !"&'*+-/0134xz xz !"&'*+- /0134 !"&'*+-/0134    .  .  ."*+,-"/0134*+,-/0134"*+,-/0134 !*+-/013 !*+-"/013*+,-/0134         syntax errorannotated_formulaPERIOD RPAREN COMMA LPAREN _LIT_fof fof_annotated_LIT_cnf cnf_annotated_LIT_thf thf_annotated_LIT_tff tff_annotatedannotationslower_word formula_rolefof_formulabinary_formulanonassoc_binaryLESS_EQUALS_GREATER binary_connectiveEQUALS_GREATER LESS_EQUALS LESS_TILDE_GREATER TILDE_VLINE TILDE_AMPERSAND assoc_binaryVLINE or_formulaAMPERSAND and_formulaassoc_connectiveunitary_formulaCOLON RBRKT LBRKT quantified_formulaEXCLAMATION quantifierQUESTION variable_listunary_formulaTILDE unary_connectivecnf_formuladisjunctionliteralthf_formulathf_binary_formulathf_nonassoc_formulaEQUALS thf_equalitythf_assoc_formulathf_or_formulathf_and_formulathf_unitary_formulathf_quantified_formulathf_quantifierthf_variable_listthf_unary_formulathf_abstraction_LIT_lambda thf_lambdaCARET AT_SIGN thf_apply_formulathf_tuplethf_atomthf_typed_atomthf_untyped_atomthf_variablethf_typed_variablethf_untyped_variablethf_typed_constantthf_untyped_constantdistinct_object thf_defined_wordtptp_operatorthf_binary_typethf_mapping_typeSTAR thf_xprod_typeplus thf_union_typethf_unitary_typeMINUS_GREATER map_arrowGREATER _LIT_letrec thf_let_recthf_definition_listCOLON_EQUALS thf_definitiontff_formulatff_binary_formulatff_nonassoc_binarytff_assoc_binarytff_or_formulatff_and_formulatff_unitary_formulatff_quantified_formulatff_variable_listtff_unary_formulatff_typed_atomtff_untyped_atomtff_variabletff_typed_variabletff_untyped_variabletff_type_spectff_type_exprtff_binary_typetff_mapping_typetff_xprod_typetff_union_typetff_unitary_typeatomic_formulaplain_atomargumentsdefined_atomdefined_infix_predEXCLAMATION_EQUALS _DLR_true defined_prop_DLR_false defined_pred_DLR_oType defined_type_DLR_o _DLR_iType _DLR_i _DLR_tType _DLR_t system_atomtermfunction_termplain_termconstantfunctordefined_termsystem_termsystem_functorsystem_constantupper_word variablesourceoptional_infouseful_info_LIT_include includeformula_selectionname_listgeneral_termgeneral_datageneral_argumentsgeneral_listgeneral_term_listnameunsigned_integer atomic_wordsingle_quoted dollar_word atomic_defined_worddollar_dollar_word atomic_system_wordreal numbersigned_integer file_namenullyacc stack overflow$W˪\!T0q4upıl!Tt)}[Hķ*]ø)l&zκ"vܻBu׼9&g۾/j6ws-`,_:mGBuO;7@ `I|XfAt k)} n:m'ZQ-pl&Y%XLRH LK~Q+?r!5h"vI|D3<}@%s $  H 0؄ ooo0΅ޅ.>N^n~Άކ 0GCC: (GNU) 3.4.4 20050721 (Red Hat 3.4.4-2)GCC: (GNU) 3.4.4 20050721 (Red Hat 3.4.4-2)GCC: (GNU) 3.4.4 20050721 (Red Hat 3.4.4-2)GCC: (GNU) 3.4.4 20050721 (Red Hat 3.4.4-2)GCC: (GNU) 3.4.4 20050721 (Red Hat 3.4.4-2)GCC: (GNU) 3.4.0 20040613 (Red Hat Linux 3.4.0-5)GCC: (GNU) 3.4.0 20040613 (Red Hat Linux 3.4.0-5)GCC: (GNU) 3.4.4 20050721 (Red Hat 3.4.4-2)GCC: (GNU) 3.4.4 20050721 (Red Hat 3.4.4-2), kJ,tptp_update_lvaltptp_print_tokPyylex yyrestart yy_switch_to_bufferQ yy_load_buffer_statev yy_create_buffer yy_delete_buffer yy_init_bufferA yy_flush_buffers yy_scan_buffer yy_scan_string yy_scan_bytes7yylengLyyin`yyout+yylinenoTyytextiyytext_ptrverbose2tptp_store_sizetptp_lvaltptp_prev_tok tptp_next_store},pBuildTreeKpTokenpPrintComments+pPrintTreeyywrap\yyparseverbosepTokenBuf/pPrintIdx\yylhsyylenyydefredyydgotoyysindex6yyrindexcyygindexyytableyycheckyydebugyynerrsyyerrflag!yychar7yysspLyyvspayyvalvyylvalyyssyysslimyyvsyystacksize(GNU C 3.4.4 20050721 (Red Hat 3.4.4-2)lex.yy.c/cse/faculty/avg/TPTPsyntax/Linuxunsigned charshort unsigned intlong unsigned intsigned charshort intintlong long intlong long unsigned int__quad_t;__off_tlong int__off64_tEcharFILE.Y8._flags #_IO_read_ptr?#_IO_read_end?#_IO_read_base?# _IO_write_base?#_IO_write_ptr?#_IO_write_end?#_IO_buf_base?#_IO_buf_end?# _IO_save_base?#$_IO_backup_base?#(_IO_save_end?#,_markers#0_chain #4_fileno"#8_flags2&#<_old_offset( #@_cur_column,#D_vtable_offset-#F_shortbuf.#G_lock2#H_offset;'#L__pad1A#T__pad2B#X_modeD#\_unused2F#` E _IO_lock_t _IO_marker  _next# _sbuf# _pos#Y E8 .E83YY_BUFFER_STATEcEK Hyy_buffer_state(c yy_input_fileY# yy_ch_buf?# yy_buf_pos?# yy_buf_sizeH# -# yy_is_our_buffer# yy_is_interactive# yy_at_bol# yy_fill_buffer# yy_buffer_status#$yy_size_tkMYY_CHAR ryy_state_type 9ival9dval9sval9?pval9doubleYYSTYPE9tptp_update_lval3Ulval?nextxPtptp_print_tok"3TUlval!?yylexTU olyy_cp?hyy_bp?dyy_act`yy_match yy_find_actionfind_ruleljdo_action yy_c__8yyl$|ӕyy_amount_of_matched_textTxyy_next_statesotLyy_get_next_bufferUdest?hsource?d`i\ret_val|num_to_read xc:tn:pyy_get_previous_state`o{U ao|yy_cpb?xܘnyy_cj_w yy_try_NUL_transo{+U oyy_is_jam|yy_c_{ yyunput+!U c yy_bp? yy_cp?|WQdest?xsource?t input!4Uc|goffsetx! yyrestart4yU input_fileY!Q yy_switch_to_buffer(y֜U new_buffer#."yy_load_buffer_stateE֜U yy_create_bufferT.U fileNY sizeN bU.x! yy_delete_bufferrU bm.!A yy_init_bufferRU b. fileY !s yy_flush_bufferRU b. yy_scan_buffer.U base? sizeH b.| yy_scan_string.U yy_strlen| yy_scan_bytes._U bytes len b.|buf?xnHtip yy_fatal_errorV_U msgQ yy_flex_strncpyxU s1q? s2q nqiy|[ yy_flex_strlen٠U sn| yy_flex_alloc٠U sizeH yy_flex_reallocU ptr sizeH yy_flex_freeU ptr#stdin#stdout#stderr$yylengQ%yyin Y1%yyout Y1yy_current_buffer.1yy_hold_charE1&-1yy_c_buf_p?1yy_initD1yy_start1yy_did_buffer_switch_on_eof1%yylinenoH1 TE'8%yytext C1 zz8 yy_acclist* j z8yy_acceptD  8 yy_ecW  88yy_metaw  3z8yy_baseI #yy_defc # yz'8+yy_nxt  hyy_chk h o'8@yy_state_buf1yy_state_ptr1oyy_full_match?1yy_lp1yy_more_offset1yy_prev_more_offset1%yytext_ptr ?Q#yylval:$verbose2 L1$tptp_store_sizeP1 ?'8$tptp_lvalR$tptp_prev_tokT1$tptp_next_store1D GNU C 3.4.4 20050721 (Red Hat 3.4.4-2)y.tab.c/cse/faculty/avg/TPTPsyntax/LinuxAlong intintunsigned charshort unsigned intlong unsigned intsigned charshort intlong long intlong long unsigned intAchar. pTree#@F pTreeNode<# sym$# symIdx$}# ch$#3 KpBuildTree*3 U sym( A(3 B(3 C(3 D(3 E)3 F)3 G)3$ H)3( I)3, J)30ss*3| pToken439U tok3 symIdx3} ss43|sym5xsafeSym6t+pPrintComments@9U start?} depth?} d@}|j@}xc1Atc2AppPrintTreeL U ssK3 depthK} iL}|dL}xyywrap\} BU`ival`}dval`sval`pval`double YYSTYPE`Pyygrowstack}BUnewsize}|i}xnewssPtnewvsVpyyparse}Uyym}xyyn}tyystate}pyyoverflowffyyloop yyreduceRcyyinrecoveryhyynewerrorR yyerror}yyerrlabbyyaborthvyyacceptjr-yylex}yylex}.Jyyrcsidtptp_store_size}tptp_lvalverbose}X1/ pTokenBuf@RpPrintIdx!}1WWyylhsp GWyylen uWyydefred Ww yydgoto`W yysindex `6W yyrindex@N %cWw yygindexl{ SW yytable{W yycheck@ yydebug}pr yynerrs}R yyerrflag}R yychar}r yysspPR yyvspV R yyvalR yylvaltr yyssP R yysslimPR yyvsV|r yystacksize}R% $ > $ > : ; I I : ;  : ;I8  &I : ;  : ; : ; I8 I!I/  : ; I8 : ;I : ;  : ; I.? : ; ' I@ : ; I 4: ; I .? : ; ' @ .? : ;' I@ 4: ;I 4: ;I  : ;  .: ;' I@ : ;I .: ;' @ : ;I !.? : ;' @ ".? : ;' @ #4: ; I? < $4: ; I?  %4: ;I?  &4: ; I '!I/% $ > $ >  I I!I/ &I : ; I  : ; : ; I8 .? : ; ' I@ : ; I 4: ; I .? : ; ' @ .? : ; ' I@  : ;  : ; I.: ;I@ 4: ;I .? : ;' I@  : ;.? : ;I<  .? : ;I<  4: ; I? < !4: ; I?  !I/ 4: ;I?  x /usr/include/usr/include/bitshotptp-1.lex0lex.yy.cstdio.hlibio.htypes.hy.tab.hqd;dc+ cZeԎ:=.:t+fayzU+++++++++++++++++5++++++++++++++++555++55++++++++++WUȜI  u fdZY. ZYցXJW[K Udd>-Xf't֏er0rsd[geԎv :+fHԎd-r +d<Xde +fse$٪ded Ud:V +d-ր\3: +td: Udd- +dՀ> +:d-V +f"d✎d Ue +jdtI:d:+d eW +et: +d +k3dx) hotptp-1.yy.tab.c )c$$YdHr,%YddG&,/d&H:r..c/hr?dAdԀ,rU cd LWW,W@WeǞDWW Ureq!U Ӝ]'x05W.333WWWWW.QW<W.3W.3W>W<AAAAAW.3WOTWOTW<AW.33bWW<AW.TW6W<W]3W.TW.IW.33W.3333W>WOW.3WOTWOTW.3333bbbWW<AW.TW6WW<AWOTWOTW.3W.3W.3W.3WOW.WOW.3A33bW.3W.333AW.33W>CWOTWOTW.W<AWW.TWObW.33W.3W>W.3WOTWOTW.33bbWW.TW6WObW.33W.3WOW.W.33bW]W.33W>CWOTWOTW.33W.33W.W.TW.mCW<AW<AW.W<AAAAAW.W.3W.33W.mW.W.W.AW.mW.W.W<W.WD3W.WWv3W.TW.T3W.m3AW.TWUbW.TW.AW<AW<W<W<AA-.- )Ծr  ;W-Wr| AB DW.3!AB T.8T AB f.M..8 .N.A..[.V.AB u.AB {AB +AB .$!AB .H.d.H.4EAB Z.a.y]AB ֜<AB AB DE.MAB r. fAB I.s.I.RZAB AB v.2AB e.AB R._)AB T..AB #AB ٠AB I.AB L.AB I.|  AB J.AB ].M.09AB w.AB W. 5AB T.BKAB m.EAB .v..v.0. X.o. e.e. X.N.0d. X.o. e.e. X.N.0d. X.o. e.e. X.N.0d. X.o. e.e. X.N.0v.N.0s.N.0B.N.0s.N.0s.N.0s.N.0s.N.0s.N.0. X.0|. X.0|. X.0|. X.0s.N.0s.N.0.b.N.0s.[.e. X.0s.N.0s.N.0o. X.0n.N.0r.b.N.0. X.0n.N.0. X.0. X.0|. X.0|. X.0|. X.01.b.N.0r.b.N.0r.b.N.0s.[.e. X.0s.N.0s.N.0o. X.0n.[.e. X.0s.N.0s.N.0|. X.0|. X.0|. X.0|. X.0. X.0o. X.0.N.0.b.N.0e.N.0[. X.0|. X.0|. X.0|. X.0f.N.0s.N.0s.[.e. X.N.0o. X.0|. X.0r.b.N.0. X.0|. X.0|. X.0|. X.0.b.N.0r.b.N.0s.[.e. X.0o. X.0w. X.0r.b.N.0;. X.0.b.N.0r.b.N.0[. X.0|. X.0|. X.0|. X.0. X.0c.e. X.0v.N.0s.N.0s.N.0s.N.0f.N.0s.N.0s.N.0s.N.0s.N.0s.N.0.e. X.0.N.0c.e. X.0.N.0n.N.0. X.o. X.N.0p.e. X.N.0. X.0o. X.0.e. X.0f.N.0o. X.0t. X.N.0r.b.N.0o. X.0f.N.0s.N.0s.N.0s.N.0s.N.0s.N.0s.N.0s.N.0..unsigned intyy_current_statenumber_to_moveyy_n_chars_IO_FILEunsigned int.symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame.ctors.dtors.jcr.dynamic.got.got.plt.data.bss.comment.debug_aranges.debug_pubnames.debug_info.debug_abbrev.debug_line.debug_frame.debug_str#(( 1HH7 ?Go4To c ؄ l  up@{ellA .00000ܰ0X818$`1\$A \@='dw xL)DN4@ "V (H؄     .00000081`1 !" 0*080E@1Il1U8 kl w0 0.0 11D11 ,#,* X1X81G1[1h1u111_) . 1 {  1+ ! $٠ 2 ?# N ^fKnBK zM 4E T1R0W ֜<  $R.'@`8I%[b1 i!|X1B 0E R 8<1<B  R 8@H1Q   5 R09 ?P WP1g`1yd1R1RQL1  RRZ 1   02 R /3! >\1J( O Xu0R0 81 6@R0 1 1pr0 `!F3\1:0P`re@B m2y] h1f tr0T    81. B0X  c|rhro ~% call_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST__p.0completed.1__do_global_dtors_auxframe_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_auxlex.yy.cyy_current_bufferyy_c_buf_pyy_inityy_startyy_acclistyy_acceptyy_ecyy_metayy_baseyy_defyy_nxtyy_chkyy_more_offsetyy_prev_more_offsetyy_hold_charyy_state_bufyy_state_ptryy_lpyy_full_matchyy_fatal_erroryy_flex_strncpyyy_n_charsyy_get_previous_stateyy_try_NUL_transyy_get_next_bufferyy_did_buffer_switch_on_eofyyunputinputyy_flex_allocyy_flex_freeyy_flex_strlenyy_flex_reallocy.tab.cyyrcsidyygrowstackyy_delete_bufferyyrestartferror@@GLIBC_2.0tptp_prev_tokstrncat@@GLIBC_2.0yystacksize_DYNAMICstrdup@@GLIBC_2.0yy_scan_bufferyy_load_buffer_stateyy_create_bufferyyerrflagfileno@@GLIBC_2.0yysindexstrcmp@@GLIBC_2.0_fp_hwyytextfprintf@@GLIBC_2.0verboseyytable__fini_array_endyyparseyysslimyydefred__dso_handle__libc_csu_finiyyvspyyrindexsetlocale@@GLIBC_2.0yylinenoyytext_ptr_inityywrapyysspmalloc@@GLIBC_2.0pPrintCommentsfread@@GLIBC_2.0pTokentptp_store_sizestdout@@GLIBC_2.0stderr@@GLIBC_2.0yynerrsyyoutyyvalyylengverbose2_startyyssyy_flush_buffertptp_next_storetptp_update_lvalyylenpPrintTree__fini_array_startyy_scan_string__libc_csu_inittptp_print_tok__bss_startmainyygindex__libc_start_main@@GLIBC_2.0__init_array_endtptp_lvalrealloc@@GLIBC_2.0yy_scan_bytesdata_startprintf@@GLIBC_2.0pTokenBufyyin_finipPrintIdxyydebug__preinit_array_endexit@@GLIBC_2.0yydgotocalloc@@GLIBC_2.0_edata_GLOBAL_OFFSET_TABLE_free@@GLIBC_2.0_endyycheckisatty@@GLIBC_2.0yy_switch_to_bufferstdin@@GLIBC_2.0yy_init_bufferstrncpy@@GLIBC_2.0yylval__init_array_start_IO_stdin_usedyylexyylhsfwrite@@GLIBC_2.0__data_start_IO_getc@@GLIBC_2.0_Jv_RegisterClasses__preinit_array_startpBuildTreeyyvsyychar__gmon_start__yyerror