* bug#13101: Crash compiling big cond expression
@ 2012-12-06 16:01 rixed
2014-05-11 18:17 ` bug#13101: Probably duplicate David Kastrup
2014-10-01 23:10 ` bug#13101: Crash compiling big cond expression Mark H Weaver
0 siblings, 2 replies; 4+ messages in thread
From: rixed @ 2012-12-06 16:01 UTC (permalink / raw)
To: 13101
[-- Attachment #1: Type: text/plain, Size: 368 bytes --]
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.
[-- Attachment #2: bug2.scm --]
[-- Type: text/plain, Size: 87368 bytes --]
#!/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))))
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#13101: Probably duplicate
2012-12-06 16:01 bug#13101: Crash compiling big cond expression rixed
@ 2014-05-11 18:17 ` David Kastrup
2014-06-02 1:00 ` Mark H Weaver
2014-10-01 23:10 ` bug#13101: Crash compiling big cond expression Mark H Weaver
1 sibling, 1 reply; 4+ messages in thread
From: David Kastrup @ 2014-05-11 18:17 UTC (permalink / raw)
To: 13101
I think this may be related to issue #17147
<URL:http://debbugs.gnu.org/cgi/bugreport.cgi?bug=17147> as a problem of
scale for syntax-case or similar mechanisms.
--
David Kastrup
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#13101: Probably duplicate
2014-05-11 18:17 ` bug#13101: Probably duplicate David Kastrup
@ 2014-06-02 1:00 ` Mark H Weaver
0 siblings, 0 replies; 4+ messages in thread
From: Mark H Weaver @ 2014-06-02 1:00 UTC (permalink / raw)
To: David Kastrup; +Cc: 13101
David Kastrup <dak@gnu.org> writes:
> I think this may be related to issue #17147
> <URL:http://debbugs.gnu.org/cgi/bugreport.cgi?bug=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
^ permalink raw reply [flat|nested] 4+ messages in thread
* bug#13101: Crash compiling big cond expression
2012-12-06 16:01 bug#13101: Crash compiling big cond expression rixed
2014-05-11 18:17 ` bug#13101: Probably duplicate David Kastrup
@ 2014-10-01 23:10 ` Mark H Weaver
1 sibling, 0 replies; 4+ messages in thread
From: Mark H Weaver @ 2014-10-01 23:10 UTC (permalink / raw)
To: rixed; +Cc: 13101-done
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 <http://bugs.gnu.org/13101>.
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
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2014-10-01 23:10 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-12-06 16:01 bug#13101: Crash compiling big cond expression rixed
2014-05-11 18:17 ` bug#13101: Probably duplicate David Kastrup
2014-06-02 1:00 ` Mark H Weaver
2014-10-01 23:10 ` bug#13101: Crash compiling big cond expression Mark H Weaver
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).