monster(1, [t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(a,3,1,l,a),t(b,0,3,l,a),t(b,1,1,r,z),t(b,2,2,r,b),t(b,3,2,l,a)]). % Michel 2x4 #a
monster(2, [t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,1,l,a),t(a,3,1,r,a),t(b,0,2,l,a),t(b,1,1,r,z),t(b,2,3,r,a),t(b,3,3,r,b)]). % Michel 2x4 #b
monster(3, [t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(a,3,1,l,a),t(b,0,3,l,a),t(b,1,1,r,z),t(b,2,2,r,b),t(b,3,2,r,a)]). % Michel 2x4 #c
monster(4, [t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,1,r,a),t(a,3,1,r,a),t(b,0,1,l,b),t(b,1,1,l,a),t(b,2,2,l,z),t(b,3,2,r,b)]). % Ligocki 2x4 #a reworked by me 
monster(5, [t(a,0,1,r,b),t(a,1,2,l,b),t(a,2,1,l,c),t(b,0,1,l,a),t(b,1,2,r,b),t(b,2,1,r,b),t(c,0,1,r,z),t(c,1,2,l,a),t(c,2,0,l,c)]). % Brady #SB  ??? This is a tough one .... macro(3) works but
monster(6, [t(a,0,1,r,b),t(a,1,2,r,a),t(a,2,1,l,a),t(b,0,2,l,c),t(b,1,0,r,c),t(b,2,1,r,b),t(c,0,1,r,z),t(c,1,2,l,a),t(c,2,1,r,b)]). % Brady #b macro(2)
monster(7, [t(a,0,1,r,b),t(a,1,1,r,z),t(a,2,2,l,c),t(b,0,1,l,c),t(b,1,2,r,b),t(b,2,1,l,b),t(c,0,1,l,a),t(c,1,0,r,b),t(c,2,2,l,a)]). % Brady #c macro(2)
monster(8, [t(a,0,1,r,b),t(a,1,1,l,c),t(a,2,2,r,z),t(b,0,1,l,a),t(b,1,1,l,c),t(b,2,2,r,b),t(c,0,1,r,b),t(c,1,2,l,c),t(c,2,1,r,c)]). % Brady #d macro(2)
monster(9, [t(a,0,1,r,b),t(a,1,2,r,a),t(a,2,2,r,c),t(b,0,1,l,c),t(b,1,1,r,z),t(b,2,1,l,a),t(c,0,1,r,a),t(c,1,2,l,b),t(c,2,1,l,c)]). % Souris #a macro(2)
monster(10,[t(a,0,1,r,b),t(a,1,1,l,b),t(a,2,2,l,a),t(b,0,1,l,a),t(b,1,1,r,c),t(b,2,1,r,z),t(c,0,0,l,a),t(c,1,2,r,c),t(c,2,1,l,c)]). % Souris #b macro(2)
monster(11,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(b,0,1,l,c),t(b,1,1,l,a),t(b,2,2,r,c),t(c,0,1,l,z),t(c,1,1,l,a),t(c,2,2,r,b)]). % Lafitte and Papazian #a  macro(2)
monster(12,[t(a,0,1,r,b),t(a,1,1,r,z),t(a,2,2,r,b),t(b,0,1,l,c),t(b,1,0,l,b),t(b,2,1,r,a),t(c,0,1,r,a),t(c,1,2,l,c),t(c,2,1,r,c)]). % Lafitte and Papazian #b macro(2)
monster(13,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(b,0,1,l,b),t(b,1,1,l,a),t(b,2,2,r,c),t(c,0,1,r,z),t(c,1,1,l,c),t(c,2,2,r,b)]). % Laitte and Papazian #c macro(2)
monster(14,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(b,0,1,r,c),t(b,1,2,r,b),t(b,2,0,r,c),t(c,0,1,l,a),t(c,1,1,r,z),t(c,2,1,l,a)]). % Lafitte and Papazian #d macro(2)
monster(15,[t(a,0,1,r,b),t(a,1,2,l,z),t(a,2,2,l,c),t(b,0,1,l,c),t(b,1,2,r,b),t(b,2,1,l,b),t(c,0,1,l,a),t(c,1,2,r,c),t(c,2,2,l,a)]). % Lafitte and Papazian #e macro(2)
monster(16,[t(a,0,1,r,b),t(a,1,2,r,c),t(a,2,1,l,a),t(b,0,2,l,a),t(b,1,1,r,b),t(b,2,1,r,z),t(c,0,2,r,b),t(c,1,2,r,a),t(c,2,1,l,c)]). % Ligockis 3x3 #a macro(2) 4 work
monster(17,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,l,c),t(b,0,0,l,a),t(b,1,2,r,b),t(b,2,1,l,b),t(c,0,1,r,z),t(c,1,1,r,a),t(c,2,1,r,c)]). % Ligockis 3x3 #b macro(2) 1 work
monster(18,[t(a,0,1,r,b),t(a,1,1,l,c),t(b,0,1,r,c),t(b,1,1,r,b),t(c,0,1,r,d),t(c,1,0,l,e),t(d,0,1,l,a),t(d,1,1,l,d),t(e,0,1,r,z),t(e,1,0,l,a)]).
monster(19,[t(a,0,1,r,b),t(a,1,1,r,a),t(b,0,1,l,c),t(b,1,1,l,b),t(c,0,1,r,a),t(c,1,1,l,d),t(d,0,1,r,a),t(d,1,1,l,e),t(e,0,1,r,z),t(e,1,0,l,c)]).
monster(20,[t(a,0,1,r,b),t(a,1,0,l,d),t(b,0,1,l,c),t(b,1,1,r,d),t(c,0,1,l,a),t(c,1,1,l,c),t(d,0,1,r,z),t(d,1,1,r,e),t(e,0,1,r,a),t(e,1,0,r,b)]).
monster(21,[t(a,0,1,r,b),t(a,1,1,r,a),t(b,0,1,l,c),t(b,1,1,r,d),t(c,0,1,l,a),t(c,1,1,l,c),t(d,0,1,r,z),t(d,1,0,r,e),t(e,0,1,l,c),t(e,1,1,r,b)]).
monster(22,[t(a,0,1,r,b),t(a,1,1,r,a),t(b,0,1,l,c),t(b,1,0,r,d),t(c,0,1,l,a),t(c,1,1,l,c),t(d,0,1,r,z),t(d,1,1,r,e),t(e,0,0,l,e),t(e,1,1,r,b)]).
monster(23,[t(a,0,1,r,b),t(a,1,1,r,a),t(b,0,1,l,c),t(b,1,0,r,d),t(c,0,1,l,a),t(c,1,1,l,c),t(d,0,1,r,z),t(d,1,1,r,e),t(e,0,1,l,c),t(e,1,1,r,b)]).
monster(24,[t(a,0,1,r,b),t(a,1,1,l,c),t(b,0,0,l,a),t(b,1,0,l,d),t(c,0,1,l,a),t(c,1,1,r,z),t(d,0,1,l,b),t(d,1,1,r,e),t(e,0,0,r,d),t(e,1,0,r,b)]).
monster(25,[t(a,0,1,r,b),t(a,1,1,r,d),t(b,0,1,l,c),t(b,1,0,l,e),t(c,0,0,r,a),t(c,1,0,l,b),t(d,0,1,r,e),t(d,1,1,r,z),t(e,0,1,l,c),t(e,1,1,r,c)]).
monster(26,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,r,c),t(b,1,1,r,d),t(c,0,1,l,a),t(c,1,0,r,b),t(d,0,0,r,e),t(d,1,1,r,z),t(e,0,1,l,c),t(e,1,1,r,a)]).
monster(27,[t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,1,l,b),t(a,3,1,r,a),t(a,4,3,r,a),t(b,0,2,l,b),t(b,1,3,l,a),t(b,2,3,r,a),t(b,3,4,r,b),t(b,4,1,r,z)]). % Lafitte and Papazian #a macro(1) !! but macro(2) is close
monster(28,[t(a,0,1,r,b),t(a,1,2,r,b),t(a,2,3,l,a),t(a,3,2,r,a),t(a,4,3,r,a),t(b,0,2,l,b),t(b,1,2,l,a),t(b,2,1,l,a),t(b,3,4,r,b),t(b,4,1,r,z)]). % Lafitte and Papazian #b macro(2) but macro(1) is close
monster(29,[t(a,0,1,r,b),t(a,1,2,r,b),t(a,2,3,r,b),t(a,3,4,l,a),t(a,4,3,r,a),t(b,0,0,l,a),t(b,1,4,r,b),t(b,2,1,r,z),t(b,3,0,r,b),t(b,4,1,l,b)]). % Lafitte and Papazian #c macro(2)
monster(30,[t(a,0,1,r,b),t(a,1,3,r,b),t(a,2,3,r,b),t(a,3,1,l,a),t(a,4,3,l,b),t(b,0,2,l,a),t(b,1,3,r,a),t(b,2,4,l,b),t(b,3,2,r,a),t(b,4,1,r,z)]). % Lafitte and Papazian #d macro(2), but it is hard work
monster(31,[t(a,0,1,r,b),t(a,1,2,r,b),t(a,2,3,l,a),t(a,3,2,r,a),t(a,4,3,r,a),t(b,0,2,l,b),t(b,1,2,l,a),t(b,2,3,l,a),t(b,3,4,r,b),t(b,4,1,r,z)]). % Lafitte and Papazian #e macro(1) (!!)
monster(32,[t(a,0,1,r,b),t(a,1,3,l,b),t(a,2,1,r,z),t(a,3,1,l,a),t(a,4,1,l,a),t(b,0,2,l,a),t(b,1,3,r,b),t(b,2,4,l,b),t(b,3,4,l,b),t(b,4,3,r,a)]). % Lafitte and Papazian #f macro(1) with macro(2) close
monster(33,[t(a,0,1,r,b),t(a,1,3,r,a),t(a,2,1,l,a),t(a,3,1,l,b),t(a,4,3,l,b),t(b,0,2,l,a),t(b,1,4,l,b),t(b,2,3,r,a),t(b,3,2,r,b),t(b,4,1,r,z)]). % Lafitte and Papazian #g macro(1) (!!)
monster(34,[t(a,0,1,r,b),t(a,1,3,r,a),t(a,2,4,l,b),t(a,3,2,r,a),t(a,4,3,l,a),t(b,0,2,l,a),t(b,1,2,l,z),t(b,2,4,r,b),t(b,3,4,r,b),t(b,4,2,l,b)]). % Lafitte and Papazian #h macro(1) (!!)
monster(35,[t(a,0,1,r,b),t(a,1,3,l,b),t(a,2,4,l,b),t(a,3,4,l,a),t(a,4,2,r,a),t(b,0,2,l,a),t(b,1,4,l,z),t(b,2,3,r,b),t(b,3,4,r,a),t(b,4,3,r,b)]). % Lafitte and Papazian #i macro(1)(!!) with macro(2) close
monster(36,[t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,1,l,a),t(a,3,4,l,a),t(a,4,1,r,a),t(b,0,2,l,b),t(b,1,2,r,a),t(b,2,1,r,z),t(b,3,0,r,a),t(b,4,0,r,b)]). % Lafitte and Papazian #j weird and has multiple regressors macro(3), macro(6), ...
monster(37,[t(a,0,4,l,b),t(a,1,1,r,z),t(a,2,2,r,a),t(a,3,0,l,b),t(a,4,3,l,b),t(b,0,2,r,a),t(b,1,3,l,b),t(b,2,3,r,b),t(b,3,2,l,b),t(b,4,1,l,b)]). % Ligockis #a rework? macro(2), but 3 and 4 work
monster(38,[t(a,0,4,r,b),t(a,1,2,l,a),t(a,2,4,l,a),t(a,3,4,r,a),t(a,4,3,l,a),t(b,0,1,l,a),t(b,1,4,l,a),t(b,2,4,r,a),t(b,3,3,r,b),t(b,4,3,r,z)]). % Ligockis #b rework? macro(2) but 1,2,3,5,6 work
monster(39,[t(a,0,1,r,b),t(a,1,4,l,a),t(a,2,1,l,a),t(a,3,2,l,a),t(a,4,1,r,a),t(b,0,3,l,a),t(b,1,1,r,z),t(b,2,1,r,a),t(b,3,2,r,a),t(b,4,4,r,b)]). % Ligockis #c macro(2), but 1,3,4 work
monster(40,[t(a,0,1,r,b),t(a,1,2,r,a),t(a,2,1,l,a),t(a,3,1,l,b),t(a,4,3,l,b),t(b,0,2,l,a),t(b,1,3,r,b),t(b,2,1,r,z),t(b,3,4,r,a),t(b,4,1,l,a)]). % Ligockis #d macro(2) but others work
monster(41,[t(a,0,1,r,b),t(a,1,2,r,a),t(a,2,1,l,a),t(a,3,3,l,a),t(a,4,2,r,a),t(b,0,2,l,a),t(b,1,3,r,b),t(b,2,4,l,a),t(b,3,1,l,b),t(b,4,1,r,z)]). % Ligockis #e macro(1) but others work
monster(42,[t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,1,l,a),t(a,3,0,l,b),t(a,4,1,r,a),t(b,0,2,l,a),t(b,1,4,l,b),t(b,2,4,l,a),t(b,3,1,r,a),t(b,4,1,r,z)]). % Ligockis #f macro(1) but others work
monster(43,[t(a,0,1,r,b),t(a,1,1,r,z),t(a,2,4,l,a),t(a,3,4,l,b),t(a,4,2,r,a),t(b,0,2,l,b),t(b,1,2,r,b),t(b,2,3,r,b),t(b,3,2,r,a),t(b,4,0,r,b)]). % Ligockis #g macro(1) but others work
monster(44,[t(a,0,1,r,b),t(a,1,3,r,b),t(a,2,3,r,a),t(a,3,1,r,z),t(a,4,2,l,b),t(b,0,2,l,a),t(b,1,4,r,a),t(b,2,4,r,b),t(b,3,2,l,b),t(b,4,0,r,a)]). % Ligockis #h macro(1) but others work
monster(45,[t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,3,l,b),t(a,3,0,l,b),t(a,4,1,r,a),t(b,0,2,l,a),t(b,1,4,l,b),t(b,2,4,l,a),t(b,3,1,r,a),t(b,4,1,r,z)]). % Ligockis #i macro(1) but others work
monster(46,[t(a,0,1,r,b),t(a,1,0,r,b),t(a,2,4,r,a),t(a,3,2,l,b),t(a,4,2,l,a),t(b,0,2,l,a),t(b,1,1,l,b),t(b,2,3,r,b),t(b,3,4,r,a),t(b,4,1,r,z)]). % Ligockis #j macro(1) but others work
monster(47,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,4,r,a),t(a,3,1,l,b),t(a,4,2,l,a),t(b,0,0,l,a),t(b,1,2,r,b),t(b,2,3,r,b),t(b,3,2,r,a),t(b,4,1,r,z)]). % Ligockis #k macro(2) 1,3,4 work
monster(48,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,4,r,a),t(a,3,2,l,b),t(a,4,2,l,a),t(b,0,0,l,a),t(b,1,2,r,b),t(b,2,3,r,b),t(b,3,4,r,a),t(b,4,1,r,z)]). % Ligockis #l macro(2) 1,4 work
monster(49,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,4,r,a),t(a,3,2,l,b),t(a,4,2,l,a),t(b,0,0,l,a),t(b,1,2,r,b),t(b,2,3,r,b),t(b,3,1,r,a),t(b,4,1,r,z)]). % Ligockis #m macro(2) 1,4 work
monster(50,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,a),t(a,3,2,l,b),t(a,4,2,l,a),t(b,0,0,l,a),t(b,1,2,r,b),t(b,2,3,r,b),t(b,3,4,r,a),t(b,4,1,r,z)]). % Ligockis #n macro(2) 1 works 
monster(51,[t(a,0,1,r,b),t(a,1,1,r,a),t(b,0,1,l,c),t(b,1,1,l,b),t(c,0,0,l,f),t(c,1,1,l,d),t(d,0,1,r,a),t(d,1,0,l,e),t(e,0,0,r,a),t(e,1,1,l,c),t(f,0,1,r,e),t(f,1,1,r,z)]). % macro(3)
monster(52,[t(a,0,1,r,b),t(a,1,1,r,a),t(b,0,1,l,c),t(b,1,1,l,b),t(c,0,0,r,f),t(c,1,1,l,d),t(d,0,1,r,a),t(d,1,0,l,e),t(e,0,1,l,z),t(e,1,1,l,f),t(f,0,0,l,a),t(f,1,0,l,c)]). % macro(4)
monster(53,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,0,r,a),t(c,0,0,l,d),t(c,1,1,r,z),t(d,0,1,r,e),t(d,1,1,l,d),t(e,0,0,l,f),t(e,1,0,l,e),t(f,0,1,r,f),t(f,1,0,l,b)]). % macro(3)
monster(54,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,0,r,e),t(c,0,1,l,d),t(c,1,0,l,f),t(d,0,0,l,b),t(d,1,1,l,c),t(e,0,1,r,b),t(e,1,1,r,a),t(f,0,1,r,b),t(f,1,1,r,z)]).  % macro(4)
monster(55,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,0,r,e),t(c,0,1,l,d),t(c,1,1,l,f),t(d,0,0,l,b),t(d,1,1,l,c),t(e,0,1,r,b),t(e,1,1,r,a),t(f,0,0,l,c),t(f,1,1,r,z)]). % macro(4)
monster(56,[t(a,0,1,r,b),t(a,1,0,l,b),t(b,0,1,l,a),t(b,1,1,l,c),t(c,0,1,l,b),t(c,1,0,r,d),t(d,0,1,r,z),t(d,1,1,r,e),t(e,0,1,r,f),t(e,1,0,r,a),t(f,0,0,r,c),t(f,1,1,l,c)]). % ?? Correct when all otters only go to non-zero case ... faster with macro(2) than with macro(4)
monster(57,[t(a,0,1,r,b),t(a,1,1,l,c),t(b,0,0,l,a),t(b,1,0,l,d),t(c,0,1,l,a),t(c,1,1,r,z),t(d,0,1,l,b),t(d,1,1,r,e),t(e,0,0,r,d),t(e,1,0,r,f),t(f,0,0,r,d),t(f,1,0,l,d)]). % macro(4)
monster(58,[t(a,0,1,r,b),t(a,1,1,l,c),t(b,0,0,l,a),t(b,1,0,l,d),t(c,0,1,l,a),t(c,1,1,r,z),t(d,0,1,l,b),t(d,1,1,r,e),t(e,0,0,r,d),t(e,1,0,r,f),t(f,0,0,r,f),t(f,1,0,l,d)]). % macro(4)
monster(59,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,d),t(c,0,1,r,d),t(c,1,1,l,c),t(d,0,1,r,e),t(d,1,1,l,f),t(e,0,0,r,a),t(e,1,1,r,b),t(f,0,1,r,z),t(f,1,0,l,d)]). % macro(4)
monster(60,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,d),t(c,0,0,l,b),t(c,1,0,l,e),t(d,0,1,r,a),t(d,1,0,r,b),t(e,0,1,l,f),t(e,1,1,l,c),t(f,0,0,l,a),t(f,1,1,r,z)]). % macro(4)
monster(61,[t(a,0,1,r,b),t(a,1,0,r,c),t(b,0,0,l,a),t(b,1,0,r,d),t(c,0,1,r,d),t(c,1,1,r,z),t(d,0,1,l,e),t(d,1,0,l,d),t(e,0,1,r,f),t(e,1,1,l,b),t(f,0,1,r,a),t(f,1,1,r,e)]). % macro(4)
monster(62,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,d),t(c,0,0,l,b),t(c,1,0,l,e),t(d,0,1,r,a),t(d,1,0,r,b),t(e,0,1,l,f),t(e,1,1,l,c),t(f,0,1,r,d),t(f,1,1,r,z)]). % macro(4)
monster(63,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,d),t(c,0,1,r,a),t(c,1,0,l,e),t(d,0,1,r,a),t(d,1,0,r,b),t(e,0,1,l,f),t(e,1,1,l,c),t(f,0,1,r,d),t(f,1,1,r,z)]). % macro(4)
monster(64,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,l,d),t(c,0,1,r,d),t(c,1,0,r,c),t(d,0,0,l,b),t(d,1,0,r,e),t(e,0,1,r,c),t(e,1,1,l,f),t(f,0,1,l,e),t(f,1,1,r,z)]). % macro(4)
monster(65,[t(a,0,1,r,b),t(a,1,0,l,c),t(b,0,1,l,a),t(b,1,1,r,c),t(c,0,1,r,a),t(c,1,0,l,d),t(d,0,1,l,e),t(d,1,1,l,c),t(e,0,1,r,f),t(e,1,1,r,z),t(f,0,1,r,a),t(f,1,1,r,e)]). % macro(4)
monster(66,[t(a,0,1,r,b),t(a,1,0,l,b),t(b,0,1,l,c),t(b,1,0,r,e),t(c,0,1,r,e),t(c,1,0,l,d),t(d,0,1,l,a),t(d,1,1,l,a),t(e,0,0,r,a),t(e,1,0,r,f),t(f,0,1,r,e),t(f,1,1,r,z)]). % macro(4) about 24 seconds down to 8 seconds with history at 100
monster(67,[t(a,0,1,r,b),t(a,1,0,l,b),t(b,0,0,r,c),t(b,1,1,l,b),t(c,0,1,r,d),t(c,1,0,l,a),t(d,0,1,l,e),t(d,1,1,l,f),t(e,0,1,l,a),t(e,1,0,l,d),t(f,0,1,r,z),t(f,1,1,l,e)]). % this one is a prick! Terminates with macro(3)!! In about 440 seconds at home Seems much quicker with 3 than 6 finds a lot more otters with history at 1000, but much faster with history at 100. macro(3) history 100 takes about 136 seconds at work improves greatly with history at 300 rather than 120
monster(68,[t(a,0,1,r,b),t(a,1,0,l,f),t(b,0,0,r,c),t(b,1,0,r,d),t(c,0,1,l,d),t(c,1,1,r,e),t(d,0,0,l,e),t(d,1,0,l,d),t(e,0,0,r,a),t(e,1,1,r,c),t(f,0,1,l,a),t(f,1,1,r,z)]). % macro(6) in about 163 seconds at work with non-zero otter macro(2) in about 125 seconds macro(4) in about 170 seconds
% marxens machine #r
monster(69,[t(a,0,1,r,b),t(a,1,0,r,f),t(b,0,0,l,b),t(b,1,1,l,c),t(c,0,1,l,d),t(c,1,0,r,c),t(d,0,1,l,e),t(d,1,1,r,z),t(e,0,1,l,f),t(e,1,0,l,d),t(f,0,1,r,a),t(f,1,0,l,e)]). % Logicki #a  macro(6) in about 87 seconds at work. Values are my answers
monster(70,[t(a,0,1,r,b),t(a,1,0,l,e),t(b,0,1,l,c),t(b,1,0,r,a),t(c,0,1,l,d),t(c,1,0,r,c),t(d,0,1,l,e),t(d,1,0,l,f),t(e,0,1,l,a),t(e,1,1,l,c),t(f,0,1,l,e),t(f,1,1,r,z)]). % Logicki #b macro(4) in about 280 seconds. Values are my answers
monster(71,[t(a,0,1,r,b),t(a,1,0,l,d),t(b,0,1,r,c),t(b,1,0,r,f),t(c,0,1,l,c),t(c,1,1,l,a),t(d,0,0,l,e),t(d,1,1,r,z),t(e,0,1,l,a),t(e,1,0,r,b),t(f,0,0,r,c),t(f,1,0,r,e)]). % Kropitz #a  macro(?) in about 2616 seconds at work
monster(72,[t(a,0,1,r,b),t(a,1,1,l,e),t(b,0,1,r,c),t(b,1,1,r,f),t(c,0,1,l,d),t(c,1,0,r,b),t(d,0,1,r,e),t(d,1,0,l,c),t(e,0,1,l,a),t(e,1,0,r,d),t(f,0,1,r,z),t(f,1,1,r,c)]). % Kropitz macro(6) in about 890 seconds at work 
monster(73,[t(a,0,1,r,b),t(a,1,2,l,c),t(a,2,0,l,c),t(a,3,0,r,a),t(b,0,3,l,c),t(b,1,2,r,c),t(b,2,1,l,b),t(b,3,0,r,c),t(c,0,1,r,a),t(c,1,0,l,b),t(c,2,1,r,z),t(c,3,0,r,b)]). % Ligockis 3x4 #a may need adaptive compression for this one ... 
monster(74,[t(a,0,1,r,b),t(a,1,1,l,a),t(a,2,1,l,b),t(a,3,1,r,a),t(b,0,0,l,a),t(b,1,2,r,b),t(b,2,2,l,c),t(b,3,1,r,z),t(c,0,3,r,b),t(c,1,2,l,b),t(c,2,1,r,c),t(c,3,0,r,c)]). % Ligockis 3x4 #b macro(1)
monster(75,[t(a,0,1,r,b),t(a,1,3,r,b),t(a,2,2,l,c),t(a,3,3,l,a),t(b,0,0,r,c),t(b,1,1,r,z),t(b,2,2,r,c),t(b,3,1,l,b),t(c,0,1,l,b),t(c,1,2,l,a),t(c,2,3,r,c),t(c,3,2,l,c)]). % Ligockis 3x4 #c macro(2) history 150
monster(76,[t(a,0,1,r,b),t(a,1,0,r,b),t(a,2,3,l,c),t(a,3,1,r,c),t(b,0,0,r,c),t(b,1,1,r,z),t(b,2,2,r,c),t(b,3,3,r,c),t(c,0,1,l,b),t(c,1,2,l,a),t(c,2,3,l,a),t(c,3,2,r,b)]). % Ligockis 3x4 #d
monster(77,[t(a,0,1,r,b),t(a,1,3,l,a),t(a,2,3,r,c),t(a,3,1,r,a),t(b,0,2,r,c),t(b,1,1,l,a),t(b,2,1,r,z),t(b,3,2,r,b),t(c,0,1,l,c),t(c,1,1,r,b),t(c,2,1,l,b),t(c,3,2,r,a)]). % Ligockis 3x4 #e massive
monster(78,[t(a,0,1,r,b),t(a,1,1,l,a),t(a,2,3,l,a),t(a,3,3,r,c),t(b,0,2,l,c),t(b,1,2,l,b),t(b,2,1,r,b),t(b,3,1,r,a),t(c,0,2,l,a),t(c,1,3,l,c),t(c,2,1,r,z),t(c,3,1,l,b)]). % Ligockis 3x4 #f massive
monster(79,[t(a,0,1,r,b),t(a,1,2,l,b),t(a,2,2,r,a),t(a,3,1,l,a),t(b,0,2,l,a),t(b,1,1,r,c),t(b,2,0,l,b),t(b,3,2,r,a),t(c,0,1,r,b),t(c,1,3,l,c),t(c,2,1,l,a),t(c,3,1,r,z)]). % Ligockis 3x4 #g massive
monster(80,[t(a,0,1,r,b),t(a,1,1,r,a),t(a,2,1,l,b),t(a,3,1,r,c),t(b,0,2,l,a),t(b,1,0,l,b),t(b,2,3,l,c),t(b,3,1,r,z),t(c,0,1,l,b),t(c,1,0,r,c),t(c,2,2,r,a),t(c,3,2,r,c)]). % Ligockis 3x4 #h massive
monster(81,[t(a,0,1,r,b),t(a,1,1,r,a),t(a,2,2,l,b),t(a,3,3,l,a),t(b,0,2,l,a),t(b,1,0,l,b),t(b,2,1,l,c),t(b,3,1,l,b),t(c,0,3,r,b),t(c,1,3,r,c),t(c,2,1,r,z),t(c,3,1,l,c)]). % Ligockis 3x4 #i massive
monster(82,[t(a,0,1,l,b),t(a,1,1,r,c),t(a,2,1,r,d),t(b,0,0,r,a),t(b,1,1,l,d),t(b,2,2,r,z),t(c,0,1,r,a),t(c,1,2,l,c),t(c,2,1,r,c),t(d,0,1,l,b),t(d,1,1,l,c),t(d,2,2,r,a)]). % Ligockis 4x3 #a reworked by me. This will have one less transition ... 
monster(83,[t(a,0,1,r,b),t(a,1,0,l,c),t(a,2,1,r,z),t(b,0,2,l,c),t(b,1,1,r,d),t(b,2,0,l,b),t(c,0,2,l,a),t(c,1,1,l,c),t(c,2,1,l,a),t(d,0,1,r,b),t(d,1,2,l,d),t(d,2,2,r,a)]). % Ligockis 4x3 #b massive
monster(84,[t(a,0,1,r,b),t(a,1,2,r,c),t(a,2,1,r,a),t(b,0,2,l,c),t(b,1,1,l,a),t(b,2,1,l,b),t(c,0,2,l,d),t(c,1,0,l,b),t(c,2,0,r,c),t(d,0,0,r,d),t(d,1,1,r,z),t(d,2,0,r,a)]). % Ligockis 4x3 #c massive
monster(85,[t(a,0,1,r,b),t(a,1,1,r,a),t(a,2,0,l,b),t(b,0,2,l,c),t(b,1,1,l,b),t(b,2,1,r,c),t(c,0,0,r,d),t(c,1,2,l,c),t(c,2,1,r,a),t(d,0,2,r,a),t(d,1,1,r,z),t(d,2,1,r,c)]). % Ligockis 4x3 #d massive
monster(86,[t(a,0,1,r,b),t(a,1,1,l,a),t(a,2,1,r,d),t(b,0,2,l,c),t(b,1,0,r,a),t(b,2,1,l,b),t(c,0,2,l,a),t(c,1,0,l,b),t(c,2,0,r,d),t(d,0,2,r,c),t(d,1,1,r,z),t(d,2,0,l,c)]). % Ligockis 4x3 #e massive
monster(87,[t(a,0,1,r,b),t(a,1,2,l,d),t(a,2,1,r,z),t(b,0,2,l,c),t(b,1,2,r,c),t(b,2,2,r,b),t(c,0,1,l,d),t(c,1,0,r,c),t(c,2,1,r,c),t(d,0,2,l,a),t(d,1,2,l,d),t(d,2,0,l,b)]). % Ligockis 4x3 #f massive
monster(88,[t(a,0,1,r,b),t(a,1,1,l,d),t(a,2,1,r,z),t(b,0,1,r,c),t(b,1,2,l,b),t(b,2,2,l,d),t(c,0,1,l,c),t(c,1,2,r,a),t(c,2,0,r,d),t(d,0,1,r,c),t(d,1,1,l,a),t(d,2,0,l,a)]). % Ligockis 4x3 #g massive
monster(89,[t(a,0,1,r,b),t(a,1,0,l,b),t(a,2,1,r,d),t(b,0,2,r,c),t(b,1,2,l,a),t(b,2,0,l,a),t(c,0,1,l,b),t(c,1,0,l,a),t(c,2,0,l,a),t(d,0,1,r,a),t(d,1,0,r,a),t(d,2,1,r,z)]). % Ligockis 4x3 #h massive
monster(90,[t(a,0,1,r,b),t(a,1,1,r,z),t(a,2,2,r,c),t(b,0,2,l,c),t(b,1,2,r,d),t(b,2,0,l,c),t(c,0,1,r,a),t(c,1,2,r,b),t(c,2,0,l,b),t(d,0,1,l,b),t(d,1,0,l,d),t(d,2,2,r,c)]). % Ligockis 4x3 #i massive
monster(91,[t(a,0,1,r,b),t(a,1,0,r,b),t(a,2,1,l,d),t(b,0,2,l,c),t(b,1,0,r,a),t(b,2,1,l,a),t(c,0,2,l,a),t(c,1,1,l,b),t(c,2,1,r,z),t(d,0,2,r,a),t(d,1,1,l,b),t(d,2,0,r,d)]). % Ligockis 4x3 #i reworked by me to avoid getting a blank tape after a few steps. This has 5 fewer steps (!!) then the other one. 
monster(92,[t(a,0,5,r,b),t(a,1,5,r,a),t(a,2,3,r,z),t(a,3,1,r,b),t(a,4,3,l,a),t(a,5,1,l,a),t(b,0,4,l,b),t(b,1,1,r,b),t(b,2,4,r,z),t(b,3,2,r,a),t(b,4,5,l,b),t(b,5,5,l,a)]). % Ligockis 2x6 #a macro(1)
monster(93,[t(a,0,4,r,b),t(a,1,4,r,a),t(a,2,4,r,a),t(a,3,1,l,a),t(a,4,1,l,a),t(a,5,1,l,b),t(b,0,4,l,b),t(b,1,2,r,b),t(b,2,5,l,b),t(b,3,3,r,a),t(b,4,3,l,a),t(b,5,1,r,z)]). % Ligockis 2x6 #b macro(1) 2,3,4 work
monster(94,[t(a,0,1,r,b),t(a,1,4,l,a),t(a,2,1,r,a),t(a,3,5,l,b),t(a,4,1,r,a),t(a,5,3,l,b),t(b,0,1,l,b),t(b,1,1,l,a),t(b,2,5,l,a),t(b,3,2,l,a),t(b,4,2,r,b),t(b,5,1,r,z)]). % Ligockis 2x6 #c macro(2), 1,3,4 work
monster(95,[t(a,0,1,r,b),t(a,1,0,r,b),t(a,2,3,l,a),t(a,3,5,l,a),t(a,4,1,r,z),t(a,5,4,l,b),t(b,0,1,l,a),t(b,1,2,r,b),t(b,2,3,l,a),t(b,3,4,l,b),t(b,4,3,r,b),t(b,5,3,r,a)]). % Ligockis 2x6 #d macro(1) 2,4 work
monster(96,[t(a,0,1,r,b),t(a,1,2,l,b),t(a,2,4,r,b),t(a,3,1,l,a),t(a,4,1,r,b),t(a,5,1,r,z),t(b,0,1,l,a),t(b,1,3,r,a),t(b,2,5,r,a),t(b,3,4,l,b),t(b,4,0,r,a),t(b,5,4,l,a)]). % Ligockis 2x6 #e massive
monster(97,[t(a,0,1,r,b),t(a,1,1,l,b),t(a,2,3,r,a),t(a,3,4,l,a),t(a,4,2,l,a),t(a,5,4,l,b),t(b,0,2,l,a),t(b,1,2,r,b),t(b,2,3,l,b),t(b,3,1,l,a),t(b,4,5,r,a),t(b,5,1,r,z)]). % Ligockis 2x6 #f massive
monster(98,[t(a,0,1,r,b),t(a,1,2,l,a),t(a,2,1,r,z),t(a,3,5,l,b),t(a,4,5,l,a),t(a,5,4,l,b),t(b,0,1,l,a),t(b,1,4,r,b),t(b,2,3,r,b),t(b,3,5,l,b),t(b,4,1,l,b),t(b,5,4,r,a)]). % Ligockis 2x6 #g massive
% monster(99, [t(a,0,1,l,d),t(a,1,1,l,b),t(b,0,1,l,z),t(b,1,1,l,a),t(c,0,0,l,b),t(c,1,1,l,d),t(d,0,0,l,e),t(d,1,0,l,d),t(e,0,1,l,f),t(e,1,1,r,c),t(f,0,0,l,g),t(f,1,0,l,f),t(g,0,1,r,g),t(g,1,1,r,e)]). % Green 7x2 from 1964 paper
monster(99, [t(a,0,1,r,b),t(a,1,1,r,d),t(b,0,0,r,e),t(b,1,0,r,b),t(c,0,0,r,d),t(c,1,1,r,b),t(d,0,1,r,z),t(d,1,1,r,a),t(e,0,1,r,f),t(e,1,1,l,c),t(f,0,0,r,g),t(f,1,0,r,f),t(g,0,1,l,g),t(g,1,1,l,e)]). % Green 7x2 from 1964 paper reworked by me.
% monster(100, [t(a,0,1,l,b),t(a,1,1,r,z),t(b,0,0,l,c),t(b,1,1,l,c),t(c,0,0,l,d),t(c,1,0,l,c),t(d,0,1,l,e),t(d,1,1,r,a),t(e,0,0,l,f),t(e,1,0,l,e),t(f,0,1,l,g),t(f,1,1,r,d),t(g,0,0,l,h),t(g,1,0,l,g),t(h,0,1,r,h),t(h,1,1,r,f)]). % Green 8x2 from 1964 paper
monster(100, [t(a,0,1,r,b),t(a,1,1,r,z),t(b,0,0,r,c),t(b,1,1,r,c),t(c,0,0,r,d),t(c,1,0,r,c),t(d,0,1,r,e),t(d,1,1,l,a),t(e,0,0,r,f),t(e,1,0,r,e),t(f,0,1,r,g),t(f,1,1,l,d),t(g,0,0,r,h),t(g,1,0,r,g),t(h,0,1,l,h),t(h,1,1,l,f)]). % Green 8x2 from 1964 paper reworked by me

