WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 0.35
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 3
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 9
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-78-186-194 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Thu Sep 26 14:39:34 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp7fcb48.c /tmp/tmp479598.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 2.12302)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1749
cilRep: stmts in weighted_path = 276
cilRep: total weight = 169.2
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1749])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.200621 MB)
search: initial population (sizeof one variant = 0.010005 MB)
	  1 a(507,409) 
	  1 r(424,439) 
	  1 a(1373,465) 
	  1 a(1702,654) 
	  1 r(538,1113) 
	  1 r(482,510) 
	  1 d(1696) 
	  1 d(1722) 
	  1 d(1699) 
	  1 d(1740) 
	  1 a(1729,551) 
	  1 a(774,431) 
	  1 r(1375,1118) 
	  1 a(412,456) 
	  1 r(733,506) 
	  1 r(1294,1284) 
	  1 d(466) 
	  1 r(389,1285) 
	  1 d(1106) 
	  1 r(889,878) 
	  1 a(1720,1162) 
	  1 r(1704,1118) 
	  1 a(338,419) 
	  1 r(447,889) 
	  1 a(1735,762) 
	  1 a(1282,1312) 
	  1 d(573) 
	  1 a(1289,1228) 
	  1 a(1116,665) 
	  1 d(1153) 
	  1 r(446,436) 
	  1 r(890,886) 
	  1 d(1738) 
	  1 a(412,479) 
	  1 d(1736) 
	  1 a(1721,414) 
	  1 r(1710,1699) 
	  1 r(446,482) 
	  1 r(579,1312) 
	  1 original
search: generation 1 (sizeof one variant = 0.201011 MB)
	  1 r(1294,1284) d(756) 
	  1 r(657,481) 
	  1 a(774,431) a(1290,1108) 
	  1 a(1282,1312) d(448) 
	  1 a(1702,654) r(733,1330) 
	  1 d(466) d(693) 
	  1 a(1702,654) d(706) 
	  1 d(466) a(891,1194) 
	  1 r(424,439) r(1275,1332) 
	  1 d(1153) r(1106,1282) 
	  1 r(424,439) r(1722,1331) 
	  1 d(1153) a(667,738) 
	  1 r(446,436) r(1373,1290) 
	  1 a(412,456) a(571,757) 
	  1 r(446,436) a(419,878) 
	  1 a(412,456) a(1373,1379) 
	  1 r(538,1113) d(657) 
	  1 a(507,409) r(412,409) 
	  1 a(507,409) a(1296,1174) 
	  1 a(1729,551) a(878,1157) 
	  1 a(507,409) r(446,1115) 
	  1 a(1729,551) r(885,977) 
	  1 r(447,889) d(549) 
	  1 a(1373,465) d(1194) 
	  1 r(447,889) d(423) 
	  1 a(1373,465) a(1276,1291) 
	  1 d(1153) r(693,754) 
	  1 r(446,436) d(456) 
	  1 r(579,1312) d(435) 
	  1 d(1736) a(892,1261) 
	  1 a(412,456) r(667,1277) 
	  1 r(447,889) r(765,666) 
	  1 r(889,878) r(1139,457) 
	  1 r(1375,1118) d(449) 
	  1 r(889,878) r(1298,1726) 
	  1 r(1375,1118) r(1729,1711) 
	  1 a(1702,654) d(1708) 
	  1 d(573) r(507,976) 
	  1 a(1702,654) a(885,773) 
	  1 d(573) d(733) 
	  1 a(1721,414) d(763) 
	  1 d(1696) r(1168,1171) 
	  1 a(1721,414) d(411) 
	  1 d(1696) a(978,885) 
	  1 d(1696) d(898) 
	  1 a(1116,665) a(695,756) 
	  1 d(1153) a(449,547) 
	  1 r(733,506) d(666) 
	  1 a(1721,414) r(419,420) 
	  1 r(1704,1118) d(699) 
	  1 a(1721,414) d(502) 
	  1 r(1704,1118) d(1738) 
	  1 a(412,479) a(507,1175) 
	  1 d(1740) r(1276,1153) 
	  1 a(412,479) r(1108,1168) 
	  1 d(1740) a(1153,1225) 
	  1 r(889,878) d(37) 
	  1 d(466) d(1163) 
	  1 r(889,878) d(773) 
	  1 d(466) r(1298,412) 
	  1 r(446,436) a(335,1727) 
	  1 r(447,889) a(1146,577) 
	  1 r(446,436) a(886,409) 
	  1 r(447,889) r(1106,1292) 
