-
Notifications
You must be signed in to change notification settings - Fork 0
/
final_count_slow.json
1 lines (1 loc) · 54.5 KB
/
final_count_slow.json
1
{"CA_type": "wireworld-slow", "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)": 2, "(13, 10)": 3, "(17, 9)": 3, "(17, 10)": 3, "(15, 9)": 3, "(15, 13)": 3, "(15, 10)": 3, "(10, 4)": 3, "(12, 10)": 3, "(13, 13)": 1, "(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)": 1, "(13, 14)": 1, "(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)": 1, "(71, -6)": 2, "(70, -7)": 3, "(69, -8)": 3, "(58, -2)": 3, "(57, -3)": 3, "(56, -4)": 3, "(55, -5)": 1, "(54, -6)": 2, "(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)": 1, "(37, -6)": 2, "(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)": 2, "(15, -5)": 3, "(17, -5)": 3, "(21, -5)": 1, "(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)": 2, "(-2, -5)": 3, "(0, -5)": 3, "(4, -5)": 1, "(-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, "(-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)": 3, "(-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)": 1, "(1, 10)": 3, "(0, 10)": 3, "(-2, 12)": 3, "(-1, 13)": 3, "(0, 13)": 3, "(2, 9)": 2, "(-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)": 3, "(-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)": 2, "(-28, 0)": 3, "(-29, 1)": 1, "(-28, -14)": 3, "(-26, -10)": 3, "(-19, -18)": 3, "(115, -12)": 3, "(106, -11)": 3, "(107, -11)": 3, "(108, -11)": 3, "(109, -11)": 3, "(110, -11)": 3, "(111, -11)": 3, "(112, -11)": 3, "(113, -11)": 3, "(116, -11)": 3, "(105, -10)": 3, "(114, -10)": 3, "(104, -9)": 3, "(107, -9)": 3, "(111, -9)": 3, "(115, -9)": 3, "(103, -8)": 3, "(104, -8)": 3, "(106, -8)": 3, "(108, -8)": 3, "(110, -8)": 3, "(112, -8)": 3, "(116, -8)": 3, "(105, -7)": 3, "(108, -7)": 3, "(110, -7)": 3, "(112, -7)": 3, "(114, -7)": 3, "(116, -7)": 3, "(104, -6)": 3, "(105, -6)": 3, "(106, -6)": 3, "(109, -6)": 3, "(113, -6)": 3, "(114, -6)": 3, "(115, -6)": 3, "(105, -5)": 3, "(114, -5)": 3, "(116, -5)": 3, "(106, -4)": 3, "(108, -4)": 3, "(109, -4)": 3, "(110, -4)": 3, "(116, -4)": 3, "(108, -3)": 3, "(110, -3)": 3, "(111, -3)": 3, "(112, -3)": 3, "(113, -3)": 3, "(116, -3)": 3, "(104, -2)": 3, "(105, -2)": 3, "(106, -2)": 3, "(108, -2)": 3, "(109, -2)": 3, "(110, -2)": 3, "(114, -2)": 3, "(116, -2)": 3, "(103, -1)": 3, "(108, -1)": 3, "(109, -1)": 3, "(110, -1)": 3, "(114, -1)": 3, "(116, -1)": 3, "(103, 0)": 3, "(105, 0)": 3, "(106, 0)": 3, "(109, 0)": 3, "(115, 0)": 3, "(104, 1)": 3, "(106, 1)": 3, "(107, 1)": 3, "(110, 1)": 3, "(111, 1)": 3, "(112, 1)": 3, "(113, 1)": 3, "(103, 2)": 3, "(105, 2)": 3, "(106, 2)": 3, "(118, -1)": 3, "(118, -3)": 3, "(118, -4)": 3, "(118, -5)": 3, "(114, 2)": 3, "(115, 3)": 3, "(116, 3)": 3, "(117, 3)": 3, "(118, -6)": 3, "(118, -7)": 3, "(118, -8)": 3, "(118, -9)": 3, "(117, -10)": 3, "(114, -13)": 3, "(109, -13)": 3, "(106, -13)": 3, "(105, -13)": 3, "(118, 3)": 3, "(105, -31)": 3, "(106, -31)": 3, "(108, -31)": 3, "(109, -31)": 3, "(114, -31)": 3, "(115, -30)": 3, "(106, -29)": 3, "(107, -29)": 3, "(108, -29)": 3, "(109, -29)": 3, "(110, -29)": 3, "(111, -29)": 3, "(112, -29)": 3, "(113, -29)": 3, "(116, -29)": 3, "(105, -28)": 3, "(114, -28)": 3, "(117, -28)": 3, "(104, -27)": 3, "(107, -27)": 3, "(111, -27)": 3, "(115, -27)": 3, "(118, -27)": 3, "(102, -26)": 3, "(103, -26)": 3, "(104, -26)": 3, "(106, -26)": 3, "(108, -26)": 3, "(110, -26)": 3, "(112, -26)": 3, "(116, -26)": 3, "(105, -25)": 3, "(108, -25)": 3, "(110, -25)": 3, "(112, -25)": 3, "(114, -25)": 3, "(116, -25)": 3, "(104, -24)": 3, "(105, -24)": 3, "(106, -24)": 3, "(109, -24)": 3, "(113, -24)": 3, "(114, -24)": 3, "(115, -24)": 3, "(118, -24)": 3, "(105, -23)": 3, "(114, -23)": 3, "(116, -23)": 3, "(106, -22)": 3, "(108, -22)": 3, "(109, -22)": 3, "(110, -22)": 3, "(116, -22)": 3, "(118, -22)": 3, "(107, -21)": 3, "(108, -21)": 3, "(110, -21)": 3, "(111, -21)": 3, "(112, -21)": 3, "(113, -21)": 3, "(116, -21)": 3, "(118, -21)": 3, "(104, -20)": 3, "(106, -20)": 3, "(108, -20)": 3, "(109, -20)": 3, "(110, -20)": 3, "(114, -20)": 3, "(116, -20)": 3, "(118, -20)": 3, "(103, -19)": 3, "(108, -19)": 3, "(109, -19)": 3, "(110, -19)": 3, "(114, -19)": 3, "(116, -19)": 3, "(118, -19)": 3, "(106, -18)": 3, "(109, -18)": 3, "(115, -18)": 3, "(106, -17)": 3, "(107, -17)": 3, "(108, -17)": 3, "(110, -17)": 3, "(111, -17)": 3, "(112, -17)": 3, "(113, -17)": 3, "(103, -16)": 1, "(106, -16)": 3, "(114, -16)": 2, "(103, -15)": 3, "(115, -15)": 1, "(116, -15)": 3, "(117, -15)": 3, "(118, -15)": 3, "(100, -6)": 3, "(98, -6)": 3, "(98, -3)": 3, "(99, -3)": 3, "(100, -3)": 3, "(102, -3)": 1, "(103, -4)": 2, "(102, -5)": 3, "(102, -6)": 3, "(101, -7)": 3, "(101, -3)": 3, "(97, -4)": 3, "(97, -5)": 3, "(99, -6)": 3, "(117, 0)": 3, "(118, -2)": 3, "(105, -20)": 3, "(103, -14)": 3, "(104, -13)": 3, "(105, -18)": 3, "(103, -18)": 1, "(105, -16)": 3, "(104, -17)": 2, "(107, -3)": 3, "(105, -49)": 3, "(106, -49)": 3, "(108, -49)": 3, "(109, -49)": 3, "(114, -49)": 3, "(115, -48)": 3, "(106, -47)": 3, "(107, -47)": 3, "(108, -47)": 3, "(109, -47)": 3, "(110, -47)": 3, "(111, -47)": 3, "(112, -47)": 3, "(113, -47)": 3, "(116, -47)": 3, "(105, -46)": 3, "(114, -46)": 3, "(117, -46)": 3, "(104, -45)": 3, "(107, -45)": 3, "(111, -45)": 3, "(115, -45)": 3, "(118, -45)": 3, "(102, -44)": 3, "(103, -44)": 3, "(104, -44)": 3, "(106, -44)": 3, "(108, -44)": 3, "(110, -44)": 3, "(112, -44)": 3, "(116, -44)": 3, "(118, -44)": 3, "(105, -43)": 3, "(108, -43)": 3, "(110, -43)": 3, "(112, -43)": 3, "(114, -43)": 3, "(116, -43)": 3, "(118, -43)": 3, "(104, -42)": 3, "(105, -42)": 3, "(106, -42)": 3, "(109, -42)": 3, "(113, -42)": 3, "(114, -42)": 3, "(115, -42)": 3, "(118, -42)": 3, "(105, -41)": 3, "(114, -41)": 3, "(116, -41)": 3, "(118, -41)": 3, "(106, -40)": 3, "(108, -40)": 3, "(110, -40)": 3, "(116, -40)": 3, "(118, -40)": 3, "(107, -39)": 3, "(108, -39)": 3, "(110, -39)": 3, "(111, -39)": 3, "(112, -39)": 3, "(113, -39)": 3, "(116, -39)": 3, "(118, -39)": 3, "(104, -38)": 3, "(105, -38)": 3, "(106, -38)": 3, "(108, -38)": 3, "(109, -38)": 3, "(110, -38)": 3, "(114, -38)": 3, "(116, -38)": 3, "(118, -38)": 3, "(103, -37)": 3, "(110, -37)": 3, "(114, -37)": 3, "(116, -37)": 3, "(118, -37)": 3, "(103, -36)": 3, "(105, -36)": 3, "(106, -36)": 3, "(109, -36)": 3, "(115, -36)": 3, "(104, -35)": 3, "(106, -35)": 3, "(107, -35)": 3, "(108, -35)": 3, "(110, -35)": 3, "(111, -35)": 3, "(112, -35)": 3, "(113, -35)": 3, "(103, -34)": 3, "(105, -34)": 3, "(106, -34)": 3, "(114, -34)": 3, "(103, -33)": 3, "(115, -33)": 3, "(116, -33)": 3, "(117, -33)": 3, "(118, -33)": 3, "(103, -32)": 3, "(104, -31)": 3, "(105, -67)": 3, "(106, -67)": 3, "(108, -67)": 3, "(109, -67)": 3, "(114, -67)": 3, "(115, -66)": 3, "(106, -65)": 3, "(107, -65)": 3, "(108, -65)": 3, "(109, -65)": 3, "(110, -65)": 3, "(111, -65)": 3, "(112, -65)": 3, "(113, -65)": 3, "(116, -65)": 3, "(105, -64)": 3, "(114, -64)": 3, "(117, -64)": 3, "(104, -63)": 3, "(107, -63)": 3, "(111, -63)": 3, "(115, -63)": 3, "(118, -63)": 3, "(102, -62)": 3, "(103, -62)": 3, "(104, -62)": 3, "(106, -62)": 3, "(108, -62)": 3, "(110, -62)": 3, "(112, -62)": 3, "(116, -62)": 3, "(118, -62)": 3, "(105, -61)": 3, "(108, -61)": 3, "(110, -61)": 3, "(112, -61)": 3, "(114, -61)": 3, "(116, -61)": 3, "(118, -61)": 3, "(104, -60)": 3, "(105, -60)": 3, "(106, -60)": 3, "(109, -60)": 3, "(113, -60)": 3, "(114, -60)": 3, "(115, -60)": 3, "(118, -60)": 3, "(105, -59)": 3, "(114, -59)": 3, "(116, -59)": 3, "(118, -59)": 3, "(106, -58)": 3, "(108, -58)": 3, "(109, -58)": 3, "(110, -58)": 3, "(116, -58)": 3, "(118, -58)": 3, "(107, -57)": 3, "(108, -57)": 3, "(110, -57)": 3, "(111, -57)": 3, "(112, -57)": 3, "(113, -57)": 3, "(116, -57)": 3, "(118, -57)": 3, "(104, -56)": 3, "(105, -56)": 3, "(106, -56)": 3, "(108, -56)": 3, "(109, -56)": 3, "(110, -56)": 3, "(114, -56)": 3, "(116, -56)": 3, "(118, -56)": 3, "(103, -55)": 3, "(108, -55)": 3, "(109, -55)": 3, "(110, -55)": 3, "(114, -55)": 3, "(116, -55)": 3, "(118, -55)": 3, "(103, -54)": 3, "(105, -54)": 3, "(106, -54)": 3, "(109, -54)": 3, "(115, -54)": 3, "(104, -53)": 3, "(106, -53)": 3, "(107, -53)": 3, "(108, -53)": 3, "(110, -53)": 3, "(111, -53)": 3, "(112, -53)": 3, "(113, -53)": 3, "(103, -52)": 3, "(105, -52)": 3, "(106, -52)": 3, "(114, -52)": 3, "(103, -51)": 3, "(115, -51)": 3, "(116, -51)": 3, "(117, -51)": 3, "(118, -51)": 3, "(103, -50)": 3, "(104, -49)": 3, "(105, -85)": 3, "(106, -85)": 3, "(108, -85)": 3, "(109, -85)": 3, "(114, -85)": 3, "(115, -84)": 3, "(106, -83)": 3, "(107, -83)": 3, "(108, -83)": 3, "(109, -83)": 3, "(110, -83)": 3, "(111, -83)": 3, "(112, -83)": 3, "(113, -83)": 3, "(116, -83)": 3, "(105, -82)": 3, "(114, -82)": 3, "(117, -82)": 3, "(104, -81)": 3, "(107, -81)": 3, "(111, -81)": 3, "(115, -81)": 3, "(118, -81)": 3, "(102, -80)": 3, "(103, -80)": 3, "(104, -80)": 3, "(106, -80)": 3, "(108, -80)": 3, "(110, -80)": 3, "(112, -80)": 3, "(116, -80)": 3, "(118, -80)": 3, "(105, -79)": 3, "(108, -79)": 3, "(110, -79)": 3, "(112, -79)": 3, "(114, -79)": 3, "(116, -79)": 3, "(118, -79)": 3, "(104, -78)": 3, "(105, -78)": 3, "(106, -78)": 3, "(109, -78)": 3, "(113, -78)": 3, "(114, -78)": 3, "(115, -78)": 3, "(118, -78)": 3, "(105, -77)": 3, "(114, -77)": 3, "(116, -77)": 3, "(118, -77)": 3, "(106, -76)": 3, "(108, -76)": 3, "(109, -76)": 3, "(110, -76)": 3, "(116, -76)": 3, "(118, -76)": 3, "(107, -75)": 3, "(108, -75)": 3, "(110, -75)": 3, "(111, -75)": 3, "(112, -75)": 3, "(113, -75)": 3, "(116, -75)": 3, "(118, -75)": 3, "(104, -74)": 3, "(105, -74)": 3, "(106, -74)": 3, "(108, -74)": 3, "(109, -74)": 3, "(110, -74)": 3, "(114, -74)": 3, "(116, -74)": 3, "(118, -74)": 3, "(103, -73)": 3, "(108, -73)": 3, "(109, -73)": 3, "(110, -73)": 3, "(114, -73)": 3, "(116, -73)": 3, "(118, -73)": 3, "(103, -72)": 3, "(105, -72)": 3, "(106, -72)": 3, "(109, -72)": 3, "(115, -72)": 3, "(104, -71)": 3, "(106, -71)": 3, "(107, -71)": 3, "(108, -71)": 3, "(110, -71)": 3, "(111, -71)": 3, "(112, -71)": 3, "(113, -71)": 3, "(103, -70)": 3, "(105, -70)": 3, "(106, -70)": 3, "(114, -70)": 3, "(103, -69)": 3, "(115, -69)": 3, "(116, -69)": 3, "(117, -69)": 3, "(118, -69)": 3, "(103, -68)": 3, "(104, -67)": 3, "(105, -103)": 3, "(106, -103)": 3, "(108, -103)": 3, "(109, -103)": 3, "(114, -103)": 3, "(115, -102)": 3, "(106, -101)": 3, "(107, -101)": 3, "(108, -101)": 3, "(109, -101)": 3, "(110, -101)": 3, "(111, -101)": 3, "(112, -101)": 3, "(113, -101)": 3, "(116, -101)": 3, "(105, -100)": 3, "(114, -100)": 3, "(117, -100)": 3, "(104, -99)": 3, "(107, -99)": 3, "(111, -99)": 3, "(115, -99)": 3, "(118, -99)": 3, "(102, -98)": 3, "(103, -98)": 3, "(104, -98)": 3, "(106, -98)": 3, "(108, -98)": 3, "(110, -98)": 3, "(112, -98)": 3, "(116, -98)": 3, "(118, -98)": 3, "(105, -97)": 3, "(108, -97)": 3, "(110, -97)": 3, "(112, -97)": 3, "(114, -97)": 3, "(116, -97)": 3, "(118, -97)": 3, "(104, -96)": 3, "(105, -96)": 3, "(106, -96)": 3, "(109, -96)": 3, "(113, -96)": 3, "(114, -96)": 3, "(115, -96)": 3, "(118, -96)": 3, "(105, -95)": 3, "(114, -95)": 3, "(116, -95)": 3, "(118, -95)": 3, "(106, -94)": 3, "(108, -94)": 3, "(109, -94)": 3, "(110, -94)": 3, "(116, -94)": 3, "(118, -94)": 3, "(107, -93)": 3, "(108, -93)": 3, "(110, -93)": 3, "(111, -93)": 3, "(112, -93)": 3, "(113, -93)": 3, "(116, -93)": 3, "(118, -93)": 3, "(104, -92)": 3, "(105, -92)": 3, "(106, -92)": 3, "(108, -92)": 3, "(109, -92)": 3, "(110, -92)": 3, "(114, -92)": 3, "(116, -92)": 3, "(118, -92)": 3, "(103, -91)": 3, "(108, -91)": 3, "(109, -91)": 3, "(110, -91)": 3, "(114, -91)": 3, "(116, -91)": 3, "(118, -91)": 3, "(103, -90)": 3, "(105, -90)": 3, "(106, -90)": 3, "(109, -90)": 3, "(115, -90)": 3, "(104, -89)": 3, "(106, -89)": 3, "(107, -89)": 3, "(108, -89)": 3, "(110, -89)": 3, "(111, -89)": 3, "(112, -89)": 3, "(113, -89)": 3, "(103, -88)": 3, "(105, -88)": 3, "(106, -88)": 3, "(114, -88)": 3, "(103, -87)": 3, "(115, -87)": 3, "(116, -87)": 3, "(117, -87)": 3, "(118, -87)": 3, "(103, -86)": 3, "(104, -85)": 3, "(105, -121)": 3, "(106, -121)": 3, "(108, -121)": 3, "(109, -121)": 3, "(114, -121)": 3, "(115, -120)": 3, "(106, -119)": 3, "(107, -119)": 3, "(108, -119)": 3, "(109, -119)": 3, "(110, -119)": 3, "(111, -119)": 3, "(112, -119)": 3, "(113, -119)": 3, "(116, -119)": 3, "(105, -118)": 3, "(114, -118)": 3, "(117, -118)": 3, "(104, -117)": 3, "(107, -117)": 3, "(111, -117)": 3, "(115, -117)": 3, "(118, -117)": 3, "(102, -116)": 3, "(103, -116)": 3, "(104, -116)": 3, "(106, -116)": 3, "(108, -116)": 3, "(110, -116)": 3, "(112, -116)": 3, "(116, -116)": 3, "(118, -116)": 3, "(105, -115)": 3, "(108, -115)": 3, "(110, -115)": 3, "(112, -115)": 3, "(114, -115)": 3, "(116, -115)": 3, "(118, -115)": 3, "(104, -114)": 3, "(105, -114)": 3, "(106, -114)": 3, "(109, -114)": 3, "(113, -114)": 3, "(114, -114)": 3, "(115, -114)": 3, "(118, -114)": 3, "(105, -113)": 3, "(114, -113)": 3, "(116, -113)": 3, "(118, -113)": 3, "(106, -112)": 3, "(108, -112)": 3, "(109, -112)": 3, "(110, -112)": 3, "(116, -112)": 3, "(118, -112)": 3, "(107, -111)": 3, "(108, -111)": 3, "(110, -111)": 3, "(111, -111)": 3, "(112, -111)": 3, "(113, -111)": 3, "(116, -111)": 3, "(118, -111)": 3, "(104, -110)": 3, "(105, -110)": 3, "(106, -110)": 3, "(108, -110)": 3, "(109, -110)": 3, "(110, -110)": 3, "(114, -110)": 3, "(116, -110)": 3, "(118, -110)": 3, "(103, -109)": 3, "(108, -109)": 3, "(109, -109)": 3, "(110, -109)": 3, "(114, -109)": 3, "(116, -109)": 3, "(118, -109)": 3, "(103, -108)": 3, "(105, -108)": 3, "(106, -108)": 3, "(109, -108)": 3, "(115, -108)": 3, "(104, -107)": 3, "(106, -107)": 3, "(107, -107)": 3, "(108, -107)": 3, "(110, -107)": 3, "(111, -107)": 3, "(112, -107)": 3, "(113, -107)": 3, "(103, -106)": 3, "(105, -106)": 3, "(106, -106)": 3, "(114, -106)": 3, "(103, -105)": 3, "(115, -105)": 3, "(116, -105)": 3, "(117, -105)": 3, "(118, -105)": 3, "(103, -104)": 3, "(104, -103)": 3, "(105, -139)": 3, "(106, -139)": 3, "(108, -139)": 3, "(109, -139)": 3, "(114, -139)": 3, "(115, -138)": 3, "(106, -137)": 3, "(107, -137)": 3, "(108, -137)": 3, "(109, -137)": 3, "(110, -137)": 3, "(111, -137)": 3, "(112, -137)": 3, "(113, -137)": 3, "(116, -137)": 3, "(105, -136)": 3, "(114, -136)": 3, "(117, -136)": 3, "(104, -135)": 3, "(107, -135)": 3, "(111, -135)": 3, "(115, -135)": 3, "(118, -135)": 3, "(102, -134)": 3, "(103, -134)": 3, "(104, -134)": 3, "(106, -134)": 3, "(108, -134)": 3, "(110, -134)": 3, "(112, -134)": 3, "(116, -134)": 3, "(118, -134)": 3, "(105, -133)": 3, "(108, -133)": 3, "(110, -133)": 3, "(112, -133)": 3, "(114, -133)": 3, "(116, -133)": 3, "(118, -133)": 3, "(104, -132)": 3, "(105, -132)": 3, "(106, -132)": 3, "(109, -132)": 3, "(113, -132)": 3, "(114, -132)": 3, "(115, -132)": 3, "(118, -132)": 3, "(105, -131)": 3, "(114, -131)": 3, "(116, -131)": 3, "(118, -131)": 3, "(106, -130)": 3, "(108, -130)": 3, "(109, -130)": 3, "(110, -130)": 3, "(116, -130)": 3, "(118, -130)": 3, "(107, -129)": 3, "(108, -129)": 3, "(110, -129)": 3, "(111, -129)": 3, "(112, -129)": 3, "(113, -129)": 3, "(116, -129)": 3, "(118, -129)": 3, "(104, -128)": 3, "(105, -128)": 3, "(106, -128)": 3, "(108, -128)": 3, "(109, -128)": 3, "(110, -128)": 3, "(114, -128)": 3, "(116, -128)": 3, "(118, -128)": 3, "(103, -127)": 3, "(108, -127)": 3, "(109, -127)": 3, "(110, -127)": 3, "(114, -127)": 3, "(116, -127)": 3, "(118, -127)": 3, "(103, -126)": 3, "(105, -126)": 3, "(106, -126)": 3, "(109, -126)": 3, "(115, -126)": 3, "(104, -125)": 3, "(106, -125)": 3, "(107, -125)": 3, "(108, -125)": 3, "(110, -125)": 3, "(111, -125)": 3, "(112, -125)": 3, "(113, -125)": 3, "(103, -124)": 3, "(105, -124)": 3, "(106, -124)": 3, "(114, -124)": 3, "(103, -123)": 3, "(115, -123)": 3, "(116, -123)": 3, "(117, -123)": 3, "(118, -123)": 3, "(103, -122)": 3, "(104, -121)": 3, "(105, -157)": 3, "(106, -157)": 3, "(108, -157)": 3, "(109, -157)": 3, "(114, -157)": 3, "(115, -156)": 3, "(106, -155)": 3, "(107, -155)": 3, "(108, -155)": 3, "(109, -155)": 3, "(110, -155)": 3, "(111, -155)": 3, "(112, -155)": 3, "(113, -155)": 3, "(116, -155)": 3, "(105, -154)": 3, "(114, -154)": 3, "(117, -154)": 3, "(104, -153)": 3, "(107, -153)": 3, "(111, -153)": 3, "(115, -153)": 3, "(118, -153)": 3, "(102, -152)": 3, "(103, -152)": 3, "(104, -152)": 3, "(106, -152)": 3, "(108, -152)": 3, "(110, -152)": 3, "(112, -152)": 3, "(116, -152)": 3, "(118, -152)": 3, "(105, -151)": 3, "(108, -151)": 3, "(110, -151)": 3, "(112, -151)": 3, "(114, -151)": 3, "(116, -151)": 3, "(118, -151)": 3, "(104, -150)": 3, "(105, -150)": 3, "(106, -150)": 3, "(109, -150)": 3, "(113, -150)": 3, "(114, -150)": 3, "(115, -150)": 3, "(118, -150)": 3, "(105, -149)": 3, "(114, -149)": 3, "(116, -149)": 3, "(118, -149)": 3, "(106, -148)": 3, "(108, -148)": 3, "(109, -148)": 3, "(110, -148)": 3, "(116, -148)": 3, "(118, -148)": 3, "(107, -147)": 3, "(108, -147)": 3, "(110, -147)": 3, "(111, -147)": 3, "(112, -147)": 3, "(113, -147)": 3, "(116, -147)": 3, "(118, -147)": 3, "(104, -146)": 3, "(105, -146)": 3, "(106, -146)": 3, "(108, -146)": 3, "(109, -146)": 3, "(110, -146)": 3, "(114, -146)": 3, "(116, -146)": 3, "(118, -146)": 3, "(103, -145)": 3, "(108, -145)": 3, "(109, -145)": 3, "(110, -145)": 3, "(114, -145)": 3, "(116, -145)": 3, "(118, -145)": 3, "(103, -144)": 3, "(105, -144)": 3, "(106, -144)": 3, "(109, -144)": 3, "(115, -144)": 3, "(104, -143)": 3, "(106, -143)": 3, "(107, -143)": 3, "(108, -143)": 3, "(110, -143)": 3, "(111, -143)": 3, "(112, -143)": 3, "(113, -143)": 3, "(103, -142)": 3, "(105, -142)": 3, "(106, -142)": 3, "(114, -142)": 3, "(103, -141)": 3, "(115, -141)": 3, "(116, -141)": 3, "(117, -141)": 3, "(118, -141)": 3, "(103, -140)": 3, "(104, -139)": 3, "(105, -175)": 3, "(106, -175)": 3, "(107, -175)": 3, "(108, -175)": 3, "(109, -175)": 3, "(110, -175)": 3, "(111, -175)": 3, "(112, -175)": 3, "(113, -175)": 3, "(114, -175)": 3, "(115, -174)": 3, "(106, -173)": 3, "(107, -173)": 3, "(108, -173)": 3, "(109, -173)": 3, "(110, -173)": 3, "(111, -173)": 3, "(112, -173)": 3, "(113, -173)": 3, "(116, -173)": 3, "(105, -172)": 3, "(114, -172)": 3, "(117, -172)": 3, "(104, -171)": 3, "(107, -171)": 3, "(111, -171)": 3, "(115, -171)": 3, "(118, -171)": 3, "(102, -170)": 3, "(103, -170)": 3, "(104, -170)": 3, "(106, -170)": 3, "(108, -170)": 3, "(110, -170)": 3, "(112, -170)": 3, "(116, -170)": 3, "(118, -170)": 3, "(105, -169)": 3, "(108, -169)": 3, "(110, -169)": 3, "(112, -169)": 3, "(114, -169)": 3, "(116, -169)": 3, "(118, -169)": 3, "(104, -168)": 3, "(105, -168)": 3, "(106, -168)": 3, "(109, -168)": 3, "(113, -168)": 3, "(114, -168)": 3, "(115, -168)": 3, "(118, -168)": 3, "(105, -167)": 3, "(114, -167)": 3, "(116, -167)": 3, "(118, -167)": 3, "(106, -166)": 3, "(108, -166)": 3, "(109, -166)": 3, "(110, -166)": 3, "(116, -166)": 3, "(118, -166)": 3, "(107, -165)": 3, "(108, -165)": 3, "(110, -165)": 3, "(111, -165)": 3, "(112, -165)": 3, "(113, -165)": 3, "(116, -165)": 3, "(118, -165)": 3, "(104, -164)": 3, "(105, -164)": 3, "(106, -164)": 3, "(108, -164)": 3, "(109, -164)": 3, "(110, -164)": 3, "(114, -164)": 3, "(116, -164)": 3, "(118, -164)": 3, "(103, -163)": 3, "(108, -163)": 3, "(109, -163)": 3, "(110, -163)": 3, "(114, -163)": 3, "(116, -163)": 3, "(118, -163)": 3, "(103, -162)": 3, "(105, -162)": 3, "(106, -162)": 3, "(109, -162)": 3, "(115, -162)": 3, "(104, -161)": 3, "(106, -161)": 3, "(107, -161)": 3, "(108, -161)": 3, "(110, -161)": 3, "(111, -161)": 3, "(112, -161)": 3, "(113, -161)": 3, "(103, -160)": 3, "(105, -160)": 3, "(106, -160)": 3, "(114, -160)": 3, "(103, -159)": 3, "(115, -159)": 3, "(116, -159)": 3, "(117, -159)": 3, "(118, -159)": 3, "(103, -158)": 3, "(104, -157)": 3, "(119, 3)": 3, "(120, 1)": 3, "(121, 1)": 3, "(122, 1)": 3, "(122, 3)": 3, "(120, 4)": 3, "(120, 6)": 3, "(122, 6)": 3, "(121, 6)": 3, "(123, 1)": 3, "(120, 2)": 3, "(123, 2)": 3, "(120, 3)": 3, "(123, 3)": 3, "(121, 4)": 3, "(123, 4)": 3, "(120, 5)": 3, "(123, 5)": 3, "(123, 6)": 3, "(119, -15)": 3, "(120, -17)": 3, "(121, -18)": 3, "(121, -17)": 3, "(121, -16)": 3, "(121, -15)": 3, "(121, -14)": 3, "(120, -13)": 3, "(121, -13)": 3, "(122, -13)": 3, "(120, -15)": 3, "(119, -33)": 3, "(120, -35)": 3, "(121, -36)": 3, "(122, -36)": 3, "(123, -35)": 3, "(123, -34)": 3, "(122, -33)": 3, "(121, -32)": 3, "(120, -31)": 3, "(121, -31)": 3, "(122, -31)": 3, "(123, -31)": 3, "(120, -33)": 3, "(119, -51)": 3, "(120, -52)": 3, "(120, -54)": 3, "(121, -54)": 3, "(122, -54)": 3, "(122, -53)": 3, "(121, -52)": 3, "(122, -51)": 3, "(122, -50)": 3, "(121, -49)": 3, "(120, -49)": 3, "(119, -69)": 3, "(122, -69)": 3, "(122, -68)": 3, "(122, -67)": 3, "(123, -68)": 3, "(121, -68)": 3, "(120, -68)": 3, "(120, -69)": 3, "(120, -70)": 3, "(121, -71)": 3, "(121, -72)": 3, "(119, -87)": 3, "(120, -90)": 3, "(121, -90)": 3, "(122, -90)": 3, "(123, -90)": 3, "(119, -105)": 3, "(120, -107)": 3, "(121, -108)": 3, "(122, -108)": 3, "(123, -108)": 3, "(120, -104)": 3, "(121, -103)": 3, "(122, -103)": 3, "(123, -104)": 3, "(121, -106)": 3, "(122, -106)": 3, "(120, -105)": 3, "(123, -105)": 3, "(119, -123)": 3, "(123, -125)": 3, "(120, -89)": 3, "(120, -88)": 3, "(122, -88)": 3, "(123, -87)": 3, "(123, -86)": 3, "(122, -85)": 3, "(121, -85)": 3, "(121, -88)": 3, "(120, -86)": 3, "(120, -106)": 3, "(122, -123)": 3, "(121, -121)": 3, "(120, -123)": 3, "(120, -126)": 3, "(121, -126)": 3, "(122, -126)": 3, "(123, -126)": 3, "(122, -124)": 3, "(121, -122)": 3, "(119, -141)": 3, "(120, -143)": 3, "(120, -144)": 3, "(121, -144)": 3, "(122, -144)": 3, "(123, -144)": 3, "(123, -143)": 3, "(120, -140)": 3, "(120, -139)": 3, "(121, -139)": 3, "(122, -139)": 3, "(123, -139)": 3, "(123, -140)": 3, "(121, -142)": 3, "(122, -142)": 3, "(123, -141)": 3, "(120, -141)": 3, "(119, -159)": 3, "(120, -160)": 3, "(120, -161)": 3, "(121, -162)": 3, "(122, -162)": 3, "(123, -161)": 3, "(123, -160)": 3, "(121, -159)": 3, "(122, -159)": 3, "(123, -159)": 3, "(123, -158)": 3, "(122, -157)": 3, "(121, -157)": 3, "(120, -157)": 3, "(91, 17)": 3, "(92, 17)": 3, "(102, -9)": 3, "(101, -10)": 3, "(100, -11)": 3, "(99, -12)": 3, "(98, -13)": 3, "(97, -14)": 3, "(96, -15)": 1, "(95, -16)": 2, "(94, -17)": 3, "(93, -18)": 3, "(92, -19)": 3, "(91, -20)": 3, "(90, -21)": 3, "(101, -27)": 3, "(100, -28)": 3, "(99, -29)": 3, "(98, -30)": 3, "(97, -31)": 3, "(89, -22)": 3, "(88, -23)": 3, "(87, -24)": 3, "(86, -25)": 3, "(85, -26)": 3, "(96, -32)": 1, "(95, -33)": 2, "(94, -34)": 3, "(93, -35)": 3, "(92, -36)": 3, "(91, -37)": 3, "(90, -38)": 3, "(89, -39)": 3, "(87, -41)": 3, "(86, -42)": 3, "(85, -43)": 3, "(101, -44)": 3, "(100, -44)": 3, "(99, -44)": 3, "(98, -44)": 3, "(97, -44)": 3, "(96, -44)": 1, "(95, -44)": 2, "(94, -44)": 3, "(93, -44)": 3, "(92, -44)": 3, "(91, -44)": 3, "(90, -44)": 3, "(89, -44)": 3, "(87, -44)": 3, "(86, -44)": 3, "(85, -44)": 3, "(101, -63)": 3, "(100, -64)": 3, "(99, -65)": 3, "(98, -66)": 3, "(97, -67)": 3, "(96, -68)": 1, "(95, -69)": 2, "(94, -70)": 3, "(93, -71)": 3, "(101, -80)": 3, "(100, -80)": 3, "(99, -80)": 3, "(98, -80)": 3, "(92, -72)": 3, "(91, -73)": 3, "(90, -74)": 3, "(89, -75)": 3, "(88, -76)": 3, "(87, -77)": 3, "(86, -78)": 3, "(85, -79)": 3, "(85, -80)": 3, "(86, -80)": 3, "(87, -80)": 3, "(88, -80)": 3, "(89, -80)": 3, "(90, -80)": 3, "(91, -80)": 3, "(92, -80)": 3, "(93, -80)": 3, "(94, -80)": 3, "(95, -80)": 2, "(96, -80)": 1, "(97, -80)": 3, "(85, -98)": 3, "(86, -98)": 3, "(87, -98)": 3, "(88, -98)": 3, "(89, -98)": 3, "(90, -98)": 3, "(91, -98)": 3, "(92, -98)": 3, "(93, -98)": 3, "(94, -98)": 3, "(95, -98)": 2, "(96, -98)": 1, "(97, -98)": 3, "(98, -98)": 3, "(99, -98)": 3, "(100, -98)": 3, "(101, -98)": 3, "(101, -115)": 3, "(100, -114)": 3, "(99, -113)": 3, "(98, -112)": 3, "(97, -111)": 3, "(96, -110)": 1, "(95, -109)": 2, "(94, -108)": 3, "(93, -107)": 3, "(92, -106)": 3, "(91, -105)": 3, "(90, -104)": 3, "(89, -103)": 3, "(88, -102)": 3, "(87, -101)": 3, "(86, -100)": 3, "(85, -99)": 3, "(101, -134)": 3, "(100, -134)": 3, "(99, -134)": 3, "(85, -134)": 3, "(86, -134)": 3, "(87, -134)": 3, "(88, -134)": 3, "(89, -134)": 3, "(90, -134)": 3, "(91, -134)": 3, "(92, -134)": 3, "(93, -134)": 3, "(94, -134)": 3, "(95, -134)": 2, "(96, -134)": 1, "(97, -134)": 3, "(98, -134)": 3, "(101, -151)": 3, "(100, -150)": 3, "(99, -149)": 3, "(98, -148)": 3, "(97, -147)": 3, "(96, -146)": 1, "(95, -145)": 2, "(94, -144)": 3, "(93, -143)": 3, "(92, -142)": 3, "(91, -141)": 3, "(90, -140)": 3, "(89, -139)": 3, "(88, -138)": 3, "(87, -137)": 3, "(86, -136)": 3, "(85, -135)": 3, "(101, -169)": 3, "(100, -168)": 3, "(99, -167)": 3, "(98, -166)": 3, "(97, -165)": 3, "(96, -164)": 1, "(95, -163)": 2, "(94, -162)": 3, "(93, -161)": 3, "(92, -160)": 3, "(91, -159)": 3, "(90, -158)": 3, "(89, -157)": 3, "(88, -156)": 3, "(87, -155)": 3, "(86, -154)": 3, "(85, -153)": 3, "(84, -152)": 3, "(83, -151)": 3, "(82, -150)": 3, "(81, -149)": 3, "(80, -148)": 3, "(79, -147)": 3, "(78, -146)": 3, "(77, -145)": 3, "(76, -144)": 3, "(75, -143)": 3, "(74, -142)": 3, "(73, -141)": 3, "(72, -140)": 3, "(71, -139)": 3, "(70, -138)": 3, "(69, -137)": 3, "(68, -136)": 3, "(67, -135)": 3, "(66, -134)": 3, "(65, -133)": 3, "(84, -134)": 3, "(83, -134)": 3, "(82, -134)": 3, "(81, -134)": 3, "(80, -134)": 3, "(79, -134)": 3, "(78, -134)": 3, "(77, -134)": 3, "(76, -134)": 3, "(75, -134)": 3, "(74, -134)": 3, "(73, -134)": 3, "(72, -134)": 3, "(71, -134)": 3, "(70, -134)": 3, "(69, -134)": 3, "(68, -134)": 3, "(67, -134)": 3, "(84, -98)": 3, "(83, -98)": 3, "(82, -98)": 3, "(81, -98)": 3, "(80, -98)": 3, "(79, -98)": 3, "(78, -98)": 3, "(77, -98)": 3, "(76, -98)": 3, "(75, -98)": 3, "(74, -98)": 3, "(73, -98)": 3, "(72, -98)": 3, "(71, -98)": 3, "(70, -98)": 3, "(84, -80)": 3, "(83, -80)": 3, "(82, -80)": 3, "(81, -80)": 3, "(80, -80)": 3, "(67, -80)": 3, "(68, -80)": 3, "(69, -80)": 3, "(70, -80)": 3, "(71, -80)": 3, "(72, -80)": 3, "(73, -80)": 3, "(74, -80)": 3, "(75, -80)": 3, "(76, -80)": 3, "(77, -80)": 3, "(78, -80)": 3, "(79, -80)": 3, "(84, -44)": 3, "(67, -44)": 3, "(68, -44)": 3, "(69, -44)": 3, "(70, -44)": 3, "(71, -44)": 3, "(72, -44)": 3, "(73, -44)": 3, "(74, -44)": 3, "(75, -44)": 3, "(76, -44)": 3, "(77, -44)": 3, "(78, -44)": 3, "(79, -44)": 3, "(80, -44)": 3, "(81, -44)": 3, "(82, -44)": 3, "(83, -44)": 3, "(84, -27)": 3, "(83, -28)": 3, "(82, -29)": 3, "(81, -30)": 3, "(80, -31)": 3, "(79, -32)": 3, "(78, -33)": 3, "(77, -34)": 3, "(76, -35)": 3, "(75, -36)": 3, "(74, -37)": 3, "(73, -38)": 3, "(72, -39)": 3, "(71, -40)": 3, "(70, -41)": 3, "(69, -42)": 3, "(68, -43)": 3, "(66, -45)": 3, "(65, -46)": 3, "(64, -47)": 3, "(63, -48)": 3, "(62, -49)": 3, "(61, -50)": 3, "(60, -51)": 3, "(59, -52)": 3, "(58, -53)": 3, "(57, -54)": 3, "(56, -55)": 3, "(55, -56)": 3, "(54, -57)": 3, "(53, -58)": 3, "(52, -59)": 3, "(51, -60)": 3, "(50, -61)": 3, "(66, -80)": 3, "(65, -80)": 3, "(64, -80)": 3, "(63, -80)": 3, "(62, -80)": 3, "(61, -80)": 3, "(60, -80)": 3, "(59, -80)": 3, "(58, -80)": 3, "(57, -80)": 3, "(56, -80)": 3, "(55, -80)": 3, "(54, -80)": 3, "(53, -80)": 3, "(52, -80)": 3, "(51, -80)": 3, "(50, -80)": 3, "(49, -62)": 3, "(48, -63)": 3, "(47, -64)": 3, "(46, -65)": 3, "(45, -66)": 3, "(44, -67)": 3, "(43, -68)": 3, "(42, -69)": 3, "(41, -70)": 3, "(40, -71)": 3, "(49, -80)": 3, "(48, -80)": 3, "(47, -80)": 3, "(46, -80)": 3, "(45, -80)": 3, "(44, -80)": 3, "(42, -80)": 3, "(43, -80)": 3, "(41, -80)": 3, "(40, -80)": 3, "(39, -72)": 3, "(38, -73)": 3, "(37, -74)": 3, "(36, -75)": 3, "(35, -76)": 3, "(34, -77)": 3, "(33, -78)": 3, "(32, -79)": 3, "(31, -80)": 3, "(32, -80)": 3, "(34, -80)": 3, "(35, -80)": 3, "(36, -80)": 3, "(37, -80)": 3, "(38, -80)": 3, "(39, -80)": 3, "(30, -81)": 3, "(29, -82)": 3, "(28, -83)": 3, "(27, -84)": 3, "(52, -98)": 3, "(53, -98)": 3, "(54, -98)": 3, "(55, -98)": 3, "(56, -98)": 3, "(57, -98)": 3, "(58, -98)": 3, "(59, -98)": 3, "(60, -98)": 3, "(61, -98)": 3, "(62, -98)": 3, "(63, -98)": 3, "(64, -98)": 3, "(65, -98)": 3, "(66, -98)": 3, "(67, -98)": 3, "(68, -98)": 3, "(69, -98)": 3, "(35, -98)": 3, "(36, -98)": 3, "(37, -98)": 3, "(38, -98)": 3, "(39, -98)": 3, "(40, -98)": 3, "(41, -98)": 3, "(42, -98)": 3, "(43, -98)": 3, "(44, -98)": 3, "(45, -98)": 3, "(46, -98)": 3, "(47, -98)": 3, "(48, -98)": 3, "(49, -98)": 3, "(50, -98)": 3, "(51, -98)": 3, "(64, -132)": 3, "(63, -131)": 3, "(62, -130)": 3, "(61, -129)": 3, "(60, -128)": 3, "(59, -127)": 3, "(58, -126)": 3, "(57, -125)": 3, "(56, -124)": 3, "(55, -123)": 3, "(54, -122)": 3, "(53, -121)": 3, "(52, -120)": 3, "(51, -119)": 3, "(50, -118)": 3, "(49, -117)": 3, "(48, -116)": 3, "(47, -115)": 3, "(46, -114)": 3, "(45, -113)": 3, "(44, -112)": 3, "(43, -111)": 3, "(42, -110)": 3, "(41, -109)": 3, "(40, -108)": 3, "(39, -107)": 3, "(38, -106)": 3, "(37, -105)": 3, "(36, -104)": 3, "(35, -103)": 3, "(34, -102)": 3, "(33, -101)": 3, "(32, -100)": 3, "(31, -99)": 3, "(30, -98)": 3, "(31, -98)": 3, "(32, -98)": 3, "(33, -98)": 3, "(34, -98)": 3, "(29, -97)": 3, "(27, -95)": 3, "(26, -94)": 3, "(25, -93)": 3, "(24, -92)": 3, "(26, -85)": 3, "(25, -86)": 3, "(24, -87)": 3, "(23, -88)": 3, "(22, -89)": 3, "(23, -91)": 3, "(22, -90)": 3, "(21, -89)": 3, "(20, -88)": 3, "(19, -87)": 3, "(18, -86)": 3, "(17, -85)": 3, "(16, -84)": 3, "(15, -83)": 3, "(14, -82)": 3, "(13, -81)": 3, "(12, -80)": 3, "(11, -79)": 3, "(10, -78)": 3, "(9, -77)": 3, "(8, -76)": 3, "(7, -75)": 3, "(6, -74)": 3, "(5, -73)": 3, "(4, -72)": 3, "(3, -71)": 3, "(2, -70)": 3, "(1, -69)": 3, "(0, -68)": 3, "(-1, -67)": 3, "(-2, -66)": 3, "(-3, -65)": 3, "(-4, -64)": 3, "(-5, -63)": 3, "(-6, -62)": 3, "(-7, -61)": 3, "(-8, -60)": 3, "(-9, -59)": 3, "(-10, -58)": 3, "(-11, -57)": 3, "(-12, -56)": 3, "(-13, -55)": 3, "(-14, -54)": 3, "(-15, -53)": 3, "(-16, -52)": 3, "(-17, -51)": 3, "(-18, -50)": 3, "(-19, -49)": 3, "(-20, -48)": 3, "(-21, -47)": 3, "(-22, -46)": 3, "(-23, -45)": 3, "(-24, -44)": 3, "(-24, -36)": 3, "(-24, -34)": 3, "(-24, -33)": 3, "(108, 1)": 3, "(103, 5)": 3, "(103, 3)": 3, "(93, 17)": 3, "(103, 7)": 3, "(103, 8)": 3, "(102, 9)": 3, "(101, 10)": 3, "(100, 11)": 3, "(99, 12)": 3, "(98, 13)": 3, "(97, 14)": 3, "(96, 15)": 3, "(95, 16)": 3, "(94, 17)": 3, "(104, 5)": 3, "(102, 5)": 3, "(102, 4)": 3, "(104, 4)": 3, "(103, 6)": 3, "(113, -14)": 3, "(112, -14)": 3, "(108, -15)": 3, "(109, -15)": 3, "(107, -14)": 3, "(108, -13)": 3, "(109, -14)": 3, "(110, -14)": 3, "(111, -14)": 3, "(108, -33)": 3, "(109, -33)": 3, "(107, -32)": 3, "(109, -32)": 3, "(110, -32)": 3, "(111, -32)": 3, "(112, -32)": 3, "(113, -32)": 3, "(108, -51)": 3, "(109, -51)": 3, "(107, -50)": 3, "(109, -50)": 3, "(110, -50)": 3, "(111, -50)": 3, "(112, -50)": 3, "(113, -50)": 3, "(108, -69)": 3, "(109, -69)": 3, "(107, -68)": 3, "(109, -68)": 3, "(110, -68)": 3, "(111, -68)": 3, "(112, -68)": 3, "(113, -68)": 3, "(88, -40)": 3, "(88, -44)": 3, "(118, -23)": 3, "(118, -26)": 3, "(118, -25)": 3, "(117, -18)": 3, "(117, -36)": 3, "(117, -54)": 3, "(117, -72)": 3, "(117, -90)": 3, "(117, -108)": 3, "(117, -126)": 3, "(117, -144)": 3, "(117, -162)": 3, "(109, -40)": 3, "(109, -37)": 3, "(108, -37)": 3, "(108, -87)": 3, "(109, -87)": 3, "(107, -86)": 3, "(109, -86)": 3, "(110, -86)": 3, "(111, -86)": 3, "(112, -86)": 3, "(113, -86)": 3, "(108, -105)": 3, "(109, -105)": 3, "(107, -104)": 3, "(109, -104)": 3, "(110, -104)": 3, "(111, -104)": 3, "(112, -104)": 3, "(113, -104)": 3, "(108, -123)": 3, "(109, -123)": 3, "(107, -122)": 3, "(109, -122)": 3, "(110, -122)": 3, "(111, -122)": 3, "(112, -122)": 3, "(113, -122)": 3, "(108, -141)": 3, "(109, -141)": 3, "(107, -140)": 3, "(109, -140)": 3, "(110, -140)": 3, "(111, -140)": 3, "(112, -140)": 3, "(113, -140)": 3, "(108, -159)": 3, "(109, -159)": 3, "(107, -158)": 3, "(109, -158)": 3, "(110, -158)": 3, "(111, -158)": 3, "(112, -158)": 3, "(113, -158)": 3, "(28, -96)": 3, "(33, -80)": 3, "(-16, -18)": 3, "(-18, -19)": 3, "(-18, -17)": 3, "(-15, -19)": 3, "(-19, -19)": 3, "(-19, -17)": 3, "(-17, -18)": 3, "(-16, -20)": 3, "(-15, -20)": 3, "(-14, -20)": 3, "(-15, -21)": 3, "(-25, -34)": 3, "(-23, -34)": 3, "(-25, -35)": 3, "(-23, -35)": 3, "(-16, -23)": 3, "(-14, -23)": 3, "(-14, -24)": 1, "(-16, -24)": 3, "(-15, -22)": 3, "(-14, -25)": 2, "(-16, -25)": 3, "(-15, -26)": 3, "(-23, -41)": 3, "(-22, -41)": 3, "(-21, -41)": 3, "(-23, -39)": 3, "(-22, -39)": 3, "(-21, -39)": 3, "(-20, -41)": 3, "(-19, -41)": 3, "(-20, -39)": 3, "(-19, -39)": 3, "(-18, -41)": 3, "(-17, -41)": 3, "(-18, -39)": 3, "(-17, -39)": 3, "(-16, -39)": 3, "(-16, -41)": 3, "(-23, -43)": 3, "(-22, -43)": 3, "(-21, -43)": 3, "(-20, -43)": 3, "(-19, -43)": 3, "(-18, -43)": 3, "(-17, -43)": 3, "(-16, -43)": 3, "(-24, -40)": 3, "(-23, -37)": 3, "(-22, -37)": 3, "(-21, -37)": 3, "(-20, -37)": 3, "(-19, -37)": 3, "(-18, -37)": 3, "(-17, -37)": 3, "(-16, -37)": 3, "(-15, -39)": 3, "(-14, -39)": 3, "(-13, -39)": 3, "(-12, -39)": 3, "(-11, -39)": 3, "(-10, -39)": 3, "(-9, -39)": 3, "(-15, -37)": 3, "(-14, -37)": 3, "(-13, -37)": 3, "(-12, -37)": 3, "(-11, -37)": 3, "(-10, -37)": 3, "(-9, -37)": 3, "(-15, -43)": 3, "(-14, -43)": 3, "(-13, -43)": 3, "(-12, -43)": 3, "(-11, -43)": 3, "(-10, -43)": 3, "(-9, -43)": 3, "(-15, -41)": 3, "(-14, -41)": 3, "(-13, -41)": 3, "(-12, -41)": 3, "(-11, -41)": 3, "(-10, -41)": 3, "(-9, -41)": 3, "(-8, -39)": 3, "(-7, -39)": 3, "(-6, -39)": 3, "(-5, -39)": 3, "(-4, -39)": 3, "(-3, -39)": 3, "(-2, -39)": 3, "(-1, -38)": 3, "(-8, -37)": 3, "(-7, -37)": 3, "(-6, -37)": 3, "(-5, -37)": 3, "(-4, -37)": 3, "(-3, -37)": 3, "(-2, -37)": 3, "(-8, -43)": 3, "(-7, -43)": 3, "(-6, -43)": 3, "(-5, -43)": 3, "(-4, -43)": 1, "(-3, -43)": 2, "(-2, -43)": 3, "(-1, -42)": 3, "(-8, -41)": 3, "(-7, -41)": 3, "(-6, -41)": 3, "(-5, -41)": 3, "(-4, -41)": 3, "(-3, -41)": 3, "(-2, -41)": 3}}