Rule:StatesHunter

From LifeWiki
Jump to navigation Jump to search

@RULE StatesHunter @TABLE n_states:120 neighborhood:Moore symmetries:permute

  1. all states

var a = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119} var b = a var c = a var d = a var e = a var f = a var g = a var h = a

  1. states that are on

var i = {1,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51,53,55,57,59,61,63,65,67,69,71,73,75,77,79,81,83,85,87,89,91,93,95,97,99,101,103,105,107,109,111,113,115,117,119} var j = i var k = i var l = i var m = i var n = i var o = i var p = i

  1. killer states

var q = {5,6,15,17,27,29,41,43,50,52,54,56,57,58,60,62,64,66,68,70,71,72,74,76,85,87,99,101,113,115}

  1. egg states

var r = {4,9,13,21,25,35,36,38,40,42,44,46,48,49,55,63,69,77,83,91,97,105,106,108,110,111,112,114,116,118}

  1. on births

var s = {1,3,6,8,11,17,22,24,26,28,29,30,32,33,34,39,43,47,53,57,61,64,66,67,68,70,72,74,75,76,81,87,89,92,94,95,96,98,100,101,102,104,109,115,119} var t = s var u = s var v = s var w = s var x = s var y = s var z = s

  1. on survival

var A = {1,7,8,9,19,21,31,33,35,45,47,49,59,61,63,73,75,77,78,80,82,84,86,88,89,90,91,92,94,96,98,100,101,102,103,104,105,106,108,110,112,114,116,117,118,119} var B = A var C = A var D = A var E = A var F = A var G = A var H = A

  1. off births

var I = {0,2,5,7,10,12,14,15,16,18,19,20,23,27,31,37,41,45,50,51,52,54,56,58,59,60,62,65,71,73,78,79,80,82,84,85,86,88,90,93,99,103,107,113,117} var J = I var K = I var L = I var M = I var N = I var O = I var P = I

  1. off survival

var Q = {0,2,3,4,10,11,12,13,14,16,18,20,22,23,24,25,26,28,30,32,34,36,37,38,39,40,42,44,46,48,51,53,55,65,67,79,81,83,93,95,97,107,109,111} var R = Q var S = Q var T = Q var U = Q var V = Q var W = Q var X = Q

  1. override
  2. killer

1,a,b,c,d,e,f,g,q,0 11,a,b,c,d,e,f,g,q,10 13,a,b,c,d,e,f,g,q,12 15,a,b,c,d,e,f,g,q,14 17,a,b,c,d,e,f,g,q,16 19,a,b,c,d,e,f,g,q,18 21,a,b,c,d,e,f,g,q,20 23,a,b,c,d,e,f,g,q,22 25,a,b,c,d,e,f,g,q,24 27,a,b,c,d,e,f,g,q,26 29,a,b,c,d,e,f,g,q,28 31,a,b,c,d,e,f,g,q,30 33,a,b,c,d,e,f,g,q,32 35,a,b,c,d,e,f,g,q,34 37,a,b,c,d,e,f,g,q,36 39,a,b,c,d,e,f,g,q,38 41,a,b,c,d,e,f,g,q,40 43,a,b,c,d,e,f,g,q,42 45,a,b,c,d,e,f,g,q,44 47,a,b,c,d,e,f,g,q,46 49,a,b,c,d,e,f,g,q,48 51,a,b,c,d,e,f,g,q,50 53,a,b,c,d,e,f,g,q,52 55,a,b,c,d,e,f,g,q,54 57,a,b,c,d,e,f,g,q,56 59,a,b,c,d,e,f,g,q,58 61,a,b,c,d,e,f,g,q,60 63,a,b,c,d,e,f,g,q,62 65,a,b,c,d,e,f,g,q,64 67,a,b,c,d,e,f,g,q,66 69,a,b,c,d,e,f,g,q,68 71,a,b,c,d,e,f,g,q,70 73,a,b,c,d,e,f,g,q,72 75,a,b,c,d,e,f,g,q,74 77,a,b,c,d,e,f,g,q,76 79,a,b,c,d,e,f,g,q,78 81,a,b,c,d,e,f,g,q,80 83,a,b,c,d,e,f,g,q,82 85,a,b,c,d,e,f,g,q,84 87,a,b,c,d,e,f,g,q,86 89,a,b,c,d,e,f,g,q,88 91,a,b,c,d,e,f,g,q,90 93,a,b,c,d,e,f,g,q,92 95,a,b,c,d,e,f,g,q,94 97,a,b,c,d,e,f,g,q,96 99,a,b,c,d,e,f,g,q,98 101,a,b,c,d,e,f,g,q,100 103,a,b,c,d,e,f,g,q,102 105,a,b,c,d,e,f,g,q,104 107,a,b,c,d,e,f,g,q,106 109,a,b,c,d,e,f,g,q,108 111,a,b,c,d,e,f,g,q,110 113,a,b,c,d,e,f,g,q,112 115,a,b,c,d,e,f,g,q,114 117,a,b,c,d,e,f,g,q,116 119,a,b,c,d,e,f,g,q,118

  1. egg

