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