More PR investigations: Log-penalty bugfix, house-monotone methods weaker than global methods, maxmin methods much worse
Kristofer Munsterhjelm via Election-Methods <[email protected]> Thu, 23 Jul 2026 17:04:13 +0200
| Newsgroups | gmane.politics.election-methods |
|---|---|
| Message-ID | <[email protected]> |
SSBkaWQgc29tZSBtb3JlIGludmVzdGlnYXRpb24gbWFpbmx5IGludG8gInF1YWxpdHktYmFzZWQi IGNhcmRpbmFsIFBSIAptZXRob2RzLCB3aGVyZSBhIGZ1bmN0aW9uIFEob3V0Y29tZSwgYmFsbG90 cykgb3V0cHV0cyBhIHNjb3JlIGFuZCAKbWF4aW11bSBzY29yZSB3aW5zLiBUaGUgcmVzdWx0cyBi ZWxvdyBhcmUgd2l0aCB0aGUgMUQgRHJvb3AgZml0dGluZyAKY29uY2VwdCBvZiBQUiwgd2l0aCB2 b3RlcnMgcmF0aW5nIHRoZWlyIGZhdm9yaXRlIG1heCwgbGVhc3QgZmF2b3JpdGUgCm1pbiwgYW5k IGV2ZXJ5Ym9keSBpbiBiZXR3ZWVuIGxpbmVhcmx5IHNjYWxlZCBieSBkaXN0YW5jZS4KCkZpcnN0 LCBJIGZvdW5kIGFuZCBmaXhlZCBzb21lIGJ1Z3MuIEVhcmxpZXIgSSBzYWlkIHRoYXQgTFBWMCsg aGFkIHRydWx5IApiYWQgZ29vZG5lc3Mtb2YtZml0IFZTRSB2YWx1ZXMsIGUuZy4KCjMgc2VhdHMs IDEwIGNhbmRpZGF0ZXM6CkNhcmRpbmFsOiBMUFYwKyAJCQlWU0U6IC0xLjQ3MzAKQ2FyZGluYWw6 IExvZy1wZW5hbHR5IChLID0gMSkJCVZTRTogLTEuNDY2OQpDYXJkaW5hbDogTG9nLXBlbmFsdHkg KEsgPSAxMCkgIAlWU0U6IC0xLjM3OTAKQ2FyZGluYWw6IExvZy1wZW5hbHR5IChLID0gMTAwMCkJ VlNFOiAtMS4zNDg2CgpUaGUgaW1wbGVtZW50YXRpb24gd2FzIGJ1Z2d5LiBBZnRlciBmaXhpbmcg dGhlIGJ1ZywgSSBnb3QgdGhlc2UgcmVzdWx0czoKCkNhcmRpbmFsOiBMUFYwKwkJCQlWU0U6ICAw LjQxNTEKQ2FyZGluYWw6IExvZy1wZW5hbHR5IChLID0gMSkJCVZTRTogIDAuNDI5MwpDYXJkaW5h bDogTG9nLXBlbmFsdHkgKEsgPSAxMCkJCVZTRTogIDAuNDU2NgpDYXJkaW5hbDogTG9nLXBlbmFs dHkgKEsgPSAxMDAwKQlWU0U6ICAwLjQ2MTEKCkl0J3Mgc3RpbGwgbm90IGFsbCB0aGF0IGdyZWF0 LCBidXQgaXQncyBub3Qgc3ViLXplcm8gYW55bW9yZSBlaXRoZXIuCgpJdCdzIDItc2VhdCAxMC1j YW5kaWRhdGUgcXVhbnRpbGUgZml0dGluZyBzaG93cyB0aGUgYmVzdCBmaXQgdG8gYmUgY2xvc2Ug CnRvIG1ham9yaXRhcmlhbi9tb3N0IGNlbnRlci1mYXZvcmluZzoKCkNhcmRpbmFsOiBMUFYwKwkJ CSBxID0gMC41CVZTRTogMC43NDEwCkNhcmRpbmFsOiBMb2ctcGVuYWx0eSAoSyA9IDEpCSBxID0g MC41CVZTRTogMC43OTQ5CkNhcmRpbmFsOiBMb2ctcGVuYWx0eSAoSyA9IDEwKQkgcSA9IDAuNQlW U0U6IDAuODgwMgpDYXJkaW5hbDogTG9nLXBlbmFsdHkgKEsgPSAxMDAwKSBxID0gMC41CVZTRTog MC45MDU3Cgp0aGlzIGlzIHRoZSBzYW1lIGRpcmVjdGlvbiB0aGF0IFBzaSBnb2VzLCBhbmQgdGhl cmUgc2VlbXMgdG8gYmUgYSAKcGF0dGVybjogbWV0aG9kcyB0aGF0IHJlbGF0aXZlbHkgc3BlYWtp bmcgY291bnQgYSBsYXJnZSBudW1iZXIgb2YgCm1lZGlvY3JlIHJhdGluZ3MgdGhlIHNhbWUgd2F5 IGFzIGEgZmV3IGZhdm9yaXRlcyBhbmQgYSBmZXcgbG9hdGhlZCAKY2FuZGlkYXRlcyBkbyBub3Qg ZG8gd2VsbCBieSB0aGlzIHByb3BvcnRpb25hbGl0eSBtZWFzdXJlLgoKUHNpIGlzIHRoZSB0eXBp Y2FsIGV4YW1wbGUgc2luY2UgdGhlIHF1YWxpdHkgaXMgZGlnYW1tYShkZWx0YSArIHN1bSBvZiAK dGhlIHZvdGVyJ3MgcmF0aW5nIG9mIHRoZSBwcm9wb3NlZCB3aW5uZXJzKSwgc28gaXQganVkZ2Vz IGEgbGFyZ2UgbnVtYmVyIApvZiBtZWgganVzdCB0aGUgc2FtZSBhcyBhIGZldyBmYXZvcml0ZXMg YW5kIHRoZSByZXN0IGJlaW5nIGFjdGl2ZWx5IApkaXNsaWtlZC4gT24gdGhlIG90aGVyIGhhbmQs IEhhcm1vbmljIHdlaWdodHMgdGhlIGJlc3QgcmF0aW5ncyBoaWdoZXIgCmJlY2F1c2UgdGhlIHZv dGVyJ3MgZmF2b3JpdGUgcmF0aW5nIGNvdW50cyBhdCBmdWxsIHdlaWdodCwgdGhlbiB0aGUgbmV4 dCAKYXQgMS8yIG9yIDEvMyB3ZWlnaHQsIGV0Yy4gSGVuY2UgaXQgYWxzbyBnaXZlcyBhIGZldyBm YXZvcml0ZXMgcGx1cyBhIApmZXcgZGlzbGlrZWQgY2FuZGlkYXRlcyBhIGhpZ2hlciBxdWFsaXR5 IHNjb3JlIHRoYW4gZXZlcnlib2R5IGJlaW5nIApjb25zaWRlcmVkIG1lZGlvY3JlLiBJIHRoaW5r IEknbGwgZ2V0IGJhY2sgdG8gdGhpcyBpbiBhIGZ1dHVyZSBwb3N0LgoKClNlY29uZCwgSSBpbXBs ZW1lbnRlZCBob3VzZSBtb25vdG9uZSBtZXRob2RzOiBhIHJ1bm5lciBmb3Igc2VxdWVudGlhbCAK Y2FyZGluYWwgcXVhbGl0eS1iYXNlZCBtZXRob2RzIGxpa2UgaGFybW9uaWMsIHBzaSwgZXRjLjsg YW5kIHNvbWUgZ2x1ZSAKY29kZS9hbiBpbnRlcmZhY2UgZm9yIHRoZSBTY2h1bHplIHByb3BvcnRp b25hbCBvcmRlcmluZy4gSGVyZSBhcmUgc29tZSAKcmVzdWx0czoKCjIgc2VhdHMsIDEwIGNhbmRp ZGF0ZXMsIG9wdGltYWwgcXVhbnRpbGU6Ck5hbWUJCQkJCXEJCXByb3AuIFZTRSBhdCBxClNjaHVs emUgU1RWCQkJCTAuMzM0OQkJMC45OTk4ClNjaHVsemUgcHJvcC4gb3JkZXJpbmcgKGhvdXNlIG1v bm90b25lKQkwLjM4OAkJMC44OTQ1CgpDYXJkaW5hbDogSGFybW9uaWMgKENoYW1iZXJsaW4tQykJ MC4yNjUyCQkwLjkxOTYKQ2FyZGluYWw6IEhhcm1vbmljIChTYWludGUtTGFndcOrKQkwLjM0ODcJ CTAuOTMyMgpDYXJkaW5hbDogSGFybW9uaWMgKGQnSG9uZHQpCQkwLjM4MTYJCTAuOTI0NQoKU2Vx IENhcmRpbmFsOiBIYXJtb25pYyAoQ2hhbWJlcmxpbi1DKQkwLjI3MjkJCTAuNTkxMQpTZXEgQ2Fy ZGluYWw6IEhhcm1vbmljIChTYWludGUtTGFndcOrKQkwLjM3OTEJCTAuODQwMQpTZXEgQ2FyZGlu YWw6IEhhcm1vbmljIChkJ0hvbmR0KQkwLjQwNjYJCTAuODgyNAoKMyBzZWF0cywgMTAgY2FuZGlh ZHRlcywgYXQgRHJvb3A6Ck5hbWUJCQkJCXByb3AuIFZTRSBhdCBEcm9vcApTY2h1bHplIFNUVgkJ CQkwLjk5OTIKU2NodWx6ZSBwcm9wb3J0aW9uYWwgb3JkZXJpbmcgICAJMC44OTE1CgpDYXJkaW5h bDogSGFybW9uaWMgKENoYW1iZXJsaW4tQ291cmFudCkJMC42NDAwCkNhcmRpbmFsOiBIYXJtb25p YyAoU2FpbnRlLUxhZ3XDqykJMC44OTI1CkNhcmRpbmFsOiBIYXJtb25pYyAoZCdIb25kdCkJCTAu ODAwNgoKU2VxLiBDYXJkaW5hbDogSGFybW9uaWMgKENoYW1iZXJsaW4tQykJMC42OTU5ClNlcS4g Q2FyZGluYWw6IEhhcm1vbmljIChTYWludGUtTGFndcOrKSAgMC44NjE0ClNlcS4gQ2FyZGluYWw6 IEhhcm1vbmljIChkJ0hvbmR0KQkwLjc2MTMKCihDaGFtYmVybGluLUNvdXJhbnQgY29ycmVzcG9u ZHMgdG8gZGVsdGEtPjAgaW4gdGhlIGxpbWl0LCBiZWNhdXNlIHlvdSAKb25seSBjYXJlIGFib3V0 IHZvdGVycycgZmF2b3JpdGVzIGluIHRoYXQgY2FzZTsgU2FpbnRlLUxhZ3XDqyBhbmQgZCdIb25k dCAKYXJlIGRlbHRhPTEvMiBhbmQgZGVsdGE9MSByZXNwZWN0aXZlbHkuWzFdKQoKVGhlIHJlc3Vs dHMgc3VnZ2VzdCB0aGF0IHlvdSBwYXkgYSBwZW5hbHR5IGZvciBob3VzZSBtb25vdG9uaWNpdHks IGFuZCAKdGhhdCB0aGlzIHBlbmFsdHkgaXMgd29yc2UgaWYgdGhlIGJhc2UgbWV0aG9kIGlzIGZh Y3Rpb25hbC1mYXZvcmluZyAKcmF0aGVyIHRoYW4gY2VudGVyLWZhdm9yaW5nIC0gYXQgbGVhc3Qg Zm9yIHRoZXNlIG1ldGhvZHMgd2hvc2UgCnNpbmdsZS13aW5uZXIgcmVzdWx0IGlzIGNsb3NlIGJ5 IG9yIGF0IHRoZSBtZWRpYW4uIChQcmVzdW1hYmx5IGEgCmhvdXNlLW1vbm90b25lIG1ldGhvZCBi YXNlZCBvbiBJUlYgd291bGQgaGF2ZSBsZXNzIG9mIGEgcGVuYWx0eSwgYnV0IGluIApleGNoYW5n ZSwgaXQgd291bGQgZmFjZSBhIHNpbmdsZS13aW5uZXIgcGVuYWx0eSBkdWUgdG8gY2VudGVyIHNx dWVlemUuKQoKVGhhdCBtYWtlcyBzZW5zZSB0byBtZS4gSSdkIHByb2JhYmx5IHN0aWxsIHNheSB0 aGF0IHRoZSBtb3JlIHNlcmlvdXMgCnByb2JsZW0gd2l0aCBob3VzZS1tb25vdG9uZSBtZXRob2Rz IHdob3NlIHNpbmdsZS13aW5uZXIgdmFyaWFudCBwaWNrcyAKY2FuaWRhdGVzIG5lYXIgdGhlIGNl bnRlciBpcyB0aGUgZHluYW1pY3MuIFRoZSBmaXJzdCBjYW5kaWRhdGUgY2FuIApzZWN1cmUgdGhl aXIgcG9zaXRpb24gYnkgbW92aW5nIGNsb3NlciB0byB0aGUgY2VudGVyLCBiZWNhdXNlIHRoZSBm aXJzdCAKc2VhdCBpcyBjaG9zZW4gYnkgYSBtYWpvcml0YXJpYW4vY2VudGVyLWZvY3VzZWQgbWV0 aG9kLiBUaGVuIHRoZSBzZWNvbmQgCmNhbmRpZGF0ZSBnZXRzIGEgbG90IG1vcmUgcm9vbSBhbmQg Y2FuIG1vdmUgb3V0d2FyZHMuIEhvd2V2ZXIsIHRoZXJlIGlzIAp0aGVuIGEgcG90ZW50aWFsIGlu c3RhYmlsaXR5LiBUaGUgb3V0Y29tZSBtYXkgZmxvcCBiZXR3ZWVuIHRoZSBzZWNvbmQgCmNhbmRp ZGF0ZSBiZWluZyB0byB0aGUgbGVmdCBhbmQgdG8gdGhlIHJpZ2h0IG9mIHRoZSBjZW50ZXIgY2Fu ZGlkYXRlLCAKYW5kIHRoZSB0d28tc2VhdCBhc3NlbWJseSBpcyBvbmx5IGJhbGFuY2VkIGluIGV4 cGVjdGF0aW9uICh3aXRoIGEgbG90IG9mIAp2YXJpYW5jZSkuCgoKRmluYWxseSwgSSBjaGVja2Vk IG1heG1pbiBtZXRob2RzLCBhbHNvIGNhbGxlZCAiZWdhbGl0YXJpYW4iIG9uZXMgaW4gCnNvbWUg cGFwZXJzLiBUaGVzZSBhcmUgcXVhbGl0eS1iYXNlZCBtZXRob2RzIChlLmcuIGxpa2UgSGFybW9u aWMpLCBidXQgCmluc3RlYWQgb2YgdGhlIG9iamVjdGl2ZSBiZWluZyB0byBtYXhpbWl6ZSB0aGUg c3VtIG9mIGVhY2ggdm90ZXIncyAKc2F0aXNmYWN0aW9uIHdpdGggdGhlIHJlc3VsdCwgdGhlIG9i amVjdGl2ZSBpcyBpbnN0ZWFkIHRvIG1heGltaXplIHRoZSAKc2F0aXNmYWN0aW9uIG9mIHRoZSBs ZWFzdCBzYXRpc2ZpZWQgdm90ZXIuIFRpZXMgYXJlIGJyb2tlbiBieSAKY29uc2lkZXJpbmcgdGhl IHNlY29uZC1sZWFzdCBzYXRpc2ZpZWQgdm90ZXIgYW5kIHNvIG9uLgoKU29tZSByZXN1bHRzOgoK MiBzZWF0cywgMTAgY2FuZGlkYXRlcywgb3B0aW1hbCBxdWFudGlsZToKCk5hbWUJCQkJCQlxCQlW U0UgYXQgcQpNYXhtaW4gQ2FyZGluYWw6IEhhcm1vbmljIChDLUMpCQkJMC4yNDE4CQkwLjM1ODMK TWF4bWluIENhcmRpbmFsOiBIYXJtb25pYyAoU2FpbnRlLUxhZ3XDqykJMC4yNzExCQkwLjM4MjQK TWF4bWluIENhcmRpbmFsOiBIYXJtb25pYyAoZCdIb25kdCkJCTAuMjg3NwkJMC4zNzY1CgpNYXht aW4gQ2FyZGluYWw6IExQVjArCQkJCTAuMzU4MgkJMC40MjYzCk1heG1pbiBDYXJkaW5hbDogTG9n LXBlbmFsdHkgKEsgPSAxKQkJMC4zNTg2CQkwLjQzMjEKTWF4bWluIENhcmRpbmFsOiBMb2ctcGVu YWx0eSAoSyA9IDEwKQkJMC4zNjE5CQkwLjQzNTcKTWF4bWluIENhcmRpbmFsOiBMb2ctcGVuYWx0 eSAoSyA9IDEwMDApCQkwLjM2MjYJCTAuNDM2NQoKTWF4bWluIENhcmRpbmFsOiBQc2kgKFNhaW50 ZS1MYWd1w6spCQkwLjM3MzUJCTAuMzU3MAoKMyBzZWF0cywgMTAgY2FuZGlkYXRlcywgYXQgRHJv b3A6CgpOYW1lCQkJCQlWU0UKTWF4bWluIENhcmRpbmFsOiBIYXJtb25pYyAoQy1DKQkJMC4xMjI0 Ck1heG1pbiBDYXJkaW5hbDogSGFybW9uaWMgKFMtTCkJCTAuMTQ5MgpNYXhtaW4gQ2FyZGluYWw6 IEhhcm1vbmljIChkJ0hvbmR0KSAgICAgMC4xNzUxCgpNYXhtaW4gQ2FyZGluYWw6IExQVjArCQkJ MC4zNTU1Ck1heG1pbiBDYXJkaW5hbDogTG9nLXBlbmFsdHkgKEsgPSAxKQkwLjM1OTMKTWF4bWlu IENhcmRpbmFsOiBMb2ctcGVuYWx0eSAoSyA9IDEwKQkwLjM2NzEKTWF4bWluIENhcmRpbmFsOiBM b2ctcGVuYWx0eSAoSyA9IDEwMDApCTAuMzY4MAoKTWF4bWluIENhcmRpbmFsOiBQc2kgKFNhaW50 ZS1MYWd1w6spCTAuMjUxMgoKNSBzZWF0cywgMTAgY2FuZGlkYXRlcywgYXQgRHJvb3A6CgpOYW1l CQkJCQlWU0UKTWF4bWluIENhcmRpbmFsOiBIYXJtb25pYyAoQy1DKQkJMC4wODc0Ck1heG1pbiBD YXJkaW5hbDogSGFybW9uaWMgKFMtTCkJCTAuMDc0NQpNYXhtaW4gQ2FyZGluYWw6IEhhcm1vbmlj IChkJ0hvbmR0KSAgICAgMC4wNzEyCgpNYXhtaW4gQ2FyZGluYWw6IExQVjArCQkJMC4yNTU0Ck1h eG1pbiBDYXJkaW5hbDogTG9nLXBlbmFsdHkgKEsgPSAxKQkwLjI2MTEKTWF4bWluIENhcmRpbmFs OiBMb2ctcGVuYWx0eSAoSyA9IDEwKQkwLjI3MDIKTWF4bWluIENhcmRpbmFsOiBMb2ctcGVuYWx0 eSAoSyA9IDEwMDApCTAuMjY1MgoKTWF4bWluIENhcmRpbmFsOiBQc2kgKFNhaW50ZS1MYWd1w6sp ICAgICAwLjA4NgoKTm9uZSBhcmUgcGFydGljdWxhcmx5IGdvb2QgYnkgdGhpcyBwcm9wb3J0aW9u YWxpdHkgbWVhc3VyZSwgYW5kIGl0IGdldHMgCndvcnNlIHRoZSBtb3JlIHNlYXRzIHRoZXJlIGFy ZS4KCk9uIHRoZSBvbmUgaGFuZCwgaXQgbWF5IG5vdCBiZSBzdXJwcmlzaW5nIGFmdGVyIHRoZSBm YWN0IC0geW91IGNvdWxkIApyZWFzb24gdGhhdCBtYXhtaW4gb25seSBjYXJlcyBhYm91dCB0aGUg d29yc3Qtb2ZmIHZvdGVyLCB3aGljaCBtYWtlcyBpdCAKdG9vIGluc2Vuc2l0aXZlIHRvIGRpc3By b3BvcnRpb25hbGl0eSBlbHNld2hlcmU6IHRoYXQgaXQgd291bGQgc2FjcmlmaWNlIApwcm9wb3J0 aW9uYWxpdHkgZXZlcnl3aGVyZSBqdXN0IHRvIG1ha2UgYSBzaW5nbGUgdm90ZXIgc2xpZ2h0bHkg YmV0dGVyIApvZmYuIE9uIHRoZSBvdGhlciwgeW91IGNvdWxkIGFsc28gcmVhc29uIHRoYXQgaWYg c29tZW9uZSBlbHNlJ3MgCnByb3BvcnRpb25hbGl0eSB3YXMgYWZmZWN0ZWQsIHRoZW4gKnRoZWly KiBzY29yZSB3b3VsZCBkcm9wIGFuZCB0aGV5IAp3b3VsZCBiZSB0aGUgbmV3IHdvcnN0LW9mZiB2 b3Rlci4KCkkgdGhpbmsgcHJvcG9ydGlvbmFsaXR5IG5lZWRzIHRvIGJlIHNwZWNpZmllZCBleHBs aWNpdGx5IChsaWtlIE1vbnJvZSkgCmZvciBpdCB0byB3b3JrLiBDb25zaWRlciB0aGUgc2luZ2xl LXdpbm5lciBjYXNlLiBJdCdzIGhhcmQgdG8gdGhpbmsgb2YgYSAKZnVuY3Rpb24gdGhhdCB3b3Vs ZCBwaWNrIHRoZSBjYW5kaWRhdGUgY2xvc2VzdCB0byB0aGUgbWVkaWFuIHZvdGVyIGlmIAphbGwg eW91IGhhdmUgdG8gd29yayB3aXRoIGlzIGVhY2ggdm90ZXIncyBzYXRpc2ZhY3Rpb24gaW4gaXNv bGF0aW9uLCBhbmQgCnlvdSdyZSBtYXhpbWl6aW5nIHRoZSBtaW5pbXVtIHNhdGlzZmFjdGlvbiwg d2hpbGUsIGlmIHlvdSB3ZXJlIHRvIAppbXBsZW1lbnQgYSBEcm9vcCBjb25zdHJhaW50LCBpdCBj b3VsZCBtYXhpbWl6ZSB0aGUgbWluaW11bSBzYXRpc2ZhY3Rpb24gCm9mIGEgbWFqb3JpdHksIGhl bmNlIHRoYXQgdm90ZXIgYXQgdGhhdCBtaW5pbXVtIHdvdWxkIG1vcmUgbGlrZWx5IGJlIHRoZSAK bWVkaWFuIHZvdGVyLiBCdXQgZXZlbiBpZiBpdCB3ZXJlIHRvIGJlIGVuZm9yY2VkIGJ5IGEgY29u c3RyYWludCAtIGxpa2UgCk1vbnJvZSAtIGl0IGZlZWxzIGxpa2UgdGhlIG1ldGhvZCB3b3VsZCBi eSBpdHMgbmF0dXJlIGJlIHB1bGxpbmcgaW4gdHdvIApkaXJlY3Rpb25zLiBTbyBJIHN1c3BlY3Qg bWF4bWluIG1ldGhvZHMgd291bGQgc3RpbGwgaGF2ZSB0cm91YmxlIG9uIHRoaXMgCm1lYXN1cmUs IGV2ZW4gaWYgdGhleSdyZSBjb25zdHJhaW5lZCB0byBiZSBhdCBsZWFzdCBzb21ld2hhdCBwcm9w b3J0aW9uYWwuCgooT25lIGNvdWxkIHRoZW4gc2F5OiBwZXJoYXBzIG1heG1pbiBpc24ndCBtZWFu dCB0byBiZSBwcm9wb3J0aW9uYWwsIGJ1dCAKaW5zdGVhZCBnaXZlIG1pbm9yaXR5IGZhY3Rpb25z IG1vcmUgcmVwcmVzZW50YXRpb24uIEFuZCB0aGUgbWF4bWluIAp2ZXJzaW9uIG9mIGEgbWV0aG9k IGRvZXMgaGF2ZSBhIGxvd2VyIG9wdGltYWwgcXVhbnRpbGUgZm9yIDItb2YtMTAuIEJ1dCAKdGhl IHByb2JsZW0gdGhlbiBpcyBzdHJhdGVneTogbWFqb3JpdGllcyBjYW4gc3RyYXRlZ2ljYWxseSBy ZXByZXNlbnQgCnRoZW1zZWx2ZXMgYXMgbWlub3JpdGllcywgYnV0IG1pbm9yaXRpZXMgY2FuJ3Qg ZG8gdGhlIGNvbnZlcnNlLikKCi1rbQoKWzFdICBTdHJpY3RseSBzcGVha2luZyAiQ2hhbWJlcmxp bi1Db3VyYW50IiBoZXJlIGlzICp1bndlaWdodGVkKiBDLUMgLSAKd2l0aCBkZWx0YT0wIEhhcm1v bmljLCB5b3Ugc3RpbGwgZ2l2ZSByZXBzIGVxdWFsLXdlaWdodCB2b3RlcyBpbiB0aGUgCmFzc2Vt Ymx5LiBZb3UgZG9uJ3QgbGV0IHNvbW9uZSB3aG8ncyB0aGUgZmF2b3JpdGUgb2YgdHdpY2UgYXMg bWFueSAKdm90ZXJzIGdldCB0d2ljZSB0aGUgdm90aW5nIHdlaWdodCAtLSBidXQgaWYgeW91IHdl cmUsIGl0IHdvdWxkIHJlZHVjZSAKdGhlIGRpc3Byb3BvcnRpb25hbGl0eS4KLS0tLQpFbGVjdGlv bi1NZXRob2RzIG1haWxpbmcgbGlzdCAtIHNlZSBodHRwczovL2VsZWN0b3JhbWEuY29tL2VtIGZv ciBsaXN0IGluZm8K