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