PK ׄ- META-INF/PK ׄ-4mGGMETA-INF/MANIFEST.MFManifest-Version: 1.0 Created-By: 1.4.0-rc (Sun Microsystems Inc.) PK -gAbstractBComponent.class.$      name LEntityName;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  EntityName Composant Abstrait : ! "#  AbstractBComponentAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;    !* ' *+2  1+L*+,1+L*+,PK -DAbstractConstants.class..   ! "#$% &'()* identifiers[LBIdentifier;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier ABSTRACT_CONSTANTS + ,- ,  rABSTRACT_CONSTANTS
,

AbstractConstantsClausejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*   L$*+=*+2S+    # q=+L>#*2+,*d +L*+L"   " ) 5 < q=+ L>#*2+, *d + L*+ L"    " ) 5 < PK -AbstractEntities.class.4   !"# $% &'() *+,-entities[LAbstractEntity;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java AbstractEntity  AbstractEntities : . /0 1 23  
AbstractEntities :
    
AbstractEntitiesAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !* L$*+=*+2S+ #\0+L>*2+,*+ L (/\0+ L>*2+,  *+ L (/PK -u%gAbstractEntity.class.&      !"name LEntityName;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  EntityName # $%  
AbstractEntityAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* ' *+2  ;+,L*+,+L   ;+,L*+,+LPK - #AbstractOperation.class.&      !"name LEntityName;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  EntityName # $%  
AbstractOperationAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* 67' *+2 : ;;+,L*+,+L=>?@;+,L*+,+LDEFGPK -JAbstractOperations.class.4   !"# $% &'() *+,- operations[LAbstractOperation;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java AbstractOperation  AbstractOperations : . /0 1 23  
AbstractOperations :
    
AbstractOperationsAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !* L$*+=*+2S+ # \0+L>*2+,*+ L#$ %$(&/'\0+ L>*2+,  *+ L+, -,(.//PK -;AbstractParameter.class.    name LEntityName;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  EntityName   AbstractParameterAuxiliaryClass    !*  ' *+2   & *+,   & *+,  PK -23SSAbstractParameters.class.(     ! "#$ parameters[LAbstractParameter;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java AbstractParameter (% &' ,) AbstractParametersAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* L$*+=*+2S+ #q=+L>#*2+,*d +L*+L" ")5<q=+L>#*2+, *d +L*+L" ")5<PK -yAbstractVariables.class.,    !"#$ %&'( identifiers[LBIdentifier;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier ABSTRACT_VARIABLES ) *+ ,  kABSTRACT_VARIABLES

AbstractVariablesClausejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*   L$*+=*+2S+   # q=+L>#*2+,*d +L*+L"   " ) 5 < q=+ L>#*2+, *d + L*+ L"   " ) 5 < PK -: And.class.$       predicates [LPredicate;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Predicate ! "#  &  & Andjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* L$*+=*+2S+ #e5>)+,L*2+,*d +L*Ա !(4e5>)+,L*2+,*d +L*Ա !(4PK -Qr Any.class.U 23 45 67 89 2 :; < =>?@A BC =D =EF GHIJ GK GLM identifiers[LBIdentifier; predicate LPredicate; substitutionLSubstitution;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java '( BIdentifier !" Predicate #$ Substitution %&java/lang/StringBuffer NOANY PQ -., WHERE  R STTHEN END  ANY /.
WHERE
   THEN
END
Anyappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !"#$%&'()!** +,)xD=*+d+d=*+2S*++d2*++d2*" !)6C-.)+Y ,  L>#*2+, *d + L*+Y  ,  L*+,+Y  ,  L*+,+Y  ,  L*2 (3:Fcq/.)+Y ,  L>#*2+,*d + L*+Y  ,  L*+,+Y  ,  L*+,+Y  ,  L*2 (3:Fcq01PK - Append.class.'      !"#left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression \|/$ %& AppendSequenceExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !*   5*+2*+2 >*+,+L*+, >*+,+L*+, PK -KjArithmeticExpression.class.    ()VCodeLineNumberTable SourceFileBol.java ArithmeticExpression Expression * PK -ZNArithmeticFunction.class.   expression LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java   Expression ArithmeticFunctionArithmeticExpression   *   ' *+2  PK -F<ArrayElement.class..  ! " #$ %& #' ( ()* identifier LBIdentifier;elements[LAtomicElement;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier  AtomicElement  (+ ,-)  ArrayElement BBaseElementjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !* 78e5=*+2*+d*d+2S+;<=>?+>4Ad4*+,>+L*2+, + L*ޱD EFG H'E3Jd4*+, >+L*2+, + L*ޱM NOP Q'N3SPK -nϲ Assert.class.G )* +, -. ) /0 12 34 567 589: ;<= ;>? predicate LPredicate; substitutionLSubstitution;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Predicate  Substitution java/lang/StringBuffer @AASSERT BC D EF $% THEN ENDASSERT
    &%
THEN
 ENDAssertappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String;  !*!   "# 5*+2*+2!  $% w+Y, , L*+, +Y,, L*+, +Y, L!  * K Y v &% w+Y,, L*+, +Y,, L*+, +Y, L!  * K Y v '(PK -YAssertions.class.,    !"#$ %&'( predicates [LPredicate;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Predicate  ASSERTIONS ) *+ ;  ZASSERTIONS
