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