origin(1, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 2-state 4-symbol #a from P.Michel").
origin(2, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 2-state 4-symbol #b from P.Michel").
origin(3, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 2-state 4-symbol #c from P.Michel").
origin(4, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 2-state 4-symbol #a from Ligocki & Ligocki rewritten into normal form").
origin(5, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Brady #SB").
origin(6, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Brady #b").
origin(7, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Brady #c").
origin(8, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Brady #d").
origin(9, "http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Souris #a").
origin(10,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Souris #b").
origin(11,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte and Papazian #a").
origin(12,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte and Papazian #b").
origin(13,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte and Papazian #c").
origin(14,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte and Papazian #d").
origin(15,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte and Papazian #e").
origin(16,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #a").
origin(17,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #b").
origin(18,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 5-state record list #1").
origin(19,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 5-state record list #2").
origin(20,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 5-state record list #3").
origin(21,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 5-state record list #4").
origin(22,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 5-state record list #5").
origin(23,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 5-state record list #6").
origin(24,"http://www.logique.jussieu.fr/~michel/ha.html#tm52", " Uhing").
origin(25,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " 5-state record list #7").
origin(26,"http://www.logique.jussieu.fr/~michel/ha.html#tm52", " Schult").
origin(27,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #a").
origin(28,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #b").
origin(29,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #c").
origin(30,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #d").
origin(31,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #e").
origin(32,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #f").
origin(33,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #g").
origin(34,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #h").
origin(35,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #i").
origin(36,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Lafitte & Papazian #j").
origin(37,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #a").
origin(38,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #b").
origin(39,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #c").
origin(40,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #d").
origin(41,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #e").
origin(42,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #f").
origin(43,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #g").
origin(44,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #h").
origin(45,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #i").
origin(46,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #j").
origin(47,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #k").
origin(48,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #l").
origin(49,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #m").
origin(50,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #n").
origin(51,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " old 6-state list #1").
origin(52,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " old 6-state list #2").
origin(53,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #a").
origin(54,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #b").
origin(55,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #c").
origin(56,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #d").
origin(57,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #e").
origin(58,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #g").
origin(59,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #i").
origin(60,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #j").
origin(61,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #k").
origin(62,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #l").
origin(63,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #m").
origin(64,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #n").
origin(65,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #o").
origin(66,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #p").
origin(67,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #r").
origin(68,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " new 6-state list #s").
origin(69,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #a").
origin(70,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #b").
origin(71,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Kropitz #a").
origin(72,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Kropitz #b").
origin(73,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #a").
origin(74,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #b").
origin(75,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #c").
origin(76,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #d").
origin(77,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #e").
origin(78,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #f").
origin(79,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #g").
origin(80,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #h").
origin(81,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #i").
origin(82,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #a reworked by me. Mine has one less transition").
origin(83,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #b").
origin(84,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #c").
origin(85,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #d").
origin(86,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #e").
origin(87,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #f").
origin(88,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #g").
origin(89,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #h").
origin(90,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #i").
origin(91,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #i reworked by me to avoid blank tape. Mine has 5 less transitions").
origin(92,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #a").
origin(93,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #b").
origin(94,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #c").
origin(95,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #d").
origin(96,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #e").
origin(97,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #f").
origin(98,"http://www.drb.insel.de/~heiner/BB/bbsimtab.html", " Ligocki & Ligocki #g").
origin(99, "http://dl.acm.org/citation.cfm?id=1449643", " Green, from 1964 paper").
origin(100,"http://dl.acm.org/citation.cfm?id=1449643", " Green, from 1964 paper").