diff --git a/output/cora_membership.json b/output/cora_membership.json
new file mode 100644
index 0000000..2382fc9
--- /dev/null
+++ b/output/cora_membership.json
@@ -0,0 +1 @@
+{"0": 0, "1": 0, "2": 0, "3": 1, "4": 2, "5": 2, "6": 3, "7": 4, "8": 0, "9": 2, "10": 0, "11": 3, "12": 5, "13": 0, "14": 0, "15": 3, "16": 2, "17": 0, "18": 0, "19": 0, "20": 6, "21": 3, "22": 7, "23": 8, "24": 0, "25": 3, "26": 9, "27": 0, "28": 2, "29": 7, "30": 3, "31": 10, "32": 3, "33": 0, "34": 2, "35": 3, "36": 0, "37": 3, "38": 0, "39": 7, "40": 0, "41": 3, "42": 3, "43": 7, "44": 11, "45": 0, "46": 2, "47": 6, "48": 0, "49": 0, "50": 6, "51": 2, "52": 3, "53": 2, "54": 0, "55": 3, "56": 3, "57": 3, "58": 2, "59": 2, "60": 3, "61": 3, "62": 3, "63": 0, "64": 2, "65": 3, "66": 12, "67": 3, "68": 0, "69": 3, "70": 6, "71": 0, "72": 2, "73": 2, "74": 3, "75": 13, "76": 3, "77": 3, "78": 0, "79": 0, "80": 3, "81": 3, "82": 7, "83": 2, "84": 13, "85": 0, "86": 3, "87": 3, "88": 3, "89": 7, "90": 2, "91": 0, "92": 8, "93": 6, "94": 0, "95": 3, "96": 3, "97": 3, "98": 3, "99": 9, "100": 3, "101": 0, "102": 0, "103": 0, "104": 0, "105": 2, "106": 14, "107": 6, "108": 8, "109": 0, "110": 2, "111": 2, "112": 0, "113": 3, "114": 0, "115": 3, "116": 3, "117": 15, "118": 3, "119": 6, "120": 3, "121": 0, "122": 9, "123": 9, "124": 0, "125": 6, "126": 0, "127": 9, "128": 6, "129": 6, "130": 3, "131": 2, "132": 6, "133": 0, "134": 0, "135": 0, "136": 2, "137": 0, "138": 2, "139": 0, "140": 7, "141": 0, "142": 3, "143": 0, "144": 8, "145": 8, "146": 3, "147": 3, "148": 7, "149": 3, "150": 0, "151": 7, "152": 7, "153": 0, "154": 2, "155": 2, "156": 2, "157": 0, "158": 0, "159": 0, "160": 0, "161": 3, "162": 3, "163": 6, "164": 3, "165": 0, "166": 0, "167": 16, "168": 16, "169": 0, "170": 2, "171": 0, "172": 3, "173": 2, "174": 2, "175": 3, "176": 0, "177": 7, "178": 0, "179": 0, "180": 0, "181": 3, "182": 0, "183": 0, "184": 17, "185": 0, "186": 0, "187": 18, "188": 2, "189": 0, "190": 3, "191": 0, "192": 3, "193": 6, "194": 7, "195": 0, "196": 0, "197": 0, "198": 7, "199": 3, "200": 19, "201": 0, "202": 2, "203": 3, "204": 3, "205": 3, "206": 0, "207": 0, "208": 4, "209": 7, "210": 3, "211": 3, "212": 20, "213": 8, "214": 3, "215": 0, "216": 0, "217": 7, "218": 0, "219": 0, "220": 2, "221": 2, "222": 21, "223": 2, "224": 0, "225": 22, "226": 0, "227": 2, "228": 2, "229": 0, "230": 0, "231": 0, "232": 0, "233": 6, "234": 0, "235": 0, "236": 0, "237": 2, "238": 6, "239": 3, "240": 3, "241": 6, "242": 3, "243": 7, "244": 2, "245": 0, "246": 2, "247": 23, "248": 7, "249": 3, "250": 24, "251": 0, "252": 3, "253": 0, "254": 0, "255": 3, "256": 3, "257": 3, "258": 7, "259": 15, "260": 3, "261": 0, "262": 3, "263": 2, "264": 6, "265": 6, "266": 3, "267": 0, "268": 2, "269": 0, "270": 3, "271": 0, "272": 3, "273": 20, "274": 3, "275": 7, "276": 3, "277": 0, "278": 3, "279": 3, "280": 3, "281": 0, "282": 3, "283": 7, "284": 13, "285": 3, "286": 0, "287": 25, "288": 0, "289": 2, "290": 2, "291": 3, "292": 26, "293": 0, "294": 0, "295": 0, "296": 2, "297": 0, "298": 0, "299": 0, "300": 3, "301": 2, "302": 0, "303": 0, "304": 0, "305": 3, "306": 0, "307": 27, "308": 0, "309": 0, "310": 0, "311": 0, "312": 2, "313": 0, "314": 0, "315": 3, "316": 0, "317": 0, "318": 0, "319": 2, "320": 7, "321": 0, "322": 2, "323": 3, "324": 3, "325": 3, "326": 2, "327": 0, "328": 2, "329": 0, "330": 0, "331": 3, "332": 0, "333": 2, "334": 3, "335": 0, "336": 0, "337": 2, "338": 0, "339": 0, "340": 7, "341": 2, "342": 0, "343": 0, "344": 2, "345": 0, "346": 2, "347": 3, "348": 7, "349": 3, "350": 0, "351": 0, "352": 0, "353": 2, "354": 3, "355": 3, "356": 3, "357": 2, "358": 2, "359": 2, "360": 6, "361": 7, "362": 7, "363": 2, "364": 2, "365": 3, "366": 0, "367": 2, "368": 7, "369": 28, "370": 6, "371": 6, "372": 2, "373": 3, "374": 20, "375": 7, "376": 2, "377": 0, "378": 7, "379": 6, "380": 29, "381": 7, "382": 0, "383": 0, "384": 0, "385": 28, "386": 0, "387": 0, "388": 6, "389": 2, "390": 30, "391": 0, "392": 6, "393": 6, "394": 7, "395": 3, "396": 0, "397": 0, "398": 3, "399": 0, "400": 6, "401": 0, "402": 0, "403": 2, "404": 31, "405": 3, "406": 0, "407": 0, "408": 3, "409": 0, "410": 6, "411": 0, "412": 3, "413": 20, "414": 3, "415": 3, "416": 0, "417": 0, "418": 0, "419": 3, "420": 3, "421": 2, "422": 32, "423": 3, "424": 3, "425": 2, "426": 0, "427": 2, "428": 7, "429": 0, "430": 0, "431": 33, "432": 7, "433": 3, "434": 3, "435": 3, "436": 3, "437": 6, "438": 3, "439": 2, "440": 3, "441": 6, "442": 0, "443": 7, "444": 7, "445": 0, "446": 3, "447": 3, "448": 6, "449": 2, "450": 7, "451": 6, "452": 0, "453": 0, "454": 3, "455": 20, "456": 3, "457": 2, "458": 6, "459": 0, "460": 0, "461": 3, "462": 34, "463": 7, "464": 2, "465": 3, "466": 2, "467": 0, "468": 0, "469": 0, "470": 3, "471": 3, "472": 6, "473": 7, "474": 35, "475": 3, "476": 0, "477": 29, "478": 3, "479": 3, "480": 2, "481": 2, "482": 0, "483": 3, "484": 0, "485": 3, "486": 0, "487": 0, "488": 7, "489": 2, "490": 3, "491": 3, "492": 7, "493": 2, "494": 2, "495": 8, "496": 3, "497": 3, "498": 3, "499": 3, "500": 2, "501": 2, "502": 3, "503": 0, "504": 3, "505": 0, "506": 3, "507": 0, "508": 0, "509": 20, "510": 2, "511": 0, "512": 3, "513": 2, "514": 3, "515": 7, "516": 3, "517": 2, "518": 3, "519": 0, "520": 17, "521": 0, "522": 0, "523": 0, "524": 2, "525": 3, "526": 2, "527": 3, "528": 3, "529": 3, "530": 0, "531": 0, "532": 0, "533": 2, "534": 2, "535": 2, "536": 2, "537": 8, "538": 36, "539": 3, "540": 3, "541": 6, "542": 0, "543": 0, "544": 3, "545": 32, "546": 7, "547": 0, "548": 0, "549": 0, "550": 6, "551": 3, "552": 2, "553": 0, "554": 3, "555": 3, "556": 0, "557": 2, "558": 2, "559": 6, "560": 37, "561": 2, "562": 2, "563": 0, "564": 0, "565": 2, "566": 0, "567": 2, "568": 0, "569": 2, "570": 0, "571": 0, "572": 3, "573": 0, "574": 0, "575": 2, "576": 0, "577": 7, "578": 3, "579": 0, "580": 2, "581": 0, "582": 7, "583": 13, "584": 7, "585": 37, "586": 3, "587": 38, "588": 0, "589": 0, "590": 6, "591": 3, "592": 39, "593": 3, "594": 3, "595": 2, "596": 3, "597": 3, "598": 0, "599": 3, "600": 3, "601": 3, "602": 7, "603": 0, "604": 3, "605": 0, "606": 0, "607": 20, "608": 0, "609": 2, "610": 0, "611": 40, "612": 6, "613": 2, "614": 3, "615": 2, "616": 2, "617": 0, "618": 0, "619": 3, "620": 0, "621": 3, "622": 0, "623": 7, "624": 0, "625": 41, "626": 2, "627": 0, "628": 2, "629": 2, "630": 3, "631": 2, "632": 2, "633": 0, "634": 3, "635": 42, "636": 0, "637": 0, "638": 0, "639": 0, "640": 3, "641": 43, "642": 3, "643": 0, "644": 3, "645": 6, "646": 6, "647": 6, "648": 6, "649": 2, "650": 2, "651": 3, "652": 0, "653": 44, "654": 0, "655": 0, "656": 0, "657": 2, "658": 20, "659": 3, "660": 0, "661": 3, "662": 45, "663": 3, "664": 0, "665": 0, "666": 3, "667": 3, "668": 3, "669": 0, "670": 0, "671": 6, "672": 2, "673": 0, "674": 0, "675": 0, "676": 6, "677": 46, "678": 0, "679": 0, "680": 3, "681": 0, "682": 3, "683": 2, "684": 2, "685": 3, "686": 2, "687": 2, "688": 7, "689": 2, "690": 0, "691": 0, "692": 47, "693": 3, "694": 6, "695": 0, "696": 0, "697": 3, "698": 0, "699": 0, "700": 48, "701": 6, "702": 3, "703": 6, "704": 2, "705": 0, "706": 7, "707": 3, "708": 0, "709": 6, "710": 2, "711": 3, "712": 3, "713": 49, "714": 0, "715": 0, "716": 0, "717": 0, "718": 3, "719": 0, "720": 6, "721": 50, "722": 7, "723": 2, "724": 3, "725": 3, "726": 7, "727": 0, "728": 3, "729": 0, "730": 3, "731": 3, "732": 2, "733": 0, "734": 3, "735": 6, "736": 3, "737": 3, "738": 3, "739": 6, "740": 0, "741": 2, "742": 2, "743": 0, "744": 2, "745": 0, "746": 0, "747": 3, "748": 2, "749": 3, "750": 6, "751": 3, "752": 2, "753": 3, "754": 2, "755": 6, "756": 3, "757": 2, "758": 2, "759": 0, "760": 2, "761": 7, "762": 2, "763": 3, "764": 2, "765": 3, "766": 0, "767": 0, "768": 2, "769": 3, "770": 0, "771": 3, "772": 3, "773": 0, "774": 37, "775": 0, "776": 0, "777": 3, "778": 3, "779": 3, "780": 51, "781": 0, "782": 0, "783": 0, "784": 0, "785": 20, "786": 52, "787": 3, "788": 0, "789": 7, "790": 0, "791": 0, "792": 0, "793": 6, "794": 0, "795": 3, "796": 2, "797": 2, "798": 7, "799": 0, "800": 2, "801": 6, "802": 0, "803": 3, "804": 0, "805": 7, "806": 2, "807": 6, "808": 0, "809": 3, "810": 0, "811": 0, "812": 0, "813": 0, "814": 0, "815": 3, "816": 3, "817": 2, "818": 3, "819": 2, "820": 2, "821": 21, "822": 3, "823": 2, "824": 2, "825": 2, "826": 0, "827": 3, "828": 7, "829": 0, "830": 3, "831": 2, "832": 53, "833": 0, "834": 2, "835": 0, "836": 0, "837": 7, "838": 3, "839": 3, "840": 6, "841": 0, "842": 3, "843": 0, "844": 6, "845": 0, "846": 20, "847": 0, "848": 2, "849": 7, "850": 3, "851": 3, "852": 0, "853": 2, "854": 3, "855": 0, "856": 7, "857": 3, "858": 3, "859": 0, "860": 2, "861": 3, "862": 0, "863": 0, "864": 0, "865": 3, "866": 0, "867": 2, "868": 3, "869": 0, "870": 7, "871": 2, "872": 0, "873": 0, "874": 0, "875": 0, "876": 2, "877": 0, "878": 0, "879": 0, "880": 3, "881": 2, "882": 2, "883": 2, "884": 7, "885": 3, "886": 0, "887": 0, "888": 3, "889": 2, "890": 3, "891": 6, "892": 0, "893": 0, "894": 3, "895": 3, "896": 3, "897": 3, "898": 8, "899": 0, "900": 0, "901": 3, "902": 2, "903": 3, "904": 6, "905": 2, "906": 7, "907": 3, "908": 3, "909": 0, "910": 0, "911": 0, "912": 0, "913": 2, "914": 0, "915": 2, "916": 0, "917": 54, "918": 0, "919": 2, "920": 0, "921": 3, "922": 0, "923": 0, "924": 0, "925": 3, "926": 0, "927": 0, "928": 0, "929": 2, "930": 29, "931": 2, "932": 45, "933": 2, "934": 0, "935": 0, "936": 2, "937": 0, "938": 0, "939": 55, "940": 6, "941": 6, "942": 3, "943": 0, "944": 0, "945": 0, "946": 7, "947": 52, "948": 0, "949": 0, "950": 6, "951": 2, "952": 2, "953": 56, "954": 46, "955": 3, "956": 7, "957": 2, "958": 0, "959": 57, "960": 0, "961": 0, "962": 0, "963": 7, "964": 3, "965": 3, "966": 3, "967": 58, "968": 0, "969": 2, "970": 2, "971": 6, "972": 0, "973": 3, "974": 59, "975": 0, "976": 2, "977": 2, "978": 2, "979": 2, "980": 0, "981": 0, "982": 2, "983": 0, "984": 0, "985": 2, "986": 60, "987": 2, "988": 3, "989": 3, "990": 0, "991": 27, "992": 3, "993": 3, "994": 0, "995": 3, "996": 7, "997": 0, "998": 2, "999": 2, "1000": 0, "1001": 5, "1002": 0, "1003": 2, "1004": 0, "1005": 61, "1006": 3, "1007": 2, "1008": 3, "1009": 0, "1010": 7, "1011": 2, "1012": 0, "1013": 3, "1014": 0, "1015": 0, "1016": 2, "1017": 3, "1018": 0, "1019": 2, "1020": 0, "1021": 3, "1022": 6, "1023": 0, "1024": 41, "1025": 3, "1026": 0, "1027": 3, "1028": 3, "1029": 3, "1030": 0, "1031": 0, "1032": 38, "1033": 2, "1034": 50, "1035": 2, "1036": 26, "1037": 2, "1038": 2, "1039": 3, "1040": 2, "1041": 2, "1042": 3, "1043": 3, "1044": 49, "1045": 0, "1046": 0, "1047": 3, "1048": 34, "1049": 0, "1050": 7, "1051": 0, "1052": 0, "1053": 0, "1054": 0, "1055": 0, "1056": 16, "1057": 0, "1058": 3, "1059": 62, "1060": 6, "1061": 0, "1062": 0, "1063": 7, "1064": 7, "1065": 0, "1066": 0, "1067": 2, "1068": 0, "1069": 3, "1070": 2, "1071": 7, "1072": 0, "1073": 0, "1074": 3, "1075": 0, "1076": 3, "1077": 2, "1078": 3, "1079": 3, "1080": 3, "1081": 7, "1082": 0, "1083": 0, "1084": 20, "1085": 3, "1086": 0, "1087": 7, "1088": 0, "1089": 0, "1090": 3, "1091": 2, "1092": 7, "1093": 3, "1094": 7, "1095": 0, "1096": 0, "1097": 3, "1098": 0, "1099": 0, "1100": 0, "1101": 20, "1102": 7, "1103": 2, "1104": 3, "1105": 3, "1106": 7, "1107": 0, "1108": 30, "1109": 7, "1110": 0, "1111": 7, "1112": 46, "1113": 6, "1114": 2, "1115": 3, "1116": 0, "1117": 3, "1118": 3, "1119": 7, "1120": 0, "1121": 3, "1122": 6, "1123": 2, "1124": 0, "1125": 3, "1126": 0, "1127": 0, "1128": 6, "1129": 7, "1130": 0, "1131": 3, "1132": 0, "1133": 3, "1134": 0, "1135": 7, "1136": 2, "1137": 3, "1138": 7, "1139": 3, "1140": 0, "1141": 7, "1142": 0, "1143": 0, "1144": 0, "1145": 2, "1146": 0, "1147": 3, "1148": 2, "1149": 2, "1150": 2, "1151": 0, "1152": 3, "1153": 7, "1154": 2, "1155": 2, "1156": 3, "1157": 7, "1158": 0, "1159": 0, "1160": 0, "1161": 2, "1162": 0, "1163": 3, "1164": 2, "1165": 8, "1166": 0, "1167": 2, "1168": 6, "1169": 2, "1170": 31, "1171": 2, "1172": 0, "1173": 2, "1174": 3, "1175": 2, "1176": 0, "1177": 0, "1178": 3, "1179": 6, "1180": 0, "1181": 35, "1182": 6, "1183": 6, "1184": 3, "1185": 3, "1186": 0, "1187": 3, "1188": 3, "1189": 2, "1190": 3, "1191": 0, "1192": 0, "1193": 0, "1194": 7, "1195": 3, "1196": 0, "1197": 0, "1198": 3, "1199": 2, "1200": 2, "1201": 2, "1202": 0, "1203": 3, "1204": 3, "1205": 2, "1206": 7, "1207": 7, "1208": 18, "1209": 2, "1210": 63, "1211": 0, "1212": 0, "1213": 20, "1214": 2, "1215": 3, "1216": 2, "1217": 0, "1218": 3, "1219": 0, "1220": 3, "1221": 0, "1222": 3, "1223": 0, "1224": 3, "1225": 0, "1226": 6, "1227": 3, "1228": 0, "1229": 2, "1230": 7, "1231": 44, "1232": 0, "1233": 64, "1234": 7, "1235": 7, "1236": 65, "1237": 6, "1238": 2, "1239": 0, "1240": 7, "1241": 0, "1242": 20, "1243": 2, "1244": 2, "1245": 0, "1246": 3, "1247": 0, "1248": 0, "1249": 2, "1250": 2, "1251": 0, "1252": 2, "1253": 0, "1254": 2, "1255": 7, "1256": 2, "1257": 7, "1258": 3, "1259": 3, "1260": 7, "1261": 0, "1262": 0, "1263": 66, "1264": 7, "1265": 0, "1266": 3, "1267": 6, "1268": 3, "1269": 3, "1270": 0, "1271": 3, "1272": 0, "1273": 7, "1274": 3, "1275": 3, "1276": 6, "1277": 6, "1278": 0, "1279": 3, "1280": 2, "1281": 2, "1282": 2, "1283": 2, "1284": 2, "1285": 3, "1286": 36, "1287": 2, "1288": 3, "1289": 0, "1290": 20, "1291": 3, "1292": 2, "1293": 3, "1294": 0, "1295": 0, "1296": 3, "1297": 0, "1298": 67, "1299": 0, "1300": 0, "1301": 0, "1302": 3, "1303": 0, "1304": 0, "1305": 2, "1306": 2, "1307": 0, "1308": 2, "1309": 3, "1310": 68, "1311": 0, "1312": 0, "1313": 0, "1314": 3, "1315": 0, "1316": 0, "1317": 2, "1318": 5, "1319": 0, "1320": 7, "1321": 7, "1322": 0, "1323": 0, "1324": 0, "1325": 0, "1326": 0, "1327": 8, "1328": 8, "1329": 0, "1330": 3, "1331": 0, "1332": 3, "1333": 3, "1334": 0, "1335": 0, "1336": 0, "1337": 0, "1338": 3, "1339": 2, "1340": 0, "1341": 3, "1342": 7, "1343": 3, "1344": 3, "1345": 2, "1346": 0, "1347": 0, "1348": 0, "1349": 7, "1350": 7, "1351": 3, "1352": 3, "1353": 3, "1354": 6, "1355": 6, "1356": 69, "1357": 0, "1358": 2, "1359": 3, "1360": 6, "1361": 2, "1362": 3, "1363": 0, "1364": 0, "1365": 0, "1366": 7, "1367": 0, "1368": 6, "1369": 7, "1370": 3, "1371": 70, "1372": 3, "1373": 2, "1374": 2, "1375": 71, "1376": 3, "1377": 3, "1378": 42, "1379": 7, "1380": 7, "1381": 7, "1382": 2, "1383": 2, "1384": 2, "1385": 0, "1386": 0, "1387": 3, "1388": 3, "1389": 2, "1390": 7, "1391": 3, "1392": 2, "1393": 70, "1394": 3, "1395": 0, "1396": 3, "1397": 3, "1398": 2, "1399": 3, "1400": 0, "1401": 7, "1402": 3, "1403": 3, "1404": 6, "1405": 0, "1406": 0, "1407": 66, "1408": 6, "1409": 6, "1410": 3, "1411": 0, "1412": 2, "1413": 0, "1414": 6, "1415": 6, "1416": 3, "1417": 3, "1418": 0, "1419": 3, "1420": 3, "1421": 3, "1422": 7, "1423": 3, "1424": 0, "1425": 0, "1426": 2, "1427": 2, "1428": 0, "1429": 0, "1430": 2, "1431": 2, "1432": 0, "1433": 2, "1434": 0, "1435": 3, "1436": 0, "1437": 7, "1438": 72, "1439": 19, "1440": 0, "1441": 6, "1442": 7, "1443": 7, "1444": 2, "1445": 0, "1446": 0, "1447": 3, "1448": 0, "1449": 7, "1450": 0, "1451": 7, "1452": 3, "1453": 0, "1454": 0, "1455": 6, "1456": 2, "1457": 2, "1458": 2, "1459": 0, "1460": 3, "1461": 7, "1462": 7, "1463": 3, "1464": 3, "1465": 0, "1466": 2, "1467": 3, "1468": 3, "1469": 3, "1470": 6, "1471": 2, "1472": 3, "1473": 0, "1474": 3, "1475": 3, "1476": 31, "1477": 0, "1478": 6, "1479": 0, "1480": 2, "1481": 3, "1482": 3, "1483": 2, "1484": 0, "1485": 3, "1486": 2, "1487": 3, "1488": 0, "1489": 0, "1490": 0, "1491": 7, "1492": 2, "1493": 0, "1494": 3, "1495": 6, "1496": 59, "1497": 0, "1498": 3, "1499": 2, "1500": 3, "1501": 3, "1502": 2, "1503": 2, "1504": 8, "1505": 0, "1506": 0, "1507": 3, "1508": 0, "1509": 0, "1510": 0, "1511": 3, "1512": 0, "1513": 2, "1514": 3, "1515": 3, "1516": 2, "1517": 3, "1518": 7, "1519": 3, "1520": 2, "1521": 3, "1522": 7, "1523": 0, "1524": 3, "1525": 3, "1526": 3, "1527": 3, "1528": 2, "1529": 3, "1530": 7, "1531": 7, "1532": 7, "1533": 7, "1534": 0, "1535": 3, "1536": 0, "1537": 6, "1538": 3, "1539": 3, "1540": 3, "1541": 61, "1542": 0, "1543": 6, "1544": 42, "1545": 7, "1546": 2, "1547": 2, "1548": 0, "1549": 6, "1550": 2, "1551": 0, "1552": 0, "1553": 6, "1554": 73, "1555": 6, "1556": 3, "1557": 2, "1558": 0, "1559": 7, "1560": 0, "1561": 0, "1562": 2, "1563": 74, "1564": 0, "1565": 2, "1566": 2, "1567": 7, "1568": 2, "1569": 7, "1570": 0, "1571": 0, "1572": 0, "1573": 0, "1574": 0, "1575": 7, "1576": 0, "1577": 0, "1578": 6, "1579": 6, "1580": 3, "1581": 0, "1582": 11, "1583": 0, "1584": 0, "1585": 7, "1586": 2, "1587": 3, "1588": 3, "1589": 2, "1590": 0, "1591": 0, "1592": 3, "1593": 8, "1594": 10, "1595": 0, "1596": 2, "1597": 7, "1598": 3, "1599": 2, "1600": 62, "1601": 2, "1602": 3, "1603": 0, "1604": 2, "1605": 0, "1606": 2, "1607": 0, "1608": 7, "1609": 0, "1610": 2, "1611": 7, "1612": 2, "1613": 69, "1614": 3, "1615": 0, "1616": 3, "1617": 2, "1618": 0, "1619": 6, "1620": 2, "1621": 0, "1622": 0, "1623": 0, "1624": 0, "1625": 3, "1626": 3, "1627": 2, "1628": 3, "1629": 2, "1630": 3, "1631": 3, "1632": 2, "1633": 0, "1634": 7, "1635": 3, "1636": 0, "1637": 3, "1638": 2, "1639": 7, "1640": 0, "1641": 0, "1642": 2, "1643": 7, "1644": 3, "1645": 3, "1646": 2, "1647": 8, "1648": 63, "1649": 0, "1650": 6, "1651": 0, "1652": 3, "1653": 7, "1654": 0, "1655": 3, "1656": 0, "1657": 73, "1658": 3, "1659": 2, "1660": 3, "1661": 3, "1662": 0, "1663": 7, "1664": 20, "1665": 0, "1666": 0, "1667": 3, "1668": 3, "1669": 3, "1670": 0, "1671": 3, "1672": 0, "1673": 75, "1674": 6, "1675": 3, "1676": 3, "1677": 3, "1678": 2, "1679": 0, "1680": 3, "1681": 0, "1682": 0, "1683": 3, "1684": 20, "1685": 2, "1686": 7, "1687": 2, "1688": 7, "1689": 2, "1690": 3, "1691": 48, "1692": 3, "1693": 3, "1694": 2, "1695": 3, "1696": 6, "1697": 7, "1698": 8, "1699": 0, "1700": 6, "1701": 0, "1702": 7, "1703": 7, "1704": 0, "1705": 0, "1706": 2, "1707": 6, "1708": 0, "1709": 2, "1710": 2, "1711": 2, "1712": 2, "1713": 6, "1714": 2, "1715": 2, "1716": 2, "1717": 2, "1718": 2, "1719": 2, "1720": 2, "1721": 2, "1722": 2, "1723": 2, "1724": 2, "1725": 2, "1726": 2, "1727": 2, "1728": 0, "1729": 3, "1730": 2, "1731": 2, "1732": 2, "1733": 2, "1734": 2, "1735": 2, "1736": 2, "1737": 2, "1738": 2, "1739": 2, "1740": 2, "1741": 3, "1742": 2, "1743": 2, "1744": 2, "1745": 2, "1746": 2, "1747": 2, "1748": 2, "1749": 2, "1750": 2, "1751": 2, "1752": 2, "1753": 2, "1754": 2, "1755": 2, "1756": 2, "1757": 2, "1758": 2, "1759": 2, "1760": 2, "1761": 2, "1762": 2, "1763": 2, "1764": 2, "1765": 2, "1766": 2, "1767": 0, "1768": 0, "1769": 0, "1770": 0, "1771": 0, "1772": 0, "1773": 0, "1774": 0, "1775": 0, "1776": 2, "1777": 0, "1778": 0, "1779": 0, "1780": 0, "1781": 0, "1782": 0, "1783": 0, "1784": 0, "1785": 0, "1786": 0, "1787": 0, "1788": 0, "1789": 0, "1790": 0, "1791": 0, "1792": 3, "1793": 7, "1794": 7, "1795": 7, "1796": 7, "1797": 0, "1798": 0, "1799": 0, "1800": 0, "1801": 2, "1802": 0, "1803": 3, "1804": 0, "1805": 0, "1806": 0, "1807": 0, "1808": 0, "1809": 0, "1810": 0, "1811": 0, "1812": 0, "1813": 0, "1814": 0, "1815": 0, "1816": 0, "1817": 0, "1818": 0, "1819": 0, "1820": 0, "1821": 0, "1822": 0, "1823": 0, "1824": 6, "1825": 6, "1826": 6, "1827": 6, "1828": 6, "1829": 6, "1830": 2, "1831": 2, "1832": 2, "1833": 2, "1834": 2, "1835": 8, "1836": 8, "1837": 0, "1838": 3, "1839": 3, "1840": 3, "1841": 3, "1842": 3, "1843": 3, "1844": 3, "1845": 3, "1846": 0, "1847": 3, "1848": 3, "1849": 3, "1850": 3, "1851": 3, "1852": 0, "1853": 0, "1854": 0, "1855": 2, "1856": 0, "1857": 0, "1858": 0, "1859": 0, "1860": 0, "1861": 0, "1862": 0, "1863": 0, "1864": 0, "1865": 0, "1866": 0, "1867": 0, "1868": 0, "1869": 3, "1870": 0, "1871": 2, "1872": 0, "1873": 0, "1874": 7, "1875": 0, "1876": 0, "1877": 0, "1878": 0, "1879": 3, "1880": 3, "1881": 6, "1882": 3, "1883": 3, "1884": 3, "1885": 3, "1886": 2, "1887": 2, "1888": 2, "1889": 0, "1890": 0, "1891": 0, "1892": 0, "1893": 0, "1894": 0, "1895": 2, "1896": 6, "1897": 6, "1898": 6, "1899": 6, "1900": 6, "1901": 6, "1902": 6, "1903": 6, "1904": 6, "1905": 3, "1906": 7, "1907": 0, "1908": 3, "1909": 3, "1910": 3, "1911": 6, "1912": 3, "1913": 3, "1914": 3, "1915": 3, "1916": 3, "1917": 3, "1918": 3, "1919": 3, "1920": 3, "1921": 3, "1922": 3, "1923": 3, "1924": 3, "1925": 3, "1926": 3, "1927": 3, "1928": 3, "1929": 3, "1930": 3, "1931": 0, "1932": 0, "1933": 0, "1934": 0, "1935": 0, "1936": 0, "1937": 0, "1938": 0, "1939": 0, "1940": 0, "1941": 0, "1942": 0, "1943": 0, "1944": 0, "1945": 0, "1946": 0, "1947": 0, "1948": 0, "1949": 0, "1950": 0, "1951": 0, "1952": 0, "1953": 6, "1954": 6, "1955": 6, "1956": 6, "1957": 6, "1958": 6, "1959": 6, "1960": 6, "1961": 6, "1962": 6, "1963": 6, "1964": 7, "1965": 7, "1966": 7, "1967": 7, "1968": 3, "1969": 7, "1970": 7, "1971": 7, "1972": 3, "1973": 3, "1974": 3, "1975": 3, "1976": 3, "1977": 3, "1978": 3, "1979": 3, "1980": 3, "1981": 3, "1982": 3, "1983": 3, "1984": 3, "1985": 6, "1986": 0, "1987": 0, "1988": 0, "1989": 0, "1990": 0, "1991": 0, "1992": 3, "1993": 7, "1994": 0, "1995": 0, "1996": 0, "1997": 0, "1998": 0, "1999": 3, "2000": 0, "2001": 0, "2002": 0, "2003": 0, "2004": 0, "2005": 0, "2006": 0, "2007": 0, "2008": 0, "2009": 0, "2010": 3, "2011": 3, "2012": 3, "2013": 3, "2014": 3, "2015": 3, "2016": 3, "2017": 3, "2018": 3, "2019": 3, "2020": 3, "2021": 3, "2022": 3, "2023": 0, "2024": 3, "2025": 0, "2026": 0, "2027": 0, "2028": 0, "2029": 6, "2030": 3, "2031": 3, "2032": 0, "2033": 0, "2034": 0, "2035": 0, "2036": 0, "2037": 0, "2038": 0, "2039": 0, "2040": 0, "2041": 0, "2042": 0, "2043": 0, "2044": 0, "2045": 0, "2046": 0, "2047": 0, "2048": 0, "2049": 3, "2050": 3, "2051": 3, "2052": 3, "2053": 3, "2054": 3, "2055": 3, "2056": 3, "2057": 3, "2058": 42, "2059": 3, "2060": 6, "2061": 6, "2062": 6, "2063": 0, "2064": 0, "2065": 0, "2066": 0, "2067": 0, "2068": 3, "2069": 3, "2070": 3, "2071": 3, "2072": 3, "2073": 3, "2074": 3, "2075": 0, "2076": 0, "2077": 0, "2078": 0, "2079": 0, "2080": 0, "2081": 0, "2082": 0, "2083": 2, "2084": 0, "2085": 0, "2086": 0, "2087": 0, "2088": 0, "2089": 0, "2090": 0, "2091": 0, "2092": 0, "2093": 2, "2094": 0, "2095": 0, "2096": 0, "2097": 0, "2098": 0, "2099": 3, "2100": 3, "2101": 3, "2102": 3, "2103": 3, "2104": 3, "2105": 2, "2106": 0, "2107": 0, "2108": 3, "2109": 3, "2110": 3, "2111": 3, "2112": 3, "2113": 2, "2114": 0, "2115": 0, "2116": 3, "2117": 0, "2118": 0, "2119": 0, "2120": 0, "2121": 0, "2122": 0, "2123": 0, "2124": 7, "2125": 7, "2126": 7, "2127": 7, "2128": 7, "2129": 7, "2130": 0, "2131": 3, "2132": 3, "2133": 3, "2134": 3, "2135": 3, "2136": 3, "2137": 3, "2138": 0, "2139": 0, "2140": 0, "2141": 0, "2142": 0, "2143": 0, "2144": 0, "2145": 0, "2146": 20, "2147": 20, "2148": 20, "2149": 20, "2150": 42, "2151": 3, "2152": 3, "2153": 3, "2154": 3, "2155": 3, "2156": 3, "2157": 8, "2158": 8, "2159": 8, "2160": 8, "2161": 8, "2162": 3, "2163": 0, "2164": 3, "2165": 3, "2166": 3, "2167": 2, "2168": 2, "2169": 2, "2170": 0, "2171": 0, "2172": 3, "2173": 55, "2174": 55, "2175": 2, "2176": 2, "2177": 3, "2178": 3, "2179": 3, "2180": 3, "2181": 3, "2182": 3, "2183": 3, "2184": 6, "2185": 3, "2186": 3, "2187": 3, "2188": 3, "2189": 0, "2190": 3, "2191": 0, "2192": 8, "2193": 3, "2194": 3, "2195": 3, "2196": 3, "2197": 3, "2198": 3, "2199": 3, "2200": 3, "2201": 2, "2202": 3, "2203": 3, "2204": 0, "2205": 0, "2206": 0, "2207": 2, "2208": 2, "2209": 8, "2210": 0, "2211": 0, "2212": 2, "2213": 2, "2214": 2, "2215": 2, "2216": 2, "2217": 3, "2218": 0, "2219": 3, "2220": 2, "2221": 2, "2222": 13, "2223": 13, "2224": 13, "2225": 13, "2226": 13, "2227": 3, "2228": 3, "2229": 3, "2230": 0, "2231": 0, "2232": 3, "2233": 0, "2234": 3, "2235": 6, "2236": 7, "2237": 7, "2238": 7, "2239": 7, "2240": 7, "2241": 2, "2242": 2, "2243": 0, "2244": 0, "2245": 0, "2246": 0, "2247": 0, "2248": 7, "2249": 7, "2250": 7, "2251": 0, "2252": 0, "2253": 7, "2254": 0, "2255": 22, "2256": 0, "2257": 0, "2258": 20, "2259": 0, "2260": 3, "2261": 3, "2262": 0, "2263": 0, "2264": 3, "2265": 0, "2266": 0, "2267": 0, "2268": 0, "2269": 6, "2270": 6, "2271": 6, "2272": 6, "2273": 6, "2274": 6, "2275": 6, "2276": 3, "2277": 3, "2278": 3, "2279": 2, "2280": 3, "2281": 3, "2282": 3, "2283": 2, "2284": 6, "2285": 6, "2286": 6, "2287": 0, "2288": 0, "2289": 7, "2290": 7, "2291": 0, "2292": 0, "2293": 3, "2294": 7, "2295": 3, "2296": 0, "2297": 7, "2298": 7, "2299": 7, "2300": 0, "2301": 0, "2302": 0, "2303": 0, "2304": 3, "2305": 0, "2306": 0, "2307": 2, "2308": 0, "2309": 3, "2310": 3, "2311": 3, "2312": 3, "2313": 0, "2314": 0, "2315": 3, "2316": 3, "2317": 3, "2318": 0, "2319": 0, "2320": 0, "2321": 0, "2322": 0, "2323": 2, "2324": 2, "2325": 0, "2326": 0, "2327": 0, "2328": 0, "2329": 0, "2330": 3, "2331": 0, "2332": 3, "2333": 3, "2334": 2, "2335": 0, "2336": 0, "2337": 0, "2338": 0, "2339": 0, "2340": 0, "2341": 51, "2342": 3, "2343": 3, "2344": 3, "2345": 3, "2346": 3, "2347": 3, "2348": 0, "2349": 3, "2350": 3, "2351": 7, "2352": 7, "2353": 7, "2354": 7, "2355": 0, "2356": 0, "2357": 0, "2358": 3, "2359": 2, "2360": 0, "2361": 0, "2362": 0, "2363": 6, "2364": 3, "2365": 2, "2366": 2, "2367": 3, "2368": 3, "2369": 3, "2370": 3, "2371": 3, "2372": 2, "2373": 0, "2374": 6, "2375": 6, "2376": 0, "2377": 2, "2378": 0, "2379": 0, "2380": 0, "2381": 0, "2382": 0, "2383": 0, "2384": 3, "2385": 3, "2386": 0, "2387": 0, "2388": 3, "2389": 2, "2390": 2, "2391": 2, "2392": 2, "2393": 7, "2394": 3, "2395": 3, "2396": 3, "2397": 3, "2398": 0, "2399": 7, "2400": 7, "2401": 7, "2402": 0, "2403": 0, "2404": 3, "2405": 3, "2406": 0, "2407": 0, "2408": 3, "2409": 0, "2410": 76, "2411": 76, "2412": 0, "2413": 2, "2414": 2, "2415": 2, "2416": 3, "2417": 3, "2418": 3, "2419": 3, "2420": 3, "2421": 2, "2422": 3, "2423": 3, "2424": 0, "2425": 3, "2426": 3, "2427": 3, "2428": 3, "2429": 24, "2430": 0, "2431": 77, "2432": 77, "2433": 64, "2434": 7, "2435": 7, "2436": 3, "2437": 16, "2438": 16, "2439": 2, "2440": 2, "2441": 2, "2442": 2, "2443": 2, "2444": 2, "2445": 2, "2446": 2, "2447": 2, "2448": 2, "2449": 0, "2450": 2, "2451": 2, "2452": 2, "2453": 3, "2454": 9, "2455": 9, "2456": 2, "2457": 3, "2458": 3, "2459": 2, "2460": 2, "2461": 14, "2462": 7, "2463": 7, "2464": 7, "2465": 7, "2466": 2, "2467": 3, "2468": 3, "2469": 3, "2470": 3, "2471": 0, "2472": 3, "2473": 7, "2474": 7, "2475": 3, "2476": 2, "2477": 0, "2478": 0, "2479": 65, "2480": 3, "2481": 6, "2482": 16, "2483": 28, "2484": 28, "2485": 3, "2486": 20, "2487": 0, "2488": 0, "2489": 7, "2490": 0, "2491": 6, "2492": 2, "2493": 0, "2494": 0, "2495": 0, "2496": 7, "2497": 6, "2498": 0, "2499": 3, "2500": 7, "2501": 7, "2502": 3, "2503": 2, "2504": 0, "2505": 0, "2506": 0, "2507": 2, "2508": 0, "2509": 0, "2510": 6, "2511": 3, "2512": 2, "2513": 20, "2514": 2, "2515": 2, "2516": 6, "2517": 6, "2518": 7, "2519": 0, "2520": 0, "2521": 0, "2522": 2, "2523": 2, "2524": 0, "2525": 2, "2526": 37, "2527": 3, "2528": 6, "2529": 57, "2530": 2, "2531": 0, "2532": 0, "2533": 2, "2534": 0, "2535": 0, "2536": 0, "2537": 15, "2538": 7, "2539": 2, "2540": 2, "2541": 0, "2542": 0, "2543": 0, "2544": 1, "2545": 0, "2546": 2, "2547": 7, "2548": 7, "2549": 7, "2550": 0, "2551": 0, "2552": 0, "2553": 6, "2554": 2, "2555": 0, "2556": 2, "2557": 2, "2558": 2, "2559": 0, "2560": 2, "2561": 2, "2562": 26, "2563": 7, "2564": 7, "2565": 56, "2566": 56, "2567": 56, "2568": 0, "2569": 29, "2570": 0, "2571": 0, "2572": 0, "2573": 0, "2574": 0, "2575": 3, "2576": 3, "2577": 7, "2578": 0, "2579": 0, "2580": 0, "2581": 2, "2582": 0, "2583": 23, "2584": 2, "2585": 2, "2586": 71, "2587": 0, "2588": 0, "2589": 3, "2590": 3, "2591": 0, "2592": 6, "2593": 3, "2594": 7, "2595": 0, "2596": 2, "2597": 2, "2598": 0, "2599": 0, "2600": 53, "2601": 0, "2602": 78, "2603": 78, "2604": 9, "2605": 0, "2606": 0, "2607": 2, "2608": 6, "2609": 0, "2610": 0, "2611": 0, "2612": 2, "2613": 0, "2614": 2, "2615": 0, "2616": 2, "2617": 0, "2618": 79, "2619": 79, "2620": 3, "2621": 6, "2622": 8, "2623": 7, "2624": 11, "2625": 80, "2626": 80, "2627": 2, "2628": 3, "2629": 47, "2630": 6, "2631": 12, "2632": 2, "2633": 74, "2634": 81, "2635": 81, "2636": 81, "2637": 0, "2638": 3, "2639": 54, "2640": 3, "2641": 2, "2642": 2, "2643": 2, "2644": 3, "2645": 7, "2646": 7, "2647": 7, "2648": 7, "2649": 3, "2650": 0, "2651": 2, "2652": 2, "2653": 3, "2654": 2, "2655": 2, "2656": 2, "2657": 2, "2658": 2, "2659": 58, "2660": 75, "2661": 5, "2662": 5, "2663": 0, "2664": 72, "2665": 82, "2666": 82, "2667": 0, "2668": 0, "2669": 39, "2670": 7, "2671": 7, "2672": 7, "2673": 7, "2674": 7, "2675": 7, "2676": 19, "2677": 7, "2678": 7, "2679": 7, "2680": 7, "2681": 7, "2682": 7, "2683": 7, "2684": 7, "2685": 2, "2686": 73, "2687": 73, "2688": 73, "2689": 2, "2690": 40, "2691": 0, "2692": 68, "2693": 81, "2694": 33, "2695": 33, "2696": 0, "2697": 60, "2698": 0, "2699": 6, "2700": 0, "2701": 11, "2702": 0, "2703": 67, "2704": 43, "2705": 25, "2706": 0, "2707": 0, "2708": 83, "2709": 83, "2710": 83, "2711": 83, "2712": 83, "2713": 83, "2714": 83, "2715": 83, "2716": 83, "2717": 83, "2718": 83, "2719": 83, "2720": 83, "2721": 83, "2722": 83, "2723": 83, "2724": 83, "2725": 83, "2726": 83, "2727": 83, "2728": 83, "2729": 83, "2730": 83, "2731": 83, "2732": 83, "2733": 83, "2734": 83, "2735": 83, "2736": 83, "2737": 83, "2738": 83, "2739": 83, "2740": 83, "2741": 83, "2742": 83, "2743": 83, "2744": 83, "2745": 83, "2746": 83, "2747": 83, "2748": 83, "2749": 83, "2750": 83, "2751": 83, "2752": 83, "2753": 83, "2754": 83, "2755": 83, "2756": 83, "2757": 83, "2758": 83, "2759": 83, "2760": 83, "2761": 83, "2762": 83, "2763": 83, "2764": 83, "2765": 83, "2766": 83, "2767": 83, "2768": 83, "2769": 83, "2770": 83, "2771": 83, "2772": 83, "2773": 83, "2774": 83, "2775": 83, "2776": 83, "2777": 83, "2778": 83, "2779": 83, "2780": 83, "2781": 83, "2782": 83, "2783": 83, "2784": 83, "2785": 83, "2786": 83, "2787": 83, "2788": 83, "2789": 83, "2790": 83, "2791": 83, "2792": 83, "2793": 83, "2794": 83, "2795": 83, "2796": 83, "2797": 83, "2798": 83, "2799": 83, "2800": 83, "2801": 83, "2802": 83, "2803": 83, "2804": 83, "2805": 83, "2806": 83, "2807": 83, "2808": 83, "2809": 83, "2810": 83, "2811": 83, "2812": 83, "2813": 83, "2814": 83, "2815": 83, "2816": 83, "2817": 83, "2818": 83, "2819": 83, "2820": 83, "2821": 83, "2822": 83, "2823": 83, "2824": 83, "2825": 83, "2826": 83, "2827": 83, "2828": 83, "2829": 83, "2830": 83, "2831": 83, "2832": 83, "2833": 83, "2834": 83, "2835": 83, "2836": 83, "2837": 83, "2838": 83, "2839": 83, "2840": 83, "2841": 83, "2842": 83, "2843": 83, "2844": 83, "2845": 83, "2846": 83, "2847": 83, "2848": 83, "2849": 83, "2850": 83, "2851": 83, "2852": 83, "2853": 83, "2854": 83, "2855": 83, "2856": 83, "2857": 83, "2858": 83, "2859": 83, "2860": 83, "2861": 83, "2862": 83, "2863": 83, "2864": 83, "2865": 83, "2866": 83, "2867": 83, "2868": 83, "2869": 83, "2870": 83, "2871": 83, "2872": 83, "2873": 83, "2874": 83, "2875": 83, "2876": 83, "2877": 83, "2878": 83, "2879": 83, "2880": 83, "2881": 83, "2882": 83, "2883": 83, "2884": 83, "2885": 83, "2886": 83, "2887": 83, "2888": 83, "2889": 83, "2890": 83, "2891": 83, "2892": 83, "2893": 83, "2894": 83, "2895": 83, "2896": 83, "2897": 83, "2898": 83, "2899": 83, "2900": 83, "2901": 83, "2902": 83, "2903": 83, "2904": 83, "2905": 83, "2906": 83, "2907": 83, "2908": 83, "2909": 83, "2910": 83, "2911": 83, "2912": 83, "2913": 83, "2914": 83, "2915": 83, "2916": 83, "2917": 83, "2918": 83, "2919": 83, "2920": 83, "2921": 83, "2922": 83, "2923": 83, "2924": 83, "2925": 83, "2926": 83, "2927": 83, "2928": 83, "2929": 83, "2930": 83, "2931": 83, "2932": 83, "2933": 83, "2934": 83, "2935": 83, "2936": 83, "2937": 83, "2938": 83, "2939": 83, "2940": 83, "2941": 83, "2942": 83, "2943": 83, "2944": 83}
\ No newline at end of file