user=mdettweiler [2015-03-22 00:12:13] 909*2^1395892-1 is not prime. Res64: 46079583A974E5FA Time : 0.0 sec. user=mdettweiler [2015-03-22 00:12:13] 983*2^1395892-1 is not prime. Res64: 538AA52FFBE39661 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:12:22] 627*2^1395893-1 is not prime. Res64: 940450EADC63FCBF Time : 0.0 sec. user=mdettweiler [2015-03-22 00:12:23] 631*2^1395893-1 is not prime. Res64: 8F1CC43E702CC5F8 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:13:19] 691*2^1395893-1 is not prime. Res64: CB38D4BB5A0C2707 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:13:19] 735*2^1395893-1 is not prime. Res64: 5609A3D3FD02B391 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:16:02] 741*2^1395893-1 is not prime. Res64: 41FB622EC2A3090D Time : 0.0 sec. user=mdettweiler [2015-03-22 00:16:02] 897*2^1395893-1 is not prime. Res64: 850E9BF8FC2FAB78 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:38:47] 969*2^1395893-1 is not prime. Res64: 9133A9DB683C0515 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:38:47] 737*2^1395894-1 is not prime. Res64: D04CD70902603130 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:38:53] 795*2^1395894-1 is not prime. Res64: BAFF98E277CDB896 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:38:53] 815*2^1395894-1 is not prime. Res64: FCA3D5DE492A9E85 Time : 0.0 sec. user=juhehe [2015-03-22 00:39:04] 957*2^1395893-1 is not prime. Res64: D869A52EF824CACE Time : 0.0 sec. user=mdettweiler [2015-03-22 00:39:53] 863*2^1395894-1 is not prime. Res64: 0BD0E05924FABAEC Time : 0.0 sec. user=mdettweiler [2015-03-22 00:39:54] 927*2^1395894-1 is not prime. Res64: FFF84EF5A3FCED0B Time : 0.0 sec. user=mdettweiler [2015-03-22 00:42:34] 971*2^1395894-1 is not prime. Res64: DBF76DCD8D389FB5 Time : 0.0 sec. user=mdettweiler [2015-03-22 00:42:34] 993*2^1395894-1 is not prime. Res64: 6CAD3E11363B2119 Time : 0.0 sec. user=juhehe [2015-03-22 00:55:32] 609*2^1395895-1 is not prime. Res64: 3ED0FB2769BAAB26 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:05:20] 639*2^1395895-1 is not prime. Res64: F82936AE8F4F8758 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:05:22] 805*2^1395895-1 is not prime. Res64: E721765F00E9C06F Time : 0.0 sec. user=mdettweiler [2015-03-22 01:05:24] 841*2^1395895-1 is not prime. Res64: 34A94CD127799817 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:05:25] 853*2^1395895-1 is not prime. Res64: FF43DC8DAA256D19 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:06:21] 871*2^1395895-1 is not prime. Res64: 03E67F37ED76988B Time : 0.0 sec. user=mdettweiler [2015-03-22 01:06:21] 873*2^1395895-1 is not prime. Res64: E2706E4F2FF07B71 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:08:59] 895*2^1395895-1 is not prime. Res64: FC8D4DF499D111D8 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:09:00] 609*2^1395896-1 is not prime. Res64: C0CD4AFCEE7883CB Time : 0.0 sec. user=mdettweiler [2015-03-22 01:31:49] 629*2^1395896-1 is not prime. Res64: 2EF7937B3E763269 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:31:50] 633*2^1395896-1 is not prime. Res64: CFB5DE2F88B522D0 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:31:51] 675*2^1395896-1 is not prime. Res64: F04B884247A3F229 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:31:51] 693*2^1395896-1 is not prime. Res64: 23D1FA4CAF1932CB Time : 0.0 sec. user=mdettweiler [2015-03-22 01:32:45] 755*2^1395896-1 is not prime. Res64: CC69125E77CB0523 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:32:45] 855*2^1395896-1 is not prime. Res64: D95A1888B3ED7A65 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:35:18] 615*2^1395897-1 is not prime. Res64: A3425E1EB99F91E0 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:35:19] 667*2^1395897-1 is not prime. Res64: 86088E9E2BFECE5D Time : 0.0 sec. user=mdettweiler [2015-03-22 01:58:54] 837*2^1395897-1 is not prime. Res64: C0B6C923EC5737FC Time : 0.0 sec. user=mdettweiler [2015-03-22 01:58:54] 871*2^1395897-1 is not prime. Res64: CA588E61E3CADE18 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:59:03] 805*2^1395897-1 is not prime. Res64: 9B49C2D0872937CC Time : 0.0 sec. user=mdettweiler [2015-03-22 01:59:03] 835*2^1395897-1 is not prime. Res64: C25384987D19B986 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:59:45] 681*2^1395898-1 is not prime. Res64: 61300FAF1A485B84 Time : 0.0 sec. user=mdettweiler [2015-03-22 01:59:45] 743*2^1395898-1 is not prime. Res64: 6D1DE17D427E7F69 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:02:31] 765*2^1395898-1 is not prime. Res64: 78856339209A893F Time : 0.0 sec. user=mdettweiler [2015-03-22 02:02:33] 791*2^1395898-1 is not prime. Res64: FEB8F1684CCB85D3 Time : 0.0 sec. user=juhehe [2015-03-22 02:19:45] 827*2^1395898-1 is not prime. Res64: F62817CBA53D90F1 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:25:55] 887*2^1395898-1 is not prime. Res64: BE5EB063339DF075 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:25:56] 619*2^1395899-1 is not prime. Res64: 9265913577E0F209 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:26:04] 711*2^1395899-1 is not prime. Res64: 9165A9212C04AABE Time : 0.0 sec. user=mdettweiler [2015-03-22 02:26:05] 735*2^1395899-1 is not prime. Res64: 1BF27F4FBE5C05E1 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:27:08] 909*2^1395899-1 is not prime. Res64: 086370E9D99CDE8B Time : 0.0 sec. user=mdettweiler [2015-03-22 02:27:08] 921*2^1395899-1 is not prime. Res64: 31145872E440400D Time : 0.0 sec. user=mdettweiler [2015-03-22 02:30:24] 931*2^1395899-1 is not prime. Res64: 041FFA797C5A8C86 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:30:24] 955*2^1395899-1 is not prime. Res64: F0DF780C12D25134 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:52:10] 979*2^1395899-1 is not prime. Res64: FA4204D326A122EF Time : 0.0 sec. user=mdettweiler [2015-03-22 02:52:11] 863*2^1395900-1 is not prime. Res64: 243AB2088D879D15 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:52:21] 867*2^1395900-1 is not prime. Res64: 9351FC70D7A2B9A0 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:52:22] 959*2^1395900-1 is not prime. Res64: 113BF9FB35177EA2 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:53:32] 965*2^1395900-1 is not prime. Res64: E3B735EE10AFB4A7 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:53:32] 607*2^1395901-1 is not prime. Res64: 323EEC33010DDF7F Time : 0.0 sec. user=mdettweiler [2015-03-22 02:56:49] 625*2^1395901-1 is not prime. Res64: 8C020485AB824610 Time : 0.0 sec. user=mdettweiler [2015-03-22 02:56:49] 741*2^1395901-1 is not prime. Res64: B9A66B57D0D89A4D Time : 0.0 sec. user=mdettweiler [2015-03-22 03:18:23] 747*2^1395901-1 is not prime. Res64: 9E8148561608008D Time : 0.0 sec. user=mdettweiler [2015-03-22 03:18:23] 775*2^1395901-1 is not prime. Res64: 75BBE777FD8B6ADF Time : 0.0 sec. user=mdettweiler [2015-03-22 03:18:30] 861*2^1395901-1 is not prime. Res64: 4AB85CC405EB6504 Time : 0.0 sec. user=mdettweiler [2015-03-22 03:18:30] 999*2^1395901-1 is not prime. Res64: 69A4A85800E40B91 Time : 0.0 sec. user=mdettweiler [2015-03-22 03:19:41] 677*2^1395902-1 is not prime. Res64: 926E7D6A601EFA2F Time : 0.0 sec. user=mdettweiler [2015-03-22 03:19:41] 825*2^1395902-1 is not prime. Res64: 54BB0B58A6C02F4F Time : 0.0 sec. user=mdettweiler [2015-03-22 03:23:03] 875*2^1395902-1 is not prime. Res64: CD8B934B47FF583F Time : 0.0 sec. user=mdettweiler [2015-03-22 03:23:03] 941*2^1395902-1 is not prime. Res64: 97858057E1EE0343 Time : 0.0 sec. user=mdettweiler [2015-03-22 03:44:27] 613*2^1395903-1 is not prime. Res64: C11EABF75AB600D4 Time : 0.0 sec. user=mdettweiler [2015-03-22 03:44:29] 735*2^1395903-1 is not prime. Res64: D1C2DABA6F0C0519 Time : 0.0 sec. user=mdettweiler [2015-03-22 03:44:35] 859*2^1395903-1 is not prime. Res64: 0792317F3D13B2EE Time : 0.0 sec. user=mdettweiler [2015-03-22 03:44:36] 861*2^1395903-1 is not prime. Res64: 6E2E43E51B789A48 Time : 0.0 sec. user=mdettweiler [2015-03-22 03:45:44] 921*2^1395903-1 is not prime. Res64: 51F9A7B5C77FD5A6 Time : 0.0 sec. user=mdettweiler [2015-03-22 03:45:44] 945*2^1395903-1 is not prime. Res64: C452CAB8105A376C Time : 0.0 sec. user=mdettweiler [2015-03-22 03:49:03] 635*2^1395904-1 is not prime. Res64: 4B8B8B69DE0DA1BD Time : 0.0 sec. user=mdettweiler [2015-03-22 03:49:10] 675*2^1395904-1 is not prime. Res64: 61F901A740BF6D96 Time : 0.0 sec. user=juhehe [2015-03-22 04:10:56] 699*2^1395904-1 is not prime. Res64: 586668C4A6FC5755 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:11:43] 627*2^1395905-1 is not prime. Res64: B3C50FC1B8C23EDB Time : 0.0 sec. user=mdettweiler [2015-03-22 04:11:44] 657*2^1395905-1 is not prime. Res64: 0CA65581739AB718 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:11:54] 927*2^1395904-1 is not prime. Res64: 734E22F34F08B5AF Time : 0.0 sec. user=mdettweiler [2015-03-22 04:11:54] 965*2^1395904-1 is not prime. Res64: E62E7BA1C8FD1EE9 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:12:59] 699*2^1395905-1 is not prime. Res64: 0AF5FAF1AB15D7F9 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:12:59] 729*2^1395905-1 is not prime. Res64: CC640D10ADE2F1F3 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:38:59] 789*2^1395905-1 is not prime. Res64: 0BDA1BEE50ECA052 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:39:00] 831*2^1395905-1 is not prime. Res64: 8B0F37B2D1976368 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:39:17] 867*2^1395905-1 is not prime. Res64: 2C33C25DF6D0F807 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:39:17] 979*2^1395905-1 is not prime. Res64: EE7E45A8342D090D Time : 0.0 sec. user=mdettweiler [2015-03-22 04:40:20] 987*2^1395905-1 is not prime. Res64: CF765095378FC7E4 Time : 0.0 sec. user=mdettweiler [2015-03-22 04:40:20] 723*2^1395906-1 is not prime. Res64: D96DC6782D4068C1 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:05:49] 767*2^1395906-1 is not prime. Res64: F4E5E4D6E5AA5E9B Time : 0.0 sec. user=mdettweiler [2015-03-22 05:05:49] 777*2^1395906-1 is not prime. Res64: D07058FC8835FEE9 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:06:06] 803*2^1395906-1 is not prime. Res64: 306507C9F6DC3F1B Time : 0.0 sec. user=mdettweiler [2015-03-22 05:06:06] 921*2^1395906-1 is not prime. Res64: 52EEE1FF39DEDF44 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:06:59] 945*2^1395906-1 is not prime. Res64: B2E0224600081EAF Time : 0.0 sec. user=mdettweiler [2015-03-22 05:06:59] 609*2^1395907-1 is not prime. Res64: 1E7E235CC710FA7A Time : 0.0 sec. user=mdettweiler [2015-03-22 05:31:53] 651*2^1395907-1 is not prime. Res64: EB9515D6F2C8ACC4 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:31:53] 715*2^1395907-1 is not prime. Res64: 79C35CA6301E1590 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:32:30] 733*2^1395907-1 is not prime. Res64: 9BEDBE29394FB1B8 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:32:30] 861*2^1395907-1 is not prime. Res64: 33A1B0F5A10975AE Time : 0.0 sec. user=mdettweiler [2015-03-22 05:33:05] 901*2^1395907-1 is not prime. Res64: 5180AE4168723BA0 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:33:05] 945*2^1395907-1 is not prime. Res64: 7505948B2172B4D6 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:39:12] 975*2^1395907-1 is not prime. Res64: 8002FD5B127A358B Time : 0.0 sec. user=mdettweiler [2015-03-22 05:39:13] 633*2^1395908-1 is not prime. Res64: C1E2A90A4B568764 Time : 0.0 sec. user=juhehe [2015-03-22 05:51:16] 635*2^1395908-1 is not prime. Res64: 49948D5ED8711BA8 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:57:54] 665*2^1395908-1 is not prime. Res64: 0692A2DD802B061B Time : 0.0 sec. user=mdettweiler [2015-03-22 05:57:55] 749*2^1395908-1 is not prime. Res64: F4C78A6FB24A463F Time : 0.0 sec. user=mdettweiler [2015-03-22 05:58:21] 909*2^1395908-1 is not prime. Res64: 921F67B23ADA214C Time : 0.0 sec. user=mdettweiler [2015-03-22 05:58:22] 957*2^1395908-1 is not prime. Res64: E3DC0443BE1F02B2 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:59:05] 999*2^1395908-1 is not prime. Res64: EAA24177BAE30230 Time : 0.0 sec. user=mdettweiler [2015-03-22 05:59:05] 615*2^1395909-1 is not prime. Res64: 55DFF829D50D864E Time : 0.0 sec. user=mdettweiler [2015-03-22 06:05:13] 661*2^1395909-1 is not prime. Res64: ACE116EA870AE2EC Time : 0.0 sec. user=mdettweiler [2015-03-22 06:05:14] 669*2^1395909-1 is not prime. Res64: 53811F816E782A3C Time : 0.0 sec. user=mdettweiler [2015-03-22 06:23:56] 961*2^1395909-1 is not prime. Res64: B0CB01F680C70074 Time : 0.0 sec. user=mdettweiler [2015-03-22 06:23:56] 635*2^1395910-1 is not prime. Res64: 0FC8FD8A100CC128 Time : 0.0 sec. user=mdettweiler [2015-03-22 06:24:19] 687*2^1395910-1 is not prime. Res64: C065A48A9063FFFD Time : 0.0 sec. user=mdettweiler [2015-03-22 06:24:19] 777*2^1395910-1 is not prime. Res64: 64AC05A8BFC375F7 Time : 0.0 sec. user=mdettweiler [2015-03-22 06:25:04] 813*2^1395910-1 is not prime. Res64: 8B47B1E3360BE68A Time : 0.0 sec. user=mdettweiler [2015-03-22 06:25:04] 975*2^1395910-1 is not prime. Res64: FEC2BDEA1F1EA50D Time : 0.0 sec. user=mdettweiler [2015-03-22 06:31:30] 1001*2^1395910-1 is not prime. Res64: 2168CB1679F592C1 Time : 0.0 sec. user=mdettweiler [2015-03-22 06:31:30] 693*2^1395911-1 is not prime. Res64: 4053B75F6B651712 Time : 0.0 sec. user=mdettweiler [2015-03-22 06:49:56] 735*2^1395911-1 is not prime. Res64: 07531C288C5984EB Time : 0.0 sec. user=mdettweiler [2015-03-22 06:49:56] 753*2^1395911-1 is not prime. Res64: AFA57C6FEF75485C Time : 0.0 sec. user=mdettweiler [2015-03-22 06:50:19] 759*2^1395911-1 is not prime. Res64: F7DED7F212E5AA5C Time : 0.0 sec. user=mdettweiler [2015-03-22 06:50:19] 763*2^1395911-1 is not prime. Res64: 3A628984D62C884D Time : 0.0 sec. user=mdettweiler [2015-03-22 06:50:59] 825*2^1395911-1 is not prime. Res64: 77A8FD87DC09023A Time : 0.0 sec. user=mdettweiler [2015-03-22 06:50:59] 895*2^1395911-1 is not prime. Res64: AC88D6AB2B8D70BA Time : 0.0 sec. user=mdettweiler [2015-03-22 06:57:30] 949*2^1395911-1 is not prime. Res64: CB589E8645EF835C Time : 0.0 sec. user=mdettweiler [2015-03-22 06:57:30] 717*2^1395912-1 is not prime. Res64: E2F08DD70AC5CEC7 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:15:51] 777*2^1395912-1 is not prime. Res64: 3BCEADD1472DCE5E Time : 0.0 sec. user=mdettweiler [2015-03-22 07:15:51] 923*2^1395912-1 is not prime. Res64: 170B46AB97618976 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:16:20] 609*2^1395913-1 is not prime. Res64: 21EFA4981BB37522 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:16:20] 625*2^1395913-1 is not prime. Res64: 55D42757463436F5 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:17:03] 675*2^1395913-1 is not prime. Res64: 48BBC81E6ED194F8 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:17:03] 685*2^1395913-1 is not prime. Res64: F8CEFBE36BBCF86A Time : 0.0 sec. user=mdettweiler [2015-03-22 07:23:30] 721*2^1395913-1 is not prime. Res64: 340CC81F7A40F647 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:23:31] 817*2^1395913-1 is not prime. Res64: 5855EC835B57D94E Time : 0.0 sec. user=juhehe [2015-03-22 07:41:13] 877*2^1395913-1 is not prime. Res64: C22DB259DCA7AD15 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:41:47] 711*2^1395914-1 is not prime. Res64: FC96F6B94157EB12 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:41:48] 731*2^1395914-1 is not prime. Res64: 5F95ED143D2EFB5C Time : 0.0 sec. user=mdettweiler [2015-03-22 07:42:20] 753*2^1395914-1 is not prime. Res64: D07FF67558111D32 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:42:21] 837*2^1395914-1 is not prime. Res64: 03EAF9FE3184235B Time : 0.0 sec. user=mdettweiler [2015-03-22 07:43:05] 601*2^1395915-1 is not prime. Res64: F72A8C1123F1171A Time : 0.0 sec. user=mdettweiler [2015-03-22 07:43:05] 633*2^1395915-1 is not prime. Res64: 24F7870DC2BD6E23 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:49:27] 675*2^1395915-1 is not prime. Res64: 4EE39121DA3F6E84 Time : 0.0 sec. user=mdettweiler [2015-03-22 07:49:28] 709*2^1395915-1 is not prime. Res64: 53CA2076BBABDEE6 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:07:39] 723*2^1395915-1 is not prime. Res64: E03EC4708EA309CE Time : 0.0 sec. user=mdettweiler [2015-03-22 08:07:39] 805*2^1395915-1 is not prime. Res64: BA5A69E0FF495AEB Time : 0.0 sec. user=mdettweiler [2015-03-22 08:08:18] 849*2^1395915-1 is not prime. Res64: E4D47F3BEDA319B4 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:08:18] 873*2^1395915-1 is not prime. Res64: 7B3A3C178F7F61C7 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:09:01] 903*2^1395915-1 is not prime. Res64: 84178BE70D872563 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:09:01] 615*2^1395916-1 is not prime. Res64: 7BDF986F0023BC34 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:15:24] 657*2^1395916-1 is not prime. Res64: 27968E9D0DA6D210 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:15:25] 719*2^1395916-1 is not prime. Res64: 472938390D082B4E Time : 0.0 sec. user=mdettweiler [2015-03-22 08:33:42] 833*2^1395916-1 is not prime. Res64: 251AA1F54971FFC7 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:33:42] 899*2^1395916-1 is not prime. Res64: B0BE91D3FFC87B83 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:34:08] 933*2^1395916-1 is not prime. Res64: 51A534FB2A16523B Time : 0.0 sec. user=mdettweiler [2015-03-22 08:34:09] 987*2^1395916-1 is not prime. Res64: F3848E7D69811B1A Time : 0.0 sec. user=mdettweiler [2015-03-22 08:35:04] 999*2^1395916-1 is not prime. Res64: 670638BB491CBAE8 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:35:04] 651*2^1395917-1 is not prime. Res64: 4E585B81D907AD77 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:41:25] 865*2^1395917-1 is not prime. Res64: E7265CC686269C60 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:41:25] 927*2^1395917-1 is not prime. Res64: 1C0BAE45F1BAC647 Time : 0.0 sec. user=juhehe [2015-03-22 08:49:18] 931*2^1395917-1 is not prime. Res64: CAF88C1EB3AB7E49 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:59:41] 939*2^1395917-1 is not prime. Res64: CF2B10A534986073 Time : 0.0 sec. user=mdettweiler [2015-03-22 08:59:41] 955*2^1395917-1 is not prime. Res64: 58F3986772232348 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:00:04] 657*2^1395918-1 is not prime. Res64: E4C9C50757492EF0 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:00:04] 705*2^1395918-1 is not prime. Res64: 37C2E85B48FAFF95 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:01:05] 711*2^1395918-1 is not prime. Res64: B019684E1637F0D0 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:01:06] 725*2^1395918-1 is not prime. Res64: 30F3457B46580BC7 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:07:30] 777*2^1395918-1 is not prime. Res64: 941700BA42B81F1B Time : 0.0 sec. user=mdettweiler [2015-03-22 09:07:31] 843*2^1395918-1 is not prime. Res64: 57370B5E235D2A1E Time : 0.0 sec. user=mdettweiler [2015-03-22 09:25:31] 705*2^1395919-1 is not prime. Res64: 0D3D3672C57BCC67 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:25:31] 729*2^1395919-1 is not prime. Res64: 59A1E8B0A2BF8B7A Time : 0.0 sec. user=mdettweiler [2015-03-22 09:25:55] 853*2^1395919-1 is not prime. Res64: 1D026CFAAF022330 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:25:55] 873*2^1395919-1 is not prime. Res64: A93ABB5458F168B0 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:27:02] 885*2^1395919-1 is not prime. Res64: 1C790EFF09636813 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:27:02] 891*2^1395919-1 is not prime. Res64: 924B3F6C7064F393 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:33:34] 925*2^1395919-1 is not prime. Res64: F97EE6EE8F656D09 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:33:35] 973*2^1395919-1 is not prime. Res64: 682FF006F5C36693 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:51:32] 645*2^1395920-1 is not prime. Res64: D415114C797D4496 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:51:32] 747*2^1395920-1 is not prime. Res64: 964C217E51B2A93F Time : 0.0 sec. user=mdettweiler [2015-03-22 09:51:47] 857*2^1395920-1 is not prime. Res64: 13EE623326CF0158 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:51:47] 935*2^1395920-1 is not prime. Res64: 5D791EFE9879B6CC Time : 0.0 sec. user=mdettweiler [2015-03-22 09:52:58] 977*2^1395920-1 is not prime. Res64: A61D4FF3C4DCA71A Time : 0.0 sec. user=mdettweiler [2015-03-22 09:52:59] 679*2^1395921-1 is not prime. Res64: 851A98D904A7A95C Time : 0.0 sec. user=mdettweiler [2015-03-22 09:59:21] 691*2^1395921-1 is not prime. Res64: F0E3F584D6C9BDC6 Time : 0.0 sec. user=mdettweiler [2015-03-22 09:59:21] 717*2^1395921-1 is not prime. Res64: A7E768B01DC523B7 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:17:28] 835*2^1395921-1 is not prime. Res64: 2BEB7272D08D46A7 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:17:28] 861*2^1395921-1 is not prime. Res64: E37EE33329720F3B Time : 0.0 sec. user=mdettweiler [2015-03-22 10:17:43] 949*2^1395921-1 is not prime. Res64: F46B0155335E40B3 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:17:43] 603*2^1395922-1 is not prime. Res64: 2F3325DA5EA0D523 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:18:59] 621*2^1395922-1 is not prime. Res64: 3CE9C43DCF54D240 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:18:59] 623*2^1395922-1 is not prime. Res64: E0D5E2A4327F104F Time : 0.0 sec. user=mdettweiler [2015-03-22 10:25:18] 665*2^1395922-1 is not prime. Res64: 40803FD1C16FF0A5 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:25:18] 677*2^1395922-1 is not prime. Res64: FF9556D2FF5090C1 Time : 0.0 sec. user=juhehe [2015-03-22 10:38:17] 705*2^1395922-1 is not prime. Res64: 34BAD4C02F51AFC8 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:43:22] 735*2^1395922-1 is not prime. Res64: 2DBF83A41C3320DF Time : 0.0 sec. user=mdettweiler [2015-03-22 10:43:23] 791*2^1395922-1 is not prime. Res64: 85FEFEBDF3047564 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:43:34] 987*2^1395922-1 is not prime. Res64: EA3BC36626E1B801 Time : 0.0 sec. user=mdettweiler [2015-03-22 10:43:34] 995*2^1395922-1 is not prime. Res64: 58DCB3860338F5AD Time : 0.0 sec. user=mdettweiler [2015-03-22 10:45:01] 675*2^1395923-1 is not prime. Res64: 5AB51F2B62B81F5A Time : 0.0 sec. user=mdettweiler [2015-03-22 10:45:02] 813*2^1395923-1 is not prime. Res64: 8062E02D9E61C23F Time : 0.0 sec. user=mdettweiler [2015-03-22 10:51:19] 859*2^1395923-1 is not prime. Res64: C6BF4CCF534305DE Time : 0.0 sec. user=mdettweiler [2015-03-22 10:51:19] 913*2^1395923-1 is not prime. Res64: 7B8EA5ADE08E89EB Time : 0.0 sec. user=mdettweiler [2015-03-22 11:09:16] 689*2^1395924-1 is not prime. Res64: D14BAB13DD62A264 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:09:16] 707*2^1395924-1 is not prime. Res64: A34D06A3E3A8137C Time : 0.0 sec. user=mdettweiler [2015-03-22 11:09:27] 873*2^1395924-1 is not prime. Res64: 1F2D0EA092A824F2 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:09:27] 609*2^1395925-1 is not prime. Res64: 161F27BCEC1B5D46 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:10:49] 717*2^1395925-1 is not prime. Res64: B155F8B53A778F42 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:10:49] 765*2^1395925-1 is not prime. Res64: 1B298D52DDD9C3D3 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:17:18] 771*2^1395925-1 is not prime. Res64: FCBC72E0EE792873 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:17:19] 925*2^1395925-1 is not prime. Res64: F4BA718D3733A192 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:35:09] 615*2^1395926-1 is not prime. Res64: 4A8A82CFE54051AE Time : 0.0 sec. user=mdettweiler [2015-03-22 11:35:09] 641*2^1395926-1 is not prime. Res64: 085D6C405AF258E1 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:35:23] 651*2^1395926-1 is not prime. Res64: 3CAA8AD4259B3D5E Time : 0.0 sec. user=mdettweiler [2015-03-22 11:35:23] 675*2^1395926-1 is not prime. Res64: 2BDB55F7DE8AD119 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:36:41] 705*2^1395926-1 is not prime. Res64: 5CB3C8192169D531 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:36:41] 825*2^1395926-1 is not prime. Res64: 559C571777F77F30 Time : 0.0 sec. user=mdettweiler [2015-03-22 11:43:05] 893*2^1395926-1 is not prime. Res64: A844CF2F2BA5068F Time : 0.0 sec. user=mdettweiler [2015-03-22 11:43:05] 923*2^1395926-1 is not prime. Res64: 8713F26C274C80E0 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:00:59] 981*2^1395926-1 is not prime. Res64: 97270BBD3FB6D7F6 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:01:00] 649*2^1395927-1 is not prime. Res64: E512B48870F860BE Time : 0.0 sec. user=mdettweiler [2015-03-22 12:01:19] 669*2^1395927-1 is not prime. Res64: 1A6A6CE40BC92156 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:01:20] 805*2^1395927-1 is not prime. Res64: 282D1299B073DA07 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:02:34] 951*2^1395927-1 is not prime. Res64: 86B76FBEDD28BF62 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:02:34] 973*2^1395927-1 is not prime. Res64: 981D36B4C8CC4B3D Time : 0.0 sec. user=mdettweiler [2015-03-22 12:08:50] 605*2^1395928-1 is not prime. Res64: 657C58E773498B80 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:08:50] 629*2^1395928-1 is not prime. Res64: F86F692C03C3888D Time : 0.0 sec. user=juhehe [2015-03-22 12:22:04] 639*2^1395928-1 is not prime. Res64: 92D4FCB542443A2C Time : 0.0 sec. user=mdettweiler [2015-03-22 12:27:04] 657*2^1395928-1 is not prime. Res64: C5F14C2F35681F1F Time : 0.0 sec. user=mdettweiler [2015-03-22 12:27:04] 747*2^1395928-1 is not prime. Res64: 1D914F7F0DEB2C98 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:27:20] 827*2^1395928-1 is not prime. Res64: 29FB3EE464802FBD Time : 0.0 sec. user=mdettweiler [2015-03-22 12:27:20] 843*2^1395928-1 is not prime. Res64: DB4D59BB87556CE7 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:28:40] 869*2^1395928-1 is not prime. Res64: 61724E566AAA48F0 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:28:40] 875*2^1395928-1 is not prime. Res64: 195A07D3CA72CF93 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:34:48] 615*2^1395929-1 is not prime. Res64: 102C3B845BA45F01 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:34:49] 675*2^1395929-1 is not prime. Res64: E1E6846BAF42D7DB Time : 0.0 sec. user=mdettweiler [2015-03-22 12:53:03] 771*2^1395929-1 is not prime. Res64: 6F9314F65768465A Time : 0.0 sec. user=mdettweiler [2015-03-22 12:53:03] 861*2^1395929-1 is not prime. Res64: ED1FAB668DC28D7A Time : 0.0 sec. user=mdettweiler [2015-03-22 12:53:18] 897*2^1395929-1 is not prime. Res64: D0950036BE1DE13C Time : 0.0 sec. user=mdettweiler [2015-03-22 12:53:18] 925*2^1395929-1 is not prime. Res64: 343C6C9400A68E5C Time : 0.0 sec. user=mdettweiler [2015-03-22 12:54:40] 969*2^1395929-1 is not prime. Res64: A4476C2AF2F5F987 Time : 0.0 sec. user=mdettweiler [2015-03-22 12:54:41] 997*2^1395929-1 is not prime. Res64: 31ECF15AF565B7E4 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:01:19] 635*2^1395930-1 is not prime. Res64: FA9693B51C8EC3FF Time : 0.0 sec. user=mdettweiler [2015-03-22 13:01:20] 665*2^1395930-1 is not prime. Res64: 4B2086C3CA17B4EA Time : 0.0 sec. user=mdettweiler [2015-03-22 13:19:54] 671*2^1395930-1 is not prime. Res64: C841D246CC0C1A10 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:19:54] 825*2^1395930-1 is not prime. Res64: 3EC73529D0B275FB Time : 0.0 sec. user=mdettweiler [2015-03-22 13:20:08] 875*2^1395930-1 is not prime. Res64: 9B0E197843F72671 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:20:08] 885*2^1395930-1 is not prime. Res64: F25527FA33BBBBB7 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:21:32] 923*2^1395930-1 is not prime. Res64: 24FB9777CAC3B59C Time : 0.0 sec. user=mdettweiler [2015-03-22 13:21:33] 933*2^1395930-1 is not prime. Res64: C7373A1776ECA915 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:28:09] 941*2^1395930-1 is not prime. Res64: CB5A9AD208D084DE Time : 0.0 sec. user=mdettweiler [2015-03-22 13:28:10] 603*2^1395931-1 is not prime. Res64: 937B62248091CC25 Time : 0.0 sec. user=juhehe [2015-03-22 13:43:04] 631*2^1395931-1 is not prime. Res64: 2DB929F9564E12A8 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:46:39] 693*2^1395931-1 is not prime. Res64: 1D3DE53CBA06AF0F Time : 0.0 sec. user=mdettweiler [2015-03-22 13:46:40] 751*2^1395931-1 is not prime. Res64: 671F7FC971C262B8 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:46:41] 783*2^1395931-1 is not prime. Res64: 4539FD8CD848040F Time : 0.0 sec. user=mdettweiler [2015-03-22 13:46:41] 843*2^1395931-1 is not prime. Res64: 3817398A7CFCED6C Time : 0.0 sec. user=mdettweiler [2015-03-22 13:48:12] 891*2^1395931-1 is not prime. Res64: D36FCC84DE96F985 Time : 0.0 sec. user=mdettweiler [2015-03-22 13:48:12] 909*2^1395931-1 is not prime. Res64: DE3B00DC155D29FF Time : 0.0 sec. user=mdettweiler [2015-03-22 13:55:06] 913*2^1395931-1 is not prime. Res64: C0C80920F7027F2A Time : 0.0 sec. user=mdettweiler [2015-03-22 13:55:06] 629*2^1395932-1 is not prime. Res64: 7476E03720498A92 Time : 0.0 sec. user=juhehe [2015-03-22 14:08:00] 717*2^1395932-1 is not prime. Res64: 1DE0C93068BD6EA4 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:12:43] 957*2^1395932-1 is not prime. Res64: 9DEA4AC3C0664B2D Time : 0.0 sec. user=mdettweiler [2015-03-22 14:12:43] 963*2^1395932-1 is not prime. Res64: 6C8689E57D28EC80 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:12:48] 873*2^1395932-1 is not prime. Res64: 835AFBA5D67C231F Time : 0.0 sec. user=mdettweiler [2015-03-22 14:12:48] 875*2^1395932-1 is not prime. Res64: B29CD6B3544919BE Time : 0.0 sec. user=mdettweiler [2015-03-22 14:14:08] 995*2^1395932-1 is not prime. Res64: 30360815419C50E0 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:14:08] 949*2^1395933-1 is not prime. Res64: F53EC92F7A2DA6B0 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:21:02] 617*2^1395934-1 is not prime. Res64: EBFB52754C14B47E Time : 0.0 sec. user=mdettweiler [2015-03-22 14:21:02] 765*2^1395934-1 is not prime. Res64: 0F6FD32905CA145C Time : 0.0 sec. user=mdettweiler [2015-03-22 14:38:45] 951*2^1395934-1 is not prime. Res64: DDF38412B4B355E0 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:38:45] 603*2^1395935-1 is not prime. Res64: 4978881B607C7B53 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:38:48] 825*2^1395934-1 is not prime. Res64: 628A52F5D171B818 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:38:48] 857*2^1395934-1 is not prime. Res64: 1440F45BC21AB61B Time : 0.0 sec. user=mdettweiler [2015-03-22 14:40:05] 609*2^1395935-1 is not prime. Res64: ED837C678DDD6442 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:40:05] 633*2^1395935-1 is not prime. Res64: 22C3337CFA36C330 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:46:55] 661*2^1395935-1 is not prime. Res64: F451A83DFEA50D76 Time : 0.0 sec. user=mdettweiler [2015-03-22 14:46:56] 669*2^1395935-1 is not prime. Res64: 0B5611ED58EDEE6C Time : 0.0 sec. user=mdettweiler [2015-03-22 15:04:41] 685*2^1395935-1 is not prime. Res64: 368AAEFF7788DB02 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:04:42] 753*2^1395935-1 is not prime. Res64: 87E7C8D65194BED4 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:04:54] 799*2^1395935-1 is not prime. Res64: C4539EA9CF183A82 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:04:55] 963*2^1395935-1 is not prime. Res64: 75852F2E64902B9C Time : 0.0 sec. user=mdettweiler [2015-03-22 15:06:09] 985*2^1395935-1 is not prime. Res64: 5EDF394ACAB220F9 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:06:09] 991*2^1395935-1 is not prime. Res64: 4AC48A18B5CF1015 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:12:56] 627*2^1395936-1 is not prime. Res64: C95E38E401B2D9E9 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:12:56] 633*2^1395936-1 is not prime. Res64: F196474525DFF796 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:30:52] 809*2^1395936-1 is not prime. Res64: 975E029E6F3690BE Time : 0.0 sec. user=mdettweiler [2015-03-22 15:30:53] 945*2^1395936-1 is not prime. Res64: 862253223A003556 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:30:57] 737*2^1395936-1 is not prime. Res64: AA127D835319D03B Time : 0.0 sec. user=mdettweiler [2015-03-22 15:30:58] 779*2^1395936-1 is not prime. Res64: A24F6849009C4DD6 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:32:06] 651*2^1395937-1 is not prime. Res64: 743352FE059B8FBC Time : 0.0 sec. user=mdettweiler [2015-03-22 15:32:07] 667*2^1395937-1 is not prime. Res64: B673BE8B9BD2F9EA Time : 0.0 sec. user=mdettweiler [2015-03-22 15:38:59] 717*2^1395937-1 is not prime. Res64: E3C194E8BEFA1AF3 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:38:59] 729*2^1395937-1 is not prime. Res64: D5C271A724CBD81F Time : 0.0 sec. user=mdettweiler [2015-03-22 15:56:52] 871*2^1395937-1 is not prime. Res64: A89B698489DBB409 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:56:52] 915*2^1395937-1 is not prime. Res64: A77D3D1D9C20FA81 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:56:59] 975*2^1395937-1 is not prime. Res64: 25A5CF8B0718B881 Time : 0.0 sec. user=mdettweiler [2015-03-22 15:56:59] 743*2^1395938-1 is not prime. Res64: 64BFEB10D2A539EE Time : 0.0 sec. user=mdettweiler [2015-03-22 15:58:16] 791*2^1395938-1 is not prime. Res64: 48E0E472C1E04D9F Time : 0.0 sec. user=mdettweiler [2015-03-22 15:58:16] 797*2^1395938-1 is not prime. Res64: 5393715315D971AA Time : 0.0 sec. user=mdettweiler [2015-03-22 16:04:58] 843*2^1395938-1 is not prime. Res64: D0988D98F818C72F Time : 0.0 sec. user=mdettweiler [2015-03-22 16:05:00] 875*2^1395938-1 is not prime. Res64: 8F5432F94EB2D337 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:22:44] 941*2^1395938-1 is not prime. Res64: FED7E15E9A3ADAC3 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:22:44] 625*2^1395939-1 is not prime. Res64: 4CA3CAD439D8D33A Time : 0.0 sec. user=mdettweiler [2015-03-22 16:22:49] 703*2^1395939-1 is not prime. Res64: 84C69CA2DA7984C8 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:22:49] 879*2^1395939-1 is not prime. Res64: E9E42EF51C6F5AE1 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:24:13] 895*2^1395939-1 is not prime. Res64: AE7C7BA475990E72 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:24:13] 605*2^1395940-1 is not prime. Res64: D57C8BB98098859F Time : 0.0 sec. user=mdettweiler [2015-03-22 16:31:12] 695*2^1395940-1 is not prime. Res64: 01AD53DCF9271B7A Time : 0.0 sec. user=mdettweiler [2015-03-22 16:31:13] 735*2^1395940-1 is not prime. Res64: 4B3ADC3EE0D220A0 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:48:41] 933*2^1395940-1 is not prime. Res64: CDB823AF00D9B5B6 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:48:41] 965*2^1395940-1 is not prime. Res64: A93F0600546CA3BE Time : 0.0 sec. user=mdettweiler [2015-03-22 16:48:41] 795*2^1395941-1 is not prime. Res64: AD3FF0BC75616690 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:48:42] 889*2^1395941-1 is not prime. Res64: 84B0C7AD4B783747 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:50:07] 945*2^1395941-1 is not prime. Res64: 7BD0B20ED24D30EC Time : 0.0 sec. user=mdettweiler [2015-03-22 16:50:07] 611*2^1395942-1 is not prime. Res64: 86989DA517E41F17 Time : 0.0 sec. user=mdettweiler [2015-03-22 16:57:08] 635*2^1395942-1 is not prime. Res64: 5F917BA5F1CEC40A Time : 0.0 sec. user=mdettweiler [2015-03-22 16:57:08] 713*2^1395942-1 is not prime. Res64: 029FB2E54C7F04DD Time : 0.0 sec. user=juhehe [2015-03-22 16:59:18] 827*2^1395940-1 is not prime. Res64: 889E9BC429CE8B7D Time : 0.0 sec. user=mdettweiler [2015-03-22 17:14:34] 633*2^1395943-1 is not prime. Res64: AC44C4A8C5FDD659 Time : 0.0 sec. user=mdettweiler [2015-03-22 17:14:35] 639*2^1395943-1 is not prime. Res64: 05259E9BA80A3103 Time : 0.0 sec. user=mdettweiler [2015-03-22 17:14:37] 777*2^1395942-1 is not prime. Res64: 3B31172C7169907C Time : 0.0 sec. user=mdettweiler [2015-03-22 17:14:37] 815*2^1395942-1 is not prime. Res64: CDF541CADDC204C2 Time : 0.0 sec. user=mdettweiler [2015-03-22 17:16:06] 675*2^1395943-1 is not prime. Res64: 30362A25FE525D45 Time : 0.0 sec. user=mdettweiler [2015-03-22 17:16:07] 703*2^1395943-1 is not prime. Res64: EB56958E45B2BB04 Time : 0.0 sec. user=mdettweiler [2015-03-22 17:22:58] 871*2^1395943-1 is not prime. Res64: A61AAA8B1DA45ABC Time : 0.0 sec. user=mdettweiler [2015-03-22 17:22:59] 883*2^1395943-1 is not prime. Res64: C692B3E60731D2BB Time : 0.0 sec. user=juhehe [2015-03-22 17:35:56] 885*2^1395943-1 is not prime. Res64: 53CD3D8C5E80818E Time : 0.0 sec. user=mdettweiler [2015-03-22 17:40:33] 985*2^1395943-1 is not prime. Res64: 3DCA1D174FE67BAC Time : 0.0 sec. user=mdettweiler [2015-03-22 17:40:33] 759*2^1395944-1 is not prime. Res64: A6A520EEA4A2994F Time : 0.0 sec. user=mdettweiler [2015-03-22 17:40:33] 605*2^1395944-1 is not prime. Res64: 1DD9867DEF5C5FF1 Time : 0.0 sec. user=mdettweiler [2015-03-22 17:40:33] 837*2^1395944-1 is not prime. Res64: BCBDE1CCC0797EB9 Time : 0.0 sec. user=mdettweiler [2015-03-22 17:42:06] 843*2^1395944-1 is not prime. Res64: DBDF9B1BAD5588FC Time : 0.0 sec. user=mdettweiler [2015-03-22 17:42:06] 969*2^1395944-1 is not prime. Res64: B6D316408A98EC4D Time : 0.0 sec. user=mdettweiler [2015-03-22 17:48:48] 699*2^1395945-1 is not prime. Res64: 80BBEC32984F7F1C Time : 0.0 sec. user=mdettweiler [2015-03-22 17:48:48] 717*2^1395945-1 is not prime. Res64: 73DA1B7BEFC5E112 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:06:22] 811*2^1395945-1 is not prime. Res64: D3380519DA92C2BE Time : 0.0 sec. user=mdettweiler [2015-03-22 18:06:23] 921*2^1395945-1 is not prime. Res64: 2AAEC132C5D219A9 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:06:26] 739*2^1395945-1 is not prime. Res64: 2709CD7257353D5A Time : 0.0 sec. user=mdettweiler [2015-03-22 18:06:26] 795*2^1395945-1 is not prime. Res64: DFCF92E9C8DD1EB5 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:07:55] 997*2^1395945-1 is not prime. Res64: 806DE21CF5DEB413 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:07:55] 603*2^1395946-1 is not prime. Res64: 830287AC165ABBDA Time : 0.0 sec. user=mdettweiler [2015-03-22 18:14:36] 623*2^1395946-1 is not prime. Res64: 6A32C899F7CC3F34 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:14:37] 645*2^1395946-1 is not prime. Res64: 1C8D5FD4BE9F0059 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:32:15] 923*2^1395946-1 is not prime. Res64: D4B1FDF3437C8FBA Time : 0.0 sec. user=mdettweiler [2015-03-22 18:32:15] 717*2^1395946-1 is not prime. Res64: 2C2B20F8C6EECF42 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:32:15] 615*2^1395947-1 is not prime. Res64: 3D9FABCF35B7AD1D Time : 0.0 sec. user=mdettweiler [2015-03-22 18:32:16] 873*2^1395946-1 is not prime. Res64: EA2B2B550ED937D0 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:33:42] 685*2^1395947-1 is not prime. Res64: 17DCA565B6B29FC3 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:33:42] 759*2^1395947-1 is not prime. Res64: D3075EB945D42CA9 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:40:23] 825*2^1395947-1 is not prime. Res64: 8AC2CA6184D41109 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:40:24] 963*2^1395947-1 is not prime. Res64: 4FE02A49796ACC60 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:57:56] 973*2^1395947-1 is not prime. Res64: 057B19613E369519 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:57:57] 985*2^1395947-1 is not prime. Res64: 77498DFA62EEE1B7 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:58:02] 629*2^1395948-1 is not prime. Res64: A32A232DFAAC5ABE Time : 0.0 sec. user=mdettweiler [2015-03-22 18:58:02] 663*2^1395948-1 is not prime. Res64: C3B654999BB4DE0C Time : 0.0 sec. user=mdettweiler [2015-03-22 18:59:25] 695*2^1395948-1 is not prime. Res64: 7504C0DF43BD0154 Time : 0.0 sec. user=mdettweiler [2015-03-22 18:59:26] 839*2^1395948-1 is not prime. Res64: 45E6969BCE462B47 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:06:04] 899*2^1395948-1 is not prime. Res64: EA0FA0C264E145A5 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:06:05] 915*2^1395948-1 is not prime. Res64: 666DC1F08EC2567E Time : 0.0 sec. user=juhehe [2015-03-22 19:21:11] 927*2^1395948-1 is not prime. Res64: 8F4184D0A6EE0CAD Time : 0.0 sec. user=mdettweiler [2015-03-22 19:23:38] 945*2^1395948-1 is not prime. Res64: F408F47D9D932506 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:23:39] 977*2^1395948-1 is not prime. Res64: AA35E60A0BC53DD6 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:23:43] 999*2^1395948-1 is not prime. Res64: 0D283F775D5FE70A Time : 0.0 sec. user=mdettweiler [2015-03-22 19:23:44] 987*2^1395949-1 is not prime. Res64: 8CC4F5D7066ED1AE Time : 0.0 sec. user=mdettweiler [2015-03-22 19:25:16] 657*2^1395950-1 is not prime. Res64: 37CE5ED9B67F1020 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:25:16] 707*2^1395950-1 is not prime. Res64: 8483D2F9A71E6CA5 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:31:46] 867*2^1395950-1 is not prime. Res64: 1CA85325B6F93D0C Time : 0.0 sec. user=mdettweiler [2015-03-22 19:31:47] 887*2^1395950-1 is not prime. Res64: F1BDD5CE2BCE934C Time : 0.0 sec. user=mdettweiler [2015-03-22 19:49:20] 915*2^1395950-1 is not prime. Res64: AB4AC1C103B30A8B Time : 0.0 sec. user=mdettweiler [2015-03-22 19:49:20] 951*2^1395950-1 is not prime. Res64: B39FC8E044C36009 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:49:27] 971*2^1395950-1 is not prime. Res64: 242C98EBDF21C5BF Time : 0.0 sec. user=mdettweiler [2015-03-22 19:49:27] 987*2^1395950-1 is not prime. Res64: 002FFF5F7532A1CA Time : 0.0 sec. user=mdettweiler [2015-03-22 19:50:59] 741*2^1395951-1 is not prime. Res64: C620A8F309C1D49F Time : 0.0 sec. user=mdettweiler [2015-03-22 19:50:59] 745*2^1395951-1 is not prime. Res64: 3BDBF1CCF2CAC3FC Time : 0.0 sec. user=mdettweiler [2015-03-22 19:57:28] 763*2^1395951-1 is not prime. Res64: AEE57A31D5FAB314 Time : 0.0 sec. user=mdettweiler [2015-03-22 19:57:28] 829*2^1395951-1 is not prime. Res64: 6000C58ADBF79E83 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:15:06] 921*2^1395951-1 is not prime. Res64: 53F71DF0CBFE26D4 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:15:07] 615*2^1395952-1 is not prime. Res64: 730EDEF0B5097BAE Time : 0.0 sec. user=mdettweiler [2015-03-22 20:15:08] 623*2^1395952-1 is not prime. Res64: 5C110DEEF20C1FF3 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:15:09] 653*2^1395952-1 is not prime. Res64: 821F79F9127069A0 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:16:49] 665*2^1395952-1 is not prime. Res64: 8FA4EB565ABC2747 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:16:49] 827*2^1395952-1 is not prime. Res64: D9643BF2F32CA393 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:23:48] 887*2^1395952-1 is not prime. Res64: 72334B3A9DD9A171 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:23:49] 899*2^1395952-1 is not prime. Res64: 88466EA2EAE75EA9 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:43:44] 649*2^1395953-1 is not prime. Res64: 865807C043474AA2 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:43:44] 975*2^1395952-1 is not prime. Res64: F870193994179AB9 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:43:44] 771*2^1395953-1 is not prime. Res64: 15B62B66A19C74A9 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:43:45] 631*2^1395953-1 is not prime. Res64: 57E84218382712F8 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:46:22] 801*2^1395953-1 is not prime. Res64: CCA8ECC620AA018C Time : 0.0 sec. user=mdettweiler [2015-03-22 20:46:22] 981*2^1395953-1 is not prime. Res64: D73DFF49E1FE3E20 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:52:32] 985*2^1395953-1 is not prime. Res64: 470130C9B0578586 Time : 0.0 sec. user=mdettweiler [2015-03-22 20:52:32] 651*2^1395954-1 is not prime. Res64: 0A816835C963654D Time : 0.0 sec. user=juhehe [2015-03-22 21:10:20] 671*2^1395954-1 is not prime. Res64: 70CFD24F174967E7 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:10:41] 755*2^1395954-1 is not prime. Res64: 2CA90831D1227EBC Time : 0.0 sec. user=mdettweiler [2015-03-22 21:10:41] 765*2^1395954-1 is not prime. Res64: B2AF3FF0D0C3155F Time : 0.0 sec. user=mdettweiler [2015-03-22 21:11:19] 767*2^1395954-1 is not prime. Res64: 986F97F6200EF45F Time : 0.0 sec. user=mdettweiler [2015-03-22 21:11:19] 625*2^1395955-1 is not prime. Res64: 3A47503E88469D08 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:14:00] 631*2^1395955-1 is not prime. Res64: B41E75683B04B573 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:14:00] 651*2^1395955-1 is not prime. Res64: 00058B12DE1BBE2D Time : 0.0 sec. user=mdettweiler [2015-03-22 21:19:38] 715*2^1395955-1 is not prime. Res64: 3D31B57789240DAD Time : 0.0 sec. user=mdettweiler [2015-03-22 21:19:39] 723*2^1395955-1 is not prime. Res64: 04F5362EDECCFF62 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:37:06] 793*2^1395955-1 is not prime. Res64: 2632376346A9962F Time : 0.0 sec. user=mdettweiler [2015-03-22 21:37:06] 883*2^1395955-1 is not prime. Res64: 01242BAE54C2A71A Time : 0.0 sec. user=mdettweiler [2015-03-22 21:37:44] 915*2^1395955-1 is not prime. Res64: 950EE85945F3DD9D Time : 0.0 sec. user=mdettweiler [2015-03-22 21:37:44] 985*2^1395955-1 is not prime. Res64: FDF734F60F2B6EF3 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:40:04] 609*2^1395956-1 is not prime. Res64: C2F9AB84A8940684 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:40:05] 813*2^1395956-1 is not prime. Res64: E9D0023D9D6E2AC1 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:45:41] 833*2^1395956-1 is not prime. Res64: E30768D720FC5373 Time : 0.0 sec. user=mdettweiler [2015-03-22 21:45:41] 969*2^1395956-1 is not prime. Res64: EAECB0C637F0F030 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:03:02] 987*2^1395956-1 is not prime. Res64: ED9751775994219B Time : 0.0 sec. user=mdettweiler [2015-03-22 22:03:03] 655*2^1395957-1 is not prime. Res64: DF6C86A1B2A6D702 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:03:43] 717*2^1395957-1 is not prime. Res64: 92B4551346480F4B Time : 0.0 sec. user=mdettweiler [2015-03-22 22:03:44] 835*2^1395957-1 is not prime. Res64: 381247BAB6AE6198 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:06:03] 871*2^1395957-1 is not prime. Res64: 0FFCC3AF8E811DBB Time : 0.0 sec. user=mdettweiler [2015-03-22 22:06:03] 891*2^1395957-1 is not prime. Res64: 4407DB5A77BE3EB5 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:11:32] 927*2^1395957-1 is not prime. Res64: 6EE2A735D68FD84E Time : 0.0 sec. user=mdettweiler [2015-03-22 22:11:32] 605*2^1395958-1 is not prime. Res64: 1EBF426EB5D93252 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:29:15] 755*2^1395958-1 is not prime. Res64: 3452545DD689A4E9 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:29:16] 863*2^1395958-1 is not prime. Res64: B1B55D229845B4B3 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:29:44] 891*2^1395958-1 is not prime. Res64: DD7C18B6A2CDC516 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:29:45] 971*2^1395958-1 is not prime. Res64: 6F878508F9D7B0DB Time : 0.0 sec. user=mdettweiler [2015-03-22 22:31:58] 603*2^1395959-1 is not prime. Res64: EC8E650B0B9F0095 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:31:58] 633*2^1395959-1 is not prime. Res64: A17D8385E27496D2 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:37:31] 705*2^1395959-1 is not prime. Res64: 92625B36DAE57EE4 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:37:32] 711*2^1395959-1 is not prime. Res64: 47A45E760FEBB7AE Time : 0.0 sec. user=juhehe [2015-03-22 22:55:00] 735*2^1395959-1 is not prime. Res64: E8CDFB31A907C443 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:55:10] 753*2^1395959-1 is not prime. Res64: 8F5D177CD87581A9 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:55:10] 799*2^1395959-1 is not prime. Res64: 4FDE48A2416657F5 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:55:34] 861*2^1395959-1 is not prime. Res64: 00207127CC153B95 Time : 0.0 sec. user=mdettweiler [2015-03-22 22:55:34] 955*2^1395959-1 is not prime. Res64: 5F4BF464C2D7477F Time : 0.0 sec. user=mdettweiler [2015-03-22 22:57:54] 627*2^1395960-1 is not prime. Res64: 8643BBDB39A9D4EA Time : 0.0 sec. user=mdettweiler [2015-03-22 22:57:54] 635*2^1395960-1 is not prime. Res64: ACCE8C55B95947DA Time : 0.0 sec. user=mdettweiler [2015-03-22 23:03:23] 735*2^1395960-1 is not prime. Res64: C9C32A485EC3B211 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:03:24] 845*2^1395960-1 is not prime. Res64: 2974CE9CE94D7A09 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:21:04] 909*2^1395960-1 is not prime. Res64: DC6094931A56518F Time : 0.0 sec. user=mdettweiler [2015-03-22 23:21:04] 645*2^1395961-1 is not prime. Res64: 4C09CCEAEA2CF22C Time : 0.0 sec. user=mdettweiler [2015-03-22 23:21:34] 771*2^1395961-1 is not prime. Res64: D44F1FD6F4B58900 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:21:34] 777*2^1395961-1 is not prime. Res64: 25F05B1605CB5EB7 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:23:49] 789*2^1395961-1 is not prime. Res64: D58C7F3A2B2E459B Time : 0.0 sec. user=mdettweiler [2015-03-22 23:23:50] 817*2^1395961-1 is not prime. Res64: 7FDEA038F86EBBEA Time : 0.0 sec. user=mdettweiler [2015-03-22 23:29:39] 861*2^1395961-1 is not prime. Res64: 607F5976BAB7DC70 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:29:39] 979*2^1395961-1 is not prime. Res64: 64FBB6C1BDD165EE Time : 0.0 sec. user=mdettweiler [2015-03-22 23:47:32] 657*2^1395962-1 is not prime. Res64: B6AB72EF8243CA84 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:47:32] 713*2^1395962-1 is not prime. Res64: A6B0F62523CD4C19 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:47:49] 801*2^1395962-1 is not prime. Res64: 90B20045F4151F1E Time : 0.0 sec. user=mdettweiler [2015-03-22 23:47:49] 813*2^1395962-1 is not prime. Res64: 024389377DE6B8A3 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:50:00] 833*2^1395962-1 is not prime. Res64: 60664B1332577C90 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:50:00] 857*2^1395962-1 is not prime. Res64: 8E9606536BB0B2DF Time : 0.0 sec. user=mdettweiler [2015-03-22 23:55:51] 873*2^1395962-1 is not prime. Res64: 2B551585B5DC7DF5 Time : 0.0 sec. user=mdettweiler [2015-03-22 23:55:52] 935*2^1395962-1 is not prime. Res64: 3D96A6AE343D327D Time : 0.0 sec.