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