user=mdettweiler [2015-05-20 00:14:18] 815*2^1399088-1 is not prime. Res64: 3992AD920CA37559 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:14:18] 819*2^1399088-1 is not prime. Res64: 6B46C3224293F469 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:15:13] 845*2^1399088-1 is not prime. Res64: 87ED5BFCAF2094B5 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:15:13] 935*2^1399088-1 is not prime. Res64: C10476F4FD76E795 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:15:18] 957*2^1399088-1 is not prime. Res64: BE2684A0E4364271 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:15:19] 995*2^1399088-1 is not prime. Res64: 7DF540F5478A0214 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:17:17] 627*2^1399089-1 is not prime. Res64: 9F10C48ADDBF563B Time : 0.0 sec. user=mdettweiler [2015-05-20 00:17:17] 649*2^1399089-1 is not prime. Res64: EA3F18A58A69263C Time : 0.0 sec. user=mdettweiler [2015-05-20 00:31:47] 909*2^1399089-1 is not prime. Res64: A685949F1ECD1C3F Time : 0.0 sec. user=mdettweiler [2015-05-20 00:31:47] 951*2^1399089-1 is not prime. Res64: A67603763B092258 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:32:40] 999*2^1399089-1 is not prime. Res64: 64B9934CB0B3DA1A Time : 0.0 sec. user=mdettweiler [2015-05-20 00:32:41] 635*2^1399090-1 is not prime. Res64: 46AC8FC29216414D Time : 0.0 sec. user=mdettweiler [2015-05-20 00:32:53] 717*2^1399090-1 is not prime. Res64: E2C370EA8B189F91 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:32:53] 821*2^1399090-1 is not prime. Res64: 98DE890E607DBA2E Time : 0.0 sec. user=mdettweiler [2015-05-20 00:34:44] 827*2^1399090-1 is not prime. Res64: 26F4669F2A929158 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:34:44] 843*2^1399090-1 is not prime. Res64: 1943B6750784FFBF Time : 0.0 sec. user=mdettweiler [2015-05-20 00:49:23] 855*2^1399090-1 is not prime. Res64: E793AD2080926878 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:49:23] 917*2^1399090-1 is not prime. Res64: 98AF581CA84B9D82 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:50:10] 933*2^1399090-1 is not prime. Res64: 862648D65DA8F33A Time : 0.0 sec. user=mdettweiler [2015-05-20 00:50:10] 715*2^1399091-1 is not prime. Res64: 992230919919E739 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:50:33] 733*2^1399091-1 is not prime. Res64: DA23DA0C51A57736 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:50:33] 841*2^1399091-1 is not prime. Res64: 8004EA8278EC3936 Time : 0.0 sec. user=mdettweiler [2015-05-20 00:52:18] 879*2^1399091-1 is not prime. Res64: B84C05F3DC8C28FC Time : 0.0 sec. user=mdettweiler [2015-05-20 00:52:19] 993*2^1399091-1 is not prime. Res64: 69BD175E02C371A7 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:06:56] 609*2^1399092-1 is not prime. Res64: AE9D679B47E68D24 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:06:57] 615*2^1399092-1 is not prime. Res64: B6F2CD3E2A6E578C Time : 0.0 sec. user=mdettweiler [2015-05-20 01:07:44] 669*2^1399092-1 is not prime. Res64: F1DBBB333B3988AD Time : 0.0 sec. user=mdettweiler [2015-05-20 01:07:44] 725*2^1399092-1 is not prime. Res64: A8114132706BB491 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:07:58] 965*2^1399092-1 is not prime. Res64: 46616A2673ED8B32 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:07:58] 639*2^1399093-1 is not prime. Res64: E1D78F6BBAF6FDB0 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:09:42] 691*2^1399093-1 is not prime. Res64: 1D7D92327C202F7A Time : 0.0 sec. user=mdettweiler [2015-05-20 01:09:42] 817*2^1399093-1 is not prime. Res64: BF6845F155514942 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:24:23] 847*2^1399093-1 is not prime. Res64: A803EBA7010CA37C Time : 0.0 sec. user=mdettweiler [2015-05-20 01:24:23] 867*2^1399093-1 is not prime. Res64: 9CE14EC388F02830 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:25:08] 897*2^1399093-1 is not prime. Res64: BFC510F74A8FE306 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:25:09] 627*2^1399094-1 is not prime. Res64: 8FCAD53857BA5E76 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:25:22] 635*2^1399094-1 is not prime. Res64: 20D835AEA2521E76 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:25:23] 675*2^1399094-1 is not prime. Res64: E69D379F73434BAC Time : 0.0 sec. user=mdettweiler [2015-05-20 01:27:09] 693*2^1399094-1 is not prime. Res64: 5AEED4A0737F1A3B Time : 0.0 sec. user=mdettweiler [2015-05-20 01:27:10] 717*2^1399094-1 is not prime. Res64: ACB7834689FCBE96 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:42:29] 731*2^1399094-1 is not prime. Res64: 5039E165BE34C107 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:42:30] 741*2^1399094-1 is not prime. Res64: 235A30D39EF526E0 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:43:31] 825*2^1399094-1 is not prime. Res64: ECD933FB18803D3E Time : 0.0 sec. user=mdettweiler [2015-05-20 01:43:31] 873*2^1399094-1 is not prime. Res64: 9464FEBEC02F4C4D Time : 0.0 sec. user=mdettweiler [2015-05-20 01:43:57] 885*2^1399094-1 is not prime. Res64: 1029AE0EB2F63C81 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:43:58] 903*2^1399094-1 is not prime. Res64: E83E7D393D1B4FD1 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:45:40] 935*2^1399094-1 is not prime. Res64: CFFA5ECD58FEC1C8 Time : 0.0 sec. user=mdettweiler [2015-05-20 01:45:40] 941*2^1399094-1 is not prime. Res64: 2A1201CABEEF2B50 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:00:34] 1001*2^1399094-1 is not prime. Res64: 18FCCDF7A64887A5 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:00:35] 601*2^1399095-1 is not prime. Res64: BD058BD2AD5178E8 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:01:32] 643*2^1399095-1 is not prime. Res64: C520AB3A51F7B81A Time : 0.0 sec. user=mdettweiler [2015-05-20 02:01:33] 723*2^1399095-1 is not prime. Res64: D11FDAFE7AD1E343 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:01:57] 783*2^1399095-1 is not prime. Res64: 76B58A38E26A8850 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:01:58] 859*2^1399095-1 is not prime. Res64: A5DA502FC15125C3 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:03:41] 913*2^1399095-1 is not prime. Res64: 7BD3C99EA681943D Time : 0.0 sec. user=mdettweiler [2015-05-20 02:03:42] 973*2^1399095-1 is not prime. Res64: E3240208014133EF Time : 0.0 sec. user=mdettweiler [2015-05-20 02:18:34] 843*2^1399096-1 is not prime. Res64: DD25309F53DB167C Time : 0.0 sec. user=mdettweiler [2015-05-20 02:18:34] 855*2^1399096-1 is not prime. Res64: 4AC82E087038D5B8 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:19:13] 927*2^1399096-1 is not prime. Res64: CF132B68C60A20B8 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:19:13] 999*2^1399096-1 is not prime. Res64: 58A35B7641F4E3DB Time : 0.0 sec. user=mdettweiler [2015-05-20 02:19:42] 697*2^1399097-1 is not prime. Res64: 2453497F765DC9EA Time : 0.0 sec. user=mdettweiler [2015-05-20 02:19:42] 741*2^1399097-1 is not prime. Res64: 248940109AB7EC0D Time : 0.0 sec. user=mdettweiler [2015-05-20 02:21:19] 819*2^1399097-1 is not prime. Res64: 032917C91E618A2B Time : 0.0 sec. user=mdettweiler [2015-05-20 02:21:19] 837*2^1399097-1 is not prime. Res64: A440DD47D5548C6B Time : 0.0 sec. user=mdettweiler [2015-05-20 02:35:56] 871*2^1399097-1 is not prime. Res64: E73A3FD7271BE3CC Time : 0.0 sec. user=mdettweiler [2015-05-20 02:35:57] 879*2^1399097-1 is not prime. Res64: 1E85B32DFE40F554 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:36:36] 925*2^1399097-1 is not prime. Res64: D9B87C012CDE2646 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:36:36] 985*2^1399097-1 is not prime. Res64: 6E81D68D56AF51AF Time : 0.0 sec. user=mdettweiler [2015-05-20 02:37:11] 627*2^1399098-1 is not prime. Res64: 56C7CBAD81655948 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:37:11] 695*2^1399098-1 is not prime. Res64: E59FBF76AF9DC21E Time : 0.0 sec. user=mdettweiler [2015-05-20 02:38:42] 755*2^1399098-1 is not prime. Res64: 2A326C88A9D67513 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:38:42] 773*2^1399098-1 is not prime. Res64: C1A92420D21677BC Time : 0.0 sec. user=mdettweiler [2015-05-20 02:53:26] 777*2^1399098-1 is not prime. Res64: 856971098723D666 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:53:27] 791*2^1399098-1 is not prime. Res64: C2A88658E89A4F9C Time : 0.0 sec. user=mdettweiler [2015-05-20 02:54:02] 821*2^1399098-1 is not prime. Res64: 1811B0853B615A5D Time : 0.0 sec. user=mdettweiler [2015-05-20 02:54:03] 833*2^1399098-1 is not prime. Res64: FE026362A7EB4C9B Time : 0.0 sec. user=mdettweiler [2015-05-20 02:54:41] 887*2^1399098-1 is not prime. Res64: 741C36F0A0E077E3 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:54:42] 933*2^1399098-1 is not prime. Res64: A38536447864E406 Time : 0.0 sec. user=mdettweiler [2015-05-20 02:56:11] 685*2^1399099-1 is not prime. Res64: 263845002B852ADC Time : 0.0 sec. user=mdettweiler [2015-05-20 02:56:11] 691*2^1399099-1 is not prime. Res64: 47C678023FC368A2 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:11:01] 759*2^1399099-1 is not prime. Res64: 44FF56EED285D0DF Time : 0.0 sec. user=mdettweiler [2015-05-20 03:11:01] 829*2^1399099-1 is not prime. Res64: 5C23ACF626DBCDBD Time : 0.0 sec. user=mdettweiler [2015-05-20 03:11:30] 889*2^1399099-1 is not prime. Res64: 4A10568B14E5AFAD Time : 0.0 sec. user=mdettweiler [2015-05-20 03:11:31] 895*2^1399099-1 is not prime. Res64: 522390690EE4BC02 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:12:12] 919*2^1399099-1 is not prime. Res64: EE9F4A422E177DEA Time : 0.0 sec. user=mdettweiler [2015-05-20 03:12:12] 969*2^1399099-1 is not prime. Res64: 936AB6DBA44099E4 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:13:44] 609*2^1399100-1 is not prime. Res64: 014091DD1AA46440 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:13:45] 635*2^1399100-1 is not prime. Res64: 1936CE11EC6DBED9 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:28:33] 717*2^1399100-1 is not prime. Res64: 9B5B868EAA566CC8 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:28:35] 743*2^1399100-1 is not prime. Res64: 3CF53762000F95C9 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:28:59] 759*2^1399100-1 is not prime. Res64: C50A5AF85B1511D9 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:29:00] 777*2^1399100-1 is not prime. Res64: C4985E515A05A950 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:29:35] 855*2^1399100-1 is not prime. Res64: 8E6EDD18CBDA6795 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:29:37] 893*2^1399100-1 is not prime. Res64: AA491347899E3DCC Time : 0.0 sec. user=mdettweiler [2015-05-20 03:31:06] 615*2^1399101-1 is not prime. Res64: B89D1B19CDFFD98C Time : 0.0 sec. user=mdettweiler [2015-05-20 03:31:08] 621*2^1399101-1 is not prime. Res64: 7064BD03F3F832C6 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:46:18] 685*2^1399101-1 is not prime. Res64: 1DB4CC02B86B4F09 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:46:19] 745*2^1399101-1 is not prime. Res64: 23BABA6886A74244 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:46:35] 747*2^1399101-1 is not prime. Res64: 4CB1F957BEBA3C92 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:46:36] 867*2^1399101-1 is not prime. Res64: 38EFE9EA3E32EFCF Time : 0.0 sec. user=mdettweiler [2015-05-20 03:47:18] 877*2^1399101-1 is not prime. Res64: E9B187FD103C6050 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:47:19] 969*2^1399101-1 is not prime. Res64: 77FA7E5EEE1A4869 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:48:37] 621*2^1399102-1 is not prime. Res64: F6A8FE9B05064BE7 Time : 0.0 sec. user=mdettweiler [2015-05-20 03:48:38] 891*2^1399102-1 is not prime. Res64: F52316F4F2606FBB Time : 0.0 sec. user=mdettweiler [2015-05-20 04:04:08] 915*2^1399102-1 is not prime. Res64: 0C9FE4B07DE96B58 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:04:09] 741*2^1399103-1 is not prime. Res64: E5ED338E4AE8F90E Time : 0.0 sec. user=mdettweiler [2015-05-20 04:04:11] 759*2^1399103-1 is not prime. Res64: D807245AB245AD57 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:04:12] 829*2^1399103-1 is not prime. Res64: D8A49762854B40D1 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:04:56] 859*2^1399103-1 is not prime. Res64: 68DBC9B9E3994839 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:04:58] 871*2^1399103-1 is not prime. Res64: CFDFD00041AA3E9F Time : 0.0 sec. user=mdettweiler [2015-05-20 04:06:16] 889*2^1399103-1 is not prime. Res64: 20873A1794D7CF95 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:06:18] 943*2^1399103-1 is not prime. Res64: 1EB7C9592259B054 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:21:33] 795*2^1399104-1 is not prime. Res64: 3F72CC38CBE45C60 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:21:34] 625*2^1399105-1 is not prime. Res64: C805ECA29EBC23FF Time : 0.0 sec. user=mdettweiler [2015-05-20 04:21:45] 665*2^1399104-1 is not prime. Res64: 9D50717D9EA67C10 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:21:45] 767*2^1399104-1 is not prime. Res64: 881D1B167D284BB8 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:22:29] 691*2^1399105-1 is not prime. Res64: E55A968FA261A783 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:22:29] 847*2^1399105-1 is not prime. Res64: 92AC531F1FCBAC01 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:24:01] 849*2^1399105-1 is not prime. Res64: BB4391BE2C6081D8 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:24:02] 633*2^1399106-1 is not prime. Res64: D87D5D3D830C6A89 Time : 0.0 sec. user=juhehe [2015-05-20 04:29:55] 955*2^1399103-1 is not prime. Res64: DD4DDA116E7FB80D Time : 0.0 sec. user=mdettweiler [2015-05-20 04:39:13] 717*2^1399106-1 is not prime. Res64: 216D2940BC5B5DDB Time : 0.0 sec. user=mdettweiler [2015-05-20 04:39:14] 735*2^1399106-1 is not prime. Res64: 3A31C1DA33A8B312 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:39:29] 743*2^1399106-1 is not prime. Res64: DBC4BD751E82CC47 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:39:29] 831*2^1399106-1 is not prime. Res64: 1F3AFEC44D71475F Time : 0.0 sec. user=mdettweiler [2015-05-20 04:40:00] 851*2^1399106-1 is not prime. Res64: 1426BD899A2090C9 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:40:00] 861*2^1399106-1 is not prime. Res64: 80F885BBCDBEFBC6 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:41:32] 893*2^1399106-1 is not prime. Res64: E291B88AD376C7D1 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:41:32] 923*2^1399106-1 is not prime. Res64: 4A7EEB159952312A Time : 0.0 sec. user=mdettweiler [2015-05-20 04:57:24] 805*2^1399107-1 is not prime. Res64: 3F0000AC046F68A2 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:57:24] 819*2^1399107-1 is not prime. Res64: 060101F6C3033BEA Time : 0.0 sec. user=mdettweiler [2015-05-20 04:57:33] 625*2^1399107-1 is not prime. Res64: A5B23765C0E10644 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:57:33] 711*2^1399107-1 is not prime. Res64: D392EBF680712723 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:58:28] 879*2^1399107-1 is not prime. Res64: F10F3EBF473D1CB0 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:58:28] 931*2^1399107-1 is not prime. Res64: DDF96E700D46F58E Time : 0.0 sec. user=mdettweiler [2015-05-20 04:59:57] 955*2^1399107-1 is not prime. Res64: F2A0224B07E6F834 Time : 0.0 sec. user=mdettweiler [2015-05-20 04:59:57] 991*2^1399107-1 is not prime. Res64: D5634B1EC7CC5D2D Time : 0.0 sec. user=mdettweiler [2015-05-20 07:37:58] 711*2^1399109-1 is not prime. Res64: 09D6A999EA3A163A Time : 0.0 sec. user=mdettweiler [2015-05-20 07:37:59] 745*2^1399109-1 is not prime. Res64: 8E27BBDD029C3998 Time : 0.0 sec. user=mdettweiler [2015-05-20 07:58:29] 759*2^1399109-1 is not prime. Res64: 408BFE0F8D4F0289 Time : 0.0 sec. user=mdettweiler [2015-05-20 07:58:29] 771*2^1399109-1 is not prime. Res64: A1121E75CF1D918F Time : 0.0 sec. user=mdettweiler [2015-05-20 08:18:15] 879*2^1399109-1 is not prime. Res64: B4BF8E9CC9201960 Time : 0.0 sec. user=mdettweiler [2015-05-20 08:18:16] 925*2^1399109-1 is not prime. Res64: DE79E2008549722E Time : 0.0 sec. user=mdettweiler [2015-05-20 08:38:50] 647*2^1399110-1 is not prime. Res64: 0A35B641AF442BD3 Time : 0.0 sec. user=mdettweiler [2015-05-20 08:38:50] 725*2^1399110-1 is not prime. Res64: E4918EA18B78BCD2 Time : 0.0 sec. user=mdettweiler [2015-05-20 08:59:12] 755*2^1399110-1 is not prime. Res64: EB1D32F5041C6F07 Time : 0.0 sec. user=mdettweiler [2015-05-20 08:59:13] 797*2^1399110-1 is not prime. Res64: 0A3C86C013DF24A0 Time : 0.0 sec. user=mdettweiler [2015-05-20 09:20:27] 821*2^1399110-1 is not prime. Res64: 90942BD9B0680EB1 Time : 0.0 sec. user=mdettweiler [2015-05-20 09:20:28] 619*2^1399111-1 is not prime. Res64: 24B7DBDD8FB2B36E Time : 0.0 sec. user=mdettweiler [2015-05-20 09:40:26] 723*2^1399111-1 is not prime. Res64: 729029B183D96448 Time : 0.0 sec. user=mdettweiler [2015-05-20 09:40:26] 741*2^1399111-1 is not prime. Res64: CA22C886C7C37CFB Time : 0.0 sec. user=mdettweiler [2015-05-20 10:00:39] 843*2^1399111-1 is not prime. Res64: 50C5C4D8DC8B2965 Time : 0.0 sec. user=mdettweiler [2015-05-20 10:00:39] 849*2^1399111-1 is not prime. Res64: 74E86D0FC71A8021 Time : 0.0 sec. user=mdettweiler [2015-05-20 10:23:11] 925*2^1399111-1 is not prime. Res64: AE445E0BA6595ACC Time : 0.0 sec. user=mdettweiler [2015-05-20 10:23:12] 933*2^1399111-1 is not prime. Res64: 06E43E1CE2E8F0EC Time : 0.0 sec. user=mdettweiler [2015-05-20 10:44:31] 605*2^1399112-1 is not prime. Res64: 64FCE3E696F72B12 Time : 0.0 sec. user=mdettweiler [2015-05-20 10:44:31] 609*2^1399112-1 is not prime. Res64: 46B3260A0F052702 Time : 0.0 sec. user=mdettweiler [2015-05-20 11:04:40] 683*2^1399112-1 is not prime. Res64: 34F80C7F03829E68 Time : 0.0 sec. user=mdettweiler [2015-05-20 11:04:41] 803*2^1399112-1 is not prime. Res64: 2AB775A543A5904A Time : 0.0 sec. user=mdettweiler [2015-05-20 11:24:35] 825*2^1399112-1 is not prime. Res64: D0DD4C919C889EED Time : 0.0 sec. user=mdettweiler [2015-05-20 11:24:35] 857*2^1399112-1 is not prime. Res64: 01FDFCA3E7B278BB Time : 0.0 sec. user=mdettweiler [2015-05-20 11:45:52] 867*2^1399112-1 is not prime. Res64: E3A79BB785E66F5C Time : 0.0 sec. user=mdettweiler [2015-05-20 11:45:52] 915*2^1399112-1 is not prime. Res64: BD47A55056A072F3 Time : 0.0 sec. user=mdettweiler [2015-05-20 12:05:28] 935*2^1399112-1 is not prime. Res64: 171DBDE959880654 Time : 0.0 sec. user=mdettweiler [2015-05-20 12:05:29] 977*2^1399112-1 is not prime. Res64: CCE05E9FAFD01F8E Time : 0.0 sec. user=mdettweiler [2015-05-20 12:26:36] 983*2^1399112-1 is not prime. Res64: EB23BC86EC1F280F Time : 0.0 sec. user=mdettweiler [2015-05-20 12:26:36] 639*2^1399113-1 is not prime. Res64: 4A4EB10AFDC2A87E Time : 0.0 sec. user=mdettweiler [2015-05-20 12:46:27] 765*2^1399113-1 is not prime. Res64: EF1FDE9C4A774439 Time : 0.0 sec. user=mdettweiler [2015-05-20 12:46:27] 885*2^1399113-1 is not prime. Res64: 9934FCFCFE5066FD Time : 0.0 sec. user=mdettweiler [2015-05-20 13:06:41] 895*2^1399113-1 is not prime. Res64: 584EDD9E737D9A5B Time : 0.0 sec. user=mdettweiler [2015-05-20 13:06:42] 937*2^1399113-1 is not prime. Res64: 2D6921F891C279A8 Time : 0.0 sec. user=mdettweiler [2015-05-20 13:27:45] 737*2^1399114-1 is not prime. Res64: 36C63574901D5E3C Time : 0.0 sec. user=mdettweiler [2015-05-20 13:27:46] 821*2^1399114-1 is not prime. Res64: 3E9AFB061A639332 Time : 0.0 sec. user=mdettweiler [2015-05-20 13:50:08] 975*2^1399114-1 is not prime. Res64: 66272FD509CCD910 Time : 0.0 sec. user=mdettweiler [2015-05-20 13:50:08] 609*2^1399115-1 is not prime. Res64: 195C4279E92E220B Time : 0.0 sec. user=mdettweiler [2015-05-20 14:11:01] 633*2^1399115-1 is not prime. Res64: 75831ED96485C974 Time : 0.0 sec. user=mdettweiler [2015-05-20 14:11:02] 645*2^1399115-1 is not prime. Res64: 85662CEE69814479 Time : 0.0 sec. user=mdettweiler [2015-05-20 14:31:24] 805*2^1399115-1 is not prime. Res64: 2766719081DDD275 Time : 0.0 sec. user=mdettweiler [2015-05-20 14:31:24] 861*2^1399115-1 is not prime. Res64: 12BBCE819E8C854B Time : 0.0 sec. user=mdettweiler [2015-05-20 14:51:08] 939*2^1399115-1 is not prime. Res64: B1936998153B83FC Time : 0.0 sec. user=mdettweiler [2015-05-20 14:51:09] 963*2^1399115-1 is not prime. Res64: DB779A54A390A5E3 Time : 0.0 sec. user=juhehe [2015-05-20 14:57:35] 909*2^1399115-1 is not prime. Res64: A37696CDB6C3A8C3 Time : 0.0 sec. user=mdettweiler [2015-05-20 15:10:16] 985*2^1399115-1 is not prime. Res64: 0BFD1F5F9A68F5C2 Time : 0.0 sec. user=mdettweiler [2015-05-20 15:10:17] 629*2^1399116-1 is not prime. Res64: 3852492F923DE4D2 Time : 0.0 sec. user=mdettweiler [2015-05-20 15:30:17] 647*2^1399116-1 is not prime. Res64: 6BF6625BB812F64C Time : 0.0 sec. user=mdettweiler [2015-05-20 15:30:17] 675*2^1399116-1 is not prime. Res64: 74F60570BCF60EBF Time : 0.0 sec. user=mdettweiler [2015-05-20 15:50:38] 705*2^1399116-1 is not prime. Res64: F44BC32FD947E086 Time : 0.0 sec. user=mdettweiler [2015-05-20 15:50:38] 717*2^1399116-1 is not prime. Res64: 44C089400A1E6941 Time : 0.0 sec. user=mdettweiler [2015-05-20 16:11:00] 719*2^1399116-1 is not prime. Res64: 77662AF0AA9DA92E Time : 0.0 sec. user=mdettweiler [2015-05-20 16:11:01] 765*2^1399116-1 is not prime. Res64: AA88D52EF38009EA Time : 0.0 sec. user=mdettweiler [2015-05-20 16:31:40] 803*2^1399116-1 is not prime. Res64: 1521A25977350E7D Time : 0.0 sec. user=mdettweiler [2015-05-20 16:31:41] 879*2^1399116-1 is not prime. Res64: 6EF0AD78E62F535F Time : 0.0 sec. user=mdettweiler [2015-05-20 16:56:00] 969*2^1399116-1 is not prime. Res64: 7D88E75E7E9EEEDA Time : 0.0 sec. user=mdettweiler [2015-05-20 16:56:00] 625*2^1399117-1 is not prime. Res64: 795E52987FFDAD27 Time : 0.0 sec. user=mdettweiler [2015-05-20 17:21:39] 847*2^1399117-1 is not prime. Res64: F6CAFEE72AF9E0A2 Time : 0.0 sec. user=mdettweiler [2015-05-20 17:21:39] 843*2^1399118-1 is not prime. Res64: A51F6CFBB51ADBCD Time : 0.0 sec. user=mdettweiler [2015-05-20 17:45:03] 921*2^1399118-1 is not prime. Res64: A2D6B237DE3C60DF Time : 0.0 sec. user=mdettweiler [2015-05-20 17:45:03] 957*2^1399118-1 is not prime. Res64: 98960874C774A033 Time : 0.0 sec. user=mdettweiler [2015-05-20 18:07:43] 993*2^1399118-1 is not prime. Res64: F7BDAF8376A2A794 Time : 0.0 sec. user=mdettweiler [2015-05-20 18:07:43] 1001*2^1399118-1 is not prime. Res64: 4429C93E3DB201BE Time : 0.0 sec. user=mdettweiler [2015-05-20 18:30:06] 601*2^1399119-1 is not prime. Res64: 40550714D2D561C4 Time : 0.0 sec. user=mdettweiler [2015-05-20 18:30:06] 705*2^1399119-1 is not prime. Res64: F75BDA5272D42056 Time : 0.0 sec. user=mdettweiler [2015-05-20 18:52:40] 831*2^1399119-1 is not prime. Res64: CDE4D0EB1BD8BAC0 Time : 0.0 sec. user=mdettweiler [2015-05-20 18:52:40] 909*2^1399119-1 is not prime. Res64: DBB0576D8A5A119C Time : 0.0 sec. user=mdettweiler [2015-05-20 19:17:19] 999*2^1399119-1 is not prime. Res64: 9B409D51FABB4AAD Time : 0.0 sec. user=mdettweiler [2015-05-20 19:17:20] 693*2^1399120-1 is not prime. Res64: AC897C2E43EAEB39 Time : 0.0 sec. user=mdettweiler [2015-05-20 19:37:26] 719*2^1399120-1 is not prime. Res64: 3703B9C32C92D1CC Time : 0.0 sec. user=mdettweiler [2015-05-20 19:37:26] 855*2^1399120-1 is not prime. Res64: 1E9F485A40AA6ADE Time : 0.0 sec. user=mdettweiler [2015-05-20 19:58:12] 915*2^1399120-1 is not prime. Res64: DD0BDAB2A657C19B Time : 0.0 sec. user=mdettweiler [2015-05-20 19:58:12] 975*2^1399120-1 is not prime. Res64: E0F68C43ED510E14 Time : 0.0 sec. user=mdettweiler [2015-05-20 20:22:39] 601*2^1399121-1 is not prime. Res64: 282A60E570EB1C08 Time : 0.0 sec. user=mdettweiler [2015-05-20 20:22:40] 619*2^1399121-1 is not prime. Res64: 7928939F3080FB86 Time : 0.0 sec. user=mdettweiler [2015-05-20 20:48:32] 645*2^1399121-1 is not prime. Res64: 27871F7B09325BC2 Time : 0.0 sec. user=mdettweiler [2015-05-20 20:48:32] 675*2^1399121-1 is not prime. Res64: 4B11DE4FE1BD51E7 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:15:25] 925*2^1399121-1 is not prime. Res64: 7E0E56B66B8C325C Time : 0.0 sec. user=mdettweiler [2015-05-20 21:15:25] 967*2^1399121-1 is not prime. Res64: A4A757BC21252597 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:36:09] 885*2^1399108-1 is not prime. Res64: 181E20B5C45DA89C Time : 0.0 sec. user=mdettweiler [2015-05-20 21:36:09] 905*2^1399108-1 is not prime. Res64: 9C42B820354735A8 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:39:43] 671*2^1399122-1 is not prime. Res64: D4049E3B98396069 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:39:43] 765*2^1399122-1 is not prime. Res64: C6980F82933581ED Time : 0.0 sec. user=mdettweiler [2015-05-20 21:39:51] 909*2^1399108-1 is not prime. Res64: DE34672F2996FC46 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:39:52] 923*2^1399108-1 is not prime. Res64: 3427735DC8E931EB Time : 0.0 sec. user=mdettweiler [2015-05-20 21:46:23] 617*2^1399108-1 is not prime. Res64: 76CBCDE9709AC33B Time : 0.0 sec. user=mdettweiler [2015-05-20 21:46:23] 735*2^1399108-1 is not prime. Res64: 41268BB4815BB0EB Time : 0.0 sec. user=mdettweiler [2015-05-20 21:55:29] 957*2^1399122-1 is not prime. Res64: 9D6914C526F7CF80 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:55:29] 1001*2^1399122-1 is not prime. Res64: AEC11B5DF4998C30 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:58:57] 793*2^1399123-1 is not prime. Res64: DEB85E5FB7EE9308 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:58:57] 895*2^1399123-1 is not prime. Res64: 33C58A5635A905BC Time : 0.0 sec. user=mdettweiler [2015-05-20 21:59:13] 609*2^1399123-1 is not prime. Res64: 97193F1882D346B5 Time : 0.0 sec. user=mdettweiler [2015-05-20 21:59:13] 649*2^1399123-1 is not prime. Res64: 9C1927E157E1ED1D Time : 0.0 sec. user=mdettweiler [2015-05-20 22:05:31] 659*2^1399124-1 is not prime. Res64: 6A21D9E3F0B672F5 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:05:33] 773*2^1399124-1 is not prime. Res64: 28733A1D2C3BB7E2 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:15:11] 795*2^1399124-1 is not prime. Res64: 55369AA23CCCBBE4 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:15:12] 833*2^1399124-1 is not prime. Res64: 24EB4F0E067BD932 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:18:27] 657*2^1399125-1 is not prime. Res64: B876B3332219BA02 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:18:27] 759*2^1399125-1 is not prime. Res64: E2078FB3030D0FC6 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:18:32] 843*2^1399124-1 is not prime. Res64: FAFF0D8CB0D35913 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:18:32] 625*2^1399125-1 is not prime. Res64: E404184FC5731308 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:24:29] 861*2^1399125-1 is not prime. Res64: 721DD2E0E6C21A19 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:24:30] 885*2^1399125-1 is not prime. Res64: CACC921F535085FA Time : 0.0 sec. user=mdettweiler [2015-05-20 22:33:46] 955*2^1399125-1 is not prime. Res64: 34C870B2BA952385 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:33:47] 975*2^1399125-1 is not prime. Res64: 104A9973F31FAC90 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:36:48] 761*2^1399126-1 is not prime. Res64: F7B08FE447B74DD1 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:36:49] 783*2^1399126-1 is not prime. Res64: 32C8CA1915B3EC34 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:36:50] 657*2^1399126-1 is not prime. Res64: 24DDA747B38E0AFB Time : 0.0 sec. user=mdettweiler [2015-05-20 22:36:50] 663*2^1399126-1 is not prime. Res64: D4C3839F5DA77416 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:42:25] 933*2^1399126-1 is not prime. Res64: 9B20A5C939DE7560 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:42:25] 633*2^1399127-1 is not prime. Res64: DB9A1686538119C7 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:52:09] 813*2^1399127-1 is not prime. Res64: ECEB5F688ACDD4E5 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:52:10] 879*2^1399127-1 is not prime. Res64: C951C86E792D735B Time : 0.0 sec. user=mdettweiler [2015-05-20 22:54:52] 635*2^1399128-1 is not prime. Res64: 5975240EA55E06C6 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:54:52] 669*2^1399128-1 is not prime. Res64: F2706F9881D059B6 Time : 0.0 sec. user=mdettweiler [2015-05-20 22:55:13] 885*2^1399127-1 is not prime. Res64: F570895D45E76A5A Time : 0.0 sec. user=mdettweiler [2015-05-20 22:55:13] 985*2^1399127-1 is not prime. Res64: C4FCCFD9B7A690BD Time : 0.0 sec. user=mdettweiler [2015-05-20 23:00:28] 699*2^1399128-1 is not prime. Res64: 75304E0BB52B6548 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:00:29] 765*2^1399128-1 is not prime. Res64: 4EB60D4E2111D7BD Time : 0.0 sec. user=mdettweiler [2015-05-20 23:09:50] 767*2^1399128-1 is not prime. Res64: A0C5E6937056D4E4 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:09:51] 795*2^1399128-1 is not prime. Res64: 388AA2FCFD89666D Time : 0.0 sec. user=mdettweiler [2015-05-20 23:12:26] 819*2^1399128-1 is not prime. Res64: 113183AD5B706685 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:12:27] 839*2^1399128-1 is not prime. Res64: 92B044635CE45250 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:12:49] 893*2^1399128-1 is not prime. Res64: D3A762B6A9606D47 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:12:49] 899*2^1399128-1 is not prime. Res64: 538DC300EDB9E4B3 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:18:19] 993*2^1399128-1 is not prime. Res64: 216E1D366FACCC2F Time : 0.0 sec. user=mdettweiler [2015-05-20 23:18:20] 747*2^1399129-1 is not prime. Res64: 6C27F958DCAC24CB Time : 0.0 sec. user=mdettweiler [2015-05-20 23:27:46] 789*2^1399129-1 is not prime. Res64: 636B3D830A862FD5 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:27:46] 811*2^1399129-1 is not prime. Res64: 5A7CF916E9D51DEE Time : 0.0 sec. user=mdettweiler [2015-05-20 23:30:25] 829*2^1399129-1 is not prime. Res64: 4BEBABC964D6B0ED Time : 0.0 sec. user=mdettweiler [2015-05-20 23:30:26] 861*2^1399129-1 is not prime. Res64: 173BC9857CE2E501 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:30:40] 885*2^1399129-1 is not prime. Res64: DCD066EF422BDF00 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:30:41] 931*2^1399129-1 is not prime. Res64: 07D51DE0BBFBF5E5 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:36:01] 967*2^1399129-1 is not prime. Res64: 86448B3EF941DA53 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:36:02] 999*2^1399129-1 is not prime. Res64: BFAA8C94D8973B12 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:45:29] 603*2^1399130-1 is not prime. Res64: 488177E3DA9F3481 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:45:29] 657*2^1399130-1 is not prime. Res64: 06BD6260B07ED324 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:48:00] 785*2^1399130-1 is not prime. Res64: 37BE0758B7C42C05 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:48:01] 825*2^1399130-1 is not prime. Res64: 037B8104079695B9 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:48:21] 885*2^1399130-1 is not prime. Res64: FBD10B0E8BFD67F7 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:48:21] 977*2^1399130-1 is not prime. Res64: 07E1B0BFAA2C0BBF Time : 0.0 sec. user=mdettweiler [2015-05-20 23:53:44] 679*2^1399131-1 is not prime. Res64: AE0F3FA0A8A36287 Time : 0.0 sec. user=mdettweiler [2015-05-20 23:53:44] 739*2^1399131-1 is not prime. Res64: 31CF55889EA4EC45 Time : 0.0 sec.