Topic Model 中文文本分类

Topic Model 中文文本分类

LDA模型

LDA将文档表示为主题的集合，主题生成具有一定概率的单词。
文档按以下方式生成：

• 确定文档具有的单词数N（例如，根据Poisson分布）。
• 选择文章的主题（根据固定K个主题集合上的Dirichlet分布)。例如，假设我们上面有食物和可爱的动物主题，你可能会选择包含1/3食物和2/3可爱的动物的文档。
• 在文档中生成每个词w_i:
  • 首先选择一个主题（根据您上面采样的多项式分布；例如，您可能以1/3的概率选择食物主题，而以2/3的概率选择可爱的动物主题）。
  • 使用主题生成单词本身（根据主题的多项式分布）。例如，如果选择食物主题，则可能会生成“西兰花”一词的概率为30％，会生成“香蕉”一词的概率为15％，依此类推。

假设此生成模型用于文档集合，则LDA然后尝试从文档中回溯（backtrack）寻找一个可能会生成这个文档的主题的集合。

EXAMPLE

举个栗子，生成文档D时，

• 选择5作为D中的单词数
• D将1/2与食物有关，1/2与可爱动物有关，挑选一个话题
• 再从挑选的话题中按一定概率生成一个词
• 重复前两个步骤五次

LEARN

现在，假设你有一组文档，你已经选择了固定数量的K个主题，并且希望使用LDA来学习每个文档的主题表示以及与每个主题相关的单词

