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