c7.log

Concrete_Mathematics_2nd_Ed_TeX_Source_Code

]
%% 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=0 c=100000#
% t=75.0 g=543.0 b=10000 p=0 c=100000#
% t=89.35605 g=543.0 b=10000 p=50 c=100000#
% t=139.51056 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=157.455 plus 7.0 minus 4.0 g=543.0 b=10000 p=250 c=100000#
% t=170.455 plus 7.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=220.99493 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=261.93938 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=284.93938 plus 19.0 minus 12.0 g=543.0 b=10000 p=250 c=100000#
% t=297.93938 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=310.93938 plus 19.0 minus 12.0 g=543.0 b=10000 p=250 c=100000#
% t=323.93938 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=336.93938 plus 20.0 minus 12.0 g=543.0 b=10000 p=250 c=100000#
% t=349.93938 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=362.93938 plus 20.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=375.93938 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=391.93938 plus 22.0 minus 13.0 g=543.0 b=10000 p=150 c=100000#
% t=404.93938 plus 22.0 minus 13.0 g=543.0 b=10000 p=100 c=100000#
% t=417.93938 plus 22.0 minus 13.0 g=543.0 b=10000 p=150 c=100000#
% t=430.93938 plus 22.0 minus 13.0 g=543.0 b=10000 p=0 c=100000#
% t=443.93938 plus 23.0 minus 13.0 g=543.0 b=7981 p=150 c=8131#
% t=456.93938 plus 23.0 minus 13.0 g=543.0 b=5231 p=0 c=5231#
% t=469.93938 plus 23.0 minus 13.0 g=543.0 b=3199 p=0 c=3199#
% t=482.93938 plus 23.0 minus 13.0 g=543.0 b=1776 p=0 c=1776#
% t=495.93938 plus 23.0 minus 13.0 g=543.0 b=853 p=50 c=903#
% t=531.93938 plus 26.0 minus 15.0 g=543.0 b=8 p=0 c=8#
% t=546.93938 plus 26.0 minus 15.0 g=543.0 b=2 p=0 c=2#
% t=569.93938 plus 29.0 minus 17.0 g=543.0 b=* p=150 c=*
 [328

]
%% 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=59.0 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=74.0 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=97.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=110.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=123.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=136.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=149.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=162.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=175.0 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=211.0 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=234.0 plus 13.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=247.0 plus 13.0 minus 8.0 g=543.0 b=10000 p=50 c=100000#
% t=283.0 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=298.0 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=321.0 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=334.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=347.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=360.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=373.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=386.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=399.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=412.0 plus 21.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=425.0 plus 21.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=438.0 plus 21.0 minus 12.0 g=543.0 b=10000 p=50 c=100000#
% t=474.0 plus 24.0 minus 14.0 g=543.0 b=2368 p=0 c=2368#
% t=489.0 plus 24.0 minus 14.0 g=543.0 b=1137 p=0 c=1137#
% t=504.0 plus 24.0 minus 14.0 g=543.0 b=427 p=0 c=427#
% t=519.0 plus 24.0 minus 14.0 g=543.0 b=100 p=0 c=100#
% t=534.0 plus 24.0 minus 14.0 g=543.0 b=5 p=0 c=5#
% t=557.0 plus 27.0 minus 16.0 g=543.0 b=66 p=150 c=216
% t=570.0 plus 27.0 minus 16.0 g=543.0 b=* p=0 c=*
 [329

]
%% 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=0 c=100000#
% t=49.0 g=543.0 b=10000 p=150 c=100000#
% t=62.0 g=543.0 b=10000 p=0 c=100000#
% t=75.0 plus 1.0 g=543.0 b=10000 p=200 c=100000#
% t=111.0 plus 4.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=126.0 plus 4.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=141.0 plus 4.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=156.0 plus 4.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=171.0 plus 4.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=217.0 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=232.0 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=247.0 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=262.0 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=277.0 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=300.0 plus 13.0 minus 8.0 g=543.0 b=10000 p=200 c=100000#
% t=336.0 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=351.0 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=366.0 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=381.0 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=396.0 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=419.0 plus 19.0 minus 12.0 g=543.0 b=10000 p=300 c=100000#
% t=432.0 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=445.0 plus 20.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=458.0 plus 20.0 minus 12.0 g=543.0 b=7667 p=0 c=7667#
% t=471.0 plus 20.0 minus 12.0 g=543.0 b=4660 p=150 c=4810#
% t=484.0 plus 20.0 minus 12.0 g=543.0 b=2564 p=0 c=2564#
% t=497.0 plus 21.0 minus 12.0 g=543.0 b=1048 p=150 c=1198#
% t=510.0 plus 21.0 minus 12.0 g=543.0 b=386 p=0 c=386#
% t=523.0 plus 21.0 minus 12.0 g=543.0 b=86 p=0 c=86#
% t=536.0 plus 21.0 minus 12.0 g=543.0 b=4 p=50 c=54#
% t=569.94444 plus 24.0 minus 14.0 g=543.0 b=* p=0 c=*
 [330
Bad guess!
]
%% goal height=543.0, max depth=4.0
% t=30.94444 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=39.34444 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=50.34444 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=65.34444 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=80.34444 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=95.34444 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=110.34444 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=133.34444 plus 6.0 minus 4.0 g=543.0 b=10000 p=300 c=100000#
% t=146.34444 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=159.34444 plus 7.0 minus 4.0 g=543.0 b=10000 p=200 c=100000#
% t=206.65938 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=224.60382 plus 13.0 minus 8.0 g=543.0 b=10000 p=300 c=100000#
% t=237.60382 plus 13.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=250.60382 plus 14.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=263.60382 plus 14.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=276.60382 plus 14.0 minus 8.0 g=543.0 b=10000 p=50 c=100000#
% t=321.58516 plus 17.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=343.5296 plus 20.0 minus 12.0 g=543.0 b=10000 p=150 c=100000#
% t=356.5296 plus 20.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=369.5296 plus 20.0 minus 12.0 g=543.0 b=10000 p=50 c=100000#
% t=405.5296 plus 23.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=428.5296 plus 26.0 minus 16.0 g=543.0 b=10000 p=150 c=100000#
% t=441.5296 plus 26.0 minus 16.0 g=543.0 b=5939 p=0 c=5939#
% t=454.5296 plus 26.0 minus 16.0 g=543.0 b=3930 p=0 c=3930#
% t=467.5296 plus 26.0 minus 16.0 g=543.0 b=2443 p=0 c=2443#
% t=480.5296 plus 26.0 minus 16.0 g=543.0 b=1383 p=0 c=1383#
% t=493.5296 plus 26.0 minus 16.0 g=543.0 b=688 p=150 c=838#
% t=509.0296 plus 26.0 minus 16.0 g=543.0 b=223 p=-200 c=23#
% t=558.5296 plus 28.0 minus 16.0 g=543.0 b=91 p=300 c=391
% t=571.5296 plus 28.0 minus 16.0 g=543.0 b=* p=0 c=*

