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