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