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