TRAVIS_OS_NAME=linux TRAVIS_PYTHON_VERSION=3.4 <<<<<< ENV .bumpversion.cfg .coveragerc LICENSE MANIFEST.in Makefile README.rst docs/Makefile docs/api.rst docs/conf.py docs/index.rst pymatsolver/__init__.py pymatsolver/direct.py pymatsolver/iterative.py pymatsolver/mumps/Makefile pymatsolver/mumps/__init__.py pymatsolver/mumps/mumps_cmplx_p.f90 pymatsolver/mumps/mumps_interface.f90 pymatsolver/mumps/mumps_p.f90 pymatsolver/solvers.py pymatsolver/wrappers.py setup.py tests/fdem/A_data.npy tests/fdem/A_indices.npy tests/fdem/A_indptr.npy tests/fdem/RHS.npy tests/test_Basic.py tests/test_BicgJacobi.py tests/test_Mumps.py tests/test_Pardiso.py tests/test_Scipy.py tests/test_Triangle.py <<<<<< network # path=coverage.xml /home/travis/build/simpeg/pymatsolver/pymatsolver <<<<<< EOF # path=fixes ./discretize/discretize/utils/interputils_cython.c:2,4,9,11,383,397,409,416,417,421,422,430,438,451,455,458,515,519,567,578,581,589,616,619,620,629,640,662,663,705,715,764,765,774,783,792,801,810,819,828,837,846,855,864,873,882,891,900,909,918,927,936,945,965,977,978,984,993,1002,1011,1021,1035,1059,1060,1072,1073,1095,1096,1111,1112,1113,1121,1126,1127,1135,1146,1147,1155,1160,1186,1224,1236,1240,1243,1247,1250,1255,1259,1268,1294,1303,1318,1321,1324,1331,1334,1339,1351,1353,1356,1360,1363,1366,1369,1380,1388,1396,1399,1402,1405,1412,1415,1419,1424,1430,1438,1441,1452,1459,1481,1493,1495,1499,1507,1519,1520,1531,1533,1537,1540,1545,1548,1553,1558,1561,1564,1579,1583,1591,1592,1606,1610,1614,1619,1622,1625,1628,1631,1653,1691,1729,1732,1739,1742,1745,1748,1751,1762,1765,1768,1777,1780,1783,1786,1797,1799,1801,1803,1805,1807,1809,1812,1814,1816,1818,1820,1822,1830,1881,2171,2179,2190,2201,2211,2212,2215,2221,2224,2235,2243,2244,2262,2265,2267,2281,2315,2323,2347,2348,2356,2364,2373,2382,2393,2402,2415,2416,2426,2428,2429,2439,2447,2451,2452,2460,2468,2477,2486,2497,2506,2519,2520,2530,2532,2533,2543,2551,2555,2556,2564,2573,2582,2591,2600,2609,2624,2630,2632,2647,2653,2655,2665,2674,2683,2684,2697,2699,2708,2716,2718,2719,2727,2738,2749,2759,2760,2763,2769,2772,2784,2792,2793,2845,2848,2850,2853,2855,2868,2877,2913,2919,2920,2924,2960,2966,2967,2971,2982,2997,3008,3019,3030,3041,3042,3062,3070,3102,3103,3111,3123,3135,3145,3150,3151,3154,3161,3165,3178,3186,3187,3267,3270,3272,3275,3277,3280,3282,3294,3303,3347,3353,3354,3358,3394,3400,3401,3405,3416,3432,3448,3460,3472,3484,3496,3508,3520,3532,3544,3554,3564,3574,3584,3585,3605,3613,3647,3648,3656,3669,3682,3692,3697,3702,3703,3706,3714,3719,3733,3741,3742,3869,3872,3874,3877,3879,3882,3884,3887,3889,3903,3912,3956,3962,3963,3967,4003,4009,4010,4014,4025,4041,4057,4073,4085,4097,4109,4121,4133,4145,4157,4169,4181,4193,4205,4217,4229,4241,4253,4265,4277,4289,4301,4313,4325,4337,4349,4361,4371,4381,4391,4401,4411,4421,4431,4441,4442,4460,4468,4504,4505,4513,4521,4525,4526,4551,4552,4564,4565,4574,4583,4592,4602,4611,4620,4621,4631,4633,4646,4647,4658,4667,4680,4688,4689,4702,4703,4714,4723,4736,4744,4745,4754,4763,4773,4782,4791,4802,4811,4820,4821,4830,4831,4841,4850,4852,4861,4870,4879,4888,4900,4909,4922,4927,4940,4949,4950,4964,4966,4976,4986,4998,5004,5006,5019,5023,5032,5045,5053,5054,5066,5077,5088,5099,5110,5121,5132,5143,5154,5165,5176,5187,5198,5209,5220,5231,5243,5268,5269,5278,5288,5296,5297,5307,5316,5325,5335,5344,5345,5353,5365,5371,5376,5377,5385,5392,5395,5396,5401,5411,5420,5428,5429,5439,5448,5456,5457,5465,5468,5469,5477,5483,5497,5505,5515,5516,5524,5530,5544,5552,5562,5563,5571,5577,5591,5599,5609,5610,5618,5624,5638,5646,5656,5657,5665,5671,5685,5693,5703,5704,5712,5733,5742,5751,5762,5774,5785,5791,5810,5824,5830,5847,5860,5868,5869,5881,5887,5889,5902,5906,5915,5928,5936,5937,5953,5962,5971,5981,5982,5992,6002,6014,6024,6037,6045,6046,6063,6064,6081,6082,6099,6100,6117,6118,6135,6136,6153,6154,6171,6172,6189,6190,6207,6208,6225,6226,6243,6244,6261,6262,6279,6280,6299,6300,6319,6320,6339,6340,6357,6358,6380,6382,6391,6400,6401,6412,6414,6422,6424,6434,6442,6458,6459,6467,6474,6485,6494,6503,6504,6514,6523,6525,6534,6543,6551,6554,6555,6563,6569,6579,6591,6599,6600,6613,6614,6622,6628,6629,6637,6650,6658,6666,6675,6683,6690,6705,6718,6721,6736,6737,6745,6759,6760,6768,6781,6789,6797,6806,6814,6821,6836,6849,6852,6867,6868,6876,6890,6891,6899,6912,6920,6928,6937,6945,6952,6966,6977,6980,6995,6996,7004,7018,7019,7027,7039,7054,7064,7069,7074,7079,7080,7083,7093,7094,7102,7111,7112,7124,7126,7134,7142,7143,7164,7175,7178,7187,7197,7210,7218,7219,7229,7242,7250,7251,7262,7277,7285,7286,7302,7312,7321,7330,7340,7353,7361,7362,7385,7395,7429,7437,7438,7447,7455,7457,7467,7476,7489,7498,7499,7509,7518,7531,7540,7541,7563,7565,7574,7583,7595,7605,7614,7624,7637,7645,7646,7656,7665,7676,7680,7684,7693,7702,7703,7711,7712,7720,7721,7729,7744,7745,7753,7761,7765,7766,7782,7783,7792,7803,7812,7821,7822,7833,7842,7850,7852,7862,7875,7883,7884,7894,7904,7914,7924,7934,7943,7953,7962,7972,7982,7991,7992,8002,8004,8017,8025,8036,8042,8046,8047,8055,8062,8065,8066,8071,8081,8090,8099,8100,8110,8120,8129,8137,8138,8147,8155,8157,8166,8174,8177,8178,8186,8194,8198,8199,8205,8219,8227,8237,8238,8246,8255,8264,8294,8302,8314,8315,8323,8331,8335,8336,8343,8360,8368,8379,8380,8388,8396,8400,8401,8408,8425,8433,8444,8445,8453,8461,8465,8466,8472,8484,8492,8503,8504,8512,8523,8533,8566,8575,8576,8605,8616,8630,8639,8641,8653,8661,8675,8676,8684,8692,8702,8708,8711,8716,8718,8728,8732,8733,8738,8751,8759,8764,8765,8773,8781,8785,8786,8791,8803,8811,8817,8818,8826,8832,8841,8850,8860,8869,8877,8878,8888,8896,8900,8901,8909,8919,8931,8941,8946,8947,8950,8958,8959,8966,8967,8977,8981,8982,8991,9004,9013,9027,9033,9042,9052,9061,9070,9078,9079,9087,9088,9098,9107,9116,9124,9125,9135,9144,9154,9163,9171,9172,9180,9181,9191,9204,9209,9218,9219,9229,9231,9240,9249,9257,9267,9268,9276,9283,9286,9287,9298,9309,9318,9326,9327,9337,9348,9358,9367,9377,9387,9397,9405,9406,9415,9423,9424,9426,9435,9437,9445,9446,9454,9457,9458,9466,9481,9490,9506,9525,9533,9535,9537,9542,9553,9561,9563,9573,9581,9592,9593,9601,9609,9613,9614,9628,9639,9651,9659,9660,9681,9696,9701,9711,9725,9733,9734,9745,9759,9760,9768,9782,9783,9791,9799,9803,9804,9816,9837,9852,9857,9867,9879,9889,9903,9912,9913,9929,9931,9940,9941,9953,9955,9963,9979,9980,9988,10003,10014,10022,10030,10040,10050,10074,10082,10092,10107,10122,10125,10147,10148,10156,10157,10169,10177,10190,10191,10199,10210,10219,10228,10244,10253,10261,10273,10274,10282,10303,10312,10321,10331,10340,10350,10359,10367,10368,10377,10386,10387,10397,10399,10408,10418,10427,10436,10437,10449,10451,10461,10472,10480,10481,10490,10491,10503,10519,10521,10528,10536,10538,10539,10547,10559,10560,10568,10576,10586,10597,10605,10617,10618,10626,10645,10657,10669,10677,10685,10707,10708,10727,10732,10742,10746,10754,10755,10767,10781,10789,10790,10802,10810,10828,10841,10844,10865,10866,10874,10891,10892,10900,10923,10935,10946,10976,10985,10986,11009,11010,11029,11034,11044,11049,11051,11063,11071,11080,11089,11098,11100,11108,11127,11128,11136,11144,11148,11149,11163,11164,11174,11184,11193,11194,11204,11206,11216,11226,11235,11236,11246,11248,11258,11268,11277,11278,11288,11290,11300,11310,11319,11320,11330,11332,11342,11352,11362,11372,11381,11394,11402,11408,11411,11412,11420,11428,11432,11433,11441,11454,11463,11475,11483,11494,11495,11503,11511,11515,11516,11521,11533,11541,11547,11548,11556,11564,11568,11569,11580,11599,11606,11614,11625,11626,11634,11642,11646,11647,11659,11669,11682,11690,11691,11710,11717,11725,11736,11737,11745,11753,11757,11758,11770,11780,11797,11805,11806,11825,11832,11840,11851,11852,11860,11868,11872,11873,11879,11893,11901,11911,11912,11920,11928,11932,11933,11939,11953,11961,11971,11972,11980,11988,11992,11993,12001,12021,12029,12041,12042,12050,12058,12062,12063,12076,12087,12097,12112,12124,12125,12138,12146,12147,12159,12167,12179,12180,12188,12196,12200,12201,12207,12217,12227,12235,12236,12246,12254,12259,12260,12268,12276,12280,12281,12289,12306,12322,12344,12352,12364,12365,12373,12381,12385,12386,12393,12421,12429,12440,12441,12449,12457,12461,12462,12470,12479,12493,12501,12511,12512,12520,12528,12532,12533,12541,12550,12564,12572,12582,12583,12591,12599,12603,12604,12613,12622,12631,12641,12655,12663,12673,12674,12682,12690,12694,12695,12705,12714,12723,12733,12747,12755,12765,12766,12774,12783,12811,12820,12832,12840,12853,12854,12862,12868,12879,12887,12892,12893,12901,12924,12935,12950,12959,12960,12971,12973,12985,12994,13003,13020,13039,13047,13049,13051,13061,13072,13082,13098,13099,13102,13111,13120,13121,13131,13133,13142,13151,13152,13167,13172,13193,13201,13202,13215,13221,13230,13232,13240,13243,13253,13263,13278,13279,13282,13290,13291,13307,13326,13334,13351,13352,13360,13371,13383,13393,13406,13414,13415,13416,13424,13436,13437,13445,13478,13488,13497,13510,13511,13513,13524,13537,13546,13555,13556,13566,13575,13577,13587,13597,13606,13615,13631,13650,13658,13660,13662,13667,13677,13686,13695,13704,13705,13716,13725,13734,13743,13752,13761,13762,13781,13785,13803,13807,13825,13829,13842,13855,13868,13877,13886,13888,13896,13898,13909,13918,13927,13936,13950,13958,13959,13969,13979,13991,13992,14000,14013,14014,14022,14030,14040,14050,14059,14067,14068,14079,14082,14091,14099,14100,14109,14110,14124,14129,14142,14147,14156,14164,14165,14175,14185,14194,14204,14213,14221,14222,14231,14232,14242,14252,14261,14270,14271,14281,14283,14291,14293,14302,14303,14314,14323,14332,14333,14343,14345,14347,14357,14367,14376,14386,14395,14403,14404,14413,14414,14424,14433,14441,14443,14452,14453,14464,14473,14482,14483,14493,14495,14497,14507,14516,14524,14525,14534,14544,14553,14561,14562,14572,14581,14589,14590,14599,14608,14617,14619,14629,14638,14647,14648,14659,14661,14671,14681,14691,14700,14709,14710,14719,14728,14730,14739,14740,14750,14752,14760,14761,14771,14779,14782,14790,14794,14795,14803,14817,14826,14836,14846,14857,14861,14863,14872,14881,14882,14892,14901,14911,14920,14928,14929,14931,14941,14950,14960,14984,14992,14993,15001,15002,15012,15036,15044,15045,15054,15064,15073,15081,15082,15092,15100,15110,15111,15119,15135,15145,15155,15165,15176,15185,15197,15209,15222,15227,15236,15244,15245,15246,15256,15264,15267,15275,15279,15280,15288,15295,15298,15299,15303,15312,15320,15323,15324,15332,15339,15349,15363,15371,15372,15387,15388,15396,15406,15407,15415,15423,15433,15442,15451,15452,15464,15466,15474,15486,15487,15495,15503,15507,15508,15513,15525,15533,15539,15540,15548,15565,15575,15587,15595,15596,15622,15631,15640,15655,15665,15675,15684,15693,15702,15711,15720,15729,15738,15747,15759,15769,15778,15787,15795,15796,15798,15808,15823,15839,15840,15849,15858,15870,15878,15891,15892,15900,15909,15920,15933,15943,15951,15952,15962,15972,15973,15981,15991,15992,16000,16012,16022,16032,16042,16051,16060,16071,16080,16089,16101,16103,16104,16112,16115,16116,16124,16131,16140,16154,16162,16172,16173,16181,16193,16204,16214,16224,16233,16234,16244,16253,16255,16264,16277,16285,16295,16296,16304,16308,16318,16328,16336,16337,16348,16349,16357,16361,16362,16370,16379,16388,16397,16407,16417,16426,16435,16443,16444,16446,16457,16467,16476,16485,16493,16494,16496,16506,16516,16524,16525,16536,16537,16545,16549,16550,16558,16570,16579,16588,16597,16606,16616,16629,16635,16636,16647,16651,16660,16669,16678,16679,16691,16700,16709,16718,16719,16721,16730,16731,16743,16752,16761,16770,16771,16773,16781,16783,16784,16792,16794,16803,16811,16813,16814,16822,16830,16840,16851,16860,16861,16871,16879,16883,16884,16892,16899,16909,16920,16929,16938,16939,16948,16949,16960,16969,16978,16979,16981,16991,16999,17003,17004,17012,17024,17034,17043,17052,17062,17071,17079,17080,17089,17099,17110,17119,17128,17129,17138,17149,17159,17168,17176,17177,17178,17188,17197,17206,17207,17217,17219,17229,17237,17240,17248,17252,17253,17261,17273,17298,17320,17328,17342,17343,17351,17365,17390,17391,17415,17425,17426,17431,17439,17455,17456,17464,17479,17489,17508,17509,17533,17543,17544,17549,17557,17558,17569,17570,17578,17594,17595,17603,17621,17630,17640,17649,17658,17667,17677,17686,17695,17696,17706,17715,17723,17725,17739,17741,17752,17762,17772,17781,17790,17799,17800,17810,17812,17820,17821,17831,17840,17848,17849,17850,17860,17870,17879,17887,17888,17898,17907,17915,17916,17926,17936,17945,17954,17955,17965,17974,17982,17984,17994,18003,18012,18021,18030,18040,18048,18049,18057,18058,18069,18072,18081,18090,18098,18099,18108,18117,18126,18135,18145,18153,18156,18164,18168,18169,18177,18183,18192,18202,18211,18220,18229,18230,18241,18250,18259,18268,18269,18277,18279,18280,18288,18291,18301,18310,18318,18319,18327,18329,18330,18338,18345,18354,18362,18368,18369,18377,18385,18396,18406,18416,18425,18434,18435,18445,18447,18456,18457,18466,18475,18477,18486,18487,18495,18498,18499,18507,18509,18518,18527,18536,18544,18546,18547,18555,18563,18572,18581,18591,18602,18611,18620,18621,18630,18631,18643,18652,18661,18662,18664,18672,18674,18676,18684,18695,18696,18702,18704,18711,18715,18722,18723,18727,18732,18733,18734,18740,18742,18743,18746,18747,18752,18757,18770,18776,18793,18851,18859,18864,18865,18871,18876,18877,18883,18885,18886,18894,18895,18899,18958,18966,18979,18980,18986,18989,18996,19001,19002,19008,19011,19014,19017,19019,19020,19035,19042,19043,19047,19052,19053,19054,19057,19058,19061,19062,19065,19066,19069,19070,19073,19074,19077,19078,19081,19082,19085,19086,19089,19090,19098,19111,19124,19130,19147,19206,19216,19217,19223,19226,19233,19237,19238,19245,19247,19248,19258,19259,19262,19263,19267,19272,19338,19342,19360,19477,19478,19482,19493,19504,19515,19526,19537,19548,19559,19570,19579,19590,19601,19612,19623,19634,19645,19656,19667,19681,19692,19703,19714,19725,19737,19749,19761,19773,19784,19795,19806,19817,19833,19834,19845,19846,19854,19865,19915,19917,19921,19922,19986,19998,20010,20022,20034,20046,20056,20069,20083,20097,20111,20125,20139,20148,20165,20178,20191,20199,20201,20208,20212,20220,20221,20237,20239,20250,20252,20253,20261,20270,20273,20278,20279,20284,20292,20293,20302,20313,20322,20324,20333,20335,20336,20350,20352,20365,20366,20373,20374,20394,20395,20401,20404,20408,20415,20418,20421,20422,20427,20453,20454,20465,20466,20469,20476,20480,20503,20504,20516,20521,20522,20539,20540,20541,20568,20569,20600,20601,20620,20621,20622,20633,20645,20646,20661,20662,20667,20670,20673,20682,20692,20700,20705,20706,20713,20724,20726,20742,20743,20748,20751,20761,20767,20779,20787,20792,20801,20806,20817,20826,20836,20845,20855,20858,20861,20868,20869,20886,20898,20918,20922,20923,20924,20925,20932,20936,20940,20948,20953,20960,20966,20971,20972,20979,20992,20996,21002,21003,21010,21011,21016,21026,21038,21042,21048,21052,21058,21061,21077,21078,21079,21089,21102,21105,21106,21107,21121,21129,21131,21138,21139,21154,21156,21157,21173,21175,21177,21183,21189,21190,21209,21210,21216,21224,21232,21233,21242,21252,21260,21275,21276,21277,21300,21301,21306,21327,21329,21345,21347,21351,21353,21358,21359,21365,21366,21370,21371,21381,21393,21395,21403,21405,21435,21465,21466,21488,21501,21503,21504,21516,21534,21545,21549,21562,21575,21587,21588,21595,21596,21608,21609,21622,21628,21631,21640,21641,21642,21656,21665,21667,21688,21695,21714,21715,21717,21731,21732,21740,21741,21761,21766,21772,21791,21801,21809,21810,21817,21824,21826,21830,21838,21842,21858,21861,21877,21879,21887,21897,21902,21912,21917,21928,21929,21936,21948,21949,21951,21952,21956,21959,21960,21973,21999,22009,22019,22029,22039,22049,22051,22052,22060,22061,22062,22072,22074,22076,22080,22081,22088,22089,22113,22125,22130,22131,22147,22149,22151,22163,22168,22181,22182,22184,22193,22195,22212,22213,22219,22228,22229,22234,22235,22241,22245,22249,22255,22265,22267,22274,22281,22284,22287,22292,22293,22316,22323,22349,22360,22373,22374,22383,22390,22394,22396,22397,22402,22411,22417,22419,22420,22426,22441,22442,22445,22450,22455,22456,22460,22468,22469,22483,22491,22492,22493,22498,22499,22500,22521,22522,22536,22544,22545,22546,22551,22552,22553,22567,22575,22576,22577,22582,22583,22584,22590,22594,22602,22604,22610,22616,22622,22628,22641,22647,22648,22658,22659,22666,22669,22675,22683,22693,22710,22711,22725,22729,22736,22739,22745,22749,22757,22759,22765,22771,22777,22783,22796,22802,22803,22813,22814,22821,22824,22830,22838,22848,22865,22866,22880,22884,22891,22894,22908,22916,22917,22918,22923,22924,22925,22932,22948,22949,22953,22962,22963,22967,22991,22992,23005,23007,23023,23024,23032,23033,23041,23042,23044,23049,23051,23057,23065,23079,23080,23088,23089,23097,23098,23106,23107,23115,23116,23124,23125,23127,23135,23136,23137,23149,23160,23163,23171,23180,23181,23194,23196,23212,23213,23221,23222,23230,23231,23233,23238,23240,23246,23254,23268,23269,23277,23278,23286,23287,23295,23296,23304,23305,23313,23314,23316,23324,23325,23326,23338,23349,23352,23360,23369,23370,23383,23385,23401,23402,23410,23411,23419,23420,23422,23427,23429,23435,23443,23457,23458,23466,23467,23475,23476,23484,23485,23493,23494,23502,23503,23505,23513,23514,23515,23527,23538,23541,23549,23558,23559,23563,23575,23576,23581,23594,23596,23597,23599,23600,23604,23615,23621,23622,23632,23633,23649,23650,23654,23657,23664,23665,23672,23673,23677,23680,23687,23691,23693,23702,23704,23705,23709,23719,23737,23744,23748,23759,23766,23772,23781,23782,23792,23804,23805,23818,23820,23821,23837,23839,23845,23872,23890,23896,23902,23904,23915,23924,23927,23932,23934,23935,23938,23942,23956,23963,23964,23965,23978,23991,23998,23999,24000,24005,24024,24028,24033,24049,24050,24054,24056,24066,24081,24086,24091,24096,24101,24106,24108,24109,24112,24118,24121,24122,24123 ./discretize/discretize/tree.h:3,8,10,14,17,25,33,38,42,47,52,68,83,99,100,108,114,119,126,128,132,143,151,154,162,164,166 ./discretize/discretize/tree_ext.cpp:2,4,12,14,386,400,414,426,433,434,438,439,447,455,478,482,485,542,546,594,605,608,616,643,646,647,656,667,689,690,706,742,791,792,801,810,819,828,837,846,855,864,873,882,891,900,909,918,927,936,945,954,963,972,992,1004,1005,1018,1027,1036,1045,1054,1077,1078,1146,1147,1159,1160,1172,1173,1185,1186,1198,1199,1211,1212,1236,1237,1249,1250,1272,1273,1288,1289,1290,1298,1303,1304,1312,1317,1318,1326,1337,1338,1346,1351,1377,1415,1427,1431,1434,1437,1445,1448,1455,1466,1473,1478,1481,1491,1496,1505,1520,1525,1528,1532,1535,1540,1562,1571,1597,1605,1608,1615,1618,1623,1624,1627,1681,1684,1687,1700,1706,1709,1712,1715,1718,1721,1724,1727,1734,1746,1748,1751,1755,1763,1771,1774,1777,1790,1795,1806,1808,1812,1823,1831,1839,1842,1850,1853,1856,1859,1863,1869,1872,1883,1885,1889,1897,1900,1904,1908,1916,1924,1927,1940,1941,1944,1947,1950,1953,1968,1972,1980,1981,1995,1999,2003,2008,2011,2014,2017,2020,2023,2026,2030,2033,2037,2072,2074,2076,2077,2079,2083,2087,2109,2147,2185,2188,2195,2198,2201,2204,2207,2210,2213,2216,2219,2230,2233,2236,2239,2242,2245,2248,2251,2254,2257,2260,2269,2272,2275,2278,2290,2292,2294,2296,2298,2300,2302,2305,2307,2309,2311,2313,2315,2323,2325,2327,2329,2331,2333,2335,2337,2400,3478,3486,3492,3501,3511,3520,3529,3538,3547,3556,3565,3575,3584,3593,3602,3610,3611,3619,3622,3623,3631,3639,3643,3644,3661,3671,3681,3694,3706,3718,3730,3767,3775,3776,3789,3801,3826,3834,3852,3853,3861,3869,3873,3874,3895,3905,3915,3928,3940,3965,3973,3974,3983,3999,4015,4031,4080,4088,4110,4111,4119,4127,4131,4132,4149,4159,4175,4184,4196,4208,4220,4251,4259,4260,4270,4283,4295,4320,4328,4344,4345,4353,4361,4365,4366,4378,4414,4415,4439,4449,4450,4455,4456,4495,4496,4520,4530,4531,4536,4544,4559,4560,4568,4576,4580,4581,4593,4629,4630,4654,4664,4665,4670,4671,4710,4711,4735,4745,4746,4751,4759,4774,4775,4783,4791,4795,4796,4808,4844,4845,4869,4879,4880,4885,4886,4925,4926,4950,4960,4961,4966,4974,4989,4990,4998,5006,5010,5011,5017,5031,5039,5049,5050,5058,5066,5070,5071,5077,5091,5099,5109,5110,5118,5126,5130,5131,5146,5161,5162,5169,5180,5190,5199,5207,5208,5218,5231,5234,5243,5244,5255,5265,5275,5285,5304,5307,5316,5325,5335,5345,5364,5367,5376,5385,5395,5405,5424,5427,5437,5447,5457,5476,5480,5481,5490,5491,5500,5509,5518,5528,5538,5548,5558,5583,5586,5595,5604,5614,5624,5634,5644,5669,5672,5681,5690,5700,5710,5720,5730,5755,5758,5767,5776,5786,5796,5806,5816,5841,5844,5853,5862,5872,5882,5892,5902,5927,5930,5940,5950,5960,5970,5980,6005,6009,6010,6012,6015,6016,6028,6036,6051,6052,6060,6068,6072,6073,6083,6093,6117,6125,6126,6139,6149,6171,6179,6192,6193,6201,6209,6213,6214,6220,6234,6242,6252,6253,6261,6276,6288,6300,6309,6326,6327,6348,6358,6359,6365,6373,6390,6391,6399,6412,6418,6419,6424,6433,6442,6450,6455,6456,6464,6473,6484,6494,6495,6498,6504,6507,6517,6521,6522,6547,6563,6579,6589,6603,6633,6675,6676,6700,6710,6711,6715,6736,6750,6777,6778,6802,6812,6813,6821,6851,6893,6894,6918,6928,6929,6933,6954,6968,6995,6996,7020,7030,7031,7039,7049,7065,7095,7137,7138,7162,7172,7173,7177,7198,7212,7239,7240,7264,7274,7275,7283,7292,7293,7321,7330,7332,7341,7350,7368,7379,7390,7392,7401,7410,7428,7429,7435,7439,7447,7470,7471,7479,7488,7492,7493,7498,7511,7524,7537,7550,7563,7576,7589,7602,7615,7628,7641,7654,7667,7680,7693,7706,7719,7732,7745,7758,7771,7784,7797,7810,7823,7836,7849,7862,7875,7888,7901,7914,7927,7940,7953,7966,7979,7992,8005,8018,8031,8044,8057,8070,8083,8096,8109,8117,8123,8124,8132,8142,8154,8164,8165,8168,8175,8176,8179,8189,8193,8194,8202,8211,8215,8216,8230,8239,8240,8248,8267,8269,8283,8294,8306,8314,8315,8324,8333,8342,8352,8370,8371,8377,8381,8389,8390,8398,8414,8415,8423,8434,8447,8457,8462,8463,8466,8474,8475,8479,8489,8493,8494,8517,8543,8544,8565,8575,8576,8600,8613,8639,8640,8661,8671,8672,8700,8711,8733,8743,8745,8746,8756,8774,8775,8781,8785,8793,8794,8802,8823,8824,8832,8841,8845,8846,8852,8862,8871,8880,8889,8897,8898,8906,8912,8913,8921,8930,8934,8935,8940,8949,8957,8963,8964,8972,8981,8985,8986,9048,9062,9069,9076,9089,9097,9098,9137,9147,9157,9197,9215,9226,9236,9238,9256,9267,9277,9279,9289,9307,9318,9328,9330,9338,9339,9351,9368,9379,9381,9382,9394,9411,9422,9424,9425,9435,9447,9464,9475,9477,9478,9486,9487,9504,9506,9521,9531,9542,9560,9562,9563,9571,9572,9587,9597,9608,9626,9628,9629,9637,9638,9653,9663,9674,9692,9694,9695,9703,9704,9714,9729,9739,9750,9768,9770,9771,9779,9780,9795,9805,9816,9834,9836,9837,9845,9846,9861,9871,9882,9900,9902,9903,9911,9912,9927,9937,9948,9966,9968,9969,9977,9978,9986,9987,10000,10013,10026,10039,10052,10065,10078,10091,10104,10117,10130,10143,10156,10169,10182,10190,10191,10199,10217,10218,10226,10234,10238,10239,10251,10261,10271,10284,10286,10303,10309,10317,10327,10328,10336,10344,10348,10349,10363,10372,10387,10401,10403,10411,10412,10426,10434,10444,10445,10453,10461,10465,10466,10472,10486,10494,10504,10505,10513,10521,10525,10526,10532,10546,10554,10564,10565,10573,10581,10585,10586,10594,10614,10622,10634,10635,10643,10651,10655,10656,10662,10676,10684,10694,10695,10703,10711,10715,10716,10722,10736,10744,10754,10755,10763,10771,10775,10776,10784,10810,10818,10830,10831,10839,10847,10851,10852,10860,10886,10894,10906,10907,10915,10923,10927,10928,10936,10956,10964,10976,10977,10985,10993,10997,10998,11006,11026,11034,11046,11047,11055,11063,11067,11068,11076,11096,11104,11116,11117,11125,11133,11137,11138,11146,11166,11174,11186,11187,11195,11203,11207,11208,11214,11228,11236,11246,11247,11255,11263,11267,11268,11274,11288,11296,11306,11307,11315,11323,11327,11328,11334,11348,11356,11366,11367,11375,11383,11387,11388,11394,11408,11416,11426,11427,11435,11443,11447,11448,11454,11468,11476,11486,11487,11495,11503,11507,11508,11514,11528,11536,11546,11547,11555,11563,11567,11568,11576,11602,11610,11622,11623,11631,11639,11643,11644,11652,11678,11686,11698,11699,11707,11715,11719,11720,11728,11748,11756,11768,11769,11777,11785,11789,11790,11798,11818,11826,11838,11839,11847,11855,11859,11860,11868,11888,11896,11908,11909,11917,11925,11929,11930,11938,11958,11966,11978,11979,11987,11995,11999,12000,12007,12023,12024,12038,12046,12056,12057,12065,12073,12077,12078,12085,12101,12102,12116,12124,12134,12135,12143,12151,12155,12156,12163,12177,12178,12192,12200,12210,12211,12219,12227,12231,12232,12239,12255,12256,12270,12278,12288,12289,12297,12305,12309,12310,12317,12333,12334,12348,12356,12366,12367,12375,12383,12387,12388,12395,12409,12410,12424,12432,12442,12443,12451,12459,12463,12464,12492,12503,12513,12562,12575,12590,12600,12611,12633,12635,12636,12644,12645,12653,12654,12666,12674,12690,12691,12699,12707,12711,12712,12741,12752,12762,12811,12824,12839,12849,12859,12869,12880,12902,12904,12905,12913,12914,12922,12923,12931,12932,12944,12952,12968,12969,12977,12985,12989,12990,13013,13024,13034,13083,13095,13110,13129,13140,13165,13166,13174,13175,13183,13184,13196,13204,13219,13220,13228,13236,13240,13241,13271,13282,13294,13302,13303,13315,13317,13327,13376,13389,13404,13414,13425,13448,13450,13451,13459,13460,13472,13480,13496,13497,13505,13513,13517,13518,13547,13558,13568,13617,13630,13645,13655,13665,13675,13686,13708,13710,13711,13719,13720,13728,13729,13737,13738,13750,13758,13774,13775,13783,13791,13795,13796,13823,13834,13844,13893,13906,13921,13940,13951,13973,13975,13976,13984,13985,13993,13994,14006,14014,14030,14031,14039,14047,14051,14052,14081,14092,14102,14151,14164,14179,14189,14199,14209,14220,14242,14244,14245,14253,14254,14262,14263,14271,14272,14284,14292,14308,14309,14317,14325,14329,14330,14357,14368,14378,14427,14440,14455,14474,14485,14507,14509,14510,14518,14519,14527,14528,14540,14548,14564,14565,14573,14581,14585,14586,14615,14626,14636,14685,14698,14713,14723,14733,14743,14754,14776,14778,14779,14787,14788,14796,14797,14805,14806,14818,14826,14842,14843,14851,14859,14863,14864,14891,14902,14912,14961,14974,14989,15008,15019,15041,15043,15044,15052,15053,15061,15062,15074,15082,15098,15099,15107,15115,15119,15120,15149,15165,15166,15177,15187,15236,15249,15264,15274,15284,15294,15305,15327,15329,15330,15338,15339,15347,15348,15356,15357,15369,15377,15393,15394,15402,15410,15414,15415,15444,15460,15461,15472,15482,15531,15544,15559,15569,15579,15589,15600,15622,15624,15625,15633,15634,15642,15643,15651,15652,15664,15672,15688,15689,15697,15705,15709,15710,15739,15755,15756,15767,15777,15826,15839,15854,15864,15874,15884,15895,15917,15919,15920,15928,15929,15937,15938,15946,15947,15959,15967,15983,15984,15992,16000,16004,16005,16028,16044,16045,16056,16066,16115,16127,16142,16161,16172,16197,16198,16206,16207,16215,16216,16228,16236,16251,16252,16260,16268,16272,16273,16300,16316,16317,16328,16338,16387,16400,16415,16434,16445,16467,16469,16470,16478,16479,16487,16488,16500,16508,16524,16525,16533,16541,16545,16546,16573,16599,16600,16624,16634,16635,16640,16641,16652,16662,16711,16724,16739,16758,16769,16791,16793,16794,16802,16803,16811,16812,16824,16832,16848,16849,16857,16865,16869,16870,16891,16902,16941,16954,16969,16987,16989,16997,16998,17006,17007,17019,17027,17043,17044,17052,17060,17064,17065,17093,17106,17112,17158,17166,17167,17176,17187,17226,17239,17254,17264,17275,17276,17294,17296,17305,17306,17319,17334,17344,17355,17356,17374,17376,17385,17386,17405,17420,17430,17441,17442,17460,17462,17471,17472,17480,17481,17493,17501,17517,17518,17526,17534,17538,17539,17566,17577,17616,17629,17644,17654,17665,17666,17684,17686,17695,17696,17709,17724,17734,17745,17746,17764,17766,17775,17776,17786,17805,17820,17830,17841,17842,17860,17862,17871,17872,17880,17881,17889,17890,17902,17910,17926,17927,17935,17943,17947,17948,17990,18030,18070,18110,18150,18160,18200,18240,18248,18249,18258,18267,18276,18285,18294,18303,18318,18328,18346,18348,18357,18365,18366,18376,18394,18396,18405,18413,18414,18424,18442,18444,18453,18461,18462,18472,18490,18492,18501,18509,18510,18520,18530,18549,18551,18560,18568,18569,18579,18598,18600,18609,18617,18618,18626,18627,18635,18636,18659,18660,18684,18694,18695,18702,18725,18726,18750,18760,18761,18768,18791,18792,18816,18826,18827,18834,18857,18858,18882,18892,18893,18900,18910,18934,18935,18959,18969,18970,18977,19001,19002,19026,19036,19037,19044,19076,19084,19085,19112,19113,19121,19148,19149,19157,19165,19169,19170,19234,19246,19256,19275,19287,19293,19300,19301,19313,19324,19349,19358,19359,19379,19395,19403,19410,19411,19423,19434,19471,19473,19513,19553,19593,19633,19643,19654,19671,19682,19684,19685,19696,19713,19724,19726,19727,19738,19755,19766,19768,19769,19780,19797,19808,19810,19811,19819,19820,19830,19871,19912,19923,19940,19951,19953,19954,19965,19982,19993,19995,19996,20007,20024,20035,20037,20038,20049,20066,20077,20079,20080,20091,20109,20120,20122,20123,20134,20152,20163,20165,20166,20174,20175,20198,20199,20223,20233,20234,20238,20261,20262,20286,20296,20297,20301,20324,20325,20349,20359,20360,20364,20387,20388,20412,20422,20423,20427,20437,20461,20462,20486,20496,20497,20501,20525,20526,20550,20560,20561,20565,20597,20605,20606,20633,20634,20642,20683,20684,20692,20702,20715,20722,20727,20728,20731,20738,20739,20742,20752,20756,20757,20796,20814,20815,20821,20826,20842,20847,20862,20871,20872,20883,20885,20907,20918,20935,20943,20944,20979,20992,21032,21047,21064,21067,21076,21084,21085,21095,21104,21114,21124,21133,21134,21144,21161,21166,21175,21176,21189,21203,21213,21222,21232,21233,21245,21259,21269,21278,21288,21289,21301,21315,21325,21334,21344,21345,21357,21371,21381,21390,21400,21401,21411,21423,21437,21447,21456,21466,21467,21479,21493,21503,21512,21522,21523,21535,21549,21559,21568,21578,21579,21591,21605,21615,21624,21634,21635,21643,21644,21646,21664,21666,21675,21676,21700,21701,21725,21735,21736,21741,21749,21770,21771,21779,21789,21800,21810,21811,21814,21820,21823,21833,21837,21838,21880,21893,21906,21919,21935,21937,21950,21963,21979,21981,21990,22003,22004,22013,22023,22032,22041,22042,22052,22054,22063,22074,22084,22094,22104,22113,22122,22123,22133,22142,22151,22152,22162,22164,22174,22183,22192,22193,22203,22212,22221,22222,22232,22234,22244,22253,22262,22263,22273,22282,22291,22292,22302,22304,22319,22325,22327,22336,22345,22354,22363,22376,22381,22391,22400,22409,22410,22420,22422,22430,22431,22444,22449,22459,22468,22477,22478,22488,22490,22498,22499,22512,22518,22523,22533,22542,22551,22552,22562,22564,22572,22573,22584,22594,22607,22613,22618,22631,22637,22642,22655,22661,22667,22672,22681,22682,22691,22704,22705,22715,22728,22736,22737,22738,22752,22760,22770,22771,22779,22787,22791,22792,22804,22815,22827,22835,22836,22846,22864,22865,22871,22876,22885,22886,22905,22906,22912,22917,22919,22937,22938,22944,22949,22964,22976,22984,22998,22999,23007,23016,23020,23021,23058,23101,23144,23187,23196,23205,23220,23230,23240,23265,23267,23268,23269,23271,23280,23281,23282,23286,23297,23308,23320,23332,23342,23353,23364,23375,23386,23394,23395,23439,23440,23464,23474,23475,23480,23488,23508,23509,23517,23526,23530,23531,23576,23619,23662,23705,23714,23723,23732,23747,23757,23767,23792,23794,23795,23796,23798,23807,23808,23809,23813,23825,23837,23848,23859,23870,23881,23891,23901,23911,23921,23932,23943,23954,23965,23976,23987,23995,23996,24040,24041,24065,24075,24076,24081,24089,24109,24110,24118,24126,24130,24131,24193,24204,24216,24224,24225,24235,24278,24321,24364,24377,24396,24409,24428,24443,24453,24463,24472,24480,24481,24491,24516,24518,24519,24520,24522,24531,24532,24533,24537,24548,24559,24570,24581,24591,24602,24613,24624,24635,24644,24645,24660,24670,24680,24689,24697,24698,24707,24732,24734,24735,24736,24738,24747,24748,24749,24753,24764,24776,24787,24799,24809,24820,24831,24842,24853,24862,24863,24878,24888,24898,24907,24915,24916,24925,24950,24952,24953,24954,24956,24965,24966,24967,24971,24982,24994,25005,25017,25027,25038,25049,25060,25071,25080,25081,25144,25162,25163,25169,25174,25189,25201,25209,25233,25234,25242,25250,25254,25255,25304,25315,25327,25335,25336,25346,25389,25432,25475,25488,25507,25522,25532,25543,25544,25554,25579,25581,25582,25583,25585,25594,25595,25596,25600,25612,25624,25634,25645,25656,25665,25666,25681,25691,25702,25703,25712,25737,25739,25740,25741,25743,25752,25753,25754,25758,25770,25782,25792,25803,25814,25823,25824,25834,25849,25859,25870,25871,25880,25905,25907,25908,25909,25911,25920,25921,25922,25926,25938,25950,25960,25971,25982,25991,25992,26000,26001,26019,26020,26026,26031,26094,26109,26121,26129,26153,26154,26162,26170,26174,26175,26181,26194,26202,26211,26212,26220,26229,26233,26234,26288,26331,26374,26417,26427,26442,26451,26461,26470,26478,26479,26489,26499,26509,26520,26531,26543,26555,26566,26577,26586,26587,26605,26625,26633,26635,26637,26640,26654,26665,26676,26688,26704,26715,26726,26734,26736,26738,26747,26748,26759,26769,26780,26791,26803,26815,26826,26837,26846,26847,26865,26885,26893,26895,26897,26900,26914,26925,26936,26948,26964,26975,26986,26994,26996,26998,27000,27009,27010,27075,27083,27104,27105,27113,27122,27126,27127,27181,27224,27267,27310,27320,27335,27344,27354,27363,27371,27372,27382,27392,27402,27413,27424,27436,27448,27459,27470,27479,27480,27498,27518,27526,27528,27530,27533,27544,27555,27566,27578,27591,27602,27613,27621,27623,27625,27634,27635,27646,27656,27667,27678,27690,27702,27713,27724,27733,27734,27752,27772,27780,27782,27784,27787,27810,27821,27832,27844,27869,27880,27891,27899,27901,27903,27905,27914,27915,27980,27988,28009,28010,28018,28027,28031,28032,28071,28114,28157,28200,28215,28224,28234,28243,28251,28252,28262,28272,28283,28294,28306,28318,28329,28340,28349,28350,28361,28371,28382,28393,28405,28417,28428,28439,28440,28442,28451,28452,28517,28525,28545,28546,28554,28562,28566,28567,28622,28636,28650,28658,28659,28702,28745,28788,28798,28813,28822,28832,28841,28849,28850,28860,28870,28880,28891,28902,28914,28926,28937,28948,28957,28958,28976,28996,29004,29006,29008,29011,29025,29036,29047,29059,29075,29086,29097,29105,29107,29109,29118,29119,29130,29140,29151,29162,29174,29186,29197,29208,29217,29218,29236,29256,29264,29266,29268,29271,29285,29296,29307,29319,29335,29346,29357,29365,29367,29369,29371,29380,29381,29442,29452,29466,29474,29495,29496,29504,29512,29516,29517,29572,29586,29600,29608,29609,29652,29695,29738,29748,29763,29772,29782,29791,29799,29800,29810,29820,29830,29841,29852,29864,29876,29887,29898,29907,29908,29926,29946,29954,29956,29958,29961,29972,29983,29994,30006,30019,30030,30041,30049,30051,30053,30062,30063,30074,30084,30095,30106,30118,30130,30141,30152,30161,30162,30180,30200,30208,30210,30212,30215,30238,30249,30260,30272,30297,30308,30319,30327,30329,30331,30333,30342,30343,30404,30414,30428,30436,30457,30458,30466,30474,30478,30479,30519,30533,30547,30555,30556,30599,30642,30685,30700,30709,30719,30728,30736,30737,30747,30757,30768,30779,30791,30803,30814,30825,30834,30835,30846,30856,30867,30878,30890,30902,30913,30924,30925,30927,30936,30937,30998,31008,31022,31030,31050,31051,31059,31068,31072,31073,31108,31151,31194,31237,31252,31262,31272,31283,31294,31304,31316,31328,31337,31338,31350,31361,31363,31374,31385,31393,31394,31457,31487,31488,31512,31522,31523,31540,31548,31564,31576,31606,31607,31631,31641,31642,31659,31667,31668,31691,31703,31711,31733,31734,31742,31751,31755,31756,31792,31802,31845,31888,31931,31946,31956,31966,31977,31988,31998,32010,32022,32031,32032,32044,32055,32057,32068,32079,32087,32088,32151,32181,32182,32206,32216,32217,32234,32242,32258,32270,32300,32301,32325,32335,32336,32353,32361,32362,32385,32397,32405,32427,32428,32436,32445,32449,32450,32486,32496,32539,32582,32625,32640,32650,32660,32671,32682,32692,32704,32716,32725,32726,32738,32749,32751,32762,32773,32781,32782,32845,32875,32876,32900,32910,32911,32928,32936,32952,32964,32994,32995,33019,33029,33030,33047,33055,33056,33079,33091,33099,33121,33122,33130,33139,33143,33144,33158,33168,33186,33187,33193,33198,33216,33217,33223,33228,33258,33259,33283,33293,33294,33299,33307,33308,33327,33328,33334,33339,33357,33358,33364,33369,33387,33388,33394,33399,33432,33433,33457,33467,33468,33473,33474,33482,33499,33500,33508,33517,33521,33522,33536,33546,33564,33565,33571,33576,33594,33595,33601,33606,33636,33637,33661,33671,33672,33677,33685,33686,33705,33706,33712,33717,33735,33736,33742,33747,33765,33766,33772,33777,33810,33811,33835,33845,33846,33851,33852,33860,33877,33878,33886,33895,33899,33900,33929,33969,34009,34049,34064,34074,34084,34095,34105,34117,34126,34127,34139,34141,34152,34160,34161,34205,34206,34230,34240,34241,34246,34254,34274,34275,34283,34292,34296,34297,34326,34366,34406,34446,34461,34471,34481,34492,34502,34514,34523,34524,34536,34538,34549,34557,34558,34602,34603,34627,34637,34638,34643,34651,34671,34672,34680,34689,34693,34694,34723,34763,34803,34843,34858,34868,34878,34889,34899,34911,34920,34921,34933,34935,34946,34954,34955,34999,35000,35024,35034,35035,35040,35048,35068,35069,35077,35086,35090,35091,35125,35168,35211,35254,35267,35282,35292,35302,35327,35329,35330,35331,35333,35342,35343,35344,35348,35358,35370,35382,35394,35406,35415,35416,35442,35444,35445,35446,35448,35457,35458,35459,35463,35465,35490,35492,35493,35494,35496,35505,35506,35507,35511,35519,35520,35583,35613,35614,35638,35648,35649,35666,35674,35690,35702,35732,35733,35757,35767,35768,35785,35793,35794,35817,35829,35837,35860,35861,35869,35877,35881,35882,35916,35927,35939,35947,35948,35957,36003,36049,36095,36106,36108,36123,36133,36144,36155,36167,36178,36179,36187,36188,36206,36207,36213,36218,36261,36262,36286,36296,36297,36307,36319,36327,36348,36349,36357,36365,36369,36370,36404,36415,36427,36435,36436,36445,36491,36537,36583,36594,36596,36611,36621,36632,36643,36655,36666,36667,36675,36676,36694,36695,36701,36706,36749,36750,36774,36784,36785,36795,36807,36815,36836,36837,36845,36853,36857,36858,36892,36903,36915,36923,36924,36934,36947,36955,36956,36965,37011,37057,37103,37114,37116,37131,37141,37152,37163,37175,37186,37187,37195,37196,37214,37215,37221,37226,37269,37270,37294,37304,37305,37315,37327,37335,37356,37357,37365,37373,37377,37378,37392,37403,37425,37435,37455,37463,37464,37475,37491,37492,37513,37523,37524,37537,37538,37544,37556,37564,37565,37577,37585,37601,37602,37610,37618,37622,37623,37636,37647,37669,37679,37699,37707,37708,37729,37730,37751,37761,37762,37775,37776,37782,37790,37798,37799,37811,37819,37834,37835,37843,37851,37855,37856,37887,37898,37910,37918,37919,37929,37943,37951,37952,37995,38038,38081,38096,38105,38114,38124,38149,38151,38152,38153,38155,38164,38165,38166,38170,38182,38194,38219,38221,38222,38223,38225,38234,38235,38236,38240,38248,38249,38267,38268,38274,38279,38322,38323,38347,38357,38358,38368,38380,38388,38409,38410,38418,38426,38430,38431,38462,38473,38485,38493,38494,38504,38518,38526,38527,38570,38613,38656,38671,38680,38689,38699,38724,38726,38727,38728,38730,38739,38740,38741,38745,38757,38769,38794,38796,38797,38798,38800,38809,38810,38811,38815,38823,38824,38842,38843,38849,38854,38897,38898,38922,38932,38933,38943,38955,38963,38984,38985,38993,39001,39005,39006,39037,39048,39060,39068,39069,39079,39092,39100,39101,39144,39187,39230,39245,39254,39263,39273,39298,39300,39301,39302,39304,39313,39314,39315,39319,39331,39343,39368,39370,39371,39372,39374,39383,39384,39385,39389,39397,39398,39416,39417,39423,39428,39471,39472,39496,39506,39507,39517,39529,39537,39558,39559,39567,39575,39579,39580,39594,39605,39627,39637,39657,39665,39666,39677,39693,39694,39715,39725,39726,39739,39740,39746,39758,39766,39767,39779,39787,39803,39804,39812,39820,39824,39825,39838,39849,39871,39881,39901,39909,39910,39931,39932,39953,39963,39964,39977,39978,39984,39992,40000,40001,40013,40021,40036,40037,40045,40053,40057,40058,40092,40103,40112,40123,40125,40171,40217,40263,40278,40288,40299,40310,40322,40333,40334,40342,40343,40361,40362,40368,40373,40442,40450,40451,40463,40471,40492,40493,40501,40509,40513,40514,40547,40558,40570,40578,40579,40622,40665,40708,40723,40733,40743,40752,40760,40761,40771,40781,40798,40800,40818,40820,40837,40839,40840,40849,40850,40868,40869,40875,40880,40949,40961,40969,40990,40991,40999,41007,41011,41012,41045,41056,41068,41076,41077,41120,41163,41206,41221,41231,41241,41250,41258,41259,41269,41279,41296,41298,41316,41318,41335,41337,41338,41347,41348,41366,41367,41373,41378,41447,41459,41467,41488,41489,41497,41505,41509,41510,41543,41553,41566,41574,41575,41586,41598,41606,41607,41650,41693,41736,41751,41761,41771,41780,41788,41789,41799,41809,41826,41828,41846,41848,41865,41867,41868,41877,41878,41896,41897,41903,41908,41977,41989,41997,42018,42019,42027,42035,42039,42040,42053,42064,42076,42084,42085,42107,42117,42137,42145,42146,42167,42168,42189,42199,42200,42213,42214,42220,42228,42240,42248,42263,42264,42272,42280,42284,42285,42318,42328,42342,42350,42351,42362,42374,42382,42383,42426,42469,42512,42527,42537,42547,42556,42564,42565,42575,42585,42602,42604,42622,42624,42641,42643,42644,42653,42654,42672,42673,42679,42684,42753,42765,42773,42794,42795,42803,42811,42815,42816,42849,42859,42873,42881,42882,42893,42905,42913,42914,42957,43000,43043,43058,43068,43078,43087,43095,43096,43106,43116,43133,43135,43153,43155,43172,43174,43175,43184,43185,43203,43204,43210,43215,43284,43296,43304,43325,43326,43334,43342,43346,43347,43380,43390,43403,43411,43412,43423,43435,43443,43444,43487,43530,43573,43588,43598,43608,43617,43625,43626,43636,43646,43663,43665,43683,43685,43702,43704,43705,43714,43715,43733,43734,43740,43745,43814,43826,43834,43855,43856,43864,43872,43876,43877,43890,43901,43913,43921,43922,43944,43954,43974,43982,43983,44004,44005,44026,44036,44037,44050,44051,44057,44065,44077,44085,44100,44101,44109,44117,44121,44122,44136,44147,44159,44167,44168,44190,44200,44212,44220,44221,44242,44243,44264,44274,44275,44288,44289,44295,44303,44315,44323,44338,44339,44347,44355,44359,44360,44374,44385,44397,44405,44406,44428,44438,44450,44458,44459,44480,44481,44502,44512,44513,44526,44527,44533,44541,44553,44561,44576,44577,44585,44593,44597,44598,44667,44678,44690,44698,44699,44742,44785,44828,44838,44847,44862,44871,44880,44890,44900,44910,44919,44920,44931,44933,44950,44952,44970,44972,44989,44991,45000,45008,45009,45019,45029,45039,45048,45049,45060,45062,45079,45081,45099,45101,45118,45120,45128,45129,45139,45149,45159,45169,45178,45187,45198,45200,45209,45210,45221,45230,45239,45250,45252,45254,45271,45273,45290,45292,45310,45312,45330,45332,45349,45351,45368,45370,45379,45380,45391,45401,45411,45420,45429,45440,45442,45451,45452,45463,45473,45482,45491,45502,45504,45506,45523,45525,45542,45544,45562,45564,45582,45584,45595,45605,45607,45619,45629,45631,45633,45642,45643,45654,45664,45673,45682,45693,45695,45712,45732,45740,45742,45744,45747,45760,45770,45787,45789,45806,45808,45826,45828,45846,45848,45859,45869,45871,45883,45893,45895,45903,45905,45914,45915,45926,45935,45944,45955,45957,45974,45994,46002,46004,46006,46009,46022,46032,46049,46051,46068,46070,46088,46090,46108,46110,46121,46131,46133,46145,46155,46157,46165,46167,46169,46171,46180,46181,46247,46259,46267,46288,46289,46297,46305,46309,46310,46379,46390,46402,46410,46411,46454,46497,46540,46550,46559,46574,46583,46592,46602,46612,46622,46631,46632,46643,46645,46662,46664,46682,46684,46701,46703,46712,46720,46721,46731,46741,46751,46760,46761,46772,46774,46791,46793,46811,46813,46830,46832,46840,46841,46851,46861,46871,46881,46890,46899,46910,46912,46921,46922,46933,46942,46951,46962,46964,46966,46983,46985,47002,47004,47022,47024,47042,47044,47061,47063,47080,47082,47091,47092,47103,47113,47123,47132,47141,47152,47154,47163,47164,47175,47185,47194,47203,47214,47216,47218,47235,47237,47254,47256,47274,47276,47294,47296,47307,47317,47319,47331,47341,47343,47345,47354,47355,47366,47376,47385,47394,47405,47407,47424,47444,47452,47454,47456,47459,47469,47479,47496,47498,47515,47517,47535,47537,47555,47557,47568,47578,47580,47592,47602,47604,47612,47614,47623,47624,47635,47644,47653,47664,47666,47683,47703,47711,47713,47715,47718,47740,47750,47767,47769,47786,47788,47806,47808,47826,47828,47839,47849,47851,47863,47873,47875,47883,47885,47887,47889,47898,47899,47965,47977,47985,48006,48007,48015,48023,48027,48028,48089,48105,48118,48126,48127,48138,48150,48158,48159,48202,48245,48288,48298,48307,48322,48331,48340,48350,48360,48377,48379,48397,48399,48416,48418,48427,48435,48436,48446,48456,48473,48475,48493,48495,48512,48514,48522,48523,48533,48543,48553,48562,48571,48582,48584,48601,48603,48620,48622,48640,48642,48660,48662,48679,48681,48698,48700,48709,48710,48721,48731,48740,48749,48760,48762,48779,48781,48798,48800,48818,48820,48838,48840,48851,48861,48863,48875,48885,48887,48889,48898,48899,48910,48919,48928,48939,48941,48951,48960,48970,48987,48989,49006,49008,49026,49028,49046,49048,49059,49069,49071,49083,49093,49095,49096,49098,49107,49108,49174,49186,49194,49214,49215,49223,49232,49236,49237,49248,49261,49274,49284,49297,49306,49307,49317,49319,49333,49341,49351,49352,49360,49369,49373,49374,49407,49433,49434,49455,49465,49466,49490,49503,49512,49552,49563,49585,49587,49609,49611,49621,49643,49645,49654,49655,49665,49667,49685,49687,49688,49698,49716,49722,49730,49731,49755,49756,49780,49790,49791,49796,49804,49823,49824,49832,49841,49845,49846,49864,49907,49922,49939,49941,49949,49950,49974,49975,49999,50009,50010,50015,50023,50039,50040,50048,50057,50061,50062,50086,50112,50113,50134,50144,50145,50169,50182,50191,50231,50242,50259,50270,50272,50273,50283,50301,50307,50315,50316,50341,50342,50366,50376,50377,50382,50383,50391,50409,50410,50418,50429,50441,50451,50456,50457,50460,50467,50471,50481,50485,50486,50533,50543,50583,50623,50633,50673,50681,50682,50722,50734,50746,50756,50768,50776,50777,50787,50804,50806,50827,50829,50838,50839,50857,50859,50880,50882,50909,50911,50913,50928,50938,50948,50966,50968,50985,50995,50997,51006,51007,51026,51028,51045,51055,51057,51074,51085,51087,51089,51097,51098,51144,51154,51189,51198,51199,51241,51243,51289,51358,51376,51377,51383,51388,51402,51410,51436,51437,51445,51454,51458,51459,51467,51477,51488,51498,51499,51502,51508,51511,51521,51525,51526,51540,51562,51563,51580,51585,51598,51603,51611,51624,51625,51633,51648,51652,51664,51676,51684,51696,51697,51705,51714,51718,51719,51727,51738,51750,51760,51765,51766,51769,51776,51780,51790,51794,51795,51809,51831,51832,51849,51854,51867,51872,51880,51893,51894,51902,51917,51921,51933,51945,51953,51965,51966,51974,51985,51997,52007,52012,52013,52016,52023,52027,52037,52041,52042,52089,52099,52108,52148,52188,52198,52238,52246,52247,52287,52295,52303,52319,52335,52345,52361,52369,52370,52378,52391,52406,52419,52422,52437,52438,52455,52457,52478,52480,52490,52517,52519,52527,52528,52543,52553,52570,52580,52582,52599,52609,52611,52621,52638,52649,52651,52659,52660,52668,52669,52715,52725,52760,52769,52770,52812,52814,52860,52929,52947,52948,52954,52959,52973,52981,53007,53008,53016,53025,53029,53030,53038,53048,53059,53069,53070,53073,53079,53082,53092,53096,53097,53111,53133,53134,53151,53156,53169,53174,53182,53195,53196,53204,53219,53223,53235,53247,53255,53267,53268,53276,53285,53289,53290,53298,53309,53321,53331,53336,53337,53340,53347,53351,53361,53365,53366,53380,53402,53403,53420,53425,53438,53443,53451,53464,53465,53473,53488,53492,53504,53516,53524,53536,53537,53545,53556,53568,53578,53583,53584,53587,53594,53598,53608,53612,53613,53676,53689,53699,53715,53727,53729,53769,53809,53849,53870,53871,53892,53902,53903,53914,53924,53934,53948,53957,53966,53967,53977,53991,54004,54013,54014,54024,54038,54057,54066,54067,54081,54083,54094,54116,54118,54140,54142,54165,54169,54171,54180,54191,54208,54210,54227,54229,54230,54252,54254,54263,54274,54276,54286,54308,54310,54319,54330,54332,54341,54342,54352,54354,54364,54377,54383,54389,54394,54405,54422,54424,54425,54434,54442,54443,54451,54452,54461,54470,54487,54489,54506,54508,54518,54535,54537,54554,54556,54564,54566,54567,54585,54586,54592,54597,54663,54677,54685,54709,54710,54718,54729,54741,54751,54756,54757,54760,54767,54771,54781,54785,54786,54846,54859,54869,54885,54894,54934,54974,55014,55035,55036,55057,55067,55068,55079,55089,55099,55108,55117,55126,55135,55136,55146,55155,55164,55177,55186,55187,55197,55206,55225,55234,55235,55249,55251,55262,55284,55286,55308,55310,55333,55337,55339,55348,55365,55367,55384,55386,55396,55413,55415,55432,55434,55456,55458,55467,55478,55480,55489,55490,55508,55510,55527,55529,55551,55553,55562,55573,55575,55577,55587,55600,55605,55622,55624,55641,55643,55652,55660,55661,55669,55670,55679,55696,55698,55715,55718,55719,55737,55738,55744,55749,55820,55828,55851,55852,55860,55870,55881,55891,55892,55895,55901,55904,55914,55918,55919,55979,55992,56002,56018,56027,56067,56107,56147,56168,56169,56190,56200,56201,56212,56222,56233,56255,56257,56279,56281,56304,56308,56310,56319,56328,56337,56348,56350,56359,56368,56379,56381,56391,56400,56409,56420,56422,56431,56432,56442,56444,56469,56471,56472,56473,56475,56484,56485,56486,56490,56500,56513,56519,56525,56526,56539,56545,56549,56558,56569,56586,56588,56605,56607,56608,56617,56625,56626,56634,56635,56644,56653,56662,56673,56691,56693,56694,56711,56713,56730,56732,56749,56751,56768,56770,56780,56797,56799,56816,56818,56835,56837,56854,56856,56864,56866,56867,56885,56886,56892,56897,56968,56976,56999,57000,57008,57018,57029,57039,57040,57043,57049,57052,57062,57066,57067,57114,57127,57137,57146,57186,57226,57266,57287,57288,57309,57319,57320,57331,57341,57352,57374,57376,57398,57400,57423,57427,57429,57438,57456,57458,57468,57478,57495,57497,57506,57507,57517,57534,57536,57545,57546,57556,57573,57575,57584,57585,57595,57612,57614,57623,57624,57637,57642,57659,57661,57670,57671,57684,57689,57706,57708,57716,57718,57726,57727,57728,57796,57804,57826,57827,57835,57860,57863,57876,57886,57897,57908,57937,57944,57949,57954,57959,57964,57969,57974,57979,57984,57989,57994,57999,58004,58009,58010,58013,58032,58033,58048,58059,58067,58072,58073,58110,58121,58131,58149,58158,58159,58182,58184,58193,58194,58215,58228,58236,58237,58249,58251,58261,58273,58283,58293,58301,58302,58310,58311,58321,58333,58343,58353,58361,58362,58370,58371,58381,58391,58423,58434,58447,58461,58493,58501,58502,58512,58541,58549,58550,58560,58588,58598,58650,58666,58679,58693,58701,58702,58716,58719,58729,58766,58779,58793,58825,58833,58834,58844,58881,58894,58908,58940,58948,58949,58959,58996,59009,59023,59055,59063,59064,59074,59111,59124,59138,59170,59178,59179,59189,59226,59239,59253,59285,59293,59294,59304,59341,59354,59368,59400,59408,59409,59419,59431,59443,59453,59479,59480,59504,59514,59515,59519,59545,59546,59570,59580,59581,59585,59600,59610,59621,59622,59631,59640,59649,59679,59709,59718,59719,59732,59747,59757,59768,59769,59778,59787,59796,59826,59856,59865,59866,59895,59904,59905,59932,59933,59957,59967,59968,59972,59998,59999,60023,60033,60034,60038,60064,60065,60089,60099,60100,60104,60119,60129,60140,60141,60150,60159,60168,60198,60228,60258,60267,60268,60281,60296,60306,60317,60318,60327,60336,60345,60375,60405,60435,60444,60445,60464,60479,60489,60500,60501,60510,60519,60528,60558,60588,60618,60627,60628,60660,60662,60670,60671,60685,60699,60709,60723,60731,60732,60746,60756,60777,60778,60784,60788,60796,60797,60809,60817,60845,60846,60854,60876,60882,60893,60902,60911,60938,60948,60953,60958,60963,60968,60973,60978,60983,60988,60993,60994,60997,61013,61014,61026,61037,61045,61050,61051,61093,61103,61123,61134,61143,61155,61164,61178,61186,61187,61197,61210,61218,61219,61234,61240,61247,61268,61269,61290,61300,61301,61305,61313,61314,61324,61334,61343,61344,61354,61369,61378,61379,61394,61400,61406,61413,61431,61451,61479,61480,61499,61504,61514,61521,61529,61531,61542,61560,61568,61569,61580,61592,61600,61601,61612,61624,61633,61634,61656,61657,61663,61668,61670,61681,61693,61702,61703,61728,61729,61750,61760,61761,61770,61773,61775,61786,61798,61807,61808,61833,61834,61855,61865,61866,61875,61878,61880,61891,61903,61912,61913,61924,61926,61937,61950,61958,61959,61970,61979,61987,61988,62001,62013,62027,62050,62061,62073,62082,62083,62101,62104,62106,62117,62129,62138,62139,62150,62152,62170,62171,62177,62183,62194,62217,62218,62235,62240,62250,62254,62263,62264,62288,62289,62306,62311,62321,62325,62327,62335,62336,62348,62373,62374,62395,62405,62406,62422,62423,62447,62457,62458,62462,62471,62486,62496,62520,62521,62545,62555,62556,62561,62570,62578,62579,62612,62613,62637,62647,62648,62652,62685,62686,62710,62720,62721,62725,62764,62765,62788,62793,62806,62810,62819,62820,62846,62864,62865,62886,62896,62897,62900,62912,62926,62940,62951,62968,62977,62978,63011,63013,63024,63041,63050,63051,63084,63086,63096,63117,63118,63124,63128,63136,63137,63154,63162,63198,63199,63207,63216,63220,63221,63250,63260,63306,63342,63355,63368,63383,63394,63416,63418,63419,63437,63439,63447,63448,63468,63476,63496,63497,63505,63514,63518,63519,63539,63558,63566,63594,63599,63623,63624,63648,63658,63659,63663,63687,63688,63712,63722,63723,63727,63737,63761,63762,63786,63796,63797,63801,63819,63832,63845,63872,63873,63897,63907,63908,63912,63921,63922,63962,63963,63987,63997,63998,64002,64004,64024,64025,64042,64047,64057,64060,64068,64091,64092,64100,64108,64112,64113,64120,64134,64142,64151,64152,64160,64168,64172,64173,64192,64203,64227,64228,64252,64262,64263,64278,64298,64306,64308,64310,64317,64322,64330,64331,64351,64356,64361,64373,64389,64397,64398,64414,64432,64433,64454,64464,64465,64467,64486,64494,64495,64507,64517,64529,64537,64538,64552,64553,64561,64579,64580,64588,64596,64600,64601,64616,64627,64639,64647,64648,64666,64667,64673,64687,64695,64725,64730,64742,64757,64776,64794,64806,64827,64839,64847,64863,64864,64872,64880,64884,64885,64901,64912,64924,64932,64933,64954,64962,64992,64997,65035,65036,65060,65070,65071,65078,65090,65098,65115,65116,65124,65131,65134,65135,65139,65148,65157,65165,65168,65169,65176,65182,65194,65201,65204,65211,65215,65216,65224,65232,65236,65237,65262,65263,65275,65276,65285,65294,65303,65313,65322,65331,65332,65342,65344,65357,65358,65369,65378,65391,65399,65400,65413,65414,65425,65434,65447,65455,65456,65465,65474,65484,65493,65502,65513,65522,65531,65532,65541,65542,65552,65561,65563,65572,65581,65590,65599,65611,65620,65633,65638,65651,65660,65661,65675,65677,65687,65697,65709,65715,65717,65730,65734,65743,65756,65764,65765,65777,65788,65799,65810,65821,65832,65843,65854,65865,65876,65887,65898,65909,65920,65931,65942,65954,65979,65980,65989,65999,66007,66008,66018,66027,66036,66046,66055,66056,66064,66076,66082,66087,66088,66096,66103,66106,66107,66112,66122,66131,66139,66140,66150,66159,66167,66168,66176,66179,66180,66188,66194,66208,66216,66226,66227,66235,66241,66255,66263,66273,66274,66282,66288,66302,66310,66320,66321,66329,66335,66349,66357,66367,66368,66376,66382,66396,66404,66414,66415,66423,66444,66453,66462,66473,66485,66496,66502,66521,66535,66541,66558,66571,66579,66580,66592,66598,66600,66613,66617,66626,66639,66647,66648,66664,66673,66682,66692,66693,66703,66713,66725,66735,66748,66756,66757,66774,66775,66792,66793,66810,66811,66828,66829,66846,66847,66864,66865,66882,66883,66900,66901,66918,66919,66936,66937,66954,66955,66972,66973,66990,66991,67010,67011,67030,67031,67050,67051,67068,67069,67091,67093,67102,67111,67112,67123,67125,67133,67135,67145,67153,67169,67170,67178,67185,67196,67205,67214,67215,67225,67234,67236,67245,67254,67262,67265,67266,67274,67280,67290,67302,67310,67311,67324,67325,67333,67339,67340,67348,67361,67369,67377,67386,67394,67401,67416,67429,67432,67447,67448,67456,67470,67471,67479,67492,67500,67508,67517,67525,67532,67547,67560,67563,67578,67579,67587,67601,67602,67610,67623,67631,67639,67648,67656,67663,67677,67688,67691,67706,67707,67715,67729,67730,67738,67748,67766,67770,67778,67789,67790,67798,67810,67825,67835,67840,67845,67850,67851,67854,67864,67865,67873,67882,67883,67895,67897,67905,67913,67914,67935,67946,67949,67958,67968,67981,67989,67990,68000,68013,68021,68022,68033,68048,68056,68057,68073,68083,68092,68101,68111,68124,68132,68133,68156,68166,68200,68208,68209,68218,68226,68228,68238,68247,68260,68269,68270,68280,68289,68302,68311,68312,68334,68336,68345,68354,68366,68376,68385,68395,68408,68416,68417,68427,68436,68447,68451,68455,68464,68473,68474,68482,68483,68491,68492,68500,68515,68516,68524,68532,68536,68537,68553,68554,68563,68574,68583,68592,68593,68604,68613,68621,68623,68633,68646,68654,68655,68665,68675,68685,68695,68705,68714,68724,68733,68743,68753,68762,68763,68773,68775,68788,68796,68807,68813,68817,68818,68826,68833,68836,68837,68842,68852,68861,68870,68871,68881,68891,68900,68908,68909,68918,68926,68928,68937,68945,68948,68949,68957,68965,68969,68970,68976,68990,68998,69008,69009,69017,69026,69035,69065,69073,69085,69086,69094,69102,69106,69107,69114,69131,69139,69150,69151,69159,69167,69171,69172,69179,69196,69204,69215,69216,69224,69232,69236,69237,69243,69255,69263,69274,69275,69283,69294,69304,69337,69346,69347,69376,69387,69401,69410,69412,69424,69432,69446,69447,69455,69463,69473,69479,69482,69487,69489,69499,69503,69504,69509,69522,69530,69535,69536,69544,69552,69556,69557,69562,69574,69582,69588,69589,69597,69603,69612,69621,69631,69640,69648,69649,69659,69667,69671,69672,69680,69690,69702,69712,69717,69718,69721,69729,69730,69737,69738,69748,69752,69753,69762,69775,69784,69798,69804,69813,69823,69832,69841,69849,69850,69858,69859,69869,69878,69887,69895,69896,69906,69915,69925,69934,69942,69943,69951,69952,69962,69975,69980,69989,69990,70000,70002,70011,70020,70028,70038,70039,70047,70054,70057,70058,70069,70080,70089,70097,70098,70108,70119,70129,70138,70148,70158,70168,70176,70177,70186,70194,70195,70197,70206,70208,70216,70217,70225,70228,70229,70237,70252,70261,70277,70296,70304,70306,70308,70313,70324,70332,70334,70344,70352,70363,70364,70372,70380,70384,70385,70399,70410,70422,70430,70431,70452,70467,70472,70482,70496,70504,70505,70516,70530,70531,70539,70553,70554,70562,70570,70574,70575,70587,70608,70623,70628,70638,70650,70660,70674,70683,70684,70700,70702,70711,70712,70724,70726,70734,70750,70751,70759,70774,70785,70793,70801,70811,70821,70845,70853,70863,70878,70893,70896,70918,70919,70927,70928,70940,70948,70961,70962,70970,70981,70990,70999,71015,71024,71032,71044,71045,71053,71074,71083,71092,71102,71111,71121,71130,71138,71139,71148,71157,71158,71168,71170,71179,71189,71198,71207,71208,71220,71222,71232,71243,71251,71252,71261,71262,71274,71290,71292,71299,71307,71309,71310,71318,71330,71331,71339,71347,71357,71368,71376,71388,71389,71397,71416,71428,71440,71448,71456,71478,71479,71498,71503,71513,71517,71525,71526,71538,71552,71560,71561,71573,71581,71599,71612,71615,71636,71637,71645,71662,71663,71671,71694,71706,71717,71747,71756,71757,71780,71781,71800,71805,71815,71820,71822,71834,71842,71851,71860,71869,71871,71879,71898,71899,71907,71915,71919,71920,71934,71935,71945,71955,71964,71965,71975,71977,71987,71997,72006,72007,72017,72019,72029,72039,72048,72049,72059,72061,72071,72081,72090,72091,72101,72103,72113,72123,72133,72143,72152,72165,72173,72179,72182,72183,72191,72199,72203,72204,72212,72225,72234,72246,72254,72265,72266,72274,72282,72286,72287,72292,72304,72312,72318,72319,72327,72335,72339,72340,72351,72370,72377,72385,72396,72397,72405,72413,72417,72418,72430,72440,72453,72461,72462,72481,72488,72496,72507,72508,72516,72524,72528,72529,72541,72551,72568,72576,72577,72596,72603,72611,72622,72623,72631,72639,72643,72644,72650,72664,72672,72682,72683,72691,72699,72703,72704,72710,72724,72732,72742,72743,72751,72759,72763,72764,72772,72792,72800,72812,72813,72821,72829,72833,72834,72847,72858,72868,72883,72895,72896,72909,72917,72918,72930,72938,72950,72951,72959,72967,72971,72972,72978,72988,72998,73006,73007,73017,73025,73030,73031,73039,73047,73051,73052,73060,73077,73093,73115,73123,73135,73136,73144,73152,73156,73157,73164,73192,73200,73211,73212,73220,73228,73232,73233,73241,73250,73264,73272,73282,73283,73291,73299,73303,73304,73312,73321,73335,73343,73353,73354,73362,73370,73374,73375,73384,73393,73402,73412,73426,73434,73444,73445,73453,73461,73465,73466,73476,73485,73494,73504,73518,73526,73536,73537,73545,73554,73582,73591,73603,73611,73624,73625,73633,73639,73650,73658,73663,73664,73672,73695,73706,73721,73730,73731,73742,73744,73756,73765,73774,73791,73810,73818,73820,73822,73832,73843,73853,73869,73870,73873,73882,73891,73892,73902,73904,73913,73922,73923,73938,73943,73964,73972,73973,73986,73992,74001,74003,74011,74014,74024,74034,74049,74050,74053,74061,74062,74078,74097,74105,74122,74123,74131,74142,74154,74164,74177,74185,74186,74187,74195,74207,74208,74216,74249,74259,74268,74281,74282,74284,74295,74308,74317,74326,74327,74337,74346,74348,74358,74368,74377,74386,74402,74421,74429,74431,74433,74438,74448,74457,74466,74475,74476,74487,74496,74505,74514,74523,74532,74533,74552,74556,74574,74578,74596,74600,74613,74626,74639,74648,74657,74659,74667,74669,74680,74689,74698,74707,74721,74729,74730,74740,74750,74762,74763,74771,74784,74785,74793,74801,74811,74821,74830,74838,74839,74850,74853,74862,74870,74871,74880,74881,74895,74900,74913,74918,74927,74935,74936,74946,74956,74965,74975,74984,74992,74993,75002,75003,75013,75023,75032,75041,75042,75052,75054,75062,75064,75073,75074,75085,75094,75103,75104,75114,75116,75118,75128,75138,75147,75157,75166,75174,75175,75184,75185,75195,75204,75212,75214,75223,75224,75235,75244,75253,75254,75264,75266,75268,75278,75287,75295,75296,75305,75315,75324,75332,75333,75343,75352,75360,75361,75370,75379,75388,75390,75400,75409,75418,75419,75430,75432,75442,75452,75462,75471,75480,75481,75490,75499,75501,75510,75511,75521,75523,75531,75532,75542,75550,75553,75561,75565,75566,75574,75588,75597,75607,75617,75628,75632,75634,75643,75652,75653,75663,75672,75682,75691,75699,75700,75702,75712,75721,75731,75755,75763,75764,75772,75773,75783,75807,75815,75816,75825,75835,75844,75852,75853,75863,75871,75881,75882,75890,75906,75916,75926,75936,75947,75956,75968,75980,75993,75998,76007,76015,76016,76017,76027,76035,76038,76046,76050,76051,76059,76066,76069,76070,76074,76083,76091,76094,76095,76103,76110,76120,76134,76142,76143,76158,76159,76167,76177,76178,76186,76194,76204,76213,76222,76223,76235,76237,76245,76257,76258,76266,76274,76278,76279,76284,76296,76304,76310,76311,76319,76336,76346,76358,76366,76367,76393,76402,76411,76426,76436,76446,76455,76464,76473,76482,76491,76500,76509,76518,76530,76540,76549,76558,76566,76567,76569,76579,76594,76610,76611,76620,76629,76641,76649,76662,76663,76671,76680,76691,76704,76714,76722,76723,76733,76743,76744,76752,76762,76763,76771,76783,76793,76803,76813,76822,76831,76842,76851,76860,76872,76874,76875,76883,76886,76887,76895,76902,76911,76925,76933,76943,76944,76952,76964,76975,76985,76995,77004,77005,77015,77024,77026,77035,77048,77056,77066,77067,77075,77079,77089,77099,77107,77108,77119,77120,77128,77132,77133,77141,77150,77159,77168,77178,77188,77197,77206,77214,77215,77217,77228,77238,77247,77256,77264,77265,77267,77277,77287,77295,77296,77307,77308,77316,77320,77321,77329,77341,77350,77359,77368,77377,77387,77400,77406,77407,77418,77422,77431,77440,77449,77450,77462,77471,77480,77489,77490,77492,77501,77502,77514,77523,77532,77541,77542,77544,77552,77554,77555,77563,77565,77574,77582,77584,77585,77593,77601,77611,77622,77631,77632,77642,77650,77654,77655,77663,77670,77680,77691,77700,77709,77710,77719,77720,77731,77740,77749,77750,77752,77762,77770,77774,77775,77783,77795,77805,77814,77823,77833,77842,77850,77851,77860,77870,77881,77890,77899,77900,77909,77920,77930,77939,77947,77948,77949,77959,77968,77977,77978,77988,77990,78000,78008,78011,78019,78023,78024,78032,78044,78069,78091,78099,78113,78114,78122,78136,78161,78162,78186,78196,78197,78202,78210,78226,78227,78235,78250,78260,78279,78280,78304,78314,78315,78320,78328,78329,78340,78341,78349,78365,78366,78374,78392,78401,78411,78420,78429,78438,78448,78457,78466,78467,78477,78486,78494,78496,78510,78512,78523,78533,78543,78552,78561,78570,78571,78581,78583,78591,78592,78602,78611,78619,78620,78621,78631,78641,78650,78658,78659,78669,78678,78686,78687,78697,78707,78716,78725,78726,78736,78745,78753,78755,78765,78774,78783,78792,78801,78811,78819,78820,78828,78829,78840,78843,78852,78861,78869,78870,78879,78888,78897,78906,78916,78924,78927,78935,78939,78940,78948,78954,78963,78973,78982,78991,79000,79001,79012,79021,79030,79039,79040,79048,79050,79051,79059,79062,79072,79081,79089,79090,79098,79100,79101,79109,79116,79125,79133,79139,79140,79148,79156,79167,79177,79187,79196,79205,79206,79216,79218,79227,79228,79237,79246,79248,79257,79258,79266,79269,79270,79278,79280,79289,79298,79307,79315,79317,79318,79326,79334,79343,79352,79362,79373,79382,79391,79392,79401,79402,79414,79423,79432,79433,79435,79443,79445,79447,79455,79460,79461,79466,79469,79470,79473,79474,79477,79478,79481,79482,79485,79486,79489,79490,79493,79494,79497,79498,79501,79502,79505,79506,79509,79510,79513,79514,79529,79587,79595,79659,79660,79666,79669,79676,79730,79731,79737,79740,79743,79746,79749,79752,79755,79758,79761,79764,79767,79770,79773,79776,79779,79782,79785,79788,79791,79794,79797,79800,79803,79806,79809,79812,79815,79818,79821,79824,79827,79830,79833,79836,79839,79842,79845,79848,79851,79854,79857,79860,79863,79866,79869,79872,79875,79878,79880,79881,80030,80037,80038,80041,80042,80045,80046,80049,80050,80053,80054,80057,80058,80061,80062,80065,80066,80069,80070,80073,80074,80077,80078,80081,80082,80085,80086,80089,80090,80093,80094,80097,80098,80101,80102,80105,80106,80109,80110,80113,80114,80117,80118,80121,80122,80125,80126,80129,80130,80133,80134,80137,80138,80141,80142,80145,80146,80149,80150,80153,80154,80157,80158,80161,80162,80165,80166,80169,80170,80173,80174,80177,80178,80181,80182,80185,80186,80189,80190,80193,80194,80197,80198,80201,80202,80205,80206,80209,80210,80213,80214,80217,80218,80221,80222,80225,80226,80229,80230,80233,80234,80237,80238,80241,80242,80245,80246,80249,80250,80253,80254,80257,80258,80261,80262,80265,80266,80269,80270,80273,80274,80277,80278,80281,80282,80285,80286,80289,80290,80293,80294,80297,80298,80301,80302,80305,80306,80309,80310,80313,80314,80317,80318,80321,80322,80325,80326,80329,80330,80333,80334,80337,80338,80341,80342,80345,80346,80349,80350,80353,80354,80357,80358,80361,80362,80365,80366,80369,80370,80373,80374,80377,80378,80422,80511,80524,80530,80588,80591,80602,80604,80605,80614,80615,80616,80622,80624,80625,80633,80634,80692,80695,80706,80708,80709,80718,80719,80720,80726,80728,80729,80737,80738,80796,80799,80810,80812,80813,80822,80823,80824,80830,80832,80833,80841,80842,80900,80903,80914,80916,80917,80926,80927,80928,80934,80936,80937,80945,80946,81004,81007,81018,81020,81021,81030,81031,81032,81038,81040,81041,81049,81050,81109,81117,81128,81129,81135,81137,81144,81148,81155,81156,81160,81165,81166,81167,81173,81175,81176,81179,81180,81185,81190,81203,81209,81226,81284,81292,81297,81298,81304,81309,81310,81316,81318,81319,81327,81328,81332,81391,81399,81412,81413,81419,81422,81429,81434,81435,81441,81444,81447,81450,81452,81453,81468,81475,81476,81480,81485,81486,81487,81490,81491,81494,81495,81498,81499,81502,81503,81506,81507,81510,81511,81514,81515,81518,81519,81522,81523,81531,81544,81557,81563,81580,81639,81649,81650,81656,81659,81666,81670,81671,81678,81680,81681,81691,81692,81695,81696,81700,81705,81771,81775,81793,82184,82185,82189,82200,82217,82228,82245,82256,82273,82284,82295,82306,82317,82328,82339,82350,82361,82372,82383,82394,82405,82416,82427,82438,82449,82460,82471,82482,82493,82504,82515,82526,82537,82548,82559,82570,82581,82592,82603,82614,82625,82636,82648,82660,82671,82683,82695,82706,82717,82728,82739,82750,82761,82772,82783,82794,82805,82816,82830,82841,82852,82866,82880,82894,82914,82925,82945,82959,82985,82996,83007,83018,83029,83040,83051,83062,83073,83082,83093,83104,83115,83126,83137,83148,83159,83170,83184,83195,83206,83217,83228,83239,83250,83261,83272,83288,83289,83308,83309,83317,83337,83387,83389,83393,83394,83484,83502,83530,83551,83563,83584,83592,83600,83612,83630,83648,83666,83687,83708,83716,83725,83740,83753,83756,83777,83778,83802,83803,83827,83837,83838,83840,83858,83859,83883,83893,83894,83899,83923,83924,83948,83958,83959,83961,83979,83980,84004,84014,84015,84020,84032,84045,84059,84073,84087,84101,84115,84124,84141,84154,84167,84175,84177,84189,84193,84201,84202,84218,84220,84231,84233,84234,84240,84249,84250,84267,84272,84277,84282,84287,84292,84298,84299,84304,84305,84314,84315,84317,84319,84334,84336,84337,84353,84355,84375,84380,84386,84405,84415,84423,84424,84431,84438,84440,84444,84452,84456,84472,84475,84491,84493,84495,84511,84513,84515,84527,84532,84545,84546,84548,84557,84559,84567,84579,84591,84592,84594,84595,84603,84606,84607,84621,84629,84631,84655,84667,84672,84673,84679,84693,84712,84713,84721,84730,84733,84738,84739,84744,84752,84753,84762,84773,84782,84784,84793,84795,84796,84810,84812,84825,84826,84833,84834,84854,84855,84863,84873,84878,84888,84893,84904,84905,84912,84924,84925,84927,84928,84932,84935,84936,84941,84967,84968,84979,84980,84983,84990,84994,85017,85018,85030,85035,85036,85053,85054,85055,85082,85083,85114,85115,85134,85135,85136,85147,85159,85160,85175,85176,85181,85184,85187,85196,85206,85214,85219,85220,85227,85238,85240,85256,85257,85262,85265,85275,85281,85293,85301,85306,85315,85320,85331,85340,85350,85359,85369,85372,85375,85382,85383,85400,85412,85432,85436,85437,85438,85439,85446,85450,85454,85462,85467,85474,85480,85485,85486,85493,85506,85510,85516,85517,85524,85525,85530,85540,85552,85556,85562,85566,85572,85575,85591,85592,85593,85603,85616,85619,85620,85621,85634,85660,85670,85680,85690,85700,85710,85712,85713,85721,85722,85723,85733,85735,85737,85742,85743,85750,85759,85760,85762,85764,85768,85769,85784,85790,85799,85807,85808,85812,85825,85826,85829,85832,85836,85841,85844,85853,85856,85859,85869,85875,85878,85881,85884,85894,85900,85903,85910,85913,85918,85921,85924,85930,85935,85941,85944,85947,85950,85953,85956,85960,85978,85982,85992,85998,86008,86009,86012,86022,86028,86038,86039,86042,86052,86058,86066,86069,86097,86103,86144,86147,86167,86169,86171,86177,86179,86196,86198,86200,86205,86210,86214,86217,86225,86246,86257,86262,86269,86273,86276,86292,86297,86299,86364,86366,86375,86380,86385,86390,86391,86410,86411,86417,86425,86433,86434,86443,86453,86461,86476,86477,86478,86501,86502,86507,86528,86530,86546,86548,86552,86554,86561,86562,86578,86592,86598,86601,86602,86619,86626,86633,86637,86642,86643,86645,86650,86666,86675,86678,86683,86691,86693,86698,86699,86703,86704,86709,86710,86716,86717,86737,86738,86747,86748,86751,86752,86761,86763,86764,86786,86799,86801,86802,86814,86832,86843,86847,86860,86873,86885,86886,86895,86921,86931,86941,86951,86961,86971,86973,86974,86982,86983,86984,86987,86989,87001,87027,87037,87047,87057,87067,87077,87079,87080,87090,87091,87092,87095,87097,87109,87110,87120,87124,87125,87135,87147,87149,87157,87159,87189,87219,87220,87230,87237,87244,87247,87248,87265,87272,87279,87283,87288,87289,87291,87296,87312,87321,87324,87329,87337,87339,87345,87346,87360,87361,87367,87368,87372,87373,87382,87383,87384,87404,87417,87430,87431,87442,87457,87459,87470,87473,87478,87488,87492,87493,87509,87513,87514,87524,87526,87527,87545,87546,87548,87558,87562,87568,87569,87586,87588,87614,87624,87634,87644,87654,87664,87666,87667,87668,87674,87678,87684,87687,87688,87689,87692,87694,87700,87706,87707,87713,87716,87720,87727,87730,87733,87734,87747,87753,87756,87765,87766,87767,87781,87790,87792,87813,87820,87839,87840,87842,87856,87857,87865,87866,87873,87874,87891,87892,87903,87905,87906,87914,87915,87921,87930,87931,87936,87937,87943,87947,87951,87957,87967,87969,87976,87983,87986,87989,87994,87995,88018,88025,88051,88062,88075,88076,88085,88092,88096,88098,88099,88104,88113,88119,88121,88122,88128,88143,88144,88147,88152,88157,88158,88162,88170,88171,88185,88193,88194,88195,88200,88201,88202,88216,88224,88225,88226,88231,88232,88233,88247,88255,88256,88257,88262,88263,88264,88285,88286,88300,88308,88309,88310,88315,88316,88317,88331,88339,88340,88341,88346,88347,88348,88352,88359,88360,88374,88382,88383,88384,88389,88390,88391,88395,88402,88403,88407,88414,88415,88419,88426,88427,88433,88437,88445,88447,88453,88459,88465,88471,88484,88490,88491,88501,88502,88509,88512,88518,88526,88536,88553,88554,88568,88572,88579,88582,88588,88592,88600,88602,88608,88614,88620,88626,88639,88645,88646,88656,88657,88664,88667,88673,88681,88691,88708,88709,88723,88727,88734,88737,88751,88759,88760,88761,88766,88767,88768,88775,88791,88792,88796,88805,88806,88810,88834,88835,88848,88850,88866,88867,88875,88876,88884,88885,88887,88892,88894,88900,88908,88922,88923,88931,88932,88940,88941,88949,88950,88958,88959,88967,88968,88970,88978,88979,88980,88992,89003,89006,89014,89023,89024,89037,89039,89055,89056,89064,89065,89073,89074,89076,89081,89083,89089,89097,89111,89112,89120,89121,89129,89130,89138,89139,89147,89148,89156,89157,89159,89167,89168,89169,89181,89192,89195,89203,89212,89213,89226,89228,89244,89245,89253,89254,89262,89263,89265,89270,89272,89278,89286,89300,89301,89309,89310,89318,89319,89327,89328,89336,89337,89345,89346,89348,89356,89357,89358,89370,89381,89384,89392,89401,89402,89415,89417,89433,89434,89442,89443,89451,89452,89454,89459,89461,89467,89475,89489,89490,89498,89499,89507,89508,89516,89517,89525,89526,89534,89535,89537,89545,89546,89547,89559,89570,89573,89581,89590,89591,89604,89606,89622,89623,89631,89632,89640,89641,89643,89648,89650,89656,89664,89678,89679,89687,89688,89696,89697,89705,89706,89714,89715,89723,89724,89726,89734,89735,89736,89748,89759,89762,89770,89779,89780,89793,89795,89811,89812,89820,89821,89829,89830,89832,89837,89839,89845,89853,89867,89868,89876,89877,89885,89886,89894,89895,89903,89904,89912,89913,89915,89923,89924,89925,89937,89948,89951,89959,89968,89969,89982,89984,90000,90001,90009,90010,90018,90019,90021,90026,90028,90034,90042,90056,90057,90065,90066,90074,90075,90083,90084,90092,90093,90101,90102,90104,90112,90113,90114,90126,90137,90140,90148,90157,90158,90162,90174,90175,90180,90193,90195,90196,90198,90199,90203,90214,90220,90221,90231,90232,90248,90249,90253,90256,90263,90264,90271,90272,90276,90279,90286,90290,90292,90301,90303,90304,90308,90318,90336,90343,90347,90358,90365,90371,90380,90381,90391,90403,90404,90414,90426,90427,90437,90449,90450,90460,90472,90473,90483,90495,90496,90506,90518,90519,90529,90541,90542,90552,90564,90565,90575,90587,90588,90601,90603,90604,90620,90622,90628,90655,90673,90679,90685,90687,90698,90707,90710,90715,90717,90718,90721,90725,90739,90746,90747,90748,90761,90774,90781,90782,90783,90788,90807,90811,90816,90832,90833,90837,90839,90849,90864,90869,90874,90879,90884,90889,90891,90892,90895,90901,90904,90905,90906 ./discretize/discretize/tree.cpp:6,23,40,58,70,82,83,105,106,120,134,135,143,146,148,149,159,162,165,176,179,181,182,210,228,232,234,240,253,255,263,270,277,283,285,288,291,301,307,318,324,333,342,352,354,358,364,366,370,374,375,376,377,385,390,392,404,405,410,418,419,420,421,428,434,439,440,445,449,457,465,473,479,483,491,499,507,519,531,532,533,534,539,540,541,543,544,550,551,552,553,558,561,562,563,567,573,577,580,582,590,593,594,600,604,608,613,617,621,624,627,629,638,639,640,642,647,648,657,666,667,668,669,684,690,693,694,695,696,713,714,715,723,726,730,731,733,734,747,760,764,769,774,779,787,792,797,802,807,812,817,824,829,830,835,836,837,845,848,857,858,859,864,869,872,875,878,881,886,891,896,897,898,908,917,918,923,928,931,934,937,940,945,950,955,956,957,958,968,973,975,985,986,991,997,1000,1003,1006,1009,1014,1019,1024,1025,1026,1027,1028,1041,1047,1048,1050,1051,1065,1068,1073,1074,1075,1089,1092,1097,1098,1099,1105,1106,1112,1113,1120,1121,1122,1123,1129,1130,1131,1132,1146,1147,1148,1152,1164,1165,1177,1178,1179,1192,1193,1205,1206,1207,1219,1220,1221,1233,1234,1239,1240,1242,1246,1251,1252,1253,1259,1262,1265,1268,1271,1274,1277,1288,1296,1299,1303,1304,1306,1307,1313 <<<<<< EOF