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