c7.log

Concrete_Mathematics_2nd_Ed_TeX_Source_Code

***** WARNING: Undefined reference |gf-special |! *****
% t=539.34329 plus 23.0 minus 12.0 g=543.0 b=0 p=150 c=250
% t=552.34329 plus 23.0 minus 12.0 g=543.0 b=47 p=0 c=147
% t=565.34329 plus 23.0 minus 12.0 g=543.0 b=* p=50 c=*
 [351]
%% goal height=543.0, max depth=4.0
% t=0.0 g=0.0 b=0 p=0 c=0#
% t=10.0 g=0.0 b=* p=150 c=*
 [352
New Pageref!
]
%% 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=50 c=100000#
% t=85.50017 plus 3.0 minus 5.0 g=543.0 b=10000 p=0 c=100000#
% t=108.97282 plus 6.0 minus 10.0 g=543.0 b=10000 p=150 c=100000#
% t=121.97282 plus 6.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=134.97282 plus 6.0 minus 10.0 g=543.0 b=10000 p=50 c=100000#
% t=179.84338 plus 9.0 minus 15.0 g=543.0 b=10000 p=0 c=100000#
% t=202.34338 plus 12.0 minus 20.0 g=543.0 b=10000 p=300 c=100000#
% t=215.34338 plus 12.0 minus 20.0 g=543.0 b=10000 p=0 c=100000#
% t=228.34338 plus 13.0 minus 20.0 g=543.0 b=10000 p=250 c=100000#
% t=241.34338 plus 13.0 minus 20.0 g=543.0 b=10000 p=50 c=100000#
% t=287.28806 plus 16.0 minus 25.0 g=543.0 b=10000 p=0 c=100000#
% t=309.2325 plus 19.0 minus 30.0 g=543.0 b=10000 p=0 c=100000#

***** WARNING: Undefined reference |gf-special |! *****
% t=322.2325 plus 20.0 minus 30.0 g=543.0 b=10000 p=200 c=100000#
% t=374.9117 plus 23.0 minus 35.0 g=543.0 b=10000 p=0 c=100000#
% t=392.85614 plus 26.0 minus 40.0 g=543.0 b=10000 p=300 c=100000#
% t=405.85614 plus 26.0 minus 40.0 g=543.0 b=10000 p=0 c=100000#
% t=418.88731 plus 27.0 minus 40.0 g=543.0 b=10000 p=150 c=100000#
% t=433.19952 plus 27.0 minus 40.0 g=543.0 b=6708 p=0 c=6708#
% t=446.16835 plus 27.0 minus 40.0 g=543.0 b=4608 p=50 c=4658#
% t=499.66858 plus 30.0 minus 45.0 g=543.0 b=299 p=0 c=299#
% t=529.66881 plus 30.0 minus 45.0 g=543.0 b=9 p=0 c=9#
% t=548.16881 plus 33.0 minus 50.0 g=543.0 b=0 p=200 c=200
% t=597.52237 plus 36.0 minus 55.0 g=543.0 b=97 p=-5000 c=-4903#
% t=620.02237 plus 40.0 minus 60.0 g=543.0 b=* p=250 c=*
 [353]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=250 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=50 c=100000#
% t=102.50017 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=103.0001 plus 6.0 minus 4.0 g=543.0 b=10000 p=-200 c=100000#
% t=155.0001 plus 8.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=168.0001 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=181.0001 plus 8.0 minus 4.0 g=543.0 b=10000 p=100 c=100000#
% t=194.0001 plus 8.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=207.0001 plus 8.0 minus 4.0 g=543.0 b=10000 p=-100 c=100000#
% t=239.0001 plus 12.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=252.0001 plus 12.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=265.0001 plus 12.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=278.0001 plus 12.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=291.0001 plus 13.0 minus 6.0 g=543.0 b=10000 p=150 c=100000#
% t=304.0001 plus 13.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=317.0001 plus 13.0 minus 6.0 g=543.0 b=10000 p=50 c=100000#
% t=373.57866 plus 16.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=405.57889 plus 16.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=444.22397 plus 17.0 minus 9.0 g=543.0 b=10000 p=0 c=100000#
% t=466.72398 plus 20.0 minus 11.0 g=543.0 b=5533 p=200 c=5733#
% t=517.66866 plus 23.0 minus 13.0 g=543.0 b=133 p=0 c=133#
% t=549.2915 plus 23.0 minus 13.0 g=543.0 b=11 p=0 c=11#
% t=605.7699 plus 29.0 minus 17.0 g=543.0 b=* p=0 c=*
 [354

]
%% goal height=543.0, max depth=4.0
% t=44.64508 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=107.31657 plus 9.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=125.26102 plus 12.0 minus 8.0 g=543.0 b=10000 p=300 c=100000#
% t=138.26102 plus 12.0 minus 8.0 g=543.0 b=10000 p=-100 c=100000#
% t=170.26102 plus 16.0 minus 10.0 g=543.0 b=10000 p=200 c=100000#
% t=218.72707 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#

