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