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