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