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