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