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