Level of proportionality for two-seat PR methods
Kristofer Munsterhjelm via Election-Methods <[email protected]> Sat, 13 Jun 2026 02:50:56 +0200
| Newsgroups | gmane.politics.election-methods |
|---|---|
| Message-ID | <[email protected]> |
QXMgbWVudGlvbmVkIGluIG15IHByZXZpb3VzIHBvc3QsIEkgZXh0ZW5kZWQgbXkgUFIgbWVhc3Vy aW5nIGNvZGUgdG8gCmNvbnNpZGVyIGRpZmZlcmVudCBkZWdyZWVzIG9mIHByb3BvcnRpb25hbGl0 eS4KCkkgaGF2ZW4ndCBmb3VuZCBhIHdheSB0byBnZW5lcmFsaXplIHByb3BvcnRpb25hbGl0eSBk ZWdyZWVzIGZvciBhbnkgCm51bWJlciBvZiBzZWF0cyAoSSBzaG91bGQgcmVhZCB0aGF0IHBvc3Qs IEkgc3VwcG9zZS4uLikgYnV0IGZvciB0d28gCnNlYXRzLCBJIGZpZ3VyZWQgdGhhdCBpdCdzIG5v dCB0b28gaGFyZC4gU2luY2UgdGhlIHZvdGVyIG9waW5pb24gc3BhY2UgCmRpc3RyaWJ1dGlvbiBp cyBhIHN0YW5kYXJkIG5vcm1hbCwgaXQncyBzeW1tZXRyaWMgYXJvdW5kIHplcm8sIHNvIAp0aGVy ZSdzIG5vIHJlYXNvbiBmb3IgdGhlIG1ldGhvZCB0byBwcmVmZXIgbGVmdC13aW5nIHRvIHJpZ2h0 LXdpbmcgCmNhbmRpZGF0ZXMgKG9yIHZpY2UgdmVyc2EpLiBUaHVzLCB0aGUgcHJvcG9ydGlvbmFs aXR5IGxldmVsIGNhbiBiZSAKcGFyYW1ldGVyaXplZCBieSBqdXN0IGhvdyBmYXIgZnJvbSB0aGUg bWVkaWFuIHRoZSB0d28gZWxlY3RlZCBjYW5kaWRhdGVzIApsaWUuCgpUaGF0IGlzLCB0aGUgZXJy b3IgZnVuY3Rpb24gaXMKCXNxcnQoKHhfMSAtIHlfMSleMiArICh4XzIgLSB5XzIpXjIpCgphbmQg Y2FuIGJlIHBhcmFtZXRlcml6ZWQgYnkgYSBxdWFudGlsZSBsZXZlbCBxLCBzbyB0aGF0IHlfMSBp cyB0aGUgCnBvc2l0aW9uIGNvcnJlc3BvbmRpbmcgdG8gdGhlIHF0aCBxdWFudGlsZSBvZiB0aGUg dm90ZXIgb3BpbmlvbiBzcGFjZSAKZGlzdHJpYnV0aW9uLCBhbmQgeV8yIGlzIHRoZSAoMS1xKXRo IHF1YW50aWxlOyBhbmQgeF8xIGFuZCB4XzIgaXMgdGhlIApsb2NhdGlvbiBvZiB0aGUgbGVmdG1v c3QgYW5kIHJpZ2h0bW9zdCBlbGVjdGVkIGNhbmRpZGF0ZSBpbiBvcGluaW9uIHNwYWNlLgoKVGhl ICJzaWduaWZpY2FudCIgdmFsdWVzIG9mIHEsIG9yIGF0IGxlYXN0IHRob3NlIHRoYXQgY29tZSBt b3N0IHJlYWRpbHkgCnRvIG1pbmQgYXMgZGlzdGluY3QsIGFyZSwgZm9yIHR3byBzZWF0czoKCXEg PSAwCgkJYXMgZmFjdGlvbmFsIGFzIHBvc3NpYmxlLCB1c3VhbGx5IG5vdCBhIGdvb2QgaWRlYSwg YnV0IHBlcmhhcHMgdXNlZnVsIApmb3IgdGhlIHVuYW5pbWl0eSBzZXR0aW5nIEkgbWVudGlvbmVk IGVhcmxpZXIuCgoJcSA9IDEvNAoJCVRoaXMgaXMgdGhlICJpbmRlcGVuZGVudCB3aW5ncyIgcG9z aXRpb24sIHdoZXJlIHRvIGVsZWN0IGEgY291bmNpbCwgCnlvdSBzcGxpdCB0aGUgdm90ZXJzIGlu dG8gdHdvIGhhbHZlcyAobGVmdC1vZi1jZW50ZXIgYW5kIApyaWdodC1vZi1jZW50ZXIpIGFuZCBl bGVjdCB0aGUgY2VudHJpc3QgZnJvbSBlYWNoIChpLmUuIHRoZSAKbGVmdC13aW5nZXJzJyBpbnRl cm5hbCBtZWRpYW4gYW5kIHRoZSByaWdodC13aW5nZXJzJyBpbnRlcm5hbCBtZWRpYW4pLiAKVGhl IG1lZGlhbiBpcyBhdCBxID0gMS8yLCBzbyBhIG1lZGlhbiBvZiB0aGUgbGVmdCBoYWxmIGlzIDEv NC4KCglxID0gMS8zCgkJU3BhdGlhbCBEcm9vcCBwcm9wb3J0aW9uYWxpdHkuCgoJcSA9IDEvMgoJ CUJsb2MgbWFqb3JpdGFyaWFuIHZvdGluZyAoZWxlY3QgYXMgbWFueSBtZWRpYW4gdm90ZXIgY2Fu ZGlkYXRlcyBhcyB5b3UgCmNhbikuCgpUaGUgVlNFIGlzIHRoZW4gYSBnb29kbmVzcy1vZi1maXQg dmFsdWUgKGFuZCBpcyB0aGUgbWF4aW11bSBWU0UgdGhhdCAKbWV0aG9kIGNhbiBnZXQgYXQgYW55 IHEsIGdyaWQgc2VhcmNoIG9wdGltaXphdGlvbiBpbmFjY3VyYWNpZXMgCm5vdHdpdGhzdGFuZGlu ZykuIEEgbG93IHZhbHVlIG1lYW5zIHRoYXQgZXZlbiB0aGUgYmVzdCBmaXQgZG9lc24ndCBmaXQg CnZlcnkgd2VsbCwgYW5kIHRodXMgdGhhdCB0aGUgbWV0aG9kIGhhcyB0cm91YmxlIGJlaW5nIGNv bnNpc3RlbnRseSAKcHJvcG9ydGlvbmFsIGF0IGFueSBsZXZlbC4gSGlnaCB2YWx1ZXMgbWVhbiB0 aGF0IHRoZSBwYXJ0aWN1bGFyIGZpdCBpcyBhIAp2ZXJ5IGdvb2Qgb25lLgoKU28sIGNvbnNpZGVy aW5nIHNvbWUgbWV0aG9kcyBmb3IgZWFjaCBvZiB0aGUgInNpZ25pZmljYW50IiB2YWx1ZXMgb2Yg cToKCnEgPSAwCgpOYW1lCQkJUHJvcC4gcXVhbnRpbGUJCUdvb2RuZXNzLW9mLWZpdCBWU0UKV29y c3QgUGx1cmFsaXR5CQkwCQkJLTAuMTY0MApXb3JzdCBBbnRpcGx1cmFsaXR5CTAJCQkgMC45OTk2 CkxQVjArCQkJMC4wMDA0CQkJLTAuNDQ0OApMb2ctcGVuYWx0eSAoSyA9IDEwMDApICAwLjAwMjcJ CQktMC4wMzA0CgpOb25lIG9mIHRoZXNlIGFyZSB2ZXJ5IGdvb2QuIFdvcnN0IFBsdXJhbGl0eSBl bGVjdHMgUGx1cmFsaXR5IGxvc2VycywgCmFuZCBXb3JzdCBBbnRpcGx1cmFsaXR5IGVsZWN0cyBB bnRpcGx1cmFsaXR5IGxvc2VycyAoaS5lLiBpdCBnaXZlcyBvbmUgCnBvaW50IHRvIGxhc3QgcGxh Y2UgYW5kIGVsZWN0cyB0aGUgY2FuZGlkYXRlcyB3aXRoIHRoZSBtb3N0IHBvaW50cykuCgpUaGUg aW50ZXJlc3RpbmcgcGFydCBoZXJlIGlzIHRoYXQgQW50aXBsdXJhbGl0eSBoYXMgc3VjaCBhIGdv b2QgZml0OyBJIAp0aGluayB0aGlzIGlzIGJlY2F1c2UgbXkgbW9kZWwgaXMgZW50aXJlbHkgZm9j dXNlZCBvbiBQUiAtIHRoZXJlIGFyZSBubyAKInVuaXZlcnNhbGx5IGdvb2QiIG9yICJ1bml2ZXJz YWxseSBiYWQiIGNhbmRpZGF0ZXMuIEhlbmNlIGNob3NpbmcgbG9zZXJzIAptZWFucyBjaG9zaW5n IGNsb3NlciB0byB0aGUgdGFpbCBlbmQgb2YgdGhlIGRpc3RyaWJ1dGlvbiwgd2hpY2gsIGlmIHRo ZSAKbWV0aG9kIGRvZXNuJ3QgaGF2ZSBhbnkgY2VudGVyIHNxdWVlemUgb3Igb3RoZXIgcHJvYmxl bXMsIG1lYW5zIApjb25zaXN0ZW50bHkgaGl0dGluZyBxPTAuCgpxID0gMS80CgpOYW1lCQkJUHJv cC4gcXVhbnRpbGUJCUdvb2RuZXNzLW9mLWZpdCBWU0UKUVBRICgwLjAxKQkJMC4yMTUyCQkJIDAu NjYwNQpTTlRWCQkJMC4yMzQJCQkgMC41ODY4ClFQUSAoU2FpbnRlLUxhZ3XDqykJMC4yMzgxCQkJ IDAuNzE5MApSYW5kb20gYmFsbG90cwkJMC4yNDg0CQkJIDAuMzI5MgpCbG9jIElSViAoYm90dG9t cy11cCkJMC4yNTM4CQkJIDAuNzk2NwpIYXJtb25pYyAoZGVsdGEgPSAwKQkwLjI2NTEJCQkgMC45 MTgxCgpJJ20gYSBiaXQgc3VycHJpc2VkIHRoYXQgcmFuZG9tIGJhbGxvdHMgZW5kZWQgdXAgaGVy ZS4gQnV0IEkgc3VwcG9zZSAKdGhpcyBpcyB0aGUgIm5vbi1pbnRlcmFjdGlvbmlzdCIgY2F0ZWdv cnksIGFuZCB0aGUgcmFuZG9tIGJhbGxvdHMgbWV0aG9kIApkb2Vzbid0IHNlZWsgdG8gcmV3ZWln aHQgYW55Ym9keS4KCkFzIGZvciBTTlRWOiB3aGlsZSBpdHMgcHJvcG9ydGlvbmFsaXR5IGxldmVs IHNlZW1zIHRvIGJlIGFyb3VuZCAxLzQgd2hlbiAKaXQncyBqdXN0IGdpdmVuIGNhbmRpZGF0ZXMg ZnJvbSB0aGUgb3BpbmlvbiBzcGFjZSBkaXN0cmlidXRpb24gKG9yIGZyb20gCnVuaWZvcm0pLCBp dCdzIHNvIHZ1bG5lcmFibGUgdG8gdm90ZSBtYW5hZ2VtZW50IHRoYXQgaW4gcHJhY3RpY2UgaXQg CndvdWxkIGJlIGNsb3NlciB0byAxLzMuIEknZCBhbHNvIG5vdGUgdGhhdCBTTlRWIGdldHMgbW9y ZSBmYWN0aW9uYWwgd2l0aCAKbW9yZSBjYW5kaWRhdGVzOyBmb3IgaW5zdGFuY2UsIHdpdGggdHdv IHNlYXRzIGFuZCAxNSBjYW5kaWRhdGVzLCBpdHMgCnF1YW50aWxlIGlzIDAuMjE1OS4gSW4gY29u dHJhc3QsIEJsb2MgSVJWIHN0YXlzIHByZXR0eSBzb2xpZCBhdCAwLjI1MTUuIApUaGlzIHN1Z2dl c3RzIHRoYXQgc3RyYXRlZ3kgaXMgcHJldHR5IG11Y2ggcmVxdWlyZWQgdG8gbWFrZSBTTlRWIGJl aGF2ZSAKcHJvcGVybHkgKHNpbWlsYXIgdG8gdm90ZS1zcGxpdHRpbmcgcHJvYmxlbXMgd2l0aCBz aW5nbGUtd2lubmVyIFBsdXJhbGl0eSkuCgpUaGUgU05UViByZXN1bHQgd291bGQgc3VnZ2VzdCB0 aGF0IGF0IGxlYXN0IHNvbWUgbWV0aG9kcyB0aGF0IGhhdmUgcSA9IAoxLzQgd2l0aCBob25lc3Qg YmVoYXZpb3IgYXJlIHN1c2NlcHRpYmxlIHRvIHN0cmF0ZWd5IHRoYXQgZHJpdmUgdGhlbSB0byAK cSA9IDEvMy4gSXQgd291bGQgYmUgaW50ZXJlc3RpbmcgdG8ga25vdyB3aGF0IG1ldGhvZHMgYXJl ICJzdGFibGUiIGF0IAoxLzQgaW4gdGhpcyBzZW5zZSwgaS5lLiB0aGF0IHRoZWlyIHByb3BvcnRp b25hbGl0eSBsZXZlbCBpc24ndCBmb3JjZWQgCmlud2FyZCBieSBzdHJhdGVneS4gSSBzdXNwZWN0 IHRoYXQgdm90ZS1tYW5hZ2VtZW50IHByb2JsZW1zIGJlY29tZSBtb3JlIApzZXZlcmUgdGhlIGxv d2VyIHEgeW91IGhhdmUsIHRob3VnaCB0aGF0J3MganVzdCBhIGh1bmNoLgoKcSA9IDEvMwoKTmFt ZQkJCVByb3AuIHF1YW50aWxlCQlHb29kbmVzcy1vZi1maXQgVlNFClNUVi1NRSAoUGx1cmFsaXR5 KSAgICAgIDAuMzI0CQkJIDAuODMyMwpNZWVrL1dhcnJlbiBTVFYJCTAuMzM5NwkJCSAwLjc5NDUK UVBRIChkJ0hvbmR0KQkJMC4zMzk4CQkJIDAuNzg5MQpTVFYJCQkwLjM0MDQJCQkgMC43OTQ2ClZv dGUgRm9yIGFuZCBBZ2FpbnN0CTAuMzUwNgkJCSAwLjczMzAKU1RWLU1FIChTY2h1bHplKSAgICAg ICAgMC4zNgkJCSAwLjgxNDUKQmxvYyBOYXVydS1Cb3JkYSBJUlYJMC4zNjIJCQkgMC45MTU3CkRI d0wgUmFua2VkIFBhaXJzCTAuMzgxOQkJCSAwLjg1MzgKU2NodWx6ZSBTVFYJCTAuMzkzCQkJIDAu NTE0MQoKYW5kIGZvciB0aGUgY2FyZGluYWwgbWV0aG9kcyB3aXRoaW4gdGhpcyByZWdpb246CgpI YXJtb25pYyAoZGVsdGEgPSAwLjE0KQkwLjMwMDcJCQkgMC45MzU1Ci4uLgpIYXJtb25pYyAoZCdI b25kdCkJMC4zODIJCQkgMC45MjQ2CgphbmQKCklzb2VsYXN0aWMgKHIgPSAtMTApCTAuMzgxNgkJ CSAwLjQ4MDMKLi4uCklzb2VsYXN0aWMgKHIgPSAtNS43KQkwLjM5OTMJCQkgMC41MzEwCgpOb3Qg dG9vIG11Y2ggdG8gc2F5IGhlcmUuIFNvbWUgb2YgdGhlIG5lZ2F0aXZlIHBhcnQgb2YgSXNvZWxh c3RpYyBpcyBpbiAKdGhpcyByZWdpb24sIGJ1dCBub3QgdmVyeSBnb29kOyBIYXJtb25pYyBpcyBt dWNoIGJldHRlci4gKFBzaSBoYXMgYW4gCm9wdGltdW0gb2YgcSA9IDAuNSwgdG8gYmUgaGFuZGxl ZCBsYXRlci4pIERId0wgaXMgYSBtdWx0aXBsaWNhdGl2ZSAKdmVyc2lvbiBvZiBPbGxpIFNhbG1p J3MgImQnSG9uZHQgV2l0aG91dCBMaXN0cyI7IHNlZSAKaHR0cDovL2xpc3RzLmVsZWN0b3JhbWEu Y29tL3BpcGVybWFpbC9lbGVjdGlvbi1tZXRob2RzLWVsZWN0b3JhbWEuY29tLzIwMDgtT2N0b2Jl ci8xMjEwODIuaHRtbC4KCkkgd291bGQgc3VzcGVjdCB0aGF0IHRoZSBwb3NpdGlvbmFsIGFuZCBw b3NpdGlvbmFsIGVsaW1pbmF0aW9uIG1ldGhvZHMgCmFyZSB1bnN0YWJsZSBpbiB0aGUgbnVtYmVy IG9mIHNlYXRzIHRvIGJlIGVsZWN0ZWQsIGkuZS4gdGhhdCB0aGVpciAKb3B0aW1hbCBxIChmb3Ig c29tZSByZWFzb25hYmxlIGdlbmVyYWxpemF0aW9uKSB3b3VsZCBjaGFuZ2UgZHJhc3RpY2FsbHkg CmFzIHRoZSBudW1iZXIgb2Ygc2VhdHMgY2hhbmdlcy4gU3VycHJpc2luZ2x5LCB0aGV5IGRvbid0 IGNoYW5nZSBtdWNoIAp3aXRoIG51bWJlciBvZiBjYW5kaWRhdGVzLgoKU2NodWx6ZSBTVFYgaXMg c29tZXdoYXQgb2YgYSBzdXJwcmlzZSBoZXJlLiBJZiBteSBnbHVlIGNvZGUgd2FzIGp1c3QgCm91 dHJpZ2h0IHdyb25nLCBJIHdvdWxkIGV4cGVjdCBxIHRvIGJlIGVpdGhlciB6ZXJvIG9yIDEvMiwg YnV0IGl0J3MgCjAuMzksIHdoaWNoIGlzIG5vdCAqdG9vKiBmYXIgb2ZmIDEvMy4gSXRzIGdvb2Ru ZXNzLW9mLWZpdCBpcyBzdGlsbCAKcHJldHR5IGJhZC4gSSBndWVzcyBJJ2xsIGJlIG1vcmUgY29u ZmlkZW50IG9mIHdoZXRoZXIgdGhlcmUgYXJlIGVycm9ycyAKaGVyZSBvbmNlIEkndmUgaW1wbGVt ZW50ZWQgc29tZSBvZiBTY2h1bHplJ3MgdGVzdCBlbGVjdGlvbnM7IGJ1dCBzdGlsbCwgCnRoZSBy ZXN1bHQgd291bGQgYmUga2luZGEgd2VpcmQgaWYgbXkgaW1wbGVtZW50YXRpb24gaXMganVzdCBi cm9rZW4uCgpJZiB0aGUgbWV0aG9kIHR1cm5zIG91dCB0byB3b3JrIHByb3Blcmx5LCB0aGVuIG1h eWJlIFNjaHVsemUgU1RWIGp1c3QgCmltcGxlbWVudHMgYSBzdWJvcHRpbWFsIGNvbXBsZXRpb24g cnVsZSB0byBwaWNrIGZyb20gU2NodWx6ZSdzIAp2b3RlLW1hbmFnZW1lbnQgU21pdGggc2V0LiBP ciB0aGUgbWVhc3VyZSBpc24ndCBhcyBnb29kIGFzIEkgdGhvdWdodC4KCnEgPSAxLzIKCk5hbWUJ CQlQcm9wLiBxdWFudGlsZQkJR29vZG5lc3Mtb2YtZml0IFZTRQpCbG9jIEFudGlwbHVyYWxpdHkJ MC4zOTY2CQkJIDAuMjEzOQpQU0MtQ0xFCQkJMC40NzA0CQkJIDAuOTY0MgpCbG9jIFJhbmtlZCBw YWlycwkwLjQ5OTQJCQkgMC45OTk5ClJhbmdlIDAtMjAsIHJlbC4gc2NhbGUJMC41CQkJIDAuOTE4 MQpCbG9jIEJvcmRhCQkwLjUJCQkgMC45MzMxClJhbmdlIDAtMjAsIGFicy4gc2NhbGUJMC41CQkJ IDAuOTczNAoKYW5kIGNhcmRpbmFsIG1ldGhvZHMgKGZvciBzb21lIHBhcmFtZXRlciB2YWx1ZXMp CgpJc29lbGFzdGljIChyID0gLTUuNSkJMC40MDA3CQkJIDAuNTMyOQpJc29lbGFzdGljIChyID0g Mi43KQkwLjUJCQkgMC45NzMzIChxPTAuNSBtYXgpCklzb2VsYXN0aWMgKHIgPSAxMCkJMC41CQkJ IDAuNzUzMwoKUHNpIChkZWx0YSA9IDApCQkwLjUJCQkgMC42OTg1ClBzaSAoU2FpbnRlLUxhZ3XD qykJMC41CQkJIDAuNzQyMQpQc2kgKGQnSG9uZHQpCQkwLjUJCQkgMC43NzE3CgpUaGVzZSBhcmUg dGhlIG1ham9yaXRhcmlhbi9jZW50cmlzdCBvbmVzLiBJJ20gbW9zdCBzdXJwcmlzZWQgYXQgYmxv YyAKQW50aXBsdXJhbGl0eSBiZWluZyB0aGF0IGxvdywgc2luY2UgSSdkIGltYWdpbmUgdGhhdCBw b3NpdGlvbmFsIG1ldGhvZHMgCm9uIHRoZSBvdGhlciBzaWRlIG9mIEJvcmRhIGFyZSBldmVuIG1v cmUgY2VudGVyLWhlYXZ5IHRoYW4gQm9yZGEgaXRzZWxmLiAKUFNDLUNMRSBub3QgYmVpbmcgbW9y ZSBwcm9wb3J0aW9uYWwgaXMgYWxzbyBpbnRlcmVzdGluZywgYXMgaXMgdGhhdCAKZXZlcnkgZGVs dGEgUHNpIGhhcyBwcm9wb3J0aW9uYWxpdHkgMC41OyB1bmxlc3MgbXkgY29kZSBpcyB3cm9uZywg dGhpcyAKbWVhbnMgdGhhdCBQc2kgYXMgYSB3aG9sZSBpcyBhIGxvdCBtb3JlIGNlbnRlci1iaWFz ZWQgdGhhbiB3b3VsZCBiZSAKZXhwZWN0ZWQgb2YgYSBwcm9wb3J0aW9uYWwgbWV0aG9kLgoKClNv IHRoaXMgcG9zdCBpcyBhbHJlYWR5IHByZXR0eSBsb25nLCBidXQgdGhlcmUncyBvbmUgdGhpbmcg SSdkIGxpa2UgdG8gCm1lbnRpb24uIEEgbWV0aG9kIEkgaW1wbGVtZW50ZWQgYmFjayBpbiAyMDA3 LTIwMDkgYXMgYSBwcm9vZiBvZiBjb25jZXB0IApzaG93ZWQgZ29vZCByZXN1bHRzIChmb3IgaXRz IGdpdmVuIHF1YW50aWxlIHZhbHVlKSBpbiBhIHZlcnkgbGltaXRlZCAKdGVzdCwgYW5kIHRoZSBn ZW5lcmFsIGlkZWEgbWlnaHQgYmUgd29ydGggaW52ZXN0aWdhdGluZyBmdXJ0aGVyOgoKVHdvIHNl YXRzLCBmb3VyIGNhbmRpZGF0ZXM6CgpOYW1lCQkJUHJvcC4gcXVhbnRpbGUgICAgICAgICAgR29v ZG5lc3Mtb2YtZml0IFZTRQpDRkMtS2VtZW55ICAgICAgICAgICAgICAwLjI0OTMgICAgICAgICAg ICAgICAgICAgMC45OTk4Cgpmb3IgY29tcGFyaXNvbiwKTWVlay9XYXJyZW4gU1RWICAgICAgICAg MC4zMzE5ICAgICAgICAgICAgICAgICAgIDAuOTYyMApRUFEgKGQnSG9uZHQgICAgICAgICAgICAw LjMzMjEgICAgICAgICAgICAgICAgICAgMC45NjAzCkhhcm1vbmljIChkJ0hvbmR0KSAgICAgIDAu MzczMiAgICAgICAgICAgICAgICAgICAwLjk1MDUKClRoaXMgaXMgYSBjbHVzdGVyaW5nLWJhc2Vk IHZlcnNpb24gb2YgS2VtZW55ICh3aGljaCBpcyB3aHkgSSBjYW4ndCBydW4gCml0IHdpdGggdGhl IGZ1bGwgdGVuIGNhbmRpZGF0ZXM7IHRoZSBjb21iaW5hdG9yaWFsIGV4cGxvc2lvbiBpcyBhd2Z1 bCkuIApUaGUgc2V0dXAgaXMgdGhhdCB0aGUgdm90aW5nIHBvd2VyIChiYWxsb3Qgd2VpZ2h0KSwg c2F5IHdfaSBmb3IgdGhlIGl0aCAKYmFsbG90LCBpcyBkaXZpZGVkIGludG8gKGZvciB0d28gc2Vh dHMpIGEgbGVmdCBoYWxmIGFuZCBhIHJpZ2h0IGhhbGYsIAp3X2ksbGVmdCArIHdfaSxyaWdodCA9 IHdfaS4gVGhlIGxlZnQgaGFsZiBtdXN0IGhhdmUgZXF1YWwgdGhlIHZvdGluZyAKcG93ZXIgb2Yg dGhlIHJpZ2h0IGhhbGYgKHNvIHRoZXkgcmVwcmVzZW50IGFzIG1hbnkgdm90ZXJzKS4gVGhlbiB0 aGUgCm9wdGltaXplciBmaW5kcyBLZW1lbnkgc29jaWFsIG9yZGVycyBmb3IgYm90aCBoYWx2ZXMg c28gdGhhdCBkaWZmZXJlbnQgCmNhbmRpZGF0ZXMgd2luIGluIGVhY2ggYW5kIHRoZSB0b3RhbCBL ZW1lbnkgc2NvcmUgaXMgbWF4aW1pemVkLgoKSXRzIHByb3BvcnRpb25hbGl0eSBsZXZlbCBpcyAx LzQgYmVjYXVzZSBpdCB0cmVhdHMgdGhlIHR3byBoYWx2ZXMgCnNlcGFyYXRlbHkuIEJ1dCB0aGVy ZSBtaWdodCBiZSBhIHdheSB0byBtYWtlIGVhY2ggaGFsZidzIHJlc3VsdCBhbHNvIApjb25zaWRl ciB0aGUgb3RoZXIgaGFsZidzIHZvdGVycywgb3Igc29tZXRoaW5nIHNpbWlsYXIsIHRvIGJpYXMg aXQgCnRvd2FyZHMgRHJvb3AgcmVzdWx0cy4gQW5kIGlmIHNvLCBpdCBtaWdodCBwcm92aWRlIGdv b2QgcmVzdWx0cyBvdmVyIHRoZSAKd2hvbGUgc2NhbGUgZnJvbSBxPTEvNCB1cCB0byBxPTEvMi4K CkJ1dCBJJ2QgaGF2ZSB0byB1c2UgYSBtb3JlIHRyYWN0YWJsZSBtZXRob2QgdGhhbiBLZW1lbnkg YXMgdGhlIGJhc2UuCgpJIGd1ZXNzIHRoYXQgTW9ucm9lIHdvdWxkIGFsc28gZG8gcHJldHR5IHdl bGwgYnkgdGhpcyBtZWFzdXJlIGZvciAKc2ltaWxhciByZWFzb25zLiBBbmQgcGVyaGFwcyB0aGVy ZSBhcmUgd2F5cyB0byBtYWtlIE1vbnJvZSAiY2FyZSBhYm91dCIgCm90aGVyIGNsdXN0ZXJzIHRo YW4gaXRzIG93biwgYXMgd2VsbCwgdG8gZ2VuZXJhbGl6ZSBpdCB0byBzcGFuIGEgcmFuZ2UgCm9m IHEsIG5vdCBqdXN0IHRoZSAxLzQgb3IgImluZGVwZW5kZW50IGNsdXN0ZXJzIiBwb3NpdGlvbi4K Ci1rbQotLS0tCkVsZWN0aW9uLU1ldGhvZHMgbWFpbGluZyBsaXN0IC0gc2VlIGh0dHBzOi8vZWxl Y3RvcmFtYS5jb20vZW0gZm9yIGxpc3QgaW5mbwo=