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