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 9\n--pos-weight 0.65\n--prefix "./"\n--preprocessor ""\n--print-incremental-evals false\n--print-source-name false\n--program "/home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_f2a5e508f134c75db35c54474b6acb238796bd8a_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 2190963527509698830\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/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_0_f2a5e508f134c75db35c54474b6acb238796bd8a_digits_19499302394915454394147710848/test_19499302394915454394147710848"\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/tmp9e8252.c /home/tedks/tmp/tmp50bbe5.c\ncilRep: done preprocessing IO function signatures\ncilrep: from_source: pre: stmt_count = 1\ncilRep: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_f2a5e508f134c75db35c54474b6acb238796bd8a_digits-merged.c: parsing\ncilRep: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_f2a5e508f134c75db35c54474b6acb238796bd8a_digits-merged.c: parsed (0.068881 MB)\ncilrep: from_source: post: stmt_count: 108\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\tp6: true (1)\n\tp7: true (1)\n\tp8: true (1)\n\tp9: true (1)\n\tn1: false (0)\ncachingRepresentation: sanity checking passed (time_taken = 0.788379)\nfaultLocRep: compute_localization: fault_scheme: path, fix_scheme: default\nRep: coverage_sourcename: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_0_f2a5e508f134c75db35c54474b6acb238796bd8a_digits_19499302394915454394147710848/./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\n\ttest: 6\n\ttest: 7\n\ttest: 8\n\ttest: 9\ncilRep: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_f2a5e508f134c75db35c54474b6acb238796bd8a_digits-merged.cache: saved\ncachingRep: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_f2a5e508f134c75db35c54474b6acb238796bd8a_digits-merged.cache: saved\nfaultlocRep: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_f2a5e508f134c75db35c54474b6acb238796bd8a_digits-merged.cache: saved\ncilrep done serialize\ncilRep: stmt_count = 108\ncilRep: stmts in weighted_path = 23\ncilRep: total weight = 14.35\ncilRep: stmts in weighted_path with weight >= 1.0 = 0\ncilRep: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_f2a5e508f134c75db35c54474b6acb238796bd8a_digits-merged.c (code bank/base file; atoms [1,108])\ncilRep: 1 file(s) total in representation\nsearch: genetic algorithm begins (|original| = 0.0664692 MB)\nsearch: initial population (sizeof one variant = 0.00627422 MB)\n\t 9 r(95,36) \n\t 9 a(104,72) \n\t 8 r(100,84) \n\t 9 d(35) \n\t 8 r(107,13) \n\t 8 a(56,100) \n\t 9 a(108,30) \n\t 6 r(81,25) \n\t 9 r(81,31) \n\t 9 r(45,3) \n\t 9 r(56,22) \n\t 9 d(56) \n\t 9 d(81) \n\t 8 r(35,100) \n\t 8 d(101) \n\t 9 d(96) \n\t 9 d(18) \n\t 9 d(95) \n\t 8 d(107) \n\t 8 d(100) \n\t 9 r(18,39) \n\t 9 r(108,3) \n\t 9 d(18) \n\t 8 d(104) \n\t 9 d(26) \n\t 9 r(96,69) \n\t 8 d(101) \n\t 9 d(18) \n\t 9 a(68,20) \n\t 9 d(108) \n\t 9 a(99,88) \n\t 0 r(99,53) \n\t 9 a(108,103) \n\t 8 a(102,101) \n\t 9 a(97,46) \n\t 9 r(56,37) \n\t 9 d(5) \n\t 9 r(26,63) \n\t 9 r(45,5) \n\t 9 original\nsearch: generation 1 (sizeof one variant = 0.0665607 MB)\n\t 9 d(18) r(81,83) \n\t 7 d(101) d(107) \n\t 8 d(18) d(101) \n\t 8 d(101) d(101) \n\t 9 d(108) r(108,79) \n\t 9 d(56) d(98) \n\t 4 d(95) a(104,44) \n\t 4 r(96,69) r(100,44) \n\t 9 d(95) r(11,74) \n\t 9 r(96,69) a(100,38) \n\t 8 r(56,22) d(106) \n\t 4 a(108,103) a(99,44) \n\t 9 d(5) a(96,63) \n\t 9 r(45,5) a(106,83) \n\t 0 d(5) r(103,65) \n\t 9 r(45,5) d(45) \n\t 8 d(95) d(100) \n\t 9 a(104,72) d(95) \n\t 9 d(95) a(95,73) \n\t 8 a(104,72) a(97,100) \n\t 9 d(96) r(26,3) \n\t 4 d(56) a(56,15) \n\t 8 d(96) d(103) \n\t 8 d(56) d(102) \n\t 9 a(104,72) d(26) \n\t 6 r(45,3) r(35,15) \n\t 7 a(104,72) r(100,104) \n\t 9 r(45,3) d(56) \n\t 9 r(18,39) a(68,20) \n\t 8 r(108,3) a(35,10) \n\t 9 r(45,3) a(107,7) \n\t 9 d(35) a(56,104) \n\t 9 r(45,3) d(18) \n\t 7 d(35) r(102,10) \n\t 8 d(18) d(106) \n\t 8 d(95) r(107,21) \n\t 9 r(26,63) r(26,13) \n\t 9 r(56,37) a(100,37) \n\t 9 r(26,63) a(101,60) \n\t 9 r(56,37) d(56) \n\t 8 d(56) d(99) \n\t 9 d(5) d(11) \n\t 9 d(56) d(35) \n\t 7 d(5) r(26,34) \n\t 8 r(26,63) r(102,69) \n\t 8 r(45,3) d(106) \n\t 8 r(26,63) d(103) \n\t 8 r(45,3) r(105,59) \n\t 7 r(56,37) r(26,8) \n\t 8 d(101) d(35) \n\t 8 r(56,37) d(99) \n\t 8 d(101) d(95) \n\t 8 r(56,22) d(103) \n\t 8 d(35) r(101,38) \n\t 8 d(96) d(107) \n\t 8 r(108,3) d(103) \n\t 0 d(18) r(97,43) \n\t 9 d(18) r(35,51) \n\t 8 d(18) r(99,43) \n\t 9 d(18) a(18,75) \n\t 9 r(96,69) r(95,84) \n\t 9 r(26,63) d(98) \n\t 9 r(81,31) d(98) \n\t 5 r(26,63) r(108,34) \n\t 9 r(81,31) a(18,28) \n\t 8 r(26,63) d(102) \nsearch: generation 2 (sizeof one variant = 0.0666428 MB)\n\t 9 d(56) d(98) a(11,27) \n\t 4 d(95) a(104,44) a(95,96) \n\t 9 d(56) a(18,18) \n\t 0 a(104,72) d(95) d(98) r(106,94) \n\t 9 d(56) d(98) r(26,74) \n\t 9 a(104,72) d(95) r(11,45) \n\t 8 r(26,63) d(103) a(102,51) \n\t 9 d(95) r(11,74) d(95) \n\t 5 d(101) d(107) a(99,17) \n\t 6 r(45,3) r(35,15) d(45) \n\t 6 d(101) d(107) r(100,20) \n\t 6 r(45,3) r(35,15) a(81,70) \n\t 9 r(18,39) a(68,20) d(18) \n\t 8 d(18) r(81,83) r(104,27) \n\t 4 r(26,63) r(108,34) d(106) \n\t 7 a(104,72) d(95) r(26,17) \n\t 9 r(18,39) a(68,20) a(18,29) \n\t 5 r(45,3) r(35,15) d(103) \n\t 8 d(96) r(26,3) d(100) \n\t 9 d(18) a(18,75) a(68,95) \n\t 9 d(96) r(26,3) d(108) \n\t 9 d(18) a(18,75) a(81,85) \n\t 7 d(95) r(26,34) d(45) \n\t 9 d(5) a(95,73) d(45) \n\t 9 d(95) a(95,73) r(96,47) \n\t 6 d(5) r(26,34) d(103) \n\t 8 d(101) d(35) a(35,56) \n\t 8 r(45,3) d(106) a(108,101) \n\t 8 r(81,31) a(18,28) r(104,28) \n\t 8 d(96) d(107) d(26) \n\t 9 d(95) a(95,73) a(106,79) \n\t 9 r(56,37) a(100,37) d(56) \n\t 9 d(95) a(95,73) d(95) \n\t 7 r(26,63) d(103) d(105) \n\t 9 d(95) a(95,73) d(108) \n\t 8 r(26,63) d(103) a(26,3) \n\t 9 a(104,72) a(95,76) \n\t 8 r(45,3) a(107,7) d(95) r(100,58) \n\t 5 a(104,72) d(95) a(98,34) \n\t 9 r(45,3) a(107,7) d(96) \n\t 8 d(108) d(101) a(35,64) \n\t 7 d(101) r(108,79) d(99) \n\t 9 d(108) r(108,79) r(5,51) \n\t 8 d(101) d(101) a(56,105) \n\t 8 r(26,63) r(26,13) a(68,99) \n\t 3 d(95) a(95,73) a(68,42) \n\t 8 r(45,3) d(56) r(103,61) \n\t 8 r(56,37) d(56) d(100) \n\t 9 d(18) a(18,75) r(45,60) \n\t 9 r(45,3) d(18) r(18,21) \n\t 7 d(56) d(35) r(106,101) \n\t 7 d(35) r(101,38) d(100) \n\t 9 d(35) a(56,104) r(98,76) \n\t 9 a(104,72) d(26) d(95) \n\t 8 d(35) a(56,104) r(104,54) \n\t 9 a(104,72) d(26) d(35) \nsearch: generation 3 (sizeof one variant = 0.0664549 MB)\n\t 6 d(35) r(101,38) d(100) d(107) \n\t 9 d(18) a(18,75) a(68,95) d(98) \n\t 7 d(35) r(101,38) d(100) d(100) \n\t 9 d(18) a(18,75) a(68,95) d(18) \n\t 8 a(104,72) d(26) d(35) r(102,62) \n\t 8 d(56) d(98) r(26,74) r(102,96) \n\t 7 r(26,63) r(26,13) a(68,99) r(101,31) \n\t 7 r(26,63) d(103) a(102,51) a(100,102) \n\t 9 d(56) a(107,88) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) \n\t 9 d(56) a(18,18) d(95) \n\t 9 d(95) a(95,73) d(95) d(95) \n\t 9 d(95) d(45) \n\t 8 r(26,63) d(103) a(102,51) r(11,74) d(95) d(81) \n\t 9 d(95) r(11,74) d(95) d(98) \n\t 8 r(26,63) d(103) a(102,51) a(104,46) \n\t 9 a(104,72) a(95,76) r(26,37) \n\t 5 d(5) r(26,34) d(103) d(106) \n\t 7 d(95) a(95,73) d(103) d(105) a(96,30) \n\t 0 r(26,63) a(106,79) r(106,15) \n\t 8 d(95) a(95,73) a(106,79) r(106,12) \n\t 6 r(26,63) d(103) d(105) r(100,51) \n\t 8 d(5) a(95,73) d(45) r(95,10) \n\t 7 r(26,63) d(103) d(105) d(108) \n\t 8 a(104,72) d(26) d(35) d(101) a(35,64) d(68) \n\t 9 d(108) a(102,41) \n\t 9 a(104,72) d(26) d(35) a(105,62) \n\t 8 d(108) d(101) a(35,64) d(45) \n\t 8 a(104,72) d(26) d(35) r(103,59) \n\t 8 r(45,3) a(107,7) d(96) r(104,57) \n\t 9 d(95) a(95,73) a(106,79) a(99,89) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) \n\t 9 d(95) a(95,73) a(106,79) d(98) \n\t 8 d(18) a(18,75) a(81,85) d(107) \n\t 9 d(5) a(95,73) d(45) d(96) \n\t 9 a(104,72) d(95) r(11,45) d(81) \n\t 6 d(101) d(107) r(100,20) a(35,56) a(95,106) \n\t 7 d(101) d(35) d(104) \n\t 5 d(101) d(107) r(100,20) d(102) \n\t 1 d(101) d(35) a(35,56) r(95,53) \n\t 9 r(18,39) a(68,20) d(18) d(18) \n\t 8 d(95) r(11,74) d(95) r(105,31) \n\t 8 r(26,63) r(26,13) a(68,99) a(107,99) \n\t 0 d(56) a(18,18) r(97,14) \n\t 8 r(26,63) r(26,13) a(68,99) r(98,41) \n\t 9 d(56) a(18,18) d(81) \n\t 9 a(104,72) a(95,76) a(68,30) \n\t 8 d(101) d(101) a(56,105) r(96,14) \n\t 8 d(95) a(95,73) a(106,79) d(105) \n\t 9 d(5) a(95,73) d(45) a(97,22) \n\t 9 d(95) a(95,73) r(35,61) \n\t 8 r(45,3) a(107,7) d(96) r(96,47) r(102,35) \n\t 9 d(95) a(95,73) r(96,47) a(35,90) \n\t 9 r(45,3) a(107,7) d(96) r(68,75) \n\t 8 d(95) a(95,73) r(104,28) r(5,29) \n\t 9 r(81,31) a(18,28) d(108) a(105,33) \n\t 9 d(95) a(95,73) d(108) r(26,54) \n\t 8 r(81,31) a(18,28) r(104,28) r(68,37) \n\t 5 a(104,72) d(26) d(95) r(45,78) \n\t 7 r(45,3) a(107,7) d(96) r(105,10) \nsearch: generation 4 (sizeof one variant = 0.0653954 MB)\n\t 8 r(26,63) d(98) d(104) \n\t 8 d(95) r(11,74) d(95) r(26,13) a(68,99) r(98,41) a(105,64) \n\t 6 r(26,63) r(26,13) a(68,99) r(98,41) r(102,100) \n\t 9 d(95) r(11,74) d(95) d(98) a(96,87) \n\t 8 a(104,72) a(95,76) r(26,37) r(99,45) \n\t 5 d(101) d(107) r(100,20) a(35,56) a(95,106) d(99) \n\t 9 d(95) a(95,73) d(95) d(95) a(56,37) \n\t 9 a(104,72) a(95,76) a(68,30) r(56,74) \n\t 8 d(95) a(95,73) a(106,79) r(106,12) a(18,69) \n\t 8 d(5) a(95,73) d(45) r(95,10) d(68) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(56) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,6) r(103,18) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(104,58) \n\t 0 r(81,31) a(18,28) d(108) a(105,33) r(102,23) \n\t 0 d(56) a(107,88) d(97) \n\t 8 d(95) d(45) r(107,91) \n\t 7 d(101) d(35) d(104) r(95,16) \n\t 8 r(26,63) d(103) a(102,51) a(104,46) r(81,7) \n\t 6 d(95) a(95,73) d(103) d(105) a(96,30) d(104) \n\t 1 d(95) a(95,73) r(104,28) r(5,29) a(107,80) \n\t 8 r(45,3) a(107,7) d(96) r(104,57) a(105,35) \n\t 9 d(95) a(95,73) r(96,47) a(35,90) r(98,56) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(104,91) \n\t 8 d(95) a(95,73) a(106,79) r(106,12) a(5,71) \n\t 8 d(108) a(102,41) d(107) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,6) d(100) \n\t 9 d(95) a(95,73) d(108) r(26,54) d(45) \n\t 9 d(56) a(18,18) d(35) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) \n\t 8 d(56) a(18,18) d(81) d(102) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(35) \n\t 9 d(95) a(95,73) r(96,47) a(35,90) d(95) \n\t 7 d(95) a(95,73) r(104,28) r(5,29) r(105,37) \n\t 8 d(95) a(95,73) r(104,28) r(5,29) d(68) \n\t 8 d(95) a(95,73) r(96,47) a(35,90) r(101,38) \n\t 7 r(45,3) a(107,7) d(96) r(104,57) d(106) \n\t 9 a(104,72) a(95,76) r(26,37) a(95,91) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(11,74) d(95) r(105,31) d(56) \n\t 9 d(95) a(11,77) \n\t 9 d(95) a(95,73) a(106,79) d(98) r(26,31) \n\t 3 d(95) r(11,74) d(95) r(105,31) a(56,42) \n\t 9 d(56) a(18,18) d(81) d(35) \n\t 0 a(104,72) d(95) r(11,45) d(81) a(100,23) \n\t 7 r(81,31) a(18,28) r(104,28) r(68,37) r(102,81) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) r(11,19) \n\t 8 r(81,31) a(18,28) r(104,28) r(68,37) a(35,36) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) r(98,89) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) \n\t 8 d(56) a(99,89) r(103,61) \n\t 9 d(95) a(95,73) a(106,79) a(99,89) a(11,30) \n\t 9 d(56) a(18,18) d(81) a(68,56) \n\t 8 d(101) d(101) a(56,105) r(96,14) d(45) \n\t 0 d(18) a(18,75) a(81,85) d(107) d(97) \nsearch: generation 5 (sizeof one variant = 0.0659819 MB)\n\t 8 d(95) a(95,73) a(106,79) d(98) r(104,91) r(26,22) \n\t 9 d(95) a(11,77) a(103,73) \n\t 6 r(81,31) a(18,28) r(104,28) r(68,37) r(102,81) d(107) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,88) \n\t 3 d(18) a(18,75) a(81,85) a(81,43) r(11,19) a(106,55) \n\t 9 d(95) a(11,77) d(18) \n\t 8 d(95) d(45) a(100,99) \n\t 7 d(95) a(95,73) d(95) d(95) a(56,37) r(107,91) d(102) \n\t 8 d(95) d(45) r(107,91) r(35,102) \n\t 0 d(95) a(95,73) d(95) d(95) a(56,37) r(97,28) \n\t 9 a(104,72) a(95,76) a(68,30) r(56,74) d(35) \n\t 9 d(95) a(95,73) r(96,47) a(35,90) r(98,56) d(95) \n\t 8 a(104,72) a(95,76) r(26,37) d(81) d(5) d(105) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) \n\t 8 a(104,72) a(95,76) r(26,37) a(95,91) d(100) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) \n\t 8 r(26,63) r(26,13) a(68,99) a(95,73) r(96,47) a(35,90) r(98,56) d(95) \n\t 7 d(95) r(98,41) r(102,100) d(96) \n\t 7 r(26,63) r(26,13) a(68,99) r(98,41) r(102,100) d(99) \n\t 7 d(95) a(95,73) r(96,47) a(35,90) r(98,56) r(100,99) \n\t 7 d(95) r(11,74) d(95) r(26,13) a(68,99) r(98,41) a(105,64) d(103) \n\t 8 a(104,72) a(95,76) r(26,37) r(99,45) d(81) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) \n\t 8 r(26,63) d(98) d(104) d(95) \n\t 0 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) a(104,94) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(104,58) a(96,105) \n\t 8 d(56) r(26,37) r(99,45) r(35,71) \n\t 9 a(104,72) a(95,76) a(18,18) d(81) d(35) a(107,28) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) \n\t 8 a(104,72) a(95,76) r(26,37) r(99,45) r(99,18) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,6) a(104,58) d(99) \n\t 2 d(95) r(11,74) d(95) r(105,31) a(56,42) d(107) \n\t 8 r(45,3) a(107,7) d(99) \n\t 6 d(95) a(95,73) a(106,79) d(98) r(26,31) d(96) r(104,57) d(106) d(102) \n\t 0 r(45,3) a(107,7) d(96) r(104,57) d(106) r(105,8) \n\t 9 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) \n\t 8 d(95) a(95,6) r(103,18) a(45,94) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,73) a(106,79) a(99,89) a(11,30) r(108,88) \n\t 9 d(95) a(95,73) a(106,79) a(99,89) a(11,30) d(45) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,6) r(103,18) r(95,86) \n\t 8 d(56) a(18,18) d(81) d(102) a(18,76) \n\t 9 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) \n\t 7 d(95) a(95,73) d(95) a(18,18) a(95,6) d(100) r(106,89) \n\t 9 d(95) r(11,74) d(95) d(98) a(96,87) d(18) \n\t 0 d(18) a(18,75) a(81,85) a(81,43) r(11,19) d(97) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,6) a(104,58) r(106,96) \n\t 9 d(95) a(95,73) r(96,47) a(35,90) r(98,56) d(95) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) r(98,89) r(106,46) \n\t 9 d(95) a(11,77) a(97,30) \n\t 7 r(26,63) d(98) d(104) d(103) \n\t 8 d(95) a(95,73) a(106,79) d(45) r(107,91) a(81,57) \n\t 8 d(95) d(98) r(26,31) d(101) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(104) \n\t 8 d(95) d(45) r(107,91) d(95) \nsearch: generation 6 (sizeof one variant = 0.0660963 MB)\n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,73) a(106,79) a(99,89) a(11,30) r(108,88) d(105) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(81,43) r(98,89) r(106,46) r(26,18) \n\t 6 d(18) a(18,75) a(81,85) r(107,17) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) d(26) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) r(98,89) r(106,46) r(56,97) \n\t 8 a(104,72) a(95,76) a(18,18) d(81) d(35) a(107,28) d(104) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) d(100) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) d(95) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) d(98) \n\t 2 d(95) a(95,73) a(106,79) d(81) d(35) d(45) a(81,32) \n\t 6 d(56) a(18,18) d(98) r(26,31) d(96) r(104,57) d(106) d(102) d(18) \n\t 5 d(95) a(95,73) a(106,79) d(98) r(26,31) d(96) r(104,57) d(106) d(102) r(103,74) \n\t 8 d(56) a(18,18) d(81) d(35) d(45) d(106) \n\t 8 d(95) a(11,77) d(18) d(98) a(96,87) d(18) d(101) \n\t 9 d(95) r(11,74) d(95) a(103,51) \n\t 9 d(95) a(11,77) d(18) r(95,38) \n\t 8 d(95) r(11,74) d(95) d(98) a(96,87) d(18) r(107,96) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,73) a(106,79) a(99,89) a(104,58) d(99) r(35,38) \n\t 0 d(95) a(95,73) d(95) a(18,18) a(95,6) a(104,58) d(99) d(97) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,73) a(106,79) a(99,89) a(11,30) r(108,88) r(100,98) \n\t 8 d(95) a(95,73) d(95) d(95) a(56,37) r(98,89) r(106,46) r(56,107) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) \n\t 9 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) d(35) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) r(98,89) r(106,46) d(98) \n\t 8 d(95) d(45) r(107,91) r(35,102) a(18,20) \n\t 8 d(56) a(18,18) d(81) d(102) a(18,76) a(45,41) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(104,91) r(26,22) a(45,74) \n\t 9 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) d(56) \n\t 0 d(95) a(95,73) r(96,47) a(35,90) r(98,56) r(100,99) a(96,108) \n\t 0 a(104,72) a(95,76) a(18,18) d(81) d(35) a(107,28) a(107,15) \n\t 8 a(104,72) a(95,76) r(26,37) d(81) d(5) d(105) a(100,49) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) \n\t 7 d(95) a(95,73) d(95) d(95) a(56,37) r(107,91) r(99,41) \n\t 6 d(95) a(95,73) a(106,79) d(98) r(104,91) r(26,22) d(102) d(100) \n\t 6 d(95) a(95,73) d(95) d(95) a(56,37) r(107,91) d(102) d(104) \n\t 7 d(95) a(95,73) a(106,79) d(98) r(104,91) r(26,22) r(99,28) \n\t 8 d(95) d(98) r(26,31) d(101) d(108) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) \n\t 0 d(95) a(95,76) r(26,37) r(99,45) d(81) a(99,8) \n\t 7 a(104,72) a(95,6) r(103,18) a(45,94) d(102) \n\t 7 d(95) a(95,6) r(103,18) a(45,94) d(101) \n\t 8 a(104,72) a(95,76) r(26,37) r(99,45) d(81) r(35,41) \n\t 9 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) r(26,38) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,73) a(106,79) a(99,89) a(11,30) r(108,88) r(107,41) \n\t 8 r(26,63) d(98) d(104) a(18,18) a(95,91) a(105,14) r(56,86) \n\t 8 d(95) a(95,73) a(106,79) d(103) d(68) \n\t 0 r(26,63) d(98) d(104) d(103) a(104,23) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,88) a(45,34) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,88) d(5) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) d(45) \n\t 8 d(56) r(26,37) r(99,45) r(35,71) a(98,29) \n\t 9 d(95) a(95,73) r(96,47) a(35,90) r(98,56) d(95) d(108) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,73) a(106,79) a(99,89) a(11,30) r(108,88) d(81) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) \nsearch: generation 7 (sizeof one variant = 0.0662966 MB)\n\t 8 d(95) a(95,73) a(81,43) r(98,89) r(106,46) r(56,97) r(81,88) \n\t 8 d(18) a(18,75) a(81,85) d(95) d(95) a(56,37) a(45,95) d(56) r(99,24) \n\t 8 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) d(56) d(99) \n\t 7 d(18) a(18,75) a(81,85) a(81,43) r(98,89) r(106,46) r(56,97) r(104,62) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) d(81) d(102) a(18,76) a(45,41) d(26) \n\t 8 d(56) a(18,18) d(104) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) d(99) \n\t 7 d(56) a(18,18) d(81) d(102) a(18,76) a(45,41) r(99,96) \n\t 8 d(95) r(11,74) d(95) d(98) a(96,87) d(18) r(107,96) r(107,91) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) d(107) \n\t 7 d(95) r(11,74) d(95) d(98) a(96,87) d(18) r(107,96) r(104,37) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) d(101) \n\t 2 d(95) a(11,77) a(97,30) d(26) a(81,42) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) r(68,9) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) d(26) d(105) \n\t 7 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) d(95) a(26,67) \n\t 8 d(95) a(11,77) d(18) r(95,38) d(107) \n\t 9 d(95) a(11,77) d(18) r(95,38) d(18) \n\t 8 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) d(95) r(99,20) \n\t 0 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) r(26,38) d(97) \n\t 9 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) r(26,38) r(96,60) \n\t 7 d(95) a(95,6) r(103,18) a(45,94) d(101) r(56,33) \n\t 8 d(95) d(98) r(26,31) d(101) d(108) d(101) \n\t 7 d(95) a(95,6) r(103,18) a(45,94) d(101) d(35) \n\t 8 d(95) d(98) r(26,31) d(101) d(108) d(108) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(18,73) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) d(102) \n\t 5 d(95) a(95,73) a(106,79) d(98) r(104,91) r(26,22) d(102) d(100) r(107,6) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) r(98,89) r(106,46) r(56,97) a(68,21) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) \n\t 8 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) d(95) r(105,85) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) d(26) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) d(5) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(99,45) d(81) r(35,41) r(96,51) \n\t 0 a(104,72) a(95,76) r(26,37) r(97,107) \n\t 0 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) d(97) \n\t 8 a(104,72) a(95,76) r(26,37) r(99,45) d(81) r(35,41) d(56) \n\t 0 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,88) d(5) r(97,38) \n\t 9 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) d(56) d(18) \n\t 7 d(95) a(95,73) d(95) d(95) a(56,37) r(107,91) r(99,41) a(5,88) \n\t 7 a(104,72) a(95,6) r(103,18) a(45,94) d(102) d(56) \n\t 9 d(95) r(11,74) d(95) a(103,51) d(56) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) \n\t 7 d(56) r(26,37) r(99,45) r(35,71) a(98,29) d(103) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) r(95,81) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) a(5,58) \n\t 8 d(95) a(95,73) d(95) d(95) a(56,37) r(98,89) r(106,46) r(56,107) a(102,87) \n\t 9 d(95) a(11,77) d(18) r(95,38) d(18) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) r(81,30) \n\t 9 d(95) a(95,73) d(95) r(35,102) a(18,20) d(56) \n\t 4 d(95) d(45) r(107,91) d(95) a(56,37) r(98,89) r(106,46) r(56,107) r(98,25) \n\t 7 d(95) a(95,73) d(95) d(95) a(56,37) r(98,89) r(106,46) r(56,107) r(103,60) \n\t 8 d(95) d(45) r(107,91) r(35,102) a(18,20) r(107,28) \nsearch: generation 8 (sizeof one variant = 0.0660343 MB)\n\t 8 d(95) a(11,77) a(97,30) a(97,88) d(101) r(11,66) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) d(107) a(68,43) \n\t 9 d(95) r(11,74) d(95) a(11,28) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) r(81,30) d(98) a(96,87) d(18) r(107,96) r(107,91) d(68) \n\t 8 d(95) r(11,74) d(95) d(98) a(96,87) d(18) r(107,96) r(107,91) d(81) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) r(81,30) r(108,29) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(104,19) \n\t 6 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(99,45) d(81) r(35,41) r(96,51) d(100) \n\t 7 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(99,45) d(81) r(35,41) r(96,51) d(101) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(103,31) \n\t 7 d(95) a(11,77) a(97,30) a(97,88) d(107) d(102) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) r(108,35) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) d(5) r(108,88) a(98,14) r(18,35) d(26) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) a(5,37) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) d(5) d(101) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) r(108,27) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) d(99) \n\t 8 d(56) a(18,18) d(81) d(35) d(45) a(99,51) a(5,58) d(104) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(18,73) r(106,13) \n\t 9 d(95) a(95,73) a(98,14) r(18,35) r(35,28) \n\t 7 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(106,79) a(18,18) d(81) d(5) d(56) d(95) r(99,20) d(105) \n\t 8 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) d(95) r(99,20) d(108) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) \n\t 3 a(104,72) d(26) d(35) a(97,88) d(108) r(100,55) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) r(103,59) d(26) a(97,36) a(97,88) d(108) r(35,107) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) d(101) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) \n\t 7 a(104,72) a(95,6) r(103,18) a(45,94) d(102) a(97,36) a(35,51) d(102) r(11,104) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) d(56) d(81) \n\t 7 a(104,72) a(95,6) r(103,18) a(45,94) d(102) d(56) a(68,58) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) d(102) r(102,39) \n\t 8 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) d(56) d(18) d(102) \n\t 8 d(18) a(18,75) a(81,85) d(95) d(95) a(56,37) a(45,95) d(56) r(99,24) r(35,12) \n\t 8 d(95) a(95,73) d(95) d(95) a(56,37) a(45,95) d(56) d(18) d(100) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) r(95,81) r(95,74) \n\t 8 d(95) r(11,74) r(103,71) \n\t 5 d(56) a(18,18) d(81) d(102) a(18,76) a(45,41) r(99,96) d(95) d(98) a(96,87) d(18) r(107,96) r(104,37) r(96,83) \n\t 7 d(95) r(11,74) d(95) d(98) a(96,87) d(18) r(107,96) r(104,37) r(56,54) \n\t 7 d(56) a(18,18) d(81) d(102) a(18,76) a(45,41) r(99,96) r(98,39) \n\t 8 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) r(95,81) d(99) \n\t 9 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) d(104) \n\t 9 d(95) a(95,73) d(95) r(35,102) a(18,20) d(56) d(68) \n\t 9 d(95) a(11,77) a(97,30) a(18,18) a(95,91) a(105,14) r(35,106) r(95,81) d(96) \n\t 9 d(95) a(95,73) a(106,79) a(97,88) r(68,9) r(5,82) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) r(95,81) d(26) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) d(101) d(56) \n\t 0 d(95) a(95,73) a(106,79) d(98) d(18) r(97,104) \n\t 7 d(95) a(11,77) d(18) r(95,38) r(26,31) d(35) r(103,38) r(35,43) d(100) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(5) \n\t 7 d(95) a(11,77) d(18) r(95,38) d(18) r(103,100) \n\t 0 d(95) a(95,73) a(106,79) a(18,18) a(18,20) r(107,28) r(101,42) \n\t 7 d(95) d(45) r(107,91) r(35,102) a(95,91) a(105,14) r(35,106) d(26) d(104) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) d(26) d(56) \n\t 7 d(95) d(45) r(107,91) r(35,102) a(18,20) r(107,28) d(100) \n\t 5 d(95) a(11,77) a(97,30) a(97,88) d(107) r(56,25) \n\t 0 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,88) d(5) r(97,38) a(97,35) \nsearch: generation 9 (sizeof one variant = 0.0663881 MB)\n\t 8 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) a(81,85) a(81,43) a(45,95) r(5,24) r(104,19) d(45) \n\t 9 d(18) a(18,75) d(26) d(56) a(11,48) \n\t 8 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) d(26) d(56) d(101) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(104,19) r(81,104) \n\t 7 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(106,79) a(18,18) d(81) d(5) d(56) d(95) r(99,20) d(105) d(68) \n\t 7 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(18,73) r(106,13) d(104) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) r(108,96) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) d(101) d(56) d(81) \n\t 7 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(104,19) d(99) \n\t 7 d(95) a(11,77) a(97,30) a(97,88) d(107) a(68,43) d(106) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) r(108,35) a(26,21) \n\t 9 d(95) r(11,74) d(95) a(11,28) d(95) \n\t 7 d(95) a(11,77) d(18) r(95,38) d(18) r(96,51) d(101) r(107,57) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(99,45) d(81) r(35,41) r(68,91) d(5) \n\t 8 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) r(101,71) \n\t 6 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(99,45) d(81) r(35,41) r(96,51) d(101) r(103,43) \n\t 7 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) a(97,30) a(97,88) r(68,9) d(104) d(45) \n\t 9 d(95) a(11,77) a(5,105) \n\t 7 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) d(107) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) d(104) a(81,11) \n\t 0 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) r(81,30) d(98) a(97,30) a(97,88) r(68,9) r(26,43) a(106,15) \n\t 0 d(95) a(11,77) a(96,87) d(18) r(107,96) r(107,91) d(68) r(102,80) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) r(81,30) d(98) a(96,87) d(18) r(107,96) r(107,91) d(68) r(96,27) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) d(18) \n\t 0 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) a(97,36) a(35,51) d(102) r(102,39) r(97,41) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) r(104,19) a(56,8) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(104,19) a(106,12) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) d(102) r(102,39) d(26) \n\t 9 d(95) a(11,77) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) r(81,37) \n\t 9 a(104,72) d(95) d(18) r(95,38) d(18) r(68,91) r(11,90) \n\t 9 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) r(18,5) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) a(104,33) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) r(108,27) d(45) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) d(26) d(56) d(45) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) r(108,27) r(105,71) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) a(104,39) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) a(68,38) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) d(101) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) r(96,74) \n\t 6 a(104,72) a(95,6) r(103,18) a(45,94) d(102) d(56) a(68,58) r(18,53) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(105,83) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) a(97,36) r(103,59) d(26) a(97,36) a(97,88) d(108) r(35,107) r(103,38) \n\t 7 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) r(103,59) d(26) a(97,36) a(97,88) d(108) r(35,107) d(99) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) d(102) \n\t 8 d(95) r(11,74) d(95) r(108,35) r(100,69) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) a(11,28) d(68) \n\t 9 d(95) r(11,74) d(95) a(11,28) d(18) \n\t 8 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) r(108,35) r(101,36) \n\t 7 d(95) a(11,77) a(97,30) a(97,88) r(68,9) d(99) d(100) \n\t 8 d(95) a(95,73) a(106,79) a(18,18) d(81) d(5) d(56) d(95) r(99,20) d(108) a(96,20) \n\t 7 d(95) a(95,73) d(95) r(35,102) a(18,20) r(103,38) r(35,43) d(5) d(102) \n\t 9 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) d(56) d(68) d(11) \n\t 9 d(95) a(95,73) d(95) r(35,102) a(18,20) d(56) d(68) r(96,86) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(5) a(26,101) \n\t 8 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) a(100,41) \n\t 9 a(104,72) d(98) a(18,57) r(56,41) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) d(81) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) r(96,83) \n\t 9 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) d(26) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) a(18,79) \nsearch: generation 10 (sizeof one variant = 0.0670633 MB)\n\t 9 d(95) a(11,77) a(5,105) a(56,35) \n\t 0 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) r(101,71) r(98,108) \n\t 7 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) r(101,71) d(102) \n\t 9 d(95) a(11,77) a(5,105) a(95,83) \n\t 9 a(104,72) d(98) a(18,57) r(56,41) d(68) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) d(81) r(96,71) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) d(104) a(81,11) r(56,86) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) a(104,33) d(96) \n\t 8 d(95) r(26,43) r(108,96) r(101,60) \n\t 26 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(11,74) d(95) r(108,35) r(100,69) r(56,4) \n\t 7 d(95) r(11,74) d(95) r(108,35) r(100,69) d(104) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) r(108,96) a(105,83) \n\t 7 d(95) a(95,73) d(95) a(18,18) r(68,9) r(26,43) d(18) r(100,104) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) r(108,27) d(45) d(99) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) r(108,27) d(45) r(81,72) \n\t 0 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) d(18) r(108,15) \n\t 0 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) r(18,5) r(11,74) d(95) r(108,35) r(100,69) r(103,94) \n\t 9 d(95) r(11,74) \n\t 8 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) r(18,5) r(101,79) \n\t 8 d(95) r(11,74) d(95) r(108,35) r(100,69) a(35,83) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) d(18) a(97,30) a(97,88) r(68,9) r(26,43) d(18) d(18) \n\t 9 d(95) a(11,77) d(26) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) d(18) d(106) \n\t 8 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) d(18) d(107) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) a(104,39) a(35,47) \n\t 8 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(99,45) d(81) r(35,41) r(68,91) d(5) d(35) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) a(11,28) d(68) d(98) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) r(108,88) a(98,14) r(18,35) a(95,62) r(96,74) d(56) \n\t 26 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) r(96,74) r(99,4) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) a(11,28) d(68) a(11,72) \n\t 9 d(95) a(11,77) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) r(96,74) a(35,18) \n\t 4 d(95) a(95,73) d(95) d(18) r(95,38) d(18) r(68,91) r(101,71) a(101,44) \n\t 8 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) r(101,71) d(26) \n\t 9 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) r(96,74) a(11,100) \n\t 2 a(104,72) d(26) d(35) r(103,59) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) d(26) d(56) d(45) a(81,94) \n\t 0 d(95) d(26) a(97,36) a(97,88) d(108) r(5,82) r(96,83) a(98,53) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) r(96,83) a(26,62) \n\t 9 d(95) a(95,73) a(106,79) a(18,18) a(95,91) a(105,14) r(35,106) d(26) d(56) d(45) d(18) \n\t 8 a(104,72) d(26) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) a(104,33) d(103) \n\t 8 a(104,72) d(95) r(11,45) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) r(96,83) a(107,96) \n\t 8 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(97,88) d(108) r(5,82) r(96,83) d(35) \n\t 9 a(104,72) d(95) r(11,45) d(81) d(81) r(96,64) a(97,36) d(96) d(98) a(18,57) a(104,33) a(26,51) \n\t 5 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) r(108,27) r(105,71) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) a(104,39) a(103,25) \n\t 6 d(95) a(95,73) a(35,78) \n\t 7 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) r(108,27) r(105,71) r(102,40) \n\t 8 d(95) a(95,73) d(95) a(18,18) a(95,6) a(11,30) r(108,88) a(98,14) r(18,35) a(95,62) a(104,39) d(106) \n\t 9 d(95) r(11,74) d(95) d(18) r(95,38) d(18) r(68,91) d(26) a(106,20) \n\t 8 d(95) a(11,77) a(11,28) d(18) r(56,103) \n\t 8 d(95) r(11,74) d(95) a(11,28) d(18) r(105,77) \n\t 2 d(95) a(11,77) d(18) r(95,38) d(18) r(68,91) d(26) a(81,15) \n\t 9 d(95) r(11,74) d(95) a(11,28) d(18) d(18) \n\t 9 d(95) a(95,73) d(95) r(35,102) a(18,20) d(56) d(68) r(96,86) d(26) \n\t 7 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) a(97,30) a(97,88) r(68,9) d(104) d(45) d(98) \n\t 9 d(18) a(18,75) a(81,85) a(81,43) a(45,95) r(5,24) r(104,19) r(81,104) r(108,84) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) a(103,91) \n\t 7 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) a(68,38) r(68,9) r(26,43) r(108,96) d(99) \n\t 9 d(95) a(11,77) a(97,30) a(97,88) r(68,9) r(26,43) r(108,96) d(18) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) a(68,38) r(98,75) \n\t 2 a(104,72) d(26) d(35) r(103,59) d(26) a(97,36) a(35,51) d(102) r(102,39) d(26) r(99,67) \n\t 8 a(104,72) d(95) d(18) r(95,38) d(18) r(68,91) r(11,90) r(100,72) \n\t 8 d(95) a(95,73) a(106,79) d(98) r(26,31) r(107,57) r(26,89) \n\t 6 d(95) a(11,77) d(18) r(95,38) d(18) r(96,51) d(101) d(35) r(103,38) r(35,43) d(18) a(97,30) a(97,88) r(68,9) d(104) d(45) a(26,4) \n\t 2 d(95) a(95,73) a(106,79) d(98) r(26,31) d(35) r(103,38) r(35,43) d(18) a(97,30) a(97,88) r(68,9) d(104) d(45) a(102,67) \n\t 7 d(95) a(11,77) d(18) r(95,38) d(18) r(96,51) d(101) r(107,57) d(35) \n\t 9 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) r(108,35) a(26,21) d(96) \n\t 8 d(56) a(18,18) d(81) d(35) d(45) a(99,51) d(26) a(11,28) d(68) d(103) \nsearch: genetic algorithm ends\nRep: saving test cache\n\nVariant Test Case Queries: 5890\n"Test Suite Evaluations": 589\n\nCompile Failures: 0\nWall-Clock Seconds Elapsed: 651.98\n Activity Name Count Seconds = Percent of Total Time\n compile 590 105.789 = 17.7942%\n test 5910 488.715 = 82.2037%\n TOTAL 594.517 = 91.185% (avg CPU usage)\n'