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