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