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