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