user=mdettweiler [2012-09-14 00:07:39] 661*2^1228631-1 is not prime. Res64: F9C446A0CAB90E1D Time : 0.0 sec. user=mdettweiler [2012-09-14 00:07:41] 711*2^1228631-1 is not prime. Res64: 9EE6565F66C68FB5 Time : 0.0 sec. user=mdettweiler [2012-09-14 00:16:08] 855*2^1228631-1 is not prime. Res64: 9FC1238B0B5F8B9B Time : 0.0 sec. user=mdettweiler [2012-09-14 00:16:10] 865*2^1228631-1 is not prime. Res64: 8C8812FA62BFEAF1 Time : 0.0 sec. user=mdettweiler [2012-09-14 00:28:34] 883*2^1228631-1 is not prime. Res64: 2C2DD334AA96F42C Time : 0.0 sec. user=mdettweiler [2012-09-14 00:28:37] 931*2^1228631-1 is not prime. Res64: 6FAB20E7D677F21F Time : 0.0 sec. user=mdettweiler [2012-09-14 00:36:51] 939*2^1228631-1 is not prime. Res64: ED80B882C170C077 Time : 0.0 sec. user=mdettweiler [2012-09-14 00:36:51] 675*2^1228632-1 is not prime. Res64: 07F38F7239383299 Time : 0.0 sec. user=mdettweiler [2012-09-14 00:49:28] 719*2^1228632-1 is not prime. Res64: 3092B6C34976573A Time : 0.0 sec. user=mdettweiler [2012-09-14 00:49:29] 767*2^1228632-1 is not prime. Res64: A34608E45A669AC3 Time : 0.0 sec. user=mdettweiler [2012-09-14 00:57:20] 777*2^1228632-1 is not prime. Res64: 68EFCE796505B7E2 Time : 0.0 sec. user=mdettweiler [2012-09-14 00:57:21] 857*2^1228632-1 is not prime. Res64: EAE6F346D36EFAA9 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:09:58] 917*2^1228632-1 is not prime. Res64: 167715290E2394E3 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:10:01] 929*2^1228632-1 is not prime. Res64: A037033776B75DE0 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:17:49] 933*2^1228632-1 is not prime. Res64: C23E1F674DB41673 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:17:50] 975*2^1228632-1 is not prime. Res64: F72528EEFF8BEF2F Time : 0.0 sec. user=mdettweiler [2012-09-14 01:30:43] 651*2^1228633-1 is not prime. Res64: C6B4515776419CBF Time : 0.0 sec. user=mdettweiler [2012-09-14 01:30:49] 691*2^1228633-1 is not prime. Res64: 4396DB7E15EFB781 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:38:24] 745*2^1228633-1 is not prime. Res64: D409D41E50EE401A Time : 0.0 sec. user=mdettweiler [2012-09-14 01:38:25] 747*2^1228633-1 is not prime. Res64: A5AEF0A70D5D8EB4 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:51:39] 819*2^1228633-1 is not prime. Res64: 81C5EFF8AB35E4B8 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:51:40] 951*2^1228633-1 is not prime. Res64: B6C810FA687423D1 Time : 0.0 sec. user=mdettweiler [2012-09-14 01:58:55] 651*2^1228634-1 is not prime. Res64: D8F9E4EA2C1FB46B Time : 0.0 sec. user=mdettweiler [2012-09-14 01:58:56] 705*2^1228634-1 is not prime. Res64: CC596ADE3EF81A0D Time : 0.0 sec. user=gd_barnes [2012-09-14 02:02:08] 605*2^1228634-1 is not prime. Res64: 0A58EEAC46D6BB00 Time : 0.0 sec. user=mdettweiler [2012-09-14 02:12:10] 711*2^1228634-1 is not prime. Res64: 7B75690A773471C3 Time : 0.0 sec. user=mdettweiler [2012-09-14 02:12:12] 755*2^1228634-1 is not prime. Res64: FE632765FA61F756 Time : 0.0 sec. user=mdettweiler [2012-09-14 02:19:25] 885*2^1228634-1 is not prime. Res64: 9A931BA717582FBF Time : 0.0 sec. user=mdettweiler [2012-09-14 02:19:26] 927*2^1228634-1 is not prime. Res64: 795FB484EE268119 Time : 0.0 sec. user=mdettweiler [2012-09-14 02:32:51] 625*2^1228635-1 is not prime. Res64: 6DA56435D71A4933 Time : 0.0 sec. user=mdettweiler [2012-09-14 02:32:54] 829*2^1228635-1 is not prime. Res64: 8D00C37EE4487813 Time : 0.0 sec. user=mdettweiler [2012-09-14 02:39:59] 895*2^1228635-1 is not prime. Res64: E97E337E77E8E59C Time : 0.0 sec. user=mdettweiler [2012-09-14 02:40:01] 961*2^1228635-1 is not prime. Res64: 1F7C3F0E30FBD91F Time : 0.0 sec. user=mdettweiler [2012-09-14 02:53:40] 603*2^1228636-1 is not prime. Res64: C413E2AE830C6169 Time : 0.0 sec. user=mdettweiler [2012-09-14 02:53:41] 623*2^1228636-1 is not prime. Res64: F9CFF59888B55D3E Time : 0.0 sec. user=mdettweiler [2012-09-14 03:00:46] 695*2^1228636-1 is not prime. Res64: 992E4D3A3D085853 Time : 0.0 sec. user=mdettweiler [2012-09-14 03:00:47] 743*2^1228636-1 is not prime. Res64: EB8169C7B874ED98 Time : 0.0 sec. user=mdettweiler [2012-09-14 03:14:25] 825*2^1228636-1 is not prime. Res64: 21F6D9DA2ED69A3A Time : 0.0 sec. user=mdettweiler [2012-09-14 03:14:28] 843*2^1228636-1 is not prime. Res64: E37AF7AC6C55A67C Time : 0.0 sec. user=mdettweiler [2012-09-14 03:21:30] 691*2^1228637-1 is not prime. Res64: B30BD52943724AF7 Time : 0.0 sec. user=mdettweiler [2012-09-14 03:21:31] 715*2^1228637-1 is not prime. Res64: 3BE5937A017E6156 Time : 0.0 sec. user=mdettweiler [2012-09-14 03:35:17] 727*2^1228637-1 is not prime. Res64: 47D552BCE62D4BCC Time : 0.0 sec. user=mdettweiler [2012-09-14 03:35:18] 605*2^1228638-1 is not prime. Res64: F0ED8CE5CF46115A Time : 0.0 sec. user=mdettweiler [2012-09-14 03:42:00] 747*2^1228638-1 is not prime. Res64: 97F2D7A95D246B2C Time : 0.0 sec. user=mdettweiler [2012-09-14 03:42:01] 815*2^1228638-1 is not prime. Res64: 281697B88041447C Time : 0.0 sec. user=gd_barnes [2012-09-14 03:48:22] 627*2^1228638-1 is not prime. Res64: 43CA0B936382A5FA Time : 0.0 sec. user=gd_barnes [2012-09-14 03:49:14] 681*2^1228638-1 is not prime. Res64: 807319ACE65DBAED Time : 0.0 sec. user=mdettweiler [2012-09-14 03:55:53] 941*2^1228638-1 is not prime. Res64: 1B963E9F84DF95A1 Time : 0.0 sec. user=mdettweiler [2012-09-14 03:55:54] 625*2^1228639-1 is not prime. Res64: 33548EB9DC3AC192 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:02:33] 741*2^1228639-1 is not prime. Res64: 97B0C7271EA07F4F Time : 0.0 sec. user=mdettweiler [2012-09-14 04:02:34] 771*2^1228639-1 is not prime. Res64: FBCB4B03B826F994 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:16:23] 813*2^1228639-1 is not prime. Res64: 8AF86F50C9408BCB Time : 0.0 sec. user=mdettweiler [2012-09-14 04:16:25] 993*2^1228639-1 is not prime. Res64: 22C7162937B37688 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:23:11] 615*2^1228640-1 is not prime. Res64: D4E8EB7C828DC2F1 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:23:12] 633*2^1228640-1 is not prime. Res64: D1B1EEA565BBA461 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:37:05] 659*2^1228640-1 is not prime. Res64: 66B44B1A1518F420 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:37:06] 675*2^1228640-1 is not prime. Res64: CD46C7BB42AA8F88 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:43:41] 713*2^1228640-1 is not prime. Res64: 49CEDC404A113BAF Time : 0.0 sec. user=mdettweiler [2012-09-14 04:43:41] 767*2^1228640-1 is not prime. Res64: D6E8BD318F0BA648 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:57:35] 803*2^1228640-1 is not prime. Res64: 12C6D0E42CE26D34 Time : 0.0 sec. user=mdettweiler [2012-09-14 04:57:36] 857*2^1228640-1 is not prime. Res64: 81ACA6517F623E17 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:04:14] 917*2^1228640-1 is not prime. Res64: 554118FB9FA7E414 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:04:15] 927*2^1228640-1 is not prime. Res64: 39AB8CF55F2B2669 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:18:05] 935*2^1228640-1 is not prime. Res64: F14FF20E13911779 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:18:06] 945*2^1228640-1 is not prime. Res64: D7F8A057DBFE2DBA Time : 0.0 sec. user=mdettweiler [2012-09-14 05:24:50] 649*2^1228641-1 is not prime. Res64: C993C15D08E45E58 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:24:51] 709*2^1228641-1 is not prime. Res64: 1F83B2DB19855EAC Time : 0.0 sec. user=mdettweiler [2012-09-14 05:38:54] 829*2^1228641-1 is not prime. Res64: E06B5D7A7888244A Time : 0.0 sec. user=mdettweiler [2012-09-14 05:38:54] 871*2^1228641-1 is not prime. Res64: AC2A9D3C34E69D50 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:45:20] 877*2^1228641-1 is not prime. Res64: 40CBA7144A559BC3 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:45:21] 969*2^1228641-1 is not prime. Res64: 16376ED73D3DA2F7 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:59:23] 975*2^1228641-1 is not prime. Res64: 1DBFAD5C8FDB0D36 Time : 0.0 sec. user=mdettweiler [2012-09-14 05:59:24] 737*2^1228642-1 is not prime. Res64: CA570D78054D5BC1 Time : 0.0 sec. user=mdettweiler [2012-09-14 06:05:51] 827*2^1228642-1 is not prime. Res64: 3EE36AB6D07CABEC Time : 0.0 sec. user=mdettweiler [2012-09-14 06:05:54] 891*2^1228642-1 is not prime. Res64: 7F19DD3054A8D477 Time : 0.0 sec. user=mdettweiler [2012-09-14 06:19:53] 673*2^1228643-1 is not prime. Res64: E927710BD547AD21 Time : 0.0 sec. user=mdettweiler [2012-09-14 06:19:53] 675*2^1228643-1 is not prime. Res64: 9C37A7C3F8976B3D Time : 0.0 sec. user=mdettweiler [2012-09-14 06:26:41] 945*2^1228643-1 is not prime. Res64: FE1E6E0AF810D7B6 Time : 0.0 sec. user=mdettweiler [2012-09-14 06:26:42] 969*2^1228643-1 is not prime. Res64: DD2E5E9A7B842FD9 Time : 0.0 sec. user=mdettweiler [2012-09-14 06:40:27] 981*2^1228643-1 is not prime. Res64: 09E32281B9773E46 Time : 0.0 sec. user=mdettweiler [2012-09-14 06:40:28] 999*2^1228643-1 is not prime. Res64: D5D502BBE8C71B6D Time : 0.0 sec. user=mdettweiler [2012-09-14 06:47:11] 605*2^1228644-1 is not prime. Res64: BE78FF4D380E119C Time : 0.0 sec. user=mdettweiler [2012-09-14 06:47:12] 689*2^1228644-1 is not prime. Res64: AB5F61CED705A9D5 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:00:58] 749*2^1228644-1 is not prime. Res64: 49D862564FAE0268 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:01:00] 773*2^1228644-1 is not prime. Res64: 28FCE9CED45B4641 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:07:40] 929*2^1228644-1 is not prime. Res64: 5B0A52747FECE7A5 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:07:41] 959*2^1228644-1 is not prime. Res64: 8983F96C3F5B33B8 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:21:43] 687*2^1228645-1 is not prime. Res64: 43F3DE05CCF506F4 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:21:43] 757*2^1228645-1 is not prime. Res64: 8C00A98A5C4E0A9C Time : 0.0 sec. user=mdettweiler [2012-09-14 07:28:10] 919*2^1228645-1 is not prime. Res64: 3ED54E89266B706E Time : 0.0 sec. user=mdettweiler [2012-09-14 07:28:11] 717*2^1228646-1 is not prime. Res64: 05A14C74C90B112C Time : 0.0 sec. user=mdettweiler [2012-09-14 07:42:16] 741*2^1228646-1 is not prime. Res64: 014CA304CAE018FE Time : 0.0 sec. user=mdettweiler [2012-09-14 07:42:16] 861*2^1228646-1 is not prime. Res64: F3D0F221E3AF9635 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:48:40] 897*2^1228646-1 is not prime. Res64: DC9D643C48E8FD07 Time : 0.0 sec. user=mdettweiler [2012-09-14 07:48:40] 923*2^1228646-1 is not prime. Res64: D5B8BB72AE610E72 Time : 0.0 sec. user=mdettweiler [2012-09-14 08:02:47] 941*2^1228646-1 is not prime. Res64: AD2EB167E632E04D Time : 0.0 sec. user=mdettweiler [2012-09-14 08:02:52] 633*2^1228647-1 is not prime. Res64: 87A960A52E305C90 Time : 0.0 sec. user=mdettweiler [2012-09-14 08:09:09] 775*2^1228647-1 is not prime. Res64: 2F5A022967078711 Time : 0.0 sec. user=mdettweiler [2012-09-14 08:09:10] 781*2^1228647-1 is not prime. Res64: B216B7F571F2331F Time : 0.0 sec. user=mdettweiler [2012-09-14 08:23:43] 843*2^1228647-1 is not prime. Res64: 5A28DD6A3805C62D Time : 0.0 sec. user=mdettweiler [2012-09-14 08:23:44] 861*2^1228647-1 is not prime. Res64: ED6D37AFA19452C3 Time : 0.0 sec. user=mdettweiler [2012-09-14 08:29:43] 885*2^1228647-1 is not prime. Res64: 2E66DC7DE067899E Time : 0.0 sec. user=mdettweiler [2012-09-14 08:29:44] 895*2^1228647-1 is not prime. Res64: 71E99A5D3E5AF641 Time : 0.0 sec. user=mdettweiler [2012-09-14 08:44:15] 919*2^1228647-1 is not prime. Res64: E371CE69C7300DE5 Time : 0.0 sec. user=mdettweiler [2012-09-14 08:44:16] 687*2^1228648-1 is not prime. Res64: 9123493C7DD2BF4E Time : 0.0 sec. user=mdettweiler [2012-09-14 08:50:13] 765*2^1228648-1 is not prime. Res64: 9709D74150F3C71C Time : 0.0 sec. user=mdettweiler [2012-09-14 08:50:14] 833*2^1228648-1 is not prime. Res64: A4EEFFF6CBFBBF3A Time : 0.0 sec. user=mdettweiler [2012-09-14 09:04:46] 699*2^1228649-1 is not prime. Res64: AE38166F9FDFC1C2 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:04:47] 727*2^1228649-1 is not prime. Res64: C50AC644755BA161 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:10:44] 897*2^1228649-1 is not prime. Res64: F76FB1F0F8278885 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:10:45] 931*2^1228649-1 is not prime. Res64: 63B4183E59AD72CF Time : 0.0 sec. user=mdettweiler [2012-09-14 09:25:20] 949*2^1228649-1 is not prime. Res64: 20C9F8508C513116 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:25:21] 711*2^1228650-1 is not prime. Res64: 161649AE9B0022F3 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:31:16] 713*2^1228650-1 is not prime. Res64: B9F02EB8596A0527 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:31:17] 717*2^1228650-1 is not prime. Res64: 7F85410623A76EF7 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:45:51] 843*2^1228650-1 is not prime. Res64: 6BD38DC4BE255A8D Time : 0.0 sec. user=mdettweiler [2012-09-14 09:45:52] 945*2^1228650-1 is not prime. Res64: E3973FBBEBE2A121 Time : 0.0 sec. user=mdettweiler [2012-09-14 09:51:47] 645*2^1228651-1 is not prime. Res64: 4BECA2D9E570017F Time : 0.0 sec. user=mdettweiler [2012-09-14 09:51:47] 819*2^1228651-1 is not prime. Res64: 09401810EC036333 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:06:21] 861*2^1228651-1 is not prime. Res64: E2C049F9629C6629 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:06:23] 931*2^1228651-1 is not prime. Res64: 7B2FCFCED05E3474 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:12:17] 943*2^1228651-1 is not prime. Res64: 722E1415537DD32B Time : 0.0 sec. user=mdettweiler [2012-09-14 10:12:18] 979*2^1228651-1 is not prime. Res64: 67F923CBFBCDDDB9 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:27:01] 993*2^1228651-1 is not prime. Res64: 041E84E2F0A9F7A0 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:27:02] 669*2^1228652-1 is not prime. Res64: 771C96B8DDB99C42 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:33:00] 687*2^1228652-1 is not prime. Res64: C72C3C7B93742C3E Time : 0.0 sec. user=mdettweiler [2012-09-14 10:33:01] 749*2^1228652-1 is not prime. Res64: E418F520D947F2E3 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:47:32] 935*2^1228652-1 is not prime. Res64: 9B7F1F567E13CE61 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:47:33] 621*2^1228653-1 is not prime. Res64: DE5F3C8CD9A35ADF Time : 0.0 sec. user=mdettweiler [2012-09-14 10:53:30] 627*2^1228653-1 is not prime. Res64: DD7C155F9D0F2285 Time : 0.0 sec. user=mdettweiler [2012-09-14 10:53:31] 735*2^1228653-1 is not prime. Res64: AD2400EE55D55DAB Time : 0.0 sec. user=mdettweiler [2012-09-14 11:08:03] 805*2^1228653-1 is not prime. Res64: 3A708525955D9D1F Time : 0.0 sec. user=mdettweiler [2012-09-14 11:08:04] 999*2^1228653-1 is not prime. Res64: 5A60BA1A02702F76 Time : 0.0 sec. user=mdettweiler [2012-09-14 11:14:00] 791*2^1228654-1 is not prime. Res64: 2E384DCE0ABFAE8D Time : 0.0 sec. user=mdettweiler [2012-09-14 11:14:02] 821*2^1228654-1 is not prime. Res64: F461186220F46FBF Time : 0.0 sec. user=mdettweiler [2012-09-14 11:28:39] 975*2^1228654-1 is not prime. Res64: 971262DD04B25785 Time : 0.0 sec. user=mdettweiler [2012-09-14 11:28:39] 981*2^1228654-1 is not prime. Res64: D74CF8527EC5C47B Time : 0.0 sec. user=mdettweiler [2012-09-14 11:34:35] 645*2^1228655-1 is not prime. Res64: 98B6E7BADFD505EC Time : 0.0 sec. user=mdettweiler [2012-09-14 11:34:36] 661*2^1228655-1 is not prime. Res64: 3C23723F580B8519 Time : 0.0 sec. user=mdettweiler [2012-09-14 11:49:18] 693*2^1228655-1 is not prime. Res64: 2E1E35D857F377DB Time : 0.0 sec. user=mdettweiler [2012-09-14 11:49:19] 783*2^1228655-1 is not prime. Res64: 3EA23DF673F9D800 Time : 0.0 sec. user=mdettweiler [2012-09-14 11:55:17] 789*2^1228655-1 is not prime. Res64: 681D7DD3C24AEE0D Time : 0.0 sec. user=mdettweiler [2012-09-14 11:55:17] 895*2^1228655-1 is not prime. Res64: 7A7C997B40832401 Time : 0.0 sec. user=mdettweiler [2012-09-14 12:09:58] 915*2^1228655-1 is not prime. Res64: CA959A0D86E84417 Time : 0.0 sec. user=mdettweiler [2012-09-14 12:09:59] 973*2^1228655-1 is not prime. Res64: B3025858DAC20381 Time : 0.0 sec. user=mdettweiler [2012-09-14 12:15:57] 683*2^1228656-1 is not prime. Res64: 57F1C3E6BCAF27B9 Time : 0.0 sec. user=mdettweiler [2012-09-14 12:15:59] 705*2^1228656-1 is not prime. Res64: 26696E7B4620E54B Time : 0.0 sec. user=mdettweiler [2012-09-14 12:30:45] 765*2^1228656-1 is not prime. Res64: 1D9E8965B40A270C Time : 0.0 sec. user=mdettweiler [2012-09-14 12:30:46] 845*2^1228656-1 is not prime. Res64: B91B8579A098DD28 Time : 0.0 sec. user=mdettweiler [2012-09-14 12:36:45] 933*2^1228656-1 is not prime. Res64: 756F9A3D4F75358F Time : 0.0 sec. user=mdettweiler [2012-09-14 12:36:46] 975*2^1228656-1 is not prime. Res64: 02CF0D80D140E67D Time : 0.0 sec. user=mdettweiler [2012-09-14 12:51:25] 649*2^1228657-1 is not prime. Res64: 28FB776B59202AAA Time : 0.0 sec. user=mdettweiler [2012-09-14 12:51:26] 741*2^1228657-1 is not prime. Res64: BE400AC46A678C6B Time : 0.0 sec. user=mdettweiler [2012-09-14 12:57:25] 759*2^1228657-1 is not prime. Res64: 5FD7F18D2E34771A Time : 0.0 sec. user=mdettweiler [2012-09-14 12:57:25] 777*2^1228657-1 is not prime. Res64: 1B94771F32FA97E2 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:12:06] 889*2^1228657-1 is not prime. Res64: 74610109B58824B8 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:12:08] 997*2^1228657-1 is not prime. Res64: 6CAC8A1EE1FEB3F3 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:18:05] 641*2^1228658-1 is not prime. Res64: FEDF9953214FD246 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:18:06] 711*2^1228658-1 is not prime. Res64: 922DE22CDD16F939 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:33:06] 825*2^1228658-1 is not prime. Res64: A50C5FEE630928DA Time : 0.0 sec. user=mdettweiler [2012-09-14 13:33:07] 615*2^1228659-1 is not prime. Res64: 275F3E5A69C6B7FF Time : 0.0 sec. user=mdettweiler [2012-09-14 13:38:48] 705*2^1228659-1 is not prime. Res64: 797E213B818A1D88 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:38:49] 745*2^1228659-1 is not prime. Res64: 17FA14E841F98490 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:53:46] 891*2^1228659-1 is not prime. Res64: 681A02A7CF776159 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:53:47] 909*2^1228659-1 is not prime. Res64: DE5B20BD28083DEC Time : 0.0 sec. user=mdettweiler [2012-09-14 13:59:25] 623*2^1228660-1 is not prime. Res64: 0C55D9A71BFA1C74 Time : 0.0 sec. user=mdettweiler [2012-09-14 13:59:26] 663*2^1228660-1 is not prime. Res64: 734CCD926692D5CD Time : 0.0 sec. user=mdettweiler [2012-09-14 14:14:24] 689*2^1228660-1 is not prime. Res64: 76F09C3D5927EEB1 Time : 0.0 sec. user=mdettweiler [2012-09-14 14:14:25] 785*2^1228660-1 is not prime. Res64: A4DB93B32E180B3B Time : 0.0 sec. user=mdettweiler [2012-09-14 14:20:03] 833*2^1228660-1 is not prime. Res64: 90DF4532883BC26B Time : 0.0 sec. user=mdettweiler [2012-09-14 14:20:04] 843*2^1228660-1 is not prime. Res64: 00C0512EE253B5E7 Time : 0.0 sec. user=mdettweiler [2012-09-14 14:35:18] 873*2^1228660-1 is not prime. Res64: 8CFFB28EE648FD4C Time : 0.0 sec. user=mdettweiler [2012-09-14 14:35:19] 861*2^1228661-1 is not prime. Res64: B20C30B00ECA1910 Time : 0.0 sec. user=mdettweiler [2012-09-14 14:40:40] 879*2^1228661-1 is not prime. Res64: 0678B127B72A16C7 Time : 0.0 sec. user=mdettweiler [2012-09-14 14:40:41] 925*2^1228661-1 is not prime. Res64: 6180C6B72FA22CDB Time : 0.0 sec. user=juhehe [2012-09-14 14:55:07] 863*2^1228660-1 is not prime. Res64: 3AFA1A09193D5B0D Time : 0.0 sec. user=mdettweiler [2012-09-14 14:55:59] 937*2^1228661-1 is not prime. Res64: CE94A90F885F52EF Time : 0.0 sec. user=mdettweiler [2012-09-14 14:56:00] 939*2^1228661-1 is not prime. Res64: F36EEAF6481A791A Time : 0.0 sec. user=mdettweiler [2012-09-14 15:01:19] 957*2^1228661-1 is not prime. Res64: 66CCAF6309A24EF8 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:01:20] 981*2^1228661-1 is not prime. Res64: EFD638938FA87BF3 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:16:40] 635*2^1228662-1 is not prime. Res64: 158F7413498A5124 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:16:41] 741*2^1228662-1 is not prime. Res64: 37AC893C6EEF787A Time : 0.0 sec. user=mdettweiler [2012-09-14 15:22:01] 821*2^1228662-1 is not prime. Res64: 88810D9F7DE57C53 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:22:01] 921*2^1228662-1 is not prime. Res64: 31088B2E8F510B9B Time : 0.0 sec. user=mdettweiler [2012-09-14 15:37:21] 977*2^1228662-1 is not prime. Res64: 4EB2CB197F3E5514 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:37:21] 703*2^1228663-1 is not prime. Res64: F610B66072E7806E Time : 0.0 sec. user=mdettweiler [2012-09-14 15:42:38] 723*2^1228663-1 is not prime. Res64: E37E349BF3B0DB71 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:42:39] 829*2^1228663-1 is not prime. Res64: C2A799642571C782 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:58:01] 635*2^1228664-1 is not prime. Res64: 31F6A427F0F219D7 Time : 0.0 sec. user=mdettweiler [2012-09-14 15:58:02] 665*2^1228664-1 is not prime. Res64: 722D7F032DD418FA Time : 0.0 sec. user=mdettweiler [2012-09-14 16:03:20] 795*2^1228664-1 is not prime. Res64: 2E7F48ECB71163F7 Time : 0.0 sec. user=mdettweiler [2012-09-14 16:03:21] 875*2^1228664-1 is not prime. Res64: 4C0BB208C1E3F01A Time : 0.0 sec. user=mdettweiler [2012-09-14 16:18:43] 929*2^1228664-1 is not prime. Res64: 18D812CCC7344C6C Time : 0.0 sec. user=mdettweiler [2012-09-14 16:18:44] 789*2^1228665-1 is not prime. Res64: 5E0D07BF0F2E4771 Time : 0.0 sec. user=mdettweiler [2012-09-14 16:24:04] 819*2^1228665-1 is not prime. Res64: 0A8A63B48EE60B22 Time : 0.0 sec. user=mdettweiler [2012-09-14 16:24:05] 955*2^1228665-1 is not prime. Res64: DF01AE1C3849BFCB Time : 0.0 sec. user=mdettweiler [2012-09-14 16:39:32] 975*2^1228665-1 is not prime. Res64: 0AA2F3C5687A1FBA Time : 0.0 sec. user=mdettweiler [2012-09-14 16:39:33] 651*2^1228666-1 is not prime. Res64: 3B702168D38E6CC9 Time : 0.0 sec. user=mdettweiler [2012-09-14 16:46:03] 801*2^1228666-1 is not prime. Res64: BB6FC010E2087F3E Time : 0.0 sec. user=mdettweiler [2012-09-14 16:46:03] 619*2^1228667-1 is not prime. Res64: 3C2B7C80CB5633E6 Time : 0.0 sec. user=mdettweiler [2012-09-14 17:00:16] 651*2^1228667-1 is not prime. Res64: 80A24A0AD72137CD Time : 0.0 sec. user=mdettweiler [2012-09-14 17:00:17] 825*2^1228667-1 is not prime. Res64: 92C6437035F761C6 Time : 0.0 sec. user=mdettweiler [2012-09-14 17:06:42] 871*2^1228667-1 is not prime. Res64: DF2EA68ED84DC550 Time : 0.0 sec. user=mdettweiler [2012-09-14 17:06:45] 909*2^1228667-1 is not prime. Res64: 24E46DAFE65746CE Time : 0.0 sec. user=mdettweiler [2012-09-14 17:20:56] 955*2^1228667-1 is not prime. Res64: 165DCC62AC7174D2 Time : 0.0 sec. user=mdettweiler [2012-09-14 17:20:57] 979*2^1228667-1 is not prime. Res64: B6F876647C58579E Time : 0.0 sec. user=mdettweiler [2012-09-14 17:27:31] 647*2^1228668-1 is not prime. Res64: 20E0E6063BB2CF0F Time : 0.0 sec. user=mdettweiler [2012-09-14 17:27:32] 759*2^1228668-1 is not prime. Res64: 77CFCD6D94D726A2 Time : 0.0 sec. user=mdettweiler [2012-09-14 17:41:40] 777*2^1228668-1 is not prime. Res64: 429926C90D3D8B6B Time : 0.0 sec. user=mdettweiler [2012-09-14 17:41:41] 887*2^1228668-1 is not prime. Res64: EC9FD4F0E86B7D22 Time : 0.0 sec. user=mdettweiler [2012-09-14 17:48:08] 893*2^1228668-1 is not prime. Res64: 1DEAC2A6F69F7A61 Time : 0.0 sec. user=mdettweiler [2012-09-14 17:48:09] 933*2^1228668-1 is not prime. Res64: 304FD5F8A7709176 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:02:19] 993*2^1228668-1 is not prime. Res64: 7D2B9B8A568E8CD0 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:02:21] 721*2^1228669-1 is not prime. Res64: 2701BF9D2054A2ED Time : 0.0 sec. user=mdettweiler [2012-09-14 18:08:57] 745*2^1228669-1 is not prime. Res64: 1B231E6B6F103962 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:09:01] 799*2^1228669-1 is not prime. Res64: 0EDCF3B52F782C02 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:23:06] 835*2^1228669-1 is not prime. Res64: 8435030065850CF1 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:23:07] 931*2^1228669-1 is not prime. Res64: 7E0990D77F6F5AA3 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:30:16] 999*2^1228669-1 is not prime. Res64: C95E6DFC62BAAD4D Time : 0.0 sec. user=mdettweiler [2012-09-14 18:30:16] 651*2^1228670-1 is not prime. Res64: 143801393F6E9FD1 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:43:46] 677*2^1228670-1 is not prime. Res64: 9CD86FAB8118E5D2 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:43:47] 845*2^1228670-1 is not prime. Res64: E6AD5F9C9D1DA04B Time : 0.0 sec. user=mdettweiler [2012-09-14 18:50:54] 857*2^1228670-1 is not prime. Res64: 754EE1ED0DE37144 Time : 0.0 sec. user=mdettweiler [2012-09-14 18:50:54] 875*2^1228670-1 is not prime. Res64: 87544ED17CD44D35 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:04:27] 893*2^1228670-1 is not prime. Res64: 6AF6DDCCE4DE6529 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:04:29] 941*2^1228670-1 is not prime. Res64: FFF8D5C7F14CDE39 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:11:32] 945*2^1228670-1 is not prime. Res64: ADDFB688810E67A4 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:11:34] 965*2^1228670-1 is not prime. Res64: 328BA886FE8CB976 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:25:16] 619*2^1228671-1 is not prime. Res64: BA7FACCD6D70604A Time : 0.0 sec. user=mdettweiler [2012-09-14 19:25:17] 625*2^1228671-1 is not prime. Res64: 912155FC6291E713 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:32:17] 669*2^1228671-1 is not prime. Res64: 12FAF10934EFDB38 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:32:17] 691*2^1228671-1 is not prime. Res64: 51748DAFCE2C41C2 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:45:54] 829*2^1228671-1 is not prime. Res64: 5BDC1C24D3CEEB85 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:45:54] 909*2^1228671-1 is not prime. Res64: 6EB20481301885A6 Time : 0.0 sec. user=mdettweiler [2012-09-14 19:52:50] 913*2^1228671-1 is not prime. Res64: A2731617DF02216B Time : 0.0 sec. user=mdettweiler [2012-09-14 19:52:50] 991*2^1228671-1 is not prime. Res64: 5BCC1ED4446A2A01 Time : 0.0 sec. user=mdettweiler [2012-09-14 20:06:27] 657*2^1228672-1 is not prime. Res64: 4928DF35FF297515 Time : 0.0 sec. user=mdettweiler [2012-09-14 20:06:29] 705*2^1228672-1 is not prime. Res64: 2108EFA8561F256E Time : 0.0 sec. user=mdettweiler [2012-09-14 20:13:18] 735*2^1228672-1 is not prime. Res64: 7D0E811101DAAE03 Time : 0.0 sec. user=mdettweiler [2012-09-14 20:13:21] 857*2^1228672-1 is not prime. Res64: 6DE929BA8AB5D107 Time : 0.0 sec. user=mdettweiler [2012-09-14 20:27:03] 899*2^1228672-1 is not prime. Res64: 82D7FDC7DCBB901A Time : 0.0 sec. user=mdettweiler [2012-09-14 20:27:04] 637*2^1228673-1 is not prime. Res64: 995B797A80242D49 Time : 0.0 sec. user=mdettweiler [2012-09-14 20:33:58] 657*2^1228673-1 is not prime. Res64: 0E05A5F2C891FF32 Time : 0.0 sec. user=mdettweiler [2012-09-14 20:33:58] 669*2^1228673-1 is not prime. Res64: 8E1C0064A69A9CBF Time : 0.0 sec. user=mdettweiler [2012-09-14 20:47:34] 691*2^1228673-1 is not prime. Res64: 106E12926240E9FD Time : 0.0 sec. user=mdettweiler [2012-09-14 20:47:34] 705*2^1228673-1 is not prime. Res64: 57C7524D557D0CDB Time : 0.0 sec. user=mdettweiler [2012-09-14 20:54:27] 771*2^1228673-1 is not prime. Res64: 075D0466B4CD511B Time : 0.0 sec. user=mdettweiler [2012-09-14 20:54:27] 775*2^1228673-1 is not prime. Res64: 96DA61FEA04EEF8E Time : 0.0 sec. user=mdettweiler [2012-09-14 21:08:09] 897*2^1228673-1 is not prime. Res64: 5B002FA1DA0A8F95 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:08:11] 987*2^1228673-1 is not prime. Res64: D654D89F7848B839 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:15:05] 711*2^1228674-1 is not prime. Res64: FE80BF888B3AABB4 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:15:05] 807*2^1228674-1 is not prime. Res64: E5D74C03266936E2 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:29:09] 927*2^1228674-1 is not prime. Res64: 6C81F91A3561275B Time : 0.0 sec. user=mdettweiler [2012-09-14 21:29:10] 951*2^1228674-1 is not prime. Res64: D17EE45AF1621A18 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:35:51] 1001*2^1228674-1 is not prime. Res64: E0BB172BAA4DCAA3 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:35:52] 633*2^1228675-1 is not prime. Res64: 921AC1CA081B2D80 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:49:52] 939*2^1228675-1 is not prime. Res64: 479CC5E662758532 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:49:53] 707*2^1228676-1 is not prime. Res64: 7916E9A460C8EFA0 Time : 0.0 sec. user=mdettweiler [2012-09-14 21:56:31] 743*2^1228676-1 is not prime. Res64: CE986D5D5624D2EF Time : 0.0 sec. user=mdettweiler [2012-09-14 21:56:32] 825*2^1228676-1 is not prime. Res64: FF2D9CAE405E579C Time : 0.0 sec. user=mdettweiler [2012-09-14 22:10:34] 873*2^1228676-1 is not prime. Res64: E3D8FEE7956C3BF5 Time : 0.0 sec. user=mdettweiler [2012-09-14 22:10:36] 879*2^1228676-1 is not prime. Res64: 0861DE1C2684232C Time : 0.0 sec. user=mdettweiler [2012-09-14 22:17:11] 969*2^1228676-1 is not prime. Res64: C52FA03C8E6AC145 Time : 0.0 sec. user=mdettweiler [2012-09-14 22:17:11] 999*2^1228676-1 is not prime. Res64: 00ACE7D3C535D522 Time : 0.0 sec. user=mdettweiler [2012-09-14 22:31:24] 649*2^1228677-1 is not prime. Res64: EA298959EFE93BF4 Time : 0.0 sec. user=mdettweiler [2012-09-14 22:31:25] 765*2^1228677-1 is not prime. Res64: 534E59ADF2F0B2F5 Time : 0.0 sec. user=juhehe [2012-09-14 22:34:28] 903*2^1228676-1 is not prime. Res64: 8C525B5E29E9D2DC Time : 0.0 sec. user=mdettweiler [2012-09-14 22:37:50] 781*2^1228677-1 is not prime. Res64: 0281F6F1545D7670 Time : 0.0 sec. user=mdettweiler [2012-09-14 22:37:50] 805*2^1228677-1 is not prime. Res64: 18D372F7A309B90C Time : 0.0 sec. user=mdettweiler [2012-09-14 22:52:07] 871*2^1228677-1 is not prime. Res64: F4B7FCE1D13D5FC0 Time : 0.0 sec. user=mdettweiler [2012-09-14 22:52:08] 999*2^1228677-1 is not prime. Res64: 8BC1A2F63CC76CCF Time : 0.0 sec. user=mdettweiler [2012-09-14 22:58:30] 677*2^1228678-1 is not prime. Res64: 6B1FBC5447B4096B Time : 0.0 sec. user=mdettweiler [2012-09-14 22:58:31] 815*2^1228678-1 is not prime. Res64: 3CF26770125433A7 Time : 0.0 sec. user=mdettweiler [2012-09-14 23:12:51] 867*2^1228678-1 is not prime. Res64: 4F046C4AB0AA9082 Time : 0.0 sec. user=mdettweiler [2012-09-14 23:12:54] 945*2^1228678-1 is not prime. Res64: 434CCA905EA59FF8 Time : 0.0 sec. user=juhehe [2012-09-14 23:18:26] 617*2^1228678-1 is not prime. Res64: 81F3E2A3D130BE26 Time : 0.0 sec. user=mdettweiler [2012-09-14 23:19:21] 987*2^1228678-1 is not prime. Res64: B59E5410742C4A2A Time : 0.0 sec. user=mdettweiler [2012-09-14 23:19:21] 735*2^1228679-1 is not prime. Res64: 3005C1316FC13425 Time : 0.0 sec. user=mdettweiler [2012-09-14 23:34:29] 829*2^1228679-1 is not prime. Res64: 71A5FACE3D42248A Time : 0.0 sec. user=mdettweiler [2012-09-14 23:34:30] 859*2^1228679-1 is not prime. Res64: DF7A0B57961C6A22 Time : 0.0 sec. user=mdettweiler [2012-09-14 23:40:58] 979*2^1228679-1 is not prime. Res64: E1A532818739722D Time : 0.0 sec. user=mdettweiler [2012-09-14 23:40:59] 985*2^1228679-1 is not prime. Res64: FDA8C0F7C1F46EE1 Time : 0.0 sec. user=mdettweiler [2012-09-14 23:55:29] 675*2^1228680-1 is not prime. Res64: F34422637A5EE98A Time : 0.0 sec. user=mdettweiler [2012-09-14 23:55:30] 737*2^1228680-1 is not prime. Res64: 9CE222EC414D84FF Time : 0.0 sec.