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