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