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