search: generation 2 (sizeof one variant = 0.198937 MB)
	  1 r(446,436) a(886,409) d(400) 
	  1 r(424,439) r(1275,1332) r(1279,1272) 
	  1 r(446,436) a(886,409) a(1722,897) 
	  1 r(424,439) r(1275,1332) r(592,1108) 
	  1 d(573) d(733) r(971,898) 
	  1 r(1375,1118) r(1729,1711) r(1292,1161) 
	  1 a(507,409) r(412,409) r(1127,1113) 
	  1 r(446,436) d(456) a(974,394) 
	  1 r(1294,1284) d(756) r(1704,733) 
	  1 r(446,436) d(456) r(537,546) 
	  1 r(1294,1284) d(756) r(1724,1280) 
	  1 r(446,436) d(456) a(889,1228) 
	  1 r(538,1113) r(667,1277) d(1726) 
	  1 a(412,456) d(657) d(898) 
	  1 r(538,1113) d(657) r(1699,1706) 
	  1 a(412,456) r(667,1277) d(973) 
	  1 a(1702,654) r(766,1739) 
	  1 r(1375,1118) d(449) a(885,773) d(1701) 
	  1 a(1702,654) a(885,773) r(1163,1281) 
	  1 r(1375,1118) d(449) r(767,1716) 
	  1 a(1729,551) a(878,1157) d(1726) 
	  1 a(1116,665) a(695,756) r(733,497) 
	  1 d(466) r(1298,412) r(407,706) 
	  1 d(466) a(891,1194) a(1278,400) 
	  1 r(538,1113) d(657) d(1735) 
	  1 r(447,889) d(423) d(1221) 
	  1 a(412,456) r(667,1277) a(771,676) 
	  1 a(507,409) a(1296,1174) d(676) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) 
	  1 a(1729,551) r(455,1261) 
	  1 d(1740) r(1276,1153) r(1722,1719) 
	  1 a(1729,551) r(885,977) r(37,36) 
	  1 d(1736) r(1298,1726) a(1724,766) 
	  1 r(889,878) a(892,1261) r(766,1374) 
	  1 d(1736) a(892,1261) a(1729,411) 
	  1 r(889,878) r(1298,1726) a(485,676) 
	  1 a(1702,654) d(1708) d(1282) 
	  1 a(412,479) a(507,1175) d(878) 
	  1 a(507,409) r(412,409) d(765) 
	  1 r(889,878) r(1298,1726) d(1175) 
	  1 r(424,439) r(1275,1332) a(666,1703) 
	  1 r(889,878) r(1298,1726) d(414) 
	  1 d(466) d(1163) d(1698) 
	  1 a(412,456) r(667,1277) d(457) 
	  1 a(774,431) a(1290,1108) a(438,1728) 
	  1 r(657,481) d(546) 
	  1 a(1282,1312) d(448) r(1710,1701) 
	  1 r(1704,1118) d(1738) d(974) 
	  1 a(1373,465) a(1276,1291) d(1162) 
	  1 r(447,889) r(765,666) d(507) 
	  1 d(1696) d(898) r(549,455) 
	  1 r(447,889) r(765,666) r(37,36) 
	  1 d(1696) d(898) a(897,442) 
	  1 r(447,889) r(765,666) d(1337) 
search: generation 3 (sizeof one variant = 0.202179 MB)
	  1 r(446,436) d(456) d(400) a(1294,416) 
	  1 r(446,436) a(886,409) r(537,546) r(506,1147) 
	  1 r(446,436) d(456) r(537,546) a(897,409) 
	  1 r(446,436) a(886,409) d(400) d(971) 
	  1 a(1282,1312) d(448) r(1710,1701) a(759,401) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1124,1292) 
	  1 a(1282,1312) d(448) r(1710,1701) r(1104,1133) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) a(1696,1228) 
	  1 d(1740) r(412,409) r(1127,1113) d(1297) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) 
	  1 d(1740) r(1276,1153) r(1722,1719) a(412,655) 
	  1 a(507,409) r(412,409) r(1127,1113) d(754) 
	  1 r(889,878) r(1298,1726) a(485,676) r(1712,1696) 
	  1 r(1375,1118) d(449) r(767,1716) a(1379,1280) 
	  1 r(446,436) d(456) r(537,546) d(1163) 
	  1 d(466) d(1163) d(1698) d(439) 
	  1 r(1294,1284) a(1296,1174) d(676) r(648,447) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) 
	  1 a(507,409) a(1296,1174) d(676) d(539) 
	  1 r(1375,1118) d(456) r(537,546) r(419,389) 
	  1 r(446,436) r(1729,1711) r(1292,1161) a(1729,774) 
	  1 r(1375,1118) r(1729,1711) r(1292,1161) a(887,444) 
	  1 r(446,436) d(456) r(537,546) r(756,649) 
	  1 r(446,436) a(886,409) a(1722,897) d(1171) 
	  1 a(1702,654) d(1708) d(1282) a(1279,494) 
	  1 a(1702,654) r(667,1277) a(771,676) r(1703,758) 
	  1 a(412,456) r(766,1739) d(448) 
	  1 a(1702,654) r(766,1739) a(758,1714) 
	  1 a(412,456) r(667,1277) a(771,676) d(338) 
	  1 r(1704,1118) d(1738) d(974) r(441,422) 
	  1 a(1373,465) a(1276,1291) d(1162) r(1118,1374) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) 
	  1 a(1729,551) a(1706,414) 
	  1 d(1736) r(1298,1726) a(1724,766) d(1714) 
	  1 a(1729,551) a(878,1157) d(1726) r(337,1374) 
	  1 r(657,481) a(507,1175) d(878) r(886,892) 
	  1 a(412,479) d(546) d(1146) 
	  1 r(657,481) d(546) d(885) 
	  1 a(412,479) a(507,1175) d(878) r(401,465) 
	  1 r(889,878) d(1698) d(699) 
	  1 d(466) d(1163) r(1298,1726) d(1175) a(1706,411) 
	  1 r(889,878) r(1298,1726) d(1175) d(1171) 
	  1 d(466) d(1163) d(1698) d(1377) 
	  1 r(424,439) r(1275,1332) a(666,1703) r(1276,1278) 
	  1 r(538,1113) d(657) r(1699,1706) r(649,759) 
	  1 a(1282,1312) d(1337) r(1718,1721) 
	  1 r(447,889) r(765,666) d(448) r(1710,1701) d(436) 
	  1 a(1282,1312) d(448) r(1710,1701) a(1737,878) 
	  1 r(447,889) r(765,666) d(1337) d(898) 
	  1 r(447,889) r(765,666) d(507) r(1115,1228) 
	  1 r(1375,1118) r(1729,1711) r(1292,1161) d(1704) 
	  1 r(424,439) r(1275,1332) a(666,1703) r(485,547) 
	  1 a(507,409) r(412,409) d(765) a(695,441) 
	  1 r(447,889) r(765,666) r(37,36) d(448) r(1710,1701) d(1730) 
	  1 a(1282,1312) r(765,774) 
	  1 r(447,889) r(765,666) r(37,36) d(1725) 
	  1 a(1282,1312) d(448) r(1710,1701) r(1735,1117) 
	  1 r(1375,1118) r(1729,1711) a(1296,1174) d(676) d(774) 
	  1 a(507,409) r(1292,1161) r(892,886) 
	  1 r(1375,1118) r(1729,1711) r(1292,1161) d(537) 
	  1 a(507,409) a(1296,1174) d(676) r(572,753) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) a(424,762) 
	  1 r(446,436) r(592,1108) d(1148) 
	  1 r(424,439) r(1275,1332) r(592,1108) a(1153,1286) 
	  1 r(446,436) d(456) r(537,546) a(1297,1330) 
