user=mdettweiler [2016-07-15 00:04:14] 919*2^1435305-1 is not prime. Res64: EE6A97A89B909237 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:04:14] 951*2^1435305-1 is not prime. Res64: 21956C9B5257E3C7 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:04:15] 979*2^1435305-1 is not prime. Res64: 7F8AC30E7097A769 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:04:16] 645*2^1435306-1 is not prime. Res64: EE21B36D96D3107E Time : 0.0 sec. user=mdettweiler [2016-07-15 00:04:16] 647*2^1435306-1 is not prime. Res64: B2EDE152823141D5 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:28] 743*2^1435306-1 is not prime. Res64: 3227F94E4B9107D8 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:30] 765*2^1435306-1 is not prime. Res64: D61EF1A753FCA54A Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:31] 777*2^1435306-1 is not prime. Res64: 862072FD52E3B5BD Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:32] 813*2^1435306-1 is not prime. Res64: C28B6E10B198E122 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:33] 833*2^1435306-1 is not prime. Res64: 3A308410E92CFA77 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:44] 957*2^1435306-1 is not prime. Res64: BEE446F2872A354A Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:45] 643*2^1435307-1 is not prime. Res64: F4C9E4DF0346BF27 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:47] 675*2^1435307-1 is not prime. Res64: AD7236B7A00169AE Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:48] 715*2^1435307-1 is not prime. Res64: A0D6434CB09555A7 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:06:49] 805*2^1435307-1 is not prime. Res64: D73DB5EE28E87C52 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:48:21] 825*2^1435307-1 is not prime. Res64: 0C75CD8FF1C6359B Time : 0.0 sec. user=mdettweiler [2016-07-15 00:48:21] 859*2^1435307-1 is not prime. Res64: 577083D5D3772076 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:48:22] 909*2^1435307-1 is not prime. Res64: DF484CB4877DB071 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:48:22] 973*2^1435307-1 is not prime. Res64: 2131291E00547B75 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:48:22] 633*2^1435308-1 is not prime. Res64: 4F2AC6A898412499 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:35] 783*2^1435308-1 is not prime. Res64: 7D69FCB5901D425D Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:36] 797*2^1435308-1 is not prime. Res64: 21EED81159472017 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:36] 887*2^1435308-1 is not prime. Res64: 0250AA9CE4268233 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:36] 993*2^1435308-1 is not prime. Res64: 9A0EAFBFE6E738EE Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:37] 609*2^1435309-1 is not prime. Res64: 0309B512F848EB12 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:44] 621*2^1435309-1 is not prime. Res64: 89AD50E471E957A3 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:45] 745*2^1435309-1 is not prime. Res64: D37EC74827C2194A Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:45] 811*2^1435309-1 is not prime. Res64: 9141B35E065A6862 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:45] 829*2^1435309-1 is not prime. Res64: F75F7E5CC7B6A725 Time : 0.0 sec. user=mdettweiler [2016-07-15 00:50:46] 847*2^1435309-1 is not prime. Res64: 054C855C2CC9FBBD Time : 0.0 sec. user=mdettweiler [2016-07-15 01:32:16] 939*2^1435309-1 is not prime. Res64: A5DE8BBC9C9EBE40 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:32:22] 623*2^1435310-1 is not prime. Res64: 04CD67EF20DFEF0F Time : 0.0 sec. user=mdettweiler [2016-07-15 01:32:28] 825*2^1435310-1 is not prime. Res64: 0CF3D0CDBCE726DC Time : 0.0 sec. user=mdettweiler [2016-07-15 01:32:33] 827*2^1435310-1 is not prime. Res64: C0BB80A6E26C0D94 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:32:37] 857*2^1435310-1 is not prime. Res64: 67D7175A845F2BD8 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:32] 875*2^1435310-1 is not prime. Res64: 398BDB27B21F6AEE Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:38] 953*2^1435310-1 is not prime. Res64: FA3697C2EFC0F2F4 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:39] 829*2^1435311-1 is not prime. Res64: 53FCB72C2DD83C44 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:44] 1001*2^1435310-1 is not prime. Res64: DD52CF27F0B8EB63 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:44] 861*2^1435311-1 is not prime. Res64: EB803AF9BB05DC4A Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:49] 865*2^1435311-1 is not prime. Res64: CAB106DE82C9D961 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:49] 669*2^1435311-1 is not prime. Res64: 35A244BEA5F00766 Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:55] 695*2^1435312-1 is not prime. Res64: 95AC0FDAA1E9EC4F Time : 0.0 sec. user=mdettweiler [2016-07-15 01:34:55] 691*2^1435311-1 is not prime. Res64: A60A97F60363DB2A Time : 0.0 sec. user=mdettweiler [2016-07-15 01:35:00] 827*2^1435312-1 is not prime. Res64: 22FE69F8C798EA35 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:16:34] 849*2^1435312-1 is not prime. Res64: 8F11545E6432E84D Time : 0.0 sec. user=mdettweiler [2016-07-15 02:16:38] 863*2^1435312-1 is not prime. Res64: C4B442BDC2D48DBF Time : 0.0 sec. user=mdettweiler [2016-07-15 02:16:42] 869*2^1435312-1 is not prime. Res64: 50F1732A7271BD4A Time : 0.0 sec. user=mdettweiler [2016-07-15 02:16:46] 875*2^1435312-1 is not prime. Res64: A90E308DD669283A Time : 0.0 sec. user=mdettweiler [2016-07-15 02:16:50] 909*2^1435312-1 is not prime. Res64: 76E2A45CD8344579 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:00] 855*2^1435313-1 is not prime. Res64: 99F978CA70832DA7 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:00] 939*2^1435312-1 is not prime. Res64: C0D4089E1B3F5CCC Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:04] 879*2^1435313-1 is not prime. Res64: 625851DC241805B6 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:04] 657*2^1435313-1 is not prime. Res64: F06A058FAE606776 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:08] 925*2^1435313-1 is not prime. Res64: 578D81893423A3E4 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:08] 747*2^1435313-1 is not prime. Res64: 97BBB73AFD524EF0 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:14] 657*2^1435314-1 is not prime. Res64: 1E907EBD6571977A Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:14] 811*2^1435313-1 is not prime. Res64: F8411FA88276D27C Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:18] 821*2^1435314-1 is not prime. Res64: D68D7B0E41E87E25 Time : 0.0 sec. user=mdettweiler [2016-07-15 02:19:18] 819*2^1435313-1 is not prime. Res64: 131BE43381C4B094 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:00:57] 947*2^1435314-1 is not prime. Res64: 6E84C2FC12170C5C Time : 0.0 sec. user=mdettweiler [2016-07-15 03:01:01] 993*2^1435314-1 is not prime. Res64: F9A4E4C02946B908 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:01:06] 723*2^1435315-1 is not prime. Res64: DF260E659423F65D Time : 0.0 sec. user=mdettweiler [2016-07-15 03:01:12] 759*2^1435315-1 is not prime. Res64: F29B83175D9904E2 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:01:17] 775*2^1435315-1 is not prime. Res64: 001F61B8B25DB1BE Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:25] 871*2^1435315-1 is not prime. Res64: 60EE78EEF7CE32E7 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:25] 897*2^1435316-1 is not prime. Res64: 7331F2478EB3F5BD Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:29] 899*2^1435316-1 is not prime. Res64: 31FF7701E0D19025 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:30] 973*2^1435315-1 is not prime. Res64: 4C785148ADA3A13F Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:34] 945*2^1435316-1 is not prime. Res64: D546771BFF062F19 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:34] 633*2^1435316-1 is not prime. Res64: 72498CD37C4382D1 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:40] 627*2^1435317-1 is not prime. Res64: F1D30F64A0F09DB4 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:40] 677*2^1435316-1 is not prime. Res64: AD01BADCA495DDA7 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:45] 767*2^1435316-1 is not prime. Res64: AAC68129A3B971CC Time : 0.0 sec. user=mdettweiler [2016-07-15 03:03:45] 655*2^1435317-1 is not prime. Res64: 2C526E73D53C6D21 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:45:28] 661*2^1435317-1 is not prime. Res64: A176F85A1C61CF53 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:45:29] 709*2^1435317-1 is not prime. Res64: B14FE863540E3403 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:45:30] 741*2^1435317-1 is not prime. Res64: C51794131C25D4C0 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:45:31] 835*2^1435317-1 is not prime. Res64: D535846FE7277FD6 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:45:33] 991*2^1435317-1 is not prime. Res64: 3D6FCED377F96E39 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:46] 605*2^1435318-1 is not prime. Res64: 881BA61A393150F9 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:47] 645*2^1435318-1 is not prime. Res64: E9597E0290EEE945 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:48] 881*2^1435318-1 is not prime. Res64: 9987228D3C58D129 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:49] 657*2^1435318-1 is not prime. Res64: 78447B850C4C3A1F Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:49] 911*2^1435318-1 is not prime. Res64: CAFD62B54FC6F3B7 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:49] 713*2^1435318-1 is not prime. Res64: 84CF7B9D1363DD2B Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:50] 711*2^1435319-1 is not prime. Res64: 0E72C98DACB6D486 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:50] 843*2^1435318-1 is not prime. Res64: 2B07C9BAB507A8ED Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:51] 735*2^1435319-1 is not prime. Res64: 35C3A310F8F3B4B2 Time : 0.0 sec. user=mdettweiler [2016-07-15 03:47:52] 831*2^1435319-1 is not prime. Res64: DBE05FD7F4F820F1 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:29:34] 985*2^1435319-1 is not prime. Res64: AD8069C8331A7173 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:29:35] 623*2^1435320-1 is not prime. Res64: B255B150C7CEA6A8 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:29:35] 669*2^1435320-1 is not prime. Res64: D7665460335959FB Time : 0.0 sec. user=mdettweiler [2016-07-15 04:29:36] 675*2^1435320-1 is not prime. Res64: FC289A422A36C3E7 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:29:36] 719*2^1435320-1 is not prime. Res64: 314B7BA7DD2FE071 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:31:46] 957*2^1435320-1 is not prime. Res64: 553D0CA31A7E486F Time : 0.0 sec. user=mdettweiler [2016-07-15 04:31:47] 619*2^1435321-1 is not prime. Res64: 9D305B79B060B01D Time : 0.0 sec. user=mdettweiler [2016-07-15 04:31:47] 679*2^1435321-1 is not prime. Res64: 752C1EB96172443B Time : 0.0 sec. user=mdettweiler [2016-07-15 04:31:47] 717*2^1435321-1 is not prime. Res64: 840E70C929188FB0 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:31:48] 771*2^1435321-1 is not prime. Res64: 18B7AC9817558728 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:31:59] 737*2^1435320-1 is not prime. Res64: 321032ED413D0A86 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:31:59] 747*2^1435320-1 is not prime. Res64: 655B563C281C68B6 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:32:00] 795*2^1435320-1 is not prime. Res64: F23C1D4589F1231F Time : 0.0 sec. user=mdettweiler [2016-07-15 04:32:00] 819*2^1435320-1 is not prime. Res64: 2136AD6A17A16197 Time : 0.0 sec. user=mdettweiler [2016-07-15 04:32:00] 845*2^1435320-1 is not prime. Res64: AF59E7286B9497D3 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:13:36] 957*2^1435321-1 is not prime. Res64: 0207E2C3E9074A04 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:13:37] 633*2^1435322-1 is not prime. Res64: 68969CDA2CE6E212 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:13:37] 683*2^1435322-1 is not prime. Res64: ED4000887D119633 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:13:38] 735*2^1435322-1 is not prime. Res64: 3B9654ADBB27DA1F Time : 0.0 sec. user=mdettweiler [2016-07-15 05:13:38] 815*2^1435322-1 is not prime. Res64: 1D92DABBB66D4D61 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:15:41] 935*2^1435322-1 is not prime. Res64: E3748AA0E4925909 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:15:42] 995*2^1435322-1 is not prime. Res64: 3E071A026DCBD756 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:15:42] 1001*2^1435322-1 is not prime. Res64: 797D15CC04B883B2 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:15:42] 619*2^1435323-1 is not prime. Res64: 197ED97EC5BE13F6 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:15:43] 825*2^1435323-1 is not prime. Res64: 2261F3EF05E4DEDD Time : 0.0 sec. user=mdettweiler [2016-07-15 05:16:06] 859*2^1435323-1 is not prime. Res64: 8918E07922DB37EF Time : 0.0 sec. user=mdettweiler [2016-07-15 05:16:06] 955*2^1435323-1 is not prime. Res64: 240297BACC8688BB Time : 0.0 sec. user=mdettweiler [2016-07-15 05:16:07] 609*2^1435324-1 is not prime. Res64: B3F109B7ADA8C2B8 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:16:07] 773*2^1435324-1 is not prime. Res64: 1D9E53830E66F338 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:16:08] 855*2^1435324-1 is not prime. Res64: 7A75DE12E3307585 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:57:58] 915*2^1435324-1 is not prime. Res64: F7EBDB748FF98BA5 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:57:59] 927*2^1435324-1 is not prime. Res64: F10A1FA5CAFA5FA7 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:57:59] 953*2^1435324-1 is not prime. Res64: 92D922E00599447E Time : 0.0 sec. user=mdettweiler [2016-07-15 05:58:00] 601*2^1435325-1 is not prime. Res64: E1299D40837D2F33 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:58:00] 717*2^1435325-1 is not prime. Res64: 7AFDCD6327537B18 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:59:42] 789*2^1435325-1 is not prime. Res64: F915C2B34E45190C Time : 0.0 sec. user=mdettweiler [2016-07-15 05:59:42] 867*2^1435325-1 is not prime. Res64: A8A463049C44D54D Time : 0.0 sec. user=mdettweiler [2016-07-15 05:59:43] 969*2^1435325-1 is not prime. Res64: 5CA2BB9F6631B762 Time : 0.0 sec. user=mdettweiler [2016-07-15 05:59:43] 985*2^1435325-1 is not prime. Res64: 345E81234BAAB8EC Time : 0.0 sec. user=mdettweiler [2016-07-15 05:59:44] 653*2^1435326-1 is not prime. Res64: 8852F3F45B391AD0 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:00:12] 737*2^1435326-1 is not prime. Res64: EE95899B39C4DA02 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:00:12] 783*2^1435326-1 is not prime. Res64: 23DFF894A3B054B7 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:00:12] 963*2^1435326-1 is not prime. Res64: EB5C9B6AFC7C6EE1 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:00:13] 975*2^1435326-1 is not prime. Res64: 7AF698EFB9ACD723 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:00:13] 603*2^1435327-1 is not prime. Res64: ACFC205C123356A6 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:42:48] 609*2^1435327-1 is not prime. Res64: D089B68FA51C6ADE Time : 0.0 sec. user=mdettweiler [2016-07-15 06:42:49] 633*2^1435327-1 is not prime. Res64: 91DD46C93198C7C1 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:42:49] 651*2^1435327-1 is not prime. Res64: 7B448B6147DEB15A Time : 0.0 sec. user=mdettweiler [2016-07-15 06:42:50] 673*2^1435327-1 is not prime. Res64: EE61DF9E097019BA Time : 0.0 sec. user=mdettweiler [2016-07-15 06:42:50] 751*2^1435327-1 is not prime. Res64: 26A1602763AE042C Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:33] 805*2^1435327-1 is not prime. Res64: 292EC35F70829109 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:33] 725*2^1435328-1 is not prime. Res64: 1C460E8579566487 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:33] 839*2^1435328-1 is not prime. Res64: 3BB5EBDEE7B0FEED Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:34] 879*2^1435328-1 is not prime. Res64: A1FC42ADBE3D7235 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:34] 935*2^1435328-1 is not prime. Res64: 508096699D486438 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:40] 681*2^1435329-1 is not prime. Res64: BAD42A90141ADDEA Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:40] 711*2^1435329-1 is not prime. Res64: 24D4AA06A9E72D63 Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:41] 817*2^1435329-1 is not prime. Res64: 06AA76B1FA1A8DED Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:41] 889*2^1435329-1 is not prime. Res64: C17BCEFB7B7BCDCE Time : 0.0 sec. user=mdettweiler [2016-07-15 06:44:41] 909*2^1435329-1 is not prime. Res64: E6CED9C2E72CF734 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:27:07] 985*2^1435329-1 is not prime. Res64: AB0CBFFF93048B57 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:27:08] 997*2^1435329-1 is not prime. Res64: DED5582C7B7AAFF0 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:27:08] 603*2^1435330-1 is not prime. Res64: 48C74778D480432D Time : 0.0 sec. user=mdettweiler [2016-07-15 07:27:09] 657*2^1435330-1 is not prime. Res64: 8A73858D0210ACA8 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:27:09] 665*2^1435330-1 is not prime. Res64: CC0278A3010E90B9 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:39] 885*2^1435330-1 is not prime. Res64: 07C697822D3CC655 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:39] 917*2^1435330-1 is not prime. Res64: 142CA44B45AD1F53 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:39] 735*2^1435331-1 is not prime. Res64: C096B89FA881A0CC Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:40] 783*2^1435331-1 is not prime. Res64: 2436EBB52A050285 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:40] 895*2^1435331-1 is not prime. Res64: 9D85D555D0D095E0 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:43] 671*2^1435330-1 is not prime. Res64: 6F4E1B388AC6D4A2 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:43] 701*2^1435330-1 is not prime. Res64: DF9B02746891A486 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:43] 735*2^1435330-1 is not prime. Res64: A68DB99D093E2C2D Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:44] 777*2^1435330-1 is not prime. Res64: 583D2C9A21C436C5 Time : 0.0 sec. user=mdettweiler [2016-07-15 07:28:44] 873*2^1435330-1 is not prime. Res64: 8FBBB0049A5E2C35 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:11:00] 939*2^1435331-1 is not prime. Res64: 292F25A0B682BEC9 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:11:00] 949*2^1435331-1 is not prime. Res64: F2F8236219377D23 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:11:01] 993*2^1435331-1 is not prime. Res64: 56C759880A3C23D5 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:11:01] 669*2^1435332-1 is not prime. Res64: 3DFD4D16D865BCE1 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:11:01] 777*2^1435332-1 is not prime. Res64: D4103503D96B2E3E Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:30] 933*2^1435332-1 is not prime. Res64: 3446862D00A1A6B8 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:30] 607*2^1435333-1 is not prime. Res64: 6F68C0A5F1FE83B9 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:31] 651*2^1435333-1 is not prime. Res64: 73793EF877FFA47C Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:31] 757*2^1435333-1 is not prime. Res64: 51B5531EE68012A4 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:31] 789*2^1435333-1 is not prime. Res64: 6E049238D433F5F8 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:34] 801*2^1435333-1 is not prime. Res64: 75FE8C6BDD01E862 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:35] 937*2^1435333-1 is not prime. Res64: 1FCBD5229A6E5F2A Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:35] 945*2^1435333-1 is not prime. Res64: 0770B7A42FEF9B0C Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:36] 961*2^1435333-1 is not prime. Res64: F3E9478D31A71F17 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:12:36] 651*2^1435334-1 is not prime. Res64: FA5C4047936038C0 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:54:55] 663*2^1435334-1 is not prime. Res64: 3B453A6926D8A4B7 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:54:55] 675*2^1435334-1 is not prime. Res64: 87E09CE48A68838C Time : 0.0 sec. user=mdettweiler [2016-07-15 08:54:56] 705*2^1435334-1 is not prime. Res64: 7C5BD9D1DA0C22CA Time : 0.0 sec. user=mdettweiler [2016-07-15 08:54:56] 825*2^1435334-1 is not prime. Res64: 7DC73D36D42E3CA6 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:54:56] 873*2^1435334-1 is not prime. Res64: 97482CC7135FDC23 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:25] 885*2^1435334-1 is not prime. Res64: 1C72359714B915F0 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:25] 953*2^1435334-1 is not prime. Res64: 93208F0D29CBBF4F Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:25] 971*2^1435334-1 is not prime. Res64: 545BCF150263C8C7 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:26] 651*2^1435335-1 is not prime. Res64: 4C069A6453B3E0E9 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:26] 723*2^1435335-1 is not prime. Res64: 0BBF8974601BAB13 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:28] 735*2^1435335-1 is not prime. Res64: 982A53743E7DA195 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:28] 795*2^1435335-1 is not prime. Res64: CE906B090C1C03B3 Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:29] 805*2^1435335-1 is not prime. Res64: 33088EF8C941D5AD Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:29] 943*2^1435335-1 is not prime. Res64: C603DCC456E7DA8A Time : 0.0 sec. user=mdettweiler [2016-07-15 08:56:29] 963*2^1435335-1 is not prime. Res64: 990EC2C7C853417D Time : 0.0 sec. user=mdettweiler [2016-07-15 09:38:51] 617*2^1435336-1 is not prime. Res64: FF82BBE756996E6C Time : 0.0 sec. user=mdettweiler [2016-07-15 09:38:51] 645*2^1435336-1 is not prime. Res64: B80F5C7E9299ED6E Time : 0.0 sec. user=mdettweiler [2016-07-15 09:38:52] 695*2^1435336-1 is not prime. Res64: 2734100AC0A1C8D3 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:38:52] 735*2^1435336-1 is not prime. Res64: 38C458FF3ED9EFC5 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:38:53] 777*2^1435336-1 is not prime. Res64: 56296EC92A868760 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:17] 857*2^1435336-1 is not prime. Res64: 9E5070AA39065C66 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:17] 933*2^1435336-1 is not prime. Res64: 2C1E911AA3C20700 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:18] 939*2^1435336-1 is not prime. Res64: 43E901A124C4249D Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:18] 993*2^1435336-1 is not prime. Res64: 282FC3E719D2166E Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:18] 615*2^1435337-1 is not prime. Res64: 635471A98E8DF939 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:22] 637*2^1435337-1 is not prime. Res64: 32BAFC475E0CE607 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:23] 675*2^1435337-1 is not prime. Res64: 0606E25CDF6843B7 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:23] 831*2^1435337-1 is not prime. Res64: DDC96DE858870D7A Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:23] 901*2^1435337-1 is not prime. Res64: A4BC0BA6CFB17236 Time : 0.0 sec. user=mdettweiler [2016-07-15 09:40:24] 931*2^1435337-1 is not prime. Res64: 7906C95F92125897 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:22:44] 641*2^1435338-1 is not prime. Res64: 953170F8077ACA3B Time : 0.0 sec. user=mdettweiler [2016-07-15 10:22:45] 663*2^1435338-1 is not prime. Res64: DD16CCF352A3E8EB Time : 0.0 sec. user=mdettweiler [2016-07-15 10:22:45] 681*2^1435338-1 is not prime. Res64: F586BE52FA2FEF72 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:22:45] 713*2^1435338-1 is not prime. Res64: 424217E5E0251443 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:22:46] 773*2^1435338-1 is not prime. Res64: 8D4A8798E6491F33 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:11] 915*2^1435338-1 is not prime. Res64: DF91D0E30C82FE34 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:12] 933*2^1435338-1 is not prime. Res64: 04CF7C60DD161C1D Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:12] 975*2^1435338-1 is not prime. Res64: 312EED4472962B14 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:13] 631*2^1435339-1 is not prime. Res64: 51E64D98267A7B3D Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:13] 691*2^1435339-1 is not prime. Res64: D65895F9D7500C72 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:14] 693*2^1435339-1 is not prime. Res64: 4F8962D42F3B3DAC Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:14] 741*2^1435339-1 is not prime. Res64: 00D965BEBD67D959 Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:15] 835*2^1435339-1 is not prime. Res64: 8B942932638F9D9B Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:15] 603*2^1435340-1 is not prime. Res64: 10E5F51E5379852F Time : 0.0 sec. user=mdettweiler [2016-07-15 10:24:15] 633*2^1435340-1 is not prime. Res64: C4C7E301298B3A21 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:06:38] 753*2^1435340-1 is not prime. Res64: 06A81AB8E508D3AE Time : 0.0 sec. user=mdettweiler [2016-07-15 11:06:39] 825*2^1435340-1 is not prime. Res64: 2779B8124D3D5E13 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:06:40] 839*2^1435340-1 is not prime. Res64: 5F5029E874640766 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:06:40] 625*2^1435341-1 is not prime. Res64: FD47235093AB92B0 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:06:41] 747*2^1435341-1 is not prime. Res64: B6D49729D2FF4692 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:04] 865*2^1435341-1 is not prime. Res64: 719907826ACD0807 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:05] 695*2^1435342-1 is not prime. Res64: 80375833D1C84630 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:05] 951*2^1435341-1 is not prime. Res64: A2332F6AD5C84241 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:05] 731*2^1435342-1 is not prime. Res64: CAF174AB0DAEC9E2 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:05] 987*2^1435341-1 is not prime. Res64: 2835B6075695372E Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:06] 897*2^1435342-1 is not prime. Res64: CD0AB28280F519FC Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:06] 999*2^1435341-1 is not prime. Res64: D1F32FF520328B52 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:06] 811*2^1435343-1 is not prime. Res64: 5617A44EDF40DB49 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:06] 647*2^1435342-1 is not prime. Res64: 1D40EA1F64879486 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:08:07] 823*2^1435343-1 is not prime. Res64: AB480E5831BEA46D Time : 0.0 sec. user=mdettweiler [2016-07-15 11:50:32] 853*2^1435343-1 is not prime. Res64: C5632C0584DB1DFF Time : 0.0 sec. user=mdettweiler [2016-07-15 11:50:32] 855*2^1435343-1 is not prime. Res64: D86F34ACD6E1CDDF Time : 0.0 sec. user=mdettweiler [2016-07-15 11:50:32] 895*2^1435343-1 is not prime. Res64: BA2571E5A5DDE4FB Time : 0.0 sec. user=mdettweiler [2016-07-15 11:50:33] 629*2^1435344-1 is not prime. Res64: C8528D90A11FF1A6 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:50:33] 663*2^1435344-1 is not prime. Res64: 4A512F5DCF933F18 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:52] 693*2^1435344-1 is not prime. Res64: 4661FF68F522F811 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:52] 705*2^1435344-1 is not prime. Res64: C21654FA411929C0 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:53] 773*2^1435344-1 is not prime. Res64: B77A7B8D8E23C8DA Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:53] 801*2^1435345-1 is not prime. Res64: 0757D02976A39683 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:53] 717*2^1435345-1 is not prime. Res64: 5C21EB45BF2321A0 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:53] 871*2^1435345-1 is not prime. Res64: E752CCA5D7C989E4 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:53] 789*2^1435345-1 is not prime. Res64: ADEE49D5028C3719 Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:54] 957*2^1435345-1 is not prime. Res64: 83FD6DA207190FDE Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:54] 641*2^1435346-1 is not prime. Res64: 2A4C45BE5AE650AC Time : 0.0 sec. user=mdettweiler [2016-07-15 11:51:54] 675*2^1435346-1 is not prime. Res64: 1466114FAA8C4AEB Time : 0.0 sec. user=mdettweiler [2016-07-15 12:34:34] 683*2^1435346-1 is not prime. Res64: 864FA5DB61C5E293 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:34:34] 735*2^1435346-1 is not prime. Res64: 78F1B533D94F441D Time : 0.0 sec. user=mdettweiler [2016-07-15 12:34:35] 843*2^1435346-1 is not prime. Res64: B553361D0FEB27E1 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:34:36] 911*2^1435346-1 is not prime. Res64: 1DBF3B8FC54C7CE4 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:34:36] 895*2^1435347-1 is not prime. Res64: 2A06EF2ACCAD05AB Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:53] 951*2^1435347-1 is not prime. Res64: 2DB0140C9D81E1C4 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:53] 963*2^1435347-1 is not prime. Res64: 328C6E894112C29C Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:54] 985*2^1435347-1 is not prime. Res64: 4868EA5FE09C70C0 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:54] 969*2^1435348-1 is not prime. Res64: 7562F9784D6888F9 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:54] 727*2^1435349-1 is not prime. Res64: 3939102678D5F574 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:56] 769*2^1435349-1 is not prime. Res64: BEE2353AA07B62FA Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:56] 847*2^1435349-1 is not prime. Res64: 0F1B2F46AF6AF655 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:56] 855*2^1435349-1 is not prime. Res64: 65896051F70C2573 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:57] 641*2^1435350-1 is not prime. Res64: 59EF681CC8D401C5 Time : 0.0 sec. user=mdettweiler [2016-07-15 12:35:57] 671*2^1435350-1 is not prime. Res64: 9572CFF8724659AD Time : 0.0 sec. user=mdettweiler [2016-07-15 13:19:09] 725*2^1435350-1 is not prime. Res64: A44A6E0DC6547636 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:19:09] 761*2^1435350-1 is not prime. Res64: C1EDF8505161DB8E Time : 0.0 sec. user=mdettweiler [2016-07-15 13:19:09] 923*2^1435350-1 is not prime. Res64: C64612D834FB1B93 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:19:10] 941*2^1435350-1 is not prime. Res64: C26F8A3451FE2593 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:19:10] 895*2^1435351-1 is not prime. Res64: 76DDC15B62BB4764 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:20] 939*2^1435351-1 is not prime. Res64: 58077E52B1758153 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:20] 943*2^1435351-1 is not prime. Res64: 90721BF91203673E Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:20] 975*2^1435351-1 is not prime. Res64: DB4D581933913BA6 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:21] 603*2^1435352-1 is not prime. Res64: 27A0E19C03851113 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:21] 689*2^1435352-1 is not prime. Res64: 5BB3CCF4E7BEB223 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:28] 713*2^1435352-1 is not prime. Res64: 9E03C4451C1CA4C9 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:28] 743*2^1435352-1 is not prime. Res64: CD3DAB24253EC064 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:29] 813*2^1435352-1 is not prime. Res64: 41CEF4ACC167DE9B Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:29] 879*2^1435352-1 is not prime. Res64: 1D2E63D8BE614222 Time : 0.0 sec. user=mdettweiler [2016-07-15 13:20:29] 735*2^1435353-1 is not prime. Res64: 5AA6B984ED4BA37C Time : 0.0 sec. user=mdettweiler [2016-07-15 14:03:39] 739*2^1435353-1 is not prime. Res64: AA802FF8A7C86A4C Time : 0.0 sec. user=mdettweiler [2016-07-15 14:03:41] 747*2^1435353-1 is not prime. Res64: A78B1CFE53D3E51E Time : 0.0 sec. user=mdettweiler [2016-07-15 14:03:43] 795*2^1435353-1 is not prime. Res64: 4B85FABD2264D5EB Time : 0.0 sec. user=mdettweiler [2016-07-15 14:03:44] 807*2^1435353-1 is not prime. Res64: E8B19E7074C8EF2A Time : 0.0 sec. user=mdettweiler [2016-07-15 14:03:45] 829*2^1435353-1 is not prime. Res64: E589E69DA6C6303B Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:44] 921*2^1435353-1 is not prime. Res64: 9B334E329DCF39D7 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:46] 677*2^1435354-1 is not prime. Res64: F88FE45CF4E1D182 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:46] 687*2^1435354-1 is not prime. Res64: E5516B5CD1407D56 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:47] 827*2^1435354-1 is not prime. Res64: 78429850AD2EFD0D Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:48] 915*2^1435354-1 is not prime. Res64: 3E8B2E1EBA0DA9EC Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:55] 947*2^1435354-1 is not prime. Res64: 4DE326680971167C Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:56] 823*2^1435355-1 is not prime. Res64: 1824610442A811D6 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:57] 841*2^1435355-1 is not prime. Res64: 058F8CF02C1B3A39 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:58] 973*2^1435355-1 is not prime. Res64: E7C5628BD696B41F Time : 0.0 sec. user=mdettweiler [2016-07-15 14:04:59] 825*2^1435356-1 is not prime. Res64: F1EADCA6873A52AA Time : 0.0 sec. user=mdettweiler [2016-07-15 14:48:11] 867*2^1435356-1 is not prime. Res64: 475E668780F67DF5 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:48:12] 887*2^1435356-1 is not prime. Res64: AC149F0972524FF9 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:48:12] 905*2^1435356-1 is not prime. Res64: 056DC9B1C75B469B Time : 0.0 sec. user=mdettweiler [2016-07-15 14:48:12] 969*2^1435356-1 is not prime. Res64: AA0E96E8B33E71CE Time : 0.0 sec. user=mdettweiler [2016-07-15 14:48:13] 983*2^1435356-1 is not prime. Res64: 27185007444C0BEB Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:01] 805*2^1435357-1 is not prime. Res64: C3852E243BECBE00 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:02] 915*2^1435357-1 is not prime. Res64: BE3ADB8BFE1B07F4 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:02] 711*2^1435358-1 is not prime. Res64: A27F1A3705EB9F32 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:02] 773*2^1435358-1 is not prime. Res64: 5D4935507EB9F7D3 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:03] 977*2^1435358-1 is not prime. Res64: D4E2EA9A49FB69CF Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:16] 669*2^1435359-1 is not prime. Res64: 627B79AD0A60E0D4 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:16] 679*2^1435359-1 is not prime. Res64: D2137E9D659B4AF0 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:16] 723*2^1435359-1 is not prime. Res64: 30250E8FD41B4228 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:17] 831*2^1435359-1 is not prime. Res64: 1BB8660CDB641AE4 Time : 0.0 sec. user=mdettweiler [2016-07-15 14:49:17] 859*2^1435359-1 is not prime. Res64: B720AAA56042C0CD Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:08] 635*2^1435360-1 is not prime. Res64: FA617051F80AECD5 Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:09] 665*2^1435360-1 is not prime. Res64: 9E16C7B95874075A Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:09] 827*2^1435360-1 is not prime. Res64: 51A25F7506D4FBDC Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:10] 863*2^1435360-1 is not prime. Res64: BB35C418AA99A242 Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:10] 965*2^1435360-1 is not prime. Res64: FD193869054C458D Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:56] 619*2^1435361-1 is not prime. Res64: A2C1D97EE3D92DDF Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:57] 937*2^1435361-1 is not prime. Res64: F698BD2D1A34EDBB Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:57] 955*2^1435361-1 is not prime. Res64: 26F2BEF4CEF6214E Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:57] 957*2^1435361-1 is not prime. Res64: DCE1E62DA9BDDA2B Time : 0.0 sec. user=mdettweiler [2016-07-15 15:32:58] 987*2^1435361-1 is not prime. Res64: 47CBF9D0D5F4A615 Time : 0.0 sec. user=mdettweiler [2016-07-15 15:33:09] 621*2^1435362-1 is not prime. Res64: F0842D8CEEDEEB57 Time : 0.0 sec. user=mdettweiler [2016-07-15 15:33:10] 711*2^1435362-1 is not prime. Res64: FD7FCF1C45E50D9C Time : 0.0 sec. user=mdettweiler [2016-07-15 15:33:10] 887*2^1435362-1 is not prime. Res64: 06A0DADCEDA8CA10 Time : 0.0 sec. user=mdettweiler [2016-07-15 15:33:11] 921*2^1435362-1 is not prime. Res64: DC095A9D9C03008E Time : 0.0 sec. user=mdettweiler [2016-07-15 15:33:11] 963*2^1435362-1 is not prime. Res64: 96A2F593D3EE6E56 Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:04] 621*2^1435363-1 is not prime. Res64: 60DA457C1CE8035C Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:04] 649*2^1435363-1 is not prime. Res64: 27A44BE030A72B51 Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:05] 679*2^1435363-1 is not prime. Res64: 7D1AC94BE658F37A Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:05] 735*2^1435363-1 is not prime. Res64: AC26A07030AE25BA Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:06] 885*2^1435363-1 is not prime. Res64: D964EB8B97D84B78 Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:52] 945*2^1435363-1 is not prime. Res64: 96C8B69E969500B5 Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:53] 605*2^1435364-1 is not prime. Res64: 1704A83F1F2A7A9D Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:53] 629*2^1435364-1 is not prime. Res64: 2BDF919573ED5B95 Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:53] 719*2^1435364-1 is not prime. Res64: 6BE768EF649D9676 Time : 0.0 sec. user=mdettweiler [2016-07-15 16:16:54] 743*2^1435364-1 is not prime. Res64: EFCB234282AAFD3A Time : 0.0 sec. user=mdettweiler [2016-07-15 16:17:03] 885*2^1435364-1 is not prime. Res64: 98C6CEE859C535EF Time : 0.0 sec. user=mdettweiler [2016-07-15 16:17:04] 957*2^1435364-1 is not prime. Res64: 38258AE5FD50087C Time : 0.0 sec. user=mdettweiler [2016-07-15 16:17:04] 969*2^1435364-1 is not prime. Res64: C9A0B1A2F36FD95A Time : 0.0 sec. user=mdettweiler [2016-07-15 16:17:05] 817*2^1435365-1 is not prime. Res64: 1DFD3CC546366AFC Time : 0.0 sec. user=mdettweiler [2016-07-15 16:17:05] 819*2^1435365-1 is not prime. Res64: 8743FD8EDB359DD3 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:01] 861*2^1435365-1 is not prime. Res64: 596838B99CD50CF1 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:02] 871*2^1435365-1 is not prime. Res64: 36ED8CC0CC072449 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:04] 985*2^1435365-1 is not prime. Res64: B10A4FBA1AD87479 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:05] 999*2^1435365-1 is not prime. Res64: 044227379C34796F Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:05] 657*2^1435366-1 is not prime. Res64: 96B60E337BF2B57A Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:46] 677*2^1435366-1 is not prime. Res64: B1DC70BD519B5734 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:47] 773*2^1435366-1 is not prime. Res64: 2D995F9F4C866F7F Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:48] 897*2^1435366-1 is not prime. Res64: 62F5038132C3AA72 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:49] 945*2^1435366-1 is not prime. Res64: 76EE7E3908C2D7EC Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:50] 975*2^1435366-1 is not prime. Res64: A1FA2383B97561D5 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:00:59] 615*2^1435367-1 is not prime. Res64: F50E1914DFC1E502 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:01:01] 621*2^1435367-1 is not prime. Res64: 441005A81864834A Time : 0.0 sec. user=mdettweiler [2016-07-15 17:01:02] 633*2^1435367-1 is not prime. Res64: 0662F3E44CC3963A Time : 0.0 sec. user=mdettweiler [2016-07-15 17:01:03] 841*2^1435367-1 is not prime. Res64: 1691C0EB109A80F4 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:01:03] 747*2^1435368-1 is not prime. Res64: 5F4DAC7A06D3C353 Time : 0.0 sec. user=juhehe [2016-07-15 17:20:41] 765*2^1435368-1 is not prime. Res64: 91B2B9B94CE354AF Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:02] 849*2^1435368-1 is not prime. Res64: DF5DA80DD741ED64 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:02] 927*2^1435368-1 is not prime. Res64: 4F457CB949834026 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:03] 609*2^1435369-1 is not prime. Res64: 650B55744CABEF58 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:03] 661*2^1435369-1 is not prime. Res64: 05F8EE65C8568A76 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:03] 691*2^1435369-1 is not prime. Res64: C104467DB35A89C3 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:50] 799*2^1435369-1 is not prime. Res64: 0742A8766EF1A171 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:50] 895*2^1435369-1 is not prime. Res64: C768524EBF7D8311 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:50] 945*2^1435369-1 is not prime. Res64: 586E521802A8FA8F Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:51] 975*2^1435369-1 is not prime. Res64: 3FB460288097F199 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:44:51] 999*2^1435369-1 is not prime. Res64: 117EE1579FD14CF0 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:45:04] 665*2^1435370-1 is not prime. Res64: 0EA609516BCF7BEF Time : 0.0 sec. user=mdettweiler [2016-07-15 17:45:05] 801*2^1435370-1 is not prime. Res64: 9698E49F77E66010 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:45:05] 845*2^1435370-1 is not prime. Res64: A4C6A843AEE9FDD2 Time : 0.0 sec. user=mdettweiler [2016-07-15 17:45:05] 851*2^1435370-1 is not prime. Res64: 3F92DC433CE3D00C Time : 0.0 sec. user=mdettweiler [2016-07-15 17:45:06] 893*2^1435370-1 is not prime. Res64: 7B75AF61F961EC5C Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:01] 917*2^1435370-1 is not prime. Res64: 485F30C8F5DD9178 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:02] 981*2^1435370-1 is not prime. Res64: 9009A03309F2E5A7 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:02] 615*2^1435371-1 is not prime. Res64: 0486CF3F73E301CF Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:03] 651*2^1435371-1 is not prime. Res64: 4EA560E4BCF0E576 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:03] 705*2^1435371-1 is not prime. Res64: 0A2652A973278410 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:44] 751*2^1435371-1 is not prime. Res64: FE1E3153FBD8E4D2 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:45] 805*2^1435371-1 is not prime. Res64: DADDA48B2CF6732C Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:45] 647*2^1435372-1 is not prime. Res64: FD45AF5BC8C500EF Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:46] 653*2^1435372-1 is not prime. Res64: 4B1821A729BF3FB8 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:46] 705*2^1435372-1 is not prime. Res64: C2476C882A79D61A Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:59] 743*2^1435372-1 is not prime. Res64: A31FC4D566C84C99 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:28:59] 819*2^1435372-1 is not prime. Res64: 96CE9ABEB1353E95 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:29:00] 827*2^1435372-1 is not prime. Res64: E87A1956FFABC547 Time : 0.0 sec. user=mdettweiler [2016-07-15 18:29:00] 857*2^1435372-1 is not prime. Res64: DA98A5A5B2ADAB0E Time : 0.0 sec. user=mdettweiler [2016-07-15 18:29:00] 909*2^1435372-1 is not prime. Res64: F809E70EAA447564 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:11:58] 915*2^1435372-1 is not prime. Res64: C0A21D1795B83505 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:11:59] 615*2^1435373-1 is not prime. Res64: 463D322909807637 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:11:59] 697*2^1435373-1 is not prime. Res64: 89321A5E1CF52474 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:06] 699*2^1435373-1 is not prime. Res64: BEAEC259FAF4BDAB Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:07] 859*2^1435373-1 is not prime. Res64: 84BD3EB3128EEB99 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:46] 861*2^1435373-1 is not prime. Res64: 0437A53708C5D85E Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:46] 641*2^1435374-1 is not prime. Res64: C3ED1DDF2EAAF98D Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:46] 657*2^1435374-1 is not prime. Res64: B55081BF4B38C31F Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:47] 663*2^1435374-1 is not prime. Res64: FA5A26487A863994 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:47] 681*2^1435374-1 is not prime. Res64: CA493D534B23A6AA Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:54] 711*2^1435374-1 is not prime. Res64: D9BD8C35B180C383 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:55] 795*2^1435374-1 is not prime. Res64: 8C5F49D546150B44 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:55] 851*2^1435374-1 is not prime. Res64: D863D29393848786 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:55] 903*2^1435374-1 is not prime. Res64: 6AD9DA33ABE27042 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:12:56] 921*2^1435374-1 is not prime. Res64: AE50045142F09465 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:09] 993*2^1435374-1 is not prime. Res64: D1D43F345F4C108A Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:10] 673*2^1435375-1 is not prime. Res64: 6E2B288DBAFF3EB8 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:10] 741*2^1435375-1 is not prime. Res64: 21166519377AF1A1 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:11] 819*2^1435375-1 is not prime. Res64: F6F8384A340A933B Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:11] 859*2^1435375-1 is not prime. Res64: 58541B5971E776B1 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:53] 885*2^1435375-1 is not prime. Res64: 1F41EFC20157568A Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:53] 609*2^1435376-1 is not prime. Res64: 310448C309B7A9C5 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:53] 617*2^1435376-1 is not prime. Res64: E74E32CCE1A4D23F Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:53] 645*2^1435376-1 is not prime. Res64: 49FD7CF874E64918 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:56:54] 743*2^1435376-1 is not prime. Res64: B21F40DA485F1E3E Time : 0.0 sec. user=mdettweiler [2016-07-15 19:57:03] 777*2^1435376-1 is not prime. Res64: 907A4FB7110FFB3A Time : 0.0 sec. user=mdettweiler [2016-07-15 19:57:04] 815*2^1435376-1 is not prime. Res64: 04EAD0EE7C5A7BEB Time : 0.0 sec. user=mdettweiler [2016-07-15 19:57:04] 825*2^1435376-1 is not prime. Res64: 4DAA044CBD7928C0 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:57:04] 855*2^1435376-1 is not prime. Res64: 8DB5185455DC6356 Time : 0.0 sec. user=mdettweiler [2016-07-15 19:57:05] 875*2^1435376-1 is not prime. Res64: 9366927DFC4DD80A Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:17] 681*2^1435377-1 is not prime. Res64: 13032F4888316B5B Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:17] 741*2^1435377-1 is not prime. Res64: 37F19F8E983B43B7 Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:17] 835*2^1435377-1 is not prime. Res64: D3B97E24533186D8 Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:18] 909*2^1435377-1 is not prime. Res64: A16DD42B0EE72B7C Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:18] 999*2^1435377-1 is not prime. Res64: B30AE00AFB722361 Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:49] 605*2^1435378-1 is not prime. Res64: AB77E149C5597D17 Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:49] 743*2^1435378-1 is not prime. Res64: 837E1F118732DF2D Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:49] 815*2^1435378-1 is not prime. Res64: 26A1DD09C110F1EB Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:50] 855*2^1435378-1 is not prime. Res64: 22025173936F42D4 Time : 0.0 sec. user=mdettweiler [2016-07-15 20:42:50] 663*2^1435379-1 is not prime. Res64: 82972A19BF8E147B Time : 0.0 sec. user=mdettweiler [2016-07-15 20:43:01] 735*2^1435379-1 is not prime. Res64: 112C6183E687339A Time : 0.0 sec. user=mdettweiler [2016-07-15 20:43:02] 745*2^1435379-1 is not prime. Res64: 25C71C09F892FB33 Time : 0.0 sec. user=mdettweiler [2016-07-15 20:43:02] 859*2^1435379-1 is not prime. Res64: 2447A726AD54792F Time : 0.0 sec. user=mdettweiler [2016-07-15 20:43:02] 939*2^1435379-1 is not prime. Res64: 40752E4D196F29B9 Time : 0.0 sec. user=mdettweiler [2016-07-15 20:43:02] 629*2^1435380-1 is not prime. Res64: 019EE3B25173F0A2 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:03] 635*2^1435380-1 is not prime. Res64: EFEC38066BFA4516 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:04] 693*2^1435380-1 is not prime. Res64: 911B98752DD78164 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:04] 723*2^1435380-1 is not prime. Res64: 58803FA91E9B07E2 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:04] 753*2^1435380-1 is not prime. Res64: 0F432D48644F3A41 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:05] 779*2^1435380-1 is not prime. Res64: 31454F1DA4926362 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:34] 879*2^1435380-1 is not prime. Res64: FC8FCE95C73B28D0 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:34] 933*2^1435380-1 is not prime. Res64: C36F6D7A7A04B7B1 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:35] 675*2^1435381-1 is not prime. Res64: A93A2BFF0BCE78A8 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:35] 741*2^1435381-1 is not prime. Res64: 7C032262A6D1FBE2 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:36] 835*2^1435381-1 is not prime. Res64: 95F6DA4C773587F0 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:51] 997*2^1435381-1 is not prime. Res64: C7C33620307D5EF9 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:51] 999*2^1435381-1 is not prime. Res64: FE19CB52450EF4AA Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:52] 665*2^1435382-1 is not prime. Res64: 415DA9804F8AACB5 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:52] 903*2^1435382-1 is not prime. Res64: 13D1B70720F9E565 Time : 0.0 sec. user=mdettweiler [2016-07-15 21:28:52] 963*2^1435382-1 is not prime. Res64: 88F84A6A21523686 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:20] 829*2^1435383-1 is not prime. Res64: 2C10278D3526E8D8 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:21] 943*2^1435383-1 is not prime. Res64: 2474018902399332 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:21] 963*2^1435383-1 is not prime. Res64: EF4295368F0DE717 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:22] 991*2^1435383-1 is not prime. Res64: 1F73244926B55F86 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:22] 605*2^1435384-1 is not prime. Res64: 46FD74AB7C578C07 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:47] 615*2^1435384-1 is not prime. Res64: 08FC2A50357E9CFD Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:47] 695*2^1435384-1 is not prime. Res64: 68F2957AFC596436 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:48] 707*2^1435384-1 is not prime. Res64: 610B9F58A64B56F9 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:48] 983*2^1435384-1 is not prime. Res64: D9913EFD0C1D8E66 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:13:48] 993*2^1435384-1 is not prime. Res64: CD8C56D57DED6C8E Time : 0.0 sec. user=mdettweiler [2016-07-15 22:14:05] 657*2^1435385-1 is not prime. Res64: 987831E3ADC27BA4 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:14:06] 789*2^1435385-1 is not prime. Res64: 85BC6A8CF25A4A44 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:14:06] 799*2^1435385-1 is not prime. Res64: B5E0D3E6B41F35F3 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:14:07] 847*2^1435385-1 is not prime. Res64: 2842FA7FC2705B4C Time : 0.0 sec. user=mdettweiler [2016-07-15 22:14:07] 981*2^1435385-1 is not prime. Res64: 248B46CD346A64F0 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:22] 633*2^1435386-1 is not prime. Res64: 62FBCD3D8D3CAF3A Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:22] 671*2^1435386-1 is not prime. Res64: 7DB38C189F1C6144 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:22] 711*2^1435386-1 is not prime. Res64: 66A08A5260D579EF Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:23] 713*2^1435386-1 is not prime. Res64: 15BBB8A352DA19C4 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:23] 735*2^1435386-1 is not prime. Res64: 5C93DD9FBB51C602 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:41] 783*2^1435386-1 is not prime. Res64: E8AA5CEB722E2A0D Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:42] 801*2^1435386-1 is not prime. Res64: 91276FE28D2957AE Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:42] 861*2^1435386-1 is not prime. Res64: 4C343DDD1A6215D6 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:42] 947*2^1435386-1 is not prime. Res64: D0501836B03804E4 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:57:43] 975*2^1435386-1 is not prime. Res64: E52BFE4B45543DB2 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:58:05] 751*2^1435387-1 is not prime. Res64: DE04501A6F4D026F Time : 0.0 sec. user=mdettweiler [2016-07-15 22:58:05] 861*2^1435387-1 is not prime. Res64: B30B0418E4915E1B Time : 0.0 sec. user=mdettweiler [2016-07-15 22:58:05] 909*2^1435387-1 is not prime. Res64: A252730EA9FB8EB8 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:58:06] 945*2^1435387-1 is not prime. Res64: 4AD875EC6CFA4C76 Time : 0.0 sec. user=mdettweiler [2016-07-15 22:58:06] 979*2^1435387-1 is not prime. Res64: 28940ED0A3CD5299 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:22] 629*2^1435388-1 is not prime. Res64: 3FB9BC2C643B9F11 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:23] 635*2^1435388-1 is not prime. Res64: A0FFD3543BEE3737 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:23] 897*2^1435388-1 is not prime. Res64: BC1A828C03E967F8 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:24] 923*2^1435388-1 is not prime. Res64: 5E04143120A91180 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:24] 935*2^1435388-1 is not prime. Res64: DD7D334F2AA27558 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:41] 963*2^1435388-1 is not prime. Res64: 28D454C7CB6BD540 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:41] 999*2^1435388-1 is not prime. Res64: C7B92B35A121DFFD Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:42] 621*2^1435389-1 is not prime. Res64: D6055D77E86FEC10 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:42] 627*2^1435389-1 is not prime. Res64: 5D74635F13B33750 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:41:42] 747*2^1435389-1 is not prime. Res64: A20662880DFE91D3 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:42:01] 751*2^1435389-1 is not prime. Res64: 8EB06F771FB343B4 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:42:01] 769*2^1435389-1 is not prime. Res64: C2BEC27CC06E4964 Time : 0.0 sec. user=mdettweiler [2016-07-15 23:42:02] 829*2^1435389-1 is not prime. Res64: B2441C0978CE2C7D Time : 0.0 sec. user=mdettweiler [2016-07-15 23:42:02] 837*2^1435389-1 is not prime. Res64: 4914AFF8F8F8C62C Time : 0.0 sec. user=mdettweiler [2016-07-15 23:42:02] 919*2^1435389-1 is not prime. Res64: E88023EDA3FB64C6 Time : 0.0 sec.