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