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