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