{
   "name": "Unbounded minimalization simulation for Diff(n,m)",
   "description": "",
   "max_state": 99,
   "symbols": "012",
   "tape": "01111100000000000000000000000000000000",
   "position": 0,
   "rules": [
      [ 0, "0", "0", 21, "S" ],
      [ 1, "0", "0", 2, "R" ],
      [ 2, "0", "0", 9, "R" ],
      [ 2, "1", "1", 2, "R" ],
      [ 3, "0", "0", 3, "R" ],
      [ 3, "1", "0", 4, "L" ],
      [ 3, "2", "0", 11, "L" ],
      [ 4, "0", "0", 4, "L" ],
      [ 4, "1", "1", 5, "L" ],
      [ 5, "0", "0", 7, "R" ],
      [ 5, "1", "1", 6, "R" ],
      [ 6, "1", "0", 3, "R" ],
      [ 7, "1", "1", 8, "R" ],
      [ 8, "0", "0", 8, "R" ],
      [ 8, "1", "0", 8, "R" ],
      [ 8, "2", "0", 11, "L" ],
      [ 9, "0", "2", 10, "L" ],
      [ 9, "1", "1", 9, "R" ],
      [ 10, "0", "1", 3, "R" ],
      [ 10, "1", "1", 10, "L" ],
      [ 11, "0", "0", 11, "L" ],
      [ 11, "1", "1", 12, "L" ],
      [ 12, "0", "2", 61, "R" ],
      [ 12, "1", "1", 12, "L" ],
      [ 21, "0", "0", 22, "R" ],
      [ 22, "0", "0", 23, "R" ],
      [ 22, "1", "1", 22, "R" ],
      [ 23, "0", "1", 31, "R" ],
      [ 31, "0", "0", 32, "R" ],
      [ 31, "1", "1", 31, "R" ],
      [ 32, "0", "1", 33, "L" ],
      [ 33, "0", "0", 34, "L" ],
      [ 33, "1", "1", 33, "L" ],
      [ 34, "0", "0", 35, "L" ],
      [ 34, "1", "1", 34, "L" ],
      [ 35, "0", "0", 36, "R" ],
      [ 35, "1", "1", 35, "L" ],
      [ 35, "2", "2", 36, "R" ],
      [ 36, "0", "0", 40, "R" ],
      [ 36, "1", "2", 37, "R" ],
      [ 36, "2", "2", 36, "R" ],
      [ 37, "0", "0", 41, "R" ],
      [ 37, "1", "1", 38, "R" ],
      [ 38, "0", "0", 39, "R" ],
      [ 38, "1", "1", 38, "R" ],
      [ 39, "0", "0", 40, "R" ],
      [ 39, "1", "1", 39, "R" ],
      [ 40, "0", "1", 33, "L" ],
      [ 40, "1", "1", 40, "R" ],
      [ 41, "0", "0", 42, "R" ],
      [ 41, "1", "1", 41, "R" ],
      [ 42, "0", "0", 43, "R" ],
      [ 42, "1", "1", 42, "R" ],
      [ 43, "0", "1", 44, "L" ],
      [ 43, "1", "1", 44, "L" ],
      [ 44, "0", "0", 45, "L" ],
      [ 44, "1", "1", 44, "L" ],
      [ 45, "0", "0", 46, "L" ],
      [ 45, "1", "1", 45, "L" ],
      [ 46, "0", "0", 47, "R" ],
      [ 46, "1", "1", 46, "L" ],
      [ 46, "2", "2", 47, "R" ],
      [ 47, "1", "2", 48, "R" ],
      [ 47, "2", "2", 47, "R" ],
      [ 48, "0", "0", 52, "L" ],
      [ 48, "1", "1", 49, "R" ],
      [ 49, "0", "0", 50, "R" ],
      [ 49, "1", "1", 49, "R" ],
      [ 50, "0", "0", 51, "R" ],
      [ 50, "1", "1", 50, "R" ],
      [ 51, "0", "1", 44, "L" ],
      [ 51, "1", "1", 51, "R" ],
      [ 52, "0", "0", 53, "L" ],
      [ 52, "2", "1", 52, "L" ],
      [ 53, "0", "0", 54, "R" ],
      [ 53, "2", "1", 53, "L" ],
      [ 54, "0", "0", 55, "R" ],
      [ 54, "1", "1", 54, "R" ],
      [ 55, "0", "0", 1, "S" ],
      [ 55, "1", "1", 55, "R" ],
      [ 61, "1", "1", 62, "R" ],
      [ 62, "0", "0", 81, "L" ],
      [ 62, "1", "1", 71, "R" ],
      [ 71, "0", "0", 72, "L" ],
      [ 71, "1", "1", 71, "R" ],
      [ 72, "1", "0", 72, "L" ],
      [ 72, "2", "1", 73, "L" ],
      [ 73, "0", "0", 74, "L" ],
      [ 73, "1", "1", 73, "L" ],
      [ 74, "0", "0", 75, "R" ],
      [ 74, "1", "1", 74, "L" ],
      [ 75, "0", "0", 76, "R" ],
      [ 75, "1", "1", 75, "R" ],
      [ 76, "0", "0", 31, "S" ],
      [ 76, "1", "1", 76, "R" ],
      [ 81, "1", "0", 81, "L" ],
      [ 81, "2", "0", 82, "L" ],
      [ 82, "0", "0", 83, "L" ],
      [ 82, "1", "1", 82, "L" ],
      [ 83, "0", "2", 84, "R" ],
      [ 83, "1", "0", 83, "L" ],
      [ 84, "0", "0", 84, "R" ],
      [ 84, "1", "0", 85, "R" ],
      [ 85, "0", "0", 88, "L" ],
      [ 85, "1", "1", 86, "L" ],
      [ 86, "0", "0", 86, "L" ],
      [ 86, "1", "1", 87, "R" ],
      [ 86, "2", "2", 87, "R" ],
      [ 87, "0", "1", 84, "R" ],
      [ 88, "0", "0", 88, "L" ],
      [ 88, "1", "1", 89, "R" ],
      [ 88, "2", "2", 89, "R" ],
      [ 89, "0", "1", 89, "L" ],
      [ 89, "1", "1", 89, "L" ],
      [ 89, "2", "0", 90, "R" ],
      [ 90, "1", "1", 90, "L" ]
   ]
}