***** WARNING: Undefined reference |gf-simp |! *****
% t=240.67151 plus 22.0 minus 14.0 g=543.0 b=10000 p=150 c=100000#
% t=253.67151 plus 22.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=266.67151 plus 22.0 minus 14.0 g=543.0 b=10000 p=50 c=100000#
% t=317.082 plus 25.0 minus 16.0 g=543.0 b=10000 p=0 c=100000#
% t=375.1189 plus 31.0 minus 20.0 g=543.0 b=10000 p=0 c=100000#
% t=405.11913 plus 31.0 minus 20.0 g=543.0 b=10000 p=0 c=100000#
% t=427.06357 plus 35.0 minus 22.0 g=543.0 b=3623 p=200 c=3823#
% t=472.0449 plus 38.0 minus 24.0 g=543.0 b=649 p=0 c=649#
% t=530.44435 plus 44.0 minus 28.0 g=543.0 b=2 p=0 c=2#
% t=561.44458 plus 44.0 minus 28.0 g=543.0 b=28 p=-100 c=-72#
% t=619.44481 plus 50.0 minus 32.0 g=543.0 b=* p=0 c=*
 [355]
%% goal height=543.0, max depth=4.0
% t=48.00023 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=78.00046 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=99.9449 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=149.3999 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=207.79935 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=238.79958 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=256.74402 plus 19.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=269.77519 plus 19.0 minus 12.0 g=543.0 b=10000 p=50 c=100000#
% t=321.41551 plus 22.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=337.3044 plus 22.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=358.35995 plus 25.0 minus 16.0 g=543.0 b=10000 p=300 c=100000#
% t=371.35995 plus 25.0 minus 16.0 g=543.0 b=10000 p=-100 c=100000#
% t=403.35995 plus 29.0 minus 18.0 g=543.0 b=10000 p=200 c=100000#
% t=450.69493 plus 32.0 minus 20.0 g=543.0 b=2393 p=0 c=2393#
% t=472.63937 plus 35.0 minus 22.0 g=543.0 b=812 p=250 c=1062#
% t=485.63937 plus 35.0 minus 22.0 g=543.0 b=438 p=50 c=488#
% t=555.21008 plus 41.0 minus 26.0 g=543.0 b=10 p=0 c=10#
% t=568.21008 plus 42.0 minus 26.0 g=543.0 b=90 p=150 c=240
% t=581.21008 plus 42.0 minus 26.0 g=543.0 b=* p=0 c=*
 [356
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=100 c=100000#
% t=49.0 g=543.0 b=10000 p=0 c=100000#
% t=62.0 g=543.0 b=10000 p=0 c=100000#
% t=75.0 g=543.0 b=10000 p=0 c=100000#
% t=88.0 g=543.0 b=10000 p=50 c=100000#
% t=222.49825 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=245.49825 plus 6.0 minus 4.0 g=543.0 b=10000 p=250 c=100000#
% t=258.49825 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=271.49825 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=284.49825 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=297.49825 plus 6.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=354.6833 plus 9.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=372.62775 plus 12.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=385.62775 plus 13.0 minus 8.0 g=543.0 b=10000 p=200 c=100000#
% t=431.74532 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=455.21797 plus 19.0 minus 12.0 g=543.0 b=10000 p=200 c=100000#
% t=497.87662 plus 22.0 minus 14.0 g=543.0 b=862 p=0 c=862#
% t=520.37662 plus 25.0 minus 16.0 g=543.0 b=73 p=300 c=373#
% t=533.37662 plus 25.0 minus 16.0 g=543.0 b=6 p=-100 c=-94#
% t=565.37662 plus 29.0 minus 18.0 g=543.0 b=* p=400 c=*
 [357
Bad guess!
]
%% goal height=543.0, max depth=4.0
% t=23.0 plus 1.0 g=543.0 b=10000 p=400 c=100000#
% t=36.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=49.0 plus 2.0 g=543.0 b=10000 p=150 c=100000#
% t=62.0 plus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=75.0 plus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=88.0 plus 2.0 g=543.0 b=10000 p=50 c=100000#
% t=130.0 plus 5.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=151.0 plus 5.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=174.0 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=187.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=200.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=213.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=226.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=239.0 plus 9.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=275.0 plus 12.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=298.0 plus 15.0 minus 8.0 g=543.0 b=10000 p=200 c=100000#
% t=347.01045 plus 18.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=400.45496 plus 24.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=430.96547 plus 24.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=464.47598 plus 25.0 minus 15.0 g=543.0 b=3088 p=0 c=3088#
% t=482.97072 plus 25.0 minus 15.0 g=543.0 b=1383 p=0 c=1383#
% t=505.97072 plus 28.0 minus 17.0 g=543.0 b=230 p=400 c=630#
% t=518.97072 plus 28.0 minus 17.0 g=543.0 b=63 p=0 c=63#
% t=564.6285 plus 32.0 minus 19.0 g=543.0 b=* p=0 c=*
 [358

]
%% goal height=543.0, max depth=4.0
% t=42.65778 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=64.60222 plus 6.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=77.60222 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=90.60222 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=103.60222 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=116.60222 plus 6.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=159.76175 plus 9.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=220.22078 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=282.48674 plus 22.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=313.95279 plus 22.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=338.265 plus 25.0 minus 16.0 g=543.0 b=10000 p=0 c=100000#
% t=352.265 plus 26.0 minus 16.0 g=543.0 b=10000 p=150 c=100000#
% t=365.265 plus 26.0 minus 16.0 g=543.0 b=10000 p=0 c=100000#
% t=378.265 plus 26.0 minus 16.0 g=543.0 b=10000 p=0 c=100000#
% t=391.265 plus 26.0 minus 16.0 g=543.0 b=10000 p=150 c=100000#
% t=404.265 plus 26.0 minus 16.0 g=543.0 b=10000 p=0 c=100000#
% t=417.265 plus 27.0 minus 16.0 g=543.0 b=10000 p=200 c=100000#
% t=453.265 plus 30.0 minus 18.0 g=543.0 b=2671 p=0 c=2671#
% t=499.265 plus 36.0 minus 22.0 g=543.0 b=178 p=0 c=178#
% t=522.265 plus 39.0 minus 24.0 g=543.0 b=15 p=150 c=165#
% t=535.265 plus 39.0 minus 24.0 g=543.0 b=1 p=50 c=51#
% t=592.26505 plus 42.0 minus 26.0 g=543.0 b=* p=0 c=*

[359

]
%% goal height=543.0, max depth=4.0
% t=54.00005 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=87.00005 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=110.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=250 c=100000#
% t=123.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=136.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=149.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=162.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=175.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=188.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=201.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=214.00005 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=227.00005 plus 7.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=240.00005 plus 7.0 minus 4.0 g=543.0 b=10000 p=100 c=100000#
% t=253.00005 plus 7.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=289.00005 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=335.00005 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=358.00005 plus 19.0 minus 12.0 g=543.0 b=10000 p=250 c=100000#
% t=371.00005 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=384.00005 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=397.00005 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=410.00005 plus 19.0 minus 12.0 g=543.0 b=10000 p=50 c=100000#
% t=446.00005 plus 22.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=469.00005 plus 25.0 minus 16.0 g=543.0 b=2591 p=200 c=2791#
% t=505.00005 plus 28.0 minus 18.0 g=543.0 b=250 p=0 c=250#
% t=520.00005 plus 28.0 minus 18.0 g=543.0 b=55 p=0 c=55#
% t=558.00005 plus 31.0 minus 20.0 g=543.0 b=42 p=0 c=42#
% t=571.00005 plus 32.0 minus 20.0 g=543.0 b=* p=200 c=*
 [360]
%% goal height=543.0, max depth=4.0
% t=10.0 g=543.0 b=10000 p=200 c=100000#
% t=46.0 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=69.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=82.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=95.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=241.5 plus 9.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=251.5 plus 12.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=264.5 plus 12.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=277.5 plus 12.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=290.5 plus 12.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=303.5 plus 12.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=316.5 plus 12.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=329.5 plus 12.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=342.5 plus 13.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=355.5 plus 13.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=368.5 plus 13.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=381.5 plus 13.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=394.5 plus 13.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=407.5 plus 13.0 minus 8.0 g=543.0 b=10000 p=0 c