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