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