;
 AssertionsClausejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*   L$*+=*+2S+   # q=+L>#*2+,*d +L*+L"   " ) 5 < q=+ L>#*2+, *d + L*+L"   " ) 5 < PK - Au55AtomicElement.class. valueLjava/lang/String;()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  AtomicElement BBaseElement * W   PK -ec  AuxiliaryClass.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java AuxiliaryClassBObject *"    PK -~--B.class. Zu Yv Ywxy z{|} ~ u Y  Y D * *  Y u Y D Y Y  x (u ( Y . . z ~ 3 3 ~ Y : = = D C B A A A ~  N * * * * *viewLorg/gjt/sp/jedit/View;pLjava/lang/Process;(Lorg/gjt/sp/jedit/View;)VCodeLineNumberTable ExceptionstypeCheckerToUse()Ljava/lang/String;getProcessResult'(Ljava/lang/Process;)Ljava/lang/String; writeProcess'(Ljava/lang/String;Ljava/lang/String;)VhelpWindowWrite(Ljava/lang/String;)VhelpWindowAppendsetHelpWindowCaretToTheTop()V extractPath&(Ljava/lang/String;)Ljava/lang/String;disposeajouteDoubleCotes SourceFileB.java _n [\ deConsoleTypeChecker#options.BPlugin.destinationFilePath pout.txtoptions.BPlugin.sourcePathsList java/lang/StringBuffer e op ; e rp (options.BPlugin.typeCheckerFilePathIsSetyes  java -classpath  ]^java/io/IOException fg hi jk ATTENTION : Le buffer eZ n'a pas ete sauvegarde, c'est donc la version disque qui a ete compilee ! WARNING : The \ buffer has not been saved, therefore it is the hard drive version that has been compiled ! java/lang/String 1Compilation reussie ! Compilation successfull ! lkTypechecker/TypeCheckException e e n"tatibouet/bparser/BParserException mn+options.BPlugin.internalTypeCheckerFilePath#options.BPlugin.typeCheckerFilePathjava/io/InputStreamReader _java/io/BufferedReader _ e java/io/PrintWriterjava/io/BufferedWriterjava/io/FileWriter java/io/File _k _ _ k n b.help BSymbolsHelpWindow  k k        "Bjava/lang/Objectorg/gjt/sp/jedit/jEdit getPropertyorg/gjt/sp/jedit/View getBuffer()Lorg/gjt/sp/jedit/Buffer;org/gjt/sp/jedit/BuffergetPathappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString pathSeparatorLjava/lang/String; replaceAll8(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String; compareTo(Ljava/lang/String;)Ijava/lang/Runtime getRuntime()Ljava/lang/Runtime;exec'(Ljava/lang/String;)Ljava/lang/Process; separatorisDirty()ZgetNamelance([Ljava/lang/String;)V getMessagegetNameOfBFileopenFileD(Lorg/gjt/sp/jedit/View;Ljava/lang/String;)Lorg/gjt/sp/jedit/Buffer;showjava/lang/ProcessgetInputStream()Ljava/io/InputStream;(Ljava/io/InputStream;)V(Ljava/io/Reader;)VreadLine(Ljava/io/File;)V(Ljava/io/Writer;)VprintclosegetDockableWindowManager.()Lorg/gjt/sp/jedit/gui/DockableWindowManager;*org/gjt/sp/jedit/gui/DockableWindowManager getDockable,(Ljava/lang/String;)Ljavax/swing/JComponent; getTextArea()Ljavax/swing/JTextArea;javax/swing/JTextAreasetTextsetCaretPosition(I)V lastIndexOf substring(II)Ljava/lang/String;split'(Ljava/lang/String;)[Ljava/lang/String;charAt(I)Clength()I!YZ[\]^ _`a**+*MN:::+ : Y :  *+ W W W :*::* Y ,-+ Z Y: **:* Y  *!"3* Y #$%$&! *'!(Y): *Y+ SYSYS:   +*,-J: * /- 07+ 01: +2%:*4-5+51: +6*7{ivy.iv3b)46 8:<>@#D)I2JCKKLSMZNbOnR{W`acfhjpq@tFwOyi|p~vycdea9 89b fgaP:Y+;N':':-?: Y @::CFb& #CHMchiaL (AYBYCYDY,EFGHN-+I-Jb#'cjkaA*KLMM,,NO+Pb lkaA*KLMM,,NO+Qb mnaA*KLML++NORb opa% ++STbqna"*b rpa+UM'N666,2V 6,2W", Y X,2XS Y -,2N Y -,2N,r-b2    *9^| stPK -7'BBaseElement.class.   ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)V SourceFileBol.java  BBaseElement Expression *   PK -2L*ABBoolean.class."     ()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  !BBoolean AtomicElementvalueLjava/lang/String;java/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;    !* st "*+ wx & +*L z { <+L+*L+L ~PK -EBComponent.class.                  "  " " " " " " " " " " " "  F H F H H F F Hcontext LBContext;headerLHeader;seesLSees;setsLSets;concreteConstantsLConcreteConstants; properties LProperties;concreteVariablesLConcreteVariables; invariant LInvariant; assertions LAssertions;initializationLInitialization; operations LOperations;()VCodeLineNumberTableTransformNodeTree2(Lufc/lifc/tatibouet/readxml/SimpleNode;)LBObject; ExceptionsTransformInBComponent5(Lufc/lifc/tatibouet/readxml/SimpleNode;)LBComponent;readBComponent(Ljava/io/File;)LBComponent; getContext ()LBContext; setContext (LBContext;)V setHeader (LHeader;)VsetSees (LSees;)VsetSets (LSets;)VsetConcreteConstants(LConcreteConstants;)V setProperties(LProperties;)VsetConcreteVariables(LConcreteVariables;)V setInvariant(LInvariant;)V setAssertions(LAssertions;)VsetInitialization(LInitialization;)V setOperations(LOperations;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTMLgetDate()Ljava/lang/String; SourceFileBol.java gh  BObject BString  BIdentifierBEnumeratedValueBIntegerBBoolean IntegerSet EntityNameTypeIdentifierEntityInstance TypeReferenceEntityLocalization %ufc/lifc/tatibouet/readxml/SimpleNode kl  BComponent qr QR ST UV WX YZ [\ ]^ _` ab cd ef  java/util/GregorianCalendarjava/lang/StringBuffer  -  java/lang/ClassNotFoundException java/lang/InstantiationException java/lang/IllegalAccessException(ufc/lifc/tatibouet/readxml/TokenMgrError)ufc/lifc/tatibouet/readxml/ParseExceptionjava/io/FileNotFoundExceptionjava/io/IOExceptiontoStringjava/lang/ClassforName%(Ljava/lang/String;)Ljava/lang/Class; newInstance()Ljava/lang/Object; getNodeName setFields(Ljava/lang/String;)VjjtGetNumChildren()I jjtGetChild$(I)Lufc/lifc/tatibouet/readxml/Node; ([LBObject;)V+ufc/lifc/tatibouet/readxml/BXmlObjectFormatanalyse7(Ljava/io/File;)Lufc/lifc/tatibouet/readxml/SimpleNode;BContextHeaderSeesSetsConcreteConstants PropertiesConcreteVariables Invariant AssertionsInitialization Operationsget(I)Iappend(I)Ljava/lang/StringBuffer;,(Ljava/lang/String;)Ljava/lang/StringBuffer; " QRSTUVWXYZ[\]^_`abcdefghi!*j "# kliM*L+M*N-,,-, , - , , - , , -,,-,,-,,-,,-r,,-`,,-N,G,-<*61:6* S,!,j#(* +-/0"1-243?4F5Q6X7c8j9u:|;<=>?@ABCDEHIJKL KNQmnop qri'* "jVmnop sti& *#L+$j \]muvwxnopyzi*%ja{|i"*+%j ef}~i"*+&j iji"*+'j mni"*+(j qri"*+)j uvi"*+*j yzi"*++j }~i"*+,j i"*+-j i"*+.j i"*+/j i *%+,0*&+,1*' *'+,2*( *(+,3*) *)+,4** **+,5*+ *++,6*, *,+,7*- *-+,8*. *.+,9*/ */+,:jV ")29BIRYbiryi *%+,;*&+,<*' *'+,=*( *(+,>*) *)+,?** **+,@*+ *++,A*, *,+,B*- *-+,C*. *.+,D*/ */+,EjV ")29BIRYbiryiQ5FYGLHYI+JKLM+NKLM+OKPj PK -Tr, BContext.class.| 2W 3XY 2Z[ 2\] 2^_ 2`a 2bc 2de 2fg 2hi 2jk 2lm nop q qr q q q q q q q qst u uv u u u u u u u uwxabstractBComponentLAbstractBComponent;abstractParametersLAbstractParameters;abstractEntitiesLAbstractEntities;abstractOperationsLAbstractOperations;localParametersLLocalParameters; localEntitiesLLocalEntities;localOperationsLLocalOperations;referencedBComponentsLReferencedBComponents;externEntitiesLExternEntities;externOperationsLExternOperations;NameLjava/lang/String;setName(Ljava/lang/String;)VCodeLineNumberTable()V setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java HI NOAbstractBComponent 45AbstractParameters 67AbstractEntities 89AbstractOperations :;LocalParameters <= LocalEntities >?LocalOperations @AReferencedBComponents BCExternEntities DEExternOperations FGP/****************************************************************************** y z{ BContext RS P******************************************************************************/ 

