user=mdettweiler [2012-12-01 00:03:16] 645*2^1236625-1 is not prime. Res64: 2A022631E52F4532 Time : 0.0 sec. user=mdettweiler [2012-12-01 00:03:18] 799*2^1236625-1 is not prime. Res64: A182EF4D806C0650 Time : 0.0 sec. user=mdettweiler [2012-12-01 00:05:18] 831*2^1236625-1 is not prime. Res64: 9CF7565AABD1A358 Time : 0.0 sec. user=mdettweiler [2012-12-01 00:05:19] 885*2^1236625-1 is not prime. Res64: 7D005216465574DE Time : 0.0 sec. user=mdettweiler [2012-12-01 00:22:48] 895*2^1236625-1 is not prime. Res64: CCB6CA5549831299 Time : 0.0 sec. user=mdettweiler [2012-12-01 00:23:03] 979*2^1236625-1 is not prime. Res64: 2BBE5F1CFE1E5EAB Time : 0.0 sec. user=mdettweiler [2012-12-01 00:23:05] 633*2^1236626-1 is not prime. Res64: 59B0DDF95ADC1F6D Time : 0.0 sec. user=mdettweiler [2012-12-01 00:38:37] 939*2^1236625-1 is not prime. Res64: 7F2674D2D6914E6E Time : 0.0 sec. user=mdettweiler [2012-12-01 00:40:52] 657*2^1236626-1 is not prime. Res64: D47C9159A425F06E Time : 0.0 sec. user=mdettweiler [2012-12-01 00:40:53] 717*2^1236626-1 is not prime. Res64: 2183DD61A0E4DF1E Time : 0.0 sec. user=mdettweiler [2012-12-01 00:55:57] 801*2^1236626-1 is not prime. Res64: 6F9AD6A28C14EB5C Time : 0.0 sec. user=mdettweiler [2012-12-01 00:55:58] 843*2^1236626-1 is not prime. Res64: 05501C39A120B103 Time : 0.0 sec. user=mdettweiler [2012-12-01 00:58:11] 857*2^1236626-1 is not prime. Res64: 005B7D8103B2C32B Time : 0.0 sec. user=mdettweiler [2012-12-01 00:58:11] 873*2^1236626-1 is not prime. Res64: EB412C5435F3011F Time : 0.0 sec. user=mdettweiler [2012-12-01 01:15:30] 735*2^1236627-1 is not prime. Res64: 7AAB1740B2B874EE Time : 0.0 sec. user=mdettweiler [2012-12-01 01:15:32] 741*2^1236627-1 is not prime. Res64: 03E3B2B4BCF87801 Time : 0.0 sec. user=mdettweiler [2012-12-01 01:33:03] 751*2^1236627-1 is not prime. Res64: 7F6F39481AB7DB4A Time : 0.0 sec. user=mdettweiler [2012-12-01 01:33:04] 825*2^1236627-1 is not prime. Res64: D8961D2C67B481D8 Time : 0.0 sec. user=mdettweiler [2012-12-01 01:45:34] 619*2^1236627-1 is not prime. Res64: BCD909CE2D6ADA59 Time : 0.0 sec. user=mdettweiler [2012-12-01 01:45:34] 685*2^1236627-1 is not prime. Res64: 7E95B628187A759F Time : 0.0 sec. user=mdettweiler [2012-12-01 01:50:21] 843*2^1236627-1 is not prime. Res64: E404152DD837C7B9 Time : 0.0 sec. user=mdettweiler [2012-12-01 01:50:21] 871*2^1236627-1 is not prime. Res64: C47F04F2CEB9DB01 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:02:54] 885*2^1236627-1 is not prime. Res64: 0E975FC605348118 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:02:55] 895*2^1236627-1 is not prime. Res64: E5236914BC0FF0F5 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:07:38] 909*2^1236627-1 is not prime. Res64: 9EA29B91A7354486 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:07:39] 705*2^1236628-1 is not prime. Res64: C31CAE8EAE2F320B Time : 0.0 sec. user=mdettweiler [2012-12-01 02:20:18] 855*2^1236628-1 is not prime. Res64: 1BF5940BD44FE248 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:20:20] 657*2^1236629-1 is not prime. Res64: C41984B1C97B4F6A Time : 0.0 sec. user=mdettweiler [2012-12-01 02:24:57] 675*2^1236629-1 is not prime. Res64: 968EF1C10D1578A0 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:24:58] 721*2^1236629-1 is not prime. Res64: 6C23A4C415078646 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:37:50] 769*2^1236629-1 is not prime. Res64: 482CD01A4F400EEA Time : 0.0 sec. user=mdettweiler [2012-12-01 02:37:54] 775*2^1236629-1 is not prime. Res64: 10BC0D78B8CBA292 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:42:14] 795*2^1236629-1 is not prime. Res64: 87BA177A8B22DF16 Time : 0.0 sec. user=mdettweiler [2012-12-01 02:42:21] 825*2^1236629-1 is not prime. Res64: 26DB6858E46B21BC Time : 0.0 sec. user=mdettweiler [2012-12-01 02:55:28] 861*2^1236629-1 is not prime. Res64: 7E29C286AB1BCD8C Time : 0.0 sec. user=mdettweiler [2012-12-01 02:55:29] 897*2^1236629-1 is not prime. Res64: 7D234C4878E3F558 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:00:08] 635*2^1236630-1 is not prime. Res64: B9C227BF56686C0F Time : 0.0 sec. user=mdettweiler [2012-12-01 03:00:10] 695*2^1236630-1 is not prime. Res64: 8989EBA799619F04 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:12:54] 821*2^1236630-1 is not prime. Res64: 54096DDE76ED040A Time : 0.0 sec. user=mdettweiler [2012-12-01 03:12:55] 845*2^1236630-1 is not prime. Res64: 0288F3401D34F04A Time : 0.0 sec. user=mdettweiler [2012-12-01 03:17:49] 921*2^1236630-1 is not prime. Res64: 76D4E79FAB257235 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:17:52] 923*2^1236630-1 is not prime. Res64: 19CABCC047549A82 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:30:16] 977*2^1236630-1 is not prime. Res64: EE5B2EC130380B7F Time : 0.0 sec. user=mdettweiler [2012-12-01 03:30:17] 709*2^1236631-1 is not prime. Res64: D4B0D87F30415325 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:35:36] 813*2^1236631-1 is not prime. Res64: F3626570DBB2FC3D Time : 0.0 sec. user=mdettweiler [2012-12-01 03:35:39] 873*2^1236631-1 is not prime. Res64: 157D85733C9AE625 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:47:41] 913*2^1236631-1 is not prime. Res64: FB7DCAADB1A2DD8F Time : 0.0 sec. user=mdettweiler [2012-12-01 03:47:42] 603*2^1236632-1 is not prime. Res64: 68FA5795A1E59680 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:53:12] 777*2^1236632-1 is not prime. Res64: 7B761E1E61CCBC32 Time : 0.0 sec. user=mdettweiler [2012-12-01 03:53:13] 813*2^1236632-1 is not prime. Res64: 84367A9A1F7CB13C Time : 0.0 sec. user=mdettweiler [2012-12-01 04:05:09] 815*2^1236632-1 is not prime. Res64: 99261F8C4D555128 Time : 0.0 sec. user=mdettweiler [2012-12-01 04:05:11] 855*2^1236632-1 is not prime. Res64: 6439722428491888 Time : 0.0 sec. user=mdettweiler [2012-12-01 04:10:36] 857*2^1236632-1 is not prime. Res64: DB0D02C63813934C Time : 0.0 sec. user=mdettweiler [2012-12-01 04:10:39] 875*2^1236632-1 is not prime. Res64: 1DB5FDD26F27C424 Time : 0.0 sec. user=mdettweiler [2012-12-01 04:23:03] 897*2^1236632-1 is not prime. Res64: A2CE6DA605B3FB44 Time : 0.0 sec. user=mdettweiler [2012-12-01 04:23:03] 899*2^1236632-1 is not prime. Res64: 26DC026DFFD8770B Time : 0.0 sec. user=mdettweiler [2012-12-01 04:28:05] 903*2^1236632-1 is not prime. Res64: B6AE18EDF829DC19 Time : 0.0 sec. user=mdettweiler [2012-12-01 04:28:05] 945*2^1236632-1 is not prime. Res64: A5E34202C27CEBFB Time : 0.0 sec. user=mdettweiler [2012-12-01 04:45:21] 817*2^1236633-1 is not prime. Res64: B7A88F231D140B0F Time : 0.0 sec. user=mdettweiler [2012-12-01 04:45:22] 829*2^1236633-1 is not prime. Res64: 2F2239A649207436 Time : 0.0 sec. user=mdettweiler [2012-12-01 04:59:13] 625*2^1236633-1 is not prime. Res64: 82656996975B9DCD Time : 0.0 sec. user=mdettweiler [2012-12-01 04:59:13] 669*2^1236633-1 is not prime. Res64: CA132B13F862CAA7 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:02:48] 889*2^1236633-1 is not prime. Res64: 6305B13B019F0F81 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:02:48] 835*2^1236633-1 is not prime. Res64: 94DD3B4AD8FE9D69 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:02:50] 747*2^1236634-1 is not prime. Res64: 195A84F5F21570AF Time : 0.0 sec. user=mdettweiler [2012-12-01 05:16:42] 887*2^1236634-1 is not prime. Res64: ED948EB468A5434A Time : 0.0 sec. user=mdettweiler [2012-12-01 05:16:45] 983*2^1236634-1 is not prime. Res64: D3B2B7E8261D48A0 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:20:34] 987*2^1236634-1 is not prime. Res64: 04841649E2932125 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:20:35] 759*2^1236635-1 is not prime. Res64: BD52227939632818 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:34:22] 825*2^1236635-1 is not prime. Res64: 642E4D21D7CDE19E Time : 0.0 sec. user=mdettweiler [2012-12-01 05:34:22] 859*2^1236635-1 is not prime. Res64: 9A77855E9A67354D Time : 0.0 sec. user=mdettweiler [2012-12-01 05:38:00] 943*2^1236635-1 is not prime. Res64: AED7C7E5542B1257 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:38:01] 635*2^1236636-1 is not prime. Res64: DB8836FAEC59B731 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:51:40] 987*2^1236636-1 is not prime. Res64: 8247EF86F812A492 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:51:41] 999*2^1236636-1 is not prime. Res64: 851BFFCCB0C53073 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:55:18] 661*2^1236637-1 is not prime. Res64: 10CFB2B2DB51EE04 Time : 0.0 sec. user=mdettweiler [2012-12-01 05:55:18] 729*2^1236637-1 is not prime. Res64: DA183C7AB4C103D9 Time : 0.0 sec. user=mdettweiler [2012-12-01 06:09:01] 829*2^1236637-1 is not prime. Res64: 4BAC90AFCAB17D66 Time : 0.0 sec. user=mdettweiler [2012-12-01 06:09:05] 867*2^1236637-1 is not prime. Res64: DBA42EE2F0B030F5 Time : 0.0 sec. user=mdettweiler [2012-12-01 06:12:34] 955*2^1236637-1 is not prime. Res64: 86576811C42B2030 Time : 0.0 sec. user=mdettweiler [2012-12-01 06:12:36] 603*2^1236638-1 is not prime. Res64: ACD943822FCBC3A8 Time : 0.0 sec. user=mdettweiler [2012-12-01 06:26:28] 605*2^1236638-1 is not prime. Res64: 36AC65D6FE2668AB Time : 0.0 sec. user=mdettweiler [2012-12-01 06:26:28] 623*2^1236638-1 is not prime. Res64: 84612CADA44DC0A3 Time : 0.0 sec. user=mdettweiler [2012-12-01 06:29:57] 815*2^1236638-1 is not prime. Res64: 7F2C2D53B6D418BE Time : 0.0 sec. user=mdettweiler [2012-12-01 06:29:58] 945*2^1236638-1 is not prime. Res64: BBE93966795A6ACE Time : 0.0 sec. user=mdettweiler [2012-12-01 06:43:46] 1001*2^1236638-1 is not prime. Res64: 63463E3A2AA141FA Time : 0.0 sec. user=mdettweiler [2012-12-01 06:43:46] 619*2^1236639-1 is not prime. Res64: 474756CCC0CD3CAC Time : 0.0 sec. user=mdettweiler [2012-12-01 06:47:16] 853*2^1236639-1 is not prime. Res64: 59AA1B6064336373 Time : 0.0 sec. user=mdettweiler [2012-12-01 06:47:17] 645*2^1236640-1 is not prime. Res64: 698C8A48CD63E725 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:01:04] 695*2^1236640-1 is not prime. Res64: A306BCBCDBCFB4F7 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:01:05] 719*2^1236640-1 is not prime. Res64: 72BCBAF3E2CD2823 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:04:34] 839*2^1236640-1 is not prime. Res64: 9DD8F39FC11D4CBA Time : 0.0 sec. user=mdettweiler [2012-12-01 07:04:36] 905*2^1236640-1 is not prime. Res64: 601C04748BBFE326 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:18:33] 957*2^1236640-1 is not prime. Res64: 312FD4A21A5736E0 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:18:34] 999*2^1236640-1 is not prime. Res64: FAD26064D2B54EF0 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:22:09] 711*2^1236641-1 is not prime. Res64: C1B868A6766572BF Time : 0.0 sec. user=mdettweiler [2012-12-01 07:22:09] 861*2^1236641-1 is not prime. Res64: 24527842D2267790 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:35:53] 871*2^1236641-1 is not prime. Res64: FC9F5933ECB4D7D0 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:35:54] 901*2^1236641-1 is not prime. Res64: 72229A37BD86E637 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:39:28] 937*2^1236641-1 is not prime. Res64: 8821232C5549EDAB Time : 0.0 sec. user=mdettweiler [2012-12-01 07:39:28] 755*2^1236642-1 is not prime. Res64: 51200F8F28E72903 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:53:11] 777*2^1236642-1 is not prime. Res64: BAB4F7EF381364C9 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:53:11] 837*2^1236642-1 is not prime. Res64: E0A0F5A511DD0B76 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:56:48] 941*2^1236642-1 is not prime. Res64: BC7172D07A9A2E80 Time : 0.0 sec. user=mdettweiler [2012-12-01 07:56:49] 983*2^1236642-1 is not prime. Res64: F6BF1E77F316F03A Time : 0.0 sec. user=mdettweiler [2012-12-01 08:10:29] 1001*2^1236642-1 is not prime. Res64: 3B3B182D2EAB9B50 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:10:31] 609*2^1236643-1 is not prime. Res64: 10FCBBD3BEEDA0F8 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:14:09] 765*2^1236643-1 is not prime. Res64: 30A4EC322B0E04F0 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:14:17] 871*2^1236643-1 is not prime. Res64: 98C79D0DA4D52D04 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:27:55] 623*2^1236644-1 is not prime. Res64: 63C74E463CBECCCE Time : 0.0 sec. user=mdettweiler [2012-12-01 08:27:56] 689*2^1236644-1 is not prime. Res64: DA01B106688DFB84 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:31:52] 813*2^1236644-1 is not prime. Res64: 40C2EFB948EEFB90 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:31:52] 837*2^1236644-1 is not prime. Res64: 440567FEF49CC30B Time : 0.0 sec. user=mdettweiler [2012-12-01 08:45:14] 885*2^1236644-1 is not prime. Res64: 9090CD2609B36A2C Time : 0.0 sec. user=mdettweiler [2012-12-01 08:45:14] 711*2^1236645-1 is not prime. Res64: A444BAD0AA1E9E96 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:49:10] 735*2^1236645-1 is not prime. Res64: AD5E7D155E18B092 Time : 0.0 sec. user=mdettweiler [2012-12-01 08:49:10] 795*2^1236645-1 is not prime. Res64: 5C3D34A6EC5BCEA3 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:02:37] 861*2^1236645-1 is not prime. Res64: F0821698F403CC18 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:02:38] 919*2^1236645-1 is not prime. Res64: 7C3475FDF783E042 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:06:28] 937*2^1236645-1 is not prime. Res64: E7D54BB1BC7B102D Time : 0.0 sec. user=mdettweiler [2012-12-01 09:06:31] 713*2^1236646-1 is not prime. Res64: EAF7460AC59857BE Time : 0.0 sec. user=mdettweiler [2012-12-01 09:20:05] 785*2^1236646-1 is not prime. Res64: F09ACCC8EEE4F154 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:20:05] 833*2^1236646-1 is not prime. Res64: 09981ED7212756D3 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:24:06] 881*2^1236646-1 is not prime. Res64: 6B272638D9F681A8 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:24:06] 975*2^1236646-1 is not prime. Res64: AEE14D047EB3EF9D Time : 0.0 sec. user=mdettweiler [2012-12-01 09:37:24] 643*2^1236647-1 is not prime. Res64: D6C777A8CB05997B Time : 0.0 sec. user=mdettweiler [2012-12-01 09:37:25] 715*2^1236647-1 is not prime. Res64: B913E498BAA9EA88 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:41:23] 861*2^1236647-1 is not prime. Res64: 692115E5C000B1F2 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:41:23] 993*2^1236647-1 is not prime. Res64: 0BD7FAEAA5CAEE91 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:54:45] 735*2^1236648-1 is not prime. Res64: 260E1569948DC135 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:54:45] 777*2^1236648-1 is not prime. Res64: CA0FEBC88125C6D2 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:58:40] 999*2^1236648-1 is not prime. Res64: 07D7A935A0462A86 Time : 0.0 sec. user=mdettweiler [2012-12-01 09:58:40] 609*2^1236649-1 is not prime. Res64: 2855ADD6111BD6E9 Time : 0.0 sec. user=mdettweiler [2012-12-01 10:12:02] 955*2^1236485-1 is not prime. Res64: 7245BE435FC10E29 Time : 0.0 sec. user=mdettweiler [2012-12-01 10:12:04] 841*2^1236649-1 is not prime. Res64: 81587244B81B09EE Time : 0.0 sec. user=mdettweiler [2012-12-01 10:16:02] 895*2^1236649-1 is not prime. Res64: 16BD00A4AF1AA81A Time : 0.0 sec. user=mdettweiler [2012-12-01 10:16:05] 615*2^1236650-1 is not prime. Res64: ABC485AE9A4E67D3 Time : 0.0 sec. user=mdettweiler [2012-12-01 10:29:30] 623*2^1236650-1 is not prime. Res64: 7F9E840927C266A6 Time : 0.0 sec. user=mdettweiler [2012-12-01 10:29:31] 633*2^1236650-1 is not prime. Res64: 7729765DCD5226AE Time : 0.0 sec. user=mdettweiler [2012-12-01 10:33:42] 731*2^1236650-1 is not prime. Res64: F4BA510457FB8F4E Time : 0.0 sec. user=mdettweiler [2012-12-01 10:33:43] 917*2^1236650-1 is not prime. Res64: CE5D8C70E6258317 Time : 0.0 sec. user=mdettweiler [2012-12-01 10:46:49] 935*2^1236650-1 is not prime. Res64: 70C3216712CE1BEB Time : 0.0 sec. user=mdettweiler [2012-12-01 10:46:50] 741*2^1236651-1 is not prime. Res64: 5E82BB90270791E4 Time : 0.0 sec. user=mdettweiler [2012-12-01 10:50:59] 775*2^1236651-1 is not prime. Res64: DAE216913ED49BC0 Time : 0.0 sec. user=mdettweiler [2012-12-01 10:51:00] 783*2^1236651-1 is not prime. Res64: 48C70214FC5AECAE Time : 0.0 sec. user=mdettweiler [2012-12-01 11:04:08] 849*2^1236651-1 is not prime. Res64: 4BB9A36845BD1BED Time : 0.0 sec. user=mdettweiler [2012-12-01 11:04:10] 943*2^1236651-1 is not prime. Res64: E856B6187F247005 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:08:38] 605*2^1236652-1 is not prime. Res64: 3FFD828B4271579D Time : 0.0 sec. user=mdettweiler [2012-12-01 11:08:38] 677*2^1236652-1 is not prime. Res64: 5D52260F8712D420 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:21:38] 777*2^1236652-1 is not prime. Res64: 29C5F1BDE9FD7118 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:21:39] 855*2^1236652-1 is not prime. Res64: ACB2BA6C53F4EB5D Time : 0.0 sec. user=mdettweiler [2012-12-01 11:26:02] 915*2^1236652-1 is not prime. Res64: ABB6E0A567E1BCC1 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:26:02] 933*2^1236652-1 is not prime. Res64: ABE18340AD3A2842 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:38:57] 965*2^1236652-1 is not prime. Res64: 6773BC1CB0970F2A Time : 0.0 sec. user=mdettweiler [2012-12-01 11:38:58] 607*2^1236653-1 is not prime. Res64: D34440C753BD7B06 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:43:20] 699*2^1236653-1 is not prime. Res64: 404E0D84A7532FD6 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:43:20] 741*2^1236653-1 is not prime. Res64: 522C6189C806A30F Time : 0.0 sec. user=mdettweiler [2012-12-01 11:56:16] 801*2^1236653-1 is not prime. Res64: B210AD02E243C578 Time : 0.0 sec. user=mdettweiler [2012-12-01 11:56:16] 897*2^1236653-1 is not prime. Res64: 9D19FBD99F713EFB Time : 0.0 sec. user=mdettweiler [2012-12-01 12:00:38] 767*2^1236654-1 is not prime. Res64: 17316F8AA77178F5 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:00:39] 983*2^1236654-1 is not prime. Res64: D46B4E608E681711 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:13:34] 709*2^1236655-1 is not prime. Res64: B1B8EF663E8A67A4 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:13:38] 723*2^1236655-1 is not prime. Res64: 4F2F05012BBA2979 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:17:58] 885*2^1236655-1 is not prime. Res64: A32AEFFA90EB553E Time : 0.0 sec. user=mdettweiler [2012-12-01 12:17:58] 891*2^1236655-1 is not prime. Res64: 96C7AE6E7F5EC48F Time : 0.0 sec. user=mdettweiler [2012-12-01 12:31:20] 951*2^1236655-1 is not prime. Res64: ED8841DA9D20F8C0 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:31:20] 985*2^1236655-1 is not prime. Res64: 180DDAAE13AD6EAB Time : 0.0 sec. user=mdettweiler [2012-12-01 12:35:17] 615*2^1236656-1 is not prime. Res64: 30DEFA2477A32D82 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:35:18] 633*2^1236656-1 is not prime. Res64: 042EE731F5F236FC Time : 0.0 sec. user=mdettweiler [2012-12-01 12:48:37] 669*2^1236656-1 is not prime. Res64: C7B3503CFF909914 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:48:38] 747*2^1236656-1 is not prime. Res64: 9512CF78595EF1B3 Time : 0.0 sec. user=mdettweiler [2012-12-01 12:52:38] 843*2^1236656-1 is not prime. Res64: A35AD8373DE703DE Time : 0.0 sec. user=mdettweiler [2012-12-01 12:52:38] 869*2^1236656-1 is not prime. Res64: 0F39C3FDE3A8448F Time : 0.0 sec. user=mdettweiler [2012-12-01 13:05:56] 935*2^1236656-1 is not prime. Res64: C7668B7165993B57 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:05:57] 805*2^1236657-1 is not prime. Res64: 88F32F4ED8B862B1 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:09:55] 915*2^1236657-1 is not prime. Res64: 1EB278C100A22D17 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:09:58] 919*2^1236657-1 is not prime. Res64: FF01C43AF70149E1 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:23:19] 735*2^1236658-1 is not prime. Res64: ACA45F12B1C432CA Time : 0.0 sec. user=mdettweiler [2012-12-01 13:23:20] 801*2^1236658-1 is not prime. Res64: 0BCD3E42B6FEDB55 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:27:21] 813*2^1236658-1 is not prime. Res64: 97A80872C8BDE2AB Time : 0.0 sec. user=mdettweiler [2012-12-01 13:27:22] 845*2^1236658-1 is not prime. Res64: 5A7785A9AEC0408A Time : 0.0 sec. user=mdettweiler [2012-12-01 13:40:39] 911*2^1236658-1 is not prime. Res64: 561472306D2C4085 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:40:39] 603*2^1236659-1 is not prime. Res64: DC65C9F727549729 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:44:43] 633*2^1236659-1 is not prime. Res64: 9A5795E3507BBB1F Time : 0.0 sec. user=mdettweiler [2012-12-01 13:44:44] 663*2^1236659-1 is not prime. Res64: 4894E38AB5D359D9 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:57:56] 693*2^1236659-1 is not prime. Res64: B9F5899FFCA72277 Time : 0.0 sec. user=mdettweiler [2012-12-01 13:57:56] 705*2^1236659-1 is not prime. Res64: 0E37AE17D7B55C85 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:02:01] 759*2^1236659-1 is not prime. Res64: 0408A1B990A37545 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:02:02] 811*2^1236659-1 is not prime. Res64: DB195BC41D6CE1F7 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:15:13] 841*2^1236659-1 is not prime. Res64: 15E9F37D4E167EB0 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:15:15] 853*2^1236659-1 is not prime. Res64: 942426EDC4D80067 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:19:19] 855*2^1236659-1 is not prime. Res64: F8A499BD2D925529 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:19:20] 943*2^1236659-1 is not prime. Res64: DB75EF7E78C12528 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:32:42] 969*2^1236659-1 is not prime. Res64: AEDE31B1E1D18FCA Time : 0.0 sec. user=mdettweiler [2012-12-01 14:32:43] 723*2^1236660-1 is not prime. Res64: 289714127FE835EF Time : 0.0 sec. user=mdettweiler [2012-12-01 14:36:38] 765*2^1236660-1 is not prime. Res64: E232BB5881CA61FB Time : 0.0 sec. user=mdettweiler [2012-12-01 14:36:38] 797*2^1236660-1 is not prime. Res64: C73045624665629C Time : 0.0 sec. user=mdettweiler [2012-12-01 14:50:00] 843*2^1236660-1 is not prime. Res64: 5F1B718DF7901E26 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:50:00] 845*2^1236660-1 is not prime. Res64: FEFC3ED20AC86750 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:53:56] 879*2^1236660-1 is not prime. Res64: EAF5D24C656E8119 Time : 0.0 sec. user=mdettweiler [2012-12-01 14:53:57] 905*2^1236660-1 is not prime. Res64: 0D6FAF8EF00A4D5D Time : 0.0 sec. user=mdettweiler [2012-12-01 15:07:18] 777*2^1236661-1 is not prime. Res64: A00F514D8CC46655 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:07:20] 867*2^1236661-1 is not prime. Res64: 9D35C34E5F7E613F Time : 0.0 sec. user=mdettweiler [2012-12-01 15:11:14] 937*2^1236661-1 is not prime. Res64: D715B30E9D28E2F3 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:11:15] 705*2^1236662-1 is not prime. Res64: 08FF4D4441176C12 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:24:45] 747*2^1236662-1 is not prime. Res64: BA9A013EEA41F9E5 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:24:46] 791*2^1236662-1 is not prime. Res64: 558A08325BA98478 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:28:34] 813*2^1236662-1 is not prime. Res64: 103E2C3D10690211 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:28:35] 825*2^1236662-1 is not prime. Res64: 82E353E3B788063B Time : 0.0 sec. user=mdettweiler [2012-12-01 15:42:12] 1001*2^1236662-1 is not prime. Res64: F618AC547EE8F907 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:42:13] 619*2^1236663-1 is not prime. Res64: 67E01A5BE8E33DEA Time : 0.0 sec. user=mdettweiler [2012-12-01 15:46:13] 639*2^1236663-1 is not prime. Res64: 9C0ED508D7991631 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:46:13] 709*2^1236663-1 is not prime. Res64: 64B3A6E9118FB65E Time : 0.0 sec. user=mdettweiler [2012-12-01 15:59:39] 849*2^1236663-1 is not prime. Res64: 1EEB51E9C2DFFED6 Time : 0.0 sec. user=mdettweiler [2012-12-01 15:59:40] 891*2^1236663-1 is not prime. Res64: 3EE99C49E22DE44E Time : 0.0 sec. user=mdettweiler [2012-12-01 16:03:36] 869*2^1236664-1 is not prime. Res64: 79E6F1FC37C99646 Time : 0.0 sec. user=mdettweiler [2012-12-01 16:03:37] 915*2^1236664-1 is not prime. Res64: 6F20C71979DE061A Time : 0.0 sec. user=mdettweiler [2012-12-01 16:17:09] 917*2^1236664-1 is not prime. Res64: 330DA83A69C1A956 Time : 0.0 sec. user=mdettweiler [2012-12-01 16:17:09] 939*2^1236664-1 is not prime. Res64: 9519BBFF93054609 Time : 0.0 sec. user=mdettweiler [2012-12-01 16:21:11] 965*2^1236664-1 is not prime. Res64: 9C4E54E3FEEE1C1F Time : 0.0 sec. user=mdettweiler [2012-12-01 16:21:12] 675*2^1236665-1 is not prime. Res64: C30268A71FFD2B0D Time : 0.0 sec. user=mdettweiler [2012-12-01 16:35:03] 697*2^1236665-1 is not prime. Res64: 2B110FD2F684BA7D Time : 0.0 sec. user=mdettweiler [2012-12-01 16:35:04] 799*2^1236665-1 is not prime. Res64: E1EA36090DF5537E Time : 0.0 sec. user=mdettweiler [2012-12-01 16:39:00] 969*2^1236665-1 is not prime. Res64: E923DD18014E3C16 Time : 0.0 sec. user=mdettweiler [2012-12-01 16:39:00] 783*2^1236666-1 is not prime. Res64: 84883B02C1EA44A7 Time : 0.0 sec. user=juhehe [2012-12-01 16:52:11] 871*2^1236665-1 is not prime. Res64: 3AB96F3CE079259F Time : 0.0 sec. user=mdettweiler [2012-12-01 16:53:06] 833*2^1236666-1 is not prime. Res64: C3061F682B79B387 Time : 0.0 sec. user=mdettweiler [2012-12-01 16:53:06] 891*2^1236666-1 is not prime. Res64: 2A86011D9BB135CA Time : 0.0 sec. user=mdettweiler [2012-12-01 16:56:58] 917*2^1236666-1 is not prime. Res64: 6991CDCB5CB4EAF5 Time : 0.0 sec. user=mdettweiler [2012-12-01 16:56:58] 631*2^1236667-1 is not prime. Res64: EFA7B87A5A939A5C Time : 0.0 sec. user=mdettweiler [2012-12-01 17:10:53] 685*2^1236667-1 is not prime. Res64: 616529B6E3115F2B Time : 0.0 sec. user=mdettweiler [2012-12-01 17:10:55] 691*2^1236667-1 is not prime. Res64: A65016691771F3CB Time : 0.0 sec. user=mdettweiler [2012-12-01 17:14:38] 751*2^1236667-1 is not prime. Res64: 1ED779D6592CA65E Time : 0.0 sec. user=mdettweiler [2012-12-01 17:14:39] 769*2^1236667-1 is not prime. Res64: 7793B0F927D5BEE1 Time : 0.0 sec. user=mdettweiler [2012-12-01 17:28:31] 841*2^1236667-1 is not prime. Res64: FF95B75C0DAB6EBB Time : 0.0 sec. user=mdettweiler [2012-12-01 17:28:34] 909*2^1236667-1 is not prime. Res64: 9A6825D101E74D4B Time : 0.0 sec. user=mdettweiler [2012-12-01 17:32:07] 945*2^1236667-1 is not prime. Res64: B9ED858F723BB79F Time : 0.0 sec. user=mdettweiler [2012-12-01 17:32:08] 615*2^1236668-1 is not prime. Res64: 9B21850FB0EF6D5B Time : 0.0 sec. user=mdettweiler [2012-12-01 17:46:11] 629*2^1236668-1 is not prime. Res64: 77D3C045DF75EDCA Time : 0.0 sec. user=mdettweiler [2012-12-01 17:46:11] 813*2^1236668-1 is not prime. Res64: DC4D9B4346454C9A Time : 0.0 sec. user=mdettweiler [2012-12-01 17:49:28] 839*2^1236668-1 is not prime. Res64: 3BE7F43353E2C63A Time : 0.0 sec. user=mdettweiler [2012-12-01 17:49:29] 855*2^1236668-1 is not prime. Res64: E5C8F03B24FA1274 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:03:32] 935*2^1236668-1 is not prime. Res64: E1334838DC7795C7 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:03:33] 995*2^1236668-1 is not prime. Res64: 6414DC93DD9B3E68 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:06:50] 615*2^1236669-1 is not prime. Res64: 300298287D96E7DE Time : 0.0 sec. user=mdettweiler [2012-12-01 18:06:51] 627*2^1236669-1 is not prime. Res64: D7F033FB279D4FE0 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:21:01] 751*2^1236669-1 is not prime. Res64: E07BF0CA2F4A6034 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:21:02] 765*2^1236669-1 is not prime. Res64: 01D0EFF98248BBFD Time : 0.0 sec. user=mdettweiler [2012-12-01 18:24:16] 889*2^1236669-1 is not prime. Res64: 68CEB7441180F852 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:24:17] 951*2^1236669-1 is not prime. Res64: 504D6ACD6AB745CE Time : 0.0 sec. user=mdettweiler [2012-12-01 18:38:23] 975*2^1236669-1 is not prime. Res64: 115C399F5C09EEAB Time : 0.0 sec. user=mdettweiler [2012-12-01 18:38:25] 997*2^1236669-1 is not prime. Res64: 63E443FBC1FDC04F Time : 0.0 sec. user=mdettweiler [2012-12-01 18:41:36] 603*2^1236670-1 is not prime. Res64: 22FF2D796005A8CB Time : 0.0 sec. user=mdettweiler [2012-12-01 18:41:37] 675*2^1236670-1 is not prime. Res64: BF505CA3B07412FB Time : 0.0 sec. user=mdettweiler [2012-12-01 18:55:47] 773*2^1236670-1 is not prime. Res64: 3C4C2EA2C07492B7 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:55:47] 813*2^1236670-1 is not prime. Res64: FFA16BAC658DA8D6 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:59:00] 857*2^1236670-1 is not prime. Res64: 0BB57741136F2A04 Time : 0.0 sec. user=mdettweiler [2012-12-01 18:59:00] 887*2^1236670-1 is not prime. Res64: 3C25DDA710DC2D8B Time : 0.0 sec. user=mdettweiler [2012-12-01 19:13:10] 915*2^1236670-1 is not prime. Res64: 07468BA3B42F2A95 Time : 0.0 sec. user=mdettweiler [2012-12-01 19:13:12] 917*2^1236670-1 is not prime. Res64: 85B00252484608D4 Time : 0.0 sec. user=mdettweiler [2012-12-01 19:16:20] 951*2^1236670-1 is not prime. Res64: 04B3D0F2AB6E99EC Time : 0.0 sec. user=mdettweiler [2012-12-01 19:16:25] 649*2^1236671-1 is not prime. Res64: D774C36F591291B7 Time : 0.0 sec. user=mdettweiler [2012-12-01 19:31:02] 651*2^1236671-1 is not prime. Res64: D0EB3C29DED62069 Time : 0.0 sec. user=mdettweiler [2012-12-01 19:31:02] 661*2^1236671-1 is not prime. Res64: 9CC951A7C6238323 Time : 0.0 sec. user=mdettweiler [2012-12-01 19:34:36] 693*2^1236671-1 is not prime. Res64: AF203CF3FF7E4D53 Time : 0.0 sec. user=mdettweiler [2012-12-01 19:34:36] 703*2^1236671-1 is not prime. Res64: 903F40918A49104C Time : 0.0 sec. user=mdettweiler [2012-12-01 19:48:42] 715*2^1236671-1 is not prime. Res64: 82BE1BA56C62271F Time : 0.0 sec. user=mdettweiler [2012-12-01 19:48:42] 735*2^1236671-1 is not prime. Res64: 83D2567D6029A970 Time : 0.0 sec. user=mdettweiler [2012-12-01 19:52:08] 745*2^1236671-1 is not prime. Res64: CCDF1EC6F14C7DAE Time : 0.0 sec. user=mdettweiler [2012-12-01 19:52:09] 939*2^1236671-1 is not prime. Res64: AF5A6C3D64CB6D0F Time : 0.0 sec. user=mdettweiler [2012-12-01 20:06:11] 945*2^1236671-1 is not prime. Res64: 899FBA731F41B831 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:06:13] 981*2^1236671-1 is not prime. Res64: A97EDCD5F5E8AD48 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:09:47] 635*2^1236672-1 is not prime. Res64: 3D9260DA9EDFF296 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:09:48] 759*2^1236672-1 is not prime. Res64: 894CB62C35580AEE Time : 0.0 sec. user=mdettweiler [2012-12-01 20:23:48] 779*2^1236672-1 is not prime. Res64: D0BC8A391CE6C156 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:23:49] 893*2^1236672-1 is not prime. Res64: 0149F3AB03366EC2 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:27:20] 959*2^1236672-1 is not prime. Res64: BCA628E6B3079A8F Time : 0.0 sec. user=mdettweiler [2012-12-01 20:27:21] 615*2^1236673-1 is not prime. Res64: 798D3641D351FD51 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:41:18] 649*2^1236673-1 is not prime. Res64: 0C8E5907EE7F103E Time : 0.0 sec. user=mdettweiler [2012-12-01 20:41:19] 705*2^1236673-1 is not prime. Res64: 68A7A27571C849C7 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:44:48] 945*2^1236673-1 is not prime. Res64: 13BE0392B1FC067C Time : 0.0 sec. user=mdettweiler [2012-12-01 20:44:48] 987*2^1236673-1 is not prime. Res64: 43A566B8CC57B332 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:58:45] 615*2^1236674-1 is not prime. Res64: 47E648558659A288 Time : 0.0 sec. user=mdettweiler [2012-12-01 20:58:46] 743*2^1236674-1 is not prime. Res64: 3573D9D86570D02C Time : 0.0 sec. user=mdettweiler [2012-12-01 21:02:15] 815*2^1236674-1 is not prime. Res64: 4CE51BE2A83A38A5 Time : 0.0 sec. user=mdettweiler [2012-12-01 21:02:17] 935*2^1236674-1 is not prime. Res64: 075B81A0D01C5EAE Time : 0.0 sec. user=mdettweiler [2012-12-01 21:16:14] 983*2^1236674-1 is not prime. Res64: CF813BB19D6EE9C3 Time : 0.0 sec. user=mdettweiler [2012-12-01 21:16:18] 663*2^1236675-1 is not prime. Res64: F2D801B688684A0C Time : 0.0 sec. user=mdettweiler [2012-12-01 21:34:09] 903*2^1236675-1 is not prime. Res64: 8D34D3A826A1F546 Time : 0.0 sec. user=mdettweiler [2012-12-01 21:34:09] 979*2^1236675-1 is not prime. Res64: 7F193DF38D9140A7 Time : 0.0 sec. user=mdettweiler [2012-12-01 21:51:49] 617*2^1236676-1 is not prime. Res64: A6437C24B9970763 Time : 0.0 sec. user=mdettweiler [2012-12-01 21:51:49] 699*2^1236676-1 is not prime. Res64: DC1492ED820ABA7B Time : 0.0 sec. user=mdettweiler [2012-12-01 21:54:14] 741*2^1236675-1 is not prime. Res64: 5AF66083C72D6CA4 Time : 0.0 sec. user=mdettweiler [2012-12-01 21:54:15] 789*2^1236675-1 is not prime. Res64: ACF2E3DB01148D3F Time : 0.0 sec. user=mdettweiler [2012-12-01 22:09:08] 719*2^1236676-1 is not prime. Res64: 122D41A38396DE23 Time : 0.0 sec. user=mdettweiler [2012-12-01 22:09:10] 807*2^1236676-1 is not prime. Res64: F78A086D248DDDD8 Time : 0.0 sec. user=mdettweiler [2012-12-01 22:11:33] 989*2^1236676-1 is not prime. Res64: 4A268EA8513F0719 Time : 0.0 sec. user=mdettweiler [2012-12-01 22:11:34] 697*2^1236677-1 is not prime. Res64: 22E30EBD81DFFE39 Time : 0.0 sec. user=mdettweiler [2012-12-01 22:26:44] 955*2^1236677-1 is not prime. Res64: EBB6F7DA9268ED7A Time : 0.0 sec. user=mdettweiler [2012-12-01 22:26:45] 615*2^1236678-1 is not prime. Res64: 11691340BB9541A0 Time : 0.0 sec. user=mdettweiler [2012-12-01 22:29:11] 993*2^1236678-1 is not prime. Res64: 515700A36BAA50B0 Time : 0.0 sec. user=mdettweiler [2012-12-01 22:29:11] 1001*2^1236678-1 is not prime. Res64: D4B5836723029E04 Time : 0.0 sec. user=mdettweiler [2012-12-01 22:44:12] 601*2^1236679-1 is not prime. Res64: B8CAE48D838E981D Time : 0.0 sec. user=mdettweiler [2012-12-01 22:44:12] 709*2^1236679-1 is not prime. Res64: 0679087C3030DB4F Time : 0.0 sec. user=mdettweiler [2012-12-01 22:46:38] 759*2^1236679-1 is not prime. Res64: 2A1D887EFE117A8C Time : 0.0 sec. user=mdettweiler [2012-12-01 22:46:39] 831*2^1236679-1 is not prime. Res64: 8F52256E40FE4889 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:01:45] 943*2^1236679-1 is not prime. Res64: FD4390D10908EBE4 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:01:46] 969*2^1236679-1 is not prime. Res64: FAE5D14CB18F8482 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:04:11] 675*2^1236680-1 is not prime. Res64: 060530853C98AC38 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:04:12] 875*2^1236680-1 is not prime. Res64: AE51A637D11BA850 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:19:47] 995*2^1236680-1 is not prime. Res64: 4ECDF1FD883524ED Time : 0.0 sec. user=mdettweiler [2012-12-01 23:19:48] 999*2^1236680-1 is not prime. Res64: C962714C1C0DFF54 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:21:40] 681*2^1236681-1 is not prime. Res64: D030AFB74A24E301 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:21:41] 685*2^1236681-1 is not prime. Res64: 2E0BB0812C676B4B Time : 0.0 sec. user=mdettweiler [2012-12-01 23:37:13] 711*2^1236681-1 is not prime. Res64: D60700C185B7D4AA Time : 0.0 sec. user=mdettweiler [2012-12-01 23:37:14] 789*2^1236681-1 is not prime. Res64: E753333EEC762783 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:39:00] 807*2^1236681-1 is not prime. Res64: EABA174DA78BCF7D Time : 0.0 sec. user=mdettweiler [2012-12-01 23:39:01] 889*2^1236681-1 is not prime. Res64: 2DE0A39B80527E2D Time : 0.0 sec. user=mdettweiler [2012-12-01 23:54:31] 921*2^1236681-1 is not prime. Res64: 743ED13499DF4E68 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:54:31] 717*2^1236682-1 is not prime. Res64: 9427F92490F67EED Time : 0.0 sec. user=mdettweiler [2012-12-01 23:56:19] 755*2^1236682-1 is not prime. Res64: AA91C40056A5BD76 Time : 0.0 sec. user=mdettweiler [2012-12-01 23:56:19] 801*2^1236682-1 is not prime. Res64: E1E59D7A667E92AA Time : 0.0 sec.