TRAVIS_OS_NAME=linux TRAVIS_PYTHON_VERSION=3.6 <<<<<< 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,13,15,299,313,400,405,408,411,415,418,421,572,584,591,592,596,597,605,619,623,626,647,698,746,757,760,768,795,798,799,809,821,843,844,886,897,946,951,958,959,968,977,986,995,1004,1013,1022,1031,1040,1049,1058,1067,1076,1085,1094,1103,1112,1121,1130,1139,1159,1171,1172,1178,1187,1196,1205,1215,1229,1253,1254,1266,1267,1289,1290,1305,1306,1307,1315,1320,1321,1329,1340,1341,1349,1354,1380,1418,1425,1428,1432,1435,1440,1446,1449,1455,1467,1493,1504,1529,1532,1549,1558,1567,1572,1579,1586,1589,1594,1601,1624,1629,1632,1643,1646,1649,1652,1657,1668,1676,1684,1687,1690,1693,1696,1703,1706,1710,1715,1737,1744,1749,1753,1757,1758,1764,1767,1775,1778,1791,1803,1805,1809,1817,1829,1830,1841,1843,1847,1850,1853,1858,1861,1864,1871,1878,1881,1884,1895,1902,1917,1921,1929,1930,1944,1947,1952,1955,1958,1961,1964,1986,2024,2062,2065,2072,2075,2078,2081,2084,2095,2098,2101,2104,2115,2117,2119,2121,2123,2125,2127,2130,2132,2134,2136,2138,2140,2148,2201,2556,2564,2575,2588,2599,2600,2603,2609,2612,2623,2631,2632,2650,2653,2655,2668,2702,2710,2734,2735,2743,2751,2760,2769,2780,2789,2802,2803,2813,2815,2816,2826,2834,2838,2839,2847,2855,2864,2873,2884,2893,2906,2907,2917,2919,2920,2930,2938,2942,2943,2951,2960,2969,2978,2987,2996,3011,3017,3019,3034,3040,3042,3052,3061,3070,3071,3084,3086,3095,3103,3105,3106,3114,3125,3138,3149,3150,3153,3159,3162,3174,3182,3183,3236,3239,3241,3244,3246,3259,3268,3304,3310,3311,3315,3351,3357,3358,3362,3374,3388,3399,3410,3421,3432,3433,3453,3461,3493,3494,3502,3514,3529,3540,3546,3547,3550,3557,3561,3574,3582,3583,3664,3667,3669,3672,3674,3677,3679,3691,3700,3744,3750,3751,3755,3791,3797,3798,3802,3814,3829,3844,3856,3868,3880,3892,3904,3916,3928,3940,3950,3960,3970,3980,3981,4001,4009,4043,4044,4052,4065,4082,4093,4099,4105,4106,4109,4117,4122,4136,4144,4145,4273,4276,4278,4281,4283,4286,4288,4291,4293,4307,4316,4360,4366,4367,4371,4407,4413,4414,4418,4430,4445,4460,4475,4487,4499,4511,4523,4535,4547,4559,4571,4583,4595,4607,4619,4631,4643,4655,4667,4679,4691,4703,4715,4727,4739,4751,4763,4773,4783,4793,4803,4813,4823,4833,4843,4844,4862,4870,4906,4907,4915,4923,4927,4928,4952,4956,4965,4974,4983,4996,4997,5008,5017,5030,5038,5039,5052,5053,5064,5073,5086,5094,5095,5104,5113,5123,5132,5141,5153,5162,5171,5172,5181,5182,5192,5201,5203,5212,5221,5230,5239,5252,5265,5275,5285,5297,5303,5305,5318,5322,5331,5344,5352,5353,5366,5377,5388,5399,5410,5421,5432,5443,5454,5465,5476,5487,5498,5509,5520,5531,5542,5562,5563,5572,5582,5590,5591,5601,5610,5619,5629,5638,5639,5647,5659,5665,5670,5671,5679,5686,5689,5690,5695,5705,5714,5722,5723,5733,5742,5750,5751,5759,5762,5763,5771,5777,5791,5799,5809,5810,5818,5824,5838,5846,5856,5857,5865,5871,5885,5893,5903,5904,5912,5918,5932,5940,5950,5951,5959,5965,5979,5987,5997,5998,6006,6012,6022,6034,6042,6043,6056,6057,6065,6071,6072,6080,6101,6110,6119,6130,6142,6153,6159,6174,6188,6194,6211,6224,6232,6233,6245,6251,6253,6266,6270,6279,6292,6300,6301,6317,6326,6335,6345,6346,6356,6366,6378,6388,6401,6409,6410,6427,6428,6445,6446,6463,6464,6481,6482,6499,6500,6517,6518,6535,6536,6553,6554,6571,6572,6589,6590,6607,6608,6625,6626,6643,6644,6663,6664,6683,6684,6703,6704,6721,6722,6739,6741,6750,6759,6760,6771,6773,6781,6783,6793,6801,6817,6818,6826,6830,6839,6848,6856,6859,6860,6868,6875,6884,6894,6905,6913,6914,6926,6934,6940,6941,6949,6962,6970,6978,6987,6995,7001,7016,7029,7032,7046,7047,7055,7069,7070,7078,7091,7099,7107,7116,7124,7130,7145,7158,7161,7175,7176,7184,7198,7199,7207,7220,7228,7236,7245,7253,7259,7273,7284,7287,7301,7302,7310,7324,7325,7333,7345,7365,7376,7382,7388,7394,7395,7398,7410,7411,7419,7428,7429,7441,7443,7451,7459,7460,7482,7493,7496,7505,7515,7528,7536,7537,7547,7560,7568,7569,7580,7598,7599,7607,7615,7616,7632,7643,7646,7655,7664,7674,7687,7695,7696,7719,7729,7758,7766,7767,7776,7784,7786,7796,7805,7818,7827,7828,7838,7847,7860,7869,7870,7887,7889,7898,7907,7919,7929,7938,7948,7961,7969,7970,7980,7989,8000,8004,8009,8018,8027,8028,8036,8037,8045,8046,8054,8069,8070,8078,8086,8090,8091,8106,8110,8119,8130,8139,8148,8149,8160,8169,8177,8179,8189,8202,8210,8211,8221,8231,8241,8251,8261,8270,8280,8289,8299,8309,8318,8319,8329,8331,8344,8352,8363,8369,8373,8374,8382,8389,8392,8393,8398,8408,8417,8426,8427,8437,8447,8456,8464,8465,8474,8482,8484,8493,8501,8504,8505,8513,8521,8525,8526,8532,8546,8554,8564,8565,8573,8582,8591,8621,8629,8641,8642,8650,8658,8662,8663,8668,8678,8686,8691,8692,8700,8708,8712,8713,8720,8737,8745,8756,8757,8765,8773,8777,8778,8785,8802,8810,8821,8822,8830,8838,8842,8843,8849,8861,8869,8880,8881,8887,8895,8899,8900,8906,8918,8924,8933,8934,8941,8949,8953,8954,8960,8971,8978,8987,8988,8996,9007,9017,9050,9059,9060,9089,9100,9114,9123,9125,9137,9145,9159,9160,9168,9176,9187,9193,9196,9201,9203,9213,9217,9218,9223,9236,9244,9249,9250,9258,9266,9270,9271,9276,9288,9296,9302,9303,9309,9317,9321,9322,9335,9350,9362,9373,9391,9400,9409,9410,9421,9423,9433,9469,9477,9478,9512,9513,9519,9533,9534,9541,9549,9553,9554,9560,9570,9577,9589,9590,9598,9604,9613,9622,9632,9641,9649,9650,9660,9668,9672,9673,9681,9691,9706,9717,9723,9724,9727,9736,9737,9744,9745,9755,9759,9760,9769,9782,9791,9805,9811,9820,9830,9839,9848,9856,9857,9865,9866,9876,9885,9894,9902,9903,9913,9922,9932,9941,9949,9950,9958,9959,9969,9982,9987,9996,9997,10007,10009,10018,10027,10035,10045,10046,10054,10061,10064,10065,10077,10088,10097,10106,10107,10117,10126,10135,10143,10145,10155,10167,10177,10186,10196,10206,10216,10224,10225,10234,10242,10243,10245,10254,10256,10264,10265,10273,10276,10277,10285,10300,10309,10325,10344,10352,10354,10356,10361,10372,10380,10382,10392,10400,10411,10412,10420,10428,10432,10433,10447,10458,10470,10478,10479,10496,10511,10516,10526,10540,10548,10549,10560,10574,10575,10583,10597,10598,10606,10614,10618,10619,10631,10641,10654,10662,10663,10680,10695,10700,10710,10722,10732,10746,10755,10756,10772,10774,10783,10784,10796,10798,10806,10822,10823,10831,10846,10857,10865,10873,10883,10893,10917,10925,10934,10949,10963,10966,10986,10987,10995,10996,11008,11016,11029,11030,11038,11049,11058,11067,11083,11092,11100,11112,11113,11121,11142,11151,11160,11170,11179,11189,11198,11206,11207,11216,11225,11226,11236,11238,11247,11257,11266,11275,11276,11288,11290,11300,11311,11319,11320,11329,11330,11342,11358,11360,11366,11374,11376,11377,11385,11397,11398,11406,11414,11424,11435,11443,11455,11456,11464,11483,11495,11507,11515,11523,11545,11546,11565,11570,11580,11584,11592,11593,11605,11619,11627,11628,11640,11647,11668,11681,11684,11703,11704,11712,11729,11730,11738,11761,11773,11784,11814,11823,11824,11847,11848,11867,11872,11882,11887,11889,11901,11909,11918,11927,11936,11938,11946,11965,11966,11974,11982,11986,11987,12002,12006,12019,12024,12037,12045,12046,12056,12066,12075,12076,12086,12088,12098,12108,12117,12118,12128,12130,12140,12150,12159,12160,12170,12172,12182,12192,12201,12202,12212,12214,12224,12234,12244,12254,12264,12277,12285,12296,12302,12306,12307,12315,12323,12327,12328,12336,12349,12358,12370,12378,12389,12390,12398,12406,12410,12411,12416,12428,12436,12442,12443,12451,12459,12463,12464,12475,12494,12501,12509,12520,12521,12529,12537,12541,12542,12554,12564,12577,12585,12586,12605,12612,12620,12631,12632,12640,12648,12652,12653,12665,12675,12692,12700,12701,12720,12727,12735,12746,12747,12755,12763,12767,12768,12774,12788,12796,12806,12807,12815,12823,12827,12828,12834,12848,12856,12866,12867,12875,12883,12887,12888,12896,12916,12924,12936,12937,12945,12953,12957,12958,12971,12982,12992,13007,13019,13020,13033,13041,13042,13054,13062,13074,13075,13083,13091,13095,13096,13102,13112,13122,13130,13131,13141,13149,13154,13155,13163,13171,13175,13176,13184,13201,13211,13233,13241,13253,13254,13262,13270,13274,13275,13282,13310,13318,13329,13330,13338,13346,13350,13351,13359,13368,13382,13390,13400,13401,13409,13417,13421,13422,13430,13439,13453,13461,13471,13472,13480,13488,13492,13493,13502,13511,13520,13530,13544,13552,13562,13563,13571,13579,13583,13584,13594,13603,13612,13622,13636,13644,13654,13655,13661,13669,13673,13674,13680,13692,13698,13707,13708,13715,13723,13727,13728,13734,13745,13752,13761,13762,13770,13779,13807,13816,13828,13836,13849,13850,13858,13864,13875,13883,13888,13889,13897,13920,13931,13946,13955,13956,13967,13969,13981,13990,13999,14016,14035,14043,14045,14047,14057,14068,14078,14094,14095,14098,14107,14116,14117,14127,14129,14138,14147,14148,14163,14168,14184,14192,14193,14206,14212,14221,14223,14231,14234,14244,14254,14269,14270,14273,14281,14282,14298,14317,14325,14342,14343,14351,14362,14374,14384,14397,14405,14406,14407,14415,14427,14428,14436,14469,14479,14488,14501,14502,14504,14515,14528,14537,14546,14547,14557,14566,14568,14578,14588,14597,14606,14622,14641,14649,14651,14653,14658,14668,14677,14686,14695,14696,14707,14716,14725,14734,14743,14752,14753,14772,14776,14794,14798,14816,14820,14833,14846,14859,14868,14877,14879,14887,14889,14900,14909,14918,14927,14941,14949,14950,14960,14970,14982,14983,14991,15004,15005,15013,15021,15031,15041,15050,15058,15059,15070,15073,15082,15090,15091,15100,15101,15115,15120,15133,15138,15147,15155,15156,15166,15176,15185,15195,15204,15212,15213,15222,15223,15233,15243,15252,15261,15262,15272,15274,15282,15284,15293,15294,15305,15314,15323,15324,15334,15336,15338,15348,15358,15367,15377,15386,15394,15395,15404,15405,15415,15424,15432,15434,15443,15444,15455,15464,15473,15474,15484,15486,15488,15498,15507,15515,15516,15525,15535,15544,15552,15553,15563,15572,15580,15581,15590,15599,15608,15610,15620,15629,15638,15639,15650,15652,15662,15672,15682,15691,15700,15701,15710,15719,15721,15730,15731,15741,15743,15751,15752,15762,15770,15773,15781,15785,15786,15794,15808,15817,15827,15837,15848,15852,15854,15863,15872,15873,15883,15892,15902,15911,15919,15920,15922,15932,15941,15951,15970,15978,15979,15987,15988,15998,16017,16025,16026,16035,16045,16054,16062,16063,16073,16081,16091,16092,16100,16117,16127,16137,16147,16159,16168,16180,16192,16205,16210,16219,16227,16228,16229,16239,16247,16250,16258,16262,16263,16271,16278,16281,16282,16286,16295,16303,16306,16307,16315,16322,16332,16346,16354,16355,16370,16371,16379,16389,16390,16398,16406,16416,16425,16434,16435,16447,16449,16457,16469,16470,16478,16486,16490,16491,16496,16508,16516,16522,16523,16529,16537,16541,16542,16548,16560,16566,16575,16576,16583,16591,16595,16596,16602,16613,16620,16629,16630,16638,16655,16665,16676,16684,16685,16711,16720,16729,16744,16754,16764,16773,16782,16791,16800,16810,16819,16828,16829,16839,16841,16850,16859,16868,16880,16890,16899,16908,16916,16917,16919,16929,16944,16960,16961,16970,16979,16991,16999,17012,17013,17021,17030,17041,17054,17064,17072,17073,17083,17093,17094,17102,17112,17113,17121,17134,17144,17154,17164,17173,17182,17194,17203,17212,17224,17226,17227,17235,17238,17239,17247,17254,17263,17277,17285,17295,17296,17304,17316,17327,17337,17347,17356,17357,17367,17376,17378,17387,17400,17408,17418,17419,17427,17431,17441,17451,17459,17460,17471,17472,17480,17484,17485,17493,17503,17512,17521,17531,17541,17550,17559,17567,17568,17570,17582,17592,17601,17610,17618,17619,17621,17631,17641,17649,17650,17661,17662,17670,17674,17675,17683,17696,17705,17714,17723,17732,17742,17755,17761,17762,17773,17777,17786,17795,17804,17805,17818,17827,17836,17845,17846,17848,17857,17858,17871,17880,17889,17898,17899,17901,17909,17911,17912,17920,17922,17931,17939,17941,17942,17950,17959,17969,17981,17990,17991,18001,18009,18013,18014,18022,18030,18040,18052,18061,18070,18071,18080,18081,18092,18101,18110,18111,18113,18123,18131,18135,18136,18144,18157,18167,18176,18185,18195,18204,18212,18213,18222,18232,18244,18253,18262,18263,18272,18284,18294,18303,18311,18312,18313,18323,18332,18341,18342,18352,18354,18364,18372,18375,18383,18387,18388,18396,18408,18433,18450,18458,18472,18473,18481,18494,18519,18520,18530,18538,18553,18554,18562,18576,18586,18605,18606,18616,18624,18625,18636,18637,18645,18660,18661,18669,18688,18697,18707,18716,18725,18734,18744,18753,18762,18763,18773,18782,18790,18792,18806,18808,18820,18830,18840,18849,18858,18867,18868,18878,18880,18888,18889,18899,18908,18916,18917,18918,18928,18938,18947,18955,18956,18966,18975,18983,18984,18994,19004,19013,19022,19023,19033,19042,19050,19052,19062,19071,19080,19089,19098,19108,19116,19117,19125,19126,19137,19140,19149,19158,19166,19167,19176,19185,19194,19203,19213,19221,19224,19232,19236,19237,19245,19252,19261,19271,19280,19289,19298,19299,19311,19320,19329,19338,19339,19347,19349,19350,19358,19361,19371,19380,19388,19389,19397,19399,19400,19408,19415,19424,19432,19438,19439,19447,19456,19468,19478,19488,19497,19506,19507,19517,19519,19528,19529,19538,19547,19549,19558,19559,19567,19570,19571,19579,19581,19590,19599,19608,19616,19618,19619,19627,19636,19645,19654,19664,19676,19685,19694,19695,19704,19705,19718,19727,19736,19737,19739,19747,19749,19750,19756,19767,19782,19793,19799,19800,19803,19810,19814,19824,19828,19829,19842,19852,19874,19896,19897,19907,19915,19916,19934,19935,19943,19954,19966,19974,19975,19987,19993,20008,20009,20017,20030,20041,20049,20059,20066,20072,20086,20097,20098,20106,20113,20114,20122,20137,20139,20147,20158,20159,20165,20167,20174,20178,20185,20186,20190,20195,20196,20197,20203,20205,20206,20209,20210,20217,20222,20235,20241,20258,20319,20327,20332,20333,20339,20344,20345,20351,20353,20354,20362,20363,20369,20431,20439,20452,20453,20459,20462,20469,20474,20475,20481,20484,20487,20490,20492,20493,20508,20515,20516,20520,20525,20526,20527,20530,20531,20534,20535,20538,20539,20542,20543,20546,20547,20550,20551,20554,20555,20558,20559,20562,20563,20573,20586,20599,20605,20622,20684,20694,20695,20701,20704,20711,20715,20716,20723,20725,20726,20736,20737,20740,20741,20747,20752,20821,20825,20836,20866,21007,21008,21012,21023,21034,21045,21056,21067,21078,21089,21100,21111,21122,21133,21144,21154,21163,21174,21185,21196,21207,21221,21231,21240,21251,21262,21272,21281,21293,21305,21317,21329,21340,21351,21362,21373,21384,21399,21400,21412,21413,21421,21433,21434,21441,21442,21449,21450,21470,21487,21502,21511,21512,21548,21549,21556,21557,21564,21565,21566,21580,21581,21589,21591,21607,21612,21614,21621,21627,21629,21651,21652,21653,21657,21666,21677,21738,21740,21744,21745,21763,21775,21787,21799,21811,21823,21833,21846,21860,21874,21888,21902,21916,21925,21942,21955,21968,21978,21986,21988,21995,21999,22009,22010,22026,22028,22040,22042,22053,22055,22056,22064,22073,22076,22081,22082,22087,22095,22096,22105,22116,22125,22127,22136,22138,22139,22153,22155,22168,22169,22176,22177,22197,22198,22201,22205,22210,22213,22218,22219,22222,22229,22230,22257,22258,22269,22270,22273,22280,22284,22307,22308,22320,22325,22326,22343,22344,22345,22372,22373,22404,22405,22424,22425,22426,22437,22449,22450,22465,22466,22471,22474,22477,22486,22496,22504,22509,22510,22517,22528,22530,22546,22547,22552,22555,22565,22571,22583,22591,22596,22605,22610,22621,22630,22640,22649,22659,22662,22665,22672,22673,22690,22703,22724,22728,22729,22730,22731,22732,22738,22745,22749,22754,22760,22765,22772,22778,22779,22786,22795,22799,22805,22806,22813,22814,22819,22829,22844,22848,22854,22858,22864,22867,22883,22884,22885,22895,22908,22911,22912,22913,22927,22935,22937,22944,22945,22951,22961,22963,22969,22971,22978,22988,22994,23001,23005,23006,23022,23024,23026,23032,23038,23039,23058,23059,23065,23073,23081,23082,23091,23101,23109,23124,23125,23126,23149,23150,23155,23172,23174,23190,23192,23196,23198,23218,23219,23221,23240,23245,23251,23270,23280,23288,23289,23296,23303,23305,23309,23317,23321,23337,23340,23356,23358,23360,23372,23377,23386,23387,23389,23398,23400,23413,23416,23417,23419,23422,23424,23429,23430,23436,23437,23441,23442,23447,23451,23453,23455,23457,23474,23496,23498,23507,23511,23513,23521,23523,23530,23554,23564,23572,23596,23597,23605,23611,23625,23626,23653,23657,23670,23672,23673,23685,23703,23714,23716,23727,23728,23733,23746,23762,23774,23775,23782,23783,23795,23796,23804,23812,23817,23822,23830,23835,23840,23851,23852,23859,23871,23872,23874,23875,23879,23882,23883,23893,23897,23901,23903,23908,23910,23912,23925,23931,23934,23943,23944,23945,23955,23959,23960,23984,23993,23995,24016,24023,24033,24034,24036,24050,24051,24059,24060,24068,24070,24081,24083,24085,24097,24103,24104,24107,24113,24115,24124,24134,24135,24137,24146,24147,24149,24156,24158,24160,24175,24201,24212,24223,24234,24245,24256,24259,24260,24268,24269,24270,24280,24282,24284,24288,24289,24296,24297,24321,24333,24338,24339,24350,24352,24353,24361,24369,24370,24371,24384,24390,24395,24400,24406,24407,24409,24411,24417,24419,24421,24438,24439,24449,24453,24456,24494,24496,24497,24514,24515,24521,24536,24555,24562,24569,24574,24576,24587,24597,24605,24606,24610,24613,24616,24618,24624,24633,24634,24639,24640,24646,24650,24654,24660,24670,24672,24679,24686,24689,24692,24697,24698,24721,24728,24754,24762,24769,24782,24783,24792,24799,24804,24806,24807,24811,24820,24826,24828,24829,24835,24850,24851,24854,24859,24864,24865,24869,24877,24878,24892,24900,24901,24902,24907,24908,24909,24930,24931,24945,24953,24954,24955,24960,24961,24962,24976,24984,24985,24986,24991,24992,24993,24999,25003,25011,25013,25019,25025,25031,25037,25050,25056,25057,25067,25068,25075,25078,25084,25092,25102,25119,25120,25134,25138,25145,25148,25154,25158,25166,25168,25174,25180,25186,25192,25205,25211,25212,25222,25223,25230,25233,25239,25247,25257,25274,25275,25289,25293,25300,25303,25317,25325,25326,25327,25332,25333,25334,25341,25357,25358,25362,25371,25372,25376,25400,25401,25414,25416,25432,25433,25441,25442,25450,25451,25453,25458,25460,25466,25474,25488,25489,25497,25498,25506,25507,25515,25516,25524,25525,25533,25534,25536,25544,25545,25546,25558,25569,25572,25580,25589,25590,25603,25605,25621,25622,25630,25631,25639,25640,25642,25647,25649,25655,25663,25677,25678,25686,25687,25695,25696,25704,25705,25713,25714,25722,25723,25725,25733,25734,25735,25747,25758,25761,25769,25778,25779,25792,25794,25810,25811,25819,25820,25828,25829,25831,25836,25838,25844,25852,25866,25867,25875,25876,25884,25885,25893,25894,25902,25903,25911,25912,25914,25922,25923,25924,25936,25947,25950,25958,25967,25968,25972,25984,25985,25990,26003,26005,26006,26008,26009,26013,26024,26030,26031,26041,26042,26058,26059,26063,26066,26073,26074,26081,26082,26086,26089,26096,26100,26102,26111,26113,26114,26118,26128,26146,26153,26157,26168,26175,26181,26190,26191,26201,26213,26214,26227,26229,26230,26241,26250,26253,26260,26262,26263,26266,26270,26279,26286,26287,26288,26292,26303,26307,26326,26333,26334,26335,26340,26347,26358,26360,26367,26386,26390,26395,26400,26409,26410,26414,26416,26426,26441,26446,26451,26456,26461,26466,26468,26469,26472,26478,26481,26484,26485,26486 ./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,19,21,305,319,333,420,425,428,431,435,438,441,592,604,611,612,616,617,625,649,653,656,677,728,776,787,790,798,825,828,829,839,851,873,874,885,892,903,952,988,989,998,1007,1016,1025,1034,1043,1052,1061,1070,1079,1088,1097,1106,1115,1124,1133,1142,1151,1160,1169,1189,1201,1202,1215,1224,1233,1242,1251,1274,1275,1343,1344,1356,1357,1369,1370,1382,1383,1395,1396,1408,1409,1433,1434,1446,1447,1469,1470,1485,1486,1487,1495,1500,1501,1509,1514,1515,1523,1534,1535,1543,1548,1574,1612,1619,1622,1625,1628,1645,1654,1663,1668,1675,1682,1705,1712,1715,1720,1723,1733,1744,1769,1772,1779,1784,1787,1791,1794,1799,1821,1847,1855,1862,1865,1868,1873,1874,1877,1931,1934,1947,1953,1956,1959,1962,1965,1968,1971,1974,1981,1992,2000,2008,2016,2019,2022,2031,2042,2044,2048,2053,2064,2072,2075,2084,2092,2100,2108,2111,2114,2117,2120,2132,2138,2141,2152,2154,2158,2166,2169,2175,2179,2186,2190,2194,2195,2201,2209,2212,2225,2238,2239,2242,2245,2248,2255,2262,2265,2268,2279,2283,2290,2305,2309,2317,2318,2332,2335,2340,2343,2346,2349,2352,2355,2358,2362,2365,2369,2404,2406,2408,2409,2411,2415,2419,2441,2479,2517,2520,2527,2530,2533,2536,2539,2542,2545,2548,2551,2557,2560,2571,2574,2577,2580,2583,2586,2589,2592,2595,2598,2601,2604,2616,2618,2620,2622,2624,2626,2628,2631,2633,2635,2637,2639,2641,2649,2651,2653,2655,2657,2659,2661,2663,2728,3824,3832,3838,3847,3857,3866,3875,3884,3893,3902,3911,3921,3930,3939,3948,3956,3957,3965,3968,3969,3977,3985,3989,3990,4007,4017,4027,4040,4052,4064,4076,4113,4121,4122,4135,4147,4172,4180,4198,4199,4207,4215,4219,4220,4241,4251,4261,4274,4286,4311,4319,4320,4329,4345,4361,4377,4426,4434,4456,4457,4465,4473,4477,4478,4495,4505,4521,4530,4542,4554,4566,4597,4605,4606,4616,4629,4641,4666,4674,4690,4691,4699,4707,4711,4712,4724,4760,4761,4771,4772,4811,4812,4822,4830,4845,4846,4854,4862,4866,4867,4879,4915,4916,4926,4927,4966,4967,4977,4985,5000,5001,5009,5017,5021,5022,5034,5070,5071,5081,5082,5121,5122,5132,5140,5155,5156,5164,5172,5176,5177,5183,5197,5205,5215,5216,5224,5232,5236,5237,5243,5257,5265,5275,5276,5284,5292,5296,5297,5313,5328,5329,5336,5348,5358,5367,5375,5376,5386,5399,5402,5411,5412,5423,5433,5443,5453,5472,5475,5485,5495,5505,5524,5527,5537,5547,5557,5576,5579,5589,5599,5609,5628,5632,5633,5642,5643,5652,5662,5672,5682,5692,5702,5727,5730,5740,5750,5760,5770,5780,5805,5808,5818,5828,5838,5848,5858,5883,5886,5896,5906,5916,5926,5936,5961,5964,5974,5984,5994,6004,6014,6039,6042,6052,6062,6072,6082,6092,6117,6121,6122,6124,6127,6128,6140,6148,6163,6164,6172,6180,6184,6185,6195,6205,6229,6237,6238,6251,6261,6283,6291,6304,6305,6313,6321,6325,6326,6332,6346,6354,6364,6365,6371,6380,6384,6385,6391,6403,6409,6418,6419,6426,6435,6439,6440,6446,6457,6464,6473,6474,6482,6496,6508,6520,6529,6546,6547,6557,6565,6581,6582,6590,6603,6609,6610,6615,6624,6633,6641,6646,6647,6655,6664,6677,6688,6689,6692,6698,6701,6711,6715,6716,6741,6757,6773,6783,6796,6826,6868,6869,6878,6899,6912,6939,6940,6953,6983,7025,7026,7035,7056,7069,7096,7097,7110,7120,7136,7166,7208,7209,7218,7239,7252,7279,7280,7293,7302,7303,7330,7339,7341,7350,7359,7377,7388,7399,7401,7410,7419,7437,7438,7445,7453,7476,7477,7485,7494,7498,7499,7504,7517,7530,7543,7556,7569,7582,7595,7608,7621,7634,7647,7660,7673,7686,7699,7712,7725,7738,7751,7764,7777,7790,7803,7816,7829,7842,7855,7868,7881,7894,7907,7920,7933,7946,7959,7972,7985,7998,8011,8024,8037,8050,8063,8076,8089,8102,8115,8123,8129,8130,8138,8148,8162,8173,8174,8177,8185,8186,8189,8199,8203,8204,8212,8221,8225,8226,8240,8249,8250,8258,8277,8279,8293,8304,8316,8324,8325,8334,8343,8352,8362,8380,8381,8388,8396,8397,8405,8421,8422,8430,8441,8457,8468,8474,8475,8478,8487,8488,8492,8502,8506,8507,8531,8557,8558,8586,8598,8624,8625,8656,8668,8690,8700,8702,8703,8713,8731,8732,8739,8747,8748,8756,8777,8778,8786,8795,8799,8800,8806,8816,8825,8834,8843,8851,8852,8860,8866,8867,8875,8884,8888,8889,8894,8903,8911,8917,8918,8926,8935,8939,8940,9004,9018,9025,9032,9045,9053,9054,9092,9102,9112,9151,9169,9180,9190,9192,9210,9221,9231,9233,9243,9261,9272,9282,9284,9292,9293,9306,9323,9334,9336,9337,9350,9367,9378,9380,9381,9391,9404,9421,9432,9434,9435,9443,9444,9461,9463,9478,9488,9500,9518,9520,9521,9529,9530,9545,9555,9567,9585,9587,9588,9596,9597,9612,9622,9634,9652,9654,9655,9663,9664,9674,9689,9699,9711,9729,9731,9732,9740,9741,9756,9766,9778,9796,9798,9799,9807,9808,9823,9833,9845,9863,9865,9866,9874,9875,9890,9900,9912,9930,9932,9933,9941,9942,9950,9951,9964,9977,9990,10003,10016,10029,10042,10055,10068,10081,10094,10107,10120,10133,10146,10154,10155,10163,10181,10182,10190,10198,10202,10203,10215,10225,10235,10248,10250,10267,10273,10281,10291,10292,10300,10308,10312,10313,10327,10336,10351,10365,10367,10375,10376,10390,10398,10408,10409,10417,10425,10429,10430,10436,10450,10458,10468,10469,10477,10485,10489,10490,10496,10510,10518,10528,10529,10537,10545,10549,10550,10558,10578,10586,10598,10599,10607,10615,10619,10620,10626,10640,10648,10658,10659,10667,10675,10679,10680,10686,10700,10708,10718,10719,10727,10735,10739,10740,10748,10774,10782,10794,10795,10803,10811,10815,10816,10824,10850,10858,10870,10871,10879,10887,10891,10892,10900,10920,10928,10940,10941,10949,10957,10961,10962,10970,10990,10998,11010,11011,11019,11027,11031,11032,11040,11060,11068,11080,11081,11089,11097,11101,11102,11110,11130,11138,11150,11151,11159,11167,11171,11172,11178,11192,11200,11210,11211,11219,11227,11231,11232,11238,11252,11260,11270,11271,11279,11287,11291,11292,11298,11312,11320,11330,11331,11339,11347,11351,11352,11358,11372,11380,11390,11391,11399,11407,11411,11412,11418,11432,11440,11450,11451,11459,11467,11471,11472,11478,11492,11500,11510,11511,11519,11527,11531,11532,11540,11566,11574,11586,11587,11595,11603,11607,11608,11616,11642,11650,11662,11663,11671,11679,11683,11684,11692,11712,11720,11732,11733,11741,11749,11753,11754,11762,11782,11790,11802,11803,11811,11819,11823,11824,11832,11852,11860,11872,11873,11881,11889,11893,11894,11902,11922,11930,11942,11943,11951,11959,11963,11964,11971,11987,11988,12002,12010,12020,12021,12029,12037,12041,12042,12049,12065,12066,12080,12088,12098,12099,12107,12115,12119,12120,12127,12141,12142,12156,12164,12174,12175,12183,12191,12195,12196,12203,12219,12220,12234,12242,12252,12253,12261,12269,12273,12274,12281,12297,12298,12312,12320,12330,12331,12339,12347,12351,12352,12359,12373,12374,12388,12396,12406,12407,12415,12423,12427,12428,12457,12468,12478,12527,12539,12554,12564,12576,12598,12600,12601,12609,12610,12618,12619,12631,12639,12655,12656,12664,12672,12676,12677,12707,12718,12728,12777,12789,12804,12814,12824,12834,12846,12868,12870,12871,12879,12880,12888,12889,12897,12898,12910,12918,12934,12935,12943,12951,12955,12956,12980,12991,13001,13050,13062,13077,13096,13108,13133,13134,13142,13143,13151,13152,13164,13172,13187,13188,13196,13204,13208,13209,13240,13251,13263,13271,13272,13284,13286,13296,13345,13357,13372,13382,13394,13417,13419,13420,13428,13429,13441,13449,13465,13466,13474,13482,13486,13487,13517,13528,13538,13587,13599,13614,13624,13634,13644,13656,13678,13680,13681,13689,13690,13698,13699,13707,13708,13720,13728,13744,13745,13753,13761,13765,13766,13794,13805,13815,13864,13876,13891,13910,13922,13944,13946,13947,13955,13956,13964,13965,13977,13985,14001,14002,14010,14018,14022,14023,14053,14064,14074,14123,14135,14150,14160,14170,14180,14192,14214,14216,14217,14225,14226,14234,14235,14243,14244,14256,14264,14280,14281,14289,14297,14301,14302,14330,14341,14351,14400,14412,14427,14446,14458,14480,14482,14483,14491,14492,14500,14501,14513,14521,14537,14538,14546,14554,14558,14559,14589,14600,14610,14659,14671,14686,14696,14706,14716,14728,14750,14752,14753,14761,14762,14770,14771,14779,14780,14792,14800,14816,14817,14825,14833,14837,14838,14866,14877,14887,14936,14948,14963,14982,14994,15016,15018,15019,15027,15028,15036,15037,15049,15057,15073,15074,15082,15090,15094,15095,15125,15141,15142,15153,15163,15212,15224,15239,15249,15259,15269,15281,15303,15305,15306,15314,15315,15323,15324,15332,15333,15345,15353,15369,15370,15378,15386,15390,15391,15421,15437,15438,15449,15459,15508,15520,15535,15545,15555,15565,15577,15599,15601,15602,15610,15611,15619,15620,15628,15629,15641,15649,15665,15666,15674,15682,15686,15687,15717,15733,15734,15745,15755,15804,15816,15831,15841,15851,15861,15873,15895,15897,15898,15906,15907,15915,15916,15924,15925,15937,15945,15961,15962,15970,15978,15982,15983,16007,16023,16024,16035,16045,16094,16106,16121,16140,16152,16177,16178,16186,16187,16195,16196,16208,16216,16231,16232,16240,16248,16252,16253,16281,16297,16298,16309,16319,16368,16380,16395,16414,16426,16448,16450,16451,16459,16460,16468,16469,16481,16489,16505,16506,16514,16522,16526,16527,16555,16581,16582,16592,16593,16604,16614,16663,16675,16690,16709,16721,16743,16745,16746,16754,16755,16763,16764,16776,16784,16800,16801,16809,16817,16821,16822,16843,16854,16893,16905,16920,16938,16940,16948,16949,16957,16958,16970,16978,16994,16995,17003,17011,17015,17016,17044,17057,17063,17109,17117,17118,17127,17138,17177,17189,17204,17214,17225,17226,17244,17246,17255,17256,17269,17284,17294,17305,17306,17324,17326,17335,17336,17355,17370,17380,17391,17392,17410,17412,17421,17422,17430,17431,17443,17451,17467,17468,17476,17484,17488,17489,17516,17527,17566,17578,17593,17603,17614,17615,17633,17635,17644,17645,17658,17673,17683,17694,17695,17713,17715,17724,17725,17735,17754,17769,17779,17790,17791,17809,17811,17820,17821,17829,17830,17838,17839,17851,17859,17875,17876,17884,17892,17896,17897,17939,17978,18017,18056,18095,18105,18144,18183,18191,18192,18201,18210,18219,18228,18237,18246,18261,18271,18289,18291,18300,18308,18309,18319,18337,18339,18348,18356,18357,18367,18385,18387,18396,18404,18405,18415,18433,18435,18444,18452,18453,18463,18473,18492,18494,18503,18511,18512,18522,18541,18543,18552,18560,18561,18569,18570,18578,18579,18602,18603,18615,18638,18639,18651,18674,18675,18687,18710,18711,18723,18733,18757,18758,18770,18794,18795,18807,18839,18847,18848,18875,18876,18884,18911,18912,18920,18928,18932,18933,18998,19010,19020,19035,19047,19053,19060,19061,19073,19084,19105,19114,19115,19131,19147,19155,19162,19163,19175,19186,19217,19219,19258,19297,19336,19375,19385,19397,19414,19425,19427,19428,19440,19457,19468,19470,19471,19483,19500,19511,19513,19514,19526,19543,19554,19556,19557,19565,19566,19576,19616,19656,19668,19685,19696,19698,19699,19711,19728,19739,19741,19742,19754,19771,19782,19784,19785,19797,19814,19825,19827,19828,19840,19858,19869,19871,19872,19884,19902,19913,19915,19916,19924,19925,19948,19949,19958,19981,19982,19991,20014,20015,20024,20047,20048,20057,20067,20091,20092,20101,20125,20126,20135,20167,20175,20176,20203,20204,20212,20253,20254,20262,20272,20287,20294,20300,20301,20304,20313,20314,20317,20327,20331,20332,20371,20389,20390,20398,20414,20419,20434,20443,20444,20455,20457,20479,20490,20507,20515,20516,20551,20563,20602,20617,20634,20637,20646,20654,20655,20665,20674,20684,20694,20703,20704,20714,20731,20736,20745,20746,20759,20773,20783,20792,20802,20803,20815,20829,20839,20848,20858,20859,20871,20885,20895,20904,20914,20915,20927,20941,20951,20960,20970,20971,20981,20993,21007,21017,21026,21036,21037,21049,21063,21073,21082,21092,21093,21105,21119,21129,21138,21148,21149,21161,21175,21185,21194,21204,21205,21213,21214,21216,21234,21236,21245,21246,21270,21271,21281,21289,21310,21311,21319,21329,21342,21353,21354,21357,21363,21366,21376,21380,21381,21423,21436,21449,21462,21478,21480,21493,21506,21522,21524,21533,21546,21547,21556,21566,21575,21584,21585,21595,21597,21606,21617,21627,21637,21647,21656,21665,21666,21676,21685,21694,21695,21705,21707,21717,21726,21735,21736,21746,21755,21764,21765,21775,21777,21787,21796,21805,21806,21816,21825,21834,21835,21845,21847,21862,21868,21870,21879,21888,21897,21906,21919,21924,21934,21943,21952,21953,21963,21965,21973,21974,21987,21992,22002,22011,22020,22021,22031,22033,22041,22042,22055,22061,22066,22076,22085,22094,22095,22105,22107,22115,22116,22127,22137,22150,22156,22161,22174,22180,22185,22198,22204,22210,22215,22224,22225,22234,22247,22248,22258,22271,22279,22280,22281,22295,22303,22313,22314,22322,22330,22334,22335,22347,22358,22370,22378,22379,22389,22407,22408,22416,22425,22426,22445,22446,22454,22456,22474,22475,22483,22498,22510,22518,22532,22533,22541,22550,22554,22555,22592,22634,22676,22718,22727,22736,22751,22761,22771,22796,22798,22799,22800,22802,22811,22812,22813,22817,22828,22839,22851,22863,22873,22884,22895,22906,22917,22925,22926,22970,22971,22981,22989,23009,23010,23018,23027,23031,23032,23077,23119,23161,23203,23212,23221,23230,23245,23255,23265,23290,23292,23293,23294,23296,23305,23306,23307,23311,23323,23335,23346,23357,23368,23379,23389,23399,23409,23419,23430,23441,23452,23463,23474,23485,23493,23494,23538,23539,23549,23557,23577,23578,23586,23594,23598,23599,23661,23672,23684,23692,23693,23703,23745,23787,23829,23842,23861,23874,23893,23908,23918,23928,23937,23945,23946,23956,23981,23983,23984,23985,23987,23996,23997,23998,24002,24013,24024,24035,24046,24056,24067,24078,24089,24100,24109,24110,24125,24135,24145,24154,24162,24163,24172,24197,24199,24200,24201,24203,24212,24213,24214,24218,24229,24241,24252,24264,24274,24285,24296,24307,24318,24327,24328,24343,24353,24363,24372,24380,24381,24390,24415,24417,24418,24419,24421,24430,24431,24432,24436,24447,24459,24470,24482,24492,24503,24514,24525,24536,24545,24546,24609,24627,24628,24636,24651,24663,24671,24695,24696,24704,24712,24716,24717,24766,24777,24789,24797,24798,24808,24850,24892,24934,24947,24966,24981,24991,25002,25003,25013,25038,25040,25041,25042,25044,25053,25054,25055,25059,25071,25083,25093,25104,25115,25124,25125,25140,25150,25161,25162,25171,25196,25198,25199,25200,25202,25211,25212,25213,25217,25229,25241,25251,25262,25273,25282,25283,25293,25308,25318,25329,25330,25339,25364,25366,25367,25368,25370,25379,25380,25381,25385,25397,25409,25419,25430,25441,25450,25451,25459,25460,25478,25479,25487,25550,25565,25577,25585,25609,25610,25618,25626,25630,25631,25637,25650,25658,25667,25668,25676,25685,25689,25690,25743,25785,25827,25869,25879,25894,25903,25913,25922,25930,25931,25941,25951,25961,25972,25983,25995,26007,26018,26029,26038,26039,26053,26067,26078,26089,26101,26117,26128,26139,26140,26142,26151,26152,26163,26173,26184,26195,26207,26219,26230,26241,26250,26251,26265,26279,26290,26301,26313,26329,26340,26351,26352,26354,26356,26365,26366,26431,26439,26460,26461,26469,26478,26482,26483,26536,26578,26620,26662,26672,26687,26696,26706,26715,26723,26724,26734,26744,26754,26765,26776,26788,26800,26811,26822,26831,26832,26846,26857,26868,26879,26891,26904,26915,26926,26927,26929,26938,26939,26950,26960,26971,26982,26994,27006,27017,27028,27037,27038,27052,27075,27086,27097,27109,27134,27145,27156,27157,27159,27161,27170,27171,27236,27244,27265,27266,27274,27283,27287,27288,27327,27369,27411,27453,27468,27477,27487,27496,27504,27505,27515,27525,27536,27547,27559,27571,27582,27593,27602,27603,27614,27624,27635,27646,27658,27670,27681,27692,27693,27695,27704,27705,27770,27778,27798,27799,27807,27815,27819,27820,27874,27888,27902,27910,27911,27953,27995,28037,28047,28062,28071,28081,28090,28098,28099,28109,28119,28129,28140,28151,28163,28175,28186,28197,28206,28207,28221,28235,28246,28257,28269,28285,28296,28307,28308,28310,28319,28320,28331,28341,28352,28363,28375,28387,28398,28409,28418,28419,28433,28447,28458,28469,28481,28497,28508,28519,28520,28522,28524,28533,28534,28595,28605,28619,28627,28648,28649,28657,28665,28669,28670,28724,28738,28752,28760,28761,28803,28845,28887,28897,28912,28921,28931,28940,28948,28949,28959,28969,28979,28990,29001,29013,29025,29036,29047,29056,29057,29071,29082,29093,29104,29116,29129,29140,29151,29152,29154,29163,29164,29175,29185,29196,29207,29219,29231,29242,29253,29262,29263,29277,29300,29311,29322,29334,29359,29370,29381,29382,29384,29386,29395,29396,29457,29467,29481,29489,29510,29511,29519,29527,29531,29532,29572,29586,29600,29608,29609,29651,29693,29735,29750,29759,29769,29778,29786,29787,29797,29807,29818,29829,29841,29853,29864,29875,29884,29885,29896,29906,29917,29928,29940,29952,29963,29974,29975,29977,29986,29987,30048,30058,30072,30080,30100,30101,30109,30118,30122,30123,30158,30200,30242,30284,30299,30309,30319,30330,30341,30351,30363,30375,30384,30385,30397,30408,30410,30421,30432,30440,30441,30504,30529,30530,30546,30547,30569,30577,30593,30605,30630,30631,30647,30648,30670,30678,30679,30702,30714,30722,30744,30745,30753,30762,30766,30767,30803,30813,30855,30897,30939,30954,30964,30974,30985,30996,31006,31018,31030,31039,31040,31052,31063,31065,31076,31087,31095,31096,31159,31184,31185,31201,31202,31224,31232,31248,31260,31285,31286,31302,31303,31325,31333,31334,31357,31369,31377,31399,31400,31408,31417,31421,31422,31458,31468,31510,31552,31594,31609,31619,31629,31640,31651,31661,31673,31685,31694,31695,31707,31718,31720,31731,31742,31750,31751,31814,31839,31840,31856,31857,31879,31887,31903,31915,31940,31941,31957,31958,31980,31988,31989,32012,32024,32032,32054,32055,32063,32072,32076,32077,32090,32100,32118,32119,32127,32145,32146,32154,32184,32185,32195,32203,32204,32223,32224,32232,32250,32251,32259,32277,32278,32286,32319,32320,32330,32331,32339,32355,32356,32364,32373,32377,32378,32391,32401,32419,32420,32428,32446,32447,32455,32485,32486,32496,32504,32505,32524,32525,32533,32551,32552,32560,32578,32579,32587,32620,32621,32631,32632,32640,32656,32657,32665,32674,32678,32679,32708,32747,32786,32825,32840,32850,32860,32871,32881,32893,32902,32903,32915,32917,32928,32936,32937,32981,32982,32992,33000,33020,33021,33029,33038,33042,33043,33072,33111,33150,33189,33204,33214,33224,33235,33245,33257,33266,33267,33279,33281,33292,33300,33301,33345,33346,33356,33364,33384,33385,33393,33402,33406,33407,33436,33475,33514,33553,33568,33578,33588,33599,33609,33621,33630,33631,33643,33645,33656,33664,33665,33709,33710,33720,33728,33748,33749,33757,33766,33770,33771,33805,33847,33889,33931,33944,33959,33969,33979,34004,34006,34007,34008,34010,34019,34020,34021,34025,34035,34047,34059,34071,34083,34092,34093,34119,34121,34122,34123,34125,34134,34135,34136,34140,34142,34167,34169,34170,34171,34173,34182,34183,34184,34188,34196,34197,34260,34285,34286,34302,34303,34325,34333,34349,34361,34386,34387,34403,34404,34426,34434,34435,34458,34470,34478,34501,34502,34510,34518,34522,34523,34558,34569,34581,34589,34590,34599,34644,34689,34734,34745,34747,34762,34772,34784,34795,34807,34818,34819,34827,34828,34846,34847,34855,34898,34899,34914,34926,34934,34955,34956,34964,34972,34976,34977,35012,35023,35035,35043,35044,35053,35098,35143,35188,35199,35201,35216,35226,35238,35249,35261,35272,35273,35281,35282,35300,35301,35309,35352,35353,35368,35380,35388,35409,35410,35418,35426,35430,35431,35466,35477,35489,35497,35498,35508,35521,35529,35530,35539,35584,35629,35674,35685,35687,35702,35712,35724,35735,35747,35758,35759,35767,35768,35786,35787,35795,35838,35839,35854,35866,35874,35895,35896,35904,35912,35916,35917,35930,35941,35963,35973,35993,36001,36002,36013,36029,36030,36047,36048,36063,36071,36072,36084,36092,36107,36108,36116,36124,36128,36129,36141,36152,36174,36184,36204,36212,36213,36234,36235,36252,36253,36264,36272,36273,36285,36293,36307,36308,36316,36324,36328,36329,36360,36371,36383,36391,36392,36402,36416,36424,36425,36467,36509,36551,36566,36575,36584,36594,36619,36621,36622,36623,36625,36634,36635,36636,36640,36652,36664,36689,36691,36692,36693,36695,36704,36705,36706,36710,36718,36719,36737,36738,36746,36789,36790,36805,36817,36825,36846,36847,36855,36863,36867,36868,36899,36910,36922,36930,36931,36941,36955,36963,36964,37006,37048,37090,37105,37114,37123,37133,37158,37160,37161,37162,37164,37173,37174,37175,37179,37191,37203,37228,37230,37231,37232,37234,37243,37244,37245,37249,37257,37258,37276,37277,37285,37328,37329,37344,37356,37364,37385,37386,37394,37402,37406,37407,37438,37449,37461,37469,37470,37480,37493,37501,37502,37544,37586,37628,37643,37652,37661,37671,37696,37698,37699,37700,37702,37711,37712,37713,37717,37729,37741,37766,37768,37769,37770,37772,37781,37782,37783,37787,37795,37796,37814,37815,37823,37866,37867,37882,37894,37902,37923,37924,37932,37940,37944,37945,37958,37969,37991,38001,38021,38029,38030,38041,38057,38058,38075,38076,38091,38099,38100,38112,38120,38135,38136,38144,38152,38156,38157,38169,38180,38202,38212,38232,38240,38241,38262,38263,38280,38281,38292,38300,38301,38313,38321,38335,38336,38344,38352,38356,38357,38392,38403,38412,38423,38425,38470,38515,38560,38575,38585,38597,38608,38620,38631,38632,38640,38641,38659,38660,38668,38737,38745,38746,38758,38766,38787,38788,38796,38804,38808,38809,38842,38853,38865,38873,38874,38916,38958,39000,39015,39025,39035,39044,39052,39053,39063,39073,39090,39092,39110,39112,39129,39131,39132,39141,39142,39160,39161,39169,39238,39250,39258,39279,39280,39288,39296,39300,39301,39334,39345,39357,39365,39366,39408,39450,39492,39507,39517,39527,39536,39544,39545,39555,39565,39582,39584,39602,39604,39621,39623,39624,39633,39634,39652,39653,39661,39730,39742,39750,39771,39772,39780,39788,39792,39793,39826,39836,39849,39857,39858,39869,39881,39889,39890,39932,39974,40016,40031,40041,40051,40060,40068,40069,40079,40089,40106,40108,40126,40128,40145,40147,40148,40157,40158,40176,40177,40185,40254,40266,40274,40295,40296,40304,40312,40316,40317,40329,40340,40352,40360,40361,40383,40393,40413,40421,40422,40443,40444,40461,40462,40473,40485,40493,40507,40508,40516,40524,40528,40529,40562,40572,40586,40594,40595,40606,40618,40626,40627,40669,40711,40753,40768,40778,40788,40797,40805,40806,40816,40826,40843,40845,40863,40865,40882,40884,40885,40894,40895,40913,40914,40922,40991,41003,41011,41032,41033,41041,41049,41053,41054,41087,41097,41111,41119,41120,41131,41143,41151,41152,41194,41236,41278,41293,41303,41313,41322,41330,41331,41341,41351,41368,41370,41388,41390,41407,41409,41410,41419,41420,41438,41439,41447,41516,41528,41536,41557,41558,41566,41574,41578,41579,41612,41622,41635,41643,41644,41655,41667,41675,41676,41718,41760,41802,41817,41827,41837,41846,41854,41855,41865,41875,41892,41894,41912,41914,41931,41933,41934,41943,41944,41962,41963,41971,42040,42052,42060,42081,42082,42090,42098,42102,42103,42115,42126,42138,42146,42147,42169,42179,42199,42207,42208,42229,42230,42247,42248,42259,42271,42279,42293,42294,42302,42310,42314,42315,42328,42339,42351,42359,42360,42382,42392,42404,42412,42413,42434,42435,42452,42453,42464,42476,42484,42498,42499,42507,42515,42519,42520,42533,42544,42556,42564,42565,42587,42597,42609,42617,42618,42639,42640,42657,42658,42669,42681,42689,42703,42704,42712,42720,42724,42725,42793,42804,42816,42824,42825,42867,42909,42951,42961,42970,42985,42994,43003,43013,43023,43033,43042,43043,43054,43056,43073,43075,43093,43095,43112,43114,43123,43131,43132,43142,43152,43162,43171,43172,43183,43185,43202,43204,43222,43224,43241,43243,43251,43252,43262,43272,43282,43292,43301,43310,43321,43323,43332,43333,43344,43353,43362,43373,43375,43377,43394,43396,43413,43415,43433,43435,43453,43455,43472,43474,43491,43493,43502,43503,43514,43524,43534,43543,43552,43563,43565,43574,43575,43586,43596,43605,43614,43625,43627,43629,43646,43648,43665,43667,43685,43687,43705,43707,43718,43728,43730,43742,43752,43754,43756,43765,43766,43777,43787,43796,43805,43816,43818,43831,43844,43854,43871,43873,43890,43892,43910,43912,43930,43932,43943,43953,43955,43967,43977,43979,43980,43989,43990,44001,44010,44019,44030,44032,44045,44058,44068,44085,44087,44104,44106,44124,44126,44144,44146,44157,44167,44169,44181,44191,44193,44194,44196,44198,44207,44208,44274,44286,44294,44315,44316,44324,44332,44336,44337,44405,44416,44428,44436,44437,44479,44521,44563,44573,44582,44597,44606,44615,44625,44635,44645,44654,44655,44666,44668,44685,44687,44705,44707,44724,44726,44735,44743,44744,44754,44764,44774,44783,44784,44795,44797,44814,44816,44834,44836,44853,44855,44863,44864,44874,44884,44894,44904,44913,44922,44933,44935,44944,44945,44956,44965,44974,44985,44987,44989,45006,45008,45025,45027,45045,45047,45065,45067,45084,45086,45103,45105,45114,45115,45126,45136,45146,45155,45164,45175,45177,45186,45187,45198,45208,45217,45226,45237,45239,45241,45258,45260,45277,45279,45297,45299,45317,45319,45330,45340,45342,45354,45364,45366,45368,45377,45378,45389,45399,45408,45417,45428,45430,45443,45453,45463,45480,45482,45499,45501,45519,45521,45539,45541,45552,45562,45564,45576,45586,45588,45589,45598,45599,45610,45619,45628,45639,45641,45654,45676,45686,45703,45705,45722,45724,45742,45744,45762,45764,45775,45785,45787,45799,45809,45811,45812,45814,45816,45825,45826,45892,45904,45912,45933,45934,45942,45950,45954,45955,46016,46032,46045,46053,46054,46065,46077,46085,46086,46128,46170,46212,46222,46231,46246,46255,46264,46274,46284,46301,46303,46321,46323,46340,46342,46351,46359,46360,46370,46380,46397,46399,46417,46419,46436,46438,46446,46447,46457,46467,46477,46486,46495,46506,46508,46525,46527,46544,46546,46564,46566,46584,46586,46603,46605,46622,46624,46633,46634,46645,46655,46664,46673,46684,46686,46703,46705,46722,46724,46742,46744,46762,46764,46775,46785,46787,46799,46809,46811,46813,46822,46823,46834,46843,46852,46863,46865,46875,46884,46894,46911,46913,46930,46932,46950,46952,46970,46972,46983,46993,46995,47007,47017,47019,47020,47022,47031,47032,47098,47110,47118,47138,47139,47147,47156,47160,47161,47172,47185,47198,47208,47221,47230,47231,47241,47243,47257,47265,47275,47276,47284,47293,47297,47298,47332,47358,47359,47387,47399,47408,47447,47459,47481,47483,47505,47507,47517,47539,47541,47550,47551,47561,47563,47581,47583,47584,47594,47612,47618,47626,47627,47651,47652,47662,47670,47689,47690,47698,47707,47711,47712,47730,47772,47787,47804,47806,47814,47815,47839,47840,47850,47858,47874,47875,47883,47892,47896,47897,47922,47948,47949,47977,47989,47998,48037,48049,48066,48077,48079,48080,48090,48108,48114,48122,48123,48148,48149,48159,48160,48168,48186,48187,48195,48206,48221,48232,48238,48239,48242,48249,48253,48263,48267,48268,48315,48325,48364,48403,48413,48452,48460,48461,48500,48512,48524,48534,48546,48554,48555,48565,48582,48584,48605,48607,48616,48617,48635,48637,48658,48660,48687,48689,48691,48706,48716,48726,48744,48746,48763,48773,48775,48784,48785,48804,48806,48823,48833,48835,48852,48863,48865,48867,48875,48876,48921,48931,48965,48974,48975,49016,49018,49063,49132,49150,49151,49159,49173,49181,49207,49208,49216,49225,49229,49230,49238,49248,49261,49272,49273,49276,49282,49285,49295,49299,49300,49314,49336,49337,49354,49359,49372,49377,49385,49398,49399,49407,49422,49426,49438,49450,49458,49470,49471,49479,49488,49492,49493,49501,49512,49527,49538,49544,49545,49548,49555,49559,49569,49573,49574,49588,49610,49611,49628,49633,49646,49651,49659,49672,49673,49681,49696,49700,49712,49724,49732,49744,49745,49753,49764,49779,49790,49796,49797,49800,49807,49811,49821,49825,49826,49873,49883,49892,49931,49970,49980,50019,50027,50028,50067,50075,50083,50099,50115,50125,50141,50149,50150,50158,50170,50185,50198,50201,50215,50216,50233,50235,50256,50258,50268,50295,50297,50305,50306,50321,50331,50348,50358,50360,50377,50387,50389,50399,50416,50427,50429,50437,50438,50446,50447,50492,50502,50536,50545,50546,50587,50589,50634,50703,50721,50722,50730,50744,50752,50778,50779,50787,50796,50800,50801,50809,50819,50832,50843,50844,50847,50853,50856,50866,50870,50871,50885,50907,50908,50925,50930,50943,50948,50956,50969,50970,50978,50993,50997,51009,51021,51029,51041,51042,51050,51059,51063,51064,51072,51083,51098,51109,51115,51116,51119,51126,51130,51140,51144,51145,51159,51181,51182,51199,51204,51217,51222,51230,51243,51244,51252,51267,51271,51283,51295,51303,51315,51316,51324,51335,51350,51361,51367,51368,51371,51378,51382,51392,51396,51397,51462,51474,51484,51500,51512,51514,51553,51592,51631,51652,51653,51668,51678,51688,51702,51711,51720,51721,51731,51745,51758,51767,51768,51778,51792,51811,51820,51821,51835,51837,51849,51871,51873,51895,51897,51920,51924,51926,51935,51947,51964,51966,51983,51985,51986,52008,52010,52019,52030,52032,52042,52064,52066,52075,52086,52088,52097,52098,52108,52110,52120,52133,52139,52145,52150,52162,52179,52181,52182,52191,52199,52200,52208,52209,52218,52227,52244,52246,52263,52265,52275,52292,52294,52311,52313,52321,52323,52324,52342,52343,52351,52417,52431,52439,52463,52464,52472,52483,52498,52509,52515,52516,52519,52526,52530,52540,52544,52545,52606,52618,52628,52644,52653,52692,52731,52770,52791,52792,52807,52817,52827,52836,52845,52854,52863,52864,52874,52883,52892,52905,52914,52915,52925,52934,52953,52962,52963,52977,52979,52991,53013,53015,53037,53039,53062,53066,53068,53077,53094,53096,53113,53115,53125,53142,53144,53161,53163,53185,53187,53196,53207,53209,53218,53219,53237,53239,53256,53258,53280,53282,53291,53302,53304,53306,53316,53329,53334,53351,53353,53370,53372,53381,53389,53390,53398,53399,53408,53425,53427,53444,53447,53448,53466,53467,53475,53546,53554,53577,53578,53586,53596,53609,53620,53621,53624,53630,53633,53643,53647,53648,53710,53722,53732,53748,53757,53796,53835,53874,53895,53896,53911,53921,53933,53955,53957,53979,53981,54004,54008,54010,54019,54028,54037,54048,54050,54059,54068,54079,54081,54091,54100,54109,54120,54122,54131,54132,54142,54144,54169,54171,54172,54173,54175,54184,54185,54186,54190,54200,54213,54219,54225,54226,54239,54245,54249,54258,54270,54287,54289,54306,54308,54309,54318,54326,54327,54335,54336,54345,54354,54363,54375,54393,54395,54396,54413,54415,54432,54434,54451,54453,54470,54472,54482,54499,54501,54518,54520,54537,54539,54556,54558,54566,54568,54569,54587,54588,54596,54667,54675,54698,54699,54707,54717,54730,54741,54742,54745,54751,54754,54764,54768,54769,54817,54829,54839,54848,54887,54926,54965,54986,54987,55002,55012,55024,55046,55048,55070,55072,55095,55099,55101,55110,55128,55130,55140,55150,55167,55169,55178,55179,55189,55206,55208,55217,55218,55228,55245,55247,55256,55257,55267,55284,55286,55295,55296,55309,55314,55331,55333,55342,55343,55356,55361,55378,55380,55388,55390,55398,55399,55400,55468,55476,55498,55499,55507,55532,55535,55548,55558,55569,55580,55623,55630,55636,55642,55648,55654,55660,55666,55672,55678,55684,55690,55696,55702,55708,55709,55712,55745,55746,55761,55772,55780,55785,55786,55823,55834,55844,55865,55866,55874,55883,55884,55907,55909,55918,55919,55940,55953,55961,55962,55974,55976,55986,55998,56008,56018,56026,56027,56035,56036,56046,56058,56068,56078,56086,56087,56095,56096,56106,56116,56148,56159,56172,56186,56218,56226,56227,56237,56266,56274,56275,56285,56313,56323,56375,56391,56404,56418,56426,56427,56441,56444,56454,56491,56504,56518,56550,56558,56559,56569,56606,56619,56633,56665,56673,56674,56684,56721,56734,56748,56780,56788,56789,56799,56836,56849,56863,56895,56903,56904,56914,56951,56964,56978,57010,57018,57019,57029,57066,57079,57093,57125,57133,57134,57144,57156,57168,57178,57204,57205,57214,57240,57241,57250,57265,57275,57286,57287,57296,57305,57314,57344,57374,57383,57384,57397,57412,57422,57433,57434,57443,57452,57461,57491,57521,57530,57531,57560,57569,57570,57597,57598,57607,57633,57634,57643,57669,57670,57679,57694,57704,57715,57716,57725,57734,57743,57773,57803,57833,57842,57843,57856,57871,57881,57892,57893,57902,57911,57920,57950,57980,58010,58019,58020,58039,58054,58064,58075,58076,58085,58094,58103,58133,58163,58193,58202,58203,58235,58237,58245,58246,58264,58265,58272,58290,58291,58298,58308,58326,58327,58334,58342,58343,58361,58362,58369,58379,58400,58401,58408,58416,58417,58429,58437,58465,58466,58474,58496,58502,58513,58522,58531,58569,58580,58586,58592,58598,58604,58610,58616,58622,58628,58634,58635,58638,58664,58665,58677,58688,58696,58701,58702,58744,58754,58774,58785,58794,58806,58815,58829,58837,58838,58848,58861,58869,58870,58885,58891,58898,58919,58920,58928,58936,58937,58947,58957,58966,58967,58977,58992,59001,59002,59017,59023,59029,59036,59054,59074,59102,59103,59122,59127,59137,59144,59152,59154,59165,59186,59187,59195,59203,59204,59215,59227,59235,59236,59247,59259,59268,59269,59291,59292,59300,59302,59313,59325,59334,59335,59360,59361,59374,59377,59379,59390,59402,59411,59412,59437,59438,59451,59454,59456,59467,59479,59488,59489,59500,59502,59513,59526,59534,59535,59546,59555,59563,59564,59577,59589,59603,59626,59637,59649,59658,59659,59677,59680,59682,59693,59705,59714,59715,59726,59728,59746,59747,59756,59767,59790,59791,59808,59813,59823,59827,59836,59837,59861,59862,59879,59884,59894,59898,59900,59908,59909,59921,59946,59947,59967,59968,59977,59986,60001,60011,60035,60036,60046,60055,60063,60064,60097,60098,60107,60140,60141,60150,60189,60190,60213,60218,60231,60235,60244,60245,60271,60289,60290,60297,60309,60327,60328,60335,60353,60354,60361,60372,60389,60398,60399,60432,60434,60445,60462,60471,60472,60505,60507,60517,60538,60539,60546,60554,60555,60572,60580,60616,60617,60625,60634,60638,60639,60669,60679,60725,60761,60773,60785,60800,60812,60834,60836,60837,60855,60857,60865,60866,60886,60894,60914,60915,60923,60932,60936,60937,60957,60972,60980,61008,61013,61037,61038,61047,61071,61072,61081,61091,61115,61116,61125,61143,61156,61169,61196,61197,61206,61215,61216,61256,61257,61266,61268,61288,61289,61306,61311,61321,61324,61332,61355,61356,61364,61372,61376,61377,61384,61398,61406,61415,61416,61424,61432,61436,61437,61455,61466,61490,61491,61511,61531,61539,61541,61543,61550,61555,61563,61564,61584,61589,61594,61606,61622,61630,61631,61647,61665,61666,61672,61686,61694,61695,61707,61717,61729,61737,61738,61752,61753,61761,61778,61779,61787,61795,61799,61800,61815,61826,61838,61846,61847,61865,61866,61879,61887,61917,61922,61934,61949,61968,61986,61998,62019,62031,62039,62055,62056,62064,62072,62076,62077,62093,62104,62116,62124,62125,62142,62150,62180,62185,62223,62224,62236,62248,62256,62273,62274,62282,62289,62292,62293,62297,62306,62315,62323,62326,62327,62333,62342,62346,62347,62353,62365,62371,62380,62381,62388,62397,62401,62402,62408,62419,62426,62435,62436,62443,62449,62461,62468,62471,62478,62482,62483,62491,62499,62503,62504,62528,62532,62541,62550,62559,62572,62573,62584,62593,62606,62614,62615,62628,62629,62640,62649,62662,62670,62671,62680,62689,62699,62708,62717,62729,62738,62747,62748,62757,62758,62768,62777,62779,62788,62797,62806,62815,62828,62841,62851,62861,62873,62879,62881,62894,62898,62907,62920,62928,62929,62942,62953,62964,62975,62986,62997,63008,63019,63030,63041,63052,63063,63074,63085,63096,63107,63118,63138,63139,63148,63158,63166,63167,63177,63186,63195,63205,63214,63215,63223,63235,63241,63246,63247,63255,63262,63265,63266,63271,63281,63290,63298,63299,63309,63318,63326,63327,63335,63338,63339,63347,63353,63367,63375,63385,63386,63394,63400,63414,63422,63432,63433,63441,63447,63461,63469,63479,63480,63488,63494,63508,63516,63526,63527,63535,63541,63555,63563,63573,63574,63582,63588,63598,63610,63618,63619,63632,63633,63641,63647,63648,63656,63677,63686,63695,63706,63718,63729,63735,63750,63764,63770,63787,63800,63808,63809,63821,63827,63829,63842,63846,63855,63868,63876,63877,63893,63902,63911,63921,63922,63932,63942,63954,63964,63977,63985,63986,64003,64004,64021,64022,64039,64040,64057,64058,64075,64076,64093,64094,64111,64112,64129,64130,64147,64148,64165,64166,64183,64184,64201,64202,64219,64220,64239,64240,64259,64260,64279,64280,64297,64298,64315,64317,64326,64335,64336,64347,64349,64357,64359,64369,64377,64393,64394,64402,64406,64415,64424,64432,64435,64436,64444,64451,64460,64470,64481,64489,64490,64502,64510,64516,64517,64525,64538,64546,64554,64563,64571,64577,64592,64605,64608,64622,64623,64631,64645,64646,64654,64667,64675,64683,64692,64700,64706,64721,64734,64737,64751,64752,64760,64774,64775,64783,64796,64804,64812,64821,64829,64835,64849,64860,64863,64877,64878,64886,64900,64901,64909,64920,64939,64943,64951,64962,64963,64971,64983,65003,65014,65020,65026,65032,65033,65036,65048,65049,65057,65066,65067,65079,65081,65089,65097,65098,65120,65131,65134,65143,65153,65166,65174,65175,65185,65198,65206,65207,65218,65236,65237,65245,65253,65254,65270,65281,65284,65293,65302,65312,65325,65333,65334,65357,65367,65396,65404,65405,65414,65422,65424,65434,65443,65456,65465,65466,65476,65485,65498,65507,65508,65525,65527,65536,65545,65557,65567,65576,65586,65599,65607,65608,65618,65627,65638,65642,65647,65656,65665,65666,65674,65675,65683,65684,65692,65707,65708,65716,65724,65728,65729,65744,65748,65757,65768,65777,65786,65787,65798,65807,65815,65817,65827,65840,65848,65849,65859,65869,65879,65889,65899,65908,65918,65927,65937,65947,65956,65957,65967,65969,65982,65990,66001,66007,66011,66012,66020,66027,66030,66031,66036,66046,66055,66064,66065,66075,66085,66094,66102,66103,66112,66120,66122,66131,66139,66142,66143,66151,66159,66163,66164,66170,66184,66192,66202,66203,66211,66220,66229,66259,66267,66279,66280,66288,66296,66300,66301,66306,66316,66324,66329,66330,66338,66346,66350,66351,66358,66375,66383,66394,66395,66403,66411,66415,66416,66423,66440,66448,66459,66460,66468,66476,66480,66481,66487,66499,66507,66518,66519,66525,66533,66537,66538,66544,66556,66562,66571,66572,66579,66587,66591,66592,66598,66609,66616,66625,66626,66634,66645,66655,66688,66697,66698,66727,66738,66752,66761,66763,66775,66783,66797,66798,66806,66814,66825,66831,66834,66839,66841,66851,66855,66856,66861,66874,66882,66887,66888,66896,66904,66908,66909,66914,66926,66934,66940,66941,66947,66955,66959,66960,66973,66988,67000,67011,67029,67038,67047,67048,67059,67061,67071,67107,67115,67116,67150,67151,67157,67171,67172,67179,67187,67191,67192,67198,67208,67215,67227,67228,67236,67242,67251,67260,67270,67279,67287,67288,67298,67306,67310,67311,67319,67329,67344,67355,67361,67362,67365,67374,67375,67382,67383,67393,67397,67398,67407,67420,67429,67443,67449,67458,67468,67477,67486,67494,67495,67503,67504,67514,67523,67532,67540,67541,67551,67560,67570,67579,67587,67588,67596,67597,67607,67620,67625,67634,67635,67645,67647,67656,67665,67673,67683,67684,67692,67699,67702,67703,67715,67726,67735,67744,67745,67755,67764,67773,67781,67783,67793,67805,67815,67824,67834,67844,67854,67862,67863,67872,67880,67881,67883,67892,67894,67902,67903,67911,67914,67915,67923,67938,67947,67963,67982,67990,67992,67994,67999,68010,68018,68020,68030,68038,68049,68050,68058,68066,68070,68071,68085,68096,68108,68116,68117,68134,68149,68154,68164,68178,68186,68187,68198,68212,68213,68221,68235,68236,68244,68252,68256,68257,68269,68279,68292,68300,68301,68318,68333,68338,68348,68360,68370,68384,68393,68394,68410,68412,68421,68422,68434,68436,68444,68460,68461,68469,68484,68495,68503,68511,68521,68531,68555,68563,68572,68587,68601,68604,68624,68625,68633,68634,68646,68654,68667,68668,68676,68687,68696,68705,68721,68730,68738,68750,68751,68759,68780,68789,68798,68808,68817,68827,68836,68844,68845,68854,68863,68864,68874,68876,68885,68895,68904,68913,68914,68926,68928,68938,68949,68957,68958,68967,68968,68980,68996,68998,69004,69012,69014,69015,69023,69035,69036,69044,69052,69062,69073,69081,69093,69094,69102,69121,69133,69145,69153,69161,69183,69184,69203,69208,69218,69222,69230,69231,69243,69257,69265,69266,69278,69285,69306,69319,69322,69341,69342,69350,69367,69368,69376,69399,69411,69422,69452,69461,69462,69485,69486,69505,69510,69520,69525,69527,69539,69547,69556,69565,69574,69576,69584,69603,69604,69612,69620,69624,69625,69640,69644,69657,69662,69675,69683,69684,69694,69704,69713,69714,69724,69726,69736,69746,69755,69756,69766,69768,69778,69788,69797,69798,69808,69810,69820,69830,69839,69840,69850,69852,69862,69872,69882,69892,69902,69915,69923,69934,69940,69944,69945,69953,69961,69965,69966,69974,69987,69996,70008,70016,70027,70028,70036,70044,70048,70049,70054,70066,70074,70080,70081,70089,70097,70101,70102,70113,70132,70139,70147,70158,70159,70167,70175,70179,70180,70192,70202,70215,70223,70224,70243,70250,70258,70269,70270,70278,70286,70290,70291,70303,70313,70330,70338,70339,70358,70365,70373,70384,70385,70393,70401,70405,70406,70412,70426,70434,70444,70445,70453,70461,70465,70466,70472,70486,70494,70504,70505,70513,70521,70525,70526,70534,70554,70562,70574,70575,70583,70591,70595,70596,70609,70620,70630,70645,70657,70658,70671,70679,70680,70692,70700,70712,70713,70721,70729,70733,70734,70740,70750,70760,70768,70769,70779,70787,70792,70793,70801,70809,70813,70814,70822,70839,70849,70871,70879,70891,70892,70900,70908,70912,70913,70920,70948,70956,70967,70968,70976,70984,70988,70989,70997,71006,71020,71028,71038,71039,71047,71055,71059,71060,71068,71077,71091,71099,71109,71110,71118,71126,71130,71131,71140,71149,71158,71168,71182,71190,71200,71201,71209,71217,71221,71222,71232,71241,71250,71260,71274,71282,71292,71293,71299,71307,71311,71312,71318,71330,71336,71345,71346,71353,71361,71365,71366,71372,71383,71390,71399,71400,71408,71417,71445,71454,71466,71474,71487,71488,71496,71502,71513,71521,71526,71527,71535,71558,71569,71584,71593,71594,71605,71607,71619,71628,71637,71654,71673,71681,71683,71685,71695,71706,71716,71732,71733,71736,71745,71754,71755,71765,71767,71776,71785,71786,71801,71806,71822,71830,71831,71844,71850,71859,71861,71869,71872,71882,71892,71907,71908,71911,71919,71920,71936,71955,71963,71980,71981,71989,72000,72012,72022,72035,72043,72044,72045,72053,72065,72066,72074,72107,72117,72126,72139,72140,72142,72153,72166,72175,72184,72185,72195,72204,72206,72216,72226,72235,72244,72260,72279,72287,72289,72291,72296,72306,72315,72324,72333,72334,72345,72354,72363,72372,72381,72390,72391,72410,72414,72432,72436,72454,72458,72471,72484,72497,72506,72515,72517,72525,72527,72538,72547,72556,72565,72579,72587,72588,72598,72608,72620,72621,72629,72642,72643,72651,72659,72669,72679,72688,72696,72697,72708,72711,72720,72728,72729,72738,72739,72753,72758,72771,72776,72785,72793,72794,72804,72814,72823,72833,72842,72850,72851,72860,72861,72871,72881,72890,72899,72900,72910,72912,72920,72922,72931,72932,72943,72952,72961,72962,72972,72974,72976,72986,72996,73005,73015,73024,73032,73033,73042,73043,73053,73062,73070,73072,73081,73082,73093,73102,73111,73112,73122,73124,73126,73136,73145,73153,73154,73163,73173,73182,73190,73191,73201,73210,73218,73219,73228,73237,73246,73248,73258,73267,73276,73277,73288,73290,73300,73310,73320,73329,73338,73339,73348,73357,73359,73368,73369,73379,73381,73389,73390,73400,73408,73411,73419,73423,73424,73432,73446,73455,73465,73475,73486,73490,73492,73501,73510,73511,73521,73530,73540,73549,73557,73558,73560,73570,73579,73589,73608,73616,73617,73625,73626,73636,73655,73663,73664,73673,73683,73692,73700,73701,73711,73719,73729,73730,73738,73755,73765,73775,73785,73797,73806,73818,73830,73843,73848,73857,73865,73866,73867,73877,73885,73888,73896,73900,73901,73909,73916,73919,73920,73924,73933,73941,73944,73945,73953,73960,73970,73984,73992,73993,74008,74009,74017,74027,74028,74036,74044,74054,74063,74072,74073,74085,74087,74095,74107,74108,74116,74124,74128,74129,74134,74146,74154,74160,74161,74167,74175,74179,74180,74186,74198,74204,74213,74214,74221,74229,74233,74234,74240,74251,74258,74267,74268,74276,74293,74303,74314,74322,74323,74349,74358,74367,74382,74392,74402,74411,74420,74429,74438,74448,74457,74466,74467,74477,74479,74488,74497,74506,74518,74528,74537,74546,74554,74555,74557,74567,74582,74598,74599,74608,74617,74629,74637,74650,74651,74659,74668,74679,74692,74702,74710,74711,74721,74731,74732,74740,74750,74751,74759,74772,74782,74792,74802,74811,74820,74832,74841,74850,74862,74864,74865,74873,74876,74877,74885,74892,74901,74915,74923,74933,74934,74942,74954,74965,74975,74985,74994,74995,75005,75014,75016,75025,75038,75046,75056,75057,75065,75069,75079,75089,75097,75098,75109,75110,75118,75122,75123,75131,75141,75150,75159,75169,75179,75188,75197,75205,75206,75208,75220,75230,75239,75248,75256,75257,75259,75269,75279,75287,75288,75299,75300,75308,75312,75313,75321,75334,75343,75352,75361,75370,75380,75393,75399,75400,75411,75415,75424,75433,75442,75443,75456,75465,75474,75483,75484,75486,75495,75496,75509,75518,75527,75536,75537,75539,75547,75549,75550,75558,75560,75569,75577,75579,75580,75588,75597,75607,75619,75628,75629,75639,75647,75651,75652,75660,75668,75678,75690,75699,75708,75709,75718,75719,75730,75739,75748,75749,75751,75761,75769,75773,75774,75782,75795,75805,75814,75823,75833,75842,75850,75851,75860,75870,75882,75891,75900,75901,75910,75922,75932,75941,75949,75950,75951,75961,75970,75979,75980,75990,75992,76002,76010,76013,76021,76025,76026,76034,76046,76071,76088,76096,76110,76111,76119,76132,76157,76158,76168,76176,76191,76192,76200,76214,76224,76243,76244,76254,76262,76263,76274,76275,76283,76298,76299,76307,76326,76335,76345,76354,76363,76372,76382,76391,76400,76401,76411,76420,76428,76430,76444,76446,76458,76468,76478,76487,76496,76505,76506,76516,76518,76526,76527,76537,76546,76554,76555,76556,76566,76576,76585,76593,76594,76604,76613,76621,76622,76632,76642,76651,76660,76661,76671,76680,76688,76690,76700,76709,76718,76727,76736,76746,76754,76755,76763,76764,76775,76778,76787,76796,76804,76805,76814,76823,76832,76841,76851,76859,76862,76870,76874,76875,76883,76890,76899,76909,76918,76927,76936,76937,76949,76958,76967,76976,76977,76985,76987,76988,76996,76999,77009,77018,77026,77027,77035,77037,77038,77046,77053,77062,77070,77076,77077,77085,77094,77106,77116,77126,77135,77144,77145,77155,77157,77166,77167,77176,77185,77187,77196,77197,77205,77208,77209,77217,77219,77228,77237,77246,77254,77256,77257,77265,77274,77283,77292,77302,77314,77323,77332,77333,77342,77343,77356,77365,77374,77375,77377,77385,77387,77388,77394,77405,77420,77431,77437,77438,77441,77448,77452,77462,77466,77467,77480,77490,77512,77534,77535,77545,77553,77554,77572,77573,77581,77592,77604,77612,77613,77625,77631,77646,77647,77655,77668,77679,77687,77697,77704,77710,77724,77735,77736,77744,77751,77752,77760,77775,77777,77785,77790,77791,77796,77799,77800,77803,77804,77807,77808,77811,77812,77815,77816,77819,77820,77823,77824,77827,77828,77831,77832,77835,77836,77839,77840,77843,77844,77850,77865,77926,77934,77998,77999,78005,78008,78015,78069,78070,78076,78079,78082,78085,78088,78091,78094,78097,78100,78103,78106,78109,78112,78115,78118,78121,78124,78127,78130,78133,78136,78139,78142,78145,78148,78151,78154,78157,78160,78163,78166,78169,78172,78175,78178,78181,78184,78187,78190,78193,78196,78199,78202,78205,78208,78211,78214,78217,78219,78220,78369,78376,78377,78380,78381,78384,78385,78388,78389,78392,78393,78396,78397,78400,78401,78404,78405,78408,78409,78412,78413,78416,78417,78420,78421,78424,78425,78428,78429,78432,78433,78436,78437,78440,78441,78444,78445,78448,78449,78452,78453,78456,78457,78460,78461,78464,78465,78468,78469,78472,78473,78476,78477,78480,78481,78484,78485,78488,78489,78492,78493,78496,78497,78500,78501,78504,78505,78508,78509,78512,78513,78516,78517,78520,78521,78524,78525,78528,78529,78532,78533,78536,78537,78540,78541,78544,78545,78548,78549,78552,78553,78556,78557,78560,78561,78564,78565,78568,78569,78572,78573,78576,78577,78580,78581,78584,78585,78588,78589,78592,78593,78596,78597,78600,78601,78604,78605,78608,78609,78612,78613,78616,78617,78620,78621,78624,78625,78628,78629,78632,78633,78636,78637,78640,78641,78644,78645,78648,78649,78652,78653,78656,78657,78660,78661,78664,78665,78668,78669,78672,78673,78676,78677,78680,78681,78684,78685,78688,78689,78692,78693,78696,78697,78700,78701,78704,78705,78708,78709,78712,78713,78716,78717,78763,78852,78865,78871,78932,78935,78946,78948,78949,78958,78959,78960,78966,78968,78969,78977,78978,79039,79042,79053,79055,79056,79065,79066,79067,79073,79075,79076,79084,79085,79146,79149,79160,79162,79163,79172,79173,79174,79180,79182,79183,79191,79192,79253,79256,79267,79269,79270,79279,79280,79281,79287,79289,79290,79298,79299,79360,79363,79374,79376,79377,79386,79387,79388,79394,79396,79397,79405,79406,79468,79476,79487,79488,79494,79496,79503,79507,79514,79515,79519,79524,79525,79526,79532,79534,79535,79538,79539,79546,79551,79564,79570,79587,79648,79656,79661,79662,79668,79673,79674,79680,79682,79683,79691,79692,79698,79760,79768,79781,79782,79788,79791,79798,79803,79804,79810,79813,79816,79819,79821,79822,79837,79844,79845,79849,79854,79855,79856,79859,79860,79863,79864,79867,79868,79871,79872,79875,79876,79879,79880,79883,79884,79887,79888,79891,79892,79902,79915,79928,79934,79951,80013,80023,80024,80030,80033,80040,80044,80045,80052,80054,80055,80065,80066,80069,80070,80076,80081,80150,80154,80165,80195,80612,80613,80617,80627,80636,80647,80664,80675,80686,80697,80708,80719,80730,80741,80752,80763,80774,80786,80798,80809,80821,80833,80844,80855,80866,80877,80888,80899,80910,80921,80932,80943,80953,80962,80973,80984,80995,81006,81017,81028,81039,81050,81061,81072,81083,81094,81104,81113,81124,81135,81146,81157,81171,81181,81190,81201,81211,81220,81231,81242,81253,81264,81275,81290,81291,81312,81313,81321,81333,81334,81341,81342,81349,81350,81363,81374,81384,81392,81400,81408,81416,81433,81450,81465,81474,81475,81511,81512,81519,81520,81527,81528,81529,81543,81544,81552,81554,81570,81575,81577,81584,81590,81592,81614,81615,81616,81620,81637,81648,81709,81711,81715,81716,81734,81752,81780,81801,81813,81834,81842,81850,81862,81880,81898,81916,81937,81958,81966,81974,81989,82002,82005,82024,82025,82049,82050,82057,82075,82076,82086,82110,82111,82118,82136,82137,82147,82159,82172,82186,82200,82214,82228,82242,82251,82268,82281,82294,82304,82312,82314,82325,82329,82339,82340,82356,82358,82370,82372,82383,82385,82386,82391,82397,82415,82443,82449,82452,82453,82459,82469,82471,82477,82479,82486,82496,82502,82509,82513,82514,82534,82535,82537,82556,82561,82567,82586,82596,82604,82605,82612,82619,82621,82625,82633,82637,82653,82656,82672,82674,82676,82684,82690,82704,82705,82721,82723,82725,82737,82742,82751,82752,82754,82763,82765,82773,82785,82797,82798,82800,82801,82808,82810,82813,82814,82828,82836,82838,82857,82858,82864,82872,82880,82881,82890,82900,82908,82923,82924,82925,82948,82949,82954,82971,82973,82989,82991,82995,82997,83004,83011,83014,83015,83017,83019,83043,83055,83060,83061,83067,83081,83100,83101,83109,83118,83121,83126,83127,83132,83140,83141,83150,83161,83170,83172,83181,83183,83184,83198,83200,83213,83214,83221,83222,83242,83243,83251,83259,83264,83269,83277,83282,83287,83298,83299,83306,83318,83319,83321,83322,83326,83329,83330,83337,83346,83350,83356,83357,83364,83365,83370,83380,83395,83399,83405,83409,83415,83418,83434,83435,83436,83446,83459,83462,83463,83464,83479,83505,83516,83527,83538,83549,83560,83563,83564,83572,83573,83574,83584,83586,83588,83598,83602,83606,83608,83613,83615,83617,83622,83623,83627,83628,83643,83649,83658,83666,83667,83672,83685,83686,83689,83692,83696,83701,83704,83713,83716,83719,83726,83730,83736,83739,83742,83745,83752,83756,83762,83765,83772,83775,83780,83783,83786,83792,83797,83803,83806,83809,83812,83815,83818,83822,83840,83844,83854,83860,83870,83871,83874,83884,83890,83900,83901,83904,83914,83920,83928,83931,83959,83965,84006,84009,84029,84031,84033,84038,84040,84043,84045,84062,84064,84066,84071,84076,84080,84083,84091,84112,84129,84134,84141,84145,84148,84164,84169,84171,84239,84241,84250,84255,84260,84265,84266,84273,84274,84290,84304,84310,84313,84314,84331,84338,84345,84349,84354,84355,84357,84362,84378,84387,84390,84395,84403,84405,84410,84411,84415,84416,84421,84422,84428,84429,84449,84450,84459,84460,84463,84464,84473,84475,84476,84503,84507,84520,84522,84523,84535,84553,84564,84566,84577,84578,84583,84596,84612,84624,84625,84638,84641,84642,84644,84647,84649,84660,84686,84697,84708,84719,84730,84741,84744,84745,84753,84754,84755,84758,84760,84768,84782,84808,84819,84830,84841,84852,84863,84866,84867,84878,84879,84880,84883,84885,84894,84898,84900,84908,84910,84922,84923,84933,84937,84938,84950,84952,84957,84961,84963,84965,84967,84984,85006,85008,85015,85039,85049,85057,85081,85082,85094,85098,85101,85102,85115,85118,85119,85121,85144,85153,85154,85166,85171,85173,85200,85209,85210,85220,85228,85230,85237,85239,85240,85257,85264,85271,85275,85280,85281,85283,85288,85304,85313,85316,85321,85329,85331,85337,85338,85352,85355,85372,85380,85381,85382,85392,85394,85398,85403,85407,85429,85433,85434,85443,85449,85450,85454,85455,85464,85465,85466,85480,85491,85517,85518,85542,85544,85545,85547,85561,85563,85574,85577,85582,85592,85596,85597,85613,85617,85618,85628,85630,85631,85649,85650,85652,85662,85666,85672,85673,85681,85700,85702,85728,85739,85750,85761,85772,85783,85786,85787,85789,85795,85799,85805,85808,85809,85810,85813,85815,85821,85827,85828,85831,85835,85840,85843,85848,85849,85862,85868,85871,85880,85881,85882,85906,85915,85917,85938,85945,85955,85956,85958,85972,85973,85981,85982,85990,85992,86003,86005,86007,86019,86025,86026,86029,86035,86037,86046,86056,86057,86059,86068,86069,86071,86078,86080,86082,86089,86090,86101,86103,86104,86112,86120,86121,86122,86135,86141,86146,86151,86157,86158,86160,86162,86168,86170,86172,86189,86190,86200,86204,86207,86245,86247,86248,86265,86266,86272,86287,86306,86313,86320,86325,86327,86338,86344,86346,86347,86358,86368,86376,86377,86381,86384,86387,86389,86395,86404,86405,86410,86411,86417,86421,86425,86431,86441,86443,86450,86457,86460,86463,86468,86469,86492,86499,86525,86533,86540,86553,86554,86563,86570,86575,86577,86578,86582,86591,86597,86599,86600,86606,86621,86622,86625,86630,86635,86636,86640,86648,86649,86663,86671,86672,86673,86678,86679,86680,86694,86702,86703,86704,86709,86710,86711,86725,86733,86734,86735,86740,86741,86742,86763,86764,86778,86786,86787,86788,86793,86794,86795,86809,86817,86818,86819,86824,86825,86826,86830,86837,86838,86852,86860,86861,86862,86867,86868,86869,86873,86880,86881,86885,86892,86893,86897,86904,86905,86911,86915,86923,86925,86931,86937,86943,86949,86962,86968,86969,86979,86980,86987,86990,86996,87004,87014,87031,87032,87046,87050,87057,87060,87066,87070,87078,87080,87086,87092,87098,87104,87117,87123,87124,87134,87135,87142,87145,87151,87159,87169,87186,87187,87201,87205,87212,87215,87229,87237,87238,87239,87244,87245,87246,87253,87269,87270,87274,87283,87284,87288,87312,87313,87326,87328,87344,87345,87353,87354,87362,87363,87365,87370,87372,87378,87386,87400,87401,87409,87410,87418,87419,87427,87428,87436,87437,87445,87446,87448,87456,87457,87458,87470,87481,87484,87492,87501,87502,87515,87517,87533,87534,87542,87543,87551,87552,87554,87559,87561,87567,87575,87589,87590,87598,87599,87607,87608,87616,87617,87625,87626,87634,87635,87637,87645,87646,87647,87659,87670,87673,87681,87690,87691,87704,87706,87722,87723,87731,87732,87740,87741,87743,87748,87750,87756,87764,87778,87779,87787,87788,87796,87797,87805,87806,87814,87815,87823,87824,87826,87834,87835,87836,87848,87859,87862,87870,87879,87880,87893,87895,87911,87912,87920,87921,87929,87930,87932,87937,87939,87945,87953,87967,87968,87976,87977,87985,87986,87994,87995,88003,88004,88012,88013,88015,88023,88024,88025,88037,88048,88051,88059,88068,88069,88082,88084,88100,88101,88109,88110,88118,88119,88121,88126,88128,88134,88142,88156,88157,88165,88166,88174,88175,88183,88184,88192,88193,88201,88202,88204,88212,88213,88214,88226,88237,88240,88248,88257,88258,88271,88273,88289,88290,88298,88299,88307,88308,88310,88315,88317,88323,88331,88345,88346,88354,88355,88363,88364,88372,88373,88381,88382,88390,88391,88393,88401,88402,88403,88415,88426,88429,88437,88446,88447,88460,88462,88478,88479,88487,88488,88496,88497,88499,88504,88506,88512,88520,88534,88535,88543,88544,88552,88553,88561,88562,88570,88571,88579,88580,88582,88590,88591,88592,88604,88615,88618,88626,88635,88636,88639,88646,88647,88674,88675,88686,88687,88690,88697,88701,88724,88725,88737,88742,88743,88760,88761,88762,88789,88790,88821,88822,88841,88842,88843,88854,88866,88867,88882,88883,88888,88891,88894,88903,88913,88921,88926,88927,88934,88945,88947,88963,88964,88969,88972,88982,88988,89000,89008,89013,89022,89027,89038,89047,89057,89066,89076,89079,89082,89089,89090,89107,89120,89141,89145,89146,89147,89148,89149,89153,89165,89166,89171,89184,89186,89187,89189,89190,89194,89205,89211,89212,89222,89223,89239,89240,89244,89247,89254,89255,89262,89263,89267,89270,89277,89281,89283,89292,89294,89295,89299,89309,89327,89334,89338,89349,89356,89362,89371,89372,89382,89394,89395,89405,89417,89418,89428,89440,89441,89451,89463,89464,89474,89486,89487,89497,89509,89510,89520,89532,89533,89543,89555,89556,89566,89578,89579,89592,89594,89595,89606,89615,89618,89625,89627,89628,89631,89635,89644,89651,89652,89653,89657,89668,89672,89691,89698,89699,89700,89705,89712,89723,89725,89732,89751,89755,89760,89765,89774,89775,89779,89781,89791,89806,89811,89816,89821,89826,89831,89833,89834,89837,89843,89846,89849,89850,89851 ./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