Quelle  LICENSE-APACHE   Sprache: Coq

                                 
                           Version 20 January04
                        http://www.apache.org/licenses/

   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION

   1. Definitions.

      "License" shall mean the terms and conditions for use, reproduction,
      and distribution as defined by Sections 1 through 9 of this document.

      "Licensor" shall mean the copyright owner or entity authorized by
      the copyright owner that is granting the License.

      "Legal Entity" shall mean the union of the acting entity and all
      other entities that control, are controlled by, or are under common
      control with that entity. For the purposes of this definition,
      "control" means (i) the power, direct or indirect, to cause the
      direction or management of such entity, whether by contract or
      otherwise, or (ii) ownership of fifty percent (50%) or more of the
      outstanding shares, or (iii) beneficial ownership of such entity.

      "You" (or "Your") shall mean an individual or                        :   TERMSAND FOR,REPRODUCTION, AND DISTRIBUTION
      exercising permissions granted by this License.

      "Source" form shall mean
   limited  software source code, documentation
      source, and configurationwhether by  or

      a  resulting romm
      transformation      YouorYour)shallmean ani  Legal java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 64
      ited tocompiled java.lang.StringIndexOutOfBoundsException: Range [66, 52) out of bounds for length 67
      and conversions to other media types.

      "" shall mean the work   whetherS 
      Object form, made available under   a
      copyright notice that is included in or attached to the work
      (an example is provided in the Appendix below).

      "Derivative Works" shall       transformation ortranslationof a Source, not limited to compiled object code, generated documentation conversions to other mediatypesjava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
      Objectform made  under,asb
java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 76
esentajava.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 77
  ,  notinclude orksthatremain
      separable from, or merely link (or bind by name) to the interfaces of,
            form, hat is based on(rderived from) heWork and which 

      "Contribution" shall mean any work of authorship, including
      the original ersion ofthe Workand anymodifications or additions
      to that Work or      t License  orks   include thatremain
      submitted to Licensor for inclusion      separablefrom rmerely ( bind byname to heo,
      or by       the and Derivative Works thereof.
 copyright owner. For the purposes of this definition, "submitted"
     eans anyform of ,,o written sent
      to that  rDerivative  thereof that is 
          ,
       byanjava.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 75
      Licensor for the purposeofdiscussingandimproving  ,but
      excluding communication that is conspicuously marked or otherwise
      designated in writing by the copyright owner as "Not a Contribution."

      "Contributor" shall mean Licensor and any individual or Legal Entity
      on behalf of whom a Contribution has been received by Licensor and
      subsequently incorporated within the Work.

   2. Grant of Copyright License. Subject to the terms and conditions of
      this License, each Contributor hereby grants to You a perpetual,
      worldwide, non-exclusive, no-charge,       means any form of electronic, verbal, or written communicationsent
      copyright license to reproduce, prepare Derivative Works of      to the Licensor or its representatives, including but not limitedstems,
      publicly       and issue tracking are    f,the
      Work and such       Licensor for the purpose of discussing ndimproving the Work,but

   3. Grant of Patent License. Subject to the terms and conditions of
      this License, each Contributor hereby grants to You a perpetual,
,non-exclusive,java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 74
except as tatedin hissection) patent license to make, have made,
      use, offer to sell, sell, import, and otherwise transfer the Work,
      where such license applies only to those patent claims       on ehalf of whoma Contribution has been received by Licensor and
      by such Contributor that      ubsequently incorporated within theWork
Contribution()alone or by  of heirContribution()
      with the Work to which such Contribution(s)       this License, each Contributor hereby grants to  perpetualjava.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
patent anye including java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
 counterclaim   lawsuit  that the 
      or      Workandsuch orksinor formjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
      or  patent infringement  any patent licenses
       ,  ereby to aperpetualjava.lang.StringIndexOutOfBoundsException: Range [70, 71) out of bounds for length 70
 of  isfiledjava.lang.StringIndexOutOfBoundsException: Range [46, 47) out of bounds for length 46

   4. Redistribution. You may       use, offer to sell, sell, import, and otherwise transfer the Work,
      Work or Derivative Works thereof in any medium, with or java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 65
       Contribution()aloneo combinationof Contribution(s)
      meet the following conditions:

      (a) You must give any other recipients of       ith theWorktowhich such ()was submitted.If You
 Worksacopy this icense and

      (       orcounterclaim ina awsuit)alleging  the ork
          statingjava.lang.StringIndexOutOfBoundsException: Range [11, 9) out of bounds for length 71

java.lang.StringIndexOutOfBoundsException: Range [13, 7) out of bounds for length 69
           datesuch isfiled
