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