search: generation 4 (sizeof one variant = 0.202887 MB)
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) 
	  1 a(412,479) d(1171) d(1374) 
	  1 r(446,436) a(886,409) a(1722,897) d(1171) a(761,550) 
	  1 a(412,479) d(546) d(1146) a(510,579) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) 
	  1 d(1740) r(412,409) r(1127,1113) d(1297) d(386) 
	  1 a(507,409) a(1296,1174) d(676) r(572,753) r(1276,763) 
	  1 r(446,436) d(456) d(400) a(1294,416) d(1272) 
	  1 r(538,1113) d(657) r(1699,1706) r(649,759) r(1696,1113) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) 
	  1 r(447,889) r(765,666) r(37,36) d(448) r(1710,1701) d(1730) d(1708) 
	  1 r(446,436) a(886,409) d(400) d(971) r(537,510) 
	  1 a(412,456) r(766,1739) d(448) d(456) d(400) a(1294,416) d(1704) 
	  1 r(446,436) d(1175) 
	  1 a(412,456) r(766,1739) d(448) d(1145) 
	  1 r(446,436) d(456) d(400) a(1294,416) r(1722,487) 
	  1 r(447,889) r(765,666) d(1163) a(767,756) 
	  1 r(446,436) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) 
	  1 r(447,889) r(765,666) r(37,36) d(448) r(1710,1701) d(1730) a(753,338) 
	  1 r(446,436) d(456) r(537,546) d(1163) d(1295) 
	  1 r(446,436) a(886,409) r(537,546) r(506,1147) a(889,551) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1124,1292) r(439,1171) 
	  1 r(446,436) a(886,409) r(537,546) r(506,1147) r(975,971) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1124,1292) a(765,1224) 
	  1 d(466) d(1163) r(1298,1726) r(462,465) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) 
	  1 d(466) d(1163) r(1298,1726) d(1175) a(1706,411) d(1731) 
	  1 r(889,878) d(1698) d(699) r(1713,1711) 
	  1 r(657,481) d(546) d(885) r(572,762) 
	  1 a(1282,1312) r(765,774) r(771,648) 
	  1 a(1282,1312) d(1337) r(1718,1721) r(1161,1377) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) 
	  1 r(657,481) d(756) r(1724,1280) r(1701,1717) r(774,577) 
	  1 r(1294,1284) d(546) d(885) d(1711) 
	  1 r(657,481) d(546) d(885) d(1157) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) a(762,665) 
	  1 r(447,889) r(765,666) r(1162,1718) 
	  1 a(1729,551) a(878,1157) d(1726) r(337,1374) r(37,36) d(1725) a(1701,733) 
	  1 r(447,889) r(765,666) r(37,36) d(1725) r(466,455) 
	  1 a(1729,551) a(878,1157) d(1726) r(337,1374) d(1161) 
	  1 a(507,409) r(412,409) d(765) a(695,441) d(1735) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) 
	  1 a(1282,1312) d(448) r(1710,1701) r(1735,1117) r(1161,1125) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) a(1696,1228) d(1158) 
	  1 a(1373,465) a(1276,1291) d(1162) r(1118,1374) r(706,1705) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) d(655) 
	  1 r(447,889) r(765,666) r(37,36) d(1282) a(1279,494) r(1716,1713) 
	  1 a(1702,654) d(1708) d(1725) a(446,538) 
	  1 r(447,889) r(765,666) r(37,36) d(1725) a(1286,1105) 
	  1 a(1702,654) d(1708) d(1282) a(1279,494) d(698) 
	  1 r(447,889) r(765,666) r(37,36) r(537,546) a(424,762) a(549,487) 
	  1 r(424,439) r(1275,1332) d(456) d(448) r(1710,1701) d(1730) r(1714,1707) 
	  1 r(447,889) r(765,666) r(37,36) d(448) r(1710,1701) d(1730) d(443) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) a(424,762) d(750) 
	  1 a(1282,1312) d(448) r(1710,1701) r(1104,1133) d(765) a(695,441) r(1290,1223) 
	  1 a(507,409) r(412,409) a(1283,1298) 
	  1 a(1282,1312) d(448) r(1710,1701) r(1104,1133) r(648,1112) 
	  1 a(507,409) r(412,409) d(765) a(695,441) d(1280) 
	  1 a(507,409) r(412,409) r(1127,1113) d(507) r(1115,1228) d(1286) 
	  1 r(447,889) r(765,666) d(754) r(1194,695) 
	  1 a(507,409) r(412,409) r(1127,1113) d(754) r(733,407) 
	  1 r(447,889) r(765,666) d(507) r(1115,1228) r(1153,1376) 
