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