0,r,a,b,c,d,e,f,g,1 10,r,a,b,c,d,e,f,g,11 12,r,a,b,c,d,e,f,g,13 14,r,a,b,c,d,e,f,g,15 16,r,a,b,c,d,e,f,g,17 18,r,a,b,c,d,e,f,g,19 20,r,a,b,c,d,e,f,g,21 22,r,a,b,c,d,e,f,g,23 24,r,a,b,c,d,e,f,g,25 26,r,a,b,c,d,e,f,g,27 28,r,a,b,c,d,e,f,g,29 30,r,a,b,c,d,e,f,g,31 32,r,a,b,c,d,e,f,g,33 34,r,a,b,c,d,e,f,g,35 36,r,a,b,c,d,e,f,g,37 38,r,a,b,c,d,e,f,g,39 40,r,a,b,c,d,e,f,g,41 42,r,a,b,c,d,e,f,g,43 44,r,a,b,c,d,e,f,g,45 46,r,a,b,c,d,e,f,g,47 48,r,a,b,c,d,e,f,g,49 50,r,a,b,c,d,e,f,g,51 52,r,a,b,c,d,e,f,g,53 54,r,a,b,c,d,e,f,g,55 56,r,a,b,c,d,e,f,g,57 58,r,a,b,c,d,e,f,g,59 60,r,a,b,c,d,e,f,g,61 62,r,a,b,c,d,e,f,g,63 64,r,a,b,c,d,e,f,g,65 66,r,a,b,c,d,e,f,g,67 68,r,a,b,c,d,e,f,g,69 70,r,a,b,c,d,e,f,g,71 72,r,a,b,c,d,e,f,g,73 74,r,a,b,c,d,e,f,g,75 76,r,a,b,c,d,e,f,g,77 78,r,a,b,c,d,e,f,g,79 80,r,a,b,c,d,e,f,g,81 82,r,a,b,c,d,e,f,g,83 84,r,a,b,c,d,e,f,g,85 86,r,a,b,c,d,e,f,g,87 88,r,a,b,c,d,e,f,g,89 90,r,a,b,c,d,e,f,g,91 92,r,a,b,c,d,e,f,g,93 94,r,a,b,c,d,e,f,g,95 96,r,a,b,c,d,e,f,g,97 98,r,a,b,c,d,e,f,g,99 100,r,a,b,c,d,e,f,g,101 102,r,a,b,c,d,e,f,g,103 104,r,a,b,c,d,e,f,g,105 106,r,a,b,c,d,e,f,g,107 108,r,a,b,c,d,e,f,g,109 110,r,a,b,c,d,e,f,g,111 112,r,a,b,c,d,e,f,g,113 114,r,a,b,c,d,e,f,g,115 116,r,a,b,c,d,e,f,g,117 118,r,a,b,c,d,e,f,g,119

  1. births

