user=mdettweiler [2015-02-18 00:05:27] 889*2^1391261-1 is not prime. Res64: CD76DD0957F2493E Time : 0.0 sec. user=mdettweiler [2015-02-18 00:05:28] 713*2^1391262-1 is not prime. Res64: 90762D392B08A9A9 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:16:53] 731*2^1391262-1 is not prime. Res64: EE1DC3C0DE3F30CB Time : 0.0 sec. user=mdettweiler [2015-02-18 00:16:54] 761*2^1391262-1 is not prime. Res64: 8AB6B53C2A5F6960 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:20:25] 791*2^1391262-1 is not prime. Res64: 7E246643DEAAD30A Time : 0.0 sec. user=mdettweiler [2015-02-18 00:20:25] 815*2^1391262-1 is not prime. Res64: C29DD92997BA5C35 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:20:47] 843*2^1391262-1 is not prime. Res64: 72B0B52808672F91 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:20:48] 789*2^1391263-1 is not prime. Res64: 1D63F5F8CE90941F Time : 0.0 sec. user=mdettweiler [2015-02-18 00:33:26] 873*2^1391263-1 is not prime. Res64: 8CA5355B1116F46B Time : 0.0 sec. user=mdettweiler [2015-02-18 00:33:27] 605*2^1391264-1 is not prime. Res64: DD3F8C96258097C5 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:44:55] 983*2^1391264-1 is not prime. Res64: 9F79CE5951A7B622 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:44:56] 995*2^1391264-1 is not prime. Res64: 25E5C1872EAA9396 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:48:24] 649*2^1391265-1 is not prime. Res64: B1C5415B2DBC4814 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:48:25] 679*2^1391265-1 is not prime. Res64: 2F51F73000F6E2BF Time : 0.0 sec. user=mdettweiler [2015-02-18 00:48:38] 751*2^1391265-1 is not prime. Res64: AA1E7CE3653A7026 Time : 0.0 sec. user=mdettweiler [2015-02-18 00:48:38] 765*2^1391265-1 is not prime. Res64: 8AA2FE9095AEDD28 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:00:57] 787*2^1391265-1 is not prime. Res64: 8302D9F98358355F Time : 0.0 sec. user=mdettweiler [2015-02-18 01:00:58] 795*2^1391265-1 is not prime. Res64: D35CB8BA559C9EFD Time : 0.0 sec. user=mdettweiler [2015-02-18 01:11:27] 891*2^1391265-1 is not prime. Res64: 06B5AECA9DF75663 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:11:28] 921*2^1391265-1 is not prime. Res64: 01E542253BE1E293 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:14:55] 937*2^1391265-1 is not prime. Res64: 421884965114E0BB Time : 0.0 sec. user=mdettweiler [2015-02-18 01:14:56] 979*2^1391265-1 is not prime. Res64: 7D581203E1572316 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:15:07] 985*2^1391265-1 is not prime. Res64: 3D399DDF138D8138 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:15:08] 991*2^1391265-1 is not prime. Res64: 60D7D162DAC6258C Time : 0.0 sec. user=mdettweiler [2015-02-18 01:28:02] 843*2^1391266-1 is not prime. Res64: 9EA8F3B5E71E8C16 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:28:03] 857*2^1391266-1 is not prime. Res64: C2AD58B966B72965 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:38:20] 933*2^1391266-1 is not prime. Res64: 64F6F698788E93EF Time : 0.0 sec. user=mdettweiler [2015-02-18 01:38:20] 993*2^1391266-1 is not prime. Res64: BB11C1428507B504 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:41:47] 609*2^1391267-1 is not prime. Res64: CC387F7094C8E297 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:41:47] 663*2^1391267-1 is not prime. Res64: 572CF99FF3CFF3A5 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:41:58] 735*2^1391267-1 is not prime. Res64: C431B9EFB2B08369 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:41:59] 759*2^1391267-1 is not prime. Res64: 633EFE31F2E8B962 Time : 0.0 sec. user=mdettweiler [2015-02-18 01:55:38] 841*2^1391267-1 is not prime. Res64: 6F5AD33E418CDE7B Time : 0.0 sec. user=mdettweiler [2015-02-18 01:55:39] 991*2^1391267-1 is not prime. Res64: 63E8C30ADA36A399 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:06:04] 689*2^1391268-1 is not prime. Res64: 76FBFB66D815CB1B Time : 0.0 sec. user=mdettweiler [2015-02-18 02:06:04] 819*2^1391268-1 is not prime. Res64: 263DF30AFA475933 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:09:16] 969*2^1391268-1 is not prime. Res64: E7BD59A043745EA4 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:09:17] 975*2^1391268-1 is not prime. Res64: D0871CEACDDEB606 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:09:36] 681*2^1391269-1 is not prime. Res64: FE699EB39AECF03F Time : 0.0 sec. user=mdettweiler [2015-02-18 02:09:37] 867*2^1391269-1 is not prime. Res64: 28693D7D86293E2B Time : 0.0 sec. user=mdettweiler [2015-02-18 02:23:15] 919*2^1391269-1 is not prime. Res64: F37BF2406DADA101 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:23:15] 999*2^1391269-1 is not prime. Res64: A2EB6A1AEC64F696 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:33:32] 603*2^1391270-1 is not prime. Res64: 20B84EE934DB64FE Time : 0.0 sec. user=mdettweiler [2015-02-18 02:33:33] 711*2^1391270-1 is not prime. Res64: 4BD0F679668A919E Time : 0.0 sec. user=mdettweiler [2015-02-18 02:36:32] 773*2^1391270-1 is not prime. Res64: 42AEBA5EE7C42C1B Time : 0.0 sec. user=mdettweiler [2015-02-18 02:36:33] 801*2^1391270-1 is not prime. Res64: 074546C8156FF44F Time : 0.0 sec. user=mdettweiler [2015-02-18 02:37:31] 843*2^1391270-1 is not prime. Res64: F0730122D68442AA Time : 0.0 sec. user=mdettweiler [2015-02-18 02:37:32] 851*2^1391270-1 is not prime. Res64: 8EF7DC27DD2835B7 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:51:10] 669*2^1391271-1 is not prime. Res64: 9733DD5AE8A2ACB6 Time : 0.0 sec. user=mdettweiler [2015-02-18 02:51:11] 705*2^1391271-1 is not prime. Res64: 089EE48A44244AD1 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:00:56] 745*2^1391271-1 is not prime. Res64: 2C108E6ED91356D6 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:00:57] 805*2^1391271-1 is not prime. Res64: 7969351876942799 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:03:51] 635*2^1391272-1 is not prime. Res64: CE579E7B52C20416 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:03:54] 657*2^1391272-1 is not prime. Res64: A2EE649CFC6DCAB9 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:05:05] 677*2^1391272-1 is not prime. Res64: 9EC0206CEFD317BA Time : 0.0 sec. user=mdettweiler [2015-02-18 03:05:07] 723*2^1391272-1 is not prime. Res64: 5F39E7C81EEDCDDE Time : 0.0 sec. user=mdettweiler [2015-02-18 03:17:45] 743*2^1391272-1 is not prime. Res64: E48439B348F09A41 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:17:46] 849*2^1391272-1 is not prime. Res64: A407866C93D4172E Time : 0.0 sec. user=mdettweiler [2015-02-18 03:29:17] 903*2^1391272-1 is not prime. Res64: 0379C595DE56B81D Time : 0.0 sec. user=mdettweiler [2015-02-18 03:29:19] 637*2^1391273-1 is not prime. Res64: D6E9E3396255E89B Time : 0.0 sec. user=mdettweiler [2015-02-18 03:32:24] 669*2^1391273-1 is not prime. Res64: 3AF0E3F3F44C4BCF Time : 0.0 sec. user=mdettweiler [2015-02-18 03:32:27] 675*2^1391273-1 is not prime. Res64: EF7CA3630712E564 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:33:33] 691*2^1391273-1 is not prime. Res64: 69F24CB9797F3DD8 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:33:35] 697*2^1391273-1 is not prime. Res64: D46BFE187066A116 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:46:06] 721*2^1391273-1 is not prime. Res64: 70C886CEAB8FA0B2 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:46:07] 945*2^1391273-1 is not prime. Res64: 1A05B7E913CC63A0 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:56:56] 967*2^1391273-1 is not prime. Res64: 28CB5B55BEDC7494 Time : 0.0 sec. user=mdettweiler [2015-02-18 03:56:57] 969*2^1391273-1 is not prime. Res64: CDF80C378AA063D7 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:00:09] 981*2^1391273-1 is not prime. Res64: AB4E0E0108ED24D5 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:00:10] 707*2^1391274-1 is not prime. Res64: 201F5DCA7EDEEEFA Time : 0.0 sec. user=mdettweiler [2015-02-18 04:00:54] 773*2^1391274-1 is not prime. Res64: FA96AF4B9A2019D2 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:00:56] 783*2^1391274-1 is not prime. Res64: BE588CB280A9CC77 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:13:05] 851*2^1391274-1 is not prime. Res64: 7097834C59BAAD7D Time : 0.0 sec. user=mdettweiler [2015-02-18 04:13:07] 975*2^1391274-1 is not prime. Res64: 87DC1645009491F2 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:23:18] 649*2^1391275-1 is not prime. Res64: 40E7555A8DCD6DD2 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:23:18] 691*2^1391275-1 is not prime. Res64: FD8D6654EE1DB671 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:26:38] 771*2^1391275-1 is not prime. Res64: 28A6170D453535B3 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:26:39] 841*2^1391275-1 is not prime. Res64: EA9A89EA2D7556B8 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:27:27] 853*2^1391275-1 is not prime. Res64: 9A3F5B4BA4FB4112 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:27:29] 855*2^1391275-1 is not prime. Res64: 966438E3B6451B0F Time : 0.0 sec. user=mdettweiler [2015-02-18 04:39:33] 859*2^1391275-1 is not prime. Res64: BE9673964A1FF959 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:39:34] 895*2^1391275-1 is not prime. Res64: ED231E04A5256510 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:49:35] 961*2^1391275-1 is not prime. Res64: 0FCEBCC2376F849C Time : 0.0 sec. user=mdettweiler [2015-02-18 04:49:36] 609*2^1391276-1 is not prime. Res64: 8E21C39D44A269CB Time : 0.0 sec. user=mdettweiler [2015-02-18 04:52:56] 659*2^1391276-1 is not prime. Res64: CFD280D29DB9B051 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:52:57] 743*2^1391276-1 is not prime. Res64: 115B6A69925EDC56 Time : 0.0 sec. user=mdettweiler [2015-02-18 04:53:55] 927*2^1391276-1 is not prime. Res64: A779BB9279B7CD7F Time : 0.0 sec. user=mdettweiler [2015-02-18 04:53:55] 987*2^1391276-1 is not prime. Res64: 95AE327E92DD2F73 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:05:55] 655*2^1391277-1 is not prime. Res64: 258A6FA61F210D78 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:05:56] 825*2^1391277-1 is not prime. Res64: 347D6CC7EF173382 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:15:45] 835*2^1391277-1 is not prime. Res64: 92BF8AAAA3CE7417 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:15:45] 865*2^1391277-1 is not prime. Res64: 84CCE97F3F5D356A Time : 0.0 sec. user=mdettweiler [2015-02-18 05:19:24] 915*2^1391277-1 is not prime. Res64: C1747622F0E29F36 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:19:25] 617*2^1391278-1 is not prime. Res64: B50974F24480FF5B Time : 0.0 sec. user=mdettweiler [2015-02-18 05:20:10] 621*2^1391278-1 is not prime. Res64: 17DB7900DD8850D4 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:20:10] 647*2^1391278-1 is not prime. Res64: 8CD6905C530C86AD Time : 0.0 sec. user=mdettweiler [2015-02-18 05:32:19] 723*2^1391278-1 is not prime. Res64: 6DB2F6F0BA64A3E5 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:32:20] 777*2^1391278-1 is not prime. Res64: D3E64A22027E41CC Time : 0.0 sec. user=mdettweiler [2015-02-18 05:42:01] 791*2^1391278-1 is not prime. Res64: E5C172CB8A88C776 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:42:01] 825*2^1391278-1 is not prime. Res64: 78C05EF7752E802A Time : 0.0 sec. user=mdettweiler [2015-02-18 05:45:36] 833*2^1391278-1 is not prime. Res64: C5EC8E20F7F54FB7 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:45:37] 971*2^1391278-1 is not prime. Res64: 8B9E59AB47448660 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:46:33] 1001*2^1391278-1 is not prime. Res64: 9E91A2827952743D Time : 0.0 sec. user=mdettweiler [2015-02-18 05:46:33] 615*2^1391279-1 is not prime. Res64: 8F4A4A4D6519F358 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:58:39] 619*2^1391279-1 is not prime. Res64: 693A1E40392921F6 Time : 0.0 sec. user=mdettweiler [2015-02-18 05:58:40] 633*2^1391279-1 is not prime. Res64: 90254BB42CCC7B6B Time : 0.0 sec. user=mdettweiler [2015-02-18 06:08:20] 643*2^1391279-1 is not prime. Res64: F51C97816F265463 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:08:21] 711*2^1391279-1 is not prime. Res64: B4CCF34A69050306 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:11:48] 729*2^1391279-1 is not prime. Res64: F501D7FE3C425EB2 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:11:49] 775*2^1391279-1 is not prime. Res64: C4468A8822060F04 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:12:51] 825*2^1391279-1 is not prime. Res64: 206EEDCF7324C4D9 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:12:52] 865*2^1391279-1 is not prime. Res64: 69B8753E57495F23 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:24:50] 969*2^1391279-1 is not prime. Res64: F23A2B897581C0EC Time : 0.0 sec. user=mdettweiler [2015-02-18 06:24:51] 797*2^1391280-1 is not prime. Res64: E802A80FAF3C90CE Time : 0.0 sec. user=mdettweiler [2015-02-18 06:34:37] 945*2^1391280-1 is not prime. Res64: 14740DC95780F7B4 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:34:38] 601*2^1391281-1 is not prime. Res64: 20D764A2F13D196C Time : 0.0 sec. user=mdettweiler [2015-02-18 06:38:01] 789*2^1391281-1 is not prime. Res64: 1603603A23B0285D Time : 0.0 sec. user=mdettweiler [2015-02-18 06:38:02] 799*2^1391281-1 is not prime. Res64: 3E2544584B535DF6 Time : 0.0 sec. user=mdettweiler [2015-02-18 06:39:08] 855*2^1391281-1 is not prime. Res64: FEFF1410FA81FC8E Time : 0.0 sec. user=mdettweiler [2015-02-18 06:39:10] 925*2^1391281-1 is not prime. Res64: 1C94A72899221F4F Time : 0.0 sec. user=mdettweiler [2015-02-18 06:51:01] 957*2^1391281-1 is not prime. Res64: A9E053D654DA409F Time : 0.0 sec. user=mdettweiler [2015-02-18 06:51:02] 967*2^1391281-1 is not prime. Res64: 961BAF9C14AE2A27 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:00:43] 665*2^1391282-1 is not prime. Res64: C36D13649822F6D9 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:00:44] 677*2^1391282-1 is not prime. Res64: 92DA87E006EDD9DE Time : 0.0 sec. user=mdettweiler [2015-02-18 07:04:10] 755*2^1391282-1 is not prime. Res64: 9157A1EA5F3EF800 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:04:12] 813*2^1391282-1 is not prime. Res64: CADC83BD680E98BC Time : 0.0 sec. user=mdettweiler [2015-02-18 07:05:29] 827*2^1391282-1 is not prime. Res64: AFB4EB0678649761 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:05:30] 831*2^1391282-1 is not prime. Res64: F3071471114D1682 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:17:26] 875*2^1391282-1 is not prime. Res64: A45FE32F2F642505 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:17:27] 609*2^1391283-1 is not prime. Res64: E7308722206B4729 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:26:55] 781*2^1391283-1 is not prime. Res64: C6EFC11421BF63F4 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:26:55] 801*2^1391283-1 is not prime. Res64: 90CDF48A231BABEE Time : 0.0 sec. user=juhehe [2015-02-18 07:27:36] 769*2^1391283-1 is not prime. Res64: 78E1DC1A8D033801 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:30:24] 829*2^1391283-1 is not prime. Res64: 67D49FF72041A52B Time : 0.0 sec. user=mdettweiler [2015-02-18 07:30:24] 895*2^1391283-1 is not prime. Res64: 8BA41C13DF099A39 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:31:44] 945*2^1391283-1 is not prime. Res64: 759F006522864264 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:31:45] 991*2^1391283-1 is not prime. Res64: CF8F480ED3A91C47 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:43:35] 623*2^1391284-1 is not prime. Res64: 7CAC5C947BAC639F Time : 0.0 sec. user=mdettweiler [2015-02-18 07:43:36] 903*2^1391284-1 is not prime. Res64: FA2C6DED8716E52E Time : 0.0 sec. user=mdettweiler [2015-02-18 07:53:01] 697*2^1391285-1 is not prime. Res64: 487460EBDF717EF5 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:53:02] 847*2^1391285-1 is not prime. Res64: 136F1E59E8EF5424 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:56:28] 657*2^1391286-1 is not prime. Res64: 6FE30D5EF946E0BE Time : 0.0 sec. user=mdettweiler [2015-02-18 07:56:29] 711*2^1391286-1 is not prime. Res64: F4607D40D5A3B4A2 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:58:01] 923*2^1391286-1 is not prime. Res64: 056CA863725CE021 Time : 0.0 sec. user=mdettweiler [2015-02-18 07:58:01] 1001*2^1391286-1 is not prime. Res64: 3EB842F3FD575AA8 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:09:51] 625*2^1391287-1 is not prime. Res64: BB160FE0C94AE54C Time : 0.0 sec. user=mdettweiler [2015-02-18 08:09:53] 649*2^1391287-1 is not prime. Res64: D96C6EB97AD5D5E5 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:19:10] 673*2^1391287-1 is not prime. Res64: 1B4C820D46CEB8C8 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:19:12] 813*2^1391287-1 is not prime. Res64: 42D5586FAB55D126 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:22:43] 861*2^1391287-1 is not prime. Res64: C8C00AED48C0D457 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:22:43] 885*2^1391287-1 is not prime. Res64: 0FAFF54717D7030D Time : 0.0 sec. user=mdettweiler [2015-02-18 08:24:24] 891*2^1391287-1 is not prime. Res64: 9A36E54ACDFF8DB6 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:24:25] 985*2^1391287-1 is not prime. Res64: 6A95A04D29719DE8 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:36:06] 603*2^1391288-1 is not prime. Res64: E65065F3EB1FB901 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:36:06] 753*2^1391288-1 is not prime. Res64: BFD99ACC3784753D Time : 0.0 sec. user=mdettweiler [2015-02-18 08:45:22] 803*2^1391288-1 is not prime. Res64: A56D06CB8198EEE6 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:45:23] 869*2^1391288-1 is not prime. Res64: 1BDAEEB4E105FF58 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:48:53] 999*2^1391288-1 is not prime. Res64: BF83440812B6D552 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:48:54] 639*2^1391289-1 is not prime. Res64: 13C855C458F9D7D3 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:50:37] 657*2^1391289-1 is not prime. Res64: CD0B3FC31849FFB2 Time : 0.0 sec. user=mdettweiler [2015-02-18 08:50:38] 681*2^1391289-1 is not prime. Res64: 55B02054C453AB09 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:02:21] 705*2^1391289-1 is not prime. Res64: AE6A31902F2FD75A Time : 0.0 sec. user=mdettweiler [2015-02-18 09:02:23] 709*2^1391289-1 is not prime. Res64: CDE22DB636D4AB48 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:11:29] 745*2^1391289-1 is not prime. Res64: 136DD91C4CC916CF Time : 0.0 sec. user=mdettweiler [2015-02-18 09:11:30] 919*2^1391289-1 is not prime. Res64: F1C2FF8DF6EEE63C Time : 0.0 sec. user=mdettweiler [2015-02-18 09:15:03] 969*2^1391289-1 is not prime. Res64: EA9EB3DE4D45A815 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:15:04] 611*2^1391290-1 is not prime. Res64: E712D051667324C5 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:17:00] 743*2^1391290-1 is not prime. Res64: 9C7D9D8C42CD7D6F Time : 0.0 sec. user=mdettweiler [2015-02-18 09:17:01] 755*2^1391290-1 is not prime. Res64: 9D0D9DCF6238B6AB Time : 0.0 sec. user=mdettweiler [2015-02-18 09:28:53] 833*2^1391290-1 is not prime. Res64: AECC3323D8487E23 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:28:54] 885*2^1391290-1 is not prime. Res64: 328D825A0DC81BC1 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:37:42] 911*2^1391290-1 is not prime. Res64: E2AF40FB851A9B48 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:37:43] 609*2^1391291-1 is not prime. Res64: 77935DB7D87FF069 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:41:14] 715*2^1391291-1 is not prime. Res64: D76C906D3AE7EE76 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:41:15] 801*2^1391291-1 is not prime. Res64: 1B8A624FCC5DECC4 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:43:12] 811*2^1391291-1 is not prime. Res64: D984B1B829F2082C Time : 0.0 sec. user=mdettweiler [2015-02-18 09:43:12] 931*2^1391291-1 is not prime. Res64: F9D6622C5C769198 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:55:08] 979*2^1391291-1 is not prime. Res64: C12A037D29A4FD54 Time : 0.0 sec. user=mdettweiler [2015-02-18 09:55:09] 993*2^1391291-1 is not prime. Res64: F1A2E240D2D06EE8 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:03:48] 999*2^1391291-1 is not prime. Res64: 6B7DF00E5C48E2D7 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:03:49] 695*2^1391292-1 is not prime. Res64: 4EBE1B3BCE9CBA83 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:07:25] 797*2^1391292-1 is not prime. Res64: F8924E3EBCC3C658 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:07:26] 843*2^1391292-1 is not prime. Res64: B18776EA25B3DCB2 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:09:26] 879*2^1391292-1 is not prime. Res64: A6DDA8708B9151B1 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:09:27] 899*2^1391292-1 is not prime. Res64: 61D415CF9F000E23 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:21:21] 903*2^1391292-1 is not prime. Res64: 114B76BD44FEF424 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:21:22] 615*2^1391293-1 is not prime. Res64: 14FE48ACB22AC740 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:30:16] 681*2^1391293-1 is not prime. Res64: B0677E0ECA8B8335 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:30:17] 741*2^1391293-1 is not prime. Res64: 2425C9A12D42C0EC Time : 0.0 sec. user=mdettweiler [2015-02-18 10:33:41] 849*2^1391293-1 is not prime. Res64: 89103D698E5F95EB Time : 0.0 sec. user=mdettweiler [2015-02-18 10:33:42] 867*2^1391293-1 is not prime. Res64: 7F172836FCCAF698 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:35:34] 939*2^1391293-1 is not prime. Res64: A4DA634646A39BC5 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:35:35] 987*2^1391293-1 is not prime. Res64: E9E7FEE30632D10A Time : 0.0 sec. user=mdettweiler [2015-02-18 10:47:34] 711*2^1391294-1 is not prime. Res64: DCF0076B77DBC98B Time : 0.0 sec. user=mdettweiler [2015-02-18 10:47:35] 717*2^1391294-1 is not prime. Res64: 80A7583CED9EE498 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:56:23] 825*2^1391294-1 is not prime. Res64: 7F7763934178D580 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:56:24] 833*2^1391294-1 is not prime. Res64: 476AFD26A1AA6802 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:59:53] 903*2^1391294-1 is not prime. Res64: 0A94E20B5BDA19D6 Time : 0.0 sec. user=mdettweiler [2015-02-18 10:59:54] 941*2^1391294-1 is not prime. Res64: E1FD3741D2F0C1E8 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:01:42] 619*2^1391295-1 is not prime. Res64: 80047C8D49DAF225 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:01:44] 735*2^1391295-1 is not prime. Res64: 3C40454FA442297E Time : 0.0 sec. user=mdettweiler [2015-02-18 11:13:37] 741*2^1391295-1 is not prime. Res64: 48FE01B9BE72406D Time : 0.0 sec. user=mdettweiler [2015-02-18 11:13:38] 805*2^1391295-1 is not prime. Res64: C38EC4D0AD21A502 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:22:34] 853*2^1391295-1 is not prime. Res64: EE5B475655CA152C Time : 0.0 sec. user=mdettweiler [2015-02-18 11:22:35] 705*2^1391296-1 is not prime. Res64: B63DE76DA3FD90FF Time : 0.0 sec. user=mdettweiler [2015-02-18 11:26:07] 855*2^1391296-1 is not prime. Res64: B0DFAB09DE6CE788 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:26:09] 873*2^1391296-1 is not prime. Res64: 34BAFB072A1194A9 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:28:13] 999*2^1391296-1 is not prime. Res64: 6A6AC63DFDA091D8 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:28:14] 627*2^1391297-1 is not prime. Res64: 925B6242535B03ED Time : 0.0 sec. user=mdettweiler [2015-02-18 11:39:59] 805*2^1391297-1 is not prime. Res64: B1DA086DC7BFDEBF Time : 0.0 sec. user=mdettweiler [2015-02-18 11:39:59] 829*2^1391297-1 is not prime. Res64: 55DF16A4CD49F427 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:48:39] 901*2^1391297-1 is not prime. Res64: 30B9253720B62E85 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:48:39] 651*2^1391298-1 is not prime. Res64: 817DBD431A119910 Time : 0.0 sec. user=mdettweiler [2015-02-18 11:52:08] 737*2^1391298-1 is not prime. Res64: 3D67F599E6F7B21B Time : 0.0 sec. user=mdettweiler [2015-02-18 11:52:08] 797*2^1391298-1 is not prime. Res64: 5D806A3BF072CD4C Time : 0.0 sec. user=mdettweiler [2015-02-18 11:54:23] 837*2^1391298-1 is not prime. Res64: 0322CBBFC3F1890A Time : 0.0 sec. user=mdettweiler [2015-02-18 11:54:23] 861*2^1391298-1 is not prime. Res64: D1615675562484D7 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:06:18] 927*2^1391298-1 is not prime. Res64: BAE53B306C794A1C Time : 0.0 sec. user=mdettweiler [2015-02-18 12:06:20] 945*2^1391298-1 is not prime. Res64: 5DBE1F7F482BD7E5 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:14:50] 649*2^1391299-1 is not prime. Res64: 75A38320DEC98714 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:14:51] 679*2^1391299-1 is not prime. Res64: D04A7B8FAF9056BC Time : 0.0 sec. user=mdettweiler [2015-02-18 12:18:21] 769*2^1391299-1 is not prime. Res64: 38237DCC68D4B31B Time : 0.0 sec. user=mdettweiler [2015-02-18 12:18:21] 853*2^1391299-1 is not prime. Res64: 4C9C6E708154E48D Time : 0.0 sec. user=mdettweiler [2015-02-18 12:20:30] 883*2^1391299-1 is not prime. Res64: F5D595EBAE720F47 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:20:31] 919*2^1391299-1 is not prime. Res64: 42E8DD47DB261811 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:32:34] 925*2^1391299-1 is not prime. Res64: B338FC96EFAF3178 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:32:35] 973*2^1391299-1 is not prime. Res64: BBBF55F87E7ED55D Time : 0.0 sec. user=mdettweiler [2015-02-18 12:41:26] 985*2^1391299-1 is not prime. Res64: 5EFB7109B8424B7D Time : 0.0 sec. user=mdettweiler [2015-02-18 12:41:27] 735*2^1391300-1 is not prime. Res64: A871557EA0368D09 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:44:51] 833*2^1391300-1 is not prime. Res64: 473173C2327ADAC4 Time : 0.0 sec. user=mdettweiler [2015-02-18 12:44:51] 977*2^1391300-1 is not prime. Res64: 6B7CA2F1F928AFAA Time : 0.0 sec. user=mdettweiler [2015-02-18 12:47:13] 675*2^1391301-1 is not prime. Res64: EE52AB29DD9F1A6A Time : 0.0 sec. user=mdettweiler [2015-02-18 12:47:14] 727*2^1391301-1 is not prime. Res64: 06092AD425950FFA Time : 0.0 sec. user=mdettweiler [2015-02-18 12:59:31] 741*2^1391301-1 is not prime. Res64: A90B603335C383CA Time : 0.0 sec. user=mdettweiler [2015-02-18 12:59:32] 781*2^1391301-1 is not prime. Res64: 2B437ACC37C9D551 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:08:18] 811*2^1391301-1 is not prime. Res64: 1D678C61BA6129AC Time : 0.0 sec. user=mdettweiler [2015-02-18 13:08:19] 997*2^1391301-1 is not prime. Res64: 5A4F565687BDD3C7 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:11:44] 665*2^1391302-1 is not prime. Res64: 426955D6180941D9 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:11:44] 671*2^1391302-1 is not prime. Res64: 5BC9B558E3A5CC27 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:14:07] 761*2^1391302-1 is not prime. Res64: 88540894BAE04EC2 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:14:08] 777*2^1391302-1 is not prime. Res64: 7D15E8C507146733 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:26:56] 785*2^1391302-1 is not prime. Res64: C6FB0A1F0A1AD30E Time : 0.0 sec. user=mdettweiler [2015-02-18 13:26:56] 801*2^1391302-1 is not prime. Res64: 68131F6811F0E5F6 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:36:36] 857*2^1391302-1 is not prime. Res64: 224E2CB7C7A319E3 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:36:37] 945*2^1391302-1 is not prime. Res64: D1A0B87E1A0D74B9 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:40:03] 975*2^1391302-1 is not prime. Res64: D7FEAFE9B50DA7BA Time : 0.0 sec. user=mdettweiler [2015-02-18 13:40:03] 987*2^1391302-1 is not prime. Res64: 7536FB6ED3419BE8 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:42:38] 685*2^1391303-1 is not prime. Res64: D5A1A20DC72B3D8A Time : 0.0 sec. user=mdettweiler [2015-02-18 13:42:39] 819*2^1391303-1 is not prime. Res64: 5B5E58371177C64A Time : 0.0 sec. user=mdettweiler [2015-02-18 13:54:53] 861*2^1391303-1 is not prime. Res64: E9113C7D985D0444 Time : 0.0 sec. user=mdettweiler [2015-02-18 13:54:53] 901*2^1391303-1 is not prime. Res64: 0ABDE8241C878D2A Time : 0.0 sec. user=mdettweiler [2015-02-18 14:04:15] 921*2^1391303-1 is not prime. Res64: 5610B071410ABF1F Time : 0.0 sec. user=mdettweiler [2015-02-18 14:04:19] 943*2^1391303-1 is not prime. Res64: FEC883BC96107AFC Time : 0.0 sec. user=mdettweiler [2015-02-18 14:07:23] 973*2^1391303-1 is not prime. Res64: 31B58E5E73F4FF3D Time : 0.0 sec. user=mdettweiler [2015-02-18 14:07:24] 635*2^1391304-1 is not prime. Res64: 4AF033A607362BD9 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:09:44] 657*2^1391304-1 is not prime. Res64: 0EDDA0688469CFFC Time : 0.0 sec. user=mdettweiler [2015-02-18 14:09:44] 675*2^1391304-1 is not prime. Res64: 2D36C0AE811683FC Time : 0.0 sec. user=mdettweiler [2015-02-18 14:22:14] 723*2^1391304-1 is not prime. Res64: 3F79C378BF6B2486 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:22:15] 789*2^1391304-1 is not prime. Res64: B12F994A751698A7 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:32:20] 649*2^1391305-1 is not prime. Res64: 5178C726262897F3 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:32:20] 687*2^1391305-1 is not prime. Res64: AD281AE9047FF4A9 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:35:04] 765*2^1391305-1 is not prime. Res64: D222D346575E42D8 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:35:05] 777*2^1391305-1 is not prime. Res64: 7A638EBED4602965 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:37:25] 801*2^1391305-1 is not prime. Res64: 888E4299C295EC1A Time : 0.0 sec. user=mdettweiler [2015-02-18 14:37:25] 841*2^1391305-1 is not prime. Res64: 81FDA7AC371E0165 Time : 0.0 sec. user=mdettweiler [2015-02-18 14:49:48] 847*2^1391305-1 is not prime. Res64: F476D4FDA477A81B Time : 0.0 sec. user=mdettweiler [2015-02-18 14:49:48] 867*2^1391305-1 is not prime. Res64: 1571B4754C44484D Time : 0.0 sec. user=mdettweiler [2015-02-18 15:00:26] 919*2^1391305-1 is not prime. Res64: 235C41E9B65FBF28 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:00:27] 999*2^1391305-1 is not prime. Res64: FD05177512231B82 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:03:28] 651*2^1391306-1 is not prime. Res64: F63F9A7EE98F888A Time : 0.0 sec. user=mdettweiler [2015-02-18 15:03:29] 713*2^1391306-1 is not prime. Res64: A04BB9837CE0201A Time : 0.0 sec. user=mdettweiler [2015-02-18 15:05:57] 857*2^1391306-1 is not prime. Res64: BB7DAB671E011CF4 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:05:58] 873*2^1391306-1 is not prime. Res64: 01CB79DF7BACB86C Time : 0.0 sec. user=mdettweiler [2015-02-18 15:18:49] 957*2^1391306-1 is not prime. Res64: 6100DBEC7E5480E8 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:18:49] 625*2^1391307-1 is not prime. Res64: DFD98C4C129D50C9 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:29:28] 643*2^1391307-1 is not prime. Res64: 8FEE854AB0946D3D Time : 0.0 sec. user=mdettweiler [2015-02-18 15:29:29] 765*2^1391307-1 is not prime. Res64: E458DF0805CBB89D Time : 0.0 sec. user=mdettweiler [2015-02-18 15:32:04] 801*2^1391307-1 is not prime. Res64: 154590B42019F0AD Time : 0.0 sec. user=mdettweiler [2015-02-18 15:32:04] 805*2^1391307-1 is not prime. Res64: 61EBFCB5675E1AFF Time : 0.0 sec. user=mdettweiler [2015-02-18 15:34:13] 895*2^1391307-1 is not prime. Res64: A45B7BD2D7B2BA1B Time : 0.0 sec. user=mdettweiler [2015-02-18 15:34:13] 931*2^1391307-1 is not prime. Res64: 14C8866B7295FF11 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:46:19] 951*2^1391307-1 is not prime. Res64: D882FA77DFE4E671 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:46:20] 689*2^1391308-1 is not prime. Res64: BA61A56EE9E20AF4 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:56:56] 875*2^1391308-1 is not prime. Res64: 053B0003B3A9B9E3 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:56:56] 649*2^1391309-1 is not prime. Res64: 896BB9B4DCA180DB Time : 0.0 sec. user=mdettweiler [2015-02-18 15:59:26] 675*2^1391309-1 is not prime. Res64: 949E777865B3CF28 Time : 0.0 sec. user=mdettweiler [2015-02-18 15:59:26] 735*2^1391309-1 is not prime. Res64: 1E2EA5EFAE9CAE33 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:01:25] 747*2^1391309-1 is not prime. Res64: 16B97EC7ADF29D06 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:01:27] 769*2^1391309-1 is not prime. Res64: AAA1C6F964382295 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:13:37] 771*2^1391309-1 is not prime. Res64: EDEB4E89B35B733A Time : 0.0 sec. user=mdettweiler [2015-02-18 16:13:38] 799*2^1391309-1 is not prime. Res64: CEEDBACE79C9669F Time : 0.0 sec. user=mdettweiler [2015-02-18 16:24:13] 879*2^1391309-1 is not prime. Res64: 7DE2B5FE517297FF Time : 0.0 sec. user=mdettweiler [2015-02-18 16:24:14] 907*2^1391309-1 is not prime. Res64: 6FCCD078DAE2A40C Time : 0.0 sec. user=mdettweiler [2015-02-18 16:26:36] 611*2^1391310-1 is not prime. Res64: E23EC6A0265B5506 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:26:37] 641*2^1391310-1 is not prime. Res64: 54F447E3B6A5E25B Time : 0.0 sec. user=mdettweiler [2015-02-18 16:28:37] 717*2^1391310-1 is not prime. Res64: E2223D37EDED85C3 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:28:37] 755*2^1391310-1 is not prime. Res64: 19D4D08A235CDB7B Time : 0.0 sec. user=juhehe [2015-02-18 16:36:19] 791*2^1391310-1 is not prime. Res64: 4023CA2D02466FCF Time : 0.0 sec. user=mdettweiler [2015-02-18 16:41:02] 971*2^1391310-1 is not prime. Res64: A44DAEFBA67147D3 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:41:02] 673*2^1391311-1 is not prime. Res64: FE4ACD69D8075C6C Time : 0.0 sec. user=mdettweiler [2015-02-18 16:51:20] 703*2^1391311-1 is not prime. Res64: 2EFB0A20FAB99458 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:51:20] 849*2^1391311-1 is not prime. Res64: 6EC635B1802879D2 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:53:48] 861*2^1391311-1 is not prime. Res64: 7C1C4AE5BA052EE2 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:53:48] 657*2^1391312-1 is not prime. Res64: B05D0D850BDD5265 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:55:58] 725*2^1391312-1 is not prime. Res64: 08EDC3A6ECB503E1 Time : 0.0 sec. user=mdettweiler [2015-02-18 16:55:59] 797*2^1391312-1 is not prime. Res64: 2F3B74437BB9F85F Time : 0.0 sec. user=mdettweiler [2015-02-18 17:08:29] 857*2^1391312-1 is not prime. Res64: BC9F5E6AE3DA2BA6 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:08:31] 935*2^1391312-1 is not prime. Res64: 5E9A7523A49F8CF8 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:18:36] 957*2^1391312-1 is not prime. Res64: 8B7CD6E2BBCB4F98 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:18:36] 651*2^1391313-1 is not prime. Res64: 18D7AAFD588EBB21 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:20:38] 657*2^1391313-1 is not prime. Res64: 3F3A51383A3B3B03 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:20:38] 681*2^1391313-1 is not prime. Res64: D5617FFBBD320D1A Time : 0.0 sec. user=mdettweiler [2015-02-18 17:23:12] 685*2^1391313-1 is not prime. Res64: 45238014AC1A8033 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:23:12] 735*2^1391313-1 is not prime. Res64: 441FD0D6BAB1E9E8 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:35:48] 741*2^1391313-1 is not prime. Res64: 96BDC0E047141290 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:35:49] 789*2^1391313-1 is not prime. Res64: A028D9B4546DDEFC Time : 0.0 sec. user=mdettweiler [2015-02-18 17:45:24] 617*2^1391314-1 is not prime. Res64: 518BD96161AEA705 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:45:25] 915*2^1391314-1 is not prime. Res64: 5D9546A310063919 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:47:33] 945*2^1391314-1 is not prime. Res64: 9F571E939A1DEF34 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:47:34] 655*2^1391315-1 is not prime. Res64: 75E8B7CBB764B659 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:49:46] 693*2^1391315-1 is not prime. Res64: F4D2A9CE134EAD47 Time : 0.0 sec. user=mdettweiler [2015-02-18 17:49:46] 805*2^1391315-1 is not prime. Res64: AEC68D65D2F4A706 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:02:58] 859*2^1391315-1 is not prime. Res64: 2B6E8389AAAA8145 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:02:59] 871*2^1391315-1 is not prime. Res64: 538EE6ABE8D15563 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:13:53] 979*2^1391315-1 is not prime. Res64: 72CA6976BE01F518 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:13:54] 609*2^1391316-1 is not prime. Res64: FB1777E37C6D1670 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:16:03] 759*2^1391316-1 is not prime. Res64: 234685C0689AB524 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:16:04] 867*2^1391316-1 is not prime. Res64: C7A121B2AD753ECC Time : 0.0 sec. user=mdettweiler [2015-02-18 18:18:14] 947*2^1391316-1 is not prime. Res64: D04D8125583ED808 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:18:15] 983*2^1391316-1 is not prime. Res64: 4165038905BBC9AB Time : 0.0 sec. user=mdettweiler [2015-02-18 18:31:53] 601*2^1391317-1 is not prime. Res64: 07DD5F7B6684FFFD Time : 0.0 sec. user=mdettweiler [2015-02-18 18:31:54] 621*2^1391317-1 is not prime. Res64: 248A3D3EA338D6A7 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:40:48] 691*2^1391317-1 is not prime. Res64: 5029A57BEE7C6420 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:40:48] 801*2^1391317-1 is not prime. Res64: D7952967F4A469DD Time : 0.0 sec. user=mdettweiler [2015-02-18 18:42:48] 835*2^1391317-1 is not prime. Res64: F225A95E95FB1735 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:42:49] 859*2^1391317-1 is not prime. Res64: 34849B4B8A94A565 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:44:58] 867*2^1391317-1 is not prime. Res64: 8989AC5717FC46E8 Time : 0.0 sec. user=mdettweiler [2015-02-18 18:44:59] 915*2^1391317-1 is not prime. Res64: 6254F77343AAB9AC Time : 0.0 sec. user=mdettweiler [2015-02-18 18:58:23] 603*2^1391318-1 is not prime. Res64: 6A25495C302A0E2F Time : 0.0 sec. user=mdettweiler [2015-02-18 18:58:23] 677*2^1391318-1 is not prime. Res64: 53DADB2D253D5ED6 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:08:15] 713*2^1391318-1 is not prime. Res64: 5E2CC54CF41696E9 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:08:16] 755*2^1391318-1 is not prime. Res64: 06F887F72B6C54AD Time : 0.0 sec. user=mdettweiler [2015-02-18 19:10:37] 773*2^1391318-1 is not prime. Res64: 6B8ACEDEE76C423A Time : 0.0 sec. user=mdettweiler [2015-02-18 19:10:37] 843*2^1391318-1 is not prime. Res64: CDD5CF7FC851E57D Time : 0.0 sec. user=mdettweiler [2015-02-18 19:13:20] 911*2^1391318-1 is not prime. Res64: 5B6E06217D7679AF Time : 0.0 sec. user=mdettweiler [2015-02-18 19:13:20] 957*2^1391318-1 is not prime. Res64: 9DBBDEF588ADE662 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:25:37] 619*2^1391319-1 is not prime. Res64: EF9F9E58B12E8309 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:25:38] 741*2^1391319-1 is not prime. Res64: 80AE024BFEE5F319 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:36:11] 885*2^1391319-1 is not prime. Res64: E2B4EC2F83A163A2 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:36:12] 955*2^1391319-1 is not prime. Res64: 3628014C9F47B56D Time : 0.0 sec. user=mdettweiler [2015-02-18 19:38:09] 707*2^1391320-1 is not prime. Res64: 4D64084081A8648E Time : 0.0 sec. user=mdettweiler [2015-02-18 19:38:10] 735*2^1391320-1 is not prime. Res64: 13A9425E27C3D7A6 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:40:53] 899*2^1391320-1 is not prime. Res64: 2C2005E484399C07 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:40:54] 637*2^1391321-1 is not prime. Res64: BDBE2F4C7D8186CE Time : 0.0 sec. user=mdettweiler [2015-02-18 19:53:41] 775*2^1391321-1 is not prime. Res64: F8AA04B4863CD2C0 Time : 0.0 sec. user=mdettweiler [2015-02-18 19:53:41] 781*2^1391321-1 is not prime. Res64: 639396D66632A7C0 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:05:18] 829*2^1391321-1 is not prime. Res64: F1CA62CB587EB662 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:05:20] 957*2^1391321-1 is not prime. Res64: 7DF5FB6971165AD6 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:07:42] 713*2^1391322-1 is not prime. Res64: 0177B6EB5B39C9EF Time : 0.0 sec. user=mdettweiler [2015-02-18 20:07:42] 765*2^1391322-1 is not prime. Res64: B87952EE429B641A Time : 0.0 sec. user=mdettweiler [2015-02-18 20:10:43] 777*2^1391322-1 is not prime. Res64: 04A4D1096933CDDC Time : 0.0 sec. user=mdettweiler [2015-02-18 20:10:43] 923*2^1391322-1 is not prime. Res64: 0AC45A9DD2A4D6DF Time : 0.0 sec. user=mdettweiler [2015-02-18 20:25:20] 615*2^1391323-1 is not prime. Res64: 95EB13D31A91298D Time : 0.0 sec. user=mdettweiler [2015-02-18 20:25:21] 895*2^1391323-1 is not prime. Res64: 8BF94DCE7AB53DB2 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:38:18] 901*2^1391323-1 is not prime. Res64: B3877BB6D7991DD2 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:38:18] 943*2^1391323-1 is not prime. Res64: 0FBAEC624B48E855 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:40:07] 665*2^1391324-1 is not prime. Res64: 0DFDCDEA3A1AB48A Time : 0.0 sec. user=mdettweiler [2015-02-18 20:40:08] 699*2^1391324-1 is not prime. Res64: D70CD56EFAE80A48 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:43:22] 827*2^1391324-1 is not prime. Res64: 3E864B6B6C327167 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:43:23] 843*2^1391324-1 is not prime. Res64: 141B0134E0513B44 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:55:57] 959*2^1391324-1 is not prime. Res64: 9F13D51900C4E704 Time : 0.0 sec. user=mdettweiler [2015-02-18 20:55:58] 995*2^1391324-1 is not prime. Res64: 57E0D19D10C5E148 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:06:42] 709*2^1391325-1 is not prime. Res64: 440E0DD8632332A1 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:06:43] 759*2^1391325-1 is not prime. Res64: 48E301A5C11F60C9 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:08:13] 915*2^1391325-1 is not prime. Res64: 8CD453BD4D8F83F0 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:08:13] 937*2^1391325-1 is not prime. Res64: C7D24575E7901AB6 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:11:04] 997*2^1391325-1 is not prime. Res64: D9638D29C14526F6 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:11:05] 623*2^1391326-1 is not prime. Res64: 57002F3A05D27432 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:24:12] 657*2^1391326-1 is not prime. Res64: F88AF641D46AF7D6 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:24:12] 785*2^1391326-1 is not prime. Res64: 676712EC41E30C0B Time : 0.0 sec. user=mdettweiler [2015-02-18 21:37:21] 887*2^1391326-1 is not prime. Res64: 1E9B2A3AC895816E Time : 0.0 sec. user=mdettweiler [2015-02-18 21:37:22] 941*2^1391326-1 is not prime. Res64: 79D2FBA64C56556B Time : 0.0 sec. user=mdettweiler [2015-02-18 21:39:03] 609*2^1391327-1 is not prime. Res64: 559B1B9A4F7F053C Time : 0.0 sec. user=mdettweiler [2015-02-18 21:39:03] 645*2^1391327-1 is not prime. Res64: D6662A548680C279 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:42:02] 649*2^1391327-1 is not prime. Res64: 1F3D03586B557569 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:42:03] 661*2^1391327-1 is not prime. Res64: F6A4D71AA4B44DA0 Time : 0.0 sec. user=mdettweiler [2015-02-18 21:57:06] 841*2^1391327-1 is not prime. Res64: C3EDE5F3407664BD Time : 0.0 sec. user=mdettweiler [2015-02-18 21:57:07] 861*2^1391327-1 is not prime. Res64: 45BB7B37DF379F76 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:09:28] 865*2^1391327-1 is not prime. Res64: 8D185B4641ED57B8 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:09:28] 901*2^1391327-1 is not prime. Res64: 93A6C20F4668B0BB Time : 0.0 sec. user=mdettweiler [2015-02-18 22:10:51] 955*2^1391327-1 is not prime. Res64: 8A3640B971BE6977 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:10:51] 991*2^1391327-1 is not prime. Res64: FE49571F5B9D8B64 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:14:10] 665*2^1391328-1 is not prime. Res64: 0826DD0140B6D83C Time : 0.0 sec. user=mdettweiler [2015-02-18 22:14:11] 683*2^1391328-1 is not prime. Res64: 46A23E72AA75DA44 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:27:11] 695*2^1391328-1 is not prime. Res64: 3A21722A019293BB Time : 0.0 sec. user=mdettweiler [2015-02-18 22:27:11] 809*2^1391328-1 is not prime. Res64: 45D8EA9389C0208E Time : 0.0 sec. user=mdettweiler [2015-02-18 22:38:42] 839*2^1391328-1 is not prime. Res64: 91D812F1B36B8788 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:38:43] 843*2^1391328-1 is not prime. Res64: 6E0F91526B0770D2 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:40:27] 899*2^1391328-1 is not prime. Res64: 9CB46B3631575AB4 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:40:27] 909*2^1391328-1 is not prime. Res64: 4667127A0D062B6E Time : 0.0 sec. user=mdettweiler [2015-02-18 22:43:35] 999*2^1391328-1 is not prime. Res64: 661065F7C852BB48 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:43:36] 625*2^1391329-1 is not prime. Res64: 2DD1FE38102636DD Time : 0.0 sec. user=mdettweiler [2015-02-18 22:56:16] 649*2^1391329-1 is not prime. Res64: A9F818CFAE54CE90 Time : 0.0 sec. user=mdettweiler [2015-02-18 22:56:16] 807*2^1391329-1 is not prime. Res64: 595783BA73EF7522 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:08:42] 847*2^1391329-1 is not prime. Res64: 3D6B29DB2060B474 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:08:43] 861*2^1391329-1 is not prime. Res64: 1FE33F514C0512DA Time : 0.0 sec. user=mdettweiler [2015-02-18 23:10:40] 967*2^1391329-1 is not prime. Res64: B7496FA0B4B0F9ED Time : 0.0 sec. user=mdettweiler [2015-02-18 23:10:41] 975*2^1391329-1 is not prime. Res64: 194B1A8E9C499D99 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:14:07] 999*2^1391329-1 is not prime. Res64: D8F269AC44F86202 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:14:08] 633*2^1391330-1 is not prime. Res64: A3B58D2540CFF7BA Time : 0.0 sec. user=mdettweiler [2015-02-18 23:25:46] 675*2^1391330-1 is not prime. Res64: 958A65DAA7D1F35A Time : 0.0 sec. user=mdettweiler [2015-02-18 23:25:47] 677*2^1391330-1 is not prime. Res64: F1E4B1691E88AD62 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:42:10] 743*2^1391330-1 is not prime. Res64: 50EE1275C080ECC2 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:42:11] 887*2^1391330-1 is not prime. Res64: 8459BA9384D49864 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:43:50] 945*2^1391330-1 is not prime. Res64: ED89DA8289DC122A Time : 0.0 sec. user=mdettweiler [2015-02-18 23:43:51] 977*2^1391330-1 is not prime. Res64: 48B9F88871FE9EBD Time : 0.0 sec. user=mdettweiler [2015-02-18 23:46:09] 711*2^1391331-1 is not prime. Res64: 6F6C461DD3F7C99D Time : 0.0 sec. user=mdettweiler [2015-02-18 23:46:10] 849*2^1391331-1 is not prime. Res64: BCA5F502C68069C9 Time : 0.0 sec. user=mdettweiler [2015-02-18 23:58:05] 885*2^1391331-1 is not prime. Res64: 97C9EB2014EAC7BB Time : 0.0 sec. user=mdettweiler [2015-02-18 23:58:06] 979*2^1391331-1 is not prime. Res64: 1864CBE7587DC83E Time : 0.0 sec.