available_ds = [2, 18, 22, 31, 34, 46, 56, 58, 60, 62, 67, 68, 69, 75, 76,
                87, 90, 98, 103, 108, 121, 122, 135, 136, 139, 141, 146, 152,
                155, 161, 162, 165, 166, 174, 175, 177, 184, 202, 207, 212,
                217, 219, 221, 231, 234, 238, 244, 245, 246, 248, 257, 264,
                265, 266, 267, 268, 269, 276, 282, 283, 286, 290, 294, 295,
                296, 301, 302, 308, 312, 315, 316, 320, 321, 322, 332, 336,
                339, 343, 344, 345, 350, 353, 360, 363, 366, 371, 379, 381,
                384, 392, 394, 396, 397, 399, 400, 406, 412, 414, 415, 422,
                425, 427, 429, 430, 431, 435, 436, 437, 440, 442, 447, 449,
                453, 454, 456, 457, 461, 464, 468, 471, 472, 473, 475, 476,
                477, 479, 480, 482, 483, 484, 485, 486, 488, 490, 492, 493,
                495, 499, 504, 505, 513, 518, 523]

available_article = ['Article I', 'Article I:1', 'Article II', 'Article II:1',
                     'Article II:1(a)', 'Article II:1(b)', 'Article II:2',
                     'Article II:3', 'Article III', 'Article III:1',
                     'Article III:2', 'Article III:4', 'Article III:5',
                     'Article III:7', 'Article IV', 'Article IX',
                     'Article IX:2', 'Article V', 'Article V:1',
                     'Article V:2', 'Article V:3', 'Article V:3(a)',
                     'Article V:4', 'Article V:5', 'Article V:6',
                     'Article V:7', 'Article VI', 'Article VI:1',
                     'Article VI:2', 'Article VI:2(a)', 'Article VI:2(b)',
                     'Article VI:3', 'Article VI:5(a)', 'Article VI:6',
                     'Article VII', 'Article VII:1', 'Article VII:2',
                     'Article VII:5', 'Article VIII', 'Article VIII:1',
                     'Article VIII:3', 'Article VIII:4', 'Article X',
                     'Article X:1', 'Article X:2', 'Article X:3',
                     'Article X:3(a)', 'Article XI',
                     'Article XI:1', 'Article XIII',
                     'Article XIII:1', 'Article XIII:2',
                     'Article XIII:3(b)', 'Article XIX',
                     'Article XIX:1', 'Article XIX:2',
                     'Article XIX:3', 'Article XV',
                     'Article XVI', 'Article XVI:1',
                     'Article XVI:4', 'Article XVII',
                     'Article XVII:1', 'Article XVII:1(c)',
                     'Article XVIII', 'Article XVIII:10',
                     'Article XVIII:11', 'Article XX',
                     'Article XXI', 'Article XXII',
                     'Article XXII:1', 'Article XXIII',
                     'Article XXIII:1', 'Article XXIII:1(a)',
                     'Article XXIII:1(b)', 'Article XXIV',
                     'Article XXIV:12', 'Article XXIV:5(b)',
                     'Article XXIV:6', 'Article XXVIII']

