* Program to make parameter file for proof program * * version 2.0 (rev. 01/01/95) * str file.60 int i,j,k,notesize,a,b int hpar(200),vpar(200),wak(9),zak(2,6) * putc Notesize? getc notesize file = chs(notesize) open [1,2] file * * Vertical parameters * ------------------- * loop for i = 1 to 10 vpar(i) = i * 8 repeat vpar(11) = 4 vpar(12) = 7 vpar(13) = 42 vpar(14) = 7 vpar(15) = 30 vpar(16) = 13 vpar(17) = 6 vpar(18) = 9 vpar(19) = 7 vpar(20) = 22 vpar(21) = 27 vpar(22) = 4 vpar(23) = 64 vpar(24) = 40 * loop for i = 1 to 24 vpar(i) = vpar(i) * notesize / 16 repeat * vpar(31) = 14 * notesize + 8 / 16 vpar(32) = 0 /* was 8 vpar(33) = 5 * notesize / 3 vpar(34) = 0 /* was 121 vpar(35) = 0 /* was 15 vpar(36) = 12 * notesize + 6 / 16 vpar(37) = 3 * notesize - 8 / 16 vpar(38) = 84 * notesize / 16 vpar(39) = 15 * notesize / 16 vpar(40) = 3 * notesize vpar(41) = 3 * notesize / 2 vpar(42) = 3 * notesize / 2 vpar(43) = 5 * notesize / 2 vpar(44) = 5 * notesize / 2 vpar(45) = 8 * notesize vpar(46) = 4 * notesize vpar(47) = 10 * notesize vpar(48) = 3 * notesize / 2 vpar(49) = 7 * notesize vpar(50) = notesize vpar(51) = notesize vpar(52) = 5 * notesize / 4 vpar(53) = 2 * notesize vpar(54) = 5 * notesize / 4 vpar(55) = 3 * notesize / 2 vpar(56) = 4 * notesize / 3 vpar(57) = 3 * notesize / 2 vpar(58) = 3 * notesize / 2 vpar(59) = 6 * notesize / 4 vpar(60) = 3 * notesize / 2 vpar(61) = 3 * notesize / 2 vpar(62) = 9 * notesize / 4 vpar(63) = 2 * notesize vpar(64) = 3 * notesize / 2 if notesize = 14 vpar(65) = 11 end if notesize = 6 vpar(65) = 4 end if notesize = 21 vpar(65) = 15 end vpar(66) = 10 * notesize if notesize = 14 /* parameters for placing repeaters vpar(67) = 8 vpar(68) = 5 vpar(69) = 21 vpar(70) = 18 vpar(71) = 2 vpar(72) = 1 vpar(73) = 6 vpar(74) = 5 vpar(75) = 21 vpar(76) = 17 vpar(77) = 19 vpar(78) = 24 vpar(79) = 2 vpar(80) = 1 vpar(81) = 19 vpar(82) = 17 vpar(83) = 33 end if notesize = 6 /* parameters for placing repeaters vpar(67) = 3 vpar(68) = 2 vpar(69) = 9 vpar(70) = 8 vpar(71) = 1 vpar(72) = 0 vpar(73) = 3 vpar(74) = 2 vpar(75) = 9 vpar(76) = 7 vpar(77) = 8 vpar(78) = 10 vpar(79) = 1 vpar(80) = 0 vpar(81) = 8 vpar(82) = 7 vpar(83) = 14 end if notesize = 21 /* parameters for placing repeaters vpar(67) = 12 vpar(68) = 8 vpar(69) = 32 vpar(70) = 27 vpar(71) = 3 vpar(72) = 2 vpar(73) = 9 vpar(74) = 8 vpar(75) = 32 vpar(76) = 26 vpar(77) = 29 vpar(78) = 36 vpar(79) = 3 vpar(80) = 2 vpar(81) = 29 vpar(82) = 26 vpar(83) = 50 end * if notesize = 14 vpar(101) = 101 end if notesize = 6 vpar(101) = 44 end if notesize = 21 vpar(101) = 151 end * * Horizontal parameters * --------------------- * hpar(1) = 17 &dA &d@ hpar(2) = 21 hpar(3) = 18 &dA &d@ hpar(4) = 34 hpar(5) = 6 hpar(6) = 38 hpar(7) = 35 hpar(8) = 60 &dA &d@ hpar(9) = 18 hpar(10) = 24 hpar(11) = 15 hpar(12) = 19 hpar(13) = 4 hpar(14) = 55 hpar(15) = 35 hpar(16) = 25 hpar(17) = 11 hpar(18) = 33 * hpar(19) = 10 hpar(20) = 24 hpar(21) = 12 hpar(22) = 10 hpar(23) = 30 hpar(24) = 30 hpar(25) = 110 hpar(26) = 13 hpar(27) = 12 hpar(28) = 5 hpar(29) = 9 hpar(30) = 36 hpar(31) = 24 hpar(32) = 37 hpar(33) = 29 hpar(34) = 2 hpar(35) = 44 hpar(36) = 5 hpar(37) = 25 hpar(38) = 18 hpar(39) = 80 hpar(40) = 17 hpar(41) = 10 hpar(42) = 22 hpar(43) = 12 hpar(44) = 7 hpar(45) = 6 hpar(46) = 20 hpar(47) = 14 hpar(48) = 30 hpar(49) = 5 * loop for i = 1 to 50 hpar(i) = hpar(i) * notesize / 16 repeat if notesize = 6 hpar(44) = 3 hpar(45) = 3 end * hpar(51) = 18 * notesize + 8 / 16 hpar(52) = 7 * notesize + 2 / 7 hpar(53) = 13 * notesize + 2 / 16 if notesize = 14 hpar(2) = 18 hpar(4) = 29 hpar(9) = 15 hpar(54) = 4 hpar(55) = 0 /* not used, was 80 hpar(56) = 30 hpar(57) = 3 hpar(58) = 16 hpar(59) = 0 /* was 8 hpar(60) = 23 hpar(61) = 25 hpar(62) = 19 hpar(63) = 12 hpar(64) = 18 hpar(65) = 15 hpar(66) = 15 hpar(67) = 13 hpar(68) = 13 hpar(69) = 22 hpar(70) = 11 hpar(71) = 22 hpar(72) = 22 hpar(73) = 20 hpar(74) = 14 hpar(75) = 9 hpar(76) = 11 end if notesize = 6 hpar(2) = 7 hpar(4) = 12 hpar(9) = 6 hpar(54) = 2 hpar(55) = 0 hpar(56) = 30 hpar(57) = 1 hpar(58) = 7 hpar(59) = 0 hpar(60) = 10 hpar(61) = 11 hpar(62) = 8 hpar(63) = 5 hpar(64) = 7 hpar(65) = 6 hpar(66) = 7 hpar(67) = 6 hpar(68) = 6 hpar(69) = 10 hpar(70) = 5 hpar(71) = 11 hpar(72) = 10 hpar(73) = 9 hpar(74) = 7 hpar(75) = 4 hpar(76) = 5 end if notesize = 21 hpar(2) = 25 hpar(4) = 35 hpar(9) = 21 hpar(54) = 6 hpar(55) = 0 hpar(56) = 30 hpar(57) = 5 hpar(58) = 24 hpar(59) = 0 hpar(60) = 34 hpar(61) = 39 hpar(62) = 30 hpar(63) = 18 hpar(64) = 25 hpar(65) = 24 hpar(66) = 22 hpar(67) = 18 hpar(68) = 18 hpar(69) = 33 hpar(70) = 18 hpar(71) = 33 hpar(72) = 33 hpar(73) = 30 hpar(74) = 22 hpar(75) = 13 hpar(76) = 17 end hpar(77) = 3 * notesize / 2 hpar(78) = 4 * notesize / 3 if notesize = 14 hpar(79) = 2 hpar(80) = 6 hpar(81) = 7 hpar(82) = 19 hpar(83) = 24 hpar(84) = 28 hpar(85) = 6 hpar(86) = 38 hpar(87) = 27 hpar(88) = 15 hpar(89) = 3 hpar(90) = 2 hpar(91) = 13 hpar(92) = 25 hpar(93) = 2 end if notesize = 6 hpar(79) = 1 hpar(80) = 3 hpar(81) = 3 hpar(82) = 8 hpar(83) = 10 hpar(84) = 12 hpar(85) = 3 hpar(86) = 16 hpar(87) = 12 hpar(88) = 7 hpar(89) = 1 hpar(90) = 1 hpar(91) = 6 hpar(92) = 11 hpar(93) = 1 end if notesize = 21 hpar(79) = 4 hpar(80) = 9 hpar(81) = 12 hpar(82) = 29 hpar(83) = 35 hpar(84) = 43 hpar(85) = 9 hpar(86) = 57 hpar(87) = 41 hpar(88) = 23 hpar(89) = 4 hpar(90) = 3 hpar(91) = 20 hpar(92) = 37 hpar(93) = 4 end hpar(94) = hpar(2) >> 2 hpar(95) = hpar(85) + hpar(90) >> 1 if notesize = 14 hpar(96) = 7 hpar(97) = 21 hpar(98) = 11 hpar(99) = 1 end if notesize = 6 hpar(96) = 3 hpar(97) = 9 hpar(98) = 5 hpar(99) = 0 end if notesize = 21 hpar(96) = 12 hpar(97) = 28 hpar(98) = 17 hpar(99) = 2 end hpar(100) = hpar(82) - hpar(99) hpar(101) = hpar(82) - hpar(90) if notesize = 14 hpar(102) = 10 hpar(103) = 2 hpar(104) = 9 hpar(105) = 17 hpar(106) = 3 hpar(107) = 1 end if notesize = 6 hpar(102) = 4 hpar(103) = 1 hpar(104) = 4 hpar(105) = 7 hpar(106) = 2 hpar(107) = 1 end if notesize = 21 hpar(102) = 15 hpar(103) = 3 hpar(104) = 14 hpar(105) = 26 hpar(106) = 7 hpar(107) = 2 end * loop for i = 1 to 200 putf [1] ~vpar(i) repeat loop for i = 1 to 200 putf [1] ~hpar(i) repeat * a = 4 b = 3 * wak(1) = 128 wak(2) = 156 wak(3) = 131 wak(4) = 143 wak(5) = 127 wak(6) = 140 wak(7) = 128 wak(8) = 129 wak(9) = 130 * zak(1,1) = b zak(1,2) = 0 - a zak(1,3) = b zak(1,4) = b zak(1,5) = 0 - a zak(1,6) = b zak(2,1) = 0 - b zak(2,2) = a zak(2,3) = 0 - b zak(2,4) = a zak(2,5) = 0 - b zak(2,6) = a * loop for i = 1 to 9 putf [1] ~wak(i) repeat loop for a = 1 to 2 loop for b = 1 to 6 putf [1] ~zak(a,b) repeat repeat * run