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