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