bash-2.05a$ time ./den3 400000 [9,15,16] [21,55,56] [31,56,59] [35,119,120] [40,71,75] [49,139,141] [62,103,110] [85,91,111] [101,291,295] [120,155,176] [137,533,536] [150,430,436] [188,202,246] [220,516,529] [231,904,909] [249,451,475] [253,425,453] [273,689,703] [291,1431,1435] [305,696,715] [315,528,563] [325,664,689] [328,337,419] [350,714,741] [363,416,493] [368,1437,1445] [379,791,819] [400,589,645] [425,449,551] [425,706,754] [435,496,589] [439,2165,2171] [490,870,919] [505,1630,1646] [529,3139,3144] [533,644,748] [609,755,869] [704,1065,1159] [730,3596,3606] [743,4416,4423] [751,1691,1739] [776,951,1099] [799,1819,1869] [835,2959,2981] [854,2418,2453] [856,1344,1451] [869,6035,6041] [879,1045,1221] [898,1622,1709] [923,1287,1429] [969,1002,1242] [1090,2774,2829] [1104,2515,2584] [1106,2304,2386] [1140,2116,2221] [1147,2073,2184] [1161,8071,8079] [1272,7555,7567] [1329,10569,10576] [1352,1479,1787] [1485,2585,2739] [1485,3095,3205] [1610,1942,2257] [1711,13616,13625] [1776,2955,3155] [1927,17263,17271] [2030,14106,14120] [2100,3212,3487] [2117,4581,4727] [2201,3661,3909] [2253,6391,6483] [2411,21609,21619] [2479,2727,3287] [2681,26711,26720] [2913,4839,5168] [2949,4409,4811] [2952,10185,10267] [3040,24185,24201] [3139,4631,5069] [3279,32680,32691] [3571,7155,7440] [3609,39579,39589] [3654,21538,21573] [4016,8911,9175] [4116,8035,8380] [4333,47531,47543] [4338,38872,38890] [4482,18974,19057] [4607,14519,14672] [4729,56605,56616] [4748,13682,13870] [4754,13490,13684] [5301,7285,8121] [5339,5609,6901] [5357,14280,14527] [5591,66936,66949] [5631,7106,8130] [5960,59391,59411] [6059,78599,78611] [6153,6587,8035] [6341,6789,8281] [6635,17395,17711] [6969,16813,17203] [6992,29203,29336] [7007,19881,20167] [7063,8095,9593] [7071,91741,91755] [7105,7848,9443] [7224,13047,13747] [7295,10619,11661] [7520,26129,26335] [7617,106443,106456] [7843,10169,11533] [7942,87110,87132] [8131,18033,18568] [8177,27553,27791] [8275,10150,11726] [8336,40053,40173] [8791,122864,122879] [9051,11101,12825] [9421,141091,141105] [9729,43584,43745] [9861,16016,17176] [9897,28515,28907] [10320,123541,123565] [10424,46361,46536] [10647,23143,23871] [10769,161295,161311] [11066,13166,15379] [11119,17457,18847] [11193,16147,17771] [11434,116029,116066] [11489,183569,183584] [11515,81795,81871] [11551,101339,101389] [11945,14211,16600] [11990,14685,16974] [12137,45425,45712] [12167,20943,22231] [12215,20296,21675] [13023,208096,208113] [13130,170340,170366] [13688,15135,18203] [13839,234975,234991] [13925,25681,26979] [13939,18011,20449] [14245,37302,37982] [14314,17542,20272] [14645,42197,42777] [14767,34143,35040] [15128,25135,26843] [15571,264401,264419] [15685,23445,25584] [16408,229307,229335] [16489,296479,296496] [17963,262667,262695] [18220,70885,71284] [18297,48411,49267] [18317,52208,52949] [18377,23318,26630] [18431,331416,331435] [18499,45436,46436] [18634,27854,30395] [18759,28545,31024] [19056,32011,34120] [19109,26565,29520] [19152,33901,35827] [19457,369323,369341] [19875,49495,50541] [19966,33167,35422] [20190,302386,302416] [20943,28457,31824] [21011,67090,67770] [21224,57443,58393] [21624,72479,73115] [22120,83769,84280] [22285,37355,39831] [22533,55677,56881] [24312,33733,37505] [24512,391665,391697] [24644,54281,55924] [26011,46982,49502] [26149,27625,33901] [27220,27967,34772] [27677,30653,36841] [28245,60264,62265] [28651,374130,374186] [29657,74096,75647] [29891,33825,40291] [30955,121143,121813] [30963,120467,121145] [31717,35125,42217] [32264,84491,86031] [33196,111927,112892] [33235,60029,63249] [33549,103315,104481] [35454,67263,70398] [35799,120159,121209] [37444,56260,61320] [38472,192473,192984] [39155,111065,112664] [39253,45202,53466] [39320,206089,206565] [39633,129167,130399] [39714,76430,79849] [39817,227453,227859] [40480,129261,130571] [40921,86360,89320] [41029,59645,65519] [41107,84768,87875] [41614,60570,66515] [42559,134386,135794] [42732,161758,162746] [43281,56221,63725] [43616,67088,72743] [44145,103884,106476] [44607,205680,206377] [45714,122359,124450] [46509,121793,124013] [46564,71100,77216] [47157,282283,282721] [47252,117668,120155] [47329,106295,109335] [47618,192942,193904] [48280,127675,129936] [48416,299555,299976] [48859,51205,63071] [48909,71189,78176] [49183,191352,192429] [50505,92071,96881] [50547,58563,69104] [51781,67117,76127] [52206,90950,96356] [52436,205204,206339] [52504,66265,75811] [52597,65279,75107] [54690,155968,158178] [55944,222856,224025] [58135,73371,83941] [60061,317681,318395] [60077,66165,79712] [61203,178997,181351] [61491,196351,198341] [62013,143976,147713] [62679,91104,100080] [62951,187095,189441] [62954,65685,81074] [63536,65747,81467] [64414,68020,83490] [64459,156099,159680] [64505,66749,82709] [65428,94392,103884] [65485,295239,296309] [65703,72712,87419] [66199,128269,133896] [66991,147559,152025] [67127,167163,170696] [67601,85069,97419] [68405,172641,176149] [69505,320489,321575] [70260,114639,122836] [72410,134126,140821] [73955,214775,217659] [74824,149189,155216] [76621,110539,121655] [77185,280480,282415] [79990,86151,104806] [80401,105409,119136] [80444,177310,182666] [80709,192619,197231] [80771,268256,270675] [82295,105403,120008] [83391,326347,328152] [83765,139153,148613] [85063,288631,291073] [85618,156654,164753] [88648,238817,242821] [90220,192220,198629] [90849,122616,137389] [91635,201840,207949] [91862,153978,164185] [92873,103597,124136] [96837,192741,200567] [98455,151139,163949] [99385,114745,135584] [99875,339564,342420] [100467,108603,131905] [100555,103379,128495] [101609,261120,266151] [103589,293847,298077] [103731,172320,184035] [104205,163230,176310] [104424,285011,289609] [104873,186351,196823] [105469,163535,177016] [105995,200584,210001] [106080,375912,378707] [106149,156304,171165] [106344,162854,176750] [107955,191296,202131] [110139,155855,172376] [114071,203720,215005] [114080,130736,154935] [114147,191333,204016] [114531,149985,169576] [117409,254296,262379] [117924,318494,323794] [118730,165554,183820] [121143,138831,164528] [121433,250415,259593] [126023,368577,373424] [126430,287391,295326] [127109,188696,206240] [127800,141449,170051] [136849,227330,242786] [137983,312472,321195] [142217,223295,241072] [145543,376567,383679] [146901,338261,347255] [148463,385152,392369] [153405,187991,217251] [157661,381800,390559] [162540,335183,347468] [162656,256035,276275] [163703,190937,224719] [167719,205533,237523] [177467,266988,290916] [178809,340691,356376] [181425,375754,389354] [181881,279424,303056] [186877,257413,286769] [186886,195650,241109] [187739,307349,329120] [192108,370272,386764] [202539,228463,272493] [208507,286043,319024] [209235,377929,398200] [211721,367061,389181] [218821,276835,316464] [220939,262851,307039] [229297,276698,321530] [230324,273706,319854] [243987,385005,415232] [245365,310895,355219] [246974,308066,353839] [264033,323576,373933] [271264,281791,348529] [277425,324584,381555] [299216,321469,391509] [349084,393908,469753] [374830,378416,474526] total 351 solutions real 2013m20.502s user 1999m26.537s sys 0m6.128s bash-2.05a$