From unknown Mon Aug 18 11:10:17 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#13101 <13101@debbugs.gnu.org> To: bug#13101 <13101@debbugs.gnu.org> Subject: Status: Crash compiling big cond expression Reply-To: bug#13101 <13101@debbugs.gnu.org> Date: Mon, 18 Aug 2025 18:10:17 +0000 retitle 13101 Crash compiling big cond expression reassign 13101 guile submitter 13101 rixed@happyleptic.org severity 13101 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Dec 06 11:16:12 2012 Received: (at submit) by debbugs.gnu.org; 6 Dec 2012 16:16:12 +0000 Received: from localhost ([127.0.0.1]:56996 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Tge7L-0002c3-Bn for submit@debbugs.gnu.org; Thu, 06 Dec 2012 11:16:12 -0500 Received: from eggs.gnu.org ([208.118.235.92]:33866) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Tge7D-0002ba-Qo for submit@debbugs.gnu.org; Thu, 06 Dec 2012 11:16:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Tge6c-0006v4-LQ for submit@debbugs.gnu.org; Thu, 06 Dec 2012 11:15:45 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-101.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD, USER_IN_WHITELIST autolearn=unavailable version=3.3.2 Received: from lists.gnu.org ([208.118.235.17]:48961) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Tge6c-0006rQ-GW for submit@debbugs.gnu.org; Thu, 06 Dec 2012 11:15:22 -0500 Received: from eggs.gnu.org ([208.118.235.92]:42533) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgdtR-0006x5-Q2 for bug-guile@gnu.org; Thu, 06 Dec 2012 11:01:56 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TgdtD-0002yP-Ks for bug-guile@gnu.org; Thu, 06 Dec 2012 11:01:45 -0500 Received: from eneide.happyleptic.org ([213.251.171.101]:43128) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgdtD-0002yE-20 for bug-guile@gnu.org; Thu, 06 Dec 2012 11:01:31 -0500 Received: from extranet.securactive.net ([82.240.34.113] helo=ccellier.rd.securactive.lan) by eneide.happyleptic.org with esmtp (Exim 4.72) (envelope-from ) id 1TgdtB-0001cF-88 for bug-guile@gnu.org; Thu, 06 Dec 2012 17:01:30 +0100 Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.80) (envelope-from ) id 1Tgdt6-00040l-4B for bug-guile@gnu.org; Thu, 06 Dec 2012 17:01:24 +0100 Date: Thu, 6 Dec 2012 17:01:24 +0100 From: rixed@happyleptic.org To: bug-guile@gnu.org Subject: Crash compiling big cond expression Message-ID: <20121206160124.GA15230@securactive.lan> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="SUOF0GtieIMvvwua" Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 208.118.235.17 X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org --SUOF0GtieIMvvwua Content-Type: text/plain; charset=us-ascii Content-Disposition: inline I tried to factorize somewhat the previous expression (Cf http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13088) and hit a bug in compiler: first it runs for a very long time then throw: ;;; ERROR: In procedure instruction-length: Wrong type argument in position 1 (expecting INSTRUCTION_P): ((long-local-set 1 0)) Attached is the program that triggers this behavior. --SUOF0GtieIMvvwua Content-Type: text/plain; charset=us-ascii Content-Disposition: attachment; filename="bug2.scm" #!/usr/bin/env guile ; vim:expandtab !# (lambda (proto server-port client-zone server-zone signature-id) (let* ((cs-0 (eqv? server-zone 22)) (cs-1 (eqv? client-zone 22)) (cs-2 (eqv? signature-id 100013)) (cs-5 (eqv? server-zone 8)) (cs-8 (eqv? client-zone 8)) (cs-13 (eqv? client-zone 7)) (cs-18 (eqv? signature-id 100012)) (cs-31 (eqv? signature-id 100006)) (cs-44 (eqv? proto 6)) (cs-45 (eqv? server-port 443)) (cs-46 (and cs-44 cs-45)) (cs-47 (eqv? signature-id 100011)) (cs-48 (or cs-46 cs-47)) (cs-61 (eqv? client-zone 38)) (cs-66 (eqv? client-zone 33)) (cs-71 (eqv? client-zone 32)) (cs-76 (eqv? client-zone 30)) (cs-81 (eqv? client-zone 29)) (cs-86 (eqv? client-zone 28)) (cs-91 (eqv? client-zone 27)) (cs-96 (eqv? client-zone 26)) (cs-101 (eqv? client-zone 25)) (cs-106 (eqv? client-zone 24)) (cs-111 (eqv? client-zone 23)) (cs-116 (eqv? client-zone 21)) (cs-121 (eqv? client-zone 16)) (cs-126 (eqv? client-zone 15)) (cs-131 (eqv? client-zone 14)) (cs-136 (eqv? client-zone 13)) (cs-141 (eqv? client-zone 10)) (cs-146 (eqv? client-zone 9)) (cs-367 (eqv? server-port 4401)) (cs-372 (eqv? client-zone 43)) (cs-377 (eqv? client-zone 42)) (cs-382 (eqv? client-zone 41)) (cs-387 (eqv? client-zone 20)) (cs-392 (eqv? client-zone 18)) (cs-457 (eqv? signature-id 100010)) (cs-462 (eqv? signature-id 100009)) (cs-467 (eqv? signature-id 100008)) (cs-472 (eqv? server-port 8221)) (cs-477 (eqv? server-port 1539)) (cs-482 (eqv? server-port 4100)) (cs-487 (eqv? server-zone 38)) (cs-490 (eqv? server-zone 33)) (cs-493 (eqv? server-zone 30)) (cs-496 (eqv? server-zone 29)) (cs-499 (eqv? server-zone 28)) (cs-502 (eqv? server-zone 26)) (cs-505 (eqv? server-zone 23)) (cs-508 (eqv? server-zone 21)) (cs-511 (eqv? server-zone 16)) (cs-514 (eqv? server-zone 15)) (cs-517 (eqv? server-zone 14)) (cs-520 (eqv? server-zone 10)) (cs-2929 (eqv? server-port 1523)) (cs-3080 (eqv? proto 17)) (cs-3225 (eqv? server-zone 43)) (cs-3228 (eqv? server-zone 42)) (cs-3231 (eqv? server-zone 20)) (cs-3234 (eqv? server-zone 18)) (cs-3326 (eqv? signature-id 100001)) (cs-4223 (eqv? signature-id 205060))) (cond ((or (and cs-0 cs-1 cs-2) (and cs-5 cs-1 cs-2) (and cs-0 cs-8 cs-2) (and cs-5 cs-8 cs-2) (and cs-0 cs-13 cs-2) (and cs-5 cs-13 cs-2) (and cs-0 cs-1 cs-18) (and cs-5 cs-1 cs-18) (and cs-0 cs-8 cs-18) (and cs-5 cs-8 cs-18) (and cs-0 cs-13 cs-18) (and cs-5 cs-13 cs-18) (and cs-0 cs-1 cs-31) (and cs-5 cs-1 cs-31) (and cs-0 cs-8 cs-31) (and cs-5 cs-8 cs-31) (and cs-0 cs-13 cs-31) (and cs-5 cs-13 cs-31)) 604) ((or (and cs-0 cs-1 cs-48) (and cs-5 cs-1 cs-48) (and cs-0 cs-8 cs-48) (and cs-5 cs-8 cs-48) (and cs-0 cs-13 cs-48) (and cs-5 cs-13 cs-48)) 590) ((or (and cs-0 cs-61 cs-2) (and cs-5 cs-61 cs-2) (and cs-0 cs-66 cs-2) (and cs-5 cs-66 cs-2) (and cs-0 cs-71 cs-2) (and cs-5 cs-71 cs-2) (and cs-0 cs-76 cs-2) (and cs-5 cs-76 cs-2) (and cs-0 cs-81 cs-2) (and cs-5 cs-81 cs-2) (and cs-0 cs-86 cs-2) (and cs-5 cs-86 cs-2) (and cs-0 cs-91 cs-2) (and cs-5 cs-91 cs-2) (and cs-0 cs-96 cs-2) (and cs-5 cs-96 cs-2) (and cs-0 cs-101 cs-2) (and cs-5 cs-101 cs-2) (and cs-0 cs-106 cs-2) (and cs-5 cs-106 cs-2) (and cs-0 cs-111 cs-2) (and cs-5 cs-111 cs-2) (and cs-0 cs-116 cs-2) (and cs-5 cs-116 cs-2) (and cs-0 cs-121 cs-2) (and cs-5 cs-121 cs-2) (and cs-0 cs-126 cs-2) (and cs-5 cs-126 cs-2) (and cs-0 cs-131 cs-2) (and cs-5 cs-131 cs-2) (and cs-0 cs-136 cs-2) (and cs-5 cs-136 cs-2) (and cs-0 cs-141 cs-2) (and cs-5 cs-141 cs-2) (and cs-0 cs-146 cs-2) (and cs-5 cs-146 cs-2) (and cs-0 cs-61 cs-18) (and cs-5 cs-61 cs-18) (and cs-0 cs-66 cs-18) (and cs-5 cs-66 cs-18) (and cs-0 cs-71 cs-18) (and cs-5 cs-71 cs-18) (and cs-0 cs-76 cs-18) (and cs-5 cs-76 cs-18) (and cs-0 cs-81 cs-18) (and cs-5 cs-81 cs-18) (and cs-0 cs-86 cs-18) (and cs-5 cs-86 cs-18) (and cs-0 cs-91 cs-18) (and cs-5 cs-91 cs-18) (and cs-0 cs-96 cs-18) (and cs-5 cs-96 cs-18) (and cs-0 cs-101 cs-18) (and cs-5 cs-101 cs-18) (and cs-0 cs-106 cs-18) (and cs-5 cs-106 cs-18) (and cs-0 cs-111 cs-18) (and cs-5 cs-111 cs-18) (and cs-0 cs-116 cs-18) (and cs-5 cs-116 cs-18) (and cs-0 cs-121 cs-18) (and cs-5 cs-121 cs-18) (and cs-0 cs-126 cs-18) (and cs-5 cs-126 cs-18) (and cs-0 cs-131 cs-18) (and cs-5 cs-131 cs-18) (and cs-0 cs-136 cs-18) (and cs-5 cs-136 cs-18) (and cs-0 cs-141 cs-18) (and cs-5 cs-141 cs-18) (and cs-0 cs-146 cs-18) (and cs-5 cs-146 cs-18) (and cs-0 cs-61 cs-31) (and cs-5 cs-61 cs-31) (and cs-0 cs-66 cs-31) (and cs-5 cs-66 cs-31) (and cs-0 cs-71 cs-31) (and cs-5 cs-71 cs-31) (and cs-0 cs-76 cs-31) (and cs-5 cs-76 cs-31) (and cs-0 cs-81 cs-31) (and cs-5 cs-81 cs-31) (and cs-0 cs-86 cs-31) (and cs-5 cs-86 cs-31) (and cs-0 cs-91 cs-31) (and cs-5 cs-91 cs-31) (and cs-0 cs-96 cs-31) (and cs-5 cs-96 cs-31) (and cs-0 cs-101 cs-31) (and cs-5 cs-101 cs-31) (and cs-0 cs-106 cs-31) (and cs-5 cs-106 cs-31) (and cs-0 cs-111 cs-31) (and cs-5 cs-111 cs-31) (and cs-0 cs-116 cs-31) (and cs-5 cs-116 cs-31) (and cs-0 cs-121 cs-31) (and cs-5 cs-121 cs-31) (and cs-0 cs-126 cs-31) (and cs-5 cs-126 cs-31) (and cs-0 cs-131 cs-31) (and cs-5 cs-131 cs-31) (and cs-0 cs-136 cs-31) (and cs-5 cs-136 cs-31) (and cs-0 cs-141 cs-31) (and cs-5 cs-141 cs-31) (and cs-0 cs-146 cs-31) (and cs-5 cs-146 cs-31)) 604) ((or (and cs-0 cs-61 cs-48) (and cs-5 cs-61 cs-48) (and cs-0 cs-66 cs-48) (and cs-5 cs-66 cs-48) (and cs-0 cs-71 cs-48) (and cs-5 cs-71 cs-48) (and cs-0 cs-76 cs-48) (and cs-5 cs-76 cs-48) (and cs-0 cs-81 cs-48) (and cs-5 cs-81 cs-48) (and cs-0 cs-86 cs-48) (and cs-5 cs-86 cs-48) (and cs-0 cs-91 cs-48) (and cs-5 cs-91 cs-48) (and cs-0 cs-96 cs-48) (and cs-5 cs-96 cs-48) (and cs-0 cs-101 cs-48) (and cs-5 cs-101 cs-48) (and cs-0 cs-106 cs-48) (and cs-5 cs-106 cs-48) (and cs-0 cs-111 cs-48) (and cs-5 cs-111 cs-48) (and cs-0 cs-116 cs-48) (and cs-5 cs-116 cs-48) (and cs-0 cs-121 cs-48) (and cs-5 cs-121 cs-48) (and cs-0 cs-126 cs-48) (and cs-5 cs-126 cs-48) (and cs-0 cs-131 cs-48) (and cs-5 cs-131 cs-48) (and cs-0 cs-136 cs-48) (and cs-5 cs-136 cs-48) (and cs-0 cs-141 cs-48) (and cs-5 cs-141 cs-48) (and cs-0 cs-146 cs-48) (and cs-5 cs-146 cs-48)) 590) ((or (and cs-0 cs-44 cs-367) (and cs-5 cs-44 cs-367)) 605) ((or (and cs-0 cs-372 cs-2) (and cs-5 cs-372 cs-2) (and cs-0 cs-377 cs-2) (and cs-5 cs-377 cs-2) (and cs-0 cs-382 cs-2) (and cs-5 cs-382 cs-2) (and cs-0 cs-387 cs-2) (and cs-5 cs-387 cs-2) (and cs-0 cs-392 cs-2) (and cs-5 cs-392 cs-2) (and cs-0 cs-372 cs-18) (and cs-5 cs-372 cs-18) (and cs-0 cs-377 cs-18) (and cs-5 cs-377 cs-18) (and cs-0 cs-382 cs-18) (and cs-5 cs-382 cs-18) (and cs-0 cs-387 cs-18) (and cs-5 cs-387 cs-18) (and cs-0 cs-392 cs-18) (and cs-5 cs-392 cs-18) (and cs-0 cs-372 cs-31) (and cs-5 cs-372 cs-31) (and cs-0 cs-377 cs-31) (and cs-5 cs-377 cs-31) (and cs-0 cs-382 cs-31) (and cs-5 cs-382 cs-31) (and cs-0 cs-387 cs-31) (and cs-5 cs-387 cs-31) (and cs-0 cs-392 cs-31) (and cs-5 cs-392 cs-31)) 604) ((or (and cs-0 cs-372 cs-48) (and cs-5 cs-372 cs-48) (and cs-0 cs-377 cs-48) (and cs-5 cs-377 cs-48) (and cs-0 cs-382 cs-48) (and cs-5 cs-382 cs-48) (and cs-0 cs-387 cs-48) (and cs-5 cs-387 cs-48) (and cs-0 cs-392 cs-48) (and cs-5 cs-392 cs-48)) 590) ((or (and cs-0 cs-457) (and cs-5 cs-457)) 589) ((or (and cs-0 cs-462) (and cs-5 cs-462) (and cs-0 cs-467) (and cs-5 cs-467)) 585) ((or (and cs-0 cs-44 cs-472) (and cs-5 cs-44 cs-472)) 583) ((or (and cs-0 cs-44 cs-477) (and cs-5 cs-44 cs-477)) 579) ((or (and cs-0 cs-44 cs-482) (and cs-5 cs-44 cs-482)) 573) ((or (and cs-487 cs-1 cs-2) (and cs-490 cs-1 cs-2) (and cs-493 cs-1 cs-2) (and cs-496 cs-1 cs-2) (and cs-499 cs-1 cs-2) (and cs-502 cs-1 cs-2) (and cs-505 cs-1 cs-2) (and cs-508 cs-1 cs-2) (and cs-511 cs-1 cs-2) (and cs-514 cs-1 cs-2) (and cs-517 cs-1 cs-2) (and cs-520 cs-1 cs-2) (and cs-487 cs-8 cs-2) (and cs-490 cs-8 cs-2) (and cs-493 cs-8 cs-2) (and cs-496 cs-8 cs-2) (and cs-499 cs-8 cs-2) (and cs-502 cs-8 cs-2) (and cs-505 cs-8 cs-2) (and cs-508 cs-8 cs-2) (and cs-511 cs-8 cs-2) (and cs-514 cs-8 cs-2) (and cs-517 cs-8 cs-2) (and cs-520 cs-8 cs-2) (and cs-487 cs-13 cs-2) (and cs-490 cs-13 cs-2) (and cs-493 cs-13 cs-2) (and cs-496 cs-13 cs-2) (and cs-499 cs-13 cs-2) (and cs-502 cs-13 cs-2) (and cs-505 cs-13 cs-2) (and cs-508 cs-13 cs-2) (and cs-511 cs-13 cs-2) (and cs-514 cs-13 cs-2) (and cs-517 cs-13 cs-2) (and cs-520 cs-13 cs-2) (and cs-487 cs-1 cs-18) (and cs-490 cs-1 cs-18) (and cs-493 cs-1 cs-18) (and cs-496 cs-1 cs-18) (and cs-499 cs-1 cs-18) (and cs-502 cs-1 cs-18) (and cs-505 cs-1 cs-18) (and cs-508 cs-1 cs-18) (and cs-511 cs-1 cs-18) (and cs-514 cs-1 cs-18) (and cs-517 cs-1 cs-18) (and cs-520 cs-1 cs-18) (and cs-487 cs-8 cs-18) (and cs-490 cs-8 cs-18) (and cs-493 cs-8 cs-18) (and cs-496 cs-8 cs-18) (and cs-499 cs-8 cs-18) (and cs-502 cs-8 cs-18) (and cs-505 cs-8 cs-18) (and cs-508 cs-8 cs-18) (and cs-511 cs-8 cs-18) (and cs-514 cs-8 cs-18) (and cs-517 cs-8 cs-18) (and cs-520 cs-8 cs-18) (and cs-487 cs-13 cs-18) (and cs-490 cs-13 cs-18) (and cs-493 cs-13 cs-18) (and cs-496 cs-13 cs-18) (and cs-499 cs-13 cs-18) (and cs-502 cs-13 cs-18) (and cs-505 cs-13 cs-18) (and cs-508 cs-13 cs-18) (and cs-511 cs-13 cs-18) (and cs-514 cs-13 cs-18) (and cs-517 cs-13 cs-18) (and cs-520 cs-13 cs-18) (and cs-487 cs-1 cs-31) (and cs-490 cs-1 cs-31) (and cs-493 cs-1 cs-31) (and cs-496 cs-1 cs-31) (and cs-499 cs-1 cs-31) (and cs-502 cs-1 cs-31) (and cs-505 cs-1 cs-31) (and cs-508 cs-1 cs-31) (and cs-511 cs-1 cs-31) (and cs-514 cs-1 cs-31) (and cs-517 cs-1 cs-31) (and cs-520 cs-1 cs-31) (and cs-487 cs-8 cs-31) (and cs-490 cs-8 cs-31) (and cs-493 cs-8 cs-31) (and cs-496 cs-8 cs-31) (and cs-499 cs-8 cs-31) (and cs-502 cs-8 cs-31) (and cs-505 cs-8 cs-31) (and cs-508 cs-8 cs-31) (and cs-511 cs-8 cs-31) (and cs-514 cs-8 cs-31) (and cs-517 cs-8 cs-31) (and cs-520 cs-8 cs-31) (and cs-487 cs-13 cs-31) (and cs-490 cs-13 cs-31) (and cs-493 cs-13 cs-31) (and cs-496 cs-13 cs-31) (and cs-499 cs-13 cs-31) (and cs-502 cs-13 cs-31) (and cs-505 cs-13 cs-31) (and cs-508 cs-13 cs-31) (and cs-511 cs-13 cs-31) (and cs-514 cs-13 cs-31) (and cs-517 cs-13 cs-31) (and cs-520 cs-13 cs-31)) 604) ((or (and cs-487 cs-1 cs-48) (and cs-490 cs-1 cs-48) (and cs-493 cs-1 cs-48) (and cs-496 cs-1 cs-48) (and cs-499 cs-1 cs-48) (and cs-502 cs-1 cs-48) (and cs-505 cs-1 cs-48) (and cs-508 cs-1 cs-48) (and cs-511 cs-1 cs-48) (and cs-514 cs-1 cs-48) (and cs-517 cs-1 cs-48) (and cs-520 cs-1 cs-48) (and cs-487 cs-8 cs-48) (and cs-490 cs-8 cs-48) (and cs-493 cs-8 cs-48) (and cs-496 cs-8 cs-48) (and cs-499 cs-8 cs-48) (and cs-502 cs-8 cs-48) (and cs-505 cs-8 cs-48) (and cs-508 cs-8 cs-48) (and cs-511 cs-8 cs-48) (and cs-514 cs-8 cs-48) (and cs-517 cs-8 cs-48) (and cs-520 cs-8 cs-48) (and cs-487 cs-13 cs-48) (and cs-490 cs-13 cs-48) (and cs-493 cs-13 cs-48) (and cs-496 cs-13 cs-48) (and cs-499 cs-13 cs-48) (and cs-502 cs-13 cs-48) (and cs-505 cs-13 cs-48) (and cs-508 cs-13 cs-48) (and cs-511 cs-13 cs-48) (and cs-514 cs-13 cs-48) (and cs-517 cs-13 cs-48) (and cs-520 cs-13 cs-48)) 590) ((or (and cs-487 cs-61 cs-2) (and cs-490 cs-61 cs-2) (and cs-493 cs-61 cs-2) (and cs-496 cs-61 cs-2) (and cs-499 cs-61 cs-2) (and cs-502 cs-61 cs-2) (and cs-505 cs-61 cs-2) (and cs-508 cs-61 cs-2) (and cs-511 cs-61 cs-2) (and cs-514 cs-61 cs-2) (and cs-517 cs-61 cs-2) (and cs-520 cs-61 cs-2) (and cs-487 cs-66 cs-2) (and cs-490 cs-66 cs-2) (and cs-493 cs-66 cs-2) (and cs-496 cs-66 cs-2) (and cs-499 cs-66 cs-2) (and cs-502 cs-66 cs-2) (and cs-505 cs-66 cs-2) (and cs-508 cs-66 cs-2) (and cs-511 cs-66 cs-2) (and cs-514 cs-66 cs-2) (and cs-517 cs-66 cs-2) (and cs-520 cs-66 cs-2) (and cs-487 cs-71 cs-2) (and cs-490 cs-71 cs-2) (and cs-493 cs-71 cs-2) (and cs-496 cs-71 cs-2) (and cs-499 cs-71 cs-2) (and cs-502 cs-71 cs-2) (and cs-505 cs-71 cs-2) (and cs-508 cs-71 cs-2) (and cs-511 cs-71 cs-2) (and cs-514 cs-71 cs-2) (and cs-517 cs-71 cs-2) (and cs-520 cs-71 cs-2) (and cs-487 cs-76 cs-2) (and cs-490 cs-76 cs-2) (and cs-493 cs-76 cs-2) (and cs-496 cs-76 cs-2) (and cs-499 cs-76 cs-2) (and cs-502 cs-76 cs-2) (and cs-505 cs-76 cs-2) (and cs-508 cs-76 cs-2) (and cs-511 cs-76 cs-2) (and cs-514 cs-76 cs-2) (and cs-517 cs-76 cs-2) (and cs-520 cs-76 cs-2) (and cs-487 cs-81 cs-2) (and cs-490 cs-81 cs-2) (and cs-493 cs-81 cs-2) (and cs-496 cs-81 cs-2) (and cs-499 cs-81 cs-2) (and cs-502 cs-81 cs-2) (and cs-505 cs-81 cs-2) (and cs-508 cs-81 cs-2) (and cs-511 cs-81 cs-2) (and cs-514 cs-81 cs-2) (and cs-517 cs-81 cs-2) (and cs-520 cs-81 cs-2) (and cs-487 cs-86 cs-2) (and cs-490 cs-86 cs-2) (and cs-493 cs-86 cs-2) (and cs-496 cs-86 cs-2) (and cs-499 cs-86 cs-2) (and cs-502 cs-86 cs-2) (and cs-505 cs-86 cs-2) (and cs-508 cs-86 cs-2) (and cs-511 cs-86 cs-2) (and cs-514 cs-86 cs-2) (and cs-517 cs-86 cs-2) (and cs-520 cs-86 cs-2) (and cs-487 cs-91 cs-2) (and cs-490 cs-91 cs-2) (and cs-493 cs-91 cs-2) (and cs-496 cs-91 cs-2) (and cs-499 cs-91 cs-2) (and cs-502 cs-91 cs-2) (and cs-505 cs-91 cs-2) (and cs-508 cs-91 cs-2) (and cs-511 cs-91 cs-2) (and cs-514 cs-91 cs-2) (and cs-517 cs-91 cs-2) (and cs-520 cs-91 cs-2) (and cs-487 cs-96 cs-2) (and cs-490 cs-96 cs-2) (and cs-493 cs-96 cs-2) (and cs-496 cs-96 cs-2) (and cs-499 cs-96 cs-2) (and cs-502 cs-96 cs-2) (and cs-505 cs-96 cs-2) (and cs-508 cs-96 cs-2) (and cs-511 cs-96 cs-2) (and cs-514 cs-96 cs-2) (and cs-517 cs-96 cs-2) (and cs-520 cs-96 cs-2) (and cs-487 cs-101 cs-2) (and cs-490 cs-101 cs-2) (and cs-493 cs-101 cs-2) (and cs-496 cs-101 cs-2) (and cs-499 cs-101 cs-2) (and cs-502 cs-101 cs-2) (and cs-505 cs-101 cs-2) (and cs-508 cs-101 cs-2) (and cs-511 cs-101 cs-2) (and cs-514 cs-101 cs-2) (and cs-517 cs-101 cs-2) (and cs-520 cs-101 cs-2) (and cs-487 cs-106 cs-2) (and cs-490 cs-106 cs-2) (and cs-493 cs-106 cs-2) (and cs-496 cs-106 cs-2) (and cs-499 cs-106 cs-2) (and cs-502 cs-106 cs-2) (and cs-505 cs-106 cs-2) (and cs-508 cs-106 cs-2) (and cs-511 cs-106 cs-2) (and cs-514 cs-106 cs-2) (and cs-517 cs-106 cs-2) (and cs-520 cs-106 cs-2) (and cs-487 cs-111 cs-2) (and cs-490 cs-111 cs-2) (and cs-493 cs-111 cs-2) (and cs-496 cs-111 cs-2) (and cs-499 cs-111 cs-2) (and cs-502 cs-111 cs-2) (and cs-505 cs-111 cs-2) (and cs-508 cs-111 cs-2) (and cs-511 cs-111 cs-2) (and cs-514 cs-111 cs-2) (and cs-517 cs-111 cs-2) (and cs-520 cs-111 cs-2) (and cs-487 cs-116 cs-2) (and cs-490 cs-116 cs-2) (and cs-493 cs-116 cs-2) (and cs-496 cs-116 cs-2) (and cs-499 cs-116 cs-2) (and cs-502 cs-116 cs-2) (and cs-505 cs-116 cs-2) (and cs-508 cs-116 cs-2) (and cs-511 cs-116 cs-2) (and cs-514 cs-116 cs-2) (and cs-517 cs-116 cs-2) (and cs-520 cs-116 cs-2) (and cs-487 cs-121 cs-2) (and cs-490 cs-121 cs-2) (and cs-493 cs-121 cs-2) (and cs-496 cs-121 cs-2) (and cs-499 cs-121 cs-2) (and cs-502 cs-121 cs-2) (and cs-505 cs-121 cs-2) (and cs-508 cs-121 cs-2) (and cs-511 cs-121 cs-2) (and cs-514 cs-121 cs-2) (and cs-517 cs-121 cs-2) (and cs-520 cs-121 cs-2) (and cs-487 cs-126 cs-2) (and cs-490 cs-126 cs-2) (and cs-493 cs-126 cs-2) (and cs-496 cs-126 cs-2) (and cs-499 cs-126 cs-2) (and cs-502 cs-126 cs-2) (and cs-505 cs-126 cs-2) (and cs-508 cs-126 cs-2) (and cs-511 cs-126 cs-2) (and cs-514 cs-126 cs-2) (and cs-517 cs-126 cs-2) (and cs-520 cs-126 cs-2) (and cs-487 cs-131 cs-2) (and cs-490 cs-131 cs-2) (and cs-493 cs-131 cs-2) (and cs-496 cs-131 cs-2) (and cs-499 cs-131 cs-2) (and cs-502 cs-131 cs-2) (and cs-505 cs-131 cs-2) (and cs-508 cs-131 cs-2) (and cs-511 cs-131 cs-2) (and cs-514 cs-131 cs-2) (and cs-517 cs-131 cs-2) (and cs-520 cs-131 cs-2) (and cs-487 cs-136 cs-2) (and cs-490 cs-136 cs-2) (and cs-493 cs-136 cs-2) (and cs-496 cs-136 cs-2) (and cs-499 cs-136 cs-2) (and cs-502 cs-136 cs-2) (and cs-505 cs-136 cs-2) (and cs-508 cs-136 cs-2) (and cs-511 cs-136 cs-2) (and cs-514 cs-136 cs-2) (and cs-517 cs-136 cs-2) (and cs-520 cs-136 cs-2) (and cs-487 cs-141 cs-2) (and cs-490 cs-141 cs-2) (and cs-493 cs-141 cs-2) (and cs-496 cs-141 cs-2) (and cs-499 cs-141 cs-2) (and cs-502 cs-141 cs-2) (and cs-505 cs-141 cs-2) (and cs-508 cs-141 cs-2) (and cs-511 cs-141 cs-2) (and cs-514 cs-141 cs-2) (and cs-517 cs-141 cs-2) (and cs-520 cs-141 cs-2) (and cs-487 cs-146 cs-2) (and cs-490 cs-146 cs-2) (and cs-493 cs-146 cs-2) (and cs-496 cs-146 cs-2) (and cs-499 cs-146 cs-2) (and cs-502 cs-146 cs-2) (and cs-505 cs-146 cs-2) (and cs-508 cs-146 cs-2) (and cs-511 cs-146 cs-2) (and cs-514 cs-146 cs-2) (and cs-517 cs-146 cs-2) (and cs-520 cs-146 cs-2) (and cs-487 cs-61 cs-18) (and cs-490 cs-61 cs-18) (and cs-493 cs-61 cs-18) (and cs-496 cs-61 cs-18) (and cs-499 cs-61 cs-18) (and cs-502 cs-61 cs-18) (and cs-505 cs-61 cs-18) (and cs-508 cs-61 cs-18) (and cs-511 cs-61 cs-18) (and cs-514 cs-61 cs-18) (and cs-517 cs-61 cs-18) (and cs-520 cs-61 cs-18) (and cs-487 cs-66 cs-18) (and cs-490 cs-66 cs-18) (and cs-493 cs-66 cs-18) (and cs-496 cs-66 cs-18) (and cs-499 cs-66 cs-18) (and cs-502 cs-66 cs-18) (and cs-505 cs-66 cs-18) (and cs-508 cs-66 cs-18) (and cs-511 cs-66 cs-18) (and cs-514 cs-66 cs-18) (and cs-517 cs-66 cs-18) (and cs-520 cs-66 cs-18) (and cs-487 cs-71 cs-18) (and cs-490 cs-71 cs-18) (and cs-493 cs-71 cs-18) (and cs-496 cs-71 cs-18) (and cs-499 cs-71 cs-18) (and cs-502 cs-71 cs-18) (and cs-505 cs-71 cs-18) (and cs-508 cs-71 cs-18) (and cs-511 cs-71 cs-18) (and cs-514 cs-71 cs-18) (and cs-517 cs-71 cs-18) (and cs-520 cs-71 cs-18) (and cs-487 cs-76 cs-18) (and cs-490 cs-76 cs-18) (and cs-493 cs-76 cs-18) (and cs-496 cs-76 cs-18) (and cs-499 cs-76 cs-18) (and cs-502 cs-76 cs-18) (and cs-505 cs-76 cs-18) (and cs-508 cs-76 cs-18) (and cs-511 cs-76 cs-18) (and cs-514 cs-76 cs-18) (and cs-517 cs-76 cs-18) (and cs-520 cs-76 cs-18) (and cs-487 cs-81 cs-18) (and cs-490 cs-81 cs-18) (and cs-493 cs-81 cs-18) (and cs-496 cs-81 cs-18) (and cs-499 cs-81 cs-18) (and cs-502 cs-81 cs-18) (and cs-505 cs-81 cs-18) (and cs-508 cs-81 cs-18) (and cs-511 cs-81 cs-18) (and cs-514 cs-81 cs-18) (and cs-517 cs-81 cs-18) (and cs-520 cs-81 cs-18) (and cs-487 cs-86 cs-18) (and cs-490 cs-86 cs-18) (and cs-493 cs-86 cs-18) (and cs-496 cs-86 cs-18) (and cs-499 cs-86 cs-18) (and cs-502 cs-86 cs-18) (and cs-505 cs-86 cs-18) (and cs-508 cs-86 cs-18) (and cs-511 cs-86 cs-18) (and cs-514 cs-86 cs-18) (and cs-517 cs-86 cs-18) (and cs-520 cs-86 cs-18) (and cs-487 cs-91 cs-18) (and cs-490 cs-91 cs-18) (and cs-493 cs-91 cs-18) (and cs-496 cs-91 cs-18) (and cs-499 cs-91 cs-18) (and cs-502 cs-91 cs-18) (and cs-505 cs-91 cs-18) (and cs-508 cs-91 cs-18) (and cs-511 cs-91 cs-18) (and cs-514 cs-91 cs-18) (and cs-517 cs-91 cs-18) (and cs-520 cs-91 cs-18) (and cs-487 cs-96 cs-18) (and cs-490 cs-96 cs-18) (and cs-493 cs-96 cs-18) (and cs-496 cs-96 cs-18) (and cs-499 cs-96 cs-18) (and cs-502 cs-96 cs-18) (and cs-505 cs-96 cs-18) (and cs-508 cs-96 cs-18) (and cs-511 cs-96 cs-18) (and cs-514 cs-96 cs-18) (and cs-517 cs-96 cs-18) (and cs-520 cs-96 cs-18) (and cs-487 cs-101 cs-18) (and cs-490 cs-101 cs-18) (and cs-493 cs-101 cs-18) (and cs-496 cs-101 cs-18) (and cs-499 cs-101 cs-18) (and cs-502 cs-101 cs-18) (and cs-505 cs-101 cs-18) (and cs-508 cs-101 cs-18) (and cs-511 cs-101 cs-18) (and cs-514 cs-101 cs-18) (and cs-517 cs-101 cs-18) (and cs-520 cs-101 cs-18) (and cs-487 cs-106 cs-18) (and cs-490 cs-106 cs-18) (and cs-493 cs-106 cs-18) (and cs-496 cs-106 cs-18) (and cs-499 cs-106 cs-18) (and cs-502 cs-106 cs-18) (and cs-505 cs-106 cs-18) (and cs-508 cs-106 cs-18) (and cs-511 cs-106 cs-18) (and cs-514 cs-106 cs-18) (and cs-517 cs-106 cs-18) (and cs-520 cs-106 cs-18) (and cs-487 cs-111 cs-18) (and cs-490 cs-111 cs-18) (and cs-493 cs-111 cs-18) (and cs-496 cs-111 cs-18) (and cs-499 cs-111 cs-18) (and cs-502 cs-111 cs-18) (and cs-505 cs-111 cs-18) (and cs-508 cs-111 cs-18) (and cs-511 cs-111 cs-18) (and cs-514 cs-111 cs-18) (and cs-517 cs-111 cs-18) (and cs-520 cs-111 cs-18) (and cs-487 cs-116 cs-18) (and cs-490 cs-116 cs-18) (and cs-493 cs-116 cs-18) (and cs-496 cs-116 cs-18) (and cs-499 cs-116 cs-18) (and cs-502 cs-116 cs-18) (and cs-505 cs-116 cs-18) (and cs-508 cs-116 cs-18) (and cs-511 cs-116 cs-18) (and cs-514 cs-116 cs-18) (and cs-517 cs-116 cs-18) (and cs-520 cs-116 cs-18) (and cs-487 cs-121 cs-18) (and cs-490 cs-121 cs-18) (and cs-493 cs-121 cs-18) (and cs-496 cs-121 cs-18) (and cs-499 cs-121 cs-18) (and cs-502 cs-121 cs-18) (and cs-505 cs-121 cs-18) (and cs-508 cs-121 cs-18) (and cs-511 cs-121 cs-18) (and cs-514 cs-121 cs-18) (and cs-517 cs-121 cs-18) (and cs-520 cs-121 cs-18) (and cs-487 cs-126 cs-18) (and cs-490 cs-126 cs-18) (and cs-493 cs-126 cs-18) (and cs-496 cs-126 cs-18) (and cs-499 cs-126 cs-18) (and cs-502 cs-126 cs-18) (and cs-505 cs-126 cs-18) (and cs-508 cs-126 cs-18) (and cs-511 cs-126 cs-18) (and cs-514 cs-126 cs-18) (and cs-517 cs-126 cs-18) (and cs-520 cs-126 cs-18) (and cs-487 cs-131 cs-18) (and cs-490 cs-131 cs-18) (and cs-493 cs-131 cs-18) (and cs-496 cs-131 cs-18) (and cs-499 cs-131 cs-18) (and cs-502 cs-131 cs-18) (and cs-505 cs-131 cs-18) (and cs-508 cs-131 cs-18) (and cs-511 cs-131 cs-18) (and cs-514 cs-131 cs-18) (and cs-517 cs-131 cs-18) (and cs-520 cs-131 cs-18) (and cs-487 cs-136 cs-18) (and cs-490 cs-136 cs-18) (and cs-493 cs-136 cs-18) (and cs-496 cs-136 cs-18) (and cs-499 cs-136 cs-18) (and cs-502 cs-136 cs-18) (and cs-505 cs-136 cs-18) (and cs-508 cs-136 cs-18) (and cs-511 cs-136 cs-18) (and cs-514 cs-136 cs-18) (and cs-517 cs-136 cs-18) (and cs-520 cs-136 cs-18) (and cs-487 cs-141 cs-18) (and cs-490 cs-141 cs-18) (and cs-493 cs-141 cs-18) (and cs-496 cs-141 cs-18) (and cs-499 cs-141 cs-18) (and cs-502 cs-141 cs-18) (and cs-505 cs-141 cs-18) (and cs-508 cs-141 cs-18) (and cs-511 cs-141 cs-18) (and cs-514 cs-141 cs-18) (and cs-517 cs-141 cs-18) (and cs-520 cs-141 cs-18) (and cs-487 cs-146 cs-18) (and cs-490 cs-146 cs-18) (and cs-493 cs-146 cs-18) (and cs-496 cs-146 cs-18) (and cs-499 cs-146 cs-18) (and cs-502 cs-146 cs-18) (and cs-505 cs-146 cs-18) (and cs-508 cs-146 cs-18) (and cs-511 cs-146 cs-18) (and cs-514 cs-146 cs-18) (and cs-517 cs-146 cs-18) (and cs-520 cs-146 cs-18) (and cs-487 cs-61 cs-31) (and cs-490 cs-61 cs-31) (and cs-493 cs-61 cs-31) (and cs-496 cs-61 cs-31) (and cs-499 cs-61 cs-31) (and cs-502 cs-61 cs-31) (and cs-505 cs-61 cs-31) (and cs-508 cs-61 cs-31) (and cs-511 cs-61 cs-31) (and cs-514 cs-61 cs-31) (and cs-517 cs-61 cs-31) (and cs-520 cs-61 cs-31) (and cs-487 cs-66 cs-31) (and cs-490 cs-66 cs-31) (and cs-493 cs-66 cs-31) (and cs-496 cs-66 cs-31) (and cs-499 cs-66 cs-31) (and cs-502 cs-66 cs-31) (and cs-505 cs-66 cs-31) (and cs-508 cs-66 cs-31) (and cs-511 cs-66 cs-31) (and cs-514 cs-66 cs-31) (and cs-517 cs-66 cs-31) (and cs-520 cs-66 cs-31) (and cs-487 cs-71 cs-31) (and cs-490 cs-71 cs-31) (and cs-493 cs-71 cs-31) (and cs-496 cs-71 cs-31) (and cs-499 cs-71 cs-31) (and cs-502 cs-71 cs-31) (and cs-505 cs-71 cs-31) (and cs-508 cs-71 cs-31) (and cs-511 cs-71 cs-31) (and cs-514 cs-71 cs-31) (and cs-517 cs-71 cs-31) (and cs-520 cs-71 cs-31) (and cs-487 cs-76 cs-31) (and cs-490 cs-76 cs-31) (and cs-493 cs-76 cs-31) (and cs-496 cs-76 cs-31) (and cs-499 cs-76 cs-31) (and cs-502 cs-76 cs-31) (and cs-505 cs-76 cs-31) (and cs-508 cs-76 cs-31) (and cs-511 cs-76 cs-31) (and cs-514 cs-76 cs-31) (and cs-517 cs-76 cs-31) (and cs-520 cs-76 cs-31) (and cs-487 cs-81 cs-31) (and cs-490 cs-81 cs-31) (and cs-493 cs-81 cs-31) (and cs-496 cs-81 cs-31) (and cs-499 cs-81 cs-31) (and cs-502 cs-81 cs-31) (and cs-505 cs-81 cs-31) (and cs-508 cs-81 cs-31) (and cs-511 cs-81 cs-31) (and cs-514 cs-81 cs-31) (and cs-517 cs-81 cs-31) (and cs-520 cs-81 cs-31) (and cs-487 cs-86 cs-31) (and cs-490 cs-86 cs-31) (and cs-493 cs-86 cs-31) (and cs-496 cs-86 cs-31) (and cs-499 cs-86 cs-31) (and cs-502 cs-86 cs-31) (and cs-505 cs-86 cs-31) (and cs-508 cs-86 cs-31) (and cs-511 cs-86 cs-31) (and cs-514 cs-86 cs-31) (and cs-517 cs-86 cs-31) (and cs-520 cs-86 cs-31) (and cs-487 cs-91 cs-31) (and cs-490 cs-91 cs-31) (and cs-493 cs-91 cs-31) (and cs-496 cs-91 cs-31) (and cs-499 cs-91 cs-31) (and cs-502 cs-91 cs-31) (and cs-505 cs-91 cs-31) (and cs-508 cs-91 cs-31) (and cs-511 cs-91 cs-31) (and cs-514 cs-91 cs-31) (and cs-517 cs-91 cs-31) (and cs-520 cs-91 cs-31) (and cs-487 cs-96 cs-31) (and cs-490 cs-96 cs-31) (and cs-493 cs-96 cs-31) (and cs-496 cs-96 cs-31) (and cs-499 cs-96 cs-31) (and cs-502 cs-96 cs-31) (and cs-505 cs-96 cs-31) (and cs-508 cs-96 cs-31) (and cs-511 cs-96 cs-31) (and cs-514 cs-96 cs-31) (and cs-517 cs-96 cs-31) (and cs-520 cs-96 cs-31) (and cs-487 cs-101 cs-31) (and cs-490 cs-101 cs-31) (and cs-493 cs-101 cs-31) (and cs-496 cs-101 cs-31) (and cs-499 cs-101 cs-31) (and cs-502 cs-101 cs-31) (and cs-505 cs-101 cs-31) (and cs-508 cs-101 cs-31) (and cs-511 cs-101 cs-31) (and cs-514 cs-101 cs-31) (and cs-517 cs-101 cs-31) (and cs-520 cs-101 cs-31) (and cs-487 cs-106 cs-31) (and cs-490 cs-106 cs-31) (and cs-493 cs-106 cs-31) (and cs-496 cs-106 cs-31) (and cs-499 cs-106 cs-31) (and cs-502 cs-106 cs-31) (and cs-505 cs-106 cs-31) (and cs-508 cs-106 cs-31) (and cs-511 cs-106 cs-31) (and cs-514 cs-106 cs-31) (and cs-517 cs-106 cs-31) (and cs-520 cs-106 cs-31) (and cs-487 cs-111 cs-31) (and cs-490 cs-111 cs-31) (and cs-493 cs-111 cs-31) (and cs-496 cs-111 cs-31) (and cs-499 cs-111 cs-31) (and cs-502 cs-111 cs-31) (and cs-505 cs-111 cs-31) (and cs-508 cs-111 cs-31) (and cs-511 cs-111 cs-31) (and cs-514 cs-111 cs-31) (and cs-517 cs-111 cs-31) (and cs-520 cs-111 cs-31) (and cs-487 cs-116 cs-31) (and cs-490 cs-116 cs-31) (and cs-493 cs-116 cs-31) (and cs-496 cs-116 cs-31) (and cs-499 cs-116 cs-31) (and cs-502 cs-116 cs-31) (and cs-505 cs-116 cs-31) (and cs-508 cs-116 cs-31) (and cs-511 cs-116 cs-31) (and cs-514 cs-116 cs-31) (and cs-517 cs-116 cs-31) (and cs-520 cs-116 cs-31) (and cs-487 cs-121 cs-31) (and cs-490 cs-121 cs-31) (and cs-493 cs-121 cs-31) (and cs-496 cs-121 cs-31) (and cs-499 cs-121 cs-31) (and cs-502 cs-121 cs-31) (and cs-505 cs-121 cs-31) (and cs-508 cs-121 cs-31) (and cs-511 cs-121 cs-31) (and cs-514 cs-121 cs-31) (and cs-517 cs-121 cs-31) (and cs-520 cs-121 cs-31) (and cs-487 cs-126 cs-31) (and cs-490 cs-126 cs-31) (and cs-493 cs-126 cs-31) (and cs-496 cs-126 cs-31) (and cs-499 cs-126 cs-31) (and cs-502 cs-126 cs-31) (and cs-505 cs-126 cs-31) (and cs-508 cs-126 cs-31) (and cs-511 cs-126 cs-31) (and cs-514 cs-126 cs-31) (and cs-517 cs-126 cs-31) (and cs-520 cs-126 cs-31) (and cs-487 cs-131 cs-31) (and cs-490 cs-131 cs-31) (and cs-493 cs-131 cs-31) (and cs-496 cs-131 cs-31) (and cs-499 cs-131 cs-31) (and cs-502 cs-131 cs-31) (and cs-505 cs-131 cs-31) (and cs-508 cs-131 cs-31) (and cs-511 cs-131 cs-31) (and cs-514 cs-131 cs-31) (and cs-517 cs-131 cs-31) (and cs-520 cs-131 cs-31) (and cs-487 cs-136 cs-31) (and cs-490 cs-136 cs-31) (and cs-493 cs-136 cs-31) (and cs-496 cs-136 cs-31) (and cs-499 cs-136 cs-31) (and cs-502 cs-136 cs-31) (and cs-505 cs-136 cs-31) (and cs-508 cs-136 cs-31) (and cs-511 cs-136 cs-31) (and cs-514 cs-136 cs-31) (and cs-517 cs-136 cs-31) (and cs-520 cs-136 cs-31) (and cs-487 cs-141 cs-31) (and cs-490 cs-141 cs-31) (and cs-493 cs-141 cs-31) (and cs-496 cs-141 cs-31) (and cs-499 cs-141 cs-31) (and cs-502 cs-141 cs-31) (and cs-505 cs-141 cs-31) (and cs-508 cs-141 cs-31) (and cs-511 cs-141 cs-31) (and cs-514 cs-141 cs-31) (and cs-517 cs-141 cs-31) (and cs-520 cs-141 cs-31) (and cs-487 cs-146 cs-31) (and cs-490 cs-146 cs-31) (and cs-493 cs-146 cs-31) (and cs-496 cs-146 cs-31) (and cs-499 cs-146 cs-31) (and cs-502 cs-146 cs-31) (and cs-505 cs-146 cs-31) (and cs-508 cs-146 cs-31) (and cs-511 cs-146 cs-31) (and cs-514 cs-146 cs-31) (and cs-517 cs-146 cs-31) (and cs-520 cs-146 cs-31)) 604) ((or (and cs-487 cs-61 cs-48) (and cs-490 cs-61 cs-48) (and cs-493 cs-61 cs-48) (and cs-496 cs-61 cs-48) (and cs-499 cs-61 cs-48) (and cs-502 cs-61 cs-48) (and cs-505 cs-61 cs-48) (and cs-508 cs-61 cs-48) (and cs-511 cs-61 cs-48) (and cs-514 cs-61 cs-48) (and cs-517 cs-61 cs-48) (and cs-520 cs-61 cs-48) (and cs-487 cs-66 cs-48) (and cs-490 cs-66 cs-48) (and cs-493 cs-66 cs-48) (and cs-496 cs-66 cs-48) (and cs-499 cs-66 cs-48) (and cs-502 cs-66 cs-48) (and cs-505 cs-66 cs-48) (and cs-508 cs-66 cs-48) (and cs-511 cs-66 cs-48) (and cs-514 cs-66 cs-48) (and cs-517 cs-66 cs-48) (and cs-520 cs-66 cs-48) (and cs-487 cs-71 cs-48) (and cs-490 cs-71 cs-48) (and cs-493 cs-71 cs-48) (and cs-496 cs-71 cs-48) (and cs-499 cs-71 cs-48) (and cs-502 cs-71 cs-48) (and cs-505 cs-71 cs-48) (and cs-508 cs-71 cs-48) (and cs-511 cs-71 cs-48) (and cs-514 cs-71 cs-48) (and cs-517 cs-71 cs-48) (and cs-520 cs-71 cs-48) (and cs-487 cs-76 cs-48) (and cs-490 cs-76 cs-48) (and cs-493 cs-76 cs-48) (and cs-496 cs-76 cs-48) (and cs-499 cs-76 cs-48) (and cs-502 cs-76 cs-48) (and cs-505 cs-76 cs-48) (and cs-508 cs-76 cs-48) (and cs-511 cs-76 cs-48) (and cs-514 cs-76 cs-48) (and cs-517 cs-76 cs-48) (and cs-520 cs-76 cs-48) (and cs-487 cs-81 cs-48) (and cs-490 cs-81 cs-48) (and cs-493 cs-81 cs-48) (and cs-496 cs-81 cs-48) (and cs-499 cs-81 cs-48) (and cs-502 cs-81 cs-48) (and cs-505 cs-81 cs-48) (and cs-508 cs-81 cs-48) (and cs-511 cs-81 cs-48) (and cs-514 cs-81 cs-48) (and cs-517 cs-81 cs-48) (and cs-520 cs-81 cs-48) (and cs-487 cs-86 cs-48) (and cs-490 cs-86 cs-48) (and cs-493 cs-86 cs-48) (and cs-496 cs-86 cs-48) (and cs-499 cs-86 cs-48) (and cs-502 cs-86 cs-48) (and cs-505 cs-86 cs-48) (and cs-508 cs-86 cs-48) (and cs-511 cs-86 cs-48) (and cs-514 cs-86 cs-48) (and cs-517 cs-86 cs-48) (and cs-520 cs-86 cs-48) (and cs-487 cs-91 cs-48) (and cs-490 cs-91 cs-48) (and cs-493 cs-91 cs-48) (and cs-496 cs-91 cs-48) (and cs-499 cs-91 cs-48) (and cs-502 cs-91 cs-48) (and cs-505 cs-91 cs-48) (and cs-508 cs-91 cs-48) (and cs-511 cs-91 cs-48) (and cs-514 cs-91 cs-48) (and cs-517 cs-91 cs-48) (and cs-520 cs-91 cs-48) (and cs-487 cs-96 cs-48) (and cs-490 cs-96 cs-48) (and cs-493 cs-96 cs-48) (and cs-496 cs-96 cs-48) (and cs-499 cs-96 cs-48) (and cs-502 cs-96 cs-48) (and cs-505 cs-96 cs-48) (and cs-508 cs-96 cs-48) (and cs-511 cs-96 cs-48) (and cs-514 cs-96 cs-48) (and cs-517 cs-96 cs-48) (and cs-520 cs-96 cs-48) (and cs-487 cs-101 cs-48) (and cs-490 cs-101 cs-48) (and cs-493 cs-101 cs-48) (and cs-496 cs-101 cs-48) (and cs-499 cs-101 cs-48) (and cs-502 cs-101 cs-48) (and cs-505 cs-101 cs-48) (and cs-508 cs-101 cs-48) (and cs-511 cs-101 cs-48) (and cs-514 cs-101 cs-48) (and cs-517 cs-101 cs-48) (and cs-520 cs-101 cs-48) (and cs-487 cs-106 cs-48) (and cs-490 cs-106 cs-48) (and cs-493 cs-106 cs-48) (and cs-496 cs-106 cs-48) (and cs-499 cs-106 cs-48) (and cs-502 cs-106 cs-48) (and cs-505 cs-106 cs-48) (and cs-508 cs-106 cs-48) (and cs-511 cs-106 cs-48) (and cs-514 cs-106 cs-48) (and cs-517 cs-106 cs-48) (and cs-520 cs-106 cs-48) (and cs-487 cs-111 cs-48) (and cs-490 cs-111 cs-48) (and cs-493 cs-111 cs-48) (and cs-496 cs-111 cs-48) (and cs-499 cs-111 cs-48) (and cs-502 cs-111 cs-48) (and cs-505 cs-111 cs-48) (and cs-508 cs-111 cs-48) (and cs-511 cs-111 cs-48) (and cs-514 cs-111 cs-48) (and cs-517 cs-111 cs-48) (and cs-520 cs-111 cs-48) (and cs-487 cs-116 cs-48) (and cs-490 cs-116 cs-48) (and cs-493 cs-116 cs-48) (and cs-496 cs-116 cs-48) (and cs-499 cs-116 cs-48) (and cs-502 cs-116 cs-48) (and cs-505 cs-116 cs-48) (and cs-508 cs-116 cs-48) (and cs-511 cs-116 cs-48) (and cs-514 cs-116 cs-48) (and cs-517 cs-116 cs-48) (and cs-520 cs-116 cs-48) (and cs-487 cs-121 cs-48) (and cs-490 cs-121 cs-48) (and cs-493 cs-121 cs-48) (and cs-496 cs-121 cs-48) (and cs-499 cs-121 cs-48) (and cs-502 cs-121 cs-48) (and cs-505 cs-121 cs-48) (and cs-508 cs-121 cs-48) (and cs-511 cs-121 cs-48) (and cs-514 cs-121 cs-48) (and cs-517 cs-121 cs-48) (and cs-520 cs-121 cs-48) (and cs-487 cs-126 cs-48) (and cs-490 cs-126 cs-48) (and cs-493 cs-126 cs-48) (and cs-496 cs-126 cs-48) (and cs-499 cs-126 cs-48) (and cs-502 cs-126 cs-48) (and cs-505 cs-126 cs-48) (and cs-508 cs-126 cs-48) (and cs-511 cs-126 cs-48) (and cs-514 cs-126 cs-48) (and cs-517 cs-126 cs-48) (and cs-520 cs-126 cs-48) (and cs-487 cs-131 cs-48) (and cs-490 cs-131 cs-48) (and cs-493 cs-131 cs-48) (and cs-496 cs-131 cs-48) (and cs-499 cs-131 cs-48) (and cs-502 cs-131 cs-48) (and cs-505 cs-131 cs-48) (and cs-508 cs-131 cs-48) (and cs-511 cs-131 cs-48) (and cs-514 cs-131 cs-48) (and cs-517 cs-131 cs-48) (and cs-520 cs-131 cs-48) (and cs-487 cs-136 cs-48) (and cs-490 cs-136 cs-48) (and cs-493 cs-136 cs-48) (and cs-496 cs-136 cs-48) (and cs-499 cs-136 cs-48) (and cs-502 cs-136 cs-48) (and cs-505 cs-136 cs-48) (and cs-508 cs-136 cs-48) (and cs-511 cs-136 cs-48) (and cs-514 cs-136 cs-48) (and cs-517 cs-136 cs-48) (and cs-520 cs-136 cs-48) (and cs-487 cs-141 cs-48) (and cs-490 cs-141 cs-48) (and cs-493 cs-141 cs-48) (and cs-496 cs-141 cs-48) (and cs-499 cs-141 cs-48) (and cs-502 cs-141 cs-48) (and cs-505 cs-141 cs-48) (and cs-508 cs-141 cs-48) (and cs-511 cs-141 cs-48) (and cs-514 cs-141 cs-48) (and cs-517 cs-141 cs-48) (and cs-520 cs-141 cs-48) (and cs-487 cs-146 cs-48) (and cs-490 cs-146 cs-48) (and cs-493 cs-146 cs-48) (and cs-496 cs-146 cs-48) (and cs-499 cs-146 cs-48) (and cs-502 cs-146 cs-48) (and cs-505 cs-146 cs-48) (and cs-508 cs-146 cs-48) (and cs-511 cs-146 cs-48) (and cs-514 cs-146 cs-48) (and cs-517 cs-146 cs-48) (and cs-520 cs-146 cs-48)) 590) ((or (and cs-487 cs-44 cs-367) (and cs-490 cs-44 cs-367) (and cs-493 cs-44 cs-367) (and cs-496 cs-44 cs-367) (and cs-499 cs-44 cs-367) (and cs-502 cs-44 cs-367) (and cs-505 cs-44 cs-367) (and cs-508 cs-44 cs-367) (and cs-511 cs-44 cs-367) (and cs-514 cs-44 cs-367) (and cs-517 cs-44 cs-367) (and cs-520 cs-44 cs-367)) 605) ((or (and cs-487 cs-372 cs-2) (and cs-490 cs-372 cs-2) (and cs-493 cs-372 cs-2) (and cs-496 cs-372 cs-2) (and cs-499 cs-372 cs-2) (and cs-502 cs-372 cs-2) (and cs-505 cs-372 cs-2) (and cs-508 cs-372 cs-2) (and cs-511 cs-372 cs-2) (and cs-514 cs-372 cs-2) (and cs-517 cs-372 cs-2) (and cs-520 cs-372 cs-2) (and cs-487 cs-377 cs-2) (and cs-490 cs-377 cs-2) (and cs-493 cs-377 cs-2) (and cs-496 cs-377 cs-2) (and cs-499 cs-377 cs-2) (and cs-502 cs-377 cs-2) (and cs-505 cs-377 cs-2) (and cs-508 cs-377 cs-2) (and cs-511 cs-377 cs-2) (and cs-514 cs-377 cs-2) (and cs-517 cs-377 cs-2) (and cs-520 cs-377 cs-2) (and cs-487 cs-382 cs-2) (and cs-490 cs-382 cs-2) (and cs-493 cs-382 cs-2) (and cs-496 cs-382 cs-2) (and cs-499 cs-382 cs-2) (and cs-502 cs-382 cs-2) (and cs-505 cs-382 cs-2) (and cs-508 cs-382 cs-2) (and cs-511 cs-382 cs-2) (and cs-514 cs-382 cs-2) (and cs-517 cs-382 cs-2) (and cs-520 cs-382 cs-2) (and cs-487 cs-387 cs-2) (and cs-490 cs-387 cs-2) (and cs-493 cs-387 cs-2) (and cs-496 cs-387 cs-2) (and cs-499 cs-387 cs-2) (and cs-502 cs-387 cs-2) (and cs-505 cs-387 cs-2) (and cs-508 cs-387 cs-2) (and cs-511 cs-387 cs-2) (and cs-514 cs-387 cs-2) (and cs-517 cs-387 cs-2) (and cs-520 cs-387 cs-2) (and cs-487 cs-392 cs-2) (and cs-490 cs-392 cs-2) (and cs-493 cs-392 cs-2) (and cs-496 cs-392 cs-2) (and cs-499 cs-392 cs-2) (and cs-502 cs-392 cs-2) (and cs-505 cs-392 cs-2) (and cs-508 cs-392 cs-2) (and cs-511 cs-392 cs-2) (and cs-514 cs-392 cs-2) (and cs-517 cs-392 cs-2) (and cs-520 cs-392 cs-2) (and cs-487 cs-372 cs-18) (and cs-490 cs-372 cs-18) (and cs-493 cs-372 cs-18) (and cs-496 cs-372 cs-18) (and cs-499 cs-372 cs-18) (and cs-502 cs-372 cs-18) (and cs-505 cs-372 cs-18) (and cs-508 cs-372 cs-18) (and cs-511 cs-372 cs-18) (and cs-514 cs-372 cs-18) (and cs-517 cs-372 cs-18) (and cs-520 cs-372 cs-18) (and cs-487 cs-377 cs-18) (and cs-490 cs-377 cs-18) (and cs-493 cs-377 cs-18) (and cs-496 cs-377 cs-18) (and cs-499 cs-377 cs-18) (and cs-502 cs-377 cs-18) (and cs-505 cs-377 cs-18) (and cs-508 cs-377 cs-18) (and cs-511 cs-377 cs-18) (and cs-514 cs-377 cs-18) (and cs-517 cs-377 cs-18) (and cs-520 cs-377 cs-18) (and cs-487 cs-382 cs-18) (and cs-490 cs-382 cs-18) (and cs-493 cs-382 cs-18) (and cs-496 cs-382 cs-18) (and cs-499 cs-382 cs-18) (and cs-502 cs-382 cs-18) (and cs-505 cs-382 cs-18) (and cs-508 cs-382 cs-18) (and cs-511 cs-382 cs-18) (and cs-514 cs-382 cs-18) (and cs-517 cs-382 cs-18) (and cs-520 cs-382 cs-18) (and cs-487 cs-387 cs-18) (and cs-490 cs-387 cs-18) (and cs-493 cs-387 cs-18) (and cs-496 cs-387 cs-18) (and cs-499 cs-387 cs-18) (and cs-502 cs-387 cs-18) (and cs-505 cs-387 cs-18) (and cs-508 cs-387 cs-18) (and cs-511 cs-387 cs-18) (and cs-514 cs-387 cs-18) (and cs-517 cs-387 cs-18) (and cs-520 cs-387 cs-18) (and cs-487 cs-392 cs-18) (and cs-490 cs-392 cs-18) (and cs-493 cs-392 cs-18) (and cs-496 cs-392 cs-18) (and cs-499 cs-392 cs-18) (and cs-502 cs-392 cs-18) (and cs-505 cs-392 cs-18) (and cs-508 cs-392 cs-18) (and cs-511 cs-392 cs-18) (and cs-514 cs-392 cs-18) (and cs-517 cs-392 cs-18) (and cs-520 cs-392 cs-18) (and cs-487 cs-372 cs-31) (and cs-490 cs-372 cs-31) (and cs-493 cs-372 cs-31) (and cs-496 cs-372 cs-31) (and cs-499 cs-372 cs-31) (and cs-502 cs-372 cs-31) (and cs-505 cs-372 cs-31) (and cs-508 cs-372 cs-31) (and cs-511 cs-372 cs-31) (and cs-514 cs-372 cs-31) (and cs-517 cs-372 cs-31) (and cs-520 cs-372 cs-31) (and cs-487 cs-377 cs-31) (and cs-490 cs-377 cs-31) (and cs-493 cs-377 cs-31) (and cs-496 cs-377 cs-31) (and cs-499 cs-377 cs-31) (and cs-502 cs-377 cs-31) (and cs-505 cs-377 cs-31) (and cs-508 cs-377 cs-31) (and cs-511 cs-377 cs-31) (and cs-514 cs-377 cs-31) (and cs-517 cs-377 cs-31) (and cs-520 cs-377 cs-31) (and cs-487 cs-382 cs-31) (and cs-490 cs-382 cs-31) (and cs-493 cs-382 cs-31) (and cs-496 cs-382 cs-31) (and cs-499 cs-382 cs-31) (and cs-502 cs-382 cs-31) (and cs-505 cs-382 cs-31) (and cs-508 cs-382 cs-31) (and cs-511 cs-382 cs-31) (and cs-514 cs-382 cs-31) (and cs-517 cs-382 cs-31) (and cs-520 cs-382 cs-31) (and cs-487 cs-387 cs-31) (and cs-490 cs-387 cs-31) (and cs-493 cs-387 cs-31) (and cs-496 cs-387 cs-31) (and cs-499 cs-387 cs-31) (and cs-502 cs-387 cs-31) (and cs-505 cs-387 cs-31) (and cs-508 cs-387 cs-31) (and cs-511 cs-387 cs-31) (and cs-514 cs-387 cs-31) (and cs-517 cs-387 cs-31) (and cs-520 cs-387 cs-31) (and cs-487 cs-392 cs-31) (and cs-490 cs-392 cs-31) (and cs-493 cs-392 cs-31) (and cs-496 cs-392 cs-31) (and cs-499 cs-392 cs-31) (and cs-502 cs-392 cs-31) (and cs-505 cs-392 cs-31) (and cs-508 cs-392 cs-31) (and cs-511 cs-392 cs-31) (and cs-514 cs-392 cs-31) (and cs-517 cs-392 cs-31) (and cs-520 cs-392 cs-31)) 604) ((and cs-493 cs-44 (eqv? server-port 1537)) 603) ((and cs-493 cs-44 (eqv? server-port 1532)) 602) ((and cs-493 cs-44 (eqv? server-port 1531)) 601) ((and cs-493 cs-44 (eqv? server-port 1530)) 600) ((and cs-493 cs-44 (eqv? server-port 1529)) 599) ((and cs-493 cs-44 (eqv? server-port 1527)) 598) ((and cs-493 cs-44 (eqv? server-port 1526)) 597) ((and cs-493 cs-44 (eqv? server-port 1525)) 596) ((and cs-493 cs-44 (eqv? server-port 1524)) 595) ((and cs-493 cs-44 (eqv? server-port 1522)) 594) ((and cs-496 cs-44 cs-2929) 593) ((and cs-499 cs-44 cs-2929) 592) ((and cs-493 cs-44 cs-2929) 591) ((or (and cs-487 cs-372 cs-48) (and cs-490 cs-372 cs-48) (and cs-493 cs-372 cs-48) (and cs-496 cs-372 cs-48) (and cs-499 cs-372 cs-48) (and cs-502 cs-372 cs-48) (and cs-505 cs-372 cs-48) (and cs-508 cs-372 cs-48) (and cs-511 cs-372 cs-48) (and cs-514 cs-372 cs-48) (and cs-517 cs-372 cs-48) (and cs-520 cs-372 cs-48) (and cs-487 cs-377 cs-48) (and cs-490 cs-377 cs-48) (and cs-493 cs-377 cs-48) (and cs-496 cs-377 cs-48) (and cs-499 cs-377 cs-48) (and cs-502 cs-377 cs-48) (and cs-505 cs-377 cs-48) (and cs-508 cs-377 cs-48) (and cs-511 cs-377 cs-48) (and cs-514 cs-377 cs-48) (and cs-517 cs-377 cs-48) (and cs-520 cs-377 cs-48) (and cs-487 cs-382 cs-48) (and cs-490 cs-382 cs-48) (and cs-493 cs-382 cs-48) (and cs-496 cs-382 cs-48) (and cs-499 cs-382 cs-48) (and cs-502 cs-382 cs-48) (and cs-505 cs-382 cs-48) (and cs-508 cs-382 cs-48) (and cs-511 cs-382 cs-48) (and cs-514 cs-382 cs-48) (and cs-517 cs-382 cs-48) (and cs-520 cs-382 cs-48) (and cs-487 cs-387 cs-48) (and cs-490 cs-387 cs-48) (and cs-493 cs-387 cs-48) (and cs-496 cs-387 cs-48) (and cs-499 cs-387 cs-48) (and cs-502 cs-387 cs-48) (and cs-505 cs-387 cs-48) (and cs-508 cs-387 cs-48) (and cs-511 cs-387 cs-48) (and cs-514 cs-387 cs-48) (and cs-517 cs-387 cs-48) (and cs-520 cs-387 cs-48) (and cs-487 cs-392 cs-48) (and cs-490 cs-392 cs-48) (and cs-493 cs-392 cs-48) (and cs-496 cs-392 cs-48) (and cs-499 cs-392 cs-48) (and cs-502 cs-392 cs-48) (and cs-505 cs-392 cs-48) (and cs-508 cs-392 cs-48) (and cs-511 cs-392 cs-48) (and cs-514 cs-392 cs-48) (and cs-517 cs-392 cs-48) (and cs-520 cs-392 cs-48)) 590) ((or (and cs-487 cs-457) (and cs-490 cs-457) (and cs-493 cs-457) (and cs-496 cs-457) (and cs-499 cs-457) (and cs-502 cs-457) (and cs-505 cs-457) (and cs-508 cs-457) (and cs-511 cs-457) (and cs-514 cs-457) (and cs-517 cs-457) (and cs-520 cs-457)) 589) ((or (and cs-520 cs-3080 (>= server-port 1024) (<= server-port 65535)) (and cs-520 cs-44 (>= server-port 1024) (<= server-port 65535))) 588) ((or (and cs-487 cs-462) (and cs-490 cs-462) (and cs-493 cs-462) (and cs-496 cs-462) (and cs-499 cs-462) (and cs-502 cs-462) (and cs-505 cs-462) (and cs-508 cs-462) (and cs-511 cs-462) (and cs-514 cs-462) (and cs-517 cs-462) (and cs-520 cs-462) (and cs-487 cs-467) (and cs-490 cs-467) (and cs-493 cs-467) (and cs-496 cs-467) (and cs-499 cs-467) (and cs-502 cs-467) (and cs-505 cs-467) (and cs-508 cs-467) (and cs-511 cs-467) (and cs-514 cs-467) (and cs-517 cs-467) (and cs-520 cs-467)) 585) ((and cs-493 cs-44 (eqv? server-port 1528)) 584) ((or (and cs-487 cs-44 cs-472) (and cs-490 cs-44 cs-472) (and cs-493 cs-44 cs-472) (and cs-496 cs-44 cs-472) (and cs-499 cs-44 cs-472) (and cs-502 cs-44 cs-472) (and cs-505 cs-44 cs-472) (and cs-508 cs-44 cs-472) (and cs-511 cs-44 cs-472) (and cs-514 cs-44 cs-472) (and cs-517 cs-44 cs-472) (and cs-520 cs-44 cs-472)) 583) ((and cs-493 cs-44 (eqv? server-port 1533)) 581) ((and cs-493 cs-44 (eqv? server-port 1534)) 580) ((or (and cs-487 cs-44 cs-477) (and cs-490 cs-44 cs-477) (and cs-493 cs-44 cs-477) (and cs-496 cs-44 cs-477) (and cs-499 cs-44 cs-477) (and cs-502 cs-44 cs-477) (and cs-505 cs-44 cs-477) (and cs-508 cs-44 cs-477) (and cs-511 cs-44 cs-477) (and cs-514 cs-44 cs-477) (and cs-517 cs-44 cs-477) (and cs-520 cs-44 cs-477)) 579) ((and cs-493 cs-44 (eqv? server-port 1535)) 578) ((and cs-493 cs-44 (eqv? server-port 1536)) 577) ((and cs-493 cs-44 (eqv? server-port 1541)) 576) ((or (and cs-487 cs-44 cs-482) (and cs-490 cs-44 cs-482) (and cs-493 cs-44 cs-482) (and cs-496 cs-44 cs-482) (and cs-499 cs-44 cs-482) (and cs-502 cs-44 cs-482) (and cs-505 cs-44 cs-482) (and cs-508 cs-44 cs-482) (and cs-511 cs-44 cs-482) (and cs-514 cs-44 cs-482) (and cs-517 cs-44 cs-482) (and cs-520 cs-44 cs-482)) 573) ((or (and cs-3225 cs-1 cs-2) (and cs-3228 cs-1 cs-2) (and cs-3231 cs-1 cs-2) (and cs-3234 cs-1 cs-2) (and cs-3225 cs-8 cs-2) (and cs-3228 cs-8 cs-2) (and cs-3231 cs-8 cs-2) (and cs-3234 cs-8 cs-2) (and cs-3225 cs-13 cs-2) (and cs-3228 cs-13 cs-2) (and cs-3231 cs-13 cs-2) (and cs-3234 cs-13 cs-2) (and cs-3225 cs-1 cs-18) (and cs-3228 cs-1 cs-18) (and cs-3231 cs-1 cs-18) (and cs-3234 cs-1 cs-18) (and cs-3225 cs-8 cs-18) (and cs-3228 cs-8 cs-18) (and cs-3231 cs-8 cs-18) (and cs-3234 cs-8 cs-18) (and cs-3225 cs-13 cs-18) (and cs-3228 cs-13 cs-18) (and cs-3231 cs-13 cs-18) (and cs-3234 cs-13 cs-18) (and cs-3225 cs-1 cs-31) (and cs-3228 cs-1 cs-31) (and cs-3231 cs-1 cs-31) (and cs-3234 cs-1 cs-31) (and cs-3225 cs-8 cs-31) (and cs-3228 cs-8 cs-31) (and cs-3231 cs-8 cs-31) (and cs-3234 cs-8 cs-31) (and cs-3225 cs-13 cs-31) (and cs-3228 cs-13 cs-31) (and cs-3231 cs-13 cs-31) (and cs-3234 cs-13 cs-31)) 604) ((or (and cs-3225 cs-1 cs-48) (and cs-3228 cs-1 cs-48) (and cs-3231 cs-1 cs-48) (and cs-3234 cs-1 cs-48) (and cs-3225 cs-8 cs-48) (and cs-3228 cs-8 cs-48) (and cs-3231 cs-8 cs-48) (and cs-3234 cs-8 cs-48) (and cs-3225 cs-13 cs-48) (and cs-3228 cs-13 cs-48) (and cs-3231 cs-13 cs-48) (and cs-3234 cs-13 cs-48)) 590) ((or (and (eqv? client-zone 34) cs-3326) (and cs-1 cs-3326) (and cs-8 cs-3326) (and cs-13 cs-3326) (and (eqv? client-zone 5) cs-3326) (and (eqv? client-zone 1) cs-3326)) 582) ((or (and cs-3225 cs-61 cs-2) (and cs-3228 cs-61 cs-2) (and cs-3231 cs-61 cs-2) (and cs-3234 cs-61 cs-2) (and cs-3225 cs-66 cs-2) (and cs-3228 cs-66 cs-2) (and cs-3231 cs-66 cs-2) (and cs-3234 cs-66 cs-2) (and cs-3225 cs-71 cs-2) (and cs-3228 cs-71 cs-2) (and cs-3231 cs-71 cs-2) (and cs-3234 cs-71 cs-2) (and cs-3225 cs-76 cs-2) (and cs-3228 cs-76 cs-2) (and cs-3231 cs-76 cs-2) (and cs-3234 cs-76 cs-2) (and cs-3225 cs-81 cs-2) (and cs-3228 cs-81 cs-2) (and cs-3231 cs-81 cs-2) (and cs-3234 cs-81 cs-2) (and cs-3225 cs-86 cs-2) (and cs-3228 cs-86 cs-2) (and cs-3231 cs-86 cs-2) (and cs-3234 cs-86 cs-2) (and cs-3225 cs-91 cs-2) (and cs-3228 cs-91 cs-2) (and cs-3231 cs-91 cs-2) (and cs-3234 cs-91 cs-2) (and cs-3225 cs-96 cs-2) (and cs-3228 cs-96 cs-2) (and cs-3231 cs-96 cs-2) (and cs-3234 cs-96 cs-2) (and cs-3225 cs-101 cs-2) (and cs-3228 cs-101 cs-2) (and cs-3231 cs-101 cs-2) (and cs-3234 cs-101 cs-2) (and cs-3225 cs-106 cs-2) (and cs-3228 cs-106 cs-2) (and cs-3231 cs-106 cs-2) (and cs-3234 cs-106 cs-2) (and cs-3225 cs-111 cs-2) (and cs-3228 cs-111 cs-2) (and cs-3231 cs-111 cs-2) (and cs-3234 cs-111 cs-2) (and cs-3225 cs-116 cs-2) (and cs-3228 cs-116 cs-2) (and cs-3231 cs-116 cs-2) (and cs-3234 cs-116 cs-2) (and cs-3225 cs-121 cs-2) (and cs-3228 cs-121 cs-2) (and cs-3231 cs-121 cs-2) (and cs-3234 cs-121 cs-2) (and cs-3225 cs-126 cs-2) (and cs-3228 cs-126 cs-2) (and cs-3231 cs-126 cs-2) (and cs-3234 cs-126 cs-2) (and cs-3225 cs-131 cs-2) (and cs-3228 cs-131 cs-2) (and cs-3231 cs-131 cs-2) (and cs-3234 cs-131 cs-2) (and cs-3225 cs-136 cs-2) (and cs-3228 cs-136 cs-2) (and cs-3231 cs-136 cs-2) (and cs-3234 cs-136 cs-2) (and cs-3225 cs-141 cs-2) (and cs-3228 cs-141 cs-2) (and cs-3231 cs-141 cs-2) (and cs-3234 cs-141 cs-2) (and cs-3225 cs-146 cs-2) (and cs-3228 cs-146 cs-2) (and cs-3231 cs-146 cs-2) (and cs-3234 cs-146 cs-2) (and cs-3225 cs-61 cs-18) (and cs-3228 cs-61 cs-18) (and cs-3231 cs-61 cs-18) (and cs-3234 cs-61 cs-18) (and cs-3225 cs-66 cs-18) (and cs-3228 cs-66 cs-18) (and cs-3231 cs-66 cs-18) (and cs-3234 cs-66 cs-18) (and cs-3225 cs-71 cs-18) (and cs-3228 cs-71 cs-18) (and cs-3231 cs-71 cs-18) (and cs-3234 cs-71 cs-18) (and cs-3225 cs-76 cs-18) (and cs-3228 cs-76 cs-18) (and cs-3231 cs-76 cs-18) (and cs-3234 cs-76 cs-18) (and cs-3225 cs-81 cs-18) (and cs-3228 cs-81 cs-18) (and cs-3231 cs-81 cs-18) (and cs-3234 cs-81 cs-18) (and cs-3225 cs-86 cs-18) (and cs-3228 cs-86 cs-18) (and cs-3231 cs-86 cs-18) (and cs-3234 cs-86 cs-18) (and cs-3225 cs-91 cs-18) (and cs-3228 cs-91 cs-18) (and cs-3231 cs-91 cs-18) (and cs-3234 cs-91 cs-18) (and cs-3225 cs-96 cs-18) (and cs-3228 cs-96 cs-18) (and cs-3231 cs-96 cs-18) (and cs-3234 cs-96 cs-18) (and cs-3225 cs-101 cs-18) (and cs-3228 cs-101 cs-18) (and cs-3231 cs-101 cs-18) (and cs-3234 cs-101 cs-18) (and cs-3225 cs-106 cs-18) (and cs-3228 cs-106 cs-18) (and cs-3231 cs-106 cs-18) (and cs-3234 cs-106 cs-18) (and cs-3225 cs-111 cs-18) (and cs-3228 cs-111 cs-18) (and cs-3231 cs-111 cs-18) (and cs-3234 cs-111 cs-18) (and cs-3225 cs-116 cs-18) (and cs-3228 cs-116 cs-18) (and cs-3231 cs-116 cs-18) (and cs-3234 cs-116 cs-18) (and cs-3225 cs-121 cs-18) (and cs-3228 cs-121 cs-18) (and cs-3231 cs-121 cs-18) (and cs-3234 cs-121 cs-18) (and cs-3225 cs-126 cs-18) (and cs-3228 cs-126 cs-18) (and cs-3231 cs-126 cs-18) (and cs-3234 cs-126 cs-18) (and cs-3225 cs-131 cs-18) (and cs-3228 cs-131 cs-18) (and cs-3231 cs-131 cs-18) (and cs-3234 cs-131 cs-18) (and cs-3225 cs-136 cs-18) (and cs-3228 cs-136 cs-18) (and cs-3231 cs-136 cs-18) (and cs-3234 cs-136 cs-18) (and cs-3225 cs-141 cs-18) (and cs-3228 cs-141 cs-18) (and cs-3231 cs-141 cs-18) (and cs-3234 cs-141 cs-18) (and cs-3225 cs-146 cs-18) (and cs-3228 cs-146 cs-18) (and cs-3231 cs-146 cs-18) (and cs-3234 cs-146 cs-18) (and cs-3225 cs-61 cs-31) (and cs-3228 cs-61 cs-31) (and cs-3231 cs-61 cs-31) (and cs-3234 cs-61 cs-31) (and cs-3225 cs-66 cs-31) (and cs-3228 cs-66 cs-31) (and cs-3231 cs-66 cs-31) (and cs-3234 cs-66 cs-31) (and cs-3225 cs-71 cs-31) (and cs-3228 cs-71 cs-31) (and cs-3231 cs-71 cs-31) (and cs-3234 cs-71 cs-31) (and cs-3225 cs-76 cs-31) (and cs-3228 cs-76 cs-31) (and cs-3231 cs-76 cs-31) (and cs-3234 cs-76 cs-31) (and cs-3225 cs-81 cs-31) (and cs-3228 cs-81 cs-31) (and cs-3231 cs-81 cs-31) (and cs-3234 cs-81 cs-31) (and cs-3225 cs-86 cs-31) (and cs-3228 cs-86 cs-31) (and cs-3231 cs-86 cs-31) (and cs-3234 cs-86 cs-31) (and cs-3225 cs-91 cs-31) (and cs-3228 cs-91 cs-31) (and cs-3231 cs-91 cs-31) (and cs-3234 cs-91 cs-31) (and cs-3225 cs-96 cs-31) (and cs-3228 cs-96 cs-31) (and cs-3231 cs-96 cs-31) (and cs-3234 cs-96 cs-31) (and cs-3225 cs-101 cs-31) (and cs-3228 cs-101 cs-31) (and cs-3231 cs-101 cs-31) (and cs-3234 cs-101 cs-31) (and cs-3225 cs-106 cs-31) (and cs-3228 cs-106 cs-31) (and cs-3231 cs-106 cs-31) (and cs-3234 cs-106 cs-31) (and cs-3225 cs-111 cs-31) (and cs-3228 cs-111 cs-31) (and cs-3231 cs-111 cs-31) (and cs-3234 cs-111 cs-31) (and cs-3225 cs-116 cs-31) (and cs-3228 cs-116 cs-31) (and cs-3231 cs-116 cs-31) (and cs-3234 cs-116 cs-31) (and cs-3225 cs-121 cs-31) (and cs-3228 cs-121 cs-31) (and cs-3231 cs-121 cs-31) (and cs-3234 cs-121 cs-31) (and cs-3225 cs-126 cs-31) (and cs-3228 cs-126 cs-31) (and cs-3231 cs-126 cs-31) (and cs-3234 cs-126 cs-31) (and cs-3225 cs-131 cs-31) (and cs-3228 cs-131 cs-31) (and cs-3231 cs-131 cs-31) (and cs-3234 cs-131 cs-31) (and cs-3225 cs-136 cs-31) (and cs-3228 cs-136 cs-31) (and cs-3231 cs-136 cs-31) (and cs-3234 cs-136 cs-31) (and cs-3225 cs-141 cs-31) (and cs-3228 cs-141 cs-31) (and cs-3231 cs-141 cs-31) (and cs-3234 cs-141 cs-31) (and cs-3225 cs-146 cs-31) (and cs-3228 cs-146 cs-31) (and cs-3231 cs-146 cs-31) (and cs-3234 cs-146 cs-31)) 604) ((or (and cs-3225 cs-61 cs-48) (and cs-3228 cs-61 cs-48) (and cs-3231 cs-61 cs-48) (and cs-3234 cs-61 cs-48) (and cs-3225 cs-66 cs-48) (and cs-3228 cs-66 cs-48) (and cs-3231 cs-66 cs-48) (and cs-3234 cs-66 cs-48) (and cs-3225 cs-71 cs-48) (and cs-3228 cs-71 cs-48) (and cs-3231 cs-71 cs-48) (and cs-3234 cs-71 cs-48) (and cs-3225 cs-76 cs-48) (and cs-3228 cs-76 cs-48) (and cs-3231 cs-76 cs-48) (and cs-3234 cs-76 cs-48) (and cs-3225 cs-81 cs-48) (and cs-3228 cs-81 cs-48) (and cs-3231 cs-81 cs-48) (and cs-3234 cs-81 cs-48) (and cs-3225 cs-86 cs-48) (and cs-3228 cs-86 cs-48) (and cs-3231 cs-86 cs-48) (and cs-3234 cs-86 cs-48) (and cs-3225 cs-91 cs-48) (and cs-3228 cs-91 cs-48) (and cs-3231 cs-91 cs-48) (and cs-3234 cs-91 cs-48) (and cs-3225 cs-96 cs-48) (and cs-3228 cs-96 cs-48) (and cs-3231 cs-96 cs-48) (and cs-3234 cs-96 cs-48) (and cs-3225 cs-101 cs-48) (and cs-3228 cs-101 cs-48) (and cs-3231 cs-101 cs-48) (and cs-3234 cs-101 cs-48) (and cs-3225 cs-106 cs-48) (and cs-3228 cs-106 cs-48) (and cs-3231 cs-106 cs-48) (and cs-3234 cs-106 cs-48) (and cs-3225 cs-111 cs-48) (and cs-3228 cs-111 cs-48) (and cs-3231 cs-111 cs-48) (and cs-3234 cs-111 cs-48) (and cs-3225 cs-116 cs-48) (and cs-3228 cs-116 cs-48) (and cs-3231 cs-116 cs-48) (and cs-3234 cs-116 cs-48) (and cs-3225 cs-121 cs-48) (and cs-3228 cs-121 cs-48) (and cs-3231 cs-121 cs-48) (and cs-3234 cs-121 cs-48) (and cs-3225 cs-126 cs-48) (and cs-3228 cs-126 cs-48) (and cs-3231 cs-126 cs-48) (and cs-3234 cs-126 cs-48) (and cs-3225 cs-131 cs-48) (and cs-3228 cs-131 cs-48) (and cs-3231 cs-131 cs-48) (and cs-3234 cs-131 cs-48) (and cs-3225 cs-136 cs-48) (and cs-3228 cs-136 cs-48) (and cs-3231 cs-136 cs-48) (and cs-3234 cs-136 cs-48) (and cs-3225 cs-141 cs-48) (and cs-3228 cs-141 cs-48) (and cs-3231 cs-141 cs-48) (and cs-3234 cs-141 cs-48) (and cs-3225 cs-146 cs-48) (and cs-3228 cs-146 cs-48) (and cs-3231 cs-146 cs-48) (and cs-3234 cs-146 cs-48)) 590) ((or (and cs-61 cs-3326) (and (eqv? client-zone 37) cs-3326) (and (eqv? client-zone 36) cs-3326) (and (eqv? client-zone 35) cs-3326) (and cs-66 cs-3326) (and cs-71 cs-3326) (and (eqv? client-zone 31) cs-3326) (and cs-76 cs-3326) (and cs-81 cs-3326) (and cs-86 cs-3326) (and cs-91 cs-3326) (and cs-96 cs-3326) (and cs-101 cs-3326) (and cs-106 cs-3326) (and cs-111 cs-3326) (and cs-116 cs-3326) (and cs-121 cs-3326) (and cs-126 cs-3326) (and cs-131 cs-3326) (and cs-136 cs-3326) (and (eqv? client-zone 12) cs-3326) (and (eqv? client-zone 11) cs-3326) (and cs-141 cs-3326) (and cs-146 cs-3326) (and (eqv? client-zone 6) cs-3326) (and (eqv? client-zone 4) cs-3326) (and (eqv? client-zone 3) cs-3326)) 582) ((or (and cs-3225 cs-44 cs-367) (and cs-3228 cs-44 cs-367) (and cs-3231 cs-44 cs-367) (and cs-3234 cs-44 cs-367)) 605) ((or (and cs-3225 cs-372 cs-2) (and cs-3228 cs-372 cs-2) (and cs-3231 cs-372 cs-2) (and cs-3234 cs-372 cs-2) (and cs-3225 cs-377 cs-2) (and cs-3228 cs-377 cs-2) (and cs-3231 cs-377 cs-2) (and cs-3234 cs-377 cs-2) (and cs-3225 cs-382 cs-2) (and cs-3228 cs-382 cs-2) (and cs-3231 cs-382 cs-2) (and cs-3234 cs-382 cs-2) (and cs-3225 cs-387 cs-2) (and cs-3228 cs-387 cs-2) (and cs-3231 cs-387 cs-2) (and cs-3234 cs-387 cs-2) (and cs-3225 cs-392 cs-2) (and cs-3228 cs-392 cs-2) (and cs-3231 cs-392 cs-2) (and cs-3234 cs-392 cs-2) (and cs-3225 cs-372 cs-18) (and cs-3228 cs-372 cs-18) (and cs-3231 cs-372 cs-18) (and cs-3234 cs-372 cs-18) (and cs-3225 cs-377 cs-18) (and cs-3228 cs-377 cs-18) (and cs-3231 cs-377 cs-18) (and cs-3234 cs-377 cs-18) (and cs-3225 cs-382 cs-18) (and cs-3228 cs-382 cs-18) (and cs-3231 cs-382 cs-18) (and cs-3234 cs-382 cs-18) (and cs-3225 cs-387 cs-18) (and cs-3228 cs-387 cs-18) (and cs-3231 cs-387 cs-18) (and cs-3234 cs-387 cs-18) (and cs-3225 cs-392 cs-18) (and cs-3228 cs-392 cs-18) (and cs-3231 cs-392 cs-18) (and cs-3234 cs-392 cs-18) (and cs-3225 cs-372 cs-31) (and cs-3228 cs-372 cs-31) (and cs-3231 cs-372 cs-31) (and cs-3234 cs-372 cs-31) (and cs-3225 cs-377 cs-31) (and cs-3228 cs-377 cs-31) (and cs-3231 cs-377 cs-31) (and cs-3234 cs-377 cs-31) (and cs-3225 cs-382 cs-31) (and cs-3228 cs-382 cs-31) (and cs-3231 cs-382 cs-31) (and cs-3234 cs-382 cs-31) (and cs-3225 cs-387 cs-31) (and cs-3228 cs-387 cs-31) (and cs-3231 cs-387 cs-31) (and cs-3234 cs-387 cs-31) (and cs-3225 cs-392 cs-31) (and cs-3228 cs-392 cs-31) (and cs-3231 cs-392 cs-31) (and cs-3234 cs-392 cs-31)) 604) ((or (and cs-3225 cs-372 cs-48) (and cs-3228 cs-372 cs-48) (and cs-3231 cs-372 cs-48) (and cs-3234 cs-372 cs-48) (and cs-3225 cs-377 cs-48) (and cs-3228 cs-377 cs-48) (and cs-3231 cs-377 cs-48) (and cs-3234 cs-377 cs-48) (and cs-3225 cs-382 cs-48) (and cs-3228 cs-382 cs-48) (and cs-3231 cs-382 cs-48) (and cs-3234 cs-382 cs-48) (and cs-3225 cs-387 cs-48) (and cs-3228 cs-387 cs-48) (and cs-3231 cs-387 cs-48) (and cs-3234 cs-387 cs-48) (and cs-3225 cs-392 cs-48) (and cs-3228 cs-392 cs-48) (and cs-3231 cs-392 cs-48) (and cs-3234 cs-392 cs-48)) 590) ((or (and cs-3225 cs-457) (and cs-3228 cs-457) (and cs-3231 cs-457) (and cs-3234 cs-457)) 589) ((or (and cs-3225 cs-462) (and cs-3228 cs-462) (and cs-3231 cs-462) (and cs-3234 cs-462) (and cs-3225 cs-467) (and cs-3228 cs-467) (and cs-3231 cs-467) (and cs-3234 cs-467)) 585) ((or (and cs-3225 cs-44 cs-472) (and cs-3228 cs-44 cs-472) (and cs-3231 cs-44 cs-472) (and cs-3234 cs-44 cs-472)) 583) ((or (and (eqv? client-zone 44) cs-3326) (and cs-372 cs-3326) (and cs-377 cs-3326) (and cs-382 cs-3326) (and (eqv? client-zone 40) cs-3326) (and (eqv? client-zone 39) cs-3326) (and cs-387 cs-3326) (and cs-392 cs-3326)) 582) ((or (and cs-3225 cs-44 cs-477) (and cs-3228 cs-44 cs-477) (and cs-3231 cs-44 cs-477) (and cs-3234 cs-44 cs-477)) 579) ((or (and cs-3225 cs-44 cs-482) (and cs-3228 cs-44 cs-482) (and cs-3231 cs-44 cs-482) (and cs-3234 cs-44 cs-482)) 573) ((eqv? signature-id 202427) 380) ((eqv? signature-id 206881) 379) ((eqv? signature-id 200021) 378) ((or (and cs-3080 (eqv? server-port 5060)) cs-4223) 292) ((or (and cs-44 (eqv? server-port 5060)) cs-4223) 292) ((or (and cs-3080 (eqv? server-port 2543)) cs-4223) 292) ((or (and cs-44 (eqv? server-port 2543)) cs-4223) 292) ((or (and cs-44 (eqv? server-port 80)) (eqv? signature-id 200080)) 85) ((or (and cs-3080 (eqv? server-port 53)) (eqv? signature-id 200053)) 75) ((or (and cs-44 (eqv? server-port 53)) (eqv? signature-id 200053)) 75) (else #f)))) --SUOF0GtieIMvvwua-- From debbugs-submit-bounces@debbugs.gnu.org Sun May 11 16:41:10 2014 Received: (at 13101) by debbugs.gnu.org; 11 May 2014 20:41:10 +0000 Received: from localhost ([127.0.0.1]:59704 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WjaYX-0006vQ-NE for submit@debbugs.gnu.org; Sun, 11 May 2014 16:41:10 -0400 Received: from fencepost.gnu.org ([208.118.235.10]:51496 ident=Debian-exim) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WjaYU-0006vG-PZ for 13101@debbugs.gnu.org; Sun, 11 May 2014 16:41:07 -0400 Received: from localhost ([127.0.0.1]:58803 helo=lola) by fencepost.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WjaYU-0000tE-9m for 13101@debbugs.gnu.org; Sun, 11 May 2014 16:41:06 -0400 Received: by lola (Postfix, from userid 1000) id CEDCEE0F55; Sun, 11 May 2014 22:41:05 +0200 (CEST) From: David Kastrup To: 13101@debbugs.gnu.org Subject: Probably duplicate Date: Sun, 11 May 2014 20:17:51 +0200 Message-ID: <87mweow568.fsf@fencepost.gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -5.7 (-----) X-Debbugs-Envelope-To: 13101 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.7 (-----) I think this may be related to issue #17147 as a problem of scale for syntax-case or similar mechanisms. -- David Kastrup From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 01 21:00:46 2014 Received: (at 13101) by debbugs.gnu.org; 2 Jun 2014 01:00:46 +0000 Received: from localhost ([127.0.0.1]:40145 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WrGcH-0001x6-Vw for submit@debbugs.gnu.org; Sun, 01 Jun 2014 21:00:46 -0400 Received: from world.peace.net ([96.39.62.75]:59847 ident=hope1) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1WrGcC-0001wp-W4 for 13101@debbugs.gnu.org; Sun, 01 Jun 2014 21:00:41 -0400 Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=yeeloong.lan) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1WrGc4-0003dN-Rq; Sun, 01 Jun 2014 21:00:33 -0400 From: Mark H Weaver To: David Kastrup Subject: Re: bug#13101: Probably duplicate References: <20121206160124.GA15230@securactive.lan> <87mweow568.fsf@fencepost.gnu.org> Date: Sun, 01 Jun 2014 21:00:25 -0400 In-Reply-To: <87mweow568.fsf@fencepost.gnu.org> (David Kastrup's message of "Sun, 11 May 2014 20:17:51 +0200") Message-ID: <877g502kie.fsf@yeeloong.lan> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 13101 Cc: 13101@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) David Kastrup writes: > I think this may be related to issue #17147 > as a problem of > scale for syntax-case or similar mechanisms. No, it's totally unrelated. This bug has to do with limitations arising from fixed-width bit fields used in the stack VM. I don't think there's any reasonable way we can fix this in 2.0, but I believe the situation will be improved in 2.2. Mark From debbugs-submit-bounces@debbugs.gnu.org Wed Oct 01 19:10:41 2014 Received: (at 13101-done) by debbugs.gnu.org; 1 Oct 2014 23:10:41 +0000 Received: from localhost ([127.0.0.1]:57810 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XZT2e-0005c3-KT for submit@debbugs.gnu.org; Wed, 01 Oct 2014 19:10:40 -0400 Received: from world.peace.net ([96.39.62.75]:44921) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XZT2Z-0005bs-Nr for 13101-done@debbugs.gnu.org; Wed, 01 Oct 2014 19:10:36 -0400 Received: from c-24-62-95-23.hsd1.ma.comcast.net ([24.62.95.23] helo=jojen) by world.peace.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1XZT2T-0002EH-NO; Wed, 01 Oct 2014 19:10:29 -0400 From: Mark H Weaver To: rixed@happyleptic.org Subject: Re: bug#13101: Crash compiling big cond expression Date: Wed, 01 Oct 2014 19:10:28 -0400 Message-ID: <87egurbd3v.fsf@netris.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 13101-done Cc: 13101-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) Hi, I believe this scalability problem is fixed on the master branch of Guile, which will become Guile 2.2. The master branch successfully compiles the example you provided in . I don't think we can reasonably fix it in 2.0.x. I'm closing this bug now, but feel free to reopen it if you still see problems along these lines on the master branch. Thanks! Mark From unknown Mon Aug 18 11:10:17 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 30 Oct 2014 11:24:03 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator