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