search: generation 5 (sizeof one variant = 0.20317 MB)
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) r(973,972) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) a(1696,1228) d(1158) r(1719,1714) 
	  1 r(1294,1284) a(1279,494) d(698) d(978) 
	  1 a(1702,654) d(1708) d(1282) d(546) d(885) d(1711) r(401,1698) 
	  1 r(1294,1284) d(546) d(885) d(1711) d(457) 
	  1 a(1702,654) d(1708) d(1282) a(1279,494) d(698) a(1163,1377) 
	  1 r(446,436) d(1175) a(756,550) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) d(655) d(1735) 
	  1 r(446,436) d(1175) r(1284,1283) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) d(655) r(1113,1172) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) 
	  1 r(446,436) a(886,409) d(400) d(971) r(537,510) d(483) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1115,1282) 
	  1 r(446,436) a(886,409) d(400) d(971) r(537,510) a(456,416) 
	  1 r(447,889) r(765,666) r(1162,1718) a(1175,1112) 
	  1 r(657,481) d(546) d(885) r(572,762) d(543) 
	  1 r(447,889) r(765,666) r(37,36) d(448) r(1710,1701) d(1730) a(753,338) r(1718,1700) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) d(655) r(435,337) 
	  1 r(446,436) d(1374) r(572,763) 
	  1 a(412,479) d(1171) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) a(592,1271) 
	  1 r(446,436) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) r(1115,1271) 
	  1 a(412,479) d(1171) d(1374) a(414,510) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) 
	  1 a(412,456) r(766,1739) d(448) d(1145) d(757) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(456) r(537,546) a(424,762) d(750) r(699,774) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) d(655) d(1701) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) a(424,762) d(750) d(510) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(756) r(1724,1280) r(1701,1717) a(762,665) r(1114,1277) 
	  1 r(1294,1284) d(1146) a(1373,1151) d(892) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) a(762,665) d(434) 
	  1 r(446,436) d(456) a(424,762) d(750) d(1710) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) d(400) a(1294,416) d(1272) r(979,970) 
	  1 r(446,436) d(456) d(400) a(1294,416) d(1272) d(438) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) a(424,762) d(750) a(389,676) 
	  1 r(447,889) r(765,666) d(1163) a(767,756) a(1738,1271) 
	  1 r(446,436) a(886,409) d(400) d(971) r(537,510) a(1281,451) 
	  1 r(447,889) r(765,666) r(37,36) d(448) r(1710,1701) d(1730) d(443) r(1736,1735) 
	  1 r(446,436) d(456) d(400) a(1294,416) d(1272) r(1125,1333) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) r(537,546) r(756,649) d(885) a(1295,758) 
	  1 r(446,436) d(456) d(1712) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) d(481) 
	  1 r(446,436) a(886,409) d(400) d(971) r(537,510) r(401,456) 
	  1 a(412,479) d(546) d(1146) a(510,579) r(733,1702) 
	  1 r(447,889) r(765,666) d(754) r(1194,695) d(889) 
	  1 a(1729,551) a(878,1157) d(1726) r(337,1374) r(37,36) d(1725) a(1701,733) r(773,1376) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) 
	  1 a(412,479) d(1171) a(445,446) 
	  1 a(507,409) r(412,409) a(1283,1298) r(1147,439) 
	  1 a(412,479) d(1171) d(1374) d(769) 
	  1 a(1729,551) a(878,1157) d(1726) r(337,1374) r(37,36) d(1725) a(1701,733) a(750,579) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) r(1168,764) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1158) a(690,771) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) a(1696,1228) d(1158) r(759,754) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) 
	  1 a(1702,654) d(420) 
	  1 r(446,436) d(456) r(537,546) d(1163) d(1295) d(1708) d(1725) a(446,538) d(972) 
	  1 a(1702,654) d(1708) d(1725) a(446,538) r(1107,1288) 
	  1 r(446,436) d(456) r(537,546) d(1163) d(1295) d(698) 
