user=mdettweiler [2013-09-10 00:02:08] 995*2^1252804-1 is not prime. Res64: 29B79F38DE550C1A Time : 0.0 sec. user=mdettweiler [2013-09-10 00:02:09] 697*2^1252805-1 is not prime. Res64: D7999C763C68B37E Time : 0.0 sec. user=mdettweiler [2013-09-10 00:03:55] 729*2^1252805-1 is not prime. Res64: 5A9B1083EB496383 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:03:59] 775*2^1252805-1 is not prime. Res64: 25A8A738968C5ECB Time : 0.0 sec. user=mdettweiler [2013-09-10 00:05:00] 781*2^1252805-1 is not prime. Res64: 2C39FF59C8AEA2F4 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:05:05] 937*2^1252805-1 is not prime. Res64: 63D622126173B8D4 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:16:09] 611*2^1252806-1 is not prime. Res64: 0862654DAE3BCB5B Time : 0.0 sec. user=mdettweiler [2013-09-10 00:16:10] 635*2^1252806-1 is not prime. Res64: 4153EE0A74BDE0B1 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:22:11] 711*2^1252806-1 is not prime. Res64: 2894D69B562D00F2 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:22:12] 717*2^1252806-1 is not prime. Res64: 20BBCA34E882ECAC Time : 0.0 sec. user=mdettweiler [2013-09-10 00:23:51] 725*2^1252806-1 is not prime. Res64: FD520DC9B60BD5A0 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:23:53] 783*2^1252806-1 is not prime. Res64: 111844878656234A Time : 0.0 sec. user=mdettweiler [2013-09-10 00:24:56] 601*2^1252807-1 is not prime. Res64: E82FB4928BDB6044 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:24:58] 609*2^1252807-1 is not prime. Res64: FC5D64A29E10DD17 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:36:20] 705*2^1252807-1 is not prime. Res64: 86431D8FA8CF329E Time : 0.0 sec. user=mdettweiler [2013-09-10 00:36:21] 741*2^1252807-1 is not prime. Res64: 8FDF00F58B0C243C Time : 0.0 sec. user=mdettweiler [2013-09-10 00:43:46] 665*2^1252808-1 is not prime. Res64: E954811420759206 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:43:47] 759*2^1252808-1 is not prime. Res64: 5F785A0CFA42DB31 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:44:07] 909*2^1252807-1 is not prime. Res64: AF2F1224B771B820 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:44:08] 979*2^1252807-1 is not prime. Res64: 704280B9678D7289 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:44:54] 773*2^1252808-1 is not prime. Res64: 38C5D49A16352A06 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:44:56] 825*2^1252808-1 is not prime. Res64: 543DA85C720512EC Time : 0.0 sec. user=mdettweiler [2013-09-10 00:56:27] 833*2^1252808-1 is not prime. Res64: D44016628BF64DF1 Time : 0.0 sec. user=mdettweiler [2013-09-10 00:56:28] 855*2^1252808-1 is not prime. Res64: 4246639AD98F16F7 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:04:38] 869*2^1252808-1 is not prime. Res64: F8A180EEB9CD16C1 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:04:39] 969*2^1252808-1 is not prime. Res64: 9199A60B5CEDF912 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:04:53] 681*2^1252809-1 is not prime. Res64: 8AB804BEA04E6948 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:04:54] 741*2^1252809-1 is not prime. Res64: 8D0AF195F9CD86F1 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:05:02] 999*2^1252808-1 is not prime. Res64: 75B3C446C9996652 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:05:04] 615*2^1252809-1 is not prime. Res64: A14BA8B649FA802C Time : 0.0 sec. user=mdettweiler [2013-09-10 01:16:24] 795*2^1252809-1 is not prime. Res64: 1DB402D630B134F8 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:16:25] 831*2^1252809-1 is not prime. Res64: E0A6EAF2B939961C Time : 0.0 sec. user=mdettweiler [2013-09-10 01:24:56] 821*2^1252810-1 is not prime. Res64: 80DA08F07E477EEA Time : 0.0 sec. user=mdettweiler [2013-09-10 01:24:56] 843*2^1252810-1 is not prime. Res64: A9D03EFEC734FA71 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:25:36] 969*2^1252809-1 is not prime. Res64: 34FA1736F41122CF Time : 0.0 sec. user=mdettweiler [2013-09-10 01:25:37] 783*2^1252810-1 is not prime. Res64: AD5BBDF149115A33 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:26:53] 911*2^1252810-1 is not prime. Res64: ADD0C4D0AC5EDB76 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:26:54] 945*2^1252810-1 is not prime. Res64: BFA93E853EC428BC Time : 0.0 sec. user=mdettweiler [2013-09-10 01:37:09] 981*2^1252810-1 is not prime. Res64: 116030C47CAC0A2E Time : 0.0 sec. user=mdettweiler [2013-09-10 01:37:10] 675*2^1252811-1 is not prime. Res64: 5A7B59EF8747A3BE Time : 0.0 sec. user=mdettweiler [2013-09-10 01:44:48] 705*2^1252811-1 is not prime. Res64: 35EEC0CD374643E6 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:44:49] 811*2^1252811-1 is not prime. Res64: 99BC49D0E1B57642 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:45:28] 693*2^1252812-1 is not prime. Res64: 94D3A97DADDA53EE Time : 0.0 sec. user=mdettweiler [2013-09-10 01:45:29] 779*2^1252812-1 is not prime. Res64: D68A6F370FA6C8DC Time : 0.0 sec. user=mdettweiler [2013-09-10 01:47:43] 809*2^1252812-1 is not prime. Res64: 18C5D8A9262F4629 Time : 0.0 sec. user=mdettweiler [2013-09-10 01:47:44] 945*2^1252812-1 is not prime. Res64: 20C4135D6C907DCF Time : 0.0 sec. user=mdettweiler [2013-09-10 01:57:01] 649*2^1252813-1 is not prime. Res64: C1A682B132573C4F Time : 0.0 sec. user=mdettweiler [2013-09-10 01:57:01] 699*2^1252813-1 is not prime. Res64: 8AFB4D651861C6C3 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:05:29] 671*2^1252814-1 is not prime. Res64: 3E4FA706DC9F799F Time : 0.0 sec. user=mdettweiler [2013-09-10 02:05:30] 705*2^1252814-1 is not prime. Res64: 66CFC4C059BCDA16 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:05:40] 747*2^1252813-1 is not prime. Res64: B2936F2A3F0F4D0D Time : 0.0 sec. user=mdettweiler [2013-09-10 02:05:41] 877*2^1252813-1 is not prime. Res64: 66BE4FC18586EC69 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:07:40] 711*2^1252814-1 is not prime. Res64: 4E6EF53D0D28D623 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:07:41] 741*2^1252814-1 is not prime. Res64: 24325B34115364D8 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:17:56] 873*2^1252814-1 is not prime. Res64: F7142AC05E8D09C2 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:17:57] 951*2^1252814-1 is not prime. Res64: BBA6D84FE402F6A9 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:25:31] 781*2^1252815-1 is not prime. Res64: D57D90F52F3485E1 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:25:31] 849*2^1252815-1 is not prime. Res64: 52D768A2EF0D0BBA Time : 0.0 sec. user=mdettweiler [2013-09-10 02:27:31] 895*2^1252815-1 is not prime. Res64: ADF4FD765A9E9304 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:27:31] 985*2^1252815-1 is not prime. Res64: 6F5F220BA575FE76 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:28:30] 677*2^1252816-1 is not prime. Res64: 01B8827E5602F419 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:28:30] 905*2^1252816-1 is not prime. Res64: E9E2F42A93981503 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:39:53] 927*2^1252816-1 is not prime. Res64: E47286057E3EDEA7 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:39:55] 983*2^1252816-1 is not prime. Res64: BB1F668C9E6E9D91 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:45:21] 675*2^1252817-1 is not prime. Res64: 52B631B6D0CC314C Time : 0.0 sec. user=mdettweiler [2013-09-10 02:45:22] 691*2^1252817-1 is not prime. Res64: FBA6041AFF0B7E94 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:47:18] 727*2^1252817-1 is not prime. Res64: A32E6C66515A1765 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:47:19] 759*2^1252817-1 is not prime. Res64: BB1BAC217237DD18 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:48:15] 861*2^1252817-1 is not prime. Res64: 020A48399C4E0569 Time : 0.0 sec. user=mdettweiler [2013-09-10 02:48:16] 621*2^1252818-1 is not prime. Res64: 1C30BEE0C16A20A4 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:01:19] 747*2^1252818-1 is not prime. Res64: 205F9F184E67454A Time : 0.0 sec. user=mdettweiler [2013-09-10 03:01:20] 921*2^1252818-1 is not prime. Res64: EA1E42E0D3149835 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:05:32] 603*2^1252819-1 is not prime. Res64: 851CCEA02D59E6B6 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:05:33] 615*2^1252819-1 is not prime. Res64: 54A8FB645CABCE60 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:07:34] 619*2^1252819-1 is not prime. Res64: F3B7CF841DF5FB3B Time : 0.0 sec. user=mdettweiler [2013-09-10 03:07:35] 835*2^1252819-1 is not prime. Res64: BC7391E2F889A3F2 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:10:28] 889*2^1252819-1 is not prime. Res64: 2DB6FE4404C591DD Time : 0.0 sec. user=mdettweiler [2013-09-10 03:10:29] 999*2^1252819-1 is not prime. Res64: 0FDC15369BAA0D92 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:21:37] 777*2^1252820-1 is not prime. Res64: 5282E4020C11D646 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:21:38] 833*2^1252820-1 is not prime. Res64: B079D699E4FC8202 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:25:56] 657*2^1252821-1 is not prime. Res64: 3228AA9DBBBC6929 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:25:57] 745*2^1252821-1 is not prime. Res64: DA724D727093E5CB Time : 0.0 sec. user=mdettweiler [2013-09-10 03:28:54] 835*2^1252821-1 is not prime. Res64: 902B9F1CD54899E6 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:28:55] 877*2^1252821-1 is not prime. Res64: B623D7A7173EFB81 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:32:52] 895*2^1252821-1 is not prime. Res64: 5AAE7480A4BC8B92 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:32:54] 937*2^1252821-1 is not prime. Res64: CC33EF0F2181B2DB Time : 0.0 sec. user=juhehe [2013-09-10 03:34:15] 1001*2^1252818-1 is not prime. Res64: 3DDD7849AF5FDD9E Time : 0.0 sec. user=mdettweiler [2013-09-10 03:42:53] 949*2^1252821-1 is not prime. Res64: B914D598637505B7 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:42:54] 621*2^1252822-1 is not prime. Res64: A607A6AF433240D2 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:46:46] 867*2^1252822-1 is not prime. Res64: 9F54C5FDF67F4767 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:46:46] 615*2^1252823-1 is not prime. Res64: 8C25595ABE6514DA Time : 0.0 sec. user=mdettweiler [2013-09-10 03:49:16] 705*2^1252823-1 is not prime. Res64: D7B62A2AF63A071B Time : 0.0 sec. user=mdettweiler [2013-09-10 03:49:17] 771*2^1252823-1 is not prime. Res64: FCB0CD006C56E3A5 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:54:24] 913*2^1252823-1 is not prime. Res64: 631980F454BE3A62 Time : 0.0 sec. user=mdettweiler [2013-09-10 03:54:25] 615*2^1252824-1 is not prime. Res64: 7CA4981263BE5280 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:03:24] 675*2^1252824-1 is not prime. Res64: 9F360D313AA10929 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:03:25] 707*2^1252824-1 is not prime. Res64: B4E6C5DAF01816E8 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:07:19] 649*2^1252825-1 is not prime. Res64: 8B802D56D9CACBF7 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:07:20] 667*2^1252825-1 is not prime. Res64: E61E0FA13B1F39BB Time : 0.0 sec. user=mdettweiler [2013-09-10 04:10:16] 675*2^1252825-1 is not prime. Res64: A0410DE975190B4D Time : 0.0 sec. user=mdettweiler [2013-09-10 04:10:17] 721*2^1252825-1 is not prime. Res64: DF2955369D909A6E Time : 0.0 sec. user=mdettweiler [2013-09-10 04:15:51] 741*2^1252825-1 is not prime. Res64: 32809402389D4236 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:15:52] 771*2^1252825-1 is not prime. Res64: 5F877D95999DA1F7 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:25:44] 831*2^1252825-1 is not prime. Res64: B68BD7CC86A98A0E Time : 0.0 sec. user=mdettweiler [2013-09-10 04:25:44] 885*2^1252825-1 is not prime. Res64: 87AE76B0754127BA Time : 0.0 sec. user=mdettweiler [2013-09-10 04:30:00] 997*2^1252825-1 is not prime. Res64: B5420A1B7369A25F Time : 0.0 sec. user=mdettweiler [2013-09-10 04:30:01] 713*2^1252826-1 is not prime. Res64: E0EE4169ED9E1885 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:31:34] 639*2^1252827-1 is not prime. Res64: F88C199E22196E72 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:31:37] 685*2^1252827-1 is not prime. Res64: 40148AC351EB62BE Time : 0.0 sec. user=mdettweiler [2013-09-10 04:36:48] 709*2^1252827-1 is not prime. Res64: F989F219A41B94C0 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:36:49] 793*2^1252827-1 is not prime. Res64: 7337D8FDF1ECD556 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:46:47] 843*2^1252827-1 is not prime. Res64: 441E65D4604C5D52 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:46:48] 859*2^1252827-1 is not prime. Res64: 218C5826F77C7BD5 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:52:28] 871*2^1252827-1 is not prime. Res64: 6EA231AC43E3CD42 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:52:29] 879*2^1252827-1 is not prime. Res64: B5F336A4C6801C4D Time : 0.0 sec. user=mdettweiler [2013-09-10 04:53:13] 657*2^1252828-1 is not prime. Res64: A2639F6411EB6601 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:53:14] 705*2^1252828-1 is not prime. Res64: F21C0B08A1E999CC Time : 0.0 sec. user=mdettweiler [2013-09-10 04:58:33] 707*2^1252828-1 is not prime. Res64: 79BCC55C8C780948 Time : 0.0 sec. user=mdettweiler [2013-09-10 04:58:34] 783*2^1252828-1 is not prime. Res64: E2EBC1E3666988DC Time : 0.0 sec. user=mdettweiler [2013-09-10 05:08:28] 819*2^1252828-1 is not prime. Res64: FAECA905D7EEF2A1 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:08:29] 843*2^1252828-1 is not prime. Res64: CB5FD3EA72AC9447 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:14:27] 927*2^1252828-1 is not prime. Res64: C592F2D30502CF68 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:14:28] 619*2^1252829-1 is not prime. Res64: DE9710785B559895 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:15:24] 811*2^1252829-1 is not prime. Res64: 63F99EDA9220B208 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:15:25] 879*2^1252829-1 is not prime. Res64: 99370C64B5396024 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:21:30] 885*2^1252829-1 is not prime. Res64: 9F6512911C082BDA Time : 0.0 sec. user=mdettweiler [2013-09-10 05:21:30] 927*2^1252829-1 is not prime. Res64: 8C5635FC32D9D17D Time : 0.0 sec. user=mdettweiler [2013-09-10 05:30:05] 951*2^1252829-1 is not prime. Res64: D62585A90C3D28EC Time : 0.0 sec. user=mdettweiler [2013-09-10 05:30:07] 711*2^1252830-1 is not prime. Res64: 2BC7F96818C8D4CF Time : 0.0 sec. user=mdettweiler [2013-09-10 05:35:15] 723*2^1252830-1 is not prime. Res64: 52B0D40A8BDAD1B5 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:35:16] 777*2^1252830-1 is not prime. Res64: ECC3DF766A068D69 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:37:11] 851*2^1252830-1 is not prime. Res64: DC920F92CBBFFA2A Time : 0.0 sec. user=mdettweiler [2013-09-10 05:37:12] 917*2^1252830-1 is not prime. Res64: 7E7993A8135BFAC8 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:44:09] 921*2^1252830-1 is not prime. Res64: 3CB958B605E77703 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:44:10] 971*2^1252830-1 is not prime. Res64: 716641619FBECEF9 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:52:06] 977*2^1252830-1 is not prime. Res64: CBFE4B2DC927301E Time : 0.0 sec. user=mdettweiler [2013-09-10 05:52:09] 673*2^1252831-1 is not prime. Res64: EB9BE78AA7E0B609 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:56:20] 745*2^1252831-1 is not prime. Res64: 3C68EBBDCA6274F0 Time : 0.0 sec. user=mdettweiler [2013-09-10 05:56:21] 771*2^1252831-1 is not prime. Res64: 121A72CB1B275D29 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:00:10] 873*2^1252831-1 is not prime. Res64: E4A578945AEECB7E Time : 0.0 sec. user=mdettweiler [2013-09-10 06:00:11] 895*2^1252831-1 is not prime. Res64: 15740F2CCB9D000A Time : 0.0 sec. user=mdettweiler [2013-09-10 06:06:48] 939*2^1252831-1 is not prime. Res64: 21C6FB52674FD3D9 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:06:49] 943*2^1252831-1 is not prime. Res64: B7796B4C44778AEB Time : 0.0 sec. user=mdettweiler [2013-09-10 06:14:40] 973*2^1252831-1 is not prime. Res64: 54E8D59829F8D3B2 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:14:42] 999*2^1252831-1 is not prime. Res64: D072B35AA9BCA60C Time : 0.0 sec. user=mdettweiler [2013-09-10 06:16:45] 629*2^1252832-1 is not prime. Res64: 29B9323F0DCA3E14 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:16:46] 657*2^1252832-1 is not prime. Res64: 0C6669D68AEF88B5 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:20:37] 683*2^1252832-1 is not prime. Res64: 40320044B50A1044 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:20:37] 825*2^1252832-1 is not prime. Res64: 5DB5624CC91A799F Time : 0.0 sec. user=mdettweiler [2013-09-10 06:28:21] 915*2^1252832-1 is not prime. Res64: CC82E33252EA7E04 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:28:22] 615*2^1252833-1 is not prime. Res64: BBA744CBDEB5D852 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:34:56] 627*2^1252833-1 is not prime. Res64: 2C8E54B84979BE35 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:34:58] 739*2^1252833-1 is not prime. Res64: E3AB0827C23A416B Time : 0.0 sec. user=mdettweiler [2013-09-10 06:36:49] 781*2^1252833-1 is not prime. Res64: 2B039A6757B55135 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:36:50] 663*2^1252834-1 is not prime. Res64: 3640AA80CAC08856 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:40:43] 695*2^1252834-1 is not prime. Res64: 4540674264E352ED Time : 0.0 sec. user=mdettweiler [2013-09-10 06:40:44] 741*2^1252834-1 is not prime. Res64: D59A512F9E10BB9E Time : 0.0 sec. user=mdettweiler [2013-09-10 06:49:17] 1001*2^1252834-1 is not prime. Res64: 403898D0A4104F8D Time : 0.0 sec. user=mdettweiler [2013-09-10 06:49:19] 655*2^1252835-1 is not prime. Res64: 4F05426713219DC9 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:55:00] 733*2^1252835-1 is not prime. Res64: 9CED86788CE410E3 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:55:01] 829*2^1252835-1 is not prime. Res64: 9C7C77060792C554 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:56:52] 861*2^1252835-1 is not prime. Res64: 8B2A7696269CDC85 Time : 0.0 sec. user=mdettweiler [2013-09-10 06:56:53] 635*2^1252836-1 is not prime. Res64: 56D13C64C075FE8B Time : 0.0 sec. user=mdettweiler [2013-09-10 07:00:51] 669*2^1252836-1 is not prime. Res64: 476C4E14F623D001 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:00:52] 767*2^1252836-1 is not prime. Res64: F807EF137A6BCA2F Time : 0.0 sec. user=mdettweiler [2013-09-10 07:10:20] 843*2^1252836-1 is not prime. Res64: FB6B6C508B328871 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:10:22] 923*2^1252836-1 is not prime. Res64: 962744FDBA389F64 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:16:04] 987*2^1252836-1 is not prime. Res64: 60108E2A7B7BAFC6 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:16:05] 729*2^1252837-1 is not prime. Res64: 14380BF47C6E642A Time : 0.0 sec. user=mdettweiler [2013-09-10 07:16:56] 757*2^1252837-1 is not prime. Res64: 6F7CDE051F7CC7CF Time : 0.0 sec. user=mdettweiler [2013-09-10 07:16:58] 771*2^1252837-1 is not prime. Res64: E71396340FE2E7A2 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:21:53] 931*2^1252837-1 is not prime. Res64: D36F6E2E46A01273 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:21:55] 605*2^1252838-1 is not prime. Res64: 2E8728EE3FD0ACA7 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:30:22] 747*2^1252838-1 is not prime. Res64: 28D32135E3604162 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:30:23] 843*2^1252838-1 is not prime. Res64: 28E4C70963D7E289 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:37:03] 745*2^1252839-1 is not prime. Res64: 8FE39E6E7DBEA695 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:37:05] 795*2^1252839-1 is not prime. Res64: BEA58AE09C061B72 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:38:06] 921*2^1252838-1 is not prime. Res64: C0AAA7ACB282FDF9 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:38:07] 1001*2^1252838-1 is not prime. Res64: 031642CC7313DD80 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:42:51] 825*2^1252839-1 is not prime. Res64: 1ABB5E2FE02320F3 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:42:52] 909*2^1252839-1 is not prime. Res64: 0D45A736E3CD38B1 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:52:21] 919*2^1252839-1 is not prime. Res64: 34AA49502F52E24F Time : 0.0 sec. user=mdettweiler [2013-09-10 07:52:22] 931*2^1252839-1 is not prime. Res64: 38ECA14A64C968C2 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:58:09] 855*2^1252840-1 is not prime. Res64: 1350E1629C177D24 Time : 0.0 sec. user=mdettweiler [2013-09-10 07:58:10] 873*2^1252840-1 is not prime. Res64: A4E4FF1B1A2294BB Time : 0.0 sec. user=mdettweiler [2013-09-10 08:00:13] 905*2^1252840-1 is not prime. Res64: 35E159CED3539BBA Time : 0.0 sec. user=mdettweiler [2013-09-10 08:00:14] 927*2^1252840-1 is not prime. Res64: 890904670CEDCFC2 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:03:00] 601*2^1252841-1 is not prime. Res64: 7392F10EDB3C2840 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:03:02] 607*2^1252841-1 is not prime. Res64: 11C27E8677918A46 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:12:21] 627*2^1252841-1 is not prime. Res64: AB6BFAB1546CCA6C Time : 0.0 sec. user=mdettweiler [2013-09-10 08:12:23] 675*2^1252841-1 is not prime. Res64: CF359652E7AD7522 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:18:14] 735*2^1252841-1 is not prime. Res64: F0A89EAC2EF104FC Time : 0.0 sec. user=mdettweiler [2013-09-10 08:18:15] 745*2^1252841-1 is not prime. Res64: B16F0E4E4AD5D2A1 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:22:09] 879*2^1252841-1 is not prime. Res64: A71EC171D54DFCB9 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:22:09] 931*2^1252841-1 is not prime. Res64: 78CED83625CEF599 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:24:58] 937*2^1252841-1 is not prime. Res64: 5142108809690BE7 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:25:00] 939*2^1252841-1 is not prime. Res64: 4AC8FECFDCEC867F Time : 0.0 sec. user=mdettweiler [2013-09-10 08:33:27] 951*2^1252841-1 is not prime. Res64: 2B439DE484334614 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:33:27] 615*2^1252842-1 is not prime. Res64: 026F46F8D1C21B11 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:38:21] 633*2^1252842-1 is not prime. Res64: ED356E74D3420E26 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:38:22] 705*2^1252842-1 is not prime. Res64: F107E2B2AB420809 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:42:11] 803*2^1252842-1 is not prime. Res64: 6253E7232667520A Time : 0.0 sec. user=mdettweiler [2013-09-10 08:42:12] 843*2^1252842-1 is not prime. Res64: 53B320E026E3B45B Time : 0.0 sec. user=mdettweiler [2013-09-10 08:46:57] 891*2^1252842-1 is not prime. Res64: A35E361558B3915B Time : 0.0 sec. user=mdettweiler [2013-09-10 08:46:57] 947*2^1252842-1 is not prime. Res64: FF6A97E19D55B2D6 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:53:24] 621*2^1252843-1 is not prime. Res64: E06E22E44E7705A1 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:53:25] 703*2^1252843-1 is not prime. Res64: 82918B13DA6297FF Time : 0.0 sec. user=mdettweiler [2013-09-10 08:58:32] 741*2^1252843-1 is not prime. Res64: 911324A5E307C484 Time : 0.0 sec. user=mdettweiler [2013-09-10 08:58:32] 835*2^1252843-1 is not prime. Res64: 94F4010CAC8FB43D Time : 0.0 sec. user=mdettweiler [2013-09-10 09:02:17] 853*2^1252843-1 is not prime. Res64: 4F114F4C4FF2528B Time : 0.0 sec. user=mdettweiler [2013-09-10 09:02:19] 859*2^1252843-1 is not prime. Res64: 9744F0D9830215EF Time : 0.0 sec. user=mdettweiler [2013-09-10 09:08:55] 951*2^1252843-1 is not prime. Res64: 6E899F95A879D33C Time : 0.0 sec. user=mdettweiler [2013-09-10 09:08:56] 985*2^1252843-1 is not prime. Res64: 152F0602E5457664 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:13:25] 617*2^1252844-1 is not prime. Res64: AD703D2399D50E5B Time : 0.0 sec. user=mdettweiler [2013-09-10 09:13:26] 699*2^1252844-1 is not prime. Res64: 185ADE9F3B867CA0 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:19:36] 767*2^1252844-1 is not prime. Res64: 498217912B15ECCA Time : 0.0 sec. user=mdettweiler [2013-09-10 09:19:36] 927*2^1252844-1 is not prime. Res64: 98E2FB021520E56C Time : 0.0 sec. user=mdettweiler [2013-09-10 09:23:28] 935*2^1252844-1 is not prime. Res64: A620CBED1F6A59ED Time : 0.0 sec. user=mdettweiler [2013-09-10 09:23:29] 627*2^1252845-1 is not prime. Res64: 2F3C0A02C30BFCC4 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:29:56] 861*2^1252845-1 is not prime. Res64: 9F76125E370FBB04 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:29:56] 885*2^1252845-1 is not prime. Res64: 2B036887F2F2E71B Time : 0.0 sec. user=mdettweiler [2013-09-10 09:35:26] 915*2^1252845-1 is not prime. Res64: 89E01CEBC702F004 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:35:27] 927*2^1252845-1 is not prime. Res64: 0DBEDB1309ED9995 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:39:40] 635*2^1252846-1 is not prime. Res64: E196F983F17BD0CA Time : 0.0 sec. user=mdettweiler [2013-09-10 09:39:41] 651*2^1252846-1 is not prime. Res64: 31C0A8C73FE69228 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:43:43] 657*2^1252846-1 is not prime. Res64: 84520E4DCC9BC2BD Time : 0.0 sec. user=mdettweiler [2013-09-10 09:43:43] 723*2^1252846-1 is not prime. Res64: 461F522EB0836DEA Time : 0.0 sec. user=mdettweiler [2013-09-10 09:50:18] 761*2^1252846-1 is not prime. Res64: 424DBB4E19CBDDF2 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:50:18] 815*2^1252846-1 is not prime. Res64: 0462F1DC908CB344 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:57:32] 881*2^1252846-1 is not prime. Res64: 18BB0EA3C3CA63D6 Time : 0.0 sec. user=mdettweiler [2013-09-10 09:57:33] 917*2^1252846-1 is not prime. Res64: D5F5601C98DD79AC Time : 0.0 sec. user=mdettweiler [2013-09-10 09:59:54] 651*2^1252847-1 is not prime. Res64: 721E54B2AAF4AC1B Time : 0.0 sec. user=mdettweiler [2013-09-10 09:59:55] 669*2^1252847-1 is not prime. Res64: C060975C65AED2BD Time : 0.0 sec. user=mdettweiler [2013-09-10 10:03:59] 703*2^1252847-1 is not prime. Res64: 1915A1ADA4561AB9 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:04:00] 763*2^1252847-1 is not prime. Res64: E3AFDDF9435CCF14 Time : 0.0 sec. user=juhehe [2013-09-10 10:06:30] 961*2^1252845-1 is not prime. Res64: 71AFB0B5BEFD8BD5 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:11:27] 813*2^1252847-1 is not prime. Res64: 7C9AE3AE31893AC8 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:11:28] 885*2^1252847-1 is not prime. Res64: EDA575E41A54A12C Time : 0.0 sec. user=mdettweiler [2013-09-10 10:19:44] 889*2^1252847-1 is not prime. Res64: 69E2A83C82EF3BC9 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:19:45] 979*2^1252847-1 is not prime. Res64: 65E2D79C78ADBE1E Time : 0.0 sec. user=mdettweiler [2013-09-10 10:22:03] 985*2^1252847-1 is not prime. Res64: F9DE60ACDCF1200F Time : 0.0 sec. user=mdettweiler [2013-09-10 10:22:03] 991*2^1252847-1 is not prime. Res64: 21B7AB92D75CD27A Time : 0.0 sec. user=mdettweiler [2013-09-10 10:24:21] 737*2^1252848-1 is not prime. Res64: 7F1366FF827DDC53 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:24:21] 765*2^1252848-1 is not prime. Res64: 69781E3F09D8927D Time : 0.0 sec. user=mdettweiler [2013-09-10 10:31:52] 797*2^1252848-1 is not prime. Res64: E6C6FD993925EF7A Time : 0.0 sec. user=mdettweiler [2013-09-10 10:31:53] 803*2^1252848-1 is not prime. Res64: 28271A311E24E0FA Time : 0.0 sec. user=mdettweiler [2013-09-10 10:40:55] 839*2^1252848-1 is not prime. Res64: 000AA38E1B9504C5 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:40:56] 893*2^1252848-1 is not prime. Res64: ECB9463124DC5D13 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:43:10] 959*2^1252848-1 is not prime. Res64: D5F8575B368CB401 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:43:11] 747*2^1252849-1 is not prime. Res64: E37AD6E57118B5F2 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:45:25] 775*2^1252849-1 is not prime. Res64: 601D98D8B0A30DC5 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:45:25] 897*2^1252849-1 is not prime. Res64: 4D7407A0DBF79887 Time : 0.0 sec. user=mdettweiler [2013-09-10 10:53:55] 919*2^1252849-1 is not prime. Res64: 91DD3397F155058E Time : 0.0 sec. user=mdettweiler [2013-09-10 10:53:56] 931*2^1252849-1 is not prime. Res64: F24B68B5E7B485D5 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:03:02] 945*2^1252849-1 is not prime. Res64: 5ED7815936A0C04D Time : 0.0 sec. user=mdettweiler [2013-09-10 11:03:05] 951*2^1252849-1 is not prime. Res64: 5C5E5817C957EAB7 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:04:20] 997*2^1252849-1 is not prime. Res64: 162F97079A5C302D Time : 0.0 sec. user=mdettweiler [2013-09-10 11:04:22] 641*2^1252850-1 is not prime. Res64: 0D6404A824CB3A81 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:05:34] 671*2^1252850-1 is not prime. Res64: E5137EE92FCB98F0 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:05:36] 767*2^1252850-1 is not prime. Res64: B137ED8D532ADEB1 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:14:03] 785*2^1252850-1 is not prime. Res64: 825C6E01C1D97463 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:14:03] 845*2^1252850-1 is not prime. Res64: 8796F4EE3AC68204 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:24:14] 857*2^1252850-1 is not prime. Res64: 166E3A72CA3FA5A6 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:24:14] 971*2^1252850-1 is not prime. Res64: D1F7C11CDE6F9EDB Time : 0.0 sec. user=mdettweiler [2013-09-10 11:25:41] 977*2^1252850-1 is not prime. Res64: 5F43014892A05007 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:25:42] 601*2^1252851-1 is not prime. Res64: 15071E378D79E769 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:25:47] 615*2^1252851-1 is not prime. Res64: 3DDA937F3612B856 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:25:47] 823*2^1252851-1 is not prime. Res64: D6110A5F9167F529 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:36:12] 921*2^1252851-1 is not prime. Res64: DDFDCA9C07C96D0B Time : 0.0 sec. user=mdettweiler [2013-09-10 11:36:13] 931*2^1252851-1 is not prime. Res64: 79DDD67B052EAC42 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:45:42] 629*2^1252852-1 is not prime. Res64: 761226409E313125 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:45:43] 705*2^1252852-1 is not prime. Res64: DDA416A93FD52961 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:45:48] 717*2^1252852-1 is not prime. Res64: 31ED2495B297DE4B Time : 0.0 sec. user=mdettweiler [2013-09-10 11:45:48] 855*2^1252852-1 is not prime. Res64: 321051F561BD3A09 Time : 0.0 sec. user=mdettweiler [2013-09-10 11:46:06] 945*2^1252851-1 is not prime. Res64: 2301D5D3294FE60C Time : 0.0 sec. user=mdettweiler [2013-09-10 11:46:07] 949*2^1252851-1 is not prime. Res64: 5238802770599B9C Time : 0.0 sec. user=mdettweiler [2013-09-10 11:57:15] 989*2^1252852-1 is not prime. Res64: BB26DCE039D98DFA Time : 0.0 sec. user=mdettweiler [2013-09-10 11:57:15] 615*2^1252853-1 is not prime. Res64: 257AD0433AF16D37 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:06:31] 605*2^1252854-1 is not prime. Res64: 1C3171469A7B7FD1 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:06:32] 621*2^1252854-1 is not prime. Res64: 51602704E8BF812A Time : 0.0 sec. user=mdettweiler [2013-09-10 12:07:00] 847*2^1252853-1 is not prime. Res64: DC8C59138104CDD2 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:07:00] 925*2^1252853-1 is not prime. Res64: CA2E8B03C8E626C8 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:08:11] 939*2^1252853-1 is not prime. Res64: 6923678E6009EE42 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:08:12] 955*2^1252853-1 is not prime. Res64: 1DC9498502DF0719 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:18:04] 773*2^1252854-1 is not prime. Res64: 8CD564C1587289AA Time : 0.0 sec. user=mdettweiler [2013-09-10 12:18:04] 815*2^1252854-1 is not prime. Res64: D0BCE3790FC2E264 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:28:10] 601*2^1252855-1 is not prime. Res64: DAA6E9E23268A948 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:28:11] 661*2^1252855-1 is not prime. Res64: BF8114CC1424D687 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:29:29] 693*2^1252855-1 is not prime. Res64: 3FFD4B71A50EA5EE Time : 0.0 sec. user=mdettweiler [2013-09-10 12:29:30] 735*2^1252855-1 is not prime. Res64: 7E38DBE584380B76 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:29:41] 893*2^1252854-1 is not prime. Res64: E41F270A38148CC6 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:29:42] 927*2^1252854-1 is not prime. Res64: 69EB464EC539E1F2 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:40:30] 885*2^1252855-1 is not prime. Res64: A7DCAFCFE4214546 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:40:31] 751*2^1252857-1 is not prime. Res64: 8B0F50FD991582BE Time : 0.0 sec. user=mdettweiler [2013-09-10 12:50:16] 781*2^1252857-1 is not prime. Res64: FA294B7B34863666 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:50:16] 915*2^1252857-1 is not prime. Res64: 4ABB66229BD0A310 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:50:16] 677*2^1252858-1 is not prime. Res64: CA9CFDEB1C1C2BF2 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:50:17] 731*2^1252858-1 is not prime. Res64: 412633308F1CBA2F Time : 0.0 sec. user=mdettweiler [2013-09-10 12:50:23] 743*2^1252858-1 is not prime. Res64: BA2B4166ECD9E0F2 Time : 0.0 sec. user=mdettweiler [2013-09-10 12:50:24] 755*2^1252858-1 is not prime. Res64: 735B27D3939CB3F1 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:02:00] 813*2^1252858-1 is not prime. Res64: E86046D19853998F Time : 0.0 sec. user=mdettweiler [2013-09-10 13:02:02] 941*2^1252858-1 is not prime. Res64: D7E94B20D5FE0DDF Time : 0.0 sec. user=mdettweiler [2013-09-10 13:10:28] 631*2^1252859-1 is not prime. Res64: FEC9882900EC49CD Time : 0.0 sec. user=mdettweiler [2013-09-10 13:10:31] 633*2^1252859-1 is not prime. Res64: 5F284EF305650725 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:10:33] 645*2^1252859-1 is not prime. Res64: 83D0723265861BD8 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:10:34] 735*2^1252859-1 is not prime. Res64: C58E25E28CE4ED5B Time : 0.0 sec. user=mdettweiler [2013-09-10 13:10:42] 759*2^1252859-1 is not prime. Res64: B021DBC6054979CC Time : 0.0 sec. user=mdettweiler [2013-09-10 13:10:43] 775*2^1252859-1 is not prime. Res64: A8E6DE333BA89879 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:22:42] 853*2^1252859-1 is not prime. Res64: 683AFEAC490BB9DC Time : 0.0 sec. user=mdettweiler [2013-09-10 13:22:43] 861*2^1252859-1 is not prime. Res64: 09F3D9E6C96B773A Time : 0.0 sec. user=mdettweiler [2013-09-10 13:30:59] 645*2^1252861-1 is not prime. Res64: B098BD3C635D6AF0 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:30:59] 819*2^1252861-1 is not prime. Res64: 7904E8BD71A482B0 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:31:45] 623*2^1252860-1 is not prime. Res64: E063CA8F7C1E83D1 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:31:45] 875*2^1252860-1 is not prime. Res64: E80AAA94DB43D4A2 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:32:37] 913*2^1252859-1 is not prime. Res64: 7CB64CA1F4CFED41 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:32:38] 949*2^1252859-1 is not prime. Res64: 9A3CCE15E0C28902 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:43:59] 867*2^1252861-1 is not prime. Res64: 3EF1DE114F2D4551 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:43:59] 895*2^1252861-1 is not prime. Res64: 6E4342FCE61CB814 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:52:56] 603*2^1252862-1 is not prime. Res64: 24764703555E8284 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:52:58] 683*2^1252862-1 is not prime. Res64: 9DB97BA17AE56873 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:53:13] 931*2^1252861-1 is not prime. Res64: 2A58FC88E8144248 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:53:14] 957*2^1252861-1 is not prime. Res64: 0AF1617CE3B5E102 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:53:55] 967*2^1252861-1 is not prime. Res64: 81B067D0C0D47396 Time : 0.0 sec. user=mdettweiler [2013-09-10 13:53:56] 999*2^1252861-1 is not prime. Res64: F3786C0DB63933C5 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:05:13] 813*2^1252862-1 is not prime. Res64: E776B27E44F78270 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:05:14] 885*2^1252862-1 is not prime. Res64: 1E091C8B6962B24D Time : 0.0 sec. user=mdettweiler [2013-09-10 14:13:35] 625*2^1252863-1 is not prime. Res64: A2811FC96874C48B Time : 0.0 sec. user=mdettweiler [2013-09-10 14:13:36] 679*2^1252863-1 is not prime. Res64: EB85DB0AFEE8576E Time : 0.0 sec. user=mdettweiler [2013-09-10 14:14:12] 709*2^1252863-1 is not prime. Res64: 54277C0C5BFA6893 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:14:12] 805*2^1252863-1 is not prime. Res64: 29E6B32264BDC772 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:15:13] 887*2^1252862-1 is not prime. Res64: 453CED944B34D923 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:15:14] 1001*2^1252862-1 is not prime. Res64: 1A47000304E58904 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:27:23] 879*2^1252863-1 is not prime. Res64: 129A71F6687B8D31 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:27:24] 901*2^1252863-1 is not prime. Res64: 644E89D13E30CCC9 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:34:53] 963*2^1252863-1 is not prime. Res64: 9E1F92E173E5BEE3 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:34:54] 605*2^1252864-1 is not prime. Res64: 826FCB9599495FAC Time : 0.0 sec. user=mdettweiler [2013-09-10 14:36:18] 947*2^1252864-1 is not prime. Res64: 9A8EB20362371160 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:36:18] 969*2^1252864-1 is not prime. Res64: 954CAA2CF1DFA934 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:36:36] 983*2^1252864-1 is not prime. Res64: 9548C7324BD859B0 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:36:37] 819*2^1252865-1 is not prime. Res64: 6FBF1D34ED3CFEB7 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:48:35] 991*2^1252865-1 is not prime. Res64: BC5CF644F7B13DFB Time : 0.0 sec. user=mdettweiler [2013-09-10 14:48:35] 611*2^1252866-1 is not prime. Res64: 7EF3984691E2BA9C Time : 0.0 sec. user=mdettweiler [2013-09-10 14:55:09] 633*2^1252866-1 is not prime. Res64: A53E7428113B2C30 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:55:09] 657*2^1252866-1 is not prime. Res64: 05BB9A0A5A9C46C8 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:57:47] 993*2^1252866-1 is not prime. Res64: 859173199E2584B3 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:57:48] 765*2^1252867-1 is not prime. Res64: 6B7773F55BF5F61D Time : 0.0 sec. user=mdettweiler [2013-09-10 14:58:28] 887*2^1252866-1 is not prime. Res64: 5E03242A868C5BA9 Time : 0.0 sec. user=mdettweiler [2013-09-10 14:58:29] 975*2^1252866-1 is not prime. Res64: 589664CBEAAD4853 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:08:49] 801*2^1252867-1 is not prime. Res64: A06DE82DD803DA94 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:08:50] 805*2^1252867-1 is not prime. Res64: EA27987456467113 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:16:28] 871*2^1252867-1 is not prime. Res64: 1EC66CB710DEE4FA Time : 0.0 sec. user=mdettweiler [2013-09-10 15:16:29] 973*2^1252867-1 is not prime. Res64: 0F716C6C15B4A099 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:18:12] 665*2^1252868-1 is not prime. Res64: E874A95C0B7F1568 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:18:13] 759*2^1252868-1 is not prime. Res64: 38A0C0B5893A3606 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:19:51] 767*2^1252868-1 is not prime. Res64: ABF9212845885712 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:19:52] 875*2^1252868-1 is not prime. Res64: 0ADD2FBACC840720 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:31:03] 945*2^1252868-1 is not prime. Res64: E889670B2BED74FD Time : 0.0 sec. user=mdettweiler [2013-09-10 15:31:03] 959*2^1252868-1 is not prime. Res64: FBEC939A2453E63E Time : 0.0 sec. user=mdettweiler [2013-09-10 15:37:47] 969*2^1252868-1 is not prime. Res64: 002F86A1E133A71E Time : 0.0 sec. user=mdettweiler [2013-09-10 15:37:48] 649*2^1252869-1 is not prime. Res64: 6DC07FC4FDC12CE2 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:38:32] 769*2^1252869-1 is not prime. Res64: 200F87FEDE40D09E Time : 0.0 sec. user=mdettweiler [2013-09-10 15:38:33] 835*2^1252869-1 is not prime. Res64: 4A6BAF616858E88E Time : 0.0 sec. user=mdettweiler [2013-09-10 15:42:07] 877*2^1252869-1 is not prime. Res64: 51247860BCB32FB5 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:42:08] 919*2^1252869-1 is not prime. Res64: 13395DD7295C3019 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:53:15] 955*2^1252869-1 is not prime. Res64: A66B6D8FAE86C7B2 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:53:15] 969*2^1252869-1 is not prime. Res64: 662560004E6F6671 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:58:48] 731*2^1252870-1 is not prime. Res64: 01DAE046ADD27084 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:58:49] 813*2^1252870-1 is not prime. Res64: 961613AD95606313 Time : 0.0 sec. user=mdettweiler [2013-09-10 15:59:04] 991*2^1252869-1 is not prime. Res64: 61C9DE09309B34AE Time : 0.0 sec. user=mdettweiler [2013-09-10 15:59:05] 663*2^1252870-1 is not prime. Res64: 47B960EEEC31309B Time : 0.0 sec. user=mdettweiler [2013-09-10 16:04:21] 873*2^1252870-1 is not prime. Res64: BFEF4C8655FB2CE5 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:04:22] 887*2^1252870-1 is not prime. Res64: 670D9FF83DD80CD1 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:15:31] 915*2^1252870-1 is not prime. Res64: 85B9472123714606 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:15:31] 945*2^1252870-1 is not prime. Res64: B4282CD9B7071351 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:19:23] 619*2^1252871-1 is not prime. Res64: A4B23C6264605D51 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:19:23] 621*2^1252871-1 is not prime. Res64: BA82490ADAF684A2 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:20:06] 987*2^1252870-1 is not prime. Res64: 55BA4FE592D9981E Time : 0.0 sec. user=mdettweiler [2013-09-10 16:20:06] 609*2^1252871-1 is not prime. Res64: 349D36D943AA40B5 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:24:36] 651*2^1252871-1 is not prime. Res64: E628AAFC43C63C02 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:24:37] 843*2^1252871-1 is not prime. Res64: E6A001434831435F Time : 0.0 sec. user=mdettweiler [2013-09-10 16:37:43] 939*2^1252871-1 is not prime. Res64: 86D4B441B621CCC5 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:37:43] 991*2^1252871-1 is not prime. Res64: 705E428E4719B406 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:39:36] 633*2^1252872-1 is not prime. Res64: 38A24FC3CFC8FEB0 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:39:37] 797*2^1252872-1 is not prime. Res64: 91FA0B6340A28681 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:40:19] 819*2^1252872-1 is not prime. Res64: BB58FF29B909E372 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:40:19] 863*2^1252872-1 is not prime. Res64: 74221945AF9348F4 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:44:53] 649*2^1252873-1 is not prime. Res64: 3D5E0FD04703226C Time : 0.0 sec. user=mdettweiler [2013-09-10 16:44:54] 679*2^1252873-1 is not prime. Res64: 755DC4137A3044C1 Time : 0.0 sec. user=mdettweiler [2013-09-10 16:59:08] 835*2^1252873-1 is not prime. Res64: 5E0A5E50C334619B Time : 0.0 sec. user=mdettweiler [2013-09-10 16:59:08] 867*2^1252873-1 is not prime. Res64: 9F4E0EE0393249BE Time : 0.0 sec. user=mdettweiler [2013-09-10 17:01:52] 791*2^1252874-1 is not prime. Res64: 63416F622D9953ED Time : 0.0 sec. user=mdettweiler [2013-09-10 17:01:52] 825*2^1252874-1 is not prime. Res64: 5DF14C739DD490E9 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:01:59] 939*2^1252873-1 is not prime. Res64: C187FE48ED02C58B Time : 0.0 sec. user=mdettweiler [2013-09-10 17:02:02] 707*2^1252874-1 is not prime. Res64: 37724F702BC4B8F6 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:08:23] 873*2^1252874-1 is not prime. Res64: 45CB5505284CC16A Time : 0.0 sec. user=mdettweiler [2013-09-10 17:08:25] 935*2^1252874-1 is not prime. Res64: 1591E3582C83310F Time : 0.0 sec. user=mdettweiler [2013-09-10 17:20:56] 849*2^1252875-1 is not prime. Res64: 6A031F86674912E8 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:20:57] 895*2^1252875-1 is not prime. Res64: A45EEC3A42EEEACB Time : 0.0 sec. user=mdettweiler [2013-09-10 17:22:38] 677*2^1252876-1 is not prime. Res64: 9D96E389D851F661 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:22:39] 705*2^1252876-1 is not prime. Res64: 258C37137B3D7631 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:23:25] 969*2^1252875-1 is not prime. Res64: 7D89330E7ED6D16F Time : 0.0 sec. user=mdettweiler [2013-09-10 17:23:26] 647*2^1252876-1 is not prime. Res64: BEACD64D22BE90E5 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:29:58] 749*2^1252876-1 is not prime. Res64: 8981BE1527C58683 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:29:59] 927*2^1252876-1 is not prime. Res64: 0561CCA1987C3B44 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:43:21] 885*2^1252877-1 is not prime. Res64: F93201F7C5EEF580 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:43:22] 927*2^1252877-1 is not prime. Res64: 019A43DBB5644575 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:44:04] 937*2^1252877-1 is not prime. Res64: 29811B5C1849641B Time : 0.0 sec. user=mdettweiler [2013-09-10 17:44:04] 693*2^1252878-1 is not prime. Res64: 44649C5EC2164CA7 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:44:50] 843*2^1252878-1 is not prime. Res64: 0799F28B8635B759 Time : 0.0 sec. user=mdettweiler [2013-09-10 17:44:50] 915*2^1252878-1 is not prime. Res64: AE5A4E979BA02EED Time : 0.0 sec. user=mdettweiler [2013-09-10 17:52:24] 945*2^1252878-1 is not prime. Res64: 9B40F0975241224F Time : 0.0 sec. user=mdettweiler [2013-09-10 17:52:25] 977*2^1252878-1 is not prime. Res64: D6E7F737005AD258 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:05:18] 1001*2^1252878-1 is not prime. Res64: 18CE605403E0A2B4 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:05:19] 693*2^1252879-1 is not prime. Res64: FDE2FA3B95920EF3 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:05:46] 665*2^1252880-1 is not prime. Res64: 222660215DE22FA2 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:05:46] 845*2^1252880-1 is not prime. Res64: C83E3A94CF514E76 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:06:58] 939*2^1252879-1 is not prime. Res64: 83D6E006BE344F4A Time : 0.0 sec. user=mdettweiler [2013-09-10 18:06:59] 943*2^1252879-1 is not prime. Res64: 4F968FCF79F11E89 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:14:28] 855*2^1252880-1 is not prime. Res64: 0CAF904F6CA4DCAB Time : 0.0 sec. user=mdettweiler [2013-09-10 18:14:30] 915*2^1252880-1 is not prime. Res64: B0F4384854034812 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:26:52] 751*2^1252881-1 is not prime. Res64: 852DF369EDDB1D08 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:26:53] 807*2^1252881-1 is not prime. Res64: D29D104BC70A89DE Time : 0.0 sec. user=mdettweiler [2013-09-10 18:27:28] 927*2^1252880-1 is not prime. Res64: B58223346D01AFED Time : 0.0 sec. user=mdettweiler [2013-09-10 18:27:29] 625*2^1252881-1 is not prime. Res64: 876B60E2AFE7CABF Time : 0.0 sec. user=mdettweiler [2013-09-10 18:29:28] 867*2^1252881-1 is not prime. Res64: 8A0EC4DBD8A5A625 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:29:28] 955*2^1252881-1 is not prime. Res64: F6A0E89D80F79CAC Time : 0.0 sec. user=mdettweiler [2013-09-10 18:36:20] 681*2^1252882-1 is not prime. Res64: 83E1A9C688F6BEEF Time : 0.0 sec. user=mdettweiler [2013-09-10 18:36:21] 701*2^1252882-1 is not prime. Res64: B1BB9183FF43BA96 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:48:47] 741*2^1252882-1 is not prime. Res64: E6212E893E671F17 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:48:47] 785*2^1252882-1 is not prime. Res64: 97311DBF127B967E Time : 0.0 sec. user=mdettweiler [2013-09-10 18:49:33] 803*2^1252882-1 is not prime. Res64: F4EEA12A4B3CC55A Time : 0.0 sec. user=mdettweiler [2013-09-10 18:49:34] 815*2^1252882-1 is not prime. Res64: 47A904ADA0AAEB6C Time : 0.0 sec. user=mdettweiler [2013-09-10 18:52:33] 941*2^1252882-1 is not prime. Res64: 3004F7A730954A68 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:52:34] 705*2^1252883-1 is not prime. Res64: 791B332993222BF2 Time : 0.0 sec. user=mdettweiler [2013-09-10 18:58:29] 771*2^1252883-1 is not prime. Res64: 699DFEFD94AC82BA Time : 0.0 sec. user=mdettweiler [2013-09-10 18:58:30] 801*2^1252883-1 is not prime. Res64: 9B8AA0DC719ECE34 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:10:27] 805*2^1252883-1 is not prime. Res64: A075D057DB8DFCAF Time : 0.0 sec. user=mdettweiler [2013-09-10 19:10:28] 811*2^1252883-1 is not prime. Res64: 3FF6AA202AC9F3E1 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:11:30] 825*2^1252883-1 is not prime. Res64: B85B8631DBDE66F7 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:11:31] 829*2^1252883-1 is not prime. Res64: 42EB7F6D6233A57D Time : 0.0 sec. user=mdettweiler [2013-09-10 19:15:24] 885*2^1252883-1 is not prime. Res64: B80AD99C9DD13187 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:15:25] 635*2^1252884-1 is not prime. Res64: C3171BFE2C5C5590 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:20:56] 789*2^1252884-1 is not prime. Res64: 5A238738022B989C Time : 0.0 sec. user=mdettweiler [2013-09-10 19:20:57] 923*2^1252884-1 is not prime. Res64: 82DFDF4DB5B9A423 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:32:29] 727*2^1252885-1 is not prime. Res64: 36CB629AB2025953 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:32:30] 759*2^1252885-1 is not prime. Res64: 93556106C03FF65A Time : 0.0 sec. user=mdettweiler [2013-09-10 19:32:43] 945*2^1252884-1 is not prime. Res64: 32419B21B11833EC Time : 0.0 sec. user=mdettweiler [2013-09-10 19:32:43] 661*2^1252885-1 is not prime. Res64: 3459FF54D2FF216A Time : 0.0 sec. user=mdettweiler [2013-09-10 19:37:11] 871*2^1252885-1 is not prime. Res64: 2B6CD2E33BE335C4 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:37:11] 877*2^1252885-1 is not prime. Res64: A85B7A61D3557406 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:43:32] 889*2^1252885-1 is not prime. Res64: F10416F621C5B569 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:43:32] 979*2^1252885-1 is not prime. Res64: 6D981E85A5B3BE0F Time : 0.0 sec. user=mdettweiler [2013-09-10 19:54:53] 815*2^1252886-1 is not prime. Res64: 35517BCC87EC52C3 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:54:54] 875*2^1252886-1 is not prime. Res64: B788EBC23E7DC7FC Time : 0.0 sec. user=mdettweiler [2013-09-10 19:56:10] 897*2^1252886-1 is not prime. Res64: E678D81AE2C0B360 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:56:11] 953*2^1252886-1 is not prime. Res64: 47283C46B259D1D8 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:58:44] 781*2^1252887-1 is not prime. Res64: F604812AF0899648 Time : 0.0 sec. user=mdettweiler [2013-09-10 19:58:44] 615*2^1252888-1 is not prime. Res64: 7D15DCC918304A97 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:05:31] 665*2^1252888-1 is not prime. Res64: 4A428102AF63AD9E Time : 0.0 sec. user=mdettweiler [2013-09-10 20:05:32] 687*2^1252888-1 is not prime. Res64: 7926CF82F1370BAC Time : 0.0 sec. user=mdettweiler [2013-09-10 20:16:51] 777*2^1252888-1 is not prime. Res64: 71D609EDE5A59AB0 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:16:52] 825*2^1252888-1 is not prime. Res64: CDE4837EE28625C4 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:20:14] 915*2^1252888-1 is not prime. Res64: 704BD6B58C40C266 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:20:15] 923*2^1252888-1 is not prime. Res64: 7D70E3D6FDB9CAC8 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:22:53] 927*2^1252888-1 is not prime. Res64: 7E03429BC17C5BED Time : 0.0 sec. user=mdettweiler [2013-09-10 20:22:54] 933*2^1252888-1 is not prime. Res64: BAE1D7AC323E1BAA Time : 0.0 sec. user=mdettweiler [2013-09-10 20:27:26] 619*2^1252889-1 is not prime. Res64: FEC448833047B447 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:27:27] 631*2^1252889-1 is not prime. Res64: 5E3369E5BD022E3A Time : 0.0 sec. user=mdettweiler [2013-09-10 20:38:57] 685*2^1252889-1 is not prime. Res64: 4D456E29652DB82E Time : 0.0 sec. user=mdettweiler [2013-09-10 20:38:57] 697*2^1252889-1 is not prime. Res64: AAEDF4CD6E772B7E Time : 0.0 sec. user=mdettweiler [2013-09-10 20:42:01] 745*2^1252889-1 is not prime. Res64: FE04D7460B1AD9E2 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:42:01] 789*2^1252889-1 is not prime. Res64: D0B7731AB3DF3FBA Time : 0.0 sec. user=mdettweiler [2013-09-10 20:44:36] 847*2^1252889-1 is not prime. Res64: 0FFB81F5200D7984 Time : 0.0 sec. user=mdettweiler [2013-09-10 20:44:36] 861*2^1252889-1 is not prime. Res64: EF01209C7A1B814D Time : 0.0 sec. user=mdettweiler [2013-09-10 20:50:47] 897*2^1252889-1 is not prime. Res64: 1C0A4B6A584B347D Time : 0.0 sec. user=mdettweiler [2013-09-10 20:50:48] 945*2^1252889-1 is not prime. Res64: 4D2DE06D83D37F92 Time : 0.0 sec. user=juhehe [2013-09-10 21:00:48] 799*2^1252889-1 is not prime. Res64: 372D135565420340 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:02:02] 955*2^1252889-1 is not prime. Res64: 46FA84B31246E8D4 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:02:03] 991*2^1252889-1 is not prime. Res64: 228BC165F940D76E Time : 0.0 sec. user=mdettweiler [2013-09-10 21:03:03] 611*2^1252890-1 is not prime. Res64: AA4D451C1B05FF8D Time : 0.0 sec. user=mdettweiler [2013-09-10 21:03:04] 657*2^1252890-1 is not prime. Res64: 29E94EC528EA1B15 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:05:38] 695*2^1252890-1 is not prime. Res64: 7A9C0B7FE9A877AD Time : 0.0 sec. user=mdettweiler [2013-09-10 21:05:40] 767*2^1252890-1 is not prime. Res64: ED9F0DC21E3787B0 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:12:06] 801*2^1252890-1 is not prime. Res64: DEDF64127396E333 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:12:07] 833*2^1252890-1 is not prime. Res64: CD196E9520B14515 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:24:04] 645*2^1252891-1 is not prime. Res64: D3D942B6B90B6638 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:24:05] 723*2^1252891-1 is not prime. Res64: 870B4D1107889D3B Time : 0.0 sec. user=mdettweiler [2013-09-10 21:24:09] 971*2^1252890-1 is not prime. Res64: CEF5E8A8E0EA50BF Time : 0.0 sec. user=mdettweiler [2013-09-10 21:24:10] 631*2^1252891-1 is not prime. Res64: F9AD769B87A430D9 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:26:31] 861*2^1252891-1 is not prime. Res64: 44B56D6EEF2D96DA Time : 0.0 sec. user=mdettweiler [2013-09-10 21:26:32] 871*2^1252891-1 is not prime. Res64: BA34EA8883388BA6 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:33:56] 975*2^1252891-1 is not prime. Res64: 597777B212FF296B Time : 0.0 sec. user=mdettweiler [2013-09-10 21:33:56] 855*2^1252892-1 is not prime. Res64: 1B5018A51A9C3631 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:46:05] 987*2^1252892-1 is not prime. Res64: AFF9DC1EF0986506 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:46:07] 621*2^1252893-1 is not prime. Res64: C954EB5D2CE8CF30 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:46:53] 935*2^1252892-1 is not prime. Res64: 4316BAA68682A711 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:46:53] 957*2^1252892-1 is not prime. Res64: 1DF2F2040FC48218 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:47:22] 627*2^1252893-1 is not prime. Res64: F78932029C443EE8 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:47:22] 699*2^1252893-1 is not prime. Res64: 35C8AA01D310D2E6 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:54:46] 741*2^1252893-1 is not prime. Res64: 919772351E6277A6 Time : 0.0 sec. user=mdettweiler [2013-09-10 21:54:47] 789*2^1252893-1 is not prime. Res64: 46BB8758E6C4B893 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:07:52] 817*2^1252893-1 is not prime. Res64: D8D4D3C56CFE8F34 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:07:52] 891*2^1252893-1 is not prime. Res64: E846156822A89E6B Time : 0.0 sec. user=mdettweiler [2013-09-10 22:08:16] 755*2^1252894-1 is not prime. Res64: D2A820BD7B69F124 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:08:16] 821*2^1252894-1 is not prime. Res64: 9AF84697D745A4CF Time : 0.0 sec. user=mdettweiler [2013-09-10 22:08:40] 961*2^1252893-1 is not prime. Res64: 27C5F514BC43E0DC Time : 0.0 sec. user=mdettweiler [2013-09-10 22:08:41] 707*2^1252894-1 is not prime. Res64: D1493BF9F3B1F270 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:15:42] 753*2^1252895-1 is not prime. Res64: EBE40CE6C6EDEE72 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:15:44] 775*2^1252895-1 is not prime. Res64: 0FAD4E38BBDA8E60 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:29:16] 615*2^1252896-1 is not prime. Res64: 2877EDEBAE66D31F Time : 0.0 sec. user=mdettweiler [2013-09-10 22:29:16] 627*2^1252896-1 is not prime. Res64: 4C2653632B0A9400 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:29:34] 635*2^1252896-1 is not prime. Res64: 536D1D4733F24085 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:29:35] 765*2^1252896-1 is not prime. Res64: 57955AC95E13237B Time : 0.0 sec. user=mdettweiler [2013-09-10 22:29:55] 979*2^1252895-1 is not prime. Res64: 7148F0EE4A8A5932 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:29:56] 609*2^1252896-1 is not prime. Res64: 160B2F192454AEFE Time : 0.0 sec. user=mdettweiler [2013-09-10 22:37:32] 779*2^1252896-1 is not prime. Res64: 09F5BA19C2673B0D Time : 0.0 sec. user=mdettweiler [2013-09-10 22:37:34] 945*2^1252896-1 is not prime. Res64: CEDDB10CECA884B3 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:50:21] 607*2^1252897-1 is not prime. Res64: 280BE0F40569E0A0 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:50:21] 717*2^1252897-1 is not prime. Res64: 79424CFEAB9F30B6 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:50:36] 805*2^1252897-1 is not prime. Res64: 87ADAEA90DD3DD8E Time : 0.0 sec. user=mdettweiler [2013-09-10 22:50:36] 817*2^1252897-1 is not prime. Res64: 5539864C091EAC6C Time : 0.0 sec. user=mdettweiler [2013-09-10 22:52:04] 861*2^1252897-1 is not prime. Res64: 11278FCD6C79E178 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:52:05] 895*2^1252897-1 is not prime. Res64: 932D07D38D775396 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:58:29] 635*2^1252898-1 is not prime. Res64: B0A0E90C0C6C7176 Time : 0.0 sec. user=mdettweiler [2013-09-10 22:58:30] 705*2^1252898-1 is not prime. Res64: B0A51BABD61A8F1A Time : 0.0 sec. user=mdettweiler [2013-09-10 23:11:16] 753*2^1252898-1 is not prime. Res64: 8234BA2BAEF61E6C Time : 0.0 sec. user=mdettweiler [2013-09-10 23:11:17] 791*2^1252898-1 is not prime. Res64: 83F114D0FC58ADD0 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:13:27] 935*2^1252898-1 is not prime. Res64: 138F35A5502B5F63 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:13:28] 971*2^1252898-1 is not prime. Res64: 98A086789A912A78 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:15:01] 977*2^1252898-1 is not prime. Res64: A59DE99769C0AD48 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:15:02] 995*2^1252898-1 is not prime. Res64: EB7CB1C9A45F7D8C Time : 0.0 sec. user=mdettweiler [2013-09-10 23:20:35] 633*2^1252899-1 is not prime. Res64: CCDDBEAC7D2F191A Time : 0.0 sec. user=mdettweiler [2013-09-10 23:20:36] 973*2^1252899-1 is not prime. Res64: F2CC82B8393A128C Time : 0.0 sec. user=mdettweiler [2013-09-10 23:32:05] 609*2^1252900-1 is not prime. Res64: 69F8407C7D5FA518 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:32:05] 707*2^1252900-1 is not prime. Res64: 91D9DD9FBAE7ADE5 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:35:31] 825*2^1252900-1 is not prime. Res64: 5268542C81803F74 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:35:32] 905*2^1252900-1 is not prime. Res64: 958E9C3A7289F0EF Time : 0.0 sec. user=mdettweiler [2013-09-10 23:37:55] 927*2^1252900-1 is not prime. Res64: 7700A019C78D5170 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:37:56] 965*2^1252900-1 is not prime. Res64: 21D8D19C4984C4B3 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:41:32] 715*2^1252901-1 is not prime. Res64: 946895527FB53F28 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:41:33] 741*2^1252901-1 is not prime. Res64: 8B72FA16617F273B Time : 0.0 sec. user=mdettweiler [2013-09-10 23:53:01] 799*2^1252901-1 is not prime. Res64: C316A84B0F7C2614 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:53:02] 671*2^1252902-1 is not prime. Res64: 9250F9BEF88D830A Time : 0.0 sec. user=mdettweiler [2013-09-10 23:57:31] 705*2^1252902-1 is not prime. Res64: 29B5335409078488 Time : 0.0 sec. user=mdettweiler [2013-09-10 23:57:31] 875*2^1252902-1 is not prime. Res64: 37C7165CE40AC1F1 Time : 0.0 sec. user=mdettweiler [2013-09-11 00:00:52] 917*2^1252902-1 is not prime. Res64: 1293FFB2A41268AD Time : 0.0 sec. user=mdettweiler [2013-09-11 00:00:52] 977*2^1252902-1 is not prime. Res64: 54BA5708FA2720F9 Time : 0.0 sec.