From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: rixed@happyleptic.org Newsgroups: gmane.lisp.guile.bugs Subject: bug#13088: stack overflow while compiling Date: Wed, 5 Dec 2012 17:31:30 +0100 Message-ID: <20121205163130.GA25037@securactive.lan> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="AqsLC8rIMeq19msA" X-Trace: ger.gmane.org 1354725455 19728 80.91.229.3 (5 Dec 2012 16:37:35 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 5 Dec 2012 16:37:35 +0000 (UTC) To: 13088@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Dec 05 17:37:46 2012 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1TgHyh-0000iB-2z for guile-bugs@m.gmane.org; Wed, 05 Dec 2012 17:37:43 +0100 Original-Received: from localhost ([::1]:52625 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgHyU-0003WS-Uj for guile-bugs@m.gmane.org; Wed, 05 Dec 2012 11:37:30 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:49271) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgHyB-0003Ui-7o for bug-guile@gnu.org; Wed, 05 Dec 2012 11:37:28 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TgHxu-0002OT-1y for bug-guile@gnu.org; Wed, 05 Dec 2012 11:37:11 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:44934) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgHxt-0002OP-VA for bug-guile@gnu.org; Wed, 05 Dec 2012 11:36:54 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1TgHy1-00033G-RK for bug-guile@gnu.org; Wed, 05 Dec 2012 11:37:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: rixed@happyleptic.org Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-guile@gnu.org Resent-Date: Wed, 05 Dec 2012 16:37:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 13088 X-GNU-PR-Package: guile X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.135472536711657 (code B ref -1); Wed, 05 Dec 2012 16:37:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 5 Dec 2012 16:36:07 +0000 Original-Received: from localhost ([127.0.0.1]:55183 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TgHx3-00031d-Fz for submit@debbugs.gnu.org; Wed, 05 Dec 2012 11:36:07 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:37392) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TgHwt-00031G-4l for submit@debbugs.gnu.org; Wed, 05 Dec 2012 11:35:57 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TgHwL-0001wb-Ng for submit@debbugs.gnu.org; Wed, 05 Dec 2012 11:35:43 -0500 Original-Received: from lists.gnu.org ([208.118.235.17]:33770) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgHwL-0001ta-Gp for submit@debbugs.gnu.org; Wed, 05 Dec 2012 11:35:17 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:47964) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgHtA-0002VV-G5 for bug-guile@gnu.org; Wed, 05 Dec 2012 11:32:12 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TgHst-0000zq-TC for bug-guile@gnu.org; Wed, 05 Dec 2012 11:32:00 -0500 Original-Received: from eneide.happyleptic.org ([213.251.171.101]:47565) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TgHst-0000ys-BX for bug-guile@gnu.org; Wed, 05 Dec 2012 11:31:43 -0500 Original-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 1TgHsl-0007Qz-Ju for bug-guile@gnu.org; Wed, 05 Dec 2012 17:31:36 +0100 Original-Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.80) (envelope-from ) id 1TgHsg-0006YM-Gm for bug-guile@gnu.org; Wed, 05 Dec 2012 17:31:30 +0100 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:6643 Archived-At: --AqsLC8rIMeq19msA Content-Type: text/plain; charset=us-ascii Content-Disposition: inline This program tries to compile a long cond expression and fails quickly with a stack overflow. Of course this procedure was generated and a user is unlikely to write such a long cond, but considering the simplicity of the expression I'm surprised that the stack is so solicited. Note that I tested with guile 2.0.6 and not the fresh new 2.0.7 but I haven't noticed anything in the changelog regarding memory consumption. --AqsLC8rIMeq19msA Content-Type: text/plain; charset=us-ascii Content-Disposition: attachment; filename="stack-overflow.scm" #!/usr/bin/env guile !# (use-modules (system base compile)) (define program (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 ((and cs-0 cs-1 cs-2) 604) ((and cs-5 cs-1 cs-2) 604) ((and cs-0 cs-8 cs-2) 604) ((and cs-5 cs-8 cs-2) 604) ((and cs-0 cs-13 cs-2) 604) ((and cs-5 cs-13 cs-2) 604) ((and cs-0 cs-1 cs-18) 604) ((and cs-5 cs-1 cs-18) 604) ((and cs-0 cs-8 cs-18) 604) ((and cs-5 cs-8 cs-18) 604) ((and cs-0 cs-13 cs-18) 604) ((and cs-5 cs-13 cs-18) 604) ((and cs-0 cs-1 cs-31) 604) ((and cs-5 cs-1 cs-31) 604) ((and cs-0 cs-8 cs-31) 604) ((and cs-5 cs-8 cs-31) 604) ((and cs-0 cs-13 cs-31) 604) ((and cs-5 cs-13 cs-31) 604) ((and cs-0 cs-1 cs-48) 590) ((and cs-5 cs-1 cs-48) 590) ((and cs-0 cs-8 cs-48) 590) ((and cs-5 cs-8 cs-48) 590) ((and cs-0 cs-13 cs-48) 590) ((and cs-5 cs-13 cs-48) 590) ((and cs-0 cs-61 cs-2) 604) ((and cs-5 cs-61 cs-2) 604) ((and cs-0 cs-66 cs-2) 604) ((and cs-5 cs-66 cs-2) 604) ((and cs-0 cs-71 cs-2) 604) ((and cs-5 cs-71 cs-2) 604) ((and cs-0 cs-76 cs-2) 604) ((and cs-5 cs-76 cs-2) 604) ((and cs-0 cs-81 cs-2) 604) ((and cs-5 cs-81 cs-2) 604) ((and cs-0 cs-86 cs-2) 604) ((and cs-5 cs-86 cs-2) 604) ((and cs-0 cs-91 cs-2) 604) ((and cs-5 cs-91 cs-2) 604) ((and cs-0 cs-96 cs-2) 604) ((and cs-5 cs-96 cs-2) 604) ((and cs-0 cs-101 cs-2) 604) ((and cs-5 cs-101 cs-2) 604) ((and cs-0 cs-106 cs-2) 604) ((and cs-5 cs-106 cs-2) 604) ((and cs-0 cs-111 cs-2) 604) ((and cs-5 cs-111 cs-2) 604) ((and cs-0 cs-116 cs-2) 604) ((and cs-5 cs-116 cs-2) 604) ((and cs-0 cs-121 cs-2) 604) ((and cs-5 cs-121 cs-2) 604) ((and cs-0 cs-126 cs-2) 604) ((and cs-5 cs-126 cs-2) 604) ((and cs-0 cs-131 cs-2) 604) ((and cs-5 cs-131 cs-2) 604) ((and cs-0 cs-136 cs-2) 604) ((and cs-5 cs-136 cs-2) 604) ((and cs-0 cs-141 cs-2) 604) ((and cs-5 cs-141 cs-2) 604) ((and cs-0 cs-146 cs-2) 604) ((and cs-5 cs-146 cs-2) 604) ((and cs-0 cs-61 cs-18) 604) ((and cs-5 cs-61 cs-18) 604) ((and cs-0 cs-66 cs-18) 604) ((and cs-5 cs-66 cs-18) 604) ((and cs-0 cs-71 cs-18) 604) ((and cs-5 cs-71 cs-18) 604) ((and cs-0 cs-76 cs-18) 604) ((and cs-5 cs-76 cs-18) 604) ((and cs-0 cs-81 cs-18) 604) ((and cs-5 cs-81 cs-18) 604) ((and cs-0 cs-86 cs-18) 604) ((and cs-5 cs-86 cs-18) 604) ((and cs-0 cs-91 cs-18) 604) ((and cs-5 cs-91 cs-18) 604) ((and cs-0 cs-96 cs-18) 604) ((and cs-5 cs-96 cs-18) 604) ((and cs-0 cs-101 cs-18) 604) ((and cs-5 cs-101 cs-18) 604) ((and cs-0 cs-106 cs-18) 604) ((and cs-5 cs-106 cs-18) 604) ((and cs-0 cs-111 cs-18) 604) ((and cs-5 cs-111 cs-18) 604) ((and cs-0 cs-116 cs-18) 604) ((and cs-5 cs-116 cs-18) 604) ((and cs-0 cs-121 cs-18) 604) ((and cs-5 cs-121 cs-18) 604) ((and cs-0 cs-126 cs-18) 604) ((and cs-5 cs-126 cs-18) 604) ((and cs-0 cs-131 cs-18) 604) ((and cs-5 cs-131 cs-18) 604) ((and cs-0 cs-136 cs-18) 604) ((and cs-5 cs-136 cs-18) 604) ((and cs-0 cs-141 cs-18) 604) ((and cs-5 cs-141 cs-18) 604) ((and cs-0 cs-146 cs-18) 604) ((and cs-5 cs-146 cs-18) 604) ((and cs-0 cs-61 cs-31) 604) ((and cs-5 cs-61 cs-31) 604) ((and cs-0 cs-66 cs-31) 604) ((and cs-5 cs-66 cs-31) 604) ((and cs-0 cs-71 cs-31) 604) ((and cs-5 cs-71 cs-31) 604) ((and cs-0 cs-76 cs-31) 604) ((and cs-5 cs-76 cs-31) 604) ((and cs-0 cs-81 cs-31) 604) ((and cs-5 cs-81 cs-31) 604) ((and cs-0 cs-86 cs-31) 604) ((and cs-5 cs-86 cs-31) 604) ((and cs-0 cs-91 cs-31) 604) ((and cs-5 cs-91 cs-31) 604) ((and cs-0 cs-96 cs-31) 604) ((and cs-5 cs-96 cs-31) 604) ((and cs-0 cs-101 cs-31) 604) ((and cs-5 cs-101 cs-31) 604) ((and cs-0 cs-106 cs-31) 604) ((and cs-5 cs-106 cs-31) 604) ((and cs-0 cs-111 cs-31) 604) ((and cs-5 cs-111 cs-31) 604) ((and cs-0 cs-116 cs-31) 604) ((and cs-5 cs-116 cs-31) 604) ((and cs-0 cs-121 cs-31) 604) ((and cs-5 cs-121 cs-31) 604) ((and cs-0 cs-126 cs-31) 604) ((and cs-5 cs-126 cs-31) 604) ((and cs-0 cs-131 cs-31) 604) ((and cs-5 cs-131 cs-31) 604) ((and cs-0 cs-136 cs-31) 604) ((and cs-5 cs-136 cs-31) 604) ((and cs-0 cs-141 cs-31) 604) ((and cs-5 cs-141 cs-31) 604) ((and cs-0 cs-146 cs-31) 604) ((and cs-5 cs-146 cs-31) 604) ((and cs-0 cs-61 cs-48) 590) ((and cs-5 cs-61 cs-48) 590) ((and cs-0 cs-66 cs-48) 590) ((and cs-5 cs-66 cs-48) 590) ((and cs-0 cs-71 cs-48) 590) ((and cs-5 cs-71 cs-48) 590) ((and cs-0 cs-76 cs-48) 590) ((and cs-5 cs-76 cs-48) 590) ((and cs-0 cs-81 cs-48) 590) ((and cs-5 cs-81 cs-48) 590) ((and cs-0 cs-86 cs-48) 590) ((and cs-5 cs-86 cs-48) 590) ((and cs-0 cs-91 cs-48) 590) ((and cs-5 cs-91 cs-48) 590) ((and cs-0 cs-96 cs-48) 590) ((and cs-5 cs-96 cs-48) 590) ((and cs-0 cs-101 cs-48) 590) ((and cs-5 cs-101 cs-48) 590) ((and cs-0 cs-106 cs-48) 590) ((and cs-5 cs-106 cs-48) 590) ((and cs-0 cs-111 cs-48) 590) ((and cs-5 cs-111 cs-48) 590) ((and cs-0 cs-116 cs-48) 590) ((and cs-5 cs-116 cs-48) 590) ((and cs-0 cs-121 cs-48) 590) ((and cs-5 cs-121 cs-48) 590) ((and cs-0 cs-126 cs-48) 590) ((and cs-5 cs-126 cs-48) 590) ((and cs-0 cs-131 cs-48) 590) ((and cs-5 cs-131 cs-48) 590) ((and cs-0 cs-136 cs-48) 590) ((and cs-5 cs-136 cs-48) 590) ((and cs-0 cs-141 cs-48) 590) ((and cs-5 cs-141 cs-48) 590) ((and cs-0 cs-146 cs-48) 590) ((and cs-5 cs-146 cs-48) 590) ((and cs-0 cs-44 cs-367) 605) ((and cs-5 cs-44 cs-367) 605) ((and cs-0 cs-372 cs-2) 604) ((and cs-5 cs-372 cs-2) 604) ((and cs-0 cs-377 cs-2) 604) ((and cs-5 cs-377 cs-2) 604) ((and cs-0 cs-382 cs-2) 604) ((and cs-5 cs-382 cs-2) 604) ((and cs-0 cs-387 cs-2) 604) ((and cs-5 cs-387 cs-2) 604) ((and cs-0 cs-392 cs-2) 604) ((and cs-5 cs-392 cs-2) 604) ((and cs-0 cs-372 cs-18) 604) ((and cs-5 cs-372 cs-18) 604) ((and cs-0 cs-377 cs-18) 604) ((and cs-5 cs-377 cs-18) 604) ((and cs-0 cs-382 cs-18) 604) ((and cs-5 cs-382 cs-18) 604) ((and cs-0 cs-387 cs-18) 604) ((and cs-5 cs-387 cs-18) 604) ((and cs-0 cs-392 cs-18) 604) ((and cs-5 cs-392 cs-18) 604) ((and cs-0 cs-372 cs-31) 604) ((and cs-5 cs-372 cs-31) 604) ((and cs-0 cs-377 cs-31) 604) ((and cs-5 cs-377 cs-31) 604) ((and cs-0 cs-382 cs-31) 604) ((and cs-5 cs-382 cs-31) 604) ((and cs-0 cs-387 cs-31) 604) ((and cs-5 cs-387 cs-31) 604) ((and cs-0 cs-392 cs-31) 604) ((and cs-5 cs-392 cs-31) 604) ((and cs-0 cs-372 cs-48) 590) ((and cs-5 cs-372 cs-48) 590) ((and cs-0 cs-377 cs-48) 590) ((and cs-5 cs-377 cs-48) 590) ((and cs-0 cs-382 cs-48) 590) ((and cs-5 cs-382 cs-48) 590) ((and cs-0 cs-387 cs-48) 590) ((and cs-5 cs-387 cs-48) 590) ((and cs-0 cs-392 cs-48) 590) ((and cs-5 cs-392 cs-48) 590) ((and cs-0 cs-457) 589) ((and cs-5 cs-457) 589) ((and cs-0 cs-462) 585) ((and cs-5 cs-462) 585) ((and cs-0 cs-467) 585) ((and cs-5 cs-467) 585) ((and cs-0 cs-44 cs-472) 583) ((and cs-5 cs-44 cs-472) 583) ((and cs-0 cs-44 cs-477) 579) ((and cs-5 cs-44 cs-477) 579) ((and cs-0 cs-44 cs-482) 573) ((and cs-5 cs-44 cs-482) 573) ((and cs-487 cs-1 cs-2) 604) ((and cs-490 cs-1 cs-2) 604) ((and cs-493 cs-1 cs-2) 604) ((and cs-496 cs-1 cs-2) 604) ((and cs-499 cs-1 cs-2) 604) ((and cs-502 cs-1 cs-2) 604) ((and cs-505 cs-1 cs-2) 604) ((and cs-508 cs-1 cs-2) 604) ((and cs-511 cs-1 cs-2) 604) ((and cs-514 cs-1 cs-2) 604) ((and cs-517 cs-1 cs-2) 604) ((and cs-520 cs-1 cs-2) 604) ((and cs-487 cs-8 cs-2) 604) ((and cs-490 cs-8 cs-2) 604) ((and cs-493 cs-8 cs-2) 604) ((and cs-496 cs-8 cs-2) 604) ((and cs-499 cs-8 cs-2) 604) ((and cs-502 cs-8 cs-2) 604) ((and cs-505 cs-8 cs-2) 604) ((and cs-508 cs-8 cs-2) 604) ((and cs-511 cs-8 cs-2) 604) ((and cs-514 cs-8 cs-2) 604) ((and cs-517 cs-8 cs-2) 604) ((and cs-520 cs-8 cs-2) 604) ((and cs-487 cs-13 cs-2) 604) ((and cs-490 cs-13 cs-2) 604) ((and cs-493 cs-13 cs-2) 604) ((and cs-496 cs-13 cs-2) 604) ((and cs-499 cs-13 cs-2) 604) ((and cs-502 cs-13 cs-2) 604) ((and cs-505 cs-13 cs-2) 604) ((and cs-508 cs-13 cs-2) 604) ((and cs-511 cs-13 cs-2) 604) ((and cs-514 cs-13 cs-2) 604) ((and cs-517 cs-13 cs-2) 604) ((and cs-520 cs-13 cs-2) 604) ((and cs-487 cs-1 cs-18) 604) ((and cs-490 cs-1 cs-18) 604) ((and cs-493 cs-1 cs-18) 604) ((and cs-496 cs-1 cs-18) 604) ((and cs-499 cs-1 cs-18) 604) ((and cs-502 cs-1 cs-18) 604) ((and cs-505 cs-1 cs-18) 604) ((and cs-508 cs-1 cs-18) 604) ((and cs-511 cs-1 cs-18) 604) ((and cs-514 cs-1 cs-18) 604) ((and cs-517 cs-1 cs-18) 604) ((and cs-520 cs-1 cs-18) 604) ((and cs-487 cs-8 cs-18) 604) ((and cs-490 cs-8 cs-18) 604) ((and cs-493 cs-8 cs-18) 604) ((and cs-496 cs-8 cs-18) 604) ((and cs-499 cs-8 cs-18) 604) ((and cs-502 cs-8 cs-18) 604) ((and cs-505 cs-8 cs-18) 604) ((and cs-508 cs-8 cs-18) 604) ((and cs-511 cs-8 cs-18) 604) ((and cs-514 cs-8 cs-18) 604) ((and cs-517 cs-8 cs-18) 604) ((and cs-520 cs-8 cs-18) 604) ((and cs-487 cs-13 cs-18) 604) ((and cs-490 cs-13 cs-18) 604) ((and cs-493 cs-13 cs-18) 604) ((and cs-496 cs-13 cs-18) 604) ((and cs-499 cs-13 cs-18) 604) ((and cs-502 cs-13 cs-18) 604) ((and cs-505 cs-13 cs-18) 604) ((and cs-508 cs-13 cs-18) 604) ((and cs-511 cs-13 cs-18) 604) ((and cs-514 cs-13 cs-18) 604) ((and cs-517 cs-13 cs-18) 604) ((and cs-520 cs-13 cs-18) 604) ((and cs-487 cs-1 cs-31) 604) ((and cs-490 cs-1 cs-31) 604) ((and cs-493 cs-1 cs-31) 604) ((and cs-496 cs-1 cs-31) 604) ((and cs-499 cs-1 cs-31) 604) ((and cs-502 cs-1 cs-31) 604) ((and cs-505 cs-1 cs-31) 604) ((and cs-508 cs-1 cs-31) 604) ((and cs-511 cs-1 cs-31) 604) ((and cs-514 cs-1 cs-31) 604) ((and cs-517 cs-1 cs-31) 604) ((and cs-520 cs-1 cs-31) 604) ((and cs-487 cs-8 cs-31) 604) ((and cs-490 cs-8 cs-31) 604) ((and cs-493 cs-8 cs-31) 604) ((and cs-496 cs-8 cs-31) 604) ((and cs-499 cs-8 cs-31) 604) ((and cs-502 cs-8 cs-31) 604) ((and cs-505 cs-8 cs-31) 604) ((and cs-508 cs-8 cs-31) 604) ((and cs-511 cs-8 cs-31) 604) ((and cs-514 cs-8 cs-31) 604) ((and cs-517 cs-8 cs-31) 604) ((and cs-520 cs-8 cs-31) 604) ((and cs-487 cs-13 cs-31) 604) ((and cs-490 cs-13 cs-31) 604) ((and cs-493 cs-13 cs-31) 604) ((and cs-496 cs-13 cs-31) 604) ((and cs-499 cs-13 cs-31) 604) ((and cs-502 cs-13 cs-31) 604) ((and cs-505 cs-13 cs-31) 604) ((and cs-508 cs-13 cs-31) 604) ((and cs-511 cs-13 cs-31) 604) ((and cs-514 cs-13 cs-31) 604) ((and cs-517 cs-13 cs-31) 604) ((and cs-520 cs-13 cs-31) 604) ((and cs-487 cs-1 cs-48) 590) ((and cs-490 cs-1 cs-48) 590) ((and cs-493 cs-1 cs-48) 590) ((and cs-496 cs-1 cs-48) 590) ((and cs-499 cs-1 cs-48) 590) ((and cs-502 cs-1 cs-48) 590) ((and cs-505 cs-1 cs-48) 590) ((and cs-508 cs-1 cs-48) 590) ((and cs-511 cs-1 cs-48) 590) ((and cs-514 cs-1 cs-48) 590) ((and cs-517 cs-1 cs-48) 590) ((and cs-520 cs-1 cs-48) 590) ((and cs-487 cs-8 cs-48) 590) ((and cs-490 cs-8 cs-48) 590) ((and cs-493 cs-8 cs-48) 590) ((and cs-496 cs-8 cs-48) 590) ((and cs-499 cs-8 cs-48) 590) ((and cs-502 cs-8 cs-48) 590) ((and cs-505 cs-8 cs-48) 590) ((and cs-508 cs-8 cs-48) 590) ((and cs-511 cs-8 cs-48) 590) ((and cs-514 cs-8 cs-48) 590) ((and cs-517 cs-8 cs-48) 590) ((and cs-520 cs-8 cs-48) 590) ((and cs-487 cs-13 cs-48) 590) ((and cs-490 cs-13 cs-48) 590) ((and cs-493 cs-13 cs-48) 590) ((and cs-496 cs-13 cs-48) 590) ((and cs-499 cs-13 cs-48) 590) ((and cs-502 cs-13 cs-48) 590) ((and cs-505 cs-13 cs-48) 590) ((and cs-508 cs-13 cs-48) 590) ((and cs-511 cs-13 cs-48) 590) ((and cs-514 cs-13 cs-48) 590) ((and cs-517 cs-13 cs-48) 590) ((and cs-520 cs-13 cs-48) 590) ((and cs-487 cs-61 cs-2) 604) ((and cs-490 cs-61 cs-2) 604) ((and cs-493 cs-61 cs-2) 604) ((and cs-496 cs-61 cs-2) 604) ((and cs-499 cs-61 cs-2) 604) ((and cs-502 cs-61 cs-2) 604) ((and cs-505 cs-61 cs-2) 604) ((and cs-508 cs-61 cs-2) 604) ((and cs-511 cs-61 cs-2) 604) ((and cs-514 cs-61 cs-2) 604) ((and cs-517 cs-61 cs-2) 604) ((and cs-520 cs-61 cs-2) 604) ((and cs-487 cs-66 cs-2) 604) ((and cs-490 cs-66 cs-2) 604) ((and cs-493 cs-66 cs-2) 604) ((and cs-496 cs-66 cs-2) 604) ((and cs-499 cs-66 cs-2) 604) ((and cs-502 cs-66 cs-2) 604) ((and cs-505 cs-66 cs-2) 604) ((and cs-508 cs-66 cs-2) 604) ((and cs-511 cs-66 cs-2) 604) ((and cs-514 cs-66 cs-2) 604) ((and cs-517 cs-66 cs-2) 604) ((and cs-520 cs-66 cs-2) 604) ((and cs-487 cs-71 cs-2) 604) ((and cs-490 cs-71 cs-2) 604) ((and cs-493 cs-71 cs-2) 604) ((and cs-496 cs-71 cs-2) 604) ((and cs-499 cs-71 cs-2) 604) ((and cs-502 cs-71 cs-2) 604) ((and cs-505 cs-71 cs-2) 604) ((and cs-508 cs-71 cs-2) 604) ((and cs-511 cs-71 cs-2) 604) ((and cs-514 cs-71 cs-2) 604) ((and cs-517 cs-71 cs-2) 604) ((and cs-520 cs-71 cs-2) 604) ((and cs-487 cs-76 cs-2) 604) ((and cs-490 cs-76 cs-2) 604) ((and cs-493 cs-76 cs-2) 604) ((and cs-496 cs-76 cs-2) 604) ((and cs-499 cs-76 cs-2) 604) ((and cs-502 cs-76 cs-2) 604) ((and cs-505 cs-76 cs-2) 604) ((and cs-508 cs-76 cs-2) 604) ((and cs-511 cs-76 cs-2) 604) ((and cs-514 cs-76 cs-2) 604) ((and cs-517 cs-76 cs-2) 604) ((and cs-520 cs-76 cs-2) 604) ((and cs-487 cs-81 cs-2) 604) ((and cs-490 cs-81 cs-2) 604) ((and cs-493 cs-81 cs-2) 604) ((and cs-496 cs-81 cs-2) 604) ((and cs-499 cs-81 cs-2) 604) ((and cs-502 cs-81 cs-2) 604) ((and cs-505 cs-81 cs-2) 604) ((and cs-508 cs-81 cs-2) 604) ((and cs-511 cs-81 cs-2) 604) ((and cs-514 cs-81 cs-2) 604) ((and cs-517 cs-81 cs-2) 604) ((and cs-520 cs-81 cs-2) 604) ((and cs-487 cs-86 cs-2) 604) ((and cs-490 cs-86 cs-2) 604) ((and cs-493 cs-86 cs-2) 604) ((and cs-496 cs-86 cs-2) 604) ((and cs-499 cs-86 cs-2) 604) ((and cs-502 cs-86 cs-2) 604) ((and cs-505 cs-86 cs-2) 604) ((and cs-508 cs-86 cs-2) 604) ((and cs-511 cs-86 cs-2) 604) ((and cs-514 cs-86 cs-2) 604) ((and cs-517 cs-86 cs-2) 604) ((and cs-520 cs-86 cs-2) 604) ((and cs-487 cs-91 cs-2) 604) ((and cs-490 cs-91 cs-2) 604) ((and cs-493 cs-91 cs-2) 604) ((and cs-496 cs-91 cs-2) 604) ((and cs-499 cs-91 cs-2) 604) ((and cs-502 cs-91 cs-2) 604) ((and cs-505 cs-91 cs-2) 604) ((and cs-508 cs-91 cs-2) 604) ((and cs-511 cs-91 cs-2) 604) ((and cs-514 cs-91 cs-2) 604) ((and cs-517 cs-91 cs-2) 604) ((and cs-520 cs-91 cs-2) 604) ((and cs-487 cs-96 cs-2) 604) ((and cs-490 cs-96 cs-2) 604) ((and cs-493 cs-96 cs-2) 604) ((and cs-496 cs-96 cs-2) 604) ((and cs-499 cs-96 cs-2) 604) ((and cs-502 cs-96 cs-2) 604) ((and cs-505 cs-96 cs-2) 604) ((and cs-508 cs-96 cs-2) 604) ((and cs-511 cs-96 cs-2) 604) ((and cs-514 cs-96 cs-2) 604) ((and cs-517 cs-96 cs-2) 604) ((and cs-520 cs-96 cs-2) 604) ((and cs-487 cs-101 cs-2) 604) ((and cs-490 cs-101 cs-2) 604) ((and cs-493 cs-101 cs-2) 604) ((and cs-496 cs-101 cs-2) 604) ((and cs-499 cs-101 cs-2) 604) ((and cs-502 cs-101 cs-2) 604) ((and cs-505 cs-101 cs-2) 604) ((and cs-508 cs-101 cs-2) 604) ((and cs-511 cs-101 cs-2) 604) ((and cs-514 cs-101 cs-2) 604) ((and cs-517 cs-101 cs-2) 604) ((and cs-520 cs-101 cs-2) 604) ((and cs-487 cs-106 cs-2) 604) ((and cs-490 cs-106 cs-2) 604) ((and cs-493 cs-106 cs-2) 604) ((and cs-496 cs-106 cs-2) 604) ((and cs-499 cs-106 cs-2) 604) ((and cs-502 cs-106 cs-2) 604) ((and cs-505 cs-106 cs-2) 604) ((and cs-508 cs-106 cs-2) 604) ((and cs-511 cs-106 cs-2) 604) ((and cs-514 cs-106 cs-2) 604) ((and cs-517 cs-106 cs-2) 604) ((and cs-520 cs-106 cs-2) 604) ((and cs-487 cs-111 cs-2) 604) ((and cs-490 cs-111 cs-2) 604) ((and cs-493 cs-111 cs-2) 604) ((and cs-496 cs-111 cs-2) 604) ((and cs-499 cs-111 cs-2) 604) ((and cs-502 cs-111 cs-2) 604) ((and cs-505 cs-111 cs-2) 604) ((and cs-508 cs-111 cs-2) 604) ((and cs-511 cs-111 cs-2) 604) ((and cs-514 cs-111 cs-2) 604) ((and cs-517 cs-111 cs-2) 604) ((and cs-520 cs-111 cs-2) 604) ((and cs-487 cs-116 cs-2) 604) ((and cs-490 cs-116 cs-2) 604) ((and cs-493 cs-116 cs-2) 604) ((and cs-496 cs-116 cs-2) 604) ((and cs-499 cs-116 cs-2) 604) ((and cs-502 cs-116 cs-2) 604) ((and cs-505 cs-116 cs-2) 604) ((and cs-508 cs-116 cs-2) 604) ((and cs-511 cs-116 cs-2) 604) ((and cs-514 cs-116 cs-2) 604) ((and cs-517 cs-116 cs-2) 604) ((and cs-520 cs-116 cs-2) 604) ((and cs-487 cs-121 cs-2) 604) ((and cs-490 cs-121 cs-2) 604) ((and cs-493 cs-121 cs-2) 604) ((and cs-496 cs-121 cs-2) 604) ((and cs-499 cs-121 cs-2) 604) ((and cs-502 cs-121 cs-2) 604) ((and cs-505 cs-121 cs-2) 604) ((and cs-508 cs-121 cs-2) 604) ((and cs-511 cs-121 cs-2) 604) ((and cs-514 cs-121 cs-2) 604) ((and cs-517 cs-121 cs-2) 604) ((and cs-520 cs-121 cs-2) 604) ((and cs-487 cs-126 cs-2) 604) ((and cs-490 cs-126 cs-2) 604) ((and cs-493 cs-126 cs-2) 604) ((and cs-496 cs-126 cs-2) 604) ((and cs-499 cs-126 cs-2) 604) ((and cs-502 cs-126 cs-2) 604) ((and cs-505 cs-126 cs-2) 604) ((and cs-508 cs-126 cs-2) 604) ((and cs-511 cs-126 cs-2) 604) ((and cs-514 cs-126 cs-2) 604) ((and cs-517 cs-126 cs-2) 604) ((and cs-520 cs-126 cs-2) 604) ((and cs-487 cs-131 cs-2) 604) ((and cs-490 cs-131 cs-2) 604) ((and cs-493 cs-131 cs-2) 604) ((and cs-496 cs-131 cs-2) 604) ((and cs-499 cs-131 cs-2) 604) ((and cs-502 cs-131 cs-2) 604) ((and cs-505 cs-131 cs-2) 604) ((and cs-508 cs-131 cs-2) 604) ((and cs-511 cs-131 cs-2) 604) ((and cs-514 cs-131 cs-2) 604) ((and cs-517 cs-131 cs-2) 604) ((and cs-520 cs-131 cs-2) 604) ((and cs-487 cs-136 cs-2) 604) ((and cs-490 cs-136 cs-2) 604) ((and cs-493 cs-136 cs-2) 604) ((and cs-496 cs-136 cs-2) 604) ((and cs-499 cs-136 cs-2) 604) ((and cs-502 cs-136 cs-2) 604) ((and cs-505 cs-136 cs-2) 604) ((and cs-508 cs-136 cs-2) 604) ((and cs-511 cs-136 cs-2) 604) ((and cs-514 cs-136 cs-2) 604) ((and cs-517 cs-136 cs-2) 604) ((and cs-520 cs-136 cs-2) 604) ((and cs-487 cs-141 cs-2) 604) ((and cs-490 cs-141 cs-2) 604) ((and cs-493 cs-141 cs-2) 604) ((and cs-496 cs-141 cs-2) 604) ((and cs-499 cs-141 cs-2) 604) ((and cs-502 cs-141 cs-2) 604) ((and cs-505 cs-141 cs-2) 604) ((and cs-508 cs-141 cs-2) 604) ((and cs-511 cs-141 cs-2) 604) ((and cs-514 cs-141 cs-2) 604) ((and cs-517 cs-141 cs-2) 604) ((and cs-520 cs-141 cs-2) 604) ((and cs-487 cs-146 cs-2) 604) ((and cs-490 cs-146 cs-2) 604) ((and cs-493 cs-146 cs-2) 604) ((and cs-496 cs-146 cs-2) 604) ((and cs-499 cs-146 cs-2) 604) ((and cs-502 cs-146 cs-2) 604) ((and cs-505 cs-146 cs-2) 604) ((and cs-508 cs-146 cs-2) 604) ((and cs-511 cs-146 cs-2) 604) ((and cs-514 cs-146 cs-2) 604) ((and cs-517 cs-146 cs-2) 604) ((and cs-520 cs-146 cs-2) 604) ((and cs-487 cs-61 cs-18) 604) ((and cs-490 cs-61 cs-18) 604) ((and cs-493 cs-61 cs-18) 604) ((and cs-496 cs-61 cs-18) 604) ((and cs-499 cs-61 cs-18) 604) ((and cs-502 cs-61 cs-18) 604) ((and cs-505 cs-61 cs-18) 604) ((and cs-508 cs-61 cs-18) 604) ((and cs-511 cs-61 cs-18) 604) ((and cs-514 cs-61 cs-18) 604) ((and cs-517 cs-61 cs-18) 604) ((and cs-520 cs-61 cs-18) 604) ((and cs-487 cs-66 cs-18) 604) ((and cs-490 cs-66 cs-18) 604) ((and cs-493 cs-66 cs-18) 604) ((and cs-496 cs-66 cs-18) 604) ((and cs-499 cs-66 cs-18) 604) ((and cs-502 cs-66 cs-18) 604) ((and cs-505 cs-66 cs-18) 604) ((and cs-508 cs-66 cs-18) 604) ((and cs-511 cs-66 cs-18) 604) ((and cs-514 cs-66 cs-18) 604) ((and cs-517 cs-66 cs-18) 604) ((and cs-520 cs-66 cs-18) 604) ((and cs-487 cs-71 cs-18) 604) ((and cs-490 cs-71 cs-18) 604) ((and cs-493 cs-71 cs-18) 604) ((and cs-496 cs-71 cs-18) 604) ((and cs-499 cs-71 cs-18) 604) ((and cs-502 cs-71 cs-18) 604) ((and cs-505 cs-71 cs-18) 604) ((and cs-508 cs-71 cs-18) 604) ((and cs-511 cs-71 cs-18) 604) ((and cs-514 cs-71 cs-18) 604) ((and cs-517 cs-71 cs-18) 604) ((and cs-520 cs-71 cs-18) 604) ((and cs-487 cs-76 cs-18) 604) ((and cs-490 cs-76 cs-18) 604) ((and cs-493 cs-76 cs-18) 604) ((and cs-496 cs-76 cs-18) 604) ((and cs-499 cs-76 cs-18) 604) ((and cs-502 cs-76 cs-18) 604) ((and cs-505 cs-76 cs-18) 604) ((and cs-508 cs-76 cs-18) 604) ((and cs-511 cs-76 cs-18) 604) ((and cs-514 cs-76 cs-18) 604) ((and cs-517 cs-76 cs-18) 604) ((and cs-520 cs-76 cs-18) 604) ((and cs-487 cs-81 cs-18) 604) ((and cs-490 cs-81 cs-18) 604) ((and cs-493 cs-81 cs-18) 604) ((and cs-496 cs-81 cs-18) 604) ((and cs-499 cs-81 cs-18) 604) ((and cs-502 cs-81 cs-18) 604) ((and cs-505 cs-81 cs-18) 604) ((and cs-508 cs-81 cs-18) 604) ((and cs-511 cs-81 cs-18) 604) ((and cs-514 cs-81 cs-18) 604) ((and cs-517 cs-81 cs-18) 604) ((and cs-520 cs-81 cs-18) 604) ((and cs-487 cs-86 cs-18) 604) ((and cs-490 cs-86 cs-18) 604) ((and cs-493 cs-86 cs-18) 604) ((and cs-496 cs-86 cs-18) 604) ((and cs-499 cs-86 cs-18) 604) ((and cs-502 cs-86 cs-18) 604) ((and cs-505 cs-86 cs-18) 604) ((and cs-508 cs-86 cs-18) 604) ((and cs-511 cs-86 cs-18) 604) ((and cs-514 cs-86 cs-18) 604) ((and cs-517 cs-86 cs-18) 604) ((and cs-520 cs-86 cs-18) 604) ((and cs-487 cs-91 cs-18) 604) ((and cs-490 cs-91 cs-18) 604) ((and cs-493 cs-91 cs-18) 604) ((and cs-496 cs-91 cs-18) 604) ((and cs-499 cs-91 cs-18) 604) ((and cs-502 cs-91 cs-18) 604) ((and cs-505 cs-91 cs-18) 604) ((and cs-508 cs-91 cs-18) 604) ((and cs-511 cs-91 cs-18) 604) ((and cs-514 cs-91 cs-18) 604) ((and cs-517 cs-91 cs-18) 604) ((and cs-520 cs-91 cs-18) 604) ((and cs-487 cs-96 cs-18) 604) ((and cs-490 cs-96 cs-18) 604) ((and cs-493 cs-96 cs-18) 604) ((and cs-496 cs-96 cs-18) 604) ((and cs-499 cs-96 cs-18) 604) ((and cs-502 cs-96 cs-18) 604) ((and cs-505 cs-96 cs-18) 604) ((and cs-508 cs-96 cs-18) 604) ((and cs-511 cs-96 cs-18) 604) ((and cs-514 cs-96 cs-18) 604) ((and cs-517 cs-96 cs-18) 604) ((and cs-520 cs-96 cs-18) 604) ((and cs-487 cs-101 cs-18) 604) ((and cs-490 cs-101 cs-18) 604) ((and cs-493 cs-101 cs-18) 604) ((and cs-496 cs-101 cs-18) 604) ((and cs-499 cs-101 cs-18) 604) ((and cs-502 cs-101 cs-18) 604) ((and cs-505 cs-101 cs-18) 604) ((and cs-508 cs-101 cs-18) 604) ((and cs-511 cs-101 cs-18) 604) ((and cs-514 cs-101 cs-18) 604) ((and cs-517 cs-101 cs-18) 604) ((and cs-520 cs-101 cs-18) 604) ((and cs-487 cs-106 cs-18) 604) ((and cs-490 cs-106 cs-18) 604) ((and cs-493 cs-106 cs-18) 604) ((and cs-496 cs-106 cs-18) 604) ((and cs-499 cs-106 cs-18) 604) ((and cs-502 cs-106 cs-18) 604) ((and cs-505 cs-106 cs-18) 604) ((and cs-508 cs-106 cs-18) 604) ((and cs-511 cs-106 cs-18) 604) ((and cs-514 cs-106 cs-18) 604) ((and cs-517 cs-106 cs-18) 604) ((and cs-520 cs-106 cs-18) 604) ((and cs-487 cs-111 cs-18) 604) ((and cs-490 cs-111 cs-18) 604) ((and cs-493 cs-111 cs-18) 604) ((and cs-496 cs-111 cs-18) 604) ((and cs-499 cs-111 cs-18) 604) ((and cs-502 cs-111 cs-18) 604) ((and cs-505 cs-111 cs-18) 604) ((and cs-508 cs-111 cs-18) 604) ((and cs-511 cs-111 cs-18) 604) ((and cs-514 cs-111 cs-18) 604) ((and cs-517 cs-111 cs-18) 604) ((and cs-520 cs-111 cs-18) 604) ((and cs-487 cs-116 cs-18) 604) ((and cs-490 cs-116 cs-18) 604) ((and cs-493 cs-116 cs-18) 604) ((and cs-496 cs-116 cs-18) 604) ((and cs-499 cs-116 cs-18) 604) ((and cs-502 cs-116 cs-18) 604) ((and cs-505 cs-116 cs-18) 604) ((and cs-508 cs-116 cs-18) 604) ((and cs-511 cs-116 cs-18) 604) ((and cs-514 cs-116 cs-18) 604) ((and cs-517 cs-116 cs-18) 604) ((and cs-520 cs-116 cs-18) 604) ((and cs-487 cs-121 cs-18) 604) ((and cs-490 cs-121 cs-18) 604) ((and cs-493 cs-121 cs-18) 604) ((and cs-496 cs-121 cs-18) 604) ((and cs-499 cs-121 cs-18) 604) ((and cs-502 cs-121 cs-18) 604) ((and cs-505 cs-121 cs-18) 604) ((and cs-508 cs-121 cs-18) 604) ((and cs-511 cs-121 cs-18) 604) ((and cs-514 cs-121 cs-18) 604) ((and cs-517 cs-121 cs-18) 604) ((and cs-520 cs-121 cs-18) 604) ((and cs-487 cs-126 cs-18) 604) ((and cs-490 cs-126 cs-18) 604) ((and cs-493 cs-126 cs-18) 604) ((and cs-496 cs-126 cs-18) 604) ((and cs-499 cs-126 cs-18) 604) ((and cs-502 cs-126 cs-18) 604) ((and cs-505 cs-126 cs-18) 604) ((and cs-508 cs-126 cs-18) 604) ((and cs-511 cs-126 cs-18) 604) ((and cs-514 cs-126 cs-18) 604) ((and cs-517 cs-126 cs-18) 604) ((and cs-520 cs-126 cs-18) 604) ((and cs-487 cs-131 cs-18) 604) ((and cs-490 cs-131 cs-18) 604) ((and cs-493 cs-131 cs-18) 604) ((and cs-496 cs-131 cs-18) 604) ((and cs-499 cs-131 cs-18) 604) ((and cs-502 cs-131 cs-18) 604) ((and cs-505 cs-131 cs-18) 604) ((and cs-508 cs-131 cs-18) 604) ((and cs-511 cs-131 cs-18) 604) ((and cs-514 cs-131 cs-18) 604) ((and cs-517 cs-131 cs-18) 604) ((and cs-520 cs-131 cs-18) 604) ((and cs-487 cs-136 cs-18) 604) ((and cs-490 cs-136 cs-18) 604) ((and cs-493 cs-136 cs-18) 604) ((and cs-496 cs-136 cs-18) 604) ((and cs-499 cs-136 cs-18) 604) ((and cs-502 cs-136 cs-18) 604) ((and cs-505 cs-136 cs-18) 604) ((and cs-508 cs-136 cs-18) 604) ((and cs-511 cs-136 cs-18) 604) ((and cs-514 cs-136 cs-18) 604) ((and cs-517 cs-136 cs-18) 604) ((and cs-520 cs-136 cs-18) 604) ((and cs-487 cs-141 cs-18) 604) ((and cs-490 cs-141 cs-18) 604) ((and cs-493 cs-141 cs-18) 604) ((and cs-496 cs-141 cs-18) 604) ((and cs-499 cs-141 cs-18) 604) ((and cs-502 cs-141 cs-18) 604) ((and cs-505 cs-141 cs-18) 604) ((and cs-508 cs-141 cs-18) 604) ((and cs-511 cs-141 cs-18) 604) ((and cs-514 cs-141 cs-18) 604) ((and cs-517 cs-141 cs-18) 604) ((and cs-520 cs-141 cs-18) 604) ((and cs-487 cs-146 cs-18) 604) ((and cs-490 cs-146 cs-18) 604) ((and cs-493 cs-146 cs-18) 604) ((and cs-496 cs-146 cs-18) 604) ((and cs-499 cs-146 cs-18) 604) ((and cs-502 cs-146 cs-18) 604) ((and cs-505 cs-146 cs-18) 604) ((and cs-508 cs-146 cs-18) 604) ((and cs-511 cs-146 cs-18) 604) ((and cs-514 cs-146 cs-18) 604) ((and cs-517 cs-146 cs-18) 604) ((and cs-520 cs-146 cs-18) 604) ((and cs-487 cs-61 cs-31) 604) ((and cs-490 cs-61 cs-31) 604) ((and cs-493 cs-61 cs-31) 604) ((and cs-496 cs-61 cs-31) 604) ((and cs-499 cs-61 cs-31) 604) ((and cs-502 cs-61 cs-31) 604) ((and cs-505 cs-61 cs-31) 604) ((and cs-508 cs-61 cs-31) 604) ((and cs-511 cs-61 cs-31) 604) ((and cs-514 cs-61 cs-31) 604) ((and cs-517 cs-61 cs-31) 604) ((and cs-520 cs-61 cs-31) 604) ((and cs-487 cs-66 cs-31) 604) ((and cs-490 cs-66 cs-31) 604) ((and cs-493 cs-66 cs-31) 604) ((and cs-496 cs-66 cs-31) 604) ((and cs-499 cs-66 cs-31) 604) ((and cs-502 cs-66 cs-31) 604) ((and cs-505 cs-66 cs-31) 604) ((and cs-508 cs-66 cs-31) 604) ((and cs-511 cs-66 cs-31) 604) ((and cs-514 cs-66 cs-31) 604) ((and cs-517 cs-66 cs-31) 604) ((and cs-520 cs-66 cs-31) 604) ((and cs-487 cs-71 cs-31) 604) ((and cs-490 cs-71 cs-31) 604) ((and cs-493 cs-71 cs-31) 604) ((and cs-496 cs-71 cs-31) 604) ((and cs-499 cs-71 cs-31) 604) ((and cs-502 cs-71 cs-31) 604) ((and cs-505 cs-71 cs-31) 604) ((and cs-508 cs-71 cs-31) 604) ((and cs-511 cs-71 cs-31) 604) ((and cs-514 cs-71 cs-31) 604) ((and cs-517 cs-71 cs-31) 604) ((and cs-520 cs-71 cs-31) 604) ((and cs-487 cs-76 cs-31) 604) ((and cs-490 cs-76 cs-31) 604) ((and cs-493 cs-76 cs-31) 604) ((and cs-496 cs-76 cs-31) 604) ((and cs-499 cs-76 cs-31) 604) ((and cs-502 cs-76 cs-31) 604) ((and cs-505 cs-76 cs-31) 604) ((and cs-508 cs-76 cs-31) 604) ((and cs-511 cs-76 cs-31) 604) ((and cs-514 cs-76 cs-31) 604) ((and cs-517 cs-76 cs-31) 604) ((and cs-520 cs-76 cs-31) 604) ((and cs-487 cs-81 cs-31) 604) ((and cs-490 cs-81 cs-31) 604) ((and cs-493 cs-81 cs-31) 604) ((and cs-496 cs-81 cs-31) 604) ((and cs-499 cs-81 cs-31) 604) ((and cs-502 cs-81 cs-31) 604) ((and cs-505 cs-81 cs-31) 604) ((and cs-508 cs-81 cs-31) 604) ((and cs-511 cs-81 cs-31) 604) ((and cs-514 cs-81 cs-31) 604) ((and cs-517 cs-81 cs-31) 604) ((and cs-520 cs-81 cs-31) 604) ((and cs-487 cs-86 cs-31) 604) ((and cs-490 cs-86 cs-31) 604) ((and cs-493 cs-86 cs-31) 604) ((and cs-496 cs-86 cs-31) 604) ((and cs-499 cs-86 cs-31) 604) ((and cs-502 cs-86 cs-31) 604) ((and cs-505 cs-86 cs-31) 604) ((and cs-508 cs-86 cs-31) 604) ((and cs-511 cs-86 cs-31) 604) ((and cs-514 cs-86 cs-31) 604) ((and cs-517 cs-86 cs-31) 604) ((and cs-520 cs-86 cs-31) 604) ((and cs-487 cs-91 cs-31) 604) ((and cs-490 cs-91 cs-31) 604) ((and cs-493 cs-91 cs-31) 604) ((and cs-496 cs-91 cs-31) 604) ((and cs-499 cs-91 cs-31) 604) ((and cs-502 cs-91 cs-31) 604) ((and cs-505 cs-91 cs-31) 604) ((and cs-508 cs-91 cs-31) 604) ((and cs-511 cs-91 cs-31) 604) ((and cs-514 cs-91 cs-31) 604) ((and cs-517 cs-91 cs-31) 604) ((and cs-520 cs-91 cs-31) 604) ((and cs-487 cs-96 cs-31) 604) ((and cs-490 cs-96 cs-31) 604) ((and cs-493 cs-96 cs-31) 604) ((and cs-496 cs-96 cs-31) 604) ((and cs-499 cs-96 cs-31) 604) ((and cs-502 cs-96 cs-31) 604) ((and cs-505 cs-96 cs-31) 604) ((and cs-508 cs-96 cs-31) 604) ((and cs-511 cs-96 cs-31) 604) ((and cs-514 cs-96 cs-31) 604) ((and cs-517 cs-96 cs-31) 604) ((and cs-520 cs-96 cs-31) 604) ((and cs-487 cs-101 cs-31) 604) ((and cs-490 cs-101 cs-31) 604) ((and cs-493 cs-101 cs-31) 604) ((and cs-496 cs-101 cs-31) 604) ((and cs-499 cs-101 cs-31) 604) ((and cs-502 cs-101 cs-31) 604) ((and cs-505 cs-101 cs-31) 604) ((and cs-508 cs-101 cs-31) 604) ((and cs-511 cs-101 cs-31) 604) ((and cs-514 cs-101 cs-31) 604) ((and cs-517 cs-101 cs-31) 604) ((and cs-520 cs-101 cs-31) 604) ((and cs-487 cs-106 cs-31) 604) ((and cs-490 cs-106 cs-31) 604) ((and cs-493 cs-106 cs-31) 604) ((and cs-496 cs-106 cs-31) 604) ((and cs-499 cs-106 cs-31) 604) ((and cs-502 cs-106 cs-31) 604) ((and cs-505 cs-106 cs-31) 604) ((and cs-508 cs-106 cs-31) 604) ((and cs-511 cs-106 cs-31) 604) ((and cs-514 cs-106 cs-31) 604) ((and cs-517 cs-106 cs-31) 604) ((and cs-520 cs-106 cs-31) 604) ((and cs-487 cs-111 cs-31) 604) ((and cs-490 cs-111 cs-31) 604) ((and cs-493 cs-111 cs-31) 604) ((and cs-496 cs-111 cs-31) 604) ((and cs-499 cs-111 cs-31) 604) ((and cs-502 cs-111 cs-31) 604) ((and cs-505 cs-111 cs-31) 604) ((and cs-508 cs-111 cs-31) 604) ((and cs-511 cs-111 cs-31) 604) ((and cs-514 cs-111 cs-31) 604) ((and cs-517 cs-111 cs-31) 604) ((and cs-520 cs-111 cs-31) 604) ((and cs-487 cs-116 cs-31) 604) ((and cs-490 cs-116 cs-31) 604) ((and cs-493 cs-116 cs-31) 604) ((and cs-496 cs-116 cs-31) 604) ((and cs-499 cs-116 cs-31) 604) ((and cs-502 cs-116 cs-31) 604) ((and cs-505 cs-116 cs-31) 604) ((and cs-508 cs-116 cs-31) 604) ((and cs-511 cs-116 cs-31) 604) ((and cs-514 cs-116 cs-31) 604) ((and cs-517 cs-116 cs-31) 604) ((and cs-520 cs-116 cs-31) 604) ((and cs-487 cs-121 cs-31) 604) ((and cs-490 cs-121 cs-31) 604) ((and cs-493 cs-121 cs-31) 604) ((and cs-496 cs-121 cs-31) 604) ((and cs-499 cs-121 cs-31) 604) ((and cs-502 cs-121 cs-31) 604) ((and cs-505 cs-121 cs-31) 604) ((and cs-508 cs-121 cs-31) 604) ((and cs-511 cs-121 cs-31) 604) ((and cs-514 cs-121 cs-31) 604) ((and cs-517 cs-121 cs-31) 604) ((and cs-520 cs-121 cs-31) 604) ((and cs-487 cs-126 cs-31) 604) ((and cs-490 cs-126 cs-31) 604) ((and cs-493 cs-126 cs-31) 604) ((and cs-496 cs-126 cs-31) 604) ((and cs-499 cs-126 cs-31) 604) ((and cs-502 cs-126 cs-31) 604) ((and cs-505 cs-126 cs-31) 604) ((and cs-508 cs-126 cs-31) 604) ((and cs-511 cs-126 cs-31) 604) ((and cs-514 cs-126 cs-31) 604) ((and cs-517 cs-126 cs-31) 604) ((and cs-520 cs-126 cs-31) 604) ((and cs-487 cs-131 cs-31) 604) ((and cs-490 cs-131 cs-31) 604) ((and cs-493 cs-131 cs-31) 604) ((and cs-496 cs-131 cs-31) 604) ((and cs-499 cs-131 cs-31) 604) ((and cs-502 cs-131 cs-31) 604) ((and cs-505 cs-131 cs-31) 604) ((and cs-508 cs-131 cs-31) 604) ((and cs-511 cs-131 cs-31) 604) ((and cs-514 cs-131 cs-31) 604) ((and cs-517 cs-131 cs-31) 604) ((and cs-520 cs-131 cs-31) 604) ((and cs-487 cs-136 cs-31) 604) ((and cs-490 cs-136 cs-31) 604) ((and cs-493 cs-136 cs-31) 604) ((and cs-496 cs-136 cs-31) 604) ((and cs-499 cs-136 cs-31) 604) ((and cs-502 cs-136 cs-31) 604) ((and cs-505 cs-136 cs-31) 604) ((and cs-508 cs-136 cs-31) 604) ((and cs-511 cs-136 cs-31) 604) ((and cs-514 cs-136 cs-31) 604) ((and cs-517 cs-136 cs-31) 604) ((and cs-520 cs-136 cs-31) 604) ((and cs-487 cs-141 cs-31) 604) ((and cs-490 cs-141 cs-31) 604) ((and cs-493 cs-141 cs-31) 604) ((and cs-496 cs-141 cs-31) 604) ((and cs-499 cs-141 cs-31) 604) ((and cs-502 cs-141 cs-31) 604) ((and cs-505 cs-141 cs-31) 604) ((and cs-508 cs-141 cs-31) 604) ((and cs-511 cs-141 cs-31) 604) ((and cs-514 cs-141 cs-31) 604) ((and cs-517 cs-141 cs-31) 604) ((and cs-520 cs-141 cs-31) 604) ((and cs-487 cs-146 cs-31) 604) ((and cs-490 cs-146 cs-31) 604) ((and cs-493 cs-146 cs-31) 604) ((and cs-496 cs-146 cs-31) 604) ((and cs-499 cs-146 cs-31) 604) ((and cs-502 cs-146 cs-31) 604) ((and cs-505 cs-146 cs-31) 604) ((and cs-508 cs-146 cs-31) 604) ((and cs-511 cs-146 cs-31) 604) ((and cs-514 cs-146 cs-31) 604) ((and cs-517 cs-146 cs-31) 604) ((and cs-520 cs-146 cs-31) 604) ((and cs-487 cs-61 cs-48) 590) ((and cs-490 cs-61 cs-48) 590) ((and cs-493 cs-61 cs-48) 590) ((and cs-496 cs-61 cs-48) 590) ((and cs-499 cs-61 cs-48) 590) ((and cs-502 cs-61 cs-48) 590) ((and cs-505 cs-61 cs-48) 590) ((and cs-508 cs-61 cs-48) 590) ((and cs-511 cs-61 cs-48) 590) ((and cs-514 cs-61 cs-48) 590) ((and cs-517 cs-61 cs-48) 590) ((and cs-520 cs-61 cs-48) 590) ((and cs-487 cs-66 cs-48) 590) ((and cs-490 cs-66 cs-48) 590) ((and cs-493 cs-66 cs-48) 590) ((and cs-496 cs-66 cs-48) 590) ((and cs-499 cs-66 cs-48) 590) ((and cs-502 cs-66 cs-48) 590) ((and cs-505 cs-66 cs-48) 590) ((and cs-508 cs-66 cs-48) 590) ((and cs-511 cs-66 cs-48) 590) ((and cs-514 cs-66 cs-48) 590) ((and cs-517 cs-66 cs-48) 590) ((and cs-520 cs-66 cs-48) 590) ((and cs-487 cs-71 cs-48) 590) ((and cs-490 cs-71 cs-48) 590) ((and cs-493 cs-71 cs-48) 590) ((and cs-496 cs-71 cs-48) 590) ((and cs-499 cs-71 cs-48) 590) ((and cs-502 cs-71 cs-48) 590) ((and cs-505 cs-71 cs-48) 590) ((and cs-508 cs-71 cs-48) 590) ((and cs-511 cs-71 cs-48) 590) ((and cs-514 cs-71 cs-48) 590) ((and cs-517 cs-71 cs-48) 590) ((and cs-520 cs-71 cs-48) 590) ((and cs-487 cs-76 cs-48) 590) ((and cs-490 cs-76 cs-48) 590) ((and cs-493 cs-76 cs-48) 590) ((and cs-496 cs-76 cs-48) 590) ((and cs-499 cs-76 cs-48) 590) ((and cs-502 cs-76 cs-48) 590) ((and cs-505 cs-76 cs-48) 590) ((and cs-508 cs-76 cs-48) 590) ((and cs-511 cs-76 cs-48) 590) ((and cs-514 cs-76 cs-48) 590) ((and cs-517 cs-76 cs-48) 590) ((and cs-520 cs-76 cs-48) 590) ((and cs-487 cs-81 cs-48) 590) ((and cs-490 cs-81 cs-48) 590) ((and cs-493 cs-81 cs-48) 590) ((and cs-496 cs-81 cs-48) 590) ((and cs-499 cs-81 cs-48) 590) ((and cs-502 cs-81 cs-48) 590) ((and cs-505 cs-81 cs-48) 590) ((and cs-508 cs-81 cs-48) 590) ((and cs-511 cs-81 cs-48) 590) ((and cs-514 cs-81 cs-48) 590) ((and cs-517 cs-81 cs-48) 590) ((and cs-520 cs-81 cs-48) 590) ((and cs-487 cs-86 cs-48) 590) ((and cs-490 cs-86 cs-48) 590) ((and cs-493 cs-86 cs-48) 590) ((and cs-496 cs-86 cs-48) 590) ((and cs-499 cs-86 cs-48) 590) ((and cs-502 cs-86 cs-48) 590) ((and cs-505 cs-86 cs-48) 590) ((and cs-508 cs-86 cs-48) 590) ((and cs-511 cs-86 cs-48) 590) ((and cs-514 cs-86 cs-48) 590) ((and cs-517 cs-86 cs-48) 590) ((and cs-520 cs-86 cs-48) 590) ((and cs-487 cs-91 cs-48) 590) ((and cs-490 cs-91 cs-48) 590) ((and cs-493 cs-91 cs-48) 590) ((and cs-496 cs-91 cs-48) 590) ((and cs-499 cs-91 cs-48) 590) ((and cs-502 cs-91 cs-48) 590) ((and cs-505 cs-91 cs-48) 590) ((and cs-508 cs-91 cs-48) 590) ((and cs-511 cs-91 cs-48) 590) ((and cs-514 cs-91 cs-48) 590) ((and cs-517 cs-91 cs-48) 590) ((and cs-520 cs-91 cs-48) 590) ((and cs-487 cs-96 cs-48) 590) ((and cs-490 cs-96 cs-48) 590) ((and cs-493 cs-96 cs-48) 590) ((and cs-496 cs-96 cs-48) 590) ((and cs-499 cs-96 cs-48) 590) ((and cs-502 cs-96 cs-48) 590) ((and cs-505 cs-96 cs-48) 590) ((and cs-508 cs-96 cs-48) 590) ((and cs-511 cs-96 cs-48) 590) ((and cs-514 cs-96 cs-48) 590) ((and cs-517 cs-96 cs-48) 590) ((and cs-520 cs-96 cs-48) 590) ((and cs-487 cs-101 cs-48) 590) ((and cs-490 cs-101 cs-48) 590) ((and cs-493 cs-101 cs-48) 590) ((and cs-496 cs-101 cs-48) 590) ((and cs-499 cs-101 cs-48) 590) ((and cs-502 cs-101 cs-48) 590) ((and cs-505 cs-101 cs-48) 590) ((and cs-508 cs-101 cs-48) 590) ((and cs-511 cs-101 cs-48) 590) ((and cs-514 cs-101 cs-48) 590) ((and cs-517 cs-101 cs-48) 590) ((and cs-520 cs-101 cs-48) 590) ((and cs-487 cs-106 cs-48) 590) ((and cs-490 cs-106 cs-48) 590) ((and cs-493 cs-106 cs-48) 590) ((and cs-496 cs-106 cs-48) 590) ((and cs-499 cs-106 cs-48) 590) ((and cs-502 cs-106 cs-48) 590) ((and cs-505 cs-106 cs-48) 590) ((and cs-508 cs-106 cs-48) 590) ((and cs-511 cs-106 cs-48) 590) ((and cs-514 cs-106 cs-48) 590) ((and cs-517 cs-106 cs-48) 590) ((and cs-520 cs-106 cs-48) 590) ((and cs-487 cs-111 cs-48) 590) ((and cs-490 cs-111 cs-48) 590) ((and cs-493 cs-111 cs-48) 590) ((and cs-496 cs-111 cs-48) 590) ((and cs-499 cs-111 cs-48) 590) ((and cs-502 cs-111 cs-48) 590) ((and cs-505 cs-111 cs-48) 590) ((and cs-508 cs-111 cs-48) 590) ((and cs-511 cs-111 cs-48) 590) ((and cs-514 cs-111 cs-48) 590) ((and cs-517 cs-111 cs-48) 590) ((and cs-520 cs-111 cs-48) 590) ((and cs-487 cs-116 cs-48) 590) ((and cs-490 cs-116 cs-48) 590) ((and cs-493 cs-116 cs-48) 590) ((and cs-496 cs-116 cs-48) 590) ((and cs-499 cs-116 cs-48) 590) ((and cs-502 cs-116 cs-48) 590) ((and cs-505 cs-116 cs-48) 590) ((and cs-508 cs-116 cs-48) 590) ((and cs-511 cs-116 cs-48) 590) ((and cs-514 cs-116 cs-48) 590) ((and cs-517 cs-116 cs-48) 590) ((and cs-520 cs-116 cs-48) 590) ((and cs-487 cs-121 cs-48) 590) ((and cs-490 cs-121 cs-48) 590) ((and cs-493 cs-121 cs-48) 590) ((and cs-496 cs-121 cs-48) 590) ((and cs-499 cs-121 cs-48) 590) ((and cs-502 cs-121 cs-48) 590) ((and cs-505 cs-121 cs-48) 590) ((and cs-508 cs-121 cs-48) 590) ((and cs-511 cs-121 cs-48) 590) ((and cs-514 cs-121 cs-48) 590) ((and cs-517 cs-121 cs-48) 590) ((and cs-520 cs-121 cs-48) 590) ((and cs-487 cs-126 cs-48) 590) ((and cs-490 cs-126 cs-48) 590) ((and cs-493 cs-126 cs-48) 590) ((and cs-496 cs-126 cs-48) 590) ((and cs-499 cs-126 cs-48) 590) ((and cs-502 cs-126 cs-48) 590) ((and cs-505 cs-126 cs-48) 590) ((and cs-508 cs-126 cs-48) 590) ((and cs-511 cs-126 cs-48) 590) ((and cs-514 cs-126 cs-48) 590) ((and cs-517 cs-126 cs-48) 590) ((and cs-520 cs-126 cs-48) 590) ((and cs-487 cs-131 cs-48) 590) ((and cs-490 cs-131 cs-48) 590) ((and cs-493 cs-131 cs-48) 590) ((and cs-496 cs-131 cs-48) 590) ((and cs-499 cs-131 cs-48) 590) ((and cs-502 cs-131 cs-48) 590) ((and cs-505 cs-131 cs-48) 590) ((and cs-508 cs-131 cs-48) 590) ((and cs-511 cs-131 cs-48) 590) ((and cs-514 cs-131 cs-48) 590) ((and cs-517 cs-131 cs-48) 590) ((and cs-520 cs-131 cs-48) 590) ((and cs-487 cs-136 cs-48) 590) ((and cs-490 cs-136 cs-48) 590) ((and cs-493 cs-136 cs-48) 590) ((and cs-496 cs-136 cs-48) 590) ((and cs-499 cs-136 cs-48) 590) ((and cs-502 cs-136 cs-48) 590) ((and cs-505 cs-136 cs-48) 590) ((and cs-508 cs-136 cs-48) 590) ((and cs-511 cs-136 cs-48) 590) ((and cs-514 cs-136 cs-48) 590) ((and cs-517 cs-136 cs-48) 590) ((and cs-520 cs-136 cs-48) 590) ((and cs-487 cs-141 cs-48) 590) ((and cs-490 cs-141 cs-48) 590) ((and cs-493 cs-141 cs-48) 590) ((and cs-496 cs-141 cs-48) 590) ((and cs-499 cs-141 cs-48) 590) ((and cs-502 cs-141 cs-48) 590) ((and cs-505 cs-141 cs-48) 590) ((and cs-508 cs-141 cs-48) 590) ((and cs-511 cs-141 cs-48) 590) ((and cs-514 cs-141 cs-48) 590) ((and cs-517 cs-141 cs-48) 590) ((and cs-520 cs-141 cs-48) 590) ((and cs-487 cs-146 cs-48) 590) ((and cs-490 cs-146 cs-48) 590) ((and cs-493 cs-146 cs-48) 590) ((and cs-496 cs-146 cs-48) 590) ((and cs-499 cs-146 cs-48) 590) ((and cs-502 cs-146 cs-48) 590) ((and cs-505 cs-146 cs-48) 590) ((and cs-508 cs-146 cs-48) 590) ((and cs-511 cs-146 cs-48) 590) ((and cs-514 cs-146 cs-48) 590) ((and cs-517 cs-146 cs-48) 590) ((and cs-520 cs-146 cs-48) 590) ((and cs-487 cs-44 cs-367) 605) ((and cs-490 cs-44 cs-367) 605) ((and cs-493 cs-44 cs-367) 605) ((and cs-496 cs-44 cs-367) 605) ((and cs-499 cs-44 cs-367) 605) ((and cs-502 cs-44 cs-367) 605) ((and cs-505 cs-44 cs-367) 605) ((and cs-508 cs-44 cs-367) 605) ((and cs-511 cs-44 cs-367) 605) ((and cs-514 cs-44 cs-367) 605) ((and cs-517 cs-44 cs-367) 605) ((and cs-520 cs-44 cs-367) 605) ((and cs-487 cs-372 cs-2) 604) ((and cs-490 cs-372 cs-2) 604) ((and cs-493 cs-372 cs-2) 604) ((and cs-496 cs-372 cs-2) 604) ((and cs-499 cs-372 cs-2) 604) ((and cs-502 cs-372 cs-2) 604) ((and cs-505 cs-372 cs-2) 604) ((and cs-508 cs-372 cs-2) 604) ((and cs-511 cs-372 cs-2) 604) ((and cs-514 cs-372 cs-2) 604) ((and cs-517 cs-372 cs-2) 604) ((and cs-520 cs-372 cs-2) 604) ((and cs-487 cs-377 cs-2) 604) ((and cs-490 cs-377 cs-2) 604) ((and cs-493 cs-377 cs-2) 604) ((and cs-496 cs-377 cs-2) 604) ((and cs-499 cs-377 cs-2) 604) ((and cs-502 cs-377 cs-2) 604) ((and cs-505 cs-377 cs-2) 604) ((and cs-508 cs-377 cs-2) 604) ((and cs-511 cs-377 cs-2) 604) ((and cs-514 cs-377 cs-2) 604) ((and cs-517 cs-377 cs-2) 604) ((and cs-520 cs-377 cs-2) 604) ((and cs-487 cs-382 cs-2) 604) ((and cs-490 cs-382 cs-2) 604) ((and cs-493 cs-382 cs-2) 604) ((and cs-496 cs-382 cs-2) 604) ((and cs-499 cs-382 cs-2) 604) ((and cs-502 cs-382 cs-2) 604) ((and cs-505 cs-382 cs-2) 604) ((and cs-508 cs-382 cs-2) 604) ((and cs-511 cs-382 cs-2) 604) ((and cs-514 cs-382 cs-2) 604) ((and cs-517 cs-382 cs-2) 604) ((and cs-520 cs-382 cs-2) 604) ((and cs-487 cs-387 cs-2) 604) ((and cs-490 cs-387 cs-2) 604) ((and cs-493 cs-387 cs-2) 604) ((and cs-496 cs-387 cs-2) 604) ((and cs-499 cs-387 cs-2) 604) ((and cs-502 cs-387 cs-2) 604) ((and cs-505 cs-387 cs-2) 604) ((and cs-508 cs-387 cs-2) 604) ((and cs-511 cs-387 cs-2) 604) ((and cs-514 cs-387 cs-2) 604) ((and cs-517 cs-387 cs-2) 604) ((and cs-520 cs-387 cs-2) 604) ((and cs-487 cs-392 cs-2) 604) ((and cs-490 cs-392 cs-2) 604) ((and cs-493 cs-392 cs-2) 604) ((and cs-496 cs-392 cs-2) 604) ((and cs-499 cs-392 cs-2) 604) ((and cs-502 cs-392 cs-2) 604) ((and cs-505 cs-392 cs-2) 604) ((and cs-508 cs-392 cs-2) 604) ((and cs-511 cs-392 cs-2) 604) ((and cs-514 cs-392 cs-2) 604) ((and cs-517 cs-392 cs-2) 604) ((and cs-520 cs-392 cs-2) 604) ((and cs-487 cs-372 cs-18) 604) ((and cs-490 cs-372 cs-18) 604) ((and cs-493 cs-372 cs-18) 604) ((and cs-496 cs-372 cs-18) 604) ((and cs-499 cs-372 cs-18) 604) ((and cs-502 cs-372 cs-18) 604) ((and cs-505 cs-372 cs-18) 604) ((and cs-508 cs-372 cs-18) 604) ((and cs-511 cs-372 cs-18) 604) ((and cs-514 cs-372 cs-18) 604) ((and cs-517 cs-372 cs-18) 604) ((and cs-520 cs-372 cs-18) 604) ((and cs-487 cs-377 cs-18) 604) ((and cs-490 cs-377 cs-18) 604) ((and cs-493 cs-377 cs-18) 604) ((and cs-496 cs-377 cs-18) 604) ((and cs-499 cs-377 cs-18) 604) ((and cs-502 cs-377 cs-18) 604) ((and cs-505 cs-377 cs-18) 604) ((and cs-508 cs-377 cs-18) 604) ((and cs-511 cs-377 cs-18) 604) ((and cs-514 cs-377 cs-18) 604) ((and cs-517 cs-377 cs-18) 604) ((and cs-520 cs-377 cs-18) 604) ((and cs-487 cs-382 cs-18) 604) ((and cs-490 cs-382 cs-18) 604) ((and cs-493 cs-382 cs-18) 604) ((and cs-496 cs-382 cs-18) 604) ((and cs-499 cs-382 cs-18) 604) ((and cs-502 cs-382 cs-18) 604) ((and cs-505 cs-382 cs-18) 604) ((and cs-508 cs-382 cs-18) 604) ((and cs-511 cs-382 cs-18) 604) ((and cs-514 cs-382 cs-18) 604) ((and cs-517 cs-382 cs-18) 604) ((and cs-520 cs-382 cs-18) 604) ((and cs-487 cs-387 cs-18) 604) ((and cs-490 cs-387 cs-18) 604) ((and cs-493 cs-387 cs-18) 604) ((and cs-496 cs-387 cs-18) 604) ((and cs-499 cs-387 cs-18) 604) ((and cs-502 cs-387 cs-18) 604) ((and cs-505 cs-387 cs-18) 604) ((and cs-508 cs-387 cs-18) 604) ((and cs-511 cs-387 cs-18) 604) ((and cs-514 cs-387 cs-18) 604) ((and cs-517 cs-387 cs-18) 604) ((and cs-520 cs-387 cs-18) 604) ((and cs-487 cs-392 cs-18) 604) ((and cs-490 cs-392 cs-18) 604) ((and cs-493 cs-392 cs-18) 604) ((and cs-496 cs-392 cs-18) 604) ((and cs-499 cs-392 cs-18) 604) ((and cs-502 cs-392 cs-18) 604) ((and cs-505 cs-392 cs-18) 604) ((and cs-508 cs-392 cs-18) 604) ((and cs-511 cs-392 cs-18) 604) ((and cs-514 cs-392 cs-18) 604) ((and cs-517 cs-392 cs-18) 604) ((and cs-520 cs-392 cs-18) 604) ((and cs-487 cs-372 cs-31) 604) ((and cs-490 cs-372 cs-31) 604) ((and cs-493 cs-372 cs-31) 604) ((and cs-496 cs-372 cs-31) 604) ((and cs-499 cs-372 cs-31) 604) ((and cs-502 cs-372 cs-31) 604) ((and cs-505 cs-372 cs-31) 604) ((and cs-508 cs-372 cs-31) 604) ((and cs-511 cs-372 cs-31) 604) ((and cs-514 cs-372 cs-31) 604) ((and cs-517 cs-372 cs-31) 604) ((and cs-520 cs-372 cs-31) 604) ((and cs-487 cs-377 cs-31) 604) ((and cs-490 cs-377 cs-31) 604) ((and cs-493 cs-377 cs-31) 604) ((and cs-496 cs-377 cs-31) 604) ((and cs-499 cs-377 cs-31) 604) ((and cs-502 cs-377 cs-31) 604) ((and cs-505 cs-377 cs-31) 604) ((and cs-508 cs-377 cs-31) 604) ((and cs-511 cs-377 cs-31) 604) ((and cs-514 cs-377 cs-31) 604) ((and cs-517 cs-377 cs-31) 604) ((and cs-520 cs-377 cs-31) 604) ((and cs-487 cs-382 cs-31) 604) ((and cs-490 cs-382 cs-31) 604) ((and cs-493 cs-382 cs-31) 604) ((and cs-496 cs-382 cs-31) 604) ((and cs-499 cs-382 cs-31) 604) ((and cs-502 cs-382 cs-31) 604) ((and cs-505 cs-382 cs-31) 604) ((and cs-508 cs-382 cs-31) 604) ((and cs-511 cs-382 cs-31) 604) ((and cs-514 cs-382 cs-31) 604) ((and cs-517 cs-382 cs-31) 604) ((and cs-520 cs-382 cs-31) 604) ((and cs-487 cs-387 cs-31) 604) ((and cs-490 cs-387 cs-31) 604) ((and cs-493 cs-387 cs-31) 604) ((and cs-496 cs-387 cs-31) 604) ((and cs-499 cs-387 cs-31) 604) ((and cs-502 cs-387 cs-31) 604) ((and cs-505 cs-387 cs-31) 604) ((and cs-508 cs-387 cs-31) 604) ((and cs-511 cs-387 cs-31) 604) ((and cs-514 cs-387 cs-31) 604) ((and cs-517 cs-387 cs-31) 604) ((and cs-520 cs-387 cs-31) 604) ((and cs-487 cs-392 cs-31) 604) ((and cs-490 cs-392 cs-31) 604) ((and cs-493 cs-392 cs-31) 604) ((and cs-496 cs-392 cs-31) 604) ((and cs-499 cs-392 cs-31) 604) ((and cs-502 cs-392 cs-31) 604) ((and cs-505 cs-392 cs-31) 604) ((and cs-508 cs-392 cs-31) 604) ((and cs-511 cs-392 cs-31) 604) ((and cs-514 cs-392 cs-31) 604) ((and cs-517 cs-392 cs-31) 604) ((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) ((and cs-487 cs-372 cs-48) 590) ((and cs-490 cs-372 cs-48) 590) ((and cs-493 cs-372 cs-48) 590) ((and cs-496 cs-372 cs-48) 590) ((and cs-499 cs-372 cs-48) 590) ((and cs-502 cs-372 cs-48) 590) ((and cs-505 cs-372 cs-48) 590) ((and cs-508 cs-372 cs-48) 590) ((and cs-511 cs-372 cs-48) 590) ((and cs-514 cs-372 cs-48) 590) ((and cs-517 cs-372 cs-48) 590) ((and cs-520 cs-372 cs-48) 590) ((and cs-487 cs-377 cs-48) 590) ((and cs-490 cs-377 cs-48) 590) ((and cs-493 cs-377 cs-48) 590) ((and cs-496 cs-377 cs-48) 590) ((and cs-499 cs-377 cs-48) 590) ((and cs-502 cs-377 cs-48) 590) ((and cs-505 cs-377 cs-48) 590) ((and cs-508 cs-377 cs-48) 590) ((and cs-511 cs-377 cs-48) 590) ((and cs-514 cs-377 cs-48) 590) ((and cs-517 cs-377 cs-48) 590) ((and cs-520 cs-377 cs-48) 590) ((and cs-487 cs-382 cs-48) 590) ((and cs-490 cs-382 cs-48) 590) ((and cs-493 cs-382 cs-48) 590) ((and cs-496 cs-382 cs-48) 590) ((and cs-499 cs-382 cs-48) 590) ((and cs-502 cs-382 cs-48) 590) ((and cs-505 cs-382 cs-48) 590) ((and cs-508 cs-382 cs-48) 590) ((and cs-511 cs-382 cs-48) 590) ((and cs-514 cs-382 cs-48) 590) ((and cs-517 cs-382 cs-48) 590) ((and cs-520 cs-382 cs-48) 590) ((and cs-487 cs-387 cs-48) 590) ((and cs-490 cs-387 cs-48) 590) ((and cs-493 cs-387 cs-48) 590) ((and cs-496 cs-387 cs-48) 590) ((and cs-499 cs-387 cs-48) 590) ((and cs-502 cs-387 cs-48) 590) ((and cs-505 cs-387 cs-48) 590) ((and cs-508 cs-387 cs-48) 590) ((and cs-511 cs-387 cs-48) 590) ((and cs-514 cs-387 cs-48) 590) ((and cs-517 cs-387 cs-48) 590) ((and cs-520 cs-387 cs-48) 590) ((and cs-487 cs-392 cs-48) 590) ((and cs-490 cs-392 cs-48) 590) ((and cs-493 cs-392 cs-48) 590) ((and cs-496 cs-392 cs-48) 590) ((and cs-499 cs-392 cs-48) 590) ((and cs-502 cs-392 cs-48) 590) ((and cs-505 cs-392 cs-48) 590) ((and cs-508 cs-392 cs-48) 590) ((and cs-511 cs-392 cs-48) 590) ((and cs-514 cs-392 cs-48) 590) ((and cs-517 cs-392 cs-48) 590) ((and cs-520 cs-392 cs-48) 590) ((and cs-487 cs-457) 589) ((and cs-490 cs-457) 589) ((and cs-493 cs-457) 589) ((and cs-496 cs-457) 589) ((and cs-499 cs-457) 589) ((and cs-502 cs-457) 589) ((and cs-505 cs-457) 589) ((and cs-508 cs-457) 589) ((and cs-511 cs-457) 589) ((and cs-514 cs-457) 589) ((and cs-517 cs-457) 589) ((and cs-520 cs-457) 589) ((and cs-520 cs-3080 (>= server-port 1024) (<= server-port 65535)) 588) ((and cs-520 cs-44 (>= server-port 1024) (<= server-port 65535)) 588) ((and cs-487 cs-462) 585) ((and cs-490 cs-462) 585) ((and cs-493 cs-462) 585) ((and cs-496 cs-462) 585) ((and cs-499 cs-462) 585) ((and cs-502 cs-462) 585) ((and cs-505 cs-462) 585) ((and cs-508 cs-462) 585) ((and cs-511 cs-462) 585) ((and cs-514 cs-462) 585) ((and cs-517 cs-462) 585) ((and cs-520 cs-462) 585) ((and cs-487 cs-467) 585) ((and cs-490 cs-467) 585) ((and cs-493 cs-467) 585) ((and cs-496 cs-467) 585) ((and cs-499 cs-467) 585) ((and cs-502 cs-467) 585) ((and cs-505 cs-467) 585) ((and cs-508 cs-467) 585) ((and cs-511 cs-467) 585) ((and cs-514 cs-467) 585) ((and cs-517 cs-467) 585) ((and cs-520 cs-467) 585) ((and cs-493 cs-44 (eqv? server-port 1528)) 584) ((and cs-487 cs-44 cs-472) 583) ((and cs-490 cs-44 cs-472) 583) ((and cs-493 cs-44 cs-472) 583) ((and cs-496 cs-44 cs-472) 583) ((and cs-499 cs-44 cs-472) 583) ((and cs-502 cs-44 cs-472) 583) ((and cs-505 cs-44 cs-472) 583) ((and cs-508 cs-44 cs-472) 583) ((and cs-511 cs-44 cs-472) 583) ((and cs-514 cs-44 cs-472) 583) ((and cs-517 cs-44 cs-472) 583) ((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) ((and cs-487 cs-44 cs-477) 579) ((and cs-490 cs-44 cs-477) 579) ((and cs-493 cs-44 cs-477) 579) ((and cs-496 cs-44 cs-477) 579) ((and cs-499 cs-44 cs-477) 579) ((and cs-502 cs-44 cs-477) 579) ((and cs-505 cs-44 cs-477) 579) ((and cs-508 cs-44 cs-477) 579) ((and cs-511 cs-44 cs-477) 579) ((and cs-514 cs-44 cs-477) 579) ((and cs-517 cs-44 cs-477) 579) ((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) ((and cs-487 cs-44 cs-482) 573) ((and cs-490 cs-44 cs-482) 573) ((and cs-493 cs-44 cs-482) 573) ((and cs-496 cs-44 cs-482) 573) ((and cs-499 cs-44 cs-482) 573) ((and cs-502 cs-44 cs-482) 573) ((and cs-505 cs-44 cs-482) 573) ((and cs-508 cs-44 cs-482) 573) ((and cs-511 cs-44 cs-482) 573) ((and cs-514 cs-44 cs-482) 573) ((and cs-517 cs-44 cs-482) 573) ((and cs-520 cs-44 cs-482) 573) ((and cs-3225 cs-1 cs-2) 604) ((and cs-3228 cs-1 cs-2) 604) ((and cs-3231 cs-1 cs-2) 604) ((and cs-3234 cs-1 cs-2) 604) ((and cs-3225 cs-8 cs-2) 604) ((and cs-3228 cs-8 cs-2) 604) ((and cs-3231 cs-8 cs-2) 604) ((and cs-3234 cs-8 cs-2) 604) ((and cs-3225 cs-13 cs-2) 604) ((and cs-3228 cs-13 cs-2) 604) ((and cs-3231 cs-13 cs-2) 604) ((and cs-3234 cs-13 cs-2) 604) ((and cs-3225 cs-1 cs-18) 604) ((and cs-3228 cs-1 cs-18) 604) ((and cs-3231 cs-1 cs-18) 604) ((and cs-3234 cs-1 cs-18) 604) ((and cs-3225 cs-8 cs-18) 604) ((and cs-3228 cs-8 cs-18) 604) ((and cs-3231 cs-8 cs-18) 604) ((and cs-3234 cs-8 cs-18) 604) ((and cs-3225 cs-13 cs-18) 604) ((and cs-3228 cs-13 cs-18) 604) ((and cs-3231 cs-13 cs-18) 604) ((and cs-3234 cs-13 cs-18) 604) ((and cs-3225 cs-1 cs-31) 604) ((and cs-3228 cs-1 cs-31) 604) ((and cs-3231 cs-1 cs-31) 604) ((and cs-3234 cs-1 cs-31) 604) ((and cs-3225 cs-8 cs-31) 604) ((and cs-3228 cs-8 cs-31) 604) ((and cs-3231 cs-8 cs-31) 604) ((and cs-3234 cs-8 cs-31) 604) ((and cs-3225 cs-13 cs-31) 604) ((and cs-3228 cs-13 cs-31) 604) ((and cs-3231 cs-13 cs-31) 604) ((and cs-3234 cs-13 cs-31) 604) ((and cs-3225 cs-1 cs-48) 590) ((and cs-3228 cs-1 cs-48) 590) ((and cs-3231 cs-1 cs-48) 590) ((and cs-3234 cs-1 cs-48) 590) ((and cs-3225 cs-8 cs-48) 590) ((and cs-3228 cs-8 cs-48) 590) ((and cs-3231 cs-8 cs-48) 590) ((and cs-3234 cs-8 cs-48) 590) ((and cs-3225 cs-13 cs-48) 590) ((and cs-3228 cs-13 cs-48) 590) ((and cs-3231 cs-13 cs-48) 590) ((and cs-3234 cs-13 cs-48) 590) ((and (eqv? client-zone 34) cs-3326) 582) ((and cs-1 cs-3326) 582) ((and cs-8 cs-3326) 582) ((and cs-13 cs-3326) 582) ((and (eqv? client-zone 5) cs-3326) 582) ((and (eqv? client-zone 1) cs-3326) 582) ((and cs-3225 cs-61 cs-2) 604) ((and cs-3228 cs-61 cs-2) 604) ((and cs-3231 cs-61 cs-2) 604) ((and cs-3234 cs-61 cs-2) 604) ((and cs-3225 cs-66 cs-2) 604) ((and cs-3228 cs-66 cs-2) 604) ((and cs-3231 cs-66 cs-2) 604) ((and cs-3234 cs-66 cs-2) 604) ((and cs-3225 cs-71 cs-2) 604) ((and cs-3228 cs-71 cs-2) 604) ((and cs-3231 cs-71 cs-2) 604) ((and cs-3234 cs-71 cs-2) 604) ((and cs-3225 cs-76 cs-2) 604) ((and cs-3228 cs-76 cs-2) 604) ((and cs-3231 cs-76 cs-2) 604) ((and cs-3234 cs-76 cs-2) 604) ((and cs-3225 cs-81 cs-2) 604) ((and cs-3228 cs-81 cs-2) 604) ((and cs-3231 cs-81 cs-2) 604) ((and cs-3234 cs-81 cs-2) 604) ((and cs-3225 cs-86 cs-2) 604) ((and cs-3228 cs-86 cs-2) 604) ((and cs-3231 cs-86 cs-2) 604) ((and cs-3234 cs-86 cs-2) 604) ((and cs-3225 cs-91 cs-2) 604) ((and cs-3228 cs-91 cs-2) 604) ((and cs-3231 cs-91 cs-2) 604) ((and cs-3234 cs-91 cs-2) 604) ((and cs-3225 cs-96 cs-2) 604) ((and cs-3228 cs-96 cs-2) 604) ((and cs-3231 cs-96 cs-2) 604) ((and cs-3234 cs-96 cs-2) 604) ((and cs-3225 cs-101 cs-2) 604) ((and cs-3228 cs-101 cs-2) 604) ((and cs-3231 cs-101 cs-2) 604) ((and cs-3234 cs-101 cs-2) 604) ((and cs-3225 cs-106 cs-2) 604) ((and cs-3228 cs-106 cs-2) 604) ((and cs-3231 cs-106 cs-2) 604) ((and cs-3234 cs-106 cs-2) 604) ((and cs-3225 cs-111 cs-2) 604) ((and cs-3228 cs-111 cs-2) 604) ((and cs-3231 cs-111 cs-2) 604) ((and cs-3234 cs-111 cs-2) 604) ((and cs-3225 cs-116 cs-2) 604) ((and cs-3228 cs-116 cs-2) 604) ((and cs-3231 cs-116 cs-2) 604) ((and cs-3234 cs-116 cs-2) 604) ((and cs-3225 cs-121 cs-2) 604) ((and cs-3228 cs-121 cs-2) 604) ((and cs-3231 cs-121 cs-2) 604) ((and cs-3234 cs-121 cs-2) 604) ((and cs-3225 cs-126 cs-2) 604) ((and cs-3228 cs-126 cs-2) 604) ((and cs-3231 cs-126 cs-2) 604) ((and cs-3234 cs-126 cs-2) 604) ((and cs-3225 cs-131 cs-2) 604) ((and cs-3228 cs-131 cs-2) 604) ((and cs-3231 cs-131 cs-2) 604) ((and cs-3234 cs-131 cs-2) 604) ((and cs-3225 cs-136 cs-2) 604) ((and cs-3228 cs-136 cs-2) 604) ((and cs-3231 cs-136 cs-2) 604) ((and cs-3234 cs-136 cs-2) 604) ((and cs-3225 cs-141 cs-2) 604) ((and cs-3228 cs-141 cs-2) 604) ((and cs-3231 cs-141 cs-2) 604) ((and cs-3234 cs-141 cs-2) 604) ((and cs-3225 cs-146 cs-2) 604) ((and cs-3228 cs-146 cs-2) 604) ((and cs-3231 cs-146 cs-2) 604) ((and cs-3234 cs-146 cs-2) 604) ((and cs-3225 cs-61 cs-18) 604) ((and cs-3228 cs-61 cs-18) 604) ((and cs-3231 cs-61 cs-18) 604) ((and cs-3234 cs-61 cs-18) 604) ((and cs-3225 cs-66 cs-18) 604) ((and cs-3228 cs-66 cs-18) 604) ((and cs-3231 cs-66 cs-18) 604) ((and cs-3234 cs-66 cs-18) 604) ((and cs-3225 cs-71 cs-18) 604) ((and cs-3228 cs-71 cs-18) 604) ((and cs-3231 cs-71 cs-18) 604) ((and cs-3234 cs-71 cs-18) 604) ((and cs-3225 cs-76 cs-18) 604) ((and cs-3228 cs-76 cs-18) 604) ((and cs-3231 cs-76 cs-18) 604) ((and cs-3234 cs-76 cs-18) 604) ((and cs-3225 cs-81 cs-18) 604) ((and cs-3228 cs-81 cs-18) 604) ((and cs-3231 cs-81 cs-18) 604) ((and cs-3234 cs-81 cs-18) 604) ((and cs-3225 cs-86 cs-18) 604) ((and cs-3228 cs-86 cs-18) 604) ((and cs-3231 cs-86 cs-18) 604) ((and cs-3234 cs-86 cs-18) 604) ((and cs-3225 cs-91 cs-18) 604) ((and cs-3228 cs-91 cs-18) 604) ((and cs-3231 cs-91 cs-18) 604) ((and cs-3234 cs-91 cs-18) 604) ((and cs-3225 cs-96 cs-18) 604) ((and cs-3228 cs-96 cs-18) 604) ((and cs-3231 cs-96 cs-18) 604) ((and cs-3234 cs-96 cs-18) 604) ((and cs-3225 cs-101 cs-18) 604) ((and cs-3228 cs-101 cs-18) 604) ((and cs-3231 cs-101 cs-18) 604) ((and cs-3234 cs-101 cs-18) 604) ((and cs-3225 cs-106 cs-18) 604) ((and cs-3228 cs-106 cs-18) 604) ((and cs-3231 cs-106 cs-18) 604) ((and cs-3234 cs-106 cs-18) 604) ((and cs-3225 cs-111 cs-18) 604) ((and cs-3228 cs-111 cs-18) 604) ((and cs-3231 cs-111 cs-18) 604) ((and cs-3234 cs-111 cs-18) 604) ((and cs-3225 cs-116 cs-18) 604) ((and cs-3228 cs-116 cs-18) 604) ((and cs-3231 cs-116 cs-18) 604) ((and cs-3234 cs-116 cs-18) 604) ((and cs-3225 cs-121 cs-18) 604) ((and cs-3228 cs-121 cs-18) 604) ((and cs-3231 cs-121 cs-18) 604) ((and cs-3234 cs-121 cs-18) 604) ((and cs-3225 cs-126 cs-18) 604) ((and cs-3228 cs-126 cs-18) 604) ((and cs-3231 cs-126 cs-18) 604) ((and cs-3234 cs-126 cs-18) 604) ((and cs-3225 cs-131 cs-18) 604) ((and cs-3228 cs-131 cs-18) 604) ((and cs-3231 cs-131 cs-18) 604) ((and cs-3234 cs-131 cs-18) 604) ((and cs-3225 cs-136 cs-18) 604) ((and cs-3228 cs-136 cs-18) 604) ((and cs-3231 cs-136 cs-18) 604) ((and cs-3234 cs-136 cs-18) 604) ((and cs-3225 cs-141 cs-18) 604) ((and cs-3228 cs-141 cs-18) 604) ((and cs-3231 cs-141 cs-18) 604) ((and cs-3234 cs-141 cs-18) 604) ((and cs-3225 cs-146 cs-18) 604) ((and cs-3228 cs-146 cs-18) 604) ((and cs-3231 cs-146 cs-18) 604) ((and cs-3234 cs-146 cs-18) 604) ((and cs-3225 cs-61 cs-31) 604) ((and cs-3228 cs-61 cs-31) 604) ((and cs-3231 cs-61 cs-31) 604) ((and cs-3234 cs-61 cs-31) 604) ((and cs-3225 cs-66 cs-31) 604) ((and cs-3228 cs-66 cs-31) 604) ((and cs-3231 cs-66 cs-31) 604) ((and cs-3234 cs-66 cs-31) 604) ((and cs-3225 cs-71 cs-31) 604) ((and cs-3228 cs-71 cs-31) 604) ((and cs-3231 cs-71 cs-31) 604) ((and cs-3234 cs-71 cs-31) 604) ((and cs-3225 cs-76 cs-31) 604) ((and cs-3228 cs-76 cs-31) 604) ((and cs-3231 cs-76 cs-31) 604) ((and cs-3234 cs-76 cs-31) 604) ((and cs-3225 cs-81 cs-31) 604) ((and cs-3228 cs-81 cs-31) 604) ((and cs-3231 cs-81 cs-31) 604) ((and cs-3234 cs-81 cs-31) 604) ((and cs-3225 cs-86 cs-31) 604) ((and cs-3228 cs-86 cs-31) 604) ((and cs-3231 cs-86 cs-31) 604) ((and cs-3234 cs-86 cs-31) 604) ((and cs-3225 cs-91 cs-31) 604) ((and cs-3228 cs-91 cs-31) 604) ((and cs-3231 cs-91 cs-31) 604) ((and cs-3234 cs-91 cs-31) 604) ((and cs-3225 cs-96 cs-31) 604) ((and cs-3228 cs-96 cs-31) 604) ((and cs-3231 cs-96 cs-31) 604) ((and cs-3234 cs-96 cs-31) 604) ((and cs-3225 cs-101 cs-31) 604) ((and cs-3228 cs-101 cs-31) 604) ((and cs-3231 cs-101 cs-31) 604) ((and cs-3234 cs-101 cs-31) 604) ((and cs-3225 cs-106 cs-31) 604) ((and cs-3228 cs-106 cs-31) 604) ((and cs-3231 cs-106 cs-31) 604) ((and cs-3234 cs-106 cs-31) 604) ((and cs-3225 cs-111 cs-31) 604) ((and cs-3228 cs-111 cs-31) 604) ((and cs-3231 cs-111 cs-31) 604) ((and cs-3234 cs-111 cs-31) 604) ((and cs-3225 cs-116 cs-31) 604) ((and cs-3228 cs-116 cs-31) 604) ((and cs-3231 cs-116 cs-31) 604) ((and cs-3234 cs-116 cs-31) 604) ((and cs-3225 cs-121 cs-31) 604) ((and cs-3228 cs-121 cs-31) 604) ((and cs-3231 cs-121 cs-31) 604) ((and cs-3234 cs-121 cs-31) 604) ((and cs-3225 cs-126 cs-31) 604) ((and cs-3228 cs-126 cs-31) 604) ((and cs-3231 cs-126 cs-31) 604) ((and cs-3234 cs-126 cs-31) 604) ((and cs-3225 cs-131 cs-31) 604) ((and cs-3228 cs-131 cs-31) 604) ((and cs-3231 cs-131 cs-31) 604) ((and cs-3234 cs-131 cs-31) 604) ((and cs-3225 cs-136 cs-31) 604) ((and cs-3228 cs-136 cs-31) 604) ((and cs-3231 cs-136 cs-31) 604) ((and cs-3234 cs-136 cs-31) 604) ((and cs-3225 cs-141 cs-31) 604) ((and cs-3228 cs-141 cs-31) 604) ((and cs-3231 cs-141 cs-31) 604) ((and cs-3234 cs-141 cs-31) 604) ((and cs-3225 cs-146 cs-31) 604) ((and cs-3228 cs-146 cs-31) 604) ((and cs-3231 cs-146 cs-31) 604) ((and cs-3234 cs-146 cs-31) 604) ((and cs-3225 cs-61 cs-48) 590) ((and cs-3228 cs-61 cs-48) 590) ((and cs-3231 cs-61 cs-48) 590) ((and cs-3234 cs-61 cs-48) 590) ((and cs-3225 cs-66 cs-48) 590) ((and cs-3228 cs-66 cs-48) 590) ((and cs-3231 cs-66 cs-48) 590) ((and cs-3234 cs-66 cs-48) 590) ((and cs-3225 cs-71 cs-48) 590) ((and cs-3228 cs-71 cs-48) 590) ((and cs-3231 cs-71 cs-48) 590) ((and cs-3234 cs-71 cs-48) 590) ((and cs-3225 cs-76 cs-48) 590) ((and cs-3228 cs-76 cs-48) 590) ((and cs-3231 cs-76 cs-48) 590) ((and cs-3234 cs-76 cs-48) 590) ((and cs-3225 cs-81 cs-48) 590) ((and cs-3228 cs-81 cs-48) 590) ((and cs-3231 cs-81 cs-48) 590) ((and cs-3234 cs-81 cs-48) 590) ((and cs-3225 cs-86 cs-48) 590) ((and cs-3228 cs-86 cs-48) 590) ((and cs-3231 cs-86 cs-48) 590) ((and cs-3234 cs-86 cs-48) 590) ((and cs-3225 cs-91 cs-48) 590) ((and cs-3228 cs-91 cs-48) 590) ((and cs-3231 cs-91 cs-48) 590) ((and cs-3234 cs-91 cs-48) 590) ((and cs-3225 cs-96 cs-48) 590) ((and cs-3228 cs-96 cs-48) 590) ((and cs-3231 cs-96 cs-48) 590) ((and cs-3234 cs-96 cs-48) 590) ((and cs-3225 cs-101 cs-48) 590) ((and cs-3228 cs-101 cs-48) 590) ((and cs-3231 cs-101 cs-48) 590) ((and cs-3234 cs-101 cs-48) 590) ((and cs-3225 cs-106 cs-48) 590) ((and cs-3228 cs-106 cs-48) 590) ((and cs-3231 cs-106 cs-48) 590) ((and cs-3234 cs-106 cs-48) 590) ((and cs-3225 cs-111 cs-48) 590) ((and cs-3228 cs-111 cs-48) 590) ((and cs-3231 cs-111 cs-48) 590) ((and cs-3234 cs-111 cs-48) 590) ((and cs-3225 cs-116 cs-48) 590) ((and cs-3228 cs-116 cs-48) 590) ((and cs-3231 cs-116 cs-48) 590) ((and cs-3234 cs-116 cs-48) 590) ((and cs-3225 cs-121 cs-48) 590) ((and cs-3228 cs-121 cs-48) 590) ((and cs-3231 cs-121 cs-48) 590) ((and cs-3234 cs-121 cs-48) 590) ((and cs-3225 cs-126 cs-48) 590) ((and cs-3228 cs-126 cs-48) 590) ((and cs-3231 cs-126 cs-48) 590) ((and cs-3234 cs-126 cs-48) 590) ((and cs-3225 cs-131 cs-48) 590) ((and cs-3228 cs-131 cs-48) 590) ((and cs-3231 cs-131 cs-48) 590) ((and cs-3234 cs-131 cs-48) 590) ((and cs-3225 cs-136 cs-48) 590) ((and cs-3228 cs-136 cs-48) 590) ((and cs-3231 cs-136 cs-48) 590) ((and cs-3234 cs-136 cs-48) 590) ((and cs-3225 cs-141 cs-48) 590) ((and cs-3228 cs-141 cs-48) 590) ((and cs-3231 cs-141 cs-48) 590) ((and cs-3234 cs-141 cs-48) 590) ((and cs-3225 cs-146 cs-48) 590) ((and cs-3228 cs-146 cs-48) 590) ((and cs-3231 cs-146 cs-48) 590) ((and cs-3234 cs-146 cs-48) 590) ((and cs-61 cs-3326) 582) ((and (eqv? client-zone 37) cs-3326) 582) ((and (eqv? client-zone 36) cs-3326) 582) ((and (eqv? client-zone 35) cs-3326) 582) ((and cs-66 cs-3326) 582) ((and cs-71 cs-3326) 582) ((and (eqv? client-zone 31) cs-3326) 582) ((and cs-76 cs-3326) 582) ((and cs-81 cs-3326) 582) ((and cs-86 cs-3326) 582) ((and cs-91 cs-3326) 582) ((and cs-96 cs-3326) 582) ((and cs-101 cs-3326) 582) ((and cs-106 cs-3326) 582) ((and cs-111 cs-3326) 582) ((and cs-116 cs-3326) 582) ((and cs-121 cs-3326) 582) ((and cs-126 cs-3326) 582) ((and cs-131 cs-3326) 582) ((and cs-136 cs-3326) 582) ((and (eqv? client-zone 12) cs-3326) 582) ((and (eqv? client-zone 11) cs-3326) 582) ((and cs-141 cs-3326) 582) ((and cs-146 cs-3326) 582) ((and (eqv? client-zone 6) cs-3326) 582) ((and (eqv? client-zone 4) cs-3326) 582) ((and (eqv? client-zone 3) cs-3326) 582) ((and cs-3225 cs-44 cs-367) 605) ((and cs-3228 cs-44 cs-367) 605) ((and cs-3231 cs-44 cs-367) 605) ((and cs-3234 cs-44 cs-367) 605) ((and cs-3225 cs-372 cs-2) 604) ((and cs-3228 cs-372 cs-2) 604) ((and cs-3231 cs-372 cs-2) 604) ((and cs-3234 cs-372 cs-2) 604) ((and cs-3225 cs-377 cs-2) 604) ((and cs-3228 cs-377 cs-2) 604) ((and cs-3231 cs-377 cs-2) 604) ((and cs-3234 cs-377 cs-2) 604) ((and cs-3225 cs-382 cs-2) 604) ((and cs-3228 cs-382 cs-2) 604) ((and cs-3231 cs-382 cs-2) 604) ((and cs-3234 cs-382 cs-2) 604) ((and cs-3225 cs-387 cs-2) 604) ((and cs-3228 cs-387 cs-2) 604) ((and cs-3231 cs-387 cs-2) 604) ((and cs-3234 cs-387 cs-2) 604) ((and cs-3225 cs-392 cs-2) 604) ((and cs-3228 cs-392 cs-2) 604) ((and cs-3231 cs-392 cs-2) 604) ((and cs-3234 cs-392 cs-2) 604) ((and cs-3225 cs-372 cs-18) 604) ((and cs-3228 cs-372 cs-18) 604) ((and cs-3231 cs-372 cs-18) 604) ((and cs-3234 cs-372 cs-18) 604) ((and cs-3225 cs-377 cs-18) 604) ((and cs-3228 cs-377 cs-18) 604) ((and cs-3231 cs-377 cs-18) 604) ((and cs-3234 cs-377 cs-18) 604) ((and cs-3225 cs-382 cs-18) 604) ((and cs-3228 cs-382 cs-18) 604) ((and cs-3231 cs-382 cs-18) 604) ((and cs-3234 cs-382 cs-18) 604) ((and cs-3225 cs-387 cs-18) 604) ((and cs-3228 cs-387 cs-18) 604) ((and cs-3231 cs-387 cs-18) 604) ((and cs-3234 cs-387 cs-18) 604) ((and cs-3225 cs-392 cs-18) 604) ((and cs-3228 cs-392 cs-18) 604) ((and cs-3231 cs-392 cs-18) 604) ((and cs-3234 cs-392 cs-18) 604) ((and cs-3225 cs-372 cs-31) 604) ((and cs-3228 cs-372 cs-31) 604) ((and cs-3231 cs-372 cs-31) 604) ((and cs-3234 cs-372 cs-31) 604) ((and cs-3225 cs-377 cs-31) 604) ((and cs-3228 cs-377 cs-31) 604) ((and cs-3231 cs-377 cs-31) 604) ((and cs-3234 cs-377 cs-31) 604) ((and cs-3225 cs-382 cs-31) 604) ((and cs-3228 cs-382 cs-31) 604) ((and cs-3231 cs-382 cs-31) 604) ((and cs-3234 cs-382 cs-31) 604) ((and cs-3225 cs-387 cs-31) 604) ((and cs-3228 cs-387 cs-31) 604) ((and cs-3231 cs-387 cs-31) 604) ((and cs-3234 cs-387 cs-31) 604) ((and cs-3225 cs-392 cs-31) 604) ((and cs-3228 cs-392 cs-31) 604) ((and cs-3231 cs-392 cs-31) 604) ((and cs-3234 cs-392 cs-31) 604) ((and cs-3225 cs-372 cs-48) 590) ((and cs-3228 cs-372 cs-48) 590) ((and cs-3231 cs-372 cs-48) 590) ((and cs-3234 cs-372 cs-48) 590) ((and cs-3225 cs-377 cs-48) 590) ((and cs-3228 cs-377 cs-48) 590) ((and cs-3231 cs-377 cs-48) 590) ((and cs-3234 cs-377 cs-48) 590) ((and cs-3225 cs-382 cs-48) 590) ((and cs-3228 cs-382 cs-48) 590) ((and cs-3231 cs-382 cs-48) 590) ((and cs-3234 cs-382 cs-48) 590) ((and cs-3225 cs-387 cs-48) 590) ((and cs-3228 cs-387 cs-48) 590) ((and cs-3231 cs-387 cs-48) 590) ((and cs-3234 cs-387 cs-48) 590) ((and cs-3225 cs-392 cs-48) 590) ((and cs-3228 cs-392 cs-48) 590) ((and cs-3231 cs-392 cs-48) 590) ((and cs-3234 cs-392 cs-48) 590) ((and cs-3225 cs-457) 589) ((and cs-3228 cs-457) 589) ((and cs-3231 cs-457) 589) ((and cs-3234 cs-457) 589) ((and cs-3225 cs-462) 585) ((and cs-3228 cs-462) 585) ((and cs-3231 cs-462) 585) ((and cs-3234 cs-462) 585) ((and cs-3225 cs-467) 585) ((and cs-3228 cs-467) 585) ((and cs-3231 cs-467) 585) ((and cs-3234 cs-467) 585) ((and cs-3225 cs-44 cs-472) 583) ((and cs-3228 cs-44 cs-472) 583) ((and cs-3231 cs-44 cs-472) 583) ((and cs-3234 cs-44 cs-472) 583) ((and (eqv? client-zone 44) cs-3326) 582) ((and cs-372 cs-3326) 582) ((and cs-377 cs-3326) 582) ((and cs-382 cs-3326) 582) ((and (eqv? client-zone 40) cs-3326) 582) ((and (eqv? client-zone 39) cs-3326) 582) ((and cs-387 cs-3326) 582) ((and cs-392 cs-3326) 582) ((and cs-3225 cs-44 cs-477) 579) ((and cs-3228 cs-44 cs-477) 579) ((and cs-3231 cs-44 cs-477) 579) ((and cs-3234 cs-44 cs-477) 579) ((and cs-3225 cs-44 cs-482) 573) ((and cs-3228 cs-44 cs-482) 573) ((and cs-3231 cs-44 cs-482) 573) ((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))))) (compile program) --AqsLC8rIMeq19msA--