user=mdettweiler [2016-08-03 00:28:23] 725*2^1436550-1 is not prime. Res64: ED93B0F20FBC6C5A Time : 0.0 sec. user=mdettweiler [2016-08-03 00:28:26] 851*2^1436550-1 is not prime. Res64: EBAD463C5F8080F4 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:28:30] 863*2^1436550-1 is not prime. Res64: 5CB9CA52AC23533B Time : 0.0 sec. user=mdettweiler [2016-08-03 00:28:30] 951*2^1436550-1 is not prime. Res64: D99B48810D4012A2 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:28:33] 977*2^1436550-1 is not prime. Res64: E48D879F1F4CDD90 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:31:32] 619*2^1436551-1 is not prime. Res64: 3F20307756E27EC9 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:31:34] 673*2^1436551-1 is not prime. Res64: B897DC1AD1CB8A01 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:31:37] 703*2^1436551-1 is not prime. Res64: 3A892EE12DA96C13 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:31:39] 741*2^1436551-1 is not prime. Res64: 42153F6806B62466 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:31:41] 819*2^1436551-1 is not prime. Res64: 26DFAFC6A4056A4B Time : 0.0 sec. user=mdettweiler [2016-08-03 00:32:52] 873*2^1436551-1 is not prime. Res64: C18C023A51187FD9 Time : 0.0 sec. user=mdettweiler [2016-08-03 00:32:54] 943*2^1436551-1 is not prime. Res64: 744893184FAC134B Time : 0.0 sec. user=mdettweiler [2016-08-03 00:32:56] 961*2^1436551-1 is not prime. Res64: 200410951AC29F0A Time : 0.0 sec. user=mdettweiler [2016-08-03 00:32:58] 973*2^1436551-1 is not prime. Res64: 045B79D53D74A18A Time : 0.0 sec. user=mdettweiler [2016-08-03 00:33:01] 993*2^1436551-1 is not prime. Res64: B67FD5D2C3C83164 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:12:44] 675*2^1436552-1 is not prime. Res64: D60023D02B0E1F2F Time : 0.0 sec. user=mdettweiler [2016-08-03 01:12:44] 639*2^1436553-1 is not prime. Res64: 95E6284B58DDB9F7 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:12:45] 649*2^1436553-1 is not prime. Res64: BEA4C00146920D2A Time : 0.0 sec. user=mdettweiler [2016-08-03 01:12:45] 679*2^1436553-1 is not prime. Res64: F5DF70AECD445788 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:12:45] 727*2^1436553-1 is not prime. Res64: 53E1B2CEDAF05CA2 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:15:53] 765*2^1436553-1 is not prime. Res64: 0819BC897CC12698 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:15:54] 817*2^1436553-1 is not prime. Res64: 6A1904B1A3DF811F Time : 0.0 sec. user=mdettweiler [2016-08-03 01:15:54] 849*2^1436553-1 is not prime. Res64: 1DD5ED7E214B9A68 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:15:54] 969*2^1436553-1 is not prime. Res64: E7B99BB4141C8FA4 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:15:54] 657*2^1436554-1 is not prime. Res64: 20E28FC89FE0BE5F Time : 0.0 sec. user=mdettweiler [2016-08-03 01:17:12] 701*2^1436554-1 is not prime. Res64: 4EE40C99A6437288 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:17:13] 773*2^1436554-1 is not prime. Res64: 82A4A1F13DCC7902 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:17:13] 951*2^1436554-1 is not prime. Res64: 4236C89128B15C4B Time : 0.0 sec. user=mdettweiler [2016-08-03 01:17:13] 971*2^1436554-1 is not prime. Res64: 7150BCC05A2B2114 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:17:13] 601*2^1436555-1 is not prime. Res64: 1994A6ADBF4EB311 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:57:16] 619*2^1436555-1 is not prime. Res64: 145C54756F43DBA8 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:57:17] 693*2^1436555-1 is not prime. Res64: CDEC2FE8C3B2EB94 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:57:17] 789*2^1436555-1 is not prime. Res64: C13386B6BCEDE4AB Time : 0.0 sec. user=mdettweiler [2016-08-03 01:57:17] 629*2^1436556-1 is not prime. Res64: CBFDBFF8FC06D666 Time : 0.0 sec. user=mdettweiler [2016-08-03 01:57:18] 633*2^1436556-1 is not prime. Res64: 17163627D2858263 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:00:26] 695*2^1436556-1 is not prime. Res64: 2BF730A845ECF5BC Time : 0.0 sec. user=mdettweiler [2016-08-03 02:00:27] 777*2^1436556-1 is not prime. Res64: 7025BC89379AE704 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:00:27] 789*2^1436556-1 is not prime. Res64: 795EC9BFDF2AD6F2 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:00:28] 837*2^1436556-1 is not prime. Res64: 0D54EB42D6D7DE16 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:00:28] 927*2^1436556-1 is not prime. Res64: 424D73F1E9995BAB Time : 0.0 sec. user=mdettweiler [2016-08-03 02:01:50] 999*2^1436556-1 is not prime. Res64: 563DC1AEDB2945BD Time : 0.0 sec. user=mdettweiler [2016-08-03 02:01:51] 649*2^1436557-1 is not prime. Res64: ECCF028444A4D3B5 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:01:52] 759*2^1436557-1 is not prime. Res64: B60821FEEC007ABC Time : 0.0 sec. user=mdettweiler [2016-08-03 02:01:53] 939*2^1436557-1 is not prime. Res64: 8CDC2F4DC717B523 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:01:54] 651*2^1436558-1 is not prime. Res64: 090857B271044493 Time : 0.0 sec. user=juhehe [2016-08-03 02:12:18] 671*2^1436558-1 is not prime. Res64: 967D8F27D4736ECC Time : 0.0 sec. user=mdettweiler [2016-08-03 02:41:59] 767*2^1436558-1 is not prime. Res64: 65B920BD8C49CF60 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:42:01] 791*2^1436558-1 is not prime. Res64: 9C74060EA72F3387 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:42:02] 827*2^1436558-1 is not prime. Res64: 9A43841B18BBF242 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:42:05] 875*2^1436558-1 is not prime. Res64: 350BD2B30C776FB5 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:42:05] 915*2^1436558-1 is not prime. Res64: 200C8C5B42528E30 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:45:05] 923*2^1436558-1 is not prime. Res64: 7E3EAD7A2C8AEB83 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:45:05] 709*2^1436559-1 is not prime. Res64: D6CE41A86B40DCC7 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:45:07] 745*2^1436559-1 is not prime. Res64: 23F603081CB3E638 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:45:07] 865*2^1436559-1 is not prime. Res64: E3BD6E75E9158129 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:45:09] 833*2^1436560-1 is not prime. Res64: 65A03D610719515E Time : 0.0 sec. user=mdettweiler [2016-08-03 02:46:46] 839*2^1436560-1 is not prime. Res64: 8AF4CC9ED61204D6 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:46:46] 989*2^1436560-1 is not prime. Res64: 404705CECA02D18F Time : 0.0 sec. user=mdettweiler [2016-08-03 02:46:46] 999*2^1436560-1 is not prime. Res64: C2CC8540201E28C5 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:46:46] 607*2^1436561-1 is not prime. Res64: 2300933F6F3B42A0 Time : 0.0 sec. user=mdettweiler [2016-08-03 02:46:47] 715*2^1436561-1 is not prime. Res64: 8A703466614B19E0 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:26:17] 867*2^1436561-1 is not prime. Res64: A49E07253F6EEAC9 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:26:18] 991*2^1436561-1 is not prime. Res64: AA0C78A92F9B183C Time : 0.0 sec. user=mdettweiler [2016-08-03 03:26:18] 711*2^1436562-1 is not prime. Res64: 2C357CDBAAD9F0DD Time : 0.0 sec. user=mdettweiler [2016-08-03 03:26:19] 977*2^1436562-1 is not prime. Res64: 819066788C545F76 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:26:19] 649*2^1436563-1 is not prime. Res64: 962D46FCE2BF03E5 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:29:17] 685*2^1436563-1 is not prime. Res64: 2682BD1928E9EB9F Time : 0.0 sec. user=mdettweiler [2016-08-03 03:29:18] 705*2^1436563-1 is not prime. Res64: 7323483DAEC67EF3 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:29:19] 709*2^1436563-1 is not prime. Res64: 46472C651D50A8B4 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:29:20] 783*2^1436563-1 is not prime. Res64: 6F3FC9F4CA3419EC Time : 0.0 sec. user=mdettweiler [2016-08-03 03:29:20] 801*2^1436563-1 is not prime. Res64: AFE01822411BAD51 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:30:55] 883*2^1436563-1 is not prime. Res64: 852C37B4C96F8A7A Time : 0.0 sec. user=mdettweiler [2016-08-03 03:30:56] 753*2^1436564-1 is not prime. Res64: A451109B3C495A32 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:30:56] 893*2^1436564-1 is not prime. Res64: 55E9623A79148E36 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:30:57] 935*2^1436564-1 is not prime. Res64: 28A6730AD2EED388 Time : 0.0 sec. user=mdettweiler [2016-08-03 03:30:57] 699*2^1436565-1 is not prime. Res64: AB1B70D72A4D05C5 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:10:43] 751*2^1436565-1 is not prime. Res64: 2087A3774C72D050 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:10:46] 777*2^1436565-1 is not prime. Res64: 9B716B63B7A026F8 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:10:47] 951*2^1436565-1 is not prime. Res64: 20A0F998EAD50FB1 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:10:50] 975*2^1436565-1 is not prime. Res64: EF88819F599A5216 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:10:53] 713*2^1436566-1 is not prime. Res64: C25F03807A8F313B Time : 0.0 sec. user=mdettweiler [2016-08-03 04:13:33] 815*2^1436566-1 is not prime. Res64: 18CCB751B323EA3F Time : 0.0 sec. user=mdettweiler [2016-08-03 04:13:33] 857*2^1436566-1 is not prime. Res64: AC353958F28785B7 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:13:37] 911*2^1436566-1 is not prime. Res64: 69306A5F371F1384 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:13:37] 923*2^1436566-1 is not prime. Res64: 01FEDF63697AB629 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:13:40] 603*2^1436567-1 is not prime. Res64: 350162B6E891A0BF Time : 0.0 sec. user=mdettweiler [2016-08-03 04:15:12] 619*2^1436567-1 is not prime. Res64: 12B797F187414A46 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:15:16] 651*2^1436567-1 is not prime. Res64: 67B332807BE42F24 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:15:18] 685*2^1436567-1 is not prime. Res64: E18A0A06E9209373 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:15:21] 693*2^1436567-1 is not prime. Res64: 27783ED7138C0E59 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:15:22] 711*2^1436567-1 is not prime. Res64: 49248A49B1FD83D0 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:55:07] 735*2^1436567-1 is not prime. Res64: 733ABDBF88221506 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:55:07] 759*2^1436567-1 is not prime. Res64: 24D0E9B996F592D8 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:55:08] 775*2^1436567-1 is not prime. Res64: 7C1E053E30501CD3 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:55:08] 841*2^1436567-1 is not prime. Res64: 3988D775F85CE0E7 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:55:08] 885*2^1436567-1 is not prime. Res64: D914E63D219F1B7B Time : 0.0 sec. user=mdettweiler [2016-08-03 04:57:51] 985*2^1436567-1 is not prime. Res64: 577B0B96427C2CE7 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:57:51] 663*2^1436568-1 is not prime. Res64: 33877105AA49F59C Time : 0.0 sec. user=mdettweiler [2016-08-03 04:57:52] 705*2^1436568-1 is not prime. Res64: 0D49C0B258CF20C5 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:57:52] 737*2^1436568-1 is not prime. Res64: 102EDC50EABBB784 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:57:52] 777*2^1436568-1 is not prime. Res64: 118DC77B4EE1B21F Time : 0.0 sec. user=mdettweiler [2016-08-03 04:59:38] 933*2^1436568-1 is not prime. Res64: 9B3703FA17757736 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:59:38] 959*2^1436568-1 is not prime. Res64: EA07299DDAE4F096 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:59:39] 625*2^1436569-1 is not prime. Res64: 2A9B10FC4E82F2D7 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:59:39] 759*2^1436569-1 is not prime. Res64: 715C1B973B46D667 Time : 0.0 sec. user=mdettweiler [2016-08-03 04:59:39] 801*2^1436569-1 is not prime. Res64: B76FD6D04EFD5753 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:39:24] 855*2^1436569-1 is not prime. Res64: C5797094C1B48432 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:39:24] 951*2^1436569-1 is not prime. Res64: FB1CA970EC4D1970 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:39:25] 985*2^1436569-1 is not prime. Res64: DD6EFE84D98FD9D4 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:39:25] 665*2^1436570-1 is not prime. Res64: DDB42685F4805260 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:39:25] 687*2^1436570-1 is not prime. Res64: E9A0D8D910B40686 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:42:06] 767*2^1436570-1 is not prime. Res64: E50591E979321CF7 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:42:06] 773*2^1436570-1 is not prime. Res64: 98FFA58CE3901E7C Time : 0.0 sec. user=mdettweiler [2016-08-03 05:42:06] 801*2^1436570-1 is not prime. Res64: F1B2FD32BFBDE026 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:42:07] 845*2^1436570-1 is not prime. Res64: B219249EBC635B4E Time : 0.0 sec. user=mdettweiler [2016-08-03 05:42:07] 851*2^1436570-1 is not prime. Res64: 1B069A3C7D39B6F6 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:43:53] 861*2^1436570-1 is not prime. Res64: D03426929010A6B9 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:43:54] 867*2^1436570-1 is not prime. Res64: D777218A55CA7C50 Time : 0.0 sec. user=mdettweiler [2016-08-03 05:43:54] 887*2^1436570-1 is not prime. Res64: 61BD9AA59E72ED6B Time : 0.0 sec. user=mdettweiler [2016-08-03 05:43:54] 945*2^1436570-1 is not prime. Res64: 98E7DDCF5C140F8A Time : 0.0 sec. user=mdettweiler [2016-08-03 05:43:54] 643*2^1436571-1 is not prime. Res64: 90BC7CAE0AACF183 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:23:37] 709*2^1436571-1 is not prime. Res64: D58FAF070F6C14F7 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:23:40] 895*2^1436571-1 is not prime. Res64: 48C31DE8B0B9819E Time : 0.0 sec. user=mdettweiler [2016-08-03 06:23:41] 931*2^1436571-1 is not prime. Res64: 40504543B2DE4289 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:23:44] 975*2^1436571-1 is not prime. Res64: 23DF8620B659A704 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:23:44] 991*2^1436571-1 is not prime. Res64: EADD81203778F552 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:26:18] 623*2^1436572-1 is not prime. Res64: 10A18DC60E9CD19D Time : 0.0 sec. user=mdettweiler [2016-08-03 06:26:20] 677*2^1436572-1 is not prime. Res64: ACE3D2567066CC2F Time : 0.0 sec. user=mdettweiler [2016-08-03 06:26:21] 797*2^1436572-1 is not prime. Res64: F59AF1BB6D84567C Time : 0.0 sec. user=mdettweiler [2016-08-03 06:26:23] 857*2^1436572-1 is not prime. Res64: 8BC2B1EF82526DA6 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:26:25] 909*2^1436572-1 is not prime. Res64: 6DEE7AAB5C2CC8C4 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:28:09] 933*2^1436572-1 is not prime. Res64: 11AB51F2D4BA1504 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:28:09] 975*2^1436572-1 is not prime. Res64: E6EF0D3E405FC448 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:28:11] 775*2^1436573-1 is not prime. Res64: ECCACCE21A98F88E Time : 0.0 sec. user=mdettweiler [2016-08-03 06:28:14] 847*2^1436573-1 is not prime. Res64: DA273D6C08E29152 Time : 0.0 sec. user=mdettweiler [2016-08-03 06:28:14] 855*2^1436573-1 is not prime. Res64: 739E5B528DDF74B4 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:08:05] 859*2^1436573-1 is not prime. Res64: 89A46EB875867BF8 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:08:06] 901*2^1436573-1 is not prime. Res64: 55A43A527B42CD8A Time : 0.0 sec. user=mdettweiler [2016-08-03 07:08:06] 981*2^1436573-1 is not prime. Res64: 8F64204D95172465 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:08:06] 765*2^1436574-1 is not prime. Res64: C43516F4B52355D4 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:08:07] 795*2^1436574-1 is not prime. Res64: 1DBB00CC8AB83637 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:10:49] 825*2^1436574-1 is not prime. Res64: 8D07C0061267C75F Time : 0.0 sec. user=mdettweiler [2016-08-03 07:10:49] 685*2^1436575-1 is not prime. Res64: 2C57DC56090C8F26 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:10:49] 765*2^1436575-1 is not prime. Res64: 320E0FAD3E09C380 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:10:50] 793*2^1436575-1 is not prime. Res64: B92DAEE285F83A63 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:10:50] 855*2^1436575-1 is not prime. Res64: 1CD20F9AB5E5FC45 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:12:35] 689*2^1436576-1 is not prime. Res64: E07CAFB614764E09 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:12:35] 759*2^1436576-1 is not prime. Res64: 3F1D837498DBC5D5 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:12:35] 767*2^1436576-1 is not prime. Res64: 1F89F176052FF3DC Time : 0.0 sec. user=mdettweiler [2016-08-03 07:12:35] 785*2^1436576-1 is not prime. Res64: A4EED8378A1EFF5F Time : 0.0 sec. user=mdettweiler [2016-08-03 07:12:36] 825*2^1436576-1 is not prime. Res64: 7FBE9565C40C3786 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:52:25] 839*2^1436576-1 is not prime. Res64: B8E21F7EA74A7926 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:52:25] 879*2^1436576-1 is not prime. Res64: 29F15CE28B507772 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:52:29] 805*2^1436577-1 is not prime. Res64: 491EC0B140FAED16 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:52:29] 835*2^1436577-1 is not prime. Res64: A3FD081C9DDEEBC4 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:52:33] 871*2^1436577-1 is not prime. Res64: DC7C62B3EED3DE13 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:55:00] 909*2^1436577-1 is not prime. Res64: 6B431EFAA67D863D Time : 0.0 sec. user=mdettweiler [2016-08-03 07:55:00] 979*2^1436577-1 is not prime. Res64: FA1F73064A6C1A20 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:55:01] 997*2^1436577-1 is not prime. Res64: 29E4FDE9EEB9581A Time : 0.0 sec. user=mdettweiler [2016-08-03 07:55:01] 731*2^1436578-1 is not prime. Res64: B1F17721EC9228CE Time : 0.0 sec. user=mdettweiler [2016-08-03 07:55:01] 735*2^1436578-1 is not prime. Res64: 09FC0BB2506728AF Time : 0.0 sec. user=mdettweiler [2016-08-03 07:56:47] 773*2^1436578-1 is not prime. Res64: FE13B1E27150CF0D Time : 0.0 sec. user=mdettweiler [2016-08-03 07:56:47] 777*2^1436578-1 is not prime. Res64: 765828E5C4ABA5D4 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:56:48] 645*2^1436579-1 is not prime. Res64: 9D66291631C51E2F Time : 0.0 sec. user=mdettweiler [2016-08-03 07:56:48] 669*2^1436579-1 is not prime. Res64: 95DAE612107BA044 Time : 0.0 sec. user=mdettweiler [2016-08-03 07:56:48] 675*2^1436579-1 is not prime. Res64: 5160F1B6676135DF Time : 0.0 sec. user=mdettweiler [2016-08-03 08:36:46] 943*2^1436579-1 is not prime. Res64: 89882314361449DC Time : 0.0 sec. user=mdettweiler [2016-08-03 08:36:47] 993*2^1436579-1 is not prime. Res64: C46E194166E873C2 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:36:47] 789*2^1436580-1 is not prime. Res64: 064DC51874D409FF Time : 0.0 sec. user=mdettweiler [2016-08-03 08:36:47] 797*2^1436580-1 is not prime. Res64: 8D1CF80B9B490BE2 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:36:47] 867*2^1436580-1 is not prime. Res64: B77057C8073623AF Time : 0.0 sec. user=mdettweiler [2016-08-03 08:39:13] 909*2^1436580-1 is not prime. Res64: E370B8D16625BDF4 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:39:13] 679*2^1436581-1 is not prime. Res64: BFFD853126B0C50A Time : 0.0 sec. user=mdettweiler [2016-08-03 08:39:13] 745*2^1436581-1 is not prime. Res64: 9FC1C1A9B507D737 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:39:14] 757*2^1436581-1 is not prime. Res64: 184621E7C3DB2C21 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:39:14] 867*2^1436581-1 is not prime. Res64: BA4BCE05F7B44B29 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:41:01] 925*2^1436581-1 is not prime. Res64: 5FEC337963128D41 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:41:03] 999*2^1436581-1 is not prime. Res64: E0B087BC20B74C85 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:41:05] 665*2^1436582-1 is not prime. Res64: 34DC1D7A03F9FCDA Time : 0.0 sec. user=mdettweiler [2016-08-03 08:41:05] 705*2^1436582-1 is not prime. Res64: 0E85749A61AB3814 Time : 0.0 sec. user=mdettweiler [2016-08-03 08:41:07] 935*2^1436582-1 is not prime. Res64: B196D10F3EFA52C2 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:21:01] 941*2^1436582-1 is not prime. Res64: BCAEB5B42B1FDF81 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:21:01] 951*2^1436582-1 is not prime. Res64: CA7AF5F217443674 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:21:01] 983*2^1436582-1 is not prime. Res64: FCAB62CD77E8FB34 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:21:02] 1001*2^1436582-1 is not prime. Res64: 86616E243EEBD36B Time : 0.0 sec. user=mdettweiler [2016-08-03 09:21:02] 693*2^1436583-1 is not prime. Res64: 87669FBAC9247D07 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:23:23] 723*2^1436583-1 is not prime. Res64: D291633AAFA050BC Time : 0.0 sec. user=mdettweiler [2016-08-03 09:23:23] 789*2^1436583-1 is not prime. Res64: B244DFB7E14A92DC Time : 0.0 sec. user=mdettweiler [2016-08-03 09:23:23] 885*2^1436583-1 is not prime. Res64: 9A407850A321E941 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:23:23] 901*2^1436583-1 is not prime. Res64: 0BFFE788134C06A0 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:23:24] 945*2^1436583-1 is not prime. Res64: 96A85AF32DDC279A Time : 0.0 sec. user=mdettweiler [2016-08-03 09:25:18] 605*2^1436584-1 is not prime. Res64: 3CAAF4F533109376 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:25:19] 615*2^1436584-1 is not prime. Res64: F17858DAEAA22513 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:25:19] 617*2^1436584-1 is not prime. Res64: 4DCBC91B741B2F22 Time : 0.0 sec. user=mdettweiler [2016-08-03 09:25:19] 707*2^1436584-1 is not prime. Res64: 6B16EEE2B5ABC48B Time : 0.0 sec. user=mdettweiler [2016-08-03 09:25:19] 717*2^1436584-1 is not prime. Res64: 3FF51E2157B94954 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:07:39] 711*2^1436586-1 is not prime. Res64: D9F23BEBB01C78B7 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:07:44] 717*2^1436586-1 is not prime. Res64: 6D83AB0F48F9F9AD Time : 0.0 sec. user=mdettweiler [2016-08-03 10:07:48] 861*2^1436586-1 is not prime. Res64: 73ED70C2A8AE2993 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:07:53] 873*2^1436586-1 is not prime. Res64: 5CE138901A4E9496 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:07:57] 887*2^1436586-1 is not prime. Res64: A15DB48B477B765F Time : 0.0 sec. user=mdettweiler [2016-08-03 10:09:34] 903*2^1436586-1 is not prime. Res64: 5850436C0089A184 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:09:35] 941*2^1436586-1 is not prime. Res64: BB8D7794569F2447 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:09:37] 631*2^1436587-1 is not prime. Res64: C1EBDB9A3AA1423A Time : 0.0 sec. user=mdettweiler [2016-08-03 10:09:40] 769*2^1436587-1 is not prime. Res64: 26B6A42A36022DF8 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:09:44] 891*2^1436587-1 is not prime. Res64: 90B4FD4F206DA8B1 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:53:17] 603*2^1436588-1 is not prime. Res64: C56A7364E07A9317 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:53:17] 617*2^1436588-1 is not prime. Res64: 9B112A4BAC1B0CBF Time : 0.0 sec. user=mdettweiler [2016-08-03 10:53:17] 813*2^1436588-1 is not prime. Res64: 5774E2E9DC9D60AB Time : 0.0 sec. user=mdettweiler [2016-08-03 10:53:17] 893*2^1436588-1 is not prime. Res64: 16DB31A1AC584FBE Time : 0.0 sec. user=mdettweiler [2016-08-03 10:53:18] 963*2^1436588-1 is not prime. Res64: 9152ADF09F58FDB0 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:54:54] 969*2^1436588-1 is not prime. Res64: 4B9CF81BCE44DB34 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:54:55] 655*2^1436589-1 is not prime. Res64: CBD3A00D83E2DDFC Time : 0.0 sec. user=mdettweiler [2016-08-03 10:54:55] 747*2^1436589-1 is not prime. Res64: 5A837C300C2A39FC Time : 0.0 sec. user=mdettweiler [2016-08-03 10:54:55] 781*2^1436589-1 is not prime. Res64: 72A2F7A67581CCF7 Time : 0.0 sec. user=mdettweiler [2016-08-03 10:54:55] 889*2^1436589-1 is not prime. Res64: B481D48E2096A1B5 Time : 0.0 sec. user=mdettweiler [2016-08-03 11:39:13] 951*2^1436589-1 is not prime. Res64: EB452C04BA67DC4D Time : 0.0 sec. user=mdettweiler [2016-08-03 11:39:16] 955*2^1436589-1 is not prime. Res64: 38C4F3530EB5E2C4 Time : 0.0 sec. user=mdettweiler [2016-08-03 11:39:19] 653*2^1436590-1 is not prime. Res64: 87BE5261E676AA7C Time : 0.0 sec. user=mdettweiler [2016-08-03 11:39:20] 675*2^1436590-1 is not prime. Res64: F9E11AD865C390B8 Time : 0.0 sec. user=mdettweiler [2016-08-03 11:39:23] 761*2^1436590-1 is not prime. Res64: 6359DBFF574863EE Time : 0.0 sec. user=mdettweiler [2016-08-03 11:40:56] 783*2^1436590-1 is not prime. Res64: A4F86249543700D5 Time : 0.0 sec. user=mdettweiler [2016-08-03 11:40:59] 825*2^1436590-1 is not prime. Res64: B0E90445C2BA9AD2 Time : 0.0 sec. user=mdettweiler [2016-08-03 11:41:03] 951*2^1436590-1 is not prime. Res64: 986EF75DAB7C990C Time : 0.0 sec. user=mdettweiler [2016-08-03 11:41:06] 753*2^1436591-1 is not prime. Res64: 1640C5461F39D596 Time : 0.0 sec. user=mdettweiler [2016-08-03 11:41:09] 843*2^1436591-1 is not prime. Res64: B930D3EC392CFBBF Time : 0.0 sec. user=mdettweiler [2016-08-03 12:23:57] 879*2^1436591-1 is not prime. Res64: F2E9818385835E21 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:23:57] 901*2^1436591-1 is not prime. Res64: 539169982A1CFB6F Time : 0.0 sec. user=mdettweiler [2016-08-03 12:23:58] 939*2^1436591-1 is not prime. Res64: E4E8296E518824CD Time : 0.0 sec. user=mdettweiler [2016-08-03 12:23:58] 955*2^1436591-1 is not prime. Res64: B5528C349C42FA86 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:23:58] 979*2^1436591-1 is not prime. Res64: DA7D84AE7EF38C52 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:25:47] 999*2^1436591-1 is not prime. Res64: EEAF1B403B3D8DB0 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:25:48] 665*2^1436592-1 is not prime. Res64: 46441AEABAFC385A Time : 0.0 sec. user=mdettweiler [2016-08-03 12:25:48] 717*2^1436592-1 is not prime. Res64: DB2048FF847C6EB7 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:25:48] 719*2^1436592-1 is not prime. Res64: FC4C19DF2BF350C1 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:25:48] 803*2^1436592-1 is not prime. Res64: 97E1352DE6492A96 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:53:15] 699*2^1436585-1 is not prime. Res64: CDC1D4420318161E Time : 0.0 sec. user=mdettweiler [2016-08-03 12:53:15] 717*2^1436585-1 is not prime. Res64: 374405825BA7A802 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:53:16] 831*2^1436585-1 is not prime. Res64: BA4523F29CE83528 Time : 0.0 sec. user=mdettweiler [2016-08-03 12:53:16] 909*2^1436585-1 is not prime. Res64: 7A545CEE0D77A32A Time : 0.0 sec. user=mdettweiler [2016-08-03 12:53:16] 955*2^1436585-1 is not prime. Res64: 5D2C0ABE48147945 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:08:36] 875*2^1436592-1 is not prime. Res64: 05CB3ABAE2EAA822 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:08:37] 893*2^1436592-1 is not prime. Res64: 3B086D472E249DA1 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:08:39] 959*2^1436592-1 is not prime. Res64: 605EAB8D1CF15233 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:08:41] 609*2^1436593-1 is not prime. Res64: DE0A73955E6BCCA3 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:08:44] 619*2^1436593-1 is not prime. Res64: F08543353665C55A Time : 0.0 sec. user=mdettweiler [2016-08-03 13:10:30] 625*2^1436593-1 is not prime. Res64: A5BF7EF27941F2F0 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:10:32] 769*2^1436593-1 is not prime. Res64: 021D1A7AF52CEBAC Time : 0.0 sec. user=mdettweiler [2016-08-03 13:10:34] 855*2^1436593-1 is not prime. Res64: 16B8E20A83CCEB87 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:10:37] 889*2^1436593-1 is not prime. Res64: 98195477F354A348 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:10:39] 901*2^1436593-1 is not prime. Res64: 853FF80629C53665 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:37:54] 957*2^1436593-1 is not prime. Res64: 7000B8E114B43C9B Time : 0.0 sec. user=mdettweiler [2016-08-03 13:37:54] 999*2^1436593-1 is not prime. Res64: 6E0AC766696E7277 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:37:58] 615*2^1436594-1 is not prime. Res64: 1C24402F33412D07 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:37:58] 633*2^1436594-1 is not prime. Res64: DEEE6DBBCDB1FAC5 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:38:02] 683*2^1436594-1 is not prime. Res64: E7C8A68BDB5B58BA Time : 0.0 sec. user=mdettweiler [2016-08-03 13:53:12] 705*2^1436594-1 is not prime. Res64: B1D931F94F9B263D Time : 0.0 sec. user=mdettweiler [2016-08-03 13:53:13] 773*2^1436594-1 is not prime. Res64: A9EB31A6C4FFD040 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:53:13] 813*2^1436594-1 is not prime. Res64: 96CC8241FE45BD2F Time : 0.0 sec. user=mdettweiler [2016-08-03 13:53:13] 837*2^1436594-1 is not prime. Res64: B3C0E6802913F1C1 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:53:13] 875*2^1436594-1 is not prime. Res64: 8C34F5BA776D3BF7 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:55:05] 609*2^1436595-1 is not prime. Res64: 6CEA3C1B646CFE9E Time : 0.0 sec. user=mdettweiler [2016-08-03 13:55:05] 651*2^1436595-1 is not prime. Res64: 775A1B8EE5CD1B01 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:55:05] 675*2^1436595-1 is not prime. Res64: 707F3A6BC708BD71 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:55:06] 801*2^1436595-1 is not prime. Res64: 12EA4054643F93A6 Time : 0.0 sec. user=mdettweiler [2016-08-03 13:55:06] 963*2^1436595-1 is not prime. Res64: 7E7EC1B42F8B0468 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:22:16] 969*2^1436595-1 is not prime. Res64: 5DC3FC1A55C8FDE9 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:22:17] 657*2^1436596-1 is not prime. Res64: 57D1D5378732CE36 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:22:17] 663*2^1436596-1 is not prime. Res64: 2206127CE4FC6A49 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:22:17] 719*2^1436596-1 is not prime. Res64: 0172AB1EFC0888AB Time : 0.0 sec. user=mdettweiler [2016-08-03 14:22:17] 735*2^1436596-1 is not prime. Res64: D29299E7A43E65E3 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:37:24] 843*2^1436596-1 is not prime. Res64: 1955FEF50F6E2D04 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:37:24] 875*2^1436596-1 is not prime. Res64: DB64589643E7111B Time : 0.0 sec. user=mdettweiler [2016-08-03 14:37:25] 903*2^1436596-1 is not prime. Res64: 69DFE0C3CDBD174E Time : 0.0 sec. user=mdettweiler [2016-08-03 14:37:25] 957*2^1436596-1 is not prime. Res64: 0CB0E465CB7A5FCD Time : 0.0 sec. user=mdettweiler [2016-08-03 14:37:25] 965*2^1436596-1 is not prime. Res64: 098EE0EA46FC3E64 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:39:19] 993*2^1436596-1 is not prime. Res64: DF4D50BBE46A3539 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:39:19] 999*2^1436596-1 is not prime. Res64: 77119499AD3D7297 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:39:19] 615*2^1436597-1 is not prime. Res64: 9A28836BEEC50049 Time : 0.0 sec. user=mdettweiler [2016-08-03 14:39:20] 645*2^1436597-1 is not prime. Res64: E458BBCB229EDC8E Time : 0.0 sec. user=mdettweiler [2016-08-03 14:39:20] 717*2^1436597-1 is not prime. Res64: AEEFD886217ADB33 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:06:33] 729*2^1436597-1 is not prime. Res64: 8D6823CD81551592 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:06:35] 757*2^1436597-1 is not prime. Res64: C20051032B0AEFE5 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:06:36] 939*2^1436597-1 is not prime. Res64: E765F3691B4C7B5F Time : 0.0 sec. user=mdettweiler [2016-08-03 15:06:37] 615*2^1436598-1 is not prime. Res64: 5D2B0544DB2F7B2A Time : 0.0 sec. user=mdettweiler [2016-08-03 15:06:38] 755*2^1436598-1 is not prime. Res64: D2653110768E4D1E Time : 0.0 sec. user=mdettweiler [2016-08-03 15:21:37] 825*2^1436598-1 is not prime. Res64: 0416F8C938403693 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:21:39] 833*2^1436598-1 is not prime. Res64: BB6FC87D8EBB76E4 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:21:41] 843*2^1436598-1 is not prime. Res64: 4511F4CEFBB56DAB Time : 0.0 sec. user=mdettweiler [2016-08-03 15:21:43] 891*2^1436598-1 is not prime. Res64: 70F7719E9D047CDC Time : 0.0 sec. user=mdettweiler [2016-08-03 15:21:45] 915*2^1436598-1 is not prime. Res64: 97592C2F9211A9FB Time : 0.0 sec. user=mdettweiler [2016-08-03 15:23:34] 963*2^1436598-1 is not prime. Res64: 36D37EC3FDAA23ED Time : 0.0 sec. user=mdettweiler [2016-08-03 15:23:36] 975*2^1436598-1 is not prime. Res64: 04238234C9A39766 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:23:38] 693*2^1436599-1 is not prime. Res64: B9E7E7B8C399FA88 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:23:40] 831*2^1436599-1 is not prime. Res64: C7F4AE058CEE19AF Time : 0.0 sec. user=mdettweiler [2016-08-03 15:23:42] 633*2^1436600-1 is not prime. Res64: BFA11746E495D7AA Time : 0.0 sec. user=mdettweiler [2016-08-03 15:50:55] 635*2^1436600-1 is not prime. Res64: 324E27AC6E83AAE7 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:50:56] 663*2^1436600-1 is not prime. Res64: 992C539351E0869A Time : 0.0 sec. user=mdettweiler [2016-08-03 15:50:56] 665*2^1436600-1 is not prime. Res64: 54EC6E50E4D2C119 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:50:57] 797*2^1436600-1 is not prime. Res64: B38380C393BA3262 Time : 0.0 sec. user=mdettweiler [2016-08-03 15:50:57] 839*2^1436600-1 is not prime. Res64: 300BB250320D3BDA Time : 0.0 sec. user=mdettweiler [2016-08-03 16:06:04] 935*2^1436600-1 is not prime. Res64: 783CDCF824EE1EBD Time : 0.0 sec. user=mdettweiler [2016-08-03 16:06:05] 795*2^1436601-1 is not prime. Res64: 41AABA13BB736960 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:06:06] 969*2^1436601-1 is not prime. Res64: 83A79E8DD3D64B93 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:06:06] 979*2^1436601-1 is not prime. Res64: D7BACB3414F071D3 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:06:07] 647*2^1436602-1 is not prime. Res64: CBE5EF8717FABB70 Time : 0.0 sec. user=juhehe [2016-08-03 16:08:22] 941*2^1436602-1 is not prime. Res64: C91C4B6A0A93A523 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:08:23] 657*2^1436602-1 is not prime. Res64: 6CF14DBF7C2A5400 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:35:27] 609*2^1436603-1 is not prime. Res64: 7611D4B43AB28B45 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:35:30] 715*2^1436603-1 is not prime. Res64: E99BA551D0DCD786 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:35:32] 789*2^1436603-1 is not prime. Res64: 36A2B9A499A8752B Time : 0.0 sec. user=mdettweiler [2016-08-03 16:35:34] 901*2^1436603-1 is not prime. Res64: A1663245483002F0 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:35:36] 913*2^1436603-1 is not prime. Res64: 7C69C93A363DD182 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:50:57] 993*2^1436603-1 is not prime. Res64: 7CE9B06E5D2A0CDF Time : 0.0 sec. user=mdettweiler [2016-08-03 16:50:57] 609*2^1436604-1 is not prime. Res64: 6B1FA7B7B96B41C1 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:50:57] 765*2^1436604-1 is not prime. Res64: 4BE56CCEA40753D1 Time : 0.0 sec. user=mdettweiler [2016-08-03 16:50:58] 783*2^1436604-1 is not prime. Res64: ABBB129D744F399B Time : 0.0 sec. user=mdettweiler [2016-08-03 16:50:58] 857*2^1436604-1 is not prime. Res64: 7A235DD817C1CC2F Time : 0.0 sec. user=mdettweiler [2016-08-03 17:20:20] 915*2^1436604-1 is not prime. Res64: D3748585ADEB14A7 Time : 0.0 sec. user=mdettweiler [2016-08-03 17:20:21] 847*2^1436605-1 is not prime. Res64: 907FD964A25FD60B Time : 0.0 sec. user=mdettweiler [2016-08-03 17:20:21] 861*2^1436605-1 is not prime. Res64: 79B4464D494C9824 Time : 0.0 sec. user=mdettweiler [2016-08-03 17:20:21] 635*2^1436606-1 is not prime. Res64: 1026FCFE67C8CAC1 Time : 0.0 sec. user=mdettweiler [2016-08-03 17:20:21] 671*2^1436606-1 is not prime. Res64: 352900986C754A97 Time : 0.0 sec. user=mdettweiler [2016-08-03 17:35:46] 761*2^1436606-1 is not prime. Res64: 0A6164DC0D612F4D Time : 0.0 sec. user=mdettweiler [2016-08-03 17:35:46] 773*2^1436606-1 is not prime. Res64: 47067907A62CCA3E Time : 0.0 sec. user=mdettweiler [2016-08-03 17:35:46] 957*2^1436606-1 is not prime. Res64: E9F13CABCE9E373C Time : 0.0 sec. user=mdettweiler [2016-08-03 17:35:46] 625*2^1436607-1 is not prime. Res64: 9AF74627581EAFF7 Time : 0.0 sec. user=mdettweiler [2016-08-03 17:35:47] 633*2^1436607-1 is not prime. Res64: E45DE1C2071C9257 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:05:03] 705*2^1436607-1 is not prime. Res64: 7BD88C08627F4C31 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:05:05] 769*2^1436607-1 is not prime. Res64: D45B8C534B925E47 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:05:05] 781*2^1436607-1 is not prime. Res64: 8F7ADF3BD1811DEB Time : 0.0 sec. user=mdettweiler [2016-08-03 18:05:06] 793*2^1436607-1 is not prime. Res64: C5EA25629EE3E5B6 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:05:07] 829*2^1436607-1 is not prime. Res64: F1C16EBF9EAA0269 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:20:37] 831*2^1436607-1 is not prime. Res64: 4B12589CEA240355 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:20:40] 973*2^1436607-1 is not prime. Res64: CFEAB8A1BCB78EC0 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:20:44] 665*2^1436608-1 is not prime. Res64: 276A9268E75C2C49 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:20:47] 677*2^1436608-1 is not prime. Res64: 4D1D5023D678E07D Time : 0.0 sec. user=mdettweiler [2016-08-03 18:20:50] 833*2^1436608-1 is not prime. Res64: 1D2D40B116EEA4B2 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:49:56] 923*2^1436608-1 is not prime. Res64: 9841884536104822 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:49:58] 957*2^1436608-1 is not prime. Res64: 6CA04CEFD7B73E3B Time : 0.0 sec. user=mdettweiler [2016-08-03 18:50:00] 975*2^1436608-1 is not prime. Res64: 4DF87C0F0F58B911 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:50:00] 989*2^1436608-1 is not prime. Res64: 2D510DE27C8DFE5E Time : 0.0 sec. user=mdettweiler [2016-08-03 18:50:02] 995*2^1436608-1 is not prime. Res64: 8D29EC846155D266 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:54:20] 803*2^1436602-1 is not prime. Res64: 4610EA46C6A1CF45 Time : 0.0 sec. user=mdettweiler [2016-08-03 18:54:20] 825*2^1436602-1 is not prime. Res64: 7C196DC24542D1DC Time : 0.0 sec. user=mdettweiler [2016-08-03 18:54:20] 843*2^1436602-1 is not prime. Res64: D6F9DC8BBEE6B1BA Time : 0.0 sec. user=mdettweiler [2016-08-03 18:54:21] 915*2^1436602-1 is not prime. Res64: 9F02C8C0942E303B Time : 0.0 sec. user=mdettweiler [2016-08-03 19:05:36] 699*2^1436609-1 is not prime. Res64: 9B580C655233352E Time : 0.0 sec. user=mdettweiler [2016-08-03 19:05:37] 721*2^1436609-1 is not prime. Res64: 4F54ED546C4BC72F Time : 0.0 sec. user=mdettweiler [2016-08-03 19:05:38] 735*2^1436609-1 is not prime. Res64: 0FB6660162869CE0 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:05:39] 841*2^1436609-1 is not prime. Res64: 8A081196B68235A7 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:05:41] 985*2^1436609-1 is not prime. Res64: 80D46FCF6E5FF4EB Time : 0.0 sec. user=mdettweiler [2016-08-03 19:34:23] 987*2^1436609-1 is not prime. Res64: B9101AD50A1A1413 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:34:23] 611*2^1436610-1 is not prime. Res64: C64B7A20E533EBC8 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:34:24] 773*2^1436610-1 is not prime. Res64: 2C66BAD7C226467A Time : 0.0 sec. user=mdettweiler [2016-08-03 19:34:24] 801*2^1436610-1 is not prime. Res64: 6CA5487BFC6AE623 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:34:24] 615*2^1436611-1 is not prime. Res64: D8A74A2738433CA7 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:38:39] 651*2^1436611-1 is not prime. Res64: 3D784258FADD2151 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:38:42] 733*2^1436611-1 is not prime. Res64: C51144EFAFE2AA70 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:38:45] 741*2^1436611-1 is not prime. Res64: 5E606BABFC9C8F9C Time : 0.0 sec. user=mdettweiler [2016-08-03 19:38:49] 751*2^1436611-1 is not prime. Res64: 0EEDC7BF987CD48C Time : 0.0 sec. user=mdettweiler [2016-08-03 19:38:49] 789*2^1436611-1 is not prime. Res64: F573A8BBCF84F5AC Time : 0.0 sec. user=mdettweiler [2016-08-03 19:50:06] 793*2^1436611-1 is not prime. Res64: 740A52C0054F139B Time : 0.0 sec. user=mdettweiler [2016-08-03 19:50:07] 819*2^1436611-1 is not prime. Res64: FC5ABE0B43DB81D0 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:50:07] 871*2^1436611-1 is not prime. Res64: CF9534493FCCBDA9 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:50:07] 895*2^1436611-1 is not prime. Res64: 33D59733686D43B0 Time : 0.0 sec. user=mdettweiler [2016-08-03 19:50:07] 939*2^1436611-1 is not prime. Res64: B52988FAE174BD63 Time : 0.0 sec. user=mdettweiler [2016-08-03 20:18:37] 693*2^1436612-1 is not prime. Res64: 0395921A9D0B467A Time : 0.0 sec. user=mdettweiler [2016-08-03 20:18:37] 717*2^1436612-1 is not prime. Res64: C83EBBFDD0B323ED Time : 0.0 sec. user=mdettweiler [2016-08-03 20:18:38] 735*2^1436612-1 is not prime. Res64: E5E1773417D1BBB5 Time : 0.0 sec. user=mdettweiler [2016-08-03 20:18:38] 873*2^1436612-1 is not prime. Res64: D0DDE7626D91CD0D Time : 0.0 sec. user=mdettweiler [2016-08-03 20:18:38] 929*2^1436612-1 is not prime. Res64: 05FFA54EC4E57E1D Time : 0.0 sec. user=mdettweiler [2016-08-03 20:23:08] 959*2^1436612-1 is not prime. Res64: 9DCFCD49CFBC35AF Time : 0.0 sec. user=mdettweiler [2016-08-03 20:23:08] 987*2^1436612-1 is not prime. Res64: 8CFA735F7D051A53 Time : 0.0 sec. user=mdettweiler [2016-08-03 20:23:09] 721*2^1436613-1 is not prime. Res64: DD0819E0167E8FB7 Time : 0.0 sec. user=mdettweiler [2016-08-03 20:23:09] 789*2^1436613-1 is not prime. Res64: 0E4C27723C48CE8E Time : 0.0 sec. user=mdettweiler [2016-08-03 20:23:09] 795*2^1436613-1 is not prime. Res64: B6C7040EBE060D3C Time : 0.0 sec. user=mdettweiler [2016-08-03 20:34:23] 961*2^1436613-1 is not prime. Res64: A671CC9AD55EC63A Time : 0.0 sec. user=mdettweiler [2016-08-03 20:34:24] 621*2^1436614-1 is not prime. Res64: 4D5584C14B50F56F Time : 0.0 sec. user=mdettweiler [2016-08-03 20:34:24] 695*2^1436614-1 is not prime. Res64: 1992C9206F1FBB62 Time : 0.0 sec. user=mdettweiler [2016-08-03 20:34:24] 747*2^1436614-1 is not prime. Res64: 0F56B2794485B3C3 Time : 0.0 sec. user=mdettweiler [2016-08-03 20:34:24] 917*2^1436614-1 is not prime. Res64: CECC88682810EF48 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:02:54] 975*2^1436614-1 is not prime. Res64: F982CD35250B7071 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:02:54] 1001*2^1436614-1 is not prime. Res64: 1379679D32F1794A Time : 0.0 sec. user=mdettweiler [2016-08-03 21:02:55] 883*2^1436615-1 is not prime. Res64: 584F6B57D49D0C0E Time : 0.0 sec. user=mdettweiler [2016-08-03 21:02:56] 949*2^1436615-1 is not prime. Res64: 78F8AE3EBFF1138F Time : 0.0 sec. user=mdettweiler [2016-08-03 21:02:56] 973*2^1436615-1 is not prime. Res64: 91ADDB0DA7FBFC0C Time : 0.0 sec. user=mdettweiler [2016-08-03 21:07:32] 669*2^1436616-1 is not prime. Res64: 24BA9B748733B8CA Time : 0.0 sec. user=mdettweiler [2016-08-03 21:07:33] 705*2^1436616-1 is not prime. Res64: 24E5093A115B1E5B Time : 0.0 sec. user=mdettweiler [2016-08-03 21:07:35] 707*2^1436616-1 is not prime. Res64: 3F339F8FE9F4D6A0 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:07:37] 779*2^1436616-1 is not prime. Res64: 1D0D73E40729F3A8 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:07:38] 843*2^1436616-1 is not prime. Res64: 7D9C7CF32CEA47DD Time : 0.0 sec. user=mdettweiler [2016-08-03 21:18:41] 857*2^1436616-1 is not prime. Res64: B310B6131D710E81 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:18:43] 893*2^1436616-1 is not prime. Res64: 5CE39504C133D81E Time : 0.0 sec. user=mdettweiler [2016-08-03 21:18:43] 905*2^1436616-1 is not prime. Res64: 1382279E70727531 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:18:45] 999*2^1436616-1 is not prime. Res64: 10979BEB33313154 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:18:47] 619*2^1436617-1 is not prime. Res64: 2D8C11B532FFDAC4 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:47:18] 639*2^1436617-1 is not prime. Res64: 4F1E80B813D4E9FD Time : 0.0 sec. user=mdettweiler [2016-08-03 21:47:18] 661*2^1436617-1 is not prime. Res64: 25F9969781BCAB56 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:47:19] 777*2^1436617-1 is not prime. Res64: 138328F62CE47FED Time : 0.0 sec. user=mdettweiler [2016-08-03 21:47:19] 861*2^1436617-1 is not prime. Res64: 485B10864BF0E9BE Time : 0.0 sec. user=mdettweiler [2016-08-03 21:47:19] 885*2^1436617-1 is not prime. Res64: 509A0C310B99FAB4 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:52:06] 633*2^1436618-1 is not prime. Res64: 49CEC098EC5B7B81 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:52:07] 671*2^1436618-1 is not prime. Res64: 423363C4C27C5167 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:52:07] 791*2^1436618-1 is not prime. Res64: 6205E8CFC176AE40 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:52:07] 831*2^1436618-1 is not prime. Res64: 9CEFF8ABED6337A8 Time : 0.0 sec. user=mdettweiler [2016-08-03 21:52:08] 977*2^1436618-1 is not prime. Res64: 0A500C2A6A91C15D Time : 0.0 sec. user=mdettweiler [2016-08-03 22:03:03] 711*2^1436619-1 is not prime. Res64: 62457297C1CB2EFB Time : 0.0 sec. user=mdettweiler [2016-08-03 22:03:04] 775*2^1436619-1 is not prime. Res64: 01F425F63291E05D Time : 0.0 sec. user=mdettweiler [2016-08-03 22:03:04] 891*2^1436619-1 is not prime. Res64: F198A9EE8745D178 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:03:05] 895*2^1436619-1 is not prime. Res64: 60DE2C5C76BD20F7 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:03:07] 903*2^1436619-1 is not prime. Res64: 79FFD54077775CE8 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:31:35] 999*2^1436619-1 is not prime. Res64: A2C409D56C3BF5C0 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:31:36] 605*2^1436620-1 is not prime. Res64: 423CBDFC9AFB76FB Time : 0.0 sec. user=mdettweiler [2016-08-03 22:31:36] 647*2^1436620-1 is not prime. Res64: 642813606F2BA97F Time : 0.0 sec. user=mdettweiler [2016-08-03 22:31:37] 719*2^1436620-1 is not prime. Res64: FDF0FC94A152DFEE Time : 0.0 sec. user=mdettweiler [2016-08-03 22:31:37] 819*2^1436620-1 is not prime. Res64: 1246BC97C11960A0 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:36:25] 885*2^1436620-1 is not prime. Res64: D33C6AEA0914459C Time : 0.0 sec. user=mdettweiler [2016-08-03 22:36:26] 989*2^1436620-1 is not prime. Res64: FC4A24309217F41B Time : 0.0 sec. user=mdettweiler [2016-08-03 22:36:26] 619*2^1436621-1 is not prime. Res64: E20C6DD0ACB96771 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:36:26] 727*2^1436621-1 is not prime. Res64: 89FE75F0588FB73D Time : 0.0 sec. user=mdettweiler [2016-08-03 22:36:26] 789*2^1436621-1 is not prime. Res64: 33CB97FCD9336B0A Time : 0.0 sec. user=mdettweiler [2016-08-03 22:47:33] 859*2^1436621-1 is not prime. Res64: 2C55F16CFAFF8081 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:47:33] 955*2^1436621-1 is not prime. Res64: 62ED77A3567F2A6D Time : 0.0 sec. user=mdettweiler [2016-08-03 22:47:33] 767*2^1436622-1 is not prime. Res64: B662673CD8D82054 Time : 0.0 sec. user=mdettweiler [2016-08-03 22:47:34] 873*2^1436622-1 is not prime. Res64: 237DD94655AD008B Time : 0.0 sec. user=mdettweiler [2016-08-03 22:47:34] 941*2^1436622-1 is not prime. Res64: 42072623BE0546E3 Time : 0.0 sec. user=mdettweiler [2016-08-03 23:15:52] 1001*2^1436622-1 is not prime. Res64: A36C053D2B70ABCB Time : 0.0 sec. user=mdettweiler [2016-08-03 23:15:55] 615*2^1436623-1 is not prime. Res64: 3EE67362BD3EF38B Time : 0.0 sec. user=mdettweiler [2016-08-03 23:15:57] 703*2^1436623-1 is not prime. Res64: 5B33EA11B51C32DB Time : 0.0 sec. user=mdettweiler [2016-08-03 23:15:59] 705*2^1436623-1 is not prime. Res64: A58C7387F18A9FD3 Time : 0.0 sec. user=mdettweiler [2016-08-03 23:15:59] 871*2^1436623-1 is not prime. Res64: 8C9C5FB7446B56A9 Time : 0.0 sec. user=mdettweiler [2016-08-03 23:20:39] 993*2^1436623-1 is not prime. Res64: C6F813C0B211029E Time : 0.0 sec. user=mdettweiler [2016-08-03 23:20:40] 999*2^1436623-1 is not prime. Res64: 32BD36133599789A Time : 0.0 sec. user=mdettweiler [2016-08-03 23:20:40] 617*2^1436624-1 is not prime. Res64: 34BD1EDD24ECC415 Time : 0.0 sec. user=mdettweiler [2016-08-03 23:20:40] 635*2^1436624-1 is not prime. Res64: 74D1886B6AF2CC48 Time : 0.0 sec. user=mdettweiler [2016-08-03 23:20:40] 665*2^1436624-1 is not prime. Res64: 7F247A7D4F7E6F19 Time : 0.0 sec. user=mdettweiler [2016-08-03 23:31:48] 683*2^1436624-1 is not prime. Res64: 3B9F581E555EB4DB Time : 0.0 sec. user=mdettweiler [2016-08-03 23:31:48] 717*2^1436624-1 is not prime. Res64: D626C8D81FBC4977 Time : 0.0 sec. user=mdettweiler [2016-08-03 23:31:48] 759*2^1436624-1 is not prime. Res64: FE31C77EDBDD26AD Time : 0.0 sec. user=mdettweiler [2016-08-03 23:31:49] 819*2^1436624-1 is not prime. Res64: A4BC4A516D39070F Time : 0.0 sec. user=mdettweiler [2016-08-03 23:31:49] 899*2^1436624-1 is not prime. Res64: D7B48A9DC7C42EB5 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:00:20] 639*2^1436625-1 is not prime. Res64: 671469700050B7BC Time : 0.0 sec. user=mdettweiler [2016-08-04 00:00:20] 649*2^1436625-1 is not prime. Res64: 0C48299F28B842B1 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:00:20] 817*2^1436625-1 is not prime. Res64: 46986BBA3867155F Time : 0.0 sec. user=mdettweiler [2016-08-04 00:00:20] 937*2^1436625-1 is not prime. Res64: DD607CD392260496 Time : 0.0 sec. user=mdettweiler [2016-08-04 00:00:21] 603*2^1436626-1 is not prime. Res64: 0DD6AE38BC069E4F Time : 0.0 sec.