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

PVS Bug 1084


Synopsis:        PVS-DEVEL post from anacrismarie@gmail.com requires approval
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Wed Dec 07 10:05:00 -0800 2011
Originator:      pvs-devel-owner@csl.sri.com
Release:         PVS 5.0
Organization:    csl.sri.com
Environment: 
 System:          
 Architecture: 

Description: 
  --===============1192146436==
  Content-Type: text/plain; charset="us-ascii"
  MIME-Version: 1.0
  Content-Transfer-Encoding: 7bit
  
  As list administrator, your authorization is requested for the
  following mailing list posting:
  
      List:    PVS-DEVEL@csl.sri.com
      From:    anacrismarie@gmail.com
      Subject: Problems with types
      Reason:  Post by non-member to a members-only list
  
  At your convenience, visit:
  
      http://lists.csl.sri.com/mailman/admindb/pvs-devel
          
  to approve or deny the request.
  
  --===============1192146436==
  Content-Type: message/rfc822
  MIME-Version: 1.0
  
  X-Spam-Checker-Version: SpamAssassin 3.1.1 (2006-03-10) on postal.csl.sri.com
  X-Spam-Status: No, hits=-1.2 required=5.0 tests=BAYES_00=-2.599,
  	HTML_10_20=1.351,HTML_MESSAGE=0.001 autolearn=no version=3.1.1 
  	date=Wed, 07 Dec 2011 07:06:10 -0800
  X-Spam-Level: 
  X-Original-Received: from mx1.csl.sri.com (mx1.csl.sri.com [130.107.1.29])
  	by postal.csl.sri.com (8.13.8/8.13.8) with ESMTP id pB7F63NL043629
  	for <pvs-devel@postal.csl.sri.com>; Wed, 7 Dec 2011 07:06:03 -0800 (PST
 )
  	(envelope-from anacrismarie@gmail.com)
  X-Original-Received: from brightmail-external4.sri.com
  	(brightmail-external4.SRI.COM [128.18.85.126])
  	by mx1.csl.sri.com (8.13.8/8.13.8) with ESMTP id pB7F5wLQ002208
  	for <pvs-devel@csl.sri.com>; Wed, 7 Dec 2011 07:05:58 -0800 (PST)
  	(envelope-from anacrismarie@gmail.com)
  X-AuditID: 8012557e-b7b18ae000007609-77-4edf80daa77a
  X-Original-Received: from mail-qw0-f47.google.com (mail-qw0-f47.google.com
  	[209.85.216.47])
  	(using TLS with cipher RC4-SHA (RC4-SHA/128 bits))
  	(Client did not present a certificate)
  	by brightmail-external4.sri.com (SRI External SMTP Gateway) with SMTP
  	id BF.9C.30217.AD08FDE4; Wed,  7 Dec 2011 07:06:03 -0800 (PST)
  X-Original-Received: by qadb17 with SMTP id b17so4027587qad.6
  	for <pvs-devel@csl.sri.com>; Wed, 07 Dec 2011 07:06:01 -0800 (PST)
  DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
  	h=mime-version:date:message-id:subject:from:to:content-type;
  	bh=U/1/y5U+4kSZZ0Yv9XP773l6/FF2M2AbQkwYcx2qIs0=;
  	b=WHD6VP88JADgCCZ77FWEP4Hf9zTACJexH/iZ33lU4b/3LtArB2KIs0wQ86qHXAQQYo
  	9yqTErBIcTUs5Z3z0x5tqqVJD/qvR/RiVDkT/mVqH5sULiivjpriGxp48iXyquqpxzO3
  	ZBXKpZahnG7dNaOls9cLkEiv2dfw0RFYfGf3o=
  MIME-Version: 1.0
  X-Original-Received: by 10.182.89.105 with SMTP id
  	bn9mr2932307obb.65.1323270361371; Wed,
  	07 Dec 2011 07:06:01 -0800 (PST)
  X-Original-Received: by 10.182.92.227 with HTTP;
  	Wed, 7 Dec 2011 07:06:01 -0800 (PST)
  Date: Wed, 7 Dec 2011 13:06:01 -0200
  Message-ID: <CA+L3N1qEyg-1KKhQfG5_wf2SVbn3t_WgT0AvLAaoYD1brqwQqA@mail.gmail.c
 om>
  Subject: Problems with types
  From: Ana Cristina Rocha Oliveira <anacrismarie@gmail.com>
  To: pvs-devel@csl.sri.com
  Content-Type: multipart/mixed; boundary=14dae93994afd4d35704b381e317
  X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFprIJsWRWlGSWpSXmKPExsVyMfSGvu7thvt+Bm9
 us1p8v/qKxYHRY8Hb
  	p4wBjFFcNimpOZllqUX6dglcGe8fTGUsaJvGXLG07xBjA+P7DuYuRk4OCQETiReLWtghbDG
 J
  	C/fWs3UxcnEICWxlkthxfhoLSEJIoE6it2cWO0iCRWARs8TFeyvBOngFBCVOznwCVVQosfH
 i
  	D6YuRg4g20viU785SJhFQEXiy71fjBDlARLtOy6A2cICMhLrHj5nBbHZBKwkbt15zgZiiwh
 I
  	SmyfvwNsPLOAi8TGOSuYJzDyzUKybRaSFITtJfF36T12CFtH4l3fA6i4tsSyha/h7FW9Z5k
 w
  	xUMktv1uZYOwAyVObJ8FNV9RYkr3Q7CZEkCn7n17jhUiHiRx4elTqDk+Eu8XnmHHpv7yrpP
 M
  	Cxj5VzHKJBVlpmeU5CZm5ujCIs5Er7goUy85P3cTIzAKG4RC63Ywbvqtc4hRgINRiYd3o8M
 9
  	PyHWxLLiytxDjJIcTEqivIaV9/2E+JLyUyozEosz4otKc1KLDzFKcDArifC6ZADleFMSK6t
 S
  	i/JhUtIcLErivG1Knb5CAumJJanZqakFqUUwWSYO9kOMMhwcShK8zMC0IyRYlJqeWpGWmVO
 C
  	rIYTZAMP0IY/9SAbigsSc4sz0yHypxiNORrv959h5Li2d9IZRiGWvPy8VClx3nsgpQIgpRm
 l
  	eXDTQCm1/v///5cYZaWEeRkZGBiEeIDOyc0sQciDUvIrRnFgCAjz/gWZwpOZVwK37xXQKUx
 A
  	p/BF3QU5pSQRISXVwNgcxsXWa5298xnLhHp5lyNa6pVf44zmsc9WD/4+cV/6vUcFi2rWct9
 5
  	+jmP7/xlxllXHd232W1LafLl95EXmcnwXSHBYFr2yyea3s/3StQ33bhTwpbwtyX2jcqKyx4
 u
  	Kw1uNJb4Bl28fOm46qG01AeVKZZ6v56/tv1Y1MJl7dViUmwuILhjmxJLcUaioRZzUXEiAN/
 V
  	KoukAwAA
  X-SRI-Archive: pvs-devel
  
  --14dae93994afd4d35704b381e317
  Content-Type: multipart/alternative; boundary=14dae93994afd4d35404b381e315
  
  --14dae93994afd4d35404b381e315
  Content-Type: text/plain; charset=ISO-8859-1
  Content-Transfer-Encoding: quoted-printable
  
  Hi,
  
  I have found some problems with types in my work.
  I created a new definition that works with finite sequences
  of several different types (choose_seq) and a lemma
  about it.
  
  The type checking works perfectly but, when I invocate
  the referred lemma in other theory, I can not do it properly,
  although I am doing exactly equal to the way I have done
  before:
  
  (lemma choose_seq_preserv_length[position]) or
  (lemma choose_seq_preserv_length[position,variable,symbol,arity])
  for example.
  
  So, I did four different definitions doing the same thing
  to my four different types. Now I can invocate the lemma,
  but I think this way is not very smart.
  
  I am sending the files. I use TRS theory in nasalib and
  the lemma where I tried invocate the result about choose_seq
  is the last one.
  
  Thanks!
  
  I am looking forward.
  
  Ana Cristina Rocha Oliveira
  Master Degree - Universidade de Bras=EDlia - Brazil
  
  --14dae93994afd4d35404b381e315
  Content-Type: text/html; charset=ISO-8859-1
  Content-Transfer-Encoding: quoted-printable
  
  Hi, <br><br>I have found some problems with types in my work.<br>I created =
  a new definition that works with finite sequences<br>of several different t=
  ypes (choose_seq) and a lemma<br>about it.<br><br>The type checking works p=
  erfectly but, when I invocate <br>
  the referred lemma in other theory, I can not do it properly, <br>although =
  I am doing exactly equal to the way I have done <br>before:<br><br>(lemma c=
  hoose_seq_preserv_length[position]) or<br>(lemma choose_seq_preserv_length[=
  position,variable,symbol,arity])<br>
  for example.<br><br>So, I did four different definitions doing the same thi=
  ng<br>to my four different types. Now I can invocate the lemma,<br>but I th=
  ink this way is not very smart.<br><br>I am sending the files. I use TRS th=
  eory in nasalib and<br>
  the lemma where I tried invocate the result about choose_seq<br>is the last=
   one.<br><br>Thanks!<br><br>I am looking forward.<br><br>Ana Cristina Rocha=
   Oliveira<br>Master Degree - Universidade de Bras=EDlia - Brazil<br><br><br=
  >
  <br><br>
  
  --14dae93994afd4d35404b381e315--
  --14dae93994afd4d35704b381e317
  Content-Type: application/octet-stream; 
  	name="orthogonality_four_definitions.pvs"
  Content-Disposition: attachment; filename="orthogonality_four_definitions.pvs
 "
  Content-Transfer-Encoding: base64
  X-Attachment-Id: f_gvwgaaxe0
  
  JSUtLS0tLS0tLS0tLS0tLS0tLS0tKiogVGVybSBSZXdyaXRpbmcgU3lzdGVtIChUUlMpICoqLS0t
  LS0tLS0tLS0tLS0tLS0tLS0tLS0tCiUlICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKJSUgQXV0aG9ycyAgICAg
  ICAgIDogQW5hIENyaXN0aW5hIFJvY2hhIE9saXZlaXJhIGFuZCBNYXVyaWNpbyBBeWFsYSBSaW5j
  b24gIAolJSAgICAgICAgICAgICAgICAgICBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIC0gQnJh
  c2lsICAgICAgICAgCiUlIExhc3QgTW9kaWZpZWQgT246IFNlcCAwNSwgMjAxMSAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgCiUlICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKJSUtLS0tLS0t
  LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
  LS0tLS0tLS0tLQoKbWVtX3Rlc3RbVDogVFlQRV0gOiBUSEVPUlkKQkVHSU4KICAgICAgIElNUE9S
  VElORyAgIFRSU0BmaW5pdGVfc2VxdWVuY2VzX2V4dHJhc1tUXQoKICAgICAgICAgICAgICB4IDog
  VkFSIFQKICAgICAgICAgICAgIHNlcTogVkFSIGZpbnNlcVtUXQogICAgICAgICAgICAKIG1lbV9z
  ZXEoeCwgc2VxKTogUkVDVVJTSVZFIGJvb2wgPQogICAgIElGIGxlbmd0aChzZXEpID0gMCBUSEVO
  IGZhbHNlCiAgICAgRUxTSUYgeCA9IHNlcSgwKSBUSEVOIHRydWUgCiAgICAgRUxTRSBtZW1fc2Vx
  KHgsIHJlc3Qoc2VxKSkKICAgICBFTkRJRgogIE1FQVNVUkUgbGVuZ3RoKHNlcSkKCiAgIHNlcTJz
  ZXQoc2VxKTogIFJFQ1VSU0lWRSBzZXRbVF0gPSAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICBJRiBzZXFgbGVuZ3RoID0gMCBUSEVOIGVt
  cHR5c2V0ICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgIEVMU0Ug
  YWRkKHNlcSgwKSwgc2VxMnNldChyZXN0KHNlcSkpKSAgICAgICAgICAgICAgICAgICAgCiAgICAg
  ICAgICAgICAgICAgICAgRU5ESUYgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICBNRUFTVVJFIGxlbmd0aChzZXEpCgog
  c2VxMnNldF9sZW5ndGg6IExFTU1BCiAgICBsZW5ndGgoc2VxKSA+IDAKICAgICAgSU1QTElFUyBz
  ZXEyc2V0KHNlcSkgPSBzaW5nbGV0b24oc2VxKDApKSBPUiBsZW5ndGgocmVzdChzZXEpKSA+IDAK
  CiBzZXEyc2V0X2luZGV4OiBMRU1NQQogICAgc2VxYGxlbmd0aCAvPSAwIElNUExJRVMgKHNlcTJz
  ZXQoc2VxKSh4KSBJRkYKICAgICAgICAgICAgICAgICAgICAgICAgICAgIEVYSVNUUyAoaTogYmVs
  b3dbc2VxYGxlbmd0aF0pOiB4ID0gc2VxKGkpKQoKIG1lbV9zZXFfaW5fc2VxMnNldDogTEVNTUEK
  ICAgIG1lbV9zZXEoeCwgc2VxKSBJRkYgc2VxMnNldChzZXEpKHgpCgpFTkQgbWVtX3Rlc3QKCiUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJQolJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCm1lbV90ZXN0MlsgdmFy
  aWFibGU6VFlQRSssIHN5bWJvbDogVFlQRSssIGFyaXR5OiBbc3ltYm9sIC0+IG5hdF1dIAogOiBU
  SEVPUlkKQkVHSU4KICAgICAgIElNUE9SVElORyAgVFJTQHRyc1t2YXJpYWJsZSxzeW1ib2wsYXJp
  dHldLAogICAgICAgICAgICAgICAlICAgVFJTQGZpbml0ZV9zZXF1ZW5jZXNfZXh0cmFzW1QxXSwK
  ICAgICAgICAgICAgICAgICAgVFJTQGZpbml0ZV9zZXF1ZW5jZXNfZXh0cmFzW3Bvc2l0aW9uXSwK
  ICAgICAgICAgICAgICAgICAgVFJTQGZpbml0ZV9zZXF1ZW5jZXNfZXh0cmFzW3Jld3JpdGVfcnVs
  ZV0sCiAgICAgICAgICAgICAgICAgIFRSU0BmaW5pdGVfc2VxdWVuY2VzX2V4dHJhc1tTdWJdLAog
  ICAgICAgICAgICAgICAgICBUUlNAZmluaXRlX3NlcXVlbmNlc19leHRyYXNbdGVybV0sCiAgICAg
  ICAgICAgICAgICAgIG1lbV90ZXN0W3Bvc2l0aW9uXQoKICAgICAgICAgICAgc2VxLCBzZXExOiBW
  QVIgZmluc2VxW3Bvc2l0aW9uXQogICAgICAgICAgICAgICAgIHNlcTI6IFZBUiBmaW5zZXFbdGVy
  bV0KCiBEZWxldGVfdChzZXE6UFAsIHNlcTE6UFAsIChzZXEyIDogZmluc2VxW3Rlcm1dIHwgc2Vx
  MWBsZW5ndGg9c2VxMmBsZW5ndGgpKToKICBSRUNVUlNJVkUgZmluc2VxW3Rlcm1dID0gSUYgbGVu
  Z3RoKHNlcTEpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgRUxTSUYgbWVtX3NlcShzZXExKDAp
  LHNlcSkKICAgICAgICAgVEhFTiBEZWxldGVfdChzZXEsIHJlc3Qoc2VxMSksIHJlc3Qoc2VxMikp
  CiAgICAgICAgIEVMU0UgYWRkX2ZpcnN0KHNlcTIoMCksRGVsZXRlX3Qoc2VxLHJlc3Qoc2VxMSks
  cmVzdChzZXEyKSkpCiAgIEVORElGIE1FQVNVUkUobGVuZ3RoKHNlcTEpKQoKIGNob29zZV9zZXFf
  dChzZXE6UFAsIHNlcTE6UFAsIChzZXEyIDogZmluc2VxW3Rlcm1dICB8IHNlcTFgbGVuZ3RoPXNl
  cTJgbGVuZ3RoKSk6CiAgUkVDVVJTSVZFIGZpbnNlcVt0ZXJtXSA9IElGIGxlbmd0aChzZXExKT0w
  IFRIRU4gZW1wdHlfc2VxCiAgICAgICAgIEVMU0lGIG1lbV9zZXEoc2VxMSgwKSxzZXEpCiAgICAg
  ICAgIFRIRU4gYWRkX2ZpcnN0KHNlcTIoMCksY2hvb3NlX3NlcV90KHNlcSxyZXN0KHNlcTEpLHJl
  c3Qoc2VxMikpKQogICAgICAgICBFTFNFIGNob29zZV9zZXFfdChzZXEscmVzdChzZXExKSxyZXN0
  KHNlcTIpKQogICBFTkRJRiBNRUFTVVJFKGxlbmd0aChzZXExKSkKCgpEZWxldGVfcnIoc2VxOlBQ
  LCBzZXExOlBQLCAoc2VxMiA6IGZpbnNlcVtyZXdyaXRlX3J1bGVdIHwgc2VxMWBsZW5ndGg9c2Vx
  MmBsZW5ndGgpKToKICBSRUNVUlNJVkUgZmluc2VxW3Jld3JpdGVfcnVsZV0gPSBJRiBsZW5ndGgo
  c2VxMSk9MCBUSEVOIGVtcHR5X3NlcQogICAgICAgICBFTFNJRiBtZW1fc2VxKHNlcTEoMCksc2Vx
  KQogICAgICAgICBUSEVOIERlbGV0ZV9ycihzZXEsIHJlc3Qoc2VxMSksIHJlc3Qoc2VxMikpCiAg
  ICAgICAgIEVMU0UgYWRkX2ZpcnN0KHNlcTIoMCksRGVsZXRlX3JyKHNlcSxyZXN0KHNlcTEpLHJl
  c3Qoc2VxMikpKQogICBFTkRJRiBNRUFTVVJFKGxlbmd0aChzZXExKSkKCiBjaG9vc2Vfc2VxX3Jy
  KHNlcTpQUCwgc2VxMTpQUCwgKHNlcTIgOiBmaW5zZXFbcmV3cml0ZV9ydWxlXSAgfCBzZXExYGxl
  bmd0aD1zZXEyYGxlbmd0aCkpOgogIFJFQ1VSU0lWRSBmaW5zZXFbcmV3cml0ZV9ydWxlXSA9IElG
  IGxlbmd0aChzZXExKT0wIFRIRU4gZW1wdHlfc2VxCiAgICAgICAgIEVMU0lGIG1lbV9zZXEoc2Vx
  MSgwKSxzZXEpCiAgICAgICAgIFRIRU4gYWRkX2ZpcnN0KHNlcTIoMCksY2hvb3NlX3NlcV9ycihz
  ZXEscmVzdChzZXExKSxyZXN0KHNlcTIpKSkKICAgICAgICAgRUxTRSBjaG9vc2Vfc2VxX3JyKHNl
  cSxyZXN0KHNlcTEpLHJlc3Qoc2VxMikpCiAgIEVORElGIE1FQVNVUkUobGVuZ3RoKHNlcTEpKQoK
  RGVsZXRlX1Moc2VxOlBQLCBzZXExOlBQLCAoc2VxMiA6IGZpbnNlcVtTdWJdIHwgc2VxMWBsZW5n
  dGg9c2VxMmBsZW5ndGgpKToKICBSRUNVUlNJVkUgZmluc2VxW1N1Yl0gPSBJRiBsZW5ndGgoc2Vx
  MSk9MCBUSEVOIGVtcHR5X3NlcQogICAgICAgICBFTFNJRiBtZW1fc2VxKHNlcTEoMCksc2VxKQog
  ICAgICAgICBUSEVOIERlbGV0ZV9TKHNlcSwgcmVzdChzZXExKSwgcmVzdChzZXEyKSkKICAgICAg
  ICAgRUxTRSBhZGRfZmlyc3Qoc2VxMigwKSxEZWxldGVfUyhzZXEscmVzdChzZXExKSxyZXN0KHNl
  cTIpKSkKICAgRU5ESUYgTUVBU1VSRShsZW5ndGgoc2VxMSkpCgogY2hvb3NlX3NlcV9TKHNlcTpQ
  UCwgc2VxMTpQUCwgKHNlcTIgOiBmaW5zZXFbU3ViXSAgfCBzZXExYGxlbmd0aD1zZXEyYGxlbmd0
  aCkpOgogIFJFQ1VSU0lWRSBmaW5zZXFbU3ViXSA9IElGIGxlbmd0aChzZXExKT0wIFRIRU4gZW1w
  dHlfc2VxCiAgICAgICAgIEVMU0lGIG1lbV9zZXEoc2VxMSgwKSxzZXEpCiAgICAgICAgIFRIRU4g
  YWRkX2ZpcnN0KHNlcTIoMCksY2hvb3NlX3NlcV9TKHNlcSxyZXN0KHNlcTEpLHJlc3Qoc2VxMikp
  KQogICAgICAgICBFTFNFIGNob29zZV9zZXFfUyhzZXEscmVzdChzZXExKSxyZXN0KHNlcTIpKQog
  ICBFTkRJRiBNRUFTVVJFKGxlbmd0aChzZXExKSkKCkRlbGV0ZV9wKHNlcTpQUCwgc2VxMTpQUCwg
  KHNlcTIgOiBmaW5zZXFbcG9zaXRpb25dIHwgc2VxMWBsZW5ndGg9c2VxMmBsZW5ndGgpKToKICBS
  RUNVUlNJVkUgZmluc2VxW3Bvc2l0aW9uXSA9IElGIGxlbmd0aChzZXExKT0wIFRIRU4gZW1wdHlf
  c2VxCiAgICAgICAgIEVMU0lGIG1lbV9zZXEoc2VxMSgwKSxzZXEpCiAgICAgICAgIFRIRU4gRGVs
  ZXRlX3Aoc2VxLCByZXN0KHNlcTEpLCByZXN0KHNlcTIpKQogICAgICAgICBFTFNFIGFkZF9maXJz
  dChzZXEyKDApLERlbGV0ZV9wKHNlcSxyZXN0KHNlcTEpLHJlc3Qoc2VxMikpKQogICBFTkRJRiBN
  RUFTVVJFKGxlbmd0aChzZXExKSkKCiBjaG9vc2Vfc2VxX3Aoc2VxOlBQLCBzZXExOlBQLCAoc2Vx
  MiA6IGZpbnNlcVtwb3NpdGlvbl0gIHwgc2VxMWBsZW5ndGg9c2VxMmBsZW5ndGgpKToKICBSRUNV
  UlNJVkUgZmluc2VxW3Bvc2l0aW9uXSA9IElGIGxlbmd0aChzZXExKT0wIFRIRU4gZW1wdHlfc2Vx
  CiAgICAgICAgIEVMU0lGIG1lbV9zZXEoc2VxMSgwKSxzZXEpCiAgICAgICAgIFRIRU4gYWRkX2Zp
  cnN0KHNlcTIoMCksY2hvb3NlX3NlcV9wKHNlcSxyZXN0KHNlcTEpLHJlc3Qoc2VxMikpKQogICAg
  ICAgICBFTFNFIGNob29zZV9zZXFfcChzZXEscmVzdChzZXExKSxyZXN0KHNlcTIpKQogICBFTkRJ
  RiBNRUFTVVJFKGxlbmd0aChzZXExKSkKCiBjaG9vc2Vfc2VxX3ByZXNlcnZfbGVuZ3RoOiBDT05K
  RUNUVVJFCiAgIChGT1JBTEwoaTpiZWxvd1tzZXFgbGVuZ3RoXSk6bWVtX3NlcShzZXFgc2VxKGkp
  LHNlcTEpKSAmCiAgIHNlcTFgbGVuZ3RoPXNlcTJgbGVuZ3RoICYgUFA/KHNlcSkgJiBQUD8oc2Vx
  MSkKICAgSU1QTElFUyBzZXFgbGVuZ3RoPWNob29zZV9zZXFfdChzZXEsc2VxMSxzZXEyKWBsZW5n
  dGgKCkVORCBtZW1fdGVzdDIKCgolJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlCgpvcnRob2dvbmFsaXR5W1Q6VFlQRSwgdmFyaWFibGU6VFlQRSssIHN5bWJvbDogVFlQ
  RSssIGFyaXR5OiBbc3ltYm9sIC0+IG5hdF1dOiBUSEVPUlkKCiBCRUdJTgoKICAgQVNTVU1JTkcK
  IAogICAgIElNUE9SVElORyAKICAgICAgICAgICAgICAgVFJTQHZhcmlhYmxlc190ZXJtW3Zhcmlh
  YmxlLHN5bWJvbCwgYXJpdHldLAogICAgICAgICAgICAgICBzZXRzX2F1eEBjb3VudGFiaWxpdHlb
  dGVybV0sCiAgICAgICAgICAgICAgIHNldHNfYXV4QGNvdW50YWJsZV9wcm9wc1t0ZXJtXQogCiAg
  ICAgdmFyX2NvdW50YWJsZTogQVNTVU1QVElPTgkgaXNfY291bnRhYmx5X2luZmluaXRlKFYpCiAg
  ICAgIAoKICAgRU5EQVNTVU1JTkcKCgogICAgSU1QT1JUSU5HIFRSU0Bjcml0aWNhbF9wYWlyc1t2
  YXJpYWJsZSxzeW1ib2wsYXJpdHldLAogICAgICAgICAgICAgIG1lbV90ZXN0Mlt2YXJpYWJsZSxz
  eW1ib2wsYXJpdHldLAogICAgICAgICAgICAgICUgbWVtX3Rlc3QyW3Jld3JpdGVfcnVsZSx2YXJp
  YWJsZSxzeW1ib2wsYXJpdHldLAogICAgICAgICAgICAgICUgbWVtX3Rlc3QyW1N1Yix2YXJpYWJs
  ZSxzeW1ib2wsYXJpdHldLAogICAgICAgICAgICAgICUgbWVtX3Rlc3QyW3Rlcm0sdmFyaWFibGUs
  c3ltYm9sLGFyaXR5XSwKICAgICAgICAgICAgICBtZW1fdGVzdFsoVildLAogICAgICAgICAgICAg
  IFRSU0BmaW5pdGVfc2VxdWVuY2VzX2V4dHJhc1tmaW5zZXFbKFYpXV0sIAogICAgICAgICAgICAg
  IFRSU0BmaW5pdGVfc2VxdWVuY2VzX2V4dHJhc1tmaW5zZXFbdGVybV1dICAgICAgICAgICAKICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICBuOiBWQVIgbmF0CiAgICAgICAgICAgICAgICAgICAgcywgdCwgdDEsIHQyOiBW
  QVIgdGVybSAKICAgc2lnbWEsIHNnMSwgc2cyLCBhbHBoYSwgZGVsdGE6IFZBUiBTdWIKICAgICAg
  ICAgICAgICAgICAgICAgIHAscDEscDIscDM6IFZBUiBwb3NpdGlvbgogICAgICAgICAgICAgICAg
  IHJobywgcmhvMSwgcmhvMjogVkFSIFJlbiAKICAgZSwgZTFvLCBlMm8sIGUxLCBlMXAsIGUyLCBl
  MnA6IFZBUiByZXdyaXRlX3J1bGUKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEU6IFZB
  UiBzZXRbcmV3cml0ZV9ydWxlXQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgUjogVkFS
  IHByZWRbW3Rlcm0sIHRlcm1dXQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgeDogVkFS
  IChWKQogICAgICAgICAgICBmc3EsIGZzcCwgZnNwMSwgZnNwMjogVkFSIGZpbnNlcVtwb3NpdGlv
  bl0KICAgICAgICAgICAgICAgICBmc2UsIGZzZTEsIGZzZTI6IFZBUiBmaW5zZXFbcmV3cml0ZV9y
  dWxlXQogICAgICAgICAgICAgICAgIGZzcywgZnNzMSwgZnNzMjogVkFSIGZpbnNlcVtTdWJdCiAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgZnN2OiBWQVIgZmluc2VxWyhWKV0KICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICBmc3Q6IFZBUiBmaW5zZXFbdGVybV0KIAolJSUlIEF1eGlsaWFy
  IGRlZmluaXRpb25zICUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlCgogQW1iaWd1b3VzPyhFKTogYm9vbCA9ICBFWElTVFMgKHQxLCB0MikgOiBDUD8o
  RSkodDEsdDIpCgogbGluZWFyPyh0KTogYm9vbCA9IEZPUkFMTCAoeCB8IG1lbWJlcih4LFZhcnMo
  dCkpKSA6IENhcmRbcG9zaXRpb25dKFBvc192YXIodCx4KSkgPSAxIAoKIFJpZ2h0X0xpbmVhcj8o
  RSk6IGJvb2wgPSBGT1JBTEwgKGUxIHwgbWVtYmVyKGUxLCBFKSkgOiBsaW5lYXI/KHJocyhlMSkp
  ICAgCiBMZWZ0X0xpbmVhcj8oRSk6IGJvb2wgPSBGT1JBTEwgKGUxIHwgbWVtYmVyKGUxLCBFKSkg
  OiBsaW5lYXI/KGxocyhlMSkpICAgCgogTGluZWFyPyhFKTogYm9vbCA9IExlZnRfTGluZWFyPyhF
  KSBBTkQgUmlnaHRfTGluZWFyPyhFKQoKIAogbG9jYWxfam9pbmFiaWxpdHlfdHJpYW5nbGU/KFIp
  IDogYm9vbCA9IChGT1JBTEwodCwgdDEsIHQyKSA6IChSKHQsIHQxKSAmIFIodCwgdDIpID0+CiAg
  ICAgICAgICAgICAgIEVYSVNUUyBzIDogKFJDKFIpKHQxLCBzKSAmIFIodDIsIHMpKQogICAgICAg
  ICAgICAgICAgICAgICAgIE9SIChSKHQxLCBzKSAmIFJDKFIpKHQyLCBzKSkpKQoKCiBPcnRob2dv
  bmFsPyhFKTogYm9vbCA9ICBMZWZ0X0xpbmVhcj8oRSkgJiBOT1QgQW1iaWd1b3VzPyhFKQoKIE9y
  dGhvZ29uYWw6IFRZUEUgPSAoT3J0aG9nb25hbD8pCgogcmVwbGFjZV9wYXJfcG9zKHMsIChmc3Ag
  OiBTUFAocykpLCBmc2UgfCBmc2VgbGVuZ3RoID0gZnNwYGxlbmd0aCwgZnNzICB8IGZzc2BsZW5n
  dGggPSBmc3BgbGVuZ3RoKTogUkVDVVJTSVZFIAogICAgdGVybSA9CiAgICAgIElGIGxlbmd0aChm
  c3ApID0gMAogICAgICAgVEhFTiAKICAgICAgICBzCiAgICAgICBFTFNFCiAgICAgICAgcmVwbGFj
  ZV9wYXJfcG9zKHJlcGxhY2VUZXJtKHMsIGV4dChmc3MoMCkpKHJocyhmc2UoMCkpKSwgZnNwKDAp
  KSwgcmVzdChmc3ApLCByZXN0KGZzZSksIHJlc3QoZnNzKSkKICAgICAgRU5ESUYKICAgTUVBU1VS
  RSBsZW5ndGgoZnNwKQoKCiBwYXJhbGxlbF9yZWR1Y3Rpb24/KEUpKHMsdCk6IGJvb2wgPSAgCiAg
  ICAgIEVYSVNUUyAoZnNwOiBTUFAocyksIGZzZSB8IChGT1JBTEwgKGkgOiBiZWxvd1tmc2VgbGVu
  Z3RoXSkgOiBtZW1iZXIoZnNlYHNlcShpKSwgRSkpLCBmc3MpIDoKICAgICAgICAgICAgIGZzcGBs
  ZW5ndGggPSBmc2VgbGVuZ3RoIEFORCBmc3BgbGVuZ3RoID0gZnNzYGxlbmd0aAogICAgICAgICAg
  ICAgQU5EIChGT1JBTEwgKGkgOiBiZWxvd1tmc3BgbGVuZ3RoXSkgOiBzdWJ0ZXJtT0YocywgZnNw
  KGkpKSA9IGV4dChmc3MoaSkpKGxocyhmc2UoaSkpKSkKICAgICAgICAgICAgIEFORCB0ID0gcmVw
  bGFjZV9wYXJfcG9zKHMsIGZzcCwgZnNlLCBmc3MpCgogc3ViX3BvcygoZnNwIDogUFApLCBwKTog
  UkVDVVJTSVZFIGZpbnNlcVtwb3NpdGlvbl0gPQogICAgIElGICBsZW5ndGgoZnNwKSA9IDAgVEhF
  TiBlbXB0eV9zZXFbcG9zaXRpb25dCiAgICAgICAgRUxTSUYgcCA8PSBmc3AoMCkgQU5EIHAgLz0g
  ZnNwKDApCiAgICAgICAgICAgICAgICBUSEVOIGFkZF9maXJzdChmc3AoMCksIHN1Yl9wb3MocmVz
  dChmc3ApLCBwKSkKICAgICAgICAgICAgICAgIEVMU0Ugc3ViX3BvcyhyZXN0KGZzcCksIHApCiAg
  ICAgRU5ESUYKICAgIE1FQVNVUkUgbGVuZ3RoKGZzcCkKCiUgUG9zaXRpb25zIG9mIGZzcDEgdGhh
  dCBoYXZlIHBvc2l0aW9ucyBvZiBmc3AyIHN0cmljdGx5IGJlbG93IG9yIGFyZSBwYXJhbGxlbCB0
  byBmc3AyCiBQb3NfT3ZlcigoZnNwMSA6IFBQKSwgKGZzcDIgOiBQUCkpOiBSRUNVUlNJVkUgZmlu
  c2VxW3Bvc2l0aW9uXSA9CiAgIChJRiBsZW5ndGgoZnNwMSkgPSAwCiAgICAgICBUSEVOIGVtcHR5
  X3NlcVtwb3NpdGlvbl0KICAgICAgIEVMU0UgKElGICggbGVuZ3RoKHN1Yl9wb3MoZnNwMiwgZnNw
  MSgwKSkpID4gMCAgCiAgICAgICAgICAgICAgICAgT1IgUFA/KGFkZF9maXJzdChmc3AxKDApLCBm
  c3AyKSkpCiAgICAgICAgICAgICAgICBUSEVOIGFkZF9maXJzdChmc3AxKDApLCBQb3NfT3Zlcihy
  ZXN0KGZzcDEpLCBmc3AyKSkKICAgICAgICAgICAgICAgIEVMU0UgUG9zX092ZXIocmVzdChmc3Ax
  KSwgZnNwMikKICAgICAgICAgICAgIEVORElGKQogICAgIEVORElGKQogICAgTUVBU1VSRSBsZW5n
  dGgoZnNwMSkKCiUgUG9zaXRpb25zIG9mIGZzcDEgdGhhdCBhcmUgc3RyaWN0bHkgYmVsb3cgc29t
  ZSBwb3NpdGlvbiBvZiBmc3AyLgoKIFBvc19VbmRlcigoZnNwMSA6IFBQKSwgKGZzcDIgOiBQUCkp
  OiBSRUNVUlNJVkUgZmluc2VxW3Bvc2l0aW9uXSA9CiAgICAgSUYgbGVuZ3RoKGZzcDIpPTAKICAg
  ICAgICBUSEVOIGVtcHR5X3NlcVtwb3NpdGlvbl0KICAgICAgICBFTFNFIHN1Yl9wb3MoZnNwMSwg
  ZnNwMigwKSkgbyBQb3NfVW5kZXIoZnNwMSxyZXN0KGZzcDIpKQogICAgIEVORElGCiAgIE1FQVNV
  UkUgbGVuZ3RoKGZzcDIpCgolIFBvc2l0aW9ucyBvZiBmc3AxIGFuZCBmc3AyCgogUG9zX0VxdWFs
  KChmc3AxIDogUFApLCAoZnNwMiA6IFBQKSk6IFJFQ1VSU0lWRSBmaW5zZXFbcG9zaXRpb25dID0K
  ICAgICBJRiBsZW5ndGgoZnNwMSkgPSAwIFRIRU4gZW1wdHlfc2VxW3Bvc2l0aW9uXQogICAgIEVM
  U0lGIG1lbV9zZXEoZnNwMSgwKSxmc3AyKQogICAgIFRIRU4gYWRkX2ZpcnN0KGZzcDEoMCksIFBv
  c19FcXVhbChyZXN0KGZzcDEpLCBmc3AyKSkKICAgICBFTFNFIFBvc19FcXVhbChyZXN0KGZzcDEp
  LCBmc3AyKQogICAgIEVORElGCiAgTUVBU1VSRSBsZW5ndGgoZnNwMSkKCiUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUKJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJQoKIHNldF92YXIoc2lnbWEsZSx0KTogc2V0WyhWKV0gPQogICAg
  ICAgICAge3g6KFYpfCBzdWJ0ZXJtKHQsc2lnbWEoeCkpIEFORCBWYXJzKGxocyhlKSkoeCl9CiAg
  ICAgICAgICAKICAgCiBzZXFfdmFyKEU6T3J0aG9nb25hbCxzLChwOnBvc2l0aW9ucz8ocykpLHNp
  Z21hLAogICAgICAgIChlfG1lbWJlcihlLEUpICYgc3VidGVybU9GKHMscCk9ZXh0KHNpZ21hKShs
  aHMoZSkpKSwKICAgICAgICAoZnNwOlNQUChzKXwoRk9SQUxMKGk6YmVsb3dbZnNwYGxlbmd0aF0p
  OnA8PWZzcGBzZXEoaSkpKSwKICAgICAgICBmc2V8ZnNwYGxlbmd0aD1mc2VgbGVuZ3RoICYgKEZP
  UkFMTCAoaTpiZWxvd1tsZW5ndGgoZnNlKV0pIDoKICAgICAgICBtZW1iZXIoZnNlKGkpLEUpKSwg
  ZnNzfGZzcGBsZW5ndGg9ZnNzYGxlbmd0aCAmCiAgICAgICAgKEZPUkFMTCAoaTpiZWxvd1tsZW5n
  dGgoZnNzKV0pIDoKICAgICAgICBzdWJ0ZXJtT0Yocyxmc3Bgc2VxKGkpKT1leHQoZnNzYHNlcShp
  KSkobGhzKGZzZWBzZXEoaSkpKSkpOgogICAgICAgIFJFQ1VSU0lWRSBmaW5zZXFbKFYpXSA9CiAg
  ICAgICAgICBJRiBsZW5ndGgoZnNwKT0wIFRIRU4gZW1wdHlfc2VxCiAgICAgICAgICAgICBFTFNJ
  RiBub25lbXB0eT8oc2V0X3ZhcihzaWdtYSxlLGV4dChmc3Ngc2VxKDApKShsaHMoZnNlYHNlcSgw
  KSkpKSkKICAgICAgICAgICAgICBUSEVOIGFkZF9maXJzdChjaG9vc2Uoc2V0X3ZhcihzaWdtYSxl
  LGV4dChmc3Ngc2VxKDApKShsaHMoZnNlYHNlcSgwKSkpKSksCiAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgIHNlcV92YXIoRSxzLHAsc2lnbWEsZSxyZXN0KGZzcCkscmVzdChmc2UpLHJlc3Qo
  ZnNzKSkpCiAgICAgICAgICAgICAgRUxTRSBzZXFfdmFyKEUscyxwLHNpZ21hLGUscmVzdChmc3Ap
  LHJlc3QoZnNlKSxyZXN0KGZzcykpCiAgICAgICAgICBFTkRJRgogICAgICAgIE1FQVNVUkUobGVu
  Z3RoKGZzcCkpCgogc2VxX3Zhcl9ub3RfZW1wdHk6IExFTU1BCiAgICBPcnRob2dvbmFsPyhFKSAm
  IHBvc2l0aW9uc09GKHMpKHApICYgbWVtYmVyKGUsRSkgJgogICAgc3VidGVybU9GKHMscCk9ZXh0
  KHNpZ21hKShsaHMoZSkpICYgU1BQPyhzKShmc3ApICYKICAgIChGT1JBTEwoaTpiZWxvd1tmc3Bg
  bGVuZ3RoXSk6IHA8PWZzcGBzZXEoaSkpICYKICAgIGZzcGBsZW5ndGg9ZnNlYGxlbmd0aCAmIAog
  ICAgKEZPUkFMTCAoaTpiZWxvd1tsZW5ndGgoZnNlKV0pOm1lbWJlcihmc2UoaSksRSkpICYKICAg
  IGZzcGBsZW5ndGg9ZnNzYGxlbmd0aCAmIChGT1JBTEwgKGk6YmVsb3dbbGVuZ3RoKGZzcCldKToK
  ICAgIHN1YnRlcm1PRihzLGZzcChpKSk9ZXh0KGZzcyhpKSkobGhzKGZzZShpKSkpKSAmCiAgICBz
  ZXFfdmFyKEUscyxwLHNpZ21hLGUsZnNwLGZzZSxmc3MpYGxlbmd0aD0wCiAgICAgSU1QTElFUyBm
  c3BgbGVuZ3RoPTAKCiBsZW5ndGhfc2VxX3Zhcl9pc19lcXVhbDogTEVNTUEKICAgIE9ydGhvZ29u
  YWw/KEUpICYgcG9zaXRpb25zT0YocykocCkgJiBtZW1iZXIoZSxFKSAmCiAgICAgICAgc3VidGVy
  bU9GKHMscCk9ZXh0KHNpZ21hKShsaHMoZSkpICYgU1BQPyhzKShmc3ApICYKICAgICAgICAoRk9S
  QUxMKGk6YmVsb3dbZnNwYGxlbmd0aF0pOiBwPD1mc3Bgc2VxKGkpKSAmCiAgICAgICAgZnNwYGxl
  bmd0aD1mc2VgbGVuZ3RoICYgCiAgICAgICAgKEZPUkFMTCAoaTpiZWxvd1tsZW5ndGgoZnNlKV0p
  Om1lbWJlcihmc2UoaSksRSkpICYKICAgICAgICBmc3BgbGVuZ3RoPWZzc2BsZW5ndGggJiAoRk9S
  QUxMIChpOmJlbG93W2xlbmd0aChmc3ApXSk6CiAgICAgICAgc3VidGVybU9GKHMsZnNwKGkpKT1l
  eHQoZnNzKGkpKShsaHMoZnNlKGkpKSkpCiAgICBJTVBMSUVTIHNlcV92YXIoRSxzLHAsc2lnbWEs
  ZSxmc3AsZnNlLGZzcylgbGVuZ3RoPWZzcGBsZW5ndGgKCiBzZXFfdmFyX3BhcihFOk9ydGhvZ29u
  YWwscywocDpwb3NpdGlvbnM/KHMpKSxzaWdtYSwKICAgICAgICAoZXxtZW1iZXIoZSxFKSAmIHN1
  YnRlcm1PRihzLHApPWV4dChzaWdtYSkobGhzKGUpKSksCiAgICAgICAgKGZzcDpTUFAocyl8Rk9S
  QUxMKGk6YmVsb3dbZnNwYGxlbmd0aF0pOnA8PWZzcGBzZXEoaSkpLAogICAgICAgIGZzZXxmc3Bg
  bGVuZ3RoPWZzZWBsZW5ndGggJiAoRk9SQUxMIChpOmJlbG93W2xlbmd0aChmc2UpXSkgOgogICAg
  ICAgIG1lbWJlcihmc2UoaSksRSkpLCBmc3N8ZnNwYGxlbmd0aD1mc3NgbGVuZ3RoICYKICAgICAg
  ICAoRk9SQUxMIChpOmJlbG93W2xlbmd0aChmc3MpXSkgOgogICAgICAgIHN1YnRlcm1PRihzLGZz
  cGBzZXEoaSkpPWV4dChmc3Ngc2VxKGkpKShsaHMoZnNlYHNlcShpKSkpKSk6CiAgICAgICBSRUNV
  UlNJVkUgZmluc2VxWyhWKV0gPQogICAgICAgICAgIElGIGxlbmd0aChmc3ApPTAgVEhFTiBlbXB0
  eV9zZXEKICAgICAgICAgICAgICBFTFNJRiAoRk9SQUxMIChpOiBiZWxvd1tsZW5ndGgoZnNwKV0p
  OgogICAgICAgICAgICAgICAgICAgIGkvPTAgJiBzZXFfdmFyKEUscyxwLHNpZ21hLGUsZnNwLGZz
  ZSxmc3MpYHNlcSgwKS89CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHNlcV92
  YXIoRSxzLHAsc2lnbWEsZSxmc3AsZnNlLGZzcylgc2VxKGkpKQogICAgICAgICAgICAgICAgVEhF
  TiBhZGRfZmlyc3Qoc2VxX3ZhcihFLHMscCxzaWdtYSxlLGZzcCxmc2UsZnNzKWBzZXEoMCksCiAg
  ICAgICAgICAgICAgICAgICAgIHNlcV92YXJfcGFyKEUscyxwLHNpZ21hLGUscmVzdChmc3ApLHJl
  c3QoZnNlKSxyZXN0KGZzcykpKQogICAgICAgICAgICAgICAgRUxTRSBzZXFfdmFyX3BhcihFLHMs
  cCxzaWdtYSxlLHJlc3QoZnNwKSxyZXN0KGZzZSkscmVzdChmc3MpKQogICAgICAgICAgICAgIEVO
  RElGCiAgICAgICAgTUVBU1VSRShsZW5ndGgoZnNwKSkKCiBTRVFfVkFSX211bHRpKEU6T3J0aG9n
  b25hbCxzLChmc3AxOlNQUChzKSksZnNzMXxmc3MxYGxlbmd0aD1mc3AxYGxlbmd0aCwKICAgICAg
  ICAoZnNlMXxGT1JBTEwoaTpiZWxvd1tmc2UxYGxlbmd0aF0pOm1lbWJlcihmc2UxYHNlcShpKSxF
  KQogICAgICAgICAmIHN1YnRlcm1PRihzLGZzcDFgc2VxKGkpKT1leHQoZnNzMWBzZXEoaSkpKGxo
  cyhmc2UxYHNlcShpKSkpKSwKICAgICAgICAoZnNwMjpTUFAocykpLGZzZTJ8ZnNwMmBsZW5ndGg9
  ZnNlMmBsZW5ndGggJgogICAgICAgIChGT1JBTEwgKGk6YmVsb3dbbGVuZ3RoKGZzZTIpXSkgOgog
  ICAgICAgIG1lbWJlcihmc2UyKGkpLEUpKSwgZnNzMnxmc3AyYGxlbmd0aD1mc3MyYGxlbmd0aCAm
  CiAgICAgICAgKEZPUkFMTCAoaTpiZWxvd1tsZW5ndGgoZnNzMildKSA6CiAgICAgICAgc3VidGVy
  bU9GKHMsZnNwMmBzZXEoaSkpPWV4dChmc3MyYHNlcShpKSkobGhzKGZzZTJgc2VxKGkpKSkpKToK
  ICAgICAgIFJFQ1VSU0lWRSBmaW5zZXFbZmluc2VxWyhWKV1dID0KICAgICAgICAgSUYgbGVuZ3Ro
  KGZzcDEpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgICAgRUxTRSBhZGRfZmlyc3Qoc2VxX3Zh
  cl9wYXIoRSxzLGZzcDFgc2VxKDApLGZzczFgc2VxKDApLGZzZTFgc2VxKDApLAogICAgICAgICAg
  ICAgICAgICAgICAgICAgICBzdWJfcG9zKGZzcDIsZnNwMWBzZXEoMCkpLAogICAgICAgICAgICAg
  ICAgICAgICAgICAgICBjaG9vc2Vfc2VxX3JyKHN1Yl9wb3MoZnNwMixmc3AxYHNlcSgwKSksZnNw
  Mixmc2UyKSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgY2hvb3NlX3NlcV9TKHN1Yl9wb3Mo
  ZnNwMixmc3AxYHNlcSgwKSksZnNwMixmc3MyKSksCiAgICAgICAgICAgICAgICAgICBTRVFfVkFS
  X211bHRpKEUscyxyZXN0KGZzcDEpLHJlc3QoZnNzMSkscmVzdChmc2UxKSwKICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICBmc3AyLGZzZTIsZnNzMikpCiAgICAgICAgIEVORElGCiAgICAg
  IE1FQVNVUkUobGVuZ3RoKGZzcDEpKQoKJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUKJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUKCiBjb21wbGVtZW50X3Bvc19zZXQocDEscCk6IHNldFtwb3NpdGlvbl0gPSAK
  ICAgICAgICAgSUYgcDEgPD0gcCAmIHAxIC89IHAgCiAgICAgICAgICAgVEhFTiB7cDIgfCBwPXAx
  IG8gcDJ9CiAgICAgICAgICAgRUxTRSBlbXB0eXNldAogICAgICAgICBFTkRJRgoKIGNvbXBsZW1l
  bnRfcG9zKHAsKGZzcDpQUCkpOgogICAgICAgUkVDVVJTSVZFIGZpbnNlcVtwb3NpdGlvbl0gPSAK
  ICAgICAgICAgICBJRiBsZW5ndGgoZnNwKT0wIFRIRU4gZW1wdHlfc2VxCiAgICAgICAgICAgRUxT
  SUYgbm9uZW1wdHk/KGNvbXBsZW1lbnRfcG9zX3NldChwLGZzcGBzZXEoMCkpKQogICAgICAgICAg
  ICAgIFRIRU4gYWRkX2ZpcnN0KGNob29zZShjb21wbGVtZW50X3Bvc19zZXQocCxmc3Bgc2VxKDAp
  KSksCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgY29tcGxlbWVudF9wb3MocCxyZXN0KGZz
  cCkpKQogICAgICAgICAgICAgIEVMU0UgY29tcGxlbWVudF9wb3MocCxyZXN0KGZzcCkpCiAgICAg
  ICAgICAgRU5ESUYKICAgICAgIE1FQVNVUkUobGVuZ3RoKGZzcCkpCgogY29tcG9fcG9zKHAsKGZz
  cDpQUCkpOiBSRUNVUlNJVkUgZmluc2VxW3Bvc2l0aW9uXSA9CiAgICAgICAgICAgSUYgbGVuZ3Ro
  KGZzcCk9MCBUSEVOIGVtcHR5X3NlcQogICAgICAgICAgICAgIEVMU0UgYWRkX2ZpcnN0KHAgbyBm
  c3Bgc2VxKDApLGNvbXBvX3BvcyhwLHJlc3QoZnNwKSkpCiAgICAgICAgICAgRU5ESUYKICAgICAg
  IE1FQVNVUkUobGVuZ3RoKGZzcCkpCgogY29tcG9fcG9zX211bHRpKGZzcDEsZnNwMjpQUCk6IFJF
  Q1VSU0lWRSBmaW5zZXFbcG9zaXRpb25dID0KICAgICAgICAgICBJRiBsZW5ndGgoZnNwMSk9MCBU
  SEVOIGVtcHR5X3NlcQogICAgICAgICAgICAgIEVMU0UgY29tcG9fcG9zKGZzcDFgc2VxKDApLGZz
  cDIpIG8KICAgICAgICAgICAgICAgICAgICAgICAgICAgIGNvbXBvX3Bvc19tdWx0aShyZXN0KGZz
  cDEpLGZzcDIpCiAgICAgICAgICAgRU5ESUYKICAgICAgIE1FQVNVUkUobGVuZ3RoKGZzcDEpKQoK
  IGNvbXBvX3Bvc192YXIocyx0LGZzdixwLChmc3A6UFApKTogUkVDVVJTSVZFIGZpbnNlcVtwb3Np
  dGlvbl0gPQogICAgICAgICAgIElGIGxlbmd0aChmc3YpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAg
  ICAgICAgICBFTFNJRiBub25lbXB0eT8oUG9zX3ZhcihzLGZzdmBzZXEoMCkpKQogICAgICAgICAg
  ICAgICAgICAgVEhFTiBjb21wb19wb3MocCxjb21wb19wb3NfbXVsdGkoc2V0MnNlcShQb3NfdmFy
  KHQsZnN2YHNlcSgwKSkpLAogICAgICAgICAgICAgICAgICAgICAgICAgICAgY29tcGxlbWVudF9w
  b3MoY2hvb3NlKFBvc192YXIocyxmc3Zgc2VxKDApKSksCiAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICBjb21wbGVtZW50X3BvcyhwLGZzcCkpKSkgbwogICAgICAgICAg
  ICAgICAgICAgICBjb21wb19wb3NfdmFyKHMsdCxyZXN0KGZzdikscCxmc3ApCiAgICAgICAgICAg
  ICAgICAgICBFTFNFIGNvbXBvX3Bvc192YXIocyx0LHJlc3QoZnN2KSxwLGZzcCkKICAgICAgICAg
  ICBFTkRJRgogICAgICAgTUVBU1VSRShsZW5ndGgoZnN2KSkgIAoKIENvbXBvX3Bvc192YXIoZnN0
  MTpmaW5zZXFbdGVybV0sKGZzdDI6Zmluc2VxW3Rlcm1dfGZzdDFgbGVuZ3RoPWZzdDJgbGVuZ3Ro
  KSwKICAgICAgICAgICAgICAgIEZTVjpmaW5zZXFbZmluc2VxWyhWKV1dfGZzdDFgbGVuZ3RoPUZT
  VmBsZW5ndGgsZnNwMTpQUHxmc3AxYGxlbmd0aD1mc3QxYGxlbmd0aCwKICAgICAgICAgICAgICAg
  KGZzcDI6UFApKToKICAgICAgICBSRUNVUlNJVkUgZmluc2VxW3Bvc2l0aW9uXSA9CiAgICAgICAg
  ICAgSUYgbGVuZ3RoKGZzcDEpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgICAgICBFTFNFIGFk
  ZF9maXJzdChjb21wb19wb3NfdmFyKGZzdDFgc2VxKDApLGZzdDJgc2VxKDApLEZTVmBzZXEoMCks
  ZnNwMWBzZXEoMCksZnNwMiksCiAgICAgICAgICAgICAgICAgICBDb21wb19wb3NfdmFyKHJlc3Qo
  ZnN0MSkscmVzdChmc3QyKSxyZXN0KEZTVikscmVzdChmc3AxKSxyZXN0KGZzcDIpKSkKICAgICAg
  ICAgICBFTkRJRgogICAgICAgIE1FQVNVUkUobGVuZ3RoKGZzcDEpKQoKIGxlZnRfcmV3cml0ZV9y
  dWxlcyhmc2UpOiBSRUNVUlNJVkUgZmluc2VxW3Rlcm1dPQogICAgICAgICAgIElGIGxlbmd0aChm
  c2UpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgICAgICBFTFNFIGFkZF9maXJzdChsaHMoZnNl
  YHNlcSgwKSksbGVmdF9yZXdyaXRlX3J1bGVzKHJlc3QoZnNlKSkpCiAgICAgICAgICAgRU5ESUYK
  ICAgICAgICBNRUFTVVJFKGxlbmd0aChmc2UpKQoKIHJpZ2h0X3Jld3JpdGVfcnVsZXMoZnNlKTog
  UkVDVVJTSVZFIGZpbnNlcVt0ZXJtXT0KICAgICAgICAgICBJRiBsZW5ndGgoZnNlKT0wIFRIRU4g
  ZW1wdHlfc2VxCiAgICAgICAgICAgICAgRUxTRSBhZGRfZmlyc3QocmhzKGZzZWBzZXEoMCkpLHJp
  Z2h0X3Jld3JpdGVfcnVsZXMocmVzdChmc2UpKSkKICAgICAgICAgICBFTkRJRgogICAgICAgIE1F
  QVNVUkUobGVuZ3RoKGZzZSkpCgogU3Vic19yaWdodF9ycihmc2UsKGZzc3xmc2VgbGVuZ3RoPWZz
  c2BsZW5ndGgpKTogUkVDVVJTSVZFIGZpbnNlcVt0ZXJtXT0KICAgICAgICAgICBJRiBsZW5ndGgo
  ZnNlKT0wIFRIRU4gZW1wdHlfc2VxCiAgICAgICAgICAgICAgRUxTRSBhZGRfZmlyc3QoZXh0KGZz
  c2BzZXEoMCkpKHJocyhmc2Vgc2VxKDApKSksCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  U3Vic19yaWdodF9ycihyZXN0KGZzZSkscmVzdChmc3MpKSkKICAgICAgICAgICBFTkRJRgogICAg
  ICAgIE1FQVNVUkUobGVuZ3RoKGZzZSkpCgogUG9zX3NlcV92YXIocyxmc3YpOiBSRUNVUlNJVkUg
  Zmluc2VxW3Bvc2l0aW9uXT0KICAgICAgICAgICBJRiBsZW5ndGgoZnN2KT0wIFRIRU4gZW1wdHlf
  c2VxCiAgICAgICAgICAgICAgRUxTRSBzZXQyc2VxKFBvc192YXIocyxmc3Zgc2VxKDApKSkgbwog
  ICAgICAgICAgICAgICAgICAgIFBvc19zZXFfdmFyKHMscmVzdChmc3YpKQogICAgICAgICAgIEVO
  RElGCiAgICAgICAgTUVBU1VSRShsZW5ndGgoZnN2KSkKCiUgU0lHTUEoc2lnbWEsIGZzdCwgZnN2
  LCBmc3ApIGlzIGEgc3Vic3RpdHV0aW9uIHRoYXQgYWN0cyBhcyBzaWdtYSwgZXhjZXB0IHdoZXJl
  IHRoZXJlIGlzIHRoZSB2YXJpYWJsZSB4ICUlCgoKIFNJR01BKHNpZ21hLCB4LCBmc3QsIChmc3A6
  U1BQKHNpZ21hKHgpKXxsZW5ndGgoZnNwKT1sZW5ndGgoZnN0KSkpKHk6KFYpKToKICAgICAgUkVD
  VVJTSVZFIHRlcm0gPSAKICAgICAgICAgSUYgbGVuZ3RoKGZzcCk9MCBPUiB5Lz14IAogICAgICAg
  ICAgICBUSEVOIHNpZ21hKHkpCiAgICAgICAgICAgIEVMU0UgcmVwbGFjZVRlcm0oU0lHTUEoc2ln
  bWEsIHgsIHJlc3QoZnN0KSwgcmVzdChmc3ApKSh5KSxmc3Rgc2VxKDApLCBmc3Bgc2VxKDApKQog
  ICAgICAgICBFTkRJRgogICAgICBNRUFTVVJFKGxlbmd0aChmc3ApKQoKIFNJR01BUChzaWdtYSxm
  c3YsKGZzcDE6UFB8ZnNwMWBsZW5ndGg9ZnN2YGxlbmd0aCksCiAgICAgICAgZnN0LChmc3AyOlBQ
  fGZzcDJgbGVuZ3RoPWZzdGBsZW5ndGgpKSh5OihWKSk6CiAgICAgIFJFQ1VSU0lWRSB0ZXJtPQog
  ICAgICAgICBJRiBsZW5ndGgoZnN2KT0wIFRIRU4gc2lnbWEoeSkKICAgICAgICAgICAgRUxTSUYg
  eT1mc3Zgc2VxKDApICYgU1A/KHNpZ21hKGZzdmBzZXEoMCkpKShjb21wbGVtZW50X3Bvcyhmc3Ax
  YHNlcSgwKSxmc3AyKSkKICAgICAgICAgICAgICAgVEhFTiBTSUdNQShzaWdtYSxmc3Zgc2VxKDAp
  LGNob29zZV9zZXFfdChzdWJfcG9zKGZzcDIsZnNwMWBzZXEoMCkpLGZzcDIsZnN0KSwKICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgY29tcGxlbWVudF9wb3MoZnNwMWBzZXEoMCksZnNwMikpKHkp
  CiAgICAgICAgICAgICAgIEVMU0UgU0lHTUFQKHNpZ21hLHJlc3QoZnN2KSxyZXN0KGZzcDEpLGZz
  dCxmc3AyKSh5KQogICAgICAgICBFTkRJRgogICAgICBNRUFTVVJFKGxlbmd0aChmc3YpKQoKICUg
  ICAgZnNwMSBuYSBkZWZpbmnDp8OjbyBhY2ltYSBkZXZlIHNlciBhIHNlcXXDqm5jaWEgZGFzIHBv
  c2nDp8O1ZXMgZGUgdmFyacOhdmVpcyBlbSBsaHMoZSkuCgogU0lHTUFfbXVsdGkoZnNwMTpQUCwo
  ZnNzMXxmc3AxYGxlbmd0aD1mc3MxYGxlbmd0aCksCiAgICAgICAgICAgICAoRlNWOmZpbnNlcVtm
  aW5zZXFbKFYpXV18ZnNwMWBsZW5ndGg9RlNWYGxlbmd0aCksCiAgICAgICAgICAgICAoZnNlMXxm
  c3AxYGxlbmd0aD1mc2UxYGxlbmd0aCAmIChGT1JBTEwoaTpiZWxvd1tmc2UxYGxlbmd0aF0pOgog
  ICAgICAgICAgICAgIFBvc19zZXFfdmFyKGxocyhmc2UxYHNlcShpKSksRlNWYHNlcShpKSlgbGVu
  Z3RoPShGU1Zgc2VxKGkpKWBsZW5ndGgpKSwKICAgICAgICAgICAgIGZzdCwoZnNwMjpQUHxmc3Ay
  YGxlbmd0aD1mc3RgbGVuZ3RoKSk6CiAgICAgIFJFQ1VSU0lWRSBmaW5zZXFbU3ViXT0KICAgICAg
  ICAgSUYgbGVuZ3RoKGZzcDEpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgICAgRUxTRSBhZGRf
  Zmlyc3QoU0lHTUFQKGZzczFgc2VxKDApLEZTVmBzZXEoMCksCiAgICAgICAgICAgICAgICAgICAg
  ICAgICAgIFBvc19zZXFfdmFyKGxocyhmc2UxYHNlcSgwKSksRlNWYHNlcSgwKSksCiAgICAgICAg
  ICAgICAgICAgICAgICAgICAgIGNob29zZV9zZXFfdChzdWJfcG9zKGZzcDIsZnNwMWBzZXEoMCkp
  LGZzcDIsZnN0KSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgY29tcGxlbWVudF9wb3MoZnNw
  MWBzZXEoMCksZnNwMikpLAogICAgICAgICAgICAgICAgICAgICAgU0lHTUFfbXVsdGkocmVzdChm
  c3AxKSxyZXN0KGZzczEpLHJlc3QoRlNWKSxyZXN0KGZzZTEpLGZzdCxmc3AyKSkKICAgICAgICAg
  RU5ESUYKICAgICAgTUVBU1VSRShsZW5ndGgoZnNwMSkpCgolJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQoKICAgIAolJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUKJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlCgoKIHBhcmFsbGVsX3JlZHVjdGlvbl9pc19EUDog
  Q09OSkVDVFVSRQogIE9ydGhvZ29uYWw/KEUpID0+IGRpYW1vbmRfcHJvcGVydHk/KHBhcmFsbGVs
  X3JlZHVjdGlvbj8oRSkpCgogRU5EIG9ydGhvZ29uYWxpdHkK
  --14dae93994afd4d35704b381e317
  Content-Type: application/octet-stream; 
  	name="orthogonality_one_definition.pvs"
  Content-Disposition: attachment; filename="orthogonality_one_definition.pvs"
  Content-Transfer-Encoding: base64
  X-Attachment-Id: f_gvwgamzs1
  
  JSUtLS0tLS0tLS0tLS0tLS0tLS0tKiogVGVybSBSZXdyaXRpbmcgU3lzdGVtIChUUlMpICoqLS0t
  LS0tLS0tLS0tLS0tLS0tLS0tLS0tCiUlICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKJSUgQXV0aG9ycyAgICAg
  ICAgIDogQW5hIENyaXN0aW5hIFJvY2hhIE9saXZlaXJhIGFuZCBNYXVyaWNpbyBBeWFsYSBSaW5j
  b24gIAolJSAgICAgICAgICAgICAgICAgICBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIC0gQnJh
  c2lsICAgICAgICAgCiUlIExhc3QgTW9kaWZpZWQgT246IFNlcCAwNSwgMjAxMSAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgCiUlICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKJSUtLS0tLS0t
  LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
  LS0tLS0tLS0tLQoKbWVtX3Rlc3RbVDogVFlQRV0gOiBUSEVPUlkKQkVHSU4KICAgICAgIElNUE9S
  VElORyAgIFRSU0BmaW5pdGVfc2VxdWVuY2VzX2V4dHJhc1tUXQoKICAgICAgICAgICAgICB4IDog
  VkFSIFQKICAgICAgICAgICAgIHNlcTogVkFSIGZpbnNlcVtUXQogICAgICAgICAgICAKIG1lbV9z
  ZXEoeCwgc2VxKTogUkVDVVJTSVZFIGJvb2wgPQogICAgIElGIGxlbmd0aChzZXEpID0gMCBUSEVO
  IGZhbHNlCiAgICAgRUxTSUYgeCA9IHNlcSgwKSBUSEVOIHRydWUgCiAgICAgRUxTRSBtZW1fc2Vx
  KHgsIHJlc3Qoc2VxKSkKICAgICBFTkRJRgogIE1FQVNVUkUgbGVuZ3RoKHNlcSkKCiAgIHNlcTJz
  ZXQoc2VxKTogIFJFQ1VSU0lWRSBzZXRbVF0gPSAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICBJRiBzZXFgbGVuZ3RoID0gMCBUSEVOIGVt
  cHR5c2V0ICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgIEVMU0Ug
  YWRkKHNlcSgwKSwgc2VxMnNldChyZXN0KHNlcSkpKSAgICAgICAgICAgICAgICAgICAgCiAgICAg
  ICAgICAgICAgICAgICAgRU5ESUYgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICBNRUFTVVJFIGxlbmd0aChzZXEpCgog
  c2VxMnNldF9sZW5ndGg6IExFTU1BCiAgICBsZW5ndGgoc2VxKSA+IDAKICAgICAgSU1QTElFUyBz
  ZXEyc2V0KHNlcSkgPSBzaW5nbGV0b24oc2VxKDApKSBPUiBsZW5ndGgocmVzdChzZXEpKSA+IDAK
  CiBzZXEyc2V0X2luZGV4OiBMRU1NQQogICAgc2VxYGxlbmd0aCAvPSAwIElNUExJRVMgKHNlcTJz
  ZXQoc2VxKSh4KSBJRkYKICAgICAgICAgICAgICAgICAgICAgICAgICAgIEVYSVNUUyAoaTogYmVs
  b3dbc2VxYGxlbmd0aF0pOiB4ID0gc2VxKGkpKQoKIG1lbV9zZXFfaW5fc2VxMnNldDogTEVNTUEK
  ICAgIG1lbV9zZXEoeCwgc2VxKSBJRkYgc2VxMnNldChzZXEpKHgpCgpFTkQgbWVtX3Rlc3QKCiUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJQolJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCm1lbV90ZXN0MltUMTog
  VFlQRSwgdmFyaWFibGU6VFlQRSssIHN5bWJvbDogVFlQRSssIGFyaXR5OiBbc3ltYm9sIC0+IG5h
  dF1dIDogVEhFT1JZCkJFR0lOCiAgICAgICBJTVBPUlRJTkcgIFRSU0Bwb3NpdGlvbnNbdmFyaWFi
  bGUsc3ltYm9sLGFyaXR5XSwKICAgICAgICAgICAgICAgICAgVFJTQGZpbml0ZV9zZXF1ZW5jZXNf
  ZXh0cmFzW1QxXSwKICAgICAgICAgICAgICAgICAgbWVtX3Rlc3RbcG9zaXRpb25dCgogICAgICAg
  ICAgICBzZXEsIHNlcTE6IFZBUiBmaW5zZXFbcG9zaXRpb25dCiAgICAgICAgICAgICAgICAgc2Vx
  MjogVkFSIGZpbnNlcVtUMV0KCiBEZWxldGUoc2VxOlBQLCBzZXExOlBQLCAoc2VxMiB8IHNlcTFg
  bGVuZ3RoPXNlcTJgbGVuZ3RoKSk6CiAgUkVDVVJTSVZFIGZpbnNlcVtUMV0gPSBJRiBsZW5ndGgo
  c2VxMSk9MCBUSEVOIGVtcHR5X3NlcQogICAgICAgICBFTFNJRiBtZW1fc2VxKHNlcTEoMCksc2Vx
  KQogICAgICAgICBUSEVOIERlbGV0ZShzZXEsIHJlc3Qoc2VxMSksIHJlc3Qoc2VxMikpCiAgICAg
  ICAgIEVMU0UgYWRkX2ZpcnN0KHNlcTIoMCksRGVsZXRlKHNlcSxyZXN0KHNlcTEpLHJlc3Qoc2Vx
  MikpKQogICBFTkRJRiBNRUFTVVJFKGxlbmd0aChzZXExKSkKCiBjaG9vc2Vfc2VxKHNlcTpQUCwg
  c2VxMTpQUCwgKHNlcTIgfCBzZXExYGxlbmd0aD1zZXEyYGxlbmd0aCkpOgogIFJFQ1VSU0lWRSBm
  aW5zZXFbVDFdID0gSUYgbGVuZ3RoKHNlcTEpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgRUxT
  SUYgbWVtX3NlcShzZXExKDApLHNlcSkKICAgICAgICAgVEhFTiBhZGRfZmlyc3Qoc2VxMigwKSxj
  aG9vc2Vfc2VxKHNlcSxyZXN0KHNlcTEpLHJlc3Qoc2VxMikpKQogICAgICAgICBFTFNFIGNob29z
  ZV9zZXEoc2VxLHJlc3Qoc2VxMSkscmVzdChzZXEyKSkKICAgRU5ESUYgTUVBU1VSRShsZW5ndGgo
  c2VxMSkpCgogY2hvb3NlX3NlcV9wcmVzZXJ2X2xlbmd0aDogQ09OSkVDVFVSRQogICAoRk9SQUxM
  KGk6YmVsb3dbc2VxYGxlbmd0aF0pOm1lbV9zZXEoc2VxYHNlcShpKSxzZXExKSkgJgogICBzZXEx
  YGxlbmd0aD1zZXEyYGxlbmd0aCAmIFBQPyhzZXEpICYgUFA/KHNlcTEpCiAgIElNUExJRVMgc2Vx
  YGxlbmd0aD1jaG9vc2Vfc2VxKHNlcSxzZXExLHNlcTIpYGxlbmd0aAoKRU5EIG1lbV90ZXN0MgoK
  CiUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJQolJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCm9ydGhvZ29uYWxp
  dHlbIHZhcmlhYmxlOlRZUEUrLCBzeW1ib2w6IFRZUEUrLCBhcml0eTogW3N5bWJvbCAtPiBuYXRd
  XTogVEhFT1JZCgogQkVHSU4KCiAgIEFTU1VNSU5HCiAKICAgICBJTVBPUlRJTkcgCiAgICAgICAg
  ICAgICAgIFRSU0B2YXJpYWJsZXNfdGVybVt2YXJpYWJsZSxzeW1ib2wsIGFyaXR5XSwKICAgICAg
  ICAgICAgICAgc2V0c19hdXhAY291bnRhYmlsaXR5W3Rlcm1dLAogICAgICAgICAgICAgICBzZXRz
  X2F1eEBjb3VudGFibGVfcHJvcHNbdGVybV0KIAogICAgIHZhcl9jb3VudGFibGU6IEFTU1VNUFRJ
  T04JIGlzX2NvdW50YWJseV9pbmZpbml0ZShWKQogICAgICAKCiAgIEVOREFTU1VNSU5HCgoKICAg
  IElNUE9SVElORyBUUlNAY3JpdGljYWxfcGFpcnNbdmFyaWFibGUsc3ltYm9sLGFyaXR5XSwKICAg
  ICAgICAgICAgICBtZW1fdGVzdDJbcG9zaXRpb24sdmFyaWFibGUsc3ltYm9sLGFyaXR5XSwKICAg
  ICAgICAgICAgICBtZW1fdGVzdDJbcmV3cml0ZV9ydWxlLHZhcmlhYmxlLHN5bWJvbCxhcml0eV0s
  CiAgICAgICAgICAgICAgbWVtX3Rlc3QyW1N1Yix2YXJpYWJsZSxzeW1ib2wsYXJpdHldLAogICAg
  ICAgICAgICAgIG1lbV90ZXN0Mlt0ZXJtLHZhcmlhYmxlLHN5bWJvbCxhcml0eV0sCiAgICAgICAg
  ICAgICAgbWVtX3Rlc3RbKFYpXSwKICAgICAgICAgICAgICBUUlNAZmluaXRlX3NlcXVlbmNlc19l
  eHRyYXNbZmluc2VxWyhWKV1dLCAKICAgICAgICAgICAgICBUUlNAZmluaXRlX3NlcXVlbmNlc19l
  eHRyYXNbZmluc2VxW3Rlcm1dXSAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgbjogVkFSIG5hdAog
  ICAgICAgICAgICAgICAgICAgIHMsIHQsIHQxLCB0MjogVkFSIHRlcm0gCiAgIHNpZ21hLCBzZzEs
  IHNnMiwgYWxwaGEsIGRlbHRhOiBWQVIgU3ViCiAgICAgICAgICAgICAgICAgICAgICBwLHAxLHAy
  LHAzOiBWQVIgcG9zaXRpb24KICAgICAgICAgICAgICAgICByaG8sIHJobzEsIHJobzI6IFZBUiBS
  ZW4gCiAgIGUsIGUxbywgZTJvLCBlMSwgZTFwLCBlMiwgZTJwOiBWQVIgcmV3cml0ZV9ydWxlCiAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICBFOiBWQVIgc2V0W3Jld3JpdGVfcnVsZV0KICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgIFI6IFZBUiBwcmVkW1t0ZXJtLCB0ZXJtXV0KICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgIHg6IFZBUiAoVikKICAgICAgICAgICAgZnNxLCBm
  c3AsIGZzcDEsIGZzcDI6IFZBUiBmaW5zZXFbcG9zaXRpb25dCiAgICAgICAgICAgICAgICAgZnNl
  LCBmc2UxLCBmc2UyOiBWQVIgZmluc2VxW3Jld3JpdGVfcnVsZV0KICAgICAgICAgICAgICAgICBm
  c3MsIGZzczEsIGZzczI6IFZBUiBmaW5zZXFbU3ViXQogICAgICAgICAgICAgICAgICAgICAgICAg
  ICAgIGZzdjogVkFSIGZpbnNlcVsoVildCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZnN0
  OiBWQVIgZmluc2VxW3Rlcm1dCiAKJSUlJSBBdXhpbGlhciBkZWZpbml0aW9ucyAlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQoKIEFtYmlndW91cz8o
  RSk6IGJvb2wgPSAgRVhJU1RTICh0MSwgdDIpIDogQ1A/KEUpKHQxLHQyKQoKIGxpbmVhcj8odCk6
  IGJvb2wgPSBGT1JBTEwgKHggfCBtZW1iZXIoeCxWYXJzKHQpKSkgOiBDYXJkW3Bvc2l0aW9uXShQ
  b3NfdmFyKHQseCkpID0gMSAKCiBSaWdodF9MaW5lYXI/KEUpOiBib29sID0gRk9SQUxMIChlMSB8
  IG1lbWJlcihlMSwgRSkpIDogbGluZWFyPyhyaHMoZTEpKSAgIAogTGVmdF9MaW5lYXI/KEUpOiBi
  b29sID0gRk9SQUxMIChlMSB8IG1lbWJlcihlMSwgRSkpIDogbGluZWFyPyhsaHMoZTEpKSAgIAoK
  IExpbmVhcj8oRSk6IGJvb2wgPSBMZWZ0X0xpbmVhcj8oRSkgQU5EIFJpZ2h0X0xpbmVhcj8oRSkK
  CiAKIGxvY2FsX2pvaW5hYmlsaXR5X3RyaWFuZ2xlPyhSKSA6IGJvb2wgPSAoRk9SQUxMKHQsIHQx
  LCB0MikgOiAoUih0LCB0MSkgJiBSKHQsIHQyKSA9PgogICAgICAgICAgICAgICBFWElTVFMgcyA6
  IChSQyhSKSh0MSwgcykgJiBSKHQyLCBzKSkKICAgICAgICAgICAgICAgICAgICAgICBPUiAoUih0
  MSwgcykgJiBSQyhSKSh0MiwgcykpKSkKCgogT3J0aG9nb25hbD8oRSk6IGJvb2wgPSAgTGVmdF9M
  aW5lYXI/KEUpICYgTk9UIEFtYmlndW91cz8oRSkKCiBPcnRob2dvbmFsOiBUWVBFID0gKE9ydGhv
  Z29uYWw/KQoKIHJlcGxhY2VfcGFyX3BvcyhzLCAoZnNwIDogU1BQKHMpKSwgZnNlIHwgZnNlYGxl
  bmd0aCA9IGZzcGBsZW5ndGgsIGZzcyAgfCBmc3NgbGVuZ3RoID0gZnNwYGxlbmd0aCk6IFJFQ1VS
  U0lWRSAKICAgIHRlcm0gPQogICAgICBJRiBsZW5ndGgoZnNwKSA9IDAKICAgICAgIFRIRU4gCiAg
  ICAgICAgcwogICAgICAgRUxTRQogICAgICAgIHJlcGxhY2VfcGFyX3BvcyhyZXBsYWNlVGVybShz
  LCBleHQoZnNzKDApKShyaHMoZnNlKDApKSksIGZzcCgwKSksIHJlc3QoZnNwKSwgcmVzdChmc2Up
  LCByZXN0KGZzcykpCiAgICAgIEVORElGCiAgIE1FQVNVUkUgbGVuZ3RoKGZzcCkKCgogcGFyYWxs
  ZWxfcmVkdWN0aW9uPyhFKShzLHQpOiBib29sID0gIAogICAgICBFWElTVFMgKGZzcDogU1BQKHMp
  LCBmc2UgfCAoRk9SQUxMIChpIDogYmVsb3dbZnNlYGxlbmd0aF0pIDogbWVtYmVyKGZzZWBzZXEo
  aSksIEUpKSwgZnNzKSA6CiAgICAgICAgICAgICBmc3BgbGVuZ3RoID0gZnNlYGxlbmd0aCBBTkQg
  ZnNwYGxlbmd0aCA9IGZzc2BsZW5ndGgKICAgICAgICAgICAgIEFORCAoRk9SQUxMIChpIDogYmVs
  b3dbZnNwYGxlbmd0aF0pIDogc3VidGVybU9GKHMsIGZzcChpKSkgPSBleHQoZnNzKGkpKShsaHMo
  ZnNlKGkpKSkpCiAgICAgICAgICAgICBBTkQgdCA9IHJlcGxhY2VfcGFyX3BvcyhzLCBmc3AsIGZz
  ZSwgZnNzKQoKIHN1Yl9wb3MoKGZzcCA6IFBQKSwgcCk6IFJFQ1VSU0lWRSBmaW5zZXFbcG9zaXRp
  b25dID0KICAgICBJRiAgbGVuZ3RoKGZzcCkgPSAwIFRIRU4gZW1wdHlfc2VxW3Bvc2l0aW9uXQog
  ICAgICAgIEVMU0lGIHAgPD0gZnNwKDApIEFORCBwIC89IGZzcCgwKQogICAgICAgICAgICAgICAg
  VEhFTiBhZGRfZmlyc3QoZnNwKDApLCBzdWJfcG9zKHJlc3QoZnNwKSwgcCkpCiAgICAgICAgICAg
  ICAgICBFTFNFIHN1Yl9wb3MocmVzdChmc3ApLCBwKQogICAgIEVORElGCiAgICBNRUFTVVJFIGxl
  bmd0aChmc3ApCgolIFBvc2l0aW9ucyBvZiBmc3AxIHRoYXQgaGF2ZSBwb3NpdGlvbnMgb2YgZnNw
  MiBzdHJpY3RseSBiZWxvdyBvciBhcmUgcGFyYWxsZWwgdG8gZnNwMgogUG9zX092ZXIoKGZzcDEg
  OiBQUCksIChmc3AyIDogUFApKTogUkVDVVJTSVZFIGZpbnNlcVtwb3NpdGlvbl0gPQogICAoSUYg
  bGVuZ3RoKGZzcDEpID0gMAogICAgICAgVEhFTiBlbXB0eV9zZXFbcG9zaXRpb25dCiAgICAgICBF
  TFNFIChJRiAoIGxlbmd0aChzdWJfcG9zKGZzcDIsIGZzcDEoMCkpKSA+IDAgIAogICAgICAgICAg
  ICAgICAgIE9SIFBQPyhhZGRfZmlyc3QoZnNwMSgwKSwgZnNwMikpKQogICAgICAgICAgICAgICAg
  VEhFTiBhZGRfZmlyc3QoZnNwMSgwKSwgUG9zX092ZXIocmVzdChmc3AxKSwgZnNwMikpCiAgICAg
  ICAgICAgICAgICBFTFNFIFBvc19PdmVyKHJlc3QoZnNwMSksIGZzcDIpCiAgICAgICAgICAgICBF
  TkRJRikKICAgICBFTkRJRikKICAgIE1FQVNVUkUgbGVuZ3RoKGZzcDEpCgolIFBvc2l0aW9ucyBv
  ZiBmc3AxIHRoYXQgYXJlIHN0cmljdGx5IGJlbG93IHNvbWUgcG9zaXRpb24gb2YgZnNwMi4KCiBQ
  b3NfVW5kZXIoKGZzcDEgOiBQUCksIChmc3AyIDogUFApKTogUkVDVVJTSVZFIGZpbnNlcVtwb3Np
  dGlvbl0gPQogICAgIElGIGxlbmd0aChmc3AyKT0wCiAgICAgICAgVEhFTiBlbXB0eV9zZXFbcG9z
  aXRpb25dCiAgICAgICAgRUxTRSBzdWJfcG9zKGZzcDEsIGZzcDIoMCkpIG8gUG9zX1VuZGVyKGZz
  cDEscmVzdChmc3AyKSkKICAgICBFTkRJRgogICBNRUFTVVJFIGxlbmd0aChmc3AyKQoKJSBQb3Np
  dGlvbnMgb2YgZnNwMSBhbmQgZnNwMgoKIFBvc19FcXVhbCgoZnNwMSA6IFBQKSwgKGZzcDIgOiBQ
  UCkpOiBSRUNVUlNJVkUgZmluc2VxW3Bvc2l0aW9uXSA9CiAgICAgSUYgbGVuZ3RoKGZzcDEpID0g
  MCBUSEVOIGVtcHR5X3NlcVtwb3NpdGlvbl0KICAgICBFTFNJRiBtZW1fc2VxKGZzcDEoMCksZnNw
  MikKICAgICBUSEVOIGFkZF9maXJzdChmc3AxKDApLCBQb3NfRXF1YWwocmVzdChmc3AxKSwgZnNw
  MikpCiAgICAgRUxTRSBQb3NfRXF1YWwocmVzdChmc3AxKSwgZnNwMikKICAgICBFTkRJRgogIE1F
  QVNVUkUgbGVuZ3RoKGZzcDEpCgoKJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQolJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlCgog
  c2V0X3ZhcihzaWdtYSxlLHQpOiBzZXRbKFYpXSA9CiAgICAgICAgICB7eDooVil8IHN1YnRlcm0o
  dCxzaWdtYSh4KSkgQU5EIFZhcnMobGhzKGUpKSh4KX0KICAgICAgICAgIAogICAKIHNlcV92YXIo
  RTpPcnRob2dvbmFsLHMsKHA6cG9zaXRpb25zPyhzKSksc2lnbWEsCiAgICAgICAgKGV8bWVtYmVy
  KGUsRSkgJiBzdWJ0ZXJtT0YocyxwKT1leHQoc2lnbWEpKGxocyhlKSkpLAogICAgICAgIChmc3A6
  U1BQKHMpfChGT1JBTEwoaTpiZWxvd1tmc3BgbGVuZ3RoXSk6cDw9ZnNwYHNlcShpKSkpLAogICAg
  ICAgIGZzZXxmc3BgbGVuZ3RoPWZzZWBsZW5ndGggJiAoRk9SQUxMIChpOmJlbG93W2xlbmd0aChm
  c2UpXSkgOgogICAgICAgIG1lbWJlcihmc2UoaSksRSkpLCBmc3N8ZnNwYGxlbmd0aD1mc3NgbGVu
  Z3RoICYKICAgICAgICAoRk9SQUxMIChpOmJlbG93W2xlbmd0aChmc3MpXSkgOgogICAgICAgIHN1
  YnRlcm1PRihzLGZzcGBzZXEoaSkpPWV4dChmc3Ngc2VxKGkpKShsaHMoZnNlYHNlcShpKSkpKSk6
  CiAgICAgICAgUkVDVVJTSVZFIGZpbnNlcVsoVildID0KICAgICAgICAgIElGIGxlbmd0aChmc3Ap
  PTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgICAgIEVMU0lGIG5vbmVtcHR5PyhzZXRfdmFyKHNp
  Z21hLGUsZXh0KGZzc2BzZXEoMCkpKGxocyhmc2Vgc2VxKDApKSkpKQogICAgICAgICAgICAgIFRI
  RU4gYWRkX2ZpcnN0KGNob29zZShzZXRfdmFyKHNpZ21hLGUsZXh0KGZzc2BzZXEoMCkpKGxocyhm
  c2Vgc2VxKDApKSkpKSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc2VxX3ZhcihFLHMs
  cCxzaWdtYSxlLHJlc3QoZnNwKSxyZXN0KGZzZSkscmVzdChmc3MpKSkKICAgICAgICAgICAgICBF
  TFNFIHNlcV92YXIoRSxzLHAsc2lnbWEsZSxyZXN0KGZzcCkscmVzdChmc2UpLHJlc3QoZnNzKSkK
  ICAgICAgICAgIEVORElGCiAgICAgICAgTUVBU1VSRShsZW5ndGgoZnNwKSkKCiBzZXFfdmFyX25v
  dF9lbXB0eTogTEVNTUEKICAgIE9ydGhvZ29uYWw/KEUpICYgcG9zaXRpb25zT0YocykocCkgJiBt
  ZW1iZXIoZSxFKSAmCiAgICBzdWJ0ZXJtT0YocyxwKT1leHQoc2lnbWEpKGxocyhlKSkgJiBTUFA/
  KHMpKGZzcCkgJgogICAgKEZPUkFMTChpOmJlbG93W2ZzcGBsZW5ndGhdKTogcDw9ZnNwYHNlcShp
  KSkgJgogICAgZnNwYGxlbmd0aD1mc2VgbGVuZ3RoICYgCiAgICAoRk9SQUxMIChpOmJlbG93W2xl
  bmd0aChmc2UpXSk6bWVtYmVyKGZzZShpKSxFKSkgJgogICAgZnNwYGxlbmd0aD1mc3NgbGVuZ3Ro
  ICYgKEZPUkFMTCAoaTpiZWxvd1tsZW5ndGgoZnNwKV0pOgogICAgc3VidGVybU9GKHMsZnNwKGkp
  KT1leHQoZnNzKGkpKShsaHMoZnNlKGkpKSkpICYKICAgIHNlcV92YXIoRSxzLHAsc2lnbWEsZSxm
  c3AsZnNlLGZzcylgbGVuZ3RoPTAKICAgICBJTVBMSUVTIGZzcGBsZW5ndGg9MAoKIGxlbmd0aF9z
  ZXFfdmFyX2lzX2VxdWFsOiBMRU1NQQogICAgT3J0aG9nb25hbD8oRSkgJiBwb3NpdGlvbnNPRihz
  KShwKSAmIG1lbWJlcihlLEUpICYKICAgICAgICBzdWJ0ZXJtT0YocyxwKT1leHQoc2lnbWEpKGxo
  cyhlKSkgJiBTUFA/KHMpKGZzcCkgJgogICAgICAgIChGT1JBTEwoaTpiZWxvd1tmc3BgbGVuZ3Ro
  XSk6IHA8PWZzcGBzZXEoaSkpICYKICAgICAgICBmc3BgbGVuZ3RoPWZzZWBsZW5ndGggJiAKICAg
  ICAgICAoRk9SQUxMIChpOmJlbG93W2xlbmd0aChmc2UpXSk6bWVtYmVyKGZzZShpKSxFKSkgJgog
  ICAgICAgIGZzcGBsZW5ndGg9ZnNzYGxlbmd0aCAmIChGT1JBTEwgKGk6YmVsb3dbbGVuZ3RoKGZz
  cCldKToKICAgICAgICBzdWJ0ZXJtT0Yocyxmc3AoaSkpPWV4dChmc3MoaSkpKGxocyhmc2UoaSkp
  KSkKICAgIElNUExJRVMgc2VxX3ZhcihFLHMscCxzaWdtYSxlLGZzcCxmc2UsZnNzKWBsZW5ndGg9
  ZnNwYGxlbmd0aAoKIHNlcV92YXJfcGFyKEU6T3J0aG9nb25hbCxzLChwOnBvc2l0aW9ucz8ocykp
  LHNpZ21hLAogICAgICAgIChlfG1lbWJlcihlLEUpICYgc3VidGVybU9GKHMscCk9ZXh0KHNpZ21h
  KShsaHMoZSkpKSwKICAgICAgICAoZnNwOlNQUChzKXxGT1JBTEwoaTpiZWxvd1tmc3BgbGVuZ3Ro
  XSk6cDw9ZnNwYHNlcShpKSksCiAgICAgICAgZnNlfGZzcGBsZW5ndGg9ZnNlYGxlbmd0aCAmIChG
  T1JBTEwgKGk6YmVsb3dbbGVuZ3RoKGZzZSldKSA6CiAgICAgICAgbWVtYmVyKGZzZShpKSxFKSks
  IGZzc3xmc3BgbGVuZ3RoPWZzc2BsZW5ndGggJgogICAgICAgIChGT1JBTEwgKGk6YmVsb3dbbGVu
  Z3RoKGZzcyldKSA6CiAgICAgICAgc3VidGVybU9GKHMsZnNwYHNlcShpKSk9ZXh0KGZzc2BzZXEo
  aSkpKGxocyhmc2Vgc2VxKGkpKSkpKToKICAgICAgIFJFQ1VSU0lWRSBmaW5zZXFbKFYpXSA9CiAg
  ICAgICAgICAgSUYgbGVuZ3RoKGZzcCk9MCBUSEVOIGVtcHR5X3NlcQogICAgICAgICAgICAgIEVM
  U0lGIChGT1JBTEwgKGk6IGJlbG93W2xlbmd0aChmc3ApXSk6CiAgICAgICAgICAgICAgICAgICAg
  aS89MCAmIHNlcV92YXIoRSxzLHAsc2lnbWEsZSxmc3AsZnNlLGZzcylgc2VxKDApLz0KICAgICAg
  ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc2VxX3ZhcihFLHMscCxzaWdtYSxlLGZzcCxm
  c2UsZnNzKWBzZXEoaSkpCiAgICAgICAgICAgICAgICBUSEVOIGFkZF9maXJzdChzZXFfdmFyKEUs
  cyxwLHNpZ21hLGUsZnNwLGZzZSxmc3MpYHNlcSgwKSwKICAgICAgICAgICAgICAgICAgICAgc2Vx
  X3Zhcl9wYXIoRSxzLHAsc2lnbWEsZSxyZXN0KGZzcCkscmVzdChmc2UpLHJlc3QoZnNzKSkpCiAg
  ICAgICAgICAgICAgICBFTFNFIHNlcV92YXJfcGFyKEUscyxwLHNpZ21hLGUscmVzdChmc3ApLHJl
  c3QoZnNlKSxyZXN0KGZzcykpCiAgICAgICAgICAgICAgRU5ESUYKICAgICAgICBNRUFTVVJFKGxl
  bmd0aChmc3ApKQoKIFNFUV9WQVJfbXVsdGkoRTpPcnRob2dvbmFsLHMsKGZzcDE6U1BQKHMpKSxm
  c3MxfGZzczFgbGVuZ3RoPWZzcDFgbGVuZ3RoLAogICAgICAgIChmc2UxfEZPUkFMTChpOmJlbG93
  W2ZzZTFgbGVuZ3RoXSk6bWVtYmVyKGZzZTFgc2VxKGkpLEUpCiAgICAgICAgICYgc3VidGVybU9G
  KHMsZnNwMWBzZXEoaSkpPWV4dChmc3MxYHNlcShpKSkobGhzKGZzZTFgc2VxKGkpKSkpLAogICAg
  ICAgIChmc3AyOlNQUChzKSksZnNlMnxmc3AyYGxlbmd0aD1mc2UyYGxlbmd0aCAmCiAgICAgICAg
  KEZPUkFMTCAoaTpiZWxvd1tsZW5ndGgoZnNlMildKSA6CiAgICAgICAgbWVtYmVyKGZzZTIoaSks
  RSkpLCBmc3MyfGZzcDJgbGVuZ3RoPWZzczJgbGVuZ3RoICYKICAgICAgICAoRk9SQUxMIChpOmJl
  bG93W2xlbmd0aChmc3MyKV0pIDoKICAgICAgICBzdWJ0ZXJtT0Yocyxmc3AyYHNlcShpKSk9ZXh0
  KGZzczJgc2VxKGkpKShsaHMoZnNlMmBzZXEoaSkpKSkpOgogICAgICAgUkVDVVJTSVZFIGZpbnNl
  cVtmaW5zZXFbKFYpXV0gPQogICAgICAgICBJRiBsZW5ndGgoZnNwMSk9MCBUSEVOIGVtcHR5X3Nl
  cQogICAgICAgICAgICBFTFNFIGFkZF9maXJzdChzZXFfdmFyX3BhcihFLHMsZnNwMWBzZXEoMCks
  ZnNzMWBzZXEoMCksZnNlMWBzZXEoMCksCiAgICAgICAgICAgICAgICAgICAgICAgICAgIHN1Yl9w
  b3MoZnNwMixmc3AxYHNlcSgwKSksCiAgICAgICAgICAgICAgICAgICAgICAgICAgIGNob29zZV9z
  ZXEoc3ViX3Bvcyhmc3AyLGZzcDFgc2VxKDApKSxmc3AyLGZzZTIpLAogICAgICAgICAgICAgICAg
  ICAgICAgICAgICBjaG9vc2Vfc2VxKHN1Yl9wb3MoZnNwMixmc3AxYHNlcSgwKSksZnNwMixmc3My
  KSksCiAgICAgICAgICAgICAgICAgICBTRVFfVkFSX211bHRpKEUscyxyZXN0KGZzcDEpLHJlc3Qo
  ZnNzMSkscmVzdChmc2UxKSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmc3AyLGZz
  ZTIsZnNzMikpCiAgICAgICAgIEVORElGCiAgICAgIE1FQVNVUkUobGVuZ3RoKGZzcDEpKQoKJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCiBjb21wbGVtZW50X3Bv
  c19zZXQocDEscCk6IHNldFtwb3NpdGlvbl0gPSAKICAgICAgICAgSUYgcDEgPD0gcCAmIHAxIC89
  IHAgCiAgICAgICAgICAgVEhFTiB7cDIgfCBwPXAxIG8gcDJ9CiAgICAgICAgICAgRUxTRSBlbXB0
  eXNldAogICAgICAgICBFTkRJRgoKIGNvbXBsZW1lbnRfcG9zKHAsKGZzcDpQUCkpOgogICAgICAg
  UkVDVVJTSVZFIGZpbnNlcVtwb3NpdGlvbl0gPSAKICAgICAgICAgICBJRiBsZW5ndGgoZnNwKT0w
  IFRIRU4gZW1wdHlfc2VxCiAgICAgICAgICAgRUxTSUYgbm9uZW1wdHk/KGNvbXBsZW1lbnRfcG9z
  X3NldChwLGZzcGBzZXEoMCkpKQogICAgICAgICAgICAgIFRIRU4gYWRkX2ZpcnN0KGNob29zZShj
  b21wbGVtZW50X3Bvc19zZXQocCxmc3Bgc2VxKDApKSksCiAgICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgY29tcGxlbWVudF9wb3MocCxyZXN0KGZzcCkpKQogICAgICAgICAgICAgIEVMU0UgY29t
  cGxlbWVudF9wb3MocCxyZXN0KGZzcCkpCiAgICAgICAgICAgRU5ESUYKICAgICAgIE1FQVNVUkUo
  bGVuZ3RoKGZzcCkpCgogY29tcG9fcG9zKHAsKGZzcDpQUCkpOiBSRUNVUlNJVkUgZmluc2VxW3Bv
  c2l0aW9uXSA9CiAgICAgICAgICAgSUYgbGVuZ3RoKGZzcCk9MCBUSEVOIGVtcHR5X3NlcQogICAg
  ICAgICAgICAgIEVMU0UgYWRkX2ZpcnN0KHAgbyBmc3Bgc2VxKDApLGNvbXBvX3BvcyhwLHJlc3Qo
  ZnNwKSkpCiAgICAgICAgICAgRU5ESUYKICAgICAgIE1FQVNVUkUobGVuZ3RoKGZzcCkpCgogY29t
  cG9fcG9zX211bHRpKGZzcDEsZnNwMjpQUCk6IFJFQ1VSU0lWRSBmaW5zZXFbcG9zaXRpb25dID0K
  ICAgICAgICAgICBJRiBsZW5ndGgoZnNwMSk9MCBUSEVOIGVtcHR5X3NlcQogICAgICAgICAgICAg
  IEVMU0UgY29tcG9fcG9zKGZzcDFgc2VxKDApLGZzcDIpIG8KICAgICAgICAgICAgICAgICAgICAg
  ICAgICAgIGNvbXBvX3Bvc19tdWx0aShyZXN0KGZzcDEpLGZzcDIpCiAgICAgICAgICAgRU5ESUYK
  ICAgICAgIE1FQVNVUkUobGVuZ3RoKGZzcDEpKQoKIGNvbXBvX3Bvc192YXIocyx0LGZzdixwLChm
  c3A6UFApKTogUkVDVVJTSVZFIGZpbnNlcVtwb3NpdGlvbl0gPQogICAgICAgICAgIElGIGxlbmd0
  aChmc3YpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAgICAgICAgICBFTFNJRiBub25lbXB0eT8oUG9z
  X3ZhcihzLGZzdmBzZXEoMCkpKQogICAgICAgICAgICAgICAgICAgVEhFTiBjb21wb19wb3MocCxj
  b21wb19wb3NfbXVsdGkoc2V0MnNlcShQb3NfdmFyKHQsZnN2YHNlcSgwKSkpLAogICAgICAgICAg
  ICAgICAgICAgICAgICAgICAgY29tcGxlbWVudF9wb3MoY2hvb3NlKFBvc192YXIocyxmc3Zgc2Vx
  KDApKSksCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBjb21wbGVt
  ZW50X3BvcyhwLGZzcCkpKSkgbwogICAgICAgICAgICAgICAgICAgICBjb21wb19wb3NfdmFyKHMs
  dCxyZXN0KGZzdikscCxmc3ApCiAgICAgICAgICAgICAgICAgICBFTFNFIGNvbXBvX3Bvc192YXIo
  cyx0LHJlc3QoZnN2KSxwLGZzcCkKICAgICAgICAgICBFTkRJRgogICAgICAgTUVBU1VSRShsZW5n
  dGgoZnN2KSkgIAoKIENvbXBvX3Bvc192YXIoZnN0MTpmaW5zZXFbdGVybV0sKGZzdDI6Zmluc2Vx
  W3Rlcm1dfGZzdDFgbGVuZ3RoPWZzdDJgbGVuZ3RoKSwKICAgICAgICAgICAgICAgIEZTVjpmaW5z
  ZXFbZmluc2VxWyhWKV1dfGZzdDFgbGVuZ3RoPUZTVmBsZW5ndGgsZnNwMTpQUHxmc3AxYGxlbmd0
  aD1mc3QxYGxlbmd0aCwKICAgICAgICAgICAgICAgKGZzcDI6UFApKToKICAgICAgICBSRUNVUlNJ
  VkUgZmluc2VxW3Bvc2l0aW9uXSA9CiAgICAgICAgICAgSUYgbGVuZ3RoKGZzcDEpPTAgVEhFTiBl
  bXB0eV9zZXEKICAgICAgICAgICAgICBFTFNFIGFkZF9maXJzdChjb21wb19wb3NfdmFyKGZzdDFg
  c2VxKDApLGZzdDJgc2VxKDApLEZTVmBzZXEoMCksZnNwMWBzZXEoMCksZnNwMiksCiAgICAgICAg
  ICAgICAgICAgICBDb21wb19wb3NfdmFyKHJlc3QoZnN0MSkscmVzdChmc3QyKSxyZXN0KEZTViks
  cmVzdChmc3AxKSxyZXN0KGZzcDIpKSkKICAgICAgICAgICBFTkRJRgogICAgICAgIE1FQVNVUkUo
  bGVuZ3RoKGZzcDEpKQoKIGxlZnRfcmV3cml0ZV9ydWxlcyhmc2UpOiBSRUNVUlNJVkUgZmluc2Vx
  W3Rlcm1dPQogICAgICAgICAgIElGIGxlbmd0aChmc2UpPTAgVEhFTiBlbXB0eV9zZXEKICAgICAg
  ICAgICAgICBFTFNFIGFkZF9maXJzdChsaHMoZnNlYHNlcSgwKSksbGVmdF9yZXdyaXRlX3J1bGVz
  KHJlc3QoZnNlKSkpCiAgICAgICAgICAgRU5ESUYKICAgICAgICBNRUFTVVJFKGxlbmd0aChmc2Up
  KQoKIHJpZ2h0X3Jld3JpdGVfcnVsZXMoZnNlKTogUkVDVVJTSVZFIGZpbnNlcVt0ZXJtXT0KICAg
  ICAgICAgICBJRiBsZW5ndGgoZnNlKT0wIFRIRU4gZW1wdHlfc2VxCiAgICAgICAgICAgICAgRUxT
  RSBhZGRfZmlyc3QocmhzKGZzZWBzZXEoMCkpLHJpZ2h0X3Jld3JpdGVfcnVsZXMocmVzdChmc2Up
  KSkKICAgICAgICAgICBFTkRJRgogICAgICAgIE1FQVNVUkUobGVuZ3RoKGZzZSkpCgogU3Vic19y
  aWdodF9ycihmc2UsKGZzc3xmc2VgbGVuZ3RoPWZzc2BsZW5ndGgpKTogUkVDVVJTSVZFIGZpbnNl
  cVt0ZXJtXT0KICAgICAgICAgICBJRiBsZW5ndGgoZnNlKT0wIFRIRU4gZW1wdHlfc2VxCiAgICAg
  ICAgICAgICAgRUxTRSBhZGRfZmlyc3QoZXh0KGZzc2BzZXEoMCkpKHJocyhmc2Vgc2VxKDApKSks
  CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgU3Vic19yaWdodF9ycihyZXN0KGZzZSkscmVz
  dChmc3MpKSkKICAgICAgICAgICBFTkRJRgogICAgICAgIE1FQVNVUkUobGVuZ3RoKGZzZSkpCgog
  UG9zX3NlcV92YXIocyxmc3YpOiBSRUNVUlNJVkUgZmluc2VxW3Bvc2l0aW9uXT0KICAgICAgICAg
  ICBJRiBsZW5ndGgoZnN2KT0wIFRIRU4gZW1wdHlfc2VxCiAgICAgICAgICAgICAgRUxTRSBzZXQy
  c2VxKFBvc192YXIocyxmc3Zgc2VxKDApKSkgbwogICAgICAgICAgICAgICAgICAgIFBvc19zZXFf
  dmFyKHMscmVzdChmc3YpKQogICAgICAgICAgIEVORElGCiAgICAgICAgTUVBU1VSRShsZW5ndGgo
  ZnN2KSkKCiUgU0lHTUEoc2lnbWEsIGZzdCwgZnN2LCBmc3ApIGlzIGEgc3Vic3RpdHV0aW9uIHRo
  YXQgYWN0cyBhcyBzaWdtYSwgZXhjZXB0IHdoZXJlIHRoZXJlIGlzIHRoZSB2YXJpYWJsZSB4ICUl
  CgoKIFNJR01BKHNpZ21hLCB4LCBmc3QsIChmc3A6U1BQKHNpZ21hKHgpKXxsZW5ndGgoZnNwKT1s
  ZW5ndGgoZnN0KSkpKHk6KFYpKToKICAgICAgUkVDVVJTSVZFIHRlcm0gPSAKICAgICAgICAgSUYg
  bGVuZ3RoKGZzcCk9MCBPUiB5Lz14IAogICAgICAgICAgICBUSEVOIHNpZ21hKHkpCiAgICAgICAg
  ICAgIEVMU0UgcmVwbGFjZVRlcm0oU0lHTUEoc2lnbWEsIHgsIHJlc3QoZnN0KSwgcmVzdChmc3Ap
  KSh5KSxmc3Rgc2VxKDApLCBmc3Bgc2VxKDApKQogICAgICAgICBFTkRJRgogICAgICBNRUFTVVJF
  KGxlbmd0aChmc3ApKQoKIFNJR01BUChzaWdtYSxmc3YsKGZzcDE6UFB8ZnNwMWBsZW5ndGg9ZnN2
  YGxlbmd0aCksCiAgICAgICAgZnN0LChmc3AyOlBQfGZzcDJgbGVuZ3RoPWZzdGBsZW5ndGgpKSh5
  OihWKSk6CiAgICAgIFJFQ1VSU0lWRSB0ZXJtPQogICAgICAgICBJRiBsZW5ndGgoZnN2KT0wIFRI
  RU4gc2lnbWEoeSkKICAgICAgICAgICAgRUxTSUYgeT1mc3Zgc2VxKDApICYgU1A/KHNpZ21hKGZz
  dmBzZXEoMCkpKShjb21wbGVtZW50X3Bvcyhmc3AxYHNlcSgwKSxmc3AyKSkKICAgICAgICAgICAg
  ICAgVEhFTiBTSUdNQShzaWdtYSxmc3Zgc2VxKDApLGNob29zZV9zZXEoc3ViX3Bvcyhmc3AyLGZz
  cDFgc2VxKDApKSxmc3AyLGZzdCksCiAgICAgICAgICAgICAgICAgICAgICAgICAgIGNvbXBsZW1l
  bnRfcG9zKGZzcDFgc2VxKDApLGZzcDIpKSh5KQogICAgICAgICAgICAgICBFTFNFIFNJR01BUChz
  aWdtYSxyZXN0KGZzdikscmVzdChmc3AxKSxmc3QsZnNwMikoeSkKICAgICAgICAgRU5ESUYKICAg
  ICAgTUVBU1VSRShsZW5ndGgoZnN2KSkKCiAlICAgIGZzcDEgbmEgZGVmaW5pw6fDo28gYWNpbWEg
  ZGV2ZSBzZXIgYSBzZXF1w6puY2lhIGRhcyBwb3Npw6fDtWVzIGRlIHZhcmnDoXZlaXMgZW0gbGhz
  KGUpLgoKIFNJR01BX211bHRpKGZzcDE6UFAsKGZzczF8ZnNwMWBsZW5ndGg9ZnNzMWBsZW5ndGgp
  LAogICAgICAgICAgICAgKEZTVjpmaW5zZXFbZmluc2VxWyhWKV1dfGZzcDFgbGVuZ3RoPUZTVmBs
  ZW5ndGgpLAogICAgICAgICAgICAgKGZzZTF8ZnNwMWBsZW5ndGg9ZnNlMWBsZW5ndGggJiAoRk9S
  QUxMKGk6YmVsb3dbZnNlMWBsZW5ndGhdKToKICAgICAgICAgICAgICBQb3Nfc2VxX3ZhcihsaHMo
  ZnNlMWBzZXEoaSkpLEZTVmBzZXEoaSkpYGxlbmd0aD0oRlNWYHNlcShpKSlgbGVuZ3RoKSksCiAg
  ICAgICAgICAgICBmc3QsKGZzcDI6UFB8ZnNwMmBsZW5ndGg9ZnN0YGxlbmd0aCkpOgogICAgICBS
  RUNVUlNJVkUgZmluc2VxW1N1Yl09CiAgICAgICAgIElGIGxlbmd0aChmc3AxKT0wIFRIRU4gZW1w
  dHlfc2VxCiAgICAgICAgICAgIEVMU0UgYWRkX2ZpcnN0KFNJR01BUChmc3MxYHNlcSgwKSxGU1Zg
  c2VxKDApLAogICAgICAgICAgICAgICAgICAgICAgICAgICBQb3Nfc2VxX3ZhcihsaHMoZnNlMWBz
  ZXEoMCkpLEZTVmBzZXEoMCkpLAogICAgICAgICAgICAgICAgICAgICAgICAgICBjaG9vc2Vfc2Vx
  KHN1Yl9wb3MoZnNwMixmc3AxYHNlcSgwKSksZnNwMixmc3QpLAogICAgICAgICAgICAgICAgICAg
  ICAgICAgICBjb21wbGVtZW50X3Bvcyhmc3AxYHNlcSgwKSxmc3AyKSksCiAgICAgICAgICAgICAg
  ICAgICAgICBTSUdNQV9tdWx0aShyZXN0KGZzcDEpLHJlc3QoZnNzMSkscmVzdChGU1YpLHJlc3Qo
  ZnNlMSksZnN0LGZzcDIpKQogICAgICAgICBFTkRJRgogICAgICBNRUFTVVJFKGxlbmd0aChmc3Ax
  KSkKCiUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJQolJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUl
  JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUKCiBw
  YXJhbGxlbF9yZWR1Y3Rpb25faXNfRFA6IENPTkpFQ1RVUkUKICBPcnRob2dvbmFsPyhFKSA9PiBk
  aWFtb25kX3Byb3BlcnR5PyhwYXJhbGxlbF9yZWR1Y3Rpb24/KEUpKQoKIEVORCBvcnRob2dvbmFs
  aXR5Cg==
  --14dae93994afd4d35704b381e317--
  
  
  --===============1192146436==
  Content-Type: message/rfc822
  MIME-Version: 1.0
  
  Content-Type: text/plain; charset="us-ascii"
  MIME-Version: 1.0
  Content-Transfer-Encoding: 7bit
  Subject: confirm 45dfea5673efbe3a571b45963ec2b92cbdfd72cd
  Sender: pvs-devel-request@csl.sri.com
  From: pvs-devel-request@csl.sri.com
  
  If you reply to this message, keeping the Subject: header intact,
  Mailman will discard the held message.  Do this if the message is
  spam.  If you reply to this message and include an Approved: header
  with the list password in it, the message will be approved for posting
  to the list.  The Approved: header can also appear in the first line
  of the body of the reply.
  --===============1192146436==--

How-To-Repeat: 

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