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