user=mdettweiler [2013-01-04 00:14:06] 763*2^1238599-1 is not prime. Res64: B314670E4B125EDC Time : 0.0 sec. user=mdettweiler [2013-01-04 00:14:08] 843*2^1238599-1 is not prime. Res64: 0686EBE816BB1D49 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:14:09] 925*2^1238599-1 is not prime. Res64: E057E29B1CCA0E81 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:14:11] 939*2^1238599-1 is not prime. Res64: C875922E736F5296 Time : 0.0 sec. user=vaughan [2013-01-04 00:22:28] 741*2^1238599-1 is not prime. Res64: E0C3ECFA52644FD4 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:31:34] 961*2^1238599-1 is not prime. Res64: 89B909D4C545EBF8 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:31:35] 999*2^1238599-1 is not prime. Res64: 5C90257032CA5FD9 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:31:35] 845*2^1238600-1 is not prime. Res64: C616474762B6965A Time : 0.0 sec. user=mdettweiler [2013-01-04 00:31:36] 999*2^1238600-1 is not prime. Res64: 1E77C8082A5E17AB Time : 0.0 sec. user=mdettweiler [2013-01-04 00:48:56] 741*2^1238601-1 is not prime. Res64: 5CE16D00A521AA35 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:48:57] 751*2^1238601-1 is not prime. Res64: EA841A03F3B38A10 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:48:59] 847*2^1238601-1 is not prime. Res64: 4F50266ADD88F4C2 Time : 0.0 sec. user=mdettweiler [2013-01-04 00:48:59] 975*2^1238601-1 is not prime. Res64: 06D33E03221E6E29 Time : 0.0 sec. user=vaughan [2013-01-04 01:00:17] 661*2^1238601-1 is not prime. Res64: 01A0A22614A4DFC7 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:06:16] 999*2^1238601-1 is not prime. Res64: 3BD0C420DF0096F1 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:06:17] 651*2^1238602-1 is not prime. Res64: 1AD061B6BA44D4F8 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:06:19] 677*2^1238602-1 is not prime. Res64: 709C47E2DA5FEB99 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:06:20] 701*2^1238602-1 is not prime. Res64: EA9C4E519A384A2C Time : 0.0 sec. user=mdettweiler [2013-01-04 01:23:38] 873*2^1238602-1 is not prime. Res64: 865C8C0AA59AE57B Time : 0.0 sec. user=mdettweiler [2013-01-04 01:23:39] 917*2^1238602-1 is not prime. Res64: 861DC241F05BC566 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:23:40] 631*2^1238603-1 is not prime. Res64: BBD118B5ECCBD95F Time : 0.0 sec. user=mdettweiler [2013-01-04 01:23:40] 643*2^1238603-1 is not prime. Res64: 765C23C254C2B429 Time : 0.0 sec. user=vaughan [2013-01-04 01:38:06] 717*2^1238602-1 is not prime. Res64: 117E7BACB0D93A18 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:40:59] 789*2^1238603-1 is not prime. Res64: EE00490D9CF50DD8 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:40:59] 855*2^1238603-1 is not prime. Res64: C1404D901C51992A Time : 0.0 sec. user=mdettweiler [2013-01-04 01:40:59] 811*2^1238603-1 is not prime. Res64: 61161781B113C696 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:41:00] 871*2^1238603-1 is not prime. Res64: 7767937487BB4E98 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:58:18] 707*2^1238604-1 is not prime. Res64: 2F72A66AB959E8EA Time : 0.0 sec. user=mdettweiler [2013-01-04 01:58:19] 825*2^1238604-1 is not prime. Res64: B354A51C6B2B4838 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:58:22] 927*2^1238604-1 is not prime. Res64: 75C185979282FCD5 Time : 0.0 sec. user=mdettweiler [2013-01-04 01:58:22] 607*2^1238605-1 is not prime. Res64: A9932C432BA95D23 Time : 0.0 sec. user=mdettweiler [2013-01-04 02:15:40] 625*2^1238605-1 is not prime. Res64: A79CC2744314331D Time : 0.0 sec. user=mdettweiler [2013-01-04 02:15:43] 645*2^1238605-1 is not prime. Res64: B06C8B61CC6C1C1C Time : 0.0 sec. user=mdettweiler [2013-01-04 02:15:44] 651*2^1238605-1 is not prime. Res64: 58F9430E817E0C27 Time : 0.0 sec. user=mdettweiler [2013-01-04 02:15:45] 741*2^1238605-1 is not prime. Res64: FCDFE33C04CF67BA Time : 0.0 sec. user=vaughan [2013-01-04 02:15:53] 627*2^1238604-1 is not prime. Res64: 604DAD9FBBB2EBB5 Time : 0.0 sec. user=mdettweiler [2013-01-04 02:33:15] 877*2^1238605-1 is not prime. Res64: BAB8FB7B8E33EDAF Time : 0.0 sec. user=mdettweiler [2013-01-04 02:33:16] 627*2^1238606-1 is not prime. Res64: D4253B92336AD3C3 Time : 0.0 sec. user=mdettweiler [2013-01-04 02:33:17] 985*2^1238605-1 is not prime. Res64: C9F9EA13D1B534A8 Time : 0.0 sec. user=mdettweiler [2013-01-04 02:33:18] 675*2^1238606-1 is not prime. Res64: 35857A34A2ADB6C0 Time : 0.0 sec. user=mdettweiler [2013-01-04 02:51:02] 873*2^1238606-1 is not prime. Res64: 631F4CCFC9EA346D Time : 0.0 sec. user=mdettweiler [2013-01-04 02:51:02] 851*2^1238606-1 is not prime. Res64: 92D2518102632751 Time : 0.0 sec. user=mdettweiler [2013-01-04 02:51:02] 705*2^1238607-1 is not prime. Res64: 5D5C5B3936A0E87F Time : 0.0 sec. user=mdettweiler [2013-01-04 02:51:03] 973*2^1238607-1 is not prime. Res64: 03FD718E2D153847 Time : 0.0 sec. user=vaughan [2013-01-04 02:53:45] 677*2^1238606-1 is not prime. Res64: DAE6ED54DAE29A0A Time : 0.0 sec. user=mdettweiler [2013-01-04 03:08:28] 623*2^1238608-1 is not prime. Res64: 0A40A7C04A009752 Time : 0.0 sec. user=mdettweiler [2013-01-04 03:08:29] 645*2^1238608-1 is not prime. Res64: 923B6DF462DE21BF Time : 0.0 sec. user=mdettweiler [2013-01-04 03:08:29] 665*2^1238608-1 is not prime. Res64: 4382D8E32755C7AC Time : 0.0 sec. user=mdettweiler [2013-01-04 03:08:30] 735*2^1238608-1 is not prime. Res64: D0C07F9D29BCA501 Time : 0.0 sec. user=mdettweiler [2013-01-04 03:25:52] 855*2^1238608-1 is not prime. Res64: 716D397A7D911583 Time : 0.0 sec. user=mdettweiler [2013-01-04 03:25:53] 887*2^1238608-1 is not prime. Res64: 2DAC4DF8CED674FA Time : 0.0 sec. user=mdettweiler [2013-01-04 03:25:53] 969*2^1238608-1 is not prime. Res64: B330D097C615D967 Time : 0.0 sec. user=mdettweiler [2013-01-04 03:25:54] 993*2^1238608-1 is not prime. Res64: 19109348C8706693 Time : 0.0 sec. user=vaughan [2013-01-04 03:31:34] 849*2^1238608-1 is not prime. Res64: 1EE3D9C339C62D3A Time : 0.0 sec. user=mdettweiler [2013-01-04 03:43:13] 615*2^1238609-1 is not prime. Res64: AECC30AF6340251A Time : 0.0 sec. user=mdettweiler [2013-01-04 03:43:14] 675*2^1238609-1 is not prime. Res64: 35FF07F757054F55 Time : 0.0 sec. user=mdettweiler [2013-01-04 03:43:15] 631*2^1238609-1 is not prime. Res64: 9A320EA7B1CEBA26 Time : 0.0 sec. user=mdettweiler [2013-01-04 03:43:15] 775*2^1238609-1 is not prime. Res64: DE5DABA1C632C4C2 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:00:42] 811*2^1238609-1 is not prime. Res64: 20DAC6CD90BFF2E0 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:00:42] 633*2^1238610-1 is not prime. Res64: 82D675EA6172819C Time : 0.0 sec. user=mdettweiler [2013-01-04 04:00:44] 861*2^1238609-1 is not prime. Res64: A322CAEE00634C75 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:00:45] 791*2^1238610-1 is not prime. Res64: AA262520858CA6BC Time : 0.0 sec. user=vaughan [2013-01-04 04:09:23] 795*2^1238609-1 is not prime. Res64: 858766DCB0F37822 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:18:21] 933*2^1238610-1 is not prime. Res64: 589370604679F681 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:18:22] 615*2^1238611-1 is not prime. Res64: FB2DF13AEDE77E41 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:18:23] 741*2^1238611-1 is not prime. Res64: 58CF6A20A0FA620A Time : 0.0 sec. user=mdettweiler [2013-01-04 04:18:23] 805*2^1238611-1 is not prime. Res64: 58DE5502CEF66788 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:35:40] 693*2^1238612-1 is not prime. Res64: F0D7F07C5D8223DF Time : 0.0 sec. user=mdettweiler [2013-01-04 04:35:43] 699*2^1238612-1 is not prime. Res64: 3E08E290BA70324A Time : 0.0 sec. user=mdettweiler [2013-01-04 04:35:44] 767*2^1238612-1 is not prime. Res64: 838FE87FDD04A1D1 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:35:46] 903*2^1238612-1 is not prime. Res64: F4F2616CA74FDEE2 Time : 0.0 sec. user=vaughan [2013-01-04 04:47:11] 683*2^1238612-1 is not prime. Res64: 2BF9B39946F75461 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:53:21] 923*2^1238612-1 is not prime. Res64: EF960C6326B46263 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:53:21] 929*2^1238612-1 is not prime. Res64: 29C2074277FA97A8 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:53:23] 945*2^1238612-1 is not prime. Res64: 6DE38B76FE452AC4 Time : 0.0 sec. user=mdettweiler [2013-01-04 04:53:23] 607*2^1238613-1 is not prime. Res64: 25ED6CBA1F39AF82 Time : 0.0 sec. user=mdettweiler [2013-01-04 05:10:40] 621*2^1238613-1 is not prime. Res64: 62F20DFB010EF90D Time : 0.0 sec. user=mdettweiler [2013-01-04 05:10:41] 685*2^1238613-1 is not prime. Res64: ABAC90D99B01B06D Time : 0.0 sec. user=mdettweiler [2013-01-04 05:10:43] 721*2^1238613-1 is not prime. Res64: 3BAC6B1D80F67C4D Time : 0.0 sec. user=mdettweiler [2013-01-04 05:10:45] 789*2^1238613-1 is not prime. Res64: 1945F9B0567C3EA0 Time : 0.0 sec. user=vaughan [2013-01-04 05:24:59] 615*2^1238613-1 is not prime. Res64: 35F37E8E3ACCEB7B Time : 0.0 sec. user=mdettweiler [2013-01-04 05:28:04] 871*2^1238613-1 is not prime. Res64: 727063213B99D445 Time : 0.0 sec. user=mdettweiler [2013-01-04 05:28:06] 611*2^1238614-1 is not prime. Res64: 7FB802BF730000D2 Time : 0.0 sec. user=mdettweiler [2013-01-04 05:28:08] 791*2^1238614-1 is not prime. Res64: 2C1EADAFA22B802F Time : 0.0 sec. user=mdettweiler [2013-01-04 05:28:09] 915*2^1238614-1 is not prime. Res64: 7CD0FA84FFE48BA8 Time : 0.0 sec. user=mdettweiler [2013-01-04 05:45:27] 947*2^1238614-1 is not prime. Res64: 5876F3C5B195AFFE Time : 0.0 sec. user=mdettweiler [2013-01-04 05:45:27] 951*2^1238614-1 is not prime. Res64: CAE641CF3A7F32AA Time : 0.0 sec. user=mdettweiler [2013-01-04 05:45:30] 965*2^1238614-1 is not prime. Res64: E07B48F911529303 Time : 0.0 sec. user=mdettweiler [2013-01-04 05:45:30] 981*2^1238614-1 is not prime. Res64: 2D7178EAA78EB6CC Time : 0.0 sec. user=vaughan [2013-01-04 06:02:46] 945*2^1238614-1 is not prime. Res64: BC50042A32EE3CA2 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:02:47] 983*2^1238614-1 is not prime. Res64: ADE91E67B044A01D Time : 0.0 sec. user=mdettweiler [2013-01-04 06:02:48] 645*2^1238615-1 is not prime. Res64: 6319D39B0846F673 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:02:49] 651*2^1238615-1 is not prime. Res64: 515EEC560ED8E01A Time : 0.0 sec. user=mdettweiler [2013-01-04 06:02:51] 759*2^1238615-1 is not prime. Res64: 25BFE9B2EA1970D5 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:20:23] 921*2^1238615-1 is not prime. Res64: 7B5BFC4414658BBE Time : 0.0 sec. user=mdettweiler [2013-01-04 06:20:24] 657*2^1238616-1 is not prime. Res64: 89E8A7DC8A74F746 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:20:26] 737*2^1238616-1 is not prime. Res64: 48A54CE5D9D19B91 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:20:27] 845*2^1238616-1 is not prime. Res64: DCF90DB4096A7028 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:37:45] 947*2^1238616-1 is not prime. Res64: F0485978DF8B798B Time : 0.0 sec. user=mdettweiler [2013-01-04 06:37:45] 609*2^1238617-1 is not prime. Res64: 9FAB34FB66B50820 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:37:46] 639*2^1238617-1 is not prime. Res64: 37063634B581E345 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:37:46] 901*2^1238617-1 is not prime. Res64: 3130FD28676C39E7 Time : 0.0 sec. user=vaughan [2013-01-04 06:40:50] 825*2^1238615-1 is not prime. Res64: 19AAA4AD52398134 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:55:04] 915*2^1238617-1 is not prime. Res64: 01A70136E3601DB2 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:55:04] 919*2^1238617-1 is not prime. Res64: 18AD21FB93838D2E Time : 0.0 sec. user=mdettweiler [2013-01-04 06:55:07] 671*2^1238618-1 is not prime. Res64: 7BA9F79A58264913 Time : 0.0 sec. user=mdettweiler [2013-01-04 06:55:07] 791*2^1238618-1 is not prime. Res64: C46A8CD1A3E28BB1 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:12:24] 875*2^1238618-1 is not prime. Res64: D9465AE8CB507F28 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:12:26] 633*2^1238619-1 is not prime. Res64: 6A0ED1EB5A00C5F3 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:12:28] 705*2^1238619-1 is not prime. Res64: 9000EE61565CB88D Time : 0.0 sec. user=mdettweiler [2013-01-04 07:12:30] 741*2^1238619-1 is not prime. Res64: 884896FE68557E52 Time : 0.0 sec. user=vaughan [2013-01-04 07:18:37] 827*2^1238618-1 is not prime. Res64: 118A2EEEC718C71D Time : 0.0 sec. user=mdettweiler [2013-01-04 07:29:51] 751*2^1238619-1 is not prime. Res64: E0C38D7335515AD1 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:29:52] 769*2^1238619-1 is not prime. Res64: A07D515002E772C4 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:29:54] 801*2^1238619-1 is not prime. Res64: 2DC878447F00D4EF Time : 0.0 sec. user=mdettweiler [2013-01-04 07:29:54] 973*2^1238619-1 is not prime. Res64: 388F45B74F849DA0 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:47:11] 699*2^1238620-1 is not prime. Res64: 6D6475E65D532BCE Time : 0.0 sec. user=mdettweiler [2013-01-04 07:47:12] 719*2^1238620-1 is not prime. Res64: D86DFE3510A15B98 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:47:13] 825*2^1238620-1 is not prime. Res64: 06CFDB391CF003B3 Time : 0.0 sec. user=mdettweiler [2013-01-04 07:47:13] 873*2^1238620-1 is not prime. Res64: 740FFCA8DB3498C3 Time : 0.0 sec. user=vaughan [2013-01-04 07:56:25] 693*2^1238620-1 is not prime. Res64: 90AF5B5F7E2DA4FD Time : 0.0 sec. user=mdettweiler [2013-01-04 08:04:33] 927*2^1238620-1 is not prime. Res64: F44B9AB08F15AC84 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:04:34] 995*2^1238620-1 is not prime. Res64: AAD0D01402EE1697 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:04:38] 615*2^1238621-1 is not prime. Res64: 6D1B3C627ECB402F Time : 0.0 sec. user=mdettweiler [2013-01-04 08:04:39] 959*2^1238620-1 is not prime. Res64: ECD5EA982ECBF4BB Time : 0.0 sec. user=mdettweiler [2013-01-04 08:22:11] 825*2^1238621-1 is not prime. Res64: 31CD72CCBE7F37B9 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:22:12] 889*2^1238621-1 is not prime. Res64: 1FC9A492DDD88F6E Time : 0.0 sec. user=mdettweiler [2013-01-04 08:22:13] 901*2^1238621-1 is not prime. Res64: 498154825EE1B331 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:22:14] 979*2^1238621-1 is not prime. Res64: 1EB739DDF935F922 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:39:33] 615*2^1238622-1 is not prime. Res64: E21FAD587BFAA8AF Time : 0.0 sec. user=mdettweiler [2013-01-04 08:39:34] 653*2^1238622-1 is not prime. Res64: 37D7898597BE486E Time : 0.0 sec. user=mdettweiler [2013-01-04 08:39:34] 693*2^1238622-1 is not prime. Res64: F1835FBD2FBE4AF2 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:39:35] 725*2^1238622-1 is not prime. Res64: 4D454EDFF26B74A3 Time : 0.0 sec. user=vaughan [2013-01-04 08:53:03] 747*2^1238621-1 is not prime. Res64: D892434BA54DED20 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:56:54] 765*2^1238622-1 is not prime. Res64: 36709A5B53D830B0 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:56:54] 767*2^1238622-1 is not prime. Res64: 905B95019FD06988 Time : 0.0 sec. user=mdettweiler [2013-01-04 08:56:54] 807*2^1238622-1 is not prime. Res64: F86087A7687EA33F Time : 0.0 sec. user=mdettweiler [2013-01-04 08:56:55] 917*2^1238622-1 is not prime. Res64: ECA06195D5FFEADD Time : 0.0 sec. user=mdettweiler [2013-01-04 09:14:14] 685*2^1238623-1 is not prime. Res64: DDDB512A6FE16CBD Time : 0.0 sec. user=mdettweiler [2013-01-04 09:14:15] 871*2^1238623-1 is not prime. Res64: 3EFD0E47309023DC Time : 0.0 sec. user=mdettweiler [2013-01-04 09:14:16] 705*2^1238623-1 is not prime. Res64: E89B362889A582FC Time : 0.0 sec. user=mdettweiler [2013-01-04 09:14:17] 605*2^1238624-1 is not prime. Res64: F930B6C464E27971 Time : 0.0 sec. user=vaughan [2013-01-04 09:30:49] 975*2^1238622-1 is not prime. Res64: 98238D578B15175F Time : 0.0 sec. user=mdettweiler [2013-01-04 09:31:50] 747*2^1238624-1 is not prime. Res64: ED29053030428968 Time : 0.0 sec. user=mdettweiler [2013-01-04 09:31:51] 795*2^1238624-1 is not prime. Res64: 0D64C9A336CF5AA4 Time : 0.0 sec. user=mdettweiler [2013-01-04 09:31:52] 813*2^1238624-1 is not prime. Res64: B5373420C06DE814 Time : 0.0 sec. user=mdettweiler [2013-01-04 09:31:52] 915*2^1238624-1 is not prime. Res64: 5088BD3A6934D01C Time : 0.0 sec. user=mdettweiler [2013-01-04 09:49:10] 625*2^1238625-1 is not prime. Res64: 91095F2FB75C05BC Time : 0.0 sec. user=mdettweiler [2013-01-04 09:49:10] 889*2^1238625-1 is not prime. Res64: B916C2FD17823F34 Time : 0.0 sec. user=mdettweiler [2013-01-04 09:49:12] 951*2^1238625-1 is not prime. Res64: ACA9856F1F97998D Time : 0.0 sec. user=mdettweiler [2013-01-04 09:49:12] 997*2^1238625-1 is not prime. Res64: 407E859E0B4AB5E6 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:06:30] 603*2^1238626-1 is not prime. Res64: 86844CCBD02C1E95 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:06:31] 773*2^1238626-1 is not prime. Res64: 7352C03FF375A27C Time : 0.0 sec. user=mdettweiler [2013-01-04 10:06:31] 777*2^1238626-1 is not prime. Res64: 4CEB3BDA3DB23ED5 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:06:33] 833*2^1238626-1 is not prime. Res64: E796B025A4D3BB85 Time : 0.0 sec. user=vaughan [2013-01-04 10:08:44] 945*2^1238624-1 is not prime. Res64: 4F330AD2EC56B502 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:23:52] 993*2^1238626-1 is not prime. Res64: 9DE70BE2622CC773 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:23:54] 643*2^1238627-1 is not prime. Res64: 156B3897F2648F03 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:23:54] 733*2^1238627-1 is not prime. Res64: F52A111E9E737D63 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:23:55] 775*2^1238627-1 is not prime. Res64: 4D46EFA965BED093 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:41:27] 705*2^1238628-1 is not prime. Res64: 8639259B0862680E Time : 0.0 sec. user=mdettweiler [2013-01-04 10:41:28] 707*2^1238628-1 is not prime. Res64: 587F8977EE372DA6 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:41:28] 725*2^1238628-1 is not prime. Res64: 20C6803D9FDFCF0C Time : 0.0 sec. user=mdettweiler [2013-01-04 10:41:29] 735*2^1238628-1 is not prime. Res64: EB5BACB088585825 Time : 0.0 sec. user=vaughan [2013-01-04 10:46:36] 805*2^1238627-1 is not prime. Res64: D1AAECF4D5BCBAFA Time : 0.0 sec. user=mdettweiler [2013-01-04 10:58:50] 773*2^1238628-1 is not prime. Res64: 65194F8691E6E331 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:58:50] 809*2^1238628-1 is not prime. Res64: 36313E5ADA0E9219 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:58:51] 803*2^1238628-1 is not prime. Res64: B7D00A7C2637F7E5 Time : 0.0 sec. user=mdettweiler [2013-01-04 10:58:51] 905*2^1238628-1 is not prime. Res64: 7FDBA723A75829BF Time : 0.0 sec. user=mdettweiler [2013-01-04 11:16:17] 615*2^1238629-1 is not prime. Res64: 783949F06EB72D43 Time : 0.0 sec. user=mdettweiler [2013-01-04 11:16:17] 691*2^1238629-1 is not prime. Res64: 350DFF40FFBCAD34 Time : 0.0 sec. user=mdettweiler [2013-01-04 11:16:18] 831*2^1238629-1 is not prime. Res64: A736F4E388578AA4 Time : 0.0 sec. user=mdettweiler [2013-01-04 11:16:18] 861*2^1238629-1 is not prime. Res64: 569FEEDA6FA441E6 Time : 0.0 sec. user=vaughan [2013-01-04 11:24:25] 977*2^1238628-1 is not prime. Res64: 5C348B2566FA99FC Time : 0.0 sec. user=mdettweiler [2013-01-04 11:33:43] 951*2^1238629-1 is not prime. Res64: 4B4F5808B9ABFB55 Time : 0.0 sec. user=mdettweiler [2013-01-04 11:33:44] 961*2^1238629-1 is not prime. Res64: 96891ADA521F2C4B Time : 0.0 sec. user=mdettweiler [2013-01-04 11:33:45] 975*2^1238629-1 is not prime. Res64: 7F262854894D917F Time : 0.0 sec. user=mdettweiler [2013-01-04 11:33:45] 985*2^1238629-1 is not prime. Res64: 3C2A87F22A5317B7 Time : 0.0 sec. user=mdettweiler [2013-01-04 11:51:07] 743*2^1238630-1 is not prime. Res64: 99F0ADC6561373AC Time : 0.0 sec. user=mdettweiler [2013-01-04 11:51:08] 831*2^1238630-1 is not prime. Res64: 7620756A826F302D Time : 0.0 sec. user=mdettweiler [2013-01-04 11:51:10] 657*2^1238630-1 is not prime. Res64: 890DD63F996A0571 Time : 0.0 sec. user=mdettweiler [2013-01-04 11:51:11] 663*2^1238630-1 is not prime. Res64: E649F6514F572FDB Time : 0.0 sec. user=vaughan [2013-01-04 12:02:15] 603*2^1238630-1 is not prime. Res64: AE9EA915CB8BE844 Time : 0.0 sec. user=mdettweiler [2013-01-04 12:08:31] 917*2^1238630-1 is not prime. Res64: CC11631BAC718ACD Time : 0.0 sec. user=mdettweiler [2013-01-04 12:08:32] 735*2^1238631-1 is not prime. Res64: 020C8BB94AEA1F6C Time : 0.0 sec. user=mdettweiler [2013-01-04 12:08:33] 775*2^1238631-1 is not prime. Res64: 33567262870A646B Time : 0.0 sec. user=mdettweiler [2013-01-04 12:08:34] 909*2^1238631-1 is not prime. Res64: F8CCEF668333EC5E Time : 0.0 sec. user=mdettweiler [2013-01-04 12:25:55] 961*2^1238631-1 is not prime. Res64: 3AFEC7F4C1040CBB Time : 0.0 sec. user=mdettweiler [2013-01-04 12:25:56] 975*2^1238631-1 is not prime. Res64: 727B88599A978730 Time : 0.0 sec. user=mdettweiler [2013-01-04 12:25:56] 723*2^1238632-1 is not prime. Res64: C8942A562A49D294 Time : 0.0 sec. user=mdettweiler [2013-01-04 12:25:56] 779*2^1238632-1 is not prime. Res64: 2AFDB178C50B7C12 Time : 0.0 sec. user=vaughan [2013-01-04 12:40:08] 945*2^1238631-1 is not prime. Res64: A8FB5737CF215282 Time : 0.0 sec. user=mdettweiler [2013-01-04 12:43:20] 869*2^1238632-1 is not prime. Res64: 1459DFBF3F653EA8 Time : 0.0 sec. user=mdettweiler [2013-01-04 12:43:20] 863*2^1238632-1 is not prime. Res64: 946358A580CD0827 Time : 0.0 sec. user=mdettweiler [2013-01-04 12:43:20] 939*2^1238632-1 is not prime. Res64: 8BB07073DFAAE945 Time : 0.0 sec. user=mdettweiler [2013-01-04 12:43:21] 947*2^1238632-1 is not prime. Res64: 73B205D55312D71F Time : 0.0 sec. user=mdettweiler [2013-01-04 13:00:43] 631*2^1238633-1 is not prime. Res64: 108D5C7724BC718C Time : 0.0 sec. user=mdettweiler [2013-01-04 13:00:44] 759*2^1238633-1 is not prime. Res64: F24550E991EDAF27 Time : 0.0 sec. user=mdettweiler [2013-01-04 13:00:45] 685*2^1238633-1 is not prime. Res64: 56EFE09A1E2EF4D9 Time : 0.0 sec. user=mdettweiler [2013-01-04 13:00:46] 871*2^1238633-1 is not prime. Res64: 95A3E2719F388F98 Time : 0.0 sec. user=vaughan [2013-01-04 13:17:57] 607*2^1238633-1 is not prime. Res64: 2684363CB5DB4AE6 Time : 0.0 sec. user=vaughan [2013-01-04 13:55:48] 791*2^1238634-1 is not prime. Res64: DF878DBB3F999578 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:07:56] 987*2^1238633-1 is not prime. Res64: 91A14800E85B21B8 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:07:58] 621*2^1238634-1 is not prime. Res64: E6E58F40FFD1ADB4 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:07:59] 915*2^1238633-1 is not prime. Res64: A8EF07AD4D4A3B13 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:08:01] 957*2^1238633-1 is not prime. Res64: 736A111B0FB945A9 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:25:29] 885*2^1238634-1 is not prime. Res64: 812BE71D4A2DA533 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:25:29] 915*2^1238634-1 is not prime. Res64: 2C4761FCE16653B7 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:25:30] 923*2^1238634-1 is not prime. Res64: 314835D8EFC6F776 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:25:31] 983*2^1238634-1 is not prime. Res64: B1FA2599DF0C8EEC Time : 0.0 sec. user=vaughan [2013-01-04 14:33:35] 861*2^1238634-1 is not prime. Res64: D18806510D93DBF0 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:42:52] 693*2^1238635-1 is not prime. Res64: 310BE0E726B22198 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:42:52] 805*2^1238635-1 is not prime. Res64: 8627328CD715B201 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:42:53] 723*2^1238635-1 is not prime. Res64: 83E475F8F36334B3 Time : 0.0 sec. user=mdettweiler [2013-01-04 14:42:53] 853*2^1238635-1 is not prime. Res64: B771C11A10207D0B Time : 0.0 sec. user=mdettweiler [2013-01-04 15:00:42] 633*2^1238636-1 is not prime. Res64: 5D133A7B552353A5 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:00:43] 663*2^1238636-1 is not prime. Res64: B09E8020EA7CA365 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:00:44] 707*2^1238636-1 is not prime. Res64: 3690599519C76D3D Time : 0.0 sec. user=mdettweiler [2013-01-04 15:00:46] 725*2^1238636-1 is not prime. Res64: 35A2837ABC0E1588 Time : 0.0 sec. user=vaughan [2013-01-04 15:11:23] 623*2^1238636-1 is not prime. Res64: 1EB10BA8718F9C44 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:18:47] 743*2^1238636-1 is not prime. Res64: C1BCC675AAC904D0 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:18:48] 777*2^1238636-1 is not prime. Res64: 6E453A755205A5FD Time : 0.0 sec. user=mdettweiler [2013-01-04 15:18:48] 789*2^1238636-1 is not prime. Res64: F96384937136E5E6 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:18:49] 855*2^1238636-1 is not prime. Res64: 1CBFE0A6D52482C7 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:36:36] 999*2^1238636-1 is not prime. Res64: EFD120E6EA41D92C Time : 0.0 sec. user=mdettweiler [2013-01-04 15:36:37] 661*2^1238637-1 is not prime. Res64: 64A66DA2BE84B1FD Time : 0.0 sec. user=mdettweiler [2013-01-04 15:36:38] 717*2^1238637-1 is not prime. Res64: 7B1A025EE1D76E21 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:36:38] 759*2^1238637-1 is not prime. Res64: E8575EEF2802E1CA Time : 0.0 sec. user=vaughan [2013-01-04 15:49:15] 945*2^1238636-1 is not prime. Res64: B934657EB3D3381B Time : 0.0 sec. user=mdettweiler [2013-01-04 15:54:26] 765*2^1238637-1 is not prime. Res64: F69971A3D672E486 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:54:26] 777*2^1238637-1 is not prime. Res64: 55B9F780FC498203 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:54:28] 915*2^1238637-1 is not prime. Res64: EBF45DD6A4ECD708 Time : 0.0 sec. user=mdettweiler [2013-01-04 15:54:28] 937*2^1238637-1 is not prime. Res64: 024AF6ECCD3F208F Time : 0.0 sec. user=mdettweiler [2013-01-04 16:12:14] 681*2^1238638-1 is not prime. Res64: B5842DC394E6E6F0 Time : 0.0 sec. user=mdettweiler [2013-01-04 16:12:16] 867*2^1238638-1 is not prime. Res64: F6E43DC6A7283EA4 Time : 0.0 sec. user=mdettweiler [2013-01-04 16:12:16] 601*2^1238639-1 is not prime. Res64: 0409E78AE0B6ECAA Time : 0.0 sec. user=mdettweiler [2013-01-04 16:12:17] 705*2^1238638-1 is not prime. Res64: 187E488755D85B26 Time : 0.0 sec. user=vaughan [2013-01-04 16:27:05] 621*2^1238638-1 is not prime. Res64: A14F77F7A8C7A862 Time : 0.0 sec. user=mdettweiler [2013-01-04 16:30:10] 661*2^1238639-1 is not prime. Res64: 1B47AC614ECA20EB Time : 0.0 sec. user=mdettweiler [2013-01-04 16:30:11] 711*2^1238639-1 is not prime. Res64: 8F36A6ACCE786ECE Time : 0.0 sec. user=mdettweiler [2013-01-04 16:30:13] 775*2^1238639-1 is not prime. Res64: 4D556C7FC2AB981C Time : 0.0 sec. user=mdettweiler [2013-01-04 16:30:13] 895*2^1238639-1 is not prime. Res64: 7CD737C19486AAAF Time : 0.0 sec. user=mdettweiler [2013-01-04 16:47:57] 943*2^1238639-1 is not prime. Res64: CFB36FB7C46F1D80 Time : 0.0 sec. user=mdettweiler [2013-01-04 16:47:57] 689*2^1238640-1 is not prime. Res64: 54073ECF25F52F89 Time : 0.0 sec. user=mdettweiler [2013-01-04 16:48:01] 765*2^1238640-1 is not prime. Res64: 6AD0AD303135D698 Time : 0.0 sec. user=mdettweiler [2013-01-04 16:48:02] 767*2^1238640-1 is not prime. Res64: 6CA9A4E7488E9173 Time : 0.0 sec. user=vaughan [2013-01-04 17:04:53] 921*2^1238639-1 is not prime. Res64: F5E0A06979DF0A63 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:05:49] 789*2^1238640-1 is not prime. Res64: AEA8F06A1334C6C3 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:05:49] 909*2^1238640-1 is not prime. Res64: 85EE818BA9636F81 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:05:53] 917*2^1238640-1 is not prime. Res64: 4C3869549438B2CD Time : 0.0 sec. user=mdettweiler [2013-01-04 17:05:53] 715*2^1238641-1 is not prime. Res64: 47C493EB24FCB967 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:23:42] 771*2^1238641-1 is not prime. Res64: 0B7A3D1DB6F9C8D3 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:23:43] 811*2^1238641-1 is not prime. Res64: 315D208B2D6B5C1F Time : 0.0 sec. user=mdettweiler [2013-01-04 17:23:46] 861*2^1238641-1 is not prime. Res64: DD5E32CFD5BBEA9B Time : 0.0 sec. user=mdettweiler [2013-01-04 17:23:46] 877*2^1238641-1 is not prime. Res64: EE7890B8A02618C8 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:41:28] 615*2^1238642-1 is not prime. Res64: E99AECF33EB7A47B Time : 0.0 sec. user=mdettweiler [2013-01-04 17:41:28] 677*2^1238642-1 is not prime. Res64: 19B349BA8544D3E9 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:41:32] 711*2^1238642-1 is not prime. Res64: 664C909DA6A5B431 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:41:32] 755*2^1238642-1 is not prime. Res64: B4C11DFDE76421D8 Time : 0.0 sec. user=vaughan [2013-01-04 17:42:46] 741*2^1238641-1 is not prime. Res64: 2EA26C60FFEC2CA7 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:59:15] 833*2^1238642-1 is not prime. Res64: 6B166185E3E11D80 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:59:15] 923*2^1238642-1 is not prime. Res64: 5441470DC18C1485 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:59:18] 953*2^1238642-1 is not prime. Res64: 0D71294DE7535BC1 Time : 0.0 sec. user=mdettweiler [2013-01-04 17:59:19] 977*2^1238642-1 is not prime. Res64: DA3F5696CBF33921 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:17:00] 703*2^1238643-1 is not prime. Res64: B2BB84C9BE0D2946 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:17:01] 891*2^1238643-1 is not prime. Res64: BDBDA6D5C177AEE1 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:17:06] 635*2^1238644-1 is not prime. Res64: CC6A1A15460C81D3 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:17:07] 675*2^1238644-1 is not prime. Res64: 6AF5DA2D850A3647 Time : 0.0 sec. user=vaughan [2013-01-04 18:20:35] 679*2^1238643-1 is not prime. Res64: D3EDFF95E639C4B7 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:34:46] 873*2^1238644-1 is not prime. Res64: DD8306BD9F73FDDF Time : 0.0 sec. user=mdettweiler [2013-01-04 18:34:46] 929*2^1238644-1 is not prime. Res64: 5D7284A58B5FD65E Time : 0.0 sec. user=mdettweiler [2013-01-04 18:34:51] 939*2^1238644-1 is not prime. Res64: 8ACE5EB852806E5F Time : 0.0 sec. user=mdettweiler [2013-01-04 18:34:51] 983*2^1238644-1 is not prime. Res64: D607495CD93C12DD Time : 0.0 sec. user=mdettweiler [2013-01-04 18:52:30] 619*2^1238645-1 is not prime. Res64: 47E5154A855F7F34 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:52:31] 795*2^1238645-1 is not prime. Res64: 749226E359F6D7A8 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:52:35] 871*2^1238645-1 is not prime. Res64: 23D71AB46D225A16 Time : 0.0 sec. user=mdettweiler [2013-01-04 18:52:35] 897*2^1238645-1 is not prime. Res64: 3A13A772C8D1B4C2 Time : 0.0 sec. user=vaughan [2013-01-04 18:58:24] 607*2^1238645-1 is not prime. Res64: 4435D9BBD5B0938A Time : 0.0 sec. user=mdettweiler [2013-01-04 19:10:14] 957*2^1238645-1 is not prime. Res64: A7844FD05D71E889 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:10:15] 981*2^1238645-1 is not prime. Res64: AECEAEBDA3BA25F0 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:10:18] 671*2^1238646-1 is not prime. Res64: BA42E9DF73357FE5 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:10:19] 777*2^1238646-1 is not prime. Res64: 86772587CDFD06FE Time : 0.0 sec. user=mdettweiler [2013-01-04 19:28:04] 933*2^1238646-1 is not prime. Res64: 980F9A032443E15A Time : 0.0 sec. user=mdettweiler [2013-01-04 19:28:05] 993*2^1238646-1 is not prime. Res64: DACF4E0E7DE7D262 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:28:09] 813*2^1238647-1 is not prime. Res64: 6AC1424DFF49A2E6 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:28:10] 843*2^1238647-1 is not prime. Res64: 73D5003BA30A7286 Time : 0.0 sec. user=vaughan [2013-01-04 19:36:12] 815*2^1238646-1 is not prime. Res64: 1044ADA63829649A Time : 0.0 sec. user=mdettweiler [2013-01-04 19:45:52] 979*2^1238647-1 is not prime. Res64: 21F007E0BD076E72 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:45:52] 665*2^1238648-1 is not prime. Res64: 8644FD9833969BA6 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:45:54] 855*2^1238648-1 is not prime. Res64: D9571BC23476E2C6 Time : 0.0 sec. user=mdettweiler [2013-01-04 19:45:54] 681*2^1238649-1 is not prime. Res64: B5B2D831DF0E392F Time : 0.0 sec. user=mdettweiler [2013-01-04 20:03:36] 735*2^1238650-1 is not prime. Res64: 67848289A063F0D4 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:03:37] 765*2^1238650-1 is not prime. Res64: 1141432787102693 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:03:38] 801*2^1238650-1 is not prime. Res64: 1693DC3F3609E6E2 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:03:39] 827*2^1238650-1 is not prime. Res64: 8EC958B86CDE9585 Time : 0.0 sec. user=vaughan [2013-01-04 20:13:59] 717*2^1238650-1 is not prime. Res64: 47E3811621CCC241 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:21:27] 843*2^1238650-1 is not prime. Res64: 05DB113D709761E1 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:21:27] 885*2^1238650-1 is not prime. Res64: 62BFB1135AA04FAC Time : 0.0 sec. user=mdettweiler [2013-01-04 20:21:28] 981*2^1238650-1 is not prime. Res64: C996B31671B584C9 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:21:28] 609*2^1238651-1 is not prime. Res64: 445939D67FB52AFA Time : 0.0 sec. user=juhehe [2013-01-04 20:34:10] 985*2^1238649-1 is not prime. Res64: 8ABFEA1138D19BF5 Time : 0.0 sec. user=juhehe [2013-01-04 20:34:18] 895*2^1238649-1 is not prime. Res64: F9458551720C248B Time : 0.0 sec. user=mdettweiler [2013-01-04 20:39:11] 973*2^1238651-1 is not prime. Res64: CF74336BFA28F987 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:39:12] 633*2^1238652-1 is not prime. Res64: 8378AD8816DEC5F1 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:39:13] 717*2^1238652-1 is not prime. Res64: 557B549A08F5D68F Time : 0.0 sec. user=mdettweiler [2013-01-04 20:39:13] 777*2^1238652-1 is not prime. Res64: 85A70EAD5DFA7D5B Time : 0.0 sec. user=vaughan [2013-01-04 20:51:48] 649*2^1238651-1 is not prime. Res64: EE3C3B20E29AAB63 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:56:54] 843*2^1238652-1 is not prime. Res64: F493E315D39DE430 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:56:55] 857*2^1238652-1 is not prime. Res64: D971B74E8DDC9DE3 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:56:57] 923*2^1238652-1 is not prime. Res64: 562736489E1D1966 Time : 0.0 sec. user=mdettweiler [2013-01-04 20:56:57] 975*2^1238652-1 is not prime. Res64: 23007F238963C327 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:14:39] 895*2^1238653-1 is not prime. Res64: 16FBBBDACA27CAB8 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:14:39] 915*2^1238653-1 is not prime. Res64: 9E00EC8AFECBE685 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:14:41] 985*2^1238653-1 is not prime. Res64: F450DB3F14A031DB Time : 0.0 sec. user=mdettweiler [2013-01-04 21:14:42] 753*2^1238654-1 is not prime. Res64: C33BB7BF25001790 Time : 0.0 sec. user=vaughan [2013-01-04 21:29:36] 721*2^1238653-1 is not prime. Res64: E510A022C77952FE Time : 0.0 sec. user=mdettweiler [2013-01-04 21:32:19] 915*2^1238654-1 is not prime. Res64: DBE47477EF8D23CF Time : 0.0 sec. user=mdettweiler [2013-01-04 21:32:20] 921*2^1238654-1 is not prime. Res64: 0E173F261B12BDE1 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:32:20] 851*2^1238654-1 is not prime. Res64: 54E693488AAD0EB5 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:32:21] 885*2^1238654-1 is not prime. Res64: 0BC2C65740A8EE48 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:49:42] 649*2^1238655-1 is not prime. Res64: 188CF34CB270C276 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:49:42] 723*2^1238655-1 is not prime. Res64: C48C7DD9CA9F9235 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:49:43] 603*2^1238656-1 is not prime. Res64: 0CE2F3825C8D3538 Time : 0.0 sec. user=mdettweiler [2013-01-04 21:49:45] 645*2^1238656-1 is not prime. Res64: 4E49FFA3AB0E20B3 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:07:02] 779*2^1238656-1 is not prime. Res64: 2105690308AAA13F Time : 0.0 sec. user=mdettweiler [2013-01-04 22:07:03] 825*2^1238656-1 is not prime. Res64: 537744091F4C0E76 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:07:04] 843*2^1238656-1 is not prime. Res64: 99ABDE1F5F27FBED Time : 0.0 sec. user=mdettweiler [2013-01-04 22:07:05] 989*2^1238656-1 is not prime. Res64: 2D08E64CB562A749 Time : 0.0 sec. user=vaughan [2013-01-04 22:07:25] 613*2^1238655-1 is not prime. Res64: A9551D93DAC79962 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:24:27] 619*2^1238657-1 is not prime. Res64: 7FBF149501B17AD5 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:24:28] 691*2^1238657-1 is not prime. Res64: 654656666B93770A Time : 0.0 sec. user=mdettweiler [2013-01-04 22:24:28] 675*2^1238657-1 is not prime. Res64: A58A1108DAB90219 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:24:29] 717*2^1238657-1 is not prime. Res64: CBF3CA9AFB745B7D Time : 0.0 sec. user=juhehe [2013-01-04 22:27:56] 935*2^1238654-1 is not prime. Res64: 7D38031092F0C276 Time : 0.0 sec. user=juhehe [2013-01-04 22:35:00] 657*2^1238656-1 is not prime. Res64: D36456C6EDF22CAC Time : 0.0 sec. user=mdettweiler [2013-01-04 22:41:58] 885*2^1238657-1 is not prime. Res64: 3CF6C50E5DE0D03B Time : 0.0 sec. user=mdettweiler [2013-01-04 22:41:58] 925*2^1238657-1 is not prime. Res64: 65CF0312778DE091 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:41:59] 931*2^1238657-1 is not prime. Res64: C397AE9BC318AA6B Time : 0.0 sec. user=mdettweiler [2013-01-04 22:42:00] 641*2^1238658-1 is not prime. Res64: E5A828F02E3BCC89 Time : 0.0 sec. user=vaughan [2013-01-04 22:45:14] 829*2^1238657-1 is not prime. Res64: B1B485F65A503714 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:59:18] 713*2^1238658-1 is not prime. Res64: AF566E9B4537EE46 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:59:19] 725*2^1238658-1 is not prime. Res64: F7911D3B21D32E23 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:59:21] 821*2^1238658-1 is not prime. Res64: 246AA2A4477F4F79 Time : 0.0 sec. user=mdettweiler [2013-01-04 22:59:22] 945*2^1238658-1 is not prime. Res64: 7F53B6BE85340958 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:16:38] 663*2^1238659-1 is not prime. Res64: DFFE9857F1995BD3 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:16:39] 853*2^1238659-1 is not prime. Res64: 6C3ED8A10AFFFC43 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:16:41] 859*2^1238659-1 is not prime. Res64: 53C4B517B6243F53 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:16:41] 943*2^1238659-1 is not prime. Res64: 29341587B20BDFAC Time : 0.0 sec. user=mdettweiler [2013-01-04 23:34:02] 975*2^1238659-1 is not prime. Res64: CAC63FE1AE26D3F4 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:34:03] 647*2^1238660-1 is not prime. Res64: 5486D4528EAAE626 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:34:04] 759*2^1238660-1 is not prime. Res64: A04AD8BAC1F1120C Time : 0.0 sec. user=mdettweiler [2013-01-04 23:34:05] 767*2^1238660-1 is not prime. Res64: C3A9D0E230B0D8F9 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:51:24] 923*2^1238660-1 is not prime. Res64: 4C7710B29015FD95 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:51:24] 963*2^1238660-1 is not prime. Res64: F31F9224321FFE07 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:51:25] 639*2^1238661-1 is not prime. Res64: 103A364181A639B8 Time : 0.0 sec. user=mdettweiler [2013-01-04 23:51:26] 717*2^1238661-1 is not prime. Res64: 517299588B449461 Time : 0.0 sec.