Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 1047


Synopsis:        [PVS-Help] pvs 4.2 error: no methods applicable for generic function
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Wed Jun 10 11:35:00 -0700 2009
Originator:      =?ISO-8859-1?Q?Andr=E9ia_Avelar?=
Release:         PVS 4.2
Organization:    gmail.com
Environment: 
 System:          
 Architecture: 

Description: 
  --0016e644c50627ffc6046bfd7bfe
  Content-Type: multipart/alternative; boundary=0016e644c50627ffb8046bfd7bfc
  
  --0016e644c50627ffb8046bfd7bfc
  Content-Type: text/plain; charset=ISO-8859-1
  Content-Transfer-Encoding: quoted-printable
  
  Hi Sam,
  
  I followed your recommendation and that's what I've got...
  I'm sending my specs.
  
  Thanks,
  Andr=E9ia.
  *
  Error: No methods applicable for generic function
         #<standard-generic-function substit*> with args
         (<#store-print-type below[length(stp)]>
          ((S: (nonempty?[below[length(stp)]])
            . S: (nonempty?[below[length(args(x!2))]]))
           (stp:
              {args: finite_sequence[term[variable, symbol, arity]] |
                       args`length =3D arity(fp)}
            . args(x!2))
           (fp: symbol . f(x!2))))
         of classes (store-print-type cons)
    [condition type: program-error]
  
  Restart actions (select using :continue):
   0: Try calling it again
   1: Return to Top Level (an "abort" restart).
   2: Abort entirely from this (lisp) process.
  [1c] pvs(28): :bt
  Evaluation stack:
  
  (method no-applicable-method (t)) <-
    (flet #:ensure-generic-function-using-class--null
      excl::initial-cheap-select-function) <-
    (method substit* (type-name t)) <- (method substit* :around ...) <-
    (:internal (:effective-method 2 nil ...) 0) <- make-new-bindings* <-
    make-new-bindings-internal <- (method substit* (binding-expr t)) <-
    (method substit* :around ...) <-
    (:internal (:effective-method 2 nil ...) 0) <-
    (method substit* (subtype t)) <- (method substit* :around ...) <-
    (:internal (:effective-method 2 nil ...) 0) <- substit*-list <-
    substit*-list <- (method substit* (list t)) <-
    (method substit* (funtype t)) <- (method substit* :around ...) <-
    (:internal (:effective-method 2 nil ...) 0) <-
    (method substit* (resolution t)) <- substit*-list <-
    (method substit* (list t)) <- (method substit* (name-expr t)) <-
    (method substit* :around ...) <-
    (:internal (:effective-method 2 nil ...) 0) <-
    (method substit* (application t)) <- (method substit* :around ...) <-
    (:internal (:effective-method 2 nil ...) 0) <-
    (method substit* (application t)) <- (method substit* :around ...)
    (:internal (:effective-method 2 nil ...) 0) <-  ...
  
  
  (to see any ghost frames, the disassembler must be loaded)
  
  (to start saving call arguments, use the `:args' toplevel command)
  [1c] pvs(29)*
  
  
  On Tue, Jun 9, 2009 at 5:16 PM, Sam Owre <owre@csl.sri.com> wrote:
  
  > Hi Andr=E9ia,
  >
  > The "no methods applicable" message is not very specific - it simply mean=
  s
  > that some function, somewhere, tried to invoke a generic function on
  > arguments for which no method is applicable.  So your bug may or may not
  > be related to Jim's.  As it is intermittent, I suggest the next time you
  > see this type a "b" if you get the
  >
  >  "SPC-scroll, I-ignore, K-keep, A-abort sends and keep or B-break: "
  >
  > message, then go to the "*pvs*" buffer, and type ':bt' (for Allegro) or
  > 'bac' (for CMULisp) and send me the resulting backtrace, ideally along
  > with your specs so that I can try and chase this down.
  >
  > Thanks,
  > Sam
  >
  >
  > Andr=E9ia Avelar <avelarab@gmail.com> wrote:
  >
  > > Date: Tue, 9 Jun 2009 16:39:01 -0300
  > > From: Andr=E9ia Avelar <avelarab@gmail.com>
  > > To: pvs-help@csl.sri.com
  > > X-SRI-Archive: pvs-help
  > > Subject: [PVS-Help] pvs 4.2 error: no methods applicable for generic
  > function
  > > Sender: pvs-help-bounces+owre=3Dcsl.sri.com@csl.sri.com
  > >
  > > Hi,
  > >
  > > I was looking around in the pvs site (bugs list, suggestions list...) t=
  o
  > find out a solution for my problem.
  > > I didn't find. But I found this conversation below and I see that Jim w=
  as
  > with the same problem as me.
  > >
  > >
  > > The problem (A) - error: no methods applicable for generic function
  > >
  > > With me, this occur with the pvs 4.2, when I am tcp my specs, or when I
  > am doing a proof, after any command.
  > > Sometimes I stay a week, maybe two, without annoying me with this
  > problem, but suddenly it appears again.
  > >
  > >
  > > When it occurs the pvs just crashes and the only way that I found to
  > continue working is close the pvs (in fact, kill the pvs)
  > > go to the context where I was working, delete .pvscontext and /pvsbin,
  > and then start again.
  > >
  > >
  > >
  > > Did you find how to fix Jim's problem?
  > > Did you have an idea how to fix my problem?
  > >
  > > Thanks in advance,
  > > Andr=E9ia.
  > >
  > >
  > > ***********************************************************************=
  *
  > >
  > >
  > > Hi Jim,
  > >
  > > This is a bug in PVS - could you please send me your specs, so that we
  > > can get this fixed?
  > >
  > > Thanks,
  > > Sam Owre
  > >
  > > jim armstrong <armstrong.jm@xxxxxxxxx> wrote:
  > >
  > >
  > >
  > > > Hi,
  > > >
  > > > Can anyone there tell me what the following errors are:
  > > >
  > > > A)      error: no methods applicable for generic function
  > > >
  > > >
  > > > B)        break: repeated bindings in make-subtype-tcc-decl
  > >
  >
  
  --0016e644c50627ffb8046bfd7bfc
  Content-Type: text/html; charset=ISO-8859-1
  Content-Transfer-Encoding: quoted-printable
  
  Hi Sam,<br><br>I followed your recommendation and that&#39;s what I&#39;ve =
  got...<br>I&#39;m sending my specs.<br><br>Thanks,<br>Andr=E9ia.<br><b styl=
  e=3D"color: rgb(0, 0, 153);"><font style=3D"font-family: verdana,sans-serif=
  ;" size=3D"2"><br>
  Error: No methods applicable for generic function<br>=A0=A0=A0=A0=A0=A0 #&l=
  t;standard-generic-function substit*&gt; with args<br>=A0=A0=A0=A0=A0=A0 (&=
  lt;#store-print-type below[length(stp)]&gt;<br>=A0=A0=A0=A0=A0=A0=A0 ((S: (=
  nonempty?[below[length(stp)]])<br>
  =A0=A0=A0=A0=A0=A0=A0=A0=A0 . S: (nonempty?[below[length(args(x!2))]]))<br>=
  =A0=A0=A0=A0=A0=A0=A0=A0 (stp:<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 {args: =
  finite_sequence[term[variable, symbol, arity]] |<br>=A0=A0=A0=A0=A0=A0=A0=
  =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 args`length =3D arity(fp)}<br>=A0=
  =A0=A0=A0=A0=A0=A0=A0=A0 . args(x!2))<br>
  =A0=A0=A0=A0=A0=A0=A0=A0 (fp: symbol . f(x!2))))<br>=A0=A0=A0=A0=A0=A0 of c=
  lasses (store-print-type cons)<br>=A0 [condition type: program-error]<br><b=
  r>Restart actions (select using :continue):<br>=A00: Try calling it again<b=
  r>=A01: Return to Top Level (an &quot;abort&quot; restart).<br>
  =A02: Abort entirely from this (lisp) process.<br>[1c] pvs(28): :bt<br>Eval=
  uation stack:<br><br>(method no-applicable-method (t)) &lt;-<br>=A0 (flet #=
  :ensure-generic-function-using-class--null<br>=A0=A0=A0 excl::initial-cheap=
  -select-function) &lt;-<br>
  =A0 (method substit* (type-name t)) &lt;- (method substit* :around ...) &lt=
  ;-<br>=A0 (:internal (:effective-method 2 nil ...) 0) &lt;- make-new-bindin=
  gs* &lt;-<br>=A0 make-new-bindings-internal &lt;- (method substit* (binding=
  -expr t)) &lt;-<br>
  =A0 (method substit* :around ...) &lt;-<br>=A0 (:internal (:effective-metho=
  d 2 nil ...) 0) &lt;-<br>=A0 (method substit* (subtype t)) &lt;- (method su=
  bstit* :around ...) &lt;-<br>=A0 (:internal (:effective-method 2 nil ...) 0=
  ) &lt;- substit*-list &lt;-<br>
  =A0 substit*-list &lt;- (method substit* (list t)) &lt;-<br>=A0 (method sub=
  stit* (funtype t)) &lt;- (method substit* :around ...) &lt;-<br>=A0 (:inter=
  nal (:effective-method 2 nil ...) 0) &lt;-<br>=A0 (method substit* (resolut=
  ion t)) &lt;- substit*-list &lt;-<br>
  =A0 (method substit* (list t)) &lt;- (method substit* (name-expr t)) &lt;-<=
  br>=A0 (method substit* :around ...) &lt;-<br>=A0 (:internal (:effective-me=
  thod 2 nil ...) 0) &lt;-<br>=A0 (method substit* (application t)) &lt;- (me=
  thod substit* :around ...) &lt;-<br>
  =A0 (:internal (:effective-method 2 nil ...) 0) &lt;-<br>=A0 (method substi=
  t* (application t)) &lt;- (method substit* :around ...)<br>=A0 (:internal (=
  :effective-method 2 nil ...) 0) &lt;-=A0 ...<br><br><br>(to see any ghost f=
  rames, the disassembler must be loaded)<br>
  <br>(to start saving call arguments, use the `:args&#39; toplevel command)<=
  br>[1c] pvs(29)</font></b><br><br><br><div class=3D"gmail_quote">On Tue, Ju=
  n 9, 2009 at 5:16 PM, Sam Owre <span dir=3D"ltr">&lt;<a href=3D"mailto:owre=
  @csl.sri.com">owre@csl.sri.com</a>&gt;</span> wrote:<br>
  <blockquote class=3D"gmail_quote" style=3D"border-left: 1px solid rgb(204, =
  204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi Andr=E9ia,<br>
  <br>
  The &quot;no methods applicable&quot; message is not very specific - it sim=
  ply means<br>
  that some function, somewhere, tried to invoke a generic function on<br>
  arguments for which no method is applicable. =A0So your bug may or may not<=
  br>
  be related to Jim&#39;s. =A0As it is intermittent, I suggest the next time =
  you<br>
  see this type a &quot;b&quot; if you get the<br>
  <br>
   =A0&quot;SPC-scroll, I-ignore, K-keep, A-abort sends and keep or B-break: =
  &quot;<br>
  <br>
  message, then go to the &quot;*pvs*&quot; buffer, and type &#39;:bt&#39; (f=
  or Allegro) or<br>
  &#39;bac&#39; (for CMULisp) and send me the resulting backtrace, ideally al=
  ong<br>
  with your specs so that I can try and chase this down.<br>
  <br>
  Thanks,<br>
  Sam<br>
  <br>
  <br>
  Andr=E9ia Avelar &lt;<a href=3D"mailto:avelarab@gmail.com">avelarab@gmail.c=
  om</a>&gt; wrote:<br>
  <br>
  &gt; Date: Tue, 9 Jun 2009 16:39:01 -0300<br>
  &gt; From: Andr=E9ia Avelar &lt;<a href=3D"mailto:avelarab@gmail.com">avela=
  rab@gmail.com</a>&gt;<br>
  &gt; To: <a href=3D"mailto:pvs-help@csl.sri.com">pvs-help@csl.sri.com</a><b=
  r>
  &gt; X-SRI-Archive: pvs-help<br>
  &gt; Subject: [PVS-Help] pvs 4.2 error: no methods applicable for generic f=
  unction<br>
  &gt; Sender: pvs-help-bounces+owre=3D<a href=3D"http://csl.sri.com" target=
  =3D"_blank">csl.sri.com</a>@<a href=3D"http://csl.sri.com" target=3D"_blank=
  ">csl.sri.com</a><br>
  <div><div></div><div class=3D"h5">&gt;<br>
  &gt; Hi,<br>
  &gt;<br>
  &gt; I was looking around in the pvs site (bugs list, suggestions list...) =
  to find out a solution for my problem.<br>
  &gt; I didn&#39;t find. But I found this conversation below and I see that =
  Jim was with the same problem as me.<br>
  &gt;<br>
  &gt;<br>
  &gt; The problem (A) - error: no methods applicable for generic function<br=
  >
  &gt;<br>
  &gt; With me, this occur with the pvs 4.2, when I am tcp my specs, or when =
  I am doing a proof, after any command.<br>
  &gt; Sometimes I stay a week, maybe two, without annoying me with this prob=
  lem, but suddenly it appears again.<br>
  &gt;<br>
  &gt;<br>
  &gt; When it occurs the pvs just crashes and the only way that I found to c=
  ontinue working is close the pvs (in fact, kill the pvs)<br>
  &gt; go to the context where I was working, delete .pvscontext and /pvsbin,=
   and then start again.<br>
  &gt;<br>
  &gt;<br>
  &gt;<br>
  &gt; Did you find how to fix Jim&#39;s problem?<br>
  &gt; Did you have an idea how to fix my problem?<br>
  &gt;<br>
  &gt; Thanks in advance,<br>
  &gt; Andr=E9ia.<br>
  &gt;<br>
  &gt;<br>
  &gt; **********************************************************************=
  **<br>
  &gt;<br>
  &gt;<br>
  &gt; Hi Jim,<br>
  &gt;<br>
  &gt; This is a bug in PVS - could you please send me your specs, so that we=
  <br>
  &gt; can get this fixed?<br>
  &gt;<br>
  &gt; Thanks,<br>
  &gt; Sam Owre<br>
  &gt;<br>
  &gt; jim armstrong &lt;<a href=3D"http://armstrong.jm" target=3D"_blank">ar=
  mstrong.jm</a>@xxxxxxxxx&gt; wrote:<br>
  &gt;<br>
  &gt;<br>
  &gt;<br>
  &gt; &gt; Hi,<br>
  &gt; &gt;<br>
  &gt; &gt; Can anyone there tell me what the following errors are:<br>
  &gt; &gt;<br>
  &gt; &gt; A) =A0 =A0 =A0error: no methods applicable for generic function<b=
  r>
  &gt; &gt;<br>
  &gt; &gt;<br>
  &gt; &gt; B) =A0 =A0 =A0 =A0break: repeated bindings in make-subtype-tcc-de=
  cl<br>
  &gt;<br>
  </div></div></blockquote></div><br>
  
  --0016e644c50627ffb8046bfd7bfc--
  
  --0016e644c50627ffc6046bfd7bfe
  Content-Type: application/octet-stream; name="unification.pvs"
  Content-Disposition: attachment; filename="unification.pvs"
  Content-Transfer-Encoding: base64
  X-Attachment-Id: f_fvs036i10
  
  JSUtLS0tLS0tLS0tLS0tLS0tLS0tKiogVGVybSBSZXdyaXRpbmcgU3lzdGVtIChUUlMpICoqLS0t
  LS0tLS0tLS0tLS0tLS0tLS0tLS0tCiUlICAgICAgICAgICAgICAgICAgIFVOSUZJQ0FUSU9OICAg
  VU5JRklDQVRJT04gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKJSUgQXV0aG9ycyAg
  ICAgICAgIDogQW5kcsOpaWEgQm9yZ2VzIEF2ZWxhciBhbmQgTWF1cmljaW8gQXlhbGEgUmluY29u
  ICAKJSUgICAgICAgICAgICAgICAgICAgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYSAtIEJyYXNp
  bCAgICAgICAgIAolJSBMYXN0IE1vZGlmaWVkIE9uOiBNYXJjaCAyNSwgMjAwOSAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgCiUlICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKJSUtLS0tLS0t
  LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
  LS0tLS0tLS0tLS0tCgp1bmlmaWNhdGlvblt2YXJpYWJsZTogVFlQRSssIHN5bWJvbDogVFlQRSss
  IGFyaXR5OiBbc3ltYm9sIC0+IG5hdF1dOiBUSEVPUlkKQkVHSU4KCiAgIEFTU1VNSU5HCgogICAg
  IElNUE9SVElORyB2YXJpYWJsZXNfdGVybVt2YXJpYWJsZSxzeW1ib2wsYXJpdHldLAogICAgICAg
  ICAgICAgICBzZXRzX2F1eEBjb3VudGFiaWxpdHlbdGVybV0sCiAgICAgICAgICAgICAgIHNldHNf
  YXV4QGNvdW50YWJsZV9wcm9wc1t0ZXJtXQoKICAgICB2YXJfY291bnRhYmxlOiBBU1NVTVBUSU9O
  IGlzX2NvdW50YWJseV9pbmZpbml0ZShWKQoKICAgRU5EQVNTVU1JTkcKCiAgIElNUE9SVElORyBz
  dWJzdGl0dXRpb25bdmFyaWFibGUsIHN5bWJvbCwgYXJpdHldIAoKICAgICAgICAgICAgICAgICBW
  czogVkFSIHNldFsoVildCiAgICAgICAgICAgICBWMSwgVjI6IFZBUiBmaW5pdGVfc2V0WyhWKV0K
  ICAgICAgICAgICAgICAgICBWMzogVkFSIGZpbml0ZV9zZXRbdGVybV0KICAgICAgICAgICAgeCwg
  eSwgejogVkFSIChWKQogICAgc2lnLCByaG8sIHRoZXRhOiBWQVIgU3ViIAogICAgICAgICAgICBz
  dCwgc3RwOiBWQVIgZmluc2VxW3Rlcm1dCiAgICByLCBzLCB0LCB0MSwgdDI6IFZBUiB0ZXJtCiAg
  ICAgICAgICAgICAgICAgIG46IFZBUiBuYXQKICAgICAgIHAsIHEsIHAxLCBwMjogVkFSIHBvc2l0
  aW9uCiAgICAgICAgICAgICAgICAgIFI6IFZBUiBwcmVkW1t0ZXJtLCB0ZXJtXV0KCgolJSUlIERl
  ZmluaW5nIGEgbW9zdCBnZW5lcmFsIHVuaWZpZXIgIm1ndSIgJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlCgogbWd1KHNpZykocyx0KTogYm9vbCA9IG1lbWJlcihzaWcsIFUocyx0
  KSkgJiAKICAgICAgICAgICAgICAgICAgICAgICAgICBGT1JBTEwgKHRhdSA6IFN1YiB8IG1lbWJl
  cih0YXUsIFUocyx0KSkpIDogc2lnIDw9IHRhdQoKCiUlJSUgSW5pdGlhbCBhdXhpbGlhcnkgbGVt
  bWFzICUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCiBw
  b3NpdGlvbnNfb2ZfYXJnIDogTEVNTUEKICAgICAgRk9SQUxMICggKHMgOiB0ZXJtIHwgYXBwPyhz
  KSApLCBrIDogYmVsb3dbbGVuZ3RoKGFyZ3MocykpXSApIDoKICAgICAgcG9zaXRpb25zT0Yocyko
  ICNbcG9zbmF0XSggaysxICkgKQoKIHVuaV9kaWZmX2VxdWFsX2xlbmd0aF9hcmc6IExFTU1BCiAg
  ICAgIEZPUkFMTCAoczogdGVybSwgKHQ6IHRlcm0gfCB1bmlmaWFibGUocywgdCkgJiBzIC89IHQp
  LCBmOiBzeW1ib2wsCiAgICAgIAkgICAgICBzdDoge2FyZ3M6IGZpbml0ZV9zZXF1ZW5jZVt0ZXJt
  XSB8IGFyZ3NgbGVuZ3RoID0gYXJpdHkoZil9KToKCSAgICAgIE5PVCBzdGBsZW5ndGggPSAwIEFO
  RCBzID0gYXBwKGYsIHN0KSBJTVBMSUVTCgkgICAgICAoRk9SQUxMIChmcDogc3ltYm9sLCBzdHA6
  IHthcmdzOiBmaW5pdGVfc2VxdWVuY2VbdGVybV0gfAogICAgICAgICAgICAgICBhcmdzYGxlbmd0
  aCA9IGFyaXR5KGZwKX0pOiB0ID0gYXBwKGZwLCBzdHApIElNUExJRVMKCSAgICAgICAoZiA9IGZw
  ICYgc3RgbGVuZ3RoID0gc3RwYGxlbmd0aCkpCgoKJSUlJSBBdXhpbGlhcnkgbGVtbWFzIGFib3V0
  IHN1YnRlcm1zICUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQoKIHN1
  YnRfb2Zfc3VidF9pc19zdWJ0X29mX3Rlcm0gOiBMRU1NQQogICAgRk9SQUxMIChzIDogdGVybSwK
  ICAgICAgICAgICAoayA6IHBvc25hdCAgIHwgcG9zaXRpb25zT0YocykoICMoaykpKSwKICAgICAg
  ICAgICAocCA6IHBvc2l0aW9uIHwgcG9zaXRpb25zT0Yoc3VidGVybU9GKHMsICMoaykpKShwKSks
  CiAgICAgICAgICAgKHggOiBwb3NpdGlvbiB8IHBvc2l0aW9uc09GKHMpKHgpKSk6CiAgICAgICB4
  ID0gYWRkX2ZpcnN0KGssIHApIElNUExJRVMgCiAgICAgICAgICAgICAgICAgICBzdWJ0ZXJtT0Yo
  cywgeCkgPSBzdWJ0ZXJtT0YoIHN1YnRlcm1PRihzLCAjKGspKSwgcCkKCiBzdWJ0ZXJtX3RvX3N1
  YnRlcm1PRiA6IExFTU1BCiAgICBGT1JBTEwgKHMgOiB0ZXJtLCB0IDogdGVybSk6CiAgICAgIHN1
  YnRlcm0ocywgdCkgSU1QTElFUwogICAgICAoRVhJU1RTICggcCA6IHBvc2l0aW9uIHwgcG9zaXRp
  b25zT0YodCkocCkgKSA6IHN1YnRlcm1PRih0LCBwKSA9IHMpCgogc3VidGVybU9GX3RvX3N1YnRl
  cm0gOiBMRU1NQQogICAgRk9SQUxMIChzIDogdGVybSwgdDogdGVybSwgKHAgOiBwb3NpdGlvbiB8
  IHBvc2l0aW9uc09GKHQpKHApKSk6CiAgICAgIHN1YnRlcm1PRih0LCBwKSA9IHMgSU1QTElFUyBz
  dWJ0ZXJtKHMsIHQpCgogc3VidGVybV90b19zdWJ0ZXJtIDogTEVNTUEgCiAgICBGT1JBTEwgKHMg
  OiB0ZXJtLCB0IDogdGVybSwgciA6IHRlcm0pOgogICAgICAoIHN1YnRlcm0ocywgcikgQU5EIHN1
  YnRlcm0ociwgdCkgKSBJTVBMSUVTIHN1YnRlcm0ocywgdCkKCgolJSUlIFBvc2l0aW9uIG9mIHRo
  ZSBmaXJzdCBkaWZmZXJlbmNlIGJldHdlZW4gJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlCiUlJSUlJSUgdHdvIHVuaWZpYWJsZSBhbmQgZGlmZmVyZW50IHRlcm1zICUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCiByZXNvbHZpbmdfZGlmZihzIDogdGVybSwgKHQg
  OiB0ZXJtIHwgdW5pZmlhYmxlKHMsdCkgJiBzIC89IHQgKSApOgogICBSRUNVUlNJVkUgcG9zaXRp
  b24gPQogICAgKENBU0VTIHMgT0YKICAgICAgIHZhcnMocykgOiBlbXB0eV9zZXEsCiAgICAgICBh
  cHAoZiwgc3QpIDoKICAgICAgIElGIGxlbmd0aChzdCkgPSAwIFRIRU4gZW1wdHlfc2VxCiAgICAg
  ICBFTFNFIAogICAgICAgIChDQVNFUyB0IE9GCiAgICAgICAgICAgdmFycyh0KSA6IGVtcHR5X3Nl
  cSwKICAgICAgICAgICBhcHAoZnAsIHN0cCkgOgogICAgICAgICAgIExFVCBrIDogYmVsb3dbbGVu
  Z3RoKHN0cCldID0gCiAgICAgICAgICAgICBtaW4oe2trIDogYmVsb3dbbGVuZ3RoKHN0cCldIHwK
  ICAgICAgICAgICAgICAgICAgICAgICAgIHN1YnRlcm1PRihzLCMoa2srMSkpIC89IHN1YnRlcm1P
  Rih0LCMoa2srMSkpfSkgSU4KICAgICAgICAgICAgICAgYWRkX2ZpcnN0KGsrMSwKICAgICAgICAg
  ICAgICAgICAgICAgIHJlc29sdmluZ19kaWZmKHN1YnRlcm1PRihzLCMoaysxKSksc3VidGVybU9G
  KHQsIyhrKzEpKSkpCiAgICAgICAgIEVORENBU0VTKQogICAgICAgRU5ESUYKICAgICBFTkRDQVNF
  UykKIE1FQVNVUkUgcyBCWSA8PCAKCgolJSUlIExlbW1hcyBhYm91dCByZXNvbHZpbmdfZGlmZiAl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlCgogcmVzb2xfZGlm
  Zl9ub25lbXB0eV9pbXBsaWVzX2Z1bmN0X3Rlcm1zOiBMRU1NQQogICAgRk9SQUxMIChzOiB0ZXJt
  LCAodDogdGVybSB8IHVuaWZpYWJsZShzLCB0KSAmIHMgLz0gdCkpOgogICAgICAgICAgIHJlc29s
  dmluZ19kaWZmKHMsdCkgLz0gZW1wdHlfc2VxIElNUExJRVMKICAgICAgICAgICAoYXBwPyhzKSBB
  TkQgYXBwPyh0KSkKCiByZXNvbF9kaWZmX3RvX3Jlc3RfcmVzb2xfZGlmZiA6IExFTU1BCiAgICBG
  T1JBTEwgKHM6IHRlcm0sICh0OiB0ZXJtIHwgdW5pZmlhYmxlKHMsIHQpICYgcyAvPSB0KSk6CiAg
  ICAgTEVUIHJkID0gIHJlc29sdmluZ19kaWZmKHMsdCkgSU4KICAgICAgICAgcmQgLz0gZW1wdHlf
  c2VxIElNUExJRVMKICAgICAgICAgcmVzb2x2aW5nX2RpZmYoc3VidGVybU9GKHMsIyhmaXJzdChy
  ZCkpKSwKICAgICAgICAgICAgICAgICAgICAgICAgc3VidGVybU9GKHQsIyhmaXJzdChyZCkpKSkg
  PSByZXN0KHJkKQoKIHBvc2l0aW9uX3NfcmVzb2x2aW5nX2RpZmY6IExFTU1BCiAgICBGT1JBTEwg
  KHMgOiB0ZXJtLAogICAgICAgICAgICB0IDogdGVybSB8IHVuaWZpYWJsZVt2YXJpYWJsZSwgc3lt
  Ym9sLCBhcml0eV0ocywgdCkgJiBzIC89IHQsCiAgICAgICAgICAgIHAgOiBwb3NpdGlvbikgOgog
  ICAgcCA9IHJlc29sdmluZ19kaWZmKHMsIHQpIElNUExJRVMgcG9zaXRpb25zT0YocykocCk7Cgog
  cG9zaXRpb25fdF9yZXNvbHZpbmdfZGlmZjogTEVNTUEKICAgIEZPUkFMTCAocyA6IHRlcm0sCiAg
  ICAgICAgICAgIHQgOiB0ZXJtIHwgdW5pZmlhYmxlW3ZhcmlhYmxlLCBzeW1ib2wsIGFyaXR5XShz
  LCB0KSAmIHMgLz0gdCwKICAgICAgICAgICAgcCA6IHBvc2l0aW9uKSA6CiAgICBwID0gcmVzb2x2
  aW5nX2RpZmYocywgdCkgSU1QTElFUyBwb3NpdGlvbnNPRih0KShwKTsKCiByZXNvbHZpbmdfZGlm
  Zl9oYXNfZGlmZl9hcmd1bWVudCA6IExFTU1BIAogICBGT1JBTEwgKHMgOiB0ZXJtLCB0IDogdGVy
  bSB8IHVuaWZpYWJsZShzLHQpICYgcyAvPSB0LAogICAgICAgICAgIHAgOiBwb3NpdGlvbiB8IHBv
  c2l0aW9uc09GKHMpKHApICYgcG9zaXRpb25zT0YodCkocCkpIDoKICAgIHAgPSByZXNvbHZpbmdf
  ZGlmZihzLCB0KSBJTVBMSUVTIHN1YnRlcm1PRihzLCBwKSAvPSBzdWJ0ZXJtT0YodCwgcCkKCiBy
  ZXNvbHZpbmdfZGlmZl9oYXNfdW5pZmlhYmxlX2FyZ3VtZW50IDogTEVNTUEgCiAgIEZPUkFMTCAo
  cyA6IHRlcm0sIHQgOiB0ZXJtIHwgdW5pZmlhYmxlKHMsdCkgJiBzIC89IHQsCiAgICAgICAgICAg
  cCA6IHBvc2l0aW9uIHwgcG9zaXRpb25zT0YocykocCkgJiBwb3NpdGlvbnNPRih0KShwKSkgOgog
  ICAgIHAgPSByZXNvbHZpbmdfZGlmZihzLCB0KSBJTVBMSUVTCiAgICAgICAgIHVuaWZpYWJsZShz
  dWJ0ZXJtT0YocywgcCksIHN1YnRlcm1PRih0LCBwKSkKCiByZXNvbHZpbmdfZGlmZl92YXJzIDog
  TEVNTUEKICAgIEZPUkFMTCAocyA6IHRlcm0sCiAgICAgICAgICAgIHQgOiB0ZXJtIHwgdW5pZmlh
  YmxlKHMsIHQpICYgcyAvPSB0LAoJICAgIHAgOiBwb3NpdGlvbiB8IHBvc2l0aW9uc09GKHMpKHAp
  ICYgcG9zaXRpb25zT0YodCkocCkpIDoKICAgICAgICAgICAgICAgICAgIHAgPSByZXNvbHZpbmdf
  ZGlmZihzLCB0KSBJTVBMSUVTCiAJCSAgIHZhcnM/KHN1YnRlcm1PRihzLCBwKSkgT1IgdmFycz8o
  c3VidGVybU9GKHQsIHApKQoKCiUlJSUgU3Vic3RpdHV0aW9uIHRvIGZpeCB0aGUgZmlyc3QgZGlm
  ZmVyZW5jZSAlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCiBzdWJfb2ZfZnJzdF9k
  aWZmKHMgOiB0ZXJtICwgKHQgOiB0ZXJtIHwgdW5pZmlhYmxlKHMsdCkgJiBzIC89IHQgKSkgOiBT
  dWIgPQogIExFVCBrIDogcG9zaXRpb24gPSByZXNvbHZpbmdfZGlmZihzLHQpIElOCiAgICAgTEVU
  IHNwID0gc3VidGVybU9GKHMsaykgLCB0cCA9IHN1YnRlcm1PRih0LGspIElOIAogICAgICAgIElG
  IHZhcnM/KHNwKQogICAgICAgIFRIRU4gKExBTUJEQSAoeCA6IChWKSkgOiBJRiB4ID0gc3AgVEhF
  TiB0cCBFTFNFIHggRU5ESUYpIAogICAgICAgIEVMU0UgKExBTUJEQSAoeCA6IChWKSkgOiBJRiB4
  ID0gdHAgVEhFTiBzcCBFTFNFIHggRU5ESUYpCiAgICAgICAgRU5ESUYgCgoKJSUlJSBEZWZpbmlu
  ZyBhbiBpZGVtcG90ZW50IHN1YnN0aXR1dGlvbiAlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJQoKIGlkZW1wb3RlbnRfc3ViPyhzaWcpOiBib29sID0gY29tcChzaWcsIHNpZykg
  PSBzaWcKCiBpZGVtcG90ZW50X3N1YjogVFlQRSA9IChpZGVtcG90ZW50X3N1Yj8pCgogaWRlbXBf
  c3ViX2lmZl9lbXB0eV9pbnRlcnNlY3Rpb24gOiBDT05KRUNUVVJFCiAgICAgIEZPUkFMTCAodCA6
  IHRlcm0gfCBtZW1iZXIodCwgUmFuKHNpZykpKSA6CiAgICAgICAgICBpZGVtcG90ZW50X3N1Yj8o
  c2lnKSBJRkYgZW1wdHk/KGludGVyc2VjdGlvbiggRG9tKHNpZyksIFZhcnModCkpKQoKCiUlJSUg
  TGVtbWFzIGFib3V0ICJzdWJfb2ZfZnJzdF9kaWZmIiAlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUKCiB2YXJfdGVybV91bmlmaWFibGVfbm90X3Zhcl9pbl90ZXJtIDog
  Q09OSkVDVFVSRSAKICAgRk9SQUxMIChzIDogdGVybSwgdCA6IHRlcm0gKSA6CiAgICAgdmFycz8o
  cykgJiB1bmlmaWFibGUocywgdCkgJiBzIC89IHQgPT4gTk9UIG1lbWJlcihzLCBWYXJzKHQpKQoK
  IHN1YnNfb2ZfZnJzdF9kaWZmX2lzIDogTEVNTUEKICAgRk9SQUxMIChzIDogdGVybSwgdCA6IHRl
  cm0gfCB1bmlmaWFibGUocywgdCkgJiBzIC89IHQsCiAgICAgICAgICAgcCA6IHBvc2l0aW9uIHwg
  cG9zaXRpb25zT0YocykocCkgJiBwb3NpdGlvbnNPRih0KShwKSwKICAgICAgICAgc2lnIDogU3Vi
  LCB4IDogKFYpICkgOgogICBwID0gcmVzb2x2aW5nX2RpZmYocywgdCkgQU5EIHNpZyA9IHN1Yl9v
  Zl9mcnN0X2RpZmYocywgdCkKICAgSU1QTElFUwogICAgICBJRiB2YXJzPyhzdWJ0ZXJtT0Yocywg
  cCkpCiAgICAgICAgVEhFTiBJRiB4ID0gc3VidGVybU9GKHMsIHApIAoJICAgICBUSEVOIHNpZyh4
  KSA9IHN1YnRlcm1PRih0LCBwKSBFTFNFIHNpZyh4KSA9IHggRU5ESUYKICAgICAgICBFTFNFIElG
  IHggPSBzdWJ0ZXJtT0YodCwgcCkgCgkgICAgIFRIRU4gc2lnKHgpID0gc3VidGVybU9GKHMsIHAp
  IEVMU0Ugc2lnKHgpID0geCBFTkRJRgogICAgICBFTkRJRiAgIAoKIERvbV9zdWJfb2ZfZnJzdF9k
  aWZmX3NpbmdsZXRvbiA6IExFTU1BCiAgICBGT1JBTEwgKHMgOiB0ZXJtLCB0IDogdGVybSB8IHVu
  aWZpYWJsZShzLCB0KSAmIHMgLz0gdCwgc2lnIDogU3ViKSA6CiAgICAgICBzaWcgPSBzdWJfb2Zf
  ZnJzdF9kaWZmKHMsIHQpIElNUExJRVMgc2luZ2xldG9uPyhEb20oc2lnKSkKCiB2YXJfc3ViXzFz
  dGRpZmZfbm90X21lbWJlcl90ZXJtIDogTEVNTUEgCiAgIEZPUkFMTCAocyA6IHRlcm0sIHQgOiB0
  ZXJtIHwgdW5pZmlhYmxlKHMsIHQpICYgcyAvPSB0KSA6IAogICAgIExFVCBzaWcgPSBzdWJfb2Zf
  ZnJzdF9kaWZmKHMgLHQpIElOCiAgICAgIEZPUkFMTCAoIHggfCBtZW1iZXIoeCxEb20oc2lnKSks
  IHIgfCBtZW1iZXIocixSYW4oc2lnKSApKSA6CiAgICAgIAkgICAgIE5PVCBtZW1iZXIoeCwgVmFy
  cyhyKSkKCiBzdWJfb2ZfZnJzdF9kaWZmX2lkZW1wb3RlbnQgOiBDT05KRUNUVVJFCiAgICBGT1JB
  TEwgKHMgOiB0ZXJtLAogICAgCSAgICB0IDogdGVybSB8IHVuaWZpYWJsZShzLCB0KSAmIHMgLz0g
  dCkgOgogICAgTEVUIHNpZyA9IHN1Yl9vZl9mcnN0X2RpZmYocywgdCkgSU4KICAgICAgaWRlbXBv
  dGVudF9zdWI/KHNpZykKCiBzdWJfb2ZfZnJzdF9kaWZmX3VuaWZpZXJfbyA6IENPTkpFQ1RVUkUK
  ICAgIEZPUkFMTCAocyA6IHRlcm0sCiAgICAJICAgIHQgOiB0ZXJtIHwgdW5pZmlhYmxlKHMsIHQp
  ICYgcyAvPSB0KSA6CiAgICBMRVQgc2lnID0gc3ViX29mX2Zyc3RfZGlmZihzLCB0KSBJTgogICAg
  RVhJU1RTIHRoZXRhIDogbWVtYmVyKGNvbXAodGhldGEsIHNpZyksIFUocywgdCkpCgoKJSUlJSBB
  dXhpbGlhcnkgbGVtbWFzIGFib3V0IHN1YnN0aXR1dGlvbnMgJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJQoKIHVuaWZpZXJfbyA6IExFTU1BCiAgICBtZW1iZXIoc2lnLCBVKGV4
  dCh0aGV0YSkocyksIGV4dCh0aGV0YSkodCkpKSBJTVBMSUVTCiAgICBtZW1iZXIoY29tcChzaWcs
  IHRoZXRhKSwgVShzLCB0KSkKCiBtZ3VfbyA6IExFTU1BCiAgICBzaWcgPD0gcmhvIElNUExJRVMg
  Y29tcChzaWcsIHRoZXRhKSA8PSBjb21wKHJobywgdGhldGEpCgogaWRlbXBfbWd1X3NhbWVfbyA6
  IENPTkpFQ1RVUkUKICAgIEZPUkFMTCAoc2lnIDogU3ViIHwgbWd1KHNpZykocywgdCkgJiBpZGVt
  cG90ZW50X3N1Yj8oc2lnKSwKICAgICAgICAgICAgcmhvIDogU3ViKSA6IG1lbWJlcihyaG8sIFUo
  cywgdCkpIElGRiByaG8gPSBjb21wKHJobywgc2lnKQoKCiUlJSUgRnVuY3Rpb24gdG8gY29tcHV0
  ZSBhIHVuaWZpZXIgb2YgJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUK
  JSUlJSUlJSUlJSB0d28gdW5pZmlhYmxlIHRlcm1zICUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJQoKIHVuaWZpY2F0aW9uX2FsZ29yaXRobShzIDogdGVybSwg
  KHQgOiB0ZXJtIHwgdW5pZmlhYmxlKHMsdCkpKTogUkVDVVJTSVZFIFN1YiA9CiAgIElGIHMgPSB0
  IFRIRU4gaWRlbnRpdHkgIAogICBFTFNFIExFVCBzaWcgPSBzdWJfb2ZfZnJzdF9kaWZmKHMsIHQp
  IElOCiAgICAgICBjb21wKCB1bmlmaWNhdGlvbl9hbGdvcml0aG0oKGV4dChzaWcpKShzKSAsIChl
  eHQoc2lnKSh0KSkpICwgc2lnKQogICBFTkRJRgogTUVBU1VSRSBDYXJkKHVuaW9uKFZhcnMocyks
  IFZhcnModCkpKQoKCiUlJSUgTGVtbWFzIGFib3V0ICJ1bmlmaWNhdGlvbl9hbGdvcml0aG0iICUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCiB1bmlmaWNhdGlvbl9hbGdvcml0
  aG1fZ2l2ZXNfdW5pZmllcjogTEVNTUEgCiAgIHVuaWZpYWJsZShzLHQpID0+ICBtZW1iZXIodW5p
  ZmljYXRpb25fYWxnb3JpdGhtKHMsIHQpLCBVKHMsIHQpKQogCiB1bmlmaWNhdGlvbl9hbGdvcml0
  aG1fZ2l2ZXNfbWdfc3ViczogQ09OSkVDVFVSRSAKICAgbWVtYmVyKHJobywgVShzLCB0KSkgSU1Q
  TElFUyB1bmlmaWNhdGlvbl9hbGdvcml0aG0ocywgdCkgPD0gcmhvCgoKJSUlJSBFeGlzdGVuY2Ug
  b2YgYSBtb3N0IGdlbmVyYWwgdW5pZmllciAlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJQoKIHVuaWZpY2F0aW9uOiBMRU1NQQogICAgdW5pZmlhYmxlKHMsdCkgPT4gRVhJU1RT
  IHRoZXRhOiBtZ3UodGhldGEpKHMsdCkKCgolJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlCgpFTkQgdW5p
  ZmljYXRpb24K
  --0016e644c50627ffc6046bfd7bfe--

How-To-Repeat: 

Fix: 
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools