((/parallel/proofs/ideal-speedup.lisp::countdown (nil nil nil nil (cond) nil nil) (nil nil ((mbe :logic (zp n1) :exec (eql n1 0)) (mbe :logic (zp n2) :exec (eql n2 0)) t) nil nil nil nil) (nil nil nil (cond) nil (recursive-call recursive-call) nil) ((n2-top n2-top n1 n2-top) nil ((mbe :logic (zp n2) :exec (eql n2 0)) t) (the the) (if if) nil nil) ((acc) (0 0) (unsigned-byte 1- unsigned-byte 1-) (< the < the) nil (recursive-call) nil) ((n1 n2-top n1 acc n2 acc) (26 100 26 100) (1+ 1+) (the integer integer) (if) nil nil) ((acc acc) (0 0 100 0 100) (unsigned-byte 1-) (< the) nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::countdown-wrapper-4-way (nil nil nil nil (if) nil nil) (nil nil nil (equal) nil (countdown countdown) nil) ((x *4-way-duration-factor* *4-way-duration-factor* *4-way-duration-factor* *4-way-duration-factor*) (1 2000000 0 2000001 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::countdown-wrapper-8-way (nil nil nil nil (if) nil nil) (nil nil nil (equal) nil (countdown countdown) nil) ((x *8-way-duration-factor* *8-way-duration-factor* *8-way-duration-factor* *8-way-duration-factor*) (1 2000000 0 2000001 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::countdown-wrapper-20-way (nil nil nil nil (if) nil nil) (nil nil nil (equal) nil (countdown countdown) nil) ((x *20-way-duration-factor* *20-way-duration-factor* *20-way-duration-factor* *20-way-duration-factor*) (1 2000000 0 2000001 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::countdown-wrapper-32-way (nil nil nil nil (if) nil nil) (nil nil nil (equal) nil (countdown countdown) nil) ((x *32-way-duration-factor* *32-way-duration-factor* *32-way-duration-factor* *32-way-duration-factor*) (1 2000000 0 2000001 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::countdown-wrapper-40-way (nil nil nil nil (if) nil nil) (nil nil nil (equal) nil (countdown countdown) nil) ((x *40-way-duration-factor* *40-way-duration-factor* *40-way-duration-factor* *40-way-duration-factor*) (1 2000000 0 2000001 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p1-4-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (11) (countdown-wrapper-4-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p2-4-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (12) (countdown-wrapper-4-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p3-4-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (13) (countdown-wrapper-4-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p4-4-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (14) (countdown-wrapper-4-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p1-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (11) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p2-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (12) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p3-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (13) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p4-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (14) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p5-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (15) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p6-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (16) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p7-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (17) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p8-8-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (18) (countdown-wrapper-8-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p1-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (11) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p2-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (12) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p3-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (13) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p4-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (14) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p5-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (15) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p6-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (16) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p7-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (17) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p8-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (18) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p9-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (19) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p10-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (20) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p11-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (21) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p12-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (22) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p13-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (23) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p14-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (24) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p15-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (25) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p16-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (26) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p17-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (27) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p18-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (28) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p19-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (29) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p20-20-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (30) (countdown-wrapper-20-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p1-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (11) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p2-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (12) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p3-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (13) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p4-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (14) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p5-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (15) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p6-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (16) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p7-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (17) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p8-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (18) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p9-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (19) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p10-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (20) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p11-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (21) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p12-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (22) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p13-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (23) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p14-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (24) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p15-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (25) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p16-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (26) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p17-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (27) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p18-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (28) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p19-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (29) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p20-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (30) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p21-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (31) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p22-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (32) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p23-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (33) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p24-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (34) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p25-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (35) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p26-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (36) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p27-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (37) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p28-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (38) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p29-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (39) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p30-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (32) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p31-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (41) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p32-32-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (42) (countdown-wrapper-32-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p1-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (11) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p2-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (12) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p3-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (13) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p4-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (14) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p5-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (15) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p6-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (16) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p7-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (17) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p8-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (18) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p9-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (19) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p10-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (20) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p11-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (21) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p12-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (22) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p13-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (23) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p14-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (24) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p15-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (25) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p16-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (26) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p17-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (27) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p18-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (28) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p19-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (29) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p20-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (30) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p21-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (31) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p22-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (32) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p23-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (33) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p24-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (34) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p25-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (35) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p26-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (36) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p27-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (37) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p28-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (38) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p29-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (39) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p30-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (40) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p31-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (41) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p32-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (42) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p33-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (43) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p34-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (44) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p35-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (45) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p36-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (46) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p37-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (47) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p38-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (48) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p39-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (49) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/proofs/ideal-speedup.lisp::p40-40-way (nil nil (not) nil nil nil nil) (nil nil nil (equal) nil nil nil) (nil (50) (countdown-wrapper-40-way) nil nil nil nil) ((n) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))