• 浏览每个文档，并将文档中的每个单词随机分配给K个主题之一。
• 请注意，这种随机分配已经为您提供了所有文档的主题表示形式和所有主题的单词分布（尽管不是很好）。
• 因此，为了改进它们，对于每个文档d ，扫描d中的每个单词w：
  • 对于每个话题t，计算两件事：1）p(topic t | docunment d) = 文档d中当前分配给主题t的单词所占的比例，2）p(word w | topic t) = 在这个单词w产生的所有文档中，分配给主题t的任务所占的比例。为w重新分配新话题，我们选择话题t使用p(topic t | document d) * p(word w | topic t) (根据我们的生成模型，这实质上是主题t生成单词w的概率，因此我们以该概率对当前单词的主题进行重新采样是有意义的）
  • 也就是说，在此步骤中，我们假设除了所讨论的当前单词以外的所有主题分配都是正确的，然后使用我们的文档生成模型更新当前单词的分配。
• 在多次重复上一步之后，您最终将达到一个大致稳定的状态，此时就已经分配好了。 使用这些分配来估计每个文档的主题混合（通过计算分配给该文档中每个主题的单词的比例）和与每个主题相关联的单词（通过计算总体分配给每个主题的单词的比例）。

CODE

from gensim import corpora, models
import jieba.posseg as jp
import jieba
 
 
# 简单文本处理
def get_text(texts):
    flags = ('n', 'nr', 'ns', 'nt', 'eng', 'v', 'd')  # 词性
    stopwords = [line.strip() for line in open('stop_words.txt','r', encoding='utf')]  # 停用词
    words_list = []
    for text in texts:
        words = [w.word for w in jp.lcut(text) if w.flag in flags and w.word not in stopwords]
        words_list.append(words)
    return words_list
 

import glob
import random
import re
import sys
from opencc import OpenCC
opencc = OpenCC('t2s')


##########################################################################
# Getting file names (book titles)
##########################################################################
path = 'xiaoshuo'
f_names = []
for file in glob.glob(path + "/*.txt"):
    f_names.append(file)
    
print(f_names)

['xiaoshuo\\书剑恩仇录.txt', 'xiaoshuo\\侠客行.txt', 'xiaoshuo\\倚天屠龙记.txt', 'xiaoshuo\\天龙八部.txt', 'xiaoshuo\\射雕英雄传.txt', 'xiaoshuo\\碧血剑.txt', 'xiaoshuo\\神雕侠侣.txt', 'xiaoshuo\\笑傲江湖.txt', 'xiaoshuo\\连城诀.txt', 'xiaoshuo\\雪山飞狐.txt', 'xiaoshuo\\飞狐外传.txt']

trains = []
tests = []


files = random.sample(f_names,5)
for file in files:
    with open(file, 'r', encoding='ANSI') as file_object:
        word = file_object.read()
        paras = []          #存放小说段落
        for para in re.split(r'\n',word):    #从小说中将足够长的段落挑选出来
            if(sys.getsizeof(para)>300):
                paras.append(para)
                # print(para)
        text=random.sample(paras,100)   #随机获取100段文本
        trains.extend(text[0:90])
        tests.append(text[90:100])
# for text in texts:
words_list = get_text(trains)
print('分词后的文本：')
# print(words_list)

分词后的文本：

# Dictionary()方法遍历所有的文本，为每个不重复的单词分配一个单独的整数ID，同时收集该单词出现次数以及相关的统计信息
dictionary = corpora.Dictionary(words_list)
dictionary.filter_extremes(no_below=10, no_above=0.5)
print(dictionary)
# print('打印查看每个单词的id:')
# print(dictionary.token2id)  # 打印查看每个单词的id

Dictionary(433 unique tokens: ['不到', '不知', '事', '便', '儿子']...)

# 将dictionary转化为一个词袋
# doc2bow()方法将dictionary转化为一个词袋。得到的结果corpus是一个向量的列表，向量的个数就是文档数。
# 在每个文档向量中都包含一系列元组,元组的形式是（单词 ID，词频）
corpus = [dictionary.doc2bow(words) for words in words_list]
print('输出每个文档的向量:')
print(corpus)  # 输出每个文档的向量

输出每个文档的向量:
[[(0, 1), (1, 1), (2, 1), (3, 2), (4, 1), (5, 1), (6, 1), (7, 1), (8, 5), (9, 3), (10, 1), (11, 1), (12, 2), (13, 1), (14, 1), (15, 2), (16, 4), (17, 1), (18, 1), (19, 2)], [(20, 2), (21, 1), (22, 1), (23, 1), (24, 2), (25, 1)], [(3, 2), (26, 1), (27, 1), (28, 1), (29, 1), (30, 1), (31, 1)], [(1, 1), (3, 2), (9, 1), (11, 1), (18, 1), (32, 1), (33, 1), (34, 1), (35, 1), (36, 1), (37, 1), (38, 1), (39, 1)], [(0, 2), (3, 2), (36, 1), (37, 1), (40, 1), (41, 1), (42, 1), (43, 1), (44, 1), (45, 1), (46, 1), (47, 1), (48, 2), (49, 2), (50, 1), (51, 1)], [(3, 3), (4, 1), (35, 2), (36, 2), (44, 1), (52, 1), (53, 1), (54, 1), (55, 2), (56, 1), (57, 1), (58, 1), (59, 1), (60, 1), (61, 1), (62, 1)], [(3, 1), (10, 2), (15, 1), (59, 1), (63, 1), (64, 1), (65, 1), (66, 1), (67, 1), (68, 3), (69, 2), (70, 1), (71, 1)], [(2, 2), (36, 2), (72, 1), (73, 3), (74, 1), (75, 1)], [(61, 1), (76, 1), (77, 1), (78, 1), (79, 1), (80, 1), (81, 2), (82, 1), (83, 1), (84, 2)], [(36, 2), (64, 1), (85, 1), (86, 1), (87, 1), (88, 1), (89, 1)], [(15, 1), (36, 1), (46, 3), (90, 1), (91, 1), (92, 1), (93, 2), (94, 1), (95, 3)], [(43, 1), (52, 1), (96, 1), (97, 1), (98, 1), (99, 1), (100, 1)], [(15, 2), (52, 1), (55, 1), (72, 1), (84, 1), (89, 1), (92, 1), (101, 1), (102, 1), (103, 1), (104, 1), (105, 1), (106, 1), (107, 1), (108, 1), (109, 1), (110, 1), (111, 1)], [(14, 1), (15, 1), (19, 1), (36, 2), (37, 1), (50, 1), (64, 1), (69, 1), (112, 1), (113, 1), (114, 1), (115, 1), (116, 1), (117, 1), (118, 1)], [(3, 1), (5, 1), (20, 2), (43, 1), (76, 2), (87, 1), (119, 2), (120, 1), (121, 1), (122, 1), (123, 1), (124, 1), (125, 1), (126, 1)], [(111, 1), (124, 2), (127, 1), (128, 1), (129, 3), (130, 1), (131, 1)], [(3, 1), (8, 1), (100, 1), (132, 1)], [(3, 1), (36, 2), (60, 1), (85, 1), (125, 1), (126, 1), (133, 1), (134, 1), (135, 1), (136, 1), (137, 1), (138, 1), (139, 1), (140, 1)], [(36, 2), (44, 1), (47, 1), (50, 1), (60, 1), (61, 1), (64, 2), (66, 1), (70, 1), (79, 1), (141, 1), (142, 1), (143, 1), (144, 1)], [(3, 1), (17, 1), (36, 2), (49, 1), (50, 1), (111, 1), (118, 1), (142, 1), (145, 1), (146, 1), (147, 1)], [(3, 2), (36, 3), (49, 1), (91, 1), (122, 1), (132, 1), (148, 1), (149, 1), (150, 1), (151, 1)], [(8, 1), (9, 2), (11, 2), (15, 1), (26, 1), (45, 1), (73, 1), (78, 1), (94, 1), (152, 1), (153, 1), (154, 1)], [(4, 1), (33, 1), (36, 3), (54, 1), (64, 1), (65, 1), (75, 1), (103, 1), (155, 1), (156, 1), (157, 1), (158, 1), (159, 4)], [(1, 1), (36, 1), (88, 1), (100, 1), (132, 1), (134, 1), (160, 1), (161, 1), (162, 1), (163, 1), (164, 1), (165, 1)], [(11, 2), (15, 1), (18, 1), (25, 1), (35, 1), (54, 1), (55, 1), (56, 2), (84, 1), (98, 1), (108, 1), (124, 1), (147, 1), (166, 1), (167, 1)], [(5, 1), (34, 1), (59, 1), (63, 1), (93, 1), (94, 1), (108, 1), (132, 1), (168, 1), (169, 1), (170, 1), (171, 1), (172, 1)], [(3, 1), (10, 1), (54, 1), (66, 1), (71, 1), (100, 1), (122, 1), (126, 1), (153, 4), (158, 1), (162, 1), (173, 1)], [(16, 1), (17, 1), (124, 1), (174, 1), (175, 1)], [(3, 1), (15, 1), (36, 2), (73, 1), (84, 1), (176, 1), (177, 1), (178, 1)], [(35, 1), (56, 2), (64, 1), (121, 1), (153, 1), (179, 1), (180, 1), (181, 3)], [(0, 1), (3, 1), (36, 2), (44, 1), (76, 1), (81, 1), (82, 1), (98, 1), (100, 1), (182, 1), (183, 1), (184, 1), (185, 1)], [(3, 1), (18, 1), (35, 1), (36, 1), (48, 1), (52, 1), (55, 1), (56, 1), (64, 2), (76, 1), (84, 2), (97, 1), (186, 1), (187, 1), (188, 1), (189, 1)], [(8, 3), (13, 3), (46, 1), (49, 1), (52, 1), (63, 1), (66, 2), (70, 1), (72, 1), (153, 2), (155, 1), (156, 1), (186, 1), (190, 1), (191, 2), (192, 1)], [(0, 1), (3, 1), (4, 1), (44, 1), (66, 1), (76, 1), (159, 2), (192, 1), (193, 1), (194, 3)], [(3, 2), (7, 2), (15, 1), (37, 2), (70, 1), (141, 1), (145, 1), (153, 3), (195, 2), (196, 1), (197, 1), (198, 2)], [(3, 1), (36, 1), (48, 1), (55, 1), (56, 1), (64, 1), (76, 1), (175, 1), (183, 1), (187, 1), (196, 1), (199, 1), (200, 1), (201, 1)], [(36, 1), (54, 1), (66, 1), (76, 1), (80, 1), (120, 1), (155, 1), (202, 1), (203, 1), (204, 1)], [(27, 1), (33, 1), (36, 1), (66, 2), (79, 1), (179, 1), (205, 1), (206, 1), (207, 1)], [(35, 1), (36, 1), (55, 1), (66, 1), (100, 1), (123, 1), (124, 1), (160, 1), (202, 1), (203, 1), (208, 1), (209, 1)], [(3, 1), (13, 1), (89, 1), (114, 1), (157, 1), (205, 4), (210, 1), (211, 1), (212, 1), (213, 1)], [(3, 1), (26, 1), (36, 2), (66, 1), (69, 1), (70, 1), (124, 1), (214, 1)], [(1, 1), (2, 1), (7, 2), (33, 3), (37, 1), (71, 2), (73, 1), (97, 2), (197, 1), (215, 1), (216, 1), (217, 2), (218, 1), (219, 1)], [(1, 1), (11, 1), (15, 1), (18, 1), (34, 1), (64, 1), (70, 2), (75, 1), (78, 1), (122, 1), (135, 1), (159, 1), (220, 1), (221, 1), (222, 1), (223, 1)], [(4, 1), (25, 1), (36, 2), (37, 1), (125, 2), (129, 1), (130, 1), (158, 1), (193, 1), (223, 1)], [(35, 2), (36, 1), (61, 1), (83, 1), (122, 1), (135, 1), (196, 1)], [(3, 1), (36, 1), (94, 2), (126, 1), (193, 1)], [(1, 1), (8, 1), (9, 2), (11, 2), (15, 1), (18, 2), (36, 1), (50, 2), (121, 1), (154, 1)], [(32, 1), (48, 1), (64, 2), (68, 1), (83, 1), (149, 1), (224, 1), (225, 1), (226, 1)], [(3, 1), (4, 1), (14, 1), (18, 1), (34, 1), (36, 3), (42, 1), (52, 1), (55, 2), (56, 1), (92, 1), (121, 1), (124, 1), (170, 1), (183, 1), (185, 1), (227, 1), (228, 1), (229, 1)], [(2, 1), (11, 1), (51, 1), (72, 1), (144, 1), (226, 1), (230, 1), (231, 1)], [(124, 1), (161, 2)], [(3, 2), (14, 1), (84, 1), (170, 1), (232, 1)], [(1, 1), (3, 3), (7, 2), (36, 1), (38, 1), (59, 1), (66, 3), (122, 1), (141, 1), (155, 1), (198, 1), (233, 1)], [(2, 1), (25, 1), (28, 1), (38, 1), (41, 1), (54, 1), (57, 1), (59, 1), (65, 2), (68, 1), (132, 1), (175, 1), (208, 2), (234, 2), (235, 1), (236, 1), (237, 1)], [(1, 1), (15, 1), (33, 1), (36, 2), (70, 1), (93, 2), (124, 1), (162, 1), (212, 1), (216, 1), (218, 1), (238, 1)], [(29, 1), (239, 1), (240, 1)], [(7, 5), (15, 1), (16, 2), (27, 1), (37, 1), (55, 1), (70, 1), (100, 1), (119, 1), (197, 2), (219, 1), (241, 1), (242, 1), (243, 1), (244, 1), (245, 1)], [(27, 2), (132, 1), (148, 1), (149, 1), (219, 2), (221, 1), (246, 1), (247, 1)], [(36, 3), (47, 1), (156, 1), (180, 1), (233, 1)], [(3, 3), (5, 1), (36, 5), (63, 1), (64, 1), (66, 1), (70, 1), (76, 1), (79, 1), (83, 1), (90, 1), (94, 1), (136, 1), (149, 1), (184, 1), (229, 1), (248, 1), (249, 1), (250, 2), (251, 1), (252, 1), (253, 1), (254, 1)], [(12, 1), (35, 1), (36, 1), (48, 3), (55, 2), (70, 1), (91, 1), (255, 1)], [(0, 1), (3, 1), (68, 1), (88, 1), (110, 1), (127, 2), (148, 1), (256, 1), (257, 1)], [(5, 1), (45, 1), (54, 1), (64, 2), (66, 1), (88, 1), (100, 1), (132, 1), (160, 1), (212, 1), (230, 2), (258, 2), (259, 1), (260, 1), (261, 1)], [(36, 1), (51, 1), (100, 1), (111, 1), (185, 2), (195, 1), (224, 1), (233, 1), (240, 1), (255, 1), (262, 1), (263, 1)], [(3, 1), (5, 2), (11, 1), (15, 1), (18, 1), (19, 1), (35, 1), (36, 1), (96, 1), (132, 2), (137, 1), (145, 1), (211, 1), (228, 1), (258, 1), (264, 1), (265, 1)], [(1, 1), (3, 1), (6, 1), (35, 2), (110, 1), (149, 2), (159, 1), (193, 2), (226, 1), (246, 1), (266, 1), (267, 1), (268, 1)], [(3, 1), (12, 1), (15, 1), (18, 1), (35, 2), (36, 3), (48, 1), (60, 1), (88, 1), (117, 1), (167, 1), (175, 1), (225, 1), (232, 1), (255, 1), (262, 1), (269, 1), (270, 1)], [(0, 1), (2, 1), (3, 1), (16, 1), (21, 1), (36, 1), (66, 1), (89, 1), (91, 1), (118, 1), (128, 1), (180, 1), (258, 1), (271, 1), (272, 1)], [(36, 2), (134, 3), (203, 2), (273, 1)], [(0, 1), (15, 1), (87, 1), (90, 1), (91, 1), (120, 1), (123, 1), (148, 1), (185, 1), (197, 1), (224, 1), (241, 1), (274, 1), (275, 1)], [(0, 1), (15, 1), (19, 4), (25, 1), (36, 3), (49, 1), (80, 1), (89, 1), (194, 1), (203, 3), (230, 1), (276, 1)], [(8, 1), (19, 1), (36, 2), (44, 1), (63, 2), (94, 1), (100, 1), (120, 1), (124, 1), (192, 1), (203, 4), (243, 1)], [(1, 1), (36, 1), (63, 1), (64, 1), (65, 1), (132, 1), (155, 1), (194, 1), (277, 1), (278, 1), (279, 1)], [(15, 1), (20, 1), (21, 1), (28, 1), (54, 1), (59, 1), (94, 1), (124, 1), (160, 1), (214, 1), (280, 1)], [(3, 1), (7, 1), (15, 2), (69, 1), (124, 1), (146, 1), (183, 1), (193, 1), (250, 1), (281, 1), (282, 1), (283, 1), (284, 1)], [(10, 1), (36, 1), (59, 1), (64, 1), (149, 1), (197, 1), (257, 1), (280, 1), (285, 1)], [(36, 2), (49, 1), (61, 1), (139, 1), (214, 1), (238, 1), (240, 1), (286, 2), (287, 1), (288, 1)], [(99, 2), (156, 1), (208, 2), (283, 1)], [(2, 1), (15, 1), (26, 1), (46, 2), (69, 1), (78, 1), (91, 1), (108, 1), (148, 1), (195, 1), (205, 1), (241, 1), (268, 1), (289, 1)], [(2, 1), (3, 1), (58, 1), (64, 1), (68, 1), (75, 1), (77, 1), (124, 1), (155, 1), (159, 1), (211, 1), (257, 1), (283, 1)], [(2, 1), (36, 1), (70, 2), (122, 2), (153, 1), (163, 1), (165, 1), (203, 1), (218, 1), (272, 1), (290, 1), (291, 1)], [(2, 1), (3, 1), (11, 1), (18, 1), (26, 2), (27, 1), (35, 1), (36, 1), (52, 1), (55, 3), (56, 1), (70, 1), (76, 1), (83, 1), (132, 1), (167, 1), (226, 1), (229, 1)], [(15, 1), (55, 1), (122, 1), (217, 1), (227, 1), (277, 1)], [(4, 2), (18, 1), (35, 1), (44, 1), (46, 1), (55, 1), (56, 1), (59, 1), (95, 1), (121, 1), (146, 1), (180, 1), (193, 2), (230, 1), (277, 1), (292, 1), (293, 2), (294, 1)], [(27, 1), (186, 1), (200, 1), (213, 1), (237, 1), (244, 1), (295, 1)], [(15, 1), (22, 1), (36, 1), (81, 1), (104, 1), (113, 1), (116, 1), (132, 1), (223, 1), (261, 1), (278, 1), (296, 1), (297, 1)], [(3, 1), (15, 1), (50, 1), (160, 1), (244, 1)], [(4, 1), (63, 1), (122, 1), (124, 2), (129, 1), (161, 1), (193, 2), (223, 1)], [(9, 2), (11, 1), (18, 2), (84, 1), (140, 1), (298, 1), (299, 1)], [(70, 1), (76, 1), (222, 1), (226, 1), (255, 1), (265, 1), (266, 1), (271, 1), (300, 1), (301, 1)], [(3, 1), (54, 1), (78, 1), (158, 1), (169, 1), (185, 1), (254, 1), (265, 1), (284, 1), (296, 1), (302, 1), (303, 1)], [(20, 1), (27, 1), (120, 1), (155, 1), (304, 1)], [(53, 1), (54, 1), (69, 1), (95, 1), (122, 1), (156, 1), (250, 1), (281, 1), (305, 1), (306, 1), (307, 1)], [(1, 1), (3, 4), (6, 2), (7, 1), (27, 2), (37, 1), (38, 2), (45, 1), (49, 1), (50, 1), (57, 1), (59, 1), (61, 1), (70, 2), (71, 1), (73, 1), (89, 1), (91, 1), (92, 1), (100, 1), (118, 1), (124, 2), (132, 1), (145, 1), (147, 1), (154, 2), (157, 1), (168, 1), (193, 2), (197, 5), (229, 1), (234, 1), (244, 1), (254, 1), (264, 1), (276, 1), (289, 1), (297, 1), (302, 1), (304, 7), (308, 2), (309, 1), (310, 3), (311, 1), (312, 1), (313, 1), (314, 2)], [(168, 1), (231, 1), (233, 1), (258, 1), (304, 1), (315, 1)], [(1, 3), (2, 1), (3, 4), (8, 1), (9, 1), (15, 3), (19, 2), (25, 1), (33, 2), (37, 1), (54, 1), (55, 1), (57, 1), (59, 2), (70, 4), (71, 2), (73, 1), (75, 2), (100, 1), (122, 2), (126, 1), (134, 2), (136, 1), (146, 1), (149, 3), (157, 2), (158, 2), (164, 1), (165, 1), (177, 4), (178, 1), (179, 1), (206, 1), (226, 1), (228, 1), (238, 1), (257, 1), (280, 1), (313, 1), (316, 1), (317, 1), (318, 3), (319, 1), (320, 1), (321, 6), (322, 2), (323, 1), (324, 1)], [(2, 1), (3, 1), (8, 1), (9, 2), (10, 1), (15, 1), (17, 1), (20, 1), (27, 1), (37, 1), (42, 1), (49, 1), (59, 2), (61, 2), (70, 1), (76, 3), (79, 1), (83, 1), (91, 1), (94, 1), (95, 1), (96, 1), (97, 2), (105, 1), (117, 1), (122, 1), (125, 1), (133, 1), (143, 1), (149, 3), (175, 2), (177, 3), (178, 1), (186, 1), (187, 1), (189, 1), (212, 1), (227, 1), (237, 1), (241, 1), (246, 2), (248, 1), (257, 1), (266, 2), (277, 1), (290, 1), (294, 1), (297, 1), (298, 1), (319, 1), (322, 1), (325, 1), (326, 1), (327, 1), (328, 1), (329, 2), (330, 1), (331, 7), (332, 1)], [(2, 1), (3, 5), (5, 1), (8, 1), (11, 1), (15, 5), (30, 1), (32, 3), (34, 3), (38, 1), (45, 1), (57, 1), (59, 2), (78, 1), (90, 1), (92, 1), (100, 1), (105, 2), (111, 1), (122, 3), (124, 1), (132, 2), (143, 1), (145, 1), (148, 1), (149, 1), (151, 1), (166, 1), (172, 1), (198, 1), (207, 1), (219, 1), (229, 1), (248, 1), (253, 2), (257, 1), (258, 3), (266, 1), (273, 5), (277, 1), (284, 1), (293, 1), (294, 1), (304, 1), (307, 2), (315, 4), (333, 1), (334, 1), (335, 2), (336, 1), (337, 2), (338, 1)], [(3, 2), (4, 1), (33, 3), (54, 1), (63, 2), (86, 1), (112, 2), (122, 1), (129, 1), (134, 2), (149, 1), (177, 1), (182, 1), (190, 1), (198, 1), (202, 1), (235, 1), (290, 1), (309, 1), (315, 2), (317, 1), (339, 2)], [(9, 1), (14, 1), (15, 2), (20, 1), (40, 1), (86, 1), (103, 1), (105, 1), (169, 1), (225, 1), (249, 1), (321, 3), (340, 1), (341, 2), (342, 1), (343, 1), (344, 1)], [(3, 2), (9, 2), (15, 1), (16, 2), (22, 1), (23, 1), (27, 2), (33, 1), (38, 1), (70, 2), (72, 1), (75, 1), (76, 1), (88, 1), (93, 1), (100, 2), (111, 2), (116, 1), (122, 1), (124, 1), (132, 1), (134, 2), (136, 1), (146, 1), (152, 1), (160, 1), (164, 1), (169, 1), (180, 1), (190, 1), (200, 1), (215, 1), (219, 1), (229, 1), (235, 2), (256, 1), (260, 4), (261, 1), (271, 1), (273, 3), (276, 1), (296, 1), (304, 3), (305, 1), (306, 1), (307, 2), (311, 1), (315, 3), (333, 1), (339, 1), (345, 2), (346, 1), (347, 1), (348, 1), (349, 1)], [(3, 1), (44, 1), (52, 1), (76, 1), (141, 1), (153, 1), (169, 1), (259, 1), (260, 1), (350, 1), (351, 1), (352, 1)], [(1, 2), (3, 1), (19, 1), (20, 1), (23, 1), (27, 3), (32, 1), (33, 1), (44, 1), (46, 1), (59, 1), (70, 1), (87, 1), (93, 1), (100, 1), (108, 1), (147, 2), (162, 1), (183, 1), (202, 1), (237, 1), (246, 1), (258, 1), (276, 1), (287, 1), (304, 3), (316, 1), (333, 1), (353, 1), (354, 1)], [(1, 1), (27, 2), (76, 1), (81, 1), (141, 1), (143, 1), (164, 1), (287, 1), (294, 1), (311, 1), (348, 1)], [(69, 1), (70, 1), (127, 1), (136, 1), (160, 1), (161, 1), (236, 1), (300, 1), (304, 1), (307, 3), (331, 1), (333, 1), (354, 1)], [(15, 1), (29, 1), (57, 1), (63, 1), (70, 1), (82, 1), (122, 1), (124, 1), (135, 1), (149, 1), (355, 1), (356, 1)], [(9, 1), (10, 1), (38, 1), (63, 1), (64, 1), (82, 1), (257, 1), (347, 1), (355, 1), (357, 1)], [(0, 1), (3, 1), (38, 1), (73, 1), (145, 1), (157, 1), (197, 1), (248, 1), (270, 1), (274, 1), (291, 1), (304, 2)], [(2, 1), (5, 1), (10, 1), (15, 2), (21, 1), (39, 1), (44, 1), (50, 1), (63, 1), (67, 1), (69, 1), (76, 1), (82, 1), (86, 2), (88, 2), (89, 1), (99, 1), (101, 1), (103, 1), (104, 1), (119, 1), (122, 2), (125, 1), (126, 1), (141, 1), (149, 1), (190, 1), (216, 1), (221, 1), (235, 1), (252, 1), (260, 1), (279, 1), (299, 1), (320, 1), (322, 2), (341, 7), (355, 3), (358, 3), (359, 1), (360, 1), (361, 1), (362, 1), (363, 1)], [(1, 1), (3, 2), (15, 2), (16, 1), (60, 1), (61, 1), (73, 1), (100, 1), (109, 1), (124, 1), (128, 1), (131, 1), (132, 1), (138, 1), (167, 1), (171, 2), (196, 1), (225, 1), (236, 1), (244, 1), (276, 1), (294, 1), (304, 3), (315, 1), (323, 1), (334, 1), (364, 1), (365, 1), (366, 1)], [(9, 2), (13, 1), (66, 1), (94, 1), (96, 1), (99, 1), (154, 2), (171, 1), (180, 1), (257, 1), (325, 3)], [(3, 1), (8, 1), (44, 1), (73, 1), (88, 1), (153, 1), (177, 1), (307, 5), (331, 1), (339, 1)], [(0, 1), (3, 1), (10, 1), (16, 1), (27, 1), (43, 1), (54, 1), (61, 1), (65, 1), (69, 1), (96, 1), (100, 1), (136, 1), (180, 1), (184, 1), (210, 2), (214, 1), (232, 1), (248, 2), (278, 1), (340, 1), (341, 3), (366, 4), (367, 1), (368, 1)], [(2, 1), (3, 1), (15, 1), (50, 1), (55, 1), (63, 1), (65, 1), (122, 1), (136, 1), (143, 1), (162, 1), (248, 1), (277, 2), (317, 1)], [(28, 2), (38, 1), (59, 1), (60, 1), (65, 1), (278, 1), (290, 1), (304, 2)], [(1, 1), (3, 1), (34, 1), (79, 1), (96, 1), (103, 1), (122, 1), (123, 1), (132, 1), (145, 1), (157, 1), (166, 1), (198, 2), (287, 1), (369, 1)], [(34, 1), (62, 1), (63, 1), (213, 1), (274, 1), (276, 1), (304, 1), (315, 2), (323, 1), (358, 1)], [(11, 1), (65, 1), (83, 1), (86, 1), (87, 1), (92, 1), (122, 1), (257, 1), (271, 1), (278, 1), (304, 1), (307, 1), (336, 3)], [(1, 1), (3, 2), (8, 2), (9, 1), (13, 2), (15, 3), (20, 1), (23, 1), (50, 1), (87, 1), (94, 2), (120, 1), (146, 1), (165, 1), (191, 1), (198, 1), (227, 1), (233, 1), (234, 2), (242, 1), (255, 1), (313, 1), (331, 1), (340, 1), (341, 1), (370, 1), (371, 1)], [(3, 1), (15, 1), (57, 1), (78, 1), (93, 1), (134, 1), (153, 4), (161, 1), (221, 1), (250, 1), (281, 1), (304, 2), (315, 1), (345, 1)], [(3, 1), (14, 2), (41, 1), (42, 1), (55, 2), (65, 1), (76, 1), (107, 1), (115, 1), (137, 2), (178, 2), (179, 1), (184, 1), (189, 2), (255, 1), (304, 2), (372, 2)], [(15, 1), (75, 1), (136, 1), (171, 1), (223, 1), (304, 2), (356, 1)], [(28, 1), (59, 1), (66, 2), (71, 1), (125, 1), (217, 1), (251, 1)], [(13, 1), (63, 1), (106, 1), (113, 1), (129, 1), (169, 1), (182, 1), (217, 1), (231, 1), (283, 1), (304, 1), (356, 1), (373, 1)], [(22, 1), (47, 1), (58, 1), (120, 1), (125, 1), (133, 1), (135, 1), (155, 1), (180, 1), (183, 1), (233, 1), (257, 1), (331, 1), (341, 2)], [(3, 2), (86, 1), (103, 1), (119, 1), (156, 1), (176, 1), (304, 3), (307, 1), (374, 1)], [(3, 1), (32, 1), (68, 6), (76, 1), (85, 1), (132, 1), (160, 1), (180, 1), (226, 1), (292, 1), (298, 1), (304, 1), (347, 1), (375, 1)], [(9, 1), (11, 2), (28, 1), (87, 1), (107, 1), (126, 1), (129, 1), (130, 1), (146, 1), (171, 1), (174, 1), (211, 1), (229, 1), (267, 1), (287, 1), (304, 3), (376, 1)], [(3, 1), (7, 1), (8, 4), (9, 4), (10, 1), (15, 2), (27, 1), (28, 1), (49, 2), (54, 1), (55, 1), (65, 1), (76, 1), (83, 1), (87, 2), (104, 2), (111, 1), (114, 1), (122, 5), (131, 2), (143, 1), (149, 20), (151, 1), (156, 1), (163, 1), (173, 2), (175, 1), (180, 1), (182, 1), (186, 1), (213, 1), (223, 2), (231, 1), (246, 7), (250, 1), (255, 1), (268, 1), (276, 1), (283, 1), (329, 1), (334, 1), (340, 1), (341, 7), (359, 1), (377, 1)], [(3, 1), (4, 1), (15, 1), (20, 1), (29, 1), (44, 1), (55, 1), (60, 1), (76, 2), (79, 1), (84, 3), (94, 1), (121, 1), (133, 1), (137, 1), (141, 1), (182, 1), (196, 1), (206, 1), (232, 1), (258, 1), (273, 1), (278, 1), (282, 1), (304, 5), (315, 2), (322, 1), (348, 1), (378, 1)], [(3, 3), (60, 1), (61, 1), (72, 2), (120, 1), (134, 2), (153, 1), (216, 1), (256, 1), (307, 4), (318, 1), (342, 1), (358, 1), (373, 1)], [(1, 1), (28, 1), (63, 1), (121, 1), (225, 1), (341, 1)], [(3, 1), (11, 2), (13, 2), (30, 1), (46, 1), (49, 1), (75, 1), (95, 1), (108, 1), (157, 1), (196, 1), (214, 1), (254, 1), (346, 1), (369, 1)], [(3, 1), (19, 1), (25, 1), (78, 1), (87, 1), (125, 1), (165, 1), (279, 1)], [(3, 2), (9, 3), (15, 1), (16, 1), (25, 1), (39, 1), (51, 1), (59, 1), (73, 3), (86, 1), (91, 4), (100, 1), (128, 1), (141, 1), (148, 3), (153, 2), (182, 1), (223, 2), (237, 1), (245, 1), (271, 1), (294, 1), (304, 2), (331, 1), (338, 1), (379, 1), (380, 1), (381, 3)], [(3, 8), (5, 1), (11, 3), (31, 2), (41, 2), (48, 2), (52, 1), (55, 1), (59, 1), (60, 2), (64, 2), (76, 2), (77, 1), (79, 2), (84, 3), (85, 1), (86, 1), (88, 1), (89, 1), (97, 1), (119, 1), (122, 4), (126, 4), (132, 1), (143, 1), (166, 1), (167, 1), (194, 2), (206, 1), (221, 1), (222, 3), (243, 1), (248, 1), (255, 2), (258, 1), (284, 1), (285, 1), (288, 1), (293, 1), (304, 6), (305, 1), (315, 4), (320, 1), (331, 1), (336, 1), (340, 2), (357, 4), (382, 2)], [(1, 1), (10, 2), (15, 1), (23, 1), (41, 6), (42, 1), (48, 1), (61, 2), (63, 1), (65, 4), (70, 1), (78, 1), (80, 1), (81, 1), (82, 1), (84, 4), (87, 1), (88, 1), (97, 1), (116, 1), (118, 1), (122, 6), (126, 1), (131, 1), (155, 1), (183, 1), (188, 1), (195, 1), (222, 1), (226, 1), (234, 1), (247, 1), (250, 1), (257, 1), (258, 1), (259, 1), (264, 1), (272, 1), (275, 1), (277, 1), (284, 1), (290, 1), (293, 1), (304, 9), (315, 3), (320, 1), (329, 1), (349, 1), (351, 1), (369, 1), (383, 1), (384, 1), (385, 2)], [(0, 1), (1, 1), (3, 1), (45, 1), (69, 1), (107, 1), (258, 1), (307, 1), (322, 1), (333, 1), (336, 1), (337, 1)], [(3, 2), (5, 1), (13, 1), (15, 2), (32, 1), (46, 1), (69, 1), (70, 2), (93, 1), (100, 1), (144, 1), (229, 1), (274, 1), (280, 1), (308, 2), (320, 1)], [(77, 1), (188, 1), (197, 2), (200, 1), (297, 1)], [(3, 1), (34, 1), (42, 1), (46, 2), (56, 1), (63, 2), (96, 1), (149, 1), (153, 1), (193, 4), (208, 1), (218, 1), (222, 1), (246, 1), (274, 1), (298, 1), (331, 4), (336, 1), (362, 1), (377, 1), (380, 2), (384, 1), (386, 1)], [(3, 2), (15, 1), (55, 2), (63, 1), (84, 1), (112, 1), (138, 1), (182, 1), (237, 1), (264, 1), (268, 1), (276, 1), (278, 2), (294, 1), (298, 1), (315, 1), (356, 2), (362, 1)], [(1, 1), (3, 3), (4, 1), (8, 2), (10, 2), (11, 4), (13, 2), (15, 2), (16, 1), (52, 1), (55, 3), (68, 1), (70, 1), (88, 3), (98, 1), (121, 2), (122, 6), (132, 2), (143, 1), (145, 1), (147, 1), (153, 1), (166, 2), (171, 1), (190, 1), (193, 2), (216, 1), (226, 1), (227, 1), (255, 2), (268, 1), (283, 1), (284, 2), (304, 1), (308, 1), (309, 2), (330, 1), (332, 1), (372, 2), (377, 4), (378, 1), (385, 1), (387, 1), (388, 3), (389, 4)], [(1, 1), (15, 1), (22, 1), (37, 1), (54, 1), (91, 2), (105, 1), (134, 1), (182, 1), (336, 1), (337, 1), (386, 1)], [(0, 1), (3, 1), (10, 1), (15, 3), (19, 1), (44, 1), (63, 1), (64, 1), (86, 1), (98, 1), (100, 2), (102, 1), (137, 1), (164, 1), (165, 1), (169, 1), (209, 1), (261, 1), (274, 1), (287, 1), (295, 1), (304, 4), (315, 1), (327, 1), (331, 4), (340, 1), (357, 1), (389, 3)], [(3, 1), (15, 1), (93, 1), (134, 1), (196, 1), (207, 1), (240, 1), (295, 1), (304, 1), (331, 1), (345, 1), (349, 1)], [(3, 3), (5, 2), (16, 1), (19, 1), (41, 1), (46, 2), (54, 1), (62, 1), (69, 1), (89, 1), (100, 1), (119, 1), (126, 1), (132, 1), (133, 1), (138, 1), (141, 1), (143, 1), (152, 1), (155, 3), (165, 1), (179, 1), (184, 1), (189, 1), (190, 2), (204, 1), (208, 1), (210, 1), (232, 1), (248, 1), (256, 1), (261, 1), (304, 3), (315, 2), (324, 1), (327, 1), (338, 1), (343, 1), (347, 1), (348, 1), (362, 1), (369, 1), (373, 1), (380, 1), (389, 2), (390, 1)], [(2, 1), (3, 4), (5, 1), (10, 1), (11, 1), (20, 1), (39, 2), (42, 1), (44, 1), (60, 1), (61, 1), (70, 1), (76, 2), (81, 1), (86, 1), (103, 2), (122, 1), (126, 2), (138, 2), (140, 1), (141, 1), (143, 1), (155, 1), (178, 1), (187, 1), (195, 1), (196, 2), (216, 2), (217, 1), (225, 2), (255, 2), (257, 1), (260, 1), (262, 2), (274, 1), (293, 1), (294, 1), (321, 12), (326, 1), (336, 2), (359, 1), (362, 1), (364, 1), (377, 3), (384, 1), (391, 3), (392, 1), (393, 1)], [(5, 1), (11, 1), (24, 1), (27, 2), (34, 1), (43, 1), (55, 2), (86, 1), (88, 1), (90, 1), (93, 1), (107, 1), (119, 1), (124, 1), (131, 1), (230, 1), (244, 1), (304, 3), (307, 1), (312, 1), (356, 1), (367, 1), (375, 1), (379, 1)], [(3, 2), (55, 1), (56, 1), (70, 1), (80, 1), (84, 1), (106, 1), (119, 1), (195, 1), (248, 1), (271, 1), (325, 1)], [(28, 1), (43, 1), (54, 1), (112, 1), (128, 1), (129, 2), (202, 1), (251, 1), (291, 1), (310, 1)], [(2, 1), (3, 4), (5, 1), (15, 2), (20, 2), (38, 1), (59, 1), (60, 1), (69, 1), (88, 1), (93, 1), (113, 1), (116, 4), (122, 1), (125, 1), (150, 1), (157, 1), (172, 1), (180, 1), (183, 1), (216, 2), (224, 1), (235, 1), (248, 1), (252, 1), (260, 1), (268, 1), (276, 1), (296, 1), (299, 1), (304, 4), (331, 1), (386, 1)], [(3, 1), (72, 1), (145, 1), (149, 1), (157, 1), (177, 2), (190, 1), (208, 1), (304, 2)], [(57, 1), (68, 2), (69, 1), (70, 1), (93, 1), (125, 1), (167, 1), (221, 1), (224, 1), (229, 1), (278, 1), (304, 1), (305, 1)], [(10, 1), (37, 1), (44, 1), (65, 2), (68, 1), (76, 1), (87, 1), (104, 3), (122, 1), (133, 1), (143, 1), (156, 1), (196, 1), (257, 1), (293, 2), (296, 1), (347, 1), (352, 1), (380, 1)], [(0, 1), (1, 1), (2, 2), (3, 2), (8, 7), (13, 2), (21, 1), (32, 1), (40, 1), (43, 1), (50, 1), (51, 1), (55, 1), (56, 2), (60, 1), (62, 1), (73, 1), (75, 3), (84, 1), (92, 1), (97, 4), (113, 1), (124, 2), (137, 1), (152, 1), (169, 1), (186, 1), (198, 1), (216, 1), (244, 2), (261, 1), (280, 1), (297, 1), (304, 1), (333, 1), (347, 1), (351, 1), (378, 2)], [(3, 1), (9, 1), (15, 1), (22, 1), (54, 1), (57, 1), (59, 1), (79, 1), (94, 1), (102, 1), (112, 1), (126, 1), (153, 2), (220, 1), (229, 1), (230, 1), (271, 1), (304, 4), (307, 2), (315, 4), (330, 1), (369, 1)], [(2, 1), (3, 2), (5, 1), (11, 2), (15, 1), (21, 1), (33, 1), (52, 1), (60, 1), (61, 1), (64, 1), (68, 6), (70, 3), (73, 1), (83, 1), (85, 1), (100, 2), (102, 2), (124, 3), (133, 1), (143, 1), (152, 1), (157, 1), (183, 1), (209, 1), (230, 1), (297, 1), (353, 1), (385, 1), (389, 2)], [(3, 2), (11, 3), (15, 3), (37, 1), (41, 1), (57, 1), (69, 1), (75, 1), (79, 1), (88, 2), (94, 1), (112, 1), (152, 3), (191, 1), (211, 2), (265, 1), (283, 2), (304, 1), (309, 1), (315, 1), (324, 1), (325, 1), (345, 1), (347, 2), (389, 3)], [(1, 1), (3, 2), (27, 1), (34, 1), (44, 1), (54, 1), (73, 1), (86, 1), (123, 1), (124, 2), (136, 1), (149, 1), (165, 1), (183, 1), (229, 1), (242, 1), (254, 1), (265, 1), (273, 1), (304, 3), (307, 2), (315, 3), (316, 1), (342, 1)], [(5, 1), (55, 1), (58, 1), (76, 1), (84, 2), (104, 1), (381, 1)], [(3, 1), (5, 1), (9, 1), (11, 5), (14, 1), (20, 1), (48, 1), (55, 2), (56, 9), (58, 1), (81, 1), (84, 3), (104, 1), (119, 2), (122, 2), (134, 1), (167, 2), (172, 1), (185, 1), (188, 1), (217, 1), (230, 1), (232, 1), (257, 1), (258, 2), (269, 1), (271, 2), (297, 1), (305, 1), (315, 3), (328, 1), (336, 1), (347, 2), (389, 1)], [(15, 1), (28, 1), (51, 1), (110, 1), (121, 1), (126, 1), (245, 1), (304, 2), (307, 1), (373, 1)], [(0, 1), (3, 1), (9, 1), (22, 1), (54, 1), (267, 1), (366, 2), (368, 2)], [(15, 1), (38, 1), (60, 1), (63, 1), (82, 1), (105, 1), (124, 1), (126, 1), (150, 1), (165, 1), (183, 1), (229, 1), (231, 1), (307, 1), (310, 1), (355, 1), (356, 1), (384, 1)], [(3, 1), (5, 1), (8, 1), (34, 1), (46, 1), (96, 1), (122, 1), (158, 1), (166, 1), (170, 1), (181, 1), (208, 1), (223, 1), (229, 1), (284, 1), (325, 1), (389, 1)], [(15, 2), (55, 1), (76, 1), (84, 2), (115, 1), (133, 1), (222, 1), (250, 1), (281, 1)], [(3, 1), (5, 1), (6, 1), (8, 3), (9, 3), (13, 1), (37, 1), (54, 1), (77, 1), (89, 2), (100, 1), (108, 1), (124, 1), (132, 1), (137, 1), (145, 1), (148, 3), (164, 1), (168, 1), (182, 1), (216, 1), (231, 1), (243, 1), (271, 1), (306, 1), (311, 1), (331, 1), (341, 3), (369, 1)], [(100, 1), (124, 3), (197, 1), (198, 1), (214, 1), (244, 1), (248, 1), (256, 1), (273, 1), (307, 1)], [(3, 2), (8, 1), (9, 1), (11, 2), (13, 2), (15, 1), (32, 2), (37, 1), (48, 2), (55, 3), (56, 1), (73, 1), (89, 1), (122, 2), (124, 1), (134, 2), (152, 1), (192, 1), (271, 1), (273, 1), (282, 1), (297, 1), (309, 1), (315, 2), (345, 1), (347, 3), (362, 1), (371, 1), (389, 4)], [(0, 1), (3, 1), (10, 1), (14, 2), (38, 1), (54, 1), (59, 1), (61, 1), (63, 2), (87, 1), (88, 1), (111, 2), (124, 1), (151, 1), (185, 1), (196, 1), (207, 1), (217, 1), (244, 1), (251, 1), (255, 3), (258, 1), (261, 1), (262, 3), (294, 1), (298, 3), (341, 1), (356, 3), (359, 1), (377, 4), (384, 1), (391, 1)], [(3, 2), (38, 1), (41, 1), (70, 1), (87, 1), (88, 1), (98, 1), (100, 1), (168, 1), (261, 1), (270, 1), (304, 2), (327, 1), (389, 1)], [(27, 1), (31, 1), (48, 1), (61, 2), (68, 2), (90, 1), (99, 3), (107, 4), (113, 1), (132, 1), (133, 1), (137, 1), (143, 1), (182, 1), (258, 1), (324, 2), (331, 5), (337, 1), (357, 1), (386, 1), (394, 2)], [(2, 11), (3, 2), (15, 2), (28, 1), (38, 1), (39, 1), (47, 1), (49, 2), (51, 1), (54, 1), (70, 2), (71, 1), (73, 2), (85, 1), (86, 1), (88, 1), (121, 1), (123, 1), (124, 2), (133, 1), (134, 3), (136, 1), (149, 1), (152, 1), (156, 1), (157, 2), (160, 1), (169, 1), (193, 1), (195, 1), (226, 1), (245, 1), (248, 1), (250, 1), (255, 1), (265, 1), (266, 1), (280, 1), (283, 1), (294, 1), (304, 11), (307, 3), (315, 7), (320, 1), (345, 1), (356, 1), (367, 1), (369, 1), (377, 1), (383, 1), (389, 1)], [(2, 1), (3, 4), (15, 1), (17, 1), (27, 1), (37, 1), (38, 1), (44, 1), (49, 2), (50, 1), (54, 2), (59, 2), (70, 1), (73, 1), (85, 1), (96, 1), (100, 1), (102, 1), (112, 1), (114, 1), (121, 2), (125, 1), (132, 1), (154, 2), (158, 1), (162, 1), (170, 1), (176, 1), (178, 1), (182, 1), (191, 1), (229, 1), (235, 1), (237, 1), (245, 1), (254, 2), (259, 1), (270, 1), (278, 1), (287, 2), (288, 1), (296, 2), (304, 9), (308, 1), (310, 8), (320, 1), (333, 1), (353, 1), (359, 1), (374, 1), (375, 2)], [(1, 1), (3, 1), (15, 1), (34, 1), (50, 1), (59, 1), (70, 3), (94, 1), (108, 1), (134, 3), (163, 1), (184, 1), (209, 1), (218, 1), (221, 1), (249, 1), (250, 1), (284, 1), (304, 3), (315, 3), (319, 2), (345, 2), (358, 1), (389, 1)], [(1, 1), (3, 3), (5, 1), (9, 1), (10, 1), (15, 2), (27, 1), (28, 1), (37, 1), (41, 4), (50, 1), (54, 1), (59, 1), (76, 1), (81, 2), (86, 1), (88, 1), (103, 1), (122, 1), (126, 1), (133, 1), (138, 2), (141, 1), (149, 1), (155, 1), (157, 1), (158, 1), (159, 1), (180, 1), (224, 1), (225, 1), (244, 1), (261, 1), (277, 1), (278, 1), (284, 1), (297, 2), (304, 4), (307, 4), (352, 3), (395, 1)], [(26, 1), (100, 1), (125, 1), (219, 1), (223, 1), (258, 1), (276, 1), (304, 1), (307, 1), (347, 1), (389, 1)], [(1, 2), (7, 1), (24, 1), (43, 1), (50, 1), (63, 1), (122, 1), (124, 1), (128, 1), (129, 1), (182, 1), (217, 1), (236, 1), (266, 1), (272, 2), (304, 2), (307, 1), (315, 1), (354, 1), (373, 2)], [(3, 2), (27, 2), (38, 1), (49, 1), (54, 1), (77, 1), (89, 1), (128, 1), (171, 1), (196, 1), (209, 1), (211, 1), (244, 1), (303, 1), (320, 1), (341, 2), (351, 1)], [(28, 1), (89, 1), (132, 1), (164, 1), (175, 1), (178, 1), (241, 1), (252, 1), (271, 1), (285, 1), (328, 2), (360, 1), (362, 1), (379, 1), (396, 1)], [(1, 1), (3, 2), (27, 1), (32, 1), (37, 1), (59, 1), (63, 1), (70, 1), (100, 1), (113, 1), (121, 1), (125, 1), (145, 1), (148, 1), (160, 1), (176, 1), (190, 1), (193, 1), (195, 1), (242, 1), (257, 1), (258, 1), (263, 1), (299, 1), (374, 1), (397, 1), (398, 2)], [(3, 1), (15, 1), (20, 1), (33, 1), (38, 1), (39, 1), (88, 1), (92, 1), (100, 1), (137, 1), (345, 1), (398, 2), (399, 2)], [(3, 1), (6, 2), (8, 1), (15, 1), (27, 1), (34, 1), (50, 1), (64, 1), (70, 2), (75, 1), (76, 1), (79, 1), (86, 1), (88, 1), (100, 2), (122, 2), (124, 1), (136, 1), (139, 1), (145, 1), (159, 2), (162, 1), (165, 1), (173, 1), (177, 2), (182, 1), (197, 1), (201, 1), (206, 1), (209, 1), (229, 1), (230, 1), (234, 1), (244, 1), (258, 2), (261, 1), (265, 1), (273, 1), (300, 1), (308, 1), (316, 1), (319, 1), (323, 1), (336, 1), (354, 1), (356, 1), (358, 1), (377, 1), (396, 1), (399, 1), (400, 2), (401, 1), (402, 1)], [(1, 2), (3, 6), (14, 1), (20, 2), (24, 2), (27, 2), (37, 1), (38, 2), (43, 2), (45, 1), (46, 1), (49, 1), (54, 1), (75, 1), (86, 1), (87, 1), (100, 2), (102, 1), (104, 1), (107, 1), (111, 1), (121, 1), (125, 2), (126, 1), (134, 1), (135, 1), (136, 2), (145, 1), (163, 1), (173, 1), (189, 1), (191, 1), (194, 2), (199, 1), (225, 2), (229, 1), (230, 1), (234, 1), (235, 1), (240, 1), (251, 1), (257, 1), (260, 1), (268, 1), (271, 1), (276, 1), (277, 1), (282, 1), (297, 2), (301, 1), (311, 1), (386, 2), (395, 1), (398, 1), (399, 5), (400, 7), (402, 6), (403, 1)], [(3, 1), (15, 2), (44, 1), (76, 1), (79, 1), (88, 1), (89, 1), (94, 1), (100, 3), (103, 4), (119, 1), (127, 3), (138, 1), (199, 1), (240, 1), (241, 1), (249, 1), (285, 1), (319, 1), (328, 1), (371, 1), (381, 1), (394, 1), (399, 1), (401, 5), (403, 1), (404, 2)], [(8, 6), (13, 1), (15, 2), (20, 1), (24, 1), (27, 1), (41, 1), (49, 1), (57, 1), (63, 1), (69, 1), (75, 1), (92, 1), (94, 1), (96, 1), (100, 1), (101, 2), (106, 1), (107, 1), (126, 1), (131, 1), (135, 1), (137, 1), (141, 2), (149, 1), (180, 1), (185, 1), (192, 1), (193, 1), (199, 2), (209, 1), (216, 1), (220, 1), (230, 1), (243, 1), (246, 1), (249, 3), (250, 1), (278, 1), (281, 1), (286, 1), (297, 3), (309, 1), (321, 4), (338, 1), (340, 1), (378, 1), (386, 1), (399, 2), (400, 6), (402, 3), (405, 1), (406, 1)], [(9, 1), (15, 1), (17, 2), (28, 1), (32, 1), (54, 1), (70, 1), (104, 1), (109, 1), (120, 1), (141, 1), (148, 1), (232, 1), (257, 1), (294, 2), (387, 1), (392, 1)], [(0, 1), (2, 1), (3, 1), (6, 1), (11, 1), (15, 1), (26, 1), (27, 1), (38, 1), (54, 1), (94, 1), (96, 1), (100, 1), (122, 2), (124, 2), (132, 1), (136, 1), (188, 1), (211, 3), (228, 1), (229, 1), (257, 1), (271, 1), (284, 1), (293, 1), (319, 1), (336, 1), (372, 1), (396, 5), (407, 1)], [(2, 1), (3, 4), (14, 1), (15, 4), (20, 1), (27, 1), (31, 1), (33, 1), (37, 2), (38, 2), (44, 1), (50, 3), (53, 1), (57, 1), (60, 1), (63, 2), (68, 1), (69, 2), (70, 2), (75, 1), (76, 2), (79, 1), (83, 2), (87, 1), (94, 1), (100, 2), (106, 1), (111, 1), (119, 1), (133, 1), (134, 2), (141, 1), (142, 1), (144, 1), (148, 1), (149, 1), (153, 1), (162, 1), (163, 1), (164, 2), (183, 1), (185, 1), (188, 1), (192, 1), (201, 1), (212, 1), (215, 1), (217, 2), (223, 1), (225, 1), (241, 1), (243, 1), (252, 1), (253, 1), (255, 1), (256, 1), (258, 1), (271, 1), (280, 1), (285, 1), (291, 1), (294, 2), (295, 1), (300, 2), (301, 1), (311, 1), (321, 1), (323, 1), (324, 2), (357, 1), (380, 2), (392, 1), (394, 1), (399, 9), (400, 7), (408, 3), (409, 2)], [(12, 2), (17, 1), (25, 1), (28, 1), (31, 1), (45, 1), (46, 1), (58, 1), (66, 1), (67, 1), (78, 1), (117, 1), (118, 1), (132, 1), (143, 1), (166, 1), (167, 1), (189, 1), (201, 1), (206, 2), (228, 1), (232, 1), (248, 2), (255, 4), (267, 1), (268, 1), (269, 1), (270, 1), (271, 1), (284, 1), (324, 1), (326, 1), (343, 1), (357, 1), (385, 1), (399, 1)], [(8, 2), (27, 1), (37, 1), (51, 1), (94, 1), (104, 1), (209, 1), (246, 1), (400, 1), (402, 1)], [(8, 2), (69, 1), (149, 2), (195, 1), (220, 1), (229, 1), (241, 1), (258, 1), (285, 1), (400, 1), (402, 1)], [(3, 1), (6, 1), (17, 3), (26, 1), (51, 1), (76, 1), (102, 1), (119, 1), (130, 1), (168, 1), (258, 1), (261, 1), (283, 1), (284, 1), (293, 1), (309, 1), (328, 1), (349, 1), (356, 2), (385, 1), (387, 1), (396, 3)], [(3, 2), (7, 1), (8, 1), (9, 1), (11, 1), (15, 1), (46, 1), (47, 1), (50, 1), (54, 1), (70, 1), (87, 1), (90, 1), (96, 1), (103, 1), (113, 1), (122, 1), (126, 1), (138, 1), (141, 1), (142, 1), (143, 1), (144, 1), (185, 1), (233, 2), (261, 1), (272, 1), (294, 1), (297, 1), (301, 3), (316, 1), (338, 1), (390, 5), (392, 1), (398, 4)], [(1, 1), (3, 3), (10, 1), (68, 1), (69, 1), (93, 1), (103, 1), (104, 2), (111, 1), (124, 2), (126, 1), (133, 1), (136, 1), (185, 1), (199, 1), (210, 1), (243, 1), (250, 2), (259, 1), (278, 1), (281, 1), (287, 1), (290, 1), (311, 1), (316, 1), (333, 1), (373, 1), (399, 2), (400, 6), (402, 1), (408, 2)], [(2, 2), (3, 5), (9, 1), (15, 1), (17, 2), (20, 1), (22, 1), (43, 3), (46, 1), (51, 1), (57, 2), (59, 1), (63, 1), (73, 1), (80, 1), (90, 1), (93, 1), (100, 2), (121, 1), (122, 1), (132, 1), (134, 2), (142, 2), (150, 1), (152, 1), (156, 1), (158, 1), (160, 1), (166, 1), (185, 2), (195, 1), (202, 2), (211, 3), (214, 1), (226, 1), (250, 1), (256, 1), (280, 1), (281, 1), (284, 2), (289, 1), (329, 2), (335, 1), (346, 1), (372, 2), (392, 1), (398, 2), (399, 2), (400, 5), (408, 2), (409, 2), (410, 1)], [(6, 1), (23, 1), (26, 4), (58, 1), (87, 1), (123, 1), (124, 4), (131, 1), (182, 1), (276, 1), (322, 1), (327, 1), (334, 1), (353, 1)], [(73, 1), (88, 1), (124, 1), (145, 1), (197, 1), (229, 1), (261, 1), (289, 1), (310, 1)], [(1, 1), (3, 1), (38, 1), (41, 1), (43, 2), (50, 1), (57, 1), (61, 1), (69, 2), (70, 3), (86, 1), (125, 1), (132, 1), (136, 1), (149, 1), (245, 1), (266, 1), (277, 1), (300, 1), (330, 2), (399, 2), (401, 4), (404, 2), (407, 2), (411, 2), (412, 1)], [(1, 1), (3, 1), (9, 1), (10, 1), (11, 1), (15, 1), (25, 1), (27, 1), (50, 1), (59, 1), (60, 1), (61, 1), (65, 1), (76, 1), (94, 1), (112, 1), (124, 1), (125, 1), (126, 1), (137, 1), (141, 1), (150, 1), (154, 1), (174, 1), (176, 1), (196, 1), (211, 1), (257, 1), (258, 1), (271, 1), (297, 1), (299, 1), (305, 1), (322, 1), (351, 1), (359, 1), (361, 1), (390, 2), (392, 1), (395, 2), (398, 4)], [(20, 1), (33, 1), (45, 1), (48, 1), (67, 1), (68, 4), (79, 1), (80, 1), (88, 2), (126, 1), (129, 1), (155, 1), (185, 1), (189, 1), (198, 1), (224, 1), (258, 1), (284, 1), (363, 1), (399, 2), (407, 1), (410, 1)], [(3, 2), (12, 1), (15, 1), (29, 1), (42, 1), (44, 1), (120, 1), (124, 1), (125, 1), (126, 1), (160, 1), (165, 1), (185, 1), (247, 1), (252, 1), (255, 1), (268, 1), (269, 1), (328, 2), (361, 1), (372, 1), (390, 4), (391, 1), (397, 1), (398, 2), (399, 4)], [(3, 1), (106, 1), (109, 1), (126, 1), (140, 1), (175, 1), (187, 1), (256, 1), (390, 2), (398, 2), (400, 2)], [(33, 1), (371, 2), (397, 2)], [(0, 1), (1, 1), (9, 1), (10, 1), (11, 1), (15, 1), (21, 1), (24, 1), (48, 2), (50, 1), (59, 1), (60, 1), (69, 1), (78, 1), (86, 1), (99, 1), (120, 1), (125, 1), (132, 1), (142, 1), (143, 3), (145, 1), (150, 1), (178, 1), (179, 1), (208, 1), (225, 1), (226, 1), (230, 1), (256, 1), (258, 1), (269, 1), (283, 1), (284, 2), (292, 1), (305, 1), (309, 1), (322, 1), (329, 1), (346, 1), (348, 1), (354, 1), (357, 1), (399, 4), (407, 6)], [(26, 1), (60, 1), (68, 3), (76, 1), (89, 1), (112, 1), (160, 1), (185, 1), (199, 1), (206, 1), (257, 1), (373, 1), (385, 1), (399, 1)], [(0, 1), (1, 1), (3, 1), (57, 1), (75, 2), (87, 1), (121, 1), (130, 1), (134, 1), (148, 1), (268, 1), (274, 1), (322, 1), (399, 1), (402, 4), (403, 1)], [(14, 1), (100, 1), (185, 1), (213, 1), (229, 1), (244, 1), (249, 1), (263, 1), (271, 1), (308, 1), (358, 1), (374, 1), (390, 1)], [(2, 1), (3, 1), (6, 2), (8, 3), (10, 1), (15, 1), (19, 3), (23, 1), (27, 1), (34, 1), (42, 1), (50, 1), (51, 1), (59, 1), (62, 1), (63, 1), (69, 1), (75, 1), (98, 1), (100, 2), (108, 2), (117, 1), (119, 1), (122, 2), (141, 2), (148, 1), (166, 1), (173, 1), (178, 1), (197, 1), (222, 2), (238, 1), (247, 3), (253, 1), (264, 1), (265, 1), (270, 1), (293, 1), (294, 1), (321, 5), (322, 1), (325, 2), (337, 1), (370, 1), (379, 1), (383, 1), (384, 1), (399, 1), (406, 1)], [(15, 1), (21, 1), (86, 1), (139, 1), (147, 1), (174, 1), (266, 1), (277, 1), (398, 1)], [(88, 1), (121, 1), (151, 1), (160, 1), (175, 1), (204, 1), (275, 1), (310, 1), (340, 1), (401, 2)], [(1, 1), (2, 1), (3, 1), (8, 6), (11, 1), (13, 3), (15, 2), (24, 1), (34, 2), (50, 1), (54, 1), (57, 1), (69, 1), (75, 1), (96, 1), (100, 1), (124, 2), (134, 2), (152, 4), (153, 5), (156, 1), (177, 1), (190, 1), (211, 3), (266, 1), (328, 1), (346, 1), (349, 1), (368, 1), (372, 1), (387, 1), (398, 8), (399, 4), (408, 3)], [(1, 1), (5, 1), (15, 1), (26, 3), (27, 2), (61, 1), (65, 1), (79, 1), (81, 2), (82, 1), (88, 1), (100, 2), (116, 1), (124, 1), (132, 1), (140, 1), (175, 1), (182, 2), (187, 1), (244, 1), (253, 1), (258, 1), (284, 1), (294, 1), (302, 1), (356, 1), (396, 2)], [(3, 1), (38, 1), (46, 1), (50, 1), (144, 1), (159, 3), (183, 1), (186, 1), (201, 1), (402, 1)], [(3, 3), (11, 1), (14, 1), (20, 1), (23, 1), (26, 1), (28, 1), (29, 1), (63, 1), (76, 2), (82, 1), (100, 1), (101, 1), (110, 1), (117, 3), (122, 1), (132, 1), (133, 1), (137, 1), (140, 1), (142, 1), (181, 1), (182, 1), (184, 2), (185, 1), (187, 1), (188, 1), (200, 1), (201, 1), (206, 3), (211, 1), (214, 1), (237, 2), (241, 1), (248, 1), (251, 1), (256, 1), (261, 1), (271, 1), (301, 10), (328, 2), (332, 1), (338, 1), (360, 1), (384, 1), (410, 1)], [(20, 1), (38, 2), (43, 1), (63, 1), (66, 1), (93, 1), (124, 1), (134, 1), (202, 1), (240, 1), (362, 1), (386, 1), (400, 1), (408, 1), (410, 1)], [(2, 2), (3, 1), (15, 2), (20, 1), (27, 2), (38, 1), (40, 1), (46, 1), (49, 1), (70, 1), (81, 1), (88, 2), (94, 1), (95, 1), (98, 1), (103, 2), (120, 1), (126, 1), (130, 1), (154, 2), (160, 1), (201, 1), (209, 1), (221, 1), (237, 1), (257, 1), (259, 1), (294, 2), (362, 1), (384, 2), (394, 1), (407, 5)], [(8, 4), (20, 1), (44, 1), (69, 1), (86, 1), (89, 1), (98, 1), (100, 2), (118, 1), (121, 1), (180, 1), (198, 1), (220, 1), (248, 1), (268, 1), (276, 1), (295, 1), (324, 1), (394, 1)], [(10, 1), (11, 2), (15, 1), (26, 2), (141, 1), (142, 1), (146, 1), (148, 1), (152, 1), (161, 1), (168, 1), (182, 2), (211, 2), (226, 1), (234, 1), (258, 1), (325, 1), (336, 3), (356, 1)], [(11, 1), (17, 1), (21, 1), (57, 1), (73, 1), (104, 1), (219, 1), (226, 1), (266, 1), (284, 1), (300, 1), (321, 1), (336, 1), (394, 1)], [(3, 2), (10, 1), (15, 1), (27, 1), (37, 1), (38, 1), (54, 2), (75, 2), (80, 1), (86, 1), (87, 1), (88, 1), (98, 1), (100, 3), (112, 1), (134, 2), (184, 1), (186, 1), (207, 1), (214, 1), (248, 1), (257, 1), (271, 1), (316, 1), (321, 1), (322, 1), (352, 1), (378, 3), (395, 1), (399, 3), (402, 5), (403, 1), (406, 2)], [(3, 1), (13, 1), (15, 2), (33, 1), (57, 1), (59, 1), (70, 1), (94, 1), (100, 1), (141, 1), (182, 1), (209, 1), (216, 1), (253, 1), (282, 1), (371, 1), (397, 1), (406, 1)], [(15, 1), (26, 3), (28, 1), (33, 1), (59, 1), (70, 1), (100, 1), (142, 1), (195, 1), (221, 1), (314, 1), (332, 1), (345, 1), (370, 1), (399, 2)], [(3, 1), (15, 1), (37, 1), (61, 1), (75, 1), (122, 1), (123, 1), (169, 1), (202, 1), (211, 1), (253, 1), (399, 1), (400, 2), (408, 1)], [(1, 1), (2, 2), (3, 1), (15, 2), (22, 2), (38, 1), (40, 1), (43, 2), (44, 1), (47, 1), (50, 1), (63, 1), (70, 1), (73, 1), (74, 1), (76, 2), (83, 1), (89, 1), (94, 2), (102, 1), (112, 1), (120, 1), (124, 1), (128, 1), (135, 1), (138, 1), (145, 2), (149, 1), (155, 1), (162, 1), (167, 2), (182, 1), (186, 1), (214, 1), (230, 1), (234, 1), (237, 1), (242, 1), (252, 1), (257, 1), (258, 1), (259, 1), (276, 1), (280, 2), (290, 1), (294, 1), (314, 5), (334, 1), (338, 1), (387, 1), (399, 3), (408, 1)], [(38, 1), (136, 1), (181, 1), (200, 1), (230, 1)], [(26, 1), (47, 1), (81, 2), (122, 1), (126, 1), (148, 3), (155, 3), (232, 1), (258, 1), (264, 1), (285, 1), (296, 2), (401, 3)], [(5, 1), (15, 1), (17, 2), (65, 1), (70, 3), (81, 2), (83, 1), (108, 1), (113, 1), (116, 2), (120, 1), (124, 2), (132, 2), (133, 1), (148, 1), (163, 1), (172, 1), (181, 1), (185, 1), (209, 1), (289, 1), (327, 1), (393, 1), (399, 3), (403, 1)], [(2, 2), (10, 1), (15, 3), (59, 1), (63, 1), (70, 2), (72, 1), (73, 1), (76, 1), (78, 1), (80, 2), (88, 1), (92, 2), (102, 1), (110, 1), (122, 1), (124, 3), (134, 3), (176, 1), (181, 1), (211, 1), (214, 1), (272, 1), (308, 1), (322, 1), (397, 3), (398, 1), (399, 1), (400, 7), (408, 2)], [(20, 1), (46, 1), (59, 1), (76, 2), (79, 1), (90, 1), (98, 1), (100, 2), (103, 1), (113, 1), (114, 1), (118, 1), (119, 2), (121, 1), (126, 1), (132, 1), (136, 2), (137, 1), (140, 1), (153, 1), (155, 1), (175, 1), (178, 1), (218, 1), (241, 2), (255, 1), (257, 1), (258, 1), (259, 1), (261, 2), (267, 1), (270, 1), (276, 1), (278, 1), (292, 1), (295, 3), (302, 2), (326, 1), (357, 3), (359, 1), (372, 1), (380, 1), (382, 2), (384, 1), (393, 5), (399, 6), (403, 2), (405, 1), (407, 2)], [(1, 1), (2, 2), (3, 2), (4, 1), (7, 1), (15, 2), (16, 1), (21, 1), (33, 2), (34, 2), (40, 1), (43, 1), (50, 1), (53, 1), (55, 1), (63, 1), (67, 2), (72, 2), (100, 2), (105, 1), (107, 1), (110, 2), (111, 2), (118, 1), (122, 2), (125, 1), (129, 1), (130, 1), (134, 2), (136, 1), (156, 1), (181, 1), (185, 1), (192, 1), (215, 1), (217, 1), (219, 3), (258, 1), (278, 1), (288, 1), (306, 1), (355, 1), (373, 1), (374, 1), (399, 8), (400, 7), (408, 2), (409, 3)], [(22, 1), (38, 1), (60, 1), (119, 1), (146, 1), (249, 1), (409, 1)], [(8, 1), (15, 1), (50, 1), (86, 1), (87, 1), (121, 1), (128, 1), (218, 1), (236, 1), (257, 1), (278, 1), (287, 1), (332, 1), (400, 1), (402, 1)], [(8, 1), (17, 1), (20, 1), (26, 1), (33, 1), (63, 1), (66, 1), (67, 1), (68, 2), (70, 1), (76, 1), (103, 1), (106, 1), (109, 1), (110, 1), (118, 1), (122, 1), (131, 1), (155, 1), (160, 1), (167, 1), (214, 1), (233, 1), (250, 1), (294, 1), (295, 1), (319, 1), (321, 6), (344, 1), (348, 1), (355, 1), (358, 1), (375, 1), (395, 1), (399, 1), (410, 1)], [(3, 1), (28, 1), (76, 1), (89, 1), (160, 1), (190, 1), (217, 1), (252, 1), (278, 1), (328, 1), (332, 1), (399, 1), (400, 1), (404, 1)], [(2, 2), (3, 2), (5, 2), (6, 1), (10, 1), (11, 1), (17, 1), (22, 2), (38, 2), (43, 1), (59, 1), (61, 1), (64, 1), (67, 2), (68, 3), (76, 1), (88, 2), (101, 1), (109, 1), (119, 1), (125, 2), (132, 1), (136, 2), (143, 1), (152, 1), (153, 2), (172, 6), (179, 1), (188, 2), (204, 1), (229, 1), (234, 1), (244, 1), (247, 1), (257, 1), (265, 1), (302, 2), (328, 1), (335, 2), (336, 1), (357, 1), (361, 2), (364, 1), (396, 1), (399, 5), (407, 2)], [(11, 1), (15, 1), (28, 1), (32, 1), (46, 1), (88, 1), (89, 1), (117, 1), (122, 1), (133, 1), (139, 1), (143, 1), (149, 1), (189, 1), (207, 1), (211, 1), (213, 1), (248, 1), (297, 1), (324, 1), (329, 2), (357, 2), (398, 1), (399, 1)], [(2, 1), (3, 2), (21, 1), (23, 1), (30, 1), (32, 1), (37, 1), (43, 2), (53, 1), (59, 1), (62, 1), (70, 3), (74, 1), (75, 1), (79, 1), (81, 1), (86, 1), (88, 2), (98, 1), (99, 1), (100, 3), (107, 1), (111, 1), (113, 1), (134, 4), (145, 1), (162, 1), (164, 1), (165, 1), (175, 1), (185, 1), (192, 1), (197, 1), (202, 1), (247, 1), (252, 1), (253, 1), (255, 1), (256, 1), (267, 1), (271, 1), (276, 1), (288, 1), (301, 1), (327, 1), (352, 1), (358, 1), (368, 1), (369, 1), (374, 1), (384, 2), (391, 2), (399, 8), (400, 11), (408, 3), (409, 4)], [(9, 1), (15, 1), (34, 1), (57, 1), (59, 1), (63, 1), (72, 1), (122, 2), (152, 1), (211, 2), (325, 1), (385, 1), (408, 1)], [(65, 1), (83, 1), (100, 1), (119, 2), (122, 1), (153, 1), (186, 1), (247, 1), (255, 2), (264, 1), (269, 1), (271, 1), (285, 1), (367, 1), (398, 2), (406, 1)], [(3, 1), (5, 2), (10, 1), (22, 1), (27, 1), (29, 1), (48, 2), (54, 1), (57, 1), (60, 1), (67, 1), (96, 1), (114, 2), (122, 1), (137, 1), (141, 1), (150, 1), (151, 1), (153, 1), (161, 1), (199, 1), (204, 1), (207, 1), (227, 1), (245, 1), (255, 2), (271, 1), (278, 2), (316, 1), (324, 1), (328, 2), (349, 1), (352, 1), (364, 1), (390, 4), (391, 1), (393, 3), (397, 3), (398, 5), (399, 1)], [(1, 1), (3, 1), (10, 1), (27, 1), (31, 1), (44, 1), (70, 2), (88, 1), (100, 1), (146, 1), (162, 1), (174, 1), (195, 1), (215, 1), (255, 1), (278, 1), (289, 2), (294, 1), (297, 3), (318, 2), (323, 1), (344, 1), (366, 1), (399, 1)], [(2, 1), (3, 1), (19, 1), (32, 1), (42, 1), (63, 1), (124, 2), (153, 1), (218, 1), (242, 1), (280, 1), (301, 1), (371, 1), (395, 1), (399, 1), (400, 1), (406, 1)], [(12, 1), (26, 1), (42, 1), (60, 1), (82, 1), (165, 1), (255, 1), (294, 1), (327, 1), (399, 2), (405, 1)], [(3, 1), (15, 2), (33, 1), (43, 1), (71, 1), (88, 1), (98, 1), (122, 1), (132, 1), (134, 4), (168, 1), (229, 1), (248, 1), (333, 1), (344, 1), (362, 1), (400, 2), (403, 1), (406, 1), (408, 1), (409, 4)], [(3, 2), (9, 1), (15, 1), (17, 1), (26, 1), (34, 1), (57, 1), (62, 1), (63, 1), (70, 1), (73, 4), (122, 2), (127, 1), (142, 1), (152, 6), (156, 1), (220, 1), (248, 1), (265, 1), (290, 1), (371, 1), (383, 1), (387, 1), (398, 2)], [(3, 1), (20, 1), (51, 1), (60, 1), (64, 1), (70, 1), (81, 3), (106, 1), (118, 1), (119, 1), (167, 1), (187, 1), (261, 1), (357, 1), (391, 2), (399, 1), (401, 2), (404, 1)], [(0, 1), (3, 1), (15, 1), (19, 1), (49, 1), (75, 1), (88, 1), (134, 2), (156, 1), (158, 1), (202, 1), (212, 1), (231, 1), (293, 1), (388, 1), (396, 3), (399, 2), (400, 3), (409, 2)], [(1, 1), (3, 2), (4, 3), (10, 1), (15, 2), (27, 1), (28, 1), (33, 1), (46, 1), (54, 1), (63, 1), (70, 1), (93, 1), (95, 1), (111, 1), (120, 1), (151, 1), (153, 3), (206, 1), (239, 1), (285, 1), (335, 1), (353, 1), (371, 3), (380, 1), (397, 5), (399, 3), (406, 1), (408, 1)], [(3, 1), (4, 2), (10, 1), (57, 1), (59, 1), (132, 1), (145, 1), (146, 1), (178, 1), (211, 1), (278, 1), (313, 1), (351, 1), (397, 1), (399, 1), (413, 2)], [(3, 2), (6, 1), (10, 1), (15, 1), (20, 1), (27, 1), (43, 3), (70, 1), (99, 1), (113, 1), (120, 1), (122, 1), (125, 2), (127, 1), (141, 1), (149, 1), (159, 3), (186, 1), (202, 1), (221, 1), (229, 1), (241, 1), (243, 1), (251, 1), (252, 1), (264, 1), (278, 1), (353, 1), (356, 1), (382, 1), (399, 3), (400, 4), (408, 1)], [(2, 2), (3, 4), (15, 1), (30, 1), (38, 2), (39, 1), (54, 2), (55, 2), (59, 3), (61, 1), (76, 1), (78, 1), (94, 1), (96, 1), (122, 1), (124, 2), (134, 3), (137, 1), (161, 1), (169, 1), (206, 1), (211, 1), (223, 1), (230, 1), (266, 1), (294, 1), (321, 5), (333, 1), (383, 1), (387, 1), (392, 1), (393, 3), (399, 1), (408, 3), (409, 3)], [(3, 2), (6, 1), (25, 1), (26, 2), (27, 1), (50, 1), (52, 1), (54, 1), (55, 1), (63, 1), (65, 1), (69, 1), (74, 1), (76, 1), (84, 1), (97, 2), (103, 1), (121, 2), (122, 1), (133, 4), (167, 1), (178, 1), (221, 1), (241, 1), (250, 1), (257, 1), (258, 1), (259, 1), (262, 1), (264, 1), (271, 1), (277, 1), (298, 1), (305, 1), (324, 1), (328, 1), (338, 1), (362, 1), (382, 1), (391, 1)], [(1, 1), (8, 3), (24, 1), (33, 1), (46, 1), (54, 1), (69, 1), (73, 1), (82, 1), (88, 1), (93, 3), (145, 1), (153, 1), (177, 1), (191, 1), (248, 1), (319, 1), (330, 1), (397, 1), (398, 2), (399, 1), (400, 1)], [(1, 1), (3, 4), (7, 2), (9, 1), (11, 1), (15, 4), (17, 4), (26, 2), (27, 1), (50, 1), (57, 1), (61, 1), (63, 1), (69, 1), (70, 1), (75, 1), (85, 1), (92, 1), (94, 2), (103, 1), (105, 1), (111, 1), (122, 1), (135, 1), (152, 1), (165, 1), (186, 1), (208, 1), (211, 2), (220, 1), (229, 1), (242, 2), (257, 1), (271, 1), (274, 1), (287, 1), (294, 1), (329, 2), (349, 1), (351, 1), (370, 1), (399, 4), (400, 1), (403, 1)], [(19, 1), (25, 1), (27, 2), (59, 1), (66, 1), (76, 2), (86, 1), (88, 1), (217, 1), (241, 1), (259, 1), (261, 1), (267, 1), (295, 1), (366, 2), (372, 1), (398, 2), (399, 2), (409, 1)], [(14, 1), (15, 1), (42, 2), (59, 1), (63, 1), (118, 1), (126, 1), (133, 1), (162, 1), (185, 1), (270, 1), (310, 1), (311, 1), (344, 1), (377, 1), (392, 1), (401, 2)], [(15, 2), (21, 1), (28, 1), (37, 1), (266, 1), (298, 1), (301, 2), (378, 1), (401, 2)], [(12, 1), (15, 2), (29, 1), (51, 1), (54, 1), (65, 2), (67, 1), (78, 1), (85, 1), (94, 1), (96, 1), (103, 1), (105, 1), (107, 1), (119, 1), (124, 1), (126, 1), (195, 1), (199, 1), (244, 1), (271, 1), (293, 1), (294, 1), (296, 1), (298, 1), (303, 1), (333, 1), (338, 1), (350, 1), (353, 1), (355, 1), (356, 1), (358, 1), (359, 2), (371, 2), (393, 2), (396, 1), (397, 3)], [(3, 2), (5, 1), (8, 1), (24, 1), (33, 2), (37, 1), (38, 1), (40, 1), (59, 1), (62, 1), (66, 2), (86, 1), (87, 1), (95, 1), (100, 3), (107, 1), (110, 1), (122, 1), (130, 1), (132, 2), (139, 1), (149, 1), (202, 1), (226, 1), (228, 1), (240, 1), (242, 1), (266, 1), (290, 1), (300, 1), (305, 1), (314, 2), (320, 1), (321, 1), (330, 1), (358, 2), (363, 1), (399, 1)], [(0, 2), (3, 3), (22, 1), (27, 1), (28, 1), (30, 1), (42, 1), (61, 1), (86, 1), (98, 1), (109, 1), (113, 1), (133, 1), (147, 1), (167, 1), (169, 1), (187, 1), (189, 1), (196, 1), (206, 1), (213, 1), (271, 1), (278, 1), (357, 2), (360, 1), (384, 1), (399, 2), (400, 2), (403, 1), (406, 1)], [(3, 2), (5, 2), (9, 1), (20, 1), (26, 1), (46, 1), (54, 1), (59, 1), (60, 1), (103, 1), (116, 1), (122, 1), (124, 1), (132, 1), (155, 1), (189, 1), (227, 1), (236, 1), (278, 1), (311, 1), (327, 1), (357, 1), (362, 1), (364, 1), (384, 1), (391, 2), (392, 1), (397, 3), (399, 1), (403, 1)], [(15, 1), (116, 1), (153, 1), (172, 1), (310, 2), (340, 1), (401, 3), (405, 1)], [(3, 1), (15, 2), (17, 2), (33, 2), (50, 1), (57, 1), (63, 1), (122, 1), (123, 1), (136, 1), (160, 1), (211, 1), (250, 1), (272, 1), (281, 1), (325, 2), (329, 1), (335, 1), (354, 1), (385, 1)], [(3, 3), (15, 1), (27, 1), (34, 1), (42, 1), (51, 1), (63, 1), (68, 2), (71, 1), (75, 1), (102, 1), (103, 1), (104, 2), (124, 1), (134, 1), (148, 12), (150, 1), (153, 1), (155, 1), (156, 1), (165, 1), (176, 1), (194, 1), (219, 1), (236, 1), (248, 3), (251, 1), (266, 1), (271, 1), (280, 1), (294, 1), (320, 1), (324, 2), (352, 1), (358, 1)], [(1, 1), (3, 2), (15, 1), (27, 1), (32, 1), (43, 1), (59, 1), (70, 1), (86, 1), (100, 2), (202, 2), (211, 1), (250, 1), (293, 1), (354, 2), (360, 1), (399, 2), (400, 2)], [(46, 1), (82, 1), (109, 1), (117, 1), (175, 1), (257, 1), (384, 3), (399, 1)], [(2, 1), (13, 1), (38, 1), (42, 1), (43, 1), (49, 1), (83, 1), (88, 1), (100, 1), (124, 1), (157, 1), (218, 1), (311, 1), (414, 1)], [(3, 1), (28, 3), (38, 3), (63, 1), (73, 1), (89, 1), (170, 1), (172, 2), (212, 1), (215, 1), (236, 1), (289, 1), (390, 1), (398, 2)], [(26, 1), (87, 1), (89, 1), (160, 1), (255, 1), (377, 1)], [(10, 1), (55, 3), (65, 1), (74, 1), (98, 1), (100, 1), (163, 1), (175, 1), (212, 1), (222, 1), (255, 2), (323, 1), (388, 1), (411, 1), (415, 1)], [(3, 2), (44, 1), (69, 1), (74, 1), (88, 1), (132, 1), (137, 1), (217, 1), (248, 1), (330, 2), (333, 1), (362, 1), (376, 1), (411, 1)], [(32, 1), (33, 1), (53, 1), (71, 1), (74, 1), (100, 2), (141, 1), (242, 1), (272, 1), (280, 1), (291, 1), (295, 1), (344, 1), (368, 1), (409, 1), (416, 1), (417, 3), (418, 2)], [(3, 1), (26, 1), (27, 1), (127, 1), (149, 1), (182, 1), (247, 1), (356, 2)], [(15, 1), (22, 1), (39, 1), (75, 1), (77, 1), (111, 1), (119, 1), (125, 1), (137, 1), (186, 1), (214, 1), (224, 1), (238, 1), (306, 1), (318, 1), (319, 1), (374, 1)], [(15, 1), (28, 2), (102, 1), (106, 1), (161, 1), (165, 1), (202, 1), (260, 1), (310, 5), (317, 1)], [(20, 1), (26, 1), (46, 1), (76, 1), (122, 1), (126, 1), (133, 2), (138, 2), (223, 1), (244, 1), (271, 1), (287, 1), (295, 1), (326, 1), (352, 1), (405, 1), (416, 5)], [(1, 1), (3, 1), (26, 1), (55, 1), (67, 1), (83, 1), (84, 1), (101, 2), (218, 1), (285, 1), (360, 2), (372, 1), (416, 2)], [(24, 1), (100, 1), (122, 1), (129, 1), (318, 2), (373, 1), (419, 2)], [(15, 2), (20, 1), (23, 1), (28, 3), (44, 1), (51, 1), (120, 1), (291, 1), (301, 1), (320, 1), (358, 1), (404, 1), (411, 3), (415, 3)], [(2, 1), (62, 1), (83, 1), (272, 1), (380, 1), (399, 2)], [(5, 1), (81, 1), (84, 1), (106, 1), (133, 1), (241, 1), (312, 1), (338, 1), (343, 1), (353, 1), (357, 1), (384, 1), (393, 2), (416, 1)], [(5, 1), (15, 1), (54, 1), (88, 1), (132, 1), (134, 1), (137, 1), (160, 1), (256, 1), (271, 1), (313, 1), (319, 1), (399, 1), (419, 1)], [(99, 1), (121, 1), (184, 1), (261, 1), (263, 1), (322, 1), (360, 1), (411, 1), (415, 1)], [(27, 1), (94, 1), (214, 1), (219, 1), (295, 1), (301, 3), (308, 2), (411, 1)], [(1, 1), (38, 1), (255, 1), (377, 1), (399, 1), (401, 2), (415, 3)], [(4, 1), (10, 1), (11, 1), (88, 1), (153, 1), (264, 1), (286, 1), (381, 1)], [(19, 1), (101, 1), (221, 1), (232, 1), (271, 1), (279, 1), (294, 1), (295, 1), (299, 1), (328, 1), (405, 1), (416, 1)], [(3, 1), (79, 1), (122, 1), (182, 1), (269, 1), (349, 1), (401, 2), (413, 1)], [(1, 2), (2, 1), (3, 1), (27, 1), (38, 1), (39, 1), (46, 1), (59, 2), (78, 1), (93, 1), (153, 1), (197, 1), (229, 1), (294, 1), (323, 1), (339, 2), (354, 1), (358, 1), (369, 1), (399, 2), (401, 1)], [(15, 1), (26, 1), (27, 1), (69, 1), (72, 1), (156, 1), (265, 1), (273, 1), (318, 1), (339, 1), (401, 1), (411, 1), (419, 2)], [(2, 1), (15, 1), (47, 1), (137, 1), (141, 1), (149, 2), (191, 1), (229, 1), (245, 1), (266, 1), (311, 1), (339, 2), (386, 1), (392, 1), (399, 1), (408, 2), (414, 3), (419, 3)], [(2, 1), (15, 1), (28, 1), (59, 1), (70, 1), (93, 1), (100, 1), (271, 1), (319, 1), (326, 1), (333, 1), (374, 1)], [(12, 1), (59, 1), (90, 1), (96, 1), (98, 1), (100, 1), (126, 1), (143, 1), (153, 1), (160, 1), (176, 1), (223, 1), (230, 1), (257, 1), (267, 1), (269, 1), (279, 1), (288, 1), (292, 2), (295, 1), (326, 1), (328, 1), (359, 1), (361, 1), (418, 1)], [(26, 1), (59, 1), (178, 1), (189, 1), (228, 1), (248, 1), (256, 1), (311, 1), (352, 1), (367, 1), (401, 1), (406, 1), (413, 1), (419, 3)], [(4, 1), (24, 1), (46, 1), (333, 1), (411, 1), (415, 1)], [(18, 1), (32, 1), (50, 1), (87, 1), (100, 1), (141, 1), (168, 1), (190, 2), (238, 1), (358, 1), (390, 1), (418, 1)], [(15, 1), (27, 1), (38, 1), (60, 1), (89, 1), (98, 1), (135, 1), (319, 1), (321, 2), (323, 1), (328, 1), (368, 1), (395, 1)], [(11, 1), (17, 1), (88, 1), (191, 1), (273, 1), (276, 1), (301, 2), (308, 2), (346, 1), (371, 2), (410, 1), (411, 1)], [(15, 1), (81, 1), (124, 2), (149, 1), (362, 1), (363, 1), (409, 1), (411, 2), (415, 2)], [(1, 1), (16, 2), (38, 1), (46, 1), (57, 1), (59, 1), (60, 1), (76, 1), (126, 1), (248, 1), (357, 1), (362, 1), (416, 1), (418, 2)], [(40, 1), (49, 1), (75, 1), (182, 1), (274, 2), (308, 1), (404, 3), (412, 1)], [(15, 1), (132, 1), (153, 1), (190, 1), (197, 1), (249, 1), (280, 1), (330, 1), (417, 1)], [(5, 1), (43, 1), (45, 1), (55, 1), (109, 1), (133, 1), (137, 1), (160, 1), (233, 1), (372, 1), (373, 1)], [(16, 2), (22, 1), (30, 1), (65, 3), (76, 1), (86, 1), (126, 3), (140, 2), (145, 1), (151, 1), (178, 1), (189, 1), (196, 1), (217, 1), (223, 1), (352, 1), (357, 1), (361, 1), (393, 3)], [(15, 2), (47, 1), (59, 1), (70, 1), (100, 1), (136, 1), (149, 1), (177, 1), (180, 1), (184, 1), (192, 1), (288, 1), (334, 1), (416, 4), (417, 1), (418, 2)], [(1, 1), (5, 1), (102, 1), (116, 1), (137, 1), (138, 1), (155, 1), (180, 1), (260, 1), (277, 1), (295, 1), (357, 1)], [(43, 1), (59, 1), (113, 1), (125, 1), (170, 1), (180, 1), (185, 2), (244, 1), (399, 1), (403, 1), (419, 2)], [(5, 1), (26, 1), (27, 1), (67, 1), (76, 1), (84, 1), (113, 1), (124, 1), (133, 1), (136, 1), (143, 1), (149, 1), (182, 1), (206, 1), (247, 1), (257, 1), (360, 1), (384, 1), (416, 4)], [(15, 1), (20, 1), (21, 1), (25, 1), (51, 1), (59, 1), (60, 1), (67, 1), (89, 1), (102, 1), (106, 1), (110, 1), (124, 1), (126, 1), (132, 1), (149, 1), (152, 1), (164, 1), (185, 1), (216, 1), (235, 1), (243, 1), (259, 1), (260, 1), (301, 6), (308, 1), (319, 1), (323, 1), (358, 1), (369, 1), (371, 1), (411, 2), (416, 7)], [(30, 2), (43, 1), (244, 1), (294, 1), (411, 1), (413, 1)], [(23, 1), (53, 1), (63, 1), (88, 1), (94, 1), (124, 1), (126, 1), (129, 6), (137, 1), (162, 1), (195, 1), (202, 1), (221, 1), (245, 1), (254, 1), (255, 1), (263, 1), (271, 1), (286, 1), (404, 3), (411, 2), (415, 2)], [(15, 1), (73, 1), (99, 1), (155, 1), (314, 1), (318, 2)], [(2, 1), (3, 1), (15, 1), (21, 1), (24, 1), (58, 1), (130, 1), (143, 1), (223, 1), (226, 1), (253, 1), (282, 1), (284, 1), (300, 1), (301, 2), (308, 4), (401, 1), (411, 2)], [(2, 1), (5, 1), (7, 1), (15, 1), (21, 1), (43, 1), (55, 1), (71, 1), (101, 1), (112, 1), (266, 1), (280, 1), (281, 1), (318, 1), (351, 1), (385, 1), (416, 2)], [(1, 2), (2, 2), (75, 1), (94, 1), (110, 1), (186, 1), (271, 1), (318, 1), (408, 1), (419, 1)], [(12, 1), (33, 1), (69, 1), (70, 1), (165, 1), (172, 1), (185, 1), (255, 1), (261, 1), (365, 1), (395, 1)], [(133, 1), (145, 1), (249, 1), (250, 1), (418, 1)], [(16, 2), (46, 1), (60, 1), (67, 1), (89, 1), (100, 1), (140, 1), (160, 1), (170, 2), (233, 1), (357, 1), (386, 1), (416, 1), (417, 1), (418, 1)], [(124, 1), (135, 1), (257, 1), (288, 1), (416, 2)], [(3, 1), (22, 1), (63, 1), (73, 1), (115, 1), (119, 1), (143, 1), (244, 1), (271, 1), (343, 1), (364, 1), (391, 1), (416, 3), (417, 1), (418, 1)], [(1, 1), (27, 1), (164, 1), (214, 1), (257, 1), (268, 1), (339, 1), (366, 1), (416, 4), (418, 2)], [(10, 1), (48, 1), (99, 1), (122, 1), (143, 1), (222, 2), (253, 1), (258, 1), (261, 1), (305, 1), (309, 1), (318, 1), (330, 1), (399, 2), (404, 1), (411, 1)], [(3, 1), (28, 2), (34, 1), (37, 1), (39, 1), (76, 1), (99, 1), (106, 1), (134, 1), (143, 2), (148, 2), (149, 1), (177, 1), (190, 1), (202, 1), (214, 1), (301, 1), (308, 3), (316, 1), (333, 1), (399, 1), (417, 1)], [(1, 2), (3, 1), (11, 1), (24, 2), (76, 1), (100, 2), (114, 1), (153, 1), (195, 1), (201, 1), (212, 1), (229, 1), (255, 1), (318, 2), (377, 2)], [(2, 3), (37, 1), (75, 2), (120, 1), (213, 1), (223, 1), (239, 2), (340, 1), (383, 1), (387, 1), (415, 1)], [(4, 1), (32, 2), (50, 1), (80, 1), (118, 1), (138, 1), (157, 2), (278, 1), (330, 1), (391, 1), (414, 1), (418, 2), (419, 1)], [(0, 1), (1, 1), (20, 1), (33, 1), (47, 1), (71, 1), (125, 1), (132, 1), (134, 1), (137, 2), (178, 1), (185, 1), (260, 1), (268, 1), (291, 1), (318, 2), (399, 4), (414, 1), (419, 2)], [(58, 1), (70, 1), (73, 1), (99, 1), (123, 1), (208, 1), (266, 1), (271, 1), (303, 1), (346, 1)], [(122, 1), (227, 1), (310, 1), (318, 1), (369, 1), (404, 1), (419, 1)], [(3, 1), (30, 1), (59, 1), (63, 1), (65, 2), (86, 1), (89, 1), (123, 1), (132, 1), (185, 1), (244, 1), (249, 1), (284, 1), (316, 1)], [(12, 2), (46, 1), (93, 1), (127, 1), (244, 2), (255, 1), (292, 1), (340, 1), (361, 1), (364, 1), (417, 1), (418, 2)], [(99, 1), (157, 1), (175, 1), (239, 1), (248, 1)], [(13, 1), (122, 1), (216, 1), (275, 1), (386, 1), (418, 2)], [(11, 2), (15, 1), (22, 1), (24, 1), (37, 1), (70, 1), (77, 1), (83, 1), (129, 1), (163, 1), (212, 1), (215, 1), (230, 2), (362, 1), (404, 1), (411, 2)], [(60, 2), (191, 1), (249, 1), (266, 1), (273, 1), (286, 1), (417, 2)], [(50, 1), (57, 1), (70, 1), (72, 1), (100, 2), (103, 1), (129, 1), (214, 1), (301, 2), (371, 1), (373, 1), (404, 1)], [(26, 1), (57, 1), (68, 1), (76, 1), (108, 1), (143, 1), (148, 2), (168, 1), (251, 1), (369, 1)], [(2, 1), (22, 2), (48, 1), (68, 1), (83, 1), (102, 2), (106, 1), (149, 1), (269, 1), (278, 1), (329, 1), (399, 1), (401, 1)], [(15, 1), (57, 1), (59, 1), (72, 1), (94, 1), (126, 1), (227, 1), (239, 2), (378, 1), (414, 1)], [(31, 1), (126, 1), (173, 1), (199, 1), (266, 1), (417, 1)], [(15, 1), (25, 1), (49, 1), (59, 1), (76, 1), (85, 1), (88, 1), (129, 5), (197, 1), (202, 1), (207, 1), (260, 1), (266, 1), (281, 1), (282, 1), (291, 3), (306, 5), (373, 1), (404, 1), (411, 3), (412, 1), (415, 3)], [(21, 1), (43, 1), (45, 1), (76, 1), (81, 1), (95, 1), (153, 1), (257, 1), (277, 1), (399, 1), (419, 2)], [(12, 1), (19, 1), (23, 1), (101, 1), (126, 1), (137, 1), (160, 1), (195, 1), (237, 1), (240, 1), (343, 1), (418, 2)], [(3, 1), (10, 1), (22, 1), (34, 1), (63, 1), (124, 2), (164, 1), (197, 1), (202, 1), (277, 1)], [(15, 1), (63, 1), (69, 1), (126, 1), (149, 2), (164, 1), (255, 1), (268, 1), (289, 1), (339, 1), (404, 2)], [(27, 1), (38, 1), (132, 1), (207, 1), (213, 1), (326, 1), (359, 1), (388, 1), (392, 1), (405, 1)], [(15, 1), (17, 1), (77, 1), (181, 1), (214, 1), (239, 1), (273, 1), (354, 2), (380, 1), (416, 1), (417, 1)], [(3, 1), (33, 1), (70, 1), (100, 1), (160, 1), (238, 1), (253, 1), (266, 1), (301, 1), (308, 1)], [(1, 1), (2, 1), (3, 1), (37, 1), (88, 1), (214, 1), (399, 1), (403, 1)], [(2, 1), (15, 2), (16, 2), (74, 1), (75, 1), (76, 1), (100, 1), (102, 1), (206, 1), (244, 1), (248, 1), (318, 7)], [(15, 1), (26, 1), (100, 1), (229, 1), (377, 1)], [(69, 2)], [(17, 1), (67, 4), (84, 1), (128, 1), (206, 1), (242, 1), (244, 1), (306, 1), (322, 1), (350, 1), (360, 1), (391, 1), (411, 2), (415, 2)], [(0, 1), (60, 1), (72, 1), (94, 1), (122, 1), (258, 1), (266, 1), (284, 1), (308, 2), (410, 1), (411, 1)], [(8, 2), (13, 1), (70, 1), (75, 1), (80, 1), (216, 1), (303, 1), (330, 1), (393, 1), (416, 3)], [(22, 1), (28, 1), (56, 1), (60, 1), (64, 1), (201, 1), (222, 1), (223, 1), (251, 1), (266, 1)], [(12, 1), (65, 1), (132, 1), (173, 1), (271, 1), (303, 1), (416, 3)], [(27, 1), (59, 1), (111, 1), (129, 2), (166, 1), (225, 1), (303, 1)], [(2, 1), (11, 1), (15, 1), (20, 2), (22, 1), (49, 1), (70, 2), (91, 1), (94, 1), (100, 2), (108, 2), (120, 1), (127, 3), (132, 2), (148, 2), (150, 1), (214, 1), (235, 1), (253, 5), (258, 1), (265, 1), (271, 1), (283, 1), (286, 1), (292, 1), (314, 2), (317, 1), (420, 6), (421, 1), (422, 2), (423, 3)], [(15, 1), (27, 1), (31, 1), (37, 1), (38, 1), (43, 1), (44, 1), (62, 1), (70, 1), (75, 3), (76, 1), (97, 1), (99, 3), (100, 1), (120, 2), (123, 2), (124, 2), (142, 1), (146, 1), (210, 2), (219, 1), (229, 1), (234, 1), (265, 1), (282, 3), (300, 2), (306, 1), (309, 1), (322, 1), (333, 1), (375, 1), (376, 1), (413, 3), (424, 11)], [(1, 1), (85, 1), (132, 1), (142, 1), (294, 1), (381, 1), (425, 3)], [(10, 1), (15, 1), (32, 1), (39, 1), (53, 1), (59, 1), (60, 1), (75, 1), (76, 3), (84, 1), (85, 1), (88, 1), (93, 1), (103, 1), (120, 1), (122, 1), (125, 1), (133, 3), (137, 2), (138, 1), (139, 1), (141, 2), (147, 1), (155, 1), (159, 1), (162, 1), (167, 2), (175, 1), (178, 2), (180, 1), (183, 1), (184, 3), (190, 1), (200, 1), (221, 2), (226, 1), (227, 1), (233, 2), (235, 1), (239, 1), (247, 1), (249, 1), (262, 1), (266, 1), (267, 1), (275, 1), (279, 1), (280, 1), (285, 1), (294, 1), (313, 1), (334, 1), (353, 1), (355, 3), (358, 1), (361, 2), (366, 1), (370, 1), (372, 1), (384, 2), (386, 1), (392, 1), (426, 6)], [(11, 1), (15, 2), (24, 1), (28, 1), (46, 1), (75, 1), (76, 1), (90, 1), (93, 3), (95, 1), (108, 1), (127, 1), (136, 1), (151, 1), (214, 1), (227, 1), (231, 1), (268, 1), (306, 1), (322, 1), (339, 1), (361, 1), (368, 1), (379, 1), (412, 2), (414, 1), (426, 6), (427, 1), (428, 1)], [(12, 2), (38, 1), (39, 1), (49, 1), (52, 1), (58, 1), (63, 3), (82, 1), (90, 1), (97, 2), (103, 1), (114, 1), (120, 1), (122, 1), (132, 1), (134, 1), (151, 1), (153, 2), (160, 1), (168, 1), (199, 1), (201, 2), (206, 1), (210, 1), (221, 1), (241, 1), (244, 2), (257, 1), (258, 1), (274, 1), (275, 1), (279, 1), (286, 1), (294, 1), (312, 2), (320, 1), (326, 1), (334, 1), (338, 1), (342, 1), (345, 1), (349, 1), (350, 1), (355, 1), (365, 2), (370, 1), (372, 1), (384, 1), (391, 2), (407, 2), (428, 6), (429, 1), (430, 8)], [(2, 1), (44, 1), (65, 1), (70, 1), (100, 1), (120, 1), (124, 3), (137, 1), (154, 1), (213, 1), (283, 1), (309, 1), (311, 2), (420, 3), (428, 1), (429, 2)], [(0, 1), (1, 1), (14, 1), (29, 1), (38, 1), (63, 1), (69, 1), (70, 1), (76, 2), (81, 1), (82, 1), (83, 1), (89, 1), (109, 1), (113, 1), (115, 1), (117, 4), (120, 3), (124, 1), (126, 4), (133, 1), (137, 1), (138, 2), (140, 2), (172, 1), (175, 2), (178, 2), (179, 1), (184, 1), (187, 1), (189, 1), (202, 1), (206, 2), (223, 1), (234, 1), (237, 1), (257, 1), (275, 1), (285, 2), (357, 1), (358, 2), (360, 1), (362, 1), (364, 1), (365, 1), (382, 1), (392, 1), (405, 2), (428, 8)], [(12, 1), (52, 1), (55, 1), (56, 1), (67, 1), (76, 1), (101, 1), (122, 2), (124, 1), (141, 1), (143, 1), (153, 1), (157, 1), (188, 1), (195, 1), (196, 1), (201, 2), (222, 1), (228, 1), (255, 1), (257, 1), (270, 1), (276, 1), (288, 1), (312, 1), (359, 1), (375, 1), (381, 1), (382, 1), (388, 1), (413, 6), (421, 3), (422, 2), (431, 6)], [(15, 1), (25, 1), (63, 1), (64, 1), (67, 2), (70, 1), (76, 1), (108, 2), (122, 1), (158, 1), (165, 1), (198, 1), (219, 1), (235, 1), (266, 4), (271, 1), (306, 1), (335, 1), (346, 1), (362, 1)], [(27, 1), (38, 1), (59, 1), (84, 1), (89, 1), (114, 3), (260, 1), (261, 1), (295, 1), (312, 1), (338, 1), (343, 1)], [(9, 1), (15, 1), (26, 1), (38, 1), (45, 1), (55, 1), (56, 2), (66, 1), (70, 1), (76, 1), (100, 2), (134, 1), (173, 1), (203, 1), (205, 1), (227, 1), (244, 1), (261, 1), (266, 1), (271, 1), (293, 1), (297, 1), (301, 1), (337, 1), (375, 1), (379, 1), (423, 1), (426, 1), (428, 3), (430, 2), (432, 1)], [(3, 1), (19, 1), (26, 1), (30, 1), (38, 1), (49, 1), (87, 1), (132, 1), (136, 1), (138, 1), (146, 1), (171, 1), (178, 1), (182, 1), (185, 1), (196, 1), (220, 2), (221, 1), (244, 1), (257, 1), (278, 1), (280, 1), (284, 1), (291, 1), (293, 1), (311, 1), (337, 1), (342, 1), (344, 1), (382, 1), (421, 3), (422, 1), (423, 1), (428, 1), (429, 1), (431, 2), (432, 2)], [(3, 1), (15, 1), (75, 1), (100, 1), (109, 1), (122, 2), (147, 1), (157, 1), (290, 2), (303, 1), (318, 3), (330, 1), (349, 1), (350, 1), (425, 2)], [(1, 1), (15, 1), (70, 2), (93, 1), (124, 1), (148, 2), (191, 1), (194, 3), (217, 1), (218, 1), (225, 1), (266, 2), (302, 1), (306, 1), (322, 1), (337, 2), (344, 1), (354, 1), (407, 1), (422, 1), (430, 1), (431, 1)], [(6, 2), (21, 1), (23, 1), (26, 1), (81, 1), (143, 1), (183, 1), (193, 4), (223, 1), (248, 1), (249, 1), (263, 1), (288, 1), (294, 1), (337, 1), (348, 2), (387, 1), (407, 2), (420, 3), (422, 1), (423, 1), (427, 1), (428, 2), (429, 1), (430, 2), (431, 2), (432, 1)], [(1, 1), (22, 1), (23, 1), (52, 1), (86, 1), (97, 1), (100, 1), (122, 1), (154, 1), (205, 1), (234, 1), (265, 1), (294, 1), (423, 2), (424, 2), (428, 2), (430, 1)], [(1, 1), (17, 1), (22, 1), (27, 1), (31, 1), (33, 1), (45, 1), (111, 1), (132, 1), (148, 1), (183, 1), (229, 1), (237, 1), (288, 1), (294, 1), (337, 1), (424, 5), (427, 1)], [(1, 1), (2, 1), (12, 1), (15, 3), (20, 3), (21, 1), (26, 3), (38, 2), (49, 3), (55, 5), (56, 2), (63, 2), (65, 1), (70, 5), (73, 3), (74, 1), (75, 4), (76, 1), (85, 1), (88, 1), (91, 5), (94, 1), (100, 5), (103, 1), (106, 1), (117, 1), (120, 4), (122, 3), (124, 3), (132, 2), (136, 1), (137, 1), (143, 1), (147, 1), (148, 2), (150, 1), (153, 1), (158, 2), (159, 2), (160, 1), (161, 1), (165, 2), (167, 1), (171, 1), (174, 1), (175, 1), (176, 1), (178, 2), (185, 2), (194, 1), (195, 1), (196, 1), (197, 1), (201, 2), (202, 3), (205, 3), (208, 1), (213, 1), (217, 1), (230, 1), (234, 1), (241, 1), (248, 1), (260, 2), (266, 1), (270, 5), (272, 1), (282, 1), (293, 1), (296, 1), (298, 1), (310, 8), (316, 1), (317, 2), (322, 1), (326, 1), (328, 1), (330, 1), (334, 1), (338, 1), (344, 1), (348, 1), (350, 1), (354, 5), (356, 1), (357, 1), (363, 1), (365, 1), (372, 1), (384, 1), (392, 3), (393, 5), (407, 1), (409, 1), (412, 1), (421, 9), (422, 18), (427, 5), (430, 10), (432, 7)], [(4, 1), (15, 1), (28, 3), (70, 3), (73, 1), (100, 1), (221, 1), (412, 1), (424, 2)], [(27, 1), (46, 1), (49, 1), (100, 1), (129, 2), (139, 1), (142, 2), (188, 1), (201, 1), (241, 1), (259, 1), (264, 1), (312, 1), (337, 1), (396, 2), (407, 2), (413, 4), (420, 2), (422, 1), (424, 1), (428, 1), (429, 1)], [(20, 1), (38, 1), (70, 1), (81, 1), (221, 1), (229, 1), (425, 1), (431, 2)], [(2, 1), (16, 2), (17, 1), (20, 3), (29, 1), (54, 1), (59, 1), (75, 1), (76, 2), (83, 1), (94, 1), (98, 1), (114, 1), (125, 2), (127, 1), (135, 1), (148, 1), (149, 2), (198, 1), (221, 1), (225, 1), (227, 1), (240, 1), (246, 1), (248, 2), (274, 1), (276, 1), (296, 1), (314, 1), (317, 1), (355, 1), (362, 1), (369, 1), (372, 2), (374, 1), (376, 1), (405, 1), (409, 4), (427, 1), (432, 3)], [(15, 1), (77, 1), (86, 1), (123, 2), (133, 1), (142, 1), (174, 1), (183, 1), (207, 1), (247, 1), (248, 1), (316, 1), (423, 1), (429, 2)], [(0, 1), (1, 1), (49, 1), (70, 1), (72, 1), (74, 1), (75, 1), (95, 1), (106, 1), (108, 1), (110, 1), (181, 1), (205, 1), (209, 1), (266, 1), (271, 1), (280, 1), (303, 1), (420, 3), (427, 1), (429, 3)], [(3, 1), (15, 2), (16, 1), (26, 1), (34, 1), (50, 1), (54, 1), (57, 1), (59, 1), (70, 2), (73, 1), (93, 4), (99, 1), (102, 1), (103, 1), (124, 1), (134, 3), (136, 1), (154, 1), (165, 1), (173, 1), (219, 2), (227, 1), (237, 1), (239, 3), (253, 1), (257, 1), (260, 1), (276, 1), (285, 1), (286, 2), (294, 1), (295, 1), (308, 1), (326, 1), (328, 1), (330, 1), (333, 1), (334, 1), (350, 1), (351, 2), (365, 1), (375, 1), (414, 4), (426, 15), (427, 1)], [(3, 1), (5, 1), (26, 2), (39, 1), (76, 1), (88, 1), (98, 1), (102, 1), (109, 1), (118, 1), (124, 1), (143, 1), (148, 2), (182, 1), (243, 1), (275, 2), (284, 1), (285, 1), (287, 1), (294, 1), (299, 1), (338, 1), (361, 2), (373, 1), (375, 1), (381, 1), (392, 1), (410, 1), (426, 1), (428, 6)], [(56, 1), (220, 1), (222, 1), (229, 1), (236, 1), (271, 1), (293, 1), (423, 2), (425, 2), (427, 1), (431, 1)], [(4, 2), (15, 1), (19, 1), (31, 1), (111, 1), (124, 1), (131, 1), (141, 1), (142, 1), (219, 1), (239, 2), (330, 2), (339, 1), (359, 1), (378, 1), (420, 5)], [(38, 1), (44, 1), (114, 1), (120, 2), (141, 1), (176, 1), (241, 2), (257, 1), (314, 1), (343, 1), (372, 1), (374, 1)], [(1, 1), (3, 3), (8, 1), (15, 1), (19, 1), (28, 2), (33, 1), (38, 3), (50, 3), (57, 1), (59, 1), (60, 1), (63, 1), (65, 1), (70, 2), (84, 1), (120, 1), (127, 1), (134, 1), (163, 1), (227, 1), (244, 2), (259, 1), (263, 2), (271, 1), (274, 1), (278, 1), (280, 1), (282, 1), (289, 1), (297, 1), (313, 2), (314, 1), (355, 1), (362, 1), (367, 1), (412, 2), (425, 1), (426, 12), (428, 2)], [(3, 1), (7, 1), (15, 1), (31, 1), (46, 1), (54, 1), (63, 1), (69, 1), (95, 1), (100, 1), (103, 1), (115, 1), (124, 1), (136, 1), (153, 3), (157, 1), (160, 1), (167, 1), (192, 1), (247, 1), (258, 1), (337, 1), (421, 5), (427, 2), (428, 4)], [(3, 2), (19, 1), (21, 1), (28, 1), (38, 1), (67, 1), (71, 1), (75, 1), (102, 1), (125, 1), (130, 1), (132, 1), (141, 1), (174, 2), (179, 1), (180, 1), (219, 1), (220, 1), (221, 1), (225, 1), (229, 1), (241, 1), (243, 1), (244, 1), (248, 1), (257, 1), (260, 2), (274, 1), (282, 2), (296, 2), (306, 1), (311, 1), (322, 1), (379, 1), (428, 2), (431, 8)], [(2, 1), (15, 1), (50, 1), (52, 1), (74, 1), (75, 3), (141, 1), (143, 1), (144, 1), (201, 1), (219, 1), (227, 1), (294, 1), (317, 1), (386, 1), (425, 2), (426, 2)], [(1, 1), (2, 2), (15, 1), (27, 1), (30, 1), (43, 1), (59, 1), (60, 2), (69, 2), (70, 2), (73, 2), (77, 1), (86, 1), (136, 2), (149, 1), (158, 1), (160, 1), (161, 1), (162, 1), (185, 1), (200, 1), (213, 1), (217, 1), (229, 1), (230, 1), (234, 1), (237, 1), (251, 2), (254, 1), (278, 1), (306, 1), (311, 1), (313, 1), (317, 5), (342, 1), (364, 1), (378, 1), (384, 1), (392, 1), (421, 1), (425, 1), (426, 5), (428, 5)], [(15, 1), (26, 2), (32, 1), (70, 2), (89, 1), (93, 2), (105, 1), (173, 1), (174, 1), (245, 1), (250, 1), (253, 1), (263, 1), (274, 1), (281, 1), (334, 1), (353, 1), (382, 1), (407, 1), (420, 1), (428, 2), (429, 2), (431, 1), (432, 1)], [(55, 1), (65, 1), (76, 1), (83, 1), (88, 1), (110, 1), (137, 1), (175, 1), (255, 1), (261, 1), (388, 1), (421, 3)], [(11, 1), (69, 2), (104, 1), (112, 1), (271, 2), (299, 1), (424, 5), (428, 1)], [(1, 2), (22, 1), (38, 2), (49, 1), (60, 1), (132, 1), (227, 1)], [(59, 1), (89, 1), (171, 1), (178, 1), (183, 1), (227, 1), (421, 1)], [(2, 2), (4, 7), (15, 3), (22, 1), (33, 3), (38, 2), (43, 1), (44, 1), (45, 1), (50, 1), (55, 1), (69, 1), (71, 1), (73, 4), (75, 3), (79, 1), (94, 2), (120, 2), (121, 1), (122, 1), (141, 1), (153, 1), (154, 1), (165, 1), (174, 1), (176, 1), (214, 2), (216, 1), (219, 3), (221, 1), (227, 1), (274, 1), (280, 1), (287, 1), (297, 1), (317, 1), (371, 1), (375, 1), (376, 1), (413, 1), (424, 11)], [(26, 1), (38, 1), (57, 1), (61, 1), (90, 1), (94, 1), (146, 1), (168, 1), (173, 1), (234, 1), (244, 1), (248, 1), (254, 1), (302, 1), (358, 1), (396, 1)], [(12, 1), (38, 1), (57, 1), (69, 1), (86, 1), (113, 1), (119, 1), (192, 1), (226, 1), (284, 1), (305, 1), (426, 1), (428, 2)], [(17, 1), (27, 1), (38, 1), (53, 1), (55, 1), (76, 2), (81, 1), (84, 1), (93, 1), (121, 1), (132, 1), (139, 1), (143, 1), (214, 1), (248, 1), (271, 1), (293, 1), (294, 1), (333, 1), (336, 1), (340, 2), (342, 1), (413, 4), (424, 7), (427, 1), (428, 1)], [(26, 1), (38, 1), (63, 1), (68, 1), (79, 1), (113, 1), (126, 1), (202, 1), (240, 1), (258, 1), (261, 1), (311, 1), (394, 1), (422, 2), (431, 1)], [(15, 2), (20, 1), (25, 1), (26, 2), (27, 1), (31, 1), (49, 2), (134, 1), (137, 1), (143, 1), (147, 1), (158, 1), (165, 1), (195, 1), (221, 1), (234, 1), (256, 1), (257, 1), (294, 1), (311, 1), (342, 1), (344, 1), (348, 1), (350, 1), (361, 1), (365, 2), (366, 1), (370, 3), (378, 1), (409, 2), (422, 4), (426, 1), (428, 4), (431, 1), (432, 1)], [(0, 1), (15, 1), (20, 1), (22, 1), (50, 1), (70, 1), (71, 1), (73, 1), (126, 1), (155, 1), (162, 1), (178, 1), (195, 1), (197, 1), (221, 1), (224, 1), (227, 2), (237, 1), (247, 1), (248, 1), (261, 1), (266, 1), (274, 3), (294, 2), (380, 1), (425, 1), (426, 1), (431, 9)], [(10, 1), (86, 1), (143, 1), (221, 1), (241, 1), (244, 1), (302, 2), (329, 1), (330, 1), (348, 1), (386, 1), (388, 1), (407, 1), (410, 1), (420, 1), (423, 1)], [(12, 1), (15, 2), (26, 1), (28, 1), (50, 2), (61, 1), (95, 1), (103, 1), (120, 2), (134, 1), (137, 1), (143, 1), (144, 1), (148, 1), (150, 1), (153, 1), (166, 1), (173, 1), (182, 1), (255, 1), (257, 2), (262, 1), (274, 3), (279, 1), (291, 1), (295, 1), (320, 1), (335, 1), (345, 1), (362, 1), (380, 1), (391, 2), (420, 1), (427, 1), (429, 4)], [(21, 1), (38, 1), (70, 2), (83, 1), (85, 1), (89, 1), (96, 1), (102, 1), (133, 1), (137, 1), (160, 1), (229, 1), (234, 1), (241, 1), (270, 3), (311, 1), (376, 1)], [(11, 2), (91, 1), (122, 1), (227, 1), (335, 1), (337, 1), (427, 1)], [(15, 1), (19, 1), (20, 1), (27, 1), (37, 1), (38, 1), (67, 2), (70, 1), (80, 1), (108, 2), (124, 1), (174, 2), (180, 1), (216, 1), (230, 1), (260, 1), (327, 1), (362, 1), (421, 1), (422, 1), (432, 1)], [(15, 1), (23, 1), (28, 4), (50, 2), (59, 1), (75, 1), (125, 1), (134, 1), (136, 1), (151, 1), (161, 1), (183, 2), (221, 1), (268, 1), (276, 1), (317, 2), (370, 1), (387, 1), (428, 3)], [(38, 1), (101, 1), (103, 1), (120, 1), (145, 1), (218, 1), (227, 1), (337, 1), (374, 1), (407, 1), (426, 1), (428, 2), (430, 1)], [(3, 1), (33, 1), (43, 2), (46, 1), (50, 1), (71, 1), (83, 1), (86, 1), (91, 2), (100, 1), (135, 1), (153, 1), (156, 1), (166, 1), (206, 1), (226, 1), (231, 1), (248, 1), (256, 1), (260, 3), (280, 1), (282, 1), (295, 1), (297, 1), (300, 1), (329, 1), (421, 2), (426, 1), (428, 3)], [(15, 1), (26, 2), (70, 1), (94, 2), (204, 1), (337, 1), (348, 1), (355, 1), (376, 1), (428, 2), (429, 1)], [(3, 1), (15, 1), (20, 2), (42, 1), (46, 1), (48, 1), (62, 1), (65, 1), (67, 1), (77, 1), (79, 1), (81, 1), (93, 1), (103, 2), (108, 2), (114, 1), (116, 1), (117, 1), (138, 2), (155, 2), (167, 1), (178, 1), (204, 1), (206, 1), (210, 1), (221, 1), (234, 1), (243, 1), (244, 1), (248, 1), (267, 1), (269, 1), (271, 1), (275, 2), (276, 1), (285, 1), (294, 3), (299, 1), (311, 1), (326, 1), (328, 1), (329, 2), (357, 1), (358, 1), (361, 1), (362, 1), (365, 1), (372, 1), (382, 1), (410, 1), (422, 12), (431, 5)], [(1, 1), (15, 2), (16, 1), (20, 1), (25, 1), (30, 1), (37, 3), (39, 2), (45, 1), (54, 1), (59, 1), (60, 2), (63, 1), (65, 1), (66, 3), (67, 1), (70, 1), (76, 2), (77, 1), (80, 1), (82, 1), (94, 1), (116, 1), (118, 1), (120, 1), (122, 1), (124, 1), (132, 3), (133, 1), (138, 1), (140, 1), (147, 1), (148, 1), (153, 1), (155, 1), (158, 1), (160, 1), (170, 1), (171, 1), (179, 1), (185, 1), (200, 1), (206, 1), (210, 1), (214, 1), (220, 1), (221, 1), (254, 1), (257, 1), (262, 1), (266, 1), (270, 1), (271, 1), (283, 1), (286, 1), (287, 1), (290, 1), (295, 1), (299, 1), (300, 1), (322, 1), (326, 1), (332, 1), (342, 1), (346, 1), (357, 1), (358, 1), (363, 1), (366, 6), (367, 1), (368, 1), (372, 1), (381, 1), (386, 1), (390, 1), (405, 1), (409, 1), (421, 9), (422, 1), (425, 7)], [(1, 1), (3, 3), (28, 1), (55, 1), (56, 1), (66, 2), (69, 1), (76, 1), (84, 1), (122, 1), (132, 1), (147, 1), (154, 1), (165, 1), (181, 1), (188, 1), (193, 1), (195, 1), (210, 1), (220, 1), (255, 2), (266, 1), (294, 1), (296, 1), (311, 1), (330, 1), (359, 1), (369, 1), (376, 1), (379, 1), (381, 1), (388, 1), (409, 1), (422, 1), (427, 2), (431, 9)], [(0, 1), (3, 2), (15, 1), (19, 1), (20, 1), (26, 1), (33, 5), (38, 1), (44, 1), (54, 1), (61, 1), (68, 1), (69, 2), (76, 1), (80, 1), (88, 1), (89, 1), (101, 1), (149, 1), (194, 1), (206, 1), (213, 1), (214, 1), (219, 1), (227, 2), (238, 3), (261, 1), (274, 1), (297, 1), (312, 1), (352, 1), (357, 1), (362, 1), (425, 2), (426, 1), (427, 1), (431, 1)], [(38, 1), (76, 1), (89, 1), (149, 1), (227, 1), (309, 1), (428, 1)], [(5, 1), (8, 2), (16, 1), (17, 1), (26, 2), (27, 2), (34, 1), (38, 2), (53, 2), (55, 1), (56, 1), (59, 1), (77, 2), (87, 1), (101, 1), (122, 1), (135, 1), (143, 1), (145, 1), (215, 1), (219, 1), (241, 1), (253, 1), (265, 1), (266, 1), (269, 2), (271, 1), (293, 2), (300, 1), (321, 1), (337, 2), (346, 1), (376, 1), (388, 1), (420, 4), (424, 1), (428, 3), (430, 1)], [(3, 1), (11, 1), (16, 1), (17, 1), (26, 1), (27, 2), (34, 1), (57, 1), (69, 1), (70, 1), (75, 1), (77, 1), (84, 1), (87, 1), (89, 2), (93, 1), (165, 1), (174, 1), (179, 1), (188, 1), (200, 1), (204, 1), (219, 1), (227, 3), (229, 3), (241, 1), (252, 1), (257, 4), (261, 2), (309, 1), (311, 1), (312, 2), (328, 1), (342, 1), (350, 2), (354, 2), (359, 1), (365, 1), (372, 1), (381, 1), (409, 1), (421, 1), (426, 9), (429, 3)], [(5, 1), (38, 1), (44, 2), (47, 1), (48, 1), (54, 1), (55, 5), (62, 1), (67, 1), (68, 2), (78, 1), (96, 1), (104, 1), (112, 1), (124, 1), (133, 1), (137, 1), (147, 2), (178, 1), (188, 2), (222, 2), (232, 1), (241, 1), (249, 1), (266, 1), (290, 1), (303, 1), (305, 2), (311, 1), (352, 1), (382, 1), (385, 2), (423, 11)], [(2, 2), (3, 1), (5, 2), (15, 4), (16, 2), (33, 1), (39, 1), (40, 1), (45, 1), (57, 1), (66, 1), (70, 1), (72, 1), (76, 1), (87, 1), (90, 1), (93, 2), (94, 3), (100, 1), (108, 3), (153, 2), (165, 1), (203, 1), (209, 1), (215, 1), (231, 1), (248, 1), (253, 2), (259, 1), (266, 2), (280, 1), (292, 1), (306, 1), (318, 1), (325, 2), (330, 1), (342, 1), (345, 3), (370, 1), (387, 1), (420, 6), (422, 1), (423, 2), (427, 2), (428, 5), (429, 4), (432, 1)], [(1, 2), (9, 1), (11, 1), (15, 1), (17, 1), (20, 1), (26, 1), (28, 1), (59, 2), (89, 1), (98, 1), (102, 1), (120, 1), (124, 1), (132, 1), (153, 1), (170, 1), (194, 1), (200, 1), (202, 2), (203, 2), (205, 1), (214, 1), (238, 1), (266, 1), (289, 1), (294, 1), (334, 1), (343, 1), (355, 1), (358, 3), (363, 2), (366, 1), (367, 1), (376, 1), (378, 1), (407, 1), (409, 2), (427, 1), (428, 2), (430, 1), (432, 3)], [(2, 2), (44, 1), (73, 1), (88, 1), (93, 1), (94, 1), (100, 2), (110, 1), (120, 1), (134, 4), (153, 1), (177, 1), (205, 1), (214, 1), (223, 1), (251, 1), (253, 1), (262, 1), (265, 1), (279, 1), (345, 4), (359, 1), (383, 1), (420, 2), (428, 4), (429, 6)], [(3, 1), (8, 1), (17, 1), (19, 1), (20, 1), (24, 1), (32, 1), (38, 3), (40, 1), (43, 1), (47, 1), (49, 1), (54, 1), (57, 1), (59, 1), (63, 2), (64, 1), (70, 2), (75, 2), (88, 1), (92, 1), (97, 1), (100, 1), (113, 2), (114, 1), (120, 1), (122, 1), (132, 3), (137, 1), (149, 1), (155, 1), (160, 1), (167, 1), (193, 1), (206, 2), (210, 1), (213, 1), (220, 1), (243, 1), (255, 1), (265, 1), (271, 1), (276, 2), (278, 1), (288, 1), (292, 1), (297, 1), (303, 1), (306, 1), (313, 2), (322, 1), (330, 1), (340, 2), (346, 1), (349, 1), (362, 1), (367, 1), (374, 1), (379, 1), (388, 1), (393, 1), (412, 1), (421, 13), (422, 4), (423, 6), (425, 5), (427, 2), (431, 1), (432, 1)], [(22, 1), (63, 1), (69, 1), (147, 1), (178, 1), (229, 1), (245, 1), (260, 1), (276, 1), (295, 1), (380, 1), (426, 2)], [(1, 1), (3, 1), (20, 1), (25, 1), (37, 1), (38, 1), (75, 1), (90, 1), (115, 1), (120, 1), (126, 1), (127, 1), (129, 1), (132, 1), (135, 1), (148, 1), (165, 1), (173, 2), (213, 2), (333, 1), (334, 1), (358, 2), (363, 2), (376, 1), (391, 1), (394, 1), (421, 3), (422, 3), (427, 1), (431, 1), (432, 3)], [(16, 2), (19, 1), (25, 1), (43, 1), (50, 1), (63, 1), (70, 1), (76, 1), (77, 1), (100, 1), (108, 1), (111, 1), (124, 1), (125, 1), (127, 1), (134, 1), (143, 2), (144, 1), (204, 1), (228, 1), (230, 1), (251, 1), (253, 3), (260, 1), (266, 1), (274, 1), (277, 1), (292, 2), (302, 3), (314, 1), (326, 1), (332, 1), (339, 1), (371, 2), (420, 4), (422, 1), (423, 1)], [(4, 1), (7, 1), (8, 1), (49, 2), (57, 1), (99, 1), (125, 1), (153, 4), (158, 1), (238, 1), (239, 2), (242, 1), (280, 1), (311, 1), (366, 1), (367, 1), (380, 1), (421, 3), (425, 1), (429, 1), (431, 1), (432, 1)], [(8, 2), (15, 1), (26, 1), (27, 1), (28, 1), (48, 1), (59, 1), (60, 1), (69, 1), (81, 1), (88, 1), (93, 1), (101, 1), (102, 1), (103, 1), (120, 1), (136, 1), (143, 1), (160, 1), (190, 1), (247, 1), (248, 1), (270, 2), (285, 1), (294, 1), (296, 1), (305, 1), (306, 1), (312, 1), (360, 1), (394, 1), (421, 8), (423, 3)], [(3, 1), (20, 2), (24, 1), (25, 1), (30, 1), (44, 1), (48, 3), (51, 1), (52, 1), (55, 7), (57, 1), (60, 1), (61, 1), (63, 1), (69, 2), (76, 2), (77, 1), (89, 2), (90, 1), (96, 2), (102, 1), (106, 1), (113, 1), (114, 1), (116, 1), (120, 1), (122, 1), (132, 2), (137, 2), (140, 1), (147, 3), (148, 1), (160, 1), (171, 1), (176, 1), (180, 2), (184, 1), (187, 1), (188, 1), (224, 1), (225, 1), (228, 2), (253, 1), (257, 2), (262, 1), (269, 1), (271, 1), (274, 1), (288, 1), (311, 2), (324, 1), (328, 1), (332, 1), (342, 1), (350, 1), (358, 1), (368, 1), (380, 1), (384, 1), (390, 1), (393, 3), (405, 2), (423, 14)], [(2, 1), (4, 1), (15, 5), (17, 1), (19, 2), (20, 1), (27, 1), (38, 1), (46, 1), (54, 1), (55, 2), (59, 2), (70, 1), (87, 1), (94, 2), (106, 1), (107, 1), (119, 2), (122, 2), (132, 1), (137, 1), (153, 1), (157, 1), (165, 1), (243, 1), (290, 1), (294, 2), (303, 1), (358, 4), (359, 1), (362, 1), (363, 2), (371, 1), (380, 1), (395, 1), (421, 4)], [(10, 1), (15, 1), (21, 1), (37, 1), (87, 1), (96, 3), (100, 1), (102, 1), (274, 1), (280, 2), (297, 1), (371, 2), (429, 2)], [(3, 1), (15, 2), (89, 1), (102, 2), (171, 1), (236, 1), (245, 1), (409, 1), (423, 2), (425, 1)], [(34, 1), (127, 1), (246, 1), (286, 1), (378, 1), (414, 1), (426, 2), (428, 3)], [(2, 1), (16, 1), (38, 1), (61, 1), (76, 1), (132, 2), (148, 1), (251, 1), (306, 1), (420, 1), (429, 1)], [(2, 1), (10, 1), (28, 1), (31, 1), (33, 2), (37, 1), (43, 1), (50, 3), (69, 1), (75, 2), (88, 1), (94, 1), (110, 1), (124, 1), (125, 1), (132, 1), (153, 1), (173, 1), (201, 1), (214, 2), (215, 1), (234, 1), (237, 2), (260, 2), (263, 1), (266, 1), (271, 1), (294, 1), (301, 1), (354, 2), (358, 1), (370, 2), (381, 1), (383, 1), (387, 1), (394, 1), (413, 4), (422, 10), (424, 12)], [(24, 1), (42, 1), (59, 1), (69, 1), (76, 1), (102, 1), (106, 1), (126, 1), (129, 3), (133, 1), (138, 1), (139, 1), (147, 1), (155, 1), (175, 3), (182, 1), (337, 1), (364, 1), (365, 1), (405, 1), (407, 1), (413, 2)], [(88, 1), (102, 1), (267, 1)], [(27, 1), (48, 1), (55, 1), (63, 1), (69, 1), (78, 1), (82, 1), (89, 1), (103, 1), (120, 2), (126, 1), (131, 1), (132, 1), (133, 1), (139, 1), (141, 1), (166, 1), (173, 1), (188, 1), (201, 1), (204, 1), (206, 1), (227, 3), (241, 1), (244, 1), (255, 1), (257, 1), (269, 1), (275, 1), (279, 1), (303, 1), (306, 1), (311, 2), (363, 2), (366, 1), (368, 1), (426, 5)], [(0, 1), (1, 5), (2, 2), (3, 1), (4, 1), (8, 2), (9, 17), (10, 1), (11, 3), (15, 2), (16, 1), (17, 1), (22, 1), (23, 1), (24, 1), (26, 8), (27, 2), (28, 1), (31, 1), (34, 1), (43, 1), (44, 1), (49, 1), (51, 1), (57, 1), (59, 4), (63, 2), (69, 6), (70, 3), (76, 5), (77, 1), (78, 1), (88, 3), (90, 2), (93, 3), (94, 1), (112, 1), (113, 1), (118, 2), (120, 3), (122, 2), (124, 1), (125, 1), (132, 5), (134, 4), (136, 1), (143, 1), (145, 2), (148, 1), (149, 2), (153, 3), (158, 1), (160, 1), (162, 1), (165, 1), (171, 1), (179, 1), (182, 1), (183, 1), (193, 1), (205, 4), (210, 2), (212, 1), (214, 2), (218, 1), (219, 1), (225, 2), (227, 1), (237, 1), (246, 2), (247, 1), (253, 2), (255, 1), (257, 1), (259, 3), (260, 1), (264, 1), (266, 1), (271, 2), (274, 2), (279, 1), (281, 1), (284, 1), (294, 1), (296, 7), (297, 1), (300, 1), (303, 2), (311, 1), (313, 1), (319, 2), (333, 1), (335, 1), (336, 3), (337, 6), (340, 1), (343, 1), (351, 1), (362, 1), (380, 1), (383, 1), (394, 1), (407, 3), (420, 5), (421, 3), (422, 3), (423, 4), (424, 3), (426, 5), (427, 1), (428, 21), (429, 1), (430, 1), (431, 1), (432, 2)], [(1, 1), (26, 1), (27, 1), (82, 1), (234, 1), (238, 1), (279, 1), (306, 1), (332, 1), (334, 1), (355, 1), (358, 1)], [(1, 1), (3, 1), (20, 1), (38, 1), (50, 2), (57, 1), (59, 2), (64, 1), (69, 1), (73, 1), (88, 1), (132, 1), (137, 1), (139, 2), (184, 2), (206, 1), (212, 1), (224, 1), (238, 1), (240, 3), (244, 1), (248, 1), (288, 1), (421, 5), (426, 5), (428, 5)], [(4, 3), (12, 1), (14, 1), (15, 2), (50, 1), (53, 1), (69, 1), (70, 1), (76, 1), (79, 1), (115, 1), (120, 1), (137, 1), (139, 1), (143, 1), (144, 1), (180, 1), (195, 2), (201, 1), (206, 1), (213, 1), (221, 2), (255, 1), (285, 1), (302, 1), (391, 1), (394, 1), (414, 1), (420, 4)], [(2, 1), (3, 3), (12, 2), (16, 1), (19, 3), (20, 1), (24, 1), (25, 1), (27, 1), (28, 1), (39, 2), (48, 1), (61, 1), (63, 1), (76, 1), (77, 2), (79, 1), (81, 2), (96, 2), (106, 1), (114, 1), (115, 1), (117, 1), (124, 2), (126, 2), (132, 2), (133, 2), (137, 2), (176, 1), (189, 2), (203, 1), (223, 1), (229, 1), (232, 1), (237, 1), (244, 1), (251, 1), (255, 3), (257, 1), (262, 1), (266, 1), (278, 1), (279, 2), (294, 2), (299, 1), (316, 1), (335, 1), (343, 1), (353, 1), (363, 6), (369, 1), (379, 1), (393, 1), (394, 1), (412, 1), (421, 12)], [(23, 1), (50, 1), (69, 1), (72, 1), (92, 1), (132, 1), (274, 1), (280, 1), (282, 1), (311, 1), (333, 1), (383, 1), (412, 2), (414, 1), (420, 2), (427, 1), (428, 1)], [(1, 1), (15, 1), (17, 3), (22, 2), (37, 3), (38, 3), (39, 1), (50, 1), (59, 2), (67, 1), (75, 2), (79, 1), (94, 1), (100, 1), (104, 1), (109, 1), (110, 1), (115, 1), (117, 2), (124, 2), (134, 3), (141, 2), (146, 1), (158, 2), (170, 1), (185, 1), (197, 1), (198, 1), (238, 1), (255, 1), (263, 1), (275, 1), (294, 1), (297, 1), (306, 1), (328, 2), (391, 1), (392, 1), (395, 1)]]

# LDA主题模型
# num_topics -- 必须，要生成的主题个数。
# id2word    -- 必须，LdaModel类要求我们之前的dictionary把id都映射成为字符串。
# passes     -- 可选，模型遍历语料库的次数。遍历的次数越多，模型越精确。但是对于非常大的语料库，遍历太多次会花费很长的时间。
lda_model = models.ldamodel.LdaModel(corpus=corpus, num_topics=50, id2word=dictionary, passes=10)

# 可以用 print_topic 和 print_topics 方法来查看主题
# 打印所有主题，每个主题显示5个词
topic_words = lda_model.print_topics(num_topics=50, num_words=5)
print('打印所有主题，每个主题显示5个词:')
print(topic_words)

打印所有主题，每个主题显示5个词:
[(0, '0.076*"众人" + 0.033*"石破天" + 0.032*"生平" + 0.032*"内力" + 0.029*"只见"'), (1, '0.050*"金面佛" + 0.049*"胡一刀" + 0.048*"程灵素" + 0.038*"孩子" + 0.035*"师父"'), (2, '0.088*"张无忌" + 0.043*"便" + 0.026*"说道" + 0.025*"瞧" + 0.023*"走"'), (3, '0.068*"余鱼同" + 0.066*"文泰来" + 0.030*"说道" + 0.024*"惊" + 0.023*"站"'), (4, '0.042*"说道" + 0.041*"石破天" + 0.031*"石" + 0.025*"便" + 0.024*"没"'), (5, '0.035*"少林" + 0.032*"插" + 0.026*"没" + 0.025*"兵刃" + 0.023*"谢逊"'), (6, '0.064*"谢逊" + 0.064*"师父" + 0.035*"弟子" + 0.033*"名字" + 0.021*"曹云奇"'), (7, '0.055*"做" + 0.036*"掌门" + 0.033*"说道" + 0.029*"救" + 0.026*"便"'), (8, '0.167*"张召重" + 0.049*"骂" + 0.047*"镖" + 0.038*"手" + 0.037*"跌"'), (9, '0.048*"便" + 0.031*"说道" + 0.027*"张无忌" + 0.025*"大师" + 0.023*"知"'), (10, '0.037*"走" + 0.033*"不知" + 0.031*"陈家洛" + 0.029*"心想" + 0.022*"马"'), (11, '0.031*"怕" + 0.028*"霍青桐" + 0.022*"便" + 0.021*"只见" + 0.020*"问"'), (12, '0.093*"伸手" + 0.084*"必" + 0.064*"走" + 0.060*"袁紫衣" + 0.047*"只见"'), (13, '0.049*"陈家洛" + 0.029*"头" + 0.027*"踢" + 0.026*"身子" + 0.025*"骆冰"'), (14, '0.041*"令" + 0.041*"张无忌" + 0.040*"周仲英" + 0.034*"英雄" + 0.032*"瞧"'), (15, '0.049*"陈家洛" + 0.042*"弟子" + 0.025*"时" + 0.024*"众人" + 0.024*"死"'), (16, '0.132*"石破天" + 0.045*"奶奶" + 0.039*"便" + 0.033*"雪山" + 0.030*"掌"'), (17, '0.166*"教主" + 0.094*"便" + 0.064*"笑" + 0.041*"不到" + 0.040*"喜欢"'), (18, '0.079*"周仲英" + 0.064*"陈家洛" + 0.038*"笑" + 0.036*"夫妇" + 0.035*"众人"'), (19, '0.062*"张无忌" + 0.050*"赵敏" + 0.038*"便" + 0.036*"说道" + 0.030*"事"'), (20, '0.096*"文泰来" + 0.037*"无尘" + 0.035*"张召重" + 0.030*"没" + 0.025*"小姐"'), (21, '0.150*"苗人凤" + 0.074*"抓" + 0.073*"李沅芷" + 0.048*"兄弟" + 0.043*"掷"'), (22, '0.029*"问" + 0.027*"老者" + 0.026*"便" + 0.026*"小姐" + 0.023*"没"'), (23, '0.114*"老者" + 0.036*"张翠山" + 0.028*"出" + 0.025*"双手" + 0.024*"武功"'), (24, '0.062*"便" + 0.043*"张无忌" + 0.036*"鬼" + 0.032*"招数" + 0.030*"敌人"'), (25, '0.075*"乾隆" + 0.058*"剑法" + 0.047*"侍卫" + 0.033*"派" + 0.033*"杀"'), (26, '0.080*"张召重" + 0.072*"李沅芷" + 0.033*"追" + 0.029*"知" + 0.024*"小子"'), (27, '0.054*"汉子" + 0.030*"便" + 0.029*"说道" + 0.026*"曹云奇" + 0.025*"吃"'), (28, '0.040*"便" + 0.031*"瞧" + 0.029*"苗人凤" + 0.029*"石破天" + 0.027*"没"'), (29, '0.079*"陈家洛" + 0.078*"张召重" + 0.038*"霍青桐" + 0.036*"杀" + 0.028*"摸"'), (30, '0.066*"字" + 0.032*"说道" + 0.031*"事" + 0.024*"师父" + 0.023*"写"'), (31, '0.057*"师父" + 0.045*"张无忌" + 0.044*"老人家" + 0.040*"杀" + 0.037*"袁紫衣"'), (32, '0.110*"陆菲青" + 0.063*"剑" + 0.032*"右手" + 0.024*"长剑" + 0.021*"手"'), (33, '0.046*"便" + 0.033*"程灵素" + 0.027*"药王" + 0.024*"胡斐" + 0.024*"只见"'), (34, '0.061*"杀" + 0.043*"小人" + 0.040*"凤天南" + 0.039*"说道" + 0.027*"暗器"'), (35, '0.061*"霍青桐" + 0.033*"陈家洛" + 0.025*"没" + 0.024*"余鱼同" + 0.024*"爱"'), (36, '0.107*"胡斐" + 0.103*"程灵素" + 0.049*"姑娘" + 0.045*"胡斐道" + 0.041*"便"'), (37, '0.040*"文泰来" + 0.039*"张召重" + 0.032*"武功" + 0.031*"教" + 0.029*"学"'), (38, '0.026*"徐天宏" + 0.022*"峨嵋派" + 0.022*"说道" + 0.022*"武功" + 0.021*"周芷若"'), (39, '0.034*"掌门人" + 0.033*"福康安" + 0.027*"刀" + 0.026*"敌人" + 0.024*"手"'), (40, '0.151*"乾隆" + 0.046*"儿子" + 0.044*"姓" + 0.037*"只见" + 0.034*"侍卫"'), (41, '0.052*"曹云奇" + 0.047*"兄弟" + 0.042*"说道" + 0.034*"爹爹" + 0.033*"汉子"'), (42, '0.170*"霍青桐" + 0.043*"救" + 0.035*"爹" + 0.034*"哭" + 0.033*"回"'), (43, '0.065*"余鱼同" + 0.043*"死" + 0.032*"便" + 0.029*"刀" + 0.028*"没"'), (44, '0.094*"张无忌" + 0.045*"便" + 0.034*"小姐" + 0.026*"吃" + 0.024*"心想"'), (45, '0.025*"便" + 0.023*"刀" + 0.021*"胡斐" + 0.020*"便是" + 0.018*"时"'), (46, '0.056*"胡斐" + 0.038*"赵半山" + 0.034*"掌" + 0.028*"没" + 0.019*"解"'), (47, '0.042*"便" + 0.026*"侍卫" + 0.022*"出" + 0.022*"孩子" + 0.021*"剑"'), (48, '0.034*"无尘" + 0.029*"陈家洛" + 0.021*"袁紫衣" + 0.017*"胡斐" + 0.017*"杀"'), (49, '0.052*"苗若兰" + 0.050*"胡斐" + 0.046*"爹爹" + 0.034*"徐天宏" + 0.033*"姑娘"')]

# 输出该主题的的词及其词的权重
words_list = lda_model.show_topic(0, 5)
print('输出该主题的的词及其词的权重:')
print(words_list)

输出该主题的的词及其词的权重:
[('众人', 0.07637007), ('石破天', 0.03287603), ('生平', 0.032056376), ('内力', 0.032040693), ('只见', 0.029178737)]