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