binary_counter.json

{"CA_type": "wireworld", "size": [21, 12], "state": {"(7, 5)": 1, "(7, 6)": 3, "(7, 7)": 1, "(8, 7)": 1, "(9, 7)": 1, "(10, 7)": 3, "(10, 6)": 3, "(9, 5)": 1, "(9, 6)": 3, "(10, 5)": 3, "(8, 5)": 1, "(11, 6)": 3, "(12, 5)": 3, "(8, 4)": 2, "(9, 3)": 3, "(10, 3)": 3, "(11, 3)": 3, "(12, 4)": 3, "(12, 7)": 3, "(1, 4)": 3, "(2, 3)": 3, "(3, 3)": 3, "(4, 3)": 3, "(5, 4)": 3, "(5, 5)": 3, "(2, 5)": 3, "(3, 5)": 2, "(4, 6)": 1, "(8, 8)": 2, "(11, 9)": 3, "(12, 9)": 2, "(10, 10)": 2, "(11, 11)": 3, "(12, 11)": 2, "(7, 9)": 3, "(3, 7)": 3, "(13, 7)": 3, "(8, 14)": 3, "(6, 10)": 3, "(2, 8)": 3, "(4, 9)": 3, "(5, 10)": 3, "(5, 13)": 2, "(6, 12)": 3, "(5, 14)": 1, "(6, 15)": 3, "(12, 12)": 1, "(11, 12)": 1, "(14, 8)": 3, "(10, 9)": 2, "(12, 10)": 2, "(14, 9)": 3, "(10, 11)": 2, "(10, 12)": 1, "(11, 13)": 3, "(13, 10)": 3, "(9, 10)": 3, "(8, 11)": 3, "(6, 11)": 3, "(8, 13)": 3, "(8, 12)": 3, "(12, 14)": 3, "(13, 14)": 3, "(15, 12)": 3, "(14, 6)": 3, "(15, 5)": 3, "(16, 6)": 3, "(16, 7)": 2, "(16, 8)": 1, "(16, 9)": 3, "(15, 11)": 3, "(14, 12)": 3, "(16, 12)": 3, "(15, 13)": 3, "(14, 14)": 3, "(16, 14)": 3, "(18, 13)": 1, "(18, 12)": 3, "(20, 10)": 3, "(21, 10)": 3, "(21, 11)": 3, "(21, 12)": 3, "(20, 13)": 3, "(20, 14)": 3, "(21, 15)": 3, "(22, 15)": 3, "(23, 14)": 3, "(23, 13)": 3, "(23, 12)": 3, "(23, 11)": 3, "(22, 9)": 3, "(23, 8)": 3, "(22, 7)": 3, "(23, 7)": 3, "(22, 6)": 3, "(22, 5)": 1, "(23, 5)": 1, "(24, 5)": 1, "(24, 6)": 3, "(24, 7)": 3, "(23, 4)": 2, "(24, 3)": 3, "(27, 4)": 3, "(27, 5)": 3, "(26, 6)": 3, "(25, 5)": 3, "(25, 6)": 3, "(25, 7)": 3, "(27, 7)": 3, "(28, 7)": 3, "(29, 6)": 3, "(31, 6)": 3, "(31, 7)": 2, "(31, 8)": 1, "(29, 8)": 3, "(31, 9)": 3, "(31, 10)": 3, "(30, 11)": 3, "(31, 12)": 3, "(30, 12)": 3, "(29, 12)": 3, "(30, 13)": 3, "(31, 14)": 3, "(28, 10)": 3, "(27, 10)": 2, "(27, 9)": 2, "(26, 9)": 3, "(25, 9)": 2, "(25, 10)": 2, "(24, 10)": 3, "(25, 11)": 2, "(27, 11)": 2, "(26, 11)": 3, "(25, 12)": 1, "(26, 12)": 1, "(27, 12)": 1, "(26, 13)": 3, "(28, 14)": 3, "(29, 14)": 3, "(18, 10)": 3, "(19, 9)": 3, "(17, 15)": 3, "(18, 14)": 2, "(25, 3)": 3, "(26, 3)": 3, "(30, 5)": 3, "(29, 9)": 3, "(32, 15)": 3, "(16, 10)": 3, "(18, 11)": 3, "(7, 15)": 3, "(27, 14)": 3, "(3, 9)": 3, "(39, 3)": 3, "(40, 3)": 3, "(41, 3)": 3, "(38, 4)": 3, "(42, 4)": 3, "(37, 5)": 3, "(38, 5)": 3, "(39, 5)": 3, "(40, 5)": 3, "(42, 5)": 3, "(45, 5)": 3, "(37, 6)": 3, "(39, 6)": 3, "(40, 6)": 3, "(41, 6)": 3, "(44, 6)": 3, "(46, 6)": 3, "(37, 7)": 1, "(38, 7)": 1, "(39, 7)": 1, "(40, 7)": 3, "(42, 7)": 3, "(43, 7)": 3, "(46, 7)": 3, "(38, 8)": 2, "(44, 8)": 3, "(46, 8)": 3, "(34, 9)": 3, "(37, 9)": 3, "(40, 9)": 3, "(41, 9)": 3, "(42, 9)": 3, "(44, 9)": 3, "(46, 9)": 3, "(33, 10)": 3, "(35, 10)": 3, "(36, 10)": 3, "(39, 10)": 3, "(40, 10)": 3, "(42, 10)": 3, "(43, 10)": 3, "(46, 10)": 3, "(33, 11)": 3, "(36, 11)": 3, "(38, 11)": 3, "(40, 11)": 3, "(41, 11)": 3, "(42, 11)": 3, "(45, 11)": 3, "(33, 12)": 3, "(36, 12)": 3, "(38, 12)": 3, "(40, 12)": 3, "(41, 12)": 3, "(42, 12)": 3, "(44, 12)": 3, "(45, 12)": 3, "(46, 12)": 3, "(33, 13)": 3, "(35, 13)": 2, "(38, 13)": 3, "(41, 13)": 3, "(45, 13)": 3, "(33, 14)": 3, "(35, 14)": 1, "(38, 14)": 3, "(42, 14)": 3, "(43, 14)": 3, "(44, 14)": 3, "(46, 14)": 3, "(36, 15)": 3, "(37, 15)": 3, "(47, 15)": 3, "(54, 3)": 3, "(55, 3)": 3, "(56, 3)": 3, "(53, 4)": 3, "(57, 4)": 3, "(52, 5)": 3, "(53, 5)": 3, "(54, 5)": 3, "(55, 5)": 3, "(57, 5)": 3, "(60, 5)": 3, "(52, 6)": 3, "(54, 6)": 3, "(55, 6)": 3, "(56, 6)": 3, "(59, 6)": 3, "(61, 6)": 3, "(52, 7)": 3, "(53, 7)": 3, "(54, 7)": 3, "(55, 7)": 3, "(57, 7)": 3, "(58, 7)": 3, "(61, 7)": 3, "(53, 8)": 3, "(59, 8)": 3, "(61, 8)": 3, "(49, 9)": 3, "(52, 9)": 3, "(55, 9)": 2, "(56, 9)": 1, "(57, 9)": 3, "(59, 9)": 3, "(61, 9)": 3, "(48, 10)": 3, "(50, 10)": 3, "(51, 10)": 3, "(54, 10)": 3, "(55, 10)": 2, "(57, 10)": 3, "(58, 10)": 3, "(61, 10)": 3, "(48, 11)": 3, "(51, 11)": 3, "(53, 11)": 3, "(55, 11)": 2, "(56, 11)": 1, "(57, 11)": 3, "(60, 11)": 3, "(48, 12)": 3, "(51, 12)": 3, "(53, 12)": 3, "(55, 12)": 1, "(56, 12)": 1, "(57, 12)": 3, "(59, 12)": 3, "(60, 12)": 3, "(61, 12)": 3, "(48, 13)": 3, "(50, 13)": 3, "(53, 13)": 3, "(56, 13)": 3, "(60, 13)": 3, "(48, 14)": 3, "(50, 14)": 3, "(53, 14)": 3, "(57, 14)": 3, "(58, 14)": 3, "(59, 14)": 3, "(61, 14)": 3, "(51, 15)": 3, "(52, 15)": 3, "(62, 15)": 3, "(12, 2)": 3, "(27, 2)": 3, "(12, 1)": 3, "(14, 2)": 3, "(15, 3)": 3, "(16, 2)": 3, "(16, 1)": 3, "(12, 0)": 2, "(18, 0)": 3, "(18, 1)": 3, "(12, -1)": 1, "(16, -1)": 3, "(16, 0)": 3, "(29, -1)": 3, "(31, -1)": 3, "(29, 0)": 3, "(31, 0)": 3, "(33, 0)": 3, "(29, 1)": 3, "(31, 1)": 3, "(33, 1)": 3, "(29, 2)": 3, "(31, 2)": 3, "(42, 2)": 3, "(30, 3)": 3, "(42, -1)": 3, "(44, -1)": 3, "(46, -1)": 3, "(52, -1)": 3, "(42, 0)": 3, "(44, 0)": 3, "(46, 0)": 3, "(48, 0)": 3, "(42, 1)": 3, "(44, 1)": 3, "(46, 1)": 3, "(48, 1)": 3, "(44, 2)": 3, "(46, 2)": 3, "(57, 2)": 3, "(45, 3)": 3, "(27, -7)": 3, "(29, -7)": 3, "(31, -7)": 3, "(27, -6)": 3, "(29, -6)": 3, "(31, -6)": 1, "(33, -6)": 3, "(42, -7)": 1, "(44, -7)": 3, "(46, -7)": 3, "(42, -6)": 2, "(44, -6)": 3, "(46, -6)": 1, "(48, -6)": 3, "(58, 1)": 3, "(59, 1)": 3, "(60, 1)": 3, "(61, 1)": 3, "(62, 1)": 3, "(61, 3)": 3, "(60, 2)": 3, "(62, 3)": 3, "(62, 4)": 3, "(27, 1)": 3, "(27, 0)": 2, "(27, -1)": 1, "(24, -3)": 3, "(14, -1)": 3, "(39, -3)": 3, "(35, -5)": 3, "(37, -1)": 3, "(38, -8)": 3, "(39, -9)": 3, "(50, -5)": 3, "(54, -3)": 3, "(42, -11)": 3, "(44, -11)": 3, "(46, -11)": 3, "(48, -11)": 3, "(42, -10)": 3, "(44, -10)": 3, "(46, -10)": 3, "(54, -9)": 3, "(53, -8)": 3, "(62, -5)": 3, "(61, -5)": 3, "(62, -4)": 3, "(61, -15)": 3, "(62, -15)": 3, "(14, 1)": 3, "(14, 0)": 3, "(13, -2)": 3, "(17, -2)": 3, "(20, 1)": 2, "(22, -1)": 3, "(23, -2)": 3, "(25, -3)": 3, "(40, -3)": 3, "(28, -2)": 3, "(32, -2)": 3, "(38, -2)": 3, "(35, 1)": 3, "(26, -3)": 3, "(40, -9)": 3, "(28, -8)": 3, "(32, -8)": 3, "(37, -7)": 3, "(27, -5)": 3, "(29, -5)": 3, "(31, -5)": 2, "(33, -5)": 3, "(27, -4)": 3, "(29, -4)": 3, "(31, -4)": 3, "(30, -3)": 3, "(55, -3)": 3, "(56, -3)": 3, "(43, -2)": 3, "(47, -2)": 3, "(53, -2)": 3, "(50, 1)": 3, "(41, -3)": 3, "(55, -9)": 3, "(56, -9)": 3, "(43, -8)": 3, "(47, -8)": 3, "(52, -7)": 3, "(42, -5)": 3, "(44, -5)": 3, "(46, -5)": 2, "(48, -5)": 3, "(42, -4)": 3, "(44, -4)": 3, "(46, -4)": 3, "(45, -3)": 3, "(54, -15)": 3, "(55, -15)": 3, "(56, -15)": 3, "(43, -14)": 3, "(47, -14)": 3, "(53, -14)": 3, "(42, -13)": 1, "(44, -13)": 3, "(46, -13)": 3, "(52, -13)": 3, "(42, -12)": 2, "(44, -12)": 3, "(46, -12)": 3, "(48, -12)": 3, "(50, -11)": 2, "(41, -9)": 3, "(45, -9)": 3, "(62, 2)": 3, "(58, -5)": 3, "(59, -5)": 3, "(60, -5)": 3, "(60, -4)": 3, "(61, -3)": 3, "(62, -3)": 3, "(62, -2)": 3, "(57, -4)": 3, "(58, -11)": 3, "(59, -11)": 3, "(60, -11)": 3, "(61, -11)": 3, "(62, -11)": 3, "(57, -10)": 3, "(60, -10)": 3, "(62, -10)": 3, "(61, -9)": 3, "(62, -9)": 3, "(62, -8)": 3, "(58, -17)": 3, "(59, -17)": 3, "(60, -17)": 3, "(61, -17)": 3, "(62, -17)": 3, "(57, -16)": 3, "(60, -16)": 3, "(62, -16)": 3, "(62, -14)": 3, "(21, 0)": 1, "(36, -6)": 3, "(36, 0)": 3, "(51, 0)": 3, "(51, -6)": 3, "(19, 2)": 3, "(19, -1)": 3, "(18, -2)": 3, "(33, -2)": 3, "(34, -1)": 3, "(34, 2)": 3, "(33, -8)": 3, "(34, -7)": 3, "(34, -4)": 3, "(48, -2)": 3, "(49, -1)": 3, "(49, 2)": 3, "(48, -8)": 3, "(49, -7)": 3, "(49, -4)": 3, "(48, -14)": 3, "(49, -13)": 3, "(49, -10)": 3, "(51, -12)": 1, "(63, -17)": 3, "(64, -17)": 3, "(64, -16)": 3, "(64, -15)": 3, "(63, -14)": 3, "(64, -14)": 3, "(63, -11)": 3, "(64, -11)": 3, "(64, -10)": 3, "(64, -9)": 3, "(64, -8)": 3, "(63, -8)": 3, "(63, -5)": 3, "(64, -5)": 3, "(64, -4)": 3, "(64, -3)": 3, "(64, -2)": 3, "(63, -2)": 3, "(65, -5)": 3, "(66, -5)": 3, "(66, -4)": 3, "(66, -3)": 3, "(66, -2)": 3, "(65, -2)": 3, "(65, -11)": 3, "(66, -11)": 3, "(66, -10)": 3, "(66, -9)": 3, "(66, -8)": 3, "(65, -8)": 3, "(65, -17)": 3, "(66, -17)": 3, "(66, -16)": 3, "(66, -15)": 3, "(66, -14)": 3, "(65, -14)": 3, "(63, 1)": 3, "(64, 1)": 3, "(66, 1)": 3, "(65, 1)": 3, "(64, 2)": 3, "(64, 3)": 3, "(64, 4)": 3, "(63, 4)": 3, "(65, 4)": 3, "(66, 4)": 3, "(66, 3)": 3, "(66, 2)": 3}}