This is TeX, Version 3.1415 for SunOS (preloaded format=plain 93.6.26) 23 FEB 1994 17:04 **err9 (err9.tex (../gkpmac.tex (err9.ref)) %% goal height=543.0, max depth=4.0 % t=10.0 plus 60.0 g=543.0 b=10000 p=0 c=100000# % t=100.54776 plus 60.0 minus 5.0 g=543.0 b=10000 p=0 c=100000# % t=113.54776 plus 60.0 minus 5.0 g=543.0 b=10000 p=0 c=100000# % t=129.54776 plus 62.0 minus 6.0 g=543.0 b=10000 p=150 c=100000# % t=142.54776 plus 62.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=155.54776 plus 62.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=168.54776 plus 62.0 minus 6.0 g=543.0 b=10000 p=150 c=100000# % t=181.54776 plus 62.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=194.54776 plus 63.0 minus 6.0 g=543.0 b=10000 p=150 c=100000# % t=207.54776 plus 63.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=220.54776 plus 63.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=233.54776 plus 63.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=246.54776 plus 63.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=259.54776 plus 63.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=272.54776 plus 63.0 minus 6.0 g=543.0 b=7907 p=150 c=8057# % t=285.54776 plus 63.0 minus 6.0 g=543.0 b=6808 p=0 c=6808# % t=370.81775 plus 63.0 minus 6.0 g=543.0 b=2035 p=0 c=2035# % t=410.81775 plus 66.0 minus 8.0 g=543.0 b=800 p=-200 c=600# % t=435.81775 plus 70.0 minus 12.0 g=543.0 b=357 p=0 c=357# % t=475.81775 plus 73.0 minus 14.0 g=543.0 b=78 p=-200 c=-122# % t=500.81775 plus 77.0 minus 18.0 g=543.0 b=16 p=0 c=16 % t=540.81775 plus 80.0 minus 20.0 g=543.0 b=0 p=-200 c=-200# % t=565.81775 plus 84.0 minus 24.0 g=543.0 b=86 p=0 c=86 % t=615.43346 plus 90.0 minus 28.0 g=543.0 b=* p=0 c=* [627 ] %% goal height=543.0, max depth=4.0 % t=10.0 plus 60.0 g=543.0 b=10000 p=0 c=100000# % t=59.6157 plus 66.0 minus 4.0 g=543.0 b=10000 p=0 c=100000# % t=63.6157 plus 66.0 minus 4.0 g=543.0 b=10000 p=-200 c=100000# % t=81.61044 plus 70.0 minus 8.0 g=543.0 b=10000 p=0 c=100000# % t=136.6567 plus 76.0 minus 12.0 g=543.0 b=10000 p=0 c=100000# % t=140.6567 plus 76.0 minus 12.0 g=543.0 b=10000 p=-200 c=100000# % t=156.15657 plus 80.0 minus 16.0 g=543.0 b=10000 p=0 c=100000# % t=196.15657 plus 83.0 minus 18.0 g=543.0 b=7291 p=0 c=7291# % t=212.92944 plus 85.0 minus 19.0 g=543.0 b=5847 p=-200 c=5647# % t=237.15657 plus 89.0 minus 23.0 g=543.0 b=4048 p=0 c=4048# % t=277.15657 plus 92.0 minus 25.0 g=543.0 b=2409 p=-200 c=2209# % t=302.15657 plus 96.0 minus 29.0 g=543.0 b=1577 p=0 c=1577# % t=367.7691 plus 102.0 minus 33.0 g=543.0 b=506 p=0 c=506# % t=371.7691 plus 102.0 minus 33.0 g=543.0 b=471 p=-200 c=271# % t=385.1691 plus 106.0 minus 37.0 g=543.0 b=329 p=0 c=329 % t=425.1691 plus 109.0 minus 39.0 g=543.0 b=126 p=300 c=426 % t=438.1691 plus 109.0 minus 39.0 g=543.0 b=88 p=-200 c=-112# % t=463.1691 plus 113.0 minus 43.0 g=543.0 b=35 p=0 c=35 % t=503.1691 plus 116.0 minus 45.0 g=543.0 b=4 p=-200 c=-196# % t=528.1691 plus 120.0 minus 49.0 g=543.0 b=0 p=0 c=0 % t=580.70927 plus 126.0 minus 53.0 g=543.0 b=36 p=0 c=36 % t=584.70927 plus 126.0 minus 53.0 g=543.0 b=48 p=-200 c=-152 % t=598.10927 plus 130.0 minus 57.0 g=543.0 b=90 p=0 c=90 % t=638.10927 plus 133.0 minus 59.0 g=543.0 b=* p=-200 c=* [628] %% goal height=543.0, max depth=4.0 % t=10.0 plus 60.0 g=543.0 b=10000 p=0 c=100000# % t=62.54018 plus 66.0 minus 4.0 g=543.0 b=10000 p=0 c=100000# % t=66.54018 plus 66.0 minus 4.0 g=543.0 b=10000 p=-200 c=100000# % t=79.94017 plus 70.0 minus 8.0 g=543.0 b=10000 p=0 c=100000# % t=119.94017 plus 73.0 minus 10.0 g=543.0 b=10000 p=-200 c=100000# % t=144.94017 plus 77.0 minus 14.0 g=543.0 b=10000 p=0 c=100000# % t=184.94017 plus 80.0 minus 16.0 g=543.0 b=10000 p=-200 c=100000# % t=209.94017 plus 84.0 minus 20.0 g=543.0 b=6220 p=0 c=6220# % t=252.94017 plus 90.0 minus 24.0 g=543.0 b=3343 p=0 c=3343# % t=256.44023 plus 90.0 minus 24.0 g=543.0 b=3219 p=-200 c=3019# % t=277.94017 plus 94.0 minus 28.0 g=543.0 b=2237 p=0 c=2237# % t=317.94017 plus 97.0 minus 30.0 g=543.0 b=1248 p=150 c=1398# % t=330.94017 plus 97.0 minus 30.0 g=543.0 b=1043 p=0 c=1043# % t=343.94017 plus 97.0 minus 30.0 g=543.0 b=862 p=0 c=862# % t=356.94017 plus 97.0 minus 30.0 g=543.0 b=703 p=0 c=703# % t=369.94017 plus 97.0 minus 30.0 g=543.0 b=565 p=150 c=715 % t=382.94017 plus 97.0 minus 30.0 g=543.0 b=449 p=-200 c=249# % t=407.94017 plus 101.0 minus 34.0 g=543.0 b=239 p=0 c=239# % t=447.94017 plus 104.0 minus 36.0 g=543.0 b=76 p=-200 c=-124# % t=472.94017 plus 108.0 minus 40.0 g=543.0 b=27 p=0 c=27 % t=512.94017 plus 111.0 minus 42.0 g=543.0 b=2 p=300 c=302 % t=525.94017 plus 111.0 minus 42.0 g=543.0 b=0 p=-200 c=-200# % t=550.94017 plus 115.0 minus 46.0 g=543.0 b=1 p=0 c=1 % t=590.94017 plus 118.0 minus 48.0 g=543.0 b=99 p=-200 c=-101 % t=615.94017 plus 122.0 minus 52.0 g=543.0 b=* p=0 c=* [629] %% goal height=543.0, max depth=4.0 % t=10.0 plus 60.0 g=543.0 b=10000 p=0 c=100000# % t=50.0 plus 63.0 minus 2.0 g=543.0 b=10000 p=-200 c=100000# % t=75.0 plus 67.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=131.20367 plus 73.0 minus 10.0 g=543.0 b=10000 p=0 c=100000# % t=135.20367 plus 73.0 minus 10.0 g=543.0 b=10000 p=-200 c=100000# % t=148.60367 plus 77.0 minus 14.0 g=543.0 b=10000 p=0 c=100000# % t=188.60367 plus 80.0 minus 16.0 g=543.0 b=10000 p=-200 c=100000# % t=213.60367 plus 84.0 minus 20.0 g=543.0 b=6016 p=0 c=6016# % t=264.22124 plus 90.0 minus 24.0 g=543.0 b=2961 p=0 c=2961# % t=268.22124 plus 90.0 minus 24.0 g=543.0 b=2837 p=-200 c=2637# % t=283.86348 plus 94.0 minus 28.0 g=543.0 b=2088 p=0 c=2088# % t=323.86348 plus 97.0 minus 30.0 g=543.0 b=1147 p=-200 c=947# % t=348.86348 plus 101.0 minus 34.0 g=543.0 b=706 p=0 c=706# % t=388.86348 plus 104.0 minus 36.0 g=543.0 b=325 p=-200 c=125# % t=413.86348 plus 108.0 minus 40.0 g=543.0 b=171 p=0 c=171 % t=453.86348 plus 111.0 minus 42.0 g=543.0 b=51 p=-200 c=-149# % t=478.86348 plus 115.0 minus 46.0 g=543.0 b=17 p=0 c=17 % t=518.86348 plus 118.0 minus 48.0 g=543.0 b=1 p=-200 c=-199# % t=543.86348 plus 122.0 minus 52.0 g=543.0 b=0 p=0 c=0 % t=583.86348 plus 125.0 minus 54.0 g=543.0 b=43 p=-200 c=-157 % t=608.86348 plus 129.0 minus 58.0 g=543.0 b=* p=0 c=* [630] %% goal height=543.0, max depth=4.0 % t=10.0 plus 60.0 g=543.0 b=10000 p=0 c=100000# % t=50.0 plus 63.0 minus 2.0 g=543.0 b=10000 p=-200 c=100000# % t=75.0 plus 67.0 minus 6.0 g=543.0 b=10000 p=0 c=100000# % t=118.0 plus 73.0 minus 10.0 g=543.0 b=10000 p=0 c=100000# % t=133.0 plus 73.0 minus 10.0 g=543.0 b=10000 p=0 c=100000# % t=148.0 plus 73.0 minus 10.0 g=543.0 b=10000 p=0 c=100000# % t=150.49825 plus 73.0 minus 10.0 g=543.0 b=10000 p=-200 c=100000# % t=173.0 plus 77.0 minus 14.0 g=543.0 b=10000 p=0 c=100000# % t=213.0 plus 80.0 minus 16.0 g=543.0 b=7012 p=300 c=7312# % t=226.0 plus 80.0 minus 16.0 g=543.0 b=6204 p=-200 c=6004# % t=251.0 plus 84.0 minus 20.0 g=543.0 b=4193 p=0 c=4193# % t=291.0 plus 87.0 minus 22.0 g=543.0 b=2426 p=-200 c=2226# % t=316.0 plus 91.0 minus 26.0 g=543.0 b=1546 p=0 c=1546# % t=356.0 plus 94.0 minus 28.0 g=543.0 b=783 p=-200 c=583# % t=381.0 plus 98.0 minus 32.0 g=543.0 b=449 p=0 c=449# % t=421.0 plus 101.0 minus 34.0 g=543.0 b=175 p=-200 c=-25# % t=446.0 plus 105.0 minus 38.0 g=543.0 b=78 p=0 c=78 % t=486.0 plus 108.0 minus 40.0 g=543.0 b=14 p=-200 c=-186# % t=511.0 plus 112.0 minus 44.0 g=543.0 b=2 p=0 c=2 % t=551.0 plus 115.0 minus 46.0 g=543.0 b=1 p=0 c=1 % t=552.94444 plus 115.0 plus 1.0fill minus 46.0 g=543.0 b=1 p=-20000 c=-20000# [631] ) Output written on err9.dvi (5 pages, 14456 bytes).