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