user=mdettweiler [2012-12-14 00:05:00] 819*2^1237360-1 is not prime. Res64: 1C0D72D17F91E033 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:05:03] 825*2^1237360-1 is not prime. Res64: 98D6ED163EAB5582 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:16:05] 833*2^1237360-1 is not prime. Res64: B0296F410AFCD326 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:16:06] 843*2^1237360-1 is not prime. Res64: 1AF1E8F3A6DACD93 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:22:48] 873*2^1237360-1 is not prime. Res64: 42F055DAE419BAEA Time : 0.0 sec. user=mdettweiler [2012-12-14 00:22:48] 897*2^1237360-1 is not prime. Res64: 1613CF59E2CB33EF Time : 0.0 sec. user=mdettweiler [2012-12-14 00:33:28] 711*2^1237361-1 is not prime. Res64: 68D858CEE2D1567E Time : 0.0 sec. user=mdettweiler [2012-12-14 00:33:29] 967*2^1237361-1 is not prime. Res64: B738E9035D601430 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:40:08] 621*2^1237362-1 is not prime. Res64: 0A736C740674AB40 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:40:09] 627*2^1237362-1 is not prime. Res64: 6F6462A7CDEE09B9 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:50:47] 717*2^1237362-1 is not prime. Res64: 829BD2E3EA14061E Time : 0.0 sec. user=mdettweiler [2012-12-14 00:50:47] 725*2^1237362-1 is not prime. Res64: CB87D57A021381C2 Time : 0.0 sec. user=mdettweiler [2012-12-14 00:57:26] 815*2^1237362-1 is not prime. Res64: CC826EBBC82EDECE Time : 0.0 sec. user=mdettweiler [2012-12-14 00:57:27] 945*2^1237362-1 is not prime. Res64: 5481CB5949BD6766 Time : 0.0 sec. user=mdettweiler [2012-12-14 01:08:06] 983*2^1237362-1 is not prime. Res64: AA48EBE9F856DB31 Time : 0.0 sec. user=mdettweiler [2012-12-14 01:08:07] 723*2^1237363-1 is not prime. Res64: 181DCE491FFC155F Time : 0.0 sec. user=mdettweiler [2012-12-14 01:14:45] 783*2^1237363-1 is not prime. Res64: F37ED4810A910757 Time : 0.0 sec. user=mdettweiler [2012-12-14 01:14:46] 853*2^1237363-1 is not prime. Res64: 6F28839EBD38EE3D Time : 0.0 sec. user=mdettweiler [2012-12-14 01:25:33] 873*2^1237363-1 is not prime. Res64: E3AA21B32AA8189A Time : 0.0 sec. user=mdettweiler [2012-12-14 01:25:34] 951*2^1237363-1 is not prime. Res64: 77737CF9346DACFB Time : 0.0 sec. user=mdettweiler [2012-12-14 01:32:31] 605*2^1237364-1 is not prime. Res64: BE2F66BAB8187453 Time : 0.0 sec. user=mdettweiler [2012-12-14 01:32:31] 743*2^1237364-1 is not prime. Res64: 45FA76E00BD926FC Time : 0.0 sec. user=mdettweiler [2012-12-14 01:43:01] 767*2^1237364-1 is not prime. Res64: 46936923A2E748EB Time : 0.0 sec. user=mdettweiler [2012-12-14 01:43:02] 827*2^1237364-1 is not prime. Res64: D272F62D74B1A326 Time : 0.0 sec. user=mdettweiler [2012-12-14 01:49:51] 873*2^1237364-1 is not prime. Res64: DF6F9E18466CCB9E Time : 0.0 sec. user=mdettweiler [2012-12-14 01:49:51] 903*2^1237364-1 is not prime. Res64: F1C3C29D09D8DC72 Time : 0.0 sec. user=mdettweiler [2012-12-14 02:00:20] 909*2^1237364-1 is not prime. Res64: DD8CD646BBF23B62 Time : 0.0 sec. user=mdettweiler [2012-12-14 02:00:21] 639*2^1237365-1 is not prime. Res64: 56BE86CB3C13A2DF Time : 0.0 sec. user=mdettweiler [2012-12-14 02:07:09] 717*2^1237365-1 is not prime. Res64: 05E9EAD97CAADDBF Time : 0.0 sec. user=mdettweiler [2012-12-14 02:07:11] 741*2^1237365-1 is not prime. Res64: CB599C56EF3AB719 Time : 0.0 sec. user=mdettweiler [2012-12-14 02:17:44] 781*2^1237365-1 is not prime. Res64: E13811DD666E8C11 Time : 0.0 sec. user=mdettweiler [2012-12-14 02:17:45] 817*2^1237365-1 is not prime. Res64: 1C12CC46FC5D56F8 Time : 0.0 sec. user=juhehe [2012-12-14 02:19:46] 649*2^1237365-1 is not prime. Res64: 3ACF2EA0D5779E8E Time : 0.0 sec. user=mdettweiler [2012-12-14 02:24:32] 831*2^1237365-1 is not prime. Res64: 44CE3640B17D9BFC Time : 0.0 sec. user=mdettweiler [2012-12-14 02:24:33] 985*2^1237365-1 is not prime. Res64: 621494783DAD8230 Time : 0.0 sec. user=mdettweiler [2012-12-14 02:35:12] 611*2^1237366-1 is not prime. Res64: ED37356986542574 Time : 0.0 sec. user=mdettweiler [2012-12-14 02:35:15] 623*2^1237366-1 is not prime. Res64: 7740AB82E9DA236F Time : 0.0 sec. user=mdettweiler [2012-12-14 02:41:52] 747*2^1237366-1 is not prime. Res64: 5866E6F82B7F67DB Time : 0.0 sec. user=mdettweiler [2012-12-14 02:41:53] 765*2^1237366-1 is not prime. Res64: 7E57DE4F9B9429EE Time : 0.0 sec. user=mdettweiler [2012-12-14 02:52:46] 783*2^1237366-1 is not prime. Res64: 72FAB71F7D562DFE Time : 0.0 sec. user=mdettweiler [2012-12-14 02:52:47] 825*2^1237366-1 is not prime. Res64: 39302A60E0B57D37 Time : 0.0 sec. user=juhehe [2012-12-14 02:53:58] 645*2^1237366-1 is not prime. Res64: 784363F6E5F2BC58 Time : 0.0 sec. user=mdettweiler [2012-12-14 02:59:22] 843*2^1237366-1 is not prime. Res64: 7312E32A381F554C Time : 0.0 sec. user=mdettweiler [2012-12-14 02:59:23] 933*2^1237366-1 is not prime. Res64: A7D8A24FFE47CC3C Time : 0.0 sec. user=mdettweiler [2012-12-14 03:10:15] 945*2^1237366-1 is not prime. Res64: BFCFE2D5A2244417 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:10:18] 621*2^1237367-1 is not prime. Res64: 0B00313DF5617CFF Time : 0.0 sec. user=mdettweiler [2012-12-14 03:16:49] 673*2^1237367-1 is not prime. Res64: 77E005E44332DF94 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:16:50] 865*2^1237367-1 is not prime. Res64: 34BDC10DAB789FC9 Time : 0.0 sec. user=juhehe [2012-12-14 03:27:48] 651*2^1237367-1 is not prime. Res64: 56AA31B5B0E811F2 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:27:51] 629*2^1237368-1 is not prime. Res64: 824E9F9C49CB40B4 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:27:51] 663*2^1237368-1 is not prime. Res64: 65A55F4D3420F651 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:34:10] 723*2^1237368-1 is not prime. Res64: 5A05CBCBF06BC290 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:34:12] 765*2^1237368-1 is not prime. Res64: 48677CB599FE5A0A Time : 0.0 sec. user=mdettweiler [2012-12-14 03:45:09] 619*2^1237369-1 is not prime. Res64: 84FEA5FC5A965DCA Time : 0.0 sec. user=mdettweiler [2012-12-14 03:45:10] 661*2^1237369-1 is not prime. Res64: 150E9EE063B5AA41 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:51:43] 951*2^1237369-1 is not prime. Res64: 39BC4E88EDA1D332 Time : 0.0 sec. user=mdettweiler [2012-12-14 03:51:44] 975*2^1237369-1 is not prime. Res64: 276905234F5A2ABD Time : 0.0 sec. user=juhehe [2012-12-14 04:01:29] 789*2^1237368-1 is not prime. Res64: FF5356A572CF19B9 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:02:29] 985*2^1237369-1 is not prime. Res64: D14A75A51475EB8B Time : 0.0 sec. user=mdettweiler [2012-12-14 04:02:32] 711*2^1237370-1 is not prime. Res64: DDAE1E96C4727261 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:09:02] 753*2^1237370-1 is not prime. Res64: 312C958CAA3B0EE0 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:09:05] 773*2^1237370-1 is not prime. Res64: 9FB7709BE1E8F038 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:19:56] 917*2^1237370-1 is not prime. Res64: 091C7C1649528A33 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:19:57] 977*2^1237370-1 is not prime. Res64: 2C082A6E68A779CD Time : 0.0 sec. user=mdettweiler [2012-12-14 04:26:34] 1001*2^1237370-1 is not prime. Res64: CDA2ECBD8AA83782 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:26:34] 615*2^1237371-1 is not prime. Res64: 3D5F34D6A7600C59 Time : 0.0 sec. user=juhehe [2012-12-14 04:35:35] 791*2^1237370-1 is not prime. Res64: 579CC70DC2E4925E Time : 0.0 sec. user=mdettweiler [2012-12-14 04:37:15] 619*2^1237371-1 is not prime. Res64: DD3E0AB6D4BEE4D8 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:37:16] 703*2^1237371-1 is not prime. Res64: DACCAB2A6F151051 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:43:53] 723*2^1237371-1 is not prime. Res64: B32D03C163BFD76C Time : 0.0 sec. user=mdettweiler [2012-12-14 04:43:53] 903*2^1237371-1 is not prime. Res64: 2BF5B51CA6E3E6D1 Time : 0.0 sec. user=mdettweiler [2012-12-14 04:54:36] 705*2^1237372-1 is not prime. Res64: 3B74B0B8179B8EAC Time : 0.0 sec. user=mdettweiler [2012-12-14 04:54:37] 813*2^1237372-1 is not prime. Res64: E0D960EB4FCA7779 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:01:12] 615*2^1237373-1 is not prime. Res64: 9C7639DAAB4DCD6C Time : 0.0 sec. user=mdettweiler [2012-12-14 05:01:13] 657*2^1237373-1 is not prime. Res64: 742CC0BD6BA5BCDC Time : 0.0 sec. user=juhehe [2012-12-14 05:09:13] 639*2^1237372-1 is not prime. Res64: FB50EDF0EDBDAFB0 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:11:54] 727*2^1237373-1 is not prime. Res64: 37A4F2A37F2FCFE7 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:11:56] 795*2^1237373-1 is not prime. Res64: 727FBA0FD1F85038 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:18:44] 831*2^1237373-1 is not prime. Res64: 9E83DFE06A9C2BDA Time : 0.0 sec. user=mdettweiler [2012-12-14 05:18:45] 859*2^1237373-1 is not prime. Res64: 4A3DD099BA8E9B29 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:29:14] 967*2^1237373-1 is not prime. Res64: 40DD06A60495C5D8 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:29:15] 985*2^1237373-1 is not prime. Res64: 5BA426F5A7E91840 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:36:03] 611*2^1237374-1 is not prime. Res64: EDCA2E6D26FD8D2E Time : 0.0 sec. user=mdettweiler [2012-12-14 05:36:04] 621*2^1237374-1 is not prime. Res64: 485AECFFBE09EAC2 Time : 0.0 sec. user=juhehe [2012-12-14 05:42:50] 945*2^1237373-1 is not prime. Res64: 012550A3D1E44289 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:46:33] 635*2^1237374-1 is not prime. Res64: 62B394F0624735EC Time : 0.0 sec. user=mdettweiler [2012-12-14 05:46:33] 681*2^1237374-1 is not prime. Res64: 23CE5FD0FE01E704 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:53:22] 683*2^1237374-1 is not prime. Res64: 364039C8C1921339 Time : 0.0 sec. user=mdettweiler [2012-12-14 05:53:22] 917*2^1237374-1 is not prime. Res64: FD1D3CA2B2B66A32 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:03:52] 651*2^1237375-1 is not prime. Res64: EF7AD796EE308CE1 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:03:53] 661*2^1237375-1 is not prime. Res64: 6C6103A009B3113D Time : 0.0 sec. user=mdettweiler [2012-12-14 06:10:41] 679*2^1237375-1 is not prime. Res64: 7C4B1855469601A4 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:10:44] 763*2^1237375-1 is not prime. Res64: C201D1FBBF6BA92A Time : 0.0 sec. user=mdettweiler [2012-12-14 06:21:17] 859*2^1237375-1 is not prime. Res64: C471E76F3246BA0A Time : 0.0 sec. user=mdettweiler [2012-12-14 06:21:18] 861*2^1237375-1 is not prime. Res64: AF4FF5449F7FE143 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:28:23] 885*2^1237375-1 is not prime. Res64: 164DABFACF6FE773 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:28:23] 909*2^1237375-1 is not prime. Res64: 48C869DFC02F34E8 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:38:35] 999*2^1237375-1 is not prime. Res64: C5C1E46EA19482E6 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:38:36] 789*2^1237376-1 is not prime. Res64: 9C4A10D3C2921A09 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:45:41] 825*2^1237376-1 is not prime. Res64: C979BED7B09855F9 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:45:41] 827*2^1237376-1 is not prime. Res64: 45DD2AE0DD2F5617 Time : 0.0 sec. user=mdettweiler [2012-12-14 06:55:54] 833*2^1237376-1 is not prime. Res64: 20314B0F6828C6CE Time : 0.0 sec. user=mdettweiler [2012-12-14 06:55:55] 893*2^1237376-1 is not prime. Res64: B3A9C45DEE67758F Time : 0.0 sec. user=juhehe [2012-12-14 06:59:40] 947*2^1237374-1 is not prime. Res64: 35B53B4D3E58773D Time : 0.0 sec. user=mdettweiler [2012-12-14 07:02:59] 649*2^1237377-1 is not prime. Res64: C2D7F551153FB65F Time : 0.0 sec. user=mdettweiler [2012-12-14 07:03:00] 751*2^1237377-1 is not prime. Res64: FEA9D7010620307A Time : 0.0 sec. user=mdettweiler [2012-12-14 07:13:20] 795*2^1237377-1 is not prime. Res64: B92B05A5F883FC85 Time : 0.0 sec. user=mdettweiler [2012-12-14 07:20:19] 835*2^1237377-1 is not prime. Res64: 7438591AF70A1516 Time : 0.0 sec. user=mdettweiler [2012-12-14 07:20:20] 605*2^1237378-1 is not prime. Res64: ED096664A79F11E1 Time : 0.0 sec. user=mdettweiler [2012-12-14 07:37:44] 651*2^1237378-1 is not prime. Res64: 3A788E9ED5B47B17 Time : 0.0 sec. user=mdettweiler [2012-12-14 07:37:45] 735*2^1237378-1 is not prime. Res64: E1F5F761275E86C1 Time : 0.0 sec. user=mdettweiler [2012-12-14 07:45:33] 817*2^1237377-1 is not prime. Res64: 9A0168E3155AD81B Time : 0.0 sec. user=mdettweiler [2012-12-14 07:55:03] 755*2^1237378-1 is not prime. Res64: F063043BD094821C Time : 0.0 sec. user=mdettweiler [2012-12-14 07:55:04] 693*2^1237379-1 is not prime. Res64: 9C226B5A898A8E1C Time : 0.0 sec. user=mdettweiler [2012-12-14 08:02:51] 711*2^1237379-1 is not prime. Res64: CDF37F5B5966644B Time : 0.0 sec. user=mdettweiler [2012-12-14 08:02:52] 859*2^1237379-1 is not prime. Res64: A4961B6D9B910F12 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:12:23] 753*2^1237380-1 is not prime. Res64: 9BF355FFE414D7BD Time : 0.0 sec. user=mdettweiler [2012-12-14 08:12:27] 777*2^1237380-1 is not prime. Res64: 4CEF2C85DC6A264E Time : 0.0 sec. user=mdettweiler [2012-12-14 08:20:10] 867*2^1237380-1 is not prime. Res64: 8795E9F73326BD3A Time : 0.0 sec. user=mdettweiler [2012-12-14 08:20:11] 873*2^1237380-1 is not prime. Res64: E436B814ECD222D5 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:30:25] 741*2^1237381-1 is not prime. Res64: C3C89DB3A89AAF14 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:30:26] 855*2^1237381-1 is not prime. Res64: 7F8E6BB55A944746 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:37:28] 987*2^1237381-1 is not prime. Res64: 42543181A8817AE6 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:37:29] 651*2^1237382-1 is not prime. Res64: 304FD6E5D5FBDC19 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:47:44] 827*2^1237382-1 is not prime. Res64: 2D20C587029E1762 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:47:44] 885*2^1237382-1 is not prime. Res64: 947F19DDB4C0C265 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:54:47] 887*2^1237382-1 is not prime. Res64: 9C0F4C6D5BBB9940 Time : 0.0 sec. user=mdettweiler [2012-12-14 08:54:47] 917*2^1237382-1 is not prime. Res64: D18428B497F0636B Time : 0.0 sec. user=mdettweiler [2012-12-14 09:05:02] 983*2^1237382-1 is not prime. Res64: 0F6C547A2D38A10C Time : 0.0 sec. user=mdettweiler [2012-12-14 09:05:02] 639*2^1237383-1 is not prime. Res64: 31F99221BE267C02 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:12:06] 723*2^1237383-1 is not prime. Res64: 643299850014D423 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:12:10] 775*2^1237383-1 is not prime. Res64: 5E950A3B63C23CC1 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:22:27] 789*2^1237383-1 is not prime. Res64: BCDF172FBBA82704 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:22:28] 849*2^1237383-1 is not prime. Res64: E60D36CB34B144AF Time : 0.0 sec. user=mdettweiler [2012-12-14 09:29:50] 885*2^1237383-1 is not prime. Res64: D750DCFC00DEE19E Time : 0.0 sec. user=mdettweiler [2012-12-14 09:29:50] 891*2^1237383-1 is not prime. Res64: 0A75A5F8D5ABDBC8 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:39:46] 943*2^1237383-1 is not prime. Res64: 175DE7DE2952F7C5 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:39:47] 973*2^1237383-1 is not prime. Res64: 6CEF69DC3899680D Time : 0.0 sec. user=mdettweiler [2012-12-14 09:47:09] 735*2^1237385-1 is not prime. Res64: C5E667A35C66927A Time : 0.0 sec. user=mdettweiler [2012-12-14 09:47:09] 819*2^1237385-1 is not prime. Res64: DFF516100A426396 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:57:05] 847*2^1237385-1 is not prime. Res64: FFEDB8FEAB32BE80 Time : 0.0 sec. user=mdettweiler [2012-12-14 09:57:05] 939*2^1237385-1 is not prime. Res64: 3DC76A3968A24274 Time : 0.0 sec. user=mdettweiler [2012-12-14 10:04:27] 987*2^1237385-1 is not prime. Res64: 8CDF1F84B5FB9EAB Time : 0.0 sec. user=mdettweiler [2012-12-14 10:04:29] 815*2^1237386-1 is not prime. Res64: 3AC086B3DBC83471 Time : 0.0 sec. user=mdettweiler [2012-12-14 10:14:24] 875*2^1237386-1 is not prime. Res64: 83A2C0F858864F4C Time : 0.0 sec. user=mdettweiler [2012-12-14 10:14:24] 983*2^1237386-1 is not prime. Res64: 79D50D8816837B6A Time : 0.0 sec. user=mdettweiler [2012-12-14 10:21:53] 919*2^1237387-1 is not prime. Res64: 5D1FA4E0705DABF3 Time : 0.0 sec. user=mdettweiler [2012-12-14 10:21:53] 939*2^1237387-1 is not prime. Res64: B950923CB5BA34AA Time : 0.0 sec. user=mdettweiler [2012-12-14 10:31:45] 975*2^1237387-1 is not prime. Res64: 3D8DBD23969A4E8C Time : 0.0 sec. user=mdettweiler [2012-12-14 10:31:45] 979*2^1237387-1 is not prime. Res64: A983A0CD9E566C01 Time : 0.0 sec. user=mdettweiler [2012-12-14 10:39:11] 629*2^1237388-1 is not prime. Res64: 7D8104FB69D150A2 Time : 0.0 sec. user=mdettweiler [2012-12-14 10:39:11] 635*2^1237388-1 is not prime. Res64: 87D820EBE5463B63 Time : 0.0 sec. user=mdettweiler [2012-12-14 10:49:03] 659*2^1237388-1 is not prime. Res64: D50D29E17B7E9FCA Time : 0.0 sec. user=mdettweiler [2012-12-14 10:49:04] 797*2^1237388-1 is not prime. Res64: 0C5B367261379A16 Time : 0.0 sec. user=mdettweiler [2012-12-14 10:56:29] 803*2^1237388-1 is not prime. Res64: 8FAF35A7D1B767BB Time : 0.0 sec. user=mdettweiler [2012-12-14 10:56:30] 839*2^1237388-1 is not prime. Res64: F21164B26FD6BC3A Time : 0.0 sec. user=mdettweiler [2012-12-14 11:06:26] 875*2^1237388-1 is not prime. Res64: 884BDC3C431ED2F5 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:06:26] 879*2^1237388-1 is not prime. Res64: BC39EEB51EFF5BEF Time : 0.0 sec. user=mdettweiler [2012-12-14 11:13:47] 935*2^1237388-1 is not prime. Res64: AEDC861262B87106 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:13:48] 609*2^1237389-1 is not prime. Res64: 65C2A0B0698B4183 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:23:48] 829*2^1237389-1 is not prime. Res64: C012EC22431D6463 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:23:49] 889*2^1237389-1 is not prime. Res64: 668988E92F21FFA1 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:31:07] 895*2^1237389-1 is not prime. Res64: 03E4985BCD8490EF Time : 0.0 sec. user=mdettweiler [2012-12-14 11:31:09] 921*2^1237389-1 is not prime. Res64: 8126D97400290E54 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:41:08] 961*2^1237389-1 is not prime. Res64: E5C8B36B5D32B8AF Time : 0.0 sec. user=mdettweiler [2012-12-14 11:41:08] 969*2^1237389-1 is not prime. Res64: E9A0B3173DC8CF1B Time : 0.0 sec. user=mdettweiler [2012-12-14 11:48:29] 605*2^1237390-1 is not prime. Res64: 8A58B40485B0A8C3 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:48:30] 717*2^1237390-1 is not prime. Res64: 54178DFFA4F8A0CE Time : 0.0 sec. user=mdettweiler [2012-12-14 11:58:28] 813*2^1237390-1 is not prime. Res64: CCF3A1809EB2CE62 Time : 0.0 sec. user=mdettweiler [2012-12-14 11:58:29] 831*2^1237390-1 is not prime. Res64: F9A7CD41437C543B Time : 0.0 sec. user=mdettweiler [2012-12-14 12:05:48] 911*2^1237390-1 is not prime. Res64: AF98CDE6AC6B3BCD Time : 0.0 sec. user=mdettweiler [2012-12-14 12:05:49] 915*2^1237390-1 is not prime. Res64: E2F522EEFC556ED3 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:15:49] 933*2^1237390-1 is not prime. Res64: A23D76A1E306FDEB Time : 0.0 sec. user=mdettweiler [2012-12-14 12:15:49] 615*2^1237391-1 is not prime. Res64: B223CAADF4854D7A Time : 0.0 sec. user=mdettweiler [2012-12-14 12:23:21] 645*2^1237391-1 is not prime. Res64: 02BCB8FE66A0017F Time : 0.0 sec. user=mdettweiler [2012-12-14 12:23:22] 745*2^1237391-1 is not prime. Res64: B672C7393BA69A30 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:33:09] 783*2^1237391-1 is not prime. Res64: E93548AF22A70E16 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:33:10] 889*2^1237391-1 is not prime. Res64: 3EB4AFC46060E690 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:40:39] 949*2^1237391-1 is not prime. Res64: 0A07872F2EB3F4C4 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:40:40] 969*2^1237391-1 is not prime. Res64: 0E8C29C9A29F105B Time : 0.0 sec. user=mdettweiler [2012-12-14 12:50:33] 713*2^1237392-1 is not prime. Res64: 5988E8F79296D437 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:50:34] 737*2^1237392-1 is not prime. Res64: 260E82E2085B16F5 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:58:15] 759*2^1237392-1 is not prime. Res64: A3CAC4ACF4145135 Time : 0.0 sec. user=mdettweiler [2012-12-14 12:58:15] 879*2^1237392-1 is not prime. Res64: 6C7CB5F3A2EE38CF Time : 0.0 sec. user=mdettweiler [2012-12-14 13:08:22] 945*2^1237392-1 is not prime. Res64: 96E6E5345C7C0F16 Time : 0.0 sec. user=mdettweiler [2012-12-14 13:08:22] 977*2^1237392-1 is not prime. Res64: 0F7992D11F344304 Time : 0.0 sec. user=mdettweiler [2012-12-14 13:16:09] 691*2^1237393-1 is not prime. Res64: 9CC6E53F09357D6B Time : 0.0 sec. user=mdettweiler [2012-12-14 13:16:09] 987*2^1237393-1 is not prime. Res64: 3BB2D669D0D29F26 Time : 0.0 sec. user=mdettweiler [2012-12-14 13:26:01] 753*2^1237394-1 is not prime. Res64: 9D2CC68F5ABC1E07 Time : 0.0 sec. user=mdettweiler [2012-12-14 13:26:02] 797*2^1237394-1 is not prime. Res64: 48F598F97393AB5C Time : 0.0 sec. user=mdettweiler [2012-12-14 13:33:44] 815*2^1237394-1 is not prime. Res64: 5565C26BCF08346A Time : 0.0 sec. user=mdettweiler [2012-12-14 13:33:44] 649*2^1237395-1 is not prime. Res64: CA91149297556992 Time : 0.0 sec. user=mdettweiler [2012-12-14 13:43:30] 711*2^1237395-1 is not prime. Res64: 7D4A7E65079E0949 Time : 0.0 sec. user=mdettweiler [2012-12-14 13:43:31] 903*2^1237395-1 is not prime. Res64: 9065E9CA34441AFF Time : 0.0 sec. user=mdettweiler [2012-12-14 13:51:15] 969*2^1237395-1 is not prime. Res64: 8D0AB4F2C27809B2 Time : 0.0 sec. user=mdettweiler [2012-12-14 13:51:15] 603*2^1237396-1 is not prime. Res64: B2E9F58341F0291B Time : 0.0 sec. user=mdettweiler [2012-12-14 14:01:07] 773*2^1237396-1 is not prime. Res64: 69A5F755C6F2C0CB Time : 0.0 sec. user=mdettweiler [2012-12-14 14:01:08] 927*2^1237396-1 is not prime. Res64: E8E6C50A0EA0C388 Time : 0.0 sec. user=mdettweiler [2012-12-14 14:08:45] 999*2^1237396-1 is not prime. Res64: FB613456A09E1BE1 Time : 0.0 sec. user=mdettweiler [2012-12-14 14:08:46] 615*2^1237397-1 is not prime. Res64: 2EEF2BF2BBBA00AD Time : 0.0 sec. user=mdettweiler [2012-12-14 14:18:34] 717*2^1237397-1 is not prime. Res64: EB76261F6AF03BB7 Time : 0.0 sec. user=mdettweiler [2012-12-14 14:18:35] 741*2^1237397-1 is not prime. Res64: DAB4C923FB5320AD Time : 0.0 sec. user=mdettweiler [2012-12-14 14:26:25] 831*2^1237397-1 is not prime. Res64: B60985F8F036B4A5 Time : 0.0 sec. user=mdettweiler [2012-12-14 14:26:25] 931*2^1237397-1 is not prime. Res64: BCEF350F2BAB50EC Time : 0.0 sec. user=mdettweiler [2012-12-14 14:36:00] 611*2^1237398-1 is not prime. Res64: 45816C8189D057A1 Time : 0.0 sec. user=mdettweiler [2012-12-14 14:36:00] 621*2^1237398-1 is not prime. Res64: B841C8795A0CF32F Time : 0.0 sec. user=mdettweiler [2012-12-14 14:43:51] 681*2^1237398-1 is not prime. Res64: 490C410A094D50AB Time : 0.0 sec. user=mdettweiler [2012-12-14 14:43:51] 747*2^1237398-1 is not prime. Res64: 09EFBFF9C77F9754 Time : 0.0 sec. user=mdettweiler [2012-12-14 14:53:34] 891*2^1237398-1 is not prime. Res64: E171787F89469853 Time : 0.0 sec. user=mdettweiler [2012-12-14 14:53:35] 933*2^1237398-1 is not prime. Res64: E321395A2FA06143 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:01:44] 971*2^1237398-1 is not prime. Res64: B0D53E4062C7BABB Time : 0.0 sec. user=mdettweiler [2012-12-14 15:01:45] 977*2^1237398-1 is not prime. Res64: 7FEF084C0C6A00FC Time : 0.0 sec. user=mdettweiler [2012-12-14 15:11:30] 615*2^1237399-1 is not prime. Res64: 0DCC13F778616767 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:11:31] 619*2^1237399-1 is not prime. Res64: 1FD20D8B0ABAD184 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:19:52] 723*2^1237399-1 is not prime. Res64: 231B69FF3E2C274C Time : 0.0 sec. user=mdettweiler [2012-12-14 15:19:52] 771*2^1237399-1 is not prime. Res64: 9645EEBC5F0B3D18 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:29:28] 793*2^1237399-1 is not prime. Res64: 70E8483C90B87311 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:29:29] 909*2^1237399-1 is not prime. Res64: B46940CC5B3EC4AA Time : 0.0 sec. user=juhehe [2012-12-14 15:31:02] 663*2^1237399-1 is not prime. Res64: 5B8148F455305AE2 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:37:47] 913*2^1237399-1 is not prime. Res64: 2220E9826FA9E75F Time : 0.0 sec. user=mdettweiler [2012-12-14 15:37:47] 925*2^1237399-1 is not prime. Res64: 7A9E2F9D4984029F Time : 0.0 sec. user=mdettweiler [2012-12-14 15:47:22] 633*2^1237400-1 is not prime. Res64: 502DA4247466C429 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:47:22] 677*2^1237400-1 is not prime. Res64: 643B827CD4464EA3 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:55:44] 725*2^1237400-1 is not prime. Res64: BF78F4B3DA561AE2 Time : 0.0 sec. user=mdettweiler [2012-12-14 15:55:44] 843*2^1237400-1 is not prime. Res64: BFA7C8072F245CA4 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:05:16] 615*2^1237401-1 is not prime. Res64: 71C897EF2EC03063 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:05:18] 661*2^1237401-1 is not prime. Res64: 6C808EFE678D4045 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:13:39] 705*2^1237401-1 is not prime. Res64: E5E6D997C674EBB4 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:13:41] 745*2^1237401-1 is not prime. Res64: CBA9777F93FC4955 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:23:22] 945*2^1237401-1 is not prime. Res64: 88482B65FF3DA0FA Time : 0.0 sec. user=mdettweiler [2012-12-14 16:23:23] 999*2^1237401-1 is not prime. Res64: 4B4E6FE5E4AC3A1C Time : 0.0 sec. user=mdettweiler [2012-12-14 16:31:44] 651*2^1237402-1 is not prime. Res64: BAF0AE69A365AB47 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:31:44] 713*2^1237402-1 is not prime. Res64: D5F381870D7315BC Time : 0.0 sec. user=mdettweiler [2012-12-14 16:41:26] 827*2^1237402-1 is not prime. Res64: 83E0C558CA88B2F7 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:41:26] 923*2^1237402-1 is not prime. Res64: 8AC3298601CB62C4 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:49:49] 981*2^1237402-1 is not prime. Res64: 475082E04E12E19F Time : 0.0 sec. user=mdettweiler [2012-12-14 16:49:49] 633*2^1237403-1 is not prime. Res64: C0B71FBC421D6DF6 Time : 0.0 sec. user=mdettweiler [2012-12-14 16:59:31] 699*2^1237403-1 is not prime. Res64: 399211B27B5FBC1E Time : 0.0 sec. user=mdettweiler [2012-12-14 16:59:32] 771*2^1237403-1 is not prime. Res64: FB1ACE0806844231 Time : 0.0 sec. user=mdettweiler [2012-12-14 17:07:41] 855*2^1237403-1 is not prime. Res64: 5052DE27279E93CD Time : 0.0 sec. user=mdettweiler [2012-12-14 17:07:42] 859*2^1237403-1 is not prime. Res64: 626797CC9A62151B Time : 0.0 sec. user=mdettweiler [2012-12-14 17:17:08] 885*2^1237403-1 is not prime. Res64: 4CAE0466203B924D Time : 0.0 sec. user=mdettweiler [2012-12-14 17:17:08] 963*2^1237403-1 is not prime. Res64: 69B7A7B910322916 Time : 0.0 sec. user=mdettweiler [2012-12-14 17:25:19] 635*2^1237404-1 is not prime. Res64: 35F6615B4C2BF49A Time : 0.0 sec. user=mdettweiler [2012-12-14 17:25:19] 837*2^1237404-1 is not prime. Res64: 7D373F9B8B2E7D71 Time : 0.0 sec. user=mdettweiler [2012-12-14 17:34:36] 893*2^1237404-1 is not prime. Res64: FA1432A23863297B Time : 0.0 sec. user=mdettweiler [2012-12-14 17:34:36] 927*2^1237404-1 is not prime. Res64: C998DC03743904C8 Time : 0.0 sec. user=mdettweiler [2012-12-14 17:42:44] 661*2^1237405-1 is not prime. Res64: C5F8E9ACBD34B3FE Time : 0.0 sec. user=mdettweiler [2012-12-14 17:42:45] 675*2^1237405-1 is not prime. Res64: 6142CF25586A0A23 Time : 0.0 sec. user=mdettweiler [2012-12-14 17:52:01] 847*2^1237405-1 is not prime. Res64: E132E377E1748B9E Time : 0.0 sec. user=mdettweiler [2012-12-14 17:52:01] 927*2^1237405-1 is not prime. Res64: 07F7DDBB7041FD74 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:00:09] 975*2^1237405-1 is not prime. Res64: D24B2586187972FE Time : 0.0 sec. user=mdettweiler [2012-12-14 18:00:10] 985*2^1237405-1 is not prime. Res64: 8A0D97A870132A45 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:09:30] 671*2^1237406-1 is not prime. Res64: 8241541D48069E5A Time : 0.0 sec. user=mdettweiler [2012-12-14 18:09:31] 711*2^1237406-1 is not prime. Res64: EBFED7E7E1BD0CFF Time : 0.0 sec. user=mdettweiler [2012-12-14 18:17:39] 813*2^1237406-1 is not prime. Res64: 739223635B440EA3 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:17:40] 857*2^1237406-1 is not prime. Res64: 316B685D10327A17 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:27:04] 867*2^1237406-1 is not prime. Res64: FEFAE00960596CC5 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:27:04] 685*2^1237407-1 is not prime. Res64: B4D87E87E0A0C8BF Time : 0.0 sec. user=mdettweiler [2012-12-14 18:35:08] 741*2^1237407-1 is not prime. Res64: 7DF8A0DE59E8EC21 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:35:09] 909*2^1237407-1 is not prime. Res64: 83B0F06EEFF79C64 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:44:38] 615*2^1237408-1 is not prime. Res64: C7115EF17E016473 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:44:38] 797*2^1237408-1 is not prime. Res64: FE5F00DF031EE1FB Time : 0.0 sec. user=mdettweiler [2012-12-14 18:52:46] 947*2^1237408-1 is not prime. Res64: 137C40756A611964 Time : 0.0 sec. user=mdettweiler [2012-12-14 18:52:46] 649*2^1237409-1 is not prime. Res64: 34EFE922614768AA Time : 0.0 sec. user=mdettweiler [2012-12-14 19:02:10] 657*2^1237409-1 is not prime. Res64: E337015F70374671 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:02:13] 811*2^1237409-1 is not prime. Res64: D04EE7C194A6D99B Time : 0.0 sec. user=mdettweiler [2012-12-14 19:10:17] 841*2^1237409-1 is not prime. Res64: 6C50C7B898581866 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:10:19] 847*2^1237409-1 is not prime. Res64: C4A1594D66D1E683 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:20:11] 861*2^1237409-1 is not prime. Res64: 703E4874A8251CF3 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:20:11] 879*2^1237409-1 is not prime. Res64: FB97C46B4D57B55C Time : 0.0 sec. user=mdettweiler [2012-12-14 19:28:15] 783*2^1237410-1 is not prime. Res64: 805236480EC83A8A Time : 0.0 sec. user=mdettweiler [2012-12-14 19:28:16] 803*2^1237410-1 is not prime. Res64: 64375031C40BFAF3 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:37:50] 825*2^1237410-1 is not prime. Res64: 0D534A982C987FC8 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:37:51] 833*2^1237410-1 is not prime. Res64: E3452AF38D7028E7 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:46:01] 893*2^1237410-1 is not prime. Res64: CC109BDE3C9FFCF2 Time : 0.0 sec. user=mdettweiler [2012-12-14 19:46:01] 923*2^1237410-1 is not prime. Res64: 292F93736783458C Time : 0.0 sec. user=mdettweiler [2012-12-14 19:55:30] 709*2^1237411-1 is not prime. Res64: C47200F7702EC41B Time : 0.0 sec. user=mdettweiler [2012-12-14 19:55:30] 735*2^1237411-1 is not prime. Res64: 0CD33037A0E1DE0C Time : 0.0 sec. user=mdettweiler [2012-12-14 20:03:38] 793*2^1237411-1 is not prime. Res64: 30906AA85C7913D0 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:03:39] 871*2^1237411-1 is not prime. Res64: FB870E26B5F60B9A Time : 0.0 sec. user=mdettweiler [2012-12-14 20:13:07] 975*2^1237411-1 is not prime. Res64: B2FE122B71F6CA71 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:13:08] 629*2^1237412-1 is not prime. Res64: 055E6874676CD9F1 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:21:20] 687*2^1237412-1 is not prime. Res64: FA3A6B961AFA907A Time : 0.0 sec. user=mdettweiler [2012-12-14 20:21:20] 717*2^1237412-1 is not prime. Res64: ED9D9266F65D5383 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:31:03] 735*2^1237412-1 is not prime. Res64: 5FEA4D313728FEB7 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:31:03] 743*2^1237412-1 is not prime. Res64: 59E1D437081D09A4 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:39:13] 797*2^1237412-1 is not prime. Res64: 0578255DB853E339 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:39:14] 651*2^1237413-1 is not prime. Res64: 5FAF3B547B8CF548 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:48:45] 927*2^1237413-1 is not prime. Res64: 41A938E32656A8E5 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:48:45] 949*2^1237413-1 is not prime. Res64: 51C9B4319E223534 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:56:41] 969*2^1237413-1 is not prime. Res64: 24C244AEA2734837 Time : 0.0 sec. user=mdettweiler [2012-12-14 20:56:41] 987*2^1237413-1 is not prime. Res64: E08DEC63510B9375 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:06:04] 663*2^1237414-1 is not prime. Res64: D0AB7FBA3FFE16E7 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:06:05] 651*2^1237415-1 is not prime. Res64: E0FDFB8F2B4D6448 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:14:01] 843*2^1237415-1 is not prime. Res64: 61A15EC22F9A3710 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:14:02] 861*2^1237415-1 is not prime. Res64: 84DF5780E332F41E Time : 0.0 sec. user=mdettweiler [2012-12-14 21:23:34] 909*2^1237415-1 is not prime. Res64: F83CA1B1F80D5F62 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:23:35] 921*2^1237415-1 is not prime. Res64: 9FBAF54F03A80538 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:31:22] 627*2^1237416-1 is not prime. Res64: A9E7662841AF560D Time : 0.0 sec. user=mdettweiler [2012-12-14 21:31:22] 629*2^1237416-1 is not prime. Res64: 35A0FB6FFC7D03DC Time : 0.0 sec. user=mdettweiler [2012-12-14 21:40:53] 653*2^1237416-1 is not prime. Res64: 74FA522DE120C2EB Time : 0.0 sec. user=mdettweiler [2012-12-14 21:40:53] 693*2^1237416-1 is not prime. Res64: EE3620697BF9F39B Time : 0.0 sec. user=mdettweiler [2012-12-14 21:48:39] 759*2^1237416-1 is not prime. Res64: E4462BCDDFDC5DFF Time : 0.0 sec. user=mdettweiler [2012-12-14 21:48:40] 825*2^1237416-1 is not prime. Res64: 221D0C59B71EB226 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:58:12] 903*2^1237416-1 is not prime. Res64: 04E4C35951DCE106 Time : 0.0 sec. user=mdettweiler [2012-12-14 21:58:13] 905*2^1237416-1 is not prime. Res64: 657861C504A52748 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:06:02] 625*2^1237417-1 is not prime. Res64: E806C97F66A19451 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:06:04] 691*2^1237417-1 is not prime. Res64: 874F8C356481E11B Time : 0.0 sec. user=mdettweiler [2012-12-14 22:15:34] 805*2^1237417-1 is not prime. Res64: BB097471BDA45989 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:15:35] 909*2^1237417-1 is not prime. Res64: 1EB1DB6DAF56CDC7 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:23:30] 919*2^1237417-1 is not prime. Res64: B3619AC8DAEF542F Time : 0.0 sec. user=mdettweiler [2012-12-14 22:23:31] 967*2^1237417-1 is not prime. Res64: 0331B3A20CE0FAD5 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:32:57] 623*2^1237418-1 is not prime. Res64: C4C2772C119D49E9 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:32:57] 645*2^1237418-1 is not prime. Res64: 03D19193591AFBCC Time : 0.0 sec. user=mdettweiler [2012-12-14 22:40:52] 683*2^1237418-1 is not prime. Res64: 0D51742F03E1E875 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:40:53] 743*2^1237418-1 is not prime. Res64: 9A6581A942A812AD Time : 0.0 sec. user=mdettweiler [2012-12-14 22:50:27] 825*2^1237418-1 is not prime. Res64: 247AA2287CA8057B Time : 0.0 sec. user=mdettweiler [2012-12-14 22:50:27] 971*2^1237418-1 is not prime. Res64: 423FA19EF2E19FF2 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:58:22] 613*2^1237419-1 is not prime. Res64: C33293541B918EB1 Time : 0.0 sec. user=mdettweiler [2012-12-14 22:58:22] 619*2^1237419-1 is not prime. Res64: 983FFBC4EF3C191A Time : 0.0 sec. user=mdettweiler [2012-12-14 23:07:49] 679*2^1237419-1 is not prime. Res64: 905C7C508DF08D51 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:07:52] 705*2^1237419-1 is not prime. Res64: 458BA6CD495C7B43 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:15:41] 723*2^1237419-1 is not prime. Res64: C9C14A01B1778079 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:15:42] 745*2^1237419-1 is not prime. Res64: B57183BECF6B5459 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:25:16] 795*2^1237419-1 is not prime. Res64: A5434F56A57A1646 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:25:18] 843*2^1237419-1 is not prime. Res64: 7048E6CDA19D2E34 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:33:02] 861*2^1237419-1 is not prime. Res64: 5D21CF8BAD66A265 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:33:03] 951*2^1237419-1 is not prime. Res64: 06927B11828E2D12 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:42:37] 603*2^1237420-1 is not prime. Res64: 0F3A7FDD6E10B3CB Time : 0.0 sec. user=mdettweiler [2012-12-14 23:42:38] 875*2^1237420-1 is not prime. Res64: 8BA5AC450C1443FD Time : 0.0 sec. user=mdettweiler [2012-12-14 23:50:20] 781*2^1237421-1 is not prime. Res64: A4877F363D9E3D9E Time : 0.0 sec. user=mdettweiler [2012-12-14 23:50:21] 795*2^1237421-1 is not prime. Res64: D1C392D0304A687A Time : 0.0 sec. user=mdettweiler [2012-12-14 23:59:55] 819*2^1237421-1 is not prime. Res64: 91A5179221A89875 Time : 0.0 sec. user=mdettweiler [2012-12-14 23:59:55] 871*2^1237421-1 is not prime. Res64: 8625DC402DF18324 Time : 0.0 sec.