user=mdettweiler [2012-07-24 00:18:40] 863*2^1224672-1 is not prime. Res64: B7E778A4FFB76101 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:18:41] 609*2^1224673-1 is not prime. Res64: 2AF3049598B7F7B4 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:18:44] 771*2^1224673-1 is not prime. Res64: 5B0D8945C01CB730 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:18:44] 877*2^1224673-1 is not prime. Res64: 19611862B8FCF145 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:29:14] 779*2^1224672-1 is not prime. Res64: 9D6830F083FFB145 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:30:43] 843*2^1224672-1 is not prime. Res64: B1A9581164AEDCED Time : 0.0 sec. user=vaughan [2012-07-24 00:33:53] 931*2^1224671-1 is not prime. Res64: AF125337D36812A8 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:39:18] 627*2^1224674-1 is not prime. Res64: 612EB27BFE16B40B Time : 0.0 sec. user=mdettweiler [2012-07-24 00:39:19] 935*2^1224674-1 is not prime. Res64: DE1AF2D64B395570 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:39:21] 649*2^1224675-1 is not prime. Res64: 34A672A62AA8CCD2 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:39:21] 691*2^1224675-1 is not prime. Res64: 24BDB2B1AF07B139 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:59:54] 871*2^1224675-1 is not prime. Res64: C6EC773BAE61022A Time : 0.0 sec. user=mdettweiler [2012-07-24 00:59:55] 903*2^1224675-1 is not prime. Res64: D19EBF7890A2776F Time : 0.0 sec. user=mdettweiler [2012-07-24 00:59:56] 603*2^1224676-1 is not prime. Res64: 80DE30D3AD95C8F5 Time : 0.0 sec. user=mdettweiler [2012-07-24 00:59:57] 623*2^1224676-1 is not prime. Res64: 1F28A7B123FBEBB7 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:00:03] 709*2^1224675-1 is not prime. Res64: 8248A885C0E9D45E Time : 0.0 sec. user=mdettweiler [2012-07-24 01:01:35] 723*2^1224675-1 is not prime. Res64: 636A9C0553E32A36 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:20:31] 695*2^1224676-1 is not prime. Res64: 0F932913E5934B4D Time : 0.0 sec. user=mdettweiler [2012-07-24 01:20:31] 773*2^1224676-1 is not prime. Res64: 4BFC34927ED4B6A4 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:20:32] 777*2^1224676-1 is not prime. Res64: CA45289349F2C246 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:20:33] 843*2^1224676-1 is not prime. Res64: EF0D7AACE14C987A Time : 0.0 sec. user=vaughan [2012-07-24 01:29:03] 829*2^1224675-1 is not prime. Res64: C478DE57344B5933 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:30:45] 875*2^1224676-1 is not prime. Res64: 68932AD001049D5F Time : 0.0 sec. user=mdettweiler [2012-07-24 01:32:23] 899*2^1224676-1 is not prime. Res64: 432172651BBDF892 Time : 0.0 sec. user=gd_barnes [2012-07-24 01:40:22] 983*2^1224676-1 is not prime. Res64: 060FDF2546BB1F57 Time : 0.0 sec. user=gd_barnes [2012-07-24 01:40:33] 631*2^1224677-1 is not prime. Res64: 065155FF1BF09F98 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:41:09] 711*2^1224677-1 is not prime. Res64: FA57CEE25B1EF816 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:41:10] 735*2^1224677-1 is not prime. Res64: 07EBBE0A15385BF5 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:41:12] 799*2^1224677-1 is not prime. Res64: 3EF94C5268396EF8 Time : 0.0 sec. user=mdettweiler [2012-07-24 01:41:12] 925*2^1224677-1 is not prime. Res64: A7EF655E44AA757D Time : 0.0 sec. user=gd_barnes [2012-07-24 01:43:04] 669*2^1224677-1 is not prime. Res64: 4A088B87815A9077 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:01:30] 647*2^1224678-1 is not prime. Res64: CFE72FE514A12E01 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:01:48] 797*2^1224678-1 is not prime. Res64: 61E11C314F118BFF Time : 0.0 sec. user=mdettweiler [2012-07-24 02:01:49] 815*2^1224678-1 is not prime. Res64: 6688A1AB6C320F29 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:01:50] 923*2^1224678-1 is not prime. Res64: D1A2B95EA0213CAE Time : 0.0 sec. user=mdettweiler [2012-07-24 02:01:51] 977*2^1224678-1 is not prime. Res64: DFE60A3D7E14D3A8 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:03:09] 705*2^1224678-1 is not prime. Res64: 7927EDD5962E625E Time : 0.0 sec. user=mdettweiler [2012-07-24 02:22:27] 633*2^1224679-1 is not prime. Res64: 25FAF790F71805A9 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:22:27] 649*2^1224679-1 is not prime. Res64: 85DCEBFF587DFDD7 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:22:28] 663*2^1224679-1 is not prime. Res64: 1204837BA2495635 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:22:28] 723*2^1224679-1 is not prime. Res64: 582B61A6E6351BCC Time : 0.0 sec. user=mdettweiler [2012-07-24 02:32:48] 1001*2^1224678-1 is not prime. Res64: 0041132B5D387B7C Time : 0.0 sec. user=mdettweiler [2012-07-24 02:34:01] 745*2^1224679-1 is not prime. Res64: 3E0897FC54E254F4 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:43:03] 829*2^1224679-1 is not prime. Res64: 8847ACE8285611B0 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:43:04] 999*2^1224679-1 is not prime. Res64: A4DD4E7948B0369B Time : 0.0 sec. user=mdettweiler [2012-07-24 02:43:05] 985*2^1224679-1 is not prime. Res64: E52D9359DCDF6596 Time : 0.0 sec. user=mdettweiler [2012-07-24 02:43:05] 677*2^1224680-1 is not prime. Res64: 057EB4A9FCBD0063 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:03:41] 759*2^1224680-1 is not prime. Res64: B98353FCFBF97E3C Time : 0.0 sec. user=mdettweiler [2012-07-24 03:03:59] 915*2^1224680-1 is not prime. Res64: 1C29810FCF6D4CBE Time : 0.0 sec. user=mdettweiler [2012-07-24 03:04:00] 945*2^1224680-1 is not prime. Res64: 9DCC04F28C4BC430 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:04:02] 741*2^1224681-1 is not prime. Res64: 5E3A8C4737BE09C6 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:04:04] 829*2^1224681-1 is not prime. Res64: CC093021E12BF1D7 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:04:45] 875*2^1224680-1 is not prime. Res64: 36B874003E2027F4 Time : 0.0 sec. user=odicin [2012-07-24 03:08:15] 949*2^1224681-1 is not prime. Res64: 8DCBA20B2A533E31 Time : 0.0 sec. user=odicin [2012-07-24 03:21:31] 885*2^1224682-1 is not prime. Res64: 0B8226B687D189A4 Time : 0.0 sec. user=odicin [2012-07-24 03:21:42] 663*2^1224683-1 is not prime. Res64: D62D8DCAFEFE6875 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:24:38] 603*2^1224682-1 is not prime. Res64: F7CDF205E42CBBD7 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:24:39] 611*2^1224682-1 is not prime. Res64: EC61AB1D0760014F Time : 0.0 sec. user=mdettweiler [2012-07-24 03:24:40] 803*2^1224682-1 is not prime. Res64: B9988FECB84162D4 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:24:41] 815*2^1224682-1 is not prime. Res64: 62A094283AA01F53 Time : 0.0 sec. user=juhehe [2012-07-24 03:29:53] 849*2^1224675-1 is not prime. Res64: 36B0E25BB0061D08 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:36:06] 999*2^1224681-1 is not prime. Res64: F01E72E38344AB08 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:36:55] 827*2^1224682-1 is not prime. Res64: 88EC8D6859353F94 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:45:14] 693*2^1224683-1 is not prime. Res64: 1B8AE7D4FDF89EA5 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:45:15] 789*2^1224683-1 is not prime. Res64: 205C8378163E0C5A Time : 0.0 sec. user=mdettweiler [2012-07-24 03:45:15] 689*2^1224684-1 is not prime. Res64: B4CC8FC443BAFFA1 Time : 0.0 sec. user=mdettweiler [2012-07-24 03:45:16] 695*2^1224684-1 is not prime. Res64: A1BB2519FE88AF1E Time : 0.0 sec. user=gd_barnes [2012-07-24 03:47:21] 673*2^1224683-1 is not prime. Res64: 5AA7BEC5B8DB4054 Time : 0.0 sec. user=vaughan [2012-07-24 04:05:32] 985*2^1224677-1 is not prime. Res64: 7533D1E8DD216D3A Time : 0.0 sec. user=mdettweiler [2012-07-24 04:05:52] 789*2^1224684-1 is not prime. Res64: C630B08222F2ACE5 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:05:53] 699*2^1224685-1 is not prime. Res64: 96A998F3176A8412 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:05:55] 651*2^1224685-1 is not prime. Res64: 7397C9B4FACCDE98 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:05:56] 799*2^1224685-1 is not prime. Res64: EE0DD90E5B1D5D69 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:08:52] 705*2^1224684-1 is not prime. Res64: B67BB6D224B4C0E8 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:10:04] 737*2^1224684-1 is not prime. Res64: B98AB8F30B923970 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:26:40] 861*2^1224685-1 is not prime. Res64: 8AD6D5A2410B00AD Time : 0.0 sec. user=mdettweiler [2012-07-24 04:26:41] 885*2^1224685-1 is not prime. Res64: 128FEDF7D64F85D2 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:26:42] 677*2^1224686-1 is not prime. Res64: 8750FD43ECB201A8 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:26:42] 693*2^1224686-1 is not prime. Res64: 6067262869CD9AEF Time : 0.0 sec. user=mdettweiler [2012-07-24 04:39:47] 711*2^1224686-1 is not prime. Res64: 1FA6E45F38FA93D6 Time : 0.0 sec. user=gd_barnes [2012-07-24 04:39:55] 767*2^1224686-1 is not prime. Res64: 6B1C0E14ED274B5F Time : 0.0 sec. user=mdettweiler [2012-07-24 04:40:57] 761*2^1224686-1 is not prime. Res64: D547316CCA45D879 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:47:16] 827*2^1224686-1 is not prime. Res64: 80B40EE5B66A21CB Time : 0.0 sec. user=mdettweiler [2012-07-24 04:47:16] 833*2^1224686-1 is not prime. Res64: 6DDBB31C908DB2F9 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:47:18] 615*2^1224687-1 is not prime. Res64: 4FC52C047E74E9A3 Time : 0.0 sec. user=mdettweiler [2012-07-24 04:47:18] 805*2^1224687-1 is not prime. Res64: 4752DCF93E9431C8 Time : 0.0 sec. user=gd_barnes [2012-07-24 04:48:13] 813*2^1224686-1 is not prime. Res64: 53471DAC60BBB633 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:07:53] 979*2^1224687-1 is not prime. Res64: 58E4B024C768905A Time : 0.0 sec. user=mdettweiler [2012-07-24 05:07:55] 623*2^1224688-1 is not prime. Res64: 6809C64CAF2B997F Time : 0.0 sec. user=mdettweiler [2012-07-24 05:07:56] 991*2^1224687-1 is not prime. Res64: BD804429F58F14E5 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:07:56] 677*2^1224688-1 is not prime. Res64: C119C9859B2CEF14 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:10:34] 933*2^1224687-1 is not prime. Res64: F30F0E5B20B2ECD3 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:11:44] 945*2^1224687-1 is not prime. Res64: E914C061047C8900 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:28:35] 743*2^1224688-1 is not prime. Res64: DC0143E6521A1A8A Time : 0.0 sec. user=mdettweiler [2012-07-24 05:28:36] 755*2^1224688-1 is not prime. Res64: F89AE585B309D8D9 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:28:36] 773*2^1224688-1 is not prime. Res64: 45662212EA3D2D64 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:28:36] 897*2^1224688-1 is not prime. Res64: 878D5955FB75DB8E Time : 0.0 sec. user=mdettweiler [2012-07-24 05:41:24] 775*2^1224689-1 is not prime. Res64: AEE1E7119A0D2BB2 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:42:34] 789*2^1224689-1 is not prime. Res64: 677F0CB5F1DA4231 Time : 0.0 sec. user=gd_barnes [2012-07-24 05:44:42] 861*2^1224689-1 is not prime. Res64: AA0F0D7B04643A75 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:49:14] 945*2^1224689-1 is not prime. Res64: 5D1F165DB32212EA Time : 0.0 sec. user=mdettweiler [2012-07-24 05:49:14] 633*2^1224690-1 is not prime. Res64: 7FFD25509FAE2130 Time : 0.0 sec. user=mdettweiler [2012-07-24 05:49:14] 647*2^1224690-1 is not prime. Res64: 3A69CA4FF017DBAC Time : 0.0 sec. user=mdettweiler [2012-07-24 05:49:15] 653*2^1224690-1 is not prime. Res64: 5B6F647582C9DE77 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:09:51] 797*2^1224690-1 is not prime. Res64: 41BAB53B4B0342B2 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:09:54] 941*2^1224690-1 is not prime. Res64: E67B07506500DB31 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:09:56] 843*2^1224690-1 is not prime. Res64: 5B06C29D39ABFEB9 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:09:57] 621*2^1224691-1 is not prime. Res64: 057D2E9C84270AE6 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:12:13] 755*2^1224690-1 is not prime. Res64: 691B9B993554183F Time : 0.0 sec. user=mdettweiler [2012-07-24 06:13:16] 783*2^1224690-1 is not prime. Res64: 030D47A4BB062E7C Time : 0.0 sec. user=mdettweiler [2012-07-24 06:31:09] 709*2^1224691-1 is not prime. Res64: 26B74080D9A0412C Time : 0.0 sec. user=mdettweiler [2012-07-24 06:31:10] 783*2^1224691-1 is not prime. Res64: 882B181AEB78319F Time : 0.0 sec. user=mdettweiler [2012-07-24 06:31:13] 835*2^1224691-1 is not prime. Res64: BD47AB15BF412CF7 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:31:14] 885*2^1224691-1 is not prime. Res64: B84FFE7197ED7F09 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:42:57] 913*2^1224691-1 is not prime. Res64: 955FF29559648B4E Time : 0.0 sec. user=mdettweiler [2012-07-24 06:44:05] 973*2^1224691-1 is not prime. Res64: D4B996D9C083B0AD Time : 0.0 sec. user=mdettweiler [2012-07-24 06:51:59] 999*2^1224691-1 is not prime. Res64: 7D767C08A1AD62BD Time : 0.0 sec. user=mdettweiler [2012-07-24 06:52:00] 617*2^1224692-1 is not prime. Res64: 4602885277040AB5 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:52:01] 725*2^1224692-1 is not prime. Res64: DE52A6719A69F049 Time : 0.0 sec. user=mdettweiler [2012-07-24 06:52:01] 903*2^1224692-1 is not prime. Res64: 5745128D9D14F96A Time : 0.0 sec. user=mdettweiler [2012-07-24 07:12:36] 651*2^1224693-1 is not prime. Res64: D15AA350F42A3CE7 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:12:36] 787*2^1224693-1 is not prime. Res64: A1CCE1D6398BFEBF Time : 0.0 sec. user=mdettweiler [2012-07-24 07:12:41] 795*2^1224693-1 is not prime. Res64: 81F585A55F7BFE9D Time : 0.0 sec. user=mdettweiler [2012-07-24 07:12:44] 741*2^1224693-1 is not prime. Res64: 3A61F08EFAF31845 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:13:45] 923*2^1224692-1 is not prime. Res64: CB72F19A2C8ABDB2 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:14:51] 621*2^1224693-1 is not prime. Res64: 5C37A4849C3130F2 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:33:26] 805*2^1224693-1 is not prime. Res64: FDAAAD6342D0FFC7 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:33:27] 901*2^1224693-1 is not prime. Res64: DEFDA1085C50C27C Time : 0.0 sec. user=mdettweiler [2012-07-24 07:33:30] 635*2^1224694-1 is not prime. Res64: AEAE442A48339E64 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:33:31] 705*2^1224694-1 is not prime. Res64: E8F39E1E14D258AE Time : 0.0 sec. user=mdettweiler [2012-07-24 07:44:31] 723*2^1224694-1 is not prime. Res64: B2EFA6C744C451DC Time : 0.0 sec. user=mdettweiler [2012-07-24 07:45:36] 773*2^1224694-1 is not prime. Res64: 8D4FC37CCEEDEB8C Time : 0.0 sec. user=juhehe [2012-07-24 07:46:29] 861*2^1224687-1 is not prime. Res64: 69B7398749F042E0 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:54:05] 887*2^1224694-1 is not prime. Res64: F53D725FCAD14A5B Time : 0.0 sec. user=mdettweiler [2012-07-24 07:54:06] 915*2^1224694-1 is not prime. Res64: 08BE8576E9270807 Time : 0.0 sec. user=mdettweiler [2012-07-24 07:54:09] 825*2^1224694-1 is not prime. Res64: E06DAA42A105886E Time : 0.0 sec. user=mdettweiler [2012-07-24 07:54:09] 885*2^1224694-1 is not prime. Res64: D412FF6C9A96F558 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:14:46] 909*2^1224695-1 is not prime. Res64: 4B4DCA6346C47BDB Time : 0.0 sec. user=mdettweiler [2012-07-24 08:14:47] 985*2^1224695-1 is not prime. Res64: AFC26FEF9939A210 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:14:48] 683*2^1224696-1 is not prime. Res64: 5FF64CADF01BA483 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:14:48] 693*2^1224696-1 is not prime. Res64: A11CC097E8571642 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:15:22] 693*2^1224695-1 is not prime. Res64: 22FF9ACFC8A93FC2 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:16:28] 775*2^1224695-1 is not prime. Res64: 4092DB99EAE87807 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:35:28] 717*2^1224696-1 is not prime. Res64: A9F603CC03115B37 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:35:28] 719*2^1224696-1 is not prime. Res64: 97EBD852BDA6EB22 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:35:29] 849*2^1224696-1 is not prime. Res64: D887B2D751E7B84E Time : 0.0 sec. user=mdettweiler [2012-07-24 08:35:29] 899*2^1224696-1 is not prime. Res64: E04B5074CD12BC51 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:46:07] 927*2^1224696-1 is not prime. Res64: 82E9CEE282718BC9 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:47:15] 947*2^1224696-1 is not prime. Res64: 39E9D557BD659B94 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:56:06] 685*2^1224697-1 is not prime. Res64: 1D33D114A19518E4 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:56:06] 805*2^1224697-1 is not prime. Res64: 47C1746C0BFB4626 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:56:07] 807*2^1224697-1 is not prime. Res64: 91E316F1E09FCBF9 Time : 0.0 sec. user=mdettweiler [2012-07-24 08:56:08] 931*2^1224697-1 is not prime. Res64: DCD8002AFCEEC673 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:16:44] 887*2^1224698-1 is not prime. Res64: 6D64533698A2F84E Time : 0.0 sec. user=mdettweiler [2012-07-24 09:16:44] 741*2^1224699-1 is not prime. Res64: 72D726BD7FDD5DF4 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:16:45] 793*2^1224699-1 is not prime. Res64: 38E1C706F2219239 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:16:46] 835*2^1224699-1 is not prime. Res64: 7CE383D4339428E8 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:16:52] 707*2^1224698-1 is not prime. Res64: A8128C5D7C9AC769 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:18:01] 861*2^1224698-1 is not prime. Res64: FF15BBCD4410841D Time : 0.0 sec. user=vaughan [2012-07-24 09:18:10] 607*2^1224697-1 is not prime. Res64: EA7A53A97E94225C Time : 0.0 sec. user=mdettweiler [2012-07-24 09:37:27] 875*2^1224700-1 is not prime. Res64: 62D77F633B0C665A Time : 0.0 sec. user=mdettweiler [2012-07-24 09:37:27] 803*2^1224700-1 is not prime. Res64: 430C5AFE63987228 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:37:28] 885*2^1224700-1 is not prime. Res64: 8B22F3541FBDC3A2 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:37:28] 827*2^1224700-1 is not prime. Res64: 64B1A6E6421C8B42 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:47:43] 899*2^1224700-1 is not prime. Res64: 0A50BE065BC4A6AE Time : 0.0 sec. user=mdettweiler [2012-07-24 09:48:50] 915*2^1224700-1 is not prime. Res64: 048169133E865437 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:58:05] 989*2^1224700-1 is not prime. Res64: E25AA03049AAC96C Time : 0.0 sec. user=mdettweiler [2012-07-24 09:58:05] 645*2^1224701-1 is not prime. Res64: 5E9B0EB527025EBD Time : 0.0 sec. user=mdettweiler [2012-07-24 09:58:05] 615*2^1224701-1 is not prime. Res64: 2F56C4FEC91ABF99 Time : 0.0 sec. user=mdettweiler [2012-07-24 09:58:06] 745*2^1224701-1 is not prime. Res64: 3D615EAEF66F07A0 Time : 0.0 sec. user=mdettweiler [2012-07-24 10:18:27] 747*2^1224701-1 is not prime. Res64: D35F6DF2B270F3B3 Time : 0.0 sec. user=mdettweiler [2012-07-24 10:18:47] 861*2^1224701-1 is not prime. Res64: 4EBA51D14581F7CA Time : 0.0 sec. user=mdettweiler [2012-07-24 10:18:47] 967*2^1224701-1 is not prime. Res64: E6724188ACB6D97B Time : 0.0 sec. user=mdettweiler [2012-07-24 10:18:47] 683*2^1224702-1 is not prime. Res64: E10DE29D33D3A15E Time : 0.0 sec. user=mdettweiler [2012-07-24 10:18:48] 695*2^1224702-1 is not prime. Res64: C7C384CBE186710C Time : 0.0 sec. user=mdettweiler [2012-07-24 10:19:39] 829*2^1224701-1 is not prime. Res64: 6983EA32972E507A Time : 0.0 sec. user=mdettweiler [2012-07-24 10:39:24] 815*2^1224702-1 is not prime. Res64: B6320A7BDDAAA495 Time : 0.0 sec. user=mdettweiler [2012-07-24 10:39:24] 603*2^1224703-1 is not prime. Res64: 4F9F9243740535A9 Time : 0.0 sec. user=mdettweiler [2012-07-24 10:39:24] 625*2^1224703-1 is not prime. Res64: 6BFD86C8E3E22E74 Time : 0.0 sec. user=mdettweiler [2012-07-24 10:39:25] 649*2^1224703-1 is not prime. Res64: 1D2A63B41D769089 Time : 0.0 sec. user=mdettweiler [2012-07-24 10:50:08] 741*2^1224702-1 is not prime. Res64: 08C6DE097F25253A Time : 0.0 sec. user=mdettweiler [2012-07-24 10:51:36] 661*2^1224703-1 is not prime. Res64: BB4C3CBEF639F541 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:00:06] 853*2^1224703-1 is not prime. Res64: 58B6F1F8EF922C53 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:00:06] 723*2^1224703-1 is not prime. Res64: BF11C08BD396D9B4 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:00:07] 859*2^1224703-1 is not prime. Res64: 9E5A321EC2A5116A Time : 0.0 sec. user=mdettweiler [2012-07-24 11:00:07] 741*2^1224703-1 is not prime. Res64: ED2C17EAE02DC326 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:20:46] 951*2^1224703-1 is not prime. Res64: 8010BB211DA07E40 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:20:47] 623*2^1224704-1 is not prime. Res64: BB22FDB4D79B2EF2 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:20:50] 665*2^1224704-1 is not prime. Res64: 982FC848916248E7 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:20:50] 747*2^1224704-1 is not prime. Res64: CF67165B37ACE97E Time : 0.0 sec. user=mdettweiler [2012-07-24 11:23:11] 873*2^1224703-1 is not prime. Res64: B1A6F55097902E26 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:24:44] 883*2^1224703-1 is not prime. Res64: E4FCF27902E7742E Time : 0.0 sec. user=mdettweiler [2012-07-24 11:41:28] 929*2^1224704-1 is not prime. Res64: 51DD619F48C62CF4 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:41:29] 727*2^1224705-1 is not prime. Res64: A673A4E91BB28671 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:41:29] 735*2^1224705-1 is not prime. Res64: CF76BB543565F47E Time : 0.0 sec. user=mdettweiler [2012-07-24 11:41:30] 765*2^1224705-1 is not prime. Res64: 10B71B5A13DD8F3C Time : 0.0 sec. user=mdettweiler [2012-07-24 11:54:55] 861*2^1224705-1 is not prime. Res64: D577F37994B05DE2 Time : 0.0 sec. user=mdettweiler [2012-07-24 11:56:46] 885*2^1224705-1 is not prime. Res64: E73CBE0AB414C167 Time : 0.0 sec. user=mdettweiler [2012-07-24 12:02:07] 997*2^1224705-1 is not prime. Res64: BB3861072D92DFC3 Time : 0.0 sec. user=mdettweiler [2012-07-24 12:02:08] 647*2^1224706-1 is not prime. Res64: C90A2B41B473764B Time : 0.0 sec. user=mdettweiler [2012-07-24 12:02:08] 635*2^1224706-1 is not prime. Res64: FBA3D30A80D5C5D1 Time : 0.0 sec. user=mdettweiler [2012-07-24 12:02:09] 713*2^1224706-1 is not prime. Res64: 740E2C7A6465180D Time : 0.0 sec. user=mdettweiler [2012-07-24 12:22:47] 765*2^1224706-1 is not prime. Res64: 9CBE50D2F59226FA Time : 0.0 sec. user=mdettweiler [2012-07-24 12:22:47] 773*2^1224706-1 is not prime. Res64: 6EC04965F061E09C Time : 0.0 sec. user=mdettweiler [2012-07-24 12:22:48] 777*2^1224706-1 is not prime. Res64: 83CE94A30E8CD13D Time : 0.0 sec. user=mdettweiler [2012-07-24 12:22:48] 783*2^1224706-1 is not prime. Res64: 935660878C72A38E Time : 0.0 sec. user=mdettweiler [2012-07-24 12:25:54] 723*2^1224706-1 is not prime. Res64: D2D7F738576CD1B9 Time : 0.0 sec. user=mdettweiler [2012-07-24 12:27:48] 735*2^1224706-1 is not prime. Res64: AA3E5BE52ECCCE53 Time : 0.0 sec. user=mdettweiler [2012-07-24 12:43:29] 917*2^1224706-1 is not prime. Res64: 2DE1D08AEC70415C Time : 0.0 sec. user=mdettweiler [2012-07-24 12:43:30] 993*2^1224706-1 is not prime. Res64: 05824B421C44370D Time : 0.0 sec. user=mdettweiler [2012-07-24 12:43:30] 955*2^1224707-1 is not prime. Res64: 7314BFEF9620643F Time : 0.0 sec. user=mdettweiler [2012-07-24 12:43:31] 973*2^1224707-1 is not prime. Res64: 4EF795E60E64AEE8 Time : 0.0 sec. user=mdettweiler [2012-07-24 12:56:36] 979*2^1224707-1 is not prime. Res64: FEA7423FC3962E5F Time : 0.0 sec. user=mdettweiler [2012-07-24 12:58:31] 981*2^1224707-1 is not prime. Res64: 8D83A3C703B093B9 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:04:08] 627*2^1224708-1 is not prime. Res64: 3501D5590C45585C Time : 0.0 sec. user=mdettweiler [2012-07-24 13:04:09] 647*2^1224708-1 is not prime. Res64: EEC39FA30055046C Time : 0.0 sec. user=mdettweiler [2012-07-24 13:04:10] 669*2^1224708-1 is not prime. Res64: CB932BC4B235FC6E Time : 0.0 sec. user=mdettweiler [2012-07-24 13:04:12] 689*2^1224708-1 is not prime. Res64: F1E5E02DEE48B0D6 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:25:24] 767*2^1224708-1 is not prime. Res64: F6CCBA7BD60F8677 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:25:24] 835*2^1224709-1 is not prime. Res64: 5D7824134A971C86 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:25:26] 897*2^1224709-1 is not prime. Res64: DEC7DCB36878FFC9 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:25:26] 945*2^1224709-1 is not prime. Res64: BA287BB1AC916C05 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:27:14] 705*2^1224708-1 is not prime. Res64: 00D1A08F16FDFF64 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:29:03] 707*2^1224708-1 is not prime. Res64: 181F17152464EAB9 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:46:05] 1001*2^1224710-1 is not prime. Res64: CD0640E52355C46F Time : 0.0 sec. user=mdettweiler [2012-07-24 13:46:05] 635*2^1224710-1 is not prime. Res64: DAE9B0B92EC590E8 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:46:05] 615*2^1224711-1 is not prime. Res64: CE35118BC46E191E Time : 0.0 sec. user=mdettweiler [2012-07-24 13:46:06] 651*2^1224710-1 is not prime. Res64: 934E2DF4E490D31F Time : 0.0 sec. user=mdettweiler [2012-07-24 13:57:57] 649*2^1224711-1 is not prime. Res64: 43DB5BD8AF643ED1 Time : 0.0 sec. user=mdettweiler [2012-07-24 13:59:48] 739*2^1224711-1 is not prime. Res64: 38046AF182E2EB90 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:06:43] 969*2^1224711-1 is not prime. Res64: BE5F61BA2FFCD91E Time : 0.0 sec. user=mdettweiler [2012-07-24 14:06:45] 933*2^1224712-1 is not prime. Res64: 618AED268489F96E Time : 0.0 sec. user=mdettweiler [2012-07-24 14:06:45] 649*2^1224713-1 is not prime. Res64: E6B7F34BAC29C203 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:06:46] 771*2^1224713-1 is not prime. Res64: 3EDAC9E8E5C7B0E4 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:27:23] 789*2^1224713-1 is not prime. Res64: CEAC0F6F189F4FFF Time : 0.0 sec. user=mdettweiler [2012-07-24 14:27:23] 855*2^1224713-1 is not prime. Res64: B56D7A5F0094B275 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:27:24] 925*2^1224713-1 is not prime. Res64: A4E845C56C218948 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:27:24] 633*2^1224714-1 is not prime. Res64: 413A349E8F43193A Time : 0.0 sec. user=mdettweiler [2012-07-24 14:28:35] 775*2^1224713-1 is not prime. Res64: D03530E96D1E1A9D Time : 0.0 sec. user=mdettweiler [2012-07-24 14:30:22] 787*2^1224713-1 is not prime. Res64: A86DC53B6F3CE2E9 Time : 0.0 sec. user=vaughan [2012-07-24 14:37:23] 895*2^1224711-1 is not prime. Res64: 726DA451F48B73AF Time : 0.0 sec. user=mdettweiler [2012-07-24 14:48:05] 635*2^1224714-1 is not prime. Res64: 903F95AFB3FB7FA6 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:48:05] 657*2^1224714-1 is not prime. Res64: 0819EF6E756BD020 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:48:06] 833*2^1224714-1 is not prime. Res64: F1CDA955A407214B Time : 0.0 sec. user=mdettweiler [2012-07-24 14:48:06] 903*2^1224714-1 is not prime. Res64: 5ED7C2D44F561C32 Time : 0.0 sec. user=mdettweiler [2012-07-24 14:59:16] 947*2^1224714-1 is not prime. Res64: D1B38EF95ABE5F92 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:01:06] 975*2^1224714-1 is not prime. Res64: 2A2CACD3846D435E Time : 0.0 sec. user=mdettweiler [2012-07-24 15:08:44] 649*2^1224715-1 is not prime. Res64: C9F30A78AFCC4D3F Time : 0.0 sec. user=mdettweiler [2012-07-24 15:08:45] 775*2^1224715-1 is not prime. Res64: 6B6369FE07FADE7C Time : 0.0 sec. user=mdettweiler [2012-07-24 15:08:45] 685*2^1224715-1 is not prime. Res64: B969F9F1E9559559 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:08:45] 819*2^1224715-1 is not prime. Res64: 43529BC35E0DBFD5 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:29:42] 919*2^1224715-1 is not prime. Res64: 04134947F70AF6A5 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:29:43] 939*2^1224715-1 is not prime. Res64: 0926B4B3DAE8EDCB Time : 0.0 sec. user=mdettweiler [2012-07-24 15:29:43] 603*2^1224716-1 is not prime. Res64: E7265AA2DEC73AD3 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:29:44] 617*2^1224716-1 is not prime. Res64: 72A739A1A38F7776 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:29:54] 829*2^1224715-1 is not prime. Res64: AC1008D8F57160DA Time : 0.0 sec. user=mdettweiler [2012-07-24 15:31:49] 915*2^1224715-1 is not prime. Res64: 031321B6A3AAA5D5 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:50:24] 623*2^1224716-1 is not prime. Res64: BABB6956D6028575 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:50:25] 657*2^1224716-1 is not prime. Res64: 72CABED2313921C9 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:50:25] 725*2^1224716-1 is not prime. Res64: 72E8647D5BEEFD94 Time : 0.0 sec. user=mdettweiler [2012-07-24 15:50:26] 803*2^1224716-1 is not prime. Res64: E743DAAF1305129E Time : 0.0 sec. user=mdettweiler [2012-07-24 16:00:37] 843*2^1224716-1 is not prime. Res64: 9FA28208568A9313 Time : 0.0 sec. user=mdettweiler [2012-07-24 16:02:26] 741*2^1224717-1 is not prime. Res64: 88F65ACF9FD545AD Time : 0.0 sec. user=mdettweiler [2012-07-24 16:11:02] 847*2^1224717-1 is not prime. Res64: 28CD2889DAFDF9A5 Time : 0.0 sec. user=mdettweiler [2012-07-24 16:11:03] 961*2^1224717-1 is not prime. Res64: 6D2580580F01A0CF Time : 0.0 sec. user=mdettweiler [2012-07-24 16:11:03] 979*2^1224717-1 is not prime. Res64: 6368954F1AB0BFCA Time : 0.0 sec. user=mdettweiler [2012-07-24 16:11:04] 651*2^1224718-1 is not prime. Res64: 8897918DEE8DAB5A Time : 0.0 sec. user=mdettweiler [2012-07-24 16:31:52] 857*2^1224718-1 is not prime. Res64: 834AD016BA72BED9 Time : 0.0 sec. user=mdettweiler [2012-07-24 16:31:52] 861*2^1224718-1 is not prime. Res64: 77F726518DAF6985 Time : 0.0 sec. user=mdettweiler [2012-07-24 16:31:54] 1001*2^1224718-1 is not prime. Res64: 4FB27EB6583E9BDB Time : 0.0 sec. user=mdettweiler [2012-07-24 16:31:54] 657*2^1224718-1 is not prime. Res64: DD94DBF5100219B2 Time : 0.0 sec. user=mdettweiler [2012-07-24 16:31:54] 645*2^1224719-1 is not prime. Res64: 4680FD5EAC3647EB Time : 0.0 sec. user=mdettweiler [2012-07-24 16:33:40] 773*2^1224718-1 is not prime. Res64: 07FF84F4878124FD Time : 0.0 sec. user=mdettweiler [2012-07-24 16:52:49] 649*2^1224719-1 is not prime. Res64: C44DFCB7FA43D1B1 Time : 0.0 sec. user=mdettweiler [2012-07-24 16:52:49] 811*2^1224719-1 is not prime. Res64: 1F314CBDE98DB98C Time : 0.0 sec. user=mdettweiler [2012-07-24 16:52:50] 729*2^1224719-1 is not prime. Res64: 0B578DA5A7D7AADB Time : 0.0 sec. user=mdettweiler [2012-07-24 16:52:50] 741*2^1224719-1 is not prime. Res64: 6BAAD4DFFD8AC23D Time : 0.0 sec. user=mdettweiler [2012-07-24 17:02:35] 685*2^1224719-1 is not prime. Res64: 79C5F5DF8C70583C Time : 0.0 sec. user=mdettweiler [2012-07-24 17:04:15] 841*2^1224719-1 is not prime. Res64: 01FE99CC48E1037D Time : 0.0 sec. user=vaughan [2012-07-24 17:10:33] 993*2^1224714-1 is not prime. Res64: DF8BCFC569B2E66E Time : 0.0 sec. user=mdettweiler [2012-07-24 17:13:34] 855*2^1224719-1 is not prime. Res64: 3E48AC66F5B05F33 Time : 0.0 sec. user=mdettweiler [2012-07-24 17:13:42] 879*2^1224719-1 is not prime. Res64: F7A10752AB965E5E Time : 0.0 sec. user=mdettweiler [2012-07-24 17:33:14] 693*2^1224720-1 is not prime. Res64: F4CF38706770E73A Time : 0.0 sec. user=mdettweiler [2012-07-24 17:34:55] 699*2^1224720-1 is not prime. Res64: 2FD2CDFF06C213BB Time : 0.0 sec. user=mdettweiler [2012-07-24 17:41:59] 861*2^1224719-1 is not prime. Res64: 2FA350603D0142B0 Time : 0.0 sec. user=mdettweiler [2012-07-24 17:52:13] 665*2^1224720-1 is not prime. Res64: 8297CDE219597C33 Time : 0.0 sec. user=mdettweiler [2012-07-24 18:03:12] 839*2^1224720-1 is not prime. Res64: 5775AF7A2C7281DA Time : 0.0 sec. user=mdettweiler [2012-07-24 18:03:13] 887*2^1224720-1 is not prime. Res64: 56E5E3606481724C Time : 0.0 sec. user=mdettweiler [2012-07-24 18:04:06] 717*2^1224720-1 is not prime. Res64: CB8AABADA1E9705F Time : 0.0 sec. user=mdettweiler [2012-07-24 18:06:01] 735*2^1224720-1 is not prime. Res64: AA160B21B41ACE1F Time : 0.0 sec. user=vaughan [2012-07-24 18:09:48] 707*2^1224720-1 is not prime. Res64: FD118A8BEF77FB0B Time : 0.0 sec. user=mdettweiler [2012-07-24 18:13:27] 917*2^1224720-1 is not prime. Res64: CF688C576C69F834 Time : 0.0 sec. user=mdettweiler [2012-07-24 18:13:27] 935*2^1224720-1 is not prime. Res64: 0300AD04189205DF Time : 0.0 sec. user=mdettweiler [2012-07-24 18:24:31] 999*2^1224720-1 is not prime. Res64: E0D002CD6D7596CC Time : 0.0 sec. user=mdettweiler [2012-07-24 18:24:31] 625*2^1224721-1 is not prime. Res64: 9C5A21869AFC9A8A Time : 0.0 sec. user=mdettweiler [2012-07-24 18:34:31] 775*2^1224721-1 is not prime. Res64: 6953ACF7D140E1F9 Time : 0.0 sec. user=mdettweiler [2012-07-24 18:34:31] 807*2^1224721-1 is not prime. Res64: 85FEE2FB61F3E5DB Time : 0.0 sec. user=mdettweiler [2012-07-24 18:34:46] 691*2^1224721-1 is not prime. Res64: 44F7BCD2E21FF2FC Time : 0.0 sec. user=mdettweiler [2012-07-24 18:36:40] 727*2^1224721-1 is not prime. Res64: AC0C1BE414EDD40E Time : 0.0 sec. user=mdettweiler [2012-07-24 18:45:34] 819*2^1224721-1 is not prime. Res64: AEDBC83084304B71 Time : 0.0 sec. user=mdettweiler [2012-07-24 18:45:35] 849*2^1224721-1 is not prime. Res64: E62178BD06703C73 Time : 0.0 sec. user=mdettweiler [2012-07-24 18:55:22] 871*2^1224721-1 is not prime. Res64: 81C9B7859F2194AA Time : 0.0 sec. user=mdettweiler [2012-07-24 18:55:23] 945*2^1224721-1 is not prime. Res64: 59B342948F7AF629 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:05:26] 677*2^1224722-1 is not prime. Res64: E27D5CF0F2BDE244 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:06:12] 837*2^1224722-1 is not prime. Res64: D27CA83E16B1F31B Time : 0.0 sec. user=mdettweiler [2012-07-24 19:06:14] 873*2^1224722-1 is not prime. Res64: E468F316BE1C9437 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:07:21] 683*2^1224722-1 is not prime. Res64: C9C28B65E36B2ADE Time : 0.0 sec. user=mdettweiler [2012-07-24 19:16:01] 609*2^1224723-1 is not prime. Res64: DC55328E76214533 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:16:01] 675*2^1224723-1 is not prime. Res64: 2FA714510FA74183 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:26:53] 745*2^1224723-1 is not prime. Res64: 8FAC334B978A6651 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:26:54] 859*2^1224723-1 is not prime. Res64: 43E338159B07FD7E Time : 0.0 sec. user=mdettweiler [2012-07-24 19:36:09] 699*2^1224723-1 is not prime. Res64: 4D79D664C6350F4E Time : 0.0 sec. user=mdettweiler [2012-07-24 19:36:38] 891*2^1224723-1 is not prime. Res64: 8E00511EF1462999 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:36:39] 759*2^1224724-1 is not prime. Res64: 7FD1CE2540300A69 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:38:02] 873*2^1224723-1 is not prime. Res64: 4AFF8DB0E411C7E0 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:47:33] 855*2^1224724-1 is not prime. Res64: CB718D58BC9BF125 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:47:34] 869*2^1224724-1 is not prime. Res64: B5BD536869A26281 Time : 0.0 sec. user=vaughan [2012-07-24 19:53:36] 747*2^1224721-1 is not prime. Res64: EED65EA60DDF3F5A Time : 0.0 sec. user=mdettweiler [2012-07-24 19:57:17] 983*2^1224724-1 is not prime. Res64: CA50D3D7F521A362 Time : 0.0 sec. user=mdettweiler [2012-07-24 19:57:18] 601*2^1224725-1 is not prime. Res64: 3C651949CD48422D Time : 0.0 sec. user=mdettweiler [2012-07-24 20:06:43] 959*2^1224724-1 is not prime. Res64: 5554AB20EA4F8661 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:08:11] 715*2^1224725-1 is not prime. Res64: 86C0CA5CB64673EB Time : 0.0 sec. user=mdettweiler [2012-07-24 20:08:13] 831*2^1224725-1 is not prime. Res64: E040CEC06014555D Time : 0.0 sec. user=mdettweiler [2012-07-24 20:08:41] 655*2^1224725-1 is not prime. Res64: 1A58072DDA2C2C02 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:17:57] 925*2^1224725-1 is not prime. Res64: F334A317A22E928E Time : 0.0 sec. user=mdettweiler [2012-07-24 20:17:57] 979*2^1224725-1 is not prime. Res64: 24774E13ADB754E2 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:28:56] 647*2^1224726-1 is not prime. Res64: 4EF9F9E04FBCC8A3 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:28:56] 725*2^1224726-1 is not prime. Res64: 086D4346D7EAD468 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:37:32] 615*2^1224726-1 is not prime. Res64: BA8A0DC0A1256B83 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:38:36] 843*2^1224726-1 is not prime. Res64: 2912FAA9C840A074 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:38:36] 873*2^1224726-1 is not prime. Res64: 8C5AD1579EC3434D Time : 0.0 sec. user=mdettweiler [2012-07-24 20:39:19] 747*2^1224726-1 is not prime. Res64: 4AAAAEA29AADEC70 Time : 0.0 sec. user=vaughan [2012-07-24 20:48:40] 889*2^1224725-1 is not prime. Res64: 691E2892BABADBB4 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:49:37] 875*2^1224448-1 is not prime. Res64: EAA9E22E6744D490 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:49:38] 887*2^1224448-1 is not prime. Res64: 561F82F29B3F9758 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:59:15] 999*2^1224448-1 is not prime. Res64: C8A86AFB05F55607 Time : 0.0 sec. user=mdettweiler [2012-07-24 20:59:15] 713*2^1224450-1 is not prime. Res64: F463ED8D1F4E836F Time : 0.0 sec. user=mdettweiler [2012-07-24 21:08:17] 929*2^1224448-1 is not prime. Res64: B59888DDBBB4A5A6 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:09:57] 851*2^1224450-1 is not prime. Res64: BA7A6AF91D71BB74 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:10:15] 703*2^1224451-1 is not prime. Res64: C0E1BD0427A9A50E Time : 0.0 sec. user=mdettweiler [2012-07-24 21:10:16] 769*2^1224451-1 is not prime. Res64: 7316ACF617169FDF Time : 0.0 sec. user=mdettweiler [2012-07-24 21:19:53] 801*2^1224451-1 is not prime. Res64: AECBDCC3E0B75795 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:19:54] 935*2^1224452-1 is not prime. Res64: E12271CA128AE5F9 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:30:54] 673*2^1224727-1 is not prime. Res64: 774A27F67296CB05 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:30:55] 703*2^1224727-1 is not prime. Res64: 247F57BF105942A1 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:39:07] 867*2^1224457-1 is not prime. Res64: A6CCEF2522ABAD93 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:40:37] 729*2^1224727-1 is not prime. Res64: 857E0B80A45CD263 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:40:38] 735*2^1224727-1 is not prime. Res64: 94FCB35305191B64 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:40:39] 993*2^1224726-1 is not prime. Res64: 7AACAA834786D364 Time : 0.0 sec. user=mdettweiler [2012-07-24 21:51:35] 741*2^1224727-1 is not prime. Res64: 8087EBCC15F2090A Time : 0.0 sec. user=mdettweiler [2012-07-24 21:51:35] 793*2^1224727-1 is not prime. Res64: 9E3AAC5BE899C894 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:01:16] 617*2^1224728-1 is not prime. Res64: 20C63C188E4727BB Time : 0.0 sec. user=mdettweiler [2012-07-24 22:01:18] 629*2^1224728-1 is not prime. Res64: AE736E1E7FBABDC3 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:09:44] 843*2^1224727-1 is not prime. Res64: 4B8D2D807F10A389 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:11:18] 657*2^1224728-1 is not prime. Res64: 06E85FF3852F3924 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:12:14] 935*2^1224728-1 is not prime. Res64: 40B0542EB7FEB3FE Time : 0.0 sec. user=mdettweiler [2012-07-24 22:12:18] 999*2^1224728-1 is not prime. Res64: 4DC79D63FC809486 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:22:07] 681*2^1224729-1 is not prime. Res64: CF0AA8A753EBEFC5 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:22:07] 727*2^1224729-1 is not prime. Res64: 35B667A6431F11BB Time : 0.0 sec. user=vaughan [2012-07-24 22:32:29] 945*2^1224450-1 is not prime. Res64: 52AB6116BCF850C0 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:33:01] 861*2^1224729-1 is not prime. Res64: 97B4C54B70DFED35 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:33:02] 865*2^1224729-1 is not prime. Res64: 6080F91DB98A7667 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:40:22] 735*2^1224729-1 is not prime. Res64: C78279B557A5C4F7 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:41:59] 795*2^1224729-1 is not prime. Res64: B58E45D0E5AD6D6F Time : 0.0 sec. user=mdettweiler [2012-07-24 22:42:51] 889*2^1224729-1 is not prime. Res64: 75B0C384BAD6286F Time : 0.0 sec. user=mdettweiler [2012-07-24 22:42:51] 907*2^1224729-1 is not prime. Res64: 1BD3B992325728F7 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:53:40] 765*2^1224730-1 is not prime. Res64: 75FE1A59BDAE08C1 Time : 0.0 sec. user=mdettweiler [2012-07-24 22:53:41] 777*2^1224730-1 is not prime. Res64: 7F02AB827A2A7E60 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:03:31] 987*2^1224730-1 is not prime. Res64: 3650DE974B0E9119 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:03:32] 615*2^1224731-1 is not prime. Res64: EE9226AEE5EB917D Time : 0.0 sec. user=mdettweiler [2012-07-24 23:11:03] 873*2^1224730-1 is not prime. Res64: EEA12A9D341D6D48 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:12:43] 981*2^1224730-1 is not prime. Res64: D94FD36724F7B66F Time : 0.0 sec. user=mdettweiler [2012-07-24 23:14:21] 685*2^1224731-1 is not prime. Res64: 584BA140D0761A74 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:14:22] 711*2^1224731-1 is not prime. Res64: 9CB10EFB74170B73 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:24:13] 855*2^1224731-1 is not prime. Res64: 863B34F788A99E9D Time : 0.0 sec. user=mdettweiler [2012-07-24 23:24:14] 885*2^1224731-1 is not prime. Res64: 2B7838FC7F20C701 Time : 0.0 sec. user=vaughan [2012-07-24 23:27:47] 695*2^1224730-1 is not prime. Res64: 1238A38F49B30521 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:35:20] 889*2^1224731-1 is not prime. Res64: B2122F3991A436B6 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:35:20] 609*2^1224732-1 is not prime. Res64: 0073EBF81D8DD7C1 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:42:08] 657*2^1224489-1 is not prime. Res64: 0F8F9E82EFAE0F61 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:43:35] 709*2^1224489-1 is not prime. Res64: 0A3862734A9BA133 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:44:58] 627*2^1224732-1 is not prime. Res64: 1278E33FF9FBF292 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:44:59] 899*2^1224732-1 is not prime. Res64: BDA95C5EE7A18886 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:55:59] 687*2^1224733-1 is not prime. Res64: D1AF7EAE82E73063 Time : 0.0 sec. user=mdettweiler [2012-07-24 23:55:59] 721*2^1224733-1 is not prime. Res64: 6B5DABEC8E615AA4 Time : 0.0 sec.