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