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