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