0,s,t,u,I,J,K,L,M,1 10,s,t,u,I,J,K,L,M,11 12,s,t,u,I,J,K,L,M,13 14,s,t,u,I,J,K,L,M,15 16,s,t,u,I,J,K,L,M,17 18,s,t,u,I,J,K,L,M,19 20,s,t,u,I,J,K,L,M,21 22,s,t,u,I,J,K,L,M,23 24,s,t,u,I,J,K,L,M,25 26,s,t,u,I,J,K,L,M,27 28,s,t,u,I,J,K,L,M,29 30,s,t,u,I,J,K,L,M,31 32,s,t,u,I,J,K,L,M,33 34,s,t,u,I,J,K,L,M,35 36,s,t,u,I,J,K,L,M,37 38,s,t,u,I,J,K,L,M,39 40,s,t,u,I,J,K,L,M,41 42,s,t,u,I,J,K,L,M,43 44,s,t,u,I,J,K,L,M,45 46,s,t,u,I,J,K,L,M,47 48,s,t,u,I,J,K,L,M,49 50,s,t,u,I,J,K,L,M,51 52,s,t,u,I,J,K,L,M,53 54,s,t,u,I,J,K,L,M,55 56,s,t,u,I,J,K,L,M,57 58,s,t,u,I,J,K,L,M,59 60,s,t,u,I,J,K,L,M,61 62,s,t,u,I,J,K,L,M,63 64,s,t,u,I,J,K,L,M,65 66,s,t,u,I,J,K,L,M,67 68,s,t,u,I,J,K,L,M,69 70,s,t,u,I,J,K,L,M,71 72,s,t,u,I,J,K,L,M,73 74,s,t,u,I,J,K,L,M,75 76,s,t,u,I,J,K,L,M,77 78,s,t,u,I,J,K,L,M,79 80,s,t,u,I,J,K,L,M,81 82,s,t,u,I,J,K,L,M,83 84,s,t,u,I,J,K,L,M,85 86,s,t,u,I,J,K,L,M,87 88,s,t,u,I,J,K,L,M,89 90,s,t,u,I,J,K,L,M,91 92,s,t,u,I,J,K,L,M,93 94,s,t,u,I,J,K,L,M,95 96,s,t,u,I,J,K,L,M,97 98,s,t,u,I,J,K,L,M,99 100,s,t,u,I,J,K,L,M,101 102,s,t,u,I,J,K,L,M,103 104,s,t,u,I,J,K,L,M,105 106,s,t,u,I,J,K,L,M,107 108,s,t,u,I,J,K,L,M,109 110,s,t,u,I,J,K,L,M,111 112,s,t,u,I,J,K,L,M,113 114,s,t,u,I,J,K,L,M,115 116,s,t,u,I,J,K,L,M,117 118,s,t,u,I,J,K,L,M,119


  1. default-like

i,A,B,Q,R,S,T,U,V,i i,A,B,C,Q,R,S,T,U,i

  1. defaults

