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