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