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