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