% bob.tex [latex input] by Guy Jacobson, July 1988

% This file defines \bob to print a tiny Bob -- a total hack.
% Watch out -- can cause latex to run out of memory, so use sparingly;
% I can get about two bobs per page.  Looks cute on Laserwriters
% and other 300 dpi printers.

% Use \slack to mark the end of your proofs.

\newcommand{\xyz}[2]{\put (#1){\rule{#2\unitlength}{\unitlength}}}

\setlength{\unitlength}{.24pt}
\newsavebox{\bobbox}
\sbox{\bobbox}{
\begin{picture}(40,50)(20,25)
\xyz{0,6}{6}	\xyz{0,7}{5}	\xyz{0,8}{1}	\xyz{0,9}{1}
\xyz{0,10}{1}	\xyz{1,4}{6}	\xyz{1,5}{5}	\xyz{1,11}{1}
\xyz{2,3}{5}	\xyz{2,12}{1}	\xyz{3,2}{8}	\xyz{3,8}{2}
\xyz{3,10}{3}	\xyz{3,11}{4}	\xyz{3,13}{2}	\xyz{3,43}{9}
\xyz{3,44}{4}	\xyz{3,45}{3}	\xyz{4,1}{6}	\xyz{4,38}{4}
\xyz{4,39}{4}	\xyz{4,40}{4}	\xyz{4,41}{4}	\xyz{4,42}{4}
\xyz{4,46}{1}	\xyz{4,48}{9}	\xyz{4,49}{9}	\xyz{4,50}{9}
\xyz{4,51}{9}	\xyz{4,52}{9}	\xyz{4,53}{9}	\xyz{4,54}{9}
\xyz{4,55}{9}	\xyz{4,56}{9}	\xyz{4,57}{9}	\xyz{4,58}{10}
\xyz{5,0}{4}	\xyz{5,12}{2}	\xyz{5,14}{3}	\xyz{5,32}{1}
\xyz{5,33}{1}	\xyz{5,34}{1}	\xyz{5,35}{2}	\xyz{5,36}{4}
\xyz{5,37}{4}	\xyz{5,47}{8}	\xyz{5,59}{32}	\xyz{5,60}{37}
\xyz{5,61}{32}	\xyz{5,62}{32}	\xyz{6,31}{3}	\xyz{6,46}{7}
\xyz{6,63}{24}	\xyz{6,64}{20}	\xyz{7,30}{2}	\xyz{7,33}{2}
\xyz{7,34}{2}	\xyz{7,45}{5}	\xyz{7,65}{13}	\xyz{7,9}{10}
\xyz{8,10}{3}	\xyz{8,13}{2}	\xyz{8,32}{1}	\xyz{8,35}{1}
\xyz{8,66}{11}	\xyz{8,7}{7}	\xyz{8,8}{8}	\xyz{9,11}{2}
\xyz{9,12}{2}	\xyz{9,27}{10}	\xyz{9,28}{1}	\xyz{9,29}{1}
\xyz{9,3}{3}	\xyz{9,4}{3}	\xyz{9,5}{4}	\xyz{9,67}{9}
\xyz{9,6}{5}	\xyz{9,42}{3}	\xyz{9,44}{3}	\xyz{10,24}{3}
\xyz{10,25}{6}	\xyz{10,26}{7}	\xyz{10,68}{8}	\xyz{11,22}{2}
\xyz{11,23}{2}	\xyz{11,28}{3}	\xyz{11,29}{3}	\xyz{11,30}{2}
\xyz{11,31}{2}	\xyz{11,32}{1}	\xyz{11,33}{1}	\xyz{11,69}{11}
\xyz{12,10}{6}	\xyz{12,19}{2}	\xyz{12,20}{2}	\xyz{12,21}{1}
\xyz{13,11}{6}	\xyz{13,17}{2}	\xyz{13,18}{1}	\xyz{13,40}{3}
\xyz{13,41}{9}	\xyz{13,70}{14}	\xyz{14,12}{6}	\xyz{14,15}{2}
\xyz{14,16}{1}	\xyz{14,24}{2}	\xyz{14,39}{1}	\xyz{14,42}{3}
\xyz{14,45}{10}	\xyz{14,46}{9}	\xyz{14,71}{27}	\xyz{15,14}{1}
\xyz{15,19}{2}	\xyz{15,20}{2}	\xyz{15,21}{1}	\xyz{15,22}{1}
\xyz{15,23}{1}	\xyz{15,37}{3}	\xyz{16,13}{5}	\xyz{16,17}{2}
\xyz{16,18}{1}	\xyz{16,43}{5}	\xyz{16,72}{28}	\xyz{17,14}{4}
\xyz{17,16}{1}	\xyz{17,25}{15}	\xyz{17,36}{5}	\xyz{18,15}{4}
\xyz{18,24}{10}	\xyz{18,28}{2}	\xyz{18,39}{3}	\xyz{18,40}{1}
\xyz{19,10}{7}	\xyz{19,16}{4}	\xyz{19,21}{7}	\xyz{19,22}{5}
\xyz{19,23}{4}	\xyz{19,29}{2}	\xyz{19,35}{2}	\xyz{19,37}{5}
\xyz{20,9}{6}	\xyz{20,17}{8}	\xyz{20,20}{4}	\xyz{20,26}{13}
\xyz{20,40}{2}	\xyz{20,68}{1}	\xyz{20,73}{22}	\xyz{21,18}{14}
\xyz{21,19}{6}	\xyz{21,30}{1}	\xyz{21,38}{4}	\xyz{21,65}{4}
\xyz{21,66}{1}	\xyz{21,67}{1}	\xyz{21,8}{14}	\xyz{22,11}{4}
\xyz{22,27}{13}	\xyz{22,28}{6}	\xyz{22,31}{1}	\xyz{22,39}{6}
\xyz{22,42}{6}	\xyz{22,43}{4}	\xyz{22,44}{3}	\xyz{22,68}{1}
\xyz{22,7}{18}	\xyz{23,12}{3}	\xyz{23,13}{4}	\xyz{23,29}{4}
\xyz{23,30}{4}	\xyz{23,41}{5}	\xyz{23,66}{1}	\xyz{23,67}{1}
\xyz{24,14}{5}	\xyz{24,15}{12}	\xyz{24,16}{13}	\xyz{24,31}{3}
\xyz{24,32}{3}	\xyz{24,40}{4}	\xyz{25,33}{2}	\xyz{25,69}{2}
\xyz{26,34}{1}	\xyz{26,35}{1}	\xyz{26,36}{2}	\xyz{26,38}{2}
\xyz{26,58}{8}	\xyz{26,68}{2}	\xyz{27,21}{12}	\xyz{27,23}{8}
\xyz{27,37}{1}	\xyz{27,67}{2}	\xyz{28,19}{9}	\xyz{28,64}{2}
\xyz{28,65}{1}	\xyz{28,66}{1}	\xyz{29,70}{7}	\xyz{30,69}{3}
\xyz{31,63}{6}	\xyz{31,64}{1}	\xyz{31,65}{1}	\xyz{31,68}{3}
\xyz{32,6}{6}	\xyz{32,28}{4}	\xyz{32,40}{6}	\xyz{32,67}{3}
\xyz{33,41}{14}	\xyz{33,64}{4}	\xyz{33,65}{2}	\xyz{33,66}{2}
\xyz{34,24}{9}	\xyz{34,29}{3}	\xyz{34,42}{6}	\xyz{35,43}{10}
\xyz{35,69}{2}	\xyz{36,20}{2}	\xyz{36,30}{1}	\xyz{36,44}{4}
\xyz{36,68}{1}	\xyz{37,38}{6}	\xyz{37,39}{2}	\xyz{37,66}{1}
\xyz{37,67}{1}	\xyz{38,8}{3}	\xyz{38,22}{2}	\xyz{38,25}{15}
\xyz{38,30}{3}	\xyz{38,45}{13}	\xyz{38,61}{7}	\xyz{38,62}{9}
\xyz{38,63}{19}	\xyz{38,64}{1}	\xyz{38,65}{1}	\xyz{38,70}{2}
\xyz{39,9}{3}	\xyz{39,23}{2}	\xyz{39,29}{3}	\xyz{39,37}{7}
\xyz{39,46}{11}	\xyz{39,68}{1}	\xyz{39,69}{1}	\xyz{40,10}{3}
\xyz{40,28}{4}	\xyz{40,39}{3}	\xyz{40,40}{1}	\xyz{40,64}{16}
\xyz{40,65}{5}	\xyz{40,66}{3}	\xyz{40,67}{2}	\xyz{41,11}{3}
\xyz{41,27}{10}	\xyz{41,36}{3}	\xyz{42,12}{3}	\xyz{42,13}{3}
\xyz{42,26}{9}	\xyz{42,40}{1}	\xyz{42,47}{4}	\xyz{42,71}{5}
\xyz{43,14}{3}	\xyz{43,68}{2}	\xyz{43,69}{1}	\xyz{43,70}{1}
\xyz{44,15}{3}	\xyz{44,16}{3}	\xyz{44,42}{3}	\xyz{44,66}{1}
\xyz{44,67}{1}	\xyz{45,17}{3}	\xyz{45,18}{4}	\xyz{45,38}{3}
\xyz{45,40}{2}	\xyz{45,70}{4}	\xyz{46,19}{3}	\xyz{46,20}{4}
\xyz{46,65}{2}	\xyz{46,66}{2}	\xyz{46,67}{1}	\xyz{46,68}{1}
\xyz{46,69}{4}	\xyz{47,21}{3}	\xyz{47,22}{4}	\xyz{47,28}{4}
\xyz{47,44}{4}	\xyz{47,51}{3}	\xyz{48,23}{3}	\xyz{48,24}{4}
\xyz{48,29}{3}	\xyz{48,43}{3}	\xyz{48,47}{2}	\xyz{48,48}{2}
\xyz{48,49}{2}	\xyz{48,50}{2}	\xyz{48,52}{2}	\xyz{48,67}{3}
\xyz{48,68}{2}	\xyz{49,30}{2}	\xyz{49,42}{3}	\xyz{49,53}{1}
\xyz{49,54}{1}	\xyz{49,55}{1}	\xyz{49,65}{5}	\xyz{49,66}{4}
\xyz{50,31}{1}	\xyz{50,41}{1}	\xyz{50,59}{9}	\xyz{50,60}{9}
\xyz{50,61}{8}	\xyz{50,62}{8}	\xyz{51,46}{7}	\xyz{51,47}{7}
\xyz{51,55}{7}	\xyz{51,56}{7}	\xyz{51,57}{7}	\xyz{51,58}{8}
\xyz{52,26}{1}	\xyz{52,27}{1}	\xyz{52,28}{1}	\xyz{52,29}{1}
\xyz{52,30}{1}	\xyz{52,31}{1}	\xyz{52,33}{2}	\xyz{52,43}{6}
\xyz{52,44}{6}	\xyz{52,45}{6}	\xyz{52,48}{6}	\xyz{52,49}{6}
\xyz{52,50}{6}	\xyz{52,51}{6}	\xyz{52,52}{6}	\xyz{52,53}{6}
\xyz{52,54}{6}	\xyz{53,32}{4}	\xyz{53,34}{1}	\xyz{53,35}{1}
\xyz{53,36}{2}	\xyz{53,37}{4}	\xyz{53,38}{4}	\xyz{53,39}{4}
\xyz{53,40}{4}	\xyz{53,41}{5}	\xyz{53,42}{5}	\xyz{54,31}{2}
\xyz{55,35}{2}	\xyz{56,33}{1}	\xyz{56,34}{1}	\xyz{56,36}{1}
\end{picture}
}

\newcommand{\bob}[0]{\usebox{\bobbox}}
\newcommand{\slack}[0]{\hfill\bob}