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