CatsAreFluffy

module StlcNbE where

data Term =
  Point
  | Lam Term
  | App Term Term
  | Pair Term Term
  | Proj1 Term
  | Proj2 Term
  | Var Int

CatsAreFluffy

 2 :*
 3 ::**
 4 :*:*
 5 ::*:**
 6 ::**:*
 7 :::**:**
 8 :*:*:*
 9 ::*:*:**
 10 ::*:**:*
 11 :::*:**:**

CatsAreFluffy

@RULE RandomLife3

@TREE

num_states=4
num_neighbors=8
num_nodes=161
1 0 0 0 0
2 0 0 0 0
1 0 1 0 1

CatsAreFluffy

eyJtb25leSI6IjEuODk4NDUyMjc4MzA0ODQ0NGUrMTIyIiwidGlja1NwZWVkQ29zdCI6IjEuMDAwMDAwMDAwMDAwMDAwNmUrMTAyIiwidGlja3NwZWVkIjoiMC4wMDMxODk5NTQ4OTkxMDY0Njk1IiwiZmlyc3RDb3N0IjoiOS45OTk5OTk5OTk5OTk5OThlKzEwMiIsInNlY29uZENvc3QiOiIxZSsxMDIiLCJ0aGlyZENvc3QiOiI5Ljk5OTk5OTk5OTk5OTk5OGUrMTAzIiwiZm91cnRoQ29zdCI6IjEuMDAwMDAwMDAwMDAwMDAwMmUrMTAyIiwiZmlmdGhDb3N0IjoiMWUrMTA1Iiwic2l4dGhDb3N0IjoiMWUrMTAzIiwic2V2ZW50aENvc3QiOiIxLjAwMDAwMDAwMDAwMDAwMDJlKzEwMiIsImVpZ2h0Q29zdCI6IjkuOTk5OTk5OTk5OTk5OTk5ZSsxMTMiLCJmaXJzdEFtb3VudCI6IjIuNzEzNDI4OTE3NTg4NTcxNWUrMTAwIiwic2Vjb25kQW1vdW50IjoiMy40NzQ5NzIxMTE5MTA0NjhlKzgyIiwidGhpcmRBbW91bnQiOiIyLjQ0MTMxMzE5MzY4NzU4NmUrNjYiLCJmb3VydGhBbW91bnQiOiI0LjU3MzczMDEzMjA4OTE0OWUrNTEiLCJmaXJzdEJvdWdodCI6MCwic2Vjb25kQm91Z2h0IjowLCJ0aGlyZEJvdWdodCI6MCwiZm91cnRoQm91Z2h0IjowLCJmaWZ0aEFtb3VudCI6IjIuMTkzNjMxNTUzNjg2MDk0NWUrMzgiLCJzaXh0aEFtb3VudCI6IjEuMjYyNTM3MzYxNDA5OTk2NmUrMjYiLCJzZXZlbnRoQW1vdW50IjoiMzg3NTUxNzQzMTA1MTAxLjI1IiwiZWlnaHRBbW91bnQiOiI2MCIsImZpZnRoQm91Z2h0IjowLCJzaXh0aEJvdWdodCI6MCwic2V2ZW50aEJvdWdo