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