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