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