user=mdettweiler [2013-01-11 00:10:29] 825*2^1239047-1 is not prime. Res64: 606CFF44EBDDFBC8 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:10:30] 865*2^1239047-1 is not prime. Res64: 989975DEE97F803A Time : 0.0 sec. user=mdettweiler [2013-01-11 00:17:32] 991*2^1239047-1 is not prime. Res64: 243BD2CFC9345DE4 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:17:34] 663*2^1239048-1 is not prime. Res64: BEAD9E6C71324636 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:27:57] 725*2^1239048-1 is not prime. Res64: 80A0CF2C4B52BF1F Time : 0.0 sec. user=mdettweiler [2013-01-11 00:27:58] 759*2^1239048-1 is not prime. Res64: F333FA322A592395 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:35:01] 819*2^1239048-1 is not prime. Res64: EC7C48D554EC90F1 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:35:02] 933*2^1239048-1 is not prime. Res64: 9A4FFC8AEBC5E139 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:45:21] 699*2^1239049-1 is not prime. Res64: 2C9B8BEB8F0B8989 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:45:22] 729*2^1239049-1 is not prime. Res64: AD7C86054EEF399C Time : 0.0 sec. user=juhehe [2013-01-11 00:50:28] 795*2^1239048-1 is not prime. Res64: F65E0E62FB2963AA Time : 0.0 sec. user=mdettweiler [2013-01-11 00:52:25] 861*2^1239049-1 is not prime. Res64: 972FF5574378AB85 Time : 0.0 sec. user=mdettweiler [2013-01-11 00:52:25] 997*2^1239049-1 is not prime. Res64: E8942820F291F333 Time : 0.0 sec. user=mdettweiler [2013-01-11 01:02:47] 641*2^1239050-1 is not prime. Res64: 36C28214BD49F1B8 Time : 0.0 sec. user=mdettweiler [2013-01-11 01:02:49] 711*2^1239050-1 is not prime. Res64: 60B6C3FD0812991C Time : 0.0 sec. user=mdettweiler [2013-01-11 01:09:50] 741*2^1239050-1 is not prime. Res64: 7DF416423D057F7C Time : 0.0 sec. user=mdettweiler [2013-01-11 01:09:51] 773*2^1239050-1 is not prime. Res64: BEEDD6B33B25703D Time : 0.0 sec. user=mdettweiler [2013-01-11 01:20:16] 797*2^1239050-1 is not prime. Res64: 55C0721ADD4C4EDF Time : 0.0 sec. user=mdettweiler [2013-01-11 01:20:17] 833*2^1239050-1 is not prime. Res64: 598C67D84DDD63EE Time : 0.0 sec. user=mdettweiler [2013-01-11 01:27:32] 861*2^1239050-1 is not prime. Res64: 1727F9F1513E797F Time : 0.0 sec. user=mdettweiler [2013-01-11 01:27:33] 875*2^1239050-1 is not prime. Res64: 9E82A12DE28A197E Time : 0.0 sec. user=mdettweiler [2013-01-11 01:37:43] 911*2^1239050-1 is not prime. Res64: 1902A707B0AAB319 Time : 0.0 sec. user=mdettweiler [2013-01-11 01:37:44] 609*2^1239051-1 is not prime. Res64: 4F866245D3A33136 Time : 0.0 sec. user=mdettweiler [2013-01-11 01:45:00] 619*2^1239051-1 is not prime. Res64: 13C2D1AAF7D8A41F Time : 0.0 sec. user=mdettweiler [2013-01-11 01:45:01] 651*2^1239051-1 is not prime. Res64: EBBB9083D602B3B3 Time : 0.0 sec. user=mdettweiler [2013-01-11 01:55:09] 703*2^1239051-1 is not prime. Res64: CD7349C2D8A26D76 Time : 0.0 sec. user=mdettweiler [2013-01-11 01:55:09] 909*2^1239051-1 is not prime. Res64: B8C0E1F44922E9A6 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:02:28] 991*2^1239051-1 is not prime. Res64: 3569000911203E15 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:02:29] 687*2^1239052-1 is not prime. Res64: F2D297BF1C1DF55E Time : 0.0 sec. user=mdettweiler [2013-01-11 02:12:33] 723*2^1239052-1 is not prime. Res64: AFF591012C0C6180 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:12:34] 743*2^1239052-1 is not prime. Res64: 237204BF0A9F1269 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:20:09] 749*2^1239052-1 is not prime. Res64: 6F3F93317DCBA582 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:20:10] 827*2^1239052-1 is not prime. Res64: BF3AA0745474C5CF Time : 0.0 sec. user=juhehe [2013-01-11 02:27:37] 699*2^1239052-1 is not prime. Res64: C0E1FA93F85E7E61 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:30:00] 875*2^1239052-1 is not prime. Res64: CCAC1F6494D222B7 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:30:01] 983*2^1239052-1 is not prime. Res64: 7430E3C358994DB4 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:37:35] 999*2^1239052-1 is not prime. Res64: 74FE76BD65C68E39 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:37:37] 735*2^1239053-1 is not prime. Res64: 78F10A08D06EB6AB Time : 0.0 sec. user=mdettweiler [2013-01-11 02:47:26] 747*2^1239053-1 is not prime. Res64: 46D9C2218CD181D2 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:47:32] 805*2^1239053-1 is not prime. Res64: CF94BE8BE489B230 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:55:04] 879*2^1239053-1 is not prime. Res64: 9AB03079E4A662B5 Time : 0.0 sec. user=mdettweiler [2013-01-11 02:55:05] 951*2^1239053-1 is not prime. Res64: C90660934FD0788A Time : 0.0 sec. user=mdettweiler [2013-01-11 03:05:13] 635*2^1239054-1 is not prime. Res64: 59391EB6ED0149D9 Time : 0.0 sec. user=mdettweiler [2013-01-11 03:05:14] 815*2^1239054-1 is not prime. Res64: 5C08CA1E53BE505C Time : 0.0 sec. user=mdettweiler [2013-01-11 03:14:07] 851*2^1239054-1 is not prime. Res64: DF2C8AEA0725BEA6 Time : 0.0 sec. user=mdettweiler [2013-01-11 03:22:42] 891*2^1239054-1 is not prime. Res64: 73930665F2F55A7F Time : 0.0 sec. user=mdettweiler [2013-01-11 03:22:42] 947*2^1239054-1 is not prime. Res64: E406FC223E59D63F Time : 0.0 sec. user=mdettweiler [2013-01-11 03:35:39] 875*2^1239054-1 is not prime. Res64: 6B3720A822647100 Time : 0.0 sec. user=mdettweiler [2013-01-11 03:40:08] 645*2^1239055-1 is not prime. Res64: 4188278AB825B565 Time : 0.0 sec. user=mdettweiler [2013-01-11 03:40:12] 673*2^1239055-1 is not prime. Res64: 81E1ED32771083C8 Time : 0.0 sec. user=mdettweiler [2013-01-11 03:53:19] 861*2^1239055-1 is not prime. Res64: B2D758FC3EAFCC6C Time : 0.0 sec. user=mdettweiler [2013-01-11 03:53:19] 925*2^1239055-1 is not prime. Res64: 3B64A395A2FB6B77 Time : 0.0 sec. user=mdettweiler [2013-01-11 03:57:51] 999*2^1239056-1 is not prime. Res64: 560242BB81D68302 Time : 0.0 sec. user=mdettweiler [2013-01-11 03:57:52] 625*2^1239057-1 is not prime. Res64: 5C6E5739F05DE3AB Time : 0.0 sec. user=juhehe [2013-01-11 04:04:29] 715*2^1239055-1 is not prime. Res64: 31E85D0A414EDDCD Time : 0.0 sec. user=mdettweiler [2013-01-11 04:10:47] 727*2^1239057-1 is not prime. Res64: EE135E6B120C08C3 Time : 0.0 sec. user=mdettweiler [2013-01-11 04:10:48] 937*2^1239057-1 is not prime. Res64: 843CD44AA37F8761 Time : 0.0 sec. user=mdettweiler [2013-01-11 04:15:16] 605*2^1239058-1 is not prime. Res64: 68452020E94F5AC6 Time : 0.0 sec. user=mdettweiler [2013-01-11 04:15:17] 755*2^1239058-1 is not prime. Res64: D9AEB6C996F237D6 Time : 0.0 sec. user=mdettweiler [2013-01-11 04:28:23] 813*2^1239058-1 is not prime. Res64: E816E36DC5A38553 Time : 0.0 sec. user=mdettweiler [2013-01-11 04:28:23] 833*2^1239058-1 is not prime. Res64: 21D8E6320B259ABF Time : 0.0 sec. user=mdettweiler [2013-01-11 04:32:40] 887*2^1239058-1 is not prime. Res64: 7D9D67DE5C676611 Time : 0.0 sec. user=mdettweiler [2013-01-11 04:32:42] 945*2^1239058-1 is not prime. Res64: B13BFF9E340CC7BA Time : 0.0 sec. user=mdettweiler [2013-01-11 04:45:48] 975*2^1239058-1 is not prime. Res64: D71CE94C51A664AF Time : 0.0 sec. user=mdettweiler [2013-01-11 04:45:48] 993*2^1239058-1 is not prime. Res64: ADCAAB4B5E10ACA1 Time : 0.0 sec. user=mdettweiler [2013-01-11 04:50:08] 1001*2^1239058-1 is not prime. Res64: 8478CB95DB55C84D Time : 0.0 sec. user=mdettweiler [2013-01-11 04:50:08] 615*2^1239059-1 is not prime. Res64: 7F252B43585691D8 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:03:14] 619*2^1239059-1 is not prime. Res64: 42E9077CB26EEA3E Time : 0.0 sec. user=mdettweiler [2013-01-11 05:03:15] 819*2^1239059-1 is not prime. Res64: 379B89A1082045C4 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:07:42] 825*2^1239059-1 is not prime. Res64: 24BFD2F211F41941 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:07:42] 889*2^1239059-1 is not prime. Res64: 620D17810AA5C931 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:20:49] 999*2^1239059-1 is not prime. Res64: 15376870E5586C4C Time : 0.0 sec. user=mdettweiler [2013-01-11 05:20:50] 609*2^1239060-1 is not prime. Res64: 3445308EE9469977 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:25:08] 665*2^1239060-1 is not prime. Res64: 761E11B9B870D4F6 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:25:09] 857*2^1239060-1 is not prime. Res64: 937A96FE51D9AC79 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:38:21] 863*2^1239060-1 is not prime. Res64: 1D2CB06DCDB49D13 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:38:22] 923*2^1239060-1 is not prime. Res64: 500B202C7E4FC3E2 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:42:34] 681*2^1239061-1 is not prime. Res64: 6987284065540BE2 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:42:35] 817*2^1239061-1 is not prime. Res64: A27505807B17E0BB Time : 0.0 sec. user=mdettweiler [2013-01-11 05:55:47] 855*2^1239061-1 is not prime. Res64: ED89FABA33ABE4F2 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:55:47] 895*2^1239061-1 is not prime. Res64: 56FF4BA9672B71EC Time : 0.0 sec. user=mdettweiler [2013-01-11 05:59:58] 979*2^1239061-1 is not prime. Res64: CB24115E64108F72 Time : 0.0 sec. user=mdettweiler [2013-01-11 05:59:59] 623*2^1239062-1 is not prime. Res64: A187471CC713C8B1 Time : 0.0 sec. user=mdettweiler [2013-01-11 06:13:12] 651*2^1239062-1 is not prime. Res64: B0E0511159012239 Time : 0.0 sec. user=mdettweiler [2013-01-11 06:13:13] 657*2^1239062-1 is not prime. Res64: 4B0BF77FD340CDD7 Time : 0.0 sec. user=juhehe [2013-01-11 06:13:13] 939*2^1239061-1 is not prime. Res64: CCDFEE0D58A7CD34 Time : 0.0 sec. user=mdettweiler [2013-01-11 06:17:22] 677*2^1239062-1 is not prime. Res64: C4EBE2C037289E9A Time : 0.0 sec. user=mdettweiler [2013-01-11 06:17:23] 693*2^1239062-1 is not prime. Res64: 200A21A0CC4F56CC Time : 0.0 sec. user=mdettweiler [2013-01-11 06:30:40] 743*2^1239062-1 is not prime. Res64: 4B4AA0C2791F6F91 Time : 0.0 sec. user=mdettweiler [2013-01-11 06:30:40] 755*2^1239062-1 is not prime. Res64: 00019BCF23AFF1B9 Time : 0.0 sec. user=mdettweiler [2013-01-11 06:34:47] 791*2^1239062-1 is not prime. Res64: E457D96D7593C8FA Time : 0.0 sec. user=mdettweiler [2013-01-11 06:34:48] 801*2^1239062-1 is not prime. Res64: 80582C880B57B8B7 Time : 0.0 sec. user=mdettweiler [2013-01-11 06:48:05] 977*2^1239062-1 is not prime. Res64: 05ABB4AF0933A15A Time : 0.0 sec. user=mdettweiler [2013-01-11 06:48:05] 613*2^1239063-1 is not prime. Res64: 87F4B155030C8B7C Time : 0.0 sec. user=mdettweiler [2013-01-11 06:52:12] 649*2^1239063-1 is not prime. Res64: 89E9638FD48C6C29 Time : 0.0 sec. user=mdettweiler [2013-01-11 06:52:12] 805*2^1239063-1 is not prime. Res64: 5F23846FA687B8E1 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:05:30] 885*2^1239063-1 is not prime. Res64: C32B78EC68FB327B Time : 0.0 sec. user=mdettweiler [2013-01-11 07:05:33] 961*2^1239063-1 is not prime. Res64: 8C800BF573A588F3 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:09:36] 605*2^1239064-1 is not prime. Res64: 8AB3FEB6C19B11A1 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:09:37] 615*2^1239064-1 is not prime. Res64: C81BB480D1BC0E29 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:23:13] 693*2^1239064-1 is not prime. Res64: AD4197C05A037772 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:23:13] 723*2^1239064-1 is not prime. Res64: D90349833A477EC9 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:27:02] 803*2^1239064-1 is not prime. Res64: DE6D82B8C4F3CB3E Time : 0.0 sec. user=mdettweiler [2013-01-11 07:27:02] 915*2^1239064-1 is not prime. Res64: 3E077B057AB9C3FC Time : 0.0 sec. user=mdettweiler [2013-01-11 07:40:39] 969*2^1239064-1 is not prime. Res64: EDC2EFA72F10BDE7 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:40:40] 669*2^1239065-1 is not prime. Res64: 865B7FA41AB5A55A Time : 0.0 sec. user=mdettweiler [2013-01-11 07:44:26] 679*2^1239065-1 is not prime. Res64: 03037F39A3517B36 Time : 0.0 sec. user=mdettweiler [2013-01-11 07:44:27] 741*2^1239065-1 is not prime. Res64: A5DF5138B2D70EFB Time : 0.0 sec. user=mdettweiler [2013-01-11 07:58:07] 939*2^1239065-1 is not prime. Res64: 5E7371E025A202AE Time : 0.0 sec. user=mdettweiler [2013-01-11 07:58:07] 633*2^1239066-1 is not prime. Res64: 33D611268E55EE5F Time : 0.0 sec. user=mdettweiler [2013-01-11 08:01:55] 635*2^1239066-1 is not prime. Res64: CACDDC5142D0A671 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:01:56] 683*2^1239066-1 is not prime. Res64: 24375B0E4A2E3C21 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:15:32] 695*2^1239066-1 is not prime. Res64: 9C8454697104337E Time : 0.0 sec. user=mdettweiler [2013-01-11 08:15:32] 707*2^1239066-1 is not prime. Res64: F945AE7026B22975 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:19:23] 713*2^1239066-1 is not prime. Res64: 5AD4BA165E4EF3B7 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:19:25] 735*2^1239066-1 is not prime. Res64: 807E6A727277F702 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:32:58] 765*2^1239066-1 is not prime. Res64: 7442FEE6E899CD70 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:32:59] 783*2^1239066-1 is not prime. Res64: 8188EC730609CC6F Time : 0.0 sec. user=mdettweiler [2013-01-11 08:36:49] 801*2^1239066-1 is not prime. Res64: BEDF2AC0DBE1DBCA Time : 0.0 sec. user=mdettweiler [2013-01-11 08:36:50] 903*2^1239066-1 is not prime. Res64: DF49586A26E55871 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:50:23] 923*2^1239066-1 is not prime. Res64: 75DECD95ADA91073 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:50:24] 703*2^1239067-1 is not prime. Res64: 3C3E45EB4A347EF3 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:54:15] 871*2^1239067-1 is not prime. Res64: 6432B3CCFB3ACE24 Time : 0.0 sec. user=mdettweiler [2013-01-11 08:54:15] 919*2^1239067-1 is not prime. Res64: 52735BFFBD3B0278 Time : 0.0 sec. user=mdettweiler [2013-01-11 09:07:49] 925*2^1239067-1 is not prime. Res64: 49FF42524FF1B45C Time : 0.0 sec. user=mdettweiler [2013-01-11 09:07:50] 975*2^1239067-1 is not prime. Res64: 4ADB84EDC76AF8F9 Time : 0.0 sec. user=mdettweiler [2013-01-11 09:11:40] 665*2^1239068-1 is not prime. Res64: 32CE9742CA6DB52F Time : 0.0 sec. user=mdettweiler [2013-01-11 09:11:41] 687*2^1239068-1 is not prime. Res64: E6BB58FC09C329BD Time : 0.0 sec. user=mdettweiler [2013-01-11 09:25:17] 777*2^1239068-1 is not prime. Res64: EC88BF7B107C01B0 Time : 0.0 sec. user=mdettweiler [2013-01-11 09:25:18] 855*2^1239068-1 is not prime. Res64: 6600F5844F9AC0C1 Time : 0.0 sec. user=mdettweiler [2013-01-11 09:29:07] 885*2^1239068-1 is not prime. Res64: 9A8F3784509982EF Time : 0.0 sec. user=mdettweiler [2013-01-11 09:29:07] 959*2^1239068-1 is not prime. Res64: CC0EB8AD3295098B Time : 0.0 sec. user=mdettweiler [2013-01-11 09:42:47] 999*2^1239068-1 is not prime. Res64: E1FA1A9030FCA3FB Time : 0.0 sec. user=mdettweiler [2013-01-11 09:42:47] 747*2^1239069-1 is not prime. Res64: 419DAB6746DE6950 Time : 0.0 sec. user=mdettweiler [2013-01-11 09:46:33] 847*2^1239069-1 is not prime. Res64: 4AB5A0A5E0267A78 Time : 0.0 sec. user=mdettweiler [2013-01-11 09:46:34] 889*2^1239069-1 is not prime. Res64: 0332BA499E7F79AF Time : 0.0 sec. user=mdettweiler [2013-01-11 10:00:13] 657*2^1239070-1 is not prime. Res64: 69F4D20A5AC4CB1A Time : 0.0 sec. user=mdettweiler [2013-01-11 10:00:14] 681*2^1239070-1 is not prime. Res64: 275AB2D22468FA38 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:03:59] 707*2^1239070-1 is not prime. Res64: 216F602E51FCE204 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:04:02] 843*2^1239070-1 is not prime. Res64: 13A8C653F1FAD459 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:17:40] 867*2^1239070-1 is not prime. Res64: 065079A3B43CB960 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:17:40] 933*2^1239070-1 is not prime. Res64: 3BD3ACCD66FC026A Time : 0.0 sec. user=mdettweiler [2013-01-11 10:21:30] 941*2^1239070-1 is not prime. Res64: 867350A7A916F368 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:21:30] 643*2^1239071-1 is not prime. Res64: 922A394E6483154D Time : 0.0 sec. user=mdettweiler [2013-01-11 10:35:07] 741*2^1239071-1 is not prime. Res64: 3CBC5990EB865609 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:35:08] 745*2^1239071-1 is not prime. Res64: 71BC3AEFB724C9C9 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:38:54] 783*2^1239071-1 is not prime. Res64: 9415AB86E56A66D4 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:38:55] 949*2^1239071-1 is not prime. Res64: 78FB98DDEB5366C8 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:52:34] 999*2^1239071-1 is not prime. Res64: 9AFE362E49A701E1 Time : 0.0 sec. user=mdettweiler [2013-01-11 10:52:35] 683*2^1239072-1 is not prime. Res64: 4DDACABD41A00CAF Time : 0.0 sec. user=mdettweiler [2013-01-11 10:56:22] 825*2^1239072-1 is not prime. Res64: 3E7BD1AD8BDED57F Time : 0.0 sec. user=mdettweiler [2013-01-11 10:56:23] 849*2^1239072-1 is not prime. Res64: 4263FB8ACCA2CFAA Time : 0.0 sec. user=mdettweiler [2013-01-11 11:10:02] 873*2^1239072-1 is not prime. Res64: ACD3E9E6C9989F23 Time : 0.0 sec. user=mdettweiler [2013-01-11 11:10:04] 909*2^1239072-1 is not prime. Res64: C605AB0BE70A631A Time : 0.0 sec. user=mdettweiler [2013-01-11 11:13:49] 929*2^1239072-1 is not prime. Res64: EE02E1592EAB3EA1 Time : 0.0 sec. user=mdettweiler [2013-01-11 11:13:50] 609*2^1239073-1 is not prime. Res64: 402202900A8A69FE Time : 0.0 sec. user=mdettweiler [2013-01-11 11:27:35] 681*2^1239073-1 is not prime. Res64: 7180696E1139360C Time : 0.0 sec. user=mdettweiler [2013-01-11 11:27:36] 915*2^1239073-1 is not prime. Res64: 1EDC8D9AC95B1847 Time : 0.0 sec. user=mdettweiler [2013-01-11 11:31:17] 985*2^1239073-1 is not prime. Res64: 79F8F6AE07831DC1 Time : 0.0 sec. user=mdettweiler [2013-01-11 11:31:18] 615*2^1239074-1 is not prime. Res64: B1CB60E596FE8509 Time : 0.0 sec. user=mdettweiler [2013-01-11 11:45:47] 677*2^1239074-1 is not prime. Res64: 772AFFBEC2FB1CEF Time : 0.0 sec. user=mdettweiler [2013-01-11 11:45:48] 683*2^1239074-1 is not prime. Res64: BC326E0F22E23D82 Time : 0.0 sec. user=mdettweiler [2013-01-11 11:49:29] 747*2^1239074-1 is not prime. Res64: 87F7556174750F38 Time : 0.0 sec. user=mdettweiler [2013-01-11 11:49:29] 861*2^1239074-1 is not prime. Res64: 5F01568E34DC7668 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:03:16] 885*2^1239074-1 is not prime. Res64: 7B61B5659A0EB108 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:03:19] 945*2^1239074-1 is not prime. Res64: 04D17A80CA08EDA5 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:06:56] 983*2^1239074-1 is not prime. Res64: CCF9C8BBC8B3639C Time : 0.0 sec. user=mdettweiler [2013-01-11 12:06:57] 691*2^1239075-1 is not prime. Res64: 26DC1649DBFC3B61 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:21:04] 741*2^1239075-1 is not prime. Res64: 371D02495D079F87 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:21:04] 775*2^1239075-1 is not prime. Res64: E162A7EDBA739A30 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:24:28] 789*2^1239075-1 is not prime. Res64: 106053178C22B031 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:24:29] 805*2^1239075-1 is not prime. Res64: 9057B0838234E54A Time : 0.0 sec. user=juhehe [2013-01-11 12:32:42] 709*2^1239075-1 is not prime. Res64: 209F17B2A8DE717D Time : 0.0 sec. user=mdettweiler [2013-01-11 12:38:31] 825*2^1239075-1 is not prime. Res64: EBD0EA0B2938994A Time : 0.0 sec. user=mdettweiler [2013-01-11 12:38:32] 829*2^1239075-1 is not prime. Res64: D2E5BE3924B93E17 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:41:57] 921*2^1239075-1 is not prime. Res64: AEEDDA014C30DF7A Time : 0.0 sec. user=mdettweiler [2013-01-11 12:41:57] 677*2^1239076-1 is not prime. Res64: FAB5B41CC6937050 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:56:12] 855*2^1239076-1 is not prime. Res64: CDDD6F2C8705914B Time : 0.0 sec. user=mdettweiler [2013-01-11 12:56:13] 651*2^1239077-1 is not prime. Res64: 3EA5FB5B4DEFAF4C Time : 0.0 sec. user=mdettweiler [2013-01-11 12:59:36] 697*2^1239077-1 is not prime. Res64: 58C2D1ADFAF514E2 Time : 0.0 sec. user=mdettweiler [2013-01-11 12:59:36] 759*2^1239077-1 is not prime. Res64: D57C021F60CC0D44 Time : 0.0 sec. user=juhehe [2013-01-11 13:06:17] 783*2^1239076-1 is not prime. Res64: FA0CA5289D9A58C3 Time : 0.0 sec. user=mdettweiler [2013-01-11 13:13:56] 771*2^1239077-1 is not prime. Res64: ECEC08143C9DE6AE Time : 0.0 sec. user=mdettweiler [2013-01-11 13:13:56] 847*2^1239077-1 is not prime. Res64: E732F4D72472F32F Time : 0.0 sec. user=mdettweiler [2013-01-11 13:17:26] 621*2^1239078-1 is not prime. Res64: EB74245FF652579F Time : 0.0 sec. user=mdettweiler [2013-01-11 13:17:26] 657*2^1239078-1 is not prime. Res64: 8AB5FBB6D37E2792 Time : 0.0 sec. user=mdettweiler [2013-01-11 13:31:54] 705*2^1239078-1 is not prime. Res64: CDC5436795AA17E4 Time : 0.0 sec. user=mdettweiler [2013-01-11 13:31:55] 713*2^1239078-1 is not prime. Res64: 9FD0FC2FE5DB963B Time : 0.0 sec. user=mdettweiler [2013-01-11 13:35:19] 761*2^1239078-1 is not prime. Res64: 216200262EB896DD Time : 0.0 sec. user=mdettweiler [2013-01-11 13:35:19] 825*2^1239078-1 is not prime. Res64: 919437548EBF07CB Time : 0.0 sec. user=juhehe [2013-01-11 13:39:54] 695*2^1239078-1 is not prime. Res64: D8C223EF5D0B458B Time : 0.0 sec. user=mdettweiler [2013-01-11 13:49:44] 863*2^1239078-1 is not prime. Res64: 953D7E28BA2A5504 Time : 0.0 sec. user=mdettweiler [2013-01-11 13:49:44] 923*2^1239078-1 is not prime. Res64: 9E423FC89B4106D2 Time : 0.0 sec. user=mdettweiler [2013-01-11 13:53:21] 941*2^1239078-1 is not prime. Res64: B84861DECB351900 Time : 0.0 sec. user=mdettweiler [2013-01-11 13:53:21] 639*2^1239079-1 is not prime. Res64: D6EF63A5E4129C73 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:07:34] 759*2^1239079-1 is not prime. Res64: 64985A43C20B6926 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:07:35] 909*2^1239079-1 is not prime. Res64: 4461972EB1A1EFF6 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:11:01] 913*2^1239079-1 is not prime. Res64: 8258A1411DAEBDE1 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:11:03] 919*2^1239079-1 is not prime. Res64: 6B7A4DB89622AA0B Time : 0.0 sec. user=juhehe [2013-01-11 14:13:29] 675*2^1239079-1 is not prime. Res64: 5298E11E40564900 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:25:05] 993*2^1239079-1 is not prime. Res64: D488EE754129BEBD Time : 0.0 sec. user=mdettweiler [2013-01-11 14:25:05] 629*2^1239080-1 is not prime. Res64: 816133EB3411141F Time : 0.0 sec. user=mdettweiler [2013-01-11 14:28:32] 677*2^1239080-1 is not prime. Res64: 5A21EBECECB078EC Time : 0.0 sec. user=mdettweiler [2013-01-11 14:28:32] 767*2^1239080-1 is not prime. Res64: CCC3754FB71448B4 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:42:29] 709*2^1239081-1 is not prime. Res64: 0096498AC9D2D0D7 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:42:30] 747*2^1239081-1 is not prime. Res64: 998C16504EBAFFFF Time : 0.0 sec. user=mdettweiler [2013-01-11 14:45:55] 807*2^1239081-1 is not prime. Res64: 1A4E87513CD14478 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:45:56] 829*2^1239081-1 is not prime. Res64: F8FB69C202ED362E Time : 0.0 sec. user=juhehe [2013-01-11 14:47:02] 601*2^1239081-1 is not prime. Res64: 9C870538CDC2D700 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:59:59] 835*2^1239081-1 is not prime. Res64: CA50E890B5619324 Time : 0.0 sec. user=mdettweiler [2013-01-11 14:59:59] 921*2^1239081-1 is not prime. Res64: CE520569FD975665 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:03:23] 949*2^1239081-1 is not prime. Res64: AB8E6051D63B52F0 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:03:25] 955*2^1239081-1 is not prime. Res64: AB69F30C1EBAC77E Time : 0.0 sec. user=mdettweiler [2013-01-11 15:17:29] 975*2^1239081-1 is not prime. Res64: F8475FE4FDAE7F3E Time : 0.0 sec. user=mdettweiler [2013-01-11 15:17:30] 665*2^1239082-1 is not prime. Res64: 2F7D0C89B8106E82 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:20:57] 675*2^1239082-1 is not prime. Res64: EB1EC503ACBFB5E9 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:20:58] 695*2^1239082-1 is not prime. Res64: 5F4C54C7D110F9A0 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:35:07] 731*2^1239082-1 is not prime. Res64: 8ACC281DCC9C0197 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:35:07] 747*2^1239082-1 is not prime. Res64: 2E8C664DC8BE10E6 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:38:28] 755*2^1239082-1 is not prime. Res64: 21496AC170AE1010 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:38:28] 777*2^1239082-1 is not prime. Res64: 3F7D3084BE3C9642 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:52:38] 891*2^1239082-1 is not prime. Res64: 129FDC626A6E1548 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:52:38] 621*2^1239083-1 is not prime. Res64: 7A637897164EC832 Time : 0.0 sec. user=mdettweiler [2013-01-11 15:55:58] 679*2^1239083-1 is not prime. Res64: 98C841C406FF768F Time : 0.0 sec. user=mdettweiler [2013-01-11 15:55:59] 735*2^1239083-1 is not prime. Res64: 065710D04CB7592A Time : 0.0 sec. user=mdettweiler [2013-01-11 16:10:11] 955*2^1239083-1 is not prime. Res64: 1E49568FE7345997 Time : 0.0 sec. user=mdettweiler [2013-01-11 16:10:13] 985*2^1239083-1 is not prime. Res64: 8D4A4D1B895668CC Time : 0.0 sec. user=mdettweiler [2013-01-11 16:13:34] 663*2^1239084-1 is not prime. Res64: A72F3FC82EE0CEFD Time : 0.0 sec. user=mdettweiler [2013-01-11 16:13:35] 607*2^1239085-1 is not prime. Res64: A77CBBA1A0299C13 Time : 0.0 sec. user=juhehe [2013-01-11 16:23:55] 885*2^1239083-1 is not prime. Res64: 40C938B254CB1991 Time : 0.0 sec. user=mdettweiler [2013-01-11 16:28:08] 619*2^1239085-1 is not prime. Res64: 39BD4A398B43415B Time : 0.0 sec. user=mdettweiler [2013-01-11 16:28:08] 661*2^1239085-1 is not prime. Res64: DE212ABA60656722 Time : 0.0 sec. user=mdettweiler [2013-01-11 16:31:31] 831*2^1239085-1 is not prime. Res64: 92A9F0BF63EEC9D9 Time : 0.0 sec. user=mdettweiler [2013-01-11 16:31:31] 855*2^1239085-1 is not prime. Res64: 54CE1AC2F218BC6C Time : 0.0 sec. user=mdettweiler [2013-01-11 16:46:03] 945*2^1238902-1 is not prime. Res64: 418371CB79F8C272 Time : 0.0 sec. user=mdettweiler [2013-01-11 16:46:04] 705*2^1239086-1 is not prime. Res64: AA1039872294A4D8 Time : 0.0 sec. user=mdettweiler [2013-01-11 16:49:27] 755*2^1239086-1 is not prime. Res64: 2039B2B785ECF167 Time : 0.0 sec. user=mdettweiler [2013-01-11 16:49:27] 827*2^1239086-1 is not prime. Res64: 92A8AB2166762B4D Time : 0.0 sec. user=mdettweiler [2013-01-11 17:04:00] 619*2^1239087-1 is not prime. Res64: AA90BFBD6A73A1C4 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:04:00] 685*2^1239087-1 is not prime. Res64: 9BA44EEAAA76B380 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:07:24] 703*2^1239087-1 is not prime. Res64: 410F9301718EDD54 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:07:26] 805*2^1239087-1 is not prime. Res64: 7BA54FE4560FC5BA Time : 0.0 sec. user=mdettweiler [2013-01-11 17:21:58] 859*2^1239087-1 is not prime. Res64: 18C516943D31C065 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:21:59] 885*2^1239087-1 is not prime. Res64: 031D89FE461D527B Time : 0.0 sec. user=mdettweiler [2013-01-11 17:25:23] 909*2^1239087-1 is not prime. Res64: 5324800876F52F36 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:25:23] 931*2^1239087-1 is not prime. Res64: 027740CFE6BCAE58 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:39:53] 603*2^1239088-1 is not prime. Res64: 2F24777BD0843477 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:39:54] 635*2^1239088-1 is not prime. Res64: 9BCEF4275297E78B Time : 0.0 sec. user=mdettweiler [2013-01-11 17:43:18] 699*2^1239088-1 is not prime. Res64: 5915ADE4BF319FF3 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:43:19] 705*2^1239088-1 is not prime. Res64: F93D856097747CBF Time : 0.0 sec. user=mdettweiler [2013-01-11 17:57:48] 777*2^1239088-1 is not prime. Res64: CAF229F50A1BD964 Time : 0.0 sec. user=mdettweiler [2013-01-11 17:57:49] 999*2^1239088-1 is not prime. Res64: 55882A9EC6CE33F5 Time : 0.0 sec. user=juhehe [2013-01-11 18:00:44] 735*2^1239088-1 is not prime. Res64: FE43A7CA00BF1BBE Time : 0.0 sec. user=mdettweiler [2013-01-11 18:01:13] 631*2^1239089-1 is not prime. Res64: 3425421BB3D8CF71 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:01:14] 645*2^1239089-1 is not prime. Res64: 699BB2590E378B10 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:15:45] 679*2^1239089-1 is not prime. Res64: 6A1FBF2191BD5B49 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:15:46] 775*2^1239089-1 is not prime. Res64: 5228D14CCCBA72C6 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:19:10] 969*2^1239089-1 is not prime. Res64: B2B0E6E61B644B06 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:19:10] 611*2^1239090-1 is not prime. Res64: 0EBB0252AC3EA4AB Time : 0.0 sec. user=mdettweiler [2013-01-11 18:33:15] 783*2^1239090-1 is not prime. Res64: 0E2799B31597D082 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:33:16] 803*2^1239090-1 is not prime. Res64: 431B5E3A26FDB877 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:36:35] 845*2^1239090-1 is not prime. Res64: C9963E526A984B68 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:36:35] 873*2^1239090-1 is not prime. Res64: 1435AC5BCAB30089 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:50:40] 887*2^1239090-1 is not prime. Res64: AF625B34E616DB85 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:50:41] 951*2^1239090-1 is not prime. Res64: 5446D9016518C3C6 Time : 0.0 sec. user=mdettweiler [2013-01-11 18:53:59] 733*2^1239091-1 is not prime. Res64: C742411BF7DA359A Time : 0.0 sec. user=mdettweiler [2013-01-11 18:53:59] 793*2^1239091-1 is not prime. Res64: 94686BB3098233D4 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:08:05] 951*2^1239091-1 is not prime. Res64: 7AD1D2E7BAC28747 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:08:07] 993*2^1239091-1 is not prime. Res64: 1A4D0725A1BE8C59 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:11:24] 605*2^1239092-1 is not prime. Res64: FCD656481BA477AA Time : 0.0 sec. user=mdettweiler [2013-01-11 19:11:25] 749*2^1239092-1 is not prime. Res64: 4FA0E1D59450751D Time : 0.0 sec. user=mdettweiler [2013-01-11 19:25:34] 609*2^1239093-1 is not prime. Res64: 82D107FC86230C82 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:25:35] 639*2^1239093-1 is not prime. Res64: F2423F68B2D8C207 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:28:57] 691*2^1239093-1 is not prime. Res64: 9D8F0F408D499911 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:28:59] 745*2^1239093-1 is not prime. Res64: 74528ECD9E9EC9CA Time : 0.0 sec. user=juhehe [2013-01-11 19:38:04] 935*2^1239092-1 is not prime. Res64: ECB04B1ACC857C7E Time : 0.0 sec. user=mdettweiler [2013-01-11 19:43:00] 769*2^1239093-1 is not prime. Res64: 82057F09D68B1795 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:43:00] 837*2^1239093-1 is not prime. Res64: 7EFB583BB0C04C12 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:46:22] 847*2^1239093-1 is not prime. Res64: B6F9E9A66F9B0B75 Time : 0.0 sec. user=mdettweiler [2013-01-11 19:46:23] 937*2^1239093-1 is not prime. Res64: 7881B9384BD93120 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:00:24] 955*2^1239093-1 is not prime. Res64: 4F40603336F4A912 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:00:26] 999*2^1239093-1 is not prime. Res64: 040DA8D09C97E953 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:03:46] 717*2^1239094-1 is not prime. Res64: CACF589E88C1039C Time : 0.0 sec. user=mdettweiler [2013-01-11 20:03:48] 741*2^1239094-1 is not prime. Res64: 5C2706326539B7E5 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:18:06] 827*2^1239094-1 is not prime. Res64: 509DC4F05823B483 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:18:07] 863*2^1239094-1 is not prime. Res64: BE2B099B438B5419 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:21:28] 693*2^1239095-1 is not prime. Res64: 9FA8766D7204A230 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:21:28] 781*2^1239095-1 is not prime. Res64: E0E43197929FFB6D Time : 0.0 sec. user=mdettweiler [2013-01-11 20:35:44] 939*2^1239095-1 is not prime. Res64: 7E4E7B35E5E68C8A Time : 0.0 sec. user=mdettweiler [2013-01-11 20:35:44] 627*2^1239096-1 is not prime. Res64: 96C2B117A46603AC Time : 0.0 sec. user=mdettweiler [2013-01-11 20:38:57] 689*2^1239096-1 is not prime. Res64: 80CA39A7727172E7 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:38:57] 737*2^1239096-1 is not prime. Res64: 70DE555197190896 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:53:05] 789*2^1239096-1 is not prime. Res64: A95FACAFF18EDFDB Time : 0.0 sec. user=mdettweiler [2013-01-11 20:53:06] 899*2^1239096-1 is not prime. Res64: 87D782DFA9B8DF14 Time : 0.0 sec. user=mdettweiler [2013-01-11 20:56:18] 945*2^1239096-1 is not prime. Res64: E3608990B0973D6C Time : 0.0 sec. user=mdettweiler [2013-01-11 20:56:18] 999*2^1239096-1 is not prime. Res64: 994631C8952B6933 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:10:26] 751*2^1239097-1 is not prime. Res64: E204D558241C7F45 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:10:27] 807*2^1239097-1 is not prime. Res64: FD87B72017205291 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:13:42] 901*2^1239097-1 is not prime. Res64: D94EBF1221026D94 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:13:42] 999*2^1239097-1 is not prime. Res64: 621B46C3B1144EDC Time : 0.0 sec. user=juhehe [2013-01-11 21:16:13] 615*2^1239097-1 is not prime. Res64: 337B14563AFBCA29 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:27:49] 617*2^1239098-1 is not prime. Res64: A330AE0613D654E2 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:27:49] 623*2^1239098-1 is not prime. Res64: E6E2785B5470BF13 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:31:03] 731*2^1239098-1 is not prime. Res64: 66A432EBD4D6BF6A Time : 0.0 sec. user=mdettweiler [2013-01-11 21:31:05] 893*2^1239098-1 is not prime. Res64: 8FC49549B5D45F20 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:45:10] 911*2^1239098-1 is not prime. Res64: 64CECFD1D8027DE0 Time : 0.0 sec. user=mdettweiler [2013-01-11 21:45:11] 993*2^1239098-1 is not prime. Res64: 863A87AD72473CBB Time : 0.0 sec. user=mdettweiler [2013-01-11 21:48:27] 613*2^1239099-1 is not prime. Res64: 9378213527E63AED Time : 0.0 sec. user=mdettweiler [2013-01-11 21:48:27] 675*2^1239099-1 is not prime. Res64: 5A874071434BCBEC Time : 0.0 sec. user=mdettweiler [2013-01-11 22:02:35] 705*2^1239099-1 is not prime. Res64: 69B485074158E80C Time : 0.0 sec. user=mdettweiler [2013-01-11 22:02:37] 723*2^1239099-1 is not prime. Res64: 3208585C1A7B3F38 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:05:47] 801*2^1239099-1 is not prime. Res64: EE940A24B895A3AA Time : 0.0 sec. user=mdettweiler [2013-01-11 22:05:48] 853*2^1239099-1 is not prime. Res64: 79C2892303B2EB88 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:20:11] 909*2^1239099-1 is not prime. Res64: 006814B962701AC9 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:20:11] 943*2^1239099-1 is not prime. Res64: 3F0BBD69F9E177EB Time : 0.0 sec. user=mdettweiler [2013-01-11 22:23:09] 647*2^1239100-1 is not prime. Res64: 573DB910B4E1C30F Time : 0.0 sec. user=mdettweiler [2013-01-11 22:23:10] 675*2^1239100-1 is not prime. Res64: 98D5AFC80414FDF4 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:37:31] 885*2^1239100-1 is not prime. Res64: DA394DE84B13EE9E Time : 0.0 sec. user=mdettweiler [2013-01-11 22:37:31] 619*2^1239101-1 is not prime. Res64: D3111C96412E48D5 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:40:30] 631*2^1239101-1 is not prime. Res64: 5E556772D08FC846 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:40:31] 645*2^1239101-1 is not prime. Res64: 8CB0A834F7E0DA67 Time : 0.0 sec. user=juhehe [2013-01-11 22:53:28] 735*2^1239100-1 is not prime. Res64: CD5C87847380CD68 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:54:53] 679*2^1239101-1 is not prime. Res64: 1467384577D1315B Time : 0.0 sec. user=mdettweiler [2013-01-11 22:54:53] 885*2^1239101-1 is not prime. Res64: FC3CCB3E96D60619 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:57:51] 931*2^1239101-1 is not prime. Res64: 91B2E2559E5DB8E8 Time : 0.0 sec. user=mdettweiler [2013-01-11 22:57:51] 615*2^1239102-1 is not prime. Res64: 7F05E1D21773262C Time : 0.0 sec. user=mdettweiler [2013-01-11 23:12:15] 621*2^1239102-1 is not prime. Res64: 7A514FC7D427F429 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:12:17] 695*2^1239102-1 is not prime. Res64: 6AB1B14F0D99401B Time : 0.0 sec. user=mdettweiler [2013-01-11 23:15:11] 725*2^1239102-1 is not prime. Res64: 66C5628710B2639F Time : 0.0 sec. user=mdettweiler [2013-01-11 23:15:14] 747*2^1239102-1 is not prime. Res64: 808B145E1FAA70B3 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:29:56] 885*2^1239102-1 is not prime. Res64: 9D4A9E58560B7DF7 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:29:56] 903*2^1239102-1 is not prime. Res64: 995F6CAD036878A3 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:32:40] 947*2^1239102-1 is not prime. Res64: AAEB7E809C1F1264 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:32:40] 793*2^1239103-1 is not prime. Res64: B15E40F11A35E464 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:47:26] 861*2^1239103-1 is not prime. Res64: 0DB7E70AF0783BD8 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:47:26] 883*2^1239103-1 is not prime. Res64: 63FA83083D38032A Time : 0.0 sec. user=mdettweiler [2013-01-11 23:50:01] 895*2^1239103-1 is not prime. Res64: A097A2C9E030BCC4 Time : 0.0 sec. user=mdettweiler [2013-01-11 23:50:01] 919*2^1239103-1 is not prime. Res64: 7541626E4C978323 Time : 0.0 sec.