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