search: generation 6 (sizeof one variant = 0.203841 MB)
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) d(448) d(1145) d(757) r(485,492) 
	  1 a(412,456) a(447,497) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(971,970) 
	  1 a(412,456) r(766,1739) d(448) d(1145) d(757) d(414) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) a(441,1740) 
	  1 r(446,436) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) r(1115,1271) r(972,975) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) r(537,546) r(756,649) d(885) a(1295,758) r(510,507) 
	  1 r(446,436) d(1175) a(756,550) d(455) 
	  1 r(447,889) r(765,666) d(754) r(1194,695) d(889) d(1337) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) r(1285,1124) 
	  1 d(1740) d(572) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) r(1168,764) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) d(753) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) d(1738) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) r(1168,764) d(1704) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1291,656) a(433,757) r(973,972) d(1697) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1163,1158) d(445) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) a(1172,1278) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) r(973,972) d(1742) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) d(1275) 
	  1 r(446,436) a(886,409) d(400) d(971) r(537,510) a(456,416) a(653,706) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) a(769,1124) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(756) r(1724,1280) r(1701,1717) a(762,665) r(1114,1277) a(485,335) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) d(456) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1115,1282) d(657) 
	  1 r(446,436) d(456) r(537,546) d(1163) d(1295) d(1708) d(1725) a(446,538) d(972) d(1261) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) r(693,973) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) a(1292,438) 
	  1 r(446,436) d(456) r(537,546) d(1163) d(1295) d(1708) d(1725) a(446,538) d(972) r(1291,1335) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) d(400) a(1294,416) d(1272) r(979,970) d(769) d(1337) 
	  1 a(412,479) d(1171) d(1374) d(387) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) d(400) a(1294,416) d(1272) r(979,970) a(1727,1224) 
	  1 a(412,479) d(1171) d(1374) d(769) d(407) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(416) 
	  1 r(1294,1284) d(1146) a(1373,1151) d(977) d(1716) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) r(434,765) 
	  1 r(1294,1284) d(1146) a(1373,1151) d(892) d(1108) 
	  1 r(446,436) d(1175) d(574) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) 
	  1 r(446,436) d(1175) a(756,550) a(1697,675) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) d(1112) 
	  1 a(412,479) d(1171) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) a(592,1271) a(1706,411) d(1713) r(763,550) a(1221,1714) 
	  1 r(889,878) d(1698) d(699) d(1175) r(1739,1738) 
	  1 a(412,479) d(1171) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) a(592,1271) r(752,761) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(666,761) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) 
	  1 a(507,409) a(414,510) d(1739) 
	  1 a(412,479) d(1171) d(1374) a(414,510) d(546) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1158) a(690,771) d(698) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(756) r(1724,1280) r(1701,1717) a(762,665) r(1114,1277) r(419,434) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) d(655) r(1113,1172) a(437,550) 
	  1 r(424,439) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) d(892) 
	  1 r(889,878) r(1275,1332) d(540) d(655) d(738) d(1115) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) d(1735) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(485,543) 
	  1 a(1702,654) d(1708) d(1725) a(446,538) r(1107,1288) a(1281,1224) 
	  1 d(1740) r(1276,1153) d(405) 
	  1 a(1702,654) d(420) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) d(438) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) 
	  1 a(1702,654) d(420) r(1715,1698) 
	  1 r(446,436) d(1175) r(1284,1283) d(443) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(753,649) 
search: generation 7 (sizeof one variant = 0.200631 MB)
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) r(887,890) a(656,1374) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) a(433,757) d(1728) r(1285,1124) d(690) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) r(1285,1124) d(1298) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) r(771,573) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) r(1276,1153) r(1722,1719) r(1163,1158) d(445) r(1272,1294) 
	  1 a(507,409) a(441,1740) a(1295,676) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) a(441,1740) d(418) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1163,1158) d(445) d(539) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) 
	  1 r(424,439) r(1275,1332) d(540) a(418,1313) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(1296) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(485,543) d(1713) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1696,1228) d(1158) a(690,771) r(550,1736) d(550) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1291,656) a(433,757) r(973,972) d(1697) d(1281) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) 
	  1 a(412,456) d(1713) r(763,550) d(1735) d(1285) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) a(447,497) a(656,1696) 
	  1 a(412,456) a(447,497) a(444,766) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) d(1735) a(1375,454) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) r(1168,764) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(466,1373) 
	  1 a(412,479) d(1171) d(1704) r(481,501) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) r(1168,764) d(1704) d(1168) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) d(438) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(1171) d(1374) d(387) d(753) 
	  1 a(412,479) d(416) a(1735,387) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(416) a(1379,773) 
	  1 a(412,479) d(1171) d(1374) d(387) r(1704,1374) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) d(1171) d(1374) d(769) d(407) d(1275) 
	  1 a(412,479) r(1372,1114) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) 
	  1 a(412,479) d(1171) d(1374) d(769) d(407) d(1152) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) r(701,655) 
	  1 a(412,479) d(1171) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) a(592,1271) a(479,510) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(1221,1272) 
	  1 a(412,479) d(1171) d(456) r(537,546) r(37,36) d(448) r(1710,1701) d(1730) r(447,693) a(592,1271) r(752,761) d(1286) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) d(548) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) d(1275) r(337,974) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) d(1726) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) r(973,972) d(1742) d(1337) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) a(1172,1278) r(1728,1336) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1291,656) a(433,757) r(973,972) d(1697) a(1146,1114) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1158) a(690,771) d(698) a(885,886) 
	  1 a(412,479) d(1171) d(1374) a(414,510) d(546) r(1139,1174) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) r(1285,1124) a(1374,448) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) a(1292,438) d(1272) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(898,758) 
	  1 d(1736) r(1298,1726) a(1724,766) a(878,1157) d(1726) d(540) d(655) r(1113,1172) a(437,550) d(1175) 
	  1 r(889,878) r(1275,1332) d(540) d(655) d(738) d(1115) d(507) 
	  1 r(1294,1284) d(1146) a(1373,1151) d(977) d(1716) r(1283,1108) 
	  1 r(1294,1284) d(1146) a(1373,1151) d(977) d(1716) r(1705,733) 
	  1 a(412,479) d(1171) d(1374) a(414,510) d(546) d(1221) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1115,1282) d(657) d(1711) 
	  1 d(1740) d(572) a(760,1376) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) d(448) d(1145) d(757) r(485,492) a(416,654) 
	  1 r(424,439) r(1275,1332) d(456) r(537,546) d(400) a(1294,416) d(1272) r(979,970) d(769) d(1337) a(1271,773) 
	  1 r(889,878) d(1698) d(455) d(1194) 
	  1 r(446,436) d(1175) a(756,550) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(753,649) a(971,1698) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(753,649) a(1290,551) 
	  1 r(446,436) d(1175) a(756,550) d(455) d(756) 
