From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id 8OMLFmdq+mKd2gAAbAwnHQ (envelope-from ) for ; Mon, 15 Aug 2022 17:46:47 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id EFovFmdq+mKjfAAAauVa8A (envelope-from ) for ; Mon, 15 Aug 2022 17:46:47 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id E11733A45D for ; Mon, 15 Aug 2022 17:46:46 +0200 (CEST) Received: from localhost ([::1]:34456 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oNcIf-0003Xi-W0 for larch@yhetil.org; Mon, 15 Aug 2022 11:46:46 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53410) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oNcHz-0003At-3u for guix-patches@gnu.org; Mon, 15 Aug 2022 11:46:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54149) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oNcHy-000060-RP for guix-patches@gnu.org; Mon, 15 Aug 2022 11:46:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oNcHy-0007SS-O0 for guix-patches@gnu.org; Mon, 15 Aug 2022 11:46:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57181] [PATCH] gnu: maths: Add newer SAT solvers cryptominisat5 and kissat Resent-From: Maximilian Heisinger Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 15 Aug 2022 15:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57181 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Liliana Marie Prikler Cc: 57181@debbugs.gnu.org Received: via spool by 57181-submit@debbugs.gnu.org id=B57181.166057831228520 (code B ref 57181); Mon, 15 Aug 2022 15:46:02 +0000 Received: (at 57181) by debbugs.gnu.org; 15 Aug 2022 15:45:12 +0000 Received: from localhost ([127.0.0.1]:43892 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oNcH9-0007Pu-A3 for submit@debbugs.gnu.org; Mon, 15 Aug 2022 11:45:12 -0400 Received: from mout-p-201.mailbox.org ([80.241.56.171]:44932) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oNXg9-0003G7-2B for 57181@debbugs.gnu.org; Mon, 15 Aug 2022 06:50:50 -0400 Received: from smtp102.mailbox.org (smtp102.mailbox.org [IPv6:2001:67c:2050:b231:465::102]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-201.mailbox.org (Postfix) with ESMTPS id 4M5rfH0wxsz9sW1; Mon, 15 Aug 2022 12:50:31 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=maxheisinger.at; s=MBO0001; t=1660560631; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=iBuZ12+sMuFFQV6UKVtynI6fRpbZuT/50DuAnPkEgJw=; b=uz+AliQw7BT7Q026zI9cUG0YwHPwvXMjQFL0oJpR7dkQGJgY2EWo3Aq5nBtNz3kI0acifG 6f86asXZa3tVVN+U7gerQktzEMmuKPvv/wUpMn72whX37320Dgvuxx3CQQWlN07XBirVDZ CUt7gD3xLw1KPnYeQTQRiyhIlruJzZWBLYJRE5HphtTyTjZ5GE6A6zRZLwVw/QyY3efYWs yjkfrgX7/I025udrASZCipEuWTLlOccAv9zOcFjTfNB0tt9uBIWk+qYyz2FhguFb+vPaAF vwBMtz5ELq4dEBVBrZarFXf1tw86PlyLEG/M3DNEAPuOKt1PhVeFgm0mHitZjA== Date: Mon, 15 Aug 2022 12:50:30 +0200 (CEST) From: Maximilian Heisinger Message-ID: <132482353.134362.1660560630571@ox93.mailbox.org> In-Reply-To: <4349f97ccc76a0ee579442c3a4f50b4ba2f4f34c.camel@gmail.com> References: <1dbd4bac9403ed4dd17de75dfc2d210daf2d2ea3.camel@gmail.com> <1840023126.104586.1660505267957@ox93.mailbox.org> <4349f97ccc76a0ee579442c3a4f50b4ba2f4f34c.camel@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="----=_Part_134361_1176128590.1660560630570" X-Priority: 3 Importance: Normal X-Rspamd-Queue-Id: 4M5rfH0wxsz9sW1 X-Mailman-Approved-At: Mon, 15 Aug 2022 11:45:10 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1660578407; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=iBuZ12+sMuFFQV6UKVtynI6fRpbZuT/50DuAnPkEgJw=; b=OIzOdzJtPFC5zUB2iWA8Cd7nSiUiTmgDtXD/XB6sUE5LUQ1xAChtcgtv/AGG8OVDIpxvN0 Sjfn8V4B13LX6Z82aTUHv61jlPo8GdSJxAckqKeVDvhIqBt9WlNO6xNgl1hA079KGetDN4 hiyxcPN1YvDbKKV6iX8Z4GTNtRIQk6qUH9VKXUEd4/MjUcXXVa2+WcwKtOBbc/ITXgE5ai X9mXqGLrELDuJtI+gRfnUM6HpwLF3ADwc+d44eI7f0w09i446mqebZupQteoKU4y+ytv/1 Cxphhk011wI1GZrCHcocynEXUFPq3W6KckGS1oxZeJTE3/lm7H0IERdoLqEJsQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1660578407; a=rsa-sha256; cv=none; b=KwtOgzJwX/uZKEvCoVxmeq3UU1rxB6K3zYL2u++R/bvlxh5CErqAE599foT9X8s1YnxLAe YwWxVo6qqjk6xP1yVbfW7d60MH2ME4h3d7hE2CZV3ifsypXms//jQGyaVVfGDGOrZPk/bw qVdULxXOsTZ2KGpVN1fxUQ5yJzn5AHT6xFjJOYKGY43anjiwH/ucME2WOcxdVo/o2DB0ag S3H2IsbnxTEaqsb5saGYGvlTdy94JzTWi40CFCC55Rbv101j6/+ZOiX4vOVnRTI/IGiVnY eSY5GW556P88pRFzh5hyP+knoM7OWOOpeUY9jw33QuWPO4sWTrgXg1A08WwZQw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=maxheisinger.at header.s=MBO0001 header.b=uz+AliQw; dmarc=fail reason="SPF not aligned (relaxed)" header.from=maxheisinger.at (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 6.44 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=maxheisinger.at header.s=MBO0001 header.b=uz+AliQw; dmarc=fail reason="SPF not aligned (relaxed)" header.from=maxheisinger.at (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: E11733A45D X-Spam-Score: 6.44 X-Migadu-Scanner: scn1.migadu.com X-TUID: rGTRZi9jClFW ------=_Part_134361_1176128590.1660560630570 Date: Mon, 15 Aug 2022 12:50:30 +0200 (CEST) Content-Type: multipart/mixed; boundary="----=_Part_134358_2072499494.1660560630550" ------=_Part_134358_2072499494.1660560630550 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Hi, sorry, doing the correct CC now. > Recursive checkout doesn't really sound "mini". Oh, there's some history behind the mini... CryptoMiniSat adds some stuff commonly needed in cryptography to MiniSat, which is a common base for many other SAT solvers. Kissat is "clean" mainly because it is a new solver that completely breaks with the old MiniSat codebase (and it cleans up some stuff, that was done in CaDiCaL, which I also intend to add later, as some features are still missing from Kissat). And MiniSat itself was a nice and minimal implementation containing (back then) the state-of-the-art optimizations. > could we try to make this a shared library? Done. Also updated the text and the commit messages :) Best regards, Max ------=_Part_134358_2072499494.1660560630550 Content-Type: text/x-patch; charset=UTF-8; name=0002-PATCH-gnu-Add-modern-SAT-solver-kissat.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0002-PATCH-gnu-Add-modern-SAT-solver-kissat.patch X-Part-Id: eafaf9a9f23a4f0aa7796e370592625b RnJvbSAyYTFhNTE3NjI0MWMyMDYyYjFkNGIxZjM3OWNhNmZiOTQ1ZmI3MDFmIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBNYXhpbWlsaWFuIEhlaXNpbmdlciA8bWFpbEBtYXhoZWlzaW5n ZXIuYXQ+CkRhdGU6IFN1biwgMTQgQXVnIDIwMjIgMjE6MDk6NTkgKzAyMDAKU3ViamVjdDogW1BB VENIIDIvMl0gUEFUQ0hdIGdudTogQWRkIG1vZGVybiBTQVQgc29sdmVyIGtpc3NhdAoKKiBnbnUv cGFja2FnZXMvbWF0aHMuc2NtIChraXNzYXQpOiBBZGQgcGFja2FnZS4KLS0tCiBnbnUvcGFja2Fn ZXMvbWF0aHMuc2NtIHwgNTUgKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysr KysrCiAxIGZpbGUgY2hhbmdlZCwgNTUgaW5zZXJ0aW9ucygrKQoKZGlmZiAtLWdpdCBhL2dudS9w YWNrYWdlcy9tYXRocy5zY20gYi9nbnUvcGFja2FnZXMvbWF0aHMuc2NtCmluZGV4IGY2OWM2Y2U2 ZGUuLjU4MDc1MWU1MTYgMTAwNjQ0Ci0tLSBhL2dudS9wYWNrYWdlcy9tYXRocy5zY20KKysrIGIv Z251L3BhY2thZ2VzL21hdGhzLnNjbQpAQCAtNzM0NSw2ICs3MzQ1LDYxIEBAIChkZWZpbmUtcHVi bGljIGNyeXB0b21pbmlzYXQ1CiAgICAgKGhvbWUtcGFnZSAiaHR0cHM6Ly9naXRodWIuY29tL21z b29zL2NyeXB0b21pbmlzYXQiKQogICAgIChsaWNlbnNlIGxpY2Vuc2U6ZXhwYXQpKSkKIAorKGRl ZmluZS1wdWJsaWMga2lzc2F0CisgIChwYWNrYWdlCisgICAgKG5hbWUgImtpc3NhdCIpCisgICAg KHZlcnNpb24gIjMuMC4wIikKKyAgICAoc291cmNlCisgICAgIChvcmlnaW4KKyAgICAgICAobWV0 aG9kIGdpdC1mZXRjaCkKKyAgICAgICAodXJpIChnaXQtcmVmZXJlbmNlCisgICAgICAgICAgICAg KHVybCAiaHR0cHM6Ly9naXRodWIuY29tL2FybWluYmllcmUva2lzc2F0IikKKyAgICAgICAgICAg ICAoY29tbWl0IChzdHJpbmctYXBwZW5kICJyZWwtIiB2ZXJzaW9uKSkpKQorICAgICAgIChmaWxl LW5hbWUgKGdpdC1maWxlLW5hbWUgbmFtZSB2ZXJzaW9uKSkKKyAgICAgICAoc2hhMjU2CisgICAg ICAgIChiYXNlMzIKKyAgICAgICAgICIwNHg0dzc2MHNyYmRpNHpjaTBzNzQ3cXhrNzE3eDVkMng1 OWl4cmF4aDUxMDRzOW55bjhiIikpKSkKKyAgICAoYnVpbGQtc3lzdGVtIGdudS1idWlsZC1zeXN0 ZW0pCisgICAgKG5hdGl2ZS1pbnB1dHMgKGxpc3QgeHogZ3ppcCBsemlwIGJ6aXAyKSkKKyAgICAo YXJndW1lbnRzCisgICAgIGAoIzp0ZXN0LXRhcmdldCAidGVzdCIKKyAgICAgICAjOnBoYXNlcwor ICAgICAgIChtb2RpZnktcGhhc2VzICVzdGFuZGFyZC1waGFzZXMKKyAgICAgICAgIChyZXBsYWNl ICdjb25maWd1cmUKKyAgICAgICAgICAgKGxhbWJkYSogKCM6a2V5IGNvbmZpZ3VyZS1mbGFncyAj OmFsbG93LW90aGVyLWtleXMpCisgICAgICAgICAgICAgOzsgVGhlIGNvbmZpZ3VyZSBzY3JpcHQg b2Yga2lzc2F0IGlzIGN1c3RvbSBhbmQgZG9lcyBub3Qgc3VwcG9ydAorICAgICAgICAgICAgIDs7 IHN0YW5kYXJkIEdOVSBvcHRpb25zIGxpa2UgQ09ORklHX1NIRUxMLiAgV2UgdGhlcmVmb3JlIG92 ZXJ3cml0ZQorICAgICAgICAgICAgIDs7IHRoZSBkZWZhdWx0LgorICAgICAgICAgICAgIChhcHBs eSBpbnZva2UgIi4vY29uZmlndXJlIiAiLXNoYXJlZCIgY29uZmlndXJlLWZsYWdzKSkpCisgICAg ICAgICAoYWRkLWJlZm9yZSAnY2hlY2sgJ3BhdGNoLXRlc3QKKyAgICAgICAgICAgKGxhbWJkYSog KCM6a2V5IGlucHV0cyBvdXRwdXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICA7 OyAibWFpbiIgdGVzdCBmYWlscyBpbiBidWlsZCBjb250YWluZXIuICBUaGUgbGlzdCBiZWxvdyBp bmNsdWRlcworICAgICAgICAgICAgIDs7IGFsbCB0ZXN0cyBidXQgdGhlIGZhaWxpbmcgb25lLgor ICAgICAgICAgICAgIChzdWJzdGl0dXRlKiAiYnVpbGQvbWFrZWZpbGUiCisgICAgICAgICAgICAg ICAoKCIuL3Rpc3NhdCIpCisgICAgICAgICAgICAgICAgICIuL3Rpc3NhdCBlcnJvciB1dGlsaXRp ZXMgZW5kaWFubmVzcyBjZWlsIGZvcm1hdCByZWZlcmVuY2VzIFxcCitcdHJlbHVjdGFudCByYW5k b20gcXVldWUgYWxsb2NhdGUgYXJyYXkgc3RhY2sgYXJlbmEgaGVhcCB2ZWN0b3IgcmFuayBzb3J0 IGJ1bXAgXFwKK1x0b3B0aW9ucyBjb25maWcgaW5pdCBhZGQgZmlsZSBwYXJzZSBjb2xsZWN0IGtp dHRlbiBzb2x2ZSBjb3ZlcmFnZSB1c2FnZSBcXAorXHR0ZXJtaW5hdGUiKSkpKQorICAgICAgICAg KHJlcGxhY2UgJ2luc3RhbGwKKyAgICAgICAgICAgKGxhbWJkYSogKCM6a2V5IGlucHV0cyBvdXRw dXRzICM6YWxsb3ctb3RoZXIta2V5cykKKyAgICAgICAgICAgICAoaW5zdGFsbC1maWxlCisgICAg ICAgICAgICAgICJidWlsZC9raXNzYXQiCisgICAgICAgICAgICAgIChzdHJpbmctYXBwZW5kIChh c3NvYy1yZWYgb3V0cHV0cyAib3V0IikgIi9iaW4iKSkKKyAgICAgICAgICAgICAoaW5zdGFsbC1m aWxlCisgICAgICAgICAgICAgICJidWlsZC9saWJraXNzYXQuc28iCisgICAgICAgICAgICAgIChz dHJpbmctYXBwZW5kIChhc3NvYy1yZWYgb3V0cHV0cyAib3V0IikgIi9saWIiKSkKKyAgICAgICAg ICAgICAoaW5zdGFsbC1maWxlCisgICAgICAgICAgICAgICJzcmMva2lzc2F0LmgiCisgICAgICAg ICAgICAgIChzdHJpbmctYXBwZW5kIChhc3NvYy1yZWYgb3V0cHV0cyAib3V0IikgIi9pbmNsdWRl L2tpc3NhdCIpKSkpKSkpCisgICAgKGhvbWUtcGFnZSAiaHR0cHM6Ly9naXRodWIuY29tL2FybWlu YmllcmUva2lzc2F0IikKKyAgICAoc3lub3BzaXMgIkJhcmUtbWV0YWwgU0FUIHNvbHZlciIpCisg ICAgKGRlc2NyaXB0aW9uCisgICAgICJLaXNzYXQgaXMgYSBiYXJlLW1ldGFsIFNBVC1zb2x2ZXIg d3JpdHRlbiBpbiBDLiAgSXQgaXMgYSBwb3J0IG9mIENhRGlDYUwKK2JhY2sgdG8gQyB3aXRoIGlt cHJvdmVkIGRhdGEgc3RydWN0dXJlcywgYmV0dGVyIHNjaGVkdWxpbmcgb2YgaW5wcm9jZXNzaW5n IGFuZAorb3B0aW1pemVkIGFsZ29yaXRobXMgYW5kIGltcGxlbWVudGF0aW9uLiIpCisgICAgKGxp Y2Vuc2UgbGljZW5zZTpleHBhdCkpKQorCiAoZGVmaW5lLXB1YmxpYyBsaWJxYWxjdWxhdGUKICAg KHBhY2thZ2UKICAgICAobmFtZSAibGlicWFsY3VsYXRlIikKLS0gCjIuMzcuMQoK ------=_Part_134358_2072499494.1660560630550 Content-Type: text/x-patch; charset=UTF-8; name=0001-PATCH-gnu-Add-modern-SAT-solver-cryptominisat5.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0001-PATCH-gnu-Add-modern-SAT-solver-cryptominisat5.patch X-Part-Id: b77d7d7503344b5984ab6033e5c84551 RnJvbSBjMjEyYzQ1MzAwMmYwY2Q3ZTU0N2M5OGY1MTY3MmYyODM4N2RlZjA1IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBNYXhpbWlsaWFuIEhlaXNpbmdlciA8bWFpbEBtYXhoZWlzaW5n ZXIuYXQ+CkRhdGU6IFN1biwgMTQgQXVnIDIwMjIgMTU6NDA6MDIgKzAyMDAKU3ViamVjdDogW1BB VENIIDEvMl0gW1BBVENIXSBnbnU6IEFkZCBtb2Rlcm4gU0FUIHNvbHZlciBjcnlwdG9taW5pc2F0 NQoKKiBnbnUvcGFja2FnZXMvbWF0aHMuc2NtIChjcnlwdG9taW5pc2F0NSk6IEFkZCBwYWNrYWdl LgotLS0KIGdudS9wYWNrYWdlcy9tYXRocy5zY20gfCAzNCArKysrKysrKysrKysrKysrKysrKysr KysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgMzQgaW5zZXJ0aW9ucygrKQoKZGlmZiAtLWdp dCBhL2dudS9wYWNrYWdlcy9tYXRocy5zY20gYi9nbnUvcGFja2FnZXMvbWF0aHMuc2NtCmluZGV4 IGM3OTA1OGFiNDIuLmY2OWM2Y2U2ZGUgMTAwNjQ0Ci0tLSBhL2dudS9wYWNrYWdlcy9tYXRocy5z Y20KKysrIGIvZ251L3BhY2thZ2VzL21hdGhzLnNjbQpAQCAtNzMxMSw2ICs3MzExLDQwIEBAIChk ZWZpbmUtcHVibGljIG1pbmlzYXQKICAgICAgICAiaHR0cDovL21pbmlzYXQuc2UvTWluaVNhdC5o dG1sIikKICAgICAgIChsaWNlbnNlIGxpY2Vuc2U6ZXhwYXQpKSkpCiAKKyhkZWZpbmUtcHVibGlj IGNyeXB0b21pbmlzYXQ1CisgIChwYWNrYWdlCisgICAgKG5hbWUgImNyeXB0b21pbmlzYXQ1IikK KyAgICAodmVyc2lvbiAiNS44LjAiKQorICAgIChzb3VyY2UKKyAgICAgKG9yaWdpbgorICAgICAg IChtZXRob2QgZ2l0LWZldGNoKQorICAgICAgICh1cmkgKGdpdC1yZWZlcmVuY2UKKyAgICAgICAg ICAgICAodXJsICJodHRwczovL2dpdGh1Yi5jb20vbXNvb3MvY3J5cHRvbWluaXNhdCIpCisgICAg ICAgICAgICAgKGNvbW1pdCB2ZXJzaW9uKQorICAgICAgICAgICAgIDs7IFJlY3Vyc2l2ZSBjaGVj a291dCBpcyByZXF1aXJlZCB0byBlbmFibGUgdGVzdGluZy4KKyAgICAgICAgICAgICAocmVjdXJz aXZlPyAjdCkpKQorICAgICAgKGZpbGUtbmFtZSAoZ2l0LWZpbGUtbmFtZSBuYW1lIHZlcnNpb24p KQorICAgICAgKHNoYTI1NgorICAgICAgIChiYXNlMzIKKyAgICAgICAgIjFkejRiNG1qbWJtMmo3 NThsM3k1MjB4OTE4bWg1YjFpYTczeHg2Ynl3MGg5N2t3eXg4enciKSkpKQorICAgIChidWlsZC1z eXN0ZW0gY21ha2UtYnVpbGQtc3lzdGVtKQorICAgIChhcmd1bWVudHMKKyAgICAgKGxpc3QgIzpi dWlsZC10eXBlICJSZWxlYXNlIgorICAgICAgICAgICAjOnRlc3QtdGFyZ2V0ICJ0ZXN0IgorICAg ICAgICAgICAjOmNvbmZpZ3VyZS1mbGFncworICAgICAgICAgICAjfihsaXN0ICItREVOQUJMRV9U RVNUSU5HPU9OIikpKQorICAgIChpbnB1dHMgKGxpc3QgemxpYiBib29zdCkpCisgICAgKG5hdGl2 ZS1pbnB1dHMgKGxpc3QgcHl0aG9uIHB5dGhvbi1saXQpKQorICAgIChzeW5vcHNpcyAiSW5jcmVt ZW50YWwgU0FUIHNvbHZlciIpCisgICAgKGRlc2NyaXB0aW9uCisgICAgICJDcnlwdG9NaW5pU2F0 IGlzIGFuIGluY3JlbWVudGFsIFNBVCBzb2x2ZXIgd2l0aCBib3RoIGNvbW1hbmQgbGluZSBhbmQK K2xpYnJhcnkgKEMrKywgQywgUHl0aG9uKSBpbnRlcmZhY2VzLiAgVGhlIGNvbW1hbmQtbGluZSBp bnRlcmZhY2UgdGFrZXMgYQorQGFjcm9ueW17Q05GLCBDb25qdW5jdGl2ZSBOb3JtYWwgRm9ybX0g YXMgYW4gaW5wdXQgaW4gdGhlIERJTUFDUyBmb3JtYXQgd2l0aAordGhlIGV4dGVuc2lvbiBvZiBY T1IgY2xhdXNlcy4gIFRoZSBsaWJyYXJ5IGludGVyZmFjZXMgbWltaWMgdGhpcyBhbmQgYWxzbwor YWxsb3cgSVBBU0lSLWVzcXVlIGluY3JlbWVudGFsIHVzZSwgaW5jbHVkaW5nIGFzc3VtcHRpb25z LiIpCisgICAgKGhvbWUtcGFnZSAiaHR0cHM6Ly9naXRodWIuY29tL21zb29zL2NyeXB0b21pbmlz YXQiKQorICAgIChsaWNlbnNlIGxpY2Vuc2U6ZXhwYXQpKSkKKwogKGRlZmluZS1wdWJsaWMgbGli cWFsY3VsYXRlCiAgIChwYWNrYWdlCiAgICAgKG5hbWUgImxpYnFhbGN1bGF0ZSIpCi0tIAoyLjM3 LjEKCg== ------=_Part_134358_2072499494.1660560630550-- ------=_Part_134361_1176128590.1660560630570 Content-Type: application/pgp-signature Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: BCPG v1.65 iQEcBAABCgAGBQJi+iT2AAoJEIhyV2pwqbcQg2MH/32E3TtnAUEQ6cqRYB3CoGb1 n9rpaFa0MC+6ULvZBPy2RV95G0FpAiycwN3ipqJGnaI1YJXiQJlVfTMS+R4H/V0N VDiSWvTZXiMfoEGQoDHjcsQcQF+BaCvIh7SLHnAaxnv2/mF8a1qdf5Jxgxv0m/qt IzP+EhyEps3ZK9t/nxT2O6Xd+whgZ08ht50SJc4rPf/pDQPM+xsDQpRoVPun3v4e K5tr/HOrpMEWhMkAjnARLbzZbt045TBjGqu/YDhre+w2mNqpdr418FUymDC+MbUG xuQ4R3z/PvezLTuDd+r0MKAFvqY1jlgZowSVZgOdwE2mlwIpdpy3rzOGibyWv7w= =r16Z -----END PGP SIGNATURE----- ------=_Part_134361_1176128590.1660560630570--