[331

]
%% goal height=543.0, max depth=4.0
% t=28.0 plus 1.0 g=543.0 b=10000 p=300 c=100000#
% t=41.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=54.0 plus 2.0 g=543.0 b=10000 p=300 c=100000#
% t=103.96594 plus 5.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=122.46068 plus 8.0 minus 4.0 g=543.0 b=10000 p=250 c=100000#
% t=135.46068 plus 8.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=148.46068 plus 8.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=161.46068 plus 9.0 minus 4.0 g=543.0 b=10000 p=250 c=100000#
% t=174.46068 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=187.46068 plus 9.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=200.46068 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=213.46068 plus 10.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=226.46068 plus 10.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=239.46068 plus 10.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=252.46068 plus 10.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=265.46068 plus 10.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=278.46068 plus 10.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=291.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=250 c=100000#
% t=304.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=317.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=330.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=343.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=356.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=100 c=100000#
% t=369.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=382.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=395.46068 plus 11.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=408.46068 plus 12.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=421.46068 plus 12.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=434.46068 plus 12.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=447.46068 plus 12.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=460.46068 plus 12.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=473.46068 plus 12.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=486.46068 plus 12.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=499.46068 plus 12.0 minus 4.0 g=543.0 b=4765 p=150 c=4915#
% t=512.46068 plus 12.0 minus 4.0 g=543.0 b=1642 p=0 c=1642#
% t=525.46068 plus 13.0 minus 4.0 g=543.0 b=244 p=150 c=394#
% t=538.46068 plus 13.0 minus 4.0 g=543.0 b=4 p=0 c=4#
% t=551.46068 plus 13.0 minus 4.0 g=543.0 b=* p=0 c=*
 [332

]
%% 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=150 c=100000#
% t=49.0 g=543.0 b=10000 p=0 c=100000#
% t=62.0 plus 1.0 g=543.0 b=10000 p=250 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=100 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=250 c=100000#
% t=153.0 plus 1.0 g=543.0 b=10000 p=0 c=100000#
% t=166.0 plus 2.0 g=543.0 b=10000 p=150 c=100000#
% t=179.0 plus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=192.0 plus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=205.0 plus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=218.0 plus 2.0 g=543.0 b=10000 p=150 c=100000#
% t=231.0 plus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=244.0 plus 3.0 g=543.0 b=10000 p=200 c=100000#
% t=288.50006 plus 6.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=318.50018 plus 6.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=334.00018 plus 9.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=347.00018 plus 10.0 minus 4.0 g=543.0 b=10000 p=150 c=100000#
% t=360.00018 plus 10.0 minus 4.0 g=543.0 b=10000 p=50 c=100000#
% t=409.5003 plus 13.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=425.0003 plus 16.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=438.0003 plus 16.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=451.0003 plus 16.0 minus 8.0 g=543.0 b=10000 p=0 c=100000#
% t=464.0003 plus 17.0 minus 8.0 g=543.0 b=10000 p=150 c=100000#
% t=477.0003 plus 17.0 minus 8.0 g=543.0 b=5847 p=50 c=5897#
% t=549.64842 plus 23.0 minus 12.0 g=543.0 b=17 p=0 c=17#
% t=598.14848 plus 27.0 minus 14.0 g=543.0 b=* p=0 c=*
 [333

]
%% goal height=543.0, max depth=4.0
% t=45.50006 plus 3.0 minus 2.0 g=543.0 b=10000 p=0 c=100000#
% t=61.00006 plus 6.0 minus 4.0 g=543.0 b=10000 p=300 c=100000#
% t=74.00006 plus 6.0 minus 4.0 g=543.0 b=10000 p=0 c=100000#
% t=87.00006 plus 7.0 minus 4.0 g=543.0 b=10000 p=300 c=100000#
% t=135.50012 plus 10.0 minus 6.0 g=543.0 b=10000 p=0 c=100000#
% t=185.94463 plus 16.0 minus 10.0 g=543.0 b=10000 p=0 c=100000#
% t=201.44463 plus 19.0 minus 12.0 g=543.0 b=10000 p=400 c=100000#
% t=214.44463 plus 19.0 minus 12.0 g=543.0 b=10000 p=0 c=100000#
% t=268.71059 plus 23.0 minus 14.0 g=543.0 b=10000 p=0 c=100000#
% t=287.21059 plus 26.0 minus 16.0 g=543.0 b=10000 p=150 c=100000#
% t=300.21059 plus 26.0 minus 16.0 g=543.0 b=10000 p=150 c=100000#
% t=313.21059 plus 26.0 minus 16.0 g=543.0 b=10000 p=0 c=100000#
% t=349.21059 plus 30.0 minus 18.0 g=543.0 b=10000 p=0 c=100000#
% t=367.21059 plus 31.0 minus 19.0 g=543.0 b=10000 p=0 c=100000#
% t=400.21936 plus 32.0 minus 20.0 g=543.0 b=10000 p=0 c=100000#
% t=418.1638 plus 35.0 minus 22.0 g=543.0 b=4531 p=250 c=4781#
% t=431.1638 plus 35.0 minus 22.0 g=543.0 b=3260 p=0 c=3260#
% t=444.1638 plus 35.0 minus 22.0 g=543.0 b=2245 p=0 c=2245#
% t=457.1638 plus 35.0 minus 22.0 g=543.0 b=1472 p=100 c=1572#
% t=470.1638 plus 35.0 minus 22.0 g=543.0 b=900 p=150 c=1050#