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