explore_nist17.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "6612632\n",
      "6651878\n"
     ]
    }
   ],
   "source": [
    "from utils.converter import correct_format\n",
    "\n",
    "\n",
    "correct_format('../data/fastei/nist17/replib.sdf', \n",
    "               '../data/fastei/nist17/c_replib.sdf')\n",
    "correct_format('../data/fastei/nist17/mainlib.sdf', \n",
    "               '../data/fastei/nist17/c_mainlib.sdf')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "from rdkit import Chem\n",
    "\n",
    "\n",
    "suppl_main = Chem.SDMolSupplier('../data/fastei/nist17/c_mainlib.sdf')\n",
    "suppl_rep = Chem.SDMolSupplier('../data/fastei/nist17/c_replib.sdf')\n",
    "mols_main = [mol for mol in suppl_main if mol]\n",
    "mols_rep = [mol for mol in suppl_rep if mol]\n",
    "print(len(mols_main)) # 265928\n",
    "print(len(mols_rep)) # \n",
    "print(type(mols_main[0].GetProp('NISTNO')))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "from rdkit.Chem import AllChem\n",
    "\n",
    "\n",
    "writer = AllChem.SDWriter('../data/fastei/nist17/cs_mainlib.sdf')\n",
    "for mol in mols_main:\n",
    "    smi = Chem.MolToSmiles(mol)\n",
    "    mol.SetProp('SMILES', smi)\n",
    "    writer.write(mol)\n",
    "writer.close()\n",
    "\n",
    "writer = AllChem.SDWriter('../data/fastei/nist17/cs_replib.sdf')\n",
    "for mol in mols_rep:\n",
    "    smi = Chem.MolToSmiles(mol)\n",
    "    mol.SetProp('SMILES', smi)\n",
    "    writer.write(mol)\n",
    "writer.close()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "11499\n",
      "<class 'numpy.int64'>\n",
      "{'47309', '1492', '130753', '266991', '248915', '16566', '331667', '44057', '237008', '39925', '272800', '109391', '247181', '158538', '70797', '80576', '408606', '289564', '192205', '250401', '423197', '122651', '39702', '92417', '427417', '114757', '291608', '333434', '424347', '12231', '46232', '46555', '284234', '13847', '284094', '28371', '215400', '379207', '32502', '18521', '238484', '68933', '301631', '230359', '449366', '283379', '403401', '334065', '76394', '101450', '453023', '190531', '249343', '357796', '20703', '210273', '118010', '380091', '378511', '236655', '403460', '414117', '227608', '426813', '426515', '301568', '211446', '19305', '431204', '35993', '413732', '239619', '273509', '139596', '160623', '293439', '403299', '229092', '379240', '291385', '245826', '156156', '290858', '53852', '45812', '196165', '118155', '12643', '414745', '465718', '235392', '417279', '283586', '261958', '362575', '376340', '414240', '309079', '367354', '196744', '301934', '108078', '294229', '426768', '283436', '13633', '290203', '52337', '49828', '383792', '142677', '11341', '290998', '270976', '7575', '118554', '431752', '430179', '404207', '158359', '13070', '118778', '63647', '147673', '235350', '384056', '9542', '108960', '226972', '333243', '442197', '235787', '443401', '38874', '194981', '237922', '72204', '467400', '118028', '15120', '215763', '228220', '135659', '197184', '160440', '248033', '232348', '114551', '107826', '383376', '8081', '236824', '231929', '9750', '164315', '425465', '23175', '28241', '459373', '251915', '72677', '73616', '453928', '413369', '289516', '92024', '239355', '92482', '403708', '135425', '188209', '378556', '92283', '133575', '202128', '229509', '187751', '442796', '107639', '161002', '164142', '137115', '221155', '355977', '75414', '242253', '211703', '466449', '130706', '231295', '161942', '158920', '233400', '250101', '8866', '227808', '424400', '261846', '133984', '229083', '403752', '442801', '290880', '249786', '227947', '376695', '445951', '6955', '234943', '107518', '424325', '355980', '414750', '414961', '237352', '108535', '379549', '3857', '306839', '5852', '235978', '29273', '186124', '231278', '149255', '229542', '426787', '332411', '292698', '465280', '250253', '185285', '269812', '77621', '65135', '335341', '372862', '465468', '230022', '34663', '378599', '220785', '154818', '228926', '364040', '25827', '368572', '306822', '238934', '246175', '383556', '152509', '225482', '58270', '119575', '232396', '254519', '230996', '213521', '73226', '210145', '290623', '19009', '335077', '214914', '62413', '294926', '107761', '403609', '71218', '149376', '245019', '65144', '121559', '383398', '227993', '29286', '230640', '132239', '7452', '52778', '262335', '403343', '70968', '186049', '465607', '164757', '326636', '288910', '258022', '109606', '372518', '271938', '231342', '283677', '121100', '43006', '268075', '92191', '327206', '35538', '60563', '229921', '134821', '60770', '289874', '76367', '79312', '214058', '368504', '234868', '126776', '248453', '430724', '452724', '161129', '383305', '223417', '13159', '130754', '403843', '281743', '250711', '9465', '430965', '235991', '28564', '453919', '465791', '60605', '186634', '232968', '235041', '270913', '248762', '231969', '153012', '30335', '191131', '186767', '43540', '43263', '334930', '190445', '228977', '9636', '365911', '118427', '58941', '247924', '214629', '280014', '58498', '257579', '2561', '245704', '126780', '335421', '235761', '404205', '335483', '235715', '430148', '301650', '426076', '254345', '127453', '53648', '158735', '243926', '250720', '235115', '65166', '380015', '269220', '283439', '318595', '247895', '104256', '60155', '107346', '136286', '386071', '134070', '158510', '228774', '78456', '22039', '413904', '157398', '115871', '8035', '461071', '161164', '131703', '153843', '271401', '424207', '366506', '4187', '234657', '38870', '7957', '215741', '164291', '99108', '226991', '163852', '248480', '146069', '333835', '150063', '246123', '153250', '247112', '217245', '257612', '164290', '340401', '108339', '462494', '432482', '431813', '63327', '150361', '261402', '233988', '379693', '191778', '23773', '191088', '301530', '233491', '73755', '43951', '239034', '130909', '53797', '301809', '99106', '10852', '131887', '388359', '76426', '195673', '236577', '70870', '465556', '29371', '237691', '233314', '107868', '189082', '236754', '127057', '336755', '247746', '47312', '3088', '298625', '137060', '131918', '8806', '154435', '62007', '155098', '133229', '383539', '156212', '291188', '372232', '248397', '237673', '334648', '249179', '234784', '8464', '430667', '186791', '107427', '301527', '69500', '51836', '53255', '298462', '261887', '412515', '15050', '114328', '46890', '236322', '72140', '245805', '151618', '10425', '73192', '282594', '290599', '290970', '50504', '301850', '118245', '467406', '432959', '17416', '251962', '116499', '92263', '236840', '51023', '509', '202316', '53804', '12245', '247155', '97023', '235904', '238488', '108385', '52468', '26384', '257693', '238076', '334664', '292182', '233815', '122435', '247694', '78555', '414734', '73651', '101266', '133011', '126530', '108173', '155270', '239246', '235697', '334020', '331752', '134075', '107834', '414982', '301596', '331738', '335102', '235341', '276886', '272966', '422805', '414451', '261857', '215614', '279614', '114718', '136233', '290085', '107569', '227671', '465699', '287500', '434290', '309048', '57892', '403725', '250427', '334566', '426802', '249696', '14590', '290999', '160298', '237031', '235462', '265786', '403273', '47146', '40954', '143962', '25350', '119226', '1046', '293013', '280845', '235699', '228734', '119356', '23936', '292821', '214122', '70407', '236764', '164928', '125296', '289418', '46562', '53499', '288548', '262924', '75898', '467450', '231518', '263013', '211397', '162923', '69752', '157778', '292353', '261935', '232507', '7760', '39931', '290769', '376382', '226763', '228117', '270110', '231352', '424971', '378571', '228062', '11521', '362880', '134303', '285995', '257550', '357119', '185385', '70973', '3398', '378480', '77784', '249678', '19269', '368771', '53278', '246262', '326614', '117155', '34527', '443073', '105279', '403682', '370392', '47747', '285044', '11008', '49446', '118137', '30104', '190959', '24443', '65133', '149567', '301933', '130685', '364034', '414520', '379949', '112293', '153578', '372390', '247805', '197172', '227614', '290034', '14387', '43045', '156694', '157258', '48383', '91186', '59455', '379878', '22341', '232803', '223393', '50006', '108973', '13286', '227685', '222256', '76438', '233904', '306613', '91184', '379284', '238334', '422467', '362903', '40654', '132299', '431223', '98818', '400319', '410656', '5366', '143841', '215145', '70802', '11520', '307965', '186748', '61886', '277808', '19235', '334709', '379274', '125587', '70951', '246414', '132049', '25366', '242399', '237807', '36787', '100086', '7520', '22042', '210322', '117860', '336248', '73075', '248457', '153984', '109932', '465698', '228306', '150537', '46973', '289175', '134427', '2435', '13781', '114160', '215867', '263091', '279747', '231450', '112736', '4666', '60544', '422827', '257257', '108286', '414976', '386374', '65788', '60354', '233187', '243108', '285251', '336042', '362965', '69737', '158706', '72530', '231281', '160507', '248465', '142667', '5848', '247406', '378523', '47229', '188719', '307281', '386281', '288880', '334827', '223384', '68151', '7231', '152621', '130340', '11025', '12364', '28487', '262347', '234661', '15322', '404304', '32065', '228633', '215713', '53244', '279659', '196943', '280367', '3962', '320564', '414487', '36142', '465553', '412331', '380203', '431889', '124686', '378559', '110340', '132454', '294333', '15126', '341973', '232182', '255494', '11407', '237146', '249943', '117668', '465684', '334742', '156024', '300869', '290660', '2931', '12090', '258299', '125992', '232407', '424025', '35068', '156535', '250188', '249019', '413579', '248620', '232964', '297815', '224852', '457198', '230406', '404162', '62248', '130296', '158477', '403546', '236968', '73723', '46708', '125502', '238937', '237799', '92102', '188826', '249863', '247888', '147696', '221184', '92023', '378494', '289479', '52551', '162747', '257244', '98806', '12084', '70405', '379504', '287238', '425603', '125098', '211735', '290082', '188141', '236559', '23124', '157274', '231577', '142317', '143423', '76055', '127645', '155345', '417535', '19012', '228468', '47472', '80727', '220930', '26790', '301682', '80787', '403326', '298464', '291782', '355983', '318644', '63420', '235355', '378670', '336063', '238544', '443086', '238322', '588', '92244', '117239', '257667', '137074', '22138', '25645', '126726', '291716', '114701', '250074', '422889', '431968', '195535', '446390', '297936', '239552', '412654', '237311', '261747', '283937', '107242', '223053', '152770', '412501', '150333', '368709', '72692', '69565', '5400', '224371', '414892', '151353', '366591', '434997', '23421', '108105', '75953', '279607', '160509', '63990', '214143', '323561', '17477', '238641', '43219', '366461', '403942', '120265', '73496', '427356', '137027', '403982', '14991', '239340', '129444', '109517', '127433', '4417', '18826', '314427', '92067', '3198', '44326', '44510', '18256', '288950', '378668', '143597', '262422', '21177', '335013', '139357', '159272', '333248', '425574', '14098', '107138', '97009', '31261', '153945', '257517', '229433', '126321', '190278', '429', '460873', '120710', '120643', '53898', '368499', '457700', '336211', '379477', '109935', '335446', '378486', '252895', '238729', '3536', '188227', '237643', '412413', '465298', '257622', '69671', '28668', '113075', '445220', '414191', '236231', '188980', '153056', '111289', '249647', '460722', '164723', '71941', '34672', '289295', '426796', '453333', '52197', '232000', '237810', '220873', '443855', '333656', '75310', '365927', '152718', '149684', '133242', '286176', '427395', '342625', '38451', '413067', '403159', '78602', '408084', '413648', '92221', '227604', '245700', '190550', '460949', '30260', '155129', '288725', '423242', '289515', '75387', '42202', '14302', '249351', '238164', '114876', '266047', '186015', '212842', '284950', '427982', '163404', '121326', '186794', '107983', '60603', '215427', '457105', '238046', '431882', '69816', '114615', '151720', '158797', '236674', '113967', '376722', '229314', '123904', '408568', '441088', '130732', '132876', '118771', '122368', '154077', '257881', '102175', '158848', '455371', '232384', '233850', '68393', '107693', '6407', '297628', '227938', '18507', '394552', '73519', '90145', '372457', '132731', '4615', '355900', '53295', '8042', '124097', '5703', '412125', '413617', '188920', '360650', '248275', '291817', '283437', '341317', '23313', '185072', '118266', '20655', '230494', '233105', '14624', '404749', '153860', '378687', '1773', '79617', '197594', '108317', '298614', '257585', '28300', '24376', '301769', '121260', '403776', '138913', '162943', '290681', '26551', '458575', '238969', '250272', '3313', '430093', '412558', '232974', '124879', '245048', '290868', '235847', '271388', '362739', '334881', '154298', '457123', '239528', '253118', '48252', '235376', '157977', '403297', '71180', '394471', '239541', '280953', '62074', '53262', '108171', '221651', '76263', '258453', '129769', '75499', '379453', '53300', '196459', '273427', '290485', '290759', '291107', '918', '7293', '155803', '249814', '7362', '161608', '265846', '31891', '43646', '221779', '156155', '293229', '412110', '210511', '465353', '229719', '227528', '154524', '116834', '376531', '301776', '306559', '230422', '404131', '221911', '235804', '16966', '25104', '211069', '108922', '75251', '109851', '52184', '228934', '24483', '24619', '279764', '465360', '445535', '99503', '107949', '290841', '118151', '57874', '137102', '13593', '105035', '366448', '372665', '326705', '413756', '466133', '187011', '238794', '133257', '41869', '261749', '99450', '10656', '92062', '293648', '79376', '7250', '52753', '51159', '78019', '161555', '293265', '466367', '214970', '236798', '403339', '4000', '58160', '78023', '383521', '78881', '126285', '288482', '132695', '57775', '374217', '445057', '153329', '15932', '157076', '230503', '108415', '362700', '130089', '5707', '232928', '297879', '45233', '24418', '286875', '284362', '283197', '366527', '455580', '431811', '90771', '6953', '114743', '442681', '265809', '410692', '403630', '465662', '284725', '301537', '365956', '32410', '100636', '318724', '317871', '414988', '312878', '273617', '69577', '231391', '1143', '6424', '158398', '53308', '413351', '189026', '229832', '374150', '291122', '273239', '290238', '461043', '105193', '301328', '410502', '528', '114463', '225028', '162378', '436787', '228628', '297854', '103865', '290686', '224426', '73189', '80769', '24282', '231991', '20986', '161516', '467296', '161712', '99148', '457184', '43570', '234304', '70799', '114599', '228009', '122999', '118142', '188017', '47276', '307507', '254878', '107003', '417040', '426685', '61920', '466123', '466975', '301887', '2477', '378658', '301826', '68149', '158223', '290844', '362619', '229865', '232479', '164210', '79736', '248788', '423697', '46385', '109671', '77575', '46538', '334651', '132983', '119661', '60911', '107347', '196718', '110388', '241825', '194472', '121726', '9195', '288080', '290667', '279955', '119811', '465731', '426683', '388043', '704', '414791', '2725', '211864', '236246', '233520', '59554', '378560', '334575', '249472', '6771', '281510', '124754', '343165', '413628', '113562', '403254', '158110', '114317', '233171', '238138', '422707', '301801', '432268', '164043', '235538', '212192', '16479', '237304', '5115', '424502', '149758', '120264', '185675', '39576', '157566', '404214', '33502', '1176', '389283', '403700', '257991', '286091', '411526', '374722', '238', '228353', '255805', '14458', '35037', '75814', '70400', '460854', '237202', '220947', '335469', '43807', '118720', '117800', '200991', '59499', '114188', '7312', '46676', '137224', '191712', '5552', '258055', '164726', '189922', '335023', '116005', '60656', '229264', '237526', '352185', '160112', '237084', '158281', '383313', '11121', '239386', '56019', '270946', '118835', '248050', '250621', '290567', '334580', '161773', '24634', '188060', '114028', '118414', '247438', '433969', '1533', '108054', '46274', '151303', '255145', '248920', '46717', '2208', '241079', '190428', '414505', '123336', '113295', '15813', '70964', '211030', '9664', '111585', '65036', '230611', '75465', '80564', '231309', '443799', '413737', '228012', '279828', '414553', '132031', '414532', '135368', '366454', '221695', '144381', '120871', '79175', '114945', '425567', '117794', '49540', '234173', '20083', '417129', '414877', '1771', '294221', '61297', '283154', '223059', '265944', '73633', '23052', '270884', '186531', '24610', '33806', '107533', '237619', '6462', '6965', '108234', '235026', '336173', '62527', '451951', '237011', '222892', '191051', '233134', '127642', '109759', '69797', '242806', '72909', '231571', '30978', '73556', '210545', '115752', '161132', '449888', '15489', '3413', '5831', '193936', '281646', '130033', '417261', '270989', '28301', '220863', '337066', '160696', '279739', '289050', '424580', '7423', '360282', '15082', '238307', '445138', '195055', '4722', '231093', '5064', '162376', '379604', '234258', '248610', '113713', '14377', '99997', '227994', '117271', '362197', '142081', '38693', '187183', '119135', '153052', '72929', '33499', '256453', '47561', '265876', '37763', '413767', '109109', '19080', '144907', '403301', '434360', '155472', '221047', '249430', '30423', '70635', '279021', '444561', '54126', '232674', '288126', '378648', '153204', '436696', '320569', '135338', '151606', '157903', '127168', '462443', '342553', '413497', '28544', '118773', '70770', '92291', '13389', '404119', '119770', '423784', '426582', '403536', '286316', '108501', '403442', '3517', '287746', '118694', '590', '223594', '108442', '223803', '235189', '460927', '368537', '35716', '108567', '68043', '426382', '59515', '191522', '70272', '403179', '374064', '4693', '466112', '162377', '64436', '305474', '6667', '79289', '100901', '301542', '123906', '7222', '298717', '322458', '73588', '123933', '412599', '465342', '154983', '101227', '244372', '423227', '289941', '128565', '248660', '71318', '118287', '231315', '288672', '326727', '414444', '117217', '30600', '141199', '249899', '236807', '452652', '250627', '146009', '271921', '214590', '1189', '232581', '33738', '156101', '149699', '153837', '128408', '238295', '10106', '45349', '336662', '403316', '227661', '26141', '160095', '45475', '40632', '452785', '413135', '237711', '197496', '107261', '231909', '160953', '430926', '107867', '75928', '136445', '107557', '429583', '120977', '107945', '355972', '160523', '153857', '120957', '234913', '401062', '343423', '155774', '194269', '413898', '91231', '403356', '430820', '237132', '144827', '380441', '427604', '22776', '351734', '454471', '270957', '425333', '98439', '62330', '194980', '246227', '297930', '192107', '383931', '34348', '388972', '117003', '75370', '268206', '277906', '128637', '422340', '98945', '403282', '229081', '52446', '245044', '403790', '7507', '414183', '108080', '247809', '273266', '231271', '413075', '301784', '249854', '118666', '301839', '19707', '132883', '152184', '187603', '231532', '191673', '334287', '235078', '98252', '117687', '290280', '286387', '110775', '37309', '362240', '213512', '241911', '9216', '404299', '373362', '466279', '230173', '306455', '379484', '92268', '336382', '158339', '280829', '1309', '268892', '34581', '272975', '92046', '150125', '7531', '15836', '55775', '248284', '61743', '417125', '403965', '99979', '7376', '228882', '117412', '254073', '212890', '417751', '75292', '404210', '412367', '211423', '75227', '234862', '291745', '220877', '113578', '119260', '374187', '221213', '160286', '52167', '156803', '383451', '376518', '18384', '60843', '375392', '349832', '305556', '289218', '247060', '189224', '8951', '73603', '261907', '8493', '130691', '135254', '428850', '73379', '29831', '426651', '211676', '46224', '72102', '8922', '10300', '424488', '143266', '160820', '157144', '71099', '305669', '237348', '379421', '152851', '109433', '440704', '1224', '291128', '195068', '271259', '110359', '135332', '290877', '122093', '8228', '365938', '414439', '216668', '351737', '186193', '238453', '107511', '72163', '53682', '283380', '6471', '143948', '41941', '320458', '247509', '253154', '436631', '239353', '73598', '186477', '202088', '616', '459890', '288210', '285075', '42284', '192587', '71157', '429262', '68083', '193678', '156132', '99843', '326723', '336043', '412961', '108093', '48322', '249746', '40620', '221998', '1334', '245555', '43993', '232036', '336718', '438995', '24213', '239424', '230746', '260493', '426827', '261792', '455013', '113258', '388022', '25627', '136685', '422853', '129037', '12532', '156642', '124471', '249350', '362068', '130880', '424361', '14675', '121538', '1631', '157306', '113964', '289929', '116500', '360385', '221815', '237083', '103551', '249819', '326652', '9391', '444051', '301653', '141672', '53284', '76358', '42298', '1232', '247867', '120430', '431805', '187567', '273549', '355968', '279947', '107710', '283351', '152298', '253158', '252012', '298289', '2341', '336709', '427454', '229807', '228640', '118113', '238510', '284606', '319342', '257192', '430875', '427311', '36199', '236520', '336255', '24240', '63572', '76390', '388346', '257968', '423240', '238087', '259018', '373930', '457169', '430586', '239218', '412360', '68447', '351606', '72891', '283528', '445022', '238137', '414945', '425455', '132218', '379526', '54332', '197502', '53371', '193041', '234208', '272813', '42901', '221803', '454622', '318088', '230817', '260118', '66060', '2457', '248960', '284925', '265931', '251686', '426814', '110649', '194030', '270861', '242432', '253111', '90190', '4153', '3377', '311348', '35015', '124555', '398', '21380', '196742', '364828', '261245', '240460', '296381', '117998', '92039', '131231', '145157', '102679', '523', '412073', '288732', '414618', '212959', '365883', '241924', '249940', '149643', '292422', '239245', '288392', '108052', '119779', '465067', '460711', '248786', '413167', '161632', '133280', '109392', '249586', '297612', '99496', '247976', '108348', '73293', '463300', '3185', '21502', '164093', '258384', '303', '460620', '21489', '235083', '466447', '334868', '291100', '110790', '118884', '425305', '16892', '239684', '238853', '368955', '285931', '229412', '2358', '60302', '238023', '290784', '231706', '374127', '48784', '257596', '233447', '79719', '383628', '92054', '229775', '426666', '1014', '360625', '145737', '234941', '67946', '283554', '16653', '12951', '228783', '235305', '24284', '70662', '19649', '273164', '22188', '117888', '265930', '80790', '215323', '379644', '331722', '433932', '151048', '379462', '232813', '412595', '8498', '79358', '273265', '13014', '427436', '298741', '25378', '425', '216682', '265925', '225766', '122107', '360458', '131262', '387804', '61339', '403607', '291627', '403461', '404132', '228421', '114629', '375690', '122046', '61117', '190434', '424837', '2287', '271959', '72193', '403562', '413730', '466148', '378593', '132011', '7204', '54889', '141287', '227815', '403588', '326612', '334842', '39668', '426690', '290387', '118325', '388583', '21747', '11624', '99443', '211133', '248388', '403929', '425824', '137139', '76118', '103072', '9767', '61725', '130082', '313039', '457619', '12138', '423182', '336657', '343354', '430183', '246840', '334309', '378991', '426737', '434226', '247850', '403853', '229643', '202245', '235163', '336264', '290959', '458566', '327177', '48411', '452195', '463797', '248095', '227670', '130534', '226640', '258333', '287231', '21767', '374810', '333372', '22794', '403539', '228110', '378961', '120933', '76106', '163080', '191383', '289608', '66827', '403506', '349851', '246993', '228244', '301611', '226282', '214019', '230018', '107852', '68899', '101207', '231887', '372605', '4289', '226531', '231953', '452000', '222104', '232403', '158746', '270250', '232620', '12121', '140949', '238500', '76060', '70354', '70743', '445813', '158787', '239253', '69601', '430601', '379359', '385640', '237839', '79079', '154819', '298485', '307331', '160297', '4570', '221757', '283840', '234453', '31714', '160212', '71128', '320533', '445714', '156540', '307700', '403617', '50444', '795', '310527', '291815', '414854', '246314', '10100', '272978', '245125', '233776', '51234', '1378', '258897', '101245', '71670', '310991', '125924', '34799', '196876', '8429', '124394', '228844', '190637', '249184', '108376', '164620', '245111', '188095', '188709', '425306', '249875', '223088', '250360', '160470', '462722', '3365', '403754', '248470', '71547', '292754', '280556', '248261', '136325', '426805', '333399', '425471', '142610', '90619', '11568', '124062', '383970', '414786', '444059', '240123', '284790', '229425', '47977', '116327', '64764', '7666', '301849', '127481', '229540', '333665', '365902', '238181', '283174', '234359', '290621', '192160', '61239', '14756', '186511', '266045', '52748', '163639', '146958', '25527', '2703', '432789', '288351', '53721', '226663', '117614', '291093', '150866', '232706', '340210', '287701', '162639', '63841', '351818', '150126', '357780', '46291', '20684', '3213', '424381', '290673', '427145', '118007', '122335', '443766', '155848', '1300', '232189', '116002', '141688', '408786', '370376', '455255', '230774', '139890', '108573', '234217', '156158', '248295', '14670', '462420', '103117', '70411', '69620', '109610', '144005', '233878', '153058', '213825', '289189', '379234', '278684', '52650', '117803', '374391', '273468', '19541', '218', '403333', '335158', '414290', '241070', '163204', '52037', '366520', '76343', '260134', '228753', '229593', '70639', '414929', '248649', '19182', '3444', '248736', '278572', '150906', '99172', '427379', '232921', '288382', '334568', '109985', '379675', '232809', '131108', '45356', '119271', '320488', '92445', '336393', '12599', '4932', '92082', '413620', '163255', '224881', '187209', '4984', '56003', '133006', '52828', '118643', '129356', '290836', '231473', '412214', '221120', '70326', '7074', '258136', '197932', '235568', '432323', '467881', '271571', '379778', '7480', '246415', '38596', '237500', '115796', '444600', '234028', '326604', '409843', '283712', '211149', '127651', '197743', '428691', '2164', '19490', '283654', '466825', '107359', '37384', '72142', '299892', '121471', '239019', '301677', '414649', '92375', '76080', '334586', '334913', '230456', '126563', '34490', '430435', '161168', '64037', '340237', '225785', '158387', '4297', '53418', '228721', '137157', '110429', '457199', '404085', '25398', '25041', '5367', '109122', '22878', '24935', '422762', '412580', '144477', '32861', '234763', '246892', '72212', '42407', '193668', '70886', '232456', '75455', '153101', '149800', '301547', '343312', '298727', '383958', '320548', '362174', '72943', '23849', '395434', '50423', '70726', '251091', '403144', '48767', '272830', '230067', '258331', '229318', '236827', '372436', '43841', '36835', '403584', '98843', '462999', '21665', '379182', '372511', '108320', '61291', '233107', '60724', '378833', '242985', '254957', '19678', '119577', '236988', '258285', '120016', '60530', '248739', '29822', '229963', '226581', '413061', '230581', '257549', '417158', '410161', '127455', '236066', '245865', '130888', '70330', '232505', '334644', '30352', '214611', '366471', '139813', '163540', '301620', '8892', '405991', '232857', '151229', '79602', '247154', '129523', '232185', '403392', '2357', '306781', '327231', '28138', '140044', '288201', '108740', '233720', '403639', '343', '228001', '2281', '236641', '414314', '337932', '70388', '31215', '75987', '24228', '461785', '124765', '115473', '226520', '60659', '228691', '459779', '234159', '283513', '368885', '333572', '249715', '372668', '14591', '46763', '141196', '413514', '427937', '285286', '335413', '233230', '443289', '156055', '1102', '465725', '118252', '280414', '465833', '452235', '333824', '452997', '60888', '9162', '215839', '220836', '117736', '108491', '426659', '80694', '285140', '445609', '249473', '462438', '231943', '285504', '291559', '465989', '247216', '238865', '332786', '384001', '435356', '24889', '43339', '114231', '42862', '291419', '333556', '19071', '465123', '229525', '255366', '144040', '288736', '121600', '118927', '189324', '444001', '115412', '46263', '151073', '429259', '100807', '428188', '73394', '248496', '53319', '37341', '248350', '254102', '68345', '107966', '115398', '342599', '403677', '433789', '111237', '188512', '69942', '281418', '211017', '254266', '383987', '121213', '195043', '281461', '18667', '246956', '290179', '234158', '386450', '186852', '63807', '125831', '212886', '457188', '273563', '318695', '297725', '414970', '284922', '246459', '118219', '356005', '103774', '126688', '103214', '3228', '14008', '80581', '11749', '245554', '456723', '256769', '34459', '454743', '335088', '297583', '301741', '462337', '92172', '41699', '379850', '249583', '414297', '133512', '42242', '233876', '20575', '17139', '30141', '1646', '273255', '4146', '125215', '422739', '237012', '238343', '298463', '125853', '2444', '17029', '251706', '287260', '112739', '107566', '260447', '257729', '436570', '139426', '379615', '333325', '281454', '335384', '231144', '44015', '70600', '121016', '108285', '427954', '229072', '156625', '403269', '43037', '225885', '107839', '246951', '19578', '424293', '248877', '18172', '466126', '101444', '431367', '163243', '448469', '322428', '69518', '232901', '108180', '77721', '101343', '143873', '20897', '232144', '50686', '108267', '276327', '273243', '120448', '426826', '14863', '289093', '256535', '408564', '2791', '266005', '31547', '129714', '334839', '229824', '444636', '196388', '233432', '149691', '108197', '76345', '61340', '44339', '425546', '129724', '198042', '98940', '311974', '129018', '466354', '47665', '462957', '235158', '7908', '261442', '336011', '71100', '52749', '244224', '230770', '116140', '457950', '437502', '333259', '441038', '379867', '231869', '334732', '45891', '229753', '41838', '237771', '132065', '236340', '189257', '266335', '257985', '229825', '301593', '216696', '421740', '108272', '407545', '458564', '196687', '113971', '156922', '250040', '35796', '228491', '404149', '118050', '164596', '375965', '53789', '6720', '301667', '301657', '118272', '63422', '291710', '213610', '241823', '129466', '379217', '226258', '197721', '187259', '8201', '226289', '13530', '3189', '114131', '249533', '462436', '193101', '118924', '250609', '283691', '78897', '115468', '355975', '234282', '118874', '162350', '458552', '403759', '327164', '8516', '412927', '255553', '107414', '20871', '365799', '233655', '53291', '73726', '164199', '33098', '465745', '104346', '99826', '230752', '41696', '113084', '254932', '254567', '426662', '248500', '159818', '42620', '118729', '159240', '121035', '288554', '292168', '445871', '133131', '447037', '132727', '117101', '233784', '362891', '117900', '433599', '91171', '142897', '61076', '80834', '80710', '49136', '289382', '364847', '75359', '107896', '412694', '292740', '92041', '28686', '366509', '51636', '34513', '246876', '128622', '202982', '192594', '285399', '290591', '32537', '460702', '230940', '306001', '163789', '221105', '38873', '236818', '157461', '215083', '125898', '412508', '6974', '131286', '378079', '131846', '336053', '247831', '291729', '266581', '265768', '260002', '258226', '239460', '306614', '136321', '107905', '192083', '332724', '23490', '72208', '19946', '251914', '72596', '113190', '465998', '433048', '155185', '36480', '47488', '22913', '92222', '73400', '99145', '383795', '232583', '229094', '232220', '228865', '404297', '335585', '7836', '228758', '4361', '163794', '189112', '223474', '154514', '124644', '233908', '318690', '75707', '92496', '127736', '56384', '80639', '30236', '55107', '260273', '99714', '230464', '162094', '37168', '19856', '23274', '425234', '230227', '379925', '13363', '251361', '80608', '11696', '231962', '27723', '90114', '242431', '79196', '414088', '194166', '19106', '62823', '70872', '235999', '236235', '115462', '265977', '29817', '90727', '10102', '273487', '102670', '312103', '235418', '7695', '26476', '459878', '212925', '13779', '157509', '444356', '261909', '70429', '234836', '108134', '7174', '414916', '217176', '141082', '157073', '109582', '100171', '132223', '414270', '125096', '425595', '238770', '116025', '229874', '34809', '158467', '250240', '288247', '431778', '249968', '233549', '436391', '22880', '336798', '231806', '228954', '233832', '413897', '442747', '233828', '236821', '124583', '71150', '135963', '388976', '11295', '549', '435741', '92114', '228217', '424523', '197394', '1345', '109709', '378640', '132187', '404022', '246922', '4245', '134929', '68483', '245946', '102732', '335320', '229507', '47495', '255593', '197760', '281361', '374173', '49761', '366856', '65074', '306413', '132519', '426734', '286073', '248238', '959', '226275', '334214', '51545', '279274', '43584', '311599', '7104', '312918', '1681', '222793', '150761', '11318', '312114', '426811', '9344', '423160', '125240', '70804', '150912', '53397', '18554', '249567', '268888', '372758', '290834', '107798', '229972', '117924', '268875', '53831', '24193', '122845', '229650', '129662', '408033', '90607', '164121', '212618', '9652', '404059', '291117', '74601', '71643', '92236', '449278', '331003', '252258', '131778', '422818', '223279', '193853', '298612', '386008', '259519', '285079', '454467', '403501', '5058', '152844', '426372', '73656', '445591', '332750', '149652', '109573', '52276', '61580', '114308', '75908', '289181', '320464', '324471', '1290', '47346', '426656', '161745', '284995', '368494', '232553', '445674', '422841', '238161', '433587', '280154', '33986', '238892', '457137', '19223', '156020', '12973', '285766', '19225', '270940', '246999', '448610', '126861', '118706', '73860', '150262', '459646', '245779', '66163', '237758', '229374', '239411', '430906', '53324', '241767', '279963', '132515', '98035', '80817', '368251', '6262', '246796', '249747', '74729', '248064', '6948', '163759', '229175', '424539', '230691', '42333', '239629', '9908', '424578', '234765', '40606', '386045', '40331', '67937', '76061', '247655', '34336', '453703', '44690', '378576', '59482', '234779', '332334', '378621', '211075', '115279', '92405', '5363', '236705', '231866', '236957', '21951', '448390', '149555', '92168', '221205', '444957', '286702', '5511', '118755', '215840', '248878', '136370', '442906', '414236', '236780', '261688', '62137', '192488', '156129', '289193', '69655', '455237', '116854', '40396', '460091', '52415', '116032', '5359', '115999', '1308', '268867', '133133', '234255', '403172', '98136', '40043', '235046', '429747', '2019', '125104', '268119', '235857', '428855', '249200', '237965', '424939', '76419', '157329', '417167', '47742', '253872', '15798', '77615', '237466', '42975', '288439', '234877', '103942', '46833', '104209', '8153', '413147', '92099', '152209', '275664', '156169', '137214', '336621', '141392', '351355', '135294', '107312', '301714', '256486', '412333', '379413', '41981', '16119', '249496', '52702', '107887', '14173', '403530', '52385', '192499', '238012', '153389', '142586', '240845', '275681', '131784', '214007', '383923', '284204', '283800', '107572', '221904', '185272', '293023', '466391', '246297', '27800', '221797', '249050', '68123', '29310', '158704', '107886', '3296', '160955', '190107', '160743', '163260', '444235', '230382', '43974', '160796', '189613', '284302', '14716', '254948', '115491', '160366', '379789', '459597', '46292', '126075', '285277', '142583', '285272', '462147', '305818', '234751', '268915', '227643', '223998', '257984', '77813', '163268', '335232', '1851', '292864', '155082', '423217', '333418', '120587', '124712', '253315', '235375', '19435', '52411', '230212', '47045', '411426', '375325', '265764', '125232', '432280', '231399', '38974', '334604', '291127', '440902', '388155', '379788', '15318', '158979', '372962', '253045', '161594', '433629', '414647', '289385', '261943', '465148', '5086', '230177', '357779', '113229', '403608', '285118', '293076', '413062', '298680', '25475', '244264', '37528', '313308', '414668', '117659', '2645', '185817', '301868', '403941', '366436', '162317', '258195', '44276', '298970', '223219', '231424', '22142', '388615', '48661', '250676', '228936', '129656', '25621', '42134', '273550', '155490', '11367', '67570', '5653', '214116', '53281', '258219', '48048', '228337', '152356', '11506', '228149', '403253', '108288', '150795', '442840', '312901', '76050', '29347', '124638', '265651', '429184', '250195', '261906', '379759', '301594', '412304', '279645', '404027', '36355', '362952', '131891', '114922', '413603', '456669', '80151', '326037', '436280', '335370', '249847', '221066', '189545', '3885', '231516', '228654', '227944', '158793', '9677', '118332', '20559', '27483', '50216', '914', '332318', '13651', '130439', '157380', '120336', '80806', '404076', '50395', '248256', '440905', '125769', '253066', '22093', '107291', '414752', '38209', '290801', '155001', '125811', '282370', '291934', '289549', '156196', '78698', '9359', '234370', '452237', '431902', '221922', '238547', '212624', '386212', '103745', '62135', '107339', '403583', '53559', '110116', '373950', '1936', '3016', '21287', '117937', '269596', '163685', '337965', '261981', '41850', '39014', '238623', '409367', '257934', '278675', '430991', '7127', '307920', '332801', '362930', '233136', '53285', '278323', '22130', '186558', '414171', '335089', '286271', '31993', '222514', '107574', '118373', '403320', '114648', '227942', '107405', '248446', '425557', '53287', '99146', '109458', '29188', '60565', '233901', '111965', '114085', '109158', '26746', '70689', '197681', '107763', '237520', '196105', '44372', '334847', '109805', '118940', '143714', '383942', '431476', '117737', '292860', '233738', '291363', '31852', '639', '73710', '1265', '237819', '411403', '404234', '53910', '32333', '109557', '76261', '265795', '400409', '190391', '119899', '453243', '192807', '235042', '155477', '238747', '69534', '103353', '249488', '144972', '98551', '240322', '29659', '246946', '65073', '6021', '90018', '334693', '283796', '269197', '267691', '285358', '288629', '73465', '156739', '291104', '29787', '64709', '233485', '112448', '422724', '19070', '154371', '412499', '297896', '149281', '242428', '414448', '355988', '229019', '74522', '220929', '14613', '48007', '113422', '232832', '366472', '60569', '430835', '164425', '54090', '246250', '19635', '92240', '2602', '307970', '247829', '386336', '258037', '5484', '31711', '15211', '248473', '231249', '228750', '127492', '234111', '92414', '357244', '153992', '404933', '60181', '107706', '312328', '128950', '227519', '261257', '230981', '236093', '70291', '161493', '152696', '403751', '24781', '301865', '235750', '234665', '149544', '446853', '6157', '46428', '23395', '153626', '70904', '68317', '424362', '963', '426684', '3582', '79634', '2047', '158738', '10444', '118855', '153831', '290895', '413910', '156924', '214042', '18503', '112632', '162240', '5164', '136405', '252949', '1278', '132471', '233220', '408052', '52519', '298611', '410878', '351885', '332768', '403821', '5029', '327375', '430158', '113949', '90832', '311578', '427896', '191152', '160435', '257519', '286366', '395885', '414112', '129180', '112294', '291760', '235921', '386330', '229056', '351506', '413081', '307967', '232548', '21805', '134319', '290749', '60274', '118893', '52520', '414400', '290842', '306770', '15909', '270971', '113293', '285082', '11631', '110183', '32987', '14850', '106085', '372623', '297788', '127378', '228952', '230169', '227869', '227798', '238178', '70937', '127491', '227723', '428760', '289565', '273326', '72975', '378588', '414781', '108373', '156041', '70636', '290214', '231173', '248340', '117907', '80821', '426786', '52758', '114628', '191371', '249929', '108164', '158331', '317524', '237583', '285461', '39705', '32160', '78686', '255157', '387990', '404211', '10631', '1809', '115877', '233307', '8198', '430379', '280942', '249897', '107028', '291615', '370404', '342550', '117211', '52510', '372386', '233022', '90785', '326330', '221717', '458554', '41711', '334846', '249716', '191562', '156062', '27668', '249202', '187526', '236621', '132685', '243621', '457121', '194217', '258034', '73373', '246752', '266772', '121010', '239054', '237842', '412295', '153796', '237204', '157812', '164106', '232806', '79286', '246929', '18937', '116199', '215784', '288516', '227523', '222491', '378550', '107469', '271168', '248254', '262076', '294208', '155385', '38024', '162275', '235272', '112132', '1010', '279946', '54281', '231915', '71661', '116521', '298723', '258455', '48384', '109427', '408095', '245051', '80651', '73609', '237368', '440023', '379801', '196305', '297569', '121247', '336720', '109929', '413734', '405203', '386137', '254100', '216719', '69619', '270935', '43892', '157172', '257171', '431967', '210358', '265708', '124852', '243542', '72088', '411622', '312282', '153016', '227633', '194039', '301585', '190642', '156725', '127738', '412503', '278656', '326688', '76513', '255757', '90850', '228004', '254899', '197674', '280768', '67699', '90820', '52565', '248248', '403430', '383402', '403984', '98939', '119773', '203019', '136726', '73771', '21560', '227821', '64003', '107929', '7755', '424375', '379992', '413851', '422824', '261873', '403568', '301580', '137213', '117583', '195525', '364095', '301932', '63246', '283186', '289066', '383966', '222698', '285493', '16262', '119594', '76020', '273366', '261948', '439160', '335285', '300474', '152479', '76023', '248154', '117456', '162430', '155027', '114644', '254260', '7048', '437002', '255273', '162803', '7287', '13034', '286867', '375210', '301126', '247623', '60887', '130422', '236730', '229263', '435054', '394922', '228017', '386274', '24492', '145674', '214016', '238299', '11027', '351740', '118480', '30904', '162942', '12763', '366122', '403542', '113394', '235637', '334741', '154560', '45074', '246347', '412906', '317486', '290979', '107506', '190810', '25411', '139496', '231482', '379948', '443038', '102185', '249402', '422894', '70017', '195019', '422434', '226300', '17819', '228873', '318583', '110145', '249691', '290247', '17536', '234330', '118354', '435371', '443593', '50745', '458549', '262382', '5186', '334603', '149370', '234114', '160125', '423204', '117676', '237088', '53753', '10258', '158074', '63149', '80754', '332315', '301888', '290270', '5397', '14930', '320519', '4756', '34674', '322512', '134424', '80494', '332896', '71534', '117220', '364098', '428940', '116008', '281671', '374137', '14445', '239242', '158178', '117999', '157621', '288384', '379349', '15703', '3005', '233427', '154808', '334564', '436167', '119085', '306391', '142605', '228775', '301492', '279703', '71120', '1343', '287073', '117837', '426019', '368477', '187271', '294299', '412389', '424335', '306820', '150346', '378644', '374906', '251148', '52529', '51949', '26671', '27999', '221005', '412494', '132036', '351789', '109692', '127479', '378649', '429511', '229310', '39450', '130867', '413899', '228997', '24338', '370381', '195531', '71297', '220971', '14123', '301767', '403488', '237885', '160809', '108473', '378652', '121379', '109520', '283565', '29358', '9043', '363982', '375962', '298458', '297679', '414155', '285229', '157806', '332905', '291081', '114178', '185710', '228739', '1714', '70925', '33211', '379394', '79389', '12762', '384019', '436669', '139450', '256583', '412541', '154802', '268748', '108241', '238259', '114968', '3376', '76310', '425573', '288892', '301844', '5171', '152369', '19135', '120143', '283948', '252128', '108595', '229471', '43278', '248483', '273267', '308006', '25063', '298153', '185430', '118075', '438934', '255016', '61772', '404028', '238886', '142388', '387558', '118560', '289528', '235504', '335165', '444158', '109204', '5573', '23112', '101817', '254510', '235382', '455576', '243239', '132513', '129386', '163857', '427116', '332620', '238035', '65634', '5405', '159267', '114256', '378978', '24834', '306777', '99457', '14422', '438930', '60157', '46386', '210872', '448808', '233150', '29271', '161564', '310888', '414690', '230125', '112454', '48331', '130267', '20389', '258180', '258359', '6043', '283876', '234645', '426800', '301676', '238152', '117222', '3789', '156903', '134173', '414330', '50372', '158975', '286761', '137144', '151068', '431912', '465447', '5724', '442626', '162792', '107806', '265754', '341076', '458570', '70368', '123080', '333006', '157613', '307924', '14906', '70336', '232179', '376706', '378564', '236681', '439158', '403938', '378622', '114586', '118256', '97012', '378591', '116852', '280752', '149637', '234088', '163161', '230518', '1456', '80827', '234684', '433589', '117806', '423174', '92045', '25507', '236352', '231807', '213911', '46444', '294816', '250663', '254949', '11040', '197493', '232531', '317485', '232683', '273398', '221223', '292398', '430899', '283443', '467285', '231553', '130075', '128459', '24192', '159893', '164513', '283961', '228326', '248724', '143286', '3409', '221808', '1193', '292761', '47453', '152347', '151525', '290556', '250200', '4889', '5955', '47736', '122057', '52707', '231888', '190385', '50977', '54903', '256729', '229117', '63126', '111882', '16060', '107545', '4544', '232041', '247903', '403205', '360325', '193671', '222942', '191251', '79110', '215198', '71736', '298638', '422855', '228452', '395486', '249956', '231987', '131801', '151030', '232731', '290966', '111074', '125929', '132023', '194109', '79024', '127306', '216247', '60467', '142582', '80257', '146463', '216169', '413305', '73448', '258227', '42639', '20149', '121318', '31971', '457452', '43774', '118557', '231894', '248367', '13811', '374051', '103768', '243276', '72191', '227716', '285187', '223484', '248215', '289240', '426817', '128981', '4408', '412949', '114264', '327232', '248444', '289132', '69948', '13342', '226523', '264294', '21456', '234709', '221962', '233996', '277224', '423170', '136012', '136', '191231', '149900', '413273', '71988', '457610', '144319', '414950', '334480', '314390', '271625', '63319', '220893', '224880', '403829', '109914', '229666', '245722', '53260', '118749', '15580', '149765', '27050', '239688', '20516', '58854', '156571', '34693', '228228', '448529', '92178', '403332', '228798', '125352', '65057', '290604', '290658', '261942', '379560', '334012', '413066', '52329', '290148', '327421', '146491', '403724', '6892', '191612', '131423', '69663', '185376', '331679', '155503', '336588', '150904', '374161', '404196', '19872', '100351', '245699', '257539', '62340', '162204', '234179', '281077', '153291', '238950', '250702', '229255', '257176', '255195', '70401', '4438', '404194', '257990', '457095', '262513', '129863', '133379', '233592', '278585', '291686', '326611', '318366', '19099', '142384', '107629', '231334', '228235', '414831', '238066', '43551', '248861', '414932', '442878', '154547', '278698', '249556', '319464', '228891', '7005', '80500', '69646', '154930', '114346', '139725', '33263', '457204', '266116', '157555', '60782', '61819', '40062', '378392', '115415', '19448', '78842', '234142', '379023', '265839', '334740', '231827', '113754', '227706', '231872', '141285', '229938', '253018', '108342', '91102', '16099', '433937', '317498', '413793', '231957', '290587', '423233', '372449', '195127', '65197', '132786', '235269', '239220', '33095', '14140', '108207', '236557', '271036', '247734', '403358', '25646', '335402', '141461', '333987', '414953', '62188', '114835', '266266', '59467', '21304', '383846', '246230', '248211', '374357', '129272', '77742', '104250', '247182', '455764', '427980', '466143', '133328', '155947', '290064', '61740', '136831', '430181', '139539', '281290', '254335', '444693', '211668', '314529', '152590', '125222', '307964', '301669', '365955', '293736', '235387', '61770', '395535', '114916', '326046', '36761', '228631', '224878', '230260', '230551', '49685', '379941', '30393', '305422', '246282', '117675', '301869', '349889', '404178', '80480', '109794', '233459', '91206', '217008', '107122', '125983', '466171', '426834', '61804', '114735', '103364', '189816', '291781', '28258', '457807', '205', '108046', '366859', '118451', '142214', '270524', '237116', '307963', '334632', '92295', '59497', '373486', '451849', '2732', '322299', '149358', '465135', '233658', '73261', '155765', '39619', '283553', '156034', '202278', '215406', '426808', '384125', '305527', '307962', '404230', '432189', '156851', '237906', '108884', '150049', '291812', '24287', '233391', '415139', '143870', '403782', '44', '15656', '10692', '134794', '53398', '234826', '164728', '326283', '129409', '228335', '445900', '241766', '27230', '250726', '163205', '10458', '270567', '154488', '454044', '288838', '337670', '229388', '132344', '255183', '290952', '76468', '215609', '108929', '313402', '11583', '430958', '152676', '39208', '383403', '146823', '238385', '383953', '157835', '133347', '71224', '162521', '403649', '164135', '465248', '436930', '261760', '4059', '306409', '413991', '403964', '291870', '278740', '232585', '247324', '326595', '248943', '145663', '229759', '141371', '125100', '70313', '189503', '220890', '426812', '221738', '158105', '162054', '154040', '113721', '107749', '118000', '236588', '60921', '14112', '228869', '6224', '143622', '429715', '164073', '4517', '269134', '27023', '191401', '234985', '63701', '374297', '9494', '379873', '331059', '111151', '225084', '136245', '457155', '117392', '46239', '2198', '19847', '239156', '75815', '283963', '309077', '115465', '231671', '187282', '155457', '5274', '111831', '231861', '413726', '20939', '113431', '214001', '101843', '70013', '162825', '5986', '232902', '51017', '22109', '247142', '417105', '2211', '334215', '73612', '26816', '79987', '92250', '109562', '261569', '92255', '113124', '248588', '113152', '410545', '115448', '117859', '186733', '379075', '58374', '61629', '46991', '54361', '235993', '366457', '237421', '156045', '424973', '76036', '161198', '4478', '92430', '41697', '413540', '16517', '318546', '415140', '72820', '466822', '386282', '227950', '453157', '365038', '461104', '118638', '120972', '8685', '429194', '232678', '220843', '315560', '366547', '249068', '432711', '289079', '425344', '233596', '116598', '412401', '231821', '248753', '149541', '414413', '374082', '132975', '375970', '159919', '465202', '1687', '378600', '228770', '231837', '366444', '249883', '410516', '259995', '260223', '232568', '333724', '320536', '17831', '127633', '77845', '159384', '291726', '124817', '120334', '296207', '413972', '422849', '143631', '73417', '143360', '320566', '211084', '63336', '154920', '107766', '228255', '235629', '333216', '245617', '273107', '232510', '53611', '116811', '270221', '46314', '135272', '334704', '428111', '467156', '247266', '211253', '319455', '70362', '235835', '431439', '157919', '312954', '235393', '46532', '76102', '281522', '233429', '386310', '118921', '22739', '212835', '116034', '164233', '188566', '241705', '334499', '270979', '33255', '51788', '433205', '378650', '378656', '133086', '318719', '940', '403435', '125899', '344365', '232632', '253458', '403360', '249992', '312457', '366666', '149350', '8382', '158514', '5220', '232388', '108140', '108258', '227556', '326724', '273007', '109584', '238303', '159524', '92144', '101267', '58829', '65184', '425347', '281826', '124068', '414504', '185182', '214076', '113095', '294327', '62083', '151651', '249305', '55614', '301575', '71769', '404011', '60430', '215141', '195005', '1951', '79025', '233430', '144041', '239167', '147900', '152684', '233423', '132059', '92192', '90910', '228229', '124011', '246378', '422860', '248019', '273972', '46289', '64902', '245804', '121490', '234718', '47373', '32503', '232258', '226648', '10191', '414000', '3155', '4340', '133604', '92068', '71196', '16962', '80803', '238226', '113784', '46492', '236524', '142281', '117037', '80839', '403651', '247951', '433039', '131917', '76071', '228461', '73039', '365880', '368254', '4651', '128686', '248511', '35781', '21864', '72837', '3740', '221711', '237746', '424181', '235630', '283809', '256563', '227912', '37115', '14410', '92446', '413799', '228025', '230717', '151279', '5743', '247789', '286841', '41977', '285765', '52462', '465599', '448810', '47302', '24261', '332340', '310581', '23138', '141239', '243', '403328', '40536', '268092', '379483', '283596', '158432', '282495', '61597', '193676', '236358', '123969', '10495', '156705', '457469', '256613', '16537', '290559', '190052', '313176', '234256', '7069', '452812', '261476', '288361', '279589', '403980', '11986', '424743', '194613', '456724', '403718', '148200', '135373', '15577', '379962', '221787', '76421', '287768', '117657', '426007', '293457', '334546', '297653', '20221', '232091', '214147', '378579', '53313', '425378', '400638', '66276', '336051', '24928', '238139', '24647', '430690', '193899', '368971', '32229', '238516', '249680', '414739', '118993', '115500', '317420', '6467', '446831', '372416', '53270', '161559', '195045', '141814', '466111', '462730', '91160', '336215', '155137', '5537', '197022', '423201', '122526', '221275', '13617', '50001', '249995', '142873', '262046', '430194', '248965', '76091', '153197', '267692', '288670', '47337', '50025', '108172', '113117', '439161', '414743', '414033', '90105', '8812', '273482', '229405', '193774', '24293', '63704', '233522', '238251', '227639', '237020', '193856', '291210', '297862', '271894', '334587', '412516', '128530', '232509', '436755', '367923', '408865', '47237', '124722', '62181', '46503', '229276', '425343', '196092', '233472', '413598', '157575', '149383', '238999', '291246', '339', '229847', '117796', '92371', '132259', '80832', '41277', '264093', '6962', '465104', '221897', '73006', '42029', '8871', '143262', '71737', '110443', '335076', '107530', '125881', '126160', '158719', '79583', '15551', '395897', '73672', '30790', '326698', '30616', '274274', '424386', '40377', '7683', '158642', '230591', '434942', '250606', '122023', '153371', '157536', '234907', '288770', '194208', '414787', '293051', '229811', '142611', '299841', '462181', '154182', '290991', '15842', '5610', '71233', '334952', '229478', '186543', '257173', '302342', '47538', '465620', '7811', '246581', '403145', '150729', '150905', '211418', '336673', '337069', '227649', '378814', '164615', '19537', '228011', '153622', '210106', '320511', '161149', '107809', '422785', '102573', '236837', '32573', '51387', '145025', '22372', '449147', '412915', '422752', '162858', '285325', '320520', '6977', '248165', '1732', '90826', '122007', '372472', '433449', '20912', '92321', '14267', '403348', '465903', '75940', '447957', '1520', '288744', '238497', '145567', '395511', '132016', '133354', '383410', '355986', '78933', '144327', '107615', '279956', '157074', '284352', '424385', '65060', '221013', '80027', '7922', '378836', '142636', '161370', '306532', '379579', '8938', '305891', '332955', '378897', '297907', '232025', '144254', '79718', '228917', '372372', '347858', '374159', '404127', '77906', '164678', '44603', '27648', '50103', '60928', '60760', '235762', '357801', '210734', '28952', '142371', '30499', '274668', '66655', '71734', '289942', '76352', '152587', '164713', '152705', '291038', '279600', '234203', '210748', '9740', '221187', '383857', '78679', '107284', '54444', '404060', '70270', '459891', '465634', '152122', '151307', '248879', '423206', '127764', '151388', '414833', '441027', '283887', '238306', '107142', '301845', '288772', '142675', '427031', '270165', '18563', '335307', '426644', '12648', '73554', '227941', '153213', '288324', '335156', '455009', '113151', '374158', '103704', '133136', '117373', '460570', '1955', '444448', '160946', '228701', '368959', '227931', '156043', '142153', '460866', '271902', '467522', '342317', '187420', '227530', '411506', '379824', '326353', '157641', '268865', '379439', '242165', '403500', '229005', '49322', '227985', '466873', '60466', '248811', '284435', '247983', '31255', '162226', '444487', '457254', '449637', '228582', '214048', '228506', '238452', '20004', '281607', '15651', '215195', '363994', '238537', '128356', '133572', '72955', '231156', '73300', '443570', '301872', '109819', '66828', '13929', '421741', '249803', '157460', '243378', '238596', '281876', '238821', '905', '225781', '232532', '17912', '4803', '52674', '190170', '457460', '231829', '266040', '68154', '164447', '139457', '404036', '404017', '124392', '306831', '422536', '158978', '232558', '368942', '234189', '49470', '3006', '414397', '246440', '237111', '35023', '123982', '158515', '70911', '435313', '263856', '227806', '413133', '238487', '36060', '319493', '262751', '68148', '283298', '33022', '285332', '228649', '237164', '317492', '314548', '132015', '108978', '24250', '155025', '70383', '383374', '285022', '306842', '281960', '43722', '232294', '265975', '117610', '257812', '150518', '249435', '23931', '150285', '73454', '238543', '149345', '21158', '322277', '144805', '239214', '308269', '46663', '213964', '22271', '383009', '334227', '279827', '250030', '107501', '233424', '379663', '408072', '281140', '292822', '194235', '119057', '404077', '27645', '238780', '119427', '34417', '3252', '372475', '215144', '429423', '161650', '157162', '107265', '158129', '157829', '37982', '414940', '301658', '238099', '72903', '257914', '79574', '132293', '70972', '153894', '386264', '92454', '22195', '34461', '283940', '368606', '229804', '221134', '63122', '32271', '285488', '423210', '35349', '355963', '145512', '211359', '326328', '27908', '48464', '117943', '233234', '242626', '375619', '248464', '133047', '372301', '10972', '3367', '233240', '27021', '408628', '78676', '49353', '308841', '404148', '73687', '428885', '6161', '150746', '234148', '408811', '442036', '61341', '414437', '134513', '413989', '68760', '229652', '298285', '291411', '235414', '223477', '124737', '36146', '109181', '76301', '160246', '38158', '228257', '222161', '404189', '263460', '403165', '213296', '239259', '154886', '11489', '227342', '305526', '80779', '452244', '286858', '136373', '62933', '237375', '412655', '100535', '118089', '403354', '261999', '326810', '426758', '70284', '257767', '366447', '141908', '285380', '25430', '31127', '236903', '414674', '364089', '326264', '238647', '261723', '127260', '229254', '238160', '247782', '237487', '426245', '3700', '191909', '231928', '459285', '48930', '403193', '149843', '431004', '413011', '430868', '313314', '227820', '58822', '149312', '461905', '460618', '102218', '76298', '414507', '335429', '413702', '453565', '422863', '283639', '413035', '423807', '423081', '1975', '322520', '134874', '436745', '52763', '70835', '258103', '336026', '108030', '403663', '2550', '17594', '266052', '19439', '249824', '38160', '107102', '4462', '42378', '202247', '60765', '128915', '296943', '14102', '290703', '14350', '158131', '248512', '10024', '60926', '408837', '73555', '69943', '431632', '372966', '236077', '38013', '403420', '220842', '257839', '119274', '123024', '334323', '259184', '246938', '457128', '221014', '335349', '128069', '61294', '160267', '292758', '248963', '281539', '228580', '71301', '301831', '334636', '254334', '368946', '16206', '14514', '153344', '236515', '226655', '461782', '379351', '247949', '63842', '404934', '245709', '120167', '234084', '114555', '156670', '270939', '318733', '79713', '238062', '413772', '461056', '403514', '5386', '147425', '257830', '26994', '312519', '102715', '266015', '286097', '229558', '379781', '226281', '67956', '255232', '24472', '47780', '306576', '457422', '35979', '142528', '211415', '25093', '445797', '386068', '430984', '71149', '152391', '131289', '408880', '53740', '19006', '2735', '7278', '436472', '107857', '164687', '247350', '76059', '301587', '251056', '251576', '431951', '71706', '248405', '196663', '6083', '333753', '231515', '306841', '236568', '153649', '52740', '228856', '125874', '132530', '230531', '289972', '249433', '444899', '409585', '231921', '117820', '268921', '7292', '233909', '195051', '11237', '422798', '114376', '4660', '302349', '33035', '8162', '78717', '251059', '109659', '288388', '229533', '62392', '58228', '3156', '466', '285578', '313016', '92226', '124508', '71119', '162283', '151033', '411120', '107768', '136302', '7583', '65077', '269138', '72178', '73091', '288186', '158990', '135035', '2340', '301604', '69692', '118380', '291654', '161529', '386158', '120514', '157072', '305540', '334762', '164970', '288355', '14193', '246611', '334574', '1027', '11233', '334961', '436730', '238269', '343688', '406618', '331692', '306536', '34251', '247647', '246246', '422634', '268474', '58798', '301899', '188914', '40806', '72221', '5744', '111416', '110625', '288262', '22684', '125440', '63620', '414568', '17405', '235853', '126282', '290704', '290046', '215601', '124489', '107982', '221679', '119794', '76365', '297820', '32970', '62222', '137018', '163783', '36788', '107914', '283959', '378681', '150998', '157405', '216656', '8099', '238491', '366429', '318666', '231180', '256424', '71134', '145195', '215404', '154960', '185494', '403576', '379939', '247621', '69516', '124548', '233803', '428166', '283650', '301618', '290449', '404315', '232557', '27799', '408593', '243527', '273532', '284218', '74773', '18910', '59495', '8778', '278036', '2867', '455873', '21809', '301664', '9441', '100205', '262170', '379505', '291159', '305853', '297724', '149676', '258641', '108542', '153774', '255342', '107148', '137011', '229177', '132246', '248349', '460752', '301643', '283668', '232355', '236555', '235132', '62068', '196169', '268454', '120542', '278968', '99112', '289001', '125903', '185886', '76083', '403364', '425569', '67032', '193240', '284474', '10816', '336019', '62202', '125537', '404016', '109833', '11517', '125902', '428858', '233080', '215074', '236651', '115382', '127623', '42385', '232054', '239544', '403926', '256645', '318159', '60974', '446497', '72790', '251846', '408677', '365987', '221232', '427453', '427606', '272812', '289808', '383624', '433938', '366459', '101839', '465616', '120768', '227965', '34682', '227851', '92126', '194920', '277271', '47019', '134402', '186506', '9450', '425315', '52765', '128684', '64319', '404089', '247158', '413606', '160869', '411440', '403740', '70653', '19522', '234441', '466338', '379624', '284724', '289182', '155901', '413148', '229621', '288814', '245817', '403363', '249783', '73423', '239224', '162719', '10492', '260896', '403249', '336387', '281069', '54345', '234043', '6741', '267368', '314607', '431336', '301707', '1696', '283833', '231336', '119793', '250340', '301573', '379954', '232275', '124030', '270954', '229911', '248276', '249815', '454453', '107878', '429719', '292410', '412561', '289468', '152345', '403947', '231345', '285565', '258876', '234816', '109661', '3819', '158314', '13741', '111377', '35681', '121401', '326725', '298376', '113231', '80475', '448486', '383728', '134020', '116713', '298043', '529', '224879', '40856', '246566', '18913', '423171', '423193', '68965', '164420', '160578', '2529', '273458', '9477', '426755', '192013', '42169', '142872', '141485', '188189', '158718', '233144', '63916', '152353', '202249', '62130', '403319', '186484', '466872', '120862', '431806', '246994', '120554', '134664', '460468', '163898', '366487', '155131', '466239', '196221', '2673', '124713', '146396', '227796', '34551', '143075', '149656', '103361', '10889', '281784', '40335', '355990', '24248', '426020', '231988', '7894', '229714', '22728', '230160', '49715', '425767', '108525', '372500', '351733', '14172', '101542', '163882', '1582', '478', '568', '413855', '150569', '335586', '118352', '134066', '232929', '163612', '20470', '21728', '284900', '242185', '20165', '114041', '230004', '109434', '285445', '293030', '246835', '444154', '388421', '357133', '426801', '92148', '116136', '411202', '246749', '156433', '248096', '413193', '195618', '266123', '62056', '202208', '232607', '109142', '364023', '556', '331663', '79632', '116672', '135256', '26607', '137114', '211419', '253014', '99064', '107377', '457503', '185736', '118377', '403300', '92284', '301805', '422396', '215682', '188072', '42655', '4055', '403844', '404152', '52525', '8343', '125195', '99204', '111530', '267461', '24212', '243559', '236951', '30254', '146229', '214777', '236990', '18891', '63061', '366758', '289039', '253134', '230679', '314534', '136262', '383896', '114507', '71894', '281708', '55544', '336202', '447097', '92252', '280210', '164247', '289543', '233514', '131657', '378514', '404191', '229127', '215129', '46339', '379905', '297619', '406289', '71102', '246139', '254332', '375979', '214013', '301921', '10479', '127407', '233264', '249781', '412690', '365783', '23584', '25148', '412967', '252806', '10347', '153380', '232495', '16234', '332319', '235299', '467283', '158658', '227213', '433394', '248217', '5207', '108885', '287752', '282447', '32725', '211732', '414776', '447322', '131598', '117508', '426741', '71129', '249857', '2134', '257856', '107701', '248833', '134662', '284306', '277394', '261743', '157334', '248015', '231502', '246695', '120633', '231466', '221535', '408905', '414788', '427588', '235615', '306467', '58493', '248484', '63614', '238723', '424354', '248236', '235112', '19503', '38364', '191304', '51997', '226425', '122660', '243255', '202279', '318547', '457678', '73371', '161653', '17580', '130440', '31112', '79226', '52585', '273506', '423177', '5835', '114054', '285058', '232820', '46785', '238386', '414177', '210610', '422399', '365794', '253749', '8826', '10060', '272882', '248733', '285077', '230566', '71303', '239454', '449726', '65136', '412950', '288713', '234927', '311562', '230174', '90737', '411386', '132720', '111588', '75934', '41270', '262779', '320507', '144439', '308842', '309067', '52767', '42816', '289275', '215258', '74107', '149959', '376697', '322667', '279289', '403537', '254298', '403498', '30362', '31032', '16395', '153407', '246068', '26548', '284368', '283667', '453104', '403877', '232773', '284935', '335548', '228465', '360397', '110870', '118842', '41707', '238268', '238526', '374515', '281071', '20060', '65082', '281073', '454516', '157298', '196946', '34333', '214873', '232650', '422858', '426914', '92308', '284019', '250177', '151237', '52807', '222529', '338340', '462319', '140707', '301821', '158146', '10880', '46317', '248267', '289875', '288403', '248950', '11418', '194267', '30061', '429814', '127693', '305553', '301641', '411449', '232228', '54868', '194219', '18842', '73028', '425998', '225621', '423241', '426043', '2206', '322133', '149696', '45809', '155301', '149859', '132244', '231694', '252331', '21824', '92455', '236731', '324269', '19704', '236944', '8945', '333936', '233553', '254744', '43800', '254375', '317352', '71554', '372280', '283433', '249921', '408633', '463027', '229463', '259991', '298359', '3097', '125112', '336677', '159104', '433235', '403644', '430647', '216767', '101705', '403841', '376705', '107614', '202301', '158136', '431366', '210082', '379881', '133992', '285310', '143599', '133531', '403881', '132726', '342801', '114505', '210471', '99162', '449836', '5892', '424364', '118723', '163517', '120340', '465473', '454606', '7684', '327016', '108106', '414993', '160584', '76265', '408619', '273573', '249521', '254227', '135182', '380021', '237607', '125201', '24377', '109617', '70791', '26741', '232106', '195884', '422712', '61778', '254236', '232943', '336599', '292027', '231628', '223646', '247755', '444477', '256482', '373639', '8236', '71108', '271505', '158286', '56126', '665', '234830', '63833', '109285', '116117', '238448', '301713', '322296', '403252', '430830', '290909', '258151', '75391', '427430', '69527', '305285', '74605', '273540', '73048', '161404', '164949', '249330', '132274', '71290', '126414', '246046', '308733', '262939', '238518', '152765', '214614', '69606', '10841', '100065', '157574', '47431', '254534', '78955', '125516', '162130', '41448', '247149', '301791', '80153', '245809', '109134', '386269', '37436', '21487', '414962', '111041', '288823', '12571', '297661', '28137', '237772', '271948', '289250', '242429', '153086', '229015', '77826', '457200', '20186', '248732', '444251', '429339', '465735', '412943', '332952', '444520', '160070', '192033', '25576', '118388', '154832', '61425', '3969', '248224', '80557', '123664', '18275', '424327', '151511', '145855', '109928', '466073', '429754', '78280', '16323', '235870', '217042', '453237', '289304', '231461', '318134', '334727', '13108', '290702', '17428', '235559', '278671', '109644', '128793', '238300', '1274', '92269', '379633', '226287', '423236', '92053', '428736', '422866', '305491', '237757', '403626', '385639', '107175', '62277', '196018', '403287', '10650', '162779', '228647', '366434', '446818', '162925', '137529', '47941', '232952', '24417', '238823', '5187', '233740', '198048', '1458', '229481', '233346', '250319', '289493', '267583', '431062', '107971', '284076', '290973', '442920', '13720', '50738', '61214', '249732', '2934', '152822', '290813', '149502', '455172', '233615', '115357', '412341', '426023', '237838', '413765', '308001', '301531', '191863', '230384', '428086', '430867', '288600', '326601', '222490', '104213', '404687', '413869', '412693', '51541', '153205', '70856', '326681', '256983', '308741', '79341', '423188', '285322', '4495', '284267', '162053', '115308', '229665', '366563', '413424', '4344', '5612', '17618', '366453', '408577', '229521', '160252', '11122', '3509', '144828', '236723', '9531', '28257', '195003', '283353', '42275', '109527', '283509', '70433', '137524', '335084', '413363', '154272', '356007', '140074', '237142', '466344', '425462', '465346', '466275', '271941', '425565', '258169', '426804', '53239', '79626', '290086', '403578', '423022', '72773', '114167', '164171', '108107', '24617', '412931', '74618', '236211', '233811', '291213', '288204', '35837', '240272', '158566', '448866', '153346', '245939', '38961', '453684', '252574', '113145', '231906', '107804', '58632', '250232', '414754', '157121', '414746', '216391', '25546', '72932', '113634', '216421', '107855', '413508', '270869', '11903', '246132', '417222', '230205', '69775', '288427', '423212', '70871', '186624', '132368', '13582', '403652', '458556', '258988', '281682', '133382', '223400', '297800', '249640', '284249', '403659', '432368', '77548', '333941', '59459', '384132', '20036', '241587', '14222', '92123', '127773', '298602', '403197', '255609', '50248', '44914', '110925', '237695', '426795', '151749', '379643', '245811', '32932', '248815', '268083', '233900', '131811', '5847', '423247', '408450', '188131', '234222', '217092', '270863', '250886', '235241', '226567', '76379', '403456', '32302', '59534', '186503', '289239', '281172', '288410', '270901', '162312', '378655', '235100', '266111', '46707', '305860', '16964', '283352', '17198', '334522', '131878', '253176', '60553', '298613', '265845', '188686', '141905', '301786', '73866', '236713', '298388', '223488', '156031', '461136', '194691', '318727', '283458', '122870', '285158', '378645', '288358', '139489', '260044', '374176', '68446', '107829', '133084', '386366', '110240', '414443', '197400', '141418', '154079', '42460', '403998', '422886', '24280', '161573', '92380', '249523', '162578', '16207', '237416', '292912', '16098', '160782', '127434', '114824', '289427', '254222', '92084', '288604', '270898', '7654', '363981', '157615', '52780', '17544', '413168', '248756', '237015', '188692', '21807', '75335', '1432', '334712', '460904', '1105', '55506', '383994', '272877', '156742', '73036', '383309', '424200', '403948', '59469', '109768', '47363', '91149', '8620', '232135', '24934', '60478', '240846', '403571', '236580', '75924', '343599', '288698', '57888', '403394', '33770', '379386', '162383', '162491', '414777', '163467', '14061', '111320', '194649', '246205', '379592', '70922', '250029', '6755', '30752', '1853', '188237', '113396', '255617', '461528', '282346', '191149', '53851', '380553', '270876', '281280', '336782', '440128', '137151', '34652', '232733', '288663', '457151', '252455', '3483', '216160', '235916', '414740', '228946', '297813', '255159', '3060', '150869', '125964', '117849', '109608', '126792', '76272', '243454', '11655', '221921', '114057', '13171', '8548', '461550', '65118', '413980', '258084', '220861', '376344', '334657', '227524', '253058', '210283', '422400', '290611', '3227', '286151', '53362', '229394', '242302', '117228', '313075', '2370', '158358', '155481', '334228', '153642', '223579', '160789', '259481', '291063', '114318', '380434', '110050', '253271', '441251', '11245', '6602', '63180', '336415', '23503', '288409', '404126', '75446', '403543', '7151', '156839', '257209', '154296', '61516', '422726', '413870', '29689', '335130', '386654', '136314', '285031', '372489', '426791', '70348', '191044', '155468', '246085', '258205', '40977', '129348', '424543', '124864', '403296', '285345', '335262', '143516', '228243', '438939', '193278', '257840', '100536', '155108', '313', '120538', '228885', '108530', '195872', '334210', '232739', '266118', '130823', '372495', '11007', '235082', '231914', '249000', '221786', '61548', '235729', '114046', '225510', '91229', '129634', '136823', '118704', '70296', '110780', '235799', '11708', '215708', '364076', '283609', '386006', '110890', '297920', '195013', '225106', '28275', '90757', '222378', '54424', '130347', '285235', '24292', '413654', '60556', '426055', '459048', '21440', '270905', '403818', '287355', '301756', '232118', '383652', '116941', '412347', '257751', '5808', '248004', '158239', '158660', '61377', '249751', '60971', '234090', '290628', '236534', '384142', '52295', '118457', '413442', '62460', '355966', '3589', '320503', '73274', '466157', '379308', '71674', '155775', '59530', '52563', '364101', '21717', '21344', '352917', '403377', '233981', '135303', '103369', '379166', '422753', '363988', '70921', '414175', '190147', '26289', '443013', '360383', '10042', '73787', '164861', '228759', '250079', '4499', '139458', '46417', '423788', '192108', '69525', '233899', '288577', '195924', '301881', '226296', '110842', '231361', '422862', '262274', '366561', '79704', '17880', '273360', '362158', '9807', '25423', '99925', '130159', '331831', '13270', '33897', '117720', '73362', '92116', '109924', '229321', '155156', '280923', '368975', '308999', '5451', '118485', '108169', '234080', '455581', '211728', '273639', '148052', '465155', '409366', '236448', '257741', '220946', '413608', '64197', '308965', '395461', '311935', '6489', '444981', '73380', '209', '245816', '5702', '465467', '378653', '39618', '71195', '215234', '414622', '103700', '253212', '61888', '291652', '11912', '144592', '113960', '379270', '113186', '152086', '423078', '235481', '160434', '386290', '47425', '290613', '466149', '3314', '3954', '457126', '235837', '384071', '233935', '159025', '370393', '57878', '290887', '228531', '235621', '129697', '373952', '79685', '253103', '98680', '155801', '194960', '34105', '58340', '61461', '10236', '69502', '290788', '412868', '427741', '387722', '107921', '334622', '287526', '53918', '261697', '463859', '79591', '186620', '228712', '117074', '57785', '281514', '1573', '186438', '227545', '285138', '444601', '427939', '61681', '67769', '61005', '431180', '71611', '75954', '195789', '110123', '73004', '223569', '234678', '163918', '236996', '115115', '92330', '49558', '57774', '380454', '465109', '234036', '79983', '2179', '185128', '234774', '196607', '326197', '7471', '145173', '362653', '125448', '154956', '306736', '251698', '237347', '47144', '108021', '156237', '120501', '237198', '159215', '105618', '408554', '273395', '290775', '465866', '162838', '194818', '107964', '210212', '26440', '228848', '158657', '5260', '111851', '409960', '236324', '241597', '57714', '210433', '229568', '250315', '6710', '62891', '357117', '414080', '244936', '130566', '41708', '157142', '125465', '343181', '249324', '242178', '122885', '412923', '270917', '408597', '342646', '306883', '132483', '256746', '288570', '301830', '417761', '266003', '161916', '293080', '4244', '237517', '150519', '9262', '258196', '105194', '426015', '132982', '127061', '234337', '21125', '246737', '366430', '135714', '232972', '259363', '234451', '31843', '144147', '428049', '163407', '117885', '125866', '129443', '36885', '223854', '235136', '186644', '104185', '378436', '211068', '462541', '150861', '161581', '317491', '116728', '334345', '229196', '462829', '221225', '332873', '465371', '133035', '311707', '215379', '97046', '119227', '24669', '70888', '212857', '425359', '311478', '1213', '137244', '9250', '195706', '191719', '412406', '17625', '311414', '73437', '424272', '21492', '308920', '240063', '141617', '108399', '49931', '247485', '372410', '252399', '124446', '801', '257102', '291776', '52802', '430147', '378679', '108338', '108324', '423683', '313022', '301687', '193474', '465617', '465975', '98742', '44280', '248135', '39080', '3832', '247756', '15431', '414644', '438933', '192490', '71349', '77982', '260172', '230998', '404244', '374184', '434347', '74730', '194884', '266368', '191928', '33617', '114357', '24821', '160003', '246318', '286887', '460924', '64211', '91242', '6521', '449762', '50102', '422711', '265804', '212623', '44320', '246283', '252233', '34332', '238153', '239189', '229475', '153364', '214928', '109697', '334678', '230957', '52738', '125854', '228138', '243359', '412618', '285242', '248244', '228501', '403585', '403610', '233852', '6635', '194354', '50348', '72946', '333890', '117685', '7867', '38336', '22981', '60349', '413208', '237130', '70651', '238531', '425357', '25352', '8130', '266422', '152398', '16270', '221336', '227738', '92282', '136441', '109714', '318713', '245098', '92498', '438941', '117858', '288875', '126131', '22771', '142460', '31018', '248761', '71750', '164747', '16875', '335185', '30610', '265883', '124790', '76066', '160830', '289934', '244824', '465391', '429035', '224817', '234289', '63738', '228754', '164792', '194430', '221116', '159781', '403866', '403846', '372296', '194358', '306782', '422764', '20908', '1827', '31987', '118908', '122420', '120858', '109553', '62128', '118875', '130815', '445114', '3831', '255543', '249139', '229055', '258684', '46345', '194322', '164234', '424546', '253205', '60320', '226488', '20239', '34744', '403376', '92146', '5810', '124389', '78374', '227596', '197624', '141710', '333885', '16354', '366535', '70905', '237024', '465277', '235495', '265982', '284727', '444504', '232209', '403946', '228576', '121250', '234780', '378619', '194068', '230905', '332728', '101294', '80130', '234767', '33370', '149582', '436821', '116181', '245780', '291075', '261962', '72915', '215712', '19246', '99653', '232297', '273274', '230701', '406317', '226985', '53784', '422534', '9189', '290870', '134967', '250595', '291844', '255663', '151627', '229193', '417110', '289867', '103701', '154313', '246202', '79307', '450133', '53760', '5307', '108962', '137171', '408583', '42453', '161031', '335242', '62855', '235972', '233645', '412754', '305822', '372611', '413652', '152088', '187277', '431011', '290679', '150123', '57665', '50625', '127446', '27293', '452377', '70713', '231203', '72829', '286923', '113966', '249549', '61445', '161284', '412741', '422870', '364911', '373938', '76374', '247128', '163192', '229572', '149744', '58055', '255861', '63589', '129327', '256380', '73508', '135285', '150161', '186272', '289351', '431020', '107568', '284665', '248778', '113277', '221705', '227709', '61942', '233192', '129378', '500', '15804', '414075', '159214', '378375', '155703', '150963', '192571', '429371', '107436', '374011', '261459', '250174', '298594', '132832', '121083', '75740', '376341', '68027', '141906', '68115', '341305', '230337', '233064', '29303', '122547', '234424', '237946', '15254', '239059', '131955', '113412', '150799', '431818', '120986', '127425', '53717', '294348', '290958', '186726', '129049', '360290', '436952', '61482', '137019', '8134', '132029', '3912', '47236', '238021', '236779', '232719', '231418', '142707', '427957', '40666', '281626', '332764', '261644', '55699', '114347', '118494', '99866', '331918', '108985', '21260', '98722', '130473', '234666', '137100', '202027', '8573', '229261', '273779', '288854', '233896', '123163', '146666', '426469', '465749', '386443', '48291', '306741', '383304', '2101', '289511', '128733', '408326', '221086', '238093', '425619', '379924', '187410', '133520', '401011', '288504', '71731', '137040', '237724', '412417', '32519', '294899', '291707', '259946', '211708', '404302', '238464', '102246', '228350', '429906', '301538', '27279', '126007', '127426', '8560', '1219', '357248', '290610', '332797', '5969', '291820', '136198', '254517', '113337', '31013', '293033', '14338', '413573', '76478', '401924', '58722', '313309', '426784', '162432', '441036', '430454', '151241', '118757', '27153', '3066', '114063', '269121', '241780', '244421', '7750', '147238', '307921', '11957', '73627', '133714', '266085', '117667', '412996', '2398', '231948', '237498', '326336', '24189', '5988', '290547', '35740', '72092', '158452', '426780', '72952', '117488', '122445', '149381', '232155', '192508', '193024', '118232', '189213', '26422', '105211', '150978', '353119', '62449', '149642', '227206', '255320', '61977', '423218', '49891', '426042', '40846', '279776', '92005', '137028', '343572', '11542', '249278', '306258', '395744', '31431', '109615', '151544', '235851', '162075', '5132', '107407', '143331', '118719', '248845', '76396', '127007', '160455', '449884', '216666', '335580', '432137', '860', '133562', '247318', '71594', '251087', '115387', '403665', '249174', '335453', '39235', '284236', '427674', '239508', '465738', '63359', '65177', '406303', '61634', '154971', '24406', '308921', '234610', '422973', '439579', '57662', '366504', '191780', '65090', '80643', '235866', '70977', '109423', '40211', '234764', '233666', '311358', '141353', '314604', '122840', '137960', '423235', '19315', '229851', '75074', '234750', '161046', '214113', '257799', '291315', '237747', '355994', '27015', '467161', '107747', '403705', '55543', '69628', '423173', '237506', '90178', '42250', '157321', '113212', '6218', '10321', '69939', '107588', '123048', '467024', '145519', '72220', '21126', '261856', '251959', '71155', '151879', '47716', '288465', '65231', '288831', '75278', '352530', '258100', '107678', '126807', '10659', '69495', '19073', '386272', '229430', '225695', '230417', '364053', '117862', '193918', '164472', '403381', '230656', '71244', '65198', '258072', '301672', '305225', '9873', '60915', '384025', '298648', '104036', '302551', '194150', '130626', '162817', '228799', '232624', '422748', '159770', '233437', '120703', '44684', '202041', '428330', '283851', '231299', '237099', '234781', '291124', '70720', '73591', '353157', '298623', '109353', '314582', '413040', '439870', '156825', '249498', '400236', '10453', '68772', '11985', '101274', '73167', '335484', '434071', '20432', '73173', '63234', '288394', '22568', '141574', '244556', '301717', '234378', '269308', '380030', '232869', '71164', '126373', '123142', '463267', '414449', '228678', '153203', '80795', '9966', '204405', '117292', '228222', '92429', '239920', '403182', '290847', '364025', '227840', '289144', '272187', '129332', '240662', '222468', '117368', '113995', '231839', '290603', '409961', '231127', '59465', '232992', '247016', '1586', '24182', '19696', '92196', '47194', '366576', '333276', '231875', '118099', '236907', '116189', '125745', '99159', '136461', '341088', '233386', '412337', '143215', '229022', '222099', '386294', '162542', '163984', '236225', '160744', '228459', '343135', '238468', '115887', '285260', '236848', '107336', '14354', '4554', '257056', '53681', '370319', '7864', '227884', '4312', '120632', '283920', '4726', '158225', '161670', '365030', '92278', '431368', '460706', '75293', '202112', '234198', '430200', '301758', '285210', '367355', '229502', '27249', '395929', '190835', '242631', '52277', '231154', '40347', '403384', '47638', '194176', '291798', '368230', '185572', '108789', '60390', '24653', '229835', '125716', '463681', '292705', '326743', '122934', '73640', '125127', '143633', '375974', '687', '410133', '158115', '228512', '152103', '221509', '383395', '415058', '403202', '298347', '5159', '320550', '221727', '379363', '47066', '3181', '228489', '10607', '452126', '9447', '43063', '71300', '225925', '245978', '216522', '120089', '255026', '10705', '52333', '290431', '232417', '134547', '414904', '277845', '326376', '99854', '49896', '288900', '336014', '414571', '280914', '154790', '130659', '406316', '412802', '64129', '291012', '132279', '334714', '352806', '441262', '39464', '356013', '2492', '426145', '243545', '114266', '232705', '433594', '386003', '60380', '242604', '433520', '403331', '221853', '53692', '57781', '465208', '19699', '31031', '414977', '56725', '229691', '53296', '23042', '73549', '386314', '232430', '43676', '246747', '52787', '233632', '99102', '5170', '413602', '117772', '238690', '215318', '326696', '403769', '185129', '248030', '451793', '366512', '256580', '124304', '404030', '457', '114383', '426', '273619', '422852', '235518', '231175', '152811', '265936', '64006', '6774', '30138', '3420', '429111', '234115', '61136', '269649', '246296', '61966', '92130', '289984', '283656', '134090', '197630', '236908', '216538', '125981', '90133', '63836', '355962', '235489', '54256', '228215', '105269', '92289', '248826', '149298', '465865', '153806', '109907', '46899', '117944', '6371', '229730', '265949', '226944', '44424', '9958', '76499', '383690', '262461', '101830', '210711', '118419', '41702', '230429', '211725', '297901', '378669', '128012', '123140', '193648', '12451', '139429', '73042', '248791', '427418', '214000', '244913', '227508', '155934', '108798', '287937', '76427', '13451', '327145', '288782', '217178', '414074', '403187', '121015', '289603', '79076', '222115', '74523', '52379', '122237', '72496', '233979', '158791', '114319', '135571', '249605', '280819', '113052', '359', '138401', '235360', '154686', '403897', '20654', '194642', '12474', '362940', '2708', '19375', '69947', '412997', '211710', '334226', '307433', '413867', '53677', '33088', '293160', '280859', '197572', '1231', '285346', '236457', '412411', '294231', '301840', '214018', '262299', '235881', '163710', '301833', '99099', '42628', '158636', '334526', '28185', '326722', '414154', '73348', '47217', '153007', '73567', '58782', '116783', '226274', '311415', '439764', '154437', '245065', '366564', '188145', '335035', '422823', '90070', '65046', '124524', '432364', '144840', '47958', '426064', '107643', '25045', '73407', '403449', '228532', '414648', '439581', '131781', '292989', '283765', '273401', '122149', '107790', '414881', '235157', '160016', '156185', '69972', '188379', '186604', '239286', '103709', '436640', '233646', '4867', '134765', '352221', '253084', '253532', '194424', '239447', '15999', '457196', '120952', '60970', '140313', '25609', '395480', '234730', '342562', '414885', '3117', '113108', '4852', '7217', '196179', '229873', '16101', '158786', '432', '65215', '107403', '97043', '466387', '137034', '108088', '154803', '257893', '293625', '210823', '46450', '191709', '158591', '100435', '1768', '194385', '334462', '294442', '133325', '101276', '231606', '336009', '305846', '142408', '230979', '53288', '249868', '423704', '439668', '273157', '25205', '290905', '47832', '238808', '229058', '249833', '258406', '423238', '249614', '73015', '452440', '64213', '426833', '239094', '290197', '289302', '351735', '92009', '289237', '70716', '228984', '151304', '109778', '76442', '194191', '34568', '297568', '233585', '322307', '292102', '257989', '40374', '258108', '254270', '414794', '233513', '248694', '431838', '258271', '55734', '250199', '32299', '211570', '107846', '113725', '4736', '227828', '46233', '128171', '282444', '334246', '236574', '331723', '238031', '107364', '1218', '72173', '268869', '119390', '109386', '230392', '228457', '35032', '124059', '137045', '453030', '228492', '160974', '294209', '33600', '40809', '227594', '162214', '15967', '53240', '249712', '130059', '153008', '157467', '72945', '307655', '384009', '79365', '108335', '291134', '336031', '444101', '270985', '214135', '458462', '42170', '440085', '366458', '318729', '53709', '246542', '127350', '427400', '318657', '286178', '246609', '268073', '427565', '297927', '403733', '433790', '221564', '265877', '427420', '231413', '226318', '414222', '379946', '239459', '134958', '413108', '460293', '2518', '247945', '27724', '290545', '467317', '290573', '288086', '91163', '237484', '227784', '279962', '235365', '414376', '449150', '423265', '457401', '133944', '103352', '403266', '122421', '462671', '157560', '281504', '261756', '107748', '53670', '444061', '378675', '108278', '109542', '248201', '442168', '54850', '343040', '8785', '290871', '384178', '301564', '320480', '114732', '11136', '248636', '134229', '164207', '74167', '162381', '223700', '222445', '230341', '228989', '243929', '151129', '151340', '10518', '12388', '52745', '250228', '154724', '156054', '223556', '460937', '158462', '288459', '40668', '109613', '25536', '365790', '235634', '410787', '403827', '355992', '91173', '413404', '117929', '148606', '277', '334668', '187309', '5450', '408915', '463554', '22711', '73580', '388877', '144032', '65218', '407576', '293039', '55067', '254835', '92502', '235788', '80684', '27256', '50109', '114397', '4975', '118127', '47252', '230489', '143226', '90810', '403658', '306259', '230295', '1186', '157623', '6397', '4731', '443528', '107920', '12715', '4463', '334231', '250091', '307653', '142608', '80714', '214858', '413419', '462531', '92234', '120328', '143699', '376702', '411445', '258252', '235018', '257891', '233344', '97081', '372438', '249840', '248086', '403691', '376478', '48238', '130679', '114428', '311463', '2120', '256475', '291703', '194939', '97054', '97003', '68800', '243319', '288562', '424201', '394573', '403166', '229578', '157972', '22356', '236958', '195669', '237853', '404005', '76098', '211208', '17943', '239198', '248319', '117920', '125512', '234257', '226279', '78970', '297598', '9229', '372479', '427929', '62801', '236125', '191589', '70914', '429352', '311881', '117897', '73418', '284113', '19149', '451841', '287460', '430434', '411325', '289466', '467029', '130268', '80793', '228179', '426828', '120869', '403977', '27590', '101878', '164809', '4280', '114692', '426214', '215828', '63844', '47758', '73727', '444107', '414944', '236999', '228034', '79993', '229174', '92145', '372477', '215716', '75269', '403231', '289573', '441752', '187299', '99978', '210959', '77536', '244049', '297575', '122846', '334835', '426037', '250028', '245992', '256764', '2586', '411430', '432344', '261941', '250691', '211138', '424028', '273530', '157998', '457502', '32854', '4492', '290636', '805', '2387', '302327', '433525', '90117', '160844', '270871', '326720', '232765', '2984', '430154', '429585', '24828', '249923', '90078', '426766', '228338', '33215', '414915', '248011', '105121', '430104', '271672', '261899', '222428', '463166', '133711', '446013', '308922', '237990', '160835', '224964', '33672', '215757', '61279', '221191', '128775', '248237', '430081', '34676', '290803', '164568', '35856', '257674', '256877', '22328', '34442', '31594', '335187', '432252', '426861', '164352', '249031', '239252', '150671', '113309', '285238', '229860', '68536', '119047', '141174', '161852', '436359', '139987', '414552', '231703', '25342', '283461', '235413', '355982', '374228', '285556', '46278', '59510', '301894', '228826', '160724', '154613', '70867', '226339', '132231', '158760', '98932', '117978', '453806', '317885', '185039', '3963', '123967', '403957', '228666', '124015', '466299', '55085', '228703', '270966', '76276', '250399', '13010', '414543', '108263', '142589', '139282', '232298', '114751', '237575', '14824', '360314', '335368', '109908', '366851', '334302', '291034', '46389', '80648', '36782', '64348', '11983', '430501', '246640', '53301', '117224', '378574', '336407', '12229', '110518', '221228', '426557', '110587', '252505', '105038', '366540', '269599', '62700', '160475', '414190', '246985', '132317', '235383', '145721', '58936', '288332', '249193', '156804', '336007', '467028', '272934', '210091', '237286', '249391', '54265', '136354', '403373', '128441', '345682', '423054', '412661', '236809', '445904', '58111', '431568', '122496', '290129', '279005', '22347', '403902', '210722', '149623', '53661', '61422', '162407', '13684', '266421', '18459', '73408', '247140', '130510', '226618', '234057', '41825', '292834', '433074', '290671', '11904', '107810', '334556', '117683', '22331', '301506', '139652', '403656', '34717', '162839', '414883', '54815', '150641', '288767', '268049', '271575', '29372', '320529', '162908', '326618', '230759', '42246', '294345', '69555', '228279', '232469', '378638', '331763', '426317', '423245', '91156', '163085', '211587', '239130', '114321', '379860', '70900', '366093', '405162', '231967', '231655', '283462', '257897', '68489', '5325', '251175', '30033', '8373', '269278', '122996', '285450', '235861', '129420', '5642', '227473', '466875', '13297', '191805', '272912', '92427', '130717', '70019', '292095', '151483', '231510', '229991', '161671', '134561', '46402', '248550', '104320', '34544', '164552', '192995', '233664', '156028', '261323', '405179', '156910', '60511', '73376', '279763', '221061', '60359', '435062', '291690', '308737', '161310', '124372', '422401', '157382', '80526', '231370', '152196', '257252', '102187', '117891', '163090', '109875', '334193', '4866', '343035', '113766', '12426', '452679', '337070', '261920', '124869', '132314', '50443', '368756', '27130', '69974', '228795', '433703', '74162', '465158', '430459', '68917', '37816', '426725', '261769', '404019', '378626', '249967', '239516', '268881', '149539', '145022', '118562', '237412', '427081', '228054', '368891', '335186', '237904', '425382', '231261', '71222', '69541', '51092', '288602', '376721', '107575', '135359', '431804', '187525', '114008', '236239', '379299', '298607', '139428', '52649', '3871', '5784', '466092', '92497', '301558', '35088', '265840', '424526', '228493', '365668', '2128', '162478', '146398', '408592', '291711', '149384', '64036', '62463', '214913', '233713', '298501', '25508', '221520', '159000', '76068', '423269', '227730', '211746', '256581', '134556', '336160', '283904', '192766', '238490', '76492', '7306', '52578', '313027', '232420', '231039', '386160', '227055', '25380', '3573', '150583', '131268', '30392', '331721', '34443', '47022', '119150', '238014', '116162', '118724', '110669', '80117', '52621', '293026', '141248', '258267', '42810', '3023', '28732', '238039', '301848', '162210', '232627', '113154', '129545', '234454', '277070', '10119', '305489', '61300', '136722', '256582', '126786', '237773', '250130', '32230', '188160', '386296', '133798', '364026', '366544', '286385', '3202', '58764', '157819', '291153', '238962', '244118', '62781', '231465', '71697', '190238', '59488', '230794', '110334', '150828', '107286', '249325', '256608', '286200', '228074', '403323', '372515', '287055', '151403', '247441', '164824', '23223', '230816', '38458', '261515', '5380', '231233', '52698', '216680', '255387', '379051', '31805', '192808', '362229', '233701', '118239', '403673', '58239', '97019', '233184', '137109', '92012', '99674', '6875', '120171', '152417', '281325', '109282', '378610', '285419', '16229', '157008', '285155', '109721', '245677', '413669', '414525', '301605', '70738', '436019', '159165', '151674', '8033', '25094', '414417', '16244', '27665', '261361', '105034', '164452', '448864', '135176', '342247', '254813', '23170', '211401', '156551', '408420', '197505', '193692', '430964', '237859', '278092', '221793', '256447', '188039', '158592', '250756', '58929', '289542', '109241', '211851', '465541', '386074', '46454', '91178', '317582', '5302', '286769', '298636', '445677', '158373', '21288', '47149', '23092', '7839', '98754', '128813', '287332', '383635', '100520', '436270', '70420', '134511', '262039', '28700', '426760', '140043', '1073', '108755', '51943', '448441', '412597', '7788', '320549', '98819', '379908', '136363', '286724', '9452', '463686', '403265', '231455', '410854', '160436', '71197', '291006', '216753', '403732', '288937', '221009', '291777', '188889', '414542', '59681', '336459', '247580', '24922', '236339', '215739', '279610', '46348', '443493', '284820', '24279', '184989', '285289', '426046', '72209', '29576', '423224', '73175', '52432', '120716', '52776', '124280', '16259', '267021', '151164', '110532', '445607', '220883', '232536', '139960', '290773', '279608', '9323', '236684', '378517', '282973', '221683', '388197', '286252', '378688', '187481', '61023', '160097', '108384', '250420', '60642', '108805', '255444', '386262', '233104', '330374', '11141', '131232', '460661', '34382', '452901', '236707', '465230', '306131', '248402', '426792', '462777', '270539', '467282', '247143', '424991', '107953', '243228', '282398', '445897', '152189', '253595', '620', '108299', '368911', '422722', '149439', '229651', '190001', '72210', '156121', '108158', '315305', '335430', '92195', '425460', '68908', '14862', '76479', '71143', '221325', '113125', '46792', '379859', '108520', '466214', '466024', '228555', '130629', '221773', '77632', '64156', '32411', '12196', '73615', '194045', '70895', '135302', '403244', '221677', '334560', '240054', '238883', '107688', '118798', '431324', '15647', '119481', '235890', '189995', '333569', '210932', '73528', '24320', '13944', '230457', '22564', '107331', '54691', '281749', '129429', '417034', '71158', '413141', '247919', '261902', '14398', '331769', '124773', '115884', '436070', '285320', '114360', '336802', '34795', '20704', '228677', '363984', '161256', '128712', '211720', '320925', '6065', '156203', '113672', '462599', '228720', '280013', '255467', '149880', '257824', '457194', '60726', '197616', '256772', '297969', '4610', '143223', '122360', '247887', '20258', '288737', '162295', '368708', '431389', '435560', '109354', '517', '230060', '131267', '408737', '452904', '152038', '234859', '462655', '233565', '71167', '335595', '98624', '379449', '284959', '237915', '368521', '75073', '233689', '133994', '289119', '236298', '465694', '251928', '318732', '154870', '11592', '157139', '231975', '238112', '261507', '73307', '247823', '21486', '233794', '248551', '436949', '436549', '412572', '217188', '9101', '334660', '237397', '274050', '71283', '20954', '414161', '378430', '10189', '64013', '426673', '336184', '163156', '232026', '5396', '379487', '191155', '140280', '424813', '270980', '7961', '135623', '35407', '23008', '248310', '70730', '57788', '247702', '336577', '39573', '19564', '107269', '297782', '98135', '314941', '79518', '232587', '1977', '301985', '150523', '231735', '427380', '109800', '231398', '108017', '192048', '463468', '163681', '3469', '157767', '24839', '43836', '230477', '191685', '237211', '131856', '318571', '7679', '47052', '246780', '25442', '75948', '288237', '379565', '236896', '247785', '231853', '378601', '425560', '298758', '128568', '413874', '466244', '1125', '161917', '245025', '248343', '292926', '132984', '32188', '150772', '124537', '8511', '235962', '109371', '467430', '247024', '54280', '258433', '107440', '75901', '8192', '154558', '90861', '3758', '78886', '22398', '340837', '118039', '335399', '190600', '190083', '39022', '11886', '114132', '150136', '257896', '191027', '298557', '241570', '238033', '256298', '255546', '190142', '334563', '5383', '135217', '373949', '21049', '428818', '92503', '102548', '186956', '114722', '250560', '163198', '288328', '266434', '108178', '50344', '99690', '115123', '7304', '379762', '117234', '34209', '51843', '292825', '372418', '375441', '33741', '255379', '231781', '424389', '412498', '34649', '10017', '261915', '237565', '427586', '108402', '61292', '117863', '10027', '251178', '11264', '334608', '379314', '322406', '42247', '134139', '230791', '136023', '71792', '60552', '225801', '558', '232802', '466365', '334631', '235808', '414741', '109588', '80830', '261923', '371485', '233842', '243801', '424737', '247777', '403961', '59492', '155959', '132400', '289166', '76412', '2822', '336213', '52467', '157339', '374174', '70918', '19350', '408920', '211251', '221963', '139251', '403625', '27161', '261933', '70404', '12205', '69530', '108191', '630', '368593', '7578', '12400', '252925', '425568', '212864', '403210', '285962', '72950', '365080', '141054', '90087', '210388', '246582', '408921', '155111', '128779', '430184', '21499', '193959', '423163', '372421', '188696', '235934', '125216', '108739', '98683', '129653', '224555', '297780', '52490', '108157', '231289', '32508', '400497', '23176', '15727', '109776', '981', '232947', '238603', '236256', '403267', '280442', '69725', '273142', '32161', '375975', '221742', '458574', '467044', '442829', '71246', '379761', '27131', '280760', '433', '424373', '107445', '4864', '79728', '379757', '151966', '159037', '287606', '98699', '286491', '411496', '113625', '281714', '281691', '72881', '18815', '73718', '249683', '33205', '80701', '46780', '336099', '156556', '237068', '413894', '108249', '229937', '284988', '111599', '220940', '257545', '334346', '261561', '116984', '228752', '231621', '9803', '73575', '224391', '231983', '107035', '379799', '247918', '226633', '431874', '10468', '236337', '290892', '133898', '151182', '134216', '235599', '38965', '242058', '152682', '285533', '232925', '18873', '110134', '118426', '229899', '28416', '68121', '14206', '306746', '280944', '283886', '74691', '249595', '271626', '320532', '76264', '228534', '148025', '108371', '230521', '272590', '405183', '372382', '92170', '442966', '279772', '194498', '255045', '44082', '403415', '15529', '423785', '99502', '426075', '253065', '132222', '408383', '221510', '423073', '115077', '4577', '236523', '247922', '1949', '221681', '252840', '289086', '335314', '232937', '417080', '190534', '120786', '326704', '290997', '230214', '235426', '289487', '228723', '153362', '53299', '44439', '289575', '132236', '403398', '122854', '35502', '413563', '28719', '283151', '18735', '59502', '137061', '433905', '34462', '14035', '13324', '312686', '123966', '261971', '52485', '61242', '333114', '7694', '291285', '403688', '424579', '220875', '278589', '34839', '404225', '354237', '273519', '294921', '378581', '283915', '290721', '154784', '49940', '133720', '441461', '457406', '283440', '238486', '119339', '112124', '261848', '294235', '228475', '30768', '188810', '251762', '116073', '432956', '227781', '53342', '255322', '288816', '448097', '132749', '220839', '52821', '202263', '127234', '25573', '55006', '73732', '229511', '236467', '158440', '431574', '107314', '378489', '117719', '235318', '284089', '142202', '53272', '232697', '365739', '301895', '71926', '386020', '116108', '283404', '157136', '228502', '68960', '220815', '436246', '457136', '248880', '7950', '61771', '671', '124380', '231401', '379623', '196850', '134603', '112292', '195564', '194026', '444736', '371479', '423246', '374276', '46471', '238839', '77765', '163105', '445693', '190320', '403248', '58234', '145163', '107616', '426036', '364105', '378628', '229883', '403620', '4518', '11215', '249412', '299649', '427010', '234078', '111403', '107462', '128205', '3203', '237440', '229725', '413185', '263308', '133630', '423202', '210129', '115361', '430166', '197315', '47016', '308003', '141503', '114493', '230452', '91182', '238774', '212861', '403310', '466226', '285241', '233445', '212639', '426830', '11221', '291402', '16387', '424372', '249348', '49594', '155326', '107100', '233725', '253879', '250179', '378971', '404239', '412889', '139505', '245172', '360302', '301521', '120819', '413000', '238515', '223392', '196237', '239594', '414056', '125501', '258194', '253150', '246845', '77793', '324209', '403762', '291730', '251136', '158671', '162297', '294202', '288362', '18348', '364090', '253817', '120651', '235791', '229397', '463517', '263737', '164963', '125715', '80629', '258053', '244037', '253217', '63309', '43471', '444305', '427413', '129649', '29360', '425597', '366465', '406430', '117959', '150348', '244567', '414015', '71203', '108284', '156335', '336502', '286113', '79717', '270878', '140138', '71206', '154797', '271513', '195415', '156190', '234904', '270923', '92335', '228132', '229931', '133596', '231348', '229586', '189956', '58852', '73391', '196120', '250220', '7166', '211711', '288470', '127404', '109407', '236735', '135233', '372450', '190036', '237811', '190553', '25599', '251354', '291294', '247693', '247781', '433433', '196318', '149400', '8351', '46426', '71862', '132079', '334965', '395745', '290723', '248958', '260004', '442868', '20416', '413290', '232787', '228540', '298316', '135311', '193410', '151194', '195773', '332706', '61573', '265769', '110884', '107289', '158833', '3201', '15993', '30278', '228388', '386285', '288345', '192016', '298729', '121731', '125855', '107343', '92021', '90140', '105043', '191849', '372951', '151308', '230062', '80642', '257888', '221784', '379025', '231301', '72485', '403875', '299855', '147710', '11286', '46705', '114741', '24285', '363992', '284910', '425380', '335233', '2638', '73433', '109729', '8441', '75363', '160805', '422826', '262013', '211569', '52701', '280201', '388854', '149901', '291706', '108524', '297651', '236214', '118957', '117708', '71820', '107438', '120966', '43628', '288632', '261695', '92098', '379406', '434121', '33503', '422708', '335205', '387855', '192485', '110028', '227930', '426838', '288886', '156108', '160413', '437522', '158325', '24920', '211390', '335514', '41675', '301802', '242899', '107373', '10012', '46507', '457506', '107676', '75323', '378627', '465816', '403935', '5996', '185884', '156729', '236718', '333291', '337065', '222439', '250077', '145359', '214806', '6064', '107522', '239343', '9277', '194232', '235959', '427602', '265775', '210368', '412491', '115257', '109847', '153181', '113638', '296132', '229455', '2283', '403327', '403230', '236341', '127784', '269663', '5057', '291718', '142604', '34832', '114382', '233050', '22280', '64627', '336313', '270885', '465379', '153095', '1993', '92247', '268917', '221172', '247920', '250331', '222130', '432378', '379636', '135585', '412322', '102141', '429170', '113380', '379582', '410018', '257522', '379088', '229790', '248458', '113116', '383397', '378664', '289879', '26192', '109755', '287120', '60768', '288499', '128968', '253614', '265761', '157975', '291821', '26107', '11522', '8732', '249314', '130024', '283900', '193313', '234938', '232357', '109666', '248678', '289952', '130575', '259922', '290776', '413004', '136883', '237991', '448556', '413523', '233330', '417151', '8736', '212863', '236154', '101270', '457340', '447954', '105728', '223839', '280947', '5885', '331757', '224694', '190818', '99934', '69792', '238280', '124545', '372666', '222520', '422859', '422774', '32557', '272571', '334689', '157603', '372411', '298666', '413079', '290577', '417457', '131850', '53866', '194209', '70944', '109137', '112444', '262140', '271952', '301766', '221094', '72229', '238541', '119780', '153807', '162394', '163992', '9164', '132760', '63618', '121620', '22194', '412082', '77584', '247405', '54423', '234030', '386178', '261783', '197094', '227587', '232680', '412490', '425346', '8088', '52744', '231668', '414028', '261802', '235181', '431064', '343130', '331771', '246236', '101269', '160259', '402775', '142857', '234250', '378415', '235505', '229435', '154592', '55528', '428854', '155648', '426689', '118533', '723', '235943', '12354', '29863', '63832', '52656', '134940', '42156', '266245', '290047', '3439', '151367', '232283', '60305', '125529', '261851', '252823', '249540', '239255', '101877', '152107', '301639', '27589', '412771', '290376', '379105', '248779', '232780', '412554', '70666', '424568', '32706', '75383', '290089', '75831', '131927', '433258', '273396', '25090', '126317', '41414', '77723', '120950', '72947', '372474', '12155', '229336', '430161', '248289', '39285', '71748', '118936', '236218', '211842', '230954', '430894', '413090', '91227', '363993', '877', '289476', '290274', '383543', '414374', '47069', '193833', '54620', '383351', '286438', '246290', '69615', '233174', '150487', '139434', '186408', '127724', '157224', '6730', '3297', '11183', '366555', '108349', '389285', '457463', '48152', '465733', '249471', '161139', '250042', '424367', '188365', '117713', '403672', '26945', '336641', '288879', '13776', '196859', '114750', '414536', '142596', '317845', '448524', '73769', '192406', '107930', '114121', '8105', '2769', '403945', '117318', '312995', '233640', '297836', '334924', '408548', '134189', '248546', '238320', '426754', '228767', '135614', '285142', '236116', '317798', '8952', '124684', '125385', '320499', '117986', '109777', '8735', '266124', '125298', '253695', '355987', '185807', '333239', '153190', '223444', '290029', '403768', '60625', '152992', '231607', '236810', '143637', '50209', '164104', '188127', '91183', '191989', '3310', '248323', '122868', '388587', '164177', '427374', '465929', '155190', '194374', '108370', '227960', '453914', '19326', '422530', '465708', '52705', '232729', '256962', '422783', '448544', '150988', '142368', '149547', '76271', '229274', '194040', '442967', '107262', '52009', '305319', '6546', '452', '422792', '103558', '372213', '157320', '233557', '289154', '230053', '383408', '92407', '257669', '403349', '247105', '249008', '6597', '109382', '155902', '64295', '192568', '248329', '422731', '6760', '127722', '298778', '247086', '439585', '283592', '99652', '118901', '6343', '386073', '26698', '412749', '336072', '342690', '187336', '12340', '121036', '53647', '333290', '10025', '237210', '313310', '5402', '2223', '294916', '129316', '331791', '5266', '124984', '98047', '401402', '90081', '10539', '69553', '414253', '70322', '194160', '266371', '193372', '11293', '135818', '424336', '238016', '378351', '61685', '333249', '139497', '404044', '126209', '25429', '420245', '110111', '455869', '228379', '233543', '255392', '24837', '238635', '290123', '334909', '239472', '162531', '109201', '466140', '457634', '465505', '52425', '403647', '79696', '157254', '97020', '3893', '229994', '239397', '164725', '288575', '250036', '118112', '414261', '413755', '422854', '75559', '75966', '237663', '317368', '248892', '136168', '378538', '266036', '355979', '4907', '13967', '24333', '241851', '26747', '1251', '202221', '149554', '307717', '404394', '99783', '236240', '598', '47278', '426677', '190256', '240922', '185683', '290379', '427467', '403161', '55715', '70842', '80782', '336416', '238291', '403803', '335553', '444092', '3556', '160788', '450209', '72917', '227849', '125976', '108536', '228528', '231109', '40361', '131185', '2075', '229325', '447959', '118035', '236865', '21812', '150907', '248478', '233319', '384028', '272513', '460494', '118819', '289572', '63955', '233882', '414670', '408235', '458558', '141549', '262051', '230088', '231860', '404224', '102718', '283232', '312904', '157725', '298382', '139445', '240051', '422760', '232657', '244385', '422477', '306821', '13524', '118353', '216676', '273275', '150274', '417128', '233339', '257515', '221794', '230713', '403495', '107598', '121038', '334348', '157707', '107389', '365738', '258288', '237785', '19318', '422829', '164510', '466128', '63644', '161499', '53885', '113036', '266325', '91189', '76516', '231726', '1273', '108114', '289069', '338088', '216802', '252857', '113358', '79293', '402431', '230110', '98936', '254859', '144754', '292408', '230184', '108526', '412387', '24221', '372509', '284918', '283464', '73132', '164930', '132476', '424278', '290699', '232284', '63713', '6079', '301893', '433047', '69559', '186037', '133809', '466364', '413879', '118276', '283813', '292830', '76376', '125839', '10826', '227836', '235110', '379760', '267473', '444792', '14072', '19253', '231394', '10278', '185575', '428812', '138879', '257945', '229046', '232378', '122788', '403787', '313009', '284872', '46908', '227978', '290722', '20497', '12968', '585', '247664', '303767', '15581', '466145', '234955', '465886', '237828', '246745', '151382', '2078', '334625', '254224', '59531', '234016', '92091', '107473', '283868', '109700', '403404', '235417', '47451', '414333', '156723', '239030', '58177', '19454', '8224', '114666', '28670', '403367', '343072', '250584', '258483', '411131', '154259', '215647', '261925', '239137', '155130', '71851', '107898', '12359', '14351', '250192', '141099', '6735', '3466', '15960', '114756', '6869', '91164', '1847', '379707', '136789', '222273', '364080', '228455', '30062', '372417', '55786', '362876', '19683', '285559', '130380', '73338', '331681'}\n"
     ]
    }
   ],
   "source": [
    "import pandas as pd\n",
    "\n",
    "\n",
    "df = pd.read_csv('./data/author/NEIMS_test_11499molecules.csv')\n",
    "NistNo = df['NISTreplib No.']\n",
    "print(len(NistNo))\n",
    "print(type(NistNo[0]))\n",
    "NistNo = set([str(no) for no in NistNo])\n",
    "print(NistNo)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "11499\n"
     ]
    }
   ],
   "source": [
    "test_mols_rep = []\n",
    "for mol in mols_rep:\n",
    "    if mol.GetProp('NISTNO') in NistNo:\n",
    "        test_mols_rep.append(mol)\n",
    "print(len(test_mols_rep))\n",
    "\n",
    "test_mols_main = []\n",
    "for mol in mols_main:\n",
    "    if mol.GetProp('NISTNO') in NistNo:\n",
    "        test_mols_main.append(mol)\n",
    "print(len(test_mols_main))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [],
   "source": [
    "from rdkit.Chem import AllChem\n",
    "\n",
    "\n",
    "writer = AllChem.SDWriter('../data/fastei/nist17/test_11499_rep.sdf')\n",
    "for mol in test_mols_rep:\n",
    "    writer.write(mol)\n",
    "writer.close()\n",
    "\n",
    "writer = AllChem.SDWriter('../data/fastei/nist17/test_11499.sdf')\n",
    "for mol in test_mols_main:\n",
    "    writer.write(mol)\n",
    "writer.close()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [],
   "source": [
    "from utils.converter import NIST17sdf2mgf\n",
    "\n",
    "\n",
    "NIST17sdf2mgf('../data/fastei/nist17/test_11499_rep.sdf',\n",
    "              '../data/fastei/nist17/test_11499_rep.mgf')\n",
    "NIST17sdf2mgf('../data/fastei/nist17/test_11499.sdf',\n",
    "                '../data/fastei/nist17/test_11499.mgf')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [],
   "source": [
    "from matchms import set_matchms_logger_level\n",
    "set_matchms_logger_level(\"ERROR\")\n",
    "from matchms.importing import load_from_mgf\n",
    "import torch as pt \n",
    "\n",
    "\n",
    "iter = load_from_mgf('../data/fastei/nist17/test_11499_rep.mgf')\n",
    "spectra = [s for s in iter]\n",
    "pt.save(spectra, './data/mine/test_11499_rep.pt')\n",
    "iter = load_from_mgf('../data/fastei/nist17/test_11499.mgf')\n",
    "spectra = [s for s in iter]\n",
    "pt.save(spectra, './data/mine/test_11499.pt')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "from utils.filter import filter_nist\n",
    "\n",
    "\n",
    "nist_val = open('../data/fastei/nist/validation_set_smiles.txt')\n",
    "smiles_val = nist_val.readlines()\n",
    "print(len(smiles_val)) # 11599\n",
    "_, _, val_smi = filter_nist(smiles_val)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "from rdkit.Chem import AllChem\n",
    "\n",
    "\n",
    "writer = AllChem.SDWriter('../data/fastei/nist17/val_set.sdf')\n",
    "mols_val = []\n",
    "for mol in mols_main:\n",
    "    if mol.GetProp('SMILES') in val_smi:\n",
    "        mols_val.append(mol)\n",
    "        writer.write(mol)\n",
    "writer.close()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from utils.converter import NIST17sdf2mgf\n",
    "\n",
    "NIST17sdf2mgf('../data/fastei/nist17/val_set.sdf', \n",
    "              '../data/fastei/nist17/val_set.mgf')"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3 (ipykernel)",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.11.5"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}