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