search: generation 8 (sizeof one variant = 0.203947 MB)
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) d(885) 
	  1 a(412,479) d(1171) d(1158) a(690,771) d(698) a(885,886) d(432) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1158) a(690,771) d(698) a(885,886) r(1272,1115) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) 
	  1 r(1294,1284) d(1146) a(1373,1151) d(977) d(1716) r(1705,733) d(1707) 
	  1 r(446,436) d(1175) a(756,550) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(753,649) a(971,1698) d(1127) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) r(1163,1158) a(1292,438) d(1272) d(401) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(441,1740) d(418) r(1108,1330) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) a(441,1740) d(418) a(892,1277) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) a(1292,438) d(1272) a(890,421) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(485,543) d(1713) d(1174) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) r(1276,1153) r(1722,1719) r(1163,1158) d(445) r(1272,1294) d(1728) 
	  1 a(412,456) d(1713) r(763,550) a(1372,1284) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1291,656) a(433,757) r(973,972) d(1697) d(1281) d(1735) d(1285) a(1377,1313) 
	  1 a(412,456) d(1713) r(763,550) d(1735) d(1285) a(1118,772) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1291,656) a(433,757) r(973,972) d(1697) d(1281) r(1697,1720) 
	  1 r(889,878) d(1698) d(455) d(1194) d(753) r(1114,1147) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(1171) d(1374) d(387) r(695,1329) 
	  1 r(889,878) d(1698) d(455) d(1194) d(405) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(1171) d(1374) d(387) d(753) r(758,1702) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(1295,676) d(1696) 
	  1 a(507,409) a(441,1740) a(756,550) d(1739) a(898,758) d(1699) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(898,758) a(1221,389) 
	  1 a(507,409) a(441,1740) a(1295,676) d(656) 
	  1 a(412,479) d(1171) d(1374) a(414,510) r(1285,1124) d(1298) r(1696,436) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) d(546) r(1139,1174) r(733,1337) 
	  1 a(412,479) d(1171) d(1374) a(414,510) d(546) r(1139,1174) d(338) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) r(1285,1124) d(1298) d(706) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) r(434,765) d(655) d(738) r(485,543) r(510,693) d(1280) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) a(753,649) a(1290,551) r(648,1729) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(753,649) a(1290,551) d(1151) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) a(1278,1284) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) d(448) d(1145) d(757) r(485,492) a(416,654) a(448,407) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) a(433,757) d(1728) r(1285,1124) d(690) d(385) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(898,758) a(1105,1292) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(1171) d(1374) d(387) d(753) a(770,546) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) d(550) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) d(755) 
	  1 d(1740) d(572) a(760,1376) d(546) d(1146) a(1373,1151) d(892) d(416) a(1379,773) d(762) 
	  1 r(446,436) a(886,409) a(1722,897) d(878) 
	  1 d(1740) d(572) a(760,1376) r(752,592) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(416) a(1379,773) d(1127) 
	  1 a(412,456) a(447,497) d(540) d(655) d(738) r(485,543) d(1713) r(1378,1225) 
	  1 r(424,439) r(1275,1332) a(444,766) a(667,758) 
	  1 a(412,456) a(447,497) a(444,766) d(1291) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(485,543) d(1713) r(435,433) 
	  1 a(507,409) a(441,1740) d(1374) a(414,510) d(546) r(1139,1174) d(439) 
	  1 a(412,479) d(1171) a(1295,676) d(1163) 
	  1 a(507,409) a(441,1740) a(1295,676) d(976) 
	  1 a(412,479) d(1171) d(1374) a(414,510) d(546) r(1139,1174) d(1280) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) r(1163,1158) a(1172,1278) r(1728,1336) a(385,400) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) r(701,655) d(706) 
	  1 r(446,436) d(1175) a(756,550) d(455) d(756) d(1280) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) r(771,573) a(487,510) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1168,764) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(466,1373) d(765) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) r(1163,1158) d(445) d(539) r(1280,1298) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1163,1158) d(445) d(539) a(1290,1174) 
	  1 a(507,409) d(756) r(1724,1280) a(1298,549) d(1171) r(1168,764) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(466,1373) d(1163) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) d(438) r(1126,1721) 
	  1 a(507,409) d(655) d(738) r(887,890) r(771,573) d(971) 
	  1 r(424,439) r(1275,1332) d(540) r(412,409) a(1283,1298) d(1374) r(389,1124) r(1276,1153) r(1722,1719) r(1163,1158) d(445) r(1272,1294) r(655,1125) 
	  1 a(507,409) r(412,409) a(1283,1298) d(1374) r(389,1124) r(1276,1153) r(1722,1719) r(1163,1158) d(445) r(1272,1294) d(1373) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) r(771,573) d(761) 
