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