1,a,b,c,d,e,f,g,h,0 11,a,b,c,d,e,f,g,h,10 13,a,b,c,d,e,f,g,h,12 15,a,b,c,d,e,f,g,h,14 17,a,b,c,d,e,f,g,h,16 19,a,b,c,d,e,f,g,h,18 21,a,b,c,d,e,f,g,h,20 23,a,b,c,d,e,f,g,h,22 25,a,b,c,d,e,f,g,h,24 27,a,b,c,d,e,f,g,h,26 29,a,b,c,d,e,f,g,h,28 31,a,b,c,d,e,f,g,h,30 33,a,b,c,d,e,f,g,h,32 35,a,b,c,d,e,f,g,h,34 37,a,b,c,d,e,f,g,h,36 39,a,b,c,d,e,f,g,h,38 41,a,b,c,d,e,f,g,h,40 43,a,b,c,d,e,f,g,h,42 45,a,b,c,d,e,f,g,h,44 47,a,b,c,d,e,f,g,h,46 49,a,b,c,d,e,f,g,h,48 51,a,b,c,d,e,f,g,h,50 53,a,b,c,d,e,f,g,h,52 55,a,b,c,d,e,f,g,h,54 57,a,b,c,d,e,f,g,h,56 59,a,b,c,d,e,f,g,h,58 61,a,b,c,d,e,f,g,h,60 63,a,b,c,d,e,f,g,h,62 65,a,b,c,d,e,f,g,h,64 67,a,b,c,d,e,f,g,h,66 69,a,b,c,d,e,f,g,h,68 71,a,b,c,d,e,f,g,h,70 73,a,b,c,d,e,f,g,h,72 75,a,b,c,d,e,f,g,h,74 77,a,b,c,d,e,f,g,h,76 79,a,b,c,d,e,f,g,h,78 81,a,b,c,d,e,f,g,h,80 83,a,b,c,d,e,f,g,h,82 85,a,b,c,d,e,f,g,h,84 87,a,b,c,d,e,f,g,h,86 89,a,b,c,d,e,f,g,h,88 91,a,b,c,d,e,f,g,h,90 93,a,b,c,d,e,f,g,h,92 95,a,b,c,d,e,f,g,h,94 97,a,b,c,d,e,f,g,h,96 99,a,b,c,d,e,f,g,h,98 101,a,b,c,d,e,f,g,h,100 103,a,b,c,d,e,f,g,h,102 105,a,b,c,d,e,f,g,h,104 107,a,b,c,d,e,f,g,h,106 109,a,b,c,d,e,f,g,h,108 111,a,b,c,d,e,f,g,h,110 113,a,b,c,d,e,f,g,h,112 115,a,b,c,d,e,f,g,h,114 117,a,b,c,d,e,f,g,h,116 119,a,b,c,d,e,f,g,h,118

@NAMES 0 dead 1 alive 2 00 3 10 4 (1)0 5 0(0) 6 1(0) 7 01 8 11 9 (1)1 10 [10;00](0) 11 [10;00](1) 12 [(1)0;00](0) 13 [(1)0;00](1) 14 [0(0);00](0) 15 [0(0);00](1) 16 [1(0);00](0) 17 [1(0);00](1) 18 [01;00](0) 19 [01;00](1) 20 [(1)1;00](0) 21 [(1)1;00](1) 22 [00;10](0) 23 [00;10](1) 24 [(1)0;10](0) 25 [(1)0;10](1) 26 [0(0);10](0) 27 [0(0);10](1) 28 [1(0);10](0) 29 [1(0);10](1) 30 [01;10](0) 31 [01;10](1) 32 [11;10](0) 33 [11;10](1) 34 [(1)1;10](0) 35 [(1)1;10](1) 36 [00;(1)0](0) 37 [00;(1)0](1) 38 [10;(1)0](0) 39 [10;(1)0](1) 40 [0(0);(1)0](0) 41 [0(0);(1)0](1) 42 [1(0);(1)0](0) 43 [1(0);(1)0](1) 44 [01;(1)0](0) 45 [01;(1)0](1) 46 [11;(1)0](0) 47 [11;(1)0](1) 48 [(1)1;(1)0](0) 49 [(1)1;(1)0](1) 50 [00;0(0)](0) 51 [00;0(0)](1) 52 [10;0(0)](0) 53 [10;0(0)](1) 54 [(1)0;0(0)](0) 55 [(1)0;0(0)](1) 56 [1(0);0(0)](0) 57 [1(0);0(0)](1) 58 [01;0(0)](0) 59 [01;0(0)](1) 60 [11;0(0)](0) 61 [11;0(0)](1) 62 [(1)1;0(0)](0) 63 [(1)1;0(0)](1) 64 [00;1(0)](0) 65 [00;1(0)](1) 66 [10;1(0)](0) 67 [10;1(0)](1) 68 [(1)0;1(0)](0) 69 [(1)0;1(0)](1) 70 [0(0);1(0)](0) 71 [0(0);1(0)](1) 72 [01;1(0)](0) 73 [01;1(0)](1) 74 [11;1(0)](0) 75 [11;1(0)](1) 76 [(1)1;1(0)](0) 77 [(1)1;1(0)](1) 78 [00;01](0) 79 [00;01](1) 80 [10;01](0) 81 [10;01](1) 82 [(1)0;01](0) 83 [(1)0;01](1) 84 [0(0);01](0) 85 [0(0);01](1) 86 [1(0);01](0) 87 [1(0);01](1) 88 [11;01](0) 89 [11;01](1) 90 [(1)1;01](0) 91 [(1)1;01](1) 92 [00;11](0) 93 [00;11](1) 94 [10;11](0) 95 [10;11](1) 96 [(1)0;11](0) 97 [(1)0;11](1) 98 [0(0);11](0) 99 [0(0);11](1) 100 [1(0);11](0) 101 [1(0);11](1) 102 [01;11](0) 103 [01;11](1) 104 [(1)1;11](0) 105 [(1)1;11](1) 106 [00;(1)1](0) 107 [00;(1)1](1) 108 [10;(1)1](0) 109 [10;(1)1](1) 110 [(1)0;(1)1](0) 111 [(1)0;(1)1](1) 112 [0(0);(1)1](0) 113 [0(0);(1)1](1) 114 [1(0);(1)1](0) 115 [1(0);(1)1](1) 116 [01;(1)1](0) 117 [01;(1)1](1) 118 [11;(1)1](0) 119 [11;(1)1](1)


