user=mdettweiler [2013-06-13 00:03:09] 813*2^1246819-1 is not prime. Res64: B9D981CEFBB27974 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:03:31] 897*2^1246820-1 is not prime. Res64: 727E8EC361ED1F88 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:03:32] 935*2^1246820-1 is not prime. Res64: 5C4C4150C5C1C2F4 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:21:03] 621*2^1246821-1 is not prime. Res64: 1E7DA72321160B70 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:21:03] 829*2^1246821-1 is not prime. Res64: CC2095B8203905CF Time : 0.0 sec. user=mdettweiler [2013-06-13 00:22:53] 895*2^1246821-1 is not prime. Res64: 7DCAF0233E32A3FE Time : 0.0 sec. user=mdettweiler [2013-06-13 00:22:53] 975*2^1246821-1 is not prime. Res64: 3A43529700D85D0C Time : 0.0 sec. user=vaughan [2013-06-13 00:37:51] 983*2^1246820-1 is not prime. Res64: 4461F7CB14FBB385 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:39:41] 861*2^1246821-1 is not prime. Res64: 1077488DE9E9896C Time : 0.0 sec. user=mdettweiler [2013-06-13 00:39:42] 997*2^1246821-1 is not prime. Res64: D51B47108558F3E6 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:40:45] 619*2^1246823-1 is not prime. Res64: AFDD713C6EA56227 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:40:46] 673*2^1246823-1 is not prime. Res64: 33041E9EFEC76E5A Time : 0.0 sec. user=mdettweiler [2013-06-13 00:57:38] 729*2^1246823-1 is not prime. Res64: F1E95284EE86B0C6 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:59:23] 763*2^1246823-1 is not prime. Res64: 3B9D69A49D599060 Time : 0.0 sec. user=mdettweiler [2013-06-13 00:59:23] 993*2^1246823-1 is not prime. Res64: AD0383DA225FE5B4 Time : 0.0 sec. user=mdettweiler [2013-06-13 01:14:14] 735*2^1246823-1 is not prime. Res64: DC4B51ACCB525679 Time : 0.0 sec. user=mdettweiler [2013-06-13 01:17:57] 999*2^1246823-1 is not prime. Res64: BC9FFE554B9C919B Time : 0.0 sec. user=mdettweiler [2013-06-13 01:17:58] 615*2^1246824-1 is not prime. Res64: 9BAD148B39C965E5 Time : 0.0 sec. user=mdettweiler [2013-06-13 01:31:48] 627*2^1246824-1 is not prime. Res64: 089F3967B36B7439 Time : 0.0 sec. user=mdettweiler [2013-06-13 01:31:48] 657*2^1246824-1 is not prime. Res64: 14B7EA3591467185 Time : 0.0 sec. user=mdettweiler [2013-06-13 01:35:39] 903*2^1246824-1 is not prime. Res64: 17D5704F2BB50ADA Time : 0.0 sec. user=mdettweiler [2013-06-13 01:49:44] 927*2^1246824-1 is not prime. Res64: 7F23F05F0914B1D4 Time : 0.0 sec. user=vaughan [2013-06-13 01:56:35] 809*2^1246824-1 is not prime. Res64: 49A1869F7154B565 Time : 0.0 sec. user=mdettweiler [2013-06-13 02:14:24] 909*2^1246824-1 is not prime. Res64: 630769D5A27BA024 Time : 0.0 sec. user=mdettweiler [2013-06-13 02:29:02] 945*2^1246824-1 is not prime. Res64: 77176832A7AF39BF Time : 0.0 sec. user=vaughan [2013-06-13 02:36:26] 645*2^1246825-1 is not prime. Res64: 21F7DD7041A127FC Time : 0.0 sec. user=mdettweiler [2013-06-13 02:46:31] 667*2^1246825-1 is not prime. Res64: 23FE55EE4FBD00C9 Time : 0.0 sec. user=mdettweiler [2013-06-13 02:46:33] 717*2^1246825-1 is not prime. Res64: 1BF8610BEA4B7250 Time : 0.0 sec. user=mdettweiler [2013-06-13 02:54:15] 765*2^1246825-1 is not prime. Res64: 804E672026C93D43 Time : 0.0 sec. user=mdettweiler [2013-06-13 02:54:16] 775*2^1246825-1 is not prime. Res64: B863D0BF06CD1D58 Time : 0.0 sec. user=mdettweiler [2013-06-13 03:04:05] 811*2^1246825-1 is not prime. Res64: 54897DC5920DD551 Time : 0.0 sec. user=mdettweiler [2013-06-13 03:04:06] 861*2^1246825-1 is not prime. Res64: 0975B0E37384A0B7 Time : 0.0 sec. user=mdettweiler [2013-06-13 03:11:48] 871*2^1246825-1 is not prime. Res64: 61E97CFFA81877C3 Time : 0.0 sec. user=mdettweiler [2013-06-13 03:11:49] 915*2^1246825-1 is not prime. Res64: 6362D0E9EEF0EC4F Time : 0.0 sec. user=mdettweiler [2013-06-13 03:22:38] 999*2^1246825-1 is not prime. Res64: C423C67C0DA151F1 Time : 0.0 sec. user=mdettweiler [2013-06-13 03:22:39] 633*2^1246826-1 is not prime. Res64: 4DC0F6B1632E7B2F Time : 0.0 sec. user=mdettweiler [2013-06-13 03:29:39] 741*2^1246826-1 is not prime. Res64: 36A9D923D92D33BC Time : 0.0 sec. user=mdettweiler [2013-06-13 03:40:17] 887*2^1246826-1 is not prime. Res64: A6D11709844E2053 Time : 0.0 sec. user=vaughan [2013-06-13 03:55:27] 825*2^1246826-1 is not prime. Res64: E81798AFF458A16A Time : 0.0 sec. user=mdettweiler [2013-06-13 04:08:52] 743*2^1246826-1 is not prime. Res64: E34C4BF067FC9C6E Time : 0.0 sec. user=mdettweiler [2013-06-13 04:16:10] 921*2^1246826-1 is not prime. Res64: 22FD5798FC840231 Time : 0.0 sec. user=vaughan [2013-06-13 04:40:26] 963*2^1246826-1 is not prime. Res64: 8CA0C327393CBAD8 Time : 0.0 sec. user=mdettweiler [2013-06-13 04:50:56] 971*2^1246826-1 is not prime. Res64: 849C310152D5A0C0 Time : 0.0 sec. user=mdettweiler [2013-06-13 04:50:57] 1001*2^1246826-1 is not prime. Res64: 83F6AEE73BC36A6E Time : 0.0 sec. user=mdettweiler [2013-06-13 05:08:23] 735*2^1246827-1 is not prime. Res64: 943BD27F411AB15D Time : 0.0 sec. user=mdettweiler [2013-06-13 05:08:24] 849*2^1246827-1 is not prime. Res64: 7AB3A3E42C50BFE1 Time : 0.0 sec. user=mdettweiler [2013-06-13 05:08:48] 891*2^1246827-1 is not prime. Res64: 4EB4A8178A6F856E Time : 0.0 sec. user=vaughan [2013-06-13 05:20:13] 651*2^1246827-1 is not prime. Res64: 00543480C39BBEDF Time : 0.0 sec. user=mdettweiler [2013-06-13 05:26:56] 743*2^1246828-1 is not prime. Res64: 99A6973BF062988B Time : 0.0 sec. user=mdettweiler [2013-06-13 05:36:09] 903*2^1246827-1 is not prime. Res64: 4498E3B79C76B044 Time : 0.0 sec. user=mdettweiler [2013-06-13 05:53:39] 645*2^1246829-1 is not prime. Res64: 8526A86D90020286 Time : 0.0 sec. user=mdettweiler [2013-06-13 05:53:40] 789*2^1246829-1 is not prime. Res64: 25EE8882EDE94986 Time : 0.0 sec. user=mdettweiler [2013-06-13 05:54:30] 887*2^1246828-1 is not prime. Res64: 755693CDF0C207C7 Time : 0.0 sec. user=vaughan [2013-06-13 06:04:56] 989*2^1246828-1 is not prime. Res64: 5A8F1DADD9EEFF79 Time : 0.0 sec. user=mdettweiler [2013-06-13 06:11:07] 861*2^1246829-1 is not prime. Res64: C0C216EFFD17D457 Time : 0.0 sec. user=mdettweiler [2013-06-13 06:11:09] 907*2^1246829-1 is not prime. Res64: 9BBB84AA7B5A1926 Time : 0.0 sec. user=mdettweiler [2013-06-13 06:12:52] 969*2^1246829-1 is not prime. Res64: E67AFF764C9EA3F3 Time : 0.0 sec. user=mdettweiler [2013-06-13 06:12:53] 707*2^1246830-1 is not prime. Res64: 284347052A954E55 Time : 0.0 sec. user=mdettweiler [2013-06-13 06:29:10] 891*2^1246830-1 is not prime. Res64: F2E2E3EBFE886AE3 Time : 0.0 sec. user=mdettweiler [2013-06-13 06:30:39] 723*2^1246831-1 is not prime. Res64: 0256C68836E7C9B7 Time : 0.0 sec. user=mdettweiler [2013-06-13 06:30:39] 925*2^1246831-1 is not prime. Res64: CFA95FD63B8C39CA Time : 0.0 sec. user=vaughan [2013-06-13 06:44:31] 873*2^1246830-1 is not prime. Res64: 495895C3593C5C0C Time : 0.0 sec. user=mdettweiler [2013-06-13 06:48:26] 933*2^1246831-1 is not prime. Res64: F3419D49EBDF739A Time : 0.0 sec. user=mdettweiler [2013-06-13 06:48:27] 615*2^1246832-1 is not prime. Res64: 7F7C59D171CB54BB Time : 0.0 sec. user=mdettweiler [2013-06-13 07:03:36] 705*2^1246831-1 is not prime. Res64: F6971CB44F357096 Time : 0.0 sec. user=mdettweiler [2013-06-13 07:06:29] 725*2^1246832-1 is not prime. Res64: 6A80210F8EBA63D5 Time : 0.0 sec. user=mdettweiler [2013-06-13 07:21:37] 909*2^1246832-1 is not prime. Res64: 395C4E0C95E18720 Time : 0.0 sec. user=vaughan [2013-06-13 07:24:05] 719*2^1246832-1 is not prime. Res64: C23EA584DC96374E Time : 0.0 sec. user=mdettweiler [2013-06-13 07:31:31] 767*2^1246832-1 is not prime. Res64: 92FC25DB77C3035B Time : 0.0 sec. user=mdettweiler [2013-06-13 07:44:59] 741*2^1246833-1 is not prime. Res64: 041450A13B38C2C3 Time : 0.0 sec. user=mdettweiler [2013-06-13 07:49:05] 723*2^1246834-1 is not prime. Res64: 6743F70D447FFA7C Time : 0.0 sec. user=mdettweiler [2013-06-13 07:49:05] 737*2^1246834-1 is not prime. Res64: 76A383165EC40A67 Time : 0.0 sec. user=vaughan [2013-06-13 08:03:50] 781*2^1246833-1 is not prime. Res64: D0396D32C06508FE Time : 0.0 sec. user=mdettweiler [2013-06-13 08:06:52] 741*2^1246834-1 is not prime. Res64: B6A38B79320BAAD5 Time : 0.0 sec. user=mdettweiler [2013-06-13 08:06:53] 857*2^1246834-1 is not prime. Res64: 6D221B13AC74E62F Time : 0.0 sec. user=mdettweiler [2013-06-13 08:25:58] 941*2^1246834-1 is not prime. Res64: 34DE1D69FCCC6946 Time : 0.0 sec. user=mdettweiler [2013-06-13 08:26:21] 601*2^1246835-1 is not prime. Res64: E432B60611DFA7C6 Time : 0.0 sec. user=mdettweiler [2013-06-13 08:26:21] 643*2^1246835-1 is not prime. Res64: 691EA688AD11417C Time : 0.0 sec. user=mdettweiler [2013-06-13 08:44:07] 759*2^1246835-1 is not prime. Res64: D790F09004F17001 Time : 0.0 sec. user=mdettweiler [2013-06-13 08:44:08] 825*2^1246835-1 is not prime. Res64: FEE962F2B2DFBE8E Time : 0.0 sec. user=mdettweiler [2013-06-13 09:00:12] 983*2^1246834-1 is not prime. Res64: 39E48C174AFD1C37 Time : 0.0 sec. user=mdettweiler [2013-06-13 09:02:41] 999*2^1246835-1 is not prime. Res64: 9AC593597C17FD9E Time : 0.0 sec. user=mdettweiler [2013-06-13 09:02:42] 633*2^1246836-1 is not prime. Res64: DF40E930C24F9F7A Time : 0.0 sec. user=mdettweiler [2013-06-13 09:18:07] 705*2^1246836-1 is not prime. Res64: EAE839A66C7D8E24 Time : 0.0 sec. user=mdettweiler [2013-06-13 09:20:15] 789*2^1246836-1 is not prime. Res64: CEFCE3F1C6F51F16 Time : 0.0 sec. user=mdettweiler [2013-06-13 09:20:15] 825*2^1246836-1 is not prime. Res64: 36BAAD1A6B631B0E Time : 0.0 sec. user=vaughan [2013-06-13 09:22:48] 885*2^1246835-1 is not prime. Res64: D72BD6119A650831 Time : 0.0 sec. user=mdettweiler [2013-06-13 09:38:17] 837*2^1246836-1 is not prime. Res64: 64BBF4F94F38A8F1 Time : 0.0 sec. user=mdettweiler [2013-06-13 09:55:26] 723*2^1246836-1 is not prime. Res64: 70053BF683DC63ED Time : 0.0 sec. user=mdettweiler [2013-06-13 10:31:15] 607*2^1246837-1 is not prime. Res64: 5052AF8E05910F09 Time : 0.0 sec. user=mdettweiler [2013-06-13 10:31:16] 609*2^1246837-1 is not prime. Res64: 29E396ACF198D641 Time : 0.0 sec. user=mdettweiler [2013-06-13 10:36:02] 839*2^1246836-1 is not prime. Res64: DAD189B1D700425D Time : 0.0 sec. user=vaughan [2013-06-13 10:47:13] 999*2^1246836-1 is not prime. Res64: 8AAA56092DA4BD24 Time : 0.0 sec. user=mdettweiler [2013-06-13 10:48:44] 729*2^1246837-1 is not prime. Res64: 949508A32CEC602F Time : 0.0 sec. user=mdettweiler [2013-06-13 10:48:45] 859*2^1246837-1 is not prime. Res64: B2308E1F223829E9 Time : 0.0 sec. user=mdettweiler [2013-06-13 10:53:39] 861*2^1246837-1 is not prime. Res64: 0685F599F7E0141D Time : 0.0 sec. user=mdettweiler [2013-06-13 10:53:39] 889*2^1246837-1 is not prime. Res64: 16531032A2F49017 Time : 0.0 sec. user=mdettweiler [2013-06-13 11:06:46] 957*2^1246837-1 is not prime. Res64: A7C3A6070A0FBBB7 Time : 0.0 sec. user=mdettweiler [2013-06-13 11:06:47] 603*2^1246838-1 is not prime. Res64: 786B8D77C5A22ADE Time : 0.0 sec. user=mdettweiler [2013-06-13 11:12:29] 627*2^1246838-1 is not prime. Res64: 066E83507D2BAD39 Time : 0.0 sec. user=mdettweiler [2013-06-13 11:25:06] 741*2^1246839-1 is not prime. Res64: B750FEDF0C43B9AC Time : 0.0 sec. user=vaughan [2013-06-13 11:32:06] 955*2^1246837-1 is not prime. Res64: B1DCA70FD617D439 Time : 0.0 sec. user=mdettweiler [2013-06-13 11:42:01] 995*2^1246838-1 is not prime. Res64: CB0FE0DF8C458DD1 Time : 0.0 sec. user=mdettweiler [2013-06-13 11:48:38] 751*2^1246839-1 is not prime. Res64: 8980012039323AE2 Time : 0.0 sec. user=mdettweiler [2013-06-13 12:00:10] 865*2^1246839-1 is not prime. Res64: F6D663BBAC073132 Time : 0.0 sec. user=mdettweiler [2013-06-13 12:00:11] 879*2^1246839-1 is not prime. Res64: 05E83959BF724844 Time : 0.0 sec. user=mdettweiler [2013-06-13 12:06:29] 931*2^1246839-1 is not prime. Res64: DB3F0A6BE78EE304 Time : 0.0 sec. user=mdettweiler [2013-06-13 12:06:30] 961*2^1246839-1 is not prime. Res64: 25D539939B1DCE1A Time : 0.0 sec. user=vaughan [2013-06-13 12:11:40] 861*2^1246839-1 is not prime. Res64: D446667186AB278C Time : 0.0 sec. user=mdettweiler [2013-06-13 12:19:56] 969*2^1246839-1 is not prime. Res64: 9AFE3B4B4DABC9BD Time : 0.0 sec. user=mdettweiler [2013-06-13 12:24:31] 615*2^1246840-1 is not prime. Res64: 8AD69B82577DF7AD Time : 0.0 sec. user=mdettweiler [2013-06-13 12:42:51] 975*2^1246839-1 is not prime. Res64: 21B574854D87A3B4 Time : 0.0 sec. user=vaughan [2013-06-13 12:51:20] 635*2^1246840-1 is not prime. Res64: 2EF74646371E3BDA Time : 0.0 sec. user=mdettweiler [2013-06-13 12:54:50] 623*2^1246840-1 is not prime. Res64: 16990C1EC56CECF1 Time : 0.0 sec. user=mdettweiler [2013-06-13 13:00:50] 713*2^1246840-1 is not prime. Res64: D5BC816EF6AA4569 Time : 0.0 sec. user=mdettweiler [2013-06-13 13:25:10] 765*2^1246840-1 is not prime. Res64: AED3ED4D0E015196 Time : 0.0 sec. user=mdettweiler [2013-06-13 13:43:00] 785*2^1246840-1 is not prime. Res64: F39DD6A20F09DBDB Time : 0.0 sec. user=mdettweiler [2013-06-13 13:43:00] 819*2^1246840-1 is not prime. Res64: 776936CF6BD0BE63 Time : 0.0 sec. user=mdettweiler [2013-06-13 13:46:14] 873*2^1246840-1 is not prime. Res64: 67FFBBE45407D6F8 Time : 0.0 sec. user=mdettweiler [2013-06-13 13:46:14] 923*2^1246840-1 is not prime. Res64: F123C8A116FF3F39 Time : 0.0 sec. user=mdettweiler [2013-06-13 14:01:02] 649*2^1246841-1 is not prime. Res64: C46CFDFB8FC2173C Time : 0.0 sec. user=mdettweiler [2013-06-13 14:04:59] 865*2^1246841-1 is not prime. Res64: 6B79616280BB76A9 Time : 0.0 sec. user=mdettweiler [2013-06-13 14:05:00] 991*2^1246841-1 is not prime. Res64: F1A066FD206BEB87 Time : 0.0 sec. user=vaughan [2013-06-13 14:15:33] 939*2^1246840-1 is not prime. Res64: 6EE6C7C449862C91 Time : 0.0 sec. user=mdettweiler [2013-06-13 14:23:13] 651*2^1246842-1 is not prime. Res64: EFD49D21A3C15123 Time : 0.0 sec. user=mdettweiler [2013-06-13 14:23:14] 755*2^1246842-1 is not prime. Res64: 93B7FE17C187872D Time : 0.0 sec. user=mdettweiler [2013-06-13 14:27:05] 717*2^1246841-1 is not prime. Res64: B31787A3D1EB5644 Time : 0.0 sec. user=mdettweiler [2013-06-13 14:41:58] 807*2^1246842-1 is not prime. Res64: AB83A28EAB1275DF Time : 0.0 sec. user=mdettweiler [2013-06-13 14:41:58] 983*2^1246842-1 is not prime. Res64: 0D82704CD7B2C260 Time : 0.0 sec. user=mdettweiler [2013-06-13 14:59:56] 685*2^1246843-1 is not prime. Res64: 2D022945EBCB38CE Time : 0.0 sec. user=mdettweiler [2013-06-13 14:59:56] 741*2^1246843-1 is not prime. Res64: 82B2E27A7D0F236F Time : 0.0 sec. user=mdettweiler [2013-06-13 15:12:29] 775*2^1246843-1 is not prime. Res64: 0674DA81AF409954 Time : 0.0 sec. user=mdettweiler [2013-06-13 15:12:30] 835*2^1246843-1 is not prime. Res64: 7426CC6C5F010BF1 Time : 0.0 sec. user=mdettweiler [2013-06-13 15:17:47] 719*2^1246844-1 is not prime. Res64: B741BD3A9D3B0CB9 Time : 0.0 sec. user=mdettweiler [2013-06-13 15:17:47] 833*2^1246844-1 is not prime. Res64: A7E269F8197EFEAA Time : 0.0 sec. user=mdettweiler [2013-06-13 15:30:35] 903*2^1246844-1 is not prime. Res64: A765F8585C972F5B Time : 0.0 sec. user=mdettweiler [2013-06-13 15:30:35] 909*2^1246844-1 is not prime. Res64: F9674C066E0D1DBD Time : 0.0 sec. user=mdettweiler [2013-06-13 15:36:32] 957*2^1246844-1 is not prime. Res64: 425397B9B57AC80F Time : 0.0 sec. user=mdettweiler [2013-06-13 15:36:32] 995*2^1246844-1 is not prime. Res64: E74EB3406F25C691 Time : 0.0 sec. user=vaughan [2013-06-13 15:39:47] 895*2^1246843-1 is not prime. Res64: F4503C99CECDC550 Time : 0.0 sec. user=mdettweiler [2013-06-13 15:48:37] 609*2^1246845-1 is not prime. Res64: F1DA2CE3A066E5F1 Time : 0.0 sec. user=mdettweiler [2013-06-13 15:54:34] 651*2^1246845-1 is not prime. Res64: 56270ED53B9E8FB5 Time : 0.0 sec. user=mdettweiler [2013-06-13 16:18:17] 787*2^1246845-1 is not prime. Res64: 4FA11C4CEF029101 Time : 0.0 sec. user=vaughan [2013-06-13 16:19:20] 859*2^1246845-1 is not prime. Res64: A0B9A6BC6CDB1549 Time : 0.0 sec. user=mdettweiler [2013-06-13 16:26:39] 627*2^1246845-1 is not prime. Res64: 84BC9547A2F9A25F Time : 0.0 sec. user=mdettweiler [2013-06-13 16:36:24] 927*2^1246845-1 is not prime. Res64: 915C04FA0C4BCB6B Time : 0.0 sec. user=mdettweiler [2013-06-13 16:36:24] 713*2^1246846-1 is not prime. Res64: 906487B10054DE9E Time : 0.0 sec. user=mdettweiler [2013-06-13 16:44:44] 801*2^1246846-1 is not prime. Res64: 502FC58B2DB0EC68 Time : 0.0 sec. user=mdettweiler [2013-06-13 16:44:44] 945*2^1246846-1 is not prime. Res64: E4B6F89E7BFED6D7 Time : 0.0 sec. user=mdettweiler [2013-06-13 16:54:25] 947*2^1246846-1 is not prime. Res64: E3D4958755994E99 Time : 0.0 sec. user=vaughan [2013-06-13 16:58:50] 741*2^1246846-1 is not prime. Res64: E0B494DE9C7CF54F Time : 0.0 sec. user=mdettweiler [2013-06-13 17:02:49] 931*2^1246847-1 is not prime. Res64: F4AA56E145B47337 Time : 0.0 sec. user=mdettweiler [2013-06-13 17:30:56] 705*2^1246847-1 is not prime. Res64: 21F6CC5BEC5279A9 Time : 0.0 sec. user=mdettweiler [2013-06-13 17:33:58] 633*2^1246848-1 is not prime. Res64: 2FECBF66A31A518C Time : 0.0 sec. user=vaughan [2013-06-13 17:38:15] 663*2^1246848-1 is not prime. Res64: 2CE29717AF672EF6 Time : 0.0 sec. user=mdettweiler [2013-06-13 17:49:01] 669*2^1246848-1 is not prime. Res64: 6624E5B82D64943A Time : 0.0 sec. user=mdettweiler [2013-06-13 17:52:02] 619*2^1246849-1 is not prime. Res64: 470FB49935E1087B Time : 0.0 sec. user=vaughan [2013-06-13 18:17:58] 747*2^1246849-1 is not prime. Res64: 039E91A21ADC7845 Time : 0.0 sec. user=mdettweiler [2013-06-13 18:21:08] 789*2^1246848-1 is not prime. Res64: 2BDEAEC46015B78E Time : 0.0 sec. user=mdettweiler [2013-06-13 18:21:51] 745*2^1246849-1 is not prime. Res64: 35DB6568F3E8578B Time : 0.0 sec. user=mdettweiler [2013-06-13 18:39:19] 829*2^1246849-1 is not prime. Res64: 2987D260CAC19073 Time : 0.0 sec. user=mdettweiler [2013-06-13 18:40:48] 885*2^1246849-1 is not prime. Res64: A763D7008D30125D Time : 0.0 sec. user=vaughan [2013-06-13 18:57:39] 801*2^1246849-1 is not prime. Res64: 7C1EDE1F01D114E9 Time : 0.0 sec. user=mdettweiler [2013-06-13 18:59:02] 847*2^1246849-1 is not prime. Res64: 44922B3EB04E1EEE Time : 0.0 sec. user=mdettweiler [2013-06-13 19:08:16] 987*2^1246849-1 is not prime. Res64: 21A7CB8B7A0374BD Time : 0.0 sec. user=mdettweiler [2013-06-13 19:41:49] 717*2^1246850-1 is not prime. Res64: DF65258DD6E4FC0E Time : 0.0 sec. user=mdettweiler [2013-06-13 19:41:49] 831*2^1246850-1 is not prime. Res64: F41EB4F7C889D56C Time : 0.0 sec. user=mdettweiler [2013-06-13 19:56:39] 945*2^1246850-1 is not prime. Res64: 871C52B24CB6DDE6 Time : 0.0 sec. user=mdettweiler [2013-06-13 19:56:39] 609*2^1246851-1 is not prime. Res64: EA53B2EFE188618A Time : 0.0 sec. user=mdettweiler [2013-06-13 20:00:15] 691*2^1246851-1 is not prime. Res64: C8B452300349D044 Time : 0.0 sec. user=mdettweiler [2013-06-13 20:00:16] 711*2^1246851-1 is not prime. Res64: 89ED86EFCC0DA1D6 Time : 0.0 sec. user=mdettweiler [2013-06-13 20:16:04] 849*2^1246851-1 is not prime. Res64: AE92A2C176B188F7 Time : 0.0 sec. user=mdettweiler [2013-06-13 20:19:07] 653*2^1246852-1 is not prime. Res64: 1741F4A71E362430 Time : 0.0 sec. user=vaughan [2013-06-13 20:21:59] 923*2^1246850-1 is not prime. Res64: BF2B7CE0B1E2D0F7 Time : 0.0 sec. user=mdettweiler [2013-06-13 20:39:10] 803*2^1246852-1 is not prime. Res64: DC2ADF834FAB316A Time : 0.0 sec. user=mdettweiler [2013-06-13 20:48:30] 999*2^1246851-1 is not prime. Res64: 4B6ADD227AEBA1B1 Time : 0.0 sec. user=mdettweiler [2013-06-13 20:57:45] 915*2^1246852-1 is not prime. Res64: 26814AA45DAD1160 Time : 0.0 sec. user=mdettweiler [2013-06-13 20:57:45] 615*2^1246853-1 is not prime. Res64: 07E0CC14E09EFB37 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:06:46] 649*2^1246853-1 is not prime. Res64: A9DAAD2EE92C3126 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:15:44] 699*2^1246853-1 is not prime. Res64: A3D5059B44CAAA32 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:15:44] 727*2^1246853-1 is not prime. Res64: 19A0C27D25975FC0 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:33:29] 775*2^1246853-1 is not prime. Res64: C4BECACE681A9A39 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:33:29] 795*2^1246853-1 is not prime. Res64: EBA7F549DE23B7F9 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:33:50] 657*2^1246853-1 is not prime. Res64: 0E133ED9032B44F6 Time : 0.0 sec. user=vaughan [2013-06-13 21:40:44] 735*2^1246853-1 is not prime. Res64: D51DEE64C776B821 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:51:08] 915*2^1246853-1 is not prime. Res64: 92D1F1FC691CC300 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:51:08] 681*2^1246854-1 is not prime. Res64: A99E20285E5C3AA1 Time : 0.0 sec. user=mdettweiler [2013-06-13 21:51:29] 707*2^1246854-1 is not prime. Res64: 367E4956C16D8AFE Time : 0.0 sec. user=mdettweiler [2013-06-13 21:51:29] 797*2^1246854-1 is not prime. Res64: FA535835BC1D873C Time : 0.0 sec. user=mdettweiler [2013-06-13 22:09:03] 921*2^1246854-1 is not prime. Res64: 166F5378ABE16316 Time : 0.0 sec. user=mdettweiler [2013-06-13 22:09:25] 625*2^1246855-1 is not prime. Res64: DB0FA54F9911FFC1 Time : 0.0 sec. user=vaughan [2013-06-13 22:25:54] 891*2^1246854-1 is not prime. Res64: 60AACB261444B8AD Time : 0.0 sec. user=mdettweiler [2013-06-13 22:28:01] 645*2^1246855-1 is not prime. Res64: CCF31C9827BD19B2 Time : 0.0 sec. user=mdettweiler [2013-06-13 22:38:50] 603*2^1246855-1 is not prime. Res64: DFBE8CD674275D67 Time : 0.0 sec. user=mdettweiler [2013-06-13 22:45:37] 871*2^1246855-1 is not prime. Res64: 8CBD2AF2EB076E0A Time : 0.0 sec. user=mdettweiler [2013-06-13 22:45:37] 659*2^1246856-1 is not prime. Res64: E076A3AF7E741BE7 Time : 0.0 sec. user=mdettweiler [2013-06-13 22:56:27] 735*2^1246856-1 is not prime. Res64: 005B6365B7A4FF1B Time : 0.0 sec. user=mdettweiler [2013-06-13 22:56:27] 759*2^1246856-1 is not prime. Res64: F0F69763B2924D1E Time : 0.0 sec. user=mdettweiler [2013-06-13 23:03:25] 767*2^1246856-1 is not prime. Res64: B2883820EBB97B41 Time : 0.0 sec. user=vaughan [2013-06-13 23:05:54] 675*2^1246855-1 is not prime. Res64: 567C4069D2D47A9D Time : 0.0 sec. user=mdettweiler [2013-06-13 23:14:17] 903*2^1246856-1 is not prime. Res64: 855339F957CB61A1 Time : 0.0 sec. user=mdettweiler [2013-06-13 23:35:03] 815*2^1246856-1 is not prime. Res64: BD6B2E7396B63475 Time : 0.0 sec. user=mdettweiler [2013-06-13 23:53:07] 923*2^1246856-1 is not prime. Res64: D0AAA935883BF737 Time : 0.0 sec.