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