From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id JVfsDV4flGZo/gAAe85BDQ:P1 (envelope-from ) for ; Sun, 14 Jul 2024 18:56:30 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id JVfsDV4flGZo/gAAe85BDQ (envelope-from ) for ; Sun, 14 Jul 2024 20:56:30 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=BNYh1Sf8; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1720983390; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: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=4IwHX8l3KS+4H+1kxSUUSu4kWL/Qk2RtmhQ1IuAzxSI=; b=LPsMYXxKEisNSZscdo5poAH0FtV8/dsObzWiK14an7FsdinkQj3zsKDf3o9tGwLzdSRIIT VoV8OiyjIzYTyGCsnCfDFnJpkvPMaVpE4rFTWzb+2J5vedMouSX/9n/AC0zzu3OL5gJIYc XoJF27QrraSoRxosYpzbJWnBOGqspawMHOMKmwZDYSr2ePRsfhj4U9DYbmaUrm86LUk33m R4HUBCLl9xDrcwABZJEin61IVcQyFj/z74yNUyhglHB4oEqN9ypExzruR0BQnub1A4P9gh rrQWxTM2LJqjT+kWJXkPrOgbvaextfCasSSBNkQeqVCnuyThLQpgjVgmhpAkcw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=BNYh1Sf8; 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"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1720983390; a=rsa-sha256; cv=none; b=goUDyE91QMMYG08/rVFvWw8Zt1c1MpKnk+/VSCZusStwYLKwRF6kmy8mKkc3KJanYkh7k9 39HdYs0KL2feB9oXqgRRlGTee7WniiXlO5iFM0rZawRc71uaydo/3LXG2a5mTleAB7VTE6 AROUWB0ARkVXcLUJWLdbhcQ/gibX6DZmqdcqpg11h+Fq8+vQP59ylUm3KH3v4mmCXtpP8e MFZjY21rq1dzpg/prNO4sKDXiX4ggngnp5iNRrhP16Tz1gYBT2Ja8y+frYZuY1ATwF7/AW zfhLk6MRIKwUQCNpotpyIMolK8h3BGT2BXx4By51ZcvJ9tGBdsSEAGiyDMtBpg== 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 032EF689BD for ; Sun, 14 Jul 2024 20:56:30 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sT4OA-00086u-8t; Sun, 14 Jul 2024 14:56:02 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sT4O8-00086b-Qn for guix-patches@gnu.org; Sun, 14 Jul 2024 14:56:01 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sT4O8-00070u-Gr for guix-patches@gnu.org; Sun, 14 Jul 2024 14:56:00 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sT4O9-0006fA-RM for guix-patches@gnu.org; Sun, 14 Jul 2024 14:56:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#72106] [PATCH v2 2/5] gnu: klee: Enable the test suite. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 14 Jul 2024 18:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72106 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: soeren@soeren-tempel.net, 72106@debbugs.gnu.org Received: via spool by 72106-submit@debbugs.gnu.org id=B72106.172098330125516 (code B ref 72106); Sun, 14 Jul 2024 18:56:01 +0000 Received: (at 72106) by debbugs.gnu.org; 14 Jul 2024 18:55:01 +0000 Received: from localhost ([127.0.0.1]:58583 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sT4NB-0006dK-6i for submit@debbugs.gnu.org; Sun, 14 Jul 2024 14:55:01 -0400 Received: from mail-ed1-f67.google.com ([209.85.208.67]:42314) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sT4N9-0006d0-Eu for 72106@debbugs.gnu.org; Sun, 14 Jul 2024 14:55:00 -0400 Received: by mail-ed1-f67.google.com with SMTP id 4fb4d7f45d1cf-595856e2336so5994794a12.1 for <72106@debbugs.gnu.org>; Sun, 14 Jul 2024 11:54:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1720983232; x=1721588032; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=4IwHX8l3KS+4H+1kxSUUSu4kWL/Qk2RtmhQ1IuAzxSI=; b=BNYh1Sf8TVhbC6LL4pzkmBkxtzocnQzrwQP5CCL+DNh1Yrxy9iHotm8q9UwdGqeG9j kc+8ontWaw+KbCRk2qKiglaMVIWrdujRXbUynssUNklJ2aoVFoJi58wSSt9017Yq4oVR fDngKisRqrwnSTeWCm4UksbfewKYwNPISO7n1nZh6yPN4mEGKaF2DIgiY0qtop4yVgyv rXIqZY+mR5DpokSMOanac7Bd61fpz7295f+q+3eLE7i89Ft9fctx3jN8kxIAXguBxPsx GbgQNh13fnSqpnJ5GCPSEPELB6mWJPQ05rHS/VP6hRY7oWl3srm5jRjwtwA0V1peu/rL hifg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1720983232; x=1721588032; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=4IwHX8l3KS+4H+1kxSUUSu4kWL/Qk2RtmhQ1IuAzxSI=; b=nUEKshYx36UQSDm2C77dgdmxM74z3M2TZ2mOE3OJbPAxYbcaofjZBR1jkv/1NEreqi dnkC3UHCx5Qd5Kcw4+1UTKM2w754QSJbGYIM//RFY7KfRpXf8eY62fh2S9/PZVfSmis9 3d/d1CGZSoN4Mh804c2UUHLmQKoIjvOpd2MOW2Bi/1U8gtj3nd8p2tRbNbZoNMwsXI81 CS4GqPEGZ2BqDBy7p2IAm9P0Qu/iNAMq5B8wnC1SOhi804HV6RwheQAr+KBRZp33QLSf BiJ8+5hM3IygeFD3izw4eEiGqFVtM7cCJ0+0497KOnfKFsYoJWGP4VncHiPV6/A4m0+4 n5hA== X-Forwarded-Encrypted: i=1; AJvYcCVRVUMCM9hCFBN3aIOFMiPXApbwiSIB/85VyYLD3V7RnBpC9dzQ8nN61Wymm56FGm0zcy8ccdCXpj9zSPgmut0gvTJvdv8= X-Gm-Message-State: AOJu0YzroIvFMswY2aI4vKZrhqSlm3FPetTor2NnY858kkzLeKUXwqT2 w4gMCPaHkQ/tj3+tWxgS5uYo5c45QHvPNrnIZV9AXHmyrBoxAB2o X-Google-Smtp-Source: AGHT+IGjwwK5hvywPeunyzkG7zcgzEDJQAL9hfS7gFEIivuaLhRZIuByvK3CVqfBxszGwh/H5BUgVQ== X-Received: by 2002:a50:d6dc:0:b0:57d:4a0d:d597 with SMTP id 4fb4d7f45d1cf-599648a33ddmr6031692a12.12.1720983231738; Sun, 14 Jul 2024 11:53:51 -0700 (PDT) Received: from lumine.fritz.box (85-127-20-124.dsl.dynamic.surfer.at. [85.127.20.124]) by smtp.gmail.com with ESMTPSA id 4fb4d7f45d1cf-59b25528e18sm2411371a12.56.2024.07.14.11.53.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 14 Jul 2024 11:53:51 -0700 (PDT) Message-ID: <68c1ee2dec2780cc8d6d5bc0db0f36492236b85c.camel@gmail.com> From: Liliana Marie Prikler Date: Sun, 14 Jul 2024 20:53:49 +0200 In-Reply-To: References: <3ba31459921293a61ca8933ce7395f4a6d58b559.1720981528.git.soeren@soeren-tempel.net> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.48.4 MIME-Version: 1.0 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Spam-Score: 2.70 X-Migadu-Queue-Id: 032EF689BD X-Migadu-Scanner: mx10.migadu.com X-Migadu-Spam-Score: 2.70 X-TUID: 88YssNV7/qPb QW0gU29ubnRhZywgZGVtIDE0LjA3LjIwMjQgdW0gMjA6MjUgKzAyMDAgc2NocmllYgpzb2VyZW5A c29lcmVuLXRlbXBlbC5uZXQ6Cj4gRnJvbTogU8O2cmVuIFRlbXBlbCA8c29lcmVuQHNvZXJlbi10 ZW1wZWwubmV0Pgo+IAo+ICogZ251L3BhY2thZ2VzL2NoZWNrLnNjbSAoa2xlZSk6IEVuYWJsZSBh bGwgdGVzdHMuCj4gW2FyZ3VtZW50c106IEFkZCBwaGFzZSB0byBwYXRjaCBsaXQgY29uZmlndXJh dGlvbiwgc2V0ICM6dGVzdC10YXJnZXQuCj4gPCM6Y29uZmlndXJlLWZsYWdzPz46IEVuYWJsZSBz eXN0ZW0gYW5kIHVuaXQgdGVzdHMsIGNvbmZpZ3VyZSBndGVzdC4KPiBbaW5wdXRzXTogQWRkIGdv b2dsZXRlc3QgYW5kIHB5dGhvbi1saXQuCj4gLS0tCj4gwqBnbnUvcGFja2FnZXMvY2hlY2suc2Nt IHwgMzAgKysrKysrKysrKysrKysrKysrKysrKysrKysrLS0tCj4gwqAxIGZpbGUgY2hhbmdlZCwg MjcgaW5zZXJ0aW9ucygrKSwgMyBkZWxldGlvbnMoLSkKPiAKPiBkaWZmIC0tZ2l0IGEvZ251L3Bh Y2thZ2VzL2NoZWNrLnNjbSBiL2dudS9wYWNrYWdlcy9jaGVjay5zY20KPiBpbmRleCA2YjBlYTBh YWE4Li41NTJjYjM5ZGU1IDEwMDY0NAo+IC0tLSBhL2dudS9wYWNrYWdlcy9jaGVjay5zY20KPiAr KysgYi9nbnUvcGFja2FnZXMvY2hlY2suc2NtCj4gQEAgLTEwNjMsMTMgKzEwNjMsMjMgQEAgKGRl ZmluZS1wdWJsaWMga2xlZQo+IMKgwqDCoMKgwqDCoCAoYmFzZTMyCj4gIjFubWE2ZHFpOGNoamI5 N2xsc2E4bXp5c2tnc2c0ZHg1NmxtOGo1MTRqNXdtcjh2a2FmejYiKSkpKQo+IMKgwqDCoCAoYXJn dW1lbnRzCj4gwqDCoMKgwqAgKGxpc3QKPiArwqDCoMKgwqAgIzp0ZXN0LXRhcmdldCAiY2hlY2si Cj4gwqDCoMKgwqDCoCAjOnBoYXNlcwo+IMKgwqDCoMKgwqAgI34obW9kaWZ5LXBoYXNlcyAlc3Rh bmRhcmQtcGhhc2VzCj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oCAoYWRkLWFmdGVyICd1bnBhY2sgJ3BhdGNoCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoCAoYWRkLWFmdGVyICd1bnBhY2sgJ3BhdGNoLWNtYWtlCj4gwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChsYW1iZGEgXwo+IMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN1YnN0 aXR1dGUqICJDTWFrZUxpc3RzLnR4dCIKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoAo+ICgoIlxcJFxce0tMRUVfVUNMSUJDX1BBVEhcXH0v bGliL2xpYmNcXC5hIikKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgICIke0tMRUVfVUNMSUJDX1BBVEh9IikpKSkKPiArwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIChhZGQtYWZ0ZXIgJ3VucGFjayAncGF0 Y2gtbGl0LWNvbmZpZwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgIChsYW1iZGEgXwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoCA7OyBNYWtlIHN1cmUgdGhhdCB3ZSByZXRhaW4gdGhlIHZhbHVlIG9mCj4g dGhlIEdVSVhfUFlUSE9OUEFUSAo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoCA7OyBlbnZpcm9ubWVudCB2YXJpYWJsZSBpbiB0aGUgdGVzdAo+IGVu dmlyb25tZW50ZWQgY3JlYXRlZCBieQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoCA7OyBweXRob24tbGl0LiBPdGhlcndpc2UsIHRoZSB0ZXN0IHNj cmlwdHMKPiB3b24ndCBiZSBhYmxlIHRvCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgIDs7IGZpbmQgdGhlIHB5dGhvbi10YWJ1bGF0ZSBkZXBlbmRl bmN5LAo+IGNhdXNpbmcgdGVzdCBmYWlsdXJlcy4KPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKHN1YnN0aXR1dGUqICJ0ZXN0L2xpdC5jZmciCj4g K8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAo KCJhZGRFbnZcXCgnUFdEJ1xcKSIgZW52KQo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCBlbnYgIlxuIgo+ICJh ZGRFbnYoJ0dVSVhfUFlUSE9OUEFUSCcpIikpKSkpCklmIHRoaXMgaXMgYSB0ZXN0LCB0aGVuIHdl IHNob3VsZCB1c2UgbmF0aXZlLWlucHV0cyBiZWxvdy4KPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoYWRkLWFmdGVyICdpbnN0YWxsICd3cmFwLWtsZWUtc3Rh dHMKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGxh bWJkYSogKCM6a2V5IG91dHB1dHMgIzphbGxvdy1vdGhlci1rZXlzKQo+IMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGxldCogKChvdXQgKGFzc29j LXJlZiBvdXRwdXRzICJvdXQiKSkKPiBAQCAtMTA4OCw3ICsxMDk4LDEzIEBAIChkZWZpbmUtcHVi bGljIGtsZWUKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgYCgiS0xFRV9SVU5USU1FX0xJQlJBUllfUEFUSCIgPQo+IMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg KCwoc3RyaW5nLWFwcGVuZCBsaWIKPiAiL2tsZWUvcnVudGltZS8iKSkpKSkpKSkKPiDCoMKgwqDC oMKgICM6Y29uZmlndXJlLWZsYWdzCj4gLcKgwqDCoMKgICN+KGxpc3QgKHN0cmluZy1hcHBlbmQg Ii1ETExWTUNDPSIKPiArwqDCoMKgwqAgI34obGlzdCAiLURFTkFCTEVfVU5JVF9URVNUUz1PTiIK PiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICItREVOQUJMRV9TWVNURU1fVEVTVFM9T04iCj4g K8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCAiLURHVEVTVF9TUkNfRElS PSIKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgIChhc3NvYy1yZWYgJWJ1aWxkLWlucHV0cyAiZ29vZ2xldGVzdCIpKQo+ICvCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqAgKHN0cmluZy1hcHBlbmQgIi1ER1RFU1RfSU5DTFVERV9ESVI9Igo+ICvC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKGFz c29jLXJlZiAlYnVpbGQtaW5wdXRzICJnb29nbGV0ZXN0IikKPiAiL2dvb2dsZXRlc3QvaW5jbHVk ZSIpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCAiLURMTFZNQ0M9 Igo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgIChzZWFyY2gtaW5wdXQtZmlsZSAlYnVpbGQtaW5wdXRzCj4gIi9iaW4vY2xhbmciKSkKPiDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc3RyaW5nLWFwcGVuZCAiLURMTFZNQ1hYPSIKPiDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAo c2VhcmNoLWlucHV0LWZpbGUgJWJ1aWxkLWlucHV0cwo+ICIvYmluL2NsYW5nKysiKSkKPiBAQCAt MTA5Niw3ICsxMTEyLDE1IEBAIChkZWZpbmUtcHVibGljIGtsZWUKPiDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAoc2VhcmNoLWlucHV0LWZp bGUgJWJ1aWxkLWlucHV0cwo+ICIvbGliL2tsZWUvbGliYy5hIikpCj4gwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgIi1ERU5BQkxFX1BPU0lYX1JVTlRJTUU9T04iKSkpCj4gwqDCoMKgIChuYXRp dmUtaW5wdXRzIChsaXN0IGNsYW5nLTEzIGxsdm0tMTMgcHl0aG9uLWxpdCkpCj4gLcKgwqAgKGlu cHV0cyAobGlzdCBiYXNoLW1pbmltYWwga2xlZS11Y2xpYmMgZ3BlcmZ0b29scyBzcWxpdGUgejMK PiBweXRob24gcHl0aG9uLXRhYnVsYXRlKSkKPiArwqDCoCAoaW5wdXRzCj4gK8KgwqDCoMKgIGAo KCJiYXNoLW1pbmltYWwiICxiYXNoLW1pbmltYWwpCj4gK8KgwqDCoMKgwqDCoCAoImtsZWUtdWNs aWJjIiAsa2xlZS11Y2xpYmMpCj4gK8KgwqDCoMKgwqDCoCAoImdwZXJmdG9vbHMiICxncGVyZnRv b2xzKQo+ICvCoMKgwqDCoMKgwqAgKCJzcWxpdGUiICxzcWxpdGUpCj4gK8KgwqDCoMKgwqDCoCAo InozIiAsejMpCj4gK8KgwqDCoMKgwqDCoCAoInB5dGhvbiIsIHB5dGhvbikKPiArwqDCoMKgwqDC oMKgICgicHl0aG9uLXRhYnVsYXRlIiAscHl0aG9uLXRhYnVsYXRlKQo+ICvCoMKgwqDCoMKgwqAg KCJnb29nbGV0ZXN0IiAsKHBhY2thZ2Utc291cmNlIGdvb2dsZXRlc3QpKSkpCldoeSB0aGUgcGFj a2FnZSBzb3VyY2UgYW5kIG5vdCB0aGUgY29tcGlsZWQgcGFja2FnZT8gIENhbiB3ZSBtYWtlIGl0 IHNvCnRoYXQgd2UgY2FuIHVzZSBhIHByZWJ1aWx0IGNvbXBpbGVkIG9uZT8KCkNoZWVycwoK