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