Re: One-off error in the MIP solver?

Hartmut Henkel <[email protected]> Mon, 24 Jan 2022 23:01:06 +0100 (CET)
Newsgroups gmane.comp.gnu.glpk
Message-ID <[email protected]>
  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--8323329-893654531-1643061666=:82943
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: base64

SGkgQW50dGksDQoNCk9uIE1vbiwgMjQgSmFuIDIwMjIsIEFudHRpIExlaHRpbGEgd3JvdGU6DQo+
IFBsZWFzZSBmaW5kIGJlbG93IG15IGF0dGVtcHQgdG8gZXhwbGFpbiB3aGF0J3MgaGFwcGVuaW5n
IHRoZXJlLiBJDQo+IHRoaW5rIHRoZSBpbnRlZ3JhbGl0eSB0b2xlcmFuY2UgaXPCoCBwYXJtLT50
b2xfaW50ID0gMWUtNTvCoA0KPiAoaGFyZC1jb2RlZCksIGF0IGxlYXN0IGl0IHdhcyBzbyBhIGZl
dyB5ZWFycyBhZ28uDQoNCmZpcnN0LCBtYW55IHRoYW5rcyBmb3IgY2hlY2tpbmcgaW50byB0aGlz
LiBUaGVyZSBpcyBubyAtLXRvbGludA0KcGFyYW1ldGVyICh5ZXQpIGZvciBnbHBzb2wsIGkgZGlk
bid0IGtub3cgb2YgdGhpcyBvbmUgc2luY2UgaSBoYXZlbid0DQp1c2VkIHRoZSBDIGxpYnJhcnkg
Y2FsbHMgeWV0Lg0KDQo+IEFuZCBpbmRlZWQsIHRoZSBzb2x1dGlvbiBmb3IgdGhlIExQIHJlbGF4
YXRpb24gYWxyZWFkeSBoYXBwZW5zIHRvDQo+IHNhdGlzZnkgdGhlIHRvbGVyYW5jZXMuwqAgVGhl
IExQIHNvbHV0aW9uIGlzIGFzIGZvbGxvd3M6DQo+IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0K
PiDCoMKgIE5vLsKgwqAgUm93IG5hbWXCoMKgIFN0wqDCoCBBY3Rpdml0ecKgwqDCoMKgIExvd2Vy
IGJvdW5kwqDCoCBVcHBlciBib3VuZMKgwqDCoCBNYXJnaW5hbA0KPiAtLS0tLS0gLS0tLS0tLS0t
LS0tIC0tIC0tLS0tLS0tLS0tLS0gLS0tLS0tLS0tLS0tLSAtLS0tLS0tLS0tLS0tIC0tLS0tLS0t
LS0tLS0NCj4gwqDCoMKgwqAgMSBzbGFja8KgwqDCoMKgwqDCoMKgIELCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqANCj4gwqDCoMKgwqAgMiBjczHCoMKgwqDCoMKgwqDCoMKgwqAgTlXCoMKgwqDC
oMKgwqDCoCAxMzEwNzLCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg
MTMxMDcywqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqDCoCAzIGNzMsKgwqDCoMKgwqDC
oMKgwqDCoCBCwqDCoMKgwqDCoMKgwqDCoCAxMzEwNzLCoMKgwqDCoMKgwqDCoCAxMzEwNzLCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgDQo+DQo+IMKgwqAgTm8uIENvbHVtbiBuYW1lwqAgU3TC
oMKgIEFjdGl2aXR5wqDCoMKgwqAgTG93ZXIgYm91bmTCoMKgIFVwcGVyIGJvdW5kwqDCoMKgIE1h
cmdpbmFsDQo+IC0tLS0tLSAtLS0tLS0tLS0tLS0gLS0gLS0tLS0tLS0tLS0tLSAtLS0tLS0tLS0t
LS0tIC0tLS0tLS0tLS0tLS0gLS0tLS0tLS0tLS0tLQ0KPiDCoMKgwqDCoCAxIHhbMV3CoMKgwqDC
oMKgwqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0K
PiDCoMKgwqDCoCAyIHhbMl3CoMKgwqDCoMKgwqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAx
wqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqDCoCAzIHhbM13CoMKgwqDCoMKgwqDCoMKg
IE5VwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqDC
oCA0IHhbNF3CoMKgwqDCoMKgwqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDC
oMKgwqDCoCA8IGVwcw0KPiDCoMKgwqDCoCA1IHhbNV3CoMKgwqDCoMKgwqDCoMKgIE5VwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqDCoCA2IHhbNl3C
oMKgwqDCoMKgwqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8
IGVwcw0KPiDCoMKgwqDCoCA3IHhbN13CoMKgwqDCoMKgwqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqDCoCA4IHhbOF3CoMKgwqDCoMKg
wqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDC
oMKgwqDCoCA5IHhbOV3CoMKgwqDCoMKgwqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
IDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDC
oMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqAgMTAgeFsxMF3CoMKgwqDCoMKgwqDCoCBOVcKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDCoMKgwqAgPCBlcHMNCj4gwqDCoMKgIDExIHhb
MTFdwqDCoMKgwqDCoMKgwqAgTlXCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKg
IDwgZXBzDQo+IMKgwqDCoCAxMiB4WzEyXcKgwqDCoMKgwqDCoMKgIE5VwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqAgMTMgeFsxM13CoMKgwqDCoMKg
wqDCoCBOVcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
IDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDCoMKgwqAgPCBlcHMNCj4gwqDC
oMKgIDE0IHhbMTRdwqDCoMKgwqDCoMKgwqAgTlXCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMcKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDC
oMKgwqDCoMKgIDwgZXBzDQo+IMKgwqDCoCAxNSB4WzE1XcKgwqDCoMKgwqDCoMKgIE5VwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqAgMTYgeFsxNl3C
oMKgwqDCoMKgwqDCoCBOVcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDCoMKgwqAgPCBl
cHMNCj4gwqDCoMKgIDE3IHhbMTddwqDCoMKgwqDCoMKgwqAgTlXCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqAgMcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
IDHCoMKgwqDCoMKgwqDCoMKgIDwgZXBzDQo+IMKgwqDCoCAxOCB4WzE4XcKgwqDCoMKgwqDCoMKg
IELCoMKgwqAgNy42MjkzOWUtMDbCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAxDQo+IMKgwqDCoCAxOSB4WzE5XcKgwqDCoMKgwqDCoMKgIE5MwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoCA8IGVwcw0KPiDCoMKgwqAgMjAgeFsyMF3C
oMKgwqDCoMKgwqDCoCBOTMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDCoMKgwqAgPCBl
cHMNCj4gwqDCoMKgIDIxIGXCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIE5MwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMQ0KPiAtLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0NCj4gQXMgeW91IGNhbiBzZWUsIHRoZSB2YXJpYWJsZSB4WzE4XSBpcyBiYXNpYyBhdCB0
aGUgdmFsdWUgb2YgNy42M2UtNiwNCj4gd2hpY2ggbmljZWx5IHNhdGlzZmllcyB0aGUgaW50ZWdy
YWxpdHkgdG9sZXJhbmNlLiBUaGUNCj4gS2FydXNoLUt1aG4tVHVja2VyIGNvbmRpdGlvbnMgYWxz
byBhbGwgaGF2ZSBoaWdoIHF1YWxpdHkgaW4gdGhlIExQDQo+IHJlbGF4YXRpb24gc29sdXRpb24u
IFNvLCBpdCBhcHBlYXJzIHRoYXQgd2hlbiBlbnRlcmluZyB0aGUgTUlQDQo+IGFsZ29yaXRobSwg
dGhpcyBpbml0aWFsIExQIHNvbHV0aW9uIGlzIGltbWVkaWF0ZWx5IGFjY2VwdGVkIGFzIHRoZQ0K
PiBvcHRpbWFsIE1JUCBzb2x1dGlvbi4NCg0KT2suDQoNCj4gQnV0IHRoZW4sIGl0IHNlZW1zIHRo
YXQgR2xwayByb3VuZHMgb2ZmIHRoZSBsZXZlbHMgb2YgdGhlIGJpbmFyeQ0KPiB2YXJpYWJsZXMs
IGFuZCBhcyBhIHJlc3VsdCwgaW4gdGhlIGZpbmFsIHNvbHV0aW9uIHhbMThdIGhhcyB6ZXJvIHZh
bHVlDQo+IGFuZCB0aGUgc2Vjb25kIGNvbnN0cmFpbnQgaXMgYWN0dWFsbHkgc2hvd24gdmlvbGF0
ZWQuwqAgSW5kZWVkLCB0aGUgTUlQDQo+IHNvbHV0aW9uIGlzIGxpc3RlZCBzaG93aW5nIHRoZSBj
b25zdHJhaW50IHZpb2xhdGlvbiBhbmQgbG93IHF1YWxpdHkNCj4gZm9yIEtLVC5QQiwgYXMgZm9s
bG93czoNCj4NCj4gwqDCoCBOby7CoMKgIFJvdyBuYW1lwqDCoMKgwqDCoMKgwqAgQWN0aXZpdHnC
oMKgwqDCoCBMb3dlciBib3VuZMKgwqAgVXBwZXIgYm91bmQNCj4gLS0tLS0tIC0tLS0tLS0tLS0t
LcKgwqDCoCAtLS0tLS0tLS0tLS0tIC0tLS0tLS0tLS0tLS0gLS0tLS0tLS0tLS0tLQ0KPiDCoMKg
wqDCoCAxIHNsYWNrwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg
MMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
DQo+IMKgwqDCoMKgIDIgY3MxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg
MTMxMDcxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDEzMTA3Mg0K
PiDCoMKgwqDCoCAzIGNzMsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDEz
MTA3McKgwqDCoMKgwqDCoMKgIDEzMTA3MsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqANCj4N
Cj4gwqDCoCBOby4gQ29sdW1uIG5hbWXCoMKgwqDCoMKgwqAgQWN0aXZpdHnCoMKgwqDCoCBMb3dl
ciBib3VuZMKgwqAgVXBwZXIgYm91bmQNCj4gLS0tLS0tIC0tLS0tLS0tLS0tLcKgwqDCoCAtLS0t
LS0tLS0tLS0tIC0tLS0tLS0tLS0tLS0gLS0tLS0tLS0tLS0tLQ0KPiDCoMKgwqDCoCAxIHhbMV3C
oMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMQ0KPiDCoMKgwqDCoCAyIHhb
Ml3CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMQ0KPiDCoMKgwqDCoCAz
IHhbM13CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMQ0KPiDCoMKgwqDC
oCA0IHhbNF3CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAxwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMQ0KPiDCoMKg
wqDCoCA1IHhbNV3CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAx
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMQ0KPiDC
oMKgwqDCoCA2IHhbNl3CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMQ0K
PiDCoMKgwqDCoCA3IHhbN13CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg
MQ0KPiDCoMKgwqDCoCA4IHhbOF3CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqAgMQ0KPiDCoMKgwqDCoCA5IHhbOV3CoMKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqAgMQ0KPiDCoMKgwqAgMTAgeFsxMF3CoMKgwqDCoMKgwqDCoCAqwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgIDENCj4gwqDCoMKgIDExIHhbMTFdwqDCoMKgwqDCoMKgwqAgKsKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoCAxDQo+IMKgwqDCoCAxMiB4WzEyXcKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqAgMQ0KPiDCoMKgwqAgMTMgeFsxM13CoMKgwqDCoMKgwqDCoCAqwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgIDENCj4gwqDCoMKgIDE0IHhbMTRdwqDCoMKgwqDCoMKgwqAgKsKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoCAxDQo+IMKgwqDCoCAxNSB4WzE1XcKgwqDCoMKgwqDCoMKgICrCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoCAxwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqAgMQ0KPiDCoMKgwqAgMTYgeFsxNl3CoMKgwqDCoMKgwqDCoCAqwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqAgMcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgIDENCj4gwqDCoMKgIDE3IHhbMTddwqDCoMKgwqDCoMKgwqAgKsKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgIDHCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoCAxDQo+IMKgwqDCoCAxOCB4WzE4XcKgwqDCoMKgwqDCoMKgICrCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqAgMQ0KPiDCoMKgwqAgMTkgeFsxOV3CoMKgwqDCoMKgwqDCoCAqwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgIDENCj4gwqDCoMKgIDIwIHhbMjBdwqDCoMKgwqDCoMKgwqAgKsKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgMMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoCAxDQo+IMKgwqDCoCAyMSBlwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAwwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgDQo+DQo+IEludGVnZXIgZmVhc2liaWxpdHkgY29u
ZGl0aW9uczoNCj4NCj4gS0tULlBFOiBtYXguYWJzLmVyciA9IDAuMDBlKzAwIG9uIHJvdyAwDQo+
IMKgwqDCoMKgwqDCoMKgIG1heC5yZWwuZXJyID0gMC4wMGUrMDAgb24gcm93IDANCj4gwqDCoMKg
wqDCoMKgwqAgSGlnaCBxdWFsaXR5DQo+DQo+IEtLVC5QQjogbWF4LmFicy5lcnIgPSAxLjAwZSsw
MCBvbiByb3cgMw0KPiDCoMKgwqDCoMKgwqDCoCBtYXgucmVsLmVyciA9IDcuNjNlLTA2IG9uIHJv
dyAzDQo+IMKgwqDCoMKgwqDCoMKgIExvdyBxdWFsaXR5DQoNCk1hbnkgdGhhbmtzIGZvciB5b3Vy
IGV4cGxhbmF0aW9uISBJdCB3aWxsIHRha2UgbWUgc29tZSB0aW1lIHRvIGdldCB0aGUNCmRldGFp
bHMuIEZvciBub3cgaSBoYXZlIGp1c3QgYWRkZWQgYSAtLXRvbGludCBwYXJhbWV0ZXIgdG8gdGhl
IGNvbW1hbmQNCmxpbmUgb2YgZ2xwc29sIChmaWxlIGdscHNvbC5jKSBoZXJlLCBhbmQgd2l0aCAt
LXRvbGludCAxZS02IG9yIGxvd2VyIHRoZQ0KcmVzdWx0IGNvbWVzIG91dCByaWdodC4gSG9wZWZ1
bGx5IHRoaXMgYW5kIGEgZmV3IG90aGVyIC0tdG9sIHBhcmFtZXRlcnMNCndpbGwgZmluZCB0aGVp
ciB3YXkgaW50byBnbHBzb2wuIEdNUEwgYnkgZ2xwc29sIGlzIHN1Y2ggYSBmdW5ueSBhbmQNCmFw
cHJvYWNoYWJsZSBsYW5ndWFnZSBmb3IgbGVhcm5pbmcgYW5kIHRyeWluZyBvdXQgTFAvTUlQIHN0
dWZmLg0KDQpCZXN0IFJlZ2FyZHMsIEhhcnRtdXQNCg0KDQo+IF9fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fDQo+DQo+IE9uIDI0LjAxLjIwMjIgMTE6NDYsIEhhcnRt
dXQgSGVua2VsIHdyb3RlOg0KPg0KPiBIaSwNCj4NCj4gaGVyZSBzZWVtcyB0byBiZSBzb21lIG9u
ZS1vZmYgZXJyb3IgaW4gZ21wbC9nbHBrICg1LjAsIGRlYmlhbiBMaW51eCk6DQo+DQo+IHBhcmFt
IHYgOj0gMTMxMDcyOw0KPiBwYXJhbSBuIDo9IDIwOyAjIG51bWJlciBvZiBiaXRzDQo+IHNldCBK
ICA6PSAxLi5uOyAjIHNldCBvZiBhbGwgYml0cw0KPiB2YXIgeHtqIGluIEp9LCBiaW5hcnk7DQo+
IHZhciBlLCA+PSAwOw0KPiBtaW5pbWl6ZSBzbGFjazogZTsNCj4NCj4gcy50LiBjczE6IHN1bXtq
IGluIEp9ICgyKiooaiAtIDEpICogeFtqXSkgLSB2IDw9ICBlOw0KPiBzLnQuIGNzMjogc3Vte2og
aW4gSn0gKDIqKihqIC0gMSkgKiB4W2pdKSAtIHYgPj0gLWU7DQo+DQo+IHNvbHZlOw0KPg0KPiBw
cmludGYgInY6ICVkXG52OiAiLCB2Ow0KPiBmb3Ige2ogaW4gSn0gcHJpbnRmICIlZCIsIHhbbiAt
IGogKyAxXTsNCj4gcHJpbnRmICJcbiI7DQo+IHByaW50ZiAidjogJWRcbiIsIHN1bXtqIGluIEp9
ICgyKiooaiAtIDEpICogeFtqXSk7DQo+IHByaW50ZiAiZTogJWRcbiIsIGU7DQo+DQo+IGVuZDsN
Cj4NCj4gSGVyZSBpdCBwcmludHM6DQo+DQo+IHY6IDEzMTA3Mg0KPiB2OiAwMDExMTExMTExMTEx
MTExMTExDQo+IHY6IDEzMTA3MQ0KPiBlOiAwDQo+DQo+IFdpdGggdiA9IDEzMTA3MSBvciB2ID0g
MTMxMDczIG9yIHYgPSA2NTUzNiBpdCB3b3JrcyBmaW5lLiBBbHNvIGZpbmUgd2l0aA0KPiBsYXJn
ZXIgbnVtYmVycyBsaWtlIHYgPSA4ODg4ODguIFNhbWUgcHJvYmxlbSB3aGVuIHNvbHZpbmcgdGhl
IGV4cG9ydGVkDQo+IC5scCBmaWxlLCB3aGljaCBsb29rcyBvay4sIGNvbmZpcm1lZCBieSBhbm90
aGVyIHNvbHZlci4gU2VlbXMgbm90IHRvIGJlDQo+IGEgZ2VuZXJhbCBpbnQgbGltaXRhdGlvbiBv
ciBwcmludGluZyBpc3N1ZS4gRG8geW91IGhhdmUgYW55IGlkZWEgd2hhdCdzDQo+IGhhcHBlbmlu
ZyBoZXJlPw0KPg0KPiBCZXN0IFJlZ2FyZHMsIEhhcnRtdXQNCg==

--8323329-893654531-1643061666=:82943--