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