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