user=mdettweiler [2015-02-24 00:05:09] 999*2^1391700-1 is not prime. Res64: C120AB6F359B3B6D Time : 0.0 sec. user=mdettweiler [2015-02-24 00:05:10] 625*2^1391701-1 is not prime. Res64: 2C9DCDB62C222CC3 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:23:16] 649*2^1391701-1 is not prime. Res64: F50F1D49A08B0404 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:23:17] 679*2^1391701-1 is not prime. Res64: C2B665E654DEB185 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:23:21] 681*2^1391701-1 is not prime. Res64: 3976477384154487 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:23:22] 771*2^1391701-1 is not prime. Res64: 3A0B41C7C1EA1F08 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:24:23] 855*2^1391701-1 is not prime. Res64: D5FCF96D8E85EFFA Time : 0.0 sec. user=mdettweiler [2015-02-24 00:24:24] 867*2^1391701-1 is not prime. Res64: 841D427E1AD60DDA Time : 0.0 sec. user=mdettweiler [2015-02-24 00:31:40] 945*2^1391701-1 is not prime. Res64: 6B12F3454E0F1BE4 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:31:40] 603*2^1391702-1 is not prime. Res64: 56264679A58EA07A Time : 0.0 sec. user=mdettweiler [2015-02-24 00:49:24] 771*2^1391702-1 is not prime. Res64: F3885087BF205167 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:49:24] 791*2^1391702-1 is not prime. Res64: ADF78D0A70FF0D10 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:49:30] 645*2^1391702-1 is not prime. Res64: D7675BB5866912F2 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:49:31] 671*2^1391702-1 is not prime. Res64: 41605F73E9240292 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:50:31] 797*2^1391702-1 is not prime. Res64: 289AE6AA5BF74023 Time : 0.0 sec. user=mdettweiler [2015-02-24 00:50:31] 679*2^1391703-1 is not prime. Res64: A01E41717C28CB7A Time : 0.0 sec. user=mdettweiler [2015-02-24 00:57:49] 723*2^1391703-1 is not prime. Res64: AA88723886ACE16F Time : 0.0 sec. user=mdettweiler [2015-02-24 00:57:50] 763*2^1391703-1 is not prime. Res64: 9732213279433871 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:15:29] 943*2^1391703-1 is not prime. Res64: E02C67BD53D27A4D Time : 0.0 sec. user=mdettweiler [2015-02-24 01:15:30] 951*2^1391703-1 is not prime. Res64: AE372722871CAB78 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:15:49] 829*2^1391703-1 is not prime. Res64: 6482DC938A9816A1 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:15:51] 861*2^1391703-1 is not prime. Res64: 92BB9DCA395E5A86 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:16:34] 677*2^1391704-1 is not prime. Res64: 6A0BA57D943A0358 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:16:35] 819*2^1391704-1 is not prime. Res64: 15BC0FB0709D5400 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:23:52] 849*2^1391704-1 is not prime. Res64: 0B3B3BAE03BD319D Time : 0.0 sec. user=mdettweiler [2015-02-24 01:23:53] 857*2^1391704-1 is not prime. Res64: 57248D71DB2B368E Time : 0.0 sec. user=mdettweiler [2015-02-24 01:41:40] 811*2^1391705-1 is not prime. Res64: 97697F402741C16F Time : 0.0 sec. user=mdettweiler [2015-02-24 01:41:41] 847*2^1391705-1 is not prime. Res64: D505DEF5A1715BD3 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:41:44] 899*2^1391704-1 is not prime. Res64: 3EF477FF39694522 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:41:44] 909*2^1391704-1 is not prime. Res64: F6AF6B3D7E95C591 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:42:44] 755*2^1391706-1 is not prime. Res64: C9333857DB465E2B Time : 0.0 sec. user=mdettweiler [2015-02-24 01:42:45] 825*2^1391706-1 is not prime. Res64: C50D32F10A14D873 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:49:52] 893*2^1391706-1 is not prime. Res64: B3B7CC620748BA85 Time : 0.0 sec. user=mdettweiler [2015-02-24 01:49:53] 1001*2^1391706-1 is not prime. Res64: 9202984BD6CA0A64 Time : 0.0 sec. user=mdettweiler [2015-02-24 02:07:35] 871*2^1391707-1 is not prime. Res64: 72C7120E52BAEBCB Time : 0.0 sec. user=mdettweiler [2015-02-24 02:07:35] 889*2^1391707-1 is not prime. Res64: 1043FE6FC3CC25B5 Time : 0.0 sec. user=mdettweiler [2015-02-24 02:07:51] 691*2^1391707-1 is not prime. Res64: 22EEED31B0E2604E Time : 0.0 sec. user=mdettweiler [2015-02-24 02:07:53] 715*2^1391707-1 is not prime. Res64: 2DC9631A3C3FB2AE Time : 0.0 sec. user=mdettweiler [2015-02-24 02:08:41] 895*2^1391707-1 is not prime. Res64: B761377D70D2B3FD Time : 0.0 sec. user=mdettweiler [2015-02-24 02:08:42] 919*2^1391707-1 is not prime. Res64: EC7D449824E02DCA Time : 0.0 sec. user=mdettweiler [2015-02-24 02:16:01] 753*2^1391708-1 is not prime. Res64: D6DCBF09E823FD04 Time : 0.0 sec. user=mdettweiler [2015-02-24 02:16:02] 855*2^1391708-1 is not prime. Res64: 1459752D9AB3761F Time : 0.0 sec. user=mdettweiler [2015-02-24 02:33:32] 885*2^1391708-1 is not prime. Res64: 7CB97D30A68BF09E Time : 0.0 sec. user=mdettweiler [2015-02-24 02:33:33] 977*2^1391708-1 is not prime. Res64: A6BEDE5CAFF3ED01 Time : 0.0 sec. user=mdettweiler [2015-02-24 02:34:02] 625*2^1391709-1 is not prime. Res64: 05A37A13A76F2A4B Time : 0.0 sec. user=mdettweiler [2015-02-24 02:34:03] 657*2^1391709-1 is not prime. Res64: 68DA56C048FFCFEB Time : 0.0 sec. user=mdettweiler [2015-02-24 02:34:34] 745*2^1391709-1 is not prime. Res64: 0B8AB48A059690AC Time : 0.0 sec. user=mdettweiler [2015-02-24 02:34:36] 861*2^1391709-1 is not prime. Res64: 1166ACB63D8BAE36 Time : 0.0 sec. user=mdettweiler [2015-02-24 02:41:44] 919*2^1391709-1 is not prime. Res64: 298B88BD3CFC6F1F Time : 0.0 sec. user=mdettweiler [2015-02-24 02:41:45] 651*2^1391710-1 is not prime. Res64: D0522D0D3807A964 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:00:09] 731*2^1391710-1 is not prime. Res64: C3B5EB9E7DA6845E Time : 0.0 sec. user=mdettweiler [2015-02-24 03:00:10] 741*2^1391710-1 is not prime. Res64: 4079C99530D8812A Time : 0.0 sec. user=mdettweiler [2015-02-24 03:00:14] 843*2^1391710-1 is not prime. Res64: F17495CE1C942AE5 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:00:17] 923*2^1391710-1 is not prime. Res64: AB3F0284C96C7CAB Time : 0.0 sec. user=mdettweiler [2015-02-24 03:00:44] 941*2^1391710-1 is not prime. Res64: AA85C01D0443B3D2 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:00:45] 663*2^1391711-1 is not prime. Res64: 226FD605F4EC7CDB Time : 0.0 sec. user=mdettweiler [2015-02-24 03:09:33] 703*2^1391711-1 is not prime. Res64: 82EB50B228A72A0A Time : 0.0 sec. user=mdettweiler [2015-02-24 03:09:33] 759*2^1391711-1 is not prime. Res64: DF6C5AD5E4A0E402 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:26:34] 993*2^1391711-1 is not prime. Res64: A548254FC7A70959 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:26:35] 999*2^1391711-1 is not prime. Res64: 6E60082036760072 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:26:46] 879*2^1391711-1 is not prime. Res64: FF494FE0EF65C4F4 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:26:48] 895*2^1391711-1 is not prime. Res64: 75A5EEBADD0598F1 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:27:19] 815*2^1391712-1 is not prime. Res64: C63FA0E5E1E038D1 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:27:20] 843*2^1391712-1 is not prime. Res64: 45CC907626BED70A Time : 0.0 sec. user=mdettweiler [2015-02-24 03:35:39] 863*2^1391712-1 is not prime. Res64: 8D197D3BCA2F6447 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:35:40] 875*2^1391712-1 is not prime. Res64: EFD8F9E1F4465C00 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:52:33] 975*2^1391712-1 is not prime. Res64: F8A10E462D614032 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:52:33] 639*2^1391713-1 is not prime. Res64: A60B9F97A78CADCA Time : 0.0 sec. user=mdettweiler [2015-02-24 03:52:44] 831*2^1391713-1 is not prime. Res64: 7A462D38CC7E7D18 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:52:45] 847*2^1391713-1 is not prime. Res64: 54C5D14948558531 Time : 0.0 sec. user=mdettweiler [2015-02-24 03:53:21] 937*2^1391713-1 is not prime. Res64: C4631BBC6C9B165F Time : 0.0 sec. user=mdettweiler [2015-02-24 03:53:22] 999*2^1391713-1 is not prime. Res64: 2128A39038531D0D Time : 0.0 sec. user=mdettweiler [2015-02-24 04:01:40] 675*2^1391714-1 is not prime. Res64: 037631A46068C840 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:01:41] 711*2^1391714-1 is not prime. Res64: CD6FC800559A9F31 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:18:26] 743*2^1391714-1 is not prime. Res64: 399FF2DF85292067 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:18:27] 875*2^1391714-1 is not prime. Res64: 086904FD8A60DEF7 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:18:31] 717*2^1391714-1 is not prime. Res64: C0F852010D021F5C Time : 0.0 sec. user=mdettweiler [2015-02-24 04:18:32] 741*2^1391714-1 is not prime. Res64: 9923B52A8EF0504F Time : 0.0 sec. user=mdettweiler [2015-02-24 04:19:26] 995*2^1391714-1 is not prime. Res64: 4DB7E43545AB6291 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:19:27] 751*2^1391715-1 is not prime. Res64: 02294B90538B4E71 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:27:44] 903*2^1391715-1 is not prime. Res64: 1DAE48A3A8CCFED0 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:27:45] 785*2^1391716-1 is not prime. Res64: 42794908933CEEB9 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:44:07] 887*2^1391716-1 is not prime. Res64: 3EB6EF7C4AD5157E Time : 0.0 sec. user=mdettweiler [2015-02-24 04:44:08] 905*2^1391716-1 is not prime. Res64: 8F28F3633B16756F Time : 0.0 sec. user=mdettweiler [2015-02-24 04:44:17] 833*2^1391716-1 is not prime. Res64: 18AB571377748CA1 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:44:18] 875*2^1391716-1 is not prime. Res64: 13E30D2F50E39B0C Time : 0.0 sec. user=mdettweiler [2015-02-24 04:45:12] 923*2^1391716-1 is not prime. Res64: 0419E716853C4756 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:45:13] 999*2^1391716-1 is not prime. Res64: 4B587BDBD45D8D48 Time : 0.0 sec. user=mdettweiler [2015-02-24 04:53:34] 759*2^1391717-1 is not prime. Res64: 2F4658FAF134EABD Time : 0.0 sec. user=mdettweiler [2015-02-24 04:53:35] 777*2^1391717-1 is not prime. Res64: 26C51A91E0418603 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:10:01] 991*2^1391717-1 is not prime. Res64: 98A7FCA5D74C3249 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:10:02] 737*2^1391718-1 is not prime. Res64: BDF98D7E800A5C2A Time : 0.0 sec. user=mdettweiler [2015-02-24 05:10:02] 915*2^1391717-1 is not prime. Res64: 6820CD98D5B6F592 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:10:03] 939*2^1391717-1 is not prime. Res64: BB68D26107F0A4B5 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:11:01] 861*2^1391718-1 is not prime. Res64: 8715E3CCB64EE5E2 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:11:02] 709*2^1391719-1 is not prime. Res64: BF3F3C8B6F2B0168 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:19:21] 723*2^1391719-1 is not prime. Res64: 5956EB0A7EACFE5A Time : 0.0 sec. user=mdettweiler [2015-02-24 05:19:22] 843*2^1391719-1 is not prime. Res64: B49888AF97832518 Time : 0.0 sec. user=juhehe [2015-02-24 05:27:07] 885*2^1391719-1 is not prime. Res64: 398941A3E212D752 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:35:54] 675*2^1391720-1 is not prime. Res64: 6E3E1309F541A5CC Time : 0.0 sec. user=mdettweiler [2015-02-24 05:35:55] 677*2^1391720-1 is not prime. Res64: E585C55C900CF71E Time : 0.0 sec. user=mdettweiler [2015-02-24 05:36:00] 961*2^1391719-1 is not prime. Res64: D56E7D642E2C4BEE Time : 0.0 sec. user=mdettweiler [2015-02-24 05:36:01] 979*2^1391719-1 is not prime. Res64: 5CD05BDDCFFB5715 Time : 0.0 sec. user=mdettweiler [2015-02-24 05:36:52] 717*2^1391720-1 is not prime. Res64: FE132D571B4FA2CD Time : 0.0 sec. user=mdettweiler [2015-02-24 05:36:53] 681*2^1391721-1 is not prime. Res64: A558DA0C30ECB9AA Time : 0.0 sec. user=mdettweiler [2015-02-24 05:45:14] 717*2^1391721-1 is not prime. Res64: 0C0136876595974E Time : 0.0 sec. user=mdettweiler [2015-02-24 05:45:14] 741*2^1391721-1 is not prime. Res64: 46D7FE2A29C561E3 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:01:43] 949*2^1391721-1 is not prime. Res64: 8A9B7775DF08492D Time : 0.0 sec. user=mdettweiler [2015-02-24 06:01:44] 979*2^1391721-1 is not prime. Res64: C5414B8C1D827A74 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:01:47] 889*2^1391721-1 is not prime. Res64: 8C0251DF6B4F0738 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:01:49] 895*2^1391721-1 is not prime. Res64: 2F85E7A937132A76 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:02:41] 621*2^1391722-1 is not prime. Res64: F1633BEA231DBB85 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:02:43] 671*2^1391722-1 is not prime. Res64: 7D233E95532957FF Time : 0.0 sec. user=mdettweiler [2015-02-24 06:11:01] 737*2^1391722-1 is not prime. Res64: 27D863BB4ECBA4D1 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:11:02] 831*2^1391722-1 is not prime. Res64: 593C0784FA25A7AB Time : 0.0 sec. user=mdettweiler [2015-02-24 06:28:00] 663*2^1391723-1 is not prime. Res64: 7FFC65AB660D760D Time : 0.0 sec. user=mdettweiler [2015-02-24 06:28:01] 675*2^1391723-1 is not prime. Res64: CB351B390E20155A Time : 0.0 sec. user=mdettweiler [2015-02-24 06:28:02] 609*2^1391723-1 is not prime. Res64: F7B0E68C702FA958 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:28:03] 633*2^1391723-1 is not prime. Res64: 6FD3CBBB4D477110 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:28:43] 789*2^1391723-1 is not prime. Res64: BD19263A1AA603C3 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:28:45] 813*2^1391723-1 is not prime. Res64: 7C1E6B82143BA13C Time : 0.0 sec. user=mdettweiler [2015-02-24 06:36:59] 855*2^1391723-1 is not prime. Res64: C4B3E95853A5FFFC Time : 0.0 sec. user=mdettweiler [2015-02-24 06:37:00] 859*2^1391723-1 is not prime. Res64: 7F8B28D391CB0695 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:53:47] 889*2^1391723-1 is not prime. Res64: 5DE5C2771BA2D686 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:53:48] 915*2^1391723-1 is not prime. Res64: 6922B0EA68D6D405 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:53:50] 627*2^1391724-1 is not prime. Res64: BDC7CDADC82F4CBE Time : 0.0 sec. user=mdettweiler [2015-02-24 06:53:51] 665*2^1391724-1 is not prime. Res64: 4F9545F8C0EAACD1 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:54:34] 683*2^1391724-1 is not prime. Res64: DB8B9E6689B85919 Time : 0.0 sec. user=mdettweiler [2015-02-24 06:54:35] 909*2^1391724-1 is not prime. Res64: CF9A7061D893C6D3 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:02:47] 959*2^1391724-1 is not prime. Res64: 3C74747DF0D350C1 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:02:48] 651*2^1391725-1 is not prime. Res64: 122881FC2250AE6F Time : 0.0 sec. user=mdettweiler [2015-02-24 07:19:41] 795*2^1391726-1 is not prime. Res64: 29ECB646DFC8AE23 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:19:41] 615*2^1391726-1 is not prime. Res64: 0A7B7306A76AC004 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:19:43] 851*2^1391726-1 is not prime. Res64: 18D56A08CABF4DF5 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:19:43] 635*2^1391726-1 is not prime. Res64: A827AED90DC5DF28 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:20:36] 897*2^1391726-1 is not prime. Res64: 5F683B29092371BE Time : 0.0 sec. user=mdettweiler [2015-02-24 07:20:37] 677*2^1391728-1 is not prime. Res64: 592B4A22F8648E4A Time : 0.0 sec. user=mdettweiler [2015-02-24 07:28:51] 707*2^1391728-1 is not prime. Res64: 361A1E4BF518E73F Time : 0.0 sec. user=mdettweiler [2015-02-24 07:28:53] 765*2^1391728-1 is not prime. Res64: 3F4C71CD8DAB36A5 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:45:34] 839*2^1391728-1 is not prime. Res64: 6D61D11AFB053D48 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:45:35] 855*2^1391728-1 is not prime. Res64: 8AECFAD7CFC09122 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:45:36] 777*2^1391728-1 is not prime. Res64: FC76BDE6C67EBA0C Time : 0.0 sec. user=mdettweiler [2015-02-24 07:45:37] 797*2^1391728-1 is not prime. Res64: C25A4DF1F5FDE2ED Time : 0.0 sec. user=mdettweiler [2015-02-24 07:46:41] 989*2^1391728-1 is not prime. Res64: 7FCAFAAB9E1D8D60 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:46:42] 601*2^1391729-1 is not prime. Res64: 94FE06AD4A07F4C4 Time : 0.0 sec. user=mdettweiler [2015-02-24 07:54:50] 619*2^1391729-1 is not prime. Res64: B6E1D9A5ED389C3D Time : 0.0 sec. user=mdettweiler [2015-02-24 07:54:50] 795*2^1391729-1 is not prime. Res64: AE60703D797BD178 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:11:29] 885*2^1391729-1 is not prime. Res64: B1C4547ECF144DAB Time : 0.0 sec. user=mdettweiler [2015-02-24 08:11:30] 985*2^1391729-1 is not prime. Res64: 1BC4B61DA97584D6 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:11:35] 671*2^1391730-1 is not prime. Res64: FC6F5CCF9955EA01 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:11:36] 765*2^1391730-1 is not prime. Res64: D2A9E4F005C051AE Time : 0.0 sec. user=mdettweiler [2015-02-24 08:12:35] 783*2^1391730-1 is not prime. Res64: F0006153A2FF826C Time : 0.0 sec. user=mdettweiler [2015-02-24 08:12:36] 791*2^1391730-1 is not prime. Res64: E0C98D48ECC5E919 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:20:44] 887*2^1391730-1 is not prime. Res64: FD16A4110954C7D7 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:20:45] 905*2^1391730-1 is not prime. Res64: E17AB0EF8B2F38B7 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:37:28] 733*2^1391731-1 is not prime. Res64: AF7F4E30CC332E3E Time : 0.0 sec. user=mdettweiler [2015-02-24 08:37:29] 871*2^1391731-1 is not prime. Res64: B6A375C5AF6DDC4F Time : 0.0 sec. user=mdettweiler [2015-02-24 08:37:37] 873*2^1391731-1 is not prime. Res64: BD6F58C4CC36E017 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:37:38] 975*2^1391731-1 is not prime. Res64: E78FDC8732355CAE Time : 0.0 sec. user=mdettweiler [2015-02-24 08:38:29] 993*2^1391731-1 is not prime. Res64: 25B72E92EDCFBD62 Time : 0.0 sec. user=mdettweiler [2015-02-24 08:38:30] 687*2^1391732-1 is not prime. Res64: BCB4CEB7B1B0C15E Time : 0.0 sec. user=mdettweiler [2015-02-24 08:46:35] 837*2^1391732-1 is not prime. Res64: 321EEB10CF07A4CC Time : 0.0 sec. user=mdettweiler [2015-02-24 08:46:35] 843*2^1391732-1 is not prime. Res64: 878B91A5EB31DD97 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:03:24] 879*2^1391732-1 is not prime. Res64: 55A51F08822CB4C0 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:03:25] 945*2^1391732-1 is not prime. Res64: C3415BB50303441F Time : 0.0 sec. user=mdettweiler [2015-02-24 09:03:26] 903*2^1391732-1 is not prime. Res64: 983E7FD3502FA6A4 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:03:26] 995*2^1391732-1 is not prime. Res64: 5E05D838E3B4CF05 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:04:17] 609*2^1391733-1 is not prime. Res64: F54248D17587FEBB Time : 0.0 sec. user=mdettweiler [2015-02-24 09:04:19] 651*2^1391733-1 is not prime. Res64: 35DBB3944363BE0C Time : 0.0 sec. user=mdettweiler [2015-02-24 09:12:41] 657*2^1391733-1 is not prime. Res64: EA3C6281D8AE7D25 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:12:42] 745*2^1391733-1 is not prime. Res64: F83877643E4C4A78 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:29:59] 769*2^1391733-1 is not prime. Res64: 1A7F78CA631F72D5 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:30:00] 837*2^1391733-1 is not prime. Res64: 19EB39ACB886C0FB Time : 0.0 sec. user=mdettweiler [2015-02-24 09:30:05] 937*2^1391733-1 is not prime. Res64: DB383E86752F406E Time : 0.0 sec. user=mdettweiler [2015-02-24 09:30:07] 651*2^1391734-1 is not prime. Res64: D898E68D3D5309AD Time : 0.0 sec. user=mdettweiler [2015-02-24 09:30:26] 687*2^1391734-1 is not prime. Res64: BDBCE615C17504B6 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:30:27] 695*2^1391734-1 is not prime. Res64: 939CA968B56DC684 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:38:52] 861*2^1391734-1 is not prime. Res64: 4E9041FAA028E6F3 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:38:53] 975*2^1391734-1 is not prime. Res64: C3AB93F42C2CD7C2 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:55:59] 651*2^1391735-1 is not prime. Res64: 851628A3FE82C6AA Time : 0.0 sec. user=mdettweiler [2015-02-24 09:55:59] 661*2^1391735-1 is not prime. Res64: ABB34B5C272ABAB8 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:56:09] 669*2^1391735-1 is not prime. Res64: 64BA5152DB5EFCCE Time : 0.0 sec. user=mdettweiler [2015-02-24 09:56:10] 685*2^1391735-1 is not prime. Res64: 20CB22A0B69C3208 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:56:33] 721*2^1391735-1 is not prime. Res64: A8DD70FC5FBC0B49 Time : 0.0 sec. user=mdettweiler [2015-02-24 09:56:33] 759*2^1391735-1 is not prime. Res64: E3AD2B6B7E28F8CD Time : 0.0 sec. user=mdettweiler [2015-02-24 10:04:58] 635*2^1391736-1 is not prime. Res64: C1C67C97AFDD78BE Time : 0.0 sec. user=mdettweiler [2015-02-24 10:04:59] 669*2^1391736-1 is not prime. Res64: EC67D671C6780783 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:21:55] 803*2^1391736-1 is not prime. Res64: 82E20DF879BFEF67 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:21:56] 903*2^1391736-1 is not prime. Res64: 333F0EB2E8B39618 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:22:07] 675*2^1391736-1 is not prime. Res64: 31FE0AEA7E5365FE Time : 0.0 sec. user=mdettweiler [2015-02-24 10:22:08] 719*2^1391736-1 is not prime. Res64: AD91DF70DA116E01 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:22:40] 625*2^1391737-1 is not prime. Res64: 597EE0B20C511860 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:22:40] 691*2^1391737-1 is not prime. Res64: F832EDA00C84366C Time : 0.0 sec. user=mdettweiler [2015-02-24 10:30:59] 771*2^1391737-1 is not prime. Res64: 0B649F6F79D49C2C Time : 0.0 sec. user=mdettweiler [2015-02-24 10:30:59] 841*2^1391737-1 is not prime. Res64: 38CE8F916155E633 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:47:49] 895*2^1391737-1 is not prime. Res64: 09D9C5C9D4D3ABC8 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:47:50] 957*2^1391737-1 is not prime. Res64: 54FFC236AD1DEF19 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:48:22] 603*2^1391738-1 is not prime. Res64: ED82F9CB5931AA4B Time : 0.0 sec. user=mdettweiler [2015-02-24 10:48:22] 707*2^1391738-1 is not prime. Res64: AA4C0889653564E2 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:48:38] 801*2^1391738-1 is not prime. Res64: 3FD18C26BA14CBE3 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:48:39] 861*2^1391738-1 is not prime. Res64: 4DCD2B046387BDF9 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:56:59] 957*2^1391738-1 is not prime. Res64: 58CD6256575BCEE3 Time : 0.0 sec. user=mdettweiler [2015-02-24 10:56:59] 703*2^1391739-1 is not prime. Res64: 8F422993272F91C2 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:13:51] 795*2^1391739-1 is not prime. Res64: 257FA452120B23E8 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:13:52] 635*2^1391740-1 is not prime. Res64: C70C245026E60148 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:14:30] 743*2^1391740-1 is not prime. Res64: B25FCB8DD3C0B753 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:14:30] 857*2^1391740-1 is not prime. Res64: B6108D19ECE1B084 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:14:50] 863*2^1391740-1 is not prime. Res64: 4E7EF267B576336B Time : 0.0 sec. user=mdettweiler [2015-02-24 11:14:51] 915*2^1391740-1 is not prime. Res64: ADAB9A530D3EEBF3 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:22:58] 957*2^1391740-1 is not prime. Res64: FC4E49E1A7A9E4AD Time : 0.0 sec. user=mdettweiler [2015-02-24 11:22:59] 959*2^1391740-1 is not prime. Res64: 0EBCCC76BB5CC7EB Time : 0.0 sec. user=mdettweiler [2015-02-24 11:40:10] 777*2^1391741-1 is not prime. Res64: F355F0DA23EDA6BC Time : 0.0 sec. user=mdettweiler [2015-02-24 11:40:11] 931*2^1391741-1 is not prime. Res64: 2A475FC26298B67A Time : 0.0 sec. user=mdettweiler [2015-02-24 11:40:38] 939*2^1391741-1 is not prime. Res64: AB5D375233C1A3C3 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:40:38] 651*2^1391742-1 is not prime. Res64: 8C916114D29ED7C9 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:40:50] 695*2^1391742-1 is not prime. Res64: C994D887A4917049 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:40:50] 885*2^1391742-1 is not prime. Res64: 4511B10184CBF791 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:49:08] 917*2^1391742-1 is not prime. Res64: 18459A7BE0203DE7 Time : 0.0 sec. user=mdettweiler [2015-02-24 11:49:08] 975*2^1391742-1 is not prime. Res64: 9709C3530D2D21A8 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:06:12] 977*2^1391742-1 is not prime. Res64: 7A32E85C3A61ADB0 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:06:14] 619*2^1391743-1 is not prime. Res64: 9CF9372CBFA9FD41 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:06:43] 625*2^1391743-1 is not prime. Res64: F3F6A050964E562D Time : 0.0 sec. user=mdettweiler [2015-02-24 12:06:44] 663*2^1391743-1 is not prime. Res64: A87C61A5E51EB327 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:06:48] 745*2^1391743-1 is not prime. Res64: E6CFD13525BAE2E3 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:06:49] 783*2^1391743-1 is not prime. Res64: 8A0DBE6F9D897175 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:15:05] 805*2^1391743-1 is not prime. Res64: 37E48B38E8FE7F7A Time : 0.0 sec. user=mdettweiler [2015-02-24 12:15:05] 819*2^1391743-1 is not prime. Res64: CFD60A494A089163 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:32:45] 873*2^1391743-1 is not prime. Res64: 39485FFC1A1D8BCF Time : 0.0 sec. user=mdettweiler [2015-02-24 12:32:45] 605*2^1391744-1 is not prime. Res64: B5196932E7D449D3 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:32:52] 831*2^1391743-1 is not prime. Res64: 562B4A80B4179886 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:32:52] 855*2^1391743-1 is not prime. Res64: D79530636960AFA2 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:33:06] 677*2^1391744-1 is not prime. Res64: 349C7D5D7B293C46 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:33:06] 683*2^1391744-1 is not prime. Res64: AFC146DD14FCDE15 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:41:17] 699*2^1391744-1 is not prime. Res64: 95A3433652CC9C05 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:41:17] 755*2^1391744-1 is not prime. Res64: F197E4321642444E Time : 0.0 sec. user=mdettweiler [2015-02-24 12:58:55] 795*2^1391744-1 is not prime. Res64: BB2817EA50FAE9A4 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:58:56] 827*2^1391744-1 is not prime. Res64: 0EBF531031CE6166 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:58:56] 855*2^1391744-1 is not prime. Res64: B0C69F7A4BECFDF0 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:58:57] 869*2^1391744-1 is not prime. Res64: 01FF5BB8B5E14C3F Time : 0.0 sec. user=mdettweiler [2015-02-24 12:59:14] 915*2^1391744-1 is not prime. Res64: 7784CAC433BF9969 Time : 0.0 sec. user=mdettweiler [2015-02-24 12:59:15] 923*2^1391744-1 is not prime. Res64: 4D43CD4A5BF51EF9 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:07:24] 649*2^1391745-1 is not prime. Res64: 463E8208430C9101 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:07:24] 685*2^1391745-1 is not prime. Res64: 60E5365EDF6B1DCE Time : 0.0 sec. user=mdettweiler [2015-02-24 13:25:04] 795*2^1391745-1 is not prime. Res64: 1FE6317DC716CF30 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:25:04] 975*2^1391745-1 is not prime. Res64: 71FAE6E4B0F57380 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:25:11] 997*2^1391745-1 is not prime. Res64: 6A1BDE29A6871FA4 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:25:11] 999*2^1391745-1 is not prime. Res64: 5FFE778B6F99C8AD Time : 0.0 sec. user=mdettweiler [2015-02-24 13:25:20] 647*2^1391746-1 is not prime. Res64: 976454D8F998C913 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:25:20] 675*2^1391746-1 is not prime. Res64: A0AD343A34F5A410 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:33:36] 677*2^1391746-1 is not prime. Res64: 26711DF1B2B123EF Time : 0.0 sec. user=mdettweiler [2015-02-24 13:33:37] 801*2^1391746-1 is not prime. Res64: EDD10E6C3F5B6BDD Time : 0.0 sec. user=mdettweiler [2015-02-24 13:51:18] 981*2^1391747-1 is not prime. Res64: 1A273B090C192CDE Time : 0.0 sec. user=mdettweiler [2015-02-24 13:51:18] 633*2^1391748-1 is not prime. Res64: 775158710BD4D1F5 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:51:20] 669*2^1391747-1 is not prime. Res64: 6184EE7B33FF2093 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:51:20] 799*2^1391747-1 is not prime. Res64: 3836A5F42955E58F Time : 0.0 sec. user=mdettweiler [2015-02-24 13:51:26] 753*2^1391748-1 is not prime. Res64: 50DB95BB900411D5 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:51:26] 789*2^1391748-1 is not prime. Res64: 2DB74FCE2A6FAB31 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:59:58] 977*2^1391748-1 is not prime. Res64: 24E0D018398D17C5 Time : 0.0 sec. user=mdettweiler [2015-02-24 13:59:58] 675*2^1391749-1 is not prime. Res64: E0457DC65F481761 Time : 0.0 sec. user=juhehe [2015-02-24 14:09:01] 745*2^1391749-1 is not prime. Res64: 9A86A6A62BDCC0AB Time : 0.0 sec. user=mdettweiler [2015-02-24 14:17:26] 799*2^1391749-1 is not prime. Res64: 6E61C7319CCC4C12 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:17:26] 967*2^1391749-1 is not prime. Res64: 6E501B3BC97328E6 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:17:32] 999*2^1391749-1 is not prime. Res64: 9E59A657D8532943 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:17:32] 657*2^1391750-1 is not prime. Res64: 8C1DFEB35D995D4A Time : 0.0 sec. user=mdettweiler [2015-02-24 14:17:45] 707*2^1391750-1 is not prime. Res64: 9365ED6992ED20D3 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:17:46] 741*2^1391750-1 is not prime. Res64: DECE8194DC8F8282 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:26:14] 753*2^1391750-1 is not prime. Res64: 3EF34BBC8C215797 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:26:15] 797*2^1391750-1 is not prime. Res64: D5AF5AD1A791EA5B Time : 0.0 sec. user=mdettweiler [2015-02-24 14:43:45] 831*2^1391750-1 is not prime. Res64: BBC25EC15D567081 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:43:46] 917*2^1391750-1 is not prime. Res64: 5BD327BB22A6804F Time : 0.0 sec. user=mdettweiler [2015-02-24 14:43:47] 703*2^1391751-1 is not prime. Res64: E40079C851FEE052 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:43:48] 829*2^1391751-1 is not prime. Res64: 406587B534E6DDCB Time : 0.0 sec. user=mdettweiler [2015-02-24 14:44:05] 885*2^1391751-1 is not prime. Res64: AC449DA00F58045E Time : 0.0 sec. user=mdettweiler [2015-02-24 14:44:06] 943*2^1391751-1 is not prime. Res64: 35A9FF368C876F09 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:52:28] 603*2^1391752-1 is not prime. Res64: 84384885AF50B413 Time : 0.0 sec. user=mdettweiler [2015-02-24 14:52:28] 635*2^1391752-1 is not prime. Res64: 1225FAD4ABF7013C Time : 0.0 sec. user=mdettweiler [2015-02-24 15:10:02] 863*2^1391752-1 is not prime. Res64: 8F5ABB29A9B10A50 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:10:02] 615*2^1391753-1 is not prime. Res64: 126D20CC3DE5CB4A Time : 0.0 sec. user=mdettweiler [2015-02-24 15:10:02] 717*2^1391752-1 is not prime. Res64: AE4E787E12625DC4 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:10:03] 743*2^1391752-1 is not prime. Res64: 00ABC53115CB61EE Time : 0.0 sec. user=mdettweiler [2015-02-24 15:10:23] 631*2^1391753-1 is not prime. Res64: BC40DF1004674931 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:10:23] 649*2^1391753-1 is not prime. Res64: 73A50406D279A93D Time : 0.0 sec. user=mdettweiler [2015-02-24 15:18:46] 721*2^1391753-1 is not prime. Res64: 9EB7B38BABA8BA61 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:18:46] 775*2^1391753-1 is not prime. Res64: 606B3B8C00A84593 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:36:05] 949*2^1391753-1 is not prime. Res64: 9D9641D7DE4A4DB5 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:36:05] 981*2^1391753-1 is not prime. Res64: F4E334157CB7090E Time : 0.0 sec. user=mdettweiler [2015-02-24 15:36:12] 755*2^1391754-1 is not prime. Res64: 5CD9EC82BFB15B7E Time : 0.0 sec. user=mdettweiler [2015-02-24 15:36:12] 797*2^1391754-1 is not prime. Res64: C2B29F5DB91E8EE6 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:36:28] 825*2^1391754-1 is not prime. Res64: A2F9EFC600B5B5CD Time : 0.0 sec. user=mdettweiler [2015-02-24 15:36:29] 619*2^1391755-1 is not prime. Res64: 449568DF0332DD14 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:44:51] 631*2^1391755-1 is not prime. Res64: ACE2B714C246DC21 Time : 0.0 sec. user=mdettweiler [2015-02-24 15:44:51] 679*2^1391755-1 is not prime. Res64: A88071DF50A57D9C Time : 0.0 sec. user=mdettweiler [2015-02-24 16:02:17] 771*2^1391755-1 is not prime. Res64: E136FE1C83F63392 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:02:18] 775*2^1391755-1 is not prime. Res64: EB46AFF0239CCBDF Time : 0.0 sec. user=mdettweiler [2015-02-24 16:02:32] 789*2^1391755-1 is not prime. Res64: D319A6D5C62E550B Time : 0.0 sec. user=mdettweiler [2015-02-24 16:02:33] 861*2^1391755-1 is not prime. Res64: C11F93CEECF99FFA Time : 0.0 sec. user=mdettweiler [2015-02-24 16:02:39] 895*2^1391755-1 is not prime. Res64: 257AEF92828B32D9 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:02:40] 659*2^1391756-1 is not prime. Res64: 5E61EBF46D1ADF67 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:11:01] 759*2^1391756-1 is not prime. Res64: 6FDC4E18D15E3FFE Time : 0.0 sec. user=mdettweiler [2015-02-24 16:11:02] 773*2^1391756-1 is not prime. Res64: 9FC5830F7A2F95D1 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:28:49] 945*2^1391756-1 is not prime. Res64: 8CC57AA07AA45489 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:28:49] 675*2^1391757-1 is not prime. Res64: 38B66766A84DCD34 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:28:54] 857*2^1391756-1 is not prime. Res64: 0A5558960551E168 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:28:54] 741*2^1391757-1 is not prime. Res64: 20603E548401F231 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:28:55] 897*2^1391756-1 is not prime. Res64: C35D10567B9CD2F6 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:28:55] 781*2^1391757-1 is not prime. Res64: E26E7F074FA6C09F Time : 0.0 sec. user=mdettweiler [2015-02-24 16:37:15] 835*2^1391757-1 is not prime. Res64: 62D9D41FBD4BD30C Time : 0.0 sec. user=mdettweiler [2015-02-24 16:37:16] 991*2^1391757-1 is not prime. Res64: 1A6D74E3B4B3467A Time : 0.0 sec. user=mdettweiler [2015-02-24 16:55:04] 605*2^1391758-1 is not prime. Res64: 60D442CCF9FCD8A6 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:55:04] 657*2^1391758-1 is not prime. Res64: 84A32B314713E387 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:55:04] 621*2^1391758-1 is not prime. Res64: AC0A8FF97DAAE193 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:55:04] 755*2^1391758-1 is not prime. Res64: 0AF9CD49AC287161 Time : 0.0 sec. user=mdettweiler [2015-02-24 16:55:09] 801*2^1391758-1 is not prime. Res64: 943F1CA0D26DFCCB Time : 0.0 sec. user=mdettweiler [2015-02-24 16:55:10] 833*2^1391758-1 is not prime. Res64: 92E25C27772C5367 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:03:32] 951*2^1391758-1 is not prime. Res64: E9D5B41CB9E4CE51 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:03:33] 971*2^1391758-1 is not prime. Res64: 7A8A47404586CF2F Time : 0.0 sec. user=mdettweiler [2015-02-24 17:21:15] 729*2^1391759-1 is not prime. Res64: CE473155E3751907 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:21:16] 789*2^1391759-1 is not prime. Res64: 5FB24DA0161D07BD Time : 0.0 sec. user=mdettweiler [2015-02-24 17:21:22] 841*2^1391759-1 is not prime. Res64: 01F53B46830BB30F Time : 0.0 sec. user=mdettweiler [2015-02-24 17:21:23] 859*2^1391759-1 is not prime. Res64: 3A1C35A612ED75E3 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:21:25] 1001*2^1391758-1 is not prime. Res64: F004A471BA1F447B Time : 0.0 sec. user=mdettweiler [2015-02-24 17:21:25] 661*2^1391759-1 is not prime. Res64: 1BAA3E3488F6F818 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:30:01] 991*2^1391759-1 is not prime. Res64: E92D15C34A72BB80 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:30:02] 999*2^1391759-1 is not prime. Res64: 20DDEC690C41B05F Time : 0.0 sec. user=mdettweiler [2015-02-24 17:47:39] 849*2^1391760-1 is not prime. Res64: 1C670E47E83A1847 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:47:40] 863*2^1391760-1 is not prime. Res64: 62925AC0F29C1786 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:47:41] 627*2^1391760-1 is not prime. Res64: C4110C0C187B4A36 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:47:41] 759*2^1391760-1 is not prime. Res64: 9D104C4C9C69CD11 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:47:47] 879*2^1391760-1 is not prime. Res64: 3AD1B2436331DCC3 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:47:48] 929*2^1391760-1 is not prime. Res64: 6E0F53F218BEFDBB Time : 0.0 sec. user=mdettweiler [2015-02-24 17:56:24] 999*2^1391760-1 is not prime. Res64: 6CC0BB683E54A405 Time : 0.0 sec. user=mdettweiler [2015-02-24 17:56:25] 607*2^1391761-1 is not prime. Res64: 9806CB7C9D4FEF97 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:13:56] 649*2^1391761-1 is not prime. Res64: 181E02DF88B35038 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:13:56] 745*2^1391761-1 is not prime. Res64: 7F281405937BA176 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:13:58] 633*2^1391762-1 is not prime. Res64: D08B56AA37733685 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:13:59] 645*2^1391762-1 is not prime. Res64: 954AA7D6401EE0DA Time : 0.0 sec. user=mdettweiler [2015-02-24 18:14:06] 767*2^1391762-1 is not prime. Res64: 4F815A488B33C094 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:14:06] 771*2^1391762-1 is not prime. Res64: E2B65A6C4A972327 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:22:57] 833*2^1391762-1 is not prime. Res64: CC42B36AFF8F3F29 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:22:58] 977*2^1391762-1 is not prime. Res64: 36AC32A79707603E Time : 0.0 sec. user=mdettweiler [2015-02-24 18:40:09] 621*2^1391763-1 is not prime. Res64: 351FBCB0BF5C891A Time : 0.0 sec. user=mdettweiler [2015-02-24 18:40:09] 675*2^1391763-1 is not prime. Res64: FA46B3C19281E4A9 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:40:14] 871*2^1391763-1 is not prime. Res64: 3A47920F85316118 Time : 0.0 sec. user=mdettweiler [2015-02-24 18:40:15] 961*2^1391763-1 is not prime. Res64: F35867EC5DD7F4FD Time : 0.0 sec. user=mdettweiler [2015-02-24 18:40:20] 765*2^1391763-1 is not prime. Res64: 602843E1279F8BBA Time : 0.0 sec. user=mdettweiler [2015-02-24 18:40:20] 781*2^1391763-1 is not prime. Res64: 544DE48A4BEBD61C Time : 0.0 sec. user=mdettweiler [2015-02-24 18:49:16] 985*2^1391763-1 is not prime. Res64: 594D177DB45A636D Time : 0.0 sec. user=mdettweiler [2015-02-24 18:49:16] 677*2^1391764-1 is not prime. Res64: AEA9A7653F642B0C Time : 0.0 sec. user=mdettweiler [2015-02-24 19:06:37] 687*2^1391764-1 is not prime. Res64: D950DA97749C9D45 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:06:37] 743*2^1391764-1 is not prime. Res64: 511CE2F1C4156DA3 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:06:40] 619*2^1391765-1 is not prime. Res64: 54E1753DBF568DFF Time : 0.0 sec. user=mdettweiler [2015-02-24 19:06:40] 691*2^1391765-1 is not prime. Res64: 93A63BC22360C8EC Time : 0.0 sec. user=mdettweiler [2015-02-24 19:06:42] 843*2^1391764-1 is not prime. Res64: 62771BF7E805DF1A Time : 0.0 sec. user=mdettweiler [2015-02-24 19:06:42] 887*2^1391764-1 is not prime. Res64: 7AFBCBCDC4025631 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:15:39] 711*2^1391765-1 is not prime. Res64: E7E990E5381BBF2F Time : 0.0 sec. user=mdettweiler [2015-02-24 19:15:39] 925*2^1391765-1 is not prime. Res64: C5689CF64DBFA9AE Time : 0.0 sec. user=mdettweiler [2015-02-24 19:33:08] 951*2^1391765-1 is not prime. Res64: CC751A44A9A2699F Time : 0.0 sec. user=mdettweiler [2015-02-24 19:33:08] 981*2^1391765-1 is not prime. Res64: 39AB9F925A8B83C8 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:33:13] 639*2^1391767-1 is not prime. Res64: 309611186E8A3198 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:33:13] 703*2^1391767-1 is not prime. Res64: FEE461BE9832CE80 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:33:18] 851*2^1391766-1 is not prime. Res64: 253D63FE3CE4C2A0 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:33:19] 633*2^1391767-1 is not prime. Res64: B31E9BB330BF7B1A Time : 0.0 sec. user=mdettweiler [2015-02-24 19:42:11] 705*2^1391767-1 is not prime. Res64: 29C25C06D2CBEB4E Time : 0.0 sec. user=mdettweiler [2015-02-24 19:42:11] 759*2^1391767-1 is not prime. Res64: C4935D1E2853D6CF Time : 0.0 sec. user=mdettweiler [2015-02-24 19:59:31] 885*2^1391767-1 is not prime. Res64: A51BEAFA8770D53B Time : 0.0 sec. user=mdettweiler [2015-02-24 19:59:31] 909*2^1391767-1 is not prime. Res64: ACBE38D056560639 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:59:43] 975*2^1391767-1 is not prime. Res64: D8E7B78F73AEA003 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:59:43] 993*2^1391767-1 is not prime. Res64: 0F52D58F1CA8A8B3 Time : 0.0 sec. user=mdettweiler [2015-02-24 19:59:47] 617*2^1391768-1 is not prime. Res64: 524C0AE6D156D08C Time : 0.0 sec. user=mdettweiler [2015-02-24 19:59:47] 645*2^1391768-1 is not prime. Res64: 6E89489F94392A43 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:08:58] 819*2^1391768-1 is not prime. Res64: 57220B32F8173CDB Time : 0.0 sec. user=mdettweiler [2015-02-24 20:08:59] 843*2^1391768-1 is not prime. Res64: 918A0217E7905427 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:26:10] 765*2^1391769-1 is not prime. Res64: FEFF668E06736356 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:26:11] 837*2^1391769-1 is not prime. Res64: 5283B0EA19FC5114 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:26:20] 979*2^1391769-1 is not prime. Res64: DEA5CA77A3876EC9 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:26:20] 801*2^1391770-1 is not prime. Res64: 32CF085FB9CF53D3 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:26:32] 827*2^1391770-1 is not prime. Res64: C429A51E11906DB9 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:26:33] 831*2^1391770-1 is not prime. Res64: 9AE9CCBFC6AEB3CF Time : 0.0 sec. user=mdettweiler [2015-02-24 20:35:31] 843*2^1391770-1 is not prime. Res64: B5DC503DE4E608C4 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:35:32] 887*2^1391770-1 is not prime. Res64: A3D66D74E0D37573 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:52:44] 733*2^1391771-1 is not prime. Res64: 5C8384991E9F0235 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:52:44] 735*2^1391771-1 is not prime. Res64: F4AD1CD84679393C Time : 0.0 sec. user=mdettweiler [2015-02-24 20:52:48] 987*2^1391770-1 is not prime. Res64: D8FB03BAF113EA30 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:52:48] 685*2^1391771-1 is not prime. Res64: FDAD009896047318 Time : 0.0 sec. user=mdettweiler [2015-02-24 20:53:05] 741*2^1391771-1 is not prime. Res64: B41F7D8FA2D2909D Time : 0.0 sec. user=mdettweiler [2015-02-24 20:53:06] 993*2^1391771-1 is not prime. Res64: 24D94943FC4FAAF5 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:02:02] 623*2^1391772-1 is not prime. Res64: D311E226C6D5CADE Time : 0.0 sec. user=mdettweiler [2015-02-24 21:02:03] 665*2^1391772-1 is not prime. Res64: 94F47F597EA320F2 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:19:13] 695*2^1391772-1 is not prime. Res64: 4DC91A7C1839F35D Time : 0.0 sec. user=mdettweiler [2015-02-24 21:19:14] 717*2^1391772-1 is not prime. Res64: 1352A062DDC323B4 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:19:23] 725*2^1391772-1 is not prime. Res64: ED7B4AE384B529FE Time : 0.0 sec. user=mdettweiler [2015-02-24 21:19:23] 779*2^1391772-1 is not prime. Res64: 4FEA84E614B8F83B Time : 0.0 sec. user=mdettweiler [2015-02-24 21:19:42] 857*2^1391772-1 is not prime. Res64: E3869C141C9AC55E Time : 0.0 sec. user=mdettweiler [2015-02-24 21:19:43] 875*2^1391772-1 is not prime. Res64: 6F840FFC16F0EAB9 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:28:52] 899*2^1391772-1 is not prime. Res64: 1DCDB171B47737BC Time : 0.0 sec. user=mdettweiler [2015-02-24 21:28:53] 699*2^1391773-1 is not prime. Res64: E751F0E4086341F0 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:45:32] 847*2^1391773-1 is not prime. Res64: 0BFF08B76442EC74 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:45:32] 889*2^1391773-1 is not prime. Res64: 6120A5E45ED9237B Time : 0.0 sec. user=mdettweiler [2015-02-24 21:45:37] 715*2^1391773-1 is not prime. Res64: 4EE4A9B4CC1649BF Time : 0.0 sec. user=mdettweiler [2015-02-24 21:45:37] 769*2^1391773-1 is not prime. Res64: FC293E5C9229C2F9 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:46:02] 915*2^1391773-1 is not prime. Res64: A57FDE0BD6EDDBC1 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:46:02] 999*2^1391773-1 is not prime. Res64: D2CABAA20BC608AA Time : 0.0 sec. user=mdettweiler [2015-02-24 21:55:25] 663*2^1391774-1 is not prime. Res64: 728802CC552B95C1 Time : 0.0 sec. user=mdettweiler [2015-02-24 21:55:25] 677*2^1391774-1 is not prime. Res64: 35F4B564EF3FA3FF Time : 0.0 sec. user=mdettweiler [2015-02-24 22:12:00] 683*2^1391774-1 is not prime. Res64: 8E0C495338F17046 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:12:01] 705*2^1391774-1 is not prime. Res64: CC226449A69F3FF3 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:12:04] 825*2^1391774-1 is not prime. Res64: 1A86889B2E9FAED0 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:12:05] 903*2^1391774-1 is not prime. Res64: 99C0EBECB89A0F01 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:12:27] 633*2^1391775-1 is not prime. Res64: A0E01C9D2DD7DD99 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:12:27] 651*2^1391775-1 is not prime. Res64: 53FD44B8C21839B3 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:21:38] 739*2^1391775-1 is not prime. Res64: D498C2E0EAEACE90 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:21:39] 765*2^1391775-1 is not prime. Res64: 594F9FAD23C13465 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:38:20] 823*2^1391775-1 is not prime. Res64: 85286444EA10EACC Time : 0.0 sec. user=mdettweiler [2015-02-24 22:38:20] 849*2^1391775-1 is not prime. Res64: 5C1DD1635DD702D2 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:38:26] 775*2^1391775-1 is not prime. Res64: F7526D7115FB8138 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:38:26] 819*2^1391775-1 is not prime. Res64: 3B482915B7F77037 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:38:41] 909*2^1391775-1 is not prime. Res64: C8C5A1BCA3354DBD Time : 0.0 sec. user=mdettweiler [2015-02-24 22:38:41] 963*2^1391775-1 is not prime. Res64: E407E052B5B833F0 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:48:02] 653*2^1391776-1 is not prime. Res64: FDDB78A154AFF4F8 Time : 0.0 sec. user=mdettweiler [2015-02-24 22:48:03] 663*2^1391776-1 is not prime. Res64: D143AF634362E25C Time : 0.0 sec. user=juhehe [2015-02-24 22:50:31] 855*2^1391776-1 is not prime. Res64: 7950B75AE6149C14 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:04:43] 957*2^1391776-1 is not prime. Res64: 9D32B6AA26D1D4E5 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:04:43] 675*2^1391777-1 is not prime. Res64: C922B1373110C1B6 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:04:44] 619*2^1391777-1 is not prime. Res64: 985AE6F85DDB018B Time : 0.0 sec. user=mdettweiler [2015-02-24 23:04:45] 715*2^1391777-1 is not prime. Res64: DCE3B2A986BD7E4D Time : 0.0 sec. user=mdettweiler [2015-02-24 23:05:02] 717*2^1391777-1 is not prime. Res64: BD1B5B3A6DB48B8F Time : 0.0 sec. user=mdettweiler [2015-02-24 23:05:04] 777*2^1391777-1 is not prime. Res64: BAD5F4C990F028EA Time : 0.0 sec. user=mdettweiler [2015-02-24 23:14:14] 871*2^1391777-1 is not prime. Res64: D1A3C56593B3F6E4 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:14:15] 937*2^1391777-1 is not prime. Res64: 0209D02269DBFC3C Time : 0.0 sec. user=mdettweiler [2015-02-24 23:31:32] 843*2^1391778-1 is not prime. Res64: 33B1E5AB2198ECA9 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:31:33] 867*2^1391778-1 is not prime. Res64: 28C4C3E1A317A379 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:31:53] 631*2^1391779-1 is not prime. Res64: A5EB952D391A6063 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:31:54] 843*2^1391779-1 is not prime. Res64: 3E3F9EC9F1B918FC Time : 0.0 sec. user=mdettweiler [2015-02-24 23:31:54] 755*2^1391778-1 is not prime. Res64: EE8C1B5858AB2F97 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:31:54] 777*2^1391778-1 is not prime. Res64: 751E033CB072F72A Time : 0.0 sec. user=mdettweiler [2015-02-24 23:40:49] 925*2^1391779-1 is not prime. Res64: 66270C5DBF708C47 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:40:49] 931*2^1391779-1 is not prime. Res64: 61CA3443B687DE7E Time : 0.0 sec. user=mdettweiler [2015-02-24 23:57:50] 975*2^1391779-1 is not prime. Res64: 6A3AD6EE0C45129B Time : 0.0 sec. user=mdettweiler [2015-02-24 23:57:51] 615*2^1391780-1 is not prime. Res64: 075E067CB2CA22AB Time : 0.0 sec. user=mdettweiler [2015-02-24 23:58:04] 795*2^1391780-1 is not prime. Res64: C7055C68A26B82C3 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:58:04] 833*2^1391780-1 is not prime. Res64: A0901D2D36D3F880 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:58:11] 707*2^1391780-1 is not prime. Res64: 5CE0AD93226BB011 Time : 0.0 sec. user=mdettweiler [2015-02-24 23:58:12] 767*2^1391780-1 is not prime. Res64: E9DDA480A533FFEA Time : 0.0 sec.