Rule:Meta2x2

From LifeWiki
Revision as of 14:16, 23 December 2019 by Dvgrn (talk | contribs) (tree too big, uploaded rule manually)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

@RULE Meta2x2

https://conwaylife.com/forums/viewtopic.php?p=73391#p73391

        • COMPILED FROM NUTSHELL ****
        • v0.5.6 ****

by HactarCE


USAGE:

  • B 0 1 2 3 4 5 6 7 8 / S 0 1 2 3 4 5 6 7 8
  • |_____|_____|_____| |_____|_____|_____|
  • NE SE SW NE SE SW

NE: B012/S012 SE: B345/S345 SW: B678/S678

Encode each as binary number (MSb is leftmost). Add 15, then arrange states accordingly. Northwest cell is either state 1 or 2 for "dead" or "live" respectively.


EXAMPLE:

B - - - 3 - - - - - / S - - 2 3 - - - - - |_____|_____|_____| |_____|_____|_____| 0 4 0 1 4 0

NE = (0<<3) + 1 + 15 = 16 SE = (4<<3) + 4 + 15 = 51 SW = (0<<3) + 0 + 15 = 15

x = 2, y = 2, rule = Meta2x2 AW$pWP!


0: Blank

1: T0 Dead 2: T0 Live 3: T1 Dead 0 N 4: T1 Live 0 N 5: T1 Dead 1 N 6: T1 Live 1 N 7: T1 Dead 1 N D 8: T1 Live 1 N D 9: T1 Dead 2 N 10: T1 Live 2 N 11: T1 Dead 2 N D 12: T1 Live 2 N D 13: T1 Dead 3 N D 14: T1 Live 3 N D

15: Rule info 00 16: Rule info 01 17: Rule info 02 18: Rule info 03 19: Rule info 04 20: Rule info 05 21: Rule info 06 22: Rule info 07 23: Rule info 08 24: Rule info 09 25: Rule info 0A 26: Rule info 0B 27: Rule info 0C 28: Rule info 0D 29: Rule info 0E 30: Rule info 0F 31: Rule info 10 32: Rule info 11 33: Rule info 12 34: Rule info 13 35: Rule info 14 36: Rule info 15 37: Rule info 16 38: Rule info 17 39: Rule info 18 40: Rule info 19 41: Rule info 1A 42: Rule info 1B 43: Rule info 1C 44: Rule info 1D 45: Rule info 1E 46: Rule info 1F 47: Rule info 20 48: Rule info 21 49: Rule info 22 50: Rule info 23 51: Rule info 24 52: Rule info 25 53: Rule info 26 54: Rule info 27 55: Rule info 28 56: Rule info 29 57: Rule info 2A 58: Rule info 2B 59: Rule info 2C 60: Rule info 2D 61: Rule info 2E 62: Rule info 2F 63: Rule info 30 64: Rule info 31 65: Rule info 32 66: Rule info 33 67: Rule info 34 68: Rule info 35 69: Rule info 36 70: Rule info 37 71: Rule info 38 72: Rule info 39 73: Rule info 3A 74: Rule info 3B 75: Rule info 3C 76: Rule info 3D 77: Rule info 3E 78: Rule info 3F


@COLORS 0 0 0 0 1 0 102 102 2 153 255 255 3 102 102 0 5 81 102 0 7 61 102 0 9 40 102 0 11 20 102 0 13 0 102 0 4 153 153 0 6 122 153 0 8 91 153 0 10 61 153 0 12 30 153 0 14 0 153 0 15 102 0 153 16 102 1 150 17 103 3 148 18 104 4 145 19 105 6 143 20 106 8 140 21 106 9 138 22 107 11 136 23 108 12 133 24 109 14 131 25 110 16 128 26 110 17 126 27 111 19 123 28 112 21 121 29 113 22 119 30 114 24 116 31 114 25 114 32 115 27 111 33 116 29 109 34 117 30 106 35 118 32 104 36 119 34 102 37 119 35 99 38 120 37 97 39 121 38 94 40 122 40 92 41 123 42 89 42 123 43 87 43 124 45 85 44 125 46 82 45 126 48 80 46 127 50 77 47 127 51 75 48 128 53 72 49 129 55 70 50 130 56 68 51 131 58 65 52 131 59 63 53 132 61 60 54 133 63 58 55 134 64 55 56 135 66 53 57 136 68 51 58 136 69 48 59 137 71 46 60 138 72 43 61 139 74 41 62 140 76 38 63 140 77 36 64 141 79 34 65 142 80 31 66 143 82 29 67 144 84 26 68 144 85 24 69 145 87 21 70 146 89 19 71 147 90 17 72 148 92 14 73 148 93 12 74 149 95 9 75 150 97 7 76 151 98 4 77 152 100 2 78 153 102 0

