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