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