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