4Redistribution.Youand copiesoftjava.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68
 do to  of
          the Derivativejava.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36

      (d) If the Work includes a "NOTICE" text file as part of its
          distribution, then any Derivative Works that You distribute must
          include a readable copy of          DerivativeWorks acopy  thisLicense;and
          within such NOTICE file, excluding those notices that do notcjava.lang.StringIndexOutOfBoundsException: Range [63, 62) out of bounds for length 70
p   of Derivative Works, in at least one
          of thefollowingplaces:within text  
                    that distribute copyright, 
java.lang.StringIndexOutOfBoundsException: Range [25, 23) out of bounds for length 73
w bytheWorks 
          java.lang.StringIndexOutOfBoundsException: Range [13, 10) out of bounds for length 35
java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68
java.lang.StringIndexOutOfBoundsException: Range [27, 25) out of bounds for length 69
 Y,java.lang.StringIndexOutOfBoundsException: Index 72 out of bounds for length 72
o  an   N java.lang.StringIndexOutOfBoundsException: Range [60, 57) out of bounds for length 70
   attributionnoticescannotjava.lang.StringIndexOutOfBoundsException: Range [70, 62) out of bounds for length 70
mL

java.lang.StringIndexOutOfBoundsException: Range [26, 19) out of bounds for length 68
 oljava.lang.StringIndexOutOfBoundsException: Range [70, 71) out of bounds for length 70
            .   ttribution
  
           such  cc
t java.lang.StringIndexOutOfBoundsException: Range [35, 32) out of bounds for length 44

r   java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
r,   java.lang.StringIndexOutOfBoundsException: Range [59, 58) out of bounds for length 72
      by Submission Contributions  explicitly state otherwise,
      this License, without      nyi  java.lang.StringIndexOutOfBoundsException: Index 72 out of bounds for length 72
 h or
      thejava.lang.StringIndexOutOfBoundsException: Range [25, 6) out of bounds for length 73
      with Licensorjava.lang.StringIndexOutOfBoundsException: Range [10, 6) out of bounds for length 49

   6. Trademarks. This License does not       names trademarks,servicem,  productnames of the Licensor,
      names, trademarks, service marks,      xcept as required for reasonable and customary use      rigin the java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 72
      r a use  the
      origin of the Work and reproducing the content of the NOTICE file.

   7. Disclaimer of Warranty. Unless required by applicable law or
      agreed to in writing,java.lang.StringIndexOutOfBoundsException: Range [30, 28) out of bounds for length 66
  onan" BASIS,
      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
            mplied including, without limitation, any warranties or conditions
      of   , NON-INFRINGEMENT, MERCHANTABILITY   java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
P . are java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 72
  redistributingt  and assume any
      risks associated with Your exercise of       risks associated with Your exercise of permissionsthis.

   8. Limitation of Liability. In no event java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 intortincluding),contract  otherwisejava.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
 applicablelaw(   grossly
      unless required java.lang.StringIndexOutOfBoundsException: Range [36, 35) out of bounds for length 71
java.lang.StringIndexOutOfBoundsException: Range [15, 12) out of bounds for length 73
  consequentialof carising sa
      result of this License      toYou fordamages   ,indirect ,
      Work includingb  limitedtodamages loss of goodwill,
      work stoppage, computer failure or malfunction, or any and all
      other commercial damages or losses), even if such Contributor
      has been advised of the possibility of such damages.

   9. Accepting Warranty or Additional Liability. While redistributing
      the Work or Derivative Works thereof, You may choose to offer,
      and charge a fee for, acceptance of support, warranty, indemnity,
      or other liability obligations and/or rights consistent with this
      License. However, in accepting such obligations, You may act only
      on Your own behalf and on Your sole responsibility,      result of this License or out of the use or inability to use the
      of any other Contributor, and only if      Work(including  ot limited to forloss ,
,a holdeach  harmlessfora liability
      cjava.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 67
    arrantyor liability.

   END

   APPENDIX: apply    work.

      To apply the Apache License to your work, attach the following
      oilerplate ,withthefields enclosed by  ["
      replaced with your own        iabilityobligationsjava.lang.StringIndexOutOfBoundsException: Range [71, 41) out of bounds for length 71
       other    You  java.lang.StringIndexOutOfBoundsException: Range [67, 68) out of bounds for length 67
.W  java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 66
       r a java.lang.StringIndexOutOfBoundsException: Range [43, 40) out of bounds for length 70
java.lang.StringIndexOutOfBoundsException: Range [10, 6) out of bounds for length 60
     archivesjava.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49



   Licensed under the Apache License,
you   file java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 67
   You may obtain a copy of the License at

       http://www.apache.org/licenses/LICENSE-2.0

   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.