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