PK m1* META-INF/PK m1*HHMETA-INF/MANIFEST.MFManifest-Version: 1.0 Created-By: 1.3.0 (Blackdown Java-Linux Team) PK 0*Daterm/api/AFun.class- aterm/api/AFunjava/lang/ObjectgetName()Ljava/lang/String;getArity()IisQuoted()Z SourceFile AFun.java!   PK 0**aterm/api/ATerm.class-1aterm/api/ATermjava/lang/ObjectINTI ConstantValueREALAPPLLIST PLACEHOLDERBLOBSTRINGgetType()IhashCodematch$(Ljava/lang/String;)Ljava/util/List; Exceptionsaterm/api/ParseError#(Laterm/api/ATerm;)Ljava/util/List; getAnnotation$(Laterm/api/ATerm;)Laterm/api/ATerm; setAnnotation5(Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm;removeAnnotationgetAnnotations()Laterm/api/ATerm;setAnnotationsremoveAnnotationsisEqual(Laterm/api/ATerm;)Zequals(Ljava/lang/Object;)ZtoString()Ljava/lang/String;write(Laterm/api/ATermWriter;)V SourceFile ATerm.java!      !"#$%&$'()*+,-./0PK 0*fXgaterm/api/ATermAppl.class-aterm/api/ATermAppljava/lang/Objectaterm/api/ATermgetAFun()Laterm/api/AFun;getName()Ljava/lang/String; getArguments()Laterm/api/ATermList;getArgumentArray()[Laterm/api/ATerm; getArgument(I)Laterm/api/ATerm; setArgument)(Laterm/api/ATerm;I)Laterm/api/ATermAppl;isQuoted()ZgetArity()I SourceFileATermAppl.java!   PK 0*&caterm/api/ATermBlob.class- aterm/api/ATermBlobjava/lang/Objectaterm/api/ATerm getBlobSize()I getBlobData()[B SourceFileATermBlob.java!   PK 0*b"aterm/api/ATermFactory.class-3aterm/api/ATermFactoryjava/lang/Objectmake5(Ljava/lang/String;Ljava/util/List;)Laterm/api/ATerm;4(Laterm/api/ATerm;Ljava/util/List;)Laterm/api/ATerm;makeAFun&(Ljava/lang/String;IZ)Laterm/api/AFun;([CIIIZ)Laterm/api/AFun;makeAppl'(Laterm/api/AFun;)Laterm/api/ATermAppl;8(Laterm/api/AFun;Laterm/api/ATerm;)Laterm/api/ATermAppl;I(Laterm/api/AFun;Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATermAppl;Z(Laterm/api/AFun;Laterm/api/ATerm;Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATermAppl;9(Laterm/api/AFun;[Laterm/api/ATerm;)Laterm/api/ATermAppl; makeString+(Ljava/lang/String;)Laterm/api/ATermString;makeInt(I)Laterm/api/ATermInt;makeReal(D)Laterm/api/ATermReal;makeList()Laterm/api/ATermList;=(Laterm/api/ATerm;Laterm/api/ATermList;)Laterm/api/ATermList;makeBlob([B)Laterm/api/ATermBlob;makePlaceholder/(Laterm/api/ATerm;)Laterm/api/ATermPlaceholder; setAnnotationF(Laterm/api/ATerm;Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm;removeAnnotation5(Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm; importTerm$(Laterm/api/ATerm;)Laterm/api/ATerm;parse%(Ljava/lang/String;)Laterm/api/ATerm;readFromTextFile((Ljava/io/InputStream;)Laterm/api/ATerm; Exceptions*java/io/IOExceptionreadFromBinaryFile readFromFilewriteToTextFile*(Ljava/io/OutputStream;Laterm/api/ATerm;)VwriteToBinaryFile(Ljava/io/OutputStream;)V SourceFileATermFactory.java!        !"#$%&'()+'(),'()-.()/0()12PK 0*;aterm/api/ATermInt.class- aterm/api/ATermIntjava/lang/Objectaterm/api/ATermgetInt()I SourceFile ATermInt.java!  PK 0*>…Jaterm/api/ATermList.class-'aterm/api/ATermListjava/lang/Objectaterm/api/ATermisEmpty()Z getLength()IgetFirst()Laterm/api/ATerm;getLastgetNext()Laterm/api/ATermList;indexOf(Laterm/api/ATerm;I)I lastIndexOfconcat,(Laterm/api/ATermList;)Laterm/api/ATermList;append((Laterm/api/ATerm;)Laterm/api/ATermList; elementAt(I)Laterm/api/ATerm;removeremoveElementAt(I)Laterm/api/ATermList; removeAllinsertinsertAt)(Laterm/api/ATerm;I)Laterm/api/ATermList; getPrefixgetSlice(II)Laterm/api/ATermList;replacereverse SourceFileATermList.java!    !"#$%&PK 0*=aterm/api/ATermParser.class-aterm/api/ATermParserjava/lang/Objectparse%(Ljava/lang/String;)Laterm/api/ATerm;readFromTextFile((Ljava/io/InputStream;)Laterm/api/ATerm; Exceptions java/io/IOExceptionreadFromBinaryFile readFromFilewriteToBinaryFile(Ljava/io/OutputStream;)V SourceFileATermParser.java!          PK 0*C aterm/api/ATermPlaceholder.class- aterm/api/ATermPlaceholderjava/lang/Objectaterm/api/ATermgetPlaceholder()Laterm/api/ATerm; SourceFileATermPlaceholder.java!  PK 0*koaterm/api/ATermReal.class- aterm/api/ATermRealjava/lang/Objectaterm/api/ATermgetReal()D SourceFileATermReal.java!  PK 0*/aterm/api/ATermString.class- aterm/api/ATermStringjava/lang/Objectaterm/api/ATerm getString()Ljava/lang/String; SourceFileATermString.java!  PK 0*%)aterm/api/ATermWriter.class- aterm/api/ATermWriterjava/lang/Objectwrite(Ljava/lang/String;)Vclose()V SourceFileATermWriter.java!  PK 0*Qaterm/api/ParseError.class- aterm/api/ParseErrorjava/lang/RuntimeException(Ljava/lang/String;)VCodeLineNumberTable    SourceFileParseError.java!"*+  /0  PK 0*+I  aterm/pure/ABaseObject.class- aterm/pure/ABaseObjectjava/lang/Object hashFunction([Ljava/lang/Object;)Icreate-([Ljava/lang/Object;)Laterm/pure/ABaseObject;equals([Ljava/lang/Object;)Z SourceFileABaseObject.java!   PK 0*1z``aterm/pure/AFunImpl.class-aterm/pure/AFunImpljava/lang/Objectaterm/api/AFunaterm/pure/ABaseObjectinstanceLaterm/pure/ABaseObject; staticFactoryLaterm/pure/PureFactory;afunTermLaterm/api/AFun;afunApplafunPlaceholderafunIntafunReal afunStringnameLjava/lang/String;value[CarityIisQuotedZhashCode getInstance()Laterm/pure/ABaseObject;CodeLineNumberTable ! getFactory()Laterm/pure/PureFactory; % setFactory(Laterm/api/ATermFactory;)V*aterm/pure/PureFactory #$ +.term 01makeAFun&(Ljava/lang/String;IZ)Laterm/api/AFun; )/  36appl  7: placeholder  ;>int  ?Breal  CFstr  G()I  JgetName()Ljava/lang/String;  NgetArity  Q()Z  Tsimple_hashFunction([Ljava/lang/Object;)IYjava/lang/String[java/lang/Integer ]IintValue Z\ I X_?one_at_time_hashFuntion decharAt(I)C Xc hIlength Xgdoobs_hashFuntion7y mWdoobs_hashFuntionAFun olpaterm/pure/ATermToolImplcwi_hashFunctionmarian_hashFunction hashFunctionequals([Ljava/lang/Object;)Zwjava/lang/Boolean yS booleanValue vx  |create-([Ljava/lang/Object;)Laterm/pure/ABaseObject; ()V  getChars(II[CI)V X sW  ([CII)V X Mintern XtoStringjava/lang/StringBuffer [ append,(Ljava/lang/String;)Ljava/lang/StringBuffer; LM , PI  (I)Ljava/lang/StringBuffer; ] M  SourceFile AFunImpl.java        " & #$& , '(V*)&,-24,528,92<,=2@,A2D,E2H "79:!;.<;=H>U?I*K BLM*O MPI*R QS*U UVWC+2XM+2Z^>,`ah`6 Z[\]bWe+2XM+2Z^>66%,f`6 x`6z6,ix`6 z6x`6 :bcdggh%i/j9g<gEmNnXobrjWp+2XMkY6>,id6 +n qcUG9, fx`6, fx`6,fx`6,fx`6,fx`6,fx`6,f`6,fx`>,fx`>,fx`>,f`>d>d> z>d6d6x6d6d6 z6d>d> z>d6d6x6d6d6z6d>d>z>d6d6 x6d6d6z6 /wz| ~!!\jx !&+3:@IOV_dipw}qWu=+2XM+2Z^>h66h,f`6,ih & +.7rWn6+2XM+2Z^>66h,f`6,i & '*3sW+n tu+2X3*O+2#*R+2Z^*U+2vz+2{Z+2{M+2Z^>+2Z^6*Oi6,66*}4,4 F 9BIS^gnqtw~9ݻYM+2XT,+2XO,,Oi},O,Oi,},+2Z^R,+2vzU,*+K|+2{s+2Z^>+2Z^6,XY+2{O,,Oi},O,Oi,},+2Z^R,+2vzU,*+K, J(<IVbkuM@(Y** !*  Y"PK 0*oaterm/pure/ATermApplImpl.class-aterm/pure/ATermApplImplaterm/pure/ATermImplaterm/api/ATermApplaterm/pure/ABaseObjectinstanceLaterm/pure/ABaseObject;symbolLaterm/api/AFun;subterm[Laterm/api/ATerm; getInstance()Laterm/pure/ABaseObject;CodeLineNumberTable getType()I hashFunction([Ljava/lang/Object;)I doobs_hashFuntion equals([Ljava/lang/Object;)Z  !" getArgument(I)Laterm/api/ATerm;  create-([Ljava/lang/Object;)Laterm/pure/ABaseObject; '(()V &+aterm/api/AFun-aterm/api/ATerm  .  0 34 setHashCode(I)V 2getAFun()Laterm/api/AFun;getName()Ljava/lang/String; 67 : 89 *<getArity > *?isQuoted()Z AB *C getArguments()Laterm/api/ATermList; HIoutLjava/io/PrintStream; KGLjava/lang/SystemN4warning: ATermApplImpl.getArguments is not efficient PQprintln(Ljava/lang/String;)V SOTjava/io/PrintStream VW getFactory()Laterm/pure/PureFactory; U ZFmakeList \Y]aterm/pure/PureFactory ? Z`=(Laterm/api/ATerm;Laterm/api/ATermList;)Laterm/api/ATermList; \_getArgumentArray()[Laterm/api/ATerm; setArgument)(Laterm/api/ATerm;I)Laterm/api/ATermAppl;gjava/lang/Object ij makeApplArray*([Ljava/lang/Object;)Laterm/api/ATermAppl; \hmatch$(Laterm/api/ATerm;Ljava/util/List;)Z o(Ljava/lang/Object;)Z n  ,q : bc t t xy matchArray7([Laterm/api/ATerm;[Laterm/api/ATerm;Ljava/util/List;)Z \w|aterm/api/ATermPlaceholder ~getPlaceholder()Laterm/api/ATerm; {} afunTerm aterm/pure/AFunImpl fn afunAppl oadd java/util/Listfun njava/lang/String < lm toStringjava/lang/StringBuffer &" append,(Ljava/lang/String;)Ljava/lang/StringBuffer;  encodeString&(Ljava/lang/String;)Ljava/lang/String; aterm/pure/ATermToolImpl 9trim 9 ( ,(Ljava/lang/Object;)Ljava/lang/StringBuffer; ,)write(Laterm/api/ATermWriter;)V Q aterm/api/ATermWriter ,one_at_time_hashFuntion hashCode fsimple_hashFuntioncwi_hashFuntion7y my_hashFuntion & SourceFileATermApplImpl.java     $(*+4i-+d=+2*>*#+2* CDFHHI!K#H&H+N$%G+d=Y)N-+2*-,/6-/+2,S-*+15-. T\ ]_``%a3`6`<cEd67*h89" *;=l>" *;@pAB" *;DtEFc/JMRX[L*^d=X*#+aL+"xyzz|&z)z-bc*/!"*/2det<*^`fN6-*#S*^-+S-*^*;SX-k& &*4lmE*+p+r1+N-s*;*u:-v:X,z+r+{N-rq-:s: ,*W=3D),*W*u:v:X,z*+,^ &,4@BLV`fo9*;L*;D(Y*M*M*^y,Y_M*^,Y_*#M>#,Y_*#M*^,Y_M,B6;BW^vv{*;M*;D&++*+ +**^H+*^*#+>+*#+*^+J)4>EMT__dlwz==>+2`= x`=z=+x`= z=x`=2 !'-4;\,++d2=>hz`+2`=+d  "* Q!=>xz+2=+H|Y>=+6 +Ĭ sfWH9+ 2x`6+ 2x`6+2x`6+2x`>+2x`>+2x`>+2`>+2x`=+2x`=+2x`=+2`=d=d= z=d>d>x>d6d6 z6d=d= z=d>d>x>d6d6z6d=d=z=d>d> x>d6d6z6. P_ n!}"#$%&'()---...///000 1%1)10262<2D3H3M3T4Y4]4d5j5p5y6]-++d2=>xz+2`=+d; < <= <#<+@'(!*Ʊ ( Y)PK 0*WdKh h aterm/pure/ATermImpl.class-}aterm/pure/ATermImpljava/lang/Objectaterm/api/ATerm staticFactoryLaterm/pure/PureFactory;hashCodeI annotationsLaterm/api/ATerm; getFactory()Laterm/pure/PureFactory;CodeLineNumberTable   setFactory(Laterm/api/ATermFactory;)Vaterm/pure/PureFactory()I  setHashCode(I)V setAnnotation5(Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm;   !F(Laterm/api/ATerm;Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm;  removeAnnotation$(Laterm/api/ATerm;)Laterm/api/ATerm; # % getAnnotation ' (setAnnotations * +removeAnnotations()Laterm/api/ATerm; -$ /getAnnotations 2match$(Ljava/lang/String;)Ljava/util/List; Exceptions8aterm/api/ParseError :;parse%(Ljava/lang/String;)Laterm/api/ATerm; 9 4>#(Laterm/api/ATerm;)Ljava/util/List; =Ajava/util/ArrayList CD()V @B 4G$(Laterm/api/ATerm;Ljava/util/List;)Z F JgetType IMaterm/api/ATermPlaceholder O.getPlaceholder LNRaterm/api/ATermAppl TUgetAFun()Laterm/api/AFun; QS XYafunTermLaterm/api/AFun; [W\aterm/pure/AFunImpl ^_equals(Ljava/lang/Object;)Z ] bYafunAppl [a e_add gdhjava/util/ListisEqual(Laterm/api/ATerm;)Z lm isDeepEqual*(Laterm/pure/ATermImpl;Laterm/api/ATerm;)Z kwrite(Laterm/api/ATermWriter;)V rstoString()Ljava/lang/String; q ov(Ljava/lang/String;)V xuyaterm/api/ATermWriter B SourceFileATermImpl.java!    & $* *+ *."* 23" *+,"6#$! *+&:'$! *+)>*$! *+,B-. *0F1.*3J4567$ *+<?O4>9@YEM*+,H,STUW4GO+KF+LPN-K2-Q:V:Z`c` ,*fW& _ `ab$c-gChKiMmij;+*+*+nqrt^_O'+*++*+nxy|}%op' +*tw  JCD!*z {|PK 0*aterm/pure/ATermIntImpl.class-`aterm/pure/ATermIntImplaterm/pure/ATermImplaterm/api/ATermIntaterm/pure/ABaseObjectinstanceLaterm/pure/ABaseObject;valueI getInstance()Laterm/pure/ABaseObject;CodeLineNumberTable  hashFunction([Ljava/lang/Object;)Ijava/lang/Integer intValue()I equals([Ljava/lang/Object;)Z create-([Ljava/lang/Object;)Laterm/pure/ABaseObject; "#()V !  % () setHashCode(I)V 'getTypematch$(Laterm/api/ATerm;Ljava/util/List;)Z /(Ljava/lang/Object;)Z . + 314aterm/api/ATerm6aterm/api/ATermPlaceholder 89getPlaceholder()Laterm/api/ATerm; 57<aterm/api/ATermAppl >?getAFun()Laterm/api/AFun; ;= BCafunIntLaterm/api/AFun; EAFaterm/pure/AFunImpl H.Ijava/lang/Object ") J M/add OLPjava/util/List ,- QtoString()Ljava/lang/String; VWvalueOf(I)Ljava/lang/String; YUZjava/lang/StringgetInt ! SourceFileATermIntImpl.java  $" +2*G#+2+2M*,/ 01!3 J"Y$M+2N,-,*+&*,89:; <+@,-]*+0+2E+5:N-21-;:@:DG,Y*KNW*+,R. GH KLM(N.O7RBSTTVYST *X][*a"#!*\ ]# Y$^_PK 0* aterm/pure/ATermListImpl.class-aterm/pure/ATermListImplaterm/pure/ATermImplaterm/api/ATermListaterm/pure/ABaseObjectemptyLaterm/api/ATermList;instanceLaterm/pure/ABaseObject;firstLaterm/api/ATerm;nextlengthI getInstance()Laterm/pure/ABaseObject;CodeLineNumberTable getEmpty()Laterm/api/ATermList;  createEmpty ()V   !  #  % (hashCode ' hashFunction([Ljava/lang/Object;)I-aterm/api/ATerm (/()I ,.create-([Ljava/lang/Object;)Laterm/pure/ABaseObject; 4/ getLength 3 *+ 6equals([Ljava/lang/Object;)ZgetTypematch$(Laterm/api/ATerm;Ljava/util/List;)Z 8>(Ljava/lang/Object;)Z = :/ ,@ CDgetFirst()Laterm/api/ATerm; BGaterm/api/ATermPlaceholder IDgetPlaceholder FHLaterm/api/ATermAppl NOgetAFun()Laterm/api/AFun; KM RSgetName()Ljava/lang/String; UQVaterm/api/AFunXlist Z=[java/lang/String ]/getArity U\ `aisQuoted()Z U_ d>add fcgjava/util/List ;i#(Laterm/api/ATerm;)Ljava/util/List; ,h lmaddAll(Ljava/util/Collection;)Z fk pgetNext o ;< rtoStringvxjava/lang/StringBuffer w {|append,(Ljava/lang/String;)Ljava/lang/StringBuffer; wz tS ,~ w~,[]write(Laterm/api/ATermWriter;)V (Ljava/lang/String;)V aterm/api/ATermWriter ,isEmptygetLastindexOf(Laterm/api/ATerm;I)I"java/lang/IllegalArgumentExceptionstart ( {(I)Ljava/lang/StringBuffer; w) > length of list ()   lastIndexOf concat,(Laterm/api/ATermList;)Laterm/api/ATermList;  getFactory()Laterm/pure/PureFactory;  makeList=(Laterm/api/ATerm;Laterm/api/ATermList;)Laterm/api/ATermList; aterm/pure/PureFactory ((Laterm/api/ATerm;)Laterm/api/ATermList;  elementAt(I)Laterm/api/ATerm;illegal list index: wremove removeElementAt(I)Laterm/api/ATermList;  removeAll insertinsertAt)(Laterm/api/ATerm;I)Laterm/api/ATermList;   getPrefixjava/util/Vector  /size f get(I)Ljava/lang/Object; f getSlice(II)Laterm/api/ATermList; (I)V replacereverse      SourceFileATermListImpl.java     * . JY K**"**$*&*)*12 3456*+V.+2,M+2N-06,0xz`6;<=>+?12b6Y M,+2,",+2$,,$5`&,*+7),DEFG+H4I89B+2*"+2*$N O PQS:/W;<H*+?+A+N--EA[-EFJ:A@K:P:TWY!^b ,*eW*"-Ej:,nW*$-qj:,nW*+,sb^_ bck l"p1qArLsSt\uwx}~tSkuL*MF+wYy_},"}L,$+wYy_}}L,$M,wYy}+}}& $.CKRDuM*N+'-"+-$ +-$N-+.  $,4;Ca% *4/*&CD*"p*$DK*L +qL+q+E  *&``=*&/YwYy}}*&}*:>q:q:E+F ADDIRUZ]fi|g *&``=*&/YwYy}}*&}*$+d>`*"+2  AESW[ce \4*+*$*"+*"*$+ {'*+yA *&YwY*M> ,qM,E& # $$'&(&(+)2(5(:,Z.*"+*$*$+M,*$**",01 46 7":lD *&YwY*$*"*$d> ?$B(C-F`4*"+*$+*$+M,*$**",YZ]_&`(c! +*gnF *&YwY *+ǰ*"*$+dk l$o(p.sh***LYNR+qM,0L-d6+-,L+-+EeW+qLNwxz{  $((5GJOQ^exd6:Y:*:>q:>EeWq:,:Z  &)..3BKNTTZnqu *&YwYY:*:>EeWq:q:+:,:V $.116ENQV_iio<***$*" !*߱ PK 0*b]cc aterm/pure/ATermParserImpl.class-aterm/pure/ATermParserImpljava/lang/Objectaterm/api/ATermParserfactoryLaterm/api/ATermFactory; getFactory()Laterm/api/ATermFactory;CodeLineNumberTable   makeAFun&(Ljava/lang/String;IZ)Laterm/api/AFun;   aterm/api/ATermFactorymakeAppl'(Laterm/api/AFun;)Laterm/api/ATermAppl;  9(Laterm/api/AFun;[Laterm/api/ATerm;)Laterm/api/ATermAppl;  makePlaceholder/(Laterm/api/ATerm;)Laterm/api/ATermPlaceholder;   makeList=(Laterm/api/ATerm;Laterm/api/ATermList;)Laterm/api/ATermList; "# $makeInt(I)Laterm/api/ATermInt; &' (makeReal(D)Laterm/api/ATermReal; *+ , parsePattern%(Ljava/lang/String;)Laterm/api/ATerm; Exceptions2aterm/api/ParseError 4/parse 37aterm/pure/ATermReader9java/io/StringReader ;<(Ljava/lang/String;)V 8: ;?(Ljava/io/Reader;)V 6> BCreadSkippingWS()I 6A FGparseFromReader+(Laterm/pure/ATermReader;)Laterm/api/ATerm; EJpremature end of string 1:Mjava/io/IOExceptionreadFromTextFile((Ljava/io/InputStream;)Laterm/api/ATerm;Qjava/io/BufferedReaderSjava/io/InputStreamReader ;U(Ljava/io/InputStream;)V RT P>readFromBinaryFileZjava/lang/RuntimeException\not yet implemented! Y: readFromFilewriteToBinaryFile(Ljava/io/OutputStream;)V parseNumbercjava/lang/StringBuffer ;e()V bd hC getLastChar 6g klappend(C)Ljava/lang/StringBuffer; bj oCread 6n rsisDigit(C)Z uqvjava/lang/Character xytoString()Ljava/lang/String; bw |}parseInt(Ljava/lang/String;)I {java/lang/Integer malformed intjava/lang/NumberFormatException (digit expecteddigit expected! valueOf&(Ljava/lang/String;)Ljava/lang/Double; java/lang/Double  doubleValue()D malformed real ,parseId,(Laterm/pure/ATermReader;)Ljava/lang/String; ;(I)V b sisLetter u parseString CreadOct 6 k(I)Ljava/lang/StringBuffer; b parseATerms/(Laterm/pure/ATermReader;)Laterm/api/ATermList; parseATermsArray,(Laterm/pure/ATermReader;)[Laterm/api/ATerm;  getEmpty()Laterm/api/ATermList; aterm/pure/ATermListImpl $java/util/ArrayList d add(Ljava/lang/Object;)Z java/util/List Csize aterm/api/ATerm  listIterator()Ljava/util/ListIterator; next()Ljava/lang/Object; java/util/ListIterator hasNext()Z permature EOF encountered.premature EOF encountered. expected ']' but got ' k,(Ljava/lang/String;)Ljava/lang/StringBuffer; b'expected '>' but got '    expected ')' but got '  aG  illegal character: '' () '}' expected setAnnotations$(Laterm/api/ATerm;)Laterm/api/ATerm; type  setAnnotation5(Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm; resulttrue(Laterm/api/ATermFactory;)V d SourceFileATermParserImpl.java!  * ( % *+ - # *+ 1 $ *+, 5 # *+! 9"# $ *+,% =&' # *) A*+ # *'- E./01 *+5 L4/ \(6Y8Y+=@M,DW*,HN-M1YIKL PQRSUWNO c/6YPYRY+VW@M,DW*,HN-M1YIK$$L \^_`"b%dXO " YY[] i^O " YY[] m_` " YY[] qaG0L )bYfM,+imW+pt+i.7+ie.+iE%,z~6:1YK*N+i.9,.mW+pW+it 1YK,+imW+pt+ie +iE],+imW+pW+i- +i+,+imW+pW+it 1YK,+imW+pt,z9:1YK*N-8AD $vwyz{}888FPZcjoz '0L ^.+i=bY N-mW+p=_-z )0L ?bYfN=+p\ +pW=+i"'01234567\bfnrt- mWd- mWZ-mWP- mWF- mW<-\mW2-'mW(-"mW-+W-\m+imW+i" -+imW+i"-z ! #-:0L ['*+MN,d6*,2-N- "  %0L mYM*+HN,-W+DW*+HN,-W+i,,:,:6S B$,5@HKN`j"FG0L P+i"7-0123456789<[1YϷK+D> 1YѷK]+D>M;*+M+i]'1YbYfն+imڶٶzK+D>+D>*+H:+i>'1YbYfܶ+imڶٶzK+D>*M*+:+D>+i(+D> 1YѷK+i)+D>**ML*+:+i)&1YbYf+iڶٶzK+D>**M**M*+M+i>*+:+i(+D> 1YѷK+i)+D>**ML*+:+i)&1YbYf+iڶٶzK+D>**M**M31YbYf+im+iٶzK+i{A+D}+DW:"*+:+i} 1YK+DW,M+i:+pW*+H:,*5M+i?+DW,*5*5M, 6M    %&(),,1.81;6B7G8P9U:Z;d=m>r?ACDFGJNSTWX[\] ^_a!b&c6e=gFhijnknswz|}~ -6;N; * **+ #$ %PK 0*x  %aterm/pure/ATermPlaceholderImpl.class-aaterm/pure/ATermPlaceholderImplaterm/pure/ATermImplaterm/api/ATermPlaceholderaterm/pure/ABaseObjectinstanceLaterm/pure/ABaseObject;typeLaterm/api/ATerm; getInstance()Laterm/pure/ABaseObject;CodeLineNumberTable  hashFunction([Ljava/lang/Object;)I hashCode()I java/lang/Objectequals([Ljava/lang/Object;)Zaterm/api/ATerm create-([Ljava/lang/Object;)Laterm/pure/ABaseObject; $%()V #  ' *+ setHashCode(I)V )getTypetoString()Ljava/lang/String;1java/lang/StringBuffer 0#4< 67append,(Ljava/lang/String;)Ljava/lang/StringBuffer; 05 ./ 9<> 09getPlaceholder()Laterm/api/ATerm;match$(Laterm/api/ATerm;Ljava/util/List;)Z C(Ljava/lang/Object;)Z B - E >? GJaterm/api/ATermAppl LMgetAFun()Laterm/api/AFun; IK PQafunPlaceholderLaterm/api/AFun; SOTaterm/pure/AFunImpl B WCadd YVZjava/util/List @A [ # SourceFileATermPlaceholderImpl.java   $! +2`)D +2+2M* ,. /02!"AY&M,+2 ,*+(,,789:->./9!0Y238* :8;8=B>?* F@AS*+D+F;+HN-F'-I:N:RU ,*XW*+,\. MN QRS(T.U7XBYJZL_$%!*] ^% Y&_`PK 0*uaterm/pure/ATermReader.class-6aterm/pure/ATermReaderjava/lang/ObjectreaderLjava/io/Reader; last_charIread()I Exceptions java/io/IOExceptionCodeLineNumberTable   java/io/Reader  readSkippingWS  isWhitespace(C)Z java/lang/CharacterreadOct !"digit(CI)I  &aterm/api/ParseError(octal must have 3 octdigits. *+(Ljava/lang/String;)V %).octal must have 3 octdigits getLastChar(Ljava/io/Reader;)V *2()V 1 SourceFileATermParserImpl.java    ,***     ?****    wC*#<*$#`< %Y',*$#`< %Y-," &37A/ **03*3*+* 45PK 0*;J  aterm/pure/ATermRealImpl.class-eaterm/pure/ATermRealImplaterm/pure/ATermImplaterm/api/ATermRealaterm/pure/ABaseObjectinstanceLaterm/pure/ABaseObject;valueD getInstance()Laterm/pure/ABaseObject;CodeLineNumberTable  hashFunction([Ljava/lang/Object;)I hashCode()I java/lang/Objectequals([Ljava/lang/Object;)Zjava/lang/Double  "# doubleValue()D !create-([Ljava/lang/Object;)Laterm/pure/ABaseObject; ()()V '  + ./ setHashCode(I)V -getTypematch$(Laterm/api/ATerm;Ljava/util/List;)Z 5(Ljava/lang/Object;)Z 4 1 97:aterm/api/ATerm<aterm/api/ATermPlaceholder >?getPlaceholder()Laterm/api/ATerm; ;=Baterm/api/ATermAppl DEgetAFun()Laterm/api/AFun; AC HIafunRealLaterm/api/AFun; KGLaterm/pure/AFunImpl 4 (O(D)V N R5add TQUjava/util/List 23 VtoString()Ljava/lang/String; [\valueOf(D)Ljava/lang/String; ^Z_java/lang/StringgetReal ' SourceFileATermRealImpl.java  !+2&H$+2+2M* ,$+ ,-"/%&J"Y*M+2N,-$ ,*+,0,4567 81<23]*+6+8E+;@N-81-A:F:JM,Y* PSW*+,W. CD GHI(J.K7NBOTPVUXY * ]Y`#* ]()!*a b) Y*cdPK 0*] aterm/pure/ATermStringImpl.class-laterm/pure/ATermStringImplaterm/pure/ATermImplaterm/api/ATermStringaterm/pure/ABaseObjectinstanceLaterm/pure/ABaseObject;valueLjava/lang/String; getInstance()Laterm/pure/ABaseObject;CodeLineNumberTable  hashFunction([Ljava/lang/Object;)I doobs_hashFuntionAFun aterm/pure/ATermToolImplequals([Ljava/lang/Object;)Zjava/lang/String create-([Ljava/lang/Object;)Laterm/pure/ABaseObject; #$()V "  & )* setHashCode(I)V (getType()Imatch$(Laterm/api/ATerm;Ljava/util/List;)Z 1(Ljava/lang/Object;)Z 0 ,- 536aterm/api/ATerm8aterm/api/ATermPlaceholder :;getPlaceholder()Laterm/api/ATerm; 79>aterm/api/ATermAppl @AgetAFun()Laterm/api/AFun; =? DE afunStringLaterm/api/AFun; GCHaterm/pure/AFunImpl J0Kjava/lang/Object M1add OLPjava/util/List ./ QtoString()Ljava/lang/String;Vjava/lang/StringBuffer U"Y" [\append,(Ljava/lang/String;)Ljava/lang/StringBuffer; UZ _` encodeString&(Ljava/lang/String;)Ljava/lang/String; ^ cTtrim b ST Ue getString " SourceFileATermStringImpl.java  $+)D +2+2M*,/ 013 !AY%M,+2,*+'+,89:;,-?./V*+2+4>+7<N-4*-=:B:FI,*NW*+,R. FG JKL(M.N7QBRMSOXST:"UYWX]*ad]X]f\gT*`#$!*h i$ Y%jkPK 0*YC aterm/pure/ATermToolImpl.class-Caterm/pure/ATermToolImpljava/lang/Object encodeString&(Ljava/lang/String;)Ljava/lang/String;CodeLineNumberTable length()I java/lang/String getChars(II[CI)V  ([C)V one_at_time_hashFuntion([Ljava/lang/Object;)I  hashCode simple_hashFuntioncwi_hashFuntionmy_hashFuntiondoobs_hashFuntion !"outLjava/io/PrintStream; $ %java/lang/System'static doobs_hashFuntion )*println(Ljava/lang/String;)V ,(-java/io/PrintStream7ydoobs_hashFuntion12doobs_hashFuntionAFun2[C4java/lang/Integer 6 intValue 359 wrong type ;<exit(I)V $:()V > ? SourceFileATermToolImpl.java  * <MhN*,66v,4" ,4\-\U-,4UJ,4 -\U-nU,,4 -\U-tU-,4U Y-N !#%% &2';(I)R*[+g,p-y.0%%3 =<=*2`< x`<z<*x`< z<x`<2 899:;<9!9'>-?4@;B X(**d2<=h*2`<*dG J JKJJ&M Q!<=xz*2<*RSSTSSV ]-**d2<=xz*2`<*d[ \ \] \#\+` W#&+<*6.Y>=66H*2*`2x`*`2x`*`2x``=*`2*`2x`*`2x`*`2x``>*`2* `2x`* `2x`* `2x``6d=d= z=d>d>x>d6d6 z6d=d= z=d>d>x>d6d6z6d=d=z=d>d> x>d6d6z6  *`6 q_M;* `2x`6* `2x`6*`2x`6*`2x`>*`2x`>*`2x`>*`2`>*`2x`=*`2x`=*`2x`=*2`=d=d= z=d>d>x>d6d6 z6d=d= z=d>d>x>d6d6z6d=d=z=d>d> x>d6d6z6NSeg h klmpqrMtvyyyzzz{{{|||}} }~~~&*/6;?FLR[^aqhoo,;JTX]ejnu{ /N.Y=<*> |obUH;* 2x`>* 2x`>*2x`>*2x`=*2x`=*2x`=*2`=*2x`<*2x`<*2x`<*2`<d<d< z<d=d=x=d>d> z>d<d< z<d=d=x=d>d>z>d<d<z<d=d= x=d>d>z>,DQ^kx  $(.26=AEL 0 <=N*2 #*2 =N<*2 -6*21!*21N*237<*237=#8+=6.Y6666^-4-`4x`-`4x`-`4x``6-`4-`4x`-`4x`-`4x``6-`4- `4x`- `4x`- `4x``6d6d6 z6d6d6x6d6d6 z6d6d6 z6d6d6x6d6d6z6d6d6z6d6d6 x6d6d6z6  `6 ufWH9- `4x`6- `4x`6-`4x`6-`4x`6-`4x`6-`4x`6-`4`6-`4x`6-`4x`6-`4x`6-4`6d6d6 z6d6d6x6d6d6 z6d6d6 z6d6d6x6d6d6z6d6d6z6d6d6 x6d6d6z6~_/8?IV^bbeloru $+2<CJT[blsz'6E T c q | '.5>ELU\cmt{>!*@ ABPK 0*br aterm/pure/ATermWriterImpl.class-Taterm/pure/ATermWriterImpljava/lang/Objectaterm/api/ATermWritertab[CfileLjava/io/Writer;write(Ljava/lang/String;)VCodeLineNumberTable  java/io/Writer outLjava/io/PrintStream; java/lang/System write error  println !java/io/PrintStream #$printStackTrace()V &"'java/lang/Throwable)java/io/IOException(ILjava/lang/String;)V ,-indent(I)V + close 2$flush 1 0$ 47 close error stringDump()Ljava/lang/String;;java/io/StringWriter =9toString <@java/lang/InternalErrorB'ATermWriter does not contain any string D  ?CGstringDump error  H K([C)V J(Ljava/io/Writer;)V D$ N :N SourceFileATermWriterImpl.java    I*+M,% (,- /02 * + *.*,/56 70$ S*3*5L6+%(:;<>?A89 n2*:*3*>?YAELF+%##("DE FGI$L,M0N,- h(=*ILM,%(& TUUVUUY#Z'\DM * *O*+#$ %D$ 0*O*:YP'()Q$ Y UY UIRSPK 0*9)"aterm/pure/PureFactory$Entry.class-aterm/pure/PureFactory$Entryjava/lang/ref/WeakReferencenextLaterm/pure/PureFactory$Entry;3(Ljava/lang/Object;Laterm/pure/PureFactory$Entry;)VCodeLineNumberTable  (Ljava/lang/Object;)V    SourceFilePureFactory.java InnerClassesaterm/pure/PureFactoryEntry  + *+ *,    PK 0*VL0L0aterm/pure/PureFactory.class- aterm/pure/PureFactoryjava/lang/Objectaterm/api/ATermFactoryarray1[Ljava/lang/Object;array2array3array4logSizeIhashMasktable[Laterm/pure/PureFactory$Entry;parserLaterm/api/ATermParser; tableSize[IinitialCapacity minThreshold maxThreshold loadFactorFnbCallnbFoundReferencenbFoundExactReferencenbAdd nbRemoved cleanupDoneZ getParser()Laterm/api/ATermParser;CodeLineNumberTable  %hashSize(I)I()I * '( , ') .hashKey  1build?(Laterm/pure/ABaseObject;[Ljava/lang/Object;)Ljava/lang/Object;  5  7 :; hashFunction([Ljava/lang/Object;)I =9>aterm/pure/ABaseObject 0( ? BCget()Ljava/lang/Object; EAFjava/lang/ref/Reference HInextLaterm/pure/PureFactory$Entry; KGLaterm/pure/PureFactory$Entry NOclear()V EM  Q  S  U XYequals([Ljava/lang/Object;)Z =W  [  ]  _  a dOgc fcgjava/lang/System iOcleanup h lOincreaseCapacity k opcreate-([Ljava/lang/Object;)Laterm/pure/ABaseObject; =n st3(Ljava/lang/Object;Laterm/pure/PureFactory$Entry;)V KrdecreaseCapacity ) w  y  { ~rehash(I)V } )hashCode  outLjava/io/PrintStream; fjava/lang/StringBuffer sO rehash: newCapacity = append,(Ljava/lang/String;)Ljava/lang/StringBuffer; (I)Ljava/lang/StringBuffer;  ( removal) toString()Ljava/lang/String; println(Ljava/lang/String;)V java/io/PrintStream (Ljava/lang/Object;)V  cleanup:  removed referencestable_size =  #call = nbFoundReference = nbFoundExactReference = #BuiltObject = #RemovedReference = @#element =  [] repartition = (D)Ljava/lang/StringBuffer; #lookup/build =  -->  elements (usedSlot = )used =  empty =  makeString+(Ljava/lang/String;)Laterm/api/ATermString;   intern java/lang/String  getInstance()Laterm/pure/ABaseObject; aterm/pure/ATermStringImpl 34 aterm/api/ATermStringmakeInt(I)Laterm/api/ATermInt;java/lang/Integer s aterm/pure/ATermIntImplaterm/api/ATermIntmakeReal(D)Laterm/api/ATermReal;java/lang/Double s(D)V aterm/pure/ATermRealImplaterm/api/ATermRealmakeList()Laterm/api/ATermList; getEmpty aterm/pure/ATermListImpl=(Laterm/api/ATerm;Laterm/api/ATermList;)Laterm/api/ATermList;    aterm/api/ATermList*([Ljava/lang/Object;)Laterm/api/ATermList;  aterm/api/ATerm  makePlaceholder/(Laterm/api/ATerm;)Laterm/api/ATermPlaceholder; aterm/pure/ATermPlaceholderImplaterm/api/ATermPlaceholdermakeAFun&(Ljava/lang/String;IZ)Laterm/api/AFun;  java/lang/Boolean s(Z)V  "#aterm/pure/AFunImpl%aterm/api/AFun([CIIIZ)Laterm/api/AFun;makeAppl'(Laterm/api/AFun;)Laterm/api/ATermAppl; *+ makeApplArray*([Ljava/lang/Object;)Laterm/api/ATermAppl; )8(Laterm/api/AFun;Laterm/api/ATerm;)Laterm/api/ATermAppl;I(Laterm/api/AFun;Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATermAppl;Z(Laterm/api/AFun;Laterm/api/ATerm;Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATermAppl;  09(Laterm/api/AFun;[Laterm/api/ATerm;)Laterm/api/ATermAppl; 45 arraycopy*(Ljava/lang/Object;ILjava/lang/Object;II)V f3 89aterm/pure/ATermApplImpl;aterm/api/ATermApplmakeBlob([B)Laterm/api/ATermBlob;?java/lang/RuntimeExceptionAnot yet implemented! s >Bmake5(Ljava/lang/String;Ljava/util/List;)Laterm/api/ATerm; GH parsePattern%(Ljava/lang/String;)Laterm/api/ATerm; F KLiterator()Ljava/util/Iterator; NJOjava/util/List QR makeUsingTerm8(Laterm/api/ATerm;Ljava/util/Iterator;)Laterm/api/ATerm; P4(Laterm/api/ATerm;Ljava/util/List;)Laterm/api/ATerm; V)getType  U YZ makeUsingList>(Laterm/api/ATermList;Ljava/util/Iterator;)[Ljava/lang/Object; X  \ _`getAFun()Laterm/api/AFun; :^ cdgetArgumentArray()[Laterm/api/ATerm; :b ghmakeUsingArray;([Laterm/api/ATerm;Ljava/util/Iterator;)[Ljava/lang/Object; f klmakeUsingPlaceholderC(Laterm/api/ATermPlaceholder;Ljava/util/Iterator;)Laterm/api/ATerm; joATerm.type not allowed q) getLength p tugetFirst()Laterm/api/ATerm; s xgetNext w {|isEmpty()Z z ugetPlaceholder ~ HC java/util/Iterator afunIntLaterm/api/AFun; " X(Ljava/lang/Object;)Z  )intValue   afunReal "  doubleValue()D    afunString "  afunTerm " getName $fun  )getArity $   '(  afunPlaceholder "illegal placeholder: B   matchArray7([Laterm/api/ATerm;[Laterm/api/ATerm;Ljava/util/List;)Zaterm/pure/ATermImpl match$(Laterm/api/ATerm;Ljava/util/List;)Z  setAnnotationF(Laterm/api/ATerm;Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm;removeAnnotation5(Laterm/api/ATerm;Laterm/api/ATerm;)Laterm/api/ATerm; getAnnotationsetAnnotationsremoveAnnotations$(Laterm/api/ATerm;)Laterm/api/ATerm; isDeepEqual*(Laterm/pure/ATermImpl;Laterm/api/ATerm;)Z importTerm Exceptionsaterm/api/ParseError !"  Hparse aterm/api/ATermParserreadFromTextFile((Ljava/io/InputStream;)Laterm/api/ATerm;java/io/IOException  readFromBinaryFile   readFromFile  writeToTextFile*(Ljava/io/OutputStream;Laterm/api/ATerm;)Vaterm/pure/ATermWriterImpljava/io/BufferedWriterjava/io/OutputStreamWriter s(Ljava/io/OutputStream;)V  s(Ljava/io/Writer;)V   write(Laterm/api/ATermWriter;)V   Oclose aterm/api/ATermWriterwriteToBinaryFile      @@aterm/pure/ATermParserImpl s(Laterm/api/ATermFactory;)V   setFactory "  SourceFilePureFactory.java InnerClassesEntry!               3!"#*&$O'(#x$S')#! **+-$W)#*/d$[0(#*2~$`34# *Y6`6*8:+,<6*@62::yD=N-AJJPJSP*YR`R*T\.dO'*YV`V-,Z*Y\`\-:J:*^*Rd6*`0*b*be*j*b*m*8:*@6+,qNKY-2uS*Y^`^*T\.`O-$'g i jkl!n!n.o7p;s@tJuRw\xazk{y~nnvO#k;*+<*Y+d+**x2**/*zj`**` l|**-$&1:lO#k;*+<*Y+`+**x2**/*zj`**` l|**-$&1:~#E*8M**/K8**/ T*R>6p,2:bJ:*YR`R D<:J:*D@6*82J*8S*T\.`OY*/*Rd*$b%%.18BOTX_myiO#*8L*R=+>W+2::GD4JJ +JS*YR`R*T\.dO:J:Y*Rd$J #(5=GTX_dk#T*8LM,Y_*8M,Y_*6M,Y_*VM,Y_*\M,Y_*^M,Y_*RMJ*^*Rd9+96 *T .9 )  ckocJ  +,Y_*^*RdMkokcgk9 ,Y_¶) oM,Y_Ƕ*V*^`*6oM6 6 6 {+ 2)6 + 2:D J: *T . *zj6Y ɶ*T .˶ Ͷ  +,Y_϶+ dѶ M,$( *Kl ! $;&R(s)/01123445644:=>!1$1+HRJ#3+S*ֶ߲$ S T#7YS*ֶ$ X Y#7Y'S*ֶ$ ] ^#$b#:+S,S*$fg t #\(* M+d>+2*+2 ,M,$"xyy z{y"y&~#0+S*ֶ$ #U1+SYSY S*!$$ #&#aEY+SYYSYYSYYSYY S:*!$$ 8'(#*+S*ֶ,$ '-#4,S+S*,$ '.#>,S-S+S*,$ '/#I!1,S1-S1S1+S*1,$ '2#@,`N,-,6-,+S*-,$*+#$ *7+:$<=## >Y@C$DE#(**+I,MS$DT#$ *+,MS$QR#+Wr"'<,h++*+,[N*-]+:a:*+:e,i:dS*,*+,m>YnC$2 (-2<BM]gnxYZ#j6+r`N6-*+v,SS+yL+}-$"  !(+4gh#W'+`N6-*+2,SS+-$%kl#  +N-W-::a:,::*:*:*  F*: **e,i:dS*,  >YY+C$j  (3:DOV`kry !$%&')*+016#i966$+2,2-6 +$:;; <';*;6>## >Y@C$B## >Y@C$F## >Y@C$J## >Y@C$N## >Y@C$R## >Y@C$V## >Y@C$ZGH## *+$aH## *+$f## *+$k## *+$p## *+$u#I%YYY+N,--$yz{$|#' *+$  sO##* $ 45s#**6*V*\*^*R*b*+**x2**/K8**/ T**/*z**/*zj`*|*Y*&****$>7"9':/;:>D?L@SCbDgFsHwI{JKLO#)1   K PK m1* META-INF/PK m1*HH+META-INF/MANIFEST.MFPK 0*Daterm/api/AFun.classPK 0**aterm/api/ATerm.classPK 0*fXgaterm/api/ATermAppl.classPK 0*&caterm/api/ATermBlob.classPK 0*b"aterm/api/ATermFactory.classPK 0*;aterm/api/ATermInt.classPK 0*>…Jlaterm/api/ATermList.classPK 0*=aterm/api/ATermParser.classPK 0*C aterm/api/ATermPlaceholder.classPK 0*koaterm/api/ATermReal.classPK 0*/laterm/api/ATermString.classPK 0*%)Xaterm/api/ATermWriter.classPK 0*Q@aterm/api/ParseError.classPK 0*+I  eaterm/pure/ABaseObject.classPK 0*1z``aterm/pure/AFunImpl.classPK 0*oC,aterm/pure/ATermApplImpl.classPK 0*WdKh h [Aaterm/pure/ATermImpl.classPK 0*Katerm/pure/ATermIntImpl.classPK 0* Saterm/pure/ATermListImpl.classPK 0*b]cc katerm/pure/ATermParserImpl.classPK 0*x  %aterm/pure/ATermPlaceholderImpl.classPK 0*u aterm/pure/ATermReader.classPK 0*;J  8aterm/pure/ATermRealImpl.classPK 0*] aterm/pure/ATermStringImpl.classPK 0*YC katerm/pure/ATermToolImpl.classPK 0*br Uaterm/pure/ATermWriterImpl.classPK 0*9)"aterm/pure/PureFactory$Entry.classPK 0*VL0L0aterm/pure/PureFactory.classPK