[[0,1,2,3,5,6,7,9,10,12,13,15,16,17,18,19,20,21,22,23,24,25,26,28,29,30,31,32,33,34,35,36,38,40,41,42,44,45,46,47,51,55,56,57,58,59,60,61,62,63,64,65,66,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,87,88,89,91,92,93,94,95,97,98,100,103,104,107,108,110,112,113,114,115,117,118,119,120,121,122,123,124,126,127,129,130,132,133,135,136,137,138,139,140,141,142,143,145,146,256,257,258,259,260,261,262,263,264,265,266,267,269,271,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,299,300,301,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,329,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,352,354,356,357,358,359,360,361,362,363,364,365,366,367,369,371,372,373,375,376,377,378,380,381,384,385,386,387,389,390,392,393,394,395,397,399,400,401,402,403,526,536,539,540,544,578,586,591,597,598,599,605,606,607,608,629,638,642,645,648,664,671,682,683,685,697,703,707,746,756,764,765,790,794,802,803,805,819,827,834,838,844,853,854,856,857,876,887,892,896,901,902,909,914,918,920,921,922,963,964,968,977,989,1009,1012],[4,8,11,14,27,37,39,48,49,50,52,53,54,67,86,90,96,99,101,102,106,109,111,116,125,131,134,144,148,152,153,155,156,165,167,172,174,175,176,179,180,181,183,186,189,192,195,199,201,203,204,207,208,209,212,214,215,216,217,218,219,220,221,222,223,224,225,227,232,235,237,241,242,243,244,245,246,247,249,254,255,268,270,272,294,296,297,298,302,328,330,351,353,355,370,374,379,382,383,388,391,396,398,404,405,409,411,412,413,414,416,417,420,424,425,427,429,430,432,433,435,436,437,438,439,440,443,445,446,447,452,453,458,460,462,465,468,469,470,471,472,474,477,478,479,480,481,483,487,488,492,493,494,495,496,498,499,500,501,502,503,504,505,507,517,518,523,531,534,538,547,561,576,581,584,590,610,612,616,617,620,623,624,627,637,659,660,675,678,686,694,701,712,721,736,737,742,774,810,811,817,836,850,868,893,905,936,940,942,943,945,959,960,969,981,992,1000,1018,1022,1023],[43,105,128,154,157,158,159,160,169,170,171,173,177,178,182,184,187,188,191,193,196,202,206,210,211,213,228,229,230,231,233,236,239,252,253,295,368,410,415,426,428,431,434,444,448,449,450,454,455,459,464,466,467,473,475,476,484,485,486,489,490,497,506,508,509,510,522,527,530,532,545,554,556,557,582,592,600,604,611,625,626,628,630,636,653,658,668,677,680,681,687,692,693,698,705,710,711,717,720,722,725,726,727,730,732,733,741,744,751,754,757,770,778,780,786,798,800,804,807,812,816,828,832,835,837,843,845,847,860,861,863,865,869,874,877,880,882,897,923,924,925,929,939,950,961,973,983,991,995,1010,1016,1020],[147,149,150,151,161,162,163,164,166,168,185,190,197,205,226,234,238,240,250,251,406,407,408,418,419,421,422,423,441,442,451,456,461,463,482,491,511,533,569,570,572,579,603,631,635,643,655,662,684,702,708,709,713,715,723,728,766,772,775,777,782,791,799,801,818,821,822,824,829,840,849,862,872,878,884,903,915,916,917,928,934,935,938,946,949,951,953,955,956,962,970,972,978,987,996,998,1001,1007,1017],[194,198,200,248,457,513,525,528,529,553,562,563,575,609,613,644,649,651,669,672,695,696,699,734,743,753,762,768,769,787,796,813,814,831,841,842,846,866,867,898,908,910,911,926,927,933,947,952,965,971,975,980,985,986,997,1011,1019,1021],[543,548,559,560,577,585,589,622,676,714,719,738,749,763,767,776,784,797,808,851,883,900,907,912,919,931,954,979,982,984,993,1003,1014],[514,516,555,568,614,615,654,674,689,700,724,735,745,755,788,830,888],[512,595,650,688,690,691,729,758,760,873,958,974],[656,820,891,1015],[779,899,913,988],[571,641,885,941],[549,750,825,937,1006],[771,785,855,930,994,1004],[565,574,652,666,670,966,967],[515,520,792,906,957],[546,566,602,657,663,890,1002,1008],[632,639,833,848,859,1005],[519,567,618,679,706,748],[673,870],[550,944],[667,990],[564,587,1013],[740,781,793,826],[542,558,718,879,894],[541,588,640,852,895],[583,619,875],[524,552,601,646,647,739,773],[596,871,881,889],[551,593,806,904,976],[789,948],[573,761,932],[535,634,716,815],[580,731,759,809,839,858],[665,704,752,795,864,886],[537,747],[661,823],[633,999],[594,621,783],[521]]