search: generation 9 (sizeof one variant = 0.205303 MB)
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) d(653) 
	  1 a(507,409) a(441,1740) d(1374) a(414,510) d(546) r(1139,1174) d(439) d(389) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) d(546) r(1139,1174) r(733,1337) d(1730) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(892) d(1171) d(1374) d(387) r(695,1329) d(1104) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) d(438) r(1126,1721) d(706) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) d(448) d(1145) d(757) r(485,492) a(416,654) a(448,407) r(420,447) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(753,649) a(1290,551) d(1151) r(1118,1157) 
	  1 a(412,479) d(1171) d(1158) a(690,771) d(698) a(885,886) d(432) d(1106) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) d(885) d(1286) 
	  1 a(507,409) a(1175,457) r(1175,1282) a(338,457) d(755) r(771,649) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) d(755) d(592) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) d(885) d(890) 
	  1 a(507,409) d(1194) d(405) d(979) 
	  1 r(889,878) d(1698) d(455) a(441,1740) d(1374) a(414,510) d(546) r(1139,1174) d(439) a(577,506) 
	  1 a(507,409) a(441,1740) d(1374) a(414,510) d(546) r(1139,1174) d(439) r(1296,1280) 
	  1 r(889,878) d(1698) d(455) d(1194) d(405) r(1287,1106) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) r(701,655) d(706) d(449) 
	  1 a(412,479) d(1171) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) d(755) a(335,447) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) d(755) r(1175,1721) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) r(701,655) d(706) r(1718,1713) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1163,1158) d(445) d(539) r(485,543) d(1713) d(1174) a(972,653) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) a(1290,1174) a(978,409) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1163,1158) d(445) d(539) a(1290,1174) d(439) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(485,543) d(1713) d(1174) r(592,494) 
	  1 d(1740) d(572) a(760,1376) r(752,592) r(665,1172) 
	  1 a(412,479) d(1171) d(1158) a(690,771) d(698) a(885,886) d(432) r(1289,1156) 
	  1 r(889,878) d(1698) d(699) d(655) d(738) r(887,890) r(771,573) a(487,510) r(1708,1716) 
	  1 r(424,439) r(1275,1332) d(540) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(898,758) a(1221,389) d(1124) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(898,758) a(1221,389) r(1720,1711) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) r(771,573) a(487,510) a(465,462) 
	  1 a(412,456) d(1713) r(763,550) d(1735) d(1285) a(1118,772) r(699,769) 
	  1 a(507,409) a(441,1740) a(1295,676) d(976) a(592,423) 
	  1 a(412,456) a(447,497) d(540) d(655) d(738) r(485,543) d(1713) r(1378,1225) r(1730,971) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(337,479) 
	  1 r(446,436) a(886,409) a(1722,897) d(976) r(885,1375) 
	  1 a(507,409) a(441,1740) a(1295,676) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) a(1278,1284) a(1716,421) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) a(1278,1284) d(542) 
	  1 a(507,409) a(441,1740) a(1295,676) d(976) d(1194) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) r(701,655) d(706) a(1133,577) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) a(335,1703) a(1105,1373) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(389,400) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) r(701,655) d(706) d(435) 
	  1 a(412,479) d(1171) a(1696,1228) d(1158) a(690,771) r(550,1736) a(466,1373) d(765) a(655,1727) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1168,764) d(1374) r(1276,1153) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) a(666,771) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) d(1298) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1168,764) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(466,1373) d(765) r(543,545) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1291,656) a(433,757) r(973,972) d(1697) d(1281) r(1697,1720) r(765,771) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) r(771,573) a(487,510) d(542) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) a(433,757) d(1728) r(1285,1124) d(690) d(385) a(690,1728) 
	  1 d(1740) d(572) a(760,1376) d(546) d(1146) a(1373,1151) d(892) d(416) a(1379,773) d(762) a(1707,1707) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) a(441,1740) a(1295,676) d(976) d(1287) 
	  1 a(507,409) d(1728) d(546) r(1139,1174) r(733,1337) a(1277,1118) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) d(546) r(1139,1174) r(733,1337) d(442) 
	  1 a(507,409) a(441,1740) a(1295,676) d(976) a(891,338) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(887,890) r(771,573) a(487,510) d(1147) 
	  1 a(507,409) a(441,1740) a(1295,676) d(976) d(1174) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(550,1736) a(1337,546) d(885) d(1699) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(1175,1282) a(338,457) d(755) d(1376) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) d(755) r(1171,1174) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) d(885) d(37) 
