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