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