user=mdettweiler [2013-07-20 00:06:00] 795*2^1247868-1 is not prime. Res64: 267A09B821DB6344 Time : 0.0 sec. user=mdettweiler [2013-07-20 00:06:01] 839*2^1247868-1 is not prime. Res64: F499791140F3535A Time : 0.0 sec. user=juhehe [2013-07-20 00:20:12] 789*2^1247868-1 is not prime. Res64: B722CA8687775466 Time : 0.0 sec. user=mdettweiler [2013-07-20 00:23:15] 843*2^1247868-1 is not prime. Res64: 0E20E3A9E4B8B562 Time : 0.0 sec. user=mdettweiler [2013-07-20 00:23:15] 933*2^1247868-1 is not prime. Res64: E79887DFA72E45FA Time : 0.0 sec. user=mdettweiler [2013-07-20 00:41:06] 959*2^1247868-1 is not prime. Res64: A37407FCC9B675EC Time : 0.0 sec. user=mdettweiler [2013-07-20 00:41:07] 625*2^1247869-1 is not prime. Res64: 81D0E5F13B3F7762 Time : 0.0 sec. user=mdettweiler [2013-07-20 00:58:11] 771*2^1247869-1 is not prime. Res64: 0AAB2FA0C9A5C04E Time : 0.0 sec. user=mdettweiler [2013-07-20 00:58:12] 885*2^1247869-1 is not prime. Res64: 0F42C728385A8054 Time : 0.0 sec. user=mdettweiler [2013-07-20 01:15:15] 603*2^1247870-1 is not prime. Res64: D66F01B8D8515E12 Time : 0.0 sec. user=mdettweiler [2013-07-20 01:15:15] 665*2^1247870-1 is not prime. Res64: 9BCFDC20CC51193B Time : 0.0 sec. user=mdettweiler [2013-07-20 01:32:18] 677*2^1247870-1 is not prime. Res64: 5693792390A03171 Time : 0.0 sec. user=mdettweiler [2013-07-20 01:32:18] 773*2^1247870-1 is not prime. Res64: CAF6A84008D591A3 Time : 0.0 sec. user=mdettweiler [2013-07-20 01:49:20] 867*2^1247870-1 is not prime. Res64: 65244E51F9D660CC Time : 0.0 sec. user=mdettweiler [2013-07-20 01:49:20] 893*2^1247870-1 is not prime. Res64: 5B4C0E486764F19F Time : 0.0 sec. user=mdettweiler [2013-07-20 02:06:23] 897*2^1247870-1 is not prime. Res64: 539AA7A8D29CF58F Time : 0.0 sec. user=mdettweiler [2013-07-20 02:06:24] 935*2^1247870-1 is not prime. Res64: 8103D7C36B7EEC47 Time : 0.0 sec. user=mdettweiler [2013-07-20 02:23:26] 751*2^1247871-1 is not prime. Res64: BC639FEDE458DD9C Time : 0.0 sec. user=mdettweiler [2013-07-20 02:23:27] 859*2^1247871-1 is not prime. Res64: 1AAA2246AF08422C Time : 0.0 sec. user=juhehe [2013-07-20 02:37:01] 691*2^1247871-1 is not prime. Res64: C056737143A1CA11 Time : 0.0 sec. user=mdettweiler [2013-07-20 02:41:18] 871*2^1247871-1 is not prime. Res64: EC97008D7484DA9D Time : 0.0 sec. user=mdettweiler [2013-07-20 02:41:19] 955*2^1247871-1 is not prime. Res64: FC62FA80D8DF4B50 Time : 0.0 sec. user=mdettweiler [2013-07-20 02:59:32] 973*2^1247871-1 is not prime. Res64: 900092A467544523 Time : 0.0 sec. user=mdettweiler [2013-07-20 02:59:32] 657*2^1247872-1 is not prime. Res64: 93E9522E129A2814 Time : 0.0 sec. user=mdettweiler [2013-07-20 03:16:36] 743*2^1247872-1 is not prime. Res64: 31CAA531BF6F4FAC Time : 0.0 sec. user=mdettweiler [2013-07-20 03:16:37] 897*2^1247872-1 is not prime. Res64: 1DAA021739E80BF7 Time : 0.0 sec. user=mdettweiler [2013-07-20 03:34:28] 939*2^1247872-1 is not prime. Res64: C2E37E03644C8D65 Time : 0.0 sec. user=mdettweiler [2013-07-20 03:34:29] 999*2^1247872-1 is not prime. Res64: 4481FA70202B73F6 Time : 0.0 sec. user=mdettweiler [2013-07-20 03:51:46] 619*2^1247873-1 is not prime. Res64: D2A7ECB025527A4B Time : 0.0 sec. user=mdettweiler [2013-07-20 03:51:46] 631*2^1247873-1 is not prime. Res64: D761F8A452B12BA8 Time : 0.0 sec. user=juhehe [2013-07-20 03:54:18] 923*2^1247872-1 is not prime. Res64: F24C726A1C6AFBA3 Time : 0.0 sec. user=juhehe [2013-07-20 03:55:45] 607*2^1247873-1 is not prime. Res64: F0474378CB57E4CE Time : 0.0 sec. user=mdettweiler [2013-07-20 04:08:49] 699*2^1247873-1 is not prime. Res64: 382CC16FE2771FC8 Time : 0.0 sec. user=mdettweiler [2013-07-20 04:08:50] 741*2^1247873-1 is not prime. Res64: 109626C990368B20 Time : 0.0 sec. user=mdettweiler [2013-07-20 04:25:57] 759*2^1247873-1 is not prime. Res64: C7EA2DB2406AD401 Time : 0.0 sec. user=mdettweiler [2013-07-20 04:25:57] 781*2^1247873-1 is not prime. Res64: 8F69F282C9FBE164 Time : 0.0 sec. user=mdettweiler [2013-07-20 04:43:00] 811*2^1247873-1 is not prime. Res64: CF6FEABB5C488982 Time : 0.0 sec. user=mdettweiler [2013-07-20 04:43:01] 773*2^1247874-1 is not prime. Res64: 7AEDB6632D22D9D5 Time : 0.0 sec. user=mdettweiler [2013-07-20 05:00:07] 851*2^1247874-1 is not prime. Res64: 8C5968773E2143B7 Time : 0.0 sec. user=mdettweiler [2013-07-20 05:00:09] 887*2^1247874-1 is not prime. Res64: 37DD289368571C75 Time : 0.0 sec. user=mdettweiler [2013-07-20 05:17:12] 603*2^1247875-1 is not prime. Res64: 3660035D48416633 Time : 0.0 sec. user=mdettweiler [2013-07-20 05:17:13] 723*2^1247875-1 is not prime. Res64: 284048ADED311425 Time : 0.0 sec. user=mdettweiler [2013-07-20 05:34:15] 871*2^1247875-1 is not prime. Res64: 0AAA261871CC3B39 Time : 0.0 sec. user=mdettweiler [2013-07-20 05:34:15] 939*2^1247875-1 is not prime. Res64: 8B95D87C3B15971B Time : 0.0 sec. user=mdettweiler [2013-07-20 05:51:17] 617*2^1247876-1 is not prime. Res64: EDE0E07B2EF59956 Time : 0.0 sec. user=mdettweiler [2013-07-20 05:51:18] 629*2^1247876-1 is not prime. Res64: D78656CFF0F78827 Time : 0.0 sec. user=juhehe [2013-07-20 05:57:31] 805*2^1247875-1 is not prime. Res64: 9D66172D8A8F035E Time : 0.0 sec. user=mdettweiler [2013-07-20 06:08:20] 669*2^1247876-1 is not prime. Res64: 3C05C8ED0114BED0 Time : 0.0 sec. user=mdettweiler [2013-07-20 06:08:21] 699*2^1247876-1 is not prime. Res64: F211E24561680364 Time : 0.0 sec. user=mdettweiler [2013-07-20 06:25:28] 743*2^1247876-1 is not prime. Res64: C0D876A62572CE4A Time : 0.0 sec. user=mdettweiler [2013-07-20 06:25:28] 749*2^1247876-1 is not prime. Res64: 18E76012353B0A39 Time : 0.0 sec. user=mdettweiler [2013-07-20 06:42:31] 773*2^1247876-1 is not prime. Res64: 92EE46A42DD099CA Time : 0.0 sec. user=mdettweiler [2013-07-20 06:42:31] 837*2^1247876-1 is not prime. Res64: 0FFD7F25E3511D3E Time : 0.0 sec. user=mdettweiler [2013-07-20 07:00:23] 875*2^1247876-1 is not prime. Res64: 886D3A72EA078D1B Time : 0.0 sec. user=mdettweiler [2013-07-20 07:00:24] 993*2^1247876-1 is not prime. Res64: 9D03F81A8A9F1284 Time : 0.0 sec. user=mdettweiler [2013-07-20 07:18:17] 999*2^1247876-1 is not prime. Res64: 772AC7CE68968C95 Time : 0.0 sec. user=mdettweiler [2013-07-20 07:18:18] 615*2^1247877-1 is not prime. Res64: C7F0E919B497DC40 Time : 0.0 sec. user=mdettweiler [2013-07-20 07:35:20] 649*2^1247877-1 is not prime. Res64: 577980415F255EEE Time : 0.0 sec. user=mdettweiler [2013-07-20 07:35:21] 747*2^1247877-1 is not prime. Res64: B4246BAA2BD70708 Time : 0.0 sec. user=mdettweiler [2013-07-20 07:52:22] 817*2^1247877-1 is not prime. Res64: 64AD1345CB733909 Time : 0.0 sec. user=mdettweiler [2013-07-20 07:52:23] 889*2^1247877-1 is not prime. Res64: 6448F14E323C3AB4 Time : 0.0 sec. user=mdettweiler [2013-07-20 08:10:13] 985*2^1247787-1 is not prime. Res64: 6F3443D78A865B79 Time : 0.0 sec. user=mdettweiler [2013-07-20 08:10:15] 603*2^1247878-1 is not prime. Res64: 4599DEB387B12BC8 Time : 0.0 sec. user=mdettweiler [2013-07-20 08:27:22] 713*2^1247878-1 is not prime. Res64: B8EF5AFFEDBB3697 Time : 0.0 sec. user=mdettweiler [2013-07-20 08:27:22] 723*2^1247878-1 is not prime. Res64: 4482D979A5457839 Time : 0.0 sec. user=mdettweiler [2013-07-20 08:44:24] 737*2^1247878-1 is not prime. Res64: 9FA6AD32C992F5E4 Time : 0.0 sec. user=mdettweiler [2013-07-20 08:44:24] 791*2^1247878-1 is not prime. Res64: F346171E42C3FAD0 Time : 0.0 sec. user=mdettweiler [2013-07-20 09:01:27] 827*2^1247878-1 is not prime. Res64: 5B5736024716272B Time : 0.0 sec. user=mdettweiler [2013-07-20 09:01:29] 897*2^1247878-1 is not prime. Res64: 3C59C217814449CF Time : 0.0 sec. user=mdettweiler [2013-07-20 09:18:41] 669*2^1247879-1 is not prime. Res64: 21DB5A0C5A2FB949 Time : 0.0 sec. user=mdettweiler [2013-07-20 09:18:42] 735*2^1247879-1 is not prime. Res64: 45EF158C6CB4D651 Time : 0.0 sec. user=mdettweiler [2013-07-20 09:35:44] 753*2^1247879-1 is not prime. Res64: ACFF9F3BAC7E6CF4 Time : 0.0 sec. user=mdettweiler [2013-07-20 09:35:44] 843*2^1247879-1 is not prime. Res64: AFEA58281F82BBFE Time : 0.0 sec. user=mdettweiler [2013-07-20 09:53:34] 855*2^1247879-1 is not prime. Res64: 8BA16C674223DB03 Time : 0.0 sec. user=mdettweiler [2013-07-20 09:53:34] 993*2^1247879-1 is not prime. Res64: D5E1054E8FD5AC2B Time : 0.0 sec. user=mdettweiler [2013-07-20 10:11:24] 999*2^1247879-1 is not prime. Res64: FCC35087FD0B6F1B Time : 0.0 sec. user=mdettweiler [2013-07-20 10:11:25] 693*2^1247880-1 is not prime. Res64: E340588CB155FCE9 Time : 0.0 sec. user=mdettweiler [2013-07-20 10:28:36] 779*2^1247880-1 is not prime. Res64: 34AD69299FFB6E31 Time : 0.0 sec. user=mdettweiler [2013-07-20 10:28:36] 887*2^1247880-1 is not prime. Res64: F61E00DA88864208 Time : 0.0 sec. user=mdettweiler [2013-07-20 10:47:02] 899*2^1247880-1 is not prime. Res64: A8EAD6BEF5AD2A45 Time : 0.0 sec. user=mdettweiler [2013-07-20 10:47:02] 983*2^1247880-1 is not prime. Res64: 69A9042B4C13E546 Time : 0.0 sec. user=mdettweiler [2013-07-20 11:04:48] 601*2^1247881-1 is not prime. Res64: 2B08006954467F26 Time : 0.0 sec. user=mdettweiler [2013-07-20 11:04:49] 625*2^1247881-1 is not prime. Res64: 1002F70F864A5947 Time : 0.0 sec. user=mdettweiler [2013-07-20 11:22:49] 637*2^1247881-1 is not prime. Res64: 54DDCC015E4C54DD Time : 0.0 sec. user=mdettweiler [2013-07-20 11:22:49] 789*2^1247881-1 is not prime. Res64: C0677A9A92711A64 Time : 0.0 sec. user=mdettweiler [2013-07-20 11:40:43] 635*2^1247882-1 is not prime. Res64: 5726A3CED749DE24 Time : 0.0 sec. user=mdettweiler [2013-07-20 11:40:43] 735*2^1247882-1 is not prime. Res64: D4D78EF51D498265 Time : 0.0 sec. user=mdettweiler [2013-07-20 11:58:29] 785*2^1247882-1 is not prime. Res64: A4C7AF351F0AA6C7 Time : 0.0 sec. user=mdettweiler [2013-07-20 11:58:30] 921*2^1247882-1 is not prime. Res64: 190995994338B087 Time : 0.0 sec. user=mdettweiler [2013-07-20 12:17:45] 951*2^1247882-1 is not prime. Res64: 1B648B4A919F44CD Time : 0.0 sec. user=mdettweiler [2013-07-20 12:17:45] 977*2^1247882-1 is not prime. Res64: 0320F338CB0C1621 Time : 0.0 sec. user=mdettweiler [2013-07-20 12:35:21] 615*2^1247883-1 is not prime. Res64: CBD8B7F8A852B06C Time : 0.0 sec. user=mdettweiler [2013-07-20 12:35:21] 705*2^1247883-1 is not prime. Res64: A85ABA309007FF1B Time : 0.0 sec. user=mdettweiler [2013-07-20 12:53:51] 741*2^1247883-1 is not prime. Res64: 1B85C7D2A861C986 Time : 0.0 sec. user=mdettweiler [2013-07-20 12:53:51] 955*2^1247883-1 is not prime. Res64: FCE863AC7BE424E3 Time : 0.0 sec. user=mdettweiler [2013-07-20 13:13:08] 961*2^1247883-1 is not prime. Res64: A41556D01739329F Time : 0.0 sec. user=mdettweiler [2013-07-20 13:13:08] 963*2^1247883-1 is not prime. Res64: 69F1628AEC90DDB7 Time : 0.0 sec. user=mdettweiler [2013-07-20 13:30:46] 605*2^1247884-1 is not prime. Res64: CDDD668AC92DAAC4 Time : 0.0 sec. user=mdettweiler [2013-07-20 13:30:47] 687*2^1247884-1 is not prime. Res64: 0F388C79308CFD06 Time : 0.0 sec. user=mdettweiler [2013-07-20 13:49:13] 869*2^1247884-1 is not prime. Res64: 83536BA9955B1608 Time : 0.0 sec. user=mdettweiler [2013-07-20 13:49:14] 959*2^1247884-1 is not prime. Res64: 25DFE691071FD5FA Time : 0.0 sec. user=mdettweiler [2013-07-20 14:07:43] 993*2^1247884-1 is not prime. Res64: 20724D1EB8C37690 Time : 0.0 sec. user=mdettweiler [2013-07-20 14:07:44] 645*2^1247885-1 is not prime. Res64: C4EFA477986019FA Time : 0.0 sec. user=mdettweiler [2013-07-20 14:25:26] 657*2^1247885-1 is not prime. Res64: 442619F3AAEE5AC0 Time : 0.0 sec. user=mdettweiler [2013-07-20 14:25:26] 729*2^1247885-1 is not prime. Res64: 0CBE4AFE3C2B9D29 Time : 0.0 sec. user=mdettweiler [2013-07-20 14:43:05] 789*2^1247885-1 is not prime. Res64: 4BF2E082AB75E7EE Time : 0.0 sec. user=mdettweiler [2013-07-20 14:43:06] 811*2^1247885-1 is not prime. Res64: 7B2458E807F4980C Time : 0.0 sec. user=mdettweiler [2013-07-20 15:01:24] 871*2^1247885-1 is not prime. Res64: E3394BD573455DA0 Time : 0.0 sec. user=mdettweiler [2013-07-20 15:01:25] 945*2^1247886-1 is not prime. Res64: DB12F475CF56E1F5 Time : 0.0 sec. user=mdettweiler [2013-07-20 15:19:31] 947*2^1247886-1 is not prime. Res64: 044542D4BB1037C3 Time : 0.0 sec. user=mdettweiler [2013-07-20 15:19:32] 715*2^1247887-1 is not prime. Res64: 57CC6439B8A9D942 Time : 0.0 sec. user=mdettweiler [2013-07-20 15:38:27] 999*2^1247887-1 is not prime. Res64: 5F7980778193B4DF Time : 0.0 sec. user=mdettweiler [2013-07-20 15:38:27] 623*2^1247888-1 is not prime. Res64: 402044E926E27768 Time : 0.0 sec. user=mdettweiler [2013-07-20 15:56:17] 669*2^1247888-1 is not prime. Res64: 66E8928672D96C63 Time : 0.0 sec. user=mdettweiler [2013-07-20 15:56:17] 699*2^1247888-1 is not prime. Res64: 86D2BB2800271303 Time : 0.0 sec. user=mdettweiler [2013-07-20 16:14:01] 767*2^1247888-1 is not prime. Res64: C5C2E60ED2208207 Time : 0.0 sec. user=mdettweiler [2013-07-20 16:14:01] 815*2^1247888-1 is not prime. Res64: 8418168C414FA5AF Time : 0.0 sec. user=mdettweiler [2013-07-20 16:31:45] 819*2^1247888-1 is not prime. Res64: D3D120A68D26D74A Time : 0.0 sec. user=mdettweiler [2013-07-20 16:31:45] 827*2^1247888-1 is not prime. Res64: 5BF242F2B3412296 Time : 0.0 sec. user=mdettweiler [2013-07-20 16:49:29] 845*2^1247888-1 is not prime. Res64: 4038E654EE6647C5 Time : 0.0 sec. user=mdettweiler [2013-07-20 16:49:30] 855*2^1247888-1 is not prime. Res64: 4A5DBE0F97B2CE52 Time : 0.0 sec. user=mdettweiler [2013-07-20 17:08:06] 915*2^1247888-1 is not prime. Res64: 4F376C77C1D6267D Time : 0.0 sec. user=mdettweiler [2013-07-20 17:08:07] 959*2^1247888-1 is not prime. Res64: 38E7FF40F5ECADED Time : 0.0 sec. user=mdettweiler [2013-07-20 17:25:56] 861*2^1247889-1 is not prime. Res64: D8E39D12F98001D9 Time : 0.0 sec. user=mdettweiler [2013-07-20 17:25:56] 885*2^1247889-1 is not prime. Res64: E6FC6DDDEBBC38F0 Time : 0.0 sec. user=mdettweiler [2013-07-20 17:45:20] 949*2^1247889-1 is not prime. Res64: 5DA528E5CF952426 Time : 0.0 sec. user=mdettweiler [2013-07-20 17:45:20] 999*2^1247889-1 is not prime. Res64: 17CDFE441FBD25D3 Time : 0.0 sec. user=mdettweiler [2013-07-20 18:03:01] 681*2^1247890-1 is not prime. Res64: E2F0801926886F7E Time : 0.0 sec. user=mdettweiler [2013-07-20 18:03:02] 723*2^1247890-1 is not prime. Res64: E3275842236C48C6 Time : 0.0 sec. user=mdettweiler [2013-07-20 18:20:57] 801*2^1247890-1 is not prime. Res64: CAEEEFBC277293CE Time : 0.0 sec. user=mdettweiler [2013-07-20 18:20:58] 867*2^1247890-1 is not prime. Res64: 64BF9D2FB208FD48 Time : 0.0 sec. user=mdettweiler [2013-07-20 18:38:37] 917*2^1247890-1 is not prime. Res64: 922AE3643539A3F4 Time : 0.0 sec. user=mdettweiler [2013-07-20 18:38:37] 941*2^1247890-1 is not prime. Res64: 27AF67C154CA0CAA Time : 0.0 sec. user=mdettweiler [2013-07-20 18:57:56] 951*2^1247890-1 is not prime. Res64: 536D1B9A8D129020 Time : 0.0 sec. user=mdettweiler [2013-07-20 18:57:57] 971*2^1247890-1 is not prime. Res64: C6194F4D0C101C5C Time : 0.0 sec. user=mdettweiler [2013-07-20 19:16:22] 1001*2^1247890-1 is not prime. Res64: D7F4A38D46488295 Time : 0.0 sec. user=mdettweiler [2013-07-20 19:16:22] 669*2^1247891-1 is not prime. Res64: A342EA5F25FC8C30 Time : 0.0 sec. user=mdettweiler [2013-07-20 19:34:10] 895*2^1247891-1 is not prime. Res64: 1C3626888958AA3B Time : 0.0 sec. user=mdettweiler [2013-07-20 19:34:10] 921*2^1247891-1 is not prime. Res64: 6E335C641C186494 Time : 0.0 sec. user=mdettweiler [2013-07-20 19:52:47] 979*2^1247891-1 is not prime. Res64: 8DEA56ADA4AEDD90 Time : 0.0 sec. user=mdettweiler [2013-07-20 19:52:47] 635*2^1247892-1 is not prime. Res64: 09B6F81D34887759 Time : 0.0 sec. user=mdettweiler [2013-07-20 20:10:34] 759*2^1247892-1 is not prime. Res64: 585A9FB2B1D8C8CF Time : 0.0 sec. user=mdettweiler [2013-07-20 20:10:34] 779*2^1247892-1 is not prime. Res64: AE4858043348877A Time : 0.0 sec. user=mdettweiler [2013-07-20 20:28:24] 837*2^1247892-1 is not prime. Res64: 2347904664586674 Time : 0.0 sec. user=mdettweiler [2013-07-20 20:28:25] 609*2^1247893-1 is not prime. Res64: 3DA4C0BA89A27846 Time : 0.0 sec. user=mdettweiler [2013-07-20 20:45:36] 745*2^1247893-1 is not prime. Res64: 6B3DDA2DCBAAD5B3 Time : 0.0 sec. user=mdettweiler [2013-07-20 20:45:36] 757*2^1247893-1 is not prime. Res64: D209F99163D7B042 Time : 0.0 sec. user=mdettweiler [2013-07-20 21:03:28] 957*2^1247893-1 is not prime. Res64: 64661BA3F53E9F69 Time : 0.0 sec. user=mdettweiler [2013-07-20 21:03:29] 683*2^1247894-1 is not prime. Res64: E40A4D4AB1089FEF Time : 0.0 sec. user=mdettweiler [2013-07-20 21:20:42] 711*2^1247894-1 is not prime. Res64: F8595923A3AF0E7E Time : 0.0 sec. user=mdettweiler [2013-07-20 21:20:42] 785*2^1247894-1 is not prime. Res64: 6A20C39839A3F1DC Time : 0.0 sec. user=mdettweiler [2013-07-20 21:37:45] 917*2^1247894-1 is not prime. Res64: 9D6E95999BE26900 Time : 0.0 sec. user=mdettweiler [2013-07-20 21:37:45] 921*2^1247894-1 is not prime. Res64: C5279C98CF50EFDD Time : 0.0 sec. user=mdettweiler [2013-07-20 21:56:19] 953*2^1247894-1 is not prime. Res64: 4FE3A09B3F96C030 Time : 0.0 sec. user=mdettweiler [2013-07-20 21:56:20] 983*2^1247894-1 is not prime. Res64: F84C549EC7829C52 Time : 0.0 sec. user=mdettweiler [2013-07-20 22:13:22] 651*2^1247895-1 is not prime. Res64: 7FF642C6ECDE5EC6 Time : 0.0 sec. user=mdettweiler [2013-07-20 22:13:23] 675*2^1247895-1 is not prime. Res64: E23FE74E9403AC05 Time : 0.0 sec. user=mdettweiler [2013-07-20 22:30:28] 693*2^1247895-1 is not prime. Res64: 3F057299263D1405 Time : 0.0 sec. user=mdettweiler [2013-07-20 22:30:29] 775*2^1247895-1 is not prime. Res64: DD98AE898312367C Time : 0.0 sec. user=mdettweiler [2013-07-20 22:47:31] 805*2^1247895-1 is not prime. Res64: 449BBD77755A6DF9 Time : 0.0 sec. user=mdettweiler [2013-07-20 22:47:31] 871*2^1247895-1 is not prime. Res64: DDDAFD8FEEBB93EB Time : 0.0 sec. user=mdettweiler [2013-07-20 23:05:22] 895*2^1247895-1 is not prime. Res64: E7ACBA5028B1F724 Time : 0.0 sec. user=mdettweiler [2013-07-20 23:05:23] 963*2^1247895-1 is not prime. Res64: 89AA798230FA4C93 Time : 0.0 sec. user=mdettweiler [2013-07-20 23:23:17] 991*2^1247895-1 is not prime. Res64: BA2C549ADD03F5FD Time : 0.0 sec. user=mdettweiler [2013-07-20 23:23:17] 609*2^1247896-1 is not prime. Res64: 84FEE36EFD5409B3 Time : 0.0 sec. user=mdettweiler [2013-07-20 23:40:20] 615*2^1247896-1 is not prime. Res64: 6F994983C1DFF91A Time : 0.0 sec. user=mdettweiler [2013-07-20 23:40:20] 719*2^1247896-1 is not prime. Res64: CB35AFC0BCCAB3F3 Time : 0.0 sec. user=mdettweiler [2013-07-20 23:57:22] 755*2^1247896-1 is not prime. Res64: 18BB2E3EC0DBB323 Time : 0.0 sec. user=mdettweiler [2013-07-20 23:57:23] 843*2^1247896-1 is not prime. Res64: DB7A3F27096104A5 Time : 0.0 sec.