user=mdettweiler [2012-12-04 00:15:49] 765*2^1236792-1 is not prime. Res64: 08E13A4F32335C47 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:15:52] 873*2^1236792-1 is not prime. Res64: 6CF1C452F88E2D22 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:16:37] 609*2^1236793-1 is not prime. Res64: E1B115BBF0E515DD Time : 0.0 sec. user=mdettweiler [2012-12-04 00:16:38] 625*2^1236793-1 is not prime. Res64: 08D4B81E33D366D0 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:34:00] 685*2^1236793-1 is not prime. Res64: 3926A2751532A79B Time : 0.0 sec. user=mdettweiler [2012-12-04 00:34:00] 817*2^1236793-1 is not prime. Res64: FA98FD4D2BABD7B4 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:34:17] 829*2^1236793-1 is not prime. Res64: 37C3C6A1BB8E1357 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:34:17] 847*2^1236793-1 is not prime. Res64: 1FF97C4F4C85A4F8 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:51:48] 877*2^1236793-1 is not prime. Res64: 8CA598120D9E1144 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:51:48] 885*2^1236793-1 is not prime. Res64: 672C33FC7B7B6BA1 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:52:27] 897*2^1236793-1 is not prime. Res64: 0901BD53A7588ED2 Time : 0.0 sec. user=mdettweiler [2012-12-04 00:52:27] 919*2^1236793-1 is not prime. Res64: 6FCEBE792EFE6F5A Time : 0.0 sec. user=mdettweiler [2012-12-04 01:09:17] 939*2^1236793-1 is not prime. Res64: ED90786EC5F7273E Time : 0.0 sec. user=mdettweiler [2012-12-04 01:09:20] 999*2^1236793-1 is not prime. Res64: 986190108712CBB8 Time : 0.0 sec. user=mdettweiler [2012-12-04 01:09:57] 677*2^1236794-1 is not prime. Res64: 04B656B2B6393F3C Time : 0.0 sec. user=mdettweiler [2012-12-04 01:09:58] 755*2^1236794-1 is not prime. Res64: 3AF028EDEB77E048 Time : 0.0 sec. user=mdettweiler [2012-12-04 01:26:57] 767*2^1236794-1 is not prime. Res64: FA9EF8D6188DF8F4 Time : 0.0 sec. user=mdettweiler [2012-12-04 01:26:57] 797*2^1236794-1 is not prime. Res64: 04005B24034A4920 Time : 0.0 sec. user=mdettweiler [2012-12-04 01:27:30] 825*2^1236794-1 is not prime. Res64: 308535E85B29D53A Time : 0.0 sec. user=mdettweiler [2012-12-04 01:27:31] 831*2^1236794-1 is not prime. Res64: 3951E1F7A2D5F3D4 Time : 0.0 sec. user=mdettweiler [2012-12-04 01:44:25] 851*2^1236794-1 is not prime. Res64: 83F6F5C33C46E9AA Time : 0.0 sec. user=mdettweiler [2012-12-04 01:44:25] 873*2^1236794-1 is not prime. Res64: B55A0381E167E82E Time : 0.0 sec. user=mdettweiler [2012-12-04 01:44:57] 917*2^1236794-1 is not prime. Res64: 26CCB4667AB8FFEA Time : 0.0 sec. user=mdettweiler [2012-12-04 01:44:57] 927*2^1236794-1 is not prime. Res64: 54F036585F3C4C18 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:01:43] 619*2^1236795-1 is not prime. Res64: FAF40F947999271E Time : 0.0 sec. user=mdettweiler [2012-12-04 02:01:44] 639*2^1236795-1 is not prime. Res64: E5F2654714E51F80 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:02:16] 741*2^1236795-1 is not prime. Res64: EFA0A7769EF44E8A Time : 0.0 sec. user=mdettweiler [2012-12-04 02:02:17] 753*2^1236795-1 is not prime. Res64: CB258051125E01F7 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:19:10] 943*2^1236795-1 is not prime. Res64: 7D5F5D339FB34917 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:19:11] 955*2^1236795-1 is not prime. Res64: FD90EB61407A1C22 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:19:36] 961*2^1236795-1 is not prime. Res64: 779DE768CAB547AB Time : 0.0 sec. user=mdettweiler [2012-12-04 02:19:36] 693*2^1236796-1 is not prime. Res64: 0ACED7A82153D7BA Time : 0.0 sec. user=mdettweiler [2012-12-04 02:36:36] 975*2^1236796-1 is not prime. Res64: 56D38FFBC458CFD1 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:36:37] 621*2^1236797-1 is not prime. Res64: 84564F4E4CB005D4 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:36:55] 631*2^1236797-1 is not prime. Res64: 2DF5983D529FD6A6 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:36:56] 735*2^1236797-1 is not prime. Res64: 6CA0E3AAC799C6E2 Time : 0.0 sec. user=mdettweiler [2012-12-04 02:54:07] 795*2^1236797-1 is not prime. Res64: 1A3BF248E8CB4B6E Time : 0.0 sec. user=mdettweiler [2012-12-04 02:54:13] 837*2^1236797-1 is not prime. Res64: DA1BF0EADB00362A Time : 0.0 sec. user=mdettweiler [2012-12-04 02:54:17] 847*2^1236797-1 is not prime. Res64: A24C6C2EF566DD8B Time : 0.0 sec. user=mdettweiler [2012-12-04 02:54:22] 967*2^1236797-1 is not prime. Res64: DB7F2662A90EE4C7 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:12:07] 615*2^1236798-1 is not prime. Res64: 8D8A91D2D8935393 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:12:08] 621*2^1236798-1 is not prime. Res64: 4C6E83187BB22175 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:12:10] 991*2^1236797-1 is not prime. Res64: B7B8290304FFD912 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:12:12] 713*2^1236798-1 is not prime. Res64: F11F11F0F24A7C17 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:29:38] 791*2^1236798-1 is not prime. Res64: 09B654B9D89C8CDE Time : 0.0 sec. user=mdettweiler [2012-12-04 03:29:39] 843*2^1236798-1 is not prime. Res64: 105DE2A8FC5B1E73 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:29:44] 927*2^1236798-1 is not prime. Res64: 6C18117FA5B92B24 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:29:45] 971*2^1236798-1 is not prime. Res64: D235FD21286187F1 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:46:58] 639*2^1236799-1 is not prime. Res64: 6D51EC8266F90FE9 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:46:59] 681*2^1236799-1 is not prime. Res64: 40F13323C5E4D546 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:47:03] 763*2^1236799-1 is not prime. Res64: 5D1397F770DA52F2 Time : 0.0 sec. user=mdettweiler [2012-12-04 03:47:04] 771*2^1236799-1 is not prime. Res64: 3E314698EB036C68 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:04:26] 855*2^1236799-1 is not prime. Res64: 36995620844093A3 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:04:27] 635*2^1236800-1 is not prime. Res64: F9D79C778660BA02 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:04:27] 633*2^1236800-1 is not prime. Res64: 2FBFB7E46C475EF8 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:04:28] 789*2^1236800-1 is not prime. Res64: 507C74E63343F2A1 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:21:54] 797*2^1236800-1 is not prime. Res64: 7E82A6EAED8AFA79 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:21:55] 813*2^1236800-1 is not prime. Res64: CDA223870E229CD8 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:21:55] 857*2^1236800-1 is not prime. Res64: 6855D6E8C1236BA8 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:21:56] 875*2^1236800-1 is not prime. Res64: 6435C6791818D85E Time : 0.0 sec. user=mdettweiler [2012-12-04 04:39:17] 959*2^1236800-1 is not prime. Res64: D62B5427A7C77392 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:39:17] 923*2^1236800-1 is not prime. Res64: 69F4E60204BDF24E Time : 0.0 sec. user=mdettweiler [2012-12-04 04:39:19] 927*2^1236800-1 is not prime. Res64: 3EF5423460E41594 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:39:20] 675*2^1236801-1 is not prime. Res64: EAF9548BD4AB625D Time : 0.0 sec. user=mdettweiler [2012-12-04 04:56:58] 745*2^1236801-1 is not prime. Res64: A1FA9A5A1900B0A3 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:56:58] 747*2^1236801-1 is not prime. Res64: 05A757DB26803F74 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:57:02] 847*2^1236801-1 is not prime. Res64: 81711C34A1BDB7F2 Time : 0.0 sec. user=mdettweiler [2012-12-04 04:57:03] 885*2^1236801-1 is not prime. Res64: 799E275702B695DA Time : 0.0 sec. user=mdettweiler [2012-12-04 05:14:19] 889*2^1236801-1 is not prime. Res64: 12064FE0B036446D Time : 0.0 sec. user=mdettweiler [2012-12-04 05:14:20] 921*2^1236801-1 is not prime. Res64: B41A4CA1097C5A9B Time : 0.0 sec. user=mdettweiler [2012-12-04 05:14:22] 937*2^1236801-1 is not prime. Res64: D9CB0AE897CCBE00 Time : 0.0 sec. user=mdettweiler [2012-12-04 05:14:25] 723*2^1236802-1 is not prime. Res64: 80EA6AFE43F8226C Time : 0.0 sec. user=mdettweiler [2012-12-04 05:32:12] 855*2^1236802-1 is not prime. Res64: 5E9B2140FA9EFC06 Time : 0.0 sec. user=mdettweiler [2012-12-04 05:32:18] 887*2^1236802-1 is not prime. Res64: 433BBD4B568AB038 Time : 0.0 sec. user=mdettweiler [2012-12-04 05:32:20] 891*2^1236802-1 is not prime. Res64: 6605B689217CBB08 Time : 0.0 sec. user=mdettweiler [2012-12-04 05:32:24] 951*2^1236802-1 is not prime. Res64: 17C4F8EDAFD550B6 Time : 0.0 sec. user=mdettweiler [2012-12-04 06:16:44] 633*2^1236803-1 is not prime. Res64: E88A030CC2C0974F Time : 0.0 sec. user=gd_barnes [2012-12-04 06:17:31] 939*2^1236803-1 is not prime. Res64: 6E9AA3F58A101FC9 Time : 0.0 sec. user=mdettweiler [2012-12-04 06:27:05] 853*2^1236803-1 is not prime. Res64: 6E8DA323B15A3962 Time : 0.0 sec. user=mdettweiler [2012-12-04 06:31:54] 981*2^1236803-1 is not prime. Res64: A0086CAC9B78A5F7 Time : 0.0 sec. user=gd_barnes [2012-12-04 06:45:02] 737*2^1236804-1 is not prime. Res64: 913443C6BE268A8F Time : 0.0 sec. user=gd_barnes [2012-12-04 06:51:24] 799*2^1236805-1 is not prime. Res64: 072979324D69E602 Time : 0.0 sec. user=gd_barnes [2012-12-04 06:52:39] 667*2^1236805-1 is not prime. Res64: 1E2C18613FDFA1D2 Time : 0.0 sec. user=gd_barnes [2012-12-04 06:54:48] 871*2^1236805-1 is not prime. Res64: 472470EF1B7C2233 Time : 0.0 sec. user=mdettweiler [2012-12-04 07:00:49] 783*2^1236803-1 is not prime. Res64: 6804EFF5A39DCF66 Time : 0.0 sec. user=gd_barnes [2012-12-04 07:01:52] 627*2^1236806-1 is not prime. Res64: D8DDDEA74A96C5C7 Time : 0.0 sec. user=mdettweiler [2012-12-04 07:04:59] 729*2^1236805-1 is not prime. Res64: 4148EF74E7FD9F7B Time : 0.0 sec. user=mdettweiler [2012-12-04 07:12:36] 901*2^1236803-1 is not prime. Res64: 1DF696BEFC3A487F Time : 0.0 sec. user=gd_barnes [2012-12-04 07:17:12] 693*2^1236806-1 is not prime. Res64: 81C7F3D500DE9364 Time : 0.0 sec. user=gd_barnes [2012-12-04 07:19:39] 743*2^1236806-1 is not prime. Res64: AAA3740F61413FB4 Time : 0.0 sec. user=gd_barnes [2012-12-04 07:31:48] 953*2^1236806-1 is not prime. Res64: F4CB9144A9FB5541 Time : 0.0 sec. user=gd_barnes [2012-12-04 07:36:28] 661*2^1236807-1 is not prime. Res64: 7D8C65F64E98B436 Time : 0.0 sec. user=mdettweiler [2012-12-04 07:36:43] 895*2^1236803-1 is not prime. Res64: A7C9480405F71294 Time : 0.0 sec. user=gd_barnes [2012-12-04 07:37:08] 859*2^1236807-1 is not prime. Res64: 8FA7F2E17E7B971E Time : 0.0 sec. user=gd_barnes [2012-12-04 07:53:12] 887*2^1236806-1 is not prime. Res64: 141BC4D22053D011 Time : 0.0 sec. user=mdettweiler [2012-12-04 07:55:06] 885*2^1236807-1 is not prime. Res64: 94D5BF3D91D97A79 Time : 0.0 sec. user=gd_barnes [2012-12-04 07:55:55] 657*2^1236808-1 is not prime. Res64: F65459C5461905C5 Time : 0.0 sec. user=mdettweiler [2012-12-04 07:59:57] 973*2^1236807-1 is not prime. Res64: D40A919033F82A57 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:00:59] 861*2^1236807-1 is not prime. Res64: B3ADF023EB01D498 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:03:25] 723*2^1236808-1 is not prime. Res64: 2BF176C071928C94 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:06:47] 803*2^1236808-1 is not prime. Res64: B9626B9003007BD1 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:08:58] 825*2^1236808-1 is not prime. Res64: AD3A59206BFA87FB Time : 0.0 sec. user=mdettweiler [2012-12-04 08:09:20] 913*2^1236807-1 is not prime. Res64: 793AC0A07945BAFC Time : 0.0 sec. user=gd_barnes [2012-12-04 08:12:41] 963*2^1236807-1 is not prime. Res64: AA6E57E46DE51B10 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:13:11] 675*2^1236806-1 is not prime. Res64: F58996F2A590E18C Time : 0.0 sec. user=gd_barnes [2012-12-04 08:17:55] 955*2^1236805-1 is not prime. Res64: 2381C6A76EEFBA4B Time : 0.0 sec. user=mdettweiler [2012-12-04 08:19:31] 747*2^1236808-1 is not prime. Res64: A7BD95CF0F83DCE5 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:22:49] 827*2^1236808-1 is not prime. Res64: DFB4D0FE93F6BBEB Time : 0.0 sec. user=gd_barnes [2012-12-04 08:23:57] 645*2^1236808-1 is not prime. Res64: BCC53C69E2C5CB51 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:25:43] 993*2^1236808-1 is not prime. Res64: 26C2287E0A928422 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:26:00] 741*2^1236809-1 is not prime. Res64: 98DDE95870373FD4 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:26:29] 855*2^1236808-1 is not prime. Res64: 06BE095221B1A991 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:26:54] 627*2^1236810-1 is not prime. Res64: 36DBD7AC24C945A4 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:26:56] 665*2^1236810-1 is not prime. Res64: B6DDBF5FFD0719C6 Time : 0.0 sec. user=gd_barnes [2012-12-04 08:27:25] 983*2^1236804-1 is not prime. Res64: 79EAEA3C62E232EB Time : 0.0 sec. user=mdettweiler [2012-12-04 08:28:02] 677*2^1236810-1 is not prime. Res64: 0CD56077F2940A34 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:28:04] 723*2^1236810-1 is not prime. Res64: 8948B17EA1E0C6CD Time : 0.0 sec. user=gd_barnes [2012-12-04 08:39:00] 951*2^1236809-1 is not prime. Res64: 9DDBE3268115AA73 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:44:45] 765*2^1236810-1 is not prime. Res64: B04E842C4AEC5281 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:44:46] 803*2^1236810-1 is not prime. Res64: 946B370AAEC02729 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:45:29] 845*2^1236810-1 is not prime. Res64: F9E3BC2EE79E6D06 Time : 0.0 sec. user=mdettweiler [2012-12-04 08:45:30] 927*2^1236810-1 is not prime. Res64: DC119C4A39BF5655 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:02:06] 601*2^1236811-1 is not prime. Res64: F7701806AC561AA1 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:02:07] 619*2^1236811-1 is not prime. Res64: 002E027E4967968A Time : 0.0 sec. user=mdettweiler [2012-12-04 09:02:48] 645*2^1236811-1 is not prime. Res64: 85BE2439A3054D79 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:02:49] 685*2^1236811-1 is not prime. Res64: 176F8862A06D55B2 Time : 0.0 sec. user=gd_barnes [2012-12-04 09:10:53] 649*2^1236807-1 is not prime. Res64: FAC8468E2CD88C3D Time : 0.0 sec. user=mdettweiler [2012-12-04 09:19:31] 715*2^1236811-1 is not prime. Res64: 425BB6ADFF022193 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:19:32] 769*2^1236811-1 is not prime. Res64: B87C56018CD89846 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:20:10] 771*2^1236811-1 is not prime. Res64: 087F06D8322602AE Time : 0.0 sec. user=mdettweiler [2012-12-04 09:20:11] 775*2^1236811-1 is not prime. Res64: 5EF410AB871A1AE9 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:36:56] 889*2^1236811-1 is not prime. Res64: 5CEE4B8D46DFD3D7 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:36:57] 961*2^1236811-1 is not prime. Res64: CAAA14FBDD934169 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:37:30] 615*2^1236812-1 is not prime. Res64: C645FF6A29715123 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:37:30] 749*2^1236812-1 is not prime. Res64: D8F2B93EF551D1D1 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:54:15] 885*2^1236812-1 is not prime. Res64: 5817FCFF07141E87 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:54:16] 929*2^1236812-1 is not prime. Res64: 31D7C3D1A15D458F Time : 0.0 sec. user=mdettweiler [2012-12-04 09:54:48] 995*2^1236812-1 is not prime. Res64: 2513F3C085E606C1 Time : 0.0 sec. user=mdettweiler [2012-12-04 09:54:49] 789*2^1236813-1 is not prime. Res64: BA4C281D8554FEED Time : 0.0 sec. user=mdettweiler [2012-12-04 10:11:35] 829*2^1236813-1 is not prime. Res64: 7771DCBE204545DA Time : 0.0 sec. user=mdettweiler [2012-12-04 10:11:38] 835*2^1236813-1 is not prime. Res64: 5F8396EAF189931A Time : 0.0 sec. user=mdettweiler [2012-12-04 10:12:08] 861*2^1236813-1 is not prime. Res64: B8E83BB20DDA99F9 Time : 0.0 sec. user=mdettweiler [2012-12-04 10:12:09] 877*2^1236813-1 is not prime. Res64: 63312287CE683CB3 Time : 0.0 sec. user=mdettweiler [2012-12-04 10:29:14] 651*2^1236814-1 is not prime. Res64: 19F760C4B8268730 Time : 0.0 sec. user=mdettweiler [2012-12-04 10:29:15] 675*2^1236814-1 is not prime. Res64: 691D2477DF1B5D9C Time : 0.0 sec. user=mdettweiler [2012-12-04 10:29:30] 681*2^1236814-1 is not prime. Res64: 6EABF38C1514D2DD Time : 0.0 sec. user=mdettweiler [2012-12-04 10:29:31] 717*2^1236814-1 is not prime. Res64: 7703434F5FBC5CBC Time : 0.0 sec. user=mdettweiler [2012-12-04 10:46:35] 833*2^1236814-1 is not prime. Res64: BC6D8105C60FEEF1 Time : 0.0 sec. user=mdettweiler [2012-12-04 10:46:35] 887*2^1236814-1 is not prime. Res64: 99480DF3101C0300 Time : 0.0 sec. user=mdettweiler [2012-12-04 10:46:50] 643*2^1236815-1 is not prime. Res64: B060A9B9134C674B Time : 0.0 sec. user=mdettweiler [2012-12-04 10:46:51] 645*2^1236815-1 is not prime. Res64: C96764C16CE4743F Time : 0.0 sec. user=mdettweiler [2012-12-04 11:03:54] 735*2^1236815-1 is not prime. Res64: 061E6AA67265E785 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:03:55] 799*2^1236815-1 is not prime. Res64: CA532E1AF93023B7 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:04:10] 629*2^1236816-1 is not prime. Res64: 52FF672709B6C687 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:04:11] 695*2^1236816-1 is not prime. Res64: 1E0246EA1CF582A7 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:21:20] 789*2^1236816-1 is not prime. Res64: BB222A74AA399505 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:21:20] 825*2^1236816-1 is not prime. Res64: 13B3A3EDE607B073 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:21:34] 893*2^1236816-1 is not prime. Res64: C76A933FA13279A5 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:21:35] 909*2^1236816-1 is not prime. Res64: 798107BC66D8DF5A Time : 0.0 sec. user=mdettweiler [2012-12-04 11:38:40] 923*2^1236816-1 is not prime. Res64: 2FAF78BC79B9AFA6 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:38:41] 601*2^1236817-1 is not prime. Res64: 009CFD73885A7CE8 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:38:55] 649*2^1236817-1 is not prime. Res64: 1E81550DA8D1BD0B Time : 0.0 sec. user=mdettweiler [2012-12-04 11:38:55] 691*2^1236817-1 is not prime. Res64: DBBC903EC833CCC1 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:56:00] 775*2^1236817-1 is not prime. Res64: 003028590DA1A594 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:56:00] 817*2^1236817-1 is not prime. Res64: 7BEF860578A3F1AF Time : 0.0 sec. user=mdettweiler [2012-12-04 11:56:14] 831*2^1236817-1 is not prime. Res64: A110A25B6B6B3885 Time : 0.0 sec. user=mdettweiler [2012-12-04 11:56:14] 901*2^1236817-1 is not prime. Res64: FD141DB739BDD656 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:13:20] 915*2^1236817-1 is not prime. Res64: 0E0279AD294A6480 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:13:22] 633*2^1236818-1 is not prime. Res64: DF496DBFC7CABBDC Time : 0.0 sec. user=mdettweiler [2012-12-04 12:13:34] 665*2^1236818-1 is not prime. Res64: E6D7F4B46AFD1FD1 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:13:37] 687*2^1236818-1 is not prime. Res64: 6E1233B83858225C Time : 0.0 sec. user=mdettweiler [2012-12-04 12:31:11] 755*2^1236818-1 is not prime. Res64: C00AC72151B820A6 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:31:11] 815*2^1236818-1 is not prime. Res64: 05D3D2EDE65BF4DA Time : 0.0 sec. user=mdettweiler [2012-12-04 12:31:23] 837*2^1236818-1 is not prime. Res64: C1D6B1CE590068E1 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:31:23] 941*2^1236818-1 is not prime. Res64: 89A04D8BCD898E1C Time : 0.0 sec. user=mdettweiler [2012-12-04 12:48:32] 625*2^1236819-1 is not prime. Res64: 17A718EDD2F1B9A2 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:48:32] 735*2^1236819-1 is not prime. Res64: E25D637F5DC86949 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:48:42] 751*2^1236819-1 is not prime. Res64: CAE616C2784613B8 Time : 0.0 sec. user=mdettweiler [2012-12-04 12:48:43] 775*2^1236819-1 is not prime. Res64: 9FFB300DBA7A9C5A Time : 0.0 sec. user=mdettweiler [2012-12-04 13:05:51] 793*2^1236819-1 is not prime. Res64: 0256EBD2F6DF9AB2 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:05:53] 835*2^1236819-1 is not prime. Res64: B35DAC757381D910 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:06:03] 699*2^1236820-1 is not prime. Res64: 787ABCCA88F53E66 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:06:04] 773*2^1236820-1 is not prime. Res64: BD4587A62A6390AB Time : 0.0 sec. user=mdettweiler [2012-12-04 13:23:28] 833*2^1236820-1 is not prime. Res64: 177184192D3D23D7 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:23:29] 855*2^1236820-1 is not prime. Res64: F4FF88C1DC8DE754 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:23:32] 885*2^1236820-1 is not prime. Res64: 79FA2F75C4763611 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:23:32] 927*2^1236820-1 is not prime. Res64: 9E0B31A4E05A5A71 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:40:53] 959*2^1236820-1 is not prime. Res64: A74231D8EAFE5296 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:40:53] 999*2^1236820-1 is not prime. Res64: 72FEF2A3909566F5 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:40:56] 715*2^1236821-1 is not prime. Res64: FF722BA6B381181F Time : 0.0 sec. user=mdettweiler [2012-12-04 13:40:57] 795*2^1236821-1 is not prime. Res64: F1C74E3A8356C16C Time : 0.0 sec. user=mdettweiler [2012-12-04 13:58:11] 671*2^1236822-1 is not prime. Res64: 8E9EB98778340E2E Time : 0.0 sec. user=mdettweiler [2012-12-04 13:58:12] 797*2^1236822-1 is not prime. Res64: 37D380A29933E353 Time : 0.0 sec. user=mdettweiler [2012-12-04 13:58:15] 843*2^1236822-1 is not prime. Res64: 3BE65802CFE007FB Time : 0.0 sec. user=mdettweiler [2012-12-04 13:58:15] 915*2^1236822-1 is not prime. Res64: 7625794415AF82EA Time : 0.0 sec. user=mdettweiler [2012-12-04 14:15:30] 945*2^1236822-1 is not prime. Res64: 0F28F55C5B4E2EB5 Time : 0.0 sec. user=mdettweiler [2012-12-04 14:15:35] 951*2^1236822-1 is not prime. Res64: C4737188F568AF67 Time : 0.0 sec. user=mdettweiler [2012-12-04 14:15:39] 963*2^1236822-1 is not prime. Res64: 2910F1B21962D8D0 Time : 0.0 sec. user=mdettweiler [2012-12-04 14:32:43] 609*2^1236823-1 is not prime. Res64: 23285AA209E776BC Time : 0.0 sec. user=mdettweiler [2012-12-04 14:33:31] 621*2^1236823-1 is not prime. Res64: D02B322690DD3C40 Time : 0.0 sec. user=mdettweiler [2012-12-04 14:33:32] 703*2^1236823-1 is not prime. Res64: B31302A5C287B34C Time : 0.0 sec. user=mdettweiler [2012-12-04 14:50:01] 735*2^1236823-1 is not prime. Res64: 750162E7C9B3026E Time : 0.0 sec. user=mdettweiler [2012-12-04 14:50:02] 765*2^1236823-1 is not prime. Res64: 0A532E912D7BC08C Time : 0.0 sec. user=mdettweiler [2012-12-04 14:50:50] 853*2^1236823-1 is not prime. Res64: 40E95DEFFDB5AED7 Time : 0.0 sec. user=mdettweiler [2012-12-04 14:50:50] 933*2^1236823-1 is not prime. Res64: BDF0D26EAF23EAC1 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:07:21] 939*2^1236823-1 is not prime. Res64: 2E6490E8C1F082A1 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:07:24] 993*2^1236823-1 is not prime. Res64: 379D037DAACBF796 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:08:07] 609*2^1236824-1 is not prime. Res64: 04CF271250E5EEDD Time : 0.0 sec. user=mdettweiler [2012-12-04 15:08:10] 665*2^1236824-1 is not prime. Res64: 998DC92E0DD0BCF4 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:25:01] 683*2^1236824-1 is not prime. Res64: 1D1035A05C2FEC1A Time : 0.0 sec. user=mdettweiler [2012-12-04 15:25:02] 743*2^1236824-1 is not prime. Res64: EB19D6E7AD402392 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:25:34] 899*2^1236824-1 is not prime. Res64: C513F79B8B797FB4 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:25:35] 669*2^1236825-1 is not prime. Res64: 3E294F6579B8496B Time : 0.0 sec. user=mdettweiler [2012-12-04 15:42:21] 679*2^1236825-1 is not prime. Res64: 74C8199CE865533B Time : 0.0 sec. user=mdettweiler [2012-12-04 15:42:21] 787*2^1236825-1 is not prime. Res64: 54BFC6D048EE5D23 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:42:56] 831*2^1236825-1 is not prime. Res64: FDB5EE67C31C9441 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:42:56] 895*2^1236825-1 is not prime. Res64: B4D4FD35CDA71805 Time : 0.0 sec. user=mdettweiler [2012-12-04 15:59:49] 653*2^1236826-1 is not prime. Res64: BEBCA352504E6F4B Time : 0.0 sec. user=mdettweiler [2012-12-04 15:59:50] 741*2^1236826-1 is not prime. Res64: 8661D31192070E0C Time : 0.0 sec. user=mdettweiler [2012-12-04 16:00:23] 821*2^1236826-1 is not prime. Res64: 9428340936F97D49 Time : 0.0 sec. user=mdettweiler [2012-12-04 16:00:25] 867*2^1236826-1 is not prime. Res64: E428E01211BFCAFD Time : 0.0 sec. user=mdettweiler [2012-12-04 16:17:13] 887*2^1236826-1 is not prime. Res64: 28FF677BABE5520F Time : 0.0 sec. user=mdettweiler [2012-12-04 16:17:14] 619*2^1236827-1 is not prime. Res64: 405009AA34D69F8A Time : 0.0 sec. user=mdettweiler [2012-12-04 16:17:47] 655*2^1236827-1 is not prime. Res64: 77698B688363831D Time : 0.0 sec. user=mdettweiler [2012-12-04 16:17:48] 669*2^1236827-1 is not prime. Res64: C70FFB31C17A1855 Time : 0.0 sec. user=mdettweiler [2012-12-04 16:34:47] 801*2^1236827-1 is not prime. Res64: 26952E3204789A59 Time : 0.0 sec. user=mdettweiler [2012-12-04 16:34:48] 915*2^1236827-1 is not prime. Res64: 6047B32EFAF949C1 Time : 0.0 sec. user=mdettweiler [2012-12-04 16:35:10] 939*2^1236827-1 is not prime. Res64: 793A9BD5D95C0EEA Time : 0.0 sec. user=mdettweiler [2012-12-04 16:35:10] 979*2^1236827-1 is not prime. Res64: FB7E57C69DE82A58 Time : 0.0 sec. user=mdettweiler [2012-12-04 16:52:11] 985*2^1236827-1 is not prime. Res64: 786892DA523FC2CE Time : 0.0 sec. user=mdettweiler [2012-12-04 16:52:11] 695*2^1236828-1 is not prime. Res64: 97F7E35CCEC68F9B Time : 0.0 sec. user=mdettweiler [2012-12-04 16:52:37] 737*2^1236828-1 is not prime. Res64: A3F431448E944E82 Time : 0.0 sec. user=mdettweiler [2012-12-04 16:52:37] 753*2^1236828-1 is not prime. Res64: 5AE8F47F6A26939C Time : 0.0 sec. user=mdettweiler [2012-12-04 17:09:43] 809*2^1236828-1 is not prime. Res64: 488EC507CFBA858A Time : 0.0 sec. user=mdettweiler [2012-12-04 17:09:45] 819*2^1236828-1 is not prime. Res64: DA021C3AF1344BDF Time : 0.0 sec. user=mdettweiler [2012-12-04 17:10:05] 875*2^1236828-1 is not prime. Res64: A613B9DE8A3F50F6 Time : 0.0 sec. user=mdettweiler [2012-12-04 17:10:07] 977*2^1236828-1 is not prime. Res64: 0E78DC9944EBA167 Time : 0.0 sec. user=mdettweiler [2012-12-04 17:27:50] 759*2^1236829-1 is not prime. Res64: 4C3A3535A6B92C8A Time : 0.0 sec. user=mdettweiler [2012-12-04 17:27:51] 945*2^1236829-1 is not prime. Res64: 5ECC0EE57B9060C2 Time : 0.0 sec. user=mdettweiler [2012-12-04 17:28:09] 985*2^1236829-1 is not prime. Res64: 6C6B8136BBBCD0DD Time : 0.0 sec. user=mdettweiler [2012-12-04 17:28:09] 623*2^1236830-1 is not prime. Res64: C48C38A76E2C7A63 Time : 0.0 sec. user=mdettweiler [2012-12-04 17:45:12] 843*2^1236830-1 is not prime. Res64: 50063BC7D30FADD2 Time : 0.0 sec. user=mdettweiler [2012-12-04 17:45:15] 783*2^1236831-1 is not prime. Res64: C0A42349FA88AAD3 Time : 0.0 sec. user=mdettweiler [2012-12-04 17:45:30] 859*2^1236831-1 is not prime. Res64: 6578FE33BF404CED Time : 0.0 sec. user=mdettweiler [2012-12-04 17:45:39] 871*2^1236831-1 is not prime. Res64: 45884E45C229DB63 Time : 0.0 sec. user=mdettweiler [2012-12-04 18:03:08] 635*2^1236832-1 is not prime. Res64: 098CEB26FD636883 Time : 0.0 sec. user=mdettweiler [2012-12-04 18:03:31] 777*2^1236832-1 is not prime. Res64: 4A72503961A9E6E2 Time : 0.0 sec. user=mdettweiler [2012-12-04 18:24:41] 827*2^1236832-1 is not prime. Res64: 62190CB3F31AAF42 Time : 0.0 sec. user=mdettweiler [2012-12-04 18:28:20] 717*2^1236832-1 is not prime. Res64: 2A85C7575C822175 Time : 0.0 sec. user=mdettweiler [2012-12-04 18:42:39] 915*2^1236832-1 is not prime. Res64: 7523077D7D77C440 Time : 0.0 sec. user=gd_barnes [2012-12-04 18:42:59] 899*2^1236832-1 is not prime. Res64: 216C5758D4DF09AE Time : 0.0 sec. user=mdettweiler [2012-12-04 18:46:09] 675*2^1236833-1 is not prime. Res64: 8482720D6EE19BCD Time : 0.0 sec. user=mdettweiler [2012-12-04 18:46:10] 759*2^1236833-1 is not prime. Res64: E19AA73934E38191 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:03:33] 769*2^1236833-1 is not prime. Res64: 6D87573AD7984F91 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:03:34] 847*2^1236833-1 is not prime. Res64: 8DC0564C545CE636 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:12:38] 987*2^1236833-1 is not prime. Res64: 9C2B7FDA94A22CD1 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:12:41] 641*2^1236834-1 is not prime. Res64: FD3C72FBBC9E6A2A Time : 0.0 sec. user=mdettweiler [2012-12-04 19:20:55] 671*2^1236834-1 is not prime. Res64: FFF792FDA16F6E24 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:20:55] 717*2^1236834-1 is not prime. Res64: A5535D6BA6E230CD Time : 0.0 sec. user=mdettweiler [2012-12-04 19:30:20] 881*2^1236834-1 is not prime. Res64: 7271A2685E4DCCBE Time : 0.0 sec. user=mdettweiler [2012-12-04 19:30:21] 957*2^1236834-1 is not prime. Res64: 460988A96940A555 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:38:17] 971*2^1236834-1 is not prime. Res64: F286D25A10402850 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:38:17] 649*2^1236835-1 is not prime. Res64: D282E863A8A9A273 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:47:44] 679*2^1236835-1 is not prime. Res64: 32EA728257BE3AB0 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:47:44] 843*2^1236835-1 is not prime. Res64: 0FEADC76E795EB0D Time : 0.0 sec. user=mdettweiler [2012-12-04 19:55:39] 861*2^1236835-1 is not prime. Res64: 8A20D5BBD73F0141 Time : 0.0 sec. user=mdettweiler [2012-12-04 19:55:39] 885*2^1236835-1 is not prime. Res64: 3035D87912EE7AFF Time : 0.0 sec. user=mdettweiler [2012-12-04 20:05:05] 603*2^1236836-1 is not prime. Res64: E412D23656DBBB3F Time : 0.0 sec. user=mdettweiler [2012-12-04 20:13:04] 903*2^1236836-1 is not prime. Res64: 5FADBDDF482C6B5E Time : 0.0 sec. user=gd_barnes [2012-12-04 20:29:08] 625*2^1236837-1 is not prime. Res64: 3E12BC832337E53D Time : 0.0 sec. user=mdettweiler [2012-12-04 20:34:26] 789*2^1236836-1 is not prime. Res64: 287B7C2FD9C71121 Time : 0.0 sec. user=mdettweiler [2012-12-04 20:39:33] 957*2^1236836-1 is not prime. Res64: 580592926D4C5133 Time : 0.0 sec. user=mdettweiler [2012-12-04 20:55:55] 759*2^1236837-1 is not prime. Res64: 03A5294C29E1D534 Time : 0.0 sec. user=gd_barnes [2012-12-04 20:56:41] 747*2^1236837-1 is not prime. Res64: D53B43BA1A9EBD8A Time : 0.0 sec. user=mdettweiler [2012-12-04 20:58:29] 955*2^1236837-1 is not prime. Res64: CE6B5D9230811E08 Time : 0.0 sec. user=mdettweiler [2012-12-04 21:03:23] 897*2^1236838-1 is not prime. Res64: 659EE313BC24FB2B Time : 0.0 sec. user=mdettweiler [2012-12-04 21:07:37] 611*2^1236838-1 is not prime. Res64: 11825CE1D10733CA Time : 0.0 sec. user=gd_barnes [2012-12-04 21:13:29] 861*2^1236837-1 is not prime. Res64: E0FE3B37CCDD89C1 Time : 0.0 sec. user=mdettweiler [2012-12-04 21:25:29] 849*2^1236837-1 is not prime. Res64: 9387D5E2F614C20A Time : 0.0 sec. user=gd_barnes [2012-12-04 21:30:45] 609*2^1236839-1 is not prime. Res64: 99A0635EAB85AD42 Time : 0.0 sec. user=gd_barnes [2012-12-04 21:31:50] 675*2^1236839-1 is not prime. Res64: F330DAD4166E6512 Time : 0.0 sec. user=mdettweiler [2012-12-04 21:37:12] 745*2^1236839-1 is not prime. Res64: F70DCE8D356EDE4B Time : 0.0 sec. user=mdettweiler [2012-12-04 21:38:41] 813*2^1236838-1 is not prime. Res64: FF864F0F13397A8A Time : 0.0 sec. user=gd_barnes [2012-12-04 21:47:13] 693*2^1236839-1 is not prime. Res64: BCD6432FEA30D958 Time : 0.0 sec. user=gd_barnes [2012-12-04 21:47:25] 711*2^1236839-1 is not prime. Res64: 671D12AFEBE0444C Time : 0.0 sec. user=mdettweiler [2012-12-04 21:52:30] 843*2^1236839-1 is not prime. Res64: EFC97B8771391550 Time : 0.0 sec. user=mdettweiler [2012-12-04 21:52:32] 939*2^1236839-1 is not prime. Res64: BD46CC7C998D6122 Time : 0.0 sec. user=gd_barnes [2012-12-04 22:09:09] 955*2^1236839-1 is not prime. Res64: 6F16092A7A9F3C4F Time : 0.0 sec. user=mdettweiler [2012-12-04 22:10:13] 979*2^1236839-1 is not prime. Res64: ABBB6721897B1478 Time : 0.0 sec. user=mdettweiler [2012-12-04 22:10:17] 623*2^1236840-1 is not prime. Res64: 1BEDEA7B4278D4C8 Time : 0.0 sec. user=mdettweiler [2012-12-04 22:14:14] 629*2^1236840-1 is not prime. Res64: AFB00211298918F7 Time : 0.0 sec. user=mdettweiler [2012-12-04 22:14:18] 723*2^1236840-1 is not prime. Res64: F94BC7ECA77B0C0D Time : 0.0 sec. user=mdettweiler [2012-12-04 22:28:32] 725*2^1236840-1 is not prime. Res64: B137A060E08915BF Time : 0.0 sec. user=mdettweiler [2012-12-04 22:28:33] 753*2^1236840-1 is not prime. Res64: 9FB82331ADE38E6F Time : 0.0 sec. user=mdettweiler [2012-12-04 22:32:00] 777*2^1236840-1 is not prime. Res64: 231935DE672BEAAE Time : 0.0 sec. user=mdettweiler [2012-12-04 22:32:01] 873*2^1236840-1 is not prime. Res64: 62B751725E7F8267 Time : 0.0 sec. user=mdettweiler [2012-12-04 22:46:06] 909*2^1236840-1 is not prime. Res64: 7706F7BA8F7037B9 Time : 0.0 sec. user=mdettweiler [2012-12-04 22:46:10] 685*2^1236841-1 is not prime. Res64: 4D23C4EED5BA6207 Time : 0.0 sec. user=mdettweiler [2012-12-04 22:49:40] 769*2^1236841-1 is not prime. Res64: 8ADBEF5AB889170D Time : 0.0 sec. user=mdettweiler [2012-12-04 22:49:41] 819*2^1236841-1 is not prime. Res64: 87D895FF0D026520 Time : 0.0 sec. user=mdettweiler [2012-12-04 23:04:03] 829*2^1236841-1 is not prime. Res64: A797D30D5C25C224 Time : 0.0 sec. user=mdettweiler [2012-12-04 23:07:15] 867*2^1236841-1 is not prime. Res64: BE8C498A35781840 Time : 0.0 sec. user=mdettweiler [2012-12-04 23:16:22] 747*2^1236842-1 is not prime. Res64: 448FCB05D73CF591 Time : 0.0 sec. user=mdettweiler [2012-12-04 23:25:06] 767*2^1236842-1 is not prime. Res64: 11BEAD5E7DD2B05A Time : 0.0 sec. user=gd_barnes [2012-12-04 23:26:13] 711*2^1236842-1 is not prime. Res64: 2770EE97182B6ED6 Time : 0.0 sec. user=mdettweiler [2012-12-04 23:32:16] 861*2^1236841-1 is not prime. Res64: C8C609B1E0560111 Time : 0.0 sec. user=gd_barnes [2012-12-04 23:34:07] 713*2^1236842-1 is not prime. Res64: FDC0F43A2566CC9C Time : 0.0 sec. user=mdettweiler [2012-12-04 23:36:14] 645*2^1236842-1 is not prime. Res64: C9D5FF8560F6025E Time : 0.0 sec. user=gd_barnes [2012-12-04 23:57:13] 843*2^1236842-1 is not prime. Res64: 460BA1F4C20AF584 Time : 0.0 sec.