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