stringsubst 3 F F F+F+F-F+F-F-F-F+F-F+F+F+F-F+F-F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-1 # dragon # symm-dr stringsubst 3 F F F+F+F-F-F+F+F+F-F+F-F-F-F+F+F-F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-2 # dragon # symm-dr stringsubst 3 F F F+F+F-F-F+F+F+F-F-F+F+F-F-F-F+F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-3 ## T+ = 2+ P stringsubst 3 F F F+F+F-F-F-F+F+F+F-F+F+F-F-F-F+F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-4 # dragon-shape # symm-r ## same = 1 P R ## T+ = 1+ P ## T- = 1- P stringsubst 3 F F F+F-F+F+F+F-F-F+F+F-F-F-F+F+F-F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-5 ## same = 3 R X ## T+ = 3- X ## T- = 2- P ## B+ = 3+ R X stringsubst 3 F F F+F-F+F+F+F-F-F+F-F+F+F-F-F-F+F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-6 # dragon # symm-dr ## T+ = 5+ P ## T- = 3- P stringsubst 3 F F F+F-F+F+F+F-F-F+F-F-F-F+F+F+F-F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-7 # dragon-shape # symm-r ## same = 1 P R ## T+ = 1+ P ## T- = 1- P stringsubst 3 F F F+F-F+F+F+F-F-F-F+F+F+F-F-F-F+F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-8 # dragon # symm-dr ## same = 1 P R ## T+ = 1+ P ## T- = 1- P stringsubst 3 F F F+F-F+F+F-F+F+F+F-F-F-F+F-F-F+F-F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-9 # dragon # symm-dr ## same = 1 P R ## T+ = 1+ P ## T- = 1- P stringsubst 3 F F F+F-F+F+F-F+F+F-F-F-F+F+F-F-F-F+F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-10 ## T+ = 1+ P stringsubst 3 F F F+F-F+F+F-F+F-F+F+F-F-F-F+F-F-F+F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-11 ## T+ = 1+ P stringsubst 3 F F F+F-F-F+F-F-F-F+F+F-F+F-F+F+F-F+F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-12 ## same = 11 Z T ## T+ = 1- M ## T- = 11- T ## B- = 11- Z T stringsubst 3 F F F+F-F-F-F+F+F-F-F-F+F+F-F+F+F-F+F + + - - | tail -1 | ./bin 4 2 0 > tmp-pic.tex && make dotex # all-search(a): R17-13 ## same = 10 Z T ## T+ = 1- M ## T- = 10- T ## B- = 10- Z T