user=mdettweiler [2016-04-08 00:20:19] 709*2^1425615-1 is not prime. Res64: 3007AB9BFC4AF1E8 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:20:20] 739*2^1425615-1 is not prime. Res64: 9CE0B27B56665FD5 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:20:20] 781*2^1425615-1 is not prime. Res64: 6035728A07272617 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:20:20] 789*2^1425615-1 is not prime. Res64: E60990A2DB87BE49 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:20:21] 871*2^1425615-1 is not prime. Res64: C411033056173C18 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:01] 855*2^1425616-1 is not prime. Res64: 534515114988F7E0 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:01] 873*2^1425616-1 is not prime. Res64: F4A8B57822783E82 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:02] 917*2^1425616-1 is not prime. Res64: 4768FF675615CC84 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:02] 947*2^1425616-1 is not prime. Res64: 0240985E6CE38383 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:02] 697*2^1425617-1 is not prime. Res64: 449136E06CEB6D51 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:30] 717*2^1425617-1 is not prime. Res64: F9C85139B2F3E6A4 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:30] 769*2^1425617-1 is not prime. Res64: F9F7098CF3E16007 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:30] 867*2^1425617-1 is not prime. Res64: DB4254892FF31AF3 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:31] 985*2^1425617-1 is not prime. Res64: 153A2933889F4F88 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:32:31] 611*2^1425618-1 is not prime. Res64: 39EE7289BA766DFF Time : 0.0 sec. user=mdettweiler [2016-04-08 00:38:14] 681*2^1425618-1 is not prime. Res64: ADA38540EF394B55 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:38:14] 791*2^1425618-1 is not prime. Res64: 56CB2D925E646733 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:38:14] 797*2^1425618-1 is not prime. Res64: 8C32D43B6CDF865A Time : 0.0 sec. user=mdettweiler [2016-04-08 00:38:14] 825*2^1425618-1 is not prime. Res64: 00B6AD043C6C38C9 Time : 0.0 sec. user=mdettweiler [2016-04-08 00:38:14] 971*2^1425618-1 is not prime. Res64: 6489FE57DD4A6C96 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:08:42] 609*2^1425619-1 is not prime. Res64: 7729B31CBA0FFF36 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:08:43] 615*2^1425619-1 is not prime. Res64: 9D1F2F1450E89BDE Time : 0.0 sec. user=mdettweiler [2016-04-08 01:08:43] 639*2^1425619-1 is not prime. Res64: 1E05B033EA6442AA Time : 0.0 sec. user=mdettweiler [2016-04-08 01:08:43] 801*2^1425619-1 is not prime. Res64: 75D891439F186FBF Time : 0.0 sec. user=mdettweiler [2016-04-08 01:08:44] 939*2^1425619-1 is not prime. Res64: 2FC4D5AEC77B17AA Time : 0.0 sec. user=mdettweiler [2016-04-08 01:20:49] 669*2^1425620-1 is not prime. Res64: 5394A43399EEB440 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:20:49] 789*2^1425620-1 is not prime. Res64: ED7BA6597C800691 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:20:49] 833*2^1425620-1 is not prime. Res64: EC1C8A4FA6E46588 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:20:50] 945*2^1425620-1 is not prime. Res64: 8FDFA7C355AE6098 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:20:50] 953*2^1425620-1 is not prime. Res64: C20CCF28122FA385 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:21:03] 607*2^1425621-1 is not prime. Res64: 81BF569EF1C7AFEA Time : 0.0 sec. user=mdettweiler [2016-04-08 01:21:03] 627*2^1425621-1 is not prime. Res64: 647FAA13F64A846E Time : 0.0 sec. user=mdettweiler [2016-04-08 01:21:03] 649*2^1425621-1 is not prime. Res64: 78BC8C257009C720 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:21:04] 745*2^1425621-1 is not prime. Res64: 62DA9DB386DA6C2D Time : 0.0 sec. user=mdettweiler [2016-04-08 01:21:04] 811*2^1425621-1 is not prime. Res64: 737D687073F27C71 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:26:35] 825*2^1425621-1 is not prime. Res64: 5773D1FFD509B34A Time : 0.0 sec. user=mdettweiler [2016-04-08 01:26:36] 999*2^1425621-1 is not prime. Res64: 726D71E153481A64 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:26:37] 623*2^1425622-1 is not prime. Res64: BD581EACDC1FDE2F Time : 0.0 sec. user=mdettweiler [2016-04-08 01:26:38] 677*2^1425622-1 is not prime. Res64: 18628C66F91110EF Time : 0.0 sec. user=mdettweiler [2016-04-08 01:26:39] 741*2^1425622-1 is not prime. Res64: CFBBE5EB7F527490 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:55:04] 945*2^1425622-1 is not prime. Res64: 142E94EE44A2713B Time : 0.0 sec. user=mdettweiler [2016-04-08 01:55:04] 811*2^1425623-1 is not prime. Res64: C1B3D88CAD359440 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:55:05] 855*2^1425623-1 is not prime. Res64: C9438AC31DA27A25 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:55:05] 913*2^1425623-1 is not prime. Res64: A0CFBAFC814DB101 Time : 0.0 sec. user=mdettweiler [2016-04-08 01:55:05] 943*2^1425623-1 is not prime. Res64: 7CEC91A07D1C6260 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:05:50] 969*2^1425623-1 is not prime. Res64: 01872FBF432B1A80 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:05:52] 725*2^1425624-1 is not prime. Res64: 4A94B954CB648A78 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:05:53] 759*2^1425624-1 is not prime. Res64: 52972ABD770EC559 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:05:53] 843*2^1425624-1 is not prime. Res64: 9BC787FF5E9FBEC7 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:05:54] 875*2^1425624-1 is not prime. Res64: F084279042E442FA Time : 0.0 sec. user=mdettweiler [2016-04-08 02:06:18] 927*2^1425624-1 is not prime. Res64: F2E768A3BFA97B52 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:06:19] 625*2^1425625-1 is not prime. Res64: DF1D1BE7BFE4763F Time : 0.0 sec. user=mdettweiler [2016-04-08 02:06:19] 675*2^1425625-1 is not prime. Res64: 9638B79E8B3D6808 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:06:20] 841*2^1425625-1 is not prime. Res64: 6AC324D39A2D02A1 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:06:20] 895*2^1425625-1 is not prime. Res64: 12332FA5D6734DE5 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:11:48] 915*2^1425625-1 is not prime. Res64: DCA878C97C14EB2E Time : 0.0 sec. user=mdettweiler [2016-04-08 02:11:49] 925*2^1425625-1 is not prime. Res64: D4D527024AFF1DD6 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:11:50] 951*2^1425625-1 is not prime. Res64: 897095FAF82044E3 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:11:50] 683*2^1425626-1 is not prime. Res64: 5D1809D339951DB0 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:11:50] 713*2^1425626-1 is not prime. Res64: D83F3A4F3AC32430 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:39:59] 903*2^1425626-1 is not prime. Res64: 7E1C40C7FD353B15 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:39:59] 921*2^1425626-1 is not prime. Res64: A7F0EF1724BDA910 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:40:00] 983*2^1425626-1 is not prime. Res64: 2EAB033869553FD1 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:40:00] 993*2^1425626-1 is not prime. Res64: 32B0C62D12C4F0CA Time : 0.0 sec. user=mdettweiler [2016-04-08 02:40:00] 669*2^1425627-1 is not prime. Res64: 526179CF016F5565 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:50:58] 765*2^1425627-1 is not prime. Res64: 8BF495941397F72A Time : 0.0 sec. user=mdettweiler [2016-04-08 02:50:58] 931*2^1425627-1 is not prime. Res64: 898757A88F384BA1 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:50:58] 979*2^1425627-1 is not prime. Res64: 978F5961138FDAF4 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:50:59] 665*2^1425628-1 is not prime. Res64: 8A3867DEF207CF68 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:50:59] 687*2^1425628-1 is not prime. Res64: 791D9F57A58CFB53 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:51:20] 749*2^1425628-1 is not prime. Res64: 4F90C60115651442 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:51:20] 797*2^1425628-1 is not prime. Res64: DEA510D2B661D4DC Time : 0.0 sec. user=mdettweiler [2016-04-08 02:51:21] 869*2^1425628-1 is not prime. Res64: 19B1DEB53568FA31 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:51:21] 987*2^1425628-1 is not prime. Res64: BFD814596C156DA2 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:51:21] 999*2^1425628-1 is not prime. Res64: 9C8C7BF9F34E8266 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:56:49] 615*2^1425629-1 is not prime. Res64: 0E882721A49661E2 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:56:49] 727*2^1425629-1 is not prime. Res64: 0F53E7EE19686402 Time : 0.0 sec. user=mdettweiler [2016-04-08 02:56:50] 745*2^1425629-1 is not prime. Res64: 90D5F8004396752D Time : 0.0 sec. user=mdettweiler [2016-04-08 02:56:50] 769*2^1425629-1 is not prime. Res64: DEF735E998F73DDC Time : 0.0 sec. user=mdettweiler [2016-04-08 02:56:50] 829*2^1425629-1 is not prime. Res64: 14BBDF6195B67057 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:24:51] 837*2^1425629-1 is not prime. Res64: A85AB058E496B531 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:24:51] 897*2^1425629-1 is not prime. Res64: 37786486B0823ABD Time : 0.0 sec. user=mdettweiler [2016-04-08 03:24:51] 627*2^1425630-1 is not prime. Res64: 82F7823EEB224FFD Time : 0.0 sec. user=mdettweiler [2016-04-08 03:24:52] 711*2^1425630-1 is not prime. Res64: 48949CE550797F56 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:24:52] 761*2^1425630-1 is not prime. Res64: D0B95B47CEF9C837 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:06] 887*2^1425630-1 is not prime. Res64: 4EBD03CB515FBF16 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:06] 971*2^1425630-1 is not prime. Res64: CE3FC96351020EFB Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:07] 705*2^1425631-1 is not prime. Res64: 001889A9C6CDF9E2 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:08] 723*2^1425631-1 is not prime. Res64: F4BB44B713E863B7 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:09] 759*2^1425631-1 is not prime. Res64: AFC926C8892B2093 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:48] 813*2^1425631-1 is not prime. Res64: 839223EF360B20CB Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:49] 975*2^1425631-1 is not prime. Res64: 9D526DC626870AA6 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:50] 635*2^1425632-1 is not prime. Res64: 38CEA97EC3D9DDB7 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:50] 689*2^1425632-1 is not prime. Res64: D0F2AFA96C929546 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:36:51] 725*2^1425632-1 is not prime. Res64: 9ABB467C0ED9F4FE Time : 0.0 sec. user=mdettweiler [2016-04-08 03:42:00] 785*2^1425632-1 is not prime. Res64: 9498B92392BE9DF2 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:42:01] 815*2^1425632-1 is not prime. Res64: B84022A895B018F7 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:42:01] 957*2^1425632-1 is not prime. Res64: EC900312B204D53A Time : 0.0 sec. user=mdettweiler [2016-04-08 03:42:02] 765*2^1425633-1 is not prime. Res64: 12D095DBE05C16A4 Time : 0.0 sec. user=mdettweiler [2016-04-08 03:42:02] 915*2^1425633-1 is not prime. Res64: 79E8186682AB825E Time : 0.0 sec. user=mdettweiler [2016-04-08 04:09:47] 945*2^1425633-1 is not prime. Res64: EDA84AC1328EE704 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:09:48] 951*2^1425633-1 is not prime. Res64: F7C663B373904323 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:09:48] 985*2^1425633-1 is not prime. Res64: F7EB003965DEB6FB Time : 0.0 sec. user=mdettweiler [2016-04-08 04:09:48] 605*2^1425634-1 is not prime. Res64: 54E6D8CC301F2D12 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:09:48] 635*2^1425634-1 is not prime. Res64: 6D357A25FBDF7711 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:21:32] 681*2^1425634-1 is not prime. Res64: 98FF785E369036F8 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:21:32] 723*2^1425634-1 is not prime. Res64: 8F95DB2BC8E6E91A Time : 0.0 sec. user=mdettweiler [2016-04-08 04:21:32] 747*2^1425634-1 is not prime. Res64: C54086A582EB0461 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:21:32] 813*2^1425634-1 is not prime. Res64: 58782F7A298616EE Time : 0.0 sec. user=mdettweiler [2016-04-08 04:21:33] 815*2^1425634-1 is not prime. Res64: 7A93DB2E64B1D9B0 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:22:02] 945*2^1425634-1 is not prime. Res64: 29529A324D38C560 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:22:02] 983*2^1425634-1 is not prime. Res64: 0A620574F6B118B7 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:22:02] 987*2^1425634-1 is not prime. Res64: 3FB56468C54A4D47 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:22:02] 643*2^1425635-1 is not prime. Res64: B0EADE398284563D Time : 0.0 sec. user=mdettweiler [2016-04-08 04:22:03] 693*2^1425635-1 is not prime. Res64: D35D89A7AC0200A4 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:27:04] 771*2^1425635-1 is not prime. Res64: 4C47BCC699BB07BD Time : 0.0 sec. user=mdettweiler [2016-04-08 04:27:05] 841*2^1425635-1 is not prime. Res64: 826EBD78F61E3258 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:27:05] 871*2^1425635-1 is not prime. Res64: 3FFC25E0B1B129B6 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:27:05] 883*2^1425635-1 is not prime. Res64: 8E61FB6AAE775606 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:27:05] 973*2^1425635-1 is not prime. Res64: C9CC2289D04FA64F Time : 0.0 sec. user=mdettweiler [2016-04-08 04:55:01] 717*2^1425636-1 is not prime. Res64: 6A37C54967CD149A Time : 0.0 sec. user=mdettweiler [2016-04-08 04:55:02] 899*2^1425636-1 is not prime. Res64: 6E8CD58D70B5C388 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:55:02] 903*2^1425636-1 is not prime. Res64: 0A4477C9D7C59A8F Time : 0.0 sec. user=mdettweiler [2016-04-08 04:55:02] 945*2^1425636-1 is not prime. Res64: 541B751C3E6E8165 Time : 0.0 sec. user=mdettweiler [2016-04-08 04:55:02] 983*2^1425636-1 is not prime. Res64: FD81C542058F4144 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:07:33] 987*2^1425636-1 is not prime. Res64: E0549A8F6BBF393B Time : 0.0 sec. user=mdettweiler [2016-04-08 05:07:33] 771*2^1425637-1 is not prime. Res64: D689446279B235DD Time : 0.0 sec. user=mdettweiler [2016-04-08 05:07:34] 897*2^1425637-1 is not prime. Res64: 9DDAB640856C1C99 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:07:34] 937*2^1425637-1 is not prime. Res64: 24B927B0C8D51A01 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:07:34] 945*2^1425637-1 is not prime. Res64: 6FD6FBAAE2215CCB Time : 0.0 sec. user=mdettweiler [2016-04-08 05:08:37] 957*2^1425637-1 is not prime. Res64: 9C688406246F2630 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:08:37] 603*2^1425638-1 is not prime. Res64: FD73FDB8DC15305D Time : 0.0 sec. user=mdettweiler [2016-04-08 05:08:37] 753*2^1425638-1 is not prime. Res64: 2FC0626A4A967F00 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:08:38] 761*2^1425638-1 is not prime. Res64: 3430E811EE791A21 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:08:38] 773*2^1425638-1 is not prime. Res64: 85AEAF2D44F8FE7D Time : 0.0 sec. user=mdettweiler [2016-04-08 05:13:14] 801*2^1425638-1 is not prime. Res64: F3486887A3AB325D Time : 0.0 sec. user=mdettweiler [2016-04-08 05:13:14] 815*2^1425638-1 is not prime. Res64: 55F22A9F53689432 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:13:14] 963*2^1425638-1 is not prime. Res64: B33F83D4D90B742F Time : 0.0 sec. user=mdettweiler [2016-04-08 05:13:15] 977*2^1425638-1 is not prime. Res64: 91FE7B6B06A9536D Time : 0.0 sec. user=mdettweiler [2016-04-08 05:13:15] 621*2^1425639-1 is not prime. Res64: 34F0CA389EBE1913 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:41:16] 649*2^1425639-1 is not prime. Res64: 6E9490AAD122666D Time : 0.0 sec. user=mdettweiler [2016-04-08 05:41:16] 685*2^1425639-1 is not prime. Res64: 833AF8CA41A250EA Time : 0.0 sec. user=mdettweiler [2016-04-08 05:41:17] 843*2^1425639-1 is not prime. Res64: 9A528B67A9BE98A3 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:41:17] 873*2^1425639-1 is not prime. Res64: 817612602F923A85 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:41:17] 879*2^1425639-1 is not prime. Res64: 1F4F15D0D597C8C0 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:52:56] 891*2^1425639-1 is not prime. Res64: C01A997A51798F85 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:52:56] 629*2^1425640-1 is not prime. Res64: F6BA5F455A867EAB Time : 0.0 sec. user=mdettweiler [2016-04-08 05:52:56] 803*2^1425640-1 is not prime. Res64: 59556EB8EB2F0169 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:52:57] 825*2^1425640-1 is not prime. Res64: F9CF565E45B01CC9 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:52:57] 843*2^1425640-1 is not prime. Res64: 945EB8F9CE831056 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:53:52] 989*2^1425640-1 is not prime. Res64: 0EDBB69E454E2384 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:53:52] 669*2^1425641-1 is not prime. Res64: F00537E759F5B4AF Time : 0.0 sec. user=mdettweiler [2016-04-08 05:53:52] 741*2^1425641-1 is not prime. Res64: 5A1892985AB99E04 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:53:53] 747*2^1425641-1 is not prime. Res64: 72B85FA0EBACA40E Time : 0.0 sec. user=mdettweiler [2016-04-08 05:53:53] 865*2^1425641-1 is not prime. Res64: 0F54694B4FE32720 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:58:26] 925*2^1425641-1 is not prime. Res64: 60B0B9819321C839 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:58:26] 949*2^1425641-1 is not prime. Res64: 24E953402071CD43 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:58:26] 633*2^1425642-1 is not prime. Res64: 30E86C398169E402 Time : 0.0 sec. user=mdettweiler [2016-04-08 05:58:26] 713*2^1425642-1 is not prime. Res64: F1C435CAB89BF4AB Time : 0.0 sec. user=mdettweiler [2016-04-08 05:58:27] 777*2^1425642-1 is not prime. Res64: 5B1D309EFB193592 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:26:05] 915*2^1425642-1 is not prime. Res64: 4E6C3D9FED06A9AE Time : 0.0 sec. user=mdettweiler [2016-04-08 06:26:05] 621*2^1425643-1 is not prime. Res64: 4ED8A533F42AB456 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:26:05] 703*2^1425643-1 is not prime. Res64: 3CAE9C0D7AE641F2 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:26:06] 765*2^1425643-1 is not prime. Res64: 71568AAA968BD0D5 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:26:06] 769*2^1425643-1 is not prime. Res64: DE31DAC12C853DA3 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:18] 793*2^1425643-1 is not prime. Res64: 2BCE29AE0BABF09C Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:19] 835*2^1425643-1 is not prime. Res64: 92F188D9F3656BFE Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:19] 635*2^1425644-1 is not prime. Res64: 2D2AAFFF14E24BF3 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:19] 767*2^1425644-1 is not prime. Res64: 367F777729296EC8 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:19] 813*2^1425644-1 is not prime. Res64: A4DB01DCF3723C74 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:54] 819*2^1425644-1 is not prime. Res64: 28D36622ECF8D0FB Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:55] 993*2^1425644-1 is not prime. Res64: C20A04EE8769C19F Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:55] 847*2^1425645-1 is not prime. Res64: 538D8038993D3745 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:55] 861*2^1425645-1 is not prime. Res64: 81EA81D24022FA5F Time : 0.0 sec. user=mdettweiler [2016-04-08 06:38:55] 889*2^1425645-1 is not prime. Res64: 949A38F3A80DAD6B Time : 0.0 sec. user=mdettweiler [2016-04-08 06:43:27] 919*2^1425645-1 is not prime. Res64: 39ABC7C7E9818FD1 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:43:27] 921*2^1425645-1 is not prime. Res64: 6D4D91A62F72640C Time : 0.0 sec. user=mdettweiler [2016-04-08 06:43:28] 611*2^1425646-1 is not prime. Res64: D2B9A01AC399F1A4 Time : 0.0 sec. user=mdettweiler [2016-04-08 06:43:28] 651*2^1425646-1 is not prime. Res64: 186F7A7A6334A58D Time : 0.0 sec. user=mdettweiler [2016-04-08 06:43:28] 723*2^1425646-1 is not prime. Res64: 97BC902791416611 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:10:56] 761*2^1425646-1 is not prime. Res64: A884BCC8D0692E89 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:10:57] 861*2^1425646-1 is not prime. Res64: 3F96778BAE21E60D Time : 0.0 sec. user=mdettweiler [2016-04-08 07:10:57] 873*2^1425646-1 is not prime. Res64: 3C72B8982D8C6C70 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:10:57] 911*2^1425646-1 is not prime. Res64: 211DB281B5BE35FE Time : 0.0 sec. user=mdettweiler [2016-04-08 07:10:57] 933*2^1425646-1 is not prime. Res64: 68739801ED7592DE Time : 0.0 sec. user=mdettweiler [2016-04-08 07:23:21] 945*2^1425646-1 is not prime. Res64: 53B44207E9D3FF34 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:23:21] 983*2^1425646-1 is not prime. Res64: 5033B502F8AACE55 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:23:22] 651*2^1425647-1 is not prime. Res64: 1E300DA7CE86901F Time : 0.0 sec. user=mdettweiler [2016-04-08 07:23:22] 673*2^1425647-1 is not prime. Res64: 0F02C0944F4C9D27 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:23:22] 715*2^1425647-1 is not prime. Res64: 0E849689C6A8FD81 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:24:01] 729*2^1425647-1 is not prime. Res64: D1AA47031F40FD6A Time : 0.0 sec. user=mdettweiler [2016-04-08 07:24:01] 759*2^1425647-1 is not prime. Res64: 7EA3D10C6022602A Time : 0.0 sec. user=mdettweiler [2016-04-08 07:24:02] 763*2^1425647-1 is not prime. Res64: 87F752E3FAFB5011 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:24:02] 781*2^1425647-1 is not prime. Res64: AC3A9645D3E6BEA1 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:24:02] 913*2^1425647-1 is not prime. Res64: 5B808B0B27364C09 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:28:33] 635*2^1425648-1 is not prime. Res64: 1A96AAF07A67D301 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:28:34] 683*2^1425648-1 is not prime. Res64: 4BA12BD9180E4567 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:28:34] 737*2^1425648-1 is not prime. Res64: 435EE6C742E224D2 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:28:34] 747*2^1425648-1 is not prime. Res64: 7838D6427ABAC39E Time : 0.0 sec. user=mdettweiler [2016-04-08 07:28:35] 875*2^1425648-1 is not prime. Res64: 9D282097B3DD30BC Time : 0.0 sec. user=mdettweiler [2016-04-08 07:55:51] 923*2^1425648-1 is not prime. Res64: 7B261D46844258B6 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:55:52] 969*2^1425648-1 is not prime. Res64: 482D4C144186D1B1 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:55:52] 999*2^1425648-1 is not prime. Res64: 5F644D8B8CD3C438 Time : 0.0 sec. user=mdettweiler [2016-04-08 07:55:52] 649*2^1425649-1 is not prime. Res64: 81936CF710A848DC Time : 0.0 sec. user=mdettweiler [2016-04-08 07:55:52] 771*2^1425649-1 is not prime. Res64: 1797D2F9B553FA28 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:08:22] 817*2^1425649-1 is not prime. Res64: 88E46B11EE5175AE Time : 0.0 sec. user=mdettweiler [2016-04-08 08:08:23] 847*2^1425649-1 is not prime. Res64: 3237C44ABB56D290 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:08:23] 855*2^1425649-1 is not prime. Res64: DA02D9D5D61E795E Time : 0.0 sec. user=mdettweiler [2016-04-08 08:08:23] 979*2^1425649-1 is not prime. Res64: 6D7CE5CBF2AC4F3F Time : 0.0 sec. user=mdettweiler [2016-04-08 08:08:24] 985*2^1425649-1 is not prime. Res64: 196E31381CC3109C Time : 0.0 sec. user=mdettweiler [2016-04-08 08:09:21] 603*2^1425650-1 is not prime. Res64: AEFC6C63CDF1D73E Time : 0.0 sec. user=mdettweiler [2016-04-08 08:09:21] 615*2^1425650-1 is not prime. Res64: 6E9585F55190A3B6 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:09:22] 773*2^1425650-1 is not prime. Res64: ED726A25588D8489 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:09:22] 783*2^1425650-1 is not prime. Res64: 04CE47FB541B8657 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:09:22] 845*2^1425650-1 is not prime. Res64: B5B10D49462F60E6 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:13:52] 867*2^1425650-1 is not prime. Res64: 6056CCCA4155264B Time : 0.0 sec. user=mdettweiler [2016-04-08 08:13:52] 951*2^1425650-1 is not prime. Res64: 15EEC8C21DA38964 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:13:53] 625*2^1425651-1 is not prime. Res64: 3D489EED17486721 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:13:53] 709*2^1425651-1 is not prime. Res64: B2A7652C0061BE9F Time : 0.0 sec. user=mdettweiler [2016-04-08 08:13:53] 741*2^1425651-1 is not prime. Res64: A67AEFDD8BBAC520 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:15:41] 717*2^1425652-1 is not prime. Res64: C02A9454292BB080 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:40:45] 931*2^1425651-1 is not prime. Res64: 75166156F069410A Time : 0.0 sec. user=mdettweiler [2016-04-08 08:40:45] 961*2^1425651-1 is not prime. Res64: 033B2103BC3BA923 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:40:45] 975*2^1425651-1 is not prime. Res64: 013123B81ACA97FA Time : 0.0 sec. user=mdettweiler [2016-04-08 08:40:45] 605*2^1425652-1 is not prime. Res64: 49278238D93758C1 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:40:46] 705*2^1425652-1 is not prime. Res64: A6C5A25BA911C51F Time : 0.0 sec. user=mdettweiler [2016-04-08 08:53:46] 863*2^1425652-1 is not prime. Res64: 5E93C6FB91C6533D Time : 0.0 sec. user=mdettweiler [2016-04-08 08:53:46] 983*2^1425652-1 is not prime. Res64: 1494CFF50E72929E Time : 0.0 sec. user=mdettweiler [2016-04-08 08:53:46] 607*2^1425653-1 is not prime. Res64: 34ACEECE5FB9ADE5 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:53:47] 649*2^1425653-1 is not prime. Res64: ED20931845D823FB Time : 0.0 sec. user=mdettweiler [2016-04-08 08:53:47] 697*2^1425653-1 is not prime. Res64: 9B81036DDE2E76DC Time : 0.0 sec. user=mdettweiler [2016-04-08 08:54:28] 699*2^1425653-1 is not prime. Res64: 7E90FC03F0C7C1DA Time : 0.0 sec. user=mdettweiler [2016-04-08 08:54:28] 747*2^1425653-1 is not prime. Res64: BB8C4C587C9F55A3 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:54:28] 757*2^1425653-1 is not prime. Res64: EE5701B5FFC70CCB Time : 0.0 sec. user=mdettweiler [2016-04-08 08:54:28] 769*2^1425653-1 is not prime. Res64: 3753E52382A7525E Time : 0.0 sec. user=mdettweiler [2016-04-08 08:54:29] 795*2^1425653-1 is not prime. Res64: 6FD6C712D47556F2 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:59:10] 945*2^1425653-1 is not prime. Res64: B424FC6FFC935870 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:59:10] 651*2^1425654-1 is not prime. Res64: 924FBE56A4824B26 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:59:11] 693*2^1425654-1 is not prime. Res64: 83DC47585D1F6470 Time : 0.0 sec. user=mdettweiler [2016-04-08 08:59:11] 705*2^1425654-1 is not prime. Res64: E62545960AE002DC Time : 0.0 sec. user=mdettweiler [2016-04-08 08:59:11] 773*2^1425654-1 is not prime. Res64: FB50742994B25EB0 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:25:47] 791*2^1425654-1 is not prime. Res64: 5DC8752C38203D00 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:25:48] 915*2^1425654-1 is not prime. Res64: A455294F9C5A81EA Time : 0.0 sec. user=mdettweiler [2016-04-08 09:25:48] 965*2^1425654-1 is not prime. Res64: 3811C5A661AF2110 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:25:48] 971*2^1425654-1 is not prime. Res64: 5674D65C56E930A1 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:25:49] 609*2^1425655-1 is not prime. Res64: D3017462936BC0AF Time : 0.0 sec. user=mdettweiler [2016-04-08 09:38:51] 673*2^1425655-1 is not prime. Res64: 9CA7F0812C8644E9 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:38:52] 735*2^1425655-1 is not prime. Res64: 723042DFB2941AC4 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:38:52] 831*2^1425655-1 is not prime. Res64: 2F6E1944817B837D Time : 0.0 sec. user=mdettweiler [2016-04-08 09:38:52] 841*2^1425655-1 is not prime. Res64: FFE435222F2F1586 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:38:52] 961*2^1425655-1 is not prime. Res64: 4B2E16E1521B8012 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:39:34] 973*2^1425655-1 is not prime. Res64: 6EBA530250646A28 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:39:34] 617*2^1425656-1 is not prime. Res64: B76BBC05CF176A86 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:39:34] 903*2^1425656-1 is not prime. Res64: EC6B0BE66833D5BF Time : 0.0 sec. user=mdettweiler [2016-04-08 09:39:34] 651*2^1425657-1 is not prime. Res64: A7A2263C0BD970F2 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:39:35] 681*2^1425657-1 is not prime. Res64: D3BEC74D41F9F36C Time : 0.0 sec. user=mdettweiler [2016-04-08 09:44:20] 685*2^1425657-1 is not prime. Res64: 6D37AAA800C43F45 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:44:20] 699*2^1425657-1 is not prime. Res64: B411DAAA9D095725 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:44:20] 727*2^1425657-1 is not prime. Res64: 4E0CCFE033D3CD97 Time : 0.0 sec. user=mdettweiler [2016-04-08 09:44:20] 739*2^1425657-1 is not prime. Res64: 23B2C68C1BCA232E Time : 0.0 sec. user=mdettweiler [2016-04-08 09:44:21] 741*2^1425657-1 is not prime. Res64: C067200D4E1EE835 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:10:43] 777*2^1425657-1 is not prime. Res64: 9823516214079D6E Time : 0.0 sec. user=mdettweiler [2016-04-08 10:10:43] 781*2^1425657-1 is not prime. Res64: B7C60B34E8006D36 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:10:44] 937*2^1425657-1 is not prime. Res64: C0C92EB36E485DB7 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:10:44] 991*2^1425657-1 is not prime. Res64: F57B2DCF5E07E145 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:10:44] 621*2^1425658-1 is not prime. Res64: CE011699DF2640BB Time : 0.0 sec. user=mdettweiler [2016-04-08 10:23:56] 623*2^1425658-1 is not prime. Res64: 4198C5F218273299 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:23:57] 645*2^1425658-1 is not prime. Res64: F1FA6D088C637854 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:23:57] 665*2^1425658-1 is not prime. Res64: 1138FC6EB8D3FAAF Time : 0.0 sec. user=mdettweiler [2016-04-08 10:23:58] 687*2^1425658-1 is not prime. Res64: AB3E49AFB75B42F0 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:23:58] 707*2^1425658-1 is not prime. Res64: 335219A5E3A00205 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:24:43] 723*2^1425658-1 is not prime. Res64: D8FCD7809A3C198A Time : 0.0 sec. user=mdettweiler [2016-04-08 10:24:43] 845*2^1425658-1 is not prime. Res64: 3356D5AD45A9266A Time : 0.0 sec. user=mdettweiler [2016-04-08 10:24:43] 951*2^1425658-1 is not prime. Res64: 935939C7E6CEA6AF Time : 0.0 sec. user=mdettweiler [2016-04-08 10:24:44] 957*2^1425658-1 is not prime. Res64: FDB0F37570E377F3 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:24:44] 615*2^1425659-1 is not prime. Res64: 6151D8BC0FA89AF1 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:29:17] 663*2^1425659-1 is not prime. Res64: 8ED73191685F7FBA Time : 0.0 sec. user=mdettweiler [2016-04-08 10:29:17] 711*2^1425659-1 is not prime. Res64: 1217745A8A2DF8C1 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:29:18] 745*2^1425659-1 is not prime. Res64: 11C6F9E79D06EF64 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:29:18] 753*2^1425659-1 is not prime. Res64: ED4047F8B58B2B44 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:29:18] 921*2^1425659-1 is not prime. Res64: DC31D68AFECCC975 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:55:42] 985*2^1425659-1 is not prime. Res64: 8844464A4A311D1F Time : 0.0 sec. user=mdettweiler [2016-04-08 10:55:42] 627*2^1425660-1 is not prime. Res64: 7A711B8EFD6A6386 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:55:43] 629*2^1425660-1 is not prime. Res64: 2A3623888D0D5F1D Time : 0.0 sec. user=mdettweiler [2016-04-08 10:55:43] 693*2^1425660-1 is not prime. Res64: BB19004CA9D32543 Time : 0.0 sec. user=mdettweiler [2016-04-08 10:55:43] 783*2^1425660-1 is not prime. Res64: 39084D940038F7FA Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:02] 867*2^1425660-1 is not prime. Res64: F24886DED74FB34E Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:03] 873*2^1425660-1 is not prime. Res64: 5791BBF1028AE1E2 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:03] 879*2^1425660-1 is not prime. Res64: C6A8276F4E7ECDDA Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:03] 887*2^1425660-1 is not prime. Res64: D6BC8F11ADECB50A Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:04] 959*2^1425660-1 is not prime. Res64: E3484ECB4816A3A6 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:43] 687*2^1425661-1 is not prime. Res64: C9229C089BFDE2BC Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:44] 717*2^1425661-1 is not prime. Res64: 31E4D939A48FF7C0 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:44] 657*2^1425662-1 is not prime. Res64: F0A713391CB88F8E Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:44] 771*2^1425662-1 is not prime. Res64: 0542B3F1078204D7 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:09:44] 791*2^1425662-1 is not prime. Res64: 75A07694A0B9B59A Time : 0.0 sec. user=mdettweiler [2016-04-08 11:14:16] 885*2^1425662-1 is not prime. Res64: 5EF413FBB6BC8B9D Time : 0.0 sec. user=mdettweiler [2016-04-08 11:14:16] 917*2^1425662-1 is not prime. Res64: BC791FEBD16B6128 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:14:16] 619*2^1425663-1 is not prime. Res64: 9F7916BE3EA74A20 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:14:17] 693*2^1425663-1 is not prime. Res64: 1A2A1EAF06DC1E06 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:14:17] 709*2^1425663-1 is not prime. Res64: BDFD7F2B19805E06 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:40:40] 751*2^1425663-1 is not prime. Res64: 210791960A9E336A Time : 0.0 sec. user=mdettweiler [2016-04-08 11:40:40] 805*2^1425663-1 is not prime. Res64: 265307E9F6EBBEE3 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:40:41] 823*2^1425663-1 is not prime. Res64: C8FE42EF2986956F Time : 0.0 sec. user=mdettweiler [2016-04-08 11:40:41] 707*2^1425664-1 is not prime. Res64: 1B0FCB91CB6A53EC Time : 0.0 sec. user=mdettweiler [2016-04-08 11:40:41] 747*2^1425664-1 is not prime. Res64: 394A15D2099B4F19 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:14] 765*2^1425664-1 is not prime. Res64: 4C8C909855F20F39 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:14] 863*2^1425664-1 is not prime. Res64: F9AF4D5807B68BFA Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:14] 897*2^1425664-1 is not prime. Res64: 99A56E2D2947F9AC Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:14] 975*2^1425664-1 is not prime. Res64: 093D2783B90940D7 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:15] 729*2^1425665-1 is not prime. Res64: 651FF3A448181554 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:52] 771*2^1425665-1 is not prime. Res64: 74B03197F3FD91C3 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:52] 795*2^1425665-1 is not prime. Res64: C818CB6A3E0B86FD Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:53] 951*2^1425665-1 is not prime. Res64: 175307AAA8888BE7 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:53] 741*2^1425666-1 is not prime. Res64: C0E713091B0022FB Time : 0.0 sec. user=mdettweiler [2016-04-08 11:54:53] 803*2^1425666-1 is not prime. Res64: 42B006AC1F781FD2 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:59:25] 887*2^1425666-1 is not prime. Res64: A55BC2E76ECAC69B Time : 0.0 sec. user=mdettweiler [2016-04-08 11:59:25] 945*2^1425666-1 is not prime. Res64: 0E5309F30DEE8621 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:59:26] 993*2^1425666-1 is not prime. Res64: F0C8B29C0DC9EA25 Time : 0.0 sec. user=mdettweiler [2016-04-08 11:59:26] 615*2^1425667-1 is not prime. Res64: 523D6A9E4B18906E Time : 0.0 sec. user=mdettweiler [2016-04-08 11:59:26] 733*2^1425667-1 is not prime. Res64: F1B71E5AEC9D269C Time : 0.0 sec. user=mdettweiler [2016-04-08 12:25:26] 759*2^1425667-1 is not prime. Res64: 6810F6AD46FB4072 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:25:27] 931*2^1425667-1 is not prime. Res64: FCFAFA1515AD1DEA Time : 0.0 sec. user=mdettweiler [2016-04-08 12:25:27] 945*2^1425667-1 is not prime. Res64: 9AFD40DB1CA66DA3 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:25:27] 617*2^1425668-1 is not prime. Res64: 25754631C996DC76 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:25:28] 707*2^1425668-1 is not prime. Res64: 3FDD970C95D14BCC Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:22] 813*2^1425668-1 is not prime. Res64: 9CE37A29B19B3E1F Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:23] 845*2^1425668-1 is not prime. Res64: EE33BAFED2784CDF Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:23] 879*2^1425668-1 is not prime. Res64: 1FAF9C3813270959 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:23] 609*2^1425669-1 is not prime. Res64: 227A9835FF9A3605 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:23] 721*2^1425669-1 is not prime. Res64: C0BFE8E91FBA7CA1 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:52] 975*2^1425669-1 is not prime. Res64: 2F52648A5F014642 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:52] 979*2^1425669-1 is not prime. Res64: 00AB0C7A8A9FCF05 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:53] 677*2^1425670-1 is not prime. Res64: 9873300F32921E3D Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:53] 743*2^1425670-1 is not prime. Res64: C8717E41FDC784EC Time : 0.0 sec. user=mdettweiler [2016-04-08 12:39:53] 747*2^1425670-1 is not prime. Res64: 4D03F18865A473C3 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:44:40] 791*2^1425670-1 is not prime. Res64: 5514CDB32520DEB8 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:44:41] 827*2^1425670-1 is not prime. Res64: 58F3883D2402206C Time : 0.0 sec. user=mdettweiler [2016-04-08 12:44:41] 833*2^1425670-1 is not prime. Res64: 46DBC3FB229F9E79 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:44:41] 857*2^1425670-1 is not prime. Res64: 932E3249F73BDF74 Time : 0.0 sec. user=mdettweiler [2016-04-08 12:44:41] 861*2^1425670-1 is not prime. Res64: 187AC30E89019F70 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:10:28] 915*2^1425670-1 is not prime. Res64: EA26ED2279FE149E Time : 0.0 sec. user=mdettweiler [2016-04-08 13:10:28] 917*2^1425670-1 is not prime. Res64: 646370540E5AA803 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:10:28] 615*2^1425671-1 is not prime. Res64: B153851BD3A4F3AF Time : 0.0 sec. user=mdettweiler [2016-04-08 13:10:29] 679*2^1425671-1 is not prime. Res64: B1C3AB7C4CCA0A04 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:10:29] 759*2^1425671-1 is not prime. Res64: 4FEECE7F14795A56 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:21] 789*2^1425671-1 is not prime. Res64: 8FB40AD3F1E93C18 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:21] 879*2^1425671-1 is not prime. Res64: 2BED6A1767C5BE59 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:21] 889*2^1425671-1 is not prime. Res64: 14D80F45777E93CA Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:21] 949*2^1425671-1 is not prime. Res64: E78B6EBEA2812076 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:22] 969*2^1425671-1 is not prime. Res64: 1C7DFA7EE63E72C0 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:44] 635*2^1425672-1 is not prime. Res64: B96409D1A4F869AA Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:44] 689*2^1425672-1 is not prime. Res64: CD837B974486AFAF Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:44] 693*2^1425672-1 is not prime. Res64: 72AC1338FC9296EC Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:44] 695*2^1425672-1 is not prime. Res64: 69A8568CBB773EE1 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:24:45] 725*2^1425672-1 is not prime. Res64: B278C18897649470 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:29:51] 777*2^1425672-1 is not prime. Res64: 6FDDF11D6C4BFC6C Time : 0.0 sec. user=mdettweiler [2016-04-08 13:29:51] 899*2^1425672-1 is not prime. Res64: DD27184430C1A3A3 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:29:51] 923*2^1425672-1 is not prime. Res64: 6738AA5B06B8ABC1 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:29:51] 933*2^1425672-1 is not prime. Res64: CA5D729CBAA031CB Time : 0.0 sec. user=mdettweiler [2016-04-08 13:29:52] 609*2^1425673-1 is not prime. Res64: 166B739206CB9A1A Time : 0.0 sec. user=mdettweiler [2016-04-08 13:55:25] 649*2^1425673-1 is not prime. Res64: 20B43AF1E2525019 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:55:26] 715*2^1425673-1 is not prime. Res64: FCD48C9525593603 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:55:26] 721*2^1425673-1 is not prime. Res64: 46F11DB4890A23E8 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:55:26] 769*2^1425673-1 is not prime. Res64: F4E200466F0EE0B2 Time : 0.0 sec. user=mdettweiler [2016-04-08 13:55:26] 771*2^1425673-1 is not prime. Res64: 35D03DA43FD0A352 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:31] 861*2^1425673-1 is not prime. Res64: 688C8D69F7B63DB4 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:32] 919*2^1425673-1 is not prime. Res64: 3D9DA4A7819D9F2A Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:32] 967*2^1425673-1 is not prime. Res64: EA6C8BCC4A5DF46D Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:32] 999*2^1425673-1 is not prime. Res64: D4BF67521D26131A Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:32] 617*2^1425674-1 is not prime. Res64: C855FC16A93C1F08 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:48] 741*2^1425674-1 is not prime. Res64: 1CA4B5284A26947E Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:48] 791*2^1425674-1 is not prime. Res64: 5690AFEDDA000A5C Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:49] 833*2^1425674-1 is not prime. Res64: DA6EDAF6F291ED41 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:49] 923*2^1425674-1 is not prime. Res64: 6C3BA0EBC87E16B0 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:09:49] 941*2^1425674-1 is not prime. Res64: FB309E6B647048F3 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:15:08] 1001*2^1425674-1 is not prime. Res64: 510B4733A4E0780E Time : 0.0 sec. user=mdettweiler [2016-04-08 14:15:09] 651*2^1425675-1 is not prime. Res64: 2DA004CF4A8BA5F9 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:15:09] 765*2^1425675-1 is not prime. Res64: 7F8771ED8355F8DD Time : 0.0 sec. user=mdettweiler [2016-04-08 14:15:09] 801*2^1425675-1 is not prime. Res64: 58D3ABC87BE1F3C4 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:15:09] 647*2^1425676-1 is not prime. Res64: BD6979438DC25977 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:41:01] 717*2^1425676-1 is not prime. Res64: B633AF5D5BC6CBF6 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:41:01] 749*2^1425676-1 is not prime. Res64: E05B2FBB3E34E8F9 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:41:01] 939*2^1425676-1 is not prime. Res64: 54DB424F8AEF5E61 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:41:02] 669*2^1425677-1 is not prime. Res64: FB8E80F7129823B8 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:41:02] 715*2^1425677-1 is not prime. Res64: B2CBCE9BC287E2E6 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:56:56] 717*2^1425677-1 is not prime. Res64: AB9DAEE219A03455 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:56:56] 757*2^1425677-1 is not prime. Res64: 5E7C317FC6291274 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:56:56] 847*2^1425677-1 is not prime. Res64: 0AD9857C5ADE247F Time : 0.0 sec. user=mdettweiler [2016-04-08 14:56:57] 931*2^1425677-1 is not prime. Res64: AF995ADBEAE652A9 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:56:57] 945*2^1425677-1 is not prime. Res64: 2963108BBAC982B1 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:57:44] 663*2^1425678-1 is not prime. Res64: D6C80B50BAD38418 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:57:45] 737*2^1425678-1 is not prime. Res64: 4EC0919E2749495E Time : 0.0 sec. user=mdettweiler [2016-04-08 14:57:45] 765*2^1425678-1 is not prime. Res64: 4D6AE3F87B2DC69A Time : 0.0 sec. user=mdettweiler [2016-04-08 14:57:45] 777*2^1425678-1 is not prime. Res64: EECB5BD28317B9C8 Time : 0.0 sec. user=mdettweiler [2016-04-08 14:57:45] 833*2^1425678-1 is not prime. Res64: 9DF6C5B615E86559 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:02:45] 685*2^1425679-1 is not prime. Res64: 6DBF6D408E0CC03E Time : 0.0 sec. user=mdettweiler [2016-04-08 15:02:46] 771*2^1425679-1 is not prime. Res64: 8DC7C1512F78DF06 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:02:47] 885*2^1425679-1 is not prime. Res64: 62184DBB3D649E1B Time : 0.0 sec. user=mdettweiler [2016-04-08 15:02:48] 919*2^1425679-1 is not prime. Res64: A8C9207A280DBC13 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:02:48] 925*2^1425679-1 is not prime. Res64: 7C8D0D9D9150673F Time : 0.0 sec. user=mdettweiler [2016-04-08 15:30:37] 603*2^1425680-1 is not prime. Res64: 26CAB86F27A0256A Time : 0.0 sec. user=mdettweiler [2016-04-08 15:30:37] 825*2^1425680-1 is not prime. Res64: 2859EDC0E08D6E6D Time : 0.0 sec. user=mdettweiler [2016-04-08 15:30:37] 845*2^1425680-1 is not prime. Res64: 4E2CD9CB9B40E2FA Time : 0.0 sec. user=mdettweiler [2016-04-08 15:30:38] 637*2^1425681-1 is not prime. Res64: D962CF8E3D589B06 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:30:38] 669*2^1425681-1 is not prime. Res64: 295465DEC3D983F7 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:45:47] 807*2^1425681-1 is not prime. Res64: 1174211B2C151768 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:45:47] 865*2^1425681-1 is not prime. Res64: 9A2D05D5CEA4F320 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:45:47] 955*2^1425681-1 is not prime. Res64: A8275451180592BB Time : 0.0 sec. user=mdettweiler [2016-04-08 15:45:48] 677*2^1425682-1 is not prime. Res64: 331114AEF626DBBB Time : 0.0 sec. user=mdettweiler [2016-04-08 15:45:48] 713*2^1425682-1 is not prime. Res64: 5EDD3F2BC7CA8BCD Time : 0.0 sec. user=mdettweiler [2016-04-08 15:46:35] 735*2^1425682-1 is not prime. Res64: BFD301A4D4955DDC Time : 0.0 sec. user=mdettweiler [2016-04-08 15:46:35] 825*2^1425682-1 is not prime. Res64: 4C2ACC0D7F18ACDC Time : 0.0 sec. user=mdettweiler [2016-04-08 15:46:35] 833*2^1425682-1 is not prime. Res64: F90885A9638DE347 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:46:36] 1001*2^1425682-1 is not prime. Res64: 764C7FFA152C6138 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:46:36] 675*2^1425683-1 is not prime. Res64: 14817FFAE6B998F7 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:51:45] 783*2^1425683-1 is not prime. Res64: 54C6F871205A3404 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:51:45] 801*2^1425683-1 is not prime. Res64: 6B46452B3E722BA8 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:51:46] 819*2^1425683-1 is not prime. Res64: A2989C8078B26B07 Time : 0.0 sec. user=mdettweiler [2016-04-08 15:51:46] 879*2^1425683-1 is not prime. Res64: 49F2C4B95DD0E2DA Time : 0.0 sec. user=mdettweiler [2016-04-08 15:51:46] 895*2^1425683-1 is not prime. Res64: 9B098EBF2D0DC58C Time : 0.0 sec. user=mdettweiler [2016-04-08 16:16:57] 939*2^1425683-1 is not prime. Res64: DA4C55B8E5AD364A Time : 0.0 sec. user=mdettweiler [2016-04-08 16:16:57] 969*2^1425683-1 is not prime. Res64: 593371155BEFE31E Time : 0.0 sec. user=mdettweiler [2016-04-08 16:16:58] 993*2^1425683-1 is not prime. Res64: 04271676B609889B Time : 0.0 sec. user=mdettweiler [2016-04-08 16:16:58] 657*2^1425684-1 is not prime. Res64: AB8F142F4A38368E Time : 0.0 sec. user=mdettweiler [2016-04-08 16:16:58] 663*2^1425684-1 is not prime. Res64: 5697A6621F2DE5FF Time : 0.0 sec. user=mdettweiler [2016-04-08 16:30:57] 789*2^1425684-1 is not prime. Res64: 8D77C6EFFA7D073C Time : 0.0 sec. user=mdettweiler [2016-04-08 16:30:57] 837*2^1425684-1 is not prime. Res64: 99FAD96BA36A536A Time : 0.0 sec. user=mdettweiler [2016-04-08 16:30:58] 947*2^1425684-1 is not prime. Res64: 69BA13550D19D20F Time : 0.0 sec. user=mdettweiler [2016-04-08 16:30:58] 717*2^1425685-1 is not prime. Res64: 387206338760BE12 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:30:58] 729*2^1425685-1 is not prime. Res64: 92A343CE0AB21FB6 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:31:44] 789*2^1425685-1 is not prime. Res64: 1CCCD52EEFC8A3C3 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:31:44] 895*2^1425685-1 is not prime. Res64: 5C437DF722CE0928 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:31:44] 617*2^1425686-1 is not prime. Res64: 83714984BAEB955B Time : 0.0 sec. user=mdettweiler [2016-04-08 16:31:44] 827*2^1425686-1 is not prime. Res64: F8B907D7467F008E Time : 0.0 sec. user=mdettweiler [2016-04-08 16:31:45] 911*2^1425686-1 is not prime. Res64: 9586A5A3BE705732 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:36:53] 935*2^1425686-1 is not prime. Res64: F4ACF6D790CDF35C Time : 0.0 sec. user=mdettweiler [2016-04-08 16:36:53] 741*2^1425687-1 is not prime. Res64: AB3CF4F54AA720C1 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:36:53] 829*2^1425687-1 is not prime. Res64: DF7F3D83A6942692 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:36:54] 623*2^1425688-1 is not prime. Res64: BA347850D5D223E0 Time : 0.0 sec. user=mdettweiler [2016-04-08 16:36:54] 705*2^1425688-1 is not prime. Res64: 0AC9249B3761D2B1 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:02:18] 803*2^1425688-1 is not prime. Res64: D6E1D717179FA455 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:02:19] 827*2^1425688-1 is not prime. Res64: 11408B6A530BEF10 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:02:20] 909*2^1425688-1 is not prime. Res64: C9CDC732E3D76EF1 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:02:20] 947*2^1425688-1 is not prime. Res64: 890737B696BC58C6 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:02:20] 957*2^1425688-1 is not prime. Res64: CF17BF8F2F30F4EE Time : 0.0 sec. user=mdettweiler [2016-04-08 17:16:19] 999*2^1425688-1 is not prime. Res64: 3F7B3E4A6689BB7D Time : 0.0 sec. user=mdettweiler [2016-04-08 17:16:19] 601*2^1425689-1 is not prime. Res64: 3A17A0AEC19ADF7D Time : 0.0 sec. user=mdettweiler [2016-04-08 17:16:19] 645*2^1425689-1 is not prime. Res64: 88E2D0F2FC50EB97 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:16:20] 787*2^1425689-1 is not prime. Res64: B3B3564994D8107D Time : 0.0 sec. user=mdettweiler [2016-04-08 17:16:20] 829*2^1425689-1 is not prime. Res64: C9F65752D92F0DD5 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:17:06] 847*2^1425689-1 is not prime. Res64: 7316E8F79FA1A5C7 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:17:06] 861*2^1425689-1 is not prime. Res64: 3DA35EA95406D1DF Time : 0.0 sec. user=mdettweiler [2016-04-08 17:17:06] 949*2^1425689-1 is not prime. Res64: 15654AB87890371C Time : 0.0 sec. user=mdettweiler [2016-04-08 17:17:06] 611*2^1425690-1 is not prime. Res64: 09F05AB7558703DA Time : 0.0 sec. user=mdettweiler [2016-04-08 17:17:07] 717*2^1425690-1 is not prime. Res64: 8D44A1D58D7BFC52 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:22:02] 843*2^1425690-1 is not prime. Res64: 4DFC7A88DF55D0C0 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:22:02] 835*2^1425691-1 is not prime. Res64: FD7F2A54E17194ED Time : 0.0 sec. user=mdettweiler [2016-04-08 17:22:02] 931*2^1425691-1 is not prime. Res64: EE4578350FFC6FF1 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:22:03] 633*2^1425692-1 is not prime. Res64: B899414DC2F97211 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:22:03] 677*2^1425692-1 is not prime. Res64: 58AC376A9D7637FF Time : 0.0 sec. user=mdettweiler [2016-04-08 17:47:37] 691*2^1425693-1 is not prime. Res64: F5014C557C79E31A Time : 0.0 sec. user=mdettweiler [2016-04-08 17:47:38] 747*2^1425693-1 is not prime. Res64: 997608C67FAC997C Time : 0.0 sec. user=mdettweiler [2016-04-08 17:47:38] 787*2^1425693-1 is not prime. Res64: A4D8E97A8942E9E4 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:47:38] 889*2^1425693-1 is not prime. Res64: 5A4B1807EF34F601 Time : 0.0 sec. user=mdettweiler [2016-04-08 17:47:38] 987*2^1425693-1 is not prime. Res64: 8240B26141BBFBC8 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:01:33] 991*2^1425693-1 is not prime. Res64: EE1A4D5D7FFBB6CD Time : 0.0 sec. user=mdettweiler [2016-04-08 18:01:34] 617*2^1425694-1 is not prime. Res64: 877E32A6CE5C9519 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:01:34] 635*2^1425694-1 is not prime. Res64: 824E7920311CA729 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:01:35] 681*2^1425694-1 is not prime. Res64: 0335554193CBBD6C Time : 0.0 sec. user=mdettweiler [2016-04-08 18:01:35] 731*2^1425694-1 is not prime. Res64: 26A2A7038F221023 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:02:17] 741*2^1425694-1 is not prime. Res64: BA977195251D3B6F Time : 0.0 sec. user=mdettweiler [2016-04-08 18:02:18] 755*2^1425694-1 is not prime. Res64: A177A04E4F9DB10F Time : 0.0 sec. user=mdettweiler [2016-04-08 18:02:19] 923*2^1425694-1 is not prime. Res64: FBA6A80CBB6B5B22 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:02:19] 1001*2^1425694-1 is not prime. Res64: B83B1B388BAFF8BA Time : 0.0 sec. user=mdettweiler [2016-04-08 18:02:19] 651*2^1425695-1 is not prime. Res64: 9D66885014FF9B67 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:07:12] 789*2^1425695-1 is not prime. Res64: 121EB701F664064B Time : 0.0 sec. user=mdettweiler [2016-04-08 18:07:12] 825*2^1425695-1 is not prime. Res64: B9363A745C35AE68 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:07:12] 853*2^1425695-1 is not prime. Res64: 8C5E0F1E206CE8A5 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:07:13] 859*2^1425695-1 is not prime. Res64: 12D4C8DCA8958B8F Time : 0.0 sec. user=mdettweiler [2016-04-08 18:07:13] 871*2^1425695-1 is not prime. Res64: 396FEBC702C31226 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:25:41] 937*2^1425697-1 is not prime. Res64: 14A7B932EF12357F Time : 0.0 sec. user=mdettweiler [2016-04-08 18:32:30] 883*2^1425695-1 is not prime. Res64: 342CE9F150B41188 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:32:31] 999*2^1425695-1 is not prime. Res64: DFD0018F6E865046 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:32:31] 719*2^1425696-1 is not prime. Res64: 4C9D802D07CE2952 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:32:31] 825*2^1425696-1 is not prime. Res64: 9284FA47FF4A2EE7 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:32:31] 893*2^1425696-1 is not prime. Res64: 312AC3AA2BAE1391 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:46:40] 945*2^1425696-1 is not prime. Res64: A5ECC95B47417B35 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:46:41] 607*2^1425697-1 is not prime. Res64: 019E7FDB6A84C459 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:46:41] 615*2^1425697-1 is not prime. Res64: 7530F82A8F04247C Time : 0.0 sec. user=mdettweiler [2016-04-08 18:46:41] 619*2^1425697-1 is not prime. Res64: 13A5AF58E7B3BDD3 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:46:41] 649*2^1425697-1 is not prime. Res64: 1EAB179337D15764 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:47:18] 685*2^1425697-1 is not prime. Res64: 660A62258CBF4100 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:47:18] 801*2^1425697-1 is not prime. Res64: E041AD8494E7B9FC Time : 0.0 sec. user=mdettweiler [2016-04-08 18:47:18] 885*2^1425697-1 is not prime. Res64: 77B57A61AB4890C5 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:47:19] 915*2^1425697-1 is not prime. Res64: 4497683F94BB4600 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:47:19] 931*2^1425697-1 is not prime. Res64: 8BC188858D9DDBF6 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:52:23] 957*2^1425697-1 is not prime. Res64: 7A54B9DA24B3602E Time : 0.0 sec. user=mdettweiler [2016-04-08 18:52:23] 755*2^1425698-1 is not prime. Res64: 345831B9234D71C1 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:52:24] 813*2^1425698-1 is not prime. Res64: 68F9E50A1F7CAFF4 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:52:24] 825*2^1425698-1 is not prime. Res64: BE1EBFA054E74FD1 Time : 0.0 sec. user=mdettweiler [2016-04-08 18:52:24] 705*2^1425699-1 is not prime. Res64: 31A6A702624BFE86 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:19:33] 723*2^1425699-1 is not prime. Res64: 3224D9D795856485 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:19:34] 735*2^1425699-1 is not prime. Res64: C0D803BB074B32A3 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:19:34] 753*2^1425699-1 is not prime. Res64: 31F3DFFD08886032 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:19:34] 775*2^1425699-1 is not prime. Res64: B0C9C7F4C8C142EF Time : 0.0 sec. user=mdettweiler [2016-04-08 19:19:35] 623*2^1425700-1 is not prime. Res64: E286FE8AC1E70940 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:36:25] 677*2^1425700-1 is not prime. Res64: 015A87BE56894C0B Time : 0.0 sec. user=mdettweiler [2016-04-08 19:36:25] 689*2^1425700-1 is not prime. Res64: 506419EAE8AE16DE Time : 0.0 sec. user=mdettweiler [2016-04-08 19:36:25] 717*2^1425700-1 is not prime. Res64: 2F01C9C53E9B4C3D Time : 0.0 sec. user=mdettweiler [2016-04-08 19:36:25] 743*2^1425700-1 is not prime. Res64: 79F6318E92906210 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:36:26] 777*2^1425700-1 is not prime. Res64: 51628E7006D751CD Time : 0.0 sec. user=mdettweiler [2016-04-08 19:37:46] 819*2^1425700-1 is not prime. Res64: A6BC9AC6A7979E8C Time : 0.0 sec. user=mdettweiler [2016-04-08 19:37:46] 899*2^1425700-1 is not prime. Res64: 198A03E040AACFD0 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:37:46] 983*2^1425700-1 is not prime. Res64: D13F88034C9E5AD6 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:37:47] 621*2^1425701-1 is not prime. Res64: 01EFE6A8ABEE86C2 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:37:47] 645*2^1425701-1 is not prime. Res64: FFE7446B0DB37E1F Time : 0.0 sec. user=mdettweiler [2016-04-08 19:42:18] 769*2^1425701-1 is not prime. Res64: 40B2B1F4F321D9D7 Time : 0.0 sec. user=mdettweiler [2016-04-08 19:42:18] 801*2^1425701-1 is not prime. Res64: 2293C72B14BDFE7B Time : 0.0 sec. user=mdettweiler [2016-04-08 19:42:18] 925*2^1425701-1 is not prime. Res64: 91331C9AC6EB2BDC Time : 0.0 sec. user=mdettweiler [2016-04-08 19:42:18] 937*2^1425701-1 is not prime. Res64: BCD49512A9F0792C Time : 0.0 sec. user=mdettweiler [2016-04-08 19:42:19] 939*2^1425701-1 is not prime. Res64: 2D0EEA5F9A458884 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:14:29] 991*2^1425701-1 is not prime. Res64: E24C0C440806F4B4 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:14:29] 665*2^1425702-1 is not prime. Res64: 0577DE51A7E66B79 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:14:29] 755*2^1425702-1 is not prime. Res64: 7751AC36C5838A98 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:14:30] 777*2^1425702-1 is not prime. Res64: BFF47EFB461D8AF9 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:14:30] 807*2^1425702-1 is not prime. Res64: CE008CF63AFF8AB1 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:26:58] 941*2^1425702-1 is not prime. Res64: ED7B8E19B9C3E449 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:26:58] 625*2^1425703-1 is not prime. Res64: 8F31A853D9C2C71E Time : 0.0 sec. user=mdettweiler [2016-04-08 20:26:59] 663*2^1425703-1 is not prime. Res64: 8472E5C7076ADB71 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:26:59] 675*2^1425703-1 is not prime. Res64: 5136B22DA610A00E Time : 0.0 sec. user=mdettweiler [2016-04-08 20:26:59] 723*2^1425703-1 is not prime. Res64: 194F786D23460C4F Time : 0.0 sec. user=mdettweiler [2016-04-08 20:28:32] 741*2^1425703-1 is not prime. Res64: 58C6927FE61BCD1F Time : 0.0 sec. user=mdettweiler [2016-04-08 20:28:33] 765*2^1425703-1 is not prime. Res64: 3B13BF2C8853B030 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:28:33] 951*2^1425703-1 is not prime. Res64: 78CE3E7C98BA547E Time : 0.0 sec. user=mdettweiler [2016-04-08 20:28:34] 785*2^1425704-1 is not prime. Res64: 6E9E1E94AAC76306 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:28:34] 857*2^1425704-1 is not prime. Res64: C949DD2B2943FFF3 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:31:42] 903*2^1425704-1 is not prime. Res64: 2889E9147D73A6C5 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:31:42] 639*2^1425705-1 is not prime. Res64: 8FDCDF0721F68AA2 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:31:43] 717*2^1425705-1 is not prime. Res64: 89612B5861579869 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:31:43] 721*2^1425705-1 is not prime. Res64: 5A613E764824A66A Time : 0.0 sec. user=mdettweiler [2016-04-08 20:31:43] 789*2^1425705-1 is not prime. Res64: 8747F5487DB79282 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:59:46] 817*2^1425705-1 is not prime. Res64: A350AB43086E54EE Time : 0.0 sec. user=mdettweiler [2016-04-08 20:59:46] 889*2^1425705-1 is not prime. Res64: 7686015307857E12 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:59:47] 701*2^1425706-1 is not prime. Res64: 19B01BA97F3A4D5D Time : 0.0 sec. user=mdettweiler [2016-04-08 20:59:47] 705*2^1425706-1 is not prime. Res64: EE7F7BC21235A352 Time : 0.0 sec. user=mdettweiler [2016-04-08 20:59:47] 713*2^1425706-1 is not prime. Res64: 267BFB37504E9367 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:12:14] 803*2^1425706-1 is not prime. Res64: 6A0D0B6508F9F9B4 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:12:14] 825*2^1425706-1 is not prime. Res64: 8D2F72FE6431B57F Time : 0.0 sec. user=mdettweiler [2016-04-08 21:12:15] 843*2^1425706-1 is not prime. Res64: 21F3BA65819C915D Time : 0.0 sec. user=mdettweiler [2016-04-08 21:12:15] 873*2^1425706-1 is not prime. Res64: 9BC3119EF9689F03 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:12:15] 903*2^1425706-1 is not prime. Res64: ADB582EEFDE3BC97 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:13:43] 917*2^1425706-1 is not prime. Res64: 6C5B7557B43E8183 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:13:43] 975*2^1425706-1 is not prime. Res64: 3D605421C296CB71 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:13:44] 993*2^1425706-1 is not prime. Res64: 25BB587CF8B02E0C Time : 0.0 sec. user=mdettweiler [2016-04-08 21:13:44] 619*2^1425707-1 is not prime. Res64: 58ACCC9DC42F99EE Time : 0.0 sec. user=mdettweiler [2016-04-08 21:13:44] 645*2^1425707-1 is not prime. Res64: 6F5DC717937C03E8 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:16:45] 871*2^1425707-1 is not prime. Res64: 80BFE70EEFA13AD8 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:16:46] 979*2^1425707-1 is not prime. Res64: C19ACF5D32AD4F94 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:16:46] 605*2^1425708-1 is not prime. Res64: DE1E1ACEBE7A1217 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:16:46] 633*2^1425708-1 is not prime. Res64: 5527878A5559D03A Time : 0.0 sec. user=mdettweiler [2016-04-08 21:16:47] 639*2^1425708-1 is not prime. Res64: 11E132CF8A456C15 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:44:55] 663*2^1425708-1 is not prime. Res64: B6812BB0677E3C0B Time : 0.0 sec. user=mdettweiler [2016-04-08 21:44:56] 705*2^1425708-1 is not prime. Res64: 794AF08EB8503359 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:44:56] 749*2^1425708-1 is not prime. Res64: 6F7BCE8280FADABA Time : 0.0 sec. user=mdettweiler [2016-04-08 21:44:56] 867*2^1425708-1 is not prime. Res64: 27B4478C4F024AF9 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:44:56] 893*2^1425708-1 is not prime. Res64: FD5D9B67FBA109C7 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:57:36] 905*2^1425708-1 is not prime. Res64: 9AFA432B729FDDF0 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:57:37] 923*2^1425708-1 is not prime. Res64: 18200C34764CC203 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:57:37] 729*2^1425709-1 is not prime. Res64: D56757D955216BD6 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:57:37] 741*2^1425709-1 is not prime. Res64: FA6A97A687B9A242 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:57:38] 747*2^1425709-1 is not prime. Res64: 74E3F9FB2CD106D6 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:58:50] 757*2^1425709-1 is not prime. Res64: D71A63913D4DC56C Time : 0.0 sec. user=mdettweiler [2016-04-08 21:58:50] 817*2^1425709-1 is not prime. Res64: C21E3222A83F31C2 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:58:50] 897*2^1425709-1 is not prime. Res64: 88EFAC0CB8D63548 Time : 0.0 sec. user=mdettweiler [2016-04-08 21:58:51] 961*2^1425709-1 is not prime. Res64: B6BF4D65E5421B2F Time : 0.0 sec. user=mdettweiler [2016-04-08 21:58:51] 999*2^1425709-1 is not prime. Res64: 6AC75CD3BCF9A8EC Time : 0.0 sec. user=mdettweiler [2016-04-08 22:01:54] 767*2^1425710-1 is not prime. Res64: 6DB51584E91EB6A4 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:01:55] 801*2^1425710-1 is not prime. Res64: A7876AA790581783 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:01:56] 833*2^1425710-1 is not prime. Res64: 19AC672D4C507062 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:01:56] 893*2^1425710-1 is not prime. Res64: F319615132CFECA2 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:01:56] 951*2^1425710-1 is not prime. Res64: 1D89B510410AF6C9 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:29:57] 651*2^1425711-1 is not prime. Res64: 6A194EDBDF4FD1F8 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:29:58] 661*2^1425711-1 is not prime. Res64: 4B31405D122AF831 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:29:58] 775*2^1425711-1 is not prime. Res64: 23AC1C710C58C548 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:29:58] 805*2^1425711-1 is not prime. Res64: 1B356515102FD2D8 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:29:59] 861*2^1425711-1 is not prime. Res64: E01B313E025A39A6 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:43:03] 653*2^1425712-1 is not prime. Res64: A0A759FB7A532268 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:43:03] 675*2^1425712-1 is not prime. Res64: 7E56421B86B55A6D Time : 0.0 sec. user=mdettweiler [2016-04-08 22:43:03] 693*2^1425712-1 is not prime. Res64: 55CE8CA1EB4C95A5 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:43:04] 713*2^1425712-1 is not prime. Res64: 96924BE9E8AB7C32 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:43:04] 917*2^1425712-1 is not prime. Res64: 70E8C4AA919B79A2 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:44:15] 631*2^1425713-1 is not prime. Res64: 8F0F2C2DFD16F57C Time : 0.0 sec. user=mdettweiler [2016-04-08 22:44:15] 781*2^1425713-1 is not prime. Res64: FA292B6C11424A64 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:44:15] 805*2^1425713-1 is not prime. Res64: 3D23C11885ED2B4C Time : 0.0 sec. user=mdettweiler [2016-04-08 22:44:16] 949*2^1425713-1 is not prime. Res64: 71E52A03C995139B Time : 0.0 sec. user=mdettweiler [2016-04-08 22:44:16] 957*2^1425713-1 is not prime. Res64: 55E68630B5D7FDE3 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:47:21] 635*2^1425714-1 is not prime. Res64: BA2E49B3A8ECC2CC Time : 0.0 sec. user=mdettweiler [2016-04-08 22:47:21] 803*2^1425714-1 is not prime. Res64: CC589DE3D238361A Time : 0.0 sec. user=mdettweiler [2016-04-08 22:47:21] 815*2^1425714-1 is not prime. Res64: 8757799978CEC6D0 Time : 0.0 sec. user=mdettweiler [2016-04-08 22:47:21] 873*2^1425714-1 is not prime. Res64: 8EBFD34C5F54C58F Time : 0.0 sec. user=mdettweiler [2016-04-08 22:47:22] 921*2^1425714-1 is not prime. Res64: CEC7768B0B06315A Time : 0.0 sec. user=mdettweiler [2016-04-08 23:15:04] 649*2^1425715-1 is not prime. Res64: 4890B56BF24DAC11 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:15:05] 709*2^1425715-1 is not prime. Res64: 477951860A890261 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:15:05] 715*2^1425715-1 is not prime. Res64: 4E24E3BB48DD92B2 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:15:06] 765*2^1425715-1 is not prime. Res64: 928A6191BEE92A9E Time : 0.0 sec. user=mdettweiler [2016-04-08 23:15:06] 805*2^1425715-1 is not prime. Res64: F75DCF3D6BBEC1FC Time : 0.0 sec. user=mdettweiler [2016-04-08 23:28:09] 985*2^1425715-1 is not prime. Res64: D6E0E48CC695B89E Time : 0.0 sec. user=mdettweiler [2016-04-08 23:28:10] 609*2^1425716-1 is not prime. Res64: 818290CF9BF0ED23 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:28:10] 749*2^1425716-1 is not prime. Res64: FE566A19BBEE987A Time : 0.0 sec. user=mdettweiler [2016-04-08 23:28:10] 767*2^1425716-1 is not prime. Res64: 6ED06D36A3CF4D4F Time : 0.0 sec. user=mdettweiler [2016-04-08 23:28:10] 785*2^1425716-1 is not prime. Res64: 9AA1DA9FC77B11F8 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:29:10] 621*2^1425717-1 is not prime. Res64: 76E0F64CE3E762EC Time : 0.0 sec. user=mdettweiler [2016-04-08 23:29:10] 649*2^1425717-1 is not prime. Res64: 7543998152A9E71D Time : 0.0 sec. user=mdettweiler [2016-04-08 23:29:10] 669*2^1425717-1 is not prime. Res64: EABD7E73B0B7D8C9 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:29:11] 691*2^1425717-1 is not prime. Res64: ABFE58A3375146B4 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:29:11] 699*2^1425717-1 is not prime. Res64: 6061CD056CF22926 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:32:17] 711*2^1425717-1 is not prime. Res64: 9AEBAA0F690D8BFE Time : 0.0 sec. user=mdettweiler [2016-04-08 23:32:17] 645*2^1425718-1 is not prime. Res64: CB7B8E74AF156B37 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:32:17] 681*2^1425718-1 is not prime. Res64: 0F9A2A1D14A613A9 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:32:18] 737*2^1425718-1 is not prime. Res64: 1202E3B69283FFA4 Time : 0.0 sec. user=mdettweiler [2016-04-08 23:32:18] 821*2^1425718-1 is not prime. Res64: 6C56B5C57A77E037 Time : 0.0 sec.