In [1]:
sample_bbc_news_sentences = [
"China confirms Interpol chief detained",
"Turkish officials believe the Washington Post writer was killed in the Saudi consulate in Istanbul.",
"US wedding limousine crash kills 20",
"Bulgarian journalist killed in park",
"Kanye West deletes social media profiles",
"Brazilians vote in polarised election",
"Bull kills woman at French festival",
"Indonesia to wrap up tsunami search",
"Tina Turner reveals wedding night ordeal",
"Victory for Trump in Supreme Court battle",
"Clashes at German far-right rock concert",
"The Walking Dead actor dies aged 76",
"Jogger in Netherlands finds lion cub",
"Monkey takes the wheel of Indian bus"
]
In [2]:
#basic tokenization
from nltk.tokenize import TweetTokenizer
tokenizer = TweetTokenizer()
sample_bbc_news_sentences_tokenized = [tokenizer.tokenize(sent) for sent in sample_bbc_news_sentences]
sample_bbc_news_sentences_tokenized[0]
Out[2]:
['China', 'confirms', 'Interpol', 'chief', 'detained']
In [3]:
sample_bbc_news_sentences_tokenized_lower = [[_t.lower() for _t in _s] for _s in sample_bbc_news_sentences_tokenized]
sample_bbc_news_sentences_tokenized_lower[0]
Out[3]:
['china', 'confirms', 'interpol', 'chief', 'detained']
In [4]:
#get all unique tokens
unique_tokens = set(sum(sample_bbc_news_sentences_tokenized_lower, []))
unique_tokens
Out[4]:
{'.',
'20',
'76',
'actor',
'aged',
'at',
'battle',
'believe',
'brazilians',
'bulgarian',
'bull',
'bus',
'chief',
'china',
'clashes',
'concert',
'confirms',
'consulate',
'court',
'crash',
'cub',
'dead',
'deletes',
'detained',
'dies',
'election',
'far-right',
'festival',
'finds',
'for',
'french',
'german',
'in',
'indian',
'indonesia',
'interpol',
'istanbul',
'jogger',
'journalist',
'kanye',
'killed',
'kills',
'limousine',
'lion',
'media',
'monkey',
'netherlands',
'night',
'of',
'officials',
'ordeal',
'park',
'polarised',
'post',
'profiles',
'reveals',
'rock',
'saudi',
'search',
'social',
'supreme',
'takes',
'the',
'tina',
'to',
'trump',
'tsunami',
'turkish',
'turner',
'up',
'us',
'victory',
'vote',
'walking',
'was',
'washington',
'wedding',
'west',
'wheel',
'woman',
'wrap',
'writer'}
In [5]:
# create incidence matrix (term-document frequency)
import numpy as np
incidence_matrix = np.array([[sent.count(token) for sent in sample_bbc_news_sentences_tokenized_lower]
for token in unique_tokens])
print(incidence_matrix)
[[0 1 0 ... 0 0 0]
[0 0 0 ... 0 0 0]
[0 0 0 ... 0 0 1]
...
[0 0 0 ... 0 1 0]
[0 0 0 ... 0 1 0]
[0 0 0 ... 0 0 1]]
For a bigger vocab can take too much memory (number of tokens * number of documents), while also being sparse!
Which words will have highest and which lowest Total freq?
In [6]:
!ls data/mini_newsgroups/sci.electronics/
!tail -50 data/mini_newsgroups/sci.electronics/52464 | head -10
52464 53511 53655 53741 53820 53891 53971 54092 54157 54265
52758 53521 53664 53742 53824 53892 53976 54096 54160 54302
52766 53529 53669 53750 53829 53909 53986 54111 54165 54305
52792 53569 53675 53769 53837 53911 54010 54114 54175 54306
52794 53574 53676 53772 53839 53913 54041 54115 54176 54310
52817 53584 53683 53777 53850 53915 54042 54122 54212 54325
52820 53589 53692 53804 53865 53918 54057 54132 54224 54337
52822 53640 53706 53808 53868 53921 54066 54140 54244 54353
52830 53641 53708 53812 53871 53935 54069 54143 54248 54489
53508 53653 53712 53818 53872 53938 54090 54147 54255 54490
Lines: 48
In article <1993Mar25.161909.8110@wuecl.wustl.edu> dp@cec1.wustl.edu (David Prutchi) writes:
>In article <C4CntG.Jv4@spk.hp.com> long@spk.hp.com (Jerry Long) writes:
>>Fred W. Culpepper (fculpepp@norfolk.vak12ed.edu) wrote:
>>[...]
>>A couple of years ago I put together a Tesla circuit which
>>was published in an electronics magazine and could have been
>>the circuit which is referred to here. This one used a
>>flyback transformer from a tv onto which you wound your own
In [7]:
import nltk
nltk.download('punkt')
[nltk_data] Downloading package punkt to /home/tony/nltk_data...
[nltk_data] Package punkt is already up-to-date!
Out[7]:
True
In [8]:
from nltk.tokenize import sent_tokenize
from collections import defaultdict, Counter
import os
def prepare_dataset(documents_dir):
tokenized_documents = []
for document in os.listdir(documents_dir):
with open(os.path.join(documents_dir, document)) as outf:
sentence_tokens = [tokenizer.tokenize(sent.lower()) for sent in sent_tokenize(outf.read())]
tokenized_documents.append(np.array(sum(sentence_tokens, [])))
print("Found documents: ", len(tokenized_documents))
return tokenized_documents
def document_frequency(tokenized_documents):
all_unique_tokens = set(sum(tokenized_documents, []))
print("Found unique tokens: ", len(all_unique_tokens))
tokens = {token: sum([1 for doc in tokenized_documents if token in doc])
for token in all_unique_tokens}
return tokens
In [9]:
# Load data
selected_category = 'data/mini_newsgroups/sci.crypt/'
print(selected_category)
tokenized_dataset = prepare_dataset(selected_category)
print("Sample tokenized document:")
print(tokenized_dataset[0])
data/mini_newsgroups/sci.crypt/
Found documents: 100
Sample tokenized document:
['xref' ':' 'cantaloupe.srv.cs.cmu.edu' 'sci.chem' ':' '12409' 'sci.misc'
':8' '170' 'sci.chem.organomet' ':' '70' 'sci.cryonics' ':' '1040'
'sci.crypt' ':' '16088' 'sci.engr.chem' ':' '1346' 'newsgroups' ':'
'sci.chem' ',' 'sci.misc' ',' 'sci.chem.organomet' ',' 'sci.cryonics' ','
'sci.crypt' ',' 'sci.engr.chem' 'path' ':' 'cantaloupe.srv.cs.cmu.edu'
'!' 'magnesium.club.cc.cmu.edu' '!' 'news.sei.cmu.edu' '!'
'cis.ohio-state.edu' '!' 'zaphod.mps.ohio-state.edu' '!' 'sdd.hp.com' '!'
'hplabs' '!' 'nsc' '!' 'gatekeeper.nsc.com' '!' 'voder' '!' 'jamesl'
'from' ':' 'jamesl@galaxy.nsc.com' '(' 'james' 'lu' 'x3702' ')' 'subject'
':' 'how' 'to' 'make' 'this' 'illuminating' 'thing' '?' 'message-id' ':'
'<c65vtk.11m@voder.nsc.com>' 'sender' ':' 'news@voder.nsc.com'
'nntp-posting-host' ':' 'gallium.nsc.com' 'organization' ':' 'national'
'semiconductor' ',' 'santa' 'clara' 'distribution' ':' 'usa' 'date' ':'
'tue' ',' '27' 'apr' '1993' '21:32' ':' '08' 'gmt' 'lines' ':' '14' 'in'
'some' 'hobby' 'shop' ',' 'they' 'sell' 'a' 'flexible' 'tube' '(' '1/4-'
'inch' 'diameter' ',' '18' '-' 'inch' 'ling' ')' 'that' 'will'
'illuminate' 'if' 'you' 'bend' 'or' 'shake' 'it' '(' 'it' 'is' 'also'
'sold' 'in' 'amusement' 'parks' 'in' 'the' 'evenings' ')' '.' 'the'
'brightness' 'can' 'last' '2' 'to' '4' 'hours' '.' 'if' 'it' 'is' 'left'
'in' 'refrigrator' '(' 'in' 'coldness' ')' ',' 'you' 'can' 'prolong'
'its' 'life' 'of' 'illumination' '.' 'is' 'this' 'something' 'we' 'can'
'make' 'ourself' 'easily' '?' 'or' ',' 'do' 'you' 'know' 'any' 'reading'
'can' 'provide' 'details' 'about' 'this' 'stuff' '?' 'working' 'with'
'kids' ',' 'it' 'would' 'be' 'nice' 'if' 'it' 'can' 'be' 'a'
'do-it-yourself' 'project' 'with' 'minimum' 'budget' '.']
In [10]:
# statistics
all_terms = np.concatenate(tokenized_dataset).ravel()
unique_terms = np.unique(all_terms)
unique_terms.sort()
document_count = len(tokenized_dataset)
all_terms_count = len(all_terms)
unique_terms_count = len(unique_terms)
print("documents count: {}".format(document_count))
print("total term count: {}".format(all_terms_count))
print("unique term count: {}".format(unique_terms_count))
documents count: 100
total term count: 42440
unique term count: 5801
In [11]:
# incidence matrix
# rows are documents
# columns are terms
incidence_matrix = np.zeros([document_count, unique_terms_count])
# construct postings array of tuples
# each tuple is of the form: (term_id, doc_id, frequency of term in doc, positions of term in doc)
# the tuple can be expanded even more
postings = []
for term_id, term in enumerate(unique_terms):
for doc_id, doc in enumerate(tokenized_dataset):
positions_of_term_in_doc = np.where(doc == term)[0]
term_count_in_doc = positions_of_term_in_doc.size
if term_count_in_doc > 0:
postings.append((term_id, doc_id, term_count_in_doc, positions_of_term_in_doc))
incidence_matrix[doc_id, term_id] = term_count_in_doc
In [12]:
# construct lexicon
# key: term
# value: [total term frequency, document frequency of term]
lexicon = {term: [
incidence_matrix[:, term_id].sum(), # total term frequency
np.count_nonzero(incidence_matrix[:, term_id]) # document frequency of term
]
for term_id, term in enumerate(unique_terms)}
In [13]:
postings
Out[13]:
[(0, 0, 10, array([37, 39, 41, 43, 45, 47, 49, 51, 53, 55])),
(0, 1, 6, array([ 18, 20, 22, 24, 26, 110])),
(0, 2, 7, array([ 3, 5, 7, 9, 11, 13, 15])),
(0, 3, 8, array([ 6, 8, 10, 12, 14, 16, 18, 20])),
(0, 4, 11, array([17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37])),
(0, 5, 5, array([21, 23, 25, 27, 29])),
(0, 6, 7, array([ 6, 8, 10, 12, 14, 16, 18])),
(0, 7, 7, array([ 3, 5, 7, 9, 11, 13, 15])),
(0, 8, 9, array([18, 20, 22, 24, 26, 28, 30, 32, 34])),
(0,
9,
20,
array([ 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48,
50, 52, 54, 260, 262, 264, 266])),
(0,
10,
12,
array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 112])),
(0, 11, 7, array([ 3, 5, 7, 9, 11, 13, 15])),
(0, 12, 8, array([ 6, 8, 10, 12, 14, 16, 18, 20])),
(0, 13, 8, array([ 3, 5, 7, 9, 11, 13, 15, 17])),
(0, 14, 5, array([12, 14, 16, 18, 20])),
(0, 15, 11, array([ 24, 26, 28, 30, 32, 34, 36, 38, 40, 138, 140])),
(0, 16, 11, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26])),
(0, 17, 5, array([15, 17, 19, 21, 23])),
(0, 18, 14, array([ 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29])),
(0, 19, 9, array([ 3, 5, 7, 9, 11, 13, 15, 17, 85])),
(0, 20, 11, array([37, 39, 41, 43, 45, 47, 49, 51, 53, 55, 57])),
(0,
21,
17,
array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38])),
(0, 22, 10, array([17, 19, 21, 23, 25, 27, 29, 31, 33, 35])),
(0,
23,
11,
array([ 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 1316])),
(0, 24, 11, array([17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37])),
(0, 25, 7, array([ 6, 8, 10, 12, 14, 16, 240])),
(0, 26, 8, array([26, 28, 30, 32, 34, 36, 38, 40])),
(0, 27, 10, array([22, 24, 26, 28, 30, 32, 34, 36, 38, 40])),
(0, 28, 11, array([ 17, 19, 21, 23, 25, 27, 29, 31, 33, 364, 366])),
(0, 29, 11, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26])),
(0, 30, 12, array([15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37])),
(0, 31, 8, array([17, 19, 21, 23, 25, 27, 29, 31])),
(0,
32,
13,
array([ 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 481, 482])),
(0, 33, 12, array([22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44])),
(0, 34, 10, array([24, 26, 28, 30, 32, 34, 36, 38, 40, 42])),
(0, 35, 10, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24])),
(0, 36, 9, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22])),
(0,
37,
15,
array([12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40])),
(0, 38, 10, array([ 22, 24, 26, 28, 30, 32, 34, 279, 295, 303])),
(0,
39,
13,
array([ 12, 14, 16, 18, 20, 22, 24, 26, 28, 128, 255, 257, 264])),
(0, 40, 7, array([ 6, 8, 10, 12, 14, 16, 18])),
(0,
41,
19,
array([ 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39,
712, 714, 740, 742, 744, 746])),
(0, 42, 11, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26])),
(0,
43,
12,
array([ 17, 19, 21, 23, 25, 27, 29, 31, 33, 37, 375, 389])),
(0, 44, 9, array([ 3, 5, 7, 9, 11, 13, 15, 17, 19])),
(0, 45, 9, array([15, 17, 19, 21, 23, 25, 27, 29, 31])),
(0, 46, 13, array([22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46])),
(0, 47, 7, array([ 3, 5, 7, 9, 11, 13, 15])),
(0,
48,
15,
array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34])),
(0, 49, 9, array([22, 24, 26, 28, 30, 32, 34, 36, 38])),
(0, 50, 8, array([ 6, 8, 10, 12, 14, 16, 18, 20])),
(0, 51, 10, array([22, 24, 26, 28, 30, 32, 34, 36, 38, 40])),
(0,
52,
13,
array([ 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 161])),
(0, 53, 6, array([ 6, 8, 10, 12, 14, 16])),
(0, 54, 7, array([ 3, 5, 7, 9, 11, 13, 15])),
(0, 55, 8, array([22, 24, 26, 28, 30, 32, 34, 36])),
(0, 56, 11, array([ 3, 5, 7, 9, 11, 13, 15, 935, 937, 939, 941])),
(0, 57, 8, array([ 12, 14, 16, 18, 20, 22, 24, 160])),
(0, 58, 12, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 61])),
(0,
59,
14,
array([ 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40,
213])),
(0, 60, 7, array([ 3, 5, 7, 9, 11, 14, 16])),
(0, 61, 7, array([ 15, 17, 19, 21, 23, 83, 107])),
(0, 62, 12, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28])),
(0, 63, 12, array([17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 38, 40])),
(0, 64, 10, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24])),
(0, 65, 10, array([ 15, 17, 19, 21, 23, 25, 27, 29, 31, 190])),
(0, 66, 9, array([17, 19, 21, 23, 25, 27, 29, 31, 33])),
(0, 67, 13, array([ 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27])),
(0,
68,
14,
array([ 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37,
39, 792, 3675])),
(0, 69, 10, array([37, 39, 41, 43, 45, 47, 49, 51, 53, 55])),
(0, 70, 8, array([ 6, 8, 10, 12, 14, 16, 18, 20])),
(0, 71, 9, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22])),
(0, 72, 10, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24])),
(0,
73,
15,
array([24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 85])),
(0, 74, 9, array([ 8, 10, 12, 14, 16, 18, 20, 22, 24])),
(0, 75, 6, array([ 3, 5, 7, 9, 11, 13])),
(0, 76, 13, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30])),
(0, 77, 9, array([24, 26, 28, 30, 32, 34, 37, 39, 41])),
(0, 78, 10, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24])),
(0, 79, 10, array([ 17, 19, 21, 23, 25, 27, 29, 31, 33, 111])),
(0, 80, 13, array([17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41])),
(0, 81, 8, array([ 3, 5, 7, 9, 11, 13, 15, 17])),
(0, 82, 10, array([22, 24, 26, 28, 30, 32, 34, 36, 39, 41])),
(0, 83, 11, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26])),
(0,
84,
12,
array([ 3, 5, 7, 9, 11, 13, 15, 17, 72, 114, 115, 116])),
(0, 85, 12, array([24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46])),
(0, 86, 7, array([ 3, 5, 7, 9, 11, 13, 105])),
(0, 87, 10, array([ 3, 5, 7, 9, 11, 13, 15, 17, 19, 21])),
(0, 88, 10, array([22, 24, 26, 28, 30, 32, 34, 36, 38, 40])),
(0, 89, 12, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 27, 29])),
(0, 90, 10, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22, 24])),
(0, 91, 9, array([ 6, 8, 10, 12, 14, 16, 18, 20, 22])),
(0, 92, 7, array([ 6, 8, 10, 12, 14, 16, 18])),
(0, 93, 5, array([ 3, 5, 7, 9, 11])),
(0,
94,
12,
array([ 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35,
1708])),
(0, 95, 13, array([12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36])),
(0, 96, 8, array([ 37, 39, 41, 43, 45, 47, 49, 214])),
(0, 97, 10, array([15, 17, 19, 21, 23, 25, 27, 29, 31, 33])),
(0, 98, 13, array([12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36])),
(0, 99, 10, array([ 3, 5, 7, 9, 11, 13, 15, 17, 19, 21])),
(1, 1, 4, array([ 31, 36, 113, 124])),
(1, 5, 2, array([227, 233])),
(1, 8, 4, array([131, 133, 220, 226])),
(1, 9, 2, array([270, 292])),
(1, 10, 2, array([132, 134])),
(1, 11, 2, array([77, 80])),
(1, 13, 4, array([386, 388, 602, 614])),
(1, 14, 2, array([111, 122])),
(1, 16, 2, array([ 97, 100])),
(1, 18, 4, array([318, 321, 488, 492])),
(1, 19, 2, array([82, 94])),
(1, 20, 2, array([130, 132])),
(1, 21, 2, array([206, 208])),
(1, 22, 2, array([257, 283])),
(1,
23,
28,
array([ 173, 176, 494, 496, 501, 538, 846, 850, 861, 865, 964,
966, 1030, 1033, 1068, 1072, 1137, 1142, 1189, 1192, 1193, 1198,
1200, 1203, 1225, 1233, 1256, 1265])),
(1, 24, 4, array([106, 108, 222, 239])),
(1, 28, 2, array([114, 122])),
(1, 32, 4, array([296, 298, 348, 350])),
(1, 35, 2, array([31, 33])),
(1, 36, 4, array([163, 167, 250, 252])),
(1, 38, 2, array([230, 232])),
(1, 41, 8, array([127, 136, 507, 518, 563, 573, 750, 772])),
(1, 42, 4, array([141, 145, 220, 222])),
(1, 45, 6, array([173, 178, 208, 211, 230, 232])),
(1, 47, 4, array([142, 145, 173, 175])),
(1, 48, 2, array([253, 265])),
(1, 49, 2, array([159, 170])),
(1, 50, 4, array([155, 158, 185, 188])),
(1, 53, 4, array([175, 177, 209, 212])),
(1, 54, 1, array([613])),
(1, 55, 4, array([119, 144, 155, 160])),
(1, 56, 2, array([945, 967])),
(1, 57, 2, array([111, 119])),
(1, 58, 2, array([33, 35])),
(1, 59, 2, array([ 7, 11])),
(1, 61, 2, array([28, 33])),
(1,
62,
26,
array([ 477, 479, 539, 542, 696, 699, 1005, 1008, 1155, 1158, 1176,
1180, 1350, 1352, 1423, 1426, 1548, 1551, 1586, 1589, 1598, 1617,
1626, 1638, 1653, 1674])),
(1, 63, 2, array([124, 129])),
(1,
68,
50,
array([ 610, 612, 632, 634, 820, 823, 1087, 1089, 1099, 1102, 1116,
1118, 1128, 1131, 1179, 1181, 1237, 1240, 1276, 1278, 1324, 1327,
1530, 1533, 1835, 1838, 2120, 2123, 2406, 2428, 2773, 2776, 2846,
2849, 3003, 3027, 3046, 3065, 3084, 3105, 3178, 3180, 3191, 3193,
3224, 3228, 3263, 3266, 3331, 3340])),
(1, 69, 4, array([190, 195, 291, 293])),
(1,
72,
12,
array([104, 107, 291, 313, 399, 402, 425, 427, 475, 477, 565, 574])),
(1, 74, 4, array([170, 187, 264, 314])),
(1, 75, 4, array([ 20, 22, 185, 187])),
(1, 76, 10, array([120, 123, 178, 188, 261, 263, 691, 693, 871, 876])),
(1, 80, 2, array([136, 139])),
(1, 81, 2, array([302, 304])),
(1, 83, 2, array([291, 306])),
(1, 86, 2, array([163, 175])),
(1, 87, 4, array([185, 187, 287, 290])),
(1, 88, 2, array([104, 109])),
(1, 91, 4, array([141, 144, 201, 205])),
(1, 93, 6, array([ 16, 23, 133, 136, 796, 800])),
(2,
18,
16,
array([271, 281, 291, 300, 308, 316, 330, 342, 356, 357, 366, 367, 378,
379, 388, 389])),
(2, 33, 2, array([142, 194])),
(3, 27, 1, array([678])),
(4, 2, 2, array([333, 358])),
(4, 27, 7, array([297, 306, 342, 358, 381, 393, 409])),
(4, 72, 1, array([265])),
(4, 76, 1, array([175])),
(5, 46, 1, array([318])),
(5, 70, 1, array([144])),
(5, 76, 1, array([173])),
(6, 2, 1, array([371])),
(6, 3, 2, array([ 88, 108])),
(6, 4, 1, array([59])),
(6, 5, 1, array([61])),
(6, 6, 1, array([159])),
(6, 10, 1, array([48])),
(6, 21, 1, array([62])),
(6, 23, 2, array([655, 694])),
(6, 24, 1, array([180])),
(6, 25, 1, array([50])),
(6, 26, 1, array([252])),
(6, 31, 1, array([60])),
(6, 36, 2, array([351, 486])),
(6, 41, 1, array([333])),
(6, 46, 1, array([101])),
(6, 54, 1, array([689])),
(6, 62, 1, array([48])),
(6, 68, 1, array([299])),
(6, 69, 1, array([78])),
(6, 85, 2, array([ 63, 483])),
(6, 87, 1, array([39])),
(6, 91, 1, array([42])),
(6, 93, 1, array([277])),
(6, 94, 2, array([847, 870])),
(7, 7, 2, array([157, 158])),
(7, 8, 1, array([354])),
(7, 9, 4, array([217, 225, 228, 230])),
(7, 14, 2, array([119, 121])),
(7, 15, 1, array([123])),
(7, 18, 2, array([547, 558])),
(7,
20,
18,
array([409, 410, 447, 448, 469, 470, 504, 505, 541, 542, 572, 573, 624,
625, 688, 689, 727, 728])),
(7, 24, 1, array([161])),
(7,
25,
16,
array([110, 112, 114, 116, 143, 146, 227, 229, 477, 480, 487, 489, 561,
563, 646, 648])),
(7, 27, 4, array([194, 196, 544, 546])),
(7,
30,
19,
array([239, 240, 279, 280, 303, 304, 342, 343, 381, 382, 415, 416, 471,
472, 541, 542, 582, 583, 635])),
(7, 33, 3, array([182, 184, 195])),
(7, 43, 3, array([125, 226, 249])),
(7, 54, 2, array([323, 326])),
(7, 55, 1, array([72])),
(7,
56,
20,
array([157, 162, 169, 171, 175, 177, 179, 181, 183, 190, 244, 246, 741,
743, 751, 754, 857, 859, 867, 869])),
(7, 62, 2, array([ 876, 1761])),
(7,
68,
24,
array([ 306, 308, 697, 700, 933, 935, 938, 940, 1185, 1187, 1190,
1192, 1877, 1880, 1941, 2389, 2391, 2758, 2760, 2864, 2867, 3235,
3238, 3406])),
(7, 69, 8, array([237, 241, 375, 377, 403, 405, 486, 488])),
(7, 74, 9, array([ 53, 77, 79, 189, 280, 282, 303, 305, 316])),
(7, 77, 8, array([275, 282, 336, 363, 374, 518, 584, 586])),
(7, 85, 4, array([406, 408, 420, 422])),
(7, 90, 1, array([46])),
(7,
94,
12,
array([ 214, 215, 425, 426, 563, 564, 719, 1273, 1553, 1554, 1594,
1595])),
(8, 0, 4, array([ 60, 117, 136, 164])),
(8, 2, 6, array([ 23, 60, 94, 376, 400, 465])),
(8, 3, 2, array([25, 44])),
(8, 4, 3, array([ 42, 93, 235])),
(8, 5, 3, array([ 34, 101, 161])),
(8, 6, 5, array([ 23, 199, 207, 241, 248])),
(8, 7, 2, array([20, 68])),
(8, 8, 5, array([ 57, 93, 184, 282, 346])),
(8, 9, 3, array([ 59, 130, 245])),
(8, 10, 1, array([31])),
(8, 11, 2, array([20, 47])),
(8, 12, 3, array([ 25, 80, 184])),
(8, 13, 5, array([ 22, 133, 454, 561, 573])),
(8, 14, 3, array([ 25, 196, 211])),
(8, 15, 4, array([ 45, 84, 100, 142])),
(8, 16, 2, array([ 31, 127])),
(8, 17, 1, array([28])),
(8, 18, 5, array([ 37, 79, 317, 352, 483])),
(8, 19, 1, array([22])),
(8, 20, 6, array([ 62, 87, 128, 140, 291, 333])),
(8, 21, 4, array([ 43, 71, 102, 115])),
(8, 22, 3, array([40, 58, 96])),
(8, 23, 10, array([ 47, 122, 134, 187, 311, 337, 370, 409, 779, 851])),
(8, 24, 4, array([ 42, 87, 104, 267])),
(8, 25, 4, array([ 21, 75, 85, 669])),
(8, 26, 2, array([45, 96])),
(8, 27, 9, array([ 45, 262, 302, 414, 435, 633, 684, 695, 700])),
(8, 28, 4, array([38, 50, 62, 97])),
(8, 29, 3, array([ 32, 48, 135])),
(8, 30, 4, array([ 68, 104, 111, 157])),
(8, 31, 1, array([36])),
(8, 32, 3, array([ 47, 61, 103])),
(8, 33, 4, array([ 49, 73, 119, 251])),
(8, 34, 3, array([ 47, 69, 137])),
(8, 35, 2, array([29, 88])),
(8, 36, 4, array([ 27, 50, 89, 574])),
(8, 37, 4, array([ 45, 68, 94, 111])),
(8, 38, 5, array([110, 148, 203, 234, 264])),
(8, 39, 3, array([33, 83, 94])),
(8, 40, 3, array([ 23, 60, 223])),
(8, 41, 5, array([ 44, 63, 99, 108, 725])),
(8, 42, 1, array([31])),
(8, 43, 6, array([ 42, 57, 91, 228, 250, 275])),
(8, 44, 2, array([24, 82])),
(8, 45, 3, array([ 36, 73, 341])),
(8, 46, 5, array([ 51, 66, 122, 445, 705])),
(8, 47, 4, array([ 20, 79, 83, 341])),
(8, 48, 3, array([ 39, 53, 412])),
(8, 49, 3, array([ 43, 95, 186])),
(8, 50, 1, array([25])),
(8, 51, 6, array([ 45, 60, 103, 164, 190, 335])),
(8, 52, 4, array([ 33, 48, 135, 200])),
(8, 53, 2, array([21, 67])),
(8, 55, 3, array([ 41, 100, 111])),
(8, 56, 11, array([ 20, 32, 78, 88, 279, 371, 503, 569, 587, 707, 920])),
(8, 57, 2, array([29, 80])),
(8, 58, 3, array([ 31, 103, 143])),
(8, 59, 3, array([ 6, 68, 274])),
(8, 60, 1, array([21])),
(8, 62, 4, array([ 33, 60, 98, 1618])),
(8, 63, 3, array([ 45, 148, 297])),
(8, 64, 1, array([29])),
(8, 65, 3, array([ 36, 137, 166])),
(8, 66, 2, array([38, 80])),
(8, 67, 2, array([ 32, 120])),
(8, 68, 7, array([ 44, 68, 97, 1576, 1834, 3012, 3066])),
(8,
69,
12,
array([ 60, 68, 119, 247, 267, 367, 443, 477, 538, 568, 601, 625])),
(8, 70, 5, array([ 25, 61, 99, 230, 231])),
(8, 71, 2, array([27, 80])),
(8, 72, 9, array([ 30, 42, 58, 93, 290, 361, 469, 494, 512])),
(8, 73, 3, array([ 55, 159, 204])),
(8, 74, 1, array([29])),
(8, 75, 2, array([ 18, 105])),
(8, 76, 6, array([ 35, 60, 101, 176, 342, 853])),
(8, 77, 6, array([ 46, 111, 119, 298, 326, 523])),
(8, 78, 5, array([ 29, 52, 89, 98, 187])),
(8, 79, 2, array([38, 80])),
(8, 80, 3, array([ 46, 104, 116])),
(8, 81, 7, array([ 22, 70, 90, 102, 155, 338, 393])),
(8, 82, 5, array([ 46, 67, 103, 114, 168])),
(8, 83, 5, array([ 31, 40, 54, 93, 102])),
(8, 84, 1, array([22])),
(8, 85, 6, array([ 17, 74, 110, 176, 432, 478])),
(8, 86, 3, array([ 18, 72, 115])),
(8, 87, 5, array([ 48, 83, 183, 307, 320])),
(8, 88, 4, array([ 45, 62, 74, 291])),
(8, 89, 3, array([ 34, 67, 657])),
(8, 90, 4, array([ 29, 65, 99, 156])),
(8, 91, 3, array([ 27, 68, 151])),
(8, 92, 2, array([23, 84])),
(8,
93,
12,
array([ 90, 143, 157, 186, 230, 282, 381, 559, 570, 700, 783, 792])),
(8, 94, 2, array([1124, 1454])),
(8, 95, 2, array([41, 95])),
(8, 96, 4, array([ 54, 108, 118, 197])),
(8, 97, 3, array([ 38, 94, 200])),
(8, 98, 4, array([ 41, 91, 133, 194])),
(8, 99, 3, array([29, 44, 93])),
(9, 23, 1, array([782])),
(10, 54, 1, array([272])),
(11, 68, 1, array([2070])),
(12, 10, 1, array([63])),
(12, 57, 1, array([70])),
(13, 14, 1, array([267])),
(13, 17, 1, array([172])),
(14, 14, 1, array([278])),
(14, 17, 1, array([183])),
(15, 33, 1, array([268])),
(16, 33, 1, array([274])),
(17, 82, 1, array([379])),
(18, 0, 4, array([ 64, 126, 147, 167])),
(18, 2, 6, array([ 26, 63, 107, 379, 404, 469])),
(18, 3, 2, array([28, 47])),
(18, 4, 3, array([ 45, 96, 240])),
(18, 5, 3, array([ 36, 104, 172])),
(18, 6, 5, array([ 26, 201, 209, 243, 250])),
(18, 7, 2, array([23, 74])),
(18, 8, 5, array([ 60, 98, 189, 287, 359])),
(18, 9, 3, array([ 62, 133, 248])),
(18, 10, 2, array([36, 65])),
(18, 11, 2, array([22, 49])),
(18, 12, 3, array([ 28, 83, 190])),
(18, 13, 5, array([ 25, 135, 456, 563, 575])),
(18, 14, 3, array([ 28, 203, 222])),
(18, 15, 4, array([ 48, 87, 103, 151])),
(18, 16, 2, array([ 36, 132])),
(18, 17, 1, array([31])),
(18, 18, 5, array([ 40, 82, 322, 355, 505])),
(18, 19, 1, array([27])),
(18, 20, 6, array([ 65, 91, 134, 143, 301, 335])),
(18, 21, 4, array([ 48, 73, 106, 118])),
(18, 22, 3, array([ 43, 61, 101])),
(18, 23, 10, array([ 50, 125, 139, 212, 317, 346, 378, 416, 781, 866])),
(18, 24, 4, array([ 45, 90, 110, 276])),
(18, 25, 4, array([ 25, 78, 88, 674])),
(18, 26, 3, array([ 49, 100, 202])),
(18, 27, 9, array([ 49, 266, 314, 417, 437, 636, 691, 697, 709])),
(18, 28, 4, array([41, 58, 65, 99])),
(18, 29, 3, array([ 38, 51, 138])),
(18, 30, 4, array([ 71, 107, 121, 159])),
(18, 31, 1, array([39])),
(18, 32, 3, array([ 51, 64, 106])),
(18, 33, 4, array([ 52, 77, 127, 253])),
(18, 34, 3, array([ 50, 83, 140])),
(18, 35, 2, array([35, 91])),
(18, 36, 4, array([ 30, 53, 92, 576])),
(18, 37, 4, array([ 48, 72, 96, 114])),
(18, 38, 5, array([113, 151, 210, 243, 280])),
(18, 39, 3, array([36, 86, 99])),
(18, 40, 3, array([ 26, 63, 231])),
(18, 41, 5, array([ 47, 71, 102, 110, 728])),
(18, 42, 1, array([34])),
(18, 43, 6, array([ 45, 60, 94, 234, 267, 280])),
(18, 44, 2, array([27, 88])),
(18, 45, 3, array([ 39, 76, 349])),
(18, 46, 5, array([ 54, 77, 125, 460, 719])),
(18, 47, 4, array([ 25, 82, 87, 343])),
(18, 48, 3, array([ 43, 55, 419])),
(18, 49, 3, array([ 47, 98, 188])),
(18, 50, 1, array([28])),
(18, 51, 6, array([ 48, 71, 106, 166, 219, 342])),
(18, 52, 7, array([ 36, 59, 137, 166, 174, 209, 211])),
(18, 53, 2, array([24, 71])),
(18, 55, 3, array([ 45, 103, 114])),
(18, 56, 11, array([ 23, 46, 81, 91, 309, 378, 505, 573, 590, 719, 923])),
(18, 57, 3, array([32, 72, 83])),
(18, 58, 3, array([ 37, 106, 155])),
(18, 59, 3, array([ 12, 72, 276])),
(18, 60, 1, array([24])),
(18, 62, 7, array([ 36, 64, 102, 901, 917, 937, 969])),
(18, 63, 3, array([ 48, 154, 299])),
(18, 64, 2, array([32, 97])),
(18, 65, 3, array([ 41, 143, 172])),
(18, 66, 2, array([41, 82])),
(18, 67, 2, array([ 35, 134])),
(18, 68, 6, array([ 47, 71, 100, 1581, 1839, 3016])),
(18,
69,
12,
array([ 63, 84, 122, 250, 272, 380, 451, 479, 540, 585, 603, 631])),
(18, 70, 3, array([ 28, 65, 102])),
(18, 71, 2, array([30, 83])),
(18, 72, 9, array([ 33, 48, 61, 96, 314, 368, 483, 500, 517])),
(18, 73, 3, array([ 58, 164, 214])),
(18, 74, 1, array([32])),
(18, 75, 2, array([ 24, 108])),
(18, 76, 5, array([ 38, 64, 104, 365, 856])),
(18,
77,
12,
array([ 49, 114, 122, 267, 288, 313, 345, 352, 448, 480, 531, 538])),
(18, 78, 5, array([ 33, 55, 92, 102, 197])),
(18, 79, 2, array([41, 85])),
(18, 80, 3, array([ 49, 107, 119])),
(18, 81, 7, array([ 25, 74, 94, 112, 160, 345, 396])),
(18, 82, 5, array([ 49, 71, 108, 116, 177])),
(18, 83, 5, array([ 34, 44, 58, 96, 105])),
(18, 84, 1, array([25])),
(18, 85, 5, array([ 20, 78, 115, 179, 440])),
(18, 86, 3, array([ 21, 75, 127])),
(18, 87, 5, array([ 51, 87, 190, 309, 322])),
(18, 88, 3, array([ 50, 76, 308])),
(18, 89, 3, array([ 37, 70, 672])),
(18, 90, 4, array([ 34, 67, 102, 171])),
(18, 91, 3, array([ 30, 71, 153])),
(18, 92, 2, array([26, 88])),
(18, 93, 11, array([ 99, 150, 164, 188, 237, 287, 384, 564, 590, 703, 787])),
(18, 94, 2, array([1126, 1464])),
(18, 95, 2, array([44, 98])),
(18, 96, 4, array([ 59, 113, 123, 204])),
(18, 97, 3, array([ 41, 98, 209])),
(18, 98, 4, array([ 44, 95, 188, 203])),
(18, 99, 3, array([ 32, 55, 104])),
(19, 62, 1, array([1643])),
(19, 68, 1, array([3074])),
(20, 4, 2, array([107, 110])),
(20, 8, 2, array([228, 230])),
(20, 13, 2, array([538, 540])),
(20, 14, 4, array([192, 194, 198, 200])),
(20, 18, 4, array([ 96, 98, 540, 542])),
(20, 20, 2, array([151, 153])),
(20, 24, 1, array([171])),
(20, 27, 1, array([161])),
(20, 38, 4, array([237, 239, 254, 256])),
(20, 41, 2, array([510, 512])),
(20,
43,
16,
array([334, 336, 337, 338, 339, 355, 356, 357, 358, 359, 360, 364, 365,
366, 367, 378])),
(20, 46, 4, array([229, 231, 548, 550])),
(20, 59, 4, array([218, 220, 235, 237])),
(20, 68, 4, array([1150, 1151, 1153, 1154])),
(20, 74, 2, array([90, 92])),
(20, 76, 2, array([203, 205])),
(20, 77, 4, array([380, 382, 397, 399])),
(20, 78, 2, array([124, 126])),
(20, 88, 2, array([267, 269])),
(20,
94,
14,
array([ 269, 284, 295, 303, 316, 327, 343, 358, 616, 970, 1105,
1338, 1567, 1739])),
(20, 98, 2, array([209, 211])),
(21, 1, 1, array([28])),
(21, 2, 1, array([46])),
(21, 13, 4, array([582, 586, 616, 620])),
(21, 18, 1, array([66])),
(21, 29, 3, array([169, 172, 177])),
(21, 52, 1, array([70])),
(21, 59, 1, array([86])),
(21, 61, 1, array([25])),
(21, 85, 2, array([ 92, 475])),
(21, 86, 4, array([143, 147, 177, 181])),
(21, 93, 3, array([ 13, 423, 537])),
(21, 99, 1, array([66])),
(22, 98, 1, array([94])),
(23, 62, 2, array([1980, 1985])),
(23, 70, 2, array([250, 255])),
(23, 76, 2, array([1042, 1047])),
(24,
0,
12,
array([ 24, 26, 28, 30, 32, 87, 96, 111, 121, 168, 187, 203])),
(24, 1, 9, array([ 41, 43, 45, 54, 66, 69, 72, 74, 118])),
(24,
2,
19,
array([ 39, 77, 98, 100, 122, 153, 167, 172, 207, 222, 237, 244, 290,
311, 345, 389, 435, 474, 512])),
(24, 3, 5, array([ 57, 63, 101, 111, 116])),
(24,
4,
15,
array([ 12, 53, 78, 114, 120, 145, 147, 161, 173, 175, 178, 180, 182,
244, 272])),
(24,
5,
15,
array([ 40, 42, 44, 46, 48, 73, 96, 98, 110, 114, 175, 180, 190,
202, 234])),
(24, 6, 4, array([ 64, 95, 162, 229])),
(24, 7, 2, array([ 52, 203])),
(24,
8,
13,
array([ 40, 42, 44, 64, 103, 110, 128, 153, 167, 173, 176, 262, 317])),
(24, 9, 10, array([ 66, 68, 70, 72, 74, 82, 182, 250, 256, 282])),
(24,
10,
13,
array([ 80, 92, 130, 156, 180, 183, 188, 191, 196, 198, 201, 214, 219])),
(24, 11, 2, array([ 58, 100])),
(24, 12, 7, array([ 49, 51, 55, 65, 93, 131, 198])),
(24,
13,
28,
array([ 60, 95, 99, 116, 128, 151, 188, 194, 200, 206, 273, 296, 316,
346, 354, 362, 393, 404, 433, 437, 440, 446, 463, 467, 517, 529,
552, 576])),
(24, 14, 9, array([ 32, 54, 81, 96, 102, 129, 176, 214, 245])),
(24, 15, 9, array([ 52, 54, 56, 58, 60, 68, 76, 91, 147])),
(24, 16, 3, array([ 56, 83, 111])),
(24, 17, 6, array([ 35, 37, 60, 118, 127, 150])),
(24,
18,
17,
array([ 59, 110, 172, 213, 246, 258, 326, 328, 332, 372, 384, 433, 451,
460, 496, 508, 532])),
(24, 19, 2, array([102, 129])),
(24,
20,
33,
array([ 24, 26, 28, 30, 32, 72, 100, 113, 166, 202, 247, 273, 321,
349, 376, 425, 431, 439, 454, 468, 479, 484, 513, 515, 536, 540,
548, 560, 571, 604, 649, 687, 703])),
(24,
21,
15,
array([ 56, 90, 135, 167, 177, 182, 198, 216, 228, 293, 295, 297, 309,
316, 342])),
(24,
22,
12,
array([ 12, 69, 81, 131, 160, 179, 190, 204, 221, 259, 266, 268])),
(24,
23,
45,
array([ 54, 56, 58, 60, 62, 70, 109, 111, 113, 163, 166,
199, 209, 226, 229, 245, 252, 258, 353, 434, 475, 485,
576, 595, 603, 619, 669, 682, 700, 703, 726, 785, 854,
856, 899, 905, 934, 976, 988, 992, 1026, 1096, 1191, 1197,
1268])),
(24, 24, 8, array([ 12, 70, 102, 145, 191, 208, 270, 317])),
(24,
25,
20,
array([ 60, 159, 187, 211, 271, 287, 296, 324, 329, 372, 383, 416, 428,
505, 517, 531, 533, 582, 627, 675])),
(24, 26, 11, array([ 15, 17, 21, 64, 66, 77, 133, 153, 194, 208, 231])),
(24,
27,
23,
array([ 15, 17, 69, 89, 91, 96, 173, 208, 217, 257, 274, 387, 418,
537, 563, 583, 602, 604, 617, 654, 683, 693, 702])),
(24, 28, 5, array([ 12, 72, 108, 173, 175])),
(24, 29, 3, array([ 60, 65, 143])),
(24,
30,
27,
array([ 43, 45, 53, 75, 143, 174, 203, 256, 263, 271, 287, 302, 315,
320, 351, 354, 376, 380, 389, 402, 414, 450, 499, 540, 557, 619,
622])),
(24, 31, 2, array([12, 71])),
(24,
32,
27,
array([ 15, 17, 71, 92, 112, 130, 166, 202, 226, 243, 266, 277, 280,
291, 307, 328, 334, 346, 353, 358, 369, 389, 409, 417, 425, 432,
478])),
(24,
33,
14,
array([ 15, 17, 62, 83, 85, 96, 123, 139, 165, 188, 198, 221, 257,
271])),
(24, 34, 10, array([ 54, 56, 58, 60, 62, 75, 100, 102, 143, 153])),
(24,
35,
14,
array([ 61, 64, 67, 76, 120, 122, 125, 142, 148, 161, 163, 182, 204,
206])),
(24,
36,
16,
array([ 62, 64, 74, 129, 156, 176, 186, 189, 207, 212, 237, 244, 264,
282, 426, 489])),
(24, 37, 8, array([ 52, 109, 124, 126, 137, 146, 153, 184])),
(24, 38, 9, array([ 44, 46, 50, 104, 140, 195, 245, 291, 313])),
(24, 39, 10, array([ 40, 71, 73, 81, 114, 164, 206, 252, 261, 273])),
(24, 40, 7, array([ 77, 91, 95, 145, 203, 219, 221])),
(24,
41,
30,
array([ 51, 53, 121, 190, 192, 292, 305, 311, 318, 340, 360, 363, 459,
461, 485, 490, 499, 503, 509, 540, 546, 574, 663, 677, 680, 687,
697, 730, 736, 762])),
(24, 42, 9, array([109, 134, 152, 161, 164, 181, 186, 208, 214])),
(24, 43, 11, array([ 12, 76, 170, 189, 192, 217, 289, 305, 346, 370, 384])),
(24, 44, 6, array([34, 36, 54, 56, 84, 86])),
(24,
45,
20,
array([ 43, 45, 84, 112, 123, 134, 142, 156, 179, 195, 217, 244, 270,
284, 307, 312, 350, 360, 373, 391])),
(24,
46,
34,
array([ 15, 17, 84, 111, 139, 209, 216, 242, 245, 266, 283, 302, 330,
332, 371, 394, 411, 435, 477, 490, 493, 496, 511, 542, 567, 588,
617, 694, 710, 723, 797, 830, 839, 845])),
(24,
47,
17,
array([ 29, 67, 118, 126, 135, 140, 146, 180, 197, 223, 226, 241, 255,
299, 310, 323, 329])),
(24,
48,
23,
array([ 73, 127, 143, 155, 178, 196, 215, 230, 252, 255, 285, 296, 304,
312, 330, 358, 385, 391, 420, 470, 479, 510, 533])),
(24,
49,
12,
array([ 15, 17, 64, 72, 74, 83, 135, 138, 142, 161, 163, 165])),
(24, 50, 9, array([ 52, 76, 102, 112, 128, 173, 194, 213, 232])),
(24,
51,
16,
array([ 15, 17, 88, 118, 135, 175, 209, 220, 271, 275, 281, 283, 291,
343, 349, 377])),
(24, 52, 5, array([ 63, 89, 106, 146, 180])),
(24, 53, 6, array([ 43, 53, 93, 116, 125, 203])),
(24,
54,
28,
array([ 59, 83, 117, 130, 142, 146, 162, 189, 197, 199, 204, 232, 236,
239, 368, 408, 459, 473, 513, 545, 557, 560, 563, 598, 610, 634,
636, 678])),
(24, 55, 9, array([ 15, 17, 54, 75, 77, 86, 152, 161, 164])),
(24,
56,
43,
array([ 38, 127, 200, 217, 265, 271, 292, 294, 297, 303, 305, 335, 375,
432, 456, 467, 478, 484, 487, 490, 498, 510, 522, 571, 583, 597,
634, 645, 660, 669, 687, 701, 720, 744, 765, 787, 852, 871, 881,
890, 925, 931, 957])),
(24, 57, 9, array([ 36, 91, 102, 151, 156, 181, 186, 189, 194])),
(24, 58, 6, array([ 71, 74, 77, 91, 147, 220])),
(24, 59, 4, array([ 79, 164, 172, 194])),
(24, 60, 3, array([62, 65, 83])),
(24, 61, 7, array([38, 40, 50, 62, 65, 68, 70])),
(24,
62,
68,
array([ 73, 86, 221, 227, 273, 282, 285, 291, 357, 394, 424,
466, 514, 568, 570, 586, 623, 637, 682, 753, 778, 846,
857, 894, 923, 956, 965, 1033, 1077, 1154, 1184, 1223, 1230,
1271, 1275, 1310, 1382, 1439, 1442, 1490, 1516, 1567, 1570, 1580,
1597, 1610, 1625, 1634, 1657, 1663, 1703, 1710, 1716, 1764, 1769,
1800, 1810, 1820, 1901, 1905, 1910, 1930, 1932, 1940, 1973, 1982,
2003, 2016])),
(24,
63,
23,
array([ 12, 75, 103, 106, 115, 118, 155, 211, 213, 215, 229, 233, 272,
293, 318, 346, 355, 458, 466, 493, 517, 520, 529])),
(24,
64,
16,
array([ 57, 71, 73, 75, 77, 132, 161, 186, 200, 202, 223, 246, 260,
273, 288, 296])),
(24, 65, 9, array([ 48, 59, 61, 69, 86, 117, 132, 174, 181])),
(24, 66, 6, array([ 12, 69, 91, 108, 113, 154])),
(24, 67, 7, array([ 77, 94, 110, 137, 172, 193, 203])),
(24,
68,
121,
array([ 12, 84, 95, 132, 140, 157, 165, 260, 297, 301, 315,
373, 375, 382, 386, 508, 514, 587, 596, 599, 657, 722,
725, 735, 738, 742, 756, 758, 761, 781, 795, 848, 863,
941, 962, 996, 1036, 1038, 1060, 1068, 1188, 1193, 1214, 1222,
1239, 1265, 1368, 1386, 1440, 1469, 1473, 1516, 1582, 1610, 1629,
1655, 1667, 1676, 1769, 1843, 1845, 1849, 1888, 1911, 1922, 1993,
2057, 2061, 2069, 2197, 2203, 2255, 2307, 2400, 2448, 2457, 2476,
2533, 2557, 2561, 2566, 2587, 2591, 2599, 2604, 2641, 2723, 2790,
2793, 2887, 2960, 2963, 2973, 2992, 3006, 3009, 3017, 3020, 3045,
3058, 3088, 3094, 3132, 3150, 3157, 3159, 3197, 3202, 3208, 3214,
3292, 3308, 3314, 3409, 3414, 3458, 3559, 3619, 3627, 3646, 3670])),
(24,
69,
27,
array([ 24, 26, 28, 30, 32, 104, 148, 156, 173, 263, 278, 321, 358,
391, 397, 452, 458, 470, 500, 508, 560, 570, 579, 605, 658, 703,
705])),
(24,
70,
18,
array([ 50, 52, 54, 56, 74, 87, 135, 158, 161, 185, 196, 203, 219,
233, 243, 252, 273, 286])),
(24, 71, 3, array([ 37, 65, 145])),
(24,
72,
22,
array([ 78, 112, 139, 150, 159, 166, 192, 221, 237, 254, 326, 345, 381,
416, 435, 438, 462, 464, 489, 537, 554, 577])),
(24,
73,
23,
array([ 62, 64, 66, 68, 70, 80, 165, 227, 258, 265, 288, 302, 304,
306, 392, 397, 423, 444, 451, 457, 464, 472, 480])),
(24, 74, 7, array([ 3, 62, 75, 80, 88, 123, 283])),
(24, 75, 9, array([ 46, 48, 50, 52, 87, 90, 93, 163, 167])),
(24,
76,
49,
array([ 45, 73, 89, 128, 134, 142, 147, 198, 201, 230, 242,
281, 313, 328, 351, 380, 396, 406, 436, 443, 465, 482,
488, 498, 502, 510, 521, 526, 530, 573, 582, 720, 728,
791, 801, 835, 877, 896, 931, 966, 984, 1007, 1012, 1017,
1025, 1035, 1044, 1065, 1078])),
(24,
77,
31,
array([ 53, 55, 57, 59, 61, 69, 128, 137, 143, 153, 169, 172, 186,
219, 243, 308, 310, 317, 334, 355, 360, 365, 377, 393, 457, 466,
528, 539, 556, 579, 649])),
(24, 78, 6, array([ 68, 115, 121, 154, 179, 205])),
(24, 79, 4, array([ 12, 65, 100, 129])),
(24, 80, 7, array([ 12, 71, 73, 78, 92, 114, 132])),
(24,
81,
16,
array([110, 211, 237, 248, 263, 278, 308, 315, 343, 346, 360, 371, 375,
406, 416, 421])),
(24, 82, 11, array([ 15, 17, 91, 208, 221, 248, 283, 288, 292, 294, 340])),
(24, 83, 6, array([ 77, 91, 196, 213, 226, 251])),
(24, 84, 2, array([52, 96])),
(24,
85,
14,
array([ 12, 85, 125, 142, 188, 194, 266, 302, 341, 360, 374, 382, 386,
454])),
(24, 86, 4, array([58, 70, 82, 91])),
(24, 87, 10, array([ 33, 71, 106, 132, 143, 212, 217, 247, 280, 328])),
(24,
88,
18,
array([ 15, 17, 93, 118, 129, 138, 146, 169, 177, 196, 215, 249, 256,
277, 311, 327, 354, 387])),
(24,
89,
33,
array([ 76, 91, 114, 124, 148, 183, 192, 210, 231, 242, 270, 277, 299,
321, 362, 378, 385, 397, 417, 445, 449, 466, 476, 511, 564, 567,
590, 593, 666, 673, 693, 698, 718])),
(24, 90, 7, array([ 51, 84, 136, 165, 225, 227, 259])),
(24,
91,
17,
array([ 61, 63, 87, 99, 108, 124, 130, 143, 204, 230, 235, 260, 269,
273, 281, 301, 325])),
(24, 92, 7, array([ 48, 50, 52, 54, 69, 119, 157])),
(24,
93,
37,
array([ 36, 49, 52, 54, 80, 111, 114, 181, 209, 223, 239, 268, 310,
343, 367, 408, 413, 428, 433, 464, 507, 513, 558, 565, 579, 591,
617, 624, 684, 707, 720, 744, 756, 775, 815, 819, 828])),
(24,
94,
64,
array([ 43, 45, 113, 153, 176, 200, 258, 260, 334, 386, 401,
407, 554, 605, 607, 609, 611, 633, 650, 653, 655, 660,
666, 685, 826, 829, 832, 893, 909, 926, 987, 992, 995,
997, 999, 1028, 1033, 1073, 1137, 1165, 1183, 1195, 1228, 1230,
1241, 1246, 1252, 1381, 1413, 1432, 1456, 1459, 1497, 1515, 1539,
1561, 1574, 1616, 1684, 1694, 1697, 1712, 1728, 1768])),
(24,
95,
14,
array([ 48, 83, 86, 175, 182, 238, 298, 317, 322, 324, 339, 341, 343,
382])),
(24,
96,
13,
array([ 24, 26, 28, 30, 32, 93, 129, 136, 151, 174, 190, 200, 202])),
(24, 97, 6, array([ 45, 47, 70, 141, 144, 149])),
(24, 98, 10, array([ 48, 107, 120, 126, 135, 150, 162, 172, 221, 241])),
(24, 99, 1, array([59])),
(25, 0, 1, array([123])),
(25, 1, 1, array([61])),
(25, 2, 4, array([193, 325, 360, 420])),
(25, 3, 2, array([91, 92])),
(25, 4, 2, array([256, 257])),
(25, 5, 4, array([ 90, 94, 147, 148])),
(25, 7, 2, array([33, 34])),
(25, 8, 7, array([330, 331, 351, 360, 361, 370, 371])),
(25, 9, 5, array([178, 180, 236, 237, 293])),
(25, 10, 3, array([165, 168, 169])),
(25, 11, 2, array([121, 122])),
(25, 12, 8, array([211, 212, 213, 214, 215, 223, 224, 225])),
(25, 13, 2, array([267, 268])),
(25, 14, 10, array([185, 186, 232, 233, 234, 251, 255, 261, 263, 268])),
(25, 15, 4, array([ 85, 110, 129, 130])),
(25, 16, 2, array([133, 134])),
(25, 17, 8, array([137, 138, 139, 156, 160, 166, 168, 173])),
(25, 18, 5, array([ 93, 206, 207, 232, 233])),
(25,
20,
14,
array([324, 325, 326, 329, 330, 331, 336, 337, 672, 673, 678, 679, 712,
713])),
(25, 21, 4, array([333, 334, 338, 339])),
(25, 22, 4, array([136, 137, 255, 256])),
(25, 23, 3, array([ 723, 1277, 1278])),
(25, 24, 2, array([304, 305])),
(25, 25, 4, array([368, 536, 650, 686])),
(25, 26, 3, array([ 19, 238, 239])),
(25, 27, 1, array([706])),
(25, 28, 5, array([133, 142, 185, 186, 187])),
(25,
29,
26,
array([ 76, 77, 78, 83, 84, 85, 128, 129, 130, 131, 151, 152, 153,
154, 155, 156, 157, 161, 162, 163, 184, 185, 186, 190, 191, 192])),
(25,
30,
15,
array([147, 148, 149, 152, 153, 154, 160, 161, 524, 525, 530, 531, 566,
567, 591])),
(25, 31, 2, array([89, 90])),
(25, 32, 2, array([442, 443])),
(25, 33, 4, array([159, 160, 245, 246])),
(25, 34, 1, array([92])),
(25, 35, 4, array([219, 220, 230, 231])),
(25, 38, 7, array([ 10, 15, 48, 52, 172, 173, 271])),
(25, 39, 2, array([244, 245])),
(25, 40, 2, array([215, 216])),
(25, 41, 9, array([148, 157, 204, 205, 206, 552, 716, 717, 773])),
(25, 42, 2, array([226, 227])),
(25, 43, 6, array([354, 361, 362, 363, 376, 390])),
(25, 44, 5, array([ 46, 110, 111, 127, 128])),
(25, 45, 2, array([ 82, 132])),
(25,
46,
13,
array([233, 234, 249, 447, 448, 472, 473, 666, 667, 769, 770, 852, 853])),
(25, 47, 5, array([108, 109, 110, 286, 287])),
(25, 49, 5, array([205, 207, 208, 211, 212])),
(25, 50, 3, array([106, 259, 260])),
(25, 51, 2, array([361, 362])),
(25, 53, 2, array([261, 262])),
(25, 54, 10, array([ 38, 217, 218, 220, 221, 222, 242, 243, 244, 483])),
(25, 55, 2, array([145, 146])),
(25, 56, 7, array([290, 342, 901, 902, 911, 912, 968])),
(25, 57, 9, array([ 66, 171, 172, 173, 174, 175, 197, 198, 199])),
(25, 58, 8, array([ 44, 45, 136, 137, 172, 233, 234, 241])),
(25, 59, 3, array([265, 269, 270])),
(25, 61, 1, array([57])),
(25,
62,
10,
array([ 162, 642, 771, 772, 799, 800, 1965, 1966, 1989, 2012])),
(25, 63, 1, array([126])),
(25, 64, 4, array([284, 285, 293, 294])),
(25, 66, 2, array([167, 168])),
(25, 67, 6, array([ 52, 141, 149, 164, 213, 225])),
(25,
68,
19,
array([ 197, 198, 199, 235, 236, 237, 450, 1603, 1604, 1641, 1642,
1688, 1689, 1729, 1730, 2074, 2075, 2076, 3328])),
(25, 69, 1, array([695])),
(25, 70, 5, array([156, 235, 236, 259, 282])),
(25, 71, 2, array([129, 130])),
(25, 72, 5, array([550, 551, 561, 563, 575])),
(25, 73, 2, array([432, 433])),
(25,
74,
80,
array([138, 139, 150, 151, 166, 167, 191, 193, 195, 197, 199, 201, 203,
205, 207, 209, 211, 213, 215, 217, 219, 221, 223, 225, 227, 229,
231, 233, 235, 237, 239, 241, 243, 245, 247, 249, 251, 253, 255,
257, 259, 261, 263, 318, 320, 322, 324, 326, 328, 330, 332, 334,
336, 338, 340, 342, 344, 346, 348, 350, 352, 354, 356, 358, 360,
362, 364, 366, 368, 370, 372, 374, 376, 378, 380, 382, 384, 386,
388, 390])),
(25, 75, 3, array([148, 203, 204])),
(25,
76,
11,
array([ 252, 254, 307, 686, 706, 709, 717, 1027, 1028, 1051, 1074])),
(25, 78, 4, array([198, 201, 202, 227])),
(25, 79, 2, array([113, 114])),
(25, 81, 3, array([127, 219, 221])),
(25, 82, 2, array([359, 360])),
(25, 83, 1, array([67])),
(25, 85, 5, array([463, 464, 465, 470, 477])),
(25, 86, 2, array([136, 137])),
(25, 87, 2, array([299, 300])),
(25, 88, 8, array([297, 298, 343, 344, 378, 379, 383, 384])),
(25, 89, 2, array([721, 722])),
(25, 90, 7, array([117, 246, 247, 250, 251, 255, 256])),
(25, 92, 2, array([141, 142])),
(25, 93, 9, array([ 43, 127, 212, 226, 242, 318, 490, 491, 492])),
(25, 94, 4, array([ 52, 66, 717, 1271])),
(25, 96, 2, array([210, 211])),
(26, 2, 1, array([219])),
(26, 23, 1, array([1280])),
(27, 0, 4, array([148, 157, 176, 218])),
(27, 1, 1, array([34])),
(27,
2,
12,
array([108, 230, 258, 280, 294, 305, 342, 405, 433, 438, 458, 493])),
(27, 3, 1, array([85])),
(27,
4,
17,
array([111, 128, 151, 155, 157, 170, 184, 195, 197, 199, 209, 222, 224,
226, 252, 254, 277])),
(27, 5, 4, array([138, 160, 200, 226])),
(27, 6, 7, array([ 49, 102, 130, 151, 186, 226, 251])),
(27, 7, 10, array([ 70, 72, 91, 124, 135, 161, 184, 217, 229, 250])),
(27,
8,
12,
array([ 83, 96, 118, 139, 170, 201, 211, 238, 274, 306, 315, 329])),
(27, 9, 5, array([ 90, 104, 106, 109, 291])),
(27, 10, 11, array([ 34, 126, 164, 173, 203, 205, 207, 209, 211, 223, 238])),
(27, 11, 1, array([120])),
(27, 12, 7, array([ 53, 119, 143, 159, 192, 196, 207])),
(27,
13,
20,
array([ 62, 85, 97, 111, 122, 149, 174, 208, 238, 243, 308, 372, 416,
444, 478, 492, 515, 550, 557, 570])),
(27, 14, 9, array([ 93, 140, 152, 165, 204, 213, 231, 248, 259])),
(27, 15, 3, array([ 93, 122, 128])),
(27, 16, 4, array([ 34, 93, 126, 137])),
(27, 17, 4, array([114, 136, 153, 164])),
(27,
18,
14,
array([138, 152, 193, 310, 346, 392, 429, 449, 472, 506, 513, 518, 537,
562])),
(27, 19, 5, array([ 24, 93, 113, 133, 152])),
(27,
20,
19,
array([ 80, 149, 182, 217, 260, 287, 323, 364, 408, 446, 476, 510, 526,
545, 587, 623, 667, 692, 726])),
(27,
21,
15,
array([ 46, 148, 157, 175, 195, 209, 245, 257, 260, 262, 270, 307, 332,
345, 352])),
(27, 22, 10, array([ 51, 71, 99, 112, 123, 157, 170, 215, 249, 275])),
(27,
23,
50,
array([ 78, 137, 186, 202, 211, 222, 276, 284, 288, 339, 341,
356, 365, 377, 393, 399, 427, 443, 454, 481, 537, 569,
582, 590, 611, 625, 640, 642, 649, 675, 692, 716, 754,
807, 835, 875, 919, 950, 973, 1002, 1039, 1057, 1087, 1106,
1141, 1161, 1202, 1232, 1304, 1310])),
(27, 24, 7, array([ 94, 200, 231, 233, 247, 266, 280])),
(27,
25,
19,
array([129, 137, 147, 189, 264, 274, 316, 350, 378, 426, 449, 469, 479,
559, 574, 593, 613, 659, 685])),
(27, 26, 8, array([ 68, 106, 116, 128, 143, 147, 187, 196])),
(27,
27,
27,
array([134, 164, 188, 244, 261, 282, 315, 331, 352, 372, 401, 427, 451,
468, 481, 484, 495, 508, 520, 558, 571, 594, 629, 648, 669, 705,
716])),
(27, 28, 10, array([150, 183, 197, 217, 261, 278, 286, 294, 340, 361])),
(27, 29, 5, array([ 34, 36, 124, 127, 149])),
(27,
30,
16,
array([ 61, 94, 145, 190, 238, 278, 311, 348, 366, 386, 431, 470, 518,
545, 581, 639])),
(27, 31, 2, array([47, 88])),
(27, 32, 10, array([176, 194, 207, 209, 216, 234, 253, 340, 377, 439])),
(27, 33, 8, array([134, 156, 158, 179, 211, 244, 249, 259])),
(27, 34, 2, array([141, 176])),
(27, 35, 7, array([ 63, 135, 158, 184, 209, 218, 229])),
(27,
36,
20,
array([126, 128, 168, 178, 199, 226, 256, 280, 296, 315, 353, 376, 405,
407, 433, 459, 478, 516, 541, 579])),
(27, 37, 4, array([156, 163, 174, 191])),
(27,
38,
13,
array([ 75, 93, 136, 159, 170, 175, 188, 205, 207, 233, 242, 263, 315])),
(27, 39, 7, array([ 49, 97, 121, 186, 243, 248, 278])),
(27, 40, 6, array([135, 160, 164, 186, 195, 214])),
(27,
41,
20,
array([166, 201, 217, 239, 285, 297, 324, 344, 366, 384, 402, 411, 420,
482, 538, 605, 630, 653, 668, 771])),
(27, 42, 8, array([106, 108, 146, 154, 173, 199, 225, 236])),
(27, 43, 11, array([ 35, 104, 115, 130, 145, 184, 202, 208, 268, 300, 326])),
(27, 44, 3, array([ 90, 138, 166])),
(27, 45, 10, array([120, 167, 212, 236, 263, 282, 310, 367, 382, 402])),
(27,
46,
32,
array([151, 163, 183, 197, 224, 256, 299, 328, 349, 365, 384, 399, 408,
444, 502, 529, 559, 580, 604, 630, 645, 682, 699, 707, 709, 720,
753, 767, 785, 807, 819, 851])),
(27,
47,
12,
array([ 23, 64, 69, 71, 99, 132, 162, 194, 239, 285, 301, 340])),
(27,
48,
19,
array([100, 107, 125, 148, 187, 206, 223, 247, 264, 279, 293, 323, 338,
368, 404, 436, 494, 530, 539])),
(27, 49, 7, array([ 66, 69, 71, 125, 183, 190, 224])),
(27, 50, 6, array([116, 136, 147, 171, 200, 282])),
(27, 51, 9, array([139, 159, 173, 183, 286, 307, 313, 358, 382])),
(27, 52, 6, array([110, 130, 144, 154, 157, 159])),
(27, 53, 10, array([102, 114, 138, 150, 161, 179, 201, 220, 236, 248])),
(27,
54,
34,
array([ 69, 90, 95, 97, 134, 169, 171, 184, 216, 248, 263, 267, 269,
281, 304, 351, 362, 386, 416, 418, 420, 453, 471, 482, 510, 526,
539, 549, 586, 629, 651, 664, 675, 684])),
(27, 55, 2, array([154, 166])),
(27,
56,
31,
array([163, 172, 178, 189, 196, 205, 240, 253, 310, 320, 344, 389, 414,
429, 448, 475, 489, 517, 531, 541, 555, 614, 654, 682, 733, 755,
808, 820, 837, 861, 966])),
(27, 57, 4, array([136, 166, 170, 196])),
(27, 58, 8, array([ 73, 120, 135, 156, 163, 184, 232, 248])),
(27, 59, 10, array([ 10, 120, 149, 159, 183, 203, 230, 252, 268, 273])),
(27, 60, 2, array([ 95, 107])),
(27, 61, 2, array([ 31, 114])),
(27,
62,
80,
array([ 62, 147, 206, 244, 246, 254, 289, 302, 307, 328, 333,
375, 380, 410, 412, 429, 449, 459, 491, 511, 520, 563,
565, 580, 583, 616, 628, 653, 692, 730, 747, 769, 797,
805, 807, 817, 831, 864, 891, 912, 935, 967, 979, 1004,
1029, 1031, 1045, 1073, 1099, 1108, 1151, 1159, 1181, 1214, 1228,
1327, 1346, 1394, 1410, 1453, 1467, 1544, 1552, 1590, 1639, 1648,
1650, 1673, 1788, 1790, 1829, 1862, 1878, 1938, 1943, 1945, 1964,
1978, 1999, 2005])),
(27,
63,
27,
array([117, 128, 138, 161, 175, 186, 194, 200, 218, 227, 235, 260, 262,
264, 276, 287, 328, 368, 384, 395, 426, 444, 474, 484, 502, 533,
543])),
(27,
64,
12,
array([ 53, 106, 122, 148, 176, 193, 208, 220, 240, 257, 283, 292])),
(27, 65, 5, array([ 39, 77, 156, 179, 201])),
(27, 66, 4, array([119, 145, 164, 166])),
(27, 67, 6, array([ 91, 135, 152, 180, 200, 228])),
(27,
68,
160,
array([ 54, 58, 114, 125, 136, 138, 151, 179, 185, 195, 233,
323, 336, 361, 379, 404, 433, 455, 493, 531, 548, 562,
567, 603, 616, 640, 667, 682, 695, 708, 731, 750, 771,
813, 831, 846, 854, 878, 899, 910, 929, 936, 947, 983,
1012, 1031, 1056, 1073, 1084, 1113, 1142, 1148, 1159, 1175, 1182,
1199, 1224, 1258, 1290, 1310, 1321, 1348, 1358, 1383, 1416, 1423,
1448, 1466, 1476, 1487, 1526, 1564, 1638, 1685, 1735, 1737, 1747,
1755, 1787, 1827, 1863, 1874, 1896, 1929, 1956, 1965, 1977, 1997,
2010, 2022, 2033, 2051, 2071, 2119, 2144, 2173, 2212, 2247, 2273,
2303, 2329, 2339, 2383, 2393, 2411, 2427, 2466, 2523, 2535, 2577,
2597, 2658, 2677, 2695, 2735, 2751, 2766, 2804, 2818, 2853, 2856,
2868, 2928, 2938, 2945, 2999, 3035, 3038, 3079, 3081, 3104, 3117,
3130, 3142, 3147, 3170, 3195, 3233, 3241, 3249, 3267, 3303, 3323,
3330, 3433, 3466, 3500, 3516, 3526, 3544, 3546, 3553, 3574, 3576,
3590, 3606, 3614, 3631, 3663, 3679])),
(27,
69,
12,
array([132, 196, 223, 287, 326, 360, 502, 541, 586, 617, 664, 714])),
(27, 70, 7, array([ 63, 118, 125, 152, 248, 269, 275])),
(27, 71, 4, array([ 45, 116, 126, 150])),
(27,
72,
24,
array([135, 157, 172, 202, 211, 251, 267, 289, 297, 298, 299, 315, 342,
367, 397, 430, 453, 482, 514, 530, 547, 549, 573, 583])),
(27, 73, 11, array([127, 135, 215, 246, 270, 280, 312, 325, 342, 355, 363])),
(27, 74, 4, array([107, 165, 186, 313])),
(27, 75, 10, array([ 67, 69, 72, 89, 114, 117, 124, 136, 177, 215])),
(27,
76,
26,
array([ 53, 62, 113, 130, 149, 172, 366, 543, 601, 628, 737,
757, 779, 797, 847, 890, 905, 929, 947, 953, 977, 1005,
1023, 1040, 1061, 1067])),
(27,
77,
25,
array([ 77, 147, 198, 212, 224, 246, 256, 283, 286, 350, 407, 436, 501,
525, 527, 534, 542, 546, 561, 577, 614, 625, 630, 644, 652])),
(27,
78,
13,
array([117, 133, 166, 172, 176, 189, 191, 196, 200, 220, 226, 229, 231])),
(27, 79, 4, array([ 49, 83, 106, 134])),
(27, 80, 7, array([ 75, 77, 140, 159, 171, 175, 183])),
(27,
81,
17,
array([ 54, 56, 59, 61, 109, 134, 168, 186, 207, 242, 272, 295, 324,
340, 342, 357, 423])),
(27, 82, 10, array([106, 141, 178, 206, 238, 245, 261, 273, 318, 358])),
(27, 83, 8, array([ 66, 117, 135, 146, 175, 210, 248, 268])),
(27, 84, 2, array([ 83, 105])),
(27,
85,
15,
array([136, 164, 180, 208, 238, 262, 282, 292, 311, 326, 352, 369, 417,
448, 489])),
(27, 86, 3, array([ 60, 101, 128])),
(27,
87,
15,
array([ 73, 113, 137, 158, 172, 182, 189, 237, 264, 269, 276, 298, 303,
316, 337])),
(27,
88,
16,
array([ 48, 160, 180, 204, 210, 222, 238, 254, 274, 309, 318, 338, 352,
377, 390, 397])),
(27,
89,
22,
array([ 79, 122, 164, 181, 190, 265, 297, 348, 360, 376, 394, 415, 460,
474, 507, 515, 523, 548, 578, 627, 681, 716])),
(27, 90, 9, array([ 32, 108, 155, 189, 201, 231, 249, 262, 269])),
(27, 91, 9, array([121, 154, 196, 220, 245, 265, 289, 315, 327])),
(27, 92, 6, array([ 97, 111, 124, 126, 139, 162])),
(27,
93,
31,
array([ 19, 21, 89, 116, 117, 118, 135, 165, 174, 196, 254, 255, 256,
288, 300, 330, 340, 359, 385, 441, 472, 489, 551, 604, 635, 645,
665, 734, 769, 826, 837])),
(27,
94,
83,
array([ 116, 121, 124, 133, 170, 187, 204, 225, 248, 266, 392,
414, 432, 454, 464, 484, 494, 502, 510, 520, 530, 540,
551, 572, 583, 600, 615, 664, 694, 721, 739, 772, 792,
804, 838, 859, 880, 903, 917, 943, 969, 1002, 1019, 1042,
1063, 1079, 1089, 1104, 1147, 1151, 1171, 1199, 1215, 1225, 1255,
1275, 1291, 1304, 1317, 1337, 1373, 1385, 1438, 1465, 1475, 1487,
1505, 1513, 1530, 1552, 1558, 1566, 1613, 1626, 1649, 1666, 1682,
1690, 1732, 1738, 1759, 1780, 1798])),
(27, 95, 11, array([ 56, 60, 148, 191, 230, 258, 279, 308, 332, 362, 378])),
(27, 96, 8, array([ 57, 111, 121, 145, 163, 172, 209, 243])),
(27, 97, 5, array([128, 177, 210, 227, 232])),
(27, 98, 4, array([132, 187, 239, 263])),
(27, 99, 2, array([111, 120])),
(28, 2, 3, array([ 66, 143, 151])),
(28, 20, 1, array([311])),
(28, 29, 1, array([88])),
(28, 30, 1, array([132])),
(28, 77, 1, array([619])),
(29, 2, 4, array([127, 131, 183, 440])),
(29, 3, 1, array([90])),
(29, 5, 1, array([236])),
(29, 9, 5, array([209, 212, 226, 234, 259])),
(29, 10, 2, array([136, 170])),
(29, 12, 1, array([210])),
(29, 13, 1, array([610])),
(29, 18, 1, array([119])),
(29, 20, 2, array([225, 289])),
(29, 23, 1, array([571])),
(29, 24, 1, array([143])),
(29, 25, 4, array([118, 131, 223, 408])),
(29, 26, 2, array([215, 237])),
(29, 30, 1, array([637])),
(29, 34, 1, array([174])),
(29, 35, 1, array([45])),
(29, 38, 1, array([273])),
(29, 41, 7, array([375, 517, 528, 572, 672, 683, 739])),
(29, 45, 1, array([408])),
(29, 46, 4, array([141, 459, 488, 718])),
(29, 49, 2, array([102, 127])),
(29, 52, 1, array([212])),
(29, 53, 1, array([258])),
(29, 56, 3, array([114, 161, 934])),
(29, 62, 5, array([ 168, 345, 536, 1918, 1925])),
(29, 68, 6, array([ 856, 1226, 2430, 2493, 3172, 3339])),
(29, 69, 7, array([189, 194, 299, 312, 381, 519, 687])),
(29, 70, 7, array([171, 173, 182, 189, 209, 225, 228])),
(29, 72, 2, array([292, 312])),
(29, 75, 1, array([158])),
(29, 76, 10, array([214, 276, 289, 316, 462, 579, 809, 818, 825, 995])),
(29, 77, 1, array([173])),
(29, 80, 2, array([ 59, 123])),
(29, 81, 1, array([191])),
(29, 83, 2, array([186, 288])),
(29, 86, 1, array([171])),
(29, 89, 2, array([59, 63])),
(29, 93, 1, array([98])),
(29, 97, 3, array([103, 131, 157])),
(30, 2, 1, array([487])),
(30, 4, 1, array([68])),
(30, 6, 1, array([169])),
(30, 9, 2, array([220, 222])),
(30, 13, 2, array([165, 224])),
(30, 23, 4, array([ 532, 535, 789, 1286])),
(30, 24, 1, array([274])),
(30, 25, 3, array([154, 309, 365])),
(30, 27, 7, array([ 55, 76, 233, 354, 539, 585, 606])),
(30, 29, 2, array([147, 170])),
(30, 31, 1, array([56])),
(30, 33, 3, array([233, 235, 261])),
(30, 38, 6, array([306, 307, 310, 311, 317, 318])),
(30, 45, 1, array([97])),
(30, 46, 1, array([203])),
(30, 47, 5, array([186, 205, 207, 220, 265])),
(30, 48, 1, array([67])),
(30, 51, 3, array([ 78, 305, 311])),
(30, 53, 1, array([259])),
(30, 54, 2, array([679, 681])),
(30, 56, 1, array([658])),
(30, 66, 2, array([126, 171])),
(30, 68, 2, array([219, 221])),
(30, 69, 2, array([144, 364])),
(30, 71, 1, array([52])),
(30, 76, 3, array([174, 849, 851])),
(30, 79, 1, array([56])),
(30, 81, 4, array([364, 366, 418, 424])),
(30, 85, 1, array([473])),
(30, 87, 1, array([312])),
(30, 89, 1, array([102])),
(30, 92, 1, array([59])),
(30, 94, 7, array([128, 137, 142, 148, 239, 241, 243])),
(31, 23, 1, array([775])),
(32, 52, 1, array([208])),
(32, 81, 1, array([224])),
(33, 85, 1, array([479])),
(34, 72, 1, array([266])),
(35, 40, 1, array([44])),
(35, 48, 1, array([79])),
(36, 2, 1, array([47])),
(36, 18, 1, array([67])),
(36, 52, 1, array([71])),
(36, 59, 1, array([87])),
(36, 85, 1, array([93])),
(36, 99, 1, array([67])),
(37, 94, 1, array([63])),
(38, 90, 1, array([55])),
(39, 4, 1, array([82])),
(40, 23, 1, array([87])),
(41, 60, 1, array([47])),
(42, 20, 1, array([117])),
(43, 83, 1, array([81])),
(44, 43, 1, array([82])),
(44, 66, 1, array([185])),
(44, 97, 1, array([64])),
(45, 14, 1, array([275])),
(45, 17, 1, array([180])),
(46, 55, 1, array([90])),
(47, 32, 1, array([75])),
(48, 45, 1, array([65])),
(48, 84, 1, array([44])),
(49, 12, 1, array([54])),
(50, 56, 1, array([55])),
(51, 72, 1, array([82])),
(52, 12, 1, array([69])),
(53, 96, 1, array([97])),
(54, 49, 1, array([87])),
(55, 94, 1, array([144])),
(56, 94, 1, array([51])),
(57, 64, 1, array([299])),
(58, 58, 1, array([95])),
(59, 13, 1, array([46])),
(60, 97, 1, array([62])),
(61, 41, 1, array([82])),
(62, 1, 1, array([62])),
(62, 15, 1, array([86])),
(62, 34, 1, array([93])),
(62, 44, 1, array([47])),
(62, 61, 1, array([58])),
(62, 67, 1, array([53])),
(62, 93, 1, array([44])),
(62, 94, 1, array([67])),
(63, 94, 1, array([87])),
(64, 57, 1, array([54])),
(65, 33, 1, array([100])),
(66, 63, 1, array([81])),
(67, 54, 1, array([39])),
(68, 92, 1, array([73])),
(69, 65, 1, array([99])),
(70, 89, 1, array([101])),
(71, 45, 1, array([63])),
(72, 7, 1, array([42])),
(73, 30, 1, array([79])),
(74, 20, 1, array([119])),
(74, 94, 1, array([89])),
(75, 35, 1, array([80])),
(76, 16, 1, array([60])),
(77, 0, 1, array([102])),
(77, 91, 1, array([93])),
(78, 85, 1, array([89])),
(79, 73, 1, array([94])),
(80, 65, 1, array([52])),
(81, 99, 1, array([63])),
(82, 84, 1, array([42])),
(83, 69, 1, array([428])),
(84, 8, 1, array([36])),
(84, 18, 1, array([121])),
(84, 30, 1, array([39])),
(84, 32, 1, array([193])),
(84, 46, 1, array([248])),
(84, 52, 1, array([165])),
(84, 54, 1, array([235])),
(84, 62, 2, array([900, 916])),
(84, 63, 1, array([37])),
(84, 77, 1, array([266])),
(84, 81, 1, array([128])),
(84, 82, 1, array([38])),
(84, 93, 1, array([786])),
(84, 94, 1, array([1017])),
(85, 9, 1, array([243])),
(85, 41, 1, array([723])),
(85, 56, 1, array([918])),
(86, 20, 1, array([299])),
(86, 30, 1, array([119])),
(87, 10, 1, array([69])),
(87, 19, 1, array([77])),
(87, 28, 1, array([90])),
(87, 45, 1, array([100])),
(87, 66, 1, array([60])),
(87, 67, 1, array([71])),
(87, 84, 1, array([68])),
(88, 59, 1, array([71])),
(88, 85, 1, array([77])),
(89, 15, 1, array([114])),
(90, 59, 1, array([67])),
(90, 85, 1, array([73])),
(91, 73, 1, array([371])),
(92, 2, 1, array([530])),
(93, 0, 1, array([118])),
(94, 44, 1, array([61])),
(94, 73, 1, array([254])),
(94, 94, 4, array([ 108, 640, 1238, 1249])),
(94, 99, 1, array([65])),
(95, 2, 1, array([359])),
(96, 29, 1, array([28])),
(97, 15, 1, array([8])),
(98, 5, 1, array([8])),
(99, 54, 1, array([265])),
(100, 20, 1, array([8])),
(101, 30, 1, array([8])),
(102, 69, 1, array([8])),
(103, 9, 1, array([8])),
(104, 34, 1, array([8])),
(105, 65, 1, array([8])),
(106, 96, 1, array([8])),
(107, 8, 1, array([8])),
(108, 43, 1, array([8])),
(109, 66, 1, array([39])),
(110, 85, 1, array([5])),
(111, 28, 1, array([8])),
(112, 23, 1, array([117])),
(113, 0, 1, array([14])),
(114, 62, 1, array([2006])),
(114, 70, 1, array([276])),
(114, 76, 1, array([1068])),
(115, 54, 1, array([47])),
(116, 29, 1, array([69])),
(117, 52, 1, array([67])),
(118, 75, 1, array([62])),
(119, 54, 1, array([35])),
(120, 81, 1, array([234])),
(121, 14, 1, array([48])),
(121, 19, 1, array([53])),
(121, 25, 1, array([66])),
(121, 44, 1, array([45])),
(121, 75, 1, array([97])),
(121, 79, 1, array([8])),
(122, 39, 1, array([8])),
(123, 31, 1, array([8])),
(124, 2, 1, array([43])),
(125, 90, 1, array([88])),
(126, 50, 1, array([58])),
(126, 51, 1, array([94])),
(126, 84, 1, array([56])),
(126, 89, 1, array([97])),
(126, 93, 1, array([192])),
(127, 33, 1, array([264])),
(128, 54, 1, array([229])),
(129, 38, 1, array([209])),
(130, 38, 1, array([231])),
(131, 0, 1, array([5])),
(132, 81, 1, array([386])),
(133, 94, 1, array([8])),
(134, 25, 1, array([128])),
(135, 38, 1, array([92])),
(136, 38, 1, array([67])),
(137, 31, 1, array([75])),
(138, 1, 1, array([60])),
(138, 4, 1, array([8])),
(138, 58, 1, array([101])),
(138, 69, 1, array([110])),
(138, 80, 1, array([102])),
(139, 54, 1, array([251])),
(140, 24, 1, array([5])),
(141, 0, 1, array([20])),
(142, 88, 1, array([11])),
(143, 53, 1, array([57])),
(144, 46, 1, array([88])),
(145, 78, 1, array([72])),
(146, 15, 1, array([80])),
(147, 76, 1, array([93])),
(148, 25, 1, array([64])),
(149, 0, 1, array([106])),
(149, 35, 1, array([86])),
...]
Content source: antonpetkoff/learning
Similar notebooks: