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