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