user=mdettweiler [2013-06-08 00:02:16] 945*2^1246649-1 is not prime. Res64: 242D015190863BE0 Time : 0.0 sec. user=mdettweiler [2013-06-08 00:24:48] 931*2^1246649-1 is not prime. Res64: 04E534A1FC9B85DF Time : 0.0 sec. user=mdettweiler [2013-06-08 00:41:25] 633*2^1246650-1 is not prime. Res64: 30DE7EE766C4343F Time : 0.0 sec. user=mdettweiler [2013-06-08 00:58:57] 713*2^1246650-1 is not prime. Res64: DEBB09B96CB35DFB Time : 0.0 sec. user=mdettweiler [2013-06-08 00:58:57] 765*2^1246650-1 is not prime. Res64: 883B23127EA6A8FC Time : 0.0 sec. user=mdettweiler [2013-06-08 01:16:30] 861*2^1246650-1 is not prime. Res64: 17A45914692F49DD Time : 0.0 sec. user=mdettweiler [2013-06-08 01:16:30] 887*2^1246650-1 is not prime. Res64: 7CE55FCAC213DAF4 Time : 0.0 sec. user=mdettweiler [2013-06-08 01:20:45] 691*2^1246651-1 is not prime. Res64: 3933CA7129AD93DB Time : 0.0 sec. user=mdettweiler [2013-06-08 01:20:45] 745*2^1246651-1 is not prime. Res64: 664416466AAABEBD Time : 0.0 sec. user=mdettweiler [2013-06-08 01:36:02] 979*2^1246651-1 is not prime. Res64: 1BD22B67B2BBA2BB Time : 0.0 sec. user=mdettweiler [2013-06-08 01:36:03] 993*2^1246651-1 is not prime. Res64: 49635D32BF58504C Time : 0.0 sec. user=mdettweiler [2013-06-08 01:39:13] 999*2^1246651-1 is not prime. Res64: B9763E10557D4635 Time : 0.0 sec. user=mdettweiler [2013-06-08 01:39:13] 633*2^1246652-1 is not prime. Res64: 3D17B3EF9869AEAA Time : 0.0 sec. user=mdettweiler [2013-06-08 01:53:59] 693*2^1246652-1 is not prime. Res64: ED0F10A5A4EF66F7 Time : 0.0 sec. user=mdettweiler [2013-06-08 01:54:00] 743*2^1246652-1 is not prime. Res64: D0C7680328B772AA Time : 0.0 sec. user=mdettweiler [2013-06-08 01:57:10] 837*2^1246652-1 is not prime. Res64: FFFD9E9BA77AF9C2 Time : 0.0 sec. user=mdettweiler [2013-06-08 01:57:11] 915*2^1246652-1 is not prime. Res64: 22C9FA2046BE426D Time : 0.0 sec. user=mdettweiler [2013-06-08 02:12:38] 959*2^1246652-1 is not prime. Res64: BDD0421A5976A2CF Time : 0.0 sec. user=mdettweiler [2013-06-08 02:12:39] 983*2^1246652-1 is not prime. Res64: 3212E804A952711C Time : 0.0 sec. user=mdettweiler [2013-06-08 02:15:11] 621*2^1246653-1 is not prime. Res64: 1B4D33A31E5E7C56 Time : 0.0 sec. user=mdettweiler [2013-06-08 02:30:33] 691*2^1246653-1 is not prime. Res64: 437FE5E9B033950D Time : 0.0 sec. user=mdettweiler [2013-06-08 02:30:34] 885*2^1246653-1 is not prime. Res64: C917C21AB5C9634A Time : 0.0 sec. user=mdettweiler [2013-06-08 02:48:23] 891*2^1246653-1 is not prime. Res64: C28D52D45089B9DD Time : 0.0 sec. user=mdettweiler [2013-06-08 02:48:24] 951*2^1246653-1 is not prime. Res64: 22479EF329716527 Time : 0.0 sec. user=mdettweiler [2013-06-08 02:51:04] 657*2^1246653-1 is not prime. Res64: 3E0D60321AB5CD90 Time : 0.0 sec. user=mdettweiler [2013-06-08 03:07:52] 969*2^1246653-1 is not prime. Res64: 083BC242C2F182EE Time : 0.0 sec. user=mdettweiler [2013-06-08 03:09:39] 999*2^1246653-1 is not prime. Res64: D85D74EC822051A9 Time : 0.0 sec. user=mdettweiler [2013-06-08 03:30:40] 991*2^1246653-1 is not prime. Res64: CC1C6C9AC92A59B0 Time : 0.0 sec. user=mdettweiler [2013-06-08 03:37:09] 671*2^1246654-1 is not prime. Res64: 011A10B1C1945E50 Time : 0.0 sec. user=mdettweiler [2013-06-08 03:48:40] 675*2^1246654-1 is not prime. Res64: E5E7A0FBEF387ED6 Time : 0.0 sec. user=mdettweiler [2013-06-08 03:54:40] 755*2^1246654-1 is not prime. Res64: FFA7FEAD7CEC4B1C Time : 0.0 sec. user=mdettweiler [2013-06-08 03:54:40] 917*2^1246654-1 is not prime. Res64: F924EF99C8F626B0 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:12:27] 947*2^1246654-1 is not prime. Res64: F957173AFED1A555 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:12:28] 841*2^1246655-1 is not prime. Res64: CE7F281EBE80CE7D Time : 0.0 sec. user=mdettweiler [2013-06-08 04:15:06] 681*2^1246654-1 is not prime. Res64: B4B8077809E7D419 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:30:05] 843*2^1246655-1 is not prime. Res64: 8321FB9044DDAF5C Time : 0.0 sec. user=mdettweiler [2013-06-08 04:30:07] 633*2^1246656-1 is not prime. Res64: 4F50BEBD9982C397 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:32:37] 765*2^1246656-1 is not prime. Res64: 95F5C13A8D0DDB73 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:32:39] 845*2^1246656-1 is not prime. Res64: 655EEF7AC5F954D6 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:47:56] 873*2^1246656-1 is not prime. Res64: 7CF8BC06826F2A5D Time : 0.0 sec. user=mdettweiler [2013-06-08 04:47:56] 903*2^1246656-1 is not prime. Res64: 537A30A71190A491 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:50:32] 947*2^1246656-1 is not prime. Res64: D687259EA6470E04 Time : 0.0 sec. user=mdettweiler [2013-06-08 04:50:32] 625*2^1246657-1 is not prime. Res64: 7DACD4C9A3CAA1D9 Time : 0.0 sec. user=mdettweiler [2013-06-08 05:05:36] 645*2^1246657-1 is not prime. Res64: 56195029DCB59C40 Time : 0.0 sec. user=mdettweiler [2013-06-08 05:08:38] 661*2^1246657-1 is not prime. Res64: D3FA2DC20C3120F1 Time : 0.0 sec. user=mdettweiler [2013-06-08 05:45:09] 649*2^1246657-1 is not prime. Res64: F8FC5757F0B30EB5 Time : 0.0 sec. user=mdettweiler [2013-06-08 05:46:43] 667*2^1246657-1 is not prime. Res64: 86D465908DBD6895 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:02:39] 751*2^1246657-1 is not prime. Res64: CCDC005C603CD7B4 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:02:41] 765*2^1246657-1 is not prime. Res64: 34DAAB737402634A Time : 0.0 sec. user=mdettweiler [2013-06-08 06:04:22] 831*2^1246657-1 is not prime. Res64: 993471A8861BECBB Time : 0.0 sec. user=mdettweiler [2013-06-08 06:20:30] 885*2^1246657-1 is not prime. Res64: CCCEEB8A96460583 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:20:31] 901*2^1246657-1 is not prime. Res64: A8417B17246BFA33 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:23:44] 861*2^1246657-1 is not prime. Res64: 4A20F366BCB7F572 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:38:18] 931*2^1246657-1 is not prime. Res64: F9FA54AA3E234E2F Time : 0.0 sec. user=mdettweiler [2013-06-08 06:38:19] 945*2^1246657-1 is not prime. Res64: 34DBB4A549A17C07 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:42:08] 985*2^1246657-1 is not prime. Res64: 38DB9844E512FB66 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:42:09] 825*2^1246658-1 is not prime. Res64: 1F71D0A3A0F80AC2 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:56:20] 845*2^1246658-1 is not prime. Res64: 07F237C8F3A44500 Time : 0.0 sec. user=mdettweiler [2013-06-08 06:59:58] 915*2^1246658-1 is not prime. Res64: 54C8DF97C6DD1F0C Time : 0.0 sec. user=mdettweiler [2013-06-08 06:59:59] 953*2^1246658-1 is not prime. Res64: 21247D9949A57033 Time : 0.0 sec. user=mdettweiler [2013-06-08 07:18:34] 887*2^1246658-1 is not prime. Res64: 8E3362593C8E9DD3 Time : 0.0 sec. user=mdettweiler [2013-06-08 07:18:37] 977*2^1246658-1 is not prime. Res64: 4943B1EEC11BB61E Time : 0.0 sec. user=mdettweiler [2013-06-08 07:18:37] 649*2^1246659-1 is not prime. Res64: 5E2075B3986EE5A7 Time : 0.0 sec. user=mdettweiler [2013-06-08 07:36:23] 709*2^1246659-1 is not prime. Res64: 8EEF47CFC106C84F Time : 0.0 sec. user=mdettweiler [2013-06-08 07:36:24] 879*2^1246659-1 is not prime. Res64: E8D0E5D049A75DC1 Time : 0.0 sec. user=mdettweiler [2013-06-08 07:54:03] 949*2^1246659-1 is not prime. Res64: 970B9787AE570437 Time : 0.0 sec. user=mdettweiler [2013-06-08 07:54:03] 951*2^1246659-1 is not prime. Res64: B50A88A513B18157 Time : 0.0 sec. user=mdettweiler [2013-06-08 08:12:40] 975*2^1246659-1 is not prime. Res64: CDD48899842B81CF Time : 0.0 sec. user=mdettweiler [2013-06-08 08:12:41] 693*2^1246660-1 is not prime. Res64: 8BFEB2AA58489F84 Time : 0.0 sec. user=mdettweiler [2013-06-08 08:14:12] 797*2^1246660-1 is not prime. Res64: 8052377786C3EA5D Time : 0.0 sec. user=mdettweiler [2013-06-08 08:30:29] 887*2^1246660-1 is not prime. Res64: 907722A2D6AAF250 Time : 0.0 sec. user=mdettweiler [2013-06-08 08:43:39] 857*2^1246660-1 is not prime. Res64: 0605F08DA129DE83 Time : 0.0 sec. user=mdettweiler [2013-06-08 08:49:00] 929*2^1246660-1 is not prime. Res64: 036CCF984EC3C7C8 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:01:10] 789*2^1246661-1 is not prime. Res64: 4BC230DBF65188C2 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:01:12] 937*2^1246661-1 is not prime. Res64: 160AC4004EC085C0 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:19:48] 991*2^1246661-1 is not prime. Res64: A0D77C9B9929A3DF Time : 0.0 sec. user=mdettweiler [2013-06-08 09:19:49] 627*2^1246662-1 is not prime. Res64: 9FD1E85AF51182D7 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:30:30] 651*2^1246662-1 is not prime. Res64: 97D0C481ABDE7404 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:30:30] 683*2^1246662-1 is not prime. Res64: 2FB4CDEFC4AA3D12 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:37:47] 797*2^1246662-1 is not prime. Res64: 81C593E801479992 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:37:47] 903*2^1246662-1 is not prime. Res64: 6147BB1BE9154091 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:49:01] 915*2^1246662-1 is not prime. Res64: FDF207EEEDF5B9B1 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:55:20] 765*2^1246663-1 is not prime. Res64: 7FD3655094692E35 Time : 0.0 sec. user=mdettweiler [2013-06-08 09:55:37] 873*2^1246663-1 is not prime. Res64: AC611D95110D7CED Time : 0.0 sec. user=mdettweiler [2013-06-08 10:16:32] 1001*2^1246662-1 is not prime. Res64: E9EA6FA8283DD481 Time : 0.0 sec. user=mdettweiler [2013-06-08 10:34:03] 919*2^1246663-1 is not prime. Res64: AEBED1487F780A7D Time : 0.0 sec. user=mdettweiler [2013-06-08 10:34:03] 677*2^1246664-1 is not prime. Res64: 7A48A1DC4C7F2FB6 Time : 0.0 sec. user=mdettweiler [2013-06-08 10:40:38] 843*2^1246664-1 is not prime. Res64: 19EB106D2755CBFE Time : 0.0 sec. user=mdettweiler [2013-06-08 10:40:38] 855*2^1246664-1 is not prime. Res64: A3689B3F0143E2F2 Time : 0.0 sec. user=mdettweiler [2013-06-08 10:51:34] 875*2^1246664-1 is not prime. Res64: E28DCC0F41969E5F Time : 0.0 sec. user=mdettweiler [2013-06-08 10:51:35] 903*2^1246664-1 is not prime. Res64: B4AF83D5EB08C80E Time : 0.0 sec. user=mdettweiler [2013-06-08 10:58:15] 649*2^1246665-1 is not prime. Res64: 4F352356560B5F00 Time : 0.0 sec. user=mdettweiler [2013-06-08 10:58:15] 717*2^1246665-1 is not prime. Res64: 74FEE69BD9B6A2D9 Time : 0.0 sec. user=mdettweiler [2013-06-08 11:09:39] 759*2^1246665-1 is not prime. Res64: A9EB2C8872F5490E Time : 0.0 sec. user=mdettweiler [2013-06-08 11:16:01] 885*2^1246665-1 is not prime. Res64: 34D487F2AF966762 Time : 0.0 sec. user=mdettweiler [2013-06-08 11:31:56] 877*2^1246665-1 is not prime. Res64: CE63615C16FA7B93 Time : 0.0 sec. user=mdettweiler [2013-06-08 11:50:23] 955*2^1246665-1 is not prime. Res64: 92C85A03E05FE25E Time : 0.0 sec. user=mdettweiler [2013-06-08 11:50:24] 991*2^1246665-1 is not prime. Res64: 074EE36D3C875332 Time : 0.0 sec. user=mdettweiler [2013-06-08 11:54:38] 921*2^1246665-1 is not prime. Res64: 9298793CD90D78E6 Time : 0.0 sec. user=mdettweiler [2013-06-08 12:08:12] 695*2^1246666-1 is not prime. Res64: 0A795F40D287A42C Time : 0.0 sec. user=mdettweiler [2013-06-08 12:08:13] 723*2^1246666-1 is not prime. Res64: 53738CF04F76F09A Time : 0.0 sec. user=mdettweiler [2013-06-08 12:12:09] 755*2^1246666-1 is not prime. Res64: A3A8874F19CFAC6D Time : 0.0 sec. user=mdettweiler [2013-06-08 12:12:09] 773*2^1246666-1 is not prime. Res64: 943C86261028E28B Time : 0.0 sec. user=mdettweiler [2013-06-08 12:25:57] 815*2^1246666-1 is not prime. Res64: 805CC5745509A90A Time : 0.0 sec. user=mdettweiler [2013-06-08 12:29:56] 933*2^1246666-1 is not prime. Res64: 061663DA1E3852D6 Time : 0.0 sec. user=mdettweiler [2013-06-08 12:55:52] 651*2^1246667-1 is not prime. Res64: E61856E215851A55 Time : 0.0 sec. user=mdettweiler [2013-06-08 13:05:19] 911*2^1246666-1 is not prime. Res64: 687832E80ABA8F2E Time : 0.0 sec. user=mdettweiler [2013-06-08 13:49:56] 663*2^1246667-1 is not prime. Res64: 6A35AB0B6942B823 Time : 0.0 sec. user=mdettweiler [2013-06-08 13:49:56] 813*2^1246667-1 is not prime. Res64: 9E92820AA00E7EA8 Time : 0.0 sec. user=mdettweiler [2013-06-08 14:05:25] 825*2^1246667-1 is not prime. Res64: 13DC040C9907191C Time : 0.0 sec. user=mdettweiler [2013-06-08 14:07:54] 939*2^1246667-1 is not prime. Res64: 5185FB6B98296E68 Time : 0.0 sec. user=mdettweiler [2013-06-08 14:33:02] 861*2^1246667-1 is not prime. Res64: 57F0F373F456E289 Time : 0.0 sec. user=mdettweiler [2013-06-08 14:46:41] 963*2^1246667-1 is not prime. Res64: 5019C3EEF247471F Time : 0.0 sec. user=mdettweiler [2013-06-08 14:50:59] 725*2^1246668-1 is not prime. Res64: 72F695DE368FDB30 Time : 0.0 sec. user=mdettweiler [2013-06-08 14:50:59] 737*2^1246668-1 is not prime. Res64: 06ECA5E36002863F Time : 0.0 sec. user=mdettweiler [2013-06-08 15:09:27] 789*2^1246668-1 is not prime. Res64: 0CFAAEEAFDE2B98C Time : 0.0 sec. user=mdettweiler [2013-06-08 15:09:28] 945*2^1246668-1 is not prime. Res64: BF29ADEDC9F416CB Time : 0.0 sec. user=mdettweiler [2013-06-08 15:27:48] 959*2^1246668-1 is not prime. Res64: E12F77566E90CE09 Time : 0.0 sec. user=mdettweiler [2013-06-08 15:27:49] 621*2^1246669-1 is not prime. Res64: 8EB2CB22C38BC5A5 Time : 0.0 sec. user=mdettweiler [2013-06-08 15:32:00] 667*2^1246669-1 is not prime. Res64: 88CF9F58A5E99FCA Time : 0.0 sec. user=mdettweiler [2013-06-08 15:32:00] 757*2^1246669-1 is not prime. Res64: 444BE18B06BCC64B Time : 0.0 sec. user=mdettweiler [2013-06-08 15:45:49] 867*2^1246669-1 is not prime. Res64: DCA107BC174748D7 Time : 0.0 sec. user=mdettweiler [2013-06-08 15:45:49] 885*2^1246669-1 is not prime. Res64: 20B5E8346875B6D2 Time : 0.0 sec. user=mdettweiler [2013-06-08 15:50:46] 957*2^1246669-1 is not prime. Res64: AC98CEA18C519E99 Time : 0.0 sec. user=mdettweiler [2013-06-08 15:50:46] 987*2^1246669-1 is not prime. Res64: 0250E84349506BA7 Time : 0.0 sec. user=mdettweiler [2013-06-08 16:04:12] 651*2^1246670-1 is not prime. Res64: C647719E8E048638 Time : 0.0 sec. user=mdettweiler [2013-06-08 16:04:13] 897*2^1246670-1 is not prime. Res64: 6D057D8C9227F3F0 Time : 0.0 sec. user=mdettweiler [2013-06-08 16:08:49] 953*2^1246670-1 is not prime. Res64: 06F42A5657382344 Time : 0.0 sec. user=mdettweiler [2013-06-08 16:08:49] 619*2^1246671-1 is not prime. Res64: 33DD5C2609ADABE4 Time : 0.0 sec. user=mdettweiler [2013-06-08 16:22:00] 685*2^1246671-1 is not prime. Res64: 47957674A64C395C Time : 0.0 sec. user=mdettweiler [2013-06-08 16:22:01] 783*2^1246671-1 is not prime. Res64: 495C8450D1C12B3C Time : 0.0 sec. user=mdettweiler [2013-06-08 16:28:23] 969*2^1246671-1 is not prime. Res64: F275CD72D4C33527 Time : 0.0 sec. user=mdettweiler [2013-06-08 16:28:40] 979*2^1246671-1 is not prime. Res64: A52D7D43021AA290 Time : 0.0 sec. user=mdettweiler [2013-06-08 16:40:34] 615*2^1246672-1 is not prime. Res64: 64841B7DC64CF83D Time : 0.0 sec. user=mdettweiler [2013-06-08 17:17:01] 675*2^1246672-1 is not prime. Res64: D99C6677BED4D7D5 Time : 0.0 sec. user=mdettweiler [2013-06-08 17:17:01] 735*2^1246672-1 is not prime. Res64: D72B6B95DBA86910 Time : 0.0 sec. user=mdettweiler [2013-06-08 17:23:28] 629*2^1246672-1 is not prime. Res64: 084AD20B597238F0 Time : 0.0 sec. user=mdettweiler [2013-06-08 17:35:26] 747*2^1246672-1 is not prime. Res64: 28FB9F6640EF04DE Time : 0.0 sec. user=mdettweiler [2013-06-08 17:41:34] 819*2^1246672-1 is not prime. Res64: 1D1FCBBE81A06F1A Time : 0.0 sec. user=mdettweiler [2013-06-08 17:41:35] 619*2^1246673-1 is not prime. Res64: 3E64C832B0C54C07 Time : 0.0 sec. user=mdettweiler [2013-06-08 17:58:34] 765*2^1246672-1 is not prime. Res64: 8F3B5019CC0F2DE4 Time : 0.0 sec. user=mdettweiler [2013-06-08 18:00:06] 789*2^1246673-1 is not prime. Res64: 89C835DAF53A577D Time : 0.0 sec. user=mdettweiler [2013-06-08 18:16:43] 951*2^1246673-1 is not prime. Res64: F4EE75222435907E Time : 0.0 sec. user=mdettweiler [2013-06-08 18:19:05] 915*2^1246673-1 is not prime. Res64: 112DADA5A5C0F7AC Time : 0.0 sec. user=mdettweiler [2013-06-08 18:45:57] 967*2^1246673-1 is not prime. Res64: BB00D336B3C59C12 Time : 0.0 sec. user=mdettweiler [2013-06-08 19:10:09] 605*2^1246674-1 is not prime. Res64: 430D5FF9F3063EBE Time : 0.0 sec. user=mdettweiler [2013-06-08 19:10:10] 887*2^1246674-1 is not prime. Res64: 74001314AC2234FF Time : 0.0 sec. user=mdettweiler [2013-06-08 19:29:25] 971*2^1246674-1 is not prime. Res64: 91891887582893BE Time : 0.0 sec. user=mdettweiler [2013-06-08 19:41:06] 985*2^1246673-1 is not prime. Res64: 883B08CE09F87992 Time : 0.0 sec. user=mdettweiler [2013-06-08 19:51:18] 675*2^1246675-1 is not prime. Res64: A66C48FAAB0F1C58 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:08:56] 691*2^1246675-1 is not prime. Res64: C556112AD5F8C234 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:08:57] 871*2^1246675-1 is not prime. Res64: 34773CD07B299BE8 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:18:18] 987*2^1246673-1 is not prime. Res64: AABBC4EE36498BD4 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:28:36] 969*2^1246675-1 is not prime. Res64: 0BC8CA4AAEE11941 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:35:47] 777*2^1246676-1 is not prime. Res64: 39A0F53DA766E3DE Time : 0.0 sec. user=mdettweiler [2013-06-08 20:35:48] 935*2^1246676-1 is not prime. Res64: 555D3478D1FA8565 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:50:45] 979*2^1246675-1 is not prime. Res64: 7A975E49E8A810A1 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:53:33] 685*2^1246677-1 is not prime. Res64: 1984625DA8E46266 Time : 0.0 sec. user=mdettweiler [2013-06-08 20:53:34] 699*2^1246677-1 is not prime. Res64: CD405C9A29288808 Time : 0.0 sec. user=mdettweiler [2013-06-08 21:11:45] 817*2^1246677-1 is not prime. Res64: 4F522F00BB1E4A4A Time : 0.0 sec. user=mdettweiler [2013-06-08 21:41:03] 603*2^1246678-1 is not prime. Res64: 10C9C8A7A803BBE8 Time : 0.0 sec. user=mdettweiler [2013-06-08 21:50:22] 847*2^1246677-1 is not prime. Res64: BBE627B88E369304 Time : 0.0 sec. user=vaughan [2013-06-08 22:05:27] 647*2^1246678-1 is not prime. Res64: D7B7E6399AB6366A Time : 0.0 sec. user=mdettweiler [2013-06-08 22:07:52] 687*2^1246678-1 is not prime. Res64: 1AFA50BD9E324D9A Time : 0.0 sec. user=mdettweiler [2013-06-08 22:07:53] 723*2^1246678-1 is not prime. Res64: C4C20C8F314D2A2E Time : 0.0 sec. user=mdettweiler [2013-06-08 22:08:17] 621*2^1246678-1 is not prime. Res64: B065D83EF3ACBBEB Time : 0.0 sec. user=mdettweiler [2013-06-08 22:25:54] 747*2^1246678-1 is not prime. Res64: 66375FE98E6A6136 Time : 0.0 sec. user=mdettweiler [2013-06-08 22:26:57] 1001*2^1246678-1 is not prime. Res64: C2CB889F067E86E0 Time : 0.0 sec. user=mdettweiler [2013-06-08 22:26:58] 861*2^1246679-1 is not prime. Res64: 576ADD50859318D3 Time : 0.0 sec. user=vaughan [2013-06-08 22:44:01] 737*2^1246678-1 is not prime. Res64: B15869B1DAA94EF5 Time : 0.0 sec. user=mdettweiler [2013-06-08 22:44:43] 747*2^1246680-1 is not prime. Res64: 9D5A6965692B11F7 Time : 0.0 sec. user=mdettweiler [2013-06-08 22:44:43] 917*2^1246680-1 is not prime. Res64: 7A077DB022BFBE54 Time : 0.0 sec. user=mdettweiler [2013-06-08 22:52:12] 867*2^1246678-1 is not prime. Res64: 65AE103CFD68FBF2 Time : 0.0 sec. user=mdettweiler [2013-06-08 23:02:38] 923*2^1246680-1 is not prime. Res64: CD8EFD23A0E5BA09 Time : 0.0 sec. user=mdettweiler [2013-06-08 23:27:28] 933*2^1246680-1 is not prime. Res64: C91C09C0C20AA4F7 Time : 0.0 sec. user=mdettweiler [2013-06-08 23:45:08] 705*2^1246682-1 is not prime. Res64: 038994485FFE0456 Time : 0.0 sec. user=mdettweiler [2013-06-08 23:47:36] 649*2^1246681-1 is not prime. Res64: 21DB6A0ED3838C94 Time : 0.0 sec. user=vaughan [2013-06-09 00:00:19] 633*2^1246682-1 is not prime. Res64: B39CFCD65E452786 Time : 0.0 sec.