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