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