Patents recorded as loan collateral (security interest)

Conveyance: SECURITY INTEREST (SEE DOCUMENT FOR DETAILS). | Assignor: ALCATEL-LUCENT USA INC. | Assignee: CREDIT SUISSE AG | Patents: RE44593, 8537830, 8424055, 9154478, 8848587, 8626883, 9225622, 9130774, 8364760, 8417294, 8861346, 8867340, 9319299, 8588087, 9240946, 8908638, 9560670, 9438746, 8468267, 8406732, 9036800, 8635288, 9584330, 8626868, 8516060, 8488557, 8990365, 9172629, 8838771, 8561166, 9317856, 8462822, 8713597, 8542812, 11431763, 8395988, 8625458, 8543673, 8549628, 8369332, 9705799, 10257016, 8755266, 8750266, 8768388, 8363612, 8532441, 9445380, 8737953, 8484518, 8949987, 9641557, 8699836, 9210065, 8560312, 9508079, 8520051, 8369705, 8798461, 8634289, 8493856, 9569319, 9106572, 8374632, 8774580, 9751264, 9485182, 9894127, 8620362, 8619779, 8532108, 9178648, 8442491, 8643929, 8539099, 8787912, 8515217, 8422448, 8494315, 8364188, 8379522, 8611851, 9955209, 8625667, 8542576, 8466980, 9131254, 8621086, 8472444, 8913496, 8731583, 8861352, 8478135, 8931088, 8589571, 8446725, 8421844, 8479290, 8610625, 8440299, 8463672, 8879922, 9072053, 8879914, 8959251, 8588088, 9179103, 9756292, 9114189, 8443097, 8626854, 9020026, 8855448, 8792340, 9191438, 8572246, 8929456, 8644376, 8391655, 8582933, 8516585, 9203682, 8913899, 8995401, 8601199, 8559331, 9036474, 8634302, 9066160, 8630652, 8934408, 9378503, 8582423, 9059940, 8488608, 9357081, 8767735, 8634329, 8775816, 8462774, 8731292, 8379517, 8594215, 9363103, 8914041, 8798409, 8787775, 8639070, 9055082, 9807620, 8660433, 8675669, 8559336, 8611708, 8488791, 8472447, 9270564, 8504744, 8457500, 9100280, 8737417, 8922433, 8955090, 9480045, 9118669, 9634690, 8881295, 8914049, 9996499, 8754925, 9245332, 8712374, 8660523, 8797124, 9122085, 9357514, 9055544, 9995879, 8797913, 8516152, 9130967, 8594515, 9369207, 9634792, 9137818, 9113038, 10719986, 8559769, 8699834, 9385292, 9063963, 8515286, 8849044, 8725146, 9223630, 9319757, 8983306, 9188831, 8620373, 9851443, 8615148, 8948735, 9432321, 8620383, 8938166, 8693944, 9374787, 9162404, 8682120, 8520534, 9294716, 8760752, 9148765, 9088440, 8908528, 8913484, 9043883, 8627064, 8848514, 9374476, 9304712, 9281950, 9627739, 8953949, 8994755, 8913489, 8953450, 8425828, 8693888, 9496982, 8792941, 8892109, 9030953, 8902788, 8913391, 8743005, 8543678, 8775884, 8903238, 8995834, 8983476, 9160626, 8683014, 8868862, 8897655, 8849130, 9237482, 9423560, 8644661, 8948589, 9848090, 8958703, 8861494, 8705913, 9325056, 9008487, 8565718, 9014663, 8691365, 9047643, 9177168, 9723074, 8856585, 9166778, 9480087, 9036647, 8361825, 8977268, 8588772, 8797639, 9401804, 8948767, 9374185, 8774574, 9350641, 9344779, 8614952, 9007901, 8792439, 9040397, 8935533, 8769259, 9055086, 9198143, 8811175, 8923672, 8868863, 8990917, 9535748, 9231774, 9094828, 9161187, 8826074, 8989806, 8559899, 9112267, 9014075, 8699438, 9140854, 9300548, 9215283, 9124475, 8774146, 8631491, 9072038, 9362092, 8817903, 8761294, 8621650, 9450659, 9729669, 8903454, 9148478, 9112614, 8948014, 8797868, 8856960, 8938134, 9100978, 8748220, 8812454, 8681801, 8923696, 8634455, 9626222, 9042874, 9037122, 9181933, 8868647, 8879647, 8987703, 8947495, 8838971, 8566373, 8989376, 8983294, 8625936, 8908537, 8891384, 8719649, 9137144, 9148390, 9148391, 9172662, 9042721, 9072058, 9100835, 9444840, 8923706, 9619292, 8817797, 8824480, 8855629, 9571241, 9819462, 8977886, 9043588, 8414833, 9397804, 9195514, 9014730, 8972803, 9253101, 8818701, 9411639, 8450143, 9215019, 8559917, 9075660, 9062889, 8948051, 8902281, 9288680, 8943269, 9191956, 8842540, 8937969, 9759860, 8977855, 8990570, 9229778, 9548962, 8737251, 9178680, 8965272, 9239936, 10083246, 8817648, 8937945, 9130843, 9240881, 9405588, 8891766, 9118753, 9621407, 8971718, 9154208, 8442168, 8644329, 8971199, 9029782, 9015395, 9535658, 9544927, 8982691, 8824374, 9021330, 8842575, 8855125, 8541052, 9338740, 9077618, 9172461, 8948107, 9491046, 9294343, 9088485, 9001672, 8891520, 9178806, 9300431, 9049094, 8855653, 8804929, 9537663, 9077455, 9166903, 8849203, 8934786, 9338119, 9100277, 9319578, 9014116, 9712854, 9104462, 9451570, 9286134, 8934452, 9030988, 9686654, 8949440, 9306840, 8867125, 9368880, 8811179, 8943331, 8964616, 9398630, 9317527, 9179384, 9104487, 9130829, 9548884, 9164800, 8729246, 8975955, 9778418, 8615150, 8867926, 9219316, 9966664, 9042253, 9265050, 9232487, 9652314, 8923813, 9712402, 9031021, 8684289, 9300400, 9072027, 8577425, 9088356, 8989729, 9258218, 9967300, 9072041, 9112807, 8633092, 8792641, 8614108, 8691362, 8533021, 8631108, 8468237, 8527889, 8949393, 8879384, 9374714, 8374124, 9392591, 8494516, 9015782, 8910197, 9306765, 9225425, 8412171, 9089771, 8503653, 8356764, 8721161, 8734003, 8450723, 9778477, 8913481, 8896660, 8467293, 8533272, 8730923, 8428591, 9047865, 8411777, 8830812, 8498408, 9094144, 8880052, 8774790, 8670309, 8509098, 8892189, 8477864, 8942222, 8953562, 9363105, 8514693, 9397866, 8725136, 9449445, 9071511, 8355324, 8762600, 8982874, 9210252, 8385514, 8730796, 8762950, 8559358, 8358636, 9185600, 8605710, 9031571, 9295105, 8677125, 8918316, 9307519, 8504635, 8756107, 8976757, 8934356, 9042880, 8412240, 8605649, 8780888, 8737397, 9680880, 8374958, 9342660, 8983242, 9152735, 8828520, 8593503, 8369271, 8949161, 9161205, 9413886, 8488553, 8451840, 8403815, 8923842, 8401157, 9204403, 10033820, 9036540, 8400933, 8681770, 8965334, 8532023, 9198033, 8675493, 8451797, 8750177, 8849351, 9084161, 9042870, 8842431, 8844609, 8832073, 8855597, 9032483, 8942668, 8935407, 8355487, 9100381, 8942687, 8619988, 9424550, 9980079, 9820127, 8451988, 8375090, 8396927, 8477912, 8812581, 9729407, 9712392, 8675831, 8804662, 8774411, 8909038, 8396052, 8406132, 8614741, 9459927, 8494163, 8391149, 8406383, 8521543, 9037153, 8965978, 9462069, 9113386, 8587856, 9681454, 8634377, 8390749, 8427727, 8804486, 9277455, 9297878, 8412249, 9319195, 8457257, 8526979, 8516536, 8712243, 8569042, 9054807, 8613860, 8396372, 8656050, 9124567, 8634481, 8959053, 8938145, 9026575, 8958752, 9326201, 9629096, 9497642, 8745082, 9031071, 8954745, 8788835, 8930522, 8588837, 8712460, 8570870, 8630383, 8405701, 8699357, 8626134, 8402129, 9185239, 8588565, 8965440, 8867333, 8520687, 8588791, 9392437, 9357373, 9596309, 9374188, 8559619, 8949710, 8429202, 9591521, 9204420, 8750206, 9100879, 8516136, 8923811, 9111070, 8849353, 8588852, 8373967, 8379825, 8477035, 8914885, 8553903, 8776217, 8597124, 8442031, 8856310, 8830235, 8953499, 8743693, 8571219, 8848654, 8516531, 9082104, 9258418, 8565117, 8571950, 8936404, 9246626, 8995833, 8396359, 8571415, 8521022, 8676956, 8356085, 8693412, 8553554, 8503432, 8625440, 8963323, 9661099, 9081996, 9084199, 9467950, 9025641, 8953432, 8996722, 9014181, 8389700, 8842661, 8666428, 8526914, 9445045, 8849109, 8667151, 9134428, 8639127, 9648488, 8457597, 8381258, 9036794, 8385206, 8934865, 8750723, 8417112, 9204363, 8510148, 8363690, 8412050, 8402010, 8521853, 9510360, 8811789, 8477780, 8811173, 8396466, 8421072, RE43307, 8516085, 8538258, 8399289, 8483377, 8811334, 8638662, 8719786, 8813047, 9401867, 8417826, 9218208, 8645801, 8885474, 8817606, 8411862, 9204449, 5461615, 5572347, 5455959, 5509030, 5740157, 5488621, 5528283, 5521923, 5374973, 5627837, 5633861, 6823390, 5659539, 5864682, 6112226, 5710650, 5844908, 5754543, 6163527, 6512740, 5959986, 6192422, 6956854, 6347087, 7065082, 6920146, 6553000, 6553519, 6230191, 6470021, 7609682, 6621862, 6865153, 7075926, 7693149, 6957272, 7080238, 7339944, 7912065, 6070243, 6339830, 6061368, 5867543, 6301656, 6400713, 6493346, 5523868, 5740169, 6282566, 6647021, 6144998, 6039414, 6129434, 6226373, 6327258, 5537400, 5487110, 5577113, 5402412, 5457717, 5495484, 5608757, 5781527, 6061328, 5526344, 5526349, 5809021, 5463624, 5506549, 5623491, 5890156, 5598464, 5768278, 6320876, 5818843, 6188759, 5907603, 5881059, 6320856, 6009075, 6188667, 5901136, 6285687, 6055430, 5887058, 5912960, 6038303, 5917827, 5894574, 5892432, 5883898, 5886994, 5809029, 6198813, 6055232, 5953318, 5923651, 5889847, 6421440, 5982744, 6160806, 6370155, 5905795, 5862129, 6081591, 6154460, 5875191, 5912954, 6327266, 6286050, 6064726, 6115383, 5959987, 6157657, 6320877, 6058120, 6240087, 5926303, 6044088, 6230164, 6088414, 6088434, 6104796, 5970120, 6480890, 6061729, 6243451, 6041325, 6178438, 6009430, 6154467, 5839169, 5832567, 6195418, 6246988, 5796806, 6247052, 6052456, 6041332, 6222535, 6175618, 6097702, 6067288, 6069875, 6269396, 6075854, 6061364, 6061653, 6167118, 5434909, 5946374, 5969836, 6006098, 6097960, 6574481, 7079853, 7881734, 6473436, 6259678, 6018737, 6131039, 6243586, 6118772, 6426958, 6590899, 6024165, 6317873, 6456708, 6526137, 6621830, 6868233, 6389200, 6653929, 7006433, 6404880, 6574478, 5568613, 6501755, 6882647, 6292463, 6108307, 6603739, 7065052, 6671278, 6697329, 6438134, 6392994, 7200110, 6711176, 6876625, 6671258, 6724881, 6370035, 6775293, 6538881, 7184440, 5477195, 5533023, RE39677, 6034997, 6865602, 7085592, 7522523, 7366166, 7633861, 7660239, 7747716, 7558194, 7006499, 7126949, 7710970, 7486622, 7716366, 7486674, 7200731, 7506129, 6992978, 6772224, 7609709, 8346259, 5506840, 7956788, 8355638, 8279843, 8326152, 8340105, 8295180, 5894407, 7751354, 6044347, 6980533, 7283502, 7031254, 7170858, 7206286, 6078709, 6011886, 6097862, 6292916, 6442732, 6389298, 6941142, 5530724, 7158508, 6324272, 5380400, 5976344, 6267863, 6126807, 6423202, 6241870, 6534192, 6517893, 6335107, 6274254, 6452258, 6730209, 6151359, 6895688, 7426186, 7317728, 7872976, 7676823, 7047483, 6408296, 5649131, 6384963, 5987156, 7508882, 7782520, 7917042, 6826268, 6674766, 6577415, 6788678, 6081361, 6166837, 6331908, 6169831, 6181852, 6771556, 6920288, 6009409, 7010699, 6920326, 7120451, 7398438, 7953884, 7477852, 6690661, 5787198, 6389178, 6154463, 6717921, 5530912, 5774461, 5465389, 6782261, 7929694, 7502361, 6952463, 6947398, 6690659, 6765896, 6160804, 6735202, 6256300, 6747961, 6256043, 6198941, 6792185, 6512823, 6304214, 6232921, 6448937, 7242964, 6960255, 7666665, 7883665, 7884530, 7764004, 6891682, 7608446, 7960167, 7459197, 6353668, 6104795, 6067346, 6405042, 6823189, 6980799, 5815569, 5828748, 5334029, 5995688, 6175443, 6108466, 5912094, 6366414, 6300619, 6288821, 6690885, 6600851, 5961767, 6522801, 7149378, 6944366, 7155083, 7145248, 6813054, 6993219, 6998758, 7068409, 7206117, 5923798, 7253550, 7928631, 5943454, 7474005, 8343807, 7851759, 7580175, 7733200, 7471184, 5963367, 6075239, 5994159, 6265239, 6392221, 5974207, 6795472, 5745850, 6546233, 5550551, 7822416, 7756122, 7242724, 7424273, 7907911, 7957701, 8311489, 7646706, 7551604, 7436766, 7860072, 6839555, 7050814, 7242953, 6075850, 6335962, 7660235, 7990846, 6850755, 6041316, 6744891, 6058490, 5699479, 6240398, 5553134, 6317410, 6392988, 5956345, 6496546, 6744778, 6378106, 6721502, 6766113, 6414771, 6262820, 6634807, 7088738, 7321557, 6192088, 7228486, 7870462, 5684801, 6788820, 7139578, 6681365, 6563879, 6697435, 6781972, 6236497, 6108321, 5838924, 7844728, 6049523, 7170993, 5436896, 5940491, 5500671, 6560009, 6950291, 6809693, 7174180, 7633865, 6195064, 6317098, 6496490, 6363334, 6771598, 7020698, 7298719, 6912274, 7346070, 5652790, 5662816, 7680113, 5572650, 6687287, 6415018, 6385302, 6584307, 6690932, 6587545, 6819929, 6792005, 6822975, 6535912, 5862330, 5991796, 6976210, 7756534, 6070185, 6687739, 5850294, 6956876, 6567398, 6584076, 6611858, 6502109, 6584186, 6687363, 6006272, 6205653, 6591373, 5850434, 5590129, 5751800, 5651055, 6151386, 7107269, 7048889, 5751469, 5808781, 6944008, 7488614, 5751250, 7929964, 7466703, 5635892, 8270515, 7331009, 7660568, 7599444, 6396983, 7346277, 6036086, 6125172, 7292980, 7149690, 7433836, 6647383, 7321559, 5671267, 6594268, 6144652, 5914946, 6654612, 7239879, 7760685, 6493549, 6108530, 6141550, 6868274, 5822309, 5717689, 6014385, 5689252, 5600663, 7095994, 7079869, 7941503, 6999521, 7499498, 5481592, 7171165, 7400887, 5412713, 5487104, 7733988, 7526304, 7280499, 7965665, 7920517, 7782900, 7929962, 7664467, 7940721, 7738905, 7508863, 7522682, 7715349, 7558229, 5459779, 6361330, 6353598, 7143154, 7197546, 7122872, 6563852, 6463088, 6055257, 6137817, 6728549, 6586258, 5796410, 6052483, 5825925, 6366660, 6009159, 6005930, 6115461, 6307929, 6574325, 6445915, 6714636, 5581797, 6041086, 5500889, 5696898, 6282698, 7006477, 6996083, 6963544, 6567375, 7020185, 7068619, 7054346, 7082153, 7352714, 7187715, 7701909, 7990931, 7385951, 7236789, 6215827, 7349338, 7734805, 7260396, 7480508, 7403790, 7454165, 7372823, 7970425, 7873067, 6625133, 6611515, 6975611, 6925131, 5941946, 6310952, 5481544, 5633868, 6778734, 5936967, 5953339, 6501963, 6529863, 6609089, 6701294, 6222847, 6459774, 6600736, 6393107, 6240391, 6246667, 6724996, 6594047, 6526176, 6535736, 6842441, 7366518, 7978683, 6671466, 7308006, 6721372, 7720827, 6650637, 6575013, 6452207, 6555411, 6596569, 6665127, 6670549, 6885024, 7189987, 7534646, 6969634, 7704784, 7767998, 7338835, 7045470, 6678525, 7013452, 7026885, 6847639, 6014477, 6249441, 6350950, 7570743, 7412228, 7184746, 6987843, 7336776, 5570364, 5596601, 5623511, 6363421, 6782420, 6189848, D449776, 6301549, 6289341, 7085791, 7269783, 6385609, 7146639, 6163610, 6611752, 5539834, 7991131, 5894478, 5559520, 5559501, 5574966, 5643234, 5345323, 5483611, 6633719, 6975788, 6757113, 7327037, 7560817, 7402913, 6744446, 7744324, 6345078, 6782004, 7171490, 7260064, 6635603, 6638894, 6630425, 7135438, 6978133, 7844044, 7801293, 7961862, 7340049, 7120419, 7630313, 7693134, 7839995, 7733831, 7843882, 7801129, 6408399, 6163604, 6157707, 6502133, 6148207, 6510319, 6751377, 6970619, 6915264, 5515445, 6868519, 7764882, 7206509, 6732168, 7136679, 6959333, 7230910, 7436820, 7693270, 5462438, 5740211, 6574245, 6362909, 6937613, 7464101, 7606142, 7430189, 8107399, 7099582, 7030858, 6128191, 5498925, 6616461, 5440635, 7929703, 7653396, 7711799, 7877786, 6947525, 7693133, 7239617, 7801525, 7577241, 7327986, 7805138, 7835747, 7519358, 7515042, 7965998, 7801507, 6784849, 6839022, 7133700, 6940960, 7177669, 6061719, 6792618, 6842438, 7466197, 7479828, 7774828, 7051246, 6377682, 7736181, 7283489, 7136462, 7804951, 7024197, 6870905, 6909700, 6594226, 7035599, 7042955, 6980778, 7406335, 6385574, 6728669, 6539349, 5914951, 6611213, 5956643, 6112092, 5513379, 7508577, 6584310, 6266412, 6192474, 6088152, 7065160, 5524154, 5377900, 6253083, 5588051, 6021364, 6195608, 6633743, 7392459, 5754794, 5950151, 7945165, 7149373, 7239875, 6252861, 6574203, 6285664, 5392277, 6148213, 7486621, 5389779, 5910981, 7483449, 7974191, 7483448, 7809080, 7433315, 6956870, 6788940, 7076015, 6944456, 6992998, 7076262, 7286500, 7804943, 6353610, 6438380, 5970414, 7006485, 6408418, 6914889, 6374099, 7596089, 7746779, 7558196, 6944461, 7400877, 7889692, 7792048, 7565110, 7489702, 7433335, 7542448, 7706311, 5353302, 7899025, 7839776, 7715844, 7660606, 7848292, 5623485, 5835848, 6865710, 7020214, 7127664, 7107509, 6851039, 7200798, 6539223, 7889732, 7457948, 5720037, 5754773, 6041354, 7184765, 5767997, 6400009, 6124650, 6507421, 6798992, 6441360, 6356377, 7180652, 5880478, 7203162, 7245586, 7408946, 5463728, 5570126, 5663756, 6796555, 6807188, 7366196, 6778550, 5533065, 5550870, 6415164, 5721777, 5696823, 6735313, 7711007, 7254207, 5555104, 6901108, 5381387, 6202067, 6721314, 6735073, 6724056, 7027689, 7039315, 7039277, 7054528, 7012687, 7593717, 6265018, 6361219, 6134422, 5646632, 5900838, 6313940, 5528582, 5798858, 6801525, 5974129, 6310878, 6324176, 6542950, 6496811, 7453945, 6490456, 6836672, 7054600, 6125371, 5864849, 6374264, 5551701, 5847690, 5780830, 6922499, 7435961, 6625210, 6137611, 6459826, 7151923, 7460858, 7928866, 6926850, 6649073, 6912081, 7701694, 7645952, 7932727, 6870300, 5969679, 6882664, 6535738, 6376272, 5442624, 5867571, 6560202, 6081503, 6137790, 6301228, 6683855, 7801238, 6640104, 5999543, 6163549, 6005902, 6938678, 6064669, 6088352, 6650750, 6687907, 7826849, 7827326, 7580385, 7974228, 7920866, 7965633, 5559902, 5644648, 5649068, 7277422, 7146129, 7269415, 5907363, 5734419, 6954739, 7165115, 7058296, 7466913, 6603963, 6097936, 5568094, 6639724, 6246801, 6542693, 6317462, 6490705, 6154469, 6724780, 6337882, 7107312, 7299257, 7047408, 5929618, 6647259, 6859912, RE36714, 7299489, 6086706, 5629770, 6934431, 6409907, 6748129, 6160645, 5502763, 5729017, 5894125, 6704519, 5513181, 6500947, 6912389, 6950876, 6683856, 6594049, 6230281, 7039056, 7330464, 6587822, 6363242, 6604075, 7646860, 5890123, 6757407, 6505050, 7620004, 6567510, 5999963, 6604123, 6725456, 6675229, 6819667, 7050810, 7116970, 7207062, 7299297, 7155740, 7068598, 7652990, 7573815, 7991852, 7515926, 6721269, 6594044, 7242041, 7670887, 5943456, 6198750, 7342711, 7158552, 7231521, 7499401, 7562393, 7453852, 7630341, 6528845, 6570529, 7224983, 6330288, 6157847, 6614857, 6542560, 6515978, 7400614, 6549565, 6006181, 7039690, 5623195, 5896447, 6114426, 6374661, 7356689, 6112195, 5727081, 7768976, 7535887, 7012886, 6970447, 7437165, 6356285, 5963459, 7110374, 6519335, 6754322, 7180890, 7324532, 7522909, 5459506, 5703939, 7707451, 6252180, 6284970, 6353379, 6404316, 7002957, 6229790, 6289095, 5781320, 5959996, 5842111, 6421338, 6157308, 6959184, 6694015, 6907035, 6993260, 7162158, 7110679, 6771846, 6646890, 6906407, 5949791, 6735089, 6774507, 7131023, 7991889, 5809022, 7688593, 5926472, 5805142, 6597853, 6732545, 7877487, 6356630, 7885661, 7945241, 6862342, 6359975, 7035391, 7454200, 7535993, 7734027, 7599478, 7548743, 7239866, 7643623, 7751855, 7940904, 6178234, 8295456, 7894859, 7912908, 7962120, 7725104, 7142857, 6519454, 5912932, 6788253, 7805142, 7069588, 5835470, 6122081, 5838469, 5995676, 5844701, 5859808, 5822263, 5619648, 6850604, 6741678, 5619564, 5953330, 6038291, 6292543, 5689238, 6528901, 6785240, 6888797, 6704291, 6850504, 7660706, 7522629, 7190684, 6975858, 6292471, 7218947, 7006826, 7089029, 7280513, 7277707, 6735215, 7009980, 7852792, 6647005, 5457709, 5509025, 5570386, 5502787, 5727010, 5978397, 5936989, 6023482, 6144681, 6091753, 6134257, 6333944, 6148012, 6301282, 6055254, 6278134, 6501783, 6400744, 6556604, 6690699, 6728282, 6760354, 6836499, 6816530, 7010010, 7984001, 6611001, 5539451, 7580912, 7030905, 7143083, 7203693, 5649118, 5815115, 5509062, 6661946, 7133616, 6442307, 6519075, 6809848, 6846087, 6930387, 6987898, 7158693, 6320589, 6323861, 6256044, 6226009, 6728356, 7301908, 7289540, 6259788, 6807004, 6657993, 7593362, 7301934, 6813600, 5481312, 5510844, 7436835, 6831927, 6359980, 5407602, 7453845, 6807167, 6678281, 7420953, 7020676, 7482831, 7689866, 7958479, 7962885, 7949915, 7958417, 7954022, 7594150, 5565283, 6820090, 6587688, 7310518, 7565160, 5537547, 6504641, 6933004, 7352700, 7944820, 7257409, 6763193, 6658183, 6654522, 6778828, 7174177, 6445929, 7103355, 7643459, 6785446, 6804434, 7308169, 6996307, 5577138, 5700696, 7332627, 6382807, 6457836, 7020821, 7853292, 5583914, 5771283, 5835779, 7554939, 6335703, 5835564, 7050553, 6346913, 6198738, 6058113, 6650290, 6813252, 7062265, 7827215, 6178329, 6580913, 7598908, 7136666, 7613476, 6424707, 7142523, 5889906, 5717822, 7974197, 6654610, 6587692, 6842456, 7941146, 6496701, 7168266, 6888863, 5963091, 6215815, 5550543, 6516196, 5848149, 5698160, 6611756, 5569433, 5710863, 6301120, 6950664, 6829218, 7817644, 5790759, 7136362, 5422963, 5659462, 6014621, 6829483, 5751719, 6377466, 6130907, 6205273, 6386844, 7221649, 6154093, 6697348, 7065285, 7197226, 7457508, 7570864, 7945006, 6748224, 6538486, 6989579, 7514359, 7146109, 6911716, 7595249, 5381125, 7292792, 7653120, 7541953, 6741863, 7610393, 6445750, 7873284, 7190047, 6920598, 7496298, 7471855, 6172565, 5608458, 7227479, 7852963, 7747177, 7650084, 6747123, 7062142, 5710829, 5946316, 7603140, 7548668, 7035238, 6108469, 7688872, 7782899, 6300905, 6111871, 5615298, 6768778, 7426265, 7847364, 6658258, 5574825, 5884010, 6377645, 5778100, 6965760, 7376119, 6240287, 7711367, 6411817, 7515579, 6449488, 6791954, 7499434, 6925057, 7844277, 6999425, 7903605, 7782967, 6154638, 7680507, 7535876, 6963750, 6353602, 7564867, 6771963, 7331008, 6292776, 6606595, 6517737, 6703765, 6878420, 7668578, 5734577, 7443804, 7863488, 7539500, 7602729, 6819918, 7974608, 7613470, 7945274, 7792549, 7974659, 7676215, 7565130, 7058389, 7174149, 6358785, 6342148, 8068469, 5689505, 5689506, 7023857, 7099330, 7075934, 5701292, 6999724, 7764230, 5983278, 5864538, 5386414, 5579436, 5623571, 5606644, 5509074, 5475682, 5541912, 6092115, 7774012, 6856450, 7266257, 7586670, 7974650, 7099073, 6986693, 7084563, 7468578, 7558485, 5546210, 5847862, 5559920, 5907420, 6473212, 7145715, 5587830, 5719696, 5831761, 6628652, 6600741, 6388800, 6466712, 6944401, 7302180, 7400828, 7136350, 7643446, 6496707, 7872991, 7701865, 7920691, 7693168, 6610599, 6285665, 6567416, 7197025, 5515534, 6226277, 6232984, 6469991, 6408001, 6674765, 6594240, 6400695, 6757293, 6587672, 6519254, 6993021, 6327254, 6693952, 6704311, 6654808, 6577644, 6487689, 7085273, 6577643, 6414950, 6675208, 6839339, 7023884, 6970423, 7668176, 7346023, 7065359, 7324443, 7096039, 7733896, 7894468, 7324545, 6449272, 7330699, 7349635, 6801509, 6496491, 6917600, 6799294, 7190732, 6278973, 6470389, 6012090, 5440417, 6195760, 5541836, 5930267, 5737333, 7379647, 7965945, 7496189, 7278048, 6904596, 6611687, 7016689, 7555112, 6232013, 6724843, 6611500, 6631267, 5546121, 5857079, 7808946, 7212579, 7248647, 8355726, 7835740, 8285293, 7299069, 5480842, RE37637, 5544160, 5724349, 6754189, 7154850, 7020129, 6434618, 5440416, 6389462, 5384635, 5774605, 7515701, 5887027, 5680490, 5687227, 5930751, 6272502, 6724994, 5874187, 6165648, 6597681, 6771592, 7756050, 7733867, 7885911, 5640492, 7660321, 6684077, 7143438, 6141749, 6170012, 6154775, 6098172, 7139287, 6668170, 6862455, 7127248, 7280516, 8350394, 5808659, 5751931, 5850531, 6359504, 7100385, 6529560, 6009156, 6115460, 5923781, 5768409, 5701327, 6434180, 7359446, 5838467, 6163391, 6674555, 6191875, 5719691, 6614566, 6388779, 5703705, 5812288, 5412646, 7315555, 7031747, 6504630, 6459405, 6252545, 6922546, 6636744, 6356593, 6519291, 5406583, 6195384, 5689878, 7453629, 7692853, 5953344, 6930990, 6781980, 6539209, 6507732, 7062242, 6587448, 7161912, 6236653, 5590405, 6252711, 6393039, 6577445, 6671094, 5675436, 5689361, 6888849, 6427213, 6781851, 5483369, 5519691, 5680234, 5694234, 5574584, 5907417, 5559624, 5815295, 5790287, 5373385, 6079010, 7489929, 7564822, 7738422, 7477876, 7986627, 7573942, 7292854, 7515927, 7116944, 7079848, 7133688, 7508804, 7263371, 7499437, 7676223, 7221648, 7809002, 7342958, 7437654, 7190685, 6721834, 7821995, 7023899, 7961683, 6591389, 6314532, 6574770, 5765125, 5386417, 5381405, 5964397, 6516436, 5710767, 6434121, 7486952, 6463285, 6594493, 6529505, 6847493, 7822150, 7787371, 7088815, 6504528, 5774606, 5721796, 6802191, 6241778, 7010180, 7278104, 6300156, 6836321, 6943875, 6013877, 6100475, 6597069, 6433411, 6396711, 6680212, 6734539, 7653024, 7808922, 7366548, 7835739, 5572612, 5608562, 5890816, 5933437, 6850712, 6819481, 5404413, 6874052, 6195200, 7346031, 6647262, 6987813, 5812936, 6195565, 6967725, 6977733, 6356386, 6980740, 6985284, 6266168, 5628052, 5539861, 7305623, 6028922, 6243400, 6052391, 5832271, 5943455, 7646112, 5404350, 6124076, 6221536, 6993331, 7126932, 7457638, 6523074, 5631903, 7577103, 6014124, 5406404, 5479551, 5659644, 5864644, 6363194, 6389186, 6397636, 6542679, 7181184, 7471736, 7460785, 7706536, 5768359, 6268408, 5974317, 6657596, 7328220, 5405710, 6384804, 6363096, 6870180, 7106923, 7343066, 7433560, 7733923, 7324726, 7561807, 7123402, 7149407, 7433549, 7373039, 7403670, 7733562, 7801156, 7403682, 7636501, 7929813, 6304350, 7876983, 6049640, 6219471, 6519059, 6556736, 7330659, 6708127, 6504970, 6724952, 6956987, 6658174, 6892021, 6859574, 7437075, 7006730, 6941045, 6961492, 7042629, 7333688, 7450801, 7257285, 6559950, 6990624, 6628632, 7299047, 6396820, 6977921, 7321551, 7840807, 6298065, 6647024, 6898280, 7376208, 7317702, 7565594, 7395492, 7532685, 7519382, 7623484, 7929499, 7764656, 7856071, 7403745, 7894514, 6400960, 7809090, 7647050, 7782820, 7929495, 7734308, 7266723, 6078575, 6057733, 7133135, 7844186, 6912645, 5463641, 5701389, 6236341, 6388584, 7633896, 5729536, 5936965, 5999614, 5995612, 6674744, 6529499, 5550848, 7096275, 5568475, 7620273, 7609637, 7569415, 7488834, 7969967, 5559855, 5559857, 5559856, 5598169, 7873323, 5425116, 5488680, 6263127, 6396977, 6456752, 6823096, 6574396, 5506848, 5574771, 5936578, 6970714, 6417958, 6829401, 6452933, 5953331, 6721872, 5883948, 6324280, 6580793, 6611831, 5673255, 5905785, 6813498, 6154373, 6748150, 5631899, 5818514, 5566167, 5668865, 5752229, 5951626, 6628780, 6813352, 6252950, 6286002, 7212517, 7565038, 5719823, 5802013, 6131695, 5528586, 6442640, 7065069, 7587218, 7810057, 7433668, 6229548, 6351262, 6504535, 6466230, 6236402, 6567085, 6813277, 6108474, 6529676, 6940889, 7110646, 6163638, 6421011, 6215860, 6487415, 6842492, 7085580, 5564048, 5812124, 5912664, 5937064, 5742777, 5793369, 5644692, 5710899, 5847972, 6868232, 6771908, 5636269, 5459304, 5506837, 5444718, 6721565, 6996087, 6871070, 6954654, 7295843, 7535889, 7499403, 7353021, 7366514, 7301938, 7885234, 6389066, 6810120, 5742693, 6424719, 5586191, 5978356, 6567415, 5610904, 5757783, 6163552, 6144789, 7412938, 6144390, 6711308, 6751396, 6819808, 5721636, 5457734, 6977961, 7191389, 6449313, 5959750, 5438265, 6115519, 6111999, 6301408, 6151438, 6049414, 8320769, 6792214, 6542678, 7027740, 5673210, 7542899, 7072831, 6577734, 6233337, 6876744, 6377687, 6266411, 5694514, 5946444, 5598168, 5870057, 5559521, 5805034, 5631659, 6278722, 6978075, 7821753, 8289922, 6279048, 7905105, 6038129, 6545996, 6493539, 6501733, 6700869, 6349205, 7764743, 7047026, 6909812, 5363141, 6680974, 6625215, 5698496, 6317255, 6002818, 6597481, 6192172, 6600581, 7139270, 5434701, 5537243, 5745274, 5801863, 5892606, 7752440, 7839815, 6512754, 6522881, 6438363, 7133677, 5579369, 7822341, 5661585, 6141553, 5592584, 5834160, 5657148, 5980117, 6771671, 7143430, 5953533, 6941361, 5521029, 7003323, 7003263, 7170874, 6493492, 7030825, 7593696, 7929942, 7847659, 7619469, 8270541, 6288679, 6411750, 7251417, 6859306, 7286763, 5654816, 5930414, 6141334, 7860518, 7280526, 7242948, 6080339, 6538614, 6041623, 7245932, 7272398, 7860231, 6990353, 7542768, 6304578, 5434854, 6487590, 6963584, 5745271, 5621829, 6647010, 6631246, 5912751, 6023361, 6704476, 6888809, 7050510, 7116722, 7006795, 6937843, 7349438, 6097771, 6317466, 6763073, 6801773, 6501952, 6799040, 7010301, 5572709, 5689706, 7692198, 7862183, 6104991, 6404389, 6407704, 5756007, 5959021, 6300574, 5729252, 6178167, 6546006, 5943319, 5926464, 6233325, 5841469, 6075553, 6788657, 7103566, 6912084, 6539090, 7515016, 5504606, 5710648, 6222654, 6307654, 6118565, 7206069, 7463361, 5590277, 5530802, 5440726, 5490199, 8299878, 6766164, 6950678, 6586281, 6849937, 7042079, 5550965, 6742125, 6763436, 5961593, 6591291, 7269387, 7471944, 7346334, 6556816, 6845398, 5974363, 7228134, 5687287, 7991421, 6285980, 6968201, 6944449, 6829468, 7142867, 6618598, 6453028, 7669241, 7668856, 6140929, 5943372, 5854611, 5610617, 6366588, 7333813, 7303056, 6839436, 5724481, 6944238, 6789114, 6970455, 5802155, 5812656, 5905784, 5999526, 6104804, 6212270, 6614802, 5995601, 6661881, 6975862, 6819925, 5452343, 5394461, 5509054, 5717409, 5845279, 7782984, 7609777, 7069290, 6463048, 7005593, 6501867, 6101090, 5502816, 7444131, 7346343, 5918009, 5946687, 5943232, 6167333, 6731428, 6914716, 6657776, 6812840, 6830213, 6438131, 5657383, 6795716, 5983098, 6370373, 7436808, 6542686, 6259319, 6392480, 6294956, 6639463, 6545975, 6931080, 6690682, 6271892, 5870752, 6012064, 7058079, 5978119, 5995255, 6411751, 6836381, 6647172, 7330663, 7283753, 7340172, 7668256, 7317845, 7409163, 7133191, 7308160, 7561759, 7676121, 7333691, 7672538, 7805026, 6539131, 7277647, 7277645, 7362979, 6405189, 6871340, 6078919, 5625884, 5995827, 6188718, 6438379, 5373516, 5367586, 5461685, 5526153, 5509023, 6560296, 6970721, 6721554, 6141345, 7174008, 6124957, 5940453, 5887037, 6038272, 7352847, 7130384, 7552670, 7826599, 7835282, 6115749, 6859435, 7194271, 7522566, 6674797, 7894402, 7801087, 6915477, 7787530, 7161956, 7801071, 7127708, 6662221, 6801685, 5500761, 5589974, 5654819, 6871313, 7391755, 7356346, 7333457, 7092731, 7110466, 7426196, 6859446, 7006464, 6930981, 6952410, 6836666, 6567486, 5987316, 6297592, 7454164, 6658255, 6865390, 7042847, 7370510, 7367214, 6983243, 7367212, 5736245, 5965271, 5902636, 5985374, 6222299, 5297868, 5805745, 6125280, 6611368, 7050811, 7079630, 7254612, 5938811, 5588085, 5590187, 5724482, 5625608, 6201631, 6356689, 6771850, 5684631, 6984917, 7126250, 6859300, 6876484, 6872947, 5786927, 7099063, 7628041, 7399443, 7218193, 7042213, 7193492, 7344262, 7355317, 7403322, 5831126, 6351329, 6985445, 6728779, 5693997, 5627371, 6232916, 5479482, 5425831, 5481590, 6402393, 6698937, 7171117, 7051106, 7324760, 7200015, 7075695, 7706696, 5734886, 7889735, 6205551, 5604731, 6317766, 5933438, 5473622, 7145895, 7254343, 7805083, 7830978, 7689222, 6232923, 6677832, 7584248, 7801957, 7653055, 7738476, 7133927, 7756042, 7302389, 7266127, 7219059, 7299188, 6282275, 7129947, 5839102, 7701853, 5719938, 5598534, 5577168, 7610328, 7558254, 7643626, 5946360, 6026076, 7130303, 6752551, 7054327, 6356606, 6311202, 6614780, 5659412, 6011253, 7039685, 6055432, 6047190, 5535300, 7308248, 7149500, 7142862, 7840222, 6097267, 7577121, 7586872, 5473460, 7821924, 5887093, 6078418, 6323993, 6424745, 6182097, 6449604, 6035203, 6023624, 5528501, 7929559, 7930547, 7460487, 7961731, 7639611, 5691925, 5740084, 6907115, 6266326, 7426179, 5912749, 6130706, 5826225, 5457495, 5742343, 5604502, 5612735, 5550646, 6801579, 6944236, 7170954, 7266311, 7184477, 7263100, 7200670, 5974142, 6028933, 6265237, 6845133, 5327511, 7580716, 7425737, 7688734, 5434853, 5363369, 7443819, 7013125, 6894715, 6870916, 5539850, 5596661, 6035080, 7564776, 6545690, 6658646, 6651241, 7343586, 7080319, 6993046, 7873076, 6480467, 6266327, 5781888, 5812971, 6591108, 7907558, 5710790, 7965251, 7982560, 7200157, 6798748, 6807152, 5481186, 6970480, 5844599, 5422882, 5426636, 5452297, 5390175, 5428607, 6950657, 7948917, 6574202, 6173262, 6003005, 6760312, 7088959, 5930392, 6009199, 5930393, 5815572, 6058105, 7317764, 6327310, 6349219, 6363121, 6452916, 6724842, 7204298, 7700183, 6724626, 7785733, 7833653, 7749646, 7935437, 5668821, 5457704, 7653019, 7693097, 6445686, 6236286, 6654591, 6456637, 5729693, 6353896, 5826017, 5812145, 7720171, 7406300, 6349217, 7450522, 7030693, 5794149, 6980519, 6178237, 6556670, 5966450, 5461390, 7929684, 6904017, 7660243, 5725996, 6363498, 5619563, 6794936, 6699760, 7001813, 7038300, 7577120, 7957389, 7873070, 7382747, 7075891, 7532600, 7403528, 7453876, 7583646, 7583655, 6373832, 6594243, 6370129, 6016166, 6870825, 7359466, 7225392, 5442474, 1709946, 7251314, 6201799, 5483551, 6611506, 7289516, 6052699, 6791976, 6389123, 5539881, 5955916, 6509987, 7808940, 7706346, 6157838, 6587690, 6879573, 7197024, 7477605, 5524246, 5574918, 5933637, 5774504, 6069883, 5671218, 5784360, 7248571, 5951666, 6792080, 5923849, 5987493, 6216163, 6661392, 7015865, 5570295, 6937823, 6385176, 5829047, 6288920, 5939721, 7966548, 6466796, 6882839, 6324301, 6012062, 5956504, 6643658, 5600633, 7921224, 6873424, 6574455, 6981157, 7003110, 6157920, 7035403, 6970839, 7340058, 7356845, 7404078, 6324403, 5923374, 5960386, 7783482, 6810407, 5559900, 5892775, 6577426, 5949567, 5857016, 7203289, 5652061, 7430346, 7505686, 7421204, 5712942, 6157443, 7257133, 7400630, 6631123, 7256835, 7647389, 7339626, 7885658, 7058076, 6212405, 6535723, 7268475, 5964904, 5956073, 6147407, 6574026, 6915046, 6704475, 6618184, 6291402, 5411814, 5725938, 7376977, 7835503, 6885339, 6795035, 6697031, 7215294, 6341146, 6539411, 5914705, 6728671, 6798877, 6850612, 6813349, 7409007, 6323437, RE39080, RE40280, 5488665, 5717764, 7313227, 7228504, 5826039, 6819683, 7489943, 5822476, 7590355, 5386314, 6389203, 7801174, 7039410, 8351943, 5740538, 5850429, 6437905, 6646784, 6084996, 6535660, 7693529, 7660244, 7158504, 7853450, 5633924, 6901067, 7149772, 6548320, 6785313, 6496531, 6381235, 6662019, 7190688, 7583750, 6374103, 6285886, 6697343, 5524014, 6147572, 6678512, 6574459, 7388947, 6728338, 6826271, 7809284, 7558486, 7783202, 7583894, 7346283, 5734371, 5809236, 7397761, 6631143, 7512096, 6744856, 5416769, 5675573, 6731875, 6577732, 6493118, 5606551, 5608785, 7319686, 7317686, 5828772, 7212695, 6388998, 6265243, 6551717, 7024065, 6034621, 6661776, 6289151, 6094097, 6658263, 6292053, 5500880, 7471116, 6121965, 6812968, 6895514, 6826143, 5627970, 5623605, 6757384, 7834563, 6654422, 7079856, 5926760, 7746953, 7200115, 7280581, 7206280, 7408913, 7564819, 7460524, 7697618, 7738423, 7577128, 592081, 6808614, 6726827, 7292599, 6646989, 6788686, 7221682, 6081366, 7746548, 7251071, 7327958, 6721797, 6911913, 6794939, 6101567, 7165025, 6240082, 7308403, 7305341, 6466628, 6456850, 6591110, 7929544, 6415158, 5655116, 5600831, 5768578, 5719993, 5517595, 5675701, 5704003, 5513297, 6888658, 5739624, 6417673, 7376427, 7283814, 5646978, 6216237, 6134560, 7821000, 5913216, 7251228, 5987335, 5631758, 5526155, 7711273, 7747169, 7126516, 5745270, 5512934, 5838118, 7209760, 7826795, 6856958, 6625576, 6810378, 7343397, 6321271, 6996065, 7298704, 7359384, 7633867, 7593348, 7394763, 7397766, 7808923, 7957266, 7978594, 7653007, 7660315, 7920991, 7729257, 7558209, 7688180, 7710953, 6538787, 7558602, 6829470, 7433661, 7554952, 6898441, 6751480, 7213068, 6005197, 7678495, 7525722, 6542101, 6317071, 7039386, 7064613, 6268814, 6515599, 7385944, 7421271, 6889040, 6771958, 5751456, 5978117, 7573811, 7280534, 5861965, 5889898, 6072261, 5847634, 6335744, 7538740, 5926139, 6285324, 6320544, 6912090, 7156032, 7455021, 5477375, 5566381, 6947670, 5802045, 6050109, 5751704, 6301222, 6215787, 7689073, 6384695, 7418051, 7843990, 6906636, 5390164, 5394389, 5406549, 7149194, 5699352, 6359899, 7039063, 7760754, 6611529, 6782037, 7295554, 6839334, 6625165, 6636500, 6490270, 8345847, 6606710, 6621798, 5541927, 5799092, 5668874, 5732389, 6920422, 6538823, 7227235, 6545815, 7323033, 7695550, 6545816, 6674940, 6829415, 6965480, 7006299, 8287808, 7535692, 6091967, 7020267, 5748757, 5563794, 6021263, 6757270, 6434367, 6507572, 6952561, 6073021, 6097954, 6624833, 7630512, 6418148, 6768744, 7158804, 7283745, 7286552, 6405046, 6704557, 6504827, 6603748, 6181943, 6639710, 6295515, 7177305, 6668030, 7391830, 7042851, 5543485, 6085086, 5918158, 5974300, 5959543, 6014429, 6654359, 6496505, 6434134, 6763007, 7239618, 7554967, 7120453, 7522632, 7340253, 6477361, 7522565, 6160992, 6442372, 6507737, 6446087, 6078564, 7715382, 7016806, 6255587, 6904409, 7373311, 7756740, 6549919, 6330458, 7403772, 6295210, 5488633, 6967936, 6922388, 6807160, 6980540, 6920192, 6748566, 6708040, 6816736, 7292868, 6819930, 7245920, 7822421, 6823191, 6934539, 7502623, 6816478, 6804528, 7386320, 6301268, 6115520, 6895011, 7245919, 7313092, 7761059, 7490152, 7570590, 7414997, 5630933, 5766688, 5524025, 5647022, 5625708, 5355404, 5839063, 5727124, 7903688, 6538869, 7486954, 5509104, 7701919, 5894291, 7944843, 6683871, 6775368, 7411985, 7209947, 6246883, 7379864, 7158798, 6771688, 7412381, 7756705, 7701886, 5537470, 7466692, 6721401, 7391737, 5966480, 5898715, 6252366, 6453032, 6243712, 5448393, 7161964, 6504645, 7016615, 6359937, 6687314, 7671798, 5793909, 5838845, 5889905, 5623535, 7076120, 6922502, 6832053, 6580844, 6760142, 6798557, 5371682, 5944790, 7864683, 5706377, 7170982, 7688708, 5745618, 7920469, 7885271, 5999290, 7206319, 7577161, 6389138, 7106727, 7127519, 7020072, 7499439, 6643280, 7486645, 7768974, 6721339, 7873055, 6256489, 5396492, 7555612, 6069946, 6072867, 6353835, 6415153, 5805670, 7573723, 7098570, 6349136, 4704210, 7050414, 7219228, 6782203, 6405250, 6512865, 7929448, 7894407, 7706262, 7467335, 7372816, 6292299, 6023184, 6847805, 6434139, 7948942, 7369778, 6392999, 7733846, 7817605, 7613402, 7283752, 7489874, 7420989, 7526210, 7508889, 7668463, 7623796, 6002679, 7822350, 7426176, 7242727, RE38902, 7436769, 5717826, 7324563, 5473604, 6842724, 6728924, 6430401, 6353637, 6539239, 6778612, 7113558, 7116652, 7489944, 6449489, 7471951, 6519462, 6987729, 7031257, 6732549, 6539067, 6545487, 6608523, 6275484, 5623656, 7847658, 7054384, 6859643, 7194043, 7680075, 6654427, 6292054, 6624694, 5911021, 6757825, 7149311, 7076656, 6177861, 5649296, 5940006, 5929779, 6185418, 6990187, 6362874, 6907156, 6801721, 6807321, 5953467, 7376356, 6747142, 6931180, 6602000, 6445477, 6253000, 6754743, 6236982, 7787825, 5450493, 7200631, 7660340, 7667648, 7421039, 5534913, 5608446, 7369396, 7928638, 7519351, 5432631, 6011638, 5552897, 5544246, 5477215, 5541583, 6334338, 6748767, 7053832, 6163202, 6300818, 5394500, 5395741, 6950521, 5740257, 6240226, 6310999, 6385383, 6144780, 6434125, 7038831, 6657770, 6738540, 6950609, 7262898, 6198916, 5960039, 5454034, 6125117, 6498845, 5568546, 6307882, 6697422, 5703581, 7403718, 6459731, 7082113, 6560210, 6119016, 6535733, 7016980, 6541149, 7200408, 6819921, 5703957, 6715930, 6052725, 7376840, 6636569, 6731933, 6078799, 6393108, 6931017, 6717939, 6717940, 7436580, 7324759, 5504810, 7599986, 7653374, 6201969, 7577086, 7032027, 7653874, 7805757, 8320372, 7715861, 6532489, 5666155, 7145512, 6958729, 5715372, 5758027, 7224993, 6967939, 6807241, 6985537, 7953388, 5600707, 5508508, 5757992, 6542397, 6458676, 6649499, 7919600, 6150102, 6537747, 5926405, 6434235, 5539872, 7149943, 5590126, 5764644, 6331986, 6721270, 5426635, 7466916, 5551057, 5956649, 5854903, 5781624, 5732328, 7336062, 7872468, 5748734, 5943425, 6839434, 6697490, 6853729, 7904715, 7596225, 7602918, 7752441, 6330333, 6111955, 5475780, 5457760, 5541766, 5784444, 5751907, 6798930, 7362977, 7643761, 6236495, 7929580, 6456408, 6173323, 6678406, 6898308, 6304564, 7006841, 7430237, 7065159, 6980331, 7782862, 7840214, 5818315, 5761203, 6418304, 7130386, 6493224, 6380910, 7471654, 7675895, 5602917, 6091781, 6542485, 6813254, 5513242, 7421736, 7426195, 6944451, 7478427, 7400611, 7400600, 6741585, 6538780, 5646589, 5304945, 5430893, 5625871, 5678213, 5870681, 6522879, 5994957, 6052023, 6069531, 5926067, 6411644, 7035312, 5986499, 6532369, 6359507, 6753676, 7684512, 7342873, 7372805, 7706383, 7099327, 7406082, 7440404, 7493125, 5390177, 5699478, 5822724, 7848749, 5745592, 5842113, 6571104, 7835304, RE40821, 5905467, 6167411, 6347078, 5742289, 7346066, 5463659, 5758290, 6577688, 7203400, 6882770, 5734432, 5680552, 7966385, 7474629, 7471632, 6256519, 5918074, 6212597, 6259699, 6085290, 5631540, 7366526, 6333920, 6438655, 6559988, 6445492, 7492725, 6496062, 7266382, 7630383, 6671682, 7039681, 6628626, 6836509, 7085377, 6014235, 6411621, 5789750, 6078047, 5528389, 7483432, 5623145, 5710430, 7751320, 7885803, 7809265, 6144659, 6519253, 6348684, 5479489, 6601031, 6674324, 5557690, 5828792, 5519767, 6343141, 6456328, 5790978, 7120862, 7562291, 6310565, 6285317, 7418655, 5608729, 6147986, 6122359, 7454225, 5708796, 5767931, 7081623, 6967326, 5542101, 5963866, 6654362, 7970398, 7016679, 6819659, 6765890, 5594721, 6907252, 7184488, 5594720, 5602836, 5768254, 6144705, 6072434, 7564138, 7142352, 6546415, 5440585, 5608778, 5659580, 5809400, 6014085, 7054612, 6463154, 7174013, 6857075, 7221756, 7181196, 7565135, 5999411, 6118993, 7697413, 7596381, 7558957, 6285761, 7957533, 6249867, 6317325, 6374355, 6918035, 6243811, 6591364, 6314465, 5983382, 6025888, 6920150, 6185253, 6307869, 6908357, 5727033, 5604676, 5473630, 6078417, 6266525, 7619257, 7927978, 7548537, 7738741, 6111389, 6363146, 6219248, 7630488, 7181219, 7283545, 7602793, 6084530, 6046683, 7009565, 6721880, 5623666, 5510777, 5956439, 6055343, 5834980, 6829227, 6968186, 6697542, 6993216, 6956898, 6778678, 5802208, 7039509, 6381328, 7636574, 6603899, 7149816, 6456694, 7058174, 6496566, 7027590, 6748078, 6349130, 6760699, 6369710, 5499935, 6735390, 6831638, 5623564, 5647041, 5920665, 6534741, 6445496, 6643467, 6693469, 7009438, 6785351, 6108333, 6353858, 5677989, 6081782, 6167427, 6151916, 6363261, 6704761, 6463292, 7505759, 7218630, 6434390, 7324808, 8260335, 7170893, 7787875, 6496931, 7317707, 7391769, 7869416, 5596719, 5528597, 5805567, 6205127, 6751421, 6097870, 5945847, 6148324, 7873327, 7647025, 7917164, 6487332, 7194207, 6304750, 6934446, 7680362, 7257291, 6205449, 6574477, 7134046, 6633762, 6067052, 6192257, 6529515, 7251692, 7627677, 7471949, 6760112, 7023558, 6542665, 6014636, 5727064, 6784423, 5680444, 7008757, 6453085, 6748005, 6580705, 7573807, 7359312, 7639654, 5884197, 5999582, 6643365, 6114991, 6281837, 6199010, 6538600, 6650902, 6400956, 7302229, 6131025, 6363265, 6839569, 6044061, 5838681, 5724358, 7177317, 5864540, 6292492, 6069872, 7372819, 6160812, 6728220, 6615311, 6629114, 7031331, 7190695, 7088679, 7451241, 5999531, 6798741, 6941487, 7366174, 7139926, 7023856, 7283558, 7289498, 6046979, 7180949, 7134056, 7269752, 7474668, 7349336, 7280476, 6052368, 7609693, 7941558, 7548541, 7257624, 6067301, 7383349, 7366100, 7181567, 7325071, 7330430, 7242691, 7352761, 6185221, 7327727, 7412507, 7280472, 7289505, 6961809, 6678274, 7450507, 7733880, 7701936, 7636506, 7496030, 7240240, 7222214, 7733856, 7515530, 7830841, 6153947, 6337761, 6655286, 5898783, 6980790, 6192242, 7702308, 7764944, 7715821, 7565131, 6748227, 7706773, 6810261, 6603974, 7970406, 6615045, 6493553, 5457691, 6446108, 6937597, 6208718, 5764748, 7620556, 7474900, 7088733, 6521496, 6509230, 7079768, 6006112, 7773735, 6993337, 6961304, 6801790, 6954655, 7676240, 7324782, 6130648, 7620722, 7173899, 5531099, 7750286, 6393296, 7660267, 6958668, 6760597, 7286560, 7336607, 7362734, 5459780, 7653042, 6242988, 6603972, 6356757, 6539004, 5828677, 7324580, 6807145, 6615285, 7233399, 5513185, 7336988, 6643071, 5659610, 6192371, 7570670, 7559081, 5680530, 5999192, 6606616, 5550859, 5799013, 5544328, 6411613, 5686728, 6154740, 5802162, 6535729, 5287426, 5388174, 6211912, 6259728, 7873158, 5610909, 5483198, 7474656, 5459722, 7006787, 5878037, 6813604, 5448586, 6243012, 5649295, 5952922, 5646961, 5699382, 5768297, 5809233, 6201493, 5550671, 6405338, 6208222, 6720919, 6898214, 7068950, 5716220, 5566231, 7319871, 7215960, 7565161, 5619991, 6373229, 6009138, 6052574, 5960071, 5710807, 6937594, 5742667, 6801620, 6027027, 6501736, 5889850, 7474231, 5615249, 6192248, 6148218, 6259730, 6771689, 6862447, 6052499, 6246366, 7403516, 6169738, 7414968, 6602002, 5900968, 6025941, 5900969, 6049417, 5566011, 6163636, 6147794, 7068746, 7649882, 5828802, 7706272, 6590890, 5473719, 5541638, 7639668, 5740292, 6775240, 7345999, 7239610, 7764624, 5732214, 5703350, 6647195, 6292778, 7117424, 7035315, 6434388, 5631846, 6417933, 6421350, 6127895, 5568510, 6434198, 6351495, 7563828, 6038450, 6782268, 7522921, 6973268, 7308232, 6480552, 6754482, 6810243, 7414970, 6192115, 7002719, 5862141, 6161196, 6546094, 6175944, 5859882, 7440760, 5923462, 7061864, 6021330, 6381464, 6118977, 6256475, 6175270, 6518918, 7477899, 7548760, 7558255, 7929537, 7430241, 5486798, 7345993, 7088712, 7412233, 6104702, 7227905, 7929653, 7072661, 7433703, 7788566, 8077720, 5660600, 5488715, 7352747, 6661562, 6043928, 6194977, 7792082, 7855958, 6614774, 7397365, 7782901, 6112279, 6973144, 8351942, 7792026, 5649290, 6064262, 6400335, 6421005, 5848103, 5949833, 5689439, 5657325, 5442626, 5719875, 5706312, 6516037, 6233286, 6421395, 6473878, 6266795, 6351832, 7050493, 7167518, 7088729, 7676156, 7409154, 7684704, 6662211, 5640193, 5835731, 6075816, 6314134, 6252903, 6591024, 6137608, 6151431, 6594429, 7500167, 6226513, 6216011, 5450229, 5898156, 7796521, 6304260, 6178019, 6693946, 5724512, 5481570, 7133622, 7269356, 6396829, 6377690, 5694460, 5867573, 6304654, 6370123, 5621560, 6073122, 6373948, 5625642, 5784686, 7376353, 8355636, 6901260, 7149976, 6594230, 7974276, 5629736, 5623312, 6788675, 7154881, 7263096, 7603475, 7577221, 7330462, 7613735, 5995814, 6944141, 5945949, 5659418, 5646772, 6591300, 6668353, 6975208, 7646881, 7630509, 5750017, 6784731, 6526029, 5999048, 6553211, 5512939, 5548322, 5550581, 5596362, 7162551, 7120706, 7159049, 5600742, 5729369, 5745616, 5550666, 6008932, 6094298, 8850598