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