user=mdettweiler [2013-04-17 00:05:02] 947*2^1244724-1 is not prime. Res64: EC56E0F1EFE5C058 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:05:03] 721*2^1244725-1 is not prime. Res64: B00743492744FBF8 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:05:03] 619*2^1244725-1 is not prime. Res64: 4572BAE7D375B72E Time : 0.0 sec. user=mdettweiler [2013-04-17 00:05:04] 757*2^1244725-1 is not prime. Res64: E194C7F447B69247 Time : 0.0 sec. user=juhehe [2013-04-17 00:16:10] 789*2^1244724-1 is not prime. Res64: 8A8F670A61E37470 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:23:32] 925*2^1244725-1 is not prime. Res64: F51BEF1013D2A34A Time : 0.0 sec. user=mdettweiler [2013-04-17 00:23:32] 635*2^1244726-1 is not prime. Res64: C3CA1340D1E692E9 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:23:32] 917*2^1244726-1 is not prime. Res64: AFBA6609DDD4A65D Time : 0.0 sec. user=mdettweiler [2013-04-17 00:23:33] 953*2^1244726-1 is not prime. Res64: EACB41FB45722A54 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:41:13] 859*2^1244727-1 is not prime. Res64: 1E2EA0C65547890B Time : 0.0 sec. user=mdettweiler [2013-04-17 00:41:13] 649*2^1244727-1 is not prime. Res64: BC191778D792C7ED Time : 0.0 sec. user=mdettweiler [2013-04-17 00:41:13] 861*2^1244727-1 is not prime. Res64: CB403719B7DAE168 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:41:13] 849*2^1244727-1 is not prime. Res64: 3E3E0C575EB220DF Time : 0.0 sec. user=juhehe [2013-04-17 00:50:54] 877*2^1244725-1 is not prime. Res64: DF10575CCCF8150F Time : 0.0 sec. user=mdettweiler [2013-04-17 00:58:51] 677*2^1244728-1 is not prime. Res64: 805E161A1DCABC19 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:58:51] 843*2^1244728-1 is not prime. Res64: 916280B81D790EEC Time : 0.0 sec. user=mdettweiler [2013-04-17 00:58:51] 743*2^1244728-1 is not prime. Res64: A67C8E6E6A15A212 Time : 0.0 sec. user=mdettweiler [2013-04-17 00:58:52] 975*2^1244728-1 is not prime. Res64: 1304CF41A28E2A8A Time : 0.0 sec. user=mdettweiler [2013-04-17 01:16:34] 645*2^1244729-1 is not prime. Res64: 8466EE9577987683 Time : 0.0 sec. user=mdettweiler [2013-04-17 01:16:34] 675*2^1244729-1 is not prime. Res64: CE415267A8FBDFA0 Time : 0.0 sec. user=mdettweiler [2013-04-17 01:16:34] 795*2^1244729-1 is not prime. Res64: D9DF42A02BD18E9F Time : 0.0 sec. user=mdettweiler [2013-04-17 01:16:35] 997*2^1244729-1 is not prime. Res64: 4A3E347151FCCCDA Time : 0.0 sec. user=mdettweiler [2013-04-17 01:34:06] 677*2^1244730-1 is not prime. Res64: 2860680A5906F52B Time : 0.0 sec. user=mdettweiler [2013-04-17 01:34:06] 773*2^1244730-1 is not prime. Res64: C8937F1C8C3DC011 Time : 0.0 sec. user=mdettweiler [2013-04-17 01:34:06] 783*2^1244730-1 is not prime. Res64: 547DE517736F01C3 Time : 0.0 sec. user=mdettweiler [2013-04-17 01:34:07] 791*2^1244730-1 is not prime. Res64: DF49ABEAEB0A39B4 Time : 0.0 sec. user=mdettweiler [2013-04-17 01:51:34] 885*2^1244730-1 is not prime. Res64: 78A2281965535963 Time : 0.0 sec. user=mdettweiler [2013-04-17 01:51:35] 951*2^1244730-1 is not prime. Res64: 008ED4604F5AFBDE Time : 0.0 sec. user=mdettweiler [2013-04-17 01:51:36] 971*2^1244730-1 is not prime. Res64: 2CA8B2914C7F8226 Time : 0.0 sec. user=mdettweiler [2013-04-17 01:51:37] 631*2^1244731-1 is not prime. Res64: 8E8D35F2F7AC5129 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:09:16] 789*2^1244731-1 is not prime. Res64: EFED906C53215394 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:09:16] 855*2^1244731-1 is not prime. Res64: A0E4BC6182DEC1C0 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:09:17] 871*2^1244731-1 is not prime. Res64: C616638696DB4045 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:09:19] 931*2^1244731-1 is not prime. Res64: BF281EE174452BC1 Time : 0.0 sec. user=juhehe [2013-04-17 02:19:04] 873*2^1244730-1 is not prime. Res64: 0BFF245B409D0668 Time : 0.0 sec. user=juhehe [2013-04-17 02:20:34] 705*2^1244703-1 is not prime. Res64: AD4C2622A2742A2F Time : 0.0 sec. user=mdettweiler [2013-04-17 02:26:49] 975*2^1244731-1 is not prime. Res64: 1C31C26979094026 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:26:50] 603*2^1244732-1 is not prime. Res64: 25AFC371021B0E42 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:26:51] 609*2^1244732-1 is not prime. Res64: 9FA716D4563E39E1 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:26:52] 617*2^1244732-1 is not prime. Res64: C0E327B64524463F Time : 0.0 sec. user=mdettweiler [2013-04-17 02:44:18] 677*2^1244732-1 is not prime. Res64: 8CEFCAD9712B87D8 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:44:19] 699*2^1244732-1 is not prime. Res64: 1319E60C50E248F5 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:44:19] 735*2^1244732-1 is not prime. Res64: 9B985437B01E4472 Time : 0.0 sec. user=mdettweiler [2013-04-17 02:44:20] 803*2^1244732-1 is not prime. Res64: 5FF2917CFD3A8F9D Time : 0.0 sec. user=juhehe [2013-04-17 02:53:41] 645*2^1244731-1 is not prime. Res64: CB7D9D84EA701188 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:02:09] 977*2^1244732-1 is not prime. Res64: FCDF3552E2F93A1F Time : 0.0 sec. user=mdettweiler [2013-04-17 03:02:10] 995*2^1244732-1 is not prime. Res64: 946D9C1E0202CAD0 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:02:10] 657*2^1244733-1 is not prime. Res64: 9A6BEBF76755820B Time : 0.0 sec. user=mdettweiler [2013-04-17 03:02:11] 685*2^1244733-1 is not prime. Res64: 41DCE4CD97DBBF51 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:20:02] 819*2^1244733-1 is not prime. Res64: E1579C92B07C45E5 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:20:03] 877*2^1244733-1 is not prime. Res64: ADFE82B9B2490D52 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:20:03] 937*2^1244733-1 is not prime. Res64: 541885C62F60BA83 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:20:04] 999*2^1244733-1 is not prime. Res64: C880A8090FF70390 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:37:30] 705*2^1244734-1 is not prime. Res64: 0F6F72A3359BCEBB Time : 0.0 sec. user=mdettweiler [2013-04-17 03:37:30] 785*2^1244734-1 is not prime. Res64: CB2B05451824AA3C Time : 0.0 sec. user=mdettweiler [2013-04-17 03:37:31] 827*2^1244734-1 is not prime. Res64: 6086063ED5C20310 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:37:31] 923*2^1244734-1 is not prime. Res64: 558F88F69524E428 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:55:01] 609*2^1244735-1 is not prime. Res64: C895D727D7E2D7EB Time : 0.0 sec. user=mdettweiler [2013-04-17 03:55:01] 651*2^1244735-1 is not prime. Res64: 593D12143E11B981 Time : 0.0 sec. user=mdettweiler [2013-04-17 03:55:02] 655*2^1244735-1 is not prime. Res64: 1D8B0498E33C60FE Time : 0.0 sec. user=mdettweiler [2013-04-17 03:55:02] 661*2^1244735-1 is not prime. Res64: F4DF9C62F62F9F35 Time : 0.0 sec. user=mdettweiler [2013-04-17 04:12:27] 753*2^1244735-1 is not prime. Res64: DD21B07E8E3E74C6 Time : 0.0 sec. user=mdettweiler [2013-04-17 04:12:28] 825*2^1244735-1 is not prime. Res64: 3C73A9A2DE25A80D Time : 0.0 sec. user=mdettweiler [2013-04-17 04:12:29] 973*2^1244735-1 is not prime. Res64: EC9A0B7502496965 Time : 0.0 sec. user=mdettweiler [2013-04-17 04:12:29] 981*2^1244735-1 is not prime. Res64: 78E885DBB4530407 Time : 0.0 sec. user=juhehe [2013-04-17 04:22:23] 681*2^1244734-1 is not prime. Res64: 036235DF7C94DE6B Time : 0.0 sec. user=mdettweiler [2013-04-17 04:29:59] 633*2^1244736-1 is not prime. Res64: EDC68028D3C08C5D Time : 0.0 sec. user=mdettweiler [2013-04-17 04:29:59] 903*2^1244736-1 is not prime. Res64: E77C1CA09087A427 Time : 0.0 sec. user=mdettweiler [2013-04-17 04:29:59] 601*2^1244737-1 is not prime. Res64: EC0A0F42AD49156F Time : 0.0 sec. user=mdettweiler [2013-04-17 04:30:00] 609*2^1244737-1 is not prime. Res64: 18120DEBAB8EC14E Time : 0.0 sec. user=mdettweiler [2013-04-17 04:47:28] 727*2^1244737-1 is not prime. Res64: 43327BB388ECF418 Time : 0.0 sec. user=mdettweiler [2013-04-17 04:47:28] 909*2^1244737-1 is not prime. Res64: B9D33932611FD5A6 Time : 0.0 sec. user=mdettweiler [2013-04-17 04:47:30] 937*2^1244737-1 is not prime. Res64: 0159BDFA32F34145 Time : 0.0 sec. user=mdettweiler [2013-04-17 04:47:30] 985*2^1244737-1 is not prime. Res64: A50BD38C9189968B Time : 0.0 sec. user=juhehe [2013-04-17 04:56:24] 669*2^1244735-1 is not prime. Res64: E7222480DE54C648 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:04:56] 915*2^1244738-1 is not prime. Res64: 09A904B43393E21A Time : 0.0 sec. user=mdettweiler [2013-04-17 05:04:56] 617*2^1244738-1 is not prime. Res64: AB47009A44327964 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:04:57] 951*2^1244738-1 is not prime. Res64: 937B8A6A0F4E9CD0 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:04:57] 815*2^1244738-1 is not prime. Res64: 9AAFF16B292CDEE3 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:22:29] 987*2^1244738-1 is not prime. Res64: 1CA198871F1564E0 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:22:30] 703*2^1244739-1 is not prime. Res64: 3069AC25B50EFC25 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:22:31] 735*2^1244739-1 is not prime. Res64: 39E5CFD58A538C23 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:22:32] 741*2^1244739-1 is not prime. Res64: F4910AC2FCEB27C9 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:39:56] 825*2^1244739-1 is not prime. Res64: 7BD01B20F2A7027C Time : 0.0 sec. user=mdettweiler [2013-04-17 05:39:56] 895*2^1244739-1 is not prime. Res64: D8F296CB1267C079 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:39:57] 969*2^1244739-1 is not prime. Res64: 42E72F070EF1DBB5 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:39:58] 979*2^1244739-1 is not prime. Res64: 35BA4F6259F15CF0 Time : 0.0 sec. user=mdettweiler [2013-04-17 05:57:23] 707*2^1244740-1 is not prime. Res64: 72F9DF5D5EB0983B Time : 0.0 sec. user=mdettweiler [2013-04-17 05:57:24] 717*2^1244740-1 is not prime. Res64: F9A39FA4191F4D3D Time : 0.0 sec. user=mdettweiler [2013-04-17 05:57:24] 759*2^1244740-1 is not prime. Res64: F4C0131B58C326CB Time : 0.0 sec. user=mdettweiler [2013-04-17 05:57:25] 827*2^1244740-1 is not prime. Res64: 5438C96583F4FE72 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:14:50] 863*2^1244740-1 is not prime. Res64: 47F211B1CD8BBBAB Time : 0.0 sec. user=mdettweiler [2013-04-17 06:14:51] 909*2^1244740-1 is not prime. Res64: 9F1B456FD19C6B2A Time : 0.0 sec. user=mdettweiler [2013-04-17 06:14:51] 927*2^1244740-1 is not prime. Res64: 19DF197AE6386AA8 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:14:51] 939*2^1244740-1 is not prime. Res64: 1F67867AAA41BA73 Time : 0.0 sec. user=juhehe [2013-04-17 06:24:42] 623*2^1244740-1 is not prime. Res64: 28D8292168F16732 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:32:21] 685*2^1244741-1 is not prime. Res64: 64956E9B0B02FFA1 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:32:22] 697*2^1244741-1 is not prime. Res64: 496DE0C9697779F8 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:32:22] 727*2^1244741-1 is not prime. Res64: 48280B698CD0BF39 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:32:22] 795*2^1244741-1 is not prime. Res64: F2A37B2F2699CCC6 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:49:49] 865*2^1244741-1 is not prime. Res64: D385E02801253AC0 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:49:49] 907*2^1244741-1 is not prime. Res64: 7CBDF876E12DE221 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:49:50] 937*2^1244741-1 is not prime. Res64: FD6064F3E824F778 Time : 0.0 sec. user=mdettweiler [2013-04-17 06:49:50] 939*2^1244741-1 is not prime. Res64: F5FE7CCCFBCCD9BD Time : 0.0 sec. user=juhehe [2013-04-17 06:58:57] 843*2^1244740-1 is not prime. Res64: AF566180DDDD0116 Time : 0.0 sec. user=mdettweiler [2013-04-17 07:07:30] 705*2^1244742-1 is not prime. Res64: 7B5CA534D63DCD84 Time : 0.0 sec. user=mdettweiler [2013-04-17 07:07:31] 723*2^1244742-1 is not prime. Res64: 00C2820CA8798D8A Time : 0.0 sec. user=mdettweiler [2013-04-17 07:07:31] 917*2^1244742-1 is not prime. Res64: AA5D4A7027D46121 Time : 0.0 sec. user=mdettweiler [2013-04-17 07:07:32] 945*2^1244742-1 is not prime. Res64: 7FE4B5161D60AC1D Time : 0.0 sec. user=mdettweiler [2013-04-17 07:25:37] 951*2^1244742-1 is not prime. Res64: 7EF1AD74A8F50B8C Time : 0.0 sec. user=mdettweiler [2013-04-17 07:25:38] 977*2^1244742-1 is not prime. Res64: AECAA68070B80E51 Time : 0.0 sec. user=mdettweiler [2013-04-17 07:25:39] 663*2^1244743-1 is not prime. Res64: 1A41A52E5E2872DB Time : 0.0 sec. user=mdettweiler [2013-04-17 07:25:39] 883*2^1244743-1 is not prime. Res64: E70FAFF68560E43A Time : 0.0 sec. user=mdettweiler [2013-04-17 07:43:18] 951*2^1244743-1 is not prime. Res64: 231650874750D1B1 Time : 0.0 sec. user=mdettweiler [2013-04-17 07:43:19] 725*2^1244744-1 is not prime. Res64: 4F3744F90234A2C3 Time : 0.0 sec. user=mdettweiler [2013-04-17 07:43:20] 759*2^1244744-1 is not prime. Res64: 30E08978D16C3108 Time : 0.0 sec. user=mdettweiler [2013-04-17 07:43:20] 795*2^1244744-1 is not prime. Res64: 8AD0B0961E5EB805 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:00:49] 827*2^1244744-1 is not prime. Res64: 243B3A6B12E48A35 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:00:50] 915*2^1244744-1 is not prime. Res64: 413D9BFF1FB5616F Time : 0.0 sec. user=mdettweiler [2013-04-17 08:00:50] 903*2^1244744-1 is not prime. Res64: 579C865475440958 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:00:50] 917*2^1244744-1 is not prime. Res64: F5396EB5DC50C4F0 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:18:20] 969*2^1244744-1 is not prime. Res64: 1E776930E67513DB Time : 0.0 sec. user=mdettweiler [2013-04-17 08:18:21] 625*2^1244745-1 is not prime. Res64: 65BF4161C26256E9 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:18:22] 751*2^1244745-1 is not prime. Res64: 5025D5698D1237D3 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:18:22] 795*2^1244745-1 is not prime. Res64: 2EC8CAE00A159F7B Time : 0.0 sec. user=juhehe [2013-04-17 08:26:45] 919*2^1244743-1 is not prime. Res64: 92321BFC8ADD1002 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:35:53] 847*2^1244745-1 is not prime. Res64: 8506C709EE9CA374 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:35:54] 871*2^1244745-1 is not prime. Res64: B74A1D39DA1343D5 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:35:54] 889*2^1244745-1 is not prime. Res64: FA62C5A259467540 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:35:55] 915*2^1244745-1 is not prime. Res64: 84E71B1D9090628A Time : 0.0 sec. user=mdettweiler [2013-04-17 08:53:23] 997*2^1244745-1 is not prime. Res64: 304AC5080978F911 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:53:24] 633*2^1244746-1 is not prime. Res64: E9A9435A6657952A Time : 0.0 sec. user=mdettweiler [2013-04-17 08:53:25] 747*2^1244746-1 is not prime. Res64: 43D0B4C517C224F8 Time : 0.0 sec. user=mdettweiler [2013-04-17 08:53:25] 821*2^1244746-1 is not prime. Res64: FD18F78E694B4C86 Time : 0.0 sec. user=juhehe [2013-04-17 09:08:28] 935*2^1244744-1 is not prime. Res64: 25C2EC1F93350115 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:10:52] 833*2^1244746-1 is not prime. Res64: 21B1A89EB86CF8C2 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:10:54] 855*2^1244746-1 is not prime. Res64: 571D8746F152403E Time : 0.0 sec. user=mdettweiler [2013-04-17 09:10:54] 675*2^1244747-1 is not prime. Res64: 50A1B33D406171B8 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:10:55] 823*2^1244747-1 is not prime. Res64: 8BFBA39720CF1A31 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:28:29] 861*2^1244747-1 is not prime. Res64: 292953E6A1D79187 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:28:30] 985*2^1244747-1 is not prime. Res64: 4333B7BFDACF1478 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:28:31] 825*2^1244748-1 is not prime. Res64: F37F3EB1106A8F1B Time : 0.0 sec. user=mdettweiler [2013-04-17 09:28:31] 879*2^1244748-1 is not prime. Res64: 36A1BE01F2E6F2E3 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:46:00] 923*2^1244748-1 is not prime. Res64: 4ECCC3048EABA646 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:46:00] 625*2^1244749-1 is not prime. Res64: 72B2D93C43218A05 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:46:01] 649*2^1244749-1 is not prime. Res64: 4F27096F54F62078 Time : 0.0 sec. user=mdettweiler [2013-04-17 09:46:02] 789*2^1244749-1 is not prime. Res64: 507106629B995F39 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:03:29] 825*2^1244749-1 is not prime. Res64: AFFCE089D5F6EA29 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:03:30] 707*2^1244750-1 is not prime. Res64: F68FE188F6A9EC1F Time : 0.0 sec. user=mdettweiler [2013-04-17 10:03:31] 743*2^1244750-1 is not prime. Res64: D33FBC2F0C8F1D6B Time : 0.0 sec. user=mdettweiler [2013-04-17 10:03:32] 797*2^1244750-1 is not prime. Res64: 03E1DCE69713EEC9 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:21:02] 861*2^1244750-1 is not prime. Res64: 2B1BF1BB7E62A07D Time : 0.0 sec. user=mdettweiler [2013-04-17 10:21:02] 927*2^1244750-1 is not prime. Res64: 00092953F9BCEE97 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:21:03] 951*2^1244750-1 is not prime. Res64: 392E45197527D7C4 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:21:04] 661*2^1244751-1 is not prime. Res64: 7AF596122DC49818 Time : 0.0 sec. user=juhehe [2013-04-17 10:29:13] 909*2^1244748-1 is not prime. Res64: 1A43ABD16D050FC7 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:38:32] 723*2^1244751-1 is not prime. Res64: 8AFABF12C6900FAA Time : 0.0 sec. user=mdettweiler [2013-04-17 10:38:32] 743*2^1244752-1 is not prime. Res64: 099525577847E44B Time : 0.0 sec. user=mdettweiler [2013-04-17 10:38:33] 825*2^1244752-1 is not prime. Res64: 6A3C5711FB5DF7F9 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:38:33] 843*2^1244752-1 is not prime. Res64: B00AAF274E03BAAD Time : 0.0 sec. user=mdettweiler [2013-04-17 10:56:01] 887*2^1244752-1 is not prime. Res64: 7997346B237B6E2C Time : 0.0 sec. user=mdettweiler [2013-04-17 10:56:02] 771*2^1244753-1 is not prime. Res64: 1BC8BDF38D6EED53 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:56:02] 801*2^1244753-1 is not prime. Res64: 86D49CF9C13FC125 Time : 0.0 sec. user=mdettweiler [2013-04-17 10:56:02] 829*2^1244753-1 is not prime. Res64: 073EE3C239F5B4CC Time : 0.0 sec. user=juhehe [2013-04-17 11:10:52] 679*2^1244751-1 is not prime. Res64: 8C4FC1488E7BD322 Time : 0.0 sec. user=mdettweiler [2013-04-17 11:13:30] 879*2^1244753-1 is not prime. Res64: 6A7F476AF3B705E0 Time : 0.0 sec. user=mdettweiler [2013-04-17 11:13:31] 915*2^1244753-1 is not prime. Res64: 95B75735D78B67CC Time : 0.0 sec. user=mdettweiler [2013-04-17 11:13:31] 969*2^1244753-1 is not prime. Res64: 94E24F651DD783FF Time : 0.0 sec. user=mdettweiler [2013-04-17 11:13:32] 633*2^1244754-1 is not prime. Res64: F7E9278E3A0DFADC Time : 0.0 sec. user=mdettweiler [2013-04-17 11:31:00] 651*2^1244754-1 is not prime. Res64: C768A9E0340979FF Time : 0.0 sec. user=mdettweiler [2013-04-17 11:31:01] 705*2^1244754-1 is not prime. Res64: F8B9E47BCC8B2A25 Time : 0.0 sec. user=mdettweiler [2013-04-17 11:31:02] 773*2^1244754-1 is not prime. Res64: 3A4CEA2DB350DE1C Time : 0.0 sec. user=mdettweiler [2013-04-17 11:31:02] 783*2^1244754-1 is not prime. Res64: 4137FDC00DA3F1DA Time : 0.0 sec. user=mdettweiler [2013-04-17 11:48:49] 709*2^1244755-1 is not prime. Res64: C02F8924BE5AFCF4 Time : 0.0 sec. user=mdettweiler [2013-04-17 11:48:49] 733*2^1244755-1 is not prime. Res64: 58CB264BAE053C32 Time : 0.0 sec. user=mdettweiler [2013-04-17 11:48:50] 793*2^1244755-1 is not prime. Res64: 2087EA2ECB7ECF65 Time : 0.0 sec. user=mdettweiler [2013-04-17 11:48:50] 891*2^1244755-1 is not prime. Res64: E39B060B7E59E5B2 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:06:35] 939*2^1244755-1 is not prime. Res64: 23AF15FE5DF054DC Time : 0.0 sec. user=mdettweiler [2013-04-17 12:06:36] 951*2^1244755-1 is not prime. Res64: 4FBB802F3C3D62ED Time : 0.0 sec. user=mdettweiler [2013-04-17 12:06:36] 635*2^1244756-1 is not prime. Res64: 2B06066074D7A750 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:06:37] 647*2^1244756-1 is not prime. Res64: 0EA3BFE84B1FCC57 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:24:21] 719*2^1244756-1 is not prime. Res64: 07E9ADDDF4BED41A Time : 0.0 sec. user=mdettweiler [2013-04-17 12:24:22] 827*2^1244756-1 is not prime. Res64: 8C4474ED71990F40 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:24:22] 825*2^1244756-1 is not prime. Res64: DEC981BD8BD0930E Time : 0.0 sec. user=mdettweiler [2013-04-17 12:24:22] 999*2^1244756-1 is not prime. Res64: BCC71F3720D9A968 Time : 0.0 sec. user=juhehe [2013-04-17 12:32:00] 609*2^1244755-1 is not prime. Res64: CF5CF24A727B78B3 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:42:01] 621*2^1244757-1 is not prime. Res64: BF81C1E18F38EB3E Time : 0.0 sec. user=mdettweiler [2013-04-17 12:42:01] 711*2^1244757-1 is not prime. Res64: E354E867FA44FA0E Time : 0.0 sec. user=mdettweiler [2013-04-17 12:42:01] 759*2^1244757-1 is not prime. Res64: B58B8E7077D20A6C Time : 0.0 sec. user=mdettweiler [2013-04-17 12:42:02] 765*2^1244757-1 is not prime. Res64: 885DE1771DCED8A7 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:59:42] 769*2^1244757-1 is not prime. Res64: 47B84A25DC33F162 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:59:42] 861*2^1244757-1 is not prime. Res64: FF5CE1727272D89A Time : 0.0 sec. user=mdettweiler [2013-04-17 12:59:43] 847*2^1244757-1 is not prime. Res64: 122BF36B9A927A67 Time : 0.0 sec. user=mdettweiler [2013-04-17 12:59:43] 895*2^1244757-1 is not prime. Res64: 74840118B801AC15 Time : 0.0 sec. user=juhehe [2013-04-17 13:13:55] 607*2^1244757-1 is not prime. Res64: 6BC41A1DBC6B451B Time : 0.0 sec. user=mdettweiler [2013-04-17 13:17:24] 949*2^1244757-1 is not prime. Res64: B1AF0C99473C6BE1 Time : 0.0 sec. user=mdettweiler [2013-04-17 13:17:24] 621*2^1244758-1 is not prime. Res64: 6195C65900FA789D Time : 0.0 sec. user=mdettweiler [2013-04-17 13:17:25] 713*2^1244758-1 is not prime. Res64: D96B60824E70E703 Time : 0.0 sec. user=mdettweiler [2013-04-17 13:17:25] 815*2^1244758-1 is not prime. Res64: 6FDF8D2DE6DCBBAB Time : 0.0 sec. user=juhehe [2013-04-17 13:29:23] 941*2^1244758-1 is not prime. Res64: 91844B4F60D170D6 Time : 0.0 sec. user=mdettweiler [2013-04-17 13:35:06] 615*2^1244759-1 is not prime. Res64: B8384DAF15DF510F Time : 0.0 sec. user=mdettweiler [2013-04-17 13:35:06] 619*2^1244759-1 is not prime. Res64: 332047E980D9F61A Time : 0.0 sec. user=mdettweiler [2013-04-17 13:35:07] 645*2^1244759-1 is not prime. Res64: FEDCB2C3304CF8BD Time : 0.0 sec. user=mdettweiler [2013-04-17 13:35:08] 655*2^1244759-1 is not prime. Res64: 2DE45467E05FA83E Time : 0.0 sec. user=mdettweiler [2013-04-17 13:52:44] 609*2^1244760-1 is not prime. Res64: A7F8C97E21A5BF1E Time : 0.0 sec. user=mdettweiler [2013-04-17 13:52:44] 723*2^1244760-1 is not prime. Res64: EA284757A6979324 Time : 0.0 sec. user=mdettweiler [2013-04-17 13:52:45] 735*2^1244760-1 is not prime. Res64: 8982DCAB16774D0C Time : 0.0 sec. user=mdettweiler [2013-04-17 13:52:45] 765*2^1244760-1 is not prime. Res64: 8721896F80EA2A55 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:10:47] 777*2^1244760-1 is not prime. Res64: 535693A498549864 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:10:48] 849*2^1244760-1 is not prime. Res64: D2CABD52FBACEB87 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:10:48] 857*2^1244760-1 is not prime. Res64: 238A235EEE67E2A9 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:10:49] 959*2^1244760-1 is not prime. Res64: 312A2F334878B727 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:29:13] 639*2^1244761-1 is not prime. Res64: FAD988041B7D999B Time : 0.0 sec. user=mdettweiler [2013-04-17 14:29:13] 741*2^1244761-1 is not prime. Res64: 3BF2244E9B4771E7 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:29:14] 801*2^1244761-1 is not prime. Res64: DD578B7E2AE1E411 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:29:14] 805*2^1244761-1 is not prime. Res64: CC5B2AB2C26FB0B6 Time : 0.0 sec. user=juhehe [2013-04-17 14:34:59] 841*2^1244759-1 is not prime. Res64: 8B82D7BEA53C4803 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:47:27] 937*2^1244761-1 is not prime. Res64: ED82FBF6AD0317F4 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:47:28] 819*2^1244761-1 is not prime. Res64: DB5C2CCE6E855F44 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:47:28] 603*2^1244762-1 is not prime. Res64: 81236FE33B184EF3 Time : 0.0 sec. user=mdettweiler [2013-04-17 14:47:28] 855*2^1244761-1 is not prime. Res64: 3CEB6042A16F3651 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:05:16] 791*2^1244762-1 is not prime. Res64: 8565F648A995A713 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:05:17] 683*2^1244762-1 is not prime. Res64: 6A6D8BACA58928AB Time : 0.0 sec. user=mdettweiler [2013-04-17 15:05:17] 797*2^1244762-1 is not prime. Res64: C43C5E619CB228E2 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:05:18] 741*2^1244762-1 is not prime. Res64: C9DF81106DA019EA Time : 0.0 sec. user=juhehe [2013-04-17 15:16:36] 811*2^1244761-1 is not prime. Res64: 064C5D09D067A44D Time : 0.0 sec. user=mdettweiler [2013-04-17 15:23:06] 867*2^1244762-1 is not prime. Res64: 61E12CAA9A5FF8F4 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:23:07] 977*2^1244762-1 is not prime. Res64: CFB589E42CE9BA6D Time : 0.0 sec. user=mdettweiler [2013-04-17 15:23:07] 921*2^1244762-1 is not prime. Res64: 40348896FE093E9B Time : 0.0 sec. user=mdettweiler [2013-04-17 15:23:07] 703*2^1244763-1 is not prime. Res64: 6DDA6A3DC0997BDB Time : 0.0 sec. user=mdettweiler [2013-04-17 15:40:53] 781*2^1244763-1 is not prime. Res64: 5DFDE0460AA30EE2 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:40:54] 745*2^1244763-1 is not prime. Res64: E2DA6011B391C5A3 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:40:54] 795*2^1244763-1 is not prime. Res64: 829558575A3303F9 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:40:54] 769*2^1244763-1 is not prime. Res64: 6A7C3587C62989E6 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:58:33] 819*2^1244764-1 is not prime. Res64: 3BBFEFE65B5281E5 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:58:34] 897*2^1244764-1 is not prime. Res64: 2277CCF72FD7E5D0 Time : 0.0 sec. user=mdettweiler [2013-04-17 15:58:34] 985*2^1244763-1 is not prime. Res64: 38B172689ED824DE Time : 0.0 sec. user=mdettweiler [2013-04-17 15:58:34] 609*2^1244764-1 is not prime. Res64: 1300544A5C89E7A9 Time : 0.0 sec. user=mdettweiler [2013-04-17 16:16:24] 727*2^1244765-1 is not prime. Res64: C58C94212BBEA2EA Time : 0.0 sec. user=mdettweiler [2013-04-17 16:16:24] 795*2^1244765-1 is not prime. Res64: 8680971E89552DBA Time : 0.0 sec. user=mdettweiler [2013-04-17 16:16:25] 953*2^1244764-1 is not prime. Res64: 37CAEEC1A65CB06B Time : 0.0 sec. user=mdettweiler [2013-04-17 16:16:25] 699*2^1244765-1 is not prime. Res64: 7C6873B5601C7C44 Time : 0.0 sec. user=mdettweiler [2013-04-17 16:34:31] 927*2^1244765-1 is not prime. Res64: 02A32AD641FFDEE3 Time : 0.0 sec. user=mdettweiler [2013-04-17 16:34:31] 937*2^1244765-1 is not prime. Res64: C821B230F18D8536 Time : 0.0 sec. user=mdettweiler [2013-04-17 16:34:33] 859*2^1244765-1 is not prime. Res64: D96C0F321BFB1579 Time : 0.0 sec. user=mdettweiler [2013-04-17 16:34:33] 861*2^1244765-1 is not prime. Res64: 4346EC6AD14EDB4C Time : 0.0 sec. user=juhehe [2013-04-17 16:44:30] 945*2^1244763-1 is not prime. Res64: 6881DB85134C352D Time : 0.0 sec. user=mdettweiler [2013-04-17 16:52:16] 627*2^1244766-1 is not prime. Res64: 5E9F230F0BD765CA Time : 0.0 sec. user=mdettweiler [2013-04-17 16:52:16] 677*2^1244766-1 is not prime. Res64: 862A6E58389C7373 Time : 0.0 sec. user=mdettweiler [2013-04-17 16:52:18] 695*2^1244766-1 is not prime. Res64: 74AA1153AB670FFD Time : 0.0 sec. user=mdettweiler [2013-04-17 16:52:18] 713*2^1244766-1 is not prime. Res64: 8CD758C67A1A0EEF Time : 0.0 sec. user=mdettweiler [2013-04-17 17:10:00] 921*2^1244766-1 is not prime. Res64: 342BFE8E1EE3D43C Time : 0.0 sec. user=mdettweiler [2013-04-17 17:10:00] 933*2^1244766-1 is not prime. Res64: 6A9D1937B61CF9AE Time : 0.0 sec. user=mdettweiler [2013-04-17 17:10:03] 947*2^1244766-1 is not prime. Res64: 9E884EA990853565 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:10:05] 625*2^1244767-1 is not prime. Res64: 3B0A69905B08AA7E Time : 0.0 sec. user=juhehe [2013-04-17 17:26:05] 955*2^1244765-1 is not prime. Res64: D37F55DF4BB8D153 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:27:49] 649*2^1244767-1 is not prime. Res64: 9E829141B35709D1 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:27:49] 663*2^1244767-1 is not prime. Res64: EC8C3971C619B2FD Time : 0.0 sec. user=mdettweiler [2013-04-17 17:27:56] 673*2^1244767-1 is not prime. Res64: 89AE101A9A4069B9 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:27:56] 675*2^1244767-1 is not prime. Res64: A3095C00E19BD592 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:45:39] 759*2^1244767-1 is not prime. Res64: A694D6B16AD1F1B1 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:45:39] 769*2^1244767-1 is not prime. Res64: 10DA17BBE02A6456 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:45:45] 805*2^1244767-1 is not prime. Res64: B12AB4DA98ECFA51 Time : 0.0 sec. user=mdettweiler [2013-04-17 17:45:46] 973*2^1244767-1 is not prime. Res64: 94E85BCED33E03EA Time : 0.0 sec. user=mdettweiler [2013-04-17 18:03:29] 657*2^1244768-1 is not prime. Res64: E8781AB47DB3D065 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:03:30] 713*2^1244768-1 is not prime. Res64: 077EA495BDFA6D3C Time : 0.0 sec. user=mdettweiler [2013-04-17 18:03:35] 743*2^1244768-1 is not prime. Res64: E58E15DD7DAED3E0 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:03:36] 747*2^1244768-1 is not prime. Res64: E01351C2390088F4 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:21:21] 789*2^1244768-1 is not prime. Res64: 482B684C28D0D868 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:21:21] 827*2^1244768-1 is not prime. Res64: 196F1C33832728DB Time : 0.0 sec. user=mdettweiler [2013-04-17 18:21:26] 877*2^1244769-1 is not prime. Res64: F8CF48471DCBC737 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:21:27] 955*2^1244769-1 is not prime. Res64: C90323901189AE80 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:39:08] 605*2^1244770-1 is not prime. Res64: 5ECE234B586BCE94 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:39:09] 657*2^1244770-1 is not prime. Res64: A64637F7B6BD3EC3 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:39:14] 911*2^1244770-1 is not prime. Res64: FB64389EC394A61C Time : 0.0 sec. user=mdettweiler [2013-04-17 18:39:14] 915*2^1244770-1 is not prime. Res64: 178AB6AFC850BDEE Time : 0.0 sec. user=juhehe [2013-04-17 18:47:33] 633*2^1244768-1 is not prime. Res64: 27FE1ABDD4BDC592 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:56:50] 933*2^1244770-1 is not prime. Res64: 209AF18EDD363893 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:56:51] 971*2^1244770-1 is not prime. Res64: 5BE7F499279ACC2F Time : 0.0 sec. user=mdettweiler [2013-04-17 18:56:56] 995*2^1244770-1 is not prime. Res64: 23EB33A01CE87904 Time : 0.0 sec. user=mdettweiler [2013-04-17 18:56:56] 643*2^1244771-1 is not prime. Res64: 2AD1492A082425AF Time : 0.0 sec. user=mdettweiler [2013-04-17 19:14:33] 733*2^1244771-1 is not prime. Res64: FA6D7329D53CAB5A Time : 0.0 sec. user=mdettweiler [2013-04-17 19:14:34] 735*2^1244771-1 is not prime. Res64: 0C309815286BFE02 Time : 0.0 sec. user=mdettweiler [2013-04-17 19:14:38] 811*2^1244771-1 is not prime. Res64: 2B4862F52AD91BBF Time : 0.0 sec. user=mdettweiler [2013-04-17 19:14:38] 871*2^1244771-1 is not prime. Res64: 2F9F731BE32BEC96 Time : 0.0 sec. user=juhehe [2013-04-17 19:28:34] 917*2^1244770-1 is not prime. Res64: 07841D9B37A86A8B Time : 0.0 sec. user=mdettweiler [2013-04-17 19:32:15] 909*2^1244771-1 is not prime. Res64: 893A11F1357AE47E Time : 0.0 sec. user=mdettweiler [2013-04-17 19:32:15] 931*2^1244771-1 is not prime. Res64: DA18211D732EA8A9 Time : 0.0 sec. user=mdettweiler [2013-04-17 19:32:19] 623*2^1244772-1 is not prime. Res64: 81694D4D7588BD1C Time : 0.0 sec. user=mdettweiler [2013-04-17 19:32:19] 627*2^1244772-1 is not prime. Res64: 3FB524619AD20245 Time : 0.0 sec. user=mdettweiler [2013-04-17 19:49:59] 635*2^1244772-1 is not prime. Res64: 150170D677EE2578 Time : 0.0 sec. user=mdettweiler [2013-04-17 19:49:59] 719*2^1244772-1 is not prime. Res64: EA90318C4AC13372 Time : 0.0 sec. user=mdettweiler [2013-04-17 19:50:03] 797*2^1244772-1 is not prime. Res64: 02D886776A4C2ADA Time : 0.0 sec. user=mdettweiler [2013-04-17 19:50:03] 887*2^1244772-1 is not prime. Res64: DBA5EB96BDAC60B8 Time : 0.0 sec. user=mdettweiler [2013-04-17 20:07:45] 687*2^1244773-1 is not prime. Res64: D4EE9F6F0883ECE1 Time : 0.0 sec. user=mdettweiler [2013-04-17 20:07:46] 715*2^1244773-1 is not prime. Res64: F6831F000D1BAD8D Time : 0.0 sec. user=mdettweiler [2013-04-17 20:07:47] 867*2^1244773-1 is not prime. Res64: 49EC995B47E05FEE Time : 0.0 sec. user=mdettweiler [2013-04-17 20:07:47] 955*2^1244773-1 is not prime. Res64: 42014F03DE89AA9F Time : 0.0 sec. user=mdettweiler [2013-04-17 20:25:49] 961*2^1244773-1 is not prime. Res64: 4066F2901F41E5B9 Time : 0.0 sec. user=mdettweiler [2013-04-17 20:25:49] 707*2^1244774-1 is not prime. Res64: B500D3A075E149EA Time : 0.0 sec. user=mdettweiler [2013-04-17 20:25:49] 671*2^1244774-1 is not prime. Res64: 96051074056A7D65 Time : 0.0 sec. user=mdettweiler [2013-04-17 20:25:49] 861*2^1244774-1 is not prime. Res64: 8C101A1B1C064021 Time : 0.0 sec. user=mdettweiler [2013-04-17 20:43:50] 965*2^1244774-1 is not prime. Res64: 006C7927DC99015B Time : 0.0 sec. user=mdettweiler [2013-04-17 20:43:50] 613*2^1244775-1 is not prime. Res64: 996C20C7BE8CE6EA Time : 0.0 sec. user=mdettweiler [2013-04-17 20:43:51] 735*2^1244775-1 is not prime. Res64: 539BE43A83C1ABAE Time : 0.0 sec. user=mdettweiler [2013-04-17 20:43:51] 781*2^1244775-1 is not prime. Res64: B92990266184326B Time : 0.0 sec. user=juhehe [2013-04-17 20:56:07] 933*2^1244772-1 is not prime. Res64: 78D2DA71B038104B Time : 0.0 sec. user=mdettweiler [2013-04-17 21:02:02] 723*2^1244776-1 is not prime. Res64: 918BC9DD4FE43325 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:02:02] 905*2^1244776-1 is not prime. Res64: 5C635FC47E33418D Time : 0.0 sec. user=mdettweiler [2013-04-17 21:02:03] 949*2^1244775-1 is not prime. Res64: EDECB428030D9223 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:02:03] 705*2^1244776-1 is not prime. Res64: 1C84F6F035B2D6F6 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:20:10] 909*2^1244777-1 is not prime. Res64: A66E7F361A9175FB Time : 0.0 sec. user=mdettweiler [2013-04-17 21:20:11] 979*2^1244777-1 is not prime. Res64: 3815440AE577775D Time : 0.0 sec. user=mdettweiler [2013-04-17 21:20:11] 965*2^1244776-1 is not prime. Res64: 4C0778971AE4AD50 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:20:11] 735*2^1244777-1 is not prime. Res64: 0F61D3D7BAB272AA Time : 0.0 sec. user=juhehe [2013-04-17 21:31:34] 805*2^1244775-1 is not prime. Res64: F729D5A72B293749 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:37:51] 615*2^1244778-1 is not prime. Res64: 4A96A47298AF9AD3 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:37:52] 671*2^1244778-1 is not prime. Res64: 53DCCF63BD14C732 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:37:53] 615*2^1244779-1 is not prime. Res64: C38C64921E90362E Time : 0.0 sec. user=mdettweiler [2013-04-17 21:37:53] 645*2^1244779-1 is not prime. Res64: 77F104D32D8F070F Time : 0.0 sec. user=mdettweiler [2013-04-17 21:55:29] 681*2^1244779-1 is not prime. Res64: 500254309C8C5ADB Time : 0.0 sec. user=mdettweiler [2013-04-17 21:55:29] 733*2^1244779-1 is not prime. Res64: CD3980C521BEF019 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:55:30] 943*2^1244779-1 is not prime. Res64: 7B6B184199B29415 Time : 0.0 sec. user=mdettweiler [2013-04-17 21:55:30] 633*2^1244780-1 is not prime. Res64: 27C05296668FFD65 Time : 0.0 sec. user=mdettweiler [2013-04-17 22:13:07] 795*2^1244780-1 is not prime. Res64: D19A25CDDF3F3C6F Time : 0.0 sec. user=mdettweiler [2013-04-17 22:13:08] 827*2^1244780-1 is not prime. Res64: 1296353C83C1822E Time : 0.0 sec. user=mdettweiler [2013-04-17 22:13:08] 843*2^1244780-1 is not prime. Res64: B72B855DB49E447A Time : 0.0 sec. user=mdettweiler [2013-04-17 22:13:09] 899*2^1244780-1 is not prime. Res64: 8234B72AC86211F5 Time : 0.0 sec. user=mdettweiler [2013-04-17 22:30:53] 957*2^1244780-1 is not prime. Res64: 93E83DF71BE35195 Time : 0.0 sec. user=mdettweiler [2013-04-17 22:30:53] 639*2^1244781-1 is not prime. Res64: F41398597DC8A19F Time : 0.0 sec. user=mdettweiler [2013-04-17 22:30:53] 727*2^1244781-1 is not prime. Res64: F44FE0756D8ADA31 Time : 0.0 sec. user=mdettweiler [2013-04-17 22:30:54] 735*2^1244781-1 is not prime. Res64: 069347FB5B0ADB50 Time : 0.0 sec. user=mdettweiler [2013-04-17 22:48:29] 751*2^1244781-1 is not prime. Res64: 74547793A47286AA Time : 0.0 sec. user=mdettweiler [2013-04-17 22:48:30] 865*2^1244781-1 is not prime. Res64: 6F5D109FDDEB1A7E Time : 0.0 sec. user=mdettweiler [2013-04-17 22:48:30] 927*2^1244781-1 is not prime. Res64: B099D8CABEA164D1 Time : 0.0 sec. user=mdettweiler [2013-04-17 22:48:31] 681*2^1244782-1 is not prime. Res64: F16BEF61F023AF78 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:06:07] 881*2^1244782-1 is not prime. Res64: C15EF61E1BDB8AFD Time : 0.0 sec. user=mdettweiler [2013-04-17 23:06:08] 941*2^1244782-1 is not prime. Res64: 0209C107575C93A5 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:06:08] 975*2^1244782-1 is not prime. Res64: CD19FE82C7D21725 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:06:09] 987*2^1244782-1 is not prime. Res64: 6A5731DDDF3C79F3 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:23:43] 775*2^1244783-1 is not prime. Res64: 0B041F10B1186A95 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:23:43] 991*2^1244783-1 is not prime. Res64: 801C741F9E7C38C0 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:23:45] 643*2^1244783-1 is not prime. Res64: 86938B01A7920111 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:23:45] 663*2^1244783-1 is not prime. Res64: 8095792AE2EE4D1B Time : 0.0 sec. user=juhehe [2013-04-17 23:34:38] 843*2^1244782-1 is not prime. Res64: E63368F9F26C034A Time : 0.0 sec. user=mdettweiler [2013-04-17 23:41:13] 609*2^1244784-1 is not prime. Res64: A46995DF490F41BC Time : 0.0 sec. user=mdettweiler [2013-04-17 23:41:13] 723*2^1244784-1 is not prime. Res64: 86AEE384A85DF02E Time : 0.0 sec. user=mdettweiler [2013-04-17 23:41:15] 803*2^1244784-1 is not prime. Res64: 6C8ED74965C9C439 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:41:16] 837*2^1244784-1 is not prime. Res64: 1F1F97AB4CA148FC Time : 0.0 sec. user=mdettweiler [2013-04-17 23:58:39] 887*2^1244784-1 is not prime. Res64: 3AF27E6C0221406F Time : 0.0 sec. user=mdettweiler [2013-04-17 23:58:40] 915*2^1244784-1 is not prime. Res64: AFB961BC661DE4C2 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:58:41] 927*2^1244784-1 is not prime. Res64: C109726E4223EB99 Time : 0.0 sec. user=mdettweiler [2013-04-17 23:58:41] 959*2^1244784-1 is not prime. Res64: 53613D745962A905 Time : 0.0 sec. user=juhehe [2013-04-17 23:59:02] 615*2^1244783-1 is not prime. Res64: 4D83D50D13895C41 Time : 0.0 sec.