cited_by_ds = {2: ['Article XXII:1', 'Article I', 'Article III'], 18: ['Article XIII', 'Article XI'], 22: ['Article VI:3', 'Article VI:6'], 31: ['Article XI', 'Article III'], 34: ['Article XXIV', 'Article XI', 'Article XIII'], 46: ['Article XVI'], 56: ['Article VIII', 'Article VII', 'Article II', 'Article X'], 58: ['Article XI', 'Article XIII', 'Article I', 'Article XX'], 60: ['Article VI'], 62: ['Article II'], 67: ['Article XXIII:1', 'Article XXIII', 'Article II'], 68: ['Article II', 'Article XXII:1', 'Article XXIII:1'], 69: ['Article XIII', 'Article III', 'Article XXVIII', 'Article II', 'Article X'], 75: ['Article III:2'], 76: ['Article XI'], 87: ['Article III:2'], 90: ['Article XI:1', 'Article XIII', 'Article XVIII:11'], 98: ['Article XIX'], 103: ['Article X', 'Article XIII', 'Article XI'], 108: ['Article III:4', 'Article XVI'], 121: ['Article XIX'], 122: ['Article VI'], 135: ['Article III', 'Article XI', 'Article XXIII', 'Article XXIII:1(b)'], 136: ['Article VI', 'Article III:4'], 139: ['Article I:1', 'Article XXIV', 'Article III:4'], 141: ['Article VI', 'Article I'], 146: ['Article XI', 'Article III'], 152: ['Article XI', 'Article I', 'Article III', 'Article II', 'Article VIII'], 155: ['Article XI:1', 'Article III:2', 'Article X:3(a)'], 161: ['Article III', 'Article X', 'Article II', 'Article XI', 'Article XVII'], 162: ['Article III:4', 'Article III', 'Article VI', 'Article XI'], 165: ['Article XI', 'Article VIII', 'Article II', 'Article I'], 166: ['Article XIX', 'Article I'], 174: ['Article I', 'Article III:4'], 175: ['Article XI', 'Article III:4', 'Article XI:1', 'Article III'], 177: ['Article XIX', 'Article I', 'Article II'], 184: ['Article VI', 'Article X'], 202: ['Article I', 'Article XIII', 'Article XIX'], 207: ['Article II', 'Article XIX:1'], 212: ['Article VI:3'], 217: ['Article X:3', 'Article XXIII:1', 'Article VI:2', 'Article VI:3'], 219: ['Article I', 'Article VI'], 221: ['Article VI', 'Article VI:2', 'Article VI:3', 'Article VI:6'], 231: ['Article I', 'Article III', 'Article XI:1'], 234: ['Article VI:2', 'Article X', 'Article VI:3', 'Article X:3', 'Article VI', 'Article XXIII:1'], 238: ['Article XIX:1'], 244: ['Article VI', 'Article X'], 245: ['Article XI'], 246: ['Article I:1'], 248: ['Article I:1', 'Article XIX:1', 'Article XIII'], 257: ['Article VI:3', 'Article X:3', 'Article VI'], 264: ['Article X:3', 'Article VI'], 265: ['Article XVI', 'Article III:4'], 266: ['Article III:4', 'Article XVI'], 267: ['Article XVI', 'Article III:4'], 268: ['Article X', 'Article VI'], 269: ['Article II', 'Article XXVIII', 'Article XXIII:1', 'Article XXIII', 'Article II:1'], 276: ['Article III', 'Article XVII', 'Article XVII:1', 'Article III:4'], 282: ['Article VI', 'Article X'], 283: ['Article III:4'], 286: ['Article XXII', 'Article II'], 290: ['Article I', 'Article I:1', 'Article III:4', 'Article III'], 294: ['Article VI'], 295: ['Article VI', 'Article VI:2'], 296: ['Article X:3', 'Article VI:3'], 301: ['Article XXIII:1', 'Article III:4', 'Article I:1'], 302: ['Article X:1', 'Article XV', 'Article X:3', 'Article III:2', 'Article II:1', 'Article XI:1', 'Article III:4', 'Article X:3(a)'], 308: ['Article III'], 312: ['Article VI:1', 'Article VI:2(b)', 'Article VI:6', 'Article VI:2(a)'], 315: ['Article X:3', 'Article X:1'], 316: ['Article XVI:1', 'Article XXIII:1', 'Article III:4'], 320: ['Article II', 'Article I'], 321: ['Article I', 'Article II'], 322: ['Article VI:1', 'Article VI', 'Article VI:2(a)'], 332: ['Article XIII:1', 'Article I:1', 'Article XI:1', 'Article III:4'], 336: ['Article X:3', 'Article VI:3'], 339: ['Article III:5', 'Article XI', 'Article XIII:1', 'Article II:1', 'Article III:4', 'Article III:2', 'Article III:1'], 343: ['Article XI:1', 'Article XX', 'Article III', 'Article II:1', 'Article II', 'Article VI:2', 'Article XIII:1', 'Article VI', 'Article I:1', 'Article X:3(a)'], 344: ['Article VI', 'Article VI:2', 'Article VI:1'], 345: ['Article I', 'Article X:1', 'Article X:2', 'Article XI', 'Article VI:2', 'Article XIII', 'Article VI', 'Article II', 'Article X', 'Article VI:3', 'Article II:1'], 350: ['Article VI:2', 'Article VI:1'], 353: ['Article III:4'], 360: ['Article III:2', 'Article III:4', 'Article II:1'], 363: ['Article III:4', 'Article XI:1'], 366: ['Article V:6', 'Article VII', 'Article XI', 'Article XIII:1', 'Article X:3(a)', 'Article VII:1', 'Article II:1', 'Article III:2', 'Article X:3', 'Article I:1'], 371: ['Article X:1', 'Article III:2', 'Article II:1(b)', 'Article III:4', 'Article VII:2', 'Article X:3', 'Article VII:5', 'Article VII:1', 'Article X:3(a)', 'Article II:3'], 379: ['Article VI', 'Article I'], 381: ['Article I', 'Article III'], 384: ['Article IX', 'Article IX:2', 'Article III:4', 'Article XXIII:1(b)', 'Article X:3', 'Article X:3(a)'], 392: ['Article XI:1', 'Article I:1'], 394: ['Article VIII:1', 'Article XI:1', 'Article X:3', 'Article VIII', 'Article VIII:4', 'Article XI', 'Article X', 'Article X:1'], 396: ['Article III:1', 'Article III:2'], 397: ['Article I:1', 'Article VI:1', 'Article X:3(a)', 'Article I'], 399: ['Article II', 'Article XIX', 'Article I:1'], 400: ['Article III:4', 'Article I:1', 'Article XXIII:1(b)', 'Article XI:1'], 406: ['Article XX', 'Article XXIII:1(a)', 'Article III:4'], 412: ['Article III:4', 'Article III:5', 'Article XXIII:1'], 414: ['Article VI'], 415: ['Article II:1', 'Article XIX:2', 'Article XIX:1', 'Article I:1'], 422: ['Article VI:1', 'Article VI:2(b)', 'Article VI:2(a)'], 425: ['Article VI:1', 'Article VI:6'], 427: ['Article VI', 'Article VI:3'], 429: ['Article X', 'Article VI:1', 'Article VI:2(a)', 'Article VI:2'], 430: ['Article I', 'Article XI'], 431: ['Article XI:1', 'Article X:3(a)', 'Article VII', 'Article X', 'Article VIII', 'Article XI'], 435: ['Article III:4'], 436: ['Article I', 'Article VI'], 437: ['Article VI', 'Article XXIII'], 440: ['Article VI'], 442: ['Article VI', 'Article X:3(a)'], 447: ['Article XI:1', 'Article I:1', 'Article III:4'], 449: ['Article X', 'Article VI'], 453: ['Article III:2', 'Article I:1', 'Article III:4', 'Article XI:1'], 454: ['Article VI'], 456: ['Article III:4'], 457: ['Article XI', 'Article II:1(b)', 'Article XI:1', 'Article X:1', 'Article X:3(a)', 'Article II:1(a)'], 461: ['Article II:1', 'Article VIII:1', 'Article II:1(b)', 'Article X:3(a)'], 464: ['Article VI:2', 'Article VI:3', 'Article VI', 'Article VI:1'], 468: ['Article II:1(b)', 'Article XIX:1'], 471: ['Article VI:2'], 472: ['Article III:4', 'Article I:1', 'Article II:1(b)', 'Article III:5', 'Article III:2'], 473: ['Article VI:2'], 475: ['Article XI:1', 'Article III:4', 'Article I:1'], 476: ['Article I', 'Article III', 'Article XI', 'Article X'], 477: ['Article X:1', 'Article III:4', 'Article XI:1'], 479: ['Article VI'], 480: ['Article VI:1', 'Article VI', 'Article VI:2'], 482: ['Article VI'], 483: ['Article VI'], 484: ['Article X:3', 'Article III:4', 'Article X:1', 'Article XI:1'], 485: ['Article II:1(b)', 'Article II:1(a)', 'Article VII'], 486: ['Article VI'], 488: ['Article X:3', 'Article I'], 490: ['Article XIX:1', 'Article I:1', 'Article XIX:2'], 492: ['Article II:2', 'Article I', 'Article I:1', 'Article XXVIII', 'Article XIII:2', 'Article XIII:1', 'Article XIII', 'Article II', 'Article II:1'], 493: ['Article VI'], 495: ['Article XXIII:1'], 499: ['Article I:1', 'Article III:4', 'Article XIII:1', 'Article XI:1', 'Article X:3(a)'], 504: ['Article VI'], 505: ['Article VI:3'], 513: ['Article X:1', 'Article I:1', 'Article X:3(a)', 'Article X:2', 'Article XI:1'], 518: ['Article I:1', 'Article XI:1', 'Article XIX:1', 'Article II:1(b)'], 523: ['Article VI:3']}