@COLORS 0 48 48 48 1 0 255 0 2 128 128 128 3 128 0 255 4 128 128 48 5 192 0 0 6 255 0 0 7 255 0 128 8 255 255 255 9 255 255 0 10 255 128 0 11 255 148 64 12 128 255 0 13 148 255 64 14 0 128 255 15 64 148 255 16 0 255 128 17 64 255 148 18 128 48 48 19 192 110 110 20 48 128 48 21 110 192 110 22 48 48 128 23 110 110 192 24 64 0 0 25 128 0 0 26 0 64 0 27 0 128 0 28 0 0 64 29 0 0 128 30 64 64 0 31 128 128 0 32 0 64 64 33 0 128 128 34 64 0 64 35 128 0 128 36 64 32 0 37 128 64 0 38 32 64 0 39 64 128 0 40 0 64 32 41 0 128 64 42 0 32 64 43 0 64 128 44 32 0 64 45 64 0 128 46 64 0 32 47 128 0 64 48 255 64 64 49 255 128 128 50 255 255 64 51 255 255 128 52 64 255 64 53 128 255 128 54 64 255 255 55 128 255 255 56 64 64 255 57 128 128 255 58 255 64 255 59 255 128 255 60 128 80 80 61 200 160 160 62 128 128 80 63 200 200 160 64 80 128 80 65 160 200 160 66 80 128 128 67 160 200 200 68 80 80 128 69 160 160 200 70 128 80 128 71 200 160 200 72 255 80 0 73 255 160 0 74 255 0 80 75 255 0 160 76 80 255 0 77 160 255 0 78 0 255 80 79 0 255 160 80 80 0 255 81 160 0 255 82 0 80 255 83 0 160 255 84 255 128 50 85 255 128 100 86 128 255 50 87 128 255 100 88 50 255 128 89 100 255 128 90 50 128 255 91 100 128 255 92 128 50 255 93 128 100 255 94 255 50 128 95 255 100 128 96 255 128 64 97 255 192 128 98 128 255 64 99 192 255 128 100 64 255 128 101 128 255 192 102 64 128 255 103 128 192 255 104 128 64 255 105 192 128 255 106 255 64 128 107 255 128 192 108 255 80 80 109 128 160 160 110 255 255 80 111 128 128 160 112 80 255 80 113 160 128 160 114 80 255 255 115 160 128 128 116 80 80 255 117 160 160 128 118 255 80 255 119 128 160 128