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