passer_5_delay.json

{"CA_type": "wireworld", "size": [21, 12], "state": {"(15, 8)": 3, "(16, 8)": 3, "(17, 8)": 3, "(17, 11)": 3, "(16, 12)": 3, "(13, 8)": 3, "(9, 4)": 3, "(11, 4)": 3, "(13, 4)": 3, "(12, 7)": 3, "(11, 6)": 3, "(13, 6)": 3, "(12, 5)": 3, "(11, 3)": 3, "(14, 3)": 3, "(15, 4)": 3, "(15, 5)": 3, "(16, 6)": 3, "(17, 5)": 3, "(17, 4)": 3, "(21, 2)": 3, "(19, 4)": 3, "(19, 5)": 3, "(20, 6)": 3, "(21, 5)": 3, "(21, 6)": 3, "(21, 7)": 3, "(22, 3)": 3, "(23, 4)": 3, "(23, 5)": 3, "(23, 7)": 3, "(23, 8)": 3, "(18, 3)": 3, "(14, 1)": 3, "(15, 1)": 3, "(16, 1)": 3, "(17, 1)": 3, "(18, 1)": 3, "(19, 1)": 3, "(14, 13)": 1, "(13, 10)": 3, "(17, 9)": 3, "(17, 10)": 3, "(15, 9)": 3, "(15, 13)": 2, "(15, 10)": 3, "(10, 4)": 3, "(12, 10)": 3, "(13, 13)": 3, "(31, 1)": 3, "(32, 1)": 3, "(33, 1)": 3, "(34, 1)": 3, "(35, 1)": 3, "(36, 1)": 3, "(37, 1)": 3, "(29, 2)": 3, "(38, 2)": 3, "(28, 3)": 3, "(31, 3)": 3, "(35, 3)": 3, "(39, 3)": 3, "(28, 4)": 3, "(30, 4)": 3, "(32, 4)": 3, "(34, 4)": 3, "(36, 4)": 3, "(40, 4)": 3, "(44, 4)": 3, "(29, 5)": 3, "(32, 5)": 3, "(34, 5)": 3, "(36, 5)": 3, "(38, 5)": 3, "(40, 5)": 3, "(28, 6)": 3, "(29, 6)": 3, "(30, 6)": 3, "(33, 6)": 3, "(37, 6)": 3, "(38, 6)": 3, "(29, 7)": 3, "(38, 7)": 3, "(40, 7)": 3, "(30, 8)": 3, "(32, 8)": 3, "(33, 8)": 3, "(34, 8)": 3, "(40, 8)": 3, "(31, 9)": 3, "(32, 9)": 3, "(34, 9)": 3, "(35, 9)": 3, "(36, 9)": 3, "(37, 9)": 3, "(29, 10)": 3, "(30, 10)": 3, "(32, 10)": 3, "(33, 10)": 3, "(34, 10)": 3, "(32, 11)": 3, "(33, 11)": 3, "(34, 11)": 3, "(33, 12)": 3, "(30, 13)": 3, "(31, 13)": 3, "(30, 1)": 3, "(39, 6)": 3, "(27, 4)": 3, "(30, 12)": 3, "(30, 14)": 3, "(29, 12)": 3, "(29, 14)": 3, "(27, 12)": 3, "(27, 11)": 3, "(28, 10)": 3, "(13, 12)": 3, "(13, 14)": 3, "(12, 14)": 3, "(11, 13)": 3, "(12, 12)": 3, "(10, 11)": 3, "(11, 10)": 3, "(22, 6)": 3, "(13, 1)": 3, "(19, 9)": 3, "(20, 9)": 3, "(23, 9)": 3, "(23, 10)": 3, "(21, 10)": 3, "(22, 12)": 3, "(23, 11)": 3, "(21, 11)": 3, "(18, 9)": 3, "(21, 14)": 3, "(22, 14)": 3, "(23, 14)": 3, "(22, 13)": 3, "(21, 15)": 3, "(22, 16)": 3, "(23, 15)": 3, "(12, 2)": 3, "(26, 4)": 3, "(40, 9)": 3, "(38, 10)": 3, "(40, 10)": 3, "(38, 11)": 3, "(40, 11)": 3, "(39, 12)": 3, "(39, 13)": 3, "(38, 14)": 3, "(39, 14)": 3, "(40, 14)": 3, "(38, 15)": 3, "(40, 15)": 3, "(39, 16)": 3, "(48, 1)": 3, "(49, 1)": 3, "(50, 1)": 3, "(51, 1)": 3, "(52, 1)": 3, "(53, 1)": 3, "(54, 1)": 3, "(45, 4)": 3, "(46, 6)": 3, "(47, 6)": 3, "(55, 6)": 3, "(56, 6)": 3, "(50, 8)": 3, "(51, 8)": 3, "(49, 9)": 3, "(52, 9)": 3, "(53, 9)": 3, "(54, 9)": 3, "(46, 10)": 3, "(47, 10)": 3, "(50, 10)": 3, "(51, 10)": 3, "(50, 11)": 3, "(51, 11)": 3, "(47, 12)": 3, "(48, 13)": 3, "(49, 13)": 3, "(47, 14)": 3, "(56, 14)": 3, "(57, 14)": 3, "(47, 1)": 3, "(46, 2)": 3, "(55, 2)": 3, "(45, 3)": 3, "(48, 3)": 3, "(52, 3)": 3, "(56, 3)": 3, "(43, 4)": 3, "(47, 4)": 3, "(49, 4)": 3, "(51, 4)": 3, "(53, 4)": 3, "(57, 4)": 3, "(46, 5)": 3, "(49, 5)": 3, "(51, 5)": 3, "(53, 5)": 3, "(55, 5)": 3, "(57, 5)": 3, "(45, 6)": 3, "(50, 6)": 3, "(54, 6)": 3, "(46, 7)": 3, "(55, 7)": 3, "(57, 7)": 3, "(47, 8)": 3, "(49, 8)": 3, "(57, 8)": 3, "(48, 9)": 3, "(51, 9)": 3, "(57, 9)": 3, "(45, 10)": 3, "(49, 10)": 3, "(55, 10)": 3, "(57, 10)": 3, "(44, 11)": 3, "(49, 11)": 3, "(55, 11)": 3, "(57, 11)": 3, "(44, 12)": 3, "(46, 12)": 3, "(50, 12)": 3, "(56, 12)": 3, "(45, 13)": 3, "(47, 13)": 3, "(56, 13)": 3, "(46, 14)": 3, "(55, 14)": 3, "(55, 15)": 3, "(57, 15)": 3, "(56, 16)": 3, "(64, 1)": 3, "(65, 1)": 3, "(66, 1)": 3, "(67, 1)": 3, "(68, 1)": 3, "(69, 1)": 3, "(70, 1)": 3, "(71, 1)": 3, "(63, 2)": 3, "(72, 2)": 3, "(62, 3)": 3, "(65, 3)": 3, "(69, 3)": 3, "(73, 3)": 3, "(60, 4)": 3, "(61, 4)": 3, "(62, 4)": 3, "(64, 4)": 3, "(66, 4)": 3, "(68, 4)": 3, "(70, 4)": 3, "(74, 4)": 3, "(63, 5)": 3, "(66, 5)": 3, "(68, 5)": 3, "(70, 5)": 3, "(72, 5)": 3, "(74, 5)": 3, "(62, 6)": 3, "(63, 6)": 3, "(64, 6)": 3, "(67, 6)": 3, "(71, 6)": 3, "(72, 6)": 3, "(73, 6)": 3, "(63, 7)": 3, "(72, 7)": 3, "(74, 7)": 3, "(64, 8)": 3, "(66, 8)": 3, "(67, 8)": 3, "(68, 8)": 3, "(74, 8)": 3, "(65, 9)": 3, "(66, 9)": 3, "(68, 9)": 3, "(69, 9)": 3, "(70, 9)": 3, "(71, 9)": 3, "(74, 9)": 3, "(62, 10)": 3, "(64, 10)": 3, "(66, 10)": 3, "(67, 10)": 3, "(68, 10)": 3, "(72, 10)": 3, "(74, 10)": 3, "(61, 11)": 3, "(66, 11)": 3, "(67, 11)": 3, "(68, 11)": 3, "(72, 11)": 3, "(74, 11)": 3, "(61, 12)": 3, "(63, 12)": 3, "(64, 12)": 3, "(67, 12)": 3, "(73, 12)": 3, "(62, 13)": 3, "(64, 13)": 3, "(65, 13)": 3, "(66, 13)": 3, "(73, 13)": 3, "(63, 14)": 3, "(64, 14)": 3, "(72, 14)": 3, "(73, 14)": 3, "(74, 14)": 3, "(72, 15)": 3, "(74, 15)": 3, "(73, 16)": 3, "(81, 1)": 3, "(82, 1)": 3, "(83, 1)": 3, "(84, 1)": 3, "(85, 1)": 3, "(86, 1)": 3, "(87, 1)": 3, "(88, 1)": 3, "(80, 2)": 3, "(89, 2)": 3, "(79, 3)": 3, "(82, 3)": 3, "(86, 3)": 3, "(90, 3)": 3, "(77, 4)": 3, "(78, 4)": 3, "(79, 4)": 3, "(81, 4)": 3, "(83, 4)": 3, "(85, 4)": 3, "(87, 4)": 3, "(91, 4)": 3, "(80, 5)": 3, "(83, 5)": 3, "(85, 5)": 3, "(87, 5)": 3, "(89, 5)": 3, "(91, 5)": 3, "(79, 6)": 3, "(80, 6)": 3, "(81, 6)": 3, "(84, 6)": 3, "(88, 6)": 3, "(89, 6)": 3, "(90, 6)": 3, "(80, 7)": 3, "(89, 7)": 3, "(91, 7)": 3, "(81, 8)": 3, "(83, 8)": 3, "(84, 8)": 3, "(85, 8)": 3, "(91, 8)": 3, "(82, 9)": 3, "(83, 9)": 3, "(85, 9)": 3, "(87, 9)": 3, "(88, 9)": 3, "(91, 9)": 3, "(79, 10)": 3, "(80, 10)": 3, "(81, 10)": 3, "(83, 10)": 3, "(84, 10)": 3, "(85, 10)": 3, "(78, 11)": 3, "(83, 11)": 3, "(84, 11)": 3, "(85, 11)": 3, "(89, 11)": 3, "(91, 11)": 3, "(78, 12)": 3, "(80, 12)": 3, "(81, 12)": 3, "(84, 12)": 3, "(90, 12)": 3, "(79, 13)": 3, "(81, 13)": 3, "(82, 13)": 3, "(83, 13)": 3, "(90, 13)": 3, "(80, 14)": 3, "(81, 14)": 3, "(89, 14)": 3, "(90, 14)": 3, "(91, 14)": 3, "(89, 15)": 3, "(91, 15)": 3, "(88, 18)": 3, "(87, 19)": 3, "(86, 20)": 3, "(85, 21)": 3, "(84, 22)": 3, "(83, 23)": 3, "(82, 24)": 3, "(45, 24)": 3, "(28, 24)": 3, "(29, 24)": 3, "(30, 24)": 3, "(34, 24)": 3, "(42, 24)": 3, "(90, 16)": 3, "(72, 17)": 3, "(70, 16)": 3, "(70, 15)": 3, "(70, 14)": 3, "(69, 13)": 3, "(68, 14)": 3, "(68, 15)": 3, "(68, 16)": 3, "(68, 17)": 3, "(66, 17)": 3, "(65, 16)": 3, "(64, 16)": 3, "(63, 16)": 3, "(63, 18)": 3, "(63, 20)": 3, "(62, 20)": 3, "(77, 15)": 3, "(81, 25)": 3, "(80, 26)": 3, "(79, 27)": 3, "(78, 28)": 3, "(64, 26)": 3, "(68, 26)": 3, "(73, 19)": 3, "(74, 20)": 3, "(73, 25)": 3, "(76, 25)": 3, "(76, 24)": 3, "(76, 23)": 3, "(76, 22)": 3, "(89, 17)": 3, "(89, 10)": 3, "(91, 10)": 3, "(71, 17)": 3, "(47, 26)": 3, "(16, 10)": 3, "(16, 11)": 3, "(15, 11)": 3, "(86, 9)": 3, "(51, 14)": 3, "(53, 14)": 3, "(61, 14)": 3, "(51, 15)": 3, "(53, 15)": 3, "(60, 15)": 3, "(46, 16)": 3, "(47, 16)": 3, "(48, 16)": 3, "(51, 16)": 3, "(53, 16)": 3, "(49, 17)": 3, "(51, 17)": 3, "(54, 17)": 3, "(55, 17)": 3, "(46, 18)": 3, "(59, 19)": 3, "(45, 20)": 3, "(46, 20)": 3, "(53, 20)": 3, "(59, 20)": 3, "(53, 21)": 3, "(59, 21)": 3, "(45, 22)": 3, "(46, 22)": 3, "(47, 22)": 3, "(50, 22)": 3, "(59, 22)": 3, "(54, 23)": 3, "(59, 23)": 3, "(46, 24)": 3, "(47, 24)": 3, "(51, 24)": 3, "(59, 24)": 3, "(56, 25)": 3, "(59, 25)": 3, "(48, 26)": 3, "(49, 26)": 3, "(50, 26)": 3, "(51, 26)": 3, "(61, 21)": 3, "(61, 25)": 3, "(52, 13)": 3, "(34, 14)": 3, "(36, 14)": 3, "(44, 14)": 3, "(34, 15)": 3, "(36, 15)": 3, "(43, 15)": 3, "(29, 16)": 3, "(30, 16)": 3, "(31, 16)": 3, "(34, 16)": 3, "(36, 16)": 3, "(32, 17)": 3, "(34, 17)": 3, "(37, 17)": 3, "(38, 17)": 3, "(42, 17)": 3, "(29, 18)": 3, "(42, 19)": 3, "(28, 20)": 3, "(29, 20)": 3, "(36, 20)": 3, "(42, 20)": 3, "(36, 21)": 3, "(42, 21)": 3, "(28, 22)": 3, "(29, 22)": 3, "(30, 22)": 3, "(33, 22)": 3, "(42, 22)": 3, "(37, 23)": 3, "(42, 23)": 3, "(39, 25)": 3, "(42, 25)": 3, "(30, 26)": 3, "(31, 26)": 3, "(32, 26)": 3, "(33, 26)": 3, "(34, 26)": 3, "(42, 16)": 3, "(59, 16)": 3, "(44, 21)": 3, "(44, 25)": 3, "(35, 13)": 3, "(17, 14)": 3, "(19, 14)": 3, "(27, 14)": 3, "(17, 15)": 3, "(19, 15)": 3, "(26, 15)": 3, "(12, 16)": 3, "(13, 16)": 3, "(14, 16)": 3, "(17, 16)": 3, "(19, 16)": 3, "(15, 17)": 3, "(17, 17)": 3, "(20, 17)": 3, "(21, 17)": 3, "(25, 17)": 3, "(12, 18)": 3, "(25, 19)": 3, "(12, 20)": 3, "(19, 20)": 3, "(25, 20)": 3, "(10, 21)": 3, "(19, 21)": 3, "(25, 21)": 3, "(11, 22)": 3, "(12, 22)": 3, "(13, 22)": 3, "(16, 22)": 3, "(25, 22)": 3, "(20, 23)": 3, "(25, 23)": 3, "(11, 24)": 3, "(12, 24)": 3, "(13, 24)": 3, "(17, 24)": 3, "(25, 24)": 3, "(10, 25)": 3, "(22, 25)": 3, "(25, 25)": 3, "(13, 26)": 3, "(14, 26)": 3, "(15, 26)": 3, "(16, 26)": 3, "(17, 26)": 3, "(18, 13)": 3, "(8, 26)": 3, "(8, 25)": 3, "(8, 24)": 3, "(8, 23)": 3, "(8, 22)": 3, "(9, 15)": 3, "(8, 19)": 3, "(8, 20)": 3, "(8, 21)": 3, "(25, 16)": 3, "(27, 25)": 3, "(27, 21)": 3, "(61, 26)": 3, "(61, 27)": 3, "(61, 28)": 3, "(63, 28)": 3, "(63, 27)": 3, "(69, 27)": 3, "(71, 28)": 3, "(71, 27)": 3, "(71, 26)": 3, "(73, 26)": 3, "(73, 27)": 3, "(76, 26)": 3, "(75, 28)": 3, "(76, 27)": 3, "(8, 29)": 3, "(8, 27)": 3, "(70, 25)": 3, "(74, 24)": 3, "(73, 28)": 3, "(74, 29)": 3, "(8, 16)": 3, "(67, 18)": 3, "(62, 22)": 3, "(62, 24)": 3, "(64, 22)": 3, "(63, 22)": 3, "(63, 24)": 3, "(64, 24)": 3, "(64, 18)": 3, "(65, 19)": 3, "(64, 20)": 3, "(69, 24)": 3, "(68, 24)": 3, "(65, 23)": 3, "(67, 23)": 3, "(67, 22)": 3, "(68, 20)": 3, "(69, 19)": 3, "(70, 20)": 3, "(70, 21)": 3, "(70, 22)": 3, "(71, 23)": 3, "(72, 22)": 3, "(72, 21)": 3, "(72, 20)": 3, "(74, 21)": 3, "(74, 22)": 3, "(65, 26)": 3, "(66, 26)": 3, "(67, 26)": 3, "(68, 28)": 3, "(67, 28)": 3, "(66, 28)": 3, "(65, 29)": 3, "(71, 29)": 3, "(74, 23)": 3, "(8, 30)": 3, "(67, 21)": 3, "(78, 14)": 3, "(47, 18)": 3, "(50, 18)": 3, "(48, 19)": 3, "(52, 19)": 3, "(47, 20)": 3, "(51, 20)": 3, "(50, 21)": 3, "(57, 21)": 3, "(53, 22)": 3, "(55, 22)": 3, "(57, 22)": 3, "(48, 23)": 3, "(50, 23)": 3, "(57, 23)": 3, "(52, 24)": 3, "(57, 24)": 3, "(53, 25)": 3, "(44, 26)": 3, "(54, 26)": 3, "(56, 26)": 3, "(59, 26)": 3, "(44, 27)": 3, "(46, 27)": 3, "(52, 27)": 3, "(54, 27)": 3, "(56, 27)": 3, "(59, 27)": 3, "(44, 28)": 3, "(46, 28)": 3, "(49, 28)": 3, "(50, 28)": 3, "(51, 28)": 3, "(54, 28)": 3, "(56, 28)": 3, "(48, 29)": 3, "(54, 29)": 3, "(30, 18)": 3, "(33, 18)": 3, "(31, 19)": 3, "(35, 19)": 3, "(30, 20)": 3, "(34, 20)": 3, "(33, 21)": 3, "(38, 21)": 3, "(40, 21)": 3, "(36, 22)": 3, "(38, 22)": 3, "(40, 22)": 3, "(31, 23)": 3, "(33, 23)": 3, "(40, 23)": 3, "(35, 24)": 3, "(40, 24)": 3, "(36, 25)": 3, "(27, 26)": 3, "(37, 26)": 3, "(39, 26)": 3, "(42, 26)": 3, "(27, 27)": 3, "(29, 27)": 3, "(35, 27)": 3, "(37, 27)": 3, "(39, 27)": 3, "(42, 27)": 3, "(27, 28)": 3, "(29, 28)": 3, "(32, 28)": 3, "(33, 28)": 3, "(34, 28)": 3, "(37, 28)": 3, "(39, 28)": 3, "(31, 29)": 3, "(37, 29)": 3, "(13, 18)": 3, "(16, 18)": 3, "(14, 19)": 3, "(18, 19)": 3, "(13, 20)": 3, "(17, 20)": 3, "(16, 21)": 3, "(21, 21)": 3, "(23, 21)": 3, "(19, 22)": 3, "(21, 22)": 3, "(23, 22)": 3, "(14, 23)": 3, "(16, 23)": 3, "(23, 23)": 3, "(18, 24)": 3, "(19, 25)": 3, "(10, 26)": 3, "(20, 26)": 3, "(22, 26)": 3, "(25, 26)": 3, "(10, 27)": 3, "(12, 27)": 3, "(18, 27)": 3, "(20, 27)": 3, "(22, 27)": 3, "(25, 27)": 3, "(10, 28)": 3, "(12, 28)": 3, "(15, 28)": 3, "(16, 28)": 3, "(17, 28)": 3, "(20, 28)": 3, "(22, 28)": 3, "(14, 29)": 3, "(20, 29)": 3, "(25, 3)": 3, "(25, 2)": 3, "(8, 3)": 3, "(8, 2)": 3, "(8, 1)": 3, "(8, 0)": 3, "(25, 1)": 3, "(25, 0)": 3, "(25, -1)": 3, "(8, -1)": 3, "(76, 3)": 3, "(76, 2)": 3, "(76, 1)": 3, "(76, 0)": 3, "(76, -1)": 3, "(59, 3)": 3, "(59, 2)": 3, "(59, 1)": 3, "(59, 0)": 3, "(59, -1)": 3, "(75, -2)": 3, "(74, -3)": 3, "(73, -4)": 3, "(72, -5)": 3, "(71, -6)": 3, "(70, -7)": 3, "(69, -8)": 3, "(58, -2)": 3, "(57, -3)": 3, "(56, -4)": 3, "(55, -5)": 3, "(54, -6)": 3, "(53, -7)": 3, "(52, -8)": 3, "(68, -9)": 3, "(66, -11)": 3, "(65, -12)": 3, "(64, -12)": 3, "(63, -12)": 3, "(62, -12)": 3, "(61, -12)": 3, "(60, -12)": 3, "(59, -12)": 3, "(58, -12)": 3, "(57, -12)": 3, "(56, -12)": 3, "(55, -12)": 3, "(54, -12)": 3, "(52, -12)": 3, "(53, -12)": 3, "(51, -12)": 3, "(67, -10)": 3, "(49, -12)": 3, "(50, -12)": 3, "(49, -8)": 3, "(49, -7)": 3, "(51, -7)": 3, "(51, -6)": 3, "(49, -6)": 3, "(49, -5)": 3, "(51, -5)": 3, "(49, -4)": 3, "(51, -4)": 3, "(49, -3)": 3, "(49, -2)": 3, "(50, -1)": 3, "(51, -1)": 3, "(52, -1)": 3, "(53, -1)": 3, "(54, -1)": 3, "(55, -2)": 3, "(54, -3)": 3, "(53, -3)": 3, "(52, -3)": 3, "(48, -9)": 3, "(28, -12)": 3, "(42, 3)": 3, "(42, 2)": 3, "(42, 1)": 3, "(42, 0)": 3, "(42, -1)": 3, "(41, -2)": 3, "(40, -3)": 3, "(39, -4)": 3, "(38, -5)": 3, "(37, -6)": 3, "(36, -7)": 3, "(48, -13)": 3, "(47, -10)": 3, "(30, -10)": 3, "(35, -8)": 3, "(34, -7)": 3, "(34, -6)": 3, "(34, -5)": 3, "(34, -4)": 3, "(35, -3)": 3, "(36, -3)": 3, "(37, -3)": 3, "(38, -2)": 3, "(37, -1)": 3, "(36, -1)": 3, "(35, -1)": 3, "(34, -1)": 3, "(33, -1)": 3, "(32, -2)": 3, "(32, -3)": 3, "(32, -4)": 3, "(32, -5)": 3, "(32, -6)": 3, "(32, -7)": 3, "(32, -8)": 3, "(46, -11)": 3, "(37, -15)": 3, "(38, -15)": 3, "(39, -15)": 3, "(40, -15)": 3, "(41, -15)": 3, "(42, -15)": 3, "(43, -15)": 3, "(44, -15)": 3, "(45, -15)": 3, "(40, -12)": 3, "(41, -12)": 3, "(42, -12)": 3, "(43, -12)": 3, "(44, -12)": 3, "(45, -12)": 3, "(47, -14)": 3, "(46, -15)": 3, "(28, -15)": 3, "(29, -15)": 3, "(33, -15)": 3, "(34, -15)": 3, "(35, -15)": 3, "(36, -15)": 3, "(32, -12)": 3, "(33, -12)": 3, "(34, -12)": 3, "(35, -12)": 3, "(36, -12)": 3, "(21, -15)": 3, "(22, -15)": 3, "(23, -15)": 3, "(24, -15)": 3, "(25, -15)": 3, "(26, -15)": 3, "(27, -15)": 3, "(30, -14)": 3, "(31, -13)": 3, "(23, -12)": 3, "(24, -12)": 3, "(25, -12)": 3, "(26, -12)": 3, "(27, -12)": 3, "(29, -11)": 3, "(31, -9)": 3, "(32, -16)": 3, "(31, -17)": 3, "(30, -18)": 3, "(29, -18)": 3, "(28, -18)": 3, "(27, -18)": 3, "(26, -18)": 3, "(9, -18)": 3, "(10, -18)": 3, "(11, -18)": 3, "(12, -18)": 3, "(13, -18)": 3, "(14, -17)": 3, "(15, -16)": 3, "(4, -15)": 3, "(5, -15)": 3, "(6, -15)": 3, "(7, -15)": 3, "(8, -15)": 3, "(9, -15)": 3, "(10, -15)": 3, "(11, -15)": 3, "(12, -15)": 3, "(16, -15)": 3, "(17, -15)": 3, "(18, -15)": 3, "(19, -15)": 3, "(20, -15)": 3, "(13, -14)": 3, "(14, -13)": 3, "(6, -12)": 3, "(7, -12)": 3, "(8, -12)": 3, "(9, -12)": 3, "(10, -12)": 3, "(11, -12)": 3, "(15, -12)": 3, "(16, -12)": 3, "(17, -12)": 3, "(18, -12)": 3, "(19, -12)": 3, "(12, -11)": 3, "(13, -10)": 3, "(14, -9)": 3, "(15, -8)": 3, "(18, -8)": 3, "(15, -7)": 3, "(17, -7)": 3, "(19, -7)": 3, "(15, -6)": 3, "(17, -6)": 3, "(20, -6)": 3, "(15, -5)": 3, "(17, -5)": 3, "(21, -5)": 3, "(15, -4)": 3, "(17, -4)": 3, "(22, -4)": 3, "(15, -3)": 3, "(18, -3)": 3, "(19, -3)": 3, "(20, -3)": 3, "(23, -3)": 3, "(15, -2)": 3, "(21, -2)": 3, "(24, -2)": 3, "(16, -1)": 3, "(17, -1)": 3, "(18, -1)": 3, "(19, -1)": 3, "(20, -1)": 3, "(-5, -18)": 3, "(-4, -18)": 3, "(-3, -17)": 3, "(-2, -16)": 3, "(-5, -15)": 3, "(-1, -15)": 3, "(0, -15)": 3, "(1, -15)": 3, "(2, -15)": 3, "(3, -15)": 3, "(-4, -14)": 3, "(-3, -13)": 3, "(-2, -12)": 3, "(-1, -12)": 3, "(0, -12)": 3, "(1, -12)": 3, "(2, -12)": 3, "(-4, -10)": 3, "(-3, -9)": 3, "(-2, -8)": 3, "(1, -8)": 3, "(-2, -7)": 3, "(0, -7)": 3, "(2, -7)": 3, "(-2, -6)": 3, "(0, -6)": 3, "(3, -6)": 3, "(-2, -5)": 3, "(0, -5)": 3, "(4, -5)": 3, "(-2, -4)": 3, "(0, -4)": 3, "(5, -4)": 3, "(-2, -3)": 3, "(1, -3)": 3, "(2, -3)": 3, "(3, -3)": 3, "(6, -3)": 3, "(-2, -2)": 3, "(4, -2)": 3, "(7, -2)": 3, "(-1, -1)": 3, "(0, -1)": 3, "(1, -1)": 3, "(2, -1)": 3, "(3, -1)": 3, "(25, -18)": 3, "(24, -18)": 3, "(23, -18)": 3, "(22, -18)": 3, "(21, -18)": 3, "(20, -18)": 3, "(19, -18)": 3, "(18, -18)": 3, "(17, -18)": 3, "(16, -19)": 3, "(15, -20)": 3, "(14, -21)": 3, "(13, -21)": 3, "(12, -21)": 3, "(11, -21)": 3, "(10, -21)": 3, "(9, -21)": 3, "(8, -18)": 3, "(7, -18)": 3, "(0, -18)": 3, "(1, -18)": 3, "(2, -18)": 3, "(3, -18)": 3, "(4, -18)": 3, "(5, -18)": 3, "(6, -18)": 3, "(1, -21)": 3, "(2, -21)": 3, "(3, -21)": 3, "(4, -21)": 3, "(5, -21)": 3, "(6, -21)": 3, "(7, -21)": 3, "(8, -21)": 3, "(0, -22)": 3, "(-1, -23)": 3, "(-1, -19)": 3, "(-2, -20)": 3, "(-3, -21)": 3, "(-4, -21)": 3, "(-6, -15)": 3, "(-6, -18)": 3, "(-5, -21)": 3, "(-6, -21)": 3, "(-2, -24)": 3, "(-3, -24)": 3, "(-4, -24)": 3, "(-5, -24)": 3, "(-6, -24)": 3, "(-7, -12)": 3, "(-7, -15)": 3, "(-7, -18)": 3, "(-7, -21)": 3, "(-7, -24)": 3, "(-8, -23)": 3, "(-8, -22)": 3, "(-8, -13)": 3, "(-9, -22)": 3, "(-9, -14)": 3, "(-10, -15)": 3, "(-10, -21)": 3, "(-11, -20)": 3, "(-12, -19)": 3, "(-13, -18)": 3, "(-14, -18)": 3, "(-17, -18)": 3, "(-8, -14)": 3, "(-29, -23)": 3, "(-27, -23)": 3, "(-25, -23)": 3, "(-35, -22)": 3, "(-34, -22)": 3, "(-33, -22)": 3, "(-32, -22)": 3, "(-29, -22)": 3, "(-27, -22)": 3, "(-24, -22)": 3, "(-21, -22)": 3, "(-36, -21)": 3, "(-31, -21)": 3, "(-29, -21)": 3, "(-26, -21)": 3, "(-25, -21)": 3, "(-21, -21)": 3, "(-35, -20)": 3, "(-34, -20)": 3, "(-33, -20)": 3, "(-30, -20)": 3, "(-21, -20)": 3, "(-32, -19)": 3, "(-24, -19)": 3, "(-21, -19)": 3, "(-35, -18)": 3, "(-34, -18)": 3, "(-33, -18)": 3, "(-29, -18)": 3, "(-27, -18)": 3, "(-25, -18)": 3, "(-23, -18)": 3, "(-36, -17)": 3, "(-30, -17)": 3, "(-23, -17)": 3, "(-21, -17)": 3, "(-35, -16)": 3, "(-34, -16)": 3, "(-33, -16)": 3, "(-30, -16)": 3, "(-23, -16)": 3, "(-21, -16)": 3, "(-32, -15)": 3, "(-30, -15)": 3, "(-23, -15)": 3, "(-21, -15)": 3, "(-35, -14)": 3, "(-34, -14)": 3, "(-33, -14)": 3, "(-29, -14)": 3, "(-23, -14)": 3, "(-21, -14)": 3, "(-36, -13)": 3, "(-27, -13)": 3, "(-24, -13)": 3, "(-21, -13)": 3, "(-36, -12)": 3, "(-33, -12)": 3, "(-32, -12)": 3, "(-31, -12)": 3, "(-30, -12)": 3, "(-29, -12)": 3, "(-26, -12)": 3, "(-24, -12)": 3, "(-21, -12)": 3, "(-36, -11)": 3, "(-34, -11)": 3, "(-28, -11)": 3, "(-26, -11)": 3, "(-24, -11)": 3, "(-21, -11)": 3, "(-36, -10)": 3, "(-34, -10)": 3, "(-31, -10)": 3, "(-30, -10)": 3, "(-29, -10)": 3, "(-24, -10)": 3, "(-22, -10)": 3, "(-35, -9)": 3, "(-32, -9)": 3, "(-26, -9)": 3, "(-23, -9)": 3, "(-31, -8)": 3, "(-27, -8)": 3, "(-28, -24)": 3, "(-25, -24)": 3, "(-24, -25)": 3, "(-21, -25)": 1, "(-21, -23)": 3, "(-20, -18)": 3, "(20, -11)": 3, "(22, -11)": 3, "(19, -10)": 3, "(23, -10)": 3, "(24, -10)": 3, "(25, -10)": 3, "(26, -10)": 3, "(27, -10)": 3, "(20, -9)": 3, "(28, -9)": 3, "(21, -8)": 3, "(26, -8)": 3, "(27, -8)": 3, "(22, -7)": 3, "(25, -7)": 3, "(23, -6)": 3, "(26, -6)": 3, "(24, -5)": 3, "(26, -5)": 3, "(25, -4)": 3, "(3, -11)": 3, "(5, -11)": 3, "(2, -10)": 3, "(6, -10)": 3, "(7, -10)": 3, "(8, -10)": 3, "(9, -10)": 3, "(10, -10)": 3, "(3, -9)": 3, "(11, -9)": 3, "(4, -8)": 3, "(9, -8)": 3, "(10, -8)": 3, "(5, -7)": 3, "(8, -7)": 3, "(6, -6)": 3, "(9, -6)": 3, "(7, -5)": 3, "(9, -5)": 3, "(8, -4)": 3, "(37, -12)": 3, "(38, -12)": 3, "(39, -12)": 3, "(-8, -19)": 3, "(-9, -20)": 3, "(-13, -16)": 3, "(-11, -14)": 3, "(-12, -17)": 3, "(-14, -15)": 3, "(-15, -15)": 3, "(-16, -14)": 3, "(-15, -13)": 3, "(-14, -13)": 3, "(-11, -13)": 3, "(-13, -12)": 3, "(-14, -11)": 3, "(-15, -11)": 3, "(-16, -10)": 3, "(-14, -9)": 3, "(-13, -9)": 3, "(-11, -11)": 3, "(-11, -12)": 3, "(-7, -11)": 3, "(-5, -9)": 3, "(-7, -10)": 3, "(-7, -9)": 3, "(-7, -8)": 3, "(-7, -7)": 3, "(-5, -8)": 3, "(-5, -7)": 3, "(-5, -6)": 3, "(-5, -5)": 3, "(-5, -4)": 3, "(-5, -3)": 3, "(-7, -3)": 3, "(-7, -2)": 3, "(-5, -2)": 3, "(-6, -1)": 3, "(-8, -6)": 3, "(-9, -6)": 3, "(-8, -4)": 3, "(-10, -6)": 3, "(-11, -6)": 3, "(-12, -6)": 3, "(-13, -6)": 3, "(-14, -6)": 3, "(-14, -4)": 3, "(-13, -4)": 3, "(-11, -2)": 3, "(-9, -2)": 3, "(-9, -3)": 3, "(-11, -1)": 3, "(-10, 0)": 3, "(-9, -1)": 3, "(-12, -3)": 3, "(-16, -5)": 3, "(-15, -6)": 3, "(-15, -4)": 3, "(-15, -9)": 3, "(-12, -10)": 3, "(12, 6)": 3, "(11, 20)": 3, "(8, 28)": 3, "(8, 17)": 3, "(10, 14)": 3, "(10, 12)": 3, "(7, 19)": 3, "(9, 19)": 3, "(9, 18)": 3, "(7, 18)": 3, "(11, 17)": 3, "(22, 20)": 3, "(10, 29)": 3, "(12, 29)": 3, "(22, 29)": 3, "(23, 30)": 3, "(24, 29)": 3, "(25, 28)": 3, "(24, 19)": 3, "(26, 19)": 3, "(26, 18)": 3, "(24, 18)": 3, "(28, 17)": 3, "(27, 29)": 3, "(29, 29)": 3, "(39, 20)": 3, "(39, 29)": 3, "(40, 30)": 3, "(41, 29)": 3, "(42, 28)": 3, "(41, 19)": 3, "(43, 19)": 3, "(43, 18)": 3, "(41, 18)": 3, "(45, 17)": 3, "(44, 29)": 3, "(46, 29)": 3, "(56, 20)": 3, "(55, 21)": 3, "(58, 19)": 3, "(60, 19)": 3, "(60, 18)": 3, "(58, 18)": 3, "(62, 17)": 3, "(56, 29)": 3, "(57, 30)": 3, "(58, 29)": 3, "(59, 28)": 3, "(61, 29)": 3, "(63, 29)": 3, "(77, 16)": 3, "(77, 17)": 3, "(77, 19)": 3, "(77, 20)": 3, "(76, 19)": 3, "(78, 19)": 3, "(76, 18)": 3, "(78, 18)": 3, "(76, 21)": 3, "(23, 24)": 3, "(-25, -26)": 3, "(-26, -26)": 3, "(-27, -26)": 3, "(-27, -28)": 3, "(-26, -28)": 3, "(-21, -29)": 3, "(-22, -29)": 3, "(-20, -27)": 3, "(-19, -28)": 3, "(-20, -29)": 3, "(-25, -29)": 3, "(-25, -30)": 3, "(-25, -31)": 3, "(-24, -32)": 3, "(-23, -31)": 3, "(-23, -30)": 3, "(14, 9)": 3, "(20, 1)": 3, "(32, 13)": 3, "(3, 13)": 3, "(4, 12)": 3, "(3, 11)": 3, "(3, 10)": 3, "(1, 10)": 2, "(0, 10)": 3, "(-2, 12)": 3, "(-1, 13)": 3, "(0, 13)": 3, "(2, 9)": 1, "(-1, 10)": 3, "(-2, 11)": 3, "(8, 31)": 3, "(8, 32)": 3, "(10, 34)": 3, "(11, 34)": 3, "(12, 34)": 3, "(14, 34)": 3, "(13, 34)": 3, "(16, 34)": 3, "(17, 34)": 3, "(15, 34)": 3, "(18, 34)": 3, "(19, 34)": 3, "(20, 34)": 3, "(21, 34)": 3, "(22, 34)": 3, "(23, 34)": 3, "(24, 34)": 3, "(25, 34)": 3, "(26, 34)": 3, "(27, 34)": 3, "(28, 34)": 3, "(29, 34)": 3, "(30, 34)": 3, "(31, 34)": 3, "(32, 34)": 3, "(33, 34)": 3, "(34, 34)": 3, "(35, 34)": 3, "(36, 34)": 3, "(37, 34)": 3, "(38, 34)": 3, "(39, 34)": 3, "(40, 34)": 3, "(41, 34)": 3, "(42, 34)": 3, "(43, 34)": 3, "(44, 34)": 3, "(45, 34)": 3, "(46, 34)": 3, "(47, 34)": 3, "(48, 34)": 3, "(49, 34)": 3, "(50, 34)": 3, "(51, 34)": 3, "(52, 34)": 3, "(53, 34)": 3, "(54, 34)": 3, "(55, 34)": 3, "(56, 34)": 3, "(57, 34)": 3, "(58, 34)": 3, "(59, 34)": 3, "(60, 34)": 3, "(61, 34)": 3, "(62, 34)": 3, "(63, 34)": 3, "(64, 34)": 3, "(65, 34)": 3, "(66, 34)": 3, "(67, 34)": 3, "(68, 34)": 3, "(69, 34)": 3, "(70, 34)": 3, "(72, 34)": 3, "(71, 34)": 3, "(73, 34)": 3, "(74, 34)": 3, "(75, 34)": 3, "(76, 34)": 3, "(78, 29)": 3, "(78, 30)": 3, "(78, 31)": 3, "(78, 32)": 3, "(78, 33)": 3, "(77, 34)": 3, "(61, 30)": 3, "(61, 31)": 3, "(63, 30)": 3, "(63, 31)": 3, "(62, 32)": 3, "(65, 30)": 3, "(65, 31)": 3, "(71, 30)": 3, "(70, 31)": 3, "(66, 32)": 3, "(67, 32)": 3, "(68, 32)": 3, "(69, 32)": 3, "(44, 30)": 3, "(46, 30)": 3, "(48, 30)": 3, "(54, 30)": 3, "(44, 31)": 3, "(46, 31)": 3, "(48, 31)": 3, "(53, 31)": 3, "(45, 32)": 3, "(49, 32)": 3, "(50, 32)": 3, "(51, 32)": 3, "(52, 32)": 3, "(27, 30)": 3, "(29, 30)": 3, "(31, 30)": 3, "(37, 30)": 3, "(27, 31)": 3, "(29, 31)": 3, "(31, 31)": 3, "(36, 31)": 3, "(28, 32)": 3, "(32, 32)": 3, "(33, 32)": 3, "(34, 32)": 3, "(35, 32)": 3, "(10, 30)": 3, "(12, 30)": 3, "(14, 30)": 3, "(20, 30)": 3, "(10, 31)": 3, "(12, 31)": 3, "(14, 31)": 3, "(19, 31)": 3, "(11, 32)": 3, "(15, 32)": 3, "(16, 32)": 3, "(17, 32)": 3, "(18, 32)": 3, "(28, 13)": 3, "(1, 13)": 3, "(2, 13)": 3, "(-28, -28)": 3, "(-29, -28)": 3, "(-30, -28)": 3, "(-28, -26)": 3, "(-29, -26)": 3, "(-30, -26)": 3, "(-31, -27)": 3, "(63, 10)": 3, "(59, 17)": 3, "(-28, -19)": 3, "(-25, -16)": 3, "(-27, -17)": 3, "(-21, -26)": 3, "(-21, -24)": 2, "(-25, -17)": 3, "(-26, -15)": 3, "(-27, -16)": 3, "(8, 33)": 3, "(9, 34)": 3, "(-28, -7)": 3, "(-30, -7)": 3, "(-30, -6)": 3, "(-30, -5)": 3, "(-30, -4)": 3, "(-28, -6)": 3, "(-28, -5)": 3, "(-30, -3)": 3, "(-30, -2)": 3, "(-28, -4)": 3, "(-28, -3)": 3, "(-28, -2)": 3, "(-30, -1)": 3, "(-28, -1)": 3, "(-30, 0)": 3, "(-28, 0)": 3, "(-29, 1)": 3, "(-28, -14)": 3, "(-26, -10)": 3, "(-19, -18)": 3, "(-15, -18)": 3, "(-18, -17)": 3, "(-19, -16)": 1, "(-18, -16)": 1, "(-17, -16)": 1, "(-18, -15)": 2, "(-19, -14)": 3, "(-19, -13)": 1, "(-18, -13)": 3, "(-18, -12)": 2, "(-19, -12)": 1, "(-16, -19)": 3, "(-17, -20)": 1, "(-17, -22)": 3, "(-18, -23)": 1, "(-19, -23)": 1, "(-18, -24)": 2, "(-19, -24)": 3, "(-16, -20)": 1, "(-15, -20)": 1, "(-16, -21)": 2}}