user=mdettweiler [2012-02-03 00:02:38] 625*2^1003725-1 is not prime. Res64: DED022EF7FA8D84E Time : 0.0 sec. user=mdettweiler [2012-02-03 00:02:44] 655*2^1003725-1 is not prime. Res64: CAE8130458C9F508 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:04:15] 765*2^1003725-1 is not prime. Res64: 2E0C3254EBFEAB66 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:04:16] 847*2^1003725-1 is not prime. Res64: 47894ACC3B89B5AC Time : 0.0 sec. user=mdettweiler [2012-02-03 00:17:07] 927*2^1003725-1 is not prime. Res64: F8B241DE78739EF6 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:17:08] 937*2^1003725-1 is not prime. Res64: 00D97ABDC19409CF Time : 0.0 sec. user=mdettweiler [2012-02-03 00:19:28] 611*2^1003726-1 is not prime. Res64: D320806DF2E753BF Time : 0.0 sec. user=mdettweiler [2012-02-03 00:19:29] 705*2^1003726-1 is not prime. Res64: 9D588C8429950B1A Time : 0.0 sec. user=mdettweiler [2012-02-03 00:22:39] 723*2^1003726-1 is not prime. Res64: 710FEC9F77FD3E81 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:22:39] 773*2^1003726-1 is not prime. Res64: 7EBB1F56CCFC049E Time : 0.0 sec. user=mdettweiler [2012-02-03 00:26:23] 887*2^1003726-1 is not prime. Res64: E52CD5F4C499F5BC Time : 0.0 sec. user=mdettweiler [2012-02-03 00:26:24] 911*2^1003726-1 is not prime. Res64: E952D33018EA908C Time : 0.0 sec. user=mdettweiler [2012-02-03 00:37:14] 919*2^1003719-1 is not prime. Res64: 924FB42E2347A0CF Time : 0.0 sec. user=mdettweiler [2012-02-03 00:37:14] 921*2^1003719-1 is not prime. Res64: 1E17EF9D5C8C0927 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:41:28] 923*2^1003726-1 is not prime. Res64: 51D99E5E389894AF Time : 0.0 sec. user=mdettweiler [2012-02-03 00:41:29] 957*2^1003726-1 is not prime. Res64: 978C9C3330C3EE33 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:41:33] 981*2^1003726-1 is not prime. Res64: 519F11C2242B8C57 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:41:33] 693*2^1003727-1 is not prime. Res64: 9BF2E03A889981AF Time : 0.0 sec. user=mdettweiler [2012-02-03 00:42:25] 703*2^1003727-1 is not prime. Res64: 198495BC0D215835 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:42:25] 711*2^1003727-1 is not prime. Res64: A6725417B0A57800 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:46:06] 879*2^1003727-1 is not prime. Res64: 09CC9E91DA10FB87 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:46:06] 885*2^1003727-1 is not prime. Res64: 2D0960D95032CB0C Time : 0.0 sec. user=mdettweiler [2012-02-03 00:46:28] 945*2^1003721-1 is not prime. Res64: D535E756428E0E3C Time : 0.0 sec. user=mdettweiler [2012-02-03 00:46:28] 651*2^1003722-1 is not prime. Res64: 1374D8A1ECDB7390 Time : 0.0 sec. user=mdettweiler [2012-02-03 00:47:28] 665*2^1003724-1 is not prime. Res64: A8D0FD33A9D5F03B Time : 0.0 sec. user=mdettweiler [2012-02-03 00:47:28] 675*2^1003724-1 is not prime. Res64: 93CC7BF7DBFB8D5B Time : 0.0 sec. user=mdettweiler [2012-02-03 01:01:14] 619*2^1003729-1 is not prime. Res64: 3E8BB00B66E55F9E Time : 0.0 sec. user=mdettweiler [2012-02-03 01:01:15] 667*2^1003729-1 is not prime. Res64: 3526F8BC24BC799B Time : 0.0 sec. user=mdettweiler [2012-02-03 01:01:22] 769*2^1003729-1 is not prime. Res64: 85043C82C67243AE Time : 0.0 sec. user=mdettweiler [2012-02-03 01:01:23] 841*2^1003729-1 is not prime. Res64: 329A53D8BF9AAA0B Time : 0.0 sec. user=mdettweiler [2012-02-03 01:02:09] 847*2^1003729-1 is not prime. Res64: A19F5D21FC071725 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:02:10] 861*2^1003729-1 is not prime. Res64: DC47F8DB6F7664B8 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:08:05] 951*2^1003729-1 is not prime. Res64: 420C1AF362251E5A Time : 0.0 sec. user=mdettweiler [2012-02-03 01:08:05] 633*2^1003730-1 is not prime. Res64: 9A9E94E6FB88309E Time : 0.0 sec. user=mdettweiler [2012-02-03 01:22:00] 675*2^1003733-1 is not prime. Res64: 0F1408B3375B8DE3 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:22:01] 735*2^1003733-1 is not prime. Res64: B64232EF6224A8EE Time : 0.0 sec. user=mdettweiler [2012-02-03 01:23:17] 869*2^1003732-1 is not prime. Res64: C82773BD621DCA05 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:23:17] 899*2^1003732-1 is not prime. Res64: 302C48A492CFFDF0 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:25:37] 909*2^1003732-1 is not prime. Res64: 500CD0D9557F304C Time : 0.0 sec. user=mdettweiler [2012-02-03 01:25:38] 923*2^1003732-1 is not prime. Res64: FA0CEF1EED9E23C1 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:27:48] 741*2^1003733-1 is not prime. Res64: 1C29C0813D1F6658 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:27:49] 759*2^1003733-1 is not prime. Res64: F38207B7928C2C87 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:41:46] 771*2^1003733-1 is not prime. Res64: D226A599F5C385D0 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:41:46] 795*2^1003733-1 is not prime. Res64: 31B042C0C9AFC58E Time : 0.0 sec. user=mdettweiler [2012-02-03 01:43:05] 867*2^1003733-1 is not prime. Res64: ABE835E64B2D7F9B Time : 0.0 sec. user=mdettweiler [2012-02-03 01:43:05] 879*2^1003733-1 is not prime. Res64: 5E2934D8778FCD01 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:49:56] 939*2^1003733-1 is not prime. Res64: AE5A656A4F80ACE4 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:49:57] 957*2^1003733-1 is not prime. Res64: 475AD50492EAF4E2 Time : 0.0 sec. user=mdettweiler [2012-02-03 01:52:08] 969*2^1003733-1 is not prime. Res64: 9F2498752DDF85FB Time : 0.0 sec. user=mdettweiler [2012-02-03 01:52:09] 985*2^1003733-1 is not prime. Res64: FFE0CBCF1E4CCA72 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:01:39] 611*2^1003734-1 is not prime. Res64: 2CADC8049547A994 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:01:40] 621*2^1003734-1 is not prime. Res64: C7DC0409BA9CF54A Time : 0.0 sec. user=mdettweiler [2012-02-03 02:02:01] 985*2^1003727-1 is not prime. Res64: 43B718564827564B Time : 0.0 sec. user=mdettweiler [2012-02-03 02:02:02] 839*2^1003728-1 is not prime. Res64: 39A6436243A157B3 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:02:49] 755*2^1003730-1 is not prime. Res64: 0BA3F641F2F3DA07 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:02:50] 801*2^1003731-1 is not prime. Res64: 53FA9D293DA0D77C Time : 0.0 sec. user=mdettweiler [2012-02-03 02:05:11] 635*2^1003734-1 is not prime. Res64: FB5ACC1145FCBE3F Time : 0.0 sec. user=mdettweiler [2012-02-03 02:05:13] 917*2^1003734-1 is not prime. Res64: 8B9CAE49D0D96539 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:12:20] 945*2^1003731-1 is not prime. Res64: EC9308E670E78CC8 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:12:26] 635*2^1003732-1 is not prime. Res64: E2445BC2E94A86C6 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:14:21] 921*2^1003734-1 is not prime. Res64: 0ACA6954E8B564CC Time : 0.0 sec. user=mdettweiler [2012-02-03 02:14:22] 927*2^1003734-1 is not prime. Res64: 9665A52BE97E6AF1 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:16:38] 957*2^1003734-1 is not prime. Res64: 6899A88DE2BE9749 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:16:39] 993*2^1003734-1 is not prime. Res64: 3BAC9FA03A12E2C9 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:23:55] 1001*2^1003734-1 is not prime. Res64: 45CAE5202AB9C0CB Time : 0.0 sec. user=mdettweiler [2012-02-03 02:23:56] 609*2^1003735-1 is not prime. Res64: 3256ABBC795613CF Time : 0.0 sec. user=mdettweiler [2012-02-03 02:25:09] 709*2^1003735-1 is not prime. Res64: 19AD53706E5ED50D Time : 0.0 sec. user=mdettweiler [2012-02-03 02:25:10] 723*2^1003735-1 is not prime. Res64: FB332329274465EB Time : 0.0 sec. user=mdettweiler [2012-02-03 02:36:19] 617*2^1003736-1 is not prime. Res64: C0C237162A388645 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:36:20] 683*2^1003736-1 is not prime. Res64: 2DB5176FDA27077E Time : 0.0 sec. user=mdettweiler [2012-02-03 02:38:44] 919*2^1003735-1 is not prime. Res64: 85B6EFB182B59674 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:38:45] 933*2^1003735-1 is not prime. Res64: 978E1B4923760775 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:43:41] 857*2^1003736-1 is not prime. Res64: 6ACB89126B829F28 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:43:42] 739*2^1003737-1 is not prime. Res64: D6C7D31E80702356 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:44:55] 777*2^1003737-1 is not prime. Res64: 5B8F296660CC3C1A Time : 0.0 sec. user=mdettweiler [2012-02-03 02:44:56] 847*2^1003737-1 is not prime. Res64: 9C738DC303410032 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:58:22] 895*2^1003737-1 is not prime. Res64: 1C380453A6C6A59B Time : 0.0 sec. user=mdettweiler [2012-02-03 02:58:22] 821*2^1003738-1 is not prime. Res64: 1B22B83374266605 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:58:31] 619*2^1003739-1 is not prime. Res64: 7CA0C7CA29DCBBF0 Time : 0.0 sec. user=mdettweiler [2012-02-03 02:58:32] 685*2^1003739-1 is not prime. Res64: 8843122850E9D343 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:03:32] 703*2^1003739-1 is not prime. Res64: DDCE50D9ADF4D99A Time : 0.0 sec. user=mdettweiler [2012-02-03 03:03:33] 735*2^1003739-1 is not prime. Res64: 8FE28566AD1A7276 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:04:35] 759*2^1003739-1 is not prime. Res64: C47593B249F091D6 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:04:36] 813*2^1003739-1 is not prime. Res64: DEB036709B4E9304 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:18:06] 853*2^1003739-1 is not prime. Res64: E583BF2461C700CE Time : 0.0 sec. user=mdettweiler [2012-02-03 03:18:07] 861*2^1003739-1 is not prime. Res64: D77A59BB45C4EB02 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:18:17] 647*2^1003740-1 is not prime. Res64: 100CD36F5C465916 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:18:18] 737*2^1003740-1 is not prime. Res64: 5CC3AE1D7FFACB66 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:19:00] 619*2^1003735-1 is not prime. Res64: 8B454CD67ECAC824 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:19:00] 645*2^1003735-1 is not prime. Res64: 16CCED6B2C7E1B83 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:19:51] 649*2^1003735-1 is not prime. Res64: 5DD488F37F6D6C5D Time : 0.0 sec. user=mdettweiler [2012-02-03 03:19:51] 685*2^1003735-1 is not prime. Res64: 418BC6FCBDDEAF81 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:23:16] 873*2^1003740-1 is not prime. Res64: 14F908EF5E4CD2B8 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:23:17] 875*2^1003740-1 is not prime. Res64: 345793F71807EE3A Time : 0.0 sec. user=mdettweiler [2012-02-03 03:26:38] 927*2^1003740-1 is not prime. Res64: 3B5402C354DCE5AB Time : 0.0 sec. user=mdettweiler [2012-02-03 03:26:38] 757*2^1003741-1 is not prime. Res64: 87DB982F0FD5A518 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:29:29] 793*2^1003735-1 is not prime. Res64: 93823ED2E71E268E Time : 0.0 sec. user=mdettweiler [2012-02-03 03:29:29] 873*2^1003735-1 is not prime. Res64: 1846AD39E9A2762C Time : 0.0 sec. user=mdettweiler [2012-02-03 03:37:58] 769*2^1003741-1 is not prime. Res64: 932AC061C266A81C Time : 0.0 sec. user=mdettweiler [2012-02-03 03:37:58] 635*2^1003742-1 is not prime. Res64: 95D6E84C0745367C Time : 0.0 sec. user=mdettweiler [2012-02-03 03:42:41] 897*2^1003742-1 is not prime. Res64: C3F12E5FC14B594F Time : 0.0 sec. user=mdettweiler [2012-02-03 03:42:42] 917*2^1003742-1 is not prime. Res64: 997FD7134D5563E7 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:43:12] 879*2^1003743-1 is not prime. Res64: 240A057F2E4D3B27 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:43:12] 885*2^1003743-1 is not prime. Res64: 83477A33ADC2D9B8 Time : 0.0 sec. user=mdettweiler [2012-02-03 03:46:26] 623*2^1003744-1 is not prime. Res64: 274B13239EAD542E Time : 0.0 sec. user=mdettweiler [2012-02-03 03:46:26] 827*2^1003744-1 is not prime. Res64: DA09625396B32526 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:00:02] 983*2^1003744-1 is not prime. Res64: 2B36529ACC815120 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:00:02] 601*2^1003745-1 is not prime. Res64: 8926D908A5CD4798 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:02:34] 645*2^1003745-1 is not prime. Res64: 9B7164BDC5641758 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:02:37] 721*2^1003745-1 is not prime. Res64: 4E51911C42760F69 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:03:06] 787*2^1003745-1 is not prime. Res64: C79DA9892E3324AD Time : 0.0 sec. user=mdettweiler [2012-02-03 04:03:07] 789*2^1003745-1 is not prime. Res64: F514D7C0F25D11F8 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:06:11] 841*2^1003745-1 is not prime. Res64: E4C00071FED30E51 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:06:12] 865*2^1003745-1 is not prime. Res64: 3A9D741FC447B454 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:23:03] 735*2^1003746-1 is not prime. Res64: 250090291AC2FE83 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:23:04] 737*2^1003746-1 is not prime. Res64: AED38078EE4E8453 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:24:31] 909*2^1003745-1 is not prime. Res64: 0E06A78070C681B6 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:24:31] 915*2^1003745-1 is not prime. Res64: 59159500EC03577A Time : 0.0 sec. user=mdettweiler [2012-02-03 04:25:04] 985*2^1003745-1 is not prime. Res64: 769D080E54ADAE8B Time : 0.0 sec. user=mdettweiler [2012-02-03 04:25:04] 647*2^1003746-1 is not prime. Res64: 246E4BAE60753810 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:28:41] 803*2^1003746-1 is not prime. Res64: 89DC73253C1D107F Time : 0.0 sec. user=mdettweiler [2012-02-03 04:28:42] 903*2^1003746-1 is not prime. Res64: 4406A3ED4E99DEAB Time : 0.0 sec. user=mdettweiler [2012-02-03 04:35:25] 685*2^1003743-1 is not prime. Res64: 36E0AC4121F90D3C Time : 0.0 sec. user=mdettweiler [2012-02-03 04:35:26] 765*2^1003743-1 is not prime. Res64: 076EE3942206A5B3 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:42:55] 981*2^1003742-1 is not prime. Res64: AE68639C86DA182D Time : 0.0 sec. user=mdettweiler [2012-02-03 04:42:56] 619*2^1003743-1 is not prime. Res64: 095168F82E74CBF4 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:42:57] 619*2^1003747-1 is not prime. Res64: 0CB18363ED529C04 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:42:57] 625*2^1003747-1 is not prime. Res64: D8486953868FEEA4 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:44:59] 873*2^1003744-1 is not prime. Res64: E16C358B7429AF68 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:44:59] 887*2^1003744-1 is not prime. Res64: B298CC27383BF26E Time : 0.0 sec. user=mdettweiler [2012-02-03 04:46:36] 681*2^1003747-1 is not prime. Res64: 84E95C54B9DA2559 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:46:37] 915*2^1003747-1 is not prime. Res64: 18AC9304A7EF445B Time : 0.0 sec. user=mdettweiler [2012-02-03 04:49:25] 945*2^1003747-1 is not prime. Res64: BEA3A0C4D53353E5 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:49:25] 985*2^1003747-1 is not prime. Res64: ECCFA5A3B488109A Time : 0.0 sec. user=mdettweiler [2012-02-03 04:50:46] 993*2^1003747-1 is not prime. Res64: B3447242A418AC86 Time : 0.0 sec. user=mdettweiler [2012-02-03 04:50:47] 615*2^1003748-1 is not prime. Res64: 8CDA4FFF6D0E0B0A Time : 0.0 sec. user=mdettweiler [2012-02-03 05:02:45] 813*2^1003748-1 is not prime. Res64: C69A5BC50BFF7F17 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:02:46] 869*2^1003748-1 is not prime. Res64: 6D95C346F5FF2836 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:09:13] 657*2^1003749-1 is not prime. Res64: 3B1F6221C75D2FDE Time : 0.0 sec. user=mdettweiler [2012-02-03 05:09:15] 721*2^1003749-1 is not prime. Res64: 36DEA9BAB1A59DE7 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:10:49] 959*2^1003748-1 is not prime. Res64: 0E63B77F4CB833FE Time : 0.0 sec. user=mdettweiler [2012-02-03 05:10:50] 963*2^1003748-1 is not prime. Res64: FF1DEFADEDEAE112 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:12:48] 751*2^1003749-1 is not prime. Res64: 3A871307CC9BE53A Time : 0.0 sec. user=mdettweiler [2012-02-03 05:12:49] 951*2^1003749-1 is not prime. Res64: 8625934A8B9F8ED6 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:25:01] 975*2^1003749-1 is not prime. Res64: 1D1C5CD9FD412CA9 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:25:01] 611*2^1003750-1 is not prime. Res64: A8AA09F4EB51C2EB Time : 0.0 sec. user=mdettweiler [2012-02-03 05:31:25] 831*2^1003750-1 is not prime. Res64: 303F87E4E8B91247 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:31:26] 915*2^1003750-1 is not prime. Res64: FB4EF702EEA5487A Time : 0.0 sec. user=mdettweiler [2012-02-03 05:32:39] 615*2^1003752-1 is not prime. Res64: D9CCCD001103357E Time : 0.0 sec. user=mdettweiler [2012-02-03 05:32:40] 675*2^1003752-1 is not prime. Res64: 9A8B4B38F8390600 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:35:11] 971*2^1003750-1 is not prime. Res64: 0BEEE2948E79572E Time : 0.0 sec. user=mdettweiler [2012-02-03 05:35:12] 1001*2^1003750-1 is not prime. Res64: C13A4FEE3CD2FCDF Time : 0.0 sec. user=mdettweiler [2012-02-03 05:44:51] 695*2^1003752-1 is not prime. Res64: 90647CF762870ABD Time : 0.0 sec. user=mdettweiler [2012-02-03 05:44:52] 747*2^1003752-1 is not prime. Res64: 89BC29DC7511CEFD Time : 0.0 sec. user=mdettweiler [2012-02-03 05:51:10] 689*2^1003748-1 is not prime. Res64: A7F4F8816FFD53D6 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:51:10] 725*2^1003748-1 is not prime. Res64: F23AD5D01EEA0537 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:51:12] 753*2^1003752-1 is not prime. Res64: 55E5E77C105D9489 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:51:12] 843*2^1003752-1 is not prime. Res64: 2E012FD78794AEEF Time : 0.0 sec. user=mdettweiler [2012-02-03 05:55:00] 639*2^1003753-1 is not prime. Res64: 8C3952631C9BE77E Time : 0.0 sec. user=mdettweiler [2012-02-03 05:55:00] 765*2^1003753-1 is not prime. Res64: 38BD04C6A718B2BF Time : 0.0 sec. user=mdettweiler [2012-02-03 05:56:57] 899*2^1003752-1 is not prime. Res64: 216BD75170D1D824 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:56:58] 983*2^1003752-1 is not prime. Res64: 65B360F5E950A315 Time : 0.0 sec. user=mdettweiler [2012-02-03 05:58:46] 773*2^1003748-1 is not prime. Res64: A74047D563E8121F Time : 0.0 sec. user=mdettweiler [2012-02-03 05:58:46] 789*2^1003748-1 is not prime. Res64: 431CA19D6DF730DF Time : 0.0 sec. user=mdettweiler [2012-02-03 06:06:52] 807*2^1003753-1 is not prime. Res64: 58CBB89AC898981F Time : 0.0 sec. user=mdettweiler [2012-02-03 06:06:54] 951*2^1003753-1 is not prime. Res64: FCAE2E7C56180EC8 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:09:11] 893*2^1003748-1 is not prime. Res64: 7FA453318F20E6E8 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:09:13] 935*2^1003748-1 is not prime. Res64: 754C58D8966C6E98 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:13:13] 999*2^1003753-1 is not prime. Res64: 78F19D5F34087587 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:13:16] 675*2^1003754-1 is not prime. Res64: E57CEE74AB28E1C6 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:14:48] 791*2^1003754-1 is not prime. Res64: FE94328B0F4BB70D Time : 0.0 sec. user=mdettweiler [2012-02-03 06:14:49] 831*2^1003754-1 is not prime. Res64: B640A1C7AA9ABFED Time : 0.0 sec. user=mdettweiler [2012-02-03 06:16:43] 851*2^1003754-1 is not prime. Res64: 4E0B4412AD76B064 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:16:43] 857*2^1003754-1 is not prime. Res64: 03EA2A45BA76DC9C Time : 0.0 sec. user=mdettweiler [2012-02-03 06:26:39] 675*2^1003755-1 is not prime. Res64: 891019BD25306F27 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:26:39] 679*2^1003755-1 is not prime. Res64: C3F7A0FD5D75A729 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:33:15] 819*2^1003755-1 is not prime. Res64: 5FB781271C4FD03D Time : 0.0 sec. user=mdettweiler [2012-02-03 06:33:15] 615*2^1003756-1 is not prime. Res64: 5A833AD10B3A94CE Time : 0.0 sec. user=mdettweiler [2012-02-03 06:34:37] 707*2^1003756-1 is not prime. Res64: 8DB7D71767CA034F Time : 0.0 sec. user=mdettweiler [2012-02-03 06:34:37] 803*2^1003756-1 is not prime. Res64: 2FAEA5E8BC1660B2 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:36:29] 845*2^1003756-1 is not prime. Res64: 8FDD11DCA253FE29 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:36:29] 857*2^1003756-1 is not prime. Res64: 4F3FA2613FD9FEC6 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:50:56] 897*2^1003756-1 is not prime. Res64: FA6F98DCE7F09680 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:50:56] 903*2^1003756-1 is not prime. Res64: 120F87A785075BC4 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:54:27] 655*2^1003757-1 is not prime. Res64: B68FABC974A69859 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:54:27] 699*2^1003757-1 is not prime. Res64: B0BA3FE7B4480229 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:56:12] 711*2^1003757-1 is not prime. Res64: 63BCBB8022134420 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:56:13] 727*2^1003757-1 is not prime. Res64: 05D6476774B6466F Time : 0.0 sec. user=mdettweiler [2012-02-03 06:57:34] 909*2^1003756-1 is not prime. Res64: 50F949AF734B34D7 Time : 0.0 sec. user=mdettweiler [2012-02-03 06:57:34] 989*2^1003756-1 is not prime. Res64: 912EEDC398973A3C Time : 0.0 sec. user=mdettweiler [2012-02-03 07:10:50] 771*2^1003757-1 is not prime. Res64: E0BC93C1BAC3FB8A Time : 0.0 sec. user=mdettweiler [2012-02-03 07:10:51] 859*2^1003757-1 is not prime. Res64: A866506ED6003FAE Time : 0.0 sec. user=mdettweiler [2012-02-03 07:14:13] 861*2^1003757-1 is not prime. Res64: 3EEB16FC935C8C22 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:14:14] 885*2^1003757-1 is not prime. Res64: 3091874E0765B640 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:17:19] 731*2^1003758-1 is not prime. Res64: ECA590854FD924CB Time : 0.0 sec. user=mdettweiler [2012-02-03 07:17:19] 761*2^1003758-1 is not prime. Res64: FA82810FE4F06E94 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:18:12] 985*2^1003757-1 is not prime. Res64: B5852D6CEE493D96 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:18:13] 615*2^1003758-1 is not prime. Res64: 4F8D39568245B7B5 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:23:33] 967*2^1003753-1 is not prime. Res64: A294EA3F74A6232F Time : 0.0 sec. user=mdettweiler [2012-02-03 07:23:33] 987*2^1003753-1 is not prime. Res64: 371DA55506D7C3D8 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:24:48] 793*2^1003755-1 is not prime. Res64: 5BF3B01EFB937E32 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:24:48] 795*2^1003755-1 is not prime. Res64: 28FFCE34DB9C2083 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:31:17] 923*2^1003754-1 is not prime. Res64: 28F0F7B96F0797F3 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:31:17] 995*2^1003754-1 is not prime. Res64: CD42CDF156E76242 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:33:03] 887*2^1003758-1 is not prime. Res64: 55FAC176FB500199 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:33:04] 963*2^1003758-1 is not prime. Res64: A67F1A7514FF8125 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:36:16] 993*2^1003758-1 is not prime. Res64: 5679F1845C8DAFC2 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:36:17] 675*2^1003759-1 is not prime. Res64: 189FFBEC473437DF Time : 0.0 sec. user=mdettweiler [2012-02-03 07:37:08] 853*2^1003759-1 is not prime. Res64: E3806CB572F1D559 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:37:08] 873*2^1003759-1 is not prime. Res64: E0F1264C9F5E3AAE Time : 0.0 sec. user=mdettweiler [2012-02-03 07:42:32] 933*2^1003759-1 is not prime. Res64: C76647AA885A1CA8 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:42:33] 943*2^1003759-1 is not prime. Res64: 5B2DEC05FB9C61A9 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:55:03] 963*2^1003760-1 is not prime. Res64: 2F5CA6945B56FF7D Time : 0.0 sec. user=mdettweiler [2012-02-03 07:55:03] 625*2^1003761-1 is not prime. Res64: 6980EA4F78584B53 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:56:03] 675*2^1003761-1 is not prime. Res64: C859CC20907330EC Time : 0.0 sec. user=mdettweiler [2012-02-03 07:56:03] 739*2^1003761-1 is not prime. Res64: 2A90F543F825E6A5 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:56:52] 781*2^1003761-1 is not prime. Res64: C4B7A68E4AC40CB9 Time : 0.0 sec. user=mdettweiler [2012-02-03 07:56:52] 811*2^1003761-1 is not prime. Res64: AD8C631CD8C8F597 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:02:20] 819*2^1003761-1 is not prime. Res64: 16AAE798FD3A4DE9 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:02:21] 847*2^1003761-1 is not prime. Res64: C3804EE0EF57BF02 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:14:52] 865*2^1003761-1 is not prime. Res64: 69C761F0EFE391A8 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:14:52] 885*2^1003761-1 is not prime. Res64: 52505641F8477AD0 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:18:54] 997*2^1003761-1 is not prime. Res64: 41F4F15BE9BB44BC Time : 0.0 sec. user=mdettweiler [2012-02-03 08:18:54] 695*2^1003762-1 is not prime. Res64: 4439E64A73D59F97 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:20:18] 907*2^1003761-1 is not prime. Res64: 4F8E908E8F24F72A Time : 0.0 sec. user=mdettweiler [2012-02-03 08:20:18] 945*2^1003761-1 is not prime. Res64: 2B4DD9A67B9B3313 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:22:05] 737*2^1003762-1 is not prime. Res64: 2D2DB140CEFB1C87 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:22:06] 825*2^1003762-1 is not prime. Res64: E34E61786377ADC7 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:34:41] 857*2^1003762-1 is not prime. Res64: 8F70DDBE02FA60B7 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:34:42] 621*2^1003763-1 is not prime. Res64: 17B485FEC267A79C Time : 0.0 sec. user=mdettweiler [2012-02-03 08:38:38] 631*2^1003763-1 is not prime. Res64: B96EE533C5125051 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:38:38] 703*2^1003763-1 is not prime. Res64: 47E4DC9A76D9307B Time : 0.0 sec. user=mdettweiler [2012-02-03 08:40:05] 771*2^1003763-1 is not prime. Res64: AC3F1435E7CEC4F4 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:40:06] 775*2^1003763-1 is not prime. Res64: DC8882277C65D366 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:40:13] 689*2^1003760-1 is not prime. Res64: 1D1F3066C31D2098 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:40:13] 857*2^1003760-1 is not prime. Res64: FDCA953CFAA242DF Time : 0.0 sec. user=mdettweiler [2012-02-03 08:41:50] 859*2^1003763-1 is not prime. Res64: B8BFD20A401C1C90 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:41:51] 879*2^1003763-1 is not prime. Res64: 4D50E784C606598A Time : 0.0 sec. user=mdettweiler [2012-02-03 08:47:24] 975*2^1003759-1 is not prime. Res64: 81BE55F83AF6041A Time : 0.0 sec. user=mdettweiler [2012-02-03 08:47:24] 633*2^1003760-1 is not prime. Res64: ED3ECCDD8B4E6BC9 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:55:04] 879*2^1003760-1 is not prime. Res64: FC05D294265A3753 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:55:04] 897*2^1003760-1 is not prime. Res64: 0C8CDFE7F6A7B71B Time : 0.0 sec. user=mdettweiler [2012-02-03 08:58:28] 657*2^1003764-1 is not prime. Res64: F8C16975B0C3B27C Time : 0.0 sec. user=mdettweiler [2012-02-03 08:58:28] 707*2^1003764-1 is not prime. Res64: 6727B1B280D6E054 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:59:03] 973*2^1003763-1 is not prime. Res64: C59BFEBFE9B83ECF Time : 0.0 sec. user=mdettweiler [2012-02-03 08:59:04] 981*2^1003763-1 is not prime. Res64: 4135B05BC8D02F54 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:59:53] 723*2^1003764-1 is not prime. Res64: 19C74679B94DB158 Time : 0.0 sec. user=mdettweiler [2012-02-03 08:59:53] 765*2^1003764-1 is not prime. Res64: AFF840F35E08A4A6 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:03:53] 959*2^1003764-1 is not prime. Res64: 14121EC6D4658590 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:03:54] 625*2^1003765-1 is not prime. Res64: 352F36EBD6A30596 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:18:13] 815*2^1003766-1 is not prime. Res64: F396B1D5BB3DA85E Time : 0.0 sec. user=mdettweiler [2012-02-03 09:18:14] 643*2^1003767-1 is not prime. Res64: E70E67207181E6E9 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:18:46] 661*2^1003767-1 is not prime. Res64: 62226ED3C6B88393 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:18:46] 669*2^1003767-1 is not prime. Res64: 06205F745527B3F9 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:19:37] 739*2^1003767-1 is not prime. Res64: 02847033A82B7749 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:19:38] 765*2^1003767-1 is not prime. Res64: F4E26ADC8CFCD249 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:26:00] 871*2^1003767-1 is not prime. Res64: 09FBE30604901D61 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:26:01] 933*2^1003767-1 is not prime. Res64: 407CE0A2D473A300 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:39:28] 645*2^1003768-1 is not prime. Res64: D5ED70DA0F460F45 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:39:28] 657*2^1003768-1 is not prime. Res64: 6DF374A6A6150765 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:40:49] 961*2^1003767-1 is not prime. Res64: F127FFCB0B94F4DB Time : 0.0 sec. user=mdettweiler [2012-02-03 09:40:50] 603*2^1003768-1 is not prime. Res64: 1E86328658F33C9D Time : 0.0 sec. user=mdettweiler [2012-02-03 09:42:38] 945*2^1003767-1 is not prime. Res64: 2EED430D646375CB Time : 0.0 sec. user=mdettweiler [2012-02-03 09:42:38] 951*2^1003767-1 is not prime. Res64: 2E846CA3EF4B6D19 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:45:49] 689*2^1003768-1 is not prime. Res64: D11E0B13565862BE Time : 0.0 sec. user=mdettweiler [2012-02-03 09:45:49] 713*2^1003768-1 is not prime. Res64: A6D5C77EEF8A9EB9 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:59:11] 743*2^1003768-1 is not prime. Res64: F2A1E1E29F755018 Time : 0.0 sec. user=mdettweiler [2012-02-03 09:59:11] 797*2^1003768-1 is not prime. Res64: 495121CFC3C2DD5D Time : 0.0 sec. user=mdettweiler [2012-02-03 10:00:34] 813*2^1003768-1 is not prime. Res64: 6FBC264F14E9A921 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:00:37] 849*2^1003768-1 is not prime. Res64: ED516AF45AD7DECF Time : 0.0 sec. user=mdettweiler [2012-02-03 10:04:37] 969*2^1003768-1 is not prime. Res64: E4CC4D5C1BFD83B4 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:04:37] 697*2^1003769-1 is not prime. Res64: 6F8A1D58AFA5A2FC Time : 0.0 sec. user=mdettweiler [2012-02-03 10:04:48] 893*2^1003764-1 is not prime. Res64: 2FA303E4B32520C8 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:04:49] 905*2^1003764-1 is not prime. Res64: EB5DEC81FAD53192 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:05:31] 699*2^1003769-1 is not prime. Res64: 7BB9EB0F4F616E56 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:05:32] 735*2^1003769-1 is not prime. Res64: EBA6F968E5DA1526 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:11:56] 771*2^1003765-1 is not prime. Res64: 0CFBB71206A09D52 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:11:58] 897*2^1003765-1 is not prime. Res64: 94CB5CF0B70E5F10 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:18:50] 787*2^1003769-1 is not prime. Res64: CA5BDE926B6C8A3D Time : 0.0 sec. user=mdettweiler [2012-02-03 10:18:51] 889*2^1003769-1 is not prime. Res64: 94BF57BC00326C14 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:19:40] 937*2^1003765-1 is not prime. Res64: BFE129A5DEC3057E Time : 0.0 sec. user=mdettweiler [2012-02-03 10:19:40] 683*2^1003766-1 is not prime. Res64: BEBF99408DCC74C8 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:22:39] 939*2^1003769-1 is not prime. Res64: AD1E7D04039CDAAA Time : 0.0 sec. user=mdettweiler [2012-02-03 10:22:40] 861*2^1003770-1 is not prime. Res64: 3F728D9018EF7303 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:25:14] 645*2^1003771-1 is not prime. Res64: 63F0A8BBBFC02A5F Time : 0.0 sec. user=mdettweiler [2012-02-03 10:25:15] 651*2^1003771-1 is not prime. Res64: F279AAC06A5EFF8D Time : 0.0 sec. user=mdettweiler [2012-02-03 10:26:32] 867*2^1003770-1 is not prime. Res64: 2EF328CDBED1DEFF Time : 0.0 sec. user=mdettweiler [2012-02-03 10:26:33] 917*2^1003770-1 is not prime. Res64: 11DB1CA4C49D911C Time : 0.0 sec. user=mdettweiler [2012-02-03 10:38:35] 775*2^1003771-1 is not prime. Res64: DF100D3AE2370B0D Time : 0.0 sec. user=mdettweiler [2012-02-03 10:38:35] 835*2^1003771-1 is not prime. Res64: 8687E60019EA35FE Time : 0.0 sec. user=mdettweiler [2012-02-03 10:42:24] 633*2^1003772-1 is not prime. Res64: 5E8EA43E140371C9 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:42:24] 635*2^1003772-1 is not prime. Res64: EE52B4A3CEFD0CCE Time : 0.0 sec. user=mdettweiler [2012-02-03 10:44:56] 699*2^1003772-1 is not prime. Res64: B42BDA67A6FDE491 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:44:57] 867*2^1003772-1 is not prime. Res64: DE22E91F75F354BD Time : 0.0 sec. user=mdettweiler [2012-02-03 10:48:29] 903*2^1003772-1 is not prime. Res64: 74BAE9C4E44DA7CA Time : 0.0 sec. user=mdettweiler [2012-02-03 10:48:30] 685*2^1003773-1 is not prime. Res64: 67DC82246B88E6E7 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:58:16] 745*2^1003773-1 is not prime. Res64: D7C085378F7A9134 Time : 0.0 sec. user=mdettweiler [2012-02-03 10:58:17] 759*2^1003773-1 is not prime. Res64: A259C9953E43B199 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:02:04] 805*2^1003773-1 is not prime. Res64: EB3A3A10A7A9DBFF Time : 0.0 sec. user=mdettweiler [2012-02-03 11:02:05] 889*2^1003773-1 is not prime. Res64: 2D45EBACBFF66C82 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:08:10] 605*2^1003774-1 is not prime. Res64: 600E521B5C017591 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:08:11] 621*2^1003774-1 is not prime. Res64: 647662860D644FE1 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:09:05] 895*2^1003773-1 is not prime. Res64: 1FD861496406372B Time : 0.0 sec. user=mdettweiler [2012-02-03 11:09:07] 927*2^1003773-1 is not prime. Res64: 04EC6FD7A0F6D491 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:18:01] 657*2^1003774-1 is not prime. Res64: 8E5FF280EF891639 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:18:01] 665*2^1003774-1 is not prime. Res64: A7B9CC55293B7298 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:20:35] 927*2^1003770-1 is not prime. Res64: F320A33C936A6C77 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:20:36] 723*2^1003771-1 is not prime. Res64: A590BAEFC586B752 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:20:36] 975*2^1003771-1 is not prime. Res64: 3F962FBB5736AFA9 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:21:51] 815*2^1003774-1 is not prime. Res64: 645D6A9E6858C95B Time : 0.0 sec. user=mdettweiler [2012-02-03 11:21:52] 821*2^1003774-1 is not prime. Res64: 30B6C0E4986B250C Time : 0.0 sec. user=mdettweiler [2012-02-03 11:27:53] 833*2^1003774-1 is not prime. Res64: 226C19E306D0C8AD Time : 0.0 sec. user=mdettweiler [2012-02-03 11:27:54] 885*2^1003774-1 is not prime. Res64: 9ACDE067AF550F75 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:28:50] 619*2^1003775-1 is not prime. Res64: 1A386C67992175A9 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:28:51] 679*2^1003775-1 is not prime. Res64: 955B3D024850E346 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:37:45] 685*2^1003775-1 is not prime. Res64: FB5B100688972370 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:37:45] 741*2^1003775-1 is not prime. Res64: 170593547D0DB816 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:41:31] 759*2^1003775-1 is not prime. Res64: 84DCC0F3B69D6A70 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:41:32] 843*2^1003775-1 is not prime. Res64: E2476ADDA9828EE4 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:47:36] 885*2^1003775-1 is not prime. Res64: 152BFE97AE724C38 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:47:37] 845*2^1003776-1 is not prime. Res64: 4FF849E1B3AB2E5B Time : 0.0 sec. user=mdettweiler [2012-02-03 11:50:47] 867*2^1003776-1 is not prime. Res64: D6DDDF84F847BA43 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:50:48] 899*2^1003776-1 is not prime. Res64: A06FF9E10E08653A Time : 0.0 sec. user=mdettweiler [2012-02-03 11:55:45] 745*2^1003771-1 is not prime. Res64: C07BAD814D9144E0 Time : 0.0 sec. user=mdettweiler [2012-02-03 11:57:19] 603*2^1003771-1 is not prime. Res64: F1AEF781356E3D74 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:01:58] 903*2^1003776-1 is not prime. Res64: D9BC12711B864389 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:01:59] 905*2^1003776-1 is not prime. Res64: 2C869AC4D430704C Time : 0.0 sec. user=mdettweiler [2012-02-03 12:05:54] 927*2^1003776-1 is not prime. Res64: 88873A0ED12662B2 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:05:55] 947*2^1003776-1 is not prime. Res64: 73149E3A27740C95 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:11:49] 969*2^1003776-1 is not prime. Res64: A4F0308BC8623C97 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:11:51] 975*2^1003776-1 is not prime. Res64: F6D5241C4AD287EE Time : 0.0 sec. user=mdettweiler [2012-02-03 12:12:47] 993*2^1003776-1 is not prime. Res64: 4CC5ECEE0E34DD4D Time : 0.0 sec. user=mdettweiler [2012-02-03 12:21:40] 999*2^1003771-1 is not prime. Res64: B2058B577F791237 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:22:02] 649*2^1003779-1 is not prime. Res64: 46050AD49CBE8377 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:22:02] 685*2^1003779-1 is not prime. Res64: A91169DBA72C40CD Time : 0.0 sec. user=mdettweiler [2012-02-03 12:28:11] 705*2^1003779-1 is not prime. Res64: E2F2B091AF9285BA Time : 0.0 sec. user=mdettweiler [2012-02-03 12:28:11] 973*2^1003779-1 is not prime. Res64: 002CBBD1C9DDD1BF Time : 0.0 sec. user=mdettweiler [2012-02-03 12:34:21] 991*2^1003779-1 is not prime. Res64: CD106CA507EF3BB3 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:34:22] 647*2^1003780-1 is not prime. Res64: ABEEDA38ACA3A759 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:44:00] 651*2^1003777-1 is not prime. Res64: AE66AABF0E6C6765 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:46:30] 929*2^1003780-1 is not prime. Res64: 422930D720BA0941 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:46:30] 957*2^1003780-1 is not prime. Res64: 9AF6AE27A4E7A8F7 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:52:44] 983*2^1003780-1 is not prime. Res64: E5AB181F73645B67 Time : 0.0 sec. user=mdettweiler [2012-02-03 12:52:45] 995*2^1003780-1 is not prime. Res64: 1550061B4DB8021A Time : 0.0 sec. user=mdettweiler [2012-02-03 12:54:17] 615*2^1003781-1 is not prime. Res64: 5026FA2DF6893E2A Time : 0.0 sec. user=mdettweiler [2012-02-03 12:54:17] 715*2^1003781-1 is not prime. Res64: 986F8A554E0BB1DC Time : 0.0 sec. user=mdettweiler [2012-02-03 13:03:40] 747*2^1003781-1 is not prime. Res64: 472574400C9E61B9 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:03:41] 769*2^1003781-1 is not prime. Res64: 8802DD064D95634B Time : 0.0 sec. user=mdettweiler [2012-02-03 13:08:28] 859*2^1003781-1 is not prime. Res64: F5C4ABE7543EFFB1 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:08:29] 991*2^1003781-1 is not prime. Res64: 10EA483ED5B9B0E3 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:12:28] 621*2^1003782-1 is not prime. Res64: 2ECC0B8A65BC6BE5 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:12:30] 755*2^1003782-1 is not prime. Res64: 59546AD408C11E85 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:14:03] 873*2^1003782-1 is not prime. Res64: EC337575A2B3B64C Time : 0.0 sec. user=mdettweiler [2012-02-03 13:14:05] 875*2^1003782-1 is not prime. Res64: 9A2369E0E83F2D82 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:18:24] 609*2^1003779-1 is not prime. Res64: 961EAAB59CD6C918 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:18:24] 633*2^1003779-1 is not prime. Res64: 712C5F8161EE1C28 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:25:36] 843*2^1003778-1 is not prime. Res64: F85518E82622AB3D Time : 0.0 sec. user=mdettweiler [2012-02-03 13:25:36] 945*2^1003778-1 is not prime. Res64: 45BC810064417634 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:25:38] 917*2^1003782-1 is not prime. Res64: F0FCADAE5D67466D Time : 0.0 sec. user=mdettweiler [2012-02-03 13:25:39] 663*2^1003783-1 is not prime. Res64: 67304BBF7144A70C Time : 0.0 sec. user=mdettweiler [2012-02-03 13:28:15] 703*2^1003783-1 is not prime. Res64: 9F30FCE25577DDF1 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:28:15] 729*2^1003783-1 is not prime. Res64: 309CE5FBF4DFE506 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:32:16] 819*2^1003783-1 is not prime. Res64: DB6B07888A3F7472 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:32:16] 855*2^1003783-1 is not prime. Res64: 8FA01954E33B0637 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:36:01] 871*2^1003783-1 is not prime. Res64: FCABDCC4CB2A26C3 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:36:02] 919*2^1003783-1 is not prime. Res64: 8A8FF99031A357DA Time : 0.0 sec. user=mdettweiler [2012-02-03 13:42:29] 833*2^1003780-1 is not prime. Res64: A876EC23BAE21F6C Time : 0.0 sec. user=mdettweiler [2012-02-03 13:42:29] 863*2^1003780-1 is not prime. Res64: 455D87E68F009BB6 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:45:23] 777*2^1003786-1 is not prime. Res64: 9B07ABBB92F9F882 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:45:23] 873*2^1003786-1 is not prime. Res64: 274AF66E35312FD7 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:48:01] 643*2^1003787-1 is not prime. Res64: 75143FD143440294 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:48:01] 649*2^1003787-1 is not prime. Res64: 49C385360859E227 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:52:06] 651*2^1003787-1 is not prime. Res64: 2A2401D4992F0355 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:52:06] 825*2^1003787-1 is not prime. Res64: 8E98D1B51373574E Time : 0.0 sec. user=mdettweiler [2012-02-03 13:58:06] 985*2^1003787-1 is not prime. Res64: F3E8516FE31E7B05 Time : 0.0 sec. user=mdettweiler [2012-02-03 13:58:07] 605*2^1003788-1 is not prime. Res64: 24663FC1B311372A Time : 0.0 sec. user=mdettweiler [2012-02-03 14:05:14] 867*2^1003788-1 is not prime. Res64: 5C6CCB840E07C262 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:05:15] 887*2^1003788-1 is not prime. Res64: 7D7BAA1413114AAF Time : 0.0 sec. user=mdettweiler [2012-02-03 14:12:40] 893*2^1003788-1 is not prime. Res64: 7331EEC6DAC6F9A7 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:12:41] 899*2^1003788-1 is not prime. Res64: D74DFF7BBF09A600 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:16:40] 929*2^1003788-1 is not prime. Res64: 5D6DFA355E0AEB03 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:16:40] 999*2^1003788-1 is not prime. Res64: 01C175E83450904D Time : 0.0 sec. user=mdettweiler [2012-02-03 14:18:25] 639*2^1003789-1 is not prime. Res64: 3637EAD982187EE8 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:18:25] 799*2^1003789-1 is not prime. Res64: DCF7BB66DFEACB74 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:27:44] 861*2^1003789-1 is not prime. Res64: 6E53CA8132833C74 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:27:44] 985*2^1003789-1 is not prime. Res64: 981D3591A65D73EA Time : 0.0 sec. user=mdettweiler [2012-02-03 14:32:52] 615*2^1003790-1 is not prime. Res64: 3185B536784C5D0D Time : 0.0 sec. user=mdettweiler [2012-02-03 14:32:52] 767*2^1003790-1 is not prime. Res64: C8406597CB1C56D1 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:39:05] 875*2^1003790-1 is not prime. Res64: B26B5EAE8268F95B Time : 0.0 sec. user=mdettweiler [2012-02-03 14:39:05] 941*2^1003790-1 is not prime. Res64: C137AC72AE58D8BE Time : 0.0 sec. user=mdettweiler [2012-02-03 14:43:04] 945*2^1003790-1 is not prime. Res64: 3859A756A4015278 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:43:04] 957*2^1003790-1 is not prime. Res64: 621509FE13685DBF Time : 0.0 sec. user=mdettweiler [2012-02-03 14:47:48] 741*2^1003791-1 is not prime. Res64: D2D62BD7AAC2EFF3 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:47:48] 775*2^1003791-1 is not prime. Res64: 3219D7AD961163F2 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:52:54] 783*2^1003791-1 is not prime. Res64: 3516C22B2BAF5702 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:52:54] 609*2^1003792-1 is not prime. Res64: 77A7C7267465EBF8 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:59:00] 723*2^1003792-1 is not prime. Res64: 2B06B1F1FA1D0A67 Time : 0.0 sec. user=mdettweiler [2012-02-03 14:59:00] 827*2^1003792-1 is not prime. Res64: 63CBA6071B6342CD Time : 0.0 sec. user=mdettweiler [2012-02-03 15:03:04] 843*2^1003792-1 is not prime. Res64: 4953F2F58A2AA72D Time : 0.0 sec. user=mdettweiler [2012-02-03 15:03:04] 869*2^1003792-1 is not prime. Res64: 555610D183686B85 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:07:49] 615*2^1003793-1 is not prime. Res64: E7AB50181A7411C8 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:07:50] 657*2^1003793-1 is not prime. Res64: F98AB638B3408DC5 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:12:57] 705*2^1003793-1 is not prime. Res64: 2951EB34F6F5FFA1 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:12:58] 727*2^1003793-1 is not prime. Res64: FB23CEBB5EAD8898 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:19:02] 747*2^1003793-1 is not prime. Res64: 2EC78C87C065C385 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:19:02] 789*2^1003793-1 is not prime. Res64: 5DB407B5B4843D58 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:22:58] 811*2^1003793-1 is not prime. Res64: 00D349172BF06359 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:22:58] 831*2^1003793-1 is not prime. Res64: 22FC44665C4829CE Time : 0.0 sec. user=mdettweiler [2012-02-03 15:27:53] 837*2^1003793-1 is not prime. Res64: 852223FBC02FD974 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:27:54] 717*2^1003794-1 is not prime. Res64: 59192D5DDBE1F032 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:32:58] 791*2^1003794-1 is not prime. Res64: 7905A53CBE2F144A Time : 0.0 sec. user=mdettweiler [2012-02-03 15:32:58] 797*2^1003794-1 is not prime. Res64: 16ABD77288E7BE8D Time : 0.0 sec. user=mdettweiler [2012-02-03 15:39:01] 601*2^1003795-1 is not prime. Res64: 89A6244843AAF149 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:39:01] 639*2^1003795-1 is not prime. Res64: 1B7B3C91BEE23BD2 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:43:01] 723*2^1003795-1 is not prime. Res64: D772AF3131C22A92 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:43:01] 793*2^1003795-1 is not prime. Res64: 10928467FB22AB42 Time : 0.0 sec. user=mdettweiler [2012-02-03 15:50:33] 885*2^1003795-1 is not prime. Res64: F9E68990641B9E2A Time : 0.0 sec. user=mdettweiler [2012-02-03 15:50:33] 919*2^1003795-1 is not prime. Res64: 1FFC707906AB12BA Time : 0.0 sec. user=mdettweiler [2012-02-03 15:57:56] 979*2^1003795-1 is not prime. Res64: 863C5105DB6A6CDF Time : 0.0 sec. user=mdettweiler [2012-02-03 15:57:57] 985*2^1003795-1 is not prime. Res64: 85EEF94A2DA2F1D0 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:01:51] 999*2^1003795-1 is not prime. Res64: 2E9132F0E178D7D1 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:01:53] 759*2^1003796-1 is not prime. Res64: 0D1EBDAD88067FBF Time : 0.0 sec. user=mdettweiler [2012-02-03 16:06:07] 803*2^1003796-1 is not prime. Res64: FB77AAC8815F6066 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:06:08] 909*2^1003796-1 is not prime. Res64: AAA01D3FA0AD04FB Time : 0.0 sec. user=mdettweiler [2012-02-03 16:15:24] 935*2^1003796-1 is not prime. Res64: FFC7B894D5C664D9 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:15:25] 963*2^1003796-1 is not prime. Res64: C49FA3C1B2C4B744 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:18:19] 735*2^1003797-1 is not prime. Res64: F2204CC253173C1D Time : 0.0 sec. user=mdettweiler [2012-02-03 16:18:20] 817*2^1003797-1 is not prime. Res64: 116CC6788920BF99 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:22:24] 871*2^1003797-1 is not prime. Res64: D8370BED3349B5B5 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:22:24] 891*2^1003797-1 is not prime. Res64: 1CBB327B55FABF6D Time : 0.0 sec. user=mdettweiler [2012-02-03 16:31:19] 895*2^1003797-1 is not prime. Res64: 42F9F04B7F1B2CC6 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:31:20] 961*2^1003797-1 is not prime. Res64: 9966572B984965F4 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:36:02] 723*2^1003798-1 is not prime. Res64: ACE1D1FCE0BAFC44 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:36:03] 777*2^1003798-1 is not prime. Res64: 11266DB8E34770A3 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:38:51] 833*2^1003798-1 is not prime. Res64: CC0AD40CC49BB992 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:38:52] 643*2^1003799-1 is not prime. Res64: 36A28C4E7E1B0A80 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:42:59] 759*2^1003799-1 is not prime. Res64: 92806A769B63B729 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:42:59] 811*2^1003799-1 is not prime. Res64: 0F59051A9DF26F7D Time : 0.0 sec. user=mdettweiler [2012-02-03 16:51:42] 879*2^1003799-1 is not prime. Res64: 6B8A108541CBDBF7 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:51:42] 885*2^1003799-1 is not prime. Res64: 940CC344442AF512 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:56:17] 889*2^1003799-1 is not prime. Res64: 49EB7D2924FE76EB Time : 0.0 sec. user=mdettweiler [2012-02-03 16:56:18] 777*2^1003800-1 is not prime. Res64: F0C198B69EEC1DC6 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:59:13] 795*2^1003800-1 is not prime. Res64: 3EC58DAA8693D829 Time : 0.0 sec. user=mdettweiler [2012-02-03 16:59:13] 863*2^1003800-1 is not prime. Res64: BD28CD10621D63AA Time : 0.0 sec. user=mdettweiler [2012-02-03 17:07:49] 915*2^1003800-1 is not prime. Res64: B895976E92BF7B79 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:07:51] 933*2^1003800-1 is not prime. Res64: F891525B116E5FCE Time : 0.0 sec. user=mdettweiler [2012-02-03 17:11:55] 651*2^1003801-1 is not prime. Res64: 2874CBD48C576B31 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:11:57] 771*2^1003801-1 is not prime. Res64: FD35D2AB9098F59C Time : 0.0 sec. user=mdettweiler [2012-02-03 17:19:39] 741*2^1003802-1 is not prime. Res64: 7157AB3A8CC34702 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:19:39] 771*2^1003802-1 is not prime. Res64: 8F6035E517AB7B49 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:21:06] 895*2^1003801-1 is not prime. Res64: 211D4E465F23EDDD Time : 0.0 sec. user=mdettweiler [2012-02-03 17:21:06] 979*2^1003801-1 is not prime. Res64: 5F5B60589AD05F60 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:27:57] 825*2^1003802-1 is not prime. Res64: 0E1B7554C9C436A3 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:27:58] 867*2^1003802-1 is not prime. Res64: 75C927DE43653534 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:36:52] 893*2^1003802-1 is not prime. Res64: 86C467E8746B5C71 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:36:53] 935*2^1003802-1 is not prime. Res64: 4D6C8E7CE2065E4F Time : 0.0 sec. user=mdettweiler [2012-02-03 17:41:19] 739*2^1003803-1 is not prime. Res64: 67631C78C6BAC0C3 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:41:19] 849*2^1003803-1 is not prime. Res64: A340716DBE9AC00C Time : 0.0 sec. user=mdettweiler [2012-02-03 17:44:30] 945*2^1003802-1 is not prime. Res64: D3B06BC01A693488 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:44:30] 963*2^1003802-1 is not prime. Res64: DF655313303A2430 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:50:31] 873*2^1003803-1 is not prime. Res64: 681251A9877550A0 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:50:31] 895*2^1003803-1 is not prime. Res64: 001AF9989B5A00E8 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:59:21] 961*2^1003803-1 is not prime. Res64: CABCA194A8E7B500 Time : 0.0 sec. user=mdettweiler [2012-02-03 17:59:21] 743*2^1003804-1 is not prime. Res64: 8BE1BCDFEEA28DFE Time : 0.0 sec. user=mdettweiler [2012-02-03 18:01:26] 833*2^1003804-1 is not prime. Res64: 76BF37D9A52DFCDD Time : 0.0 sec. user=mdettweiler [2012-02-03 18:01:27] 875*2^1003804-1 is not prime. Res64: 7550CE646AEDEDC9 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:09:11] 939*2^1003804-1 is not prime. Res64: 453107405E66F4FE Time : 0.0 sec. user=mdettweiler [2012-02-03 18:09:12] 969*2^1003804-1 is not prime. Res64: C93B947F28716F16 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:10:35] 679*2^1003805-1 is not prime. Res64: 9ACD4B8AF95B5A5F Time : 0.0 sec. user=mdettweiler [2012-02-03 18:10:35] 685*2^1003805-1 is not prime. Res64: 8264338C1A475236 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:19:21] 699*2^1003805-1 is not prime. Res64: 47AF8B2BA4632D38 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:19:21] 717*2^1003805-1 is not prime. Res64: 1B9263C544BA6C28 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:21:33] 757*2^1003805-1 is not prime. Res64: 58918D575F8C1809 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:21:33] 795*2^1003805-1 is not prime. Res64: 49C6CB3AD70E5949 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:29:21] 837*2^1003805-1 is not prime. Res64: ADFC39CC4EBCD3FE Time : 0.0 sec. user=mdettweiler [2012-02-03 18:29:21] 847*2^1003805-1 is not prime. Res64: D91DDEA69E417AF7 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:35:19] 907*2^1003805-1 is not prime. Res64: 4A89F64BD70A6F0D Time : 0.0 sec. user=mdettweiler [2012-02-03 18:35:20] 955*2^1003805-1 is not prime. Res64: 7A705C2960703372 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:39:36] 711*2^1003806-1 is not prime. Res64: A4CEBE1F71E5B575 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:39:37] 777*2^1003806-1 is not prime. Res64: 69223BB590B69E3B Time : 0.0 sec. user=mdettweiler [2012-02-03 18:41:40] 807*2^1003806-1 is not prime. Res64: EF65FFEDF00B7933 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:41:40] 881*2^1003806-1 is not prime. Res64: 3BF3BC673B677575 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:54:03] 971*2^1003806-1 is not prime. Res64: 02125441F4D771A7 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:54:03] 983*2^1003806-1 is not prime. Res64: 807C46070EBEF057 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:55:23] 693*2^1003807-1 is not prime. Res64: 63BFF9758E555217 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:55:23] 705*2^1003807-1 is not prime. Res64: 25361E24EBF8FE90 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:59:37] 805*2^1003807-1 is not prime. Res64: 2E6E4CD5A9B4B308 Time : 0.0 sec. user=mdettweiler [2012-02-03 18:59:37] 841*2^1003807-1 is not prime. Res64: 6B63FA0163747941 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:01:37] 843*2^1003807-1 is not prime. Res64: 1F473F8F292C87ED Time : 0.0 sec. user=mdettweiler [2012-02-03 19:01:39] 633*2^1003808-1 is not prime. Res64: 946A414D19062BD5 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:14:08] 669*2^1003808-1 is not prime. Res64: 01AFE0FFEF8D9C1E Time : 0.0 sec. user=mdettweiler [2012-02-03 19:14:09] 735*2^1003808-1 is not prime. Res64: 40751E89D304419A Time : 0.0 sec. user=mdettweiler [2012-02-03 19:15:29] 833*2^1003808-1 is not prime. Res64: 83E0C22290E47A4D Time : 0.0 sec. user=mdettweiler [2012-02-03 19:15:30] 855*2^1003808-1 is not prime. Res64: CE614FA22D14F9E6 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:22:09] 875*2^1003808-1 is not prime. Res64: F61566139B97D990 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:22:09] 995*2^1003808-1 is not prime. Res64: F00A32FB1EEF0628 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:22:24] 741*2^1003809-1 is not prime. Res64: 5CB3D39EF1216CAD Time : 0.0 sec. user=mdettweiler [2012-02-03 19:22:24] 835*2^1003809-1 is not prime. Res64: 34AFF99854F9DFDA Time : 0.0 sec. user=mdettweiler [2012-02-03 19:38:09] 997*2^1003809-1 is not prime. Res64: ED98F27C673F6D1F Time : 0.0 sec. user=mdettweiler [2012-02-03 19:38:09] 665*2^1003810-1 is not prime. Res64: 37DC3E68CC94BFC2 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:39:04] 949*2^1003809-1 is not prime. Res64: 427FADED67F19D71 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:39:05] 955*2^1003809-1 is not prime. Res64: EA4A18C5021E7B9F Time : 0.0 sec. user=mdettweiler [2012-02-03 19:42:22] 677*2^1003810-1 is not prime. Res64: FF9A2961ABB1C190 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:42:22] 695*2^1003810-1 is not prime. Res64: B5B8D8D96249EBF9 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:42:33] 741*2^1003810-1 is not prime. Res64: FF8AC47A54145ACE Time : 0.0 sec. user=mdettweiler [2012-02-03 19:42:33] 821*2^1003810-1 is not prime. Res64: 78522736460A28E1 Time : 0.0 sec. user=mdettweiler [2012-02-03 19:58:10] 867*2^1003810-1 is not prime. Res64: C2F4F496F66237DB Time : 0.0 sec. user=mdettweiler [2012-02-03 19:58:10] 885*2^1003810-1 is not prime. Res64: 17AF66DCC02E3724 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:01:24] 951*2^1003810-1 is not prime. Res64: 48579CAACAE6D655 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:01:25] 609*2^1003811-1 is not prime. Res64: C01A50C9A7B0E7F3 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:04:37] 823*2^1003811-1 is not prime. Res64: 96E162E3104C170A Time : 0.0 sec. user=mdettweiler [2012-02-03 20:04:38] 939*2^1003811-1 is not prime. Res64: 1BB04C4DFED1D681 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:04:45] 943*2^1003811-1 is not prime. Res64: 8461D22D84E8D9C9 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:04:46] 723*2^1003812-1 is not prime. Res64: 46E917797A829CA2 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:18:13] 825*2^1003812-1 is not prime. Res64: 2BDA80E3BD8614FA Time : 0.0 sec. user=mdettweiler [2012-02-03 20:18:13] 857*2^1003812-1 is not prime. Res64: ED4F8B22C89C215D Time : 0.0 sec. user=mdettweiler [2012-02-03 20:21:24] 863*2^1003812-1 is not prime. Res64: 5FD5F7D0DE155C74 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:21:25] 639*2^1003813-1 is not prime. Res64: D350C7385F81C8B0 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:24:38] 685*2^1003813-1 is not prime. Res64: E8347A3D34DBF64E Time : 0.0 sec. user=mdettweiler [2012-02-03 20:24:38] 801*2^1003813-1 is not prime. Res64: 044848439F7FC17B Time : 0.0 sec. user=mdettweiler [2012-02-03 20:24:42] 855*2^1003813-1 is not prime. Res64: B4F5994B4F7761B9 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:24:42] 615*2^1003814-1 is not prime. Res64: BF9C3C7B988F996E Time : 0.0 sec. user=mdettweiler [2012-02-03 20:38:06] 747*2^1003814-1 is not prime. Res64: 2BF7739E0F300014 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:38:06] 785*2^1003814-1 is not prime. Res64: 666D0433FC871F3A Time : 0.0 sec. user=mdettweiler [2012-02-03 20:41:21] 797*2^1003814-1 is not prime. Res64: B5727ECB2F7D0EC2 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:41:21] 857*2^1003814-1 is not prime. Res64: D37B74E094291D13 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:44:31] 651*2^1003815-1 is not prime. Res64: F34DC10F7941483D Time : 0.0 sec. user=mdettweiler [2012-02-03 20:44:31] 765*2^1003815-1 is not prime. Res64: 187B8EA3BABBC504 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:44:39] 789*2^1003815-1 is not prime. Res64: 0F1CD0A60E52629F Time : 0.0 sec. user=mdettweiler [2012-02-03 20:44:40] 859*2^1003815-1 is not prime. Res64: 4EC69674630B67DC Time : 0.0 sec. user=mdettweiler [2012-02-03 20:58:21] 871*2^1003815-1 is not prime. Res64: B6467A044DEAE2F8 Time : 0.0 sec. user=mdettweiler [2012-02-03 20:58:22] 885*2^1003815-1 is not prime. Res64: BDFDEE4F56287190 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:03:59] 973*2^1003815-1 is not prime. Res64: F082ED144A23D59C Time : 0.0 sec. user=mdettweiler [2012-02-03 21:03:59] 695*2^1003816-1 is not prime. Res64: 4294AE9F51F9E4E7 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:04:49] 717*2^1003816-1 is not prime. Res64: C373C4B581B6B7BA Time : 0.0 sec. user=mdettweiler [2012-02-03 21:04:50] 735*2^1003816-1 is not prime. Res64: 9CFEAB0154724865 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:05:07] 747*2^1003816-1 is not prime. Res64: 778D24F6DE16D5B1 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:05:08] 857*2^1003816-1 is not prime. Res64: CB582A3020AB6A1E Time : 0.0 sec. user=mdettweiler [2012-02-03 21:18:32] 619*2^1003817-1 is not prime. Res64: 8F4556555054AE66 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:18:32] 645*2^1003817-1 is not prime. Res64: E531534D2AC76C89 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:24:12] 691*2^1003817-1 is not prime. Res64: 4BD8469A6A01564A Time : 0.0 sec. user=mdettweiler [2012-02-03 21:24:13] 741*2^1003817-1 is not prime. Res64: 48AF58A35E6A9388 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:27:44] 985*2^1003817-1 is not prime. Res64: 1F1F9D87D2A292E9 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:27:44] 663*2^1003818-1 is not prime. Res64: EA21283318CCD986 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:29:44] 967*2^1003817-1 is not prime. Res64: 763B6DB4B9905BBC Time : 0.0 sec. user=mdettweiler [2012-02-03 21:29:44] 981*2^1003817-1 is not prime. Res64: C4E24E62E5B6CD81 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:38:35] 665*2^1003818-1 is not prime. Res64: 56CD2D4A92CBA6D9 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:38:35] 725*2^1003818-1 is not prime. Res64: AAA2293B3DD81735 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:44:25] 755*2^1003818-1 is not prime. Res64: 3CBFD5724883DD6A Time : 0.0 sec. user=mdettweiler [2012-02-03 21:44:25] 801*2^1003818-1 is not prime. Res64: 9CDF212C0478F574 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:50:02] 709*2^1003819-1 is not prime. Res64: 2A102ACD9C898CF3 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:50:02] 853*2^1003819-1 is not prime. Res64: E2FEB7A46776B4BD Time : 0.0 sec. user=mdettweiler [2012-02-03 21:50:15] 945*2^1003818-1 is not prime. Res64: 55A49FBAC4D684A7 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:50:21] 703*2^1003819-1 is not prime. Res64: 7FC6FF427F87E65B Time : 0.0 sec. user=mdettweiler [2012-02-03 21:54:36] 755*2^1003786-1 is not prime. Res64: ED49C714A6CB3485 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:54:36] 915*2^1003784-1 is not prime. Res64: F8CA88113E597495 Time : 0.0 sec. user=mdettweiler [2012-02-03 21:54:37] 689*2^1003788-1 is not prime. Res64: 05E91A6EFCF7C53E Time : 0.0 sec. user=mdettweiler [2012-02-03 22:03:26] 919*2^1003819-1 is not prime. Res64: F0E0C8891C634117 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:03:27] 979*2^1003819-1 is not prime. Res64: 00C5FB3773D1B8AB Time : 0.0 sec. user=mdettweiler [2012-02-03 22:04:32] 665*2^1003820-1 is not prime. Res64: 77DB51809BC5D4DF Time : 0.0 sec. user=mdettweiler [2012-02-03 22:04:33] 755*2^1003820-1 is not prime. Res64: A68688049415E778 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:10:38] 813*2^1003820-1 is not prime. Res64: CCF29E637A50F37C Time : 0.0 sec. user=mdettweiler [2012-02-03 22:10:40] 843*2^1003820-1 is not prime. Res64: 5A0960A3117D3540 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:15:24] 899*2^1003820-1 is not prime. Res64: D79431BE519F3563 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:15:24] 915*2^1003820-1 is not prime. Res64: 614058FD3DEE814B Time : 0.0 sec. user=mdettweiler [2012-02-03 22:24:07] 649*2^1003821-1 is not prime. Res64: D15C283FD257286E Time : 0.0 sec. user=mdettweiler [2012-02-03 22:24:08] 735*2^1003821-1 is not prime. Res64: 7072C2E00B3782F3 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:25:06] 741*2^1003821-1 is not prime. Res64: 46096EC475F2AF6F Time : 0.0 sec. user=mdettweiler [2012-02-03 22:25:06] 747*2^1003821-1 is not prime. Res64: F1DDD6CC8FD47468 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:31:07] 867*2^1003821-1 is not prime. Res64: F7B346FC89103ED1 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:31:07] 885*2^1003821-1 is not prime. Res64: ACA1B0EDAFFDBFE2 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:37:51] 889*2^1003821-1 is not prime. Res64: CE3A87139B06DBF5 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:37:51] 991*2^1003821-1 is not prime. Res64: 516286B79CD4DD60 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:44:24] 645*2^1003822-1 is not prime. Res64: 551C673F60D06AFF Time : 0.0 sec. user=mdettweiler [2012-02-03 22:44:24] 647*2^1003822-1 is not prime. Res64: 53CB9551C9A4C762 Time : 0.0 sec. user=mdettweiler [2012-02-03 22:47:27] 951*2^1003822-1 is not prime. Res64: 2B7C6FECC70A279C Time : 0.0 sec. user=mdettweiler [2012-02-03 22:47:27] 649*2^1003823-1 is not prime. Res64: D0C21F1FCA226E2B Time : 0.0 sec. user=mdettweiler [2012-02-03 22:51:07] 669*2^1003823-1 is not prime. Res64: 648FEB0EBB26463E Time : 0.0 sec. user=mdettweiler [2012-02-03 22:51:14] 859*2^1003823-1 is not prime. Res64: 00CB0B1A04021ED9 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:00:04] 981*2^1003823-1 is not prime. Res64: 0E0AF93A34AA1660 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:00:06] 635*2^1003824-1 is not prime. Res64: D07E9B035247BD19 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:04:20] 665*2^1003824-1 is not prime. Res64: 422860466F06B38B Time : 0.0 sec. user=mdettweiler [2012-02-03 23:04:21] 689*2^1003824-1 is not prime. Res64: 88B6637FBCE4B14B Time : 0.0 sec. user=mdettweiler [2012-02-03 23:06:55] 773*2^1003786-1 is not prime. Res64: 8E745DE788F2E01F Time : 0.0 sec. user=mdettweiler [2012-02-03 23:07:23] 789*2^1003824-1 is not prime. Res64: 4F47C78F75AF57CB Time : 0.0 sec. user=mdettweiler [2012-02-03 23:07:24] 887*2^1003824-1 is not prime. Res64: F47E6D55DF006457 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:15:44] 959*2^1003824-1 is not prime. Res64: 4616DE7D791D8C9B Time : 0.0 sec. user=mdettweiler [2012-02-03 23:15:44] 975*2^1003824-1 is not prime. Res64: CAF9929E8013172B Time : 0.0 sec. user=mdettweiler [2012-02-03 23:19:14] 995*2^1003784-1 is not prime. Res64: 976987545833F39F Time : 0.0 sec. user=mdettweiler [2012-02-03 23:22:34] 889*2^1003825-1 is not prime. Res64: 30883B71C20B1FD7 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:22:34] 909*2^1003825-1 is not prime. Res64: 2303F921928B5F5E Time : 0.0 sec. user=mdettweiler [2012-02-03 23:24:58] 825*2^1003788-1 is not prime. Res64: CE49373B85765AEA Time : 0.0 sec. user=mdettweiler [2012-02-03 23:27:05] 985*2^1003825-1 is not prime. Res64: AEA32F7FAC384712 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:27:05] 683*2^1003826-1 is not prime. Res64: 4FC6FF6937F5ACED Time : 0.0 sec. user=mdettweiler [2012-02-03 23:27:49] 755*2^1003826-1 is not prime. Res64: B1EA31C5B773D349 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:27:49] 813*2^1003826-1 is not prime. Res64: 5A19216A19425378 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:40:40] 923*2^1003826-1 is not prime. Res64: 48FB504164F3BAB9 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:40:41] 987*2^1003826-1 is not prime. Res64: 199DAAB9BD532FD2 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:42:58] 705*2^1003827-1 is not prime. Res64: A3B37A89F2215000 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:42:59] 775*2^1003827-1 is not prime. Res64: 65AD662934503D25 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:49:28] 885*2^1003827-1 is not prime. Res64: B8F450249DE93285 Time : 0.0 sec. user=mdettweiler [2012-02-03 23:49:29] 919*2^1003827-1 is not prime. Res64: F60CA3FFABFA465F Time : 0.0 sec. user=mdettweiler [2012-02-03 23:50:05] 951*2^1003827-1 is not prime. Res64: FEDAE3F43DE78DAD Time : 0.0 sec. user=mdettweiler [2012-02-03 23:50:06] 663*2^1003828-1 is not prime. Res64: 8693B37C468926B7 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:00:27] 687*2^1003828-1 is not prime. Res64: 1B6D20C4E22AD419 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:00:28] 735*2^1003828-1 is not prime. Res64: 6A2F5B58D59D12ED Time : 0.0 sec.