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