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