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