user=mdettweiler [2015-08-20 00:06:55] 755*2^1406942-1 is not prime. Res64: 6E525220641172E2 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:06:57] 833*2^1406942-1 is not prime. Res64: 33ABB1AC1CB429AF Time : 0.0 sec. user=mdettweiler [2015-08-20 00:13:13] 917*2^1406942-1 is not prime. Res64: F60CA39C0C6A4DB2 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:13:14] 953*2^1406942-1 is not prime. Res64: 270D7F1564E4DBB7 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:16:30] 957*2^1406942-1 is not prime. Res64: 568AC6294CA3AF95 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:16:30] 1001*2^1406942-1 is not prime. Res64: 4DD614CC00B21470 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:18:10] 649*2^1406943-1 is not prime. Res64: 0AD5CC1C4CF5C1BC Time : 0.0 sec. user=mdettweiler [2015-08-20 00:18:11] 871*2^1406943-1 is not prime. Res64: C124F8A965E2FA82 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:24:45] 951*2^1406943-1 is not prime. Res64: C1567773A01E0756 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:24:46] 985*2^1406943-1 is not prime. Res64: 3F2A9157D94A2571 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:30:50] 609*2^1406944-1 is not prime. Res64: A8C735D6BD4A279C Time : 0.0 sec. user=mdettweiler [2015-08-20 00:30:50] 719*2^1406944-1 is not prime. Res64: FDB332B8C278AA42 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:34:07] 773*2^1406944-1 is not prime. Res64: B3CFC31D6D7AC6BD Time : 0.0 sec. user=mdettweiler [2015-08-20 00:34:07] 917*2^1406944-1 is not prime. Res64: A8F924D77F447B8A Time : 0.0 sec. user=mdettweiler [2015-08-20 00:35:47] 969*2^1406944-1 is not prime. Res64: 4CB2375EB535BFF6 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:35:48] 715*2^1406945-1 is not prime. Res64: 1F7F91E2EDB36F26 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:42:22] 801*2^1406945-1 is not prime. Res64: EBA5EBC718EA32D8 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:42:23] 867*2^1406945-1 is not prime. Res64: 2664AE8ED0C7529C Time : 0.0 sec. user=mdettweiler [2015-08-20 00:48:24] 871*2^1406945-1 is not prime. Res64: 80E2A0B45D76FA06 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:48:24] 981*2^1406945-1 is not prime. Res64: B26FFD228303FFA3 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:51:36] 683*2^1406946-1 is not prime. Res64: 35CAD8D392ADE2FC Time : 0.0 sec. user=mdettweiler [2015-08-20 00:51:36] 713*2^1406946-1 is not prime. Res64: 942C5B6F1693ED50 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:53:20] 777*2^1406946-1 is not prime. Res64: B240A03B730F6633 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:53:20] 825*2^1406946-1 is not prime. Res64: E49C6A63BADD0B8F Time : 0.0 sec. user=mdettweiler [2015-08-20 00:59:59] 905*2^1406946-1 is not prime. Res64: 998527C50496DC66 Time : 0.0 sec. user=mdettweiler [2015-08-20 00:59:59] 983*2^1406946-1 is not prime. Res64: A67EDC051D995F5B Time : 0.0 sec. user=mdettweiler [2015-08-20 01:06:09] 633*2^1406947-1 is not prime. Res64: AD8EC36969550904 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:06:11] 673*2^1406947-1 is not prime. Res64: 88391734609ECB64 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:09:07] 703*2^1406947-1 is not prime. Res64: 318787E3FEE197D0 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:09:09] 813*2^1406947-1 is not prime. Res64: FA39A39F2A95A919 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:10:49] 861*2^1406947-1 is not prime. Res64: FD334735DFECBA67 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:10:49] 915*2^1406947-1 is not prime. Res64: 07EFFB99FA637ABF Time : 0.0 sec. user=mdettweiler [2015-08-20 01:17:33] 993*2^1406947-1 is not prime. Res64: DE7ED91EA2A383C3 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:17:34] 603*2^1406948-1 is not prime. Res64: D0204F478B2C59C0 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:24:20] 669*2^1406948-1 is not prime. Res64: 5E030CD0222B9F34 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:24:20] 689*2^1406948-1 is not prime. Res64: 759D98B693892223 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:27:08] 735*2^1406948-1 is not prime. Res64: 31819D87A6E31240 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:27:09] 753*2^1406948-1 is not prime. Res64: 3BF6234E2A09E36D Time : 0.0 sec. user=mdettweiler [2015-08-20 01:28:25] 759*2^1406948-1 is not prime. Res64: 333B8F7B1E87AE3C Time : 0.0 sec. user=mdettweiler [2015-08-20 01:28:26] 843*2^1406948-1 is not prime. Res64: 31906F0383B7060B Time : 0.0 sec. user=mdettweiler [2015-08-20 01:35:06] 855*2^1406948-1 is not prime. Res64: EB4FA62971C83200 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:35:07] 879*2^1406948-1 is not prime. Res64: E83286329C0CC9FF Time : 0.0 sec. user=mdettweiler [2015-08-20 01:41:57] 885*2^1406948-1 is not prime. Res64: 919ED57C9519741D Time : 0.0 sec. user=mdettweiler [2015-08-20 01:41:58] 899*2^1406948-1 is not prime. Res64: 3A981F4F073CD401 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:44:41] 923*2^1406948-1 is not prime. Res64: C992BF3B9B2E03E7 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:44:41] 957*2^1406948-1 is not prime. Res64: A000C20A890F82E7 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:46:03] 963*2^1406948-1 is not prime. Res64: 5F703762F042C26A Time : 0.0 sec. user=mdettweiler [2015-08-20 01:46:04] 999*2^1406948-1 is not prime. Res64: 643C9E782A1D09AA Time : 0.0 sec. user=mdettweiler [2015-08-20 01:52:39] 627*2^1406949-1 is not prime. Res64: C4E662B9F8D3438B Time : 0.0 sec. user=mdettweiler [2015-08-20 01:52:39] 817*2^1406949-1 is not prime. Res64: 41444C1536B2338F Time : 0.0 sec. user=mdettweiler [2015-08-20 01:59:42] 835*2^1406949-1 is not prime. Res64: DD032E68D69D9646 Time : 0.0 sec. user=mdettweiler [2015-08-20 01:59:42] 861*2^1406949-1 is not prime. Res64: E8FB5C775F682F2D Time : 0.0 sec. user=mdettweiler [2015-08-20 02:02:21] 877*2^1406949-1 is not prime. Res64: 67D1528232D9D8CE Time : 0.0 sec. user=mdettweiler [2015-08-20 02:02:22] 949*2^1406949-1 is not prime. Res64: EFBE31CA303E0ED6 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:04:01] 975*2^1406949-1 is not prime. Res64: 87AFB64981ECBDCD Time : 0.0 sec. user=mdettweiler [2015-08-20 02:04:02] 657*2^1406950-1 is not prime. Res64: E870A970D8CDAA7C Time : 0.0 sec. user=mdettweiler [2015-08-20 02:10:45] 777*2^1406950-1 is not prime. Res64: 2D6AC64ADA8AB729 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:10:46] 813*2^1406950-1 is not prime. Res64: 3F7659D7D9849287 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:28:16] 621*2^1406951-1 is not prime. Res64: F50355F252134FDF Time : 0.0 sec. user=mdettweiler [2015-08-20 02:28:16] 651*2^1406951-1 is not prime. Res64: 87C5667D5C51EA2F Time : 0.0 sec. user=mdettweiler [2015-08-20 02:28:19] 873*2^1406950-1 is not prime. Res64: 93EC32305939817E Time : 0.0 sec. user=mdettweiler [2015-08-20 02:28:20] 965*2^1406950-1 is not prime. Res64: AA4055E53F71202B Time : 0.0 sec. user=mdettweiler [2015-08-20 02:28:24] 735*2^1406951-1 is not prime. Res64: 34C1355EC6430F46 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:28:25] 759*2^1406951-1 is not prime. Res64: 8125F17B943D7AB7 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:37:18] 823*2^1406951-1 is not prime. Res64: 09E1CECC80844BB9 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:37:18] 865*2^1406951-1 is not prime. Res64: 611532F4195D814B Time : 0.0 sec. user=mdettweiler [2015-08-20 02:45:46] 909*2^1406951-1 is not prime. Res64: 52AEEC9CB9B08FFD Time : 0.0 sec. user=mdettweiler [2015-08-20 02:45:47] 979*2^1406951-1 is not prime. Res64: 51D981F243D3F3FE Time : 0.0 sec. user=mdettweiler [2015-08-20 02:45:48] 991*2^1406951-1 is not prime. Res64: CAE42131D573C306 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:45:49] 657*2^1406952-1 is not prime. Res64: 9B925D7968000FAC Time : 0.0 sec. user=mdettweiler [2015-08-20 02:45:56] 669*2^1406952-1 is not prime. Res64: D78FB3C5BADB3577 Time : 0.0 sec. user=mdettweiler [2015-08-20 02:45:57] 693*2^1406952-1 is not prime. Res64: 89CD7A9C6BDCBCAC Time : 0.0 sec. user=mdettweiler [2015-08-20 02:54:42] 713*2^1406952-1 is not prime. Res64: 4C356EDE0F272CCD Time : 0.0 sec. user=mdettweiler [2015-08-20 02:54:42] 753*2^1406952-1 is not prime. Res64: 6B338A96A2E7A339 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:03:10] 899*2^1406952-1 is not prime. Res64: 90847470748E5A0E Time : 0.0 sec. user=mdettweiler [2015-08-20 03:03:11] 923*2^1406952-1 is not prime. Res64: 0F62728DA4325660 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:03:16] 933*2^1406952-1 is not prime. Res64: 4C15335E2A3A4D5E Time : 0.0 sec. user=mdettweiler [2015-08-20 03:03:17] 947*2^1406952-1 is not prime. Res64: 372BB53FE2F75835 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:03:32] 959*2^1406952-1 is not prime. Res64: 9F3F45634181F6C5 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:03:33] 999*2^1406952-1 is not prime. Res64: 989D5EA10613A044 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:12:10] 801*2^1406953-1 is not prime. Res64: A2E0A1E6200F5555 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:12:10] 861*2^1406953-1 is not prime. Res64: 19B6572D94D8912A Time : 0.0 sec. user=mdettweiler [2015-08-20 03:20:35] 889*2^1406953-1 is not prime. Res64: 4FB48A657A51F5E3 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:20:36] 919*2^1406953-1 is not prime. Res64: 933324E4BDA5DA23 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:20:50] 605*2^1406954-1 is not prime. Res64: FE19CBA5E83DECD0 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:20:50] 705*2^1406954-1 is not prime. Res64: 66F06F9DE398BE0E Time : 0.0 sec. user=mdettweiler [2015-08-20 03:21:06] 717*2^1406954-1 is not prime. Res64: FF0B50607DEA2C9F Time : 0.0 sec. user=mdettweiler [2015-08-20 03:21:06] 797*2^1406954-1 is not prime. Res64: F818C48A24A099C9 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:29:43] 675*2^1406955-1 is not prime. Res64: 1823C71DAF0D4DEB Time : 0.0 sec. user=mdettweiler [2015-08-20 03:29:44] 741*2^1406955-1 is not prime. Res64: F4AC90F245E1E7CA Time : 0.0 sec. user=mdettweiler [2015-08-20 03:38:00] 603*2^1406956-1 is not prime. Res64: 6E62061DAD212C81 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:38:01] 629*2^1406956-1 is not prime. Res64: 0D4C6C50E715C02E Time : 0.0 sec. user=mdettweiler [2015-08-20 03:38:14] 749*2^1406956-1 is not prime. Res64: 9FB28BE1F9FE2805 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:38:15] 777*2^1406956-1 is not prime. Res64: 15FF4C349928D639 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:38:30] 923*2^1406956-1 is not prime. Res64: 0FB8804C8DE8C7A7 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:38:31] 655*2^1406957-1 is not prime. Res64: 082BD80DE286B02D Time : 0.0 sec. user=mdettweiler [2015-08-20 03:47:14] 685*2^1406957-1 is not prime. Res64: B0C657C44E9D9A42 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:47:17] 727*2^1406957-1 is not prime. Res64: 843E6DAFB1DC9A32 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:55:25] 757*2^1406957-1 is not prime. Res64: 416496D4E0A6DEE7 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:55:26] 805*2^1406957-1 is not prime. Res64: 1BBCA70C31A0550D Time : 0.0 sec. user=mdettweiler [2015-08-20 03:55:41] 837*2^1406957-1 is not prime. Res64: FC585E2B4716E8EC Time : 0.0 sec. user=mdettweiler [2015-08-20 03:55:42] 871*2^1406957-1 is not prime. Res64: A246143509B8F344 Time : 0.0 sec. user=mdettweiler [2015-08-20 03:55:54] 931*2^1406957-1 is not prime. Res64: AF310732C823F9AB Time : 0.0 sec. user=mdettweiler [2015-08-20 03:55:54] 605*2^1406958-1 is not prime. Res64: 068C7E551AE15211 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:04:58] 615*2^1406958-1 is not prime. Res64: 988E43CC32A10571 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:05:00] 627*2^1406958-1 is not prime. Res64: 3829F669DBCF0DEE Time : 0.0 sec. user=mdettweiler [2015-08-20 04:12:52] 795*2^1406958-1 is not prime. Res64: 485A8D5623680492 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:12:53] 887*2^1406958-1 is not prime. Res64: 9127DF9FB0A4DF21 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:13:14] 893*2^1406958-1 is not prime. Res64: 9E0D20C512AC20BE Time : 0.0 sec. user=mdettweiler [2015-08-20 04:13:14] 915*2^1406958-1 is not prime. Res64: CCA8751079F26319 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:13:17] 993*2^1406958-1 is not prime. Res64: A6831CA02853E458 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:13:18] 609*2^1406959-1 is not prime. Res64: 8AEBD24E4AEE7419 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:22:40] 625*2^1406959-1 is not prime. Res64: 90A7CF5AC5F9659E Time : 0.0 sec. user=mdettweiler [2015-08-20 04:22:41] 639*2^1406959-1 is not prime. Res64: DC5EE6EA44527665 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:30:18] 745*2^1406959-1 is not prime. Res64: 530CE989F908A917 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:30:19] 759*2^1406959-1 is not prime. Res64: 80A5878CDB3405B6 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:30:35] 769*2^1406959-1 is not prime. Res64: B53F49545FA5315C Time : 0.0 sec. user=mdettweiler [2015-08-20 04:30:36] 891*2^1406959-1 is not prime. Res64: E9FEE0C7CB51FD3C Time : 0.0 sec. user=mdettweiler [2015-08-20 04:30:42] 735*2^1406960-1 is not prime. Res64: 1429D4CF6B236743 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:30:43] 843*2^1406960-1 is not prime. Res64: FD2BCA4D2BDBD42C Time : 0.0 sec. user=mdettweiler [2015-08-20 04:41:09] 875*2^1406960-1 is not prime. Res64: 7492E22ED046BAAF Time : 0.0 sec. user=mdettweiler [2015-08-20 04:41:10] 879*2^1406960-1 is not prime. Res64: 756EF2ADBDED0C64 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:48:31] 681*2^1406961-1 is not prime. Res64: A733721CC1521467 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:48:32] 711*2^1406961-1 is not prime. Res64: F40DDEB5136FF714 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:48:41] 789*2^1406961-1 is not prime. Res64: F1909491F1E072CA Time : 0.0 sec. user=mdettweiler [2015-08-20 04:48:42] 867*2^1406961-1 is not prime. Res64: 4D3F67521C7D6932 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:49:03] 735*2^1406961-1 is not prime. Res64: 0EF6E54FA1462BE1 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:49:03] 781*2^1406961-1 is not prime. Res64: 813A608937AF6E34 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:58:48] 901*2^1406961-1 is not prime. Res64: 99D06ECF7FD212B0 Time : 0.0 sec. user=mdettweiler [2015-08-20 04:58:48] 937*2^1406961-1 is not prime. Res64: AA7433B3DA1F9CA1 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:06:12] 777*2^1406962-1 is not prime. Res64: 8E96E30C4D16CA0A Time : 0.0 sec. user=mdettweiler [2015-08-20 05:06:14] 801*2^1406962-1 is not prime. Res64: DFF279BF03822C88 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:06:34] 645*2^1406962-1 is not prime. Res64: 40F67EDD6B5A29EF Time : 0.0 sec. user=mdettweiler [2015-08-20 05:06:35] 755*2^1406962-1 is not prime. Res64: 5DBC45B79473666A Time : 0.0 sec. user=mdettweiler [2015-08-20 05:06:44] 825*2^1406962-1 is not prime. Res64: 0844D375487E5453 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:06:47] 923*2^1406962-1 is not prime. Res64: 9B924E77EF06616F Time : 0.0 sec. user=mdettweiler [2015-08-20 05:16:32] 957*2^1406962-1 is not prime. Res64: 5B171A3A3C0F9438 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:16:33] 663*2^1406963-1 is not prime. Res64: 74C205F746681F78 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:23:52] 783*2^1406963-1 is not prime. Res64: 3BE7AA4277ACD2FD Time : 0.0 sec. user=mdettweiler [2015-08-20 05:23:52] 963*2^1406963-1 is not prime. Res64: F48D5DFAAF928AB3 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:24:09] 683*2^1406964-1 is not prime. Res64: 90C2CB7472CDDFAF Time : 0.0 sec. user=mdettweiler [2015-08-20 05:24:09] 705*2^1406964-1 is not prime. Res64: 26AED329EC57C423 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:24:20] 723*2^1406964-1 is not prime. Res64: 21352E02945BF0F7 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:24:21] 795*2^1406964-1 is not prime. Res64: 2E776DB75D795427 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:34:05] 717*2^1406965-1 is not prime. Res64: AB58AF9E52269C97 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:34:06] 729*2^1406965-1 is not prime. Res64: D9DFFB986BA0B2F5 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:41:15] 757*2^1406965-1 is not prime. Res64: 1E2D08CD78CE02CE Time : 0.0 sec. user=mdettweiler [2015-08-20 05:41:16] 759*2^1406965-1 is not prime. Res64: 5A7B3C5832782E89 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:41:35] 775*2^1406965-1 is not prime. Res64: F7C7F28BF7E05F9A Time : 0.0 sec. user=mdettweiler [2015-08-20 05:41:36] 885*2^1406965-1 is not prime. Res64: 6F94D69D84EB7B4B Time : 0.0 sec. user=mdettweiler [2015-08-20 05:41:45] 677*2^1406966-1 is not prime. Res64: DA6D200B7C9B6FBB Time : 0.0 sec. user=mdettweiler [2015-08-20 05:41:45] 711*2^1406966-1 is not prime. Res64: 060DBB35521CF95F Time : 0.0 sec. user=mdettweiler [2015-08-20 05:51:31] 801*2^1406966-1 is not prime. Res64: 59F77D11A675C1A3 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:51:32] 857*2^1406966-1 is not prime. Res64: C49CAF458480EBFC Time : 0.0 sec. user=mdettweiler [2015-08-20 05:58:40] 971*2^1406966-1 is not prime. Res64: CBFEBE02ECB838E0 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:58:41] 601*2^1406967-1 is not prime. Res64: BC9613EA5D044BF8 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:58:57] 619*2^1406967-1 is not prime. Res64: A5F223CD51F4C1C1 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:58:57] 651*2^1406967-1 is not prime. Res64: 798E38FE0797225D Time : 0.0 sec. user=mdettweiler [2015-08-20 05:59:15] 669*2^1406967-1 is not prime. Res64: B83F0A0218267DD9 Time : 0.0 sec. user=mdettweiler [2015-08-20 05:59:15] 741*2^1406967-1 is not prime. Res64: 0F41920EEECD4882 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:09:16] 885*2^1406967-1 is not prime. Res64: 12A5735D308E196E Time : 0.0 sec. user=mdettweiler [2015-08-20 06:09:16] 891*2^1406967-1 is not prime. Res64: E93EF92DCDD849EF Time : 0.0 sec. user=mdettweiler [2015-08-20 06:16:55] 843*2^1406968-1 is not prime. Res64: 9388EC03000805AB Time : 0.0 sec. user=mdettweiler [2015-08-20 06:16:55] 849*2^1406968-1 is not prime. Res64: 5EF9B13E9584DD84 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:17:01] 619*2^1406969-1 is not prime. Res64: ACF653E44D127592 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:17:02] 691*2^1406969-1 is not prime. Res64: 6E531429DB634F24 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:17:13] 933*2^1406967-1 is not prime. Res64: 0E826BC921B3CBAE Time : 0.0 sec. user=mdettweiler [2015-08-20 06:17:14] 803*2^1406968-1 is not prime. Res64: DEF105B2AB2A097D Time : 0.0 sec. user=mdettweiler [2015-08-20 06:26:40] 699*2^1406969-1 is not prime. Res64: 4827383FC057D6D1 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:26:41] 711*2^1406969-1 is not prime. Res64: A8C59DE548B2D9BE Time : 0.0 sec. user=mdettweiler [2015-08-20 06:34:24] 727*2^1406969-1 is not prime. Res64: A29E3DC81759C591 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:34:24] 861*2^1406969-1 is not prime. Res64: 14882D2F8457701C Time : 0.0 sec. user=mdettweiler [2015-08-20 06:34:29] 889*2^1406969-1 is not prime. Res64: 1F9DBC9EF62680B6 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:34:30] 925*2^1406969-1 is not prime. Res64: 32184C773B421A9F Time : 0.0 sec. user=mdettweiler [2015-08-20 06:34:41] 677*2^1406970-1 is not prime. Res64: 3CAB6C4D946FF1FC Time : 0.0 sec. user=mdettweiler [2015-08-20 06:34:42] 681*2^1406970-1 is not prime. Res64: AC85595F331D6D28 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:44:03] 765*2^1406970-1 is not prime. Res64: 6037DE96BB11B080 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:44:03] 963*2^1406970-1 is not prime. Res64: 085BE52F0D4BB7F8 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:51:51] 977*2^1406970-1 is not prime. Res64: 7C40195201E32602 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:51:52] 723*2^1406971-1 is not prime. Res64: 9AA5BD246343FA45 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:51:52] 769*2^1406971-1 is not prime. Res64: 39B8071B9FB84340 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:51:53] 813*2^1406971-1 is not prime. Res64: F94E83C84ADEC1E0 Time : 0.0 sec. user=mdettweiler [2015-08-20 06:52:05] 835*2^1406971-1 is not prime. Res64: 1986D3346D36F06C Time : 0.0 sec. user=mdettweiler [2015-08-20 06:52:05] 841*2^1406971-1 is not prime. Res64: 232E259B94401B5F Time : 0.0 sec. user=mdettweiler [2015-08-20 07:01:35] 873*2^1406971-1 is not prime. Res64: 34194F4747507CFA Time : 0.0 sec. user=mdettweiler [2015-08-20 07:01:36] 999*2^1406971-1 is not prime. Res64: 4EDA5C0D4C2BCFFD Time : 0.0 sec. user=mdettweiler [2015-08-20 07:09:12] 687*2^1406972-1 is not prime. Res64: 24504AA0BFB6E4BA Time : 0.0 sec. user=mdettweiler [2015-08-20 07:09:12] 717*2^1406972-1 is not prime. Res64: E38BD7EFD8D6283A Time : 0.0 sec. user=mdettweiler [2015-08-20 07:09:15] 633*2^1406972-1 is not prime. Res64: EBC8D521C39082B8 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:09:16] 635*2^1406972-1 is not prime. Res64: 3F768F151963507A Time : 0.0 sec. user=mdettweiler [2015-08-20 07:09:25] 753*2^1406972-1 is not prime. Res64: 2BD2B74C0101876D Time : 0.0 sec. user=mdettweiler [2015-08-20 07:09:26] 827*2^1406972-1 is not prime. Res64: 49B640EF2541200C Time : 0.0 sec. user=mdettweiler [2015-08-20 07:19:06] 867*2^1406972-1 is not prime. Res64: 2E66734E0017710B Time : 0.0 sec. user=mdettweiler [2015-08-20 07:19:07] 923*2^1406972-1 is not prime. Res64: 8D931CC36B55DD9B Time : 0.0 sec. user=mdettweiler [2015-08-20 07:26:34] 995*2^1406972-1 is not prime. Res64: FDF6487BD0E9F142 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:26:34] 787*2^1406973-1 is not prime. Res64: 5E24C42669FAEC71 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:26:37] 789*2^1406973-1 is not prime. Res64: E3884AAEA24EDFB7 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:26:37] 901*2^1406973-1 is not prime. Res64: C3B33CDB2BDAF336 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:26:49] 927*2^1406973-1 is not prime. Res64: 46D49B6D1269261F Time : 0.0 sec. user=mdettweiler [2015-08-20 07:26:50] 605*2^1406974-1 is not prime. Res64: 4C9BA97328E72D83 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:36:33] 687*2^1406974-1 is not prime. Res64: 5B699D6B2506955D Time : 0.0 sec. user=mdettweiler [2015-08-20 07:36:34] 821*2^1406974-1 is not prime. Res64: 9A7F448A8F49E699 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:43:56] 825*2^1406974-1 is not prime. Res64: C3CA2416884167B4 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:43:57] 827*2^1406974-1 is not prime. Res64: E433CA93727F4AE6 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:44:01] 945*2^1406974-1 is not prime. Res64: C85DDDF344A0EDB7 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:44:01] 965*2^1406974-1 is not prime. Res64: 614A073F37A7B4A6 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:44:13] 603*2^1406975-1 is not prime. Res64: E4A5816B246EC297 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:44:13] 619*2^1406975-1 is not prime. Res64: 06DDE3A3884F74E9 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:54:00] 661*2^1406975-1 is not prime. Res64: D814CAEAF0DA84F8 Time : 0.0 sec. user=mdettweiler [2015-08-20 07:54:00] 669*2^1406975-1 is not prime. Res64: F7C8DB02E11629D2 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:01:22] 753*2^1406975-1 is not prime. Res64: 14E16487F65CF6A0 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:01:23] 789*2^1406975-1 is not prime. Res64: C6F5B2045C3F4613 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:01:32] 831*2^1406975-1 is not prime. Res64: 910C7190D022CD28 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:01:33] 747*2^1406976-1 is not prime. Res64: 8664F7FED0FE8D60 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:01:38] 873*2^1406976-1 is not prime. Res64: C824221D0E6574B1 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:01:39] 887*2^1406976-1 is not prime. Res64: B2D51EF1567D4245 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:11:26] 917*2^1406976-1 is not prime. Res64: C70079A116481649 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:11:27] 927*2^1406976-1 is not prime. Res64: 43D8A09F88C7AACE Time : 0.0 sec. user=mdettweiler [2015-08-20 08:19:02] 983*2^1406976-1 is not prime. Res64: 9B88D3793BA778D4 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:19:03] 609*2^1406977-1 is not prime. Res64: 79F38D0D96AEBC11 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:19:30] 649*2^1406977-1 is not prime. Res64: 6DEE3CF96B196560 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:19:31] 747*2^1406977-1 is not prime. Res64: 0CAB5CF327A097A6 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:20:07] 759*2^1406977-1 is not prime. Res64: BF255951BA5BEF02 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:29:20] 939*2^1406977-1 is not prime. Res64: 24505E1FAAA81C76 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:29:21] 657*2^1406978-1 is not prime. Res64: F127DA106E3615CB Time : 0.0 sec. user=mdettweiler [2015-08-20 08:36:49] 671*2^1406978-1 is not prime. Res64: 668F157BEBACDD0B Time : 0.0 sec. user=mdettweiler [2015-08-20 08:36:49] 747*2^1406978-1 is not prime. Res64: D3418B88902B3E3B Time : 0.0 sec. user=mdettweiler [2015-08-20 08:37:05] 773*2^1406978-1 is not prime. Res64: 457D9A9A65CEF91E Time : 0.0 sec. user=mdettweiler [2015-08-20 08:37:05] 813*2^1406978-1 is not prime. Res64: 7A16941C57C5570D Time : 0.0 sec. user=mdettweiler [2015-08-20 08:46:55] 861*2^1406978-1 is not prime. Res64: BAAEE0EC67F98F45 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:46:55] 953*2^1406978-1 is not prime. Res64: 7F608CDF4C7FC4DC Time : 0.0 sec. user=mdettweiler [2015-08-20 08:54:33] 993*2^1406978-1 is not prime. Res64: 1235625DE42B8289 Time : 0.0 sec. user=mdettweiler [2015-08-20 08:54:34] 691*2^1406979-1 is not prime. Res64: 28FD6EC80F06134B Time : 0.0 sec. user=mdettweiler [2015-08-20 08:54:34] 703*2^1406979-1 is not prime. Res64: CC7F130CA25AB75A Time : 0.0 sec. user=mdettweiler [2015-08-20 08:54:34] 723*2^1406979-1 is not prime. Res64: 85F22701BA8D1725 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:04:35] 751*2^1406979-1 is not prime. Res64: A62469A36A8FAA59 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:04:36] 793*2^1406979-1 is not prime. Res64: A107C46AB9FAE7CD Time : 0.0 sec. user=mdettweiler [2015-08-20 09:12:08] 985*2^1406979-1 is not prime. Res64: AEAD6A3E1E6B8191 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:12:09] 991*2^1406979-1 is not prime. Res64: EED61E6069E84C89 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:12:15] 843*2^1406979-1 is not prime. Res64: B27E099B142AFF64 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:12:16] 955*2^1406979-1 is not prime. Res64: F43B754F5EA05BFA Time : 0.0 sec. user=mdettweiler [2015-08-20 09:22:28] 873*2^1406980-1 is not prime. Res64: 3AFEC90900A8E132 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:22:29] 905*2^1406980-1 is not prime. Res64: E3CEA4B720A68CBC Time : 0.0 sec. user=mdettweiler [2015-08-20 09:29:46] 987*2^1406980-1 is not prime. Res64: 578F8A57E8291BDD Time : 0.0 sec. user=mdettweiler [2015-08-20 09:29:46] 989*2^1406980-1 is not prime. Res64: 123306685637C366 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:30:56] 685*2^1406981-1 is not prime. Res64: 30EE9E6EA6593423 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:30:56] 691*2^1406981-1 is not prime. Res64: C8D9D9DEE499B197 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:36:09] 841*2^1406977-1 is not prime. Res64: 91E48A691C9C9911 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:40:16] 889*2^1406981-1 is not prime. Res64: 67A06CF86FDFAC43 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:40:17] 755*2^1406982-1 is not prime. Res64: 09CACC0CE125828E Time : 0.0 sec. user=mdettweiler [2015-08-20 09:47:12] 875*2^1406982-1 is not prime. Res64: 1A5E4604861F4157 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:47:13] 921*2^1406982-1 is not prime. Res64: F65EC9C2B45454DF Time : 0.0 sec. user=mdettweiler [2015-08-20 09:48:32] 649*2^1406983-1 is not prime. Res64: EC8AD20458DC3BE6 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:48:33] 729*2^1406983-1 is not prime. Res64: A4AB3E4AB1FDFF07 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:53:46] 793*2^1406983-1 is not prime. Res64: ECBF64DA8585FB6D Time : 0.0 sec. user=mdettweiler [2015-08-20 09:53:46] 831*2^1406983-1 is not prime. Res64: 4C7B01823CF2D7C9 Time : 0.0 sec. user=mdettweiler [2015-08-20 09:57:55] 853*2^1406983-1 is not prime. Res64: 311E889B78435B2F Time : 0.0 sec. user=mdettweiler [2015-08-20 09:57:55] 889*2^1406983-1 is not prime. Res64: 7CB9D653988CE5BC Time : 0.0 sec. user=mdettweiler [2015-08-20 10:04:54] 913*2^1406983-1 is not prime. Res64: FF00173CA0F7A3F1 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:04:55] 919*2^1406983-1 is not prime. Res64: D5723F9276296F6C Time : 0.0 sec. user=mdettweiler [2015-08-20 10:06:11] 615*2^1406984-1 is not prime. Res64: E00B126FE511CF76 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:06:12] 767*2^1406984-1 is not prime. Res64: EED63E2D28CF208B Time : 0.0 sec. user=mdettweiler [2015-08-20 10:11:52] 929*2^1406984-1 is not prime. Res64: AFED0DC10B7197C2 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:11:53] 601*2^1406985-1 is not prime. Res64: 13EE1389A3BB54EE Time : 0.0 sec. user=mdettweiler [2015-08-20 10:15:36] 705*2^1406985-1 is not prime. Res64: 2F2FC8099833EC35 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:15:36] 727*2^1406985-1 is not prime. Res64: 2DBDC73E37564BF3 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:22:40] 777*2^1406985-1 is not prime. Res64: 494EB8019D93BF4B Time : 0.0 sec. user=mdettweiler [2015-08-20 10:22:41] 817*2^1406985-1 is not prime. Res64: 921464C5D9773427 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:23:47] 611*2^1406986-1 is not prime. Res64: D37D71AD656E7AA4 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:23:48] 743*2^1406986-1 is not prime. Res64: 103B6029BD0CB36F Time : 0.0 sec. user=mdettweiler [2015-08-20 10:29:26] 765*2^1406986-1 is not prime. Res64: 10942C1D4390B654 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:29:27] 815*2^1406986-1 is not prime. Res64: 83CC8B240295755A Time : 0.0 sec. user=mdettweiler [2015-08-20 10:33:04] 867*2^1406986-1 is not prime. Res64: 7CB3C53F884CC634 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:33:04] 905*2^1406986-1 is not prime. Res64: A58A2A3C4477BB35 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:40:06] 601*2^1406987-1 is not prime. Res64: 30F4E2CC50B579D5 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:40:07] 775*2^1406987-1 is not prime. Res64: 28321064AF174227 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:41:17] 915*2^1406987-1 is not prime. Res64: 43612E6AA4C1B071 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:41:17] 627*2^1406988-1 is not prime. Res64: 34A6D1885DE902F2 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:46:55] 695*2^1406988-1 is not prime. Res64: 9E23054711E23DB4 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:46:55] 725*2^1406988-1 is not prime. Res64: B5A3AA41070CC356 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:50:26] 749*2^1406988-1 is not prime. Res64: 1C318CDE4F60EAF1 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:50:27] 843*2^1406988-1 is not prime. Res64: 7408008AB617A0A6 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:57:32] 845*2^1406988-1 is not prime. Res64: 5FFFB471A874D952 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:57:32] 975*2^1406988-1 is not prime. Res64: 8604DC8D16D32F24 Time : 0.0 sec. user=mdettweiler [2015-08-20 10:58:47] 609*2^1406989-1 is not prime. Res64: F5DB769752701A6C Time : 0.0 sec. user=mdettweiler [2015-08-20 10:58:47] 775*2^1406989-1 is not prime. Res64: 55406BD235B1B61A Time : 0.0 sec. user=mdettweiler [2015-08-20 11:04:21] 819*2^1406989-1 is not prime. Res64: FCD003EE0E25269D Time : 0.0 sec. user=mdettweiler [2015-08-20 11:04:23] 825*2^1406989-1 is not prime. Res64: 20149071038D4974 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:07:53] 861*2^1406989-1 is not prime. Res64: D0047C3A6581C394 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:07:53] 885*2^1406989-1 is not prime. Res64: B6984D6E4414A2EA Time : 0.0 sec. user=mdettweiler [2015-08-20 11:15:07] 967*2^1406989-1 is not prime. Res64: ECA62C2DB37108E4 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:15:08] 663*2^1406990-1 is not prime. Res64: BE25468B199867DD Time : 0.0 sec. user=mdettweiler [2015-08-20 11:16:23] 711*2^1406990-1 is not prime. Res64: 93702C61F12C359E Time : 0.0 sec. user=mdettweiler [2015-08-20 11:16:23] 761*2^1406990-1 is not prime. Res64: 04FC415DA30D7456 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:22:11] 831*2^1406990-1 is not prime. Res64: 9A956E3EACB098B8 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:22:11] 935*2^1406990-1 is not prime. Res64: 44C9B590B50A8C1F Time : 0.0 sec. user=mdettweiler [2015-08-20 11:25:26] 945*2^1406990-1 is not prime. Res64: CB12585BB6DFB607 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:25:26] 735*2^1406991-1 is not prime. Res64: 9B61848E45D50B76 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:32:35] 885*2^1406991-1 is not prime. Res64: 022DD5608FF8A67B Time : 0.0 sec. user=mdettweiler [2015-08-20 11:32:36] 931*2^1406991-1 is not prime. Res64: EAFE06C29273F6BC Time : 0.0 sec. user=mdettweiler [2015-08-20 11:33:53] 635*2^1406992-1 is not prime. Res64: B400AE4B0CA2A784 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:33:53] 639*2^1406992-1 is not prime. Res64: B470729C593EB422 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:39:44] 719*2^1406992-1 is not prime. Res64: 8900D3AD9D96AE19 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:39:45] 735*2^1406992-1 is not prime. Res64: 4BC7076B68B9095A Time : 0.0 sec. user=mdettweiler [2015-08-20 11:42:52] 827*2^1406992-1 is not prime. Res64: 2AD6CB15AA49E9F1 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:42:52] 869*2^1406992-1 is not prime. Res64: 5A77E722C3D7F9B2 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:50:03] 939*2^1406992-1 is not prime. Res64: 38584233483AB3F6 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:50:04] 965*2^1406992-1 is not prime. Res64: 923B935EDBAF85F9 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:51:25] 627*2^1406993-1 is not prime. Res64: 2AFEF20CBDDB139B Time : 0.0 sec. user=mdettweiler [2015-08-20 11:51:26] 657*2^1406993-1 is not prime. Res64: 00D4D74B68FD3F21 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:57:18] 691*2^1406993-1 is not prime. Res64: 99F8C924CB1D26C0 Time : 0.0 sec. user=mdettweiler [2015-08-20 11:57:18] 789*2^1406993-1 is not prime. Res64: 7B9B6EAE05DF6527 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:00:31] 837*2^1406993-1 is not prime. Res64: F965A07180F3FEF4 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:00:32] 937*2^1406993-1 is not prime. Res64: F5CD52515EC3CB17 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:08:16] 967*2^1406993-1 is not prime. Res64: 6AD66C5932119331 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:08:16] 621*2^1406994-1 is not prime. Res64: 61A338B4FBC32397 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:09:02] 641*2^1406994-1 is not prime. Res64: EE424F3BC315B808 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:09:02] 725*2^1406994-1 is not prime. Res64: 3AABF8734DFCF427 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:14:54] 797*2^1406994-1 is not prime. Res64: 92F7323FD9EC2E22 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:14:55] 917*2^1406994-1 is not prime. Res64: 64C62C3984A50E27 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:18:10] 983*2^1406994-1 is not prime. Res64: 4549DC123CE69AC1 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:18:11] 625*2^1406995-1 is not prime. Res64: 72963A4A1DDB8274 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:25:49] 759*2^1406995-1 is not prime. Res64: 19DFDC99089F4CF2 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:25:50] 969*2^1406995-1 is not prime. Res64: CCEC4CEB6C354C9C Time : 0.0 sec. user=mdettweiler [2015-08-20 12:26:35] 707*2^1406996-1 is not prime. Res64: CFAAF52090F7414E Time : 0.0 sec. user=mdettweiler [2015-08-20 12:26:36] 749*2^1406996-1 is not prime. Res64: D679FFCB95A39F29 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:32:28] 897*2^1406996-1 is not prime. Res64: 75D50899A0477A18 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:32:28] 963*2^1406996-1 is not prime. Res64: C047A033011E55F6 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:35:45] 969*2^1406996-1 is not prime. Res64: 622A343138853F6E Time : 0.0 sec. user=mdettweiler [2015-08-20 12:35:46] 993*2^1406996-1 is not prime. Res64: 345AF48D1C594F18 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:43:38] 999*2^1406996-1 is not prime. Res64: 864DAAE7115BF949 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:43:38] 669*2^1406997-1 is not prime. Res64: 8874B68F6C5E8AE4 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:44:14] 685*2^1406997-1 is not prime. Res64: C5A523840C594C78 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:44:14] 765*2^1406997-1 is not prime. Res64: 42FE8CD7ED0FFA44 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:50:21] 777*2^1406997-1 is not prime. Res64: AE14BF831357E329 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:50:21] 795*2^1406997-1 is not prime. Res64: F900666DF48F70DC Time : 0.0 sec. user=mdettweiler [2015-08-20 12:53:42] 611*2^1406998-1 is not prime. Res64: 7DC84DCB9E6A2CF0 Time : 0.0 sec. user=mdettweiler [2015-08-20 12:53:43] 647*2^1406998-1 is not prime. Res64: 7637E1656F790C0B Time : 0.0 sec. user=mdettweiler [2015-08-20 13:02:09] 665*2^1406998-1 is not prime. Res64: 3E3850164CEF19ED Time : 0.0 sec. user=mdettweiler [2015-08-20 13:02:10] 737*2^1406998-1 is not prime. Res64: 15FD5DE536C332E1 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:02:54] 791*2^1406998-1 is not prime. Res64: 5453387E711BE849 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:02:54] 825*2^1406998-1 is not prime. Res64: 8F04D2E112F327E8 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:10:58] 915*2^1406998-1 is not prime. Res64: FAC6B1E41A9DBE73 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:10:58] 663*2^1406999-1 is not prime. Res64: ECE5435CCC2F9715 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:14:56] 693*2^1406999-1 is not prime. Res64: 70AE8FC34220D424 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:14:57] 759*2^1406999-1 is not prime. Res64: BD8527396914CFFF Time : 0.0 sec. user=mdettweiler [2015-08-20 13:22:46] 865*2^1406999-1 is not prime. Res64: C7E6ECB7DE0228C6 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:22:47] 849*2^1407000-1 is not prime. Res64: 45EAFBA1F74C438E Time : 0.0 sec. user=mdettweiler [2015-08-20 13:23:11] 899*2^1407000-1 is not prime. Res64: 4FBC1B3A0439B837 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:23:11] 959*2^1407000-1 is not prime. Res64: B7DDFB529E16AE63 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:29:18] 687*2^1407001-1 is not prime. Res64: 2DF8D329BBC54B51 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:29:18] 799*2^1407001-1 is not prime. Res64: 9158E6E326EED747 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:32:27] 861*2^1407001-1 is not prime. Res64: 300F43EF729982C4 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:32:27] 951*2^1407001-1 is not prime. Res64: E750C5479CFF8508 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:40:20] 999*2^1407001-1 is not prime. Res64: B5E31FA6A6424053 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:40:20] 873*2^1407002-1 is not prime. Res64: 61A615DDD766DC98 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:40:43] 951*2^1407002-1 is not prime. Res64: 2E28F700B60EE4A2 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:40:43] 953*2^1407002-1 is not prime. Res64: 1C348FF14ADA1F51 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:46:53] 709*2^1407003-1 is not prime. Res64: 253DAA4FEDA9F45D Time : 0.0 sec. user=mdettweiler [2015-08-20 13:46:53] 853*2^1407003-1 is not prime. Res64: 66AF89DE45452FEB Time : 0.0 sec. user=mdettweiler [2015-08-20 13:49:58] 963*2^1407003-1 is not prime. Res64: 2EF9EE1706FDAC66 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:49:58] 843*2^1407004-1 is not prime. Res64: A946563FD99C1D71 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:57:50] 873*2^1407004-1 is not prime. Res64: 0ED5F877F90747BE Time : 0.0 sec. user=mdettweiler [2015-08-20 13:57:51] 875*2^1407004-1 is not prime. Res64: 420F60A21F40268B Time : 0.0 sec. user=mdettweiler [2015-08-20 13:58:11] 887*2^1407004-1 is not prime. Res64: 069FE19A8A53CD09 Time : 0.0 sec. user=mdettweiler [2015-08-20 13:58:12] 929*2^1407004-1 is not prime. Res64: 74CE4535CE45DC94 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:04:30] 959*2^1407004-1 is not prime. Res64: 8ED4CBBAB19437A0 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:04:31] 697*2^1407005-1 is not prime. Res64: DA9EC81A1086DECC Time : 0.0 sec. user=mdettweiler [2015-08-20 14:07:36] 777*2^1407005-1 is not prime. Res64: A92E5ECB7368EB33 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:07:36] 789*2^1407005-1 is not prime. Res64: 163294BB873C4367 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:15:29] 831*2^1407005-1 is not prime. Res64: DDD76E8C496E3916 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:15:29] 627*2^1407006-1 is not prime. Res64: 865D15DBD26D891A Time : 0.0 sec. user=mdettweiler [2015-08-20 14:15:49] 713*2^1407006-1 is not prime. Res64: 6DB2BDFB9DDDEC1D Time : 0.0 sec. user=mdettweiler [2015-08-20 14:15:49] 717*2^1407006-1 is not prime. Res64: 2581BAE1C033A656 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:22:22] 795*2^1407006-1 is not prime. Res64: E023A741F23B287D Time : 0.0 sec. user=mdettweiler [2015-08-20 14:22:23] 801*2^1407006-1 is not prime. Res64: FE2B787E4FC2E16A Time : 0.0 sec. user=mdettweiler [2015-08-20 14:25:16] 851*2^1407006-1 is not prime. Res64: B41E26D7204792C4 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:25:17] 873*2^1407006-1 is not prime. Res64: AFD90659FE4D823D Time : 0.0 sec. user=mdettweiler [2015-08-20 14:33:03] 917*2^1407006-1 is not prime. Res64: 6BCDCA55E0BCBEC1 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:33:03] 993*2^1407006-1 is not prime. Res64: 5B1ACA276B880075 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:33:26] 645*2^1407007-1 is not prime. Res64: 94062FB949FE0321 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:33:27] 703*2^1407007-1 is not prime. Res64: 70414A3315F1C34E Time : 0.0 sec. user=mdettweiler [2015-08-20 14:40:01] 741*2^1407007-1 is not prime. Res64: D1291164C5E5D10F Time : 0.0 sec. user=mdettweiler [2015-08-20 14:40:02] 861*2^1407007-1 is not prime. Res64: 03107EA60C58DFC2 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:42:51] 901*2^1407007-1 is not prime. Res64: 0E93BCC603B04E3C Time : 0.0 sec. user=mdettweiler [2015-08-20 14:42:51] 909*2^1407007-1 is not prime. Res64: 6161A325BFD13BED Time : 0.0 sec. user=mdettweiler [2015-08-20 14:50:43] 985*2^1407007-1 is not prime. Res64: 591EBA19E2C77079 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:50:45] 633*2^1407008-1 is not prime. Res64: 4DD62527E2054310 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:50:59] 683*2^1407008-1 is not prime. Res64: 0473DE4530966281 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:51:01] 747*2^1407008-1 is not prime. Res64: 2195FEAA1DB95F89 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:57:37] 875*2^1407008-1 is not prime. Res64: 3BF5B13FB77CF9C0 Time : 0.0 sec. user=mdettweiler [2015-08-20 14:57:38] 915*2^1407008-1 is not prime. Res64: 459EEBC48267C203 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:00:25] 709*2^1407009-1 is not prime. Res64: 2EA1E88651967F5B Time : 0.0 sec. user=mdettweiler [2015-08-20 15:00:26] 769*2^1407009-1 is not prime. Res64: EDD7330D44C04C02 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:08:19] 835*2^1407009-1 is not prime. Res64: 021E9FF8A42CD55D Time : 0.0 sec. user=mdettweiler [2015-08-20 15:08:20] 895*2^1407009-1 is not prime. Res64: 648DEFE14EDE588F Time : 0.0 sec. user=mdettweiler [2015-08-20 15:08:36] 949*2^1407009-1 is not prime. Res64: 89061169E19ECF3B Time : 0.0 sec. user=mdettweiler [2015-08-20 15:08:37] 701*2^1407010-1 is not prime. Res64: 99A2EB7C063F8B20 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:15:07] 731*2^1407010-1 is not prime. Res64: 9835E3BC980D0C04 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:15:08] 765*2^1407010-1 is not prime. Res64: 47E71E7095858B2F Time : 0.0 sec. user=mdettweiler [2015-08-20 15:18:00] 821*2^1407010-1 is not prime. Res64: 7725749961B0A938 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:18:01] 831*2^1407010-1 is not prime. Res64: 436B8ED0D9A112EA Time : 0.0 sec. user=mdettweiler [2015-08-20 15:25:57] 609*2^1407011-1 is not prime. Res64: 91B56AA5B3B328E4 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:25:57] 705*2^1407011-1 is not prime. Res64: 1AC0BFE72B2D1820 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:26:13] 741*2^1407011-1 is not prime. Res64: 0BDE9E3C818DE0C9 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:26:13] 813*2^1407011-1 is not prime. Res64: FF352994BB0E3F14 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:32:36] 823*2^1407011-1 is not prime. Res64: F290A988F4B9B661 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:32:36] 859*2^1407011-1 is not prime. Res64: 456845E50E5A3E60 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:35:38] 993*2^1407011-1 is not prime. Res64: 9F6DDA3B762CAC06 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:35:39] 999*2^1407011-1 is not prime. Res64: B7D33D7299907941 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:43:35] 615*2^1407012-1 is not prime. Res64: 7751C2BAA1EAE200 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:43:35] 629*2^1407012-1 is not prime. Res64: C705B20537768AE4 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:43:41] 633*2^1407012-1 is not prime. Res64: 45E250B33F277256 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:43:42] 699*2^1407012-1 is not prime. Res64: 28509B1895E3DF09 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:50:09] 737*2^1407012-1 is not prime. Res64: 2BD1EBF9E83BFCC7 Time : 0.0 sec. user=mdettweiler [2015-08-20 15:50:09] 777*2^1407012-1 is not prime. Res64: 969956C0C5A3C9AC Time : 0.0 sec. user=mdettweiler [2015-08-20 15:53:11] 863*2^1407012-1 is not prime. Res64: 2202BE657C7BB39B Time : 0.0 sec. user=mdettweiler [2015-08-20 15:53:11] 909*2^1407012-1 is not prime. Res64: 52D4944BB9E492B5 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:01:13] 929*2^1407012-1 is not prime. Res64: 3B2BFC61CDF981FA Time : 0.0 sec. user=mdettweiler [2015-08-20 16:01:14] 639*2^1407013-1 is not prime. Res64: 107AD2FAA8707BD1 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:01:18] 937*2^1407013-1 is not prime. Res64: C4F2DC9E40466B05 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:01:19] 945*2^1407013-1 is not prime. Res64: C691632A685A930C Time : 0.0 sec. user=mdettweiler [2015-08-20 16:07:50] 961*2^1407013-1 is not prime. Res64: 24A85D22723074D3 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:07:50] 967*2^1407013-1 is not prime. Res64: BE99228554883E50 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:10:54] 641*2^1407014-1 is not prime. Res64: 595F0B30F1D2C5CF Time : 0.0 sec. user=mdettweiler [2015-08-20 16:10:54] 665*2^1407014-1 is not prime. Res64: F729D99F619EE2A6 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:18:51] 791*2^1407014-1 is not prime. Res64: 1E5C5E32BC97CA6C Time : 0.0 sec. user=mdettweiler [2015-08-20 16:18:51] 935*2^1407014-1 is not prime. Res64: 2D264C22037DFD38 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:18:51] 687*2^1407014-1 is not prime. Res64: 64CA7BAE1E779B51 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:18:52] 773*2^1407014-1 is not prime. Res64: 419A7AAD5D6628D0 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:25:26] 945*2^1407014-1 is not prime. Res64: C5EAAD4B11079DA0 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:25:27] 953*2^1407014-1 is not prime. Res64: 334C5FCB311E3E78 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:28:35] 965*2^1407014-1 is not prime. Res64: FA30BBD527DE4ED9 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:28:35] 993*2^1407014-1 is not prime. Res64: 69BB2DF51D47C952 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:36:27] 995*2^1407014-1 is not prime. Res64: FA64643FB8ACFE6F Time : 0.0 sec. user=mdettweiler [2015-08-20 16:36:28] 651*2^1407015-1 is not prime. Res64: 0696B626124E7288 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:36:30] 669*2^1407015-1 is not prime. Res64: 0B45633DF7586AB5 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:36:30] 693*2^1407015-1 is not prime. Res64: 0D8127E04E27F31A Time : 0.0 sec. user=mdettweiler [2015-08-20 16:43:00] 723*2^1407015-1 is not prime. Res64: C0E3AE7833B10FC4 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:43:00] 859*2^1407015-1 is not prime. Res64: D1780ECDE00012FC Time : 0.0 sec. user=mdettweiler [2015-08-20 16:46:17] 909*2^1407015-1 is not prime. Res64: CB38F620D8604DC0 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:46:17] 933*2^1407015-1 is not prime. Res64: 2F36139C4E702448 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:54:05] 609*2^1407016-1 is not prime. Res64: 3B72C1F9D19FF957 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:54:05] 615*2^1407016-1 is not prime. Res64: 942F70D8FC6BAA32 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:54:09] 943*2^1407015-1 is not prime. Res64: 0904B830CDD9BDC6 Time : 0.0 sec. user=mdettweiler [2015-08-20 16:54:10] 603*2^1407016-1 is not prime. Res64: E3124884E7C5EA63 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:00:34] 657*2^1407016-1 is not prime. Res64: 14F2C2F40A93A5CD Time : 0.0 sec. user=mdettweiler [2015-08-20 17:00:35] 719*2^1407016-1 is not prime. Res64: 1ABAD55D38FD5D99 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:03:56] 887*2^1407016-1 is not prime. Res64: B922D99248FA97C0 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:03:57] 905*2^1407016-1 is not prime. Res64: 05E09688FD4A395A Time : 0.0 sec. user=mdettweiler [2015-08-20 17:11:41] 933*2^1407016-1 is not prime. Res64: 3C9E5D90AB126CC1 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:11:41] 965*2^1407016-1 is not prime. Res64: 575689B107AC8BBE Time : 0.0 sec. user=mdettweiler [2015-08-20 17:11:55] 615*2^1407017-1 is not prime. Res64: D501B2A01BFAD79B Time : 0.0 sec. user=mdettweiler [2015-08-20 17:11:56] 819*2^1407017-1 is not prime. Res64: AB4E4D0EF7EA8941 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:18:16] 885*2^1407017-1 is not prime. Res64: 775DD044FA093818 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:18:17] 939*2^1407017-1 is not prime. Res64: 14340E4D8EFA0DE5 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:21:50] 955*2^1407017-1 is not prime. Res64: 33DC970B532C2071 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:21:50] 605*2^1407018-1 is not prime. Res64: 3983CF5CB91B55E9 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:29:13] 635*2^1407018-1 is not prime. Res64: 8804DB02192A92CC Time : 0.0 sec. user=mdettweiler [2015-08-20 17:29:14] 695*2^1407018-1 is not prime. Res64: 0899CF630DA0E8B3 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:29:22] 755*2^1407018-1 is not prime. Res64: F09AD61B784D4E6B Time : 0.0 sec. user=mdettweiler [2015-08-20 17:29:22] 815*2^1407018-1 is not prime. Res64: FC1D3149FE5652D2 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:35:48] 945*2^1407018-1 is not prime. Res64: 669332170DD72905 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:35:48] 681*2^1407019-1 is not prime. Res64: 391211411C22285A Time : 0.0 sec. user=mdettweiler [2015-08-20 17:39:24] 745*2^1407019-1 is not prime. Res64: 64B87C12B9A33F95 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:39:24] 801*2^1407019-1 is not prime. Res64: 10F92C9C5E36F616 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:46:51] 885*2^1407019-1 is not prime. Res64: 168ED0B42362055F Time : 0.0 sec. user=mdettweiler [2015-08-20 17:46:51] 909*2^1407019-1 is not prime. Res64: BB58913D011DDF8C Time : 0.0 sec. user=mdettweiler [2015-08-20 17:47:01] 975*2^1407019-1 is not prime. Res64: DBB3F0292B5F5F64 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:47:01] 979*2^1407019-1 is not prime. Res64: 42C8B26D254F6026 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:53:34] 609*2^1407020-1 is not prime. Res64: 3E6A51F922D360F5 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:53:34] 663*2^1407020-1 is not prime. Res64: 07DAE012F7F6F68D Time : 0.0 sec. user=mdettweiler [2015-08-20 17:57:19] 753*2^1407020-1 is not prime. Res64: E16DD534BFCD6592 Time : 0.0 sec. user=mdettweiler [2015-08-20 17:57:20] 839*2^1407020-1 is not prime. Res64: 86F0B5DD20E88A78 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:04:38] 843*2^1407020-1 is not prime. Res64: AA2310E25C457A68 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:04:39] 855*2^1407020-1 is not prime. Res64: 50E2B39F3A3FC90D Time : 0.0 sec. user=mdettweiler [2015-08-20 18:04:45] 897*2^1407020-1 is not prime. Res64: FE790A54062F6404 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:04:47] 935*2^1407020-1 is not prime. Res64: 1E4DC17BB138EB7E Time : 0.0 sec. user=mdettweiler [2015-08-20 18:11:16] 953*2^1407020-1 is not prime. Res64: 5DAB5A25796E1C32 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:11:16] 963*2^1407020-1 is not prime. Res64: 288E5752A265C150 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:15:09] 657*2^1407021-1 is not prime. Res64: DCA7E40DE29E9F1D Time : 0.0 sec. user=mdettweiler [2015-08-20 18:15:09] 685*2^1407021-1 is not prime. Res64: D6B43B6D9F544480 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:22:49] 735*2^1407021-1 is not prime. Res64: 0607FDCC8893F01E Time : 0.0 sec. user=mdettweiler [2015-08-20 18:22:49] 777*2^1407021-1 is not prime. Res64: 85E95CA5F5DED186 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:22:52] 861*2^1407021-1 is not prime. Res64: 41B091C01C85186E Time : 0.0 sec. user=mdettweiler [2015-08-20 18:22:53] 871*2^1407021-1 is not prime. Res64: FFD14432407B4952 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:29:22] 877*2^1407021-1 is not prime. Res64: F3EDAB2826852711 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:29:22] 907*2^1407021-1 is not prime. Res64: 2E7F2F30FA8E87C6 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:33:24] 997*2^1407021-1 is not prime. Res64: 549D8F34F3127199 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:33:25] 603*2^1407022-1 is not prime. Res64: D13DE96F9186E4A2 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:41:04] 651*2^1407022-1 is not prime. Res64: 9125C2D7DC15D222 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:41:04] 657*2^1407022-1 is not prime. Res64: FF65FC51D0B44469 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:41:10] 705*2^1407022-1 is not prime. Res64: 359A0250D552F601 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:41:10] 723*2^1407022-1 is not prime. Res64: 2ED3E756512D3E26 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:47:22] 747*2^1407022-1 is not prime. Res64: 4624ECD82714C779 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:47:22] 761*2^1407022-1 is not prime. Res64: EF0C608D9142DB0A Time : 0.0 sec. user=mdettweiler [2015-08-20 18:51:43] 801*2^1407022-1 is not prime. Res64: A306B1B898262189 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:51:43] 815*2^1407022-1 is not prime. Res64: 682FDDB52A46D971 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:59:18] 825*2^1407022-1 is not prime. Res64: FF8B8B45CB99B9CC Time : 0.0 sec. user=mdettweiler [2015-08-20 18:59:19] 947*2^1407022-1 is not prime. Res64: 167B8EA57D72E992 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:59:47] 981*2^1407022-1 is not prime. Res64: 43367296EEAC14A0 Time : 0.0 sec. user=mdettweiler [2015-08-20 18:59:47] 603*2^1407023-1 is not prime. Res64: 4CE3F0784E90AE26 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:06:23] 861*2^1407023-1 is not prime. Res64: 961609F93E7D6324 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:06:23] 871*2^1407023-1 is not prime. Res64: F85DA182058F7202 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:10:50] 885*2^1407023-1 is not prime. Res64: 789D0F3A0FCD5FAE Time : 0.0 sec. user=mdettweiler [2015-08-20 19:10:50] 939*2^1407023-1 is not prime. Res64: 0E67FAE643064423 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:18:28] 973*2^1407023-1 is not prime. Res64: EA80458A68B7F1D8 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:18:28] 627*2^1407024-1 is not prime. Res64: EE1134CD9189AFB5 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:18:54] 663*2^1407024-1 is not prime. Res64: 3012581179DF4A5C Time : 0.0 sec. user=mdettweiler [2015-08-20 19:18:54] 767*2^1407024-1 is not prime. Res64: 407275426CF7BD23 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:25:37] 825*2^1407024-1 is not prime. Res64: 50F6B33669F854E1 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:25:37] 849*2^1407024-1 is not prime. Res64: 35FDD20B72196C8D Time : 0.0 sec. user=mdettweiler [2015-08-20 19:30:09] 935*2^1407024-1 is not prime. Res64: CD2A88B41899686C Time : 0.0 sec. user=mdettweiler [2015-08-20 19:30:10] 619*2^1407025-1 is not prime. Res64: 1F5646293245E1FE Time : 0.0 sec. user=mdettweiler [2015-08-20 19:37:02] 867*2^1407025-1 is not prime. Res64: 5F3B6C8179A7A3A4 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:37:02] 937*2^1407025-1 is not prime. Res64: 27F45BFAABAECB5F Time : 0.0 sec. user=mdettweiler [2015-08-20 19:37:04] 705*2^1407025-1 is not prime. Res64: CD0ED8AAC0F369A4 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:37:04] 861*2^1407025-1 is not prime. Res64: F6B14F54A91D9F17 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:43:46] 975*2^1407025-1 is not prime. Res64: FDEC58ADE9D29C6C Time : 0.0 sec. user=mdettweiler [2015-08-20 19:43:46] 615*2^1407026-1 is not prime. Res64: 8EB5F7AD57F14864 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:48:18] 623*2^1407026-1 is not prime. Res64: 8628A55F8FAE039C Time : 0.0 sec. user=mdettweiler [2015-08-20 19:48:19] 713*2^1407026-1 is not prime. Res64: 8DA2295319CA1058 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:55:26] 941*2^1407026-1 is not prime. Res64: 6422CD49D0C1BF96 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:55:26] 621*2^1407027-1 is not prime. Res64: BFF3C68EE242AF62 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:55:27] 741*2^1407026-1 is not prime. Res64: 8450E44BCEA55330 Time : 0.0 sec. user=mdettweiler [2015-08-20 19:55:28] 887*2^1407026-1 is not prime. Res64: 1B0DC66575286A63 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:01:53] 769*2^1407027-1 is not prime. Res64: 24E2E84713FA6973 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:01:54] 823*2^1407027-1 is not prime. Res64: D2A540A9F4348284 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:06:21] 963*2^1407027-1 is not prime. Res64: 6AEC53EB0E9B34D0 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:06:22] 827*2^1407028-1 is not prime. Res64: CA43AF82BDB3C82C Time : 0.0 sec. user=mdettweiler [2015-08-20 20:13:12] 843*2^1407028-1 is not prime. Res64: E947ED40F22FB850 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:13:13] 727*2^1407029-1 is not prime. Res64: 93E47F6EBEF0F95C Time : 0.0 sec. user=mdettweiler [2015-08-20 20:13:13] 855*2^1407028-1 is not prime. Res64: 3285E858086AE9A3 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:13:13] 931*2^1407029-1 is not prime. Res64: 981EF34667BBECB8 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:19:48] 611*2^1407030-1 is not prime. Res64: 7B2AE90B4993FE94 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:19:48] 653*2^1407030-1 is not prime. Res64: B28ED19B246BCE0F Time : 0.0 sec. user=mdettweiler [2015-08-20 20:24:08] 791*2^1407030-1 is not prime. Res64: 68A09E17D9AB8145 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:24:08] 795*2^1407030-1 is not prime. Res64: AF640A52667EBF02 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:30:55] 941*2^1407030-1 is not prime. Res64: 45EE99AA31E5C6E3 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:30:55] 615*2^1407031-1 is not prime. Res64: DA2752A80911EE1E Time : 0.0 sec. user=mdettweiler [2015-08-20 20:30:57] 893*2^1407030-1 is not prime. Res64: 4C8A892AEDF847CA Time : 0.0 sec. user=mdettweiler [2015-08-20 20:30:58] 917*2^1407030-1 is not prime. Res64: EDE3CA6F061B28DC Time : 0.0 sec. user=mdettweiler [2015-08-20 20:37:18] 619*2^1407031-1 is not prime. Res64: E0120F8D0E7E7DA1 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:37:19] 639*2^1407031-1 is not prime. Res64: 1C223FDF257D2B7E Time : 0.0 sec. user=mdettweiler [2015-08-20 20:41:42] 679*2^1407031-1 is not prime. Res64: 6E5120575D79E6FD Time : 0.0 sec. user=mdettweiler [2015-08-20 20:41:43] 759*2^1407031-1 is not prime. Res64: BCD923F69BA21BA2 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:48:23] 849*2^1407031-1 is not prime. Res64: FC6FE5DF247E4901 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:48:23] 931*2^1407031-1 is not prime. Res64: A56BB4F2E110A706 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:48:25] 999*2^1407031-1 is not prime. Res64: D1F6BB00A1D24435 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:48:25] 699*2^1407032-1 is not prime. Res64: 31C1D9BB4BDE31D6 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:54:50] 755*2^1407032-1 is not prime. Res64: FFA5AECA1A353BAC Time : 0.0 sec. user=mdettweiler [2015-08-20 20:54:50] 833*2^1407032-1 is not prime. Res64: F182809CF238C127 Time : 0.0 sec. user=mdettweiler [2015-08-20 20:59:19] 843*2^1407032-1 is not prime. Res64: BF4298BA8D45FAEC Time : 0.0 sec. user=mdettweiler [2015-08-20 20:59:19] 857*2^1407032-1 is not prime. Res64: 08D4EBAFAE1B2D1C Time : 0.0 sec. user=mdettweiler [2015-08-20 21:06:01] 899*2^1407032-1 is not prime. Res64: 6CB8131A6256E0E5 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:06:03] 959*2^1407032-1 is not prime. Res64: B94145A2696FD0B9 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:06:07] 681*2^1407033-1 is not prime. Res64: 1F25A43D1CE7D080 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:06:09] 705*2^1407033-1 is not prime. Res64: 18A24855396E70D1 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:12:42] 745*2^1407033-1 is not prime. Res64: BB7A8F3ED2CE2801 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:12:42] 811*2^1407033-1 is not prime. Res64: 07922E9D2CEC2BD6 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:16:58] 837*2^1407033-1 is not prime. Res64: 32D72AA35671096D Time : 0.0 sec. user=mdettweiler [2015-08-20 21:16:58] 847*2^1407033-1 is not prime. Res64: FFAE4331FAC4EA5B Time : 0.0 sec. user=mdettweiler [2015-08-20 21:24:05] 611*2^1407034-1 is not prime. Res64: 2CF5D10AD86CB4A2 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:24:05] 635*2^1407034-1 is not prime. Res64: C924F9EF4FF0C39E Time : 0.0 sec. user=mdettweiler [2015-08-20 21:24:07] 717*2^1407034-1 is not prime. Res64: 7A6A730031D16AC6 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:24:07] 747*2^1407034-1 is not prime. Res64: 970CD657096CFE71 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:30:11] 755*2^1407034-1 is not prime. Res64: E24FDD517E27B8A2 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:30:12] 791*2^1407034-1 is not prime. Res64: 9A4F4BF06EAE0DFE Time : 0.0 sec. user=mdettweiler [2015-08-20 21:34:28] 833*2^1407034-1 is not prime. Res64: BDB96031D1BB312F Time : 0.0 sec. user=mdettweiler [2015-08-20 21:34:28] 1001*2^1407034-1 is not prime. Res64: 8687BFEB928232D9 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:41:48] 643*2^1407035-1 is not prime. Res64: 857F06B90E36217D Time : 0.0 sec. user=mdettweiler [2015-08-20 21:41:48] 819*2^1407035-1 is not prime. Res64: B0C7F5DC6BFBD2C6 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:41:51] 949*2^1407035-1 is not prime. Res64: 4A81569B965AE60E Time : 0.0 sec. user=mdettweiler [2015-08-20 21:41:51] 633*2^1407036-1 is not prime. Res64: 737138155A061C46 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:47:47] 789*2^1407036-1 is not prime. Res64: C40CBA1BF34931A3 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:47:47] 903*2^1407036-1 is not prime. Res64: 0CF3CAFFDCC1265C Time : 0.0 sec. user=mdettweiler [2015-08-20 21:52:01] 923*2^1407036-1 is not prime. Res64: 5A108B14F4F55DAA Time : 0.0 sec. user=mdettweiler [2015-08-20 21:52:02] 651*2^1407037-1 is not prime. Res64: 32797EFF83F6B1F8 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:59:20] 675*2^1407037-1 is not prime. Res64: 8F7B01B26B6E5E94 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:59:20] 715*2^1407037-1 is not prime. Res64: 6A721114AC1E6D2A Time : 0.0 sec. user=mdettweiler [2015-08-20 21:59:23] 831*2^1407037-1 is not prime. Res64: 3C8FB9BB1BBB3763 Time : 0.0 sec. user=mdettweiler [2015-08-20 21:59:23] 861*2^1407037-1 is not prime. Res64: 335273919E000C32 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:05:23] 979*2^1407037-1 is not prime. Res64: B06DECA59961246C Time : 0.0 sec. user=mdettweiler [2015-08-20 22:05:24] 663*2^1407038-1 is not prime. Res64: 6B560542400D664B Time : 0.0 sec. user=mdettweiler [2015-08-20 22:09:37] 671*2^1407038-1 is not prime. Res64: EB353DDE96BA7F7C Time : 0.0 sec. user=mdettweiler [2015-08-20 22:09:38] 683*2^1407038-1 is not prime. Res64: EF7AAB83846B192E Time : 0.0 sec. user=mdettweiler [2015-08-20 22:16:51] 707*2^1407038-1 is not prime. Res64: 9466921F99A9B5C9 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:16:52] 755*2^1407038-1 is not prime. Res64: 3FB97C3F9D142083 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:16:55] 797*2^1407038-1 is not prime. Res64: 37123ECF9F686CCD Time : 0.0 sec. user=mdettweiler [2015-08-20 22:16:56] 827*2^1407038-1 is not prime. Res64: 1E6C4053EBEB9DB3 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:23:11] 897*2^1407038-1 is not prime. Res64: 95D347EA9C304503 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:23:11] 963*2^1407038-1 is not prime. Res64: 108D3F143B412674 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:27:12] 723*2^1407039-1 is not prime. Res64: 35E98E921A3A2D37 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:27:13] 741*2^1407039-1 is not prime. Res64: 914FE349DAF99B64 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:34:20] 745*2^1407039-1 is not prime. Res64: D05D397D25C21C72 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:34:20] 751*2^1407039-1 is not prime. Res64: 2EF04537200FBC67 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:34:23] 885*2^1407039-1 is not prime. Res64: D9E9613607B61A8E Time : 0.0 sec. user=mdettweiler [2015-08-20 22:34:23] 975*2^1407039-1 is not prime. Res64: E8B91C57D13000E9 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:40:50] 635*2^1407040-1 is not prime. Res64: E26582E6544A9C4F Time : 0.0 sec. user=mdettweiler [2015-08-20 22:40:50] 665*2^1407040-1 is not prime. Res64: E87D3F681DA17E79 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:45:01] 717*2^1407040-1 is not prime. Res64: FF4ECAB15ED4B751 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:45:01] 741*2^1407041-1 is not prime. Res64: 58AF776F6D00F333 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:52:27] 925*2^1407041-1 is not prime. Res64: 2F4B1E616981F7CF Time : 0.0 sec. user=mdettweiler [2015-08-20 22:52:27] 683*2^1407042-1 is not prime. Res64: 942C352C013BE90E Time : 0.0 sec. user=mdettweiler [2015-08-20 22:52:36] 737*2^1407042-1 is not prime. Res64: CDC90563743138FA Time : 0.0 sec. user=mdettweiler [2015-08-20 22:52:36] 755*2^1407042-1 is not prime. Res64: 2E8F8924DF2B1638 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:59:53] 801*2^1407042-1 is not prime. Res64: 9859C18AF44BF423 Time : 0.0 sec. user=mdettweiler [2015-08-20 22:59:54] 813*2^1407043-1 is not prime. Res64: 5CD4C8F506BC33EB Time : 0.0 sec. user=mdettweiler [2015-08-20 23:04:16] 835*2^1407043-1 is not prime. Res64: 86C4D4E4064BD4FD Time : 0.0 sec. user=mdettweiler [2015-08-20 23:04:18] 895*2^1407043-1 is not prime. Res64: FD98DC95D5BE6AF1 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:11:10] 999*2^1407043-1 is not prime. Res64: 3885D530A3D6448F Time : 0.0 sec. user=mdettweiler [2015-08-20 23:11:11] 615*2^1407044-1 is not prime. Res64: 0FBAFA46F455DF50 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:11:13] 659*2^1407044-1 is not prime. Res64: BF510174838ACF07 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:11:13] 677*2^1407044-1 is not prime. Res64: 9FDC4C399C619C91 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:18:00] 833*2^1407044-1 is not prime. Res64: B6E856869183D29B Time : 0.0 sec. user=mdettweiler [2015-08-20 23:18:00] 837*2^1407044-1 is not prime. Res64: E3A7617C2D691E75 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:22:38] 855*2^1407044-1 is not prime. Res64: 4EA4BA10A915D6F5 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:22:38] 995*2^1407044-1 is not prime. Res64: F5B4675C053BBD2F Time : 0.0 sec. user=mdettweiler [2015-08-20 23:29:04] 781*2^1407045-1 is not prime. Res64: 98B5AB3388329949 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:29:05] 849*2^1407045-1 is not prime. Res64: 3BB47D9FE71C58F0 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:29:17] 699*2^1407045-1 is not prime. Res64: BEBDC9B15B938DC8 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:29:17] 727*2^1407045-1 is not prime. Res64: 2456C0461F55845D Time : 0.0 sec. user=mdettweiler [2015-08-20 23:35:50] 891*2^1407045-1 is not prime. Res64: 16A902021E2D3BD0 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:35:50] 979*2^1407045-1 is not prime. Res64: 8F23DB98CB183CA3 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:40:24] 623*2^1407046-1 is not prime. Res64: A07002BA6AFB9685 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:40:24] 761*2^1407046-1 is not prime. Res64: 524F5A9E04CF69F4 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:46:54] 765*2^1407046-1 is not prime. Res64: E346BFC269D23E17 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:46:55] 773*2^1407046-1 is not prime. Res64: 18BC1F77A3466F64 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:47:05] 945*2^1407046-1 is not prime. Res64: 9512ABC017342F54 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:47:06] 619*2^1407047-1 is not prime. Res64: D17E81370D549A43 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:55:19] 643*2^1407047-1 is not prime. Res64: EE013DB952E86C54 Time : 0.0 sec. user=mdettweiler [2015-08-20 23:55:20] 711*2^1407047-1 is not prime. Res64: EF9832EDB7928168 Time : 0.0 sec.