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