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