@TABLE neighborhood: Moore symmetries: none n_states: 79

var any.0 = {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} var any.1 = any.0 var any.2 = any.0 var any.3 = any.0 var any.4 = any.0 var any.5 = any.0 var any.6 = any.0 var any.7 = any.0 var t0.0 = {1,2} var t1s0d0.0 = {9,3,5} var t1s0d1.0 = {11,13,7} var t1s1d0.0 = {10,4,6} var t1s1d1.0 = {8,12,14} var t1s1.0 = {4,6,8,10,12,14} var t1.0 = {3,4,5,6,7,8,9,10,11,12,13,14} var t1u0n0.0 = {0,3} var t1u0n0.1 = t1u0n0.0 var t1u0n1.0 = {4,5,7} var t1u0n1.1 = t1u0n1.0 var t1u0n2.0 = {8,11,6} var t1u0n2.1 = t1u0n2.0 var t1u0n3.0 = {12} var t1u0n3.1 = t1u0n3.0 var t1u1n0.0 = {0,5} var t1u1n0.1 = t1u1n0.0 var t1u1n1.0 = {9,11,6} var t1u1n1.1 = t1u1n1.0 var t1u1n2.0 = {10,12,13} var t1u1n2.1 = t1u1n2.0 var t1u1n3.0 = {14} var t1u1n3.1 = t1u1n3.0 var nw0.0 = {0,3,5,7,9,11,13} var r.0 = {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} var r.1 = r.0 var r.2 = r.0 var rB0.0 = {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} var rB1.0 = {31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78} var rB2.0 = {23,24,25,26,27,28,29,30,39,40,41,42,43,44,45,46,55,56,57,58,59,60,61,62,71,72,73,74,75,76,77,78} var rS0.0 = {19,20,21,22,27,28,29,30,35,36,37,38,43,44,45,46,51,52,53,54,59,60,61,62,67,68,69,70,75,76,77,78} var rS1.0 = {17,18,21,22,25,26,29,30,33,34,37,38,41,42,45,46,49,50,53,54,57,58,61,62,65,66,69,70,73,74,77,78} var rS2.0 = {16,18,20,22,24,26,28,30,32,34,36,38,40,42,44,46,48,50,52,54,56,58,60,62,64,66,68,70,72,74,76,78} var _a0.0 = {0,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} var _b0.0 = {0,1,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} var _b0.1 = _b0.0 var _b0.2 = _b0.0

