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