user=mdettweiler [2016-10-30 00:03:26] 859*2^1444367-1 is not prime. Res64: B915133DFEC0E7AA Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:26] 939*2^1444367-1 is not prime. Res64: F0327C2FD23F3077 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:27] 629*2^1444368-1 is not prime. Res64: F60E51181214C5EE Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:27] 665*2^1444368-1 is not prime. Res64: 1712FB7F5B2D9C76 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:28] 723*2^1444368-1 is not prime. Res64: 3A106CE09315822A Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:57] 933*2^1444366-1 is not prime. Res64: 8576761F9D17B0AB Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:58] 975*2^1444366-1 is not prime. Res64: 58393F86DF34C286 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:59] 983*2^1444366-1 is not prime. Res64: B1E5D304434A499C Time : 0.0 sec. user=mdettweiler [2016-10-30 00:03:59] 693*2^1444367-1 is not prime. Res64: FE6B03F9AF58A6D7 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:04:00] 805*2^1444367-1 is not prime. Res64: 1D5A109B8485CF5A Time : 0.0 sec. user=mdettweiler [2016-10-30 00:26:02] 735*2^1444368-1 is not prime. Res64: 20FDF4A906C0FD6C Time : 0.0 sec. user=mdettweiler [2016-10-30 00:26:03] 915*2^1444368-1 is not prime. Res64: F0BD1CB3A896B0B9 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:26:03] 959*2^1444368-1 is not prime. Res64: 515B59D56D27BBC0 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:26:03] 999*2^1444368-1 is not prime. Res64: 867CAFD50249FCEE Time : 0.0 sec. user=mdettweiler [2016-10-30 00:26:04] 687*2^1444369-1 is not prime. Res64: AE3B94B741AE08C1 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:35:01] 775*2^1444369-1 is not prime. Res64: 12BF29DD1E0E035E Time : 0.0 sec. user=mdettweiler [2016-10-30 00:35:01] 807*2^1444369-1 is not prime. Res64: 853D183398C14822 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:35:01] 885*2^1444369-1 is not prime. Res64: 97E44EF043BF18F0 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:35:01] 955*2^1444369-1 is not prime. Res64: AFDBA0BB36B9E240 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:35:02] 979*2^1444369-1 is not prime. Res64: A57D603032E05DBE Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:05] 985*2^1444369-1 is not prime. Res64: 50EEFC112E539FD9 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:05] 731*2^1444370-1 is not prime. Res64: 82B4F43C7232013D Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:06] 851*2^1444370-1 is not prime. Res64: BF459552D531A98E Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:06] 669*2^1444371-1 is not prime. Res64: 7F8431EE02236591 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:06] 709*2^1444371-1 is not prime. Res64: 64ADC21CF89F1651 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:14] 745*2^1444371-1 is not prime. Res64: FAC2BF2726251FD0 Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:14] 903*2^1444371-1 is not prime. Res64: 51E3A343469D81FC Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:15] 921*2^1444371-1 is not prime. Res64: E3EBFF32A901604D Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:15] 949*2^1444371-1 is not prime. Res64: D0049EF03B48315B Time : 0.0 sec. user=mdettweiler [2016-10-30 00:53:15] 955*2^1444371-1 is not prime. Res64: 5A971664C7CAFE98 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:14:43] 617*2^1444372-1 is not prime. Res64: 4FBD0E6A46DA5D66 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:14:44] 629*2^1444372-1 is not prime. Res64: 80DA22FDCA1E9674 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:14:44] 687*2^1444372-1 is not prime. Res64: B017F13489B48786 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:14:44] 717*2^1444372-1 is not prime. Res64: 6689C3323847ADA9 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:14:45] 777*2^1444372-1 is not prime. Res64: D339A1A9D0CCCCD7 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:23:38] 813*2^1444372-1 is not prime. Res64: 4EB17E1AC9873D9A Time : 0.0 sec. user=mdettweiler [2016-10-30 01:23:38] 873*2^1444372-1 is not prime. Res64: E5C7B2A0B2BA6032 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:23:39] 909*2^1444372-1 is not prime. Res64: AA49853F22235745 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:23:39] 915*2^1444372-1 is not prime. Res64: A4E7ACC29D3F41A5 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:23:39] 965*2^1444372-1 is not prime. Res64: 1BBB2A6AE4D26921 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:22] 981*2^1444373-1 is not prime. Res64: 8C012039A8E93739 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:22] 987*2^1444373-1 is not prime. Res64: D085A6B914FA28B3 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:22] 663*2^1444374-1 is not prime. Res64: B797922EA1B8A447 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:23] 671*2^1444374-1 is not prime. Res64: 394064E6EA22E992 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:23] 705*2^1444374-1 is not prime. Res64: 3D215455AD6C99BD Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:53] 999*2^1444372-1 is not prime. Res64: 243EB4823104819E Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:53] 837*2^1444373-1 is not prime. Res64: F5F742C264699064 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:53] 879*2^1444373-1 is not prime. Res64: BF782DCE6E517808 Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:53] 901*2^1444373-1 is not prime. Res64: 7F40FAE1410363EB Time : 0.0 sec. user=mdettweiler [2016-10-30 01:41:54] 955*2^1444373-1 is not prime. Res64: 892A115D93BB1FA5 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:02:30] 741*2^1444374-1 is not prime. Res64: 2ACD4E3F2B81C189 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:02:31] 755*2^1444374-1 is not prime. Res64: 37A92B92E8D054D7 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:02:31] 915*2^1444374-1 is not prime. Res64: 34386B73EC3DB250 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:02:32] 957*2^1444374-1 is not prime. Res64: 9861D261033E7346 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:02:32] 975*2^1444374-1 is not prime. Res64: 4CFE0601FD5AEF90 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:10:22] 861*2^1444375-1 is not prime. Res64: 628BE770FE4B8F9E Time : 0.0 sec. user=mdettweiler [2016-10-30 02:10:22] 889*2^1444375-1 is not prime. Res64: C802104321D8D9F0 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:10:23] 961*2^1444375-1 is not prime. Res64: 93775CB54934DD10 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:10:23] 973*2^1444375-1 is not prime. Res64: 9AFA929DE1FD6894 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:10:23] 635*2^1444376-1 is not prime. Res64: 75E5075F5531DEA5 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:27:58] 659*2^1444376-1 is not prime. Res64: F314C34961A29CA7 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:27:59] 717*2^1444376-1 is not prime. Res64: 0AF49BE600B092F3 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:27:59] 719*2^1444376-1 is not prime. Res64: DC1A8A040C5CB8A8 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:27:59] 935*2^1444376-1 is not prime. Res64: B8BA59F07315B39E Time : 0.0 sec. user=mdettweiler [2016-10-30 02:28:00] 649*2^1444377-1 is not prime. Res64: F58F04B86FCD1518 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:28:23] 759*2^1444377-1 is not prime. Res64: AF35CA56FE695747 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:28:24] 805*2^1444377-1 is not prime. Res64: BCC7D409D81C1B8D Time : 0.0 sec. user=mdettweiler [2016-10-30 02:28:24] 951*2^1444378-1 is not prime. Res64: 1010C7D6ACDA2DB6 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:28:25] 995*2^1444378-1 is not prime. Res64: F9B5D280E978F824 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:28:25] 633*2^1444379-1 is not prime. Res64: 4F29498B31F25AD8 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:48:35] 771*2^1444379-1 is not prime. Res64: 44FE02094BC30A98 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:48:35] 825*2^1444379-1 is not prime. Res64: 68C6E03A4342466E Time : 0.0 sec. user=mdettweiler [2016-10-30 02:48:35] 943*2^1444379-1 is not prime. Res64: B8F6DE71EAA4C221 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:48:35] 973*2^1444379-1 is not prime. Res64: 058E344A9245EB79 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:48:36] 737*2^1444380-1 is not prime. Res64: 53CA180415CE287A Time : 0.0 sec. user=mdettweiler [2016-10-30 02:55:49] 753*2^1444380-1 is not prime. Res64: 034D6ED92F91951A Time : 0.0 sec. user=mdettweiler [2016-10-30 02:55:49] 783*2^1444380-1 is not prime. Res64: 1852E74C2864B1FA Time : 0.0 sec. user=mdettweiler [2016-10-30 02:55:50] 819*2^1444380-1 is not prime. Res64: 935A301EC065A8ED Time : 0.0 sec. user=mdettweiler [2016-10-30 02:55:50] 863*2^1444380-1 is not prime. Res64: 785686093C1CF318 Time : 0.0 sec. user=mdettweiler [2016-10-30 02:55:50] 965*2^1444380-1 is not prime. Res64: 990E574B3FFD5BEC Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:36] 983*2^1444380-1 is not prime. Res64: 96F897DA7A770566 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:39] 615*2^1444381-1 is not prime. Res64: FDB88262F3009C54 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:39] 619*2^1444381-1 is not prime. Res64: 43B27B830B2398DE Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:40] 621*2^1444381-1 is not prime. Res64: 17C4660106DBA9C4 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:40] 681*2^1444381-1 is not prime. Res64: F0CE2CE791229147 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:58] 855*2^1444381-1 is not prime. Res64: 9888E76A94115B34 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:58] 867*2^1444381-1 is not prime. Res64: 3A45AC1E900BBC89 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:58] 895*2^1444381-1 is not prime. Res64: 49DA9D92312D7403 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:58] 945*2^1444381-1 is not prime. Res64: 061F8E91F5391E28 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:13:59] 981*2^1444381-1 is not prime. Res64: A09803FE5751A13E Time : 0.0 sec. user=mdettweiler [2016-10-30 03:33:32] 615*2^1444382-1 is not prime. Res64: 8E6598C453D05069 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:33:34] 645*2^1444382-1 is not prime. Res64: FB2CD785FBD6D216 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:33:35] 671*2^1444382-1 is not prime. Res64: C21A7BC1884794B5 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:33:36] 741*2^1444382-1 is not prime. Res64: 693D8B2607DA3B1C Time : 0.0 sec. user=mdettweiler [2016-10-30 03:33:37] 743*2^1444382-1 is not prime. Res64: 2B4A2624BB5BE384 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:40:44] 619*2^1444383-1 is not prime. Res64: 5EC935187E4CE84A Time : 0.0 sec. user=mdettweiler [2016-10-30 03:40:45] 829*2^1444383-1 is not prime. Res64: EC1D39D2D42BA37C Time : 0.0 sec. user=mdettweiler [2016-10-30 03:40:48] 859*2^1444383-1 is not prime. Res64: E879F728CA3483B5 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:40:52] 961*2^1444383-1 is not prime. Res64: 8ED15856FBFCF476 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:40:54] 623*2^1444384-1 is not prime. Res64: 3ECC057903434A2F Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:32] 645*2^1444384-1 is not prime. Res64: 51E1A7E79A9D5C79 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:34] 695*2^1444384-1 is not prime. Res64: 948E16152A9E185A Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:35] 759*2^1444384-1 is not prime. Res64: 87F903BEDC532472 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:35] 765*2^1444384-1 is not prime. Res64: 1D1C986548C335C4 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:36] 785*2^1444384-1 is not prime. Res64: EC109F15FF80E46D Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:43] 813*2^1444384-1 is not prime. Res64: 98C533E8478623F9 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:43] 827*2^1444384-1 is not prime. Res64: 774B690B7C489B61 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:44] 833*2^1444384-1 is not prime. Res64: 0691D82017B79EE8 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:44] 857*2^1444384-1 is not prime. Res64: 80A2C67168209201 Time : 0.0 sec. user=mdettweiler [2016-10-30 03:58:46] 863*2^1444384-1 is not prime. Res64: 6B02397D9E7E6048 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:19:10] 929*2^1444384-1 is not prime. Res64: 8307B98CEE155149 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:19:10] 601*2^1444385-1 is not prime. Res64: 58B2584C2A253231 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:19:10] 651*2^1444385-1 is not prime. Res64: 395DCE6E7808DE33 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:19:11] 657*2^1444385-1 is not prime. Res64: 9275F995EEFDC39F Time : 0.0 sec. user=mdettweiler [2016-10-30 04:19:11] 685*2^1444385-1 is not prime. Res64: EFC9A49DC250E4C3 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:26:11] 699*2^1444385-1 is not prime. Res64: A8825F2E882BE0F2 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:26:12] 711*2^1444385-1 is not prime. Res64: 57597640C26112AC Time : 0.0 sec. user=mdettweiler [2016-10-30 04:26:12] 741*2^1444385-1 is not prime. Res64: 7A35AF4CDABB3A03 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:26:12] 787*2^1444385-1 is not prime. Res64: 5943CA789EE63EC7 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:26:12] 789*2^1444385-1 is not prime. Res64: 9D9467CC3CC15A6C Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:00] 799*2^1444385-1 is not prime. Res64: C9219D70FBF8B86B Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:01] 705*2^1444386-1 is not prime. Res64: 27F4506976EE69A9 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:01] 893*2^1444386-1 is not prime. Res64: 78E32E472DEBA2A5 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:01] 975*2^1444386-1 is not prime. Res64: C7513A6300777B4A Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:01] 645*2^1444387-1 is not prime. Res64: 53362039F2657D8B Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:06] 649*2^1444387-1 is not prime. Res64: 145655F5F5ACF720 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:06] 699*2^1444387-1 is not prime. Res64: 9B0C01C6D50FF158 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:06] 793*2^1444387-1 is not prime. Res64: 9401B84EE9FE8B0D Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:06] 973*2^1444387-1 is not prime. Res64: B233607308ED01E1 Time : 0.0 sec. user=mdettweiler [2016-10-30 04:44:07] 617*2^1444388-1 is not prime. Res64: 4EE42AE7D60B3908 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:03:51] 635*2^1444388-1 is not prime. Res64: 7BDC82F6AE7EC255 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:03:52] 753*2^1444388-1 is not prime. Res64: CFF9BA481B099E45 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:03:54] 935*2^1444388-1 is not prime. Res64: CF8768FD84C20C76 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:03:55] 957*2^1444388-1 is not prime. Res64: 2E5B5FCB6056FA2D Time : 0.0 sec. user=mdettweiler [2016-10-30 05:03:56] 977*2^1444388-1 is not prime. Res64: 84AFF5BF886BE910 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:11:05] 987*2^1444388-1 is not prime. Res64: CBEA400321C46FBF Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:17] 663*2^1444391-1 is not prime. Res64: F6D28183DC9CA90D Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:18] 711*2^1444391-1 is not prime. Res64: B45E68C4844157CB Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:18] 735*2^1444391-1 is not prime. Res64: 09C485D94A461EE6 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:18] 745*2^1444391-1 is not prime. Res64: 5DDA435478B573D3 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:19] 811*2^1444391-1 is not prime. Res64: 431F0206F4261B54 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:21] 677*2^1444390-1 is not prime. Res64: 5B4812A5EA0CA0A9 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:21] 777*2^1444390-1 is not prime. Res64: A2FAECBF1909E510 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:22] 785*2^1444390-1 is not prime. Res64: 338EBF74E029E6E4 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:22] 831*2^1444390-1 is not prime. Res64: CB271179AA0B4F0A Time : 0.0 sec. user=mdettweiler [2016-10-30 05:29:22] 661*2^1444391-1 is not prime. Res64: AC40762209541BE3 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:49:42] 665*2^1444392-1 is not prime. Res64: 0202DDB7E3BC8D98 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:49:42] 669*2^1444392-1 is not prime. Res64: B4C21B36F083BC60 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:49:42] 683*2^1444392-1 is not prime. Res64: E311A0E0112C3450 Time : 0.0 sec. user=mdettweiler [2016-10-30 05:49:42] 689*2^1444392-1 is not prime. Res64: FB98DD426F73F17E Time : 0.0 sec. user=mdettweiler [2016-10-30 05:49:43] 693*2^1444392-1 is not prime. Res64: 5E3D8307D5EFD70A Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:13] 719*2^1444392-1 is not prime. Res64: 0A7DE8802F07E1C3 Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:13] 765*2^1444392-1 is not prime. Res64: ED33920CA3E8D3FC Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:13] 803*2^1444392-1 is not prime. Res64: E11DB72C2D39DAA0 Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:14] 879*2^1444392-1 is not prime. Res64: FA346240A25F97FB Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:14] 903*2^1444392-1 is not prime. Res64: BC739323239F436A Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:30] 909*2^1444392-1 is not prime. Res64: 40FAA40A8FACDBF4 Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:31] 615*2^1444393-1 is not prime. Res64: 6A340B7B0AC55CCF Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:31] 765*2^1444393-1 is not prime. Res64: 4DA6183E5F10504F Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:31] 807*2^1444393-1 is not prime. Res64: 8056421E5296DA9B Time : 0.0 sec. user=mdettweiler [2016-10-30 06:15:31] 847*2^1444393-1 is not prime. Res64: AC26F1AF9CFA73B2 Time : 0.0 sec. user=mdettweiler [2016-10-30 06:35:50] 889*2^1444393-1 is not prime. Res64: 203E189E0C8967F0 Time : 0.0 sec. user=mdettweiler [2016-10-30 06:35:50] 895*2^1444393-1 is not prime. Res64: 0FAA164DCFDA38E0 Time : 0.0 sec. user=mdettweiler [2016-10-30 06:35:51] 925*2^1444393-1 is not prime. Res64: 02EC266111212782 Time : 0.0 sec. user=mdettweiler [2016-10-30 06:35:51] 617*2^1444394-1 is not prime. Res64: 434BDA82065D8EEC Time : 0.0 sec. user=mdettweiler [2016-10-30 06:35:51] 717*2^1444394-1 is not prime. Res64: 73675B92404D459E Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:11] 827*2^1444394-1 is not prime. Res64: 2C4801F8E695A98A Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:13] 857*2^1444394-1 is not prime. Res64: AFFC1789C6C46922 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:14] 941*2^1444394-1 is not prime. Res64: 2E4B975E7A458A3C Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:14] 987*2^1444394-1 is not prime. Res64: 67B9DB4CF2290376 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:15] 619*2^1444395-1 is not prime. Res64: 957E260B2D98A5CC Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:44] 741*2^1444395-1 is not prime. Res64: 763999C1F249A085 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:45] 909*2^1444395-1 is not prime. Res64: 3340EAA21DC4B0FE Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:45] 963*2^1444395-1 is not prime. Res64: 59F874B2082D9483 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:46] 603*2^1444396-1 is not prime. Res64: 50859E98123C7230 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:01:46] 647*2^1444396-1 is not prime. Res64: C00CFAA5D339AD7D Time : 0.0 sec. user=mdettweiler [2016-10-30 07:21:55] 719*2^1444396-1 is not prime. Res64: 961825A90DC99281 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:21:56] 735*2^1444396-1 is not prime. Res64: 3C4EA8DAD9BA6A2B Time : 0.0 sec. user=mdettweiler [2016-10-30 07:21:56] 803*2^1444396-1 is not prime. Res64: B6B173105E7AFF52 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:21:56] 873*2^1444396-1 is not prime. Res64: FD926D599166D07E Time : 0.0 sec. user=mdettweiler [2016-10-30 07:21:56] 923*2^1444396-1 is not prime. Res64: 4399375F51B14A14 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:10] 607*2^1444397-1 is not prime. Res64: 4C214890E3CBA320 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:10] 615*2^1444397-1 is not prime. Res64: 892EC34B40B9CE88 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:11] 757*2^1444397-1 is not prime. Res64: 383950FF0B0A0671 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:11] 795*2^1444397-1 is not prime. Res64: B00D820FA96EFD69 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:11] 861*2^1444397-1 is not prime. Res64: F7AC5B8F07B4820C Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:50] 985*2^1444397-1 is not prime. Res64: 9CE0184589DEC368 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:51] 651*2^1444398-1 is not prime. Res64: 57D1686AF81A21B1 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:51] 737*2^1444398-1 is not prime. Res64: 4A7A68BFEEA06FD4 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:51] 833*2^1444398-1 is not prime. Res64: 58EAE574832DFFF1 Time : 0.0 sec. user=mdettweiler [2016-10-30 07:47:51] 927*2^1444398-1 is not prime. Res64: 5F705DFAE6906DEF Time : 0.0 sec. user=mdettweiler [2016-10-30 08:03:08] 639*2^1444389-1 is not prime. Res64: 612F88E2EE2E12EE Time : 0.0 sec. user=mdettweiler [2016-10-30 08:03:10] 681*2^1444389-1 is not prime. Res64: E78BFEAD753B7536 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:03:10] 877*2^1444389-1 is not prime. Res64: 1BF51D8165441739 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:03:11] 889*2^1444389-1 is not prime. Res64: D85EFF08DD1AE060 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:07:40] 1001*2^1444398-1 is not prime. Res64: 6F7931EBA6375F2D Time : 0.0 sec. user=mdettweiler [2016-10-30 08:07:46] 675*2^1444399-1 is not prime. Res64: 4A1DD5C832803300 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:07:49] 705*2^1444399-1 is not prime. Res64: 45D6F595DBA80C06 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:07:52] 741*2^1444399-1 is not prime. Res64: F709435E241F7B7B Time : 0.0 sec. user=mdettweiler [2016-10-30 08:07:56] 745*2^1444399-1 is not prime. Res64: A199A7A4EA8E3EF5 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:32:16] 843*2^1444399-1 is not prime. Res64: 84A9A93C4A1FB9CB Time : 0.0 sec. user=mdettweiler [2016-10-30 08:32:16] 961*2^1444399-1 is not prime. Res64: 41AEAACB0556A161 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:32:16] 615*2^1444400-1 is not prime. Res64: 682EFCF818519DF1 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:32:17] 713*2^1444400-1 is not prime. Res64: 47DCD871CF6BD386 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:32:17] 735*2^1444400-1 is not prime. Res64: 0D37DDE9DAFE1294 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:33:02] 797*2^1444400-1 is not prime. Res64: C191E1808812D35F Time : 0.0 sec. user=mdettweiler [2016-10-30 08:33:02] 839*2^1444400-1 is not prime. Res64: 1EF88D43630E39CC Time : 0.0 sec. user=mdettweiler [2016-10-30 08:33:03] 845*2^1444400-1 is not prime. Res64: 54BD75C298AE3981 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:33:03] 963*2^1444400-1 is not prime. Res64: 5CB21EE7D8593E44 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:33:03] 685*2^1444401-1 is not prime. Res64: 438C75375CB1C6E4 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:48:12] 807*2^1444401-1 is not prime. Res64: 81C344D3C522A076 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:48:12] 867*2^1444401-1 is not prime. Res64: 3E1863D733B81A07 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:48:13] 885*2^1444401-1 is not prime. Res64: 44C11D155111A5C0 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:48:13] 889*2^1444401-1 is not prime. Res64: 5556F4A6DC84AEF9 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:48:13] 951*2^1444401-1 is not prime. Res64: 192308F0CD0FCD0D Time : 0.0 sec. user=mdettweiler [2016-10-30 08:53:00] 975*2^1444401-1 is not prime. Res64: 0A4F906B21CEE611 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:53:00] 603*2^1444402-1 is not prime. Res64: E728CAEB725CBFF5 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:53:01] 651*2^1444402-1 is not prime. Res64: DFB85A6F5C72BC35 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:53:01] 665*2^1444402-1 is not prime. Res64: DE99641DBE643254 Time : 0.0 sec. user=mdettweiler [2016-10-30 08:53:01] 777*2^1444402-1 is not prime. Res64: 2C951FD8304D8CB1 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:16:57] 803*2^1444402-1 is not prime. Res64: 29417EE857F2A9D2 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:16:57] 813*2^1444402-1 is not prime. Res64: BB96648B7C848C3D Time : 0.0 sec. user=mdettweiler [2016-10-30 09:16:58] 945*2^1444402-1 is not prime. Res64: 66E682AFEE0B613D Time : 0.0 sec. user=mdettweiler [2016-10-30 09:16:58] 987*2^1444402-1 is not prime. Res64: 07B5883765803FED Time : 0.0 sec. user=mdettweiler [2016-10-30 09:16:58] 673*2^1444403-1 is not prime. Res64: 2A4511788C84BA46 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:17:52] 705*2^1444403-1 is not prime. Res64: 14A778797AEDCA39 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:17:53] 801*2^1444403-1 is not prime. Res64: C170207F6AC4C906 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:17:53] 889*2^1444403-1 is not prime. Res64: 89ECB6CD42CB8E00 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:17:53] 963*2^1444403-1 is not prime. Res64: 06FE2EDC7B6792C7 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:17:53] 663*2^1444404-1 is not prime. Res64: AD2652CAF919888B Time : 0.0 sec. user=mdettweiler [2016-10-30 09:33:07] 789*2^1444404-1 is not prime. Res64: 809E8F3F5165CEB1 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:33:08] 837*2^1444404-1 is not prime. Res64: FB063FDA22E3767C Time : 0.0 sec. user=mdettweiler [2016-10-30 09:33:08] 959*2^1444404-1 is not prime. Res64: FE4037B2EBF16A19 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:33:08] 987*2^1444404-1 is not prime. Res64: A538F1D46DF11987 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:33:08] 601*2^1444405-1 is not prime. Res64: 56FA6DAE8528604A Time : 0.0 sec. user=mdettweiler [2016-10-30 09:37:53] 667*2^1444405-1 is not prime. Res64: 19A5B890735C6C10 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:37:54] 691*2^1444405-1 is not prime. Res64: BF8A94B1D9753E65 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:37:54] 957*2^1444405-1 is not prime. Res64: 00A4A91C5DE57F52 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:37:54] 657*2^1444406-1 is not prime. Res64: CA4BB279E303E2A0 Time : 0.0 sec. user=mdettweiler [2016-10-30 09:37:54] 663*2^1444406-1 is not prime. Res64: 70E816DC81C68BA5 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:01:48] 705*2^1444406-1 is not prime. Res64: 94F7F3124DC9033C Time : 0.0 sec. user=mdettweiler [2016-10-30 10:01:50] 813*2^1444406-1 is not prime. Res64: 44D19138403B24D3 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:01:51] 815*2^1444406-1 is not prime. Res64: 5A05FE732334DEB4 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:01:52] 851*2^1444406-1 is not prime. Res64: 5B9F752EEA329E1C Time : 0.0 sec. user=mdettweiler [2016-10-30 10:01:53] 911*2^1444406-1 is not prime. Res64: E504E3507604E779 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:02:37] 923*2^1444406-1 is not prime. Res64: EA542CC49C1A29BD Time : 0.0 sec. user=mdettweiler [2016-10-30 10:02:38] 615*2^1444407-1 is not prime. Res64: 0DBD967B0B123E30 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:02:38] 625*2^1444407-1 is not prime. Res64: A80863FEA0B90499 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:02:39] 643*2^1444407-1 is not prime. Res64: 621B25B7EA905F60 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:02:39] 651*2^1444407-1 is not prime. Res64: 369B51A43A499017 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:17:52] 739*2^1444407-1 is not prime. Res64: BB3C80957C734C12 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:17:52] 827*2^1444408-1 is not prime. Res64: AC2AAFD9414847C2 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:17:53] 839*2^1444408-1 is not prime. Res64: 81E03C9E37C9B915 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:17:53] 927*2^1444408-1 is not prime. Res64: A25BA8BEA40937AB Time : 0.0 sec. user=mdettweiler [2016-10-30 10:17:53] 631*2^1444409-1 is not prime. Res64: 2963FB6EFD525C87 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:22:37] 675*2^1444409-1 is not prime. Res64: 1A40C2E997800CE0 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:22:37] 727*2^1444409-1 is not prime. Res64: 7E772040C5558778 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:22:37] 745*2^1444409-1 is not prime. Res64: CEC8828550E33AE8 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:22:37] 865*2^1444409-1 is not prime. Res64: 9F89E9E88B73119C Time : 0.0 sec. user=mdettweiler [2016-10-30 10:22:38] 931*2^1444409-1 is not prime. Res64: A54354D0428A694D Time : 0.0 sec. user=mdettweiler [2016-10-30 10:46:37] 949*2^1444409-1 is not prime. Res64: 262B3934644E008D Time : 0.0 sec. user=mdettweiler [2016-10-30 10:46:38] 633*2^1444410-1 is not prime. Res64: 04FE5D6510DB2047 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:46:38] 641*2^1444410-1 is not prime. Res64: DB18F2C8A6433C51 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:46:38] 741*2^1444410-1 is not prime. Res64: F65F70AF55C08246 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:46:39] 767*2^1444410-1 is not prime. Res64: CFB4AB288801BC77 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:47:20] 801*2^1444410-1 is not prime. Res64: 1F45B3038F555C45 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:47:20] 821*2^1444410-1 is not prime. Res64: 6BEC38F2EA622022 Time : 0.0 sec. user=mdettweiler [2016-10-30 10:47:21] 833*2^1444410-1 is not prime. Res64: BC83A5DBEA22D61E Time : 0.0 sec. user=mdettweiler [2016-10-30 10:47:21] 923*2^1444410-1 is not prime. Res64: C0CBA73B0D1D687B Time : 0.0 sec. user=mdettweiler [2016-10-30 10:47:21] 927*2^1444410-1 is not prime. Res64: 1C775CABF946BD1C Time : 0.0 sec. user=mdettweiler [2016-10-30 11:02:45] 723*2^1444411-1 is not prime. Res64: FF702042249C5224 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:02:46] 793*2^1444411-1 is not prime. Res64: 2B39AD79262736E7 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:02:47] 843*2^1444411-1 is not prime. Res64: 091C97B2085978F1 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:02:48] 855*2^1444411-1 is not prime. Res64: 0CF904D6E03925D7 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:02:50] 859*2^1444411-1 is not prime. Res64: 0C6D48097B012AA1 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:07:32] 861*2^1444411-1 is not prime. Res64: 5D7DA323C3E1CDEE Time : 0.0 sec. user=mdettweiler [2016-10-30 11:07:34] 885*2^1444411-1 is not prime. Res64: 3E2A03C2D399AEBC Time : 0.0 sec. user=mdettweiler [2016-10-30 11:07:38] 925*2^1444411-1 is not prime. Res64: BDE7127E0E415F3D Time : 0.0 sec. user=mdettweiler [2016-10-30 11:07:40] 961*2^1444411-1 is not prime. Res64: 9EA422A3211A8B89 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:07:42] 605*2^1444412-1 is not prime. Res64: E46CC88C14960DF1 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:31:25] 669*2^1444412-1 is not prime. Res64: F3899B4C6A97A967 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:31:25] 693*2^1444412-1 is not prime. Res64: 686C350C304823CB Time : 0.0 sec. user=mdettweiler [2016-10-30 11:31:26] 827*2^1444412-1 is not prime. Res64: 140E6820F70861E8 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:31:26] 885*2^1444412-1 is not prime. Res64: 6E3BFCEDF1F816CB Time : 0.0 sec. user=mdettweiler [2016-10-30 11:31:26] 983*2^1444412-1 is not prime. Res64: 9470E2DDB5DF3B9C Time : 0.0 sec. user=mdettweiler [2016-10-30 11:32:10] 627*2^1444413-1 is not prime. Res64: 9CE15121F7D84574 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:32:10] 657*2^1444413-1 is not prime. Res64: CD2E8B56564057FA Time : 0.0 sec. user=mdettweiler [2016-10-30 11:32:11] 795*2^1444413-1 is not prime. Res64: 1B7BEC09F0B86F15 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:32:11] 835*2^1444413-1 is not prime. Res64: 4E2CE53C847F7C1E Time : 0.0 sec. user=mdettweiler [2016-10-30 11:32:11] 635*2^1444414-1 is not prime. Res64: 03387E0B26786A2B Time : 0.0 sec. user=mdettweiler [2016-10-30 11:47:52] 731*2^1444414-1 is not prime. Res64: 9B4AC21D33281513 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:47:53] 755*2^1444414-1 is not prime. Res64: 7DAB125EC9FC85F6 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:47:53] 791*2^1444414-1 is not prime. Res64: 9DD30EF15947A0D5 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:47:53] 885*2^1444414-1 is not prime. Res64: 7DF657420C07131E Time : 0.0 sec. user=mdettweiler [2016-10-30 11:47:53] 957*2^1444414-1 is not prime. Res64: DC5E5644A5FA9852 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:53:07] 993*2^1444414-1 is not prime. Res64: A8D6B27A76CDDA63 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:53:07] 633*2^1444415-1 is not prime. Res64: F14BFBC382BAC713 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:53:07] 669*2^1444415-1 is not prime. Res64: 39120213F581E149 Time : 0.0 sec. user=mdettweiler [2016-10-30 11:53:07] 715*2^1444415-1 is not prime. Res64: B6D8D937017B050D Time : 0.0 sec. user=mdettweiler [2016-10-30 11:53:08] 735*2^1444415-1 is not prime. Res64: CD113C24D28A0B78 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:16:14] 783*2^1444415-1 is not prime. Res64: F90425D59FF6036E Time : 0.0 sec. user=mdettweiler [2016-10-30 12:16:15] 789*2^1444415-1 is not prime. Res64: FB0857B48F989FF0 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:16:15] 799*2^1444415-1 is not prime. Res64: 26CF669C09DA3EAC Time : 0.0 sec. user=mdettweiler [2016-10-30 12:16:16] 895*2^1444415-1 is not prime. Res64: FCA7D6E8DBA2AE55 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:16:16] 963*2^1444415-1 is not prime. Res64: 97CC695E423C1C35 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:17:00] 627*2^1444416-1 is not prime. Res64: 7519B8914FFD30BA Time : 0.0 sec. user=mdettweiler [2016-10-30 12:17:01] 639*2^1444416-1 is not prime. Res64: A0417B069C9D4084 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:17:01] 899*2^1444416-1 is not prime. Res64: BFB8A1CABCD2FD52 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:17:02] 909*2^1444416-1 is not prime. Res64: 4204D526B1EA48E3 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:17:02] 627*2^1444418-1 is not prime. Res64: 5E6CB9C6405A0353 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:32:39] 635*2^1444418-1 is not prime. Res64: 10C84DDCC9D0DD2D Time : 0.0 sec. user=mdettweiler [2016-10-30 12:32:39] 687*2^1444418-1 is not prime. Res64: 14DB06895C1B1F75 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:32:40] 713*2^1444418-1 is not prime. Res64: 0C19BA1E267D783B Time : 0.0 sec. user=mdettweiler [2016-10-30 12:32:40] 801*2^1444418-1 is not prime. Res64: 295FF6E721A6AE67 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:32:40] 857*2^1444418-1 is not prime. Res64: 4723DA3AF12FE746 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:37:55] 875*2^1444418-1 is not prime. Res64: EDE3A8AE43682F76 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:37:55] 953*2^1444418-1 is not prime. Res64: 15E38635FBE19947 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:37:55] 615*2^1444419-1 is not prime. Res64: 6299BD77102175A9 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:37:55] 741*2^1444419-1 is not prime. Res64: C0AD0C5C03AF3962 Time : 0.0 sec. user=mdettweiler [2016-10-30 12:37:56] 745*2^1444419-1 is not prime. Res64: 3A98345AA24E2A3C Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:05] 753*2^1444419-1 is not prime. Res64: 1CAF5234AFA542F5 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:06] 829*2^1444419-1 is not prime. Res64: 7D987BCD561B1CE8 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:06] 961*2^1444419-1 is not prime. Res64: C63F3414A0DF7EC6 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:07] 629*2^1444420-1 is not prime. Res64: 6EF2CB75BAD07EF0 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:07] 665*2^1444420-1 is not prime. Res64: BD81129CD3F76608 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:37] 677*2^1444420-1 is not prime. Res64: 2D9A554C3B7C43DB Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:38] 687*2^1444420-1 is not prime. Res64: 68B660063A6CE19F Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:39] 719*2^1444420-1 is not prime. Res64: C6B20FCD9C376881 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:40] 723*2^1444420-1 is not prime. Res64: A7594C3CC98C89EA Time : 0.0 sec. user=mdettweiler [2016-10-30 13:01:40] 773*2^1444420-1 is not prime. Res64: 8EE287FEF90D6276 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:18:20] 777*2^1444420-1 is not prime. Res64: 8778764079006C7F Time : 0.0 sec. user=mdettweiler [2016-10-30 13:18:21] 839*2^1444420-1 is not prime. Res64: 77687FF35F73D70C Time : 0.0 sec. user=mdettweiler [2016-10-30 13:18:21] 873*2^1444420-1 is not prime. Res64: 62B740905DFE527F Time : 0.0 sec. user=mdettweiler [2016-10-30 13:18:21] 905*2^1444420-1 is not prime. Res64: 7474B1D85F9F468B Time : 0.0 sec. user=mdettweiler [2016-10-30 13:18:21] 657*2^1444421-1 is not prime. Res64: 8A573F11B34B19E6 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:23:37] 669*2^1444421-1 is not prime. Res64: 2145F4559C5392A7 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:23:37] 769*2^1444421-1 is not prime. Res64: 7B16C5373A75220F Time : 0.0 sec. user=mdettweiler [2016-10-30 13:23:38] 861*2^1444421-1 is not prime. Res64: 92016C1F905B1E80 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:23:38] 879*2^1444421-1 is not prime. Res64: 2B65CA3D9D95D1BE Time : 0.0 sec. user=mdettweiler [2016-10-30 13:23:38] 647*2^1444422-1 is not prime. Res64: E639C6ED17D1C829 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:11] 723*2^1444423-1 is not prime. Res64: 45190D035A52F961 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:11] 741*2^1444423-1 is not prime. Res64: AF8674319811DA4D Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:11] 873*2^1444423-1 is not prime. Res64: 76EAD3F4C86D0DAC Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:12] 943*2^1444423-1 is not prime. Res64: B802197DB5E153E6 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:12] 623*2^1444424-1 is not prime. Res64: B4ECD0356C5DC1E9 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:20] 705*2^1444422-1 is not prime. Res64: 369144A1FB0744E1 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:20] 723*2^1444422-1 is not prime. Res64: 1FB50ED64590417D Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:21] 761*2^1444422-1 is not prime. Res64: 9B5182F57F31CEE1 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:21] 777*2^1444422-1 is not prime. Res64: 5F178AD72C7B85E3 Time : 0.0 sec. user=mdettweiler [2016-10-30 13:47:21] 679*2^1444423-1 is not prime. Res64: E1A89C0940B3B514 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:03:27] 803*2^1444424-1 is not prime. Res64: F1CC36B628D14530 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:03:28] 897*2^1444424-1 is not prime. Res64: D9B1751C27A3163D Time : 0.0 sec. user=mdettweiler [2016-10-30 14:03:30] 899*2^1444424-1 is not prime. Res64: 18B2ABC4614C629F Time : 0.0 sec. user=mdettweiler [2016-10-30 14:03:31] 995*2^1444424-1 is not prime. Res64: E3993CEDFAE80F74 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:03:33] 699*2^1444425-1 is not prime. Res64: 983E8DD6A4512434 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:08:42] 847*2^1444425-1 is not prime. Res64: BFD3B581D8F50366 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:08:44] 937*2^1444425-1 is not prime. Res64: 363618E6C24CB3C5 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:08:46] 955*2^1444425-1 is not prime. Res64: 09AD2D8E80D70738 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:08:49] 985*2^1444425-1 is not prime. Res64: 93B92C8BD8186CE8 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:08:51] 997*2^1444425-1 is not prime. Res64: 11CAF53CDB3CB7EE Time : 0.0 sec. user=mdettweiler [2016-10-30 14:31:57] 635*2^1444426-1 is not prime. Res64: 486A86C380E0AB83 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:31:57] 645*2^1444426-1 is not prime. Res64: DF6FA791CC9EB6EE Time : 0.0 sec. user=mdettweiler [2016-10-30 14:31:57] 663*2^1444426-1 is not prime. Res64: 0ABA5ADBBD9C0692 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:31:58] 701*2^1444426-1 is not prime. Res64: 4E60F516DC785813 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:31:58] 815*2^1444426-1 is not prime. Res64: FB840375E78F98D0 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:32:29] 825*2^1444426-1 is not prime. Res64: 58415F7E1FF99941 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:32:29] 861*2^1444426-1 is not prime. Res64: CFC983976EE51A2E Time : 0.0 sec. user=mdettweiler [2016-10-30 14:32:30] 873*2^1444426-1 is not prime. Res64: AF5EA221B43D056A Time : 0.0 sec. user=mdettweiler [2016-10-30 14:32:30] 905*2^1444426-1 is not prime. Res64: F29E3D4A487EDC2E Time : 0.0 sec. user=mdettweiler [2016-10-30 14:32:30] 615*2^1444427-1 is not prime. Res64: 7EFD58A9C4806540 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:52:59] 649*2^1444427-1 is not prime. Res64: F41F19CF9A18252A Time : 0.0 sec. user=mdettweiler [2016-10-30 14:53:00] 693*2^1444427-1 is not prime. Res64: 3656B998A1EBAAA2 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:53:00] 703*2^1444427-1 is not prime. Res64: 67C548A94035F91A Time : 0.0 sec. user=mdettweiler [2016-10-30 14:53:00] 711*2^1444427-1 is not prime. Res64: 0BECDC6522B2AEDF Time : 0.0 sec. user=mdettweiler [2016-10-30 14:53:00] 775*2^1444427-1 is not prime. Res64: 88E5B6E2595E8FFB Time : 0.0 sec. user=mdettweiler [2016-10-30 14:58:56] 903*2^1444427-1 is not prime. Res64: 14527829B69D1B17 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:58:56] 955*2^1444427-1 is not prime. Res64: 3476C86349A95D4D Time : 0.0 sec. user=mdettweiler [2016-10-30 14:58:57] 963*2^1444427-1 is not prime. Res64: 9E3D71080B03C02F Time : 0.0 sec. user=mdettweiler [2016-10-30 14:58:57] 605*2^1444428-1 is not prime. Res64: A23F026D041D66A7 Time : 0.0 sec. user=mdettweiler [2016-10-30 14:58:57] 705*2^1444428-1 is not prime. Res64: 50FE92B60046265C Time : 0.0 sec. user=mdettweiler [2016-10-30 15:21:55] 759*2^1444428-1 is not prime. Res64: DD87DF3E0848491E Time : 0.0 sec. user=mdettweiler [2016-10-30 15:21:55] 839*2^1444428-1 is not prime. Res64: E8ABA4F3FC74C904 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:21:55] 843*2^1444428-1 is not prime. Res64: CEA21EBF588A3E8C Time : 0.0 sec. user=mdettweiler [2016-10-30 15:21:56] 899*2^1444428-1 is not prime. Res64: 60CE10F0E631D23B Time : 0.0 sec. user=mdettweiler [2016-10-30 15:21:56] 915*2^1444428-1 is not prime. Res64: C442915D76904622 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:22:11] 615*2^1444429-1 is not prime. Res64: 24699263BB7B4E5C Time : 0.0 sec. user=mdettweiler [2016-10-30 15:22:11] 769*2^1444429-1 is not prime. Res64: 31A9CCF37B5BF27C Time : 0.0 sec. user=mdettweiler [2016-10-30 15:22:12] 855*2^1444429-1 is not prime. Res64: 84A7FCF0A6CA4929 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:22:13] 885*2^1444429-1 is not prime. Res64: C3BAECE3E240DCA8 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:22:13] 603*2^1444430-1 is not prime. Res64: 57375F0DF576A970 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:38:14] 641*2^1444430-1 is not prime. Res64: A2900EF847060AEE Time : 0.0 sec. user=mdettweiler [2016-10-30 15:38:15] 677*2^1444430-1 is not prime. Res64: 1A7316DCBF1B5510 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:38:15] 797*2^1444430-1 is not prime. Res64: 06483171D97179C3 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:38:15] 957*2^1444430-1 is not prime. Res64: F553A17B2BD87E13 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:38:15] 981*2^1444430-1 is not prime. Res64: 3EAE9B4F1207BEA7 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:43:59] 649*2^1444431-1 is not prime. Res64: 9702AE361302147C Time : 0.0 sec. user=mdettweiler [2016-10-30 15:43:59] 679*2^1444431-1 is not prime. Res64: 64BEDA9DEBC2ACC5 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:43:59] 709*2^1444431-1 is not prime. Res64: 2C13F5F4EBA24532 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:43:59] 825*2^1444431-1 is not prime. Res64: FFD6747C6D71D068 Time : 0.0 sec. user=mdettweiler [2016-10-30 15:44:00] 891*2^1444431-1 is not prime. Res64: DD9250B1D1EDE053 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:06:33] 933*2^1444431-1 is not prime. Res64: 3D40BF71807898E5 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:06:36] 979*2^1444431-1 is not prime. Res64: 3F31AA5C7181D0F9 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:06:39] 999*2^1444431-1 is not prime. Res64: 4230117DF0F56EAC Time : 0.0 sec. user=mdettweiler [2016-10-30 16:06:43] 605*2^1444432-1 is not prime. Res64: 0CB72524594030DE Time : 0.0 sec. user=mdettweiler [2016-10-30 16:06:44] 743*2^1444432-1 is not prime. Res64: 5A3ED1C446E0ADBF Time : 0.0 sec. user=mdettweiler [2016-10-30 16:06:54] 765*2^1444432-1 is not prime. Res64: D0CAB38A71F074CA Time : 0.0 sec. user=mdettweiler [2016-10-30 16:06:56] 803*2^1444432-1 is not prime. Res64: 4D1F3E5F9B4C6389 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:07:02] 923*2^1444432-1 is not prime. Res64: 364F434FF2D51BEB Time : 0.0 sec. user=mdettweiler [2016-10-30 16:07:07] 929*2^1444432-1 is not prime. Res64: 029F0B76A3DF02BA Time : 0.0 sec. user=mdettweiler [2016-10-30 16:07:07] 959*2^1444432-1 is not prime. Res64: 8BF84EDDA1563F49 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:23:33] 983*2^1444432-1 is not prime. Res64: 3532E85E4BC432B2 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:23:34] 619*2^1444433-1 is not prime. Res64: 501820C8FAA27750 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:23:34] 729*2^1444433-1 is not prime. Res64: ED7447342469EE5C Time : 0.0 sec. user=mdettweiler [2016-10-30 16:23:34] 747*2^1444433-1 is not prime. Res64: 0C35B4C534143576 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:23:34] 795*2^1444433-1 is not prime. Res64: C5685A9834AE5534 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:29:27] 837*2^1444433-1 is not prime. Res64: DC95102CCA5D357D Time : 0.0 sec. user=mdettweiler [2016-10-30 16:29:27] 847*2^1444433-1 is not prime. Res64: EDE1504E8F661985 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:29:28] 871*2^1444433-1 is not prime. Res64: D359F787206A4455 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:29:28] 981*2^1444433-1 is not prime. Res64: D62B72A36C0F2859 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:29:28] 633*2^1444434-1 is not prime. Res64: 7AE4E077EDFDA3D1 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:38] 663*2^1444434-1 is not prime. Res64: 8549FFA1FFD03AD3 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:38] 711*2^1444434-1 is not prime. Res64: 23C1AA5E4CD595ED Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:38] 755*2^1444434-1 is not prime. Res64: 903740C81A679331 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:39] 815*2^1444434-1 is not prime. Res64: AE6D468121235838 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:39] 833*2^1444434-1 is not prime. Res64: 132D2FC126CEE691 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:41] 861*2^1444434-1 is not prime. Res64: 958C62685AF2CCDC Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:41] 625*2^1444435-1 is not prime. Res64: 59835C182E779968 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:41] 649*2^1444435-1 is not prime. Res64: 3CFB6B122A7B555A Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:42] 675*2^1444435-1 is not prime. Res64: 2F2ABDA22E1B1BE6 Time : 0.0 sec. user=mdettweiler [2016-10-30 16:52:42] 705*2^1444435-1 is not prime. Res64: 6B1655F722B1E7F1 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:08:31] 771*2^1444435-1 is not prime. Res64: 73460521086800BF Time : 0.0 sec. user=mdettweiler [2016-10-30 17:08:36] 885*2^1444435-1 is not prime. Res64: C5B921327AA2281D Time : 0.0 sec. user=mdettweiler [2016-10-30 17:08:38] 909*2^1444435-1 is not prime. Res64: 53D0859AA2B85DA0 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:08:43] 961*2^1444435-1 is not prime. Res64: 9C0352F22907C46F Time : 0.0 sec. user=mdettweiler [2016-10-30 17:08:45] 979*2^1444435-1 is not prime. Res64: 92ABD06314B46F3C Time : 0.0 sec. user=mdettweiler [2016-10-30 17:14:15] 725*2^1444436-1 is not prime. Res64: 2AFF3D84A29FB7DE Time : 0.0 sec. user=mdettweiler [2016-10-30 17:14:15] 759*2^1444436-1 is not prime. Res64: FB9AB1F623384FE1 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:14:16] 903*2^1444436-1 is not prime. Res64: 7F2DB77E3ADBE42A Time : 0.0 sec. user=mdettweiler [2016-10-30 17:14:16] 927*2^1444436-1 is not prime. Res64: C6488E24F07055E3 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:14:17] 969*2^1444436-1 is not prime. Res64: D1C431C91B225AE9 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:20] 609*2^1444437-1 is not prime. Res64: 4F0A0C5C564E6EF3 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:21] 669*2^1444437-1 is not prime. Res64: E1856DDA323157BA Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:21] 831*2^1444437-1 is not prime. Res64: 6ABD4C1460D3765B Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:21] 867*2^1444437-1 is not prime. Res64: D51759CDE87C225C Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:21] 889*2^1444437-1 is not prime. Res64: 5C93AC730C68CAC0 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:23] 605*2^1444438-1 is not prime. Res64: 4C0EA391B1ECC802 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:23] 687*2^1444438-1 is not prime. Res64: 79956CDADE14435A Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:24] 755*2^1444438-1 is not prime. Res64: 72401EE1FDE9C91F Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:24] 941*2^1444438-1 is not prime. Res64: DD754122B1DD1C4F Time : 0.0 sec. user=mdettweiler [2016-10-30 17:37:24] 669*2^1444439-1 is not prime. Res64: D81745BFD3099901 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:54:02] 865*2^1444439-1 is not prime. Res64: 2D3BF27F1B984A06 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:54:02] 921*2^1444439-1 is not prime. Res64: 0F3752D6F6539E09 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:54:02] 943*2^1444439-1 is not prime. Res64: FC6F5607A1168EB5 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:54:02] 969*2^1444439-1 is not prime. Res64: 722C36ABB5FC0733 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:54:02] 991*2^1444439-1 is not prime. Res64: D7FC0B49A3878643 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:59:06] 689*2^1444440-1 is not prime. Res64: B38CA5058F303822 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:59:07] 789*2^1444440-1 is not prime. Res64: 89A6B19A62B4C5C3 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:59:07] 873*2^1444440-1 is not prime. Res64: 49BE2FF95C04E036 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:59:07] 879*2^1444440-1 is not prime. Res64: 2E97D3CFE899A8A2 Time : 0.0 sec. user=mdettweiler [2016-10-30 17:59:07] 915*2^1444440-1 is not prime. Res64: DD11E9CFFC5804D2 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:09] 923*2^1444440-1 is not prime. Res64: 9F6000017F687001 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:09] 691*2^1444441-1 is not prime. Res64: 606805F9CC9ED8D8 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:10] 705*2^1444441-1 is not prime. Res64: B401AB84C2EACFD7 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:10] 789*2^1444441-1 is not prime. Res64: A5F7E02D65374E41 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:10] 829*2^1444441-1 is not prime. Res64: BA76D0B0C6F1642C Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:14] 877*2^1444441-1 is not prime. Res64: 6E9534E539B4A5DD Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:15] 951*2^1444441-1 is not prime. Res64: C1800903F8F3689E Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:15] 771*2^1444442-1 is not prime. Res64: 41FC5A972259F3A0 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:15] 785*2^1444442-1 is not prime. Res64: F36D3582AFF57A11 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:22:15] 797*2^1444442-1 is not prime. Res64: 83E3BB096D488FDA Time : 0.0 sec. user=mdettweiler [2016-10-30 18:42:39] 885*2^1444442-1 is not prime. Res64: 40DB6053C69DC241 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:42:40] 953*2^1444442-1 is not prime. Res64: A44634D1CE12A8CA Time : 0.0 sec. user=mdettweiler [2016-10-30 18:42:40] 977*2^1444442-1 is not prime. Res64: 876299A4D61BF0F8 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:42:40] 639*2^1444443-1 is not prime. Res64: FCDFDFE90874EB06 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:42:41] 685*2^1444443-1 is not prime. Res64: E97529937D9DAA78 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:48:36] 705*2^1444443-1 is not prime. Res64: B747B503533227E2 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:48:36] 723*2^1444443-1 is not prime. Res64: 697F5AA7DE70C8A6 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:48:36] 955*2^1444443-1 is not prime. Res64: C0EFDA386B3CD517 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:48:37] 961*2^1444443-1 is not prime. Res64: 6BE82B9B98C12E41 Time : 0.0 sec. user=mdettweiler [2016-10-30 18:48:37] 969*2^1444443-1 is not prime. Res64: 6F2F5D284C8B54DA Time : 0.0 sec. user=mdettweiler [2016-10-30 19:12:57] 749*2^1444444-1 is not prime. Res64: 533417AE1E77E6D6 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:12:58] 857*2^1444444-1 is not prime. Res64: 3283EF99B5280701 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:12:58] 959*2^1444444-1 is not prime. Res64: C0166AA6D1D59192 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:12:58] 619*2^1444445-1 is not prime. Res64: C35B479C6DDA4597 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:12:59] 651*2^1444445-1 is not prime. Res64: BB7E4609F85CA28B Time : 0.0 sec. user=mdettweiler [2016-10-30 19:13:19] 655*2^1444445-1 is not prime. Res64: 460E8A871935E33F Time : 0.0 sec. user=mdettweiler [2016-10-30 19:13:19] 657*2^1444445-1 is not prime. Res64: 9EE009AB6441DB45 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:13:19] 939*2^1444445-1 is not prime. Res64: 993B51920E501DD4 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:13:20] 707*2^1444446-1 is not prime. Res64: 12FC6DF1F68C737D Time : 0.0 sec. user=mdettweiler [2016-10-30 19:13:20] 717*2^1444446-1 is not prime. Res64: FDD01AE60522DEBE Time : 0.0 sec. user=mdettweiler [2016-10-30 19:31:44] 741*2^1444446-1 is not prime. Res64: 0690AED8CD8A2636 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:31:45] 821*2^1444446-1 is not prime. Res64: 34C42BED7D1E49E5 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:31:45] 861*2^1444446-1 is not prime. Res64: 78D3EFAAB39CF5A3 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:31:45] 881*2^1444446-1 is not prime. Res64: B0C5E8E18DDCFCF7 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:31:46] 903*2^1444446-1 is not prime. Res64: A14E8E56367B4BFD Time : 0.0 sec. user=mdettweiler [2016-10-30 19:37:15] 633*2^1444447-1 is not prime. Res64: 28FD0B5F59D99DEF Time : 0.0 sec. user=mdettweiler [2016-10-30 19:37:15] 843*2^1444447-1 is not prime. Res64: 6A97F69D02D3E588 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:37:15] 871*2^1444447-1 is not prime. Res64: 9CC0814C2B81E1F7 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:37:16] 919*2^1444447-1 is not prime. Res64: 99BBADB0C8ABBA0F Time : 0.0 sec. user=mdettweiler [2016-10-30 19:37:16] 767*2^1444448-1 is not prime. Res64: FAF4D98A543A027A Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:31] 813*2^1444448-1 is not prime. Res64: C19937C3E2C13AE0 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:31] 875*2^1444448-1 is not prime. Res64: EC4FB2549176ECFF Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:31] 959*2^1444448-1 is not prime. Res64: A33C0ED8CABC0599 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:32] 709*2^1444449-1 is not prime. Res64: E53340B3F9218A94 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:32] 951*2^1444449-1 is not prime. Res64: C1072BB47390B469 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:52] 623*2^1444450-1 is not prime. Res64: CF724DB7FD483E3D Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:52] 651*2^1444450-1 is not prime. Res64: 858C127AFE5B6416 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:53] 713*2^1444450-1 is not prime. Res64: BFB2C3AF182A14F7 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:53] 731*2^1444450-1 is not prime. Res64: 00C76DE441BCBC08 Time : 0.0 sec. user=mdettweiler [2016-10-30 19:59:53] 765*2^1444450-1 is not prime. Res64: A8AF7DE5A5EDAD9A Time : 0.0 sec. user=mdettweiler [2016-10-30 20:16:43] 773*2^1444450-1 is not prime. Res64: D57D50D97684F8C1 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:16:44] 777*2^1444450-1 is not prime. Res64: 98DDEDBCB4AC6613 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:16:44] 791*2^1444450-1 is not prime. Res64: 0C10A1D09E709CF8 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:16:44] 957*2^1444450-1 is not prime. Res64: 4E140B492B8FE9E6 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:16:44] 987*2^1444450-1 is not prime. Res64: D5ACB268D585A21A Time : 0.0 sec. user=mdettweiler [2016-10-30 20:22:12] 643*2^1444451-1 is not prime. Res64: 39C1001D0439DC67 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:22:12] 705*2^1444451-1 is not prime. Res64: EF7C856AFEBB0F5C Time : 0.0 sec. user=mdettweiler [2016-10-30 20:22:13] 741*2^1444451-1 is not prime. Res64: 0D7F9D2AEC07C156 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:22:13] 775*2^1444451-1 is not prime. Res64: C3B55FF349F07136 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:22:13] 945*2^1444451-1 is not prime. Res64: 6A866B04B269BA0C Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:18] 955*2^1444451-1 is not prime. Res64: F602A16E81A6A681 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:19] 629*2^1444452-1 is not prime. Res64: 8514256BBB6FD174 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:19] 737*2^1444452-1 is not prime. Res64: E7243C5E40AAFF3A Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:19] 857*2^1444452-1 is not prime. Res64: A4A01F9A3A24FF8C Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:19] 879*2^1444452-1 is not prime. Res64: BBE1252E5F81DF36 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:27] 893*2^1444452-1 is not prime. Res64: 3AC8BB8A2B8E6E10 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:27] 903*2^1444452-1 is not prime. Res64: 1128B2F70C364AE9 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:27] 965*2^1444452-1 is not prime. Res64: 802C9EB2642238BE Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:28] 607*2^1444453-1 is not prime. Res64: EA65EBDA7B3C2136 Time : 0.0 sec. user=mdettweiler [2016-10-30 20:44:28] 615*2^1444453-1 is not prime. Res64: F2C6F2C7E3E9E89F Time : 0.0 sec. user=mdettweiler [2016-10-30 21:01:32] 639*2^1444453-1 is not prime. Res64: 7F3B4F878684AC40 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:01:33] 687*2^1444453-1 is not prime. Res64: F34789F1C9D6BA02 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:01:34] 745*2^1444453-1 is not prime. Res64: DABB24C8EA53BD60 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:01:34] 751*2^1444453-1 is not prime. Res64: A481E7326DF879F6 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:01:35] 765*2^1444453-1 is not prime. Res64: 6C1D4DB9B43FFB51 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:06:59] 867*2^1444453-1 is not prime. Res64: 76B0C7CED706FF73 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:07:05] 885*2^1444453-1 is not prime. Res64: D10C4B29D62E2DC9 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:07:13] 915*2^1444453-1 is not prime. Res64: D2BEBE8311B55BBF Time : 0.0 sec. user=mdettweiler [2016-10-30 21:07:17] 987*2^1444453-1 is not prime. Res64: 0FB6A660D0C77ED3 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:07:19] 999*2^1444453-1 is not prime. Res64: DDA1EA5DD9E6ECBE Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:02] 615*2^1444454-1 is not prime. Res64: 55A9B4F93A000370 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:02] 717*2^1444454-1 is not prime. Res64: 67AAB95430A79DFA Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:02] 755*2^1444454-1 is not prime. Res64: 752EDF06277D7C6F Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:03] 797*2^1444454-1 is not prime. Res64: 4B6791C5AB8628A3 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:03] 941*2^1444454-1 is not prime. Res64: F1EA55C4FDF5739C Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:19] 1001*2^1444454-1 is not prime. Res64: DAC5C4836111DED3 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:19] 601*2^1444455-1 is not prime. Res64: D6D44BC2447E4228 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:19] 613*2^1444455-1 is not prime. Res64: 65D8C5A7E47D9AC1 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:20] 669*2^1444455-1 is not prime. Res64: 5C3DF9BB7673056B Time : 0.0 sec. user=mdettweiler [2016-10-30 21:29:20] 685*2^1444455-1 is not prime. Res64: 7730D89287ED6870 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:46:28] 999*2^1444455-1 is not prime. Res64: 96958172A5E5AB82 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:46:29] 623*2^1444456-1 is not prime. Res64: 82C3022C5B676655 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:46:29] 639*2^1444456-1 is not prime. Res64: 00477583C3D87C67 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:46:29] 695*2^1444456-1 is not prime. Res64: CBB5BCFEB46FBA48 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:46:29] 803*2^1444456-1 is not prime. Res64: 421D5EF51B8C191E Time : 0.0 sec. user=mdettweiler [2016-10-30 21:52:34] 843*2^1444456-1 is not prime. Res64: 1401B7155975F4D7 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:52:34] 869*2^1444456-1 is not prime. Res64: AB3FC51C436837D9 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:52:34] 905*2^1444456-1 is not prime. Res64: D9ED363106A812BB Time : 0.0 sec. user=mdettweiler [2016-10-30 21:52:34] 619*2^1444457-1 is not prime. Res64: C9174B3457D46238 Time : 0.0 sec. user=mdettweiler [2016-10-30 21:52:35] 651*2^1444457-1 is not prime. Res64: 4F140B4ABABCF66E Time : 0.0 sec. user=mdettweiler [2016-10-30 22:13:53] 669*2^1444457-1 is not prime. Res64: 5A98D72DAA22B73D Time : 0.0 sec. user=mdettweiler [2016-10-30 22:13:53] 685*2^1444457-1 is not prime. Res64: ABA5F9B942CBFDCF Time : 0.0 sec. user=mdettweiler [2016-10-30 22:13:53] 771*2^1444457-1 is not prime. Res64: 084D35691BF6FD9D Time : 0.0 sec. user=mdettweiler [2016-10-30 22:13:54] 871*2^1444457-1 is not prime. Res64: 4579FC969C38E4EA Time : 0.0 sec. user=mdettweiler [2016-10-30 22:13:54] 939*2^1444457-1 is not prime. Res64: 25B74B1F7D7A1767 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:14:13] 957*2^1444457-1 is not prime. Res64: 85575C6E96545237 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:14:13] 991*2^1444457-1 is not prime. Res64: 5A9F8E4F4E00396C Time : 0.0 sec. user=mdettweiler [2016-10-30 22:14:13] 711*2^1444458-1 is not prime. Res64: 50FFD7BCFC44513E Time : 0.0 sec. user=mdettweiler [2016-10-30 22:14:14] 725*2^1444458-1 is not prime. Res64: A1C69B061B5F1D36 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:14:14] 815*2^1444458-1 is not prime. Res64: 28F17057A99485D8 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:31:15] 861*2^1444458-1 is not prime. Res64: A26CCB01DB1764F0 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:31:16] 885*2^1444458-1 is not prime. Res64: 24CE747B8A3F6975 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:31:16] 993*2^1444458-1 is not prime. Res64: 0289F0714E53CEF8 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:31:16] 615*2^1444459-1 is not prime. Res64: 50FDDD3DA6AFF77E Time : 0.0 sec. user=mdettweiler [2016-10-30 22:31:16] 681*2^1444459-1 is not prime. Res64: 55DCBEE7E037A0C1 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:37:16] 751*2^1444459-1 is not prime. Res64: 3880A58C5E734C44 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:37:16] 843*2^1444459-1 is not prime. Res64: C1D5F66574A31112 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:37:16] 973*2^1444459-1 is not prime. Res64: 7A8F0B0113A89A52 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:37:16] 993*2^1444459-1 is not prime. Res64: 589962AC6243F725 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:37:17] 635*2^1444460-1 is not prime. Res64: DDCEF485229E9637 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:31] 663*2^1444460-1 is not prime. Res64: 1C485558E4670C02 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:32] 735*2^1444460-1 is not prime. Res64: 6EC2A1C1B91A218D Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:32] 785*2^1444460-1 is not prime. Res64: F56DA572AB56B307 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:32] 813*2^1444460-1 is not prime. Res64: 47DDD9E2308D385F Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:32] 839*2^1444460-1 is not prime. Res64: 06BB68C2E6A3B454 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:59] 843*2^1444460-1 is not prime. Res64: 50AA22E0F97E5258 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:59] 983*2^1444460-1 is not prime. Res64: 3A8C6562C05013D2 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:59] 657*2^1444461-1 is not prime. Res64: 0F8BF0BBA5AB0943 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:58:59] 709*2^1444461-1 is not prime. Res64: 04D68AA098427267 Time : 0.0 sec. user=mdettweiler [2016-10-30 22:59:00] 727*2^1444461-1 is not prime. Res64: 437043906C10842D Time : 0.0 sec. user=mdettweiler [2016-10-30 23:16:48] 781*2^1444461-1 is not prime. Res64: 45F7D13FA0D5CE6B Time : 0.0 sec. user=mdettweiler [2016-10-30 23:16:48] 795*2^1444461-1 is not prime. Res64: A0A2254944BE3DB0 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:16:48] 805*2^1444461-1 is not prime. Res64: F7BAC96C3815BD8F Time : 0.0 sec. user=mdettweiler [2016-10-30 23:16:49] 837*2^1444461-1 is not prime. Res64: 285DAACBB45E92EA Time : 0.0 sec. user=mdettweiler [2016-10-30 23:16:49] 889*2^1444461-1 is not prime. Res64: 1CB81CACD2CEB0B6 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:22:34] 945*2^1444461-1 is not prime. Res64: 55E2DB8D50DFFBA1 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:22:35] 975*2^1444461-1 is not prime. Res64: 1FEED58141D67F4F Time : 0.0 sec. user=mdettweiler [2016-10-30 23:22:35] 635*2^1444462-1 is not prime. Res64: C46F043C35F58676 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:22:35] 777*2^1444462-1 is not prime. Res64: 1D95F51F000DBC27 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:22:35] 791*2^1444462-1 is not prime. Res64: 39F03197E4D834F0 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:01] 801*2^1444462-1 is not prime. Res64: DF0587585385BCF3 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:01] 863*2^1444462-1 is not prime. Res64: 5C4D5DE0F10B4080 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:01] 867*2^1444462-1 is not prime. Res64: 18AC953535B072E4 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:02] 891*2^1444462-1 is not prime. Res64: 97A53D9F3DE0D31E Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:02] 619*2^1444463-1 is not prime. Res64: 6077B4ACF6FCD510 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:22] 685*2^1444463-1 is not prime. Res64: 14EFDD79EA98A713 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:22] 703*2^1444463-1 is not prime. Res64: 7D05ADF95F45FB94 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:22] 729*2^1444463-1 is not prime. Res64: 4CE4A2EC422716CF Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:23] 735*2^1444463-1 is not prime. Res64: 76E0BD15AD0E7493 Time : 0.0 sec. user=mdettweiler [2016-10-30 23:44:23] 741*2^1444463-1 is not prime. Res64: 9263DB525353C63A Time : 0.0 sec.