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