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