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