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/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 1581927782157038711\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_19520591744684508950504423104/test_19520591744684508950504423104"\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/tmp8af06b.c /home/tedks/tmp/tmp3b0119.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\tn1: false (0)\ncachingRepresentation: sanity checking passed (time_taken = 0.690879)\nfaultLocRep: compute_localization: fault_scheme: path, fix_scheme: default\nRep: coverage_sourcename: /home/tedks/tmp/313d572e1f050451c688b97510efa105685fa275a8442f9119ce9b3f85f46e234cdf03593568e19798aed6b79c66f45c97be937d09b6ff9544f0f59162538575_0_f2a5e508f134c75db35c54474b6acb238796bd8a_digits_19520591744684508950504423104/./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/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.65\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.0662136 MB)\nsearch: initial population (sizeof one variant = 0.00604248 MB)\n\t 5 d(99) \n\t 4 a(98,10) \n\t 5 r(106,26) \n\t 5 r(103,97) \n\t 5 d(106) \n\t 5 a(103,3) \n\t 5 r(26,30) \n\t 5 d(18) \n\t 5 d(45) \n\t 5 r(100,26) \n\t 5 d(96) \n\t 5 d(35) \n\t 4 r(98,5) \n\t 5 r(18,33) \n\t 5 a(100,5) \n\t 4 d(102) \n\t 4 d(101) \n\t 5 a(68,52) \n\t 5 r(100,107) \n\t 5 r(68,48) \n\t 5 d(18) \n\t 0 r(107,2) \n\t 2 r(104,10) \n\t 5 d(35) \n\t 5 a(97,30) \n\t 5 r(108,47) \n\t 5 r(106,51) \n\t 4 a(102,102) \n\t 4 a(11,10) \n\t 4 d(101) \n\t 5 d(18) \n\t 5 d(95) \n\t 5 a(97,68) \n\t 0 a(106,32) \n\t 5 r(95,35) \n\t 4 a(104,4) \n\t 5 d(68) \n\t 5 d(45) \n\t 5 a(5,43) \n\t 5 original\nsearch: generation 1 (sizeof one variant = 0.0660629 MB)\n\t 5 a(97,68) a(102,33) \n\t 5 a(100,5) a(96,99) \n\t 4 r(98,5) r(18,50) \n\t 5 r(100,107) a(96,107) \n\t 0 r(100,107) r(95,32) \n\t 3 d(106) r(101,17) \n\t 5 d(106) a(101,106) \n\t 5 d(35) d(106) \n\t 5 a(11,10) d(11) \n\t 5 a(97,68) r(56,30) \n\t 5 d(96) r(56,26) \n\t 5 d(96) r(100,1) \n\t 5 d(96) r(106,100) \n\t 5 d(96) a(11,51) \n\t 5 d(106) d(68) \n\t 4 d(95) d(102) \n\t 4 r(98,5) d(35) \n\t 0 a(68,52) r(68,2) \n\t 5 d(35) d(81) \n\t 0 d(35) d(97) \n\t 5 d(35) r(96,43) \n\t 5 d(35) d(106) \n\t 5 d(35) a(96,46) \n\t 5 d(35) a(104,11) \n\t 4 a(100,5) a(98,17) \n\t 5 d(45) r(81,35) \n\t 2 r(106,51) a(45,53) \n\t 4 d(45) r(108,10) \n\t 5 d(45) r(81,46) \n\t 5 d(106) r(26,99) \n\t 5 d(45) r(95,26) \n\t 5 d(106) r(99,47) \n\t 5 d(45) d(108) \n\t 5 d(18) \n\t 5 a(100,5) a(68,100) \n\t 4 d(45) r(45,98) \n\t 5 r(68,48) r(106,95) \n\t 5 d(95) d(26) \n\t 5 r(68,48) r(18,9) \n\t 5 d(99) a(101,56) \n\t 0 d(106) a(96,10) \n\t 5 r(18,33) r(96,20) \n\t 5 d(106) d(108) \n\t 5 r(18,33) d(81) \n\t 0 r(68,48) d(97) \n\t 5 d(99) d(108) \n\t 4 r(108,47) r(98,47) \n\t 4 r(98,5) a(104,49) \n\t 0 r(108,47) r(81,53) \n\t 4 r(98,5) a(26,102) \nsearch: generation 2 (sizeof one variant = 0.0663414 MB)\n\t 5 d(106) r(100,49) \n\t 5 d(96) r(100,1) r(26,99) d(18) \n\t 5 d(106) r(26,99) a(56,24) \n\t 5 d(96) r(100,1) a(103,106) \n\t 5 d(106) a(101,106) d(81) \n\t 5 d(106) d(108) a(107,107) \n\t 0 d(35) d(97) \n\t 5 d(18) a(96,46) r(11,97) \n\t 5 d(35) a(96,46) d(95) \n\t 5 d(18) d(108) \n\t 5 d(106) r(99,47) d(35) \n\t 5 d(45) r(95,26) d(45) \n\t 5 d(106) r(99,47) d(96) \n\t 0 r(98,5) r(18,50) r(68,2) \n\t 5 d(45) d(108) r(103,24) \n\t 5 d(35) a(96,46) r(95,35) \n\t 5 a(97,68) a(102,33) d(108) \n\t 3 d(106) a(101,106) d(104) \n\t 0 a(97,68) a(102,33) d(97) \n\t 5 d(106) a(101,106) a(107,24) \n\t 5 d(96) a(11,51) d(103) \n\t 5 d(18) r(56,108) \n\t 5 d(96) a(11,51) d(100) \n\t 3 d(18) r(104,48) \n\t 5 d(35) a(104,11) d(100) \n\t 5 d(96) r(100,1) d(103) \n\t 5 d(45) r(81,35) r(96,30) \n\t 5 d(35) a(104,11) d(105) \n\t 4 r(100,107) a(96,107) d(101) \n\t 3 d(99) a(101,56) d(104) \n\t 5 r(18,33) d(81) a(11,22) \n\t 4 d(35) a(96,46) d(101) \n\t 5 d(45) d(108) r(81,35) d(68) \n\t 5 d(45) r(100,105) \n\t 5 d(45) d(108) d(45) \n\t 0 d(45) r(81,35) d(97) \n\t 4 d(95) d(26) d(102) \n\t 3 d(106) d(68) r(98,102) \n\t 5 d(96) a(11,51) a(18,24) \n\t 5 d(106) d(68) r(105,100) \n\t 5 d(45) d(108) d(108) d(18) \n\t 5 d(45) r(81,29) \n\t 5 d(45) d(108) a(101,35) \n\t 5 d(45) d(108) d(11) \n\t 5 d(106) d(108) r(100,49) \n\t 5 d(96) r(56,26) r(107,49) \n\t 5 d(99) a(101,56) d(103) \n\t 5 d(99) a(101,56) a(104,105) \n\t 5 d(99) d(108) a(99,100) \n\t 2 r(106,51) a(45,53) r(101,48) \n\t 5 d(99) d(108) d(56) \n\t 2 r(106,51) a(45,53) d(68) \n\t 5 r(18,33) r(96,20) d(11) d(68) \n\t 3 a(11,10) r(101,100) \n\t 5 r(18,33) r(96,20) d(107) \n\t 3 a(11,10) d(11) d(104) \nsearch: generation 3 (sizeof one variant = 0.0655088 MB)\n\t 5 r(18,33) r(96,20) d(107) d(103) \n\t 5 d(45) r(100,105) d(106) \n\t 5 r(18,33) r(96,20) d(107) d(56) \n\t 5 d(45) r(100,105) a(95,3) \n\t 2 d(106) a(101,106) a(107,24) r(100,44) \n\t 5 d(99) d(108) a(99,100) r(68,46) \n\t 5 d(96) a(11,51) d(103) a(100,1) \n\t 5 d(96) r(100,1) d(103) a(18,19) \n\t 4 d(45) d(26) d(102) d(45) \n\t 5 d(95) r(100,105) a(5,100) \n\t 5 d(45) r(100,105) r(11,35) \n\t 4 d(95) d(26) d(102) r(105,68) \n\t 3 d(96) r(100,1) d(103) r(102,98) \n\t 5 d(96) a(11,51) a(18,24) r(100,51) \n\t 5 d(106) a(56,24) r(81,53) \n\t 3 d(106) r(26,99) d(68) r(105,100) r(35,53) \n\t 5 d(106) d(68) r(105,100) a(97,35) \n\t 5 d(106) r(26,99) a(56,24) d(45) \n\t 4 d(45) d(108) d(100) r(105,4) \n\t 0 d(96) a(11,51) r(103,24) r(105,23) \n\t 4 d(45) d(108) r(103,24) d(102) \n\t 5 d(96) a(11,51) d(100) a(96,22) \n\t 5 d(96) r(100,1) d(103) d(100) \n\t 5 d(45) d(108) d(108) d(18) r(56,19) \n\t 5 d(96) d(103) d(68) \n\t 5 d(96) r(100,1) r(100,1) r(26,99) d(18) a(35,5) \n\t 5 d(96) r(100,1) r(26,99) d(18) a(102,28) \n\t 5 d(96) r(100,1) d(103) r(5,102) \n\t 5 d(106) d(108) a(107,107) r(26,101) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) \n\t 5 d(106) d(108) a(107,107) r(96,19) \n\t 2 d(35) a(96,46) r(95,35) r(106,44) \n\t 5 d(99) a(101,56) d(103) a(45,26) \n\t 5 d(45) r(100,105) d(99) \n\t 5 d(106) a(101,106) a(104,11) d(105) d(96) \n\t 5 d(35) a(107,24) d(45) \n\t 5 d(106) a(101,106) a(107,24) d(18) \n\t 5 d(35) a(104,11) d(105) r(68,101) \n\t 4 d(45) d(108) r(103,24) d(101) \n\t 5 d(106) r(99,47) d(96) r(68,56) \n\t 5 d(45) d(108) r(103,24) r(99,27) \n\t 5 d(106) r(99,47) d(96) r(26,22) \n\t 4 r(18,33) r(96,20) d(11) d(68) d(101) \n\t 5 d(99) d(108) a(99,100) d(95) \n\t 5 d(99) a(101,56) d(56) d(108) \n\t 5 d(99) d(108) a(104,105) r(107,26) \n\t 5 d(99) a(101,56) a(104,105) d(107) \n\t 5 d(99) d(108) d(56) a(100,28) \n\t 4 d(45) d(108) r(81,35) d(68) r(103,101) \n\t 4 r(18,33) r(96,20) d(11) d(68) r(98,81) \n\t 5 d(96) r(100,1) d(103) r(11,47) \n\t 5 r(18,33) r(96,20) d(107) d(108) \n\t 5 d(99) r(96,5) \n\t 3 d(96) a(11,51) a(18,24) d(108) d(56) d(104) \n\t 4 d(99) d(108) d(56) r(98,18) \n\t 5 d(96) a(11,51) a(18,24) a(81,50) \n\t 5 d(45) d(81) a(11,22) a(102,52) \n\t 5 r(18,33) r(81,29) d(45) \n\t 4 d(45) r(81,29) d(102) \n\t 5 r(18,33) d(81) a(11,22) r(11,43) \n\t 5 d(96) r(100,1) r(105,48) \n\t 5 d(106) d(108) a(107,107) r(26,99) d(18) d(108) \n\t 4 d(96) r(100,1) r(26,99) d(18) a(35,98) \n\t 5 d(106) d(108) a(107,107) d(68) \nsearch: generation 4 (sizeof one variant = 0.0652618 MB)\n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) \n\t 5 d(99) d(108) a(100,28) r(99,107) \n\t 4 d(99) d(108) d(56) a(100,28) d(101) \n\t 0 d(99) d(108) a(99,100) r(68,46) r(97,20) \n\t 5 d(96) r(100,1) d(103) d(100) d(107) \n\t 2 d(96) r(100,1) d(103) r(5,102) r(104,17) \n\t 4 d(45) r(100,105) d(106) r(26,99) a(56,24) d(45) a(11,10) \n\t 5 d(106) a(99,11) \n\t 2 d(45) r(100,105) d(106) r(98,34) \n\t 4 d(106) r(26,99) a(56,24) d(45) d(98) \n\t 4 d(45) r(81,29) d(108) d(108) d(18) r(56,19) r(106,98) \n\t 4 d(45) d(102) d(95) \n\t 4 d(45) r(81,29) d(102) a(56,68) \n\t 5 d(45) d(108) d(108) d(18) r(56,19) a(104,47) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) \n\t 5 d(99) r(68,46) a(108,106) \n\t 0 d(99) d(108) a(99,100) r(68,46) a(95,55) \n\t 5 d(99) d(108) a(99,100) d(95) r(103,97) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) \n\t 5 d(96) r(100,1) a(45,43) \n\t 5 d(106) d(108) a(107,107) r(26,101) d(103) \n\t 5 d(96) r(100,1) r(26,99) d(18) a(102,28) d(107) \n\t 4 d(45) r(100,105) d(99) r(56,17) \n\t 5 d(96) a(11,51) a(18,24) r(100,51) a(11,56) \n\t 5 d(96) r(100,1) d(103) d(100) d(99) \n\t 4 d(45) r(81,29) d(102) a(35,51) \n\t 0 d(106) r(99,47) d(96) r(104,32) \n\t 5 r(18,33) r(96,20) d(107) d(56) r(26,22) a(45,81) \n\t 3 d(106) r(99,47) d(96) r(26,22) r(106,25) \n\t 5 r(18,33) r(96,20) d(107) d(56) a(56,5) \n\t 5 d(106) d(108) a(107,107) d(99) \n\t 4 d(106) r(26,99) a(56,24) d(45) d(68) d(98) \n\t 5 d(106) d(108) a(107,107) d(68) d(108) \n\t 5 d(106) r(26,99) a(56,24) d(45) a(68,21) \n\t 5 d(45) r(100,105) a(95,3) r(68,106) \n\t 4 d(95) d(26) d(102) r(105,68) d(106) \n\t 5 d(35) a(107,24) d(45) a(81,35) \n\t 5 d(99) d(108) a(99,100) r(68,46) a(45,20) \n\t 5 d(99) r(96,5) a(101,56) a(104,105) d(107) d(95) \n\t 5 d(99) r(105,48) \n\t 5 d(99) r(96,5) r(18,100) \n\t 5 d(99) a(101,56) a(104,105) d(107) a(35,103) \n\t 4 d(106) r(99,47) d(96) a(18,19) d(102) \n\t 3 d(96) r(100,1) d(103) r(26,22) d(104) \n\t 5 d(106) r(99,47) d(96) r(26,22) d(107) \n\t 5 d(96) r(100,1) d(103) a(18,19) a(56,35) \n\t 4 d(96) r(100,1) d(103) r(5,102) r(26,107) a(11,17) \n\t 5 d(35) a(96,46) r(95,35) d(56) \n\t 5 d(96) r(100,1) d(103) r(5,102) d(18) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) \n\t 4 d(99) d(108) d(108) a(107,107) r(96,19) r(101,107) \n\t 5 d(106) a(99,100) d(95) r(11,29) \n\t 5 d(99) d(108) a(99,100) d(95) r(81,103) \n\t 4 d(106) d(108) a(107,107) r(96,19) r(107,4) \n\t 5 d(96) r(100,1) d(103) r(5,102) a(103,5) \n\t 5 d(99) a(101,56) d(56) d(108) d(26) \n\t 0 d(35) a(107,24) d(45) d(97) \n\t 5 d(45) d(108) r(103,24) r(99,27) d(68) \n\t 2 d(45) r(81,29) d(102) a(105,25) \n\t 5 d(106) a(101,106) a(107,24) d(18) d(105) \n\t 5 d(96) r(100,1) d(103) r(5,102) r(11,19) \n\t 5 d(45) d(108) r(103,24) r(99,27) d(45) \nsearch: generation 5 (sizeof one variant = 0.066535 MB)\n\t 5 d(96) r(100,1) d(103) r(26,22) r(106,24) d(107) \n\t 3 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) d(104) d(108) \n\t 3 d(96) r(100,1) d(103) r(26,22) d(104) a(107,56) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) \n\t 5 d(35) a(107,24) d(45) a(81,35) r(18,24) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(105) \n\t 5 d(45) r(100,105) r(100,1) d(103) r(5,102) d(18) r(103,68) \n\t 4 d(96) a(95,3) r(68,106) r(98,97) \n\t 5 d(45) r(100,105) a(95,3) r(68,106) a(97,47) \n\t 5 d(96) r(100,1) d(103) r(5,102) d(18) r(106,47) \n\t 5 d(99) d(108) a(99,100) d(95) r(81,103) r(100,45) \n\t 4 d(96) r(100,1) r(26,99) d(18) a(102,28) d(107) d(98) \n\t 5 d(35) a(107,24) d(45) a(81,35) r(96,99) \n\t 0 d(45) r(100,105) d(106) r(26,99) a(56,24) d(45) a(11,10) d(97) \n\t 5 d(106) r(26,99) a(56,24) d(45) d(68) r(105,48) d(26) \n\t 5 d(99) d(98) r(108,4) \n\t 4 d(106) r(26,99) a(56,24) d(45) d(68) d(98) r(107,26) \n\t 5 d(99) r(105,48) r(99,5) \n\t 5 d(99) a(101,56) d(56) d(108) d(26) r(5,102) d(18) a(81,103) \n\t 5 d(96) r(100,1) d(103) r(106,11) \n\t 2 d(99) a(101,56) d(56) d(108) d(26) a(104,34) \n\t 5 d(96) r(100,1) d(103) r(5,102) d(18) d(26) \n\t 5 d(45) d(108) r(103,24) d(11) \n\t 5 d(99) r(68,46) a(108,106) r(99,27) d(45) d(96) \n\t 5 d(45) d(108) r(103,24) r(99,27) d(45) a(96,98) \n\t 5 d(99) r(68,46) a(108,106) d(5) \n\t 4 d(96) r(100,1) r(26,99) d(18) d(18) r(56,19) a(104,47) r(11,17) \n\t 2 d(45) d(108) d(108) a(102,28) d(107) a(102,34) \n\t 5 d(96) r(100,1) r(26,99) d(18) a(102,28) d(107) a(97,107) \n\t 5 d(45) d(108) d(108) d(18) r(56,19) a(104,47) d(95) \n\t 0 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(97) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) a(98,35) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) r(108,56) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) \n\t 4 d(96) r(100,1) d(103) r(26,107) r(68,49) r(26,44) \n\t 5 d(35) a(96,46) r(95,35) r(5,102) r(26,107) a(11,17) d(11) \n\t 4 d(96) r(100,1) d(103) r(5,102) r(26,107) a(11,17) r(108,26) \n\t 4 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(101) \n\t 5 d(96) r(100,1) d(103) d(100) a(102,107) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) \n\t 5 d(96) r(100,1) d(103) d(100) d(99) a(35,33) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) r(99,3) \n\t 5 d(96) r(100,1) d(103) a(18,19) a(56,35) d(68) \n\t 5 d(96) r(100,1) d(103) r(5,102) d(18) r(11,5) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) \n\t 3 d(106) a(99,100) d(95) r(5,102) d(18) r(35,2) \n\t 0 d(96) r(100,1) d(103) r(5,102) d(18) r(100,55) \n\t 5 d(106) a(99,100) d(95) r(11,29) r(106,105) \n\t 5 d(99) r(96,5) r(18,100) d(107) \n\t 5 d(35) a(107,24) d(45) a(81,35) a(95,52) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(95) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) r(99,95) \n\t 0 d(96) r(100,1) d(103) d(100) d(99) r(99,23) \n\t 5 d(99) d(108) a(100,28) r(99,107) d(103) \n\t 4 d(45) d(108) r(103,24) r(99,27) d(68) r(98,31) \n\t 4 d(96) r(100,1) r(26,99) d(98) \n\t 5 d(96) r(100,1) d(103) d(100) d(99) d(18) a(102,28) d(107) d(26) \n\t 4 d(96) r(100,1) r(26,99) d(18) a(102,28) d(107) d(102) \n\t 5 d(96) r(100,1) d(103) d(100) d(99) r(11,50) \n\t 4 d(96) r(11,29) a(100,10) \n\t 5 d(106) a(99,100) d(95) r(100,1) d(103) a(18,19) a(56,35) d(96) \n\t 0 d(96) r(100,1) d(103) a(18,19) a(56,35) r(95,32) \n\t 4 d(106) a(99,100) d(95) r(11,29) d(98) \nsearch: generation 6 (sizeof one variant = 0.0644407 MB)\n\t 5 d(45) d(18) d(26) d(56) \n\t 0 d(96) r(100,1) d(103) r(5,102) d(108) r(103,24) d(11) a(103,32) \n\t 5 d(45) d(108) r(103,24) d(11) a(105,97) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(18) d(26) d(102) \n\t 4 d(35) a(96,46) r(95,35) r(5,102) r(26,107) a(11,17) r(98,10) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) \n\t 0 d(35) a(96,46) r(95,35) r(5,102) r(26,107) a(11,17) d(11) a(104,23) \n\t 5 d(45) d(108) r(103,24) d(11) d(18) \n\t 5 d(99) d(108) a(100,28) r(99,107) r(103,99) \n\t 5 d(35) a(107,24) d(45) a(81,35) r(18,24) d(103) a(68,108) \n\t 5 d(99) d(108) a(100,28) r(99,107) d(103) d(105) \n\t 3 d(35) a(107,24) d(45) a(81,35) r(18,24) r(68,104) \n\t 2 d(99) d(108) a(99,100) d(68) d(98) r(107,26) r(104,21) \n\t 5 d(106) r(26,99) a(56,24) d(45) d(95) r(81,103) r(100,45) d(105) \n\t 5 d(99) d(108) a(99,100) d(95) r(81,103) r(100,45) d(81) \n\t 4 d(106) r(26,99) a(56,24) d(45) d(68) d(98) r(107,26) d(68) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(18) r(106,47) d(98) \n\t 4 d(96) r(100,1) r(26,99) d(18) d(18) r(56,19) a(104,47) r(11,17) d(105) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) a(98,35) d(100) \n\t 4 d(99) d(98) r(108,4) d(101) \n\t 4 d(99) r(26,99) d(18) a(102,28) d(107) d(102) r(68,51) \n\t 0 d(96) r(100,1) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(97) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) \n\t 0 d(96) r(100,1) r(26,99) d(18) a(102,28) d(107) d(102) d(97) \n\t 5 d(106) a(98,106) \n\t 4 d(35) a(107,24) d(45) a(81,35) r(96,99) a(99,100) d(95) r(11,29) d(98) r(56,103) \n\t 4 d(106) a(99,100) d(95) r(11,29) d(98) a(98,9) \n\t 5 d(35) a(107,24) d(45) a(81,35) r(96,99) d(11) \n\t 5 d(106) r(26,99) a(56,24) d(45) d(68) r(105,48) d(26) r(11,33) \n\t 5 d(96) r(100,1) d(103) d(100) a(102,107) d(105) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) r(99,3) d(107) \n\t 5 d(99) r(105,48) r(99,5) a(98,49) \n\t 4 d(96) r(100,1) r(26,99) d(18) d(18) r(56,19) a(104,47) r(11,17) d(18) \n\t 3 d(106) a(99,100) d(95) r(5,102) d(18) r(35,2) a(101,16) \n\t 3 d(96) r(11,29) a(100,10) d(105) a(99,25) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) \n\t 4 d(96) r(11,29) a(100,10) a(106,3) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(105) r(95,5) \n\t 3 d(96) r(100,1) d(103) d(100) a(102,107) d(104) \n\t 0 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) a(98,35) r(96,25) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) r(99,95) d(81) \n\t 5 d(99) a(101,56) d(56) d(108) d(26) r(5,102) d(18) a(81,103) d(11) \n\t 5 d(96) r(100,1) d(103) d(100) d(99) a(35,33) a(105,108) \n\t 4 d(96) r(11,29) a(100,10) d(107) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) \n\t 5 d(96) r(100,1) d(96) r(107,95) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) \n\t 5 d(96) r(100,1) d(103) r(106,11) a(26,26) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) \n\t 5 d(99) d(108) a(99,100) d(108) d(35) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(35,95) \n\t 0 d(96) r(100,1) d(103) r(5,102) d(18) d(26) d(97) \n\t 5 d(45) d(108) r(103,24) a(96,101) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(11) a(107,95) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) \n\t 3 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) r(101,17) \n\t 0 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(103) r(5,102) d(18) d(26) a(108,53) \n\t 2 d(96) r(100,1) a(99,34) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(18) d(26) r(98,97) \nsearch: generation 7 (sizeof one variant = 0.0663834 MB)\n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) \n\t 5 d(45) d(108) r(103,24) d(105) r(100,95) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) d(100) \n\t 1 d(45) d(108) r(103,24) a(96,101) r(101,108) \n\t 2 d(99) d(108) r(106,11) d(68) a(102,34) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) d(56) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) r(103,45) \n\t 0 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(97) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) r(35,68) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(105) r(95,5) d(56) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(99) \n\t 5 d(96) r(100,1) d(103) d(100) a(102,107) d(105) r(96,56) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(95) \n\t 3 d(99) d(108) a(100,28) r(99,107) d(103) d(105) r(101,17) r(103,26) \n\t 3 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) r(101,17) d(108) \n\t 4 d(99) d(108) a(100,28) r(99,107) d(103) d(105) a(105,10) \n\t 0 d(96) r(100,1) d(103) r(5,102) d(18) d(26) d(97) d(108) \n\t 5 d(106) r(26,99) a(56,24) d(45) d(95) r(81,103) r(100,45) d(105) r(56,27) \n\t 0 d(106) r(26,99) a(56,24) d(45) d(68) d(98) r(107,26) d(68) r(97,102) \n\t 5 d(45) d(108) r(103,24) a(96,101) a(97,52) \n\t 5 d(96) r(100,1) d(103) r(5,102) d(18) a(18,4) \n\t 4 d(35) a(96,46) r(95,35) r(26,107) r(68,49) r(99,95) d(81) r(106,47) d(98) r(81,31) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(18) r(106,47) d(98) d(45) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) r(99,95) d(81) a(11,95) \n\t 4 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) a(81,35) r(96,99) a(99,100) d(95) r(11,29) d(98) r(56,103) a(68,29) \n\t 5 d(35) a(107,24) d(45) r(106,24) d(18) d(108) a(68,106) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) d(96) \n\t 4 d(35) a(107,24) d(45) a(81,35) r(96,99) a(99,100) d(95) r(11,29) d(98) r(56,103) a(97,51) \n\t 0 d(106) a(99,100) d(95) r(11,29) d(98) a(98,9) a(99,23) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(95) \n\t 4 d(96) r(100,1) d(101) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) d(103) r(11,29) d(96) a(56,29) r(35,106) \n\t 4 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) r(101,81) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) \n\t 5 d(96) r(100,1) d(103) r(106,11) a(26,26) a(95,3) \n\t 5 d(96) r(100,1) d(96) r(107,95) d(95) \n\t 5 d(96) r(100,1) d(108) d(56) a(99,100) r(100,1) d(103) r(11,29) d(96) a(56,29) d(100) \n\t 0 d(96) r(68,46) r(35,96) d(103) d(97) a(98,22) \n\t 0 d(96) r(100,1) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(97) d(56) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) \n\t 0 d(96) r(100,1) d(103) r(5,102) d(18) d(26) d(97) d(98) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(56) \n\t 5 d(96) r(100,1) d(103) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(105) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) r(11,29) d(103) r(106,11) d(68) r(35,21) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) a(35,107) \n\t 5 d(99) d(108) a(100,28) r(99,107) d(103) d(105) d(11) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) a(108,17) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) r(99,3) d(107) r(95,101) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) \n\t 4 d(99) a(101,56) d(56) d(108) d(26) r(5,102) d(18) a(81,103) d(11) a(26,17) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) \n\t 5 d(35) a(107,24) d(45) a(81,35) a(99,100) d(95) r(11,29) d(98) r(56,103) a(81,4) \n\t 3 d(35) a(107,24) d(45) a(81,35) r(96,99) r(18,24) r(68,104) d(99) \n\t 2 d(35) a(107,24) d(45) a(81,35) r(18,24) r(68,104) a(11,2) \n\t 3 d(35) a(107,24) d(45) a(81,35) r(96,99) a(99,100) d(95) r(11,29) d(98) r(56,103) d(102) \n\t 4 d(96) r(100,1) r(26,99) d(18) d(18) r(56,19) a(104,47) r(11,17) d(18) a(107,100) \n\t 4 d(99) d(98) r(108,4) d(101) d(96) \nsearch: generation 8 (sizeof one variant = 0.0661917 MB)\n\t 4 d(99) d(108) r(11,29) d(103) r(106,11) d(68) a(108,17) d(26) \n\t 5 d(96) r(100,1) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) r(106,26) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) a(108,17) a(102,9) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) d(100) r(45,43) \n\t 5 d(45) d(108) r(103,24) a(96,101) a(97,52) a(11,24) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(56) d(11) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) r(35,68) d(107) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) d(100) d(26) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) d(56) r(81,20) \n\t 4 d(99) d(108) a(99,100) d(108) a(99,100) r(96,56) r(101,51) \n\t 4 d(96) r(100,1) d(103) d(100) a(102,107) d(105) d(95) d(100) r(99,3) d(107) r(95,101) d(102) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) r(99,3) d(107) r(95,101) d(106) \n\t 5 d(96) r(100,1) d(103) d(100) a(102,107) d(105) r(96,56) d(68) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(18) r(106,47) d(98) d(107) \n\t 3 d(35) a(107,24) d(45) a(81,35) a(99,100) d(95) r(11,29) d(98) r(56,103) a(81,4) d(45) r(35,34) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(18) r(106,47) d(98) d(45) a(5,26) \n\t 4 d(35) a(107,24) d(45) a(81,35) a(99,100) d(95) r(11,29) d(98) r(56,103) a(81,4) r(81,17) \n\t 5 d(45) r(100,9) d(18) \n\t 0 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) d(108) r(103,24) a(96,101) a(97,52) d(97) \n\t 4 d(45) d(108) r(103,24) a(96,101) a(97,52) a(95,102) \n\t 3 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(104) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) r(103,45) r(103,18) \n\t 0 d(96) r(100,1) d(103) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(105) r(101,53) \n\t 4 d(106) r(26,99) a(56,24) d(45) d(95) r(81,103) r(100,45) d(105) r(56,27) a(11,2) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) a(11,81) \n\t 5 d(96) d(103) r(11,29) d(96) a(56,29) d(95) r(68,16) \n\t 0 d(96) r(100,1) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(97) d(35) \n\t 0 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(97) r(108,32) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(95) r(81,46) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) r(81,107) \n\t 5 d(35) a(107,24) d(45) r(106,24) d(18) d(108) a(68,106) d(103) \n\t 5 d(96) r(100,1) r(26,99) r(108,16) \n\t 4 d(96) r(100,1) d(103) d(100) a(102,107) d(105) r(96,56) d(18) d(18) r(56,19) a(104,47) r(11,17) d(18) a(107,100) a(95,28) \n\t 4 d(96) r(100,1) r(26,99) d(18) d(18) r(56,19) a(104,47) r(11,17) d(18) a(107,100) d(103) \n\t 5 d(96) r(100,1) d(103) d(100) a(102,107) d(105) r(96,56) r(107,46) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) r(99,9) \n\t 4 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) r(101,51) \n\t 5 d(99) d(108) a(100,28) d(11) d(103) a(99,81) r(96,24) \n\t 3 d(45) d(108) r(103,24) d(11) r(99,107) d(103) d(105) r(101,17) r(103,26) r(103,95) \n\t 3 d(99) d(108) a(100,28) r(99,107) d(103) d(105) r(101,17) r(103,26) d(68) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) d(108) \n\t 0 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(56) d(97) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(99) d(45) \n\t 3 d(99) d(98) r(108,4) d(101) d(106) r(108,52) a(18,10) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(96) a(95,49) \n\t 4 d(99) d(98) r(108,4) d(101) d(96) d(98) \n\t 4 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) d(101) \n\t 5 d(35) a(107,24) d(45) r(106,24) d(18) d(108) a(68,106) r(95,3) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) d(96) d(45) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) d(81) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) d(18) \n\t 5 d(96) r(100,1) d(103) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(105) d(106) \n\t 1 d(45) d(108) r(103,24) a(96,101) r(101,108) a(95,47) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) a(103,99) \n\t 0 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) a(108,17) a(96,55) \nsearch: generation 9 (sizeof one variant = 0.0653896 MB)\n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(107) \n\t 3 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) d(96) d(45) d(95) d(56) d(11) a(108,104) \n\t 0 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(56) d(11) r(97,4) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) d(96) d(45) r(5,103) \n\t 5 d(99) d(81) a(97,105) \n\t 4 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) d(101) d(95) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) d(101) r(95,101) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) d(81) d(68) \n\t 2 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) a(103,99) a(104,44) \n\t 0 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(95) d(56) d(11) r(97,44) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) d(96) d(45) r(68,30) \n\t 3 d(35) a(107,24) d(45) a(81,35) a(99,100) d(95) r(11,29) d(98) r(56,103) a(81,4) d(45) r(35,34) r(101,56) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) r(106,26) r(26,108) \n\t 5 d(96) r(100,1) d(103) d(100) a(102,107) d(105) r(96,56) d(68) r(100,97) \n\t 5 d(96) r(100,1) d(103) a(99,81) r(96,24) r(103,16) \n\t 5 d(99) d(108) a(100,28) d(11) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) r(106,108) \n\t 5 d(96) r(100,1) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) r(81,21) \n\t 5 d(99) d(108) a(100,28) d(11) d(103) a(99,81) r(96,24) a(5,103) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) d(81) a(107,52) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) d(108) d(5) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(96) a(95,49) d(96) \n\t 5 d(99) d(100) d(99) d(100) r(18,9) r(35,68) d(107) a(5,95) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) r(35,68) d(107) d(103) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(96) a(95,49) a(105,56) \n\t 4 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) a(107,24) d(45) a(81,35) a(99,100) d(95) r(11,29) d(98) r(56,103) a(81,4) r(81,17) d(99) \n\t 4 d(35) r(81,107) d(102) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) r(81,107) r(18,55) \n\t 0 d(35) a(107,24) d(45) a(81,35) a(99,100) d(95) r(11,29) d(98) r(56,103) a(81,4) r(81,17) r(106,2) \n\t 3 d(45) d(108) r(103,24) a(96,101) a(97,52) r(106,47) d(98) d(45) a(5,26) d(102) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(18) a(11,24) a(102,10) \n\t 5 d(45) d(108) r(103,24) a(96,101) a(97,52) a(11,24) a(98,50) \n\t 0 d(96) r(100,1) d(103) r(5,102) d(18) r(106,47) d(98) d(45) a(5,26) r(97,102) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) r(81,46) a(100,100) \n\t 4 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(95) d(96) d(45) a(26,98) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) d(96) d(45) d(99) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(95) r(81,46) r(96,51) \n\t 1 d(96) r(100,1) d(103) r(11,29) d(18) r(106,47) d(98) d(107) r(103,2) \n\t 4 d(96) r(100,1) d(103) r(5,102) d(103) r(106,11) d(68) d(26) r(99,9) d(98) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) r(99,9) a(26,99) \n\t 3 d(96) r(100,1) d(103) r(5,102) d(18) r(106,47) d(98) d(107) r(35,53) \n\t 5 d(99) d(68) d(26) r(99,9) r(106,105) \n\t 4 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) d(100) d(26) d(102) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) d(105) d(100) d(26) r(100,43) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) r(99,9) a(45,52) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) a(103,99) d(81) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) d(18) a(26,30) \n\t 5 d(96) r(100,1) d(103) r(11,29) r(35,68) d(107) d(95) \n\t 0 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) d(96) a(56,29) d(95) r(81,46) a(100,32) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(95) r(81,46) a(35,48) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) r(35,68) d(107) r(108,20) \n\t 0 d(96) d(103) r(11,29) d(96) a(56,29) d(95) r(68,16) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) a(81,32) \n\t 0 d(96) r(100,1) d(103) r(97,108) \n\t 5 d(96) d(103) r(11,29) d(96) a(56,29) d(95) r(68,16) a(95,49) \n\t 5 d(96) r(100,1) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) r(95,100) \n\t 5 d(96) r(100,1) r(100,1) r(26,99) r(108,16) a(45,30) \n\t 4 d(96) d(103) d(100) a(102,107) d(105) d(95) d(100) r(99,3) d(107) r(95,101) d(102) r(11,10) \n\t 4 d(96) r(100,1) d(103) d(100) a(102,107) d(105) d(95) d(100) r(99,3) d(107) r(95,101) d(102) r(102,28) \n\t 5 d(96) r(100,1) r(26,99) r(108,16) a(5,9) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) d(108) d(81) \n\t 3 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(104) r(26,68) \n\t 5 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) r(106,26) a(96,3) \n\t 5 d(99) d(108) a(100,28) d(11) d(103) a(99,81) r(96,24) r(68,28) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) r(99,3) d(107) r(95,101) d(106) r(96,99) \n\t 0 d(99) d(108) a(100,28) d(11) d(103) a(99,81) r(96,24) r(104,32) \nsearch: generation 10 (sizeof one variant = 0.0655289 MB)\n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) r(81,46) a(100,100) d(108) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) r(81,107) r(18,55) a(103,19) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) r(81,107) r(105,22) \n\t 5 d(96) r(100,1) d(103) r(11,29) r(35,68) d(107) d(95) r(18,55) a(68,96) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) r(81,107) r(18,55) d(103) \n\t 5 d(96) r(100,1) d(103) r(11,29) r(35,68) d(107) d(95) a(103,28) \n\t 4 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) d(101) d(95) a(56,28) \n\t 3 d(45) d(108) r(103,24) a(96,101) a(97,52) r(106,47) d(98) d(45) a(5,26) d(102) a(45,47) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) r(99,9) a(45,52) r(5,68) \n\t 4 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) r(99,3) d(107) r(95,101) d(106) r(96,99) a(35,4) \n\t 5 d(96) r(100,1) d(103) r(11,29) r(35,68) d(103) a(96,101) r(100,9) d(45) r(81,21) d(45) \n\t 5 d(96) r(100,1) d(103) d(56) a(99,100) r(68,46) r(35,96) d(107) d(95) r(18,56) \n\t 5 d(96) r(100,1) d(103) r(11,29) r(35,68) d(107) d(95) d(99) \n\t 5 d(96) r(100,1) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) r(81,21) a(5,107) \n\t 2 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(103) r(11,29) d(96) a(56,29) d(5) r(81,107) r(18,55) r(98,44) \n\t 3 d(96) r(100,1) d(100) a(99,100) d(95) d(100) d(100) d(107) r(98,102) \n\t 3 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(107) d(104) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(96) a(56,29) d(5) r(81,107) r(18,55) r(99,81) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) r(99,9) a(26,99) d(11) \n\t 5 d(99) d(100) d(99) d(100) r(18,9) r(35,68) d(107) a(5,95) r(103,22) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) r(106,108) d(107) \n\t 4 d(99) d(108) a(100,28) d(11) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(107) a(107,4) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(107) d(81) \n\t 5 d(99) d(108) a(100,28) d(11) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) r(106,108) r(95,25) \n\t 3 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) r(108,16) a(5,9) d(104) \n\t 4 d(96) r(100,1) r(26,99) d(99) d(100) r(18,9) r(35,68) d(107) r(108,20) r(101,19) \n\t 4 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) r(35,68) d(107) r(108,20) r(105,98) \n\t 4 d(96) r(100,1) r(26,99) r(108,16) a(5,9) d(98) \n\t 5 d(96) d(103) r(11,29) d(96) a(56,29) d(95) r(68,16) d(107) r(108,20) r(106,27) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) r(35,68) a(95,49) d(103) \n\t 5 d(96) d(103) r(11,29) d(96) a(56,29) d(95) r(68,16) a(95,49) a(95,11) \n\t 4 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) r(35,68) d(107) r(108,20) d(102) \n\t 3 d(99) d(100) d(99) d(100) r(18,9) r(35,68) d(107) a(5,95) d(104) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) d(101) r(95,101) r(96,30) \n\t 4 d(99) d(108) a(100,28) d(11) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) a(105,98) \n\t 0 d(96) r(100,1) d(103) r(11,29) d(18) r(106,47) d(98) d(107) r(103,2) r(100,9) d(45) r(106,108) d(95) \n\t 5 d(99) d(108) a(100,28) d(11) d(103) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(45) r(106,108) d(45) \n\t 1 d(96) r(100,1) d(103) r(11,29) d(18) r(106,47) d(98) d(107) r(103,2) r(99,56) \n\t 3 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(104) r(26,68) a(35,103) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) r(99,9) a(45,52) a(108,20) \n\t 5 d(96) r(100,1) d(103) r(11,29) d(103) r(106,11) d(68) d(26) r(99,9) a(26,99) r(103,50) \n\t 4 d(96) r(100,1) d(103) d(100) a(102,107) d(105) d(95) d(100) r(99,3) d(107) r(95,101) d(102) r(102,28) d(95) \n\t 4 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) d(101) d(95) r(35,22) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(106) r(108,52) d(101) r(95,101) d(35) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(100) d(96) a(95,49) d(96) a(101,51) \n\t 5 d(99) d(68) d(26) r(99,9) r(106,105) r(81,11) \n\t 4 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(26,68) a(68,102) \n\t 0 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(104) r(100,29) d(81) a(107,52) a(102,2) \n\t 5 d(35) a(96,46) r(95,35) r(26,107) r(68,49) d(18) r(100,29) d(81) a(107,52) r(18,34) \n\t 3 d(99) d(108) d(56) a(99,100) r(68,46) r(35,96) d(103) a(96,101) r(100,9) d(104) r(26,68) r(106,95) \n\t 0 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) d(108) d(96) a(56,29) d(95) r(81,46) a(100,32) a(11,50) \n\t 3 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) d(5) d(104) \n\t 0 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) d(108) d(5) r(95,23) \n\t 0 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) r(18,9) d(96) a(56,29) d(95) r(81,46) a(100,32) r(108,34) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) d(108) d(5) d(95) d(100) d(100) d(107) r(18,53) \n\t 5 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(68) \n\t 5 d(45) d(108) r(103,24) d(11) d(11) d(103) a(99,81) d(108) d(5) r(56,5) \n\t 3 d(99) d(108) a(99,100) d(108) a(99,100) d(95) d(100) d(99) d(100) a(99,100) d(95) d(100) d(100) d(107) r(104,48) \n\t 5 d(106) d(108) a(107,107) r(26,101) r(26,99) d(18) a(102,28) r(106,24) d(18) d(108) d(96) d(45) r(68,30) d(81) \n\t 5 d(99) d(81) a(97,105) r(18,108) \nsearch: genetic algorithm ends\nRep: saving test cache\n\nVariant Test Case Queries: 3372\n"Test Suite Evaluations": 562\n\nCompile Failures: 0\nWall-Clock Seconds Elapsed: 429.272\n Activity Name Count Seconds = Percent of Total Time\n compile 563 102.572 = 26.2259%\n test 3384 288.524 = 73.7705%\n TOTAL 391.110 = 91.1082% (avg CPU usage)\n'