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