I had never seen 5.3.3 table,so I made it by modp method.

I decided N=1000 because the amounts of calculation increased rapidly
when the search range was enlarged.


[2010.2.12]

I expanded the search range into 10000 from 1000.
No solutions were found as the case of n=3 and 5.

    a1      a2     a3        b1     b2     b3    n

[     66,     44,     18] = [     64,     51,     13] 1   5
[     67,     28,     24] = [     62,     54,      3] 1   5
[     74,     43,     21] = [     68,     62,      8] 1   5
[     83,     67,     56] = [     81,     72,     53] 1   5
[    107,     75,     49] = [    100,     92,     39] 1   5
[    118,     85,     26] = [    116,     90,     53]     5
[    119,     96,     73] = [    114,    106,     68] 1   5
[    123,     47,     38] = [    118,     89,      1] 1   5
[    136,     56,     39] = [    131,     97,      3] 1   5
[    142,     35,     13] = [    138,     95,     17]     5
[    152,     94,     65] = [    140,    129,     42] 1   5
[    155,     32,     28] = [    150,     94,     91]     5
[    169,     67,     63] = [    159,    131,      9] 1   5
[    170,    137,     68] = [    169,    140,     36]     5
[    181,    109,     43] = [    161,    159,     13] 1   5
[    182,    113,     74] = [    179,    129,     61] 1   5
[    186,    142,     39] = [    172,    167,     28] 1   5
[    201,     55,     44] = [    190,    152,     18]     5
[    204,    101,     58] = [    195,    145,    113]     5
[    215,     31,     18] = [    191,    183,     10]     5
[    216,    168,     19] = [    209,    183,     11] 1   5
[    224,    145,      5] = [    214,    157,    153]     5
[    229,    106,     27] = [    228,    122,     12] 1   5
[    233,    166,    151] = [    216,    208,    126] 1   5
[    234,    193,    157] = [    219,    218,    147] 1   5
[    248,    139,     59] = [    239,    184,     23] 1   5
[    258,     97,      2] = [    257,    125,     35]     5
[    264,    121,      3] = [    250,    185,    163]     5
[    274,    181,     97] = [    258,    227,     67] 1   5
[    282,    229,    193] = [    266,    259,    179] 1   5
[    283,    154,    132] = [    270,    219,     80] 1   5
[    286,    105,     99] = [    281,    179,     30] 1   5
[    288,    137,    106] = [    261,    219,    201]     5
[    289,    168,     40] = [    279,    215,      3] 1   5
[    293,    229,    107] = [    277,    259,     93] 1   5
[    294,    158,    136] = [    268,    249,     71] 1   5
[    307,    173,     31] = [    303,    201,      7] 1   5
[    310,    124,    116] = [    294,    235,     21] 1   5
[    310,    118,    102] = [    271,    270,     49]     5
[    328,    232,    119] = [    301,    289,     89] 1   5
[    331,     39,     30] = [    321,    224,     65]     5
[    348,    181,    108] = [    338,    246,     53] 1   5
[    364,    206,    172] = [    337,    303,    102] 1   5
[    364,    211,    114] = [    339,    298,     52] 1   5
[    373,    137,    123] = [    361,    259,     13] 1   5
[    377,    303,    269] = [    353,    349,    247] 1   5
[    378,    261,    187] = [    352,    326,    148] 1   5
[    394,    331,    117] = [    388,    342,    112] 1   5
[    399,    237,     62] = [    382,    307,      9] 1   5
[    413,    243,    149] = [    404,    293,    108] 1   5
[    417,    226,     94] = [    381,    349,      7] 1   5
[    420,    177,     79] = [    384,    322,    270]     5
[    421,    157,    139] = [    413,    267,     37] 1   5
[    425,    289,     46] = [    403,    350,      7] 1   5
[    426,    172,    159] = [    415,    282,    180]     5
[    430,    206,      9] = [    418,    297,     20]     5
[    430,    127,      1] = [    412,    310,     16]     5
[    433,    297,    231] = [    401,    377,    183] 1   5
[    436,    199,    183] = [    425,    293,    190]     5
[    448,    262,    133] = [    428,    346,     69] 1   5
[    459,    309,    156] = [    442,    364,    118] 1   5
[    470,    357,    209] = [    454,    395,    187] 1   5
[    474,    272,    208] = [    442,    389,    123] 1   5
[    480,    147,     75] = [    479,    191,    152]     5
[    486,    268,    127] = [    406,    392,    383]     5
[    490,    225,     81] = [    476,    333,    197]     5
[    498,     32,      4] = [    463,    369,    302]     5
[    502,    399,    202] = [    467,    457,    179] 1   5
[    504,    298,    196] = [    499,    333,    166] 1   5
[    507,    337,    223] = [    497,    379,    191] 1   5
[    509,    236,     64] = [    445,    434,    290]     5
[    510,     94,     30] = [    503,    297,     44]     5
[    512,    408,    194] = [    474,    469,    171] 1   5
[    514,    191,     62] = [    513,    227,     27] 1   5
[    514,    314,    186] = [    502,    373,    139] 1   5
[    516,    324,    251] = [    494,    411,     36]     5
[    117,    303,    511]   [    188,    227,    516] 1   5
[    517,    249,     15] = [    470,    429,    212]     5
[    523,    326,    104] = [    468,    459,     26] 1   5
[    528,    135,    120] = [    503,    389,     11]     5
[    531,    353,    182] = [    477,    471,    118] 1   5
[    533,    251,    105] = [    521,    355,     13] 1   5
[    534,    269,     96] = [    512,    354,    333]     5
[    543,    208,    122] = [    499,    441,     83]     5
[    551,    303,    152] = [    488,    481,     37] 1   5
[    556,    369,    261] = [    541,    428,    217] 1   5
[    557,    249,    218] = [    522,    439,     63] 1   5
[    567,    391,    207] = [    527,    487,    151] 1   5
[    570,    345,      7] = [    562,    388,    182]     5
[    574,    501,    369] = [    569,    525,    260]     5
[    577,    347,    183] = [    527,    491,     89] 1   5
[    583,    302,    249] = [    536,    484,    114] 1   5
[    588,    343,    317] = [    524,    521,    203] 1   5
[    592,    233,    222] = [    564,    442,     41] 1   5
[    598,    342,    128] = [    595,    365,    168]     5
[    599,    425,    364] = [    564,    524,    240]     5
[    603,    207,    161] = [    595,    355,     21] 1   5
[    611,    203,    187] = [    601,    374,     26] 1   5
[    613,     45,     12] = [    520,    515,    415]     5
[    614,    426,    301] = [    557,    548,    236] 1   5
[    614,    265,      6] = [    543,    527,    235]     5
[    616,    428,     99] = [    558,    547,     38] 1   5
[    627,    308,    281] = [    565,    535,    116] 1   5
[    631,    329,    219] = [    589,    507,     83] 1   5
[    633,    157,     86] = [    621,    393,     12]     5
[    638,    499,    242] = [    629,    521,    229] 1   5
[    645,    175,     20] = [    635,    377,    248]     5
[    654,    400,    153] = [    643,    435,    339]     5
[    657,    324,    201] = [    647,    419,    116] 1   5
[    659,    352,    287] = [    624,    517,    157] 1   5
[    661,    528,    522] = [    638,    597,    476] 1   5
[    664,    316,    122] = [    654,    417,     31] 1   5
[    670,    359,    151] = [    645,    494,     41] 1   5
[    672,    442,     91] = [    662,    432,    411]     5
[    674,    314,    186] = [    662,    433,     79] 1   5
[    677,    539,     44] = [    624,    622,     14] 1   5
[    679,    256,    185] = [    676,    334,    200]     5
[    684,    298,     92] = [    679,    377,    168]     5
[    685,    365,    182] = [    678,    427,    127] 1   5
[    690,    416,    219] = [    667,    518,    140] 1   5
[    695,    505,    437] = [    667,    589,    381] 1   5
[    701,    469,    209] = [    689,    517,    173] 1   5
[    703,    545,    105] = [    681,    593,     79] 1   5
[    705,    347,    169] = [    662,    554,      5] 1   5
[    706,    353,    205] = [    688,    425,    421]     5
[    709,    328,      1] = [    705,    388,      5]     5
[    711,    405,     25] = [    670,    565,     86]     5
[    720,    537,    518] = [    716,    614,     25]     5
[    722,    494,    135] = [    657,    635,     59] 1   5
[    722,    383,    338] = [    703,    516,    224] 1   5
[    726,    574,    313] = [    706,    584,    473]     5
[    735,    347,     60] = [    667,    614,    191]     5
[    741,    307,    229] = [    727,    473,     77] 1   5
[    756,    276,    270] = [    751,    406,    145] 1   5
[    757,    535,    288] = [    652,    635,    593]     5
[    761,    503,    247] = [    711,    639,    161] 1   5
[    763,    342,    110] = [    760,    396,     59] 1   5
[    765,    536,    120] = [    711,    657,    293]     5
[    766,    599,    564] = [    727,    694,    508] 1   5
[    767,    349,    236] = [    763,    417,    172] 1   5
[    767,    520,    298] = [    742,    575,    448]     5
[    777,    403,    377] = [    725,    632,    200] 1   5
[    791,    511,     59] = [    772,    588,      1] 1   5
[    793,    679,    452] = [    762,    728,    434] 1   5
[    798,    202,    121] = [    757,    583,    381]     5
[    803,    595,     49] = [    795,    619,     33] 1   5
[    808,    772,    321] = [    788,    782,    481]     5
[    813,    427,    389] = [    749,    677,    203] 1   5
[    816,    669,     40] = [    734,    726,    605]     5
[    816,    487,    108] = [    730,    711,    180]     5
[    821,    361,    159] = [    816,    445,     80] 1   5
[    822,    377,    166] = [    812,    496,     57] 1   5
[    828,    396,    329] = [    814,    538,    201] 1   5
[    835,    499,    217] = [    762,    710,     79] 1   5
[    838,    168,     12] = [    766,    653,    499]     5
[    855,    571,    320] = [    811,    694,    391]     5
[    866,    609,    569] = [    802,    773,    469] 1   5
[    867,    453,    419] = [    837,    643,    259] 1   5
[    872,    516,    386] = [    831,    686,    257] 1   5
[    877,    581,    579] = [    864,    672,    501] 1   5
[    881,    315,    229] = [    873,    487,     65] 1   5
[    881,    479,    241] = [    868,    577,    156] 1   5
[    883,    758,    285] = [    875,    773,     68]     5
[    884,    406,     28] = [    776,    769,    223]     5
[    887,    575,    340] = [    883,    602,    227]     5
[    888,    625,     66] = [    868,    630,    561]     5
[    892,    326,     25] = [    857,    636,    290]     5
[    893,    641,    127] = [    845,    755,     61] 1   5
[    896,    364,    281] = [    857,    658,     26] 1   5
[    899,    677,    433] = [    859,    769,    381] 1   5
[    901,    463,    111] = [    886,    586,      3] 1   5
[    913,    781,    644] = [    899,    811,    628] 1   5
[    923,    721,    169] = [    853,    838,    122] 1   5
[    926,    527,    344] = [    925,    547,    175]     5
[    931,    472,    174] = [    914,    611,     52] 1   5
[    932,    806,    281] = [    931,    801,    437]     5
[    932,    531,     98] = [    915,    636,     10] 1   5
[    935,    473,    310] = [    908,    654,    336]     5
[    937,    554,    421] = [    922,    651,    339] 1   5
[    937,    389,    336] = [    921,    592,    149] 1   5
[    938,    316,    130] = [    936,    405,     43] 1   5
[    942,    386,    343] = [    921,    621,    129] 1   5
[    947,    757,    553] = [    889,    861,    507] 1   5
[    947,    458,     89] = [    886,    749,    159]     5
[    949,    343,    291] = [    931,    599,     53] 1   5
[    956,    442,    269] = [    909,    722,     36] 1   5
[    957,    690,     66] = [    925,    776,    222]     5
[    959,    501,    498] = [    911,    754,    293] 1   5
[    962,    656,    379] = [    892,    827,    278] 1   5
[    965,    142,     27] = [    842,    827,    485]     5
[    968,    504,    407] = [    859,    843,    177] 1   5
[    972,    100,     10] = [    951,    617,    204]     5
[    972,    620,    151] = [    951,    700,    422]     5
[    972,    609,    116] = [    949,    711,     37] 1   5
[    974,    534,    268] = [    944,    703,    129] 1   5
[    980,    330,      8] = [    935,    633,    620]     5
[    988,    426,    387] = [    963,    636,    502]     5
[    991,    561,    149] = [    957,    731,     13] 1   5
[    992,    623,    401] = [    928,    822,    266] 1   5
[    998,    574,    224] = [    964,    739,     93] 1   5
[   1001,    589,    473] = [    991,    668,    404] 1   5
[   1012,    792,    158] = [    971,    874,    117] 1   5
[   1013,    589,    296] = [    963,    792,    143] 1   5
[   1024,    914,    292] = [   1014,    929,    287] 1   5
[   1028,    651,    219] = [    916,    909,     73] 1   5
[   1029,    691,    149] = [   1009,    767,     93] 1   5
[   1029,    637,    427] = [    937,    887,    269] 1   5
[   1030,    397,    135] = [    986,    727,    509]     5
[   1037,    671,    462] = [   1011,    782,    377] 1   5
[   1047,    884,     43] = [    993,    964,     17] 1   5
[   1051,    314,     96] = [    908,    827,    776]     5
[   1057,    904,     56] = [   1023,    957,     37] 1   5
[   1062,    903,    899] = [   1014,   1009,    841] 1   5
[   1062,    231,    199] = [   1061,    374,     57] 1   5
[   1072,    679,    436] = [   1014,    871,    302] 1   5
[   1073,    919,    311] = [   1055,    950,     28]     5
[   1075,    575,    337] = [   1058,    707,    222] 1   5
[   1079,    626,    278] = [   1060,    740,    183] 1   5
[   1079,    537,     46] = [   1037,    790,    195]     5
[   1083,    517,    384] = [   1054,    748,    182] 1   5
[   1084,    251,    118] = [   1019,    816,    518]     5
[   1084,    446,    181] = [   1082,    501,    128] 1   5
[   1084,    493,    221] = [   1073,    636,     89] 1   5
[   1087,    267,    233] = [    962,    930,    115]     5
[   1087,    533,    479] = [    997,    903,    199] 1   5
[   1090,     37,      8] = [   1035,    811,    159]     5
[   1091,    442,    439] = [    997,    901,     74] 1   5
[   1094,    428,    300] = [    999,    898,    345]     5
[   1097,    707,    636] = [   1087,    781,    572] 1   5
[   1099,    592,    371] = [    992,    937,    133] 1   5
[   1113,    989,    551] = [   1093,   1019,    541] 1   5
[   1113,    623,    467] = [    999,    963,    241] 1   5
[   1114,    863,    255] = [   1098,    895,    479]     5
[   1119,    556,    481] = [   1102,    728,    326] 1   5
[   1124,    773,    763] = [   1028,   1018,    614] 1   5
[   1126,    646,    508] = [   1033,    951,    296] 1   5
[   1133,    667,    372] = [   1086,    869,     67]     5
[   1135,    660,    625] = [   1052,    960,    198]     5
[   1143,    576,    467] = [   1040,    961,    185] 1   5
[   1144,    570,    368] = [   1023,    980,    289]     5
[   1146,    894,     62] = [   1141,    907,     54] 1   5
[   1151,    561,      1] = [   1146,    616,    401]     5
[   1153,    352,    325] = [   1045,    954,    401]     5
[   1154,    796,    206] = [   1131,    876,    149] 1   5
[   1159,    751,    646] = [   1079,    996,     31]     5
[   1161,    853,    738] = [   1106,   1003,    643] 1   5
[   1167,    596,    558] = [   1062,    988,    271] 1   5
[   1172,    642,    413] = [   1052,   1008,    317]     5
[   1174,    631,    427] = [   1149,    806,    277] 1   5
[   1174,    771,    622] = [   1140,    867,    710]     5
[   1178,    546,    497] = [   1096,    948,    177] 1   5
[   1181,    899,    537] = [   1097,   1057,    463] 1   5
[   1184,    636,    376] = [   1117,    931,    148] 1   5
[   1189,    551,    444] = [   1169,    764,    251] 1   5
[   1192,    416,    314] = [   1169,    751,      2] 1   5
[   1194,    571,    421] = [   1182,    706,    448]     5
[   1195,    955,    301] = [   1171,   1006,    274] 1   5
[   1199,    395,      4] = [   1149,    860,    429]     5
[   1206,    694,    468] = [   1193,    791,    384] 1   5
[   1209,    727,    313] = [   1139,    973,    137] 1   5
[   1211,    999,    277] = [   1197,   1027,    263] 1   5
[   1214,    853,    642] = [   1169,    993,    547] 1   5
[   1221,    651,    649] = [   1157,    971,    393] 1   5
[   1223,    691,    259] = [   1216,    749,    208] 1   5
[   1227,   1013,    528] = [   1204,   1058,    506] 1   5
[   1229,    903,    403] = [   1223,    923,    389] 1   5
[   1233,    962,    622] = [   1124,   1016,    977]     5
[   1239,    543,    143] = [   1234,    638,     53] 1   5
[   1249,    688,    642] = [   1184,    993,    402] 1   5
[   1250,    625,    496] = [   1246,    692,    433] 1   5
[   1253,    613,    394] = [   1159,   1018,     83] 1   5
[   1256,    538,    352] = [   1249,    671,    226] 1   5
[   1256,    775,    200] = [   1169,   1041,     21] 1   5
[   1258,    582,    455] = [   1153,   1037,    105] 1   5
[   1259,    817,    691] = [   1167,   1082,    518] 1   5
[   1260,    801,    415] = [   1136,   1102,    238] 1   5
[   1264,    155,    100] = [   1179,    988,    372]     5
[   1267,    818,    703] = [   1184,   1081,     73]     5
[   1267,    537,    195] = [   1072,   1007,    970]     5
[   1269,    657,    416] = [   1267,    675,    460]     5
[   1271,    749,     45] = [   1265,    792,    278]     5
[   1271,    885,    679] = [   1157,   1135,    543] 1   5
[   1275,    100,      2] = [   1132,   1086,     59]     5
[   1275,    625,    571] = [   1122,   1118,    231] 1   5
[   1282,    664,    571] = [   1266,    827,    424] 1   5
[   1286,   1019,    261] = [   1240,   1110,    216] 1   5
[   1297,    749,    628] = [   1171,   1124,    379] 1   5
[   1297,    103,     46] = [   1286,    687,     73]     5
[   1297,    593,    585] = [   1295,    701,    239]     5
[   1298,    627,    427] = [   1186,   1077,     89] 1   5
[   1299,    631,    167] = [   1234,    961,    652]     5
[   1299,    671,    593] = [   1243,    987,    333] 1   5
[   1307,    636,    469] = [   1171,   1117,    124] 1   5
[   1308,    820,    577] = [   1223,   1087,    395] 1   5
[   1313,    953,    907] = [   1216,   1189,    768] 1   5
[   1315,    496,    204] = [   1284,    860,    291]     5
[   1317,    683,    331] = [   1307,    786,    238] 1   5
[   1321,   1009,    771] = [   1277,   1048,    926]     5
[   1323,    675,    650] = [   1178,   1153,    317] 1   5
[   1325,    340,    243] = [   1324,    426,    368]     5
[   1326,    586,    302] = [   1317,    731,    166] 1   5
[   1326,    469,    402] = [   1297,    857,     43] 1   5
[   1329,    505,    345] = [   1312,    784,     83] 1   5
[   1340,   1051,    741] = [   1326,   1090,    716] 1   5
[   1344,    566,    341] = [   1237,   1086,    528]     5
[   1347,    848,    326] = [   1204,   1186,    131] 1   5
[   1348,    857,    455] = [   1308,   1020,    122]     5
[   1357,    488,    314] = [   1356,    544,    109]     5
[   1363,    230,    192] = [   1176,   1075,   1004]     5
[   1364,    695,    333] = [   1259,   1113,    440]     5
[   1369,    688,    336] = [   1339,    921,    133] 1   5
[   1377,    541,    463] = [   1317,   1011,     53] 1   5
[   1381,    948,    348] = [   1283,   1183,    211] 1   5
[   1395,   1152,    380] = [   1363,   1212,    202]     5
[   1399,    892,    521] = [   1246,   1242,    324] 1   5
[   1403,    743,    212] = [   1389,    868,    101] 1   5
[   1404,    320,     61] = [   1245,   1198,     92]     5
[   1406,   1025,    519] = [   1359,   1150,    441] 1   5
[   1407,   1118,    741] = [   1341,   1246,    679] 1   5
[   1407,    713,    387] = [   1311,   1129,     67] 1   5
[   1414,    932,    331] = [   1366,   1099,    212] 1   5
[   1414,    931,    703] = [   1366,   1113,    569] 1   5
[   1415,    960,    783] = [   1296,   1249,    613] 1   5
[   1417,     87,     74] = [   1384,    912,    332]     5
[   1417,    530,    461] = [   1405,    786,    217] 1   5
[   1417,    855,    195] = [   1404,    931,    432]     5
[   1419,    597,    257] = [   1412,    737,    124] 1   5
[   1421,    969,    773] = [   1333,   1213,    617] 1   5
[   1423,    907,    549] = [   1378,   1087,    414] 1   5
[   1424,    809,    531] = [   1357,   1104,    303] 1   5
[   1427,    653,    604] = [   1344,   1116,     74]     5
[   1439,   1079,    611] = [   1423,   1127,    579] 1   5
[   1441,   1067,    819] = [   1332,   1292,    703] 1   5
[   1452,    644,    503] = [   1449,    721,    429] 1   5
[   1458,     77,     67] = [   1337,   1156,    759]     5
[   1459,    713,    483] = [   1388,   1108,    159] 1   5
[   1459,    772,    463] = [   1429,    989,    276] 1   5
[   1472,    486,    235] = [   1470,    587,    346]     5
[   1479,    395,    125] = [   1448,    922,    559]     5
[   1480,   1009,    696] = [   1417,   1205,    563] 1   5
[   1482,    872,    513] = [   1235,   1217,   1165]     5
[   1483,   1147,     87] = [   1402,   1302,     13] 1   5
[   1487,    599,    569] = [   1414,   1119,    122] 1   5
[   1490,   1175,    249] = [   1372,   1259,   1093]     5
[   1494,   1322,    973] = [   1429,   1413,    947] 1   5
[   1497,    817,    304] = [   1487,    907,    224] 1   5
[   1500,    876,    496] = [   1491,    845,    806]     5
[   1503,   1072,    321] = [   1481,   1143,    422]     5
[   1503,    384,     56] = [   1480,    895,    318]     5
[   1507,    543,    381] = [   1497,    791,    143] 1   5
[   1511,    954,    386] = [   1444,   1191,    216] 1   5
[   1513,    937,    389] = [   1383,   1292,    164] 1   5
[   1521,   1231,   1069] = [   1421,   1413,    987] 1   5
[   1525,    841,    549] = [   1429,   1225,    261] 1   5
[   1533,   1011,    861] = [   1391,   1361,    653] 1   5
[   1552,   1001,    703] = [   1481,   1247,    528] 1   5
[   1553,    808,    572] = [   1458,   1233,    242] 1   5
[   1557,    783,    267] = [   1513,   1087,      7] 1   5
[   1559,   1101,   1017] = [   1477,   1347,    853] 1   5
[   1559,    368,    265] = [   1498,   1060,    804]     5
[   1578,   1035,    642] = [   1483,   1312,    460] 1   5
[   1581,   1417,    333] = [   1533,   1481,    317] 1   5
[   1581,    957,    543] = [   1481,   1292,    308] 1   5
[   1582,   1093,   1019] = [   1552,   1244,    898] 1   5
[   1582,    728,    572] = [   1575,    825,    632]     5
[   1591,    907,    211] = [   1541,   1162,      6] 1   5
[   1591,   1248,    940] = [   1508,   1431,    690]     5
[   1592,   1048,    542] = [   1499,   1317,    366] 1   5
[   1597,    963,    216] = [   1592,    998,    186] 1   5
[   1614,   1046,    893] = [   1544,   1308,    701] 1   5
[   1619,    623,    267] = [   1588,   1022,    349]     5
[   1623,   1314,    897] = [   1590,   1409,    535]     5
[   1625,    826,     60] = [   1451,   1395,    235]     5
[   1627,    461,    188] = [   1601,    960,    615]     5
[   1630,    889,    326] = [   1433,   1432,    250]     5
[   1631,   1344,    564] = [   1567,   1454,    518] 1   5
[   1637,   1146,    458] = [   1590,   1266,    805]     5
[   1637,   1268,    539] = [   1538,   1452,    454] 1   5
[   1639,    837,    506] = [   1503,   1357,    122] 1   5
[   1641,   1352,    958] = [   1542,   1513,    896] 1   5
[   1644,    813,    532] = [   1621,   1039,    329] 1   5
[   1644,   1171,   1053] = [   1577,   1388,    903] 1   5
[   1649,   1234,     61] = [   1635,   1275,    244]     5
[   1651,    679,    549] = [   1623,   1037,    219] 1   5
[   1657,    797,    457] = [   1542,   1327,     42] 1   5
[   1663,   1141,    201] = [   1586,   1358,     61] 1   5
[   1668,    745,    697] = [   1476,   1445,    189] 1   5
[   1673,   1017,    593] = [   1516,   1443,    324] 1   5
[   1673,    667,    563] = [   1570,   1303,     30] 1   5
[   1675,    775,    163] = [   1664,    933,     16] 1   5
[   1676,   1619,    976] = [   1626,   1491,   1454]     5
[   1676,    839,    720] = [   1618,   1222,    455]     5
[   1677,   1019,    373] = [   1673,   1047,    349] 1   5
[   1681,    673,    559] = [   1633,   1149,    131] 1   5
[   1687,    888,    490] = [   1668,   1032,    695]     5
[   1689,   1366,    853] = [   1583,   1542,    783] 1   5
[   1691,   1039,    893] = [   1659,   1231,    733] 1   5
[   1691,   1049,    351] = [   1593,   1371,    127] 1   5
[   1693,    721,    511] = [   1671,   1021,    233] 1   5
[   1693,    757,    435] = [   1685,    899,    301] 1   5
[   1701,    902,    778] = [   1531,   1463,    387] 1   5
[   1703,   1106,    537] = [   1544,   1486,    316] 1   5
[   1711,   1323,    317] = [   1571,   1557,    223] 1   5
[   1718,    678,    469] = [   1668,   1173,     24] 1   5
[   1720,   1157,    754] = [   1632,   1404,    805]     5
[   1720,    890,    253] = [   1618,   1309,    926]     5
[   1733,    981,    667] = [   1656,   1333,    392] 1   5
[   1736,    910,    817] = [   1681,   1272,    300]     5
[   1737,    771,    735] = [   1681,   1235,    327] 1   5
[   1741,    828,    307] = [   1728,    996,    152] 1   5
[   1741,   1379,   1019] = [   1632,   1579,    928] 1   5
[   1743,   1267,    291] = [   1642,   1493,    166] 1   5
[   1746,    734,    379] = [   1737,    913,    209] 1   5
[   1747,    640,    526] = [   1565,   1477,    321]     5
[   1751,   1273,    447] = [   1583,   1581,    307] 1   5
[   1752,    359,     23] = [   1725,   1009,    720]     5
[   1759,   1042,    161] = [   1740,   1162,    120]     5
[   1759,   1017,    578] = [   1519,   1449,   1286]     5
[   1760,   1113,    440] = [   1753,   1154,    406] 1   5
[   1761,   1163,    332] = [   1747,   1228,    281] 1   5
[   1767,    422,    223] = [   1706,   1227,    379]     5
[   1768,   1297,   1236] = [   1726,   1470,   1105] 1   5
[   1774,    832,    711] = [   1572,   1422,   1223]     5
[   1774,   1252,   1141] = [   1717,   1464,    986] 1   5
[   1779,   1131,    373] = [   1701,   1403,    179] 1   5
[   1780,    525,    513] = [   1589,   1436,   1113]     5
[   1780,   1029,    841] = [   1680,   1411,    859]     5
[   1781,    524,     67] = [   1591,   1409,   1172]     5
[   1784,   1102,    886] = [   1711,   1404,    657] 1   5
[   1785,   1023,    415] = [   1661,   1459,    103] 1   5
[   1792,   1313,    821] = [   1712,   1511,    703] 1   5
[   1793,   1586,    319] = [   1790,   1590,    498]     5
[   1801,   1207,    259] = [   1619,   1597,     51] 1   5
[   1807,    439,    286] = [   1801,    804,     77]     5
[   1813,   1707,   1634] = [   1774,   1768,   1612] 1   5
[   1817,   1116,    899] = [   1757,   1400,    255]     5
[   1819,   1197,   1071] = [   1747,   1477,    863] 1   5
[   1827,   1088,   1031] = [   1801,   1296,    849] 1   5
[   1833,    581,    199] = [   1831,    709,     73] 1   5
[   1834,    731,    425] = [   1825,    938,    227] 1   5
[   1839,    844,    559] = [   1659,   1539,    794]     5
[   1839,    817,    540] = [   1812,   1060,    894]     5
[   1839,   1001,    546] = [   1826,   1121,    439] 1   5
[   1841,    911,    519] = [   1737,   1431,    103] 1   5
[   1844,   1313,    658] = [   1688,   1633,    494] 1   5
[   1846,   1051,      5] = [   1830,   1156,    666]     5
[   1851,   1413,   1162] = [   1808,   1542,   1076] 1   5
[   1855,   1295,    328] = [   1813,   1432,    233] 1   5
[   1862,   1503,    711] = [   1813,   1601,    662] 1   5
[   1867,    871,    318] = [   1865,    910,    281] 1   5
[   1871,   1184,   1139] = [   1767,   1568,    859] 1   5
[   1871,    809,    483] = [   1843,   1153,    167] 1   5
[   1875,     99,     73] = [   1774,   1350,   1023]     5
[   1877,    707,    469] = [   1847,   1149,     57] 1   5
[   1878,   1005,    381] = [   1823,   1336,    315]     5
[   1879,    963,    377] = [   1827,   1313,     79] 1   5
[   1882,    804,    691] = [   1796,   1402,    179] 1   5
[   1889,   1288,   1262] = [   1784,   1633,   1022] 1   5
[   1889,   1077,    899] = [   1689,   1652,    524] 1   5
[   1889,   1048,    543] = [   1838,   1344,    298] 1   5
[   1899,   1093,    463] = [   1879,   1233,    343] 1   5
[   1899,   1117,    278] = [   1814,   1467,     13] 1   5
[   1901,    624,    464] = [   1899,    753,    337] 1   5
[   1910,   1041,    713] = [   1733,   1621,    310] 1   5
[   1920,    853,    126] = [   1783,   1535,    271]     5
[   1920,   1171,     58] = [   1890,   1331,    198]     5
[   1923,   1141,    357] = [   1863,   1421,    137] 1   5
[   1928,   1022,    558] = [   1813,   1524,    171] 1   5
[   1937,   1524,    313] = [   1849,   1666,   1009]     5
[   1940,   1341,    508] = [   1783,   1691,    315] 1   5
[   1947,   1003,    561] = [   1811,   1571,    129] 1   5
[   1951,    926,    802] = [   1806,   1536,   1087]     5
[   1954,   1192,    421] = [   1942,   1268,    357] 1   5
[   1956,   1229,    794] = [   1869,   1548,    562] 1   5
[   1957,   1391,    559] = [   1923,   1502,    482] 1   5
[   1959,   1030,    665] = [   1954,   1046,    834]     5
[   1961,    464,    396] = [   1908,   1166,   1097]     5
[   1961,    438,    247] = [   1928,   1182,    586]     5
[   1961,   1009,    833] = [   1958,   1067,    778] 1   5
[   1961,    924,    310] = [   1820,   1513,   1122]     5
[   1962,   1184,    736] = [   1834,   1611,    437] 1   5
[   1962,    819,    129] = [   1909,   1279,    922]     5
[   1965,   1669,    235] = [   1863,   1817,    189] 1   5
[   1974,    651,    558] = [   1933,   1255,    535]     5
[   1978,   1319,    182] = [   1909,   1549,     21] 1   5
[   1983,   1217,    516] = [   1946,   1404,    366] 1   5
[   1984,   1443,   1392] = [   1865,   1769,   1185] 1   5
[   1987,   1170,    189] = [   1952,   1370,     24] 1   5
[   1989,    823,    679] = [   1863,   1559,     69] 1   5
[   1989,    921,    474] = [   1769,   1704,    661]     5
[   1990,   1483,    700] = [   1908,   1674,    651]     5
[   1991,    462,     54] = [   1982,    896,    679]     5
[   1993,    777,    707] = [   1877,   1538,     62] 1   5
[   1993,   1769,   1131] = [   1981,   1808,    954]     5
[   2001,    343,     20] = [   1985,    948,    871]     5
[   2003,   1511,    637] = [   1951,   1641,    559] 1   5
[   2011,   1563,    537] = [   1871,   1808,    432] 1   5
[   2012,   1159,    691] = [   1901,   1597,    364] 1   5
[   2012,    468,    196] = [   1977,   1228,     71]     5
[   2014,    916,    534] = [   1999,   1137,    328] 1   5
[   2016,    538,    277] = [   1856,   1589,   1036]     5
[   2017,   1046,    863] = [   1884,   1626,    416] 1   5
[   2018,    809,    806] = [   1961,   1388,    284] 1   5
[   2025,   1272,    821] = [   2021,   1322,     25]     5
[   2027,    821,    807] = [   1911,   1567,    177] 1   5
[   2027,   1036,    949] = [   1872,   1544,   1346]     5
[   2028,   1579,    917] = [   1994,   1664,    866] 1   5
[   2031,    604,    150] = [   1999,   1220,    436]     5
[   2033,   1371,    703] = [   2003,   1493,    611] 1   5
[   2033,   1097,   1042] = [   1981,   1469,    722] 1   5
[   2033,   1237,   1233] = [   1996,   1508,    999] 1   5
[   2034,    906,    797] = [   2008,   1252,    477] 1   5
[   2036,    784,    712] = [   1951,   1484,     97] 1   5
[   2038,   1033,    817] = [   1979,   1446,    463] 1   5
[   2052,   1276,    363] = [   2005,   1491,    195] 1   5
[   2054,   1416,   1268] = [   1943,   1582,   1513]     5
[   2057,   1134,     11] = [   1910,   1677,    455]     5
[   2066,   1338,    989] = [   1949,   1708,    736] 1   5
[   2069,   1243,    591] = [   1903,   1741,    259] 1   5
[   2072,    723,    298] = [   2066,    944,     83] 1   5
[   2075,   1349,    589] = [   2059,   1429,    525] 1   5
[   2077,   1974,    458] = [   2039,   2017,    453] 1   5
[   2077,   1683,   1573] = [   1989,   1891,   1453] 1   5
[   2082,   1421,    960] = [   2061,   1530,    692]     5
[   2083,    904,    541] = [   2004,   1498,     26] 1   5
[   2087,   1371,   1313] = [   2043,   1617,   1111] 1   5
[   2092,   1499,    452] = [   2029,   1677,    337] 1   5
[   2093,    519,    337] = [   2064,   1224,    261]     5
[   2100,    635,    439] = [   1865,   1689,   1360]     5
[   2107,    804,    389] = [   2104,    914,    282] 1   5
[   2109,    563,    552] = [   1905,   1535,   1524]     5
[   2109,   1431,   1029] = [   1954,   1822,    793] 1   5
[   2119,   1444,    431] = [   2017,   1733,    244] 1   5
[   2121,   1415,    460] = [   1996,   1761,    239] 1   5
[   2127,    783,    381] = [   1947,   1738,    206]     5
[   2133,   1147,    553] = [   1929,   1811,     93] 1   5
[   2137,   1388,    732] = [   2009,   1766,    482] 1   5
[   2140,    842,    345] = [   2116,   1194,    857]     5
[   2149,   1335,   1081] = [   1981,   1835,    749] 1   5
[   2157,    958,    403] = [   2154,   1026,    338] 1   5
[   2159,   1139,    538] = [   1949,   1834,     53] 1   5
[   2161,   1146,    995] = [   2051,   1690,     81]     5
[   2174,   1644,   1223] = [   2119,   1798,   1124] 1   5
[   2177,   1621,   1421] = [   2141,   1761,   1317] 1   5
[   2179,   1118,    796] = [   1923,   1902,    268] 1   5
[   2190,   1172,    884] = [   2179,   1302,    765] 1   5
[   2195,   1426,    500] = [   2185,   1465,    801]     5
[   2201,   1203,   1093] = [   2161,   1538,     48]     5
[   2202,   1633,    554] = [   2088,   1884,    417] 1   5
[   2204,   1373,    757] = [   2017,   1884,    433] 1   5
[   2207,   1756,   1303] = [   2093,   1977,   1196] 1   5
[   2217,   1323,   1317] = [   2041,   1912,    904] 1   5
[   2219,   1293,   1281] = [   2141,   1723,    929] 1   5
[   2224,   1731,    637] = [   2082,   1986,    524] 1   5
[   2229,   1400,   1150] = [   2004,   1924,   1301]     5
[   2232,    782,     87] = [   1997,   1887,    267]     5
[   2232,   1930,    745] = [   2217,   1956,    734] 1   5
[   2233,   1391,    479] = [   2199,   1563,    341] 1   5
[   2234,    797,    736] = [   2174,   1501,     92] 1   5
[   2237,   1208,   1067] = [   2211,   1464,    837] 1   5
[   2241,   1323,    931] = [   2126,   1778,    591] 1   5
[   2243,    957,    902] = [   2232,   1216,    654] 1   5
[   2243,   1329,    677] = [   2059,   1889,    301] 1   5
[   2251,    992,    499] = [   2217,   1392,    133] 1   5
[   2259,   1953,   1675] = [   2239,   2000,   1648] 1   5
[   2262,   1017,   1008] = [   2009,   1952,    776]     5
[   2264,   1201,    248] = [   2243,   1391,     79] 1   5
[   2264,   1579,     76] = [   2219,   1730,    150]     5
[   2274,   1467,    654] = [   2249,   1589,    557] 1   5
[   2278,   1704,   1621] = [   2261,   1808,   1534] 1   5
[   2279,    951,    835] = [   2260,   1297,    508] 1   5
[   2279,   1777,    148] = [   2089,   2082,    783]     5
[   2287,    993,    400] = [   2278,   1055,    977]     5
[   2289,    976,    482] = [   2268,   1302,    177] 1   5
[   2293,   1365,   1262] = [   2057,   1985,   1298]     5
[   2294,   1772,    735] = [   2110,   2084,    607] 1   5
[   2295,   1768,    619] = [   2263,   1835,    974]     5
[   2304,   1249,    938] = [   2094,   1953,    444] 1   5
[   2306,    686,    379] = [   2297,   1073,      1] 1   5
[   2314,    868,    491] = [   2298,   1227,    298]     5
[   2317,   1583,    496] = [   2096,   2051,    249] 1   5
[   2318,   2003,    429] = [   2278,   2068,    404] 1   5
[   2319,   1561,    515] = [   2215,   1873,    307] 1   5
[   2324,    849,    596] = [   2306,   1254,    209] 1   5
[   2328,    951,    689] = [   2258,   1487,   1273]     5
[   2328,   1294,    477] = [   2204,   1821,     74] 1   5
[   2329,    612,    543] = [   2245,   1630,    659]     5
[   2331,   1744,    432] = [   2182,   2042,    283] 1   5
[   2337,   1107,   1043] = [   2083,   2017,    387] 1   5
[   2339,   1153,    281] = [   2048,   2045,    760]     5
[   2341,   1484,   1323] = [   2173,   2003,    972] 1   5
[   2345,   1217,    355] = [   2324,   1421,    172] 1   5
[   2348,    786,    684] = [   2293,   1355,   1310]     5
[   2349,   1247,    898] = [   2114,   2011,    369] 1   5
[   2349,    883,    376] = [   2328,   1298,    132]     5
[   2352,    976,    969] = [   2137,   1963,    197] 1   5
[   2356,    809,    586] = [   2325,   1305,   1051]     5
[   2359,    906,    650] = [   2348,   1192,    375] 1   5
[   2359,   1596,   1086] = [   2126,   2103,    812] 1   5
[   2360,   1091,    715] = [   2327,   1463,    376] 1   5
[   2362,    732,    108] = [   2353,   1007,    892]     5
[   2368,   1703,   1272] = [   2334,   1831,   1178] 1   5
[   2368,   2265,   1650] = [   2338,   2326,   1529]     5
[   2384,   1301,     97] = [   2325,   1665,    182]     5
[   2385,    870,     47] = [   2302,   1648,    972]     5
[   2393,   1907,   1247] = [   2327,   2051,   1169] 1   5
[   2402,    755,      6] = [   2386,   1235,    172]     5
[   2407,   1459,    491] = [   2372,   1653,    332] 1   5
[   2407,   1554,    399] = [   2179,   2099,     82] 1   5
[   2410,    807,    185] = [   2308,   1732,    892]     5
[   2412,   1549,   1438] = [   2317,   1948,   1134] 1   5
[   2413,   1491,    552] = [   2186,   2084,    186] 1   5
[   2413,   1332,    967] = [   2292,   1881,    539] 1   5
[   2416,   1554,    444] = [   2353,   1807,    254] 1   5
[   2417,   1134,    307] = [   2092,   1867,   1849]     5
[   2419,   1951,   1858] = [   2371,   2114,   1743] 1   5
[   2423,   1347,    788] = [   2413,   1444,    701] 1   5
[   2428,   2196,   2029] = [   2403,   2251,   1999] 1   5
[   2430,   1238,    465] = [   2428,   1268,     17]     5
[   2432,   1932,   1118] = [   2346,   2107,   1029] 1   5
[   2434,   1626,    516] = [   2336,   1937,    303] 1   5
[   2445,   2294,   1181] = [   2437,   2280,   1413]     5
[   2462,   1273,    866] = [   2443,   1481,    677] 1   5
[   2463,   1367,    398] = [   2433,   1509,   1186]     5
[   2463,   1265,    516] = [   2433,   1540,    271] 1   5
[   2463,   1259,    981] = [   2367,   1828,     58]     5
[   2465,    604,    441] = [   2447,   1275,    298]     5
[   2469,   1678,   1266] = [   2423,   1873,   1117] 1   5
[   2469,   1180,    888] = [   2405,   1698,    434] 1   5
[   2472,   1706,    907] = [   2251,   2182,    652] 1   5
[   2476,    846,    704] = [   2426,   1573,     27] 1   5
[   2482,   1257,    887] = [   2282,   2032,   1062]     5
[   2485,   1597,   1540] = [   2265,   2222,    505]     5
[   2497,   1693,    693] = [   2253,   2213,    417] 1   5
[   2505,   1720,   1527] = [   2462,   1932,   1358] 1   5
[   2508,    884,    871] = [   2473,   1507,    283] 1   5
[   2509,   1667,    553] = [   2425,   1954,    350] 1   5
[   2516,   1519,    796] = [   2357,   2053,    421] 1   5
[   2517,   1040,    550] = [   2497,   1239,   1181]     5
[   2520,    762,    238] = [   2453,   1672,    235]     5
[   2524,   1664,    842] = [   2429,   1987,    614] 1   5
[   2524,   1828,    345] = [   2473,   1979,    245] 1   5
[   2531,   1308,    631] = [   2336,   2063,    971]     5
[   2535,   1153,    897] = [   2281,   2144,    760]     5
[   2536,   1439,   1051] = [   2408,   1991,    627] 1   5
[   2539,    469,     91] = [   2314,   2043,   1292]     5
[   2543,   1775,   1337] = [   2375,   2197,   1083] 1   5
[   2543,    701,    209] = [   2541,    899,     13] 1   5
[   2549,   1021,    973] = [   2502,   1528,   1263]     5
[   2555,   2252,    996] = [   2521,   2305,    977] 1   5
[   2557,   1789,   1103] = [   2534,   1882,   1033] 1   5
[   2559,   1729,   1516] = [   2384,   2218,   1202] 1   5
[   2562,   1015,    830] = [   2252,   2039,   1796]     5
[   2566,   1352,   1094] = [   2516,   1747,    749] 1   5
[   2571,    443,    145] = [   2455,   1858,   1006]     5
[   2576,    565,    459] = [   2502,   1658,   1240]     5
[   2579,   1343,    637] = [   2487,   1879,    193] 1   5
[   2581,    440,    165] = [   2459,   1876,   1071]     5
[   2586,   1684,    783] = [   2344,   2176,   1583]     5
[   2589,   2073,    879] = [   2413,   2359,    769] 1   5
[   2594,   1792,    638] = [   2464,   2143,    417] 1   5
[   2601,    843,    571] = [   2576,   1423,    766]     5
[   2603,    128,      9] = [   2273,   2259,      8]     5
[   2614,   1992,   1361] = [   2496,   2257,   1214] 1   5
[   2616,   1685,   1345] = [   2481,   2117,   1318]     5
[   2617,   1398,   1140] = [   2554,   1840,    761] 1   5
[   2621,   2163,   1915] = [   2561,   2315,   1823] 1   5
[   2625,   1623,   1367] = [   2606,   1775,   1234] 1   5
[   2627,   1572,   1018] = [   2604,   1731,    882] 1   5
[   2631,   2264,   1241] = [   2600,   2236,   1690]     5
[   2633,   1899,    277] = [   2567,   2089,    153] 1   5
[   2637,   1913,    889] = [   2584,   2072,    783] 1   5
[   2646,   1962,   1009] = [   2641,   1979,    997] 1   5
[   2646,   1213,   1194] = [   2639,   1421,    993] 1   5
[   2655,    725,      4] = [   2583,   1722,   1149]     5
[   2665,   1121,    422] = [   2627,   1591,    980]     5
[   2666,   1960,    877] = [   2541,   2252,    770]     5
[   2680,   1584,    946] = [   2637,   1843,    730] 1   5
[   2682,   1041,     14] = [   2422,   2242,    273]     5
[   2687,   1373,   1019] = [   2469,   2223,    387] 1   5
[   2688,   1142,    361] = [   2665,   1510,     16] 1   5
[   2697,   1649,   1334] = [   2659,   1894,   1127] 1   5
[   2697,   2053,    859] = [   2649,   2177,    783] 1   5
[   2701,   1193,   1159] = [   2693,   1427,    933] 1   5
[   2703,   1906,     95] = [   2515,   2331,    278]     5
[   2713,    934,    267] = [   2656,   1729,    579]     5
[   2713,   1639,   1351] = [   2631,   2049,   1023] 1   5
[   2731,   1767,    749] = [   2579,   2231,    437] 1   5
[   2736,    932,    609] = [   2734,   1057,    486] 1   5
[   2740,    681,     29] = [   2669,   1766,   1145]     5
[   2741,    924,    661] = [   2496,   1983,   1947]     5
[   2749,   1892,    333] = [   2615,   2260,     99] 1   5
[   2749,   1591,    793] = [   2591,   2193,    349] 1   5
[   2753,   1667,   1142] = [   2663,   2077,    822] 1   5
[   2754,   1053,    868] = [   2678,   1854,    893]     5
[   2766,   2148,   1328] = [   2623,   2433,   1186] 1   5
[   2771,   1277,    493] = [   2739,   1661,    141] 1   5
[   2771,    856,    477] = [   2631,   1897,   1676]     5
[   2777,   1845,   1255] = [   2547,   2413,    917] 1   5
[   2777,   1916,   1438] = [   2521,   2478,   1132] 1   5
[   2778,   2072,    272] = [   2724,   2217,    631]     5
[   2778,   1841,    794] = [   2582,   2353,    478] 1   5
[   2787,   2088,   1868] = [   2718,   2326,   1699] 1   5
[   2793,   2518,    311] = [   2756,   2548,   1368]     5
[   2793,    887,     82] = [   2494,   2066,   2052]     5
[   2798,   1154,    778] = [   2793,   1303,    634] 1   5
[   2803,    114,     55] = [   2794,   1225,    273]     5
[   2805,   2121,   1095] = [   2693,   2376,    952] 1   5
[   2807,   1411,    975] = [   2496,   2425,    272] 1   5
[   2807,   1864,    892] = [   2762,   2039,   1062]     5
[   2807,   1786,    649] = [   2706,   2164,    372] 1   5
[   2811,   2363,   2221] = [   2701,   2603,   2091] 1   5
[   2814,   1671,   1564] = [   2567,   2438,   1044] 1   5
[   2819,   1711,   1118] = [   2801,   1838,   1009] 1   5
[   2821,   1018,    830] = [   2753,   1845,    911]     5
[   2825,    544,    413] = [   2483,   2435,    124]     5
[   2831,   1104,    787] = [   2653,   2182,   1237]     5
[   2832,   1679,   1110] = [   2570,   2432,     79]     5
[   2837,   2005,   1096] = [   2675,   2407,    226]     5
[   2838,   1262,    936] = [   2668,   2211,    157] 1   5
[   2840,    654,    517] = [   2577,   2255,   1669]     5
[   2848,    779,     16] = [   2770,   1660,   1643]     5
[   2851,   1022,    398] = [   2595,   2290,   1546]     5
[   2851,    988,    719] = [   2438,   2319,   2051]     5
[   2851,    837,    740] = [   2821,   1580,    867]     5
[   2854,   1821,   1702] = [   2756,   2269,   1352] 1   5
[   2858,    732,     48] = [   2696,   2173,    419]     5
[   2858,   2252,   1324] = [   2689,   2559,   1186] 1   5
[   2863,   1849,   1557] = [   2784,   2208,   1277] 1   5
[   2864,   1856,   1612] = [   2779,   2236,   1317] 1   5
[   2867,   1229,    808] = [   2712,   2188,      4] 1   5
[   2875,   2118,   1855] = [   2743,   2540,     35]     5
[   2879,    610,     87] = [   2649,   2317,    920]     5
[   2881,   2423,    912] = [   2789,   2576,    851] 1   5
[   2881,   1457,   1303] = [   2749,   2201,    691] 1   5
[   2887,   1794,   1657] = [   2702,   2432,   1204] 1   5
[   2888,   1977,   1454] = [   2782,   2328,   1209] 1   5
[   2903,   2587,    701] = [   2790,   2735,    666] 1   5
[   2904,   1515,    223] = [   2893,   1640,    109] 1   5
[   2909,    810,    797] = [   2687,   2315,   1194]     5
[   2909,   2174,    247] = [   2729,   2539,     62] 1   5
[   2913,   2667,   1133] = [   2838,   2610,   2105]     5
[   2913,   1337,    221] = [   2904,   1496,     71] 1   5
[   2915,   2497,   1861] = [   2881,   2565,   1827] 1   5
[   2917,   2330,    868] = [   2884,   2405,    826] 1   5
[   2921,   1463,   1111] = [   2791,   2201,    503] 1   5
[   2923,   2572,   1401] = [   2807,   2733,   1356] 1   5
[   2924,    431,    147] = [   2571,   2487,   1444]     5
[   2927,    949,    811] = [   2919,   1321,    447] 1   5
[   2936,    649,    638] = [   2921,   1418,    334]     5
[   2939,   1169,    671] = [   2911,   1659,    209] 1   5
[   2939,   2621,   2003] = [   2865,   2735,   1963] 1   5
[   2943,   2292,    747] = [   2787,   2582,   1063]     5
[   2947,    925,    490] = [   2450,   2322,   2320]     5
[   2947,   1859,   1160] = [   2749,   2457,    550]     5
[   2949,   1940,   1916] = [   2815,   2467,   1523] 1   5
[   2949,   1296,    162] = [   2727,   2377,     53]     5
[   2956,   2447,   1137] = [   2766,   2732,   1042] 1   5
[   2956,   2014,    747] = [   2664,   2626,    427] 1   5
[   2959,   1716,   1612] = [   2949,   1867,   1471] 1   5
[   2963,   2136,   1024] = [   2758,   2579,    786] 1   5
[   2963,   1982,    322] = [   2957,   2011,    299] 1   5
[   2964,    930,    229] = [   2659,   2385,   1809]     5
[   2975,    459,    170] = [   2973,    957,    154]     5
[   2976,   2231,    863] = [   2891,   2443,    736] 1   5
[   2980,   2783,    586] = [   2816,   2760,   2303]     5
[   2989,   2371,   1013] = [   2801,   2693,    879] 1   5
[   2991,   2457,    859] = [   2908,   2462,   1987]     5
[   2993,   1355,    432] = [   2535,   2382,   2293]     5
[   3001,   1358,   1060] = [   2645,   2413,   2071]     5
[   3002,   1928,    908] = [   2897,   2318,    623] 1   5
[   3008,   2351,   1601] = [   2951,   2496,   1513] 1   5
[   3012,   1135,   1120] = [   3004,   1366,   1167]     5
[   3013,    692,    115] = [   2721,   2334,   1975]     5
[   3018,   2559,   1910] = [   2835,   2833,   1819] 1   5
[   3020,   2536,   2455] = [   3011,   2879,     21]     5
[   3023,   1592,   1201] = [   2834,   2416,    566] 1   5
[   3025,   1757,    654] = [   2724,   2605,    737]     5
[   3029,   1843,   1311] = [   2983,   2116,   1084] 1   5
[   3029,   1387,    446] = [   3008,   1692,    162] 1   5
[   3031,   1120,    257] = [   2996,   1567,   1465]     5
[   3032,   2913,   1157] = [   2986,   2939,   1627]     5
[   3032,   1565,    483] = [   2924,   1920,   1916]     5
[   3034,   2457,   1206] = [   2947,   2627,   1123] 1   5
[   3034,   1382,   1189] = [   2929,   2177,    499] 1   5
[   3041,   1407,    413] = [   2808,   2461,    942]     5
[   3042,   1134,    523] = [   2979,   1931,    989]     5
[   3049,   1703,    539] = [   3014,   1963,    314] 1   5
[   3049,   1798,    997] = [   2877,   2438,    529] 1   5
[   3052,   1476,   1163] = [   2961,   2153,    577] 1   5
[   3053,   1941,    637] = [   2886,   2474,    271] 1   5
[   3054,   1363,    380] = [   3009,   1883,    535]     5
[   3057,   1994,    877] = [   2867,   2272,   2139]     5
[   3061,   1314,     50] = [   2765,   2565,    355]     5
[   3062,   1723,    522] = [   2929,   2331,     47] 1   5
[   3064,   1762,    793] = [   3028,   2009,    582] 1   5
[   3069,   2156,   1737] = [   2887,   2639,   1436] 1   5
[   3079,   2083,   1361] = [   2963,   2463,   1097] 1   5
[   3081,   1843,    589] = [   2801,   2633,     79] 1   5
[   3081,   2263,    649] = [   2893,   2665,    435] 1   5
[   3083,   1946,   1912] = [   2891,   2646,    804]     5
[   3084,   1062,    613] = [   3043,   1809,    657]     5
[   3084,   1821,    312] = [   3037,   2098,     82] 1   5
[   3086,   2149,   1172] = [   2957,   2521,    479]     5
[   3087,   1535,    573] = [   2955,   2268,   1292]     5
[   3088,    692,    349] = [   3086,   1014,     29] 1   5
[   3088,    868,    381] = [   3086,   1053,    648]     5
[   3101,   1443,   1299] = [   3093,   1643,   1107] 1   5
[   3103,   1198,    417] = [   3092,   1498,    128] 1   5
[   3106,   1511,   1347] = [   2731,   2722,    511] 1   5
[   3112,   2532,    568] = [   2855,   2712,   2265]     5
[   3113,   2400,   1642] = [   3004,   2626,   1705]     5
[   3113,   2752,    485] = [   3035,   2864,    451] 1   5
[   3119,   1465,   1335] = [   3023,   2217,    679] 1   5
[   3125,   1495,     37] = [   3008,   2257,    922]     5
[   3129,   2617,    803] = [   3091,   2689,    769] 1   5
[   3131,   2157,   1757] = [   3097,   2327,   1621] 1   5
[   3132,    645,    273] = [   3097,   1533,   1520]     5
[   3133,   1201,    377] = [   2775,   2686,     60]     5
[   3147,   2089,    920] = [   2977,   2584,    595] 1   5
[   3148,    888,    881] = [   3121,   1698,     98] 1   5
[   3149,   2494,   1076] = [   3052,   2694,    973] 1   5
[   3149,   2142,   1836] = [   2954,   2701,   1472] 1   5
[   3149,   1967,    899] = [   3079,   2289,    647] 1   5
[   3151,   1572,   1223] = [   3108,   2007,    831] 1   5
[   3153,   1519,   1371] = [   2977,   2463,    603] 1   5
[   3156,   1639,    165] = [   3030,   2273,   1547]     5
[   3159,   1387,    977] = [   2817,   2699,      7] 1   5
[   3161,   1479,    692] = [   2707,   2460,   2445]     5
[   3162,    997,     98] = [   3141,   1624,    542]     5
[   3164,   1131,    977] = [   2922,   2545,    555]     5
[   3167,   2421,   1809] = [   3117,   2571,   1709] 1   5
[   3168,   2323,   1837] = [   2988,   2758,   1582] 1   5
[   3169,   1524,   1173] = [   2859,   2683,    174]     5
[   3169,   2054,    458] = [   3139,   2199,    343] 1   5
[   3171,   2129,   1341] = [   2881,   2791,    969] 1   5
[   3171,   2876,   1185] = [   3036,   3015,   1661]     5
[   3183,   1679,   1356] = [   2966,   2489,   1813]     5
[   3188,   1590,   1481] = [   3040,   2441,    778] 1   5
[   3191,   2333,   1517] = [   3189,   2341,   1511] 1   5
[   3195,   1693,   1055] = [   2997,   2543,    403] 1   5
[   3198,   2031,   1857] = [   2911,   2800,   1585]     5
[   3202,   1119,    414] = [   3134,   2047,    604]     5
[   3202,   1559,   1378] = [   2903,   2704,    532] 1   5
[   3206,    416,    289] = [   3122,   2113,     26]     5
[   3208,   1586,   1082] = [   2981,   2587,    308] 1   5
[   3211,   1357,   1173] = [   2981,   2573,    187] 1   5
[   3211,   2117,    478] = [   3038,   2627,    141] 1   5
[   3214,   1537,    223] = [   3148,   2054,   1422]     5
[   3218,   1882,   1317] = [   2896,   2789,    732] 1   5
[   3219,   1409,    471] = [   3194,   1798,    107] 1   5
[   3219,    420,    222] = [   2899,   2690,    492]     5
[   3223,   1899,    447] = [   3108,   2417,     44] 1   5
[   3228,   1162,    957] = [   2909,   2706,    182]     5
[   3230,   2245,   1130] = [   3173,   2452,    710]     5
[   3230,   1699,   1570] = [   2903,   2789,    807] 1   5
[   3235,   1493,    157] = [   3210,   1781,   1244]     5
[   3235,   1567,   1549] = [   3037,   2579,    735] 1   5
[   3237,   1519,    945] = [   3117,   2339,    245] 1   5
[   3239,   2488,   1144] = [   3053,   2849,    969] 1   5
[   3259,   2053,   1282] = [   3108,   2592,    894] 1   5
[   3267,   1725,    293] = [   3058,   2565,   1552]     5
[   3272,   1469,    386] = [   3012,   2621,   1594]     5
[   3273,   2551,    804] = [   3208,   2702,    718] 1   5
[   3277,   2033,   1334] = [   3199,   2406,   1039] 1   5
[   3286,   1629,    314] = [   3263,   1899,     67] 1   5
[   3287,   1888,    765] = [   3269,   2031,    610]     5
[   3287,   1813,    772] = [   2897,   2884,     91] 1   5
[   3293,    997,    825] = [   3269,   1725,    121] 1   5
[   3293,    266,     46] = [   2866,   2653,   2286]     5
[   3300,   1859,   1202] = [   3002,   2755,   1684]     5
[   3307,   2341,    201] = [   3222,   2586,   1241]     5
[   3313,   2171,   2127] = [   3041,   2939,   1631] 1   5
[   3314,   2218,   1286] = [   3143,   2722,    953] 1   5
[   3314,   1886,   1033] = [   3243,   2311,    679] 1   5
[   3317,   2221,    939] = [   3019,   2901,    557] 1   5
[   3318,   1092,    856] = [   3077,   2363,   2226]     5
[   3319,   1861,    196] = [   3291,   2081,      4] 1   5
[   3322,   1716,    599] = [   3287,   2020,   1170]     5
[   3323,   1619,    851] = [   3180,   2468,    145] 1   5
[   3323,   1654,    932] = [   3259,   2192,    458] 1   5
[   3326,   1729,    697] = [   3295,   2027,    430] 1   5
[   3326,   2302,   1099] = [   3147,   2774,    806] 1   5
[   3327,   1251,    762] = [   3301,   1802,    237] 1   5
[   3328,   1252,    914] = [   3254,   2161,     79] 1   5
[   3339,   1744,    511] = [   3099,   2564,   2031]     5
[   3339,   2063,   1417] = [   3287,   2353,   1179] 1   5
[   3348,   3031,    219] = [   3236,   3173,    189] 1   5
[   3349,   2247,    370] = [   3119,   2765,   1852]     5
[   3351,   2429,    193] = [   3305,   2573,     95] 1   5
[   3353,   1094,    679] = [   3344,   1488,    594]     5
[   3353,   1262,   1112] = [   3348,   1497,    882] 1   5
[   3354,   2062,    501] = [   3224,   2576,    117] 1   5
[   3356,   1649,    911] = [   3298,   2172,    446] 1   5
[   3363,   1217,   1181] = [   3271,   2273,    217] 1   5
[   3363,   2785,    129] = [   3340,   2789,   1678]     5
[   3369,   2223,   1377] = [   3353,   2309,   1307] 1   5
[   3376,   2432,    699] = [   3201,   2849,    457] 1   5
[   3382,    992,    243] = [   3147,   2661,   1059]     5
[   3383,   1710,    361] = [   3248,   2480,   1196]     5
[   3383,   2401,    961] = [   3173,   2891,    681] 1   5
[   3383,   2068,   1694] = [   3178,   2444,   2423]     5
[   3389,   2453,    347] = [   3179,   2917,     93] 1   5
[   3389,   2729,   1317] = [   3172,   3084,   1179] 1   5
[   3401,   1780,    922] = [   3030,   2936,    137] 1   5
[   3406,   2183,   2109] = [   3288,   2751,   1509]     5
[   3407,   1653,   1305] = [   3361,   2149,    855] 1   5
[   3412,    617,    588] = [   3307,   2319,    191]     5
[   3423,   2283,   1237] = [   3156,   2943,    994]     5
[   3427,   1306,     12] = [   3072,   2856,   1667]     5
[   3430,    205,     57] = [   3429,    922,    481]     5
[   3431,   2023,    209] = [   3395,   2255,     13] 1   5
[   3431,   1159,    561] = [   3007,   2926,   1768]     5
[   3436,    747,    490] = [   3435,    952,    706]     5
[   3437,   2443,   2393] = [   3238,   3034,   2001] 1   5
[   3442,   1874,   1165] = [   3340,   2349,   1842]     5
[   3445,   1689,   1180] = [   3084,   2947,    283] 1   5
[   3455,   1715,   1240] = [   3285,   2637,    488] 1   5
[   3456,   1522,    104] = [   3412,   2077,    643]     5
[   3456,   1555,    717] = [   3350,   2402,    846]     5
[   3467,   1023,    781] = [   3442,   1806,     23] 1   5
[   3471,   2733,    599] = [   3399,   2893,    511] 1   5
[   3474,   2176,   1362] = [   3012,   2905,   2535]     5
[   3481,   2023,   1099] = [   3363,   2589,    651] 1   5
[   3482,   1192,    765] = [   3222,   2525,   2302]     5
[   3490,   2412,    405] = [   3205,   3037,   1235]     5
[   3495,   1361,    880] = [   3181,   2827,   1828]     5
[   3496,   1459,   1362] = [   3334,   2612,    371] 1   5
[   3501,   2440,   1946] = [   3181,   3140,   1566] 1   5
[   3501,   2833,   1297] = [   3456,   2900,   1695]     5
[   3508,   2491,    578] = [   3451,   2678,    448] 1   5
[   3512,   2492,    118] = [   3481,   2602,     39] 1   5
[   3513,   3157,    469] = [   3443,   3254,    442] 1   5
[   3514,   1269,    811] = [   3460,   2094,   1270]     5
[   3523,   3146,   2090] = [   3440,   3268,   2051] 1   5
[   3524,   1321,    967] = [   3517,   1587,    708] 1   5
[   3534,   2485,   2353] = [   3239,   3198,   1935] 1   5
[   3535,   1038,    817] = [   3532,   1310,    548] 1   5
[   3537,   1767,    819] = [   3527,   1907,    689] 1   5
[   3539,   1209,   1141] = [   3533,   1547,    809] 1   5
[   3543,   2067,   1213] = [   3474,   2471,    878] 1   5
[   3545,   1131,   1090] = [   3415,   2381,   1860]     5
[   3545,   2344,   2318] = [   3514,   2620,   2073] 1   5
[   3551,   2394,    865] = [   3356,   2910,   1564]     5
[   3555,   2124,    712] = [   3315,   2899,   1437]     5
[   3555,   1299,    175] = [   3400,   2549,   1570]     5
[   3562,   2183,   2101] = [   3498,   2627,   1721] 1   5
[   3565,   1163,   1109] = [   3514,   1965,   1708]     5
[   3572,   2539,    853] = [   3472,   2834,    658] 1   5
[   3579,   3188,    327] = [   3572,   3199,    323] 1   5
[   3585,   2056,    119] = [   3581,   2075,   1094]     5
[   3586,   2087,   1534] = [   3277,   3047,    883] 1   5
[   3588,   1783,    265] = [   3568,   2028,    640]     5
[   3592,   1837,   1813] = [   3421,   2789,   1032] 1   5
[   3595,    861,    335] = [   3221,   2993,   1697]     5
[   3595,   1727,    749] = [   3150,   3127,   1474]     5
[   3599,   2108,   2036] = [   3361,   3009,   1373] 1   5
[   3601,   2351,   2339] = [   3328,   3171,   1792] 1   5
[   3601,    329,     52] = [   3431,   2642,   1059]     5
[   3606,   2393,   2029] = [   3479,   2886,   1663] 1   5
[   3607,   2427,    663] = [   3506,   2777,    414] 1   5
[   3607,   2043,   1846] = [   3427,   2863,   1206] 1   5
[   3608,   2368,   1202] = [   3466,   2849,    863] 1   5
[   3612,   1633,     18] = [   3578,   2054,   1281]     5
[   3612,   1828,   1327] = [   3347,   2939,    481] 1   5
[   3612,   1514,   1009] = [   3577,   1809,   1799]     5
[   3612,   2256,   2183] = [   3271,   3206,   1574] 1   5
[   3614,   1916,   1545] = [   3588,   2240,    617]     5
[   3618,   3171,   2524] = [   3546,   3299,   2468] 1   5
[   3623,   1749,    222] = [   3619,   1817,    158] 1   5
[   3629,   1709,   1091] = [   3549,   2417,    463] 1   5
[   3629,   2371,   2143] = [   3543,   2801,   1799] 1   5
[   3636,   1664,   1372] = [   3519,   2576,    577] 1   5
[   3637,   1294,    510] = [   3495,   2587,   1219]     5
[   3638,   2278,    686] = [   3391,   3018,    193] 1   5
[   3639,   1416,   1019] = [   3609,   2008,    457] 1   5
[   3647,   1337,   1263] = [   3577,   2319,    351] 1   5
[   3653,   2269,    596] = [   3498,   2819,   1551]     5
[   3658,   1879,   1334] = [   3359,   3029,    483] 1   5
[   3659,   1673,   1005] = [   3413,   2905,     19] 1   5
[   3663,   2427,   1744] = [   3410,   3109,   1525]     5
[   3671,   2777,    377] = [   3477,   3177,    171] 1   5
[   3673,   1941,   1829] = [   3433,   2989,   1021] 1   5
[   3681,   1937,    863] = [   3301,   3153,     27] 1   5
[   3691,   2071,   1209] = [   3488,   2912,    571] 1   5
[   3694,   1456,   1447] = [   3687,   1772,   1138] 1   5
[   3695,   2744,   1061] = [   3527,   3128,    845] 1   5
[   3697,   3048,    399] = [   3644,   3150,   1010]     5
[   3700,   2273,   1900] = [   3636,   2688,   1249]     5
[   3701,   2258,   1259] = [   3380,   3160,    168]     5
[   3702,   2513,    749] = [   3655,   2700,     39]     5
[   3703,   2474,   2315] = [   3429,   3245,   1848]     5
[   3706,   1379,    681] = [   3673,   1952,   1491]     5
[   3709,   2257,   1643] = [   3429,   3123,   1057] 1   5
[   3709,   2387,   1155] = [   3539,   2957,    755] 1   5
[   3710,    723,    584] = [   3634,   2298,   1395]     5
[   3716,    161,     24] = [   3713,   1226,    612]     5
[   3727,   2305,   1993] = [   3705,   2499,   1821] 1   5
[   3728,    678,    493] = [   3398,   3053,   1148]     5
[   3730,   1704,   1516] = [   3430,   3063,    457] 1   5
[   3734,   1961,   1300] = [   3578,   2800,    617] 1   5
[   3738,   1717,    283] = [   3272,   3023,   2593]     5
[   3739,   2204,    659] = [   3349,   3209,   1844]     5
[   3741,   2979,   1121] = [   3591,   3265,    985] 1   5
[   3746,   1194,    723] = [   3731,   1768,    164] 1   5
[   3753,   3042,   1291] = [   3637,   3263,   1186] 1   5
[   3754,   2394,    831] = [   3704,   2636,    639] 1   5
[   3756,   1465,    487] = [   3662,   2410,   1706]     5
[   3761,   2754,    476] = [   3633,   3082,    276] 1   5
[   3763,   2552,   1528] = [   3633,   2981,   1229] 1   5
[   3765,   1869,   1235] = [   3349,   3247,    273] 1   5
[   3779,   2684,   1551] = [   3724,   2877,   1413] 1   5
[   3780,   2419,   2227] = [   3609,   3110,   1437]     5
[   3780,   2307,    995] = [   3412,   3273,    397] 1   5
[   3781,   1659,   1234] = [   3734,   2284,    656] 1   5
[   3781,   2701,    367] = [   3741,   2837,    271] 1   5
[   3783,   2829,    713] = [   3629,   3183,    513] 1   5
[   3793,   1982,   1896] = [   3377,   3316,    528]     5
[   3794,   3121,   2600] = [   3736,   3404,   1745]     5
[   3803,   2672,   2319] = [   3703,   3059,   2032] 1   5
[   3805,   3045,    768] = [   3623,   3371,    624] 1   5
[   3810,   1916,    744] = [   3429,   3131,   2220]     5
[   3817,   2301,   1374] = [   3467,   3278,    747] 1   5
[   3829,   2039,   1231] = [   3671,   2869,    559] 1   5
[   3834,    813,    595] = [   3804,   1810,   1668]     5
[   3839,   2077,   1513] = [   3717,   2794,    918] 1   5
[   3844,    867,    797] = [   3842,   1244,    422] 1   5
[   3845,   2589,   1471] = [   3830,   2657,   1478]     5
[   3847,   2753,    823] = [   3757,   3023,    643] 1   5
[   3847,   2446,   1834] = [   3719,   2976,   1432] 1   5
[   3852,   2676,    958] = [   3437,   3196,   2803]     5
[   3861,   2561,   1179] = [   3581,   3283,    737] 1   5
[   3862,   2613,   1807] = [   3547,   3369,   1366] 1   5
[   3862,   2495,    513] = [   3490,   3360,   1580]     5
[   3866,   3329,   2573] = [   3658,   3639,   2471] 1   5
[   3869,   3073,   1967] = [   3657,   3463,   1789] 1   5
[   3877,   3247,    458] = [   3695,   3530,    357] 1   5
[   3877,   1658,    933] = [   3763,   2663,    942]     5
[   3879,   2913,    567] = [   3823,   3067,    469] 1   5
[   3879,   2346,    178] = [   3834,   2608,    711]     5
[   3886,   2707,   2219] = [   3701,   3262,   1849] 1   5
[   3891,   2293,   1307] = [   3857,   2531,   1103] 1   5
[   3892,   2338,    877] = [   3885,   2390,    832] 1   5
[   3893,   1972,   1021] = [   3601,   3169,    116] 1   5
[   3901,   1827,    365] = [   3757,   2696,   2010]     5
[   3901,   2972,   2938] = [   3886,   3112,   2813] 1   5
[   3901,   1444,    656] = [   3508,   3037,   2606]     5
[   3908,   2557,   1579] = [   3687,   3144,   2113]     5
[   3911,   1904,   1164] = [   3490,   3354,    135] 1   5
[   3915,   1831,   1548] = [   3511,   3340,    443] 1   5
[   3918,   2110,   1476] = [   3753,   2960,    791] 1   5
[   3930,   1729,    736] = [   3875,   2393,    997]     5
[   3933,    737,    322] = [   3837,   2497,   1658]     5
[   3938,   3102,    959] = [   3869,   3259,    871] 1   5
[   3947,   3379,   2351] = [   3899,   3471,   2307] 1   5
[   3952,    318,    186] = [   3951,   1041,     64]     5
[   3957,   2140,    509] = [   3955,   2152,   1039]     5
[   3961,   1539,    361] = [   3508,   3397,    606]     5
[   3961,   1147,    813] = [   3941,   1929,     51] 1   5
[   3964,   3141,   3028] = [   3871,   3463,   2799] 1   5
[   3973,   2566,   2122] = [   3631,   3471,   1559] 1   5
[   3973,   1820,   1805] = [   3596,   3359,    643] 1   5
[   3979,   2044,    985] = [   3559,   3389,   1740]     5
[   3980,   3032,   1998] = [   3964,   3145,    791]     5
[   3981,   1381,    959] = [   3968,   1856,    497] 1   5
[   3982,   1355,     65] = [   3979,   1377,   1276]     5
[   3987,   1493,   1453] = [   3668,   3238,   1077]     5
[   3988,   2357,   1416] = [   3701,   3302,    758] 1   5
[   3998,   2819,   1696] = [   3900,   3138,   1475] 1   5
[   4001,   1920,    702] = [   3681,   3272,    930]     5
[   4003,   1128,    987] = [   3783,   3031,    354]     5
[   4013,   2464,    982] = [   3776,   3254,    429] 1   5
[   4016,   2257,   1773] = [   3808,   3167,   1071] 1   5
[   4020,   1610,    981] = [   3797,   2748,   2586]     5
[   4021,   2476,    349] = [   3948,   2841,     57] 1   5
[   4023,   3042,   3017] = [   3802,   3644,   2636] 1   5
[   4024,   1744,   1586] = [   3543,   3497,    314] 1   5
[   4026,   2283,   2165] = [   3866,   3120,   1518]     5
[   4027,   3287,   2889] = [   3924,   3547,   2732] 1   5
[   4034,    657,    271] = [   4022,   1678,   1212]     5
[   4036,   1703,   1132] = [   4001,   2281,    589] 1   5
[   4039,   1918,    498] = [   4013,   2269,    173] 1   5
[   4043,   1423,     74] = [   3979,   2198,   2063]     5
[   4043,   3309,   1025] = [   3868,   3609,     90]     5
[   4047,   2089,    503] = [   4039,   2191,    409] 1   5
[   4050,   2916,   2081] = [   4001,   3100,   1946] 1   5
[   4050,   1150,    271] = [   3616,   3428,    527]     5
[   4051,    974,    818] = [   4043,   1643,    157] 1   5
[   4051,   2008,   1704] = [   3583,   3529,    651] 1   5
[   4053,   2692,    758] = [   3684,   3541,    278] 1   5
[   4058,   3241,    584] = [   3928,   3497,    458] 1   5
[   4060,   1994,    845] = [   3789,   3136,   2194]     5
[   4064,   3463,   1822] = [   4038,   3512,   1799] 1   5
[   4069,   3236,   1058] = [   4003,   3321,   2089]     5
[   4072,   3122,   2726] = [   3991,   3392,   2537] 1   5
[   4074,   3032,    836] = [   3839,   3526,    577] 1   5
[   4077,   1741,   1699] = [   3717,   3389,    411] 1   5
[   4078,   2216,    839] = [   4064,   2358,    711] 1   5
[   4082,   1643,    167] = [   4007,   2571,     64]     5
[   4084,   3057,   2316] = [   3913,   3487,   2057] 1   5
[   4085,   3060,   2615] = [   3841,   3659,   2050]     5
[   4090,   1367,    261] = [   4061,   2040,   1567]     5
[   4094,    738,    696] = [   4093,   1123,    162]     5
[   4100,   2127,    750] = [   4032,   2674,    271] 1   5
[   4103,   2541,   1337] = [   3896,   3272,    813] 1   5
[   4103,   3982,   3378] = [   4049,   4043,   3371] 1   5
[   4111,   3081,   1684] = [   4035,   3285,   1676]     5
[   4111,   2142,   1479] = [   4014,   2837,    881] 1   5
[   4121,   2059,   1463] = [   3827,   3333,    483] 1   5
[   4123,    912,    744] = [   4122,   1179,    478] 1   5
[   4123,   2917,   1449] = [   3753,   3667,   1069] 1   5
[   4123,   3167,    582] = [   4023,   3372,   1827]     5
[   4124,   2084,   1413] = [   3654,   3578,    389] 1   5
[   4126,   1414,    192] = [   3765,   3382,   1195]     5
[   4126,   2891,    937] = [   3721,   3691,    542] 1   5
[   4127,   2143,    798] = [   4093,   2481,    494] 1   5
[   4127,   1879,    916] = [   4052,   2643,    227] 1   5
[   4133,   2652,   2212] = [   4097,   2895,   2005] 1   5
[   4135,   1472,    393] = [   3937,   3060,   1103]     5
[   4139,   1847,   1561] = [   4116,   2284,   1147] 1   5
[   4139,   2263,   1607] = [   4031,   2939,   1039] 1   5
[   4143,    976,    132] = [   4001,   2805,   1865]     5
[   4144,   2732,    991] = [   3871,   3474,    522] 1   5
[   4144,   2139,   2021] = [   3970,   3154,   1180] 1   5
[   4149,   2886,   2619] = [   4093,   3187,   2374] 1   5
[   4151,   3145,   1764] = [   4042,   3420,   1598] 1   5
[   4151,   2157,   1054] = [   3975,   3037,   1970]     5
[   4151,   2642,   1654] = [   4114,   2871,    262]     5
[   4152,   1438,   1197] = [   4077,   2588,    122] 1   5
[   4153,   2766,   2032] = [   3836,   3586,   1529] 1   5
[   4159,   1798,   1322] = [   4097,   2573,    609] 1   5
[   4162,   2461,    771] = [   4132,   2666,    746]     5
[   4164,   3383,   2625] = [   4043,   3629,   2560]     5
[   4173,   2857,   1343] = [   3967,   3433,    973] 1   5
[   4177,   3455,    745] = [   4057,   3669,    651] 1   5
[   4179,   2145,   1455] = [   4169,   2291,   1319] 1   5
[   4179,   3572,   2411] = [   4089,   3802,     21]     5
[   4180,   2127,   1649] = [   4114,   2730,   1112] 1   5
[   4181,   2359,   2353] = [   4168,   2621,   2104] 1   5
[   4183,   1531,    399] = [   4008,   2737,   2518]     5
[   4188,   2676,   2177] = [   3895,   3555,   1591] 1   5
[   4190,   2710,   1757] = [   3869,   3576,   1212] 1   5
[   4199,   3001,    313] = [   4057,   3393,     63] 1   5
[   4201,   2496,   2242] = [   4052,   3241,   1646] 1   5
[   4207,   2963,   2129] = [   4123,   3269,   1907] 1   5
[   4207,    808,    754] = [   4096,   2504,   2319]     5
[   4214,   1111,   1087] = [   4211,   1507,    694] 1   5
[   4214,   2422,   2184] = [   3764,   3709,   1347] 1   5
[   4219,   1568,     81] = [   3769,   3571,   1378]     5
[   4220,   1849,    980] = [   4107,   2863,     79] 1   5
[   4223,    993,    499] = [   4218,   1363,   1334]     5
[   4229,   2633,   2076] = [   3991,   3463,   1484] 1   5
[   4238,    600,    405] = [   3829,   3516,   1468]     5
[   4245,   1946,    305] = [   4231,   2191,     74] 1   5
[   4249,   3903,   2157] = [   4020,   4005,   3034]     5
[   4249,   2281,   1075] = [   4094,   3125,     86]     5
[   4251,   2069,   1617] = [   4097,   3092,    748] 1   5
[   4251,   1656,    805] = [   4206,   2430,     76] 1   5
[   4257,   3206,   2874] = [   4191,   3469,   2677] 1   5
[   4261,   2897,    469] = [   4018,   3547,     62] 1   5
[   4262,   1856,    218] = [   4261,   1883,    192] 1   5
[   4264,   2291,   1658] = [   4098,   3187,    928] 1   5
[   4264,   2849,    671] = [   4186,   3154,    444] 1   5
[   4265,   1798,   1427] = [   4133,   2967,    570]     5
[   4265,   1634,    290] = [   4084,   3049,   1876]     5
[   4268,   1529,   1141] = [   4179,   2731,     28] 1   5
[   4270,   2489,   2311] = [   4140,   3216,   1834]     5
[   4273,   2206,   1477] = [   3831,   3662,    463] 1   5
[   4276,   2223,   1522] = [   4230,   2671,   1120] 1   5
[   4286,   3719,    473] = [   3910,   3828,   3350]     5
[   4291,   3589,   1557] = [   4077,   3921,   1439] 1   5
[   4292,   2729,    892] = [   4207,   3109,    597] 1   5
[   4294,   2974,   2328] = [   4053,   3644,   1899] 1   5
[   4297,   2855,   2143] = [   3931,   3759,   1605] 1   5
[   4298,   3063,   2742] = [   4051,   3743,   2309] 1   5
[   4309,   1697,   1591] = [   4297,   2117,   1183] 1   5
[   4310,   2615,    475] = [   4236,   2639,   2595]     5
[   4313,   3047,    572] = [   3998,   3742,    192] 1   5
[   4316,    825,    636] = [   4185,   2896,   1606]     5
[   4322,   1593,   1321] = [   4291,   2322,    623] 1   5
[   4324,   2832,   1656] = [   4167,   3392,    953]     5
[   4325,   2424,   1692] = [   4159,   3257,    365]     5
[   4336,   1443,     42] = [   4333,   1447,   1391]     5
[   4336,   2554,    628] = [   4254,   3013,    251] 1   5
[   4337,   1625,   1525] = [   4277,   2617,    593] 1   5
[   4339,   2877,   1376] = [   4192,   3385,   1015] 1   5
[   4346,   1781,   1734] = [   4256,   2848,    757] 1   5
[   4348,   3670,    447] = [   4095,   4034,    336] 1   5
[   4352,   2141,   1809] = [   4067,   3483,    752] 1   5
[   4353,   4097,   1728] = [   4244,   4231,    203]     5
[   4353,   2252,   1522] = [   4132,   3354,    641] 1   5
[   4361,   1355,   1163] = [   4351,   1850,   1248]     5
[   4366,   2642,    399] = [   4207,   2972,   2778]     5
[   4368,   2049,    173] = [   3819,   3818,   1203]     5
[   4373,   3188,    877] = [   4163,   3684,    591] 1   5
[   4373,   1422,   1355] = [   4010,   3554,   1416]     5
[   4373,   2596,   2069] = [   3988,   3751,   1299] 1   5
[   4374,   1316,    385] = [   4353,   2112,     30]     5
[   4376,    904,    713] = [   4350,   2168,    105]     5
[   4380,   2619,   1633] = [   4343,   2890,    709]     5
[   4382,   2623,   1250] = [   3875,   3871,    509] 1   5
[   4391,   1974,   1615] = [   4197,   3265,    518] 1   5
[   4391,   2620,     89] = [   4278,   3000,   2402]     5
[   4399,    288,    126] = [   3913,   3627,   2523]     5
[   4400,   3368,   1137] = [   3915,   3839,   3191]     5
[   4401,   2329,   1890] = [   4304,   2755,   2551]     5
[   4406,   2479,   1809] = [   4368,   2834,    892]     5
[   4407,   2729,   2374] = [   4079,   3697,   2334]     5
[   4408,   2627,    212] = [   4112,   3178,   3107]     5
[   4409,   1893,    787] = [   4349,   2667,     73] 1   5
[   4411,   3197,    434] = [   4163,   3762,    117] 1   5
[   4412,   1905,    295] = [   3877,   3827,    408]     5
[   4416,   1933,   1834] = [   4006,   3693,   1534]     5
[   4417,   3163,    653] = [   4193,   3709,    331] 1   5
[   4421,   1407,    594] = [   4407,   2002,     13] 1   5
[   4421,   3307,   1829] = [   4193,   3807,   1557] 1   5
[   4423,   2063,    749] = [   4383,   2573,    279] 1   5
[   4433,   4039,    913] = [   4363,   4133,    889] 1   5
[   4435,   1509,    997] = [   4407,   2285,    249] 1   5
[   4436,   1509,   1177] = [   4407,   2308,    407] 1   5
[   4437,   3621,   3354] = [   4189,   4122,   3101] 1   5
[   4443,   2245,    376] = [   4406,   2638,    710]     5
[   4451,   2254,    797] = [   4310,   3152,   1480]     5
[   4452,    422,     48] = [   4297,   3095,    320]     5
[   4457,   2383,   1519] = [   4443,   2549,   1367] 1   5
[   4457,   3677,   2433] = [   4176,   4119,   2272] 1   5
[   4462,   2443,     20] = [   3964,   3466,   3275]     5
[   4464,   2147,   1758] = [   4387,   2914,    168]     5
[   4467,   2667,   1781] = [   4077,   3811,   1027] 1   5
[   4469,   3227,   1099] = [   4409,   3419,    967] 1   5
[   4469,   2434,   2386] = [   4442,   2924,   1173]     5
[   4470,   2397,    835] = [   4380,   3022,    570]     5
[   4475,   3170,   1387] = [   3983,   3742,   3287]     5
[   4486,   3419,   2917] = [   4236,   3992,   2594] 1   5
[   4493,   3262,   1746] = [   4363,   3627,   1511] 1   5
[   4497,   2301,   1717] = [   4292,   3411,    812] 1   5
[   4498,   3314,    695] = [   4384,   3620,    503] 1   5
[   4500,   2784,   1382] = [   4417,   3199,   1050] 1   5
[   4501,   2369,   1495] = [   4397,   3098,    870] 1   5
[   4504,   3042,   2193] = [   4496,   3089,   2154] 1   5
[   4505,   2821,   1571] = [   4061,   3931,    905] 1   5
[   4512,   2743,    861] = [   4141,   3815,    160] 1   5
[   4516,   3858,   1297] = [   4506,   3714,   2801]     5
[   4517,   2825,   1723] = [   4457,   3150,   1458] 1   5
[   4519,   3178,   2292] = [   4362,   3668,   1959] 1   5
[   4532,   3183,   2747] = [   4187,   4020,   2255] 1   5
[   4533,   2647,   1447] = [   4506,   2854,   1267] 1   5
[   4533,   2897,   2459] = [   4195,   3889,   1805] 1   5
[   4536,   1789,   1113] = [   4463,   2792,    183] 1   5
[   4537,   1953,   1379] = [   4401,   3139,    329] 1   5
[   4539,   3208,   2329] = [   4424,   3599,   2053] 1   5
[   4543,   3740,    606] = [   4298,   4095,   2176]     5
[   4552,   2861,    538] = [   3917,   3766,   3418]     5
[   4553,   2424,    708] = [   4448,   3113,   1474]     5
[   4555,   1433,    402] = [   4075,   3812,   2073]     5
[   4560,   3811,    349] = [   4166,   3950,   3544]     5
[   4561,   2908,    884] = [   4403,   3503,    447] 1   5
[   4564,   2794,    486] = [   4516,   3069,    259] 1   5
[   4569,   3871,   2891] = [   4291,   4288,   2752] 1   5
[   4571,   2458,   1559] = [   4061,   3973,    554] 1   5
[   4572,   3140,   1304] = [   4115,   4077,    824] 1   5
[   4574,   1777,   1601] = [   4377,   3353,    222] 1   5
[   4578,   3917,    640] = [   4449,   4121,   1075]     5
[   4579,   2131,   1505] = [   4497,   2955,    763] 1   5
[   4584,   3536,    466] = [   4403,   3917,    266] 1   5
[   4587,   1629,   1281] = [   4581,   1937,    979] 1   5
[   4588,    932,    523] = [   4512,   2758,   1323]     5
[   4589,   3543,    637] = [   4453,   3847,    469] 1   5
[   4591,   2489,   1253] = [   4533,   2951,    849] 1   5
[   4601,   3109,    571] = [   4141,   4083,     57] 1   5
[   4607,   2527,   1581] = [   4516,   3147,   1052] 1   5
[   4607,   4354,   1333] = [   4229,   4214,   3951]     5
[   4609,   1635,    790] = [   4554,   2463,   2117]     5
[   4611,   2733,   2639] = [   4183,   4033,   1767] 1   5
[   4613,   2355,   1649] = [   4173,   3905,    539] 1   5
[   4615,   2051,    605] = [   4422,   2951,   2928]     5
[   4617,   2206,   1599] = [   4611,   2334,   1477] 1   5
[   4621,   2456,   1517] = [   4232,   3851,    511] 1   5
[   4621,   3623,   1448] = [   4456,   3963,   1273] 1   5
[   4627,   2803,   1061] = [   4291,   3845,    355] 1   5
[   4633,    652,    537] = [   4314,   3567,   2291]     5
[   4638,   1435,   1245] = [   4013,   3915,   2870]     5
[   4639,   2537,   1713] = [   4289,   3823,    777] 1   5
[   4640,   1790,   1489] = [   4614,   2385,   1520]     5
[   4649,   1871,   1767] = [   4607,   2669,   1011] 1   5
[   4653,   3562,   2387] = [   4464,   3992,   2146] 1   5
[   4654,   2322,    743] = [   4635,   2569,    515] 1   5
[   4654,   3523,   2857] = [   4559,   3822,   2653] 1   5
[   4661,   3664,   1264] = [   4419,   4113,   1057] 1   5
[   4664,   2067,   1928] = [   4447,   3509,    703] 1   5
[   4667,    960,    193] = [   4611,   2649,    570]     5
[   4668,   3042,   1820] = [   4508,   3635,    877]     5
[   4680,   3120,   3070] = [   4333,   4115,   2542]     5
[   4689,   4406,   1482] = [   4585,   4527,   1465] 1   5
[   4691,   2719,   1649] = [   4319,   3923,    817] 1   5
[   4692,   4181,    459] = [   4672,   4212,    298]     5
[   4694,   2011,   1585] = [   4118,   4085,     87] 1   5
[   4695,   2025,   1740] = [   4310,   3756,   2494]     5
[   4697,   2684,   2333] = [   4588,   3387,   1739] 1   5
[   4697,   3454,   2281] = [   4270,   4255,   1907] 1   5
[   4697,   3829,    505] = [   4594,   4030,    407] 1   5
[   4699,   3742,   1732] = [   4612,   3934,   1627] 1   5
[   4700,   2288,    316] = [   4105,   3916,   3063]     5
[   4703,   4046,    702] = [   4436,   4342,   2623]     5
[   4705,   3745,    199] = [   4569,   4021,     59] 1   5
[   4711,   2131,    624] = [   4672,   2681,    113] 1   5
[   4713,   2097,   1439] = [   4617,   3073,    559] 1   5
[   4714,   2919,   2468] = [   4264,   4134,   1703] 1   5
[   4716,   3068,   2331] = [   4286,   4138,   1691] 1   5
[   4721,   2652,   1253] = [   4283,   4011,    332] 1   5
[   4724,   1316,    740] = [   4225,   3967,   1948]     5
[   4726,   2634,   1313] = [   4669,   3061,    943] 1   5
[   4727,   2269,   2067] = [   4399,   3817,    847] 1   5
[   4731,   3541,    467] = [   4361,   4227,    151] 1   5
[   4732,   3312,   3254] = [   4707,   3554,   3037] 1   5
[   4732,   3963,   2114] = [   4667,   4088,   2054] 1   5
[   4733,    757,    601] = [   4676,   2683,    982]     5
[   4733,   2391,    359] = [   4703,   2733,     47] 1   5
[   4735,   2112,   1733] = [   4335,   3904,    341] 1   5
[   4736,   2047,   1968] = [   4541,   3489,    721] 1   5
[   4738,   2910,    437] = [   4340,   4021,   1404]     5
[   4739,    521,      3] = [   4645,   2913,   1785]     5
[   4743,   2511,   1066] = [   4451,   3763,    106] 1   5
[   4748,   2792,   2406] = [   4378,   4017,   1551] 1   5
[   4754,   2606,   1559] = [   4683,   3137,   1099] 1   5
[   4754,   1374,    851] = [   4737,   2173,     69] 1   5
[   4758,   2726,   1337] = [   4601,   3508,    712] 1   5
[   4761,   4331,    689] = [   4693,   4272,   3066]     5
[   4766,   2795,    881] = [   4731,   3041,    430]     5
[   4767,   3528,   2883] = [   4733,   3836,   1109]     5
[   4768,   3488,   3041] = [   4503,   4173,   2621] 1   5
[   4769,   2836,   1708] = [   4525,   3775,   1013] 1   5
[   4773,   3521,   2329] = [   4526,   4098,   1999] 1   5
[   4776,   2497,   1834] = [   4752,   2824,    481]     5
[   4785,   2545,    546] = [   4323,   3887,   2936]     5
[   4785,   4077,   1343] = [   4605,   4356,    614]     5
[   4786,   2435,   1998] = [   4583,   3601,   1035] 1   5
[   4790,   3393,   3057] = [   4723,   3727,   2790] 1   5
[   4793,   3295,   1367] = [   4771,   3389,   1295] 1   5
[   4794,   1186,   1036] = [   4776,   2193,     47] 1   5
[   4795,   3394,   3246] = [   4539,   4176,   2720] 1   5
[   4797,   1559,   1323] = [   4789,   2023,    867] 1   5
[   4797,   2864,   1646] = [   4469,   3947,   1341]     5
[   4801,   2334,     10] = [   4764,   2780,    321]     5
[   4802,   3581,    922] = [   4652,   3952,    701] 1   5
[   4811,   2601,   1039] = [   4283,   4167,      1] 1   5
[   4823,   1785,   1569] = [   4743,   2985,    449] 1   5
[   4824,   2638,   1728] = [   4454,   3983,    753] 1   5
[   4825,   4071,   2750] = [   4763,   4252,   2181]     5
[   4825,   2977,   1368] = [   4614,   3475,   3031]     5
[   4826,   2488,   2441] = [   4516,   3913,   1326] 1   5
[   4826,   1746,    875] = [   4395,   3956,   1916]     5
[   4829,   3715,    830] = [   4389,   4251,   3164]     5
[   4832,   2678,   1511] = [   4618,   3402,   2951]     5
[   4837,   2723,   1461] = [   4782,   3133,   1106] 1   5
[   4842,   3285,   1390] = [   4736,   3669,   1112] 1   5
[   4843,    315,     43] = [   4673,   2980,   2888]     5
[   4856,   3199,   2905] = [   4610,   4101,    179]     5
[   4863,   2975,   2575] = [   4524,   4018,   2621]     5
[   4864,   3169,   1662] = [   4794,   3489,   1412] 1   5
[   4872,   2513,   2416] = [   4780,   3326,   1905]     5
[   4886,   2554,    587] = [   4385,   4177,    905]     5
[   4886,   3148,   1564] = [   4551,   4094,    953] 1   5
[   4890,    793,    760] = [   4825,   2830,    168]     5
[   4891,   3103,   2959] = [   4249,   3971,   3933]     5
[   4892,   3413,    628] = [   4403,   4379,    151] 1   5
[   4898,   2767,   1869] = [   4713,   3682,   1139] 1   5
[   4907,   3263,    797] = [   4749,   3807,    411] 1   5
[   4908,   2099,    817] = [   4847,   2924,     53] 1   5
[   4913,   2304,   1346] = [   4305,   4260,   2188]     5
[   4917,   3718,   2176] = [   4789,   4046,   1976] 1   5
[   4917,   2819,   1999] = [   4719,   3749,   1267] 1   5
[   4921,   2909,   1651] = [   4711,   3793,    977] 1   5
[   4924,   4162,   1611] = [   4766,   4424,    907]     5
[   4932,   2250,   1225] = [   4870,   2985,   1182]     5
[   4944,   2511,    369] = [   4908,   2902,     14] 1   5
[   4947,   3503,   1931] = [   4648,   4221,   1512] 1   5
[   4974,   1381,    806] = [   4965,   2010,    186] 1   5
[   4978,   4083,   2127] = [   4909,   4226,   2053] 1   5
[   4981,   2212,   2208] = [   4661,   3958,    782] 1   5
[   4981,   3083,   2012] = [   4678,   4082,   1316] 1   5
[   4987,   3848,   1994] = [   4918,   4027,   1884] 1   5
[   4987,   4193,    503] = [   4923,   4311,    449] 1   5
[   4989,   1987,   1576] = [   4742,   3742,     68] 1   5
[   4994,   2573,   1689] = [   4529,   4213,    514] 1   5
[   5003,   3125,   2406] = [   4768,   4016,   1330]     5
[   5003,   3191,   2654] = [   4977,   3393,   2478] 1   5
[   5005,   2307,   1589] = [   4719,   3877,    305] 1   5
[   5018,   1967,   1652] = [   4954,   2991,    692] 1   5
[   5020,   3750,   3163] = [   4571,   4174,   3968]     5
[   5024,   2592,   1521] = [   4847,   3653,    637] 1   5
[   5033,   4467,   2379] = [   4903,   4654,   2322] 1   5
[   5037,   2873,   2865] = [   4886,   3815,   2074] 1   5
[   5040,   3104,   2245] = [   4883,   3827,    719]     5
[   5042,   3673,   3093] = [   4753,   4402,   2653] 1   5
[   5043,   3424,    656] = [   4613,   4397,    113] 1   5
[   5045,   3387,   1903] = [   4543,   4322,   3120]     5
[   5046,   3070,   2693] = [   4826,   3738,   3205]     5
[   5053,   2666,   2422] = [   4957,   3488,   1246]     5
[   5059,   2848,    145] = [   5055,   2613,   2394]     5
[   5062,   2899,   1666] = [   4947,   3566,   1114] 1   5
[   5069,   1459,    412] = [   5022,   2744,   1274]     5
[   5069,   4115,   3196] = [   4825,   4519,   3246]     5
[   5075,   2769,   1821] = [   5041,   3099,   1525] 1   5
[   5077,   3006,   1644] = [   4724,   4181,    822] 1   5
[   5080,   4294,   2627] = [   4899,   4522,   3030]     5
[   5083,   3287,   2805] = [   4911,   4009,   2255] 1   5
[   5087,   1960,   1025] = [   5012,   3008,   1942]     5
[   5098,   3078,   2411] = [   5013,   3601,   1973] 1   5
[   5101,   2432,   1840] = [   4756,   4077,    240]     5
[   5102,   3803,   1741] = [   4721,   4535,   1390] 1   5
[   5107,   4579,   2837] = [   5099,   4592,   2832] 1   5
[   5113,   2509,   2307] = [   4985,   3565,   1379] 1   5
[   5118,   2525,   2339] = [   4974,   3520,   2508]     5
[   5125,   1194,    796] = [   5116,   2020,    549]     5
[   5134,   2863,   1746] = [   4943,   3830,    820]     5
[   5137,   2858,   2199] = [   4539,   4522,   1133] 1   5
[   5144,   3767,   1161] = [   4802,   4482,    788] 1   5
[   5154,   3262,    653] = [   4718,   4397,   1904]     5
[   5161,   3974,   1001] = [   4763,   4662,    711] 1   5
[   5162,   3226,   1058] = [   5083,   3621,    742] 1   5
[   5169,   3037,   2891] = [   5137,   3419,   2541] 1   5
[   5172,   2861,   1303] = [   5044,   3631,    661] 1   5
[   5173,   1866,   1186] = [   4821,   4076,    378]     5
[   5174,   1603,    672] = [   5074,   3235,   1030]     5
[   5175,   3265,   1491] = [   4907,   4138,   1996]     5
[   5177,   3131,   1024] = [   4657,   4364,   3011]     5
[   5177,   4189,   1286] = [   5045,   4402,   2465]     5
[   5179,    882,     70] = [   4800,   3834,   3227]     5
[   5179,   1236,     68] = [   5083,   3134,   2016]     5
[   5179,   2680,   1920] = [   4762,   4283,    734] 1   5
[   5180,   2186,   1570] = [   5011,   3629,    296] 1   5
[   5181,   2137,    979] = [   5065,   3120,   2722]     5
[   5183,   2427,   1917] = [   4699,   4351,    477] 1   5
[   5185,   1206,    718] = [   4673,   4326,   1470]     5
[   5194,   2422,    461] = [   5177,   2705,    195] 1   5
[   5201,   4347,    899] = [   5167,   4414,    116]     5
[   5203,   2601,   1309] = [   5109,   3401,    603] 1   5
[   5205,   2933,   1169] = [   4915,   4109,     43]     5
[   5209,   3595,   2305] = [   5064,   4088,   1957] 1   5
[   5210,   2078,   1079] = [   4434,   4375,   3548]     5
[   5214,   2635,   1781] = [   4936,   4034,    660] 1   5
[   5215,   4109,   1571] = [   5090,   4382,   1423] 1   5
[   5224,   2903,   2638] = [   5088,   3799,   1878] 1   5
[   5227,   1446,    496] = [   5206,   2426,    587]     5
[   5231,   2608,    592] = [   5163,   3261,      7] 1   5
[   5235,   3288,   2957] = [   4932,   4188,   3200]     5
[   5235,   2078,    113] = [   5208,   2683,    585]     5
[   5239,   3682,    689] = [   5139,   4012,    309]     5
[   5241,   2096,   1609] = [   4973,   3952,     21] 1   5
[   5243,   4556,   1972] = [   5079,   4801,   1891] 1   5
[   5248,   2524,    794] = [   5174,   3273,    119] 1   5
[   5253,   1461,   1348] = [   5233,   2441,    388] 1   5
[   5257,   2413,   1203] = [   5116,   3588,    169] 1   5
[   5257,   2803,   2029] = [   5149,   3593,   1347] 1   5
[   5257,   3972,   3005] = [   4997,   4385,   3482]     5
[   5258,   3393,   3134] = [   5224,   3553,   3158]     5
[   5259,   2767,    306] = [   5151,   3464,   2267]     5
[   5261,   2591,   1329] = [   5233,   2957,    991] 1   5
[   5269,   2443,    941] = [   5153,   3487,     13] 1   5
[   5270,   4122,   2205] = [   5021,   4612,   1964] 1   5
[   5270,   3907,    454] = [   5000,   4382,   2979]     5
[   5271,   3809,    873] = [   4959,   4513,    481] 1   5
[   5275,   4475,    981] = [   5081,   4779,    871] 1   5
[   5275,   3217,    758] = [   4649,   4451,   3480]     5
[   5277,   3998,   1424] = [   5207,   4179,   1763]     5
[   5278,   4649,   3907] = [   5150,   4875,   3809] 1   5
[   5286,   1786,    729] = [   5284,   1876,   1241]     5
[   5288,   3359,   3106] = [   4758,   4724,   2271] 1   5
[   5289,   2928,   1496] = [   5270,   3113,   1330] 1   5
[   5291,   2912,   2453] = [   5196,   3638,   1822] 1   5
[   5291,   3927,   1033] = [   4971,   4594,    236]     5
[   5291,   2728,   1701] = [   4776,   4491,    453] 1   5
[   5291,   2609,   2037] = [   5233,   3267,   1437] 1   5
[   5292,   3834,   1982] = [   5092,   4359,   1657] 1   5
[   5294,   4351,   1282] = [   5221,   4497,   1209] 1   5
[   5294,   1582,   1471] = [   5247,   2880,    220] 1   5
[   5295,   2609,   2071] = [   4739,   4541,    695] 1   5
[   5295,    579,    545] = [   4590,   4275,   3704]     5
[   5299,   4379,    116] = [   4979,   4866,    699]     5
[   5300,   3375,    580] = [   5050,   4111,   2764]     5
[   5303,   3212,   2189] = [   4757,   4623,   2074]     5
[   5304,   4044,   3370] = [   5064,   4265,   3959]     5
[   5307,   3743,   2637] = [   4972,   4574,   1991]     5
[   5307,   2543,   1791] = [   4822,   4441,    378] 1   5
[   5314,   3160,   2963] = [   4910,   4524,   2003] 1   5
[   5316,   1815,      7] = [   5246,   3025,   2077]     5
[   5322,   2523,   1548] = [   5019,   4126,    248] 1   5
[   5326,   4294,    536] = [   5121,   4671,    364] 1   5
[   5328,   2769,   2031] = [   4730,   4628,    770] 1   5
[   5342,   2274,    693] = [   5172,   3718,    469]     5
[   5343,   2231,    574] = [   5167,   3628,   2503]     5
[   5344,   3168,   2023] = [   5193,   3923,   1419] 1   5
[   5345,   2591,    774] = [   5328,   2812,   1590]     5
[   5349,   4641,   4423] = [   5128,   5069,   4216] 1   5
[   5350,   1795,   1288] = [   5328,   2531,   1504]     5
[   5351,   2499,   1649] = [   5107,   3999,    393] 1   5
[   5357,   3465,   1884] = [   5350,   3527,   1439]     5
[   5358,   3654,    799] = [   4959,   4604,    248] 1   5
[   5359,   2836,   2442] = [   4722,   4719,   1196] 1   5
[   5362,   3385,    922] = [   4695,   4637,   3397]     5
[   5366,   2419,   1997] = [   5172,   3484,   3226]     5
[   5367,   2949,   2083] = [   5333,   3287,   1779] 1   5
[   5371,   3139,   1533] = [   5141,   4123,    779] 1   5
[   5372,   4173,   2342] = [   5072,   4749,   2066] 1   5
[   5372,   2726,     75] = [   5360,   2886,    587]     5
[   5373,   2451,   1106] = [   4951,   4313,   2516]     5
[   5382,   3685,   2043] = [   5370,   3404,   3146]     5
[   5387,   2490,    274] = [   5227,   3360,   3134]     5
[   5397,   4701,   3677] = [   5122,   5102,   3551] 1   5
[   5397,   4353,   1081] = [   5301,   4553,    977] 1   5
[   5402,   3131,   2278] = [   5393,   3227,   2191] 1   5
[   5403,   2919,   2637] = [   5127,   4253,   1579] 1   5
[   5407,   1852,   1223] = [   5388,   2537,    557] 1   5
[   5410,   1761,    464] = [   5283,   3317,   2665]     5
[   5411,   3065,   2514] = [   4815,   4749,   1426] 1   5
[   5415,   5142,   2303] = [   4999,   4896,   4735]     5
[   5420,   4929,   1691] = [   5228,   5167,   1645] 1   5
[   5423,   3298,    584] = [   5093,   4359,   2403]     5
[   5431,   3209,   1588] = [   5224,   4118,    886] 1   5
[   5435,   1213,    145] = [   4713,   4628,   3122]     5
[   5435,   4477,    326] = [   5247,   4806,    185] 1   5
[   5437,   3429,   2275] = [   5375,   3777,   1989] 1   5
[   5437,   3649,   1327] = [   5397,   3827,   1189] 1   5
[   5441,   2736,   2350] = [   5121,   4300,   1106] 1   5
[   5442,   3143,   2556] = [   5400,   3591,    470]     5
[   5447,   3224,   1701] = [   4762,   4243,   4217]     5
[   5447,   2946,   2913] = [   4889,   4751,   1666] 1   5
[   5451,   1647,   1013] = [   5433,   2471,    207] 1   5
[   5453,   3813,    947] = [   4923,   4869,    421] 1   5
[   5460,   2850,    879] = [   5300,   3855,   1504]     5
[   5461,   3287,   2529] = [   4932,   4749,   1596] 1   5
[   5465,   2006,    120] = [   4897,   4613,   1171]     5
[   5466,   3844,   1328] = [   5187,   4558,    893] 1   5
[   5468,   1617,   1262] = [   5296,   3729,   1722]     5
[   5469,    470,    377] = [   4912,   4575,   1959]     5
[   5469,   2778,   1351] = [   5007,   4533,   1108]     5
[   5471,   3569,   1337] = [   5179,   4457,    741] 1   5
[   5472,   3067,   1064] = [   5019,   4512,   2622]     5
[   5476,   2899,    908] = [   5397,   3533,    353] 1   5
[   5477,    445,    355] = [   5012,   4229,   3336]     5
[   5482,   3128,   1196] = [   5091,   4494,    221] 1   5
[   5485,    831,    599] = [   4835,   4502,   3428]     5
[   5485,   2742,    595] = [   4994,   4576,   1472]     5
[   5486,   3068,   2183] = [   5191,   4328,   1218] 1   5
[   5491,   3056,   1997] = [   4902,   4766,    876] 1   5
[   5498,   3804,   1152] = [   5407,   4129,    918] 1   5
[   5498,   3078,   2747] = [   5369,   3951,   2003] 1   5
[   5507,   3257,    339] = [   5449,   3627,     27] 1   5
[   5509,   3570,   2267] = [   5094,   4632,   2730]     5
[   5512,   3016,    876] = [   5331,   4002,   1421]     5
[   5516,   3109,    312] = [   5506,   3202,    229] 1   5
[   5523,   3341,   1379] = [   5257,   4343,    643] 1   5
[   5524,   2170,    682] = [   5342,   3839,   1505]     5
[   5527,   3472,   1046] = [   4892,   4887,   2366]     5
[   5538,   1920,   1407] = [   5524,   2495,    846] 1   5
[   5538,   2412,   1493] = [   5362,   3868,    213] 1   5
[   5538,   1625,    872] = [   4921,   4714,   1490]     5
[   5540,   1115,   1064] = [   5235,   4189,    395]     5
[   5541,   4335,   4083] = [   5258,   5210,   1991]     5
[   5541,   2439,   1431] = [   5455,   3445,    511] 1   5
[   5547,   4568,   2728] = [   5159,   5153,   2531] 1   5
[   5547,   2967,   2573] = [   5270,   4330,   1487] 1   5
[   5550,   4600,   2913] = [   5468,   4769,   2826] 1   5
[   5552,    735,    370] = [   5439,   3482,   1306]     5
[   5553,   2724,    450] = [   5373,   3629,   3175]     5
[   5558,   2241,    913] = [   5206,   4333,   1573]     5
[   5558,   2997,   1176] = [   5365,   4060,    306] 1   5
[   5558,   3399,    484] = [   5514,   3664,    263] 1   5
[   5559,   1801,   1517] = [   5485,   3265,    127] 1   5
[   5559,   4289,   1946] = [   5530,   4369,   1895] 1   5
[   5560,   2248,    502] = [   5117,   4508,    995]     5
[   5561,   4399,   3227] = [   5342,   4867,   2978] 1   5
[   5564,   3687,   3098] = [   5334,   4519,   2496] 1   5
[   5565,   4150,   1140] = [   5378,   4605,    872] 1   5
[   5565,   1076,    155] = [   4981,   4227,   3918]     5
[   5567,    679,    673] = [   4682,   4679,   3858]     5
[   5567,   3603,    938] = [   5261,   4538,    309] 1   5
[   5568,   3584,   2281] = [   5453,   4101,   1879] 1   5
[   5572,   4334,   3536] = [   5314,   4917,   3211] 1   5
[   5588,   4970,   1107] = [   5470,   5139,   1056] 1   5
[   5596,   2196,   1959] = [   5110,   4590,   2151]     5
[   5601,   2519,   1991] = [   5007,   4781,    323] 1   5
[   5603,   2899,   2597] = [   5195,   4599,   1305] 1   5
[   5609,   3042,   1015] = [   5607,   3065,    994] 1   5
[   5611,   4518,   3914] = [   5373,   5041,   3629] 1   5
[   5614,   3756,   2347] = [   5512,   4178,   2027] 1   5
[   5621,   2491,   1743] = [   5071,   4731,     53] 1   5
[   5622,   2454,    340] = [   5037,   4764,   1555]     5
[   5622,   4487,   3833] = [   5524,   4772,   3646] 1   5
[   5624,   2427,   2223] = [   5128,   4669,    477] 1   5
[   5628,   1922,   1302] = [   5353,   3802,   3447]     5
[   5629,   4262,    579] = [   5132,   5114,    224] 1   5
[   5629,   3437,   1915] = [   5569,   3797,   1615] 1   5
[   5639,   2556,   2174] = [   5326,   4359,    684] 1   5
[   5649,   3871,   1659] = [   5233,   4859,   1087] 1   5
[   5656,   3683,   1273] = [   5633,   3803,   1176] 1   5
[   5658,   2986,   2879] = [   5336,   4524,   1663] 1   5
[   5663,   3010,   2447] = [   5314,   4535,   1271] 1   5
[   5669,   4133,   3211] = [   5653,   4207,   3153] 1   5
[   5672,   3901,   1523] = [   5561,   4268,   2167]     5
[   5673,   5022,   1516] = [   5580,   5161,   1470] 1   5
[   5676,   5170,    399] = [   5647,   5120,   3178]     5
[   5677,   2587,   2278] = [   5222,   4657,    663] 1   5
[   5682,   3018,   2363] = [   5061,   4793,   3309]     5
[   5686,   3815,    215] = [   5198,   4931,   2107]     5
[   5689,   3089,   1521] = [   5644,   3492,   1163] 1   5
[   5699,   3226,   2583] = [   5674,   3501,   2333] 1   5
[   5703,   2457,    542] = [   5206,   4702,    144]     5
[   5707,   2919,    991] = [   5647,   3499,    471] 1   5
[   5710,   4589,   4448] = [   5689,   5223,    685]     5
[   5711,   3037,   2553] = [   5541,   4134,   1626] 1   5
[   5713,   1718,   1697] = [   5595,   3303,   2990]     5
[   5713,   3491,   2117] = [   5421,   4555,   1345] 1   5
[   5715,   1730,    173] = [   5408,   3856,   3634]     5
[   5722,   4712,   1718] = [   5410,   5155,   2877]     5
[   5729,   2516,   1644] = [   5677,   3293,    919] 1   5
[   5729,   4364,    671] = [   5352,   5074,    638]     5
[   5733,   2527,   1593] = [   5629,   3658,    566] 1   5
[   5733,   3067,    914] = [   5689,   3474,    551] 1   5
[   5740,   2793,   2660] = [   5647,   3783,   1763] 1   5
[   5743,   2819,    857] = [   5729,   3027,    663] 1   5
[   5747,   1922,    808] = [   5740,   2302,    435] 1   5
[   5749,    147,     96] = [   5116,   4859,   2317]     5
[   5750,   1950,   1553] = [   5649,   3558,     46] 1   5
[   5751,   3379,   1178] = [   5429,   4581,    298] 1   5
[   5755,   2770,   2236] = [   5723,   3302,     86]     5
[   5769,   4013,     27] = [   5734,   3656,   3569]     5
[   5771,   2413,    385] = [   5456,   4340,   2553]     5
[   5777,   2311,   2149] = [   5669,   3697,    871] 1   5
[   5777,   1428,   1007] = [   5774,   1882,    556] 1   5
[   5779,   3623,   1711] = [   5228,   5017,    868] 1   5
[   5785,   3874,   3249] = [   5444,   4925,   2029]     5
[   5787,   2683,    879] = [   5493,   4384,   1572]     5
[   5787,   2157,   1808] = [   5767,   2817,    268]     5
[   5792,   3107,   1618] = [   5485,   4475,   2267]     5
[   5793,   4061,   1406] = [   5486,   4843,    931] 1   5
[   5795,   3101,   1824] = [   5438,   4612,    670] 1   5
[   5802,   2749,   2708] = [   5726,   3709,   1824] 1   5
[   5803,   1029,    780] = [   5403,   4560,   1429]     5
[   5810,   3089,   3065] = [   5807,   3243,   2914] 1   5
[   5811,   1162,    973] = [   5268,   4767,   2561]     5
[   5811,   1198,    877] = [   5806,   1993,     87] 1   5
[   5817,   4838,    163] = [   5586,   5219,    313]     5
[   5818,   3112,    786] = [   5684,   4001,     31] 1   5
[   5821,   4309,   1499] = [   5773,   4457,   1399] 1   5
[   5828,   3662,   3172] = [   5769,   4086,   2807] 1   5
[   5831,   3297,   2559] = [   5779,   3757,   2151] 1   5
[   5836,   3388,   3102] = [   5286,   5069,   1971] 1   5
[   5837,   3635,   2157] = [   5485,   4777,   1367] 1   5
[   5837,   3019,   1961] = [   5569,   4426,    822] 1   5
[   5837,   2593,   2534] = [   5637,   4198,   1129] 1   5
[   5838,   2272,    930] = [   5793,   3167,    260]     5
[   5853,   3497,    877] = [   5700,   4227,   1920]     5
[   5858,   3624,    686] = [   5835,   3768,    565] 1   5
[   5861,   5502,   1115] = [   5652,   5570,   3836]     5
[   5861,   2987,   1263] = [   5839,   3261,   1011] 1   5
[   5862,   2292,   2077] = [   5852,   2717,   1662] 1   5
[   5863,   3432,   2644] = [   5604,   4568,   1767] 1   5
[   5865,   5160,   2878] = [   5805,   5165,   3503]     5
[   5873,   3222,    355] = [   5639,   4200,   3181]     5
[   5879,   4723,   3838] = [   5513,   5393,   3534] 1   5
[   5882,   3466,   1149] = [   5757,   4142,    598] 1   5
[   5887,   3854,   3148] = [   5375,   5164,   2350] 1   5
[   5890,   2514,   1076] = [   5755,   3877,   1138]     5
[   5891,   4224,    253] = [   5772,   4588,      8] 1   5
[   5895,   5410,   1634] = [   5518,   5252,   4839]     5
[   5902,   4328,   4166] = [   5628,   5167,   3601] 1   5
[   5919,   4931,   1131] = [   5856,   5053,   1072] 1   5
[   5921,   3457,   1839] = [   5411,   5009,    797] 1   5
[   5928,   1291,    949] = [   5578,   4167,   3673]     5
[   5929,   4608,   1687] = [   5470,   5224,   3630]     5
[   5935,   2740,   1868] = [   5613,   4559,    371] 1   5
[   5936,   2468,    563] = [   5683,   4336,   1048]     5
[   5949,   3231,   2117] = [   5567,   4781,    949] 1   5
[   5949,   2444,   1748] = [   5674,   4413,     54] 1   5
[   5950,   3367,     97] = [   5927,   3562,   1185]     5
[   5950,   2702,   1225] = [   5682,   4306,   2889]     5
[   5962,   2298,    843] = [   5953,   2485,   1925]     5
[   5964,   3531,   1754] = [   5962,   3548,   1739] 1   5
[   5966,   3134,   1806] = [   5881,   3847,   1178] 1   5
[   5967,   3289,   1359] = [   5962,   3159,   2544]     5
[   5971,   2249,   1517] = [   5889,   3561,    287] 1   5
[   5982,    769,    698] = [   5249,   5160,   1780]     5
[   5989,   4568,   1596] = [   5988,   4024,   3941]     5
[   5994,   2984,   1431] = [   5922,   3703,     34]     5
[   5997,   3496,   1134] = [   5817,   4293,   2767]     5
[   5999,   4104,   1856] = [   5575,   5135,    409]     5
[   6001,   2878,     67] = [   5931,   3634,   1481]     5
[   6001,   5062,    573] = [   5855,   5310,   1311]     5
[   6007,   3383,   1057] = [   5752,   4559,    136] 1   5
[   6008,   1575,    427] = [   5653,   4557,   2510]     5
[   6019,   3614,   2073] = [   5854,   4413,   1439] 1   5
[   6019,   3658,   1533] = [   5858,   4408,    944] 1   5
[   6024,   4269,    625] = [   5700,   4999,   2919]     5
[   6031,   2673,   1988] = [   5478,   5028,    186] 1   5
[   6031,   5413,   3827] = [   5971,   5509,   3791] 1   5
[   6040,   2751,   2293] = [   5361,   5208,    515] 1   5
[   6042,   2945,   2248] = [   5934,   3956,   1345] 1   5
[   6043,   2261,    505] = [   6041,   2355,    413] 1   5
[   6048,   2442,   1796] = [   6031,   2926,   1329] 1   5
[   6048,   3117,   1471] = [   5837,   4383,    416] 1   5
[   6053,   3840,   3547] = [   5622,   5228,    610]     5
[   6058,   1842,   1234] = [   6036,   2749,   1699]     5
[   6062,   2123,    304] = [   5884,   4092,   1963]     5
[   6062,   5433,   2121] = [   5819,   5751,    396]     5
[   6064,   4538,   2672] = [   5594,   5431,   2249] 1   5
[   6064,   2372,   1993] = [   6025,   3254,   1150] 1   5
[   6073,   2762,   2054] = [   5619,   4911,    359] 1   5
[   6074,   3731,   3631] = [   5792,   4993,    401]     5
[   6076,   4025,      4] = [   5686,   4569,   4260]     5
[   6079,   3147,   1409] = [   5739,   4739,    157] 1   5
[   6081,   2703,   2279] = [   5783,   4597,    683] 1   5
[   6088,   2242,    952] = [   6085,   2390,    507]     5
[   6088,   3981,   3456] = [   5606,   5293,   2776]     5
[   6092,   3535,   2417] = [   5872,   4590,   1462]     5
[   6095,   3139,    201] = [   6075,   3348,   1842]     5
[   6096,   3160,   2253] = [   5708,   4866,   1325]     5
[   6097,   5487,   1751] = [   5837,   5811,   1687] 1   5
[   6097,   2703,   2470] = [   5542,   5095,    633] 1   5
[   6098,   4374,   3296] = [   5903,   4977,   2888] 1   5
[   6107,   2074,   1893] = [   5694,   4804,   1676]     5
[   6111,   3434,   1389] = [   6058,   3849,   1027] 1   5
[   6118,   3320,   1770] = [   5745,   4868,    655]     5
[   6119,   1399,    537] = [   6007,   3644,   2604]     5
[   6119,   4210,   3545] = [   5614,   5438,   2642]     5
[   6121,   4277,   2285] = [   5715,   5091,   3557]     5
[   6131,   3968,    557] = [   5950,   4531,   3085]     5
[   6133,   3275,   1102] = [   5803,   4320,   3957]     5
[   6134,   2415,   1541] = [   6133,   2495,   1042]     5
[   6134,   3561,   1841] = [   5719,   5011,    806] 1   5
[   6137,   3103,   1339] = [   6001,   4139,    439] 1   5
[   6141,   4009,   2243] = [   6089,   4271,   2033] 1   5
[   6141,   2989,   1747] = [   5425,   5327,    125] 1   5
[   6150,   1628,   1045] = [   5498,   5194,   1461]     5
[   6153,   3999,   1429] = [   5713,   5189,    679] 1   5
[   6163,   3627,   2349] = [   5771,   5019,   1349] 1   5
[   6164,   4693,   1494] = [   5644,   5589,   1118] 1   5
[   6169,   4453,   2191] = [   6049,   4823,   1941] 1   5
[   6175,   3929,   1497] = [   5827,   5025,    749] 1   5
[   6184,   3659,    521] = [   6133,   3999,    232] 1   5
[   6188,   1412,   1246] = [   6069,   3851,   1026]     5
[   6188,   3392,   2318] = [   5671,   5178,   1049] 1   5
[   6189,   4267,   3023] = [   5583,   5547,   2349] 1   5
[   6190,   4604,    970] = [   6181,   4534,   2939]     5
[   6190,   2435,    523] = [   6173,   2913,     62] 1   5
[   6192,   3276,   1493] = [   6168,   3541,   1252] 1   5
[   6198,   1407,    408] = [   6175,   2538,   2330]     5
[   6201,   2836,   1127] = [   5996,   3826,   3792]     5
[   6203,   2768,   2247] = [   6161,   3489,   1568] 1   5
[   6206,   3655,   2489] = [   5542,   5430,   1378] 1   5
[   6209,   1937,     53] = [   5908,   4599,    542]     5
[   6210,   5340,   1858] = [   5923,   5722,   2813]     5
[   6211,   4652,   2521] = [   5887,   5356,   2141] 1   5
[   6213,   4199,   2201] = [   5763,   5317,   1533] 1   5
[   6214,   3659,    235] = [   6179,   3910,     19] 1   5
[   6214,   4693,   3837] = [   5843,   5519,   3382] 1   5
[   6216,   3852,   2259] = [   5779,   5182,   1366] 1   5
[   6218,   3260,    523] = [   5988,   4500,   2603]     5
[   6218,   3791,    372] = [   5647,   5318,   2416]     5
[   6220,   2341,   1165] = [   6091,   3980,    375]     5
[   6223,   1797,   1341] = [   5905,   4186,   3890]     5
[   6223,   4833,    137] = [   5754,   5626,   1913]     5
[   6226,   4377,   1198] = [   5953,   5111,    737] 1   5
[   6229,   3746,   3444] = [   5990,   4885,   2544] 1   5
[   6229,   2603,   2226] = [   6204,   3226,   1628] 1   5
[   6229,   1597,    945] = [   6227,   1920,    624] 1   5
[   6231,   4638,   4129] = [   6052,   5383,   2513]     5
[   6234,   1833,   1127] = [   5974,   4419,   2701]     5
[   6237,   2435,    998] = [   5880,   4731,   2629]     5
[   6239,   2810,   1443] = [   6178,   3635,     79]     5
[   6241,   3789,    835] = [   5935,   4921,      9] 1   5
[   6241,   3012,   1757] = [   5956,   4677,    377] 1   5
[   6243,   3311,   3095] = [   6186,   3993,   2470] 1   5
[   6243,   3991,   3869] = [   5719,   5503,   2881] 1   5
[   6249,   4325,   2386] = [   5807,   5378,   1775] 1   5
[   6253,   2660,   2497] = [   5932,   4555,   3443]     5
[   6253,   2953,   1420] = [   5943,   4588,   3215]     5
[   6256,   4839,   3044] = [   5840,   5639,   1190]     5
[   6263,   4489,   2756] = [   5668,   5642,   2198] 1   5
[   6266,   3796,   2474] = [   5917,   5048,   1571] 1   5
[   6271,   4187,   2569] = [   5803,   5377,   1847] 1   5
[   6272,   2601,   1836] = [   6166,   3926,    617] 1   5
[   6274,    978,    701] = [   6203,   3515,   1175]     5
[   6278,   2191,    604] = [   6250,   3055,    398]     5
[   6279,   3053,   2806] = [   6198,   4001,   1939] 1   5
[   6280,   4310,    182] = [   5917,   5162,   3203]     5
[   6290,   3958,   1590] = [   6063,   4502,   3793]     5
[   6291,   2029,   1543] = [   6289,   2223,   1351] 1   5
[   6300,   4291,   3450] = [   5816,   5507,   2718] 1   5
[   6300,   3682,   2568] = [   5865,   5190,   1495] 1   5
[   6305,   5460,   2834] = [   5985,   5334,   4960]     5
[   6312,   2543,   1041] = [   6294,   3016,    586] 1   5
[   6312,   3646,   3412] = [   5882,   5261,   2227] 1   5
[   6313,   4487,   1893] = [   5693,   5675,   1325] 1   5
[   6316,   4095,   1362] = [   5670,   5567,    536] 1   5
[   6320,   5243,    322] = [   5947,   5800,   2118]     5
[   6321,   3692,   1428] = [   5601,   5551,    289] 1   5
[   6323,   3705,   2945] = [   5779,   5393,   1801] 1   5
[   6324,   5053,   1506] = [   6205,   5308,   1370] 1   5
[   6326,   4362,   2724] = [   5763,   5597,   1602]     5
[   6329,   2076,   1541] = [   6141,   4161,   2944]     5
[   6332,   3326,   3113] = [   5986,   5016,   1769] 1   5
[   6332,   2799,   1123] = [   6284,   3537,    433] 1   5
[   6338,   1670,    137] = [   6071,   4029,   3925]     5
[   6339,   4231,   1615] = [   6074,   5065,   1046] 1   5
[   6339,   4497,   2751] = [   6187,   4987,   2413] 1   5
[   6341,   2422,   1979] = [   6332,   2812,   1598] 1   5
[   6342,   3636,   3603] = [   6291,   4252,   3038] 1   5
[   6348,   2732,   1968] = [   5981,   4904,    163] 1   5
[   6352,   2473,    489] = [   5747,   5294,   1423]     5
[   6353,   3480,   1647] = [   5867,   5220,   2133]     5
[   6353,   2749,   2333] = [   6033,   4813,    589] 1   5
[   6354,   2436,     47] = [   5879,   5091,    117]     5
[   6373,   3963,   1427] = [   5939,   5281,    543] 1   5
[   6379,   2548,   1577] = [   6324,   3551,    629] 1   5
[   6379,   3833,   2657] = [   6089,   5003,   1777] 1   5
[   6383,   4881,   3644] = [   6012,   5658,   3238] 1   5
[   6384,   1429,    486] = [   6046,   4629,   3324]     5
[   6385,   1843,   1649] = [   6328,   3464,     85] 1   5
[   6389,   3187,   2048] = [   5689,   5504,    431] 1   5
[   6391,   3858,    674] = [   6298,   4378,    247] 1   5
[   6403,   2382,   1635] = [   6365,   3321,     14]     5
[   6406,   2102,   1433] = [   6396,   2649,    896] 1   5
[   6411,   4123,   1987] = [   5891,   5483,   1147] 1   5
[   6412,   4603,   2202] = [   6264,   5051,   1902] 1   5
[   6414,   5573,   1166] = [   6363,   5579,   3311]     5
[   6417,   2532,   2396] = [   6007,   5037,    301] 1   5
[   6419,   4532,    918] = [   6336,   4819,    714] 1   5
[   6419,   3645,   1371] = [   6045,   5107,    283] 1   5
[   6421,   3534,   1512] = [   6218,   4652,    597] 1   5
[   6423,   3502,   1984] = [   6344,   4134,   1431] 1   5
[   6423,   3004,   2846] = [   5998,   5143,   1132] 1   5
[   6424,   4906,   3296] = [   6283,   5282,   3061] 1   5
[   6424,   4435,    905] = [   6297,   4868,   1859]     5
[   6429,   3652,   3388] = [   6353,   4357,   2759] 1   5
[   6436,   4187,   1178] = [   6212,   4986,    603] 1   5
[   6437,   3473,   1084] = [   6299,   4396,    299] 1   5
[   6442,   2189,    506] = [   5527,   5029,   4881]     5
[   6445,   4256,   2759] = [   5920,   5573,   1967] 1   5
[   6447,   4047,   1931] = [   6112,   5177,   1136] 1   5
[   6447,   3914,   2998] = [   5803,   5637,   1919] 1   5
[   6451,   3999,   2983] = [   6313,   4712,   2408] 1   5
[   6457,   4408,   2468] = [   6178,   5241,   1914] 1   5
[   6461,   4124,   3953] = [   6297,   5013,   3228] 1   5
[   6462,   2613,   2183] = [   6033,   5099,    126] 1   5
[   6465,   3183,   1885] = [   6173,   4849,    511] 1   5
[   6467,   3359,    589] = [   6399,   3989,     27] 1   5
[   6469,   5297,   4991] = [   6157,   5979,   4621] 1   5
[   6469,   3116,   1663] = [   6219,   4716,    313] 1   5
[   6470,   5144,   4383] = [   6335,   5758,   1894]     5
[   6474,   2193,   1147] = [   6213,   4647,    904]     5
[   6476,   4020,    783] = [   6211,   5023,     45] 1   5
[   6476,    210,     41] = [   6326,   4110,   2441]     5
[   6476,   4275,   3975] = [   6147,   5431,   3148] 1   5
[   6486,   2553,    652] = [   6462,   3116,   1913]     5
[   6488,   2787,   1769] = [   6469,   3224,   1351] 1   5
[   6491,   3353,   1447] = [   6048,   5216,     27] 1   5
[   6493,   5014,   1187] = [   6272,   5494,    928] 1   5
[   6495,   1249,    795] = [   6491,   2044,   1264]     5
[   6498,   3387,   3198] = [   6203,   5018,    662]     5
[   6502,   4446,   3428] = [   5616,   5393,   5167]     5
[   6505,   4442,   2903] = [   6166,   5404,   2280] 1   5
[   6518,   3189,   1764] = [   6229,   4868,    524]     5
[   6520,   4569,   3493] = [   6184,   5503,   2895] 1   5
[   6521,   2252,    274] = [   6151,   4837,   3309]     5
[   6526,   4487,   1447] = [   6397,   4942,   1121] 1   5
[   6527,   5196,    745] = [   6407,   5441,   2330]     5
[   6531,   2963,   1637] = [   6278,   4731,    122] 1   5
[   6532,   4231,   3129] = [   6184,   5362,   2346] 1   5
[   6537,   3271,    244] = [   6207,   4913,   2982]     5
[   6538,   3878,   3297] = [   6113,   5408,   2192] 1   5
[   6543,   4667,    294] = [   6469,   4918,    117] 1   5
[   6553,   3455,    925] = [   6350,   4100,   4053]     5
[   6553,   1279,    896] = [   6243,   4821,    214]     5
[   6554,   2831,    468] = [   5743,   5702,    358]     5
[   6558,   2754,   1090] = [   5989,   5398,   1115]     5
[   6560,   4503,   1090] = [   6231,   5404,    518] 1   5
[   6563,   1887,   1617] = [   6192,   4950,   2675]     5
[   6568,   3844,   2391] = [   6462,   4503,   1838] 1   5
[   6574,   4872,   1381] = [   6278,   5552,    997] 1   5
[   6578,   5066,    132] = [   6047,   5921,   3108]     5
[   6583,   3199,   1776] = [   6384,   4623,    551] 1   5
[   6587,   5438,   3041] = [   6526,   5567,   2973] 1   5
[   6587,   4956,   4780] = [   6230,   6107,   1436]     5
[   6587,   4300,   1622] = [   6320,   4987,   3722]     5
[   6597,   1218,    813] = [   6595,   1855,    178] 1   5
[   6601,    845,    249] = [   6495,   3814,   2786]     5
[   6604,   3294,   2826] = [   6563,   3892,   2269] 1   5
[   6604,   2485,    746] = [   6325,   4794,   1056]     5
[   6604,   3401,   2423] = [   5938,   5642,    848] 1   5
[   6609,   1113,    746] = [   6543,   3435,   2690]     5
[   6609,   4807,   2477] = [   6492,   5182,    869]     5
[   6610,   3221,    842] = [   6477,   4355,    261]     5
[   6611,   3289,   2931] = [   6576,   3856,   2399] 1   5
[   6611,   4440,   2461] = [   6061,   5700,   3011]     5
[   6611,   3501,   1089] = [   6377,   4823,      1] 1   5
[   6612,   4893,   1199] = [   6061,   5919,    724] 1   5
[   6617,   4748,   2951] = [   6316,   5550,   1400]     5
[   6622,   5213,   4599] = [   6219,   6046,   4169] 1   5
[   6626,    169,     87] = [   6586,   3282,    614]     5
[   6634,   2821,    442] = [   6247,   5075,   2715]     5
[   6638,   3253,     52] = [   5880,   5218,   4725]     5
[   6638,    573,     13] = [   6153,   5198,   3073]     5
[   6640,   3175,    174] = [   6599,   3724,    476]     5
[   6641,   5039,   3733] = [   6403,   5637,   3373] 1   5
[   6646,   1476,    929] = [   6553,   3811,   2437]     5
[   6650,   5229,   2950] = [   6200,   5965,   3354]     5
[   6659,   4041,   3791] = [   6321,   5427,   2743] 1   5
[   6659,   1775,    255] = [   5754,   5506,   4449]     5
[   6662,   5349,   2011] = [   6370,   5880,   1772] 1   5
[   6663,   4207,   1209] = [   6339,   5309,    431] 1   5
[   6669,   4586,   1523] = [   6564,   4778,   3536]     5
[   6675,   3527,    455] = [   6391,   4977,   2409]     5
[   6679,   3843,   2342] = [   6007,   5763,   1844]     5
[   6679,   4072,   3298] = [   6408,   5252,    439]     5
[   6681,   5746,   5094] = [   6636,   5868,   5017] 1   5
[   6683,   2744,   2042] = [   6540,   4350,    219]     5
[   6686,   2713,   2354] = [   6123,   5487,    143] 1   5
[   6687,   5279,   3469] = [   6507,   5754,     24]     5
[   6691,   1667,   1253] = [   6681,   2587,    343] 1   5
[   6692,   4588,   3462] = [   6117,   5915,   2710] 1   5
[   6692,   3019,   2182] = [   6667,   3512,   1714] 1   5
[   6694,   2695,   2027] = [   6447,   4774,    195] 1   5
[   6695,   6263,   5182] = [   6670,   6301,   5169] 1   5
[   6697,   5309,    867] = [   6377,   5899,    597] 1   5
[   6697,   2938,    415] = [   6681,   3279,    420]     5
[   6698,   3004,   1501] = [   6493,   4658,     52] 1   5
[   6701,   2878,    324] = [   6114,   5528,   1261]     5
[   6703,   1570,    934] = [   6628,   3759,     80]     5
[   6711,   4144,   1410] = [   6572,   4308,   4055]     5
[   6714,   5143,    518] = [   6363,   5843,    169] 1   5
[   6716,   3739,   2469] = [   6578,   4642,   1704] 1   5
[   6719,   3551,   1349] = [   6563,   4612,    444] 1   5
[   6726,   3589,   1338] = [   6401,   5149,    103] 1   5
[   6727,   5163,   2069] = [   6422,   5799,    988]     5
[   6728,   2650,    180] = [   6299,   5253,    676]     5
[   6730,   2382,    860] = [   6628,   4047,   1457]     5
[   6731,   2143,   1847] = [   6666,   3729,    326] 1   5
[   6736,   5342,   4762] = [   6661,   5952,   2427]     5
[   6738,   2938,   1794] = [   6493,   4814,    163] 1   5
[   6746,   2113,   1142] = [   6735,   2751,    515] 1   5
[   6747,   4046,   2639] = [   6174,   5737,   1521] 1   5
[   6751,   2865,   2483] = [   6708,   3651,   2400]     5
[   6752,   5007,   1553] = [   6530,   5212,   4300]     5
[   6753,   3954,    976] = [   6638,   4628,    417] 1   5
[   6755,   5541,   3445] = [   6697,   5671,   3373] 1   5
[   6758,   5744,   1492] = [   6634,   5957,   1403] 1   5
[   6758,   5262,   1234] = [   6714,   5267,   3373]     5
[   6766,   1294,    524] = [   6760,   2309,    955]     5
[   6770,   3209,   2498] = [   6020,   5833,    624] 1   5
[   6773,   4279,   3787] = [   6423,   5567,   2849] 1   5
[   6778,   5037,   4508] = [   6446,   5928,   3949] 1   5
[   6781,   5276,   1508] = [   6581,   5713,   1271] 1   5
[   6789,   1336,    875] = [   6085,   5675,   2880]     5
[   6789,   4552,   3771] = [   6422,   5736,   1454]     5
[   6792,   3259,   3137] = [   6472,   5189,   1527] 1   5
[   6799,   3423,   2427] = [   6379,   5383,    887] 1   5
[   6800,   2715,   1687] = [   6253,   5242,   4117]     5
[   6800,   2788,   2152] = [   6773,   3467,    540]     5
[   6802,   4976,   1603] = [   6531,   5646,   1204] 1   5
[   6808,   3249,   2669] = [   6129,   5784,    813] 1   5
[   6811,   4577,   1403] = [   6538,   5431,    822] 1   5
[   6812,   3619,   3256] = [   6706,   4579,   2402] 1   5
[   6812,   5426,   3618] = [   6576,   5919,   3361] 1   5
[   6814,   4171,   3791] = [   6547,   5383,   2846] 1   5
[   6814,   1620,    711] = [   6770,   3367,   2158]     5
[   6815,   2457,   1983] = [   6741,   3899,    615] 1   5
[   6816,   4322,   1803] = [   6091,   6012,    838] 1   5
[   6817,   2623,   2088] = [   6718,   4018,   2742]     5
[   6819,   3527,   2233] = [   6709,   4451,   1419] 1   5
[   6825,   2957,   2875] = [   6627,   4761,   1269] 1   5
[   6826,   1561,    519] = [   6419,   5166,   3021]     5
[   6833,   3550,   1901] = [   6725,   4441,   1118] 1   5
[   6835,   3372,   1709] = [   6542,   5080,   1164]     5
[   6837,   5977,   1313] = [   6741,   6129,   1257] 1   5
[   6838,   2906,   2291] = [   6643,   4696,    696] 1   5
[   6844,   4151,   1887] = [   6569,   4622,   4541]     5
[   6853,   4327,   2771] = [   6237,   5931,   1783] 1   5
[   6856,   2569,   1847] = [   6799,   3761,    712] 1   5
[   6857,   4992,   4944] = [   6559,   5987,   4247] 1   5
[   6859,   3761,   2654] = [   6794,   4317,   2463]     5
[   6863,   5856,   4157] = [   6496,   6407,   3973] 1   5
[   6867,   3789,   3003] = [   6369,   5659,   1631] 1   5
[   6869,   3973,   2777] = [   6669,   5033,   1917] 1   5
[   6872,   5586,   4028] = [   6822,   5713,   3951] 1   5
[   6879,   4318,   3105] = [   6364,   5833,   1175]     5
[   6883,   3493,   2423] = [   6783,   4418,   1598] 1   5
[   6886,   4098,   3177] = [   6650,   5225,   2286] 1   5
[   6889,   2686,   1461] = [   6791,   4142,    103] 1   5
[   6889,   3533,   3009] = [   6353,   5689,   1389] 1   5
[   6889,   2901,   2097] = [   6497,   5301,     89] 1   5
[   6891,   2778,   2194] = [   6568,   5124,    171] 1   5
[   6893,   2617,   2086] = [   6676,   4529,   3541]     5
[   6897,   5038,   3724] = [   6844,   5246,   3569] 1   5
[   6899,   4959,   2436] = [   6484,   5913,   1897] 1   5
[   6904,   4493,   3667] = [   6818,   5099,    597]     5
[   6904,   3464,   2401] = [   6397,   5609,    763] 1   5
[   6904,   3041,   2707] = [   6651,   4984,   1017] 1   5
[   6913,   5461,   1737] = [   6609,   6041,   1461] 1   5
[   6917,   3995,   3898] = [   6602,   5538,    540]     5
[   6920,   2250,   1587] = [   6792,   4234,   2611]     5
[   6921,   2709,   1927] = [   6807,   4281,    469] 1   5
[   6922,   1429,    848] = [   5813,   5702,   5034]     5
[   6925,   2880,    350] = [   6700,   4814,   2061]     5
[   6930,   4217,    231] = [   6480,   5676,    572]     5
[   6932,   2545,    168] = [   6075,   6009,   1341]     5
[   6934,   3171,   1612] = [   6782,   4579,    356] 1   5
[   6936,   3349,   1356] = [   6846,   4277,   1568]     5
[   6937,   3624,   1703] = [   6118,   6054,     92] 1   5
[   6945,   4386,   1258] = [   6741,   4903,   4005]     5
[   6946,   2463,   2206] = [   6923,   3321,   1371] 1   5
[   6948,   6572,    947] = [   6805,   6735,   1167]     5
[   6950,   3725,   2026] = [   6491,   5587,    623] 1   5
[   6954,   4475,   3787] = [   6887,   5055,   2104]     5
[   6955,   1700,    221] = [   6707,   4821,   2568]     5
[   6959,   3187,   2641] = [   6621,   5267,    899] 1   5
[   6961,   3918,   2224] = [   6868,   4586,   1649] 1   5
[   6967,   3679,   2818] = [   6909,   4297,   2258] 1   5
[   6971,   3169,   1655] = [   6955,   3487,   1353] 1   5
[   6972,   4313,   1415] = [   6312,   5580,   4798]     5
[   6972,   4201,   1474] = [   6697,   5334,    616] 1   5
[   6973,   5415,   2067] = [   6741,   5915,   1799] 1   5
[   6975,   6063,   3814] = [   6933,   6244,    105]     5
[   6975,   5993,    822] = [   6671,   6265,   4244]     5
[   6976,   4800,   1413] = [   6425,   6053,    711] 1   5
[   6981,   3980,   2683] = [   6848,   4830,   1966] 1   5
[   6984,   6035,   3203] = [   6925,   6178,   2009]     5
[   6988,   3858,   1707] = [   6574,   5546,   1483]     5
[   6989,   3462,   1961] = [   6326,   5887,    199] 1   5
[   6991,   3671,   1174] = [   6937,   4198,    701] 1   5
[   6993,   4176,   3376] = [   6811,   5161,   2573] 1   5
[   6995,   3327,   2693] = [   6351,   5869,    795] 1   5
[   7005,   3588,    705] = [   6850,   4735,    463]     5
[   7008,   4952,   1574] = [   6757,   5659,   1118] 1   5
[   7009,   2036,     58] = [   6614,   5328,    161]     5
[   7009,   5159,   4177] = [   6569,   6179,   3597] 1   5
[   7009,   3794,   2766] = [   6644,   5473,   1452] 1   5
[   7017,   3287,   1966] = [   6722,   5172,    376] 1   5
[   7018,   1159,    857] = [   6534,   5480,   2810]     5
[   7019,   5180,    305] = [   6514,   6049,   3931]     5
[   7024,   1437,    995] = [   6882,   4404,   1590]     5
[   7025,   3936,   1417] = [   6771,   5207,    400] 1   5
[   7025,   5524,   1211] = [   6793,   5292,   5155]     5
[   7034,   5159,   2661] = [   7017,   5219,   2618] 1   5
[   7036,   4998,   1432] = [   6241,   6122,   4703]     5
[   7039,   5001,   4921] = [   6977,   5466,   4518] 1   5
[   7041,   2699,   2527] = [   6907,   4493,    867] 1   5
[   7043,   4014,   2525] = [   6510,   5838,    844]     5
[   7044,   3756,   2483] = [   6889,   4841,   1553] 1   5
[   7047,   3454,   1161] = [   7007,   3966,    689] 1   5
[   7054,   4633,   4217] = [   6877,   5493,   3534] 1   5
[   7055,   4743,    729] = [   7005,   4963,    559] 1   5
[   7069,   4673,    527] = [   6913,   5277,     79] 1   5
[   7069,   4969,   1142] = [   6822,   5679,    679] 1   5
[   7071,   4967,   1983] = [   6671,   5959,   1391] 1   5
[   7071,   4693,   1418] = [   6781,   5623,    778] 1   5
[   7072,   3621,   3568] = [   6519,   5891,   1851] 1   5
[   7076,   5499,   5264] = [   6971,   5954,   4914] 1   5
[   7076,   3959,   3337] = [   7074,   3996,   3302] 1   5
[   7079,   4663,   2512] = [   6687,   5823,   1744] 1   5
[   7082,   2236,   1183] = [   7071,   2874,    556] 1   5
[   7085,   3463,   2394] = [   6595,   5168,   4689]     5
[   7101,   2390,   1635] = [   6991,   4284,   1201]     5
[   7102,   1983,    538] = [   6456,   5439,   4628]     5
[   7103,   1796,   1089] = [   6600,   5240,   4388]     5
[   7104,   2666,   1975] = [   7060,   3726,    119]     5
[   7108,   2509,      2] = [   7068,   3594,   1357]     5
[   7113,   4997,   2769] = [   6949,   5537,   2393] 1   5
[   7118,   3066,   2775] = [   6908,   4951,   1100] 1   5
[   7119,   2724,   2498] = [   6799,   5254,    288] 1   5
[   7128,   1045,    357] = [   7120,   2217,   2193]     5
[   7135,   2237,    399] = [   7064,   3947,     20]     5
[   7136,   4503,   3687] = [   6832,   5693,   2801] 1   5
[   7139,   2798,   2341] = [   7022,   4433,    823] 1   5
[   7140,   1408,   1265] = [   5928,   5844,   5361]     5
[   7143,   4349,   1702] = [   6499,   6118,    577] 1   5
[   7146,   2286,   2199] = [   7046,   4247,    338] 1   5
[   7147,   1626,   1383] = [   7146,   1949,   1061] 1   5
[   7149,   3151,   1633] = [   6989,   4711,    233] 1   5
[   7151,   3399,   1221] = [   6511,   5659,   4401]     5
[   7154,    608,      7] = [   7149,   2247,   1523]     5
[   7155,   2354,   1785] = [   6889,   5027,   2588]     5
[   7157,   3536,   3178] = [   6716,   5694,   1461] 1   5
[   7163,   4769,   2336] = [   6421,   6368,   1479] 1   5
[   7163,   5281,    361] = [   6981,   5768,     56] 1   5
[   7166,   4616,    689] = [   6417,   6008,   4696]     5
[   7167,   3673,   3277] = [   6441,   6159,   1517] 1   5
[   7167,   4646,    982] = [   7067,   5097,   1531]     5
[   7168,   4407,    786] = [   7031,   5086,    244] 1   5
[   7169,   3068,   2392] = [   6742,   5569,    318] 1   5
[   7169,   3996,   2498] = [   6758,   5688,   1217] 1   5
[   7180,   4081,   1512] = [   6987,   5135,    231]     5
[   7187,   2451,   1581] = [   7111,   4051,     57] 1   5
[   7187,   3881,   2913] = [   6713,   5811,   1457] 1   5
[   7189,   3323,   1831] = [   7033,   4751,    559] 1   5
[   7190,   3029,   1121] = [   7145,   3804,   2221]     5
[   7196,   3805,   3293] = [   7180,   4091,   3023] 1   5
[   7197,   3879,   2221] = [   7122,   4529,   1646] 1   5
[   7197,   2358,   1166] = [   6961,   4921,   2739]     5
[   7199,   5135,   2419] = [   7164,   5105,   3654]     5
[   7199,   4916,   1818] = [   7185,   4975,   1983]     5
[   7199,   6636,   4732] = [   7087,   6991,    289]     5
[   7204,   5644,   3951] = [   7017,   6093,   3689] 1   5
[   7214,   5213,   3166] = [   6685,   6340,   2568] 1   5
[   7215,   4405,   2205] = [   6917,   5583,   1325] 1   5
[   7219,   5429,   1643] = [   6803,   6279,   1209] 1   5
[   7224,   2901,   1455] = [   6905,   5088,   3787]     5
[   7224,   3683,   3142] = [   7075,   4924,   2050] 1   5
[   7232,   2868,   1346] = [   7217,   3318,    911] 1   5
[   7233,   5086,   2447] = [   7203,   5226,    237]     5
[   7234,   4195,   4140] = [   6824,   5958,   1827]     5
[   7239,   4384,   1796] = [   6407,   6398,    614] 1   5
[   7241,   3639,   2716] = [   6626,   6022,    948] 1   5
[   7247,   3594,   2146] = [   7215,   3820,   3062]     5
[   7249,   2516,   1452] = [   7116,   4337,   3214]     5
[   7258,   4026,     89] = [   7098,   4664,   3961]     5
[   7264,   3175,   2293] = [   7173,   4200,   3159]     5
[   7265,   3216,    607] = [   7021,   4595,   4302]     5
[   7267,   3261,   2953] = [   7001,   5263,   1217] 1   5
[   7269,   3073,   1943] = [   7114,   4733,    438] 1   5
[   7273,   4394,   2775] = [   6524,   6350,   1568] 1   5
[   7273,   3415,   2063] = [   7215,   4193,   1343] 1   5
[   7276,   5334,   5142] = [   7027,   6221,   4504] 1   5
[   7278,   5732,   2615] = [   6903,   6107,   4805]     5
[   7281,   3219,   2916] = [   6641,   5363,   5162]     5
[   7285,   4434,    555] = [   6934,   5710,   2660]     5
[   7285,   6419,   5565] = [   7133,   6707,   5429] 1   5
[   7286,   5837,    589] = [   7014,   6351,    347] 1   5
[   7291,   3033,   2507] = [   6683,   5977,    171] 1   5
[   7291,   3110,   1189] = [   7224,   4140,   1456]     5
[   7291,   4443,   2369] = [   6956,   5719,   1428] 1   5
[   7292,   4412,   2978] = [   6553,   6362,   1767] 1   5
[   7292,   5526,   4773] = [   7141,   6034,   4416] 1   5
[   7294,   6857,   3778] = [   7109,   7071,   3749] 1   5
[   7303,   5033,   2521] = [   6793,   6261,   1803] 1   5
[   7309,   2973,   2532] = [   7039,   5230,   1115]     5
[   7312,   5168,   4641] = [   7237,   5581,   4303] 1   5
[   7319,   2657,   2457] = [   6609,   6022,   3702]     5
[   7320,   2459,   1335] = [   7076,   4779,   3879]     5
[   7320,   6339,   1437] = [   7242,   6470,    334]     5
[   7321,   5489,   3547] = [   6875,   6425,   3057] 1   5
[   7322,   4620,   1595] = [   6619,   6366,    762]     5
[   7324,   2445,   1543] = [   7319,   2770,   1373]     5
[   7327,   2266,    545] = [   6286,   6030,   5082]     5
[   7328,   5174,   1036] = [   7121,   5794,    623] 1   5
[   7343,   3964,   2731] = [   6519,   6396,   1123] 1   5
[   7345,   3855,   2248] = [   6986,   5628,    834] 1   5
[   7345,   4949,    467] = [   7294,   5172,    505]     5
[   7346,   4282,   1418] = [   6909,   5891,    246] 1   5
[   7346,   3808,   3162] = [   7212,   4943,   2161] 1   5
[   7351,   2989,   1739] = [   7332,   3503,   1244] 1   5
[   7353,   2568,    296] = [   7256,   4313,    598]     5
[   7356,   3283,   1200] = [   7341,   3573,   1825]     5
[   7361,   5263,   2782] = [   7253,   5627,   2526] 1   5
[   7362,   3046,   2962] = [   6317,   5747,   5656]     5
[   7363,   5848,   4142] = [   6851,   6734,   3768] 1   5
[   7367,   5081,    576] = [   6662,   6426,   3986]     5
[   7369,   4753,   1686] = [   7319,   5011,   1478] 1   5
[   7369,   5094,   2264] = [   7049,   6004,   1674] 1   5
[   7371,   1813,    887] = [   7346,   3292,    183]     5
[   7377,   3898,   1102] = [   7246,   4882,    849]     5
[   7381,   4204,   3947] = [   6926,   6054,   2552] 1   5
[   7385,   2955,    157] = [   7198,   4897,   2212]     5
[   7387,   2088,   1992] = [   7317,   4053,     97] 1   5
[   7388,   5812,    893] = [   6781,   6778,    534] 1   5
[   7391,   2549,   2469] = [   7124,   5228,     57] 1   5
[   7394,   3573,   2823] = [   6498,   6463,    829] 1   5
[   7396,   6862,   4828] = [   7320,   7005,   4611]     5
[   7397,   6978,   2756] = [   7333,   7056,   2742] 1   5
[   7397,   2953,   2773] = [   7021,   5593,    509] 1   5
[   7397,   3485,   1179] = [   7389,   3635,   1037] 1   5
[   7399,   5802,    883] = [   7023,   6507,    554] 1   5
[   7399,   4358,   2792] = [   7014,   5863,   1672] 1   5
[   7401,   2391,   1470] = [   7120,   5251,    541]     5
[   7404,   4084,   3546] = [   7077,   5723,   2234] 1   5
[   7405,   3445,   2233] = [   6861,   5973,    249] 1   5
[   7413,   5579,   1907] = [   6977,   6463,   1459] 1   5
[   7417,   3913,    871] = [   7391,   4201,    609] 1   5
[   7419,   4175,   2163] = [   6605,   5733,   5499]     5
[   7420,   4969,   4951] = [   7296,   5770,   4274] 1   5
[   7423,   6742,   3475] = [   7300,   6951,   1739]     5
[   7427,   4154,   4093] = [   7164,   5684,   2826] 1   5
[   7431,   2171,   1379] = [   7411,   3239,    331] 1   5
[   7433,   4889,   3347] = [   6994,   5557,   5218]     5
[   7433,   4249,   2381] = [   6697,   6393,    973] 1   5
[   7445,   4773,   1174] = [   7343,   5254,    795] 1   5
[   7448,   2600,    475] = [   6994,   5403,   4426]     5
[   7456,   3489,   1920] = [   7105,   5558,   2812]     5
[   7456,   2819,   2400] = [   7099,   5551,     25] 1   5
[   7457,   3623,   1290] = [   6725,   6211,   3694]     5
[   7460,   6551,    521] = [   7056,   6980,   4066]     5
[   7463,   4816,   3109] = [   7397,   5223,    668]     5
[   7467,   3549,   1533] = [   7343,   4757,    449] 1   5
[   7470,   5457,   1307] = [   7087,   6205,   4002]     5
[   7474,   2218,   1166] = [   7283,   4685,   3630]     5
[   7481,   6599,   2524] = [   7423,   6694,   2337]     5
[   7491,   5159,   1437] = [   6947,   6439,    701] 1   5
[   7506,   3147,   1198] = [   7451,   4109,    291] 1   5
[   7508,   1573,    847] = [   6823,   6189,    666]     5
[   7509,   4971,   2337] = [   6929,   6431,   1457] 1   5
[   7511,   6850,   5398] = [   7310,   6871,   5938]     5
[   7513,   3080,   3065] = [   7378,   4719,   3091]     5
[   7516,   4605,     75] = [   7476,   4827,   2413]     5
[   7516,   5537,   2672] = [   7132,   6106,   4737]     5
[   7518,    651,    164] = [   7211,   4698,   4674]     5
[   7519,   4673,    899] = [   7449,   5063,    579] 1   5
[   7521,   5881,   5523] = [   7116,   7096,    813]     5
[   7521,   3647,   3248] = [   7396,   4688,   3682]     5
[   7529,   3305,   3222] = [   7437,   4580,   2789]     5
[   7531,   3301,   1358] = [   7008,   5991,    841]     5
[   7538,   5707,   2837] = [   7332,   6220,   2380]     5
[   7549,   5031,   2863] = [   7319,   5853,   2271] 1   5
[   7554,   5817,   4188] = [   7353,   6332,   3874] 1   5
[   7556,   4823,    585] = [   7188,   6041,   1415]     5
[   7558,   4529,   1082] = [   6834,   5892,   5393]     5
[   7559,   6413,   4489] = [   7469,   6593,   4399] 1   5
[   7559,   4569,   1277] = [   7357,   5519,    529] 1   5
[   7560,   2174,    530] = [   7174,   5645,   1555]     5
[   7564,   4553,   2862] = [   6863,   6509,    557]     5
[   7565,   1352,     19] = [   6690,   6232,   4564]     5
[   7567,   3613,   3339] = [   7488,   4672,   2359] 1   5
[   7570,   5762,   1833] = [   7204,   6416,   3945]     5
[   7573,   6531,   4091] = [   7443,   6756,   3996] 1   5
[   7579,   4873,   4031] = [   6823,   6731,   2929] 1   5
[   7581,   4254,   2863] = [   6729,   6563,   3656]     5
[   7581,   2760,    400] = [   7537,   3743,   2701]     5
[   7581,    298,    227] = [   7046,   5982,   1678]     5
[   7583,   2717,   2547] = [   7491,   4447,    909] 1   5
[   7584,   3681,    703] = [   7354,   5276,   2788]     5
[   7588,   5162,   1759] = [   7528,   5414,   1567] 1   5
[   7592,   5008,   4882] = [   7114,   6557,   3811] 1   5
[   7592,   4427,   2611] = [   7077,   6217,   1336] 1   5
[   7594,   1674,    590] = [   7039,   5510,   4929]     5
[   7599,   4696,   3566] = [   6867,   6591,   3453]     5
[   7600,   3335,   1263] = [   7554,   4041,   2493]     5
[   7602,   4102,   1973] = [   7563,   4467,   2247]     5
[   7603,   4656,    527] = [   7541,   5026,    669]     5
[   7609,   5096,   3104] = [   7369,   5957,    683]     5
[   7609,   4845,   1605] = [   7157,   6233,    669] 1   5
[   7617,   6019,   2831] = [   7049,   6951,   2467] 1   5
[   7617,   4263,   2991] = [   7493,   5147,   2231] 1   5
[   7619,   2557,    350] = [   7210,   5752,   1224]     5
[   7620,   5057,   3008] = [   6811,   6129,   5685]     5
[   7621,   3163,   2999] = [   7411,   5229,   1143] 1   5
[   7622,   4379,     68] = [   6939,   5972,   5158]     5
[   7624,   4066,   3686] = [   7056,   6313,   2007] 1   5
[   7626,   4463,   1517] = [   7113,   6227,    266] 1   5
[   7629,   3641,   1763] = [   7609,   3971,   1453] 1   5
[   7633,   3157,   2907] = [   7254,   5761,    682] 1   5
[   7637,   4201,   2999] = [   7162,   6133,   1542] 1   5
[   7639,   6423,   6161] = [   7579,   6671,   5973] 1   5
[   7643,   2967,    475] = [   7581,   3754,   3500]     5
[   7651,   5450,   1710] = [   7228,   6467,    906]     5
[   7652,   2193,   1528] = [   7633,   3286,    454] 1   5
[   7654,   6416,    557] = [   7277,   6994,    356] 1   5
[   7654,   2943,   2697] = [   6849,   6439,   3456]     5
[   7657,   4511,   3869] = [   7639,   4737,   3661] 1   5
[   7662,   2573,   2313] = [   7503,   4894,    151] 1   5
[   7666,   4182,   1029] = [   7266,   5957,   1154]     5
[   7673,   4277,   1586] = [   7233,   5806,   4397]     5
[   7674,   5057,   2441] = [   6859,   6826,   1487] 1   5
[   7677,   4973,   3393] = [   7441,   5909,   2693] 1   5
[   7681,   5360,   4110] = [   7345,   6425,   1431]     5
[   7684,   3325,   2956] = [   7627,   4363,   1975] 1   5
[   7691,   3765,   3327] = [   7615,   4736,   2432] 1   5
[   7698,   3967,   2497] = [   7312,   5910,    880]     5
[   7702,   1754,   1700] = [   7307,   5749,   1880]     5
[   7703,   2808,   1590] = [   7553,   4525,   3833]     5
[   7714,    266,     58] = [   7713,   1720,   1215]     5
[   7714,   6293,   4212] = [   7344,   6950,   3925] 1   5
[   7716,   6549,   4053] = [   7428,   7087,    203]     5
[   7719,   3070,    700] = [   6503,   6152,   5914]     5
[   7723,   4423,   3445] = [   7038,   6580,   2183]     5
[   7739,   3797,   3613] = [   7581,   5269,   2299] 1   5
[   7742,   4115,   3696] = [   7315,   6136,   2102] 1   5
[   7742,   3984,   1211] = [   7076,   6427,   2584]     5
[   7745,   4637,   1575] = [   7013,   6372,   4802]     5
[   7753,   5048,   3129] = [   7144,   6643,   2143] 1   5
[   7758,   5009,   2621] = [   7353,   6293,   1742] 1   5
[   7759,   5233,   2111] = [   7489,   6111,   1503] 1   5
[   7759,   3530,   1532] = [   7695,   4414,   1852]     5
[   7763,   5525,   1167] = [   7159,   6800,    496] 1   5
[   7765,   4754,   1985] = [   7442,   6013,   1049] 1   5
[   7767,   3374,   3188] = [   7704,   4503,   2122] 1   5
[   7771,   3673,   1967] = [   7651,   4898,    862] 1   5
[   7771,   3317,   2109] = [   7725,   4175,   1297] 1   5
[   7779,   3077,   1681] = [   7661,   4737,    139] 1   5
[   7781,   3354,   3099] = [   7298,   6112,    824] 1   5
[   7782,   4672,   4008] = [   7771,   4814,   3877] 1   5
[   7786,   2274,    374] = [   6873,   6404,   4807]     5
[   7786,   5627,   4289] = [   7317,   6759,   3626] 1   5
[   7793,   2927,   1931] = [   7721,   4343,    587] 1   5
[   7804,   2528,   1117] = [   7736,   4189,   2224]     5
[   7809,   2292,    903] = [   7796,   3139,     69] 1   5
[   7809,   4896,   2305] = [   7329,   6401,   1910]     5
[   7809,   2912,   2080] = [   7805,   3129,   1867] 1   5
[   7811,   5879,   2633] = [   7331,   6843,   2149] 1   5
[   7812,   4909,   3511] = [   7041,   6852,   2339] 1   5
[   7813,   5691,   5068] = [   7178,   7088,   4306] 1   5
[   7813,   6099,   2821] = [   7261,   7054,   2418] 1   5
[   7814,   4652,   2246] = [   7167,   6593,    952] 1   5
[   7816,   6125,   2058] = [   7181,   6868,   5100]     5
[   7830,   6349,    455] = [   7698,   6579,   3297]     5
[   7830,   6704,    901] = [   6947,   6733,   6645]     5
[   7831,   4368,    197] = [   7731,   4457,   4408]     5
[   7834,   6571,    972] = [   7802,   6260,   5035]     5
[   7838,   2824,   2407] = [   7783,   4184,   1102] 1   5
[   7839,   6363,    761] = [   7679,   6683,    601] 1   5
[   7841,   6291,   4271] = [   7756,   6626,   2371]     5
[   7843,   5782,   4134] = [   7788,   5987,   3984] 1   5
[   7844,   5208,   4061] = [   7453,   6466,   3194] 1   5
[   7847,   3241,   2474] = [   7811,   4077,    624]     5
[   7851,   3947,   3251] = [   7762,   4926,   2361] 1   5
[   7851,   3719,   2809] = [   7619,   5501,   1259] 1   5
[   7853,   3844,   2812] = [   7399,   6137,    973] 1   5
[   7861,    848,    535] = [   7691,   4993,   1420]     5
[   7862,    830,    323] = [   7441,   5855,   3219]     5
[   7869,   4482,   3252] = [   7852,   4669,   3082] 1   5
[   7873,   4129,   3691] = [   7574,   5901,   2218] 1   5
[   7874,   3975,   1953] = [   7618,   5625,    559] 1   5
[   7878,   4525,   3855] = [   7373,   6214,   4591]     5
[   7885,   5102,   4979] = [   7384,   6772,   3810] 1   5
[   7886,   5274,   2350] = [   7317,   6443,   4810]     5
[   7891,   4731,   2284] = [   7354,   6461,   3041]     5
[   7894,   1412,   1293] = [   7085,   6630,    574]     5
[   7894,   4963,   1497] = [   7574,   6143,    637] 1   5
[   7903,   3071,    609] = [   7894,   3391,    298] 1   5
[   7903,   4306,    922] = [   7826,   4944,    511]     5
[   7904,   2773,    587] = [   7277,   6384,   1203]     5
[   7906,   4393,   3099] = [   7586,   5983,   1829] 1   5
[   7911,   3193,    217] = [   7364,   6201,   3456]     5
[   7911,   4091,   3007] = [   7631,   5787,   1591] 1   5
[   7912,   5586,    453] = [   7882,   5701,    368] 1   5
[   7915,   5628,   5560] = [   7851,   6134,   5118] 1   5
[   7917,   3243,   2893] = [   7024,   6798,   2181]     5
[   7921,   4189,   3929] = [   7208,   6744,    887]     5
[   7921,   4523,   3029] = [   7617,   5983,   1873] 1   5
[   7929,   6375,   2716] = [   7510,   7036,   3884]     5
[   7933,   5699,    240] = [   7794,   6130,   1688]     5
[   7933,   5499,   4811] = [   7741,   6299,   4203] 1   5
[   7935,   1582,    888] = [   7925,   2731,   2239]     5
[   7937,   5663,   4009] = [   7209,   7137,   3263] 1   5
[   7948,   2372,   1499] = [   7918,   3682,    219] 1   5
[   7950,   4222,   3709] = [   7229,   6752,   1900] 1   5
[   7951,   5399,   4418] = [   6933,   6753,   6032]     5
[   7958,   3808,   1907] = [   7916,   4403,   1354] 1   5
[   7960,   4461,   3117] = [   6807,   6771,   5530]     5
[   7962,   7303,   7113] = [   7801,   7639,   6938] 1   5
[   7964,   5379,   3686] = [   7811,   6004,   3214] 1   5
[   7967,   5543,   2004] = [   7844,   5981,   1689] 1   5
[   7967,   1971,   1433] = [   7371,   6260,   3770]     5
[   7969,   2605,   1993] = [   7604,   5708,   3815]     5
[   7972,    588,    210] = [   7729,   5406,     15]     5
[   7973,   4487,   1131] = [   7951,   4687,    953] 1   5
[   7976,   4910,   3900] = [   7915,   5476,   2165]     5
[   7976,   4506,   2834] = [   7609,   6151,   1556] 1   5
[   7981,   5451,   5133] = [   7413,   7031,   4121] 1   5
[   7982,   1483,    919] = [   7932,   3989,    413]     5
[   7989,   1819,    701] = [   7949,   3832,    828]     5
[   7990,    613,     67] = [   6919,   6561,   5390]     5
[   7990,   7072,   2371] = [   7811,   7332,   2290] 1   5
[   7992,   4994,    523] = [   7876,   5579,     54] 1   5
[   7994,   2732,    558] = [   7158,   6737,   2639]     5
[   7996,   6214,   5287] = [   7719,   6932,   4846] 1   5
[   7998,   3254,   3108] = [   7573,   6104,    683] 1   5
[   8001,   6271,   2584] = [   7398,   7276,   2182] 1   5
[   8008,   3920,   3705] = [   7764,   5753,   2116] 1   5
[   8009,   4775,    578] = [   7955,   4698,   4189]     5
[   8011,   3758,   1338] = [   7531,   6078,   4148]     5
[   8011,   5517,   5079] = [   7794,   6447,   4366] 1   5
[   8013,   7047,   2092] = [   7649,   7532,   1971] 1   5
[   8023,   4201,   1459] = [   7813,   5587,    283] 1   5
[   8029,   7126,   1406] = [   7738,   7517,   1306] 1   5
[   8029,   4451,   3658] = [   7636,   6278,   2224] 1   5
[   8036,    592,     47] = [   7212,   6191,   5472]     5
[   8039,   5168,   1581] = [   7163,   7129,    496] 1   5
[   8043,   3657,   1273] = [   8033,   3867,   1073] 1   5
[   8044,   3830,    931] = [   7665,   6041,    809]     5
[   8044,   6140,    355] = [   7518,   7114,   2787]     5
[   8049,   5055,   2670] = [   7534,   6643,   1597] 1   5
[   8049,   6791,   6441] = [   7861,   7297,   6123] 1   5
[   8049,   2248,    782] = [   7924,   4817,   1488]     5
[   8049,   4551,   2337] = [   7762,   5977,   1198] 1   5
[   8057,   4839,    482] = [   7457,   6702,   1919]     5
[   8057,   3761,   3543] = [   7891,   5409,   2061] 1   5
[   8059,   7030,   5496] = [   7836,   7675,   1294]     5
[   8062,   6719,   6258] = [   7949,   7077,   6013] 1   5
[   8064,   3467,    768] = [   8035,   4065,    199] 1   5
[   8066,   5419,   1278] = [   7523,   6817,    423] 1   5
[   8069,    551,     47] = [   7867,   5270,   1500]     5
[   8079,   3671,   2993] = [   8023,   4591,   2129] 1   5
[   8081,   3983,   2189] = [   7733,   6013,    507] 1   5
[   8088,   5777,    950] = [   7742,   6673,    400] 1   5
[   8094,   5573,   5091] = [   7495,   7233,   2440]     5
[   8097,   7057,   1841] = [   7972,   6451,   6172]     5
[   8097,   5631,    784] = [   7356,   7164,   2242]     5
[   8099,   5362,   1427] = [   7837,   6274,    777] 1   5
[   8099,   3187,   3053] = [   8071,   4089,   2179] 1   5
[   8101,   6497,   6253] = [   7693,   7457,   5701] 1   5
[   8103,   4545,   3749] = [   7909,   5793,   2695] 1   5
[   8107,   3938,   2427] = [   7537,   6514,    421] 1   5
[   8107,   4309,   3398] = [   7182,   7084,   1548] 1   5
[   8107,   2585,   2148] = [   7719,   6000,    861]     5
[   8109,   3287,   2251] = [   8102,   3546,   1999] 1   5
[   8111,   4699,   3689] = [   7923,   5824,   2752] 1   5
[   8113,   5567,   4133] = [   7933,   6267,   3613] 1   5
[   8115,   1074,    676] = [   7396,   6310,   4979]     5
[   8115,   4130,   1613] = [   8060,   4738,   1060] 1   5
[   8121,   3443,   2607] = [   7913,   5471,    787] 1   5
[   8123,   3469,   2256] = [   7918,   5449,     31]     5
[   8124,   3348,   2809] = [   7703,   6159,    419] 1   5
[   8125,   3253,   3069] = [   7644,   6303,    230]     5
[   8127,   5089,   1958] = [   7524,   6810,   2670]     5
[   8129,   4831,   2498] = [   6658,   6610,   6600]     5
[   8131,   5990,   2839] = [   7955,   6466,   3079]     5
[   8132,   6784,   5266] = [   7935,   7190,   5057] 1   5
[   8133,   5101,   1412] = [   8068,   5461,   1117] 1   5
[   8135,   4308,   3705] = [   6950,   6808,   5870]     5
[   8140,   4268,   1592] = [   7856,   5915,    229] 1   5
[   8141,   5059,   3209] = [   7959,   5937,   2513] 1   5
[   8144,   6157,   2893] = [   7744,   7011,   2439] 1   5
[   8147,   7151,   4885] = [   7902,   7671,   1040]     5
[   8148,   5237,   3354] = [   7957,   5958,   3874]     5
[   8157,   3969,   2973] = [   7809,   6077,   1213] 1   5
[   8159,   3617,   1123] = [   8099,   4541,    259] 1   5
[   8159,   4673,   1006] = [   7742,   5818,   5228]     5
[   8160,   5189,     25] = [   7784,   5853,   5377]     5
[   8162,   4038,   2384] = [   7459,   6776,    349] 1   5
[   8163,   2509,   1567] = [   8127,   3899,    213] 1   5
[   8165,   4792,   4010] = [   7994,   5861,   3112] 1   5
[   8167,   4274,   4188] = [   7334,   7079,   2216] 1   5
[   8174,   3110,   3091] = [   7763,   6160,    452] 1   5
[   8175,   4749,   2091] = [   7823,   6267,    925] 1   5
[   8175,   4825,   1883] = [   7433,   6971,    479] 1   5
[   8177,   5343,   2069] = [   7693,   6749,   1147] 1   5
[   8193,   4759,   1881] = [   7898,   6129,    806] 1   5
[   8197,   4008,   1879] = [   8168,   4427,   1489] 1   5
[   8198,   7052,   5040] = [   7819,   7765,   3056]     5
[   8219,   4622,    848] = [   7952,   5499,   4888]     5
[   8221,   3869,   1481] = [   8202,   4198,   1171] 1   5
[   8223,   2721,    634] = [   8104,   4883,   1741]     5
[   8231,   4177,    343] = [   8223,   4291,    237] 1   5
[   8233,   3956,   1647] = [   8186,   4595,      5]     5
[   8237,   5231,   4861] = [   7702,   7001,   3626] 1   5
[   8240,   2489,   1130] = [   8114,   4390,   4185]     5
[   8241,   4117,   1574] = [   7112,   7093,   4977]     5
[   8243,   2734,   1807] = [   8195,   4159,   1870]     5
[   8244,   5739,   2061] = [   8029,   6427,   1588] 1   5
[   8246,   4244,   2373] = [   8038,   5701,   1124] 1   5
[   8246,   5434,   1324] = [   8123,   5957,    924] 1   5
[   8255,   3585,   2580] = [   8170,   4832,   1418] 1   5
[   8255,   3585,   1876] = [   8126,   5120,    470] 1   5
[   8255,   6814,   5761] = [   7448,   7220,   7002]     5
[   8259,   4577,   2245] = [   8105,   5602,    234]     5
[   8263,   2737,   2567] = [   8219,   4181,   1167] 1   5
[   8265,   4259,   4077] = [   8169,   5365,   3067] 1   5
[   8267,   4816,   3616] = [   8061,   5981,   2657] 1   5
[   8268,   1611,    622] = [   8267,   2028,    206] 1   5
[   8271,   3663,   2249] = [   8183,   4867,   1133] 1   5
[   8271,   5873,   1562] = [   7614,   7256,    836] 1   5
[   8271,   3953,   3419] = [   8174,   5138,   2331] 1   5
[   8273,   6091,   5229] = [   8009,   7098,   2386]     5
[   8275,   3853,   1022] = [   8078,   5547,   1205]     5
[   8277,   5438,   4871] = [   8033,   6526,   4027] 1   5
[   8278,   3279,   2561] = [   8022,   5723,    373] 1   5
[   8281,   2379,   2351] = [   8175,   4811,     25] 1   5
[   8284,    989,    931] = [   8074,   5038,   4292]     5
[   8288,   4819,   2021] = [   7869,   6496,    763] 1   5
[   8289,   7146,   4353] = [   7834,   7783,   4171] 1   5
[   8297,   5451,   1649] = [   7412,   7372,    613] 1   5
[   8302,   5394,   1873] = [   8243,   5689,   1637] 1   5
[   8310,   5756,   1329] = [   7660,   7217,    518] 1   5
[   8310,   6535,    883] = [   7758,   7385,   4305]     5
[   8312,   3980,   2370] = [   8077,   5766,    819] 1   5
[   8314,   5788,   4071] = [   7908,   6532,   5383]     5
[   8317,   5997,   2993] = [   8202,   6374,   2731] 1   5
[   8317,   4758,   1753] = [   8214,   5461,   1153] 1   5
[   8319,   3361,   3079] = [   8087,   5689,    983] 1   5
[   8320,   3077,   3035] = [   8299,   3957,   2296]     5
[   8325,   5418,   2525] = [   7658,   7129,   1481] 1   5
[   8330,   2256,   2197] = [   7916,   6165,   2962]     5
[   8331,   2812,   2613] = [   8246,   4704,    806] 1   5
[   8334,   1679,    764] = [   7714,   6639,   1374]     5
[   8337,   3799,   1780] = [   8180,   5369,    367] 1   5
[   8339,   3361,   1798] = [   8259,   4721,    518] 1   5
[   8341,   7826,   2339] = [   8271,   7913,   2322] 1   5
[   8341,   6265,   2007] = [   8111,   6837,   1665] 1   5
[   8344,   3897,   2988] = [   7993,   6172,   1064] 1   5
[   8344,   3352,   2927] = [   8097,   5749,    777] 1   5
[   8351,   3736,   1629] = [   8293,   4631,    792] 1   5
[   8356,   7009,   3816] = [   7871,   7141,   6269]     5
[   8359,   4237,   2386] = [   8137,   5803,   1042] 1   5
[   8366,   2370,   2263] = [   8275,   4703,   1701]     5
[   8370,   6823,    224] = [   8070,   7239,   4458]     5
[   8373,   2677,   2643] = [   8321,   4333,   1039] 1   5
[   8373,   3931,   1997] = [   8113,   5871,    317] 1   5
[   8374,   6599,   4601] = [   8119,   7177,   4278] 1   5
[   8375,   5188,   3367] = [   8025,   6548,   2357] 1   5
[   8385,   4892,   4419] = [   7819,   6905,   3992]     5
[   8385,   6551,   3615] = [   7863,   7501,   3187] 1   5
[   8391,   4681,   2417] = [   8222,   5761,   1506] 1   5
[   8397,   3353,   3277] = [   8176,   5699,   1152] 1   5
[   8399,   6792,   3889] = [   7804,   7732,   3544] 1   5
[   8399,   6179,   5506] = [   8058,   7367,   2859]     5
[   8399,   6737,   2147] = [   7977,   7479,   1827] 1   5
[   8402,   3743,   2593] = [   7556,   7104,     78] 1   5
[   8403,   5726,   4799] = [   8302,   6253,   4373] 1   5
[   8405,   6493,   3489] = [   8005,   7309,   3073] 1   5
[   8409,   6938,   2647] = [   7752,   7439,   5953]     5
[   8409,   4491,   4479] = [   7902,   6818,   2659] 1   5
[   8409,   3689,   2087] = [   8169,   5769,    247] 1   5
[   8414,   3822,   2336] = [   7980,   6395,    197] 1   5
[   8417,   3931,    630] = [   7350,   7067,   5281]     5
[   8417,   3891,   2379] = [   8412,   4000,   2335]     5
[   8423,   5062,   4697] = [   7609,   7271,   4652]     5
[   8426,   6083,   2054] = [   8268,   6564,   1731] 1   5
[   8428,   3466,   1582] = [   8419,   3741,   1316] 1   5
[   8430,   7849,   4170] = [   8326,   8009,   3664]     5
[   8438,   7409,   1652] = [   7908,   7889,   5152]     5
[   8446,   6385,   2703] = [   8375,   6601,    398]     5
[   8447,   4955,    264] = [   8279,   5890,   1507]     5
[   8450,   3569,   2636] = [   8433,   4050,   2172] 1   5
[   8450,   5942,   5669] = [   7672,   7589,   5400]     5
[   8452,   5036,   1271] = [   8277,   5961,    521] 1   5
[   8456,   5244,   3458] = [   8253,   6214,   2691] 1   5
[   8459,   5814,   4326] = [   8404,   6091,   4104] 1   5
[   8460,   7163,     92] = [   7850,   7803,   5102]     5
[   8460,   5090,   2558] = [   7673,   6484,   6151]     5
[   8466,   5169,    740] = [   7680,   7281,    254]     5
[   8467,   6133,   1716] = [   7799,   7476,   1041] 1   5
[   8467,   5068,   1732] = [   7996,   6419,   5052]     5
[   8467,   5575,   3650] = [   8357,   6098,   3237] 1   5
[   8468,   5539,   1477] = [   7591,   7489,    404] 1   5
[   8469,   7310,    620] = [   8223,   7459,   5187]     5
[   8471,   6901,   6203] = [   8281,   7423,   5871] 1   5
[   8471,   4943,   2795] = [   7595,   7351,   1263] 1   5
[   8472,   7523,   5762] = [   8357,   8025,   2165]     5
[   8478,   5674,   4542] = [   8454,   5837,   4403] 1   5
[   8486,   5307,    986] = [   8331,   6047,    401] 1   5
[   8488,   5262,   2655] = [   7775,   6990,   5000]     5
[   8494,   5718,   2441] = [   7881,   7248,   1524] 1   5
[   8495,   3588,   2445] = [   7594,   7221,   2023]     5
[   8506,    398,    379] = [   8283,   5602,   1848]     5
[   8506,   4342,    844] = [   8489,   4567,    636] 1   5
[   8509,   6576,   1599] = [   7889,   7659,   1136] 1   5
[   8511,   7033,   4657] = [   8137,   7683,   4381] 1   5
[   8512,   4958,   1802] = [   7759,   7217,    296] 1   5
[   8513,   4563,    906] = [   7978,   6783,   1621]     5
[   8517,    602,    343] = [   8516,   1857,   1339]     5
[   8521,   3829,   3653] = [   8189,   6253,   1561] 1   5
[   8522,   5366,    753] = [   8407,   5941,    293] 1   5
[   8526,   5454,   3954] = [   8127,   6274,   5633]     5
[   8528,   5939,   2587] = [   7824,   7471,   1759] 1   5
[   8532,   3459,   2666] = [   8407,   5145,   2995]     5
[   8534,   3242,   2823] = [   8359,   5491,    749] 1   5
[   8535,   6983,   6827] = [   8089,   8060,   6046]     5
[   8538,   6217,   3174] = [   7829,   7607,   2493] 1   5
[   8539,   2200,    611] = [   7825,   6941,   1084]     5
[   8543,   6831,   2787] = [   8487,   6963,   2711] 1   5
[   8544,   6982,   3568] = [   8086,   7739,   3269] 1   5
[   8548,   5477,   1868] = [   8485,   5790,   2518]     5
[   8555,   1399,    301] = [   8520,   3846,   2479]     5
[   8559,   6605,   4473] = [   7879,   7805,   3953] 1   5
[   8560,   5037,    531] = [   7566,   7102,   5760]     5
[   8572,   5964,   3625] = [   8379,   6665,    357]     5
[   8573,   2637,   1307] = [   8559,   3477,    481] 1   5
[   8584,   5140,    791] = [   7900,   6935,   5080]     5
[   8585,   4219,   1830] = [   8122,   6613,    559]     5
[   8593,   3871,   2759] = [   8401,   5703,   1119] 1   5
[   8594,   3332,   2511] = [   8358,   5807,    422]     5
[   8595,   3522,   2577] = [   7750,   7177,   3547]     5
[   8597,   4024,   1752] = [   8347,   5959,     67] 1   5
[   8601,   6394,   5479] = [   8144,   7688,   1642]     5
[   8603,   2246,   2212] = [   8539,   4496,     26] 1   5
[   8611,   8322,   1898] = [   8548,   8392,   1891] 1   5
[   8611,   2730,   1234] = [   8324,   5846,   3715]     5
[   8617,   4747,   4183] = [   8517,   5691,   3339] 1   5
[   8617,   5826,   4798] = [   8333,   6891,   4017] 1   5
[   8617,   7130,   3450] = [   8297,   7702,   1218]     5
[   8619,   4663,   4046] = [   7658,   7549,     21]     5
[   8621,   7490,   3155] = [   8200,   7996,   4450]     5
[   8621,   3817,   3619] = [   7881,   7147,   1029] 1   5
[   8624,   6045,   1483] = [   8465,   6578,   1079]     5
[   8626,   4141,   2921] = [   7741,   7346,    601] 1   5
[   8633,   6217,   2921] = [   8602,   6331,   2838] 1   5
[   8634,   4433,   3631] = [   7608,   7568,   1522] 1   5
[   8639,   4153,   3667] = [   8259,   6497,   1703] 1   5
[   8647,   6031,   1233] = [   8121,   7319,    471] 1   5
[   8648,   4499,    402] = [   7618,   7542,   2739]     5
[   8649,   6067,   3881] = [   7792,   7781,   3024] 1   5
[   8651,   6333,   3099] = [   8307,   7193,   2583] 1   5
[   8656,   5894,   1156] = [   7932,   6913,   6111]     5
[   8659,   4458,   3723] = [   8189,   6778,   1873] 1   5
[   8660,   7142,   4066] = [   8531,   6902,   5965]     5
[   8663,   4767,   2705] = [   8551,   5629,   1955] 1   5
[   8663,   6229,   6152] = [   8265,   7715,   4044]     5
[   8665,   3282,    335] = [   8587,   4797,    548]     5
[   8667,   2625,    218] = [   8658,   3277,    655]     5
[   8669,   5077,   2003] = [   8499,   6037,   1213] 1   5
[   8669,   3043,   1916] = [   8618,   4432,    578] 1   5
[   8674,   5692,   4338] = [   8079,   7376,   3249] 1   5
[   8677,   4736,   2523] = [   7742,   7508,    686] 1   5
[   8683,   6734,    221] = [   8589,   6971,     78] 1   5
[   8686,   3833,    615] = [   8590,   4558,   4336]     5
[   8689,   4421,   1967] = [   8389,   6271,    417] 1   5
[   8691,   5315,   1585] = [   8353,   6667,    571] 1   5
[   8693,   5181,   4668] = [   8053,   7316,   3773]     5
[   8699,   4995,   2663] = [   8583,   5779,   1995] 1   5
[   8699,   6609,   4353] = [   8589,   6934,   4138] 1   5
[   8706,   3419,   2942] = [   8471,   5889,    707] 1   5
[   8707,   5006,   1308] = [   7843,   7486,   1342]     5
[   8711,   6164,   1587] = [   8676,   6297,   1489] 1   5
[   8714,   6392,   5233] = [   8177,   7664,   4498] 1   5
[   8719,   5477,   4306] = [   8401,   6802,   3299] 1   5
[   8722,   6003,   3600] = [   8124,   7475,   2726] 1   5
[   8722,   5058,   1434] = [   8558,   6017,    639] 1   5
[   8722,   6211,   3583] = [   8241,   7394,   2881] 1   5
[   8725,   3881,   3452] = [   8585,   5557,    476]     5
[   8726,   8058,    757] = [   8643,   8167,    731] 1   5
[   8729,   3598,   2440] = [   8665,   4788,   1314] 1   5
[   8733,   3769,   2269] = [   7234,   7043,   6794]     5
[   8738,   2705,    200] = [   8234,   6673,   1356]     5
[   8761,   5139,   1423] = [   8284,   6948,     91] 1   5
[   8763,   4709,   3701] = [   8533,   6227,   2413] 1   5
[   8776,   5459,   1867] = [   8072,   7431,    599] 1   5
[   8776,   6609,   1045] = [   8195,   7736,    499] 1   5
[   8776,   5749,   3414] = [   8164,   7418,   2357] 1   5
[   8780,   5631,    880] = [   7718,   7666,   5247]     5
[   8785,   4783,   2720] = [   8638,   5266,   4904]     5
[   8795,   7397,   5011] = [   8445,   7987,   4771] 1   5
[   8796,   5136,   1897] = [   8566,   6326,    937] 1   5
[   8797,   5113,   2207] = [   8781,   5249,   2087] 1   5
[   8801,   3459,   2863] = [   8493,   6219,    411] 1   5
[   8803,   2796,    382] = [   8802,   2888,    291] 1   5
[   8812,   8426,   3223] = [   8663,   8592,   3206] 1   5
[   8814,   5891,   3261] = [   8748,   6202,   3016] 1   5
[   8814,   2933,   2631] = [   8707,   5113,    558] 1   5
[   8814,   8321,    767] = [   8664,   8496,    742] 1   5
[   8819,   5598,   5427] = [   8539,   6987,   4318] 1   5
[   8821,   6017,   4783] = [   8767,   6321,   4533] 1   5
[   8823,   6517,   6117] = [   8647,   7261,   5549] 1   5
[   8827,   7023,   2657] = [   8357,   7859,   2291] 1   5
[   8840,   7219,    713] = [   8189,   7135,   7118]     5
[   8845,   2569,    181] = [   8240,   6942,   2683]     5
[   8846,   4023,   2110] = [   8031,   7213,   4715]     5
[   8846,   3594,    969] = [   8329,   6706,   4074]     5
[   8851,   4866,   2284] = [   8403,   6862,    736] 1   5
[   8851,   6458,   4452] = [   8051,   8034,   1426]     5
[   8861,   2865,   1765] = [   8386,   6659,   3066]     5
[   8863,   1825,    787] = [   7860,   7468,   4307]     5
[   8864,   6528,   1003] = [   8683,   7034,    678] 1   5
[   8867,   4693,   4083] = [   8763,   5743,   3137] 1   5
[   8875,   3061,   1008] = [   8788,   4856,   2930]     5
[   8877,   6409,   3023] = [   8279,   7709,   2321] 1   5
[   8883,   6021,   4842] = [   8566,   7229,   1851]     5
[   8888,   4844,   4655] = [   8580,   6703,   3104] 1   5
[   8888,   4867,   2290] = [   8054,   7540,    451] 1   5
[   8891,   5004,   2868] = [   8693,   6173,   3097]     5
[   8892,   3888,   2619] = [   7899,   7496,   4654]     5
[   8893,   2637,   1844] = [   8213,   7122,   2389]     5
[   8897,   6615,    505] = [   8072,   7536,   6289]     5
[   8900,   4497,   3038] = [   7829,   7781,   1335]     5
[   8901,   2522,    430] = [   8900,   2661,    262]     5
[   8902,   5804,   5678] = [   8469,   7563,   2402]     5
[   8904,   4441,   2857] = [   8127,   7416,    659] 1   5
[   8915,   6058,   4891] = [   8890,   6221,   4753] 1   5
[   8920,   8035,   5128] = [   8598,   8579,   2176]     5
[   8925,   5635,   4540] = [   8774,   6560,   2476]     5
[   8925,   4150,   3319] = [   8902,   4723,   1569]     5
[   8931,   6231,    784] = [   8421,   7340,   4805]     5
[   8933,   4302,    859] = [   8812,   4953,   4679]     5
[   8939,   6280,    907] = [   8417,   7554,    485]     5
[   8939,   5081,   1125] = [   8725,   6297,    123] 1   5
[   8941,   1260,   1064] = [   8909,   3996,    970]     5
[   8953,   6327,   4621] = [   8511,   7533,   3857] 1   5
[   8953,   3571,   2249] = [   8821,   5438,    514] 1   5
[   8957,   3718,   3031] = [   8902,   4851,   1953] 1   5
[   8961,   6159,   2327] = [   8879,   6487,   2081] 1   5
[   8963,   6236,   4415] = [   7800,   7783,   6491]     5
[   8969,   5451,   2298] = [   8890,   5935,   1893] 1   5
[   8970,   5406,    753] = [   8561,   6748,   4860]     5
[   8972,   4431,   1963] = [   8823,   5772,    771] 1   5
[   8978,   5118,   2477] = [   8047,   7763,    763] 1   5
[   8981,   4618,   1339] = [   8961,   4874,   1103] 1   5
[   8982,   6476,   4103] = [   8679,   6486,   6346]     5
[   8987,   2726,   1463] = [   8977,   3441,    758] 1   5
[   8991,   4564,   4088] = [   8729,   6071,   4943]     5
[   8995,   3581,   1270] = [   7812,   7743,   4801]     5
[   9001,   3543,   3112] = [   8816,   5818,   1622]     5
[   9002,   3709,   3181] = [   8287,   7323,    282] 1   5
[   9009,    671,    544] = [   7395,   7149,   7140]     5
[   9010,   4861,   1955] = [   8790,   5486,   5420]     5
[   9019,   5461,   1096] = [   8776,   6595,    205] 1   5
[   9019,   4536,   3008] = [   8123,   7666,    774] 1   5
[   9019,   6374,   3391] = [   8182,   8053,   2549] 1   5
[   9021,   3709,   2155] = [   8789,   6041,     55] 1   5
[   9021,   2008,   1923] = [   7833,   7111,   6558]     5
[   9021,   5019,   2204] = [   7869,   7550,   6075]     5
[   9021,   4529,   3849] = [   8903,   5772,   2724] 1   5
[   9024,   6073,   2065] = [   8573,   7149,   5010]     5
[   9030,   6679,   2282] = [   8957,   6905,   2129] 1   5
[   9032,   6499,   3646] = [   8827,   7155,   1365]     5
[   9035,   4003,   1211] = [   8985,   4848,    416] 1   5
[   9036,   8219,   6821] = [   8766,   8606,   6704] 1   5
[   9039,   4306,   3108] = [   8303,   7130,   5310]     5
[   9043,   6720,   3658] = [   8738,   7475,   3538]     5
[   9044,   7286,   2283] = [   8491,   8194,   1928] 1   5
[   9049,   4813,   2511] = [   8978,   5493,   1902] 1   5
[   9051,   3053,   2899] = [   9019,   4331,   1653] 1   5
[   9057,   4533,    589] = [   9044,   4723,    412] 1   5
[   9068,   3114,   2397] = [   9000,   4404,   3965]     5
[   9069,   7591,   5693] = [   8977,   7798,   5578] 1   5
[   9069,   5073,   1796] = [   7631,   7588,   6719]     5
[   9075,   3173,    880] = [   8099,   7573,   4626]     5
[   9081,   5091,   1149] = [   8441,   7206,   4924]     5
[   9082,   2820,   1440] = [   8369,   6927,   5486]     5
[   9082,   3603,   3066] = [   8366,   7366,     19] 1   5
[   9084,   2323,   1526] = [   8304,   7411,   2468]     5
[   9085,   5448,   3065] = [   8555,   7323,   2380]     5
[   9091,   4724,    945] = [   7987,   7880,   4353]     5
[   9095,   5301,   4679] = [   7646,   7434,   7235]     5
[   9105,   6673,   6497] = [   9094,   6826,   6355] 1   5
[   9109,   4747,   4448] = [   9029,   5851,    724]     5
[   9112,   5135,   1649] = [   8442,   7470,   3044]     5
[   9112,   1867,    823] = [   8749,   6341,   4212]     5
[   9116,   1878,    982] = [   8948,   5601,   2527]     5
[   9116,   4429,   2033] = [   8853,   6310,   3145]     5
[   9117,   5556,   3709] = [   8667,   7247,   2468] 1   5
[   9126,   7035,   1029] = [   8194,   8010,   6386]     5
[   9127,   5209,   3952] = [   8344,   7732,   2212] 1   5
[   9129,   4390,   4032] = [   8949,   6137,    155]     5
[   9133,   4594,   3594] = [   9044,   5608,   2669] 1   5
[   9134,   4809,   1301] = [   8983,   5982,    279] 1   5
[   9136,   4129,    920] = [   8620,   6712,   5153]     5
[   9137,   4373,   2898] = [   8997,   5793,   1618] 1   5
[   9139,   5741,   3551] = [   8783,   7111,   2537] 1   5
[   9142,   5818,   2219] = [   8249,   7981,    949] 1   5
[   9145,   5585,   5485] = [   9093,   6515,   3407]     5
[   9145,    959,    435] = [   9104,   4267,   1488]     5
[   9146,   5232,    514] = [   9068,   5807,     17] 1   5
[   9152,   3883,   3224] = [   9034,   5547,   1678] 1   5
[   9154,   6343,    180] = [   8544,   7303,   6070]     5
[   9158,   6788,   4082] = [   8681,   7868,   3479] 1   5
[   9163,   6684,   1173] = [   8318,   8228,   3324]     5
[   9168,   5754,   3297] = [   8737,   7284,   2198] 1   5
[   9176,   5578,   2202] = [   9096,   5383,   5177]     5
[   9177,   5964,   1992] = [   8242,   8089,    802] 1   5
[   9179,   4672,   3921] = [   8256,   7857,   1659] 1   5
[   9180,   5317,   5132] = [   8775,   7317,   1257]     5
[   9188,   4897,   2348] = [   9083,   5795,   1555] 1   5
[   9189,   5963,   2757] = [   8439,   7881,   1589] 1   5
[   9193,   3444,   1266] = [   7503,   7481,   7169]     5
[   9193,   5237,   4579] = [   8219,   8057,   2733] 1   5
[   9197,   6158,   4021] = [   8443,   7991,   2942] 1   5
[   9211,   2508,    784] = [   9179,   3928,   3146]     5
[   9211,   2325,    500] = [   8812,   6461,   4563]     5
[   9213,   7692,   5724] = [   8654,   8573,   5402] 1   5
[   9214,   4116,   3382] = [   9145,   5255,   2312] 1   5
[   9217,   4351,   3433] = [   8951,   6441,   1609] 1   5
[   9220,   6433,   4897] = [   9125,   7014,   2941]     5
[   9220,   4070,   3206] = [   8965,   6331,   1200] 1   5
[   9227,   5861,   5359] = [   8967,   7153,   4327] 1   5
[   9236,   5722,   1504] = [   8729,   7431,   1652]     5
[   9238,   5782,   1744] = [   9069,   6588,   1107] 1   5
[   9239,   5096,   2601] = [   9006,   6502,   1428] 1   5
[   9243,   7959,    777] = [   8707,   8683,    589] 1   5
[   9243,   3573,   3023] = [   8903,   6583,    353] 1   5
[   9253,   5001,    529] = [   8472,   7023,   6338]     5
[   9258,   7624,   6859] = [   9099,   8078,   6564] 1   5
[   9261,   5297,   4909] = [   9249,   5541,   4677] 1   5
[   9261,   4922,   3381] = [   8287,   7936,   3891]     5
[   9263,   3549,    791] = [   8291,   7838,    474]     5
[   9267,   4177,   2719] = [   8787,   7047,    329] 1   5
[   9267,   6679,   4683] = [   8491,   8279,   3859] 1   5
[   9270,   4137,   1858] = [   8329,   7450,   5816]     5
[   9271,   6269,   4145] = [   9220,   6524,   3941] 1   5
[   9277,   5933,   5079] = [   8449,   8138,   3702] 1   5
[   9285,   5625,   4586] = [   9071,   6814,   3551]     5
[   9288,   6546,   1372] = [   8795,   7781,    630] 1   5
[   9289,   5746,   5559] = [   8792,   7698,   4104] 1   5
[   9294,   7483,   5231] = [   9069,   7981,   4958] 1   5
[   9297,   5447,   3544] = [   8907,   7149,   2382]     5
[   9299,   6632,   4542] = [   8659,   8102,   3712] 1   5
[   9299,   6536,   3693] = [   8398,   8334,   2796] 1   5
[   9303,   5072,   3341] = [   8341,   8015,   1360] 1   5
[   9303,   8192,   2986] = [   9134,   8456,    791]     5
[   9303,   6674,    937] = [   9088,   7314,    512] 1   5
[   9308,   6572,   3152] = [   8792,   7851,   2389] 1   5
[   9311,   6353,   5377] = [   8881,   7747,   4413] 1   5
[   9314,   6133,   1126] = [   9173,   6674,   3576]     5
[   9316,   5734,   5381] = [   8432,   8218,   3781] 1   5
[   9326,   8481,   4037] = [   9301,   8017,   6626]     5
[   9327,   3463,   3077] = [   8891,   6914,     62] 1   5
[   9336,   3669,    427] = [   9324,   4072,     36] 1   5
[   9339,   5485,   4724] = [   9135,   6809,   2554]     5
[   9340,   4385,   1448] = [   9228,   5656,    289] 1   5
[   9356,   2034,     45] = [   9351,   2845,   2089]     5
[   9356,   3737,    647] = [   9292,   4986,   2312]     5
[   9356,   3749,   1593] = [   9322,   4593,    333]     5
[   9359,   4146,   1471] = [   9257,   5506,    213] 1   5
[   9366,   5567,   2051] = [   9062,   6961,    961] 1   5
[   9375,   8017,   3258] = [   8831,   7825,   7444]     5
[   9377,   6261,   5807] = [   9181,   7277,   4987] 1   5
[   9379,   5787,   1314] = [   8897,   7474,    109] 1   5
[   9387,   7163,   4629] = [   8623,   8529,   4027] 1   5
[   9388,   1887,    537] = [   8778,   7307,     77]     5
[   9389,   3078,   2451] = [   9333,   4779,   1856]     5
[   9391,   8367,    449] = [   9087,   8777,    343] 1   5
[   9394,   7088,   3131] = [   8923,   8096,    344]     5
[   9395,   3334,   3190] = [   8959,   6875,   3865]     5
[   9396,   6459,   3765] = [   8755,   7773,   5582]     5
[   9403,   8179,   1222] = [   9069,   8662,   1073] 1   5
[   9406,   6212,   5637] = [   8837,   8012,   4406] 1   5
[   9412,   4136,   2794] = [   9167,   6225,   4100]     5
[   9421,   3248,   1198] = [   9398,   4173,    296] 1   5
[   9422,   8053,   6158] = [   9188,   8757,    888]     5
[   9424,   8132,   6170] = [   8889,   8642,   6855]     5
[   9424,   5942,   3996] = [   8546,   8199,   2617] 1   5
[   9431,   6522,   1946] = [   9366,   6782,   1751] 1   5
[   9434,   8486,   5867] = [   9021,   9019,   5747] 1   5
[   9438,   5209,   4071] = [   8626,   7964,   2128] 1   5
[   9439,   8383,   5121] = [   9243,   8677,   5023] 1   5
[   9443,   8719,   7795] = [   9195,   9083,   7679] 1   5
[   9446,   4438,   4154] = [   8821,   7563,   1654] 1   5
[   9448,   8086,   2034] = [   9375,   8168,   4065]     5
[   9448,   7255,   5641] = [   8766,   8620,   4448]     5
[   9449,   3030,    965] = [   8519,   7799,   4506]     5
[   9451,   4399,   1457] = [   8522,   7688,   5547]     5
[   9453,   4363,   3577] = [   8928,   6664,   6001]     5
[   9456,   6779,   1121] = [   9281,   7323,    752] 1   5
[   9456,   8779,   3163] = [   8961,   8373,   7814]     5
[   9459,   3158,    507] = [   9099,   6691,   3034]     5
[   9462,   5743,   2242] = [   9292,   6636,   1519] 1   5
[   9463,   8454,   2212] = [   9388,   8567,   2174] 1   5
[   9463,   4236,   3572] = [   8911,   7363,    997] 1   5
[   9465,   4647,   2791] = [   9161,   6727,   1015] 1   5
[   9468,   1487,    561] = [   9416,   4600,   1700]     5
[   9470,   4875,   3829] = [   9130,   6954,   2090] 1   5
[   9472,   6630,   3618] = [   8687,   8328,   2705] 1   5
[   9479,   6841,   2797] = [   9357,   7237,   2523] 1   5
[   9479,   5073,   4052] = [   8939,   7508,   2157] 1   5
[   9482,   3201,   1453] = [   9153,   6246,   5037]     5
[   9483,   6837,   5571] = [   8662,   8643,     86]     5
[   9483,   7289,   1116] = [   9466,   6449,   6323]     5
[   9489,   3529,   2283] = [   9488,   3589,   2224] 1   5
[   9498,   5605,   1519] = [   9329,   6563,    730] 1   5
[   9500,   4022,   2148] = [   9190,   6013,   5507]     5
[   9506,   4611,   4434] = [   8675,   7976,   1630]     5
[   9508,   4537,   2307] = [   9124,   6971,    257] 1   5
[   9515,   5333,   1760] = [   8886,   7404,   5418]     5
[   9518,   9166,   6764] = [   8919,   8748,   8681]     5
[   9520,   7090,   3316] = [   8941,   8115,   5300]     5
[   9528,   1448,   1082] = [   8408,   8175,    305]     5
[   9543,   5657,   1303] = [   9311,   6839,    353] 1   5
[   9544,   5894,    656] = [   9413,   6587,     94] 1   5
[   9546,   8599,   8085] = [   9449,   8835,   7946] 1   5
[   9549,   5726,   2149] = [   9481,   6174,   1769] 1   5
[   9551,   6893,   5487] = [   8791,   8541,   4599] 1   5
[   9551,   5580,   4300] = [   8226,   7599,   7476]     5
[   9552,   4338,   3006] = [   9421,   5888,   1587] 1   5
[   9557,   2413,   1985] = [   9474,   4755,   4046]     5
[   9557,   4363,   3596] = [   8542,   7188,   7036]     5
[   9557,   8252,   6858] = [   9212,   8149,   7906]     5
[   9558,   7125,   1642] = [   9175,   7101,   6849]     5
[   9564,   2591,   1889] = [   9522,   4518,      4] 1   5
[   9577,   6359,   3395] = [   9059,   7877,   2395] 1   5
[   9583,   8302,   6609] = [   9074,   9056,   6364] 1   5
[   9589,   7449,   4337] = [   9114,   8399,   3862] 1   5
[   9593,   4724,   2301] = [   9511,   5663,   1444] 1   5
[   9595,   4273,    525] = [   9543,   5109,   2621]     5
[   9595,   8180,   2193] = [   9013,   8983,   1972] 1   5
[   9599,   7041,   1383] = [   9319,   7781,    923] 1   5
[   9601,   5609,   3431] = [   9499,   6321,   2821] 1   5
[   9601,   6334,   2213] = [   9115,   7780,   3323]     5
[   9602,   7789,   4258] = [   9229,   8514,    456]     5
[   9606,   6907,   2402] = [   9392,   7547,   1976] 1   5
[   9607,   3794,   3414] = [   8502,   8264,   2599]     5
[   9611,   6430,   4249] = [   9047,   7938,   4685]     5
[   9611,   3637,    442] = [   8742,   7596,   5752]     5
[   9614,   1843,    350] = [   8294,   8060,   6163]     5
[   9615,   6961,    298] = [   9496,   7340,     38] 1   5
[   9616,   4835,    900] = [   8931,   7552,   5108]     5
[   9616,   2919,    441] = [   8666,   8018,   3342]     5
[   9619,   6729,   1061] = [   9043,   8137,    229] 1   5
[   9619,   7871,   2579] = [   9589,   7606,   5724]     5
[   9627,   7885,    951] = [   9245,   8541,   2837]     5
[   9631,   4799,   1965] = [   9440,   6368,    587] 1   5
[   9632,   7723,   6062] = [   9579,   7882,   5956] 1   5
[   9632,   4137,   2135] = [   8515,   8292,   2877]     5
[   9633,   7686,   7536] = [   9566,   8088,   7201] 1   5
[   9637,   4078,   3878] = [   9484,   6088,   2021] 1   5
[   9637,   8021,   3169] = [   9237,   8677,   2913] 1   5
[   9639,   5723,   1876] = [   9593,   6052,   1593] 1   5
[   9649,   6571,   3203] = [   9553,   6971,   2899] 1   5
[   9651,   5953,   3524] = [   9633,   6084,   3411] 1   5
[   9654,   7456,    932] = [   9115,   8485,    442] 1   5
[   9659,   7128,   1541] = [   9260,   8078,    990] 1   5
[   9667,   5003,   3226] = [   9091,   7627,   1178] 1   5
[   9671,   3669,   2480] = [   9555,   5641,    624] 1   5
[   9679,   5707,   4098] = [   9341,   7309,   2834] 1   5
[   9682,   1664,   1161] = [   9257,   6850,   4590]     5
[   9682,   5090,   4986] = [   9201,   7567,   3830]     5
[   9683,   4617,   4379] = [   9666,   5239,   3474]     5
[   9688,   7507,   6094] = [   9427,   8214,   5648] 1   5
[   9688,   8848,   1797] = [   9466,   9029,   5138]     5
[   9694,   5292,   4124] = [   9477,   6779,   2854] 1   5
[   9699,   6773,   3899] = [   9349,   7819,   3203] 1   5
[   9701,   7519,   5509] = [   9609,   7798,   5322] 1   5
[   9702,   8123,   2632] = [   9486,   8507,   2464] 1   5
[   9704,   7201,   4406] = [   9426,   7948,   3937] 1   5
[   9707,   5221,   3664] = [   9552,   6441,   2599] 1   5
[   9713,   3937,   3487] = [   9191,   7409,    537] 1   5
[   9727,   7649,   1613] = [   9413,   8299,   1277] 1   5
[   9727,   3073,   2134] = [   9658,   5074,    202] 1   5
[   9737,   4211,   3039] = [   9379,   6977,    631] 1   5
[   9737,   7971,   3373] = [   9121,   8929,   3031] 1   5
[   9737,   1329,    920] = [   8304,   8215,   6387]     5
[   9738,   7452,   5795] = [   9695,   7877,   4063]     5
[   9744,   4212,    332] = [   9367,   7017,   2104]     5
[   9749,   6407,   5891] = [   9255,   8147,   4645] 1   5
[   9753,   6944,   5472] = [   9409,   8019,   4741] 1   5
[   9759,   5271,   4579] = [   9632,   6448,   3529] 1   5
[   9759,   4759,   4321] = [   8983,   8057,   1799] 1   5
[   9761,   7516,   3434] = [   9636,   7841,   3234] 1   5
[   9766,   7419,   6322] = [   9467,   8286,   5754] 1   5
[   9770,    642,    265] = [   8416,   7944,   6857]     5
[   9774,   4861,    419] = [   9356,   7264,    684]     5
[   9778,   4431,   3534] = [   8999,   7993,    751] 1   5
[   9781,   4987,   3199] = [   9589,   6527,   1851] 1   5
[   9781,   4181,   3959] = [   8641,   8169,   5911]     5
[   9785,   1095,    724] = [   9584,   6074,   3566]     5
[   9788,   4292,   2111] = [   9671,   5831,    689] 1   5
[   9789,   3827,   3741] = [   9033,   7927,    397] 1   5
[   9789,   7863,   1120] = [   9255,   8653,   5124]     5
[   9793,   8821,   8053] = [   9733,   8961,   7973] 1   5
[   9803,   4962,    438] = [   9043,   8011,   2349]     5
[   9803,   5297,   2267] = [   9751,   5804,   1812] 1   5
[   9806,   5564,   3148] = [   8673,   8607,   1238] 1   5
[   9809,   1740,    399] = [   8594,   8370,   4914]     5
[   9809,   3975,   2081] = [   9807,   4075,    783]     5
[   9809,   9326,    879] = [   9690,   9464,    860] 1   5
[   9810,   3600,    160] = [   9771,   4725,   2104]     5
[   9813,   5501,   5034] = [   8986,   8343,   3019] 1   5
[   9813,   4133,   4115] = [   9473,   7023,   1565] 1   5
[   9817,   4512,   4243] = [   9521,   6944,   2107] 1   5
[   9818,   5504,   2661] = [   9446,   7333,   1204] 1   5
[   9818,   5404,   5363] = [   9139,   8158,   3288] 1   5
[   9820,   4086,   3362] = [   9731,   5620,   1917] 1   5
[   9834,   3780,   3271] = [   8860,   8263,    242]     5
[   9835,   2474,   1456] = [   9810,   4171,    834]     5
[   9838,   6622,   1737] = [   9790,   6697,   4320]     5
[   9841,   4739,    663] = [   9375,   7405,   1343]     5
[   9848,   3782,   1590] = [   9815,   4713,    692] 1   5
[   9849,   7703,   2923] = [   9113,   8939,   2423] 1   5
[   9851,   5085,   2533] = [   9835,   5301,   2333] 1   5
[   9853,     65,      5] = [   9228,   7635,   1040]     5
[   9854,   5531,   3010] = [   9749,   6335,   2311] 1   5
[   9856,   7189,    385] = [   8532,   8275,   7763]     5
[   9863,   3589,   1137] = [   9839,   4441,    309] 1   5
[   9863,   3708,   3527] = [   9365,   7273,   4660]     5
[   9867,   7245,   4741] = [   8957,   8945,   3951] 1   5
[   9869,   5008,   2104] = [   9818,   5614,   1549] 1   5
[   9873,   6677,   5699] = [   9009,   8773,   4467] 1   5
[   9877,   5771,    614] = [   9092,   7868,   6052]     5
[   9878,   5742,   1470] = [   8967,   8420,    153]     5
[   9879,   5486,   3881] = [   9616,   7066,   2564] 1   5
[   9881,   2169,   1451] = [   9501,   6990,   2680]     5
[   9882,   8885,   2698] = [   9631,   8999,   6015]     5
[   9890,   6678,   5247] = [   9394,   8031,   5560]     5
[   9901,   4938,   2834] = [   9508,   7288,    877] 1   5
[   9906,   5459,    272] = [   8830,   8570,   3187]     5
[   9907,   7027,   6993] = [   9796,   7804,   6327] 1   5
[   9907,   7097,    848] = [   9680,   7777,    395] 1   5
[   9910,   7888,   7440] = [   9326,   8639,   7873]     5
[   9913,   3298,   2177] = [   9899,   4063,   1426] 1   5
[   9917,   4343,   1651] = [   9839,   5551,    521] 1   5
[   9919,   6981,   2377] = [   9631,   7849,   1797] 1   5
[   9923,   3317,   1979] = [   9742,   6163,    964]     5
[   9929,   8677,    322] = [   9597,   9154,    177] 1   5
[   9929,   4106,   3382] = [   9597,   6991,    829] 1   5
[   9931,   1247,    258] = [   9909,   3996,   2181]     5
[   9932,   6398,   3191] = [   9746,   7223,   2552] 1   5
[   9933,   6446,   3167] = [   9123,   8521,   1902] 1   5
[   9934,   3913,   2405] = [   9854,   5455,    943] 1   5
[   9937,   5071,   3531] = [   9881,   5771,   2887] 1   5
[   9942,   3458,   2944] = [   9889,   4863,   3542]     5
[   9944,   8714,   3071] = [   9647,   9149,   2483]     5
[   9946,   5888,   1403] = [   9723,   7058,    456] 1   5
[   9946,   7419,   3661] = [   9893,   7587,   3546] 1   5
[   9951,   8567,   4594] = [   9519,   9202,   4391] 1   5
[   9954,   4644,   4145] = [   9844,   6129,   1750]     5
[   9956,   8483,   8412] = [   9877,   8871,   8103] 1   5
[   9961,   7960,   1335] = [   8938,   8192,   8156]     5
[   9965,   3866,     89] = [   9639,   6920,   2191]     5
[   9970,   5710,   3505] = [   9425,   6928,   6822]     5
[   9974,   5690,   5591] = [   9252,   8138,   5815]     5
[   9980,   1855,   1602] = [   9742,   6462,   1823]     5
[   9981,   9572,   7747] = [   9856,   9722,   7722] 1   5
[   9983,   4649,   3821] = [   9021,   8423,   1009] 1   5
[   9983,   6269,   1695] = [   9290,   8284,   3643]     5
[   9984,   7601,   3894] = [   9250,   8529,   6610]     5
[   9986,   8094,   2538] = [   9859,   7581,   6928]     5
[   9990,   3287,    215] = [   9426,   7607,   1079]     5
[   9992,   6468,   4106] = [   9867,   7093,   3606] 1   5
[   9993,   3253,   2982] = [   9827,   6123,    278] 1   5
[   9993,   7697,   5391] = [   9321,   8979,   4781] 1   5
[   9995,   5666,   3662] = [   9771,   6760,   4982]     5