user=mdettweiler [2015-01-07 00:11:31] 835*2^1388653-1 is not prime. Res64: 5640C7BE65E31D17 Time : 0.0 sec. user=odicin [2015-01-07 00:18:51] 921*2^1388654-1 is not prime. Res64: 9A985539755EA80E Time : 0.0 sec. user=mdettweiler [2015-01-07 00:23:30] 885*2^1388654-1 is not prime. Res64: 981310D4F576C9C0 Time : 0.0 sec. user=odicin [2015-01-07 00:32:22] 605*2^1388654-1 is not prime. Res64: EFF25B8FB2ED69B6 Time : 0.0 sec. user=odicin [2015-01-07 00:38:09] 993*2^1388654-1 is not prime. Res64: 0981ADE2452A62B2 Time : 0.0 sec. user=odicin [2015-01-07 00:51:37] 609*2^1388655-1 is not prime. Res64: 180BE128E17CD733 Time : 0.0 sec. user=odicin [2015-01-07 00:57:27] 625*2^1388655-1 is not prime. Res64: FDF396D1AA5C5EC3 Time : 0.0 sec. user=odicin [2015-01-07 01:11:02] 693*2^1388655-1 is not prime. Res64: 5D2B29D992E7172C Time : 0.0 sec. user=odicin [2015-01-07 01:17:00] 775*2^1388655-1 is not prime. Res64: 8F2A6D30A9280065 Time : 0.0 sec. user=odicin [2015-01-07 01:31:58] 819*2^1388655-1 is not prime. Res64: FF3B98EA7447AC0E Time : 0.0 sec. user=odicin [2015-01-07 01:35:52] 973*2^1388655-1 is not prime. Res64: A6E17E0364A88C24 Time : 0.0 sec. user=odicin [2015-01-07 01:51:29] 785*2^1388656-1 is not prime. Res64: D7F4F716AEB3DF01 Time : 0.0 sec. user=odicin [2015-01-07 01:55:19] 813*2^1388656-1 is not prime. Res64: 543E38405B797438 Time : 0.0 sec. user=odicin [2015-01-07 02:10:35] 873*2^1388656-1 is not prime. Res64: 483AB271DD4EF8A3 Time : 0.0 sec. user=odicin [2015-01-07 02:14:25] 909*2^1388656-1 is not prime. Res64: F9B66718F646A34D Time : 0.0 sec. user=mdettweiler [2015-01-07 02:22:29] 897*2^1388654-1 is not prime. Res64: 80424CF555719B1B Time : 0.0 sec. user=mdettweiler [2015-01-07 02:22:30] 981*2^1388653-1 is not prime. Res64: 90DD257AA578209E Time : 0.0 sec. user=odicin [2015-01-07 02:31:27] 957*2^1388656-1 is not prime. Res64: 92A71FEF27A21950 Time : 0.0 sec. user=odicin [2015-01-07 02:35:32] 999*2^1388656-1 is not prime. Res64: 72B1EE085FCDF5F6 Time : 0.0 sec. user=mdettweiler [2015-01-07 02:50:47] 759*2^1388657-1 is not prime. Res64: 7AC9E30C6AE55BA5 Time : 0.0 sec. user=mdettweiler [2015-01-07 02:50:47] 841*2^1388657-1 is not prime. Res64: A65E5882C8D35CFA Time : 0.0 sec. user=mdettweiler [2015-01-07 02:51:02] 601*2^1388657-1 is not prime. Res64: 4B88521C3283A23B Time : 0.0 sec. user=mdettweiler [2015-01-07 02:51:03] 691*2^1388657-1 is not prime. Res64: 6D971BDD96A3C83A Time : 0.0 sec. user=mdettweiler [2015-01-07 03:20:07] 847*2^1388657-1 is not prime. Res64: 50DD9D422819F7DD Time : 0.0 sec. user=mdettweiler [2015-01-07 03:20:07] 871*2^1388657-1 is not prime. Res64: 72BBED2D2A9F7F5D Time : 0.0 sec. user=odicin [2015-01-07 03:20:59] 619*2^1388659-1 is not prime. Res64: FB8681B4D867FF13 Time : 0.0 sec. user=mdettweiler [2015-01-07 03:21:44] 663*2^1388658-1 is not prime. Res64: 99E94B2C4C83B15E Time : 0.0 sec. user=mdettweiler [2015-01-07 03:21:45] 765*2^1388658-1 is not prime. Res64: 8192DACF4EE932D9 Time : 0.0 sec. user=juhehe [2015-01-07 03:37:42] 887*2^1388658-1 is not prime. Res64: F70FF6BFE0ACAC78 Time : 0.0 sec. user=juhehe [2015-01-07 03:37:42] 803*2^1388658-1 is not prime. Res64: 07751A7DB37AE04C Time : 0.0 sec. user=odicin [2015-01-07 03:40:22] 775*2^1388659-1 is not prime. Res64: 522A9DED0A8F8588 Time : 0.0 sec. user=odicin [2015-01-07 03:44:39] 899*2^1388660-1 is not prime. Res64: 296685C262BE9C81 Time : 0.0 sec. user=mdettweiler [2015-01-07 03:48:41] 679*2^1388659-1 is not prime. Res64: F6C42C848D3D69C9 Time : 0.0 sec. user=mdettweiler [2015-01-07 03:49:51] 785*2^1388660-1 is not prime. Res64: 006FFC74192B3456 Time : 0.0 sec. user=mdettweiler [2015-01-07 03:49:52] 839*2^1388660-1 is not prime. Res64: 6380536AF584AF69 Time : 0.0 sec. user=mdettweiler [2015-01-07 03:59:20] 891*2^1388634-1 is not prime. Res64: 9BAC1FA6F138D1E7 Time : 0.0 sec. user=mdettweiler [2015-01-07 03:59:20] 927*2^1388634-1 is not prime. Res64: 2BC7DC7C3FDB2812 Time : 0.0 sec. user=odicin [2015-01-07 04:03:05] 621*2^1388661-1 is not prime. Res64: 9375B9A8EC0562E2 Time : 0.0 sec. user=mdettweiler [2015-01-07 04:03:44] 673*2^1388635-1 is not prime. Res64: 66B0163FAF0FFF55 Time : 0.0 sec. user=mdettweiler [2015-01-07 04:03:45] 783*2^1388635-1 is not prime. Res64: 3DEA1967B859820C Time : 0.0 sec. user=mdettweiler [2015-01-07 04:17:27] 679*2^1388661-1 is not prime. Res64: 0273D983FF7B851E Time : 0.0 sec. user=mdettweiler [2015-01-07 04:17:28] 691*2^1388661-1 is not prime. Res64: 8C9BD2B9A21E01AC Time : 0.0 sec. user=odicin [2015-01-07 04:22:14] 647*2^1388662-1 is not prime. Res64: 3017776910F8E51C Time : 0.0 sec. user=mdettweiler [2015-01-07 04:26:02] 867*2^1388661-1 is not prime. Res64: 2769F17F5094B672 Time : 0.0 sec. user=mdettweiler [2015-01-07 04:26:02] 921*2^1388661-1 is not prime. Res64: CE10C10EDFEAD230 Time : 0.0 sec. user=odicin [2015-01-07 04:26:08] 831*2^1388662-1 is not prime. Res64: 80F1F6146B1D14EC Time : 0.0 sec. user=mdettweiler [2015-01-07 04:30:03] 665*2^1388662-1 is not prime. Res64: A4F70259ED9BC96C Time : 0.0 sec. user=mdettweiler [2015-01-07 04:38:07] 963*2^1388660-1 is not prime. Res64: 7448AC305F71B204 Time : 0.0 sec. user=odicin [2015-01-07 04:41:17] 885*2^1388662-1 is not prime. Res64: 3C84792FD8775B3F Time : 0.0 sec. user=mdettweiler [2015-01-07 04:44:29] 843*2^1388662-1 is not prime. Res64: 2A03440834E0AF15 Time : 0.0 sec. user=mdettweiler [2015-01-07 04:44:29] 867*2^1388662-1 is not prime. Res64: CB69445EDC6C25AB Time : 0.0 sec. user=odicin [2015-01-07 04:46:44] 609*2^1388663-1 is not prime. Res64: 7F99BEF6E5D02D63 Time : 0.0 sec. user=mdettweiler [2015-01-07 04:52:52] 911*2^1388662-1 is not prime. Res64: 015DD35A7C30232D Time : 0.0 sec. user=mdettweiler [2015-01-07 04:52:53] 981*2^1388662-1 is not prime. Res64: 6B7EE4DE28D1195E Time : 0.0 sec. user=odicin [2015-01-07 05:01:33] 675*2^1388663-1 is not prime. Res64: 94CB0A802419D787 Time : 0.0 sec. user=mdettweiler [2015-01-07 05:11:32] 771*2^1388659-1 is not prime. Res64: 10EC440A52A7E117 Time : 0.0 sec. user=mdettweiler [2015-01-07 05:11:55] 745*2^1388663-1 is not prime. Res64: 90E60A51AD8F5C0B Time : 0.0 sec. user=mdettweiler [2015-01-07 05:20:12] 901*2^1388663-1 is not prime. Res64: 25C8506FEEF7D15B Time : 0.0 sec. user=mdettweiler [2015-01-07 05:20:12] 949*2^1388663-1 is not prime. Res64: DD5B15CE883A27DB Time : 0.0 sec. user=odicin [2015-01-07 05:20:43] 615*2^1388664-1 is not prime. Res64: 1EC8EB71FF4EB83E Time : 0.0 sec. user=odicin [2015-01-07 05:34:31] 889*2^1388663-1 is not prime. Res64: C39EE8604C010D43 Time : 0.0 sec. user=mdettweiler [2015-01-07 05:38:44] 707*2^1388664-1 is not prime. Res64: 32F2EB8B0AF885AE Time : 0.0 sec. user=mdettweiler [2015-01-07 05:38:44] 747*2^1388664-1 is not prime. Res64: CF5328E9D06FFED8 Time : 0.0 sec. user=odicin [2015-01-07 05:39:24] 975*2^1388664-1 is not prime. Res64: 4523683DCC1D6DCD Time : 0.0 sec. user=mdettweiler [2015-01-07 05:47:03] 717*2^1388662-1 is not prime. Res64: 910CD6158EE9FA57 Time : 0.0 sec. user=mdettweiler [2015-01-07 05:47:23] 767*2^1388664-1 is not prime. Res64: B7EC8D59B019A21B Time : 0.0 sec. user=odicin [2015-01-07 05:53:40] 609*2^1388665-1 is not prime. Res64: 93BBFFA3FC3E7C8F Time : 0.0 sec. user=odicin [2015-01-07 05:58:40] 717*2^1388665-1 is not prime. Res64: EFF20418A7BD0B3C Time : 0.0 sec. user=mdettweiler [2015-01-07 06:14:59] 777*2^1388665-1 is not prime. Res64: F5F041049421DF2F Time : 0.0 sec. user=odicin [2015-01-07 06:15:02] 987*2^1388665-1 is not prime. Res64: A34110EC03C36811 Time : 0.0 sec. user=odicin [2015-01-07 06:17:41] 999*2^1388665-1 is not prime. Res64: 8DD77EBD7A5C4893 Time : 0.0 sec. user=mdettweiler [2015-01-07 06:25:40] 783*2^1388663-1 is not prime. Res64: EBCAFA525856864B Time : 0.0 sec. user=odicin [2015-01-07 06:34:01] 833*2^1388666-1 is not prime. Res64: 951A6B4B41959448 Time : 0.0 sec. user=odicin [2015-01-07 06:36:47] 857*2^1388666-1 is not prime. Res64: 5A844301B20B84E6 Time : 0.0 sec. user=odicin [2015-01-07 06:53:18] 669*2^1388667-1 is not prime. Res64: 4543E136BE7D2B3B Time : 0.0 sec. user=mdettweiler [2015-01-07 06:53:22] 615*2^1388667-1 is not prime. Res64: 910D68DD7ED60D91 Time : 0.0 sec. user=mdettweiler [2015-01-07 06:53:22] 651*2^1388667-1 is not prime. Res64: 8817F9F6DA8A667E Time : 0.0 sec. user=odicin [2015-01-07 06:56:03] 699*2^1388667-1 is not prime. Res64: B9F7F92EDD7B5B0F Time : 0.0 sec. user=mdettweiler [2015-01-07 07:04:07] 849*2^1388664-1 is not prime. Res64: 12640E4995733686 Time : 0.0 sec. user=odicin [2015-01-07 07:12:29] 741*2^1388667-1 is not prime. Res64: ED851BD375F9DEFA Time : 0.0 sec. user=odicin [2015-01-07 07:15:10] 931*2^1388667-1 is not prime. Res64: 9A387757B9C52A60 Time : 0.0 sec. user=mdettweiler [2015-01-07 07:20:46] 793*2^1388667-1 is not prime. Res64: 44A63DCC46D33C9B Time : 0.0 sec. user=mdettweiler [2015-01-07 07:20:46] 849*2^1388667-1 is not prime. Res64: CE443AFF977EF72E Time : 0.0 sec. user=mdettweiler [2015-01-07 07:22:23] 687*2^1388665-1 is not prime. Res64: 02EAB9556E510334 Time : 0.0 sec. user=mdettweiler [2015-01-07 07:31:06] 665*2^1388668-1 is not prime. Res64: B757C2454BEBCAA5 Time : 0.0 sec. user=mdettweiler [2015-01-07 07:31:07] 723*2^1388668-1 is not prime. Res64: B67909861FB8D46D Time : 0.0 sec. user=odicin [2015-01-07 07:32:33] 813*2^1388668-1 is not prime. Res64: 32CC356C4B0D3031 Time : 0.0 sec. user=odicin [2015-01-07 07:34:31] 869*2^1388668-1 is not prime. Res64: 4BC7EBF8EFD3E0ED Time : 0.0 sec. user=mdettweiler [2015-01-07 07:42:38] 805*2^1388665-1 is not prime. Res64: C7D58C854AD8BBC7 Time : 0.0 sec. user=mdettweiler [2015-01-07 07:47:42] 957*2^1388668-1 is not prime. Res64: 12EAB344176DD8EF Time : 0.0 sec. user=mdettweiler [2015-01-07 07:47:42] 993*2^1388668-1 is not prime. Res64: 94874E4E8F59AEB1 Time : 0.0 sec. user=odicin [2015-01-07 07:53:07] 771*2^1388669-1 is not prime. Res64: 952A59F590B90872 Time : 0.0 sec. user=mdettweiler [2015-01-07 07:57:55] 691*2^1388669-1 is not prime. Res64: A6BD00FE594CF520 Time : 0.0 sec. user=mdettweiler [2015-01-07 08:14:38] 949*2^1388669-1 is not prime. Res64: 2E65F703E745FAFF Time : 0.0 sec. user=mdettweiler [2015-01-07 08:14:46] 723*2^1388670-1 is not prime. Res64: BB1D8374392498DB Time : 0.0 sec. user=odicin [2015-01-07 08:19:46] 971*2^1388670-1 is not prime. Res64: E6D09818FD80BB27 Time : 0.0 sec. user=mdettweiler [2015-01-07 08:32:24] 715*2^1388665-1 is not prime. Res64: 8B0C7163716A2D2C Time : 0.0 sec. user=odicin [2015-01-07 08:38:18] 793*2^1388671-1 is not prime. Res64: 69C7D4961C35B58B Time : 0.0 sec. user=odicin [2015-01-07 08:42:07] 797*2^1388670-1 is not prime. Res64: 8A7949F7F695ABDA Time : 0.0 sec. user=mdettweiler [2015-01-07 08:42:23] 651*2^1388671-1 is not prime. Res64: 5F7D6998ECD2DA48 Time : 0.0 sec. user=mdettweiler [2015-01-07 08:42:23] 751*2^1388671-1 is not prime. Res64: 508F7DA80AB33FFB Time : 0.0 sec. user=odicin [2015-01-07 08:57:31] 933*2^1388671-1 is not prime. Res64: 6384E399694D0133 Time : 0.0 sec. user=mdettweiler [2015-01-07 08:59:18] 859*2^1388671-1 is not prime. Res64: 40F7F74B0DCF4230 Time : 0.0 sec. user=mdettweiler [2015-01-07 08:59:19] 913*2^1388671-1 is not prime. Res64: 5F11B840DCBD9FA4 Time : 0.0 sec. user=odicin [2015-01-07 09:01:33] 961*2^1388671-1 is not prime. Res64: 25D098B080BEA580 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:09:12] 603*2^1388672-1 is not prime. Res64: 396C255D21747E14 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:09:15] 617*2^1388672-1 is not prime. Res64: 76DC6085F62451D4 Time : 0.0 sec. user=odicin [2015-01-07 09:18:50] 699*2^1388672-1 is not prime. Res64: 992C03E73151CB73 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:19:50] 747*2^1388669-1 is not prime. Res64: 653A865105869446 Time : 0.0 sec. user=odicin [2015-01-07 09:20:34] 957*2^1388672-1 is not prime. Res64: AB2E4E0203BFC993 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:25:37] 755*2^1388672-1 is not prime. Res64: 075D0DACC1A38430 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:25:37] 855*2^1388672-1 is not prime. Res64: 7F9EDB41FBECAF70 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:31:47] 829*2^1388669-1 is not prime. Res64: 8430277EDE468C94 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:31:48] 931*2^1388669-1 is not prime. Res64: 5C6468535A2263C2 Time : 0.0 sec. user=odicin [2015-01-07 09:36:43] 959*2^1388672-1 is not prime. Res64: 79C900E8C4176DF9 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:37:42] 977*2^1388672-1 is not prime. Res64: F9378DE14966A1D8 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:37:43] 685*2^1388673-1 is not prime. Res64: 8A81915D7E635C5A Time : 0.0 sec. user=odicin [2015-01-07 09:38:56] 919*2^1388673-1 is not prime. Res64: 0AAE1893402CD676 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:45:46] 787*2^1388673-1 is not prime. Res64: ECF3C37495198D2A Time : 0.0 sec. user=mdettweiler [2015-01-07 09:45:47] 889*2^1388673-1 is not prime. Res64: 5A55D9447CD6E9A9 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:51:32] 951*2^1388673-1 is not prime. Res64: 5D844219BA3D162A Time : 0.0 sec. user=mdettweiler [2015-01-07 09:51:33] 611*2^1388674-1 is not prime. Res64: 477912A39A74E97D Time : 0.0 sec. user=odicin [2015-01-07 09:53:56] 737*2^1388674-1 is not prime. Res64: 98F653A31C2D7E6D Time : 0.0 sec. user=odicin [2015-01-07 09:55:58] 915*2^1388674-1 is not prime. Res64: B16AEE9AF1B390C0 Time : 0.0 sec. user=mdettweiler [2015-01-07 09:57:36] 635*2^1388674-1 is not prime. Res64: 717361E6236C468D Time : 0.0 sec. user=mdettweiler [2015-01-07 09:57:36] 663*2^1388674-1 is not prime. Res64: A0601011311FDFD0 Time : 0.0 sec. user=odicin [2015-01-07 10:09:04] 669*2^1388675-1 is not prime. Res64: AF68FBF16B81629A Time : 0.0 sec. user=odicin [2015-01-07 10:11:01] 775*2^1388675-1 is not prime. Res64: 0C148E8CF4AF02D6 Time : 0.0 sec. user=mdettweiler [2015-01-07 10:11:39] 923*2^1388674-1 is not prime. Res64: 7355615D61072385 Time : 0.0 sec. user=mdettweiler [2015-01-07 10:11:40] 951*2^1388674-1 is not prime. Res64: 98679DEED46A2F0B Time : 0.0 sec. user=mdettweiler [2015-01-07 10:17:32] 975*2^1388674-1 is not prime. Res64: C2F63AF240D885AB Time : 0.0 sec. user=mdettweiler [2015-01-07 10:17:32] 981*2^1388674-1 is not prime. Res64: 19D12AD894D0A18F Time : 0.0 sec. user=mdettweiler [2015-01-07 10:23:39] 707*2^1388676-1 is not prime. Res64: EE241859550A9B34 Time : 0.0 sec. user=mdettweiler [2015-01-07 10:23:40] 719*2^1388676-1 is not prime. Res64: F6E12580C0E71F4C Time : 0.0 sec. user=odicin [2015-01-07 10:24:27] 809*2^1388676-1 is not prime. Res64: 938055E444EDD8FE Time : 0.0 sec. user=odicin [2015-01-07 10:25:59] 839*2^1388676-1 is not prime. Res64: 6FE0636E74C79169 Time : 0.0 sec. user=mdettweiler [2015-01-07 10:37:51] 975*2^1388676-1 is not prime. Res64: 7028AC33420BC7D4 Time : 0.0 sec. user=mdettweiler [2015-01-07 10:37:52] 983*2^1388676-1 is not prime. Res64: 351D97AF5940B4A8 Time : 0.0 sec. user=odicin [2015-01-07 10:39:25] 729*2^1388677-1 is not prime. Res64: 283083D4526D2561 Time : 0.0 sec. user=odicin [2015-01-07 10:40:53] 871*2^1388677-1 is not prime. Res64: 7EEB1F3FD27675EC Time : 0.0 sec. user=mdettweiler [2015-01-07 10:44:06] 987*2^1388676-1 is not prime. Res64: B4707276AA245B57 Time : 0.0 sec. user=mdettweiler [2015-01-07 10:44:06] 999*2^1388676-1 is not prime. Res64: 120FCD22CFFC00D5 Time : 0.0 sec. user=mdettweiler [2015-01-07 10:50:04] 625*2^1388677-1 is not prime. Res64: DD45102EA5F7460B Time : 0.0 sec. user=odicin [2015-01-07 10:54:38] 665*2^1388678-1 is not prime. Res64: FCAF1350A993ECB5 Time : 0.0 sec. user=odicin [2015-01-07 10:56:02] 671*2^1388678-1 is not prime. Res64: 152413B6EAD515CB Time : 0.0 sec. user=mdettweiler [2015-01-07 11:04:18] 885*2^1388677-1 is not prime. Res64: 395ABCDB2EC5215D Time : 0.0 sec. user=mdettweiler [2015-01-07 11:04:20] 939*2^1388677-1 is not prime. Res64: 0043E2BD629BC080 Time : 0.0 sec. user=mdettweiler [2015-01-07 11:20:48] 783*2^1388674-1 is not prime. Res64: 2C4AEA8D380A098C Time : 0.0 sec. user=mdettweiler [2015-01-07 11:20:48] 855*2^1388674-1 is not prime. Res64: 888E4CC2BFA48C53 Time : 0.0 sec. user=odicin [2015-01-07 11:31:14] 887*2^1388678-1 is not prime. Res64: 2E19D294326E7B70 Time : 0.0 sec. user=odicin [2015-01-07 11:32:29] 921*2^1388678-1 is not prime. Res64: 986BDACEFFD64E3B Time : 0.0 sec. user=mdettweiler [2015-01-07 11:35:35] 601*2^1388679-1 is not prime. Res64: B74BF096A4A8AAE1 Time : 0.0 sec. user=mdettweiler [2015-01-07 11:35:35] 615*2^1388679-1 is not prime. Res64: DE0DB31C2F1BA8BF Time : 0.0 sec. user=odicin [2015-01-07 11:44:47] 891*2^1388679-1 is not prime. Res64: 72D885DD93DFFC5B Time : 0.0 sec. user=odicin [2015-01-07 11:45:55] 909*2^1388679-1 is not prime. Res64: 68F1BCF27FE02904 Time : 0.0 sec. user=mdettweiler [2015-01-07 11:51:41] 709*2^1388679-1 is not prime. Res64: 326DEAB294F677FF Time : 0.0 sec. user=mdettweiler [2015-01-07 11:51:41] 823*2^1388679-1 is not prime. Res64: 6D057DD6262943E7 Time : 0.0 sec. user=odicin [2015-01-07 12:00:35] 719*2^1388680-1 is not prime. Res64: 023F84609DAB6BA4 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:04:24] 999*2^1388679-1 is not prime. Res64: 08EF429E748DDCB0 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:04:25] 663*2^1388680-1 is not prime. Res64: 47223215C26F2D6C Time : 0.0 sec. user=odicin [2015-01-07 12:13:59] 863*2^1388680-1 is not prime. Res64: CB98114BCF56CA2E Time : 0.0 sec. user=mdettweiler [2015-01-07 12:18:09] 661*2^1388677-1 is not prime. Res64: 49499DCE72303E28 Time : 0.0 sec. user=odicin [2015-01-07 12:19:36] 645*2^1388681-1 is not prime. Res64: DB0A8AEF7AABDFA7 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:20:10] 723*2^1388680-1 is not prime. Res64: 769F602DD5EB37BA Time : 0.0 sec. user=mdettweiler [2015-01-07 12:20:10] 785*2^1388680-1 is not prime. Res64: CE608F5549F064F9 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:27:25] 711*2^1388678-1 is not prime. Res64: 385E3AEAEF8E8AF3 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:27:25] 771*2^1388678-1 is not prime. Res64: 9BE870116BC54748 Time : 0.0 sec. user=odicin [2015-01-07 12:28:06] 669*2^1388681-1 is not prime. Res64: 0A07CC9A70677B09 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:32:22] 607*2^1388681-1 is not prime. Res64: B75B450BF3519409 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:32:22] 637*2^1388681-1 is not prime. Res64: 2BD1110791F7FE7F Time : 0.0 sec. user=odicin [2015-01-07 12:35:01] 867*2^1388681-1 is not prime. Res64: D80885E57CBD94E7 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:45:21] 735*2^1388681-1 is not prime. Res64: 4CE0F00F969A4E6D Time : 0.0 sec. user=mdettweiler [2015-01-07 12:45:22] 861*2^1388681-1 is not prime. Res64: DA8F6BFE9BE98729 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:47:27] 901*2^1388681-1 is not prime. Res64: 117AFED9A8DE8317 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:47:27] 981*2^1388681-1 is not prime. Res64: 217B7ACA906D6D58 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:54:14] 611*2^1388682-1 is not prime. Res64: 47EC64CDDCBFBBC5 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:54:15] 741*2^1388682-1 is not prime. Res64: 6B244BA60E4E5B23 Time : 0.0 sec. user=mdettweiler [2015-01-07 12:59:09] 941*2^1388682-1 is not prime. Res64: 73130064395AFC1D Time : 0.0 sec. user=mdettweiler [2015-01-07 12:59:10] 663*2^1388683-1 is not prime. Res64: 336D90C5B12C91F4 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:13:58] 741*2^1388683-1 is not prime. Res64: B632FAFB44AAF4D0 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:13:58] 765*2^1388683-1 is not prime. Res64: 7ECF0A92E8C915C5 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:20:38] 623*2^1388684-1 is not prime. Res64: 9DB6A0BEF8FAE075 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:20:39] 663*2^1388684-1 is not prime. Res64: 968CA1147B3BA089 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:25:48] 725*2^1388684-1 is not prime. Res64: E8412A8012FFBC99 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:25:49] 959*2^1388684-1 is not prime. Res64: 63163EBD587E0276 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:40:46] 607*2^1388685-1 is not prime. Res64: C88C76AF1E6D338C Time : 0.0 sec. user=mdettweiler [2015-01-07 13:40:47] 649*2^1388685-1 is not prime. Res64: 43E7E5D28D332895 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:47:12] 795*2^1388685-1 is not prime. Res64: CC9132388AA1CC21 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:47:13] 921*2^1388685-1 is not prime. Res64: CDE2D0C8F0BE0EAE Time : 0.0 sec. user=mdettweiler [2015-01-07 13:52:32] 937*2^1388685-1 is not prime. Res64: 72BF0D360A0D9818 Time : 0.0 sec. user=mdettweiler [2015-01-07 13:52:32] 617*2^1388686-1 is not prime. Res64: 0692ACED2A1C8FE8 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:07:50] 653*2^1388686-1 is not prime. Res64: DE67260F73280568 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:07:52] 761*2^1388686-1 is not prime. Res64: D784E532AA918C49 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:08:13] 693*2^1388683-1 is not prime. Res64: 551010E0764C4B5E Time : 0.0 sec. user=mdettweiler [2015-01-07 14:08:15] 735*2^1388683-1 is not prime. Res64: F14FC5EDDEA2B1BC Time : 0.0 sec. user=mdettweiler [2015-01-07 14:14:03] 815*2^1388686-1 is not prime. Res64: 30B36198D5D0E29D Time : 0.0 sec. user=mdettweiler [2015-01-07 14:14:04] 911*2^1388686-1 is not prime. Res64: B1A089C460826F01 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:19:07] 987*2^1388686-1 is not prime. Res64: 4F0D4933BE106DA5 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:19:08] 655*2^1388687-1 is not prime. Res64: 1B4FCCA65025993E Time : 0.0 sec. user=mdettweiler [2015-01-07 14:34:45] 805*2^1388687-1 is not prime. Res64: E12B9E7D00207B3E Time : 0.0 sec. user=mdettweiler [2015-01-07 14:34:45] 939*2^1388687-1 is not prime. Res64: AB0C5A4241552D5E Time : 0.0 sec. user=mdettweiler [2015-01-07 14:34:49] 685*2^1388687-1 is not prime. Res64: 185CB13D504F4396 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:34:49] 741*2^1388687-1 is not prime. Res64: 6802E66291CBB638 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:40:13] 973*2^1388687-1 is not prime. Res64: D8D5C17B19AE6987 Time : 0.0 sec. user=mdettweiler [2015-01-07 14:40:14] 605*2^1388688-1 is not prime. Res64: 5AFA37B9DCBD59FE Time : 0.0 sec. user=mdettweiler [2015-01-07 14:45:43] 699*2^1388688-1 is not prime. Res64: 204352020372573B Time : 0.0 sec. user=mdettweiler [2015-01-07 14:45:44] 753*2^1388688-1 is not prime. Res64: 31A840071834A665 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:00:54] 765*2^1388688-1 is not prime. Res64: AA432CD5FABF828B Time : 0.0 sec. user=mdettweiler [2015-01-07 15:00:56] 825*2^1388688-1 is not prime. Res64: D644C7AB2E8514F1 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:00:59] 845*2^1388688-1 is not prime. Res64: 7A29F0C6B4AD8C17 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:01:00] 601*2^1388689-1 is not prime. Res64: 7E212F3AACB2AB70 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:06:21] 829*2^1388689-1 is not prime. Res64: 43BE45AB29D36CFE Time : 0.0 sec. user=mdettweiler [2015-01-07 15:06:22] 835*2^1388689-1 is not prime. Res64: DF4C8489A0EB8A35 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:11:57] 877*2^1388689-1 is not prime. Res64: 18589C94B014B114 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:11:57] 951*2^1388689-1 is not prime. Res64: DDD68D3488EE409A Time : 0.0 sec. user=mdettweiler [2015-01-07 15:27:10] 955*2^1388689-1 is not prime. Res64: 237EFECE515025BD Time : 0.0 sec. user=mdettweiler [2015-01-07 15:27:10] 731*2^1388690-1 is not prime. Res64: B8AF234828A84837 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:27:10] 957*2^1388689-1 is not prime. Res64: AE865A68AA4C76FA Time : 0.0 sec. user=mdettweiler [2015-01-07 15:27:10] 735*2^1388690-1 is not prime. Res64: 130587975F47EB98 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:32:33] 753*2^1388690-1 is not prime. Res64: D6B414F5E235B364 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:32:34] 825*2^1388690-1 is not prime. Res64: 256AA883CFE6CD87 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:38:13] 845*2^1388690-1 is not prime. Res64: A2DA75C1AC6D08D4 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:53:09] 885*2^1388690-1 is not prime. Res64: 0537BB89CD7ED6A8 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:53:09] 911*2^1388690-1 is not prime. Res64: BCA260F69CB15D33 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:53:11] 917*2^1388690-1 is not prime. Res64: 6117A4F54FC555B9 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:53:11] 971*2^1388690-1 is not prime. Res64: 146ACFE3EE24CC3C Time : 0.0 sec. user=mdettweiler [2015-01-07 15:58:29] 995*2^1388690-1 is not prime. Res64: A275406F94A008E5 Time : 0.0 sec. user=mdettweiler [2015-01-07 15:58:30] 745*2^1388691-1 is not prime. Res64: 23A1BCBFDDDB1126 Time : 0.0 sec. user=mdettweiler [2015-01-07 16:19:12] 961*2^1388691-1 is not prime. Res64: 26CB72D85B575BA8 Time : 0.0 sec. user=mdettweiler [2015-01-07 16:19:13] 603*2^1388692-1 is not prime. Res64: 85894BFBF51794B7 Time : 0.0 sec. user=mdettweiler [2015-01-07 16:19:13] 849*2^1388691-1 is not prime. Res64: C09B4CC72FCAB132 Time : 0.0 sec. user=mdettweiler [2015-01-07 16:19:13] 931*2^1388691-1 is not prime. Res64: 7CF7F9A3D2E375CA Time : 0.0 sec. user=mdettweiler [2015-01-07 16:24:31] 677*2^1388692-1 is not prime. Res64: AFCC0653D457A43A Time : 0.0 sec. user=mdettweiler [2015-01-07 16:24:40] 735*2^1388692-1 is not prime. Res64: 4408ECAAFF852FEE Time : 0.0 sec. user=mdettweiler [2015-01-07 16:45:12] 797*2^1388692-1 is not prime. Res64: C6767DCA87251BC0 Time : 0.0 sec. user=mdettweiler [2015-01-07 16:45:13] 929*2^1388692-1 is not prime. Res64: 15DBFA4A9853845E Time : 0.0 sec. user=mdettweiler [2015-01-07 16:45:17] 699*2^1388693-1 is not prime. Res64: AA0EF1B91E2CBCE6 Time : 0.0 sec. user=mdettweiler [2015-01-07 16:45:18] 859*2^1388693-1 is not prime. Res64: F97F12F43B80DA2B Time : 0.0 sec. user=juhehe [2015-01-07 16:45:46] 995*2^1388692-1 is not prime. Res64: 48838071D32B4C0C Time : 0.0 sec. user=mdettweiler [2015-01-07 16:50:44] 925*2^1388693-1 is not prime. Res64: C0FD83FDEEACE81E Time : 0.0 sec. user=mdettweiler [2015-01-07 16:50:45] 991*2^1388693-1 is not prime. Res64: 1138C03F2E6081E2 Time : 0.0 sec. user=mdettweiler [2015-01-07 16:54:32] 851*2^1388690-1 is not prime. Res64: 4E6B4B1D0160C6AB Time : 0.0 sec. user=mdettweiler [2015-01-07 17:11:56] 717*2^1388694-1 is not prime. Res64: C36FF1554546182F Time : 0.0 sec. user=mdettweiler [2015-01-07 17:16:49] 741*2^1388694-1 is not prime. Res64: B2E68E1D61EF38F6 Time : 0.0 sec. user=mdettweiler [2015-01-07 17:16:50] 791*2^1388694-1 is not prime. Res64: 357F218B870908BF Time : 0.0 sec. user=mdettweiler [2015-01-07 17:20:36] 917*2^1388694-1 is not prime. Res64: C44025405E0BCC31 Time : 0.0 sec. user=mdettweiler [2015-01-07 17:20:36] 923*2^1388694-1 is not prime. Res64: E2016540C23BEF62 Time : 0.0 sec. user=mdettweiler [2015-01-07 17:43:24] 1001*2^1388694-1 is not prime. Res64: F4A473836EFC417C Time : 0.0 sec. user=mdettweiler [2015-01-07 17:43:24] 819*2^1388695-1 is not prime. Res64: C572CA53DF53814E Time : 0.0 sec. user=mdettweiler [2015-01-07 17:46:57] 943*2^1388695-1 is not prime. Res64: D772F6FD9D614B0E Time : 0.0 sec. user=mdettweiler [2015-01-07 17:46:57] 999*2^1388695-1 is not prime. Res64: 7AADA56A4B1BA75D Time : 0.0 sec. user=juhehe [2015-01-07 17:58:26] 841*2^1388695-1 is not prime. Res64: 4949BE44ACBBB57E Time : 0.0 sec. user=mdettweiler [2015-01-07 18:14:00] 813*2^1388696-1 is not prime. Res64: 497C303B007CD79A Time : 0.0 sec. user=mdettweiler [2015-01-07 18:14:01] 839*2^1388696-1 is not prime. Res64: F22310B9ED2070DD Time : 0.0 sec. user=mdettweiler [2015-01-07 18:20:36] 857*2^1388696-1 is not prime. Res64: 398E777C586DAC95 Time : 0.0 sec. user=mdettweiler [2015-01-07 18:20:36] 927*2^1388696-1 is not prime. Res64: 790448F6AAB4788C Time : 0.0 sec. user=mdettweiler [2015-01-07 18:42:20] 651*2^1388694-1 is not prime. Res64: BE2F85BB33FCA80C Time : 0.0 sec. user=mdettweiler [2015-01-07 18:42:21] 677*2^1388694-1 is not prime. Res64: 0B3734BC76D4CA77 Time : 0.0 sec. user=mdettweiler [2015-01-07 18:42:35] 725*2^1388694-1 is not prime. Res64: 6A4F5374EDC910A8 Time : 0.0 sec. user=mdettweiler [2015-01-07 18:48:44] 625*2^1388697-1 is not prime. Res64: 7369DB868D840D1C Time : 0.0 sec. user=mdettweiler [2015-01-07 18:51:49] 777*2^1388697-1 is not prime. Res64: 3DEEE74AF2764113 Time : 0.0 sec. user=mdettweiler [2015-01-07 18:51:49] 807*2^1388697-1 is not prime. Res64: 6B03F82BDE6201B2 Time : 0.0 sec. user=mdettweiler [2015-01-07 19:19:18] 765*2^1388698-1 is not prime. Res64: 7D8CED733F1BE481 Time : 0.0 sec. user=mdettweiler [2015-01-07 19:19:19] 773*2^1388698-1 is not prime. Res64: 862F28DA40ABF71C Time : 0.0 sec. user=juhehe [2015-01-07 19:44:25] 615*2^1388699-1 is not prime. Res64: 061F9ACA0FB083E0 Time : 0.0 sec. user=mdettweiler [2015-01-07 19:47:42] 845*2^1388698-1 is not prime. Res64: 5BADAD62915297BB Time : 0.0 sec. user=mdettweiler [2015-01-07 19:47:43] 881*2^1388698-1 is not prime. Res64: E03A168C4EF77C7C Time : 0.0 sec. user=mdettweiler [2015-01-07 19:50:25] 717*2^1388697-1 is not prime. Res64: 0DC97B2A5F45480F Time : 0.0 sec. user=mdettweiler [2015-01-07 20:14:23] 735*2^1388699-1 is not prime. Res64: 7839DE6FA1EF10A9 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:14:24] 843*2^1388699-1 is not prime. Res64: B1711854902308B9 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:17:07] 855*2^1388699-1 is not prime. Res64: E1B318D3FDD4D828 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:17:07] 883*2^1388699-1 is not prime. Res64: 918CA539E193A06C Time : 0.0 sec. user=mdettweiler [2015-01-07 20:32:39] 657*2^1388698-1 is not prime. Res64: 4842060DD5D413C0 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:32:40] 677*2^1388698-1 is not prime. Res64: 45A92C303719D99A Time : 0.0 sec. user=mdettweiler [2015-01-07 20:35:26] 829*2^1388697-1 is not prime. Res64: 3324B6408D8DA281 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:35:26] 835*2^1388697-1 is not prime. Res64: 724E4872A559B1C0 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:40:53] 921*2^1388699-1 is not prime. Res64: E4DD5666FD38DBD0 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:40:53] 973*2^1388699-1 is not prime. Res64: B8734DBB357356FA Time : 0.0 sec. user=mdettweiler [2015-01-07 20:43:23] 695*2^1388700-1 is not prime. Res64: B59EAACB861ABD92 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:43:24] 707*2^1388700-1 is not prime. Res64: 1F69F47C40EF5519 Time : 0.0 sec. user=mdettweiler [2015-01-07 20:58:35] 773*2^1388700-1 is not prime. Res64: AC20EB12B3AAC97C Time : 0.0 sec. user=mdettweiler [2015-01-07 21:01:13] 867*2^1388700-1 is not prime. Res64: 6ECA2BDF61DDDC96 Time : 0.0 sec. user=mdettweiler [2015-01-07 21:01:14] 887*2^1388700-1 is not prime. Res64: A166AF7A07BA76CD Time : 0.0 sec. user=mdettweiler [2015-01-07 21:09:16] 639*2^1388701-1 is not prime. Res64: 35DD647A066C98A6 Time : 0.0 sec. user=mdettweiler [2015-01-07 21:09:17] 679*2^1388701-1 is not prime. Res64: FE5640628391D84D Time : 0.0 sec. user=mdettweiler [2015-01-07 21:27:54] 747*2^1388701-1 is not prime. Res64: 220405FFFBEA4F61 Time : 0.0 sec. user=mdettweiler [2015-01-07 21:27:54] 801*2^1388701-1 is not prime. Res64: 14654F8E01306A64 Time : 0.0 sec. user=mdettweiler [2015-01-07 21:36:15] 847*2^1388701-1 is not prime. Res64: E5C097CAA4024674 Time : 0.0 sec. user=mdettweiler [2015-01-07 21:36:15] 861*2^1388701-1 is not prime. Res64: 6168A0D090B32CF9 Time : 0.0 sec. user=juhehe [2015-01-07 21:38:38] 825*2^1388701-1 is not prime. Res64: 7934FA9FD8A97494 Time : 0.0 sec. user=mdettweiler [2015-01-07 21:54:58] 925*2^1388701-1 is not prime. Res64: B4D6762AED864ED7 Time : 0.0 sec. user=mdettweiler [2015-01-07 21:54:59] 645*2^1388702-1 is not prime. Res64: 1AAEE643E763A917 Time : 0.0 sec. user=mdettweiler [2015-01-07 22:04:04] 705*2^1388702-1 is not prime. Res64: 57B3AE40C0F50953 Time : 0.0 sec. user=mdettweiler [2015-01-07 22:07:15] 795*2^1388700-1 is not prime. Res64: A5C8589F3D93752B Time : 0.0 sec. user=juhehe [2015-01-07 22:16:41] 771*2^1388702-1 is not prime. Res64: 96A05FA0194B3C30 Time : 0.0 sec. user=mdettweiler [2015-01-07 22:22:46] 825*2^1388702-1 is not prime. Res64: 4D72F24F7371459F Time : 0.0 sec. user=mdettweiler [2015-01-07 22:22:47] 935*2^1388702-1 is not prime. Res64: E3ABE7DABE6FFC23 Time : 0.0 sec. user=mdettweiler [2015-01-07 22:28:22] 959*2^1388700-1 is not prime. Res64: 487345D88CDE54B4 Time : 0.0 sec. user=mdettweiler [2015-01-07 22:28:22] 615*2^1388701-1 is not prime. Res64: FF24EE94A584C09B Time : 0.0 sec. user=mdettweiler [2015-01-07 22:35:48] 609*2^1388703-1 is not prime. Res64: 60E82957078DBEFC Time : 0.0 sec. user=mdettweiler [2015-01-07 22:35:48] 685*2^1388703-1 is not prime. Res64: 793A0CF64EF65F91 Time : 0.0 sec. user=mdettweiler [2015-01-07 22:49:55] 765*2^1388703-1 is not prime. Res64: 45FEBA09797017EE Time : 0.0 sec. user=mdettweiler [2015-01-07 22:49:55] 871*2^1388703-1 is not prime. Res64: 07965ABCE4FF358B Time : 0.0 sec. user=mdettweiler [2015-01-07 22:55:17] 895*2^1388703-1 is not prime. Res64: 8B4F6D538DCFCA7C Time : 0.0 sec. user=mdettweiler [2015-01-07 22:55:18] 901*2^1388703-1 is not prime. Res64: 6EB9FBFCEC0A38CD Time : 0.0 sec. user=mdettweiler [2015-01-07 23:02:34] 605*2^1388704-1 is not prime. Res64: AB2DEAE018E14BE2 Time : 0.0 sec. user=mdettweiler [2015-01-07 23:02:36] 693*2^1388704-1 is not prime. Res64: FA8F09E6A66C95B2 Time : 0.0 sec. user=mdettweiler [2015-01-07 23:16:48] 707*2^1388704-1 is not prime. Res64: B9B2338B1D2B6659 Time : 0.0 sec. user=mdettweiler [2015-01-07 23:20:39] 741*2^1388702-1 is not prime. Res64: 4629D82CD931AD04 Time : 0.0 sec. user=mdettweiler [2015-01-07 23:22:19] 607*2^1388705-1 is not prime. Res64: 7CAAA6A3107E9B1D Time : 0.0 sec. user=mdettweiler [2015-01-07 23:30:07] 645*2^1388705-1 is not prime. Res64: 056FB0FDDA251739 Time : 0.0 sec. user=mdettweiler [2015-01-07 23:30:07] 691*2^1388705-1 is not prime. Res64: 3AC9843D8CA9D227 Time : 0.0 sec. user=juhehe [2015-01-07 23:30:57] 833*2^1388704-1 is not prime. Res64: D0CBBE07F4FDAB03 Time : 0.0 sec. user=mdettweiler [2015-01-07 23:47:54] 727*2^1388705-1 is not prime. Res64: 748466DE55C55ED4 Time : 0.0 sec. user=mdettweiler [2015-01-07 23:58:49] 985*2^1388705-1 is not prime. Res64: C833DB174673C19D Time : 0.0 sec. user=mdettweiler [2015-01-07 23:58:50] 641*2^1388706-1 is not prime. Res64: 28E651761DABFAE1 Time : 0.0 sec.