chap7.log

Concrete_Mathematics_2nd_Ed_TeX_Source_Code

This is TeX, Version 3.141 (C version d) (format=plain 95.3.26)  27 SEP 1995 10:11
**chap7
(chap7.tex (gkpmac.tex (chap7.ref)) (bib.ref) (chap2.ref) (chap4.ref)
(chap5.ref) (chap6.ref)
%% goal height=543.0, max depth=4.0
% t=51.55556 g=543.0 b=10000 p=0 c=100000#
% t=142.94109 minus 5.0 g=543.0 b=10000 p=0 c=100000#
% t=155.10332 minus 5.0 g=543.0 b=10000 p=0 c=100000#
% t=171.10332 plus 2.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=184.10332 plus 2.0 minus 6.0 g=543.0 b=10000 p=100 c=100000#
% t=197.10332 plus 2.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=210.10332 plus 2.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=225.04776 plus 2.0 minus 6.0 g=543.0 b=10000 p=-200 c=100000#
% t=275.10332 plus 4.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=288.10332 plus 4.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=301.10332 plus 4.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=314.10332 plus 4.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=327.10332 plus 4.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=340.10332 plus 5.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=353.10332 plus 5.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=366.10332 plus 5.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=379.10332 plus 5.0 minus 6.0 g=543.0 b=10000 p=100 c=100000#
% t=392.10332 plus 5.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=405.10332 plus 5.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=418.10332 plus 5.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=431.10332 plus 6.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=444.10332 plus 6.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=457.10332 plus 6.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=470.10332 plus 7.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=483.10332 plus 7.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=496.10332 plus 7.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=509.10332 plus 7.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=522.10332 plus 7.0 minus 6.0 g=543.0 b=2653 p=0 c=2653#
% t=535.10332 plus 7.0 minus 6.0 g=543.0 b=143 p=0 c=143#
% t=548.10332 plus 7.0 minus 6.0 g=543.0 b=61 p=0 c=61#
% t=561.10332 plus 7.0 minus 6.0 g=543.0 b=* p=0 c=*
 [321
Bad guess!
]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=0 c=100000#
% t=23.0 g=543.0 b=10000 p=0 c=100000#
% t=36.0 g=543.0 b=10000 p=0 c=100000#
% t=49.0 g=543.0 b=10000 p=0 c=100000#
% t=62.0 g=543.0 b=10000 p=150 c=100000#
% t=75.0 g=543.0 b=10000 p=0 c=100000#
% t=88.0 plus 1.0 g=543.0 b=10000 p=150 c=100000#
% t=101.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=114.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=127.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=140.0 plus 1.0 g=543.0 b=10000 p=150 c=100000#
% t=153.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=204.4 plus 5.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=227.4 plus 8.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=240.4 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=253.4 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=266.4 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=279.4 plus 8.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=315.4 plus 11.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=338.4 plus 14.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=351.4 plus 14.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=364.4 plus 14.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=377.4 plus 14.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=390.4 plus 15.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=403.4 plus 15.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=416.4 plus 15.0 minus 8.0 g=543.0 b=10000 p=50 c=100000#
% t=453.23184 plus 18.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=475.4 plus 21.0 minus 12.0 g=543.0 b=3333 p=150 c=3483#
% t=488.4 plus 21.0 minus 12.0 g=543.0 b=1755 p=0 c=1755#
% t=501.4 plus 21.0 minus 12.0 g=543.0 b=776 p=150 c=926#
% t=514.4 plus 21.0 minus 12.0 g=543.0 b=252 p=0 c=252#
% t=527.4 plus 22.0 minus 12.0 g=543.0 b=35 p=150 c=185#
% t=540.4 plus 22.0 minus 12.0 g=543.0 b=0 p=0 c=0#
% t=553.4 plus 22.0 minus 12.0 g=543.0 b=65 p=150 c=215
% t=566.4 plus 22.0 minus 12.0 g=543.0 b=* p=0 c=*
 [322
Bad guess!
]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=150 c=100000#
% t=23.0 g=543.0 b=10000 p=0 c=100000#
% t=36.0 plus 1.0 g=543.0 b=10000 p=150 c=100000#
% t=49.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=62.0 plus 1.0 g=543.0 b=10000 p=150 c=100000#
% t=75.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=88.0 plus 2.0 g=543.0 b=10000 p=150 c=100000#
% t=101.0 plus 2.0 g=543.0 b=10000 p=150 c=100000#
% t=114.0 plus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=150.0 plus 6.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=165.0 plus 6.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=180.83185 plus 6.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=203.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=216.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=100 c=100000#
% t=229.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=242.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=255.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=268.0 plus 10.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=281.0 plus 10.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=319.49825 plus 13.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=363.0 plus 19.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=378.0 plus 19.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=410.4 plus 19.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=433.4 plus 22.0 minus 12.0 g=543.0 b=10000 p=300 c=100000#
% t=446.4 plus 22.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=459.4 plus 23.0 minus 12.0 g=543.0 b=4792 p=150 c=4942#
% t=472.4 plus 23.0 minus 12.0 g=543.0 b=2884 p=0 c=2884#
% t=485.4 plus 23.0 minus 12.0 g=543.0 b=1565 p=50 c=1615#
% t=532.35643 plus 26.0 minus 14.0 g=543.0 b=7 p=0 c=7#
% t=550.85643 plus 29.0 minus 16.0 g=543.0 b=12 p=150 c=162
% t=563.85643 plus 29.0 minus 16.0 g=543.0 b=* p=0 c=*
 [323
Bad guess!
]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=150 c=100000#
% t=23.0 g=543.0 b=10000 p=0 c=100000#
% t=36.0 g=543.0 b=10000 p=150 c=100000#
% t=49.0 g=543.0 b=10000 p=0 c=100000#
% t=92.31494 plus 4.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=114.25938 plus 7.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=127.25938 plus 7.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=169.66026 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=184.155 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=199.155 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=222.155 plus 13.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=235.155 plus 13.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=248.155 plus 13.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=261.155 plus 14.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=274.155 plus 14.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=287.155 plus 14.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=300.155 plus 14.0 minus 8.0 g=543.0 b=10000 p=50 c=100000#
% t=336.155 plus 17.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=359.155 plus 20.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=372.155 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=385.155 plus 20.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=398.155 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=411.155 plus 21.0 minus 12.0 g=543.0 b=10000 p=200 c=100000#
% t=455.22227 plus 24.0 minus 14.0 g=543.0 b=4886 p=0 c=4886#
% t=482.68828 plus 24.0 minus 14.0 g=543.0 b=1584 p=0 c=1584#
% t=514.5233 plus 24.0 minus 14.0 g=543.0 b=166 p=0 c=166#
% t=550.35832 plus 24.0 minus 14.0 g=543.0 b=14 p=0 c=14#
% t=568.85832 plus 27.0 minus 16.0 g=543.0 b=* p=150 c=*
 [324]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=150 c=100000#
% t=23.77287 g=543.0 b=10000 p=0 c=100000#
% t=36.0 g=543.0 b=10000 p=0 c=100000#
% t=49.0 g=543.0 b=10000 p=0 c=100000#
% t=62.0 g=543.0 b=10000 p=150 c=100000#
% t=75.0 g=543.0 b=10000 p=0 c=100000#
% t=88.0 plus 1.0 g=543.0 b=10000 p=150 c=100000#
% t=101.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=114.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=127.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=140.0 plus 1.0 g=543.0 b=10000 p=50 c=100000#
% t=189.3705 plus 4.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=207.8705 plus 7.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=220.8705 plus 7.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=233.8705 plus 7.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=246.8705 plus 8.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=259.8705 plus 8.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=272.8705 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=285.8705 plus 9.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=298.8705 plus 9.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=344.81517 plus 12.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=367.31517 plus 15.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=380.31517 plus 15.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=393.31517 plus 15.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=406.31517 plus 15.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=419.31517 plus 15.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=432.31517 plus 15.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=445.31517 plus 16.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=458.31517 plus 16.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=471.31517 plus 16.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=484.31517 plus 16.0 minus 8.0 g=543.0 b=4927 p=0 c=4927#
% t=497.31517 plus 16.0 minus 8.0 g=543.0 b=2326 p=0 c=2326#
% t=510.31517 plus 16.0 minus 8.0 g=543.0 b=849 p=0 c=849#
% t=523.31517 plus 16.0 minus 8.0 g=543.0 b=185 p=150 c=335#
% t=536.31517 plus 16.0 minus 8.0 g=543.0 b=7 p=0 c=7#
% t=549.31517 plus 17.0 minus 8.0 g=543.0 b=49 p=300 c=349
% t=562.31517 plus 17.0 minus 8.0 g=543.0 b=* p=0 c=*
 [325
Bad guess!
]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=300 c=100000#
% t=23.0 g=543.0 b=10000 p=0 c=100000#
% t=36.0 plus 1.0 g=543.0 b=10000 p=150 c=100000#
% t=49.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=62.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=75.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=88.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=101.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=114.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=127.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=140.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=153.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=166.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=179.0 plus 1.0 g=543.0 b=10000 p=150 c=100000#
% t=192.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=228.83185 plus 5.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=251.0 plus 8.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=264.0 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=277.0 plus 8.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=313.0 plus 11.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=336.0 plus 14.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=349.0 plus 14.0 minus 8.0 g=543.0 b=10000 p=50 c=100000#
% t=385.0 plus 17.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=408.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=200 c=100000#
% t=444.0 plus 23.0 minus 14.0 g=543.0 b=7963 p=0 c=7963#
% t=467.0 plus 26.0 minus 16.0 g=543.0 b=2495 p=200 c=2695#
% t=503.0 plus 29.0 minus 18.0 g=543.0 b=261 p=0 c=261#
% t=518.0 plus 29.0 minus 18.0 g=543.0 b=64 p=0 c=64#
% t=541.0 plus 32.0 minus 20.0 g=543.0 b=0 p=150 c=150
% t=554.0 plus 32.0 minus 20.0 g=543.0 b=17 p=50 c=67
% t=594.0 plus 35.0 minus 22.0 g=543.0 b=* p=0 c=*
 [326]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=150 c=100000#
% t=23.0 g=543.0 b=10000 p=50 c=100000#
% t=63.0 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=82.0 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=142.30768 plus 9.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=162.30768 plus 12.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=175.30768 plus 13.0 minus 8.0 g=543.0 b=10000 p=200 c=100000#
% t=225.70097 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=258.70842 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=291.71587 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=324.31136 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=361.51503 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=397.98108 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=420.48108 plus 19.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=433.48108 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=446.48108 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=459.48108 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=472.48108 plus 19.0 minus 12.0 g=543.0 b=5105 p=0 c=5105#
% t=485.48108 plus 19.0 minus 12.0 g=543.0 b=2772 p=150 c=2922#
% t=498.48108 plus 19.0 minus 12.0 g=543.0 b=1281 p=0 c=1281#
% t=511.48108 plus 20.0 minus 12.0 g=543.0 b=391 p=150 c=541#
% t=524.48108 plus 20.0 minus 12.0 g=543.0 b=79 p=0 c=79#
% t=537.48108 plus 20.0 minus 12.0 g=543.0 b=2 p=0 c=2#
% t=550.48108 plus 20.0 minus 12.0 g=543.0 b=24 p=0 c=24
% t=563.48108 plus 20.0 minus 12.0 g=543.0 b=* p=0 c=*