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