search: generation 10 (sizeof one variant = 0.204599 MB)
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(1175,1282) a(338,457) d(755) d(1376) r(1720,1706) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) d(546) r(1139,1174) r(733,1337) d(442) a(676,706) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) d(546) r(1139,1174) r(733,1337) d(442) r(656,772) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(1175,1282) a(338,457) d(755) d(1376) r(574,1696) 
	  1 r(889,878) d(1698) d(455) d(1194) d(405) r(1287,1106) r(446,755) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) d(885) d(1286) d(676) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1163,1158) d(445) d(539) r(485,543) d(1713) d(1174) a(972,653) d(577) 
	  1 r(446,436) a(886,409) a(1722,897) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) a(1278,1284) d(542) d(1719) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) d(976) d(1287) r(444,592) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) a(441,1740) a(1295,676) d(546) r(1139,1174) r(733,1337) d(442) r(449,412) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) d(1728) d(546) r(1139,1174) r(733,1337) d(442) a(36,897) 
	  1 a(507,409) r(1276,1153) r(1722,1719) a(1291,656) a(433,757) a(441,1740) a(1295,676) d(976) d(1287) r(1707,1711) 
	  1 r(889,878) d(1698) d(699) d(405) d(979) d(1696) 
	  1 a(507,409) d(1194) d(655) d(738) r(887,890) r(771,573) a(487,510) r(1708,1716) d(1282) 
	  1 r(889,878) d(1698) d(699) d(655) d(738) r(887,890) r(771,573) a(487,510) r(1708,1716) r(547,549) 
	  1 a(507,409) d(1194) d(405) d(979) d(544) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) d(438) r(1126,1721) d(706) d(1713) 
	  1 a(507,409) a(441,1740) a(1295,676) d(976) d(1194) d(1169) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) a(666,771) d(756) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1168,764) d(1374) r(1276,1153) r(550,1736) a(1337,546) a(335,1703) a(389,400) r(1377,1284) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(389,400) d(407) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1168,764) d(1374) r(1276,1153) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) a(666,771) d(1298) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(550,1736) a(1337,546) d(885) d(1699) d(546) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) a(1290,1174) a(978,409) r(412,1726) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(389,400) r(698,675) 
	  1 a(507,409) a(441,1740) a(1295,676) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) a(1278,1284) a(1716,421) r(441,649) 
	  1 a(507,409) a(441,1740) d(1374) a(414,510) a(1291,656) a(433,757) r(973,972) d(1697) d(1281) r(1697,1720) r(765,771) r(978,896) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) d(546) r(1139,1174) d(439) d(389) a(1261,1224) 
	  1 a(507,409) a(441,1740) d(1374) a(414,510) d(546) r(1139,1174) d(439) d(389) d(885) 
	  1 r(446,436) d(456) r(537,546) r(756,649) d(885) a(1291,656) a(433,757) r(973,972) d(1697) d(1281) r(1697,1720) r(765,771) a(1156,1276) 
	  1 a(412,456) a(447,497) d(540) d(655) d(738) r(485,543) d(1713) r(1378,1225) r(1730,971) d(978) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) d(1298) a(1146,1152) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) a(1278,1284) a(1716,421) a(1172,545) 
	  1 a(507,409) a(441,1740) a(1295,676) d(546) d(1713) r(763,550) a(756,550) d(1739) a(898,758) a(1221,389) r(1720,1711) d(407) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(898,758) a(1221,389) r(1720,1711) r(971,974) 
	  1 a(507,409) a(441,1740) a(1295,676) d(546) d(1146) a(1373,1151) d(977) r(434,765) d(655) d(738) r(485,543) r(510,693) a(1278,1284) a(1716,421) d(1288) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(898,758) a(1221,389) r(1720,1711) r(407,548) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(338,457) d(755) r(1171,1174) a(416,1228) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) d(755) r(1171,1174) a(666,1272) 
	  1 r(889,878) d(1698) d(699) d(1175) a(1706,411) d(1713) r(763,550) a(756,550) d(1739) a(898,758) a(1221,389) r(1720,1711) d(1376) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) d(1298) r(492,973) 
	  1 r(446,436) a(886,409) a(1722,897) d(976) r(885,1375) a(579,572) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1168,764) d(1374) r(1276,1153) d(1374) r(1276,1153) a(1291,656) r(1275,1332) d(540) d(655) d(738) r(485,543) d(1713) d(1174) r(592,494) a(1293,1376) 
	  1 r(424,439) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) a(666,771) a(1742,878) 
	  1 a(507,409) r(1276,1153) r(1722,1719) r(1168,764) d(1374) r(1276,1153) d(1374) r(1276,1153) a(1291,656) a(433,757) r(973,972) d(1697) r(543,479) a(738,548) a(666,771) r(892,887) 
	  1 r(424,439) r(1275,1332) d(540) d(655) d(738) r(485,543) d(1713) d(1174) r(592,494) r(1718,1701) 
	  1 r(889,878) d(1698) d(455) d(1194) d(405) d(448) d(1145) d(757) r(485,492) a(416,654) a(448,407) r(420,447) d(548) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) r(1287,1106) a(1374,1379) 
	  1 r(889,878) d(1698) d(455) d(1194) d(405) r(1287,1106) d(892) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) d(448) d(1145) d(757) r(485,492) a(416,654) a(448,407) r(420,447) d(1730) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) a(1275,1376) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(389,400) d(448) d(1145) d(757) r(485,492) a(416,654) a(448,407) r(420,447) a(774,442) 
	  1 r(1294,1284) d(756) r(1724,1280) r(1701,1717) r(701,571) a(1740,666) r(766,1739) d(448) d(1145) d(757) r(485,492) a(416,654) a(448,407) r(420,447) r(494,548) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(389,400) d(1288) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) r(701,655) d(706) d(449) a(1271,648) 
	  1 a(507,409) r(1276,1153) a(1696,1228) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) d(885) d(890) r(1113,1374) 
	  1 d(1740) r(1276,1153) r(885,977) a(1133,442) r(1722,1719) a(1291,656) a(433,757) a(1175,457) r(1175,1282) a(338,457) d(755) d(592) r(973,978) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) r(752,761) r(701,655) d(706) r(1718,1713) d(437) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) d(405) d(979) a(407,574) 
	  1 a(507,409) d(1194) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(389,400) r(1153,1332) 
	  1 a(412,479) d(1171) d(1374) r(1276,1153) a(1696,1228) d(1158) a(690,771) r(550,1736) a(1337,546) a(335,1703) a(389,400) d(337) 
	  1 a(507,409) d(1194) d(405) d(979) r(763,501) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1293
"Test Suite Evaluations": 323.25

Compile Failures: 0
Wall-Clock Seconds Elapsed: 859.018
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.180 = 0.0331015%
  compile                             652 156.487 = 28.83%
  test                               1295 386.125 = 71.1368%
  TOTAL                                   542.792 = 63.1869% (avg CPU usage)
gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1.tar.gz
Thu Sep 26 14:53:54 EDT 2013
shutting down
