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

PVS Bug 719


Synopsis:        More ground evaluator problems
Severity:        serious
Priority:        medium
Responsible:     shankar
State:           open
Class:           sw-bug
Arrival-Date:    Wed Dec  4 04:25:01 2002
Originator:      Kellomaki Pertti
Organization:    cs.tut.fi
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  This is a multi-part message in MIME format.
  --------------080107040707050600080405
  Content-Type: text/plain; charset=ISO-8859-1; format=flowed
  Content-Transfer-Encoding: 7bit
  
  Hi,
  
  I get:
  
    Error: the assertion recognizer failed.
      [condition type: simple-error]
  
  when trying to evaluate some values of a datatype. The attached files
  show a trace exhibiting the problem and a dump of the associated
  theories.
  
  Regards,
  
      Pertti
  
  
  
  --------------080107040707050600080405
  Content-Type: application/x-java-vm;
   name="trace"
  Content-Transfer-Encoding: base64
  Content-Disposition: inline;
   filename="trace"
  
  U3RhcnRpbmcgcHZzLWFsbGVncm82LjAgLXFxIC4uLgo7IEZhc3QgbG9hZGluZyBmcm9tIGJ1
  bmRsZSBjb2RlL2VmLWlzbzg4NTktMTUuZmFzbC4KOyBGYXN0IGxvYWRpbmcgZnJvbSBidW5k
  bGUgY29kZS9lZmZ0LWlzbzg4NTktMTUtYmFzZS5mYXNsLgo7IEZhc3QgbG9hZGluZyBmcm9t
  IGJ1bmRsZSBjb2RlL2VmZnQtY3JsZi1pc284ODU5LTE1LWJhc2UuZmFzbC4KOyBGYXN0IGxv
  YWRpbmcgZnJvbSBidW5kbGUgY29kZS9lZmZ0LWNyY3JsZi1pc284ODU5LTE1LWJhc2UuZmFz
  bC4KOzsgTm90ZTogU3dpdGNoaW5nIHRoZSBmb2xsb3dpbmcgZXh0ZXJuYWwtZm9ybWF0cyB0
  byBydW50aW1lIG1vZGUKOzsgICAgICAgc2luY2UgcHJlYnVpbHQgZmlsbGVkIHRlbXBsYXRl
  cyBmb3IgdGhlbSB3ZXJlIGZvdW5kIGFuZCBsb2FkZWQ6Cjs7ICAgICAgICc6Y3JjcmxmLWlz
  bzg4NTktMTUtYmFzZScgJzpjcmxmLWlzbzg4NTktMTUtYmFzZScgJzppc284ODU5LTE1LWJh
  c2UnIApJbnRlcm5hdGlvbmFsIEFsbGVncm8gQ0wgRW50ZXJwcmlzZSBFZGl0aW9uCjYuMCBb
  TGludXggKHg4NildIChKdWwgMjAsIDIwMDIgMDo1MykKQ29weXJpZ2h0IChDKSAxOTg1LTIw
  MDAsIEZyYW56IEluYy4sIEJlcmtlbGV5LCBDQSwgVVNBLiAgQWxsIFJpZ2h0cyBSZXNlcnZl
  ZC4KClRoaXMgY29weSBvZiBBbGxlZ3JvIENMIGlzIGxpY2Vuc2VkIHRvOgogICBbNTM3N10g
  U1JJIEludGVybmF0aW9uYWwKCjs7IE9wdGltaXphdGlvbiBzZXR0aW5nczogc2FmZXR5IDEs
  IHNwYWNlIDEsIHNwZWVkIDMsIGRlYnVnIDEuCjs7IEZvciBhIGNvbXBsZXRlIGRlc2NyaXB0
  aW9uIG9mIGFsbCBjb21waWxlciBzd2l0Y2hlcyBnaXZlbiB0aGUKOzsgY3VycmVudCBvcHRp
  bWl6YXRpb24gc2V0dGluZ3MgZXZhbHVhdGUgKGV4cGxhaW4tY29tcGlsZXItc2V0dGluZ3Mp
  Lgo7Oy0tLQo7OyBDdXJyZW50IHJlYWRlciBjYXNlIG1vZGU6IDpjYXNlLXNlbnNpdGl2ZS1s
  b3dlcgoKTk9URTogUmVjZW50IHBhdGNoZXMgaGF2ZSBtYWRlIHlvdXIgbG9jYWwgQWxsZWdy
  byBDTCBidW5kbGUgZmlsZXMgb3V0CiAgICAgIG9mIGRhdGUuICBFeGVjdXRlIChleGNsOjp1
  cGRhdGUtYnVuZGxlLWNoZWNrIG5pbCkgZm9yIG1vcmUKICAgICAgaW5mb3JtYXRpb24uCmNs
  LXVzZXIoMSk6IApjbC11c2VyKDIpOiBuaWwKcHZzKDkpOiAKClBWUyBHcm91bmQgRXZhbHVh
  dGlvbi4KRW50ZXIgYSBncm91bmQgZXhwcmVzc2lvbiBpbiBxdW90ZXMgYXQgdGhlIDxHbmRF
  dmFsPiBwcm9tcHQuClR5cGUgaGVscCBmb3IgYSBsaXN0IG9mIGNvbW1hbmRzLgoKKkNBVkVB
  VCo6IGV2YWx1YXRpb24gb2YgZXhwcmVzc2lvbnMgd2hpY2ggZGVwZW5kIG9uIHVucHJvdmVu
  IFRDQ3MgbWF5IGJlCnVuc291bmQsIGFuZCByZXN1bHQgaW4gdGhlIGV2YWx1YXRvciBjcmFz
  aGluZyBpbnRvIGxpc3AsIHJ1bm5pbmcgb3V0IG9mCnN0YWNrLCBvciB3b3JzZS4gIElmIHlv
  dSBjcmFzaCBpbnRvIGxpc3AsIHR5cGUgKHJlc3RvcmUpIHRvIHJlc3VtZS4KCjxHbmRFdmFs
  PiAiZm9ybWFsX3BhcmFtZXRlcihcInhcIiwgXCJpbnRcIikiCjsgY3B1IHRpbWUgKG5vbi1n
  YykgMCBtc2VjIHVzZXIsIDAgbXNlYyBzeXN0ZW0KOyBjcHUgdGltZSAoZ2MpICAgICAwIG1z
  ZWMgdXNlciwgMCBtc2VjIHN5c3RlbQo7IGNwdSB0aW1lICh0b3RhbCkgIDAgbXNlYyB1c2Vy
  LCAwIG1zZWMgc3lzdGVtCjsgcmVhbCB0aW1lICAwIG1zZWMKOyBzcGFjZSBhbGxvY2F0aW9u
  Ogo7ICAzMyBjb25zIGNlbGxzLCAxLDE0NCBvdGhlciBieXRlcywgMCBzdGF0aWMgYnl0ZXMK
  PT0+IApmb3JtYWxfcGFyYW1ldGVyKCJ4IiwgImludCIpCjxHbmRFdmFsPiAiYm9vbGNvbnN0
  KHRydWUpIgo7IGNwdSB0aW1lIChub24tZ2MpIDAgbXNlYyB1c2VyLCAwIG1zZWMgc3lzdGVt
  CjsgY3B1IHRpbWUgKGdjKSAgICAgMCBtc2VjIHVzZXIsIDAgbXNlYyBzeXN0ZW0KOyBjcHUg
  dGltZSAodG90YWwpICAwIG1zZWMgdXNlciwgMCBtc2VjIHN5c3RlbQo7IHJlYWwgdGltZSAg
  MCBtc2VjCjsgc3BhY2UgYWxsb2NhdGlvbjoKOyAgMjIgY29ucyBjZWxscywgMSwxMTIgb3Ro
  ZXIgYnl0ZXMsIDAgc3RhdGljIGJ5dGVzCj09PiAKYm9vbGNvbnN0KFRSVUUpCjxHbmRFdmFs
  PiAiZm9yYWxsX3EoZm9ybWFsX3BhcmFtZXRlcihcInhcIiwgXCJpbnRcIiksIGJvb2xjb25z
  dCh0cnVlKSkiCjsgY3B1IHRpbWUgKG5vbi1nYykgMCBtc2VjIHVzZXIsIDAgbXNlYyBzeXN0
  ZW0KOyBjcHUgdGltZSAoZ2MpICAgICAwIG1zZWMgdXNlciwgMCBtc2VjIHN5c3RlbQo7IGNw
  dSB0aW1lICh0b3RhbCkgIDAgbXNlYyB1c2VyLCAwIG1zZWMgc3lzdGVtCjsgcmVhbCB0aW1l
  ICAxIG1zZWMKOyBzcGFjZSBhbGxvY2F0aW9uOgo7ICA4NCBjb25zIGNlbGxzLCAzLDQwMCBv
  dGhlciBieXRlcywgMCBzdGF0aWMgYnl0ZXMKRXJyb3I6IHRoZSBhc3NlcnRpb24gcmVjb2du
  aXplciBmYWlsZWQuCiAgW2NvbmRpdGlvbiB0eXBlOiBzaW1wbGUtZXJyb3JdCgpSZXN0YXJ0
  IGFjdGlvbnMgKHNlbGVjdCB1c2luZyA6Y29udGludWUpOgogMDogcmV0cnkgYXNzZXJ0aW9u
  LgogMTogUmV0dXJuIHRvIFRvcCBMZXZlbCAoYW4gImFib3J0IiByZXN0YXJ0KQogMjogQWJv
  cnQgbmlsClsxXSBwdnMoMjQpOiAKcHZzKDI1KTog
  --------------080107040707050600080405
  Content-Type: application/x-java-vm;
   name="groundevalbug"
  Content-Transfer-Encoding: base64
  Content-Disposition: inline;
   filename="groundevalbug"
  
  CiQkJHB2cy1zdHJhdGVnaWVzCihkZWZzdGVwIG9jc2lkLXJld3JpdGVzICgpCiAgKHRoZW4q
  CiAgIChhdXRvLXJld3JpdGUgImNsYXNzX2ZpZWxkX3R5cGUiKQogICAoYXV0by1yZXdyaXRl
  ICJmb3JtYWxzX2VudiIpCiAgIChhdXRvLXJld3JpdGUgInBhcnRpY2lwYW50X3R5cGUiKQog
  ICAoYXV0by1yZXdyaXRlICJpbnRfZXhwcj8iKQogICAoYXV0by1yZXdyaXRlICJib29sX2V4
  cHI/IikKICAgKGF1dG8tcmV3cml0ZSAic2VtIikKICAgKGF1dG8tcmV3cml0ZSAiZXZlcnki
  KQogICAoYXV0by1yZXdyaXRlICJwYXJ0aWNpcGFudF90eXBlIikKICAgKGF1dG8tcmV3cml0
  ZSAiY2xhc3NfYXNzaWdubWVudHMiKQogICAoYXV0by1yZXdyaXRlICJ2YXJpYWJsZV9leHBs
  aWNpdF9hc3NpZ25tZW50cyIpCiAgIChhdXRvLXJld3JpdGUgImNsYXNzX2ZpZWxkX3R5cGVz
  IikKICAgKGF1dG8tcmV3cml0ZSAiZmllbGRfdHlwZXMiKQogICAoYXV0by1yZXdyaXRlICJm
  aWVsZF90eXBlIikKICAgKGF1dG8tcmV3cml0ZSAiaW50ZWdlcl90eXBlIikpCiAgICJJbnN0
  YWxsIG9jc2lkIHNwZWNpZmljIHJld3JpdGVzLiIKICAgIkluc3RhbGwgb2NzaWQgc3BlY2lm
  aWMgcmV3cml0ZXMuIgogICApCgooZGVmc3RlcCBtb3JlLW9jc2lkLXJld3JpdGVzICgpCiAg
  KHRoZW4qCiAgIChhdXRvLXJld3JpdGUgInN2YXJfcmVmIikKICAgKGF1dG8tcmV3cml0ZSAi
  aXN2YXJfcmVmIikKICAgKGF1dG8tcmV3cml0ZSAiYnN2YXJfcmVmIikpCiAgICJJbnN0YWxs
  IG1vcmUgb2NzaWQgc3BlY2lmaWMgcmV3cml0ZXMuIgogICAiSW5zdGFsbCBtb3JlIG9jc2lk
  IHNwZWNpZmljIHJld3JpdGVzLiIKICAgKQoKKGRlZnN0ZXAgZ3JnICgpCiAgKHRoZW4qIChn
  cm91bmQpIChyZXBsYWNlKikgKGdyb3VuZCkpCiAgIkdyb3VuZCBhbmQgcmVwbGFjZSIKICAi
  R3JvdW5kIGFuZCByZXBsYWNlIikKCiAgCgokJCRQVlNIT01FLy5wdnMubGlzcAooaW4tcGFj
  a2FnZSA6cHZzKQoKKGRlZnVuIHB2c19XSEVOICh4KSAob3IgKHN2cmVmIHggMCkobm90IChz
  dnJlZiB4IDEpKSkpCihkZWZ1biBwdnNfQU5EICh4KShhbmQgKHN2cmVmIHggMCkoc3ZyZWYg
  eCAxKSkpCihkZWZ1biBwdnNfT1IgKHgpIChvciAoc3ZyZWYgeCAwKShzdnJlZiB4IDEpKSkK
  KGRlZnVuIHB2c19OT1QgKHgpIChub3QgeCkpCgooZGVmbWFjcm8gcHZzX19XSEVOICh4IHkp
  IGAob3IgKG5vdCAseSkgLHgpKQooZGVmbWFjcm8gcHZzX19BTkQgKHggeSkgYChhbmQgLHgg
  LHkpKQooZGVmbWFjcm8gcHZzX19PUiAoeCB5KSAgYChvciAseCAseSkpCihkZWZtYWNybyBw
  dnNfX3JlbSAoeSkKICAobGV0ICgoeHggKGdlbnRlbXApKQoJKHl5IChnZW50ZW1wKSkpCiAg
  ICBgKGZ1bmN0aW9uCiAgICAgIChsYW1iZGEgKHgpCgkobGV0ICgoLHh4ICh0aGUgaW50ZWdl
  ciB4KSkKCSAgICAgICgseXkgKHRoZSBpbnRlZ2VyICx5KSkpCiAgICAgICAoaWYgKDwgLHh4
  ICx5eSkgLHh4IChyZW0gLHh4ICx5eSkpKSkpKSkKCihkZWZ1biBtYWtlLWJpbmRpbmctaWRz
  LXdpdGhvdXQtZHVwcyAoYmluZGluZ3MgYXV4KQogIChpZiAoY29uc3AgYmluZGluZ3MpCiAg
  ICAgIChsZXQgKChpZCAoaWQgKGNhciBiaW5kaW5ncykpKSkKCShpZiAob3IgKG1lbXEgaWQg
  YXV4KQoJCShjb25zdGFudHAgaWQpKSA7IFNPIDIwMDItMDctMzEgLSBsaXNwIGNvbnN0YW50
  cyBhcmUgYWxzbwoJCQkJCTsgcHJvYmxlbWF0aWMgKGUuZy4sIHQgb3IgbmlsKS4KCSAgICAo
  bWFrZS1iaW5kaW5nLWlkcy13aXRob3V0LWR1cHMKCSAgICAgKGNkciBiaW5kaW5ncykKCSAg
  ICAgKGNvbnMgKGdlbnRlbXAgaWQpIGF1eCkpCgkgICAgKG1ha2UtYmluZGluZy1pZHMtd2l0
  aG91dC1kdXBzCgkgICAgIChjZHIgYmluZGluZ3MpCgkgICAgIChjb25zIGlkIGF1eCkpKSkK
  ICAgICAgKG5yZXZlcnNlIGF1eCkpKQoKKGRlZnVuIG1rLW5ld2NvbnN0cnVjdG9yIChpZCBh
  Y2Nlc3Nvci1pZHMgJm9wdGlvbmFsIChjb3VudGVyIDApKQogIChsZXQqICgoY29uc3Qtc3Ry
  IChmb3JtYXQgbmlsICJ+YV9+YSIgaWQgY291bnRlcikpCgkgKGNvbnN0LXN0cj8gKGZpbmQt
  c3ltYm9sIGNvbnN0LXN0cikpCgkgKG1rLXN0cj8gKGZpbmQtc3ltYm9sIChmb3JtYXQgbmls
  ICJNQUtFLX5hIiBjb25zdC1zdHIpKSkKCSAocmVjLXN0cj8gKGZpbmQtc3ltYm9sIChmb3Jt
  YXQgbmlsICJ+YS1wIiBjb25zdC1zdHIpKSkKCSAoYWNjLXN0cnM/IChsb29wIGZvciBhY2Mg
  aW4gYWNjZXNzb3ItaWRzCgkJCSB0aGVyZWlzCgkJCSAoZmluZC1zeW1ib2wgKGZvcm1hdCBu
  aWwgIn5hX35hIgoJCQkJCWNvbnN0LXN0cgoJCQkJCWFjYykpKSkpCiAgICAoaWYgKG9yIGNv
  bnN0LXN0cj8gbWstc3RyPyByZWMtc3RyPyBhY2Mtc3Rycz8pCgkobWstbmV3Y29uc3RydWN0
  b3IgaWQgYWNjZXNzb3ItaWRzICgxKyBjb3VudGVyKSkKCShpbnRlcm4gY29uc3Qtc3RyKSkp
  KQoKKGRlZnVuIHB2czJjbC1jb25zdHJ1Y3RvciAoY29uc3RydWN0b3IgZGF0YXR5cGUpIDs7
  Zml4IG11bHRpLWNvbnN0cnVjdG9yIGFjY2Vzc29ycwogIChjb25kICgoZW51bS1hZHQ/IGRh
  dGF0eXBlKQoJIChsZXQqICgocG9zIChwb3NpdGlvbiAoaWQgY29uc3RydWN0b3IpCgkJCSAg
  ICAgICAoY29uc3RydWN0b3JzIChhZHQgZGF0YXR5cGUpKQoJCQkgICAgICAgOnRlc3QgIydl
  cSA6a2V5ICMnaWQpKQoJCShkZWNsIChkZWNsYXJhdGlvbiBjb25zdHJ1Y3RvcikpCgkJKHJl
  Y29nbml6ZXIgKHJlY29nbml6ZXIgY29uc3RydWN0b3IpKQoJCShyZWMtZGVjbCAoZGVjbGFy
  YXRpb24gcmVjb2duaXplcikpCgkJKHJlYy1pZCAobWstbmV3c3ltYiAoaWQgcmVjb2duaXpl
  cikpKQoJCShyZWMtZGVmbiBgKGRlZnVuICxyZWMtaWQgKHgpIChlcWwgeCAscG9zKSkpKQoJ
  ICAgKG1ha2UtZXZhbC1pbmZvIGRlY2wpCgkgICAoc2V0ZiAoaW4tbmFtZSBkZWNsKSBwb3Mp
  CgkgICAobWFrZS1ldmFsLWluZm8gcmVjLWRlY2wpCgkgICAoc2V0ZiAoaW4tbmFtZSByZWMt
  ZGVjbCkgcmVjLWlkKQoJICAgKHNldGYgKGRlZmluaXRpb24gKGluLWRlZm4gcmVjLWRlY2wp
  KQoJCSByZWMtZGVmbikKCSAgIChldmFsIHJlYy1kZWZuKQoJICAgKGNvbXBpbGUgcmVjLWlk
  KQoJICAgcG9zKSkKCSh0ICAobGV0KiAoKGlkIChpZCBjb25zdHJ1Y3RvcikpCgkJICAgKGFj
  Y2Vzc29ycyAoYWNjZXNzb3JzIGNvbnN0cnVjdG9yKSkKCQkgICAoYWNjZXNzb3ItaWRzICht
  YXBjYXIgIydpZCBhY2Nlc3NvcnMpKQoJCSAgIChzdHJ1Y3QtaWQgKG1rLW5ld2NvbnN0cnVj
  dG9yIGlkCgkJCQkJCSBhY2Nlc3Nvci1pZHMpKQoJCSAgIChjb25zdHJ1Y3Rvci1zeW1ib2wg
  KG1ha2VzeW0gIk1BS0UtfmEiIHN0cnVjdC1pZCkpCgkJICAgKGRlZm4gYChkZWZzdHJ1Y3Qg
  KCxzdHJ1Y3QtaWQgKDpjb25zdHJ1Y3RvciAsY29uc3RydWN0b3Itc3ltYm9sIAoJCQkJCQkJ
  ICAgICAgICxhY2Nlc3Nvci1pZHMpKQoJCQkgICAgLEBhY2Nlc3Nvci1pZHMpKSkKCSAgICAg
  IChtYWtlLWV2YWwtaW5mbyAoZGVjbGFyYXRpb24gY29uc3RydWN0b3IpKQoJICAgICAgKHNl
  dGYgKGRlZmluaXRpb24gKGluLWRlZm4gKGRlY2xhcmF0aW9uIGNvbnN0cnVjdG9yKSkpCgkJ
  ICAgIGRlZm4pCgkgICAgICAoc2V0ZiAoaW4tbmFtZSAoZGVjbGFyYXRpb24gY29uc3RydWN0
  b3IpKQoJCSAgICBjb25zdHJ1Y3Rvci1zeW1ib2wpCgkgICAgICAobWFrZS1ldmFsLWluZm8g
  KGRlY2xhcmF0aW9uIChyZWNvZ25pemVyIGNvbnN0cnVjdG9yKSkpCgkgICAgICAoc2V0ZiAo
  aW4tbmFtZSAoZGVjbGFyYXRpb24gKHJlY29nbml6ZXIgY29uc3RydWN0b3IpKSkKCQkgICAg
  KG1ha2VzeW0gIn5hLXAiIHN0cnVjdC1pZCkpCgkgICAgICAoZXZhbCBkZWZuKQoJICAgICAg
  KGxvb3AgZm9yIHggaW4gYWNjZXNzb3JzCgkJICAgIGRvIChwcm9nbiAobWFrZS1ldmFsLWlu
  Zm8gKGRlY2xhcmF0aW9uIHgpKQoJCQkgICAgICAoc2V0ZiAoaW4tbmFtZSAoZGVjbGFyYXRp
  b24geCkpCgkJCQkgICAgKG1ha2VzeW0gIn5hLX5hIiBzdHJ1Y3QtaWQgKGlkIHgpKSkpKQoJ
  ICAgICAgKSkpKQoKKGRlZnVuIHB2czJjbC1wcmltaXRpdmUgKGV4cHIpCiAgKGNvbmQgKChl
  cSAoaWQgZXhwcikgJ1RSVUUpIHQpCgkoKGVxIChpZCBleHByKSAnRkFMU0UpIG5pbCkKCSgo
  ZXEgKGlkIGV4cHIpICd8bnVsbHwpIG5pbCkKCSgoYW5kIChlcSAoaWQgZXhwcikgJy0pIDs7
  aGFyZCB0byBkaXN0aW5ndWlzaCB1bmFyeSxiaW5hcnkuCgkgICAgICAodHVwbGV0eXBlPyAo
  ZG9tYWluIChmaW5kLXN1cGVydHlwZSAodHlwZSBleHByKSkpKSkKCSAoaW50ZXJuIChmb3Jt
  YXQgbmlsICJwdnNfLS0iKSkpCgkodCAoaW50ZXJuIChmb3JtYXQgbmlsICJwdnNffmEiIChp
  ZCBleHByKSkpKSkpCgooZGVmdW4gcHZzMmNsLXByaW1pdGl2ZTIgKGV4cHIpIDs7YXNzdW1p
  bmcgZXhwciBpcyBhbiBpZAogIChsZXQqICgoaWQgKGlkIGV4cHIpKQoJIChtb2RpbnN0ICAo
  bW9kdWxlLWluc3RhbmNlIGV4cHIpKQoJIChhY3RzICh3aGVuIG1vZGluc3QgKGFjdHVhbHMg
  bW9kaW5zdCkpKSkKICAgIChpZiAoYW5kIChlcSBpZCAnPSkKCSAgICAgKGVxIChpZCBtb2Rp
  bnN0KSAnfGVxdWFsaXRpZXN8KQoJICAgICAodGMtZXEgICh0eXBlLXZhbHVlIChjYXIgYWN0
  cykpICpudW1iZXIqKSkKCSc9CgkoaW50ZXJuIChmb3JtYXQgbmlsICJwdnNfX35hIiBpZCkp
  KSkpCgoKJCQkZXhwcl9zeW50YXgucHZzCmV4cHJfc3ludGF4IDogREFUQVRZUEUgCiAgV0lU
  SCBTVUJUWVBFUyBpbnRfZXhwciwgYm9vbF9leHByLCB1bnR5cGVkX2V4cHIKICBCRUdJTgog
  ICAgIElNUE9SVElORyBiYXNlX3N5bnRheAoKICAgICBpbnRjb25zdCh2IDogaW50KSA6IGlu
  dGNvbnN0PyA6IGludF9leHByCiAgICAgYm9vbGNvbnN0KHYgOiBib29sKSA6IGJvb2xjb25z
  dD8gOiBib29sX2V4cHIKJSAgICAgdmFyX3JlZihuYW1lIDogaWQpIDogdmFyX3JlZj8gOiB1
  bnR5cGVkX2V4cHIKICAgICBzdmFyX3JlZihvYmplY3QgOiBpZCwgZmllbGQ6IGlkKSA6IHN2
  YXJfcmVmPyA6IHVudHlwZWRfZXhwcgogICAgIHBsdXMoZTEsIGUyIDogZXhwcl9zeW50YXgp
  IDogcGx1cz8gOiBpbnRfZXhwcgogICAgIG1pbnVzKGUxLCBlMiA6IGV4cHJfc3ludGF4KSA6
  IG1pbnVzPyA6IGludF9leHByCiAgICAgZm9yYWxsX3EocV92YXIgOiBmb3JtYWxfcGFyYW1l
  dGVyX3N5bnRheCwgZSA6IGV4cHJfc3ludGF4KSA6IGZvcmFsbF9xPyA6IGJvb2xfZXhwcgog
  ICAgIGV4aXN0c19xKHFfdmFyIDogZm9ybWFsX3BhcmFtZXRlcl9zeW50YXgsIGUgOiBleHBy
  X3N5bnRheCkgOiBleGlzdHNfcT8gOiBib29sX2V4cHIKICAgICBhbmQoZTEsIGUyIDogZXhw
  cl9zeW50YXgpIDogYW5kPyA6IGJvb2xfZXhwcgogICAgIG9yKGUxLCBlMiA6IGV4cHJfc3lu
  dGF4KSA6IG9yPyA6IGJvb2xfZXhwcgogICAgIGltcGxpZXMoZTEsIGUyIDogZXhwcl9zeW50
  YXgpIDogaW1wbGllcz8gOiBib29sX2V4cHIKICAgICBndChlMSwgZTIgOiBleHByX3N5bnRh
  eCkgOiBndD8gOiBib29sX2V4cHIKICAgICBsdChlMSwgZTIgOiBleHByX3N5bnRheCkgOiBs
  dD8gOiBib29sX2V4cHIKICAgICBub3QoZSA6IGV4cHJfc3ludGF4KSA6IG5vdD8gOiBib29s
  X2V4cHIKICAgICBlcXVhbChlMSwgZTIgOiBleHByX3N5bnRheCkgOiBlcXVhbD8gOiBib29s
  X2V4cHIKICBFTkQgZXhwcl9zeW50YXgKCiQkJGRlcml2YXRpb25fcGFpcl9zeW50YXhfYWR0
  LnB2cwolJSUgQURUIGZpbGUgZ2VuZXJhdGVkIGZyb20gZGVyaXZhdGlvbl9wYWlyX3N5bnRh
  eAoKZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHQ6IFRIRU9SWQogQkVHSU4KCiAgSU1QT1JU
  SU5HIGlkCgogIGRlcml2YXRpb25fcGFpcl9zeW50YXg6IFRZUEUKCiAgZGVyaXZhdGlvbl9w
  YWlyPzogW2Rlcml2YXRpb25fcGFpcl9zeW50YXggLT4gYm9vbGVhbl0KCiAgZGVyaXZhdGlv
  bl9wYWlyOiBbW2lkLCBsaXN0W2lkXV0gLT4gKGRlcml2YXRpb25fcGFpcj8pXQoKICBuZXdf
  bmFtZTogW2Rlcml2YXRpb25fcGFpcl9zeW50YXggLT4gaWRdCgogIGJhc2VzOiBbZGVyaXZh
  dGlvbl9wYWlyX3N5bnRheCAtPiBsaXN0W2lkXV0KCiAgb3JkKHg6IGRlcml2YXRpb25fcGFp
  cl9zeW50YXgpOiB1cHRvKDApID0KICAgICAgQ0FTRVMgeCBPRiBkZXJpdmF0aW9uX3BhaXIo
  ZGVyaXZhdGlvbl9wYWlyMV92YXIsIGRlcml2YXRpb25fcGFpcjJfdmFyKTogMCBFTkRDQVNF
  UwoKICBkZXJpdmF0aW9uX3BhaXJfc3ludGF4X2Rlcml2YXRpb25fcGFpcl9leHRlbnNpb25h
  bGl0eTogQVhJT00KICAgIEZPUkFMTCAoZGVyaXZhdGlvbl9wYWlyP192YXI6IChkZXJpdmF0
  aW9uX3BhaXI/KSwgZGVyaXZhdGlvbl9wYWlyP192YXIyOiAoZGVyaXZhdGlvbl9wYWlyPykp
  OgogICAgICBuZXdfbmFtZShkZXJpdmF0aW9uX3BhaXI/X3ZhcikgPSBuZXdfbmFtZShkZXJp
  dmF0aW9uX3BhaXI/X3ZhcjIpIEFORAogICAgICAgYmFzZXMoZGVyaXZhdGlvbl9wYWlyP192
  YXIpID0gYmFzZXMoZGVyaXZhdGlvbl9wYWlyP192YXIyKQogICAgICAgSU1QTElFUyBkZXJp
  dmF0aW9uX3BhaXI/X3ZhciA9IGRlcml2YXRpb25fcGFpcj9fdmFyMjsKCiAgZGVyaXZhdGlv
  bl9wYWlyX3N5bnRheF9kZXJpdmF0aW9uX3BhaXJfZXRhOiBBWElPTQogICAgRk9SQUxMIChk
  ZXJpdmF0aW9uX3BhaXI/X3ZhcjogKGRlcml2YXRpb25fcGFpcj8pKToKICAgICAgZGVyaXZh
  dGlvbl9wYWlyKG5ld19uYW1lKGRlcml2YXRpb25fcGFpcj9fdmFyKSwgYmFzZXMoZGVyaXZh
  dGlvbl9wYWlyP192YXIpKSA9IGRlcml2YXRpb25fcGFpcj9fdmFyOwoKICBkZXJpdmF0aW9u
  X3BhaXJfc3ludGF4X25ld19uYW1lX2Rlcml2YXRpb25fcGFpcjogQVhJT00KICAgIEZPUkFM
  TCAoZGVyaXZhdGlvbl9wYWlyMV92YXI6IGlkLCBkZXJpdmF0aW9uX3BhaXIyX3ZhcjogbGlz
  dFtpZF0pOgogICAgICBuZXdfbmFtZShkZXJpdmF0aW9uX3BhaXIoZGVyaXZhdGlvbl9wYWly
  MV92YXIsIGRlcml2YXRpb25fcGFpcjJfdmFyKSkgPSBkZXJpdmF0aW9uX3BhaXIxX3ZhcjsK
  CiAgZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9iYXNlc19kZXJpdmF0aW9uX3BhaXI6IEFYSU9N
  CiAgICBGT1JBTEwgKGRlcml2YXRpb25fcGFpcjFfdmFyOiBpZCwgZGVyaXZhdGlvbl9wYWly
  Ml92YXI6IGxpc3RbaWRdKToKICAgICAgYmFzZXMoZGVyaXZhdGlvbl9wYWlyKGRlcml2YXRp
  b25fcGFpcjFfdmFyLCBkZXJpdmF0aW9uX3BhaXIyX3ZhcikpID0gZGVyaXZhdGlvbl9wYWly
  Ml92YXI7CgogIGRlcml2YXRpb25fcGFpcl9zeW50YXhfaW5jbHVzaXZlOiBBWElPTQogICAg
  Rk9SQUxMIChkZXJpdmF0aW9uX3BhaXJfc3ludGF4X3ZhcjogZGVyaXZhdGlvbl9wYWlyX3N5
  bnRheCk6IGRlcml2YXRpb25fcGFpcj8oZGVyaXZhdGlvbl9wYWlyX3N5bnRheF92YXIpOwoK
  ICBkZXJpdmF0aW9uX3BhaXJfc3ludGF4X2Rpc2pvaW50OiBBWElPTSBGT1JBTEwgKGRlcml2
  YXRpb25fcGFpcl9zeW50YXhfdmFyOiBkZXJpdmF0aW9uX3BhaXJfc3ludGF4KTogVFJVRTsK
  CiAgZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9pbmR1Y3Rpb246IEFYSU9NCiAgICBGT1JBTEwg
  KHA6IFtkZXJpdmF0aW9uX3BhaXJfc3ludGF4IC0+IGJvb2xlYW5dKToKICAgICAgKEZPUkFM
  TCAoZGVyaXZhdGlvbl9wYWlyMV92YXI6IGlkLCBkZXJpdmF0aW9uX3BhaXIyX3ZhcjogbGlz
  dFtpZF0pOgogICAgICAgICBwKGRlcml2YXRpb25fcGFpcihkZXJpdmF0aW9uX3BhaXIxX3Zh
  ciwgZGVyaXZhdGlvbl9wYWlyMl92YXIpKSkKICAgICAgIElNUExJRVMgKEZPUkFMTCAoZGVy
  aXZhdGlvbl9wYWlyX3N5bnRheF92YXI6IGRlcml2YXRpb25fcGFpcl9zeW50YXgpOiBwKGRl
  cml2YXRpb25fcGFpcl9zeW50YXhfdmFyKSk7CgogIHN1YnRlcm0oeCwgeTogZGVyaXZhdGlv
  bl9wYWlyX3N5bnRheCk6ICBib29sZWFuID0geCA9IHk7CgogIDw8OiAgKHdlbGxfZm91bmRl
  ZD9bZGVyaXZhdGlvbl9wYWlyX3N5bnRheF0pID0gTEFNQkRBICh4LCB5OiBkZXJpdmF0aW9u
  X3BhaXJfc3ludGF4KTogRkFMU0U7CgogIGRlcml2YXRpb25fcGFpcl9zeW50YXhfd2VsbF9m
  b3VuZGVkOiBBWElPTSB3ZWxsX2ZvdW5kZWQ/W2Rlcml2YXRpb25fcGFpcl9zeW50YXhdKDw8
  KTsKCiAgcmVkdWNlX25hdChkZXJpdmF0aW9uX3BhaXI/X2Z1bjogW1tpZCwgbGlzdFtpZF1d
  IC0+IG5hdF0pOiAgW2Rlcml2YXRpb25fcGFpcl9zeW50YXggLT4gbmF0XSA9CiAgICAgIExB
  TUJEQSAoZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXI6IGRlcml2YXRpb25fcGFpcl9z
  eW50YXgpOgogICAgICAgIExFVCByZWQ6IFtkZXJpdmF0aW9uX3BhaXJfc3ludGF4IC0+IG5h
  dF0gPSByZWR1Y2VfbmF0KGRlcml2YXRpb25fcGFpcj9fZnVuKSBJTgogICAgICAgICAgQ0FT
  RVMgZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXIKICAgICAgICAgICAgT0YgZGVyaXZh
  dGlvbl9wYWlyKGRlcml2YXRpb25fcGFpcjFfdmFyLCBkZXJpdmF0aW9uX3BhaXIyX3Zhcik6
  CiAgICAgICAgICAgICAgICAgZGVyaXZhdGlvbl9wYWlyP19mdW4oZGVyaXZhdGlvbl9wYWly
  MV92YXIsIGRlcml2YXRpb25fcGFpcjJfdmFyKQogICAgICAgICAgICBFTkRDQVNFUzsKCiAg
  UkVEVUNFX25hdChkZXJpdmF0aW9uX3BhaXI/X2Z1bjogW1tpZCwgbGlzdFtpZF0sIGRlcml2
  YXRpb25fcGFpcl9zeW50YXhdIC0+IG5hdF0pOiAgW2Rlcml2YXRpb25fcGFpcl9zeW50YXgg
  LT4gbmF0XSA9CiAgICAgIExBTUJEQSAoZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXI6
  IGRlcml2YXRpb25fcGFpcl9zeW50YXgpOgogICAgICAgIExFVCByZWQ6IFtkZXJpdmF0aW9u
  X3BhaXJfc3ludGF4IC0+IG5hdF0gPSBSRURVQ0VfbmF0KGRlcml2YXRpb25fcGFpcj9fZnVu
  KSBJTgogICAgICAgICAgQ0FTRVMgZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXIKICAg
  ICAgICAgICAgT0YgZGVyaXZhdGlvbl9wYWlyKGRlcml2YXRpb25fcGFpcjFfdmFyLCBkZXJp
  dmF0aW9uX3BhaXIyX3Zhcik6CiAgICAgICAgICAgICAgICAgZGVyaXZhdGlvbl9wYWlyP19m
  dW4oZGVyaXZhdGlvbl9wYWlyMV92YXIsIGRlcml2YXRpb25fcGFpcjJfdmFyLCBkZXJpdmF0
  aW9uX3BhaXJfc3ludGF4X2FkdHZhcikKICAgICAgICAgICAgRU5EQ0FTRVM7CgogIHJlZHVj
  ZV9vcmRpbmFsKGRlcml2YXRpb25fcGFpcj9fZnVuOiBbW2lkLCBsaXN0W2lkXV0gLT4gb3Jk
  aW5hbF0pOiAgW2Rlcml2YXRpb25fcGFpcl9zeW50YXggLT4gb3JkaW5hbF0gPQogICAgICBM
  QU1CREEgKGRlcml2YXRpb25fcGFpcl9zeW50YXhfYWR0dmFyOiBkZXJpdmF0aW9uX3BhaXJf
  c3ludGF4KToKICAgICAgICBMRVQgcmVkOiBbZGVyaXZhdGlvbl9wYWlyX3N5bnRheCAtPiBv
  cmRpbmFsXSA9IHJlZHVjZV9vcmRpbmFsKGRlcml2YXRpb25fcGFpcj9fZnVuKSBJTgogICAg
  ICAgICAgQ0FTRVMgZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXIKICAgICAgICAgICAg
  T0YgZGVyaXZhdGlvbl9wYWlyKGRlcml2YXRpb25fcGFpcjFfdmFyLCBkZXJpdmF0aW9uX3Bh
  aXIyX3Zhcik6CiAgICAgICAgICAgICAgICAgZGVyaXZhdGlvbl9wYWlyP19mdW4oZGVyaXZh
  dGlvbl9wYWlyMV92YXIsIGRlcml2YXRpb25fcGFpcjJfdmFyKQogICAgICAgICAgICBFTkRD
  QVNFUzsKCiAgUkVEVUNFX29yZGluYWwoZGVyaXZhdGlvbl9wYWlyP19mdW46IFtbaWQsIGxp
  c3RbaWRdLCBkZXJpdmF0aW9uX3BhaXJfc3ludGF4XSAtPiBvcmRpbmFsXSk6CiAgW2Rlcml2
  YXRpb25fcGFpcl9zeW50YXggLT4gb3JkaW5hbF0gPQogICAgICBMQU1CREEgKGRlcml2YXRp
  b25fcGFpcl9zeW50YXhfYWR0dmFyOiBkZXJpdmF0aW9uX3BhaXJfc3ludGF4KToKICAgICAg
  ICBMRVQgcmVkOiBbZGVyaXZhdGlvbl9wYWlyX3N5bnRheCAtPiBvcmRpbmFsXSA9IFJFRFVD
  RV9vcmRpbmFsKGRlcml2YXRpb25fcGFpcj9fZnVuKSBJTgogICAgICAgICAgQ0FTRVMgZGVy
  aXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXIKICAgICAgICAgICAgT0YgZGVyaXZhdGlvbl9w
  YWlyKGRlcml2YXRpb25fcGFpcjFfdmFyLCBkZXJpdmF0aW9uX3BhaXIyX3Zhcik6CiAgICAg
  ICAgICAgICAgICAgZGVyaXZhdGlvbl9wYWlyP19mdW4oZGVyaXZhdGlvbl9wYWlyMV92YXIs
  IGRlcml2YXRpb25fcGFpcjJfdmFyLCBkZXJpdmF0aW9uX3BhaXJfc3ludGF4X2FkdHZhcikK
  ICAgICAgICAgICAgRU5EQ0FTRVM7CiBFTkQgZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHQK
  CmRlcml2YXRpb25fcGFpcl9zeW50YXhfYWR0X3JlZHVjZVtyYW5nZTogVFlQRV06IFRIRU9S
  WQogQkVHSU4KCiAgSU1QT1JUSU5HIGlkCgogIElNUE9SVElORyBkZXJpdmF0aW9uX3BhaXJf
  c3ludGF4X2FkdAoKICByZWR1Y2UoZGVyaXZhdGlvbl9wYWlyP19mdW46IFtbaWQsIGxpc3Rb
  aWRdXSAtPiByYW5nZV0pOiAgW2Rlcml2YXRpb25fcGFpcl9zeW50YXggLT4gcmFuZ2VdID0K
  ICAgICAgTEFNQkRBIChkZXJpdmF0aW9uX3BhaXJfc3ludGF4X2FkdHZhcjogZGVyaXZhdGlv
  bl9wYWlyX3N5bnRheCk6CiAgICAgICAgTEVUIHJlZDogW2Rlcml2YXRpb25fcGFpcl9zeW50
  YXggLT4gcmFuZ2VdID0gcmVkdWNlKGRlcml2YXRpb25fcGFpcj9fZnVuKSBJTgogICAgICAg
  ICAgQ0FTRVMgZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXIKICAgICAgICAgICAgT0Yg
  ZGVyaXZhdGlvbl9wYWlyKGRlcml2YXRpb25fcGFpcjFfdmFyLCBkZXJpdmF0aW9uX3BhaXIy
  X3Zhcik6CiAgICAgICAgICAgICAgICAgZGVyaXZhdGlvbl9wYWlyP19mdW4oZGVyaXZhdGlv
  bl9wYWlyMV92YXIsIGRlcml2YXRpb25fcGFpcjJfdmFyKQogICAgICAgICAgICBFTkRDQVNF
  UzsKCiAgUkVEVUNFKGRlcml2YXRpb25fcGFpcj9fZnVuOiBbW2lkLCBsaXN0W2lkXSwgZGVy
  aXZhdGlvbl9wYWlyX3N5bnRheF0gLT4gcmFuZ2VdKTogIFtkZXJpdmF0aW9uX3BhaXJfc3lu
  dGF4IC0+IHJhbmdlXSA9CiAgICAgIExBTUJEQSAoZGVyaXZhdGlvbl9wYWlyX3N5bnRheF9h
  ZHR2YXI6IGRlcml2YXRpb25fcGFpcl9zeW50YXgpOgogICAgICAgIExFVCByZWQ6IFtkZXJp
  dmF0aW9uX3BhaXJfc3ludGF4IC0+IHJhbmdlXSA9IFJFRFVDRShkZXJpdmF0aW9uX3BhaXI/
  X2Z1bikgSU4KICAgICAgICAgIENBU0VTIGRlcml2YXRpb25fcGFpcl9zeW50YXhfYWR0dmFy
  CiAgICAgICAgICAgIE9GIGRlcml2YXRpb25fcGFpcihkZXJpdmF0aW9uX3BhaXIxX3Zhciwg
  ZGVyaXZhdGlvbl9wYWlyMl92YXIpOgogICAgICAgICAgICAgICAgIGRlcml2YXRpb25fcGFp
  cj9fZnVuKGRlcml2YXRpb25fcGFpcjFfdmFyLCBkZXJpdmF0aW9uX3BhaXIyX3ZhciwgZGVy
  aXZhdGlvbl9wYWlyX3N5bnRheF9hZHR2YXIpCiAgICAgICAgICAgIEVORENBU0VTOwogRU5E
  IGRlcml2YXRpb25fcGFpcl9zeW50YXhfYWR0X3JlZHVjZQokJCRkZXJpdmF0aW9uX3BhaXJf
  c3ludGF4LnB2cwpkZXJpdmF0aW9uX3BhaXJfc3ludGF4OiBEQVRBVFlQRQogQkVHSU4KICBJ
  TVBPUlRJTkcgaWQKCiAgZGVyaXZhdGlvbl9wYWlyKG5ld19uYW1lOiBpZCwgYmFzZXM6IGxp
  c3RbaWRdKTogZGVyaXZhdGlvbl9wYWlyPwogRU5EIGRlcml2YXRpb25fcGFpcl9zeW50YXgK
  CiQkJGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2FkdC5wdnMKJSUlIEFEVCBmaWxlIGdlbmVy
  YXRlZCBmcm9tIGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4Cgpmb3JtYWxfcGFyYW1ldGVyX3N5
  bnRheF9hZHQ6IFRIRU9SWQogQkVHSU4KCiAgSU1QT1JUSU5HIGlkCgogIGZvcm1hbF9wYXJh
  bWV0ZXJfc3ludGF4OiBUWVBFCgogIGZvcm1hbF9wYXJhbWV0ZXI/OiBbZm9ybWFsX3BhcmFt
  ZXRlcl9zeW50YXggLT4gYm9vbGVhbl0KCiAgZm9ybWFsX3BhcmFtZXRlcjogW1tpZCwgaWRd
  IC0+IChmb3JtYWxfcGFyYW1ldGVyPyldCgogIG5hbWU6IFtmb3JtYWxfcGFyYW1ldGVyX3N5
  bnRheCAtPiBpZF0KCiAgb2ZfdHlwZTogW2Zvcm1hbF9wYXJhbWV0ZXJfc3ludGF4IC0+IGlk
  XQoKICBvcmQoeDogZm9ybWFsX3BhcmFtZXRlcl9zeW50YXgpOiB1cHRvKDApID0KICAgICAg
  Q0FTRVMgeAogICAgICAgIE9GIGZvcm1hbF9wYXJhbWV0ZXIoZm9ybWFsX3BhcmFtZXRlcjFf
  dmFyLCBmb3JtYWxfcGFyYW1ldGVyMl92YXIpOgogICAgICAgICAgICAgMAogICAgICAgIEVO
  RENBU0VTCgogIGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2Zvcm1hbF9wYXJhbWV0ZXJfZXh0
  ZW5zaW9uYWxpdHk6IEFYSU9NCiAgICBGT1JBTEwgKGZvcm1hbF9wYXJhbWV0ZXI/X3Zhcjog
  KGZvcm1hbF9wYXJhbWV0ZXI/KSwKICAgICAgICAgICAgZm9ybWFsX3BhcmFtZXRlcj9fdmFy
  MjogKGZvcm1hbF9wYXJhbWV0ZXI/KSk6CiAgICAgIG5hbWUoZm9ybWFsX3BhcmFtZXRlcj9f
  dmFyKSA9IG5hbWUoZm9ybWFsX3BhcmFtZXRlcj9fdmFyMikgQU5ECiAgICAgICBvZl90eXBl
  KGZvcm1hbF9wYXJhbWV0ZXI/X3ZhcikgPSBvZl90eXBlKGZvcm1hbF9wYXJhbWV0ZXI/X3Zh
  cjIpCiAgICAgICBJTVBMSUVTIGZvcm1hbF9wYXJhbWV0ZXI/X3ZhciA9IGZvcm1hbF9wYXJh
  bWV0ZXI/X3ZhcjI7CgogIGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2Zvcm1hbF9wYXJhbWV0
  ZXJfZXRhOiBBWElPTQogICAgRk9SQUxMIChmb3JtYWxfcGFyYW1ldGVyP192YXI6IChmb3Jt
  YWxfcGFyYW1ldGVyPykpOgogICAgICBmb3JtYWxfcGFyYW1ldGVyKG5hbWUoZm9ybWFsX3Bh
  cmFtZXRlcj9fdmFyKSwKICAgICAgICAgICAgICAgICAgICAgICBvZl90eXBlKGZvcm1hbF9w
  YXJhbWV0ZXI/X3ZhcikpCiAgICAgICA9IGZvcm1hbF9wYXJhbWV0ZXI/X3ZhcjsKCiAgZm9y
  bWFsX3BhcmFtZXRlcl9zeW50YXhfbmFtZV9mb3JtYWxfcGFyYW1ldGVyOiBBWElPTQogICAg
  Rk9SQUxMIChmb3JtYWxfcGFyYW1ldGVyMV92YXI6IGlkLCBmb3JtYWxfcGFyYW1ldGVyMl92
  YXI6IGlkKToKICAgICAgbmFtZShmb3JtYWxfcGFyYW1ldGVyKGZvcm1hbF9wYXJhbWV0ZXIx
  X3ZhciwgZm9ybWFsX3BhcmFtZXRlcjJfdmFyKSkKICAgICAgID0gZm9ybWFsX3BhcmFtZXRl
  cjFfdmFyOwoKICBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF9vZl90eXBlX2Zvcm1hbF9wYXJh
  bWV0ZXI6IEFYSU9NCiAgICBGT1JBTEwgKGZvcm1hbF9wYXJhbWV0ZXIxX3ZhcjogaWQsIGZv
  cm1hbF9wYXJhbWV0ZXIyX3ZhcjogaWQpOgogICAgICBvZl90eXBlKGZvcm1hbF9wYXJhbWV0
  ZXIoZm9ybWFsX3BhcmFtZXRlcjFfdmFyLAogICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgZm9ybWFsX3BhcmFtZXRlcjJfdmFyKSkKICAgICAgID0gZm9ybWFsX3BhcmFtZXRlcjJf
  dmFyOwoKICBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF9pbmNsdXNpdmU6IEFYSU9NCiAgICBG
  T1JBTEwgKGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X3ZhcjogZm9ybWFsX3BhcmFtZXRlcl9z
  eW50YXgpOgogICAgICBmb3JtYWxfcGFyYW1ldGVyPyhmb3JtYWxfcGFyYW1ldGVyX3N5bnRh
  eF92YXIpOwoKICBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF9kaXNqb2ludDogQVhJT00KICAg
  IEZPUkFMTCAoZm9ybWFsX3BhcmFtZXRlcl9zeW50YXhfdmFyOiBmb3JtYWxfcGFyYW1ldGVy
  X3N5bnRheCk6IFRSVUU7CgogIGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2luZHVjdGlvbjog
  QVhJT00KICAgIEZPUkFMTCAocDogW2Zvcm1hbF9wYXJhbWV0ZXJfc3ludGF4IC0+IGJvb2xl
  YW5dKToKICAgICAgKEZPUkFMTCAoZm9ybWFsX3BhcmFtZXRlcjFfdmFyOiBpZCwgZm9ybWFs
  X3BhcmFtZXRlcjJfdmFyOiBpZCk6CiAgICAgICAgIHAoZm9ybWFsX3BhcmFtZXRlcihmb3Jt
  YWxfcGFyYW1ldGVyMV92YXIsIGZvcm1hbF9wYXJhbWV0ZXIyX3ZhcikpKQogICAgICAgSU1Q
  TElFUwogICAgICAgKEZPUkFMTCAoZm9ybWFsX3BhcmFtZXRlcl9zeW50YXhfdmFyOiBmb3Jt
  YWxfcGFyYW1ldGVyX3N5bnRheCk6CiAgICAgICAgICBwKGZvcm1hbF9wYXJhbWV0ZXJfc3lu
  dGF4X3ZhcikpOwoKICBzdWJ0ZXJtKHgsIHk6IGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4KTog
  IGJvb2xlYW4gPSB4ID0geTsKCiAgPDw6ICAod2VsbF9mb3VuZGVkP1tmb3JtYWxfcGFyYW1l
  dGVyX3N5bnRheF0pID0KICAgICAgTEFNQkRBICh4LCB5OiBmb3JtYWxfcGFyYW1ldGVyX3N5
  bnRheCk6IEZBTFNFOwoKICBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF93ZWxsX2ZvdW5kZWQ6
  IEFYSU9NCiAgICB3ZWxsX2ZvdW5kZWQ/W2Zvcm1hbF9wYXJhbWV0ZXJfc3ludGF4XSg8PCk7
  CgogIHJlZHVjZV9uYXQoZm9ybWFsX3BhcmFtZXRlcj9fZnVuOiBbW2lkLCBpZF0gLT4gbmF0
  XSk6CiAgW2Zvcm1hbF9wYXJhbWV0ZXJfc3ludGF4IC0+IG5hdF0gPQogICAgICBMQU1CREEg
  KGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2FkdHZhcjogZm9ybWFsX3BhcmFtZXRlcl9zeW50
  YXgpOgogICAgICAgIExFVCByZWQ6IFtmb3JtYWxfcGFyYW1ldGVyX3N5bnRheCAtPiBuYXRd
  ID0KICAgICAgICAgICAgICByZWR1Y2VfbmF0KGZvcm1hbF9wYXJhbWV0ZXI/X2Z1bikKICAg
  ICAgICAgIElOCiAgICAgICAgICBDQVNFUyBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF9hZHR2
  YXIKICAgICAgICAgICAgT0YgZm9ybWFsX3BhcmFtZXRlcihmb3JtYWxfcGFyYW1ldGVyMV92
  YXIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZm9ybWFsX3BhcmFtZXRlcjJf
  dmFyKToKICAgICAgICAgICAgICAgICBmb3JtYWxfcGFyYW1ldGVyP19mdW4oZm9ybWFsX3Bh
  cmFtZXRlcjFfdmFyLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBm
  b3JtYWxfcGFyYW1ldGVyMl92YXIpCiAgICAgICAgICAgIEVORENBU0VTOwoKICBSRURVQ0Vf
  bmF0KGZvcm1hbF9wYXJhbWV0ZXI/X2Z1bjoKICAgICAgICAgICAgICAgW1tpZCwgaWQsIGZv
  cm1hbF9wYXJhbWV0ZXJfc3ludGF4XSAtPiBuYXRdKToKICAgW2Zvcm1hbF9wYXJhbWV0ZXJf
  c3ludGF4IC0+IG5hdF0gPQogICAgICBMQU1CREEgKGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4
  X2FkdHZhcjogZm9ybWFsX3BhcmFtZXRlcl9zeW50YXgpOgogICAgICAgIExFVCByZWQ6IFtm
  b3JtYWxfcGFyYW1ldGVyX3N5bnRheCAtPiBuYXRdID0KICAgICAgICAgICAgICBSRURVQ0Vf
  bmF0KGZvcm1hbF9wYXJhbWV0ZXI/X2Z1bikKICAgICAgICAgIElOCiAgICAgICAgICBDQVNF
  UyBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF9hZHR2YXIKICAgICAgICAgICAgT0YgZm9ybWFs
  X3BhcmFtZXRlcihmb3JtYWxfcGFyYW1ldGVyMV92YXIsCiAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgZm9ybWFsX3BhcmFtZXRlcjJfdmFyKToKICAgICAgICAgICAgICAgICBm
  b3JtYWxfcGFyYW1ldGVyP19mdW4oZm9ybWFsX3BhcmFtZXRlcjFfdmFyLAogICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3JtYWxfcGFyYW1ldGVyMl92YXIsCiAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZvcm1hbF9wYXJhbWV0ZXJf
  c3ludGF4X2FkdHZhcikKICAgICAgICAgICAgRU5EQ0FTRVM7CgogIHJlZHVjZV9vcmRpbmFs
  KGZvcm1hbF9wYXJhbWV0ZXI/X2Z1bjogW1tpZCwgaWRdIC0+IG9yZGluYWxdKToKICBbZm9y
  bWFsX3BhcmFtZXRlcl9zeW50YXggLT4gb3JkaW5hbF0gPQogICAgICBMQU1CREEgKGZvcm1h
  bF9wYXJhbWV0ZXJfc3ludGF4X2FkdHZhcjogZm9ybWFsX3BhcmFtZXRlcl9zeW50YXgpOgog
  ICAgICAgIExFVCByZWQ6IFtmb3JtYWxfcGFyYW1ldGVyX3N5bnRheCAtPiBvcmRpbmFsXSA9
  CiAgICAgICAgICAgICAgcmVkdWNlX29yZGluYWwoZm9ybWFsX3BhcmFtZXRlcj9fZnVuKQog
  ICAgICAgICAgSU4KICAgICAgICAgIENBU0VTIGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2Fk
  dHZhcgogICAgICAgICAgICBPRiBmb3JtYWxfcGFyYW1ldGVyKGZvcm1hbF9wYXJhbWV0ZXIx
  X3ZhciwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3JtYWxfcGFyYW1ldGVy
  Ml92YXIpOgogICAgICAgICAgICAgICAgIGZvcm1hbF9wYXJhbWV0ZXI/X2Z1bihmb3JtYWxf
  cGFyYW1ldGVyMV92YXIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  IGZvcm1hbF9wYXJhbWV0ZXIyX3ZhcikKICAgICAgICAgICAgRU5EQ0FTRVM7CgogIFJFRFVD
  RV9vcmRpbmFsKGZvcm1hbF9wYXJhbWV0ZXI/X2Z1bjoKICAgICAgICAgICAgICAgICAgIFtb
  aWQsIGlkLCBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF0gLT4gb3JkaW5hbF0pOgogICBbZm9y
  bWFsX3BhcmFtZXRlcl9zeW50YXggLT4gb3JkaW5hbF0gPQogICAgICBMQU1CREEgKGZvcm1h
  bF9wYXJhbWV0ZXJfc3ludGF4X2FkdHZhcjogZm9ybWFsX3BhcmFtZXRlcl9zeW50YXgpOgog
  ICAgICAgIExFVCByZWQ6IFtmb3JtYWxfcGFyYW1ldGVyX3N5bnRheCAtPiBvcmRpbmFsXSA9
  CiAgICAgICAgICAgICAgUkVEVUNFX29yZGluYWwoZm9ybWFsX3BhcmFtZXRlcj9fZnVuKQog
  ICAgICAgICAgSU4KICAgICAgICAgIENBU0VTIGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2Fk
  dHZhcgogICAgICAgICAgICBPRiBmb3JtYWxfcGFyYW1ldGVyKGZvcm1hbF9wYXJhbWV0ZXIx
  X3ZhciwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3JtYWxfcGFyYW1ldGVy
  Ml92YXIpOgogICAgICAgICAgICAgICAgIGZvcm1hbF9wYXJhbWV0ZXI/X2Z1bihmb3JtYWxf
  cGFyYW1ldGVyMV92YXIsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  IGZvcm1hbF9wYXJhbWV0ZXIyX3ZhciwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgZm9ybWFsX3BhcmFtZXRlcl9zeW50YXhfYWR0dmFyKQogICAgICAgICAgICBF
  TkRDQVNFUzsKIEVORCBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF9hZHQKCmZvcm1hbF9wYXJh
  bWV0ZXJfc3ludGF4X2FkdF9yZWR1Y2VbcmFuZ2U6IFRZUEVdOiBUSEVPUlkKIEJFR0lOCgog
  IElNUE9SVElORyBpZAoKICBJTVBPUlRJTkcgZm9ybWFsX3BhcmFtZXRlcl9zeW50YXhfYWR0
  CgogIHJlZHVjZShmb3JtYWxfcGFyYW1ldGVyP19mdW46IFtbaWQsIGlkXSAtPiByYW5nZV0p
  OgogIFtmb3JtYWxfcGFyYW1ldGVyX3N5bnRheCAtPiByYW5nZV0gPQogICAgICBMQU1CREEg
  KGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2FkdHZhcjogZm9ybWFsX3BhcmFtZXRlcl9zeW50
  YXgpOgogICAgICAgIExFVCByZWQ6IFtmb3JtYWxfcGFyYW1ldGVyX3N5bnRheCAtPiByYW5n
  ZV0gPQogICAgICAgICAgICAgIHJlZHVjZShmb3JtYWxfcGFyYW1ldGVyP19mdW4pCiAgICAg
  ICAgICBJTgogICAgICAgICAgQ0FTRVMgZm9ybWFsX3BhcmFtZXRlcl9zeW50YXhfYWR0dmFy
  CiAgICAgICAgICAgIE9GIGZvcm1hbF9wYXJhbWV0ZXIoZm9ybWFsX3BhcmFtZXRlcjFfdmFy
  LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZvcm1hbF9wYXJhbWV0ZXIyX3Zh
  cik6CiAgICAgICAgICAgICAgICAgZm9ybWFsX3BhcmFtZXRlcj9fZnVuKGZvcm1hbF9wYXJh
  bWV0ZXIxX3ZhciwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZm9y
  bWFsX3BhcmFtZXRlcjJfdmFyKQogICAgICAgICAgICBFTkRDQVNFUzsKCiAgUkVEVUNFKGZv
  cm1hbF9wYXJhbWV0ZXI/X2Z1bjoKICAgICAgICAgICBbW2lkLCBpZCwgZm9ybWFsX3BhcmFt
  ZXRlcl9zeW50YXhdIC0+IHJhbmdlXSk6CiAgIFtmb3JtYWxfcGFyYW1ldGVyX3N5bnRheCAt
  PiByYW5nZV0gPQogICAgICBMQU1CREEgKGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4X2FkdHZh
  cjogZm9ybWFsX3BhcmFtZXRlcl9zeW50YXgpOgogICAgICAgIExFVCByZWQ6IFtmb3JtYWxf
  cGFyYW1ldGVyX3N5bnRheCAtPiByYW5nZV0gPQogICAgICAgICAgICAgIFJFRFVDRShmb3Jt
  YWxfcGFyYW1ldGVyP19mdW4pCiAgICAgICAgICBJTgogICAgICAgICAgQ0FTRVMgZm9ybWFs
  X3BhcmFtZXRlcl9zeW50YXhfYWR0dmFyCiAgICAgICAgICAgIE9GIGZvcm1hbF9wYXJhbWV0
  ZXIoZm9ybWFsX3BhcmFtZXRlcjFfdmFyLAogICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgIGZvcm1hbF9wYXJhbWV0ZXIyX3Zhcik6CiAgICAgICAgICAgICAgICAgZm9ybWFsX3Bh
  cmFtZXRlcj9fZnVuKGZvcm1hbF9wYXJhbWV0ZXIxX3ZhciwKICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgZm9ybWFsX3BhcmFtZXRlcjJfdmFyLAogICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3JtYWxfcGFyYW1ldGVyX3N5bnRheF9h
  ZHR2YXIpCiAgICAgICAgICAgIEVORENBU0VTOwogRU5EIGZvcm1hbF9wYXJhbWV0ZXJfc3lu
  dGF4X2FkdF9yZWR1Y2UKJCQkaWQucHZzCmlkIDogVEhFT1JZCiAgQkVHSU4KICBpZCA6IFRZ
  UEUgPSBzdHJpbmcKJSAgaWQobmFtZSA6IHN0cmluZykgOiBpZD8KICBFTkQgaWQKCiQkJGZv
  cm1hbF9wYXJhbWV0ZXJfc3ludGF4LnB2cwpmb3JtYWxfcGFyYW1ldGVyX3N5bnRheDogREFU
  QVRZUEUKICBCRUdJTgogIElNUE9SVElORyBpZAogIGZvcm1hbF9wYXJhbWV0ZXIobmFtZSA6
  IGlkLCBvZl90eXBlIDogaWQpIDogZm9ybWFsX3BhcmFtZXRlcj8KICBFTkQgZm9ybWFsX3Bh
  cmFtZXRlcl9zeW50YXgKCiQkJGJhc2Vfc3ludGF4LnB2cwpiYXNlX3N5bnRheCA6IFRIRU9S
  WQogIEJFR0lOCiAgSU1QT1JUSU5HIGZvcm1hbF9wYXJhbWV0ZXJfc3ludGF4LCBkZXJpdmF0
  aW9uX3BhaXJfc3ludGF4CgoKICBFTkQgYmFzZV9zeW50YXgK
  --------------080107040707050600080405--

How-To-Repeat: 

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