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