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