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