![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to BLOCKDATA0.f CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / pfort|
Return to BLOCKDATA0.f CVS log | Up to [Research Unix] / researchv10no / cmd / pfort |
researchv10 Norman
BLOCK DATA
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C PFORT VERIFIER
C
C B. G. RYDER
C A. D. HALL
C
C BELL LABORATORIES, MURRAY HILL, NEW JERSEY 07974
C
C
C COPYRIGHT C 1978, BELL TELEPHONE LABORATORIES, INCOR-
C PORATED. GENERAL PERMISSION IS GRANTED TO MAKE AND
C DISTRIBUTE UNMODIFIED COMPLETE COPIES OF THIS COMPUTER
C PROGRAM, BUT NOT FOR PROFIT, PROVIDED THAT THIS COPYRIGHT
C NOTICE AND STATEMENT ARE INCLUDED.
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
C
INTEGER Z
COMMON /INTS/ Z(346)
DATA Z(1) /3/
DATA Z(2) /1HA/
DATA Z(3) /1HB/
DATA Z(4) /1HS/
DATA Z(5) /201/
DATA Z(6) /4/
DATA Z(7) /1HI/
DATA Z(8) /1HA/
DATA Z(9) /1HB/
DATA Z(10) /1HS/
DATA Z(11) /210/
DATA Z(12) /4/
DATA Z(13) /1HD/
DATA Z(14) /1HA/
DATA Z(15) /1HB/
DATA Z(16) /1HS/
DATA Z(17) /192/
DATA Z(18) /4/
DATA Z(19) /1HA/
DATA Z(20) /1HI/
DATA Z(21) /1HN/
DATA Z(22) /1HT/
DATA Z(23) /201/
DATA Z(24) /3/
DATA Z(25) /1HI/
DATA Z(26) /1HN/
DATA Z(27) /1HT/
DATA Z(28) /202/
DATA Z(29) /5/
DATA Z(30) /1HI/
DATA Z(31) /1HD/
DATA Z(32) /1HI/
DATA Z(33) /1HN/
DATA Z(34) /1HT/
DATA Z(35) /194/
DATA Z(36) /4/
DATA Z(37) /1HA/
DATA Z(38) /1HM/
DATA Z(39) /1HO/
DATA Z(40) /1HD/
DATA Z(41) /329/
DATA Z(42) /3/
DATA Z(43) /1HM/
DATA Z(44) /1HO/
DATA Z(45) /1HD/
DATA Z(46) /338/
DATA Z(47) /5/
DATA Z(48) /1HA/
DATA Z(49) /1HM/
DATA Z(50) /1HA/
DATA Z(51) /1HX/
DATA Z(52) /1H0/
DATA Z(53) /273/
DATA Z(54) /5/
DATA Z(55) /1HA/
DATA Z(56) /1HM/
DATA Z(57) /1HA/
DATA Z(58) /1HX/
DATA Z(59) /1H1/
DATA Z(60) /265/
DATA Z(61) /4/
DATA Z(62) /1HM/
DATA Z(63) /1HA/
DATA Z(64) /1HX/
DATA Z(65) /1H0/
DATA Z(66) /274/
DATA Z(67) /4/
DATA Z(68) /1HM/
DATA Z(69) /1HA/
DATA Z(70) /1HX/
DATA Z(71) /1H1/
DATA Z(72) /266/
DATA Z(73) /5/
DATA Z(74) /1HD/
DATA Z(75) /1HM/
DATA Z(76) /1HA/
DATA Z(77) /1HX/
DATA Z(78) /1H1/
DATA Z(79) /256/
DATA Z(80) /5/
DATA Z(81) /1HA/
DATA Z(82) /1HM/
DATA Z(83) /1HI/
DATA Z(84) /1HN/
DATA Z(85) /1H0/
DATA Z(86) /273/
DATA Z(87) /5/
DATA Z(88) /1HA/
DATA Z(89) /1HM/
DATA Z(90) /1HI/
DATA Z(91) /1HN/
DATA Z(92) /1H1/
DATA Z(93) /265/
DATA Z(94) /4/
DATA Z(95) /1HM/
DATA Z(96) /1HI/
DATA Z(97) /1HN/
DATA Z(98) /1H0/
DATA Z(99) /274/
DATA Z(100) /4/
DATA Z(101) /1HM/
DATA Z(102) /1HI/
DATA Z(103) /1HN/
DATA Z(104) /1H1/
DATA Z(105) /266/
DATA Z(106) /5/
DATA Z(107) /1HD/
DATA Z(108) /1HM/
DATA Z(109) /1HI/
DATA Z(110) /1HN/
DATA Z(111) /1H1/
DATA Z(112) /256/
DATA Z(113) /5/
DATA Z(114) /1HF/
DATA Z(115) /1HL/
DATA Z(116) /1HO/
DATA Z(117) /1HA/
DATA Z(118) /1HT/
DATA Z(119) /209/
DATA Z(120) /4/
DATA Z(121) /1HI/
DATA Z(122) /1HF/
DATA Z(123) /1HI/
DATA Z(124) /1HX/
DATA Z(125) /202/
DATA Z(126) /4/
DATA Z(127) /1HS/
DATA Z(128) /1HI/
DATA Z(129) /1HG/
DATA Z(130) /1HN/
DATA Z(131) /329/
DATA Z(132) /5/
DATA Z(133) /1HI/
DATA Z(134) /1HS/
DATA Z(135) /1HI/
DATA Z(136) /1HG/
DATA Z(137) /1HN/
DATA Z(138) /338/
DATA Z(139) /5/
DATA Z(140) /1HD/
DATA Z(141) /1HS/
DATA Z(142) /1HI/
DATA Z(143) /1HG/
DATA Z(144) /1HN/
DATA Z(145) /320/
DATA Z(146) /3/
DATA Z(147) /1HD/
DATA Z(148) /1HI/
DATA Z(149) /1HM/
DATA Z(150) /329/
DATA Z(151) /4/
DATA Z(152) /1HI/
DATA Z(153) /1HD/
DATA Z(154) /1HI/
DATA Z(155) /1HM/
DATA Z(156) /338/
DATA Z(157) /4/
DATA Z(158) /1HS/
DATA Z(159) /1HN/
DATA Z(160) /1HG/
DATA Z(161) /1HL/
DATA Z(162) /193/
DATA Z(163) /4/
DATA Z(164) /1HR/
DATA Z(165) /1HE/
DATA Z(166) /1HA/
DATA Z(167) /1HL/
DATA Z(168) /217/
DATA Z(169) /5/
DATA Z(170) /1HA/
DATA Z(171) /1HI/
DATA Z(172) /1HM/
DATA Z(173) /1HA/
DATA Z(174) /1HG/
DATA Z(175) /217/
DATA Z(176) /4/
DATA Z(177) /1HD/
DATA Z(178) /1HB/
DATA Z(179) /1HL/
DATA Z(180) /1HE/
DATA Z(181) /200/
DATA Z(182) /5/
DATA Z(183) /1HC/
DATA Z(184) /1HM/
DATA Z(185) /1HP/
DATA Z(186) /1HL/
DATA Z(187) /1HX/
DATA Z(188) /331/
DATA Z(189) /5/
DATA Z(190) /1HC/
DATA Z(191) /1HO/
DATA Z(192) /1HN/
DATA Z(193) /1HJ/
DATA Z(194) /1HG/
DATA Z(195) /219/
DATA Z(196) /3/
DATA Z(197) /1HE/
DATA Z(198) /1HX/
DATA Z(199) /1HP/
DATA Z(200) /713/
DATA Z(201) /4/
DATA Z(202) /1HD/
DATA Z(203) /1HE/
DATA Z(204) /1HX/
DATA Z(205) /1HP/
DATA Z(206) /704/
DATA Z(207) /4/
DATA Z(208) /1HC/
DATA Z(209) /1HE/
DATA Z(210) /1HX/
DATA Z(211) /1HP/
DATA Z(212) /731/
DATA Z(213) /4/
DATA Z(214) /1HA/
DATA Z(215) /1HL/
DATA Z(216) /1HO/
DATA Z(217) /1HG/
DATA Z(218) /713/
DATA Z(219) /4/
DATA Z(220) /1HD/
DATA Z(221) /1HL/
DATA Z(222) /1HO/
DATA Z(223) /1HG/
DATA Z(224) /704/
DATA Z(225) /4/
DATA Z(226) /1HC/
DATA Z(227) /1HL/
DATA Z(228) /1HO/
DATA Z(229) /1HG/
DATA Z(230) /731/
DATA Z(231) /6/
DATA Z(232) /1HA/
DATA Z(233) /1HL/
DATA Z(234) /1HO/
DATA Z(235) /1HG/
DATA Z(236) /1H1/
DATA Z(237) /1H0/
DATA Z(238) /713/
DATA Z(239) /6/
DATA Z(240) /1HD/
DATA Z(241) /1HL/
DATA Z(242) /1HO/
DATA Z(243) /1HG/
DATA Z(244) /1H1/
DATA Z(245) /1H0/
DATA Z(246) /704/
DATA Z(247) /3/
DATA Z(248) /1HS/
DATA Z(249) /1HI/
DATA Z(250) /1HN/
DATA Z(251) /713/
DATA Z(252) /4/
DATA Z(253) /1HD/
DATA Z(254) /1HS/
DATA Z(255) /1HI/
DATA Z(256) /1HN/
DATA Z(257) /704/
DATA Z(258) /4/
DATA Z(259) /1HC/
DATA Z(260) /1HS/
DATA Z(261) /1HI/
DATA Z(262) /1HN/
DATA Z(263) /731/
DATA Z(264) /3/
DATA Z(265) /1HC/
DATA Z(266) /1HO/
DATA Z(267) /1HS/
DATA Z(268) /713/
DATA Z(269) /4/
DATA Z(270) /1HD/
DATA Z(271) /1HC/
DATA Z(272) /1HO/
DATA Z(273) /1HS/
DATA Z(274) /704/
DATA Z(275) /4/
DATA Z(276) /1HC/
DATA Z(277) /1HC/
DATA Z(278) /1HO/
DATA Z(279) /1HS/
DATA Z(280) /731/
DATA Z(281) /4/
DATA Z(282) /1HT/
DATA Z(283) /1HA/
DATA Z(284) /1HN/
DATA Z(285) /1HH/
DATA Z(286) /713/
DATA Z(287) /4/
DATA Z(288) /1HS/
DATA Z(289) /1HQ/
DATA Z(290) /1HR/
DATA Z(291) /1HT/
DATA Z(292) /713/
DATA Z(293) /5/
DATA Z(294) /1HD/
DATA Z(295) /1HS/
DATA Z(296) /1HQ/
DATA Z(297) /1HR/
DATA Z(298) /1HT/
DATA Z(299) /704/
DATA Z(300) /5/
DATA Z(301) /1HC/
DATA Z(302) /1HS/
DATA Z(303) /1HQ/
DATA Z(304) /1HR/
DATA Z(305) /1HT/
DATA Z(306) /731/
DATA Z(307) /4/
DATA Z(308) /1HA/
DATA Z(309) /1HT/
DATA Z(310) /1HA/
DATA Z(311) /1HN/
DATA Z(312) /713/
DATA Z(313) /5/
DATA Z(314) /1HD/
DATA Z(315) /1HA/
DATA Z(316) /1HT/
DATA Z(317) /1HA/
DATA Z(318) /1HN/
DATA Z(319) /704/
DATA Z(320) /5/
DATA Z(321) /1HA/
DATA Z(322) /1HT/
DATA Z(323) /1HA/
DATA Z(324) /1HN/
DATA Z(325) /1H2/
DATA Z(326) /841/
DATA Z(327) /6/
DATA Z(328) /1HD/
DATA Z(329) /1HA/
DATA Z(330) /1HT/
DATA Z(331) /1HA/
DATA Z(332) /1HN/
DATA Z(333) /1H2/
DATA Z(334) /832/
DATA Z(335) /4/
DATA Z(336) /1HD/
DATA Z(337) /1HM/
DATA Z(338) /1HO/
DATA Z(339) /1HD/
DATA Z(340) /832/
DATA Z(341) /4/
DATA Z(342) /1HC/
DATA Z(343) /1HA/
DATA Z(344) /1HB/
DATA Z(345) /1HS/
DATA Z(346) /729/
END
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.