BContext
TS
BContextAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; 23 456789:;<=>?@ABCDEFGHIJKL"*+M 56NOL!*M 89PQL=++2*+2++2*+2++2*+2++2 *+2 ++2 *+2 ++2 *+2 ++2*+2++2*+2++2*+2++2*+2MZ<=>@-A:CIDVFeGrIJLMOPRSUVX Y[RSL5+L+L*#*+,* *+,+L* *+,* * +,* * +,* *+, * *+,!* *+,"* *+,#* *+,$+%LMf]^_`a%b.c5e<fEgLhUi\jekllum|nopqrstuvTSL+&L*#*+,'* *+,(+)L* *+,** * +,+* * +,,* *+,-* *+,.* *+,/* *+,0* *+,1M^yz{|}'~.5>ENU^enu~UVPK -KR'MMBecomeEqual.class..  ! " #$ %&' % ( ()* identifiers[LBIdentifier; expressions [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier  Expression + ,- , :=  BecomeEqual Substitutionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*  d eN+l=**>*+2S6*+2S* h j k l m& l. o4 pA oM rn+,L>#*2+,*d +L*+ L6%*2+, *d +L*ױ6 t u v w! x( u4 z; {A |M }Y ~` {m n+,L>#*2+, *d +L*+ L6%*2+, *d +L*ױ6   ! ( 4 ; A M Y ` m PK -{R[[BecomeEqualArrayElement.class.0  !" # $% &' $ () (*+, arrayElementLArrayElement; expression LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  ArrayElement  Expression   := - ./ BecomeEqualArrayElement Substitutionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*   5*+2*+2  >*+,+L*+,    T(*+, +L+ L*+, + L   ' PK -kkBecomeEqualFunction.class.0  !" # $% &' & () (*+, callFunctionLCallFunction; expression LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  CallFunction  Expression - ./  := BecomeEqualFunction Substitutionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*   5*+2*+2  H +,L*+,+L*+,      ^.+,L*+, +L+ L*+, + L     & - PK -ɲBecomeSuch.class..  ! " #$ %&' % ( ()* identifiers[LBIdentifier; predicate LPredicate;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier  Predicate + ,- , ::  BecomeSuch Substitutionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*   g7=*+d+d=*+2S*++d2   ! ) 6 }E+,L>#*2+,*d +L*+ L*+, &   ! ( 4 ; D }E+,L>#*2+, *d +L*+ L*+, &   ! ( 4 ; D PK -;ר Begin.class.; !" #$ ! %& '( )* +,-./ 0123 substitutionLSubstitution;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Substitution java/lang/StringBuffer 45BEGIN 67 8 9:  ENDBEGIN
    
 ENDBeginappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !*  A B' *+2  E FhD+Y,L*+, +Y , L H I& JC KhD+Y,L*+, +Y,L N O& PC Q PK -%9SSBEnumeratedValue.class.     ()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java   BEnumeratedValue AtomicElementvalueLjava/lang/String;java/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !*   "*+  & +*L   & +*L  PK - BIdentifier.class.'         !()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTMLgetValue()Ljava/lang/String; SourceFileBol.java  "# $%java/lang/StringBuffer    & BIdentifier AtomicElementvalueLjava/lang/String;append,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString  !* "*+ & +*L  8+Y* L * PK -R+z BinaryArithmeticExpression.class.   left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  BinaryArithmeticExpressionArithmeticExpression    *  5*+2*+2  PK -H=BinaryPredicate.class.   left LPredicate;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Predicate  BinaryPredicate   *   5*+2*+2  PK -BinarySetExpression.class.   left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  BinarySetExpression SetExpression    *  5*+2*+2  PK - KKBInteger.class.     ()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java   BInteger AtomicElementvalueLjava/lang/String;java/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* `a  "*+ de & +*L h i & +*L l mPK -„QQ BObject.class. ()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java BObjectjava/lang/Object *    PK -aBooleanExpression.class.(     ! "#$ predicate LPredicate;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Predicate BOOL(% &' )1BOOL( BooleanExpression Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* ' *+2  <+L*+,+L<+L*+, +L   PK -xrBooleanSet.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java BOOL 0BOOL BooleanSet SetExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !*   $+L   $+L PK -*Ϲ//BOptionPane.class.Q   ~  ~ ~ ~ ~ ~ ~ ~   ~     ~  ~  $ # # # # ~ ~  # # ~ ~ ~  9 ~ 9 9 > ~ ~ ~    # # # # # ~ 6 6   6 6 6  6  6 ` ` ` ` `     ` ~ 9 9  ~ 9  ~    destinationPathNameLjavax/swing/JTextField;typeCheckerPathNamepickDestinationPathLjavax/swing/JButton;pickTypeCheckerPathsourcePathsAddButtonsourcePathsEditButtonsourcePathsDeleteButtonuseDefaultTypeCheckersourcePathsJListLjavax/swing/JList;sourcePathsListModelLjavax/swing/DefaultListModel;sourcePathsListLjava/lang/StringBuffer;currentJListSelectionLjava/lang/String;()VCodeLineNumberTable_init_savecreateTypeCheckerSelectioncreateDestinationSelection createSourceDirectoriesSelectionsourcePathsCount(Ljava/lang/String;)I toStringTab'(Ljava/lang/String;)[Ljava/lang/String; isSubstring'(Ljava/lang/String;Ljava/lang/String;)ZremoveSubstring8(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;replaceFirstSubstringJ(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;actionPerformed(Ljava/awt/event/ActionEvent;)V SourceFileBOptionPane.javaBPlugin javax/swing/DefaultListModel java/lang/StringBufferoptions.BPlugin.sourcePathsList  "options.BPlugin.separator.optional  #options.BPlugin.destinationFilePath  #options.BPlugin.typeCheckerFilePath javax/swing/JTextFieldjavax/swing/JButtonoptions.BPlugin.choose-file -options.BPlugin.defaultTypeCheckerButtonLabel javax/swing/JPaneljava/awt/BorderLayout  Center  EastSouth options.BPlugin.typeCheckerLabel !"  options.BPlugin.destinationLabel java/lang/String #$javax/swing/JList % &' ('javax/swing/JScrollPane )Add Edit Delete Northoptions.BPlugin.sourceLabel *+ ,- ./0 123 4 5 6 78 .9 7:; <=(options.BPlugin.typeCheckerFilePathIsSetyes >javax/swing/JFileChooser ?' @A BCD E F(options.BPlugin.destinationFilePathIsSetSelect G ; HI J=K L- MN OPNo Where an external TypeChecker is BOptionPane#org/gjt/sp/jedit/AbstractOptionPanejava/awt/event/ActionListener(Ljava/lang/String;)Vorg/gjt/sp/jedit/jEdit getProperty&(Ljava/lang/String;)Ljava/lang/String; addSeparatorgetText()Ljava/lang/String; setProperty'(Ljava/lang/String;Ljava/lang/String;)VtoStringaddActionListener"(Ljava/awt/event/ActionListener;)V(II)V(Ljava/awt/LayoutManager;)Vadd)(Ljava/awt/Component;Ljava/lang/Object;)V addComponent)(Ljava/lang/String;Ljava/awt/Component;)V addElement(Ljava/lang/Object;)V(Ljavax/swing/ListModel;)VsetSelectionMode(I)VsetVisibleRowCount(Ljava/awt/Component;)VcharAt(I)Clength()Iappend(C)Ljava/lang/StringBuffer;java/lang/SystemoutLjava/io/PrintStream;java/io/PrintStreamprintln lastIndexOfindexOf substring(II)Ljava/lang/String;,(Ljava/lang/String;)Ljava/lang/StringBuffer;(I)Ljava/lang/String;java/awt/event/ActionEvent getSource()Ljava/lang/Object; compareTosetFileSelectionModeshowOpenDialog(Ljava/awt/Component;)IgetSelectedFile()Ljava/io/File; java/io/FilegetAbsolutePathsetTextsetApproveButtonTextisSelectionEmpty()ZgetSelectedValuejava/lang/ObjectgetSelectedIndexset'(ILjava/lang/Object;)Ljava/lang/Object;remove(I)Ljava/lang/Object;!~  O'**Y*Y * =67!8&>;* * **EGIKLI%*** R UX$Zz*Y*Y***Y !*!*"#Y$Y%&L+*'(+*)*+*!+,*-+.. bf i(m8q@tQu[vewozy~X*Y*Y/*/*0#Y$Y%&L+*'1+*/)2*3+4" (9CMWvL*+56M*+7M>*,28*+5*9Y*:;*;<*;=>Y*;?:#Y$Y%&:*Y@A*YBC*YDE*A*F*C*G*E*H*AIJ*C'K*E+L#Y$Y%&:'M)N*OPf$0?GO\n{U!=>+Q;+R"[*+56M>6BYS:+QTW+Q;,SUV+R,> ),7?JMPY) +,W  M-+,X>,R``6YS+YZ+[Zb:+,X6,R`6+Y:+[:YSZ-ZZ! "N:+\*T]^_`Ya: `Y-b:cd6efM*,g]^+h*/Wi^_`Ya:`Yb:cd6yef:*ji^\+k*A``Ya:clmd6.ef:** n* ZW* oZW*8+p*Cx*;q߻`Ya:clmd6**;rs ef:*Y** * t **;uvWt+w*EG*;q_**;rs *Y** * x **;uyW%+z*!]{|*|}6$' +2%315;9A<I=N?WA_CiHtLMORSTUVW[]^_acegij$l0q;uEwNxTy[{c|h~v !PK -#V BPlugin.class.6  !" #$%  &'()NAMELjava/lang/String; ConstantValue(MENU OPTION_PREFIX*SYMBOLS_VIEW_NAME+SYMBOLS_HELP_WINDOW_NAME,()VCodeLineNumberTablecreateMenuItems(Ljava/util/Vector;)VcreateOptionPanes'(Lorg/gjt/sp/jedit/gui/OptionsDialog;)V SourceFile BPlugin.java  BPlugin.menu- ./0 12 BOptionPane3 45BPluginorg/gjt/sp/jedit/EditPluginoptions.BPlugin.BSymbolsBHelporg/gjt/sp/jedit/GUIUtilitiesloadMenu'(Ljava/lang/String;)Ljavax/swing/JMenu;java/util/Vector addElement(Ljava/lang/Object;)V"org/gjt/sp/jedit/gui/OptionsDialog addOptionPane (Lorg/gjt/sp/jedit/OptionPane;)V!            *& + ( )( +Y . /PK -紏BPreviousValue.class.$       identifier LBIdentifier;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier $0! "# BPreviousValue AtomicElementjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;    !* ' *+2  1*+,+W 1*+,+W PK -6f JJ BString.class.     ()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java   BString AtomicElementvalueLjava/lang/String;java/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !*   "*+  & +*L   & +*L  PK -mBSymbolsHelpWindow.class.I ' ( )* ' +,- . / 0 12 ' 345 6 7 89:viewLorg/gjt/sp/jedit/View; textArea1Ljavax/swing/JTextArea;positionLjava/lang/String;,(Lorg/gjt/sp/jedit/View;Ljava/lang/String;)VCodeLineNumberTable afficheTexte(Ljava/lang/String;)V getTextArea()Ljavax/swing/JTextArea; SourceFileBSymbolsHelpWindow.java ;  javax/swing/JTextArea  java/awt/Font Monospaced < => ?@ ABjava/awt/BorderLayout CDCenterjavax/swing/JScrollPane E FG H"BSymbolsHelpWindowjavax/swing/JPanel()V(Ljava/lang/String;II)VsetFont(Ljava/awt/Font;)VsetRows(I)V setEditable(Z)V setLayout(Ljava/awt/LayoutManager;)V(Ljava/awt/Component;)Vadd<(Ljava/lang/String;Ljava/awt/Component;)Ljava/awt/Component;setText!Z**+*,*Y*Y * * * Y*Y*W * 13 468,94:<<G>YA!"% *+ HI#$* R%&PK -\BSymbolsView$BButton.class.   numeroIthis$0LBSymbolsView; Synthetic)(LBSymbolsView;Ljavax/swing/ImageIcon;I)VCodeLineNumberTable SourceFileBSymbolsView.java   BSymbolsView$BButtonBButton InnerClassesjavax/swing/JButton(Ljavax/swing/Icon;)V BSymbolsView     4*,*+*10 23 PK -|nn BSymbolsView$BIconListener.class.L    ! "# $%& ) *+ *, *- . */023this$0LBSymbolsView; Synthetic(LBSymbolsView;)VCodeLineNumberTableactionPerformed(Ljava/awt/event/ActionEvent;)V SourceFileBSymbolsView.java 4 5 678 9:; <=> ?@BSymbolsView$BButtonBButton InnerClasses ABC DE FG HI J4 K4BSymbolsView$BIconListener BIconListenerjava/lang/Objectjava/awt/event/ActionListener()Vorg/gjt/sp/jedit/jEdit getFirstView()Lorg/gjt/sp/jedit/View;org/gjt/sp/jedit/View getTextArea+()Lorg/gjt/sp/jedit/textarea/JEditTextArea; BSymbolsViewparam[[Ljava/lang/String;java/awt/event/ActionEvent getSource()Ljava/lang/Object;numeroI'org/gjt/sp/jedit/textarea/JEditTextAreasetSelectedText(Ljava/lang/String;)VgetCaretPosition()IsetCaretPosition(I)Vshow requestFocus " **+K^.M,N-+22 -- , - NO PQ%R)S-T("'"1PK -<jjBSymbolsView$BIconsHelp.class.T   ! " #$% &' ( )* + , -./ 2 3457this$0LBSymbolsView; Synthetic(LBSymbolsView;)VCodeLineNumberTable mouseEntered(Ljava/awt/event/MouseEvent;)V SourceFileBSymbolsView.java 8 9 :; <=> ?@b.helpA BC DE FGBSymbolsHelpWindow HI JKL MNBSymbolsView$BButtonBButton InnerClasses OPQ RSBSymbolsView$BIconsHelp BIconsHelpjava/awt/event/MouseAdapter()V BSymbolsView access$000(LBSymbolsView;)Z access$200'(LBSymbolsView;)Lorg/gjt/sp/jedit/View;org/gjt/sp/jedit/ViewgetDockableWindowManager.()Lorg/gjt/sp/jedit/gui/DockableWindowManager;*org/gjt/sp/jedit/gui/DockableWindowManager getDockable,(Ljava/lang/String;)Ljavax/swing/JComponent; access$102@(LBSymbolsView;Ljavax/swing/JComponent;)Ljavax/swing/JComponent; access$100((LBSymbolsView;)Ljavax/swing/JComponent; getTextArea()Ljavax/swing/JTextArea;param[[Ljava/lang/String;java/awt/event/MouseEvent getSource()Ljava/lang/Object;numeroIjavax/swing/JTextAreasetText(Ljava/lang/String;)V " **+;tL*D**W* #* + 22= >!?+@KC1 0 6PK -nn#BSymbolsView$CheckBoxListener.class.Q   ! "# $ % &'( )* + ,- ./ 01256this$0LBSymbolsView; Synthetic(LBSymbolsView;)VCodeLineNumberTableactionPerformed(Ljava/awt/event/ActionEvent;)V SourceFileBSymbolsView.java 7 8 9:; <= >? @AB CDb.helpE FG HI JKBSymbolsHelpWindow LMN OPBSymbolsView$CheckBoxListenerCheckBoxListener InnerClassesjava/lang/Objectjava/awt/event/ActionListener()V BSymbolsView access$300'(LBSymbolsView;)Ljavax/swing/JCheckBox;javax/swing/JCheckBox isSelected()Z access$002(LBSymbolsView;Z)Z access$200'(LBSymbolsView;)Lorg/gjt/sp/jedit/View;org/gjt/sp/jedit/ViewgetDockableWindowManager.()Lorg/gjt/sp/jedit/gui/DockableWindowManager;*org/gjt/sp/jedit/gui/DockableWindowManager getDockable,(Ljava/lang/String;)Ljavax/swing/JComponent; access$102@(LBSymbolsView;Ljavax/swing/JComponent;)Ljavax/swing/JComponent; access$100((LBSymbolsView;)Ljavax/swing/JComponent; getTextArea()Ljavax/swing/JTextArea;javax/swing/JTextAreasetText(Ljava/lang/String;)V " **+\V**W?*W** W* * ^ _a"b9cCdUh4  3PK -UXAABSymbolsView.class. 3a 3b 3c 3d efgh i j 4k 3lm no np nqr s t 3u 3vw 3x 3y ez{| } ~  !  t  3u             !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~wCheckBoxListener InnerClasses BIconListener BIconsHelpBButtonviewLorg/gjt/sp/jedit/View;showHelpLjavax/swing/JCheckBox;positionLjava/lang/String;doesHelpMustBeShownZ helpWindowLjavax/swing/JComponent;param[[Ljava/lang/String;class$BSymbolsViewLjava/lang/Class; Synthetic,(Lorg/gjt/sp/jedit/View;Ljava/lang/String;)VCodeLineNumberTableaffiche(Ljava/lang/String;)V access$000(LBSymbolsView;)Z access$102@(LBSymbolsView;Ljavax/swing/JComponent;)Ljavax/swing/JComponent; access$200'(LBSymbolsView;)Lorg/gjt/sp/jedit/View; access$100((LBSymbolsView;)Ljavax/swing/JComponent; access$300'(LBSymbolsView;)Ljavax/swing/JCheckBox; access$002(LBSymbolsView;Z)Zclass$%(Ljava/lang/String;)Ljava/lang/Class;()V SourceFileBSymbolsView.java <= :; BC @A \ java/lang/ClassNotFoundExceptionjava/lang/NoClassDefFoundError  IN I^ >?BSymbolsView$BIconListener IBSymbolsView$BIconsHelpBSymbolsView$CheckBoxListenerjavax/swing/JCheckBoxHelp I   FG BSymbolsView [\ DE BSymbolsView$BButtonjavax/swing/ImageIcon I I Njava/awt/Dimension I     N   ^ ^[Ljava/lang/String;java/lang/String/icons/And.jpg Conjunction& Conjonction | Conjunction /icons/Or.jpg Disjunctionor Disjonction | disjunction/icons/Not.jpgNegationnot() Negation | Negation/icons/Exists.jpgExistential quantification#().(): Quantification existencielle | Existential quantification/icons/Forall.jpgUniversal quantification!().()6 Quantification universelle | Universal quantification/icons/Maplet.jpg Ordered pair|->O Expression de couple | Ordered pair (Lune|->Terre) ((Lune|->Terre)|->Soleil)/icons/Equivalence.jpg Equivalence<=> Equivalence | Equivalence/icons/Implication.jpg Implication=> Implication | Implication/icons/Relation.jpgSet of relations<-> Ensemble des relations | Set of relations R = {(Lune|->Terre),(Phobos|->Mars),(Deimos|->Mars),(Titan|->Saturne)} R is a member of {Lune, Phobos, Deimos, Titan} <-> {Terre,Mars,Venus,Saturne}/icons/PartialFunction.jpgSet of partial functions+-> Ensemble des fonctions partielles | Set of partial functions if R = {(0|->1),(1|->2),(2|->2) then R is a member of {0,1,2,3} +-> {0,1,2} /icons/TotalFunction.jpgSet of total functions--> Ensemble des fonctions totales | Set of total functions if R = {(0|->1),(1|->2),(2|->2) then R is a member of {0,1,2} --> {0,1,2} /icons/PartialInjection.jpgSet of partial injections>+> Ensemble des injections partielles | Set of partial injections if R = {(0|->1),(1|->2),(2|->3) then R is a member of {0,1,2,3} >+> {0,1,2,3}/icons/TotalInjection.jpgSet of total injections>-> Ensemble des injections totales | Set of total injections if R = {(0|->1),(1|->2),(2|->3) then R is a member of {0,1,2} >-> {0,1,2,3}/icons/PartialSurjection.jpgSet of partial surjections+->> Ensemble des surjections partielles | Set of partial surjections if R = {(0|->1),(1|->2),(2|->2) then R is a member of {0,1,2,3} +->> {1,2}/icons/TotalSurjection.jpgSet of total surjections-->> Ensemble des surjections totales | Set of total surjections if R = {(0|->1),(1|->2),(2|->2) then R is a member of {0,1,2} -->> {1,2}/icons/PartialBijection.jpgSet of partial bijections>+>> Ensemble des bijections partielles | Set of partial bijections if R = {(0|->1),(1|->2),(2|->3) then R is a member of {0,1,2,3} >+>> {1,2,3}/icons/TotalBijection.jpgSet of total bijections>->> Ensemble des bijections totales | Set of total bijections if R = {(0|->1),(1|->2),(2|->3) then R is a member of {0,1,2} >->> {1,2,3}/icons/EmptySet.jpg Empty set{} Ensemble vide | Empty set /icons/In.jpg Membership: Appartenance | Membership/icons/NotIn.jpgNon-membership/:" Non appartenance | Non-membership/icons/Union.jpgUnion of two sets/\ Union de deux ensembles | Union of two sets S1 = {Lune, Phobos, Deimos} S2 = {Lune, Ganymede} S1 \/ S2 = {Lune, Phobos, Deimos, Ganymede}/icons/Intersection.jpgIntersection of two sets\/ Intersection de deux ensembles | Intersection of two sets S1 = {Lune, Phobos, Deimos} S2 = {Lune, Ganymede} S1 /\ S2 = {Lune} /icons/StrictSubset.jpgSubset<: Inclusion ou egalite | Subset/icons/Subset.jpg Proper subset<<: Inclusion | Proper subset/icons/NotStrictSubset.jpg Not a subset/<:* Non inclusion, non egalite | Not a subset/icons/NotSubset.jpgNot a proper subset/<<:$ Non inclusion | Not a proper subset/icons/QuantifiedUnion.jpgQuantified union UNION().(|)c Union quantifiee | Quantified union UNION(x).(x : 1..2 | {x, x+1}) = {1, 2} \/ {2, 3} = {1, 2, 3}!/icons/QuantifiedIntersection.jpgQuantified intersection INTER().(|)k Intersection quantifiee | Quantified intersection INTER(x).(x : 1..2 | {x, x+1}) = {1, 2} /\ {2, 3} = {2}/icons/RangeRestriction.jpg(Range restriction of a relation by a set|> Restriction sur le codomaine | Range restriction of a relation by a set E= {Lune,Phobos,Deimos}, F = {Terre,Venus,Saturne} R = {(Lune|->Terre),(Phobos|->Mars),(Deimos|->Mars),(Titan|->Saturne)} R |> F = {(Lune|->Terre),(Titan|->Saturne)} /icons/RangeSubstraction.jpg'Range subtraction of a relation by a se|>> Soustraction sur le codomaine | range subtraction of a relation by a set E= {Lune,Phobos,Deimos}, F = {Terre,Venus,Saturne} R = {(Lune|->Terre),(Phobos|->Mars),(Deimos|->Mars),(Titan|->Saturne)} R |>> F = {(Phobos|->Mars),(Deimos|->Mars)} /icons/DomainRestriction.jpg)Domain restriction of a relation by a set<| Restriction sur le domaine | Domain restriction of a relation by a set E= {Lune,Phobos,Deimos}, F = {Terre,Venus,Saturne} R = {(Lune|->Terre),(Phobos|->Mars),(Deimos|->Mars),(Titan|->Saturne)} E <| R = {(Lune|->Terre),(Phobos|->Mars),(Deimos|->Mars)} /icons/DomainSubstraction.jpg)Domain subtraction of a relation by a set<<| Soustraction sur le domaine | domain subtraction of a relation by a set E= {Lune,Phobos,Deimos}, F = {Terre,Venus,Saturne} R = {(Lune|->Terre),(Phobos|->Mars),(Deimos|->Mars),(Titan|->Saturne)} E <<| R = {(Titan|->Saturne)} /icons/Override.jpg#Overriding of a relation by another<+ Surcharge de relations | Overriding of a relation by another R1 = {(Lune|->Terre),(Deimos|->Mars),(Titan|->Saturne)} R2 = {(Moon|->Terre),(Ganymede|->Jupiter)} R1 <+ R2 = {(Moon|->Terre),(Deimos|->Mars),(Titan|->Saturne),(Ganymede|->Jupiter)} /icons/CartesianProduct.jpgCartesian product* Produit cartesien | Cartesian product {Lune, Phobos, Deimos} * {Terre, Mars} = {(Lune|->Terre),(Lune|->Mars),(Phobos|->Terre), (Phobos|->Mars),(Deimos|->Terre),(Deimos|->Mars)}/icons/ParallelProduct.jpg;Parallel substitutions or parallel product of two relations|| Substitutions simultanees ou produit parallele de relations Parallel substitutions or parallel product of two relations R1 = {(0|->1),(1|->8)}, R2 = {(10|->12)} R1 || R2 = {((0|->10)|->(1|->12)),((1|->10)|->(8|->12))}/icons/Composition.jpg8Sequential substitutions or composition of two relations;Substitutions en séquence ou composition de deux relations Sequential substitutions or composition of two relations R1 = {(0|->1),(0|->2),(1|->4),(2|->3)}, R2 = {(1|->2),(2|->5),(3|->6)} R1 ; R2 = {(0|->2),(0|->5)),(2|->6)}/icons/DirectProduct.jpgDirect product of two relations>< Produit direct de deux relations | Direct product of two relations R1 = {(0|->1),(1|->2),(2|->3)} R2 = {(1|->2),(2|->4),(3|->6)} R1 >< R2 = {(1|->(2|->2)),(2|->(3|->4))}/icons/Inverse.jpgInverse of a relation~ Inverse d'une relation | Inverse of a relation R = {(Lune|->Terre),(Phobos|->Mars),(Deimos|->Mars),(Titan|->Saturne)} R~ = {(Terre|->Lune),(Mars|->Phobos),(Mars|->Deimos),(Saturne|->Titan)}/icons/Lambda.jpgLambda abstraction%().(|)[ Lambda expression | Lambda abstraction increment = %(x).(x : NAT | x+1) increment(2) = 3/icons/FinitePowerSet.jpgFinite powersetFIN() Ensemble des sous-ensembles finis | Finite powerset FIN({Lune,Phobos,Deimos}) = {{}, {Lune}, {Phobos}, {Deimos}, {Lune, Phobos}, {Lune, Deimos}, {Phobos, Deimos}, {Lune, Phobos, Deimos}}!/icons/NotEmptyFinitePowerSet.jpgNon empty finite powersetFIN1() Ensemble des sous-ensembles finis non vides | Non empty finite powerset FIN1({Lune,Phobos,Deimos}) = {{Lune}, {Phobos}, {Deimos}, {Lune, Phobos}, {Lune, Deimos}, {Phobos, Deimos}, {Lune, Phobos, Deimos}}/icons/PowerSet.jpgPowersetPOW() Ensemble des sous ensembles | Powerset POW({Lune,Phobos,Deimos}) = {{}, {Lune}, {Phobos}, {Deimos}, {Lune, Phobos}, {Lune, Deimos}, {Phobos, Deimos}, {Lune, Phobos, Deimos}}/icons/NotEmptySubset.jpgNon empty powersetPOW1() Ensemble des sous ensembles non vides | Non empty powerset POW1({Lune,Phobos,Deimos}) = {{Lune}, {Phobos}, {Deimos}, {Lune, Phobos}, {Lune, Deimos}, {Phobos, Deimos}, {Lune, Phobos, Deimos}}/icons/Interval.jpgInterval of integers..A Intervalle | Interval of integers 10..15 = {10,11,12,13,14,15} /icons/NaturalSet.jpgNatural numbersNATURAL0 Ensemble des entiers naturels | Natural numbers/icons/NotEmptyNatural.jpgPositive natural numbersNATURAL1C Ensemble des entiers naturels non vides | Positive natural numbers/icons/IntegerSet.jpgSet of integersINTEGER0 Ensemble des entiers relatifs | Set of integers/icons/AppendSequence.jpg0Insert an element to the beginning of a sequence-> Insertion d'un element en tete d'une sequence Insert an element to the beginning of a sequence Lune -> = /icons/PrependSequence.jpg*Insert an element to the end of a sequence<- Ajout d'un element en queue d'une sequence Insert an element to the end of a sequence <- Ganymede = /icons/ConcatSequence.jpgConcatenation of two sequences^/icons/PrefixSequence.jpg*Keeping the N first elements of a sequence/|\ Conserver les N premiers elements d'une sequence Keeping the N first elements of a sequence /|\ 3 = /icons/SuffixSequence.jpg+Removing the N first elements of a sequence\|/ Eliminer les N premiers elements d'une sequence Removing the N first elements of a sequence \|/ 3 = /icons/BecomeEqual.jpg<>:=/ Substitution <> | <>/icons/SetIn.jpg<>::? Substitution <> | <>/icons/DefinitionOperation.jpgOperation Declaration or equal=/icons/ResultOperation.jpgResult operation<--/icons/Product.jpgProduct of integer expressionsPI().(|)j Produit d'expressions entieres | Product of integer expressions PI(i).(i : 1..2 | i+1) = (1+1)*(2+1) = 6/icons/Sigma.jpgSum of integers expressions SIGMA().(|)h Somme d'expressions entieres | Sum of integers expressions SIGMA(i).(i : 1..2 | i+1) = (1+1)+(2+1) = 5/icons/NotEqual.jpg Inequality /= Inegalite | inequality /icons/LessThanOrEqual.jpg Less or equal<=" Inferieur ou egal | less or equal/icons/GreatherThanOrEqual.jpgGreater or equal>=% Superieur ou egal | greater or equal/icons/OpenCurly.jpgBegin sequence or ...[/icons/CloseCurly.jpgEnd sequence or ...]/icons/OpenBraces.jpgBegin set or ...{/icons/CloseBraces.jpgEnd set or ...}/icons/OpenParenthesis.jpgOpen parenthesis or ...(/icons/CloseParenthesis.jpgClose parenthesis or ...)javax/swing/JPaneljava/lang/ClassforName getMessage()Ljava/lang/String;(LBSymbolsView;)V(Ljava/lang/String;Z)VaddActionListener"(Ljava/awt/event/ActionListener;)Vadd*(Ljava/awt/Component;)Ljava/awt/Component; getResource"(Ljava/lang/String;)Ljava/net/URL;(Ljava/net/URL;)V)(LBSymbolsView;Ljavax/swing/ImageIcon;I)Vjavax/swing/JButtonsetToolTipText(II)VsetPreferredSize(Ljava/awt/Dimension;)VaddMouseListener!(Ljava/awt/event/MouseListener;)Vorg/gjt/sp/jedit/jEdit getFirstView()Lorg/gjt/sp/jedit/View;org/gjt/sp/jedit/View getTextArea+()Lorg/gjt/sp/jedit/textarea/JEditTextArea;'org/gjt/sp/jedit/textarea/JEditTextAreasetSelectedTextgetCaretPosition()IsetCaretPosition(I)Vshow requestFocus!34:;<=>?@ABCDEFGH IJK/ * **+*, Y* NY*:Y*:*Y***W6nY22:Y*Y:22 !Y"#-$%*&WLR}t &0>GPVxMNKO'M,(N-+)--*+,,--L OPK*L'HQRK*+ZL'HSTK*L'HUVK*L'HWXK*L'HYZK*ZL'H[\K2*LY+ LH]^KC.Y/Y0SY1SY2SY3SSY/Y4SY5SY6SY7SSY/Y8SY9SY:SY;SSY/YSY?SSY/Y@SYASYBSYCSSY/YDSYESYFSYGSSY/YHSYISYJSYKSSY/YLSYMSYNSYOSSY/YPSYQSYRSYSSSY /YTSYUSYVSYWSSY /YXSYYSYZSY[SSY /Y\SY]SY^SY_SSY /Y`SYaSYbSYcSSY /YdSYeSYfSYgSSY/YhSYiSYjSYkSSY/YlSYmSYnSYoSSY/YpSYqSYrSYsSSY/YtSYuSYvSYwSSY/YxSYySYzSY{SSY/Y|SY}SY~SYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY/YSYSYSYSSY /YSYSYSYSSY!/YSYSYSYSSY"/YSYSYSYSSY#/YSYSYSYSSY$/YSYSYSYSSY%/YSYSYSYSSY&/YSYSYSYSSY'/YSYSYSYSSY(/YSYSYSYSSY)/YSYSYSYSSY*/YSYSYSYSSY+/YSYSYSYSSY,/YSYSYSYSSY-/YSYSYSYSSY./YSYSYSYSSY//YSYSYSYSSY0/YSYSYSYSSY1/YSYSYSYSSY2/YSYSYSYSSY3/YSYSYSYSSY4/YSYSYSYSSY5/YSYSYSYSSY6/YSYSY SYSSY7/Y SY SY SY SSY8/Y SYSYSYSSY9/YSYSYSYSSY:/YSYSYSYSSY;/YSYSYSYSSY</YSYSYSY SSY=/Y!SY"SY#SY"SSY>/Y$SY%SY&SY%SSY?/Y'SY(SY)SY(SSY@/Y*SY+SY,SY+SSYA/Y-SY.SY/SY.SSYB/Y0SY1SY2SY1SSL_`6"35 373839PK -f8 BToolBar.class. OPQR S T 7U 6V 6WX U Y 6Z[ U 6\ ] 6^_ 6`a Obc de f 6g hi jk lm n o p q r st 6u hv l q r s 6s wxy 0z{ wx| 4U_}~viewLorg/gjt/sp/jedit/View;positionLjava/lang/String;bToolBarLjavax/swing/JToolBar; typeCheckerLjavax/swing/JButton;b2HTMLclass$BToolBarLjava/lang/Class; Synthetic,(Lorg/gjt/sp/jedit/View;Ljava/lang/String;)VCodeLineNumberTableactionPerformed(Ljava/awt/event/ActionEvent;)Vclass$%(Ljava/lang/String;)Ljava/lang/Class; SourceFile BToolBar.java L java/lang/ClassNotFoundExceptionjava/lang/NoClassDefFoundError E E 9: ;<java/awt/FlowLayout javax/swing/JToolBar => BCBToolBar KL /icons/B.gif javax/swing/ImageIcon Ejavax/swing/JButton E ?@ b.toolbar.typeCheckertooltip java/awt/Dimension E /icons/B2HTML.gif A@b.toolbar.b2HTMLtooltip B Ejava/io/IOException LanceB2HTMLjavax/swing/JPaneljava/awt/event/ActionListenerjava/lang/ClassforName getMessage()Ljava/lang/String;(Ljava/lang/String;)V()V setAlignment(I)V setLayout(Ljava/awt/LayoutManager;)V setFloatable(Z)V getResource"(Ljava/lang/String;)Ljava/net/URL;(Ljava/net/URL;)V(Ljavax/swing/Icon;)VsetBorderPaintedorg/gjt/sp/jedit/jEdit getProperty&(Ljava/lang/String;)Ljava/lang/String;setToolTipText getIconWidth()I getIconHeight(II)VsetPreferredSize(Ljava/awt/Dimension;)VaddActionListener"(Ljava/awt/event/ActionListener;)Vadd*(Ljava/awt/Component;)Ljava/awt/Component;java/awt/event/ActionEvent getSource()Ljava/lang/Object;(Lorg/gjt/sp/jedit/View;)V!6789:;<=>?@A@BCDEFG-**+*, Y N- *- * Y*Y:Y:*Y***Y `!`"#**$**%WY&:Y:*Y'*'(*')**'Y `!`"+*'*,**'-W**.WHj23 479: =+?3BODZFgGoH{IJMOPQRSTUV#Y,]IJGf2+/*0Y*1MM+3*' 4Y5M 2Ho qrt)u1yKLG2*LY+HBDMNPK -, BType.class.    ()VCodeLineNumberTable SourceFileBol.java BTypeBObject *  PK -G)}JCallFunction.class.)     !" #$% expression LExpression; parametre()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  (& '()  CallFunction SetFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* 5*+2*+2 I!*+,+L*+,+L  I!*+, +L*+, +L  PK -m8((CallOperation.class.: &' () *+ , -. /0 /1 /2 34 3 356results LResults;nameLOperationName; parametersLEffectiveParameters;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java Results  OperationName EffectiveParameters 7 89 !"<--() #"<-- CallOperation Substitutionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*    pH=++2*+2*+2++2*+2   !+ "G $!"E+,L**+, + W*+, *+ L*+, +L* & ' ( ) +& ,- -4 .= /D 1#"E+,L**+,+W*+,*+ L*+,+L* 4 5 6 7 9& :- ;4 <= =D ?$%PK -4 Card.class.&      !" expression LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression Card(# $% ) Card SetFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* ' *+2  <+L*+,+L<+L*+,+LPK -fmmCartesianProduct.class.'        ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java !"  * # $% &! CartesianProductBinarySetExpressionleft LExpression; Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !* >*+,+L*+, >*+,+L* +, PK -+44 Case.class._ 78 %9: %;< %=> 7 ?@ A BCD EFG BHIJK BLM NOPQ NRSTU NVW expression LExpression;cases [LOneCase;elseSubstitutionLSubstitution;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java ,- Expression &' Substitution *+OneCase ()java/lang/StringBuffer XYCASE Z[ 23 OF  \ ]^EITHER  OR ELSE  END  CASE 43 OF
   EITHER 
 OR ELSE
  &nbscp;   END Caseappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; %&'()*+,-.!*/   01.T*+2++d2*++d2+d=+=*d>*d+2S/*  # + . 8 = K S 23.T+Y ,  L*+, +Y  ,  L>C*2+,*d%+Y  ,  L**3+Y  ,  L*+,+Y  ,  L+Y  ,  L/:  ! C H X c  43.T+Y ,  L*+,+Y  ,  L>C*2+,*d%+Y  ,  L**3+Y  , ! L*+,"#+Y  , $ L+Y  , $ L/:  ! C H X c  56PK -8 Choice.class.? #$ %& # '( )* +, -./012 34567 substitutions[LSubstitution;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Substitution java/lang/StringBuffer 89CHOICE :; < =>  OR ENDCHOICE
    
 OR
 ENDChoiceappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !*   L$*+=*+2S+   # +Y,,L*2+, >7+Y , ,L*2+, *+Y ,L"  , 1 R b n  +Y,,L*2+, >7+Y,,L*2+, *+Y,L"  , 1 R b n !"PK - Clause.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java ClauseBObject *     PK - Closure.class.&      !"set LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  closure (# $% ) Closure SetFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* ' *+2  <+L*+,+L    <+L*+,+LPK -bClosure1.class.&      !"set LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  closure1 (# $% ) Closure1 SetFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* ' *+2  <+L*+,+L !"#<+L*+,+L&'()PK -!CompareArithmeticExpression.class.   left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  CompareArithmeticExpressionCompareExpression    *  5*+2*+2  PK -NCompareBooleanExpression.class.   left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  CompareBooleanExpressionCompareExpression    * v 5*+2*+2 { |}PK -a$W!CompareEnumeratedExpression.class.   left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  CompareEnumeratedExpressionCompareExpression    *  5*+2*+2  PK -N8CompareExpression.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java CompareExpression Predicate *    PK -N؟"CompareOrderedPairExpression.class.   left LOrderedPair;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  OrderedPair  CompareOrderedPairExpressionCompareExpression    *  5*+2*+2  PK -3CompareSequenceExpression.class.   left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  CompareSequenceExpressionCompareExpression    * @ 5*+2*+2 E FGPK -; WCompareSetExpression.class.   left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression  CompareSetExpressionCompareExpression    *   5*+2*+2  PK -W&Composition.class.+       ! "#()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java ($ %& '() ; *()  CompositionBinarySetExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;left LExpression; Expressionright !* T(+L*+,+L*+,+L 'T(+L* +, +L* +, +L 'PK -@VComprehensionSet.class.2  ! "# $% &' ()* (+ , ,-. identifiers[LBIdentifier; predicate LPredicate;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier  Predicate {/ 01 , | } ComprehensionSet SetExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !* |}g7=*+d+d=*+2S*++d2 !)6M+L>#*2+,*d + L*+ L*+, + L*  ")5<ELM+L>#*2+, *d + L*+ L*+,+ L*  ")5<ELPK -CCConcatenate.class.'      !"#left LExpression;right()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression ^$ %&  ConcatenateSequenceExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* 5*+2*+2 >*+,+L*+, >*+,+L*+, PK -y/ConcreteConstants.class..   ! "#$% &'()* identifiers[LBIdentifier;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier CONCRETE_CONSTANTS + ,- ,  rCONCRETE_CONSTANTS
,

ConcreteConstantsClausejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*   L$*+=*+2S+   # q=+L>#*2+,*d +L*+L"   " ) 5 < q=+ L>#*2+, *d + L*+ L"   " ) 5 < PK -2NConcreteVariables.class..   ! "#$% &'()* identifiers[LBIdentifier;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier CONCRETE_VARIABLES + ,- ,  kCONCRETE_VARIABLES
,

ConcreteVariablesClausejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*  ~ L$*+=*+2S+   # q=+L>#*2+,*d +L*+L"   " ) 5 < q=+ L>#*2+, *d + L*+ L"   " ) 5 < PK -8:ConsoleTypeChecker.class. -789 :;< => ? @ A BC 7 DE F GHIJ 7 K =L MN O PQR STU V WX Y GZ[ "\]^ %\_` (\a *\bc()VCodeLineNumberTablelance([Ljava/lang/String;)V Exceptions SourceFileConsoleTypeChecker.java ./java/lang/String.d efjava/util/StringTokenizerg hi .j kl mn opjava/util/LinkedListq rs tuv wxTypechecker/Startjava/lang/StringBuffer yz {i |n.xml }n~ Traduction XML : java/io/PrintStreamjava/io/FileOutputStream . . ptatibouet/bparser/TokenMgrError n"tatibouet/bparser/BParserException&tatibouet/bparser/AfterParserExceptionTypechecker/TypeCheckExceptionjava/io/FileNotFoundExceptionjava/io/IOExceptionConsoleTypeCheckerjava/lang/Objectjava/lang/reflect/Array getLength(Ljava/lang/Object;)I java/io/File pathSeparatorLjava/lang/String;'(Ljava/lang/String;Ljava/lang/String;)V countTokens()I nextToken()Ljava/lang/String; hasMoreTokens()ZTypechecker/BCheckerstartTypeCheckingc(Ljava/lang/String;[Ljava/lang/String;Ljava/lang/String;Ljava/util/LinkedList;Z)LTypechecker/Start; listIterator(I)Ljava/util/ListIterator;java/util/ListIteratornext()Ljava/lang/Object;append,(Ljava/lang/String;)Ljava/lang/StringBuffer; separatorgetComponentNametoStringjava/lang/SystemoutLjava/io/PrintStream;println(Ljava/lang/String;)V(Ljava/io/OutputStream;)VtoXML*(Ljava/io/PrintStream;Ljava/lang/String;)VhasNext getMessage!,-./0*1230 ;N-S:6+6K +2:Y+2M,N-, S, : Y :+2- W: d : Y : Y  YY   !FM,#8N-:&%::):+"$%'(-*1" 4 9"G#O$R&Z']$d,h-q.~01345618:;=@ACF*G-I:K4'$56PK -mConstraints.class.4   !"# $% &'() *+,- constraints LPredicate;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Predicate CONSTRAINTS . /0 1 23  dCONSTRAINTS
    
 ConstraintsClausejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !* kl' *+2 o pA+L*+,+ LstuvA+ L*+,  + Lyz{|PK -#  Declaration.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  DeclarationBObject *    PK -}ޝ{{DirectProduct.class.)         !()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  "#$  >< % &' (#  ><  DirectProductBinarySetExpressionleft LExpression; Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !* >*+,+L*+, >*+,+ L* +, PK -1jjDivision.class.'        ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java !" /# $% &! DivisionBinaryArithmeticExpressionleft LExpression; Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !* !">*+,+L*+,% &'(>*+,+L* +,+ ,-.PK -V Domain.class.&      !"relation LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression dom(# $% ) Domain SetFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* 01' *+2 4 5<+L*+,+L789:<+L*+,+L=>?@PK -S~Kd||DomainRestriction.class.)         !()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  "#$  <| % &' (#  <| DomainRestrictionBinarySetExpressionleft LExpression; Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !*   >*+,+L*+, >*+,+ L* +, PK -7 DomainSubstraction.class.)         !()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  "#$  <<| % &' (#  <<| DomainSubstractionBinarySetExpressionleft LExpression; Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !* >*+,+L*+,  !">*+,+ L* +,% &'(PK -Ah  EffectiveParameters.class.$       expressions [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression ,! "# EffectiveParametersAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;    !*  E FL$*+=*+2S+ I J K J# M[/>#*2+,*d +L*ڱ O P Q R" O. T[/>#*2+,*d +L*ڱ W X Y Z" W. \PK -\[[ ElseIf.class.E () *+ ,- ( ./ 01 23 456 478 9:; 9<= predicate LPredicate; substitutionLSubstitution;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Predicate  Substitution java/lang/StringBuffer >?ESLEIF @A B CD #$ THEN ELSEIF
    %$
THEN
ElseIfAuxiliaryClassappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;toString()Ljava/lang/String;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !*  !"5*+2*+2  #$zR+Y,  W*+, +Y, W*+,  & C Q %$zR+Y, W*+, +Y, W*+,  &CQ&'PK -~>EmptySequence.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java <>  EmptySequenceSequenceExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !* kl $+L no $+L rs PK -eEmptySet.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java {} EmptySet SetExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*  $+L  $+L  PK -P-5SSEntityInstance.class.   instanceLjava/lang/String;()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java   EntityInstanceAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* xy  "*+ |} & +*W   & +*W  PK -9L[[EntityLocalization.class.    localizationLjava/lang/String;()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java   EntityLocalizationAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !*   "*+  & +*W   & +*W  PK -EntityName.class."   nameLjava/lang/String;()VCodeLineNumberTable setFields(Ljava/lang/String;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  !   EntityNameAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;    !*  "*+  & +*L   T(+L+*L+L+*L+L 'PK -@=EntityType.class.    bTypeLBType;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java BType    EntityTypeAuxiliaryClass    !*  ' *+2   & *+,   & *+,  PK -\: Equal.class./        ! "#()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java $ %& '( )* +,-  = ., EqualCompareArithmeticExpressionjava/lang/StringBufferlength()IcharAt(I)Cappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;left LExpression; Expressionright !* [/++d +,L*+,+L*+,%.[/++d +,L* +, +L* +, %.PK -ӌĖEqualBoolean.class./        ! "#()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java $ %& '( )* +,-  = .,  EqualBooleanCompareBooleanExpressionjava/lang/StringBufferlength()IcharAt(I)Cappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;left LExpression; Expressionright !* [/++d +,L*+,+L*+,%.[/++d +,L* +, +L* +, %.PK -()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java $ %& '( )* +,-  = ., EqualEnumeratedCompareEnumeratedExpressionjava/lang/StringBufferlength()IcharAt(I)Cappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;left LExpression; Expressionright !* [/++d +,L*+,+L*+,%.[/++d +,L* +, +L* +, %.PK -[#EqualOrderedPair.class./        ! "#()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java $ %& '( )* +,-  = ., EqualOrderedPairCompareOrderedPairExpressionjava/lang/StringBufferlength()IcharAt(I)Cappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;left LOrderedPair; OrderedPairright !* [/++d +,L*+,+L*+,%.[/++d +,L* +, +L* +, %.PK -EzEqualSequence.class./        ! "#()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java $ %& '( )* +,-  = .,  EqualSequenceCompareSequenceExpressionjava/lang/StringBufferlength()IcharAt(I)Cappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;left LExpression; Expressionright !* NO[/++d +,L*+,+L*+,QRST%U.V[/++d +,L* +, +L* +, YZ[\%].^PK -Nv EqualSet.class./        ! "#()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java $ %& '( )* +,-  = ., EqualSetCompareSetExpressionjava/lang/StringBufferlength()IcharAt(I)Cappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;left LExpression; Expressionright !* [/++d +,L*+,+L*+,%.[/++d +,L* +, +L* +, "#$%%&.'PK -EtddEquivalence.class.'        ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java !"  <=> # $% &!  EquivalenceBinaryPredicateleft LPredicate; Predicatejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !* >*+,+L*+, >*+,+L* +, PK -E\" Exists.class.0  !" #$ %& '() '* + +, identifiers[LBIdentifier; predicate LPredicate;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier  Predicate E - ./ ,.() Existsjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !* OPg7=*+d+d=*+2S*++d2ST UV!U)X6YM+L>#*2+,*d + L*+ L*+, + L* [\ ]^"_)\5a<bEcLdM+L>#*2+, *d + L*+ L*+,+ L* gh ij"k)h5m<nEoLpPK -CExpression.class.  ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  ExpressionBObject *    PK - IIExtensionSequence.class.(     ! "#$ expressions [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression <% &' ,> ExtensionSequenceSequenceExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* z{L$*+=*+2S+~ #q=+L>#*2+,*d +L*+L" ")5<q=+L>#*2+, *d +L*+L" ")5<PK -:w??ExtensionSet.class.(     ! "#$ expressions [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression {% &' ,}  ExtensionSet SetExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* L$*+=*+2S+ #q=+L>#*2+,*d +L*+L" ")5<q=+L>#*2+, *d +L*+L" ")5<PK -+)ExternEntities.class.4   !"# $% &'() *+,-entities[LExternEntity;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  ExternEntity ExternEntities : . /0 1 23  ExternEntities :
    
ExternEntitiesAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !* WXL$*+=*+2S+[ \]\#_g7+L>*2+,+ L*+ Lab cd#b/f6gg7+ L>*2+,  + L*+ Ljk lm#k/o6pPK -aExternEntity.class.4 #$ %& '( ) *+ ,- , , . . ./0name LEntityName;instanceLEntityInstance; localizationLEntityLocalization;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  EntityName EntityInstance EntityLocalization 1 23 .  ExternEntityAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !* yzC*+2*+2*+2} ~`0+,L*+, + L*+, + L*+, &/ `0+,L*+, + L*+,+ L*+,&/!"PK -:&ExternOperation.class.4 #$ %& '( ) *+ ,- , , . . ./0name LEntityName;instanceLEntityInstance; localizationLEntityLocalization;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  EntityName EntityInstance EntityLocalization 1 23 . ExternOperationAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !* C*+2*+2*+2 `0+,L*+, + L*+, + L*+, &/ `0+,L*+, + L*+,+ L*+,&/!"PK -85ExternOperations.class.4   !"# $% &'() *+,- operations[LExternOperation;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java ExternOperation ExternOperations : . /0 1 23  ExternOperations :
    
ExternOperationsAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;java/lang/Stringconcat&(Ljava/lang/String;)Ljava/lang/String; !* L$*+=*+2S+ #g7+L>*2+,+ L*+ L #/6g7+ L>*2+,  + L*+ L #/6PK -2@::FinitePowerSet.class.(     ! "#$sets [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression F (% &' ,) FinitePowerSet SetFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* ;<L$*+=*+2S+? @A@#Cq=+L>#*2+,*d +L*+L"EF GH"I)F5K<Lq=+L>#*2+, *d +L*+L"OP QR"S)P5U<VPK -޽Ÿ First.class.&      !" expression LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression First(# $% ) FirstSequenceFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* ' *+2  <+L*+,+L<+L*+,+LPK -d( Fnc.class.&      !"relation LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression Fnc(# $% ) Fnc SetFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* ^_' *+2 b c<+L*+,+Lefgh<+L*+,+LklmnPK -b ForAll.class.2  ! "# $% &' ()* (+ , ,-. identifiers[LBIdentifier; implication LImplication;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier  Implication ! / 01 ,.() ForAll Predicatejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !* &'g7=*+d+d=*+2S*++d2*+ ,-!,)/60M+L>#*2+,*d + L*+ L*+, + L* 23 45"6)358<9E:L;M+L>#*2+, *d + L*+ L*+,+ L* >? @A"B)?5D<EEFLGPK -O  FormalParameters.class.$       identifiers[LBIdentifier;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  BIdentifier ,! "# FormalParametersAuxiliaryClassjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;    !*   L$*+=*+2S+   # [/>#*2+,*d +L*ڱ    " . [/>#*2+,*d +L*ڱ    " . PK -HL Front.class.&      !" expression LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression Front(# $% ) FrontSequenceFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;   !* ' *+2  <+L*+,+L<+L*+,+LPK -g4SSGeneralizedConcatenation.class.(     ! "#$ expressions [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression conc (% &' ,) GeneralizedConcatenationSequenceFunctionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* L$*+=*+2S+ #q=+L>#*2+,*d +L*+L" ")5<q=+L>#*2+, *d +L*+L" ")5<PK - PPGeneralizedIntersection.class.(     ! "#$ expressions [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression inter (% &' ,) GeneralizedIntersection SetExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* IJL$*+=*+2S+M NON#Qq=+L>#*2+,*d +L*+L"TU VW"X)U5Z<[q=+L>#*2+, *d +L*+L"^_ `a"b)_5d<ePK -OjIIGeneralizedUnion.class.(     ! "#$ expressions [LExpression;()VCodeLineNumberTable setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java  Expression union (% &' ,) GeneralizedUnion SetExpressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;  !* &'L$*+=*+2S+* +,+#.q=+L>#*2+,*d +L*+L"12 34"5)257<8q=+L>#*2+, *d +L*+L";< =>"?)<5A<BPK -5\qqGreatherThan.class.'        ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java !"  > # $% &!  GreatherThanCompareArithmeticExpressionleft LExpression; Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !* >*+,+L*+, >*+,+L* +, PK -u>؁yyGreatherThanOrEqual.class.'        ()VCodeLineNumberTable toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java !"  >= # $% &! GreatherThanOrEqualCompareArithmeticExpressionleft LExpression; Expressionjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;right  !* >*+,+L*+, >*+,+L* +, PK -]I?? Header.class.5 ! " #$ % &' ()*+, -./0name LBIdentifier; parameters[LBIdentifier;()VCodeLineNumberTablegetName()Ljava/lang/String; setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java   1 BIdentifier  (2 34,) 
Header DeclarationgetValuejava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; !*  *o;=*+2+(*+d*d+2S+" ! "##1":&T*+,*?+L>#*2+,*d + L*+ L+ L. ( )*+,'-2.9+E0L2S4T*+, *?+L>#*2+, *d + L*+ L+ L. 7 89:;'<2=9:E?LASC PK -'%%HeaderOperation.class.H - ./ 012 3 45 67 48 49: ;<= >? ;@ ;ABresults LResults;nameLOperationName; parametersLFormalParameters;()VCodeLineNumberTable getOperation()LOperationName; setFields ([LBObject;)V toBString-(Ljava/lang/StringBuffer;Ljava/lang/String;)VtoBHTML SourceFileBol.java ! Results  OperationNameFormalParameters  ()<--C DE()= *)<--  HeaderOperation Declarationjava/lang/StringBufferappend,(Ljava/lang/String;)Ljava/lang/StringBuffer;getName()Ljava/lang/String;  !"!*#  ^ _$%"*# c&'"pH=++2*+2*+2++2*+2# f g h+ iG j()"F**+,+ L*+, *+ L*+, + L+ L#* l m n p q' r. s7 t> vE w*)"g**+,+ L+ L+* L+ L*+,+ L*+ L*+,+ L+ L#: z { | ~ * 1 : A H O X _ f +,PK - ## HTMLGUI.class.t Suv Rwx y Rz{ y | R}~ u R R R    y R      # R   R   1y 1 1 1 1 R R  ; =y =  = R  Iu R   =chooseSourceButtonLjavax/swing/JButton;chooseDestinationButtongoButtondestinationDirectoryLjava/io/File;sourceDirectorypageHTMLLjavax/swing/JEditorPane;urlLjava/net/URL; scrollPaneLjavax/swing/JScrollPane;panelLjavax/swing/JPanel; buttonPanelinformationTextLjava/lang/String;()VCodeLineNumberTablehyperlinkUpdate%(Ljavax/swing/event/HyperlinkEvent;)VactionPerformed(Ljava/awt/event/ActionEvent;)VsetJEditorPanePage(Ljava/lang/String;)V SourceFile HTMLGUI.javaB2HTML hqPlease choose the source directory, which is the one where your XML files are, and the destination directory, which is the one where you want the HTML files to be produced. fgjavax/swing/JPanel hi cdjava/awt/BorderLayout edjavax/swing/JButtonChoose source directory VWChoose destination directory XWGo! YW javax/swing/JEditorPane ]^ java/awt/Dimension h qjavax/swing/JScrollPane h abNorth Center   java/io/IOException javax/swing/JFileChooser q \[ Z[ Traitements hjava/lang/StringBufferfile://  g index.html pq/Source and destination directories must be set!Oooops!  java/net/URL _`java/lang/Exception Couldn't create URL :  qAttempted to read a bad URL: HTMLGUIjavax/swing/JFrame#javax/swing/event/HyperlinkListenerjava/awt/event/ActionListener setLayout(Ljava/awt/LayoutManager;)VaddActionListener"(Ljava/awt/event/ActionListener;)Vadd*(Ljava/awt/Component;)Ljava/awt/Component; setEditable(Z)V(II)VsetPreferredSize(Ljava/awt/Dimension;)VaddHyperlinkListener((Ljavax/swing/event/HyperlinkListener;)VsetText(Ljava/awt/Component;)V<(Ljava/lang/String;Ljava/awt/Component;)Ljava/awt/Component;setContentPane(Ljava/awt/Container;)V javax/swing/event/HyperlinkEvent getEventType EventType InnerClasses.()Ljavax/swing/event/HyperlinkEvent$EventType;*javax/swing/event/HyperlinkEvent$EventType ACTIVATED,Ljavax/swing/event/HyperlinkEvent$EventType;getURL()Ljava/net/URL;setPage(Ljava/net/URL;)Vjava/awt/event/ActionEvent getSource()Ljava/lang/Object;setFileSelectionMode(I)VsetDialogTitleshowOpenDialog(Ljava/awt/Component;)IgetSelectedFile()Ljava/io/File;(Ljava/io/File;Ljava/io/File;)Vappend,(Ljava/lang/String;)Ljava/lang/StringBuffer; java/io/FilegetAbsolutePath()Ljava/lang/String; separatortoStringjavax/swing/JOptionPaneshowMessageDialog<(Ljava/awt/Component;Ljava/lang/Object;Ljava/lang/String;I)Vjava/lang/SystemerrLjava/io/PrintStream;java/io/PrintStreamprintln,(Ljava/lang/Object;)Ljava/lang/StringBuffer;!RSTU VWXWYWZ[\[]^_`abcdedfghiju***Y*Y *Y * Y * Y* Y******* *W* *W* *W*Y**Y **!**"*#Y*$%*&* 'W*(*%)W***kbF? JK%N0O=PJQWR_SgToU{VWZ[\]^adegjlmjF++,*+-.M /kp rsunoj(+0*+1Y2M,3, 4,*5>*,67+8*+1Y2M,3,4,*5>k*,69`+:*U*7E*9>;Y*7*9?@*9A@B@C@