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