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