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