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 828885540775266946\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_19499305182116902322993674112/test_19499305182116902322993674112"\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/tmpfd08e8.c /home/tedks/tmp/tmp0266ea.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.784374)\nfaultLocRep: compute_localization: fault_scheme: path, fix_scheme: default\nRep: coverage_sourcename: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_0_f2a5e508f134c75db35c54474b6acb238796bd8a_digits_19499305182116902322993674112/./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.00630951 MB)\n\t 9 d(96) \n\t 8 r(99,68) \n\t 9 a(81,85) \n\t 8 a(99,99) \n\t 8 r(101,18) \n\t 9 r(95,71) \n\t 9 d(56) \n\t 2 r(81,32) \n\t 9 d(96) \n\t 9 d(11) \n\t 9 a(105,68) \n\t 9 a(56,69) \n\t 9 a(99,91) \n\t 0 r(105,94) \n\t 0 a(98,15) \n\t 7 a(26,42) \n\t 8 a(35,10) \n\t 9 d(96) \n\t 8 d(100) \n\t 8 d(102) \n\t 8 d(107) \n\t 0 d(97) \n\t 8 r(103,24) \n\t 9 a(26,88) \n\t 8 r(18,25) \n\t 7 r(81,17) \n\t 9 d(11) \n\t 8 d(102) \n\t 9 r(68,47) \n\t 8 r(106,49) \n\t 9 r(45,7) \n\t 7 r(101,103) \n\t 8 r(107,30) \n\t 8 d(99) \n\t 2 r(103,67) \n\t 9 a(106,69) \n\t 9 a(5,56) \n\t 8 d(107) \n\t 8 d(105) \n\t 9 original\nsearch: generation 1 (sizeof one variant = 0.0665035 MB)\n\t 7 r(107,30) r(105,97) \n\t 8 a(35,10) a(96,37) \n\t 8 r(107,30) r(56,29) \n\t 8 a(35,10) r(96,97) \n\t 9 a(56,69) d(96) \n\t 7 a(5,56) r(105,107) \n\t 9 a(56,69) a(106,91) \n\t 9 a(5,56) r(5,24) \n\t 9 r(95,71) d(98) \n\t 9 r(95,71) a(104,85) \n\t 8 d(102) d(68) \n\t 7 d(105) a(95,100) \n\t 7 r(106,49) d(104) \n\t 0 d(97) a(26,50) \n\t 9 d(11) d(26) \n\t 8 r(107,30) r(98,77) \n\t 9 d(11) d(5) \n\t 9 d(96) r(35,28) \n\t 9 d(11) d(26) \n\t 7 r(103,24) r(68,10) \n\t 0 d(11) r(102,15) \n\t 7 r(103,24) d(99) \n\t 8 a(99,91) d(104) \n\t 8 d(11) r(105,51) \n\t 0 r(108,42) \n\t 9 r(68,47) r(56,20) \n\t 8 a(99,106) \n\t 8 r(68,47) d(103) \n\t 9 r(68,47) d(26) \n\t 9 r(95,71) r(11,70) \n\t 0 r(68,47) r(99,23) \n\t 8 r(95,71) r(81,104) \n\t 9 a(56,69) a(102,77) \n\t 0 r(95,71) r(105,8) \n\t 9 a(56,69) d(35) \n\t 9 r(95,71) d(108) \n\t 9 r(18,106) \n\t 2 a(26,42) a(97,67) \n\t 7 d(99) r(95,101) \n\t 6 d(105) r(26,15) \n\t 7 r(103,24) r(108,104) \n\t 8 d(105) d(68) \n\t 1 r(103,24) a(97,80) \n\t 8 d(105) a(99,51) \n\t 9 r(45,7) d(18) \n\t 7 r(103,24) r(99,81) \n\t 9 a(26,88) d(18) \n\t 9 a(5,56) d(81) \n\t 8 a(99,99) a(18,26) \n\t 8 a(99,91) d(103) \n\t 0 a(99,99) d(97) \n\t 9 a(99,91) a(100,28) \n\t 9 a(81,85) d(108) \n\t 8 a(35,10) r(56,22) \n\t 8 r(68,47) r(104,73) \n\t 7 a(99,99) d(100) \nsearch: generation 2 (sizeof one variant = 0.0655107 MB)\n\t 7 r(68,47) d(26) r(26,15) r(99,33) \n\t 7 d(105) r(99,63) \n\t 9 r(68,47) d(26) a(105,71) \n\t 5 d(105) r(26,15) d(102) \n\t 9 r(95,71) a(99,51) r(11,58) \n\t 0 d(105) r(81,104) r(100,94) \n\t 8 r(95,71) r(81,104) d(96) \n\t 8 d(105) a(99,51) a(105,38) \n\t 8 d(96) r(35,28) r(11,70) d(104) \n\t 8 r(95,71) r(107,77) \n\t 9 d(96) r(35,28) r(108,12) \n\t 0 r(95,71) r(11,70) d(97) \n\t 6 a(5,56) r(105,107) r(56,103) \n\t 8 a(5,56) r(5,24) d(102) \n\t 9 a(5,56) r(5,24) a(101,12) \n\t 9 r(68,47) d(26) d(45) \n\t 8 a(26,88) d(18) d(105) \n\t 7 r(107,30) r(56,29) r(99,48) \n\t 8 a(5,56) d(99) d(99) \n\t 8 r(103,24) r(5,24) a(102,6) \n\t 3 a(5,56) r(5,24) a(68,55) \n\t 7 r(103,24) d(99) r(99,9) \n\t 7 r(106,49) d(104) r(96,76) \n\t 9 d(11) d(26) a(101,26) \n\t 5 r(106,49) d(104) r(99,102) \n\t 9 d(11) d(26) r(56,24) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) \n\t 9 a(5,56) r(108,12) \n\t 9 r(68,47) d(26) d(96) \n\t 9 a(5,56) r(5,24) a(105,16) \n\t 9 a(56,69) d(96) a(11,56) \n\t 9 a(56,69) d(35) d(98) \n\t 8 r(68,47) r(104,73) r(26,37) \n\t 7 a(5,56) r(105,107) a(45,90) \n\t 9 a(56,69) a(102,77) d(95) \n\t 8 r(68,47) d(103) r(68,87) \n\t 7 a(56,69) d(18) a(26,17) \n\t 9 r(45,7) d(35) a(102,71) \n\t 9 a(56,69) d(35) r(98,22) \n\t 9 r(45,7) d(18) a(102,63) \n\t 3 a(81,85) a(100,28) r(102,108) \n\t 8 a(99,91) d(108) d(107) \n\t 9 a(81,85) d(108) a(35,47) \n\t 9 a(99,91) a(100,28) r(98,70) \n\t 7 d(102) d(68) r(104,24) \n\t 8 r(18,106) d(104) \n\t 3 d(102) d(68) a(107,55) \n\t 8 r(18,106) d(103) \n\t 0 r(95,71) d(98) a(96,108) \n\t 9 r(95,71) d(108) d(108) \n\t 0 a(56,69) a(102,77) r(105,51) d(97) \n\t 0 d(11) d(97) \n\t 9 a(56,69) a(102,77) a(35,31) \n\t 7 d(11) r(105,51) d(106) \n\t 0 a(99,99) d(100) a(102,94) \n\t 8 a(56,69) a(106,91) d(107) \n\t 9 r(95,71) r(11,70) r(11,66) \n\t 7 r(95,71) a(104,85) r(102,105) \n\t 8 a(56,69) d(5) d(100) \n\t 9 d(11) a(106,91) a(18,96) \n\t 8 a(56,69) a(106,91) d(104) \n\t 0 d(11) d(5) r(107,53) \nsearch: generation 3 (sizeof one variant = 0.0665321 MB)\n\t 8 a(5,56) r(5,24) a(101,12) d(104) r(81,60) \n\t 9 a(56,69) a(106,91) d(18) \n\t 8 a(5,56) r(5,24) a(101,12) d(105) \n\t 7 a(56,69) a(106,91) d(104) a(107,102) \n\t 8 d(11) d(26) d(104) \n\t 9 a(56,69) d(35) d(98) r(56,24) d(81) \n\t 9 d(11) d(26) r(56,24) a(26,45) \n\t 8 a(56,69) d(35) d(98) d(102) \n\t 9 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) \n\t 8 a(5,56) d(104) \n\t 7 r(68,47) d(26) a(105,71) r(26,55) \n\t 0 a(5,56) r(5,24) a(101,12) r(107,78) \n\t 6 d(105) a(99,51) a(105,38) r(103,107) \n\t 0 r(68,47) d(26) r(5,24) r(68,48) d(97) \n\t 8 r(45,7) d(35) a(102,71) a(35,31) r(100,56) \n\t 8 a(56,69) a(102,77) a(107,100) \n\t 8 r(45,7) d(35) a(102,71) r(108,104) \n\t 7 a(56,69) a(102,77) a(35,31) r(102,100) \n\t 0 d(105) a(99,51) a(105,38) d(26) r(56,24) d(97) \n\t 9 d(11) d(56) \n\t 7 d(105) a(99,51) a(105,38) a(105,100) \n\t 9 d(11) d(26) r(56,24) a(56,31) \n\t 8 a(5,56) r(108,12) r(103,87) \n\t 8 a(56,69) d(35) r(98,22) a(45,102) \n\t 8 a(5,56) r(108,12) r(102,7) \n\t 8 a(56,69) d(35) r(98,22) r(101,64) \n\t 0 r(45,7) a(96,108) d(95) \n\t 9 r(95,71) d(98) d(18) a(102,63) d(95) \n\t 9 r(45,7) d(18) a(102,63) a(108,94) \n\t 0 r(95,71) d(98) a(96,108) a(102,43) \n\t 7 a(56,69) a(106,91) d(104) r(102,59) \n\t 5 a(5,56) r(105,107) r(56,103) r(99,41) \n\t 0 r(68,47) d(26) d(45) a(99,78) \n\t 9 d(11) d(26) r(56,24) a(101,76) \n\t 0 a(56,69) d(35) r(98,22) a(97,53) \n\t 8 r(68,47) r(104,73) r(26,37) r(81,89) \n\t 9 a(56,69) d(35) r(98,22) a(105,22) \n\t 0 r(68,47) r(104,73) r(26,37) d(97) \n\t 9 r(68,47) d(26) a(105,71) d(108) d(108) d(45) \n\t 8 r(95,71) d(105) \n\t 8 r(68,47) d(26) a(105,71) d(102) \n\t 8 r(95,71) d(108) d(108) d(104) \n\t 9 a(56,69) d(35) d(98) r(18,105) \n\t 7 r(107,30) r(56,29) r(99,48) a(107,74) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) a(99,51) \n\t 8 a(26,88) d(18) d(105) a(107,74) \n\t 8 r(45,7) d(18) r(103,70) \n\t 0 r(95,71) r(11,70) r(11,66) a(102,63) a(97,92) \n\t 8 r(45,7) d(18) a(102,63) d(100) \n\t 0 r(95,71) r(11,70) r(11,66) r(97,36) \n\t 8 r(68,47) d(26) r(56,29) r(99,48) d(35) \n\t 8 r(107,30) r(5,24) r(68,48) a(101,71) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) d(26) \n\t 6 r(107,30) r(56,29) r(99,48) d(102) \n\t 8 r(68,47) d(26) d(96) d(107) a(108,72) \n\t 0 a(99,91) d(108) d(97) \n\t 3 r(68,47) d(26) d(96) a(100,55) \n\t 7 a(99,91) d(108) d(107) r(26,100) \n\t 9 a(99,91) d(5) \n\t 9 r(95,71) r(11,70) r(11,66) a(100,28) r(98,70) r(96,12) \n\t 9 a(99,91) a(100,28) r(98,70) r(11,70) \n\t 7 r(95,71) r(11,70) r(11,66) r(105,107) \n\t 8 r(95,71) r(107,77) a(68,72) \n\t 9 a(99,91) a(100,28) r(98,70) a(56,95) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) \n\t 8 d(96) r(35,28) r(11,70) d(104) d(26) \nsearch: generation 4 (sizeof one variant = 0.0662155 MB)\n\t 9 r(95,71) r(108,104) d(104) \n\t 6 r(45,7) d(35) a(102,71) r(11,70) r(11,66) r(105,107) r(100,37) \n\t 0 r(95,71) r(11,70) r(11,66) r(105,107) r(97,47) \n\t 7 r(45,7) d(35) a(102,71) r(108,104) r(99,5) \n\t 5 r(95,71) r(11,70) r(11,66) r(98,22) r(101,64) a(101,34) \n\t 9 a(56,69) d(35) d(35) a(97,83) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) \n\t 8 a(56,69) d(35) r(98,22) r(101,64) d(26) \n\t 8 a(56,69) a(106,91) d(18) r(104,40) \n\t 7 r(68,47) d(26) a(105,71) r(26,55) r(56,71) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) \n\t 9 a(56,69) d(35) r(98,70) a(56,95) d(96) \n\t 9 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) \n\t 9 a(56,69) d(35) r(98,22) a(105,22) a(81,82) \n\t 6 r(107,30) r(56,29) r(99,48) d(102) a(18,22) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) d(105) \n\t 7 a(56,69) d(35) d(98) d(102) r(5,24) r(68,48) d(26) d(105) \n\t 0 r(68,47) d(26) a(96,44) \n\t 8 a(56,69) d(35) d(98) d(102) d(98) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) \n\t 0 r(95,71) d(98) a(96,108) a(102,43) d(68) \n\t 9 d(11) d(26) r(56,24) a(26,45) d(108) \n\t 1 r(68,47) d(26) r(5,24) r(68,48) a(99,51) r(95,94) \n\t 8 r(68,47) d(26) r(56,29) r(99,48) d(35) a(103,62) \n\t 7 a(5,56) d(35) d(98) d(102) d(103) \n\t 8 a(56,69) r(108,12) r(103,87) a(56,57) \n\t 8 a(5,56) r(108,12) r(103,87) d(98) \n\t 7 a(56,69) d(35) d(98) d(102) r(101,82) \n\t 6 a(56,69) a(102,77) a(107,100) r(99,105) \n\t 3 a(56,69) a(102,77) a(107,100) a(68,53) \n\t 8 r(95,71) d(18) a(102,63) a(108,94) r(104,22) \n\t 9 r(45,7) d(98) d(18) a(102,63) d(95) d(108) \n\t 9 r(95,71) d(98) d(18) a(102,63) d(95) r(11,39) \n\t 9 r(45,7) d(18) a(102,63) a(108,94) d(5) \n\t 9 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) \n\t 9 d(11) d(98) r(18,105) r(35,89) \n\t 9 a(56,69) d(35) d(98) r(18,105) d(95) \n\t 0 d(11) d(26) r(56,24) a(26,45) r(102,23) \n\t 8 r(45,7) d(18) a(102,63) a(108,94) d(105) \n\t 8 r(95,71) d(105) a(107,16) \n\t 9 a(99,91) d(5) a(11,77) \n\t 9 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) r(56,76) \n\t 7 d(11) d(26) d(104) d(102) \n\t 9 a(56,69) d(35) r(98,22) a(105,22) a(104,36) \n\t 9 r(95,71) r(11,70) r(11,66) a(100,28) r(5,24) r(68,48) a(101,71) d(96) \n\t 8 r(107,30) r(98,70) r(96,12) r(35,82) \n\t 9 r(95,71) r(11,70) r(11,66) a(100,28) r(98,70) r(96,12) a(96,60) \n\t 8 r(107,30) r(5,24) r(68,48) a(101,71) a(97,60) \n\t 9 a(56,69) a(106,91) d(18) d(35) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) r(18,67) \n\t 9 d(11) d(26) r(56,24) a(26,45) r(81,89) \n\t 7 r(45,7) d(35) a(102,71) a(35,31) r(100,56) r(105,12) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) d(107) \n\t 8 r(95,71) d(98) d(18) a(102,63) d(95) r(100,35) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) a(99,51) d(56) \n\t 7 r(45,7) d(35) a(102,71) r(108,104) r(18,44) \nsearch: generation 5 (sizeof one variant = 0.0666437 MB)\n\t 9 r(95,71) d(98) d(18) a(102,63) d(95) r(11,39) d(45) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) r(18,67) d(56) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(106) \n\t 7 r(95,71) d(105) d(35) r(98,70) a(56,95) d(96) d(104) \n\t 8 a(56,69) a(107,16) r(103,11) \n\t 0 r(95,71) d(105) a(107,16) a(101,94) \n\t 9 a(56,69) d(35) r(98,70) a(56,95) d(96) d(35) \n\t 9 d(11) d(98) d(68) \n\t 8 a(99,91) d(5) a(11,77) r(18,105) r(35,89) d(103) \n\t 9 d(11) d(98) r(18,105) r(35,89) d(11) \n\t 9 a(99,91) d(5) a(11,77) d(98) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(103,87) d(98) d(68) \n\t 8 a(5,56) r(108,12) r(95,19) r(56,76) r(101,47) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) r(56,76) r(101,45) \n\t 8 a(5,56) r(108,12) r(103,87) d(98) a(35,14) \n\t 7 a(56,69) d(35) d(98) d(102) d(98) r(103,84) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) d(105) d(96) \n\t 9 r(45,7) d(18) a(102,63) a(108,94) a(56,57) r(95,40) \n\t 0 a(56,69) r(108,12) r(103,87) d(105) r(100,94) \n\t 7 r(45,7) d(18) a(102,63) a(108,94) d(105) d(103) \n\t 5 a(56,69) r(108,12) r(103,87) a(56,57) r(103,25) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) a(56,5) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) d(95) \n\t 8 r(95,71) r(11,70) r(11,66) a(100,28) r(5,24) r(68,48) a(101,71) d(96) d(105) \n\t 8 d(11) d(26) r(56,24) a(26,45) d(108) d(99) \n\t 5 a(56,69) d(35) d(35) d(98) d(102) d(103) r(104,101) \n\t 9 a(5,56) d(98) r(18,105) d(95) a(96,100) \n\t 0 a(56,69) d(35) d(98) r(18,105) d(95) a(98,92) \n\t 6 a(5,56) d(35) d(98) d(102) d(103) a(81,101) \n\t 5 r(95,71) r(11,70) r(11,66) d(35) r(26,20) a(101,34) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) \n\t 0 r(95,71) r(11,70) r(11,66) d(35) d(68) d(5) a(11,77) a(107,53) \n\t 9 a(99,91) a(95,58) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(105,79) \n\t 8 a(99,91) d(5) a(11,77) d(100) \n\t 0 r(95,71) r(11,70) a(101,71) a(97,60) r(105,53) \n\t 3 r(107,30) r(5,24) r(68,48) r(11,66) d(35) d(68) r(104,55) \n\t 0 r(95,71) r(11,70) r(11,66) d(35) d(68) r(104,42) \n\t 7 r(107,30) r(5,24) r(68,48) a(101,71) a(97,60) d(100) \n\t 9 r(95,71) r(108,104) a(102,63) d(95) d(108) a(97,51) \n\t 8 r(45,7) d(98) d(18) d(104) d(95) \n\t 0 r(95,71) r(108,104) d(104) d(97) \n\t 8 r(45,7) d(98) d(18) a(102,63) d(95) d(108) d(99) \n\t 0 a(5,56) r(108,12) r(103,87) d(98) a(103,53) \n\t 9 d(11) d(98) r(18,105) r(35,89) d(45) \n\t 9 d(11) d(26) r(56,24) a(26,45) r(81,89) d(98) \n\t 8 r(95,71) d(18) a(102,63) a(108,94) r(104,22) d(68) \n\t 9 r(95,71) a(102,63) a(108,94) d(5) a(99,95) \n\t 9 r(45,7) d(18) r(108,104) d(104) d(5) \n\t 9 r(95,71) r(108,104) d(104) a(45,72) \n\t 8 r(45,7) d(18) a(102,63) a(108,94) d(5) r(100,58) \n\t 8 r(95,71) r(11,70) r(11,66) a(100,28) d(106) \n\t 9 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) \n\t 9 r(95,71) r(11,70) r(11,66) a(100,28) r(5,24) r(68,48) a(101,71) d(96) d(81) \n\t 9 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) d(18) \n\t 8 a(56,69) r(102,96) \n\t 8 r(45,7) d(18) a(102,63) a(108,94) d(5) d(35) d(98) d(102) d(98) a(106,24) \n\t 8 a(56,69) d(35) d(98) d(102) d(98) r(96,97) \n\t 9 r(45,7) d(18) a(102,63) a(108,94) d(5) r(35,103) \n\t 9 a(56,69) d(35) d(26) r(56,24) d(35) r(98,70) a(56,95) d(96) a(56,97) \n\t 9 a(56,69) a(26,45) a(97,33) a(103,88) \n\t 9 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) \n\t 0 a(56,69) d(35) r(98,70) a(56,95) d(96) r(98,78) \nsearch: generation 6 (sizeof one variant = 0.0665445 MB)\n\t 0 a(5,56) d(35) d(98) d(102) d(103) a(81,101) r(98,22) a(105,22) r(26,20) d(56) r(97,82) \n\t 8 a(99,91) a(100,28) d(106) \n\t 6 a(5,56) d(35) d(98) d(102) d(103) a(81,101) r(102,70) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) \n\t 8 r(95,71) r(108,104) d(104) a(45,72) r(108,91) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(95) \n\t 0 r(95,71) r(11,70) r(11,66) a(100,28) r(5,24) r(68,48) a(101,71) d(96) d(81) d(97) \n\t 9 r(45,7) d(18) a(102,63) a(108,94) a(56,57) r(95,40) a(101,5) \n\t 8 r(95,71) r(108,104) d(104) a(45,72) r(101,45) d(95) \n\t 9 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) r(56,76) d(26) \n\t 9 r(95,71) r(108,104) d(104) a(45,72) a(68,50) \n\t 0 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) r(56,76) r(101,45) r(99,65) \n\t 8 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) a(56,5) r(108,105) \n\t 9 a(56,69) d(35) d(26) r(56,24) d(35) r(98,70) a(56,95) d(96) a(56,97) a(45,26) \n\t 9 a(99,91) a(95,58) d(98) \n\t 9 r(95,71) d(98) d(18) a(102,63) d(95) r(11,39) d(45) a(108,42) \n\t 9 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) a(18,51) \n\t 8 d(11) d(98) d(68) d(107) \n\t 9 d(11) d(26) r(56,24) a(26,45) r(81,89) d(98) r(108,21) \n\t 9 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) \n\t 0 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) r(11,39) d(45) r(103,23) \n\t 8 r(95,71) d(98) d(18) a(102,63) d(95) d(18) r(103,13) \n\t 0 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) d(18) a(98,94) \n\t 9 r(95,71) d(98) d(18) a(102,63) d(95) r(11,39) d(45) r(96,70) \n\t 8 d(11) d(98) r(18,105) d(101) \n\t 9 d(11) d(98) d(68) r(35,89) d(45) d(68) \n\t 7 d(11) d(98) r(18,105) r(35,89) d(45) r(26,53) \n\t 8 d(11) d(98) d(68) d(102) \n\t 8 a(56,69) a(26,45) a(97,33) a(103,88) d(18) d(104) d(95) d(45) \n\t 9 r(45,7) d(98) r(96,50) \n\t 8 a(56,69) a(26,45) a(97,33) a(103,88) d(106) \n\t 1 r(45,7) d(98) d(18) d(104) d(95) r(107,94) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(106) d(45) d(18) \n\t 9 d(11) d(98) r(18,105) r(35,89) d(26) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(106) r(26,66) \n\t 8 d(11) d(98) r(18,105) r(35,89) d(45) d(103) \n\t 7 r(95,71) r(11,70) r(11,66) d(35) d(68) r(100,58) r(107,60) \n\t 9 r(45,7) d(18) a(102,63) a(108,94) d(5) a(105,79) r(98,54) \n\t 8 r(95,71) r(11,70) r(11,66) d(35) d(68) a(105,79) r(18,92) \n\t 8 r(45,7) d(18) a(102,63) a(108,94) d(5) r(100,58) d(108) \n\t 8 a(56,69) d(35) d(98) d(102) d(98) r(96,97) a(11,53) \n\t 8 a(56,69) r(102,96) d(81) \n\t 9 r(95,71) d(18) a(102,63) d(95) d(108) a(97,51) r(5,3) \n\t 0 r(95,71) r(108,104) a(102,63) a(108,94) r(104,22) d(68) a(105,33) \n\t 8 r(95,71) d(18) a(102,63) a(108,94) r(104,22) d(68) d(11) \n\t 8 r(95,71) r(108,104) a(102,63) d(95) d(108) a(97,51) d(103) \n\t 9 d(11) d(98) d(68) d(26) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(35) \n\t 0 d(11) d(98) d(68) d(97) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) \n\t 0 r(95,71) r(11,70) r(11,66) d(35) r(108,15) \n\t 0 d(11) d(26) r(56,24) a(26,45) r(81,89) d(106) d(68) r(104,42) r(98,24) \n\t 0 r(95,71) r(11,70) r(11,66) d(35) d(68) r(104,42) a(97,102) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(106) r(108,20) \n\t 6 r(95,71) a(102,63) a(108,94) d(5) a(99,95) r(68,25) \n\t 9 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) d(18) a(107,97) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) \n\t 9 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) \n\t 9 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) d(68) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) a(18,51) \n\t 8 a(56,69) d(35) d(98) d(102) d(98) r(96,97) d(56) r(26,57) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(98,62) \n\t 7 a(56,69) d(35) d(98) d(102) d(98) r(96,97) d(101) \nsearch: generation 7 (sizeof one variant = 0.0661097 MB)\n\t 7 a(56,69) a(26,45) a(97,33) a(103,88) d(18) d(104) d(95) d(45) r(101,86) \n\t 8 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) \n\t 9 d(11) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) \n\t 7 d(11) d(98) d(68) r(35,89) d(106) r(26,66) r(103,29) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(106) r(26,66) a(97,58) \n\t 8 d(11) d(98) d(68) r(35,89) d(45) d(68) r(104,75) \n\t 8 r(95,71) d(98) d(18) d(98) d(68) d(102) a(45,9) \n\t 7 d(11) a(102,63) d(95) d(18) r(103,13) a(100,99) \n\t 8 r(95,71) d(98) d(18) a(102,63) d(95) d(18) r(103,13) a(105,75) \n\t 8 d(11) d(98) d(68) d(102) r(108,63) \n\t 8 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) r(104,22) \n\t 0 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(35) r(103,8) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(98) r(108,21) r(104,71) \n\t 0 r(95,71) r(108,104) d(104) a(45,72) a(68,50) a(98,78) \n\t 9 a(56,69) d(35) d(26) r(56,24) d(35) r(98,70) a(56,95) d(96) a(56,97) a(45,26) r(68,79) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) \n\t 9 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) r(11,60) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) \n\t 9 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) d(95) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(102,103) \n\t 8 a(99,91) r(98,22) r(95,19) r(56,76) d(26) r(103,28) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) r(95,19) r(56,76) d(26) r(105,16) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) r(107,95) \n\t 8 a(99,91) a(95,58) d(98) d(106) \n\t 8 a(56,69) d(35) d(98) d(102) d(98) r(96,97) a(11,53) a(81,22) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,96) \n\t 2 a(99,91) r(104,67) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) d(68) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,9) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(98) r(108,21) d(100) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) a(18,51) d(96) \n\t 6 d(11) d(98) d(68) d(107) a(105,79) r(18,92) r(26,32) \n\t 8 r(95,71) r(11,70) r(11,66) d(35) d(68) d(106) \n\t 8 d(11) d(98) d(68) d(107) a(101,63) \n\t 7 r(95,71) r(11,70) r(11,66) d(35) d(68) a(105,79) r(18,92) r(104,10) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) a(18,51) r(5,106) \n\t 8 r(68,47) d(68) a(104,51) d(95) r(99,66) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(95) a(97,43) \n\t 8 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) a(18,51) r(105,76) \n\t 8 r(95,71) r(108,104) a(103,49) d(26) \n\t 8 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) d(104) a(45,72) a(68,50) a(101,24) \n\t 5 r(95,71) r(108,104) d(104) a(45,72) a(68,50) a(102,34) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(95,89) \n\t 8 d(11) d(98) d(68) d(26) r(101,90) \n\t 7 a(56,69) d(35) d(98) d(102) d(98) r(96,97) d(101) r(108,98) \n\t 0 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) r(97,90) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) a(97,86) \n\t 7 r(95,71) r(108,104) d(104) a(45,72) r(108,91) d(99) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) d(35) \n\t 8 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) d(99) \n\t 7 a(56,69) a(26,45) a(97,33) a(103,88) d(106) r(56,101) \n\t 8 d(11) d(98) d(68) d(102) a(5,70) \n\t 7 d(11) d(98) d(68) d(102) d(106) \n\t 8 a(99,91) a(100,28) r(98,70) a(56,95) r(98,70) a(56,95) a(105,40) d(18) a(107,97) d(104) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) \n\t 8 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) d(18) a(107,97) r(100,9) \n\t 8 a(99,91) a(100,28) r(98,70) a(56,95) a(105,40) d(18) a(107,97) r(106,66) \nsearch: generation 8 (sizeof one variant = 0.065937 MB)\n\t 0 a(99,91) a(100,28) a(105,40) d(18) a(105,75) r(102,94) \n\t 8 r(95,71) d(98) d(18) a(102,63) d(95) d(18) r(103,13) a(107,97) d(35) d(26) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) r(98,45) \n\t 8 r(95,71) d(98) d(18) a(102,63) d(95) d(18) r(103,13) a(105,75) a(102,64) \n\t 7 r(95,71) d(98) d(18) d(98) d(68) d(102) a(45,9) a(101,63) r(26,10) \n\t 8 d(11) d(98) d(68) d(107) a(98,19) \n\t 7 r(95,71) d(98) d(18) d(98) d(68) d(102) a(45,9) d(99) \n\t 6 d(11) d(98) d(68) d(107) a(101,63) r(105,102) \n\t 9 d(11) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,96) a(97,83) \n\t 9 r(95,71) r(11,70) r(11,66) d(45) \n\t 9 d(11) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) d(68) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,96) d(11) \n\t 7 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) r(104,22) d(103) \n\t 8 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) r(11,60) r(103,90) \n\t 8 a(99,91) a(100,28) r(98,22) a(105,22) d(68) d(26) r(103,28) a(81,40) \n\t 7 a(99,91) r(98,22) r(95,19) r(56,76) a(26,6) a(103,49) a(95,89) r(103,107) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(95,89) d(108) \n\t 8 a(99,91) r(98,22) r(95,19) r(56,76) d(26) r(103,28) d(108) \n\t 8 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(95) a(97,43) d(101) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) d(104) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) r(18,38) \n\t 6 r(68,47) d(26) a(105,71) r(5,24) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(102,103) a(26,17) \n\t 7 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) d(56) r(95,56) d(99) r(106,45) \n\t 8 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) r(68,48) a(100,31) a(18,78) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) \n\t 7 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(100,29) \n\t 8 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) d(68) r(95,104) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(95,89) d(68) \n\t 7 a(56,69) d(35) d(98) d(102) d(98) r(96,97) d(101) r(108,98) r(101,77) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(95) a(97,43) d(68) \n\t 7 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) r(102,104) \n\t 9 a(99,91) a(100,28) a(68,12) r(96,12) r(95,27) r(81,106) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) d(18) \n\t 0 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) d(95) r(97,50) \n\t 8 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(81,35) \n\t 8 r(95,71) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(102,103) r(18,38) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) r(11,70) r(11,66) d(35) d(68) d(106) d(68) \n\t 7 r(95,71) r(11,70) r(11,66) d(35) d(68) d(106) d(103) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(102,103) r(68,50) \n\t 9 a(99,91) r(98,22) d(26) d(56) \n\t 7 r(95,71) r(108,104) a(103,49) a(105,22) d(68) a(26,6) r(11,5) r(107,95) d(81) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) r(107,95) r(18,81) \n\t 8 r(95,71) r(108,104) a(103,49) d(26) r(5,25) \n\t 8 r(68,47) d(68) a(104,51) d(95) r(99,66) a(35,91) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) d(45) \n\t 7 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) d(104) a(45,72) a(68,50) d(99) d(5) \n\t 8 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,24) r(107,82) \n\t 7 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) d(104) a(45,72) a(68,50) a(101,24) r(107,12) \n\t 7 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) d(99) d(102) \n\t 0 a(99,91) a(95,58) d(98) d(106) d(97) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) a(45,82) \n\t 8 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) a(18,51) r(105,76) d(11) \n\t 7 d(11) d(98) d(68) d(107) a(101,63) r(100,27) \n\t 9 a(56,69) d(35) d(26) r(56,24) d(35) r(98,70) a(56,95) d(96) a(56,97) a(45,26) r(68,79) a(98,98) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) r(68,83) \n\t 0 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,9) a(95,58) d(98) d(106) r(98,78) \n\t 9 a(99,91) r(81,82) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,9) d(108) \n\t 7 a(99,91) a(95,58) d(98) d(106) d(99) \nsearch: generation 9 (sizeof one variant = 0.066988 MB)\n\t 7 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) r(68,48) a(100,31) a(18,78) r(107,9) \n\t 7 d(11) d(98) d(68) d(107) a(98,19) r(105,84) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) r(68,83) r(81,75) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) r(11,70) r(11,66) d(35) d(68) d(106) d(68) a(96,38) \n\t 8 r(68,47) d(26) a(105,71) r(5,24) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(102,103) r(68,50) a(18,58) \n\t 8 a(99,91) a(100,28) a(68,12) r(96,12) r(95,27) r(81,106) d(99) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) d(96) \n\t 7 r(95,71) d(98) d(18) a(102,63) d(95) d(18) r(103,13) a(105,75) a(102,64) d(102) \n\t 6 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) d(98) d(68) d(107) a(101,63) r(100,27) a(81,103) \n\t 8 d(11) a(18,51) r(105,76) d(11) d(108) \n\t 8 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) a(18,51) r(105,76) d(11) d(11) \n\t 7 d(11) d(98) d(68) d(107) a(101,63) r(100,27) a(95,3) \n\t 2 d(11) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(100,29) r(103,108) \n\t 7 a(99,91) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) d(104) r(68,100) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) d(104) d(56) \n\t 7 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(100,29) a(106,13) \n\t 8 a(56,69) d(35) d(26) r(56,24) d(35) r(98,70) a(56,95) a(100,31) r(18,38) r(101,74) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) d(96) a(56,97) a(45,26) r(68,79) a(98,98) d(95) \n\t 3 a(56,69) d(35) d(26) r(56,24) d(35) r(98,70) a(56,95) d(96) a(56,97) a(45,26) r(68,79) a(98,98) r(97,99) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) r(18,38) d(102) \n\t 9 r(95,71) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(99,96) d(11) a(100,62) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(102,103) r(18,38) r(103,24) \n\t 7 r(95,71) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(102,103) r(18,38) r(100,84) \n\t 8 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,96) d(11) d(102) \n\t 7 r(95,71) d(98) d(18) d(98) d(68) d(102) a(45,9) d(99) r(45,98) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(95,89) d(108) d(26) \n\t 9 d(11) d(98) a(18,87) \n\t 7 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) r(68,83) d(68) d(107) a(98,19) d(98) \n\t 8 d(11) d(98) d(68) d(107) a(98,19) a(99,41) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) r(68,83) a(101,70) \n\t 8 a(99,91) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(81,35) d(18) \n\t 0 a(99,91) a(100,28) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) r(104,42) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) r(95,74) \n\t 7 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(81,35) r(26,67) \n\t 9 a(99,91) r(98,22) d(26) d(56) a(106,29) \n\t 7 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) d(45) r(107,74) \n\t 8 a(99,91) a(100,28) r(98,22) r(81,82) r(106,18) \n\t 7 a(99,91) a(105,22) d(68) d(26) r(103,28) a(81,40) a(106,105) \n\t 8 a(99,91) a(100,28) r(98,22) a(105,22) d(68) d(26) r(103,28) a(81,40) r(26,64) \n\t 9 a(99,91) r(81,82) r(81,20) \n\t 8 a(99,91) r(81,82) r(11,66) d(45) d(99) \n\t 9 r(95,71) r(11,70) d(56) \n\t 8 a(99,91) r(81,82) d(107) \n\t 8 r(95,71) r(11,70) r(11,66) d(45) d(99) \n\t 7 a(99,91) r(11,60) r(103,90) d(102) \n\t 8 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) d(106) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) a(100,5) \n\t 7 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) r(11,60) r(103,90) d(100) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) a(102,106) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) d(68) r(102,51) \n\t 9 a(99,91) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(95,89) d(108) a(104,68) \n\t 7 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) a(18,51) r(105,76) d(11) d(99) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) d(18) r(56,83) \n\t 8 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(99,96) d(11) r(105,63) \n\t 7 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) r(104,22) d(103) d(5) \n\t 7 r(68,47) d(26) a(105,71) r(5,24) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(102,103) r(68,50) r(45,99) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) r(98,7) \n\t 7 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) d(68) r(95,104) a(107,97) d(35) r(98,45) r(101,41) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) r(98,45) d(81) \n\t 8 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) d(68) r(95,104) r(5,47) \nsearch: generation 10 (sizeof one variant = 0.0662661 MB)\n\t 9 a(99,91) r(81,82) r(96,35) \n\t 6 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) r(11,60) r(103,90) d(100) r(11,66) d(45) d(99) d(45) \n\t 7 a(99,91) r(81,82) r(11,66) d(45) d(99) d(103) \n\t 6 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) r(11,60) r(103,90) d(100) d(104) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) d(11) d(108) d(45) \n\t 8 d(11) a(18,51) r(105,76) d(96) a(56,97) a(45,26) r(68,79) a(98,98) d(95) r(98,43) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) d(96) a(56,97) a(45,26) r(68,79) a(98,98) d(95) d(102) \n\t 8 d(11) a(18,51) r(105,76) d(11) d(108) r(68,31) \n\t 7 a(99,91) r(96,12) r(95,27) a(105,41) d(106) d(99) \n\t 9 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(81,82) r(81,20) r(26,40) \n\t 9 a(99,91) r(81,82) r(81,20) d(98) \n\t 7 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) d(106) r(107,27) \n\t 3 a(99,91) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(81,35) d(18) a(68,78) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(102,103) r(18,38) r(103,24) a(98,7) \n\t 9 r(68,47) d(26) r(5,24) a(100,5) d(96) \n\t 7 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) r(68,48) d(26) a(11,11) r(18,100) a(18,51) r(105,76) d(11) d(99) a(56,98) \n\t 7 r(68,47) d(26) r(5,24) r(68,48) d(26) a(11,11) r(18,100) a(18,51) r(105,76) d(11) d(99) a(26,76) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) a(100,5) d(96) \n\t 8 a(99,91) a(100,28) a(100,28) r(68,79) a(98,98) d(95) d(99) \n\t 7 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) d(96) a(56,97) a(45,26) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) d(96) a(26,94) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) d(96) r(101,79) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) d(96) a(56,97) a(45,26) r(68,79) a(98,98) d(95) d(26) \n\t 9 d(11) d(98) d(68) r(81,97) \n\t 7 d(11) d(98) d(68) d(107) a(98,19) a(99,41) d(107) a(98,19) a(99,41) r(26,10) \n\t 8 d(11) d(98) d(68) d(107) a(98,19) a(99,41) d(11) \n\t 7 d(11) d(98) d(68) d(107) a(98,19) a(99,41) d(100) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) r(95,74) r(5,32) \n\t 8 r(95,71) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(99,96) d(11) a(100,62) d(101) \n\t 0 r(95,71) a(101,12) a(105,22) d(68) a(26,6) r(11,5) a(99,96) d(11) a(100,62) d(97) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(100,31) d(68) a(102,106) r(35,37) \n\t 7 d(11) a(18,51) r(105,76) d(11) d(108) r(106,33) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) r(68,83) a(101,70) a(45,77) \n\t 7 a(99,91) r(81,82) r(11,66) d(45) d(99) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(102,103) r(18,38) r(103,24) d(106) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(81,5) \n\t 8 a(99,91) r(81,82) r(11,66) d(45) d(99) d(45) \n\t 9 r(95,71) r(11,70) r(11,66) d(35) d(68) a(104,51) d(81) a(100,28) r(98,22) a(105,22) d(68) a(26,6) a(103,49) a(102,103) r(18,38) r(103,24) d(56) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) d(106) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) r(98,45) d(81) a(100,5) d(81) \n\t 9 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) a(100,5) a(106,68) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) r(98,45) d(81) d(108) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) d(56) a(68,100) \n\t 9 r(95,71) r(11,70) r(96,12) r(95,27) a(105,41) a(100,5) d(11) \n\t 8 a(99,91) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) a(100,5) d(103) \n\t 9 r(95,71) r(11,70) d(56) d(95) \n\t 8 d(11) d(26) r(56,24) a(26,45) r(81,89) d(45) d(68) r(98,91) d(68) r(102,51) a(45,81) \n\t 7 d(11) d(98) d(68) d(107) a(101,63) r(100,27) a(95,3) d(68) \n\t 7 a(99,91) r(81,82) r(81,20) a(95,17) \n\t 7 a(99,91) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(81,35) d(18) r(100,43) \n\t 8 r(95,71) r(11,70) d(56) r(18,17) \n\t 8 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) a(100,28) a(100,28) r(98,70) a(56,95) a(105,40) r(5,24) r(68,48) a(101,71) d(96) a(68,12) r(96,12) r(95,27) a(105,41) d(106) a(26,88) \n\t 9 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) r(11,60) d(96) \n\t 0 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) r(98,45) d(81) r(103,90) d(100) d(97) \n\t 2 a(56,69) d(35) d(26) r(56,24) a(26,45) a(97,33) d(81) a(68,30) a(101,71) d(96) a(68,12) r(96,12) r(11,60) r(103,90) d(100) r(81,78) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) r(98,45) d(81) a(103,9) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) r(68,83) r(81,75) r(26,24) \n\t 9 a(99,91) a(100,28) a(105,40) d(18) a(107,97) d(35) r(98,45) d(81) a(5,63) \n\t 6 r(95,71) d(98) d(18) d(98) d(68) d(102) a(45,9) d(99) d(106) r(68,83) a(101,70) r(95,19) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) r(45,98) d(101) \n\t 6 r(95,71) d(98) d(18) d(98) d(68) d(102) a(45,9) d(99) r(45,98) d(104) \n\t 8 a(99,91) r(98,22) a(105,22) d(68) a(26,6) r(11,5) d(106) r(68,83) a(101,70) r(56,90) \n\t 0 a(99,91) a(100,28) r(98,22) a(105,22) a(104,8) \n\t 0 d(11) d(98) a(18,87) r(26,20) d(56) r(95,56) d(99) r(81,35) r(26,67) d(97) \n\t 7 a(99,91) a(100,28) r(98,22) a(105,22) r(26,20) d(56) r(95,56) d(99) r(81,35) r(26,67) d(81) \n\t 9 d(11) d(98) a(18,87) d(96) \nsearch: genetic algorithm ends\nRep: saving test cache\n\nVariant Test Case Queries: 6170\n"Test Suite Evaluations": 617\n\nCompile Failures: 0\nWall-Clock Seconds Elapsed: 665.36\n Activity Name Count Seconds = Percent of Total Time\n compile 618 110.229 = 18.1941%\n test 6190 495.604 = 81.8035%\n TOTAL 605.847 = 91.0542% (avg CPU usage)\n'