user=mdettweiler [2015-05-05 16:54:50] 861*2^1398494-1 is not prime. Res64: 031DDCBE151B83FE Time : 0.0 sec. user=mdettweiler [2015-05-05 16:54:51] 887*2^1398494-1 is not prime. Res64: 74393B53EB73FBDB Time : 0.0 sec. user=mdettweiler [2015-05-05 17:17:07] 779*2^1398496-1 is not prime. Res64: E96302AB3A64279C Time : 0.0 sec. user=mdettweiler [2015-05-05 17:17:07] 905*2^1398496-1 is not prime. Res64: F6D03CC2A1559A51 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:20:50] 741*2^1398495-1 is not prime. Res64: 22C2C318A48A9C04 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:20:50] 909*2^1398495-1 is not prime. Res64: 078F27193BD651C9 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:35:33] 999*2^1398495-1 is not prime. Res64: B6147579694B09A1 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:35:33] 629*2^1398496-1 is not prime. Res64: B3150D2BC4B14131 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:37:23] 939*2^1398496-1 is not prime. Res64: EC10B014C0BCF57B Time : 0.0 sec. user=mdettweiler [2015-05-05 17:37:24] 989*2^1398496-1 is not prime. Res64: A4F1D34D2AA366DD Time : 0.0 sec. user=mdettweiler [2015-05-05 17:38:11] 639*2^1398496-1 is not prime. Res64: 7B1674C09DB6C689 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:38:11] 735*2^1398496-1 is not prime. Res64: 5C7B0871122886F0 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:40:11] 607*2^1398497-1 is not prime. Res64: 6EE0BC4CD95E1D57 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:40:11] 615*2^1398497-1 is not prime. Res64: 7039F3C74AF90B4F Time : 0.0 sec. user=mdettweiler [2015-05-05 17:53:17] 769*2^1398497-1 is not prime. Res64: 2F3BEFD4E3F4CFD4 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:53:17] 683*2^1398498-1 is not prime. Res64: A6A251117128D038 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:54:58] 755*2^1398498-1 is not prime. Res64: 69C3ABF6DF49E1A5 Time : 0.0 sec. user=mdettweiler [2015-05-05 17:54:58] 815*2^1398498-1 is not prime. Res64: 99FDD5609582C32F Time : 0.0 sec. user=mdettweiler [2015-05-05 17:55:46] 867*2^1398498-1 is not prime. Res64: 7301D8FDF9E35D3B Time : 0.0 sec. user=mdettweiler [2015-05-05 17:55:46] 915*2^1398498-1 is not prime. Res64: 19DC9AC738343C7B Time : 0.0 sec. user=mdettweiler [2015-05-05 17:57:45] 645*2^1398499-1 is not prime. Res64: 0259B4C228547B3E Time : 0.0 sec. user=mdettweiler [2015-05-05 17:57:45] 741*2^1398499-1 is not prime. Res64: 79917816A72382C0 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:11:10] 759*2^1398499-1 is not prime. Res64: BB4E30DD80EDC675 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:11:11] 843*2^1398499-1 is not prime. Res64: B9E1B615AAC50D0E Time : 0.0 sec. user=mdettweiler [2015-05-05 18:12:52] 647*2^1398500-1 is not prime. Res64: 6670E2F125580790 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:12:53] 665*2^1398500-1 is not prime. Res64: AB30B964DA31EB5B Time : 0.0 sec. user=mdettweiler [2015-05-05 18:13:38] 677*2^1398500-1 is not prime. Res64: A4803F16BCCB15EC Time : 0.0 sec. user=mdettweiler [2015-05-05 18:13:38] 819*2^1398500-1 is not prime. Res64: 90846DA308D8A368 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:15:38] 897*2^1398500-1 is not prime. Res64: 03ADFA2D4CE75D8D Time : 0.0 sec. user=mdettweiler [2015-05-05 18:15:39] 899*2^1398500-1 is not prime. Res64: 29800DB3F005A3FA Time : 0.0 sec. user=mdettweiler [2015-05-05 18:29:14] 915*2^1398500-1 is not prime. Res64: 885998D5712B0C7E Time : 0.0 sec. user=mdettweiler [2015-05-05 18:29:15] 957*2^1398500-1 is not prime. Res64: 886CF45890643599 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:30:42] 679*2^1398501-1 is not prime. Res64: 72BD4CBAE6556021 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:30:42] 711*2^1398501-1 is not prime. Res64: 2D565EB65520292B Time : 0.0 sec. user=mdettweiler [2015-05-05 18:31:29] 735*2^1398501-1 is not prime. Res64: 34A1B21681045F6C Time : 0.0 sec. user=mdettweiler [2015-05-05 18:31:29] 747*2^1398501-1 is not prime. Res64: 6514C72A1DC6190C Time : 0.0 sec. user=mdettweiler [2015-05-05 18:33:32] 811*2^1398501-1 is not prime. Res64: ED3D02BA4C55BF92 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:33:32] 847*2^1398501-1 is not prime. Res64: 43B1298BE19C3D5B Time : 0.0 sec. user=mdettweiler [2015-05-05 18:47:07] 895*2^1398501-1 is not prime. Res64: 0155482781ECEE45 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:47:08] 907*2^1398501-1 is not prime. Res64: 6AF66DA522016220 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:48:46] 645*2^1398502-1 is not prime. Res64: B535DAD1E742EB62 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:48:47] 741*2^1398502-1 is not prime. Res64: 62C5063B4F67E2CC Time : 0.0 sec. user=mdettweiler [2015-05-05 18:49:27] 825*2^1398502-1 is not prime. Res64: F48A03EAADCB8DB7 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:49:28] 867*2^1398502-1 is not prime. Res64: B4B0C803741F9688 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:51:53] 873*2^1398502-1 is not prime. Res64: F9DAAEB2C34BD941 Time : 0.0 sec. user=mdettweiler [2015-05-05 18:51:53] 915*2^1398502-1 is not prime. Res64: A5E698AE8E12FFB1 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:05:26] 957*2^1398502-1 is not prime. Res64: 1C9B7E95FA054766 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:05:27] 673*2^1398503-1 is not prime. Res64: 92852D4B754FDB9A Time : 0.0 sec. user=mdettweiler [2015-05-05 19:06:48] 675*2^1398503-1 is not prime. Res64: 1F1341509820B287 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:06:49] 705*2^1398503-1 is not prime. Res64: BA6C377EF572541B Time : 0.0 sec. user=mdettweiler [2015-05-05 19:07:31] 901*2^1398503-1 is not prime. Res64: 13CF5A1DD518ED80 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:07:32] 915*2^1398503-1 is not prime. Res64: 0352FDD9E74CAA52 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:09:42] 955*2^1398503-1 is not prime. Res64: B36BFDAAC039D6BA Time : 0.0 sec. user=mdettweiler [2015-05-05 19:09:43] 705*2^1398504-1 is not prime. Res64: 75D40196319F4F8D Time : 0.0 sec. user=mdettweiler [2015-05-05 19:23:21] 717*2^1398504-1 is not prime. Res64: A264523FC7AC38A1 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:23:22] 815*2^1398504-1 is not prime. Res64: 25C5805910B2042F Time : 0.0 sec. user=mdettweiler [2015-05-05 19:24:34] 857*2^1398504-1 is not prime. Res64: 0A919FD5798237DA Time : 0.0 sec. user=mdettweiler [2015-05-05 19:24:35] 909*2^1398504-1 is not prime. Res64: E25332963E7345F2 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:25:20] 927*2^1398504-1 is not prime. Res64: BF9CD6E3DF304531 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:25:21] 983*2^1398504-1 is not prime. Res64: FC2A103702CF855B Time : 0.0 sec. user=mdettweiler [2015-05-05 19:27:27] 721*2^1398505-1 is not prime. Res64: 62FC8BE0EAC52C3D Time : 0.0 sec. user=mdettweiler [2015-05-05 19:27:27] 765*2^1398505-1 is not prime. Res64: 12547D0634811EB2 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:41:08] 915*2^1398505-1 is not prime. Res64: 743904C41E996F7D Time : 0.0 sec. user=mdettweiler [2015-05-05 19:41:09] 951*2^1398505-1 is not prime. Res64: A7B46DC69761A105 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:42:12] 657*2^1398506-1 is not prime. Res64: 1A761762DB935BC4 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:42:12] 701*2^1398506-1 is not prime. Res64: 064B7C741FF8E8F2 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:42:57] 903*2^1398506-1 is not prime. Res64: 2EB98F8E08450A8A Time : 0.0 sec. user=mdettweiler [2015-05-05 19:42:57] 675*2^1398507-1 is not prime. Res64: 0CC8C9C818FE8A48 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:45:04] 775*2^1398507-1 is not prime. Res64: B0E4A7A18D456722 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:45:04] 781*2^1398507-1 is not prime. Res64: EE4DDB3BEE6D7DAF Time : 0.0 sec. user=mdettweiler [2015-05-05 19:58:54] 895*2^1398507-1 is not prime. Res64: 941EECFC3FDBA091 Time : 0.0 sec. user=mdettweiler [2015-05-05 19:58:54] 955*2^1398507-1 is not prime. Res64: 08DF22E4DB1AB07D Time : 0.0 sec. user=mdettweiler [2015-05-05 19:59:47] 819*2^1398508-1 is not prime. Res64: 16F824EFBE1F3A7B Time : 0.0 sec. user=mdettweiler [2015-05-05 19:59:47] 845*2^1398508-1 is not prime. Res64: BB4915CB006D478A Time : 0.0 sec. user=mdettweiler [2015-05-05 20:00:36] 899*2^1398508-1 is not prime. Res64: DBFF6FC87B72D911 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:00:37] 649*2^1398509-1 is not prime. Res64: F2D8265A6DD0ECFB Time : 0.0 sec. user=mdettweiler [2015-05-05 20:02:44] 697*2^1398509-1 is not prime. Res64: 016741F768005BCF Time : 0.0 sec. user=mdettweiler [2015-05-05 20:02:45] 865*2^1398509-1 is not prime. Res64: F2FE42EFB1231279 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:16:32] 867*2^1398509-1 is not prime. Res64: 146802D5A3228F01 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:16:32] 925*2^1398509-1 is not prime. Res64: F36936DC3391F903 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:17:21] 627*2^1398510-1 is not prime. Res64: 434A341FDBC2721E Time : 0.0 sec. user=mdettweiler [2015-05-05 20:17:22] 707*2^1398510-1 is not prime. Res64: B24580E288CD57D2 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:18:19] 711*2^1398510-1 is not prime. Res64: 55EAC4AC0C8FFCF9 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:18:20] 767*2^1398510-1 is not prime. Res64: A019949ED1FE0E05 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:20:28] 891*2^1398510-1 is not prime. Res64: E7744A5B9862FCF5 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:20:29] 945*2^1398510-1 is not prime. Res64: 86CBDD2CD1EAC20B Time : 0.0 sec. user=mdettweiler [2015-05-05 20:34:11] 619*2^1398511-1 is not prime. Res64: 664A778011541904 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:34:11] 735*2^1398511-1 is not prime. Res64: CF3FDB446AEAECB6 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:34:52] 775*2^1398511-1 is not prime. Res64: 7A8BD24CB4D80313 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:34:52] 859*2^1398511-1 is not prime. Res64: 2F7F141B568527CA Time : 0.0 sec. user=mdettweiler [2015-05-05 20:35:54] 901*2^1398511-1 is not prime. Res64: DCA121CFD38EC8D3 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:35:54] 735*2^1398512-1 is not prime. Res64: 37FB71D7C6AA2130 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:38:06] 797*2^1398512-1 is not prime. Res64: E2E4EBD6391D2679 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:38:07] 819*2^1398512-1 is not prime. Res64: 350CC4088D7362C7 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:51:58] 825*2^1398512-1 is not prime. Res64: 833B5A9ED3FAEEF3 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:51:58] 843*2^1398512-1 is not prime. Res64: CF0693841704E77D Time : 0.0 sec. user=mdettweiler [2015-05-05 20:52:45] 855*2^1398512-1 is not prime. Res64: AFCA2C5AD490665A Time : 0.0 sec. user=mdettweiler [2015-05-05 20:52:46] 945*2^1398512-1 is not prime. Res64: BCD859B6BB8E9199 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:53:41] 959*2^1398512-1 is not prime. Res64: 95D03B9E408B87A3 Time : 0.0 sec. user=mdettweiler [2015-05-05 20:53:41] 963*2^1398512-1 is not prime. Res64: 3AD4AE2A7F426B1D Time : 0.0 sec. user=mdettweiler [2015-05-05 20:55:54] 657*2^1398513-1 is not prime. Res64: 352E6DADED8D576C Time : 0.0 sec. user=mdettweiler [2015-05-05 20:55:54] 679*2^1398513-1 is not prime. Res64: CBBD6ECB49D4118B Time : 0.0 sec. user=mdettweiler [2015-05-05 21:09:53] 681*2^1398513-1 is not prime. Res64: 5175EF58895116D6 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:09:53] 741*2^1398513-1 is not prime. Res64: A7E54D6A94CF9BA5 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:10:45] 877*2^1398513-1 is not prime. Res64: 24C08758E96C5954 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:10:45] 885*2^1398513-1 is not prime. Res64: 8B60556DEF60AC26 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:11:37] 891*2^1398513-1 is not prime. Res64: A232CA808064832D Time : 0.0 sec. user=mdettweiler [2015-05-05 21:11:37] 937*2^1398513-1 is not prime. Res64: BDBBD5D1ED7935A1 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:13:49] 665*2^1398514-1 is not prime. Res64: AC253AA8B699C41C Time : 0.0 sec. user=mdettweiler [2015-05-05 21:13:49] 677*2^1398514-1 is not prime. Res64: 1197F4A5B71DF95E Time : 0.0 sec. user=mdettweiler [2015-05-05 21:28:03] 687*2^1398514-1 is not prime. Res64: CAF7B998569260E4 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:28:04] 705*2^1398514-1 is not prime. Res64: F885AA691D3F6555 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:28:52] 731*2^1398514-1 is not prime. Res64: 948D56CC0FF9E0C7 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:28:52] 755*2^1398514-1 is not prime. Res64: 62601344CC1BB409 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:29:36] 815*2^1398514-1 is not prime. Res64: 40A476122266055E Time : 0.0 sec. user=mdettweiler [2015-05-05 21:29:36] 825*2^1398514-1 is not prime. Res64: 40A1EF4D5D93891B Time : 0.0 sec. user=mdettweiler [2015-05-05 21:31:50] 891*2^1398514-1 is not prime. Res64: A0F84DBB6D6B4C4F Time : 0.0 sec. user=mdettweiler [2015-05-05 21:31:50] 619*2^1398515-1 is not prime. Res64: 81A29D32EB47C14C Time : 0.0 sec. user=mdettweiler [2015-05-05 21:46:16] 861*2^1398515-1 is not prime. Res64: AF95428486EE5B89 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:46:16] 871*2^1398515-1 is not prime. Res64: 67F11397F5F48245 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:47:04] 913*2^1398515-1 is not prime. Res64: A9541501E35AA287 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:47:05] 921*2^1398515-1 is not prime. Res64: 1A1CEA23AB70F493 Time : 0.0 sec. user=mdettweiler [2015-05-05 21:47:48] 939*2^1398515-1 is not prime. Res64: 10DC2C035CBA80AB Time : 0.0 sec. user=mdettweiler [2015-05-05 21:47:49] 723*2^1398516-1 is not prime. Res64: 287C8D5612023A3B Time : 0.0 sec. user=mdettweiler [2015-05-05 21:50:07] 777*2^1398516-1 is not prime. Res64: 6E1CED08E06692DE Time : 0.0 sec. user=mdettweiler [2015-05-05 21:50:07] 789*2^1398516-1 is not prime. Res64: 57067ADC9B44333A Time : 0.0 sec. user=mdettweiler [2015-05-05 22:04:27] 933*2^1398516-1 is not prime. Res64: 5BB0DD2127F1D391 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:04:29] 621*2^1398517-1 is not prime. Res64: 0F0AEBB43597438E Time : 0.0 sec. user=mdettweiler [2015-05-05 22:04:57] 639*2^1398517-1 is not prime. Res64: 5608EB590CA74771 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:04:58] 741*2^1398517-1 is not prime. Res64: 72C88BE5E1415B27 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:05:37] 757*2^1398517-1 is not prime. Res64: F23EC83CFB0A6EB2 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:05:39] 759*2^1398517-1 is not prime. Res64: DA6BC0DC29EE10D1 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:07:58] 919*2^1398517-1 is not prime. Res64: 8B87F09FCA2E65C2 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:07:58] 997*2^1398517-1 is not prime. Res64: DBE74D59D730621C Time : 0.0 sec. user=mdettweiler [2015-05-05 22:22:41] 693*2^1398518-1 is not prime. Res64: 6C151F4E6A6FD4CA Time : 0.0 sec. user=mdettweiler [2015-05-05 22:22:41] 795*2^1398518-1 is not prime. Res64: 6293174A29B0A260 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:22:57] 825*2^1398518-1 is not prime. Res64: 0D772B7D8E9B1E53 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:22:57] 843*2^1398518-1 is not prime. Res64: F91B7C295C9935B1 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:23:32] 867*2^1398518-1 is not prime. Res64: 7A21256134B8EF16 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:23:32] 887*2^1398518-1 is not prime. Res64: 10A719EE0091DBB8 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:25:48] 893*2^1398518-1 is not prime. Res64: 9F0FEF90A0AB28A4 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:25:48] 923*2^1398518-1 is not prime. Res64: 8B2A0CF9042DD17B Time : 0.0 sec. user=mdettweiler [2015-05-05 22:41:08] 935*2^1398518-1 is not prime. Res64: FA7719DCBC4C0C82 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:41:09] 971*2^1398518-1 is not prime. Res64: 14290D36F5776447 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:41:28] 995*2^1398518-1 is not prime. Res64: 72B65996B21C1988 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:41:28] 1001*2^1398518-1 is not prime. Res64: FC43FC153ACBC72F Time : 0.0 sec. user=mdettweiler [2015-05-05 22:41:59] 691*2^1398519-1 is not prime. Res64: DD909734B3FC7C23 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:41:59] 775*2^1398519-1 is not prime. Res64: 7FD63C8312EC7FE1 Time : 0.0 sec. user=mdettweiler [2015-05-05 22:44:28] 853*2^1398519-1 is not prime. Res64: 2136545967EBDEEF Time : 0.0 sec. user=mdettweiler [2015-05-05 22:44:28] 861*2^1398519-1 is not prime. Res64: 55E456814968ED26 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:02:03] 933*2^1398519-1 is not prime. Res64: EF71708A2889B7A4 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:02:04] 999*2^1398519-1 is not prime. Res64: C29BEBD131A1813A Time : 0.0 sec. user=mdettweiler [2015-05-05 23:02:31] 645*2^1398520-1 is not prime. Res64: B8291A29D6812A99 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:02:32] 843*2^1398520-1 is not prime. Res64: 34B60C6897A9635D Time : 0.0 sec. user=mdettweiler [2015-05-05 23:03:08] 927*2^1398520-1 is not prime. Res64: C2DB158DDAEA66E5 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:03:10] 989*2^1398520-1 is not prime. Res64: C576B1409CB4AA8E Time : 0.0 sec. user=mdettweiler [2015-05-05 23:05:38] 607*2^1398521-1 is not prime. Res64: 4FF3CFECA37E0167 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:05:39] 795*2^1398521-1 is not prime. Res64: B9011CDFABFDB7D1 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:22:13] 811*2^1398521-1 is not prime. Res64: C563720F3CF73F10 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:22:13] 819*2^1398521-1 is not prime. Res64: FBCDD551897FC159 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:22:22] 829*2^1398521-1 is not prime. Res64: 7198BE87FF65FBB1 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:22:23] 865*2^1398521-1 is not prime. Res64: 057F7E2594FA0E6A Time : 0.0 sec. user=mdettweiler [2015-05-05 23:23:05] 937*2^1398521-1 is not prime. Res64: D078EAFD866751FC Time : 0.0 sec. user=mdettweiler [2015-05-05 23:23:05] 955*2^1398521-1 is not prime. Res64: 4999E493993DA17D Time : 0.0 sec. user=mdettweiler [2015-05-05 23:25:09] 991*2^1398521-1 is not prime. Res64: AFB0A348FFF0B03D Time : 0.0 sec. user=mdettweiler [2015-05-05 23:25:09] 997*2^1398521-1 is not prime. Res64: 4335622E11208501 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:40:51] 651*2^1398522-1 is not prime. Res64: 124E148C1EED3BC1 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:40:51] 765*2^1398522-1 is not prime. Res64: 193B8E583CA3F0E6 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:40:55] 797*2^1398522-1 is not prime. Res64: 8F27C83E6318F548 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:40:55] 807*2^1398522-1 is not prime. Res64: C4E21EF1BB041871 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:41:40] 837*2^1398522-1 is not prime. Res64: E6E71F945289A4DA Time : 0.0 sec. user=mdettweiler [2015-05-05 23:41:41] 923*2^1398522-1 is not prime. Res64: A7729B8C0DD82471 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:43:38] 603*2^1398523-1 is not prime. Res64: CB3106FE3073ED69 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:43:38] 631*2^1398523-1 is not prime. Res64: E08877A58573D6AB Time : 0.0 sec. user=mdettweiler [2015-05-05 23:59:08] 783*2^1398523-1 is not prime. Res64: C08B5DDA8AB74FFA Time : 0.0 sec. user=mdettweiler [2015-05-05 23:59:08] 895*2^1398523-1 is not prime. Res64: 7D95DBCC8910A3CB Time : 0.0 sec. user=mdettweiler [2015-05-05 23:59:08] 633*2^1398523-1 is not prime. Res64: E8BF2BF50433EBE1 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:59:09] 681*2^1398523-1 is not prime. Res64: 2F25C0C5113E9E47 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:59:55] 973*2^1398523-1 is not prime. Res64: 728B2F37003DF647 Time : 0.0 sec. user=mdettweiler [2015-05-05 23:59:56] 617*2^1398524-1 is not prime. Res64: 64E58A4802CCFA5E Time : 0.0 sec.