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