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