user=mdettweiler [2013-08-30 00:05:44] 923*2^1252184-1 is not prime. Res64: 67C5C10E2B7E590B Time : 0.0 sec. user=mdettweiler [2013-08-30 00:05:45] 927*2^1252184-1 is not prime. Res64: 00C1FDE3548EEB27 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:11:03] 929*2^1252184-1 is not prime. Res64: DCF392CAC84237F9 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:11:04] 609*2^1252185-1 is not prime. Res64: 0EF9777E3BB081E5 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:12:01] 759*2^1252185-1 is not prime. Res64: 2D0B60AA426E7195 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:12:01] 795*2^1252185-1 is not prime. Res64: 95A0E7C4C00239A6 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:15:43] 949*2^1252185-1 is not prime. Res64: 4A03040A49899994 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:15:44] 705*2^1252186-1 is not prime. Res64: 70592E3B42C362BB Time : 0.0 sec. user=mdettweiler [2013-08-30 00:26:18] 801*2^1252186-1 is not prime. Res64: 80096D75483FD017 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:26:19] 825*2^1252186-1 is not prime. Res64: 4C611BF5ABBF83B0 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:32:05] 649*2^1252187-1 is not prime. Res64: AFF69B413B4178E5 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:32:06] 987*2^1252186-1 is not prime. Res64: FE55BE53647E0DB1 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:32:06] 655*2^1252187-1 is not prime. Res64: 4E70A0D3370C3921 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:32:06] 603*2^1252187-1 is not prime. Res64: 13656F29469039D4 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:35:51] 801*2^1252187-1 is not prime. Res64: 5F84A6288C4E5E78 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:35:51] 859*2^1252187-1 is not prime. Res64: 54E2B0AE22B8E09A Time : 0.0 sec. user=juhehe [2013-08-30 00:41:40] 933*2^1252186-1 is not prime. Res64: 9474CAE293264C11 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:46:29] 861*2^1252187-1 is not prime. Res64: A60728718D2FC794 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:46:29] 629*2^1252188-1 is not prime. Res64: 22FEFE2352CE7D0A Time : 0.0 sec. user=mdettweiler [2013-08-30 00:52:11] 633*2^1252188-1 is not prime. Res64: 60BD3EE5F2E9C8ED Time : 0.0 sec. user=mdettweiler [2013-08-30 00:52:12] 797*2^1252188-1 is not prime. Res64: 9F19066939259FEE Time : 0.0 sec. user=mdettweiler [2013-08-30 00:54:08] 927*2^1252188-1 is not prime. Res64: 16F7A9AF8A4E780E Time : 0.0 sec. user=mdettweiler [2013-08-30 00:54:08] 933*2^1252188-1 is not prime. Res64: DF5E5C19A6E175B3 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:56:53] 999*2^1252188-1 is not prime. Res64: 52AF6687460CB046 Time : 0.0 sec. user=mdettweiler [2013-08-30 00:56:53] 601*2^1252189-1 is not prime. Res64: 27035BB160DC4F63 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:06:32] 615*2^1252189-1 is not prime. Res64: 15A5F196E8C8AFFB Time : 0.0 sec. user=mdettweiler [2013-08-30 01:06:34] 639*2^1252189-1 is not prime. Res64: 9D891DB62F6FDF53 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:12:20] 687*2^1252189-1 is not prime. Res64: 59B77269982300B0 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:12:21] 819*2^1252189-1 is not prime. Res64: E8F91F4B37D1A8C3 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:16:10] 957*2^1252189-1 is not prime. Res64: 69C4C3150568AD05 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:16:10] 975*2^1252189-1 is not prime. Res64: F0286F633410B612 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:16:58] 645*2^1252190-1 is not prime. Res64: 709A5E47F49A3DDA Time : 0.0 sec. user=mdettweiler [2013-08-30 01:16:59] 665*2^1252190-1 is not prime. Res64: FC9AC5915E4062E3 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:26:41] 707*2^1252190-1 is not prime. Res64: 0475485DC0768F98 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:26:41] 851*2^1252190-1 is not prime. Res64: 356D2EACDE872753 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:33:23] 893*2^1252190-1 is not prime. Res64: EE963546B74B6C96 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:33:23] 703*2^1252191-1 is not prime. Res64: 6E4455D13D3D966F Time : 0.0 sec. user=mdettweiler [2013-08-30 01:37:00] 605*2^1252192-1 is not prime. Res64: 4C1A26413CBC9A76 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:37:00] 635*2^1252192-1 is not prime. Res64: ADD7F93D6CDB80C3 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:37:12] 879*2^1252191-1 is not prime. Res64: E46766E18D167D49 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:37:12] 951*2^1252191-1 is not prime. Res64: F49C202C56FC32AE Time : 0.0 sec. user=mdettweiler [2013-08-30 01:46:44] 695*2^1252192-1 is not prime. Res64: EF28F9E2962C7A71 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:46:44] 743*2^1252192-1 is not prime. Res64: 720270E7C3FFD74C Time : 0.0 sec. user=mdettweiler [2013-08-30 01:53:29] 779*2^1252192-1 is not prime. Res64: 63449869487001E8 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:53:29] 869*2^1252192-1 is not prime. Res64: 1E884EA66AEDA1E5 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:57:13] 741*2^1252193-1 is not prime. Res64: B12B283A43DE7F09 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:57:14] 771*2^1252193-1 is not prime. Res64: DE151C742A17640D Time : 0.0 sec. user=mdettweiler [2013-08-30 01:58:02] 875*2^1252192-1 is not prime. Res64: 25894B7BA1E69181 Time : 0.0 sec. user=mdettweiler [2013-08-30 01:58:03] 923*2^1252192-1 is not prime. Res64: 155AB3507A215530 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:06:46] 775*2^1252193-1 is not prime. Res64: 96E496952097A812 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:06:47] 831*2^1252193-1 is not prime. Res64: 4F4632520C931F49 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:15:27] 897*2^1252193-1 is not prime. Res64: B5D1A73C1E25F3E7 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:15:28] 901*2^1252193-1 is not prime. Res64: ECC60D5D2428A985 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:17:18] 633*2^1252194-1 is not prime. Res64: E10DF33B4E3BECE3 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:17:18] 725*2^1252194-1 is not prime. Res64: 353B77836AA65FDA Time : 0.0 sec. user=mdettweiler [2013-08-30 02:18:02] 791*2^1252194-1 is not prime. Res64: 720C3D4AA7740FE8 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:18:02] 803*2^1252194-1 is not prime. Res64: 9E8B1FF898592C67 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:26:53] 861*2^1252194-1 is not prime. Res64: 16DBF9DD38E93092 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:26:53] 873*2^1252194-1 is not prime. Res64: AF2EDA6FA087C18B Time : 0.0 sec. user=mdettweiler [2013-08-30 02:37:31] 893*2^1252194-1 is not prime. Res64: 9B926CA8100AE3E3 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:37:32] 945*2^1252194-1 is not prime. Res64: B90BA60D97538521 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:38:03] 751*2^1252195-1 is not prime. Res64: DAF0A0D3E221147B Time : 0.0 sec. user=mdettweiler [2013-08-30 02:38:03] 843*2^1252195-1 is not prime. Res64: CE7CDEF7422148D0 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:39:18] 975*2^1252194-1 is not prime. Res64: 41852BED8CC64828 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:39:19] 1001*2^1252194-1 is not prime. Res64: E06F0BB5645BE99E Time : 0.0 sec. user=mdettweiler [2013-08-30 02:47:49] 849*2^1252195-1 is not prime. Res64: 8EB4273103EC474A Time : 0.0 sec. user=mdettweiler [2013-08-30 02:47:50] 951*2^1252195-1 is not prime. Res64: D4963C17068E483C Time : 0.0 sec. user=mdettweiler [2013-08-30 02:58:08] 867*2^1252196-1 is not prime. Res64: 8DF03055EFDE9CE1 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:58:09] 869*2^1252196-1 is not prime. Res64: B6125DAE97D21246 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:58:47] 961*2^1252195-1 is not prime. Res64: BAA89C0D9D502E94 Time : 0.0 sec. user=mdettweiler [2013-08-30 02:58:48] 759*2^1252196-1 is not prime. Res64: C6E5EC30F43300C3 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:00:19] 879*2^1252196-1 is not prime. Res64: 908F7854FFA293DC Time : 0.0 sec. user=mdettweiler [2013-08-30 03:00:20] 927*2^1252196-1 is not prime. Res64: 2C6DE796502FEDE8 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:08:49] 935*2^1252196-1 is not prime. Res64: 7793C81AC6705DF7 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:08:50] 681*2^1252197-1 is not prime. Res64: 27F6DDC5BECF8B1D Time : 0.0 sec. user=mdettweiler [2013-08-30 03:18:12] 699*2^1252197-1 is not prime. Res64: 9D96DA763FC1D704 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:18:12] 829*2^1252197-1 is not prime. Res64: EAD814DA68CA9AA2 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:18:51] 837*2^1252197-1 is not prime. Res64: 5505F1DAE88296E4 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:18:51] 603*2^1252198-1 is not prime. Res64: A7781B6EAA9C7069 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:20:25] 687*2^1252198-1 is not prime. Res64: 9E97EA02E3D6C8FD Time : 0.0 sec. user=mdettweiler [2013-08-30 03:20:25] 705*2^1252198-1 is not prime. Res64: 4B65E6A9EC98CDE3 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:29:30] 831*2^1252198-1 is not prime. Res64: AF98AF02DA623EF8 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:29:30] 729*2^1252199-1 is not prime. Res64: 9CB93E876CEED31D Time : 0.0 sec. user=mdettweiler [2013-08-30 03:38:32] 735*2^1252199-1 is not prime. Res64: 3920CE8760EE71E2 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:38:33] 763*2^1252199-1 is not prime. Res64: A559AE744CF939EE Time : 0.0 sec. user=mdettweiler [2013-08-30 03:39:07] 819*2^1252199-1 is not prime. Res64: C8F23ED99DA2400A Time : 0.0 sec. user=mdettweiler [2013-08-30 03:39:07] 843*2^1252199-1 is not prime. Res64: DEB58E4AEFCFC88C Time : 0.0 sec. user=mdettweiler [2013-08-30 03:42:21] 885*2^1252199-1 is not prime. Res64: 3276F0AEF0B45962 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:42:21] 921*2^1252199-1 is not prime. Res64: F65EC04AD48242BF Time : 0.0 sec. user=mdettweiler [2013-08-30 03:49:39] 695*2^1252200-1 is not prime. Res64: 73D59631E41DA9DD Time : 0.0 sec. user=mdettweiler [2013-08-30 03:49:39] 723*2^1252200-1 is not prime. Res64: 25D9FD87DAE371F4 Time : 0.0 sec. user=mdettweiler [2013-08-30 03:58:40] 747*2^1252200-1 is not prime. Res64: 43A7F7DB7CA0993F Time : 0.0 sec. user=mdettweiler [2013-08-30 03:58:40] 839*2^1252200-1 is not prime. Res64: 0DED040F13C9A7AC Time : 0.0 sec. user=mdettweiler [2013-08-30 04:00:08] 927*2^1252200-1 is not prime. Res64: 6CCFE973CDEB0E21 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:00:09] 877*2^1252201-1 is not prime. Res64: 8564CD5087541EB4 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:04:20] 909*2^1252201-1 is not prime. Res64: 20E4DA2100189DBB Time : 0.0 sec. user=mdettweiler [2013-08-30 04:04:22] 937*2^1252201-1 is not prime. Res64: 81DB9EF7908FEF98 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:10:38] 951*2^1252201-1 is not prime. Res64: 47529EAD59305176 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:10:39] 635*2^1252202-1 is not prime. Res64: 9F98039968EEA5FE Time : 0.0 sec. user=mdettweiler [2013-08-30 04:18:39] 683*2^1252202-1 is not prime. Res64: AECA9FE6732593C4 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:18:40] 735*2^1252202-1 is not prime. Res64: 9B0BCC6219E92C08 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:21:05] 873*2^1252202-1 is not prime. Res64: 9CB20F9309D31446 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:21:06] 987*2^1252202-1 is not prime. Res64: 24D2583E3215688C Time : 0.0 sec. user=mdettweiler [2013-08-30 04:25:32] 995*2^1252202-1 is not prime. Res64: 15EF82E29696CE6F Time : 0.0 sec. user=mdettweiler [2013-08-30 04:25:33] 615*2^1252203-1 is not prime. Res64: 8B6FDCB63A4CD03D Time : 0.0 sec. user=mdettweiler [2013-08-30 04:30:43] 663*2^1252203-1 is not prime. Res64: 4ED8BA0C8F8178B3 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:30:44] 703*2^1252203-1 is not prime. Res64: D81923DE34C8FE4B Time : 0.0 sec. user=mdettweiler [2013-08-30 04:38:40] 723*2^1252203-1 is not prime. Res64: 3F761B9E87A60AA8 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:38:41] 871*2^1252203-1 is not prime. Res64: 0DDCF2A758B5A03E Time : 0.0 sec. user=mdettweiler [2013-08-30 04:43:06] 895*2^1252203-1 is not prime. Res64: 64628D6AA4345DA9 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:43:07] 963*2^1252203-1 is not prime. Res64: 0C92F87C4DDC50C7 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:45:32] 863*2^1252204-1 is not prime. Res64: 1AF422E5363F2112 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:45:32] 875*2^1252204-1 is not prime. Res64: 33371A6553BBE853 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:52:43] 903*2^1252204-1 is not prime. Res64: 6AAF8400EDFCF1AD Time : 0.0 sec. user=mdettweiler [2013-08-30 04:52:43] 909*2^1252204-1 is not prime. Res64: F77AF39961C80803 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:59:42] 939*2^1252204-1 is not prime. Res64: FDFE6A4DB593E1C1 Time : 0.0 sec. user=mdettweiler [2013-08-30 04:59:42] 607*2^1252205-1 is not prime. Res64: 9E15AA3DF7BA7C31 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:03:08] 675*2^1252205-1 is not prime. Res64: 1B0EA8A83D3BBAE6 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:03:09] 699*2^1252205-1 is not prime. Res64: BF890855E5950DC0 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:05:30] 771*2^1252205-1 is not prime. Res64: 32843D1EFA1C8C7B Time : 0.0 sec. user=mdettweiler [2013-08-30 05:05:31] 811*2^1252205-1 is not prime. Res64: 50689890665155FD Time : 0.0 sec. user=mdettweiler [2013-08-30 05:12:37] 825*2^1252205-1 is not prime. Res64: 21BC9CEFF2EC138B Time : 0.0 sec. user=mdettweiler [2013-08-30 05:12:37] 837*2^1252205-1 is not prime. Res64: C064995DE2CA19C3 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:19:38] 871*2^1252205-1 is not prime. Res64: B66646C35E85A242 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:19:39] 641*2^1252206-1 is not prime. Res64: 85F89F24EDBBF1C5 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:23:08] 671*2^1252206-1 is not prime. Res64: 0BE831D2124DB262 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:23:09] 693*2^1252206-1 is not prime. Res64: 128A08926EDE3906 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:26:29] 711*2^1252206-1 is not prime. Res64: D2689610EA13FD94 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:26:30] 941*2^1252206-1 is not prime. Res64: 61B22A6AED00DF17 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:34:35] 963*2^1252206-1 is not prime. Res64: ECC75B960F297564 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:34:35] 993*2^1252206-1 is not prime. Res64: DC4CBE796144F6E9 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:39:37] 603*2^1252207-1 is not prime. Res64: 47DC8A58CAE196CC Time : 0.0 sec. user=mdettweiler [2013-08-30 05:39:37] 703*2^1252207-1 is not prime. Res64: CC985E12DB5D4C2E Time : 0.0 sec. user=mdettweiler [2013-08-30 05:43:09] 765*2^1252207-1 is not prime. Res64: 4634ED1CFA252D7A Time : 0.0 sec. user=mdettweiler [2013-08-30 05:43:10] 843*2^1252207-1 is not prime. Res64: 90D6F62B38AE585B Time : 0.0 sec. user=mdettweiler [2013-08-30 05:46:35] 861*2^1252207-1 is not prime. Res64: 0417E47DE781D1D6 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:46:36] 873*2^1252207-1 is not prime. Res64: 33B3B380A1CFC017 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:56:35] 883*2^1252207-1 is not prime. Res64: CEFE22750F73C7A4 Time : 0.0 sec. user=mdettweiler [2013-08-30 05:56:36] 939*2^1252207-1 is not prime. Res64: 550F289827A55C20 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:01:31] 975*2^1252207-1 is not prime. Res64: E1561E49AC6ACB32 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:01:32] 993*2^1252207-1 is not prime. Res64: 386DF122916F3618 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:03:08] 617*2^1252208-1 is not prime. Res64: 9EADED1EB3455A1E Time : 0.0 sec. user=mdettweiler [2013-08-30 06:03:10] 635*2^1252208-1 is not prime. Res64: F0483279206F3FAF Time : 0.0 sec. user=mdettweiler [2013-08-30 06:06:37] 657*2^1252208-1 is not prime. Res64: AAB0D86F2B9B3F0C Time : 0.0 sec. user=mdettweiler [2013-08-30 06:06:38] 767*2^1252208-1 is not prime. Res64: 9570CB4A15C0D21D Time : 0.0 sec. user=mdettweiler [2013-08-30 06:16:34] 813*2^1252208-1 is not prime. Res64: 17A941AF40F9E43C Time : 0.0 sec. user=mdettweiler [2013-08-30 06:16:35] 819*2^1252208-1 is not prime. Res64: 5E13E5294112A170 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:21:34] 867*2^1252208-1 is not prime. Res64: 3A4C3DE384115AB8 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:21:34] 667*2^1252209-1 is not prime. Res64: B72D7A209335DC21 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:24:08] 741*2^1252209-1 is not prime. Res64: 28193F1BFD7BE9E6 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:24:09] 889*2^1252209-1 is not prime. Res64: 29988BD05E4BA43F Time : 0.0 sec. user=mdettweiler [2013-08-30 06:27:28] 987*2^1252209-1 is not prime. Res64: D6444F5828D52BB7 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:27:28] 653*2^1252210-1 is not prime. Res64: 07B492C8D5404606 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:36:32] 735*2^1252210-1 is not prime. Res64: 47DB535BF8BB471F Time : 0.0 sec. user=mdettweiler [2013-08-30 06:36:33] 801*2^1252210-1 is not prime. Res64: AEA0F435AF35E874 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:41:43] 821*2^1252210-1 is not prime. Res64: 467C0FC67126E878 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:41:43] 833*2^1252210-1 is not prime. Res64: 1EB800940DEC1690 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:45:05] 951*2^1252210-1 is not prime. Res64: 0B641F65252C8974 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:45:06] 609*2^1252211-1 is not prime. Res64: D1F77CEAC10E6FE5 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:47:30] 685*2^1252211-1 is not prime. Res64: 8B68688402319575 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:47:31] 715*2^1252211-1 is not prime. Res64: 117989609E5A642E Time : 0.0 sec. user=mdettweiler [2013-08-30 06:56:28] 825*2^1252211-1 is not prime. Res64: 58832F949F5A7DE6 Time : 0.0 sec. user=mdettweiler [2013-08-30 06:56:28] 879*2^1252211-1 is not prime. Res64: E6E1FF15055C45F4 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:03:37] 909*2^1252211-1 is not prime. Res64: 313CAB8C71BF882B Time : 0.0 sec. user=mdettweiler [2013-08-30 07:03:39] 973*2^1252211-1 is not prime. Res64: 09B8E57D369FBF27 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:06:53] 879*2^1252212-1 is not prime. Res64: D5BD7E0534DE5854 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:06:55] 965*2^1252212-1 is not prime. Res64: 1C728824C6C817BD Time : 0.0 sec. user=mdettweiler [2013-08-30 07:08:19] 801*2^1252213-1 is not prime. Res64: E1CFA0E00518B67F Time : 0.0 sec. user=mdettweiler [2013-08-30 07:08:20] 817*2^1252213-1 is not prime. Res64: 624FCBE5A6616694 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:18:01] 819*2^1252213-1 is not prime. Res64: 9214E72F3EAD2021 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:18:01] 987*2^1252213-1 is not prime. Res64: 3A3EDAEC0F2CB7EE Time : 0.0 sec. user=mdettweiler [2013-08-30 07:24:53] 687*2^1252214-1 is not prime. Res64: 91508C53E9C6A2A2 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:24:53] 785*2^1252214-1 is not prime. Res64: F58CE8CF940E5994 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:28:12] 833*2^1252214-1 is not prime. Res64: 2B78BA76BCA24698 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:28:12] 1001*2^1252214-1 is not prime. Res64: B67B25952A3C6DB3 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:28:39] 781*2^1252215-1 is not prime. Res64: CACE5D2327048E62 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:28:39] 871*2^1252215-1 is not prime. Res64: 1119B601E8D9DE08 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:40:30] 933*2^1252215-1 is not prime. Res64: 5ADD6D68B8562822 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:40:31] 969*2^1252215-1 is not prime. Res64: 0CF3497E8DA726B2 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:47:24] 973*2^1252215-1 is not prime. Res64: 5F2A9A2DFE5AB48B Time : 0.0 sec. user=mdettweiler [2013-08-30 07:47:25] 979*2^1252215-1 is not prime. Res64: B6748AD48BA0588F Time : 0.0 sec. user=mdettweiler [2013-08-30 07:48:40] 657*2^1252216-1 is not prime. Res64: 9AC8B778587CC767 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:48:40] 747*2^1252216-1 is not prime. Res64: CE37849A1A6D5EF5 Time : 0.0 sec. user=mdettweiler [2013-08-30 07:49:04] 773*2^1252216-1 is not prime. Res64: 90D144BAE06D5EBB Time : 0.0 sec. user=mdettweiler [2013-08-30 07:49:05] 785*2^1252216-1 is not prime. Res64: 32EF1681C221C57F Time : 0.0 sec. user=mdettweiler [2013-08-30 08:02:01] 957*2^1252216-1 is not prime. Res64: 433609C314E58BDC Time : 0.0 sec. user=mdettweiler [2013-08-30 08:02:02] 615*2^1252217-1 is not prime. Res64: 3ED3649E3F3DB877 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:07:57] 619*2^1252217-1 is not prime. Res64: 0BEB7662EC652375 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:07:58] 727*2^1252217-1 is not prime. Res64: 965685A4127B989D Time : 0.0 sec. user=mdettweiler [2013-08-30 08:09:19] 729*2^1252217-1 is not prime. Res64: 355D1FBD4824CB3F Time : 0.0 sec. user=mdettweiler [2013-08-30 08:09:19] 805*2^1252217-1 is not prime. Res64: 353995C681559D78 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:09:33] 819*2^1252217-1 is not prime. Res64: C094C4624105E84D Time : 0.0 sec. user=mdettweiler [2013-08-30 08:09:34] 829*2^1252217-1 is not prime. Res64: 8C4C17A68FD8604E Time : 0.0 sec. user=mdettweiler [2013-08-30 08:24:10] 847*2^1252217-1 is not prime. Res64: A9EB5E7688113CDF Time : 0.0 sec. user=mdettweiler [2013-08-30 08:24:11] 901*2^1252217-1 is not prime. Res64: 9B29D2455BBB233E Time : 0.0 sec. user=mdettweiler [2013-08-30 08:31:04] 915*2^1252217-1 is not prime. Res64: 25082127FB43224F Time : 0.0 sec. user=mdettweiler [2013-08-30 08:31:04] 937*2^1252217-1 is not prime. Res64: 87178C4D2CC5A7B7 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:31:36] 997*2^1252217-1 is not prime. Res64: 51E8F7351AB0E83B Time : 0.0 sec. user=mdettweiler [2013-08-30 08:31:37] 731*2^1252218-1 is not prime. Res64: AEBE3982951A1F45 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:32:25] 949*2^1252217-1 is not prime. Res64: BBBFAD086675C355 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:32:26] 985*2^1252217-1 is not prime. Res64: 8592510EAAA6473F Time : 0.0 sec. user=mdettweiler [2013-08-30 08:45:16] 765*2^1252218-1 is not prime. Res64: AFF1E5DA96C9268D Time : 0.0 sec. user=mdettweiler [2013-08-30 08:45:17] 861*2^1252218-1 is not prime. Res64: 3476C3272A072DBF Time : 0.0 sec. user=mdettweiler [2013-08-30 08:52:20] 631*2^1252219-1 is not prime. Res64: FDEC36AB3DE3F70D Time : 0.0 sec. user=mdettweiler [2013-08-30 08:52:21] 675*2^1252219-1 is not prime. Res64: 046697DC00B61BEF Time : 0.0 sec. user=mdettweiler [2013-08-30 08:53:21] 709*2^1252219-1 is not prime. Res64: 854A1593BAFE7C5F Time : 0.0 sec. user=mdettweiler [2013-08-30 08:53:22] 733*2^1252219-1 is not prime. Res64: 9F7DE84C4B557581 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:53:57] 885*2^1252218-1 is not prime. Res64: E405E770833D4095 Time : 0.0 sec. user=mdettweiler [2013-08-30 08:53:58] 933*2^1252218-1 is not prime. Res64: C2445C8079ABFE2A Time : 0.0 sec. user=mdettweiler [2013-08-30 09:07:42] 859*2^1252219-1 is not prime. Res64: F32B05B987EC9D71 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:07:43] 951*2^1252219-1 is not prime. Res64: 2CA4A7AA54646CF9 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:15:54] 825*2^1252220-1 is not prime. Res64: A94E7982F1280C6A Time : 0.0 sec. user=mdettweiler [2013-08-30 09:15:55] 875*2^1252220-1 is not prime. Res64: 14B1165C6E240453 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:16:16] 999*2^1252219-1 is not prime. Res64: 8CD3A471453F2337 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:16:16] 699*2^1252220-1 is not prime. Res64: 328819AAFC087808 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:16:18] 975*2^1252219-1 is not prime. Res64: 5A073465176F7C31 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:16:18] 979*2^1252219-1 is not prime. Res64: 057C52DB73501BE5 Time : 0.0 sec. user=juhehe [2013-08-30 09:16:27] 789*2^1252219-1 is not prime. Res64: EE986A1C77936D06 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:30:55] 963*2^1252220-1 is not prime. Res64: 01E723BD55162C00 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:30:55] 999*2^1252220-1 is not prime. Res64: CEBCAC305B8D01A9 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:36:38] 609*2^1252221-1 is not prime. Res64: 34A355A3F4E58AB3 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:36:38] 747*2^1252221-1 is not prime. Res64: 2138FFC8688053DA Time : 0.0 sec. user=mdettweiler [2013-08-30 09:38:01] 991*2^1252221-1 is not prime. Res64: 4D48E8B805748368 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:38:01] 837*2^1252221-1 is not prime. Res64: 523845337595FFFA Time : 0.0 sec. user=mdettweiler [2013-08-30 09:38:01] 675*2^1252222-1 is not prime. Res64: 91BCF64F6CE68F29 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:38:01] 895*2^1252221-1 is not prime. Res64: 4E6634E05B243F8A Time : 0.0 sec. user=mdettweiler [2013-08-30 09:51:24] 713*2^1252222-1 is not prime. Res64: 08F7313AFE610870 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:51:24] 747*2^1252222-1 is not prime. Res64: 5C9FCE16EF2EC728 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:56:53] 785*2^1252222-1 is not prime. Res64: 51E377092CDEBBD4 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:56:54] 801*2^1252222-1 is not prime. Res64: C8324B5AE419B595 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:58:13] 857*2^1252222-1 is not prime. Res64: EEEC6964F8D2C333 Time : 0.0 sec. user=mdettweiler [2013-08-30 09:58:13] 863*2^1252222-1 is not prime. Res64: C2DADF0F3D82239A Time : 0.0 sec. user=mdettweiler [2013-08-30 10:00:11] 885*2^1252222-1 is not prime. Res64: 52F42CD7B6AD4DDA Time : 0.0 sec. user=mdettweiler [2013-08-30 10:00:12] 975*2^1252222-1 is not prime. Res64: F42422288A16A18D Time : 0.0 sec. user=mdettweiler [2013-08-30 10:11:38] 609*2^1252223-1 is not prime. Res64: CA6720FF318B3DBD Time : 0.0 sec. user=mdettweiler [2013-08-30 10:11:39] 669*2^1252223-1 is not prime. Res64: D5E641AD7B34B454 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:17:03] 729*2^1252223-1 is not prime. Res64: 3FAC4441F5B09E0F Time : 0.0 sec. user=mdettweiler [2013-08-30 10:17:03] 735*2^1252223-1 is not prime. Res64: D80928B913BCA795 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:19:16] 811*2^1252223-1 is not prime. Res64: B22EA63F1642A8F1 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:19:17] 969*2^1252223-1 is not prime. Res64: AA8B7E5FF434924A Time : 0.0 sec. user=mdettweiler [2013-08-30 10:20:19] 605*2^1252224-1 is not prime. Res64: 633B1D5CF35939B2 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:20:20] 657*2^1252224-1 is not prime. Res64: F5E694E161B76645 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:31:55] 863*2^1252224-1 is not prime. Res64: B337AA04B498DE61 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:31:55] 679*2^1252225-1 is not prime. Res64: A0D85205059CD022 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:37:23] 705*2^1252225-1 is not prime. Res64: 7B874E763441944E Time : 0.0 sec. user=mdettweiler [2013-08-30 10:37:23] 741*2^1252225-1 is not prime. Res64: F7459DA1EB44E96A Time : 0.0 sec. user=mdettweiler [2013-08-30 10:39:27] 801*2^1252225-1 is not prime. Res64: 28984B1BFBA84E31 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:39:27] 841*2^1252225-1 is not prime. Res64: 9C761115D9A3724D Time : 0.0 sec. user=mdettweiler [2013-08-30 10:42:28] 885*2^1252225-1 is not prime. Res64: E4663E44148C7C6F Time : 0.0 sec. user=mdettweiler [2013-08-30 10:42:29] 975*2^1252225-1 is not prime. Res64: 3819FD6FEA206004 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:52:22] 617*2^1252226-1 is not prime. Res64: CE5FD0CE964F3E77 Time : 0.0 sec. user=mdettweiler [2013-08-30 10:52:22] 671*2^1252226-1 is not prime. Res64: CCC94D90831B1C1D Time : 0.0 sec. user=mdettweiler [2013-08-30 10:58:47] 701*2^1252226-1 is not prime. Res64: 74CDF67A3FF20E2F Time : 0.0 sec. user=mdettweiler [2013-08-30 10:58:47] 923*2^1252226-1 is not prime. Res64: FC352DFF17906431 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:01:51] 963*2^1252226-1 is not prime. Res64: DC6C637C9E704DE7 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:01:53] 983*2^1252226-1 is not prime. Res64: 6B685AA4B6005B51 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:02:54] 619*2^1252227-1 is not prime. Res64: 95F11EEC503241E0 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:02:55] 651*2^1252227-1 is not prime. Res64: 19B15315266A4991 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:12:56] 675*2^1252227-1 is not prime. Res64: B665975BE0CA1EBD Time : 0.0 sec. user=mdettweiler [2013-08-30 11:12:56] 795*2^1252227-1 is not prime. Res64: 43EAD72FECE1EA48 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:19:18] 801*2^1252227-1 is not prime. Res64: 8759CD50D706A0B1 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:19:18] 873*2^1252227-1 is not prime. Res64: 7B3480905EAA3998 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:22:23] 705*2^1252228-1 is not prime. Res64: 93CCFDCC3C7F1705 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:22:24] 743*2^1252228-1 is not prime. Res64: 9FA07BE9EEE95C98 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:24:23] 843*2^1252228-1 is not prime. Res64: FF83E42237B74410 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:24:23] 909*2^1252228-1 is not prime. Res64: 0A1B43DF3067CD47 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:34:28] 929*2^1252228-1 is not prime. Res64: 1024E07E5B68D5EB Time : 0.0 sec. user=mdettweiler [2013-08-30 11:34:28] 685*2^1252229-1 is not prime. Res64: 4B41442C27D122AB Time : 0.0 sec. user=mdettweiler [2013-08-30 11:40:57] 985*2^1252229-1 is not prime. Res64: C7AF1FA674118150 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:40:58] 741*2^1252230-1 is not prime. Res64: 29DB0C76B4919A89 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:42:57] 765*2^1252230-1 is not prime. Res64: E37A3FEA59682FE5 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:42:57] 867*2^1252230-1 is not prime. Res64: 040018FBB20C3BF9 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:45:59] 965*2^1252230-1 is not prime. Res64: BF2FCF9E6AC393D8 Time : 0.0 sec. user=mdettweiler [2013-08-30 11:45:59] 705*2^1252231-1 is not prime. Res64: BCFD8FC6565AF0C9 Time : 0.0 sec. user=juhehe [2013-08-30 11:52:52] 979*2^1252229-1 is not prime. Res64: D479B0CB9BE15B5E Time : 0.0 sec. user=mdettweiler [2013-08-30 11:54:42] 715*2^1252231-1 is not prime. Res64: FD713DE41CA44CBE Time : 0.0 sec. user=mdettweiler [2013-08-30 11:54:42] 793*2^1252231-1 is not prime. Res64: 1710230687C9ACDC Time : 0.0 sec. user=mdettweiler [2013-08-30 12:03:03] 885*2^1252231-1 is not prime. Res64: 17C787B1C51747C7 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:03:05] 933*2^1252231-1 is not prime. Res64: 6226D68CE4533056 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:03:12] 603*2^1252232-1 is not prime. Res64: 1F62A3074E58C8D6 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:03:13] 623*2^1252232-1 is not prime. Res64: 0DA32883E3B9F899 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:06:16] 629*2^1252232-1 is not prime. Res64: 0791DC09A9218644 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:06:16] 665*2^1252232-1 is not prime. Res64: 6339CBE727A9CD58 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:14:47] 669*2^1252232-1 is not prime. Res64: 6BCF37EBEFECC1DB Time : 0.0 sec. user=mdettweiler [2013-08-30 12:14:47] 677*2^1252232-1 is not prime. Res64: DF1A5F65EAF41700 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:23:56] 725*2^1252232-1 is not prime. Res64: 6C4A755D88F55DE6 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:23:57] 813*2^1252232-1 is not prime. Res64: 50DCF66F9096C403 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:24:01] 689*2^1252232-1 is not prime. Res64: CAAA158427D89B9A Time : 0.0 sec. user=mdettweiler [2013-08-30 12:24:01] 717*2^1252232-1 is not prime. Res64: 4454DC91EE1BFEBA Time : 0.0 sec. user=mdettweiler [2013-08-30 12:27:11] 827*2^1252232-1 is not prime. Res64: 8605A9CB924D1A95 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:27:11] 857*2^1252232-1 is not prime. Res64: F9C874535BE657F0 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:36:53] 873*2^1252232-1 is not prime. Res64: 28B9068C86EBC477 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:36:53] 963*2^1252232-1 is not prime. Res64: 9E94A5740649C5B6 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:45:18] 681*2^1252233-1 is not prime. Res64: 33EC6153D00B099E Time : 0.0 sec. user=mdettweiler [2013-08-30 12:45:19] 727*2^1252233-1 is not prime. Res64: 159551DDD4FB6779 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:45:38] 817*2^1252233-1 is not prime. Res64: 5AB0E96616120095 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:45:38] 837*2^1252233-1 is not prime. Res64: 238FE933D1CCB90D Time : 0.0 sec. user=mdettweiler [2013-08-30 12:51:23] 955*2^1252233-1 is not prime. Res64: D0986CD3256B346E Time : 0.0 sec. user=mdettweiler [2013-08-30 12:51:24] 985*2^1252233-1 is not prime. Res64: 81F04E3B045FE647 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:59:10] 635*2^1252234-1 is not prime. Res64: 7FA5AF3F88323045 Time : 0.0 sec. user=mdettweiler [2013-08-30 12:59:10] 651*2^1252234-1 is not prime. Res64: 17E11A0C8505FC1B Time : 0.0 sec. user=mdettweiler [2013-08-30 13:07:00] 663*2^1252234-1 is not prime. Res64: 1BB36B928BFB1FFA Time : 0.0 sec. user=mdettweiler [2013-08-30 13:07:01] 831*2^1252234-1 is not prime. Res64: A8245E4F659009B1 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:08:11] 833*2^1252234-1 is not prime. Res64: 0729C74E3A7A5DC7 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:08:12] 917*2^1252234-1 is not prime. Res64: 20DEAA2FD44D4897 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:13:11] 941*2^1252234-1 is not prime. Res64: 8ED31B2E2527A6D2 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:13:12] 619*2^1252235-1 is not prime. Res64: 405CC2E30D47BDE4 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:19:52] 645*2^1252235-1 is not prime. Res64: 8B9B01046730798D Time : 0.0 sec. user=mdettweiler [2013-08-30 13:19:53] 673*2^1252235-1 is not prime. Res64: E5545EA5CF15D3D7 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:28:56] 707*2^1252236-1 is not prime. Res64: B3B2E7969248395F Time : 0.0 sec. user=mdettweiler [2013-08-30 13:28:56] 905*2^1252236-1 is not prime. Res64: 48074865E7F1D4CA Time : 0.0 sec. user=mdettweiler [2013-08-30 13:31:31] 947*2^1252236-1 is not prime. Res64: 8135B4869C0F4360 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:31:32] 975*2^1252236-1 is not prime. Res64: 854AD9FD8D03629F Time : 0.0 sec. user=mdettweiler [2013-08-30 13:35:17] 625*2^1252237-1 is not prime. Res64: 97CE63DD6818D503 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:35:17] 649*2^1252237-1 is not prime. Res64: 4691701921C3BEEF Time : 0.0 sec. user=mdettweiler [2013-08-30 13:42:01] 651*2^1252237-1 is not prime. Res64: A22B8E5FFE742338 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:42:01] 661*2^1252237-1 is not prime. Res64: C7A21F20949BDC77 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:50:30] 741*2^1252237-1 is not prime. Res64: DCF86C7736220728 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:50:30] 751*2^1252237-1 is not prime. Res64: 1B2364469904F333 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:52:26] 769*2^1252237-1 is not prime. Res64: 9866AA0588621EB5 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:52:26] 825*2^1252237-1 is not prime. Res64: ACC6F3BA6B80939C Time : 0.0 sec. user=mdettweiler [2013-08-30 13:56:49] 955*2^1252237-1 is not prime. Res64: CB9F7A98830AD8D0 Time : 0.0 sec. user=mdettweiler [2013-08-30 13:56:50] 645*2^1252238-1 is not prime. Res64: 32EEC1E83A175D4B Time : 0.0 sec. user=mdettweiler [2013-08-30 14:02:50] 743*2^1252238-1 is not prime. Res64: D5533A603285B965 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:02:51] 857*2^1252238-1 is not prime. Res64: 23836357EC5E075D Time : 0.0 sec. user=mdettweiler [2013-08-30 14:13:48] 893*2^1252238-1 is not prime. Res64: A06E26D629797F98 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:13:48] 957*2^1252238-1 is not prime. Res64: 06B8C137B68A20D2 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:13:52] 675*2^1252239-1 is not prime. Res64: 1BE565114BA3A315 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:13:53] 859*2^1252239-1 is not prime. Res64: 237E15B9A78372FD Time : 0.0 sec. user=mdettweiler [2013-08-30 14:19:37] 861*2^1252239-1 is not prime. Res64: 9206CEA3C5DDED0F Time : 0.0 sec. user=mdettweiler [2013-08-30 14:19:37] 885*2^1252239-1 is not prime. Res64: 8DBCE3C6FD4A449B Time : 0.0 sec. user=mdettweiler [2013-08-30 14:27:08] 949*2^1252239-1 is not prime. Res64: F7B3B86C4432930F Time : 0.0 sec. user=mdettweiler [2013-08-30 14:27:08] 979*2^1252239-1 is not prime. Res64: CC5F9708639782B0 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:35:53] 827*2^1252240-1 is not prime. Res64: 77D5799463E7DAFF Time : 0.0 sec. user=mdettweiler [2013-08-30 14:35:54] 849*2^1252240-1 is not prime. Res64: 7037540B30BAAD74 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:35:55] 813*2^1252240-1 is not prime. Res64: 19854BBC8FA2BCA5 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:35:55] 819*2^1252240-1 is not prime. Res64: 1008F31AB853577B Time : 0.0 sec. user=mdettweiler [2013-08-30 14:44:08] 929*2^1252240-1 is not prime. Res64: 4C495B35C74837AA Time : 0.0 sec. user=mdettweiler [2013-08-30 14:44:08] 959*2^1252240-1 is not prime. Res64: 7411C9E64879169E Time : 0.0 sec. user=mdettweiler [2013-08-30 14:50:29] 999*2^1252240-1 is not prime. Res64: 3EF146B75B3D6690 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:50:29] 645*2^1252241-1 is not prime. Res64: B4C17C4D7E992C6E Time : 0.0 sec. user=mdettweiler [2013-08-30 14:57:18] 657*2^1252241-1 is not prime. Res64: F2C21462166B7966 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:57:19] 717*2^1252241-1 is not prime. Res64: 9F5B41C1B5C86437 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:57:24] 867*2^1252241-1 is not prime. Res64: 6F575FB82D2FA901 Time : 0.0 sec. user=mdettweiler [2013-08-30 14:57:24] 801*2^1252242-1 is not prime. Res64: 7BF5E53F8134F768 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:05:48] 807*2^1252242-1 is not prime. Res64: 8BB811A15F4FB589 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:05:49] 915*2^1252242-1 is not prime. Res64: 5EB2F89344427F2B Time : 0.0 sec. user=mdettweiler [2013-08-30 15:12:41] 947*2^1252242-1 is not prime. Res64: 122C949F6EF8DC9E Time : 0.0 sec. user=mdettweiler [2013-08-30 15:12:42] 963*2^1252242-1 is not prime. Res64: 79F6231460E57316 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:17:28] 639*2^1252243-1 is not prime. Res64: 870115A4EF403B7A Time : 0.0 sec. user=mdettweiler [2013-08-30 15:17:28] 673*2^1252243-1 is not prime. Res64: DA01B1D37EBB932F Time : 0.0 sec. user=mdettweiler [2013-08-30 15:17:33] 685*2^1252243-1 is not prime. Res64: B2DDC5AF80297C08 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:17:34] 775*2^1252243-1 is not prime. Res64: 1833CFF90F3F8A68 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:26:02] 805*2^1252243-1 is not prime. Res64: 0796338CAC10375E Time : 0.0 sec. user=mdettweiler [2013-08-30 15:26:03] 861*2^1252243-1 is not prime. Res64: 1F3DD40D7646757B Time : 0.0 sec. user=mdettweiler [2013-08-30 15:33:45] 871*2^1252243-1 is not prime. Res64: 7BA061A43B7ED153 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:33:45] 885*2^1252243-1 is not prime. Res64: 98687E6C395ED2A1 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:37:38] 623*2^1252244-1 is not prime. Res64: 370FB6605F58A421 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:37:39] 635*2^1252244-1 is not prime. Res64: 01D4E3EB139678F6 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:39:28] 889*2^1252243-1 is not prime. Res64: 4C4054A5C249CC8E Time : 0.0 sec. user=mdettweiler [2013-08-30 15:39:29] 925*2^1252243-1 is not prime. Res64: 4D676653E9436A8B Time : 0.0 sec. user=mdettweiler [2013-08-30 15:46:09] 833*2^1252244-1 is not prime. Res64: 25EF94A5A1EA6623 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:46:10] 875*2^1252244-1 is not prime. Res64: 8708F0B26E6D176F Time : 0.0 sec. user=mdettweiler [2013-08-30 15:54:13] 765*2^1252245-1 is not prime. Res64: 816468B54C893724 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:54:13] 805*2^1252245-1 is not prime. Res64: 42FC1055CA05779D Time : 0.0 sec. user=mdettweiler [2013-08-30 15:59:08] 927*2^1252245-1 is not prime. Res64: 8C224FB2A66AAB41 Time : 0.0 sec. user=mdettweiler [2013-08-30 15:59:09] 843*2^1252246-1 is not prime. Res64: 81321D434D6BA4FB Time : 0.0 sec. user=mdettweiler [2013-08-30 16:01:16] 867*2^1252246-1 is not prime. Res64: B9301193C3D6C466 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:01:17] 891*2^1252246-1 is not prime. Res64: 29CBB8B8F6A548EA Time : 0.0 sec. user=mdettweiler [2013-08-30 16:09:00] 897*2^1252246-1 is not prime. Res64: 35179A664C3BFE0A Time : 0.0 sec. user=mdettweiler [2013-08-30 16:09:02] 911*2^1252246-1 is not prime. Res64: 153567DA35E17124 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:16:51] 917*2^1252246-1 is not prime. Res64: 571A82587EEA53B4 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:16:51] 1001*2^1252246-1 is not prime. Res64: 6A8DED62866DF98A Time : 0.0 sec. user=mdettweiler [2013-08-30 16:19:28] 661*2^1252247-1 is not prime. Res64: 6C3A590176A6B0AC Time : 0.0 sec. user=mdettweiler [2013-08-30 16:19:28] 739*2^1252247-1 is not prime. Res64: 49C2474AC31DB26C Time : 0.0 sec. user=mdettweiler [2013-08-30 16:21:40] 805*2^1252247-1 is not prime. Res64: 9A2B014951B0E953 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:21:41] 859*2^1252247-1 is not prime. Res64: 6965CAC36C0CEE11 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:31:17] 931*2^1252247-1 is not prime. Res64: 45DD2BFC196F0FF4 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:31:17] 981*2^1252247-1 is not prime. Res64: 8A0344F446E84E1B Time : 0.0 sec. user=mdettweiler [2013-08-30 16:37:12] 635*2^1252248-1 is not prime. Res64: B0B8F8C76B273FF5 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:37:12] 663*2^1252248-1 is not prime. Res64: 0692B2FD96FACFA0 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:39:43] 707*2^1252248-1 is not prime. Res64: E36A997DE9311712 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:39:43] 713*2^1252248-1 is not prime. Res64: D67FDEFA333CFA2A Time : 0.0 sec. user=mdettweiler [2013-08-30 16:42:53] 959*2^1252248-1 is not prime. Res64: 2194BC494AFC0E3B Time : 0.0 sec. user=mdettweiler [2013-08-30 16:42:54] 637*2^1252249-1 is not prime. Res64: E9F9969EDFB59361 Time : 0.0 sec. user=mdettweiler [2013-08-30 16:51:33] 687*2^1252249-1 is not prime. Res64: 1B0C6F2F37CD1F1E Time : 0.0 sec. user=mdettweiler [2013-08-30 16:51:33] 729*2^1252249-1 is not prime. Res64: F3A4CE1183D86BFB Time : 0.0 sec. user=mdettweiler [2013-08-30 16:58:49] 817*2^1252249-1 is not prime. Res64: 7E58E256F8A3C33A Time : 0.0 sec. user=mdettweiler [2013-08-30 16:58:49] 931*2^1252249-1 is not prime. Res64: CED398456C98C247 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:00:18] 677*2^1252250-1 is not prime. Res64: CC496582C519340B Time : 0.0 sec. user=mdettweiler [2013-08-30 17:00:18] 711*2^1252250-1 is not prime. Res64: 1F7E76A74993F9CF Time : 0.0 sec. user=mdettweiler [2013-08-30 17:03:52] 731*2^1252250-1 is not prime. Res64: 68DB37430F63304B Time : 0.0 sec. user=mdettweiler [2013-08-30 17:03:53] 755*2^1252250-1 is not prime. Res64: FB306F1805916F76 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:12:29] 767*2^1252250-1 is not prime. Res64: 5A514A3D1ACEC5B1 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:12:29] 825*2^1252250-1 is not prime. Res64: A898A9AB94499B21 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:21:26] 705*2^1252251-1 is not prime. Res64: 2948AE84EFCDAECE Time : 0.0 sec. user=mdettweiler [2013-08-30 17:21:27] 769*2^1252251-1 is not prime. Res64: 43E8DC7E4CB1B8BF Time : 0.0 sec. user=mdettweiler [2013-08-30 17:21:58] 911*2^1252250-1 is not prime. Res64: 0824D9F8D56F49E6 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:21:58] 977*2^1252250-1 is not prime. Res64: 7455FD791D50C158 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:25:57] 775*2^1252251-1 is not prime. Res64: 85190A79E585FB89 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:25:58] 895*2^1252251-1 is not prime. Res64: AC2178C602DE5F7C Time : 0.0 sec. user=mdettweiler [2013-08-30 17:34:16] 913*2^1252251-1 is not prime. Res64: C7ED6481B054597C Time : 0.0 sec. user=mdettweiler [2013-08-30 17:34:16] 609*2^1252252-1 is not prime. Res64: EF9D7EAB2A56CF6D Time : 0.0 sec. user=mdettweiler [2013-08-30 17:42:39] 689*2^1252252-1 is not prime. Res64: 24A2A02C9F7C152E Time : 0.0 sec. user=mdettweiler [2013-08-30 17:42:39] 705*2^1252252-1 is not prime. Res64: 37AA85098D04262B Time : 0.0 sec. user=mdettweiler [2013-08-30 17:42:52] 759*2^1252252-1 is not prime. Res64: C69636E8A99F4FFF Time : 0.0 sec. user=mdettweiler [2013-08-30 17:42:52] 779*2^1252252-1 is not prime. Res64: A44D46BB4181BD64 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:47:54] 819*2^1252252-1 is not prime. Res64: E5E6E66F557F606D Time : 0.0 sec. user=mdettweiler [2013-08-30 17:47:54] 899*2^1252252-1 is not prime. Res64: 58EABAC500CBC629 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:55:20] 615*2^1252253-1 is not prime. Res64: 77FE79273A6EEE71 Time : 0.0 sec. user=mdettweiler [2013-08-30 17:55:20] 621*2^1252253-1 is not prime. Res64: 5A74364012928F4F Time : 0.0 sec. user=mdettweiler [2013-08-30 18:03:37] 651*2^1252253-1 is not prime. Res64: 13274B6F5E419052 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:03:38] 715*2^1252253-1 is not prime. Res64: 6B0F2689C4D33B77 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:04:03] 781*2^1252253-1 is not prime. Res64: 77AEEE8A21F30B2A Time : 0.0 sec. user=mdettweiler [2013-08-30 18:04:04] 805*2^1252253-1 is not prime. Res64: FC2CD71144035ECC Time : 0.0 sec. user=mdettweiler [2013-08-30 18:09:12] 641*2^1252254-1 is not prime. Res64: C84780FA819C8EC4 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:09:13] 671*2^1252254-1 is not prime. Res64: 6ACF86936846520E Time : 0.0 sec. user=mdettweiler [2013-08-30 18:16:21] 677*2^1252254-1 is not prime. Res64: A56F0077C08BC76E Time : 0.0 sec. user=mdettweiler [2013-08-30 18:16:21] 863*2^1252254-1 is not prime. Res64: CE0CEE83CC60CE88 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:24:47] 645*2^1252255-1 is not prime. Res64: D2312495360AC57F Time : 0.0 sec. user=mdettweiler [2013-08-30 18:24:47] 829*2^1252255-1 is not prime. Res64: 6B394A8C6CB63703 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:26:31] 903*2^1252254-1 is not prime. Res64: D5CDBF357C0212A0 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:26:32] 993*2^1252254-1 is not prime. Res64: E69384AFC3AF931E Time : 0.0 sec. user=mdettweiler [2013-08-30 18:30:57] 861*2^1252255-1 is not prime. Res64: 445E8F521C4A21DA Time : 0.0 sec. user=mdettweiler [2013-08-30 18:30:58] 919*2^1252255-1 is not prime. Res64: 4EAC6C9FA2272562 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:37:50] 969*2^1252255-1 is not prime. Res64: 3C740D66D48C1CD4 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:37:50] 609*2^1252256-1 is not prime. Res64: F222D732852E50D0 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:45:03] 623*2^1252256-1 is not prime. Res64: DC211DC88D0F1045 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:45:04] 633*2^1252256-1 is not prime. Res64: 8B19170C7C1E766F Time : 0.0 sec. user=mdettweiler [2013-08-30 18:46:45] 675*2^1252256-1 is not prime. Res64: 8BB140BAE06CC3AD Time : 0.0 sec. user=mdettweiler [2013-08-30 18:46:46] 755*2^1252256-1 is not prime. Res64: EFB71C8F8353B584 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:51:06] 815*2^1252256-1 is not prime. Res64: 05D4F7D39B9F647A Time : 0.0 sec. user=mdettweiler [2013-08-30 18:51:07] 825*2^1252256-1 is not prime. Res64: 9DC6A872A26BA992 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:58:07] 845*2^1252256-1 is not prime. Res64: E20DAD67ED59F5E9 Time : 0.0 sec. user=mdettweiler [2013-08-30 18:58:07] 857*2^1252256-1 is not prime. Res64: 8BC4785831ADAA65 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:06:10] 875*2^1252256-1 is not prime. Res64: 17D1486DB01F40F1 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:06:12] 917*2^1252256-1 is not prime. Res64: 3D4F4CF567727256 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:07:50] 957*2^1252256-1 is not prime. Res64: 9AB55EDDE5D509C7 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:07:51] 609*2^1252257-1 is not prime. Res64: 4A2B69F9D705383D Time : 0.0 sec. user=mdettweiler [2013-08-30 19:11:16] 741*2^1252257-1 is not prime. Res64: DFF4AA75BAD08727 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:11:17] 765*2^1252257-1 is not prime. Res64: 6BF96BE941E78B21 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:18:17] 795*2^1252257-1 is not prime. Res64: E25B3F5226E64818 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:18:17] 835*2^1252257-1 is not prime. Res64: 2DA7FEC391A2E363 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:27:20] 847*2^1252257-1 is not prime. Res64: 7A8640A4D133B082 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:27:21] 915*2^1252257-1 is not prime. Res64: 543DF8ED3DF4EDAF Time : 0.0 sec. user=mdettweiler [2013-08-30 19:29:57] 945*2^1252257-1 is not prime. Res64: A98B4C287C516C47 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:29:58] 985*2^1252257-1 is not prime. Res64: 98B174AF136D223D Time : 0.0 sec. user=mdettweiler [2013-08-30 19:33:19] 915*2^1252258-1 is not prime. Res64: B7768DE31B514CB4 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:33:19] 975*2^1252258-1 is not prime. Res64: 2D4498BD22A17857 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:40:25] 993*2^1252258-1 is not prime. Res64: 4607F1819F45109E Time : 0.0 sec. user=mdettweiler [2013-08-30 19:40:26] 1001*2^1252258-1 is not prime. Res64: 18481A16DB1B74FA Time : 0.0 sec. user=mdettweiler [2013-08-30 19:47:42] 601*2^1252259-1 is not prime. Res64: 1D1314AEFBABE9E0 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:47:43] 825*2^1252259-1 is not prime. Res64: 7BC7CC522341AB0B Time : 0.0 sec. user=mdettweiler [2013-08-30 19:52:04] 921*2^1252259-1 is not prime. Res64: 64CA3BAC1D65508D Time : 0.0 sec. user=mdettweiler [2013-08-30 19:52:04] 949*2^1252259-1 is not prime. Res64: E9F2FFF4ED4A520B Time : 0.0 sec. user=mdettweiler [2013-08-30 19:53:28] 777*2^1252260-1 is not prime. Res64: 727F053AC11EB3C0 Time : 0.0 sec. user=mdettweiler [2013-08-30 19:53:29] 779*2^1252260-1 is not prime. Res64: A0284B8F12ADD142 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:00:43] 845*2^1252260-1 is not prime. Res64: 7BE4F9368A450981 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:00:44] 867*2^1252260-1 is not prime. Res64: 9ED12CBE2BA19B78 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:09:51] 909*2^1252260-1 is not prime. Res64: 996E96BA567830C0 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:09:53] 923*2^1252260-1 is not prime. Res64: 57509DE2CE100C94 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:13:14] 987*2^1252260-1 is not prime. Res64: DCDA1A3FFC1EFED7 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:13:15] 601*2^1252261-1 is not prime. Res64: 8D2D0CC8162FE64C Time : 0.0 sec. user=mdettweiler [2013-08-30 20:13:43] 775*2^1252261-1 is not prime. Res64: 60C2FB5F5AB7B67D Time : 0.0 sec. user=mdettweiler [2013-08-30 20:13:43] 877*2^1252261-1 is not prime. Res64: 6802C3D621DE8E9B Time : 0.0 sec. user=mdettweiler [2013-08-30 20:21:51] 925*2^1252261-1 is not prime. Res64: 2329E038777167ED Time : 0.0 sec. user=mdettweiler [2013-08-30 20:21:52] 815*2^1252262-1 is not prime. Res64: F8FE8C39EB8E092C Time : 0.0 sec. user=mdettweiler [2013-08-30 20:31:56] 977*2^1252262-1 is not prime. Res64: 617A4B190D3A4DCB Time : 0.0 sec. user=mdettweiler [2013-08-30 20:31:57] 983*2^1252262-1 is not prime. Res64: 9E400F12EE5CCE1B Time : 0.0 sec. user=mdettweiler [2013-08-30 20:33:24] 619*2^1252263-1 is not prime. Res64: 3718BE496107C40F Time : 0.0 sec. user=mdettweiler [2013-08-30 20:33:24] 649*2^1252263-1 is not prime. Res64: 0817E9D6E325A4D5 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:33:56] 709*2^1252263-1 is not prime. Res64: B89C1221DFD65933 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:33:57] 783*2^1252263-1 is not prime. Res64: ECA77E4E21CD09F8 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:42:02] 859*2^1252263-1 is not prime. Res64: FEFEFA543FD05278 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:42:02] 873*2^1252263-1 is not prime. Res64: B6C776B61408698D Time : 0.0 sec. user=juhehe [2013-08-30 20:49:19] 793*2^1252263-1 is not prime. Res64: 67FF0B7027D33E72 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:53:08] 963*2^1252263-1 is not prime. Res64: 3C4815C4005685D0 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:53:09] 657*2^1252264-1 is not prime. Res64: 728A7DF4F1628A89 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:53:35] 723*2^1252264-1 is not prime. Res64: 944D90939031F2D1 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:53:36] 755*2^1252264-1 is not prime. Res64: 2723E450E9B5B1E7 Time : 0.0 sec. user=mdettweiler [2013-08-30 20:54:10] 759*2^1252264-1 is not prime. Res64: 5E3E968A307E5DDD Time : 0.0 sec. user=mdettweiler [2013-08-30 20:54:11] 825*2^1252264-1 is not prime. Res64: A12D82805E285C64 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:02:14] 873*2^1252264-1 is not prime. Res64: C47D2A1DF62A2FD9 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:02:16] 875*2^1252264-1 is not prime. Res64: 90538D52FBF2AD37 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:13:18] 607*2^1252265-1 is not prime. Res64: A72E726888723EBA Time : 0.0 sec. user=mdettweiler [2013-08-30 21:13:18] 717*2^1252265-1 is not prime. Res64: C8D3835608F11D72 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:13:43] 771*2^1252265-1 is not prime. Res64: 9308BC017180EDD9 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:13:44] 747*2^1252266-1 is not prime. Res64: A841361375977CFB Time : 0.0 sec. user=mdettweiler [2013-08-30 21:14:22] 783*2^1252266-1 is not prime. Res64: 257B0D9C0D13450D Time : 0.0 sec. user=mdettweiler [2013-08-30 21:14:23] 815*2^1252266-1 is not prime. Res64: AE798AA24DF6DD14 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:23:24] 821*2^1252266-1 is not prime. Res64: F739D5D9FF4440E5 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:23:25] 891*2^1252266-1 is not prime. Res64: 775801E880A2780B Time : 0.0 sec. user=mdettweiler [2013-08-30 21:34:24] 601*2^1252267-1 is not prime. Res64: EC3692B662F2359A Time : 0.0 sec. user=mdettweiler [2013-08-30 21:34:25] 615*2^1252267-1 is not prime. Res64: 4AE578106DB2F3E4 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:35:08] 681*2^1252267-1 is not prime. Res64: F132D492CD4102BA Time : 0.0 sec. user=mdettweiler [2013-08-30 21:35:08] 715*2^1252267-1 is not prime. Res64: C107FCBE67C11E10 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:36:16] 921*2^1252266-1 is not prime. Res64: 4063CE8F52B2591F Time : 0.0 sec. user=mdettweiler [2013-08-30 21:36:16] 1001*2^1252266-1 is not prime. Res64: E8433FDCB5438AB3 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:44:31] 819*2^1252267-1 is not prime. Res64: 6E286FD577E26F0D Time : 0.0 sec. user=mdettweiler [2013-08-30 21:44:32] 835*2^1252267-1 is not prime. Res64: E3531383EB038401 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:56:25] 861*2^1252267-1 is not prime. Res64: EF80822C257BFD27 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:56:26] 885*2^1252267-1 is not prime. Res64: 61B06CB70A6B4724 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:57:15] 819*2^1252268-1 is not prime. Res64: 302F425AF4E79B81 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:57:16] 839*2^1252268-1 is not prime. Res64: 0CB8DC2138028228 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:58:26] 973*2^1252267-1 is not prime. Res64: BDA7FF910732EFA3 Time : 0.0 sec. user=mdettweiler [2013-08-30 21:58:27] 985*2^1252267-1 is not prime. Res64: CE03C4AE3EDB0C0B Time : 0.0 sec. user=mdettweiler [2013-08-30 22:06:32] 867*2^1252268-1 is not prime. Res64: 3E8F8AB4BB013C64 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:06:32] 969*2^1252268-1 is not prime. Res64: B872AC6FA5532FF5 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:18:55] 649*2^1252269-1 is not prime. Res64: 1B0D7408CFE82F6B Time : 0.0 sec. user=mdettweiler [2013-08-30 22:18:55] 711*2^1252269-1 is not prime. Res64: E924213F2FFF6669 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:19:18] 999*2^1252268-1 is not prime. Res64: 2C8FC0CC9C5D5CE3 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:19:19] 609*2^1252269-1 is not prime. Res64: FEE223E8CF044655 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:21:32] 789*2^1252269-1 is not prime. Res64: 541F8A4F4CA72451 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:21:32] 921*2^1252269-1 is not prime. Res64: CCC2233E223B7E62 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:29:10] 961*2^1252269-1 is not prime. Res64: DEADD791FC25BA0B Time : 0.0 sec. user=mdettweiler [2013-08-30 22:29:11] 681*2^1252270-1 is not prime. Res64: A5A07B38C4CD6600 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:39:56] 755*2^1252270-1 is not prime. Res64: 9043342B1621E781 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:39:56] 785*2^1252270-1 is not prime. Res64: 0ABDC8A007F34E72 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:43:01] 915*2^1252270-1 is not prime. Res64: E02DD14091AD1759 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:43:02] 933*2^1252270-1 is not prime. Res64: F64AC3841557E7CF Time : 0.0 sec. user=mdettweiler [2013-08-30 22:43:45] 975*2^1252270-1 is not prime. Res64: D4E02CB12EAFBF6C Time : 0.0 sec. user=mdettweiler [2013-08-30 22:43:46] 781*2^1252271-1 is not prime. Res64: 8BA6C35053AB1102 Time : 0.0 sec. user=mdettweiler [2013-08-30 22:51:10] 859*2^1252271-1 is not prime. Res64: DB253F1DF73BC12E Time : 0.0 sec. user=mdettweiler [2013-08-30 22:51:11] 921*2^1252271-1 is not prime. Res64: A19DB9C92A2197DB Time : 0.0 sec. user=mdettweiler [2013-08-30 23:00:37] 629*2^1252272-1 is not prime. Res64: 7405A835B893A961 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:00:38] 837*2^1252272-1 is not prime. Res64: 438C83BFF9E670C1 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:03:45] 849*2^1252272-1 is not prime. Res64: 7B60028DB81AD90C Time : 0.0 sec. user=mdettweiler [2013-08-30 23:03:46] 873*2^1252272-1 is not prime. Res64: 94C2AA1304369F9B Time : 0.0 sec. user=mdettweiler [2013-08-30 23:05:17] 879*2^1252272-1 is not prime. Res64: 9E605E0A4A36ACD7 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:05:18] 903*2^1252272-1 is not prime. Res64: 5BD7D5F448AC0762 Time : 0.0 sec. user=juhehe [2013-08-30 23:10:52] 999*2^1252271-1 is not prime. Res64: B6BFEE14FD2530B0 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:11:40] 625*2^1252273-1 is not prime. Res64: 01C90E1BAA69AE43 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:11:41] 855*2^1252273-1 is not prime. Res64: 09F12E9E48CB5699 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:23:02] 919*2^1252273-1 is not prime. Res64: 04391D0FF2D4E713 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:23:03] 939*2^1252273-1 is not prime. Res64: C8CAABCD745BC2B9 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:25:05] 945*2^1252273-1 is not prime. Res64: C775268777E57E9A Time : 0.0 sec. user=mdettweiler [2013-08-30 23:25:05] 641*2^1252274-1 is not prime. Res64: 0BAFB7C2D2A13E87 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:25:40] 743*2^1252274-1 is not prime. Res64: 758C5CCA7573AC9A Time : 0.0 sec. user=mdettweiler [2013-08-30 23:25:40] 815*2^1252274-1 is not prime. Res64: 53A052B9CECE1CBB Time : 0.0 sec. user=mdettweiler [2013-08-30 23:34:15] 923*2^1252274-1 is not prime. Res64: 45C2134EB6C239D6 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:34:16] 951*2^1252274-1 is not prime. Res64: 977CD46E98D460D2 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:43:33] 643*2^1252275-1 is not prime. Res64: 107A80C425FAD3DE Time : 0.0 sec. user=mdettweiler [2013-08-30 23:43:33] 679*2^1252275-1 is not prime. Res64: 85773CB718C02AC3 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:45:34] 709*2^1252275-1 is not prime. Res64: 1373F4634E8C45D7 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:45:35] 735*2^1252275-1 is not prime. Res64: 71E7B15421AF6396 Time : 0.0 sec. user=mdettweiler [2013-08-30 23:45:58] 751*2^1252275-1 is not prime. Res64: 696BB9CE3A1CFE7E Time : 0.0 sec. user=mdettweiler [2013-08-30 23:45:59] 789*2^1252275-1 is not prime. Res64: E6D64867500FA3BA Time : 0.0 sec. user=mdettweiler [2013-08-30 23:54:26] 849*2^1252275-1 is not prime. Res64: 5A91C7DB6F4F886A Time : 0.0 sec. user=mdettweiler [2013-08-30 23:54:27] 859*2^1252275-1 is not prime. Res64: 6A14174146C3054E Time : 0.0 sec.