t0.0, any.0, any.1, r.0, r.1, r.2, any.2, any.3, any.4, r.1 t1.0, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, any.7 _a0.0, any.0, _b0.0, any.1, _b0.1, any.2, _b0.2, any.3, 1, 3 _a0.0, any.0, _b0.0, any.1, _b0.1, any.2, _b0.2, any.3, 2, 4 _a0.0, any.0, _b0.0, any.1, _b0.1, any.2, 2, any.3, 1, 5 _a0.0, any.0, _b0.0, any.1, _b0.1, any.2, 2, any.3, 2, 6 _a0.0, any.0, _b0.0, any.1, _b0.1, any.2, 2, any.3, 0, 5 _a0.0, any.0, 2, any.1, _b0.0, any.2, _b0.1, any.3, 1, 5 _a0.0, any.0, 2, any.1, _b0.0, any.2, _b0.1, any.3, 2, 6 _a0.0, any.0, 2, any.1, _b0.0, any.2, _b0.1, any.3, 0, 5 _a0.0, any.0, _b0.0, any.1, 2, any.2, _b0.1, any.3, 1, 7 _a0.0, any.0, _b0.0, any.1, 2, any.2, _b0.1, any.3, 2, 8 _a0.0, any.0, _b0.0, any.1, 2, any.2, _b0.1, any.3, 0, 7 _a0.0, any.0, 2, any.1, _b0.0, any.2, 2, any.3, 1, 9 _a0.0, any.0, 2, any.1, _b0.0, any.2, 2, any.3, 2, 10 _a0.0, any.0, 2, any.1, _b0.0, any.2, 2, any.3, 0, 9 _a0.0, any.0, _b0.0, any.1, 2, any.2, 2, any.3, 1, 11 _a0.0, any.0, _b0.0, any.1, 2, any.2, 2, any.3, 2, 12 _a0.0, any.0, _b0.0, any.1, 2, any.2, 2, any.3, 0, 11 _a0.0, any.0, 2, any.1, 2, any.2, _b0.0, any.3, 1, 11 _a0.0, any.0, 2, any.1, 2, any.2, _b0.0, any.3, 2, 12 _a0.0, any.0, 2, any.1, 2, any.2, _b0.0, any.3, 0, 11 _a0.0, any.0, 2, any.1, 2, any.2, 2, any.3, 1, 13 _a0.0, any.0, 2, any.1, 2, any.2, 2, any.3, 2, 14 _a0.0, any.0, 2, any.1, 2, any.2, 2, any.3, 0, 13 r.0, any.0, t1u0n0.0, rB0.0, t1s0d0.0, r.1, t1u0n0.1, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS0.0, t1s1d0.0, r.1, t1u1n0.1, any.1, nw0.0, 2 r.0, any.0, t1u0n0.0, rB1.0, t1s0d1.0, r.1, t1u0n0.1, any.1, nw0.0, 2 r.0, any.0, t1u0n0.0, rB1.0, t1s0d0.0, r.1, t1u0n1.0, any.1, nw0.0, 2 r.0, any.0, t1u0n0.0, rB1.0, t1s0d0.0, r.1, t1u0n0.1, any.1, t1s1.0, 2 r.0, any.0, t1u0n1.0, rB1.0, t1s0d0.0, r.1, t1u0n0.0, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS1.0, t1s1d1.0, r.1, t1u1n0.1, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS1.0, t1s1d0.0, r.1, t1u1n1.0, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS1.0, t1s1d0.0, r.1, t1u1n0.1, any.1, t1s1.0, 2 r.0, any.0, t1u1n1.0, rS1.0, t1s1d0.0, r.1, t1u1n0.0, any.1, nw0.0, 2 r.0, any.0, t1u0n0.0, rB2.0, t1s0d1.0, r.1, t1u0n1.0, any.1, nw0.0, 2 r.0, any.0, t1u0n0.0, rB2.0, t1s0d1.0, r.1, t1u0n0.1, any.1, t1s1.0, 2 r.0, any.0, t1u0n1.0, rB2.0, t1s0d1.0, r.1, t1u0n0.0, any.1, nw0.0, 2 r.0, any.0, t1u0n0.0, rB2.0, t1s0d0.0, r.1, t1u0n2.0, any.1, nw0.0, 2 r.0, any.0, t1u0n0.0, rB2.0, t1s0d0.0, r.1, t1u0n1.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n1.0, rB2.0, t1s0d0.0, r.1, t1u0n1.1, any.1, nw0.0, 2 r.0, any.0, t1u0n1.0, rB2.0, t1s0d0.0, r.1, t1u0n0.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n2.0, rB2.0, t1s0d0.0, r.1, t1u0n0.0, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS2.0, t1s1d1.0, r.1, t1u1n1.0, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS2.0, t1s1d1.0, r.1, t1u1n0.1, any.1, t1s1.0, 2 r.0, any.0, t1u1n1.0, rS2.0, t1s1d1.0, r.1, t1u1n0.0, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS2.0, t1s1d0.0, r.1, t1u1n2.0, any.1, nw0.0, 2 r.0, any.0, t1u1n0.0, rS2.0, t1s1d0.0, r.1, t1u1n1.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n1.0, rS2.0, t1s1d0.0, r.1, t1u1n1.1, any.1, nw0.0, 2 r.0, any.0, t1u1n1.0, rS2.0, t1s1d0.0, r.1, t1u1n0.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n2.0, rS2.0, t1s1d0.0, r.1, t1u1n0.0, any.1, nw0.0, 2 rB0.0, any.0, t1u0n0.0, r.0, t1s0d1.0, r.1, t1u0n2.0, any.1, nw0.0, 2 rB0.0, any.0, t1u0n0.0, r.0, t1s0d1.0, r.1, t1u0n1.0, any.1, t1s1.0, 2 rB0.0, any.0, t1u0n1.0, r.0, t1s0d1.0, r.1, t1u0n1.1, any.1, nw0.0, 2 rB0.0, any.0, t1u0n1.0, r.0, t1s0d1.0, r.1, t1u0n0.0, any.1, t1s1.0, 2 rB0.0, any.0, t1u0n2.0, r.0, t1s0d1.0, r.1, t1u0n0.0, any.1, nw0.0, 2 rB0.0, any.0, t1u0n0.0, r.0, t1s0d0.0, r.1, t1u0n3.0, any.1, nw0.0, 2 rB0.0, any.0, t1u0n0.0, r.0, t1s0d0.0, r.1, t1u0n2.0, any.1, t1s1.0, 2 rB0.0, any.0, t1u0n1.0, r.0, t1s0d0.0, r.1, t1u0n2.0, any.1, nw0.0, 2 rB0.0, any.0, t1u0n1.0, r.0, t1s0d0.0, r.1, t1u0n1.1, any.1, t1s1.0, 2 rB0.0, any.0, t1u0n2.0, r.0, t1s0d0.0, r.1, t1u0n1.0, any.1, nw0.0, 2 rB0.0, any.0, t1u0n2.0, r.0, t1s0d0.0, r.1, t1u0n0.0, any.1, t1s1.0, 2 rB0.0, any.0, t1u0n3.0, r.0, t1s0d0.0, r.1, t1u0n0.0, any.1, nw0.0, 2 rS0.0, any.0, t1u1n0.0, r.0, t1s1d1.0, r.1, t1u1n2.0, any.1, nw0.0, 2 rS0.0, any.0, t1u1n0.0, r.0, t1s1d1.0, r.1, t1u1n1.0, any.1, t1s1.0, 2 rS0.0, any.0, t1u1n1.0, r.0, t1s1d1.0, r.1, t1u1n1.1, any.1, nw0.0, 2 rS0.0, any.0, t1u1n1.0, r.0, t1s1d1.0, r.1, t1u1n0.0, any.1, t1s1.0, 2 rS0.0, any.0, t1u1n2.0, r.0, t1s1d1.0, r.1, t1u1n0.0, any.1, nw0.0, 2 rS0.0, any.0, t1u1n0.0, r.0, t1s1d0.0, r.1, t1u1n3.0, any.1, nw0.0, 2 rS0.0, any.0, t1u1n0.0, r.0, t1s1d0.0, r.1, t1u1n2.0, any.1, t1s1.0, 2 rS0.0, any.0, t1u1n1.0, r.0, t1s1d0.0, r.1, t1u1n2.0, any.1, nw0.0, 2 rS0.0, any.0, t1u1n1.0, r.0, t1s1d0.0, r.1, t1u1n1.1, any.1, t1s1.0, 2 rS0.0, any.0, t1u1n2.0, r.0, t1s1d0.0, r.1, t1u1n1.0, any.1, nw0.0, 2 rS0.0, any.0, t1u1n2.0, r.0, t1s1d0.0, r.1, t1u1n0.0, any.1, t1s1.0, 2 rS0.0, any.0, t1u1n3.0, r.0, t1s1d0.0, r.1, t1u1n0.0, any.1, nw0.0, 2 rB1.0, any.0, t1u0n0.0, r.0, t1s0d1.0, r.1, t1u0n3.0, any.1, nw0.0, 2 rB1.0, any.0, t1u0n0.0, r.0, t1s0d1.0, r.1, t1u0n2.0, any.1, t1s1.0, 2 rB1.0, any.0, t1u0n1.0, r.0, t1s0d1.0, r.1, t1u0n2.0, any.1, nw0.0, 2 rB1.0, any.0, t1u0n1.0, r.0, t1s0d1.0, r.1, t1u0n1.1, any.1, t1s1.0, 2 rB1.0, any.0, t1u0n2.0, r.0, t1s0d1.0, r.1, t1u0n1.0, any.1, nw0.0, 2 rB1.0, any.0, t1u0n2.0, r.0, t1s0d1.0, r.1, t1u0n0.0, any.1, t1s1.0, 2 rB1.0, any.0, t1u0n3.0, r.0, t1s0d1.0, r.1, t1u0n0.0, any.1, nw0.0, 2 rB1.0, any.0, t1u0n0.0, r.0, t1s0d0.0, r.1, t1u0n3.0, any.1, t1s1.0, 2 rB1.0, any.0, t1u0n1.0, r.0, t1s0d0.0, r.1, t1u0n3.0, any.1, nw0.0, 2 rB1.0, any.0, t1u0n1.0, r.0, t1s0d0.0, r.1, t1u0n2.0, any.1, t1s1.0, 2 rB1.0, any.0, t1u0n2.0, r.0, t1s0d0.0, r.1, t1u0n2.1, any.1, nw0.0, 2 rB1.0, any.0, t1u0n2.0, r.0, t1s0d0.0, r.1, t1u0n1.0, any.1, t1s1.0, 2 rB1.0, any.0, t1u0n3.0, r.0, t1s0d0.0, r.1, t1u0n1.0, any.1, nw0.0, 2 rB1.0, any.0, t1u0n3.0, r.0, t1s0d0.0, r.1, t1u0n0.0, any.1, t1s1.0, 2 rS1.0, any.0, t1u1n0.0, r.0, t1s1d1.0, r.1, t1u1n3.0, any.1, nw0.0, 2 rS1.0, any.0, t1u1n0.0, r.0, t1s1d1.0, r.1, t1u1n2.0, any.1, t1s1.0, 2 rS1.0, any.0, t1u1n1.0, r.0, t1s1d1.0, r.1, t1u1n2.0, any.1, nw0.0, 2 rS1.0, any.0, t1u1n1.0, r.0, t1s1d1.0, r.1, t1u1n1.1, any.1, t1s1.0, 2 rS1.0, any.0, t1u1n2.0, r.0, t1s1d1.0, r.1, t1u1n1.0, any.1, nw0.0, 2 rS1.0, any.0, t1u1n2.0, r.0, t1s1d1.0, r.1, t1u1n0.0, any.1, t1s1.0, 2 rS1.0, any.0, t1u1n3.0, r.0, t1s1d1.0, r.1, t1u1n0.0, any.1, nw0.0, 2 rS1.0, any.0, t1u1n0.0, r.0, t1s1d0.0, r.1, t1u1n3.0, any.1, t1s1.0, 2 rS1.0, any.0, t1u1n1.0, r.0, t1s1d0.0, r.1, t1u1n3.0, any.1, nw0.0, 2 rS1.0, any.0, t1u1n1.0, r.0, t1s1d0.0, r.1, t1u1n2.0, any.1, t1s1.0, 2 rS1.0, any.0, t1u1n2.0, r.0, t1s1d0.0, r.1, t1u1n2.1, any.1, nw0.0, 2 rS1.0, any.0, t1u1n2.0, r.0, t1s1d0.0, r.1, t1u1n1.0, any.1, t1s1.0, 2 rS1.0, any.0, t1u1n3.0, r.0, t1s1d0.0, r.1, t1u1n1.0, any.1, nw0.0, 2 rS1.0, any.0, t1u1n3.0, r.0, t1s1d0.0, r.1, t1u1n0.0, any.1, t1s1.0, 2 rB2.0, any.0, t1u0n0.0, r.0, t1s0d1.0, r.1, t1u0n3.0, any.1, t1s1.0, 2 rB2.0, any.0, t1u0n1.0, r.0, t1s0d1.0, r.1, t1u0n3.0, any.1, nw0.0, 2 rB2.0, any.0, t1u0n1.0, r.0, t1s0d1.0, r.1, t1u0n2.0, any.1, t1s1.0, 2 rB2.0, any.0, t1u0n2.0, r.0, t1s0d1.0, r.1, t1u0n2.1, any.1, nw0.0, 2 rB2.0, any.0, t1u0n2.0, r.0, t1s0d1.0, r.1, t1u0n1.0, any.1, t1s1.0, 2 rB2.0, any.0, t1u0n3.0, r.0, t1s0d1.0, r.1, t1u0n1.0, any.1, nw0.0, 2 rB2.0, any.0, t1u0n3.0, r.0, t1s0d1.0, r.1, t1u0n0.0, any.1, t1s1.0, 2 rB2.0, any.0, t1u0n1.0, r.0, t1s0d0.0, r.1, t1u0n3.0, any.1, t1s1.0, 2 rB2.0, any.0, t1u0n2.0, r.0, t1s0d0.0, r.1, t1u0n3.0, any.1, nw0.0, 2 rB2.0, any.0, t1u0n2.0, r.0, t1s0d0.0, r.1, t1u0n2.1, any.1, t1s1.0, 2 rB2.0, any.0, t1u0n3.0, r.0, t1s0d0.0, r.1, t1u0n2.0, any.1, nw0.0, 2 rB2.0, any.0, t1u0n3.0, r.0, t1s0d0.0, r.1, t1u0n1.0, any.1, t1s1.0, 2 rS2.0, any.0, t1u1n0.0, r.0, t1s1d1.0, r.1, t1u1n3.0, any.1, t1s1.0, 2 rS2.0, any.0, t1u1n1.0, r.0, t1s1d1.0, r.1, t1u1n3.0, any.1, nw0.0, 2 rS2.0, any.0, t1u1n1.0, r.0, t1s1d1.0, r.1, t1u1n2.0, any.1, t1s1.0, 2 rS2.0, any.0, t1u1n2.0, r.0, t1s1d1.0, r.1, t1u1n2.1, any.1, nw0.0, 2 rS2.0, any.0, t1u1n2.0, r.0, t1s1d1.0, r.1, t1u1n1.0, any.1, t1s1.0, 2 rS2.0, any.0, t1u1n3.0, r.0, t1s1d1.0, r.1, t1u1n1.0, any.1, nw0.0, 2 rS2.0, any.0, t1u1n3.0, r.0, t1s1d1.0, r.1, t1u1n0.0, any.1, t1s1.0, 2 rS2.0, any.0, t1u1n1.0, r.0, t1s1d0.0, r.1, t1u1n3.0, any.1, t1s1.0, 2 rS2.0, any.0, t1u1n2.0, r.0, t1s1d0.0, r.1, t1u1n3.0, any.1, nw0.0, 2 rS2.0, any.0, t1u1n2.0, r.0, t1s1d0.0, r.1, t1u1n2.1, any.1, t1s1.0, 2 rS2.0, any.0, t1u1n3.0, r.0, t1s1d0.0, r.1, t1u1n2.0, any.1, nw0.0, 2 rS2.0, any.0, t1u1n3.0, r.0, t1s1d0.0, r.1, t1u1n1.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n1.0, r.1, t1s0d1.0, rB0.0, t1u0n3.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n2.0, r.1, t1s0d1.0, rB0.0, t1u0n3.0, any.1, nw0.0, 2 r.0, any.0, t1u0n2.0, r.1, t1s0d1.0, rB0.0, t1u0n2.1, any.1, t1s1.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d1.0, rB0.0, t1u0n2.0, any.1, nw0.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d1.0, rB0.0, t1u0n1.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n2.0, r.1, t1s0d0.0, rB0.0, t1u0n3.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d0.0, rB0.0, t1u0n3.1, any.1, nw0.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d0.0, rB0.0, t1u0n2.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n1.0, r.1, t1s1d1.0, rS0.0, t1u1n3.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n2.0, r.1, t1s1d1.0, rS0.0, t1u1n3.0, any.1, nw0.0, 2 r.0, any.0, t1u1n2.0, r.1, t1s1d1.0, rS0.0, t1u1n2.1, any.1, t1s1.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d1.0, rS0.0, t1u1n2.0, any.1, nw0.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d1.0, rS0.0, t1u1n1.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n2.0, r.1, t1s1d0.0, rS0.0, t1u1n3.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d0.0, rS0.0, t1u1n3.1, any.1, nw0.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d0.0, rS0.0, t1u1n2.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n2.0, r.1, t1s0d1.0, rB1.0, t1u0n3.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d1.0, rB1.0, t1u0n3.1, any.1, nw0.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d1.0, rB1.0, t1u0n2.0, any.1, t1s1.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d0.0, rB1.0, t1u0n3.1, any.1, t1s1.0, 2 r.0, any.0, t1u1n2.0, r.1, t1s1d1.0, rS1.0, t1u1n3.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d1.0, rS1.0, t1u1n3.1, any.1, nw0.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d1.0, rS1.0, t1u1n2.0, any.1, t1s1.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d0.0, rS1.0, t1u1n3.1, any.1, t1s1.0, 2 r.0, any.0, t1u0n3.0, r.1, t1s0d1.0, rB2.0, t1u0n3.1, any.1, t1s1.0, 2 r.0, any.0, t1u1n3.0, r.1, t1s1d1.0, rS2.0, t1u1n3.1, any.1, t1s1.0, 2 r.0, any.0, any.1, r.1, t1.0, r.2, any.2, any.3, any.4, 1