b'--allow-coverage-fail false\n--appp 0.5\n--asm-code-only false\n--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"\n--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"\n--compiler "gcc"\n--compiler-command ""\n--compiler-opts "-lm"\n--continue false\n--coverage-info ""\n--coverage-per-test false\n--crossover "one"\n--crossp 0.5\n--delp 0.85\n--describe-machine false\n--diversity-selection 0\n--edit-script false\n--elf-risc false\n--exclude-edits ""\n--exp-diff false\n--fault-file ""\n--fault-path "coverage.path.neg"\n--fault-scheme "path"\n--fitness-in-parallel 1\n--fix-file ""\n--fix-oracle ""\n--fix-path "coverage.path.pos"\n--fix-scheme "default"\n--flatten-path ""\n--format "txt"\n--gen-per-exchange 1\n--generations 10\n--gui false\n--hostname "127.0.0.1"\n--ignore-dead-code false\n--ignore-equiv-appends false\n--ignore-standard-headers false\n--ignore-string-equiv-fixes false\n--ignore-untyped-returns false\n--incoming-pop ""\n--keep-source true\n--label-repair false\n--max-evals 0\n--minimization false\n--mt-cov false\n--multiopt-minimize false\n--multiopt-no-inf false\n--neg-tests 1\n--neg-weight 0.35\n--negative-test-weight 2\n--neutral-walk-max-size 0\n--neutral-walk-weight ""\n--nht-id "global"\n--nht-port 51000\n--nht-server ""\n--no-rep-cache true\n--no-test-cache false\n--num-comps 2\n--num-objectives 2\n--oracle-genome ""\n--popsize 40\n--port 60000\n--pos-tests 5\n--pos-weight 0.65\n--prefix "./"\n--preprocessor ""\n--print-incremental-evals false\n--print-source-name false\n--program "/home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits-merged.c"\n--promut 1\n--quiet false\n--regen-paths false\n--rep ""\n--rep-cache ""\n--repp 0.75\n--samp-strat "variant"\n--sample 1\n--sample-runs 100\n--sanity "default"\n--search "ga"\n--seed 1126194069996826899\n--semantic-check "scope"\n--single-fitness false\n--skip-failed-sanity-tests false\n--skip-tests ""\n--split-search 0\n--sport 65000\n--subatom-constp 0.5\n--subatom-mutp 0\n--super-mutant false\n--super-mutant-size 50\n--swap-bug false\n--swapp 0\n--template-cache ""\n--templates ""\n--test-command ""\n--test-script "/home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_1_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits_19520199554537319242677567104/test_19520199554537319242677567104"\n--tournament-size 2\n--tweet false\n--uniq false\n--valgrind false\n--variants-exchanged 50\ncilRep: preprocessing IO function signatures: /home/tedks/tmp/tmpdfcfaa.c /home/tedks/tmp/tmpb67eea.c\ncilRep: done preprocessing IO function signatures\ncilrep: from_source: pre: stmt_count = 1\ncilRep: /home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits-merged.c: parsing\ncilRep: /home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits-merged.c: parsed (0.0269299 MB)\ncilrep: from_source: post: stmt_count: 59\ncachingRepresentation: sanity checking begins\n\tp1: true (1)\n\tp2: true (1)\n\tp3: true (1)\n\tp4: true (1)\n\tp5: true (1)\n\tn1: false (0)\ncachingRepresentation: sanity checking passed (time_taken = 0.455263)\nfaultLocRep: compute_localization: fault_scheme: path, fix_scheme: default\nRep: coverage_sourcename: /home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_1_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits_19520199554537319242677567104/./coverage.c\ncilRep: instrumenting for fault localization\ncilRep: done instrumenting for fault localization\ncoverage negative:\n\ttest: 1\ncoverage positive:\n\ttest: 1\n\ttest: 2\n\ttest: 3\n\ttest: 4\n\ttest: 5\ncilRep: /home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits-merged.cache: saved\ncachingRep: /home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits-merged.cache: saved\nfaultlocRep: /home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits-merged.cache: saved\ncilrep done serialize\ncilRep: stmt_count = 59\ncilRep: stmts in weighted_path = 47\ncilRep: total weight = 30.55\ncilRep: stmts in weighted_path with weight >= 1.0 = 0\ncilRep: /home/tedks/tmp/08c7ea4ac39aa6a5ab206393bb4412de9d2c365ecdda9c1b391be963c1811014ed23d2722d7433b8e8a95305eee314d39da4950f31e01f9147f90af91a5c433a_54aadaa2f0f35c62e718d4cfac260d4aa2b78f22_digits-merged.c (code bank/base file; atoms [1,59])\ncilRep: 1 file(s) total in representation\nsearch: genetic algorithm begins (|original| = 0.020546 MB)\nsearch: initial population (sizeof one variant = 0.00613499 MB)\n\t  3 a(51,54) \n\t  3 d(53) \n\t  5 a(28,30) \n\t  2 r(16,15) \n\t  5 d(45) \n\t  2 r(45,52) \n\t  5 a(50,32) \n\t  1 r(55,51) \n\t  0 d(28) \n\t  5 d(42) \n\t  0 a(56,48) \n\t  5 d(45) \n\t  1 d(50) \n\t  5 d(8) \n\t  5 d(55) \n\t  2 r(29,46) \n\t  1 d(30) \n\t  5 d(6) \n\t  0 r(25,33) \n\t  1 d(50) \n\t  5 a(59,39) \n\t  1 d(50) \n\t  5 a(27,38) \n\t  1 d(30) \n\t  0 d(24) \n\t  5 r(6,44) \n\t  5 r(6,53) \n\t  3 d(38) \n\t  1 r(30,38) \n\t  5 d(41) \n\t  5 d(26) \n\t  3 r(38,8) \n\t  0 r(24,35) \n\t  4 d(37) \n\t  3 r(42,40) \n\t  5 d(8) \n\t  5 d(46) \n\t  1 d(49) \n\t  0 a(38,7) \n\t  5 original\nsearch: generation 1 (sizeof one variant = 0.0207386 MB)\n\t  3 r(6,44) r(38,40) \n\t  1 r(29,46) r(54,38) \n\t  5 r(6,44) r(58,59) \n\t  0 r(29,46) r(38,9) \n\t  1 a(51,54) d(30) \n\t  1 d(45) a(49,3) \n\t  2 a(51,54) d(36) \n\t  5 d(45) d(22) \n\t  4 d(55) d(39) \n\t  3 r(42,40) r(40,55) \n\t  4 d(37) r(44,37) \n\t  5 d(41) r(56,36) \n\t  0 d(37) r(28,47) \n\t  4 d(41) d(39) \n\t  5 d(46) d(14) \n\t  5 d(42) d(55) \n\t  1 d(46) d(51) \n\t  3 d(42) d(53) \n\t  5 a(50,32) a(46,35) \n\t  1 d(50) d(27) \n\t  0 d(53) r(36,59) \n\t  5 d(8) r(57,47) \n\t  1 r(6,44) d(50) \n\t  3 d(42) d(54) \n\t  1 r(6,44) d(51) \n\t  0 d(42) a(54,5) \n\t  1 a(51,54) r(29,33) \n\t  5 d(45) d(18) \n\t  5 a(28,30) a(2,28) \n\t  5 d(26) d(26) \n\t  3 a(28,30) r(14,49) \n\t  3 d(26) d(38) \n\t  1 d(45) r(30,27) \n\t  3 a(51,54) a(45,45) \n\t  4 d(8) a(8,11) \n\t  1 r(30,38) d(42) \n\t  3 r(6,53) d(38) \n\t  0 r(42,40) r(52,13) \n\t  3 d(45) r(43,54) \n\t  5 d(45) d(14) \n\t  5 d(41) a(53,43) \n\t  1 a(59,39) r(27,12) \n\t  5 d(8) r(18,41) \n\t  2 d(8) r(46,36) \n\t  0 d(42) d(28) \n\t  1 d(50) r(38,50) \n\t  0 r(6,44) d(28) \n\t  3 a(51,54) r(22,28) \n\t  2 r(6,44) d(52) \n\t  3 a(51,54) a(51,38) \n\t  5 a(27,38) d(8) \n\t  5 a(27,38) d(57) \n\t  1 d(30) d(2) \n\t  3 a(51,54) d(58) \nsearch: generation 2 (sizeof one variant = 0.0208511 MB)\n\t  2 d(55) d(39) d(33) \n\t  1 a(51,54) r(29,33) r(16,52) \n\t  1 d(41) d(54) d(50) \n\t  5 d(42) a(53,43) a(59,28) \n\t  5 d(41) a(53,43) d(47) \n\t  0 d(42) d(54) r(36,48) \n\t  4 d(37) d(8) a(24,22) \n\t  1 a(27,38) r(44,37) r(32,31) \n\t  4 d(37) r(44,37) d(47) \n\t  4 a(27,38) d(8) r(38,18) \n\t  1 r(6,53) d(38) r(27,34) \n\t  4 d(55) d(39) d(58) \n\t  5 d(45) d(22) a(57,20) \n\t  0 d(42) d(55) d(28) \n\t  1 a(28,30) a(2,28) r(56,36) r(50,6) \n\t  5 d(41) d(57) \n\t  5 a(28,30) a(2,28) r(14,56) \n\t  0 d(41) r(56,36) r(38,9) \n\t  3 a(51,54) d(58) r(23,6) \n\t  1 d(41) r(56,36) d(49) \n\t  3 d(45) d(14) d(54) \n\t  1 a(59,39) r(27,12) d(35) \n\t  3 d(41) r(56,36) r(53,10) \n\t  3 r(6,44) r(38,40) a(29,56) \n\t  2 d(45) d(14) d(36) d(46) \n\t  1 a(51,54) d(48) \n\t  5 d(45) d(14) d(58) \n\t  2 a(51,54) d(36) d(40) \n\t  5 d(42) r(47,14) \n\t  1 d(46) d(51) d(53) d(26) \n\t  3 d(42) d(53) r(2,37) \n\t  1 d(46) d(51) r(44,8) \n\t  3 d(42) d(54) r(53,29) \n\t  1 d(55) d(39) d(51) \n\t  3 d(42) d(54) r(44,18) \n\t  1 d(55) d(39) r(27,56) \n\t  5 a(28,30) a(2,28) r(26,58) \n\t  5 d(41) a(53,43) a(29,14) \n\t  0 d(26) r(30,5) \n\t  4 d(45) d(18) d(26) d(39) \n\t  5 d(26) d(26) a(26,25) \n\t  5 d(45) d(18) d(20) \n\t  0 a(51,54) d(58) r(14,49) r(12,13) \n\t  5 a(28,30) a(49,27) \n\t  2 a(51,54) d(58) r(35,42) \n\t  3 a(28,30) r(14,49) a(58,57) \n\t  3 a(27,38) d(8) d(53) \n\t  3 a(51,54) a(51,38) d(42) \n\t  4 d(55) d(39) d(43) \n\t  5 a(28,30) a(2,28) d(41) \n\t  1 r(42,40) r(36,49) \n\t  1 d(42) d(53) r(40,55) r(41,30) \n\t  1 r(42,40) r(40,55) d(25) \n\t  3 d(42) d(53) a(59,31) \n\t  1 d(8) r(18,41) d(55) r(30,10) \n\t  5 d(42) d(8) \n\t  3 d(8) r(18,41) r(36,55) \n\t  5 d(42) d(55) a(42,27) \n\t  3 a(27,38) d(57) r(49,53) \n\t  1 d(26) d(26) d(49) \nsearch: generation 3 (sizeof one variant = 0.0208015 MB)\n\t  4 a(28,30) a(2,28) d(39) d(58) r(46,39) \n\t  0 d(55) r(26,58) r(43,48) \n\t  2 a(28,30) a(2,28) r(26,58) d(52) \n\t  2 d(55) d(39) d(58) d(52) \n\t  2 a(51,54) d(58) r(35,42) d(43) \n\t  3 r(6,44) r(38,40) a(29,56) d(37) \n\t  1 a(51,54) d(58) r(35,42) r(33,53) \n\t  0 r(6,44) r(38,40) a(29,56) r(24,36) \n\t  1 r(42,40) r(40,55) d(25) a(10,4) \n\t  3 a(27,38) d(8) d(53) d(43) \n\t  5 d(26) d(26) a(26,25) d(58) \n\t  5 d(42) r(47,14) a(37,58) \n\t  5 d(26) d(26) a(26,25) d(20) \n\t  2 d(42) d(54) r(44,18) d(52) \n\t  3 a(27,38) d(8) d(53) a(16,46) \n\t  3 d(42) d(8) d(54) \n\t  3 a(27,38) d(8) d(53) r(14,9) \n\t  5 d(42) d(8) a(42,23) \n\t  3 a(51,54) d(58) r(47,14) a(41,58) \n\t  0 d(42) r(23,6) r(55,48) \n\t  0 a(51,54) d(58) r(23,6) d(24) \n\t  1 d(42) r(47,14) r(30,39) \n\t  0 d(41) r(56,36) r(53,10) r(34,7) \n\t  1 d(45) d(14) d(58) d(32) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) \n\t  5 d(45) d(14) d(58) a(55,33) \n\t  1 d(26) a(2,28) d(41) r(27,55) \n\t  0 a(28,30) d(26) d(49) r(10,15) \n\t  2 d(26) d(26) d(49) r(31,49) \n\t  1 a(28,30) a(2,28) d(41) a(56,51) \n\t  0 d(55) d(39) d(43) a(47,59) \n\t  3 a(28,30) a(49,27) r(38,58) \n\t  3 d(41) d(57) d(54) r(44,18) r(39,12) \n\t  5 d(42) r(56,28) \n\t  5 d(41) d(57) d(58) \n\t  3 d(42) d(54) r(44,18) a(36,24) \n\t  1 d(41) r(56,36) d(49) d(2) \n\t  1 r(6,44) r(38,40) a(29,56) d(30) \n\t  3 a(27,38) d(8) d(53) r(29,47) \n\t  1 d(8) r(18,41) r(36,55) d(32) \n\t  5 d(42) a(49,27) r(12,41) \n\t  3 a(28,30) d(8) d(53) \n\t  5 d(42) d(8) d(55) \n\t  0 a(28,30) a(49,27) r(26,7) \n\t  1 d(55) d(39) d(33) d(8) a(24,22) a(32,51) \n\t  1 d(37) r(48,54) \n\t  2 d(55) d(39) d(33) a(33,58) \n\t  4 d(37) d(8) a(24,22) a(33,1) \n\t  1 d(37) d(8) a(24,22) r(18,41) d(55) r(30,10) d(39) \n\t  1 d(8) d(32) \n\t  4 d(37) d(8) a(24,22) d(57) \n\t  0 d(8) r(18,41) d(55) r(30,10) r(23,59) \n\t  1 d(46) d(51) r(44,8) a(35,22) \n\t  3 a(27,38) d(8) d(53) d(18) \n\t  1 d(55) r(27,6) \n\t  3 d(42) d(54) r(44,18) d(39) d(58) d(55) \n\t  3 d(55) d(39) d(58) a(43,38) \n\t  1 d(42) d(54) r(44,18) a(32,31) \n\t  3 d(55) d(35) d(56) \n\t  0 a(59,39) r(27,12) d(39) d(58) r(52,13) \n\t  2 d(55) d(39) d(58) d(52) \n\t  1 a(59,39) r(27,12) d(35) r(23,30) \n\t  1 d(41) a(53,43) d(32) \n\t  1 d(55) d(39) d(51) d(47) d(8) \n\t  5 d(41) a(53,43) d(47) r(22,16) \n\t  1 d(55) d(39) d(51) r(30,10) \nsearch: generation 4 (sizeof one variant = 0.0209084 MB)\n\t  0 d(37) r(48,54) r(27,6) r(30,13) \n\t  5 d(55) d(57) \n\t  1 d(37) r(48,54) a(43,28) \n\t  1 d(55) r(27,6) a(14,22) \n\t  0 a(27,38) d(8) d(26) a(26,25) d(20) r(24,22) \n\t  3 d(26) d(53) a(16,46) d(37) \n\t  1 a(27,38) d(8) d(53) a(16,46) r(25,36) \n\t  2 d(26) d(26) a(26,25) d(20) d(52) \n\t  1 d(55) d(39) d(53) r(29,47) d(54) \n\t  2 a(27,38) d(8) d(33) a(33,58) d(33) \n\t  1 d(55) d(39) d(33) a(33,58) d(51) \n\t  1 a(27,38) d(8) d(53) r(29,47) r(33,52) \n\t  0 d(42) r(47,14) a(37,58) r(30,48) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) \n\t  1 d(26) d(26) a(26,25) d(58) d(49) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) \n\t  3 d(55) d(35) d(56) d(12) \n\t  2 a(27,38) d(8) d(53) d(18) d(35) \n\t  2 d(55) d(39) d(33) a(33,58) a(20,4) \n\t  1 d(55) r(27,6) a(46,51) \n\t  0 d(42) a(49,27) d(24) \n\t  5 d(42) r(56,28) r(12,41) d(55) \n\t  5 d(42) a(49,27) r(12,41) d(44) \n\t  1 d(42) r(56,28) r(34,20) \n\t  1 a(27,38) d(8) d(53) d(30) \n\t  1 d(42) d(8) d(54) r(29,47) r(41,54) \n\t  3 a(27,38) d(8) d(53) r(29,47) d(20) \n\t  0 d(42) d(8) d(54) r(24,55) \n\t  0 a(28,30) d(8) d(53) d(24) \n\t  2 d(26) d(26) d(49) r(31,49) a(6,36) \n\t  2 d(37) d(8) r(44,18) a(32,31) d(6) \n\t  1 d(42) d(54) a(24,22) a(33,1) a(43,5) \n\t  4 d(37) d(8) a(24,22) a(33,1) r(20,25) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(2) \n\t  3 a(28,30) d(8) d(53) r(38,16) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) \n\t  2 a(28,30) d(8) d(53) d(35) \n\t  2 d(42) d(54) r(44,18) d(52) d(46) \n\t  3 a(27,38) d(8) d(53) r(14,9) d(18) \n\t  0 d(55) d(39) d(33) d(8) a(24,22) a(32,51) r(27,29) \n\t  3 d(37) d(8) a(24,22) d(57) r(54,16) \n\t  2 d(55) d(39) d(58) d(52) r(8,6) \n\t  1 a(27,38) d(8) d(53) d(18) r(33,58) \n\t  2 d(42) d(52) \n\t  0 d(55) d(35) d(56) a(49,27) r(12,41) r(48,28) \n\t  0 d(42) a(49,27) r(12,41) d(24) \n\t  2 d(55) d(35) d(56) d(53) \n\t  2 a(28,30) a(2,28) r(26,58) d(52) r(10,51) \n\t  5 d(42) a(49,27) r(12,41) d(26) \n\t  5 d(55) a(46,57) \n\t  0 d(55) d(39) d(51) r(30,10) d(39) d(58) a(43,38) d(48) \n\t  0 d(55) d(39) d(58) a(43,38) r(51,48) \n\t  1 d(55) d(39) d(51) r(30,10) d(16) \n\t  5 d(41) d(57) d(20) r(59,18) \n\t  5 d(26) d(26) a(26,25) d(58) a(24,12) \n\t  0 d(41) d(57) d(58) r(38,3) \n\t  5 d(26) d(26) a(26,25) d(20) d(25) \n\t  2 d(26) d(26) d(49) r(31,49) a(44,14) \n\t  0 d(55) d(35) d(56) r(48,26) \nsearch: generation 5 (sizeof one variant = 0.0209732 MB)\n\t  1 d(55) r(27,6) a(46,51) r(54,39) \n\t  1 d(26) d(26) a(26,25) d(20) d(25) r(51,30) \n\t  3 d(37) d(8) a(24,22) d(57) r(54,16) r(6,56) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) r(44,23) \n\t  1 a(27,38) d(8) d(53) d(30) d(22) \n\t  3 a(27,38) d(8) d(53) r(14,9) d(18) r(45,27) \n\t  5 d(55) r(44,18) a(36,24) d(14) d(46) \n\t  3 d(42) d(54) d(57) d(16) \n\t  2 d(55) d(57) d(36) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(42,29) \n\t  1 d(26) d(53) a(16,46) d(37) r(33,18) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) d(2) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) a(35,20) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) \n\t  0 d(55) r(27,6) a(46,51) d(28) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) \n\t  1 d(55) r(27,6) a(46,51) d(37) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) d(39) \n\t  3 d(55) d(39) r(57,47) d(53) \n\t  1 d(42) d(54) r(44,18) a(32,31) d(51) r(30,10) d(16) d(59) \n\t  1 d(55) d(39) d(51) r(30,10) d(16) a(6,14) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(56,53) \n\t  4 d(37) d(8) a(24,22) a(33,1) r(20,25) d(56) \n\t  1 d(37) r(48,54) d(57) a(45,8) \n\t  0 d(55) r(27,6) r(30,13) r(32,24) \n\t  0 d(37) r(48,54) r(27,6) r(30,13) a(55,1) \n\t  0 d(55) d(57) r(24,41) \n\t  2 a(27,38) d(8) d(33) a(33,58) d(33) r(51,11) \n\t  5 d(26) d(26) a(26,25) d(20) d(25) a(20,16) \n\t  2 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) \n\t  3 d(37) r(20,25) d(53) \n\t  1 d(37) d(8) a(24,22) a(33,1) r(20,25) r(27,44) \n\t  1 d(37) d(8) r(44,18) a(32,31) d(6) r(52,10) \n\t  2 d(42) d(54) r(44,18) a(36,24) d(56) r(38,16) a(18,52) \n\t  3 a(28,30) d(8) d(53) d(43) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) d(55) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(43,45) \n\t  3 a(28,30) d(8) d(53) r(38,16) r(44,23) \n\t  5 d(55) r(16,42) \n\t  0 d(41) d(57) d(20) r(59,18) d(35) d(56) d(12) d(28) \n\t  0 d(55) d(35) d(56) d(12) r(22,5) \n\t  1 d(41) d(57) d(20) r(59,18) d(32) \n\t  2 a(27,38) d(8) d(53) d(18) d(35) r(58,40) \n\t  2 a(28,30) a(2,28) r(26,58) d(52) r(10,51) d(37) \n\t  1 d(42) d(54) r(44,18) r(44,18) a(36,24) d(14) r(32,6) \n\t  3 d(42) d(54) a(36,24) d(56) d(53) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) a(58,14) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(14) d(29) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(56) d(54) a(24,22) a(33,1) a(43,5) d(10) \n\t  0 d(42) d(28) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) r(18,32) \n\t  1 d(42) d(54) a(24,22) a(33,1) a(43,5) d(59) \n\t  5 d(55) d(56) a(2,25) \n\t  3 d(42) d(54) r(44,18) a(36,24) a(46,57) r(2,59) \n\t  5 d(55) a(46,57) d(6) \n\t  0 d(42) d(54) r(44,18) a(36,24) d(56) a(33,3) \n\t  0 d(37) d(8) a(24,22) a(33,1) r(20,25) r(48,26) \n\t  1 d(42) r(56,28) r(34,20) r(53,33) \nsearch: generation 6 (sizeof one variant = 0.0208712 MB)\n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(53) r(38,16) a(59,33) a(23,31) \n\t  5 a(28,30) d(8) d(26) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(20) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) r(12,32) \n\t  1 d(42) r(56,28) r(34,20) r(53,33) d(6) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(43,45) r(10,50) \n\t  0 d(42) d(54) r(44,18) a(36,24) d(56) a(33,3) r(47,36) \n\t  5 d(26) d(26) a(26,25) d(20) d(25) a(20,16) d(20) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) d(2) \n\t  1 d(41) d(57) d(20) r(59,18) d(32) d(46) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) \n\t  3 a(28,30) d(35) \n\t  1 a(28,30) d(8) d(53) r(38,16) a(59,33) r(31,52) \n\t  1 a(28,30) d(8) d(53) d(43) d(32) \n\t  3 d(42) d(54) a(36,24) d(56) d(53) d(54) \n\t  1 d(42) d(54) r(44,18) r(44,18) a(36,24) d(14) r(32,6) r(2,52) \n\t  0 d(55) d(57) d(36) r(30,9) \n\t  1 a(27,38) d(8) d(33) a(33,58) d(33) r(51,11) r(52,28) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) a(33,1) r(20,25) d(56) r(30,47) \n\t  2 d(37) d(8) a(24,22) r(16,20) r(36,6) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) \n\t  0 d(37) d(8) a(24,22) a(33,1) r(20,25) d(56) r(25,13) \n\t  4 d(26) d(26) a(26,25) d(20) d(25) a(20,16) d(39) \n\t  0 d(55) a(46,57) d(6) d(24) \n\t  1 d(26) d(26) a(26,25) d(20) d(25) a(20,16) r(33,47) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) a(58,14) r(26,55) \n\t  0 d(42) d(24) \n\t  1 d(55) r(16,42) d(54) r(44,18) a(36,24) d(56) r(18,32) a(56,13) \n\t  0 d(42) d(54) r(44,18) a(36,24) d(56) r(18,32) r(36,5) \n\t  5 d(55) r(16,42) d(43) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) a(35,20) r(44,40) \n\t  0 d(42) d(54) r(44,18) a(36,24) d(14) r(42,29) r(28,31) \n\t  5 d(55) r(16,42) d(16) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) d(54) a(24,22) a(33,1) a(43,5) d(10) r(43,22) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) d(2) a(59,34) \n\t  3 d(42) d(54) d(57) d(16) d(45) \n\t  3 d(37) d(8) a(24,22) d(57) r(54,16) r(6,56) d(42) \n\t  2 d(55) a(46,57) d(6) d(31) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(56) d(36) d(33) \n\t  5 d(55) d(57) r(44,23) d(8) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) r(44,23) d(59) \n\t  2 d(55) d(57) d(36) r(58,16) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(45,44) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) \n\t  0 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(37,11) \n\t  1 d(42) d(54) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) r(16,46) \n\t  2 d(37) d(8) r(44,18) a(36,24) d(14) d(29) a(46,41) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(14) d(29) a(32,32) \n\t  2 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(42,29) r(39,58) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(43,45) d(50) \n\t  5 d(55) d(57) r(44,23) d(8) \n\t  0 a(28,30) d(8) d(53) r(38,16) r(24,41) a(46,12) \n\t  0 d(55) d(57) r(24,41) d(54) \n\t  3 a(28,30) d(8) d(53) r(38,16) r(44,23) a(30,1) \nsearch: generation 7 (sizeof one variant = 0.0209045 MB)\n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(42,29) r(39,58) d(55) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) d(8) d(53) r(38,16) a(59,33) r(12,32) r(41,42) \n\t  1 a(28,30) r(44,23) d(59) d(27) \n\t  2 d(42) d(54) r(44,18) a(36,24) d(56) r(44,23) d(59) r(52,44) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) r(12,32) d(18) \n\t  1 d(42) d(26) a(26,25) d(58) a(24,12) d(30) d(53) r(38,16) a(59,33) a(23,31) d(42) \n\t  1 d(26) r(56,28) r(34,20) r(53,33) d(6) d(44) \n\t  1 d(42) r(56,28) r(34,20) r(53,33) d(6) r(16,31) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(53) r(38,16) a(59,33) a(23,31) r(22,53) \n\t  3 d(42) d(54) a(36,24) d(53) d(54) r(46,41) \n\t  3 d(42) d(54) a(36,24) d(56) d(56) d(53) d(54) d(2) \n\t  1 d(42) d(54) a(36,24) d(56) d(53) d(54) d(25) \n\t  3 d(42) d(54) a(36,24) d(56) d(53) d(54) d(8) \n\t  2 d(55) d(57) r(44,23) d(8) r(46,52) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) d(54) a(24,22) a(33,1) a(43,5) d(10) r(43,22) d(20) \n\t  2 d(55) a(46,57) d(6) d(31) a(37,40) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) r(44,23) d(59) r(6,35) \n\t  3 d(41) r(56,36) r(53,10) a(35,20) r(44,40) r(56,10) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(38,1) d(55) r(16,20) a(39,44) r(2,14) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) a(35,20) r(44,40) d(53) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(10) \n\t  5 d(55) d(57) r(44,23) d(8) d(47) \n\t  1 d(55) r(16,42) d(43) d(25) a(20,16) r(33,47) r(39,52) \n\t  5 d(26) d(26) a(26,25) d(20) d(2) \n\t  5 d(55) r(16,42) d(43) a(50,10) \n\t  1 d(26) d(26) a(26,25) d(20) d(25) a(20,16) r(33,47) r(55,18) \n\t  4 d(37) d(8) a(24,22) a(33,1) d(8) r(16,20) a(39,44) r(10,25) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(44,18) a(32,31) d(6) a(53,8) d(57) r(10,27) \n\t  1 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) d(51) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) d(57) \n\t  3 a(28,30) d(39) a(57,53) \n\t  1 d(26) d(26) a(26,25) d(20) d(25) a(20,16) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) d(29) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) a(58,26) \n\t  0 d(26) d(26) a(26,25) d(20) d(25) a(20,16) d(39) a(43,28) \n\t  0 a(28,30) d(8) d(53) r(38,16) r(44,18) a(36,24) d(56) a(58,14) r(26,55) d(24) \n\t  3 d(42) d(54) a(59,33) d(8) d(53) d(43) d(38) d(14) \n\t  0 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) r(48,55) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) a(58,14) r(26,55) r(56,18) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) a(35,20) r(44,40) a(36,24) d(56) d(53) d(54) d(39) \n\t  3 d(42) d(54) a(12,8) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(14) a(35,20) r(44,40) r(34,55) \n\t  3 d(42) d(54) a(36,24) d(56) d(53) d(54) d(40) \n\t  1 d(41) r(56,36) d(54) d(57) d(16) d(45) d(49) \n\t  0 d(42) r(53,10) r(38,1) d(55) r(16,20) d(2) r(33,7) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) d(2) a(38,32) \n\t  3 d(42) d(54) d(57) d(16) d(45) r(40,23) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) d(2) d(50) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(14) a(35,20) r(44,40) r(27,32) \n\t  2 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) d(44) \n\t  5 d(26) r(44,23) a(30,1) d(23) \n\t  0 a(28,30) d(8) d(53) r(38,16) d(26) a(26,25) d(20) d(25) a(20,16) d(39) r(28,26) \n\t  4 d(26) d(26) a(26,25) d(20) d(25) a(20,16) d(39) r(59,40) \n\t  2 a(28,30) d(8) d(53) r(38,16) r(44,23) a(30,1) a(8,5) \n\t  1 d(26) r(57,47) a(58,33) r(43,57) r(25,42) \n\t  1 d(42) d(54) r(44,18) a(32,31) d(26) a(26,25) d(58) a(24,12) d(30) d(20) d(42) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(20) a(29,20) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(54) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) d(40) \n\t  1 d(26) d(26) a(26,25) d(20) d(25) a(20,16) d(20) d(26) \n\t  1 d(55) r(16,42) d(54) d(57) r(44,23) d(8) d(49) \n\t  0 d(55) r(44,18) a(36,24) d(56) r(18,32) a(56,13) a(36,20) \n\t  0 d(55) r(16,42) d(54) r(44,18) a(36,24) d(56) r(18,32) a(56,13) d(53) \n\t  5 d(55) d(57) r(44,23) d(8) d(45) \nsearch: generation 8 (sizeof one variant = 0.020174 MB)\n\t  5 d(55) d(57) r(44,23) d(8) d(45) d(16) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) a(58,26) r(2,6) \n\t  0 d(42) d(54) r(44,18) a(36,24) d(14) r(42,29) r(39,58) d(55) a(34,3) \n\t  1 d(42) d(54) r(44,18) a(32,31) d(26) a(26,25) d(58) a(24,12) d(30) d(20) d(42) d(54) \n\t  5 d(41) r(56,36) d(10) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(16,57) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(10) a(41,23) \n\t  2 d(55) d(57) r(44,23) d(8) d(6) d(31) a(37,40) r(40,55) \n\t  2 d(55) a(46,57) r(46,52) r(6,45) \n\t  2 d(55) d(57) r(44,23) d(8) r(46,52) r(56,36) \n\t  2 d(55) a(46,57) d(6) d(31) a(37,40) d(8) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(20) a(29,20) d(55) \n\t  5 d(55) d(57) r(44,23) d(8) d(45) r(56,22) \n\t  0 d(41) r(56,36) a(36,24) d(56) d(8) d(53) r(38,16) a(59,33) r(12,32) r(41,42) a(57,15) \n\t  2 d(42) d(54) r(44,18) r(53,10) r(38,1) d(55) r(16,20) a(39,44) d(57) a(45,36) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) d(57) d(25) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(56) d(8) d(53) r(38,16) a(59,33) r(12,32) r(41,42) a(36,1) \n\t  5 d(55) d(57) r(44,23) d(8) d(47) a(50,12) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) a(56,28) \n\t  1 d(55) d(57) r(44,23) d(8) d(47) r(25,26) \n\t  0 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) d(48) \n\t  1 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) d(44) d(30) \n\t  0 d(26) r(57,47) a(58,33) r(43,57) r(25,42) d(48) \n\t  2 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) d(44) a(51,39) \n\t  1 a(28,30) d(39) a(57,53) d(29) \n\t  3 d(42) d(53) d(43) d(38) d(14) d(16) \n\t  1 d(42) d(54) a(59,33) d(8) d(54) a(36,24) d(56) d(53) d(54) d(25) r(59,14) \n\t  1 d(42) d(54) a(36,24) d(56) d(53) d(54) d(25) r(49,40) \n\t  3 d(42) d(54) a(59,33) d(8) d(53) d(43) d(38) d(14) a(44,27) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(56) d(8) d(26) a(26,25) d(20) d(25) a(20,16) r(33,47) r(55,18) a(47,44) \n\t  3 d(26) d(53) r(38,16) a(59,33) r(12,32) r(41,42) d(38) \n\t  0 d(42) d(54) r(44,18) a(36,24) d(56) d(8) d(53) r(38,16) a(59,33) r(12,32) r(41,42) r(24,58) \n\t  0 d(26) d(26) a(26,25) d(20) d(25) a(20,16) r(33,47) r(55,18) r(59,11) \n\t  0 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(54) r(49,48) \n\t  2 d(42) d(54) a(36,24) d(56) d(56) d(53) d(54) d(2) d(35) \n\t  0 d(42) d(26) a(26,25) d(58) a(24,12) d(30) a(50,10) r(24,11) \n\t  3 d(55) r(16,42) d(43) d(53) r(38,16) a(59,33) a(23,31) d(42) d(22) \n\t  1 d(42) d(26) a(26,25) d(58) a(24,12) d(30) d(53) r(38,16) a(59,33) a(23,31) d(42) r(37,54) \n\t  5 d(55) r(16,42) d(43) a(50,10) a(16,53) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(38,1) d(55) r(16,20) a(39,44) r(2,14) d(6) \n\t  5 d(26) d(26) a(26,25) d(20) d(2) r(6,53) \n\t  1 d(55) d(57) r(44,23) d(8) d(45) d(50) \n\t  5 d(55) d(57) r(44,23) d(8) d(45) d(42) \n\t  5 d(26) d(58) d(16) r(59,20) \n\t  0 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(26) a(26,25) d(20) d(2) r(28,45) \n\t  2 d(26) d(26) a(26,25) d(20) d(2) d(52) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) r(22,3) \n\t  3 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) d(41) \n\t  0 d(42) d(54) a(36,24) d(56) d(8) d(45) r(27,48) \n\t  5 d(55) d(57) r(44,23) d(8) d(45) r(44,25) \n\t  3 d(42) d(54) a(36,24) d(56) d(56) d(53) d(54) d(2) a(52,54) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(20) a(26,25) d(20) d(2) d(44) \n\t  5 d(26) d(26) a(29,20) d(59) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(20) a(29,20) d(35) \n\t  4 d(26) d(26) a(26,25) d(20) d(2) d(39) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(36,24) d(56) d(53) d(54) d(8) a(2,36) \n\t  3 d(42) d(54) a(39,44) a(44,40) d(43) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) \n\t  1 d(42) d(54) a(36,24) d(56) d(53) d(54) d(8) d(31) \n\t  1 d(26) r(44,23) d(53) d(54) d(2) d(30) \n\t  2 d(42) d(54) a(36,24) d(56) d(56) a(30,1) d(23) a(36,50) \n\t  1 d(26) r(44,23) a(30,1) d(23) r(38,34) \n\t  3 d(42) d(54) a(36,24) d(56) d(56) d(53) d(54) d(2) a(10,36) \nsearch: generation 9 (sizeof one variant = 0.0208664 MB)\n\t  1 d(26) d(26) a(29,20) r(44,23) d(8) d(45) d(50) d(59) \n\t  2 d(55) d(57) d(59) d(52) \n\t  1 d(26) d(26) a(29,20) d(59) r(33,54) \n\t  1 d(55) d(57) r(44,23) d(8) d(45) d(50) r(22,30) \n\t  0 d(26) d(58) d(16) r(59,20) d(24) \n\t  4 d(55) d(57) r(44,23) d(8) d(45) d(42) d(39) \n\t  5 d(26) d(58) d(16) r(59,20) r(20,44) \n\t  5 d(55) d(57) r(44,23) d(8) d(45) d(42) d(57) \n\t  3 d(26) r(44,23) d(8) d(45) r(44,25) a(57,54) \n\t  2 d(55) d(57) d(26) a(26,25) d(20) d(2) r(6,53) d(52) \n\t  3 d(26) d(26) a(26,25) d(20) d(2) r(6,53) r(53,46) \n\t  3 d(55) d(57) r(44,23) d(8) d(45) r(44,25) d(38) \n\t  1 d(26) d(26) a(26,25) d(58) a(24,12) d(30) d(20) a(29,20) d(35) d(36) \n\t  0 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(10) a(41,23) a(33,28) \n\t  0 d(42) d(54) a(36,24) d(56) d(56) a(30,1) d(23) a(36,50) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) a(6,13) \n\t  5 d(41) r(56,36) r(58,4) \n\t  2 d(42) d(54) a(36,24) d(56) d(56) a(30,1) d(23) a(36,50) d(23) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(33) \n\t  3 d(55) d(57) r(44,23) d(56) d(53) r(45,37) a(44,57) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) d(54) d(2) d(41) d(46) \n\t  3 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) d(41) a(28,56) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) r(30,49) \n\t  3 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) d(41) a(32,46) \n\t  2 d(26) d(26) a(26,25) d(20) d(2) r(6,53) d(52) \n\t  2 d(55) a(46,57) r(46,52) r(6,45) d(20) d(2) d(39) a(49,20) \n\t  5 d(26) d(26) a(26,25) a(8,8) \n\t  2 d(55) a(46,57) r(46,52) r(6,45) r(8,58) \n\t  1 d(26) d(26) a(26,25) d(20) d(2) d(39) r(49,11) \n\t  3 d(42) d(54) r(44,18) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) d(45) \n\t  1 d(42) d(54) r(44,18) a(32,31) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) d(10) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) d(26) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) a(28,51) \n\t  1 d(55) d(57) r(44,23) d(8) r(46,52) r(56,36) d(25) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) a(56,28) a(55,55) \n\t  3 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) a(58,26) r(2,6) d(16) \n\t  0 d(26) d(26) a(26,25) d(20) d(2) d(52) r(54,5) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(56) d(8) d(53) r(38,16) a(59,33) r(12,32) r(41,42) a(36,1) r(34,56) \n\t  3 d(42) d(53) d(43) d(38) d(14) d(16) d(38) \n\t  5 d(55) d(57) r(44,23) d(8) d(45) r(56,22) a(36,14) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(36,24) d(56) d(53) d(54) d(8) a(2,36) a(37,55) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(38,1) d(55) r(16,20) a(39,44) r(2,14) d(6) a(33,53) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(16) \n\t  0 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) d(44) a(51,39) a(56,7) \n\t  1 d(42) d(54) a(59,33) d(8) d(54) a(36,24) d(56) d(53) d(54) d(25) r(59,14) r(39,52) \n\t  2 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) d(44) a(51,39) a(35,18) \n\t  1 d(42) d(54) a(59,33) d(8) d(54) a(36,24) d(56) d(53) d(54) d(25) r(59,14) d(2) \n\t  1 d(55) d(57) r(44,23) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) r(12,10) \n\t  1 d(42) d(54) r(44,18) d(8) d(47) a(50,12) r(37,9) \n\t  5 d(55) d(57) r(44,23) d(8) d(47) a(50,12) d(20) \n\t  1 d(42) d(54) r(44,18) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) a(36,25) \n\t  1 d(42) d(54) a(36,24) d(56) d(53) d(54) d(8) d(31) d(37) \n\t  2 d(55) a(46,57) r(46,52) r(6,45) a(37,29) \n\t  1 d(42) d(54) a(36,24) d(56) d(53) d(54) d(8) d(31) a(16,42) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(38,1) d(55) r(16,20) a(39,44) r(2,14) d(6) a(26,46) \n\t  1 d(55) a(46,57) r(46,52) r(6,45) a(49,59) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(22) \n\t  0 d(42) d(54) a(36,24) d(56) d(8) d(45) r(27,48) d(22) \n\t  2 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) a(58,26) r(2,6) r(18,52) \nsearch: generation 10 (sizeof one variant = 0.0209293 MB)\n\t  2 d(55) d(57) r(44,23) d(8) a(44,40) r(45,37) d(33) d(44) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) d(47) a(50,12) d(20) r(58,8) \n\t  5 d(55) d(57) r(44,23) d(8) d(47) a(50,12) d(20) a(26,22) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(33) r(58,28) \n\t  5 d(26) d(58) d(16) r(59,20) r(20,44) d(47) \n\t  1 d(42) d(54) r(44,18) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) d(45) r(50,56) \n\t  4 d(42) d(54) r(44,18) d(8) r(20,44) r(47,53) \n\t  0 d(26) d(58) d(16) r(59,20) d(47) a(50,12) r(37,9) d(30) \n\t  1 d(42) d(54) r(44,18) d(8) d(47) a(50,12) r(37,9) d(41) \n\t  5 d(26) d(58) d(16) r(59,20) r(20,44) d(56) \n\t  1 d(55) d(57) r(44,23) a(44,57) r(50,46) \n\t  0 d(55) d(57) r(44,23) d(56) d(53) r(45,37) d(8) d(45) r(56,22) a(36,14) d(48) \n\t  1 d(55) d(57) r(44,23) d(8) d(45) r(56,22) a(36,14) d(27) \n\t  3 d(55) d(57) r(44,23) d(56) d(53) r(45,37) a(44,57) d(23) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(14) r(38,1) d(55) a(46,57) r(46,52) r(6,45) r(8,58) d(29) \n\t  3 d(55) r(16,20) a(39,44) r(2,14) d(6) a(26,46) r(47,40) \n\t  3 d(42) d(54) r(44,18) a(36,24) d(14) r(38,1) d(55) r(16,20) a(39,44) r(2,14) d(6) a(26,46) a(51,55) \n\t  2 d(55) a(46,57) r(46,52) r(6,45) r(8,58) a(14,54) \n\t  3 d(41) r(56,36) d(53) d(54) d(8) a(2,36) a(37,55) r(56,46) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(36,24) d(56) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(22) r(33,32) \n\t  2 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(22) d(35) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(36,24) d(56) d(53) d(54) d(8) a(2,36) a(37,55) a(24,50) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) a(56,28) a(55,55) a(10,25) \n\t  1 d(42) d(54) a(36,24) d(56) d(53) d(54) d(8) d(31) d(37) d(43) \n\t  1 d(26) d(26) a(26,25) a(8,8) r(49,10) \n\t  2 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) a(56,28) a(55,55) r(36,18) \n\t  4 d(55) d(57) r(44,23) d(8) d(45) d(42) d(39) d(57) \n\t  2 a(28,30) d(8) d(53) r(38,16) a(59,33) d(8) d(53) d(43) d(38) a(58,26) r(2,6) r(18,52) d(57) \n\t  5 d(41) r(56,36) r(58,4) d(12) \n\t  0 d(26) d(58) d(16) r(59,20) d(24) d(44) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) r(16,20) a(39,44) a(44,40) r(45,37) d(16) a(45,32) \n\t  0 d(41) r(56,36) r(53,10) r(38,1) d(55) a(58,33) d(58) d(16) a(56,28) a(55,55) a(48,15) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) a(56,28) a(55,55) d(55) \n\t  1 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(16) d(27) \n\t  1 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) a(30,1) d(23) a(36,50) d(23) r(33,37) \n\t  0 d(42) d(54) a(36,24) d(56) d(56) d(41) a(32,46) a(41,59) \n\t  3 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) d(41) a(32,46) d(56) \n\t  2 d(42) d(54) a(36,24) d(56) d(56) a(30,1) d(23) a(36,50) d(23) d(10) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(36,24) d(56) d(53) d(54) d(8) a(2,36) a(37,55) d(40) \n\t  1 d(42) d(54) r(44,18) d(8) d(47) a(50,12) r(37,9) d(43) \n\t  2 d(55) d(57) d(26) a(26,25) d(20) d(2) r(6,53) d(52) r(58,43) \n\t  5 d(26) d(26) a(26,25) a(8,8) a(34,6) \n\t  1 d(55) d(57) d(26) a(26,25) d(20) d(2) r(6,53) d(52) r(31,58) \n\t  1 d(26) d(26) a(26,25) a(8,8) r(50,33) \n\t  1 d(26) d(26) a(29,20) d(59) r(33,54) r(23,56) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) r(57,47) a(58,33) d(58) d(16) a(56,28) a(55,55) r(40,55) \n\t  5 d(55) d(41) a(32,46) r(43,41) \n\t  2 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) d(57) r(44,23) d(8) d(45) d(42) d(57) r(52,40) \n\t  5 d(55) d(57) r(44,23) d(8) d(45) d(42) d(57) r(18,31) \n\t  2 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) d(41) a(32,46) a(41,52) \n\t  1 d(41) r(56,36) r(53,10) d(53) r(45,37) a(44,57) r(50,26) \n\t  1 d(55) d(57) r(44,23) d(56) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(16) a(47,34) \n\t  3 d(41) r(56,36) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(44,40) r(45,37) d(16) a(55,41) \n\t  1 d(55) d(57) r(44,23) d(56) d(53) r(45,37) a(44,57) a(47,11) \n\t  3 d(42) d(54) r(44,18) r(58,4) r(22,35) \n\t  3 d(41) r(56,36) a(36,24) d(14) r(38,1) d(55) r(16,20) a(39,44) r(2,14) d(6) a(33,53) d(46) \n\t  1 d(42) d(54) r(44,18) a(36,24) d(14) r(38,1) d(55) r(16,20) a(39,44) r(2,14) d(6) a(33,53) a(31,29) \n\t  5 d(41) r(56,36) r(58,4) a(56,27) \n\t  1 d(42) d(54) r(44,18) a(32,31) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) d(39) a(57,24) \n\t  0 d(55) d(57) r(44,23) d(8) d(45) d(42) r(16,20) a(39,44) a(57,55) r(42,14) d(10) r(44,28) \n\t  1 d(42) d(54) r(44,18) a(32,31) a(32,31) r(57,47) a(58,33) r(43,57) d(10) r(53,10) r(38,1) d(55) r(16,20) a(39,44) a(57,55) r(42,14) d(10) d(53) \n\t  1 d(55) d(57) r(44,23) d(8) d(45) d(42) d(39) r(49,43) \n\t  1 d(55) d(57) r(44,23) d(56) d(53) d(54) d(2) d(41) a(32,46) r(50,14) \n\t  2 d(37) d(8) a(24,22) a(33,1) d(8) r(44,18) a(32,31) d(6) a(53,8) d(57) d(44) a(51,39) a(35,18) r(12,27) \nsearch: genetic algorithm ends\nRep: saving test cache\n\nVariant Test Case Queries: 3612\n"Test Suite Evaluations": 602\n\nCompile Failures: 0\nWall-Clock Seconds Elapsed: 395.494\n  Activity Name                     Count Seconds = Percent of Total Time\n  compile                             603  79.718 = 21.0392%\n  test                               3624 299.181 = 78.9595%\n  TOTAL                                   378.904 = 95.8029% (avg CPU usage)\n'